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_x17_u0_b104 | 17 | 17 | 0 | 104 | ![]() |
dot(D,mod(R,sqt(R))) | 112000 | 138737138 | o2(x,o2(x,o1(x))) | true | 56007 | 56007 | -0.9959 | 0.003021 | 0.9964 | 0.004411 | 0.06642 | -1 | 0.204 | 1.204 | 1 | 0.0458 | 0.0005673 | 0.0005186 | 0.001137 | 0.04481 | 1 | -2.253e-11 | 0.00228 | 0.002107 | 0.001084 | 0.03292 | 28.95 | 1.386 | 0.2462 | 0.517 | 1 | 1 | 0.001928 | 0.008061 | 0.01557 | 0.4371 | 1.827 | 3.53 | json |
| t17_x17_u0_b105 | 17 | 17 | 0 | 105 | ![]() |
dot(D,lrg(R,sqt(R))) | 112001 | 138737139 | o2(x,o2(x,o1(x))) | true | 56015 | 56015 | -0.003352 | 0.4854 | 0.1306 | 0.02712 | 0.1647 | -0.4776 | 0.4991 | 0.9766 | 1 | 3.438 | 0.001159 | 0.001107 | 0.04238 | 0.02275 | 1 | 0.00008999 | 0.000274 | 0.01325 | 0.0004701 | 0.02168 | 0.5116 | 0.1179 | 0.08356 | 0.01011 | 1 | 1 | 0.004181 | 0.04146 | 0.04545 | 0.1542 | 1.529 | 1.676 | json |
| t17_x17_u0_b106 | 17 | 17 | 0 | 106 | ![]() |
dot(D,eql(R,sqt(R))) | 112002 | 138737140 | o2(x,o2(x,o1(x))) | true | 56023 | 56023 | 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_x17_u0_b107 | 17 | 17 | 0 | 107 | ![]() |
dot(D,min(R,sqt(R))) | 112003 | 138737141 | o2(x,o2(x,o1(x))) | true | 56031 | 56031 | 0.004186 | 0.519 | 0.1403 | 0.03119 | 0.1766 | -0.5259 | 0.5965 | 1.122 | 1 | 3.548 | 0.001025 | 0.001036 | 0.04104 | -0.005293 | 1 | -0.0001214 | 0.0002066 | 0.0116 | 0.0003766 | 0.01941 | 0.4729 | 0.1246 | 0.06608 | 0.006623 | 1 | 1 | 0.003983 | 0.04517 | 0.06353 | 0.1277 | 1.448 | 2.037 | json |
| t17_x17_u0_b108 | 17 | 17 | 0 | 108 | ![]() |
dot(D,dot(R,sqt(R))) | 112004 | 138737142 | o2(x,o2(x,o1(x))) | true | 56039 | 56039 | -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_x17_u0_b109 | 17 | 17 | 0 | 109 | ![]() |
dot(D,dst(R,sqt(R))) | 112005 | 138737143 | o2(x,o2(x,o1(x))) | true | 56047 | 56047 | -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_x17_u0_b110 | 17 | 17 | 0 | 110 | ![]() |
dst(D,add(R,sqt(R))) | 112006 | 138737144 | o2(x,o2(x,o1(x))) | true | 56055 | 56055 | -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_x17_u0_b111 | 17 | 17 | 0 | 111 | ![]() |
dst(D,sub(R,sqt(R))) | 112007 | 138737145 | o2(x,o2(x,o1(x))) | true | 56063 | 56063 | -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_x17_u0_b112 | 17 | 17 | 0 | 112 | ![]() |
dst(D,mlt(R,sqt(R))) | 112008 | 138737146 | o2(x,o2(x,o1(x))) | true | 56071 | 56071 | -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_x17_u0_b113 | 17 | 17 | 0 | 113 | ![]() |
dst(D,div(R,sqt(R))) | 112009 | 138737147 | o2(x,o2(x,o1(x))) | true | 56079 | 56079 | -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_x17_u0_b114 | 17 | 17 | 0 | 114 | ![]() |
dst(D,pow(R,sqt(R))) | 112010 | 138737148 | o2(x,o2(x,o1(x))) | true | 56087 | 56087 | -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_x17_u0_b115 | 17 | 17 | 0 | 115 | ![]() |
dst(D,mod(R,sqt(R))) | 112011 | 138737149 | o2(x,o2(x,o1(x))) | true | 56095 | 56095 | -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_x17_u0_b116 | 17 | 17 | 0 | 116 | ![]() |
dst(D,lrg(R,sqt(R))) | 112012 | 138737150 | o2(x,o2(x,o1(x))) | true | 56103 | 56103 | 0.9513 | 1 | 0.9513 | 0.02205 | 0.1485 | 0.04447 | 1 | 0.9555 | 1 | 1.092 | 0.0007799 | 0.0008714 | 0.01582 | -0.0554 | 1 | -0.00003468 | 0.0004629 | 0.007671 | 0.001402 | 0.03744 | 2.366 | 0.2173 | 0.07488 | 0.02099 | 1 | 1 | 0.003524 | 0.03198 | 0.04431 | 0.1598 | 1.45 | 2.009 | json |
| t17_x17_u0_b117 | 17 | 17 | 0 | 117 | ![]() |
dst(D,eql(R,sqt(R))) | 112013 | 138737151 | o2(x,o2(x,o1(x))) | true | 56111 | 56111 | 0.4439 | 1 | 0.4439 | 0.02504 | 0.1582 | 0.04473 | 0.7026 | 0.6579 | 1 | 3.252 | 0.001981 | 0.001981 | 0.05914 | 2.938e-7 | 1 | -0.0006857 | 0.0006739 | 0.01958 | 0.000465 | 0.02156 | 0.3646 | 0.09377 | 0.1583 | 0.02692 | 1 | 1 | 0.007608 | 0.05068 | 0 | 0.3039 | 2.024 | 0 | json |
| t17_x17_u0_b118 | 17 | 17 | 0 | 118 | ![]() |
dst(D,min(R,sqt(R))) | 112014 | 138737152 | o2(x,o2(x,o1(x))) | true | 56119 | 56119 | 0.9181 | 1 | 0.9181 | 0.01978 | 0.1406 | 0.07175 | 1 | 0.9282 | 1 | 1.861 | 0.0006824 | 0.0007622 | 0.02203 | -0.05522 | 1 | -0.00004027 | 0.0004199 | 0.009976 | 0.000959 | 0.03097 | 1.406 | 0.1814 | 0.07303 | 0.02123 | 1 | 1 | 0.002532 | 0.02334 | 0.03425 | 0.128 | 1.18 | 1.731 | json |
| t17_x17_u0_b119 | 17 | 17 | 0 | 119 | ![]() |
dst(D,dot(R,sqt(R))) | 112015 | 138737153 | o2(x,o2(x,o1(x))) | true | 56127 | 56127 | -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_x17_u0_b120 | 17 | 17 | 0 | 120 | ![]() |
dst(D,dst(R,sqt(R))) | 112016 | 138737154 | o2(x,o2(x,o1(x))) | true | 56135 | 56135 | -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_x17_u1_b0 | 17 | 17 | 1 | 0 | ![]() |
add(D,add(R,log(R))) | 112017 | 138737235 | o2(x,o2(x,o1(x))) | true | 56143 | 56143 | -0.9612 | 0.02057 | 0.9774 | 0.04679 | 0.2163 | -1 | 1 | 2 | 1 | 0.4103 | 0.00492 | 0.005462 | 0.01114 | -0.05219 | 1 | 0.00001885 | 0.02093 | 0.01609 | 0.01026 | 0.1013 | 9.089 | 2.394 | 0.2219 | 0.4474 | 1 | 1 | 0.008841 | 0.03933 | 0.079 | 0.1889 | 0.8405 | 1.688 | json |
| t17_x17_u1_b1 | 17 | 17 | 1 | 1 | ![]() |
add(D,sub(R,log(R))) | 112018 | 138737236 | o2(x,o2(x,o1(x))) | true | 56151 | 56151 | -0.9144 | 0.04297 | 0.9996 | 0.1632 | 0.404 | -1 | 1 | 2 | 1 | 0.2723 | 0.01687 | 0.0162 | 0.01665 | 0.02017 | 1 | 0.00000527 | 0.06923 | 0.03333 | 0.03278 | 0.181 | 10.87 | 2.828 | 0.2026 | 0.4242 | 1 | 1 | 0.02523 | 0.1087 | 0.2733 | 0.1546 | 0.666 | 1.675 | json |
| t17_x17_u1_b2 | 17 | 17 | 1 | 2 | ![]() |
add(D,mlt(R,log(R))) | 112019 | 138737237 | o2(x,o2(x,o1(x))) | true | 56159 | 56159 | -0.9679 | 0.0008698 | 0.968 | 0.02364 | 0.1538 | -1 | 0.08979 | 1.09 | 1 | 0.3859 | 0.002397 | 0.002352 | 0.007534 | 0.009471 | 1 | -0.000006178 | 0.009829 | 0.01284 | 0.004695 | 0.06852 | 9.094 | 1.195 | 0.2009 | 0.4157 | 1 | 1 | 0.003647 | 0.01599 | 0.0392 | 0.1542 | 0.6761 | 1.658 | json |
| t17_x17_u1_b3 | 17 | 17 | 1 | 3 | ![]() |
add(D,div(R,log(R))) | 112020 | 138737238 | o2(x,o2(x,o1(x))) | true | 56167 | 56167 | -0.9936 | 0.000885 | 0.9937 | 0.004231 | 0.06505 | -1 | 0.06259 | 1.063 | 1 | 0.1392 | 0.0008441 | 0.0007923 | 0.00351 | 0.03163 | 1 | -0.000002593 | 0.003131 | 0.00508 | 0.001625 | 0.04031 | 11.48 | 1.063 | 0.3868 | 0.7401 | 1 | 1 | 0.0009537 | 0.003578 | 0.006898 | 0.2254 | 0.8456 | 1.63 | json |
| t17_x17_u1_b4 | 17 | 17 | 1 | 4 | ![]() |
add(D,pow(R,log(R))) | 112021 | 138737239 | o2(x,o2(x,o1(x))) | true | 56175 | 56175 | -0.9141 | 0.04297 | 0.9999 | 0.1643 | 0.4053 | -1 | 1 | 2 | 1 | 0.259 | 0.01688 | 0.01631 | 0.01655 | 0.01703 | 1 | -5.309e-7 | 0.0694 | 0.03327 | 0.03289 | 0.1814 | 10.96 | 2.828 | 0.202 | 0.4225 | 1 | 1 | 0.02533 | 0.1093 | 0.2752 | 0.1542 | 0.6655 | 1.675 | json |
| t17_x17_u1_b5 | 17 | 17 | 1 | 5 | ![]() |
add(D,mod(R,log(R))) | 112022 | 138737240 | o2(x,o2(x,o1(x))) | true | 56183 | 56183 | -0.9473 | 0.03862 | 0.9672 | 0.06293 | 0.2509 | -1 | 0.6203 | 1.62 | 1 | 0.3976 | 0.006644 | 0.006316 | 0.01173 | 0.02529 | 1 | -0.00001501 | 0.02701 | 0.02111 | 0.01282 | 0.1132 | 9.653 | 2.054 | 0.206 | 0.4292 | 1 | 1 | 0.009814 | 0.04202 | 0.1054 | 0.156 | 0.6677 | 1.675 | json |
| t17_x17_u1_b6 | 17 | 17 | 1 | 6 | ![]() |
add(D,lrg(R,log(R))) | 112023 | 138737241 | o2(x,o2(x,o1(x))) | true | 56191 | 56191 | 0.9529 | 1 | 0.9529 | 0.003185 | 0.05644 | 0.8546 | 1 | 0.1454 | 1 | 1.329 | 0.0007155 | 0 | 0.01812 | 1 | 1 | 0.0001582 | 0.0003006 | 0.01323 | 0.0003869 | 0.01967 | 1.085 | 0.05567 | 0.2246 | 0.09439 | 1 | 1 | 0.0013 | 0.005463 | 0 | 0.4081 | 1.715 | 0 | json |
| t17_x17_u1_b7 | 17 | 17 | 1 | 7 | ![]() |
add(D,eql(R,log(R))) | 112024 | 138737242 | o2(x,o2(x,o1(x))) | true | 56199 | 56199 | 0 | 0.5 | 0.09436 | 0.01082 | 0.104 | -0.1454 | 0.1454 | 0.2908 | 1 | 2.561 | 0.001632 | 0 | 0.0361 | 1 | 1 | 0 | 0.0002563 | 0.01459 | 0.0003304 | 0.01818 | 0.5036 | 0.06192 | 0.1508 | 0.02368 | 1 | 1 | 0.003151 | 0.02183 | 0 | 0.2912 | 2.017 | 0 | json |
| t17_x17_u1_b8 | 17 | 17 | 1 | 8 | ![]() |
add(D,min(R,log(R))) | 112025 | 138737243 | o2(x,o2(x,o1(x))) | true | 56207 | 56207 | -0.573 | 0.01276 | 0.5739 | 0.08963 | 0.2994 | -1 | 0.1233 | 1.123 | 1 | 3.86 | 0.002951 | 0.001423 | 0.05128 | 0.3494 | 1 | 0.0001087 | 0.0009889 | 0.01836 | 0.001744 | 0.04177 | 0.8144 | 0.3759 | 0.0488 | 0.01103 | 1 | 1 | 0.007884 | 0.07459 | 0.1458 | 0.08796 | 0.8322 | 1.627 | json |
| t17_x17_u1_b9 | 17 | 17 | 1 | 9 | ![]() |
add(D,dot(R,log(R))) | 112026 | 138737244 | o2(x,o2(x,o1(x))) | true | 56215 | 56215 | -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_x17_u1_b10 | 17 | 17 | 1 | 10 | ![]() |
add(D,dst(R,log(R))) | 112027 | 138737245 | o2(x,o2(x,o1(x))) | true | 56223 | 56223 | -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_x17_u1_b11 | 17 | 17 | 1 | 11 | ![]() |
sub(D,add(R,log(R))) | 112028 | 138737246 | o2(x,o2(x,o1(x))) | true | 56231 | 56231 | -0.9531 | 0.02232 | 0.9771 | 0.06214 | 0.2493 | -1 | 1 | 2 | 1 | 0.4578 | 0.00684 | 0.006167 | 0.01247 | 0.05176 | 1 | -0.00003207 | 0.02629 | 0.01887 | 0.01286 | 0.1134 | 9.093 | 2.402 | 0.2093 | 0.423 | 1 | 1 | 0.008344 | 0.03749 | 0.09526 | 0.1343 | 0.6033 | 1.533 | json |
| t17_x17_u1_b12 | 17 | 17 | 1 | 12 | ![]() |
sub(D,sub(R,log(R))) | 112029 | 138737247 | o2(x,o2(x,o1(x))) | true | 56239 | 56239 | -0.9996 | 0 | 0.9996 | 0.00002936 | 0.005419 | -1 | -0.8564 | 0.1436 | 1 | 0.02772 | 0.000006068 | 0.000007026 | 0.0002523 | -0.07315 | 0 | -0.00001009 | 0.00002106 | 0.0003239 | 0.00001303 | 0.003609 | 14.31 | 0.1436 | 0.4459 | 0.7171 | 1 | 1 | 0.00001259 | 0.00003926 | 0.00004077 | 0.4286 | 1.337 | 1.388 | json |
| t17_x17_u1_b13 | 17 | 17 | 1 | 13 | ![]() |
sub(D,mlt(R,log(R))) | 112030 | 138737248 | o2(x,o2(x,o1(x))) | true | 56247 | 56247 | -0.9462 | 0.04143 | 0.968 | 0.06533 | 0.2556 | -1 | 0.5024 | 1.502 | 1 | 0.3878 | 0.006797 | 0.006532 | 0.01183 | 0.01991 | 1 | -0.00001391 | 0.02779 | 0.02147 | 0.01319 | 0.1148 | 9.71 | 1.891 | 0.204 | 0.4253 | 1 | 1 | 0.01015 | 0.04341 | 0.1097 | 0.1554 | 0.6644 | 1.68 | json |
| t17_x17_u1_b14 | 17 | 17 | 1 | 14 | ![]() |
sub(D,div(R,log(R))) | 112031 | 138737249 | o2(x,o2(x,o1(x))) | true | 56255 | 56255 | -0.9206 | 0.04282 | 0.9935 | 0.1436 | 0.379 | -1 | 1 | 2 | 1 | 0.3405 | 0.01359 | 0.01355 | 0.01619 | 0.001591 | 1 | -0.000002428 | 0.05597 | 0.03046 | 0.02687 | 0.1639 | 10.12 | 2.828 | 0.1889 | 0.3896 | 1 | 1 | 0.02169 | 0.09795 | 0.243 | 0.151 | 0.6819 | 1.692 | json |
| t17_x17_u1_b15 | 17 | 17 | 1 | 15 | ![]() |
sub(D,pow(R,log(R))) | 112032 | 138737250 | o2(x,o2(x,o1(x))) | true | 56263 | 56263 | -0.9999 | 0 | 0.9999 | 0.000006198 | 0.00249 | -1 | -0.8616 | 0.1384 | 1 | 0.007572 | 0.00000177 | 0.000004033 | 0.00009456 | -0.39 | 0 | -0.000002477 | 0.00001335 | 0.0001503 | 0.000005795 | 0.002407 | 25.46 | 0.1384 | 0.9361 | 2.154 | 1 | 1 | 0.000004662 | 0.000008803 | 0.000008363 | 0.7521 | 1.42 | 1.349 | json |
| t17_x17_u1_b16 | 17 | 17 | 1 | 16 | ![]() |
sub(D,mod(R,log(R))) | 112033 | 138737251 | o2(x,o2(x,o1(x))) | true | 56271 | 56271 | -0.9668 | 0.00264 | 0.967 | 0.0255 | 0.1597 | -1 | 0.1405 | 1.141 | 1 | 0.3958 | 0.002573 | 0.002552 | 0.007793 | 0.004053 | 1 | -0.000005077 | 0.0106 | 0.0132 | 0.005065 | 0.07117 | 9.132 | 1.354 | 0.201 | 0.4157 | 1 | 1 | 0.004007 | 0.01758 | 0.04257 | 0.1571 | 0.6893 | 1.67 | json |
| t17_x17_u1_b17 | 17 | 17 | 1 | 17 | ![]() |
sub(D,lrg(R,log(R))) | 112034 | 138737252 | o2(x,o2(x,o1(x))) | true | 56279 | 56279 | -0.9529 | 0 | 0.9529 | 0.003185 | 0.05644 | -1 | -0.8546 | 0.1454 | 1 | 1.329 | 0.0007092 | 0 | 0.01796 | 1 | 1 | -0.0001582 | 0.0003006 | 0.01323 | 0.0003863 | 0.01965 | 1.094 | 0.05567 | 0.2227 | 0.09439 | 1 | 1 | 0.001259 | 0.005463 | 0 | 0.3952 | 1.715 | 0 | json |
| t17_x17_u1_b18 | 17 | 17 | 1 | 18 | ![]() |
sub(D,eql(R,log(R))) | 112035 | 138737253 | o2(x,o2(x,o1(x))) | true | 56287 | 56287 | 0 | 0.5 | 0.09436 | 0.01082 | 0.104 | -0.1454 | 0.1454 | 0.2908 | 1 | 2.561 | 0.001632 | 0 | 0.0361 | 1 | 1 | 0 | 0.0002563 | 0.01459 | 0.0003304 | 0.01818 | 0.5036 | 0.06192 | 0.1508 | 0.02368 | 1 | 1 | 0.003151 | 0.02183 | 0 | 0.2912 | 2.017 | 0 | json |
| t17_x17_u1_b19 | 17 | 17 | 1 | 19 | ![]() |
sub(D,min(R,log(R))) | 112036 | 138737254 | o2(x,o2(x,o1(x))) | true | 56295 | 56295 | 0.573 | 0.9866 | 0.574 | 0.08967 | 0.2995 | -0.1261 | 1 | 1.126 | 1 | 3.859 | 0.002955 | 0.001421 | 0.05113 | 0.3504 | 1 | -0.0001057 | 0.001015 | 0.01832 | 0.001762 | 0.04197 | 0.8209 | 0.4085 | 0.0488 | 0.01131 | 1 | 1 | 0.007872 | 0.07359 | 0.1444 | 0.08779 | 0.8206 | 1.611 | json |
| t17_x17_u1_b20 | 17 | 17 | 1 | 20 | ![]() |
sub(D,dot(R,log(R))) | 112037 | 138737255 | o2(x,o2(x,o1(x))) | true | 56303 | 56303 | -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_x17_u1_b21 | 17 | 17 | 1 | 21 | ![]() |
sub(D,dst(R,log(R))) | 112038 | 138737256 | o2(x,o2(x,o1(x))) | true | 56311 | 56311 | -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_x17_u1_b22 | 17 | 17 | 1 | 22 | ![]() |
mlt(D,add(R,log(R))) | 112039 | 138737257 | o2(x,o2(x,o1(x))) | true | 56319 | 56319 | -0.9575 | 0.0228 | 0.9629 | 0.04174 | 0.2043 | -1 | 0.4913 | 1.491 | 1 | 0.4078 | 0.00429 | 0.004162 | 0.009763 | 0.01512 | 1 | 0.000004958 | 0.01752 | 0.01694 | 0.008355 | 0.09141 | 9.362 | 1.447 | 0.2025 | 0.4196 | 1 | 1 | 0.006446 | 0.02717 | 0.06521 | 0.1544 | 0.651 | 1.562 | json |
| t17_x17_u1_b23 | 17 | 17 | 1 | 23 | ![]() |
mlt(D,sub(R,log(R))) | 112040 | 138737258 | o2(x,o2(x,o1(x))) | true | 56327 | 56327 | -0.9569 | 0.02155 | 0.9627 | 0.04251 | 0.2062 | -1 | 0.4643 | 1.464 | 1 | 0.3987 | 0.004324 | 0.004328 | 0.01014 | -0.0004367 | 1 | -0.00001546 | 0.0179 | 0.01747 | 0.008545 | 0.09244 | 9.12 | 1.464 | 0.2035 | 0.4211 | 1 | 1 | 0.006702 | 0.02926 | 0.07312 | 0.1577 | 0.6883 | 1.72 | json |
| t17_x17_u1_b24 | 17 | 17 | 1 | 24 | ![]() |
mlt(D,mlt(R,log(R))) | 112041 | 138737259 | o2(x,o2(x,o1(x))) | true | 56335 | 56335 | -0.9571 | 0.02097 | 0.9583 | 0.04109 | 0.2027 | -1 | 0.08582 | 1.086 | 1 | 0.3174 | 0.004228 | 0.004158 | 0.008687 | 0.008434 | 1 | 0.000001829 | 0.01752 | 0.01683 | 0.008304 | 0.09113 | 10.49 | 1.43 | 0.2041 | 0.4263 | 1 | 1 | 0.006456 | 0.02773 | 0.0685 | 0.1571 | 0.6749 | 1.667 | json |
| t17_x17_u1_b25 | 17 | 17 | 1 | 25 | ![]() |
mlt(D,div(R,log(R))) | 112042 | 138737260 | o2(x,o2(x,o1(x))) | true | 56343 | 56343 | -0.9549 | 0.02319 | 0.9751 | 0.05881 | 0.2425 | -1 | 1 | 2 | 1 | 0.4129 | 0.005288 | 0.005092 | 0.01249 | 0.01892 | 1 | 0.00005619 | 0.01964 | 0.01814 | 0.01022 | 0.1011 | 8.093 | 2.002 | 0.1765 | 0.334 | 1 | 1 | 0.008073 | 0.04321 | 0.1107 | 0.1373 | 0.7347 | 1.883 | json |
| t17_x17_u1_b26 | 17 | 17 | 1 | 26 | ![]() |
mlt(D,pow(R,log(R))) | 112043 | 138737261 | o2(x,o2(x,o1(x))) | true | 56351 | 56351 | -0.9571 | 0.0213 | 0.9755 | 0.05527 | 0.2351 | -1 | 1 | 2 | 1 | 0.3841 | 0.005322 | 0.006478 | 0.01214 | -0.09796 | 1 | 0.00008694 | 0.02379 | 0.01951 | 0.01165 | 0.1079 | 8.889 | 2.133 | 0.2135 | 0.4304 | 1 | 1 | 0.009165 | 0.04075 | 0.09572 | 0.1658 | 0.7373 | 1.732 | json |
| t17_x17_u1_b27 | 17 | 17 | 1 | 27 | ![]() |
mlt(D,mod(R,log(R))) | 112044 | 138737262 | o2(x,o2(x,o1(x))) | true | 56359 | 56359 | -0.9569 | 0.02277 | 0.9585 | 0.04137 | 0.2034 | -1 | 0.09968 | 1.1 | 1 | 0.3298 | 0.004226 | 0.004016 | 0.008644 | 0.02541 | 1 | -5.856e-7 | 0.01722 | 0.01668 | 0.008161 | 0.09034 | 10.45 | 1.414 | 0.1992 | 0.4164 | 1 | 1 | 0.006251 | 0.0271 | 0.06972 | 0.1511 | 0.6551 | 1.685 | json |
| t17_x17_u1_b28 | 17 | 17 | 1 | 28 | ![]() |
mlt(D,lrg(R,log(R))) | 112045 | 138737263 | o2(x,o2(x,o1(x))) | true | 56367 | 56367 | 0 | 0.5 | 0.09436 | 0.01082 | 0.104 | -0.1454 | 0.1454 | 0.2908 | 1 | 2.561 | 0.001632 | 0 | 0.0361 | 1 | 1 | 0 | 0.0002563 | 0.01459 | 0.0003304 | 0.01818 | 0.5036 | 0.06192 | 0.1508 | 0.02368 | 1 | 1 | 0.003151 | 0.02183 | 0 | 0.2912 | 2.017 | 0 | json |
| t17_x17_u1_b29 | 17 | 17 | 1 | 29 | ![]() |
mlt(D,eql(R,log(R))) | 112046 | 138737264 | o2(x,o2(x,o1(x))) | true | 56375 | 56375 | 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_x17_u1_b30 | 17 | 17 | 1 | 30 | ![]() |
mlt(D,min(R,log(R))) | 112047 | 138737265 | o2(x,o2(x,o1(x))) | true | 56383 | 56383 | 0.0002906 | 0.4999 | 0.1037 | 0.02892 | 0.1701 | -1 | 1 | 2 | 1 | 3.153 | 0.001958 | 0.0003503 | 0.03415 | 0.6964 | 1 | -0.000001891 | 0.0003358 | 0.01166 | 0.001141 | 0.03379 | 0.9892 | 0.3592 | 0.0798 | 0.01161 | 1 | 1 | 0.004543 | 0.04439 | 0.05235 | 0.1571 | 1.535 | 1.81 | json |
| t17_x17_u1_b31 | 17 | 17 | 1 | 31 | ![]() |
mlt(D,dot(R,log(R))) | 112048 | 138737266 | o2(x,o2(x,o1(x))) | true | 56391 | 56391 | -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_x17_u1_b32 | 17 | 17 | 1 | 32 | ![]() |
mlt(D,dst(R,log(R))) | 112049 | 138737267 | o2(x,o2(x,o1(x))) | true | 56399 | 56399 | -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_x17_u1_b33 | 17 | 17 | 1 | 33 | ![]() |
div(D,add(R,log(R))) | 112050 | 138737268 | o2(x,o2(x,o1(x))) | true | 56407 | 56407 | -0.957 | 0.01997 | 0.9721 | 0.05048 | 0.2247 | -1 | 1 | 2 | 1 | 0.4403 | 0.004645 | 0.006095 | 0.01236 | -0.135 | 1 | -0.00003209 | 0.02141 | 0.01846 | 0.01059 | 0.1029 | 8.323 | 2.003 | 0.2128 | 0.424 | 1 | 1 | 0.008292 | 0.03635 | 0.07171 | 0.1643 | 0.7201 | 1.421 | json |
| t17_x17_u1_b34 | 17 | 17 | 1 | 34 | ![]() |
div(D,sub(R,log(R))) | 112051 | 138737269 | o2(x,o2(x,o1(x))) | true | 56415 | 56415 | -0.9571 | 0.02133 | 0.9606 | 0.04135 | 0.2033 | -1 | 0.1705 | 1.17 | 1 | 0.3647 | 0.004252 | 0.004098 | 0.009363 | 0.01845 | 1 | -0.000007372 | 0.01741 | 0.01704 | 0.008264 | 0.09091 | 9.709 | 1.383 | 0.2019 | 0.421 | 1 | 1 | 0.006364 | 0.02725 | 0.06838 | 0.1539 | 0.6591 | 1.654 | json |
| t17_x17_u1_b35 | 17 | 17 | 1 | 35 | ![]() |
div(D,mlt(R,log(R))) | 112052 | 138737270 | o2(x,o2(x,o1(x))) | true | 56423 | 56423 | -0.9553 | 0.02214 | 0.9798 | 0.06149 | 0.248 | -1 | 1 | 2 | 1 | 0.4132 | 0.006062 | 0.005072 | 0.01394 | 0.08889 | 1 | 0.00006096 | 0.02021 | 0.01895 | 0.01093 | 0.1046 | 7.498 | 2.018 | 0.1811 | 0.3286 | 1 | 1 | 0.009025 | 0.04735 | 0.1118 | 0.1468 | 0.77 | 1.819 | json |
| t17_x17_u1_b36 | 17 | 17 | 1 | 36 | ![]() |
div(D,div(R,log(R))) | 112053 | 138737271 | o2(x,o2(x,o1(x))) | true | 56431 | 56431 | -0.9574 | 0.02196 | 0.9733 | 0.05212 | 0.2283 | -1 | 1 | 2 | 1 | 0.4056 | 0.005104 | 0.004615 | 0.01161 | 0.05029 | 1 | 0.00001435 | 0.01877 | 0.01779 | 0.009577 | 0.09786 | 8.433 | 2.002 | 0.1865 | 0.3602 | 1 | 1 | 0.007007 | 0.02967 | 0.07425 | 0.1345 | 0.5693 | 1.425 | json |
| t17_x17_u1_b37 | 17 | 17 | 1 | 37 | ![]() |
div(D,pow(R,log(R))) | 112054 | 138737272 | o2(x,o2(x,o1(x))) | true | 56439 | 56439 | -0.9572 | 0.02061 | 0.9604 | 0.04126 | 0.2031 | -1 | 0.2172 | 1.217 | 1 | 0.3706 | 0.004243 | 0.004133 | 0.009263 | 0.01316 | 1 | -0.000004961 | 0.01747 | 0.01699 | 0.008293 | 0.09107 | 9.831 | 1.401 | 0.203 | 0.4235 | 1 | 1 | 0.006405 | 0.02731 | 0.06754 | 0.1553 | 0.662 | 1.637 | json |
| t17_x17_u1_b38 | 17 | 17 | 1 | 38 | ![]() |
div(D,mod(R,log(R))) | 112055 | 138737273 | o2(x,o2(x,o1(x))) | true | 56447 | 56447 | -0.9592 | 0.02045 | 0.9869 | 0.06327 | 0.2515 | -1 | 1 | 2 | 1 | 0.3236 | 0.006832 | 0.008416 | 0.01469 | -0.1039 | 1 | -0.00005863 | 0.02869 | 0.02253 | 0.01504 | 0.1227 | 8.348 | 2.02 | 0.241 | 0.4535 | 1 | 1 | 0.01361 | 0.0586 | 0.09047 | 0.2151 | 0.9261 | 1.43 | json |
| t17_x17_u1_b39 | 17 | 17 | 1 | 39 | ![]() |
div(D,lrg(R,log(R))) | 112056 | 138737274 | o2(x,o2(x,o1(x))) | true | 56455 | 56455 | 0 | 0.5 | 0.09436 | 0.01082 | 0.104 | -0.1454 | 0.1454 | 0.2908 | 1 | 2.561 | 0.001632 | 0 | 0.0361 | 1 | 1 | 0 | 0.0002563 | 0.01459 | 0.0003304 | 0.01818 | 0.5036 | 0.06192 | 0.1508 | 0.02368 | 1 | 1 | 0.003151 | 0.02183 | 0 | 0.2912 | 2.017 | 0 | json |
| t17_x17_u1_b40 | 17 | 17 | 1 | 40 | ![]() |
div(D,eql(R,log(R))) | 112057 | 138737275 | o2(x,o2(x,o1(x))) | true | 56463 | 56463 | -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_x17_u1_b41 | 17 | 17 | 1 | 41 | ![]() |
div(D,min(R,log(R))) | 112058 | 138737276 | o2(x,o2(x,o1(x))) | true | 56471 | 56471 | -0.0007303 | 0.4999 | 0.4417 | 0.3275 | 0.5722 | -1 | 1 | 2 | 1 | 4.524 | 0.03564 | 0.006196 | 0.1264 | 0.7038 | 1 | 0.0001083 | 0.03304 | 0.07329 | 0.02585 | 0.1608 | 1.272 | 2.042 | 0.1278 | 0.1009 | 1 | 1 | 0.0631 | 0.451 | 0.4494 | 0.1927 | 1.377 | 1.372 | json |
| t17_x17_u1_b42 | 17 | 17 | 1 | 42 | ![]() |
div(D,dot(R,log(R))) | 112059 | 138737277 | o2(x,o2(x,o1(x))) | true | 56479 | 56479 | -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_x17_u1_b43 | 17 | 17 | 1 | 43 | ![]() |
div(D,dst(R,log(R))) | 112060 | 138737278 | o2(x,o2(x,o1(x))) | true | 56487 | 56487 | -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_x17_u1_b44 | 17 | 17 | 1 | 44 | ![]() |
pow(D,add(R,log(R))) | 112061 | 138737279 | o2(x,o2(x,o1(x))) | true | 56495 | 56495 | -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_x17_u1_b45 | 17 | 17 | 1 | 45 | ![]() |
pow(D,sub(R,log(R))) | 112062 | 138737280 | o2(x,o2(x,o1(x))) | true | 56503 | 56503 | -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_x17_u1_b46 | 17 | 17 | 1 | 46 | ![]() |
pow(D,mlt(R,log(R))) | 112063 | 138737281 | o2(x,o2(x,o1(x))) | true | 56511 | 56511 | -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_x17_u1_b47 | 17 | 17 | 1 | 47 | ![]() |
pow(D,div(R,log(R))) | 112064 | 138737282 | o2(x,o2(x,o1(x))) | true | 56519 | 56519 | -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_x17_u1_b48 | 17 | 17 | 1 | 48 | ![]() |
pow(D,pow(R,log(R))) | 112065 | 138737283 | o2(x,o2(x,o1(x))) | true | 56527 | 56527 | -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_x17_u1_b49 | 17 | 17 | 1 | 49 | ![]() |
pow(D,mod(R,log(R))) | 112066 | 138737284 | o2(x,o2(x,o1(x))) | true | 56535 | 56535 | -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_x17_u1_b50 | 17 | 17 | 1 | 50 | ![]() |
pow(D,lrg(R,log(R))) | 112067 | 138737285 | o2(x,o2(x,o1(x))) | true | 56543 | 56543 | -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_x17_u1_b51 | 17 | 17 | 1 | 51 | ![]() |
pow(D,eql(R,log(R))) | 112068 | 138737286 | o2(x,o2(x,o1(x))) | true | 56551 | 56551 | 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_x17_u1_b52 | 17 | 17 | 1 | 52 | ![]() |
pow(D,min(R,log(R))) | 112069 | 138737287 | o2(x,o2(x,o1(x))) | true | 56559 | 56559 | -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_x17_u1_b53 | 17 | 17 | 1 | 53 | ![]() |
pow(D,dot(R,log(R))) | 112070 | 138737288 | o2(x,o2(x,o1(x))) | true | 56567 | 56567 | -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_x17_u1_b54 | 17 | 17 | 1 | 54 | ![]() |
pow(D,dst(R,log(R))) | 112071 | 138737289 | o2(x,o2(x,o1(x))) | true | 56575 | 56575 | -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_x17_u1_b55 | 17 | 17 | 1 | 55 | ![]() |
mod(D,add(R,log(R))) | 112072 | 138737290 | o2(x,o2(x,o1(x))) | true | 56583 | 56583 | -0.957 | 0.0224 | 0.9621 | 0.04195 | 0.2048 | -1 | 0.2634 | 1.263 | 1 | 0.3886 | 0.004406 | 0.004276 | 0.01029 | 0.015 | 1 | -0.00001485 | 0.01808 | 0.01837 | 0.008571 | 0.09258 | 9.001 | 1.37 | 0.2069 | 0.431 | 1 | 1 | 0.006682 | 0.02865 | 0.07035 | 0.1593 | 0.6828 | 1.677 | json |
| t17_x17_u1_b56 | 17 | 17 | 1 | 56 | ![]() |
mod(D,sub(R,log(R))) | 112073 | 138737291 | o2(x,o2(x,o1(x))) | true | 56591 | 56591 | -0.957 | 0.02148 | 0.9611 | 0.04159 | 0.2039 | -1 | 0.1454 | 1.145 | 1 | 0.3658 | 0.004268 | 0.004132 | 0.009566 | 0.01619 | 1 | -0.00001004 | 0.01749 | 0.01716 | 0.008309 | 0.09115 | 9.529 | 1.37 | 0.202 | 0.4205 | 1 | 1 | 0.006414 | 0.02763 | 0.06963 | 0.1542 | 0.6645 | 1.674 | json |
| t17_x17_u1_b57 | 17 | 17 | 1 | 57 | ![]() |
mod(D,mlt(R,log(R))) | 112074 | 138737292 | o2(x,o2(x,o1(x))) | true | 56599 | 56599 | -0.957 | 0.02177 | 0.9606 | 0.0417 | 0.2042 | -1 | 0.2655 | 1.265 | 1 | 0.3759 | 0.004447 | 0.004059 | 0.01038 | 0.04565 | 1 | -0.000008721 | 0.01788 | 0.01921 | 0.008405 | 0.09168 | 8.836 | 1.37 | 0.204 | 0.4287 | 1 | 1 | 0.006378 | 0.02738 | 0.0704 | 0.1529 | 0.6565 | 1.688 | json |
| t17_x17_u1_b58 | 17 | 17 | 1 | 58 | ![]() |
mod(D,div(R,log(R))) | 112075 | 138737293 | o2(x,o2(x,o1(x))) | true | 56607 | 56607 | -0.9572 | 0.02083 | 0.9618 | 0.04159 | 0.2039 | -1 | 0.2707 | 1.271 | 1 | 0.3872 | 0.004368 | 0.004102 | 0.009893 | 0.03137 | 1 | -0.00001373 | 0.01768 | 0.01799 | 0.00837 | 0.09149 | 9.247 | 1.37 | 0.2037 | 0.425 | 1 | 1 | 0.006436 | 0.02743 | 0.06834 | 0.1548 | 0.6595 | 1.643 | json |
| t17_x17_u1_b59 | 17 | 17 | 1 | 59 | ![]() |
mod(D,pow(R,log(R))) | 112076 | 138737294 | o2(x,o2(x,o1(x))) | true | 56615 | 56615 | -0.957 | 0.02148 | 0.9611 | 0.04159 | 0.2039 | -1 | 0.1454 | 1.145 | 1 | 0.3658 | 0.004268 | 0.004132 | 0.009566 | 0.01619 | 1 | -0.00001004 | 0.01749 | 0.01716 | 0.008309 | 0.09115 | 9.529 | 1.37 | 0.202 | 0.4205 | 1 | 1 | 0.006414 | 0.02763 | 0.06963 | 0.1542 | 0.6645 | 1.674 | json |
| t17_x17_u1_b60 | 17 | 17 | 1 | 60 | ![]() |
mod(D,mod(R,log(R))) | 112077 | 138737295 | o2(x,o2(x,o1(x))) | true | 56623 | 56623 | -0.9569 | 0.02286 | 0.9602 | 0.0418 | 0.2045 | -1 | 0.2656 | 1.266 | 1 | 0.3688 | 0.00441 | 0.004018 | 0.01005 | 0.04645 | 1 | -0.000001918 | 0.01766 | 0.01877 | 0.008324 | 0.09124 | 9.079 | 1.402 | 0.2016 | 0.4225 | 1 | 1 | 0.0063 | 0.02727 | 0.07047 | 0.1507 | 0.6523 | 1.686 | json |
| t17_x17_u1_b61 | 17 | 17 | 1 | 61 | ![]() |
mod(D,lrg(R,log(R))) | 112078 | 138737296 | o2(x,o2(x,o1(x))) | true | 56631 | 56631 | 0 | 0.5 | 0.09436 | 0.01082 | 0.104 | -0.1454 | 0.1454 | 0.2908 | 1 | 2.561 | 0.001632 | 0 | 0.0361 | 1 | 1 | 0 | 0.0002563 | 0.01459 | 0.0003304 | 0.01818 | 0.5036 | 0.06192 | 0.1508 | 0.02368 | 1 | 1 | 0.003151 | 0.02183 | 0 | 0.2912 | 2.017 | 0 | json |
| t17_x17_u1_b62 | 17 | 17 | 1 | 62 | ![]() |
mod(D,eql(R,log(R))) | 112079 | 138737297 | o2(x,o2(x,o1(x))) | true | 56639 | 56639 | -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_x17_u1_b63 | 17 | 17 | 1 | 63 | ![]() |
mod(D,min(R,log(R))) | 112080 | 138737298 | o2(x,o2(x,o1(x))) | true | 56647 | 56647 | -0.000272 | 0.4993 | 0.111 | 0.01738 | 0.1318 | -0.2722 | 0.2722 | 0.5444 | 1 | 3.082 | 0.004249 | 0.0001092 | 0.04907 | 0.9499 | 1 | 0.00002263 | 0.00631 | 0.04531 | 0.001951 | 0.04417 | 0.9001 | 0.4866 | 0.2508 | 0.363 | 1 | 1 | 0.005964 | 0.03197 | 0.01459 | 0.3431 | 1.84 | 0.8392 | json |
| t17_x17_u1_b64 | 17 | 17 | 1 | 64 | ![]() |
mod(D,dot(R,log(R))) | 112081 | 138737299 | o2(x,o2(x,o1(x))) | true | 56655 | 56655 | -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_x17_u1_b65 | 17 | 17 | 1 | 65 | ![]() |
mod(D,dst(R,log(R))) | 112082 | 138737300 | o2(x,o2(x,o1(x))) | true | 56663 | 56663 | -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_x17_u1_b66 | 17 | 17 | 1 | 66 | ![]() |
lrg(D,add(R,log(R))) | 112083 | 138737301 | o2(x,o2(x,o1(x))) | true | 56671 | 56671 | 0.7669 | 0.9977 | 0.7669 | 0.108 | 0.3286 | 0 | 1 | 1 | 1 | 2.678 | 0.007522 | 0.001616 | 0.04671 | 0.6464 | 1 | 0.0002161 | 0.01239 | 0.02941 | 0.006954 | 0.08339 | 1.785 | 0.9997 | 0.08463 | 0.1147 | 1 | 1 | 0.0126 | 0.09898 | 0.2249 | 0.1167 | 0.9167 | 2.083 | json |
| t17_x17_u1_b67 | 17 | 17 | 1 | 67 | ![]() |
lrg(D,sub(R,log(R))) | 112084 | 138737302 | o2(x,o2(x,o1(x))) | true | 56679 | 56679 | 0.5176 | 0.9429 | 0.5176 | 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_x17_u1_b68 | 17 | 17 | 1 | 68 | ![]() |
lrg(D,mlt(R,log(R))) | 112085 | 138737303 | o2(x,o2(x,o1(x))) | true | 56687 | 56687 | 0.8705 | 1 | 0.8705 | 0.05305 | 0.2303 | 0.000582 | 1 | 0.9994 | 1 | 2.111 | 0.01874 | 0.000678 | 0.05469 | 0.9302 | 1 | 0.0001282 | 0.03702 | 0.05749 | 0.01643 | 0.1282 | 2.344 | 0.9994 | 0.366 | 0.6979 | 1 | 1 | 0.0195 | 0.07358 | 0.08604 | 0.3676 | 1.387 | 1.622 | json |
| t17_x17_u1_b69 | 17 | 17 | 1 | 69 | ![]() |
lrg(D,div(R,log(R))) | 112086 | 138737304 | o2(x,o2(x,o1(x))) | true | 56695 | 56695 | 0.9414 | 1 | 0.9414 | 0.02855 | 0.169 | 0.000582 | 1 | 0.9994 | 1 | 1.167 | 0.007563 | 0.0003884 | 0.02391 | 0.9023 | 1 | 0.00003298 | 0.01491 | 0.02461 | 0.007381 | 0.08591 | 3.593 | 0.9994 | 0.2785 | 0.5222 | 1 | 1 | 0.006593 | 0.02819 | 0.04579 | 0.231 | 0.9873 | 1.604 | json |
| t17_x17_u1_b70 | 17 | 17 | 1 | 70 | ![]() |
lrg(D,pow(R,log(R))) | 112087 | 138737305 | o2(x,o2(x,o1(x))) | true | 56703 | 56703 | 0.5176 | 0.9429 | 0.5176 | 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_x17_u1_b71 | 17 | 17 | 1 | 71 | ![]() |
lrg(D,mod(R,log(R))) | 112088 | 138737306 | o2(x,o2(x,o1(x))) | true | 56711 | 56711 | 0.6697 | 0.9905 | 0.6697 | 0.1325 | 0.364 | 0 | 1 | 1 | 1 | 3.182 | 0.0207 | 0.001896 | 0.07176 | 0.8322 | 1 | -0.0002576 | 0.03835 | 0.06268 | 0.01744 | 0.1321 | 1.84 | 0.9997 | 0.1705 | 0.2894 | 1 | 1 | 0.0247 | 0.1409 | 0.225 | 0.1864 | 1.064 | 1.698 | json |
| t17_x17_u1_b72 | 17 | 17 | 1 | 72 | ![]() |
lrg(D,lrg(R,log(R))) | 112089 | 138737307 | o2(x,o2(x,o1(x))) | true | 56719 | 56719 | 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_x17_u1_b73 | 17 | 17 | 1 | 73 | ![]() |
lrg(D,eql(R,log(R))) | 112090 | 138737308 | o2(x,o2(x,o1(x))) | true | 56727 | 56727 | 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_x17_u1_b74 | 17 | 17 | 1 | 74 | ![]() |
lrg(D,min(R,log(R))) | 112091 | 138737309 | o2(x,o2(x,o1(x))) | true | 56735 | 56735 | 0.8567 | 1 | 0.8567 | 0.05657 | 0.2379 | 0.000582 | 1 | 0.9994 | 1 | 2.307 | 0.0201 | 0.0007128 | 0.06107 | 0.9315 | 1 | 0.0003688 | 0.03923 | 0.0659 | 0.01708 | 0.1307 | 2.14 | 0.9994 | 0.3679 | 0.6935 | 1 | 1 | 0.02174 | 0.07939 | 0.08536 | 0.3843 | 1.403 | 1.509 | json |
| t17_x17_u1_b75 | 17 | 17 | 1 | 75 | ![]() |
lrg(D,dot(R,log(R))) | 112092 | 138737310 | o2(x,o2(x,o1(x))) | true | 56743 | 56743 | 0.9981 | 1 | 0.9981 | 0.0002928 | 0.01711 | 0.5586 | 1 | 0.4414 | 1 | 0.0997 | 0.0002225 | 0.000004334 | 0.001775 | 0.9618 | 1 | 0.00000562 | 0.0005075 | 0.002409 | 0.0002236 | 0.01495 | 8.423 | 0.4414 | 0.7748 | 1.733 | 1 | 1 | 0.0001815 | 0.0003479 | 0.0004285 | 0.6198 | 1.188 | 1.464 | json |
| t17_x17_u1_b76 | 17 | 17 | 1 | 76 | ![]() |
lrg(D,dst(R,log(R))) | 112093 | 138737311 | o2(x,o2(x,o1(x))) | true | 56751 | 56751 | 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_x17_u1_b77 | 17 | 17 | 1 | 77 | ![]() |
eql(D,add(R,log(R))) | 112094 | 138737312 | o2(x,o2(x,o1(x))) | true | 56759 | 56759 | 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_x17_u1_b78 | 17 | 17 | 1 | 78 | ![]() |
eql(D,sub(R,log(R))) | 112095 | 138737313 | o2(x,o2(x,o1(x))) | true | 56767 | 56767 | 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_x17_u1_b79 | 17 | 17 | 1 | 79 | ![]() |
eql(D,mlt(R,log(R))) | 112096 | 138737314 | o2(x,o2(x,o1(x))) | true | 56775 | 56775 | 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_x17_u1_b80 | 17 | 17 | 1 | 80 | ![]() |
eql(D,div(R,log(R))) | 112097 | 138737315 | o2(x,o2(x,o1(x))) | true | 56783 | 56783 | 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_x17_u1_b81 | 17 | 17 | 1 | 81 | ![]() |
eql(D,pow(R,log(R))) | 112098 | 138737316 | o2(x,o2(x,o1(x))) | true | 56791 | 56791 | 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_x17_u1_b82 | 17 | 17 | 1 | 82 | ![]() |
eql(D,mod(R,log(R))) | 112099 | 138737317 | o2(x,o2(x,o1(x))) | true | 56799 | 56799 | 0.000122 | 0.0002441 | 0.000122 | 0.00009556 | 0.009776 | 0 | 0.9994 | 0.9994 | 1 | 0.003387 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |



































































































