grad-noise-175k
Gradient noise, 175k (run of 2026-09-23) · A complete batch run over 175,797 lattice-noise expressions, with 32 texture diagnostics and a frame of each.
About this collection
This collection is complete and closed. Every expression in the space below was rendered and measured once, in a single batch run. Each row is one expression, and its coordinate links to it running live on uto.run.
The purpose is exploratory. There is no target texture and no attempt to resemble Perlin noise. A constant field, a strongly directional pattern or an odd value distribution is an observation, not a failure. The measurements describe textures so they can be sorted, filtered and compared. They are a lossy fingerprint, not a judgement of quality and not a substitute for looking.
The space
An ither formula with two layers:
- topo: expression trees of up to 64 nodes, built from unary (
o1), binary (o2) and leaf (x) slots - expr: fills those slots
- leaves:
P,D,R - unary:
sqt log frc flr cil sgn nrm - binary:
add sub mlt div pow mod lrg eql min dot dst
- leaves:
A coordinate t·x·u·b follows the formula's projection: t the topology,
x the leaf choices, u the unary choices, b the binary choices.
Points outside the space were omitted from the run. Two orderings ride along:
ordinal is the point's position in ither's whole enumeration (gaps where
points were omitted), and batch index is its place in the batch run's
sequence, 0 to 175,796 (the run's inputs.expr, and the number in its
frame's file name).
The apparatus
Each expression is evaluated at the corners of a rectangular lattice with
quintic blending (LATT.RECT.QUINTIC), over coordinates mlt(C, 8), in a
256 × 256 field #A. One configuration per expression: the dimension and
coordinate scale were fixed for the whole run.
Measurements are taken from #A's x channel, its stored values (not a
screenshot), at step 7, after which the run moves to the next expression. The
frame in each row is that field, remapped for display.
The measurements
Notation: f is the field value, E averages the whole field, and E_I
averages the interior (C-space [-0.98, 0.98]², which keeps wrapped edges out
of the spatial measures).
Value distribution
| key | meaning |
|---|---|
value_mean, value_abs_mean |
E[f] and E[|f|]: signed offset, typical distance from zero |
value_positive_fraction |
share of values above 0 (field tolerance 0.0001) |
value_variance, value_stddev |
population variance and SD: contrast |
value_min, value_max, value_range |
sampled extrema and their difference |
histogram_entropy_bits |
entropy of a 32-bin histogram over [−1, 1], 0 (one bin) to 5 (uniform) bits |
histogram_probability_sum |
consistency check, ≈ 1 |
Local roughness (one-pixel differences dx, dy, and g = √(dx² + dy²))
| key | meaning |
|---|---|
gradient_energy_x, gradient_energy_y |
E_I[dx²], E_I[dy²] |
gradient_magnitude_mean |
E_I[g]: roughness |
gradient_magnitude_variance, _stddev, _max |
how unevenly that roughness is spread, and its peak |
gradient_magnitude_cv |
SD / mean of g: uneven activity (quiet areas interrupted by edges), independent of amplitude |
gradient_axis_bias |
(Ex − Ey) / (Ex + Ey), −1 to 1: horizontal vs vertical preference. Zero does not mean isotropic (diagonals balance too) |
gradient_nonzero_flag |
1 if there is any gradient energy at all |
Change of slope (four-neighbour Laplacian L)
| key | meaning |
|---|---|
laplacian_mean, laplacian_energy, laplacian_abs_mean |
E_I[L], E_I[L²], E_I[|L|]. Sharp or high-frequency structure responds; a linear ramp does not |
Normalised by contrast (comparable across amplitudes)
| key | meaning |
|---|---|
gradient_energy_over_variance |
(Ex + Ey) / variance |
laplacian_energy_over_variance |
E_I[L²] / variance |
variance_normalization_valid_flag, gradient_cv_valid_flag |
whether the denominators above are meaningful (> 10⁻¹²). Filter on these before trusting a ratio |
Three spatial scales (mean squared difference at a distance, over the
central [-0.74, 0.74]²: 2, 8 and 32 pixels at this resolution)
| key | meaning |
|---|---|
scale_diff2_near, _mid, _far |
raw difference energy at each distance |
scale_diff2_near_over_variance, _mid_…, _far_… |
the same, normalised. Low near and rising far suggests smooth structure; a dip at a longer distance can hint at repetition |
Each record's json also holds value_histogram (the 32 bin probabilities)
and scale_curve (the three scales with their distances).
Reading them, and their limits
- Clipping.
#Akept its default signed domain, so values outside [−1, 1] were clipped before measuring. The diagnostics describe the clipped texture. - Combinations say more than any one key. A large range with modest SD and a high gradient peak suggests a few strong excursions. A broad histogram with low normalised detail suggests smooth variation. Similar roughness with a different CV means the activity is concentrated differently.
- Entropy is about values, not space. A smooth ramp can have high entropy, and shuffling the pixels would not change it.
- Raw spatial measures depend on resolution and amplitude. Prefer the normalised keys for detail independent of contrast, after checking the validity flags.
- Not measured: full orientation, spectra or periodicity, lacunarity, tileability, colour, novelty, aesthetic merit.
- Validation. The suite compiled and ran on every expression. Systematic numerical controls (constants, ramps, stripes, checkerboards, random pixels) and a comparison against longer settling times were not done before this run. Treat the values as exploratory.
Provenance
- Apparatus:
noiseBatch/one.uto, project SHA-256b6fc8f27…be04d0 - Expression corpus: SHA-256
7d3ec029…d72266 - Run files (canonical), in
~/lab/data/grad-noise-175k/: the enumeration (grad-noise-175k.jsonl), the measurements (grad-noise-175k-output.jsonl, joined oninputs.expr), the formula (grad-noise-175k.manifest.json) and the frames (png/)
| coordinate ▲ | t | x | u | b | expression | batch index | ordinal | topo | measured | step | globalStep | value_mean | value_positive_fraction | value_abs_mean | value_variance | value_stddev | value_min | value_max | value_range | histogram_probability_sum | histogram_entropy_bits | gradient_energy_x | gradient_energy_y | gradient_magnitude_mean | gradient_axis_bias | gradient_nonzero_flag | laplacian_mean | laplacian_energy | laplacian_abs_mean | gradient_magnitude_variance | gradient_magnitude_stddev | gradient_magnitude_cv | gradient_magnitude_max | gradient_energy_over_variance | laplacian_energy_over_variance | variance_normalization_valid_flag | gradient_cv_valid_flag | scale_diff2_near | scale_diff2_mid | scale_diff2_far | scale_diff2_near_over_variance | scale_diff2_mid_over_variance | scale_diff2_far_over_variance | ||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| t17_x1_u2_b114 | 17 | 1 | 2 | 114 | ![]() |
dst(P,pow(P,frc(D))) | 98700 | 138091134 | o2(x,o2(x,o1(x))) | true | 106407 | 106407 | -0.5 | 0.25 | 1 | 0.75 | 0.866 | -1 | 1 | 2 | 1 | 0.8113 | 0.007937 | 0.007937 | 0.007937 | 0 | 1 | 0 | 0.03187 | 0.01587 | 0.01581 | 0.1257 | 15.84 | 2 | 0.02116 | 0.0425 | 1 | 1 | 0.02105 | 0.08421 | 0.3368 | 0.02807 | 0.1123 | 0.4491 | json |
| t17_x1_u2_b115 | 17 | 1 | 2 | 115 | ![]() |
dst(P,mod(P,frc(D))) | 98701 | 138091135 | o2(x,o2(x,o1(x))) | true | 106415 | 106415 | -1 | 0 | 1 | 0 | 0 | -1 | -1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t17_x1_u2_b116 | 17 | 1 | 2 | 116 | ![]() |
dst(P,lrg(P,frc(D))) | 98702 | 138091136 | o2(x,o2(x,o1(x))) | true | 106423 | 106423 | 0.9847 | 0.9961 | 0.9847 | 0.0121 | 0.11 | 0 | 1 | 1 | 1 | 0.2446 | 0.00008448 | 0.00008448 | 0.001818 | 6.89e-7 | 1 | -1.389e-10 | 0.00001415 | 0.0004653 | 0.0001655 | 0.01286 | 7.075 | 0.1294 | 0.01396 | 0.00117 | 1 | 1 | 0.000585 | 0.007486 | 0.04233 | 0.04835 | 0.6187 | 3.499 | json |
| t17_x1_u2_b117 | 17 | 1 | 2 | 117 | ![]() |
dst(P,eql(P,frc(D))) | 98703 | 138091137 | o2(x,o2(x,o1(x))) | true | 106431 | 106431 | 1 | 1 | 1 | 0 | 0 | 1 | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t17_x1_u2_b118 | 17 | 1 | 2 | 118 | ![]() |
dst(P,min(P,frc(D))) | 98704 | 138091138 | o2(x,o2(x,o1(x))) | true | 106439 | 106439 | 0.6903 | 0.75 | 0.6903 | 0.2031 | 0.4506 | 0 | 1 | 1 | 1 | 1.372 | 0.001992 | 0.001992 | 0.007483 | 1.753e-7 | 1 | -2.009e-9 | 0.008712 | 0.0102 | 0.003929 | 0.06268 | 8.377 | 1.309 | 0.01962 | 0.04291 | 1 | 1 | 0.004953 | 0.01407 | 0.08029 | 0.02439 | 0.0693 | 0.3954 | json |
| t17_x1_u2_b119 | 17 | 1 | 2 | 119 | ![]() |
dst(P,dot(P,frc(D))) | 98705 | 138091139 | o2(x,o2(x,o1(x))) | true | 106447 | 106447 | 0.9955 | 1 | 0.9955 | 0.002651 | 0.05149 | 0.0005644 | 1 | 0.9994 | 1 | 0.1312 | 0.0000458 | 0.0000458 | 0.001052 | 6.751e-7 | 0 | 1.126e-11 | 0.00003297 | 0.0005196 | 0.00009043 | 0.009509 | 9.042 | 0.1511 | 0.03455 | 0.01243 | 1 | 1 | 0.0002992 | 0.003352 | 0.009682 | 0.1129 | 1.264 | 3.652 | json |
| t17_x1_u2_b120 | 17 | 1 | 2 | 120 | ![]() |
dst(P,dst(P,frc(D))) | 98706 | 138091140 | o2(x,o2(x,o1(x))) | true | 106455 | 106455 | 0.9995 | 1 | 0.9995 | 0.0001629 | 0.01277 | 0.0773 | 1 | 0.9227 | 1 | 0.0327 | 0.00005318 | 0.00005318 | 0.0003702 | 3.42e-8 | 1 | -1.877e-11 | 0.0002392 | 0.0004924 | 0.0001062 | 0.0103 | 27.83 | 0.9227 | 0.6527 | 1.468 | 1 | 1 | 0.0001944 | 0.0004912 | 0.0005931 | 1.193 | 3.015 | 3.64 | json |
| t17_x1_u3_b0 | 17 | 1 | 3 | 0 | ![]() |
add(P,add(P,flr(D))) | 98707 | 138091221 | o2(x,o2(x,o1(x))) | true | 106463 | 106463 | -0.03125 | 0.5 | 0.9688 | 0.9603 | 0.98 | -1 | 1 | 2 | 1 | 1.406 | 0.004323 | 0 | 0.007937 | 1 | 1 | -9.386e-13 | 0.007903 | 0.008812 | 0.004259 | 0.06526 | 8.223 | 1 | 0.004502 | 0.008229 | 1 | 1 | 0.006228 | 0.03975 | 0.2856 | 0.006485 | 0.04139 | 0.2974 | json |
| t17_x1_u3_b1 | 17 | 1 | 3 | 1 | ![]() |
add(P,sub(P,flr(D))) | 98708 | 138091222 | o2(x,o2(x,o1(x))) | true | 106471 | 106471 | 0.03125 | 0.5273 | 0.9688 | 0.9595 | 0.9796 | -1 | 1 | 2 | 1 | 1.408 | 0.007092 | 0 | 0.01586 | 1 | 1 | 0 | 0.009138 | 0.01315 | 0.006835 | 0.08268 | 5.213 | 0.9983 | 0.007391 | 0.009524 | 1 | 1 | 0.01275 | 0.06237 | 0.2845 | 0.01329 | 0.065 | 0.2965 | json |
| t17_x1_u3_b2 | 17 | 1 | 3 | 2 | ![]() |
add(P,mlt(P,flr(D))) | 98709 | 138091223 | o2(x,o2(x,o1(x))) | true | 106479 | 106479 | -0.05033 | 0.4375 | 0.6698 | 0.6202 | 0.7875 | -1 | 1 | 2 | 1 | 3.323 | 0.06927 | 0 | 0.1147 | 1 | 1 | -0.0006289 | 0.1207 | 0.1483 | 0.05611 | 0.2369 | 2.064 | 0.9997 | 0.1117 | 0.1946 | 1 | 1 | 0.07501 | 0.2172 | 0.1278 | 0.121 | 0.3503 | 0.2062 | json |
| t17_x1_u3_b3 | 17 | 1 | 3 | 3 | ![]() |
add(P,div(P,flr(D))) | 98710 | 138091224 | o2(x,o2(x,o1(x))) | true | 106487 | 106487 | -1 | 0 | 1 | 0 | 0 | -1 | -1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t17_x1_u3_b4 | 17 | 1 | 3 | 4 | ![]() |
add(P,pow(P,flr(D))) | 98711 | 138091225 | o2(x,o2(x,o1(x))) | true | 106495 | 106495 | 0.125 | 0.5625 | 1 | 0.9844 | 0.9922 | -1 | 1 | 2 | 1 | 0.9887 | 0.01587 | 0 | 0.007937 | 1 | 1 | 0 | 0.03175 | 0.01587 | 0.01581 | 0.1257 | 15.84 | 2 | 0.01612 | 0.03225 | 1 | 1 | 0.02105 | 0.08421 | 0.3368 | 0.02139 | 0.08555 | 0.3422 | json |
| t17_x1_u3_b5 | 17 | 1 | 3 | 5 | ![]() |
add(P,mod(P,flr(D))) | 98712 | 138091226 | o2(x,o2(x,o1(x))) | true | 106503 | 106503 | -1 | 0 | 1 | 0 | 0 | -1 | -1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t17_x1_u3_b6 | 17 | 1 | 3 | 6 | ![]() |
add(P,lrg(P,flr(D))) | 98713 | 138091227 | o2(x,o2(x,o1(x))) | true | 106511 | 106511 | 0.04098 | 0.5313 | 0.959 | 0.9453 | 0.9723 | -1 | 1 | 2 | 1 | 1.571 | 0.006022 | 0 | 0.01586 | 1 | 1 | 0 | 0.008334 | 0.01158 | 0.005766 | 0.07594 | 4.787 | 0.9988 | 0.006371 | 0.008816 | 1 | 1 | 0.01045 | 0.06016 | 0.2663 | 0.01105 | 0.06364 | 0.2817 | json |
| t17_x1_u3_b7 | 17 | 1 | 3 | 7 | ![]() |
add(P,eql(P,flr(D))) | 98714 | 138091228 | o2(x,o2(x,o1(x))) | true | 106519 | 106519 | 0.05277 | 0.5 | 0.9472 | 0.9342 | 0.9665 | -1 | 1 | 2 | 1 | 1.59 | 0.008936 | 0 | 0.01587 | 1 | 1 | 0 | 0.01612 | 0.01854 | 0.008679 | 0.09316 | 5.872 | 1 | 0.009566 | 0.01726 | 1 | 1 | 0.01301 | 0.05748 | 0.2515 | 0.01393 | 0.06153 | 0.2692 | json |
| t17_x1_u3_b8 | 17 | 1 | 3 | 8 | ![]() |
add(P,min(P,flr(D))) | 98715 | 138091229 | o2(x,o2(x,o1(x))) | true | 106527 | 106527 | -0.0625 | 0.4375 | 0.9375 | 0.9336 | 0.9662 | -1 | 1 | 2 | 1 | 1.272 | 0.007937 | 0 | 0.007937 | 1 | 1 | 0 | 0.01587 | 0.01587 | 0.007872 | 0.08872 | 11.18 | 1 | 0.008501 | 0.017 | 1 | 1 | 0.01053 | 0.04211 | 0.2526 | 0.01128 | 0.0451 | 0.2706 | json |
| t17_x1_u3_b9 | 17 | 1 | 3 | 9 | ![]() |
add(P,dot(P,flr(D))) | 98716 | 138091230 | o2(x,o2(x,o1(x))) | true | 106535 | 106535 | -0.08197 | 0.4531 | 0.8477 | 0.8034 | 0.8963 | -1 | 1 | 2 | 1 | 2.738 | 0.07708 | 0.07703 | 0.1564 | 0.0002834 | 1 | -0.0005906 | 0.2791 | 0.2136 | 0.1296 | 0.36 | 2.302 | 2.237 | 0.1918 | 0.3474 | 1 | 1 | 0.1613 | 0.5701 | 0.2215 | 0.2007 | 0.7096 | 0.2757 | json |
| t17_x1_u3_b10 | 17 | 1 | 3 | 10 | ![]() |
add(P,dst(P,flr(D))) | 98717 | 138091231 | o2(x,o2(x,o1(x))) | true | 106543 | 106543 | 0.816 | 0.9182 | 0.8857 | 0.1876 | 0.4332 | -0.9996 | 1 | 2 | 1 | 1.666 | 0.009471 | 0.003862 | 0.03112 | 0.4207 | 1 | 0.00004248 | 0.02412 | 0.03501 | 0.01237 | 0.1112 | 3.573 | 1.413 | 0.07106 | 0.1286 | 1 | 1 | 0.01692 | 0.06643 | 0.1235 | 0.09016 | 0.354 | 0.6583 | json |
| t17_x1_u3_b11 | 17 | 1 | 3 | 11 | ![]() |
sub(P,add(P,flr(D))) | 98718 | 138091232 | o2(x,o2(x,o1(x))) | true | 106551 | 106551 | 0.5 | 1 | 0.5 | 0.1418 | 0.3765 | 0.000291 | 0.9997 | 0.9994 | 1 | 3.406 | 0.06511 | 0 | 0.1228 | 1 | 1 | 0 | 0.1208 | 0.1337 | 0.05001 | 0.2236 | 1.821 | 0.9994 | 0.4593 | 0.8522 | 1 | 1 | 0.07073 | 0.2419 | 0 | 0.4989 | 1.706 | 0 | json |
| t17_x1_u3_b12 | 17 | 1 | 3 | 12 | ![]() |
sub(P,sub(P,flr(D))) | 98719 | 138091233 | o2(x,o2(x,o1(x))) | true | 106559 | 106559 | -0.5 | 0 | 0.5 | 0.1418 | 0.3765 | -0.9997 | -0.000291 | 0.9994 | 1 | 3.406 | 0.06511 | 0 | 0.1228 | 1 | 1 | 0 | 0.1208 | 0.1337 | 0.05001 | 0.2236 | 1.821 | 0.9994 | 0.4593 | 0.8522 | 1 | 1 | 0.07073 | 0.2419 | 0 | 0.4989 | 1.706 | 0 | json |
| t17_x1_u3_b13 | 17 | 1 | 3 | 13 | ![]() |
sub(P,mlt(P,flr(D))) | 98720 | 138091234 | o2(x,o2(x,o1(x))) | true | 106567 | 106567 | 0.009727 | 0.5 | 0.9472 | 0.9365 | 0.9677 | -1 | 1 | 2 | 1 | 1.65 | 0.001005 | 0 | 0.007937 | 1 | 1 | -4.731e-10 | 0.0001502 | 0.002719 | 0.0009424 | 0.0307 | 3.868 | 0.2265 | 0.001073 | 0.0001604 | 1 | 1 | 0.002565 | 0.02848 | 0.2515 | 0.002739 | 0.03041 | 0.2686 | json |
| t17_x1_u3_b14 | 17 | 1 | 3 | 14 | ![]() |
sub(P,div(P,flr(D))) | 98721 | 138091235 | o2(x,o2(x,o1(x))) | true | 106575 | 106575 | -1 | 0 | 1 | 0 | 0 | -1 | -1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t17_x1_u3_b15 | 17 | 1 | 3 | 15 | ![]() |
sub(P,pow(P,flr(D))) | 98722 | 138091236 | o2(x,o2(x,o1(x))) | true | 106583 | 106583 | -0.1183 | 0.4375 | 0.9442 | 0.9187 | 0.9585 | -1 | 1 | 2 | 1 | 1.673 | 0.0009156 | 0 | 0.007937 | 1 | 1 | 7.096e-10 | 0.0001396 | 0.002313 | 0.0008532 | 0.02921 | 3.68 | 0.1753 | 0.0009965 | 0.000152 | 1 | 1 | 0.002336 | 0.02745 | 0.2464 | 0.002543 | 0.02988 | 0.2682 | json |
| t17_x1_u3_b16 | 17 | 1 | 3 | 16 | ![]() |
sub(P,mod(P,flr(D))) | 98723 | 138091237 | o2(x,o2(x,o1(x))) | true | 106591 | 106591 | -1 | 0 | 1 | 0 | 0 | -1 | -1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t17_x1_u3_b17 | 17 | 1 | 3 | 17 | ![]() |
sub(P,lrg(P,flr(D))) | 98724 | 138091238 | o2(x,o2(x,o1(x))) | true | 106599 | 106599 | -0.09375 | 0.4375 | 0.9063 | 0.89 | 0.9434 | -1 | 1 | 2 | 1 | 1.621 | 0.004321 | 0 | 0.007937 | 1 | 1 | -4.731e-10 | 0.007953 | 0.008864 | 0.004257 | 0.06525 | 8.221 | 1 | 0.004855 | 0.008935 | 1 | 1 | 0.006189 | 0.0332 | 0.2014 | 0.006953 | 0.0373 | 0.2263 | json |
| t17_x1_u3_b18 | 17 | 1 | 3 | 18 | ![]() |
sub(P,eql(P,flr(D))) | 98725 | 138091239 | o2(x,o2(x,o1(x))) | true | 106607 | 106607 | -0.03125 | 0.4688 | 0.9493 | 0.9333 | 0.9661 | -1 | 1 | 2 | 1 | 1.703 | 0.005726 | 0 | 0.01587 | 1 | 1 | -1.892e-9 | 0.008166 | 0.01071 | 0.00547 | 0.07396 | 4.661 | 0.9991 | 0.006135 | 0.00875 | 1 | 1 | 0.009774 | 0.06252 | 0.2492 | 0.01047 | 0.06698 | 0.267 | json |
| t17_x1_u3_b19 | 17 | 1 | 3 | 19 | ![]() |
sub(P,min(P,flr(D))) | 98726 | 138091240 | o2(x,o2(x,o1(x))) | true | 106615 | 106615 | 0.5097 | 0.5625 | 0.5097 | 0.2393 | 0.4892 | 0 | 1 | 1 | 1 | 1.461 | 0.004966 | 0 | 0.0119 | 1 | 1 | -4.731e-10 | 0.008236 | 0.01066 | 0.004825 | 0.06946 | 5.838 | 0.9991 | 0.02075 | 0.03442 | 1 | 1 | 0.007711 | 0.02988 | 0.06998 | 0.03223 | 0.1249 | 0.2924 | json |
| t17_x1_u3_b20 | 17 | 1 | 3 | 20 | ![]() |
sub(P,dot(P,flr(D))) | 98727 | 138091241 | o2(x,o2(x,o1(x))) | true | 106623 | 106623 | 0.03165 | 0.5144 | 0.9537 | 0.9389 | 0.9689 | -1 | 1 | 2 | 1 | 1.725 | 0.01367 | 0.04355 | 0.05538 | -0.5223 | 1 | 0.0001227 | 0.1024 | 0.0728 | 0.05416 | 0.2327 | 4.203 | 2.103 | 0.06094 | 0.109 | 1 | 1 | 0.06115 | 0.2413 | 0.3219 | 0.06514 | 0.2571 | 0.3428 | json |
| t17_x1_u3_b21 | 17 | 1 | 3 | 21 | ![]() |
sub(P,dst(P,flr(D))) | 98728 | 138091242 | o2(x,o2(x,o1(x))) | true | 106631 | 106631 | -0.9569 | 0 | 0.9569 | 0.02502 | 0.1582 | -1 | -0.0003726 | 0.9996 | 1 | 0.7821 | 0.005328 | 0.001 | 0.01625 | 0.684 | 1 | -0.000002564 | 0.0117 | 0.01918 | 0.006069 | 0.0779 | 4.795 | 0.9994 | 0.2529 | 0.4677 | 1 | 1 | 0.008807 | 0.03356 | 0.02141 | 0.352 | 1.341 | 0.8557 | json |
| t17_x1_u3_b22 | 17 | 1 | 3 | 22 | ![]() |
mlt(P,add(P,flr(D))) | 98729 | 138091243 | o2(x,o2(x,o1(x))) | true | 106639 | 106639 | 0.9063 | 0.9375 | 0.9063 | 0.0782 | 0.2796 | 0 | 1 | 1 | 1 | 0.7448 | 0.004321 | 0 | 0.007937 | 1 | 1 | -4.731e-10 | 0.007953 | 0.008864 | 0.004257 | 0.06525 | 8.221 | 1 | 0.05526 | 0.1017 | 1 | 1 | 0.006189 | 0.0332 | 0.1172 | 0.07914 | 0.4245 | 1.499 | json |
| t17_x1_u3_b23 | 17 | 1 | 3 | 23 | ![]() |
mlt(P,sub(P,flr(D))) | 98730 | 138091244 | o2(x,o2(x,o1(x))) | true | 106647 | 106647 | 0.9312 | 1 | 0.9312 | 0.05083 | 0.2254 | 0.000291 | 1 | 0.9997 | 1 | 0.8284 | 0.005904 | 0 | 0.01586 | 1 | 1 | -1.419e-9 | 0.008721 | 0.01339 | 0.005649 | 0.07516 | 4.739 | 0.9985 | 0.1162 | 0.1716 | 1 | 1 | 0.009878 | 0.03993 | 0.07489 | 0.1944 | 0.7857 | 1.473 | json |
| t17_x1_u3_b24 | 17 | 1 | 3 | 24 | ![]() |
mlt(P,mlt(P,flr(D))) | 98731 | 138091245 | o2(x,o2(x,o1(x))) | true | 106655 | 106655 | -0.7522 | 0 | 0.7522 | 0.1539 | 0.3923 | -1 | 0 | 1 | 1 | 2.013 | 0.0755 | 0 | 0.1104 | 1 | 1 | 0.002583 | 0.1466 | 0.1652 | 0.06331 | 0.2516 | 2.279 | 0.9997 | 0.4907 | 0.9528 | 1 | 1 | 0.07889 | 0.1545 | 0.0817 | 0.5127 | 1.004 | 0.531 | json |
| t17_x1_u3_b25 | 17 | 1 | 3 | 25 | ![]() |
mlt(P,div(P,flr(D))) | 98732 | 138091246 | o2(x,o2(x,o1(x))) | true | 106663 | 106663 | -1 | 0 | 1 | 0 | 0 | -1 | -1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t17_x1_u3_b26 | 17 | 1 | 3 | 26 | ![]() |
mlt(P,pow(P,flr(D))) | 98733 | 138091247 | o2(x,o2(x,o1(x))) | true | 106671 | 106671 | -0.03125 | 0.5 | 0.9688 | 0.9603 | 0.98 | -1 | 1 | 2 | 1 | 1.406 | 0.004323 | 0 | 0.007937 | 1 | 1 | -9.386e-13 | 0.007903 | 0.008812 | 0.004259 | 0.06526 | 8.223 | 1 | 0.004502 | 0.008229 | 1 | 1 | 0.006228 | 0.03975 | 0.2856 | 0.006485 | 0.04139 | 0.2974 | json |
| t17_x1_u3_b27 | 17 | 1 | 3 | 27 | ![]() |
mlt(P,mod(P,flr(D))) | 98734 | 138091248 | o2(x,o2(x,o1(x))) | true | 106679 | 106679 | -1 | 0 | 1 | 0 | 0 | -1 | -1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t17_x1_u3_b28 | 17 | 1 | 3 | 28 | ![]() |
mlt(P,lrg(P,flr(D))) | 98735 | 138091249 | o2(x,o2(x,o1(x))) | true | 106687 | 106687 | 0.4688 | 0.5 | 0.4688 | 0.2423 | 0.4922 | 0 | 1 | 1 | 1 | 1.326 | 0.0003529 | 0 | 0.003968 | 1 | 1 | -4.731e-10 | 0.00001619 | 0.0009276 | 0.0003372 | 0.01836 | 4.628 | 0.1169 | 0.001457 | 0.00006684 | 1 | 1 | 0.0009255 | 0.01214 | 0.0751 | 0.00382 | 0.05012 | 0.31 | json |
| t17_x1_u3_b29 | 17 | 1 | 3 | 29 | ![]() |
mlt(P,eql(P,flr(D))) | 98736 | 138091250 | o2(x,o2(x,o1(x))) | true | 106695 | 106695 | -0.03125 | 0 | 0.03125 | 0.02351 | 0.1533 | -0.9997 | 0 | 0.9997 | 1 | 0.5501 | 0.004319 | 0 | 0.007934 | 1 | 1 | 2.365e-10 | 0.008002 | 0.008862 | 0.004255 | 0.06523 | 8.221 | 0.9997 | 0.1837 | 0.3404 | 1 | 1 | 0.00615 | 0.02664 | 0.03299 | 0.2616 | 1.133 | 1.403 | json |
| t17_x1_u3_b30 | 17 | 1 | 3 | 30 | ![]() |
mlt(P,min(P,flr(D))) | 98737 | 138091251 | o2(x,o2(x,o1(x))) | true | 106703 | 106703 | 0.1087 | 0.5 | 0.8288 | 0.7857 | 0.8864 | -1 | 1 | 2 | 1 | 2.549 | 0.03563 | 0 | 0.06341 | 1 | 1 | 2.365e-9 | 0.06116 | 0.07699 | 0.03161 | 0.1778 | 2.804 | 0.9991 | 0.04535 | 0.07785 | 1 | 1 | 0.0409 | 0.1197 | 0.1806 | 0.05206 | 0.1523 | 0.2298 | json |
| t17_x1_u3_b31 | 17 | 1 | 3 | 31 | ![]() |
mlt(P,dot(P,flr(D))) | 98738 | 138091252 | o2(x,o2(x,o1(x))) | true | 106711 | 106711 | -0.4711 | 0.2435 | 0.8839 | 0.6394 | 0.7996 | -1 | 1 | 2 | 1 | 2.063 | 0.1143 | 0.1033 | 0.1623 | 0.05071 | 1 | 0.000639 | 0.4831 | 0.2637 | 0.1913 | 0.4374 | 2.695 | 2.828 | 0.3403 | 0.7555 | 1 | 1 | 0.2119 | 0.6544 | 0.3708 | 0.3314 | 1.023 | 0.5799 | json |
| t17_x1_u3_b32 | 17 | 1 | 3 | 32 | ![]() |
mlt(P,dst(P,flr(D))) | 98739 | 138091253 | o2(x,o2(x,o1(x))) | true | 106719 | 106719 | 0.002184 | 0.5 | 0.9661 | 0.9603 | 0.98 | -1 | 1 | 2 | 1 | 1.429 | 0.002106 | 0.0001749 | 0.008584 | 0.8466 | 1 | -4.008e-9 | 0.001696 | 0.006309 | 0.002208 | 0.04699 | 5.475 | 1.412 | 0.002375 | 0.001766 | 1 | 1 | 0.004851 | 0.03843 | 0.2806 | 0.005051 | 0.04002 | 0.2922 | json |
| t17_x1_u3_b33 | 17 | 1 | 3 | 33 | ![]() |
div(P,add(P,flr(D))) | 98740 | 138091254 | o2(x,o2(x,o1(x))) | true | 106727 | 106727 | 0.7901 | 0.9375 | 0.9151 | 0.2433 | 0.4932 | -1 | 1 | 2 | 1 | 2.111 | 0.02247 | 0 | 0.02948 | 1 | 1 | 0.00001123 | 0.04391 | 0.03989 | 0.0216 | 0.147 | 4.985 | 2 | 0.09237 | 0.1805 | 1 | 1 | 0.03027 | 0.1317 | 0.3241 | 0.1244 | 0.5414 | 1.332 | json |
| t17_x1_u3_b34 | 17 | 1 | 3 | 34 | ![]() |
div(P,sub(P,flr(D))) | 98741 | 138091255 | o2(x,o2(x,o1(x))) | true | 106735 | 106735 | 0.6772 | 0.875 | 0.9272 | 0.4273 | 0.6537 | -1 | 1 | 2 | 1 | 2.109 | 0.05314 | 0 | 0.04184 | 1 | 1 | -0.000009985 | 0.1055 | 0.06731 | 0.05138 | 0.2267 | 5.417 | 2 | 0.1244 | 0.2469 | 1 | 1 | 0.07083 | 0.2806 | 0.3411 | 0.1658 | 0.6566 | 0.7984 | json |
| t17_x1_u3_b35 | 17 | 1 | 3 | 35 | ![]() |
div(P,mlt(P,flr(D))) | 98742 | 138091256 | o2(x,o2(x,o1(x))) | true | 106743 | 106743 | -1 | 0 | 1 | 0 | 0 | -1 | -1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t17_x1_u3_b36 | 17 | 1 | 3 | 36 | ![]() |
div(P,div(P,flr(D))) | 98743 | 138091257 | o2(x,o2(x,o1(x))) | true | 106751 | 106751 | -0.5625 | 0 | 0.5625 | 0.1514 | 0.3891 | -1 | -0.000291 | 0.9997 | 1 | 3.238 | 0.05647 | 0 | 0.1069 | 1 | 1 | 6.15e-9 | 0.1047 | 0.1159 | 0.04503 | 0.2122 | 1.984 | 0.9997 | 0.373 | 0.6913 | 1 | 1 | 0.05855 | 0.2076 | 0.06598 | 0.3867 | 1.372 | 0.4359 | json |
| t17_x1_u3_b37 | 17 | 1 | 3 | 37 | ![]() |
div(P,pow(P,flr(D))) | 98744 | 138091258 | o2(x,o2(x,o1(x))) | true | 106759 | 106759 | 0 | 0.5 | 0.9375 | 0.924 | 0.9612 | -1 | 1 | 2 | 1 | 1.813 | 0.0007059 | 0 | 0.007937 | 1 | 1 | 0 | 0.00003235 | 0.001851 | 0.0006432 | 0.02536 | 3.195 | 0.1169 | 0.0007639 | 0.00003501 | 1 | 1 | 0.001851 | 0.02449 | 0.2344 | 0.002003 | 0.0265 | 0.2537 | json |
| t17_x1_u3_b38 | 17 | 1 | 3 | 38 | ![]() |
div(P,mod(P,flr(D))) | 98745 | 138091259 | o2(x,o2(x,o1(x))) | true | 106767 | 106767 | -1 | 0 | 1 | 0 | 0 | -1 | -1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t17_x1_u3_b39 | 17 | 1 | 3 | 39 | ![]() |
div(P,lrg(P,flr(D))) | 98746 | 138091260 | o2(x,o2(x,o1(x))) | true | 106775 | 106775 | -0.125 | 0.4375 | 1 | 0.9844 | 0.9922 | -1 | 1 | 2 | 1 | 0.9887 | 0.01587 | 0 | 0.007937 | 1 | 1 | 0 | 0.03175 | 0.01587 | 0.01581 | 0.1257 | 15.84 | 2 | 0.01612 | 0.03225 | 1 | 1 | 0.02105 | 0.08421 | 0.3368 | 0.02139 | 0.08555 | 0.3422 | json |
| t17_x1_u3_b40 | 17 | 1 | 3 | 40 | ![]() |
div(P,eql(P,flr(D))) | 98747 | 138091261 | o2(x,o2(x,o1(x))) | true | 106783 | 106783 | -0.875 | 0.0625 | 1 | 0.2344 | 0.4841 | -1 | 1 | 2 | 1 | 0.3373 | 0.03175 | 0 | 0.01587 | 1 | 1 | 0 | 0.06349 | 0.03175 | 0.03149 | 0.1774 | 11.18 | 2 | 0.1354 | 0.2709 | 1 | 1 | 0.04211 | 0.1684 | 0.3368 | 0.1796 | 0.7186 | 1.437 | json |
| t17_x1_u3_b41 | 17 | 1 | 3 | 41 | ![]() |
div(P,min(P,flr(D))) | 98748 | 138091262 | o2(x,o2(x,o1(x))) | true | 106791 | 106791 | -0.03125 | 0.5 | 0.9688 | 0.9603 | 0.98 | -1 | 1 | 2 | 1 | 1.406 | 0.004323 | 0 | 0.007937 | 1 | 1 | 3.784e-9 | 0.007903 | 0.008812 | 0.004259 | 0.06526 | 8.223 | 1 | 0.004502 | 0.008229 | 1 | 1 | 0.006228 | 0.03975 | 0.2856 | 0.006485 | 0.04139 | 0.2974 | json |
| t17_x1_u3_b42 | 17 | 1 | 3 | 42 | ![]() |
div(P,dot(P,flr(D))) | 98749 | 138091263 | o2(x,o2(x,o1(x))) | true | 106799 | 106799 | -1 | 0 | 1 | 0 | 0 | -1 | -1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t17_x1_u3_b43 | 17 | 1 | 3 | 43 | ![]() |
div(P,dst(P,flr(D))) | 98750 | 138091264 | o2(x,o2(x,o1(x))) | true | 106807 | 106807 | -0.04855 | 0.4894 | 0.6391 | 0.4886 | 0.699 | -1 | 1 | 2 | 1 | 4.721 | 0.002727 | 0.001975 | 0.02057 | 0.1598 | 1 | 0.000002893 | 0.009399 | 0.0222 | 0.004279 | 0.06542 | 3.18 | 2.468 | 0.009624 | 0.01924 | 1 | 1 | 0.008277 | 0.03632 | 0.117 | 0.01694 | 0.07435 | 0.2396 | json |
| t17_x1_u3_b44 | 17 | 1 | 3 | 44 | ![]() |
pow(P,add(P,flr(D))) | 98751 | 138091265 | o2(x,o2(x,o1(x))) | true | 106815 | 106815 | 0 | 0.5 | 1 | 1 | 1 | -1 | 1 | 2 | 1 | 1 | 0.01587 | 0 | 0.007937 | 1 | 1 | 0 | 0.03175 | 0.01587 | 0.01581 | 0.1257 | 15.84 | 2 | 0.01587 | 0.03175 | 1 | 1 | 0.02105 | 0.08421 | 0.3368 | 0.02105 | 0.08421 | 0.3368 | json |
| t17_x1_u3_b45 | 17 | 1 | 3 | 45 | ![]() |
pow(P,sub(P,flr(D))) | 98752 | 138091266 | o2(x,o2(x,o1(x))) | true | 106823 | 106823 | 0 | 0.5 | 1 | 1 | 1 | -1 | 1 | 2 | 1 | 1 | 0.01587 | 0 | 0.007937 | 1 | 1 | 0 | 0.03175 | 0.01587 | 0.01581 | 0.1257 | 15.84 | 2 | 0.01587 | 0.03175 | 1 | 1 | 0.02105 | 0.08421 | 0.3368 | 0.02105 | 0.08421 | 0.3368 | json |
| t17_x1_u3_b46 | 17 | 1 | 3 | 46 | ![]() |
pow(P,mlt(P,flr(D))) | 98753 | 138091267 | o2(x,o2(x,o1(x))) | true | 106831 | 106831 | -0.08465 | 0.5625 | 0.7903 | 0.7319 | 0.8555 | -1 | 1 | 2 | 1 | 2.795 | 0.03988 | 0 | 0.05716 | 1 | 1 | -0.00008985 | 0.07591 | 0.06729 | 0.03662 | 0.1914 | 3.348 | 2 | 0.05449 | 0.1037 | 1 | 1 | 0.04584 | 0.1741 | 0.3624 | 0.06262 | 0.2379 | 0.4952 | json |
| t17_x1_u3_b47 | 17 | 1 | 3 | 47 | ![]() |
pow(P,div(P,flr(D))) | 98754 | 138091268 | o2(x,o2(x,o1(x))) | true | 106839 | 106839 | -0.8984 | 0.0625 | 0.9766 | 0.1598 | 0.3997 | -1 | 0.9998 | 2 | 1 | 0.5248 | 0.02227 | 0 | 0.01587 | 1 | 1 | -9.461e-10 | 0.04418 | 0.02645 | 0.02201 | 0.1484 | 9.348 | 2 | 0.1394 | 0.2766 | 1 | 1 | 0.02977 | 0.1202 | 0.2291 | 0.1864 | 0.7527 | 1.434 | json |
| t17_x1_u3_b48 | 17 | 1 | 3 | 48 | ![]() |
pow(P,pow(P,flr(D))) | 98755 | 138091269 | o2(x,o2(x,o1(x))) | true | 106847 | 106847 | -0.03125 | 0.5 | 0.9688 | 0.9603 | 0.98 | -1 | 1 | 2 | 1 | 1.406 | 0.004323 | 0 | 0.007937 | 1 | 1 | -9.386e-13 | 0.007903 | 0.008812 | 0.004259 | 0.06526 | 8.223 | 1 | 0.004502 | 0.008229 | 1 | 1 | 0.006228 | 0.03975 | 0.2856 | 0.006485 | 0.04139 | 0.2974 | json |
| t17_x1_u3_b49 | 17 | 1 | 3 | 49 | ![]() |
pow(P,mod(P,flr(D))) | 98756 | 138091270 | o2(x,o2(x,o1(x))) | true | 106855 | 106855 | -0.875 | 0.0625 | 1 | 0.2344 | 0.4841 | -1 | 1 | 2 | 1 | 0.3373 | 0.03175 | 0 | 0.01587 | 1 | 1 | 0 | 0.06349 | 0.03175 | 0.03149 | 0.1774 | 11.18 | 2 | 0.1354 | 0.2709 | 1 | 1 | 0.04211 | 0.1684 | 0.3368 | 0.1796 | 0.7186 | 1.437 | json |
| t17_x1_u3_b50 | 17 | 1 | 3 | 50 | ![]() |
pow(P,lrg(P,flr(D))) | 98757 | 138091271 | o2(x,o2(x,o1(x))) | true | 106863 | 106863 | 0.9688 | 1 | 0.9688 | 0.02351 | 0.1533 | 0.000291 | 1 | 0.9997 | 1 | 0.459 | 0.004319 | 0 | 0.007934 | 1 | 1 | 0 | 0.008002 | 0.008862 | 0.004255 | 0.06523 | 8.221 | 0.9997 | 0.1837 | 0.3404 | 1 | 1 | 0.00615 | 0.02664 | 0.03299 | 0.2616 | 1.133 | 1.403 | json |
| t17_x1_u3_b51 | 17 | 1 | 3 | 51 | ![]() |
pow(P,eql(P,flr(D))) | 98758 | 138091272 | o2(x,o2(x,o1(x))) | true | 106871 | 106871 | 0.8438 | 0.9375 | 0.9688 | 0.2501 | 0.5001 | -1 | 1 | 2 | 1 | 0.7915 | 0.03606 | 0 | 0.02381 | 1 | 1 | 0 | 0.07149 | 0.04061 | 0.03551 | 0.1884 | 7.915 | 2 | 0.1442 | 0.2859 | 1 | 1 | 0.04825 | 0.1951 | 0.2856 | 0.193 | 0.78 | 1.142 | json |
| t17_x1_u3_b52 | 17 | 1 | 3 | 52 | ![]() |
pow(P,min(P,flr(D))) | 98759 | 138091273 | o2(x,o2(x,o1(x))) | true | 106879 | 106879 | -0.1651 | 0.5 | 0.8349 | 0.7425 | 0.8617 | -1 | 1 | 2 | 1 | 2.681 | 0.0305 | 0 | 0.04634 | 1 | 1 | -0.00007861 | 0.05855 | 0.05565 | 0.02836 | 0.1684 | 3.634 | 2 | 0.04108 | 0.07885 | 1 | 1 | 0.03508 | 0.1356 | 0.3077 | 0.04725 | 0.1826 | 0.4144 | json |
| t17_x1_u3_b53 | 17 | 1 | 3 | 53 | ![]() |
pow(P,dot(P,flr(D))) | 98760 | 138091274 | o2(x,o2(x,o1(x))) | true | 106887 | 106887 | -0.2509 | 0.4675 | 0.8038 | 0.7052 | 0.8398 | -1 | 1 | 2 | 1 | 2.443 | 0.02649 | 0.01201 | 0.05411 | 0.3761 | 1 | -0.0003791 | 0.07962 | 0.075 | 0.03557 | 0.1886 | 3.486 | 2.236 | 0.05459 | 0.1129 | 1 | 1 | 0.04634 | 0.1646 | 0.3135 | 0.06572 | 0.2334 | 0.4445 | json |
| t17_x1_u3_b54 | 17 | 1 | 3 | 54 | ![]() |
pow(P,dst(P,flr(D))) | 98761 | 138091275 | o2(x,o2(x,o1(x))) | true | 106895 | 106895 | -0.0293 | 0.5 | 0.9707 | 0.9626 | 0.9811 | -1 | 1 | 2 | 1 | 1.4 | 0.004997 | 0.0002149 | 0.008338 | 0.9176 | 1 | -8.354e-11 | 0.00978 | 0.009733 | 0.005142 | 0.07171 | 8.6 | 2 | 0.005415 | 0.01016 | 1 | 1 | 0.00777 | 0.04476 | 0.2912 | 0.008072 | 0.0465 | 0.3025 | json |
| t17_x1_u3_b55 | 17 | 1 | 3 | 55 | ![]() |
mod(P,add(P,flr(D))) | 98762 | 138091276 | o2(x,o2(x,o1(x))) | true | 106903 | 106903 | -0.1409 | 0.375 | 0.7034 | 0.6489 | 0.8055 | -1 | 1 | 2 | 1 | 2.911 | 0.03617 | 0 | 0.05867 | 1 | 1 | 0.0006289 | 0.06588 | 0.07539 | 0.03272 | 0.1809 | 3.083 | 1 | 0.05575 | 0.1015 | 1 | 1 | 0.04966 | 0.1805 | 0.2711 | 0.07654 | 0.2782 | 0.4179 | json |
| t17_x1_u3_b56 | 17 | 1 | 3 | 56 | ![]() |
mod(P,sub(P,flr(D))) | 98763 | 138091277 | o2(x,o2(x,o1(x))) | true | 106911 | 106911 | -0.01861 | 0.4375 | 0.758 | 0.7233 | 0.8505 | -1 | 1 | 2 | 1 | 2.853 | 0.04128 | 0 | 0.0673 | 1 | 1 | 0.00008984 | 0.07431 | 0.08641 | 0.03675 | 0.1917 | 2.848 | 1.001 | 0.05706 | 0.1027 | 1 | 1 | 0.05929 | 0.2115 | 0.2751 | 0.08197 | 0.2924 | 0.3804 | json |
| t17_x1_u3_b57 | 17 | 1 | 3 | 57 | ![]() |
mod(P,mlt(P,flr(D))) | 98764 | 138091278 | o2(x,o2(x,o1(x))) | true | 106919 | 106919 | -1 | 0 | 1 | 0 | 0 | -1 | -1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t17_x1_u3_b58 | 17 | 1 | 3 | 58 | ![]() |
mod(P,div(P,flr(D))) | 98765 | 138091279 | o2(x,o2(x,o1(x))) | true | 106927 | 106927 | -1 | 0 | 1 | 0 | 0 | -1 | -1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t17_x1_u3_b59 | 17 | 1 | 3 | 59 | ![]() |
mod(P,pow(P,flr(D))) | 98766 | 138091280 | o2(x,o2(x,o1(x))) | true | 106935 | 106935 | -0.4885 | 0.1172 | 0.5115 | 0.263 | 0.5128 | -1 | 0.1999 | 1.2 | 1 | 1.71 | 0.004261 | 0 | 0.006877 | 1 | 1 | -4.356e-13 | 0.00848 | 0.01119 | 0.004213 | 0.06491 | 9.438 | 1 | 0.0162 | 0.03225 | 1 | 1 | 0.005606 | 0.02257 | 0.08637 | 0.02132 | 0.08584 | 0.3285 | json |
| t17_x1_u3_b60 | 17 | 1 | 3 | 60 | ![]() |
mod(P,mod(P,flr(D))) | 98767 | 138091281 | o2(x,o2(x,o1(x))) | true | 106943 | 106943 | -1 | 0 | 1 | 0 | 0 | -1 | -1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t17_x1_u3_b61 | 17 | 1 | 3 | 61 | ![]() |
mod(P,lrg(P,flr(D))) | 98768 | 138091282 | o2(x,o2(x,o1(x))) | true | 106951 | 106951 | -0.5625 | 0 | 0.5625 | 0.2461 | 0.4961 | -1 | 0 | 1 | 1 | 0.9887 | 0.003968 | 0 | 0.003968 | 1 | 1 | 0 | 0.007937 | 0.007937 | 0.003952 | 0.06287 | 15.84 | 1 | 0.01612 | 0.03225 | 1 | 1 | 0.005263 | 0.02105 | 0.08421 | 0.02139 | 0.08555 | 0.3422 | json |
| t17_x1_u3_b62 | 17 | 1 | 3 | 62 | ![]() |
mod(P,eql(P,flr(D))) | 98769 | 138091283 | o2(x,o2(x,o1(x))) | true | 106959 | 106959 | -1 | 0 | 1 | 0 | 0 | -1 | -1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t17_x1_u3_b63 | 17 | 1 | 3 | 63 | ![]() |
mod(P,min(P,flr(D))) | 98770 | 138091284 | o2(x,o2(x,o1(x))) | true | 106967 | 106967 | -0.7503 | 0 | 0.7503 | 0.1774 | 0.4212 | -1 | 0 | 1 | 1 | 1.304 | 0.008035 | 0 | 0.01901 | 1 | 1 | 0.0006289 | 0.01019 | 0.01899 | 0.007676 | 0.08762 | 4.608 | 1 | 0.0453 | 0.05743 | 1 | 1 | 0.01196 | 0.07328 | 0.1835 | 0.06741 | 0.4131 | 1.035 | json |
| t17_x1_u3_b64 | 17 | 1 | 3 | 64 | ![]() |
mod(P,dot(P,flr(D))) | 98771 | 138091285 | o2(x,o2(x,o1(x))) | true | 106975 | 106975 | -1 | 0 | 1 | 0 | 0 | -1 | -1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t17_x1_u3_b65 | 17 | 1 | 3 | 65 | ![]() |
mod(P,dst(P,flr(D))) | 98772 | 138091286 | o2(x,o2(x,o1(x))) | true | 106983 | 106983 | -0.00001342 | 0.4922 | 0.9242 | 0.9055 | 0.9516 | -1 | 1 | 2 | 1 | 2.031 | 0.005539 | 0.004801 | 0.02175 | 0.07137 | 1 | 0.000002196 | 0.02009 | 0.02436 | 0.009873 | 0.09936 | 4.568 | 2.828 | 0.01142 | 0.02219 | 1 | 1 | 0.01796 | 0.07776 | 0.2641 | 0.01983 | 0.08588 | 0.2916 | json |
| t17_x1_u3_b66 | 17 | 1 | 3 | 66 | ![]() |
lrg(P,add(P,flr(D))) | 98773 | 138091287 | o2(x,o2(x,o1(x))) | true | 106991 | 106991 | 0.5 | 1 | 0.5 | 0.1418 | 0.3765 | 0.000291 | 0.9997 | 0.9994 | 1 | 3.406 | 0.06511 | 0 | 0.1228 | 1 | 1 | 0 | 0.1208 | 0.1337 | 0.05001 | 0.2236 | 1.821 | 0.9994 | 0.4593 | 0.8522 | 1 | 1 | 0.07073 | 0.2419 | 0 | 0.4989 | 1.706 | 0 | json |
| t17_x1_u3_b67 | 17 | 1 | 3 | 67 | ![]() |
lrg(P,sub(P,flr(D))) | 98774 | 138091288 | o2(x,o2(x,o1(x))) | true | 106999 | 106999 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t17_x1_u3_b68 | 17 | 1 | 3 | 68 | ![]() |
lrg(P,mlt(P,flr(D))) | 98775 | 138091289 | o2(x,o2(x,o1(x))) | true | 107007 | 107007 | 0.4688 | 0.5 | 0.4688 | 0.2423 | 0.4922 | 0 | 1 | 1 | 1 | 1.326 | 0.0003529 | 0 | 0.003968 | 1 | 1 | -4.731e-10 | 0.00001619 | 0.0009276 | 0.0003372 | 0.01836 | 4.628 | 0.1169 | 0.001457 | 0.00006684 | 1 | 1 | 0.0009255 | 0.01214 | 0.0751 | 0.00382 | 0.05012 | 0.31 | json |
| t17_x1_u3_b69 | 17 | 1 | 3 | 69 | ![]() |
lrg(P,div(P,flr(D))) | 98776 | 138091290 | o2(x,o2(x,o1(x))) | true | 107015 | 107015 | 0.5313 | 1 | 0.5313 | 0.1475 | 0.3841 | 0.000291 | 1 | 0.9997 | 1 | 3.332 | 0.06476 | 0 | 0.1188 | 1 | 1 | 0.0001797 | 0.1207 | 0.1327 | 0.05061 | 0.225 | 1.893 | 0.9997 | 0.4389 | 0.8181 | 1 | 1 | 0.06988 | 0.2424 | 0.05687 | 0.4737 | 1.643 | 0.3855 | json |
| t17_x1_u3_b70 | 17 | 1 | 3 | 70 | ![]() |
lrg(P,pow(P,flr(D))) | 98777 | 138091291 | o2(x,o2(x,o1(x))) | true | 107023 | 107023 | 0.625 | 0.875 | 0.625 | 0.1803 | 0.4246 | 0 | 1 | 1 | 1 | 2.555 | 0.03057 | 0 | 0.05938 | 1 | 1 | -0.00008984 | 0.05632 | 0.06286 | 0.02705 | 0.1645 | 2.77 | 0.9997 | 0.1696 | 0.3124 | 1 | 1 | 0.03151 | 0.1181 | 0.1081 | 0.1748 | 0.6554 | 0.5996 | json |
| t17_x1_u3_b71 | 17 | 1 | 3 | 71 | ![]() |
lrg(P,mod(P,flr(D))) | 98778 | 138091292 | o2(x,o2(x,o1(x))) | true | 107031 | 107031 | 0.75 | 1 | 0.75 | 0.1334 | 0.3652 | 0.000291 | 1 | 0.9997 | 1 | 2.329 | 0.03453 | 0 | 0.06335 | 1 | 1 | 0.00008984 | 0.06436 | 0.07079 | 0.03052 | 0.1747 | 2.758 | 0.9997 | 0.2589 | 0.4825 | 1 | 1 | 0.0367 | 0.1263 | 0.03299 | 0.2751 | 0.9469 | 0.2473 | json |
| t17_x1_u3_b72 | 17 | 1 | 3 | 72 | ![]() |
lrg(P,lrg(P,flr(D))) | 98779 | 138091293 | o2(x,o2(x,o1(x))) | true | 107039 | 107039 | 0.4063 | 0.4375 | 0.4063 | 0.2344 | 0.4842 | 0 | 1 | 1 | 1 | 1.302 | 0.0003529 | 0 | 0.003968 | 1 | 1 | -4.731e-10 | 0.00001619 | 0.0009276 | 0.0003372 | 0.01836 | 4.628 | 0.1169 | 0.001505 | 0.00006906 | 1 | 1 | 0.0009255 | 0.01214 | 0.0751 | 0.003947 | 0.0518 | 0.3203 | json |
| t17_x1_u3_b73 | 17 | 1 | 3 | 73 | ![]() |
lrg(P,eql(P,flr(D))) | 98780 | 138091294 | o2(x,o2(x,o1(x))) | true | 107047 | 107047 | 0.4688 | 0.5 | 0.4688 | 0.2423 | 0.4922 | 0 | 1 | 1 | 1 | 1.326 | 0.0003529 | 0 | 0.003968 | 1 | 1 | -4.731e-10 | 0.00001619 | 0.0009276 | 0.0003372 | 0.01836 | 4.628 | 0.1169 | 0.001457 | 0.00006684 | 1 | 1 | 0.0009255 | 0.01214 | 0.0751 | 0.00382 | 0.05012 | 0.31 | json |
| t17_x1_u3_b74 | 17 | 1 | 3 | 74 | ![]() |
lrg(P,min(P,flr(D))) | 98781 | 138091295 | o2(x,o2(x,o1(x))) | true | 107055 | 107055 | 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_x1_u3_b75 | 17 | 1 | 3 | 75 | ![]() |
lrg(P,dot(P,flr(D))) | 98782 | 138091296 | o2(x,o2(x,o1(x))) | true | 107063 | 107063 | 0.4844 | 0.6099 | 0.4844 | 0.2209 | 0.47 | 0 | 1 | 1 | 1 | 2.071 | 0.003468 | 0.01039 | 0.03036 | -0.4994 | 1 | 0.0000656 | 0.02638 | 0.03261 | 0.01293 | 0.1137 | 3.746 | 0.9997 | 0.06273 | 0.1194 | 1 | 1 | 0.01544 | 0.06175 | 0.08142 | 0.06987 | 0.2795 | 0.3686 | json |
| t17_x1_u3_b76 | 17 | 1 | 3 | 76 | ![]() |
lrg(P,dst(P,flr(D))) | 98783 | 138091297 | o2(x,o2(x,o1(x))) | true | 107071 | 107071 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t17_x1_u3_b77 | 17 | 1 | 3 | 77 | ![]() |
eql(P,add(P,flr(D))) | 98784 | 138091298 | o2(x,o2(x,o1(x))) | true | 107079 | 107079 | 0.5 | 1 | 0.5 | 0.1418 | 0.3765 | 0.000291 | 0.9997 | 0.9994 | 1 | 3.406 | 0.06511 | 0 | 0.1228 | 1 | 1 | 0 | 0.1208 | 0.1337 | 0.05001 | 0.2236 | 1.821 | 0.9994 | 0.4593 | 0.8522 | 1 | 1 | 0.07073 | 0.2419 | 0 | 0.4989 | 1.706 | 0 | json |
| t17_x1_u3_b78 | 17 | 1 | 3 | 78 | ![]() |
eql(P,sub(P,flr(D))) | 98785 | 138091299 | o2(x,o2(x,o1(x))) | true | 107087 | 107087 | 0.5 | 1 | 0.5 | 0.1418 | 0.3765 | 0.000291 | 0.9997 | 0.9994 | 1 | 3.406 | 0.06511 | 0 | 0.1228 | 1 | 1 | 0 | 0.1208 | 0.1337 | 0.05001 | 0.2236 | 1.821 | 0.9994 | 0.4593 | 0.8522 | 1 | 1 | 0.07073 | 0.2419 | 0 | 0.4989 | 1.706 | 0 | json |
| t17_x1_u3_b79 | 17 | 1 | 3 | 79 | ![]() |
eql(P,mlt(P,flr(D))) | 98786 | 138091300 | o2(x,o2(x,o1(x))) | true | 107095 | 107095 | 0.0625 | 0.125 | 0.0625 | 0.04507 | 0.2123 | 0 | 0.9997 | 0.9997 | 1 | 0.8126 | 0.0007059 | 0 | 0.007934 | 1 | 1 | -9.461e-10 | 0.00003241 | 0.001855 | 0.0006433 | 0.02536 | 3.197 | 0.1169 | 0.01566 | 0.0007193 | 1 | 1 | 0.001851 | 0.02408 | 0.06598 | 0.04107 | 0.5344 | 1.464 | json |
| t17_x1_u3_b80 | 17 | 1 | 3 | 80 | ![]() |
eql(P,div(P,flr(D))) | 98787 | 138091301 | o2(x,o2(x,o1(x))) | true | 107103 | 107103 | 0.03125 | 0.0625 | 0.03125 | 0.02351 | 0.1533 | 0 | 0.9997 | 0.9997 | 1 | 0.459 | 0.004319 | 0 | 0.007934 | 1 | 1 | -2.365e-10 | 0.008002 | 0.008862 | 0.004255 | 0.06523 | 8.221 | 0.9997 | 0.1837 | 0.3404 | 1 | 1 | 0.00615 | 0.02664 | 0.03299 | 0.2616 | 1.133 | 1.403 | json |
| t17_x1_u3_b81 | 17 | 1 | 3 | 81 | ![]() |
eql(P,pow(P,flr(D))) | 98788 | 138091302 | o2(x,o2(x,o1(x))) | true | 107111 | 107111 | 0.0625 | 0.125 | 0.0625 | 0.04507 | 0.2123 | 0 | 0.9997 | 0.9997 | 1 | 0.8126 | 0.0007059 | 0 | 0.007934 | 1 | 1 | -9.461e-10 | 0.00003241 | 0.001855 | 0.0006433 | 0.02536 | 3.197 | 0.1169 | 0.01566 | 0.0007193 | 1 | 1 | 0.001851 | 0.02408 | 0.06598 | 0.04107 | 0.5344 | 1.464 | json |
| t17_x1_u3_b82 | 17 | 1 | 3 | 82 | ![]() |
eql(P,mod(P,flr(D))) | 98789 | 138091303 | o2(x,o2(x,o1(x))) | true | 107119 | 107119 | 0.03125 | 0.0625 | 0.03125 | 0.02351 | 0.1533 | 0 | 0.9997 | 0.9997 | 1 | 0.459 | 0.004319 | 0 | 0.007934 | 1 | 1 | -2.365e-10 | 0.008002 | 0.008862 | 0.004255 | 0.06523 | 8.221 | 0.9997 | 0.1837 | 0.3404 | 1 | 1 | 0.00615 | 0.02664 | 0.03299 | 0.2616 | 1.133 | 1.403 | json |
| t17_x1_u3_b83 | 17 | 1 | 3 | 83 | ![]() |
eql(P,lrg(P,flr(D))) | 98790 | 138091304 | o2(x,o2(x,o1(x))) | true | 107127 | 107127 | 0.09375 | 0.125 | 0.09375 | 0.0782 | 0.2796 | 0 | 1 | 1 | 1 | 0.7448 | 0.004321 | 0 | 0.007937 | 1 | 1 | -4.731e-10 | 0.007953 | 0.008864 | 0.004257 | 0.06525 | 8.221 | 1 | 0.05526 | 0.1017 | 1 | 1 | 0.006189 | 0.0332 | 0.1172 | 0.07914 | 0.4245 | 1.499 | json |
| t17_x1_u3_b84 | 17 | 1 | 3 | 84 | ![]() |
eql(P,eql(P,flr(D))) | 98791 | 138091305 | o2(x,o2(x,o1(x))) | true | 107135 | 107135 | 0.03125 | 0.0625 | 0.03125 | 0.02351 | 0.1533 | 0 | 0.9997 | 0.9997 | 1 | 0.459 | 0.004319 | 0 | 0.007934 | 1 | 1 | -2.365e-10 | 0.008002 | 0.008862 | 0.004255 | 0.06523 | 8.221 | 0.9997 | 0.1837 | 0.3404 | 1 | 1 | 0.00615 | 0.02664 | 0.03299 | 0.2616 | 1.133 | 1.403 | json |
| t17_x1_u3_b85 | 17 | 1 | 3 | 85 | ![]() |
eql(P,min(P,flr(D))) | 98792 | 138091306 | o2(x,o2(x,o1(x))) | true | 107143 | 107143 | 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_x1_u3_b86 | 17 | 1 | 3 | 86 | ![]() |
eql(P,dot(P,flr(D))) | 98793 | 138091307 | o2(x,o2(x,o1(x))) | true | 107151 | 107151 | 0.05469 | 0.1894 | 0.05469 | 0.03178 | 0.1783 | 0 | 0.9997 | 0.9997 | 1 | 0.9757 | 0.002503 | 0.005128 | 0.01893 | -0.3439 | 1 | 0.000001436 | 0.01445 | 0.01946 | 0.007273 | 0.08528 | 4.505 | 1.414 | 0.2401 | 0.4545 | 1 | 1 | 0.01097 | 0.05153 | 0.06207 | 0.3452 | 1.621 | 1.953 | json |
| t17_x1_u3_b87 | 17 | 1 | 3 | 87 | ![]() |
eql(P,dst(P,flr(D))) | 98794 | 138091308 | o2(x,o2(x,o1(x))) | true | 107159 | 107159 | 0.01562 | 0.05908 | 0.01562 | 0.009349 | 0.09669 | 0 | 0.9994 | 0.9994 | 1 | 0.3551 | 0.001718 | 0.001719 | 0.007239 | -0.0002365 | 1 | -0.000005705 | 0.006984 | 0.008784 | 0.003382 | 0.05815 | 8.033 | 0.9994 | 0.3676 | 0.747 | 1 | 1 | 0.005027 | 0.01955 | 0.01343 | 0.5378 | 2.091 | 1.437 | json |
| t17_x1_u3_b88 | 17 | 1 | 3 | 88 | ![]() |
min(P,add(P,flr(D))) | 98795 | 138091309 | o2(x,o2(x,o1(x))) | true | 107167 | 107167 | -0.0625 | 0.4375 | 0.9375 | 0.9336 | 0.9662 | -1 | 1 | 2 | 1 | 1.272 | 0.007937 | 0 | 0.007937 | 1 | 1 | 0 | 0.01587 | 0.01587 | 0.007872 | 0.08872 | 11.18 | 1 | 0.008501 | 0.017 | 1 | 1 | 0.01053 | 0.04211 | 0.2526 | 0.01128 | 0.0451 | 0.2706 | json |
| t17_x1_u3_b89 | 17 | 1 | 3 | 89 | ![]() |
min(P,sub(P,flr(D))) | 98796 | 138091310 | o2(x,o2(x,o1(x))) | true | 107175 | 107175 | 0 | 0.5 | 0.9375 | 0.924 | 0.9612 | -1 | 1 | 2 | 1 | 1.813 | 0.0007059 | 0 | 0.007937 | 1 | 1 | 0 | 0.00003235 | 0.001851 | 0.0006432 | 0.02536 | 3.195 | 0.1169 | 0.0007639 | 0.00003501 | 1 | 1 | 0.001851 | 0.02449 | 0.2344 | 0.002003 | 0.0265 | 0.2537 | json |
| t17_x1_u3_b90 | 17 | 1 | 3 | 90 | ![]() |
min(P,mlt(P,flr(D))) | 98797 | 138091311 | o2(x,o2(x,o1(x))) | true | 107183 | 107183 | -0.8288 | 0 | 0.8288 | 0.1106 | 0.3325 | -1 | -0.000291 | 0.9997 | 1 | 1.651 | 0.03563 | 0 | 0.06341 | 1 | 1 | 3.311e-9 | 0.06116 | 0.077 | 0.03161 | 0.1778 | 2.804 | 0.9991 | 0.3222 | 0.5532 | 1 | 1 | 0.0409 | 0.1193 | 0.06503 | 0.3699 | 1.079 | 0.5881 | json |
| t17_x1_u3_b91 | 17 | 1 | 3 | 91 | ![]() |
min(P,div(P,flr(D))) | 98798 | 138091312 | o2(x,o2(x,o1(x))) | true | 107191 | 107191 | -0.569 | 0.207 | 0.931 | 0.5895 | 0.7678 | -1 | 1 | 2 | 1 | 1.653 | 0.1607 | 0 | 0.119 | 1 | 1 | -1.877e-12 | 0.2732 | 0.172 | 0.1466 | 0.3828 | 3.216 | 2 | 0.2726 | 0.4635 | 1 | 1 | 0.1808 | 0.7731 | 0.09579 | 0.3067 | 1.312 | 0.1625 | json |
| t17_x1_u3_b92 | 17 | 1 | 3 | 92 | ![]() |
min(P,pow(P,flr(D))) | 98799 | 138091313 | o2(x,o2(x,o1(x))) | true | 107199 | 107199 | -0.1651 | 0.5 | 0.7724 | 0.6666 | 0.8164 | -1 | 0.9999 | 2 | 1 | 3.254 | 0.01533 | 0 | 0.04634 | 1 | 1 | -0.00007861 | 0.02684 | 0.04163 | 0.01318 | 0.1148 | 2.478 | 0.8566 | 0.023 | 0.04026 | 1 | 1 | 0.01588 | 0.07575 | 0.2157 | 0.02382 | 0.1136 | 0.3236 | json |



































































































