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_x0_u0_b12 | 12 | 0 | 0 | 12 | ![]() |
sqt(sub(P,sub(P,P))) | 19200 | 97447224 | o1(o2(x,o2(x,x))) | true | 153607 | 153607 | -0.03125 | 0.5 | 0.9688 | 0.9603 | 0.98 | -1 | 1 | 2 | 1 | 1.406 | 0.004323 | 0 | 0.007937 | 1 | 1 | -9.386e-13 | 0.007903 | 0.008812 | 0.004259 | 0.06526 | 8.223 | 1 | 0.004502 | 0.008229 | 1 | 1 | 0 | 0 | 0.006228 | 0 | 0 | 0.006485 | json |
| t12_x0_u0_b13 | 12 | 0 | 0 | 13 | ![]() |
sqt(sub(P,mlt(P,P))) | 19201 | 97447225 | o1(o2(x,o2(x,x))) | true | 153615 | 153615 | -0.9375 | 0 | 0.9375 | 0.05859 | 0.2421 | -1 | 0 | 1 | 1 | 0.3373 | 0.007937 | 0 | 0.007937 | 1 | 1 | 0 | 0.01587 | 0.01587 | 0.007872 | 0.08872 | 11.18 | 1 | 0.1354 | 0.2709 | 1 | 1 | 0 | 0 | 0.01053 | 0 | 0 | 0.1796 | json |
| t12_x0_u0_b14 | 12 | 0 | 0 | 14 | ![]() |
sqt(sub(P,div(P,P))) | 19202 | 97447226 | o1(o2(x,o2(x,x))) | true | 153623 | 153623 | -0.1563 | 0.4375 | 0.9688 | 0.9369 | 0.9679 | -1 | 1 | 2 | 1 | 1.385 | 0.004323 | 0 | 0.007937 | 1 | 1 | -9.386e-13 | 0.007903 | 0.008812 | 0.004259 | 0.06526 | 8.223 | 1 | 0.004615 | 0.008435 | 1 | 1 | 0 | 0 | 0.006228 | 0 | 0 | 0.006647 | json |
| t12_x0_u0_b15 | 12 | 0 | 0 | 15 | ![]() |
sqt(sub(P,pow(P,P))) | 19203 | 97447227 | o1(o2(x,o2(x,x))) | true | 153631 | 153631 | -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_x0_u0_b16 | 12 | 0 | 0 | 16 | ![]() |
sqt(sub(P,mod(P,P))) | 19204 | 97447228 | o1(o2(x,o2(x,x))) | true | 153639 | 153639 | -0.2108 | 0.375 | 0.7892 | 0.7294 | 0.854 | -1 | 1 | 2 | 1 | 2.021 | 0.02654 | 0 | 0.03174 | 1 | 1 | -9.47e-10 | 0.04837 | 0.03917 | 0.02553 | 0.1598 | 5.033 | 2 | 0.03638 | 0.06631 | 1 | 1 | 0 | 0 | 0.02582 | 0 | 0 | 0.0354 | json |
| t12_x0_u0_b17 | 12 | 0 | 0 | 17 | ![]() |
sqt(sub(P,lrg(P,P))) | 19205 | 97447229 | o1(o2(x,o2(x,x))) | true | 153647 | 153647 | -0.03125 | 0.5 | 0.9688 | 0.9603 | 0.98 | -1 | 1 | 2 | 1 | 1.406 | 0.004323 | 0 | 0.007937 | 1 | 1 | -9.386e-13 | 0.007903 | 0.008812 | 0.004259 | 0.06526 | 8.223 | 1 | 0.004502 | 0.008229 | 1 | 1 | 0 | 0 | 0.006228 | 0 | 0 | 0.006485 | json |
| t12_x0_u0_b18 | 12 | 0 | 0 | 18 | ![]() |
sqt(sub(P,eql(P,P))) | 19206 | 97447230 | o1(o2(x,o2(x,x))) | true | 153655 | 153655 | -0.1563 | 0.4375 | 0.9688 | 0.9369 | 0.9679 | -1 | 1 | 2 | 1 | 1.385 | 0.004323 | 0 | 0.007937 | 1 | 1 | -9.386e-13 | 0.007903 | 0.008812 | 0.004259 | 0.06526 | 8.223 | 1 | 0.004615 | 0.008435 | 1 | 1 | 0 | 0 | 0.006228 | 0 | 0 | 0.006647 | json |
| t12_x0_u0_b19 | 12 | 0 | 0 | 19 | ![]() |
sqt(sub(P,min(P,P))) | 19207 | 97447231 | o1(o2(x,o2(x,x))) | true | 153663 | 153663 | 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_x0_u0_b20 | 12 | 0 | 0 | 20 | ![]() |
sqt(sub(P,dot(P,P))) | 19208 | 97447232 | o1(o2(x,o2(x,x))) | true | 153671 | 153671 | -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_x0_u0_b21 | 12 | 0 | 0 | 21 | ![]() |
sqt(sub(P,dst(P,P))) | 19209 | 97447233 | o1(o2(x,o2(x,x))) | true | 153679 | 153679 | -0.03125 | 0.5 | 0.9688 | 0.9603 | 0.98 | -1 | 1 | 2 | 1 | 1.406 | 0.004323 | 0 | 0.007937 | 1 | 1 | -9.386e-13 | 0.007903 | 0.008812 | 0.004259 | 0.06526 | 8.223 | 1 | 0.004502 | 0.008229 | 1 | 1 | 0 | 0 | 0.006228 | 0 | 0 | 0.006485 | json |
| t12_x0_u0_b22 | 12 | 0 | 0 | 22 | ![]() |
sqt(mlt(P,add(P,P))) | 19210 | 97447234 | o1(o2(x,o2(x,x))) | true | 153687 | 153687 | 0.9492 | 1 | 0.9492 | 0.03871 | 0.1967 | 0.0004116 | 1 | 0.9996 | 1 | 0.5528 | 0.001038 | 0 | 0.007933 | 1 | 1 | 1.064e-9 | 0.0001488 | 0.002624 | 0.000974 | 0.03121 | 3.934 | 0.1653 | 0.02681 | 0.003843 | 1 | 1 | 0 | 0 | 0.002654 | 0 | 0 | 0.06857 | json |
| t12_x0_u0_b23 | 12 | 0 | 0 | 23 | ![]() |
sqt(mlt(P,sub(P,P))) | 19211 | 97447235 | o1(o2(x,o2(x,x))) | true | 153695 | 153695 | 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_x0_u0_b24 | 12 | 0 | 0 | 24 | ![]() |
sqt(mlt(P,mlt(P,P))) | 19212 | 97447236 | o1(o2(x,o2(x,x))) | true | 153703 | 153703 | -0.03125 | 0.5 | 0.9688 | 0.9603 | 0.98 | -1 | 1 | 2 | 1 | 1.406 | 0.004323 | 0 | 0.007937 | 1 | 1 | -9.386e-13 | 0.007903 | 0.008812 | 0.004259 | 0.06526 | 8.223 | 1 | 0.004502 | 0.008229 | 1 | 1 | 0 | 0 | 0.006228 | 0 | 0 | 0.006485 | json |
| t12_x0_u0_b25 | 12 | 0 | 0 | 25 | ![]() |
sqt(mlt(P,div(P,P))) | 19213 | 97447237 | o1(o2(x,o2(x,x))) | true | 153711 | 153711 | -0.125 | 0.4375 | 1 | 0.9844 | 0.9922 | -1 | 1 | 2 | 1 | 0.9887 | 0.01587 | 0 | 0.007937 | 1 | 1 | 0 | 0.03175 | 0.01587 | 0.01581 | 0.1257 | 15.84 | 2 | 0.01612 | 0.03225 | 1 | 1 | 0 | 0 | 0.02105 | 0 | 0 | 0.02139 | json |
| t12_x0_u0_b26 | 12 | 0 | 0 | 26 | ![]() |
sqt(mlt(P,pow(P,P))) | 19214 | 97447238 | o1(o2(x,o2(x,x))) | true | 153719 | 153719 | -0.03125 | 0.5 | 0.9688 | 0.9603 | 0.98 | -1 | 1 | 2 | 1 | 1.406 | 0.004323 | 0 | 0.007937 | 1 | 1 | -9.386e-13 | 0.007903 | 0.008812 | 0.004259 | 0.06526 | 8.223 | 1 | 0.004502 | 0.008229 | 1 | 1 | 0 | 0 | 0.006228 | 0 | 0 | 0.006485 | json |
| t12_x0_u0_b27 | 12 | 0 | 0 | 27 | ![]() |
sqt(mlt(P,mod(P,P))) | 19215 | 97447239 | o1(o2(x,o2(x,x))) | true | 153727 | 153727 | 0.3755 | 0.625 | 0.6255 | 0.4645 | 0.6816 | -1 | 1 | 2 | 1 | 2.041 | 0.01617 | 0 | 0.03866 | 1 | 1 | -0.001258 | 0.02037 | 0.03799 | 0.01467 | 0.1211 | 3.133 | 1 | 0.03481 | 0.04386 | 1 | 1 | 0 | 0 | 0.02392 | 0 | 0 | 0.05148 | json |
| t12_x0_u0_b28 | 12 | 0 | 0 | 28 | ![]() |
sqt(mlt(P,lrg(P,P))) | 19216 | 97447240 | o1(o2(x,o2(x,x))) | true | 153735 | 153735 | 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_x0_u0_b29 | 12 | 0 | 0 | 29 | ![]() |
sqt(mlt(P,eql(P,P))) | 19217 | 97447241 | o1(o2(x,o2(x,x))) | true | 153743 | 153743 | -0.03125 | 0.5 | 0.9688 | 0.9603 | 0.98 | -1 | 1 | 2 | 1 | 1.406 | 0.004323 | 0 | 0.007937 | 1 | 1 | -9.386e-13 | 0.007903 | 0.008812 | 0.004259 | 0.06526 | 8.223 | 1 | 0.004502 | 0.008229 | 1 | 1 | 0 | 0 | 0.006228 | 0 | 0 | 0.006485 | json |
| t12_x0_u0_b30 | 12 | 0 | 0 | 30 | ![]() |
sqt(mlt(P,min(P,P))) | 19218 | 97447242 | o1(o2(x,o2(x,x))) | true | 153751 | 153751 | 0.9375 | 1 | 0.9375 | 0.04507 | 0.2123 | 0.000291 | 1 | 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 |
| t12_x0_u0_b31 | 12 | 0 | 0 | 31 | ![]() |
sqt(mlt(P,dot(P,P))) | 19219 | 97447243 | o1(o2(x,o2(x,x))) | true | 153759 | 153759 | -0.01762 | 0.5 | 0.9824 | 0.9788 | 0.9893 | -1 | 1 | 2 | 1 | 1.223 | 0.004901 | 0.000002815 | 0.007953 | 0.9989 | 1 | 7.805e-8 | 0.008179 | 0.01023 | 0.004839 | 0.06956 | 8.747 | 1.002 | 0.00501 | 0.008357 | 1 | 1 | 0 | 0 | 0.007346 | 0 | 0 | 0.007505 | json |
| t12_x0_u0_b32 | 12 | 0 | 0 | 32 | ![]() |
sqt(mlt(P,dst(P,P))) | 19220 | 97447244 | o1(o2(x,o2(x,x))) | true | 153767 | 153767 | 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_x0_u0_b33 | 12 | 0 | 0 | 33 | ![]() |
sqt(div(P,add(P,P))) | 19221 | 97447245 | o1(o2(x,o2(x,x))) | true | 153775 | 153775 | 0.4937 | 0.875 | 0.7437 | 0.3187 | 0.5646 | -1 | 0.7071 | 1.707 | 1 | 0.5436 | 0.02313 | 0 | 0.01355 | 1 | 1 | 0 | 0.04626 | 0.0271 | 0.02296 | 0.1515 | 11.18 | 1.707 | 0.07257 | 0.1451 | 1 | 1 | 0 | 0 | 0.03068 | 0 | 0 | 0.09625 | json |
| t12_x0_u0_b34 | 12 | 0 | 0 | 34 | ![]() |
sqt(div(P,sub(P,P))) | 19222 | 97447246 | o1(o2(x,o2(x,x))) | true | 153783 | 153783 | -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_x0_u0_b35 | 12 | 0 | 0 | 35 | ![]() |
sqt(div(P,mlt(P,P))) | 19223 | 97447247 | o1(o2(x,o2(x,x))) | true | 153791 | 153791 | -0.3316 | 0.4375 | 0.7934 | 0.5865 | 0.7659 | -1 | 0.9999 | 2 | 1 | 2.294 | 0.01591 | 0 | 0.0105 | 1 | 1 | -0.000002192 | 0.03178 | 0.01647 | 0.01581 | 0.1257 | 11.97 | 2 | 0.02713 | 0.05418 | 1 | 1 | 0 | 0 | 0.02113 | 0 | 0 | 0.03603 | json |
| t12_x0_u0_b36 | 12 | 0 | 0 | 36 | ![]() |
sqt(div(P,div(P,P))) | 19224 | 97447248 | o1(o2(x,o2(x,x))) | true | 153799 | 153799 | -0.125 | 0.4375 | 1 | 0.9844 | 0.9922 | -1 | 1 | 2 | 1 | 0.9887 | 0.01587 | 0 | 0.007937 | 1 | 1 | 0 | 0.03175 | 0.01587 | 0.01581 | 0.1257 | 15.84 | 2 | 0.01612 | 0.03225 | 1 | 1 | 0 | 0 | 0.02105 | 0 | 0 | 0.02139 | json |
| t12_x0_u0_b37 | 12 | 0 | 0 | 37 | ![]() |
sqt(div(P,pow(P,P))) | 19225 | 97447249 | o1(o2(x,o2(x,x))) | true | 153807 | 153807 | -0.3612 | 0.5 | 0.6388 | 0.4627 | 0.6802 | -1 | 0.9999 | 2 | 1 | 2.511 | 0.004421 | 0 | 0.0119 | 1 | 1 | -2.018e-7 | 0.007907 | 0.009735 | 0.004279 | 0.06542 | 5.496 | 1 | 0.009554 | 0.01709 | 1 | 1 | 0 | 0 | 0.006484 | 0 | 0 | 0.01401 | json |
| t12_x0_u0_b38 | 12 | 0 | 0 | 38 | ![]() |
sqt(div(P,mod(P,P))) | 19226 | 97447250 | o1(o2(x,o2(x,x))) | true | 153815 | 153815 | -0.5 | 0.25 | 1 | 0.75 | 0.866 | -1 | 1 | 2 | 1 | 0.8113 | 0.07937 | 0 | 0.03968 | 1 | 1 | 9.461e-10 | 0.1587 | 0.07937 | 0.07773 | 0.2788 | 7.026 | 2 | 0.1058 | 0.2116 | 1 | 1 | 0 | 0 | 0.05263 | 0 | 0 | 0.07018 | json |
| t12_x0_u0_b39 | 12 | 0 | 0 | 39 | ![]() |
sqt(div(P,lrg(P,P))) | 19227 | 97447251 | o1(o2(x,o2(x,x))) | true | 153823 | 153823 | -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_x0_u0_b40 | 12 | 0 | 0 | 40 | ![]() |
sqt(div(P,eql(P,P))) | 19228 | 97447252 | o1(o2(x,o2(x,x))) | true | 153831 | 153831 | -0.03125 | 0.5 | 0.9688 | 0.9603 | 0.98 | -1 | 1 | 2 | 1 | 1.406 | 0.004323 | 0 | 0.007937 | 1 | 1 | -9.386e-13 | 0.007903 | 0.008812 | 0.004259 | 0.06526 | 8.223 | 1 | 0.004502 | 0.008229 | 1 | 1 | 0 | 0 | 0.006228 | 0 | 0 | 0.006485 | json |
| t12_x0_u0_b41 | 12 | 0 | 0 | 41 | ![]() |
sqt(div(P,min(P,P))) | 19229 | 97447253 | o1(o2(x,o2(x,x))) | true | 153839 | 153839 | 0.75 | 0.875 | 1 | 0.4375 | 0.6614 | -1 | 1 | 2 | 1 | 0.5436 | 0.03175 | 0 | 0.01587 | 1 | 1 | 7.569e-9 | 0.06349 | 0.03175 | 0.03149 | 0.1774 | 11.18 | 2 | 0.07256 | 0.1451 | 1 | 1 | 0 | 0 | 0.04211 | 0 | 0 | 0.09624 | json |
| t12_x0_u0_b42 | 12 | 0 | 0 | 42 | ![]() |
sqt(div(P,dot(P,P))) | 19230 | 97447254 | o1(o2(x,o2(x,x))) | true | 153847 | 153847 | -0.3479 | 0.4896 | 0.6677 | 0.4477 | 0.6691 | -1 | 0.9998 | 2 | 1 | 2.486 | 0.005238 | 0.0009682 | 0.007639 | 0.688 | 1 | -0.000002901 | 0.01256 | 0.01069 | 0.006149 | 0.07841 | 10.27 | 2.414 | 0.01386 | 0.02806 | 1 | 1 | 0 | 0 | 0.009273 | 0 | 0 | 0.02071 | json |
| t12_x0_u0_b43 | 12 | 0 | 0 | 43 | ![]() |
sqt(div(P,dst(P,P))) | 19231 | 97447255 | o1(o2(x,o2(x,x))) | true | 153855 | 153855 | -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_x0_u0_b44 | 12 | 0 | 0 | 44 | ![]() |
sqt(pow(P,add(P,P))) | 19232 | 97447256 | o1(o2(x,o2(x,x))) | true | 153863 | 153863 | 0 | 0.5 | 1 | 1 | 1 | -1 | 1 | 2 | 1 | 1 | 0.01587 | 0 | 0.007937 | 1 | 1 | 0 | 0.03175 | 0.01587 | 0.01581 | 0.1257 | 15.84 | 2 | 0.01587 | 0.03175 | 1 | 1 | 0 | 0 | 0.02105 | 0 | 0 | 0.02105 | json |
| t12_x0_u0_b45 | 12 | 0 | 0 | 45 | ![]() |
sqt(pow(P,sub(P,P))) | 19233 | 97447257 | o1(o2(x,o2(x,x))) | true | 153871 | 153871 | 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 |
| t12_x0_u0_b46 | 12 | 0 | 0 | 46 | ![]() |
sqt(pow(P,mlt(P,P))) | 19234 | 97447258 | o1(o2(x,o2(x,x))) | true | 153879 | 153879 | 0 | 0.5 | 1 | 1 | 1 | -1 | 1 | 2 | 1 | 1 | 0.01587 | 0 | 0.007937 | 1 | 1 | 0 | 0.03175 | 0.01587 | 0.01581 | 0.1257 | 15.84 | 2 | 0.01587 | 0.03175 | 1 | 1 | 0 | 0 | 0.02105 | 0 | 0 | 0.02105 | json |
| t12_x0_u0_b47 | 12 | 0 | 0 | 47 | ![]() |
sqt(pow(P,div(P,P))) | 19235 | 97447259 | o1(o2(x,o2(x,x))) | true | 153887 | 153887 | -0.125 | 0.4375 | 1 | 0.9844 | 0.9922 | -1 | 1 | 2 | 1 | 0.9887 | 0.01587 | 0 | 0.007937 | 1 | 1 | 0 | 0.03175 | 0.01587 | 0.01581 | 0.1257 | 15.84 | 2 | 0.01612 | 0.03225 | 1 | 1 | 0 | 0 | 0.02105 | 0 | 0 | 0.02139 | json |
| t12_x0_u0_b48 | 12 | 0 | 0 | 48 | ![]() |
sqt(pow(P,pow(P,P))) | 19236 | 97447260 | o1(o2(x,o2(x,x))) | true | 153895 | 153895 | -0.5313 | 0.25 | 0.9688 | 0.6792 | 0.8241 | -1 | 1 | 2 | 1 | 1.163 | 0.0202 | 0 | 0.01587 | 1 | 1 | 0 | 0.03965 | 0.02468 | 0.01994 | 0.1412 | 8.896 | 2 | 0.02974 | 0.05838 | 1 | 1 | 0 | 0 | 0.02728 | 0 | 0 | 0.04017 | json |
| t12_x0_u0_b49 | 12 | 0 | 0 | 49 | ![]() |
sqt(pow(P,mod(P,P))) | 19237 | 97447261 | o1(o2(x,o2(x,x))) | true | 153903 | 153903 | 0.125 | 0.5625 | 1 | 0.9844 | 0.9922 | -1 | 1 | 2 | 1 | 0.9887 | 0.07937 | 0 | 0.03968 | 1 | 1 | 0 | 0.1587 | 0.07937 | 0.07773 | 0.2788 | 7.026 | 2 | 0.08062 | 0.1612 | 1 | 1 | 0 | 0 | 0.1053 | 0 | 0 | 0.1069 | json |
| t12_x0_u0_b50 | 12 | 0 | 0 | 50 | ![]() |
sqt(pow(P,lrg(P,P))) | 19238 | 97447262 | o1(o2(x,o2(x,x))) | true | 153911 | 153911 | 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 |
| t12_x0_u0_b51 | 12 | 0 | 0 | 51 | ![]() |
sqt(pow(P,eql(P,P))) | 19239 | 97447263 | o1(o2(x,o2(x,x))) | true | 153919 | 153919 | -0.03125 | 0.5 | 0.9688 | 0.9603 | 0.98 | -1 | 1 | 2 | 1 | 1.406 | 0.004323 | 0 | 0.007937 | 1 | 1 | -9.386e-13 | 0.007903 | 0.008812 | 0.004259 | 0.06526 | 8.223 | 1 | 0.004502 | 0.008229 | 1 | 1 | 0 | 0 | 0.006228 | 0 | 0 | 0.006485 | json |
| t12_x0_u0_b52 | 12 | 0 | 0 | 52 | ![]() |
sqt(pow(P,min(P,P))) | 19240 | 97447264 | o1(o2(x,o2(x,x))) | true | 153927 | 153927 | 0 | 0.5 | 1 | 1 | 1 | -1 | 1 | 2 | 1 | 1 | 0.01587 | 0 | 0.007937 | 1 | 1 | 0 | 0.03175 | 0.01587 | 0.01581 | 0.1257 | 15.84 | 2 | 0.01587 | 0.03175 | 1 | 1 | 0 | 0 | 0.02105 | 0 | 0 | 0.02105 | json |
| t12_x0_u0_b53 | 12 | 0 | 0 | 53 | ![]() |
sqt(pow(P,dot(P,P))) | 19241 | 97447265 | o1(o2(x,o2(x,x))) | true | 153935 | 153935 | -0.1152 | 0.457 | 0.9707 | 0.9502 | 0.9748 | -1 | 1 | 2 | 1 | 1.388 | 0.0118 | 0.004805 | 0.01388 | 0.4213 | 1 | -1.201e-10 | 0.0335 | 0.02089 | 0.01641 | 0.1281 | 9.23 | 2.828 | 0.01748 | 0.03526 | 1 | 1 | 0 | 0 | 0.007425 | 0 | 0 | 0.007814 | json |
| t12_x0_u0_b54 | 12 | 0 | 0 | 54 | ![]() |
sqt(pow(P,dst(P,P))) | 19242 | 97447266 | o1(o2(x,o2(x,x))) | true | 153943 | 153943 | 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 |
| t12_x0_u0_b55 | 12 | 0 | 0 | 55 | ![]() |
sqt(mod(P,add(P,P))) | 19243 | 97447267 | o1(o2(x,o2(x,x))) | true | 153951 | 153951 | -0.125 | 0.4375 | 1 | 0.9844 | 0.9922 | -1 | 1 | 2 | 1 | 0.9887 | 0.01587 | 0 | 0.007937 | 1 | 1 | 0 | 0.03175 | 0.01587 | 0.01581 | 0.1257 | 15.84 | 2 | 0.01612 | 0.03225 | 1 | 1 | 0 | 0 | 0.02105 | 0 | 0 | 0.02139 | json |
| t12_x0_u0_b56 | 12 | 0 | 0 | 56 | ![]() |
sqt(mod(P,sub(P,P))) | 19244 | 97447268 | o1(o2(x,o2(x,x))) | true | 153959 | 153959 | -0.03125 | 0.5 | 0.9688 | 0.9603 | 0.98 | -1 | 1 | 2 | 1 | 1.406 | 0.004323 | 0 | 0.007937 | 1 | 1 | -9.386e-13 | 0.007903 | 0.008812 | 0.004259 | 0.06526 | 8.223 | 1 | 0.004502 | 0.008229 | 1 | 1 | 0 | 0 | 0.006228 | 0 | 0 | 0.006485 | json |
| t12_x0_u0_b57 | 12 | 0 | 0 | 57 | ![]() |
sqt(mod(P,mlt(P,P))) | 19245 | 97447269 | o1(o2(x,o2(x,x))) | true | 153967 | 153967 | -0.1504 | 0.4375 | 0.9746 | 0.9478 | 0.9736 | -1 | 1 | 2 | 1 | 1.258 | 0.00449 | 0 | 0.007936 | 1 | 1 | 4.735e-10 | 0.007941 | 0.009175 | 0.004426 | 0.06653 | 8.383 | 1 | 0.004738 | 0.008378 | 1 | 1 | 0 | 0 | 0.006645 | 0 | 0 | 0.007011 | json |
| t12_x0_u0_b58 | 12 | 0 | 0 | 58 | ![]() |
sqt(mod(P,div(P,P))) | 19246 | 97447270 | o1(o2(x,o2(x,x))) | true | 153975 | 153975 | -0.4374 | 0.2266 | 0.4376 | 0.2462 | 0.4961 | -1 | 0.0006459 | 1.001 | 1 | 0.9887 | 0.01984 | 0 | 0.01985 | 1 | 1 | -5.771e-8 | 0.03968 | 0.03968 | 0.01943 | 0.1394 | 7.023 | 1 | 0.0806 | 0.1612 | 1 | 1 | 0 | 0 | 0.02632 | 0 | 0 | 0.1069 | json |
| t12_x0_u0_b59 | 12 | 0 | 0 | 59 | ![]() |
sqt(mod(P,pow(P,P))) | 19247 | 97447271 | o1(o2(x,o2(x,x))) | true | 153983 | 153983 | -0.08789 | 0.4375 | 0.9121 | 0.8997 | 0.9485 | -1 | 1 | 2 | 1 | 1.494 | 0.004487 | 0 | 0.007936 | 1 | 1 | 4.733e-10 | 0.008011 | 0.009248 | 0.004423 | 0.06651 | 8.38 | 1 | 0.004987 | 0.008904 | 1 | 1 | 0 | 0 | 0.00659 | 0 | 0 | 0.007325 | json |
| t12_x0_u0_b60 | 12 | 0 | 0 | 60 | ![]() |
sqt(mod(P,mod(P,P))) | 19248 | 97447272 | o1(o2(x,o2(x,x))) | true | 153991 | 153991 | -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.01053 | 0 | 0 | 0.04491 | json |
| t12_x0_u0_b61 | 12 | 0 | 0 | 61 | ![]() |
sqt(mod(P,lrg(P,P))) | 19249 | 97447273 | o1(o2(x,o2(x,x))) | true | 153999 | 153999 | -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_x0_u0_b62 | 12 | 0 | 0 | 62 | ![]() |
sqt(mod(P,eql(P,P))) | 19250 | 97447274 | o1(o2(x,o2(x,x))) | true | 154007 | 154007 | 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_x0_u0_b63 | 12 | 0 | 0 | 63 | ![]() |
sqt(mod(P,min(P,P))) | 19251 | 97447275 | o1(o2(x,o2(x,x))) | true | 154015 | 154015 | -0.2096 | 0.3125 | 0.6654 | 0.6066 | 0.7788 | -1 | 1 | 2 | 1 | 2.027 | 0.02257 | 0 | 0.03564 | 1 | 1 | -0.0002377 | 0.04037 | 0.04681 | 0.0213 | 0.1459 | 4.095 | 1 | 0.03721 | 0.06655 | 1 | 1 | 0 | 0 | 0.03122 | 0 | 0 | 0.05147 | json |
| t12_x0_u0_b64 | 12 | 0 | 0 | 64 | ![]() |
sqt(mod(P,dot(P,P))) | 19252 | 97447276 | o1(o2(x,o2(x,x))) | true | 154023 | 154023 | -0.04446 | 0.4922 | 0.9712 | 0.9628 | 0.9812 | -1 | 1 | 2 | 1 | 1.387 | 0.005008 | 0.001221 | 0.008776 | 0.6078 | 1 | 3.661e-11 | 0.01205 | 0.01083 | 0.006157 | 0.07847 | 8.941 | 2.828 | 0.00647 | 0.01251 | 1 | 1 | 0 | 0 | 0.009575 | 0 | 0 | 0.009945 | json |
| t12_x0_u0_b65 | 12 | 0 | 0 | 65 | ![]() |
sqt(mod(P,dst(P,P))) | 19253 | 97447277 | o1(o2(x,o2(x,x))) | true | 154031 | 154031 | -0.03125 | 0.5 | 0.9688 | 0.9603 | 0.98 | -1 | 1 | 2 | 1 | 1.406 | 0.004323 | 0 | 0.007937 | 1 | 1 | -9.386e-13 | 0.007903 | 0.008812 | 0.004259 | 0.06526 | 8.223 | 1 | 0.004502 | 0.008229 | 1 | 1 | 0 | 0 | 0.006228 | 0 | 0 | 0.006485 | json |
| t12_x0_u0_b66 | 12 | 0 | 0 | 66 | ![]() |
sqt(lrg(P,add(P,P))) | 19254 | 97447278 | o1(o2(x,o2(x,x))) | true | 154039 | 154039 | 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 |
| t12_x0_u0_b67 | 12 | 0 | 0 | 67 | ![]() |
sqt(lrg(P,sub(P,P))) | 19255 | 97447279 | o1(o2(x,o2(x,x))) | true | 154047 | 154047 | 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 |
| t12_x0_u0_b68 | 12 | 0 | 0 | 68 | ![]() |
sqt(lrg(P,mlt(P,P))) | 19256 | 97447280 | o1(o2(x,o2(x,x))) | true | 154055 | 154055 | 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_x0_u0_b69 | 12 | 0 | 0 | 69 | ![]() |
sqt(lrg(P,div(P,P))) | 19257 | 97447281 | o1(o2(x,o2(x,x))) | true | 154063 | 154063 | 0.4688 | 0.5625 | 0.4688 | 0.2287 | 0.4783 | 0 | 1 | 1 | 1 | 1.79 | 0.001059 | 0 | 0.0119 | 1 | 1 | -1.419e-9 | 0.00004864 | 0.002783 | 0.000917 | 0.03028 | 2.545 | 0.1169 | 0.004629 | 0.0002126 | 1 | 1 | 0 | 0 | 0.002776 | 0 | 0 | 0.01214 | json |
| t12_x0_u0_b70 | 12 | 0 | 0 | 70 | ![]() |
sqt(lrg(P,pow(P,P))) | 19258 | 97447282 | o1(o2(x,o2(x,x))) | true | 154071 | 154071 | 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 |
| t12_x0_u0_b71 | 12 | 0 | 0 | 71 | ![]() |
sqt(lrg(P,mod(P,P))) | 19259 | 97447283 | o1(o2(x,o2(x,x))) | true | 154079 | 154079 | 0.3438 | 0.5 | 0.3438 | 0.1918 | 0.4379 | 0 | 1 | 1 | 1 | 2.076 | 0.001764 | 0 | 0.01981 | 1 | 1 | 0.00008984 | 0.00007983 | 0.004549 | 0.001372 | 0.03704 | 1.869 | 0.1169 | 0.009201 | 0.0004163 | 1 | 1 | 0 | 0 | 0.003702 | 0 | 0 | 0.0193 | json |
| t12_x0_u0_b72 | 12 | 0 | 0 | 72 | ![]() |
sqt(lrg(P,lrg(P,P))) | 19260 | 97447284 | o1(o2(x,o2(x,x))) | true | 154087 | 154087 | 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 |
| t12_x0_u0_b73 | 12 | 0 | 0 | 73 | ![]() |
sqt(lrg(P,eql(P,P))) | 19261 | 97447285 | o1(o2(x,o2(x,x))) | true | 154095 | 154095 | 0.4063 | 0.4375 | 0.4063 | 0.2344 | 0.4842 | 0 | 1 | 1 | 1 | 1.302 | 0.0003529 | 0 | 0.003968 | 1 | 1 | -4.731e-10 | 0.00001619 | 0.0009276 | 0.0003372 | 0.01836 | 4.628 | 0.1169 | 0.001505 | 0.00006906 | 1 | 1 | 0 | 0 | 0.0009255 | 0 | 0 | 0.003947 | json |
| t12_x0_u0_b74 | 12 | 0 | 0 | 74 | ![]() |
sqt(lrg(P,min(P,P))) | 19262 | 97447286 | o1(o2(x,o2(x,x))) | true | 154103 | 154103 | 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_x0_u0_b75 | 12 | 0 | 0 | 75 | ![]() |
sqt(lrg(P,dot(P,P))) | 19263 | 97447287 | o1(o2(x,o2(x,x))) | true | 154111 | 154111 | 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_x0_u0_b76 | 12 | 0 | 0 | 76 | ![]() |
sqt(lrg(P,dst(P,P))) | 19264 | 97447288 | o1(o2(x,o2(x,x))) | true | 154119 | 154119 | 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 |
| t12_x0_u0_b77 | 12 | 0 | 0 | 77 | ![]() |
sqt(eql(P,add(P,P))) | 19265 | 97447289 | o1(o2(x,o2(x,x))) | true | 154127 | 154127 | 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 |
| t12_x0_u0_b78 | 12 | 0 | 0 | 78 | ![]() |
sqt(eql(P,sub(P,P))) | 19266 | 97447290 | o1(o2(x,o2(x,x))) | true | 154135 | 154135 | 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 |
| t12_x0_u0_b79 | 12 | 0 | 0 | 79 | ![]() |
sqt(eql(P,mlt(P,P))) | 19267 | 97447291 | o1(o2(x,o2(x,x))) | true | 154143 | 154143 | 0.125 | 0.1875 | 0.125 | 0.09585 | 0.3096 | 0 | 1 | 1 | 1 | 1.067 | 0.0007059 | 0 | 0.007937 | 1 | 1 | -9.461e-10 | 0.00003238 | 0.001855 | 0.0006432 | 0.02536 | 3.195 | 0.1169 | 0.007364 | 0.0003379 | 1 | 1 | 0 | 0 | 0.001851 | 0 | 0 | 0.01931 | json |
| t12_x0_u0_b80 | 12 | 0 | 0 | 80 | ![]() |
sqt(eql(P,div(P,P))) | 19268 | 97447292 | o1(o2(x,o2(x,x))) | true | 154151 | 154151 | 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 |
| t12_x0_u0_b81 | 12 | 0 | 0 | 81 | ![]() |
sqt(eql(P,pow(P,P))) | 19269 | 97447293 | o1(o2(x,o2(x,x))) | true | 154159 | 154159 | 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 |
| t12_x0_u0_b82 | 12 | 0 | 0 | 82 | ![]() |
sqt(eql(P,mod(P,P))) | 19270 | 97447294 | o1(o2(x,o2(x,x))) | true | 154167 | 154167 | 0.375 | 0.625 | 0.375 | 0.1803 | 0.4246 | 0 | 1 | 1 | 1 | 2.555 | 0.002821 | 0 | 0.0316 | 1 | 1 | -0.0001797 | 0.0001273 | 0.007243 | 0.001823 | 0.0427 | 1.351 | 0.1169 | 0.01565 | 0.000706 | 1 | 1 | 0 | 0 | 0.00555 | 0 | 0 | 0.03079 | json |
| t12_x0_u0_b83 | 12 | 0 | 0 | 83 | ![]() |
sqt(eql(P,lrg(P,P))) | 19271 | 97447295 | o1(o2(x,o2(x,x))) | true | 154175 | 154175 | 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 |
| t12_x0_u0_b84 | 12 | 0 | 0 | 84 | ![]() |
sqt(eql(P,eql(P,P))) | 19272 | 97447296 | o1(o2(x,o2(x,x))) | true | 154183 | 154183 | 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 |
| t12_x0_u0_b85 | 12 | 0 | 0 | 85 | ![]() |
sqt(eql(P,min(P,P))) | 19273 | 97447297 | o1(o2(x,o2(x,x))) | true | 154191 | 154191 | 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 |
| t12_x0_u0_b86 | 12 | 0 | 0 | 86 | ![]() |
sqt(eql(P,dot(P,P))) | 19274 | 97447298 | o1(o2(x,o2(x,x))) | true | 154199 | 154199 | 0.007812 | 0.02258 | 0.007812 | 0.005398 | 0.07347 | 0 | 0.9997 | 0.9997 | 1 | 0.1706 | 0.00003512 | 0.00007993 | 0.001346 | -0.3895 | 1 | 2.58e-11 | 0.000006278 | 0.0003238 | 0.0001133 | 0.01064 | 7.91 | 0.1169 | 0.02131 | 0.001163 | 1 | 1 | 0 | 0 | 0.0004001 | 0 | 0 | 0.07412 | json |
| t12_x0_u0_b87 | 12 | 0 | 0 | 87 | ![]() |
sqt(eql(P,dst(P,P))) | 19275 | 97447299 | o1(o2(x,o2(x,x))) | true | 154207 | 154207 | 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 |
| t12_x0_u0_b88 | 12 | 0 | 0 | 88 | ![]() |
sqt(min(P,add(P,P))) | 19276 | 97447300 | o1(o2(x,o2(x,x))) | true | 154215 | 154215 | -0.03125 | 0.5 | 0.9688 | 0.9603 | 0.98 | -1 | 1 | 2 | 1 | 1.406 | 0.004323 | 0 | 0.007937 | 1 | 1 | -9.386e-13 | 0.007903 | 0.008812 | 0.004259 | 0.06526 | 8.223 | 1 | 0.004502 | 0.008229 | 1 | 1 | 0 | 0 | 0.006228 | 0 | 0 | 0.006485 | json |
| t12_x0_u0_b89 | 12 | 0 | 0 | 89 | ![]() |
sqt(min(P,sub(P,P))) | 19277 | 97447301 | o1(o2(x,o2(x,x))) | true | 154223 | 154223 | -0.5 | 0 | 0.5 | 0.25 | 0.5 | -1 | 0 | 1 | 1 | 1 | 0.003968 | 0 | 0.003968 | 1 | 1 | 0 | 0.007937 | 0.007937 | 0.003952 | 0.06287 | 15.84 | 1 | 0.01587 | 0.03175 | 1 | 1 | 0 | 0 | 0.005263 | 0 | 0 | 0.02105 | json |
| t12_x0_u0_b90 | 12 | 0 | 0 | 90 | ![]() |
sqt(min(P,mlt(P,P))) | 19278 | 97447302 | o1(o2(x,o2(x,x))) | true | 154231 | 154231 | -0.03125 | 0.5 | 0.9688 | 0.9603 | 0.98 | -1 | 1 | 2 | 1 | 1.406 | 0.004323 | 0 | 0.007937 | 1 | 1 | -9.386e-13 | 0.007903 | 0.008812 | 0.004259 | 0.06526 | 8.223 | 1 | 0.004502 | 0.008229 | 1 | 1 | 0 | 0 | 0.006228 | 0 | 0 | 0.006485 | json |
| t12_x0_u0_b91 | 12 | 0 | 0 | 91 | ![]() |
sqt(min(P,div(P,P))) | 19279 | 97447303 | o1(o2(x,o2(x,x))) | true | 154239 | 154239 | -0.03125 | 0.5 | 0.9688 | 0.9603 | 0.98 | -1 | 1 | 2 | 1 | 1.406 | 0.004323 | 0 | 0.007937 | 1 | 1 | 3.783e-9 | 0.007903 | 0.008812 | 0.004259 | 0.06526 | 8.223 | 1 | 0.004502 | 0.008229 | 1 | 1 | 0 | 0 | 0.006228 | 0 | 0 | 0.006485 | json |
| t12_x0_u0_b92 | 12 | 0 | 0 | 92 | ![]() |
sqt(min(P,pow(P,P))) | 19280 | 97447304 | o1(o2(x,o2(x,x))) | true | 154247 | 154247 | -0.03125 | 0.5 | 0.9688 | 0.9603 | 0.98 | -1 | 1 | 2 | 1 | 1.406 | 0.004323 | 0 | 0.007937 | 1 | 1 | -9.386e-13 | 0.007903 | 0.008812 | 0.004259 | 0.06526 | 8.223 | 1 | 0.004502 | 0.008229 | 1 | 1 | 0 | 0 | 0.006228 | 0 | 0 | 0.006485 | json |
| t12_x0_u0_b93 | 12 | 0 | 0 | 93 | ![]() |
sqt(min(P,mod(P,P))) | 19281 | 97447305 | o1(o2(x,o2(x,x))) | true | 154255 | 154255 | -0.2721 | 0.3125 | 0.7279 | 0.6391 | 0.7995 | -1 | 1 | 2 | 1 | 1.973 | 0.006697 | 0 | 0.01977 | 1 | 1 | -0.0002377 | 0.008624 | 0.01507 | 0.00631 | 0.07944 | 4.019 | 1 | 0.01048 | 0.01349 | 1 | 1 | 0 | 0 | 0.01017 | 0 | 0 | 0.01591 | json |
| t12_x0_u0_b94 | 12 | 0 | 0 | 94 | ![]() |
sqt(min(P,lrg(P,P))) | 19282 | 97447306 | o1(o2(x,o2(x,x))) | true | 154263 | 154263 | -0.5 | 0 | 0.5 | 0.25 | 0.5 | -1 | 0 | 1 | 1 | 1 | 0.003968 | 0 | 0.003968 | 1 | 1 | 0 | 0.007937 | 0.007937 | 0.003952 | 0.06287 | 15.84 | 1 | 0.01587 | 0.03175 | 1 | 1 | 0 | 0 | 0.005263 | 0 | 0 | 0.02105 | json |
| t12_x0_u0_b95 | 12 | 0 | 0 | 95 | ![]() |
sqt(min(P,eql(P,P))) | 19283 | 97447307 | o1(o2(x,o2(x,x))) | true | 154271 | 154271 | -0.03125 | 0.5 | 0.9688 | 0.9603 | 0.98 | -1 | 1 | 2 | 1 | 1.406 | 0.004323 | 0 | 0.007937 | 1 | 1 | -9.386e-13 | 0.007903 | 0.008812 | 0.004259 | 0.06526 | 8.223 | 1 | 0.004502 | 0.008229 | 1 | 1 | 0 | 0 | 0.006228 | 0 | 0 | 0.006485 | json |
| t12_x0_u0_b96 | 12 | 0 | 0 | 96 | ![]() |
sqt(min(P,min(P,P))) | 19284 | 97447308 | o1(o2(x,o2(x,x))) | true | 154279 | 154279 | -0.03125 | 0.5 | 0.9688 | 0.9603 | 0.98 | -1 | 1 | 2 | 1 | 1.406 | 0.004323 | 0 | 0.007937 | 1 | 1 | -9.386e-13 | 0.007903 | 0.008812 | 0.004259 | 0.06526 | 8.223 | 1 | 0.004502 | 0.008229 | 1 | 1 | 0 | 0 | 0.006228 | 0 | 0 | 0.006485 | json |
| t12_x0_u0_b97 | 12 | 0 | 0 | 97 | ![]() |
sqt(min(P,dot(P,P))) | 19285 | 97447309 | o1(o2(x,o2(x,x))) | true | 154287 | 154287 | -0.03125 | 0.5 | 0.9688 | 0.9603 | 0.98 | -1 | 1 | 2 | 1 | 1.406 | 0.004323 | 0 | 0.007937 | 1 | 1 | -9.386e-13 | 0.007903 | 0.008812 | 0.004259 | 0.06526 | 8.223 | 1 | 0.004502 | 0.008229 | 1 | 1 | 0 | 0 | 0.006228 | 0 | 0 | 0.006485 | json |
| t12_x0_u0_b98 | 12 | 0 | 0 | 98 | ![]() |
sqt(min(P,dst(P,P))) | 19286 | 97447310 | o1(o2(x,o2(x,x))) | true | 154295 | 154295 | -0.5 | 0 | 0.5 | 0.25 | 0.5 | -1 | 0 | 1 | 1 | 1 | 0.003968 | 0 | 0.003968 | 1 | 1 | 0 | 0.007937 | 0.007937 | 0.003952 | 0.06287 | 15.84 | 1 | 0.01587 | 0.03175 | 1 | 1 | 0 | 0 | 0.005263 | 0 | 0 | 0.02105 | json |
| t12_x0_u0_b99 | 12 | 0 | 0 | 99 | ![]() |
sqt(dot(P,add(P,P))) | 19287 | 97447311 | o1(o2(x,o2(x,x))) | true | 154303 | 154303 | 0.9976 | 1 | 0.9976 | 0.001627 | 0.04034 | 0.0008231 | 1 | 0.9992 | 1 | 0.05651 | 0.00004775 | 0.00004775 | 0.000672 | -6.094e-7 | 0 | -1.126e-11 | 0.00002653 | 0.0003044 | 0.00009507 | 0.00975 | 14.51 | 0.183 | 0.0587 | 0.0163 | 1 | 1 | 0 | 0 | 0.0003192 | 0 | 0 | 0.1962 | json |
| t12_x0_u0_b100 | 12 | 0 | 0 | 100 | ![]() |
sqt(dot(P,sub(P,P))) | 19288 | 97447312 | o1(o2(x,o2(x,x))) | true | 154311 | 154311 | 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_x0_u0_b101 | 12 | 0 | 0 | 101 | ![]() |
sqt(dot(P,mlt(P,P))) | 19289 | 97447313 | o1(o2(x,o2(x,x))) | true | 154319 | 154319 | -0.06641 | 0.4688 | 0.9961 | 0.9902 | 0.9951 | -1 | 1 | 2 | 1 | 1.078 | 0.01216 | 0.01216 | 0.01432 | 0 | 1 | -6.758e-11 | 0.05038 | 0.02697 | 0.02412 | 0.1553 | 10.85 | 2.828 | 0.02456 | 0.05088 | 1 | 1 | 0 | 0 | 0.03256 | 0 | 0 | 0.03289 | json |
| t12_x0_u0_b102 | 12 | 0 | 0 | 102 | ![]() |
sqt(dot(P,div(P,P))) | 19290 | 97447314 | o1(o2(x,o2(x,x))) | true | 154327 | 154327 | -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_x0_u0_b103 | 12 | 0 | 0 | 103 | ![]() |
sqt(dot(P,pow(P,P))) | 19291 | 97447315 | o1(o2(x,o2(x,x))) | true | 154335 | 154335 | -0.5009 | 0.25 | 0.9991 | 0.7481 | 0.8649 | -1 | 1 | 2 | 1 | 0.834 | 0.007541 | 0.007541 | 0.007881 | -9.262e-8 | 1 | 1.577e-10 | 0.03016 | 0.01542 | 0.01502 | 0.1226 | 15.55 | 2 | 0.02016 | 0.04031 | 1 | 1 | 0 | 0 | 0.0197 | 0 | 0 | 0.02634 | json |
| t12_x0_u0_b104 | 12 | 0 | 0 | 104 | ![]() |
sqt(dot(P,mod(P,P))) | 19292 | 97447316 | o1(o2(x,o2(x,x))) | true | 154343 | 154343 | -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_x0_u0_b105 | 12 | 0 | 0 | 105 | ![]() |
sqt(dot(P,lrg(P,P))) | 19293 | 97447317 | o1(o2(x,o2(x,x))) | true | 154351 | 154351 | 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_x0_u0_b106 | 12 | 0 | 0 | 106 | ![]() |
sqt(dot(P,eql(P,P))) | 19294 | 97447318 | o1(o2(x,o2(x,x))) | true | 154359 | 154359 | -0.07585 | 0.4688 | 0.9866 | 0.976 | 0.9879 | -1 | 1 | 2 | 1 | 1.255 | 0.009065 | 0.009065 | 0.0139 | -5.137e-8 | 1 | 0.000001956 | 0.03792 | 0.02314 | 0.01794 | 0.1339 | 9.633 | 2.828 | 0.01858 | 0.03886 | 1 | 1 | 0 | 0 | 0.02495 | 0 | 0 | 0.02557 | json |
| t12_x0_u0_b107 | 12 | 0 | 0 | 107 | ![]() |
sqt(dot(P,min(P,P))) | 19295 | 97447319 | o1(o2(x,o2(x,x))) | true | 154367 | 154367 | 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 |
| t12_x0_u0_b108 | 12 | 0 | 0 | 108 | ![]() |
sqt(dot(P,dot(P,P))) | 19296 | 97447320 | o1(o2(x,o2(x,x))) | true | 154375 | 154375 | -0.06674 | 0.4688 | 0.9958 | 0.9897 | 0.9949 | -1 | 1 | 2 | 1 | 1.084 | 0.01198 | 0.01198 | 0.01429 | -1.166e-7 | 1 | -3.379e-11 | 0.04963 | 0.02677 | 0.02376 | 0.1541 | 10.79 | 2.828 | 0.02421 | 0.05015 | 1 | 1 | 0 | 0 | 0.03208 | 0 | 0 | 0.03241 | json |
| t12_x0_u0_b109 | 12 | 0 | 0 | 109 | ![]() |
sqt(dot(P,dst(P,P))) | 19297 | 97447321 | o1(o2(x,o2(x,x))) | true | 154383 | 154383 | 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_x0_u0_b110 | 12 | 0 | 0 | 110 | ![]() |
sqt(dst(P,add(P,P))) | 19298 | 97447322 | o1(o2(x,o2(x,x))) | true | 154391 | 154391 | 0.9963 | 1 | 0.9963 | 0.002333 | 0.0483 | 0.000582 | 1 | 0.9994 | 1 | 0.0975 | 0.00003754 | 0.00003754 | 0.0008214 | -9.69e-8 | 0 | -1.427e-10 | 0.000006666 | 0.0002158 | 0.00007432 | 0.008621 | 10.5 | 0.1194 | 0.03219 | 0.002858 | 1 | 1 | 0 | 0 | 0.00026 | 0 | 0 | 0.1114 | json |
| t12_x0_u0_b111 | 12 | 0 | 0 | 111 | ![]() |
sqt(dst(P,sub(P,P))) | 19299 | 97447323 | o1(o2(x,o2(x,x))) | true | 154399 | 154399 | 0.9963 | 1 | 0.9963 | 0.002333 | 0.0483 | 0.000582 | 1 | 0.9994 | 1 | 0.0975 | 0.00003754 | 0.00003754 | 0.0008214 | -9.69e-8 | 0 | -1.427e-10 | 0.000006666 | 0.0002158 | 0.00007432 | 0.008621 | 10.5 | 0.1194 | 0.03219 | 0.002858 | 1 | 1 | 0 | 0 | 0.00026 | 0 | 0 | 0.1114 | json |



































































































