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_u4_b105 | 12 | 9 | 4 | 105 | ![]() |
cil(dot(D,lrg(P,P))) | 27400 | 97811730 | o1(o2(x,o2(x,x))) | true | 49047 | 49047 | 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_u4_b106 | 12 | 9 | 4 | 106 | ![]() |
cil(dot(D,eql(P,P))) | 27401 | 97811731 | o1(o2(x,o2(x,x))) | true | 49055 | 49055 | 0.4688 | 0.9375 | 0.4688 | 0.1046 | 0.3235 | 0 | 0.9994 | 0.9994 | 1 | 3.91 | 0.06018 | 0.06018 | 0.1758 | 0.000004488 | 1 | 0.00003149 | 0.5007 | 0.2681 | 0.08942 | 0.299 | 1.701 | 1.409 | 1.15 | 4.785 | 1 | 1 | 0.1154 | 0.2917 | 0 | 1.103 | 2.788 | 0 | json |
| t12_x9_u4_b107 | 12 | 9 | 4 | 107 | ![]() |
cil(dot(D,min(P,P))) | 27402 | 97811732 | o1(o2(x,o2(x,x))) | true | 49063 | 49063 | 0.1641 | 0.6101 | 0.5266 | 0.3739 | 0.6115 | -1 | 1 | 2 | 1 | 4.671 | 0.08665 | 0.08665 | 0.3169 | 7.738e-7 | 1 | 0.004905 | 0.5924 | 0.5574 | 0.07287 | 0.2699 | 0.8518 | 1.413 | 0.4635 | 1.584 | 1 | 1 | 0.1468 | 0.5333 | 0.1122 | 0.3926 | 1.426 | 0.2999 | json |
| t12_x9_u4_b108 | 12 | 9 | 4 | 108 | ![]() |
cil(dot(D,dot(P,P))) | 27403 | 97811733 | o1(o2(x,o2(x,x))) | true | 49071 | 49071 | 0.07967 | 0.5444 | 0.8786 | 0.8387 | 0.9158 | -1 | 1 | 2 | 1 | 2.522 | 0.2137 | 0.2137 | 0.3228 | 6.972e-8 | 1 | -0.0003818 | 1.216 | 0.5568 | 0.3232 | 0.5685 | 1.761 | 2.828 | 0.5097 | 1.45 | 1 | 1 | 0.4265 | 1.405 | 0.1283 | 0.5085 | 1.676 | 0.1529 | json |
| t12_x9_u4_b109 | 12 | 9 | 4 | 109 | ![]() |
cil(dot(D,dst(P,P))) | 27404 | 97811734 | o1(o2(x,o2(x,x))) | true | 49079 | 49079 | 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_u4_b110 | 12 | 9 | 4 | 110 | ![]() |
cil(dst(D,add(P,P))) | 27405 | 97811735 | o1(o2(x,o2(x,x))) | true | 49087 | 49087 | 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_u4_b111 | 12 | 9 | 4 | 111 | ![]() |
cil(dst(D,sub(P,P))) | 27406 | 97811736 | o1(o2(x,o2(x,x))) | true | 49095 | 49095 | 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_u4_b112 | 12 | 9 | 4 | 112 | ![]() |
cil(dst(D,mlt(P,P))) | 27407 | 97811737 | o1(o2(x,o2(x,x))) | true | 49103 | 49103 | 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_u4_b113 | 12 | 9 | 4 | 113 | ![]() |
cil(dst(D,div(P,P))) | 27408 | 97811738 | o1(o2(x,o2(x,x))) | true | 49111 | 49111 | -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_u4_b114 | 12 | 9 | 4 | 114 | ![]() |
cil(dst(D,pow(P,P))) | 27409 | 97811739 | o1(o2(x,o2(x,x))) | true | 49119 | 49119 | -0.5 | 0.25 | 1 | 0.75 | 0.866 | -1 | 1 | 2 | 1 | 0.8113 | 0.007937 | 0.007937 | 0.007937 | 0 | 1 | 0 | 0.03187 | 0.01587 | 0.01581 | 0.1257 | 15.84 | 2 | 0.02116 | 0.0425 | 1 | 1 | 0.02105 | 0.08421 | 0.3368 | 0.02807 | 0.1123 | 0.4491 | json |
| t12_x9_u4_b115 | 12 | 9 | 4 | 115 | ![]() |
cil(dst(D,mod(P,P))) | 27410 | 97811740 | o1(o2(x,o2(x,x))) | true | 49127 | 49127 | -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_u4_b116 | 12 | 9 | 4 | 116 | ![]() |
cil(dst(D,lrg(P,P))) | 27411 | 97811741 | o1(o2(x,o2(x,x))) | true | 49135 | 49135 | 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_u4_b117 | 12 | 9 | 4 | 117 | ![]() |
cil(dst(D,eql(P,P))) | 27412 | 97811742 | o1(o2(x,o2(x,x))) | true | 49143 | 49143 | 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_u4_b118 | 12 | 9 | 4 | 118 | ![]() |
cil(dst(D,min(P,P))) | 27413 | 97811743 | o1(o2(x,o2(x,x))) | true | 49151 | 49151 | 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_u4_b119 | 12 | 9 | 4 | 119 | ![]() |
cil(dst(D,dot(P,P))) | 27414 | 97811744 | o1(o2(x,o2(x,x))) | true | 49159 | 49159 | 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_u4_b120 | 12 | 9 | 4 | 120 | ![]() |
cil(dst(D,dst(P,P))) | 27415 | 97811745 | o1(o2(x,o2(x,x))) | true | 49167 | 49167 | 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_b0 | 12 | 9 | 5 | 0 | ![]() |
sgn(add(D,add(P,P))) | 27416 | 97811826 | o1(o2(x,o2(x,x))) | true | 49175 | 49175 | 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.02105 | 0.08421 | 0.3368 | 0.02105 | 0.08421 | 0.3368 | json |
| t12_x9_u5_b1 | 12 | 9 | 5 | 1 | ![]() |
sgn(add(D,sub(P,P))) | 27417 | 97811827 | o1(o2(x,o2(x,x))) | true | 49183 | 49183 | -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_b2 | 12 | 9 | 5 | 2 | ![]() |
sgn(add(D,mlt(P,P))) | 27418 | 97811828 | o1(o2(x,o2(x,x))) | true | 49191 | 49191 | 0.9375 | 0.9688 | 0.9806 | 0.09404 | 0.3067 | -0.9994 | 1 | 1.999 | 1 | 0.459 | 0.01728 | 0 | 0.01587 | 1 | 1 | 0 | 0.03201 | 0.01772 | 0.01702 | 0.1305 | 8.221 | 1.999 | 0.1837 | 0.3404 | 1 | 1 | 0.0246 | 0.1066 | 0.132 | 0.2616 | 1.133 | 1.403 | json |
| t12_x9_u5_b3 | 12 | 9 | 5 | 3 | ![]() |
sgn(add(D,div(P,P))) | 27419 | 97811829 | o1(o2(x,o2(x,x))) | true | 49199 | 49199 | 0.875 | 0.9375 | 0.9611 | 0.1803 | 0.4246 | -0.9994 | 1 | 1.999 | 1 | 0.8126 | 0.002823 | 0 | 0.01587 | 1 | 1 | 0 | 0.0001297 | 0.003711 | 0.002573 | 0.05073 | 3.197 | 0.2338 | 0.01566 | 0.0007193 | 1 | 1 | 0.007404 | 0.09633 | 0.2639 | 0.04107 | 0.5344 | 1.464 | json |
| t12_x9_u5_b4 | 12 | 9 | 5 | 4 | ![]() |
sgn(add(D,pow(P,P))) | 27420 | 97811830 | o1(o2(x,o2(x,x))) | true | 49207 | 49207 | 0.0625 | 0.5313 | 0.9806 | 0.969 | 0.9844 | -1 | 1 | 2 | 1 | 1.326 | 0.001412 | 0 | 0.007937 | 1 | 1 | 0 | 0.00006477 | 0.001855 | 0.001349 | 0.03673 | 4.628 | 0.2338 | 0.001457 | 0.00006684 | 1 | 1 | 0.003702 | 0.04857 | 0.3004 | 0.00382 | 0.05012 | 0.31 | json |
| t12_x9_u5_b5 | 12 | 9 | 5 | 5 | ![]() |
sgn(add(D,mod(P,P))) | 27421 | 97811831 | o1(o2(x,o2(x,x))) | true | 49215 | 49215 | -0.0625 | 0.4688 | 0.825 | 0.7525 | 0.8675 | -1 | 1 | 2 | 1 | 2.747 | 0.1396 | 0 | 0.1346 | 1 | 1 | 0 | 0.2567 | 0.1433 | 0.1214 | 0.3485 | 2.589 | 1.999 | 0.1855 | 0.3411 | 1 | 1 | 0.1926 | 0.7278 | 0.6752 | 0.256 | 0.9671 | 0.8973 | json |
| t12_x9_u5_b6 | 12 | 9 | 5 | 6 | ![]() |
sgn(add(D,lrg(P,P))) | 27422 | 97811832 | o1(o2(x,o2(x,x))) | true | 49223 | 49223 | -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_b7 | 12 | 9 | 5 | 7 | ![]() |
sgn(add(D,eql(P,P))) | 27423 | 97811833 | o1(o2(x,o2(x,x))) | true | 49231 | 49231 | 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_b8 | 12 | 9 | 5 | 8 | ![]() |
sgn(add(D,min(P,P))) | 27424 | 97811834 | o1(o2(x,o2(x,x))) | true | 49239 | 49239 | 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.02105 | 0.08421 | 0.3368 | 0.02105 | 0.08421 | 0.3368 | json |
| t12_x9_u5_b9 | 12 | 9 | 5 | 9 | ![]() |
sgn(add(D,dot(P,P))) | 27425 | 97811835 | o1(o2(x,o2(x,x))) | true | 49247 | 49247 | 0.9961 | 0.9983 | 0.9978 | 0.004774 | 0.06909 | -0.9988 | 1 | 1.999 | 1 | 0.06727 | 0.0008594 | 0.00007023 | 0.001303 | 0.8489 | 1 | -1.915e-10 | 0.00162 | 0.001202 | 0.0009271 | 0.03045 | 23.36 | 1.999 | 0.1947 | 0.3394 | 1 | 1 | 0.001867 | 0.01021 | 0.01742 | 0.3912 | 2.139 | 3.648 | json |
| t12_x9_u5_b10 | 12 | 9 | 5 | 10 | ![]() |
sgn(add(D,dst(P,P))) | 27426 | 97811836 | o1(o2(x,o2(x,x))) | true | 49255 | 49255 | -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_b11 | 12 | 9 | 5 | 11 | ![]() |
sgn(sub(D,add(P,P))) | 27427 | 97811837 | o1(o2(x,o2(x,x))) | true | 49263 | 49263 | 0 | 0.5 | 0.9611 | 0.9459 | 0.9725 | -1 | 1 | 2 | 1 | 1.577 | 0.01868 | 0 | 0.0238 | 1 | 1 | 0 | 0.03227 | 0.01957 | 0.01811 | 0.1346 | 5.654 | 1.999 | 0.01975 | 0.03412 | 1 | 1 | 0.02814 | 0.1297 | 0.2639 | 0.02976 | 0.1372 | 0.279 | json |
| t12_x9_u5_b12 | 12 | 9 | 5 | 12 | ![]() |
sgn(sub(D,sub(P,P))) | 27428 | 97811838 | o1(o2(x,o2(x,x))) | true | 49271 | 49271 | -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_b13 | 12 | 9 | 5 | 13 | ![]() |
sgn(sub(D,mlt(P,P))) | 27429 | 97811839 | o1(o2(x,o2(x,x))) | true | 49279 | 49279 | -0.9375 | 0.03125 | 0.9806 | 0.09404 | 0.3067 | -1 | 0.9994 | 1.999 | 1 | 0.459 | 0.01728 | 0 | 0.01587 | 1 | 1 | 0 | 0.03201 | 0.01772 | 0.01702 | 0.1305 | 8.221 | 1.999 | 0.1837 | 0.3404 | 1 | 1 | 0.0246 | 0.1066 | 0.132 | 0.2616 | 1.133 | 1.403 | json |
| t12_x9_u5_b14 | 12 | 9 | 5 | 14 | ![]() |
sgn(sub(D,div(P,P))) | 27430 | 97811840 | o1(o2(x,o2(x,x))) | true | 49287 | 49287 | -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_u5_b15 | 12 | 9 | 5 | 15 | ![]() |
sgn(sub(D,pow(P,P))) | 27431 | 97811841 | o1(o2(x,o2(x,x))) | true | 49295 | 49295 | -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_u5_b16 | 12 | 9 | 5 | 16 | ![]() |
sgn(sub(D,mod(P,P))) | 27432 | 97811842 | o1(o2(x,o2(x,x))) | true | 49303 | 49303 | -0.0625 | 0.4688 | 0.825 | 0.7525 | 0.8675 | -1 | 1 | 2 | 1 | 2.747 | 0.1396 | 0 | 0.1349 | 1 | 1 | 0 | 0.2571 | 0.1436 | 0.1214 | 0.3484 | 2.583 | 1.999 | 0.1855 | 0.3417 | 1 | 1 | 0.1997 | 0.7669 | 0.5279 | 0.2654 | 1.019 | 0.7015 | json |
| t12_x9_u5_b17 | 12 | 9 | 5 | 17 | ![]() |
sgn(sub(D,lrg(P,P))) | 27433 | 97811843 | o1(o2(x,o2(x,x))) | true | 49311 | 49311 | -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_b18 | 12 | 9 | 5 | 18 | ![]() |
sgn(sub(D,eql(P,P))) | 27434 | 97811844 | o1(o2(x,o2(x,x))) | true | 49319 | 49319 | -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_u5_b19 | 12 | 9 | 5 | 19 | ![]() |
sgn(sub(D,min(P,P))) | 27435 | 97811845 | o1(o2(x,o2(x,x))) | true | 49327 | 49327 | 0 | 0.5 | 0.9611 | 0.9459 | 0.9725 | -1 | 1 | 2 | 1 | 1.577 | 0.01868 | 0 | 0.0238 | 1 | 1 | 0 | 0.03227 | 0.01957 | 0.01811 | 0.1346 | 5.654 | 1.999 | 0.01975 | 0.03412 | 1 | 1 | 0.02814 | 0.1297 | 0.2639 | 0.02976 | 0.1372 | 0.279 | json |
| t12_x9_u5_b20 | 12 | 9 | 5 | 20 | ![]() |
sgn(sub(D,dot(P,P))) | 27436 | 97811846 | o1(o2(x,o2(x,x))) | true | 49335 | 49335 | -0.9961 | 0.001709 | 0.9978 | 0.004774 | 0.06909 | -1 | 0.9988 | 1.999 | 1 | 0.06727 | 0.0008594 | 0.00007023 | 0.001334 | 0.8489 | 1 | 1.821e-10 | 0.00162 | 0.001202 | 0.000927 | 0.03045 | 22.82 | 1.999 | 0.1947 | 0.3394 | 1 | 1 | 0.001867 | 0.01021 | 0.01742 | 0.3912 | 2.139 | 3.648 | json |
| t12_x9_u5_b21 | 12 | 9 | 5 | 21 | ![]() |
sgn(sub(D,dst(P,P))) | 27437 | 97811847 | o1(o2(x,o2(x,x))) | true | 49343 | 49343 | -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_b22 | 12 | 9 | 5 | 22 | ![]() |
sgn(mlt(D,add(P,P))) | 27438 | 97811848 | o1(o2(x,o2(x,x))) | true | 49351 | 49351 | -0.0625 | 0.4375 | 0.6653 | 0.5412 | 0.7356 | -0.9997 | 0.9994 | 1.999 | 1 | 3.711 | 0.2425 | 0 | 0.2297 | 1 | 1 | -0.0003594 | 0.4508 | 0.2496 | 0.1897 | 0.4355 | 1.896 | 1.999 | 0.448 | 0.833 | 1 | 1 | 0.2568 | 0.8873 | 0.1615 | 0.4745 | 1.64 | 0.2984 | json |
| t12_x9_u5_b23 | 12 | 9 | 5 | 23 | ![]() |
sgn(mlt(D,sub(P,P))) | 27439 | 97811849 | o1(o2(x,o2(x,x))) | true | 49359 | 49359 | 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_b24 | 12 | 9 | 5 | 24 | ![]() |
sgn(mlt(D,mlt(P,P))) | 27440 | 97811850 | o1(o2(x,o2(x,x))) | true | 49367 | 49367 | 3.716e-9 | 0.5 | 0.6653 | 0.5452 | 0.7384 | -0.9997 | 0.9997 | 1.999 | 1 | 3.784 | 0.2425 | 0 | 0.2297 | 1 | 1 | 0 | 0.4508 | 0.2496 | 0.1897 | 0.4355 | 1.896 | 1.999 | 0.4447 | 0.8269 | 1 | 1 | 0.2568 | 0.8877 | 0.06598 | 0.471 | 1.628 | 0.121 | json |
| t12_x9_u5_b25 | 12 | 9 | 5 | 25 | ![]() |
sgn(mlt(D,div(P,P))) | 27441 | 97811851 | o1(o2(x,o2(x,x))) | true | 49375 | 49375 | -0.0625 | 0.4688 | 0.7083 | 0.5901 | 0.7682 | -1 | 0.9994 | 1.999 | 1 | 3.332 | 0.2432 | 0 | 0.2297 | 1 | 1 | 0 | 0.4509 | 0.2496 | 0.1904 | 0.4364 | 1.9 | 1.999 | 0.4121 | 0.764 | 1 | 1 | 0.2586 | 0.9117 | 0.132 | 0.4383 | 1.545 | 0.2236 | json |
| t12_x9_u5_b26 | 12 | 9 | 5 | 26 | ![]() |
sgn(mlt(D,pow(P,P))) | 27442 | 97811852 | o1(o2(x,o2(x,x))) | true | 49383 | 49383 | -0.5 | 0.25 | 0.8444 | 0.5335 | 0.7304 | -1 | 0.9994 | 1.999 | 1 | 2.329 | 0.1381 | 0 | 0.1269 | 1 | 1 | -0.0001797 | 0.2574 | 0.1416 | 0.122 | 0.3493 | 2.753 | 1.999 | 0.2589 | 0.4825 | 1 | 1 | 0.1572 | 0.5458 | 0.132 | 0.2946 | 1.023 | 0.2473 | json |
| t12_x9_u5_b27 | 12 | 9 | 5 | 27 | ![]() |
sgn(mlt(D,mod(P,P))) | 27443 | 97811853 | o1(o2(x,o2(x,x))) | true | 49391 | 49391 | -0.0625 | 0.3125 | 0.3986 | 0.3118 | 0.5584 | -0.9997 | 0.9997 | 1.999 | 1 | 3.945 | 0.1015 | 0 | 0.103 | 1 | 1 | -0.0001797 | 0.1923 | 0.108 | 0.09091 | 0.3015 | 2.928 | 1.999 | 0.3256 | 0.6168 | 1 | 1 | 0.05964 | 0.2576 | 0.2917 | 0.1913 | 0.8259 | 0.9354 | json |
| t12_x9_u5_b28 | 12 | 9 | 5 | 28 | ![]() |
sgn(mlt(D,lrg(P,P))) | 27444 | 97811854 | o1(o2(x,o2(x,x))) | true | 49399 | 49399 | 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_b29 | 12 | 9 | 5 | 29 | ![]() |
sgn(mlt(D,eql(P,P))) | 27445 | 97811855 | o1(o2(x,o2(x,x))) | true | 49407 | 49407 | -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_b30 | 12 | 9 | 5 | 30 | ![]() |
sgn(mlt(D,min(P,P))) | 27446 | 97811856 | o1(o2(x,o2(x,x))) | true | 49415 | 49415 | -0.0625 | 0.4375 | 0.6653 | 0.5412 | 0.7356 | -0.9997 | 0.9994 | 1.999 | 1 | 3.711 | 0.2425 | 0 | 0.2297 | 1 | 1 | -0.0003594 | 0.4508 | 0.2496 | 0.1897 | 0.4355 | 1.896 | 1.999 | 0.448 | 0.833 | 1 | 1 | 0.2568 | 0.8873 | 0.1615 | 0.4745 | 1.64 | 0.2984 | json |
| t12_x9_u5_b31 | 12 | 9 | 5 | 31 | ![]() |
sgn(mlt(D,dot(P,P))) | 27447 | 97811857 | o1(o2(x,o2(x,x))) | true | 49423 | 49423 | -1.819e-12 | 0.4999 | 0.687 | 0.565 | 0.7517 | -0.9997 | 0.9997 | 1.999 | 1 | 3.473 | 0.2591 | 0.00003512 | 0.2447 | 0.9997 | 1 | 0 | 0.4808 | 0.2662 | 0.1991 | 0.4462 | 1.823 | 1.999 | 0.4585 | 0.8509 | 1 | 1 | 0.2804 | 0.9609 | 0.008708 | 0.4963 | 1.701 | 0.01541 | json |
| t12_x9_u5_b32 | 12 | 9 | 5 | 32 | ![]() |
sgn(mlt(D,dst(P,P))) | 27448 | 97811858 | o1(o2(x,o2(x,x))) | true | 49431 | 49431 | 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_b33 | 12 | 9 | 5 | 33 | ![]() |
sgn(div(D,add(P,P))) | 27449 | 97811859 | o1(o2(x,o2(x,x))) | true | 49439 | 49439 | -0.0625 | 0.4688 | 0.7083 | 0.5901 | 0.7682 | -1 | 0.9994 | 1.999 | 1 | 3.332 | 0.259 | 0 | 0.2376 | 1 | 1 | -0.0003594 | 0.4828 | 0.2655 | 0.2025 | 0.4499 | 1.893 | 1.999 | 0.4389 | 0.8181 | 1 | 1 | 0.2795 | 0.9698 | 0.2275 | 0.4737 | 1.643 | 0.3855 | json |
| t12_x9_u5_b34 | 12 | 9 | 5 | 34 | ![]() |
sgn(div(D,sub(P,P))) | 27450 | 97811860 | o1(o2(x,o2(x,x))) | true | 49447 | 49447 | -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_b35 | 12 | 9 | 5 | 35 | ![]() |
sgn(div(D,mlt(P,P))) | 27451 | 97811861 | o1(o2(x,o2(x,x))) | true | 49455 | 49455 | -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_b36 | 12 | 9 | 5 | 36 | ![]() |
sgn(div(D,div(P,P))) | 27452 | 97811862 | o1(o2(x,o2(x,x))) | true | 49463 | 49463 | -0.0625 | 0.4688 | 0.7083 | 0.5901 | 0.7682 | -1 | 0.9994 | 1.999 | 1 | 3.332 | 0.2432 | 0 | 0.2297 | 1 | 1 | 0 | 0.4509 | 0.2496 | 0.1904 | 0.4364 | 1.9 | 1.999 | 0.4121 | 0.764 | 1 | 1 | 0.2586 | 0.9117 | 0.132 | 0.4383 | 1.545 | 0.2236 | json |
| t12_x9_u5_b37 | 12 | 9 | 5 | 37 | ![]() |
sgn(div(D,pow(P,P))) | 27453 | 97811863 | o1(o2(x,o2(x,x))) | true | 49471 | 49471 | -0.5 | 0.25 | 0.8444 | 0.5335 | 0.7304 | -1 | 0.9994 | 1.999 | 1 | 2.329 | 0.1381 | 0 | 0.1269 | 1 | 1 | -0.0001797 | 0.2574 | 0.1416 | 0.122 | 0.3493 | 2.753 | 1.999 | 0.2589 | 0.4825 | 1 | 1 | 0.1572 | 0.5458 | 0.132 | 0.2946 | 1.023 | 0.2473 | json |
| t12_x9_u5_b38 | 12 | 9 | 5 | 38 | ![]() |
sgn(div(D,mod(P,P))) | 27454 | 97811864 | o1(o2(x,o2(x,x))) | true | 49479 | 49479 | -0.0625 | 0.4688 | 0.7861 | 0.6984 | 0.8357 | -1 | 1 | 2 | 1 | 2.978 | 0.2376 | 0 | 0.1982 | 1 | 1 | -0.0001797 | 0.4492 | 0.2424 | 0.1983 | 0.4453 | 2.246 | 2 | 0.3402 | 0.6432 | 1 | 1 | 0.2483 | 0.9011 | 0.4878 | 0.3556 | 1.29 | 0.6985 | json |
| t12_x9_u5_b39 | 12 | 9 | 5 | 39 | ![]() |
sgn(div(D,lrg(P,P))) | 27455 | 97811865 | o1(o2(x,o2(x,x))) | true | 49487 | 49487 | -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_b40 | 12 | 9 | 5 | 40 | ![]() |
sgn(div(D,eql(P,P))) | 27456 | 97811866 | o1(o2(x,o2(x,x))) | true | 49495 | 49495 | -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_b41 | 12 | 9 | 5 | 41 | ![]() |
sgn(div(D,min(P,P))) | 27457 | 97811867 | o1(o2(x,o2(x,x))) | true | 49503 | 49503 | -0.0625 | 0.4688 | 0.7083 | 0.5901 | 0.7682 | -1 | 0.9994 | 1.999 | 1 | 3.332 | 0.259 | 0 | 0.2376 | 1 | 1 | -0.0003594 | 0.4828 | 0.2655 | 0.2025 | 0.4499 | 1.893 | 1.999 | 0.4389 | 0.8181 | 1 | 1 | 0.2795 | 0.9698 | 0.2275 | 0.4737 | 1.643 | 0.3855 | json |
| t12_x9_u5_b42 | 12 | 9 | 5 | 42 | ![]() |
sgn(div(D,dot(P,P))) | 27458 | 97811868 | o1(o2(x,o2(x,x))) | true | 49511 | 49511 | -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_b43 | 12 | 9 | 5 | 43 | ![]() |
sgn(div(D,dst(P,P))) | 27459 | 97811869 | o1(o2(x,o2(x,x))) | true | 49519 | 49519 | -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_b44 | 12 | 9 | 5 | 44 | ![]() |
sgn(pow(D,add(P,P))) | 27460 | 97811870 | o1(o2(x,o2(x,x))) | true | 49527 | 49527 | 0.0625 | 0.5313 | 0.7083 | 0.5901 | 0.7682 | -0.9994 | 1 | 1.999 | 1 | 3.332 | 0.2432 | 0 | 0.2297 | 1 | 1 | 0 | 0.4509 | 0.2496 | 0.1904 | 0.4364 | 1.9 | 1.999 | 0.4121 | 0.764 | 1 | 1 | 0.2586 | 0.9117 | 0.132 | 0.4383 | 1.545 | 0.2236 | json |
| t12_x9_u5_b45 | 12 | 9 | 5 | 45 | ![]() |
sgn(pow(D,sub(P,P))) | 27461 | 97811871 | o1(o2(x,o2(x,x))) | true | 49535 | 49535 | 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_b46 | 12 | 9 | 5 | 46 | ![]() |
sgn(pow(D,mlt(P,P))) | 27462 | 97811872 | o1(o2(x,o2(x,x))) | true | 49543 | 49543 | 0.01635 | 0.4844 | 0.6636 | 0.5498 | 0.7415 | -0.9994 | 1 | 1.999 | 1 | 3.494 | 0.2118 | 0 | 0.2301 | 1 | 1 | -0.00008985 | 0.3761 | 0.239 | 0.1589 | 0.3986 | 1.732 | 1.999 | 0.3853 | 0.6841 | 1 | 1 | 0.2508 | 0.9085 | 0.1423 | 0.4562 | 1.652 | 0.2588 | json |
| t12_x9_u5_b47 | 12 | 9 | 5 | 47 | ![]() |
sgn(pow(D,div(P,P))) | 27463 | 97811873 | o1(o2(x,o2(x,x))) | true | 49551 | 49551 | -0.0625 | 0.4688 | 0.7083 | 0.5901 | 0.7682 | -1 | 0.9994 | 1.999 | 1 | 3.332 | 0.2432 | 0 | 0.2297 | 1 | 1 | 0 | 0.4509 | 0.2496 | 0.1904 | 0.4364 | 1.9 | 1.999 | 0.4121 | 0.764 | 1 | 1 | 0.2586 | 0.9117 | 0.132 | 0.4383 | 1.545 | 0.2236 | json |
| t12_x9_u5_b48 | 12 | 9 | 5 | 48 | ![]() |
sgn(pow(D,pow(P,P))) | 27464 | 97811874 | o1(o2(x,o2(x,x))) | true | 49559 | 49559 | -0.6279 | 0.1211 | 0.7923 | 0.34 | 0.5831 | -1 | 0.9994 | 1.999 | 1 | 2.609 | 0.07836 | 0 | 0.09547 | 1 | 1 | -0.00008985 | 0.1373 | 0.09976 | 0.06923 | 0.2631 | 2.756 | 1.999 | 0.2305 | 0.4039 | 1 | 1 | 0.1072 | 0.3843 | 0.165 | 0.3153 | 1.13 | 0.4852 | json |
| t12_x9_u5_b49 | 12 | 9 | 5 | 49 | ![]() |
sgn(pow(D,mod(P,P))) | 27465 | 97811875 | o1(o2(x,o2(x,x))) | true | 49567 | 49567 | 0.5 | 0.75 | 0.8444 | 0.5335 | 0.7304 | -0.9994 | 1 | 1.999 | 1 | 2.329 | 0.1064 | 0 | 0.1108 | 1 | 1 | 0.0001797 | 0.1926 | 0.1099 | 0.09414 | 0.3068 | 2.768 | 1.999 | 0.1995 | 0.3609 | 1 | 1 | 0.07067 | 0.3914 | 0.6788 | 0.1325 | 0.7336 | 1.272 | json |
| t12_x9_u5_b50 | 12 | 9 | 5 | 50 | ![]() |
sgn(pow(D,lrg(P,P))) | 27466 | 97811876 | o1(o2(x,o2(x,x))) | true | 49575 | 49575 | 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_b51 | 12 | 9 | 5 | 51 | ![]() |
sgn(pow(D,eql(P,P))) | 27467 | 97811877 | o1(o2(x,o2(x,x))) | true | 49583 | 49583 | -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_b52 | 12 | 9 | 5 | 52 | ![]() |
sgn(pow(D,min(P,P))) | 27468 | 97811878 | o1(o2(x,o2(x,x))) | true | 49591 | 49591 | 0.0625 | 0.5313 | 0.7083 | 0.5901 | 0.7682 | -0.9994 | 1 | 1.999 | 1 | 3.332 | 0.2432 | 0 | 0.2297 | 1 | 1 | 0 | 0.4509 | 0.2496 | 0.1904 | 0.4364 | 1.9 | 1.999 | 0.4121 | 0.764 | 1 | 1 | 0.2586 | 0.9117 | 0.132 | 0.4383 | 1.545 | 0.2236 | json |
| t12_x9_u5_b53 | 12 | 9 | 5 | 53 | ![]() |
sgn(pow(D,dot(P,P))) | 27469 | 97811879 | o1(o2(x,o2(x,x))) | true | 49599 | 49599 | -0.1341 | 0.3676 | 0.5626 | 0.4246 | 0.6516 | -0.9994 | 1 | 1.999 | 1 | 3.772 | 0.1644 | 0.000249 | 0.231 | 0.997 | 1 | -0.00009808 | 0.281 | 0.238 | 0.1112 | 0.3335 | 1.443 | 1.999 | 0.3878 | 0.6619 | 1 | 1 | 0.2383 | 0.8957 | 0.061 | 0.5612 | 2.11 | 0.1437 | json |
| t12_x9_u5_b54 | 12 | 9 | 5 | 54 | ![]() |
sgn(pow(D,dst(P,P))) | 27470 | 97811880 | o1(o2(x,o2(x,x))) | true | 49607 | 49607 | 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_b55 | 12 | 9 | 5 | 55 | ![]() |
sgn(mod(D,add(P,P))) | 27471 | 97811881 | o1(o2(x,o2(x,x))) | true | 49615 | 49615 | -0.0625 | 0.4688 | 0.7083 | 0.5901 | 0.7682 | -1 | 0.9994 | 1.999 | 1 | 3.332 | 0.2432 | 0 | 0.2297 | 1 | 1 | 0 | 0.4509 | 0.2496 | 0.1904 | 0.4364 | 1.9 | 1.999 | 0.4121 | 0.764 | 1 | 1 | 0.2586 | 0.9117 | 0.132 | 0.4383 | 1.545 | 0.2236 | json |
| t12_x9_u5_b56 | 12 | 9 | 5 | 56 | ![]() |
sgn(mod(D,sub(P,P))) | 27472 | 97811882 | o1(o2(x,o2(x,x))) | true | 49623 | 49623 | -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_b57 | 12 | 9 | 5 | 57 | ![]() |
sgn(mod(D,mlt(P,P))) | 27473 | 97811883 | o1(o2(x,o2(x,x))) | true | 49631 | 49631 | -0.0625 | 0.4688 | 0.7083 | 0.5901 | 0.7682 | -1 | 0.9994 | 1.999 | 1 | 3.332 | 0.2432 | 0 | 0.2297 | 1 | 1 | 0 | 0.4509 | 0.2496 | 0.1904 | 0.4364 | 1.9 | 1.999 | 0.4121 | 0.764 | 1 | 1 | 0.2586 | 0.9117 | 0.132 | 0.4383 | 1.545 | 0.2236 | json |
| t12_x9_u5_b58 | 12 | 9 | 5 | 58 | ![]() |
sgn(mod(D,div(P,P))) | 27474 | 97811884 | o1(o2(x,o2(x,x))) | true | 49639 | 49639 | -0.0625 | 0.4688 | 0.7083 | 0.5901 | 0.7682 | -1 | 0.9994 | 1.999 | 1 | 3.332 | 0.2432 | 0 | 0.2297 | 1 | 1 | 0 | 0.4509 | 0.2496 | 0.1904 | 0.4364 | 1.9 | 1.999 | 0.4121 | 0.764 | 1 | 1 | 0.2586 | 0.9117 | 0.132 | 0.4383 | 1.545 | 0.2236 | json |
| t12_x9_u5_b59 | 12 | 9 | 5 | 59 | ![]() |
sgn(mod(D,pow(P,P))) | 27475 | 97811885 | o1(o2(x,o2(x,x))) | true | 49647 | 49647 | -0.5 | 0.25 | 0.8444 | 0.5335 | 0.7304 | -1 | 0.9994 | 1.999 | 1 | 2.329 | 0.1381 | 0 | 0.1269 | 1 | 1 | -0.0001797 | 0.2574 | 0.1416 | 0.122 | 0.3493 | 2.753 | 1.999 | 0.2589 | 0.4825 | 1 | 1 | 0.1572 | 0.5458 | 0.132 | 0.2946 | 1.023 | 0.2473 | json |
| t12_x9_u5_b60 | 12 | 9 | 5 | 60 | ![]() |
sgn(mod(D,mod(P,P))) | 27476 | 97811886 | o1(o2(x,o2(x,x))) | true | 49655 | 49655 | -0.625 | 0.1875 | 0.8833 | 0.4471 | 0.6686 | -1 | 0.9994 | 1.999 | 1 | 1.903 | 0.1036 | 0 | 0.09515 | 1 | 1 | -0.0001797 | 0.1924 | 0.1062 | 0.09461 | 0.3076 | 3.233 | 1.999 | 0.2318 | 0.4304 | 1 | 1 | 0.06341 | 0.3132 | 0.4514 | 0.1418 | 0.7005 | 1.01 | json |
| t12_x9_u5_b61 | 12 | 9 | 5 | 61 | ![]() |
sgn(mod(D,lrg(P,P))) | 27477 | 97811887 | o1(o2(x,o2(x,x))) | true | 49663 | 49663 | -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_u5_b62 | 12 | 9 | 5 | 62 | ![]() |
sgn(mod(D,eql(P,P))) | 27478 | 97811888 | o1(o2(x,o2(x,x))) | true | 49671 | 49671 | -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_b63 | 12 | 9 | 5 | 63 | ![]() |
sgn(mod(D,min(P,P))) | 27479 | 97811889 | o1(o2(x,o2(x,x))) | true | 49679 | 49679 | -0.0625 | 0.4688 | 0.7083 | 0.5901 | 0.7682 | -1 | 0.9994 | 1.999 | 1 | 3.332 | 0.2432 | 0 | 0.2297 | 1 | 1 | 0 | 0.4509 | 0.2496 | 0.1904 | 0.4364 | 1.9 | 1.999 | 0.4121 | 0.764 | 1 | 1 | 0.2586 | 0.9117 | 0.132 | 0.4383 | 1.545 | 0.2236 | json |
| t12_x9_u5_b64 | 12 | 9 | 5 | 64 | ![]() |
sgn(mod(D,dot(P,P))) | 27480 | 97811890 | o1(o2(x,o2(x,x))) | true | 49687 | 49687 | -0.003906 | 0.4978 | 0.6891 | 0.5675 | 0.7533 | -1 | 0.9994 | 1.999 | 1 | 3.429 | 0.2591 | 0.00007023 | 0.2449 | 0.9995 | 1 | 7.133e-11 | 0.4808 | 0.2663 | 0.1991 | 0.4462 | 1.822 | 1.999 | 0.4567 | 0.8473 | 1 | 1 | 0.2807 | 0.9641 | 0.01742 | 0.4946 | 1.699 | 0.03069 | json |
| t12_x9_u5_b65 | 12 | 9 | 5 | 65 | ![]() |
sgn(mod(D,dst(P,P))) | 27481 | 97811891 | o1(o2(x,o2(x,x))) | true | 49695 | 49695 | -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_b66 | 12 | 9 | 5 | 66 | ![]() |
sgn(lrg(D,add(P,P))) | 27482 | 97811892 | o1(o2(x,o2(x,x))) | true | 49703 | 49703 | 0.5 | 0.5625 | 0.5 | 0.2365 | 0.4863 | 0 | 1 | 1 | 1 | 1.577 | 0.00467 | 0 | 0.0119 | 1 | 1 | -4.731e-10 | 0.008068 | 0.009787 | 0.004528 | 0.06729 | 5.654 | 0.9994 | 0.01975 | 0.03412 | 1 | 1 | 0.007036 | 0.03244 | 0.06598 | 0.02976 | 0.1372 | 0.279 | json |
| t12_x9_u5_b67 | 12 | 9 | 5 | 67 | ![]() |
sgn(lrg(D,sub(P,P))) | 27483 | 97811893 | o1(o2(x,o2(x,x))) | true | 49711 | 49711 | 0.5 | 1 | 0.5 | 0.1418 | 0.3765 | 0.000291 | 0.9997 | 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_b68 | 12 | 9 | 5 | 68 | ![]() |
sgn(lrg(D,mlt(P,P))) | 27484 | 97811894 | o1(o2(x,o2(x,x))) | true | 49719 | 49719 | 0.03125 | 0.0625 | 0.03125 | 0.02351 | 0.1533 | 0 | 0.9997 | 0.9997 | 1 | 0.459 | 0.004319 | 0 | 0.007934 | 1 | 1 | -2.365e-10 | 0.008002 | 0.008862 | 0.004255 | 0.06523 | 8.221 | 0.9997 | 0.1837 | 0.3404 | 1 | 1 | 0.00615 | 0.02664 | 0.03299 | 0.2616 | 1.133 | 1.403 | json |
| t12_x9_u5_b69 | 12 | 9 | 5 | 69 | ![]() |
sgn(lrg(D,div(P,P))) | 27485 | 97811895 | o1(o2(x,o2(x,x))) | true | 49727 | 49727 | 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.001851 | 0.02408 | 0.06598 | 0.04107 | 0.5344 | 1.464 | json |
| t12_x9_u5_b70 | 12 | 9 | 5 | 70 | ![]() |
sgn(lrg(D,pow(P,P))) | 27486 | 97811896 | o1(o2(x,o2(x,x))) | true | 49735 | 49735 | 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.0009255 | 0.01214 | 0.0751 | 0.00382 | 0.05012 | 0.31 | json |
| t12_x9_u5_b71 | 12 | 9 | 5 | 71 | ![]() |
sgn(lrg(D,mod(P,P))) | 27487 | 97811897 | o1(o2(x,o2(x,x))) | true | 49743 | 49743 | 0.5313 | 0.8125 | 0.5313 | 0.1881 | 0.4337 | 0 | 1 | 1 | 1 | 2.747 | 0.03489 | 0 | 0.06744 | 1 | 1 | -7.096e-10 | 0.06428 | 0.07181 | 0.03034 | 0.1742 | 2.583 | 0.9997 | 0.1855 | 0.3417 | 1 | 1 | 0.04992 | 0.1917 | 0.132 | 0.2654 | 1.019 | 0.7015 | json |
| t12_x9_u5_b72 | 12 | 9 | 5 | 72 | ![]() |
sgn(lrg(D,lrg(P,P))) | 27488 | 97811898 | o1(o2(x,o2(x,x))) | true | 49751 | 49751 | 0.5 | 1 | 0.5 | 0.1418 | 0.3765 | 0.000291 | 0.9997 | 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_b73 | 12 | 9 | 5 | 73 | ![]() |
sgn(lrg(D,eql(P,P))) | 27489 | 97811899 | o1(o2(x,o2(x,x))) | true | 49759 | 49759 | 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_b74 | 12 | 9 | 5 | 74 | ![]() |
sgn(lrg(D,min(P,P))) | 27490 | 97811900 | o1(o2(x,o2(x,x))) | true | 49767 | 49767 | 0.5 | 0.5625 | 0.5 | 0.2365 | 0.4863 | 0 | 1 | 1 | 1 | 1.577 | 0.00467 | 0 | 0.0119 | 1 | 1 | -4.731e-10 | 0.008068 | 0.009787 | 0.004528 | 0.06729 | 5.654 | 0.9994 | 0.01975 | 0.03412 | 1 | 1 | 0.007036 | 0.03244 | 0.06598 | 0.02976 | 0.1372 | 0.279 | json |
| t12_x9_u5_b75 | 12 | 9 | 5 | 75 | ![]() |
sgn(lrg(D,dot(P,P))) | 27491 | 97811901 | o1(o2(x,o2(x,x))) | true | 49775 | 49775 | 0.001953 | 0.007385 | 0.001953 | 0.001197 | 0.0346 | 0 | 0.9994 | 0.9994 | 1 | 0.05785 | 0.0002149 | 0.00001756 | 0.0006672 | 0.8489 | 1 | 1.128e-12 | 0.000405 | 0.0006009 | 0.0002318 | 0.01522 | 22.82 | 0.9994 | 0.1941 | 0.3383 | 1 | 1 | 0.0004668 | 0.002552 | 0.004354 | 0.39 | 2.132 | 3.637 | json |
| t12_x9_u5_b76 | 12 | 9 | 5 | 76 | ![]() |
sgn(lrg(D,dst(P,P))) | 27492 | 97811902 | o1(o2(x,o2(x,x))) | true | 49783 | 49783 | 0.5 | 1 | 0.5 | 0.1418 | 0.3765 | 0.000291 | 0.9997 | 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_b77 | 12 | 9 | 5 | 77 | ![]() |
sgn(eql(D,add(P,P))) | 27493 | 97811903 | o1(o2(x,o2(x,x))) | true | 49791 | 49791 | 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_b78 | 12 | 9 | 5 | 78 | ![]() |
sgn(eql(D,sub(P,P))) | 27494 | 97811904 | o1(o2(x,o2(x,x))) | true | 49799 | 49799 | 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_b79 | 12 | 9 | 5 | 79 | ![]() |
sgn(eql(D,mlt(P,P))) | 27495 | 97811905 | o1(o2(x,o2(x,x))) | true | 49807 | 49807 | 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_b80 | 12 | 9 | 5 | 80 | ![]() |
sgn(eql(D,div(P,P))) | 27496 | 97811906 | o1(o2(x,o2(x,x))) | true | 49815 | 49815 | 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_b81 | 12 | 9 | 5 | 81 | ![]() |
sgn(eql(D,pow(P,P))) | 27497 | 97811907 | o1(o2(x,o2(x,x))) | true | 49823 | 49823 | 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_b82 | 12 | 9 | 5 | 82 | ![]() |
sgn(eql(D,mod(P,P))) | 27498 | 97811908 | o1(o2(x,o2(x,x))) | true | 49831 | 49831 | 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_b83 | 12 | 9 | 5 | 83 | ![]() |
sgn(eql(D,lrg(P,P))) | 27499 | 97811909 | o1(o2(x,o2(x,x))) | true | 49839 | 49839 | 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 |



































































































