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_x10_u0_b42 | 12 | 10 | 0 | 42 | ![]() |
sqt(div(D,dot(P,D))) | 27700 | 97851264 | o1(o2(x,o2(x,x))) | true | 51447 | 51447 | -0.8227 | 0.1168 | 0.9437 | 0.2409 | 0.4908 | -1 | 1 | 2 | 1 | 0.8684 | 0.07798 | 0.06723 | 0.08119 | 0.07401 | 1 | -0.0006737 | 0.5336 | 0.1734 | 0.1387 | 0.3725 | 4.587 | 2.828 | 0.6029 | 2.215 | 1 | 1 | 0.1381 | 0.3013 | 0.2791 | 0.5734 | 1.251 | 1.159 | json |
| t12_x10_u0_b43 | 12 | 10 | 0 | 43 | ![]() |
sqt(div(D,dst(P,D))) | 27701 | 97851265 | o1(o2(x,o2(x,x))) | true | 51455 | 51455 | -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_x10_u0_b44 | 12 | 10 | 0 | 44 | ![]() |
sqt(pow(D,add(P,D))) | 27702 | 97851266 | o1(o2(x,o2(x,x))) | true | 51463 | 51463 | -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_x10_u0_b45 | 12 | 10 | 0 | 45 | ![]() |
sqt(pow(D,sub(P,D))) | 27703 | 97851267 | o1(o2(x,o2(x,x))) | true | 51471 | 51471 | -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_x10_u0_b46 | 12 | 10 | 0 | 46 | ![]() |
sqt(pow(D,mlt(P,D))) | 27704 | 97851268 | o1(o2(x,o2(x,x))) | true | 51479 | 51479 | -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_x10_u0_b47 | 12 | 10 | 0 | 47 | ![]() |
sqt(pow(D,div(P,D))) | 27705 | 97851269 | o1(o2(x,o2(x,x))) | true | 51487 | 51487 | -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_x10_u0_b48 | 12 | 10 | 0 | 48 | ![]() |
sqt(pow(D,pow(P,D))) | 27706 | 97851270 | o1(o2(x,o2(x,x))) | true | 51495 | 51495 | -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_x10_u0_b49 | 12 | 10 | 0 | 49 | ![]() |
sqt(pow(D,mod(P,D))) | 27707 | 97851271 | o1(o2(x,o2(x,x))) | true | 51503 | 51503 | -0.7422 | 0.1289 | 1 | 0.4491 | 0.6701 | -1 | 1 | 2 | 1 | 0.5544 | 0.5079 | 0 | 0.254 | 1 | 1 | 0 | 1.555 | 0.5079 | 0.4434 | 0.6659 | 2.622 | 2 | 1.131 | 3.463 | 1 | 1 | 0.2421 | 0.4105 | 0.3473 | 0.5391 | 0.9141 | 0.7734 | json |
| t12_x10_u0_b50 | 12 | 10 | 0 | 50 | ![]() |
sqt(pow(D,lrg(P,D))) | 27708 | 97851272 | o1(o2(x,o2(x,x))) | true | 51511 | 51511 | -0.125 | 0.4375 | 1 | 0.9844 | 0.9922 | -1 | 1 | 2 | 1 | 0.9887 | 0.01587 | 0 | 0.007937 | 1 | 1 | 0 | 0.03175 | 0.01587 | 0.01581 | 0.1257 | 15.84 | 2 | 0.01612 | 0.03225 | 1 | 1 | 0.02105 | 0.08421 | 0.3368 | 0.02139 | 0.08555 | 0.3422 | json |
| t12_x10_u0_b51 | 12 | 10 | 0 | 51 | ![]() |
sqt(pow(D,eql(P,D))) | 27709 | 97851273 | o1(o2(x,o2(x,x))) | true | 51519 | 51519 | 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_x10_u0_b52 | 12 | 10 | 0 | 52 | ![]() |
sqt(pow(D,min(P,D))) | 27710 | 97851274 | o1(o2(x,o2(x,x))) | true | 51527 | 51527 | -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_x10_u0_b53 | 12 | 10 | 0 | 53 | ![]() |
sqt(pow(D,dot(P,D))) | 27711 | 97851275 | o1(o2(x,o2(x,x))) | true | 51535 | 51535 | -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_x10_u0_b54 | 12 | 10 | 0 | 54 | ![]() |
sqt(pow(D,dst(P,D))) | 27712 | 97851276 | o1(o2(x,o2(x,x))) | true | 51543 | 51543 | -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_x10_u0_b55 | 12 | 10 | 0 | 55 | ![]() |
sqt(mod(D,add(P,D))) | 27713 | 97851277 | o1(o2(x,o2(x,x))) | true | 51551 | 51551 | -0.9367 | 0.04297 | 0.9617 | 0.07655 | 0.2767 | -1 | 0.4565 | 1.457 | 1 | 0.3995 | 0.03865 | 0 | 0.03643 | 1 | 1 | 9.461e-10 | 0.1 | 0.06948 | 0.03732 | 0.1932 | 5.303 | 1.382 | 0.5049 | 1.306 | 1 | 1 | 0.03621 | 0.07747 | 0.1086 | 0.473 | 1.012 | 1.419 | json |
| t12_x10_u0_b56 | 12 | 10 | 0 | 56 | ![]() |
sqt(mod(D,sub(P,D))) | 27714 | 97851278 | o1(o2(x,o2(x,x))) | true | 51559 | 51559 | -0.9355 | 0.05078 | 0.963 | 0.07919 | 0.2814 | -1 | 0.4565 | 1.457 | 1 | 0.4122 | 0.05102 | 0 | 0.04638 | 1 | 1 | 3.784e-9 | 0.1448 | 0.08943 | 0.0489 | 0.2211 | 4.768 | 1.382 | 0.6443 | 1.829 | 1 | 1 | 0.0393 | 0.08007 | 0.1123 | 0.4963 | 1.011 | 1.418 | json |
| t12_x10_u0_b57 | 12 | 10 | 0 | 57 | ![]() |
sqt(mod(D,mlt(P,D))) | 27715 | 97851279 | o1(o2(x,o2(x,x))) | true | 51567 | 51567 | -0.9401 | 0.04688 | 0.9662 | 0.07431 | 0.2726 | -1 | 0.4565 | 1.457 | 1 | 0.3863 | 0.04003 | 0 | 0.03704 | 1 | 1 | 1.892e-9 | 0.1119 | 0.07075 | 0.03866 | 0.1966 | 5.309 | 1.382 | 0.5388 | 1.506 | 1 | 1 | 0.03201 | 0.07279 | 0.105 | 0.4308 | 0.9795 | 1.413 | json |
| t12_x10_u0_b58 | 12 | 10 | 0 | 58 | ![]() |
sqt(mod(D,div(P,D))) | 27716 | 97851280 | o1(o2(x,o2(x,x))) | true | 51575 | 51575 | -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_x10_u0_b59 | 12 | 10 | 0 | 59 | ![]() |
sqt(mod(D,pow(P,D))) | 27717 | 97851281 | o1(o2(x,o2(x,x))) | true | 51583 | 51583 | -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_x10_u0_b60 | 12 | 10 | 0 | 60 | ![]() |
sqt(mod(D,mod(P,D))) | 27718 | 97851282 | o1(o2(x,o2(x,x))) | true | 51591 | 51591 | -0.9255 | 0.07031 | 0.9339 | 0.07369 | 0.2715 | -1 | 0.2371 | 1.237 | 1 | 0.4659 | 0.1222 | 0 | 0.1144 | 1 | 1 | -0.00002203 | 0.3522 | 0.2283 | 0.1092 | 0.3304 | 2.888 | 1.237 | 1.658 | 4.78 | 1 | 1 | 0.07245 | 0.07077 | 0.09237 | 0.9832 | 0.9604 | 1.254 | json |
| t12_x10_u0_b61 | 12 | 10 | 0 | 61 | ![]() |
sqt(mod(D,lrg(P,D))) | 27719 | 97851283 | o1(o2(x,o2(x,x))) | true | 51599 | 51599 | -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_x10_u0_b62 | 12 | 10 | 0 | 62 | ![]() |
sqt(mod(D,eql(P,D))) | 27720 | 97851284 | o1(o2(x,o2(x,x))) | true | 51607 | 51607 | -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_x10_u0_b63 | 12 | 10 | 0 | 63 | ![]() |
sqt(mod(D,min(P,D))) | 27721 | 97851285 | o1(o2(x,o2(x,x))) | true | 51615 | 51615 | -0.5696 | 0.1563 | 0.6804 | 0.3222 | 0.5676 | -1 | 0.4565 | 1.457 | 1 | 1.534 | 0.2527 | 0 | 0.2685 | 1 | 1 | -0.003968 | 0.71 | 0.5247 | 0.1807 | 0.4251 | 1.584 | 1.382 | 0.7845 | 2.204 | 1 | 1 | 0.1517 | 0.263 | 0.0955 | 0.471 | 0.8165 | 0.2964 | json |
| t12_x10_u0_b64 | 12 | 10 | 0 | 64 | ![]() |
sqt(mod(D,dot(P,D))) | 27722 | 97851286 | o1(o2(x,o2(x,x))) | true | 51623 | 51623 | -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_x10_u0_b65 | 12 | 10 | 0 | 65 | ![]() |
sqt(mod(D,dst(P,D))) | 27723 | 97851287 | o1(o2(x,o2(x,x))) | true | 51631 | 51631 | -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_x10_u0_b66 | 12 | 10 | 0 | 66 | ![]() |
sqt(lrg(D,add(P,D))) | 27724 | 97851288 | o1(o2(x,o2(x,x))) | true | 51639 | 51639 | 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_x10_u0_b67 | 12 | 10 | 0 | 67 | ![]() |
sqt(lrg(D,sub(P,D))) | 27725 | 97851289 | o1(o2(x,o2(x,x))) | true | 51647 | 51647 | 0.5 | 0.5938 | 0.5 | 0.2297 | 0.4793 | 0 | 1 | 1 | 1 | 1.793 | 0.006516 | 0 | 0.01891 | 1 | 1 | -7.096e-10 | 0.01207 | 0.01859 | 0.006159 | 0.07848 | 4.15 | 0.9994 | 0.02837 | 0.05257 | 1 | 1 | 0.009276 | 0.03643 | 0.06598 | 0.04039 | 0.1586 | 0.2873 | json |
| t12_x10_u0_b68 | 12 | 10 | 0 | 68 | ![]() |
sqt(lrg(D,mlt(P,D))) | 27726 | 97851290 | o1(o2(x,o2(x,x))) | true | 51655 | 51655 | 0.5 | 1 | 0.5 | 0.1418 | 0.3765 | 0.000291 | 0.9997 | 0.9994 | 1 | 3.406 | 0.06114 | 0 | 0.1188 | 1 | 1 | 0.0001797 | 0.1128 | 0.1257 | 0.047 | 0.2168 | 1.825 | 0.9994 | 0.4313 | 0.7955 | 1 | 1 | 0.06554 | 0.2335 | 0.04776 | 0.4623 | 1.647 | 0.3369 | json |
| t12_x10_u0_b69 | 12 | 10 | 0 | 69 | ![]() |
sqt(lrg(D,div(P,D))) | 27727 | 97851291 | o1(o2(x,o2(x,x))) | true | 51663 | 51663 | 0.5313 | 1 | 0.5313 | 0.1475 | 0.3841 | 0.000291 | 1 | 0.9997 | 1 | 3.332 | 0.06476 | 0 | 0.1188 | 1 | 1 | 0.0001797 | 0.1207 | 0.1327 | 0.05061 | 0.225 | 1.893 | 0.9997 | 0.4389 | 0.8181 | 1 | 1 | 0.06988 | 0.2424 | 0.05687 | 0.4737 | 1.643 | 0.3855 | json |
| t12_x10_u0_b70 | 12 | 10 | 0 | 70 | ![]() |
sqt(lrg(D,pow(P,D))) | 27728 | 97851292 | o1(o2(x,o2(x,x))) | true | 51671 | 51671 | 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_x10_u0_b71 | 12 | 10 | 0 | 71 | ![]() |
sqt(lrg(D,mod(P,D))) | 27729 | 97851293 | o1(o2(x,o2(x,x))) | true | 51679 | 51679 | 0.4886 | 0.9883 | 0.4886 | 0.142 | 0.3768 | 0 | 0.9997 | 0.9997 | 1 | 3.399 | 0.08716 | 0 | 0.145 | 1 | 1 | -1.419e-9 | 0.2038 | 0.1795 | 0.0661 | 0.2571 | 1.773 | 0.9997 | 0.6139 | 1.436 | 1 | 1 | 0.07039 | 0.2393 | 0.01004 | 0.4958 | 1.685 | 0.07074 | json |
| t12_x10_u0_b72 | 12 | 10 | 0 | 72 | ![]() |
sqt(lrg(D,lrg(P,D))) | 27730 | 97851294 | o1(o2(x,o2(x,x))) | true | 51687 | 51687 | 0.2813 | 0.5625 | 0.2813 | 0.1413 | 0.3759 | 0 | 0.9997 | 0.9997 | 1 | 2.519 | 0.03488 | 0 | 0.06731 | 1 | 1 | 0.00008984 | 0.06442 | 0.07172 | 0.03035 | 0.1742 | 2.588 | 0.9994 | 0.2469 | 0.456 | 1 | 1 | 0.03759 | 0.1321 | 0.03299 | 0.266 | 0.935 | 0.2335 | json |
| t12_x10_u0_b73 | 12 | 10 | 0 | 73 | ![]() |
sqt(lrg(D,eql(P,D))) | 27731 | 97851295 | o1(o2(x,o2(x,x))) | true | 51695 | 51695 | 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_x10_u0_b74 | 12 | 10 | 0 | 74 | ![]() |
sqt(lrg(D,min(P,D))) | 27732 | 97851296 | o1(o2(x,o2(x,x))) | true | 51703 | 51703 | 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_x10_u0_b75 | 12 | 10 | 0 | 75 | ![]() |
sqt(lrg(D,dot(P,D))) | 27733 | 97851297 | o1(o2(x,o2(x,x))) | true | 51711 | 51711 | 0.5396 | 1 | 0.5396 | 0.1029 | 0.3207 | 0.000291 | 1 | 0.9997 | 1 | 3.827 | 0.03345 | 0.03326 | 0.1424 | 0.002863 | 1 | -0.0009411 | 0.2094 | 0.1768 | 0.04643 | 0.2155 | 1.513 | 1.414 | 0.6486 | 2.036 | 1 | 1 | 0.06996 | 0.2283 | 0.06515 | 0.6801 | 2.219 | 0.6334 | json |
| t12_x10_u0_b76 | 12 | 10 | 0 | 76 | ![]() |
sqt(lrg(D,dst(P,D))) | 27734 | 97851298 | o1(o2(x,o2(x,x))) | true | 51719 | 51719 | 0.0002745 | 0.004578 | 0.0002745 | 0.00005835 | 0.007639 | 0 | 0.4414 | 0.4414 | 1 | 0.01717 | 0.00003931 | 0.000009054 | 0.0002599 | 0.6256 | 0 | -1.962e-12 | 0.0001369 | 0.0003767 | 0.00004826 | 0.006947 | 26.73 | 0.4973 | 0.8289 | 2.346 | 1 | 1 | 0.00007944 | 0.0001845 | 0.0002021 | 1.361 | 3.162 | 3.464 | json |
| t12_x10_u0_b77 | 12 | 10 | 0 | 77 | ![]() |
sqt(eql(D,add(P,D))) | 27735 | 97851299 | o1(o2(x,o2(x,x))) | true | 51727 | 51727 | 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_x10_u0_b78 | 12 | 10 | 0 | 78 | ![]() |
sqt(eql(D,sub(P,D))) | 27736 | 97851300 | o1(o2(x,o2(x,x))) | true | 51735 | 51735 | 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_x10_u0_b79 | 12 | 10 | 0 | 79 | ![]() |
sqt(eql(D,mlt(P,D))) | 27737 | 97851301 | o1(o2(x,o2(x,x))) | true | 51743 | 51743 | 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_x10_u0_b80 | 12 | 10 | 0 | 80 | ![]() |
sqt(eql(D,div(P,D))) | 27738 | 97851302 | o1(o2(x,o2(x,x))) | true | 51751 | 51751 | 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_x10_u0_b81 | 12 | 10 | 0 | 81 | ![]() |
sqt(eql(D,pow(P,D))) | 27739 | 97851303 | o1(o2(x,o2(x,x))) | true | 51759 | 51759 | 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_x10_u0_b82 | 12 | 10 | 0 | 82 | ![]() |
sqt(eql(D,mod(P,D))) | 27740 | 97851304 | o1(o2(x,o2(x,x))) | true | 51767 | 51767 | 0.02275 | 0.02344 | 0.02275 | 0.02158 | 0.1469 | 0 | 0.9929 | 0.9929 | 1 | 0.1819 | 0.04493 | 0 | 0.04623 | 1 | 1 | 0 | 0.1348 | 0.09246 | 0.04282 | 0.2069 | 4.476 | 0.9929 | 2.082 | 6.247 | 1 | 1 | 0.01038 | 0.01297 | 0.01523 | 0.4809 | 0.6012 | 0.7059 | json |
| t12_x10_u0_b83 | 12 | 10 | 0 | 83 | ![]() |
sqt(eql(D,lrg(P,D))) | 27741 | 97851305 | o1(o2(x,o2(x,x))) | true | 51775 | 51775 | 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_x10_u0_b84 | 12 | 10 | 0 | 84 | ![]() |
sqt(eql(D,eql(P,D))) | 27742 | 97851306 | o1(o2(x,o2(x,x))) | true | 51783 | 51783 | 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_x10_u0_b85 | 12 | 10 | 0 | 85 | ![]() |
sqt(eql(D,min(P,D))) | 27743 | 97851307 | o1(o2(x,o2(x,x))) | true | 51791 | 51791 | 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_x10_u0_b86 | 12 | 10 | 0 | 86 | ![]() |
sqt(eql(D,dot(P,D))) | 27744 | 97851308 | o1(o2(x,o2(x,x))) | true | 51799 | 51799 | 0.01216 | 0.03226 | 0.01216 | 0.008676 | 0.09314 | 0 | 0.9994 | 0.9994 | 1 | 0.2336 | 0.01281 | 0.01279 | 0.02743 | 0.0009992 | 1 | -0.000005323 | 0.1439 | 0.06608 | 0.02484 | 0.1576 | 5.745 | 1.413 | 2.951 | 16.59 | 1 | 1 | 0.01535 | 0.01846 | 0.02309 | 1.769 | 2.128 | 2.661 | json |
| t12_x10_u0_b87 | 12 | 10 | 0 | 87 | ![]() |
sqt(eql(D,dst(P,D))) | 27745 | 97851309 | o1(o2(x,o2(x,x))) | true | 51807 | 51807 | 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_x10_u0_b88 | 12 | 10 | 0 | 88 | ![]() |
sqt(min(D,add(P,D))) | 27746 | 97851310 | o1(o2(x,o2(x,x))) | true | 51815 | 51815 | -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_x10_u0_b89 | 12 | 10 | 0 | 89 | ![]() |
sqt(min(D,sub(P,D))) | 27747 | 97851311 | o1(o2(x,o2(x,x))) | true | 51823 | 51823 | -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_x10_u0_b90 | 12 | 10 | 0 | 90 | ![]() |
sqt(min(D,mlt(P,D))) | 27748 | 97851312 | o1(o2(x,o2(x,x))) | true | 51831 | 51831 | -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_x10_u0_b91 | 12 | 10 | 0 | 91 | ![]() |
sqt(min(D,div(P,D))) | 27749 | 97851313 | o1(o2(x,o2(x,x))) | true | 51839 | 51839 | -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_x10_u0_b92 | 12 | 10 | 0 | 92 | ![]() |
sqt(min(D,pow(P,D))) | 27750 | 97851314 | o1(o2(x,o2(x,x))) | true | 51847 | 51847 | -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_x10_u0_b93 | 12 | 10 | 0 | 93 | ![]() |
sqt(min(D,mod(P,D))) | 27751 | 97851315 | o1(o2(x,o2(x,x))) | true | 51855 | 51855 | -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_x10_u0_b94 | 12 | 10 | 0 | 94 | ![]() |
sqt(min(D,lrg(P,D))) | 27752 | 97851316 | o1(o2(x,o2(x,x))) | true | 51863 | 51863 | -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_x10_u0_b95 | 12 | 10 | 0 | 95 | ![]() |
sqt(min(D,eql(P,D))) | 27753 | 97851317 | o1(o2(x,o2(x,x))) | true | 51871 | 51871 | -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_x10_u0_b96 | 12 | 10 | 0 | 96 | ![]() |
sqt(min(D,min(P,D))) | 27754 | 97851318 | o1(o2(x,o2(x,x))) | true | 51879 | 51879 | -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_x10_u0_b97 | 12 | 10 | 0 | 97 | ![]() |
sqt(min(D,dot(P,D))) | 27755 | 97851319 | o1(o2(x,o2(x,x))) | true | 51887 | 51887 | -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_x10_u0_b98 | 12 | 10 | 0 | 98 | ![]() |
sqt(min(D,dst(P,D))) | 27756 | 97851320 | o1(o2(x,o2(x,x))) | true | 51895 | 51895 | -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_x10_u0_b99 | 12 | 10 | 0 | 99 | ![]() |
sqt(dot(D,add(P,D))) | 27757 | 97851321 | o1(o2(x,o2(x,x))) | true | 51903 | 51903 | -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_x10_u0_b100 | 12 | 10 | 0 | 100 | ![]() |
sqt(dot(D,sub(P,D))) | 27758 | 97851322 | o1(o2(x,o2(x,x))) | true | 51911 | 51911 | -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_x10_u0_b101 | 12 | 10 | 0 | 101 | ![]() |
sqt(dot(D,mlt(P,D))) | 27759 | 97851323 | o1(o2(x,o2(x,x))) | true | 51919 | 51919 | -0.4877 | 0.2921 | 0.928 | 0.6582 | 0.8113 | -1 | 1 | 2 | 1 | 1.788 | 0.04328 | 0.04328 | 0.0687 | -8.608e-8 | 1 | -0.0006647 | 0.2664 | 0.1079 | 0.08183 | 0.2861 | 4.164 | 2.828 | 0.1315 | 0.4048 | 1 | 1 | 0.08235 | 0.2424 | 0.2587 | 0.1251 | 0.3682 | 0.3931 | json |
| t12_x10_u0_b102 | 12 | 10 | 0 | 102 | ![]() |
sqt(dot(D,div(P,D))) | 27760 | 97851324 | o1(o2(x,o2(x,x))) | true | 51927 | 51927 | -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_x10_u0_b103 | 12 | 10 | 0 | 103 | ![]() |
sqt(dot(D,pow(P,D))) | 27761 | 97851325 | o1(o2(x,o2(x,x))) | true | 51935 | 51935 | -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_x10_u0_b104 | 12 | 10 | 0 | 104 | ![]() |
sqt(dot(D,mod(P,D))) | 27762 | 97851326 | o1(o2(x,o2(x,x))) | true | 51943 | 51943 | -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_x10_u0_b105 | 12 | 10 | 0 | 105 | ![]() |
sqt(dot(D,lrg(P,D))) | 27763 | 97851327 | o1(o2(x,o2(x,x))) | true | 51951 | 51951 | -0.8086 | 0 | 0.8086 | 0.155 | 0.3938 | -1 | 0 | 1 | 1 | 0.7044 | 0.001732 | 0.001732 | 0.003455 | 0 | 1 | 0 | 0.00696 | 0.006929 | 0.003455 | 0.05878 | 17.01 | 1.414 | 0.02234 | 0.04489 | 1 | 1 | 0.004377 | 0.01751 | 0.07003 | 0.02823 | 0.1129 | 0.4517 | json |
| t12_x10_u0_b106 | 12 | 10 | 0 | 106 | ![]() |
sqt(dot(D,eql(P,D))) | 27764 | 97851328 | o1(o2(x,o2(x,x))) | true | 51959 | 51959 | 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_x10_u0_b107 | 12 | 10 | 0 | 107 | ![]() |
sqt(dot(D,min(P,D))) | 27765 | 97851329 | o1(o2(x,o2(x,x))) | true | 51967 | 51967 | -0.6302 | 0.2607 | 0.8484 | 0.3946 | 0.6281 | -1 | 0.7026 | 1.703 | 1 | 1.691 | 0.02062 | 0.02062 | 0.0446 | -0.00003257 | 1 | -0.0001798 | 0.1285 | 0.06754 | 0.03924 | 0.1981 | 4.442 | 1.826 | 0.1045 | 0.3257 | 1 | 1 | 0.03751 | 0.09331 | 0.1659 | 0.09506 | 0.2365 | 0.4206 | json |
| t12_x10_u0_b108 | 12 | 10 | 0 | 108 | ![]() |
sqt(dot(D,dot(P,D))) | 27766 | 97851330 | o1(o2(x,o2(x,x))) | true | 51975 | 51975 | -0.7552 | 0.1462 | 0.9523 | 0.364 | 0.6033 | -1 | 1 | 2 | 1 | 1.116 | 0.1341 | 0.1341 | 0.141 | 6.669e-7 | 1 | 0.0005267 | 1.258 | 0.335 | 0.2482 | 0.4982 | 3.534 | 2.828 | 0.7366 | 3.456 | 1 | 1 | 0.1807 | 0.3706 | 0.2519 | 0.4963 | 1.018 | 0.6921 | json |
| t12_x10_u0_b109 | 12 | 10 | 0 | 109 | ![]() |
sqt(dot(D,dst(P,D))) | 27767 | 97851331 | o1(o2(x,o2(x,x))) | true | 51983 | 51983 | -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_x10_u0_b110 | 12 | 10 | 0 | 110 | ![]() |
sqt(dst(D,add(P,D))) | 27768 | 97851332 | o1(o2(x,o2(x,x))) | true | 51991 | 51991 | 0.9963 | 1 | 0.9963 | 0.002333 | 0.0483 | 0.000582 | 1 | 0.9994 | 1 | 0.0975 | 0.00003754 | 0.00003754 | 0.0008214 | -9.69e-8 | 0 | -1.427e-10 | 0.000006666 | 0.0002158 | 0.00007432 | 0.008621 | 10.5 | 0.1194 | 0.03219 | 0.002858 | 1 | 1 | 0.00026 | 0.003287 | 0.008516 | 0.1114 | 1.409 | 3.651 | json |
| t12_x10_u0_b111 | 12 | 10 | 0 | 111 | ![]() |
sqt(dst(D,sub(P,D))) | 27769 | 97851333 | o1(o2(x,o2(x,x))) | true | 51999 | 51999 | 0.9994 | 1 | 0.9994 | 0.0001714 | 0.01309 | 0.2981 | 1 | 0.7019 | 1 | 0.03681 | 0.00001898 | 0.00001898 | 0.0003928 | 3.354e-7 | 0 | 5.632e-11 | 0.00002588 | 0.0003092 | 0.00003785 | 0.006152 | 15.66 | 0.22 | 0.2215 | 0.151 | 1 | 1 | 0.0001178 | 0.0006066 | 0.0006244 | 0.6874 | 3.539 | 3.643 | json |
| t12_x10_u0_b112 | 12 | 10 | 0 | 112 | ![]() |
sqt(dst(D,mlt(P,D))) | 27770 | 97851334 | o1(o2(x,o2(x,x))) | true | 52007 | 52007 | 0.9243 | 1 | 0.9243 | 0.0257 | 0.1603 | 0.0005729 | 1 | 0.9994 | 1 | 1.582 | 0.003405 | 0.003405 | 0.03855 | -3.419e-8 | 1 | -0.0005717 | 0.006571 | 0.03309 | 0.005325 | 0.07297 | 1.893 | 0.432 | 0.265 | 0.2557 | 1 | 1 | 0.01183 | 0.04039 | 0.01928 | 0.4604 | 1.572 | 0.7502 | json |
| t12_x10_u0_b113 | 12 | 10 | 0 | 113 | ![]() |
sqt(dst(D,div(P,D))) | 27771 | 97851335 | o1(o2(x,o2(x,x))) | true | 52015 | 52015 | -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_x10_u0_b114 | 12 | 10 | 0 | 114 | ![]() |
sqt(dst(D,pow(P,D))) | 27772 | 97851336 | o1(o2(x,o2(x,x))) | true | 52023 | 52023 | -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_x10_u0_b115 | 12 | 10 | 0 | 115 | ![]() |
sqt(dst(D,mod(P,D))) | 27773 | 97851337 | o1(o2(x,o2(x,x))) | true | 52031 | 52031 | -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_x10_u0_b116 | 12 | 10 | 0 | 116 | ![]() |
sqt(dst(D,lrg(P,D))) | 27774 | 97851338 | o1(o2(x,o2(x,x))) | true | 52039 | 52039 | 0.9092 | 1 | 0.9092 | 0.02638 | 0.1624 | 0.2107 | 1 | 0.7893 | 1 | 1.755 | 0.00106 | 0.00106 | 0.01954 | -0.00001703 | 1 | -0.0001845 | 0.002631 | 0.01106 | 0.001737 | 0.04168 | 2.133 | 0.7892 | 0.08033 | 0.09972 | 1 | 1 | 0.003394 | 0.01644 | 0.01022 | 0.1286 | 0.6231 | 0.3873 | json |
| t12_x10_u0_b117 | 12 | 10 | 0 | 117 | ![]() |
sqt(dst(D,eql(P,D))) | 27775 | 97851339 | o1(o2(x,o2(x,x))) | true | 52047 | 52047 | 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_x10_u0_b118 | 12 | 10 | 0 | 118 | ![]() |
sqt(dst(D,min(P,D))) | 27776 | 97851340 | o1(o2(x,o2(x,x))) | true | 52055 | 52055 | 0.7371 | 0.8086 | 0.7371 | 0.1772 | 0.4209 | 0 | 1 | 1 | 1 | 1.389 | 0.0003713 | 0.0003713 | 0.008006 | -0.000002508 | 1 | -5.046e-9 | 0.0002106 | 0.003473 | 0.0006789 | 0.02605 | 3.254 | 0.2493 | 0.004192 | 0.001189 | 1 | 1 | 0.001828 | 0.01648 | 0.06141 | 0.01032 | 0.09305 | 0.3466 | json |
| t12_x10_u0_b119 | 12 | 10 | 0 | 119 | ![]() |
sqt(dst(D,dot(P,D))) | 27777 | 97851341 | o1(o2(x,o2(x,x))) | true | 52063 | 52063 | 0.9577 | 1 | 0.9577 | 0.01483 | 0.1218 | 0.1774 | 1 | 0.8226 | 1 | 1.041 | 0.007046 | 0.007046 | 0.04441 | 5.948e-7 | 1 | -0.0004062 | 0.0405 | 0.06271 | 0.01212 | 0.1101 | 2.479 | 0.9756 | 0.9501 | 2.73 | 1 | 1 | 0.01695 | 0.03516 | 0.0104 | 1.143 | 2.37 | 0.7011 | json |
| t12_x10_u0_b120 | 12 | 10 | 0 | 120 | ![]() |
sqt(dst(D,dst(P,D))) | 27778 | 97851342 | o1(o2(x,o2(x,x))) | true | 52071 | 52071 | 0.9996 | 1 | 0.9996 | 0.000158 | 0.01257 | 0.2198 | 1 | 0.7802 | 1 | 0.01737 | 0.00001526 | 0.00001526 | 0.0002225 | 0 | 0 | -1.877e-11 | 0.00001541 | 0.0001347 | 0.00003044 | 0.005518 | 24.8 | 0.1958 | 0.1931 | 0.09753 | 1 | 1 | 0.0000977 | 0.0005565 | 0.0005746 | 0.6182 | 3.522 | 3.636 | json |
| t12_x10_u1_b0 | 12 | 10 | 1 | 0 | ![]() |
log(add(D,add(P,D))) | 27779 | 97851423 | o1(o2(x,o2(x,x))) | true | 52079 | 52079 | -0.1579 | 0.4375 | 0.9407 | 0.8933 | 0.9451 | -1 | 1 | 2 | 1 | 1.9 | 0.0008279 | 0 | 0.007937 | 1 | 1 | -1.537e-9 | 0.0001246 | 0.002075 | 0.0007654 | 0.02767 | 3.486 | 0.1784 | 0.0009268 | 0.0001395 | 1 | 1 | 0.002113 | 0.02631 | 0.2267 | 0.002366 | 0.02946 | 0.2537 | json |
| t12_x10_u1_b1 | 12 | 10 | 1 | 1 | ![]() |
log(add(D,sub(P,D))) | 27780 | 97851424 | o1(o2(x,o2(x,x))) | true | 52087 | 52087 | -0.1739 | 0.4375 | 0.9511 | 0.9053 | 0.9515 | -1 | 1 | 2 | 1 | 1.654 | 0.004186 | 0 | 0.007937 | 1 | 1 | 1.42e-9 | 0.007916 | 0.008917 | 0.004122 | 0.0642 | 8.089 | 1 | 0.004624 | 0.008745 | 1 | 1 | 0.005854 | 0.03284 | 0.2495 | 0.006466 | 0.03627 | 0.2755 | json |
| t12_x10_u1_b2 | 12 | 10 | 1 | 2 | ![]() |
log(add(D,mlt(P,D))) | 27781 | 97851425 | o1(o2(x,o2(x,x))) | true | 52095 | 52095 | -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_x10_u1_b3 | 12 | 10 | 1 | 3 | ![]() |
log(add(D,div(P,D))) | 27782 | 97851426 | o1(o2(x,o2(x,x))) | true | 52103 | 52103 | -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_x10_u1_b4 | 12 | 10 | 1 | 4 | ![]() |
log(add(D,pow(P,D))) | 27783 | 97851427 | o1(o2(x,o2(x,x))) | true | 52111 | 52111 | -0.8815 | 0 | 0.8815 | 0.06452 | 0.254 | -1 | -0.03175 | 0.9683 | 1 | 1.591 | 0.02838 | 0 | 0.0544 | 1 | 1 | 0.0007865 | 0.0575 | 0.06493 | 0.0254 | 0.1594 | 2.93 | 0.9683 | 0.4399 | 0.8913 | 1 | 1 | 0.02869 | 0.07664 | 0.02466 | 0.4448 | 1.188 | 0.3823 | json |
| t12_x10_u1_b5 | 12 | 10 | 1 | 5 | ![]() |
log(add(D,mod(P,D))) | 27784 | 97851428 | o1(o2(x,o2(x,x))) | true | 52119 | 52119 | -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_x10_u1_b6 | 12 | 10 | 1 | 6 | ![]() |
log(add(D,lrg(P,D))) | 27785 | 97851429 | o1(o2(x,o2(x,x))) | true | 52127 | 52127 | -0.5477 | 0.1367 | 0.5639 | 0.2105 | 0.4588 | -1 | 0.08561 | 1.086 | 1 | 2.547 | 0.005253 | 0 | 0.02784 | 1 | 1 | 0.0002123 | 0.008193 | 0.01614 | 0.004478 | 0.06692 | 2.404 | 0.9683 | 0.02496 | 0.03893 | 1 | 1 | 0.008007 | 0.0412 | 0.06473 | 0.03804 | 0.1957 | 0.3076 | json |
| t12_x10_u1_b7 | 12 | 10 | 1 | 7 | ![]() |
log(add(D,eql(P,D))) | 27786 | 97851430 | o1(o2(x,o2(x,x))) | true | 52135 | 52135 | -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_x10_u1_b8 | 12 | 10 | 1 | 8 | ![]() |
log(add(D,min(P,D))) | 27787 | 97851431 | o1(o2(x,o2(x,x))) | true | 52143 | 52143 | -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_x10_u1_b9 | 12 | 10 | 1 | 9 | ![]() |
log(add(D,dot(P,D))) | 27788 | 97851432 | o1(o2(x,o2(x,x))) | true | 52151 | 52151 | -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_x10_u1_b10 | 12 | 10 | 1 | 10 | ![]() |
log(add(D,dst(P,D))) | 27789 | 97851433 | o1(o2(x,o2(x,x))) | true | 52159 | 52159 | 0.9476 | 0.9865 | 0.9652 | 0.0536 | 0.2315 | -1 | 1 | 2 | 1 | 0.7738 | 0.005506 | 0.002631 | 0.009516 | 0.3533 | 1 | 2.102e-10 | 0.02168 | 0.01064 | 0.008047 | 0.0897 | 9.427 | 2.666 | 0.1518 | 0.4044 | 1 | 1 | 0.01471 | 0.05412 | 0.1186 | 0.2745 | 1.01 | 2.213 | json |
| t12_x10_u1_b11 | 12 | 10 | 1 | 11 | ![]() |
log(sub(D,add(P,D))) | 27790 | 97851434 | o1(o2(x,o2(x,x))) | true | 52167 | 52167 | -0.1739 | 0.4375 | 0.9511 | 0.9053 | 0.9515 | -1 | 1 | 2 | 1 | 1.654 | 0.004186 | 0 | 0.007937 | 1 | 1 | 1.419e-9 | 0.007916 | 0.008917 | 0.004122 | 0.0642 | 8.089 | 1 | 0.004624 | 0.008745 | 1 | 1 | 0.005854 | 0.03284 | 0.2495 | 0.006466 | 0.03627 | 0.2755 | json |
| t12_x10_u1_b12 | 12 | 10 | 1 | 12 | ![]() |
log(sub(D,sub(P,D))) | 27791 | 97851435 | o1(o2(x,o2(x,x))) | true | 52175 | 52175 | -0.2493 | 0.375 | 0.969 | 0.8926 | 0.9448 | -1 | 1 | 2 | 1 | 1.488 | 0.01518 | 0 | 0.01651 | 1 | 1 | -2.816e-12 | 0.03111 | 0.02425 | 0.0149 | 0.122 | 7.393 | 1.662 | 0.01701 | 0.03485 | 1 | 1 | 0.01964 | 0.07017 | 0.2757 | 0.022 | 0.07861 | 0.3089 | json |
| t12_x10_u1_b13 | 12 | 10 | 1 | 13 | ![]() |
log(sub(D,mlt(P,D))) | 27792 | 97851436 | o1(o2(x,o2(x,x))) | true | 52183 | 52183 | -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_x10_u1_b14 | 12 | 10 | 1 | 14 | ![]() |
log(sub(D,div(P,D))) | 27793 | 97851437 | o1(o2(x,o2(x,x))) | true | 52191 | 52191 | -0.9406 | 0.03125 | 0.9869 | 0.09801 | 0.3131 | -1 | 1 | 2 | 1 | 0.359 | 0.01819 | 0 | 0.01587 | 1 | 1 | 0 | 0.03231 | 0.01858 | 0.01793 | 0.1339 | 8.436 | 2 | 0.1856 | 0.3296 | 1 | 1 | 0.02683 | 0.1235 | 0.1369 | 0.2737 | 1.26 | 1.397 | json |
| t12_x10_u1_b15 | 12 | 10 | 1 | 15 | ![]() |
log(sub(D,pow(P,D))) | 27794 | 97851438 | o1(o2(x,o2(x,x))) | true | 52199 | 52199 | -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_x10_u1_b16 | 12 | 10 | 1 | 16 | ![]() |
log(sub(D,mod(P,D))) | 27795 | 97851439 | o1(o2(x,o2(x,x))) | true | 52207 | 52207 | -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_x10_u1_b17 | 12 | 10 | 1 | 17 | ![]() |
log(sub(D,lrg(P,D))) | 27796 | 97851440 | o1(o2(x,o2(x,x))) | true | 52215 | 52215 | -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_x10_u1_b18 | 12 | 10 | 1 | 18 | ![]() |
log(sub(D,eql(P,D))) | 27797 | 97851441 | o1(o2(x,o2(x,x))) | true | 52223 | 52223 | -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_x10_u1_b19 | 12 | 10 | 1 | 19 | ![]() |
log(sub(D,min(P,D))) | 27798 | 97851442 | o1(o2(x,o2(x,x))) | true | 52231 | 52231 | -0.1845 | 0.4102 | 0.946 | 0.8951 | 0.9461 | -1 | 1 | 2 | 1 | 1.666 | 0.004179 | 0 | 0.009576 | 1 | 1 | -1.656e-9 | 0.007969 | 0.009942 | 0.004088 | 0.06393 | 6.676 | 0.9686 | 0.004669 | 0.008903 | 1 | 1 | 0.005802 | 0.02944 | 0.2416 | 0.006482 | 0.03289 | 0.27 | json |
| t12_x10_u1_b20 | 12 | 10 | 1 | 20 | ![]() |
log(sub(D,dot(P,D))) | 27799 | 97851443 | o1(o2(x,o2(x,x))) | true | 52239 | 52239 | -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 |



































































































