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 | ||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| t17_x25_u3_b65 | 17 | 25 | 3 | 65 | ![]() |
mod(R,dst(R,flr(D))) | 119100 | 139060910 | o2(x,o2(x,o1(x))) | true | 112807 | 112807 | 0.02917 | 0.5066 | 0.3792 | 0.2044 | 0.4521 | -0.9989 | 0.9806 | 1.979 | 1 | 4.823 | 0.003868 | 0.003883 | 0.06522 | -0.00194 | 1 | 0.00002656 | 0.004793 | 0.02185 | 0.003499 | 0.05915 | 0.907 | 0.932 | 0.03793 | 0.02345 | 1 | 1 | 0.01292 | 0.1509 | 0.3732 | 0.06321 | 0.7386 | 1.826 | json |
| t17_x25_u3_b66 | 17 | 25 | 3 | 66 | ![]() |
lrg(R,add(R,flr(D))) | 119101 | 139060911 | o2(x,o2(x,o1(x))) | true | 112815 | 112815 | 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 |
| t17_x25_u3_b67 | 17 | 25 | 3 | 67 | ![]() |
lrg(R,sub(R,flr(D))) | 119102 | 139060912 | o2(x,o2(x,o1(x))) | true | 112823 | 112823 | 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 |
| t17_x25_u3_b68 | 17 | 25 | 3 | 68 | ![]() |
lrg(R,mlt(R,flr(D))) | 119103 | 139060913 | o2(x,o2(x,o1(x))) | true | 112831 | 112831 | 0.4824 | 0.9147 | 0.4824 | 0.1537 | 0.3921 | 0 | 1 | 1 | 1 | 3.429 | 0.001972 | 0.002442 | 0.05168 | -0.1065 | 1 | -0.00001781 | 0.0002592 | 0.01257 | 0.001744 | 0.04176 | 0.8079 | 0.1169 | 0.02872 | 0.001686 | 1 | 1 | 0.008731 | 0.1124 | 0.2862 | 0.0568 | 0.7316 | 1.862 | json |
| t17_x25_u3_b69 | 17 | 25 | 3 | 69 | ![]() |
lrg(R,div(R,flr(D))) | 119104 | 139060914 | o2(x,o2(x,o1(x))) | true | 112839 | 112839 | 0.4961 | 0.9456 | 0.4961 | 0.147 | 0.3834 | 0 | 1 | 1 | 1 | 3.516 | 0.04778 | 0.002278 | 0.1019 | 0.909 | 1 | -0.00001497 | 0.09324 | 0.1121 | 0.03968 | 0.1992 | 1.955 | 1 | 0.3406 | 0.6344 | 1 | 1 | 0.05494 | 0.2454 | 0.2817 | 0.3738 | 1.67 | 1.917 | json |
| t17_x25_u3_b70 | 17 | 25 | 3 | 70 | ![]() |
lrg(R,pow(R,flr(D))) | 119105 | 139060915 | o2(x,o2(x,o1(x))) | true | 112847 | 112847 | 0.2607 | 0.7598 | 0.2607 | 0.1136 | 0.3371 | 0 | 0.9997 | 0.9997 | 1 | 2.903 | 0.03008 | 0.00118 | 0.07393 | 0.9245 | 1 | 0.00001639 | 0.05613 | 0.07221 | 0.02581 | 0.1607 | 2.173 | 0.9997 | 0.2752 | 0.494 | 1 | 1 | 0.03658 | 0.1608 | 0.1417 | 0.322 | 1.415 | 1.247 | json |
| t17_x25_u3_b71 | 17 | 25 | 3 | 71 | ![]() |
lrg(R,mod(R,flr(D))) | 119106 | 139060916 | o2(x,o2(x,o1(x))) | true | 112855 | 112855 | 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 |
| t17_x25_u3_b72 | 17 | 25 | 3 | 72 | ![]() |
lrg(R,lrg(R,flr(D))) | 119107 | 139060917 | o2(x,o2(x,o1(x))) | true | 112863 | 112863 | 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 |
| t17_x25_u3_b73 | 17 | 25 | 3 | 73 | ![]() |
lrg(R,eql(R,flr(D))) | 119108 | 139060918 | o2(x,o2(x,o1(x))) | true | 112871 | 112871 | 0.4824 | 0.9147 | 0.4824 | 0.1537 | 0.3921 | 0 | 1 | 1 | 1 | 3.429 | 0.001972 | 0.002442 | 0.05168 | -0.1065 | 1 | -0.00001781 | 0.0002592 | 0.01257 | 0.001744 | 0.04176 | 0.8079 | 0.1169 | 0.02872 | 0.001686 | 1 | 1 | 0.008731 | 0.1124 | 0.2862 | 0.0568 | 0.7316 | 1.862 | json |
| t17_x25_u3_b74 | 17 | 25 | 3 | 74 | ![]() |
lrg(R,min(R,flr(D))) | 119109 | 139060919 | o2(x,o2(x,o1(x))) | true | 112879 | 112879 | 0.7432 | 1 | 0.7432 | 0.1126 | 0.3355 | 0.000291 | 1 | 0.9997 | 1 | 2.88 | 0.03004 | 0.00118 | 0.07441 | 0.9244 | 1 | -0.000001422 | 0.05612 | 0.0721 | 0.02568 | 0.1603 | 2.154 | 0.9997 | 0.2773 | 0.4985 | 1 | 1 | 0.03636 | 0.1591 | 0.1423 | 0.323 | 1.413 | 1.264 | json |
| t17_x25_u3_b75 | 17 | 25 | 3 | 75 | ![]() |
lrg(R,dot(R,flr(D))) | 119110 | 139060920 | o2(x,o2(x,o1(x))) | true | 112887 | 112887 | 0.4727 | 0.8928 | 0.4727 | 0.1545 | 0.393 | 0 | 1 | 1 | 1 | 3.405 | 0.004927 | 0.0108 | 0.06451 | -0.3736 | 1 | -0.00001069 | 0.02434 | 0.04039 | 0.01157 | 0.1076 | 1.667 | 1 | 0.1018 | 0.1576 | 1 | 1 | 0.02126 | 0.1449 | 0.2815 | 0.1376 | 0.9379 | 1.822 | json |
| t17_x25_u3_b76 | 17 | 25 | 3 | 76 | ![]() |
lrg(R,dst(R,flr(D))) | 119111 | 139060921 | o2(x,o2(x,o1(x))) | true | 112895 | 112895 | 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 |
| t17_x25_u3_b77 | 17 | 25 | 3 | 77 | ![]() |
eql(R,add(R,flr(D))) | 119112 | 139060922 | o2(x,o2(x,o1(x))) | true | 112903 | 112903 | 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 |
| t17_x25_u3_b78 | 17 | 25 | 3 | 78 | ![]() |
eql(R,sub(R,flr(D))) | 119113 | 139060923 | o2(x,o2(x,o1(x))) | true | 112911 | 112911 | 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 |
| t17_x25_u3_b79 | 17 | 25 | 3 | 79 | ![]() |
eql(R,mlt(R,flr(D))) | 119114 | 139060924 | o2(x,o2(x,o1(x))) | true | 112919 | 112919 | 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 |
| t17_x25_u3_b80 | 17 | 25 | 3 | 80 | ![]() |
eql(R,div(R,flr(D))) | 119115 | 139060925 | o2(x,o2(x,o1(x))) | true | 112927 | 112927 | 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 |
| t17_x25_u3_b81 | 17 | 25 | 3 | 81 | ![]() |
eql(R,pow(R,flr(D))) | 119116 | 139060926 | o2(x,o2(x,o1(x))) | true | 112935 | 112935 | 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 |
| t17_x25_u3_b82 | 17 | 25 | 3 | 82 | ![]() |
eql(R,mod(R,flr(D))) | 119117 | 139060927 | o2(x,o2(x,o1(x))) | true | 112943 | 112943 | 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 |
| t17_x25_u3_b83 | 17 | 25 | 3 | 83 | ![]() |
eql(R,lrg(R,flr(D))) | 119118 | 139060928 | o2(x,o2(x,o1(x))) | true | 112951 | 112951 | 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 |
| t17_x25_u3_b84 | 17 | 25 | 3 | 84 | ![]() |
eql(R,eql(R,flr(D))) | 119119 | 139060929 | o2(x,o2(x,o1(x))) | true | 112959 | 112959 | 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 |
| t17_x25_u3_b85 | 17 | 25 | 3 | 85 | ![]() |
eql(R,min(R,flr(D))) | 119120 | 139060930 | o2(x,o2(x,o1(x))) | true | 112967 | 112967 | 0.2568 | 0.752 | 0.2568 | 0.1126 | 0.3355 | 0 | 0.9997 | 0.9997 | 1 | 2.88 | 0.03004 | 0.00118 | 0.07441 | 0.9244 | 1 | 0.000001422 | 0.05612 | 0.0721 | 0.02568 | 0.1603 | 2.154 | 0.9997 | 0.2773 | 0.4985 | 1 | 1 | 0.03636 | 0.1591 | 0.1423 | 0.323 | 1.413 | 1.264 | json |
| t17_x25_u3_b86 | 17 | 25 | 3 | 86 | ![]() |
eql(R,dot(R,flr(D))) | 119121 | 139060931 | o2(x,o2(x,o1(x))) | true | 112975 | 112975 | 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 |
| t17_x25_u3_b87 | 17 | 25 | 3 | 87 | ![]() |
eql(R,dst(R,flr(D))) | 119122 | 139060932 | o2(x,o2(x,o1(x))) | true | 112983 | 112983 | 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 |
| t17_x25_u3_b88 | 17 | 25 | 3 | 88 | ![]() |
min(R,add(R,flr(D))) | 119123 | 139060933 | o2(x,o2(x,o1(x))) | true | 112991 | 112991 | -0.4204 | 0.201 | 0.5662 | 0.2506 | 0.5006 | -1 | 0.9804 | 1.98 | 1 | 4.386 | 0.0477 | 0.002539 | 0.1158 | 0.8989 | 1 | 0.0001124 | 0.08414 | 0.1109 | 0.03684 | 0.1919 | 1.658 | 1.023 | 0.2005 | 0.3357 | 1 | 1 | 0.05898 | 0.2859 | 0.2878 | 0.2353 | 1.141 | 1.149 | json |
| t17_x25_u3_b89 | 17 | 25 | 3 | 89 | ![]() |
min(R,sub(R,flr(D))) | 119124 | 139060934 | o2(x,o2(x,o1(x))) | true | 112999 | 112999 | 0.008979 | 0.4983 | 0.3946 | 0.2196 | 0.4686 | -0.9989 | 0.9806 | 1.979 | 1 | 4.862 | 0.002813 | 0.00317 | 0.0632 | -0.05957 | 1 | 0.00002651 | 0.0003508 | 0.01449 | 0.001989 | 0.0446 | 0.7057 | 0.2301 | 0.02725 | 0.001598 | 1 | 1 | 0.01182 | 0.1519 | 0.3914 | 0.05384 | 0.6917 | 1.782 | json |
| t17_x25_u3_b90 | 17 | 25 | 3 | 90 | ![]() |
min(R,mlt(R,flr(D))) | 119125 | 139060935 | o2(x,o2(x,o1(x))) | true | 113007 | 113007 | -0.3846 | 0 | 0.3846 | 0.06862 | 0.2619 | -0.9989 | -9.622e-7 | 0.9989 | 1 | 3.86 | 0.01029 | 0.0008196 | 0.05062 | 0.8525 | 1 | 0.000009908 | 0.01881 | 0.03866 | 0.008551 | 0.09247 | 1.827 | 0.9689 | 0.162 | 0.2741 | 1 | 1 | 0.01258 | 0.06671 | 0.1041 | 0.1834 | 0.9723 | 1.517 | json |
| t17_x25_u3_b91 | 17 | 25 | 3 | 91 | ![]() |
min(R,div(R,flr(D))) | 119126 | 139060936 | o2(x,o2(x,o1(x))) | true | 113015 | 113015 | -0.7758 | 0.1127 | 0.8665 | 0.2257 | 0.4751 | -1 | 0.9632 | 1.963 | 1 | 1.812 | 0.03325 | 0.02193 | 0.05663 | 0.2052 | 1 | 0.00002175 | 0.1133 | 0.0849 | 0.05196 | 0.2279 | 4.025 | 1.963 | 0.2444 | 0.5018 | 1 | 1 | 0.05567 | 0.2372 | 0.4735 | 0.2466 | 1.051 | 2.098 | json |
| t17_x25_u3_b92 | 17 | 25 | 3 | 92 | ![]() |
min(R,pow(R,flr(D))) | 119127 | 139060937 | o2(x,o2(x,o1(x))) | true | 113023 | 113023 | 0.008979 | 0.4983 | 0.3946 | 0.2196 | 0.4686 | -0.9989 | 0.9806 | 1.979 | 1 | 4.862 | 0.002813 | 0.00317 | 0.0632 | -0.05957 | 1 | 0.00002651 | 0.0003508 | 0.01449 | 0.001989 | 0.0446 | 0.7057 | 0.2301 | 0.02725 | 0.001598 | 1 | 1 | 0.01182 | 0.1519 | 0.3914 | 0.05384 | 0.6917 | 1.782 | json |
| t17_x25_u3_b93 | 17 | 25 | 3 | 93 | ![]() |
min(R,mod(R,flr(D))) | 119128 | 139060938 | o2(x,o2(x,o1(x))) | true | 113031 | 113031 | 0.008979 | 0.4983 | 0.3946 | 0.2196 | 0.4686 | -0.9989 | 0.9806 | 1.979 | 1 | 4.862 | 0.002813 | 0.00317 | 0.0632 | -0.05957 | 1 | 0.00002651 | 0.0003508 | 0.01449 | 0.001989 | 0.0446 | 0.7057 | 0.2301 | 0.02725 | 0.001598 | 1 | 1 | 0.01182 | 0.1519 | 0.3914 | 0.05384 | 0.6917 | 1.782 | json |
| t17_x25_u3_b94 | 17 | 25 | 3 | 94 | ![]() |
min(R,lrg(R,flr(D))) | 119129 | 139060939 | o2(x,o2(x,o1(x))) | true | 113039 | 113039 | 0.008979 | 0.4983 | 0.3946 | 0.2196 | 0.4686 | -0.9989 | 0.9806 | 1.979 | 1 | 4.862 | 0.002813 | 0.00317 | 0.0632 | -0.05957 | 1 | 0.00002651 | 0.0003508 | 0.01449 | 0.001989 | 0.0446 | 0.7057 | 0.2301 | 0.02725 | 0.001598 | 1 | 1 | 0.01182 | 0.1519 | 0.3914 | 0.05384 | 0.6917 | 1.782 | json |
| t17_x25_u3_b95 | 17 | 25 | 3 | 95 | ![]() |
min(R,eql(R,flr(D))) | 119130 | 139060940 | o2(x,o2(x,o1(x))) | true | 113047 | 113047 | -0.2541 | 0 | 0.2541 | 0.06549 | 0.2559 | -0.9989 | 0 | 0.9989 | 1 | 3.542 | 0.000768 | 0.0009295 | 0.0314 | -0.09514 | 1 | 0.00001332 | 0.00009988 | 0.007359 | 0.0007117 | 0.02668 | 0.8497 | 0.1168 | 0.02592 | 0.001525 | 1 | 1 | 0.003123 | 0.04017 | 0.1061 | 0.04769 | 0.6134 | 1.62 | json |
| t17_x25_u3_b96 | 17 | 25 | 3 | 96 | ![]() |
min(R,min(R,flr(D))) | 119131 | 139060941 | o2(x,o2(x,o1(x))) | true | 113055 | 113055 | -0.6254 | 0 | 0.6254 | 0.1106 | 0.3326 | -1 | -0.000291 | 0.9997 | 1 | 3.681 | 0.04112 | 0.0004469 | 0.09628 | 0.9785 | 1 | 0.00001223 | 0.07632 | 0.09986 | 0.0323 | 0.1797 | 1.867 | 0.9997 | 0.3757 | 0.6897 | 1 | 1 | 0.04474 | 0.1658 | 0.05191 | 0.4044 | 1.498 | 0.4691 | json |
| t17_x25_u3_b97 | 17 | 25 | 3 | 97 | ![]() |
min(R,dot(R,flr(D))) | 119132 | 139060942 | o2(x,o2(x,o1(x))) | true | 113063 | 113063 | -0.409 | 0.07526 | 0.4373 | 0.1005 | 0.3169 | -1 | 0.9405 | 1.94 | 1 | 4.278 | 0.009331 | 0.007818 | 0.06788 | 0.08825 | 1 | 0.00002596 | 0.02936 | 0.06106 | 0.01254 | 0.112 | 1.65 | 1.341 | 0.1707 | 0.2923 | 1 | 1 | 0.01967 | 0.1083 | 0.1761 | 0.1958 | 1.078 | 1.753 | json |
| t17_x25_u3_b98 | 17 | 25 | 3 | 98 | ![]() |
min(R,dst(R,flr(D))) | 119133 | 139060943 | o2(x,o2(x,o1(x))) | true | 113071 | 113071 | 0.008979 | 0.4983 | 0.3946 | 0.2196 | 0.4686 | -0.9989 | 0.9806 | 1.979 | 1 | 4.862 | 0.002813 | 0.00317 | 0.0632 | -0.05957 | 1 | 0.00002651 | 0.0003508 | 0.01449 | 0.001989 | 0.0446 | 0.7057 | 0.2301 | 0.02725 | 0.001598 | 1 | 1 | 0.01182 | 0.1519 | 0.3914 | 0.05384 | 0.6917 | 1.782 | json |
| t17_x25_u3_b99 | 17 | 25 | 3 | 99 | ![]() |
dot(R,add(R,flr(D))) | 119134 | 139060944 | o2(x,o2(x,o1(x))) | true | 113079 | 113079 | 0.7692 | 0.9754 | 0.776 | 0.09639 | 0.3105 | -0.4804 | 1 | 1.48 | 1 | 2.939 | 0.007218 | 0.008061 | 0.05817 | -0.05516 | 1 | -0.00009151 | 0.02505 | 0.06002 | 0.01189 | 0.1091 | 1.875 | 1.319 | 0.1585 | 0.2599 | 1 | 1 | 0.01975 | 0.1072 | 0.1624 | 0.2049 | 1.112 | 1.684 | json |
| t17_x25_u3_b100 | 17 | 25 | 3 | 100 | ![]() |
dot(R,sub(R,flr(D))) | 119135 | 139060945 | o2(x,o2(x,o1(x))) | true | 113087 | 113087 | 0.7648 | 0.9763 | 0.7703 | 0.09653 | 0.3107 | -0.4324 | 1 | 1.432 | 1 | 2.937 | 0.006496 | 0.007177 | 0.05605 | -0.04981 | 1 | -0.00007521 | 0.02148 | 0.0563 | 0.01053 | 0.1026 | 1.831 | 1.139 | 0.1417 | 0.2225 | 1 | 1 | 0.01545 | 0.09283 | 0.1638 | 0.1601 | 0.9617 | 1.697 | json |
| t17_x25_u3_b101 | 17 | 25 | 3 | 101 | ![]() |
dot(R,mlt(R,flr(D))) | 119136 | 139060946 | o2(x,o2(x,o1(x))) | true | 113095 | 113095 | -0.3437 | 0 | 0.3437 | 0.08253 | 0.2873 | -1 | -0.000001088 | 1 | 1 | 3.746 | 0.01165 | 0.0116 | 0.07787 | 0.002349 | 1 | 0.00001943 | 0.04196 | 0.08459 | 0.01718 | 0.1311 | 1.683 | 0.9976 | 0.2817 | 0.5084 | 1 | 1 | 0.02509 | 0.1079 | 0.09007 | 0.3041 | 1.307 | 1.091 | json |
| t17_x25_u3_b102 | 17 | 25 | 3 | 102 | ![]() |
dot(R,div(R,flr(D))) | 119137 | 139060947 | o2(x,o2(x,o1(x))) | true | 113103 | 113103 | -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 |
| t17_x25_u3_b103 | 17 | 25 | 3 | 103 | ![]() |
dot(R,pow(R,flr(D))) | 119138 | 139060948 | o2(x,o2(x,o1(x))) | true | 113111 | 113111 | -0.9095 | 0.04755 | 0.989 | 0.1584 | 0.3979 | -1 | 1 | 2 | 1 | 0.4428 | 0.01614 | 0.01923 | 0.02246 | -0.08731 | 1 | 0.000004713 | 0.07285 | 0.03909 | 0.03486 | 0.1867 | 8.312 | 2.828 | 0.2234 | 0.46 | 1 | 1 | 0.05529 | 0.2431 | 0.5191 | 0.3492 | 1.535 | 3.278 | json |
| t17_x25_u3_b104 | 17 | 25 | 3 | 104 | ![]() |
dot(R,mod(R,flr(D))) | 119139 | 139060949 | o2(x,o2(x,o1(x))) | true | 113119 | 113119 | -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 |
| t17_x25_u3_b105 | 17 | 25 | 3 | 105 | ![]() |
dot(R,lrg(R,flr(D))) | 119140 | 139060950 | o2(x,o2(x,o1(x))) | true | 113127 | 113127 | 0.4497 | 0.8164 | 0.5724 | 0.2377 | 0.4875 | -1 | 1 | 2 | 1 | 4.333 | 0.01154 | 0.01053 | 0.08741 | 0.04554 | 1 | -0.00004276 | 0.03027 | 0.06798 | 0.01443 | 0.1201 | 1.374 | 0.999 | 0.09287 | 0.1274 | 1 | 1 | 0.02713 | 0.1978 | 0.4125 | 0.1142 | 0.8321 | 1.736 | json |
| t17_x25_u3_b106 | 17 | 25 | 3 | 106 | ![]() |
dot(R,eql(R,flr(D))) | 119141 | 139060951 | o2(x,o2(x,o1(x))) | true | 113135 | 113135 | 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 |
| t17_x25_u3_b107 | 17 | 25 | 3 | 107 | ![]() |
dot(R,min(R,flr(D))) | 119142 | 139060952 | o2(x,o2(x,o1(x))) | true | 113143 | 113143 | 0.2937 | 0.7488 | 0.4768 | 0.2417 | 0.4916 | -1 | 1 | 2 | 1 | 4.671 | 0.01171 | 0.01273 | 0.09362 | -0.04157 | 1 | -0.00004875 | 0.03624 | 0.07939 | 0.01567 | 0.1252 | 1.337 | 1.051 | 0.1011 | 0.1499 | 1 | 1 | 0.03302 | 0.2224 | 0.432 | 0.1366 | 0.9202 | 1.787 | json |
| t17_x25_u3_b108 | 17 | 25 | 3 | 108 | ![]() |
dot(R,dot(R,flr(D))) | 119143 | 139060953 | o2(x,o2(x,o1(x))) | true | 113151 | 113151 | -0.2741 | 0.187 | 0.3146 | 0.1258 | 0.3546 | -1 | 0.8172 | 1.817 | 1 | 4.04 | 0.01279 | 0.01273 | 0.08087 | 0.002297 | 1 | 0.00006342 | 0.04418 | 0.0828 | 0.01898 | 0.1378 | 1.704 | 1.329 | 0.2029 | 0.3513 | 1 | 1 | 0.03277 | 0.1733 | 0.2102 | 0.2606 | 1.378 | 1.671 | json |
| t17_x25_u3_b109 | 17 | 25 | 3 | 109 | ![]() |
dot(R,dst(R,flr(D))) | 119144 | 139060954 | o2(x,o2(x,o1(x))) | true | 113159 | 113159 | 0.1057 | 0.5487 | 0.6154 | 0.4918 | 0.7013 | -1 | 1 | 2 | 1 | 4.436 | 0.01086 | 0.01228 | 0.1001 | -0.06128 | 1 | 0.000005021 | 0.01415 | 0.05753 | 0.01312 | 0.1145 | 1.144 | 1.002 | 0.04705 | 0.02877 | 1 | 1 | 0.0431 | 0.3984 | 0.9381 | 0.08763 | 0.8101 | 1.907 | json |
| t17_x25_u3_b110 | 17 | 25 | 3 | 110 | ![]() |
dst(R,add(R,flr(D))) | 119145 | 139060955 | o2(x,o2(x,o1(x))) | true | 113167 | 113167 | 0.7721 | 1 | 0.7721 | 0.09526 | 0.3086 | 0.000582 | 1 | 0.9994 | 1 | 2.801 | 0.0257 | 0.0257 | 0.1088 | 8.698e-7 | 1 | -0.00009022 | 0.1027 | 0.1322 | 0.03956 | 0.1989 | 1.829 | 0.9992 | 0.5395 | 1.078 | 1 | 1 | 0.05654 | 0.202 | 2.247e-16 | 0.5936 | 2.12 | 2.359e-15 | json |
| t17_x25_u3_b111 | 17 | 25 | 3 | 111 | ![]() |
dst(R,sub(R,flr(D))) | 119146 | 139060956 | o2(x,o2(x,o1(x))) | true | 113175 | 113175 | 0.7721 | 1 | 0.7721 | 0.09526 | 0.3086 | 0.000582 | 1 | 0.9994 | 1 | 2.801 | 0.0257 | 0.0257 | 0.1088 | 8.698e-7 | 1 | -0.00009022 | 0.1027 | 0.1322 | 0.03956 | 0.1989 | 1.829 | 0.9992 | 0.5395 | 1.078 | 1 | 1 | 0.05654 | 0.202 | 0 | 0.5936 | 2.12 | 0 | json |
| t17_x25_u3_b112 | 17 | 25 | 3 | 112 | ![]() |
dst(R,mlt(R,flr(D))) | 119147 | 139060957 | o2(x,o2(x,o1(x))) | true | 113183 | 113183 | 0.9612 | 1 | 0.9612 | 0.01092 | 0.1045 | 0.09983 | 1 | 0.9002 | 1 | 1.082 | 0.0008647 | 0.0009738 | 0.01453 | -0.05938 | 1 | -0.00004665 | 0.002718 | 0.01553 | 0.001628 | 0.04035 | 2.776 | 0.45 | 0.1683 | 0.2488 | 1 | 1 | 0.002036 | 0.01016 | 0.01474 | 0.1864 | 0.9306 | 1.35 | json |
| t17_x25_u3_b113 | 17 | 25 | 3 | 113 | ![]() |
dst(R,div(R,flr(D))) | 119148 | 139060958 | o2(x,o2(x,o1(x))) | true | 113191 | 113191 | -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 |
| t17_x25_u3_b114 | 17 | 25 | 3 | 114 | ![]() |
dst(R,pow(R,flr(D))) | 119149 | 139060959 | o2(x,o2(x,o1(x))) | true | 113199 | 113199 | -0.891 | 0.05469 | 0.9996 | 0.2053 | 0.4531 | -1 | 1 | 2 | 1 | 0.321 | 0.02279 | 0.02445 | 0.02374 | -0.03502 | 1 | 0 | 0.09935 | 0.04762 | 0.04665 | 0.216 | 9.099 | 2.828 | 0.23 | 0.4838 | 1 | 1 | 0.0723 | 0.2941 | 0.6813 | 0.3521 | 1.432 | 3.318 | json |
| t17_x25_u3_b115 | 17 | 25 | 3 | 115 | ![]() |
dst(R,mod(R,flr(D))) | 119150 | 139060960 | o2(x,o2(x,o1(x))) | true | 113207 | 113207 | -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 |
| t17_x25_u3_b116 | 17 | 25 | 3 | 116 | ![]() |
dst(R,lrg(R,flr(D))) | 119151 | 139060961 | o2(x,o2(x,o1(x))) | true | 113215 | 113215 | 0.9561 | 1 | 0.9561 | 0.01154 | 0.1074 | 0.2411 | 1 | 0.7589 | 1 | 1.199 | 0.001106 | 0.001162 | 0.01577 | -0.02478 | 1 | -0.00004857 | 0.003571 | 0.01585 | 0.00202 | 0.04494 | 2.849 | 0.7092 | 0.1964 | 0.3094 | 1 | 1 | 0.003127 | 0.01662 | 0.02401 | 0.2709 | 1.44 | 2.08 | json |
| t17_x25_u3_b117 | 17 | 25 | 3 | 117 | ![]() |
dst(R,eql(R,flr(D))) | 119152 | 139060962 | o2(x,o2(x,o1(x))) | true | 113223 | 113223 | 0.897 | 1 | 0.897 | 0.02252 | 0.1501 | 0.09951 | 1 | 0.9005 | 1 | 2.181 | 0.0003411 | 0.0004606 | 0.01666 | -0.149 | 1 | -0.00001961 | 0.000143 | 0.005703 | 0.0005243 | 0.0229 | 1.374 | 0.1266 | 0.0356 | 0.006351 | 1 | 1 | 0.001342 | 0.015 | 0.03485 | 0.05959 | 0.666 | 1.547 | json |
| t17_x25_u3_b118 | 17 | 25 | 3 | 118 | ![]() |
dst(R,min(R,flr(D))) | 119153 | 139060963 | o2(x,o2(x,o1(x))) | true | 113231 | 113231 | 0.8768 | 1 | 0.8768 | 0.04828 | 0.2197 | 0.0002455 | 1 | 0.9998 | 1 | 2.111 | 0.006866 | 0.006032 | 0.04523 | 0.06468 | 1 | -0.00006277 | 0.02286 | 0.05257 | 0.01085 | 0.1042 | 2.303 | 0.9963 | 0.2671 | 0.4735 | 1 | 1 | 0.0138 | 0.05724 | 0.06895 | 0.2857 | 1.186 | 1.428 | json |
| t17_x25_u3_b119 | 17 | 25 | 3 | 119 | ![]() |
dst(R,dot(R,flr(D))) | 119154 | 139060964 | o2(x,o2(x,o1(x))) | true | 113239 | 113239 | 0.963 | 1 | 0.963 | 0.01071 | 0.1035 | 0.1001 | 1 | 0.8999 | 1 | 1.029 | 0.0009863 | 0.001187 | 0.01525 | -0.09229 | 1 | -0.00007559 | 0.003435 | 0.0172 | 0.001939 | 0.04404 | 2.888 | 0.5912 | 0.2028 | 0.3206 | 1 | 1 | 0.002521 | 0.01139 | 0.01542 | 0.2353 | 1.063 | 1.439 | json |
| t17_x25_u3_b120 | 17 | 25 | 3 | 120 | ![]() |
dst(R,dst(R,flr(D))) | 119155 | 139060965 | o2(x,o2(x,o1(x))) | true | 113247 | 113247 | 0.9984 | 1 | 0.9984 | 0.0005996 | 0.02449 | 0.07809 | 1 | 0.9219 | 1 | 0.07337 | 0.000194 | 0.0001993 | 0.001475 | -0.01347 | 1 | -0.000007225 | 0.0008187 | 0.00221 | 0.0003909 | 0.01977 | 13.41 | 0.9219 | 0.6559 | 1.365 | 1 | 1 | 0.0003142 | 0.0007436 | 0.0008415 | 0.5239 | 1.24 | 1.403 | json |
| t17_x25_u4_b0 | 17 | 25 | 4 | 0 | ![]() |
add(R,add(R,cil(D))) | 119156 | 139061046 | o2(x,o2(x,o1(x))) | true | 113255 | 113255 | 0.3266 | 0.681 | 0.6853 | 0.4782 | 0.6915 | -1 | 1 | 2 | 1 | 4.051 | 0.0389 | 0.008083 | 0.1184 | 0.6559 | 1 | -0.00007044 | 0.06261 | 0.09542 | 0.03296 | 0.1816 | 1.533 | 1.097 | 0.09825 | 0.1309 | 1 | 1 | 0.06461 | 0.429 | 0.7428 | 0.1351 | 0.8972 | 1.553 | json |
| t17_x25_u4_b1 | 17 | 25 | 4 | 1 | ![]() |
add(R,sub(R,cil(D))) | 119157 | 139061047 | o2(x,o2(x,o1(x))) | true | 113263 | 113263 | -0.3052 | 0.3334 | 0.6852 | 0.4876 | 0.6983 | -1 | 1 | 2 | 1 | 4.117 | 0.03755 | 0.008409 | 0.1188 | 0.6341 | 1 | 0.0001011 | 0.0593 | 0.09324 | 0.03185 | 0.1785 | 1.502 | 1.091 | 0.09426 | 0.1216 | 1 | 1 | 0.06319 | 0.4413 | 0.8163 | 0.1296 | 0.9052 | 1.674 | json |
| t17_x25_u4_b2 | 17 | 25 | 4 | 2 | ![]() |
add(R,mlt(R,cil(D))) | 119158 | 139061048 | o2(x,o2(x,o1(x))) | true | 113271 | 113271 | 0.01306 | 0.4976 | 0.5389 | 0.3951 | 0.6286 | -1 | 1 | 2 | 1 | 4.838 | 0.01097 | 0.006562 | 0.09545 | 0.2514 | 1 | 0.00002465 | 0.01265 | 0.05222 | 0.008423 | 0.09178 | 0.9615 | 0.5304 | 0.04437 | 0.03203 | 1 | 1 | 0.02978 | 0.3045 | 0.7092 | 0.07536 | 0.7706 | 1.795 | json |
| t17_x25_u4_b3 | 17 | 25 | 4 | 3 | ![]() |
add(R,div(R,cil(D))) | 119159 | 139061049 | o2(x,o2(x,o1(x))) | true | 113279 | 113279 | -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 |
| t17_x25_u4_b4 | 17 | 25 | 4 | 4 | ![]() |
add(R,pow(R,cil(D))) | 119160 | 139061050 | o2(x,o2(x,o1(x))) | true | 113287 | 113287 | -0.5944 | 0.2188 | 0.9681 | 0.5989 | 0.7739 | -1 | 1 | 2 | 1 | 1.266 | 0.06818 | 0.05754 | 0.07261 | 0.08464 | 1 | -0.000008975 | 0.2647 | 0.1374 | 0.1205 | 0.3471 | 4.781 | 2.828 | 0.2099 | 0.4419 | 1 | 1 | 0.1301 | 0.5515 | 1.309 | 0.2172 | 0.9209 | 2.186 | json |
| t17_x25_u4_b5 | 17 | 25 | 4 | 5 | ![]() |
add(R,mod(R,cil(D))) | 119161 | 139061051 | o2(x,o2(x,o1(x))) | true | 113295 | 113295 | -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 |
| t17_x25_u4_b6 | 17 | 25 | 4 | 6 | ![]() |
add(R,lrg(R,cil(D))) | 119162 | 139061052 | o2(x,o2(x,o1(x))) | true | 113303 | 113303 | 0.1851 | 0.5664 | 0.5308 | 0.3542 | 0.5952 | -0.9989 | 1 | 1.999 | 1 | 4.658 | 0.01508 | 0.005845 | 0.0931 | 0.4415 | 1 | -0.00008226 | 0.02128 | 0.05427 | 0.01226 | 0.1107 | 1.189 | 0.9971 | 0.05908 | 0.06008 | 1 | 1 | 0.03054 | 0.2786 | 0.6048 | 0.0862 | 0.7864 | 1.707 | json |
| t17_x25_u4_b7 | 17 | 25 | 4 | 7 | ![]() |
add(R,eql(R,cil(D))) | 119163 | 139061053 | o2(x,o2(x,o1(x))) | true | 113311 | 113311 | 0.008979 | 0.4983 | 0.3946 | 0.2196 | 0.4686 | -0.9989 | 0.9806 | 1.979 | 1 | 4.862 | 0.002813 | 0.00317 | 0.0632 | -0.05957 | 1 | 0.00002651 | 0.0003508 | 0.01449 | 0.001989 | 0.0446 | 0.7057 | 0.2301 | 0.02725 | 0.001598 | 1 | 1 | 0.01182 | 0.1519 | 0.3914 | 0.05384 | 0.6917 | 1.782 | json |
| t17_x25_u4_b8 | 17 | 25 | 4 | 8 | ![]() |
add(R,min(R,cil(D))) | 119164 | 139061054 | o2(x,o2(x,o1(x))) | true | 113319 | 113319 | -0.07804 | 0.4623 | 0.6008 | 0.4646 | 0.6816 | -1 | 1 | 2 | 1 | 4.655 | 0.01062 | 0.007903 | 0.09572 | 0.1468 | 1 | 0.00006323 | 0.009317 | 0.04318 | 0.009361 | 0.09675 | 1.011 | 0.7522 | 0.03987 | 0.02005 | 1 | 1 | 0.03328 | 0.352 | 0.8241 | 0.07162 | 0.7575 | 1.774 | json |
| t17_x25_u4_b9 | 17 | 25 | 4 | 9 | ![]() |
add(R,dot(R,cil(D))) | 119165 | 139061055 | o2(x,o2(x,o1(x))) | true | 113327 | 113327 | 0.02194 | 0.4982 | 0.5644 | 0.4281 | 0.6543 | -1 | 1 | 2 | 1 | 4.753 | 0.01261 | 0.01689 | 0.1123 | -0.1453 | 1 | 0.00002901 | 0.03594 | 0.0873 | 0.0169 | 0.13 | 1.158 | 1.028 | 0.06891 | 0.08396 | 1 | 1 | 0.04169 | 0.3424 | 0.7538 | 0.09739 | 0.7999 | 1.761 | json |
| t17_x25_u4_b10 | 17 | 25 | 4 | 10 | ![]() |
add(R,dst(R,cil(D))) | 119166 | 139061056 | o2(x,o2(x,o1(x))) | true | 113335 | 113335 | 0.9276 | 1 | 0.9276 | 0.0305 | 0.1746 | 0.03175 | 1 | 0.9682 | 1 | 1.411 | 0.008025 | 0.002715 | 0.03291 | 0.4944 | 1 | -0.00004988 | 0.01972 | 0.04152 | 0.009654 | 0.09825 | 2.985 | 1.217 | 0.3521 | 0.6466 | 1 | 1 | 0.01281 | 0.05266 | 0.04966 | 0.4199 | 1.727 | 1.628 | json |
| t17_x25_u4_b11 | 17 | 25 | 4 | 11 | ![]() |
sub(R,add(R,cil(D))) | 119167 | 139061057 | o2(x,o2(x,o1(x))) | true | 113343 | 113343 | -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 |
| t17_x25_u4_b12 | 17 | 25 | 4 | 12 | ![]() |
sub(R,sub(R,cil(D))) | 119168 | 139061058 | o2(x,o2(x,o1(x))) | true | 113351 | 113351 | 0.5 | 1 | 0.5 | 0.1418 | 0.3765 | 0.000291 | 0.9997 | 0.9994 | 1 | 3.406 | 0.06511 | 1.889e-17 | 0.1228 | 1 | 1 | -1.547e-9 | 0.1208 | 0.1337 | 0.05001 | 0.2236 | 1.821 | 0.9994 | 0.4593 | 0.8522 | 1 | 1 | 0.07073 | 0.2419 | 2.515e-16 | 0.4989 | 1.706 | 1.774e-15 | json |
| t17_x25_u4_b13 | 17 | 25 | 4 | 13 | ![]() |
sub(R,mlt(R,cil(D))) | 119169 | 139061059 | o2(x,o2(x,o1(x))) | true | 113359 | 113359 | 0.001852 | 0.4745 | 0.2242 | 0.1077 | 0.3281 | -0.9987 | 0.9806 | 1.979 | 1 | 4.189 | 0.01779 | 0.001554 | 0.06824 | 0.8393 | 1 | 0.000004494 | 0.03338 | 0.06297 | 0.01469 | 0.1212 | 1.776 | 0.9987 | 0.1797 | 0.31 | 1 | 1 | 0.02213 | 0.123 | 0.1936 | 0.2055 | 1.143 | 1.798 | json |
| t17_x25_u4_b14 | 17 | 25 | 4 | 14 | ![]() |
sub(R,div(R,cil(D))) | 119170 | 139061060 | o2(x,o2(x,o1(x))) | true | 113367 | 113367 | -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 |
| t17_x25_u4_b15 | 17 | 25 | 4 | 15 | ![]() |
sub(R,pow(R,cil(D))) | 119171 | 139061061 | o2(x,o2(x,o1(x))) | true | 113375 | 113375 | -0.8736 | 0 | 0.8736 | 0.08741 | 0.2957 | -1 | -0.00001739 | 1 | 1 | 1.283 | 0.0125 | 0.008167 | 0.0341 | 0.2098 | 1 | 0.00003074 | 0.04165 | 0.04792 | 0.01952 | 0.1397 | 4.097 | 1.372 | 0.2365 | 0.4765 | 1 | 1 | 0.02181 | 0.09339 | 0.1759 | 0.2495 | 1.068 | 2.013 | json |
| t17_x25_u4_b16 | 17 | 25 | 4 | 16 | ![]() |
sub(R,mod(R,cil(D))) | 119172 | 139061062 | o2(x,o2(x,o1(x))) | true | 113383 | 113383 | -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 |
| t17_x25_u4_b17 | 17 | 25 | 4 | 17 | ![]() |
sub(R,lrg(R,cil(D))) | 119173 | 139061063 | o2(x,o2(x,o1(x))) | true | 113391 | 113391 | -0.2303 | 0.2405 | 0.3979 | 0.1667 | 0.4083 | -0.9989 | 0.9804 | 1.979 | 1 | 4.645 | 0.0282 | 0.001873 | 0.08408 | 0.8754 | 1 | 0.0000429 | 0.05111 | 0.06917 | 0.023 | 0.1517 | 1.804 | 1.004 | 0.1803 | 0.3065 | 1 | 1 | 0.03368 | 0.1776 | 0.2373 | 0.202 | 1.065 | 1.423 | json |
| t17_x25_u4_b18 | 17 | 25 | 4 | 18 | ![]() |
sub(R,eql(R,cil(D))) | 119174 | 139061064 | o2(x,o2(x,o1(x))) | true | 113399 | 113399 | 0.008979 | 0.4983 | 0.3946 | 0.2196 | 0.4686 | -0.9989 | 0.9806 | 1.979 | 1 | 4.862 | 0.002813 | 0.00317 | 0.0632 | -0.05957 | 1 | 0.00002651 | 0.0003508 | 0.01449 | 0.001989 | 0.0446 | 0.7057 | 0.2301 | 0.02725 | 0.001598 | 1 | 1 | 0.01182 | 0.1519 | 0.3914 | 0.05384 | 0.6917 | 1.782 | json |
| t17_x25_u4_b19 | 17 | 25 | 4 | 19 | ![]() |
sub(R,min(R,cil(D))) | 119175 | 139061065 | o2(x,o2(x,o1(x))) | true | 113407 | 113407 | 0.1305 | 0.6925 | 0.1305 | 0.04439 | 0.2107 | 0 | 0.9809 | 0.9809 | 1 | 2.265 | 0.01007 | 0.0005037 | 0.03811 | 0.9047 | 1 | 0.000003407 | 0.01877 | 0.03614 | 0.009119 | 0.0955 | 2.506 | 0.9692 | 0.2381 | 0.4229 | 1 | 1 | 0.01179 | 0.05604 | 0.06901 | 0.2655 | 1.263 | 1.555 | json |
| t17_x25_u4_b20 | 17 | 25 | 4 | 20 | ![]() |
sub(R,dot(R,cil(D))) | 119176 | 139061066 | o2(x,o2(x,o1(x))) | true | 113415 | 113415 | -0.02006 | 0.4731 | 0.34 | 0.1925 | 0.4387 | -1 | 1 | 2 | 1 | 4.742 | 0.01713 | 0.01724 | 0.1047 | -0.003119 | 1 | -0.0000135 | 0.05919 | 0.1075 | 0.02339 | 0.153 | 1.46 | 1.319 | 0.1785 | 0.3075 | 1 | 1 | 0.04037 | 0.2305 | 0.3961 | 0.2097 | 1.198 | 2.058 | json |
| t17_x25_u4_b21 | 17 | 25 | 4 | 21 | ![]() |
sub(R,dst(R,cil(D))) | 119177 | 139061067 | o2(x,o2(x,o1(x))) | true | 113423 | 113423 | -0.8376 | 0.0135 | 0.8427 | 0.07588 | 0.2755 | -1 | 0.6575 | 1.657 | 1 | 2.314 | 0.003444 | 0.006863 | 0.04483 | -0.3318 | 1 | 0.0001232 | 0.01481 | 0.04321 | 0.008298 | 0.09109 | 2.032 | 1.203 | 0.1358 | 0.1952 | 1 | 1 | 0.01225 | 0.08041 | 0.1391 | 0.1615 | 1.06 | 1.833 | json |
| t17_x25_u4_b22 | 17 | 25 | 4 | 22 | ![]() |
mlt(R,add(R,cil(D))) | 119178 | 139061068 | o2(x,o2(x,o1(x))) | true | 113431 | 113431 | 0.3316 | 0.8188 | 0.3726 | 0.1241 | 0.3523 | -0.2495 | 1 | 1.249 | 1 | 4.196 | 0.01357 | 0.002008 | 0.06918 | 0.7421 | 1 | -0.00002728 | 0.02411 | 0.05664 | 0.01079 | 0.1039 | 1.501 | 0.9991 | 0.1255 | 0.1943 | 1 | 1 | 0.0197 | 0.1295 | 0.2425 | 0.1588 | 1.043 | 1.954 | json |
| t17_x25_u4_b23 | 17 | 25 | 4 | 23 | ![]() |
mlt(R,sub(R,cil(D))) | 119179 | 139061069 | o2(x,o2(x,o1(x))) | true | 113439 | 113439 | 0.3197 | 0.8208 | 0.3589 | 0.1183 | 0.344 | -0.2496 | 1 | 1.25 | 1 | 4.198 | 0.01352 | 0.001815 | 0.06551 | 0.7632 | 1 | -0.00003482 | 0.02485 | 0.0561 | 0.01104 | 0.1051 | 1.604 | 0.9688 | 0.1296 | 0.21 | 1 | 1 | 0.01838 | 0.1118 | 0.2023 | 0.1553 | 0.9445 | 1.709 | json |
| t17_x25_u4_b24 | 17 | 25 | 4 | 24 | ![]() |
mlt(R,mlt(R,cil(D))) | 119180 | 139061070 | o2(x,o2(x,o1(x))) | true | 113447 | 113447 | 0.1738 | 0.9599 | 0.1738 | 0.04511 | 0.2124 | 1.147e-8 | 0.9977 | 0.9977 | 1 | 2.828 | 0.01266 | 0.0004055 | 0.04868 | 0.9379 | 1 | -0.000003463 | 0.02362 | 0.04789 | 0.0107 | 0.1034 | 2.125 | 0.9975 | 0.2897 | 0.5236 | 1 | 1 | 0.01371 | 0.0584 | 0.05361 | 0.304 | 1.294 | 1.188 | json |
| t17_x25_u4_b25 | 17 | 25 | 4 | 25 | ![]() |
mlt(R,div(R,cil(D))) | 119181 | 139061071 | o2(x,o2(x,o1(x))) | true | 113455 | 113455 | -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 |
| t17_x25_u4_b26 | 17 | 25 | 4 | 26 | ![]() |
mlt(R,pow(R,cil(D))) | 119182 | 139061072 | o2(x,o2(x,o1(x))) | true | 113463 | 113463 | -0.7338 | 0.1659 | 0.8617 | 0.2849 | 0.5338 | -1 | 0.9402 | 1.94 | 1 | 1.752 | 0.03162 | 0.02802 | 0.05525 | 0.06035 | 1 | 0.00002059 | 0.1248 | 0.09048 | 0.05662 | 0.2379 | 4.306 | 2.702 | 0.2093 | 0.4381 | 1 | 1 | 0.06083 | 0.2618 | 0.6075 | 0.2135 | 0.9189 | 2.132 | json |
| t17_x25_u4_b27 | 17 | 25 | 4 | 27 | ![]() |
mlt(R,mod(R,cil(D))) | 119183 | 139061073 | o2(x,o2(x,o1(x))) | true | 113471 | 113471 | -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 |
| t17_x25_u4_b28 | 17 | 25 | 4 | 28 | ![]() |
mlt(R,lrg(R,cil(D))) | 119184 | 139061074 | o2(x,o2(x,o1(x))) | true | 113479 | 113479 | 0.1305 | 0.6925 | 0.1305 | 0.04439 | 0.2107 | 0 | 0.9809 | 0.9809 | 1 | 2.265 | 0.01007 | 0.0005037 | 0.03811 | 0.9047 | 1 | 0.000003407 | 0.01877 | 0.03614 | 0.009119 | 0.0955 | 2.506 | 0.9692 | 0.2381 | 0.4229 | 1 | 1 | 0.01179 | 0.05604 | 0.06901 | 0.2655 | 1.263 | 1.555 | json |
| t17_x25_u4_b29 | 17 | 25 | 4 | 29 | ![]() |
mlt(R,eql(R,cil(D))) | 119185 | 139061075 | o2(x,o2(x,o1(x))) | true | 113487 | 113487 | 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 |
| t17_x25_u4_b30 | 17 | 25 | 4 | 30 | ![]() |
mlt(R,min(R,cil(D))) | 119186 | 139061076 | o2(x,o2(x,o1(x))) | true | 113495 | 113495 | 0.2587 | 0.9899 | 0.2587 | 0.05756 | 0.2399 | 1.993e-8 | 0.9979 | 0.9979 | 1 | 3.44 | 0.006355 | 0.0007304 | 0.04036 | 0.7938 | 1 | -0.000009581 | 0.01141 | 0.02803 | 0.005457 | 0.07387 | 1.83 | 0.9401 | 0.1231 | 0.1982 | 1 | 1 | 0.008003 | 0.04799 | 0.09149 | 0.139 | 0.8338 | 1.589 | json |
| t17_x25_u4_b31 | 17 | 25 | 4 | 31 | ![]() |
mlt(R,dot(R,cil(D))) | 119187 | 139061077 | o2(x,o2(x,o1(x))) | true | 113503 | 113503 | 0.1623 | 0.7896 | 0.2184 | 0.07241 | 0.2691 | -0.8998 | 1 | 1.9 | 1 | 3.913 | 0.01263 | 0.006465 | 0.06808 | 0.3228 | 1 | -0.0000128 | 0.03426 | 0.07313 | 0.01446 | 0.1202 | 1.766 | 1.282 | 0.2637 | 0.4731 | 1 | 1 | 0.02037 | 0.09532 | 0.1129 | 0.2813 | 1.316 | 1.559 | json |
| t17_x25_u4_b32 | 17 | 25 | 4 | 32 | ![]() |
mlt(R,dst(R,cil(D))) | 119188 | 139061078 | o2(x,o2(x,o1(x))) | true | 113511 | 113511 | -0.0662 | 0.4719 | 0.4917 | 0.3402 | 0.5833 | -1 | 1 | 2 | 1 | 4.834 | 0.007832 | 0.007496 | 0.08963 | 0.02194 | 1 | 0.00006973 | 0.01145 | 0.05166 | 0.007295 | 0.08541 | 0.9529 | 0.8318 | 0.04506 | 0.03365 | 1 | 1 | 0.02452 | 0.2496 | 0.6002 | 0.07209 | 0.7337 | 1.764 | json |
| t17_x25_u4_b33 | 17 | 25 | 4 | 33 | ![]() |
div(R,add(R,cil(D))) | 119189 | 139061079 | o2(x,o2(x,o1(x))) | true | 113519 | 113519 | 0.2745 | 0.7154 | 0.6575 | 0.4593 | 0.6777 | -1 | 0.9999 | 2 | 1 | 4.32 | 0.1358 | 0.006318 | 0.1698 | 0.9111 | 1 | 0.0004104 | 0.2571 | 0.1899 | 0.1133 | 0.3366 | 1.982 | 2 | 0.3095 | 0.5597 | 1 | 1 | 0.1563 | 0.6052 | 0.4164 | 0.3404 | 1.318 | 0.9068 | json |
| t17_x25_u4_b34 | 17 | 25 | 4 | 34 | ![]() |
div(R,sub(R,cil(D))) | 119190 | 139061080 | o2(x,o2(x,o1(x))) | true | 113527 | 113527 | 0.2493 | 0.7073 | 0.6674 | 0.4853 | 0.6966 | -1 | 0.9999 | 2 | 1 | 4.272 | 0.1365 | 0.005976 | 0.1727 | 0.9161 | 1 | 0.0002644 | 0.2487 | 0.1902 | 0.1126 | 0.3356 | 1.943 | 2 | 0.2936 | 0.5124 | 1 | 1 | 0.1644 | 0.6609 | 0.5097 | 0.3388 | 1.362 | 1.05 | json |
| t17_x25_u4_b35 | 17 | 25 | 4 | 35 | ![]() |
div(R,mlt(R,cil(D))) | 119191 | 139061081 | o2(x,o2(x,o1(x))) | true | 113535 | 113535 | -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 |
| t17_x25_u4_b36 | 17 | 25 | 4 | 36 | ![]() |
div(R,div(R,cil(D))) | 119192 | 139061082 | o2(x,o2(x,o1(x))) | true | 113543 | 113543 | 0.5 | 1 | 0.5 | 0.1418 | 0.3765 | 0.000291 | 0.9997 | 0.9994 | 1 | 3.406 | 0.06511 | 4.804e-17 | 0.1228 | 1 | 1 | -4.362e-9 | 0.1208 | 0.1337 | 0.05001 | 0.2236 | 1.821 | 0.9994 | 0.4593 | 0.8522 | 1 | 1 | 0.07073 | 0.2419 | 8.056e-16 | 0.4989 | 1.706 | 5.683e-15 | json |
| t17_x25_u4_b37 | 17 | 25 | 4 | 37 | ![]() |
div(R,pow(R,cil(D))) | 119193 | 139061083 | o2(x,o2(x,o1(x))) | true | 113551 | 113551 | -0.6676 | 0.1813 | 0.9205 | 0.4458 | 0.6677 | -1 | 1 | 2 | 1 | 1.68 | 0.05271 | 0.04262 | 0.07038 | 0.1059 | 1 | 0.00002179 | 0.1989 | 0.1143 | 0.09034 | 0.3006 | 4.271 | 2.785 | 0.2138 | 0.4463 | 1 | 1 | 0.0987 | 0.4203 | 0.9409 | 0.2214 | 0.9428 | 2.111 | json |
| t17_x25_u4_b38 | 17 | 25 | 4 | 38 | ![]() |
div(R,mod(R,cil(D))) | 119194 | 139061084 | o2(x,o2(x,o1(x))) | true | 113559 | 113559 | -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 |
| t17_x25_u4_b39 | 17 | 25 | 4 | 39 | ![]() |
div(R,lrg(R,cil(D))) | 119195 | 139061085 | o2(x,o2(x,o1(x))) | true | 113567 | 113567 | -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 |
| t17_x25_u4_b40 | 17 | 25 | 4 | 40 | ![]() |
div(R,eql(R,cil(D))) | 119196 | 139061086 | o2(x,o2(x,o1(x))) | true | 113575 | 113575 | -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 |
| t17_x25_u4_b41 | 17 | 25 | 4 | 41 | ![]() |
div(R,min(R,cil(D))) | 119197 | 139061087 | o2(x,o2(x,o1(x))) | true | 113583 | 113583 | -0.4922 | 0.2539 | 1 | 0.7577 | 0.8705 | -1 | 1 | 2 | 1 | 0.8174 | 0.0868 | 0.06463 | 0.07518 | 0.1464 | 1 | 1.506e-9 | 0.3176 | 0.1514 | 0.1459 | 0.3819 | 5.08 | 2.828 | 0.1998 | 0.4191 | 1 | 1 | 0.1571 | 0.6444 | 1.437 | 0.2074 | 0.8505 | 1.897 | json |
| t17_x25_u4_b42 | 17 | 25 | 4 | 42 | ![]() |
div(R,dot(R,cil(D))) | 119198 | 139061088 | o2(x,o2(x,o1(x))) | true | 113591 | 113591 | -0.5313 | 0.2344 | 1 | 0.7172 | 0.8469 | -1 | 1 | 2 | 1 | 0.7856 | 0.08705 | 0.08629 | 0.08592 | 0.00436 | 1 | 0 | 0.3682 | 0.1733 | 0.166 | 0.4074 | 4.742 | 2.828 | 0.2417 | 0.5134 | 1 | 1 | 0.1619 | 0.6715 | 1.458 | 0.2258 | 0.9363 | 2.032 | json |
| t17_x25_u4_b43 | 17 | 25 | 4 | 43 | ![]() |
div(R,dst(R,cil(D))) | 119199 | 139061089 | o2(x,o2(x,o1(x))) | true | 113599 | 113599 | 0.0732 | 0.5229 | 0.3457 | 0.174 | 0.4171 | -0.96 | 1 | 1.96 | 1 | 4.693 | 0.005024 | 0.00466 | 0.06998 | 0.03763 | 1 | -0.00001269 | 0.01012 | 0.04555 | 0.004786 | 0.06918 | 0.9885 | 1.095 | 0.05566 | 0.05815 | 1 | 1 | 0.01468 | 0.1398 | 0.3147 | 0.08436 | 0.8035 | 1.809 | json |



































































































