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_x9_u1_b59 | 17 | 9 | 1 | 59 | ![]() |
mod(D,pow(P,log(P))) | 105300 | 138414086 | o2(x,o2(x,o1(x))) | true | 2407 | 2407 | -0.5625 | 0.2188 | 0.6038 | 0.2508 | 0.5008 | -1 | 0.1454 | 1.145 | 1 | 2.109 | 0.004924 | 0 | 0.01978 | 1 | 1 | 0.0001582 | 0.008104 | 0.01431 | 0.004534 | 0.06734 | 3.404 | 1.031 | 0.01964 | 0.03231 | 1 | 1 | 0.007206 | 0.03435 | 0.08512 | 0.02873 | 0.137 | 0.3394 | json |
| t17_x9_u1_b60 | 17 | 9 | 1 | 60 | ![]() |
mod(D,mod(P,log(P))) | 105301 | 138414087 | o2(x,o2(x,o1(x))) | true | 2415 | 2415 | -0.6261 | 0.1953 | 0.6679 | 0.2396 | 0.4895 | -1 | 0.2546 | 1.255 | 1 | 2.107 | 0.005477 | 0 | 0.02142 | 1 | 1 | 0.0001582 | 0.009404 | 0.02091 | 0.005017 | 0.07083 | 3.306 | 1.031 | 0.02286 | 0.03925 | 1 | 1 | 0.007581 | 0.03557 | 0.08751 | 0.03164 | 0.1485 | 0.3652 | json |
| t17_x9_u1_b61 | 17 | 9 | 1 | 61 | ![]() |
mod(D,lrg(P,log(P))) | 105302 | 138414088 | o2(x,o2(x,o1(x))) | true | 2423 | 2423 | 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_x9_u1_b62 | 17 | 9 | 1 | 62 | ![]() |
mod(D,eql(P,log(P))) | 105303 | 138414089 | o2(x,o2(x,o1(x))) | true | 2431 | 2431 | -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_x9_u1_b63 | 17 | 9 | 1 | 63 | ![]() |
mod(D,min(P,log(P))) | 105304 | 138414090 | o2(x,o2(x,o1(x))) | true | 2439 | 2439 | -0.1882 | 0.4063 | 0.2649 | 0.1611 | 0.4014 | -1 | 0.1454 | 1.145 | 1 | 2.822 | 0.009325 | 0 | 0.0376 | 1 | 1 | 4.734e-10 | 0.01621 | 0.02827 | 0.007909 | 0.08893 | 2.365 | 1.031 | 0.05788 | 0.1006 | 1 | 1 | 0.01297 | 0.0586 | 0.1695 | 0.08052 | 0.3637 | 1.052 | json |
| t17_x9_u1_b64 | 17 | 9 | 1 | 64 | ![]() |
mod(D,dot(P,log(P))) | 105305 | 138414091 | o2(x,o2(x,o1(x))) | true | 2447 | 2447 | -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_x9_u1_b65 | 17 | 9 | 1 | 65 | ![]() |
mod(D,dst(P,log(P))) | 105306 | 138414092 | o2(x,o2(x,o1(x))) | true | 2455 | 2455 | -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_x9_u1_b66 | 17 | 9 | 1 | 66 | ![]() |
lrg(D,add(P,log(P))) | 105307 | 138414093 | o2(x,o2(x,o1(x))) | true | 2463 | 2463 | 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_x9_u1_b67 | 17 | 9 | 1 | 67 | ![]() |
lrg(D,sub(P,log(P))) | 105308 | 138414094 | o2(x,o2(x,o1(x))) | true | 2471 | 2471 | 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_x9_u1_b68 | 17 | 9 | 1 | 68 | ![]() |
lrg(D,mlt(P,log(P))) | 105309 | 138414095 | o2(x,o2(x,o1(x))) | true | 2479 | 2479 | 0.5625 | 0.625 | 0.5625 | 0.2326 | 0.4823 | 0 | 1 | 1 | 1 | 1.565 | 0.00467 | 0 | 0.0119 | 1 | 1 | -4.731e-10 | 0.008068 | 0.009787 | 0.004528 | 0.06729 | 5.654 | 0.9994 | 0.02008 | 0.03469 | 1 | 1 | 0.007036 | 0.03244 | 0.06598 | 0.03025 | 0.1395 | 0.2837 | json |
| t17_x9_u1_b69 | 17 | 9 | 1 | 69 | ![]() |
lrg(D,div(P,log(P))) | 105310 | 138414096 | o2(x,o2(x,o1(x))) | true | 2487 | 2487 | 0.5 | 0.5625 | 0.5 | 0.2365 | 0.4863 | 0 | 1 | 1 | 1 | 1.577 | 0.00467 | 0 | 0.0119 | 1 | 1 | -4.731e-10 | 0.008068 | 0.009787 | 0.004528 | 0.06729 | 5.654 | 0.9994 | 0.01975 | 0.03412 | 1 | 1 | 0.007036 | 0.03244 | 0.06598 | 0.02976 | 0.1372 | 0.279 | json |
| t17_x9_u1_b70 | 17 | 9 | 1 | 70 | ![]() |
lrg(D,pow(P,log(P))) | 105311 | 138414097 | o2(x,o2(x,o1(x))) | true | 2495 | 2495 | 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_x9_u1_b71 | 17 | 9 | 1 | 71 | ![]() |
lrg(D,mod(P,log(P))) | 105312 | 138414098 | o2(x,o2(x,o1(x))) | true | 2503 | 2503 | 0.6173 | 0.7344 | 0.6173 | 0.2196 | 0.4686 | 0 | 1 | 1 | 1 | 1.65 | 0.004626 | 0 | 0.01514 | 1 | 1 | -2.365e-10 | 0.008548 | 0.01458 | 0.004398 | 0.06632 | 4.38 | 0.9267 | 0.02107 | 0.03893 | 1 | 1 | 0.006311 | 0.02898 | 0.09079 | 0.02874 | 0.132 | 0.4135 | json |
| t17_x9_u1_b72 | 17 | 9 | 1 | 72 | ![]() |
lrg(D,lrg(P,log(P))) | 105313 | 138414099 | o2(x,o2(x,o1(x))) | true | 2511 | 2511 | 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_x9_u1_b73 | 17 | 9 | 1 | 73 | ![]() |
lrg(D,eql(P,log(P))) | 105314 | 138414100 | o2(x,o2(x,o1(x))) | true | 2519 | 2519 | 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_x9_u1_b74 | 17 | 9 | 1 | 74 | ![]() |
lrg(D,min(P,log(P))) | 105315 | 138414101 | o2(x,o2(x,o1(x))) | true | 2527 | 2527 | 0.5635 | 0.6445 | 0.5635 | 0.2315 | 0.4812 | 0 | 1 | 1 | 1 | 1.606 | 0.004773 | 0 | 0.01301 | 1 | 1 | -4.731e-10 | 0.008316 | 0.01141 | 0.004605 | 0.06786 | 5.218 | 0.9994 | 0.02062 | 0.03592 | 1 | 1 | 0.007147 | 0.03257 | 0.06598 | 0.03087 | 0.1407 | 0.285 | json |
| t17_x9_u1_b75 | 17 | 9 | 1 | 75 | ![]() |
lrg(D,dot(P,log(P))) | 105316 | 138414102 | o2(x,o2(x,o1(x))) | true | 2535 | 2535 | 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_x9_u1_b76 | 17 | 9 | 1 | 76 | ![]() |
lrg(D,dst(P,log(P))) | 105317 | 138414103 | o2(x,o2(x,o1(x))) | true | 2543 | 2543 | 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_x9_u1_b77 | 17 | 9 | 1 | 77 | ![]() |
eql(D,add(P,log(P))) | 105318 | 138414104 | o2(x,o2(x,o1(x))) | true | 2551 | 2551 | 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_x9_u1_b78 | 17 | 9 | 1 | 78 | ![]() |
eql(D,sub(P,log(P))) | 105319 | 138414105 | o2(x,o2(x,o1(x))) | true | 2559 | 2559 | 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_x9_u1_b79 | 17 | 9 | 1 | 79 | ![]() |
eql(D,mlt(P,log(P))) | 105320 | 138414106 | o2(x,o2(x,o1(x))) | true | 2567 | 2567 | 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_x9_u1_b80 | 17 | 9 | 1 | 80 | ![]() |
eql(D,div(P,log(P))) | 105321 | 138414107 | o2(x,o2(x,o1(x))) | true | 2575 | 2575 | 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_x9_u1_b81 | 17 | 9 | 1 | 81 | ![]() |
eql(D,pow(P,log(P))) | 105322 | 138414108 | o2(x,o2(x,o1(x))) | true | 2583 | 2583 | 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_x9_u1_b82 | 17 | 9 | 1 | 82 | ![]() |
eql(D,mod(P,log(P))) | 105323 | 138414109 | o2(x,o2(x,o1(x))) | true | 2591 | 2591 | 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_x9_u1_b83 | 17 | 9 | 1 | 83 | ![]() |
eql(D,lrg(P,log(P))) | 105324 | 138414110 | o2(x,o2(x,o1(x))) | true | 2599 | 2599 | 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_x9_u1_b84 | 17 | 9 | 1 | 84 | ![]() |
eql(D,eql(P,log(P))) | 105325 | 138414111 | o2(x,o2(x,o1(x))) | true | 2607 | 2607 | 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_x9_u1_b85 | 17 | 9 | 1 | 85 | ![]() |
eql(D,min(P,log(P))) | 105326 | 138414112 | o2(x,o2(x,o1(x))) | true | 2615 | 2615 | 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_x9_u1_b86 | 17 | 9 | 1 | 86 | ![]() |
eql(D,dot(P,log(P))) | 105327 | 138414113 | o2(x,o2(x,o1(x))) | true | 2623 | 2623 | 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_x9_u1_b87 | 17 | 9 | 1 | 87 | ![]() |
eql(D,dst(P,log(P))) | 105328 | 138414114 | o2(x,o2(x,o1(x))) | true | 2631 | 2631 | 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_x9_u1_b88 | 17 | 9 | 1 | 88 | ![]() |
min(D,add(P,log(P))) | 105329 | 138414115 | o2(x,o2(x,o1(x))) | true | 2639 | 2639 | -0.125 | 0.4375 | 0.2076 | 0.1189 | 0.3448 | -1 | 0.1454 | 1.145 | 1 | 2.785 | 0.009352 | 0 | 0.03917 | 1 | 1 | 9.386e-13 | 0.01611 | 0.02856 | 0.007817 | 0.08842 | 2.257 | 1.031 | 0.07868 | 0.1355 | 1 | 1 | 0.01311 | 0.05985 | 0.1702 | 0.1103 | 0.5035 | 1.432 | json |
| t17_x9_u1_b89 | 17 | 9 | 1 | 89 | ![]() |
min(D,sub(P,log(P))) | 105330 | 138414116 | o2(x,o2(x,o1(x))) | true | 2647 | 2647 | 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_x9_u1_b90 | 17 | 9 | 1 | 90 | ![]() |
min(D,mlt(P,log(P))) | 105331 | 138414117 | o2(x,o2(x,o1(x))) | true | 2655 | 2655 | -0.008939 | 0.4688 | 0.0974 | 0.01192 | 0.1092 | -0.2729 | 0.1454 | 0.4183 | 1 | 2.704 | 0.00162 | 0 | 0.03595 | 1 | 1 | -1.774e-10 | 0.0002558 | 0.01449 | 0.000328 | 0.01811 | 0.5038 | 0.0622 | 0.1359 | 0.02146 | 1 | 1 | 0.003117 | 0.02204 | 0.0025 | 0.2615 | 1.848 | 0.2097 | json |
| t17_x9_u1_b91 | 17 | 9 | 1 | 91 | ![]() |
min(D,div(P,log(P))) | 105332 | 138414118 | o2(x,o2(x,o1(x))) | true | 2663 | 2663 | -0.008939 | 0.4688 | 0.0974 | 0.01192 | 0.1092 | -0.2729 | 0.1454 | 0.4183 | 1 | 2.704 | 0.00162 | 0 | 0.03595 | 1 | 1 | -1.774e-10 | 0.0002558 | 0.01449 | 0.000328 | 0.01811 | 0.5038 | 0.0622 | 0.1359 | 0.02146 | 1 | 1 | 0.003117 | 0.02204 | 0.0025 | 0.2615 | 1.848 | 0.2097 | json |
| t17_x9_u1_b92 | 17 | 9 | 1 | 92 | ![]() |
min(D,pow(P,log(P))) | 105333 | 138414119 | o2(x,o2(x,o1(x))) | true | 2671 | 2671 | 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_x9_u1_b93 | 17 | 9 | 1 | 93 | ![]() |
min(D,mod(P,log(P))) | 105334 | 138414120 | o2(x,o2(x,o1(x))) | true | 2679 | 2679 | -0.004826 | 0.4883 | 0.09637 | 0.01143 | 0.1069 | -0.2275 | 0.1454 | 0.3729 | 1 | 2.639 | 0.001687 | 0 | 0.03678 | 1 | 1 | -5.618e-10 | 0.0002727 | 0.01468 | 0.0003349 | 0.0183 | 0.4975 | 0.06455 | 0.1476 | 0.02385 | 1 | 1 | 0.003268 | 0.02258 | 0.0007692 | 0.2858 | 1.975 | 0.06728 | json |
| t17_x9_u1_b94 | 17 | 9 | 1 | 94 | ![]() |
min(D,lrg(P,log(P))) | 105335 | 138414121 | o2(x,o2(x,o1(x))) | true | 2687 | 2687 | 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_x9_u1_b95 | 17 | 9 | 1 | 95 | ![]() |
min(D,eql(P,log(P))) | 105336 | 138414122 | o2(x,o2(x,o1(x))) | true | 2695 | 2695 | -0.143 | 0 | 0.143 | 0.009237 | 0.09611 | -0.2729 | -0.000282 | 0.2726 | 1 | 2.227 | 0.001451 | 0 | 0.03416 | 1 | 1 | 0.0003063 | 0.0002653 | 0.01361 | 0.0002853 | 0.01689 | 0.4945 | 0.06184 | 0.1571 | 0.02873 | 1 | 1 | 0.002788 | 0.01827 | 0 | 0.3018 | 1.978 | 0 | json |
| t17_x9_u1_b96 | 17 | 9 | 1 | 96 | ![]() |
min(D,min(P,log(P))) | 105337 | 138414123 | o2(x,o2(x,o1(x))) | true | 2703 | 2703 | -0.5715 | 0.1875 | 0.6069 | 0.2418 | 0.4917 | -1 | 0.1454 | 1.145 | 1 | 2.216 | 0.004674 | 0 | 0.01969 | 1 | 1 | 0.0001582 | 0.008085 | 0.01401 | 0.004286 | 0.06547 | 3.325 | 0.9997 | 0.01933 | 0.03344 | 1 | 1 | 0.006554 | 0.02741 | 0.07505 | 0.0271 | 0.1133 | 0.3104 | json |
| t17_x9_u1_b97 | 17 | 9 | 1 | 97 | ![]() |
min(D,dot(P,log(P))) | 105338 | 138414124 | o2(x,o2(x,o1(x))) | true | 2711 | 2711 | 0 | 0.5 | 0.09436 | 0.01082 | 0.104 | -0.1454 | 0.1454 | 0.2908 | 1 | 2.561 | 0.001632 | 0 | 0.03609 | 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 | 5.236e-15 | 0.2912 | 2.017 | 4.838e-13 | json |
| t17_x9_u1_b98 | 17 | 9 | 1 | 98 | ![]() |
min(D,dst(P,log(P))) | 105339 | 138414125 | o2(x,o2(x,o1(x))) | true | 2719 | 2719 | 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_x9_u1_b99 | 17 | 9 | 1 | 99 | ![]() |
dot(D,add(P,log(P))) | 105340 | 138414126 | o2(x,o2(x,o1(x))) | true | 2727 | 2727 | -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_x9_u1_b100 | 17 | 9 | 1 | 100 | ![]() |
dot(D,sub(P,log(P))) | 105341 | 138414127 | o2(x,o2(x,o1(x))) | true | 2735 | 2735 | -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_x9_u1_b101 | 17 | 9 | 1 | 101 | ![]() |
dot(D,mlt(P,log(P))) | 105342 | 138414128 | o2(x,o2(x,o1(x))) | true | 2743 | 2743 | -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_x9_u1_b102 | 17 | 9 | 1 | 102 | ![]() |
dot(D,div(P,log(P))) | 105343 | 138414129 | o2(x,o2(x,o1(x))) | true | 2751 | 2751 | -0.8658 | 0.06342 | 0.9135 | 0.1412 | 0.3757 | -1 | 1 | 2 | 1 | 1.242 | 0.00412 | 0.00412 | 0.02698 | 0.000006895 | 1 | 0.0004618 | 0.007375 | 0.01388 | 0.007514 | 0.08668 | 3.213 | 1.598 | 0.05836 | 0.05224 | 1 | 1 | 0.01107 | 0.06708 | 0.06472 | 0.07844 | 0.4752 | 0.4584 | json |
| t17_x9_u1_b103 | 17 | 9 | 1 | 103 | ![]() |
dot(D,pow(P,log(P))) | 105344 | 138414130 | o2(x,o2(x,o1(x))) | true | 2759 | 2759 | -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_x9_u1_b104 | 17 | 9 | 1 | 104 | ![]() |
dot(D,mod(P,log(P))) | 105345 | 138414131 | o2(x,o2(x,o1(x))) | true | 2767 | 2767 | -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_x9_u1_b105 | 17 | 9 | 1 | 105 | ![]() |
dot(D,lrg(P,log(P))) | 105346 | 138414132 | o2(x,o2(x,o1(x))) | true | 2775 | 2775 | -3.658e-9 | 0.4688 | 0.1187 | 0.02164 | 0.1471 | -0.2908 | 0.2908 | 0.5817 | 1 | 3.165 | 0.001632 | 0.001632 | 0.05456 | 1.783e-7 | 1 | -9.255e-10 | 0.0005126 | 0.01826 | 0.0002881 | 0.01697 | 0.3111 | 0.08757 | 0.1508 | 0.02368 | 1 | 1 | 0.006301 | 0.04366 | 0 | 0.2911 | 2.017 | 0 | json |
| t17_x9_u1_b106 | 17 | 9 | 1 | 106 | ![]() |
dot(D,eql(P,log(P))) | 105347 | 138414133 | o2(x,o2(x,o1(x))) | true | 2783 | 2783 | 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_x9_u1_b107 | 17 | 9 | 1 | 107 | ![]() |
dot(D,min(P,log(P))) | 105348 | 138414134 | o2(x,o2(x,o1(x))) | true | 2791 | 2791 | -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_x9_u1_b108 | 17 | 9 | 1 | 108 | ![]() |
dot(D,dot(P,log(P))) | 105349 | 138414135 | o2(x,o2(x,o1(x))) | true | 2799 | 2799 | -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_x9_u1_b109 | 17 | 9 | 1 | 109 | ![]() |
dot(D,dst(P,log(P))) | 105350 | 138414136 | o2(x,o2(x,o1(x))) | true | 2807 | 2807 | -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_x9_u1_b110 | 17 | 9 | 1 | 110 | ![]() |
dst(D,add(P,log(P))) | 105351 | 138414137 | o2(x,o2(x,o1(x))) | true | 2815 | 2815 | -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_x9_u1_b111 | 17 | 9 | 1 | 111 | ![]() |
dst(D,sub(P,log(P))) | 105352 | 138414138 | o2(x,o2(x,o1(x))) | true | 2823 | 2823 | -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_x9_u1_b112 | 17 | 9 | 1 | 112 | ![]() |
dst(D,mlt(P,log(P))) | 105353 | 138414139 | o2(x,o2(x,o1(x))) | true | 2831 | 2831 | -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_x9_u1_b113 | 17 | 9 | 1 | 113 | ![]() |
dst(D,div(P,log(P))) | 105354 | 138414140 | o2(x,o2(x,o1(x))) | true | 2839 | 2839 | -0.7188 | 0.1406 | 1 | 0.4832 | 0.6951 | -1 | 1 | 2 | 1 | 0.5859 | 0.005921 | 0.005921 | 0.005921 | 0 | 1 | 0 | 0.02381 | 0.01184 | 0.01181 | 0.1087 | 18.36 | 2 | 0.02451 | 0.04927 | 1 | 1 | 0.01396 | 0.05584 | 0.2234 | 0.02889 | 0.1156 | 0.4623 | json |
| t17_x9_u1_b114 | 17 | 9 | 1 | 114 | ![]() |
dst(D,pow(P,log(P))) | 105355 | 138414141 | o2(x,o2(x,o1(x))) | true | 2847 | 2847 | -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_x9_u1_b115 | 17 | 9 | 1 | 115 | ![]() |
dst(D,mod(P,log(P))) | 105356 | 138414142 | o2(x,o2(x,o1(x))) | true | 2855 | 2855 | -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_x9_u1_b116 | 17 | 9 | 1 | 116 | ![]() |
dst(D,lrg(P,log(P))) | 105357 | 138414143 | o2(x,o2(x,o1(x))) | true | 2863 | 2863 | 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_x9_u1_b117 | 17 | 9 | 1 | 117 | ![]() |
dst(D,eql(P,log(P))) | 105358 | 138414144 | o2(x,o2(x,o1(x))) | true | 2871 | 2871 | 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_x9_u1_b118 | 17 | 9 | 1 | 118 | ![]() |
dst(D,min(P,log(P))) | 105359 | 138414145 | o2(x,o2(x,o1(x))) | true | 2879 | 2879 | -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_x9_u1_b119 | 17 | 9 | 1 | 119 | ![]() |
dst(D,dot(P,log(P))) | 105360 | 138414146 | o2(x,o2(x,o1(x))) | true | 2887 | 2887 | -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_x9_u1_b120 | 17 | 9 | 1 | 120 | ![]() |
dst(D,dst(P,log(P))) | 105361 | 138414147 | o2(x,o2(x,o1(x))) | true | 2895 | 2895 | -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_x9_u2_b0 | 17 | 9 | 2 | 0 | ![]() |
add(D,add(P,frc(P))) | 105362 | 138414228 | o2(x,o2(x,o1(x))) | true | 2903 | 2903 | 0 | 0.5 | 0.9375 | 0.9165 | 0.9574 | -1 | 1 | 2 | 1 | 1.979 | 0.0004883 | 0 | 0.007937 | 1 | 1 | 0 | 0.0000155 | 0.000496 | 0.0004253 | 0.02062 | 2.598 | 0.0625 | 0.0005327 | 0.00001691 | 1 | 1 | 0.001285 | 0.01928 | 0.2245 | 0.001402 | 0.02104 | 0.245 | json |
| t17_x9_u2_b1 | 17 | 9 | 2 | 1 | ![]() |
add(D,sub(P,frc(P))) | 105363 | 138414229 | o2(x,o2(x,o1(x))) | true | 2911 | 2911 | 0 | 0.5 | 0.9375 | 0.9165 | 0.9574 | -1 | 1 | 2 | 1 | 1.979 | 0.0004883 | 0 | 0.007937 | 1 | 1 | 0 | 0.0000155 | 0.000496 | 0.0004253 | 0.02062 | 2.598 | 0.0625 | 0.0005327 | 0.00001691 | 1 | 1 | 0.001285 | 0.01928 | 0.2245 | 0.001402 | 0.02104 | 0.245 | json |
| t17_x9_u2_b2 | 17 | 9 | 2 | 2 | ![]() |
add(D,mlt(P,frc(P))) | 105364 | 138414230 | o2(x,o2(x,o1(x))) | true | 2919 | 2919 | 0 | 0.5 | 0.09436 | 0.01082 | 0.104 | -0.1454 | 0.1454 | 0.2908 | 1 | 2.561 | 0.001632 | 0 | 0.03609 | 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 | 5.236e-15 | 0.2912 | 2.017 | 4.838e-13 | json |
| t17_x9_u2_b3 | 17 | 9 | 2 | 3 | ![]() |
add(D,div(P,frc(P))) | 105365 | 138414231 | o2(x,o2(x,o1(x))) | true | 2927 | 2927 | -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_x9_u2_b4 | 17 | 9 | 2 | 4 | ![]() |
add(D,pow(P,frc(P))) | 105366 | 138414232 | o2(x,o2(x,o1(x))) | true | 2935 | 2935 | 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 | 2.693e-15 | 0.4081 | 1.715 | 8.454e-13 | json |
| t17_x9_u2_b5 | 17 | 9 | 2 | 5 | ![]() |
add(D,mod(P,frc(P))) | 105367 | 138414233 | o2(x,o2(x,o1(x))) | true | 2943 | 2943 | 0 | 0.5 | 0.9375 | 0.9165 | 0.9574 | -1 | 1 | 2 | 1 | 1.979 | 0.0004883 | 0 | 0.007937 | 1 | 1 | 0 | 0.0000155 | 0.000496 | 0.0004253 | 0.02062 | 2.598 | 0.0625 | 0.0005327 | 0.00001691 | 1 | 1 | 0.001285 | 0.01928 | 0.2245 | 0.001402 | 0.02104 | 0.245 | json |
| t17_x9_u2_b6 | 17 | 9 | 2 | 6 | ![]() |
add(D,lrg(P,frc(P))) | 105368 | 138414234 | o2(x,o2(x,o1(x))) | true | 2951 | 2951 | 0.4481 | 0.75 | 0.4953 | 0.224 | 0.4733 | -0.1454 | 1 | 1.145 | 1 | 3.24 | 0.001361 | 0 | 0.02967 | 1 | 1 | -4.731e-10 | 0.0002634 | 0.01318 | 0.000481 | 0.02193 | 0.7392 | 0.0625 | 0.006076 | 0.001176 | 1 | 1 | 0.002728 | 0.02228 | 0.06813 | 0.01218 | 0.09944 | 0.3041 | json |
| t17_x9_u2_b7 | 17 | 9 | 2 | 7 | ![]() |
add(D,eql(P,frc(P))) | 105369 | 138414235 | o2(x,o2(x,o1(x))) | true | 2959 | 2959 | 0.0614 | 0.543 | 0.1462 | 0.05374 | 0.2318 | -0.1454 | 1 | 1.145 | 1 | 3.075 | 0.002292 | 0 | 0.04018 | 1 | 1 | 9.461e-10 | 0.0003168 | 0.0146 | 0.0006788 | 0.02605 | 0.6483 | 0.1713 | 0.04265 | 0.005895 | 1 | 1 | 0.004861 | 0.04401 | 0.06323 | 0.09045 | 0.819 | 1.176 | json |
| t17_x9_u2_b8 | 17 | 9 | 2 | 8 | ![]() |
add(D,min(P,frc(P))) | 105370 | 138414236 | o2(x,o2(x,o1(x))) | true | 2967 | 2967 | -0.4688 | 0.25 | 0.516 | 0.244 | 0.494 | -1 | 0.1454 | 1.145 | 1 | 2.701 | 0.001064 | 0 | 0.02209 | 1 | 1 | 0.0001582 | 0.0001359 | 0.007549 | 0.0005757 | 0.02399 | 1.086 | 0.0625 | 0.004358 | 0.000557 | 1 | 1 | 0.002248 | 0.02091 | 0.07308 | 0.009213 | 0.0857 | 0.2995 | json |
| t17_x9_u2_b9 | 17 | 9 | 2 | 9 | ![]() |
add(D,dot(P,frc(P))) | 105371 | 138414237 | o2(x,o2(x,o1(x))) | true | 2975 | 2975 | 0 | 0.5 | 0.09436 | 0.01082 | 0.104 | -0.1454 | 0.1454 | 0.2908 | 1 | 2.561 | 0.001632 | 0 | 0.03609 | 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 | 5.236e-15 | 0.2912 | 2.017 | 4.838e-13 | json |
| t17_x9_u2_b10 | 17 | 9 | 2 | 10 | ![]() |
add(D,dst(P,frc(P))) | 105372 | 138414238 | o2(x,o2(x,o1(x))) | true | 2983 | 2983 | 0.9962 | 0.9995 | 0.9963 | 0.002389 | 0.04887 | -0.09643 | 1 | 1.096 | 1 | 0.1035 | 0.00005512 | 0.00003969 | 0.0009345 | 0.1627 | 0 | -1.014e-10 | 0.00001899 | 0.0003543 | 0.00009398 | 0.009694 | 10.37 | 0.172 | 0.03969 | 0.00795 | 1 | 1 | 0.0003206 | 0.00351 | 0.008707 | 0.1342 | 1.469 | 3.645 | json |
| t17_x9_u2_b11 | 17 | 9 | 2 | 11 | ![]() |
sub(D,add(P,frc(P))) | 105373 | 138414239 | o2(x,o2(x,o1(x))) | true | 2991 | 2991 | 0 | 0.5 | 0.9375 | 0.9252 | 0.9619 | -1 | 1 | 2 | 1 | 1.774 | 0.001323 | 0 | 0.01101 | 1 | 1 | 0 | 0.0002527 | 0.005079 | 0.001202 | 0.03468 | 3.15 | 0.1713 | 0.00143 | 0.0002731 | 1 | 1 | 0.003342 | 0.0331 | 0.2361 | 0.003612 | 0.03578 | 0.2552 | json |
| t17_x9_u2_b12 | 17 | 9 | 2 | 12 | ![]() |
sub(D,sub(P,frc(P))) | 105374 | 138414240 | o2(x,o2(x,o1(x))) | true | 2999 | 2999 | 0 | 0.5 | 0.9375 | 0.9252 | 0.9619 | -1 | 1 | 2 | 1 | 1.774 | 0.001323 | 0 | 0.01101 | 1 | 1 | 0 | 0.0002527 | 0.005079 | 0.001202 | 0.03468 | 3.15 | 0.1713 | 0.00143 | 0.0002731 | 1 | 1 | 0.003342 | 0.0331 | 0.2361 | 0.003612 | 0.03578 | 0.2552 | json |
| t17_x9_u2_b13 | 17 | 9 | 2 | 13 | ![]() |
sub(D,mlt(P,frc(P))) | 105375 | 138414241 | o2(x,o2(x,o1(x))) | true | 3007 | 3007 | 0 | 0.5 | 0.09436 | 0.01082 | 0.104 | -0.1454 | 0.1454 | 0.2908 | 1 | 2.561 | 0.001632 | 0 | 0.03609 | 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 | 5.236e-15 | 0.2912 | 2.017 | 4.838e-13 | json |
| t17_x9_u2_b14 | 17 | 9 | 2 | 14 | ![]() |
sub(D,div(P,frc(P))) | 105376 | 138414242 | o2(x,o2(x,o1(x))) | true | 3015 | 3015 | -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_x9_u2_b15 | 17 | 9 | 2 | 15 | ![]() |
sub(D,pow(P,frc(P))) | 105377 | 138414243 | o2(x,o2(x,o1(x))) | true | 3023 | 3023 | -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 | 4.338e-15 | 0.3952 | 1.715 | 1.362e-12 | json |
| t17_x9_u2_b16 | 17 | 9 | 2 | 16 | ![]() |
sub(D,mod(P,frc(P))) | 105378 | 138414244 | o2(x,o2(x,o1(x))) | true | 3031 | 3031 | 0 | 0.5 | 0.9375 | 0.9252 | 0.9619 | -1 | 1 | 2 | 1 | 1.774 | 0.001323 | 0 | 0.01101 | 1 | 1 | 0 | 0.0002527 | 0.005079 | 0.001202 | 0.03468 | 3.15 | 0.1713 | 0.00143 | 0.0002731 | 1 | 1 | 0.003342 | 0.0331 | 0.2361 | 0.003612 | 0.03578 | 0.2552 | json |
| t17_x9_u2_b17 | 17 | 9 | 2 | 17 | ![]() |
sub(D,lrg(P,frc(P))) | 105379 | 138414245 | o2(x,o2(x,o1(x))) | true | 3039 | 3039 | -0.447 | 0.2695 | 0.4964 | 0.2313 | 0.481 | -1 | 0.1454 | 1.145 | 1 | 3.074 | 0.001759 | 0 | 0.03078 | 1 | 1 | -0.0001582 | 0.0003479 | 0.01481 | 0.0008115 | 0.02849 | 0.9254 | 0.1713 | 0.007602 | 0.001504 | 1 | 1 | 0.003694 | 0.02927 | 0.06962 | 0.01597 | 0.1265 | 0.3009 | json |
| t17_x9_u2_b18 | 17 | 9 | 2 | 18 | ![]() |
sub(D,eql(P,frc(P))) | 105380 | 138414246 | o2(x,o2(x,o1(x))) | true | 3047 | 3047 | -0.0614 | 0.457 | 0.1462 | 0.05374 | 0.2318 | -1 | 0.1454 | 1.145 | 1 | 3.075 | 0.002292 | 0 | 0.04018 | 1 | 1 | -9.461e-10 | 0.0003168 | 0.0146 | 0.0006788 | 0.02605 | 0.6483 | 0.1713 | 0.04265 | 0.005895 | 1 | 1 | 0.004861 | 0.04401 | 0.06323 | 0.09045 | 0.819 | 1.176 | json |
| t17_x9_u2_b19 | 17 | 9 | 2 | 19 | ![]() |
sub(D,min(P,frc(P))) | 105381 | 138414247 | o2(x,o2(x,o1(x))) | true | 3055 | 3055 | 0.4665 | 0.7305 | 0.516 | 0.2503 | 0.5003 | -0.1454 | 1 | 1.145 | 1 | 2.568 | 0.001481 | 0 | 0.02363 | 1 | 1 | 0.0001582 | 0.0002545 | 0.009837 | 0.0009225 | 0.03037 | 1.286 | 0.1713 | 0.005917 | 0.001017 | 1 | 1 | 0.003277 | 0.02782 | 0.07597 | 0.01309 | 0.1112 | 0.3036 | json |
| t17_x9_u2_b20 | 17 | 9 | 2 | 20 | ![]() |
sub(D,dot(P,frc(P))) | 105382 | 138414248 | o2(x,o2(x,o1(x))) | true | 3063 | 3063 | 0 | 0.5 | 0.09436 | 0.01082 | 0.104 | -0.1454 | 0.1454 | 0.2908 | 1 | 2.561 | 0.001632 | 0 | 0.03609 | 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 | 5.236e-15 | 0.2912 | 2.017 | 4.838e-13 | json |
| t17_x9_u2_b21 | 17 | 9 | 2 | 21 | ![]() |
sub(D,dst(P,frc(P))) | 105383 | 138414249 | o2(x,o2(x,o1(x))) | true | 3071 | 3071 | -0.9962 | 0.0004883 | 0.9963 | 0.002389 | 0.04887 | -1 | 0.09643 | 1.096 | 1 | 0.1035 | 0.00005512 | 0.00003969 | 0.0009275 | 0.1627 | 0 | 9.761e-11 | 0.00001899 | 0.0003543 | 0.000094 | 0.009695 | 10.45 | 0.1739 | 0.03969 | 0.00795 | 1 | 1 | 0.0003206 | 0.00351 | 0.008707 | 0.1342 | 1.469 | 3.645 | json |
| t17_x9_u2_b22 | 17 | 9 | 2 | 22 | ![]() |
mlt(D,add(P,frc(P))) | 105384 | 138414250 | o2(x,o2(x,o1(x))) | true | 3079 | 3079 | -0.1371 | 0.3594 | 0.4002 | 0.2253 | 0.4747 | -1 | 0.9606 | 1.961 | 1 | 4.765 | 0.03261 | 0 | 0.1409 | 1 | 1 | 0.002385 | 0.006072 | 0.05811 | 0.01278 | 0.113 | 0.8025 | 0.4334 | 0.1447 | 0.02695 | 1 | 1 | 0.03817 | 0.2764 | 0.02108 | 0.1694 | 1.227 | 0.09354 | json |
| t17_x9_u2_b23 | 17 | 9 | 2 | 23 | ![]() |
mlt(D,sub(P,frc(P))) | 105385 | 138414251 | o2(x,o2(x,o1(x))) | true | 3087 | 3087 | -0.1371 | 0.3594 | 0.4002 | 0.2253 | 0.4747 | -1 | 0.9606 | 1.961 | 1 | 4.765 | 0.03261 | 0 | 0.1409 | 1 | 1 | 0.002385 | 0.006072 | 0.05811 | 0.01278 | 0.113 | 0.8025 | 0.4334 | 0.1447 | 0.02695 | 1 | 1 | 0.03817 | 0.2764 | 0.02108 | 0.1694 | 1.227 | 0.09354 | json |
| t17_x9_u2_b24 | 17 | 9 | 2 | 24 | ![]() |
mlt(D,mlt(P,frc(P))) | 105386 | 138414252 | o2(x,o2(x,o1(x))) | true | 3095 | 3095 | 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_x9_u2_b25 | 17 | 9 | 2 | 25 | ![]() |
mlt(D,div(P,frc(P))) | 105387 | 138414253 | o2(x,o2(x,o1(x))) | true | 3103 | 3103 | -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_x9_u2_b26 | 17 | 9 | 2 | 26 | ![]() |
mlt(D,pow(P,frc(P))) | 105388 | 138414254 | o2(x,o2(x,o1(x))) | true | 3111 | 3111 | 0 | 0.5 | 0.09436 | 0.01082 | 0.104 | -0.1454 | 0.1454 | 0.2908 | 1 | 2.561 | 0.001632 | 0 | 0.03609 | 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 | 5.236e-15 | 0.2912 | 2.017 | 4.838e-13 | json |
| t17_x9_u2_b27 | 17 | 9 | 2 | 27 | ![]() |
mlt(D,mod(P,frc(P))) | 105389 | 138414255 | o2(x,o2(x,o1(x))) | true | 3119 | 3119 | -0.1371 | 0.3594 | 0.4002 | 0.2253 | 0.4747 | -1 | 0.9606 | 1.961 | 1 | 4.765 | 0.03261 | 0 | 0.1409 | 1 | 1 | 0.002385 | 0.006072 | 0.05811 | 0.01278 | 0.113 | 0.8025 | 0.4334 | 0.1447 | 0.02695 | 1 | 1 | 0.03817 | 0.2764 | 0.02108 | 0.1694 | 1.227 | 0.09354 | json |
| t17_x9_u2_b28 | 17 | 9 | 2 | 28 | ![]() |
mlt(D,lrg(P,frc(P))) | 105390 | 138414256 | o2(x,o2(x,o1(x))) | true | 3127 | 3127 | -0.008939 | 0.2188 | 0.05022 | 0.006513 | 0.0807 | -0.2729 | 0.1454 | 0.4183 | 1 | 2.136 | 0.0008104 | 0 | 0.01798 | 1 | 1 | 0.0001582 | 0.0001201 | 0.007004 | 0.000487 | 0.02207 | 1.227 | 0.0622 | 0.1244 | 0.01844 | 1 | 1 | 0.001587 | 0.01217 | 0.002956 | 0.2437 | 1.868 | 0.4539 | json |
| t17_x9_u2_b29 | 17 | 9 | 2 | 29 | ![]() |
mlt(D,eql(P,frc(P))) | 105391 | 138414257 | o2(x,o2(x,o1(x))) | true | 3135 | 3135 | -2.075e-12 | 0.0625 | 0.01788 | 0.003712 | 0.06092 | -0.2729 | 0.2729 | 0.5458 | 1 | 0.8113 | 0.0001919 | 0 | 0.004331 | 1 | 1 | 0 | 0.00001617 | 0.001257 | 0.0001731 | 0.01316 | 3.038 | 0.06248 | 0.0517 | 0.004357 | 1 | 1 | 0.0004983 | 0.005342 | 0.005001 | 0.1342 | 1.439 | 1.347 | json |
| t17_x9_u2_b30 | 17 | 9 | 2 | 30 | ![]() |
mlt(D,min(P,frc(P))) | 105392 | 138414258 | o2(x,o2(x,o1(x))) | true | 3143 | 3143 | -0.06855 | 0.1797 | 0.2001 | 0.1174 | 0.3426 | -1 | 0.9606 | 1.961 | 1 | 3.281 | 0.01613 | 0 | 0.06983 | 1 | 1 | 0.001193 | 0.003036 | 0.02905 | 0.01125 | 0.1061 | 1.519 | 0.4334 | 0.1374 | 0.02586 | 1 | 1 | 0.01795 | 0.1216 | 0.01069 | 0.1529 | 1.036 | 0.09109 | json |
| t17_x9_u2_b31 | 17 | 9 | 2 | 31 | ![]() |
mlt(D,dot(P,frc(P))) | 105393 | 138414259 | o2(x,o2(x,o1(x))) | true | 3151 | 3151 | 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_x9_u2_b32 | 17 | 9 | 2 | 32 | ![]() |
mlt(D,dst(P,frc(P))) | 105394 | 138414260 | o2(x,o2(x,o1(x))) | true | 3159 | 3159 | -3.395e-9 | 0.5 | 0.5555 | 0.4106 | 0.6407 | -1 | 1 | 2 | 1 | 4.847 | 0.06115 | 0.00002467 | 0.1973 | 0.9992 | 1 | 1.887e-10 | 0.01352 | 0.0871 | 0.02223 | 0.1491 | 0.7555 | 0.6568 | 0.149 | 0.03293 | 1 | 1 | 0.07378 | 0.5183 | 0.02171 | 0.1797 | 1.262 | 0.05289 | json |
| t17_x9_u2_b33 | 17 | 9 | 2 | 33 | ![]() |
div(D,add(P,frc(P))) | 105395 | 138414261 | o2(x,o2(x,o1(x))) | true | 3167 | 3167 | -0.1094 | 0.5156 | 0.1542 | 0.1153 | 0.3396 | -1 | 0.1922 | 1.192 | 1 | 1.912 | 0.00866 | 0 | 0.01835 | 1 | 1 | 0.0000369 | 0.01597 | 0.01991 | 0.008324 | 0.09124 | 4.973 | 1.031 | 0.07511 | 0.1385 | 1 | 1 | 0.01236 | 0.05779 | 0.1864 | 0.1072 | 0.5012 | 1.617 | json |
| t17_x9_u2_b34 | 17 | 9 | 2 | 34 | ![]() |
div(D,sub(P,frc(P))) | 105396 | 138414262 | o2(x,o2(x,o1(x))) | true | 3175 | 3175 | -0.1094 | 0.5156 | 0.1542 | 0.1153 | 0.3396 | -1 | 0.1922 | 1.192 | 1 | 1.912 | 0.00866 | 0 | 0.01835 | 1 | 1 | 0.0000369 | 0.01597 | 0.01991 | 0.008324 | 0.09124 | 4.973 | 1.031 | 0.07511 | 0.1385 | 1 | 1 | 0.01236 | 0.05779 | 0.1864 | 0.1072 | 0.5012 | 1.617 | json |
| t17_x9_u2_b35 | 17 | 9 | 2 | 35 | ![]() |
div(D,mlt(P,frc(P))) | 105397 | 138414263 | o2(x,o2(x,o1(x))) | true | 3183 | 3183 | 0 | 0.5 | 1 | 1 | 1 | -1 | 1 | 2 | 1 | 1 | 0.4921 | 0 | 0.246 | 1 | 1 | 0 | 0.9841 | 0.4921 | 0.4315 | 0.6569 | 2.67 | 2 | 0.4921 | 0.9841 | 1 | 1 | 0.4947 | 2 | 0 | 0.4947 | 2 | 0 | json |
| t17_x9_u2_b36 | 17 | 9 | 2 | 36 | ![]() |
div(D,div(P,frc(P))) | 105398 | 138414264 | o2(x,o2(x,o1(x))) | true | 3191 | 3191 | -0.125 | 0 | 0.125 | 0.1094 | 0.3307 | -1 | 0 | 1 | 1 | 0.5436 | 0.007937 | 0 | 0.007937 | 1 | 1 | 0 | 0.01587 | 0.01587 | 0.007872 | 0.08872 | 11.18 | 1 | 0.07256 | 0.1451 | 1 | 1 | 0.01053 | 0.04211 | 0.1684 | 0.09624 | 0.385 | 1.54 | json |
| t17_x9_u2_b37 | 17 | 9 | 2 | 37 | ![]() |
div(D,pow(P,frc(P))) | 105399 | 138414265 | o2(x,o2(x,o1(x))) | true | 3199 | 3199 | 0 | 0.5 | 0.09436 | 0.01082 | 0.104 | -0.1454 | 0.1454 | 0.2908 | 1 | 2.561 | 0.001632 | 0 | 0.03609 | 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 | 5.236e-15 | 0.2912 | 2.017 | 4.838e-13 | json |



































































































