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_x7_u1_b53 | 17 | 7 | 1 | 53 | ![]() |
pow(P,dot(R,log(D))) | 103600 | 138333278 | o2(x,o2(x,o1(x))) | true | 145607 | 145607 | -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_x7_u1_b54 | 17 | 7 | 1 | 54 | ![]() |
pow(P,dst(R,log(D))) | 103601 | 138333279 | o2(x,o2(x,o1(x))) | true | 145615 | 145615 | -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_x7_u1_b55 | 17 | 7 | 1 | 55 | ![]() |
mod(P,add(R,log(D))) | 103602 | 138333280 | o2(x,o2(x,o1(x))) | true | 145623 | 145623 | -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_x7_u1_b56 | 17 | 7 | 1 | 56 | ![]() |
mod(P,sub(R,log(D))) | 103603 | 138333281 | o2(x,o2(x,o1(x))) | true | 145631 | 145631 | -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_x7_u1_b57 | 17 | 7 | 1 | 57 | ![]() |
mod(P,mlt(R,log(D))) | 103604 | 138333282 | o2(x,o2(x,o1(x))) | true | 145639 | 145639 | -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_x7_u1_b58 | 17 | 7 | 1 | 58 | ![]() |
mod(P,div(R,log(D))) | 103605 | 138333283 | o2(x,o2(x,o1(x))) | true | 145647 | 145647 | -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_x7_u1_b59 | 17 | 7 | 1 | 59 | ![]() |
mod(P,pow(R,log(D))) | 103606 | 138333284 | o2(x,o2(x,o1(x))) | true | 145655 | 145655 | -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_x7_u1_b60 | 17 | 7 | 1 | 60 | ![]() |
mod(P,mod(R,log(D))) | 103607 | 138333285 | o2(x,o2(x,o1(x))) | true | 145663 | 145663 | -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_x7_u1_b61 | 17 | 7 | 1 | 61 | ![]() |
mod(P,lrg(R,log(D))) | 103608 | 138333286 | o2(x,o2(x,o1(x))) | true | 145671 | 145671 | -0.3052 | 0 | 0.3052 | 0.2119 | 0.4604 | -1 | 0 | 1 | 1 | 0.8875 | 0.09398 | 0.009133 | 0.1024 | 0.8228 | 1 | -0.000252 | 0.2187 | 0.206 | 0.09256 | 0.3042 | 2.97 | 1.414 | 0.4865 | 1.032 | 1 | 1 | 0.1023 | 0.3136 | 0.2234 | 0.4826 | 1.48 | 1.054 | json |
| t17_x7_u1_b62 | 17 | 7 | 1 | 62 | ![]() |
mod(P,eql(R,log(D))) | 103609 | 138333287 | o2(x,o2(x,o1(x))) | true | 145679 | 145679 | -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_x7_u1_b63 | 17 | 7 | 1 | 63 | ![]() |
mod(P,min(R,log(D))) | 103610 | 138333288 | o2(x,o2(x,o1(x))) | true | 145687 | 145687 | -0.003445 | 0.496 | 0.4075 | 0.2703 | 0.5199 | -1 | 1 | 2 | 1 | 4.711 | 0.09551 | 0.0001647 | 0.1801 | 0.9966 | 1 | -0.001296 | 0.2727 | 0.3166 | 0.06324 | 0.2515 | 1.396 | 0.9994 | 0.354 | 1.009 | 1 | 1 | 0.05307 | 0.1361 | 0.1191 | 0.1964 | 0.5036 | 0.4407 | json |
| t17_x7_u1_b64 | 17 | 7 | 1 | 64 | ![]() |
mod(P,dot(R,log(D))) | 103611 | 138333289 | o2(x,o2(x,o1(x))) | true | 145695 | 145695 | -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_x7_u1_b65 | 17 | 7 | 1 | 65 | ![]() |
mod(P,dst(R,log(D))) | 103612 | 138333290 | o2(x,o2(x,o1(x))) | true | 145703 | 145703 | -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_x7_u1_b66 | 17 | 7 | 1 | 66 | ![]() |
lrg(P,add(R,log(D))) | 103613 | 138333291 | o2(x,o2(x,o1(x))) | true | 145711 | 145711 | 0.7824 | 1 | 0.7824 | 0.1156 | 0.34 | 0.000291 | 1 | 0.9997 | 1 | 2.289 | 0.02606 | 0.0001021 | 0.05717 | 0.9922 | 1 | -0.00008738 | 0.04737 | 0.05891 | 0.02291 | 0.1514 | 2.648 | 0.9994 | 0.2263 | 0.4098 | 1 | 1 | 0.02598 | 0.09579 | 0.04032 | 0.2248 | 0.8286 | 0.3488 | json |
| t17_x7_u1_b67 | 17 | 7 | 1 | 67 | ![]() |
lrg(P,sub(R,log(D))) | 103614 | 138333292 | o2(x,o2(x,o1(x))) | true | 145719 | 145719 | 0.6834 | 1 | 0.6834 | 0.1513 | 0.389 | 0.000291 | 1 | 0.9997 | 1 | 2.686 | 0.05576 | 0.00009982 | 0.09272 | 0.9964 | 1 | -0.00008576 | 0.1153 | 0.1181 | 0.04724 | 0.2174 | 2.344 | 0.9997 | 0.3691 | 0.7619 | 1 | 1 | 0.06057 | 0.1718 | 0.03902 | 0.4002 | 1.135 | 0.2578 | json |
| t17_x7_u1_b68 | 17 | 7 | 1 | 68 | ![]() |
lrg(P,mlt(R,log(D))) | 103615 | 138333293 | o2(x,o2(x,o1(x))) | true | 145727 | 145727 | 0.7367 | 1 | 0.7367 | 0.1335 | 0.3653 | 0.000291 | 1 | 0.9997 | 1 | 2.494 | 0.03408 | 0.0001484 | 0.06775 | 0.9913 | 1 | -0.00009888 | 0.06436 | 0.07369 | 0.02965 | 0.1722 | 2.542 | 0.9997 | 0.2565 | 0.4822 | 1 | 1 | 0.0361 | 0.1246 | 0.04947 | 0.2705 | 0.9333 | 0.3707 | json |
| t17_x7_u1_b69 | 17 | 7 | 1 | 69 | ![]() |
lrg(P,div(R,log(D))) | 103616 | 138333294 | o2(x,o2(x,o1(x))) | true | 145735 | 145735 | 0.7339 | 1 | 0.7339 | 0.1371 | 0.3702 | 0.000291 | 1 | 0.9997 | 1 | 2.462 | 0.03335 | 0.00006349 | 0.06546 | 0.9962 | 1 | -0.00009829 | 0.06153 | 0.07121 | 0.02913 | 0.1707 | 2.607 | 0.9997 | 0.2438 | 0.4489 | 1 | 1 | 0.03536 | 0.1267 | 0.04102 | 0.2579 | 0.9246 | 0.2993 | json |
| t17_x7_u1_b70 | 17 | 7 | 1 | 70 | ![]() |
lrg(P,pow(R,log(D))) | 103617 | 138333295 | o2(x,o2(x,o1(x))) | true | 145743 | 145743 | 0.8082 | 1 | 0.8082 | 0.09807 | 0.3132 | 0.000291 | 1 | 0.9997 | 1 | 2.326 | 0.02633 | 0.0009782 | 0.06051 | 0.9284 | 1 | -0.00004092 | 0.05113 | 0.06587 | 0.02365 | 0.1538 | 2.542 | 0.9997 | 0.2785 | 0.5213 | 1 | 1 | 0.02784 | 0.1157 | 0.1236 | 0.2838 | 1.18 | 1.26 | json |
| t17_x7_u1_b71 | 17 | 7 | 1 | 71 | ![]() |
lrg(P,mod(R,log(D))) | 103618 | 138333296 | o2(x,o2(x,o1(x))) | true | 145751 | 145751 | 0.7363 | 1 | 0.7363 | 0.136 | 0.3688 | 0.000291 | 1 | 0.9997 | 1 | 2.449 | 0.0323 | 0.00005267 | 0.06339 | 0.9967 | 1 | -0.00008699 | 0.05964 | 0.06691 | 0.02834 | 0.1683 | 2.656 | 0.9994 | 0.2379 | 0.4384 | 1 | 1 | 0.03415 | 0.1219 | 0.04032 | 0.251 | 0.8959 | 0.2964 | json |
| t17_x7_u1_b72 | 17 | 7 | 1 | 72 | ![]() |
lrg(P,lrg(R,log(D))) | 103619 | 138333297 | o2(x,o2(x,o1(x))) | true | 145759 | 145759 | 0.4071 | 0.4375 | 0.4071 | 0.2352 | 0.485 | 0 | 1 | 1 | 1 | 1.281 | 0.0004693 | 0.000002357 | 0.003997 | 0.99 | 1 | 9.293e-7 | 0.0002357 | 0.001481 | 0.0004554 | 0.02134 | 5.339 | 0.6551 | 0.002006 | 0.001002 | 1 | 1 | 0.001078 | 0.01278 | 0.07583 | 0.004585 | 0.05434 | 0.3224 | json |
| t17_x7_u1_b73 | 17 | 7 | 1 | 73 | ![]() |
lrg(P,eql(R,log(D))) | 103620 | 138333298 | o2(x,o2(x,o1(x))) | true | 145767 | 145767 | 0.4688 | 0.5 | 0.4688 | 0.2423 | 0.4922 | 0 | 1 | 1 | 1 | 1.326 | 0.0003529 | 0 | 0.003968 | 1 | 1 | -4.731e-10 | 0.00001619 | 0.0009276 | 0.0003372 | 0.01836 | 4.628 | 0.1169 | 0.001457 | 0.00006684 | 1 | 1 | 0.0009255 | 0.01214 | 0.0751 | 0.00382 | 0.05012 | 0.31 | json |
| t17_x7_u1_b74 | 17 | 7 | 1 | 74 | ![]() |
lrg(P,min(R,log(D))) | 103621 | 138333299 | o2(x,o2(x,o1(x))) | true | 145775 | 145775 | 0.5508 | 0.5644 | 0.5508 | 0.2429 | 0.4929 | 0 | 1 | 1 | 1 | 1.23 | 0.02358 | 0.00005267 | 0.02676 | 0.9955 | 1 | 0.000002852 | 0.05498 | 0.04946 | 0.02293 | 0.1514 | 5.658 | 1 | 0.0973 | 0.2264 | 1 | 1 | 0.02632 | 0.04963 | 0.08674 | 0.1083 | 0.2043 | 0.3571 | json |
| t17_x7_u1_b75 | 17 | 7 | 1 | 75 | ![]() |
lrg(P,dot(R,log(D))) | 103622 | 138333300 | o2(x,o2(x,o1(x))) | true | 145783 | 145783 | 0.8721 | 1 | 0.8721 | 0.06217 | 0.2493 | 0.000582 | 1 | 0.9994 | 1 | 1.961 | 0.01284 | 0.01297 | 0.05644 | -0.005015 | 1 | -0.000002143 | 0.052 | 0.06626 | 0.02262 | 0.1504 | 2.665 | 0.9994 | 0.4152 | 0.8363 | 1 | 1 | 0.0281 | 0.1114 | 0.08002 | 0.4519 | 1.792 | 1.287 | json |
| t17_x7_u1_b76 | 17 | 7 | 1 | 76 | ![]() |
lrg(P,dst(R,log(D))) | 103623 | 138333301 | o2(x,o2(x,o1(x))) | true | 145791 | 145791 | 0.75 | 1 | 0.75 | 0.091 | 0.3017 | 0.000582 | 1 | 0.9994 | 1 | 3.116 | 0.02539 | 0.02539 | 0.1108 | -4.034e-7 | 1 | -7.993e-9 | 0.1027 | 0.1304 | 0.03851 | 0.1962 | 1.771 | 0.9991 | 0.5581 | 1.128 | 1 | 1 | 0.05526 | 0.189 | 0 | 0.6073 | 2.077 | 0 | json |
| t17_x7_u1_b77 | 17 | 7 | 1 | 77 | ![]() |
eql(P,add(R,log(D))) | 103624 | 138333302 | o2(x,o2(x,o1(x))) | true | 145799 | 145799 | 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_x7_u1_b78 | 17 | 7 | 1 | 78 | ![]() |
eql(P,sub(R,log(D))) | 103625 | 138333303 | o2(x,o2(x,o1(x))) | true | 145807 | 145807 | 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_x7_u1_b79 | 17 | 7 | 1 | 79 | ![]() |
eql(P,mlt(R,log(D))) | 103626 | 138333304 | o2(x,o2(x,o1(x))) | true | 145815 | 145815 | 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_x7_u1_b80 | 17 | 7 | 1 | 80 | ![]() |
eql(P,div(R,log(D))) | 103627 | 138333305 | o2(x,o2(x,o1(x))) | true | 145823 | 145823 | 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_x7_u1_b81 | 17 | 7 | 1 | 81 | ![]() |
eql(P,pow(R,log(D))) | 103628 | 138333306 | o2(x,o2(x,o1(x))) | true | 145831 | 145831 | 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_x7_u1_b82 | 17 | 7 | 1 | 82 | ![]() |
eql(P,mod(R,log(D))) | 103629 | 138333307 | o2(x,o2(x,o1(x))) | true | 145839 | 145839 | 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_x7_u1_b83 | 17 | 7 | 1 | 83 | ![]() |
eql(P,lrg(R,log(D))) | 103630 | 138333308 | o2(x,o2(x,o1(x))) | true | 145847 | 145847 | 0.06434 | 0.1217 | 0.06434 | 0.04873 | 0.2207 | 0 | 1 | 1 | 1 | 0.7807 | 0.001255 | 0.00001096 | 0.008046 | 0.9827 | 1 | -4.52e-7 | 0.001092 | 0.004052 | 0.0012 | 0.03464 | 4.306 | 0.7743 | 0.02597 | 0.02241 | 1 | 1 | 0.00257 | 0.02685 | 0.07167 | 0.05273 | 0.551 | 1.471 | json |
| t17_x7_u1_b84 | 17 | 7 | 1 | 84 | ![]() |
eql(P,eql(R,log(D))) | 103631 | 138333309 | o2(x,o2(x,o1(x))) | true | 145855 | 145855 | 0.0625 | 0.125 | 0.0625 | 0.04507 | 0.2123 | 0 | 0.9997 | 0.9997 | 1 | 0.8126 | 0.0007059 | 0 | 0.007934 | 1 | 1 | -9.461e-10 | 0.00003241 | 0.001855 | 0.0006433 | 0.02536 | 3.197 | 0.1169 | 0.01566 | 0.0007193 | 1 | 1 | 0.001851 | 0.02408 | 0.06598 | 0.04107 | 0.5344 | 1.464 | json |
| t17_x7_u1_b85 | 17 | 7 | 1 | 85 | ![]() |
eql(P,min(R,log(D))) | 103632 | 138333310 | o2(x,o2(x,o1(x))) | true | 145863 | 145863 | 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_x7_u1_b86 | 17 | 7 | 1 | 86 | ![]() |
eql(P,dot(R,log(D))) | 103633 | 138333311 | o2(x,o2(x,o1(x))) | true | 145871 | 145871 | 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_x7_u1_b87 | 17 | 7 | 1 | 87 | ![]() |
eql(P,dst(R,log(D))) | 103634 | 138333312 | o2(x,o2(x,o1(x))) | true | 145879 | 145879 | 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_x7_u1_b88 | 17 | 7 | 1 | 88 | ![]() |
min(P,add(R,log(D))) | 103635 | 138333313 | o2(x,o2(x,o1(x))) | true | 145887 | 145887 | -0.3149 | 0.3293 | 0.9122 | 0.7872 | 0.8873 | -1 | 1 | 2 | 1 | 2.141 | 0.1511 | 0.0002403 | 0.1273 | 0.9968 | 1 | -0.000001068 | 0.2499 | 0.1626 | 0.1351 | 0.3675 | 2.887 | 2 | 0.1922 | 0.3174 | 1 | 1 | 0.1781 | 0.6074 | 0.163 | 0.2263 | 0.7715 | 0.2071 | json |
| t17_x7_u1_b89 | 17 | 7 | 1 | 89 | ![]() |
min(P,sub(R,log(D))) | 103636 | 138333314 | o2(x,o2(x,o1(x))) | true | 145895 | 145895 | -0.001129 | 0.5 | 0.9364 | 0.9222 | 0.9603 | -1 | 1 | 2 | 1 | 1.843 | 0.0007393 | 0.000004052 | 0.008357 | 0.9891 | 1 | -0.000001716 | 0.00009368 | 0.002464 | 0.0006735 | 0.02595 | 3.106 | 0.2575 | 0.0008061 | 0.0001016 | 1 | 1 | 0.001888 | 0.02438 | 0.233 | 0.002047 | 0.02644 | 0.2526 | json |
| t17_x7_u1_b90 | 17 | 7 | 1 | 90 | ![]() |
min(P,mlt(R,log(D))) | 103637 | 138333315 | o2(x,o2(x,o1(x))) | true | 145903 | 145903 | -0.1249 | 0.4362 | 0.8945 | 0.8484 | 0.9211 | -1 | 1 | 2 | 1 | 2.406 | 0.0599 | 0.001583 | 0.0708 | 0.9485 | 1 | 0.000002664 | 0.107 | 0.07894 | 0.0565 | 0.2377 | 3.357 | 2 | 0.07247 | 0.1261 | 1 | 1 | 0.07287 | 0.2461 | 0.3143 | 0.08589 | 0.2901 | 0.3705 | json |
| t17_x7_u1_b91 | 17 | 7 | 1 | 91 | ![]() |
min(P,div(R,log(D))) | 103638 | 138333316 | o2(x,o2(x,o1(x))) | true | 145911 | 145911 | -0.1226 | 0.446 | 0.8357 | 0.7825 | 0.8846 | -1 | 1 | 2 | 1 | 2.714 | 0.03642 | 0.0001996 | 0.06581 | 0.9891 | 1 | 0.000001354 | 0.06178 | 0.07755 | 0.03227 | 0.1796 | 2.73 | 1.275 | 0.0468 | 0.07895 | 1 | 1 | 0.04326 | 0.1372 | 0.1924 | 0.05529 | 0.1754 | 0.2459 | json |
| t17_x7_u1_b92 | 17 | 7 | 1 | 92 | ![]() |
min(P,pow(R,log(D))) | 103639 | 138333317 | o2(x,o2(x,o1(x))) | true | 145919 | 145919 | 0 | 0.5 | 0.9375 | 0.924 | 0.9612 | -1 | 1 | 2 | 1 | 1.813 | 0.0007059 | 0 | 0.007937 | 1 | 1 | 0 | 0.00003235 | 0.001851 | 0.0006432 | 0.02536 | 3.195 | 0.1169 | 0.0007639 | 0.00003501 | 1 | 1 | 0.001851 | 0.02449 | 0.2344 | 0.002003 | 0.0265 | 0.2537 | json |
| t17_x7_u1_b93 | 17 | 7 | 1 | 93 | ![]() |
min(P,mod(R,log(D))) | 103640 | 138333318 | o2(x,o2(x,o1(x))) | true | 145927 | 145927 | -0.1236 | 0.4326 | 0.8626 | 0.8077 | 0.8987 | -1 | 1 | 2 | 1 | 2.702 | 0.04671 | 0.0005275 | 0.06942 | 0.9777 | 1 | -0.000008302 | 0.08092 | 0.08323 | 0.04241 | 0.2059 | 2.966 | 1.998 | 0.05848 | 0.1002 | 1 | 1 | 0.05397 | 0.1782 | 0.2406 | 0.06681 | 0.2206 | 0.2978 | json |
| t17_x7_u1_b94 | 17 | 7 | 1 | 94 | ![]() |
min(P,lrg(R,log(D))) | 103641 | 138333319 | o2(x,o2(x,o1(x))) | true | 145935 | 145935 | -0.01105 | 0.5 | 0.9264 | 0.9047 | 0.9511 | -1 | 1 | 2 | 1 | 2.105 | 0.002341 | 0.00003619 | 0.01603 | 0.9696 | 1 | 0.00003514 | 0.003575 | 0.01177 | 0.002121 | 0.04606 | 2.873 | 0.6715 | 0.002628 | 0.003952 | 1 | 1 | 0.003123 | 0.02759 | 0.2368 | 0.003452 | 0.0305 | 0.2617 | json |
| t17_x7_u1_b95 | 17 | 7 | 1 | 95 | ![]() |
min(P,eql(R,log(D))) | 103642 | 138333320 | o2(x,o2(x,o1(x))) | true | 145943 | 145943 | -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 |
| t17_x7_u1_b96 | 17 | 7 | 1 | 96 | ![]() |
min(P,min(R,log(D))) | 103643 | 138333321 | o2(x,o2(x,o1(x))) | true | 145951 | 145951 | -0.7179 | 0.0986 | 0.7939 | 0.211 | 0.4594 | -1 | 0.9805 | 1.981 | 1 | 2.731 | 0.04245 | 0.0007776 | 0.07051 | 0.964 | 1 | 0.00003677 | 0.07523 | 0.07628 | 0.03825 | 0.1956 | 2.774 | 1.956 | 0.2049 | 0.3565 | 1 | 1 | 0.05158 | 0.2286 | 0.1399 | 0.2445 | 1.083 | 0.6629 | json |
| t17_x7_u1_b97 | 17 | 7 | 1 | 97 | ![]() |
min(P,dot(R,log(D))) | 103644 | 138333322 | o2(x,o2(x,o1(x))) | true | 145959 | 145959 | -0.4609 | 0.2734 | 0.9609 | 0.7397 | 0.8601 | -1 | 1 | 2 | 1 | 1.376 | 0.05581 | 0.06185 | 0.06497 | -0.05134 | 1 | -2.44e-10 | 0.2477 | 0.1224 | 0.1135 | 0.3369 | 5.185 | 2.828 | 0.1591 | 0.3349 | 1 | 1 | 0.1289 | 0.5376 | 1.179 | 0.1742 | 0.7267 | 1.594 | json |
| t17_x7_u1_b98 | 17 | 7 | 1 | 98 | ![]() |
min(P,dst(R,log(D))) | 103645 | 138333323 | o2(x,o2(x,o1(x))) | true | 145967 | 145967 | 0 | 0.5 | 0.9375 | 0.924 | 0.9612 | -1 | 1 | 2 | 1 | 1.813 | 0.0007059 | 0 | 0.007937 | 1 | 1 | 0 | 0.00003235 | 0.001851 | 0.0006432 | 0.02536 | 3.195 | 0.1169 | 0.0007639 | 0.00003501 | 1 | 1 | 0.001851 | 0.02449 | 0.2344 | 0.002003 | 0.0265 | 0.2537 | json |
| t17_x7_u1_b99 | 17 | 7 | 1 | 99 | ![]() |
dot(P,add(R,log(D))) | 103646 | 138333324 | o2(x,o2(x,o1(x))) | true | 145975 | 145975 | -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_x7_u1_b100 | 17 | 7 | 1 | 100 | ![]() |
dot(P,sub(R,log(D))) | 103647 | 138333325 | o2(x,o2(x,o1(x))) | true | 145983 | 145983 | -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_x7_u1_b101 | 17 | 7 | 1 | 101 | ![]() |
dot(P,mlt(R,log(D))) | 103648 | 138333326 | o2(x,o2(x,o1(x))) | true | 145991 | 145991 | -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_x7_u1_b102 | 17 | 7 | 1 | 102 | ![]() |
dot(P,div(R,log(D))) | 103649 | 138333327 | o2(x,o2(x,o1(x))) | true | 145999 | 145999 | -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_x7_u1_b103 | 17 | 7 | 1 | 103 | ![]() |
dot(P,pow(R,log(D))) | 103650 | 138333328 | o2(x,o2(x,o1(x))) | true | 146007 | 146007 | -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_x7_u1_b104 | 17 | 7 | 1 | 104 | ![]() |
dot(P,mod(R,log(D))) | 103651 | 138333329 | o2(x,o2(x,o1(x))) | true | 146015 | 146015 | -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_x7_u1_b105 | 17 | 7 | 1 | 105 | ![]() |
dot(P,lrg(R,log(D))) | 103652 | 138333330 | o2(x,o2(x,o1(x))) | true | 146023 | 146023 | 0.003033 | 0.5023 | 0.9372 | 0.918 | 0.9581 | -1 | 1 | 2 | 1 | 1.947 | 0.01103 | 0.008223 | 0.03046 | 0.1458 | 1 | 0.0000625 | 0.03836 | 0.03355 | 0.01832 | 0.1354 | 4.445 | 2.024 | 0.02097 | 0.04179 | 1 | 1 | 0.01859 | 0.07738 | 0.4199 | 0.02025 | 0.08429 | 0.4574 | json |
| t17_x7_u1_b106 | 17 | 7 | 1 | 106 | ![]() |
dot(P,eql(R,log(D))) | 103653 | 138333331 | o2(x,o2(x,o1(x))) | true | 146031 | 146031 | 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_x7_u1_b107 | 17 | 7 | 1 | 107 | ![]() |
dot(P,min(R,log(D))) | 103654 | 138333332 | o2(x,o2(x,o1(x))) | true | 146039 | 146039 | 0.04688 | 0.5266 | 0.9097 | 0.8799 | 0.938 | -1 | 1 | 2 | 1 | 2.263 | 0.1387 | 0.1457 | 0.2085 | -0.02469 | 1 | 0.0002005 | 0.5839 | 0.3217 | 0.2412 | 0.4911 | 2.355 | 2.828 | 0.3233 | 0.6636 | 1 | 1 | 0.299 | 1.009 | 0.6999 | 0.3398 | 1.146 | 0.7955 | json |
| t17_x7_u1_b108 | 17 | 7 | 1 | 108 | ![]() |
dot(P,dot(R,log(D))) | 103655 | 138333333 | o2(x,o2(x,o1(x))) | true | 146047 | 146047 | -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_x7_u1_b109 | 17 | 7 | 1 | 109 | ![]() |
dot(P,dst(R,log(D))) | 103656 | 138333334 | o2(x,o2(x,o1(x))) | true | 146055 | 146055 | -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_x7_u1_b110 | 17 | 7 | 1 | 110 | ![]() |
dst(P,add(R,log(D))) | 103657 | 138333335 | o2(x,o2(x,o1(x))) | true | 146063 | 146063 | -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_x7_u1_b111 | 17 | 7 | 1 | 111 | ![]() |
dst(P,sub(R,log(D))) | 103658 | 138333336 | o2(x,o2(x,o1(x))) | true | 146071 | 146071 | -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_x7_u1_b112 | 17 | 7 | 1 | 112 | ![]() |
dst(P,mlt(R,log(D))) | 103659 | 138333337 | o2(x,o2(x,o1(x))) | true | 146079 | 146079 | -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_x7_u1_b113 | 17 | 7 | 1 | 113 | ![]() |
dst(P,div(R,log(D))) | 103660 | 138333338 | o2(x,o2(x,o1(x))) | true | 146087 | 146087 | -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_x7_u1_b114 | 17 | 7 | 1 | 114 | ![]() |
dst(P,pow(R,log(D))) | 103661 | 138333339 | o2(x,o2(x,o1(x))) | true | 146095 | 146095 | -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_x7_u1_b115 | 17 | 7 | 1 | 115 | ![]() |
dst(P,mod(R,log(D))) | 103662 | 138333340 | o2(x,o2(x,o1(x))) | true | 146103 | 146103 | -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_x7_u1_b116 | 17 | 7 | 1 | 116 | ![]() |
dst(P,lrg(R,log(D))) | 103663 | 138333341 | o2(x,o2(x,o1(x))) | true | 146111 | 146111 | 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 |
| t17_x7_u1_b117 | 17 | 7 | 1 | 117 | ![]() |
dst(P,eql(R,log(D))) | 103664 | 138333342 | o2(x,o2(x,o1(x))) | true | 146119 | 146119 | 0.9964 | 1 | 0.9964 | 0.002289 | 0.04784 | 0.000582 | 1 | 0.9994 | 1 | 0.09109 | 0.00003966 | 0.00003966 | 0.0008105 | 5.503e-7 | 0 | -4.881e-11 | 0.00001004 | 0.0002297 | 0.00007859 | 0.008865 | 10.94 | 0.1294 | 0.03466 | 0.004388 | 1 | 1 | 0.0002733 | 0.00336 | 0.008351 | 0.1194 | 1.468 | 3.649 | json |
| t17_x7_u1_b118 | 17 | 7 | 1 | 118 | ![]() |
dst(P,min(R,log(D))) | 103665 | 138333343 | o2(x,o2(x,o1(x))) | true | 146127 | 146127 | -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_x7_u1_b119 | 17 | 7 | 1 | 119 | ![]() |
dst(P,dot(R,log(D))) | 103666 | 138333344 | o2(x,o2(x,o1(x))) | true | 146135 | 146135 | -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_x7_u1_b120 | 17 | 7 | 1 | 120 | ![]() |
dst(P,dst(R,log(D))) | 103667 | 138333345 | o2(x,o2(x,o1(x))) | true | 146143 | 146143 | -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_x7_u2_b0 | 17 | 7 | 2 | 0 | ![]() |
add(P,add(R,frc(D))) | 103668 | 138333426 | o2(x,o2(x,o1(x))) | true | 146151 | 146151 | 0.06486 | 0.5309 | 0.9344 | 0.9104 | 0.9541 | -1 | 1 | 2 | 1 | 1.96 | 0.008356 | 0.0003939 | 0.02401 | 0.91 | 1 | -0.0000206 | 0.01395 | 0.02039 | 0.008176 | 0.09042 | 3.766 | 0.9562 | 0.009612 | 0.01532 | 1 | 1 | 0.01394 | 0.06646 | 0.262 | 0.01531 | 0.073 | 0.2878 | json |
| t17_x7_u2_b1 | 17 | 7 | 2 | 1 | ![]() |
add(P,sub(R,frc(D))) | 103669 | 138333427 | o2(x,o2(x,o1(x))) | true | 146159 | 146159 | -0.05488 | 0.4735 | 0.9435 | 0.9192 | 0.9587 | -1 | 1 | 2 | 1 | 1.942 | 0.005641 | 0.0003637 | 0.01611 | 0.8789 | 1 | -0.00002072 | 0.01134 | 0.01756 | 0.005748 | 0.07581 | 4.706 | 0.9565 | 0.006533 | 0.01234 | 1 | 1 | 0.008556 | 0.04626 | 0.2594 | 0.009308 | 0.05033 | 0.2822 | json |
| t17_x7_u2_b2 | 17 | 7 | 2 | 2 | ![]() |
add(P,mlt(R,frc(D))) | 103670 | 138333428 | o2(x,o2(x,o1(x))) | true | 146167 | 146167 | 0.001762 | 0.4998 | 0.9401 | 0.9216 | 0.96 | -1 | 1 | 2 | 1 | 1.911 | 0.002964 | 0.0001265 | 0.01323 | 0.9182 | 1 | -0.00001067 | 0.004739 | 0.01028 | 0.002913 | 0.05398 | 4.079 | 0.8933 | 0.003353 | 0.005142 | 1 | 1 | 0.004755 | 0.03269 | 0.2449 | 0.00516 | 0.03548 | 0.2657 | json |
| t17_x7_u2_b3 | 17 | 7 | 2 | 3 | ![]() |
add(P,div(R,frc(D))) | 103671 | 138333429 | o2(x,o2(x,o1(x))) | true | 146175 | 146175 | 0.01238 | 0.5048 | 0.9464 | 0.927 | 0.9628 | -1 | 1 | 2 | 1 | 1.903 | 0.1555 | 0.01115 | 0.114 | 0.8662 | 1 | 0.001155 | 0.3969 | 0.1849 | 0.1537 | 0.392 | 3.44 | 2.828 | 0.1797 | 0.4282 | 1 | 1 | 0.1606 | 0.3681 | 0.5636 | 0.1733 | 0.3971 | 0.608 | json |
| t17_x7_u2_b4 | 17 | 7 | 2 | 4 | ![]() |
add(P,pow(R,frc(D))) | 103672 | 138333430 | o2(x,o2(x,o1(x))) | true | 146183 | 146183 | -0.9771 | 0.01097 | 0.9946 | 0.03818 | 0.1954 | -1 | 1 | 2 | 1 | 0.1854 | 0.002613 | 0.004614 | 0.004893 | -0.2769 | 1 | 6.007e-11 | 0.01499 | 0.008872 | 0.007206 | 0.08489 | 17.35 | 2.828 | 0.1893 | 0.3927 | 1 | 1 | 0.001938 | 0.01186 | 0.03812 | 0.05077 | 0.3106 | 0.9983 | json |
| t17_x7_u2_b5 | 17 | 7 | 2 | 5 | ![]() |
add(P,mod(R,frc(D))) | 103673 | 138333431 | o2(x,o2(x,o1(x))) | true | 146191 | 146191 | 0.0005577 | 0.5015 | 0.9403 | 0.9224 | 0.9604 | -1 | 1 | 2 | 1 | 1.904 | 0.004823 | 0.0001158 | 0.01601 | 0.9531 | 1 | -0.000008053 | 0.00937 | 0.02124 | 0.004683 | 0.06843 | 4.275 | 0.9372 | 0.005354 | 0.01016 | 1 | 1 | 0.006411 | 0.03412 | 0.2451 | 0.00695 | 0.03699 | 0.2657 | json |
| t17_x7_u2_b6 | 17 | 7 | 2 | 6 | ![]() |
add(P,lrg(R,frc(D))) | 103674 | 138333432 | o2(x,o2(x,o1(x))) | true | 146199 | 146199 | 0.0359 | 0.5089 | 0.9353 | 0.9217 | 0.96 | -1 | 1 | 2 | 1 | 1.812 | 0.005859 | 0.0001725 | 0.01532 | 0.9428 | 1 | -0.00001035 | 0.01111 | 0.01757 | 0.005797 | 0.07613 | 4.969 | 1 | 0.006544 | 0.01206 | 1 | 1 | 0.008255 | 0.03791 | 0.2567 | 0.008957 | 0.04113 | 0.2785 | json |
| t17_x7_u2_b7 | 17 | 7 | 2 | 7 | ![]() |
add(P,eql(R,frc(D))) | 103675 | 138333433 | o2(x,o2(x,o1(x))) | true | 146207 | 146207 | 0 | 0.5 | 0.9375 | 0.924 | 0.9612 | -1 | 1 | 2 | 1 | 1.813 | 0.0007059 | 0 | 0.007937 | 1 | 1 | 0 | 0.00003235 | 0.001851 | 0.0006432 | 0.02536 | 3.195 | 0.1169 | 0.0007639 | 0.00003501 | 1 | 1 | 0.001851 | 0.02449 | 0.2344 | 0.002003 | 0.0265 | 0.2537 | json |
| t17_x7_u2_b8 | 17 | 7 | 2 | 8 | ![]() |
add(P,min(R,frc(D))) | 103676 | 138333434 | o2(x,o2(x,o1(x))) | true | 146215 | 146215 | -0.008313 | 0.4944 | 0.9451 | 0.9244 | 0.9615 | -1 | 1 | 2 | 1 | 1.937 | 0.002582 | 0.0002526 | 0.01387 | 0.8217 | 1 | -0.00001704 | 0.002948 | 0.00823 | 0.002642 | 0.0514 | 3.707 | 0.8663 | 0.003066 | 0.003189 | 1 | 1 | 0.005296 | 0.04303 | 0.2599 | 0.005729 | 0.04655 | 0.2811 | json |
| t17_x7_u2_b9 | 17 | 7 | 2 | 9 | ![]() |
add(P,dot(R,frc(D))) | 103677 | 138333435 | o2(x,o2(x,o1(x))) | true | 146223 | 146223 | 0.01001 | 0.508 | 0.9385 | 0.9187 | 0.9585 | -1 | 1 | 2 | 1 | 1.941 | 0.002912 | 0.002111 | 0.01733 | 0.1594 | 1 | -0.00002412 | 0.008662 | 0.01664 | 0.004726 | 0.06875 | 3.967 | 1.236 | 0.005468 | 0.009429 | 1 | 1 | 0.006989 | 0.03976 | 0.2507 | 0.007608 | 0.04328 | 0.2729 | json |
| t17_x7_u2_b10 | 17 | 7 | 2 | 10 | ![]() |
add(P,dst(R,frc(D))) | 103678 | 138333436 | o2(x,o2(x,o1(x))) | true | 146231 | 146231 | 0.1488 | 0.5736 | 0.9378 | 0.8942 | 0.9456 | -1 | 1 | 2 | 1 | 1.965 | 0.003111 | 0.00192 | 0.01906 | 0.2367 | 1 | 0.000001346 | 0.008007 | 0.0169 | 0.00467 | 0.06834 | 3.586 | 0.9321 | 0.005627 | 0.008955 | 1 | 1 | 0.008026 | 0.04321 | 0.2338 | 0.008976 | 0.04833 | 0.2614 | json |
| t17_x7_u2_b11 | 17 | 7 | 2 | 11 | ![]() |
sub(P,add(R,frc(D))) | 103679 | 138333437 | o2(x,o2(x,o1(x))) | true | 146239 | 146239 | -0.06817 | 0.4663 | 0.9337 | 0.9061 | 0.9519 | -1 | 1 | 2 | 1 | 2.006 | 0.006643 | 0.0004051 | 0.01759 | 0.885 | 1 | 0.00002247 | 0.01358 | 0.01897 | 0.006737 | 0.08208 | 4.667 | 0.9552 | 0.007779 | 0.01498 | 1 | 1 | 0.009393 | 0.04994 | 0.2527 | 0.01037 | 0.05512 | 0.2789 | json |
| t17_x7_u2_b12 | 17 | 7 | 2 | 12 | ![]() |
sub(P,sub(R,frc(D))) | 103680 | 138333438 | o2(x,o2(x,o1(x))) | true | 146247 | 146247 | 0.06064 | 0.5294 | 0.9393 | 0.9146 | 0.9564 | -1 | 1 | 2 | 1 | 1.987 | 0.008225 | 0.0003893 | 0.02486 | 0.9096 | 1 | 0.00001781 | 0.01371 | 0.02163 | 0.007995 | 0.08942 | 3.597 | 0.9578 | 0.009419 | 0.01499 | 1 | 1 | 0.01353 | 0.06583 | 0.2651 | 0.0148 | 0.07197 | 0.2898 | json |
| t17_x7_u2_b13 | 17 | 7 | 2 | 13 | ![]() |
sub(P,mlt(R,frc(D))) | 103681 | 138333439 | o2(x,o2(x,o1(x))) | true | 146255 | 146255 | -0.002299 | 0.5061 | 0.9368 | 0.9174 | 0.9578 | -1 | 1 | 2 | 1 | 1.934 | 0.003138 | 0.0001336 | 0.01335 | 0.9183 | 1 | 0.00001059 | 0.005254 | 0.01081 | 0.003094 | 0.05562 | 4.168 | 0.8922 | 0.003566 | 0.005727 | 1 | 1 | 0.004828 | 0.03321 | 0.2414 | 0.005262 | 0.0362 | 0.2631 | json |
| t17_x7_u2_b14 | 17 | 7 | 2 | 14 | ![]() |
sub(P,div(R,frc(D))) | 103682 | 138333440 | o2(x,o2(x,o1(x))) | true | 146263 | 146263 | -0.0004936 | 0.5016 | 0.9418 | 0.9213 | 0.9599 | -1 | 1 | 2 | 1 | 1.952 | 0.1338 | 0.0102 | 0.1032 | 0.8583 | 1 | 0.000004265 | 0.3322 | 0.1607 | 0.1334 | 0.3653 | 3.541 | 2.828 | 0.1563 | 0.3605 | 1 | 1 | 0.1501 | 0.3502 | 0.5586 | 0.163 | 0.3801 | 0.6063 | json |
| t17_x7_u2_b15 | 17 | 7 | 2 | 15 | ![]() |
sub(P,pow(R,frc(D))) | 103683 | 138333441 | o2(x,o2(x,o1(x))) | true | 146271 | 146271 | -0.989 | 0.005127 | 0.9972 | 0.01825 | 0.1351 | -1 | 1 | 2 | 1 | 0.1034 | 0.00149 | 0.002122 | 0.002631 | -0.175 | 1 | 1.877e-11 | 0.007553 | 0.004583 | 0.003604 | 0.06003 | 22.81 | 2 | 0.198 | 0.4139 | 1 | 1 | 0.0001519 | 0.001063 | 0.01579 | 0.008324 | 0.05827 | 0.8651 | json |
| t17_x7_u2_b16 | 17 | 7 | 2 | 16 | ![]() |
sub(P,mod(R,frc(D))) | 103684 | 138333442 | o2(x,o2(x,o1(x))) | true | 146279 | 146279 | -0.0006726 | 0.5045 | 0.9384 | 0.9196 | 0.9589 | -1 | 1 | 2 | 1 | 1.924 | 0.005209 | 0.0001216 | 0.01678 | 0.9544 | 1 | 0.000007723 | 0.01101 | 0.02257 | 0.005046 | 0.07103 | 4.232 | 0.9375 | 0.005797 | 0.01197 | 1 | 1 | 0.006355 | 0.03436 | 0.2426 | 0.00691 | 0.03736 | 0.2638 | json |
| t17_x7_u2_b17 | 17 | 7 | 2 | 17 | ![]() |
sub(P,lrg(R,frc(D))) | 103685 | 138333443 | o2(x,o2(x,o1(x))) | true | 146287 | 146287 | -0.03809 | 0.4745 | 0.9302 | 0.916 | 0.9571 | -1 | 1 | 2 | 1 | 1.845 | 0.007406 | 0.0001805 | 0.01718 | 0.9524 | 1 | 0.00001168 | 0.0134 | 0.01873 | 0.007294 | 0.08541 | 4.972 | 1.086 | 0.008282 | 0.01463 | 1 | 1 | 0.01058 | 0.05226 | 0.2472 | 0.01155 | 0.05705 | 0.2698 | json |
| t17_x7_u2_b18 | 17 | 7 | 2 | 18 | ![]() |
sub(P,eql(R,frc(D))) | 103686 | 138333444 | o2(x,o2(x,o1(x))) | true | 146295 | 146295 | 0 | 0.5 | 0.9375 | 0.924 | 0.9612 | -1 | 1 | 2 | 1 | 1.813 | 0.0007059 | 0 | 0.007937 | 1 | 1 | 0 | 0.00003235 | 0.001851 | 0.0006432 | 0.02536 | 3.195 | 0.1169 | 0.0007639 | 0.00003501 | 1 | 1 | 0.001851 | 0.02449 | 0.2344 | 0.002003 | 0.0265 | 0.2537 | json |
| t17_x7_u2_b19 | 17 | 7 | 2 | 19 | ![]() |
sub(P,min(R,frc(D))) | 103687 | 138333445 | o2(x,o2(x,o1(x))) | true | 146303 | 146303 | 0.008869 | 0.5069 | 0.9402 | 0.9186 | 0.9585 | -1 | 1 | 2 | 1 | 1.985 | 0.002186 | 0.000271 | 0.01168 | 0.7794 | 1 | 0.00001691 | 0.003209 | 0.008111 | 0.002322 | 0.04818 | 4.125 | 0.9123 | 0.002675 | 0.003493 | 1 | 1 | 0.004172 | 0.03803 | 0.2573 | 0.004542 | 0.0414 | 0.2801 | json |
| t17_x7_u2_b20 | 17 | 7 | 2 | 20 | ![]() |
sub(P,dot(R,frc(D))) | 103688 | 138333446 | o2(x,o2(x,o1(x))) | true | 146311 | 146311 | -0.01177 | 0.4957 | 0.9311 | 0.9098 | 0.9538 | -1 | 1 | 2 | 1 | 2.018 | 0.003046 | 0.002084 | 0.01762 | 0.1874 | 1 | 0.000003913 | 0.009212 | 0.01761 | 0.004818 | 0.06941 | 3.94 | 1.237 | 0.005639 | 0.01012 | 1 | 1 | 0.007144 | 0.03727 | 0.2365 | 0.007852 | 0.04097 | 0.26 | json |
| t17_x7_u2_b21 | 17 | 7 | 2 | 21 | ![]() |
sub(P,dst(R,frc(D))) | 103689 | 138333447 | o2(x,o2(x,o1(x))) | true | 146319 | 146319 | -0.1443 | 0.4317 | 0.9384 | 0.8955 | 0.9463 | -1 | 1 | 2 | 1 | 1.959 | 0.00227 | 0.001855 | 0.01549 | 0.1007 | 1 | -0.00001592 | 0.007242 | 0.01564 | 0.003887 | 0.06234 | 4.026 | 0.9136 | 0.004606 | 0.008086 | 1 | 1 | 0.005995 | 0.03377 | 0.2376 | 0.006695 | 0.03771 | 0.2653 | json |
| t17_x7_u2_b22 | 17 | 7 | 2 | 22 | ![]() |
mlt(P,add(R,frc(D))) | 103690 | 138333448 | o2(x,o2(x,o1(x))) | true | 146327 | 146327 | -0.009196 | 0.4929 | 0.7899 | 0.7345 | 0.857 | -1 | 1 | 2 | 1 | 3.269 | 0.101 | 0.01043 | 0.128 | 0.8128 | 1 | 0.0004812 | 0.1991 | 0.1478 | 0.09513 | 0.3084 | 2.41 | 2.056 | 0.1518 | 0.2711 | 1 | 1 | 0.1146 | 0.4283 | 0.6132 | 0.156 | 0.5831 | 0.8349 | json |
| t17_x7_u2_b23 | 17 | 7 | 2 | 23 | ![]() |
mlt(P,sub(R,frc(D))) | 103691 | 138333449 | o2(x,o2(x,o1(x))) | true | 146335 | 146335 | -0.05151 | 0.4813 | 0.7819 | 0.726 | 0.8521 | -1 | 1 | 2 | 1 | 3.22 | 0.09703 | 0.01093 | 0.1264 | 0.7975 | 1 | -0.0004176 | 0.1874 | 0.1452 | 0.09201 | 0.3033 | 2.401 | 2.046 | 0.1487 | 0.2581 | 1 | 1 | 0.1093 | 0.4373 | 0.6294 | 0.1505 | 0.6023 | 0.8669 | json |
| t17_x7_u2_b24 | 17 | 7 | 2 | 24 | ![]() |
mlt(P,mlt(R,frc(D))) | 103692 | 138333450 | o2(x,o2(x,o1(x))) | true | 146343 | 146343 | -0.04653 | 0.4662 | 0.4898 | 0.3832 | 0.619 | -1 | 1 | 2 | 1 | 4.462 | 0.04549 | 0.009218 | 0.1287 | 0.663 | 1 | 0.000385 | 0.08951 | 0.1224 | 0.03815 | 0.1953 | 1.517 | 1.653 | 0.1428 | 0.2336 | 1 | 1 | 0.05678 | 0.2806 | 0.5726 | 0.1482 | 0.7322 | 1.494 | json |
| t17_x7_u2_b25 | 17 | 7 | 2 | 25 | ![]() |
mlt(P,div(R,frc(D))) | 103693 | 138333451 | o2(x,o2(x,o1(x))) | true | 146351 | 146351 | -0.06017 | 0.4691 | 0.8375 | 0.7903 | 0.889 | -1 | 1 | 2 | 1 | 2.888 | 0.04113 | 0.04606 | 0.1122 | -0.05654 | 1 | -0.00008842 | 0.1347 | 0.1199 | 0.07463 | 0.2732 | 2.434 | 2.533 | 0.1103 | 0.1705 | 1 | 1 | 0.107 | 0.6353 | 1.35 | 0.1354 | 0.8039 | 1.709 | json |
| t17_x7_u2_b26 | 17 | 7 | 2 | 26 | ![]() |
mlt(P,pow(R,frc(D))) | 103694 | 138333452 | o2(x,o2(x,o1(x))) | true | 146359 | 146359 | -0.9838 | 0.007813 | 0.9949 | 0.02545 | 0.1595 | -1 | 1 | 2 | 1 | 0.1657 | 0.001945 | 0.003073 | 0.003736 | -0.2248 | 1 | 1.502e-11 | 0.01043 | 0.006434 | 0.005003 | 0.07073 | 18.93 | 2.646 | 0.1971 | 0.4098 | 1 | 1 | 0.00075 | 0.004439 | 0.02309 | 0.02947 | 0.1744 | 0.9072 | json |
| t17_x7_u2_b27 | 17 | 7 | 2 | 27 | ![]() |
mlt(P,mod(R,frc(D))) | 103695 | 138333453 | o2(x,o2(x,o1(x))) | true | 146367 | 146367 | -0.04616 | 0.4692 | 0.4616 | 0.3507 | 0.5922 | -1 | 1 | 2 | 1 | 4.532 | 0.1211 | 0.007895 | 0.2213 | 0.8776 | 1 | -0.0008817 | 0.3054 | 0.3421 | 0.07998 | 0.2828 | 1.278 | 2.047 | 0.3677 | 0.8707 | 1 | 1 | 0.09079 | 0.2752 | 0.5284 | 0.2588 | 0.7845 | 1.507 | json |
| t17_x7_u2_b28 | 17 | 7 | 2 | 28 | ![]() |
mlt(P,lrg(R,frc(D))) | 103696 | 138333454 | o2(x,o2(x,o1(x))) | true | 146375 | 146375 | -0.0252 | 0.3012 | 0.3848 | 0.345 | 0.5873 | -1 | 1 | 2 | 1 | 3.05 | 0.06324 | 0.004369 | 0.1054 | 0.8708 | 1 | -0.0001314 | 0.1352 | 0.1527 | 0.05648 | 0.2377 | 2.256 | 1.079 | 0.196 | 0.392 | 1 | 1 | 0.06291 | 0.2059 | 0.31 | 0.1824 | 0.5968 | 0.8986 | json |
| t17_x7_u2_b29 | 17 | 7 | 2 | 29 | ![]() |
mlt(P,eql(R,frc(D))) | 103697 | 138333455 | o2(x,o2(x,o1(x))) | true | 146383 | 146383 | 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_x7_u2_b30 | 17 | 7 | 2 | 30 | ![]() |
mlt(P,min(R,frc(D))) | 103698 | 138333456 | o2(x,o2(x,o1(x))) | true | 146391 | 146391 | -0.05776 | 0.464 | 0.6619 | 0.5725 | 0.7566 | -1 | 1 | 2 | 1 | 4.062 | 0.03928 | 0.0151 | 0.1189 | 0.4446 | 1 | 0.0006553 | 0.07192 | 0.1 | 0.04025 | 0.2006 | 1.687 | 2.438 | 0.095 | 0.1256 | 1 | 1 | 0.06103 | 0.3881 | 0.8419 | 0.1066 | 0.678 | 1.471 | json |
| t17_x7_u2_b31 | 17 | 7 | 2 | 31 | ![]() |
mlt(P,dot(R,frc(D))) | 103699 | 138333457 | o2(x,o2(x,o1(x))) | true | 146399 | 146399 | -0.05029 | 0.4804 | 0.622 | 0.5263 | 0.7255 | -1 | 1 | 2 | 1 | 4.203 | 0.05828 | 0.05752 | 0.1742 | 0.006566 | 1 | 0.0001312 | 0.2078 | 0.1932 | 0.08545 | 0.2923 | 1.678 | 2.238 | 0.22 | 0.3949 | 1 | 1 | 0.1108 | 0.4401 | 0.8059 | 0.2106 | 0.8363 | 1.531 | json |



































































































