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_x9_u5_b84 | 12 | 9 | 5 | 84 | ![]() |
sgn(eql(D,eql(P,P))) | 27500 | 97811910 | o1(o2(x,o2(x,x))) | true | 49847 | 49847 | 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_x9_u5_b85 | 12 | 9 | 5 | 85 | ![]() |
sgn(eql(D,min(P,P))) | 27501 | 97811911 | o1(o2(x,o2(x,x))) | true | 49855 | 49855 | 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_x9_u5_b86 | 12 | 9 | 5 | 86 | ![]() |
sgn(eql(D,dot(P,P))) | 27502 | 97811912 | o1(o2(x,o2(x,x))) | true | 49863 | 49863 | 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_x9_u5_b87 | 12 | 9 | 5 | 87 | ![]() |
sgn(eql(D,dst(P,P))) | 27503 | 97811913 | o1(o2(x,o2(x,x))) | true | 49871 | 49871 | 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_x9_u5_b88 | 12 | 9 | 5 | 88 | ![]() |
sgn(min(D,add(P,P))) | 27504 | 97811914 | o1(o2(x,o2(x,x))) | true | 49879 | 49879 | -0.5313 | 0.2188 | 0.8326 | 0.4902 | 0.7001 | -1 | 0.9994 | 1.999 | 1 | 2.482 | 0.1252 | 0 | 0.1189 | 1 | 1 | -0.0001797 | 0.2333 | 0.1327 | 0.111 | 0.3332 | 2.802 | 1.999 | 0.2554 | 0.476 | 1 | 1 | 0.1388 | 0.4786 | 0.09898 | 0.2832 | 0.9764 | 0.2019 | json |
| t12_x9_u5_b89 | 12 | 9 | 5 | 89 | ![]() |
sgn(min(D,sub(P,P))) | 27505 | 97811915 | o1(o2(x,o2(x,x))) | true | 49887 | 49887 | -0.5 | 0 | 0.5 | 0.1418 | 0.3765 | -0.9997 | -0.000291 | 0.9994 | 1 | 3.406 | 0.06511 | 0 | 0.1228 | 1 | 1 | 0 | 0.1208 | 0.1337 | 0.05001 | 0.2236 | 1.821 | 0.9994 | 0.4593 | 0.8522 | 1 | 1 | 0.07073 | 0.2419 | 0 | 0.4989 | 1.706 | 0 | json |
| t12_x9_u5_b90 | 12 | 9 | 5 | 90 | ![]() |
sgn(min(D,mlt(P,P))) | 27506 | 97811916 | o1(o2(x,o2(x,x))) | true | 49895 | 49895 | -0.03125 | 0.4688 | 0.6771 | 0.5552 | 0.7451 | -0.9997 | 0.9994 | 1.999 | 1 | 3.595 | 0.2475 | 0 | 0.2376 | 1 | 1 | -1.892e-9 | 0.459 | 0.2585 | 0.1909 | 0.4369 | 1.839 | 1.999 | 0.4458 | 0.8269 | 1 | 1 | 0.2646 | 0.913 | 0.03299 | 0.4767 | 1.645 | 0.05943 | json |
| t12_x9_u5_b91 | 12 | 9 | 5 | 91 | ![]() |
sgn(min(D,div(P,P))) | 27507 | 97811917 | o1(o2(x,o2(x,x))) | true | 49903 | 49903 | -1.819e-12 | 0.5 | 0.6889 | 0.5671 | 0.753 | -0.9994 | 0.9994 | 1.999 | 1 | 3.406 | 0.2604 | 0 | 0.2456 | 1 | 1 | 0 | 0.4833 | 0.2673 | 0.2 | 0.4473 | 1.821 | 1.999 | 0.4593 | 0.8522 | 1 | 1 | 0.2829 | 0.9676 | 0 | 0.4989 | 1.706 | 0 | json |
| t12_x9_u5_b92 | 12 | 9 | 5 | 92 | ![]() |
sgn(min(D,pow(P,P))) | 27508 | 97811918 | o1(o2(x,o2(x,x))) | true | 49911 | 49911 | -1.819e-12 | 0.5 | 0.6889 | 0.5671 | 0.753 | -0.9994 | 0.9994 | 1.999 | 1 | 3.406 | 0.2604 | 0 | 0.2456 | 1 | 1 | 0 | 0.4833 | 0.2673 | 0.2 | 0.4473 | 1.821 | 1.999 | 0.4593 | 0.8522 | 1 | 1 | 0.2829 | 0.9676 | 0 | 0.4989 | 1.706 | 0 | json |
| t12_x9_u5_b93 | 12 | 9 | 5 | 93 | ![]() |
sgn(min(D,mod(P,P))) | 27509 | 97811919 | o1(o2(x,o2(x,x))) | true | 49919 | 49919 | -0.4688 | 0.125 | 0.641 | 0.3299 | 0.5743 | -1 | 0.9994 | 1.999 | 1 | 3.533 | 0.104 | 0 | 0.1307 | 1 | 1 | -0.00008985 | 0.1929 | 0.1424 | 0.08689 | 0.2948 | 2.255 | 1.999 | 0.3152 | 0.5849 | 1 | 1 | 0.1084 | 0.3962 | 0.1458 | 0.3285 | 1.201 | 0.4421 | json |
| t12_x9_u5_b94 | 12 | 9 | 5 | 94 | ![]() |
sgn(min(D,lrg(P,P))) | 27510 | 97811920 | o1(o2(x,o2(x,x))) | true | 49927 | 49927 | -0.5 | 0 | 0.5 | 0.1418 | 0.3765 | -0.9997 | -0.000291 | 0.9994 | 1 | 3.406 | 0.06511 | 0 | 0.1228 | 1 | 1 | 0 | 0.1208 | 0.1337 | 0.05001 | 0.2236 | 1.821 | 0.9994 | 0.4593 | 0.8522 | 1 | 1 | 0.07073 | 0.2419 | 0 | 0.4989 | 1.706 | 0 | json |
| t12_x9_u5_b95 | 12 | 9 | 5 | 95 | ![]() |
sgn(min(D,eql(P,P))) | 27511 | 97811921 | o1(o2(x,o2(x,x))) | true | 49935 | 49935 | -1.819e-12 | 0.5 | 0.6889 | 0.5671 | 0.753 | -0.9994 | 0.9994 | 1.999 | 1 | 3.406 | 0.2604 | 0 | 0.2456 | 1 | 1 | 0 | 0.4833 | 0.2673 | 0.2 | 0.4473 | 1.821 | 1.999 | 0.4593 | 0.8522 | 1 | 1 | 0.2829 | 0.9676 | 0 | 0.4989 | 1.706 | 0 | json |
| t12_x9_u5_b96 | 12 | 9 | 5 | 96 | ![]() |
sgn(min(D,min(P,P))) | 27512 | 97811922 | o1(o2(x,o2(x,x))) | true | 49943 | 49943 | -0.5313 | 0.2188 | 0.8326 | 0.4902 | 0.7001 | -1 | 0.9994 | 1.999 | 1 | 2.482 | 0.1252 | 0 | 0.1189 | 1 | 1 | -0.0001797 | 0.2333 | 0.1327 | 0.111 | 0.3332 | 2.802 | 1.999 | 0.2554 | 0.476 | 1 | 1 | 0.1388 | 0.4786 | 0.09898 | 0.2832 | 0.9764 | 0.2019 | json |
| t12_x9_u5_b97 | 12 | 9 | 5 | 97 | ![]() |
sgn(min(D,dot(P,P))) | 27513 | 97811923 | o1(o2(x,o2(x,x))) | true | 49951 | 49951 | -0.001953 | 0.4988 | 0.6879 | 0.5661 | 0.7524 | -0.9997 | 0.9994 | 1.999 | 1 | 3.443 | 0.2596 | 0.00001756 | 0.2452 | 0.9999 | 1 | 1.126e-11 | 0.4816 | 0.2668 | 0.1994 | 0.4466 | 1.821 | 1.999 | 0.4585 | 0.8508 | 1 | 1 | 0.2813 | 0.9633 | 0.004354 | 0.497 | 1.702 | 0.007691 | json |
| t12_x9_u5_b98 | 12 | 9 | 5 | 98 | ![]() |
sgn(min(D,dst(P,P))) | 27514 | 97811924 | o1(o2(x,o2(x,x))) | true | 49959 | 49959 | -0.5 | 0 | 0.5 | 0.1418 | 0.3765 | -0.9997 | -0.000291 | 0.9994 | 1 | 3.406 | 0.06511 | 0 | 0.1228 | 1 | 1 | 0 | 0.1208 | 0.1337 | 0.05001 | 0.2236 | 1.821 | 0.9994 | 0.4593 | 0.8522 | 1 | 1 | 0.07073 | 0.2419 | 0 | 0.4989 | 1.706 | 0 | json |
| t12_x9_u5_b99 | 12 | 9 | 5 | 99 | ![]() |
sgn(dot(D,add(P,P))) | 27515 | 97811925 | o1(o2(x,o2(x,x))) | true | 49967 | 49967 | -0.09179 | 0.4368 | 0.5641 | 0.4037 | 0.6354 | -1 | 0.9994 | 1.999 | 1 | 4.373 | 0.1201 | 0.1201 | 0.2785 | -0.00001374 | 1 | 0.001907 | 0.6899 | 0.3197 | 0.1627 | 0.4033 | 1.448 | 2.817 | 0.5951 | 1.709 | 1 | 1 | 0.2638 | 0.8922 | 0.2435 | 0.6535 | 2.21 | 0.6033 | json |
| t12_x9_u5_b100 | 12 | 9 | 5 | 100 | ![]() |
sgn(dot(D,sub(P,P))) | 27516 | 97811926 | o1(o2(x,o2(x,x))) | true | 49975 | 49975 | 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_x9_u5_b101 | 12 | 9 | 5 | 101 | ![]() |
sgn(dot(D,mlt(P,P))) | 27517 | 97811927 | o1(o2(x,o2(x,x))) | true | 49983 | 49983 | 3.593e-10 | 0.4976 | 0.5997 | 0.4557 | 0.675 | -1 | 1 | 2 | 1 | 4.172 | 0.1171 | 0.1171 | 0.261 | -0.00001154 | 1 | -3.017e-9 | 0.5892 | 0.2956 | 0.1661 | 0.4076 | 1.562 | 2.817 | 0.5142 | 1.293 | 1 | 1 | 0.261 | 0.9118 | 0.2659 | 0.5727 | 2.001 | 0.5835 | json |
| t12_x9_u5_b102 | 12 | 9 | 5 | 102 | ![]() |
sgn(dot(D,div(P,P))) | 27518 | 97811928 | o1(o2(x,o2(x,x))) | true | 49991 | 49991 | 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_x9_u5_b103 | 12 | 9 | 5 | 103 | ![]() |
sgn(dot(D,pow(P,P))) | 27519 | 97811929 | o1(o2(x,o2(x,x))) | true | 49999 | 49999 | -0.75 | 0.12 | 0.8998 | 0.2994 | 0.5471 | -1 | 0.9994 | 1.999 | 1 | 1.76 | 0.03264 | 0.03263 | 0.07124 | 0.0000524 | 1 | -0.0001825 | 0.1309 | 0.07437 | 0.06021 | 0.2454 | 3.444 | 2.775 | 0.218 | 0.4371 | 1 | 1 | 0.08157 | 0.3043 | 0.1967 | 0.2725 | 1.016 | 0.6572 | json |
| t12_x9_u5_b104 | 12 | 9 | 5 | 104 | ![]() |
sgn(dot(D,mod(P,P))) | 27520 | 97811930 | o1(o2(x,o2(x,x))) | true | 50007 | 50007 | 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_x9_u5_b105 | 12 | 9 | 5 | 105 | ![]() |
sgn(dot(D,lrg(P,P))) | 27521 | 97811931 | o1(o2(x,o2(x,x))) | true | 50015 | 50015 | 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_x9_u5_b106 | 12 | 9 | 5 | 106 | ![]() |
sgn(dot(D,eql(P,P))) | 27522 | 97811932 | o1(o2(x,o2(x,x))) | true | 50023 | 50023 | 9.004e-11 | 0.4688 | 0.4696 | 0.3151 | 0.5613 | -0.9988 | 0.9988 | 1.998 | 1 | 4.729 | 0.0833 | 0.0833 | 0.2779 | 8.497e-7 | 1 | 3.687e-9 | 0.3292 | 0.2281 | 0.0894 | 0.299 | 1.076 | 1.413 | 0.5287 | 1.045 | 1 | 1 | 0.2512 | 0.8837 | 0 | 0.7973 | 2.805 | 0 | json |
| t12_x9_u5_b107 | 12 | 9 | 5 | 107 | ![]() |
sgn(dot(D,min(P,P))) | 27523 | 97811933 | o1(o2(x,o2(x,x))) | true | 50031 | 50031 | -0.09179 | 0.4368 | 0.5641 | 0.4037 | 0.6354 | -1 | 0.9994 | 1.999 | 1 | 4.373 | 0.1201 | 0.1201 | 0.2785 | -0.00001374 | 1 | 0.001907 | 0.6899 | 0.3197 | 0.1627 | 0.4033 | 1.448 | 2.817 | 0.5951 | 1.709 | 1 | 1 | 0.2638 | 0.8922 | 0.2435 | 0.6535 | 2.21 | 0.6033 | json |
| t12_x9_u5_b108 | 12 | 9 | 5 | 108 | ![]() |
sgn(dot(D,dot(P,P))) | 27524 | 97811934 | o1(o2(x,o2(x,x))) | true | 50039 | 50039 | 1.021e-9 | 0.469 | 0.4694 | 0.3149 | 0.5611 | -0.9991 | 0.9991 | 1.998 | 1 | 4.732 | 0.08295 | 0.08295 | 0.2768 | 0.000001437 | 1 | 4.167e-9 | 0.3278 | 0.2272 | 0.08929 | 0.2988 | 1.08 | 1.413 | 0.5269 | 1.041 | 1 | 1 | 0.2494 | 0.8792 | 0.00817 | 0.7921 | 2.792 | 0.02595 | json |
| t12_x9_u5_b109 | 12 | 9 | 5 | 109 | ![]() |
sgn(dot(D,dst(P,P))) | 27525 | 97811935 | o1(o2(x,o2(x,x))) | true | 50047 | 50047 | 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_x9_u5_b110 | 12 | 9 | 5 | 110 | ![]() |
sgn(dst(D,add(P,P))) | 27526 | 97811936 | o1(o2(x,o2(x,x))) | true | 50055 | 50055 | 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_x9_u5_b111 | 12 | 9 | 5 | 111 | ![]() |
sgn(dst(D,sub(P,P))) | 27527 | 97811937 | o1(o2(x,o2(x,x))) | true | 50063 | 50063 | 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_x9_u5_b112 | 12 | 9 | 5 | 112 | ![]() |
sgn(dst(D,mlt(P,P))) | 27528 | 97811938 | o1(o2(x,o2(x,x))) | true | 50071 | 50071 | 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_x9_u5_b113 | 12 | 9 | 5 | 113 | ![]() |
sgn(dst(D,div(P,P))) | 27529 | 97811939 | o1(o2(x,o2(x,x))) | true | 50079 | 50079 | 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_x9_u5_b114 | 12 | 9 | 5 | 114 | ![]() |
sgn(dst(D,pow(P,P))) | 27530 | 97811940 | o1(o2(x,o2(x,x))) | true | 50087 | 50087 | -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.003946 | 0.05178 | 0.3202 | 0.005046 | 0.06621 | 0.4094 | json |
| t12_x9_u5_b115 | 12 | 9 | 5 | 115 | ![]() |
sgn(dst(D,mod(P,P))) | 27531 | 97811941 | o1(o2(x,o2(x,x))) | true | 50095 | 50095 | 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_x9_u5_b116 | 12 | 9 | 5 | 116 | ![]() |
sgn(dst(D,lrg(P,P))) | 27532 | 97811942 | o1(o2(x,o2(x,x))) | true | 50103 | 50103 | 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_x9_u5_b117 | 12 | 9 | 5 | 117 | ![]() |
sgn(dst(D,eql(P,P))) | 27533 | 97811943 | o1(o2(x,o2(x,x))) | true | 50111 | 50111 | 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_x9_u5_b118 | 12 | 9 | 5 | 118 | ![]() |
sgn(dst(D,min(P,P))) | 27534 | 97811944 | o1(o2(x,o2(x,x))) | true | 50119 | 50119 | 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_x9_u5_b119 | 12 | 9 | 5 | 119 | ![]() |
sgn(dst(D,dot(P,P))) | 27535 | 97811945 | o1(o2(x,o2(x,x))) | true | 50127 | 50127 | 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_x9_u5_b120 | 12 | 9 | 5 | 120 | ![]() |
sgn(dst(D,dst(P,P))) | 27536 | 97811946 | o1(o2(x,o2(x,x))) | true | 50135 | 50135 | 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_x9_u6_b0 | 12 | 9 | 6 | 0 | ![]() |
nrm(add(D,add(P,P))) | 27537 | 97812027 | o1(o2(x,o2(x,x))) | true | 50143 | 50143 | 7.112e-10 | 0.5 | 0.6465 | 0.499 | 0.7064 | -1 | 1 | 2 | 1 | 4.783 | 0.000246 | 0.00007447 | 0.009115 | 0.5353 | 1 | -1.97e-10 | 0.0001769 | 0.001195 | 0.0002374 | 0.01541 | 1.691 | 1.467 | 0.0006422 | 0.0003545 | 1 | 1 | 0.0009647 | 0.01127 | 0.1138 | 0.001933 | 0.02259 | 0.228 | json |
| t12_x9_u6_b1 | 12 | 9 | 6 | 1 | ![]() |
nrm(add(D,sub(P,P))) | 27538 | 97812028 | o1(o2(x,o2(x,x))) | true | 50151 | 50151 | 1.394e-9 | 0.5 | 0.3663 | 0.1867 | 0.4321 | -0.9346 | 0.9346 | 1.869 | 1 | 4.562 | 0.03788 | 0.006951 | 0.1584 | 0.6899 | 1 | 5.575e-9 | 0.04219 | 0.07112 | 0.01975 | 0.1405 | 0.8875 | 1.466 | 0.2401 | 0.226 | 1 | 1 | 0.07517 | 0.4029 | 0 | 0.4025 | 2.158 | 0 | json |
| t12_x9_u6_b2 | 12 | 9 | 6 | 2 | ![]() |
nrm(add(D,mlt(P,P))) | 27539 | 97812029 | o1(o2(x,o2(x,x))) | true | 50159 | 50159 | 0.6014 | 0.979 | 0.6036 | 0.1315 | 0.3627 | -0.9348 | 1 | 1.935 | 1 | 3.666 | 0.0003638 | 0.0001198 | 0.01112 | 0.5044 | 1 | -0.000004541 | 0.0001978 | 0.002418 | 0.00036 | 0.01897 | 1.706 | 1.467 | 0.003677 | 0.001504 | 1 | 1 | 0.001477 | 0.01547 | 0.09694 | 0.01123 | 0.1176 | 0.7369 | json |
| t12_x9_u6_b3 | 12 | 9 | 6 | 3 | ![]() |
nrm(add(D,div(P,P))) | 27540 | 97812030 | o1(o2(x,o2(x,x))) | true | 50167 | 50167 | -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_x9_u6_b4 | 12 | 9 | 6 | 4 | ![]() |
nrm(add(D,pow(P,P))) | 27541 | 97812031 | o1(o2(x,o2(x,x))) | true | 50175 | 50175 | -0.616 | 0.2229 | 0.884 | 0.4912 | 0.7008 | -1 | 1 | 2 | 1 | 1.464 | 0.002758 | 0.007379 | 0.008911 | -0.4559 | 1 | -0.000001624 | 0.0201 | 0.01273 | 0.01005 | 0.1003 | 11.25 | 2 | 0.02064 | 0.04091 | 1 | 1 | 0.01363 | 0.05712 | 0.2539 | 0.02774 | 0.1163 | 0.517 | json |
| t12_x9_u6_b5 | 12 | 9 | 6 | 5 | ![]() |
nrm(add(D,mod(P,P))) | 27542 | 97812032 | o1(o2(x,o2(x,x))) | true | 50183 | 50183 | -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_x9_u6_b6 | 12 | 9 | 6 | 6 | ![]() |
nrm(add(D,lrg(P,P))) | 27543 | 97812033 | o1(o2(x,o2(x,x))) | true | 50191 | 50191 | 1.394e-9 | 0.5 | 0.3663 | 0.1867 | 0.4321 | -0.9346 | 0.9346 | 1.869 | 1 | 4.562 | 0.03788 | 0.006951 | 0.1584 | 0.6899 | 1 | 5.575e-9 | 0.04219 | 0.07112 | 0.01975 | 0.1405 | 0.8875 | 1.466 | 0.2401 | 0.226 | 1 | 1 | 0.07517 | 0.4029 | 0 | 0.4025 | 2.158 | 0 | json |
| t12_x9_u6_b7 | 12 | 9 | 6 | 7 | ![]() |
nrm(add(D,eql(P,P))) | 27544 | 97812034 | o1(o2(x,o2(x,x))) | true | 50199 | 50199 | 0.5544 | 1 | 0.5544 | 0.002151 | 0.04638 | 0.471 | 0.6441 | 0.1731 | 1 | 1.74 | 0.0002709 | 0.00005564 | 0.01695 | 0.6592 | 1 | 0.00004607 | 0.00005127 | 0.006108 | 0.00003936 | 0.006274 | 0.3702 | 0.02664 | 0.1518 | 0.02383 | 1 | 1 | 0.0006305 | 0.004329 | 0 | 0.2931 | 2.012 | 0 | json |
| t12_x9_u6_b8 | 12 | 9 | 6 | 8 | ![]() |
nrm(add(D,min(P,P))) | 27545 | 97812035 | o1(o2(x,o2(x,x))) | true | 50207 | 50207 | -1.264e-10 | 0.5 | 0.6478 | 0.5 | 0.7071 | -1 | 1 | 2 | 1 | 4.782 | 0.0002429 | 0.00006621 | 0.008969 | 0.5716 | 1 | 0 | 0.000174 | 0.0003995 | 0.0002286 | 0.01512 | 1.686 | 1.467 | 0.0006182 | 0.0003479 | 1 | 1 | 0.0009308 | 0.01106 | 0.115 | 0.001862 | 0.02211 | 0.23 | json |
| t12_x9_u6_b9 | 12 | 9 | 6 | 9 | ![]() |
nrm(add(D,dot(P,P))) | 27546 | 97812036 | o1(o2(x,o2(x,x))) | true | 50215 | 50215 | 0.5746 | 0.9983 | 0.5758 | 0.00197 | 0.04438 | -0.9358 | 0.9546 | 1.89 | 1 | 0.2688 | 0.0001633 | 0.00005252 | 0.002029 | 0.5132 | 1 | 9.225e-9 | 0.0001853 | 0.0007299 | 0.0002117 | 0.01455 | 7.173 | 1.468 | 0.1096 | 0.09409 | 1 | 1 | 0.0006437 | 0.004717 | 0.006945 | 0.3268 | 2.395 | 3.526 | json |
| t12_x9_u6_b10 | 12 | 9 | 6 | 10 | ![]() |
nrm(add(D,dst(P,P))) | 27547 | 97812037 | o1(o2(x,o2(x,x))) | true | 50223 | 50223 | 1.394e-9 | 0.5 | 0.3663 | 0.1867 | 0.4321 | -0.9346 | 0.9346 | 1.869 | 1 | 4.562 | 0.03788 | 0.006951 | 0.1584 | 0.6899 | 1 | 5.575e-9 | 0.04219 | 0.07112 | 0.01975 | 0.1405 | 0.8875 | 1.466 | 0.2401 | 0.226 | 1 | 1 | 0.07517 | 0.4029 | 0 | 0.4025 | 2.158 | 0 | json |
| t12_x9_u6_b11 | 12 | 9 | 6 | 11 | ![]() |
nrm(sub(D,add(P,P))) | 27548 | 97812038 | o1(o2(x,o2(x,x))) | true | 50231 | 50231 | -1.218e-9 | 0.5 | 0.6386 | 0.4901 | 0.7001 | -1 | 1 | 2 | 1 | 4.792 | 0.0004187 | 0.00008736 | 0.01142 | 0.6548 | 1 | -2.314e-10 | 0.0002091 | 0.003156 | 0.0003756 | 0.01938 | 1.697 | 1.466 | 0.001033 | 0.0004268 | 1 | 1 | 0.00155 | 0.01481 | 0.1004 | 0.003162 | 0.03021 | 0.2048 | json |
| t12_x9_u6_b12 | 12 | 9 | 6 | 12 | ![]() |
nrm(sub(D,sub(P,P))) | 27549 | 97812039 | o1(o2(x,o2(x,x))) | true | 50239 | 50239 | 1.394e-9 | 0.5 | 0.3663 | 0.1867 | 0.4321 | -0.9346 | 0.9346 | 1.869 | 1 | 4.562 | 0.03788 | 0.006951 | 0.1584 | 0.6899 | 1 | 5.575e-9 | 0.04219 | 0.07112 | 0.01975 | 0.1405 | 0.8875 | 1.466 | 0.2401 | 0.226 | 1 | 1 | 0.07517 | 0.4029 | 0 | 0.4025 | 2.158 | 0 | json |
| t12_x9_u6_b13 | 12 | 9 | 6 | 13 | ![]() |
nrm(sub(D,mlt(P,P))) | 27550 | 97812040 | o1(o2(x,o2(x,x))) | true | 50247 | 50247 | -0.6014 | 0.01981 | 0.6036 | 0.1315 | 0.3627 | -1 | 0.9348 | 1.935 | 1 | 3.666 | 0.0003638 | 0.0001198 | 0.01112 | 0.5044 | 1 | 0.000004541 | 0.0001978 | 0.002418 | 0.0003601 | 0.01898 | 1.707 | 1.467 | 0.003677 | 0.001504 | 1 | 1 | 0.001477 | 0.01547 | 0.09699 | 0.01123 | 0.1176 | 0.7373 | json |
| t12_x9_u6_b14 | 12 | 9 | 6 | 14 | ![]() |
nrm(sub(D,div(P,P))) | 27551 | 97812041 | o1(o2(x,o2(x,x))) | true | 50255 | 50255 | -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_x9_u6_b15 | 12 | 9 | 6 | 15 | ![]() |
nrm(sub(D,pow(P,P))) | 27552 | 97812042 | o1(o2(x,o2(x,x))) | true | 50263 | 50263 | -0.8834 | 0 | 0.8834 | 0.08961 | 0.2993 | -1 | -5.122e-8 | 1 | 1 | 1.031 | 0.00161 | 0.0001422 | 0.004813 | 0.8377 | 1 | 0.000001623 | 0.003249 | 0.004443 | 0.001729 | 0.04159 | 8.641 | 1 | 0.01956 | 0.03626 | 1 | 1 | 0.002319 | 0.01212 | 0.06979 | 0.02588 | 0.1353 | 0.7788 | json |
| t12_x9_u6_b16 | 12 | 9 | 6 | 16 | ![]() |
nrm(sub(D,mod(P,P))) | 27553 | 97812043 | o1(o2(x,o2(x,x))) | true | 50271 | 50271 | -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_x9_u6_b17 | 12 | 9 | 6 | 17 | ![]() |
nrm(sub(D,lrg(P,P))) | 27554 | 97812044 | o1(o2(x,o2(x,x))) | true | 50279 | 50279 | 1.394e-9 | 0.5 | 0.3663 | 0.1867 | 0.4321 | -0.9346 | 0.9346 | 1.869 | 1 | 4.562 | 0.03788 | 0.006951 | 0.1584 | 0.6899 | 1 | 5.575e-9 | 0.04219 | 0.07112 | 0.01975 | 0.1405 | 0.8875 | 1.466 | 0.2401 | 0.226 | 1 | 1 | 0.07517 | 0.4029 | 0 | 0.4025 | 2.158 | 0 | json |
| t12_x9_u6_b18 | 12 | 9 | 6 | 18 | ![]() |
nrm(sub(D,eql(P,P))) | 27555 | 97812045 | o1(o2(x,o2(x,x))) | true | 50287 | 50287 | -0.5544 | 0 | 0.5544 | 0.002151 | 0.04638 | -0.6441 | -0.471 | 0.1731 | 1 | 1.74 | 0.0002696 | 0.00005567 | 0.01691 | 0.6577 | 1 | -0.00004607 | 0.00005127 | 0.006108 | 0.00003921 | 0.006262 | 0.3702 | 0.02664 | 0.1512 | 0.02383 | 1 | 1 | 0.0006264 | 0.004329 | 0 | 0.2912 | 2.012 | 0 | json |
| t12_x9_u6_b19 | 12 | 9 | 6 | 19 | ![]() |
nrm(sub(D,min(P,P))) | 27556 | 97812046 | o1(o2(x,o2(x,x))) | true | 50295 | 50295 | -5.984e-10 | 0.5 | 0.6356 | 0.4851 | 0.6965 | -1 | 1 | 2 | 1 | 4.808 | 0.0005024 | 0.0001089 | 0.01367 | 0.6438 | 1 | -8.893e-11 | 0.0002248 | 0.00415 | 0.0004244 | 0.0206 | 1.507 | 1.466 | 0.00126 | 0.0004634 | 1 | 1 | 0.001871 | 0.0171 | 0.09658 | 0.003857 | 0.03525 | 0.1991 | json |
| t12_x9_u6_b20 | 12 | 9 | 6 | 20 | ![]() |
nrm(sub(D,dot(P,P))) | 27557 | 97812047 | o1(o2(x,o2(x,x))) | true | 50303 | 50303 | -0.5746 | 0.001648 | 0.5758 | 0.00197 | 0.04438 | -0.9546 | 0.9358 | 1.89 | 1 | 0.2688 | 0.0001633 | 0.00005252 | 0.002025 | 0.5132 | 1 | -9.899e-9 | 0.0001853 | 0.0007299 | 0.0002117 | 0.01455 | 7.185 | 1.466 | 0.1096 | 0.0941 | 1 | 1 | 0.0006437 | 0.004717 | 0.006945 | 0.3268 | 2.395 | 3.526 | json |
| t12_x9_u6_b21 | 12 | 9 | 6 | 21 | ![]() |
nrm(sub(D,dst(P,P))) | 27558 | 97812048 | o1(o2(x,o2(x,x))) | true | 50311 | 50311 | 1.394e-9 | 0.5 | 0.3663 | 0.1867 | 0.4321 | -0.9346 | 0.9346 | 1.869 | 1 | 4.562 | 0.03788 | 0.006951 | 0.1584 | 0.6899 | 1 | 5.575e-9 | 0.04219 | 0.07112 | 0.01975 | 0.1405 | 0.8875 | 1.466 | 0.2401 | 0.226 | 1 | 1 | 0.07517 | 0.4029 | 0 | 0.4025 | 2.158 | 0 | json |
| t12_x9_u6_b22 | 12 | 9 | 6 | 22 | ![]() |
nrm(mlt(D,add(P,P))) | 27559 | 97812049 | o1(o2(x,o2(x,x))) | true | 50319 | 50319 | -0.05902 | 0.4236 | 0.3839 | 0.2237 | 0.4729 | -1 | 0.9992 | 1.999 | 1 | 4.803 | 0.05346 | 0.006082 | 0.1516 | 0.7957 | 1 | 0.0005405 | 0.07202 | 0.08979 | 0.03656 | 0.1912 | 1.261 | 1.999 | 0.2662 | 0.322 | 1 | 1 | 0.08928 | 0.4328 | 0.0984 | 0.3991 | 1.935 | 0.4399 | json |
| t12_x9_u6_b23 | 12 | 9 | 6 | 23 | ![]() |
nrm(mlt(D,sub(P,P))) | 27560 | 97812050 | o1(o2(x,o2(x,x))) | true | 50327 | 50327 | 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_x9_u6_b24 | 12 | 9 | 6 | 24 | ![]() |
nrm(mlt(D,mlt(P,P))) | 27561 | 97812051 | o1(o2(x,o2(x,x))) | true | 50335 | 50335 | -0.01562 | 0.4902 | 0.3798 | 0.2442 | 0.4941 | -1 | 0.9994 | 1.999 | 1 | 4.71 | 0.06695 | 0.005884 | 0.1459 | 0.8384 | 1 | -9.151e-11 | 0.1021 | 0.1029 | 0.05156 | 0.2271 | 1.557 | 1.999 | 0.2983 | 0.4183 | 1 | 1 | 0.09922 | 0.4439 | 0.1211 | 0.4064 | 1.818 | 0.496 | json |
| t12_x9_u6_b25 | 12 | 9 | 6 | 25 | ![]() |
nrm(mlt(D,div(P,P))) | 27562 | 97812052 | o1(o2(x,o2(x,x))) | true | 50343 | 50343 | -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_x9_u6_b26 | 12 | 9 | 6 | 26 | ![]() |
nrm(mlt(D,pow(P,P))) | 27563 | 97812053 | o1(o2(x,o2(x,x))) | true | 50351 | 50351 | -0.7625 | 0.08405 | 0.8401 | 0.2348 | 0.4845 | -1 | 0.9994 | 1.999 | 1 | 1.714 | 0.02695 | 0.003646 | 0.03725 | 0.7617 | 1 | -0.00007623 | 0.0545 | 0.03764 | 0.0292 | 0.1709 | 4.587 | 1.999 | 0.1303 | 0.2321 | 1 | 1 | 0.03809 | 0.1521 | 0.1254 | 0.1623 | 0.648 | 0.5341 | json |
| t12_x9_u6_b27 | 12 | 9 | 6 | 27 | ![]() |
nrm(mlt(D,mod(P,P))) | 27564 | 97812054 | o1(o2(x,o2(x,x))) | true | 50359 | 50359 | -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_x9_u6_b28 | 12 | 9 | 6 | 28 | ![]() |
nrm(mlt(D,lrg(P,P))) | 27565 | 97812055 | o1(o2(x,o2(x,x))) | true | 50367 | 50367 | -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_x9_u6_b29 | 12 | 9 | 6 | 29 | ![]() |
nrm(mlt(D,eql(P,P))) | 27566 | 97812056 | o1(o2(x,o2(x,x))) | true | 50375 | 50375 | 1.394e-9 | 0.5 | 0.3663 | 0.1867 | 0.4321 | -0.9346 | 0.9346 | 1.869 | 1 | 4.562 | 0.03788 | 0.006951 | 0.1584 | 0.6899 | 1 | 5.575e-9 | 0.04219 | 0.07112 | 0.01975 | 0.1405 | 0.8875 | 1.466 | 0.2401 | 0.226 | 1 | 1 | 0.07517 | 0.4029 | 0 | 0.4025 | 2.158 | 0 | json |
| t12_x9_u6_b30 | 12 | 9 | 6 | 30 | ![]() |
nrm(mlt(D,min(P,P))) | 27567 | 97812057 | o1(o2(x,o2(x,x))) | true | 50383 | 50383 | -0.05902 | 0.4236 | 0.3839 | 0.2237 | 0.4729 | -1 | 0.9992 | 1.999 | 1 | 4.803 | 0.05346 | 0.006082 | 0.1516 | 0.7957 | 1 | 0.0005405 | 0.07202 | 0.08979 | 0.03656 | 0.1912 | 1.261 | 1.999 | 0.2662 | 0.322 | 1 | 1 | 0.08928 | 0.4328 | 0.0984 | 0.3991 | 1.935 | 0.4399 | json |
| t12_x9_u6_b31 | 12 | 9 | 6 | 31 | ![]() |
nrm(mlt(D,dot(P,P))) | 27568 | 97812058 | o1(o2(x,o2(x,x))) | true | 50391 | 50391 | -0.01562 | 0.4922 | 0.3762 | 0.1992 | 0.4463 | -1 | 0.9346 | 1.935 | 1 | 4.607 | 0.03816 | 0.00833 | 0.1575 | 0.6416 | 1 | 9.991e-10 | 0.0469 | 0.07365 | 0.02168 | 0.1472 | 0.9349 | 1.935 | 0.2334 | 0.2355 | 1 | 1 | 0.07695 | 0.4053 | 0.06732 | 0.3863 | 2.035 | 0.338 | json |
| t12_x9_u6_b32 | 12 | 9 | 6 | 32 | ![]() |
nrm(mlt(D,dst(P,P))) | 27569 | 97812059 | o1(o2(x,o2(x,x))) | true | 50399 | 50399 | 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_x9_u6_b33 | 12 | 9 | 6 | 33 | ![]() |
nrm(div(D,add(P,P))) | 27570 | 97812060 | o1(o2(x,o2(x,x))) | true | 50407 | 50407 | -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_x9_u6_b34 | 12 | 9 | 6 | 34 | ![]() |
nrm(div(D,sub(P,P))) | 27571 | 97812061 | o1(o2(x,o2(x,x))) | true | 50415 | 50415 | -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_x9_u6_b35 | 12 | 9 | 6 | 35 | ![]() |
nrm(div(D,mlt(P,P))) | 27572 | 97812062 | o1(o2(x,o2(x,x))) | true | 50423 | 50423 | -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_x9_u6_b36 | 12 | 9 | 6 | 36 | ![]() |
nrm(div(D,div(P,P))) | 27573 | 97812063 | o1(o2(x,o2(x,x))) | true | 50431 | 50431 | -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_x9_u6_b37 | 12 | 9 | 6 | 37 | ![]() |
nrm(div(D,pow(P,P))) | 27574 | 97812064 | o1(o2(x,o2(x,x))) | true | 50439 | 50439 | -0.7365 | 0.1446 | 0.8408 | 0.2739 | 0.5234 | -1 | 0.9994 | 1.999 | 1 | 1.726 | 0.03097 | 0.003049 | 0.03859 | 0.8208 | 1 | 0.000001422 | 0.06069 | 0.04076 | 0.03253 | 0.1804 | 4.674 | 1.999 | 0.1242 | 0.2216 | 1 | 1 | 0.03847 | 0.1466 | 0.1391 | 0.1405 | 0.5352 | 0.5079 | json |
| t12_x9_u6_b38 | 12 | 9 | 6 | 38 | ![]() |
nrm(div(D,mod(P,P))) | 27575 | 97812065 | o1(o2(x,o2(x,x))) | true | 50447 | 50447 | -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_x9_u6_b39 | 12 | 9 | 6 | 39 | ![]() |
nrm(div(D,lrg(P,P))) | 27576 | 97812066 | o1(o2(x,o2(x,x))) | true | 50455 | 50455 | -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_x9_u6_b40 | 12 | 9 | 6 | 40 | ![]() |
nrm(div(D,eql(P,P))) | 27577 | 97812067 | o1(o2(x,o2(x,x))) | true | 50463 | 50463 | 1.394e-9 | 0.5 | 0.3663 | 0.1867 | 0.4321 | -0.9346 | 0.9346 | 1.869 | 1 | 4.562 | 0.03788 | 0.006951 | 0.1584 | 0.6899 | 1 | 5.575e-9 | 0.04219 | 0.07112 | 0.01975 | 0.1405 | 0.8875 | 1.466 | 0.2401 | 0.226 | 1 | 1 | 0.07517 | 0.4029 | 0 | 0.4025 | 2.158 | 0 | json |
| t12_x9_u6_b41 | 12 | 9 | 6 | 41 | ![]() |
nrm(div(D,min(P,P))) | 27578 | 97812068 | o1(o2(x,o2(x,x))) | true | 50471 | 50471 | -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_x9_u6_b42 | 12 | 9 | 6 | 42 | ![]() |
nrm(div(D,dot(P,P))) | 27579 | 97812069 | o1(o2(x,o2(x,x))) | true | 50479 | 50479 | -0.01562 | 0.4922 | 0.3762 | 0.1992 | 0.4463 | -1 | 0.9346 | 1.935 | 1 | 4.607 | 0.03816 | 0.00833 | 0.1575 | 0.6416 | 1 | 8.921e-10 | 0.0469 | 0.07365 | 0.02168 | 0.1472 | 0.9349 | 1.935 | 0.2334 | 0.2355 | 1 | 1 | 0.07695 | 0.4053 | 0.06732 | 0.3863 | 2.035 | 0.338 | json |
| t12_x9_u6_b43 | 12 | 9 | 6 | 43 | ![]() |
nrm(div(D,dst(P,P))) | 27580 | 97812070 | o1(o2(x,o2(x,x))) | true | 50487 | 50487 | -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_x9_u6_b44 | 12 | 9 | 6 | 44 | ![]() |
nrm(pow(D,add(P,P))) | 27581 | 97812071 | o1(o2(x,o2(x,x))) | true | 50495 | 50495 | -0.9939 | 0.003906 | 0.9983 | 0.009961 | 0.09981 | -1 | 0.9999 | 2 | 1 | 0.05149 | 0.001478 | 0.001115 | 0.001805 | 0.1399 | 1 | -3.004e-11 | 0.005474 | 0.003172 | 0.002588 | 0.05087 | 28.19 | 2.231 | 0.2603 | 0.5495 | 1 | 1 | 0.00462 | 0.0188 | 0.03626 | 0.4638 | 1.887 | 3.64 | json |
| t12_x9_u6_b45 | 12 | 9 | 6 | 45 | ![]() |
nrm(pow(D,sub(P,P))) | 27582 | 97812072 | o1(o2(x,o2(x,x))) | true | 50503 | 50503 | 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_x9_u6_b46 | 12 | 9 | 6 | 46 | ![]() |
nrm(pow(D,mlt(P,P))) | 27583 | 97812073 | o1(o2(x,o2(x,x))) | true | 50511 | 50511 | -0.9944 | 0.003906 | 0.9978 | 0.008117 | 0.09009 | -1 | 0.7069 | 1.707 | 1 | 0.05025 | 0.0009463 | 0.001061 | 0.00153 | -0.05735 | 1 | 3.754e-12 | 0.00421 | 0.002794 | 0.002004 | 0.04477 | 29.25 | 2.231 | 0.2474 | 0.5187 | 1 | 1 | 0.003571 | 0.01502 | 0.02953 | 0.4399 | 1.851 | 3.638 | json |
| t12_x9_u6_b47 | 12 | 9 | 6 | 47 | ![]() |
nrm(pow(D,div(P,P))) | 27584 | 97812074 | o1(o2(x,o2(x,x))) | true | 50519 | 50519 | -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_x9_u6_b48 | 12 | 9 | 6 | 48 | ![]() |
nrm(pow(D,pow(P,P))) | 27585 | 97812075 | o1(o2(x,o2(x,x))) | true | 50527 | 50527 | -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_x9_u6_b49 | 12 | 9 | 6 | 49 | ![]() |
nrm(pow(D,mod(P,P))) | 27586 | 97812076 | o1(o2(x,o2(x,x))) | true | 50535 | 50535 | -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_x9_u6_b50 | 12 | 9 | 6 | 50 | ![]() |
nrm(pow(D,lrg(P,P))) | 27587 | 97812077 | o1(o2(x,o2(x,x))) | true | 50543 | 50543 | 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_x9_u6_b51 | 12 | 9 | 6 | 51 | ![]() |
nrm(pow(D,eql(P,P))) | 27588 | 97812078 | o1(o2(x,o2(x,x))) | true | 50551 | 50551 | 1.394e-9 | 0.5 | 0.3663 | 0.1867 | 0.4321 | -0.9346 | 0.9346 | 1.869 | 1 | 4.562 | 0.03788 | 0.006951 | 0.1584 | 0.6899 | 1 | 5.575e-9 | 0.04219 | 0.07112 | 0.01975 | 0.1405 | 0.8875 | 1.466 | 0.2401 | 0.226 | 1 | 1 | 0.07517 | 0.4029 | 0 | 0.4025 | 2.158 | 0 | json |
| t12_x9_u6_b52 | 12 | 9 | 6 | 52 | ![]() |
nrm(pow(D,min(P,P))) | 27589 | 97812079 | o1(o2(x,o2(x,x))) | true | 50559 | 50559 | -0.9938 | 0.003906 | 0.9984 | 0.01016 | 0.1008 | -1 | 0.9989 | 1.999 | 1 | 0.05167 | 0.001506 | 0.001113 | 0.001796 | 0.15 | 1 | -2.628e-11 | 0.005512 | 0.003159 | 0.002614 | 0.05113 | 28.47 | 2.231 | 0.2578 | 0.5425 | 1 | 1 | 0.004667 | 0.01891 | 0.03699 | 0.4593 | 1.861 | 3.641 | json |
| t12_x9_u6_b53 | 12 | 9 | 6 | 53 | ![]() |
nrm(pow(D,dot(P,P))) | 27590 | 97812080 | o1(o2(x,o2(x,x))) | true | 50567 | 50567 | -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_x9_u6_b54 | 12 | 9 | 6 | 54 | ![]() |
nrm(pow(D,dst(P,P))) | 27591 | 97812081 | o1(o2(x,o2(x,x))) | true | 50575 | 50575 | 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_x9_u6_b55 | 12 | 9 | 6 | 55 | ![]() |
nrm(mod(D,add(P,P))) | 27592 | 97812082 | o1(o2(x,o2(x,x))) | true | 50583 | 50583 | -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_x9_u6_b56 | 12 | 9 | 6 | 56 | ![]() |
nrm(mod(D,sub(P,P))) | 27593 | 97812083 | o1(o2(x,o2(x,x))) | true | 50591 | 50591 | -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_x9_u6_b57 | 12 | 9 | 6 | 57 | ![]() |
nrm(mod(D,mlt(P,P))) | 27594 | 97812084 | o1(o2(x,o2(x,x))) | true | 50599 | 50599 | -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_x9_u6_b58 | 12 | 9 | 6 | 58 | ![]() |
nrm(mod(D,div(P,P))) | 27595 | 97812085 | o1(o2(x,o2(x,x))) | true | 50607 | 50607 | -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_x9_u6_b59 | 12 | 9 | 6 | 59 | ![]() |
nrm(mod(D,pow(P,P))) | 27596 | 97812086 | o1(o2(x,o2(x,x))) | true | 50615 | 50615 | -0.75 | 0.125 | 0.8416 | 0.2342 | 0.4839 | -1 | 0.9346 | 1.935 | 1 | 1.952 | 0.01211 | 0.00474 | 0.04377 | 0.4373 | 1 | 0.0002059 | 0.02207 | 0.02558 | 0.01493 | 0.1222 | 2.792 | 1.935 | 0.07194 | 0.09424 | 1 | 1 | 0.02692 | 0.1334 | 0.1 | 0.115 | 0.5696 | 0.4272 | json |
| t12_x9_u6_b60 | 12 | 9 | 6 | 60 | ![]() |
nrm(mod(D,mod(P,P))) | 27597 | 97812087 | o1(o2(x,o2(x,x))) | true | 50623 | 50623 | -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_x9_u6_b61 | 12 | 9 | 6 | 61 | ![]() |
nrm(mod(D,lrg(P,P))) | 27598 | 97812088 | o1(o2(x,o2(x,x))) | true | 50631 | 50631 | -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_x9_u6_b62 | 12 | 9 | 6 | 62 | ![]() |
nrm(mod(D,eql(P,P))) | 27599 | 97812089 | o1(o2(x,o2(x,x))) | true | 50639 | 50639 | 1.394e-9 | 0.5 | 0.3663 | 0.1867 | 0.4321 | -0.9346 | 0.9346 | 1.869 | 1 | 4.562 | 0.03788 | 0.006951 | 0.1584 | 0.6899 | 1 | 5.575e-9 | 0.04219 | 0.07112 | 0.01975 | 0.1405 | 0.8875 | 1.466 | 0.2401 | 0.226 | 1 | 1 | 0.07517 | 0.4029 | 0 | 0.4025 | 2.158 | 0 | json |



































































































