grad-noise-175k
Gradient noise, 175k (run of 2026-09-23) · A complete batch run over 175,797 lattice-noise expressions, with 32 texture diagnostics and a frame of each.
About this collection
This collection is complete and closed. Every expression in the space below was rendered and measured once, in a single batch run. Each row is one expression, and its coordinate links to it running live on uto.run.
The purpose is exploratory. There is no target texture and no attempt to resemble Perlin noise. A constant field, a strongly directional pattern or an odd value distribution is an observation, not a failure. The measurements describe textures so they can be sorted, filtered and compared. They are a lossy fingerprint, not a judgement of quality and not a substitute for looking.
The space
An ither formula with two layers:
- topo: expression trees of up to 64 nodes, built from unary (
o1), binary (o2) and leaf (x) slots - expr: fills those slots
- leaves:
P,D,R - unary:
sqt log frc flr cil sgn nrm - binary:
add sub mlt div pow mod lrg eql min dot dst
- leaves:
A coordinate t·x·u·b follows the formula's projection: t the topology,
x the leaf choices, u the unary choices, b the binary choices.
Points outside the space were omitted from the run. Two orderings ride along:
ordinal is the point's position in ither's whole enumeration (gaps where
points were omitted), and batch index is its place in the batch run's
sequence, 0 to 175,796 (the run's inputs.expr, and the number in its
frame's file name).
The apparatus
Each expression is evaluated at the corners of a rectangular lattice with
quintic blending (LATT.RECT.QUINTIC), over coordinates mlt(C, 8), in a
256 × 256 field #A. One configuration per expression: the dimension and
coordinate scale were fixed for the whole run.
Measurements are taken from #A's x channel, its stored values (not a
screenshot), at step 7, after which the run moves to the next expression. The
frame in each row is that field, remapped for display.
The measurements
Notation: f is the field value, E averages the whole field, and E_I
averages the interior (C-space [-0.98, 0.98]², which keeps wrapped edges out
of the spatial measures).
Value distribution
| key | meaning |
|---|---|
value_mean, value_abs_mean |
E[f] and E[|f|]: signed offset, typical distance from zero |
value_positive_fraction |
share of values above 0 (field tolerance 0.0001) |
value_variance, value_stddev |
population variance and SD: contrast |
value_min, value_max, value_range |
sampled extrema and their difference |
histogram_entropy_bits |
entropy of a 32-bin histogram over [−1, 1], 0 (one bin) to 5 (uniform) bits |
histogram_probability_sum |
consistency check, ≈ 1 |
Local roughness (one-pixel differences dx, dy, and g = √(dx² + dy²))
| key | meaning |
|---|---|
gradient_energy_x, gradient_energy_y |
E_I[dx²], E_I[dy²] |
gradient_magnitude_mean |
E_I[g]: roughness |
gradient_magnitude_variance, _stddev, _max |
how unevenly that roughness is spread, and its peak |
gradient_magnitude_cv |
SD / mean of g: uneven activity (quiet areas interrupted by edges), independent of amplitude |
gradient_axis_bias |
(Ex − Ey) / (Ex + Ey), −1 to 1: horizontal vs vertical preference. Zero does not mean isotropic (diagonals balance too) |
gradient_nonzero_flag |
1 if there is any gradient energy at all |
Change of slope (four-neighbour Laplacian L)
| key | meaning |
|---|---|
laplacian_mean, laplacian_energy, laplacian_abs_mean |
E_I[L], E_I[L²], E_I[|L|]. Sharp or high-frequency structure responds; a linear ramp does not |
Normalised by contrast (comparable across amplitudes)
| key | meaning |
|---|---|
gradient_energy_over_variance |
(Ex + Ey) / variance |
laplacian_energy_over_variance |
E_I[L²] / variance |
variance_normalization_valid_flag, gradient_cv_valid_flag |
whether the denominators above are meaningful (> 10⁻¹²). Filter on these before trusting a ratio |
Three spatial scales (mean squared difference at a distance, over the
central [-0.74, 0.74]²: 2, 8 and 32 pixels at this resolution)
| key | meaning |
|---|---|
scale_diff2_near, _mid, _far |
raw difference energy at each distance |
scale_diff2_near_over_variance, _mid_…, _far_… |
the same, normalised. Low near and rising far suggests smooth structure; a dip at a longer distance can hint at repetition |
Each record's json also holds value_histogram (the 32 bin probabilities)
and scale_curve (the three scales with their distances).
Reading them, and their limits
- Clipping.
#Akept its default signed domain, so values outside [−1, 1] were clipped before measuring. The diagnostics describe the clipped texture. - Combinations say more than any one key. A large range with modest SD and a high gradient peak suggests a few strong excursions. A broad histogram with low normalised detail suggests smooth variation. Similar roughness with a different CV means the activity is concentrated differently.
- Entropy is about values, not space. A smooth ramp can have high entropy, and shuffling the pixels would not change it.
- Raw spatial measures depend on resolution and amplitude. Prefer the normalised keys for detail independent of contrast, after checking the validity flags.
- Not measured: full orientation, spectra or periodicity, lacunarity, tileability, colour, novelty, aesthetic merit.
- Validation. The suite compiled and ran on every expression. Systematic numerical controls (constants, ramps, stripes, checkerboards, random pixels) and a comparison against longer settling times were not done before this run. Treat the values as exploratory.
Provenance
- Apparatus:
noiseBatch/one.uto, project SHA-256b6fc8f27…be04d0 - Expression corpus: SHA-256
7d3ec029…d72266 - Run files (canonical), in
~/lab/data/grad-noise-175k/: the enumeration (grad-noise-175k.jsonl), the measurements (grad-noise-175k-output.jsonl, joined oninputs.expr), the formula (grad-noise-175k.manifest.json) and the frames (png/)
| coordinate ▲ | t | x | u | b | expression | batch index | ordinal | topo | measured | step | globalStep | value_mean | value_positive_fraction | value_abs_mean | value_variance | value_stddev | value_min | value_max | value_range | histogram_probability_sum | histogram_entropy_bits | gradient_energy_x | gradient_energy_y | gradient_magnitude_mean | gradient_axis_bias | gradient_nonzero_flag | laplacian_mean | laplacian_energy | laplacian_abs_mean | gradient_magnitude_variance | gradient_magnitude_stddev | gradient_magnitude_cv | gradient_magnitude_max | gradient_energy_over_variance | laplacian_energy_over_variance | variance_normalization_valid_flag | gradient_cv_valid_flag | scale_diff2_near | scale_diff2_mid | scale_diff2_far | scale_diff2_near_over_variance | scale_diff2_mid_over_variance | scale_diff2_far_over_variance | ||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| t11_x7_u44_b6 | 11 | 7 | 44 | 6 | ![]() |
nrm(lrg(R,frc(D))) | 18600 | 89618268 | o1(o2(x,o1(x))) | true | 148807 | 148807 | -0.6302 | 0.2261 | 0.8091 | 0.3803 | 0.6167 | -1 | 1 | 2 | 1 | 1.801 | 0.08757 | 0.06519 | 0.1163 | 0.1465 | 1 | 0.0004012 | 0.3366 | 0.2165 | 0.1393 | 0.3732 | 3.208 | 2.828 | 0.4017 | 0.8852 | 1 | 1 | 0 | 0 | 0.148 | 0 | 0 | 0.3893 | json |
| t11_x7_u44_b7 | 11 | 7 | 44 | 7 | ![]() |
nrm(eql(R,frc(D))) | 18601 | 89618269 | o1(o2(x,o1(x))) | true | 148815 | 148815 | -1 | 0 | 1 | 0 | 0 | -1 | -1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t11_x7_u44_b8 | 11 | 7 | 44 | 8 | ![]() |
nrm(min(R,frc(D))) | 18602 | 89618270 | o1(o2(x,o1(x))) | true | 148823 | 148823 | -0.07413 | 0.4625 | 0.4233 | 0.2463 | 0.4963 | -0.9994 | 0.9992 | 1.999 | 1 | 4.915 | 0.01351 | 0.006548 | 0.09525 | 0.3472 | 1 | -0.0002541 | 0.03021 | 0.06682 | 0.01099 | 0.1048 | 1.101 | 0.8545 | 0.08146 | 0.1227 | 1 | 1 | 0 | 0 | 0.02674 | 0 | 0 | 0.1086 | json |
| t11_x7_u44_b9 | 11 | 7 | 44 | 9 | ![]() |
nrm(dot(R,frc(D))) | 18603 | 89618271 | o1(o2(x,o1(x))) | true | 148831 | 148831 | -0.02102 | 0.4812 | 0.4222 | 0.2096 | 0.4578 | -0.5774 | 0.5774 | 1.155 | 1 | 3.873 | 0.04309 | 0.04187 | 0.1442 | 0.01435 | 1 | -0.0002085 | 0.2397 | 0.2025 | 0.06416 | 0.2533 | 1.756 | 1.632 | 0.4054 | 1.144 | 1 | 1 | 0 | 0 | 0.08469 | 0 | 0 | 0.4041 | json |
| t11_x7_u44_b10 | 11 | 7 | 44 | 10 | ![]() |
nrm(dst(R,frc(D))) | 18604 | 89618272 | o1(o2(x,o1(x))) | true | 148839 | 148839 | 0.5777 | 1 | 0.5777 | 1.421e-7 | 0.000377 | 0.5774 | 0.5774 | 1.192e-7 | 1 | 0 | 4.782e-16 | 4.775e-16 | 1.305e-8 | 6.713e-7 | 0 | -7.265e-9 | 4.142e-15 | 1.726e-8 | 7.853e-16 | 2.802e-8 | 2.148 | 1.686e-7 | 6.726e-9 | 2.915e-8 | 1 | 1 | 0 | 0 | 4.851e-16 | 0 | 0 | 3.414e-9 | json |
| t11_x7_u45_b0 | 11 | 7 | 45 | 0 | ![]() |
nrm(add(R,flr(D))) | 18605 | 89618463 | o1(o2(x,o1(x))) | true | 148847 | 148847 | -0.3172 | 0.2135 | 0.4561 | 0.173 | 0.416 | -0.9963 | 0.9713 | 1.968 | 1 | 4.623 | 0.03424 | 0.003614 | 0.1034 | 0.8091 | 1 | 0.00000719 | 0.06654 | 0.102 | 0.02715 | 0.1648 | 1.593 | 2.011 | 0.2187 | 0.3845 | 1 | 1 | 0 | 0 | 0.04315 | 0 | 0 | 0.2493 | json |
| t11_x7_u45_b1 | 11 | 7 | 45 | 1 | ![]() |
nrm(sub(R,flr(D))) | 18606 | 89618464 | o1(o2(x,o1(x))) | true | 148855 | 148855 | 0.3255 | 0.7831 | 0.4537 | 0.1661 | 0.4075 | -0.9905 | 0.9975 | 1.988 | 1 | 4.599 | 0.03429 | 0.0037 | 0.1021 | 0.8052 | 1 | 0.00001369 | 0.06771 | 0.1033 | 0.02757 | 0.1661 | 1.627 | 2.055 | 0.2287 | 0.4077 | 1 | 1 | 0 | 0 | 0.04237 | 0 | 0 | 0.2552 | json |
| t11_x7_u45_b2 | 11 | 7 | 45 | 2 | ![]() |
nrm(mlt(R,flr(D))) | 18607 | 89618465 | o1(o2(x,o1(x))) | true | 148863 | 148863 | -1 | 0 | 1 | 0 | 0 | -1 | -1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t11_x7_u45_b3 | 11 | 7 | 45 | 3 | ![]() |
nrm(div(R,flr(D))) | 18608 | 89618466 | o1(o2(x,o1(x))) | true | 148871 | 148871 | -1 | 0 | 1 | 0 | 0 | -1 | -1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t11_x7_u45_b4 | 11 | 7 | 45 | 4 | ![]() |
nrm(pow(R,flr(D))) | 18609 | 89618467 | o1(o2(x,o1(x))) | true | 148879 | 148879 | -0.9149 | 0.05469 | 0.9757 | 0.1267 | 0.356 | -1 | 0.9826 | 1.983 | 1 | 0.4868 | 0.01423 | 0.01569 | 0.02007 | -0.04859 | 1 | -2.049e-7 | 0.06299 | 0.03809 | 0.02951 | 0.1718 | 8.557 | 2.572 | 0.2361 | 0.4971 | 1 | 1 | 0 | 0 | 0.04521 | 0 | 0 | 0.3568 | json |
| t11_x7_u45_b5 | 11 | 7 | 45 | 5 | ![]() |
nrm(mod(R,flr(D))) | 18610 | 89618468 | o1(o2(x,o1(x))) | true | 148887 | 148887 | -1 | 0 | 1 | 0 | 0 | -1 | -1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t11_x7_u45_b6 | 11 | 7 | 45 | 6 | ![]() |
nrm(lrg(R,flr(D))) | 18611 | 89618469 | o1(o2(x,o1(x))) | true | 148895 | 148895 | 0.3534 | 0.8867 | 0.58 | 0.2868 | 0.5355 | -1 | 0.9999 | 2 | 1 | 3.652 | 0.0424 | 0.02527 | 0.08266 | 0.2532 | 1 | -0.000009476 | 0.1382 | 0.1134 | 0.06084 | 0.2467 | 2.984 | 2.629 | 0.236 | 0.4821 | 1 | 1 | 0 | 0 | 0.05817 | 0 | 0 | 0.2029 | json |
| t11_x7_u45_b7 | 11 | 7 | 45 | 7 | ![]() |
nrm(eql(R,flr(D))) | 18612 | 89618470 | o1(o2(x,o1(x))) | true | 148903 | 148903 | -1 | 0 | 1 | 0 | 0 | -1 | -1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t11_x7_u45_b8 | 11 | 7 | 45 | 8 | ![]() |
nrm(min(R,flr(D))) | 18613 | 89618471 | o1(o2(x,o1(x))) | true | 148911 | 148911 | -0.591 | 0 | 0.591 | 0.08898 | 0.2983 | -1 | -0.0001765 | 0.9998 | 1 | 3.823 | 0.01949 | 0.007838 | 0.07863 | 0.4264 | 1 | 0.00001023 | 0.05182 | 0.09069 | 0.02115 | 0.1454 | 1.85 | 1.018 | 0.3071 | 0.5823 | 1 | 1 | 0 | 0 | 0.02971 | 0 | 0 | 0.3338 | json |
| t11_x7_u45_b9 | 11 | 7 | 45 | 9 | ![]() |
nrm(dot(R,flr(D))) | 18614 | 89618472 | o1(o2(x,o1(x))) | true | 148919 | 148919 | -1 | 0 | 1 | 0 | 0 | -1 | -1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t11_x7_u45_b10 | 11 | 7 | 45 | 10 | ![]() |
nrm(dst(R,flr(D))) | 18615 | 89618473 | o1(o2(x,o1(x))) | true | 148927 | 148927 | 0.5777 | 1 | 0.5777 | 1.421e-7 | 0.000377 | 0.5774 | 0.5774 | 1.192e-7 | 1 | 0 | 8.61e-17 | 8.302e-17 | 2.672e-9 | 0.000003077 | 0 | -1.528e-9 | 8.28e-16 | 3.473e-9 | 1.619e-16 | 1.272e-8 | 4.762 | 1.333e-7 | 1.19e-9 | 5.827e-9 | 1 | 1 | 0 | 0 | 1.654e-16 | 0 | 0 | 1.164e-9 | json |
| t11_x7_u46_b0 | 11 | 7 | 46 | 0 | ![]() |
nrm(add(R,cil(D))) | 18616 | 89618664 | o1(o2(x,o1(x))) | true | 148935 | 148935 | 0.3195 | 0.7767 | 0.4526 | 0.1676 | 0.4094 | -0.9903 | 0.9969 | 1.987 | 1 | 4.607 | 0.03452 | 0.003818 | 0.1026 | 0.8008 | 1 | -1.665e-7 | 0.06802 | 0.1037 | 0.0278 | 0.1667 | 1.624 | 1.959 | 0.2288 | 0.4059 | 1 | 1 | 0 | 0 | 0.04229 | 0 | 0 | 0.2523 | json |
| t11_x7_u46_b1 | 11 | 7 | 46 | 1 | ![]() |
nrm(sub(R,cil(D))) | 18617 | 89618665 | o1(o2(x,o1(x))) | true | 148943 | 148943 | -0.3198 | 0.2115 | 0.4563 | 0.1719 | 0.4146 | -0.9988 | 0.9714 | 1.97 | 1 | 4.621 | 0.03428 | 0.003724 | 0.1023 | 0.804 | 1 | 0.000007468 | 0.06695 | 0.1027 | 0.02755 | 0.166 | 1.623 | 1.939 | 0.2211 | 0.3895 | 1 | 1 | 0 | 0 | 0.04319 | 0 | 0 | 0.2513 | json |
| t11_x7_u46_b2 | 11 | 7 | 46 | 2 | ![]() |
nrm(mlt(R,cil(D))) | 18618 | 89618666 | o1(o2(x,o1(x))) | true | 148951 | 148951 | -1 | 0 | 1 | 0 | 0 | -1 | -1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t11_x7_u46_b3 | 11 | 7 | 46 | 3 | ![]() |
nrm(div(R,cil(D))) | 18619 | 89618667 | o1(o2(x,o1(x))) | true | 148959 | 148959 | -1 | 0 | 1 | 0 | 0 | -1 | -1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t11_x7_u46_b4 | 11 | 7 | 46 | 4 | ![]() |
nrm(pow(R,cil(D))) | 18620 | 89618668 | o1(o2(x,o1(x))) | true | 148967 | 148967 | -0.9059 | 0.0625 | 0.9691 | 0.1338 | 0.3658 | -1 | 0.7069 | 1.707 | 1 | 0.5122 | 0.01514 | 0.01844 | 0.02305 | -0.09828 | 1 | 1.727e-10 | 0.07133 | 0.04455 | 0.03302 | 0.1817 | 7.882 | 2.231 | 0.2509 | 0.5331 | 1 | 1 | 0 | 0 | 0.04818 | 0 | 0 | 0.3601 | json |
| t11_x7_u46_b5 | 11 | 7 | 46 | 5 | ![]() |
nrm(mod(R,cil(D))) | 18621 | 89618669 | o1(o2(x,o1(x))) | true | 148975 | 148975 | -1 | 0 | 1 | 0 | 0 | -1 | -1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t11_x7_u46_b6 | 11 | 7 | 46 | 6 | ![]() |
nrm(lrg(R,cil(D))) | 18622 | 89618670 | o1(o2(x,o1(x))) | true | 148983 | 148983 | -0.7298 | 0.177 | 0.8327 | 0.2788 | 0.528 | -1 | 0.9997 | 2 | 1 | 1.414 | 0.03122 | 0.0314 | 0.05391 | -0.002946 | 1 | 0.000001671 | 0.1315 | 0.0941 | 0.05973 | 0.2444 | 4.534 | 2.828 | 0.2246 | 0.4716 | 1 | 1 | 0 | 0 | 0.07325 | 0 | 0 | 0.2627 | json |
| t11_x7_u46_b7 | 11 | 7 | 46 | 7 | ![]() |
nrm(eql(R,cil(D))) | 18623 | 89618671 | o1(o2(x,o1(x))) | true | 148991 | 148991 | -1 | 0 | 1 | 0 | 0 | -1 | -1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t11_x7_u46_b8 | 11 | 7 | 46 | 8 | ![]() |
nrm(min(R,cil(D))) | 18624 | 89618672 | o1(o2(x,o1(x))) | true | 148999 | 148999 | -0.2558 | 0.2924 | 0.4641 | 0.2588 | 0.5087 | -1 | 0.9997 | 2 | 1 | 4.687 | 0.02823 | 0.01653 | 0.09379 | 0.2615 | 1 | -0.00001177 | 0.08314 | 0.08925 | 0.03597 | 0.1896 | 2.022 | 2.236 | 0.173 | 0.3212 | 1 | 1 | 0 | 0 | 0.05206 | 0 | 0 | 0.2012 | json |
| t11_x7_u46_b9 | 11 | 7 | 46 | 9 | ![]() |
nrm(dot(R,cil(D))) | 18625 | 89618673 | o1(o2(x,o1(x))) | true | 149007 | 149007 | -1 | 0 | 1 | 0 | 0 | -1 | -1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t11_x7_u46_b10 | 11 | 7 | 46 | 10 | ![]() |
nrm(dst(R,cil(D))) | 18626 | 89618674 | o1(o2(x,o1(x))) | true | 149015 | 149015 | 0.5777 | 1 | 0.5777 | 1.421e-7 | 0.000377 | 0.5774 | 0.5774 | 1.192e-7 | 1 | 0 | 9.281e-17 | 8.56e-17 | 2.805e-9 | 0.000007217 | 0 | -1.704e-9 | 8.539e-16 | 3.582e-9 | 1.705e-16 | 1.306e-8 | 4.655 | 1.333e-7 | 1.256e-9 | 6.01e-9 | 1 | 1 | 0 | 0 | 1.786e-16 | 0 | 0 | 1.257e-9 | json |
| t11_x7_u47_b0 | 11 | 7 | 47 | 0 | ![]() |
nrm(add(R,sgn(D))) | 18627 | 89618865 | o1(o2(x,o1(x))) | true | 149023 | 149023 | 0.003377 | 0.5029 | 0.4217 | 0.2434 | 0.4934 | -0.998 | 0.9971 | 1.995 | 1 | 4.904 | 0.09471 | 0.003907 | 0.1577 | 0.9208 | 1 | 0.00001589 | 0.1839 | 0.1748 | 0.07376 | 0.2716 | 1.722 | 2.096 | 0.4051 | 0.7553 | 1 | 1 | 0 | 0 | 0.1065 | 0 | 0 | 0.4374 | json |
| t11_x7_u47_b1 | 11 | 7 | 47 | 1 | ![]() |
nrm(sub(R,sgn(D))) | 18628 | 89618866 | o1(o2(x,o1(x))) | true | 149031 | 149031 | 0.002359 | 0.5005 | 0.4222 | 0.2443 | 0.4942 | -0.9987 | 0.9961 | 1.995 | 1 | 4.904 | 0.09585 | 0.003857 | 0.158 | 0.9226 | 1 | 0.00000956 | 0.1861 | 0.1755 | 0.07474 | 0.2734 | 1.73 | 2.12 | 0.4082 | 0.7619 | 1 | 1 | 0 | 0 | 0.1084 | 0 | 0 | 0.4438 | json |
| t11_x7_u47_b2 | 11 | 7 | 47 | 2 | ![]() |
nrm(mlt(R,sgn(D))) | 18629 | 89618867 | o1(o2(x,o1(x))) | true | 149039 | 149039 | 0.005337 | 0.5052 | 0.4795 | 0.3052 | 0.5525 | -0.9997 | 0.9995 | 1.999 | 1 | 4.978 | 0.09904 | 0.004377 | 0.1439 | 0.9154 | 1 | 0.00001494 | 0.1929 | 0.1522 | 0.08271 | 0.2876 | 1.998 | 1.999 | 0.3388 | 0.6321 | 1 | 1 | 0 | 0 | 0.1166 | 0 | 0 | 0.3819 | json |
| t11_x7_u47_b3 | 11 | 7 | 47 | 3 | ![]() |
nrm(div(R,sgn(D))) | 18630 | 89618868 | o1(o2(x,o1(x))) | true | 149047 | 149047 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t11_x7_u47_b4 | 11 | 7 | 47 | 4 | ![]() |
nrm(pow(R,sgn(D))) | 18631 | 89618869 | o1(o2(x,o1(x))) | true | 149055 | 149055 | -0.9942 | 0.003906 | 0.998 | 0.008761 | 0.0936 | -1 | 0.6611 | 1.661 | 1 | 0.04827 | 0.00114 | 0.001139 | 0.00159 | 0.000165 | 1 | -3.004e-11 | 0.004838 | 0.003025 | 0.002275 | 0.0477 | 30 | 2.258 | 0.2602 | 0.5522 | 1 | 1 | 0 | 0 | 0.004016 | 0 | 0 | 0.4584 | json |
| t11_x7_u47_b5 | 11 | 7 | 47 | 5 | ![]() |
nrm(mod(R,sgn(D))) | 18632 | 89618870 | o1(o2(x,o1(x))) | true | 149063 | 149063 | -0.004333 | 0.4894 | 0.3952 | 0.209 | 0.4572 | -0.9488 | 0.9534 | 1.902 | 1 | 4.783 | 0.002736 | 0.002944 | 0.06188 | -0.03652 | 1 | -0.000006012 | 0.0003349 | 0.01431 | 0.001851 | 0.04303 | 0.6953 | 0.2114 | 0.02718 | 0.001602 | 1 | 1 | 0 | 0 | 0.01108 | 0 | 0 | 0.05303 | json |
| t11_x7_u47_b6 | 11 | 7 | 47 | 6 | ![]() |
nrm(lrg(R,sgn(D))) | 18633 | 89618871 | o1(o2(x,o1(x))) | true | 149071 | 149071 | -0.3269 | 0.4883 | 0.6965 | 0.5176 | 0.7194 | -1 | 0.9996 | 2 | 1 | 2.803 | 0.07296 | 0.06179 | 0.1181 | 0.08291 | 1 | 0.000002919 | 0.2823 | 0.1952 | 0.1209 | 0.3476 | 2.943 | 2.414 | 0.2604 | 0.5455 | 1 | 1 | 0 | 0 | 0.1451 | 0 | 0 | 0.2803 | json |
| t11_x7_u47_b7 | 11 | 7 | 47 | 7 | ![]() |
nrm(eql(R,sgn(D))) | 18634 | 89618872 | o1(o2(x,o1(x))) | true | 149079 | 149079 | -1 | 0 | 1 | 0 | 0 | -1 | -1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t11_x7_u47_b8 | 11 | 7 | 47 | 8 | ![]() |
nrm(min(R,sgn(D))) | 18635 | 89618873 | o1(o2(x,o1(x))) | true | 149087 | 149087 | -0.3773 | 0.1994 | 0.513 | 0.1804 | 0.4248 | -0.9998 | 0.9847 | 1.985 | 1 | 4.454 | 0.05289 | 0.003516 | 0.1123 | 0.8753 | 1 | 0.000005346 | 0.1031 | 0.1169 | 0.04381 | 0.2093 | 1.865 | 1.983 | 0.3126 | 0.5715 | 1 | 1 | 0 | 0 | 0.06091 | 0 | 0 | 0.3375 | json |
| t11_x7_u47_b9 | 11 | 7 | 47 | 9 | ![]() |
nrm(dot(R,sgn(D))) | 18636 | 89618874 | o1(o2(x,o1(x))) | true | 149095 | 149095 | 0.009021 | 0.5066 | 0.4179 | 0.2067 | 0.4547 | -0.5774 | 0.5774 | 1.155 | 1 | 3.91 | 0.0354 | 0.03293 | 0.1203 | 0.03618 | 1 | 0.000007407 | 0.1279 | 0.1414 | 0.05384 | 0.232 | 1.928 | 1.155 | 0.3305 | 0.6186 | 1 | 1 | 0 | 0 | 0.07592 | 0 | 0 | 0.3672 | json |
| t11_x7_u47_b10 | 11 | 7 | 47 | 10 | ![]() |
nrm(dst(R,sgn(D))) | 18637 | 89618875 | o1(o2(x,o1(x))) | true | 149103 | 149103 | 0.5777 | 1 | 0.5777 | 1.421e-7 | 0.000377 | 0.5774 | 0.5774 | 1.192e-7 | 1 | 0 | 8.929e-17 | 8.129e-17 | 2.72e-9 | 0.000008 | 0 | -1.611e-9 | 8.137e-16 | 3.413e-9 | 1.633e-16 | 1.278e-8 | 4.697 | 1.333e-7 | 1.2e-9 | 5.726e-9 | 1 | 1 | 0 | 0 | 1.79e-16 | 0 | 0 | 1.259e-9 | json |
| t11_x7_u48_b0 | 11 | 7 | 48 | 0 | ![]() |
nrm(add(R,nrm(D))) | 18638 | 89619066 | o1(o2(x,o1(x))) | true | 149111 | 149111 | 0.006922 | 0.5152 | 0.35 | 0.1804 | 0.4248 | -0.9986 | 0.999 | 1.998 | 1 | 4.771 | 0.02315 | 0.007877 | 0.1272 | 0.4922 | 1 | 0.00003296 | 0.03698 | 0.06164 | 0.01483 | 0.1218 | 0.9571 | 2.259 | 0.1719 | 0.2049 | 1 | 1 | 0 | 0 | 0.0499 | 0 | 0 | 0.2765 | json |
| t11_x7_u48_b1 | 11 | 7 | 48 | 1 | ![]() |
nrm(sub(R,nrm(D))) | 18639 | 89619067 | o1(o2(x,o1(x))) | true | 149119 | 149119 | 0.006307 | 0.5083 | 0.3525 | 0.1822 | 0.4268 | -0.999 | 0.9987 | 1.998 | 1 | 4.777 | 0.02331 | 0.007962 | 0.1276 | 0.4908 | 1 | 0.00007267 | 0.03743 | 0.0622 | 0.015 | 0.1225 | 0.9598 | 2.545 | 0.1717 | 0.2055 | 1 | 1 | 0 | 0 | 0.05057 | 0 | 0 | 0.2776 | json |
| t11_x7_u48_b2 | 11 | 7 | 48 | 2 | ![]() |
nrm(mlt(R,nrm(D))) | 18640 | 89619068 | o1(o2(x,o1(x))) | true | 149127 | 149127 | 0.004756 | 0.504 | 0.4522 | 0.2999 | 0.5476 | -0.9999 | 0.9998 | 2 | 1 | 4.942 | 0.04452 | 0.01042 | 0.1535 | 0.6207 | 1 | -0.0001558 | 0.06288 | 0.08563 | 0.03137 | 0.1771 | 1.154 | 1.999 | 0.1832 | 0.2097 | 1 | 1 | 0 | 0 | 0.08593 | 0 | 0 | 0.2865 | json |
| t11_x7_u48_b3 | 11 | 7 | 48 | 3 | ![]() |
nrm(div(R,nrm(D))) | 18641 | 89619069 | o1(o2(x,o1(x))) | true | 149135 | 149135 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t11_x7_u48_b4 | 11 | 7 | 48 | 4 | ![]() |
nrm(pow(R,nrm(D))) | 18642 | 89619070 | o1(o2(x,o1(x))) | true | 149143 | 149143 | -0.9941 | 0.003906 | 0.9981 | 0.008974 | 0.09473 | -1 | 0.8364 | 1.836 | 1 | 0.04786 | 0.001085 | 0.001258 | 0.001644 | -0.07393 | 1 | 3.754e-12 | 0.00498 | 0.003085 | 0.002339 | 0.04836 | 29.42 | 2.278 | 0.2611 | 0.555 | 1 | 1 | 0 | 0 | 0.004127 | 0 | 0 | 0.4599 | json |
| t11_x7_u48_b5 | 11 | 7 | 48 | 5 | ![]() |
nrm(mod(R,nrm(D))) | 18643 | 89619071 | o1(o2(x,o1(x))) | true | 149151 | 149151 | -0.0028 | 0.4821 | 0.3113 | 0.1575 | 0.3969 | -0.9983 | 0.9979 | 1.996 | 1 | 4.67 | 0.02704 | 0.0281 | 0.1575 | -0.01911 | 1 | -0.0001287 | 0.2079 | 0.2674 | 0.03033 | 0.1742 | 1.106 | 1.383 | 0.35 | 1.319 | 1 | 1 | 0 | 0 | 0.04954 | 0 | 0 | 0.3144 | json |
| t11_x7_u48_b6 | 11 | 7 | 48 | 6 | ![]() |
nrm(lrg(R,nrm(D))) | 18644 | 89619072 | o1(o2(x,o1(x))) | true | 149159 | 149159 | -0.1799 | 0.5726 | 0.659 | 0.5325 | 0.7297 | -1 | 0.9999 | 2 | 1 | 3.219 | 0.1182 | 0.12 | 0.1883 | -0.007579 | 1 | 0.0006005 | 0.7351 | 0.3482 | 0.2027 | 0.4502 | 2.391 | 2.828 | 0.4473 | 1.38 | 1 | 1 | 0 | 0 | 0.2352 | 0 | 0 | 0.4416 | json |
| t11_x7_u48_b7 | 11 | 7 | 48 | 7 | ![]() |
nrm(eql(R,nrm(D))) | 18645 | 89619073 | o1(o2(x,o1(x))) | true | 149167 | 149167 | -1 | 0 | 1 | 0 | 0 | -1 | -1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t11_x7_u48_b8 | 11 | 7 | 48 | 8 | ![]() |
nrm(min(R,nrm(D))) | 18646 | 89619074 | o1(o2(x,o1(x))) | true | 149175 | 149175 | -0.3539 | 0.1931 | 0.4742 | 0.1634 | 0.4042 | -0.9996 | 0.9845 | 1.984 | 1 | 4.571 | 0.01938 | 0.004695 | 0.1037 | 0.6099 | 1 | -0.00001956 | 0.02494 | 0.05397 | 0.01332 | 0.1154 | 1.113 | 1.981 | 0.1474 | 0.1527 | 1 | 1 | 0 | 0 | 0.03801 | 0 | 0 | 0.2327 | json |
| t11_x7_u48_b9 | 11 | 7 | 48 | 9 | ![]() |
nrm(dot(R,nrm(D))) | 18647 | 89619075 | o1(o2(x,o1(x))) | true | 149183 | 149183 | 0.00774 | 0.5069 | 0.411 | 0.2018 | 0.4492 | -0.5774 | 0.5774 | 1.155 | 1 | 3.957 | 0.04701 | 0.04579 | 0.1427 | 0.01319 | 1 | -0.0003369 | 0.294 | 0.2072 | 0.07244 | 0.2691 | 1.886 | 1.632 | 0.4599 | 1.457 | 1 | 1 | 0 | 0 | 0.09873 | 0 | 0 | 0.4893 | json |
| t11_x7_u48_b10 | 11 | 7 | 48 | 10 | ![]() |
nrm(dst(R,nrm(D))) | 18648 | 89619076 | o1(o2(x,o1(x))) | true | 149191 | 149191 | 0.5777 | 1 | 0.5777 | 1.421e-7 | 0.000377 | 0.5774 | 0.5774 | 1.192e-7 | 1 | 0 | 4.909e-16 | 4.889e-16 | 1.336e-8 | 0.000001958 | 0 | -7.092e-9 | 4.197e-15 | 1.756e-8 | 8.008e-16 | 2.83e-8 | 2.119 | 1.686e-7 | 6.895e-9 | 2.954e-8 | 1 | 1 | 0 | 0 | 4.964e-16 | 0 | 0 | 3.493e-9 | json |
| t11_x8_u0_b0 | 11 | 8 | 0 | 0 | ![]() |
sqt(add(R,sqt(R))) | 18649 | 89649819 | o1(o2(x,o1(x))) | true | 149199 | 149199 | -0.9153 | 0.04297 | 0.9988 | 0.1601 | 0.4001 | -1 | 1 | 2 | 1 | 0.293 | 0.01631 | 0.01593 | 0.0165 | 0.01184 | 1 | -3.488e-7 | 0.06738 | 0.03281 | 0.03195 | 0.1787 | 10.84 | 2.828 | 0.2014 | 0.421 | 1 | 1 | 0 | 0 | 0.02501 | 0 | 0 | 0.1563 | json |
| t11_x8_u0_b1 | 11 | 8 | 0 | 1 | ![]() |
sqt(sub(R,sqt(R))) | 18650 | 89649820 | o1(o2(x,o1(x))) | true | 149207 | 149207 | -1 | 0 | 1 | 0 | 0 | -1 | -1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t11_x8_u0_b2 | 11 | 8 | 0 | 2 | ![]() |
sqt(mlt(R,sqt(R))) | 18651 | 89649821 | o1(o2(x,o1(x))) | true | 149215 | 149215 | -0.9297 | 0.04297 | 0.9844 | 0.1115 | 0.3339 | -1 | 0.9568 | 1.957 | 1 | 0.4055 | 0.01127 | 0.01128 | 0.0146 | -0.0002967 | 1 | 0.000007364 | 0.04708 | 0.02738 | 0.02232 | 0.1494 | 10.23 | 2.685 | 0.2022 | 0.4222 | 1 | 1 | 0 | 0 | 0.01789 | 0 | 0 | 0.1605 | json |
| t11_x8_u0_b3 | 11 | 8 | 0 | 3 | ![]() |
sqt(div(R,sqt(R))) | 18652 | 89649822 | o1(o2(x,o1(x))) | true | 149223 | 149223 | -0.9208 | 0.04297 | 0.9933 | 0.1402 | 0.3744 | -1 | 0.9854 | 1.985 | 1 | 0.3622 | 0.01428 | 0.01406 | 0.01576 | 0.007564 | 1 | 0.000003324 | 0.05924 | 0.03076 | 0.02809 | 0.1676 | 10.63 | 2.779 | 0.2022 | 0.4227 | 1 | 1 | 0 | 0 | 0.0221 | 0 | 0 | 0.1576 | json |
| t11_x8_u0_b4 | 11 | 8 | 0 | 4 | ![]() |
sqt(pow(R,sqt(R))) | 18653 | 89649823 | o1(o2(x,o1(x))) | true | 149231 | 149231 | -0.9218 | 0.04297 | 0.9923 | 0.1367 | 0.3697 | -1 | 0.9718 | 1.972 | 1 | 0.3488 | 0.01392 | 0.01363 | 0.01548 | 0.01039 | 1 | 0.000003297 | 0.05758 | 0.03033 | 0.02731 | 0.1653 | 10.68 | 2.737 | 0.2016 | 0.4214 | 1 | 1 | 0 | 0 | 0.0213 | 0 | 0 | 0.1558 | json |
| t11_x8_u0_b5 | 11 | 8 | 0 | 5 | ![]() |
sqt(mod(R,sqt(R))) | 18654 | 89649824 | o1(o2(x,o1(x))) | true | 149239 | 149239 | -0.9258 | 0.04297 | 0.9882 | 0.1235 | 0.3514 | -1 | 0.971 | 1.971 | 1 | 0.3916 | 0.01252 | 0.01245 | 0.01513 | 0.002807 | 1 | 0.000005689 | 0.05219 | 0.02886 | 0.02476 | 0.1573 | 10.4 | 2.731 | 0.2023 | 0.4226 | 1 | 1 | 0 | 0 | 0.0197 | 0 | 0 | 0.1595 | json |
| t11_x8_u0_b6 | 11 | 8 | 0 | 6 | ![]() |
sqt(lrg(R,sqt(R))) | 18655 | 89649825 | o1(o2(x,o1(x))) | true | 149247 | 149247 | 0.5176 | 0.9429 | 0.5176 | 0.1537 | 0.3921 | 0 | 1 | 1 | 1 | 3.429 | 0.001972 | 0.002442 | 0.05168 | -0.1065 | 1 | 0.00001781 | 0.0002592 | 0.01257 | 0.001744 | 0.04176 | 0.8079 | 0.1169 | 0.02872 | 0.001686 | 1 | 1 | 0 | 0 | 0.008731 | 0 | 0 | 0.0568 | json |
| t11_x8_u0_b7 | 11 | 8 | 0 | 7 | ![]() |
sqt(eql(R,sqt(R))) | 18656 | 89649826 | o1(o2(x,o1(x))) | true | 149255 | 149255 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t11_x8_u0_b8 | 11 | 8 | 0 | 8 | ![]() |
sqt(min(R,sqt(R))) | 18657 | 89649827 | o1(o2(x,o1(x))) | true | 149263 | 149263 | -0.9258 | 0.04297 | 0.9882 | 0.1235 | 0.3514 | -1 | 0.971 | 1.971 | 1 | 0.3916 | 0.01252 | 0.01245 | 0.01513 | 0.002807 | 1 | 0.000005689 | 0.05219 | 0.02886 | 0.02476 | 0.1573 | 10.4 | 2.731 | 0.2023 | 0.4226 | 1 | 1 | 0 | 0 | 0.0197 | 0 | 0 | 0.1595 | json |
| t11_x8_u0_b9 | 11 | 8 | 0 | 9 | ![]() |
sqt(dot(R,sqt(R))) | 18658 | 89649828 | o1(o2(x,o1(x))) | true | 149271 | 149271 | -1 | 0 | 1 | 0 | 0 | -1 | -1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t11_x8_u0_b10 | 11 | 8 | 0 | 10 | ![]() |
sqt(dst(R,sqt(R))) | 18659 | 89649829 | o1(o2(x,o1(x))) | true | 149279 | 149279 | -1 | 0 | 1 | 0 | 0 | -1 | -1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t11_x8_u1_b0 | 11 | 8 | 1 | 0 | ![]() |
sqt(add(R,log(R))) | 18660 | 89650020 | o1(o2(x,o1(x))) | true | 149287 | 149287 | -1 | 0 | 1 | 0 | 0 | -1 | -1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t11_x8_u1_b1 | 11 | 8 | 1 | 1 | ![]() |
sqt(sub(R,log(R))) | 18661 | 89650021 | o1(o2(x,o1(x))) | true | 149295 | 149295 | -0.9141 | 0.04297 | 1 | 0.1645 | 0.4056 | -1 | 1 | 2 | 1 | 0.2557 | 0.01688 | 0.01638 | 0.01652 | 0.01515 | 1 | 0 | 0.06954 | 0.03326 | 0.03297 | 0.1816 | 10.99 | 2.828 | 0.2022 | 0.4228 | 1 | 1 | 0 | 0 | 0.02543 | 0 | 0 | 0.1546 | json |
| t11_x8_u1_b2 | 11 | 8 | 1 | 2 | ![]() |
sqt(mlt(R,log(R))) | 18662 | 89650022 | o1(o2(x,o1(x))) | true | 149303 | 149303 | -1 | 0 | 1 | 0 | 0 | -1 | -1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t11_x8_u1_b3 | 11 | 8 | 1 | 3 | ![]() |
sqt(div(R,log(R))) | 18663 | 89650023 | o1(o2(x,o1(x))) | true | 149311 | 149311 | -1 | 0 | 1 | 0 | 0 | -1 | -1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t11_x8_u1_b4 | 11 | 8 | 1 | 4 | ![]() |
sqt(pow(R,log(R))) | 18664 | 89650024 | o1(o2(x,o1(x))) | true | 149319 | 149319 | -0.9141 | 0.04297 | 1 | 0.1645 | 0.4056 | -1 | 1 | 2 | 1 | 0.2557 | 0.01688 | 0.01638 | 0.01652 | 0.01515 | 1 | 0 | 0.06954 | 0.03326 | 0.03297 | 0.1816 | 10.99 | 2.828 | 0.2022 | 0.4228 | 1 | 1 | 0 | 0 | 0.02543 | 0 | 0 | 0.1546 | json |
| t11_x8_u1_b5 | 11 | 8 | 1 | 5 | ![]() |
sqt(mod(R,log(R))) | 18665 | 89650025 | o1(o2(x,o1(x))) | true | 149327 | 149327 | -0.9381 | 0.04297 | 0.976 | 0.08613 | 0.2935 | -1 | 0.695 | 1.695 | 1 | 0.3875 | 0.009012 | 0.00868 | 0.01284 | 0.01875 | 1 | -0.000005391 | 0.03697 | 0.02427 | 0.01753 | 0.1324 | 10.31 | 2.397 | 0.2054 | 0.4292 | 1 | 1 | 0 | 0 | 0.01344 | 0 | 0 | 0.156 | json |
| t11_x8_u1_b6 | 11 | 8 | 1 | 6 | ![]() |
sqt(lrg(R,log(R))) | 18666 | 89650026 | o1(o2(x,o1(x))) | true | 149335 | 149335 | 1 | 1 | 1 | 0 | 0 | 1 | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t11_x8_u1_b7 | 11 | 8 | 1 | 7 | ![]() |
sqt(eql(R,log(R))) | 18667 | 89650027 | o1(o2(x,o1(x))) | true | 149343 | 149343 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t11_x8_u1_b8 | 11 | 8 | 1 | 8 | ![]() |
sqt(min(R,log(R))) | 18668 | 89650028 | o1(o2(x,o1(x))) | true | 149351 | 149351 | -1 | 0 | 1 | 0 | 0 | -1 | -1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t11_x8_u1_b9 | 11 | 8 | 1 | 9 | ![]() |
sqt(dot(R,log(R))) | 18669 | 89650029 | o1(o2(x,o1(x))) | true | 149359 | 149359 | -1 | 0 | 1 | 0 | 0 | -1 | -1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t11_x8_u1_b10 | 11 | 8 | 1 | 10 | ![]() |
sqt(dst(R,log(R))) | 18670 | 89650030 | o1(o2(x,o1(x))) | true | 149367 | 149367 | -1 | 0 | 1 | 0 | 0 | -1 | -1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t11_x8_u2_b0 | 11 | 8 | 2 | 0 | ![]() |
sqt(add(R,frc(R))) | 18671 | 89650221 | o1(o2(x,o1(x))) | true | 149375 | 149375 | -0.4001 | 0.3281 | 0.9437 | 0.7483 | 0.865 | -1 | 1 | 2 | 1 | 1.857 | 0.04688 | 0.052 | 0.06083 | -0.05183 | 1 | -0.00001302 | 0.2039 | 0.1098 | 0.09522 | 0.3086 | 5.073 | 2.828 | 0.1321 | 0.2725 | 1 | 1 | 0 | 0 | 0.1091 | 0 | 0 | 0.1458 | json |
| t11_x8_u2_b1 | 11 | 8 | 2 | 1 | ![]() |
sqt(sub(R,frc(R))) | 18672 | 89650222 | o1(o2(x,o1(x))) | true | 149383 | 149383 | -0.957 | 0 | 0.957 | 0.04112 | 0.2028 | -1 | 0 | 1 | 1 | 0.2557 | 0.00422 | 0.004094 | 0.008259 | 0.01515 | 1 | 0 | 0.01738 | 0.01663 | 0.008241 | 0.09078 | 10.99 | 1.414 | 0.2022 | 0.4228 | 1 | 1 | 0 | 0 | 0.006357 | 0 | 0 | 0.1546 | json |
| t11_x8_u2_b2 | 11 | 8 | 2 | 2 | ![]() |
sqt(mlt(R,frc(R))) | 18673 | 89650223 | o1(o2(x,o1(x))) | true | 149391 | 149391 | -0.9327 | 0.04297 | 0.9813 | 0.1025 | 0.3202 | -1 | 0.9428 | 1.943 | 1 | 0.413 | 0.01033 | 0.01038 | 0.01414 | -0.00231 | 1 | 0.000008535 | 0.04322 | 0.0262 | 0.02051 | 0.1432 | 10.13 | 2.64 | 0.2021 | 0.4217 | 1 | 1 | 0 | 0 | 0.01648 | 0 | 0 | 0.1608 | json |
| t11_x8_u2_b3 | 11 | 8 | 2 | 3 | ![]() |
sqt(div(R,frc(R))) | 18674 | 89650224 | o1(o2(x,o1(x))) | true | 149399 | 149399 | -0.9141 | 0.04297 | 1 | 0.1645 | 0.4056 | -1 | 1 | 2 | 1 | 0.2557 | 0.01688 | 0.01638 | 0.01652 | 0.01515 | 1 | 2.928e-10 | 0.06954 | 0.03326 | 0.03297 | 0.1816 | 10.99 | 2.828 | 0.2022 | 0.4228 | 1 | 1 | 0 | 0 | 0.02543 | 0 | 0 | 0.1546 | json |
| t11_x8_u2_b4 | 11 | 8 | 2 | 4 | ![]() |
sqt(pow(R,frc(R))) | 18675 | 89650225 | o1(o2(x,o1(x))) | true | 149407 | 149407 | -0.9191 | 0.04297 | 0.9949 | 0.1457 | 0.3817 | -1 | 0.9727 | 1.973 | 1 | 0.3124 | 0.01491 | 0.01449 | 0.01576 | 0.0143 | 1 | 0.000001711 | 0.06146 | 0.03131 | 0.02914 | 0.1707 | 10.83 | 2.744 | 0.2018 | 0.4218 | 1 | 1 | 0 | 0 | 0.02248 | 0 | 0 | 0.1543 | json |
| t11_x8_u2_b5 | 11 | 8 | 2 | 5 | ![]() |
sqt(mod(R,frc(R))) | 18676 | 89650226 | o1(o2(x,o1(x))) | true | 149415 | 149415 | -0.9492 | 0.02917 | 0.9649 | 0.06044 | 0.2459 | -1 | 0.9475 | 1.948 | 1 | 0.3688 | 0.006555 | 0.005479 | 0.01063 | 0.08941 | 1 | -0.000002897 | 0.025 | 0.01964 | 0.01193 | 0.1092 | 10.27 | 2.397 | 0.1991 | 0.4137 | 1 | 1 | 0 | 0 | 0.01002 | 0 | 0 | 0.1658 | json |
| t11_x8_u2_b6 | 11 | 8 | 2 | 6 | ![]() |
sqt(lrg(R,frc(R))) | 18677 | 89650227 | o1(o2(x,o1(x))) | true | 149423 | 149423 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t11_x8_u2_b7 | 11 | 8 | 2 | 7 | ![]() |
sqt(eql(R,frc(R))) | 18678 | 89650228 | o1(o2(x,o1(x))) | true | 149431 | 149431 | 0.4824 | 0.9147 | 0.4824 | 0.1537 | 0.3921 | 0 | 1 | 1 | 1 | 3.429 | 0.001972 | 0.002442 | 0.05168 | -0.1065 | 1 | -0.00001781 | 0.0002592 | 0.01257 | 0.001744 | 0.04176 | 0.8079 | 0.1169 | 0.02872 | 0.001686 | 1 | 1 | 0 | 0 | 0.008731 | 0 | 0 | 0.0568 | json |
| t11_x8_u2_b8 | 11 | 8 | 2 | 8 | ![]() |
sqt(min(R,frc(R))) | 18679 | 89650229 | o1(o2(x,o1(x))) | true | 149439 | 149439 | -0.9258 | 0.04297 | 0.9882 | 0.1235 | 0.3514 | -1 | 0.971 | 1.971 | 1 | 0.3916 | 0.01252 | 0.01245 | 0.01513 | 0.002807 | 1 | 0.000005689 | 0.05219 | 0.02886 | 0.02476 | 0.1573 | 10.4 | 2.731 | 0.2023 | 0.4226 | 1 | 1 | 0 | 0 | 0.0197 | 0 | 0 | 0.1595 | json |
| t11_x8_u2_b9 | 11 | 8 | 2 | 9 | ![]() |
sqt(dot(R,frc(R))) | 18680 | 89650230 | o1(o2(x,o1(x))) | true | 149447 | 149447 | -0.7069 | 0.1758 | 0.9415 | 0.4109 | 0.641 | -1 | 1 | 2 | 1 | 1.305 | 0.03336 | 0.03466 | 0.04456 | -0.01918 | 1 | 0.000009131 | 0.1414 | 0.07999 | 0.06602 | 0.2569 | 5.767 | 2.828 | 0.1656 | 0.3441 | 1 | 1 | 0 | 0 | 0.0781 | 0 | 0 | 0.1901 | json |
| t11_x8_u2_b10 | 11 | 8 | 2 | 10 | ![]() |
sqt(dst(R,frc(R))) | 18681 | 89650231 | o1(o2(x,o1(x))) | true | 149455 | 149455 | 0.9101 | 1 | 0.9101 | 0.0531 | 0.2304 | 0.000291 | 1 | 0.9997 | 1 | 1.35 | 0.0008883 | 0.001017 | 0.01866 | -0.06771 | 1 | -0.000007429 | 0.0002174 | 0.00543 | 0.001558 | 0.03948 | 2.116 | 0.1539 | 0.03589 | 0.004093 | 1 | 1 | 0 | 0 | 0.004206 | 0 | 0 | 0.07922 | json |
| t11_x8_u3_b0 | 11 | 8 | 3 | 0 | ![]() |
sqt(add(R,flr(R))) | 18682 | 89650422 | o1(o2(x,o1(x))) | true | 149463 | 149463 | -0.9258 | 0.04297 | 0.9882 | 0.1235 | 0.3514 | -1 | 0.971 | 1.971 | 1 | 0.3916 | 0.01252 | 0.01245 | 0.01513 | 0.002807 | 1 | 0.000005689 | 0.05219 | 0.02886 | 0.02476 | 0.1573 | 10.4 | 2.731 | 0.2023 | 0.4226 | 1 | 1 | 0 | 0 | 0.0197 | 0 | 0 | 0.1595 | json |
| t11_x8_u3_b1 | 11 | 8 | 3 | 1 | ![]() |
sqt(sub(R,flr(R))) | 18683 | 89650423 | o1(o2(x,o1(x))) | true | 149471 | 149471 | 0.6868 | 1 | 0.6868 | 0.03476 | 0.1864 | 0.0309 | 0.9985 | 0.9676 | 1 | 3.478 | 0.0004771 | 0.0004443 | 0.02416 | 0.03565 | 1 | 0.00003276 | 0.00005447 | 0.005544 | 0.0003376 | 0.01837 | 0.7605 | 0.1115 | 0.02651 | 0.001567 | 1 | 1 | 0 | 0 | 0.001683 | 0 | 0 | 0.04842 | json |
| t11_x8_u3_b2 | 11 | 8 | 3 | 2 | ![]() |
sqt(mlt(R,flr(R))) | 18684 | 89650424 | o1(o2(x,o1(x))) | true | 149479 | 149479 | 0.3427 | 0.9362 | 0.3427 | 0.08589 | 0.2931 | 0 | 0.9994 | 0.9994 | 1 | 3.647 | 0.001062 | 0.001278 | 0.03843 | -0.09213 | 1 | -0.000001677 | 0.0001377 | 0.009066 | 0.0008627 | 0.02937 | 0.7643 | 0.1168 | 0.02724 | 0.001603 | 1 | 1 | 0 | 0 | 0.004466 | 0 | 0 | 0.052 | json |
| t11_x8_u3_b3 | 11 | 8 | 3 | 3 | ![]() |
sqt(div(R,flr(R))) | 18685 | 89650425 | o1(o2(x,o1(x))) | true | 149487 | 149487 | -0.7485 | 0.1367 | 0.9781 | 0.4054 | 0.6367 | -1 | 1 | 2 | 1 | 0.929 | 0.04276 | 0.04461 | 0.04762 | -0.0211 | 1 | 0.00000118 | 0.1841 | 0.09328 | 0.08511 | 0.2917 | 6.127 | 2.828 | 0.2155 | 0.4541 | 1 | 1 | 0 | 0 | 0.08913 | 0 | 0 | 0.2199 | json |
| t11_x8_u3_b4 | 11 | 8 | 3 | 4 | ![]() |
sqt(pow(R,flr(R))) | 18686 | 89650426 | o1(o2(x,o1(x))) | true | 149495 | 149495 | -0.9141 | 0.04297 | 1 | 0.1645 | 0.4056 | -1 | 1 | 2 | 1 | 0.2557 | 0.01688 | 0.01638 | 0.01652 | 0.01515 | 1 | 0 | 0.06954 | 0.03326 | 0.03297 | 0.1816 | 10.99 | 2.828 | 0.2022 | 0.4228 | 1 | 1 | 0 | 0 | 0.02543 | 0 | 0 | 0.1546 | json |
| t11_x8_u3_b5 | 11 | 8 | 3 | 5 | ![]() |
sqt(mod(R,flr(R))) | 18687 | 89650427 | o1(o2(x,o1(x))) | true | 149503 | 149503 | -1 | 0 | 1 | 0 | 0 | -1 | -1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t11_x8_u3_b6 | 11 | 8 | 3 | 6 | ![]() |
sqt(lrg(R,flr(R))) | 18688 | 89650428 | o1(o2(x,o1(x))) | true | 149511 | 149511 | 1 | 1 | 1 | 0 | 0 | 1 | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t11_x8_u3_b7 | 11 | 8 | 3 | 7 | ![]() |
sqt(eql(R,flr(R))) | 18689 | 89650429 | o1(o2(x,o1(x))) | true | 149519 | 149519 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t11_x8_u3_b8 | 11 | 8 | 3 | 8 | ![]() |
sqt(min(R,flr(R))) | 18690 | 89650430 | o1(o2(x,o1(x))) | true | 149527 | 149527 | -0.957 | 0 | 0.957 | 0.04112 | 0.2028 | -1 | 0 | 1 | 1 | 0.2557 | 0.00422 | 0.004094 | 0.008259 | 0.01515 | 1 | 0 | 0.01738 | 0.01663 | 0.008241 | 0.09078 | 10.99 | 1.414 | 0.2022 | 0.4228 | 1 | 1 | 0 | 0 | 0.006357 | 0 | 0 | 0.1546 | json |
| t11_x8_u3_b9 | 11 | 8 | 3 | 9 | ![]() |
sqt(dot(R,flr(R))) | 18691 | 89650431 | o1(o2(x,o1(x))) | true | 149535 | 149535 | 0.7531 | 1 | 0.7531 | 0.06701 | 0.2589 | 0.0001621 | 1 | 0.9998 | 1 | 3.333 | 0.0009324 | 0.001095 | 0.0313 | -0.08029 | 1 | -0.00001678 | 0.0002044 | 0.008318 | 0.001048 | 0.03237 | 1.034 | 0.1681 | 0.03026 | 0.00305 | 1 | 1 | 0 | 0 | 0.004286 | 0 | 0 | 0.06396 | json |
| t11_x8_u3_b10 | 11 | 8 | 3 | 10 | ![]() |
sqt(dst(R,flr(R))) | 18692 | 89650432 | o1(o2(x,o1(x))) | true | 149543 | 149543 | 0.9443 | 1 | 0.9443 | 0.008144 | 0.09025 | 0.3152 | 1 | 0.6848 | 1 | 1.541 | 0.0001469 | 0.0001463 | 0.009796 | 0.002284 | 1 | -0.00001212 | 0.0000403 | 0.003103 | 0.0001973 | 0.01405 | 1.434 | 0.08509 | 0.036 | 0.004949 | 1 | 1 | 0 | 0 | 0.0005489 | 0 | 0 | 0.0674 | json |
| t11_x8_u4_b0 | 11 | 8 | 4 | 0 | ![]() |
sqt(add(R,cil(R))) | 18693 | 89650623 | o1(o2(x,o1(x))) | true | 149551 | 149551 | -0.9141 | 0.04297 | 1 | 0.1645 | 0.4056 | -1 | 1 | 2 | 1 | 0.2557 | 0.01688 | 0.01638 | 0.01652 | 0.01515 | 1 | 0 | 0.06954 | 0.03326 | 0.03297 | 0.1816 | 10.99 | 2.828 | 0.2022 | 0.4228 | 1 | 1 | 0 | 0 | 0.02543 | 0 | 0 | 0.1546 | json |
| t11_x8_u4_b1 | 11 | 8 | 4 | 1 | ![]() |
sqt(sub(R,cil(R))) | 18694 | 89650624 | o1(o2(x,o1(x))) | true | 149559 | 149559 | -1 | 0 | 1 | 0 | 0 | -1 | -1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t11_x8_u4_b2 | 11 | 8 | 4 | 2 | ![]() |
sqt(mlt(R,cil(R))) | 18695 | 89650625 | o1(o2(x,o1(x))) | true | 149567 | 149567 | 0.3388 | 0.9084 | 0.3388 | 0.09199 | 0.3033 | 0 | 0.9902 | 0.9902 | 1 | 3.58 | 0.001219 | 0.001355 | 0.03997 | -0.05266 | 1 | 0.000002314 | 0.0001517 | 0.009409 | 0.0009762 | 0.03124 | 0.7817 | 0.1158 | 0.02798 | 0.001649 | 1 | 1 | 0 | 0 | 0.005267 | 0 | 0 | 0.05725 | json |
| t11_x8_u4_b3 | 11 | 8 | 4 | 3 | ![]() |
sqt(div(R,cil(R))) | 18696 | 89650626 | o1(o2(x,o1(x))) | true | 149575 | 149575 | -0.8086 | 0.1016 | 0.9882 | 0.327 | 0.5719 | -1 | 1 | 2 | 1 | 0.7 | 0.03564 | 0.04064 | 0.0405 | -0.06563 | 1 | 0.000005689 | 0.1613 | 0.08009 | 0.07462 | 0.2732 | 6.745 | 2.828 | 0.2332 | 0.4931 | 1 | 1 | 0 | 0 | 0.07198 | 0 | 0 | 0.2201 | json |
| t11_x8_u4_b4 | 11 | 8 | 4 | 4 | ![]() |
sqt(pow(R,cil(R))) | 18697 | 89650627 | o1(o2(x,o1(x))) | true | 149583 | 149583 | 0.8564 | 1 | 0.8564 | 0.02826 | 0.1681 | 0.05674 | 1 | 0.9433 | 1 | 2.638 | 0.0004144 | 0.0004523 | 0.02089 | -0.04367 | 1 | 0.00002013 | 0.00005134 | 0.004917 | 0.0004303 | 0.02074 | 0.9931 | 0.1103 | 0.03066 | 0.001817 | 1 | 1 | 0 | 0 | 0.001492 | 0 | 0 | 0.05277 | json |
| t11_x8_u4_b5 | 11 | 8 | 4 | 5 | ![]() |
sqt(mod(R,cil(R))) | 18698 | 89650628 | o1(o2(x,o1(x))) | true | 149591 | 149591 | -0.9258 | 0.04297 | 0.9882 | 0.1235 | 0.3514 | -1 | 0.971 | 1.971 | 1 | 0.3916 | 0.01252 | 0.01245 | 0.01513 | 0.002807 | 1 | 0.000005689 | 0.05219 | 0.02886 | 0.02476 | 0.1573 | 10.4 | 2.731 | 0.2023 | 0.4226 | 1 | 1 | 0 | 0 | 0.0197 | 0 | 0 | 0.1595 | json |
| t11_x8_u4_b6 | 11 | 8 | 4 | 6 | ![]() |
sqt(lrg(R,cil(R))) | 18699 | 89650629 | o1(o2(x,o1(x))) | true | 149599 | 149599 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |



































































































