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_x7_u3_b20 | 12 | 7 | 3 | 20 | ![]() |
flr(sub(P,dot(R,D))) | 25500 | 97730642 | o1(o2(x,o2(x,x))) | true | 33847 | 33847 | -0.06295 | 0.4711 | 0.9381 | 0.9189 | 0.9586 | -1 | 1 | 2 | 1 | 1.867 | 0.005561 | 0.003994 | 0.02023 | 0.164 | 1 | 0.00003829 | 0.02791 | 0.02481 | 0.009143 | 0.09562 | 4.726 | 1.413 | 0.0104 | 0.03037 | 1 | 1 | 0.01391 | 0.06747 | 0.2568 | 0.01514 | 0.07342 | 0.2794 | json |
| t12_x7_u3_b21 | 12 | 7 | 3 | 21 | ![]() |
flr(sub(P,dst(R,D))) | 25501 | 97730643 | o1(o2(x,o2(x,x))) | true | 33855 | 33855 | -0.1972 | 0.4021 | 0.943 | 0.8903 | 0.9436 | -1 | 1 | 2 | 1 | 1.775 | 0.003678 | 0.00294 | 0.01658 | 0.1116 | 1 | 0.00001044 | 0.01811 | 0.01958 | 0.006343 | 0.07964 | 4.803 | 1.413 | 0.007434 | 0.02034 | 1 | 1 | 0.01037 | 0.05589 | 0.2619 | 0.01165 | 0.06278 | 0.2942 | json |
| t12_x7_u3_b22 | 12 | 7 | 3 | 22 | ![]() |
flr(mlt(P,add(R,D))) | 25502 | 97730644 | o1(o2(x,o2(x,x))) | true | 33863 | 33863 | -0.312 | 0.2849 | 0.7513 | 0.5961 | 0.7721 | -1 | 1 | 2 | 1 | 3.32 | 0.04963 | 0.01777 | 0.1269 | 0.4726 | 1 | 0.0006063 | 0.1035 | 0.1508 | 0.0513 | 0.2265 | 1.785 | 1.87 | 0.1131 | 0.1737 | 1 | 1 | 0.07354 | 0.4639 | 0.955 | 0.1234 | 0.7783 | 1.602 | json |
| t12_x7_u3_b23 | 12 | 7 | 3 | 23 | ![]() |
flr(mlt(P,sub(R,D))) | 25503 | 97730645 | o1(o2(x,o2(x,x))) | true | 33871 | 33871 | -0.2045 | 0.3825 | 0.7343 | 0.6333 | 0.7958 | -1 | 1 | 2 | 1 | 3.459 | 0.05085 | 0.01846 | 0.1309 | 0.4673 | 1 | -0.0002879 | 0.1048 | 0.1549 | 0.05217 | 0.2284 | 1.745 | 1.734 | 0.1095 | 0.1655 | 1 | 1 | 0.07833 | 0.4859 | 1.014 | 0.1237 | 0.7673 | 1.601 | json |
| t12_x7_u3_b24 | 12 | 7 | 3 | 24 | ![]() |
flr(mlt(P,mlt(R,D))) | 25504 | 97730646 | o1(o2(x,o2(x,x))) | true | 33879 | 33879 | -0.4283 | 0.1217 | 0.5233 | 0.2425 | 0.4924 | -1 | 1 | 2 | 1 | 4.017 | 0.06448 | 0.004311 | 0.1423 | 0.8747 | 1 | -0.0002169 | 0.1325 | 0.1857 | 0.04855 | 0.2203 | 1.549 | 1.001 | 0.2837 | 0.5464 | 1 | 1 | 0.06536 | 0.3091 | 0.4005 | 0.2695 | 1.275 | 1.652 | json |
| t12_x7_u3_b25 | 12 | 7 | 3 | 25 | ![]() |
flr(mlt(P,div(R,D))) | 25505 | 97730647 | o1(o2(x,o2(x,x))) | true | 33887 | 33887 | -0.08196 | 0.4328 | 0.8794 | 0.8466 | 0.9201 | -1 | 1 | 2 | 1 | 2.356 | 0.2843 | 0.06404 | 0.2332 | 0.6323 | 1 | 0.00001898 | 0.7086 | 0.3845 | 0.294 | 0.5422 | 2.325 | 2.828 | 0.4114 | 0.837 | 1 | 1 | 0.3687 | 1.519 | 1.517 | 0.4354 | 1.795 | 1.792 | json |
| t12_x7_u3_b26 | 12 | 7 | 3 | 26 | ![]() |
flr(mlt(P,pow(R,D))) | 25506 | 97730648 | o1(o2(x,o2(x,x))) | true | 33895 | 33895 | -0.9844 | 0.007813 | 0.9961 | 0.02625 | 0.162 | -1 | 1 | 2 | 1 | 0.1256 | 0.00206 | 0.003166 | 0.003355 | -0.2116 | 1 | 3.754e-12 | 0.01089 | 0.005899 | 0.005215 | 0.07221 | 21.53 | 2.828 | 0.1991 | 0.4147 | 1 | 1 | 0.0006169 | 0.004318 | 0.02317 | 0.0235 | 0.1645 | 0.8824 | json |
| t12_x7_u3_b27 | 12 | 7 | 3 | 27 | ![]() |
flr(mlt(P,mod(R,D))) | 25507 | 97730649 | o1(o2(x,o2(x,x))) | true | 33903 | 33903 | -0.4558 | 0.1151 | 0.5372 | 0.2398 | 0.4897 | -1 | 1 | 2 | 1 | 3.899 | 0.05051 | 0.00414 | 0.1237 | 0.8485 | 1 | -0.001392 | 0.1337 | 0.1559 | 0.03935 | 0.1984 | 1.603 | 1.491 | 0.2279 | 0.5577 | 1 | 1 | 0.0281 | 0.1559 | 0.3973 | 0.1172 | 0.6503 | 1.657 | json |
| t12_x7_u3_b28 | 12 | 7 | 3 | 28 | ![]() |
flr(mlt(P,lrg(R,D))) | 25508 | 97730650 | o1(o2(x,o2(x,x))) | true | 33911 | 33911 | 0.00989 | 0.4662 | 0.6634 | 0.6168 | 0.7854 | -1 | 1 | 2 | 1 | 3.335 | 0.02522 | 0.004964 | 0.07371 | 0.6711 | 1 | 0.00008339 | 0.04829 | 0.08034 | 0.02476 | 0.1574 | 2.135 | 1.099 | 0.04894 | 0.07829 | 1 | 1 | 0.03438 | 0.1787 | 0.341 | 0.05575 | 0.2897 | 0.5528 | json |
| t12_x7_u3_b29 | 12 | 7 | 3 | 29 | ![]() |
flr(mlt(P,eql(R,D))) | 25509 | 97730651 | o1(o2(x,o2(x,x))) | true | 33919 | 33919 | 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_x7_u3_b30 | 12 | 7 | 3 | 30 | ![]() |
flr(mlt(P,min(R,D))) | 25510 | 97730652 | o1(o2(x,o2(x,x))) | true | 33927 | 33927 | -0.339 | 0.2706 | 0.6989 | 0.5213 | 0.722 | -1 | 1 | 2 | 1 | 3.528 | 0.04835 | 0.005064 | 0.1122 | 0.8104 | 1 | 0.0003592 | 0.0986 | 0.1407 | 0.04083 | 0.2021 | 1.801 | 1.007 | 0.1025 | 0.1891 | 1 | 1 | 0.04951 | 0.2576 | 0.3878 | 0.09497 | 0.4941 | 0.7438 | json |
| t12_x7_u3_b31 | 12 | 7 | 3 | 31 | ![]() |
flr(mlt(P,dot(R,D))) | 25511 | 97730653 | o1(o2(x,o2(x,x))) | true | 33935 | 33935 | -0.3806 | 0.2032 | 0.5729 | 0.3385 | 0.5818 | -1 | 1 | 2 | 1 | 4.043 | 0.05269 | 0.05229 | 0.1836 | 0.003885 | 1 | -0.0002111 | 0.3359 | 0.3007 | 0.07128 | 0.267 | 1.454 | 1.535 | 0.3101 | 0.9922 | 1 | 1 | 0.09695 | 0.4274 | 0.5606 | 0.2864 | 1.263 | 1.656 | json |
| t12_x7_u3_b32 | 12 | 7 | 3 | 32 | ![]() |
flr(mlt(P,dst(R,D))) | 25512 | 97730654 | o1(o2(x,o2(x,x))) | true | 33943 | 33943 | -0.03009 | 0.4964 | 0.9188 | 0.9032 | 0.9504 | -1 | 1 | 2 | 1 | 1.932 | 0.003072 | 0.00232 | 0.01576 | 0.1394 | 1 | -0.000002169 | 0.01423 | 0.01684 | 0.005142 | 0.07171 | 4.549 | 1.404 | 0.00597 | 0.01575 | 1 | 1 | 0.007633 | 0.0431 | 0.2219 | 0.008451 | 0.04773 | 0.2457 | json |
| t12_x7_u3_b33 | 12 | 7 | 3 | 33 | ![]() |
flr(div(P,add(R,D))) | 25513 | 97730655 | o1(o2(x,o2(x,x))) | true | 33951 | 33951 | -0.09927 | 0.4343 | 0.9223 | 0.8931 | 0.9451 | -1 | 1 | 2 | 1 | 2.006 | 0.4385 | 0.06896 | 0.2983 | 0.7282 | 1 | 0.001184 | 1.298 | 0.5413 | 0.4187 | 0.6471 | 2.169 | 2.828 | 0.5681 | 1.454 | 1 | 1 | 0.4398 | 1.214 | 1.649 | 0.4925 | 1.36 | 1.846 | json |
| t12_x7_u3_b34 | 12 | 7 | 3 | 34 | ![]() |
flr(div(P,sub(R,D))) | 25514 | 97730656 | o1(o2(x,o2(x,x))) | true | 33959 | 33959 | -0.03423 | 0.4902 | 0.9107 | 0.8919 | 0.9444 | -1 | 1 | 2 | 1 | 2.033 | 0.4347 | 0.06963 | 0.2962 | 0.7239 | 1 | 0.0003219 | 1.289 | 0.5389 | 0.4167 | 0.6455 | 2.18 | 2.828 | 0.5655 | 1.445 | 1 | 1 | 0.4474 | 1.206 | 1.652 | 0.5016 | 1.353 | 1.852 | json |
| t12_x7_u3_b35 | 12 | 7 | 3 | 35 | ![]() |
flr(div(P,mlt(R,D))) | 25515 | 97730657 | o1(o2(x,o2(x,x))) | true | 33967 | 33967 | -0.01506 | 0.4889 | 0.9536 | 0.9451 | 0.9722 | -1 | 1 | 2 | 1 | 1.572 | 0.324 | 0.1066 | 0.2315 | 0.5048 | 1 | 0.00003087 | 0.9787 | 0.4437 | 0.3768 | 0.6138 | 2.651 | 2.828 | 0.4555 | 1.035 | 1 | 1 | 0.442 | 1.693 | 1.927 | 0.4677 | 1.791 | 2.039 | json |
| t12_x7_u3_b36 | 12 | 7 | 3 | 36 | ![]() |
flr(div(P,div(R,D))) | 25516 | 97730658 | o1(o2(x,o2(x,x))) | true | 33975 | 33975 | -0.1925 | 0.3701 | 0.7619 | 0.672 | 0.8197 | -1 | 1 | 2 | 1 | 3.286 | 0.1312 | 0.02941 | 0.1942 | 0.6338 | 1 | -0.0002479 | 0.286 | 0.2769 | 0.1229 | 0.3505 | 1.805 | 2.828 | 0.239 | 0.4256 | 1 | 1 | 0.1593 | 0.8527 | 1.24 | 0.2371 | 1.269 | 1.845 | json |
| t12_x7_u3_b37 | 12 | 7 | 3 | 37 | ![]() |
flr(div(P,pow(R,D))) | 25517 | 97730659 | o1(o2(x,o2(x,x))) | true | 33983 | 33983 | -0.9869 | 0.003906 | 0.9947 | 0.02047 | 0.1431 | -1 | 1 | 2 | 1 | 0.0988 | 0.001301 | 0.00241 | 0.002548 | -0.2989 | 1 | 9.011e-11 | 0.007674 | 0.004737 | 0.003703 | 0.06085 | 23.89 | 2 | 0.1814 | 0.375 | 1 | 1 | 0.0002844 | 0.001991 | 0.01785 | 0.0139 | 0.09729 | 0.8721 | json |
| t12_x7_u3_b38 | 12 | 7 | 3 | 38 | ![]() |
flr(div(P,mod(R,D))) | 25518 | 97730660 | o1(o2(x,o2(x,x))) | true | 33991 | 33991 | -0.06716 | 0.4673 | 0.9595 | 0.9482 | 0.9738 | -1 | 1 | 2 | 1 | 1.517 | 0.3666 | 0.114 | 0.2498 | 0.5255 | 1 | 0.0007138 | 1.566 | 0.5024 | 0.4182 | 0.6467 | 2.589 | 2.828 | 0.5068 | 1.652 | 1 | 1 | 0.3464 | 0.9699 | 1.883 | 0.3653 | 1.023 | 1.985 | json |
| t12_x7_u3_b39 | 12 | 7 | 3 | 39 | ![]() |
flr(div(P,lrg(R,D))) | 25519 | 97730661 | o1(o2(x,o2(x,x))) | true | 33999 | 33999 | -0.9358 | 0.03442 | 0.9937 | 0.1171 | 0.3421 | -1 | 1 | 2 | 1 | 0.2841 | 0.0366 | 0.01079 | 0.02541 | 0.5448 | 1 | 2.403e-10 | 0.1034 | 0.05061 | 0.04677 | 0.2163 | 8.511 | 2.828 | 0.4048 | 0.8835 | 1 | 1 | 0.04797 | 0.1594 | 0.2694 | 0.4098 | 1.362 | 2.301 | json |
| t12_x7_u3_b40 | 12 | 7 | 3 | 40 | ![]() |
flr(div(P,eql(R,D))) | 25520 | 97730662 | o1(o2(x,o2(x,x))) | true | 34007 | 34007 | -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_x7_u3_b41 | 12 | 7 | 3 | 41 | ![]() |
flr(div(P,min(R,D))) | 25521 | 97730663 | o1(o2(x,o2(x,x))) | true | 34015 | 34015 | -0.1102 | 0.434 | 0.9381 | 0.9133 | 0.9557 | -1 | 1 | 2 | 1 | 1.759 | 0.2356 | 0.05023 | 0.172 | 0.6486 | 1 | -0.00004473 | 0.6615 | 0.3015 | 0.2562 | 0.5062 | 2.944 | 2.828 | 0.313 | 0.7242 | 1 | 1 | 0.2824 | 1.043 | 1.123 | 0.3092 | 1.142 | 1.229 | json |
| t12_x7_u3_b42 | 12 | 7 | 3 | 42 | ![]() |
flr(div(P,dot(R,D))) | 25522 | 97730664 | o1(o2(x,o2(x,x))) | true | 34023 | 34023 | -0.02488 | 0.4832 | 0.9505 | 0.9402 | 0.9697 | -1 | 1 | 2 | 1 | 1.622 | 0.3862 | 0.3803 | 0.3726 | 0.00774 | 1 | 0.0002029 | 2.677 | 0.7864 | 0.6278 | 0.7923 | 2.126 | 2.828 | 0.8153 | 2.847 | 1 | 1 | 0.7031 | 1.928 | 1.803 | 0.7478 | 2.051 | 1.917 | json |
| t12_x7_u3_b43 | 12 | 7 | 3 | 43 | ![]() |
flr(div(P,dst(R,D))) | 25523 | 97730665 | o1(o2(x,o2(x,x))) | true | 34031 | 34031 | -0.04072 | 0.4641 | 0.9066 | 0.8938 | 0.9454 | -1 | 1 | 2 | 1 | 1.877 | 0.002543 | 0.001749 | 0.01238 | 0.1849 | 1 | -4.886e-7 | 0.01081 | 0.01358 | 0.004139 | 0.06433 | 5.195 | 1.404 | 0.004803 | 0.01209 | 1 | 1 | 0.00708 | 0.04129 | 0.2155 | 0.007922 | 0.0462 | 0.2411 | json |
| t12_x7_u3_b44 | 12 | 7 | 3 | 44 | ![]() |
flr(pow(P,add(R,D))) | 25524 | 97730666 | o1(o2(x,o2(x,x))) | true | 34039 | 34039 | -0.249 | 0.4387 | 0.8155 | 0.7164 | 0.8464 | -1 | 1 | 2 | 1 | 2.454 | 0.01955 | 0.004025 | 0.04446 | 0.6585 | 1 | -0.0001338 | 0.04394 | 0.05157 | 0.02158 | 0.1469 | 3.305 | 2.823 | 0.0329 | 0.06133 | 1 | 1 | 0.03004 | 0.1502 | 0.3908 | 0.04193 | 0.2097 | 0.5455 | json |
| t12_x7_u3_b45 | 12 | 7 | 3 | 45 | ![]() |
flr(pow(P,sub(R,D))) | 25525 | 97730667 | o1(o2(x,o2(x,x))) | true | 34047 | 34047 | -0.2749 | 0.4153 | 0.8379 | 0.7329 | 0.8561 | -1 | 1 | 2 | 1 | 2.25 | 0.02781 | 0.00241 | 0.04492 | 0.8405 | 1 | -0.00002224 | 0.05712 | 0.05895 | 0.02822 | 0.168 | 3.74 | 2.039 | 0.04123 | 0.07794 | 1 | 1 | 0.03695 | 0.1638 | 0.3615 | 0.05041 | 0.2234 | 0.4932 | json |
| t12_x7_u3_b46 | 12 | 7 | 3 | 46 | ![]() |
flr(pow(P,mlt(R,D))) | 25526 | 97730668 | o1(o2(x,o2(x,x))) | true | 34055 | 34055 | -0.2965 | 0.4363 | 0.7972 | 0.6651 | 0.8155 | -1 | 1 | 2 | 1 | 2.558 | 0.03225 | 0.004693 | 0.05426 | 0.7459 | 1 | -0.00004223 | 0.07195 | 0.06883 | 0.03399 | 0.1844 | 3.398 | 2.828 | 0.05554 | 0.1082 | 1 | 1 | 0.04429 | 0.188 | 0.4166 | 0.06659 | 0.2827 | 0.6264 | json |
| t12_x7_u3_b47 | 12 | 7 | 3 | 47 | ![]() |
flr(pow(P,div(R,D))) | 25527 | 97730669 | o1(o2(x,o2(x,x))) | true | 34063 | 34063 | -0.2065 | 0.437 | 0.8873 | 0.8269 | 0.9093 | -1 | 1 | 2 | 1 | 1.929 | 0.02926 | 0.008276 | 0.04647 | 0.559 | 1 | -0.00009079 | 0.07647 | 0.06965 | 0.03539 | 0.1881 | 4.048 | 2.828 | 0.04539 | 0.09248 | 1 | 1 | 0.04656 | 0.1883 | 0.4464 | 0.05631 | 0.2278 | 0.5398 | json |
| t12_x7_u3_b48 | 12 | 7 | 3 | 48 | ![]() |
flr(pow(P,pow(R,D))) | 25528 | 97730670 | o1(o2(x,o2(x,x))) | true | 34071 | 34071 | -0.9609 | 0.02344 | 0.9922 | 0.06706 | 0.259 | -1 | 1 | 2 | 1 | 0.226 | 0.0079 | 0.006387 | 0.008969 | 0.1059 | 1 | -1.201e-10 | 0.03013 | 0.01633 | 0.01421 | 0.1192 | 13.29 | 2.828 | 0.213 | 0.4493 | 1 | 1 | 0.01203 | 0.04862 | 0.1347 | 0.1794 | 0.725 | 2.009 | json |
| t12_x7_u3_b49 | 12 | 7 | 3 | 49 | ![]() |
flr(pow(P,mod(R,D))) | 25529 | 97730671 | o1(o2(x,o2(x,x))) | true | 34079 | 34079 | -0.328 | 0.4157 | 0.7658 | 0.6135 | 0.7832 | -1 | 1 | 2 | 1 | 2.569 | 0.01469 | 0.004655 | 0.0355 | 0.5187 | 1 | -0.00006224 | 0.03625 | 0.03021 | 0.01809 | 0.1345 | 3.788 | 2.828 | 0.03154 | 0.05909 | 1 | 1 | 0.02646 | 0.1356 | 0.3814 | 0.04314 | 0.221 | 0.6218 | json |
| t12_x7_u3_b50 | 12 | 7 | 3 | 50 | ![]() |
flr(pow(P,lrg(R,D))) | 25530 | 97730672 | o1(o2(x,o2(x,x))) | true | 34087 | 34087 | 0.08741 | 0.5537 | 0.98 | 0.9674 | 0.9836 | -1 | 1 | 2 | 1 | 1.3 | 0.05371 | 0.01387 | 0.0378 | 0.5894 | 1 | 0.000002773 | 0.1545 | 0.07187 | 0.06618 | 0.2572 | 6.805 | 2.828 | 0.06986 | 0.1597 | 1 | 1 | 0.06436 | 0.2013 | 0.5047 | 0.06653 | 0.2081 | 0.5217 | json |
| t12_x7_u3_b51 | 12 | 7 | 3 | 51 | ![]() |
flr(pow(P,eql(R,D))) | 25531 | 97730673 | o1(o2(x,o2(x,x))) | true | 34095 | 34095 | 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_x7_u3_b52 | 12 | 7 | 3 | 52 | ![]() |
flr(pow(P,min(R,D))) | 25532 | 97730674 | o1(o2(x,o2(x,x))) | true | 34103 | 34103 | -0.4187 | 0.3374 | 0.675 | 0.4641 | 0.6813 | -1 | 1 | 2 | 1 | 2.326 | 0.02358 | 0.004181 | 0.04227 | 0.6988 | 1 | -0.0001246 | 0.05368 | 0.04944 | 0.02598 | 0.1612 | 3.814 | 2.828 | 0.05981 | 0.1157 | 1 | 1 | 0.03448 | 0.1425 | 0.2962 | 0.0743 | 0.3069 | 0.6383 | json |
| t12_x7_u3_b53 | 12 | 7 | 3 | 53 | ![]() |
flr(pow(P,dot(R,D))) | 25533 | 97730675 | o1(o2(x,o2(x,x))) | true | 34111 | 34111 | -0.2869 | 0.4282 | 0.8072 | 0.6849 | 0.8276 | -1 | 1 | 2 | 1 | 2.483 | 0.02942 | 0.01961 | 0.06521 | 0.2002 | 1 | -0.0001846 | 0.1418 | 0.1042 | 0.04476 | 0.2116 | 3.244 | 2.828 | 0.07157 | 0.2071 | 1 | 1 | 0.05735 | 0.2147 | 0.4162 | 0.08373 | 0.3135 | 0.6076 | json |
| t12_x7_u3_b54 | 12 | 7 | 3 | 54 | ![]() |
flr(pow(P,dst(R,D))) | 25534 | 97730676 | o1(o2(x,o2(x,x))) | true | 34119 | 34119 | -0.03125 | 0.5 | 0.9688 | 0.9603 | 0.98 | -1 | 1 | 2 | 1 | 1.406 | 0.004323 | 0 | 0.007937 | 1 | 1 | -9.386e-13 | 0.007903 | 0.008812 | 0.004259 | 0.06526 | 8.223 | 1 | 0.004502 | 0.008229 | 1 | 1 | 0.006228 | 0.03975 | 0.2856 | 0.006485 | 0.04139 | 0.2974 | json |
| t12_x7_u3_b55 | 12 | 7 | 3 | 55 | ![]() |
flr(mod(P,add(R,D))) | 25535 | 97730677 | o1(o2(x,o2(x,x))) | true | 34127 | 34127 | -0.4515 | 0.1115 | 0.486 | 0.266 | 0.5158 | -1 | 0.9926 | 1.993 | 1 | 1.834 | 0.005314 | 0.00009546 | 0.01814 | 0.9647 | 1 | -0.00001055 | 0.01268 | 0.02264 | 0.005084 | 0.0713 | 3.932 | 0.9926 | 0.02033 | 0.04765 | 1 | 1 | 0.004471 | 0.02162 | 0.09648 | 0.01681 | 0.08127 | 0.3627 | json |
| t12_x7_u3_b56 | 12 | 7 | 3 | 56 | ![]() |
flr(mod(P,sub(R,D))) | 25536 | 97730678 | o1(o2(x,o2(x,x))) | true | 34135 | 34135 | -0.4506 | 0.1143 | 0.4869 | 0.2674 | 0.5171 | -1 | 0.9997 | 2 | 1 | 1.846 | 0.006455 | 0.0001023 | 0.01969 | 0.9688 | 1 | -0.00001727 | 0.01591 | 0.02581 | 0.006171 | 0.07856 | 3.991 | 0.9997 | 0.02452 | 0.05951 | 1 | 1 | 0.004497 | 0.02179 | 0.09927 | 0.01681 | 0.08147 | 0.3712 | json |
| t12_x7_u3_b57 | 12 | 7 | 3 | 57 | ![]() |
flr(mod(P,mlt(R,D))) | 25537 | 97730679 | o1(o2(x,o2(x,x))) | true | 34143 | 34143 | -0.4688 | 0 | 0.4688 | 0.2423 | 0.4922 | -1 | 0 | 1 | 1 | 1.406 | 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_x7_u3_b58 | 12 | 7 | 3 | 58 | ![]() |
flr(mod(P,div(R,D))) | 25538 | 97730680 | o1(o2(x,o2(x,x))) | true | 34151 | 34151 | -0.2259 | 0.3635 | 0.7116 | 0.6248 | 0.7904 | -1 | 1 | 2 | 1 | 2.785 | 0.08097 | 0.001258 | 0.1219 | 0.9694 | 1 | 0.0004346 | 0.2226 | 0.2103 | 0.06737 | 0.2596 | 2.129 | 1.047 | 0.1316 | 0.3563 | 1 | 1 | 0.05492 | 0.1525 | 0.2941 | 0.0879 | 0.2441 | 0.4707 | json |
| t12_x7_u3_b59 | 12 | 7 | 3 | 59 | ![]() |
flr(mod(P,pow(R,D))) | 25539 | 97730681 | o1(o2(x,o2(x,x))) | true | 34159 | 34159 | -0.9882 | 0.00415 | 0.9923 | 0.01481 | 0.1217 | -1 | 0.9997 | 2 | 1 | 0.1265 | 0.001366 | 0.001866 | 0.002812 | -0.1549 | 1 | 3.754e-12 | 0.006792 | 0.004777 | 0.003225 | 0.05679 | 20.19 | 2.828 | 0.2183 | 0.4587 | 1 | 1 | 0.0006169 | 0.004318 | 0.01334 | 0.04166 | 0.2916 | 0.9012 | json |
| t12_x7_u3_b60 | 12 | 7 | 3 | 60 | ![]() |
flr(mod(P,mod(R,D))) | 25540 | 97730682 | o1(o2(x,o2(x,x))) | true | 34167 | 34167 | -0.4688 | 0 | 0.4688 | 0.2423 | 0.4922 | -1 | 0 | 1 | 1 | 1.406 | 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_x7_u3_b61 | 12 | 7 | 3 | 61 | ![]() |
flr(mod(P,lrg(R,D))) | 25541 | 97730683 | o1(o2(x,o2(x,x))) | true | 34175 | 34175 | -0.9312 | 0 | 0.9312 | 0.06407 | 0.2531 | -1 | 0 | 1 | 1 | 0.3616 | 0.02485 | 0.005574 | 0.03011 | 0.6335 | 1 | 0 | 0.068 | 0.06085 | 0.0295 | 0.1717 | 5.704 | 1.414 | 0.4748 | 1.061 | 1 | 1 | 0.02749 | 0.08127 | 0.122 | 0.4291 | 1.268 | 1.904 | json |
| t12_x7_u3_b62 | 12 | 7 | 3 | 62 | ![]() |
flr(mod(P,eql(R,D))) | 25542 | 97730684 | o1(o2(x,o2(x,x))) | true | 34183 | 34183 | -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_x7_u3_b63 | 12 | 7 | 3 | 63 | ![]() |
flr(mod(P,min(R,D))) | 25543 | 97730685 | o1(o2(x,o2(x,x))) | true | 34191 | 34191 | -0.4356 | 0 | 0.4356 | 0.2353 | 0.4851 | -1 | 0 | 1 | 1 | 1.635 | 0.03104 | 0.0001777 | 0.03988 | 0.9886 | 1 | 0.000001046 | 0.07385 | 0.0706 | 0.02962 | 0.1721 | 4.316 | 0.9997 | 0.1326 | 0.3138 | 1 | 1 | 0.02314 | 0.0392 | 0.09107 | 0.09831 | 0.1666 | 0.387 | json |
| t12_x7_u3_b64 | 12 | 7 | 3 | 64 | ![]() |
flr(mod(P,dot(R,D))) | 25544 | 97730686 | o1(o2(x,o2(x,x))) | true | 34199 | 34199 | -0.4686 | 0.01091 | 0.4689 | 0.2424 | 0.4924 | -1 | 0.1515 | 1.152 | 1 | 1.414 | 0.0003645 | 0.00001259 | 0.004253 | 0.9332 | 1 | -0.000003352 | 0.0001295 | 0.001483 | 0.0003588 | 0.01894 | 4.454 | 0.5305 | 0.001556 | 0.0005342 | 1 | 1 | 0.0009266 | 0.01215 | 0.07513 | 0.003822 | 0.05011 | 0.3099 | json |
| t12_x7_u3_b65 | 12 | 7 | 3 | 65 | ![]() |
flr(mod(P,dst(R,D))) | 25545 | 97730687 | o1(o2(x,o2(x,x))) | true | 34207 | 34207 | -0.3893 | 0.2954 | 0.5482 | 0.3634 | 0.6028 | -1 | 1 | 2 | 1 | 2.489 | 0.01735 | 0.01557 | 0.05985 | 0.054 | 1 | -0.00008674 | 0.1217 | 0.1018 | 0.02933 | 0.1712 | 2.861 | 1.414 | 0.0906 | 0.335 | 1 | 1 | 0.0241 | 0.07339 | 0.2042 | 0.06631 | 0.202 | 0.5619 | json |
| t12_x7_u3_b66 | 12 | 7 | 3 | 66 | ![]() |
flr(lrg(P,add(R,D))) | 25546 | 97730688 | o1(o2(x,o2(x,x))) | true | 34215 | 34215 | 0.4983 | 0.5748 | 0.4983 | 0.2332 | 0.4829 | 0 | 1 | 1 | 1 | 1.707 | 0.002579 | 0.0001747 | 0.01255 | 0.8731 | 1 | 0.000009607 | 0.004619 | 0.009851 | 0.002597 | 0.05096 | 4.059 | 0.9926 | 0.01181 | 0.01981 | 1 | 1 | 0.003607 | 0.02284 | 0.08805 | 0.01547 | 0.09794 | 0.3776 | json |
| t12_x7_u3_b67 | 12 | 7 | 3 | 67 | ![]() |
flr(lrg(P,sub(R,D))) | 25547 | 97730689 | o1(o2(x,o2(x,x))) | true | 34223 | 34223 | 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_x7_u3_b68 | 12 | 7 | 3 | 68 | ![]() |
flr(lrg(P,mlt(R,D))) | 25548 | 97730690 | o1(o2(x,o2(x,x))) | true | 34231 | 34231 | 0.5 | 0.5378 | 0.5 | 0.2421 | 0.492 | 0 | 1 | 1 | 1 | 1.382 | 0.003597 | 0.0001053 | 0.007956 | 0.9431 | 1 | -3.229e-10 | 0.006751 | 0.008078 | 0.003638 | 0.06032 | 7.581 | 1 | 0.01529 | 0.02789 | 1 | 1 | 0.005344 | 0.0265 | 0.09053 | 0.02207 | 0.1095 | 0.3739 | json |
| t12_x7_u3_b69 | 12 | 7 | 3 | 69 | ![]() |
flr(lrg(P,div(R,D))) | 25549 | 97730691 | o1(o2(x,o2(x,x))) | true | 34239 | 34239 | 0.4994 | 0.6639 | 0.4994 | 0.2145 | 0.4631 | 0 | 1 | 1 | 1 | 2.252 | 0.07443 | 0.001095 | 0.1036 | 0.971 | 1 | -0.000505 | 0.1656 | 0.1758 | 0.06478 | 0.2545 | 2.456 | 1 | 0.3522 | 0.7721 | 1 | 1 | 0.0765 | 0.1704 | 0.1893 | 0.3567 | 0.7948 | 0.8828 | json |
| t12_x7_u3_b70 | 12 | 7 | 3 | 70 | ![]() |
flr(lrg(P,pow(R,D))) | 25550 | 97730692 | o1(o2(x,o2(x,x))) | true | 34247 | 34247 | 0.7115 | 0.9524 | 0.7115 | 0.1529 | 0.3911 | 0 | 1 | 1 | 1 | 2.46 | 0.003508 | 0.001328 | 0.03155 | 0.4508 | 1 | 3.482e-8 | 0.005093 | 0.01323 | 0.003839 | 0.06196 | 1.964 | 1 | 0.03162 | 0.0333 | 1 | 1 | 0.007741 | 0.07269 | 0.1921 | 0.05061 | 0.4753 | 1.256 | json |
| t12_x7_u3_b71 | 12 | 7 | 3 | 71 | ![]() |
flr(lrg(P,mod(R,D))) | 25551 | 97730693 | o1(o2(x,o2(x,x))) | true | 34255 | 34255 | 0.5039 | 0.5456 | 0.5039 | 0.2412 | 0.4911 | 0 | 1 | 1 | 1 | 1.415 | 0.0003238 | 0.0001053 | 0.004981 | 0.5091 | 1 | 0.000005704 | 0.00002256 | 0.001187 | 0.0004044 | 0.02011 | 4.037 | 0.1169 | 0.001779 | 0.00009352 | 1 | 1 | 0.001146 | 0.01504 | 0.08976 | 0.004753 | 0.06234 | 0.3721 | json |
| t12_x7_u3_b72 | 12 | 7 | 3 | 72 | ![]() |
flr(lrg(P,lrg(R,D))) | 25552 | 97730694 | o1(o2(x,o2(x,x))) | true | 34263 | 34263 | 0.4288 | 0.4552 | 0.4288 | 0.2382 | 0.4881 | 0 | 1 | 1 | 1 | 1.313 | 0.001212 | 0.0001361 | 0.005247 | 0.798 | 1 | 0.00001114 | 0.001947 | 0.004038 | 0.001321 | 0.03634 | 6.927 | 0.9997 | 0.005658 | 0.008172 | 1 | 1 | 0.002631 | 0.01873 | 0.08448 | 0.01104 | 0.07864 | 0.3546 | json |
| t12_x7_u3_b73 | 12 | 7 | 3 | 73 | ![]() |
flr(lrg(P,eql(R,D))) | 25553 | 97730695 | o1(o2(x,o2(x,x))) | true | 34271 | 34271 | 0.4687 | 0.5 | 0.4687 | 0.2423 | 0.4922 | 0 | 1 | 1 | 1 | 1.326 | 0.0003681 | 1.509e-7 | 0.004 | 0.9992 | 1 | -1.175e-7 | 0.00006033 | 0.001044 | 0.0003522 | 0.01877 | 4.692 | 0.4319 | 0.00152 | 0.000249 | 1 | 1 | 0.0009255 | 0.01214 | 0.07511 | 0.00382 | 0.05012 | 0.31 | json |
| t12_x7_u3_b74 | 12 | 7 | 3 | 74 | ![]() |
flr(lrg(P,min(R,D))) | 25554 | 97730696 | o1(o2(x,o2(x,x))) | true | 34279 | 34279 | 0.5176 | 0.5625 | 0.5176 | 0.2389 | 0.4888 | 0 | 1 | 1 | 1 | 1.486 | 0.002093 | 0.00005267 | 0.007983 | 0.9509 | 1 | 0.000002852 | 0.003286 | 0.004977 | 0.002081 | 0.04562 | 5.715 | 0.9994 | 0.008984 | 0.01375 | 1 | 1 | 0.003596 | 0.02222 | 0.07826 | 0.01505 | 0.09301 | 0.3276 | json |
| t12_x7_u3_b75 | 12 | 7 | 3 | 75 | ![]() |
flr(lrg(P,dot(R,D))) | 25555 | 97730697 | o1(o2(x,o2(x,x))) | true | 34287 | 34287 | 0.499 | 0.5445 | 0.499 | 0.2411 | 0.491 | 0 | 1 | 1 | 1 | 1.421 | 0.002838 | 0.001955 | 0.01021 | 0.1843 | 1 | 0.00001934 | 0.01541 | 0.01267 | 0.004689 | 0.06847 | 6.708 | 1.409 | 0.01988 | 0.06391 | 1 | 1 | 0.006801 | 0.0302 | 0.08809 | 0.02821 | 0.1253 | 0.3654 | json |
| t12_x7_u3_b76 | 12 | 7 | 3 | 76 | ![]() |
flr(lrg(P,dst(R,D))) | 25556 | 97730698 | o1(o2(x,o2(x,x))) | true | 34295 | 34295 | 0.4297 | 0.4641 | 0.4297 | 0.2373 | 0.4872 | 0 | 1 | 1 | 1 | 1.36 | 0.001877 | 0.001644 | 0.008279 | 0.06628 | 1 | -0.000001305 | 0.01025 | 0.01037 | 0.003449 | 0.05873 | 7.094 | 1.404 | 0.01484 | 0.04321 | 1 | 1 | 0.005235 | 0.02504 | 0.08667 | 0.02206 | 0.1055 | 0.3652 | json |
| t12_x7_u3_b77 | 12 | 7 | 3 | 77 | ![]() |
flr(eql(P,add(R,D))) | 25557 | 97730699 | o1(o2(x,o2(x,x))) | true | 34303 | 34303 | 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_x7_u3_b78 | 12 | 7 | 3 | 78 | ![]() |
flr(eql(P,sub(R,D))) | 25558 | 97730700 | o1(o2(x,o2(x,x))) | true | 34311 | 34311 | 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_x7_u3_b79 | 12 | 7 | 3 | 79 | ![]() |
flr(eql(P,mlt(R,D))) | 25559 | 97730701 | o1(o2(x,o2(x,x))) | true | 34319 | 34319 | 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_x7_u3_b80 | 12 | 7 | 3 | 80 | ![]() |
flr(eql(P,div(R,D))) | 25560 | 97730702 | o1(o2(x,o2(x,x))) | true | 34327 | 34327 | 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_x7_u3_b81 | 12 | 7 | 3 | 81 | ![]() |
flr(eql(P,pow(R,D))) | 25561 | 97730703 | o1(o2(x,o2(x,x))) | true | 34335 | 34335 | 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_x7_u3_b82 | 12 | 7 | 3 | 82 | ![]() |
flr(eql(P,mod(R,D))) | 25562 | 97730704 | o1(o2(x,o2(x,x))) | true | 34343 | 34343 | 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_x7_u3_b83 | 12 | 7 | 3 | 83 | ![]() |
flr(eql(P,lrg(R,D))) | 25563 | 97730705 | o1(o2(x,o2(x,x))) | true | 34351 | 34351 | 0.07581 | 0.134 | 0.07581 | 0.05735 | 0.2395 | 0 | 1 | 1 | 1 | 0.878 | 0.002091 | 0.0002371 | 0.009857 | 0.7963 | 1 | -0.000008333 | 0.003172 | 0.007306 | 0.002231 | 0.04724 | 4.792 | 0.9997 | 0.0406 | 0.05531 | 1 | 1 | 0.004333 | 0.03216 | 0.1035 | 0.07556 | 0.5607 | 1.805 | json |
| t12_x7_u3_b84 | 12 | 7 | 3 | 84 | ![]() |
flr(eql(P,eql(R,D))) | 25564 | 97730706 | o1(o2(x,o2(x,x))) | true | 34359 | 34359 | 0.06254 | 0.125 | 0.06254 | 0.04512 | 0.2124 | 0 | 0.9999 | 0.9999 | 1 | 0.8129 | 0.0007211 | 1.509e-7 | 0.007966 | 0.9996 | 1 | 1.161e-7 | 0.00007655 | 0.001972 | 0.0006579 | 0.02565 | 3.22 | 0.4319 | 0.01598 | 0.001697 | 1 | 1 | 0.001851 | 0.02408 | 0.06599 | 0.04102 | 0.5337 | 1.463 | json |
| t12_x7_u3_b85 | 12 | 7 | 3 | 85 | ![]() |
flr(eql(P,min(R,D))) | 25565 | 97730707 | o1(o2(x,o2(x,x))) | true | 34367 | 34367 | 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_x7_u3_b86 | 12 | 7 | 3 | 86 | ![]() |
flr(eql(P,dot(R,D))) | 25566 | 97730708 | o1(o2(x,o2(x,x))) | true | 34375 | 34375 | 0.00002339 | 0.00006104 | 0.00002339 | 0.00001388 | 0.003725 | 0 | 0.6669 | 0.6669 | 1 | 0.001004 | 0.00002864 | 0.00002864 | 0.00008242 | 0 | 0 | 0 | 0.0002864 | 0.0001931 | 0.00005727 | 0.007568 | 91.82 | 0.9432 | 4.128 | 20.64 | 1 | 1 | 0 | 0 | 0.00001246 | 0 | 0 | 0.8978 | json |
| t12_x7_u3_b87 | 12 | 7 | 3 | 87 | ![]() |
flr(eql(P,dst(R,D))) | 25567 | 97730709 | o1(o2(x,o2(x,x))) | true | 34383 | 34383 | 0.00001866 | 0.0001068 | 0.00001866 | 0.00001186 | 0.003444 | 0 | 0.8547 | 0.8547 | 1 | 0.0007985 | 0.00002449 | 0.00002449 | 0.00006575 | 0 | 0 | 0 | 0.0002449 | 0.0001541 | 0.00004897 | 0.006998 | 106.4 | 1.209 | 4.128 | 20.64 | 1 | 1 | 0.000002607 | 0.00001272 | 0.00001272 | 0.2197 | 1.073 | 1.072 | json |
| t12_x7_u3_b88 | 12 | 7 | 3 | 88 | ![]() |
flr(min(P,add(R,D))) | 25568 | 97730710 | o1(o2(x,o2(x,x))) | true | 34391 | 34391 | -0.7355 | 0.05183 | 0.7627 | 0.1677 | 0.4095 | -1 | 0.9988 | 1.999 | 1 | 2.599 | 0.01551 | 0.001592 | 0.05598 | 0.8138 | 1 | 0.0002287 | 0.02992 | 0.05644 | 0.01396 | 0.1182 | 2.111 | 0.9997 | 0.102 | 0.1784 | 1 | 1 | 0.01908 | 0.1055 | 0.2282 | 0.1138 | 0.6293 | 1.361 | json |
| t12_x7_u3_b89 | 12 | 7 | 3 | 89 | ![]() |
flr(min(P,sub(R,D))) | 25569 | 97730711 | o1(o2(x,o2(x,x))) | true | 34399 | 34399 | -0.724 | 0.06114 | 0.7558 | 0.1751 | 0.4184 | -1 | 0.9985 | 1.999 | 1 | 2.694 | 0.01697 | 0.001645 | 0.06001 | 0.8233 | 1 | -0.000007038 | 0.03286 | 0.06135 | 0.01501 | 0.1225 | 2.042 | 1 | 0.1063 | 0.1877 | 1 | 1 | 0.02073 | 0.1067 | 0.2418 | 0.1184 | 0.6092 | 1.381 | json |
| t12_x7_u3_b90 | 12 | 7 | 3 | 90 | ![]() |
flr(min(P,mlt(R,D))) | 25570 | 97730712 | o1(o2(x,o2(x,x))) | true | 34407 | 34407 | -0.7344 | 0 | 0.7344 | 0.1391 | 0.3729 | -1 | 0 | 1 | 1 | 2.537 | 0.02512 | 0.001307 | 0.05492 | 0.9011 | 1 | -0.000004283 | 0.04904 | 0.05946 | 0.02341 | 0.153 | 2.786 | 1 | 0.19 | 0.3526 | 1 | 1 | 0.0308 | 0.1426 | 0.1827 | 0.2215 | 1.026 | 1.314 | json |
| t12_x7_u3_b91 | 12 | 7 | 3 | 91 | ![]() |
flr(min(P,div(R,D))) | 25571 | 97730713 | o1(o2(x,o2(x,x))) | true | 34415 | 34415 | -0.6158 | 0.1723 | 0.8827 | 0.4693 | 0.6851 | -1 | 1 | 2 | 1 | 2.165 | 0.116 | 0.01324 | 0.1177 | 0.7951 | 1 | 0.0001077 | 0.2552 | 0.1733 | 0.1153 | 0.3396 | 2.884 | 2.821 | 0.2754 | 0.5437 | 1 | 1 | 0.1451 | 0.6047 | 0.6501 | 0.3092 | 1.288 | 1.385 | json |
| t12_x7_u3_b92 | 12 | 7 | 3 | 92 | ![]() |
flr(min(P,pow(R,D))) | 25572 | 97730714 | o1(o2(x,o2(x,x))) | true | 34423 | 34423 | -0.04743 | 0.5 | 0.8901 | 0.8619 | 0.9284 | -1 | 1 | 2 | 1 | 2.308 | 0.01087 | 0.001038 | 0.03071 | 0.8257 | 1 | -0.000006507 | 0.01949 | 0.02937 | 0.01096 | 0.1047 | 3.409 | 0.9997 | 0.01382 | 0.02261 | 1 | 1 | 0.01491 | 0.06875 | 0.2421 | 0.0173 | 0.07977 | 0.2809 | json |
| t12_x7_u3_b93 | 12 | 7 | 3 | 93 | ![]() |
flr(min(P,mod(R,D))) | 25573 | 97730715 | o1(o2(x,o2(x,x))) | true | 34431 | 34431 | -0.7578 | 0 | 0.7578 | 0.1282 | 0.3581 | -1 | 0 | 1 | 1 | 2.446 | 0.001205 | 0.001316 | 0.02956 | -0.04423 | 1 | -0.00002994 | 0.0001512 | 0.007216 | 0.001648 | 0.0406 | 1.373 | 0.1169 | 0.01966 | 0.001179 | 1 | 1 | 0.005145 | 0.06684 | 0.1791 | 0.04012 | 0.5213 | 1.397 | json |
| t12_x7_u3_b94 | 12 | 7 | 3 | 94 | ![]() |
flr(min(P,lrg(R,D))) | 25574 | 97730716 | o1(o2(x,o2(x,x))) | true | 34439 | 34439 | -0.2374 | 0.4651 | 0.7001 | 0.5835 | 0.7638 | -1 | 1 | 2 | 1 | 3.186 | 0.01023 | 0.001034 | 0.04502 | 0.8164 | 1 | 0.00003414 | 0.0183 | 0.03545 | 0.009238 | 0.09612 | 2.135 | 0.9997 | 0.01931 | 0.03136 | 1 | 1 | 0.01267 | 0.08445 | 0.2757 | 0.02171 | 0.1447 | 0.4725 | json |
| t12_x7_u3_b95 | 12 | 7 | 3 | 95 | ![]() |
flr(min(P,eql(R,D))) | 25575 | 97730717 | o1(o2(x,o2(x,x))) | true | 34447 | 34447 | -0.4687 | 0.0002289 | 0.4688 | 0.2423 | 0.4922 | -1 | 0.3282 | 1.328 | 1 | 1.409 | 0.0003675 | 1.509e-7 | 0.004031 | 0.9992 | 1 | 1.175e-7 | 0.00006027 | 0.001052 | 0.0003516 | 0.01875 | 4.651 | 0.3186 | 0.001517 | 0.0002487 | 1 | 1 | 0.0009255 | 0.01214 | 0.07511 | 0.003819 | 0.05011 | 0.31 | json |
| t12_x7_u3_b96 | 12 | 7 | 3 | 96 | ![]() |
flr(min(P,min(R,D))) | 25576 | 97730718 | o1(o2(x,o2(x,x))) | true | 34455 | 34455 | -0.8867 | 0 | 0.8867 | 0.06403 | 0.253 | -1 | -0.000291 | 0.9997 | 1 | 1.639 | 0.01363 | 0.0006318 | 0.03482 | 0.9114 | 1 | -0.00006203 | 0.02557 | 0.03365 | 0.01305 | 0.1142 | 3.281 | 0.9997 | 0.2227 | 0.3993 | 1 | 1 | 0.01644 | 0.07574 | 0.0849 | 0.2567 | 1.183 | 1.326 | json |
| t12_x7_u3_b97 | 12 | 7 | 3 | 97 | ![]() |
flr(min(P,dot(R,D))) | 25577 | 97730719 | o1(o2(x,o2(x,x))) | true | 34463 | 34463 | -0.7329 | 0.004105 | 0.7329 | 0.1431 | 0.3783 | -1 | 0.07772 | 1.078 | 1 | 2.535 | 0.01914 | 0.01811 | 0.06675 | 0.02757 | 1 | -0.0001367 | 0.1169 | 0.09695 | 0.03281 | 0.1811 | 2.713 | 1.414 | 0.2603 | 0.8173 | 1 | 1 | 0.04077 | 0.1607 | 0.1972 | 0.285 | 1.123 | 1.378 | json |
| t12_x7_u3_b98 | 12 | 7 | 3 | 98 | ![]() |
flr(min(P,dst(R,D))) | 25578 | 97730720 | o1(o2(x,o2(x,x))) | true | 34471 | 34471 | -0.1986 | 0.4799 | 0.7389 | 0.6498 | 0.8061 | -1 | 1 | 2 | 1 | 3.039 | 0.01205 | 0.0118 | 0.0538 | 0.01064 | 1 | 0.0001645 | 0.07008 | 0.06955 | 0.02096 | 0.1448 | 2.691 | 1.413 | 0.03671 | 0.1079 | 1 | 1 | 0.02669 | 0.1199 | 0.2991 | 0.04107 | 0.1846 | 0.4603 | json |
| t12_x7_u3_b99 | 12 | 7 | 3 | 99 | ![]() |
flr(dot(P,add(R,D))) | 25579 | 97730721 | o1(o2(x,o2(x,x))) | true | 34479 | 34479 | -0.3001 | 0.3368 | 0.8626 | 0.732 | 0.8556 | -1 | 1 | 2 | 1 | 2.651 | 0.04837 | 0.05398 | 0.142 | -0.05482 | 1 | 0.0008467 | 0.2289 | 0.2117 | 0.08217 | 0.2867 | 2.018 | 2.219 | 0.1398 | 0.3127 | 1 | 1 | 0.1107 | 0.617 | 1.293 | 0.1513 | 0.8428 | 1.767 | json |
| t12_x7_u3_b100 | 12 | 7 | 3 | 100 | ![]() |
flr(dot(P,sub(R,D))) | 25580 | 97730722 | o1(o2(x,o2(x,x))) | true | 34487 | 34487 | -0.154 | 0.4199 | 0.8486 | 0.7809 | 0.8837 | -1 | 1 | 2 | 1 | 2.835 | 0.04957 | 0.05505 | 0.1493 | -0.05238 | 1 | -0.001068 | 0.2377 | 0.2211 | 0.08235 | 0.287 | 1.923 | 2.139 | 0.134 | 0.3044 | 1 | 1 | 0.1129 | 0.6355 | 1.368 | 0.1445 | 0.8138 | 1.751 | json |
| t12_x7_u3_b101 | 12 | 7 | 3 | 101 | ![]() |
flr(dot(P,mlt(R,D))) | 25581 | 97730723 | o1(o2(x,o2(x,x))) | true | 34495 | 34495 | -0.3978 | 0.2261 | 0.6096 | 0.3602 | 0.6002 | -1 | 1 | 2 | 1 | 4.018 | 0.05331 | 0.0536 | 0.1915 | -0.002687 | 1 | -0.000533 | 0.3101 | 0.3066 | 0.07021 | 0.265 | 1.383 | 1.543 | 0.2968 | 0.861 | 1 | 1 | 0.1001 | 0.4488 | 0.5859 | 0.2778 | 1.246 | 1.627 | json |
| t12_x7_u3_b102 | 12 | 7 | 3 | 102 | ![]() |
flr(dot(P,div(R,D))) | 25582 | 97730724 | o1(o2(x,o2(x,x))) | true | 34503 | 34503 | -0.05293 | 0.4704 | 0.9549 | 0.9387 | 0.9689 | -1 | 1 | 2 | 1 | 1.724 | 0.3414 | 0.3457 | 0.3795 | -0.006202 | 1 | 0.00009033 | 1.814 | 0.7237 | 0.5432 | 0.737 | 1.942 | 2.828 | 0.732 | 1.933 | 1 | 1 | 0.6416 | 1.694 | 1.803 | 0.6835 | 1.805 | 1.921 | json |
| t12_x7_u3_b103 | 12 | 7 | 3 | 103 | ![]() |
flr(dot(P,pow(R,D))) | 25583 | 97730725 | o1(o2(x,o2(x,x))) | true | 34511 | 34511 | -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_x7_u3_b104 | 12 | 7 | 3 | 104 | ![]() |
flr(dot(P,mod(R,D))) | 25584 | 97730726 | o1(o2(x,o2(x,x))) | true | 34519 | 34519 | -0.4504 | 0.1884 | 0.6141 | 0.3244 | 0.5696 | -1 | 1 | 2 | 1 | 3.881 | 0.09401 | 0.1034 | 0.2777 | -0.04777 | 1 | -0.001138 | 0.6373 | 0.4735 | 0.1203 | 0.3469 | 1.249 | 2.118 | 0.6086 | 1.964 | 1 | 1 | 0.1007 | 0.2706 | 0.5197 | 0.3104 | 0.8341 | 1.602 | json |
| t12_x7_u3_b105 | 12 | 7 | 3 | 105 | ![]() |
flr(dot(P,lrg(R,D))) | 25585 | 97730727 | o1(o2(x,o2(x,x))) | true | 34527 | 34527 | 0.0007279 | 0.5022 | 0.8528 | 0.8207 | 0.9059 | -1 | 1 | 2 | 1 | 2.605 | 0.03169 | 0.03385 | 0.09372 | -0.03305 | 1 | 0.00005457 | 0.1109 | 0.1148 | 0.05676 | 0.2382 | 2.542 | 2.207 | 0.07985 | 0.1351 | 1 | 1 | 0.06675 | 0.3323 | 0.694 | 0.08133 | 0.4049 | 0.8456 | json |
| t12_x7_u3_b106 | 12 | 7 | 3 | 106 | ![]() |
flr(dot(P,eql(R,D))) | 25586 | 97730728 | o1(o2(x,o2(x,x))) | true | 34535 | 34535 | -0.0001701 | 0.0002289 | 0.0002502 | 0.000152 | 0.01233 | -0.8606 | 0.3282 | 1.189 | 1 | 0.0104 | 0.00001661 | 0.0002927 | 0.0005009 | -0.8926 | 1 | 1.171e-7 | 0.0009302 | 0.0009922 | 0.000309 | 0.01758 | 35.09 | 0.8606 | 2.035 | 6.119 | 1 | 1 | 0.0002646 | 0.0003513 | 0.0005225 | 1.74 | 2.311 | 3.437 | json |
| t12_x7_u3_b107 | 12 | 7 | 3 | 107 | ![]() |
flr(dot(P,min(R,D))) | 25587 | 97730729 | o1(o2(x,o2(x,x))) | true | 34543 | 34543 | -0.2985 | 0.3245 | 0.8147 | 0.6754 | 0.8219 | -1 | 1 | 2 | 1 | 3.028 | 0.03461 | 0.03794 | 0.1279 | -0.04595 | 1 | 0.001025 | 0.1695 | 0.1846 | 0.0562 | 0.2371 | 1.854 | 1.544 | 0.1074 | 0.251 | 1 | 1 | 0.07499 | 0.3971 | 0.7209 | 0.111 | 0.5879 | 1.067 | json |
| t12_x7_u3_b108 | 12 | 7 | 3 | 108 | ![]() |
flr(dot(P,dot(R,D))) | 25588 | 97730730 | o1(o2(x,o2(x,x))) | true | 34551 | 34551 | -0.3422 | 0.2438 | 0.6006 | 0.3992 | 0.6318 | -1 | 1 | 2 | 1 | 3.995 | 0.05706 | 0.05784 | 0.1915 | -0.006767 | 1 | -0.0001829 | 0.3611 | 0.3161 | 0.07821 | 0.2797 | 1.46 | 1.734 | 0.2878 | 0.9047 | 1 | 1 | 0.1064 | 0.5051 | 0.7008 | 0.2664 | 1.265 | 1.756 | json |
| t12_x7_u3_b109 | 12 | 7 | 3 | 109 | ![]() |
flr(dot(P,dst(R,D))) | 25589 | 97730731 | o1(o2(x,o2(x,x))) | true | 34559 | 34559 | -0.03704 | 0.4839 | 0.922 | 0.9036 | 0.9506 | -1 | 1 | 2 | 1 | 1.971 | 0.002612 | 0.002807 | 0.01798 | -0.03587 | 1 | 0.000005841 | 0.01229 | 0.01662 | 0.005097 | 0.07139 | 3.971 | 1.408 | 0.005997 | 0.0136 | 1 | 1 | 0.008983 | 0.06077 | 0.3831 | 0.009941 | 0.06725 | 0.424 | json |
| t12_x7_u3_b110 | 12 | 7 | 3 | 110 | ![]() |
flr(dst(P,add(R,D))) | 25590 | 97730732 | o1(o2(x,o2(x,x))) | true | 34567 | 34567 | 0.9937 | 1 | 0.9937 | 0.004501 | 0.06709 | 0.0005821 | 1 | 0.9994 | 1 | 0.1302 | 0.0006225 | 0.0006399 | 0.002844 | -0.01378 | 1 | 0 | 0.003427 | 0.003787 | 0.001254 | 0.03541 | 12.45 | 1.413 | 0.2805 | 0.7615 | 1 | 1 | 0.00256 | 0.01102 | 0.01577 | 0.5687 | 2.448 | 3.504 | json |
| t12_x7_u3_b111 | 12 | 7 | 3 | 111 | ![]() |
flr(dst(P,sub(R,D))) | 25591 | 97730733 | o1(o2(x,o2(x,x))) | true | 34575 | 34575 | 0.989 | 0.9997 | 0.989 | 0.007586 | 0.0871 | 0 | 1 | 1 | 1 | 0.2188 | 0.0007155 | 0.0007101 | 0.003392 | 0.003738 | 1 | -9.011e-11 | 0.004039 | 0.004314 | 0.001416 | 0.03763 | 11.09 | 1.408 | 0.1879 | 0.5324 | 1 | 1 | 0.002815 | 0.01381 | 0.02595 | 0.371 | 1.821 | 3.421 | json |
| t12_x7_u3_b112 | 12 | 7 | 3 | 112 | ![]() |
flr(dst(P,mlt(R,D))) | 25592 | 97730734 | o1(o2(x,o2(x,x))) | true | 34583 | 34583 | 0.9902 | 0.9996 | 0.9902 | 0.008114 | 0.09008 | 8.471e-8 | 1 | 1 | 1 | 0.1534 | 0.0004999 | 0.0006048 | 0.002256 | -0.09502 | 1 | 1.877e-11 | 0.002786 | 0.003037 | 0.001101 | 0.03318 | 14.71 | 1.394 | 0.1362 | 0.3434 | 1 | 1 | 0.00213 | 0.01036 | 0.02811 | 0.2625 | 1.277 | 3.464 | json |
| t12_x7_u3_b113 | 12 | 7 | 3 | 113 | ![]() |
flr(dst(P,div(R,D))) | 25593 | 97730735 | o1(o2(x,o2(x,x))) | true | 34591 | 34591 | -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_x7_u3_b114 | 12 | 7 | 3 | 114 | ![]() |
flr(dst(P,pow(R,D))) | 25594 | 97730736 | o1(o2(x,o2(x,x))) | true | 34599 | 34599 | -0.9922 | 0.003906 | 1 | 0.01556 | 0.1248 | -1 | 1 | 2 | 1 | 0.03687 | 0.002016 | 0.002016 | 0.001997 | 0 | 1 | 0 | 0.008566 | 0.004031 | 0.004024 | 0.06344 | 31.76 | 2.828 | 0.259 | 0.5504 | 1 | 1 | 0.007091 | 0.02837 | 0.05496 | 0.4556 | 1.823 | 3.531 | json |
| t12_x7_u3_b115 | 12 | 7 | 3 | 115 | ![]() |
flr(dst(P,mod(R,D))) | 25595 | 97730737 | o1(o2(x,o2(x,x))) | true | 34607 | 34607 | 0.99 | 0.9997 | 0.99 | 0.007695 | 0.08772 | 1.694e-7 | 1 | 1 | 1 | 0.1777 | 0.001186 | 0.002423 | 0.005716 | -0.3427 | 1 | -2.628e-11 | 0.01189 | 0.009748 | 0.003576 | 0.0598 | 10.46 | 1.213 | 0.4691 | 1.545 | 1 | 1 | 0.00289 | 0.009367 | 0.02542 | 0.3756 | 1.217 | 3.304 | json |
| t12_x7_u3_b116 | 12 | 7 | 3 | 116 | ![]() |
flr(dst(P,lrg(R,D))) | 25596 | 97730738 | o1(o2(x,o2(x,x))) | true | 34615 | 34615 | 0.9972 | 1 | 0.9972 | 0.001881 | 0.04337 | 0.0005819 | 1 | 0.9994 | 1 | 0.07069 | 0.00004659 | 0.0001185 | 0.0007405 | -0.4358 | 1 | -1.502e-10 | 0.0001947 | 0.0005078 | 0.0001648 | 0.01284 | 17.33 | 0.7742 | 0.08778 | 0.1035 | 1 | 1 | 0.0004154 | 0.00344 | 0.006859 | 0.2208 | 1.828 | 3.646 | json |
| t12_x7_u3_b117 | 12 | 7 | 3 | 117 | ![]() |
flr(dst(P,eql(R,D))) | 25597 | 97730739 | o1(o2(x,o2(x,x))) | true | 34623 | 34623 | 0.9961 | 1 | 0.9961 | 0.002383 | 0.04882 | 0.000582 | 1 | 0.9994 | 1 | 0.1068 | 0.00003512 | 0.00003512 | 0.0008419 | 6.216e-7 | 0 | -1.577e-10 | 0.000004222 | 0.000206 | 0.00006942 | 0.008332 | 9.897 | 0.1169 | 0.02947 | 0.001772 | 1 | 1 | 0.0002443 | 0.003178 | 0.008708 | 0.1025 | 1.334 | 3.654 | json |
| t12_x7_u3_b118 | 12 | 7 | 3 | 118 | ![]() |
flr(dst(P,min(R,D))) | 25598 | 97730740 | o1(o2(x,o2(x,x))) | true | 34631 | 34631 | 0.9898 | 0.9999 | 0.9898 | 0.007341 | 0.08568 | 1.694e-7 | 1 | 1 | 1 | 0.1985 | 0.0002269 | 0.0002649 | 0.002575 | -0.07741 | 1 | -1.502e-11 | 0.001069 | 0.002476 | 0.0004847 | 0.02202 | 8.548 | 0.7766 | 0.06699 | 0.1457 | 1 | 1 | 0.00113 | 0.008038 | 0.02626 | 0.154 | 1.095 | 3.578 | json |
| t12_x7_u3_b119 | 12 | 7 | 3 | 119 | ![]() |
flr(dst(P,dot(R,D))) | 25599 | 97730741 | o1(o2(x,o2(x,x))) | true | 34639 | 34639 | 0.9896 | 0.9998 | 0.9896 | 0.007777 | 0.08819 | 1.694e-7 | 1 | 1 | 1 | 0.1941 | 0.0007432 | 0.0006723 | 0.003361 | 0.05008 | 1 | -1.352e-10 | 0.004035 | 0.004517 | 0.001403 | 0.03745 | 11.14 | 1.388 | 0.182 | 0.5188 | 1 | 1 | 0.002709 | 0.01169 | 0.02582 | 0.3483 | 1.503 | 3.321 | json |



































































































