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_x20_u1_b42 | 17 | 20 | 1 | 42 | ![]() |
div(R,dot(P,log(R))) | 114600 | 138858480 | o2(x,o2(x,o1(x))) | true | 76807 | 76807 | -0.995 | 0.003906 | 0.9972 | 0.006711 | 0.08192 | -1 | 0.8458 | 1.846 | 1 | 0.05012 | 0.000881 | 0.0008896 | 0.001442 | -0.004887 | 1 | -2.628e-11 | 0.00375 | 0.002636 | 0.001767 | 0.04204 | 29.15 | 1.846 | 0.2638 | 0.5588 | 1 | 1 | 0.00313 | 0.0126 | 0.02363 | 0.4664 | 1.877 | 3.521 | json |
| t17_x20_u1_b43 | 17 | 20 | 1 | 43 | ![]() |
div(R,dst(P,log(R))) | 114601 | 138858481 | o2(x,o2(x,o1(x))) | true | 76815 | 76815 | -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_x20_u1_b44 | 17 | 20 | 1 | 44 | ![]() |
pow(R,add(P,log(R))) | 114602 | 138858482 | o2(x,o2(x,o1(x))) | true | 76823 | 76823 | -0.9175 | 0.04297 | 0.9966 | 0.1544 | 0.3929 | -1 | 1 | 2 | 1 | 0.2927 | 0.01598 | 0.01512 | 0.01596 | 0.02756 | 1 | 0.000001863 | 0.06495 | 0.03192 | 0.03083 | 0.1756 | 11 | 2.828 | 0.2014 | 0.4208 | 1 | 1 | 0.02537 | 0.1092 | 0.2665 | 0.1643 | 0.7074 | 1.726 | json |
| t17_x20_u1_b45 | 17 | 20 | 1 | 45 | ![]() |
pow(R,sub(P,log(R))) | 114603 | 138858483 | o2(x,o2(x,o1(x))) | true | 76831 | 76831 | -0.9196 | 0.04297 | 0.9945 | 0.1472 | 0.3836 | -1 | 1 | 2 | 1 | 0.3266 | 0.01588 | 0.0142 | 0.0159 | 0.05601 | 1 | 0.00000181 | 0.06289 | 0.03136 | 0.02982 | 0.1727 | 10.86 | 2.828 | 0.2044 | 0.4273 | 1 | 1 | 0.02516 | 0.1073 | 0.2597 | 0.1709 | 0.7292 | 1.765 | json |
| t17_x20_u1_b46 | 17 | 20 | 1 | 46 | ![]() |
pow(R,mlt(P,log(R))) | 114604 | 138858484 | o2(x,o2(x,o1(x))) | true | 76839 | 76839 | -0.933 | 0.04269 | 0.9811 | 0.1061 | 0.3257 | -1 | 1 | 2 | 1 | 0.4074 | 0.009972 | 0.01142 | 0.01412 | -0.06781 | 1 | 0.00000955 | 0.04456 | 0.02602 | 0.02119 | 0.1456 | 10.31 | 2.828 | 0.2016 | 0.42 | 1 | 1 | 0.01588 | 0.07074 | 0.1752 | 0.1496 | 0.6667 | 1.651 | json |
| t17_x20_u1_b47 | 17 | 20 | 1 | 47 | ![]() |
pow(R,div(P,log(R))) | 114605 | 138858485 | o2(x,o2(x,o1(x))) | true | 76847 | 76847 | -0.9444 | 0.04297 | 0.9697 | 0.07558 | 0.2749 | -1 | 1 | 2 | 1 | 0.3491 | 0.006597 | 0.008215 | 0.01083 | -0.1092 | 1 | -6.428e-9 | 0.03087 | 0.02131 | 0.0147 | 0.1212 | 11.19 | 2.828 | 0.196 | 0.4085 | 1 | 1 | 0.009126 | 0.04173 | 0.1137 | 0.1208 | 0.5522 | 1.504 | json |
| t17_x20_u1_b48 | 17 | 20 | 1 | 48 | ![]() |
pow(R,pow(P,log(R))) | 114606 | 138858486 | o2(x,o2(x,o1(x))) | true | 76855 | 76855 | -0.9872 | 0.007813 | 0.9971 | 0.02153 | 0.1467 | -1 | 0.9378 | 1.938 | 1 | 0.09053 | 0.00194 | 0.002574 | 0.002881 | -0.1404 | 1 | 1.558e-7 | 0.009488 | 0.005436 | 0.004507 | 0.06713 | 23.3 | 2.64 | 0.2096 | 0.4406 | 1 | 1 | 0.0004137 | 0.002946 | 0.0189 | 0.01921 | 0.1368 | 0.8776 | json |
| t17_x20_u1_b49 | 17 | 20 | 1 | 49 | ![]() |
pow(R,mod(P,log(R))) | 114607 | 138858487 | o2(x,o2(x,o1(x))) | true | 76863 | 76863 | -0.9149 | 0.04297 | 0.9991 | 0.1615 | 0.4018 | -1 | 1 | 2 | 1 | 0.2818 | 0.0165 | 0.01597 | 0.01641 | 0.01629 | 1 | 0.000002004 | 0.06787 | 0.03285 | 0.03219 | 0.1794 | 10.93 | 2.828 | 0.2011 | 0.4203 | 1 | 1 | 0.02539 | 0.1093 | 0.2729 | 0.1573 | 0.6769 | 1.69 | json |
| t17_x20_u1_b50 | 17 | 20 | 1 | 50 | ![]() |
pow(R,lrg(P,log(R))) | 114608 | 138858488 | o2(x,o2(x,o1(x))) | true | 76871 | 76871 | -0.9181 | 0.04297 | 0.9959 | 0.1509 | 0.3884 | -1 | 1 | 2 | 1 | 0.326 | 0.01614 | 0.01457 | 0.01615 | 0.05123 | 1 | 0.000002697 | 0.06424 | 0.03187 | 0.03044 | 0.1745 | 10.81 | 2.828 | 0.2036 | 0.4258 | 1 | 1 | 0.02503 | 0.1065 | 0.2628 | 0.1659 | 0.7062 | 1.742 | json |
| t17_x20_u1_b51 | 17 | 20 | 1 | 51 | ![]() |
pow(R,eql(P,log(R))) | 114609 | 138858489 | o2(x,o2(x,o1(x))) | true | 76879 | 76879 | 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_x20_u1_b52 | 17 | 20 | 1 | 52 | ![]() |
pow(R,min(P,log(R))) | 114610 | 138858490 | o2(x,o2(x,o1(x))) | true | 76887 | 76887 | -0.8516 | 0.07422 | 1 | 0.2749 | 0.5243 | -1 | 1 | 2 | 1 | 0.3815 | 0.02494 | 0.02444 | 0.02454 | 0.0102 | 1 | 0 | 0.103 | 0.04938 | 0.04875 | 0.2208 | 8.996 | 2.828 | 0.1796 | 0.3748 | 1 | 1 | 0.0467 | 0.1946 | 0.6445 | 0.1699 | 0.7079 | 2.344 | json |
| t17_x20_u1_b53 | 17 | 20 | 1 | 53 | ![]() |
pow(R,dot(P,log(R))) | 114611 | 138858491 | o2(x,o2(x,o1(x))) | true | 76895 | 76895 | -0.9949 | 0.003906 | 0.9973 | 0.007018 | 0.08378 | -1 | 0.8526 | 1.853 | 1 | 0.05075 | 0.0009143 | 0.0009409 | 0.001486 | -0.01434 | 1 | 4.505e-11 | 0.003927 | 0.002687 | 0.001851 | 0.04303 | 28.96 | 1.853 | 0.2643 | 0.5596 | 1 | 1 | 0.003281 | 0.01321 | 0.02464 | 0.4675 | 1.882 | 3.511 | json |
| t17_x20_u1_b54 | 17 | 20 | 1 | 54 | ![]() |
pow(R,dst(P,log(R))) | 114612 | 138858492 | o2(x,o2(x,o1(x))) | true | 76903 | 76903 | -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_x20_u1_b55 | 17 | 20 | 1 | 55 | ![]() |
mod(R,add(P,log(R))) | 114613 | 138858493 | o2(x,o2(x,o1(x))) | true | 76911 | 76911 | -0.935 | 0.04297 | 0.9791 | 0.09649 | 0.3106 | -1 | 0.9428 | 1.943 | 1 | 0.4206 | 0.00981 | 0.009552 | 0.01365 | 0.01329 | 1 | 0.000008535 | 0.04039 | 0.02525 | 0.01918 | 0.1385 | 10.14 | 2.098 | 0.2007 | 0.4186 | 1 | 1 | 0.01602 | 0.06852 | 0.1676 | 0.1661 | 0.7102 | 1.737 | json |
| t17_x20_u1_b56 | 17 | 20 | 1 | 56 | ![]() |
mod(R,sub(P,log(R))) | 114614 | 138858494 | o2(x,o2(x,o1(x))) | true | 76919 | 76919 | -0.9373 | 0.04297 | 0.9767 | 0.08998 | 0.3 | -1 | 0.9428 | 1.943 | 1 | 0.4229 | 0.008965 | 0.009322 | 0.01333 | -0.01952 | 1 | 0.000008536 | 0.03818 | 0.02447 | 0.01811 | 0.1346 | 10.1 | 2.64 | 0.2032 | 0.4243 | 1 | 1 | 0.01408 | 0.06023 | 0.1431 | 0.1565 | 0.6695 | 1.59 | json |
| t17_x20_u1_b57 | 17 | 20 | 1 | 57 | ![]() |
mod(R,mlt(P,log(R))) | 114615 | 138858495 | o2(x,o2(x,o1(x))) | true | 76927 | 76927 | -0.9523 | 0.03516 | 0.9774 | 0.06358 | 0.2521 | -1 | 0.8783 | 1.878 | 1 | 0.3421 | 0.006675 | 0.006002 | 0.009846 | 0.0531 | 1 | 0.000002933 | 0.02649 | 0.01854 | 0.01259 | 0.1122 | 11.4 | 2.098 | 0.1994 | 0.4166 | 1 | 1 | 0.01123 | 0.04551 | 0.1118 | 0.1766 | 0.7158 | 1.758 | json |
| t17_x20_u1_b58 | 17 | 20 | 1 | 58 | ![]() |
mod(R,div(P,log(R))) | 114616 | 138858496 | o2(x,o2(x,o1(x))) | true | 76935 | 76935 | -0.9454 | 0.03516 | 0.9843 | 0.0832 | 0.2884 | -1 | 0.9428 | 1.943 | 1 | 0.3499 | 0.008732 | 0.007683 | 0.01142 | 0.06389 | 1 | 0.000008536 | 0.03424 | 0.02109 | 0.01628 | 0.1276 | 11.18 | 2.098 | 0.1973 | 0.4115 | 1 | 1 | 0.01517 | 0.06259 | 0.1544 | 0.1823 | 0.7522 | 1.856 | json |
| t17_x20_u1_b59 | 17 | 20 | 1 | 59 | ![]() |
mod(R,pow(P,log(R))) | 114617 | 138858497 | o2(x,o2(x,o1(x))) | true | 76943 | 76943 | -0.9903 | 0.007141 | 0.9945 | 0.01261 | 0.1123 | -1 | 0.9161 | 1.916 | 1 | 0.09317 | 0.00125 | 0.001196 | 0.002074 | 0.02175 | 1 | -0.000002061 | 0.005081 | 0.003615 | 0.002441 | 0.04941 | 23.83 | 1.898 | 0.194 | 0.4031 | 1 | 1 | 0 | 0 | 0.01087 | 0 | 0 | 0.8623 | json |
| t17_x20_u1_b60 | 17 | 20 | 1 | 60 | ![]() |
mod(R,mod(P,log(R))) | 114618 | 138858498 | o2(x,o2(x,o1(x))) | true | 76951 | 76951 | -0.9603 | 0.03516 | 0.9694 | 0.04353 | 0.2086 | -1 | 0.4581 | 1.458 | 1 | 0.3035 | 0.004892 | 0.003927 | 0.008105 | 0.1095 | 1 | -0.000004317 | 0.01844 | 0.01549 | 0.00875 | 0.09354 | 11.54 | 2.062 | 0.2026 | 0.4237 | 1 | 1 | 0.006828 | 0.02806 | 0.07318 | 0.1569 | 0.6447 | 1.681 | json |
| t17_x20_u1_b61 | 17 | 20 | 1 | 61 | ![]() |
mod(R,lrg(P,log(R))) | 114619 | 138858499 | o2(x,o2(x,o1(x))) | true | 76959 | 76959 | -0.4733 | 0.2377 | 0.6607 | 0.3382 | 0.5816 | -1 | 0.9806 | 1.981 | 1 | 3.663 | 0.006563 | 0.003113 | 0.04065 | 0.3566 | 1 | 0.000003461 | 0.01373 | 0.021 | 0.008023 | 0.08957 | 2.204 | 1.829 | 0.02861 | 0.04059 | 1 | 1 | 0.01475 | 0.1123 | 0.3128 | 0.04362 | 0.332 | 0.9246 | json |
| t17_x20_u1_b62 | 17 | 20 | 1 | 62 | ![]() |
mod(R,eql(P,log(R))) | 114620 | 138858500 | o2(x,o2(x,o1(x))) | true | 76967 | 76967 | -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_x20_u1_b63 | 17 | 20 | 1 | 63 | ![]() |
mod(R,min(P,log(R))) | 114621 | 138858501 | o2(x,o2(x,o1(x))) | true | 76975 | 76975 | -0.1473 | 0.4084 | 0.4014 | 0.2332 | 0.4829 | -1 | 0.9693 | 1.969 | 1 | 4.71 | 0.009256 | 0.006414 | 0.05761 | 0.1814 | 1 | 0.00002808 | 0.02409 | 0.0302 | 0.01235 | 0.1111 | 1.929 | 1.898 | 0.0672 | 0.1033 | 1 | 1 | 0.02349 | 0.1574 | 0.4158 | 0.1007 | 0.6752 | 1.783 | json |
| t17_x20_u1_b64 | 17 | 20 | 1 | 64 | ![]() |
mod(R,dot(P,log(R))) | 114622 | 138858502 | o2(x,o2(x,o1(x))) | true | 76983 | 76983 | -0.9936 | 0.003906 | 0.9985 | 0.01041 | 0.102 | -1 | 0.8541 | 1.854 | 1 | 0.04859 | 0.001346 | 0.001359 | 0.001724 | -0.004524 | 1 | 8.635e-11 | 0.005743 | 0.003299 | 0.0027 | 0.05196 | 30.14 | 1.939 | 0.2599 | 0.5518 | 1 | 1 | 0.004764 | 0.01909 | 0.03654 | 0.4578 | 1.834 | 3.511 | json |
| t17_x20_u1_b65 | 17 | 20 | 1 | 65 | ![]() |
mod(R,dst(P,log(R))) | 114623 | 138858503 | o2(x,o2(x,o1(x))) | true | 76991 | 76991 | -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_x20_u1_b66 | 17 | 20 | 1 | 66 | ![]() |
lrg(R,add(P,log(R))) | 114624 | 138858504 | o2(x,o2(x,o1(x))) | true | 76999 | 76999 | 0.8242 | 0.9916 | 0.8242 | 0.1026 | 0.3203 | 0 | 1 | 1 | 1 | 1.962 | 0.0008743 | 0.001031 | 0.02245 | -0.08215 | 1 | 0.00001283 | 0.0001157 | 0.005487 | 0.001401 | 0.03743 | 1.668 | 0.1169 | 0.01857 | 0.001128 | 1 | 1 | 0.003377 | 0.04394 | 0.1273 | 0.03292 | 0.4284 | 1.241 | json |
| t17_x20_u1_b67 | 17 | 20 | 1 | 67 | ![]() |
lrg(R,sub(P,log(R))) | 114625 | 138858505 | o2(x,o2(x,o1(x))) | true | 77007 | 77007 | 0.7637 | 0.9903 | 0.7637 | 0.1237 | 0.3518 | 0 | 1 | 1 | 1 | 2.424 | 0.001162 | 0.001414 | 0.03026 | -0.09763 | 1 | 0.00002424 | 0.0001551 | 0.007389 | 0.00166 | 0.04075 | 1.346 | 0.1169 | 0.02082 | 0.001253 | 1 | 1 | 0.005189 | 0.06739 | 0.164 | 0.04194 | 0.5446 | 1.326 | json |
| t17_x20_u1_b68 | 17 | 20 | 1 | 68 | ![]() |
lrg(R,mlt(P,log(R))) | 114626 | 138858506 | o2(x,o2(x,o1(x))) | true | 77015 | 77015 | 0.8223 | 0.9881 | 0.8223 | 0.105 | 0.324 | 0 | 1 | 1 | 1 | 1.947 | 0.0009021 | 0.0009751 | 0.02196 | -0.0389 | 1 | -0.00001213 | 0.0001111 | 0.005361 | 0.001394 | 0.03734 | 1.701 | 0.1169 | 0.01789 | 0.001059 | 1 | 1 | 0.003478 | 0.04445 | 0.1096 | 0.03314 | 0.4235 | 1.044 | json |
| t17_x20_u1_b69 | 17 | 20 | 1 | 69 | ![]() |
lrg(R,div(P,log(R))) | 114627 | 138858507 | o2(x,o2(x,o1(x))) | true | 77023 | 77023 | 0.7598 | 0.9619 | 0.7598 | 0.1384 | 0.372 | 0 | 1 | 1 | 1 | 2.184 | 0.0009466 | 0.001126 | 0.02418 | -0.08649 | 1 | -0.00001213 | 0.0001162 | 0.005829 | 0.001488 | 0.03858 | 1.596 | 0.1169 | 0.01497 | 0.0008398 | 1 | 1 | 0.003999 | 0.05106 | 0.1509 | 0.0289 | 0.3689 | 1.09 | json |
| t17_x20_u1_b70 | 17 | 20 | 1 | 70 | ![]() |
lrg(R,pow(P,log(R))) | 114628 | 138858508 | o2(x,o2(x,o1(x))) | true | 77031 | 77031 | 0.8848 | 0.9768 | 0.8848 | 0.08275 | 0.2877 | 0 | 1 | 1 | 1 | 1.213 | 0.0006234 | 0.0002984 | 0.0108 | 0.3527 | 1 | 0.00001141 | 0.00005055 | 0.002595 | 0.0008055 | 0.02838 | 2.627 | 0.1169 | 0.01114 | 0.0006108 | 1 | 1 | 0.002425 | 0.03159 | 0.1346 | 0.02931 | 0.3818 | 1.627 | json |
| t17_x20_u1_b71 | 17 | 20 | 1 | 71 | ![]() |
lrg(R,mod(P,log(R))) | 114629 | 138858509 | o2(x,o2(x,o1(x))) | true | 77039 | 77039 | 0.9385 | 1 | 0.9385 | 0.03608 | 0.1899 | 0.000291 | 1 | 0.9997 | 1 | 1.058 | 0.0004401 | 0.0005687 | 0.01198 | -0.1275 | 1 | 0.00002424 | 0.00005909 | 0.002898 | 0.0008657 | 0.02942 | 2.456 | 0.1169 | 0.02796 | 0.001638 | 1 | 1 | 0.001671 | 0.02161 | 0.05524 | 0.0463 | 0.5991 | 1.531 | json |
| t17_x20_u1_b72 | 17 | 20 | 1 | 72 | ![]() |
lrg(R,lrg(P,log(R))) | 114630 | 138858510 | o2(x,o2(x,o1(x))) | true | 77047 | 77047 | 0.2305 | 0.4335 | 0.2305 | 0.1347 | 0.367 | 0 | 1 | 1 | 1 | 2.133 | 0.0008969 | 0.001099 | 0.02334 | -0.1011 | 1 | 0.000006428 | 0.0001133 | 0.005643 | 0.001451 | 0.03809 | 1.632 | 0.1169 | 0.01482 | 0.0008412 | 1 | 1 | 0.00381 | 0.0486 | 0.1437 | 0.02829 | 0.3609 | 1.067 | json |
| t17_x20_u1_b73 | 17 | 20 | 1 | 73 | ![]() |
lrg(R,eql(P,log(R))) | 114631 | 138858511 | o2(x,o2(x,o1(x))) | true | 77055 | 77055 | 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_x20_u1_b74 | 17 | 20 | 1 | 74 | ![]() |
lrg(R,min(P,log(R))) | 114632 | 138858512 | o2(x,o2(x,o1(x))) | true | 77063 | 77063 | 0.7109 | 0.9604 | 0.7109 | 0.1494 | 0.3865 | 0 | 1 | 1 | 1 | 2.525 | 0.001244 | 0.001316 | 0.03 | -0.02823 | 1 | -0.00002994 | 0.000153 | 0.00732 | 0.00166 | 0.04075 | 1.358 | 0.1169 | 0.01714 | 0.001024 | 1 | 1 | 0.005223 | 0.06784 | 0.1774 | 0.03496 | 0.4541 | 1.188 | json |
| t17_x20_u1_b75 | 17 | 20 | 1 | 75 | ![]() |
lrg(R,dot(P,log(R))) | 114633 | 138858513 | o2(x,o2(x,o1(x))) | true | 77071 | 77071 | 0.8789 | 0.9957 | 0.8789 | 0.07091 | 0.2663 | 0 | 1 | 1 | 1 | 1.646 | 0.0007444 | 0.0009238 | 0.01954 | -0.1076 | 1 | 0.000007841 | 0.00009379 | 0.004705 | 0.001286 | 0.03587 | 1.836 | 0.1169 | 0.02352 | 0.001323 | 1 | 1 | 0.003057 | 0.03885 | 0.09459 | 0.04311 | 0.5478 | 1.334 | json |
| t17_x20_u1_b76 | 17 | 20 | 1 | 76 | ![]() |
lrg(R,dst(P,log(R))) | 114634 | 138858514 | o2(x,o2(x,o1(x))) | true | 77079 | 77079 | 0.8965 | 1 | 0.8965 | 0.0572 | 0.2392 | 0.000291 | 1 | 0.9997 | 1 | 1.574 | 0.0007844 | 0.0008795 | 0.0197 | -0.05714 | 1 | 0.00002852 | 0.00009832 | 0.00479 | 0.001276 | 0.03572 | 1.813 | 0.1169 | 0.02909 | 0.001719 | 1 | 1 | 0.003746 | 0.04826 | 0.1198 | 0.06549 | 0.8438 | 2.095 | json |
| t17_x20_u1_b77 | 17 | 20 | 1 | 77 | ![]() |
eql(R,add(P,log(R))) | 114635 | 138858515 | o2(x,o2(x,o1(x))) | true | 77087 | 77087 | 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_x20_u1_b78 | 17 | 20 | 1 | 78 | ![]() |
eql(R,sub(P,log(R))) | 114636 | 138858516 | o2(x,o2(x,o1(x))) | true | 77095 | 77095 | 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_x20_u1_b79 | 17 | 20 | 1 | 79 | ![]() |
eql(R,mlt(P,log(R))) | 114637 | 138858517 | o2(x,o2(x,o1(x))) | true | 77103 | 77103 | 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_x20_u1_b80 | 17 | 20 | 1 | 80 | ![]() |
eql(R,div(P,log(R))) | 114638 | 138858518 | o2(x,o2(x,o1(x))) | true | 77111 | 77111 | 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_x20_u1_b81 | 17 | 20 | 1 | 81 | ![]() |
eql(R,pow(P,log(R))) | 114639 | 138858519 | o2(x,o2(x,o1(x))) | true | 77119 | 77119 | 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_x20_u1_b82 | 17 | 20 | 1 | 82 | ![]() |
eql(R,mod(P,log(R))) | 114640 | 138858520 | o2(x,o2(x,o1(x))) | true | 77127 | 77127 | 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_x20_u1_b83 | 17 | 20 | 1 | 83 | ![]() |
eql(R,lrg(P,log(R))) | 114641 | 138858521 | o2(x,o2(x,o1(x))) | true | 77135 | 77135 | 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_x20_u1_b84 | 17 | 20 | 1 | 84 | ![]() |
eql(R,eql(P,log(R))) | 114642 | 138858522 | o2(x,o2(x,o1(x))) | true | 77143 | 77143 | 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_x20_u1_b85 | 17 | 20 | 1 | 85 | ![]() |
eql(R,min(P,log(R))) | 114643 | 138858523 | o2(x,o2(x,o1(x))) | true | 77151 | 77151 | 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_x20_u1_b86 | 17 | 20 | 1 | 86 | ![]() |
eql(R,dot(P,log(R))) | 114644 | 138858524 | o2(x,o2(x,o1(x))) | true | 77159 | 77159 | 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_x20_u1_b87 | 17 | 20 | 1 | 87 | ![]() |
eql(R,dst(P,log(R))) | 114645 | 138858525 | o2(x,o2(x,o1(x))) | true | 77167 | 77167 | 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_x20_u1_b88 | 17 | 20 | 1 | 88 | ![]() |
min(R,add(P,log(R))) | 114646 | 138858526 | o2(x,o2(x,o1(x))) | true | 77175 | 77175 | -0.4618 | 0.2131 | 0.6272 | 0.2972 | 0.5451 | -1 | 0.9806 | 1.981 | 1 | 4.032 | 0.002582 | 0.002725 | 0.04575 | -0.02705 | 1 | 0.00009463 | 0.001592 | 0.01698 | 0.003214 | 0.05669 | 1.239 | 0.5864 | 0.01786 | 0.005358 | 1 | 1 | 0.009584 | 0.1019 | 0.2978 | 0.03225 | 0.3429 | 1.002 | json |
| t17_x20_u1_b89 | 17 | 20 | 1 | 89 | ![]() |
min(R,sub(P,log(R))) | 114647 | 138858527 | o2(x,o2(x,o1(x))) | true | 77183 | 77183 | -0.388 | 0.2484 | 0.5772 | 0.2964 | 0.5444 | -1 | 0.9806 | 1.981 | 1 | 4.324 | 0.002374 | 0.002677 | 0.04822 | -0.06007 | 1 | 0.00006972 | 0.001135 | 0.01586 | 0.002726 | 0.05221 | 1.083 | 0.4095 | 0.01704 | 0.00383 | 1 | 1 | 0.009405 | 0.1087 | 0.2991 | 0.03173 | 0.3669 | 1.009 | json |
| t17_x20_u1_b90 | 17 | 20 | 1 | 90 | ![]() |
min(R,mlt(P,log(R))) | 114648 | 138858528 | o2(x,o2(x,o1(x))) | true | 77191 | 77191 | -0.3879 | 0.2363 | 0.532 | 0.2431 | 0.493 | -1 | 0.8783 | 1.878 | 1 | 4.399 | 0.00205 | 0.002518 | 0.04504 | -0.1024 | 1 | 0.00031 | 0.001475 | 0.01638 | 0.002539 | 0.05039 | 1.119 | 0.4954 | 0.01879 | 0.00607 | 1 | 1 | 0.008016 | 0.08546 | 0.2214 | 0.03298 | 0.3516 | 0.9107 | json |
| t17_x20_u1_b91 | 17 | 20 | 1 | 91 | ![]() |
min(R,div(P,log(R))) | 114649 | 138858529 | o2(x,o2(x,o1(x))) | true | 77199 | 77199 | -0.4094 | 0.2561 | 0.6155 | 0.3304 | 0.5748 | -1 | 0.9693 | 1.969 | 1 | 4.148 | 0.002989 | 0.003206 | 0.04775 | -0.03507 | 1 | 0.0002407 | 0.002926 | 0.01989 | 0.003914 | 0.06256 | 1.31 | 0.7477 | 0.01875 | 0.008856 | 1 | 1 | 0.0113 | 0.1121 | 0.2981 | 0.03421 | 0.3393 | 0.9024 | json |
| t17_x20_u1_b92 | 17 | 20 | 1 | 92 | ![]() |
min(R,pow(P,log(R))) | 114650 | 138858530 | o2(x,o2(x,o1(x))) | true | 77207 | 77207 | -0.006926 | 0.4848 | 0.3846 | 0.2113 | 0.4597 | -0.9989 | 0.9693 | 1.968 | 1 | 4.847 | 0.002684 | 0.003037 | 0.06163 | -0.06177 | 1 | 0.00002815 | 0.0003344 | 0.01411 | 0.001922 | 0.04384 | 0.7113 | 0.2301 | 0.02707 | 0.001582 | 1 | 1 | 0.01145 | 0.1471 | 0.3774 | 0.05419 | 0.6959 | 1.786 | json |
| t17_x20_u1_b93 | 17 | 20 | 1 | 93 | ![]() |
min(R,mod(P,log(R))) | 114651 | 138858531 | o2(x,o2(x,o1(x))) | true | 77215 | 77215 | -0.3168 | 0.1505 | 0.3554 | 0.09893 | 0.3145 | -1 | 0.4356 | 1.436 | 1 | 4.28 | 0.001214 | 0.001157 | 0.03882 | 0.02392 | 1 | -0.000005507 | 0.0001795 | 0.00928 | 0.000864 | 0.02939 | 0.7572 | 0.2193 | 0.02396 | 0.001815 | 1 | 1 | 0.004598 | 0.05839 | 0.1415 | 0.04648 | 0.5902 | 1.431 | json |
| t17_x20_u1_b94 | 17 | 20 | 1 | 94 | ![]() |
min(R,lrg(P,log(R))) | 114652 | 138858532 | o2(x,o2(x,o1(x))) | true | 77223 | 77223 | -0.1206 | 0.2599 | 0.3187 | 0.1567 | 0.3958 | -0.9989 | 0.9806 | 1.979 | 1 | 4.529 | 0.001958 | 0.001987 | 0.04833 | -0.007254 | 1 | 0.00001579 | 0.000235 | 0.01119 | 0.001609 | 0.04011 | 0.83 | 0.219 | 0.02518 | 0.001499 | 1 | 1 | 0.007828 | 0.1013 | 0.274 | 0.04996 | 0.6463 | 1.748 | json |
| t17_x20_u1_b95 | 17 | 20 | 1 | 95 | ![]() |
min(R,eql(P,log(R))) | 114653 | 138858533 | o2(x,o2(x,o1(x))) | true | 77231 | 77231 | -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_x20_u1_b96 | 17 | 20 | 1 | 96 | ![]() |
min(R,min(P,log(R))) | 114654 | 138858534 | o2(x,o2(x,o1(x))) | true | 77239 | 77239 | -0.7736 | 0 | 0.7736 | 0.0852 | 0.2919 | -1 | -0.002986 | 0.997 | 1 | 2.718 | 0.0007896 | 0.0007513 | 0.02059 | 0.02486 | 1 | 0.00007002 | 0.0003604 | 0.006629 | 0.001117 | 0.03342 | 1.624 | 0.3757 | 0.01808 | 0.00423 | 1 | 1 | 0.002645 | 0.0297 | 0.09627 | 0.03105 | 0.3486 | 1.13 | json |
| t17_x20_u1_b97 | 17 | 20 | 1 | 97 | ![]() |
min(R,dot(P,log(R))) | 114655 | 138858535 | o2(x,o2(x,o1(x))) | true | 77247 | 77247 | -0.2421 | 0.3388 | 0.4915 | 0.284 | 0.5329 | -1 | 0.9806 | 1.981 | 1 | 4.683 | 0.004401 | 0.004696 | 0.06415 | -0.03248 | 1 | 0.0002499 | 0.002824 | 0.02236 | 0.004983 | 0.07059 | 1.1 | 0.7215 | 0.03203 | 0.009946 | 1 | 1 | 0.01495 | 0.1644 | 0.4667 | 0.05265 | 0.5789 | 1.643 | json |
| t17_x20_u1_b98 | 17 | 20 | 1 | 98 | ![]() |
min(R,dst(P,log(R))) | 114656 | 138858536 | o2(x,o2(x,o1(x))) | true | 77255 | 77255 | 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_x20_u1_b99 | 17 | 20 | 1 | 99 | ![]() |
dot(R,add(P,log(R))) | 114657 | 138858537 | o2(x,o2(x,o1(x))) | true | 77263 | 77263 | -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_x20_u1_b100 | 17 | 20 | 1 | 100 | ![]() |
dot(R,sub(P,log(R))) | 114658 | 138858538 | o2(x,o2(x,o1(x))) | true | 77271 | 77271 | -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_x20_u1_b101 | 17 | 20 | 1 | 101 | ![]() |
dot(R,mlt(P,log(R))) | 114659 | 138858539 | o2(x,o2(x,o1(x))) | true | 77279 | 77279 | -0.9922 | 0.003906 | 1 | 0.01551 | 0.1245 | -1 | 1 | 2 | 1 | 0.03772 | 0.001994 | 0.001993 | 0.001994 | 0.00005945 | 1 | 0 | 0.008459 | 0.004014 | 0.00398 | 0.06309 | 31.65 | 2.828 | 0.2571 | 0.5455 | 1 | 1 | 0.007018 | 0.02826 | 0.05477 | 0.4526 | 1.823 | 3.532 | json |
| t17_x20_u1_b102 | 17 | 20 | 1 | 102 | ![]() |
dot(R,div(P,log(R))) | 114660 | 138858540 | o2(x,o2(x,o1(x))) | true | 77287 | 77287 | -0.9922 | 0.003906 | 1 | 0.01556 | 0.1248 | -1 | 1 | 2 | 1 | 0.03687 | 0.002016 | 0.002016 | 0.001997 | 0 | 1 | 0 | 0.008566 | 0.004031 | 0.004024 | 0.06344 | 31.76 | 2.828 | 0.259 | 0.5504 | 1 | 1 | 0.007091 | 0.02837 | 0.05496 | 0.4556 | 1.823 | 3.531 | json |
| t17_x20_u1_b103 | 17 | 20 | 1 | 103 | ![]() |
dot(R,pow(P,log(R))) | 114661 | 138858541 | o2(x,o2(x,o1(x))) | true | 77295 | 77295 | -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_x20_u1_b104 | 17 | 20 | 1 | 104 | ![]() |
dot(R,mod(P,log(R))) | 114662 | 138858542 | o2(x,o2(x,o1(x))) | true | 77303 | 77303 | -0.9968 | 0 | 0.9968 | 0.002643 | 0.05141 | -1 | -0.09941 | 0.9006 | 1 | 0.04246 | 0.0003427 | 0.000342 | 0.000848 | 0.001029 | 1 | -2.628e-11 | 0.001455 | 0.001663 | 0.0006834 | 0.02614 | 30.83 | 1.197 | 0.259 | 0.5503 | 1 | 1 | 0.001205 | 0.004821 | 0.009334 | 0.4558 | 1.824 | 3.531 | json |
| t17_x20_u1_b105 | 17 | 20 | 1 | 105 | ![]() |
dot(R,lrg(P,log(R))) | 114663 | 138858543 | o2(x,o2(x,o1(x))) | true | 77311 | 77311 | -0.214 | 0.3537 | 0.5297 | 0.3472 | 0.5892 | -1 | 1 | 2 | 1 | 4.686 | 0.005033 | 0.004891 | 0.07142 | 0.01432 | 1 | 0.00004572 | 0.001348 | 0.01984 | 0.004822 | 0.06944 | 0.9723 | 0.406 | 0.02858 | 0.003882 | 1 | 1 | 0.02164 | 0.2552 | 0.6648 | 0.06232 | 0.7351 | 1.915 | json |
| t17_x20_u1_b106 | 17 | 20 | 1 | 106 | ![]() |
dot(R,eql(P,log(R))) | 114664 | 138858544 | o2(x,o2(x,o1(x))) | true | 77319 | 77319 | 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_x20_u1_b107 | 17 | 20 | 1 | 107 | ![]() |
dot(R,min(P,log(R))) | 114665 | 138858545 | o2(x,o2(x,o1(x))) | true | 77327 | 77327 | -0.5251 | 0.2054 | 0.8555 | 0.5278 | 0.7265 | -1 | 1 | 2 | 1 | 2.681 | 0.01413 | 0.02014 | 0.0712 | -0.1753 | 1 | 0.0001257 | 0.02372 | 0.04807 | 0.02922 | 0.171 | 2.401 | 1.824 | 0.06493 | 0.04493 | 1 | 1 | 0.04699 | 0.3642 | 0.7809 | 0.08903 | 0.6899 | 1.479 | json |
| t17_x20_u1_b108 | 17 | 20 | 1 | 108 | ![]() |
dot(R,dot(P,log(R))) | 114666 | 138858546 | o2(x,o2(x,o1(x))) | true | 77335 | 77335 | -0.9927 | 0.003708 | 0.9995 | 0.01398 | 0.1182 | -1 | 1 | 2 | 1 | 0.04248 | 0.001729 | 0.0017 | 0.001935 | 0.00822 | 1 | -3.379e-11 | 0.007198 | 0.003694 | 0.003422 | 0.0585 | 30.23 | 2.001 | 0.2453 | 0.5149 | 1 | 1 | 0.006102 | 0.02626 | 0.04916 | 0.4365 | 1.878 | 3.516 | json |
| t17_x20_u1_b109 | 17 | 20 | 1 | 109 | ![]() |
dot(R,dst(P,log(R))) | 114667 | 138858547 | o2(x,o2(x,o1(x))) | true | 77343 | 77343 | -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_x20_u1_b110 | 17 | 20 | 1 | 110 | ![]() |
dst(R,add(P,log(R))) | 114668 | 138858548 | o2(x,o2(x,o1(x))) | true | 77351 | 77351 | -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_x20_u1_b111 | 17 | 20 | 1 | 111 | ![]() |
dst(R,sub(P,log(R))) | 114669 | 138858549 | o2(x,o2(x,o1(x))) | true | 77359 | 77359 | -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_x20_u1_b112 | 17 | 20 | 1 | 112 | ![]() |
dst(R,mlt(P,log(R))) | 114670 | 138858550 | o2(x,o2(x,o1(x))) | true | 77367 | 77367 | -0.9922 | 0.003906 | 1 | 0.01548 | 0.1244 | -1 | 1 | 2 | 1 | 0.03795 | 0.001985 | 0.001978 | 0.001991 | 0.001947 | 1 | 0 | 0.008396 | 0.004002 | 0.003956 | 0.0629 | 31.59 | 2.828 | 0.256 | 0.5424 | 1 | 1 | 0.006979 | 0.02822 | 0.05468 | 0.4509 | 1.823 | 3.533 | json |
| t17_x20_u1_b113 | 17 | 20 | 1 | 113 | ![]() |
dst(R,div(P,log(R))) | 114671 | 138858551 | o2(x,o2(x,o1(x))) | true | 77375 | 77375 | -0.9922 | 0.003906 | 1 | 0.01556 | 0.1248 | -1 | 1 | 2 | 1 | 0.03687 | 0.002016 | 0.002016 | 0.001997 | 0 | 1 | 0 | 0.008566 | 0.004031 | 0.004024 | 0.06344 | 31.76 | 2.828 | 0.259 | 0.5504 | 1 | 1 | 0.007091 | 0.02837 | 0.05496 | 0.4556 | 1.823 | 3.531 | json |
| t17_x20_u1_b114 | 17 | 20 | 1 | 114 | ![]() |
dst(R,pow(P,log(R))) | 114672 | 138858552 | o2(x,o2(x,o1(x))) | true | 77383 | 77383 | -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_x20_u1_b115 | 17 | 20 | 1 | 115 | ![]() |
dst(R,mod(P,log(R))) | 114673 | 138858553 | o2(x,o2(x,o1(x))) | true | 77391 | 77391 | -0.9922 | 0.003906 | 1 | 0.01556 | 0.1248 | -1 | 1 | 2 | 1 | 0.03687 | 0.002016 | 0.002016 | 0.001997 | 0 | 1 | 0 | 0.008566 | 0.004031 | 0.004024 | 0.06344 | 31.76 | 2.828 | 0.259 | 0.5504 | 1 | 1 | 0.007091 | 0.02837 | 0.05496 | 0.4556 | 1.823 | 3.531 | json |
| t17_x20_u1_b116 | 17 | 20 | 1 | 116 | ![]() |
dst(R,lrg(P,log(R))) | 114674 | 138858554 | o2(x,o2(x,o1(x))) | true | 77399 | 77399 | 0.9969 | 1 | 0.9969 | 0.0008554 | 0.02925 | 0.4379 | 1 | 0.5621 | 1 | 0.142 | 0.00006497 | 0.00005681 | 0.00138 | 0.067 | 1 | 5.068e-11 | 0.00007339 | 0.001102 | 0.0001199 | 0.01095 | 7.936 | 0.1801 | 0.1424 | 0.0858 | 1 | 1 | 0.0002654 | 0.001895 | 0.002294 | 0.3103 | 2.215 | 2.682 | json |
| t17_x20_u1_b117 | 17 | 20 | 1 | 117 | ![]() |
dst(R,eql(P,log(R))) | 114675 | 138858555 | o2(x,o2(x,o1(x))) | true | 77407 | 77407 | 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_x20_u1_b118 | 17 | 20 | 1 | 118 | ![]() |
dst(R,min(P,log(R))) | 114676 | 138858556 | o2(x,o2(x,o1(x))) | true | 77415 | 77415 | 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_x20_u1_b119 | 17 | 20 | 1 | 119 | ![]() |
dst(R,dot(P,log(R))) | 114677 | 138858557 | o2(x,o2(x,o1(x))) | true | 77423 | 77423 | -0.9922 | 0.003906 | 1 | 0.01539 | 0.1241 | -1 | 1 | 2 | 1 | 0.03825 | 0.001952 | 0.001934 | 0.001983 | 0.004659 | 1 | 0 | 0.008195 | 0.003962 | 0.003879 | 0.06228 | 31.41 | 2.828 | 0.2525 | 0.5325 | 1 | 1 | 0.006862 | 0.02808 | 0.05439 | 0.4459 | 1.825 | 3.535 | json |
| t17_x20_u1_b120 | 17 | 20 | 1 | 120 | ![]() |
dst(R,dst(P,log(R))) | 114678 | 138858558 | o2(x,o2(x,o1(x))) | true | 77431 | 77431 | -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_x20_u2_b0 | 17 | 20 | 2 | 0 | ![]() |
add(R,add(P,frc(R))) | 114679 | 138858639 | o2(x,o2(x,o1(x))) | true | 77439 | 77439 | 0.06819 | 0.5309 | 0.9351 | 0.9091 | 0.9535 | -1 | 1 | 2 | 1 | 1.977 | 0.001436 | 0.0006938 | 0.01359 | 0.3485 | 1 | -0.00002443 | 0.0004254 | 0.004795 | 0.001944 | 0.04409 | 3.243 | 0.3781 | 0.002343 | 0.000468 | 1 | 1 | 0.004943 | 0.05581 | 0.2808 | 0.005437 | 0.06139 | 0.3088 | json |
| t17_x20_u2_b1 | 17 | 20 | 2 | 1 | ![]() |
add(R,sub(P,frc(R))) | 114680 | 138858640 | o2(x,o2(x,o1(x))) | true | 77447 | 77447 | -0.05877 | 0.4723 | 0.9451 | 0.9283 | 0.9635 | -1 | 1 | 2 | 1 | 1.786 | 0.001009 | 0.0002866 | 0.01014 | 0.5576 | 1 | -0.00001667 | 0.000135 | 0.00275 | 0.001193 | 0.03453 | 3.406 | 0.2338 | 0.001396 | 0.0001454 | 1 | 1 | 0.003407 | 0.04218 | 0.2644 | 0.00367 | 0.04544 | 0.2848 | json |
| t17_x20_u2_b2 | 17 | 20 | 2 | 2 | ![]() |
add(R,mlt(P,frc(R))) | 114681 | 138858641 | o2(x,o2(x,o1(x))) | true | 77455 | 77455 | -0.03932 | 0.4753 | 0.8494 | 0.7997 | 0.8943 | -1 | 1 | 2 | 1 | 2.942 | 0.002348 | 0.002169 | 0.02931 | 0.0396 | 1 | -0.00003925 | 0.00132 | 0.0123 | 0.003656 | 0.06047 | 2.063 | 0.5512 | 0.005648 | 0.001651 | 1 | 1 | 0.008423 | 0.08903 | 0.3257 | 0.01053 | 0.1113 | 0.4073 | json |
| t17_x20_u2_b3 | 17 | 20 | 2 | 3 | ![]() |
add(R,div(P,frc(R))) | 114682 | 138858642 | o2(x,o2(x,o1(x))) | true | 77463 | 77463 | 0.001147 | 0.4981 | 0.9676 | 0.9551 | 0.9773 | -1 | 1 | 2 | 1 | 1.594 | 0.001955 | 0.0004809 | 0.01004 | 0.6052 | 1 | -0.000001682 | 0.001627 | 0.005609 | 0.002335 | 0.04832 | 4.815 | 1.187 | 0.002551 | 0.001703 | 1 | 1 | 0.005406 | 0.0523 | 0.3108 | 0.00566 | 0.05476 | 0.3254 | json |
| t17_x20_u2_b4 | 17 | 20 | 2 | 4 | ![]() |
add(R,pow(P,frc(R))) | 114683 | 138858643 | o2(x,o2(x,o1(x))) | true | 77471 | 77471 | -0.05878 | 0.4858 | 0.9534 | 0.9304 | 0.9646 | -1 | 1 | 2 | 1 | 1.821 | 0.005206 | 0.0005957 | 0.01418 | 0.7947 | 1 | -0.00003164 | 0.008951 | 0.01187 | 0.005601 | 0.07484 | 5.277 | 1.829 | 0.006236 | 0.009621 | 1 | 1 | 0.008961 | 0.06034 | 0.3144 | 0.009632 | 0.06485 | 0.338 | json |
| t17_x20_u2_b5 | 17 | 20 | 2 | 5 | ![]() |
add(R,mod(P,frc(R))) | 114684 | 138858644 | o2(x,o2(x,o1(x))) | true | 77479 | 77479 | 0.008197 | 0.5342 | 0.4202 | 0.2614 | 0.5113 | -0.9996 | 1 | 2 | 1 | 4.905 | 0.003169 | 0.003176 | 0.06347 | -0.001147 | 1 | 0.000005522 | 0.0004668 | 0.01506 | 0.002316 | 0.04812 | 0.7581 | 0.2634 | 0.02427 | 0.001786 | 1 | 1 | 0.01244 | 0.1573 | 0.4488 | 0.04757 | 0.6015 | 1.717 | json |
| t17_x20_u2_b6 | 17 | 20 | 2 | 6 | ![]() |
add(R,lrg(P,frc(R))) | 114685 | 138858645 | o2(x,o2(x,o1(x))) | true | 77487 | 77487 | 0.3927 | 0.7499 | 0.5896 | 0.2984 | 0.5462 | -0.9989 | 1 | 1.999 | 1 | 4.441 | 0.0025 | 0.002467 | 0.04992 | 0.006636 | 1 | -0.00001599 | 0.0005757 | 0.01393 | 0.002476 | 0.04976 | 0.9968 | 0.312 | 0.01665 | 0.00193 | 1 | 1 | 0.009889 | 0.1188 | 0.3167 | 0.03314 | 0.3982 | 1.061 | json |
| t17_x20_u2_b7 | 17 | 20 | 2 | 7 | ![]() |
add(R,eql(P,frc(R))) | 114686 | 138858646 | o2(x,o2(x,o1(x))) | true | 77495 | 77495 | 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_x20_u2_b8 | 17 | 20 | 2 | 8 | ![]() |
add(R,min(P,frc(R))) | 114687 | 138858647 | o2(x,o2(x,o1(x))) | true | 77503 | 77503 | -0.2526 | 0.4051 | 0.7553 | 0.6111 | 0.7817 | -1 | 1 | 2 | 1 | 3.552 | 0.002537 | 0.002036 | 0.03736 | 0.1095 | 1 | -0.00002444 | 0.0006616 | 0.01102 | 0.003176 | 0.05636 | 1.508 | 0.3211 | 0.007485 | 0.001083 | 1 | 1 | 0.009038 | 0.1076 | 0.3925 | 0.01479 | 0.1761 | 0.6424 | json |
| t17_x20_u2_b9 | 17 | 20 | 2 | 9 | ![]() |
add(R,dot(P,frc(R))) | 114688 | 138858648 | o2(x,o2(x,o1(x))) | true | 77511 | 77511 | -0.06269 | 0.4652 | 0.8814 | 0.8405 | 0.9168 | -1 | 1 | 2 | 1 | 2.57 | 0.005866 | 0.007036 | 0.04012 | -0.09074 | 1 | -0.000009993 | 0.006055 | 0.02038 | 0.01129 | 0.1063 | 2.648 | 1.434 | 0.01535 | 0.007204 | 1 | 1 | 0.01792 | 0.1776 | 0.517 | 0.02132 | 0.2113 | 0.6151 | json |
| t17_x20_u2_b10 | 17 | 20 | 2 | 10 | ![]() |
add(R,dst(P,frc(R))) | 114689 | 138858649 | o2(x,o2(x,o1(x))) | true | 77519 | 77519 | 0.9987 | 1 | 0.9987 | 0.0005803 | 0.02409 | 0.3268 | 1 | 0.6732 | 1 | 0.04278 | 0.00002348 | 0.00002428 | 0.0004164 | -0.01666 | 0 | -1.877e-11 | 0.00001903 | 0.0002457 | 0.00004761 | 0.0069 | 16.57 | 0.2102 | 0.0823 | 0.0328 | 1 | 1 | 0.0001549 | 0.001377 | 0.002115 | 0.267 | 2.374 | 3.645 | json |
| t17_x20_u2_b11 | 17 | 20 | 2 | 11 | ![]() |
sub(R,add(P,frc(R))) | 114690 | 138858650 | o2(x,o2(x,o1(x))) | true | 77527 | 77527 | -0.06404 | 0.4692 | 0.9418 | 0.9239 | 0.9612 | -1 | 1 | 2 | 1 | 1.81 | 0.0009419 | 0.000259 | 0.009869 | 0.5687 | 1 | -0.00001453 | 0.0001299 | 0.002631 | 0.001104 | 0.03323 | 3.367 | 0.2338 | 0.0013 | 0.0001406 | 1 | 1 | 0.003125 | 0.03919 | 0.2718 | 0.003382 | 0.04241 | 0.2942 | json |
| t17_x20_u2_b12 | 17 | 20 | 2 | 12 | ![]() |
sub(R,sub(P,frc(R))) | 114691 | 138858651 | o2(x,o2(x,o1(x))) | true | 77535 | 77535 | 0.07283 | 0.5372 | 0.9327 | 0.9064 | 0.952 | -1 | 1 | 2 | 1 | 2.006 | 0.001552 | 0.0006628 | 0.01416 | 0.4016 | 1 | -0.00002109 | 0.0004081 | 0.004823 | 0.002014 | 0.04488 | 3.169 | 0.4193 | 0.002444 | 0.0004503 | 1 | 1 | 0.005284 | 0.05939 | 0.2742 | 0.00583 | 0.06553 | 0.3025 | json |
| t17_x20_u2_b13 | 17 | 20 | 2 | 13 | ![]() |
sub(R,mlt(P,frc(R))) | 114692 | 138858652 | o2(x,o2(x,o1(x))) | true | 77543 | 77543 | -0.0448 | 0.4633 | 0.8474 | 0.7972 | 0.8929 | -1 | 1 | 2 | 1 | 2.942 | 0.00234 | 0.002333 | 0.02945 | 0.001473 | 1 | -0.0000307 | 0.00138 | 0.01239 | 0.003808 | 0.06171 | 2.096 | 0.5906 | 0.005863 | 0.001731 | 1 | 1 | 0.009039 | 0.09366 | 0.3096 | 0.01134 | 0.1175 | 0.3884 | json |
| t17_x20_u2_b14 | 17 | 20 | 2 | 14 | ![]() |
sub(R,div(P,frc(R))) | 114693 | 138858653 | o2(x,o2(x,o1(x))) | true | 77551 | 77551 | 0.005042 | 0.499 | 0.9656 | 0.9521 | 0.9758 | -1 | 1 | 2 | 1 | 1.635 | 0.002558 | 0.0005046 | 0.01013 | 0.6705 | 1 | -0.000002529 | 0.003129 | 0.006263 | 0.00296 | 0.05441 | 5.373 | 1.482 | 0.003217 | 0.003287 | 1 | 1 | 0.006648 | 0.05507 | 0.3093 | 0.006982 | 0.05784 | 0.3248 | json |
| t17_x20_u2_b15 | 17 | 20 | 2 | 15 | ![]() |
sub(R,pow(P,frc(R))) | 114694 | 138858654 | o2(x,o2(x,o1(x))) | true | 77559 | 77559 | -0.9539 | 0.0119 | 0.9618 | 0.03777 | 0.1943 | -1 | 0.8288 | 1.829 | 1 | 0.6946 | 0.004704 | 0.000225 | 0.00953 | 0.9087 | 1 | -0.000002701 | 0.008679 | 0.008917 | 0.004839 | 0.06956 | 7.299 | 1.829 | 0.1305 | 0.2298 | 1 | 1 | 0.007728 | 0.03837 | 0.07106 | 0.2046 | 1.016 | 1.882 | json |
| t17_x20_u2_b16 | 17 | 20 | 2 | 16 | ![]() |
sub(R,mod(P,frc(R))) | 114695 | 138858655 | o2(x,o2(x,o1(x))) | true | 77567 | 77567 | -0.003552 | 0.5129 | 0.4437 | 0.2823 | 0.5313 | -0.9993 | 1 | 1.999 | 1 | 4.932 | 0.002849 | 0.003503 | 0.06371 | -0.103 | 1 | -0.000002336 | 0.0004473 | 0.01507 | 0.002293 | 0.04789 | 0.7517 | 0.2658 | 0.0225 | 0.001585 | 1 | 1 | 0.0126 | 0.1597 | 0.3894 | 0.04464 | 0.5659 | 1.379 | json |
| t17_x20_u2_b17 | 17 | 20 | 2 | 17 | ![]() |
sub(R,lrg(P,frc(R))) | 114696 | 138858656 | o2(x,o2(x,o1(x))) | true | 77575 | 77575 | -0.3682 | 0.276 | 0.5938 | 0.3255 | 0.5705 | -1 | 0.9693 | 1.969 | 1 | 4.374 | 0.002287 | 0.002443 | 0.0489 | -0.03298 | 1 | 0.00006651 | 0.0005133 | 0.01339 | 0.002338 | 0.04835 | 0.9887 | 0.238 | 0.01453 | 0.001577 | 1 | 1 | 0.009677 | 0.1175 | 0.3327 | 0.02973 | 0.3611 | 1.022 | json |
| t17_x20_u2_b18 | 17 | 20 | 2 | 18 | ![]() |
sub(R,eql(P,frc(R))) | 114697 | 138858657 | o2(x,o2(x,o1(x))) | true | 77583 | 77583 | 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_x20_u2_b19 | 17 | 20 | 2 | 19 | ![]() |
sub(R,min(P,frc(R))) | 114698 | 138858658 | o2(x,o2(x,o1(x))) | true | 77591 | 77591 | 0.2024 | 0.5011 | 0.7405 | 0.6344 | 0.7965 | -1 | 1 | 2 | 1 | 3.293 | 0.001758 | 0.001465 | 0.03351 | 0.09082 | 1 | -0.00004417 | 0.0002809 | 0.008562 | 0.002099 | 0.04582 | 1.367 | 0.3332 | 0.00508 | 0.0004428 | 1 | 1 | 0.006823 | 0.08611 | 0.3091 | 0.01076 | 0.1357 | 0.4873 | json |
| t17_x20_u2_b20 | 17 | 20 | 2 | 20 | ![]() |
sub(R,dot(P,frc(R))) | 114699 | 138858659 | o2(x,o2(x,o1(x))) | true | 77599 | 77599 | 0.01644 | 0.5108 | 0.8962 | 0.8605 | 0.9277 | -1 | 1 | 2 | 1 | 2.482 | 0.005839 | 0.007628 | 0.04039 | -0.1328 | 1 | 0.00001165 | 0.006165 | 0.02089 | 0.01183 | 0.1088 | 2.693 | 1.2 | 0.01565 | 0.007164 | 1 | 1 | 0.01918 | 0.1833 | 0.5063 | 0.02229 | 0.213 | 0.5884 | json |



































































































