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_u3_b117 | 17 | 9 | 3 | 117 | ![]() |
dst(D,eql(P,flr(P))) | 105600 | 138414546 | o2(x,o2(x,o1(x))) | true | 4807 | 4807 | 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_u3_b118 | 17 | 9 | 3 | 118 | ![]() |
dst(D,min(P,flr(P))) | 105601 | 138414547 | o2(x,o2(x,o1(x))) | true | 4815 | 4815 | 0.9987 | 1 | 0.9987 | 0.0006951 | 0.02637 | 0.04531 | 1 | 0.9547 | 1 | 0.04216 | 0.00003371 | 0.00003371 | 0.0005271 | 1.079e-7 | 0 | -1.314e-11 | 0.00002519 | 0.0003152 | 0.00006724 | 0.0082 | 15.56 | 0.1796 | 0.097 | 0.03624 | 1 | 1 | 0.0002218 | 0.001933 | 0.002533 | 0.3191 | 2.781 | 3.643 | json |
| t17_x9_u3_b119 | 17 | 9 | 3 | 119 | ![]() |
dst(D,dot(P,flr(P))) | 105602 | 138414548 | o2(x,o2(x,o1(x))) | true | 4823 | 4823 | 0.9989 | 1 | 0.9989 | 0.000666 | 0.02581 | 0.045 | 1 | 0.955 | 1 | 0.03344 | 0.00003553 | 0.00003553 | 0.0004379 | 0 | 0 | 1.126e-11 | 0.0000277 | 0.000255 | 0.00007077 | 0.008413 | 19.21 | 0.2314 | 0.1067 | 0.04159 | 1 | 1 | 0.0002321 | 0.00193 | 0.002425 | 0.3484 | 2.898 | 3.641 | json |
| t17_x9_u3_b120 | 17 | 9 | 3 | 120 | ![]() |
dst(D,dst(P,flr(P))) | 105603 | 138414549 | o2(x,o2(x,o1(x))) | true | 4831 | 4831 | 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_u4_b0 | 17 | 9 | 4 | 0 | ![]() |
add(D,add(P,cil(P))) | 105604 | 138414630 | o2(x,o2(x,o1(x))) | true | 4839 | 4839 | 0 | 0.5 | 0.9629 | 0.9531 | 0.9763 | -1 | 1 | 2 | 1 | 1.525 | 0.001033 | 0 | 0.007937 | 1 | 1 | 0 | 0.0001387 | 0.002289 | 0.0009709 | 0.03116 | 3.926 | 0.1758 | 0.001084 | 0.0001455 | 1 | 1 | 0.002648 | 0.03249 | 0.2737 | 0.002779 | 0.03409 | 0.2871 | json |
| t17_x9_u4_b1 | 17 | 9 | 4 | 1 | ![]() |
add(D,sub(P,cil(P))) | 105605 | 138414631 | o2(x,o2(x,o1(x))) | true | 4847 | 4847 | 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_u4_b2 | 17 | 9 | 4 | 2 | ![]() |
add(D,mlt(P,cil(P))) | 105606 | 138414632 | o2(x,o2(x,o1(x))) | true | 4855 | 4855 | 0.9359 | 0.9805 | 0.9381 | 0.04617 | 0.2149 | -0.09672 | 1 | 1.097 | 1 | 0.9036 | 0.0008869 | 0 | 0.009222 | 1 | 1 | 9.461e-10 | 0.0001182 | 0.00243 | 0.0008017 | 0.02831 | 3.07 | 0.1713 | 0.01921 | 0.002561 | 1 | 1 | 0.002274 | 0.02576 | 0.06766 | 0.04925 | 0.5578 | 1.465 | json |
| t17_x9_u4_b3 | 17 | 9 | 4 | 3 | ![]() |
add(D,div(P,cil(P))) | 105607 | 138414633 | o2(x,o2(x,o1(x))) | true | 4863 | 4863 | 0.7088 | 0.875 | 0.9588 | 0.4198 | 0.6479 | -1 | 1 | 2 | 1 | 1.707 | 0.03188 | 0 | 0.03145 | 1 | 1 | 0.0001582 | 0.06366 | 0.04304 | 0.03088 | 0.1757 | 5.589 | 2 | 0.07594 | 0.1516 | 1 | 1 | 0.04195 | 0.165 | 0.6428 | 0.09994 | 0.3932 | 1.531 | json |
| t17_x9_u4_b4 | 17 | 9 | 4 | 4 | ![]() |
add(D,pow(P,cil(P))) | 105608 | 138414634 | o2(x,o2(x,o1(x))) | true | 4871 | 4871 | -0.002949 | 0.5 | 0.9971 | 0.9944 | 0.9972 | -1 | 1 | 2 | 1 | 1.16 | 0.01592 | 0 | 0.009091 | 1 | 1 | 0 | 0.03177 | 0.01672 | 0.01583 | 0.1258 | 13.84 | 2 | 0.01601 | 0.03194 | 1 | 1 | 0.02116 | 0.08467 | 0.3293 | 0.02128 | 0.08514 | 0.3312 | json |
| t17_x9_u4_b5 | 17 | 9 | 4 | 5 | ![]() |
add(D,mod(P,cil(P))) | 105609 | 138414635 | o2(x,o2(x,o1(x))) | true | 4879 | 4879 | -0.125 | 0.4375 | 0.6517 | 0.5933 | 0.7703 | -1 | 1 | 2 | 1 | 3.051 | 0.01669 | 0 | 0.04953 | 1 | 1 | 9.386e-13 | 0.01989 | 0.04092 | 0.01424 | 0.1193 | 2.409 | 1.031 | 0.02813 | 0.03353 | 1 | 1 | 0.02501 | 0.1598 | 0.4305 | 0.04215 | 0.2693 | 0.7255 | json |
| t17_x9_u4_b6 | 17 | 9 | 4 | 6 | ![]() |
add(D,lrg(P,cil(P))) | 105610 | 138414636 | o2(x,o2(x,o1(x))) | true | 4887 | 4887 | 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_u4_b7 | 17 | 9 | 4 | 7 | ![]() |
add(D,eql(P,cil(P))) | 105611 | 138414637 | o2(x,o2(x,o1(x))) | true | 4895 | 4895 | 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_u4_b8 | 17 | 9 | 4 | 8 | ![]() |
add(D,min(P,cil(P))) | 105612 | 138414638 | o2(x,o2(x,o1(x))) | true | 4903 | 4903 | 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_u4_b9 | 17 | 9 | 4 | 9 | ![]() |
add(D,dot(P,cil(P))) | 105613 | 138414639 | o2(x,o2(x,o1(x))) | true | 4911 | 4911 | 0.9965 | 0.9995 | 0.9966 | 0.002291 | 0.04786 | -0.09643 | 1 | 1.096 | 1 | 0.09085 | 0.00005708 | 0.00004421 | 0.000887 | 0.1271 | 1 | 5.256e-11 | 0.00002596 | 0.000367 | 0.0001006 | 0.01003 | 11.31 | 0.2014 | 0.04422 | 0.01133 | 1 | 1 | 0.0003403 | 0.003622 | 0.008352 | 0.1485 | 1.581 | 3.646 | json |
| t17_x9_u4_b10 | 17 | 9 | 4 | 10 | ![]() |
add(D,dst(P,cil(P))) | 105614 | 138414640 | o2(x,o2(x,o1(x))) | true | 4919 | 4919 | 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_u4_b11 | 17 | 9 | 4 | 11 | ![]() |
sub(D,add(P,cil(P))) | 105615 | 138414641 | o2(x,o2(x,o1(x))) | true | 4927 | 4927 | 0 | 0.5 | 0.9537 | 0.9469 | 0.9731 | -1 | 1 | 2 | 1 | 1.494 | 0.001772 | 0 | 0.009085 | 1 | 1 | 0 | 0.0004501 | 0.004884 | 0.00169 | 0.04111 | 4.525 | 0.2773 | 0.001871 | 0.0004753 | 1 | 1 | 0.004401 | 0.0356 | 0.2653 | 0.004647 | 0.0376 | 0.2802 | json |
| t17_x9_u4_b12 | 17 | 9 | 4 | 12 | ![]() |
sub(D,sub(P,cil(P))) | 105616 | 138414642 | o2(x,o2(x,o1(x))) | true | 4935 | 4935 | 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_u4_b13 | 17 | 9 | 4 | 13 | ![]() |
sub(D,mlt(P,cil(P))) | 105617 | 138414643 | o2(x,o2(x,o1(x))) | true | 4943 | 4943 | -0.9359 | 0.01953 | 0.9381 | 0.04617 | 0.2149 | -1 | 0.09672 | 1.097 | 1 | 0.9036 | 0.0008869 | 0 | 0.009222 | 1 | 1 | -9.461e-10 | 0.0001182 | 0.00243 | 0.0008017 | 0.02831 | 3.07 | 0.1713 | 0.01921 | 0.002561 | 1 | 1 | 0.002274 | 0.02576 | 0.06766 | 0.04925 | 0.5578 | 1.465 | json |
| t17_x9_u4_b14 | 17 | 9 | 4 | 14 | ![]() |
sub(D,div(P,cil(P))) | 105618 | 138414644 | o2(x,o2(x,o1(x))) | true | 4951 | 4951 | -0.9588 | 0 | 0.9588 | 0.00303 | 0.05504 | -1 | -0.8546 | 0.1454 | 1 | 1.241 | 0.0006177 | 0 | 0.01566 | 1 | 1 | -0.0001582 | 0.0002621 | 0.01154 | 0.0003724 | 0.0193 | 1.233 | 0.05567 | 0.2039 | 0.08651 | 1 | 1 | 0.001041 | 0.004552 | 0.0009114 | 0.3437 | 1.502 | 0.3008 | json |
| t17_x9_u4_b15 | 17 | 9 | 4 | 15 | ![]() |
sub(D,pow(P,cil(P))) | 105619 | 138414645 | o2(x,o2(x,o1(x))) | true | 4959 | 4959 | -0.9965 | 0 | 0.9965 | 0.0003517 | 0.01875 | -1 | -0.8546 | 0.1454 | 1 | 0.2078 | 0.00006283 | 0 | 0.001672 | 1 | 0 | 0 | 0.00004462 | 0.001419 | 0.00006005 | 0.007749 | 4.635 | 0.05567 | 0.1787 | 0.1269 | 1 | 1 | 0.0001371 | 0.0004901 | 0.0004901 | 0.3898 | 1.394 | 1.394 | json |
| t17_x9_u4_b16 | 17 | 9 | 4 | 16 | ![]() |
sub(D,mod(P,cil(P))) | 105620 | 138414646 | o2(x,o2(x,o1(x))) | true | 4967 | 4967 | -0.125 | 0.4375 | 0.6509 | 0.5925 | 0.7698 | -1 | 1 | 2 | 1 | 3.052 | 0.01635 | 0 | 0.04853 | 1 | 1 | 9.386e-13 | 0.01951 | 0.03939 | 0.014 | 0.1183 | 2.437 | 1.031 | 0.02759 | 0.03294 | 1 | 1 | 0.02604 | 0.1527 | 0.4236 | 0.04395 | 0.2577 | 0.7149 | json |
| t17_x9_u4_b17 | 17 | 9 | 4 | 17 | ![]() |
sub(D,lrg(P,cil(P))) | 105621 | 138414647 | o2(x,o2(x,o1(x))) | true | 4975 | 4975 | 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_u4_b18 | 17 | 9 | 4 | 18 | ![]() |
sub(D,eql(P,cil(P))) | 105622 | 138414648 | o2(x,o2(x,o1(x))) | true | 4983 | 4983 | -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 | 2.842e-15 | 0.3952 | 1.715 | 8.924e-13 | json |
| t17_x9_u4_b19 | 17 | 9 | 4 | 19 | ![]() |
sub(D,min(P,cil(P))) | 105623 | 138414649 | o2(x,o2(x,o1(x))) | true | 4991 | 4991 | 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_u4_b20 | 17 | 9 | 4 | 20 | ![]() |
sub(D,dot(P,cil(P))) | 105624 | 138414650 | o2(x,o2(x,o1(x))) | true | 4999 | 4999 | -0.9965 | 0.0004578 | 0.9966 | 0.002291 | 0.04786 | -1 | 0.09643 | 1.096 | 1 | 0.09085 | 0.00005708 | 0.00004421 | 0.0008805 | 0.1271 | 1 | -4.881e-11 | 0.00002596 | 0.000367 | 0.0001006 | 0.01003 | 11.39 | 0.2053 | 0.04422 | 0.01133 | 1 | 1 | 0.0003403 | 0.003622 | 0.008352 | 0.1485 | 1.581 | 3.646 | json |
| t17_x9_u4_b21 | 17 | 9 | 4 | 21 | ![]() |
sub(D,dst(P,cil(P))) | 105625 | 138414651 | o2(x,o2(x,o1(x))) | true | 5007 | 5007 | 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_u4_b22 | 17 | 9 | 4 | 22 | ![]() |
mlt(D,add(P,cil(P))) | 105626 | 138414652 | o2(x,o2(x,o1(x))) | true | 5015 | 5015 | -0.192 | 0.3594 | 0.6313 | 0.4802 | 0.693 | -1 | 1 | 2 | 1 | 4.289 | 0.08647 | 0 | 0.1943 | 1 | 1 | -2.602e-9 | 0.03671 | 0.1114 | 0.04871 | 0.2207 | 1.136 | 0.8669 | 0.1801 | 0.07645 | 1 | 1 | 0.1151 | 0.7631 | 0.05344 | 0.2398 | 1.589 | 0.1113 | json |
| t17_x9_u4_b23 | 17 | 9 | 4 | 23 | ![]() |
mlt(D,sub(P,cil(P))) | 105627 | 138414653 | o2(x,o2(x,o1(x))) | true | 5023 | 5023 | 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_u4_b24 | 17 | 9 | 4 | 24 | ![]() |
mlt(D,mlt(P,cil(P))) | 105628 | 138414654 | o2(x,o2(x,o1(x))) | true | 5031 | 5031 | 1.486e-8 | 0.5 | 0.7248 | 0.659 | 0.8118 | -1 | 1 | 2 | 1 | 3.574 | 0.1916 | 0 | 0.1921 | 1 | 1 | 0 | 0.2709 | 0.2246 | 0.1548 | 0.3935 | 2.048 | 2 | 0.2908 | 0.411 | 1 | 1 | 0.1826 | 0.8212 | 0.1218 | 0.2772 | 1.246 | 0.1848 | json |
| t17_x9_u4_b25 | 17 | 9 | 4 | 25 | ![]() |
mlt(D,div(P,cil(P))) | 105629 | 138414655 | o2(x,o2(x,o1(x))) | true | 5039 | 5039 | -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.442e-10 | 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_u4_b26 | 17 | 9 | 4 | 26 | ![]() |
mlt(D,pow(P,cil(P))) | 105630 | 138414656 | o2(x,o2(x,o1(x))) | true | 5047 | 5047 | -0.8343 | 0.07813 | 0.8956 | 0.182 | 0.4267 | -1 | 1 | 2 | 1 | 1.333 | 0.1592 | 0 | 0.09788 | 1 | 1 | -1.892e-9 | 0.406 | 0.1723 | 0.1497 | 0.3869 | 3.953 | 2 | 0.8747 | 2.23 | 1 | 1 | 0.1215 | 0.1677 | 0.1353 | 0.6677 | 0.9213 | 0.7434 | json |
| t17_x9_u4_b27 | 17 | 9 | 4 | 27 | ![]() |
mlt(D,mod(P,cil(P))) | 105631 | 138414657 | o2(x,o2(x,o1(x))) | true | 5055 | 5055 | -0.1375 | 0.3047 | 0.4796 | 0.384 | 0.6197 | -1 | 1 | 2 | 1 | 3.796 | 0.02962 | 0 | 0.09361 | 1 | 1 | -0.001037 | 0.02068 | 0.05016 | 0.02086 | 0.1444 | 1.543 | 1 | 0.07712 | 0.05386 | 1 | 1 | 0.02754 | 0.2173 | 0.4066 | 0.07171 | 0.5657 | 1.059 | json |
| t17_x9_u4_b28 | 17 | 9 | 4 | 28 | ![]() |
mlt(D,lrg(P,cil(P))) | 105632 | 138414658 | o2(x,o2(x,o1(x))) | true | 5063 | 5063 | 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_u4_b29 | 17 | 9 | 4 | 29 | ![]() |
mlt(D,eql(P,cil(P))) | 105633 | 138414659 | o2(x,o2(x,o1(x))) | true | 5071 | 5071 | 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_u4_b30 | 17 | 9 | 4 | 30 | ![]() |
mlt(D,min(P,cil(P))) | 105634 | 138414660 | o2(x,o2(x,o1(x))) | true | 5079 | 5079 | -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_u4_b31 | 17 | 9 | 4 | 31 | ![]() |
mlt(D,dot(P,cil(P))) | 105635 | 138414661 | o2(x,o2(x,o1(x))) | true | 5087 | 5087 | 4.657e-10 | 0.5 | 0.899 | 0.8669 | 0.9311 | -1 | 1 | 2 | 1 | 2.4 | 0.3311 | 0.0001049 | 0.2352 | 0.9994 | 1 | -7.227e-11 | 0.5604 | 0.3571 | 0.276 | 0.5254 | 2.234 | 2 | 0.3821 | 0.6464 | 1 | 1 | 0.3214 | 1.373 | 0.09237 | 0.3707 | 1.584 | 0.1066 | json |
| t17_x9_u4_b32 | 17 | 9 | 4 | 32 | ![]() |
mlt(D,dst(P,cil(P))) | 105636 | 138414662 | o2(x,o2(x,o1(x))) | true | 5095 | 5095 | 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_u4_b33 | 17 | 9 | 4 | 33 | ![]() |
div(D,add(P,cil(P))) | 105637 | 138414663 | o2(x,o2(x,o1(x))) | true | 5103 | 5103 | -0.1172 | 0.5156 | 0.1396 | 0.1118 | 0.3344 | -1 | 0.09611 | 1.096 | 1 | 1.625 | 0.008241 | 0 | 0.01314 | 1 | 1 | 0.00001845 | 0.01591 | 0.01789 | 0.008069 | 0.08983 | 6.835 | 1.016 | 0.07369 | 0.1423 | 1 | 1 | 0.0113 | 0.04902 | 0.1769 | 0.1011 | 0.4384 | 1.582 | json |
| t17_x9_u4_b34 | 17 | 9 | 4 | 34 | ![]() |
div(D,sub(P,cil(P))) | 105638 | 138414664 | o2(x,o2(x,o1(x))) | true | 5111 | 5111 | 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_u4_b35 | 17 | 9 | 4 | 35 | ![]() |
div(D,mlt(P,cil(P))) | 105639 | 138414665 | o2(x,o2(x,o1(x))) | true | 5119 | 5119 | -0.125 | 0.4375 | 0.1449 | 0.1119 | 0.3346 | -1 | 0.2292 | 1.229 | 1 | 1.914 | 0.008101 | 0 | 0.01359 | 1 | 1 | 5.206e-13 | 0.01591 | 0.01794 | 0.007917 | 0.08897 | 6.547 | 1.031 | 0.07237 | 0.1421 | 1 | 1 | 0.01094 | 0.04519 | 0.1716 | 0.09775 | 0.4037 | 1.533 | json |
| t17_x9_u4_b36 | 17 | 9 | 4 | 36 | ![]() |
div(D,div(P,cil(P))) | 105640 | 138414666 | o2(x,o2(x,o1(x))) | true | 5127 | 5127 | -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 | -4.735e-10 | 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_u4_b37 | 17 | 9 | 4 | 37 | ![]() |
div(D,pow(P,cil(P))) | 105641 | 138414667 | o2(x,o2(x,o1(x))) | true | 5135 | 5135 | -0.4911 | 0.2422 | 0.5151 | 0.2608 | 0.5107 | -1 | 0.2292 | 1.229 | 1 | 1.748 | 0.004401 | 0 | 0.008812 | 1 | 1 | 2.886e-13 | 0.008017 | 0.009714 | 0.004323 | 0.06575 | 7.461 | 1.031 | 0.01687 | 0.03074 | 1 | 1 | 0.006357 | 0.02867 | 0.09571 | 0.02437 | 0.1099 | 0.367 | json |
| t17_x9_u4_b38 | 17 | 9 | 4 | 38 | ![]() |
div(D,mod(P,cil(P))) | 105642 | 138414668 | o2(x,o2(x,o1(x))) | true | 5143 | 5143 | -0.8745 | 0.07031 | 0.8769 | 0.1101 | 0.3318 | -1 | 0.02606 | 1.026 | 1 | 0.6672 | 0.01589 | 0 | 0.01652 | 1 | 1 | 4.721e-10 | 0.03175 | 0.03202 | 0.0156 | 0.1249 | 7.56 | 1.005 | 0.1443 | 0.2884 | 1 | 1 | 0.002659 | 0.01913 | 0.0424 | 0.02415 | 0.1738 | 0.3852 | json |
| t17_x9_u4_b39 | 17 | 9 | 4 | 39 | ![]() |
div(D,lrg(P,cil(P))) | 105643 | 138414669 | o2(x,o2(x,o1(x))) | true | 5151 | 5151 | -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_u4_b40 | 17 | 9 | 4 | 40 | ![]() |
div(D,eql(P,cil(P))) | 105644 | 138414670 | o2(x,o2(x,o1(x))) | true | 5159 | 5159 | 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_u4_b41 | 17 | 9 | 4 | 41 | ![]() |
div(D,min(P,cil(P))) | 105645 | 138414671 | o2(x,o2(x,o1(x))) | true | 5167 | 5167 | -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_u4_b42 | 17 | 9 | 4 | 42 | ![]() |
div(D,dot(P,cil(P))) | 105646 | 138414672 | o2(x,o2(x,o1(x))) | true | 5175 | 5175 | -0.01562 | 0.4869 | 0.02188 | 0.01571 | 0.1253 | -1 | 0.2292 | 1.229 | 1 | 1.239 | 0.001036 | 0.001022 | 0.004222 | 0.006526 | 1 | -9.421e-10 | 0.00419 | 0.004855 | 0.002041 | 0.04517 | 10.7 | 1.415 | 0.131 | 0.2667 | 1 | 1 | 0.003667 | 0.01503 | 0.05761 | 0.2334 | 0.9564 | 3.666 | json |
| t17_x9_u4_b43 | 17 | 9 | 4 | 43 | ![]() |
div(D,dst(P,cil(P))) | 105647 | 138414673 | o2(x,o2(x,o1(x))) | true | 5183 | 5183 | 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_u4_b44 | 17 | 9 | 4 | 44 | ![]() |
pow(D,add(P,cil(P))) | 105648 | 138414674 | o2(x,o2(x,o1(x))) | true | 5191 | 5191 | -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_x9_u4_b45 | 17 | 9 | 4 | 45 | ![]() |
pow(D,sub(P,cil(P))) | 105649 | 138414675 | o2(x,o2(x,o1(x))) | true | 5199 | 5199 | 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_u4_b46 | 17 | 9 | 4 | 46 | ![]() |
pow(D,mlt(P,cil(P))) | 105650 | 138414676 | o2(x,o2(x,o1(x))) | true | 5207 | 5207 | -0.8973 | 0.0625 | 0.9777 | 0.1655 | 0.4069 | -1 | 1 | 2 | 1 | 0.5419 | 0.02043 | 0 | 0.01587 | 1 | 1 | 4.731e-10 | 0.03967 | 0.02439 | 0.02017 | 0.142 | 8.948 | 2 | 0.1234 | 0.2396 | 1 | 1 | 0.02789 | 0.1266 | 0.2371 | 0.1685 | 0.7646 | 1.432 | json |
| t17_x9_u4_b47 | 17 | 9 | 4 | 47 | ![]() |
pow(D,div(P,cil(P))) | 105651 | 138414677 | o2(x,o2(x,o1(x))) | true | 5215 | 5215 | -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_u4_b48 | 17 | 9 | 4 | 48 | ![]() |
pow(D,pow(P,cil(P))) | 105652 | 138414678 | o2(x,o2(x,o1(x))) | true | 5223 | 5223 | -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_u4_b49 | 17 | 9 | 4 | 49 | ![]() |
pow(D,mod(P,cil(P))) | 105653 | 138414679 | o2(x,o2(x,o1(x))) | true | 5231 | 5231 | -0.06037 | 0.5 | 0.9397 | 0.9232 | 0.9608 | -1 | 1 | 2 | 1 | 1.67 | 0.1198 | 0 | 0.07141 | 1 | 1 | 0.00006808 | 0.238 | 0.1288 | 0.1146 | 0.3386 | 4.741 | 2 | 0.1298 | 0.2578 | 1 | 1 | 0.1326 | 0.5464 | 1.38 | 0.1436 | 0.5919 | 1.494 | json |
| t17_x9_u4_b50 | 17 | 9 | 4 | 50 | ![]() |
pow(D,lrg(P,cil(P))) | 105654 | 138414680 | o2(x,o2(x,o1(x))) | true | 5239 | 5239 | 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_u4_b51 | 17 | 9 | 4 | 51 | ![]() |
pow(D,eql(P,cil(P))) | 105655 | 138414681 | o2(x,o2(x,o1(x))) | true | 5247 | 5247 | 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_u4_b52 | 17 | 9 | 4 | 52 | ![]() |
pow(D,min(P,cil(P))) | 105656 | 138414682 | o2(x,o2(x,o1(x))) | true | 5255 | 5255 | -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_x9_u4_b53 | 17 | 9 | 4 | 53 | ![]() |
pow(D,dot(P,cil(P))) | 105657 | 138414683 | o2(x,o2(x,o1(x))) | true | 5263 | 5263 | -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_u4_b54 | 17 | 9 | 4 | 54 | ![]() |
pow(D,dst(P,cil(P))) | 105658 | 138414684 | o2(x,o2(x,o1(x))) | true | 5271 | 5271 | 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_u4_b55 | 17 | 9 | 4 | 55 | ![]() |
mod(D,add(P,cil(P))) | 105659 | 138414685 | o2(x,o2(x,o1(x))) | true | 5279 | 5279 | -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_u4_b56 | 17 | 9 | 4 | 56 | ![]() |
mod(D,sub(P,cil(P))) | 105660 | 138414686 | o2(x,o2(x,o1(x))) | true | 5287 | 5287 | 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_u4_b57 | 17 | 9 | 4 | 57 | ![]() |
mod(D,mlt(P,cil(P))) | 105661 | 138414687 | o2(x,o2(x,o1(x))) | true | 5295 | 5295 | -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_u4_b58 | 17 | 9 | 4 | 58 | ![]() |
mod(D,div(P,cil(P))) | 105662 | 138414688 | o2(x,o2(x,o1(x))) | true | 5303 | 5303 | -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_u4_b59 | 17 | 9 | 4 | 59 | ![]() |
mod(D,pow(P,cil(P))) | 105663 | 138414689 | o2(x,o2(x,o1(x))) | true | 5311 | 5311 | -0.5 | 0.25 | 0.5472 | 0.2554 | 0.5054 | -1 | 0.1454 | 1.145 | 1 | 2.281 | 0.005029 | 0 | 0.02209 | 1 | 1 | 0.0001582 | 0.00812 | 0.01523 | 0.004542 | 0.06739 | 3.051 | 1.031 | 0.01969 | 0.03179 | 1 | 1 | 0.007473 | 0.03617 | 0.08512 | 0.02926 | 0.1416 | 0.3333 | json |
| t17_x9_u4_b60 | 17 | 9 | 4 | 60 | ![]() |
mod(D,mod(P,cil(P))) | 105664 | 138414690 | o2(x,o2(x,o1(x))) | true | 5319 | 5319 | -0.875 | 0.0625 | 0.8868 | 0.1107 | 0.3328 | -1 | 0.1454 | 1.145 | 1 | 0.8637 | 0.01607 | 0 | 0.02 | 1 | 1 | 9.386e-13 | 0.0318 | 0.03349 | 0.01568 | 0.1252 | 6.261 | 1.031 | 0.1451 | 0.2872 | 1 | 1 | 0.002797 | 0.02248 | 0.04256 | 0.02526 | 0.203 | 0.3844 | json |
| t17_x9_u4_b61 | 17 | 9 | 4 | 61 | ![]() |
mod(D,lrg(P,cil(P))) | 105665 | 138414691 | o2(x,o2(x,o1(x))) | true | 5327 | 5327 | -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_u4_b62 | 17 | 9 | 4 | 62 | ![]() |
mod(D,eql(P,cil(P))) | 105666 | 138414692 | o2(x,o2(x,o1(x))) | true | 5335 | 5335 | 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_u4_b63 | 17 | 9 | 4 | 63 | ![]() |
mod(D,min(P,cil(P))) | 105667 | 138414693 | o2(x,o2(x,o1(x))) | true | 5343 | 5343 | -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_u4_b64 | 17 | 9 | 4 | 64 | ![]() |
mod(D,dot(P,cil(P))) | 105668 | 138414694 | o2(x,o2(x,o1(x))) | true | 5351 | 5351 | -0.01563 | 0.4922 | 0.1085 | 0.02604 | 0.1614 | -1 | 0.1454 | 1.145 | 1 | 2.637 | 0.002612 | 0.001019 | 0.03747 | 0.4389 | 1 | 7.133e-11 | 0.004435 | 0.01836 | 0.002229 | 0.04721 | 1.26 | 1.415 | 0.1395 | 0.1703 | 1 | 1 | 0.00662 | 0.03541 | 0.05735 | 0.2543 | 1.36 | 2.203 | json |
| t17_x9_u4_b65 | 17 | 9 | 4 | 65 | ![]() |
mod(D,dst(P,cil(P))) | 105669 | 138414695 | o2(x,o2(x,o1(x))) | true | 5359 | 5359 | 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_u4_b66 | 17 | 9 | 4 | 66 | ![]() |
lrg(D,add(P,cil(P))) | 105670 | 138414696 | o2(x,o2(x,o1(x))) | true | 5367 | 5367 | 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_u4_b67 | 17 | 9 | 4 | 67 | ![]() |
lrg(D,sub(P,cil(P))) | 105671 | 138414697 | o2(x,o2(x,o1(x))) | true | 5375 | 5375 | 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_u4_b68 | 17 | 9 | 4 | 68 | ![]() |
lrg(D,mlt(P,cil(P))) | 105672 | 138414698 | o2(x,o2(x,o1(x))) | true | 5383 | 5383 | 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_x9_u4_b69 | 17 | 9 | 4 | 69 | ![]() |
lrg(D,div(P,cil(P))) | 105673 | 138414699 | o2(x,o2(x,o1(x))) | true | 5391 | 5391 | 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_x9_u4_b70 | 17 | 9 | 4 | 70 | ![]() |
lrg(D,pow(P,cil(P))) | 105674 | 138414700 | o2(x,o2(x,o1(x))) | true | 5399 | 5399 | 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_u4_b71 | 17 | 9 | 4 | 71 | ![]() |
lrg(D,mod(P,cil(P))) | 105675 | 138414701 | o2(x,o2(x,o1(x))) | true | 5407 | 5407 | 0.5313 | 0.8125 | 0.5313 | 0.1881 | 0.4337 | 0 | 1 | 1 | 1 | 2.747 | 0.03489 | 0 | 0.06744 | 1 | 1 | -7.096e-10 | 0.06428 | 0.07181 | 0.03034 | 0.1742 | 2.583 | 0.9997 | 0.1855 | 0.3417 | 1 | 1 | 0.04992 | 0.1917 | 0.132 | 0.2654 | 1.019 | 0.7015 | json |
| t17_x9_u4_b72 | 17 | 9 | 4 | 72 | ![]() |
lrg(D,lrg(P,cil(P))) | 105676 | 138414702 | o2(x,o2(x,o1(x))) | true | 5415 | 5415 | 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_u4_b73 | 17 | 9 | 4 | 73 | ![]() |
lrg(D,eql(P,cil(P))) | 105677 | 138414703 | o2(x,o2(x,o1(x))) | true | 5423 | 5423 | 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_u4_b74 | 17 | 9 | 4 | 74 | ![]() |
lrg(D,min(P,cil(P))) | 105678 | 138414704 | o2(x,o2(x,o1(x))) | true | 5431 | 5431 | 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_u4_b75 | 17 | 9 | 4 | 75 | ![]() |
lrg(D,dot(P,cil(P))) | 105679 | 138414705 | o2(x,o2(x,o1(x))) | true | 5439 | 5439 | 0.001953 | 0.007385 | 0.001953 | 0.001197 | 0.0346 | 0 | 0.9994 | 0.9994 | 1 | 0.05785 | 0.0002149 | 0.00001756 | 0.0006672 | 0.8489 | 1 | 1.128e-12 | 0.000405 | 0.0006009 | 0.0002318 | 0.01522 | 22.82 | 0.9994 | 0.1941 | 0.3383 | 1 | 1 | 0.0004668 | 0.002552 | 0.004354 | 0.39 | 2.132 | 3.637 | json |
| t17_x9_u4_b76 | 17 | 9 | 4 | 76 | ![]() |
lrg(D,dst(P,cil(P))) | 105680 | 138414706 | o2(x,o2(x,o1(x))) | true | 5447 | 5447 | 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_u4_b77 | 17 | 9 | 4 | 77 | ![]() |
eql(D,add(P,cil(P))) | 105681 | 138414707 | o2(x,o2(x,o1(x))) | true | 5455 | 5455 | 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_u4_b78 | 17 | 9 | 4 | 78 | ![]() |
eql(D,sub(P,cil(P))) | 105682 | 138414708 | o2(x,o2(x,o1(x))) | true | 5463 | 5463 | 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_u4_b79 | 17 | 9 | 4 | 79 | ![]() |
eql(D,mlt(P,cil(P))) | 105683 | 138414709 | o2(x,o2(x,o1(x))) | true | 5471 | 5471 | 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_u4_b80 | 17 | 9 | 4 | 80 | ![]() |
eql(D,div(P,cil(P))) | 105684 | 138414710 | o2(x,o2(x,o1(x))) | true | 5479 | 5479 | 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_u4_b81 | 17 | 9 | 4 | 81 | ![]() |
eql(D,pow(P,cil(P))) | 105685 | 138414711 | o2(x,o2(x,o1(x))) | true | 5487 | 5487 | 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_u4_b82 | 17 | 9 | 4 | 82 | ![]() |
eql(D,mod(P,cil(P))) | 105686 | 138414712 | o2(x,o2(x,o1(x))) | true | 5495 | 5495 | 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_u4_b83 | 17 | 9 | 4 | 83 | ![]() |
eql(D,lrg(P,cil(P))) | 105687 | 138414713 | o2(x,o2(x,o1(x))) | true | 5503 | 5503 | 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_u4_b84 | 17 | 9 | 4 | 84 | ![]() |
eql(D,eql(P,cil(P))) | 105688 | 138414714 | o2(x,o2(x,o1(x))) | true | 5511 | 5511 | 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_u4_b85 | 17 | 9 | 4 | 85 | ![]() |
eql(D,min(P,cil(P))) | 105689 | 138414715 | o2(x,o2(x,o1(x))) | true | 5519 | 5519 | 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_u4_b86 | 17 | 9 | 4 | 86 | ![]() |
eql(D,dot(P,cil(P))) | 105690 | 138414716 | o2(x,o2(x,o1(x))) | true | 5527 | 5527 | 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_u4_b87 | 17 | 9 | 4 | 87 | ![]() |
eql(D,dst(P,cil(P))) | 105691 | 138414717 | o2(x,o2(x,o1(x))) | true | 5535 | 5535 | 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_u4_b88 | 17 | 9 | 4 | 88 | ![]() |
min(D,add(P,cil(P))) | 105692 | 138414718 | o2(x,o2(x,o1(x))) | true | 5543 | 5543 | -0.4928 | 0.2188 | 0.5341 | 0.2435 | 0.4934 | -1 | 0.1454 | 1.145 | 1 | 2.563 | 0.001424 | 0 | 0.02195 | 1 | 1 | 0.0001582 | 0.0002483 | 0.008687 | 0.0009422 | 0.0307 | 1.399 | 0.2122 | 0.005848 | 0.00102 | 1 | 1 | 0.003129 | 0.02697 | 0.07181 | 0.01285 | 0.1108 | 0.2949 | json |
| t17_x9_u4_b89 | 17 | 9 | 4 | 89 | ![]() |
min(D,sub(P,cil(P))) | 105693 | 138414719 | o2(x,o2(x,o1(x))) | true | 5551 | 5551 | -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_u4_b90 | 17 | 9 | 4 | 90 | ![]() |
min(D,mlt(P,cil(P))) | 105694 | 138414720 | o2(x,o2(x,o1(x))) | true | 5559 | 5559 | -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_u4_b91 | 17 | 9 | 4 | 91 | ![]() |
min(D,div(P,cil(P))) | 105695 | 138414721 | o2(x,o2(x,o1(x))) | true | 5567 | 5567 | 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_u4_b92 | 17 | 9 | 4 | 92 | ![]() |
min(D,pow(P,cil(P))) | 105696 | 138414722 | o2(x,o2(x,o1(x))) | true | 5575 | 5575 | 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_u4_b93 | 17 | 9 | 4 | 93 | ![]() |
min(D,mod(P,cil(P))) | 105697 | 138414723 | o2(x,o2(x,o1(x))) | true | 5583 | 5583 | -0.3193 | 0.125 | 0.3429 | 0.16 | 0.4 | -1 | 0.1454 | 1.145 | 1 | 3.068 | 0.005019 | 0 | 0.03908 | 1 | 1 | 0.0007871 | 0.002422 | 0.01993 | 0.003492 | 0.05909 | 1.512 | 0.4609 | 0.03137 | 0.01513 | 1 | 1 | 0.008623 | 0.0648 | 0.08313 | 0.05389 | 0.405 | 0.5195 | json |
| t17_x9_u4_b94 | 17 | 9 | 4 | 94 | ![]() |
min(D,lrg(P,cil(P))) | 105698 | 138414724 | o2(x,o2(x,o1(x))) | true | 5591 | 5591 | -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_u4_b95 | 17 | 9 | 4 | 95 | ![]() |
min(D,eql(P,cil(P))) | 105699 | 138414725 | o2(x,o2(x,o1(x))) | true | 5599 | 5599 | 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 |



































































































