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_x17_u3_b50 | 12 | 17 | 3 | 50 | ![]() |
flr(pow(D,lrg(R,R))) | 34000 | 98134682 | o1(o2(x,o2(x,x))) | true | 101847 | 101847 | 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_x17_u3_b51 | 12 | 17 | 3 | 51 | ![]() |
flr(pow(D,eql(R,R))) | 34001 | 98134683 | o1(o2(x,o2(x,x))) | true | 101855 | 101855 | -0.5 | 0 | 0.5 | 0.1418 | 0.3765 | -0.9997 | -0.000291 | 0.9994 | 1 | 3.406 | 0.06511 | 0 | 0.1228 | 1 | 1 | 0 | 0.1208 | 0.1337 | 0.05001 | 0.2236 | 1.821 | 0.9994 | 0.4593 | 0.8522 | 1 | 1 | 0.07073 | 0.2419 | 0 | 0.4989 | 1.706 | 0 | json |
| t12_x17_u3_b52 | 12 | 17 | 3 | 52 | ![]() |
flr(pow(D,min(R,R))) | 34002 | 98134684 | o1(o2(x,o2(x,x))) | true | 101863 | 101863 | -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_x17_u3_b53 | 12 | 17 | 3 | 53 | ![]() |
flr(pow(D,dot(R,R))) | 34003 | 98134685 | o1(o2(x,o2(x,x))) | true | 101871 | 101871 | -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_x17_u3_b54 | 12 | 17 | 3 | 54 | ![]() |
flr(pow(D,dst(R,R))) | 34004 | 98134686 | o1(o2(x,o2(x,x))) | true | 101879 | 101879 | 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_x17_u3_b55 | 12 | 17 | 3 | 55 | ![]() |
flr(mod(D,add(R,R))) | 34005 | 98134687 | o1(o2(x,o2(x,x))) | true | 101887 | 101887 | -0.5 | 0 | 0.5 | 0.1418 | 0.3765 | -0.9997 | -0.000291 | 0.9994 | 1 | 3.406 | 0.06511 | 0 | 0.1228 | 1 | 1 | 0 | 0.1208 | 0.1337 | 0.05001 | 0.2236 | 1.821 | 0.9994 | 0.4593 | 0.8522 | 1 | 1 | 0.07073 | 0.2419 | 0 | 0.4989 | 1.706 | 0 | json |
| t12_x17_u3_b56 | 12 | 17 | 3 | 56 | ![]() |
flr(mod(D,sub(R,R))) | 34006 | 98134688 | o1(o2(x,o2(x,x))) | true | 101895 | 101895 | -0.5 | 0 | 0.5 | 0.1418 | 0.3765 | -0.9997 | -0.000291 | 0.9994 | 1 | 3.406 | 0.06511 | 0 | 0.1228 | 1 | 1 | 0 | 0.1208 | 0.1337 | 0.05001 | 0.2236 | 1.821 | 0.9994 | 0.4593 | 0.8522 | 1 | 1 | 0.07073 | 0.2419 | 0 | 0.4989 | 1.706 | 0 | json |
| t12_x17_u3_b57 | 12 | 17 | 3 | 57 | ![]() |
flr(mod(D,mlt(R,R))) | 34007 | 98134689 | o1(o2(x,o2(x,x))) | true | 101903 | 101903 | -0.5 | 0 | 0.5 | 0.1418 | 0.3765 | -0.9997 | -0.000291 | 0.9994 | 1 | 3.406 | 0.06511 | 0 | 0.1228 | 1 | 1 | 0 | 0.1208 | 0.1337 | 0.05001 | 0.2236 | 1.821 | 0.9994 | 0.4593 | 0.8522 | 1 | 1 | 0.07073 | 0.2419 | 0 | 0.4989 | 1.706 | 0 | json |
| t12_x17_u3_b58 | 12 | 17 | 3 | 58 | ![]() |
flr(mod(D,div(R,R))) | 34008 | 98134690 | o1(o2(x,o2(x,x))) | true | 101911 | 101911 | -0.5 | 0 | 0.5 | 0.1418 | 0.3765 | -0.9997 | -0.000291 | 0.9994 | 1 | 3.406 | 0.06511 | 0 | 0.1228 | 1 | 1 | 0 | 0.1208 | 0.1337 | 0.05001 | 0.2236 | 1.821 | 0.9994 | 0.4593 | 0.8522 | 1 | 1 | 0.07073 | 0.2419 | 0 | 0.4989 | 1.706 | 0 | json |
| t12_x17_u3_b59 | 12 | 17 | 3 | 59 | ![]() |
flr(mod(D,pow(R,R))) | 34009 | 98134691 | o1(o2(x,o2(x,x))) | true | 101919 | 101919 | -0.9785 | 0 | 0.9785 | 0.01638 | 0.128 | -1 | -0.000291 | 0.9997 | 1 | 0.3349 | 0.002478 | 0.001553 | 0.006864 | 0.2295 | 1 | 0.000005704 | 0.008074 | 0.009072 | 0.003983 | 0.06311 | 9.195 | 0.9997 | 0.246 | 0.4928 | 1 | 1 | 0.002864 | 0.01327 | 0.02629 | 0.1748 | 0.8101 | 1.605 | json |
| t12_x17_u3_b60 | 12 | 17 | 3 | 60 | ![]() |
flr(mod(D,mod(R,R))) | 34010 | 98134692 | o1(o2(x,o2(x,x))) | true | 101927 | 101927 | -0.9941 | 0 | 0.9941 | 0.004554 | 0.06748 | -1 | -0.000291 | 0.9997 | 1 | 0.1094 | 0.0008226 | 0.0003948 | 0.001987 | 0.3514 | 1 | 1.502e-11 | 0.002451 | 0.002683 | 0.001216 | 0.03487 | 17.54 | 0.9997 | 0.2673 | 0.5382 | 1 | 1 | 0.002248 | 0.009509 | 0.01519 | 0.4937 | 2.088 | 3.336 | json |
| t12_x17_u3_b61 | 12 | 17 | 3 | 61 | ![]() |
flr(mod(D,lrg(R,R))) | 34011 | 98134693 | o1(o2(x,o2(x,x))) | true | 101935 | 101935 | -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_x17_u3_b62 | 12 | 17 | 3 | 62 | ![]() |
flr(mod(D,eql(R,R))) | 34012 | 98134694 | o1(o2(x,o2(x,x))) | true | 101943 | 101943 | -0.5 | 0 | 0.5 | 0.1418 | 0.3765 | -0.9997 | -0.000291 | 0.9994 | 1 | 3.406 | 0.06511 | 0 | 0.1228 | 1 | 1 | 0 | 0.1208 | 0.1337 | 0.05001 | 0.2236 | 1.821 | 0.9994 | 0.4593 | 0.8522 | 1 | 1 | 0.07073 | 0.2419 | 0 | 0.4989 | 1.706 | 0 | json |
| t12_x17_u3_b63 | 12 | 17 | 3 | 63 | ![]() |
flr(mod(D,min(R,R))) | 34013 | 98134695 | o1(o2(x,o2(x,x))) | true | 101951 | 101951 | -0.5 | 0 | 0.5 | 0.1418 | 0.3765 | -0.9997 | -0.000291 | 0.9994 | 1 | 3.406 | 0.06511 | 0 | 0.1228 | 1 | 1 | 0 | 0.1208 | 0.1337 | 0.05001 | 0.2236 | 1.821 | 0.9994 | 0.4593 | 0.8522 | 1 | 1 | 0.07073 | 0.2419 | 0 | 0.4989 | 1.706 | 0 | json |
| t12_x17_u3_b64 | 12 | 17 | 3 | 64 | ![]() |
flr(mod(D,dot(R,R))) | 34014 | 98134696 | o1(o2(x,o2(x,x))) | true | 101959 | 101959 | -0.5 | 0 | 0.5 | 0.1418 | 0.3765 | -0.9997 | -0.000291 | 0.9994 | 1 | 3.406 | 0.06511 | 0 | 0.1228 | 1 | 1 | 0 | 0.1208 | 0.1337 | 0.05001 | 0.2236 | 1.821 | 0.9994 | 0.4593 | 0.8522 | 1 | 1 | 0.07073 | 0.2419 | 0 | 0.4989 | 1.706 | 0 | json |
| t12_x17_u3_b65 | 12 | 17 | 3 | 65 | ![]() |
flr(mod(D,dst(R,R))) | 34015 | 98134697 | o1(o2(x,o2(x,x))) | true | 101967 | 101967 | -0.5 | 0 | 0.5 | 0.1418 | 0.3765 | -0.9997 | -0.000291 | 0.9994 | 1 | 3.406 | 0.06511 | 0 | 0.1228 | 1 | 1 | 0 | 0.1208 | 0.1337 | 0.05001 | 0.2236 | 1.821 | 0.9994 | 0.4593 | 0.8522 | 1 | 1 | 0.07073 | 0.2419 | 0 | 0.4989 | 1.706 | 0 | json |
| t12_x17_u3_b66 | 12 | 17 | 3 | 66 | ![]() |
flr(lrg(D,add(R,R))) | 34016 | 98134698 | o1(o2(x,o2(x,x))) | true | 101975 | 101975 | 0.5102 | 0.9251 | 0.5102 | 0.1541 | 0.3926 | 0 | 1 | 1 | 1 | 3.432 | 0.01004 | 0.002285 | 0.06307 | 0.6294 | 1 | -0.00008437 | 0.01703 | 0.03881 | 0.008353 | 0.0914 | 1.449 | 0.9997 | 0.08 | 0.1105 | 1 | 1 | 0.01554 | 0.1282 | 0.294 | 0.1009 | 0.8321 | 1.907 | json |
| t12_x17_u3_b67 | 12 | 17 | 3 | 67 | ![]() |
flr(lrg(D,sub(R,R))) | 34017 | 98134699 | o1(o2(x,o2(x,x))) | true | 101983 | 101983 | 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_x17_u3_b68 | 12 | 17 | 3 | 68 | ![]() |
flr(lrg(D,mlt(R,R))) | 34018 | 98134700 | o1(o2(x,o2(x,x))) | true | 101991 | 101991 | 0.2412 | 0.8196 | 0.2412 | 0.09118 | 0.302 | 0 | 0.9997 | 0.9997 | 1 | 3.009 | 0.03076 | 0.0009703 | 0.08698 | 0.9388 | 1 | -0.0002936 | 0.05904 | 0.09136 | 0.02417 | 0.1555 | 1.787 | 0.9994 | 0.3479 | 0.6475 | 1 | 1 | 0.0336 | 0.1326 | 0.1315 | 0.3684 | 1.454 | 1.442 | json |
| t12_x17_u3_b69 | 12 | 17 | 3 | 69 | ![]() |
flr(lrg(D,div(R,R))) | 34019 | 98134701 | o1(o2(x,o2(x,x))) | true | 101999 | 101999 | 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_x17_u3_b70 | 12 | 17 | 3 | 70 | ![]() |
flr(lrg(D,pow(R,R))) | 34020 | 98134702 | o1(o2(x,o2(x,x))) | true | 102007 | 102007 | 0.5211 | 0.9599 | 0.5211 | 0.1536 | 0.3919 | 0 | 1 | 1 | 1 | 3.43 | 0.0023 | 0.002439 | 0.05325 | -0.02944 | 1 | -0.00002079 | 0.0009214 | 0.01703 | 0.001904 | 0.04363 | 0.8194 | 0.2255 | 0.03085 | 0.006 | 1 | 1 | 0.009045 | 0.1136 | 0.286 | 0.05889 | 0.7394 | 1.862 | json |
| t12_x17_u3_b71 | 12 | 17 | 3 | 71 | ![]() |
flr(lrg(D,mod(R,R))) | 34021 | 98134703 | o1(o2(x,o2(x,x))) | true | 102015 | 102015 | 0.51 | 0.9971 | 0.51 | 0.1395 | 0.3734 | 0 | 1 | 1 | 1 | 3.521 | 0.05297 | 0.0006217 | 0.1145 | 0.9768 | 1 | 0.0000171 | 0.09905 | 0.1211 | 0.04049 | 0.2012 | 1.758 | 0.9997 | 0.3843 | 0.7102 | 1 | 1 | 0.05576 | 0.2078 | 0.1104 | 0.3999 | 1.49 | 0.7914 | json |
| t12_x17_u3_b72 | 12 | 17 | 3 | 72 | ![]() |
flr(lrg(D,lrg(R,R))) | 34022 | 98134704 | o1(o2(x,o2(x,x))) | true | 102023 | 102023 | 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_x17_u3_b73 | 12 | 17 | 3 | 73 | ![]() |
flr(lrg(D,eql(R,R))) | 34023 | 98134705 | o1(o2(x,o2(x,x))) | true | 102031 | 102031 | 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_x17_u3_b74 | 12 | 17 | 3 | 74 | ![]() |
flr(lrg(D,min(R,R))) | 34024 | 98134706 | o1(o2(x,o2(x,x))) | true | 102039 | 102039 | 0.5008 | 0.9274 | 0.5008 | 0.1466 | 0.3828 | 0 | 1 | 1 | 1 | 3.529 | 0.0202 | 0.00212 | 0.08084 | 0.81 | 1 | -0.00001414 | 0.03816 | 0.07051 | 0.01579 | 0.1257 | 1.554 | 0.9997 | 0.1523 | 0.2603 | 1 | 1 | 0.02456 | 0.14 | 0.2709 | 0.1675 | 0.9553 | 1.848 | json |
| t12_x17_u3_b75 | 12 | 17 | 3 | 75 | ![]() |
flr(lrg(D,dot(R,R))) | 34025 | 98134707 | o1(o2(x,o2(x,x))) | true | 102047 | 102047 | 0.0466 | 0.3258 | 0.0466 | 0.01836 | 0.1355 | 0 | 0.9994 | 0.9994 | 1 | 1.099 | 0.006764 | 0.0002639 | 0.02476 | 0.9249 | 1 | -0.0002807 | 0.01407 | 0.0275 | 0.006414 | 0.08009 | 3.235 | 0.9994 | 0.3829 | 0.7666 | 1 | 1 | 0.006341 | 0.02133 | 0.02968 | 0.3454 | 1.162 | 1.617 | json |
| t12_x17_u3_b76 | 12 | 17 | 3 | 76 | ![]() |
flr(lrg(D,dst(R,R))) | 34026 | 98134708 | o1(o2(x,o2(x,x))) | true | 102055 | 102055 | 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_x17_u3_b77 | 12 | 17 | 3 | 77 | ![]() |
flr(eql(D,add(R,R))) | 34027 | 98134709 | o1(o2(x,o2(x,x))) | true | 102063 | 102063 | 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_x17_u3_b78 | 12 | 17 | 3 | 78 | ![]() |
flr(eql(D,sub(R,R))) | 34028 | 98134710 | o1(o2(x,o2(x,x))) | true | 102071 | 102071 | 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_x17_u3_b79 | 12 | 17 | 3 | 79 | ![]() |
flr(eql(D,mlt(R,R))) | 34029 | 98134711 | o1(o2(x,o2(x,x))) | true | 102079 | 102079 | 0.0002441 | 0.0004883 | 0.0002441 | 0.0001911 | 0.01382 | 0 | 0.9994 | 0.9994 | 1 | 0.006378 | 0.0003946 | 0.000002791 | 0.0005079 | 0.986 | 1 | -3.564e-7 | 0.001195 | 0.001008 | 0.0003969 | 0.01992 | 39.23 | 0.9994 | 2.08 | 6.255 | 1 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t12_x17_u3_b80 | 12 | 17 | 3 | 80 | ![]() |
flr(eql(D,div(R,R))) | 34030 | 98134712 | o1(o2(x,o2(x,x))) | true | 102087 | 102087 | 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_x17_u3_b81 | 12 | 17 | 3 | 81 | ![]() |
flr(eql(D,pow(R,R))) | 34031 | 98134713 | o1(o2(x,o2(x,x))) | true | 102095 | 102095 | 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_x17_u3_b82 | 12 | 17 | 3 | 82 | ![]() |
flr(eql(D,mod(R,R))) | 34032 | 98134714 | o1(o2(x,o2(x,x))) | true | 102103 | 102103 | 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_x17_u3_b83 | 12 | 17 | 3 | 83 | ![]() |
flr(eql(D,lrg(R,R))) | 34033 | 98134715 | o1(o2(x,o2(x,x))) | true | 102111 | 102111 | 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_x17_u3_b84 | 12 | 17 | 3 | 84 | ![]() |
flr(eql(D,eql(R,R))) | 34034 | 98134716 | o1(o2(x,o2(x,x))) | true | 102119 | 102119 | 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_x17_u3_b85 | 12 | 17 | 3 | 85 | ![]() |
flr(eql(D,min(R,R))) | 34035 | 98134717 | o1(o2(x,o2(x,x))) | true | 102127 | 102127 | 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_x17_u3_b86 | 12 | 17 | 3 | 86 | ![]() |
flr(eql(D,dot(R,R))) | 34036 | 98134718 | o1(o2(x,o2(x,x))) | true | 102135 | 102135 | 7.106e-8 | 0.0002747 | 7.106e-8 | 1.62e-11 | 0.000004025 | 0 | 0.000291 | 0.000291 | 1 | 0 | 3.345e-11 | 2.373e-13 | 1.48e-7 | 0.9859 | 0 | 6.74e-16 | 1.013e-10 | 2.935e-7 | 3.365e-11 | 0.000005801 | 39.18 | 0.000291 | 2.08 | 6.254 | 1 | 1 | 3.024e-11 | 4.016e-11 | 4.413e-11 | 1.867 | 2.479 | 2.724 | json |
| t12_x17_u3_b87 | 12 | 17 | 3 | 87 | ![]() |
flr(eql(D,dst(R,R))) | 34037 | 98134719 | o1(o2(x,o2(x,x))) | true | 102143 | 102143 | 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_x17_u3_b88 | 12 | 17 | 3 | 88 | ![]() |
flr(min(D,add(R,R))) | 34038 | 98134720 | o1(o2(x,o2(x,x))) | true | 102151 | 102151 | -0.7955 | 0 | 0.7955 | 0.1044 | 0.3231 | -1 | -0.000291 | 0.9997 | 1 | 2.394 | 0.02605 | 0.001667 | 0.06523 | 0.8797 | 1 | 0.00007642 | 0.04834 | 0.06469 | 0.02347 | 0.1532 | 2.349 | 0.9997 | 0.2655 | 0.463 | 1 | 1 | 0.03076 | 0.1379 | 0.1382 | 0.2947 | 1.321 | 1.324 | json |
| t12_x17_u3_b89 | 12 | 17 | 3 | 89 | ![]() |
flr(min(D,sub(R,R))) | 34039 | 98134721 | o1(o2(x,o2(x,x))) | true | 102159 | 102159 | -0.5 | 0 | 0.5 | 0.1418 | 0.3765 | -0.9997 | -0.000291 | 0.9994 | 1 | 3.406 | 0.06511 | 0 | 0.1228 | 1 | 1 | 0 | 0.1208 | 0.1337 | 0.05001 | 0.2236 | 1.821 | 0.9994 | 0.4593 | 0.8522 | 1 | 1 | 0.07073 | 0.2419 | 0 | 0.4989 | 1.706 | 0 | json |
| t12_x17_u3_b90 | 12 | 17 | 3 | 90 | ![]() |
flr(min(D,mlt(R,R))) | 34040 | 98134722 | o1(o2(x,o2(x,x))) | true | 102167 | 102167 | -0.5 | 0 | 0.5 | 0.1418 | 0.3765 | -0.9997 | -0.000291 | 0.9994 | 1 | 3.406 | 0.06511 | 0 | 0.1228 | 1 | 1 | 0 | 0.1208 | 0.1337 | 0.05001 | 0.2236 | 1.821 | 0.9994 | 0.4593 | 0.8522 | 1 | 1 | 0.07073 | 0.2419 | 0 | 0.4989 | 1.706 | 0 | json |
| t12_x17_u3_b91 | 12 | 17 | 3 | 91 | ![]() |
flr(min(D,div(R,R))) | 34041 | 98134723 | o1(o2(x,o2(x,x))) | true | 102175 | 102175 | -0.5 | 0 | 0.5 | 0.1418 | 0.3765 | -0.9997 | -0.000291 | 0.9994 | 1 | 3.406 | 0.06511 | 0 | 0.1228 | 1 | 1 | 0 | 0.1208 | 0.1337 | 0.05001 | 0.2236 | 1.821 | 0.9994 | 0.4593 | 0.8522 | 1 | 1 | 0.07073 | 0.2419 | 0 | 0.4989 | 1.706 | 0 | json |
| t12_x17_u3_b92 | 12 | 17 | 3 | 92 | ![]() |
flr(min(D,pow(R,R))) | 34042 | 98134724 | o1(o2(x,o2(x,x))) | true | 102183 | 102183 | -0.5 | 0 | 0.5 | 0.1418 | 0.3765 | -0.9997 | -0.000291 | 0.9994 | 1 | 3.406 | 0.06511 | 0 | 0.1228 | 1 | 1 | 0 | 0.1208 | 0.1337 | 0.05001 | 0.2236 | 1.821 | 0.9994 | 0.4593 | 0.8522 | 1 | 1 | 0.07073 | 0.2419 | 0 | 0.4989 | 1.706 | 0 | json |
| t12_x17_u3_b93 | 12 | 17 | 3 | 93 | ![]() |
flr(min(D,mod(R,R))) | 34043 | 98134725 | o1(o2(x,o2(x,x))) | true | 102191 | 102191 | -0.5625 | 0 | 0.5625 | 0.1431 | 0.3783 | -1 | -0.000291 | 0.9997 | 1 | 3.424 | 0.05567 | 0.0004276 | 0.1115 | 0.9848 | 1 | -0.00001426 | 0.1034 | 0.118 | 0.04366 | 0.2089 | 1.873 | 0.9997 | 0.392 | 0.7225 | 1 | 1 | 0.05861 | 0.2187 | 0.07552 | 0.4095 | 1.528 | 0.5277 | json |
| t12_x17_u3_b94 | 12 | 17 | 3 | 94 | ![]() |
flr(min(D,lrg(R,R))) | 34044 | 98134726 | o1(o2(x,o2(x,x))) | true | 102199 | 102199 | -0.5 | 0 | 0.5 | 0.1418 | 0.3765 | -0.9997 | -0.000291 | 0.9994 | 1 | 3.406 | 0.06511 | 0 | 0.1228 | 1 | 1 | 0 | 0.1208 | 0.1337 | 0.05001 | 0.2236 | 1.821 | 0.9994 | 0.4593 | 0.8522 | 1 | 1 | 0.07073 | 0.2419 | 0 | 0.4989 | 1.706 | 0 | json |
| t12_x17_u3_b95 | 12 | 17 | 3 | 95 | ![]() |
flr(min(D,eql(R,R))) | 34045 | 98134727 | o1(o2(x,o2(x,x))) | true | 102207 | 102207 | -0.5 | 0 | 0.5 | 0.1418 | 0.3765 | -0.9997 | -0.000291 | 0.9994 | 1 | 3.406 | 0.06511 | 0 | 0.1228 | 1 | 1 | 0 | 0.1208 | 0.1337 | 0.05001 | 0.2236 | 1.821 | 0.9994 | 0.4593 | 0.8522 | 1 | 1 | 0.07073 | 0.2419 | 0 | 0.4989 | 1.706 | 0 | json |
| t12_x17_u3_b96 | 12 | 17 | 3 | 96 | ![]() |
flr(min(D,min(R,R))) | 34046 | 98134728 | o1(o2(x,o2(x,x))) | true | 102215 | 102215 | -0.7568 | 0 | 0.7568 | 0.1087 | 0.3297 | -1 | -0.000291 | 0.9997 | 1 | 2.8 | 0.02738 | 0.00118 | 0.07029 | 0.9174 | 1 | -0.000001419 | 0.05102 | 0.06666 | 0.02362 | 0.1537 | 2.186 | 0.9997 | 0.2627 | 0.4693 | 1 | 1 | 0.03085 | 0.1411 | 0.1423 | 0.2838 | 1.298 | 1.309 | json |
| t12_x17_u3_b97 | 12 | 17 | 3 | 97 | ![]() |
flr(min(D,dot(R,R))) | 34047 | 98134729 | o1(o2(x,o2(x,x))) | true | 102223 | 102223 | -0.5 | 0 | 0.5 | 0.1418 | 0.3765 | -0.9997 | -0.000291 | 0.9994 | 1 | 3.406 | 0.06511 | 0 | 0.1228 | 1 | 1 | 0 | 0.1208 | 0.1337 | 0.05001 | 0.2236 | 1.821 | 0.9994 | 0.4593 | 0.8522 | 1 | 1 | 0.07073 | 0.2419 | 0 | 0.4989 | 1.706 | 0 | json |
| t12_x17_u3_b98 | 12 | 17 | 3 | 98 | ![]() |
flr(min(D,dst(R,R))) | 34048 | 98134730 | o1(o2(x,o2(x,x))) | true | 102231 | 102231 | -0.5 | 0 | 0.5 | 0.1418 | 0.3765 | -0.9997 | -0.000291 | 0.9994 | 1 | 3.406 | 0.06511 | 0 | 0.1228 | 1 | 1 | 0 | 0.1208 | 0.1337 | 0.05001 | 0.2236 | 1.821 | 0.9994 | 0.4593 | 0.8522 | 1 | 1 | 0.07073 | 0.2419 | 0 | 0.4989 | 1.706 | 0 | json |
| t12_x17_u3_b99 | 12 | 17 | 3 | 99 | ![]() |
flr(dot(D,add(R,R))) | 34049 | 98134731 | o1(o2(x,o2(x,x))) | true | 102239 | 102239 | -0.4766 | 0.1128 | 0.5075 | 0.1774 | 0.4212 | -1 | 0.9889 | 1.989 | 1 | 3.944 | 0.04065 | 0.03966 | 0.1536 | 0.01238 | 1 | -0.0003557 | 0.2611 | 0.2402 | 0.05672 | 0.2382 | 1.55 | 1.42 | 0.4528 | 1.472 | 1 | 1 | 0.08344 | 0.2989 | 0.3536 | 0.4704 | 1.685 | 1.994 | json |
| t12_x17_u3_b100 | 12 | 17 | 3 | 100 | ![]() |
flr(dot(D,sub(R,R))) | 34050 | 98134732 | o1(o2(x,o2(x,x))) | true | 102247 | 102247 | 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_x17_u3_b101 | 12 | 17 | 3 | 101 | ![]() |
flr(dot(D,mlt(R,R))) | 34051 | 98134733 | o1(o2(x,o2(x,x))) | true | 102255 | 102255 | -0.4977 | 0 | 0.4977 | 0.1168 | 0.3418 | -1 | -1.694e-7 | 1 | 1 | 3.808 | 0.03259 | 0.03148 | 0.1321 | 0.01726 | 1 | -0.0001631 | 0.1813 | 0.1691 | 0.04662 | 0.2159 | 1.635 | 1.409 | 0.5486 | 1.553 | 1 | 1 | 0.06881 | 0.2317 | 0.1272 | 0.5891 | 1.984 | 1.089 | json |
| t12_x17_u3_b102 | 12 | 17 | 3 | 102 | ![]() |
flr(dot(D,div(R,R))) | 34052 | 98134734 | o1(o2(x,o2(x,x))) | true | 102263 | 102263 | -0.4802 | 0 | 0.4802 | 0.1022 | 0.3197 | -0.9997 | 0 | 0.9997 | 1 | 4.022 | 0.05384 | 0.05384 | 0.1713 | -0.00006833 | 1 | -0.00003315 | 0.4215 | 0.2502 | 0.07833 | 0.2799 | 1.634 | 1.413 | 1.054 | 4.125 | 1 | 1 | 0.1087 | 0.2851 | 0.01303 | 1.064 | 2.79 | 0.1275 | json |
| t12_x17_u3_b103 | 12 | 17 | 3 | 103 | ![]() |
flr(dot(D,pow(R,R))) | 34053 | 98134735 | o1(o2(x,o2(x,x))) | true | 102271 | 102271 | -0.998 | 0 | 0.998 | 0.001321 | 0.03634 | -1 | -0.000291 | 0.9997 | 1 | 0.04881 | 0.0003474 | 0.0003294 | 0.00103 | 0.02661 | 1 | -2.628e-11 | 0.002024 | 0.001754 | 0.000675 | 0.02598 | 25.23 | 1.399 | 0.5125 | 1.533 | 1 | 1 | 0.001159 | 0.003254 | 0.004612 | 0.8776 | 2.464 | 3.492 | json |
| t12_x17_u3_b104 | 12 | 17 | 3 | 104 | ![]() |
flr(dot(D,mod(R,R))) | 34054 | 98134736 | o1(o2(x,o2(x,x))) | true | 102279 | 102279 | -0.1994 | 0.0005341 | 0.1994 | 0.1 | 0.3163 | -1 | 0.02408 | 1.024 | 1 | 2.934 | 0.01133 | 0.0112 | 0.05527 | 0.006152 | 1 | -0.000002194 | 0.04314 | 0.05623 | 0.01947 | 0.1395 | 2.525 | 1.341 | 0.2252 | 0.4312 | 1 | 1 | 0.0271 | 0.1335 | 0.2009 | 0.2709 | 1.335 | 2.008 | json |
| t12_x17_u3_b105 | 12 | 17 | 3 | 105 | ![]() |
flr(dot(D,lrg(R,R))) | 34055 | 98134737 | o1(o2(x,o2(x,x))) | true | 102287 | 102287 | 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_x17_u3_b106 | 12 | 17 | 3 | 106 | ![]() |
flr(dot(D,eql(R,R))) | 34056 | 98134738 | o1(o2(x,o2(x,x))) | true | 102295 | 102295 | -0.4688 | 0 | 0.4688 | 0.1046 | 0.3235 | -0.9994 | 0 | 0.9994 | 1 | 4.039 | 0.06016 | 0.06016 | 0.1758 | 0.000004397 | 1 | -0.00003149 | 0.5007 | 0.2681 | 0.08937 | 0.2989 | 1.7 | 1.413 | 1.15 | 4.785 | 1 | 1 | 0.1154 | 0.2917 | 0 | 1.103 | 2.788 | 0 | json |
| t12_x17_u3_b107 | 12 | 17 | 3 | 107 | ![]() |
flr(dot(D,min(R,R))) | 34057 | 98134739 | o1(o2(x,o2(x,x))) | true | 102303 | 102303 | -0.4932 | 0.006119 | 0.4933 | 0.1514 | 0.3891 | -1 | 0.07772 | 1.078 | 1 | 3.674 | 0.03531 | 0.03442 | 0.1241 | 0.01279 | 1 | -0.0002929 | 0.2211 | 0.182 | 0.05432 | 0.2331 | 1.878 | 1.414 | 0.4606 | 1.461 | 1 | 1 | 0.07408 | 0.2844 | 0.3007 | 0.4894 | 1.878 | 1.986 | json |
| t12_x17_u3_b108 | 12 | 17 | 3 | 108 | ![]() |
flr(dot(D,dot(R,R))) | 34058 | 98134740 | o1(o2(x,o2(x,x))) | true | 102311 | 102311 | -0.4744 | 0.01271 | 0.479 | 0.09641 | 0.3105 | -1 | 0.6441 | 1.644 | 1 | 4.106 | 0.04664 | 0.04666 | 0.1797 | -0.0002026 | 1 | -0.000009947 | 0.3816 | 0.2882 | 0.061 | 0.247 | 1.374 | 1.413 | 0.9678 | 3.958 | 1 | 1 | 0.09079 | 0.2259 | 0.03324 | 0.9417 | 2.343 | 0.3447 | json |
| t12_x17_u3_b109 | 12 | 17 | 3 | 109 | ![]() |
flr(dot(D,dst(R,R))) | 34059 | 98134741 | o1(o2(x,o2(x,x))) | true | 102319 | 102319 | 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_x17_u3_b110 | 12 | 17 | 3 | 110 | ![]() |
flr(dst(D,add(R,R))) | 34060 | 98134742 | o1(o2(x,o2(x,x))) | true | 102327 | 102327 | 0.9562 | 1 | 0.9562 | 0.028 | 0.1673 | 0.000291 | 1 | 0.9997 | 1 | 0.7508 | 0.003775 | 0.004127 | 0.01901 | -0.04464 | 1 | -0.00008377 | 0.02157 | 0.02502 | 0.007543 | 0.08685 | 4.569 | 1.403 | 0.2822 | 0.7703 | 1 | 1 | 0.008099 | 0.03415 | 0.04608 | 0.2892 | 1.219 | 1.645 | json |
| t12_x17_u3_b111 | 12 | 17 | 3 | 111 | ![]() |
flr(dst(D,sub(R,R))) | 34061 | 98134743 | o1(o2(x,o2(x,x))) | true | 102335 | 102335 | 0.002387 | 0.5469 | 0.002387 | 0.0000194 | 0.004405 | 0 | 0.01937 | 0.01937 | 1 | 0 | 0.00002643 | 0.00002643 | 0.004122 | 1.376e-7 | 0 | -0.00002229 | 0.0002509 | 0.008064 | 0.00003587 | 0.005989 | 1.453 | 0.02739 | 2.724 | 12.93 | 1 | 1 | 0.00004054 | 0.00003161 | 0 | 2.089 | 1.629 | 0 | json |
| t12_x17_u3_b112 | 12 | 17 | 3 | 112 | ![]() |
flr(dst(D,mlt(R,R))) | 34062 | 98134744 | o1(o2(x,o2(x,x))) | true | 102343 | 102343 | 0.3466 | 0.9556 | 0.3466 | 0.1207 | 0.3474 | 0 | 1 | 1 | 1 | 3.439 | 0.02065 | 0.02036 | 0.1021 | 0.007299 | 1 | -0.0005627 | 0.1203 | 0.1303 | 0.0306 | 0.1749 | 1.714 | 1.413 | 0.3398 | 0.9971 | 1 | 1 | 0.04477 | 0.1733 | 0.211 | 0.371 | 1.437 | 1.749 | json |
| t12_x17_u3_b113 | 12 | 17 | 3 | 113 | ![]() |
flr(dst(D,div(R,R))) | 34063 | 98134745 | o1(o2(x,o2(x,x))) | true | 102351 | 102351 | 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_x17_u3_b114 | 12 | 17 | 3 | 114 | ![]() |
flr(dst(D,pow(R,R))) | 34064 | 98134746 | o1(o2(x,o2(x,x))) | true | 102359 | 102359 | -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_x17_u3_b115 | 12 | 17 | 3 | 115 | ![]() |
flr(dst(D,mod(R,R))) | 34065 | 98134747 | o1(o2(x,o2(x,x))) | true | 102367 | 102367 | 0.1168 | 0.7498 | 0.1168 | 0.05377 | 0.2319 | 0 | 1 | 1 | 1 | 1.919 | 0.007407 | 0.008178 | 0.04785 | -0.04952 | 1 | -0.00008367 | 0.04383 | 0.05913 | 0.0133 | 0.1153 | 2.41 | 1.394 | 0.2899 | 0.8153 | 1 | 1 | 0.01895 | 0.07732 | 0.1201 | 0.3524 | 1.438 | 2.234 | json |
| t12_x17_u3_b116 | 12 | 17 | 3 | 116 | ![]() |
flr(dst(D,lrg(R,R))) | 34066 | 98134748 | o1(o2(x,o2(x,x))) | true | 102375 | 102375 | 0.002387 | 0.5469 | 0.002387 | 0.0000194 | 0.004405 | 0 | 0.01937 | 0.01937 | 1 | 0 | 0.00002643 | 0.00002643 | 0.004122 | 1.376e-7 | 0 | -0.00002229 | 0.0002509 | 0.008064 | 0.00003587 | 0.005989 | 1.453 | 0.02739 | 2.724 | 12.93 | 1 | 1 | 0.00004054 | 0.00003161 | 0 | 2.089 | 1.629 | 0 | json |
| t12_x17_u3_b117 | 12 | 17 | 3 | 117 | ![]() |
flr(dst(D,eql(R,R))) | 34067 | 98134749 | o1(o2(x,o2(x,x))) | true | 102383 | 102383 | 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_x17_u3_b118 | 12 | 17 | 3 | 118 | ![]() |
flr(dst(D,min(R,R))) | 34068 | 98134750 | o1(o2(x,o2(x,x))) | true | 102391 | 102391 | 0.5637 | 0.9763 | 0.5637 | 0.1564 | 0.3955 | 0 | 1 | 1 | 1 | 3.304 | 0.02354 | 0.02361 | 0.1019 | -0.001345 | 1 | 0.0001677 | 0.1416 | 0.1409 | 0.03678 | 0.1918 | 1.883 | 1.413 | 0.3014 | 0.9054 | 1 | 1 | 0.05112 | 0.2144 | 0.3096 | 0.3268 | 1.37 | 1.979 | json |
| t12_x17_u3_b119 | 12 | 17 | 3 | 119 | ![]() |
flr(dst(D,dot(R,R))) | 34069 | 98134751 | o1(o2(x,o2(x,x))) | true | 102399 | 102399 | 0.8516 | 0.999 | 0.8516 | 0.08781 | 0.2963 | 0 | 1 | 1 | 1 | 1.774 | 0.007561 | 0.008233 | 0.04448 | -0.04256 | 1 | -0.00006168 | 0.04247 | 0.0518 | 0.01381 | 0.1175 | 2.642 | 1.408 | 0.1799 | 0.4837 | 1 | 1 | 0.01767 | 0.09495 | 0.1393 | 0.2012 | 1.081 | 1.586 | json |
| t12_x17_u3_b120 | 12 | 17 | 3 | 120 | ![]() |
flr(dst(D,dst(R,R))) | 34070 | 98134752 | o1(o2(x,o2(x,x))) | true | 102407 | 102407 | 0.002387 | 0.5469 | 0.002387 | 0.0000194 | 0.004405 | 0 | 0.01937 | 0.01937 | 1 | 0 | 0.00002643 | 0.00002643 | 0.004122 | 1.376e-7 | 0 | -0.00002229 | 0.0002509 | 0.008064 | 0.00003587 | 0.005989 | 1.453 | 0.02739 | 2.724 | 12.93 | 1 | 1 | 0.00004054 | 0.00003161 | 0 | 2.089 | 1.629 | 0 | json |
| t12_x17_u4_b0 | 12 | 17 | 4 | 0 | ![]() |
cil(add(D,add(R,R))) | 34071 | 98134833 | o1(o2(x,o2(x,x))) | true | 102415 | 102415 | 0.3309 | 0.69 | 0.6756 | 0.4803 | 0.693 | -1 | 1 | 2 | 1 | 3.919 | 0.02826 | 0.008913 | 0.1136 | 0.5204 | 1 | -0.00003208 | 0.04706 | 0.09524 | 0.02427 | 0.1558 | 1.371 | 1.117 | 0.07739 | 0.09798 | 1 | 1 | 0.05177 | 0.3874 | 0.8227 | 0.1078 | 0.8066 | 1.713 | json |
| t12_x17_u4_b1 | 12 | 17 | 4 | 1 | ![]() |
cil(add(D,sub(R,R))) | 34072 | 98134834 | o1(o2(x,o2(x,x))) | true | 102423 | 102423 | 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_x17_u4_b2 | 12 | 17 | 4 | 2 | ![]() |
cil(add(D,mlt(R,R))) | 34073 | 98134835 | o1(o2(x,o2(x,x))) | true | 102431 | 102431 | 0.7981 | 1 | 0.7981 | 0.08297 | 0.288 | 0.0002911 | 1 | 0.9997 | 1 | 2.72 | 0.03035 | 0.001004 | 0.08518 | 0.936 | 1 | 0.0002554 | 0.05877 | 0.09848 | 0.02409 | 0.1552 | 1.822 | 0.9994 | 0.3779 | 0.7084 | 1 | 1 | 0.03385 | 0.1143 | 0.1279 | 0.408 | 1.378 | 1.542 | json |
| t12_x17_u4_b3 | 12 | 17 | 4 | 3 | ![]() |
cil(add(D,div(R,R))) | 34074 | 98134836 | o1(o2(x,o2(x,x))) | true | 102439 | 102439 | 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_x17_u4_b4 | 12 | 17 | 4 | 4 | ![]() |
cil(add(D,pow(R,R))) | 34075 | 98134837 | o1(o2(x,o2(x,x))) | true | 102447 | 102447 | -0.9141 | 0.04297 | 0.9999 | 0.1642 | 0.4052 | -1 | 1 | 2 | 1 | 0.2584 | 0.01688 | 0.01632 | 0.0166 | 0.01695 | 1 | -2.17e-7 | 0.06946 | 0.03338 | 0.03292 | 0.1814 | 10.93 | 2.828 | 0.2022 | 0.423 | 1 | 1 | 0.02536 | 0.1093 | 0.2752 | 0.1545 | 0.6656 | 1.676 | json |
| t12_x17_u4_b5 | 12 | 17 | 4 | 5 | ![]() |
cil(add(D,mod(R,R))) | 34076 | 98134838 | o1(o2(x,o2(x,x))) | true | 102455 | 102455 | 0.4813 | 0.9713 | 0.4933 | 0.1515 | 0.3892 | -0.9855 | 1 | 1.985 | 1 | 3.676 | 0.05555 | 0.0008119 | 0.1211 | 0.9712 | 1 | -0.000008023 | 0.1042 | 0.1315 | 0.04169 | 0.2042 | 1.686 | 0.9994 | 0.3721 | 0.6876 | 1 | 1 | 0.05883 | 0.2181 | 0.1371 | 0.3884 | 1.44 | 0.9049 | json |
| t12_x17_u4_b6 | 12 | 17 | 4 | 6 | ![]() |
cil(add(D,lrg(R,R))) | 34077 | 98134839 | o1(o2(x,o2(x,x))) | true | 102463 | 102463 | 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_x17_u4_b7 | 12 | 17 | 4 | 7 | ![]() |
cil(add(D,eql(R,R))) | 34078 | 98134840 | o1(o2(x,o2(x,x))) | true | 102471 | 102471 | 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_x17_u4_b8 | 12 | 17 | 4 | 8 | ![]() |
cil(add(D,min(R,R))) | 34079 | 98134841 | o1(o2(x,o2(x,x))) | true | 102479 | 102479 | 0.4727 | 0.8512 | 0.5392 | 0.2145 | 0.4631 | -0.9991 | 1 | 1.999 | 1 | 3.98 | 0.03061 | 0.003213 | 0.1077 | 0.81 | 1 | 0.0004303 | 0.05906 | 0.1096 | 0.02224 | 0.1491 | 1.385 | 0.9997 | 0.1577 | 0.2753 | 1 | 1 | 0.03653 | 0.1875 | 0.3698 | 0.1703 | 0.8741 | 1.724 | json |
| t12_x17_u4_b9 | 12 | 17 | 4 | 9 | ![]() |
cil(add(D,dot(R,R))) | 34080 | 98134842 | o1(o2(x,o2(x,x))) | true | 102487 | 102487 | 0.9819 | 1 | 0.9819 | 0.008563 | 0.09254 | 0.001455 | 1 | 0.9985 | 1 | 0.4759 | 0.003963 | 0.0002687 | 0.01283 | 0.873 | 1 | 0.0001979 | 0.008409 | 0.01681 | 0.004069 | 0.06379 | 4.972 | 0.9986 | 0.4942 | 0.9819 | 1 | 1 | 0.003164 | 0.009584 | 0.01281 | 0.3695 | 1.119 | 1.496 | json |
| t12_x17_u4_b10 | 12 | 17 | 4 | 10 | ![]() |
cil(add(D,dst(R,R))) | 34081 | 98134843 | o1(o2(x,o2(x,x))) | true | 102495 | 102495 | 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_x17_u4_b11 | 12 | 17 | 4 | 11 | ![]() |
cil(sub(D,add(R,R))) | 34082 | 98134844 | o1(o2(x,o2(x,x))) | true | 102503 | 102503 | 0.3073 | 0.6727 | 0.6891 | 0.5051 | 0.7107 | -1 | 1 | 2 | 1 | 3.975 | 0.02796 | 0.009242 | 0.1168 | 0.5031 | 1 | -0.0002364 | 0.04558 | 0.09524 | 0.02355 | 0.1535 | 1.313 | 1.103 | 0.07364 | 0.09024 | 1 | 1 | 0.05379 | 0.4221 | 0.9596 | 0.1065 | 0.8356 | 1.9 | json |
| t12_x17_u4_b12 | 12 | 17 | 4 | 12 | ![]() |
cil(sub(D,sub(R,R))) | 34083 | 98134845 | o1(o2(x,o2(x,x))) | true | 102511 | 102511 | 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_x17_u4_b13 | 12 | 17 | 4 | 13 | ![]() |
cil(sub(D,mlt(R,R))) | 34084 | 98134846 | o1(o2(x,o2(x,x))) | true | 102519 | 102519 | 0.1519 | 0.6953 | 0.2534 | 0.1283 | 0.3581 | -0.9991 | 0.9997 | 1.999 | 1 | 4.001 | 0.043 | 0.00143 | 0.1177 | 0.9356 | 1 | -0.00000367 | 0.08489 | 0.1319 | 0.03058 | 0.1749 | 1.486 | 0.9994 | 0.3464 | 0.6618 | 1 | 1 | 0.0441 | 0.1561 | 0.1925 | 0.3438 | 1.217 | 1.501 | json |
| t12_x17_u4_b14 | 12 | 17 | 4 | 14 | ![]() |
cil(sub(D,div(R,R))) | 34085 | 98134847 | o1(o2(x,o2(x,x))) | true | 102527 | 102527 | -0.5 | 0 | 0.5 | 0.1418 | 0.3765 | -0.9997 | -0.000291 | 0.9994 | 1 | 3.406 | 0.06511 | 0 | 0.1228 | 1 | 1 | 0 | 0.1208 | 0.1337 | 0.05001 | 0.2236 | 1.821 | 0.9994 | 0.4593 | 0.8522 | 1 | 1 | 0.07073 | 0.2419 | 0 | 0.4989 | 1.706 | 0 | json |
| t12_x17_u4_b15 | 12 | 17 | 4 | 15 | ![]() |
cil(sub(D,pow(R,R))) | 34086 | 98134848 | o1(o2(x,o2(x,x))) | true | 102535 | 102535 | -0.9692 | 0.006699 | 0.9694 | 0.02502 | 0.1582 | -1 | 0.1389 | 1.139 | 1 | 0.405 | 0.006044 | 0.002598 | 0.01184 | 0.3987 | 1 | 0.000002457 | 0.01906 | 0.01961 | 0.008507 | 0.09223 | 7.792 | 1.415 | 0.3454 | 0.762 | 1 | 1 | 0.006081 | 0.01883 | 0.03994 | 0.2431 | 0.7528 | 1.596 | json |
| t12_x17_u4_b16 | 12 | 17 | 4 | 16 | ![]() |
cil(sub(D,mod(R,R))) | 34087 | 98134849 | o1(o2(x,o2(x,x))) | true | 102543 | 102543 | 0.5096 | 0.9859 | 0.5169 | 0.1477 | 0.3843 | -0.9855 | 1 | 1.985 | 1 | 3.636 | 0.0548 | 0.0007538 | 0.1198 | 0.9729 | 1 | 0.000008716 | 0.1027 | 0.13 | 0.0412 | 0.203 | 1.694 | 0.9997 | 0.3761 | 0.6952 | 1 | 1 | 0.05839 | 0.2109 | 0.1313 | 0.3953 | 1.428 | 0.8886 | json |
| t12_x17_u4_b17 | 12 | 17 | 4 | 17 | ![]() |
cil(sub(D,lrg(R,R))) | 34088 | 98134850 | o1(o2(x,o2(x,x))) | true | 102551 | 102551 | 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_x17_u4_b18 | 12 | 17 | 4 | 18 | ![]() |
cil(sub(D,eql(R,R))) | 34089 | 98134851 | o1(o2(x,o2(x,x))) | true | 102559 | 102559 | -0.5 | 0 | 0.5 | 0.1418 | 0.3765 | -0.9997 | -0.000291 | 0.9994 | 1 | 3.406 | 0.06511 | 0 | 0.1228 | 1 | 1 | 0 | 0.1208 | 0.1337 | 0.05001 | 0.2236 | 1.821 | 0.9994 | 0.4593 | 0.8522 | 1 | 1 | 0.07073 | 0.2419 | 0 | 0.4989 | 1.706 | 0 | json |
| t12_x17_u4_b19 | 12 | 17 | 4 | 19 | ![]() |
cil(sub(D,min(R,R))) | 34090 | 98134852 | o1(o2(x,o2(x,x))) | true | 102567 | 102567 | 0.4573 | 0.8304 | 0.5286 | 0.217 | 0.4658 | -0.9988 | 1 | 1.999 | 1 | 4.033 | 0.03258 | 0.003315 | 0.1115 | 0.8153 | 1 | 0.00005451 | 0.06363 | 0.1154 | 0.02347 | 0.1532 | 1.374 | 1 | 0.1654 | 0.2932 | 1 | 1 | 0.03879 | 0.1924 | 0.391 | 0.1788 | 0.8867 | 1.802 | json |
| t12_x17_u4_b20 | 12 | 17 | 4 | 20 | ![]() |
cil(sub(D,dot(R,R))) | 34091 | 98134853 | o1(o2(x,o2(x,x))) | true | 102575 | 102575 | -0.4937 | 0.08667 | 0.529 | 0.1798 | 0.4241 | -1 | 0.9988 | 1.999 | 1 | 3.95 | 0.03211 | 0.002687 | 0.108 | 0.8456 | 1 | -0.0007587 | 0.06503 | 0.1155 | 0.02314 | 0.1521 | 1.409 | 0.9997 | 0.1935 | 0.3616 | 1 | 1 | 0.03835 | 0.1733 | 0.3052 | 0.2133 | 0.9639 | 1.697 | json |
| t12_x17_u4_b21 | 12 | 17 | 4 | 21 | ![]() |
cil(sub(D,dst(R,R))) | 34092 | 98134854 | o1(o2(x,o2(x,x))) | true | 102583 | 102583 | 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_x17_u4_b22 | 12 | 17 | 4 | 22 | ![]() |
cil(mlt(D,add(R,R))) | 34093 | 98134855 | o1(o2(x,o2(x,x))) | true | 102591 | 102591 | 0.5004 | 0.9122 | 0.5075 | 0.1497 | 0.3869 | -0.4414 | 1 | 1.441 | 1 | 3.798 | 0.05051 | 0.002338 | 0.1135 | 0.9115 | 1 | 0.0000143 | 0.1003 | 0.1365 | 0.03997 | 0.1999 | 1.761 | 1 | 0.3531 | 0.6699 | 1 | 1 | 0.05682 | 0.2377 | 0.2879 | 0.3796 | 1.588 | 1.923 | json |
| t12_x17_u4_b23 | 12 | 17 | 4 | 23 | ![]() |
cil(mlt(D,sub(R,R))) | 34094 | 98134856 | o1(o2(x,o2(x,x))) | true | 102599 | 102599 | 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_x17_u4_b24 | 12 | 17 | 4 | 24 | ![]() |
cil(mlt(D,mlt(R,R))) | 34095 | 98134857 | o1(o2(x,o2(x,x))) | true | 102607 | 102607 | 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_x17_u4_b25 | 12 | 17 | 4 | 25 | ![]() |
cil(mlt(D,div(R,R))) | 34096 | 98134858 | o1(o2(x,o2(x,x))) | true | 102615 | 102615 | 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_x17_u4_b26 | 12 | 17 | 4 | 26 | ![]() |
cil(mlt(D,pow(R,R))) | 34097 | 98134859 | o1(o2(x,o2(x,x))) | true | 102623 | 102623 | -0.9355 | 0.04297 | 0.9785 | 0.09869 | 0.3141 | -1 | 0.9997 | 2 | 1 | 0.4021 | 0.01067 | 0.009679 | 0.0151 | 0.04854 | 1 | 0.000005704 | 0.04215 | 0.0256 | 0.02012 | 0.1419 | 9.393 | 2 | 0.2062 | 0.4271 | 1 | 1 | 0.01507 | 0.0665 | 0.1631 | 0.1527 | 0.6738 | 1.652 | json |
| t12_x17_u4_b27 | 12 | 17 | 4 | 27 | ![]() |
cil(mlt(D,mod(R,R))) | 34098 | 98134860 | o1(o2(x,o2(x,x))) | true | 102631 | 102631 | 0.1104 | 0.3399 | 0.1104 | 0.06229 | 0.2496 | 0 | 1 | 1 | 1 | 1.611 | 0.01159 | 0.0008049 | 0.03197 | 0.8702 | 1 | -0.00001283 | 0.02203 | 0.03058 | 0.01138 | 0.1067 | 3.336 | 1 | 0.1991 | 0.3536 | 1 | 1 | 0.01702 | 0.08734 | 0.1332 | 0.2732 | 1.402 | 2.138 | json |
| t12_x17_u4_b28 | 12 | 17 | 4 | 28 | ![]() |
cil(mlt(D,lrg(R,R))) | 34099 | 98134861 | o1(o2(x,o2(x,x))) | true | 102639 | 102639 | 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 |



































































































