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_u5_b107 | 12 | 0 | 5 | 107 | ![]() |
sgn(dot(P,min(P,P))) | 19900 | 97448324 | o1(o2(x,o2(x,x))) | true | 159207 | 159207 | 0.9961 | 1 | 0.9961 | 0.002383 | 0.04882 | 0.000582 | 1 | 0.9994 | 1 | 0.1068 | 0.00003512 | 0.00003512 | 0.0008419 | 6.216e-7 | 0 | -1.577e-10 | 0.000004222 | 0.000206 | 0.00006942 | 0.008332 | 9.897 | 0.1169 | 0.02947 | 0.001772 | 1 | 1 | 0 | 0 | 0.0002443 | 0 | 0 | 0.1025 | json |
| t12_x0_u5_b108 | 12 | 0 | 5 | 108 | ![]() |
sgn(dot(P,dot(P,P))) | 19901 | 97448325 | o1(o2(x,o2(x,x))) | true | 159215 | 159215 | 6.985e-10 | 0.498 | 0.9349 | 0.9146 | 0.9564 | -1 | 1 | 2 | 1 | 2.022 | 0.0006161 | 0.0006161 | 0.01247 | 5.196e-7 | 1 | 4.881e-10 | 0.00006356 | 0.002676 | 0.001077 | 0.03282 | 2.631 | 0.1653 | 0.001347 | 0.00006949 | 1 | 1 | 0 | 0 | 0.003194 | 0 | 0 | 0.003492 | json |
| t12_x0_u5_b109 | 12 | 0 | 5 | 109 | ![]() |
sgn(dot(P,dst(P,P))) | 19902 | 97448326 | o1(o2(x,o2(x,x))) | true | 159223 | 159223 | 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_u5_b110 | 12 | 0 | 5 | 110 | ![]() |
sgn(dst(P,add(P,P))) | 19903 | 97448327 | o1(o2(x,o2(x,x))) | true | 159231 | 159231 | 0.9961 | 1 | 0.9961 | 0.002383 | 0.04882 | 0.000582 | 1 | 0.9994 | 1 | 0.1068 | 0.00003512 | 0.00003512 | 0.0008419 | 6.216e-7 | 0 | -1.577e-10 | 0.000004222 | 0.000206 | 0.00006942 | 0.008332 | 9.897 | 0.1169 | 0.02947 | 0.001772 | 1 | 1 | 0 | 0 | 0.0002443 | 0 | 0 | 0.1025 | json |
| t12_x0_u5_b111 | 12 | 0 | 5 | 111 | ![]() |
sgn(dst(P,sub(P,P))) | 19904 | 97448328 | o1(o2(x,o2(x,x))) | true | 159239 | 159239 | 0.9961 | 1 | 0.9961 | 0.002383 | 0.04882 | 0.000582 | 1 | 0.9994 | 1 | 0.1068 | 0.00003512 | 0.00003512 | 0.0008419 | 6.216e-7 | 0 | -1.577e-10 | 0.000004222 | 0.000206 | 0.00006942 | 0.008332 | 9.897 | 0.1169 | 0.02947 | 0.001772 | 1 | 1 | 0 | 0 | 0.0002443 | 0 | 0 | 0.1025 | json |
| t12_x0_u5_b112 | 12 | 0 | 5 | 112 | ![]() |
sgn(dst(P,mlt(P,P))) | 19905 | 97448329 | o1(o2(x,o2(x,x))) | true | 159247 | 159247 | 0.9844 | 0.9961 | 0.9844 | 0.01218 | 0.1104 | 0 | 1 | 1 | 1 | 0.2588 | 0.00007993 | 0.00007993 | 0.00185 | 6.827e-7 | 1 | -2.403e-10 | 0.000008331 | 0.0004416 | 0.0001566 | 0.01251 | 6.765 | 0.1169 | 0.01312 | 0.0006839 | 1 | 1 | 0 | 0 | 0.000556 | 0 | 0 | 0.04564 | json |
| t12_x0_u5_b113 | 12 | 0 | 5 | 113 | ![]() |
sgn(dst(P,div(P,P))) | 19906 | 97448330 | o1(o2(x,o2(x,x))) | true | 159255 | 159255 | 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_u5_b114 | 12 | 0 | 5 | 114 | ![]() |
sgn(dst(P,pow(P,P))) | 19907 | 97448331 | o1(o2(x,o2(x,x))) | true | 159263 | 159263 | -0.4355 | 0.2821 | 0.9795 | 0.7821 | 0.8843 | -1 | 1 | 2 | 1 | 1.205 | 0.000741 | 0.000741 | 0.008368 | 0.000001453 | 1 | 9.386e-11 | 0.00006899 | 0.001958 | 0.001411 | 0.03757 | 4.489 | 0.2338 | 0.001895 | 0.00008821 | 1 | 1 | 0 | 0 | 0.003946 | 0 | 0 | 0.005046 | json |
| t12_x0_u5_b115 | 12 | 0 | 5 | 115 | ![]() |
sgn(dst(P,mod(P,P))) | 19908 | 97448332 | o1(o2(x,o2(x,x))) | true | 159271 | 159271 | 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_u5_b116 | 12 | 0 | 5 | 116 | ![]() |
sgn(dst(P,lrg(P,P))) | 19909 | 97448333 | o1(o2(x,o2(x,x))) | true | 159279 | 159279 | 0.9961 | 1 | 0.9961 | 0.002383 | 0.04882 | 0.000582 | 1 | 0.9994 | 1 | 0.1068 | 0.00003512 | 0.00003512 | 0.0008419 | 6.216e-7 | 0 | -1.577e-10 | 0.000004222 | 0.000206 | 0.00006942 | 0.008332 | 9.897 | 0.1169 | 0.02947 | 0.001772 | 1 | 1 | 0 | 0 | 0.0002443 | 0 | 0 | 0.1025 | json |
| t12_x0_u5_b117 | 12 | 0 | 5 | 117 | ![]() |
sgn(dst(P,eql(P,P))) | 19910 | 97448334 | o1(o2(x,o2(x,x))) | true | 159287 | 159287 | 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_u5_b118 | 12 | 0 | 5 | 118 | ![]() |
sgn(dst(P,min(P,P))) | 19911 | 97448335 | o1(o2(x,o2(x,x))) | true | 159295 | 159295 | 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_u5_b119 | 12 | 0 | 5 | 119 | ![]() |
sgn(dst(P,dot(P,P))) | 19912 | 97448336 | o1(o2(x,o2(x,x))) | true | 159303 | 159303 | 0.9961 | 1 | 0.9961 | 0.002383 | 0.04882 | 0.000582 | 1 | 0.9994 | 1 | 0.1068 | 0.00003512 | 0.00003512 | 0.0008419 | 6.216e-7 | 0 | -1.577e-10 | 0.000004222 | 0.000206 | 0.00006942 | 0.008332 | 9.897 | 0.1169 | 0.02947 | 0.001772 | 1 | 1 | 0 | 0 | 0.0002443 | 0 | 0 | 0.1025 | json |
| t12_x0_u5_b120 | 12 | 0 | 5 | 120 | ![]() |
sgn(dst(P,dst(P,P))) | 19913 | 97448337 | o1(o2(x,o2(x,x))) | true | 159311 | 159311 | 0.9961 | 1 | 0.9961 | 0.002383 | 0.04882 | 0.000582 | 1 | 0.9994 | 1 | 0.1068 | 0.00003512 | 0.00003512 | 0.0008419 | 6.216e-7 | 0 | -1.577e-10 | 0.000004222 | 0.000206 | 0.00006942 | 0.008332 | 9.897 | 0.1169 | 0.02947 | 0.001772 | 1 | 1 | 0 | 0 | 0.0002443 | 0 | 0 | 0.1025 | json |
| t12_x0_u6_b0 | 12 | 0 | 6 | 0 | ![]() |
nrm(add(P,add(P,P))) | 19914 | 97448418 | o1(o2(x,o2(x,x))) | true | 159319 | 159319 | -0.01562 | 0.4896 | 0.6504 | 0.5048 | 0.7105 | -1 | 1 | 2 | 1 | 4.761 | 0.001863 | 0.00124 | 0.0104 | 0.2009 | 1 | 1.854e-11 | 0.00612 | 0.00575 | 0.002995 | 0.05473 | 5.261 | 2.414 | 0.006147 | 0.01212 | 1 | 1 | 0 | 0 | 0.005637 | 0 | 0 | 0.01117 | json |
| t12_x0_u6_b1 | 12 | 0 | 6 | 1 | ![]() |
nrm(add(P,sub(P,P))) | 19915 | 97448419 | o1(o2(x,o2(x,x))) | true | 159327 | 159327 | -0.01562 | 0.4896 | 0.6504 | 0.5048 | 0.7105 | -1 | 1 | 2 | 1 | 4.761 | 0.001863 | 0.00124 | 0.0104 | 0.2009 | 1 | 3.065e-10 | 0.00612 | 0.00575 | 0.002995 | 0.05473 | 5.261 | 2.414 | 0.006147 | 0.01212 | 1 | 1 | 0 | 0 | 0.005637 | 0 | 0 | 0.01117 | json |
| t12_x0_u6_b2 | 12 | 0 | 6 | 2 | ![]() |
nrm(add(P,mlt(P,P))) | 19916 | 97448420 | o1(o2(x,o2(x,x))) | true | 159335 | 159335 | 0.5448 | 0.9085 | 0.6151 | 0.2175 | 0.4664 | -1 | 1 | 2 | 1 | 3.599 | 0.0056 | 0.002482 | 0.01318 | 0.3858 | 1 | -0.000004345 | 0.0162 | 0.01117 | 0.007908 | 0.08893 | 6.748 | 2.414 | 0.03716 | 0.07451 | 1 | 1 | 0 | 0 | 0.01441 | 0 | 0 | 0.06624 | json |
| t12_x0_u6_b3 | 12 | 0 | 6 | 3 | ![]() |
nrm(add(P,div(P,P))) | 19917 | 97448421 | o1(o2(x,o2(x,x))) | true | 159343 | 159343 | -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_u6_b4 | 12 | 0 | 6 | 4 | ![]() |
nrm(add(P,pow(P,P))) | 19918 | 97448422 | o1(o2(x,o2(x,x))) | true | 159351 | 159351 | -0.615 | 0.2245 | 0.885 | 0.4934 | 0.7024 | -1 | 1 | 2 | 1 | 1.469 | 0.002582 | 0.007602 | 0.008889 | -0.4929 | 1 | -0.000001623 | 0.02021 | 0.01274 | 0.0101 | 0.1005 | 11.31 | 2 | 0.02064 | 0.04096 | 1 | 1 | 0 | 0 | 0.01369 | 0 | 0 | 0.02775 | json |
| t12_x0_u6_b5 | 12 | 0 | 6 | 5 | ![]() |
nrm(add(P,mod(P,P))) | 19919 | 97448423 | o1(o2(x,o2(x,x))) | true | 159359 | 159359 | -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_u6_b6 | 12 | 0 | 6 | 6 | ![]() |
nrm(add(P,lrg(P,P))) | 19920 | 97448424 | o1(o2(x,o2(x,x))) | true | 159367 | 159367 | -0.01562 | 0.4896 | 0.6504 | 0.5048 | 0.7105 | -1 | 1 | 2 | 1 | 4.761 | 0.001863 | 0.00124 | 0.0104 | 0.2009 | 1 | 3.065e-10 | 0.00612 | 0.00575 | 0.002995 | 0.05473 | 5.261 | 2.414 | 0.006147 | 0.01212 | 1 | 1 | 0 | 0 | 0.005637 | 0 | 0 | 0.01117 | json |
| t12_x0_u6_b7 | 12 | 0 | 6 | 7 | ![]() |
nrm(add(P,eql(P,P))) | 19921 | 97448425 | o1(o2(x,o2(x,x))) | true | 159375 | 159375 | 0.1089 | 0.5598 | 0.6244 | 0.4582 | 0.6769 | -0.9899 | 0.9939 | 1.984 | 1 | 4.825 | 0.0001389 | 0.00002473 | 0.008784 | 0.6978 | 1 | -0.000002259 | 0.000007571 | 0.001815 | 0.00008649 | 0.0093 | 1.059 | 0.08265 | 0.0003572 | 0.00001652 | 1 | 1 | 0 | 0 | 0.0004987 | 0 | 0 | 0.001088 | json |
| t12_x0_u6_b8 | 12 | 0 | 6 | 8 | ![]() |
nrm(add(P,min(P,P))) | 19922 | 97448426 | o1(o2(x,o2(x,x))) | true | 159383 | 159383 | -0.01562 | 0.4896 | 0.6504 | 0.5048 | 0.7105 | -1 | 1 | 2 | 1 | 4.761 | 0.001863 | 0.00124 | 0.0104 | 0.2009 | 1 | 3.065e-10 | 0.00612 | 0.00575 | 0.002995 | 0.05473 | 5.261 | 2.414 | 0.006147 | 0.01212 | 1 | 1 | 0 | 0 | 0.005637 | 0 | 0 | 0.01117 | json |
| t12_x0_u6_b9 | 12 | 0 | 6 | 9 | ![]() |
nrm(add(P,dot(P,P))) | 19923 | 97448427 | o1(o2(x,o2(x,x))) | true | 159391 | 159391 | 0.5475 | 0.9844 | 0.5788 | 0.04291 | 0.2071 | -1 | 0.8165 | 1.816 | 1 | 2.255 | 0.002282 | 0.002434 | 0.004496 | -0.03237 | 1 | 1.033e-7 | 0.00971 | 0.006378 | 0.004696 | 0.06853 | 15.24 | 2.319 | 0.1099 | 0.2263 | 1 | 1 | 0 | 0 | 0.008316 | 0 | 0 | 0.1938 | json |
| t12_x0_u6_b10 | 12 | 0 | 6 | 10 | ![]() |
nrm(add(P,dst(P,P))) | 19924 | 97448428 | o1(o2(x,o2(x,x))) | true | 159399 | 159399 | -0.01562 | 0.4896 | 0.6504 | 0.5048 | 0.7105 | -1 | 1 | 2 | 1 | 4.761 | 0.001863 | 0.00124 | 0.0104 | 0.2009 | 1 | 3.065e-10 | 0.00612 | 0.00575 | 0.002995 | 0.05473 | 5.261 | 2.414 | 0.006147 | 0.01212 | 1 | 1 | 0 | 0 | 0.005637 | 0 | 0 | 0.01117 | json |
| t12_x0_u6_b11 | 12 | 0 | 6 | 11 | ![]() |
nrm(sub(P,add(P,P))) | 19925 | 97448429 | o1(o2(x,o2(x,x))) | true | 159407 | 159407 | -0.01563 | 0.4896 | 0.6504 | 0.5048 | 0.7105 | -1 | 1 | 2 | 1 | 4.761 | 0.001863 | 0.00124 | 0.01041 | 0.2009 | 1 | -1.788e-10 | 0.00612 | 0.00575 | 0.002995 | 0.05472 | 5.255 | 2 | 0.006147 | 0.01212 | 1 | 1 | 0 | 0 | 0.005637 | 0 | 0 | 0.01117 | json |
| t12_x0_u6_b12 | 12 | 0 | 6 | 12 | ![]() |
nrm(sub(P,sub(P,P))) | 19926 | 97448430 | o1(o2(x,o2(x,x))) | true | 159415 | 159415 | -0.01562 | 0.4896 | 0.6504 | 0.5048 | 0.7105 | -1 | 1 | 2 | 1 | 4.761 | 0.001863 | 0.00124 | 0.0104 | 0.2009 | 1 | 3.065e-10 | 0.00612 | 0.00575 | 0.002995 | 0.05473 | 5.261 | 2.414 | 0.006147 | 0.01212 | 1 | 1 | 0 | 0 | 0.005637 | 0 | 0 | 0.01117 | json |
| t12_x0_u6_b13 | 12 | 0 | 6 | 13 | ![]() |
nrm(sub(P,mlt(P,P))) | 19927 | 97448431 | o1(o2(x,o2(x,x))) | true | 159423 | 159423 | -0.6151 | 0 | 0.6151 | 0.1359 | 0.3687 | -1 | 0 | 1 | 1 | 3.564 | 0.0001433 | 0.001057 | 0.009754 | -0.7612 | 1 | 0.000004344 | 0.002085 | 0.004292 | 0.001105 | 0.03324 | 3.408 | 1 | 0.008829 | 0.01534 | 1 | 1 | 0 | 0 | 0.002304 | 0 | 0 | 0.01695 | json |
| t12_x0_u6_b14 | 12 | 0 | 6 | 14 | ![]() |
nrm(sub(P,div(P,P))) | 19928 | 97448432 | o1(o2(x,o2(x,x))) | true | 159431 | 159431 | -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_u6_b15 | 12 | 0 | 6 | 15 | ![]() |
nrm(sub(P,pow(P,P))) | 19929 | 97448433 | o1(o2(x,o2(x,x))) | true | 159439 | 159439 | -0.8792 | 0 | 0.8792 | 0.09427 | 0.307 | -1 | -1.745e-11 | 1 | 1 | 1.031 | 0.001564 | 0.0003143 | 0.005235 | 0.6654 | 1 | 0.000001624 | 0.00344 | 0.004651 | 0.001852 | 0.04303 | 8.22 | 1 | 0.01993 | 0.03649 | 1 | 1 | 0 | 0 | 0.002597 | 0 | 0 | 0.02754 | json |
| t12_x0_u6_b16 | 12 | 0 | 6 | 16 | ![]() |
nrm(sub(P,mod(P,P))) | 19930 | 97448434 | o1(o2(x,o2(x,x))) | true | 159447 | 159447 | -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_u6_b17 | 12 | 0 | 6 | 17 | ![]() |
nrm(sub(P,lrg(P,P))) | 19931 | 97448435 | o1(o2(x,o2(x,x))) | true | 159455 | 159455 | -0.01562 | 0.4896 | 0.6504 | 0.5048 | 0.7105 | -1 | 1 | 2 | 1 | 4.761 | 0.001863 | 0.00124 | 0.0104 | 0.2009 | 1 | 3.065e-10 | 0.00612 | 0.00575 | 0.002995 | 0.05473 | 5.261 | 2.414 | 0.006147 | 0.01212 | 1 | 1 | 0 | 0 | 0.005637 | 0 | 0 | 0.01117 | json |
| t12_x0_u6_b18 | 12 | 0 | 6 | 18 | ![]() |
nrm(sub(P,eql(P,P))) | 19932 | 97448436 | o1(o2(x,o2(x,x))) | true | 159463 | 159463 | -0.1089 | 0.4348 | 0.6245 | 0.4582 | 0.6769 | -0.9939 | 0.9899 | 1.984 | 1 | 4.825 | 0.0001389 | 0.00002473 | 0.008785 | 0.6978 | 1 | 0.00000226 | 0.000007571 | 0.001815 | 0.00008647 | 0.009299 | 1.058 | 0.08265 | 0.0003572 | 0.00001652 | 1 | 1 | 0 | 0 | 0.0004988 | 0 | 0 | 0.001088 | json |
| t12_x0_u6_b19 | 12 | 0 | 6 | 19 | ![]() |
nrm(sub(P,min(P,P))) | 19933 | 97448437 | o1(o2(x,o2(x,x))) | true | 159471 | 159471 | 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_u6_b20 | 12 | 0 | 6 | 20 | ![]() |
nrm(sub(P,dot(P,P))) | 19934 | 97448438 | o1(o2(x,o2(x,x))) | true | 159479 | 159479 | -0.5788 | 0 | 0.5788 | 0.007712 | 0.08782 | -1 | -0.0001748 | 0.9998 | 1 | 2.255 | 0.000392 | 0.0002436 | 0.002471 | 0.2336 | 1 | -1.028e-7 | 0.001285 | 0.002299 | 0.0006295 | 0.02509 | 10.15 | 0.9998 | 0.08241 | 0.1666 | 1 | 1 | 0 | 0 | 0.001136 | 0 | 0 | 0.1473 | json |
| t12_x0_u6_b21 | 12 | 0 | 6 | 21 | ![]() |
nrm(sub(P,dst(P,P))) | 19935 | 97448439 | o1(o2(x,o2(x,x))) | true | 159487 | 159487 | -0.01562 | 0.4896 | 0.6504 | 0.5048 | 0.7105 | -1 | 1 | 2 | 1 | 4.761 | 0.001863 | 0.00124 | 0.0104 | 0.2009 | 1 | 3.065e-10 | 0.00612 | 0.00575 | 0.002995 | 0.05473 | 5.261 | 2.414 | 0.006147 | 0.01212 | 1 | 1 | 0 | 0 | 0.005637 | 0 | 0 | 0.01117 | json |
| t12_x0_u6_b22 | 12 | 0 | 6 | 22 | ![]() |
nrm(mlt(P,add(P,P))) | 19936 | 97448440 | o1(o2(x,o2(x,x))) | true | 159495 | 159495 | 0.5801 | 0.9782 | 0.6114 | 0.1675 | 0.4093 | -1 | 1 | 2 | 1 | 3.609 | 0.003595 | 0.001991 | 0.01247 | 0.2873 | 1 | -0.000004539 | 0.01117 | 0.008318 | 0.00543 | 0.07369 | 5.909 | 2.414 | 0.03335 | 0.06668 | 1 | 1 | 0 | 0 | 0.01006 | 0 | 0 | 0.06006 | json |
| t12_x0_u6_b23 | 12 | 0 | 6 | 23 | ![]() |
nrm(mlt(P,sub(P,P))) | 19937 | 97448441 | o1(o2(x,o2(x,x))) | true | 159503 | 159503 | 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_u6_b24 | 12 | 0 | 6 | 24 | ![]() |
nrm(mlt(P,mlt(P,P))) | 19938 | 97448442 | o1(o2(x,o2(x,x))) | true | 159511 | 159511 | -0.01562 | 0.4866 | 0.588 | 0.5025 | 0.7089 | -1 | 1 | 2 | 1 | 4.228 | 0.001902 | 0.001314 | 0.01176 | 0.1828 | 1 | -2.652e-10 | 0.006127 | 0.006004 | 0.003078 | 0.05548 | 4.719 | 2.414 | 0.006401 | 0.01219 | 1 | 1 | 0 | 0 | 0.005963 | 0 | 0 | 0.01187 | json |
| t12_x0_u6_b25 | 12 | 0 | 6 | 25 | ![]() |
nrm(mlt(P,div(P,P))) | 19939 | 97448443 | o1(o2(x,o2(x,x))) | true | 159519 | 159519 | -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_u6_b26 | 12 | 0 | 6 | 26 | ![]() |
nrm(mlt(P,pow(P,P))) | 19940 | 97448444 | o1(o2(x,o2(x,x))) | true | 159527 | 159527 | -0.6232 | 0.2102 | 0.8846 | 0.4859 | 0.697 | -1 | 1 | 2 | 1 | 1.394 | 0.002668 | 0.007476 | 0.008788 | -0.4739 | 1 | -0.000001598 | 0.02028 | 0.01262 | 0.01006 | 0.1003 | 11.41 | 2.414 | 0.02088 | 0.04173 | 1 | 1 | 0 | 0 | 0.01364 | 0 | 0 | 0.02808 | json |
| t12_x0_u6_b27 | 12 | 0 | 6 | 27 | ![]() |
nrm(mlt(P,mod(P,P))) | 19941 | 97448445 | o1(o2(x,o2(x,x))) | true | 159535 | 159535 | -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_u6_b28 | 12 | 0 | 6 | 28 | ![]() |
nrm(mlt(P,lrg(P,P))) | 19942 | 97448446 | o1(o2(x,o2(x,x))) | true | 159543 | 159543 | -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_u6_b29 | 12 | 0 | 6 | 29 | ![]() |
nrm(mlt(P,eql(P,P))) | 19943 | 97448447 | o1(o2(x,o2(x,x))) | true | 159551 | 159551 | -0.01562 | 0.4896 | 0.6504 | 0.5048 | 0.7105 | -1 | 1 | 2 | 1 | 4.761 | 0.001863 | 0.00124 | 0.0104 | 0.2009 | 1 | 3.065e-10 | 0.00612 | 0.00575 | 0.002995 | 0.05473 | 5.261 | 2.414 | 0.006147 | 0.01212 | 1 | 1 | 0 | 0 | 0.005637 | 0 | 0 | 0.01117 | json |
| t12_x0_u6_b30 | 12 | 0 | 6 | 30 | ![]() |
nrm(mlt(P,min(P,P))) | 19944 | 97448448 | o1(o2(x,o2(x,x))) | true | 159559 | 159559 | 0.5801 | 0.9782 | 0.6114 | 0.1675 | 0.4093 | -1 | 1 | 2 | 1 | 3.609 | 0.003595 | 0.001991 | 0.01247 | 0.2873 | 1 | -0.000004539 | 0.01117 | 0.008318 | 0.00543 | 0.07369 | 5.909 | 2.414 | 0.03335 | 0.06668 | 1 | 1 | 0 | 0 | 0.01006 | 0 | 0 | 0.06006 | json |
| t12_x0_u6_b31 | 12 | 0 | 6 | 31 | ![]() |
nrm(mlt(P,dot(P,P))) | 19945 | 97448449 | o1(o2(x,o2(x,x))) | true | 159567 | 159567 | -0.01562 | 0.4896 | 0.6504 | 0.5048 | 0.7105 | -1 | 1 | 2 | 1 | 4.761 | 0.001863 | 0.00124 | 0.0104 | 0.2009 | 1 | 8.87e-10 | 0.00612 | 0.00575 | 0.002995 | 0.05473 | 5.261 | 2.414 | 0.006147 | 0.01212 | 1 | 1 | 0 | 0 | 0.005637 | 0 | 0 | 0.01117 | json |
| t12_x0_u6_b32 | 12 | 0 | 6 | 32 | ![]() |
nrm(mlt(P,dst(P,P))) | 19946 | 97448450 | o1(o2(x,o2(x,x))) | true | 159575 | 159575 | 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_u6_b33 | 12 | 0 | 6 | 33 | ![]() |
nrm(div(P,add(P,P))) | 19947 | 97448451 | o1(o2(x,o2(x,x))) | true | 159583 | 159583 | -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_u6_b34 | 12 | 0 | 6 | 34 | ![]() |
nrm(div(P,sub(P,P))) | 19948 | 97448452 | o1(o2(x,o2(x,x))) | true | 159591 | 159591 | -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_u6_b35 | 12 | 0 | 6 | 35 | ![]() |
nrm(div(P,mlt(P,P))) | 19949 | 97448453 | o1(o2(x,o2(x,x))) | true | 159599 | 159599 | -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_u6_b36 | 12 | 0 | 6 | 36 | ![]() |
nrm(div(P,div(P,P))) | 19950 | 97448454 | o1(o2(x,o2(x,x))) | true | 159607 | 159607 | -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_u6_b37 | 12 | 0 | 6 | 37 | ![]() |
nrm(div(P,pow(P,P))) | 19951 | 97448455 | o1(o2(x,o2(x,x))) | true | 159615 | 159615 | -0.6208 | 0.233 | 0.887 | 0.4842 | 0.6959 | -1 | 1 | 2 | 1 | 1.549 | 0.002804 | 0.00758 | 0.01164 | -0.4599 | 1 | -0.000001655 | 0.0203 | 0.01325 | 0.01024 | 0.1012 | 8.695 | 2.414 | 0.02144 | 0.04193 | 1 | 1 | 0 | 0 | 0.01417 | 0 | 0 | 0.02926 | json |
| t12_x0_u6_b38 | 12 | 0 | 6 | 38 | ![]() |
nrm(div(P,mod(P,P))) | 19952 | 97448456 | o1(o2(x,o2(x,x))) | true | 159623 | 159623 | -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_u6_b39 | 12 | 0 | 6 | 39 | ![]() |
nrm(div(P,lrg(P,P))) | 19953 | 97448457 | o1(o2(x,o2(x,x))) | true | 159631 | 159631 | -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_u6_b40 | 12 | 0 | 6 | 40 | ![]() |
nrm(div(P,eql(P,P))) | 19954 | 97448458 | o1(o2(x,o2(x,x))) | true | 159639 | 159639 | -0.01562 | 0.4896 | 0.6504 | 0.5048 | 0.7105 | -1 | 1 | 2 | 1 | 4.761 | 0.001863 | 0.00124 | 0.0104 | 0.2009 | 1 | 3.065e-10 | 0.00612 | 0.00575 | 0.002995 | 0.05473 | 5.261 | 2.414 | 0.006147 | 0.01212 | 1 | 1 | 0 | 0 | 0.005637 | 0 | 0 | 0.01117 | json |
| t12_x0_u6_b41 | 12 | 0 | 6 | 41 | ![]() |
nrm(div(P,min(P,P))) | 19955 | 97448459 | o1(o2(x,o2(x,x))) | true | 159647 | 159647 | -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_u6_b42 | 12 | 0 | 6 | 42 | ![]() |
nrm(div(P,dot(P,P))) | 19956 | 97448460 | o1(o2(x,o2(x,x))) | true | 159655 | 159655 | -0.01562 | 0.4896 | 0.6504 | 0.5048 | 0.7105 | -1 | 1 | 2 | 1 | 4.761 | 0.001863 | 0.00124 | 0.0104 | 0.2009 | 1 | 2.422e-10 | 0.00612 | 0.00575 | 0.002995 | 0.05473 | 5.261 | 2.414 | 0.006147 | 0.01212 | 1 | 1 | 0 | 0 | 0.005637 | 0 | 0 | 0.01117 | json |
| t12_x0_u6_b43 | 12 | 0 | 6 | 43 | ![]() |
nrm(div(P,dst(P,P))) | 19957 | 97448461 | o1(o2(x,o2(x,x))) | true | 159663 | 159663 | -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_u6_b44 | 12 | 0 | 6 | 44 | ![]() |
nrm(pow(P,add(P,P))) | 19958 | 97448462 | o1(o2(x,o2(x,x))) | true | 159671 | 159671 | -0.6187 | 0.191 | 0.8813 | 0.4875 | 0.6982 | -1 | 1 | 2 | 1 | 1.403 | 0.002647 | 0.007433 | 0.00888 | -0.4748 | 1 | -0.000001483 | 0.01994 | 0.01268 | 0.009996 | 0.09998 | 11.26 | 2 | 0.02068 | 0.04091 | 1 | 1 | 0 | 0 | 0.01354 | 0 | 0 | 0.02779 | json |
| t12_x0_u6_b45 | 12 | 0 | 6 | 45 | ![]() |
nrm(pow(P,sub(P,P))) | 19959 | 97448463 | o1(o2(x,o2(x,x))) | true | 159679 | 159679 | 0.5777 | 1 | 0.5777 | 1.421e-7 | 0.000377 | 0.5774 | 0.5774 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t12_x0_u6_b46 | 12 | 0 | 6 | 46 | ![]() |
nrm(pow(P,mlt(P,P))) | 19960 | 97448464 | o1(o2(x,o2(x,x))) | true | 159687 | 159687 | -0.7492 | 0.1062 | 0.8758 | 0.3045 | 0.5519 | -1 | 1 | 2 | 1 | 1.161 | 0.004715 | 0.005115 | 0.01013 | -0.04069 | 1 | 6.533e-10 | 0.01934 | 0.01458 | 0.009729 | 0.09863 | 9.739 | 2 | 0.03228 | 0.06351 | 1 | 1 | 0 | 0 | 0.01461 | 0 | 0 | 0.04797 | json |
| t12_x0_u6_b47 | 12 | 0 | 6 | 47 | ![]() |
nrm(pow(P,div(P,P))) | 19961 | 97448465 | o1(o2(x,o2(x,x))) | true | 159695 | 159695 | -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_u6_b48 | 12 | 0 | 6 | 48 | ![]() |
nrm(pow(P,pow(P,P))) | 19962 | 97448466 | o1(o2(x,o2(x,x))) | true | 159703 | 159703 | -0.892 | 0.0341 | 0.9283 | 0.1296 | 0.36 | -1 | 1 | 2 | 1 | 0.6005 | 0.006966 | 0.002521 | 0.007274 | 0.4686 | 1 | 2.215e-10 | 0.01926 | 0.01289 | 0.009437 | 0.09714 | 13.36 | 2.414 | 0.07321 | 0.1486 | 1 | 1 | 0 | 0 | 0.01505 | 0 | 0 | 0.1162 | json |
| t12_x0_u6_b49 | 12 | 0 | 6 | 49 | ![]() |
nrm(pow(P,mod(P,P))) | 19963 | 97448467 | o1(o2(x,o2(x,x))) | true | 159711 | 159711 | -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_u6_b50 | 12 | 0 | 6 | 50 | ![]() |
nrm(pow(P,lrg(P,P))) | 19964 | 97448468 | o1(o2(x,o2(x,x))) | true | 159719 | 159719 | 0.5777 | 1 | 0.5777 | 1.421e-7 | 0.000377 | 0.5774 | 0.5774 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t12_x0_u6_b51 | 12 | 0 | 6 | 51 | ![]() |
nrm(pow(P,eql(P,P))) | 19965 | 97448469 | o1(o2(x,o2(x,x))) | true | 159727 | 159727 | -0.01562 | 0.4896 | 0.6504 | 0.5048 | 0.7105 | -1 | 1 | 2 | 1 | 4.761 | 0.001863 | 0.00124 | 0.0104 | 0.2009 | 1 | 3.065e-10 | 0.00612 | 0.00575 | 0.002995 | 0.05473 | 5.261 | 2.414 | 0.006147 | 0.01212 | 1 | 1 | 0 | 0 | 0.005637 | 0 | 0 | 0.01117 | json |
| t12_x0_u6_b52 | 12 | 0 | 6 | 52 | ![]() |
nrm(pow(P,min(P,P))) | 19966 | 97448470 | o1(o2(x,o2(x,x))) | true | 159735 | 159735 | -0.6161 | 0.2228 | 0.8839 | 0.4909 | 0.7006 | -1 | 1 | 2 | 1 | 1.46 | 0.002757 | 0.007366 | 0.00883 | -0.4553 | 1 | -0.000001622 | 0.02008 | 0.01273 | 0.01004 | 0.1002 | 11.35 | 2 | 0.02062 | 0.04091 | 1 | 1 | 0 | 0 | 0.01359 | 0 | 0 | 0.02768 | json |
| t12_x0_u6_b53 | 12 | 0 | 6 | 53 | ![]() |
nrm(pow(P,dot(P,P))) | 19967 | 97448471 | o1(o2(x,o2(x,x))) | true | 159743 | 159743 | -0.8055 | 0.0831 | 0.8977 | 0.2425 | 0.4924 | -1 | 1 | 2 | 1 | 0.9448 | 0.004253 | 0.006276 | 0.01019 | -0.1921 | 1 | -1.201e-10 | 0.021 | 0.01586 | 0.01043 | 0.1021 | 10.02 | 2 | 0.04342 | 0.08661 | 1 | 1 | 0 | 0 | 0.01618 | 0 | 0 | 0.06672 | json |
| t12_x0_u6_b54 | 12 | 0 | 6 | 54 | ![]() |
nrm(pow(P,dst(P,P))) | 19968 | 97448472 | o1(o2(x,o2(x,x))) | true | 159751 | 159751 | 0.5777 | 1 | 0.5777 | 1.421e-7 | 0.000377 | 0.5774 | 0.5774 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t12_x0_u6_b55 | 12 | 0 | 6 | 55 | ![]() |
nrm(mod(P,add(P,P))) | 19969 | 97448473 | o1(o2(x,o2(x,x))) | true | 159759 | 159759 | -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_u6_b56 | 12 | 0 | 6 | 56 | ![]() |
nrm(mod(P,sub(P,P))) | 19970 | 97448474 | o1(o2(x,o2(x,x))) | true | 159767 | 159767 | -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_u6_b57 | 12 | 0 | 6 | 57 | ![]() |
nrm(mod(P,mlt(P,P))) | 19971 | 97448475 | o1(o2(x,o2(x,x))) | true | 159775 | 159775 | -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_u6_b58 | 12 | 0 | 6 | 58 | ![]() |
nrm(mod(P,div(P,P))) | 19972 | 97448476 | o1(o2(x,o2(x,x))) | true | 159783 | 159783 | -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_u6_b59 | 12 | 0 | 6 | 59 | ![]() |
nrm(mod(P,pow(P,P))) | 19973 | 97448477 | o1(o2(x,o2(x,x))) | true | 159791 | 159791 | -0.6188 | 0.2103 | 0.9124 | 0.4991 | 0.7065 | -1 | 1 | 2 | 1 | 1.633 | 0.003387 | 0.006658 | 0.007749 | -0.3257 | 1 | -5.752e-7 | 0.02027 | 0.01237 | 0.009985 | 0.09992 | 12.9 | 2.414 | 0.02013 | 0.04061 | 1 | 1 | 0 | 0 | 0.01342 | 0 | 0 | 0.02688 | json |
| t12_x0_u6_b60 | 12 | 0 | 6 | 60 | ![]() |
nrm(mod(P,mod(P,P))) | 19974 | 97448478 | o1(o2(x,o2(x,x))) | true | 159799 | 159799 | -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_u6_b61 | 12 | 0 | 6 | 61 | ![]() |
nrm(mod(P,lrg(P,P))) | 19975 | 97448479 | o1(o2(x,o2(x,x))) | true | 159807 | 159807 | -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_u6_b62 | 12 | 0 | 6 | 62 | ![]() |
nrm(mod(P,eql(P,P))) | 19976 | 97448480 | o1(o2(x,o2(x,x))) | true | 159815 | 159815 | 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_u6_b63 | 12 | 0 | 6 | 63 | ![]() |
nrm(mod(P,min(P,P))) | 19977 | 97448481 | o1(o2(x,o2(x,x))) | true | 159823 | 159823 | -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_u6_b64 | 12 | 0 | 6 | 64 | ![]() |
nrm(mod(P,dot(P,P))) | 19978 | 97448482 | o1(o2(x,o2(x,x))) | true | 159831 | 159831 | -0.04688 | 0.474 | 0.6631 | 0.5192 | 0.7206 | -1 | 1 | 2 | 1 | 4.706 | 0.003344 | 0.002774 | 0.01152 | 0.09316 | 1 | 2.285e-10 | 0.0126 | 0.009591 | 0.005985 | 0.07736 | 6.713 | 2.679 | 0.01178 | 0.02427 | 1 | 1 | 0 | 0 | 0.01087 | 0 | 0 | 0.02094 | json |
| t12_x0_u6_b65 | 12 | 0 | 6 | 65 | ![]() |
nrm(mod(P,dst(P,P))) | 19979 | 97448483 | o1(o2(x,o2(x,x))) | true | 159839 | 159839 | -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_u6_b66 | 12 | 0 | 6 | 66 | ![]() |
nrm(lrg(P,add(P,P))) | 19980 | 97448484 | o1(o2(x,o2(x,x))) | true | 159847 | 159847 | 0.07069 | 0.4648 | 0.7035 | 0.6513 | 0.807 | -1 | 1 | 2 | 1 | 2.201 | 0.008882 | 0.002477 | 0.008477 | 0.5639 | 1 | 1.089e-8 | 0.02264 | 0.01392 | 0.01128 | 0.1062 | 12.53 | 2 | 0.01744 | 0.03476 | 1 | 1 | 0 | 0 | 0.01575 | 0 | 0 | 0.02419 | json |
| t12_x0_u6_b67 | 12 | 0 | 6 | 67 | ![]() |
nrm(lrg(P,sub(P,P))) | 19981 | 97448485 | o1(o2(x,o2(x,x))) | true | 159855 | 159855 | 0.07069 | 0.4648 | 0.7035 | 0.6514 | 0.8071 | -1 | 1 | 2 | 1 | 2.201 | 0.008882 | 0.002477 | 0.008477 | 0.5639 | 1 | 9.49e-9 | 0.02263 | 0.01392 | 0.01128 | 0.1062 | 12.53 | 2.414 | 0.01744 | 0.03475 | 1 | 1 | 0 | 0 | 0.01575 | 0 | 0 | 0.02419 | json |
| t12_x0_u6_b68 | 12 | 0 | 6 | 68 | ![]() |
nrm(lrg(P,mlt(P,P))) | 19982 | 97448486 | o1(o2(x,o2(x,x))) | true | 159863 | 159863 | -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_u6_b69 | 12 | 0 | 6 | 69 | ![]() |
nrm(lrg(P,div(P,P))) | 19983 | 97448487 | o1(o2(x,o2(x,x))) | true | 159871 | 159871 | 0.303 | 0.5625 | 0.303 | 0.09726 | 0.3119 | 0 | 0.7071 | 0.7071 | 1 | 2.194 | 0.0004464 | 0.00000798 | 0.008306 | 0.9649 | 1 | 1.714e-9 | 0.00002091 | 0.001933 | 0.0003853 | 0.01963 | 2.363 | 0.08265 | 0.004672 | 0.000215 | 1 | 1 | 0 | 0 | 0.001195 | 0 | 0 | 0.01229 | json |
| t12_x0_u6_b70 | 12 | 0 | 6 | 70 | ![]() |
nrm(lrg(P,pow(P,P))) | 19984 | 97448488 | o1(o2(x,o2(x,x))) | true | 159879 | 159879 | 0.07069 | 0.4648 | 0.7035 | 0.6513 | 0.807 | -1 | 1 | 2 | 1 | 2.201 | 0.008882 | 0.002477 | 0.008477 | 0.5639 | 1 | 1.089e-8 | 0.02264 | 0.01392 | 0.01128 | 0.1062 | 12.53 | 2 | 0.01744 | 0.03476 | 1 | 1 | 0 | 0 | 0.01575 | 0 | 0 | 0.02419 | json |
| t12_x0_u6_b71 | 12 | 0 | 6 | 71 | ![]() |
nrm(lrg(P,mod(P,P))) | 19985 | 97448489 | o1(o2(x,o2(x,x))) | true | 159887 | 159887 | 0.2277 | 0.5 | 0.2277 | 0.08514 | 0.2918 | 0 | 0.7071 | 0.7071 | 1 | 2.224 | 0.0007809 | 0.000009119 | 0.01371 | 0.9769 | 1 | 0.00005557 | 0.00003586 | 0.003127 | 0.0006023 | 0.02454 | 1.79 | 0.08265 | 0.009279 | 0.0004212 | 1 | 1 | 0 | 0 | 0.001613 | 0 | 0 | 0.01894 | json |
| t12_x0_u6_b72 | 12 | 0 | 6 | 72 | ![]() |
nrm(lrg(P,lrg(P,P))) | 19986 | 97448490 | o1(o2(x,o2(x,x))) | true | 159895 | 159895 | 0.07069 | 0.4648 | 0.7035 | 0.6514 | 0.8071 | -1 | 1 | 2 | 1 | 2.201 | 0.008882 | 0.002477 | 0.008477 | 0.5639 | 1 | 9.49e-9 | 0.02263 | 0.01392 | 0.01128 | 0.1062 | 12.53 | 2.414 | 0.01744 | 0.03475 | 1 | 1 | 0 | 0 | 0.01575 | 0 | 0 | 0.02419 | json |
| t12_x0_u6_b73 | 12 | 0 | 6 | 73 | ![]() |
nrm(lrg(P,eql(P,P))) | 19987 | 97448491 | o1(o2(x,o2(x,x))) | true | 159903 | 159903 | -0.05197 | 0.3984 | 0.7293 | 0.6916 | 0.8316 | -1 | 1 | 2 | 1 | 2.108 | 0.009879 | 0.002727 | 0.008981 | 0.5674 | 1 | 8.211e-9 | 0.02515 | 0.01537 | 0.01252 | 0.1119 | 12.46 | 2.414 | 0.01823 | 0.03637 | 1 | 1 | 0 | 0 | 0.01793 | 0 | 0 | 0.02592 | json |
| t12_x0_u6_b74 | 12 | 0 | 6 | 74 | ![]() |
nrm(lrg(P,min(P,P))) | 19988 | 97448492 | o1(o2(x,o2(x,x))) | true | 159911 | 159911 | -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_u6_b75 | 12 | 0 | 6 | 75 | ![]() |
nrm(lrg(P,dot(P,P))) | 19989 | 97448493 | o1(o2(x,o2(x,x))) | true | 159919 | 159919 | -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_u6_b76 | 12 | 0 | 6 | 76 | ![]() |
nrm(lrg(P,dst(P,P))) | 19990 | 97448494 | o1(o2(x,o2(x,x))) | true | 159927 | 159927 | 0.07069 | 0.4648 | 0.7035 | 0.6514 | 0.8071 | -1 | 1 | 2 | 1 | 2.201 | 0.008882 | 0.002477 | 0.008477 | 0.5639 | 1 | 9.49e-9 | 0.02263 | 0.01392 | 0.01128 | 0.1062 | 12.53 | 2.414 | 0.01744 | 0.03475 | 1 | 1 | 0 | 0 | 0.01575 | 0 | 0 | 0.02419 | json |
| t12_x0_u6_b77 | 12 | 0 | 6 | 77 | ![]() |
nrm(eql(P,add(P,P))) | 19991 | 97448495 | o1(o2(x,o2(x,x))) | true | 159935 | 159935 | 0.04369 | 0.125 | 0.04369 | 0.02206 | 0.1485 | 0 | 0.7069 | 0.7069 | 1 | 0.7586 | 0.0003453 | 5.912e-7 | 0.005561 | 0.9966 | 1 | 2.138e-9 | 0.0000159 | 0.001297 | 0.0003148 | 0.01774 | 3.19 | 0.08265 | 0.01568 | 0.0007207 | 1 | 1 | 0 | 0 | 0.000901 | 0 | 0 | 0.04083 | json |
| t12_x0_u6_b78 | 12 | 0 | 6 | 78 | ![]() |
nrm(eql(P,sub(P,P))) | 19992 | 97448496 | o1(o2(x,o2(x,x))) | true | 159943 | 159943 | 0.04369 | 0.125 | 0.04369 | 0.02206 | 0.1485 | 0 | 0.7069 | 0.7069 | 1 | 0.7586 | 0.0003453 | 5.912e-7 | 0.005561 | 0.9966 | 1 | 2.138e-9 | 0.0000159 | 0.001297 | 0.0003148 | 0.01774 | 3.19 | 0.08265 | 0.01568 | 0.0007207 | 1 | 1 | 0 | 0 | 0.000901 | 0 | 0 | 0.04083 | json |
| t12_x0_u6_b79 | 12 | 0 | 6 | 79 | ![]() |
nrm(eql(P,mlt(P,P))) | 19993 | 97448497 | o1(o2(x,o2(x,x))) | true | 159951 | 159951 | 0.08636 | 0.1875 | 0.08636 | 0.04595 | 0.2144 | 0 | 0.7071 | 0.7071 | 1 | 1.062 | 0.0003378 | 0.000001346 | 0.005562 | 0.9921 | 1 | 3.964e-10 | 0.00001558 | 0.001296 | 0.000308 | 0.01755 | 3.155 | 0.08265 | 0.007381 | 0.000339 | 1 | 1 | 0 | 0 | 0.0008776 | 0 | 0 | 0.0191 | json |
| t12_x0_u6_b80 | 12 | 0 | 6 | 80 | ![]() |
nrm(eql(P,div(P,P))) | 19994 | 97448498 | o1(o2(x,o2(x,x))) | true | 159959 | 159959 | -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_u6_b81 | 12 | 0 | 6 | 81 | ![]() |
nrm(eql(P,pow(P,P))) | 19995 | 97448499 | o1(o2(x,o2(x,x))) | true | 159967 | 159967 | -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_u6_b82 | 12 | 0 | 6 | 82 | ![]() |
nrm(eql(P,mod(P,P))) | 19996 | 97448500 | o1(o2(x,o2(x,x))) | true | 159975 | 159975 | -0.6323 | 0.1875 | 0.899 | 0.4788 | 0.692 | -1 | 1 | 2 | 1 | 1.469 | 0.05116 | 0.02117 | 0.04695 | 0.4147 | 1 | -0.00000944 | 0.1458 | 0.08729 | 0.07013 | 0.2648 | 5.641 | 2.414 | 0.1511 | 0.3044 | 1 | 1 | 0 | 0 | 0.0136 | 0 | 0 | 0.02841 | json |
| t12_x0_u6_b83 | 12 | 0 | 6 | 83 | ![]() |
nrm(eql(P,lrg(P,P))) | 19997 | 97448501 | o1(o2(x,o2(x,x))) | true | 159983 | 159983 | 0.04369 | 0.125 | 0.04369 | 0.02206 | 0.1485 | 0 | 0.7069 | 0.7069 | 1 | 0.7586 | 0.0003453 | 5.912e-7 | 0.005561 | 0.9966 | 1 | 2.138e-9 | 0.0000159 | 0.001297 | 0.0003148 | 0.01774 | 3.19 | 0.08265 | 0.01568 | 0.0007207 | 1 | 1 | 0 | 0 | 0.000901 | 0 | 0 | 0.04083 | json |
| t12_x0_u6_b84 | 12 | 0 | 6 | 84 | ![]() |
nrm(eql(P,eql(P,P))) | 19998 | 97448502 | o1(o2(x,o2(x,x))) | true | 159991 | 159991 | -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_u6_b85 | 12 | 0 | 6 | 85 | ![]() |
nrm(eql(P,min(P,P))) | 19999 | 97448503 | o1(o2(x,o2(x,x))) | true | 159999 | 159999 | 0.5777 | 1 | 0.5777 | 1.421e-7 | 0.000377 | 0.5774 | 0.5774 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |



































































































