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_x1_u1_b35 | 17 | 1 | 1 | 35 | ![]() |
div(P,mlt(P,log(D))) | 98500 | 138090854 | o2(x,o2(x,o1(x))) | true | 104807 | 104807 | -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_x1_u1_b36 | 17 | 1 | 1 | 36 | ![]() |
div(P,div(P,log(D))) | 98501 | 138090855 | o2(x,o2(x,o1(x))) | true | 104815 | 104815 | -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_x1_u1_b37 | 17 | 1 | 1 | 37 | ![]() |
div(P,pow(P,log(D))) | 98502 | 138090856 | o2(x,o2(x,o1(x))) | true | 104823 | 104823 | -0.9063 | 0.0625 | 0.9688 | 0.1407 | 0.3751 | -1 | 0.9997 | 2 | 1 | 0.5501 | 0.02019 | 0 | 0.01587 | 1 | 1 | 0 | 0.03975 | 0.02468 | 0.01993 | 0.1412 | 8.896 | 2 | 0.1435 | 0.2825 | 1 | 1 | 0.0272 | 0.1109 | 0.2014 | 0.1933 | 0.7879 | 1.432 | json |
| t17_x1_u1_b38 | 17 | 1 | 1 | 38 | ![]() |
div(P,mod(P,log(D))) | 98503 | 138090857 | o2(x,o2(x,o1(x))) | true | 104831 | 104831 | -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_x1_u1_b39 | 17 | 1 | 1 | 39 | ![]() |
div(P,lrg(P,log(D))) | 98504 | 138090858 | o2(x,o2(x,o1(x))) | true | 104839 | 104839 | -0.02939 | 0.5 | 0.9669 | 0.9574 | 0.9785 | -1 | 1 | 2 | 1 | 1.505 | 0.004582 | 0 | 0.009727 | 1 | 1 | -9.386e-13 | 0.008497 | 0.01129 | 0.004485 | 0.06697 | 6.885 | 1 | 0.004786 | 0.008876 | 1 | 1 | 0.006519 | 0.04015 | 0.281 | 0.006809 | 0.04194 | 0.2935 | json |
| t17_x1_u1_b40 | 17 | 1 | 1 | 40 | ![]() |
div(P,eql(P,log(D))) | 98505 | 138090859 | o2(x,o2(x,o1(x))) | true | 104847 | 104847 | -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_x1_u1_b41 | 17 | 1 | 1 | 41 | ![]() |
div(P,min(P,log(D))) | 98506 | 138090860 | o2(x,o2(x,o1(x))) | true | 104855 | 104855 | 0.1727 | 0.6016 | 0.8813 | 0.8115 | 0.9008 | -1 | 1 | 2 | 1 | 2.506 | 0.1352 | 0 | 0.1242 | 1 | 1 | 0.002946 | 0.248 | 0.1581 | 0.1198 | 0.3462 | 2.788 | 2 | 0.1666 | 0.3056 | 1 | 1 | 0.1473 | 0.4335 | 0.3076 | 0.1816 | 0.5342 | 0.379 | json |
| t17_x1_u1_b42 | 17 | 1 | 1 | 42 | ![]() |
div(P,dot(P,log(D))) | 98507 | 138090861 | o2(x,o2(x,o1(x))) | true | 104863 | 104863 | -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_x1_u1_b43 | 17 | 1 | 1 | 43 | ![]() |
div(P,dst(P,log(D))) | 98508 | 138090862 | o2(x,o2(x,o1(x))) | true | 104871 | 104871 | -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_x1_u1_b44 | 17 | 1 | 1 | 44 | ![]() |
pow(P,add(P,log(D))) | 98509 | 138090863 | o2(x,o2(x,o1(x))) | true | 104879 | 104879 | -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_x1_u1_b45 | 17 | 1 | 1 | 45 | ![]() |
pow(P,sub(P,log(D))) | 98510 | 138090864 | o2(x,o2(x,o1(x))) | true | 104887 | 104887 | -0.9063 | 0.0625 | 0.9688 | 0.1407 | 0.3751 | -1 | 0.9997 | 2 | 1 | 0.5501 | 0.02019 | 0 | 0.01587 | 1 | 1 | 0 | 0.03975 | 0.02468 | 0.01993 | 0.1412 | 8.896 | 2 | 0.1435 | 0.2825 | 1 | 1 | 0.0272 | 0.1109 | 0.2014 | 0.1933 | 0.7879 | 1.432 | json |
| t17_x1_u1_b46 | 17 | 1 | 1 | 46 | ![]() |
pow(P,mlt(P,log(D))) | 98511 | 138090865 | o2(x,o2(x,o1(x))) | true | 104895 | 104895 | -0.875 | 0.0625 | 1 | 0.2344 | 0.4841 | -1 | 1 | 2 | 1 | 0.3373 | 0.03175 | 0 | 0.01587 | 1 | 1 | 0 | 0.06349 | 0.03175 | 0.03149 | 0.1774 | 11.18 | 2 | 0.1354 | 0.2709 | 1 | 1 | 0.04211 | 0.1684 | 0.3368 | 0.1796 | 0.7186 | 1.437 | json |
| t17_x1_u1_b47 | 17 | 1 | 1 | 47 | ![]() |
pow(P,div(P,log(D))) | 98512 | 138090866 | o2(x,o2(x,o1(x))) | true | 104903 | 104903 | -0.875 | 0.0625 | 1 | 0.2344 | 0.4841 | -1 | 1 | 2 | 1 | 0.3373 | 0.03175 | 0 | 0.01587 | 1 | 1 | 0 | 0.06349 | 0.03175 | 0.03149 | 0.1774 | 11.18 | 2 | 0.1354 | 0.2709 | 1 | 1 | 0.04211 | 0.1684 | 0.3368 | 0.1796 | 0.7186 | 1.437 | json |
| t17_x1_u1_b48 | 17 | 1 | 1 | 48 | ![]() |
pow(P,pow(P,log(D))) | 98513 | 138090867 | o2(x,o2(x,o1(x))) | true | 104911 | 104911 | -0.9063 | 0.0625 | 0.9688 | 0.1407 | 0.3751 | -1 | 0.9997 | 2 | 1 | 0.5501 | 0.02019 | 0 | 0.01587 | 1 | 1 | 0 | 0.03975 | 0.02468 | 0.01993 | 0.1412 | 8.896 | 2 | 0.1435 | 0.2825 | 1 | 1 | 0.0272 | 0.1109 | 0.2014 | 0.1933 | 0.7879 | 1.432 | json |
| t17_x1_u1_b49 | 17 | 1 | 1 | 49 | ![]() |
pow(P,mod(P,log(D))) | 98514 | 138090868 | o2(x,o2(x,o1(x))) | true | 104919 | 104919 | -0.875 | 0.0625 | 1 | 0.2344 | 0.4841 | -1 | 1 | 2 | 1 | 0.3373 | 0.03175 | 0 | 0.01587 | 1 | 1 | 0 | 0.06349 | 0.03175 | 0.03149 | 0.1774 | 11.18 | 2 | 0.1354 | 0.2709 | 1 | 1 | 0.04211 | 0.1684 | 0.3368 | 0.1796 | 0.7186 | 1.437 | json |
| t17_x1_u1_b50 | 17 | 1 | 1 | 50 | ![]() |
pow(P,lrg(P,log(D))) | 98515 | 138090869 | o2(x,o2(x,o1(x))) | true | 104927 | 104927 | 0.01748 | 0.5391 | 0.9394 | 0.9269 | 0.9628 | -1 | 1 | 2 | 1 | 1.637 | 0.0117 | 0 | 0.01327 | 1 | 1 | -9.461e-10 | 0.02376 | 0.01512 | 0.01153 | 0.1074 | 8.093 | 1.672 | 0.01262 | 0.02563 | 1 | 1 | 0.01527 | 0.05197 | 0.239 | 0.01648 | 0.05606 | 0.2579 | json |
| t17_x1_u1_b51 | 17 | 1 | 1 | 51 | ![]() |
pow(P,eql(P,log(D))) | 98516 | 138090870 | o2(x,o2(x,o1(x))) | true | 104935 | 104935 | 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_x1_u1_b52 | 17 | 1 | 1 | 52 | ![]() |
pow(P,min(P,log(D))) | 98517 | 138090871 | o2(x,o2(x,o1(x))) | true | 104943 | 104943 | -0.1348 | 0.4375 | 0.9902 | 0.9707 | 0.9852 | -1 | 1 | 2 | 1 | 1.109 | 0.02746 | 0 | 0.02291 | 1 | 1 | 3.783e-9 | 0.06209 | 0.04356 | 0.02692 | 0.1641 | 7.161 | 2 | 0.02828 | 0.06397 | 1 | 1 | 0.03165 | 0.09481 | 0.3311 | 0.03261 | 0.09767 | 0.3411 | json |
| t17_x1_u1_b53 | 17 | 1 | 1 | 53 | ![]() |
pow(P,dot(P,log(D))) | 98518 | 138090872 | o2(x,o2(x,o1(x))) | true | 104951 | 104951 | -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_x1_u1_b54 | 17 | 1 | 1 | 54 | ![]() |
pow(P,dst(P,log(D))) | 98519 | 138090873 | o2(x,o2(x,o1(x))) | true | 104959 | 104959 | -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_x1_u1_b55 | 17 | 1 | 1 | 55 | ![]() |
mod(P,add(P,log(D))) | 98520 | 138090874 | o2(x,o2(x,o1(x))) | true | 104967 | 104967 | -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_x1_u1_b56 | 17 | 1 | 1 | 56 | ![]() |
mod(P,sub(P,log(D))) | 98521 | 138090875 | o2(x,o2(x,o1(x))) | true | 104975 | 104975 | -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_x1_u1_b57 | 17 | 1 | 1 | 57 | ![]() |
mod(P,mlt(P,log(D))) | 98522 | 138090876 | o2(x,o2(x,o1(x))) | true | 104983 | 104983 | -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_x1_u1_b58 | 17 | 1 | 1 | 58 | ![]() |
mod(P,div(P,log(D))) | 98523 | 138090877 | o2(x,o2(x,o1(x))) | true | 104991 | 104991 | -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_x1_u1_b59 | 17 | 1 | 1 | 59 | ![]() |
mod(P,pow(P,log(D))) | 98524 | 138090878 | o2(x,o2(x,o1(x))) | true | 104999 | 104999 | -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_x1_u1_b60 | 17 | 1 | 1 | 60 | ![]() |
mod(P,mod(P,log(D))) | 98525 | 138090879 | o2(x,o2(x,o1(x))) | true | 105007 | 105007 | -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_x1_u1_b61 | 17 | 1 | 1 | 61 | ![]() |
mod(P,lrg(P,log(D))) | 98526 | 138090880 | o2(x,o2(x,o1(x))) | true | 105015 | 105015 | -0.4648 | 0 | 0.4648 | 0.2487 | 0.4987 | -1 | 0 | 1 | 1 | 0.9964 | 0.02778 | 0 | 0.02778 | 1 | 1 | 0 | 0.06349 | 0.05556 | 0.027 | 0.1643 | 5.915 | 1 | 0.1117 | 0.2553 | 1 | 1 | 0.03158 | 0.06842 | 0.08421 | 0.127 | 0.2751 | 0.3386 | json |
| t17_x1_u1_b62 | 17 | 1 | 1 | 62 | ![]() |
mod(P,eql(P,log(D))) | 98527 | 138090881 | o2(x,o2(x,o1(x))) | true | 105023 | 105023 | -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_x1_u1_b63 | 17 | 1 | 1 | 63 | ![]() |
mod(P,min(P,log(D))) | 98528 | 138090882 | o2(x,o2(x,o1(x))) | true | 105031 | 105031 | -0.06181 | 0.418 | 0.5793 | 0.5425 | 0.7365 | -1 | 1 | 2 | 1 | 2.875 | 0.06367 | 0 | 0.1025 | 1 | 1 | 0.0006252 | 0.1559 | 0.1713 | 0.05317 | 0.2306 | 2.25 | 1 | 0.1174 | 0.2874 | 1 | 1 | 0.05574 | 0.1815 | 0.3202 | 0.1027 | 0.3346 | 0.5902 | json |
| t17_x1_u1_b64 | 17 | 1 | 1 | 64 | ![]() |
mod(P,dot(P,log(D))) | 98529 | 138090883 | o2(x,o2(x,o1(x))) | true | 105039 | 105039 | -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_x1_u1_b65 | 17 | 1 | 1 | 65 | ![]() |
mod(P,dst(P,log(D))) | 98530 | 138090884 | o2(x,o2(x,o1(x))) | true | 105047 | 105047 | -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_x1_u1_b66 | 17 | 1 | 1 | 66 | ![]() |
lrg(P,add(P,log(D))) | 98531 | 138090885 | o2(x,o2(x,o1(x))) | true | 105055 | 105055 | 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_x1_u1_b67 | 17 | 1 | 1 | 67 | ![]() |
lrg(P,sub(P,log(D))) | 98532 | 138090886 | o2(x,o2(x,o1(x))) | true | 105063 | 105063 | 0.5 | 1 | 0.5 | 0.1418 | 0.3765 | 0.000291 | 0.9997 | 0.9994 | 1 | 3.406 | 0.06511 | 0 | 0.1228 | 1 | 1 | 0 | 0.1208 | 0.1337 | 0.05001 | 0.2236 | 1.821 | 0.9994 | 0.4593 | 0.8522 | 1 | 1 | 0.07073 | 0.2419 | 0 | 0.4989 | 1.706 | 0 | json |
| t17_x1_u1_b68 | 17 | 1 | 1 | 68 | ![]() |
lrg(P,mlt(P,log(D))) | 98533 | 138090887 | o2(x,o2(x,o1(x))) | true | 105071 | 105071 | 0.7188 | 1 | 0.7188 | 0.1413 | 0.3759 | 0.000291 | 1 | 0.9997 | 1 | 2.519 | 0.03488 | 0 | 0.06731 | 1 | 1 | -0.00008984 | 0.06442 | 0.07172 | 0.03035 | 0.1742 | 2.588 | 0.9994 | 0.2469 | 0.456 | 1 | 1 | 0.03759 | 0.1321 | 0.03299 | 0.266 | 0.935 | 0.2335 | json |
| t17_x1_u1_b69 | 17 | 1 | 1 | 69 | ![]() |
lrg(P,div(P,log(D))) | 98534 | 138090888 | o2(x,o2(x,o1(x))) | true | 105079 | 105079 | 0.7188 | 1 | 0.7188 | 0.1413 | 0.3759 | 0.000291 | 1 | 0.9997 | 1 | 2.519 | 0.03488 | 0 | 0.06731 | 1 | 1 | -0.00008984 | 0.06442 | 0.07172 | 0.03035 | 0.1742 | 2.588 | 0.9994 | 0.2469 | 0.456 | 1 | 1 | 0.03759 | 0.1321 | 0.03299 | 0.266 | 0.935 | 0.2335 | json |
| t17_x1_u1_b70 | 17 | 1 | 1 | 70 | ![]() |
lrg(P,pow(P,log(D))) | 98535 | 138090889 | o2(x,o2(x,o1(x))) | true | 105087 | 105087 | 0.9063 | 0.9375 | 0.9063 | 0.0782 | 0.2796 | 0 | 1 | 1 | 1 | 0.7448 | 0.004321 | 0 | 0.007937 | 1 | 1 | -4.731e-10 | 0.007953 | 0.008864 | 0.004257 | 0.06525 | 8.221 | 1 | 0.05526 | 0.1017 | 1 | 1 | 0.006189 | 0.0332 | 0.1172 | 0.07914 | 0.4245 | 1.499 | json |
| t17_x1_u1_b71 | 17 | 1 | 1 | 71 | ![]() |
lrg(P,mod(P,log(D))) | 98536 | 138090890 | o2(x,o2(x,o1(x))) | true | 105095 | 105095 | 0.6855 | 1 | 0.6855 | 0.1531 | 0.3913 | 0.000291 | 1 | 0.9997 | 1 | 2.614 | 0.0571 | 0 | 0.0911 | 1 | 1 | -0.00008984 | 0.1163 | 0.1175 | 0.04879 | 0.2209 | 2.425 | 0.9997 | 0.3728 | 0.7594 | 1 | 1 | 0.06211 | 0.1685 | 0.03299 | 0.4056 | 1.1 | 0.2154 | json |
| t17_x1_u1_b72 | 17 | 1 | 1 | 72 | ![]() |
lrg(P,lrg(P,log(D))) | 98537 | 138090891 | o2(x,o2(x,o1(x))) | true | 105103 | 105103 | 0.4063 | 0.4375 | 0.4063 | 0.2344 | 0.4842 | 0 | 1 | 1 | 1 | 1.302 | 0.0003529 | 0 | 0.003968 | 1 | 1 | -4.731e-10 | 0.00001619 | 0.0009276 | 0.0003372 | 0.01836 | 4.628 | 0.1169 | 0.001505 | 0.00006906 | 1 | 1 | 0.0009255 | 0.01214 | 0.0751 | 0.003947 | 0.0518 | 0.3203 | json |
| t17_x1_u1_b73 | 17 | 1 | 1 | 73 | ![]() |
lrg(P,eql(P,log(D))) | 98538 | 138090892 | o2(x,o2(x,o1(x))) | true | 105111 | 105111 | 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_x1_u1_b74 | 17 | 1 | 1 | 74 | ![]() |
lrg(P,min(P,log(D))) | 98539 | 138090893 | o2(x,o2(x,o1(x))) | true | 105119 | 105119 | 0.2833 | 0.5352 | 0.2833 | 0.1473 | 0.3838 | 0 | 0.9997 | 0.9997 | 1 | 2.435 | 0.05675 | 0 | 0.08723 | 1 | 1 | -0.00008984 | 0.1162 | 0.1166 | 0.04913 | 0.2216 | 2.541 | 0.9997 | 0.3853 | 0.7888 | 1 | 1 | 0.06386 | 0.1791 | 0.03299 | 0.4336 | 1.216 | 0.224 | json |
| t17_x1_u1_b75 | 17 | 1 | 1 | 75 | ![]() |
lrg(P,dot(P,log(D))) | 98540 | 138090894 | o2(x,o2(x,o1(x))) | true | 105127 | 105127 | 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_x1_u1_b76 | 17 | 1 | 1 | 76 | ![]() |
lrg(P,dst(P,log(D))) | 98541 | 138090895 | o2(x,o2(x,o1(x))) | true | 105135 | 105135 | 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_x1_u1_b77 | 17 | 1 | 1 | 77 | ![]() |
eql(P,add(P,log(D))) | 98542 | 138090896 | o2(x,o2(x,o1(x))) | true | 105143 | 105143 | 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_x1_u1_b78 | 17 | 1 | 1 | 78 | ![]() |
eql(P,sub(P,log(D))) | 98543 | 138090897 | o2(x,o2(x,o1(x))) | true | 105151 | 105151 | 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_x1_u1_b79 | 17 | 1 | 1 | 79 | ![]() |
eql(P,mlt(P,log(D))) | 98544 | 138090898 | o2(x,o2(x,o1(x))) | true | 105159 | 105159 | 0.03125 | 0.0625 | 0.03125 | 0.02351 | 0.1533 | 0 | 0.9997 | 0.9997 | 1 | 0.459 | 0.004319 | 0 | 0.007934 | 1 | 1 | -2.365e-10 | 0.008002 | 0.008862 | 0.004255 | 0.06523 | 8.221 | 0.9997 | 0.1837 | 0.3404 | 1 | 1 | 0.00615 | 0.02664 | 0.03299 | 0.2616 | 1.133 | 1.403 | json |
| t17_x1_u1_b80 | 17 | 1 | 1 | 80 | ![]() |
eql(P,div(P,log(D))) | 98545 | 138090899 | o2(x,o2(x,o1(x))) | true | 105167 | 105167 | 0.03125 | 0.0625 | 0.03125 | 0.02351 | 0.1533 | 0 | 0.9997 | 0.9997 | 1 | 0.459 | 0.004319 | 0 | 0.007934 | 1 | 1 | -2.365e-10 | 0.008002 | 0.008862 | 0.004255 | 0.06523 | 8.221 | 0.9997 | 0.1837 | 0.3404 | 1 | 1 | 0.00615 | 0.02664 | 0.03299 | 0.2616 | 1.133 | 1.403 | json |
| t17_x1_u1_b81 | 17 | 1 | 1 | 81 | ![]() |
eql(P,pow(P,log(D))) | 98546 | 138090900 | o2(x,o2(x,o1(x))) | true | 105175 | 105175 | 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_x1_u1_b82 | 17 | 1 | 1 | 82 | ![]() |
eql(P,mod(P,log(D))) | 98547 | 138090901 | o2(x,o2(x,o1(x))) | true | 105183 | 105183 | 0.09779 | 0.1328 | 0.09779 | 0.0783 | 0.2798 | 0 | 0.9997 | 0.9997 | 1 | 0.8478 | 0.04874 | 0 | 0.05554 | 1 | 1 | 0 | 0.1117 | 0.1004 | 0.04567 | 0.2137 | 3.848 | 0.9997 | 0.6225 | 1.426 | 1 | 1 | 0.05525 | 0.1057 | 0.05997 | 0.7055 | 1.35 | 0.7659 | json |
| t17_x1_u1_b83 | 17 | 1 | 1 | 83 | ![]() |
eql(P,lrg(P,log(D))) | 98548 | 138090902 | o2(x,o2(x,o1(x))) | true | 105191 | 105191 | 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_x1_u1_b84 | 17 | 1 | 1 | 84 | ![]() |
eql(P,eql(P,log(D))) | 98549 | 138090903 | o2(x,o2(x,o1(x))) | true | 105199 | 105199 | 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_x1_u1_b85 | 17 | 1 | 1 | 85 | ![]() |
eql(P,min(P,log(D))) | 98550 | 138090904 | o2(x,o2(x,o1(x))) | true | 105207 | 105207 | 0.7167 | 1 | 0.7167 | 0.1473 | 0.3838 | 0.000291 | 1 | 0.9997 | 1 | 2.435 | 0.05675 | 0 | 0.08723 | 1 | 1 | 0.00008985 | 0.1162 | 0.1166 | 0.04913 | 0.2216 | 2.541 | 0.9997 | 0.3853 | 0.7888 | 1 | 1 | 0.06386 | 0.1791 | 0.03299 | 0.4336 | 1.216 | 0.224 | json |
| t17_x1_u1_b86 | 17 | 1 | 1 | 86 | ![]() |
eql(P,dot(P,log(D))) | 98551 | 138090905 | o2(x,o2(x,o1(x))) | true | 105215 | 105215 | 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_x1_u1_b87 | 17 | 1 | 1 | 87 | ![]() |
eql(P,dst(P,log(D))) | 98552 | 138090906 | o2(x,o2(x,o1(x))) | true | 105223 | 105223 | 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_x1_u1_b88 | 17 | 1 | 1 | 88 | ![]() |
min(P,add(P,log(D))) | 98553 | 138090907 | o2(x,o2(x,o1(x))) | true | 105231 | 105231 | -0.09833 | 0.4453 | 0.9375 | 0.9097 | 0.9538 | -1 | 1 | 2 | 1 | 1.794 | 0.06104 | 0 | 0.06292 | 1 | 1 | 2.838e-9 | 0.1288 | 0.0811 | 0.05705 | 0.2389 | 3.796 | 2 | 0.0671 | 0.1416 | 1 | 1 | 0.07653 | 0.1762 | 0.2282 | 0.08413 | 0.1936 | 0.2509 | json |
| t17_x1_u1_b89 | 17 | 1 | 1 | 89 | ![]() |
min(P,sub(P,log(D))) | 98554 | 138090908 | o2(x,o2(x,o1(x))) | true | 105239 | 105239 | 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_x1_u1_b90 | 17 | 1 | 1 | 90 | ![]() |
min(P,mlt(P,log(D))) | 98555 | 138090909 | o2(x,o2(x,o1(x))) | true | 105247 | 105247 | -0.3835 | 0.3125 | 0.9108 | 0.7387 | 0.8595 | -1 | 1 | 2 | 1 | 2.014 | 0.1649 | 0 | 0.119 | 1 | 1 | 4.731e-10 | 0.2842 | 0.1776 | 0.1507 | 0.3882 | 3.261 | 2 | 0.2232 | 0.3848 | 1 | 1 | 0.1823 | 0.7672 | 0.1729 | 0.2468 | 1.039 | 0.2341 | json |
| t17_x1_u1_b91 | 17 | 1 | 1 | 91 | ![]() |
min(P,div(P,log(D))) | 98556 | 138090910 | o2(x,o2(x,o1(x))) | true | 105255 | 105255 | -0.4338 | 0.2695 | 0.878 | 0.6555 | 0.8097 | -1 | 1 | 2 | 1 | 2.386 | 0.1325 | 0 | 0.1148 | 1 | 1 | -1.892e-9 | 0.2132 | 0.1495 | 0.1193 | 0.3454 | 3.009 | 2 | 0.2021 | 0.3253 | 1 | 1 | 0.1466 | 0.6898 | 0.1774 | 0.2237 | 1.052 | 0.2706 | json |
| t17_x1_u1_b92 | 17 | 1 | 1 | 92 | ![]() |
min(P,pow(P,log(D))) | 98557 | 138090911 | o2(x,o2(x,o1(x))) | true | 105263 | 105263 | -0.07485 | 0.5 | 0.8626 | 0.8288 | 0.9104 | -1 | 1 | 2 | 1 | 2.376 | 0.02975 | 0 | 0.05447 | 1 | 1 | -1.419e-9 | 0.0524 | 0.06522 | 0.02678 | 0.1636 | 3.004 | 0.9965 | 0.0359 | 0.06322 | 1 | 1 | 0.03134 | 0.08515 | 0.2319 | 0.03782 | 0.1027 | 0.2799 | json |
| t17_x1_u1_b93 | 17 | 1 | 1 | 93 | ![]() |
min(P,mod(P,log(D))) | 98558 | 138090912 | o2(x,o2(x,o1(x))) | true | 105271 | 105271 | -0.01989 | 0.5 | 0.9176 | 0.8954 | 0.9463 | -1 | 1 | 2 | 1 | 2.092 | 0.02224 | 0 | 0.04569 | 1 | 1 | -9.461e-10 | 0.06616 | 0.0747 | 0.02015 | 0.1419 | 3.106 | 0.9292 | 0.02484 | 0.07388 | 1 | 1 | 0.009851 | 0.03521 | 0.2347 | 0.011 | 0.03932 | 0.2621 | json |
| t17_x1_u1_b94 | 17 | 1 | 1 | 94 | ![]() |
min(P,lrg(P,log(D))) | 98559 | 138090913 | o2(x,o2(x,o1(x))) | true | 105279 | 105279 | 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_x1_u1_b95 | 17 | 1 | 1 | 95 | ![]() |
min(P,eql(P,log(D))) | 98560 | 138090914 | o2(x,o2(x,o1(x))) | true | 105287 | 105287 | -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_x1_u1_b96 | 17 | 1 | 1 | 96 | ![]() |
min(P,min(P,log(D))) | 98561 | 138090915 | o2(x,o2(x,o1(x))) | true | 105295 | 105295 | -0.3164 | 0.332 | 0.9113 | 0.7864 | 0.8868 | -1 | 1 | 2 | 1 | 2.081 | 0.1514 | 0 | 0.127 | 1 | 1 | 3.782e-9 | 0.2502 | 0.1622 | 0.1353 | 0.3678 | 2.897 | 2 | 0.1925 | 0.3182 | 1 | 1 | 0.1775 | 0.6113 | 0.1335 | 0.2258 | 0.7774 | 0.1697 | json |
| t17_x1_u1_b97 | 17 | 1 | 1 | 97 | ![]() |
min(P,dot(P,log(D))) | 98562 | 138090916 | o2(x,o2(x,o1(x))) | true | 105303 | 105303 | 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_x1_u1_b98 | 17 | 1 | 1 | 98 | ![]() |
min(P,dst(P,log(D))) | 98563 | 138090917 | o2(x,o2(x,o1(x))) | true | 105311 | 105311 | 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_x1_u1_b99 | 17 | 1 | 1 | 99 | ![]() |
dot(P,add(P,log(D))) | 98564 | 138090918 | o2(x,o2(x,o1(x))) | true | 105319 | 105319 | -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_x1_u1_b100 | 17 | 1 | 1 | 100 | ![]() |
dot(P,sub(P,log(D))) | 98565 | 138090919 | o2(x,o2(x,o1(x))) | true | 105327 | 105327 | -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_x1_u1_b101 | 17 | 1 | 1 | 101 | ![]() |
dot(P,mlt(P,log(D))) | 98566 | 138090920 | o2(x,o2(x,o1(x))) | true | 105335 | 105335 | -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_x1_u1_b102 | 17 | 1 | 1 | 102 | ![]() |
dot(P,div(P,log(D))) | 98567 | 138090921 | o2(x,o2(x,o1(x))) | true | 105343 | 105343 | -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_x1_u1_b103 | 17 | 1 | 1 | 103 | ![]() |
dot(P,pow(P,log(D))) | 98568 | 138090922 | o2(x,o2(x,o1(x))) | true | 105351 | 105351 | -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_x1_u1_b104 | 17 | 1 | 1 | 104 | ![]() |
dot(P,mod(P,log(D))) | 98569 | 138090923 | o2(x,o2(x,o1(x))) | true | 105359 | 105359 | -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_x1_u1_b105 | 17 | 1 | 1 | 105 | ![]() |
dot(P,lrg(P,log(D))) | 98570 | 138090924 | o2(x,o2(x,o1(x))) | true | 105367 | 105367 | 0.2823 | 0.6346 | 0.9226 | 0.8214 | 0.9063 | -1 | 1 | 2 | 1 | 2.026 | 0.03311 | 0.03311 | 0.07021 | -0.00002222 | 1 | 0.0003559 | 0.1149 | 0.08997 | 0.06126 | 0.2475 | 3.525 | 2 | 0.08063 | 0.1399 | 1 | 1 | 0.06539 | 0.2575 | 0.3183 | 0.07961 | 0.3135 | 0.3876 | json |
| t17_x1_u1_b106 | 17 | 1 | 1 | 106 | ![]() |
dot(P,eql(P,log(D))) | 98571 | 138090925 | o2(x,o2(x,o1(x))) | true | 105375 | 105375 | 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_x1_u1_b107 | 17 | 1 | 1 | 107 | ![]() |
dot(P,min(P,log(D))) | 98572 | 138090926 | o2(x,o2(x,o1(x))) | true | 105383 | 105383 | -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_x1_u1_b108 | 17 | 1 | 1 | 108 | ![]() |
dot(P,dot(P,log(D))) | 98573 | 138090927 | o2(x,o2(x,o1(x))) | true | 105391 | 105391 | -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_x1_u1_b109 | 17 | 1 | 1 | 109 | ![]() |
dot(P,dst(P,log(D))) | 98574 | 138090928 | o2(x,o2(x,o1(x))) | true | 105399 | 105399 | -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_x1_u1_b110 | 17 | 1 | 1 | 110 | ![]() |
dst(P,add(P,log(D))) | 98575 | 138090929 | o2(x,o2(x,o1(x))) | true | 105407 | 105407 | -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_x1_u1_b111 | 17 | 1 | 1 | 111 | ![]() |
dst(P,sub(P,log(D))) | 98576 | 138090930 | o2(x,o2(x,o1(x))) | true | 105415 | 105415 | -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_x1_u1_b112 | 17 | 1 | 1 | 112 | ![]() |
dst(P,mlt(P,log(D))) | 98577 | 138090931 | o2(x,o2(x,o1(x))) | true | 105423 | 105423 | -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_x1_u1_b113 | 17 | 1 | 1 | 113 | ![]() |
dst(P,div(P,log(D))) | 98578 | 138090932 | o2(x,o2(x,o1(x))) | true | 105431 | 105431 | -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_x1_u1_b114 | 17 | 1 | 1 | 114 | ![]() |
dst(P,pow(P,log(D))) | 98579 | 138090933 | o2(x,o2(x,o1(x))) | true | 105439 | 105439 | -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_x1_u1_b115 | 17 | 1 | 1 | 115 | ![]() |
dst(P,mod(P,log(D))) | 98580 | 138090934 | o2(x,o2(x,o1(x))) | true | 105447 | 105447 | -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_x1_u1_b116 | 17 | 1 | 1 | 116 | ![]() |
dst(P,lrg(P,log(D))) | 98581 | 138090935 | o2(x,o2(x,o1(x))) | true | 105455 | 105455 | 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_x1_u1_b117 | 17 | 1 | 1 | 117 | ![]() |
dst(P,eql(P,log(D))) | 98582 | 138090936 | o2(x,o2(x,o1(x))) | true | 105463 | 105463 | 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_x1_u1_b118 | 17 | 1 | 1 | 118 | ![]() |
dst(P,min(P,log(D))) | 98583 | 138090937 | o2(x,o2(x,o1(x))) | true | 105471 | 105471 | -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_x1_u1_b119 | 17 | 1 | 1 | 119 | ![]() |
dst(P,dot(P,log(D))) | 98584 | 138090938 | o2(x,o2(x,o1(x))) | true | 105479 | 105479 | -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_x1_u1_b120 | 17 | 1 | 1 | 120 | ![]() |
dst(P,dst(P,log(D))) | 98585 | 138090939 | o2(x,o2(x,o1(x))) | true | 105487 | 105487 | -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_x1_u2_b0 | 17 | 1 | 2 | 0 | ![]() |
add(P,add(P,frc(D))) | 98586 | 138091020 | o2(x,o2(x,o1(x))) | true | 105495 | 105495 | 0.03125 | 0.5234 | 0.9688 | 0.9575 | 0.9785 | -1 | 1 | 2 | 1 | 1.476 | 0.006012 | 0 | 0.01537 | 1 | 1 | 0 | 0.008583 | 0.01165 | 0.005776 | 0.076 | 4.946 | 0.9363 | 0.006279 | 0.008963 | 1 | 1 | 0.01026 | 0.05251 | 0.2818 | 0.01071 | 0.05484 | 0.2943 | json |
| t17_x1_u2_b1 | 17 | 1 | 2 | 1 | ![]() |
add(P,sub(P,frc(D))) | 98587 | 138091021 | o2(x,o2(x,o1(x))) | true | 105503 | 105503 | -0.03125 | 0.4805 | 0.9688 | 0.961 | 0.9803 | -1 | 1 | 2 | 1 | 1.414 | 0.004147 | 0 | 0.008985 | 1 | 1 | 0 | 0.00786 | 0.01013 | 0.004065 | 0.06375 | 7.096 | 0.9387 | 0.004315 | 0.008179 | 1 | 1 | 0.005787 | 0.03893 | 0.2865 | 0.006022 | 0.04051 | 0.2981 | json |
| t17_x1_u2_b2 | 17 | 1 | 2 | 2 | ![]() |
add(P,mlt(P,frc(D))) | 98588 | 138091022 | o2(x,o2(x,o1(x))) | true | 105511 | 105511 | -0.0007734 | 0.5 | 0.9506 | 0.9415 | 0.9703 | -1 | 1 | 2 | 1 | 1.553 | 0.001085 | 0 | 0.007936 | 1 | 1 | -5.322e-10 | 0.0001714 | 0.002846 | 0.001023 | 0.03199 | 4.031 | 0.2066 | 0.001153 | 0.0001821 | 1 | 1 | 0.002766 | 0.03022 | 0.2579 | 0.002938 | 0.0321 | 0.274 | json |
| t17_x1_u2_b3 | 17 | 1 | 2 | 3 | ![]() |
add(P,div(P,frc(D))) | 98589 | 138091023 | o2(x,o2(x,o1(x))) | true | 105519 | 105519 | 0.004712 | 0.5 | 0.9659 | 0.9595 | 0.9795 | -1 | 1 | 2 | 1 | 1.419 | 0.001563 | 0 | 0.007937 | 1 | 1 | -8.278e-10 | 0.0004503 | 0.004361 | 0.0015 | 0.03873 | 4.88 | 0.312 | 0.001629 | 0.0004692 | 1 | 1 | 0.003847 | 0.03632 | 0.2823 | 0.00401 | 0.03785 | 0.2943 | json |
| t17_x1_u2_b4 | 17 | 1 | 2 | 4 | ![]() |
add(P,pow(P,frc(D))) | 98590 | 138091024 | o2(x,o2(x,o1(x))) | true | 105527 | 105527 | -0.02152 | 0.5 | 0.9785 | 0.9739 | 0.9869 | -1 | 1 | 2 | 1 | 1.244 | 0.004625 | 0 | 0.007937 | 1 | 1 | -4.731e-10 | 0.007971 | 0.009631 | 0.00456 | 0.06753 | 8.509 | 1.001 | 0.004749 | 0.008185 | 1 | 1 | 0.006981 | 0.05009 | 0.3027 | 0.007168 | 0.05143 | 0.3108 | json |
| t17_x1_u2_b5 | 17 | 1 | 2 | 5 | ![]() |
add(P,mod(P,frc(D))) | 98591 | 138091025 | o2(x,o2(x,o1(x))) | true | 105535 | 105535 | 0.0003641 | 0.5 | 0.9465 | 0.9367 | 0.9679 | -1 | 1 | 2 | 1 | 1.585 | 0.001419 | 0 | 0.008414 | 1 | 1 | -7.096e-10 | 0.001248 | 0.006846 | 0.001348 | 0.03672 | 4.364 | 0.3511 | 0.001515 | 0.001332 | 1 | 1 | 0.002937 | 0.02921 | 0.2516 | 0.003135 | 0.03118 | 0.2686 | json |
| t17_x1_u2_b6 | 17 | 1 | 2 | 6 | ![]() |
add(P,lrg(P,frc(D))) | 98592 | 138091026 | o2(x,o2(x,o1(x))) | true | 105543 | 105543 | 0.009727 | 0.5 | 0.9472 | 0.9365 | 0.9677 | -1 | 1 | 2 | 1 | 1.65 | 0.001005 | 0 | 0.007937 | 1 | 1 | -4.731e-10 | 0.0001502 | 0.002719 | 0.0009424 | 0.0307 | 3.868 | 0.2265 | 0.001073 | 0.0001604 | 1 | 1 | 0.002565 | 0.02848 | 0.2515 | 0.002739 | 0.03041 | 0.2686 | json |
| t17_x1_u2_b7 | 17 | 1 | 2 | 7 | ![]() |
add(P,eql(P,frc(D))) | 98593 | 138091027 | o2(x,o2(x,o1(x))) | true | 105551 | 105551 | 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_x1_u2_b8 | 17 | 1 | 2 | 8 | ![]() |
add(P,min(P,frc(D))) | 98594 | 138091028 | o2(x,o2(x,o1(x))) | true | 105559 | 105559 | -0.003561 | 0.5 | 0.9534 | 0.9453 | 0.9723 | -1 | 1 | 2 | 1 | 1.52 | 0.001251 | 0 | 0.007937 | 1 | 1 | 0 | 0.0002562 | 0.00343 | 0.001188 | 0.03447 | 4.343 | 0.2265 | 0.001323 | 0.000271 | 1 | 1 | 0.003148 | 0.03181 | 0.2632 | 0.00333 | 0.03365 | 0.2785 | json |
| t17_x1_u2_b9 | 17 | 1 | 2 | 9 | ![]() |
add(P,dot(P,frc(D))) | 98595 | 138091029 | o2(x,o2(x,o1(x))) | true | 105567 | 105567 | 0.009262 | 0.5045 | 0.9564 | 0.9421 | 0.9706 | -1 | 1 | 2 | 1 | 1.722 | 0.01128 | 0.0368 | 0.05001 | -0.5308 | 1 | 0.0003509 | 0.09491 | 0.06428 | 0.04554 | 0.2134 | 4.267 | 2.034 | 0.05103 | 0.1007 | 1 | 1 | 0.04739 | 0.1567 | 0.3166 | 0.0503 | 0.1664 | 0.3361 | json |
| t17_x1_u2_b10 | 17 | 1 | 2 | 10 | ![]() |
add(P,dst(P,frc(D))) | 98596 | 138091030 | o2(x,o2(x,o1(x))) | true | 105575 | 105575 | 0.9511 | 1 | 0.9511 | 0.0251 | 0.1584 | 0.03133 | 1 | 0.9687 | 1 | 0.9368 | 0.005282 | 0.0006214 | 0.01575 | 0.7895 | 1 | -0.0001117 | 0.01226 | 0.01861 | 0.005654 | 0.07519 | 4.775 | 0.938 | 0.2352 | 0.4886 | 1 | 1 | 0.006758 | 0.01812 | 0.02148 | 0.2692 | 0.7219 | 0.8558 | json |
| t17_x1_u2_b11 | 17 | 1 | 2 | 11 | ![]() |
sub(P,add(P,frc(D))) | 98597 | 138091031 | o2(x,o2(x,o1(x))) | true | 105583 | 105583 | -0.5 | 0 | 0.5 | 0.08301 | 0.2881 | -0.9688 | -0.03125 | 0.9375 | 1 | 4 | 0.05599 | 0 | 0.1146 | 1 | 1 | 0 | 0.119 | 0.119 | 0.04284 | 0.207 | 1.806 | 0.9375 | 0.6745 | 1.434 | 1 | 1 | 0.05321 | 0.125 | 0 | 0.641 | 1.506 | 0 | json |
| t17_x1_u2_b12 | 17 | 1 | 2 | 12 | ![]() |
sub(P,sub(P,frc(D))) | 98598 | 138091032 | o2(x,o2(x,o1(x))) | true | 105591 | 105591 | 0.5 | 1 | 0.5 | 0.08301 | 0.2881 | 0.03125 | 0.9688 | 0.9375 | 1 | 4 | 0.05599 | 0 | 0.1146 | 1 | 1 | 0 | 0.119 | 0.119 | 0.04284 | 0.207 | 1.806 | 0.9375 | 0.6745 | 1.434 | 1 | 1 | 0.05321 | 0.125 | 0 | 0.641 | 1.506 | 0 | json |
| t17_x1_u2_b13 | 17 | 1 | 2 | 13 | ![]() |
sub(P,mlt(P,frc(D))) | 98599 | 138091033 | o2(x,o2(x,o1(x))) | true | 105599 | 105599 | -0.003912 | 0.5 | 0.7754 | 0.7158 | 0.846 | -1 | 1 | 2 | 1 | 3.358 | 0.05379 | 0 | 0.09989 | 1 | 1 | -0.0009946 | 0.1164 | 0.1286 | 0.04382 | 0.2093 | 2.096 | 0.9378 | 0.07514 | 0.1626 | 1 | 1 | 0.05134 | 0.1014 | 0.1305 | 0.07173 | 0.1417 | 0.1824 | json |



































































































