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 | ||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| t12_x8_u1_b15 | 12 | 8 | 1 | 15 | ![]() |
log(sub(P,pow(R,R))) | 26100 | 97770636 | o1(o2(x,o2(x,x))) | true | 38647 | 38647 | -0.9922 | 0.003906 | 1 | 0.01556 | 0.1248 | -1 | 1 | 2 | 1 | 0.03687 | 0.001008 | 0.001764 | 0.001386 | -0.2727 | 1 | 0 | 0.005795 | 0.002771 | 0.002769 | 0.05262 | 37.97 | 2 | 0.1781 | 0.3723 | 1 | 1 | 0 | 0 | 0.0133 | 0 | 0 | 0.8543 | json |
| t12_x8_u1_b16 | 12 | 8 | 1 | 16 | ![]() |
log(sub(P,mod(R,R))) | 26101 | 97770637 | o1(o2(x,o2(x,x))) | true | 38655 | 38655 | -0.1733 | 0.4293 | 0.9448 | 0.8954 | 0.9462 | -1 | 1 | 2 | 1 | 1.831 | 0.003837 | 0.0003371 | 0.009159 | 0.8385 | 1 | 0.000005236 | 0.007618 | 0.00873 | 0.004087 | 0.06393 | 6.98 | 1.583 | 0.004662 | 0.008508 | 1 | 1 | 0.006209 | 0.03534 | 0.2401 | 0.006935 | 0.03947 | 0.2681 | json |
| t12_x8_u1_b17 | 12 | 8 | 1 | 17 | ![]() |
log(sub(P,lrg(R,R))) | 26102 | 97770638 | o1(o2(x,o2(x,x))) | true | 38663 | 38663 | -0.1739 | 0.4375 | 0.9511 | 0.9053 | 0.9515 | -1 | 1 | 2 | 1 | 1.654 | 0.004186 | 0 | 0.007937 | 1 | 1 | 1.42e-9 | 0.007916 | 0.008917 | 0.004122 | 0.0642 | 8.089 | 1 | 0.004624 | 0.008745 | 1 | 1 | 0.005854 | 0.03284 | 0.2495 | 0.006466 | 0.03627 | 0.2755 | json |
| t12_x8_u1_b18 | 12 | 8 | 1 | 18 | ![]() |
log(sub(P,eql(R,R))) | 26103 | 97770639 | o1(o2(x,o2(x,x))) | true | 38671 | 38671 | -0.2989 | 0.375 | 0.9511 | 0.8461 | 0.9199 | -1 | 1 | 2 | 1 | 1.595 | 0.004186 | 0 | 0.007937 | 1 | 1 | 1.42e-9 | 0.007916 | 0.008917 | 0.004122 | 0.0642 | 8.089 | 1 | 0.004947 | 0.009356 | 1 | 1 | 0.005854 | 0.03284 | 0.2495 | 0.006919 | 0.03881 | 0.2948 | json |
| t12_x8_u1_b19 | 12 | 8 | 1 | 19 | ![]() |
log(sub(P,min(R,R))) | 26104 | 97770640 | o1(o2(x,o2(x,x))) | true | 38679 | 38679 | -0.1855 | 0.4168 | 0.9538 | 0.9016 | 0.9495 | -1 | 1 | 2 | 1 | 1.814 | 0.003327 | 0.0007236 | 0.01184 | 0.6428 | 1 | 0.00001828 | 0.005858 | 0.008454 | 0.003909 | 0.06252 | 5.28 | 1.497 | 0.004493 | 0.006498 | 1 | 1 | 0.00712 | 0.05123 | 0.2705 | 0.007898 | 0.05682 | 0.3 | json |
| t12_x8_u1_b20 | 12 | 8 | 1 | 20 | ![]() |
log(sub(P,dot(R,R))) | 26105 | 97770641 | o1(o2(x,o2(x,x))) | true | 38687 | 38687 | -0.3071 | 0.3586 | 0.9512 | 0.8382 | 0.9155 | -1 | 1 | 2 | 1 | 1.729 | 0.004932 | 0.001268 | 0.0104 | 0.591 | 1 | -7.659e-7 | 0.01172 | 0.01061 | 0.006098 | 0.07809 | 7.51 | 2.273 | 0.007397 | 0.01399 | 1 | 1 | 0.009174 | 0.05121 | 0.282 | 0.01095 | 0.06109 | 0.3365 | json |
| t12_x8_u1_b21 | 12 | 8 | 1 | 21 | ![]() |
log(sub(P,dst(R,R))) | 26106 | 97770642 | o1(o2(x,o2(x,x))) | true | 38695 | 38695 | -0.1739 | 0.4375 | 0.9511 | 0.9053 | 0.9515 | -1 | 1 | 2 | 1 | 1.654 | 0.004186 | 0 | 0.007937 | 1 | 1 | 1.42e-9 | 0.007916 | 0.008917 | 0.004122 | 0.0642 | 8.089 | 1 | 0.004624 | 0.008745 | 1 | 1 | 0.005854 | 0.03284 | 0.2495 | 0.006466 | 0.03627 | 0.2755 | json |
| t12_x8_u1_b22 | 12 | 8 | 1 | 22 | ![]() |
log(mlt(P,add(R,R))) | 26107 | 97770643 | o1(o2(x,o2(x,x))) | true | 38703 | 38703 | -0.9411 | 0.03249 | 0.9887 | 0.09865 | 0.3141 | -1 | 1 | 2 | 1 | 0.365 | 0.009379 | 0.009739 | 0.01287 | -0.01887 | 1 | -4.037e-8 | 0.03926 | 0.0217 | 0.01895 | 0.1377 | 10.7 | 2.828 | 0.1938 | 0.398 | 1 | 1 | 0.01658 | 0.07259 | 0.1831 | 0.1681 | 0.7359 | 1.856 | json |
| t12_x8_u1_b23 | 12 | 8 | 1 | 23 | ![]() |
log(mlt(P,sub(R,R))) | 26108 | 97770644 | o1(o2(x,o2(x,x))) | true | 38711 | 38711 | -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 |
| t12_x8_u1_b24 | 12 | 8 | 1 | 24 | ![]() |
log(mlt(P,mlt(R,R))) | 26109 | 97770645 | o1(o2(x,o2(x,x))) | true | 38719 | 38719 | -0.6578 | 0.1691 | 0.8837 | 0.4117 | 0.6416 | -1 | 1 | 2 | 1 | 2.171 | 0.004882 | 0.00478 | 0.03786 | 0.0106 | 1 | 0.00005358 | 0.003982 | 0.01719 | 0.008229 | 0.09071 | 2.396 | 0.883 | 0.02347 | 0.009672 | 1 | 1 | 0.0137 | 0.1394 | 0.5106 | 0.03328 | 0.3386 | 1.24 | json |
| t12_x8_u1_b25 | 12 | 8 | 1 | 25 | ![]() |
log(mlt(P,div(R,R))) | 26110 | 97770646 | o1(o2(x,o2(x,x))) | true | 38727 | 38727 | -0.1739 | 0.4375 | 0.9511 | 0.9053 | 0.9515 | -1 | 1 | 2 | 1 | 1.654 | 0.004186 | 1.565e-17 | 0.007937 | 1 | 1 | 1.288e-9 | 0.007916 | 0.008917 | 0.004122 | 0.0642 | 8.089 | 1 | 0.004624 | 0.008745 | 1 | 1 | 0.005854 | 0.03284 | 0.2495 | 0.006466 | 0.03627 | 0.2755 | json |
| t12_x8_u1_b26 | 12 | 8 | 1 | 26 | ![]() |
log(mlt(P,pow(R,R))) | 26111 | 97770647 | o1(o2(x,o2(x,x))) | true | 38735 | 38735 | -0.9922 | 0.003906 | 1 | 0.01556 | 0.1248 | -1 | 1 | 2 | 1 | 0.03687 | 0.001008 | 0.001764 | 0.001386 | -0.2727 | 1 | 0 | 0.005795 | 0.002771 | 0.002769 | 0.05262 | 37.97 | 2 | 0.1781 | 0.3723 | 1 | 1 | 0 | 0 | 0.0133 | 0 | 0 | 0.8543 | json |
| t12_x8_u1_b27 | 12 | 8 | 1 | 27 | ![]() |
log(mlt(P,mod(R,R))) | 26112 | 97770648 | o1(o2(x,o2(x,x))) | true | 38743 | 38743 | -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 |
| t12_x8_u1_b28 | 12 | 8 | 1 | 28 | ![]() |
log(mlt(P,lrg(R,R))) | 26113 | 97770649 | o1(o2(x,o2(x,x))) | true | 38751 | 38751 | -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 |
| t12_x8_u1_b29 | 12 | 8 | 1 | 29 | ![]() |
log(mlt(P,eql(R,R))) | 26114 | 97770650 | o1(o2(x,o2(x,x))) | true | 38759 | 38759 | -0.1739 | 0.4375 | 0.9511 | 0.9053 | 0.9515 | -1 | 1 | 2 | 1 | 1.654 | 0.004186 | 0 | 0.007937 | 1 | 1 | 1.42e-9 | 0.007916 | 0.008917 | 0.004122 | 0.0642 | 8.089 | 1 | 0.004624 | 0.008745 | 1 | 1 | 0.005854 | 0.03284 | 0.2495 | 0.006466 | 0.03627 | 0.2755 | json |
| t12_x8_u1_b30 | 12 | 8 | 1 | 30 | ![]() |
log(mlt(P,min(R,R))) | 26115 | 97770651 | o1(o2(x,o2(x,x))) | true | 38767 | 38767 | -0.9588 | 0.0193 | 0.9828 | 0.05929 | 0.2435 | -1 | 1 | 2 | 1 | 0.3625 | 0.005665 | 0.007005 | 0.01009 | -0.1057 | 1 | -4.022e-8 | 0.02598 | 0.01628 | 0.01257 | 0.1121 | 11.11 | 2.828 | 0.2137 | 0.4381 | 1 | 1 | 0.009747 | 0.04111 | 0.1029 | 0.1644 | 0.6934 | 1.736 | json |
| t12_x8_u1_b31 | 12 | 8 | 1 | 31 | ![]() |
log(mlt(P,dot(R,R))) | 26116 | 97770652 | o1(o2(x,o2(x,x))) | true | 38775 | 38775 | -0.2218 | 0.408 | 0.9264 | 0.8529 | 0.9235 | -1 | 1 | 2 | 1 | 1.994 | 0.00581 | 0.00109 | 0.017 | 0.6841 | 1 | -0.000005977 | 0.01001 | 0.01244 | 0.006604 | 0.08127 | 4.781 | 1.614 | 0.00809 | 0.01174 | 1 | 1 | 0.00749 | 0.04984 | 0.2774 | 0.008782 | 0.05844 | 0.3252 | json |
| t12_x8_u1_b32 | 12 | 8 | 1 | 32 | ![]() |
log(mlt(P,dst(R,R))) | 26117 | 97770653 | o1(o2(x,o2(x,x))) | true | 38783 | 38783 | -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 |
| t12_x8_u1_b33 | 12 | 8 | 1 | 33 | ![]() |
log(div(P,add(R,R))) | 26118 | 97770654 | o1(o2(x,o2(x,x))) | true | 38791 | 38791 | -0.9289 | 0.03767 | 0.9934 | 0.1284 | 0.3583 | -1 | 1 | 2 | 1 | 0.3249 | 0.01265 | 0.01002 | 0.0131 | 0.116 | 1 | -2.215e-10 | 0.04715 | 0.02477 | 0.02249 | 0.15 | 11.44 | 2.828 | 0.1765 | 0.3673 | 1 | 1 | 0.02139 | 0.09119 | 0.245 | 0.1666 | 0.7102 | 1.908 | json |
| t12_x8_u1_b34 | 12 | 8 | 1 | 34 | ![]() |
log(div(P,sub(R,R))) | 26119 | 97770655 | o1(o2(x,o2(x,x))) | true | 38799 | 38799 | -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 |
| t12_x8_u1_b35 | 12 | 8 | 1 | 35 | ![]() |
log(div(P,mlt(R,R))) | 26120 | 97770656 | o1(o2(x,o2(x,x))) | true | 38807 | 38807 | -0.1289 | 0.4375 | 0.9961 | 0.9768 | 0.9883 | -1 | 1 | 2 | 1 | 1.104 | 0.01315 | 0.0000473 | 0.00837 | 0.9928 | 1 | -0.00000968 | 0.02607 | 0.01507 | 0.01312 | 0.1145 | 13.69 | 2 | 0.01351 | 0.02669 | 1 | 1 | 0.01919 | 0.08147 | 0.3339 | 0.01964 | 0.0834 | 0.3418 | json |
| t12_x8_u1_b36 | 12 | 8 | 1 | 36 | ![]() |
log(div(P,div(R,R))) | 26121 | 97770657 | o1(o2(x,o2(x,x))) | true | 38815 | 38815 | -0.1739 | 0.4375 | 0.9511 | 0.9053 | 0.9515 | -1 | 1 | 2 | 1 | 1.654 | 0.004186 | 1.898e-17 | 0.007937 | 1 | 1 | 3.989e-11 | 0.007916 | 0.008917 | 0.004122 | 0.0642 | 8.089 | 1 | 0.004624 | 0.008745 | 1 | 1 | 0.005854 | 0.03284 | 0.2495 | 0.006466 | 0.03627 | 0.2755 | json |
| t12_x8_u1_b37 | 12 | 8 | 1 | 37 | ![]() |
log(div(P,pow(R,R))) | 26122 | 97770658 | o1(o2(x,o2(x,x))) | true | 38823 | 38823 | -0.9922 | 0.003906 | 1 | 0.01556 | 0.1248 | -1 | 1 | 2 | 1 | 0.03687 | 0.001008 | 0.001764 | 0.001386 | -0.2727 | 1 | 0 | 0.005795 | 0.002771 | 0.002769 | 0.05262 | 37.97 | 2 | 0.1781 | 0.3723 | 1 | 1 | 0 | 0 | 0.0133 | 0 | 0 | 0.8543 | json |
| t12_x8_u1_b38 | 12 | 8 | 1 | 38 | ![]() |
log(div(P,mod(R,R))) | 26123 | 97770659 | o1(o2(x,o2(x,x))) | true | 38831 | 38831 | -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 |
| t12_x8_u1_b39 | 12 | 8 | 1 | 39 | ![]() |
log(div(P,lrg(R,R))) | 26124 | 97770660 | o1(o2(x,o2(x,x))) | true | 38839 | 38839 | -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 |
| t12_x8_u1_b40 | 12 | 8 | 1 | 40 | ![]() |
log(div(P,eql(R,R))) | 26125 | 97770661 | o1(o2(x,o2(x,x))) | true | 38847 | 38847 | -0.1739 | 0.4375 | 0.9511 | 0.9053 | 0.9515 | -1 | 1 | 2 | 1 | 1.654 | 0.004186 | 0 | 0.007937 | 1 | 1 | 1.42e-9 | 0.007916 | 0.008917 | 0.004122 | 0.0642 | 8.089 | 1 | 0.004624 | 0.008745 | 1 | 1 | 0.005854 | 0.03284 | 0.2495 | 0.006466 | 0.03627 | 0.2755 | json |
| t12_x8_u1_b41 | 12 | 8 | 1 | 41 | ![]() |
log(div(P,min(R,R))) | 26126 | 97770662 | o1(o2(x,o2(x,x))) | true | 38855 | 38855 | -0.9229 | 0.03906 | 0.999 | 0.1467 | 0.383 | -1 | 1 | 2 | 1 | 0.2651 | 0.01437 | 0.01218 | 0.01366 | 0.08266 | 1 | 4.13e-11 | 0.05539 | 0.02717 | 0.02637 | 0.1624 | 11.89 | 2.828 | 0.181 | 0.3777 | 1 | 1 | 0.02565 | 0.1064 | 0.2934 | 0.1749 | 0.7257 | 2.001 | json |
| t12_x8_u1_b42 | 12 | 8 | 1 | 42 | ![]() |
log(div(P,dot(R,R))) | 26127 | 97770663 | o1(o2(x,o2(x,x))) | true | 38863 | 38863 | -0.177 | 0.4209 | 0.9558 | 0.908 | 0.9529 | -1 | 1 | 2 | 1 | 1.726 | 0.00522 | 0.0002169 | 0.01072 | 0.9202 | 1 | 0.000001177 | 0.009605 | 0.01014 | 0.005325 | 0.07297 | 6.805 | 2 | 0.005988 | 0.01058 | 1 | 1 | 0.008855 | 0.05144 | 0.2798 | 0.009752 | 0.05666 | 0.3081 | json |
| t12_x8_u1_b43 | 12 | 8 | 1 | 43 | ![]() |
log(div(P,dst(R,R))) | 26128 | 97770664 | o1(o2(x,o2(x,x))) | true | 38871 | 38871 | -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 |
| t12_x8_u1_b44 | 12 | 8 | 1 | 44 | ![]() |
log(pow(P,add(R,R))) | 26129 | 97770665 | o1(o2(x,o2(x,x))) | true | 38879 | 38879 | -0.5972 | 0.1899 | 0.8575 | 0.4608 | 0.6788 | -1 | 1 | 2 | 1 | 2.372 | 0.009206 | 0.005634 | 0.04453 | 0.2407 | 1 | -0.00001848 | 0.01133 | 0.02418 | 0.01285 | 0.1134 | 2.545 | 1 | 0.03221 | 0.02459 | 1 | 1 | 0.02108 | 0.1833 | 0.505 | 0.04576 | 0.3978 | 1.096 | json |
| t12_x8_u1_b45 | 12 | 8 | 1 | 45 | ![]() |
log(pow(P,sub(R,R))) | 26130 | 97770666 | o1(o2(x,o2(x,x))) | true | 38887 | 38887 | 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 |
| t12_x8_u1_b46 | 12 | 8 | 1 | 46 | ![]() |
log(pow(P,mlt(R,R))) | 26131 | 97770667 | o1(o2(x,o2(x,x))) | true | 38895 | 38895 | -0.3758 | 0.4342 | 0.7492 | 0.5506 | 0.742 | -1 | 1 | 2 | 1 | 2.632 | 0.004565 | 0.0005969 | 0.01998 | 0.7687 | 1 | -0.00001886 | 0.008099 | 0.01245 | 0.004761 | 0.069 | 3.453 | 1 | 0.009376 | 0.01471 | 1 | 1 | 0.00702 | 0.04423 | 0.2043 | 0.01275 | 0.08034 | 0.3711 | json |
| t12_x8_u1_b47 | 12 | 8 | 1 | 47 | ![]() |
log(pow(P,div(R,R))) | 26132 | 97770668 | o1(o2(x,o2(x,x))) | true | 38903 | 38903 | -0.1739 | 0.4375 | 0.9511 | 0.9053 | 0.9515 | -1 | 1 | 2 | 1 | 1.654 | 0.004186 | 1.447e-17 | 0.007937 | 1 | 1 | 1.219e-9 | 0.007916 | 0.008917 | 0.004122 | 0.0642 | 8.089 | 1 | 0.004624 | 0.008745 | 1 | 1 | 0.005854 | 0.03284 | 0.2495 | 0.006466 | 0.03627 | 0.2755 | json |
| t12_x8_u1_b48 | 12 | 8 | 1 | 48 | ![]() |
log(pow(P,pow(R,R))) | 26133 | 97770669 | o1(o2(x,o2(x,x))) | true | 38911 | 38911 | -0.9922 | 0.003906 | 1 | 0.01556 | 0.1248 | -1 | 1 | 2 | 1 | 0.03687 | 0.001008 | 0.001764 | 0.001386 | -0.2727 | 1 | 0 | 0.005795 | 0.002771 | 0.002769 | 0.05262 | 37.97 | 2 | 0.1781 | 0.3723 | 1 | 1 | 0 | 0 | 0.0133 | 0 | 0 | 0.8543 | json |
| t12_x8_u1_b49 | 12 | 8 | 1 | 49 | ![]() |
log(pow(P,mod(R,R))) | 26134 | 97770670 | o1(o2(x,o2(x,x))) | true | 38919 | 38919 | -0.5594 | 0.09698 | 0.5973 | 0.2694 | 0.519 | -1 | 1 | 2 | 1 | 1.881 | 0.004274 | 0.0003433 | 0.01093 | 0.8513 | 1 | -0.000001488 | 0.00802 | 0.009779 | 0.004499 | 0.06708 | 6.136 | 1 | 0.01714 | 0.02977 | 1 | 1 | 0.006422 | 0.03575 | 0.1269 | 0.02384 | 0.1327 | 0.4713 | json |
| t12_x8_u1_b50 | 12 | 8 | 1 | 50 | ![]() |
log(pow(P,lrg(R,R))) | 26135 | 97770671 | o1(o2(x,o2(x,x))) | true | 38927 | 38927 | -0.5625 | 0 | 0.5625 | 0.2461 | 0.4961 | -1 | 0 | 1 | 1 | 0.9887 | 0.003968 | 0 | 0.003968 | 1 | 1 | 0 | 0.007937 | 0.007937 | 0.003952 | 0.06287 | 15.84 | 1 | 0.01612 | 0.03225 | 1 | 1 | 0.005263 | 0.02105 | 0.08421 | 0.02139 | 0.08555 | 0.3422 | json |
| t12_x8_u1_b51 | 12 | 8 | 1 | 51 | ![]() |
log(pow(P,eql(R,R))) | 26136 | 97770672 | o1(o2(x,o2(x,x))) | true | 38935 | 38935 | -0.1739 | 0.4375 | 0.9511 | 0.9053 | 0.9515 | -1 | 1 | 2 | 1 | 1.654 | 0.004186 | 0 | 0.007937 | 1 | 1 | 1.42e-9 | 0.007916 | 0.008917 | 0.004122 | 0.0642 | 8.089 | 1 | 0.004624 | 0.008745 | 1 | 1 | 0.005854 | 0.03284 | 0.2495 | 0.006466 | 0.03627 | 0.2755 | json |
| t12_x8_u1_b52 | 12 | 8 | 1 | 52 | ![]() |
log(pow(P,min(R,R))) | 26137 | 97770673 | o1(o2(x,o2(x,x))) | true | 38943 | 38943 | -0.5817 | 0.1892 | 0.7702 | 0.3736 | 0.6112 | -1 | 1 | 2 | 1 | 2.84 | 0.006185 | 0.002329 | 0.03557 | 0.4528 | 1 | -0.00000425 | 0.008542 | 0.01655 | 0.007245 | 0.08512 | 2.393 | 1 | 0.02279 | 0.02286 | 1 | 1 | 0.01174 | 0.1009 | 0.3217 | 0.03142 | 0.27 | 0.8611 | json |
| t12_x8_u1_b53 | 12 | 8 | 1 | 53 | ![]() |
log(pow(P,dot(R,R))) | 26138 | 97770674 | o1(o2(x,o2(x,x))) | true | 38951 | 38951 | -0.1964 | 0.4369 | 0.9286 | 0.8658 | 0.9305 | -1 | 1 | 2 | 1 | 1.92 | 0.004418 | 0.0003185 | 0.01249 | 0.8655 | 1 | -0.00001254 | 0.008113 | 0.01138 | 0.004578 | 0.06766 | 5.418 | 1 | 0.005471 | 0.009371 | 1 | 1 | 0.006521 | 0.03934 | 0.2542 | 0.007532 | 0.04544 | 0.2936 | json |
| t12_x8_u1_b54 | 12 | 8 | 1 | 54 | ![]() |
log(pow(P,dst(R,R))) | 26139 | 97770675 | o1(o2(x,o2(x,x))) | true | 38959 | 38959 | 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 |
| t12_x8_u1_b55 | 12 | 8 | 1 | 55 | ![]() |
log(mod(P,add(R,R))) | 26140 | 97770676 | o1(o2(x,o2(x,x))) | true | 38967 | 38967 | -0.8903 | 0.01996 | 0.899 | 0.07244 | 0.2691 | -1 | 0.4785 | 1.478 | 1 | 1.505 | 0.003016 | 0.001104 | 0.01879 | 0.4641 | 1 | 0.0001067 | 0.004516 | 0.01192 | 0.003766 | 0.06137 | 3.267 | 0.9999 | 0.05688 | 0.06235 | 1 | 1 | 0.005503 | 0.0431 | 0.1284 | 0.07597 | 0.5949 | 1.773 | json |
| t12_x8_u1_b56 | 12 | 8 | 1 | 56 | ![]() |
log(mod(P,sub(R,R))) | 26141 | 97770677 | o1(o2(x,o2(x,x))) | true | 38975 | 38975 | -0.1739 | 0.4375 | 0.9511 | 0.9053 | 0.9515 | -1 | 1 | 2 | 1 | 1.654 | 0.004186 | 0 | 0.007937 | 1 | 1 | 1.42e-9 | 0.007916 | 0.008917 | 0.004122 | 0.0642 | 8.089 | 1 | 0.004624 | 0.008745 | 1 | 1 | 0.005854 | 0.03284 | 0.2495 | 0.006466 | 0.03627 | 0.2755 | json |
| t12_x8_u1_b57 | 12 | 8 | 1 | 57 | ![]() |
log(mod(P,mlt(R,R))) | 26142 | 97770678 | o1(o2(x,o2(x,x))) | true | 38983 | 38983 | -0.9917 | 0 | 0.9917 | 0.003775 | 0.06144 | -1 | -0.2228 | 0.7772 | 1 | 0.2294 | 0.0001838 | 0.0001369 | 0.002469 | 0.1464 | 1 | 0.00001528 | 0.0001873 | 0.001844 | 0.0003143 | 0.01773 | 7.181 | 0.2988 | 0.08497 | 0.04963 | 1 | 1 | 0.0003781 | 0.002911 | 0.006597 | 0.1002 | 0.7711 | 1.748 | json |
| t12_x8_u1_b58 | 12 | 8 | 1 | 58 | ![]() |
log(mod(P,div(R,R))) | 26143 | 97770679 | o1(o2(x,o2(x,x))) | true | 38991 | 38991 | -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 |
| t12_x8_u1_b59 | 12 | 8 | 1 | 59 | ![]() |
log(mod(P,pow(R,R))) | 26144 | 97770680 | o1(o2(x,o2(x,x))) | true | 38999 | 38999 | -0.9994 | 0 | 0.9994 | 0.000278 | 0.01667 | -1 | -0.2746 | 0.7254 | 1 | 0.01927 | 0.00001888 | 0.00001796 | 0.0001742 | 0.02499 | 0 | 0.00001239 | 0.0000459 | 0.0001526 | 0.0000368 | 0.006067 | 34.83 | 0.6569 | 0.1325 | 0.1651 | 1 | 1 | 0 | 0 | 0.0001815 | 0 | 0 | 0.6527 | json |
| t12_x8_u1_b60 | 12 | 8 | 1 | 60 | ![]() |
log(mod(P,mod(R,R))) | 26145 | 97770681 | o1(o2(x,o2(x,x))) | true | 39007 | 39007 | -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 |
| t12_x8_u1_b61 | 12 | 8 | 1 | 61 | ![]() |
log(mod(P,lrg(R,R))) | 26146 | 97770682 | o1(o2(x,o2(x,x))) | true | 39015 | 39015 | -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 |
| t12_x8_u1_b62 | 12 | 8 | 1 | 62 | ![]() |
log(mod(P,eql(R,R))) | 26147 | 97770683 | o1(o2(x,o2(x,x))) | true | 39023 | 39023 | -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 |
| t12_x8_u1_b63 | 12 | 8 | 1 | 63 | ![]() |
log(mod(P,min(R,R))) | 26148 | 97770684 | o1(o2(x,o2(x,x))) | true | 39031 | 39031 | -0.9788 | 0 | 0.9788 | 0.009947 | 0.09973 | -1 | -0.2248 | 0.7752 | 1 | 0.4985 | 0.0002735 | 0.000262 | 0.004774 | 0.02154 | 1 | 0.00003286 | 0.0002517 | 0.002919 | 0.0005128 | 0.02265 | 4.744 | 0.2802 | 0.05384 | 0.02531 | 1 | 1 | 0.001006 | 0.00887 | 0.02542 | 0.1011 | 0.8917 | 2.556 | json |
| t12_x8_u1_b64 | 12 | 8 | 1 | 64 | ![]() |
log(mod(P,dot(R,R))) | 26149 | 97770685 | o1(o2(x,o2(x,x))) | true | 39039 | 39039 | -0.8892 | 0.01711 | 0.8966 | 0.06992 | 0.2644 | -1 | 0.6924 | 1.692 | 1 | 1.573 | 0.003334 | 0.0009922 | 0.01988 | 0.5413 | 1 | 0.00004899 | 0.004816 | 0.01174 | 0.003932 | 0.0627 | 3.154 | 1 | 0.06187 | 0.06888 | 1 | 1 | 0.006643 | 0.05062 | 0.1285 | 0.09501 | 0.724 | 1.838 | json |
| t12_x8_u1_b65 | 12 | 8 | 1 | 65 | ![]() |
log(mod(P,dst(R,R))) | 26150 | 97770686 | o1(o2(x,o2(x,x))) | true | 39047 | 39047 | -0.1739 | 0.4375 | 0.9511 | 0.9053 | 0.9515 | -1 | 1 | 2 | 1 | 1.654 | 0.004186 | 0 | 0.007937 | 1 | 1 | 1.42e-9 | 0.007916 | 0.008917 | 0.004122 | 0.0642 | 8.089 | 1 | 0.004624 | 0.008745 | 1 | 1 | 0.005854 | 0.03284 | 0.2495 | 0.006466 | 0.03627 | 0.2755 | json |
| t12_x8_u1_b66 | 12 | 8 | 1 | 66 | ![]() |
log(lrg(P,add(R,R))) | 26151 | 97770687 | o1(o2(x,o2(x,x))) | true | 39055 | 39055 | -0.6094 | 0 | 0.6094 | 0.2379 | 0.4877 | -1 | 0 | 1 | 1 | 0.9652 | 0.003968 | 0.001008 | 0.004958 | 0.5949 | 1 | 0 | 0.0102 | 0.009952 | 0.004955 | 0.07039 | 14.2 | 1.414 | 0.02092 | 0.0429 | 1 | 1 | 0.007036 | 0.02814 | 0.1017 | 0.02958 | 0.1183 | 0.4276 | json |
| t12_x8_u1_b67 | 12 | 8 | 1 | 67 | ![]() |
log(lrg(P,sub(R,R))) | 26152 | 97770688 | o1(o2(x,o2(x,x))) | true | 39063 | 39063 | -0.5625 | 0 | 0.5625 | 0.2461 | 0.4961 | -1 | 0 | 1 | 1 | 0.9887 | 0.003968 | 0 | 0.003968 | 1 | 1 | 0 | 0.007937 | 0.007937 | 0.003952 | 0.06287 | 15.84 | 1 | 0.01612 | 0.03225 | 1 | 1 | 0.005263 | 0.02105 | 0.08421 | 0.02139 | 0.08555 | 0.3422 | json |
| t12_x8_u1_b68 | 12 | 8 | 1 | 68 | ![]() |
log(lrg(P,mlt(R,R))) | 26153 | 97770689 | o1(o2(x,o2(x,x))) | true | 39071 | 39071 | -0.5625 | 0 | 0.5625 | 0.2461 | 0.4961 | -1 | 0 | 1 | 1 | 0.9887 | 0.003968 | 0 | 0.003968 | 1 | 1 | 0 | 0.007937 | 0.007937 | 0.003952 | 0.06287 | 15.84 | 1 | 0.01612 | 0.03225 | 1 | 1 | 0.005263 | 0.02105 | 0.08421 | 0.02139 | 0.08555 | 0.3422 | json |
| t12_x8_u1_b69 | 12 | 8 | 1 | 69 | ![]() |
log(lrg(P,div(R,R))) | 26154 | 97770690 | o1(o2(x,o2(x,x))) | true | 39079 | 39079 | -0.625 | 0 | 0.625 | 0.2344 | 0.4841 | -1 | 0 | 1 | 1 | 0.9544 | 0.003968 | 0 | 0.003968 | 1 | 1 | 0 | 0.007937 | 0.007937 | 0.003952 | 0.06287 | 15.84 | 1 | 0.01693 | 0.03386 | 1 | 1 | 0.005263 | 0.02105 | 0.08421 | 0.02246 | 0.08982 | 0.3593 | json |
| t12_x8_u1_b70 | 12 | 8 | 1 | 70 | ![]() |
log(lrg(P,pow(R,R))) | 26155 | 97770691 | o1(o2(x,o2(x,x))) | true | 39087 | 39087 | -0.5 | 0 | 0.5 | 0.25 | 0.5 | -1 | 0 | 1 | 1 | 1 | 0.006929 | 0.004031 | 0.01089 | 0.2644 | 1 | 0 | 0.02268 | 0.02192 | 0.01084 | 0.1041 | 9.566 | 1.414 | 0.04384 | 0.0907 | 1 | 1 | 0.01291 | 0.0523 | 0.1709 | 0.05163 | 0.2092 | 0.6834 | json |
| t12_x8_u1_b71 | 12 | 8 | 1 | 71 | ![]() |
log(lrg(P,mod(R,R))) | 26156 | 97770692 | o1(o2(x,o2(x,x))) | true | 39095 | 39095 | -0.5508 | 0 | 0.5508 | 0.2476 | 0.4976 | -1 | 0 | 1 | 1 | 0.9925 | 0.003968 | 0.0005039 | 0.004463 | 0.7746 | 1 | 0 | 0.00907 | 0.008944 | 0.004452 | 0.06672 | 14.95 | 1.414 | 0.01806 | 0.03664 | 1 | 1 | 0.00615 | 0.0246 | 0.09839 | 0.02484 | 0.09936 | 0.3974 | json |
| t12_x8_u1_b72 | 12 | 8 | 1 | 72 | ![]() |
log(lrg(P,lrg(R,R))) | 26157 | 97770693 | o1(o2(x,o2(x,x))) | true | 39103 | 39103 | -0.5625 | 0 | 0.5625 | 0.2461 | 0.4961 | -1 | 0 | 1 | 1 | 0.9887 | 0.003968 | 0 | 0.003968 | 1 | 1 | 0 | 0.007937 | 0.007937 | 0.003952 | 0.06287 | 15.84 | 1 | 0.01612 | 0.03225 | 1 | 1 | 0.005263 | 0.02105 | 0.08421 | 0.02139 | 0.08555 | 0.3422 | json |
| t12_x8_u1_b73 | 12 | 8 | 1 | 73 | ![]() |
log(lrg(P,eql(R,R))) | 26158 | 97770694 | o1(o2(x,o2(x,x))) | true | 39111 | 39111 | -0.625 | 0 | 0.625 | 0.2344 | 0.4841 | -1 | 0 | 1 | 1 | 0.9544 | 0.003968 | 0 | 0.003968 | 1 | 1 | 0 | 0.007937 | 0.007937 | 0.003952 | 0.06287 | 15.84 | 1 | 0.01693 | 0.03386 | 1 | 1 | 0.005263 | 0.02105 | 0.08421 | 0.02246 | 0.08982 | 0.3593 | json |
| t12_x8_u1_b74 | 12 | 8 | 1 | 74 | ![]() |
log(lrg(P,min(R,R))) | 26159 | 97770695 | o1(o2(x,o2(x,x))) | true | 39119 | 39119 | -0.5391 | 0 | 0.5391 | 0.2487 | 0.4987 | -1 | 0 | 1 | 1 | 0.9956 | 0.003968 | 0.0007559 | 0.004715 | 0.68 | 1 | 0 | 0.009637 | 0.009448 | 0.004701 | 0.06856 | 14.54 | 1.414 | 0.019 | 0.03876 | 1 | 1 | 0.006593 | 0.02637 | 0.1017 | 0.02651 | 0.1061 | 0.4091 | json |
| t12_x8_u1_b75 | 12 | 8 | 1 | 75 | ![]() |
log(lrg(P,dot(R,R))) | 26160 | 97770696 | o1(o2(x,o2(x,x))) | true | 39127 | 39127 | -0.6211 | 0 | 0.6211 | 0.2353 | 0.4851 | -1 | 0 | 1 | 1 | 0.9573 | 0.003968 | 0.001008 | 0.004958 | 0.5949 | 1 | 0 | 0.0102 | 0.009952 | 0.004955 | 0.07039 | 14.2 | 1.414 | 0.02115 | 0.04336 | 1 | 1 | 0.006814 | 0.02792 | 0.1121 | 0.02896 | 0.1187 | 0.4765 | json |
| t12_x8_u1_b76 | 12 | 8 | 1 | 76 | ![]() |
log(lrg(P,dst(R,R))) | 26161 | 97770697 | o1(o2(x,o2(x,x))) | true | 39135 | 39135 | -0.5625 | 0 | 0.5625 | 0.2461 | 0.4961 | -1 | 0 | 1 | 1 | 0.9887 | 0.003968 | 0 | 0.003968 | 1 | 1 | 0 | 0.007937 | 0.007937 | 0.003952 | 0.06287 | 15.84 | 1 | 0.01612 | 0.03225 | 1 | 1 | 0.005263 | 0.02105 | 0.08421 | 0.02139 | 0.08555 | 0.3422 | json |
| t12_x8_u1_b77 | 12 | 8 | 1 | 77 | ![]() |
log(eql(P,add(R,R))) | 26162 | 97770698 | o1(o2(x,o2(x,x))) | true | 39143 | 39143 | -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 |
| t12_x8_u1_b78 | 12 | 8 | 1 | 78 | ![]() |
log(eql(P,sub(R,R))) | 26163 | 97770699 | o1(o2(x,o2(x,x))) | true | 39151 | 39151 | -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 |
| t12_x8_u1_b79 | 12 | 8 | 1 | 79 | ![]() |
log(eql(P,mlt(R,R))) | 26164 | 97770700 | o1(o2(x,o2(x,x))) | true | 39159 | 39159 | -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 |
| t12_x8_u1_b80 | 12 | 8 | 1 | 80 | ![]() |
log(eql(P,div(R,R))) | 26165 | 97770701 | o1(o2(x,o2(x,x))) | true | 39167 | 39167 | -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 |
| t12_x8_u1_b81 | 12 | 8 | 1 | 81 | ![]() |
log(eql(P,pow(R,R))) | 26166 | 97770702 | o1(o2(x,o2(x,x))) | true | 39175 | 39175 | -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 |
| t12_x8_u1_b82 | 12 | 8 | 1 | 82 | ![]() |
log(eql(P,mod(R,R))) | 26167 | 97770703 | o1(o2(x,o2(x,x))) | true | 39183 | 39183 | -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 |
| t12_x8_u1_b83 | 12 | 8 | 1 | 83 | ![]() |
log(eql(P,lrg(R,R))) | 26168 | 97770704 | o1(o2(x,o2(x,x))) | true | 39191 | 39191 | -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 |
| t12_x8_u1_b84 | 12 | 8 | 1 | 84 | ![]() |
log(eql(P,eql(R,R))) | 26169 | 97770705 | o1(o2(x,o2(x,x))) | true | 39199 | 39199 | -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 |
| t12_x8_u1_b85 | 12 | 8 | 1 | 85 | ![]() |
log(eql(P,min(R,R))) | 26170 | 97770706 | o1(o2(x,o2(x,x))) | true | 39207 | 39207 | -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 |
| t12_x8_u1_b86 | 12 | 8 | 1 | 86 | ![]() |
log(eql(P,dot(R,R))) | 26171 | 97770707 | o1(o2(x,o2(x,x))) | true | 39215 | 39215 | -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 |
| t12_x8_u1_b87 | 12 | 8 | 1 | 87 | ![]() |
log(eql(P,dst(R,R))) | 26172 | 97770708 | o1(o2(x,o2(x,x))) | true | 39223 | 39223 | -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 |
| t12_x8_u1_b88 | 12 | 8 | 1 | 88 | ![]() |
log(min(P,add(R,R))) | 26173 | 97770709 | o1(o2(x,o2(x,x))) | true | 39231 | 39231 | -0.9957 | 0.002197 | 0.9972 | 0.00507 | 0.07121 | -1 | 0.6178 | 1.618 | 1 | 0.05222 | 0.0001338 | 0.0005135 | 0.0008265 | -0.5866 | 1 | 0.000004719 | 0.001293 | 0.001295 | 0.0006463 | 0.02542 | 30.76 | 1.589 | 0.1277 | 0.2551 | 1 | 1 | 0 | 0 | 0.004109 | 0 | 0 | 0.8104 | json |
| t12_x8_u1_b89 | 12 | 8 | 1 | 89 | ![]() |
log(min(P,sub(R,R))) | 26174 | 97770710 | o1(o2(x,o2(x,x))) | true | 39239 | 39239 | -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 |
| t12_x8_u1_b90 | 12 | 8 | 1 | 90 | ![]() |
log(min(P,mlt(R,R))) | 26175 | 97770711 | o1(o2(x,o2(x,x))) | true | 39247 | 39247 | -0.9483 | 0 | 0.9483 | 0.02617 | 0.1618 | -1 | -0.002358 | 0.9976 | 1 | 0.9698 | 0.001351 | 0.0007738 | 0.0125 | 0.2718 | 1 | 0.00008519 | 0.001804 | 0.008687 | 0.001967 | 0.04435 | 3.547 | 0.8828 | 0.08121 | 0.06893 | 1 | 1 | 0.002821 | 0.02077 | 0.04317 | 0.1078 | 0.7936 | 1.65 | json |
| t12_x8_u1_b91 | 12 | 8 | 1 | 91 | ![]() |
log(min(P,div(R,R))) | 26176 | 97770712 | o1(o2(x,o2(x,x))) | true | 39255 | 39255 | -0.5625 | 0 | 0.5625 | 0.2461 | 0.4961 | -1 | 1.191e-7 | 1 | 1 | 1.259 | 0.003968 | 3.161e-18 | 0.003968 | 1 | 1 | 3.229e-10 | 0.007937 | 0.007937 | 0.003952 | 0.06287 | 15.84 | 1 | 0.01612 | 0.03225 | 1 | 1 | 0.005263 | 0.02105 | 0.08421 | 0.02139 | 0.08555 | 0.3422 | json |
| t12_x8_u1_b92 | 12 | 8 | 1 | 92 | ![]() |
log(min(P,pow(R,R))) | 26177 | 97770713 | o1(o2(x,o2(x,x))) | true | 39263 | 39263 | -0.3518 | 0.317 | 0.8153 | 0.6484 | 0.8052 | -1 | 1 | 2 | 1 | 2.59 | 0.004924 | 0.002207 | 0.0315 | 0.3811 | 1 | -0.00004305 | 0.006918 | 0.01619 | 0.006142 | 0.07837 | 2.488 | 1 | 0.011 | 0.01067 | 1 | 1 | 0.01056 | 0.09388 | 0.311 | 0.01629 | 0.1448 | 0.4796 | json |
| t12_x8_u1_b93 | 12 | 8 | 1 | 93 | ![]() |
log(min(P,mod(R,R))) | 26178 | 97770714 | o1(o2(x,o2(x,x))) | true | 39271 | 39271 | -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 |
| t12_x8_u1_b94 | 12 | 8 | 1 | 94 | ![]() |
log(min(P,lrg(R,R))) | 26179 | 97770715 | o1(o2(x,o2(x,x))) | true | 39279 | 39279 | -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 |
| t12_x8_u1_b95 | 12 | 8 | 1 | 95 | ![]() |
log(min(P,eql(R,R))) | 26180 | 97770716 | o1(o2(x,o2(x,x))) | true | 39287 | 39287 | -0.5625 | 0 | 0.5625 | 0.2461 | 0.4961 | -1 | 0 | 1 | 1 | 0.9887 | 0.003968 | 0 | 0.003968 | 1 | 1 | 0 | 0.007937 | 0.007937 | 0.003952 | 0.06287 | 15.84 | 1 | 0.01612 | 0.03225 | 1 | 1 | 0.005263 | 0.02105 | 0.08421 | 0.02139 | 0.08555 | 0.3422 | json |
| t12_x8_u1_b96 | 12 | 8 | 1 | 96 | ![]() |
log(min(P,min(R,R))) | 26181 | 97770717 | o1(o2(x,o2(x,x))) | true | 39295 | 39295 | -0.9984 | 0 | 0.9984 | 0.00102 | 0.03194 | -1 | -0.07531 | 0.9247 | 1 | 0.04175 | 0.00001566 | 0.0000908 | 0.0003519 | -0.7058 | 1 | 0.00000472 | 0.0001855 | 0.0003575 | 0.0001063 | 0.01031 | 29.3 | 0.8956 | 0.1043 | 0.1817 | 1 | 1 | 0 | 0 | 0.0007799 | 0 | 0 | 0.7644 | json |
| t12_x8_u1_b97 | 12 | 8 | 1 | 97 | ![]() |
log(min(P,dot(R,R))) | 26182 | 97770718 | o1(o2(x,o2(x,x))) | true | 39303 | 39303 | -0.6172 | 0.1959 | 0.7168 | 0.2699 | 0.5195 | -1 | 0.8261 | 1.826 | 1 | 2.792 | 0.003982 | 0.001197 | 0.02618 | 0.5379 | 1 | 0.00003969 | 0.006064 | 0.01251 | 0.004493 | 0.06703 | 2.56 | 1 | 0.01919 | 0.02247 | 1 | 1 | 0.006698 | 0.05445 | 0.1904 | 0.02482 | 0.2017 | 0.7054 | json |
| t12_x8_u1_b98 | 12 | 8 | 1 | 98 | ![]() |
log(min(P,dst(R,R))) | 26183 | 97770719 | o1(o2(x,o2(x,x))) | true | 39311 | 39311 | -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 |
| t12_x8_u1_b99 | 12 | 8 | 1 | 99 | ![]() |
log(dot(P,add(R,R))) | 26184 | 97770720 | o1(o2(x,o2(x,x))) | true | 39319 | 39319 | -0.9352 | 0.0334 | 0.991 | 0.1137 | 0.3373 | -1 | 1 | 2 | 1 | 0.3525 | 0.01276 | 0.01218 | 0.0159 | 0.02329 | 1 | -3.004e-10 | 0.05141 | 0.02715 | 0.02468 | 0.1571 | 9.881 | 2.828 | 0.2193 | 0.4519 | 1 | 1 | 0.02889 | 0.1273 | 0.2796 | 0.254 | 1.119 | 2.458 | json |
| t12_x8_u1_b100 | 12 | 8 | 1 | 100 | ![]() |
log(dot(P,sub(R,R))) | 26185 | 97770721 | o1(o2(x,o2(x,x))) | true | 39327 | 39327 | -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 |
| t12_x8_u1_b101 | 12 | 8 | 1 | 101 | ![]() |
log(dot(P,mlt(R,R))) | 26186 | 97770722 | o1(o2(x,o2(x,x))) | true | 39335 | 39335 | -0.6118 | 0.2032 | 0.904 | 0.4997 | 0.7069 | -1 | 1 | 2 | 1 | 1.908 | 0.00974 | 0.01337 | 0.03395 | -0.1573 | 1 | -0.00003013 | 0.03964 | 0.02927 | 0.02196 | 0.1482 | 4.365 | 2.828 | 0.04625 | 0.07931 | 1 | 1 | 0.0237 | 0.1528 | 0.4967 | 0.04742 | 0.3058 | 0.9938 | json |
| t12_x8_u1_b102 | 12 | 8 | 1 | 102 | ![]() |
log(dot(P,div(R,R))) | 26187 | 97770723 | o1(o2(x,o2(x,x))) | true | 39343 | 39343 | -0.1975 | 0.4134 | 0.973 | 0.9227 | 0.9606 | -1 | 1 | 2 | 1 | 1.483 | 0.005677 | 0.00609 | 0.01269 | -0.03509 | 1 | 0.00004853 | 0.02378 | 0.01786 | 0.01161 | 0.1078 | 8.491 | 2.394 | 0.01275 | 0.02577 | 1 | 1 | 0.01596 | 0.08215 | 0.5249 | 0.0173 | 0.08903 | 0.5689 | json |
| t12_x8_u1_b103 | 12 | 8 | 1 | 103 | ![]() |
log(dot(P,pow(R,R))) | 26188 | 97770724 | o1(o2(x,o2(x,x))) | true | 39351 | 39351 | -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 |
| t12_x8_u1_b104 | 12 | 8 | 1 | 104 | ![]() |
log(dot(P,mod(R,R))) | 26189 | 97770725 | o1(o2(x,o2(x,x))) | true | 39359 | 39359 | -0.9946 | 0.003143 | 0.9981 | 0.008275 | 0.09097 | -1 | 1 | 2 | 1 | 0.05391 | 0.001065 | 0.001118 | 0.001664 | -0.02412 | 1 | -1.502e-11 | 0.004566 | 0.002818 | 0.00218 | 0.04669 | 28.05 | 2 | 0.2638 | 0.5518 | 1 | 1 | 0.003908 | 0.01649 | 0.0297 | 0.4722 | 1.993 | 3.589 | json |
| t12_x8_u1_b105 | 12 | 8 | 1 | 105 | ![]() |
log(dot(P,lrg(R,R))) | 26190 | 97770726 | o1(o2(x,o2(x,x))) | true | 39367 | 39367 | -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 |
| t12_x8_u1_b106 | 12 | 8 | 1 | 106 | ![]() |
log(dot(P,eql(R,R))) | 26191 | 97770727 | o1(o2(x,o2(x,x))) | true | 39375 | 39375 | -0.2032 | 0.4102 | 0.9765 | 0.9252 | 0.9619 | -1 | 1 | 2 | 1 | 1.432 | 0.006658 | 0.006658 | 0.0127 | -1.049e-7 | 1 | 0.000004652 | 0.02779 | 0.01959 | 0.01316 | 0.1147 | 9.031 | 2.394 | 0.01439 | 0.03004 | 1 | 1 | 0.01794 | 0.08715 | 0.5353 | 0.01939 | 0.09419 | 0.5786 | json |
| t12_x8_u1_b107 | 12 | 8 | 1 | 107 | ![]() |
log(dot(P,min(R,R))) | 26192 | 97770728 | o1(o2(x,o2(x,x))) | true | 39383 | 39383 | -0.9485 | 0.02599 | 0.9891 | 0.08572 | 0.2928 | -1 | 1 | 2 | 1 | 0.3559 | 0.009954 | 0.01022 | 0.01404 | -0.01298 | 1 | -0.000002428 | 0.04141 | 0.02281 | 0.01998 | 0.1413 | 10.07 | 2.828 | 0.2353 | 0.4831 | 1 | 1 | 0.02266 | 0.09777 | 0.1994 | 0.2643 | 1.14 | 2.326 | json |
| t12_x8_u1_b108 | 12 | 8 | 1 | 108 | ![]() |
log(dot(P,dot(R,R))) | 26193 | 97770729 | o1(o2(x,o2(x,x))) | true | 39391 | 39391 | -0.2264 | 0.3967 | 0.9632 | 0.8976 | 0.9474 | -1 | 1 | 2 | 1 | 1.604 | 0.006454 | 0.006617 | 0.01607 | -0.01252 | 1 | -0.00001196 | 0.02572 | 0.01948 | 0.01281 | 0.1132 | 7.042 | 2.828 | 0.01456 | 0.02865 | 1 | 1 | 0.01854 | 0.09772 | 0.5013 | 0.02065 | 0.1089 | 0.5585 | json |
| t12_x8_u1_b109 | 12 | 8 | 1 | 109 | ![]() |
log(dot(P,dst(R,R))) | 26194 | 97770730 | o1(o2(x,o2(x,x))) | true | 39399 | 39399 | -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 |
| t12_x8_u1_b110 | 12 | 8 | 1 | 110 | ![]() |
log(dst(P,add(R,R))) | 26195 | 97770731 | o1(o2(x,o2(x,x))) | true | 39407 | 39407 | 0.9759 | 0.9991 | 0.976 | 0.01137 | 0.1066 | -0.1065 | 1 | 1.107 | 1 | 0.5906 | 0.0001184 | 0.0001685 | 0.004012 | -0.1748 | 1 | 2.384e-10 | 0.00005553 | 0.001466 | 0.0002705 | 0.01645 | 4.099 | 0.1607 | 0.02524 | 0.004886 | 1 | 1 | 0.00097 | 0.01092 | 0.03053 | 0.08535 | 0.961 | 2.686 | json |
| t12_x8_u1_b111 | 12 | 8 | 1 | 111 | ![]() |
log(dst(P,sub(R,R))) | 26196 | 97770732 | o1(o2(x,o2(x,x))) | true | 39415 | 39415 | 0.944 | 0.9844 | 0.9752 | 0.07239 | 0.2691 | -1 | 1 | 2 | 1 | 0.7009 | 0.001465 | 0.001465 | 0.005009 | -7.548e-7 | 1 | 4.881e-11 | 0.005843 | 0.005405 | 0.002907 | 0.05392 | 10.76 | 1.904 | 0.04048 | 0.08071 | 1 | 1 | 0.005375 | 0.02798 | 0.1918 | 0.07424 | 0.3866 | 2.649 | json |
| t12_x8_u1_b112 | 12 | 8 | 1 | 112 | ![]() |
log(dst(P,mlt(R,R))) | 26197 | 97770733 | o1(o2(x,o2(x,x))) | true | 39423 | 39423 | 0.9619 | 0.9915 | 0.9635 | 0.02584 | 0.1607 | -0.2529 | 1 | 1.253 | 1 | 0.6908 | 0.00007917 | 0.000104 | 0.003303 | -0.1358 | 1 | -1.915e-10 | 0.00001549 | 0.0008598 | 0.0001721 | 0.01312 | 3.972 | 0.1185 | 0.00709 | 0.0005996 | 1 | 1 | 0.000633 | 0.008057 | 0.05808 | 0.0245 | 0.3118 | 2.248 | json |
| t12_x8_u1_b113 | 12 | 8 | 1 | 113 | ![]() |
log(dst(P,div(R,R))) | 26198 | 97770734 | o1(o2(x,o2(x,x))) | true | 39431 | 39431 | 0.974 | 1 | 0.974 | 0.01263 | 0.1124 | 0.0002017 | 1 | 0.9998 | 1 | 0.622 | 0.00003583 | 0.00003583 | 0.002176 | 0.000002132 | 0 | -1.051e-10 | 0.00000706 | 0.0005851 | 0.00006693 | 0.008181 | 3.759 | 0.05358 | 0.005675 | 0.0005592 | 1 | 1 | 0.0002465 | 0.00312 | 0.02891 | 0.01952 | 0.2472 | 2.29 | json |
| t12_x8_u1_b114 | 12 | 8 | 1 | 114 | ![]() |
log(dst(P,pow(R,R))) | 26199 | 97770735 | o1(o2(x,o2(x,x))) | true | 39439 | 39439 | -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 |



































































































