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 | ||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| t8_x12_u0_b32 | 8 | 12 | 0 | 32 | ![]() |
mlt(dst(D,D),P) | 7100 | 65449652 | o2(o2(x,x),x) | true | 56807 | 56807 | 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 |
| t8_x12_u0_b33 | 8 | 12 | 0 | 33 | ![]() |
div(add(D,D),P) | 7101 | 65449653 | o2(o2(x,x),x) | true | 56815 | 56815 | -0.09372 | 0.5156 | 0.1833 | 0.1252 | 0.3539 | -1 | 0.3844 | 1.384 | 1 | 2.509 | 0.009847 | 0 | 0.02876 | 1 | 1 | 0.0000738 | 0.01617 | 0.02396 | 0.00902 | 0.09497 | 3.303 | 1.062 | 0.07862 | 0.1291 | 1 | 1 | 0 | 0 | 0.01531 | 0 | 0 | 0.1222 | json |
| t8_x12_u0_b34 | 8 | 12 | 0 | 34 | ![]() |
div(sub(D,D),P) | 7102 | 65449654 | o2(o2(x,x),x) | true | 56823 | 56823 | 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 |
| t8_x12_u0_b35 | 8 | 12 | 0 | 35 | ![]() |
div(mlt(D,D),P) | 7103 | 65449655 | o2(o2(x,x),x) | true | 56831 | 56831 | 1.108e-12 | 0.5 | 0.1571 | 0.1276 | 0.3572 | -1 | 1 | 2 | 1 | 2.274 | 0.02397 | 0 | 0.02429 | 1 | 1 | 5.866e-13 | 0.0475 | 0.03504 | 0.02339 | 0.1529 | 6.297 | 2 | 0.1878 | 0.3722 | 1 | 1 | 0 | 0 | 0.03207 | 0 | 0 | 0.2513 | json |
| t8_x12_u0_b36 | 8 | 12 | 0 | 36 | ![]() |
div(div(D,D),P) | 7104 | 65449656 | o2(o2(x,x),x) | true | 56839 | 56839 | 3.638e-11 | 0.5 | 0.3944 | 0.2485 | 0.4985 | -1 | 1 | 2 | 1 | 3.916 | 0.04781 | 0 | 0.03075 | 1 | 1 | 2.816e-12 | 0.09534 | 0.04923 | 0.04688 | 0.2165 | 7.041 | 2 | 0.1924 | 0.3836 | 1 | 1 | 0 | 0 | 0.06361 | 0 | 0 | 0.2559 | json |
| t8_x12_u0_b37 | 8 | 12 | 0 | 37 | ![]() |
div(pow(D,D),P) | 7105 | 65449657 | o2(o2(x,x),x) | true | 56847 | 56847 | -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 |
| t8_x12_u0_b38 | 8 | 12 | 0 | 38 | ![]() |
div(mod(D,D),P) | 7106 | 65449658 | o2(o2(x,x),x) | true | 56855 | 56855 | -0.1193 | 0.2188 | 0.153 | 0.1138 | 0.3373 | -1 | 0.2729 | 1.273 | 1 | 2.033 | 0.01281 | 0 | 0.04671 | 1 | 1 | -0.00009235 | 0.02629 | 0.09118 | 0.01063 | 0.1031 | 2.207 | 1 | 0.1126 | 0.231 | 1 | 1 | 0 | 0 | 0.01634 | 0 | 0 | 0.1436 | json |
| t8_x12_u0_b39 | 8 | 12 | 0 | 39 | ![]() |
div(lrg(D,D),P) | 7107 | 65449659 | o2(o2(x,x),x) | true | 56863 | 56863 | -0.125 | 0 | 0.125 | 0.1094 | 0.3307 | -1 | 0 | 1 | 1 | 0.5436 | 0.007937 | 0 | 0.007937 | 1 | 1 | 0 | 0.01587 | 0.01587 | 0.007872 | 0.08872 | 11.18 | 1 | 0.07256 | 0.1451 | 1 | 1 | 0 | 0 | 0.01053 | 0 | 0 | 0.09624 | json |
| t8_x12_u0_b40 | 8 | 12 | 0 | 40 | ![]() |
div(eql(D,D),P) | 7108 | 65449660 | o2(o2(x,x),x) | true | 56871 | 56871 | 3.661e-11 | 0.5 | 0.3944 | 0.2485 | 0.4985 | -1 | 1 | 2 | 1 | 3.916 | 0.04781 | 0 | 0.03075 | 1 | 1 | 9.386e-13 | 0.09534 | 0.04923 | 0.04688 | 0.2165 | 7.041 | 2 | 0.1924 | 0.3836 | 1 | 1 | 0 | 0 | 0.06361 | 0 | 0 | 0.2559 | json |
| t8_x12_u0_b41 | 8 | 12 | 0 | 41 | ![]() |
div(min(D,D),P) | 7109 | 65449661 | o2(o2(x,x),x) | true | 56879 | 56879 | -0.1094 | 0.5156 | 0.1542 | 0.1153 | 0.3396 | -1 | 0.1922 | 1.192 | 1 | 1.912 | 0.00866 | 0 | 0.01835 | 1 | 1 | 0.0000369 | 0.01597 | 0.01991 | 0.008324 | 0.09124 | 4.973 | 1.031 | 0.07511 | 0.1385 | 1 | 1 | 0 | 0 | 0.01236 | 0 | 0 | 0.1072 | json |
| t8_x12_u0_b42 | 8 | 12 | 0 | 42 | ![]() |
div(dot(D,D),P) | 7110 | 65449662 | o2(o2(x,x),x) | true | 56887 | 56887 | -0.125 | 0.4375 | 0.1891 | 0.1181 | 0.3437 | -1 | 0.3777 | 1.378 | 1 | 2.859 | 0.008271 | 0.0001565 | 0.02081 | 0.9629 | 1 | -4.54e-10 | 0.01628 | 0.0202 | 0.007994 | 0.08941 | 4.296 | 1.248 | 0.07135 | 0.1379 | 1 | 1 | 0 | 0 | 0.01153 | 0 | 0 | 0.09764 | json |
| t8_x12_u0_b43 | 8 | 12 | 0 | 43 | ![]() |
div(dst(D,D),P) | 7111 | 65449663 | o2(o2(x,x),x) | true | 56895 | 56895 | 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 |
| t8_x12_u0_b44 | 8 | 12 | 0 | 44 | ![]() |
pow(add(D,D),P) | 7112 | 65449664 | o2(o2(x,x),x) | true | 56903 | 56903 | -0.8758 | 0.0625 | 0.9992 | 0.2314 | 0.481 | -1 | 1 | 2 | 1 | 0.3373 | 0.03175 | 0 | 0.0163 | 1 | 1 | 9.461e-10 | 0.06354 | 0.03208 | 0.03147 | 0.1774 | 10.88 | 2 | 0.1372 | 0.2746 | 1 | 1 | 0 | 0 | 0.04209 | 0 | 0 | 0.1819 | json |
| t8_x12_u0_b45 | 8 | 12 | 0 | 45 | ![]() |
pow(sub(D,D),P) | 7113 | 65449665 | o2(o2(x,x),x) | true | 56911 | 56911 | -0.4688 | 0.0625 | 0.5313 | 0.3046 | 0.5519 | -1 | 0.9997 | 2 | 1 | 1.406 | 0.01622 | 0 | 0.0119 | 1 | 1 | -4.731e-10 | 0.03186 | 0.0168 | 0.01607 | 0.1268 | 10.65 | 2 | 0.05326 | 0.1046 | 1 | 1 | 0 | 0 | 0.0219 | 0 | 0 | 0.0719 | json |
| t8_x12_u0_b46 | 8 | 12 | 0 | 46 | ![]() |
pow(mlt(D,D),P) | 7114 | 65449666 | o2(o2(x,x),x) | true | 56919 | 56919 | 0.5424 | 0.9883 | 0.5424 | 0.2349 | 0.4847 | 0.00003158 | 1 | 1 | 1 | 1.491 | 0.000409 | 0 | 0.005991 | 1 | 1 | -0.00000382 | 0.00002581 | 0.002016 | 0.0003733 | 0.01932 | 3.225 | 0.1251 | 0.001741 | 0.0001099 | 1 | 1 | 0 | 0 | 0.001068 | 0 | 0 | 0.004545 | json |
| t8_x12_u0_b47 | 8 | 12 | 0 | 47 | ![]() |
pow(div(D,D),P) | 7115 | 65449667 | o2(o2(x,x),x) | true | 56927 | 56927 | 1 | 1 | 1 | 1.257e-14 | 1.121e-7 | 1 | 1 | 4.768e-7 | 1 | 0 | 1.968e-14 | 0 | 7.001e-8 | 0.01968 | 0 | 9.461e-10 | 6.429e-14 | 1.353e-7 | 1.478e-14 | 1.216e-7 | 1.736 | 4.768e-7 | 0.01968 | 0.06429 | 0 | 1 | 0 | 0 | 3.833e-15 | 0 | 0 | 0.003833 | json |
| t8_x12_u0_b48 | 8 | 12 | 0 | 48 | ![]() |
pow(pow(D,D),P) | 7116 | 65449668 | o2(o2(x,x),x) | true | 56935 | 56935 | -0.875 | 0.0625 | 1 | 0.2344 | 0.4841 | -1 | 1 | 2 | 1 | 0.3373 | 0.03175 | 0 | 0.01587 | 1 | 1 | 0 | 0.06349 | 0.03175 | 0.03149 | 0.1774 | 11.18 | 2 | 0.1354 | 0.2709 | 1 | 1 | 0 | 0 | 0.04211 | 0 | 0 | 0.1796 | json |
| t8_x12_u0_b49 | 8 | 12 | 0 | 49 | ![]() |
pow(mod(D,D),P) | 7117 | 65449669 | o2(o2(x,x),x) | true | 56943 | 56943 | -0.342 | 0.2617 | 0.658 | 0.5324 | 0.7297 | -1 | 1 | 2 | 1 | 1.789 | 0.947 | 0 | 0.5724 | 1 | 1 | 0.003968 | 2.82 | 1.144 | 0.6197 | 0.7872 | 1.375 | 2 | 1.779 | 5.297 | 1 | 1 | 0 | 0 | 0.5024 | 0 | 0 | 0.9437 | json |
| t8_x12_u0_b50 | 8 | 12 | 0 | 50 | ![]() |
pow(lrg(D,D),P) | 7118 | 65449670 | o2(o2(x,x),x) | true | 56951 | 56951 | -0.4688 | 0.0625 | 0.5313 | 0.3046 | 0.5519 | -1 | 0.9997 | 2 | 1 | 1.406 | 0.01622 | 0 | 0.0119 | 1 | 1 | -4.731e-10 | 0.03186 | 0.0168 | 0.01607 | 0.1268 | 10.65 | 2 | 0.05326 | 0.1046 | 1 | 1 | 0 | 0 | 0.0219 | 0 | 0 | 0.0719 | json |
| t8_x12_u0_b51 | 8 | 12 | 0 | 51 | ![]() |
pow(eql(D,D),P) | 7119 | 65449671 | o2(o2(x,x),x) | true | 56959 | 56959 | 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 |
| t8_x12_u0_b52 | 8 | 12 | 0 | 52 | ![]() |
pow(min(D,D),P) | 7120 | 65449672 | o2(o2(x,x),x) | true | 56967 | 56967 | -0.875 | 0.0625 | 1 | 0.2344 | 0.4841 | -1 | 1 | 2 | 1 | 0.3373 | 0.03175 | 0 | 0.01587 | 1 | 1 | 0 | 0.06349 | 0.03175 | 0.03149 | 0.1774 | 11.18 | 2 | 0.1354 | 0.2709 | 1 | 1 | 0 | 0 | 0.04211 | 0 | 0 | 0.1796 | json |
| t8_x12_u0_b53 | 8 | 12 | 0 | 53 | ![]() |
pow(dot(D,D),P) | 7121 | 65449673 | o2(o2(x,x),x) | true | 56975 | 56975 | 0.5611 | 1 | 0.5611 | 0.2195 | 0.4686 | 0.0003714 | 1 | 0.9996 | 1 | 1.814 | 0.0003738 | 0.0001087 | 0.009752 | 0.5495 | 1 | -0.00008879 | 0.00005422 | 0.003888 | 0.0003875 | 0.01968 | 2.018 | 0.1252 | 0.002198 | 0.000247 | 1 | 1 | 0 | 0 | 0.00123 | 0 | 0 | 0.005605 | json |
| t8_x12_u0_b54 | 8 | 12 | 0 | 54 | ![]() |
pow(dst(D,D),P) | 7122 | 65449674 | o2(o2(x,x),x) | true | 56983 | 56983 | -0.4688 | 0.0625 | 0.5313 | 0.3046 | 0.5519 | -1 | 0.9997 | 2 | 1 | 1.406 | 0.01622 | 0 | 0.0119 | 1 | 1 | -4.731e-10 | 0.03186 | 0.0168 | 0.01607 | 0.1268 | 10.65 | 2 | 0.05326 | 0.1046 | 1 | 1 | 0 | 0 | 0.0219 | 0 | 0 | 0.0719 | json |
| t8_x12_u0_b55 | 8 | 12 | 0 | 55 | ![]() |
mod(add(D,D),P) | 7123 | 65449675 | o2(o2(x,x),x) | true | 56991 | 56991 | -0.125 | 0.4375 | 0.2999 | 0.1533 | 0.3916 | -1 | 0.4959 | 1.496 | 1 | 3.293 | 0.01588 | 0 | 0.07366 | 1 | 1 | -9.386e-13 | 0.02088 | 0.04826 | 0.01046 | 0.1023 | 1.389 | 1.062 | 0.1036 | 0.1362 | 1 | 1 | 0 | 0 | 0.02426 | 0 | 0 | 0.1582 | json |
| t8_x12_u0_b56 | 8 | 12 | 0 | 56 | ![]() |
mod(sub(D,D),P) | 7124 | 65449676 | o2(o2(x,x),x) | true | 56999 | 56999 | 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 |
| t8_x12_u0_b57 | 8 | 12 | 0 | 57 | ![]() |
mod(mlt(D,D),P) | 7125 | 65449677 | o2(o2(x,x),x) | true | 57007 | 57007 | -0.02084 | 0.875 | 0.2291 | 0.144 | 0.3795 | -1 | 0.2473 | 1.247 | 1 | 2.128 | 0.009049 | 0 | 0.03506 | 1 | 1 | -0.0002405 | 0.01587 | 0.02675 | 0.007818 | 0.08842 | 2.522 | 1.001 | 0.06283 | 0.1102 | 1 | 1 | 0 | 0 | 0.01268 | 0 | 0 | 0.08807 | json |
| t8_x12_u0_b58 | 8 | 12 | 0 | 58 | ![]() |
mod(div(D,D),P) | 7126 | 65449678 | o2(o2(x,x),x) | true | 57015 | 57015 | 0.7121 | 0.875 | 0.9621 | 0.4455 | 0.6674 | -1 | 1 | 2 | 1 | 1.104 | 0.04336 | 0 | 0.05195 | 1 | 1 | 6.248e-8 | 0.1149 | 0.08144 | 0.04065 | 0.2016 | 3.881 | 1 | 0.09734 | 0.2579 | 1 | 1 | 0 | 0 | 0.03884 | 0 | 0 | 0.08719 | json |
| t8_x12_u0_b59 | 8 | 12 | 0 | 59 | ![]() |
mod(pow(D,D),P) | 7127 | 65449679 | o2(o2(x,x),x) | true | 57023 | 57023 | -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 |
| t8_x12_u0_b60 | 8 | 12 | 0 | 60 | ![]() |
mod(mod(D,D),P) | 7128 | 65449680 | o2(o2(x,x),x) | true | 57031 | 57031 | -0.125 | 0.2188 | 0.2158 | 0.1304 | 0.3612 | -1 | 0.2729 | 1.273 | 1 | 2.512 | 0.0424 | 0 | 0.1332 | 1 | 1 | 0 | 0.09931 | 0.2632 | 0.02466 | 0.157 | 1.179 | 1 | 0.3251 | 0.7613 | 1 | 1 | 0 | 0 | 0.03632 | 0 | 0 | 0.2785 | json |
| t8_x12_u0_b61 | 8 | 12 | 0 | 61 | ![]() |
mod(lrg(D,D),P) | 7129 | 65449681 | o2(o2(x,x),x) | true | 57039 | 57039 | -0.125 | 0 | 0.125 | 0.1094 | 0.3307 | -1 | 0 | 1 | 1 | 0.5436 | 0.007937 | 0 | 0.007937 | 1 | 1 | 0 | 0.01587 | 0.01587 | 0.007872 | 0.08872 | 11.18 | 1 | 0.07256 | 0.1451 | 1 | 1 | 0 | 0 | 0.01053 | 0 | 0 | 0.09624 | json |
| t8_x12_u0_b62 | 8 | 12 | 0 | 62 | ![]() |
mod(eql(D,D),P) | 7130 | 65449682 | o2(o2(x,x),x) | true | 57047 | 57047 | 0.6875 | 0.875 | 0.9375 | 0.4513 | 0.6718 | -1 | 1 | 2 | 1 | 1.335 | 0.008647 | 0 | 0.01587 | 1 | 1 | -4.721e-10 | 0.01581 | 0.01762 | 0.008393 | 0.09161 | 5.772 | 1 | 0.01916 | 0.03502 | 1 | 1 | 0 | 0 | 0.01246 | 0 | 0 | 0.0276 | json |
| t8_x12_u0_b63 | 8 | 12 | 0 | 63 | ![]() |
mod(min(D,D),P) | 7131 | 65449683 | o2(o2(x,x),x) | true | 57055 | 57055 | -0.125 | 0.4375 | 0.2076 | 0.1189 | 0.3448 | -1 | 0.1454 | 1.145 | 1 | 2.785 | 0.009352 | 0 | 0.03917 | 1 | 1 | 9.386e-13 | 0.01611 | 0.02856 | 0.007817 | 0.08842 | 2.257 | 1.031 | 0.07868 | 0.1355 | 1 | 1 | 0 | 0 | 0.01311 | 0 | 0 | 0.1103 | json |
| t8_x12_u0_b64 | 8 | 12 | 0 | 64 | ![]() |
mod(dot(D,D),P) | 7132 | 65449684 | o2(o2(x,x),x) | true | 57063 | 57063 | 0.08318 | 0.875 | 0.3332 | 0.1817 | 0.4263 | -1 | 0.4946 | 1.495 | 1 | 3.092 | 0.01115 | 0.001093 | 0.05029 | 0.8215 | 1 | -0.0004498 | 0.02025 | 0.03195 | 0.009713 | 0.09855 | 1.96 | 1.249 | 0.06738 | 0.1114 | 1 | 1 | 0 | 0 | 0.01747 | 0 | 0 | 0.09614 | json |
| t8_x12_u0_b65 | 8 | 12 | 0 | 65 | ![]() |
mod(dst(D,D),P) | 7133 | 65449685 | o2(o2(x,x),x) | true | 57071 | 57071 | 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 |
| t8_x12_u0_b66 | 8 | 12 | 0 | 66 | ![]() |
lrg(add(D,D),P) | 7134 | 65449686 | o2(o2(x,x),x) | true | 57079 | 57079 | 0.5 | 0.5938 | 0.5 | 0.2297 | 0.4793 | 0 | 1 | 1 | 1 | 1.793 | 0.006516 | 0 | 0.01891 | 1 | 1 | -7.096e-10 | 0.01207 | 0.01859 | 0.006159 | 0.07848 | 4.15 | 0.9994 | 0.02837 | 0.05257 | 1 | 1 | 0 | 0 | 0.009276 | 0 | 0 | 0.04039 | json |
| t8_x12_u0_b67 | 8 | 12 | 0 | 67 | ![]() |
lrg(sub(D,D),P) | 7135 | 65449687 | o2(o2(x,x),x) | true | 57087 | 57087 | 0.4688 | 0.5 | 0.4688 | 0.2423 | 0.4922 | 0 | 1 | 1 | 1 | 1.326 | 0.0003529 | 0 | 0.003968 | 1 | 1 | -4.731e-10 | 0.00001619 | 0.0009276 | 0.0003372 | 0.01836 | 4.628 | 0.1169 | 0.001457 | 0.00006684 | 1 | 1 | 0 | 0 | 0.0009255 | 0 | 0 | 0.00382 | json |
| t8_x12_u0_b68 | 8 | 12 | 0 | 68 | ![]() |
lrg(mlt(D,D),P) | 7136 | 65449688 | o2(o2(x,x),x) | true | 57095 | 57095 | 0.5313 | 0.5625 | 0.5313 | 0.2423 | 0.4922 | 0 | 1 | 1 | 1 | 1.326 | 0.0003529 | 0 | 0.003968 | 1 | 1 | -4.731e-10 | 0.00001619 | 0.0009276 | 0.0003372 | 0.01836 | 4.628 | 0.1169 | 0.001457 | 0.00006684 | 1 | 1 | 0 | 0 | 0.0009255 | 0 | 0 | 0.00382 | json |
| t8_x12_u0_b69 | 8 | 12 | 0 | 69 | ![]() |
lrg(div(D,D),P) | 7137 | 65449689 | o2(o2(x,x),x) | true | 57103 | 57103 | 0.5313 | 0.5625 | 0.5313 | 0.2423 | 0.4922 | 0 | 1 | 1 | 1 | 1.326 | 0.0003529 | 0 | 0.003968 | 1 | 1 | -4.731e-10 | 0.00001619 | 0.0009276 | 0.0003372 | 0.01836 | 4.628 | 0.1169 | 0.001457 | 0.00006684 | 1 | 1 | 0 | 0 | 0.0009255 | 0 | 0 | 0.00382 | json |
| t8_x12_u0_b70 | 8 | 12 | 0 | 70 | ![]() |
lrg(pow(D,D),P) | 7138 | 65449690 | o2(o2(x,x),x) | true | 57111 | 57111 | 0.7813 | 1 | 0.7813 | 0.1235 | 0.3515 | 0.000291 | 1 | 0.9997 | 1 | 2.124 | 0.03022 | 0 | 0.0555 | 1 | 1 | 0.00008984 | 0.05631 | 0.06193 | 0.02713 | 0.1647 | 2.967 | 0.9997 | 0.2446 | 0.4558 | 1 | 1 | 0 | 0 | 0.03318 | 0 | 0 | 0.2686 | json |
| t8_x12_u0_b71 | 8 | 12 | 0 | 71 | ![]() |
lrg(mod(D,D),P) | 7139 | 65449691 | o2(o2(x,x),x) | true | 57119 | 57119 | 0.4811 | 0.5156 | 0.4811 | 0.2408 | 0.4908 | 0 | 1 | 1 | 1 | 1.402 | 0.01807 | 0 | 0.02453 | 1 | 1 | -4.731e-10 | 0.0575 | 0.04116 | 0.01747 | 0.1322 | 5.388 | 0.9929 | 0.07503 | 0.2387 | 1 | 1 | 0 | 0 | 0.009806 | 0 | 0 | 0.04071 | json |
| t8_x12_u0_b72 | 8 | 12 | 0 | 72 | ![]() |
lrg(lrg(D,D),P) | 7140 | 65449692 | o2(o2(x,x),x) | true | 57127 | 57127 | 0.4688 | 0.5 | 0.4688 | 0.2423 | 0.4922 | 0 | 1 | 1 | 1 | 1.326 | 0.0003529 | 0 | 0.003968 | 1 | 1 | -4.731e-10 | 0.00001619 | 0.0009276 | 0.0003372 | 0.01836 | 4.628 | 0.1169 | 0.001457 | 0.00006684 | 1 | 1 | 0 | 0 | 0.0009255 | 0 | 0 | 0.00382 | json |
| t8_x12_u0_b73 | 8 | 12 | 0 | 73 | ![]() |
lrg(eql(D,D),P) | 7141 | 65449693 | o2(o2(x,x),x) | true | 57135 | 57135 | 0.5313 | 0.5625 | 0.5313 | 0.2423 | 0.4922 | 0 | 1 | 1 | 1 | 1.326 | 0.0003529 | 0 | 0.003968 | 1 | 1 | -4.731e-10 | 0.00001619 | 0.0009276 | 0.0003372 | 0.01836 | 4.628 | 0.1169 | 0.001457 | 0.00006684 | 1 | 1 | 0 | 0 | 0.0009255 | 0 | 0 | 0.00382 | json |
| t8_x12_u0_b74 | 8 | 12 | 0 | 74 | ![]() |
lrg(min(D,D),P) | 7142 | 65449694 | o2(o2(x,x),x) | true | 57143 | 57143 | 0.5 | 0.5625 | 0.5 | 0.2365 | 0.4863 | 0 | 1 | 1 | 1 | 1.577 | 0.00467 | 0 | 0.0119 | 1 | 1 | -4.731e-10 | 0.008068 | 0.009787 | 0.004528 | 0.06729 | 5.654 | 0.9994 | 0.01975 | 0.03412 | 1 | 1 | 0 | 0 | 0.007036 | 0 | 0 | 0.02976 | json |
| t8_x12_u0_b75 | 8 | 12 | 0 | 75 | ![]() |
lrg(dot(D,D),P) | 7143 | 65449695 | o2(o2(x,x),x) | true | 57151 | 57151 | 0.5314 | 0.5806 | 0.5314 | 0.2422 | 0.4922 | 0 | 1 | 1 | 1 | 1.322 | 0.0003573 | 0.000001609 | 0.004104 | 0.991 | 1 | -6.969e-7 | 0.00003199 | 0.001255 | 0.0003423 | 0.0185 | 4.508 | 0.1234 | 0.001482 | 0.0001321 | 1 | 1 | 0 | 0 | 0.0009358 | 0 | 0 | 0.003863 | json |
| t8_x12_u0_b76 | 8 | 12 | 0 | 76 | ![]() |
lrg(dst(D,D),P) | 7144 | 65449696 | o2(o2(x,x),x) | true | 57159 | 57159 | 0.4688 | 0.5 | 0.4688 | 0.2423 | 0.4922 | 0 | 1 | 1 | 1 | 1.326 | 0.0003529 | 0 | 0.003968 | 1 | 1 | -4.731e-10 | 0.00001619 | 0.0009276 | 0.0003372 | 0.01836 | 4.628 | 0.1169 | 0.001457 | 0.00006684 | 1 | 1 | 0 | 0 | 0.0009255 | 0 | 0 | 0.00382 | json |
| t8_x12_u0_b77 | 8 | 12 | 0 | 77 | ![]() |
eql(add(D,D),P) | 7145 | 65449697 | o2(o2(x,x),x) | true | 57167 | 57167 | 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 |
| t8_x12_u0_b78 | 8 | 12 | 0 | 78 | ![]() |
eql(sub(D,D),P) | 7146 | 65449698 | o2(o2(x,x),x) | true | 57175 | 57175 | 0.0625 | 0.125 | 0.0625 | 0.04507 | 0.2123 | 0 | 0.9997 | 0.9997 | 1 | 0.8126 | 0.0007059 | 0 | 0.007934 | 1 | 1 | -9.461e-10 | 0.00003241 | 0.001855 | 0.0006433 | 0.02536 | 3.197 | 0.1169 | 0.01566 | 0.0007193 | 1 | 1 | 0 | 0 | 0.001851 | 0 | 0 | 0.04107 | json |
| t8_x12_u0_b79 | 8 | 12 | 0 | 79 | ![]() |
eql(mlt(D,D),P) | 7147 | 65449699 | o2(o2(x,x),x) | true | 57183 | 57183 | 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 |
| t8_x12_u0_b80 | 8 | 12 | 0 | 80 | ![]() |
eql(div(D,D),P) | 7148 | 65449700 | o2(o2(x,x),x) | true | 57191 | 57191 | 0.0625 | 0.125 | 0.0625 | 0.04507 | 0.2123 | 0 | 0.9997 | 0.9997 | 1 | 0.8126 | 0.0007059 | 0 | 0.007934 | 1 | 1 | -9.461e-10 | 0.00003241 | 0.001855 | 0.0006433 | 0.02536 | 3.197 | 0.1169 | 0.01566 | 0.0007193 | 1 | 1 | 0 | 0 | 0.001851 | 0 | 0 | 0.04107 | json |
| t8_x12_u0_b81 | 8 | 12 | 0 | 81 | ![]() |
eql(pow(D,D),P) | 7149 | 65449701 | o2(o2(x,x),x) | true | 57199 | 57199 | 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 |
| t8_x12_u0_b82 | 8 | 12 | 0 | 82 | ![]() |
eql(mod(D,D),P) | 7150 | 65449702 | o2(o2(x,x),x) | true | 57207 | 57207 | 0.03789 | 0.09375 | 0.03789 | 0.02718 | 0.1649 | 0 | 0.9997 | 0.9997 | 1 | 0.5743 | 0.03542 | 0 | 0.04401 | 1 | 1 | 0 | 0.1149 | 0.08143 | 0.03349 | 0.183 | 4.159 | 0.9997 | 1.303 | 4.226 | 1 | 1 | 0 | 0 | 0.01778 | 0 | 0 | 0.6541 | json |
| t8_x12_u0_b83 | 8 | 12 | 0 | 83 | ![]() |
eql(lrg(D,D),P) | 7151 | 65449703 | o2(o2(x,x),x) | true | 57215 | 57215 | 0.0625 | 0.125 | 0.0625 | 0.04507 | 0.2123 | 0 | 0.9997 | 0.9997 | 1 | 0.8126 | 0.0007059 | 0 | 0.007934 | 1 | 1 | -9.461e-10 | 0.00003241 | 0.001855 | 0.0006433 | 0.02536 | 3.197 | 0.1169 | 0.01566 | 0.0007193 | 1 | 1 | 0 | 0 | 0.001851 | 0 | 0 | 0.04107 | json |
| t8_x12_u0_b84 | 8 | 12 | 0 | 84 | ![]() |
eql(eql(D,D),P) | 7152 | 65449704 | o2(o2(x,x),x) | true | 57223 | 57223 | 0.0625 | 0.125 | 0.0625 | 0.04507 | 0.2123 | 0 | 0.9997 | 0.9997 | 1 | 0.8126 | 0.0007059 | 0 | 0.007934 | 1 | 1 | -9.461e-10 | 0.00003241 | 0.001855 | 0.0006433 | 0.02536 | 3.197 | 0.1169 | 0.01566 | 0.0007193 | 1 | 1 | 0 | 0 | 0.001851 | 0 | 0 | 0.04107 | json |
| t8_x12_u0_b85 | 8 | 12 | 0 | 85 | ![]() |
eql(min(D,D),P) | 7153 | 65449705 | o2(o2(x,x),x) | true | 57231 | 57231 | 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 |
| t8_x12_u0_b86 | 8 | 12 | 0 | 86 | ![]() |
eql(dot(D,D),P) | 7154 | 65449706 | o2(o2(x,x),x) | true | 57239 | 57239 | 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 |
| t8_x12_u0_b87 | 8 | 12 | 0 | 87 | ![]() |
eql(dst(D,D),P) | 7155 | 65449707 | o2(o2(x,x),x) | true | 57247 | 57247 | 0.0625 | 0.125 | 0.0625 | 0.04507 | 0.2123 | 0 | 0.9997 | 0.9997 | 1 | 0.8126 | 0.0007059 | 0 | 0.007934 | 1 | 1 | -9.461e-10 | 0.00003241 | 0.001855 | 0.0006433 | 0.02536 | 3.197 | 0.1169 | 0.01566 | 0.0007193 | 1 | 1 | 0 | 0 | 0.001851 | 0 | 0 | 0.04107 | json |
| t8_x12_u0_b88 | 8 | 12 | 0 | 88 | ![]() |
min(add(D,D),P) | 7156 | 65449708 | o2(o2(x,x),x) | true | 57255 | 57255 | -0.5045 | 0.2188 | 0.5871 | 0.253 | 0.5029 | -1 | 0.2908 | 1.291 | 1 | 2.82 | 0.003818 | 0 | 0.04035 | 1 | 1 | 0.0003163 | 0.0005595 | 0.01539 | 0.002189 | 0.04679 | 1.159 | 0.1458 | 0.01509 | 0.002212 | 1 | 1 | 0 | 0 | 0.007824 | 0 | 0 | 0.03093 | json |
| t8_x12_u0_b89 | 8 | 12 | 0 | 89 | ![]() |
min(sub(D,D),P) | 7157 | 65449709 | o2(o2(x,x),x) | true | 57263 | 57263 | -0.4688 | 0 | 0.4688 | 0.2423 | 0.4922 | -1 | 0 | 1 | 1 | 1.406 | 0.0003529 | 0 | 0.003968 | 1 | 1 | 4.731e-10 | 0.00001619 | 0.0009276 | 0.0003372 | 0.01836 | 4.628 | 0.1169 | 0.001457 | 0.00006684 | 1 | 1 | 0 | 0 | 0.0009255 | 0 | 0 | 0.00382 | json |
| t8_x12_u0_b90 | 8 | 12 | 0 | 90 | ![]() |
min(mlt(D,D),P) | 7158 | 65449710 | o2(o2(x,x),x) | true | 57271 | 57271 | -0.4129 | 0.5 | 0.5246 | 0.3015 | 0.5491 | -1 | 0.2473 | 1.247 | 1 | 2.328 | 0.0009208 | 0 | 0.01857 | 1 | 1 | -0.0001202 | 0.0001035 | 0.006861 | 0.0005757 | 0.02399 | 1.292 | 0.1169 | 0.003054 | 0.0003434 | 1 | 1 | 0 | 0 | 0.001975 | 0 | 0 | 0.00655 | json |
| t8_x12_u0_b91 | 8 | 12 | 0 | 91 | ![]() |
min(div(D,D),P) | 7159 | 65449711 | o2(o2(x,x),x) | true | 57279 | 57279 | 0 | 0.5 | 0.9375 | 0.924 | 0.9612 | -1 | 1 | 2 | 1 | 1.813 | 0.0007059 | 0 | 0.007937 | 1 | 1 | 3.69e-8 | 0.00003235 | 0.001851 | 0.0006432 | 0.02536 | 3.195 | 0.1169 | 0.0007639 | 0.00003501 | 1 | 1 | 0 | 0 | 0.001851 | 0 | 0 | 0.002003 | json |
| t8_x12_u0_b92 | 8 | 12 | 0 | 92 | ![]() |
min(pow(D,D),P) | 7160 | 65449712 | o2(o2(x,x),x) | true | 57287 | 57287 | -0.01269 | 0.5 | 0.9248 | 0.9008 | 0.9491 | -1 | 1 | 2 | 1 | 2.214 | 0.001552 | 0 | 0.01753 | 1 | 1 | -1.892e-9 | 0.001109 | 0.01349 | 0.001245 | 0.03528 | 2.013 | 0.1252 | 0.001723 | 0.001231 | 1 | 1 | 0 | 0 | 0.003085 | 0 | 0 | 0.003425 | json |
| t8_x12_u0_b93 | 8 | 12 | 0 | 93 | ![]() |
min(mod(D,D),P) | 7161 | 65449713 | o2(o2(x,x),x) | true | 57295 | 57295 | -0.4752 | 0.1094 | 0.5207 | 0.2499 | 0.4999 | -1 | 0.2729 | 1.273 | 1 | 2.444 | 0.01945 | 0 | 0.07409 | 1 | 1 | -0.0003694 | 0.04666 | 0.1424 | 0.01396 | 0.1182 | 1.595 | 0.5235 | 0.07784 | 0.1867 | 1 | 1 | 0 | 0 | 0.01547 | 0 | 0 | 0.06189 | json |
| t8_x12_u0_b94 | 8 | 12 | 0 | 94 | ![]() |
min(lrg(D,D),P) | 7162 | 65449714 | o2(o2(x,x),x) | true | 57303 | 57303 | -0.4688 | 0 | 0.4688 | 0.2423 | 0.4922 | -1 | 0 | 1 | 1 | 1.406 | 0.0003529 | 0 | 0.003968 | 1 | 1 | 4.731e-10 | 0.00001619 | 0.0009276 | 0.0003372 | 0.01836 | 4.628 | 0.1169 | 0.001457 | 0.00006684 | 1 | 1 | 0 | 0 | 0.0009255 | 0 | 0 | 0.00382 | json |
| t8_x12_u0_b95 | 8 | 12 | 0 | 95 | ![]() |
min(eql(D,D),P) | 7163 | 65449715 | o2(o2(x,x),x) | true | 57311 | 57311 | 0 | 0.5 | 0.9375 | 0.924 | 0.9612 | -1 | 1 | 2 | 1 | 1.813 | 0.0007059 | 0 | 0.007937 | 1 | 1 | 0 | 0.00003235 | 0.001851 | 0.0006432 | 0.02536 | 3.195 | 0.1169 | 0.0007639 | 0.00003501 | 1 | 1 | 0 | 0 | 0.001851 | 0 | 0 | 0.002003 | json |
| t8_x12_u0_b96 | 8 | 12 | 0 | 96 | ![]() |
min(min(D,D),P) | 7164 | 65449716 | o2(o2(x,x),x) | true | 57319 | 57319 | -0.4866 | 0.2188 | 0.5279 | 0.2404 | 0.4903 | -1 | 0.1454 | 1.145 | 1 | 2.671 | 0.00115 | 0 | 0.02195 | 1 | 1 | 0.0001582 | 0.000139 | 0.007881 | 0.0006688 | 0.02586 | 1.178 | 0.1105 | 0.004785 | 0.0005782 | 1 | 1 | 0 | 0 | 0.002476 | 0 | 0 | 0.0103 | json |
| t8_x12_u0_b97 | 8 | 12 | 0 | 97 | ![]() |
min(dot(D,D),P) | 7165 | 65449717 | o2(o2(x,x),x) | true | 57327 | 57327 | -0.3572 | 0.5 | 0.5803 | 0.3677 | 0.6064 | -1 | 0.4946 | 1.495 | 1 | 2.86 | 0.0009288 | 0.0005765 | 0.02651 | 0.234 | 1 | -0.0002327 | 0.000194 | 0.008582 | 0.0008023 | 0.02832 | 1.069 | 0.1169 | 0.004094 | 0.0005277 | 1 | 1 | 0 | 0 | 0.003069 | 0 | 0 | 0.008348 | json |
| t8_x12_u0_b98 | 8 | 12 | 0 | 98 | ![]() |
min(dst(D,D),P) | 7166 | 65449718 | o2(o2(x,x),x) | true | 57335 | 57335 | -0.4688 | 0 | 0.4688 | 0.2423 | 0.4922 | -1 | 0 | 1 | 1 | 1.406 | 0.0003529 | 0 | 0.003968 | 1 | 1 | 4.731e-10 | 0.00001619 | 0.0009276 | 0.0003372 | 0.01836 | 4.628 | 0.1169 | 0.001457 | 0.00006684 | 1 | 1 | 0 | 0 | 0.0009255 | 0 | 0 | 0.00382 | json |
| t8_x12_u0_b99 | 8 | 12 | 0 | 99 | ![]() |
dot(add(D,D),P) | 7167 | 65449719 | o2(o2(x,x),x) | true | 57343 | 57343 | -0.2935 | 0.3389 | 0.7463 | 0.5778 | 0.7601 | -1 | 1 | 2 | 1 | 3.716 | 0.063 | 0.063 | 0.2348 | 0.00001005 | 1 | 0.001714 | 0.08068 | 0.1579 | 0.07089 | 0.2663 | 1.134 | 1.226 | 0.2181 | 0.1396 | 1 | 1 | 0 | 0 | 0.164 | 0 | 0 | 0.2839 | json |
| t8_x12_u0_b100 | 8 | 12 | 0 | 100 | ![]() |
dot(sub(D,D),P) | 7168 | 65449720 | o2(o2(x,x),x) | true | 57351 | 57351 | 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 |
| t8_x12_u0_b101 | 8 | 12 | 0 | 101 | ![]() |
dot(mlt(D,D),P) | 7169 | 65449721 | o2(o2(x,x),x) | true | 57359 | 57359 | 1.364e-8 | 0.498 | 0.5792 | 0.47 | 0.6856 | -1 | 1 | 2 | 1 | 4.484 | 0.01554 | 0.01554 | 0.1298 | -0.0000264 | 1 | -3.358e-9 | 0.01102 | 0.06551 | 0.01422 | 0.1192 | 0.9184 | 0.5422 | 0.06611 | 0.02344 | 1 | 1 | 0 | 0 | 0.0419 | 0 | 0 | 0.08914 | json |
| t8_x12_u0_b102 | 8 | 12 | 0 | 102 | ![]() |
dot(div(D,D),P) | 7170 | 65449722 | o2(o2(x,x),x) | true | 57367 | 57367 | -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 |
| t8_x12_u0_b103 | 8 | 12 | 0 | 103 | ![]() |
dot(pow(D,D),P) | 7171 | 65449723 | o2(o2(x,x),x) | true | 57375 | 57375 | -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 |
| t8_x12_u0_b104 | 8 | 12 | 0 | 104 | ![]() |
dot(mod(D,D),P) | 7172 | 65449724 | o2(o2(x,x),x) | true | 57383 | 57383 | -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 |
| t8_x12_u0_b105 | 8 | 12 | 0 | 105 | ![]() |
dot(lrg(D,D),P) | 7173 | 65449725 | o2(o2(x,x),x) | true | 57391 | 57391 | 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 |
| t8_x12_u0_b106 | 8 | 12 | 0 | 106 | ![]() |
dot(eql(D,D),P) | 7174 | 65449726 | o2(o2(x,x),x) | true | 57399 | 57399 | -1.583e-8 | 0.498 | 0.9392 | 0.9217 | 0.96 | -1 | 1 | 2 | 1 | 1.917 | 0.0006889 | 0.0006889 | 0.01208 | 4.225e-7 | 1 | -1.164e-10 | 0.0002289 | 0.003184 | 0.001231 | 0.03509 | 2.904 | 0.1653 | 0.001495 | 0.0002483 | 1 | 1 | 0 | 0 | 0.003512 | 0 | 0 | 0.003811 | json |
| t8_x12_u0_b107 | 8 | 12 | 0 | 107 | ![]() |
dot(min(D,D),P) | 7175 | 65449727 | o2(o2(x,x),x) | true | 57407 | 57407 | -0.2397 | 0.3389 | 0.5376 | 0.3418 | 0.5846 | -1 | 1 | 2 | 1 | 4.686 | 0.02744 | 0.02744 | 0.1913 | -0.00001704 | 1 | 0.002662 | 0.0158 | 0.08103 | 0.0183 | 0.1353 | 0.7073 | 0.613 | 0.1606 | 0.04621 | 1 | 1 | 0 | 0 | 0.06843 | 0 | 0 | 0.2002 | json |
| t8_x12_u0_b108 | 8 | 12 | 0 | 108 | ![]() |
dot(dot(D,D),P) | 7176 | 65449728 | o2(o2(x,x),x) | true | 57415 | 57415 | 1.514e-9 | 0.498 | 0.6781 | 0.5952 | 0.7715 | -1 | 1 | 2 | 1 | 3.966 | 0.007846 | 0.007846 | 0.07393 | 1.781e-7 | 1 | -3.202e-9 | 0.01067 | 0.0498 | 0.01023 | 0.1011 | 1.368 | 0.6224 | 0.02636 | 0.01792 | 1 | 1 | 0 | 0 | 0.0258 | 0 | 0 | 0.04334 | json |
| t8_x12_u0_b109 | 8 | 12 | 0 | 109 | ![]() |
dot(dst(D,D),P) | 7177 | 65449729 | o2(o2(x,x),x) | true | 57423 | 57423 | 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 |
| t8_x12_u0_b110 | 8 | 12 | 0 | 110 | ![]() |
dst(add(D,D),P) | 7178 | 65449730 | o2(o2(x,x),x) | true | 57431 | 57431 | 0.9993 | 1 | 0.9993 | 0.0003277 | 0.0181 | 0.09005 | 1 | 0.91 | 1 | 0.03152 | 0.00003757 | 0.00003757 | 0.0004827 | 1.452e-7 | 0 | 4.881e-11 | 0.00005065 | 0.0004349 | 0.0000748 | 0.008649 | 17.92 | 0.2558 | 0.2293 | 0.1545 | 1 | 1 | 0 | 0 | 0.0002326 | 0 | 0 | 0.7097 | json |
| t8_x12_u0_b111 | 8 | 12 | 0 | 111 | ![]() |
dst(sub(D,D),P) | 7179 | 65449731 | o2(o2(x,x),x) | true | 57439 | 57439 | 0.9964 | 1 | 0.9964 | 0.002289 | 0.04784 | 0.000582 | 1 | 0.9994 | 1 | 0.09109 | 0.00003966 | 0.00003966 | 0.0008105 | 5.503e-7 | 0 | -4.881e-11 | 0.00001004 | 0.0002297 | 0.00007859 | 0.008865 | 10.94 | 0.1294 | 0.03466 | 0.004388 | 1 | 1 | 0 | 0 | 0.0002733 | 0 | 0 | 0.1194 | json |
| t8_x12_u0_b112 | 8 | 12 | 0 | 112 | ![]() |
dst(mlt(D,D),P) | 7180 | 65449732 | o2(o2(x,x),x) | true | 57447 | 57447 | 0.9971 | 1 | 0.9971 | 0.001852 | 0.04304 | 0.001416 | 1 | 0.9986 | 1 | 0.07873 | 0.00003908 | 0.00003908 | 0.0007415 | 4.654e-8 | 0 | 9.011e-11 | 0.00001181 | 0.0002407 | 0.00007758 | 0.008808 | 11.88 | 0.1446 | 0.04221 | 0.006375 | 1 | 1 | 0 | 0 | 0.0002679 | 0 | 0 | 0.1447 | json |
| t8_x12_u0_b113 | 8 | 12 | 0 | 113 | ![]() |
dst(div(D,D),P) | 7181 | 65449733 | o2(o2(x,x),x) | true | 57455 | 57455 | -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 |
| t8_x12_u0_b114 | 8 | 12 | 0 | 114 | ![]() |
dst(pow(D,D),P) | 7182 | 65449734 | o2(o2(x,x),x) | true | 57463 | 57463 | -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 |
| t8_x12_u0_b115 | 8 | 12 | 0 | 115 | ![]() |
dst(mod(D,D),P) | 7183 | 65449735 | o2(o2(x,x),x) | true | 57471 | 57471 | -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 |
| t8_x12_u0_b116 | 8 | 12 | 0 | 116 | ![]() |
dst(lrg(D,D),P) | 7184 | 65449736 | o2(o2(x,x),x) | true | 57479 | 57479 | 0.9964 | 1 | 0.9964 | 0.002289 | 0.04784 | 0.000582 | 1 | 0.9994 | 1 | 0.09109 | 0.00003966 | 0.00003966 | 0.0008105 | 5.503e-7 | 0 | -4.881e-11 | 0.00001004 | 0.0002297 | 0.00007859 | 0.008865 | 10.94 | 0.1294 | 0.03466 | 0.004388 | 1 | 1 | 0 | 0 | 0.0002733 | 0 | 0 | 0.1194 | json |
| t8_x12_u0_b117 | 8 | 12 | 0 | 117 | ![]() |
dst(eql(D,D),P) | 7185 | 65449737 | o2(o2(x,x),x) | true | 57487 | 57487 | 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 |
| t8_x12_u0_b118 | 8 | 12 | 0 | 118 | ![]() |
dst(min(D,D),P) | 7186 | 65449738 | o2(o2(x,x),x) | true | 57495 | 57495 | 0.9987 | 1 | 0.9987 | 0.0006951 | 0.02637 | 0.04531 | 1 | 0.9547 | 1 | 0.04216 | 0.00003371 | 0.00003371 | 0.0005271 | 1.079e-7 | 0 | -1.314e-11 | 0.00002519 | 0.0003152 | 0.00006724 | 0.0082 | 15.56 | 0.1796 | 0.097 | 0.03624 | 1 | 1 | 0 | 0 | 0.0002218 | 0 | 0 | 0.3191 | json |
| t8_x12_u0_b119 | 8 | 12 | 0 | 119 | ![]() |
dst(dot(D,D),P) | 7187 | 65449739 | o2(o2(x,x),x) | true | 57503 | 57503 | 0.9978 | 1 | 0.9978 | 0.001265 | 0.03557 | 0.004155 | 1 | 0.9958 | 1 | 0.07306 | 0.00003692 | 0.00003692 | 0.0006608 | 6.898e-7 | 0 | -3.567e-11 | 0.0000185 | 0.0002711 | 0.00007342 | 0.008569 | 12.97 | 0.2073 | 0.05837 | 0.01462 | 1 | 1 | 0 | 0 | 0.0002487 | 0 | 0 | 0.1966 | json |
| t8_x12_u0_b120 | 8 | 12 | 0 | 120 | ![]() |
dst(dst(D,D),P) | 7188 | 65449740 | o2(o2(x,x),x) | true | 57511 | 57511 | 0.9964 | 1 | 0.9964 | 0.002289 | 0.04784 | 0.000582 | 1 | 0.9994 | 1 | 0.09109 | 0.00003966 | 0.00003966 | 0.0008105 | 5.503e-7 | 0 | -4.881e-11 | 0.00001004 | 0.0002297 | 0.00007859 | 0.008865 | 10.94 | 0.1294 | 0.03466 | 0.004388 | 1 | 1 | 0 | 0 | 0.0002733 | 0 | 0 | 0.1194 | json |
| t8_x13_u0_b0 | 8 | 13 | 0 | 0 | ![]() |
add(add(D,D),D) | 7189 | 65490021 | o2(o2(x,x),x) | true | 57519 | 57519 | 0 | 0.5 | 0.2831 | 0.09743 | 0.3121 | -0.4362 | 0.4362 | 0.8725 | 1 | 3.156 | 0.01469 | 0 | 0.1083 | 1 | 1 | 0 | 0.002306 | 0.04377 | 0.002973 | 0.05453 | 0.5036 | 0.1858 | 0.1508 | 0.02367 | 1 | 1 | 0 | 0 | 0.02836 | 0 | 0 | 0.2911 | json |
| t8_x13_u0_b1 | 8 | 13 | 0 | 1 | ![]() |
add(sub(D,D),D) | 7190 | 65490022 | o2(o2(x,x),x) | true | 57527 | 57527 | 0 | 0.5 | 0.09436 | 0.01082 | 0.104 | -0.1454 | 0.1454 | 0.2908 | 1 | 2.561 | 0.001632 | 0 | 0.03609 | 1 | 1 | 0 | 0.0002563 | 0.01459 | 0.0003304 | 0.01818 | 0.5036 | 0.06192 | 0.1508 | 0.02368 | 1 | 1 | 0 | 0 | 0.003151 | 0 | 0 | 0.2912 | json |
| t8_x13_u0_b2 | 8 | 13 | 0 | 2 | ![]() |
add(mlt(D,D),D) | 7191 | 65490023 | o2(o2(x,x),x) | true | 57535 | 57535 | 0.119 | 0.6875 | 0.1493 | 0.01888 | 0.1374 | -0.08161 | 0.3069 | 0.3885 | 1 | 2.703 | 0.002872 | 0 | 0.04837 | 1 | 1 | -0.0002405 | 0.0004494 | 0.0186 | 0.0005334 | 0.0231 | 0.4775 | 0.0782 | 0.1521 | 0.0238 | 1 | 1 | 0 | 0 | 0.005512 | 0 | 0 | 0.2919 | json |
| t8_x13_u0_b3 | 8 | 13 | 0 | 3 | ![]() |
add(div(D,D),D) | 7192 | 65490024 | o2(o2(x,x),x) | true | 57543 | 57543 | 0.9529 | 1 | 0.9529 | 0.003185 | 0.05644 | 0.8546 | 1 | 0.1454 | 1 | 1.329 | 0.0007155 | 0 | 0.01812 | 1 | 1 | 0.0001582 | 0.0003006 | 0.01323 | 0.0003869 | 0.01967 | 1.085 | 0.05567 | 0.2246 | 0.09439 | 1 | 1 | 0 | 0 | 0.0013 | 0 | 0 | 0.4081 | json |
| t8_x13_u0_b4 | 8 | 13 | 0 | 4 | ![]() |
add(pow(D,D),D) | 7193 | 65490025 | o2(o2(x,x),x) | true | 57551 | 57551 | -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 |
| t8_x13_u0_b5 | 8 | 13 | 0 | 5 | ![]() |
add(mod(D,D),D) | 7194 | 65490026 | o2(o2(x,x),x) | true | 57559 | 57559 | -2.274e-13 | 0.5 | 0.1982 | 0.05139 | 0.2267 | -0.3508 | 0.3508 | 0.7017 | 1 | 3.156 | 0.04348 | 0 | 0.1594 | 1 | 1 | 0 | 0.09598 | 0.2822 | 0.01808 | 0.1345 | 0.8438 | 0.5779 | 0.846 | 1.868 | 1 | 1 | 0 | 0 | 0.03883 | 0 | 0 | 0.7556 | json |
| t8_x13_u0_b6 | 8 | 13 | 0 | 6 | ![]() |
add(lrg(D,D),D) | 7195 | 65490027 | o2(o2(x,x),x) | true | 57567 | 57567 | 0 | 0.5 | 0.09436 | 0.01082 | 0.104 | -0.1454 | 0.1454 | 0.2908 | 1 | 2.561 | 0.001632 | 0 | 0.0361 | 1 | 1 | 0 | 0.0002563 | 0.01459 | 0.0003304 | 0.01818 | 0.5036 | 0.06192 | 0.1508 | 0.02368 | 1 | 1 | 0 | 0 | 0.003151 | 0 | 0 | 0.2912 | json |
| t8_x13_u0_b7 | 8 | 13 | 0 | 7 | ![]() |
add(eql(D,D),D) | 7196 | 65490028 | o2(o2(x,x),x) | true | 57575 | 57575 | 0.9529 | 1 | 0.9529 | 0.003185 | 0.05644 | 0.8546 | 1 | 0.1454 | 1 | 1.329 | 0.0007155 | 0 | 0.01812 | 1 | 1 | 0.0001582 | 0.0003006 | 0.01323 | 0.0003869 | 0.01967 | 1.085 | 0.05567 | 0.2246 | 0.09439 | 1 | 1 | 0 | 0 | 0.0013 | 0 | 0 | 0.4081 | json |
| t8_x13_u0_b8 | 8 | 13 | 0 | 8 | ![]() |
add(min(D,D),D) | 7197 | 65490029 | o2(o2(x,x),x) | true | 57583 | 57583 | 0 | 0.5 | 0.1887 | 0.04329 | 0.2081 | -0.2908 | 0.2908 | 0.5817 | 1 | 2.906 | 0.00653 | 0 | 0.07219 | 1 | 1 | 0 | 0.001025 | 0.02918 | 0.001321 | 0.03635 | 0.5036 | 0.1238 | 0.1508 | 0.02368 | 1 | 1 | 0 | 0 | 0.0126 | 0 | 0 | 0.2912 | json |
| t8_x13_u0_b9 | 8 | 13 | 0 | 9 | ![]() |
add(dot(D,D),D) | 7198 | 65490030 | o2(o2(x,x),x) | true | 57591 | 57591 | 0.2381 | 0.9063 | 0.2458 | 0.02695 | 0.1642 | -0.08036 | 0.5542 | 0.6345 | 1 | 3.355 | 0.002872 | 0.001249 | 0.06111 | 0.3938 | 1 | -0.000481 | 0.0006426 | 0.02103 | 0.0003879 | 0.01969 | 0.3223 | 0.0933 | 0.1529 | 0.02385 | 1 | 1 | 0 | 0 | 0.007905 | 0 | 0 | 0.2933 | json |
| t8_x13_u0_b10 | 8 | 13 | 0 | 10 | ![]() |
add(dst(D,D),D) | 7199 | 65490031 | o2(o2(x,x),x) | true | 57599 | 57599 | 0 | 0.5 | 0.09436 | 0.01082 | 0.104 | -0.1454 | 0.1454 | 0.2908 | 1 | 2.561 | 0.001632 | 0 | 0.03609 | 1 | 1 | 0 | 0.0002563 | 0.01459 | 0.0003304 | 0.01818 | 0.5036 | 0.06192 | 0.1508 | 0.02368 | 1 | 1 | 0 | 0 | 0.003151 | 0 | 0 | 0.2912 | json |



































































































