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_b5 | 12 | 9 | 4 | 5 | ![]() |
cil(add(D,mod(P,P))) | 27300 | 97811630 | o1(o2(x,o2(x,x))) | true | 48247 | 48247 | 0.08306 | 0.6016 | 0.7919 | 0.74 | 0.8602 | -1 | 1 | 2 | 1 | 2.967 | 0.05521 | 0 | 0.08213 | 1 | 1 | 9.461e-10 | 0.09159 | 0.09276 | 0.04847 | 0.2202 | 2.681 | 2 | 0.0746 | 0.1238 | 1 | 1 | 0.07416 | 0.3383 | 0.5971 | 0.1002 | 0.4571 | 0.8069 | json |
| t12_x9_u4_b6 | 12 | 9 | 4 | 6 | ![]() |
cil(add(D,lrg(P,P))) | 27301 | 97811631 | o1(o2(x,o2(x,x))) | true | 48255 | 48255 | 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_u4_b7 | 12 | 9 | 4 | 7 | ![]() |
cil(add(D,eql(P,P))) | 27302 | 97811632 | o1(o2(x,o2(x,x))) | true | 48263 | 48263 | 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_b8 | 12 | 9 | 4 | 8 | ![]() |
cil(add(D,min(P,P))) | 27303 | 97811633 | o1(o2(x,o2(x,x))) | true | 48271 | 48271 | 0.0625 | 0.5 | 0.9375 | 0.9336 | 0.9662 | -1 | 1 | 2 | 1 | 1.272 | 0.007937 | 0 | 0.007937 | 1 | 1 | 0 | 0.01587 | 0.01587 | 0.007872 | 0.08872 | 11.18 | 1 | 0.008501 | 0.017 | 1 | 1 | 0.01053 | 0.04211 | 0.2526 | 0.01128 | 0.0451 | 0.2706 | json |
| t12_x9_u4_b9 | 12 | 9 | 4 | 9 | ![]() |
cil(add(D,dot(P,P))) | 27304 | 97811634 | o1(o2(x,o2(x,x))) | true | 48279 | 48279 | 0.9988 | 1 | 0.9988 | 0.0008087 | 0.02844 | 0.0008731 | 1 | 0.9991 | 1 | 0.03176 | 0.000234 | 0.00001544 | 0.0005771 | 0.8762 | 1 | -7.509e-12 | 0.0004245 | 0.0006769 | 0.0002489 | 0.01578 | 27.34 | 0.9992 | 0.3084 | 0.525 | 1 | 1 | 0.0005132 | 0.002095 | 0.002944 | 0.6346 | 2.591 | 3.64 | json |
| t12_x9_u4_b10 | 12 | 9 | 4 | 10 | ![]() |
cil(add(D,dst(P,P))) | 27305 | 97811635 | o1(o2(x,o2(x,x))) | true | 48287 | 48287 | 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_u4_b11 | 12 | 9 | 4 | 11 | ![]() |
cil(sub(D,add(P,P))) | 27306 | 97811636 | o1(o2(x,o2(x,x))) | true | 48295 | 48295 | 0.03125 | 0.5273 | 0.9688 | 0.9595 | 0.9796 | -1 | 1 | 2 | 1 | 1.408 | 0.007092 | 0 | 0.01586 | 1 | 1 | 0 | 0.009138 | 0.01315 | 0.006835 | 0.08268 | 5.213 | 0.9983 | 0.007391 | 0.009524 | 1 | 1 | 0.01275 | 0.06237 | 0.2845 | 0.01329 | 0.065 | 0.2965 | json |
| t12_x9_u4_b12 | 12 | 9 | 4 | 12 | ![]() |
cil(sub(D,sub(P,P))) | 27307 | 97811637 | o1(o2(x,o2(x,x))) | true | 48303 | 48303 | 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_u4_b13 | 12 | 9 | 4 | 13 | ![]() |
cil(sub(D,mlt(P,P))) | 27308 | 97811638 | o1(o2(x,o2(x,x))) | true | 48311 | 48311 | -0.859 | 0.03125 | 0.902 | 0.1539 | 0.3923 | -1 | 0.9994 | 1.999 | 1 | 0.9848 | 0.01424 | 0 | 0.02379 | 1 | 1 | -9.461e-10 | 0.02466 | 0.02839 | 0.01367 | 0.1169 | 4.915 | 1 | 0.09253 | 0.1602 | 1 | 1 | 0.02142 | 0.08409 | 0.2126 | 0.1392 | 0.5464 | 1.381 | json |
| t12_x9_u4_b14 | 12 | 9 | 4 | 14 | ![]() |
cil(sub(D,div(P,P))) | 27309 | 97811639 | o1(o2(x,o2(x,x))) | true | 48319 | 48319 | -0.5625 | 0 | 0.5625 | 0.1514 | 0.3891 | -1 | -0.000291 | 0.9997 | 1 | 3.238 | 0.05647 | 0 | 0.1069 | 1 | 1 | 0 | 0.1047 | 0.1159 | 0.04503 | 0.2122 | 1.984 | 0.9997 | 0.373 | 0.6913 | 1 | 1 | 0.05855 | 0.2076 | 0.06598 | 0.3867 | 1.372 | 0.4359 | json |
| t12_x9_u4_b15 | 12 | 9 | 4 | 15 | ![]() |
cil(sub(D,pow(P,P))) | 27310 | 97811640 | o1(o2(x,o2(x,x))) | true | 48327 | 48327 | -0.9527 | 0 | 0.9527 | 0.03561 | 0.1887 | -1 | -0.000291 | 0.9997 | 1 | 0.628 | 0.009218 | 0 | 0.01586 | 1 | 1 | 0 | 0.01657 | 0.01953 | 0.008962 | 0.09467 | 5.969 | 0.9997 | 0.2589 | 0.4654 | 1 | 1 | 0.01346 | 0.03891 | 0.05101 | 0.3781 | 1.093 | 1.432 | json |
| t12_x9_u4_b16 | 12 | 9 | 4 | 16 | ![]() |
cil(sub(D,mod(P,P))) | 27311 | 97811641 | o1(o2(x,o2(x,x))) | true | 48335 | 48335 | 0.08341 | 0.6055 | 0.7916 | 0.7397 | 0.86 | -1 | 1 | 2 | 1 | 2.923 | 0.05507 | 0 | 0.0831 | 1 | 1 | 0.0005391 | 0.09237 | 0.0941 | 0.04816 | 0.2195 | 2.641 | 2 | 0.07445 | 0.1249 | 1 | 1 | 0.08229 | 0.3256 | 0.7245 | 0.1113 | 0.4402 | 0.9794 | json |
| t12_x9_u4_b17 | 12 | 9 | 4 | 17 | ![]() |
cil(sub(D,lrg(P,P))) | 27312 | 97811642 | o1(o2(x,o2(x,x))) | true | 48343 | 48343 | 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_u4_b18 | 12 | 9 | 4 | 18 | ![]() |
cil(sub(D,eql(P,P))) | 27313 | 97811643 | o1(o2(x,o2(x,x))) | true | 48351 | 48351 | -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_u4_b19 | 12 | 9 | 4 | 19 | ![]() |
cil(sub(D,min(P,P))) | 27314 | 97811644 | o1(o2(x,o2(x,x))) | true | 48359 | 48359 | 0.0625 | 0.5313 | 0.9375 | 0.9184 | 0.9583 | -1 | 1 | 2 | 1 | 1.809 | 0.01063 | 0 | 0.02379 | 1 | 1 | 0 | 0.0166 | 0.02131 | 0.01007 | 0.1003 | 4.218 | 0.9988 | 0.01158 | 0.01808 | 1 | 1 | 0.0172 | 0.07175 | 0.2321 | 0.01872 | 0.07812 | 0.2528 | json |
| t12_x9_u4_b20 | 12 | 9 | 4 | 20 | ![]() |
cil(sub(D,dot(P,P))) | 27315 | 97811645 | o1(o2(x,o2(x,x))) | true | 48367 | 48367 | -0.9894 | 0.002502 | 0.9918 | 0.01075 | 0.1037 | -1 | 0.9991 | 1.999 | 1 | 0.1707 | 0.001229 | 0.0001185 | 0.003063 | 0.8241 | 1 | 2.628e-11 | 0.002181 | 0.003048 | 0.001337 | 0.03657 | 11.94 | 1.006 | 0.1253 | 0.2029 | 1 | 1 | 0.002858 | 0.01417 | 0.03694 | 0.2659 | 1.318 | 3.436 | json |
| t12_x9_u4_b21 | 12 | 9 | 4 | 21 | ![]() |
cil(sub(D,dst(P,P))) | 27316 | 97811646 | o1(o2(x,o2(x,x))) | true | 48375 | 48375 | 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_u4_b22 | 12 | 9 | 4 | 22 | ![]() |
cil(mlt(D,add(P,P))) | 27317 | 97811647 | o1(o2(x,o2(x,x))) | true | 48383 | 48383 | 0.1164 | 0.5469 | 0.6024 | 0.518 | 0.7197 | -1 | 1 | 2 | 1 | 3.801 | 0.1711 | 0 | 0.2632 | 1 | 1 | 0.0007916 | 0.305 | 0.3757 | 0.1018 | 0.3191 | 1.213 | 0.9988 | 0.3303 | 0.5889 | 1 | 1 | 0.1646 | 0.748 | 0.1065 | 0.3177 | 1.444 | 0.2055 | json |
| t12_x9_u4_b23 | 12 | 9 | 4 | 23 | ![]() |
cil(mlt(D,sub(P,P))) | 27318 | 97811648 | o1(o2(x,o2(x,x))) | true | 48391 | 48391 | 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_b24 | 12 | 9 | 4 | 24 | ![]() |
cil(mlt(D,mlt(P,P))) | 27319 | 97811649 | o1(o2(x,o2(x,x))) | true | 48399 | 48399 | 0.1844 | 0.6172 | 0.7528 | 0.6782 | 0.8235 | -1 | 1 | 2 | 1 | 2.91 | 0.2225 | 0 | 0.2155 | 1 | 1 | -9.461e-10 | 0.3617 | 0.3116 | 0.1761 | 0.4197 | 1.948 | 1.992 | 0.3281 | 0.5333 | 1 | 1 | 0.2061 | 0.8377 | 0.1246 | 0.3039 | 1.235 | 0.1838 | json |
| t12_x9_u4_b25 | 12 | 9 | 4 | 25 | ![]() |
cil(mlt(D,div(P,P))) | 27320 | 97811650 | o1(o2(x,o2(x,x))) | true | 48407 | 48407 | 0.3125 | 0.875 | 0.5625 | 0.3702 | 0.6084 | -1 | 0.9997 | 2 | 1 | 3.523 | 0.07235 | 0 | 0.1149 | 1 | 1 | 0 | 0.1364 | 0.1318 | 0.05916 | 0.2432 | 2.118 | 2 | 0.1955 | 0.3685 | 1 | 1 | 0.0796 | 0.2919 | 0.4028 | 0.215 | 0.7886 | 1.088 | json |
| t12_x9_u4_b26 | 12 | 9 | 4 | 26 | ![]() |
cil(mlt(D,pow(P,P))) | 27321 | 97811651 | o1(o2(x,o2(x,x))) | true | 48415 | 48415 | -0.7537 | 0.1484 | 0.9228 | 0.3375 | 0.581 | -1 | 1 | 2 | 1 | 1.314 | 0.1838 | 0 | 0.119 | 1 | 1 | -9.461e-10 | 0.4499 | 0.204 | 0.1695 | 0.4118 | 3.461 | 2 | 0.5446 | 1.333 | 1 | 1 | 0.1576 | 0.2703 | 0.3083 | 0.467 | 0.8009 | 0.9135 | json |
| t12_x9_u4_b27 | 12 | 9 | 4 | 27 | ![]() |
cil(mlt(D,mod(P,P))) | 27322 | 97811652 | o1(o2(x,o2(x,x))) | true | 48423 | 48423 | -0.001813 | 0.3359 | 0.4697 | 0.4214 | 0.6491 | -1 | 1 | 2 | 1 | 3.18 | 0.06427 | 0 | 0.1107 | 1 | 1 | -0.001022 | 0.1299 | 0.1667 | 0.05201 | 0.228 | 2.06 | 1 | 0.1525 | 0.3083 | 1 | 1 | 0.04607 | 0.2436 | 0.4633 | 0.1093 | 0.578 | 1.099 | json |
| t12_x9_u4_b28 | 12 | 9 | 4 | 28 | ![]() |
cil(mlt(D,lrg(P,P))) | 27323 | 97811653 | o1(o2(x,o2(x,x))) | true | 48431 | 48431 | 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_b29 | 12 | 9 | 4 | 29 | ![]() |
cil(mlt(D,eql(P,P))) | 27324 | 97811654 | o1(o2(x,o2(x,x))) | true | 48439 | 48439 | 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_u4_b30 | 12 | 9 | 4 | 30 | ![]() |
cil(mlt(D,min(P,P))) | 27325 | 97811655 | o1(o2(x,o2(x,x))) | true | 48447 | 48447 | 0.2975 | 0.6953 | 0.4499 | 0.2623 | 0.5122 | -0.8866 | 1 | 1.887 | 1 | 3.749 | 0.1251 | 0 | 0.2315 | 1 | 1 | 0.006679 | 0.2782 | 0.3614 | 0.07153 | 0.2674 | 1.155 | 0.9994 | 0.4769 | 1.061 | 1 | 1 | 0.1026 | 0.3295 | 0.0797 | 0.3912 | 1.256 | 0.3038 | json |
| t12_x9_u4_b31 | 12 | 9 | 4 | 31 | ![]() |
cil(mlt(D,dot(P,P))) | 27326 | 97811656 | o1(o2(x,o2(x,x))) | true | 48455 | 48455 | 0.09398 | 0.5652 | 0.9019 | 0.8697 | 0.9326 | -1 | 1 | 2 | 1 | 2.205 | 0.3366 | 0.0002009 | 0.2428 | 0.9988 | 1 | -2.245e-7 | 0.5818 | 0.388 | 0.2777 | 0.527 | 2.17 | 2.001 | 0.3872 | 0.669 | 1 | 1 | 0.321 | 1.332 | 0.1093 | 0.369 | 1.531 | 0.1257 | json |
| t12_x9_u4_b32 | 12 | 9 | 4 | 32 | ![]() |
cil(mlt(D,dst(P,P))) | 27327 | 97811657 | o1(o2(x,o2(x,x))) | true | 48463 | 48463 | 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_b33 | 12 | 9 | 4 | 33 | ![]() |
cil(div(D,add(P,P))) | 27328 | 97811658 | o1(o2(x,o2(x,x))) | true | 48471 | 48471 | 0.3125 | 0.875 | 0.5625 | 0.3702 | 0.6084 | -1 | 0.9997 | 2 | 1 | 3.523 | 0.08425 | 0 | 0.1188 | 1 | 1 | -0.0001797 | 0.1603 | 0.1398 | 0.0701 | 0.2648 | 2.228 | 2 | 0.2276 | 0.4332 | 1 | 1 | 0.09528 | 0.3354 | 0.4028 | 0.2574 | 0.9061 | 1.088 | json |
| t12_x9_u4_b34 | 12 | 9 | 4 | 34 | ![]() |
cil(div(D,sub(P,P))) | 27329 | 97811659 | o1(o2(x,o2(x,x))) | true | 48479 | 48479 | -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_b35 | 12 | 9 | 4 | 35 | ![]() |
cil(div(D,mlt(P,P))) | 27330 | 97811660 | o1(o2(x,o2(x,x))) | true | 48487 | 48487 | 0.3125 | 0.875 | 0.5625 | 0.3702 | 0.6084 | -1 | 0.9997 | 2 | 1 | 3.523 | 0.07235 | 0 | 0.1149 | 1 | 1 | 0 | 0.1364 | 0.1318 | 0.05916 | 0.2432 | 2.118 | 2 | 0.1955 | 0.3685 | 1 | 1 | 0.0796 | 0.2919 | 0.4028 | 0.215 | 0.7886 | 1.088 | json |
| t12_x9_u4_b36 | 12 | 9 | 4 | 36 | ![]() |
cil(div(D,div(P,P))) | 27331 | 97811661 | o1(o2(x,o2(x,x))) | true | 48495 | 48495 | 0.3125 | 0.875 | 0.5625 | 0.3702 | 0.6084 | -1 | 0.9997 | 2 | 1 | 3.523 | 0.07235 | 0 | 0.1149 | 1 | 1 | 0 | 0.1364 | 0.1318 | 0.05916 | 0.2432 | 2.118 | 2 | 0.1955 | 0.3685 | 1 | 1 | 0.0796 | 0.2919 | 0.4028 | 0.215 | 0.7886 | 1.088 | json |
| t12_x9_u4_b37 | 12 | 9 | 4 | 37 | ![]() |
cil(div(D,pow(P,P))) | 27332 | 97811662 | o1(o2(x,o2(x,x))) | true | 48503 | 48503 | -0.25 | 0.5 | 0.75 | 0.6334 | 0.7959 | -1 | 0.9997 | 2 | 1 | 2.703 | 0.04644 | 0 | 0.0674 | 1 | 1 | -0.00008984 | 0.08823 | 0.07873 | 0.04189 | 0.2047 | 3.037 | 2 | 0.07332 | 0.1393 | 1 | 1 | 0.05504 | 0.193 | 0.2014 | 0.0869 | 0.3048 | 0.318 | json |
| t12_x9_u4_b38 | 12 | 9 | 4 | 38 | ![]() |
cil(div(D,mod(P,P))) | 27333 | 97811663 | o1(o2(x,o2(x,x))) | true | 48511 | 48511 | -0.8125 | 0.125 | 0.9375 | 0.2638 | 0.5136 | -1 | 0.9997 | 2 | 1 | 0.9693 | 0.04038 | 0 | 0.03174 | 1 | 1 | 0 | 0.0795 | 0.04937 | 0.03937 | 0.1984 | 6.251 | 2 | 0.1531 | 0.3013 | 1 | 1 | 0.01052 | 0.06571 | 0.1007 | 0.03989 | 0.2491 | 0.3817 | json |
| t12_x9_u4_b39 | 12 | 9 | 4 | 39 | ![]() |
cil(div(D,lrg(P,P))) | 27334 | 97811664 | o1(o2(x,o2(x,x))) | true | 48519 | 48519 | -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_b40 | 12 | 9 | 4 | 40 | ![]() |
cil(div(D,eql(P,P))) | 27335 | 97811665 | o1(o2(x,o2(x,x))) | true | 48527 | 48527 | 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_u4_b41 | 12 | 9 | 4 | 41 | ![]() |
cil(div(D,min(P,P))) | 27336 | 97811666 | o1(o2(x,o2(x,x))) | true | 48535 | 48535 | 0.3125 | 0.875 | 0.5625 | 0.3702 | 0.6084 | -1 | 0.9997 | 2 | 1 | 3.523 | 0.08425 | 0 | 0.1188 | 1 | 1 | -0.0001797 | 0.1603 | 0.1398 | 0.0701 | 0.2648 | 2.228 | 2 | 0.2276 | 0.4332 | 1 | 1 | 0.09528 | 0.3354 | 0.4028 | 0.2574 | 0.9061 | 1.088 | json |
| t12_x9_u4_b42 | 12 | 9 | 4 | 42 | ![]() |
cil(div(D,dot(P,P))) | 27337 | 97811667 | o1(o2(x,o2(x,x))) | true | 48543 | 48543 | 0.4766 | 0.9844 | 0.5078 | 0.1742 | 0.4173 | -1 | 0.9997 | 2 | 1 | 3.469 | 0.06603 | 0.00241 | 0.1232 | 0.9296 | 1 | -4.505e-11 | 0.128 | 0.1363 | 0.05323 | 0.2307 | 1.872 | 2.236 | 0.3929 | 0.735 | 1 | 1 | 0.07647 | 0.2673 | 0.1357 | 0.439 | 1.535 | 0.779 | json |
| t12_x9_u4_b43 | 12 | 9 | 4 | 43 | ![]() |
cil(div(D,dst(P,P))) | 27338 | 97811668 | o1(o2(x,o2(x,x))) | true | 48551 | 48551 | -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_b44 | 12 | 9 | 4 | 44 | ![]() |
cil(pow(D,add(P,P))) | 27339 | 97811669 | o1(o2(x,o2(x,x))) | true | 48559 | 48559 | -0.875 | 0.0625 | 1 | 0.2344 | 0.4841 | -1 | 1 | 2 | 1 | 0.3373 | 0.03175 | 0 | 0.01587 | 1 | 1 | 0 | 0.06349 | 0.03175 | 0.03149 | 0.1774 | 11.18 | 2 | 0.1354 | 0.2709 | 1 | 1 | 0.04211 | 0.1684 | 0.3368 | 0.1796 | 0.7186 | 1.437 | json |
| t12_x9_u4_b45 | 12 | 9 | 4 | 45 | ![]() |
cil(pow(D,sub(P,P))) | 27340 | 97811670 | o1(o2(x,o2(x,x))) | true | 48567 | 48567 | 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_b46 | 12 | 9 | 4 | 46 | ![]() |
cil(pow(D,mlt(P,P))) | 27341 | 97811671 | o1(o2(x,o2(x,x))) | true | 48575 | 48575 | -0.875 | 0.0625 | 1 | 0.2344 | 0.4841 | -1 | 1 | 2 | 1 | 0.3373 | 0.03175 | 0 | 0.01587 | 1 | 1 | 0 | 0.06349 | 0.03175 | 0.03149 | 0.1774 | 11.18 | 2 | 0.1354 | 0.2709 | 1 | 1 | 0.04211 | 0.1684 | 0.3368 | 0.1796 | 0.7186 | 1.437 | json |
| t12_x9_u4_b47 | 12 | 9 | 4 | 47 | ![]() |
cil(pow(D,div(P,P))) | 27342 | 97811672 | o1(o2(x,o2(x,x))) | true | 48583 | 48583 | -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_b48 | 12 | 9 | 4 | 48 | ![]() |
cil(pow(D,pow(P,P))) | 27343 | 97811673 | o1(o2(x,o2(x,x))) | true | 48591 | 48591 | -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_b49 | 12 | 9 | 4 | 49 | ![]() |
cil(pow(D,mod(P,P))) | 27344 | 97811674 | o1(o2(x,o2(x,x))) | true | 48599 | 48599 | 0 | 0.5 | 1 | 1 | 1 | -1 | 1 | 2 | 1 | 1 | 0.1429 | 0 | 0.07143 | 1 | 1 | 0 | 0.2857 | 0.1429 | 0.1377 | 0.371 | 5.194 | 2 | 0.1429 | 0.2857 | 1 | 1 | 0.1474 | 0.5895 | 1.495 | 0.1474 | 0.5895 | 1.495 | json |
| t12_x9_u4_b50 | 12 | 9 | 4 | 50 | ![]() |
cil(pow(D,lrg(P,P))) | 27345 | 97811675 | o1(o2(x,o2(x,x))) | true | 48607 | 48607 | 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_b51 | 12 | 9 | 4 | 51 | ![]() |
cil(pow(D,eql(P,P))) | 27346 | 97811676 | o1(o2(x,o2(x,x))) | true | 48615 | 48615 | 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_u4_b52 | 12 | 9 | 4 | 52 | ![]() |
cil(pow(D,min(P,P))) | 27347 | 97811677 | o1(o2(x,o2(x,x))) | true | 48623 | 48623 | -0.875 | 0.0625 | 1 | 0.2344 | 0.4841 | -1 | 1 | 2 | 1 | 0.3373 | 0.03175 | 0 | 0.01587 | 1 | 1 | 0 | 0.06349 | 0.03175 | 0.03149 | 0.1774 | 11.18 | 2 | 0.1354 | 0.2709 | 1 | 1 | 0.04211 | 0.1684 | 0.3368 | 0.1796 | 0.7186 | 1.437 | json |
| t12_x9_u4_b53 | 12 | 9 | 4 | 53 | ![]() |
cil(pow(D,dot(P,P))) | 27348 | 97811678 | o1(o2(x,o2(x,x))) | true | 48631 | 48631 | -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_b54 | 12 | 9 | 4 | 54 | ![]() |
cil(pow(D,dst(P,P))) | 27349 | 97811679 | o1(o2(x,o2(x,x))) | true | 48639 | 48639 | 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_b55 | 12 | 9 | 4 | 55 | ![]() |
cil(mod(D,add(P,P))) | 27350 | 97811680 | o1(o2(x,o2(x,x))) | true | 48647 | 48647 | 0.3125 | 0.875 | 0.5625 | 0.3702 | 0.6084 | -1 | 0.9997 | 2 | 1 | 3.523 | 0.07235 | 0 | 0.1149 | 1 | 1 | 0 | 0.1364 | 0.1318 | 0.05916 | 0.2432 | 2.118 | 2 | 0.1955 | 0.3685 | 1 | 1 | 0.0796 | 0.2919 | 0.4028 | 0.215 | 0.7886 | 1.088 | json |
| t12_x9_u4_b56 | 12 | 9 | 4 | 56 | ![]() |
cil(mod(D,sub(P,P))) | 27351 | 97811681 | o1(o2(x,o2(x,x))) | true | 48655 | 48655 | 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_u4_b57 | 12 | 9 | 4 | 57 | ![]() |
cil(mod(D,mlt(P,P))) | 27352 | 97811682 | o1(o2(x,o2(x,x))) | true | 48663 | 48663 | 0.3125 | 0.875 | 0.5625 | 0.3702 | 0.6084 | -1 | 0.9997 | 2 | 1 | 3.523 | 0.07235 | 0 | 0.1149 | 1 | 1 | 0 | 0.1364 | 0.1318 | 0.05916 | 0.2432 | 2.118 | 2 | 0.1955 | 0.3685 | 1 | 1 | 0.0796 | 0.2919 | 0.4028 | 0.215 | 0.7886 | 1.088 | json |
| t12_x9_u4_b58 | 12 | 9 | 4 | 58 | ![]() |
cil(mod(D,div(P,P))) | 27353 | 97811683 | o1(o2(x,o2(x,x))) | true | 48671 | 48671 | 0.3125 | 0.875 | 0.5625 | 0.3702 | 0.6084 | -1 | 0.9997 | 2 | 1 | 3.523 | 0.07235 | 0 | 0.1149 | 1 | 1 | 0 | 0.1364 | 0.1318 | 0.05916 | 0.2432 | 2.118 | 2 | 0.1955 | 0.3685 | 1 | 1 | 0.0796 | 0.2919 | 0.4028 | 0.215 | 0.7886 | 1.088 | json |
| t12_x9_u4_b59 | 12 | 9 | 4 | 59 | ![]() |
cil(mod(D,pow(P,P))) | 27354 | 97811684 | o1(o2(x,o2(x,x))) | true | 48679 | 48679 | -0.25 | 0.5 | 0.75 | 0.6334 | 0.7959 | -1 | 0.9997 | 2 | 1 | 2.703 | 0.04644 | 0 | 0.0674 | 1 | 1 | -0.00008984 | 0.08823 | 0.07873 | 0.04189 | 0.2047 | 3.037 | 2 | 0.07332 | 0.1393 | 1 | 1 | 0.05504 | 0.193 | 0.2014 | 0.0869 | 0.3048 | 0.318 | json |
| t12_x9_u4_b60 | 12 | 9 | 4 | 60 | ![]() |
cil(mod(D,mod(P,P))) | 27355 | 97811685 | o1(o2(x,o2(x,x))) | true | 48687 | 48687 | -0.8125 | 0.125 | 0.9375 | 0.2638 | 0.5136 | -1 | 0.9997 | 2 | 1 | 0.9693 | 0.04038 | 0 | 0.03174 | 1 | 1 | 0 | 0.0795 | 0.04937 | 0.03937 | 0.1984 | 6.251 | 2 | 0.1531 | 0.3013 | 1 | 1 | 0.01052 | 0.06571 | 0.1007 | 0.03989 | 0.2491 | 0.3817 | json |
| t12_x9_u4_b61 | 12 | 9 | 4 | 61 | ![]() |
cil(mod(D,lrg(P,P))) | 27356 | 97811686 | o1(o2(x,o2(x,x))) | true | 48695 | 48695 | -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_b62 | 12 | 9 | 4 | 62 | ![]() |
cil(mod(D,eql(P,P))) | 27357 | 97811687 | o1(o2(x,o2(x,x))) | true | 48703 | 48703 | 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_u4_b63 | 12 | 9 | 4 | 63 | ![]() |
cil(mod(D,min(P,P))) | 27358 | 97811688 | o1(o2(x,o2(x,x))) | true | 48711 | 48711 | 0.3125 | 0.875 | 0.5625 | 0.3702 | 0.6084 | -1 | 0.9997 | 2 | 1 | 3.523 | 0.07235 | 0 | 0.1149 | 1 | 1 | 0 | 0.1364 | 0.1318 | 0.05916 | 0.2432 | 2.118 | 2 | 0.1955 | 0.3685 | 1 | 1 | 0.0796 | 0.2919 | 0.4028 | 0.215 | 0.7886 | 1.088 | json |
| t12_x9_u4_b64 | 12 | 9 | 4 | 64 | ![]() |
cil(mod(D,dot(P,P))) | 27359 | 97811689 | o1(o2(x,o2(x,x))) | true | 48719 | 48719 | 0.4766 | 0.9844 | 0.5078 | 0.1742 | 0.4173 | -1 | 0.9997 | 2 | 1 | 3.469 | 0.06603 | 0.00241 | 0.1232 | 0.9296 | 1 | -4.505e-11 | 0.128 | 0.1363 | 0.05323 | 0.2307 | 1.872 | 2.236 | 0.3929 | 0.735 | 1 | 1 | 0.07647 | 0.2673 | 0.1357 | 0.439 | 1.535 | 0.779 | json |
| t12_x9_u4_b65 | 12 | 9 | 4 | 65 | ![]() |
cil(mod(D,dst(P,P))) | 27360 | 97811690 | o1(o2(x,o2(x,x))) | true | 48727 | 48727 | 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_u4_b66 | 12 | 9 | 4 | 66 | ![]() |
cil(lrg(D,add(P,P))) | 27361 | 97811691 | o1(o2(x,o2(x,x))) | true | 48735 | 48735 | 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_u4_b67 | 12 | 9 | 4 | 67 | ![]() |
cil(lrg(D,sub(P,P))) | 27362 | 97811692 | o1(o2(x,o2(x,x))) | true | 48743 | 48743 | 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_u4_b68 | 12 | 9 | 4 | 68 | ![]() |
cil(lrg(D,mlt(P,P))) | 27363 | 97811693 | o1(o2(x,o2(x,x))) | true | 48751 | 48751 | 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_u4_b69 | 12 | 9 | 4 | 69 | ![]() |
cil(lrg(D,div(P,P))) | 27364 | 97811694 | o1(o2(x,o2(x,x))) | true | 48759 | 48759 | 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_u4_b70 | 12 | 9 | 4 | 70 | ![]() |
cil(lrg(D,pow(P,P))) | 27365 | 97811695 | o1(o2(x,o2(x,x))) | true | 48767 | 48767 | 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_u4_b71 | 12 | 9 | 4 | 71 | ![]() |
cil(lrg(D,mod(P,P))) | 27366 | 97811696 | o1(o2(x,o2(x,x))) | true | 48775 | 48775 | 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_u4_b72 | 12 | 9 | 4 | 72 | ![]() |
cil(lrg(D,lrg(P,P))) | 27367 | 97811697 | o1(o2(x,o2(x,x))) | true | 48783 | 48783 | 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_u4_b73 | 12 | 9 | 4 | 73 | ![]() |
cil(lrg(D,eql(P,P))) | 27368 | 97811698 | o1(o2(x,o2(x,x))) | true | 48791 | 48791 | 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_b74 | 12 | 9 | 4 | 74 | ![]() |
cil(lrg(D,min(P,P))) | 27369 | 97811699 | o1(o2(x,o2(x,x))) | true | 48799 | 48799 | 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_u4_b75 | 12 | 9 | 4 | 75 | ![]() |
cil(lrg(D,dot(P,P))) | 27370 | 97811700 | o1(o2(x,o2(x,x))) | true | 48807 | 48807 | 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_u4_b76 | 12 | 9 | 4 | 76 | ![]() |
cil(lrg(D,dst(P,P))) | 27371 | 97811701 | o1(o2(x,o2(x,x))) | true | 48815 | 48815 | 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_u4_b77 | 12 | 9 | 4 | 77 | ![]() |
cil(eql(D,add(P,P))) | 27372 | 97811702 | o1(o2(x,o2(x,x))) | true | 48823 | 48823 | 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_b78 | 12 | 9 | 4 | 78 | ![]() |
cil(eql(D,sub(P,P))) | 27373 | 97811703 | o1(o2(x,o2(x,x))) | true | 48831 | 48831 | 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_b79 | 12 | 9 | 4 | 79 | ![]() |
cil(eql(D,mlt(P,P))) | 27374 | 97811704 | o1(o2(x,o2(x,x))) | true | 48839 | 48839 | 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_b80 | 12 | 9 | 4 | 80 | ![]() |
cil(eql(D,div(P,P))) | 27375 | 97811705 | o1(o2(x,o2(x,x))) | true | 48847 | 48847 | 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_b81 | 12 | 9 | 4 | 81 | ![]() |
cil(eql(D,pow(P,P))) | 27376 | 97811706 | o1(o2(x,o2(x,x))) | true | 48855 | 48855 | 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_b82 | 12 | 9 | 4 | 82 | ![]() |
cil(eql(D,mod(P,P))) | 27377 | 97811707 | o1(o2(x,o2(x,x))) | true | 48863 | 48863 | 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_b83 | 12 | 9 | 4 | 83 | ![]() |
cil(eql(D,lrg(P,P))) | 27378 | 97811708 | o1(o2(x,o2(x,x))) | true | 48871 | 48871 | 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_b84 | 12 | 9 | 4 | 84 | ![]() |
cil(eql(D,eql(P,P))) | 27379 | 97811709 | o1(o2(x,o2(x,x))) | true | 48879 | 48879 | 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_b85 | 12 | 9 | 4 | 85 | ![]() |
cil(eql(D,min(P,P))) | 27380 | 97811710 | o1(o2(x,o2(x,x))) | true | 48887 | 48887 | 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_b86 | 12 | 9 | 4 | 86 | ![]() |
cil(eql(D,dot(P,P))) | 27381 | 97811711 | o1(o2(x,o2(x,x))) | true | 48895 | 48895 | 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_b87 | 12 | 9 | 4 | 87 | ![]() |
cil(eql(D,dst(P,P))) | 27382 | 97811712 | o1(o2(x,o2(x,x))) | true | 48903 | 48903 | 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_b88 | 12 | 9 | 4 | 88 | ![]() |
cil(min(D,add(P,P))) | 27383 | 97811713 | o1(o2(x,o2(x,x))) | true | 48911 | 48911 | -0.2597 | 0.4375 | 0.6972 | 0.5787 | 0.7607 | -1 | 0.9997 | 2 | 1 | 2.863 | 0.03087 | 0 | 0.05947 | 1 | 1 | -0.00008984 | 0.05644 | 0.06373 | 0.02733 | 0.1653 | 2.78 | 0.9997 | 0.05334 | 0.09753 | 1 | 1 | 0.03482 | 0.1321 | 0.1516 | 0.06018 | 0.2282 | 0.262 | json |
| t12_x9_u4_b89 | 12 | 9 | 4 | 89 | ![]() |
cil(min(D,sub(P,P))) | 27384 | 97811714 | o1(o2(x,o2(x,x))) | true | 48919 | 48919 | 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_b90 | 12 | 9 | 4 | 90 | ![]() |
cil(min(D,mlt(P,P))) | 27385 | 97811715 | o1(o2(x,o2(x,x))) | true | 48927 | 48927 | 0.4688 | 0.9375 | 0.4688 | 0.1475 | 0.3841 | 0 | 0.9997 | 0.9997 | 1 | 3.332 | 0.06079 | 0 | 0.1149 | 1 | 1 | 0 | 0.1127 | 0.1248 | 0.0476 | 0.2182 | 1.9 | 0.9997 | 0.4121 | 0.764 | 1 | 1 | 0.06466 | 0.2279 | 0.03299 | 0.4383 | 1.545 | 0.2236 | json |
| t12_x9_u4_b91 | 12 | 9 | 4 | 91 | ![]() |
cil(min(D,div(P,P))) | 27386 | 97811716 | o1(o2(x,o2(x,x))) | true | 48935 | 48935 | 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_u4_b92 | 12 | 9 | 4 | 92 | ![]() |
cil(min(D,pow(P,P))) | 27387 | 97811717 | o1(o2(x,o2(x,x))) | true | 48943 | 48943 | 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_u4_b93 | 12 | 9 | 4 | 93 | ![]() |
cil(min(D,mod(P,P))) | 27388 | 97811718 | o1(o2(x,o2(x,x))) | true | 48951 | 48951 | -0.1253 | 0.25 | 0.3753 | 0.3225 | 0.5679 | -1 | 0.9997 | 2 | 1 | 2.659 | 0.02134 | 0 | 0.04676 | 1 | 1 | 0.0005391 | 0.03431 | 0.04641 | 0.01916 | 0.1384 | 2.96 | 0.9997 | 0.06616 | 0.1064 | 1 | 1 | 0.02162 | 0.1202 | 0.1983 | 0.06705 | 0.3727 | 0.6148 | json |
| t12_x9_u4_b94 | 12 | 9 | 4 | 94 | ![]() |
cil(min(D,lrg(P,P))) | 27389 | 97811719 | o1(o2(x,o2(x,x))) | true | 48959 | 48959 | 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_b95 | 12 | 9 | 4 | 95 | ![]() |
cil(min(D,eql(P,P))) | 27390 | 97811720 | o1(o2(x,o2(x,x))) | true | 48967 | 48967 | 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_u4_b96 | 12 | 9 | 4 | 96 | ![]() |
cil(min(D,min(P,P))) | 27391 | 97811721 | o1(o2(x,o2(x,x))) | true | 48975 | 48975 | -0.25 | 0.4375 | 0.6875 | 0.5709 | 0.7556 | -1 | 0.9997 | 2 | 1 | 3.025 | 0.03057 | 0 | 0.05947 | 1 | 1 | -0.00008984 | 0.05632 | 0.06286 | 0.02704 | 0.1644 | 2.765 | 0.9997 | 0.05354 | 0.09866 | 1 | 1 | 0.03411 | 0.1283 | 0.1411 | 0.05974 | 0.2247 | 0.2471 | json |
| t12_x9_u4_b97 | 12 | 9 | 4 | 97 | ![]() |
cil(min(D,dot(P,P))) | 27392 | 97811722 | o1(o2(x,o2(x,x))) | true | 48983 | 48983 | 0.498 | 0.9996 | 0.498 | 0.1419 | 0.3767 | 8.471e-8 | 0.9997 | 0.9997 | 1 | 3.412 | 0.06478 | 0.00001756 | 0.1224 | 0.9995 | 1 | -1.502e-11 | 0.1202 | 0.1331 | 0.04978 | 0.2231 | 1.822 | 0.9997 | 0.4567 | 0.8473 | 1 | 1 | 0.07017 | 0.241 | 0.004354 | 0.4946 | 1.699 | 0.03069 | json |
| t12_x9_u4_b98 | 12 | 9 | 4 | 98 | ![]() |
cil(min(D,dst(P,P))) | 27393 | 97811723 | o1(o2(x,o2(x,x))) | true | 48991 | 48991 | 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_b99 | 12 | 9 | 4 | 99 | ![]() |
cil(dot(D,add(P,P))) | 27394 | 97811724 | o1(o2(x,o2(x,x))) | true | 48999 | 48999 | -0.05235 | 0.4727 | 0.7263 | 0.6427 | 0.8017 | -1 | 1 | 2 | 1 | 3.895 | 0.1163 | 0.1163 | 0.3231 | -0.000009452 | 1 | 0.003055 | 0.6162 | 0.5193 | 0.1282 | 0.358 | 1.108 | 2.046 | 0.3618 | 0.9588 | 1 | 1 | 0.2347 | 1.078 | 0.1535 | 0.3652 | 1.678 | 0.2389 | json |
| t12_x9_u4_b100 | 12 | 9 | 4 | 100 | ![]() |
cil(dot(D,sub(P,P))) | 27395 | 97811725 | o1(o2(x,o2(x,x))) | true | 49007 | 49007 | 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_b101 | 12 | 9 | 4 | 101 | ![]() |
cil(dot(D,mlt(P,P))) | 27396 | 97811726 | o1(o2(x,o2(x,x))) | true | 49015 | 49015 | 0.1107 | 0.5681 | 0.8769 | 0.8318 | 0.9121 | -1 | 1 | 2 | 1 | 2.536 | 0.1524 | 0.1524 | 0.2566 | 0.000002297 | 1 | 0.0002271 | 0.623 | 0.3976 | 0.239 | 0.4888 | 1.905 | 2.828 | 0.3665 | 0.749 | 1 | 1 | 0.3 | 1.203 | 0.2738 | 0.3606 | 1.446 | 0.3292 | json |
| t12_x9_u4_b102 | 12 | 9 | 4 | 102 | ![]() |
cil(dot(D,div(P,P))) | 27397 | 97811727 | o1(o2(x,o2(x,x))) | true | 49023 | 49023 | -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_b103 | 12 | 9 | 4 | 103 | ![]() |
cil(dot(D,pow(P,P))) | 27398 | 97811728 | o1(o2(x,o2(x,x))) | true | 49031 | 49031 | -0.9525 | 0.02455 | 0.9879 | 0.07745 | 0.2783 | -1 | 1 | 2 | 1 | 0.3369 | 0.04654 | 0.04656 | 0.05231 | -0.0001666 | 1 | 2.403e-10 | 0.2633 | 0.1004 | 0.09038 | 0.3006 | 5.748 | 2.828 | 1.202 | 3.4 | 1 | 1 | 0.07529 | 0.1113 | 0.1349 | 0.9721 | 1.438 | 1.742 | json |
| t12_x9_u4_b104 | 12 | 9 | 4 | 104 | ![]() |
cil(dot(D,mod(P,P))) | 27399 | 97811729 | o1(o2(x,o2(x,x))) | true | 49039 | 49039 | -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 |



































































































