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_x15_u0_b7 | 12 | 15 | 0 | 7 | ![]() |
sqt(add(D,eql(R,P))) | 31900 | 98053234 | o1(o2(x,o2(x,x))) | true | 85047 | 85047 | -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_x15_u0_b8 | 12 | 15 | 0 | 8 | ![]() |
sqt(add(D,min(R,P))) | 31901 | 98053235 | o1(o2(x,o2(x,x))) | true | 85055 | 85055 | -0.9493 | 0.03003 | 0.9906 | 0.08363 | 0.2892 | -1 | 0.955 | 1.955 | 1 | 0.2926 | 0.02721 | 0.007062 | 0.02118 | 0.5878 | 1 | 0.0003729 | 0.07383 | 0.0402 | 0.03383 | 0.1839 | 8.686 | 2.742 | 0.4098 | 0.8828 | 1 | 1 | 0.03172 | 0.1014 | 0.173 | 0.3793 | 1.213 | 2.068 | json |
| t12_x15_u0_b9 | 12 | 15 | 0 | 9 | ![]() |
sqt(add(D,dot(R,P))) | 31902 | 98053236 | o1(o2(x,o2(x,x))) | true | 85063 | 85063 | -0.9335 | 0.03467 | 0.9971 | 0.1241 | 0.3523 | -1 | 1 | 2 | 1 | 0.2749 | 0.02763 | 0.01327 | 0.02211 | 0.3512 | 1 | -9.011e-11 | 0.09189 | 0.04366 | 0.04041 | 0.201 | 9.09 | 2.828 | 0.3296 | 0.7404 | 1 | 1 | 0.04732 | 0.1655 | 0.3409 | 0.3813 | 1.333 | 2.747 | json |
| t12_x15_u0_b10 | 12 | 15 | 0 | 10 | ![]() |
sqt(add(D,dst(R,P))) | 31903 | 98053237 | o1(o2(x,o2(x,x))) | true | 85071 | 85071 | 0.9885 | 0.9946 | 0.9992 | 0.0215 | 0.1466 | -1 | 1 | 2 | 1 | 0.09509 | 0.0119 | 0.001386 | 0.00692 | 0.7914 | 1 | -6.007e-11 | 0.03209 | 0.01358 | 0.01324 | 0.1151 | 16.63 | 2.828 | 0.618 | 1.493 | 1 | 1 | 0.01983 | 0.04746 | 0.0732 | 0.9225 | 2.208 | 3.405 | json |
| t12_x15_u0_b11 | 12 | 15 | 0 | 11 | ![]() |
sqt(sub(D,add(R,P))) | 31904 | 98053238 | o1(o2(x,o2(x,x))) | true | 85079 | 85079 | -0.174 | 0.4163 | 0.9935 | 0.9598 | 0.9797 | -1 | 1 | 2 | 1 | 1.161 | 0.04179 | 0.005333 | 0.02643 | 0.7736 | 1 | 4.409e-7 | 0.09751 | 0.05186 | 0.04644 | 0.2155 | 8.154 | 2.828 | 0.0491 | 0.1016 | 1 | 1 | 0.0586 | 0.1898 | 0.4283 | 0.06105 | 0.1977 | 0.4463 | json |
| t12_x15_u0_b12 | 12 | 15 | 0 | 12 | ![]() |
sqt(sub(D,sub(R,P))) | 31905 | 98053239 | o1(o2(x,o2(x,x))) | true | 85087 | 85087 | -0.1021 | 0.4526 | 0.9927 | 0.9777 | 0.9888 | -1 | 1 | 2 | 1 | 1.198 | 0.012 | 0.00151 | 0.009878 | 0.7765 | 1 | -2.365e-7 | 0.02757 | 0.0163 | 0.01343 | 0.1159 | 11.73 | 2.828 | 0.01382 | 0.0282 | 1 | 1 | 0.01985 | 0.08319 | 0.3498 | 0.02031 | 0.08509 | 0.3578 | json |
| t12_x15_u0_b13 | 12 | 15 | 0 | 13 | ![]() |
sqt(sub(D,mlt(R,P))) | 31906 | 98053240 | o1(o2(x,o2(x,x))) | true | 85095 | 85095 | -0.8666 | 0.0686 | 0.9962 | 0.2426 | 0.4925 | -1 | 1 | 2 | 1 | 0.4551 | 0.04628 | 0.02541 | 0.03782 | 0.2912 | 1 | -4.634e-7 | 0.1591 | 0.07491 | 0.07028 | 0.2651 | 7.009 | 2.828 | 0.2956 | 0.6561 | 1 | 1 | 0.07253 | 0.2491 | 0.4507 | 0.299 | 1.027 | 1.858 | json |
| t12_x15_u0_b14 | 12 | 15 | 0 | 14 | ![]() |
sqt(sub(D,div(R,P))) | 31907 | 98053241 | o1(o2(x,o2(x,x))) | true | 85103 | 85103 | -0.9685 | 0.02222 | 0.987 | 0.0446 | 0.2112 | -1 | 0.931 | 1.931 | 1 | 0.2349 | 0.03459 | 0.004008 | 0.02911 | 0.7923 | 1 | 0.0002858 | 0.09586 | 0.05686 | 0.03774 | 0.1943 | 6.674 | 2.569 | 0.8655 | 2.149 | 1 | 1 | 0.03704 | 0.07514 | 0.1053 | 0.8306 | 1.685 | 2.36 | json |
| t12_x15_u0_b15 | 12 | 15 | 0 | 15 | ![]() |
sqt(sub(D,pow(R,P))) | 31908 | 98053242 | o1(o2(x,o2(x,x))) | true | 85111 | 85111 | -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_x15_u0_b16 | 12 | 15 | 0 | 16 | ![]() |
sqt(sub(D,mod(R,P))) | 31909 | 98053243 | o1(o2(x,o2(x,x))) | true | 85119 | 85119 | -0.9062 | 0.05688 | 0.98 | 0.1483 | 0.3851 | -1 | 1 | 2 | 1 | 0.5211 | 0.06327 | 0.01503 | 0.04935 | 0.616 | 1 | 0.00006099 | 0.1783 | 0.09597 | 0.07587 | 0.2754 | 5.581 | 2.805 | 0.528 | 1.203 | 1 | 1 | 0.0787 | 0.1971 | 0.2588 | 0.5307 | 1.329 | 1.745 | json |
| t12_x15_u0_b17 | 12 | 15 | 0 | 17 | ![]() |
sqt(sub(D,lrg(R,P))) | 31910 | 98053244 | o1(o2(x,o2(x,x))) | true | 85127 | 85127 | -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_x15_u0_b18 | 12 | 15 | 0 | 18 | ![]() |
sqt(sub(D,eql(R,P))) | 31911 | 98053245 | o1(o2(x,o2(x,x))) | true | 85135 | 85135 | -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_x15_u0_b19 | 12 | 15 | 0 | 19 | ![]() |
sqt(sub(D,min(R,P))) | 31912 | 98053246 | o1(o2(x,o2(x,x))) | true | 85143 | 85143 | -0.04832 | 0.4836 | 0.9844 | 0.9729 | 0.9864 | -1 | 1 | 2 | 1 | 1.356 | 0.05896 | 0.009419 | 0.04125 | 0.7245 | 1 | 0.0000631 | 0.1475 | 0.08017 | 0.06668 | 0.2582 | 6.261 | 2.805 | 0.07028 | 0.1516 | 1 | 1 | 0.07834 | 0.2445 | 0.4882 | 0.08052 | 0.2513 | 0.5018 | json |
| t12_x15_u0_b20 | 12 | 15 | 0 | 20 | ![]() |
sqt(sub(D,dot(R,P))) | 31913 | 98053247 | o1(o2(x,o2(x,x))) | true | 85151 | 85151 | -0.797 | 0.1028 | 0.9974 | 0.3606 | 0.6005 | -1 | 1 | 2 | 1 | 0.5442 | 0.03067 | 0.03784 | 0.03563 | -0.1048 | 1 | 0.0008588 | 0.1447 | 0.0696 | 0.06723 | 0.2593 | 7.278 | 2.828 | 0.19 | 0.4013 | 1 | 1 | 0.05817 | 0.2379 | 0.5768 | 0.1613 | 0.6595 | 1.599 | json |
| t12_x15_u0_b21 | 12 | 15 | 0 | 21 | ![]() |
sqt(sub(D,dst(R,P))) | 31914 | 98053248 | o1(o2(x,o2(x,x))) | true | 85159 | 85159 | -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_x15_u0_b22 | 12 | 15 | 0 | 22 | ![]() |
sqt(mlt(D,add(R,P))) | 31915 | 98053249 | o1(o2(x,o2(x,x))) | true | 85167 | 85167 | -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_x15_u0_b23 | 12 | 15 | 0 | 23 | ![]() |
sqt(mlt(D,sub(R,P))) | 31916 | 98053250 | o1(o2(x,o2(x,x))) | true | 85175 | 85175 | -0.9446 | 0.03906 | 0.9773 | 0.07663 | 0.2768 | -1 | 0.8015 | 1.802 | 1 | 0.3723 | 0.006746 | 0.004585 | 0.0111 | 0.1908 | 1 | -8.698e-7 | 0.02185 | 0.01782 | 0.01121 | 0.1059 | 9.534 | 1.777 | 0.1479 | 0.2851 | 1 | 1 | 0.01666 | 0.08067 | 0.1844 | 0.2175 | 1.053 | 2.407 | json |
| t12_x15_u0_b24 | 12 | 15 | 0 | 24 | ![]() |
sqt(mlt(D,mlt(R,P))) | 31917 | 98053251 | o1(o2(x,o2(x,x))) | true | 85183 | 85183 | -0.927 | 0.05061 | 0.9714 | 0.1041 | 0.3226 | -1 | 1 | 2 | 1 | 0.4867 | 0.008329 | 0.01086 | 0.01676 | -0.1321 | 1 | -3.071e-7 | 0.03779 | 0.02816 | 0.01892 | 0.1375 | 8.208 | 2.007 | 0.1844 | 0.3631 | 1 | 1 | 0.02184 | 0.102 | 0.2107 | 0.2098 | 0.9796 | 2.024 | json |
| t12_x15_u0_b25 | 12 | 15 | 0 | 25 | ![]() |
sqt(mlt(D,div(R,P))) | 31918 | 98053252 | o1(o2(x,o2(x,x))) | true | 85191 | 85191 | -0.9571 | 0.03516 | 0.9726 | 0.05093 | 0.2257 | -1 | 0.5271 | 1.527 | 1 | 0.3184 | 0.005038 | 0.005406 | 0.009921 | -0.03519 | 1 | 3.118e-7 | 0.0213 | 0.01795 | 0.01034 | 0.1017 | 10.25 | 1.623 | 0.205 | 0.4182 | 1 | 1 | 0.01041 | 0.04706 | 0.09292 | 0.2045 | 0.9239 | 1.824 | json |
| t12_x15_u0_b26 | 12 | 15 | 0 | 26 | ![]() |
sqt(mlt(D,pow(R,P))) | 31919 | 98053253 | o1(o2(x,o2(x,x))) | true | 85199 | 85199 | -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_x15_u0_b27 | 12 | 15 | 0 | 27 | ![]() |
sqt(mlt(D,mod(R,P))) | 31920 | 98053254 | o1(o2(x,o2(x,x))) | true | 85207 | 85207 | -0.9577 | 0.03125 | 0.9798 | 0.05603 | 0.2367 | -1 | 0.6744 | 1.674 | 1 | 0.3005 | 0.005046 | 0.006537 | 0.01055 | -0.1287 | 1 | 4.734e-7 | 0.02331 | 0.01834 | 0.01148 | 0.1071 | 10.16 | 1.674 | 0.2067 | 0.416 | 1 | 1 | 0.01177 | 0.05449 | 0.1203 | 0.2101 | 0.9724 | 2.147 | json |
| t12_x15_u0_b28 | 12 | 15 | 0 | 28 | ![]() |
sqt(mlt(D,lrg(R,P))) | 31921 | 98053255 | o1(o2(x,o2(x,x))) | true | 85215 | 85215 | -0.4639 | 0.06094 | 0.4892 | 0.2655 | 0.5153 | -1 | 0.4565 | 1.457 | 1 | 1.33 | 0.005367 | 0.001212 | 0.008058 | 0.6315 | 1 | -0.000001423 | 0.01216 | 0.01147 | 0.006512 | 0.0807 | 10.01 | 1.457 | 0.02478 | 0.0458 | 1 | 1 | 0.009968 | 0.04689 | 0.1362 | 0.03754 | 0.1766 | 0.5129 | json |
| t12_x15_u0_b29 | 12 | 15 | 0 | 29 | ![]() |
sqt(mlt(D,eql(R,P))) | 31922 | 98053256 | o1(o2(x,o2(x,x))) | true | 85223 | 85223 | 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_x15_u0_b30 | 12 | 15 | 0 | 30 | ![]() |
sqt(mlt(D,min(R,P))) | 31923 | 98053257 | o1(o2(x,o2(x,x))) | true | 85231 | 85231 | -0.9788 | 0.01563 | 0.99 | 0.02862 | 0.1692 | -1 | 0.6227 | 1.623 | 1 | 0.1645 | 0.002448 | 0.002825 | 0.004875 | -0.07144 | 1 | 4.733e-7 | 0.01055 | 0.00837 | 0.005251 | 0.07247 | 14.87 | 1.645 | 0.1842 | 0.3686 | 1 | 1 | 0.006032 | 0.02778 | 0.06685 | 0.2107 | 0.9705 | 2.336 | json |
| t12_x15_u0_b31 | 12 | 15 | 0 | 31 | ![]() |
sqt(mlt(D,dot(R,P))) | 31924 | 98053258 | o1(o2(x,o2(x,x))) | true | 85239 | 85239 | -0.93 | 0.04297 | 0.9841 | 0.1125 | 0.3354 | -1 | 1 | 2 | 1 | 0.4156 | 0.008535 | 0.01281 | 0.0175 | -0.2002 | 1 | -0.00002361 | 0.0414 | 0.02839 | 0.02105 | 0.1451 | 8.293 | 2.005 | 0.1897 | 0.3679 | 1 | 1 | 0.02969 | 0.1469 | 0.3044 | 0.2639 | 1.305 | 2.706 | json |
| t12_x15_u0_b32 | 12 | 15 | 0 | 32 | ![]() |
sqt(mlt(D,dst(R,P))) | 31925 | 98053259 | o1(o2(x,o2(x,x))) | true | 85247 | 85247 | -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_x15_u0_b33 | 12 | 15 | 0 | 33 | ![]() |
sqt(div(D,add(R,P))) | 31926 | 98053260 | o1(o2(x,o2(x,x))) | true | 85255 | 85255 | -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_x15_u0_b34 | 12 | 15 | 0 | 34 | ![]() |
sqt(div(D,sub(R,P))) | 31927 | 98053261 | o1(o2(x,o2(x,x))) | true | 85263 | 85263 | -0.9362 | 0.03906 | 0.9857 | 0.1026 | 0.3203 | -1 | 1 | 2 | 1 | 0.3839 | 0.007973 | 0.006212 | 0.013 | 0.1241 | 1 | 9.627e-7 | 0.02649 | 0.01967 | 0.01403 | 0.1184 | 9.112 | 2.1 | 0.1383 | 0.2583 | 1 | 1 | 0.0206 | 0.106 | 0.2473 | 0.2008 | 1.034 | 2.41 | json |
| t12_x15_u0_b35 | 12 | 15 | 0 | 35 | ![]() |
sqt(div(D,mlt(R,P))) | 31928 | 98053262 | o1(o2(x,o2(x,x))) | true | 85271 | 85271 | -0.9473 | 0.03516 | 0.9824 | 0.07822 | 0.2797 | -1 | 1 | 2 | 1 | 0.3546 | 0.006212 | 0.008264 | 0.01256 | -0.1418 | 1 | -5.681e-8 | 0.02847 | 0.02075 | 0.01432 | 0.1197 | 9.528 | 2 | 0.1851 | 0.3639 | 1 | 1 | 0.0148 | 0.07171 | 0.1382 | 0.1891 | 0.9167 | 1.767 | json |
| t12_x15_u0_b36 | 12 | 15 | 0 | 36 | ![]() |
sqt(div(D,div(R,P))) | 31929 | 98053263 | o1(o2(x,o2(x,x))) | true | 85279 | 85279 | -0.9109 | 0.05078 | 0.9875 | 0.1535 | 0.3918 | -1 | 1 | 2 | 1 | 0.4305 | 0.01256 | 0.01558 | 0.02017 | -0.1073 | 1 | -0.000001152 | 0.05354 | 0.03403 | 0.02773 | 0.1665 | 8.257 | 2.601 | 0.1833 | 0.3488 | 1 | 1 | 0.0324 | 0.153 | 0.3114 | 0.2111 | 0.997 | 2.029 | json |
| t12_x15_u0_b37 | 12 | 15 | 0 | 37 | ![]() |
sqt(div(D,pow(R,P))) | 31930 | 98053264 | o1(o2(x,o2(x,x))) | true | 85287 | 85287 | -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_x15_u0_b38 | 12 | 15 | 0 | 38 | ![]() |
sqt(div(D,mod(R,P))) | 31931 | 98053265 | o1(o2(x,o2(x,x))) | true | 85295 | 85295 | -0.9461 | 0.03125 | 0.9914 | 0.09237 | 0.3039 | -1 | 1 | 2 | 1 | 0.3029 | 0.006962 | 0.01065 | 0.01348 | -0.2095 | 1 | -0.000001482 | 0.03406 | 0.02222 | 0.01743 | 0.132 | 9.792 | 2.007 | 0.1907 | 0.3688 | 1 | 1 | 0.01676 | 0.08191 | 0.1835 | 0.1814 | 0.8868 | 1.987 | json |
| t12_x15_u0_b39 | 12 | 15 | 0 | 39 | ![]() |
sqt(div(D,lrg(R,P))) | 31932 | 98053266 | o1(o2(x,o2(x,x))) | true | 85303 | 85303 | -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_x15_u0_b40 | 12 | 15 | 0 | 40 | ![]() |
sqt(div(D,eql(R,P))) | 31933 | 98053267 | o1(o2(x,o2(x,x))) | true | 85311 | 85311 | -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_x15_u0_b41 | 12 | 15 | 0 | 41 | ![]() |
sqt(div(D,min(R,P))) | 31934 | 98053268 | o1(o2(x,o2(x,x))) | true | 85319 | 85319 | -0.9733 | 0.01563 | 0.9955 | 0.04604 | 0.2146 | -1 | 1 | 2 | 1 | 0.1686 | 0.003227 | 0.004465 | 0.006193 | -0.161 | 1 | -0.000001482 | 0.01477 | 0.009926 | 0.007654 | 0.08749 | 14.13 | 2 | 0.1671 | 0.3208 | 1 | 1 | 0.008399 | 0.04077 | 0.1012 | 0.1824 | 0.8856 | 2.198 | json |
| t12_x15_u0_b42 | 12 | 15 | 0 | 42 | ![]() |
sqt(div(D,dot(R,P))) | 31935 | 98053269 | o1(o2(x,o2(x,x))) | true | 85327 | 85327 | -0.9343 | 0.04297 | 0.9797 | 0.09972 | 0.3158 | -1 | 1 | 2 | 1 | 0.4164 | 0.008095 | 0.01094 | 0.0163 | -0.1493 | 1 | -0.00004047 | 0.0373 | 0.02694 | 0.01876 | 0.137 | 8.4 | 2.019 | 0.1908 | 0.374 | 1 | 1 | 0.0257 | 0.1292 | 0.2747 | 0.2577 | 1.295 | 2.755 | json |
| t12_x15_u0_b43 | 12 | 15 | 0 | 43 | ![]() |
sqt(div(D,dst(R,P))) | 31936 | 98053270 | o1(o2(x,o2(x,x))) | true | 85335 | 85335 | -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_x15_u0_b44 | 12 | 15 | 0 | 44 | ![]() |
sqt(pow(D,add(R,P))) | 31937 | 98053271 | o1(o2(x,o2(x,x))) | true | 85343 | 85343 | -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_x15_u0_b45 | 12 | 15 | 0 | 45 | ![]() |
sqt(pow(D,sub(R,P))) | 31938 | 98053272 | o1(o2(x,o2(x,x))) | true | 85351 | 85351 | -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_x15_u0_b46 | 12 | 15 | 0 | 46 | ![]() |
sqt(pow(D,mlt(R,P))) | 31939 | 98053273 | o1(o2(x,o2(x,x))) | true | 85359 | 85359 | -0.8775 | 0.0625 | 0.9975 | 0.2256 | 0.475 | -1 | 1 | 2 | 1 | 0.4061 | 0.02994 | 0.00002679 | 0.0161 | 0.9982 | 1 | -0.000008075 | 0.05957 | 0.03082 | 0.02969 | 0.1723 | 10.7 | 2 | 0.1328 | 0.2641 | 1 | 1 | 0.03979 | 0.163 | 0.3255 | 0.1764 | 0.7225 | 1.443 | json |
| t12_x15_u0_b47 | 12 | 15 | 0 | 47 | ![]() |
sqt(pow(D,div(R,P))) | 31940 | 98053274 | o1(o2(x,o2(x,x))) | true | 85367 | 85367 | -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_x15_u0_b48 | 12 | 15 | 0 | 48 | ![]() |
sqt(pow(D,pow(R,P))) | 31941 | 98053275 | o1(o2(x,o2(x,x))) | true | 85375 | 85375 | -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_x15_u0_b49 | 12 | 15 | 0 | 49 | ![]() |
sqt(pow(D,mod(R,P))) | 31942 | 98053276 | o1(o2(x,o2(x,x))) | true | 85383 | 85383 | -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_x15_u0_b50 | 12 | 15 | 0 | 50 | ![]() |
sqt(pow(D,lrg(R,P))) | 31943 | 98053277 | o1(o2(x,o2(x,x))) | true | 85391 | 85391 | 0.03416 | 0.5234 | 0.9873 | 0.9803 | 0.9901 | -1 | 1 | 2 | 1 | 1.29 | 0.007495 | 0.002384 | 0.009392 | 0.5173 | 1 | 0.00000143 | 0.01882 | 0.01319 | 0.009787 | 0.09893 | 10.53 | 2.828 | 0.01008 | 0.0192 | 1 | 1 | 0.01543 | 0.07804 | 0.3696 | 0.01574 | 0.0796 | 0.3771 | json |
| t12_x15_u0_b51 | 12 | 15 | 0 | 51 | ![]() |
sqt(pow(D,eql(R,P))) | 31944 | 98053278 | o1(o2(x,o2(x,x))) | true | 85399 | 85399 | 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_x15_u0_b52 | 12 | 15 | 0 | 52 | ![]() |
sqt(pow(D,min(R,P))) | 31945 | 98053279 | o1(o2(x,o2(x,x))) | true | 85407 | 85407 | -0.9688 | 0.01563 | 1 | 0.06152 | 0.248 | -1 | 1 | 2 | 1 | 0.1161 | 0.008062 | 0.006047 | 0.006999 | 0.1429 | 1 | 0 | 0.02973 | 0.01411 | 0.01407 | 0.1186 | 16.94 | 2.828 | 0.2293 | 0.4832 | 1 | 1 | 0.01928 | 0.07712 | 0.1808 | 0.3134 | 1.253 | 2.939 | json |
| t12_x15_u0_b53 | 12 | 15 | 0 | 53 | ![]() |
sqt(pow(D,dot(R,P))) | 31946 | 98053280 | o1(o2(x,o2(x,x))) | true | 85415 | 85415 | -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_x15_u0_b54 | 12 | 15 | 0 | 54 | ![]() |
sqt(pow(D,dst(R,P))) | 31947 | 98053281 | o1(o2(x,o2(x,x))) | true | 85423 | 85423 | -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_x15_u0_b55 | 12 | 15 | 0 | 55 | ![]() |
sqt(mod(D,add(R,P))) | 31948 | 98053282 | o1(o2(x,o2(x,x))) | true | 85431 | 85431 | -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_x15_u0_b56 | 12 | 15 | 0 | 56 | ![]() |
sqt(mod(D,sub(R,P))) | 31949 | 98053283 | o1(o2(x,o2(x,x))) | true | 85439 | 85439 | -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_x15_u0_b57 | 12 | 15 | 0 | 57 | ![]() |
sqt(mod(D,mlt(R,P))) | 31950 | 98053284 | o1(o2(x,o2(x,x))) | true | 85447 | 85447 | -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_x15_u0_b58 | 12 | 15 | 0 | 58 | ![]() |
sqt(mod(D,div(R,P))) | 31951 | 98053285 | o1(o2(x,o2(x,x))) | true | 85455 | 85455 | -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_x15_u0_b59 | 12 | 15 | 0 | 59 | ![]() |
sqt(mod(D,pow(R,P))) | 31952 | 98053286 | o1(o2(x,o2(x,x))) | true | 85463 | 85463 | -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_x15_u0_b60 | 12 | 15 | 0 | 60 | ![]() |
sqt(mod(D,mod(R,P))) | 31953 | 98053287 | o1(o2(x,o2(x,x))) | true | 85471 | 85471 | -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_x15_u0_b61 | 12 | 15 | 0 | 61 | ![]() |
sqt(mod(D,lrg(R,P))) | 31954 | 98053288 | o1(o2(x,o2(x,x))) | true | 85479 | 85479 | -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_x15_u0_b62 | 12 | 15 | 0 | 62 | ![]() |
sqt(mod(D,eql(R,P))) | 31955 | 98053289 | o1(o2(x,o2(x,x))) | true | 85487 | 85487 | -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_x15_u0_b63 | 12 | 15 | 0 | 63 | ![]() |
sqt(mod(D,min(R,P))) | 31956 | 98053290 | o1(o2(x,o2(x,x))) | true | 85495 | 85495 | -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_x15_u0_b64 | 12 | 15 | 0 | 64 | ![]() |
sqt(mod(D,dot(R,P))) | 31957 | 98053291 | o1(o2(x,o2(x,x))) | true | 85503 | 85503 | -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_x15_u0_b65 | 12 | 15 | 0 | 65 | ![]() |
sqt(mod(D,dst(R,P))) | 31958 | 98053292 | o1(o2(x,o2(x,x))) | true | 85511 | 85511 | -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_x15_u0_b66 | 12 | 15 | 0 | 66 | ![]() |
sqt(lrg(D,add(R,P))) | 31959 | 98053293 | o1(o2(x,o2(x,x))) | true | 85519 | 85519 | 0.4996 | 0.572 | 0.4996 | 0.2344 | 0.4841 | 0 | 1 | 1 | 1 | 1.67 | 0.002223 | 0.0001586 | 0.01146 | 0.8668 | 1 | 0.000008897 | 0.003908 | 0.0088 | 0.00225 | 0.04743 | 4.138 | 0.97 | 0.01016 | 0.01668 | 1 | 1 | 0.003183 | 0.02133 | 0.08782 | 0.01358 | 0.09101 | 0.3747 | json |
| t12_x15_u0_b67 | 12 | 15 | 0 | 67 | ![]() |
sqt(lrg(D,sub(R,P))) | 31960 | 98053294 | o1(o2(x,o2(x,x))) | true | 85527 | 85527 | 0.4983 | 0.5367 | 0.4983 | 0.2404 | 0.4904 | 0 | 1 | 1 | 1 | 1.441 | 0.002564 | 0.000168 | 0.008601 | 0.877 | 1 | 0.000009608 | 0.004735 | 0.008797 | 0.002659 | 0.05157 | 5.995 | 0.9997 | 0.01136 | 0.01969 | 1 | 1 | 0.003586 | 0.02271 | 0.09229 | 0.01492 | 0.09446 | 0.3838 | json |
| t12_x15_u0_b68 | 12 | 15 | 0 | 68 | ![]() |
sqt(lrg(D,mlt(R,P))) | 31961 | 98053295 | o1(o2(x,o2(x,x))) | true | 85535 | 85535 | 0.5246 | 0.9434 | 0.5246 | 0.1527 | 0.3908 | 0 | 1 | 1 | 1 | 3.442 | 0.011 | 0.00223 | 0.0634 | 0.6628 | 1 | 0.00002565 | 0.01832 | 0.03711 | 0.00921 | 0.09597 | 1.514 | 0.9997 | 0.08661 | 0.1199 | 1 | 1 | 0.01993 | 0.134 | 0.2798 | 0.1305 | 0.8773 | 1.832 | json |
| t12_x15_u0_b69 | 12 | 15 | 0 | 69 | ![]() |
sqt(lrg(D,div(R,P))) | 31962 | 98053296 | o1(o2(x,o2(x,x))) | true | 85543 | 85543 | 0.5061 | 0.9597 | 0.5061 | 0.1349 | 0.3672 | 0 | 1 | 1 | 1 | 3.562 | 0.04112 | 0.001117 | 0.1094 | 0.9471 | 1 | 0.0005126 | 0.07538 | 0.1077 | 0.03027 | 0.174 | 1.591 | 0.9997 | 0.3132 | 0.559 | 1 | 1 | 0.0447 | 0.1865 | 0.1946 | 0.3315 | 1.383 | 1.443 | json |
| t12_x15_u0_b70 | 12 | 15 | 0 | 70 | ![]() |
sqt(lrg(D,pow(R,P))) | 31963 | 98053297 | o1(o2(x,o2(x,x))) | true | 85551 | 85551 | 0.539 | 0.9171 | 0.539 | 0.164 | 0.4049 | 0 | 1 | 1 | 1 | 3.262 | 0.008616 | 0.002034 | 0.05434 | 0.618 | 1 | -0.00004561 | 0.01393 | 0.02921 | 0.007699 | 0.08774 | 1.615 | 0.9994 | 0.06495 | 0.08497 | 1 | 1 | 0.01367 | 0.1153 | 0.2848 | 0.08334 | 0.7029 | 1.737 | json |
| t12_x15_u0_b71 | 12 | 15 | 0 | 71 | ![]() |
sqt(lrg(D,mod(R,P))) | 31964 | 98053298 | o1(o2(x,o2(x,x))) | true | 85559 | 85559 | 0.5274 | 0.9384 | 0.5274 | 0.1476 | 0.3842 | 0 | 1 | 1 | 1 | 3.503 | 0.01964 | 0.002026 | 0.07918 | 0.813 | 1 | -0.00001696 | 0.03655 | 0.06755 | 0.0154 | 0.1241 | 1.567 | 0.9997 | 0.1468 | 0.2476 | 1 | 1 | 0.02383 | 0.1383 | 0.2547 | 0.1615 | 0.9372 | 1.725 | json |
| t12_x15_u0_b72 | 12 | 15 | 0 | 72 | ![]() |
sqt(lrg(D,lrg(R,P))) | 31965 | 98053299 | o1(o2(x,o2(x,x))) | true | 85567 | 85567 | 0.2363 | 0.4831 | 0.2363 | 0.1283 | 0.3582 | 0 | 0.9997 | 0.9997 | 1 | 2.277 | 0.03244 | 0.00005267 | 0.0604 | 0.9968 | 1 | -0.00008699 | 0.06047 | 0.06697 | 0.02885 | 0.1699 | 2.812 | 0.9997 | 0.2533 | 0.4714 | 1 | 1 | 0.03637 | 0.1279 | 0.04032 | 0.2835 | 0.9974 | 0.3144 | json |
| t12_x15_u0_b73 | 12 | 15 | 0 | 73 | ![]() |
sqt(lrg(D,eql(R,P))) | 31966 | 98053300 | o1(o2(x,o2(x,x))) | true | 85575 | 85575 | 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_x15_u0_b74 | 12 | 15 | 0 | 74 | ![]() |
sqt(lrg(D,min(R,P))) | 31967 | 98053301 | o1(o2(x,o2(x,x))) | true | 85583 | 85583 | 0.753 | 0.9716 | 0.753 | 0.1272 | 0.3567 | 0 | 1 | 1 | 1 | 2.494 | 0.01189 | 0.001085 | 0.0461 | 0.8327 | 1 | -0.00003284 | 0.02211 | 0.04 | 0.01085 | 0.1042 | 2.259 | 0.9997 | 0.102 | 0.1738 | 1 | 1 | 0.01476 | 0.08296 | 0.1609 | 0.116 | 0.6521 | 1.265 | json |
| t12_x15_u0_b75 | 12 | 15 | 0 | 75 | ![]() |
sqt(lrg(D,dot(R,P))) | 31968 | 98053302 | o1(o2(x,o2(x,x))) | true | 85591 | 85591 | 0.5427 | 0.9576 | 0.5427 | 0.1534 | 0.3916 | 0 | 1 | 1 | 1 | 3.402 | 0.007365 | 0.002418 | 0.05891 | 0.5056 | 1 | 0.00004817 | 0.01158 | 0.02889 | 0.006315 | 0.07947 | 1.349 | 0.9997 | 0.06378 | 0.07552 | 1 | 1 | 0.01626 | 0.1298 | 0.2998 | 0.106 | 0.8464 | 1.955 | json |
| t12_x15_u0_b76 | 12 | 15 | 0 | 76 | ![]() |
sqt(lrg(D,dst(R,P))) | 31969 | 98053303 | o1(o2(x,o2(x,x))) | true | 85599 | 85599 | 0.0002053 | 0.004425 | 0.0002053 | 0.00003538 | 0.005948 | 0 | 0.3282 | 0.3282 | 1 | 0.01396 | 0.00002646 | 5.189e-7 | 0.0001886 | 0.9615 | 0 | -4.94e-12 | 0.00005989 | 0.0002442 | 0.00002693 | 0.005189 | 27.52 | 0.3282 | 0.7625 | 1.693 | 1 | 1 | 0.00004291 | 0.00008782 | 0.0001286 | 1.213 | 2.482 | 3.636 | json |
| t12_x15_u0_b77 | 12 | 15 | 0 | 77 | ![]() |
sqt(eql(D,add(R,P))) | 31970 | 98053304 | o1(o2(x,o2(x,x))) | true | 85607 | 85607 | 0.000082 | 0.0002441 | 0.000082 | 0.00004315 | 0.006569 | 0 | 0.6715 | 0.6715 | 1 | 0.003091 | 0.00006086 | 6.316e-7 | 0.000129 | 0.9795 | 0 | 2.395e-7 | 0.0001845 | 0.0002541 | 0.00006148 | 0.007841 | 60.78 | 0.6519 | 1.425 | 4.276 | 1 | 1 | 0 | 0 | 0.00003293 | 0 | 0 | 0.7631 | json |
| t12_x15_u0_b78 | 12 | 15 | 0 | 78 | ![]() |
sqt(eql(D,sub(R,P))) | 31971 | 98053305 | o1(o2(x,o2(x,x))) | true | 85615 | 85615 | 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_x15_u0_b79 | 12 | 15 | 0 | 79 | ![]() |
sqt(eql(D,mlt(R,P))) | 31972 | 98053306 | o1(o2(x,o2(x,x))) | true | 85623 | 85623 | 0.00004008 | 0.0002289 | 0.00004008 | 0.00001031 | 0.00321 | 0 | 0.3282 | 0.3282 | 1 | 0.002722 | 0.00001454 | 1.509e-7 | 0.00006305 | 0.9795 | 0 | 1.17e-7 | 0.00004407 | 0.0001242 | 0.00001469 | 0.003832 | 60.78 | 0.3186 | 1.425 | 4.276 | 1 | 1 | 0 | 0 | 0.000007865 | 0 | 0 | 0.7631 | json |
| t12_x15_u0_b80 | 12 | 15 | 0 | 80 | ![]() |
sqt(eql(D,div(R,P))) | 31973 | 98053307 | o1(o2(x,o2(x,x))) | true | 85631 | 85631 | 0.0002825 | 0.0007172 | 0.0002825 | 0.0001987 | 0.0141 | 0 | 0.9926 | 0.9926 | 1 | 0.008861 | 0.0004038 | 0.000002912 | 0.0005681 | 0.9857 | 1 | 1.17e-7 | 0.001223 | 0.001125 | 0.0004061 | 0.02015 | 35.48 | 0.9926 | 2.046 | 6.153 | 1 | 1 | 0 | 0 | 0.000007865 | 0 | 0 | 0.03957 | json |
| t12_x15_u0_b81 | 12 | 15 | 0 | 81 | ![]() |
sqt(eql(D,pow(R,P))) | 31974 | 98053308 | o1(o2(x,o2(x,x))) | true | 85639 | 85639 | 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_x15_u0_b82 | 12 | 15 | 0 | 82 | ![]() |
sqt(eql(D,mod(R,P))) | 31975 | 98053309 | o1(o2(x,o2(x,x))) | true | 85647 | 85647 | 0.00004008 | 0.0002289 | 0.00004008 | 0.00001031 | 0.00321 | 0 | 0.3282 | 0.3282 | 1 | 0.002722 | 0.00001454 | 1.509e-7 | 0.00006305 | 0.9795 | 0 | 1.17e-7 | 0.00004407 | 0.0001242 | 0.00001469 | 0.003832 | 60.78 | 0.3186 | 1.425 | 4.276 | 1 | 1 | 0 | 0 | 0.000007865 | 0 | 0 | 0.7631 | json |
| t12_x15_u0_b83 | 12 | 15 | 0 | 83 | ![]() |
sqt(eql(D,lrg(R,P))) | 31976 | 98053310 | o1(o2(x,o2(x,x))) | true | 85655 | 85655 | 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_x15_u0_b84 | 12 | 15 | 0 | 84 | ![]() |
sqt(eql(D,eql(R,P))) | 31977 | 98053311 | o1(o2(x,o2(x,x))) | true | 85663 | 85663 | 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_x15_u0_b85 | 12 | 15 | 0 | 85 | ![]() |
sqt(eql(D,min(R,P))) | 31978 | 98053312 | o1(o2(x,o2(x,x))) | true | 85671 | 85671 | 0.00004008 | 0.0002289 | 0.00004008 | 0.00001031 | 0.00321 | 0 | 0.3282 | 0.3282 | 1 | 0.002722 | 0.00001454 | 1.509e-7 | 0.00006305 | 0.9795 | 0 | 1.17e-7 | 0.00004407 | 0.0001242 | 0.00001469 | 0.003832 | 60.78 | 0.3186 | 1.425 | 4.276 | 1 | 1 | 0 | 0 | 0.000007865 | 0 | 0 | 0.7631 | json |
| t12_x15_u0_b86 | 12 | 15 | 0 | 86 | ![]() |
sqt(eql(D,dot(R,P))) | 31979 | 98053313 | o1(o2(x,o2(x,x))) | true | 85679 | 85679 | 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_x15_u0_b87 | 12 | 15 | 0 | 87 | ![]() |
sqt(eql(D,dst(R,P))) | 31980 | 98053314 | o1(o2(x,o2(x,x))) | true | 85687 | 85687 | 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_x15_u0_b88 | 12 | 15 | 0 | 88 | ![]() |
sqt(min(D,add(R,P))) | 31981 | 98053315 | o1(o2(x,o2(x,x))) | true | 85695 | 85695 | -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_x15_u0_b89 | 12 | 15 | 0 | 89 | ![]() |
sqt(min(D,sub(R,P))) | 31982 | 98053316 | o1(o2(x,o2(x,x))) | true | 85703 | 85703 | -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_x15_u0_b90 | 12 | 15 | 0 | 90 | ![]() |
sqt(min(D,mlt(R,P))) | 31983 | 98053317 | o1(o2(x,o2(x,x))) | true | 85711 | 85711 | -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_x15_u0_b91 | 12 | 15 | 0 | 91 | ![]() |
sqt(min(D,div(R,P))) | 31984 | 98053318 | o1(o2(x,o2(x,x))) | true | 85719 | 85719 | -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_x15_u0_b92 | 12 | 15 | 0 | 92 | ![]() |
sqt(min(D,pow(R,P))) | 31985 | 98053319 | o1(o2(x,o2(x,x))) | true | 85727 | 85727 | -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_x15_u0_b93 | 12 | 15 | 0 | 93 | ![]() |
sqt(min(D,mod(R,P))) | 31986 | 98053320 | o1(o2(x,o2(x,x))) | true | 85735 | 85735 | -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_x15_u0_b94 | 12 | 15 | 0 | 94 | ![]() |
sqt(min(D,lrg(R,P))) | 31987 | 98053321 | o1(o2(x,o2(x,x))) | true | 85743 | 85743 | -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_x15_u0_b95 | 12 | 15 | 0 | 95 | ![]() |
sqt(min(D,eql(R,P))) | 31988 | 98053322 | o1(o2(x,o2(x,x))) | true | 85751 | 85751 | -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_x15_u0_b96 | 12 | 15 | 0 | 96 | ![]() |
sqt(min(D,min(R,P))) | 31989 | 98053323 | o1(o2(x,o2(x,x))) | true | 85759 | 85759 | -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_x15_u0_b97 | 12 | 15 | 0 | 97 | ![]() |
sqt(min(D,dot(R,P))) | 31990 | 98053324 | o1(o2(x,o2(x,x))) | true | 85767 | 85767 | -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_x15_u0_b98 | 12 | 15 | 0 | 98 | ![]() |
sqt(min(D,dst(R,P))) | 31991 | 98053325 | o1(o2(x,o2(x,x))) | true | 85775 | 85775 | -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_x15_u0_b99 | 12 | 15 | 0 | 99 | ![]() |
sqt(dot(D,add(R,P))) | 31992 | 98053326 | o1(o2(x,o2(x,x))) | true | 85783 | 85783 | -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_x15_u0_b100 | 12 | 15 | 0 | 100 | ![]() |
sqt(dot(D,sub(R,P))) | 31993 | 98053327 | o1(o2(x,o2(x,x))) | true | 85791 | 85791 | -0.9851 | 0.0101 | 0.9947 | 0.02217 | 0.1489 | -1 | 0.8507 | 1.851 | 1 | 0.1165 | 0.009729 | 0.009763 | 0.01343 | -0.001756 | 1 | -7.884e-11 | 0.06241 | 0.02774 | 0.01929 | 0.1389 | 10.34 | 2.617 | 0.8793 | 2.815 | 1 | 1 | 0.0242 | 0.05735 | 0.07299 | 1.092 | 2.587 | 3.293 | json |
| t12_x15_u0_b101 | 12 | 15 | 0 | 101 | ![]() |
sqt(dot(D,mlt(R,P))) | 31994 | 98053328 | o1(o2(x,o2(x,x))) | true | 85799 | 85799 | -0.8968 | 0.05917 | 0.9849 | 0.1734 | 0.4164 | -1 | 1 | 2 | 1 | 0.5153 | 0.03973 | 0.03247 | 0.04408 | 0.1006 | 1 | -0.00008558 | 0.2035 | 0.08715 | 0.07027 | 0.2651 | 6.014 | 2.828 | 0.4165 | 1.174 | 1 | 1 | 0.08205 | 0.2846 | 0.3825 | 0.4732 | 1.642 | 2.206 | json |
| t12_x15_u0_b102 | 12 | 15 | 0 | 102 | ![]() |
sqt(dot(D,div(R,P))) | 31995 | 98053329 | o1(o2(x,o2(x,x))) | true | 85807 | 85807 | -0.9397 | 0.0484 | 0.9635 | 0.07201 | 0.2683 | -1 | 0.6045 | 1.605 | 1 | 0.4136 | 0.01659 | 0.01505 | 0.02574 | 0.04841 | 1 | 0.00001699 | 0.09317 | 0.05286 | 0.03097 | 0.176 | 6.837 | 2.082 | 0.4394 | 1.294 | 1 | 1 | 0.03389 | 0.115 | 0.1556 | 0.4706 | 1.597 | 2.16 | json |
| t12_x15_u0_b103 | 12 | 15 | 0 | 103 | ![]() |
sqt(dot(D,pow(R,P))) | 31996 | 98053330 | o1(o2(x,o2(x,x))) | true | 85815 | 85815 | -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_x15_u0_b104 | 12 | 15 | 0 | 104 | ![]() |
sqt(dot(D,mod(R,P))) | 31997 | 98053331 | o1(o2(x,o2(x,x))) | true | 85823 | 85823 | -0.9186 | 0.05717 | 0.9671 | 0.1106 | 0.3325 | -1 | 0.7437 | 1.744 | 1 | 0.4997 | 0.02916 | 0.02439 | 0.03889 | 0.08912 | 1 | -0.0002198 | 0.1619 | 0.0793 | 0.05201 | 0.2281 | 5.865 | 2.407 | 0.4843 | 1.465 | 1 | 1 | 0.05286 | 0.1685 | 0.2244 | 0.4781 | 1.524 | 2.03 | json |
| t12_x15_u0_b105 | 12 | 15 | 0 | 105 | ![]() |
sqt(dot(D,lrg(R,P))) | 31998 | 98053332 | o1(o2(x,o2(x,x))) | true | 85831 | 85831 | -0.7154 | 0.05937 | 0.7414 | 0.2212 | 0.4703 | -1 | 0.636 | 1.636 | 1 | 1.136 | 0.003201 | 0.003604 | 0.007991 | -0.05923 | 1 | -0.000001423 | 0.01396 | 0.01165 | 0.00674 | 0.0821 | 10.27 | 2.058 | 0.03077 | 0.06312 | 1 | 1 | 0.01008 | 0.04846 | 0.1471 | 0.04559 | 0.2191 | 0.6651 | json |
| t12_x15_u0_b106 | 12 | 15 | 0 | 106 | ![]() |
sqt(dot(D,eql(R,P))) | 31999 | 98053333 | o1(o2(x,o2(x,x))) | true | 85839 | 85839 | 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 |



































































































