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_x6_u1_b0 | 17 | 6 | 1 | 0 | ![]() |
add(P,add(R,log(P))) | 102700 | 138292824 | o2(x,o2(x,o1(x))) | true | 138407 | 138407 | -0.1268 | 0.4375 | 0.9982 | 0.9808 | 0.9903 | -1 | 1 | 2 | 1 | 1.048 | 0.01439 | 0.00002159 | 0.008074 | 0.997 | 1 | -0.000006228 | 0.02866 | 0.01538 | 0.01434 | 0.1197 | 14.83 | 2 | 0.01469 | 0.02922 | 1 | 1 | 0.01904 | 0.08076 | 0.3335 | 0.01941 | 0.08234 | 0.34 | json |
| t17_x6_u1_b1 | 17 | 6 | 1 | 1 | ![]() |
add(P,sub(R,log(P))) | 102701 | 138292825 | o2(x,o2(x,o1(x))) | true | 138415 | 138415 | -0.1318 | 0.4375 | 0.9932 | 0.9717 | 0.9857 | -1 | 1 | 2 | 1 | 1.195 | 0.01441 | 0.00006702 | 0.009199 | 0.9907 | 1 | -0.00001218 | 0.02872 | 0.01591 | 0.01439 | 0.1199 | 13.04 | 2 | 0.0149 | 0.02955 | 1 | 1 | 0.01914 | 0.07975 | 0.3236 | 0.0197 | 0.08207 | 0.3331 | json |
| t17_x6_u1_b2 | 17 | 6 | 1 | 2 | ![]() |
add(P,mlt(R,log(P))) | 102702 | 138292826 | o2(x,o2(x,o1(x))) | true | 138423 | 138423 | -0.125 | 0.4375 | 1 | 0.9844 | 0.9922 | -1 | 1 | 2 | 1 | 0.9887 | 0.01587 | 0 | 0.007937 | 1 | 1 | 0 | 0.03175 | 0.01587 | 0.01581 | 0.1257 | 15.84 | 2 | 0.01612 | 0.03225 | 1 | 1 | 0.02105 | 0.08421 | 0.3368 | 0.02139 | 0.08555 | 0.3422 | json |
| t17_x6_u1_b3 | 17 | 6 | 1 | 3 | ![]() |
add(P,div(R,log(P))) | 102703 | 138292827 | o2(x,o2(x,o1(x))) | true | 138431 | 138431 | -0.2502 | 0.375 | 0.9998 | 0.937 | 0.968 | -1 | 1 | 2 | 1 | 0.9662 | 0.0156 | 0.000003526 | 0.007962 | 0.9995 | 1 | 1.502e-11 | 0.03118 | 0.01579 | 0.01554 | 0.1246 | 15.66 | 2 | 0.01665 | 0.03327 | 1 | 1 | 0.0208 | 0.08386 | 0.3365 | 0.0222 | 0.0895 | 0.3592 | json |
| t17_x6_u1_b4 | 17 | 6 | 1 | 4 | ![]() |
add(P,pow(R,log(P))) | 102704 | 138292828 | o2(x,o2(x,o1(x))) | true | 138439 | 138439 | -0.9844 | 0.007813 | 1 | 0.03101 | 0.1761 | -1 | 1 | 2 | 1 | 0.06591 | 0.002771 | 0.002771 | 0.002771 | 0 | 1 | 0 | 0.01159 | 0.005543 | 0.005537 | 0.07441 | 26.85 | 2 | 0.1788 | 0.3738 | 1 | 1 | 0 | 0 | 0.02659 | 0 | 0 | 0.8577 | json |
| t17_x6_u1_b5 | 17 | 6 | 1 | 5 | ![]() |
add(P,mod(R,log(P))) | 102705 | 138292829 | o2(x,o2(x,o1(x))) | true | 138447 | 138447 | -0.25 | 0.375 | 1 | 0.9375 | 0.9682 | -1 | 1 | 2 | 1 | 0.9544 | 0.01587 | 0 | 0.007937 | 1 | 1 | 0 | 0.03175 | 0.01587 | 0.01581 | 0.1257 | 15.84 | 2 | 0.01693 | 0.03386 | 1 | 1 | 0.02105 | 0.08421 | 0.3368 | 0.02246 | 0.08982 | 0.3593 | json |
| t17_x6_u1_b6 | 17 | 6 | 1 | 6 | ![]() |
add(P,lrg(R,log(P))) | 102706 | 138292830 | o2(x,o2(x,o1(x))) | true | 138455 | 138455 | 0.125 | 0.5625 | 0.9375 | 0.9084 | 0.9531 | -1 | 1 | 2 | 1 | 1.8 | 0.0007059 | 0 | 0.007937 | 1 | 1 | 0 | 0.00003235 | 0.001851 | 0.0006432 | 0.02536 | 3.195 | 0.1169 | 0.0007771 | 0.00003562 | 1 | 1 | 0.001851 | 0.02449 | 0.2344 | 0.002038 | 0.02696 | 0.2581 | json |
| t17_x6_u1_b7 | 17 | 6 | 1 | 7 | ![]() |
add(P,eql(R,log(P))) | 102707 | 138292831 | o2(x,o2(x,o1(x))) | true | 138463 | 138463 | 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_x6_u1_b8 | 17 | 6 | 1 | 8 | ![]() |
add(P,min(R,log(P))) | 102708 | 138292832 | o2(x,o2(x,o1(x))) | true | 138471 | 138471 | -0.1219 | 0.4375 | 0.9914 | 0.9717 | 0.9858 | -1 | 1 | 2 | 1 | 1.22 | 0.01476 | 0.00006386 | 0.01071 | 0.9914 | 1 | -0.000004162 | 0.02922 | 0.01823 | 0.01472 | 0.1213 | 11.32 | 2 | 0.01526 | 0.03006 | 1 | 1 | 0.01958 | 0.08335 | 0.3388 | 0.02015 | 0.08578 | 0.3486 | json |
| t17_x6_u1_b9 | 17 | 6 | 1 | 9 | ![]() |
add(P,dot(R,log(P))) | 102709 | 138292833 | o2(x,o2(x,o1(x))) | true | 138479 | 138479 | -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_x6_u1_b10 | 17 | 6 | 1 | 10 | ![]() |
add(P,dst(R,log(P))) | 102710 | 138292834 | o2(x,o2(x,o1(x))) | true | 138487 | 138487 | -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_x6_u1_b11 | 17 | 6 | 1 | 11 | ![]() |
sub(P,add(R,log(P))) | 102711 | 138292835 | o2(x,o2(x,o1(x))) | true | 138495 | 138495 | -0.137 | 0.4375 | 0.988 | 0.9639 | 0.9818 | -1 | 1 | 2 | 1 | 1.257 | 0.01117 | 0.00011 | 0.009241 | 0.9805 | 1 | -0.000002071 | 0.02205 | 0.01411 | 0.01119 | 0.1058 | 11.45 | 2 | 0.0117 | 0.02288 | 1 | 1 | 0.01632 | 0.07374 | 0.3214 | 0.01694 | 0.07651 | 0.3335 | json |
| t17_x6_u1_b12 | 17 | 6 | 1 | 12 | ![]() |
sub(P,sub(R,log(P))) | 102712 | 138292836 | o2(x,o2(x,o1(x))) | true | 138503 | 138503 | -0.131 | 0.4375 | 0.994 | 0.9737 | 0.9868 | -1 | 1 | 2 | 1 | 1.117 | 0.01123 | 0.00004537 | 0.008198 | 0.992 | 1 | 0 | 0.02203 | 0.01393 | 0.01121 | 0.1059 | 12.91 | 2 | 0.01158 | 0.02262 | 1 | 1 | 0.01629 | 0.07583 | 0.3295 | 0.01673 | 0.07788 | 0.3384 | json |
| t17_x6_u1_b13 | 17 | 6 | 1 | 13 | ![]() |
sub(P,mlt(R,log(P))) | 102713 | 138292837 | o2(x,o2(x,o1(x))) | true | 138511 | 138511 | -0.125 | 0.4375 | 1 | 0.9844 | 0.9922 | -1 | 1 | 2 | 1 | 0.9887 | 0.01587 | 0 | 0.007937 | 1 | 1 | 0 | 0.03175 | 0.01587 | 0.01581 | 0.1257 | 15.84 | 2 | 0.01612 | 0.03225 | 1 | 1 | 0.02105 | 0.08421 | 0.3368 | 0.02139 | 0.08555 | 0.3422 | json |
| t17_x6_u1_b14 | 17 | 6 | 1 | 14 | ![]() |
sub(P,div(R,log(P))) | 102714 | 138292838 | o2(x,o2(x,o1(x))) | true | 138519 | 138519 | -0.2502 | 0.375 | 0.9998 | 0.9371 | 0.968 | -1 | 1 | 2 | 1 | 0.9657 | 0.01567 | 0.000004897 | 0.007973 | 0.9994 | 1 | -0.000001252 | 0.03132 | 0.01583 | 0.0156 | 0.1249 | 15.67 | 2 | 0.01672 | 0.03342 | 1 | 1 | 0.0208 | 0.08383 | 0.3365 | 0.0222 | 0.08946 | 0.3591 | json |
| t17_x6_u1_b15 | 17 | 6 | 1 | 15 | ![]() |
sub(P,pow(R,log(P))) | 102715 | 138292839 | o2(x,o2(x,o1(x))) | true | 138527 | 138527 | -0.986 | 0.007813 | 0.9983 | 0.02573 | 0.1604 | -1 | 1 | 2 | 1 | 0.08153 | 0.002138 | 0.002464 | 0.002679 | -0.07078 | 1 | -9.35e-7 | 0.009562 | 0.00497 | 0.004592 | 0.06777 | 25.3 | 2 | 0.1788 | 0.3716 | 1 | 1 | 0 | 0 | 0.0221 | 0 | 0 | 0.8589 | json |
| t17_x6_u1_b16 | 17 | 6 | 1 | 16 | ![]() |
sub(P,mod(R,log(P))) | 102716 | 138292840 | o2(x,o2(x,o1(x))) | true | 138535 | 138535 | -0.25 | 0.375 | 1 | 0.9375 | 0.9682 | -1 | 1 | 2 | 1 | 0.9544 | 0.01587 | 0 | 0.007937 | 1 | 1 | 0 | 0.03175 | 0.01587 | 0.01581 | 0.1257 | 15.84 | 2 | 0.01693 | 0.03386 | 1 | 1 | 0.02105 | 0.08421 | 0.3368 | 0.02246 | 0.08982 | 0.3593 | json |
| t17_x6_u1_b17 | 17 | 6 | 1 | 17 | ![]() |
sub(P,lrg(R,log(P))) | 102717 | 138292841 | o2(x,o2(x,o1(x))) | true | 138543 | 138543 | -0.09545 | 0.4529 | 0.9587 | 0.9379 | 0.9684 | -1 | 1 | 2 | 1 | 1.635 | 0.001084 | 0.0001665 | 0.009033 | 0.7336 | 1 | 0.000008378 | 0.0001447 | 0.002636 | 0.001168 | 0.03418 | 3.784 | 0.2338 | 0.001333 | 0.0001543 | 1 | 1 | 0.003312 | 0.04062 | 0.2767 | 0.003532 | 0.04331 | 0.2951 | json |
| t17_x6_u1_b18 | 17 | 6 | 1 | 18 | ![]() |
sub(P,eql(R,log(P))) | 102718 | 138292842 | o2(x,o2(x,o1(x))) | true | 138551 | 138551 | 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_x6_u1_b19 | 17 | 6 | 1 | 19 | ![]() |
sub(P,min(R,log(P))) | 102719 | 138292843 | o2(x,o2(x,o1(x))) | true | 138559 | 138559 | -0.1218 | 0.4375 | 0.9968 | 0.9795 | 0.9897 | -1 | 1 | 2 | 1 | 1.095 | 0.01616 | 0.00003813 | 0.009255 | 0.9953 | 1 | 0.000006904 | 0.03229 | 0.01736 | 0.01611 | 0.1269 | 13.71 | 2 | 0.01654 | 0.03297 | 1 | 1 | 0.02146 | 0.0859 | 0.3395 | 0.02191 | 0.08769 | 0.3466 | json |
| t17_x6_u1_b20 | 17 | 6 | 1 | 20 | ![]() |
sub(P,dot(R,log(P))) | 102720 | 138292844 | o2(x,o2(x,o1(x))) | true | 138567 | 138567 | -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_x6_u1_b21 | 17 | 6 | 1 | 21 | ![]() |
sub(P,dst(R,log(P))) | 102721 | 138292845 | o2(x,o2(x,o1(x))) | true | 138575 | 138575 | -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_x6_u1_b22 | 17 | 6 | 1 | 22 | ![]() |
mlt(P,add(R,log(P))) | 102722 | 138292846 | o2(x,o2(x,o1(x))) | true | 138583 | 138583 | -0.1586 | 0.4265 | 0.9723 | 0.9377 | 0.9684 | -1 | 1 | 2 | 1 | 1.454 | 0.007823 | 0.0003452 | 0.01058 | 0.9155 | 1 | -0.00001707 | 0.01477 | 0.01239 | 0.00806 | 0.08977 | 8.489 | 1.944 | 0.008711 | 0.01575 | 1 | 1 | 0.01069 | 0.06016 | 0.2982 | 0.0114 | 0.06416 | 0.318 | json |
| t17_x6_u1_b23 | 17 | 6 | 1 | 23 | ![]() |
mlt(P,sub(R,log(P))) | 102723 | 138292847 | o2(x,o2(x,o1(x))) | true | 138591 | 138591 | -0.9571 | 0.01825 | 0.9718 | 0.04677 | 0.2163 | -1 | 0.9429 | 1.943 | 1 | 0.5353 | 0.008244 | 0.0004281 | 0.01233 | 0.9013 | 1 | -4.642e-7 | 0.01504 | 0.01298 | 0.008519 | 0.0923 | 7.487 | 1.943 | 0.1854 | 0.3214 | 1 | 1 | 0.01187 | 0.05338 | 0.07535 | 0.2537 | 1.141 | 1.611 | json |
| t17_x6_u1_b24 | 17 | 6 | 1 | 24 | ![]() |
mlt(P,mlt(R,log(P))) | 102724 | 138292848 | o2(x,o2(x,o1(x))) | true | 138599 | 138599 | -0.606 | 0.1896 | 0.9044 | 0.5128 | 0.7161 | -1 | 1 | 2 | 1 | 1.876 | 0.01642 | 0.01353 | 0.04669 | 0.09649 | 1 | 0.00001055 | 0.03502 | 0.04103 | 0.02778 | 0.1667 | 3.57 | 2 | 0.0584 | 0.06829 | 1 | 1 | 0.03349 | 0.2396 | 0.6169 | 0.06532 | 0.4672 | 1.203 | json |
| t17_x6_u1_b25 | 17 | 6 | 1 | 25 | ![]() |
mlt(P,div(R,log(P))) | 102725 | 138292849 | o2(x,o2(x,o1(x))) | true | 138607 | 138607 | -0.6607 | 0.164 | 0.9125 | 0.4468 | 0.6684 | -1 | 1 | 2 | 1 | 1.89 | 0.01122 | 0.005769 | 0.04142 | 0.3208 | 1 | -0.00001449 | 0.01526 | 0.02276 | 0.01527 | 0.1236 | 2.983 | 2 | 0.03803 | 0.03416 | 1 | 1 | 0.02386 | 0.1966 | 0.5226 | 0.05341 | 0.4401 | 1.17 | json |
| t17_x6_u1_b26 | 17 | 6 | 1 | 26 | ![]() |
mlt(P,pow(R,log(P))) | 102726 | 138292850 | o2(x,o2(x,o1(x))) | true | 138615 | 138615 | -0.9845 | 0.007813 | 0.9999 | 0.03069 | 0.1752 | -1 | 1 | 2 | 1 | 0.0697 | 0.002694 | 0.002682 | 0.002761 | 0.00228 | 1 | 2.628e-11 | 0.0112 | 0.005475 | 0.005366 | 0.07325 | 26.53 | 2 | 0.1752 | 0.3649 | 1 | 1 | 0 | 0 | 0.0263 | 0 | 0 | 0.857 | json |
| t17_x6_u1_b27 | 17 | 6 | 1 | 27 | ![]() |
mlt(P,mod(R,log(P))) | 102727 | 138292851 | o2(x,o2(x,o1(x))) | true | 138623 | 138623 | -0.6653 | 0.1638 | 0.9333 | 0.468 | 0.6841 | -1 | 1 | 2 | 1 | 1.639 | 0.01253 | 0.008736 | 0.04178 | 0.1783 | 1 | 0.000003407 | 0.01875 | 0.02911 | 0.01952 | 0.1397 | 3.344 | 2 | 0.04543 | 0.04006 | 1 | 1 | 0.02639 | 0.2078 | 0.5627 | 0.05638 | 0.4439 | 1.202 | json |
| t17_x6_u1_b28 | 17 | 6 | 1 | 28 | ![]() |
mlt(P,lrg(R,log(P))) | 102728 | 138292852 | o2(x,o2(x,o1(x))) | true | 138631 | 138631 | -0.421 | 0.1249 | 0.5165 | 0.3199 | 0.5656 | -1 | 1 | 2 | 1 | 2.059 | 0.000801 | 0.000298 | 0.01167 | 0.4577 | 1 | -0.000009189 | 0.00009243 | 0.002962 | 0.000963 | 0.03103 | 2.658 | 0.2265 | 0.003435 | 0.0002889 | 1 | 1 | 0.002741 | 0.03459 | 0.1811 | 0.008568 | 0.1081 | 0.566 | json |
| t17_x6_u1_b29 | 17 | 6 | 1 | 29 | ![]() |
mlt(P,eql(R,log(P))) | 102729 | 138292853 | o2(x,o2(x,o1(x))) | true | 138639 | 138639 | 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_x6_u1_b30 | 17 | 6 | 1 | 30 | ![]() |
mlt(P,min(R,log(P))) | 102730 | 138292854 | o2(x,o2(x,o1(x))) | true | 138647 | 138647 | -0.2042 | 0.3892 | 0.8128 | 0.711 | 0.8432 | -1 | 1 | 2 | 1 | 3.229 | 0.02284 | 0.01927 | 0.09222 | 0.08475 | 1 | -0.00004163 | 0.03337 | 0.06092 | 0.03361 | 0.1833 | 1.988 | 1.947 | 0.05922 | 0.04694 | 1 | 1 | 0.0582 | 0.4625 | 1.143 | 0.08186 | 0.6505 | 1.607 | json |
| t17_x6_u1_b31 | 17 | 6 | 1 | 31 | ![]() |
mlt(P,dot(R,log(P))) | 102731 | 138292855 | o2(x,o2(x,o1(x))) | true | 138655 | 138655 | -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_x6_u1_b32 | 17 | 6 | 1 | 32 | ![]() |
mlt(P,dst(R,log(P))) | 102732 | 138292856 | o2(x,o2(x,o1(x))) | true | 138663 | 138663 | -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_x6_u1_b33 | 17 | 6 | 1 | 33 | ![]() |
div(P,add(R,log(P))) | 102733 | 138292857 | o2(x,o2(x,o1(x))) | true | 138671 | 138671 | -0.07951 | 0.4633 | 0.9709 | 0.9586 | 0.9791 | -1 | 1 | 2 | 1 | 1.404 | 0.007606 | 0.00383 | 0.01663 | 0.3302 | 1 | -0.00001219 | 0.01511 | 0.01718 | 0.01116 | 0.1057 | 6.352 | 2.001 | 0.01193 | 0.01577 | 1 | 1 | 0.02232 | 0.1272 | 0.4061 | 0.02328 | 0.1327 | 0.4236 | json |
| t17_x6_u1_b34 | 17 | 6 | 1 | 34 | ![]() |
div(P,sub(R,log(P))) | 102734 | 138292858 | o2(x,o2(x,o1(x))) | true | 138679 | 138679 | -0.8792 | 0.06306 | 0.9682 | 0.1884 | 0.434 | -1 | 1 | 2 | 1 | 0.7189 | 0.00737 | 0.004651 | 0.01889 | 0.2262 | 1 | -0.000004512 | 0.01464 | 0.01828 | 0.01167 | 0.108 | 5.72 | 2.053 | 0.06381 | 0.07771 | 1 | 1 | 0.02328 | 0.1415 | 0.3923 | 0.1236 | 0.7512 | 2.083 | json |
| t17_x6_u1_b35 | 17 | 6 | 1 | 35 | ![]() |
div(P,mlt(R,log(P))) | 102735 | 138292859 | o2(x,o2(x,o1(x))) | true | 138687 | 138687 | -0.6802 | 0.1599 | 0.9874 | 0.5202 | 0.7212 | -1 | 1 | 2 | 1 | 0.8743 | 0.03213 | 0.03165 | 0.04795 | 0.007508 | 1 | -0.00001061 | 0.1166 | 0.07084 | 0.06144 | 0.2479 | 5.17 | 2.828 | 0.1226 | 0.2241 | 1 | 1 | 0.06824 | 0.3439 | 0.7464 | 0.1312 | 0.6612 | 1.435 | json |
| t17_x6_u1_b36 | 17 | 6 | 1 | 36 | ![]() |
div(P,div(R,log(P))) | 102736 | 138292860 | o2(x,o2(x,o1(x))) | true | 138695 | 138695 | -0.6283 | 0.1846 | 0.9695 | 0.5682 | 0.7538 | -1 | 1 | 2 | 1 | 1.113 | 0.03832 | 0.04119 | 0.05658 | -0.0361 | 1 | -0.00001913 | 0.1731 | 0.09008 | 0.07632 | 0.2763 | 4.882 | 2.828 | 0.1399 | 0.3047 | 1 | 1 | 0.0783 | 0.3842 | 0.8237 | 0.1378 | 0.6762 | 1.45 | json |
| t17_x6_u1_b37 | 17 | 6 | 1 | 37 | ![]() |
div(P,pow(R,log(P))) | 102737 | 138292861 | o2(x,o2(x,o1(x))) | true | 138703 | 138703 | -0.9609 | 0.02344 | 0.9922 | 0.06706 | 0.259 | -1 | 1 | 2 | 1 | 0.226 | 0.0079 | 0.006387 | 0.008969 | 0.1059 | 1 | -1.201e-10 | 0.03013 | 0.01633 | 0.01421 | 0.1192 | 13.29 | 2.828 | 0.213 | 0.4493 | 1 | 1 | 0.01203 | 0.04862 | 0.1347 | 0.1794 | 0.725 | 2.009 | json |
| t17_x6_u1_b38 | 17 | 6 | 1 | 38 | ![]() |
div(P,mod(R,log(P))) | 102738 | 138292862 | o2(x,o2(x,o1(x))) | true | 138711 | 138711 | -0.6798 | 0.1602 | 0.9904 | 0.5247 | 0.7244 | -1 | 1 | 2 | 1 | 0.8251 | 0.03594 | 0.03633 | 0.04858 | -0.005396 | 1 | -0.00001325 | 0.1476 | 0.07876 | 0.06995 | 0.2645 | 5.444 | 2.828 | 0.1377 | 0.2814 | 1 | 1 | 0.07233 | 0.3453 | 0.7568 | 0.1379 | 0.6581 | 1.442 | json |
| t17_x6_u1_b39 | 17 | 6 | 1 | 39 | ![]() |
div(P,lrg(R,log(P))) | 102739 | 138292863 | o2(x,o2(x,o1(x))) | true | 138719 | 138719 | -0.9004 | 0.03906 | 0.959 | 0.1393 | 0.3733 | -1 | 1 | 2 | 1 | 0.785 | 0.01312 | 0.008151 | 0.01733 | 0.2338 | 1 | -3.004e-11 | 0.04377 | 0.02562 | 0.02097 | 0.1448 | 8.355 | 2.828 | 0.1527 | 0.3142 | 1 | 1 | 0.02977 | 0.1275 | 0.2575 | 0.2136 | 0.9152 | 1.848 | json |
| t17_x6_u1_b40 | 17 | 6 | 1 | 40 | ![]() |
div(P,eql(R,log(P))) | 102740 | 138292864 | o2(x,o2(x,o1(x))) | true | 138727 | 138727 | -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_x6_u1_b41 | 17 | 6 | 1 | 41 | ![]() |
div(P,min(R,log(P))) | 102741 | 138292865 | o2(x,o2(x,o1(x))) | true | 138735 | 138735 | -0.1304 | 0.4328 | 0.953 | 0.9246 | 0.9615 | -1 | 1 | 2 | 1 | 1.665 | 0.07441 | 0.08375 | 0.1126 | -0.05906 | 1 | 0.00001195 | 0.3236 | 0.177 | 0.1455 | 0.3814 | 3.386 | 2.828 | 0.1711 | 0.3501 | 1 | 1 | 0.174 | 0.8282 | 1.757 | 0.1882 | 0.8958 | 1.901 | json |
| t17_x6_u1_b42 | 17 | 6 | 1 | 42 | ![]() |
div(P,dot(R,log(P))) | 102742 | 138292866 | o2(x,o2(x,o1(x))) | true | 138743 | 138743 | -0.8047 | 0 | 0.8047 | 0.1571 | 0.3964 | -1 | 0 | 1 | 1 | 0.7125 | 0.001732 | 0.002236 | 0.003968 | -0.127 | 1 | 0 | 0.008031 | 0.007937 | 0.003952 | 0.06287 | 15.84 | 1 | 0.02525 | 0.05111 | 1 | 1 | 0.005263 | 0.02105 | 0.07712 | 0.0335 | 0.134 | 0.4908 | json |
| t17_x6_u1_b43 | 17 | 6 | 1 | 43 | ![]() |
div(P,dst(R,log(P))) | 102743 | 138292867 | o2(x,o2(x,o1(x))) | true | 138751 | 138751 | -0.75 | 0 | 0.75 | 0.1875 | 0.433 | -1 | 0 | 1 | 1 | 0.8113 | 0.001984 | 0.001984 | 0.003968 | 0 | 1 | 0 | 0.007968 | 0.007937 | 0.003952 | 0.06287 | 15.84 | 1 | 0.02116 | 0.0425 | 1 | 1 | 0.005263 | 0.02105 | 0.08421 | 0.02807 | 0.1123 | 0.4491 | json |
| t17_x6_u1_b44 | 17 | 6 | 1 | 44 | ![]() |
pow(P,add(R,log(P))) | 102744 | 138292868 | o2(x,o2(x,o1(x))) | true | 138759 | 138759 | -0.1253 | 0.4375 | 0.9997 | 0.9837 | 0.9918 | -1 | 1 | 2 | 1 | 1.01 | 0.01588 | 0.00000188 | 0.008043 | 0.9998 | 1 | -3.004e-11 | 0.03175 | 0.01594 | 0.01581 | 0.1257 | 15.63 | 2 | 0.01614 | 0.03228 | 1 | 1 | 0.02106 | 0.08419 | 0.3363 | 0.02141 | 0.08558 | 0.3419 | json |
| t17_x6_u1_b45 | 17 | 6 | 1 | 45 | ![]() |
pow(P,sub(R,log(P))) | 102745 | 138292869 | o2(x,o2(x,o1(x))) | true | 138767 | 138767 | -0.3516 | 0.5 | 0.6484 | 0.4704 | 0.6859 | -1 | 1 | 2 | 1 | 2.68 | 0.004487 | 0.00007723 | 0.01475 | 0.9662 | 1 | -6.901e-7 | 0.007918 | 0.0104 | 0.004346 | 0.06592 | 4.471 | 1 | 0.009702 | 0.01683 | 1 | 1 | 0.00686 | 0.04784 | 0.2811 | 0.01458 | 0.1017 | 0.5975 | json |
| t17_x6_u1_b46 | 17 | 6 | 1 | 46 | ![]() |
pow(P,mlt(R,log(P))) | 102746 | 138292870 | o2(x,o2(x,o1(x))) | true | 138775 | 138775 | -0.1662 | 0.4609 | 0.912 | 0.8515 | 0.9228 | -1 | 1 | 2 | 1 | 2.172 | 0.0125 | 0.0029 | 0.02191 | 0.6233 | 1 | -0.0001384 | 0.02838 | 0.02368 | 0.01492 | 0.1222 | 5.575 | 2.828 | 0.01808 | 0.03334 | 1 | 1 | 0.02167 | 0.1001 | 0.3839 | 0.02544 | 0.1175 | 0.4509 | json |
| t17_x6_u1_b47 | 17 | 6 | 1 | 47 | ![]() |
pow(P,div(R,log(P))) | 102747 | 138292871 | o2(x,o2(x,o1(x))) | true | 138783 | 138783 | -0.05905 | 0.5 | 0.941 | 0.9007 | 0.9491 | -1 | 1 | 2 | 1 | 2.076 | 0.01616 | 0.0003561 | 0.0175 | 0.9569 | 1 | -0.00002688 | 0.03196 | 0.02027 | 0.01621 | 0.1273 | 7.277 | 2 | 0.01834 | 0.03548 | 1 | 1 | 0.02217 | 0.0948 | 0.3461 | 0.02461 | 0.1052 | 0.3842 | json |
| t17_x6_u1_b48 | 17 | 6 | 1 | 48 | ![]() |
pow(P,pow(R,log(P))) | 102748 | 138292872 | o2(x,o2(x,o1(x))) | true | 138791 | 138791 | -0.9609 | 0.02344 | 0.9922 | 0.06706 | 0.259 | -1 | 1 | 2 | 1 | 0.226 | 0.0079 | 0.006387 | 0.008969 | 0.1059 | 1 | -1.201e-10 | 0.03013 | 0.01633 | 0.01421 | 0.1192 | 13.29 | 2.828 | 0.213 | 0.4493 | 1 | 1 | 0.01203 | 0.04862 | 0.1347 | 0.1794 | 0.725 | 2.009 | json |
| t17_x6_u1_b49 | 17 | 6 | 1 | 49 | ![]() |
pow(P,mod(R,log(P))) | 102749 | 138292873 | o2(x,o2(x,o1(x))) | true | 138799 | 138799 | -0.1943 | 0.4375 | 0.9307 | 0.8572 | 0.9258 | -1 | 1 | 2 | 1 | 2.071 | 0.01637 | 0.0006065 | 0.01916 | 0.9285 | 1 | -0.00005175 | 0.03225 | 0.02163 | 0.0166 | 0.1289 | 6.724 | 2 | 0.0198 | 0.03762 | 1 | 1 | 0.02258 | 0.09614 | 0.337 | 0.02634 | 0.1122 | 0.3932 | json |
| t17_x6_u1_b50 | 17 | 6 | 1 | 50 | ![]() |
pow(P,lrg(R,log(P))) | 102750 | 138292874 | o2(x,o2(x,o1(x))) | true | 138807 | 138807 | -0.03125 | 0.5 | 0.9688 | 0.9603 | 0.98 | -1 | 1 | 2 | 1 | 1.406 | 0.004323 | 0 | 0.007937 | 1 | 1 | -9.386e-13 | 0.007903 | 0.008812 | 0.004259 | 0.06526 | 8.223 | 1 | 0.004502 | 0.008229 | 1 | 1 | 0.006228 | 0.03975 | 0.2856 | 0.006485 | 0.04139 | 0.2974 | json |
| t17_x6_u1_b51 | 17 | 6 | 1 | 51 | ![]() |
pow(P,eql(R,log(P))) | 102751 | 138292875 | o2(x,o2(x,o1(x))) | true | 138815 | 138815 | 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_x6_u1_b52 | 17 | 6 | 1 | 52 | ![]() |
pow(P,min(R,log(P))) | 102752 | 138292876 | o2(x,o2(x,o1(x))) | true | 138823 | 138823 | -0.1951 | 0.4375 | 0.9299 | 0.8563 | 0.9254 | -1 | 1 | 2 | 1 | 2.075 | 0.01638 | 0.0006129 | 0.01933 | 0.9278 | 1 | -0.00005152 | 0.03226 | 0.02172 | 0.01661 | 0.1289 | 6.666 | 2 | 0.01984 | 0.03767 | 1 | 1 | 0.0226 | 0.09624 | 0.3364 | 0.02639 | 0.1124 | 0.3929 | json |
| t17_x6_u1_b53 | 17 | 6 | 1 | 53 | ![]() |
pow(P,dot(R,log(P))) | 102753 | 138292877 | o2(x,o2(x,o1(x))) | true | 138831 | 138831 | -0.9395 | 0.02734 | 0.9824 | 0.09862 | 0.314 | -1 | 1 | 2 | 1 | 0.3209 | 0.01266 | 0.009465 | 0.01358 | 0.1446 | 1 | 0 | 0.04692 | 0.02607 | 0.02195 | 0.1482 | 10.91 | 2.828 | 0.2244 | 0.4758 | 1 | 1 | 0.02954 | 0.1205 | 0.2061 | 0.2996 | 1.222 | 2.09 | json |
| t17_x6_u1_b54 | 17 | 6 | 1 | 54 | ![]() |
pow(P,dst(R,log(P))) | 102754 | 138292878 | o2(x,o2(x,o1(x))) | true | 138839 | 138839 | -0.9531 | 0.03125 | 0.9844 | 0.07253 | 0.2693 | -1 | 0.9997 | 2 | 1 | 0.307 | 0.0101 | 0.0006026 | 0.008313 | 0.8873 | 1 | -4.13e-11 | 0.02124 | 0.01309 | 0.01063 | 0.1031 | 12.4 | 2 | 0.1475 | 0.2928 | 1 | 1 | 0.01466 | 0.05967 | 0.1177 | 0.2021 | 0.8226 | 1.622 | json |
| t17_x6_u1_b55 | 17 | 6 | 1 | 55 | ![]() |
mod(P,add(R,log(P))) | 102755 | 138292879 | o2(x,o2(x,o1(x))) | true | 138847 | 138847 | -0.3101 | 0.4375 | 0.8149 | 0.6537 | 0.8085 | -1 | 1 | 2 | 1 | 2.635 | 0.006072 | 0.0005363 | 0.01942 | 0.8377 | 1 | -0.00003136 | 0.01131 | 0.01404 | 0.00623 | 0.07893 | 4.063 | 1.398 | 0.01011 | 0.01731 | 1 | 1 | 0.009032 | 0.04991 | 0.2147 | 0.01382 | 0.07635 | 0.3284 | json |
| t17_x6_u1_b56 | 17 | 6 | 1 | 56 | ![]() |
mod(P,sub(R,log(P))) | 102756 | 138292880 | o2(x,o2(x,o1(x))) | true | 138855 | 138855 | -0.2999 | 0.4375 | 0.8251 | 0.6732 | 0.8205 | -1 | 1 | 2 | 1 | 2.597 | 0.006165 | 0.0006874 | 0.02153 | 0.7994 | 1 | -0.00003397 | 0.01132 | 0.0146 | 0.006386 | 0.07991 | 3.712 | 1.398 | 0.01018 | 0.01682 | 1 | 1 | 0.009704 | 0.06018 | 0.2415 | 0.01442 | 0.0894 | 0.3588 | json |
| t17_x6_u1_b57 | 17 | 6 | 1 | 57 | ![]() |
mod(P,mlt(R,log(P))) | 102757 | 138292881 | o2(x,o2(x,o1(x))) | true | 138863 | 138863 | -0.4697 | 0.375 | 0.7803 | 0.4997 | 0.7069 | -1 | 1 | 2 | 1 | 2.402 | 0.00561 | 0.0003663 | 0.01741 | 0.8774 | 1 | -0.00001287 | 0.01047 | 0.01219 | 0.005674 | 0.07533 | 4.326 | 1.615 | 0.01196 | 0.02095 | 1 | 1 | 0.008126 | 0.04569 | 0.2083 | 0.01626 | 0.09142 | 0.4168 | json |
| t17_x6_u1_b58 | 17 | 6 | 1 | 58 | ![]() |
mod(P,div(R,log(P))) | 102758 | 138292882 | o2(x,o2(x,o1(x))) | true | 138871 | 138871 | -0.554 | 0.375 | 0.696 | 0.3373 | 0.5808 | -1 | 0.6773 | 1.677 | 1 | 2.03 | 0.006883 | 0.00007658 | 0.01101 | 0.978 | 1 | -0.000004336 | 0.01365 | 0.01167 | 0.006839 | 0.0827 | 7.512 | 1.667 | 0.02063 | 0.04048 | 1 | 1 | 0.009394 | 0.0394 | 0.1468 | 0.02785 | 0.1168 | 0.4351 | json |
| t17_x6_u1_b59 | 17 | 6 | 1 | 59 | ![]() |
mod(P,pow(R,log(P))) | 102759 | 138292883 | o2(x,o2(x,o1(x))) | true | 138879 | 138879 | -0.991 | 0.007568 | 0.9934 | 0.01034 | 0.1017 | -1 | 0.3599 | 1.36 | 1 | 0.08528 | 0.0008371 | 0.0009506 | 0.001692 | -0.0635 | 1 | 0.000001016 | 0.003725 | 0.003153 | 0.001785 | 0.04225 | 24.97 | 1.35 | 0.173 | 0.3604 | 1 | 1 | 0 | 0 | 0.008812 | 0 | 0 | 0.8526 | json |
| t17_x6_u1_b60 | 17 | 6 | 1 | 60 | ![]() |
mod(P,mod(R,log(P))) | 102760 | 138292884 | o2(x,o2(x,o1(x))) | true | 138887 | 138887 | -0.5289 | 0.375 | 0.7211 | 0.3816 | 0.6177 | -1 | 0.7988 | 1.799 | 1 | 2.19 | 0.005587 | 0.000135 | 0.01257 | 0.9528 | 1 | 0.000004704 | 0.01089 | 0.01106 | 0.005562 | 0.07458 | 5.932 | 1.366 | 0.015 | 0.02854 | 1 | 1 | 0.007629 | 0.0355 | 0.157 | 0.01999 | 0.09304 | 0.4114 | json |
| t17_x6_u1_b61 | 17 | 6 | 1 | 61 | ![]() |
mod(P,lrg(R,log(P))) | 102761 | 138292885 | o2(x,o2(x,o1(x))) | true | 138895 | 138895 | -0.4805 | 0 | 0.4805 | 0.2495 | 0.4995 | -1 | 0 | 1 | 1 | 0.9989 | 0.003968 | 0.001512 | 0.005452 | 0.4483 | 1 | 0 | 0.01134 | 0.01096 | 0.005451 | 0.07383 | 13.54 | 1.414 | 0.02197 | 0.04545 | 1 | 1 | 0.006371 | 0.02615 | 0.1019 | 0.02554 | 0.1048 | 0.4086 | json |
| t17_x6_u1_b62 | 17 | 6 | 1 | 62 | ![]() |
mod(P,eql(R,log(P))) | 102762 | 138292886 | o2(x,o2(x,o1(x))) | true | 138903 | 138903 | -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_x6_u1_b63 | 17 | 6 | 1 | 63 | ![]() |
mod(P,min(R,log(P))) | 102763 | 138292887 | o2(x,o2(x,o1(x))) | true | 138911 | 138911 | -0.1795 | 0.3789 | 0.3751 | 0.2184 | 0.4673 | -1 | 0.7988 | 1.799 | 1 | 4.084 | 0.008924 | 0.001016 | 0.02528 | 0.7955 | 1 | 0.0000013 | 0.01895 | 0.02119 | 0.009301 | 0.09644 | 3.815 | 1.708 | 0.04552 | 0.08679 | 1 | 1 | 0.01395 | 0.06488 | 0.2384 | 0.06389 | 0.2971 | 1.092 | json |
| t17_x6_u1_b64 | 17 | 6 | 1 | 64 | ![]() |
mod(P,dot(R,log(P))) | 102764 | 138292888 | o2(x,o2(x,o1(x))) | true | 138919 | 138919 | -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_x6_u1_b65 | 17 | 6 | 1 | 65 | ![]() |
mod(P,dst(R,log(P))) | 102765 | 138292889 | o2(x,o2(x,o1(x))) | true | 138927 | 138927 | -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_x6_u1_b66 | 17 | 6 | 1 | 66 | ![]() |
lrg(P,add(R,log(P))) | 102766 | 138292890 | o2(x,o2(x,o1(x))) | true | 138935 | 138935 | 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_x6_u1_b67 | 17 | 6 | 1 | 67 | ![]() |
lrg(P,sub(R,log(P))) | 102767 | 138292891 | o2(x,o2(x,o1(x))) | true | 138943 | 138943 | 0.9375 | 1 | 0.9375 | 0.04507 | 0.2123 | 0.000291 | 1 | 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_x6_u1_b68 | 17 | 6 | 1 | 68 | ![]() |
lrg(P,mlt(R,log(P))) | 102768 | 138292892 | o2(x,o2(x,o1(x))) | true | 138951 | 138951 | 0.9648 | 1 | 0.9648 | 0.02431 | 0.1559 | 0.000291 | 1 | 0.9997 | 1 | 0.5835 | 0.0003631 | 0.0001053 | 0.005422 | 0.5502 | 1 | -0.000005705 | 0.00002431 | 0.001291 | 0.0004388 | 0.02095 | 3.863 | 0.1169 | 0.01927 | 0.001 | 1 | 1 | 0.001224 | 0.01595 | 0.05043 | 0.05036 | 0.656 | 2.074 | json |
| t17_x6_u1_b69 | 17 | 6 | 1 | 69 | ![]() |
lrg(P,div(R,log(P))) | 102769 | 138292893 | o2(x,o2(x,o1(x))) | true | 138959 | 138959 | 0.8984 | 0.9783 | 0.8984 | 0.07439 | 0.2727 | 0 | 1 | 1 | 1 | 1.095 | 0.0006574 | 0.0001755 | 0.00962 | 0.5787 | 1 | 0.00001141 | 0.00004297 | 0.002287 | 0.0007403 | 0.02721 | 2.828 | 0.1169 | 0.0112 | 0.0005777 | 1 | 1 | 0.002204 | 0.02867 | 0.114 | 0.02963 | 0.3854 | 1.532 | json |
| t17_x6_u1_b70 | 17 | 6 | 1 | 70 | ![]() |
lrg(P,pow(R,log(P))) | 102770 | 138292894 | o2(x,o2(x,o1(x))) | true | 138967 | 138967 | 0.9102 | 0.9831 | 0.9102 | 0.06626 | 0.2574 | 0 | 1 | 1 | 1 | 1.008 | 0.0006768 | 0.0001053 | 0.008948 | 0.7306 | 1 | 0.000005703 | 0.00003877 | 0.002115 | 0.0007021 | 0.0265 | 2.961 | 0.1169 | 0.0118 | 0.0005851 | 1 | 1 | 0.002072 | 0.02707 | 0.115 | 0.03127 | 0.4086 | 1.736 | json |
| t17_x6_u1_b71 | 17 | 6 | 1 | 71 | ![]() |
lrg(P,mod(R,log(P))) | 102771 | 138292895 | o2(x,o2(x,o1(x))) | true | 138975 | 138975 | 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_x6_u1_b72 | 17 | 6 | 1 | 72 | ![]() |
lrg(P,lrg(R,log(P))) | 102772 | 138292896 | o2(x,o2(x,o1(x))) | true | 138983 | 138983 | 0.4297 | 0.4783 | 0.4297 | 0.2349 | 0.4847 | 0 | 1 | 1 | 1 | 1.451 | 0.0003045 | 0.0001755 | 0.005652 | 0.2688 | 1 | 0.00001141 | 0.00002677 | 0.001359 | 0.0004481 | 0.02117 | 3.745 | 0.1169 | 0.002043 | 0.0001139 | 1 | 1 | 0.001279 | 0.01661 | 0.07962 | 0.005444 | 0.0707 | 0.3389 | json |
| t17_x6_u1_b73 | 17 | 6 | 1 | 73 | ![]() |
lrg(P,eql(R,log(P))) | 102773 | 138292897 | o2(x,o2(x,o1(x))) | true | 138991 | 138991 | 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_x6_u1_b74 | 17 | 6 | 1 | 74 | ![]() |
lrg(P,min(R,log(P))) | 102774 | 138292898 | o2(x,o2(x,o1(x))) | true | 138999 | 138999 | 0.5313 | 0.5625 | 0.5313 | 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_x6_u1_b75 | 17 | 6 | 1 | 75 | ![]() |
lrg(P,dot(R,log(P))) | 102775 | 138292899 | o2(x,o2(x,o1(x))) | true | 139007 | 139007 | 0.8662 | 0.9883 | 0.8662 | 0.08829 | 0.2971 | 0 | 1 | 1 | 1 | 1.481 | 0.0006821 | 0.0005814 | 0.0148 | 0.07969 | 1 | -0.00001355 | 0.00007438 | 0.003588 | 0.001044 | 0.03232 | 2.184 | 0.1169 | 0.01431 | 0.0008424 | 1 | 1 | 0.002614 | 0.03405 | 0.1025 | 0.02961 | 0.3857 | 1.161 | json |
| t17_x6_u1_b76 | 17 | 6 | 1 | 76 | ![]() |
lrg(P,dst(R,log(P))) | 102776 | 138292900 | o2(x,o2(x,o1(x))) | true | 139015 | 139015 | 0.7178 | 0.75 | 0.7178 | 0.1955 | 0.4422 | 0 | 1 | 1 | 1 | 1.198 | 0.0001852 | 0.0001852 | 0.004184 | 0.000001493 | 1 | -5.533e-10 | 0.00001725 | 0.0009791 | 0.0003528 | 0.01878 | 4.489 | 0.1169 | 0.001895 | 0.00008821 | 1 | 1 | 0.0009865 | 0.01294 | 0.08005 | 0.005046 | 0.06621 | 0.4094 | json |
| t17_x6_u1_b77 | 17 | 6 | 1 | 77 | ![]() |
eql(P,add(R,log(P))) | 102777 | 138292901 | o2(x,o2(x,o1(x))) | true | 139023 | 139023 | 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_x6_u1_b78 | 17 | 6 | 1 | 78 | ![]() |
eql(P,sub(R,log(P))) | 102778 | 138292902 | o2(x,o2(x,o1(x))) | true | 139031 | 139031 | 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_x6_u1_b79 | 17 | 6 | 1 | 79 | ![]() |
eql(P,mlt(R,log(P))) | 102779 | 138292903 | o2(x,o2(x,o1(x))) | true | 139039 | 139039 | 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_x6_u1_b80 | 17 | 6 | 1 | 80 | ![]() |
eql(P,div(R,log(P))) | 102780 | 138292904 | o2(x,o2(x,o1(x))) | true | 139047 | 139047 | 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_x6_u1_b81 | 17 | 6 | 1 | 81 | ![]() |
eql(P,pow(R,log(P))) | 102781 | 138292905 | o2(x,o2(x,o1(x))) | true | 139055 | 139055 | 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_x6_u1_b82 | 17 | 6 | 1 | 82 | ![]() |
eql(P,mod(R,log(P))) | 102782 | 138292906 | o2(x,o2(x,o1(x))) | true | 139063 | 139063 | 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_x6_u1_b83 | 17 | 6 | 1 | 83 | ![]() |
eql(P,lrg(R,log(P))) | 102783 | 138292907 | o2(x,o2(x,o1(x))) | true | 139071 | 139071 | 0.03906 | 0.1129 | 0.03906 | 0.02579 | 0.1606 | 0 | 0.9997 | 0.9997 | 1 | 0.6726 | 0.0003997 | 0.0001755 | 0.006718 | 0.3898 | 1 | -0.00001141 | 0.00003128 | 0.001608 | 0.0005302 | 0.02303 | 3.427 | 0.1169 | 0.0223 | 0.001213 | 1 | 1 | 0.001425 | 0.01841 | 0.04273 | 0.05526 | 0.7139 | 1.657 | json |
| t17_x6_u1_b84 | 17 | 6 | 1 | 84 | ![]() |
eql(P,eql(R,log(P))) | 102784 | 138292908 | o2(x,o2(x,o1(x))) | true | 139079 | 139079 | 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_x6_u1_b85 | 17 | 6 | 1 | 85 | ![]() |
eql(P,min(R,log(P))) | 102785 | 138292909 | o2(x,o2(x,o1(x))) | true | 139087 | 139087 | 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_x6_u1_b86 | 17 | 6 | 1 | 86 | ![]() |
eql(P,dot(R,log(P))) | 102786 | 138292910 | o2(x,o2(x,o1(x))) | true | 139095 | 139095 | 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_x6_u1_b87 | 17 | 6 | 1 | 87 | ![]() |
eql(P,dst(R,log(P))) | 102787 | 138292911 | o2(x,o2(x,o1(x))) | true | 139103 | 139103 | 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_x6_u1_b88 | 17 | 6 | 1 | 88 | ![]() |
min(P,add(R,log(P))) | 102788 | 138292912 | o2(x,o2(x,o1(x))) | true | 139111 | 139111 | -0.1877 | 0.4252 | 0.9431 | 0.8845 | 0.9405 | -1 | 1 | 2 | 1 | 1.92 | 0.007665 | 0.0003821 | 0.01366 | 0.905 | 1 | -0.00001319 | 0.01467 | 0.01307 | 0.007858 | 0.08865 | 6.491 | 1.943 | 0.009098 | 0.01659 | 1 | 1 | 0.01046 | 0.05703 | 0.2583 | 0.01183 | 0.06448 | 0.292 | json |
| t17_x6_u1_b89 | 17 | 6 | 1 | 89 | ![]() |
min(P,sub(R,log(P))) | 102789 | 138292913 | o2(x,o2(x,o1(x))) | true | 139119 | 139119 | -0.8304 | 0.05992 | 0.8694 | 0.1461 | 0.3822 | -1 | 0.9431 | 1.943 | 1 | 1.784 | 0.001164 | 0.0004706 | 0.01633 | 0.4241 | 1 | -0.00000959 | 0.0001848 | 0.00476 | 0.001368 | 0.03698 | 2.265 | 0.2777 | 0.01119 | 0.001265 | 1 | 1 | 0.004053 | 0.04931 | 0.2027 | 0.02775 | 0.3375 | 1.387 | json |
| t17_x6_u1_b90 | 17 | 6 | 1 | 90 | ![]() |
min(P,mlt(R,log(P))) | 102790 | 138292914 | o2(x,o2(x,o1(x))) | true | 139127 | 139127 | -0.5465 | 0.1892 | 0.735 | 0.3754 | 0.6127 | -1 | 1 | 2 | 1 | 3.037 | 0.004836 | 0.003381 | 0.03667 | 0.1771 | 1 | -0.00000425 | 0.007794 | 0.01619 | 0.006872 | 0.0829 | 2.261 | 1.414 | 0.02189 | 0.02076 | 1 | 1 | 0.01215 | 0.1055 | 0.3461 | 0.03237 | 0.281 | 0.922 | json |
| t17_x6_u1_b91 | 17 | 6 | 1 | 91 | ![]() |
min(P,div(R,log(P))) | 102791 | 138292915 | o2(x,o2(x,o1(x))) | true | 139135 | 139135 | -0.5498 | 0.1986 | 0.6771 | 0.304 | 0.5514 | -1 | 1 | 2 | 1 | 3.108 | 0.00749 | 0.007755 | 0.03297 | -0.01736 | 1 | 0.000009057 | 0.02732 | 0.02465 | 0.01416 | 0.119 | 3.609 | 2.347 | 0.05014 | 0.08986 | 1 | 1 | 0.01738 | 0.1057 | 0.3218 | 0.05716 | 0.3478 | 1.058 | json |
| t17_x6_u1_b92 | 17 | 6 | 1 | 92 | ![]() |
min(P,pow(R,log(P))) | 102792 | 138292916 | o2(x,o2(x,o1(x))) | true | 139143 | 139143 | -0.03919 | 0.5 | 0.8983 | 0.866 | 0.9306 | -1 | 1 | 2 | 1 | 2.378 | 0.001479 | 0.001335 | 0.01939 | 0.05091 | 1 | -0.00009427 | 0.001371 | 0.01048 | 0.002438 | 0.04938 | 2.547 | 0.4646 | 0.003249 | 0.001583 | 1 | 1 | 0.004202 | 0.04081 | 0.2541 | 0.004852 | 0.04712 | 0.2934 | json |
| t17_x6_u1_b93 | 17 | 6 | 1 | 93 | ![]() |
min(P,mod(R,log(P))) | 102793 | 138292917 | o2(x,o2(x,o1(x))) | true | 139151 | 139151 | -0.4263 | 0.2761 | 0.6762 | 0.4074 | 0.6383 | -1 | 0.9999 | 2 | 1 | 3.663 | 0.002139 | 0.001102 | 0.03534 | 0.3201 | 1 | 0.00001538 | 0.0001817 | 0.00819 | 0.001992 | 0.04464 | 1.263 | 0.219 | 0.007955 | 0.000446 | 1 | 1 | 0.006901 | 0.09016 | 0.363 | 0.01694 | 0.2213 | 0.891 | json |
| t17_x6_u1_b94 | 17 | 6 | 1 | 94 | ![]() |
min(P,lrg(R,log(P))) | 102794 | 138292918 | o2(x,o2(x,o1(x))) | true | 139159 | 139159 | -0.4238 | 0.1246 | 0.5137 | 0.314 | 0.5604 | -1 | 0.9997 | 2 | 1 | 2.059 | 0.0007598 | 0.000233 | 0.01143 | 0.5306 | 1 | -0.000005704 | 0.00005119 | 0.002713 | 0.0008619 | 0.02936 | 2.568 | 0.1169 | 0.003161 | 0.000163 | 1 | 1 | 0.002506 | 0.03271 | 0.1726 | 0.007981 | 0.1042 | 0.5497 | json |
| t17_x6_u1_b95 | 17 | 6 | 1 | 95 | ![]() |
min(P,eql(R,log(P))) | 102795 | 138292919 | o2(x,o2(x,o1(x))) | true | 139167 | 139167 | -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_x6_u1_b96 | 17 | 6 | 1 | 96 | ![]() |
min(P,min(R,log(P))) | 102796 | 138292920 | o2(x,o2(x,o1(x))) | true | 139175 | 139175 | -0.5876 | 0.1819 | 0.7211 | 0.3022 | 0.5497 | -1 | 0.9806 | 1.981 | 1 | 3.055 | 0.00414 | 0.00118 | 0.02925 | 0.5565 | 1 | 0.00001382 | 0.006245 | 0.01277 | 0.004463 | 0.06681 | 2.284 | 1 | 0.0176 | 0.02067 | 1 | 1 | 0.008115 | 0.06932 | 0.2272 | 0.02685 | 0.2294 | 0.7517 | json |
| t17_x6_u1_b97 | 17 | 6 | 1 | 97 | ![]() |
min(P,dot(R,log(P))) | 102797 | 138292921 | o2(x,o2(x,o1(x))) | true | 139183 | 139183 | -0.4668 | 0.2617 | 0.9473 | 0.7185 | 0.8477 | -1 | 1 | 2 | 1 | 1.53 | 0.008878 | 0.01397 | 0.01871 | -0.223 | 1 | -5.632e-11 | 0.04626 | 0.0258 | 0.02251 | 0.15 | 8.017 | 2.828 | 0.0318 | 0.06438 | 1 | 1 | 0.03389 | 0.1444 | 0.5073 | 0.04717 | 0.201 | 0.706 | json |
| t17_x6_u1_b98 | 17 | 6 | 1 | 98 | ![]() |
min(P,dst(R,log(P))) | 102798 | 138292922 | o2(x,o2(x,o1(x))) | true | 139191 | 139191 | 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_x6_u1_b99 | 17 | 6 | 1 | 99 | ![]() |
dot(P,add(R,log(P))) | 102799 | 138292923 | o2(x,o2(x,o1(x))) | true | 139199 | 139199 | -0.6175 | 0.1914 | 0.9997 | 0.6183 | 0.7863 | -1 | 1 | 2 | 1 | 0.7153 | 0.006938 | 0.006662 | 0.006975 | 0.02029 | 1 | 6.195e-10 | 0.0273 | 0.01379 | 0.01356 | 0.1164 | 16.69 | 2 | 0.022 | 0.04415 | 1 | 1 | 0.01709 | 0.06936 | 0.2784 | 0.02763 | 0.1122 | 0.4503 | json |



































































































