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_x7_u3_b11 | 17 | 7 | 3 | 11 | ![]() |
sub(P,add(R,flr(D))) | 103800 | 138333638 | o2(x,o2(x,o1(x))) | true | 147207 | 147207 | 0.06032 | 0.5303 | 0.9384 | 0.9127 | 0.9554 | -1 | 1 | 2 | 1 | 2.001 | 0.009557 | 0.0003897 | 0.02615 | 0.9216 | 1 | 0.00001752 | 0.0141 | 0.02364 | 0.009258 | 0.09622 | 3.68 | 1.018 | 0.0109 | 0.01545 | 1 | 1 | 0.01682 | 0.08342 | 0.2628 | 0.01843 | 0.09139 | 0.2879 | json |
| t17_x7_u3_b12 | 17 | 7 | 3 | 12 | ![]() |
sub(P,sub(R,flr(D))) | 103801 | 138333639 | o2(x,o2(x,o1(x))) | true | 147215 | 147215 | -0.06799 | 0.4653 | 0.9362 | 0.9075 | 0.9526 | -1 | 1 | 2 | 1 | 2.017 | 0.007234 | 0.0004096 | 0.01687 | 0.8928 | 1 | 0.00002105 | 0.01365 | 0.01846 | 0.007356 | 0.08577 | 5.085 | 1.016 | 0.008423 | 0.01504 | 1 | 1 | 0.01083 | 0.05974 | 0.2541 | 0.01193 | 0.06583 | 0.28 | json |
| t17_x7_u3_b13 | 17 | 7 | 3 | 13 | ![]() |
sub(P,mlt(R,flr(D))) | 103802 | 138333640 | o2(x,o2(x,o1(x))) | true | 147223 | 147223 | 0.002057 | 0.5102 | 0.9438 | 0.927 | 0.9628 | -1 | 1 | 2 | 1 | 1.85 | 0.003203 | 0.0001826 | 0.013 | 0.8921 | 1 | -0.00001074 | 0.004773 | 0.01032 | 0.003216 | 0.05671 | 4.363 | 0.953 | 0.003652 | 0.005149 | 1 | 1 | 0.005448 | 0.0406 | 0.257 | 0.005877 | 0.0438 | 0.2773 | json |
| t17_x7_u3_b14 | 17 | 7 | 3 | 14 | ![]() |
sub(P,div(R,flr(D))) | 103803 | 138333641 | o2(x,o2(x,o1(x))) | true | 147231 | 147231 | -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_x7_u3_b15 | 17 | 7 | 3 | 15 | ![]() |
sub(P,pow(R,flr(D))) | 103804 | 138333642 | o2(x,o2(x,o1(x))) | true | 147239 | 147239 | -0.8709 | 0.06215 | 0.9924 | 0.2311 | 0.4807 | -1 | 1 | 2 | 1 | 0.5063 | 0.02658 | 0.02136 | 0.02627 | 0.1088 | 1 | -0.0000126 | 0.1003 | 0.05017 | 0.04727 | 0.2174 | 8.275 | 2.828 | 0.2074 | 0.4341 | 1 | 1 | 0.04849 | 0.2077 | 0.4721 | 0.2098 | 0.8987 | 2.043 | json |
| t17_x7_u3_b16 | 17 | 7 | 3 | 16 | ![]() |
sub(P,mod(R,flr(D))) | 103805 | 138333643 | o2(x,o2(x,o1(x))) | true | 147247 | 147247 | -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_x7_u3_b17 | 17 | 7 | 3 | 17 | ![]() |
sub(P,lrg(R,flr(D))) | 103806 | 138333644 | o2(x,o2(x,o1(x))) | true | 147255 | 147255 | -0.0957 | 0.4375 | 0.9316 | 0.9122 | 0.9551 | -1 | 1 | 2 | 1 | 1.741 | 0.003561 | 0.0001404 | 0.009239 | 0.9241 | 1 | 0.000008556 | 0.006489 | 0.008567 | 0.003618 | 0.06015 | 6.51 | 1 | 0.004057 | 0.007113 | 1 | 1 | 0.005707 | 0.03652 | 0.2477 | 0.006256 | 0.04003 | 0.2715 | json |
| t17_x7_u3_b18 | 17 | 7 | 3 | 18 | ![]() |
sub(P,eql(R,flr(D))) | 103807 | 138333645 | o2(x,o2(x,o1(x))) | true | 147263 | 147263 | 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_x7_u3_b19 | 17 | 7 | 3 | 19 | ![]() |
sub(P,min(R,flr(D))) | 103808 | 138333646 | o2(x,o2(x,o1(x))) | true | 147271 | 147271 | 0.07945 | 0.5334 | 0.9404 | 0.917 | 0.9576 | -1 | 1 | 2 | 1 | 1.878 | 0.007048 | 0.00005582 | 0.01993 | 0.9843 | 1 | 0.000005027 | 0.01042 | 0.01618 | 0.006707 | 0.08189 | 4.11 | 0.9991 | 0.007747 | 0.01136 | 1 | 1 | 0.01223 | 0.06002 | 0.2392 | 0.01334 | 0.06545 | 0.2609 | json |
| t17_x7_u3_b20 | 17 | 7 | 3 | 20 | ![]() |
sub(P,dot(R,flr(D))) | 103809 | 138333647 | o2(x,o2(x,o1(x))) | true | 147279 | 147279 | 0.01024 | 0.5086 | 0.9423 | 0.9236 | 0.961 | -1 | 1 | 2 | 1 | 1.918 | 0.003116 | 0.002349 | 0.01733 | 0.1402 | 1 | -0.00001583 | 0.008577 | 0.0167 | 0.005168 | 0.07189 | 4.149 | 1.318 | 0.005918 | 0.009287 | 1 | 1 | 0.008031 | 0.05433 | 0.2689 | 0.008696 | 0.05883 | 0.2911 | json |
| t17_x7_u3_b21 | 17 | 7 | 3 | 21 | ![]() |
sub(P,dst(R,flr(D))) | 103810 | 138333648 | o2(x,o2(x,o1(x))) | true | 147287 | 147287 | -0.1756 | 0.4128 | 0.9418 | 0.8923 | 0.9446 | -1 | 1 | 2 | 1 | 1.893 | 0.002369 | 0.002296 | 0.01435 | 0.01561 | 1 | 0.000005112 | 0.008118 | 0.01581 | 0.004457 | 0.06676 | 4.652 | 0.9737 | 0.005227 | 0.009098 | 1 | 1 | 0.007362 | 0.04264 | 0.2422 | 0.00825 | 0.04778 | 0.2714 | json |
| t17_x7_u3_b22 | 17 | 7 | 3 | 22 | ![]() |
mlt(P,add(R,flr(D))) | 103811 | 138333649 | o2(x,o2(x,o1(x))) | true | 147295 | 147295 | -0.09691 | 0.4284 | 0.7988 | 0.7381 | 0.8591 | -1 | 1 | 2 | 1 | 3.139 | 0.1086 | 0.01052 | 0.1274 | 0.8234 | 1 | -0.00007159 | 0.1941 | 0.1522 | 0.1028 | 0.3207 | 2.517 | 2.026 | 0.1614 | 0.2629 | 1 | 1 | 0.1269 | 0.5629 | 0.6191 | 0.1719 | 0.7626 | 0.8388 | json |
| t17_x7_u3_b23 | 17 | 7 | 3 | 23 | ![]() |
mlt(P,sub(R,flr(D))) | 103812 | 138333650 | o2(x,o2(x,o1(x))) | true | 147303 | 147303 | 0.03053 | 0.5281 | 0.8053 | 0.7509 | 0.8666 | -1 | 1 | 2 | 1 | 3.193 | 0.1134 | 0.0102 | 0.1312 | 0.8348 | 1 | 0.00007914 | 0.2046 | 0.1559 | 0.1063 | 0.3261 | 2.485 | 2.036 | 0.1645 | 0.2725 | 1 | 1 | 0.1347 | 0.574 | 0.6162 | 0.1794 | 0.7644 | 0.8206 | json |
| t17_x7_u3_b24 | 17 | 7 | 3 | 24 | ![]() |
mlt(P,mlt(R,flr(D))) | 103813 | 138333651 | o2(x,o2(x,o1(x))) | true | 147311 | 147311 | 0.03631 | 0.4939 | 0.4693 | 0.3887 | 0.6234 | -1 | 1 | 2 | 1 | 4.108 | 0.04686 | 0.01101 | 0.1179 | 0.6194 | 1 | -0.00001805 | 0.08973 | 0.1215 | 0.04397 | 0.2097 | 1.778 | 1.682 | 0.1489 | 0.2309 | 1 | 1 | 0.0633 | 0.3769 | 0.6156 | 0.1629 | 0.9696 | 1.584 | json |
| t17_x7_u3_b25 | 17 | 7 | 3 | 25 | ![]() |
mlt(P,div(R,flr(D))) | 103814 | 138333652 | o2(x,o2(x,o1(x))) | true | 147319 | 147319 | -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_x7_u3_b26 | 17 | 7 | 3 | 26 | ![]() |
mlt(P,pow(R,flr(D))) | 103815 | 138333653 | o2(x,o2(x,o1(x))) | true | 147327 | 147327 | -0.8281 | 0.08594 | 0.9844 | 0.2955 | 0.5436 | -1 | 1 | 2 | 1 | 0.6492 | 0.03466 | 0.02697 | 0.03435 | 0.1248 | 1 | 0 | 0.1295 | 0.0654 | 0.06046 | 0.2459 | 7.158 | 2.828 | 0.2085 | 0.4383 | 1 | 1 | 0.06083 | 0.2635 | 0.6134 | 0.2058 | 0.8915 | 2.076 | json |
| t17_x7_u3_b27 | 17 | 7 | 3 | 27 | ![]() |
mlt(P,mod(R,flr(D))) | 103816 | 138333654 | o2(x,o2(x,o1(x))) | true | 147335 | 147335 | -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_x7_u3_b28 | 17 | 7 | 3 | 28 | ![]() |
mlt(P,lrg(R,flr(D))) | 103817 | 138333655 | o2(x,o2(x,o1(x))) | true | 147343 | 147343 | 0.0186 | 0.5 | 0.8293 | 0.7965 | 0.8925 | -1 | 1 | 2 | 1 | 2.707 | 0.026 | 0.001636 | 0.05554 | 0.8816 | 1 | 0.0001407 | 0.04707 | 0.06479 | 0.02456 | 0.1567 | 2.822 | 0.9997 | 0.0347 | 0.05909 | 1 | 1 | 0.03399 | 0.123 | 0.2535 | 0.04267 | 0.1544 | 0.3182 | json |
| t17_x7_u3_b29 | 17 | 7 | 3 | 29 | ![]() |
mlt(P,eql(R,flr(D))) | 103818 | 138333656 | o2(x,o2(x,o1(x))) | true | 147351 | 147351 | 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_x7_u3_b30 | 17 | 7 | 3 | 30 | ![]() |
mlt(P,min(R,flr(D))) | 103819 | 138333657 | o2(x,o2(x,o1(x))) | true | 147359 | 147359 | -0.03459 | 0.4769 | 0.7984 | 0.758 | 0.8706 | -1 | 1 | 2 | 1 | 2.938 | 0.03121 | 0.0009882 | 0.06384 | 0.9386 | 1 | -0.0003827 | 0.0555 | 0.07836 | 0.02811 | 0.1676 | 2.626 | 1 | 0.04247 | 0.07322 | 1 | 1 | 0.0363 | 0.1211 | 0.214 | 0.04789 | 0.1598 | 0.2823 | json |
| t17_x7_u3_b31 | 17 | 7 | 3 | 31 | ![]() |
mlt(P,dot(R,flr(D))) | 103820 | 138333658 | o2(x,o2(x,o1(x))) | true | 147367 | 147367 | 0.03184 | 0.5117 | 0.6406 | 0.5584 | 0.7472 | -1 | 1 | 2 | 1 | 4.016 | 0.0568 | 0.05441 | 0.1566 | 0.02157 | 1 | 0.00002471 | 0.1872 | 0.181 | 0.08665 | 0.2944 | 1.879 | 2.804 | 0.1992 | 0.3352 | 1 | 1 | 0.1146 | 0.6103 | 0.9079 | 0.2053 | 1.093 | 1.626 | json |
| t17_x7_u3_b32 | 17 | 7 | 3 | 32 | ![]() |
mlt(P,dst(R,flr(D))) | 103821 | 138333659 | o2(x,o2(x,o1(x))) | true | 147375 | 147375 | 0.007127 | 0.5 | 0.9439 | 0.9323 | 0.9655 | -1 | 1 | 2 | 1 | 1.726 | 0.001215 | 0.0004093 | 0.009549 | 0.4961 | 1 | 0.000008053 | 0.001483 | 0.006099 | 0.001534 | 0.03916 | 4.101 | 0.7963 | 0.001743 | 0.001591 | 1 | 1 | 0.003487 | 0.03097 | 0.2451 | 0.00374 | 0.03322 | 0.2629 | json |
| t17_x7_u3_b33 | 17 | 7 | 3 | 33 | ![]() |
div(P,add(R,flr(D))) | 103822 | 138333660 | o2(x,o2(x,o1(x))) | true | 147383 | 147383 | -0.07243 | 0.4512 | 0.9247 | 0.9002 | 0.9488 | -1 | 1 | 2 | 1 | 2.004 | 0.1649 | 0.0439 | 0.1428 | 0.5796 | 1 | -0.00002588 | 0.4071 | 0.226 | 0.1885 | 0.4342 | 3.04 | 2.828 | 0.232 | 0.4522 | 1 | 1 | 0.2107 | 0.8994 | 1.178 | 0.2341 | 0.999 | 1.309 | json |
| t17_x7_u3_b34 | 17 | 7 | 3 | 34 | ![]() |
div(P,sub(R,flr(D))) | 103823 | 138333661 | o2(x,o2(x,o1(x))) | true | 147391 | 147391 | 0.03532 | 0.5325 | 0.9128 | 0.8893 | 0.943 | -1 | 1 | 2 | 1 | 2.109 | 0.1862 | 0.04757 | 0.156 | 0.5931 | 1 | 0.00009004 | 0.4659 | 0.2514 | 0.2095 | 0.4577 | 2.935 | 2.828 | 0.2629 | 0.5239 | 1 | 1 | 0.2577 | 1.056 | 1.215 | 0.2897 | 1.187 | 1.367 | json |
| t17_x7_u3_b35 | 17 | 7 | 3 | 35 | ![]() |
div(P,mlt(R,flr(D))) | 103824 | 138333662 | o2(x,o2(x,o1(x))) | true | 147399 | 147399 | -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_x7_u3_b36 | 17 | 7 | 3 | 36 | ![]() |
div(P,div(R,flr(D))) | 103825 | 138333663 | o2(x,o2(x,o1(x))) | true | 147407 | 147407 | 0.02712 | 0.4819 | 0.7159 | 0.6785 | 0.8237 | -1 | 1 | 2 | 1 | 3.017 | 0.07177 | 0.04883 | 0.1525 | 0.1902 | 1 | -0.0001555 | 0.2018 | 0.2039 | 0.09738 | 0.3121 | 2.046 | 2.55 | 0.1778 | 0.2974 | 1 | 1 | 0.138 | 0.7073 | 1.327 | 0.2033 | 1.042 | 1.956 | json |
| t17_x7_u3_b37 | 17 | 7 | 3 | 37 | ![]() |
div(P,pow(R,flr(D))) | 103826 | 138333664 | o2(x,o2(x,o1(x))) | true | 147415 | 147415 | -0.8293 | 0.08594 | 0.9751 | 0.2804 | 0.5295 | -1 | 1 | 2 | 1 | 0.8211 | 0.03366 | 0.02572 | 0.0358 | 0.1338 | 1 | -0.000005964 | 0.1248 | 0.06714 | 0.05806 | 0.241 | 6.731 | 2.828 | 0.2118 | 0.4452 | 1 | 1 | 0.0588 | 0.2498 | 0.5751 | 0.2097 | 0.8908 | 2.051 | json |
| t17_x7_u3_b38 | 17 | 7 | 3 | 38 | ![]() |
div(P,mod(R,flr(D))) | 103827 | 138333665 | o2(x,o2(x,o1(x))) | true | 147423 | 147423 | -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_x7_u3_b39 | 17 | 7 | 3 | 39 | ![]() |
div(P,lrg(R,flr(D))) | 103828 | 138333666 | o2(x,o2(x,o1(x))) | true | 147431 | 147431 | -0.8262 | 0.08594 | 0.9824 | 0.296 | 0.5441 | -1 | 1 | 2 | 1 | 0.6854 | 0.03673 | 0.02613 | 0.03504 | 0.1687 | 1 | -1.201e-10 | 0.1324 | 0.06674 | 0.06163 | 0.2483 | 7.085 | 2.828 | 0.2124 | 0.4472 | 1 | 1 | 0.06602 | 0.276 | 0.6787 | 0.223 | 0.9324 | 2.293 | json |
| t17_x7_u3_b40 | 17 | 7 | 3 | 40 | ![]() |
div(P,eql(R,flr(D))) | 103829 | 138333667 | o2(x,o2(x,o1(x))) | true | 147439 | 147439 | -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_x7_u3_b41 | 17 | 7 | 3 | 41 | ![]() |
div(P,min(R,flr(D))) | 103830 | 138333668 | o2(x,o2(x,o1(x))) | true | 147447 | 147447 | -0.7648 | 0.1133 | 0.9852 | 0.3973 | 0.6303 | -1 | 1 | 2 | 1 | 0.7458 | 0.03657 | 0.03106 | 0.03686 | 0.0815 | 1 | 0 | 0.1411 | 0.07066 | 0.06631 | 0.2575 | 6.986 | 2.828 | 0.1702 | 0.355 | 1 | 1 | 0.06641 | 0.275 | 0.6719 | 0.1672 | 0.692 | 1.691 | json |
| t17_x7_u3_b42 | 17 | 7 | 3 | 42 | ![]() |
div(P,dot(R,flr(D))) | 103831 | 138333669 | o2(x,o2(x,o1(x))) | true | 147455 | 147455 | -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_x7_u3_b43 | 17 | 7 | 3 | 43 | ![]() |
div(P,dst(R,flr(D))) | 103832 | 138333670 | o2(x,o2(x,o1(x))) | true | 147463 | 147463 | -0.006665 | 0.5 | 0.9135 | 0.8895 | 0.9432 | -1 | 1 | 2 | 1 | 2.199 | 0.00112 | 0.0005503 | 0.01164 | 0.3411 | 1 | -0.000001755 | 0.002163 | 0.009345 | 0.001536 | 0.03919 | 3.366 | 0.9703 | 0.001878 | 0.002431 | 1 | 1 | 0.00318 | 0.02498 | 0.2018 | 0.003575 | 0.02808 | 0.2269 | json |
| t17_x7_u3_b44 | 17 | 7 | 3 | 44 | ![]() |
pow(P,add(R,flr(D))) | 103833 | 138333671 | o2(x,o2(x,o1(x))) | true | 147471 | 147471 | -0.2684 | 0.4531 | 0.8254 | 0.6901 | 0.8307 | -1 | 1 | 2 | 1 | 2.667 | 0.02033 | 0.004124 | 0.03986 | 0.6627 | 1 | -0.0001398 | 0.0467 | 0.04741 | 0.02286 | 0.1512 | 3.794 | 2.828 | 0.03543 | 0.06768 | 1 | 1 | 0.03066 | 0.1273 | 0.3439 | 0.04443 | 0.1845 | 0.4983 | json |
| t17_x7_u3_b45 | 17 | 7 | 3 | 45 | ![]() |
pow(P,sub(R,flr(D))) | 103834 | 138333672 | o2(x,o2(x,o1(x))) | true | 147479 | 147479 | -0.1182 | 0.4531 | 0.9756 | 0.9508 | 0.9751 | -1 | 1 | 2 | 1 | 1.465 | 0.01624 | 0.003799 | 0.02078 | 0.6209 | 1 | -0.000003766 | 0.04037 | 0.03345 | 0.01962 | 0.1401 | 6.741 | 2.828 | 0.02108 | 0.04245 | 1 | 1 | 0.02588 | 0.1034 | 0.3865 | 0.02722 | 0.1087 | 0.4065 | json |
| t17_x7_u3_b46 | 17 | 7 | 3 | 46 | ![]() |
pow(P,mlt(R,flr(D))) | 103835 | 138333673 | o2(x,o2(x,o1(x))) | true | 147487 | 147487 | 0.02175 | 0.5352 | 0.9514 | 0.928 | 0.9633 | -1 | 1 | 2 | 1 | 1.881 | 0.01968 | 0.00515 | 0.02429 | 0.5851 | 1 | -0.00004773 | 0.04984 | 0.0345 | 0.02425 | 0.1557 | 6.411 | 2.828 | 0.02676 | 0.05371 | 1 | 1 | 0.03432 | 0.1367 | 0.4289 | 0.03698 | 0.1473 | 0.4621 | json |
| t17_x7_u3_b47 | 17 | 7 | 3 | 47 | ![]() |
pow(P,div(R,flr(D))) | 103836 | 138333674 | o2(x,o2(x,o1(x))) | true | 147495 | 147495 | -0.6932 | 0.1829 | 0.9396 | 0.446 | 0.6678 | -1 | 1 | 2 | 1 | 1.216 | 0.04628 | 0.01984 | 0.04754 | 0.3999 | 1 | -0.0000181 | 0.1346 | 0.08253 | 0.06384 | 0.2527 | 5.315 | 2.828 | 0.1482 | 0.3019 | 1 | 1 | 0.07097 | 0.3135 | 0.7325 | 0.1591 | 0.7029 | 1.642 | json |
| t17_x7_u3_b48 | 17 | 7 | 3 | 48 | ![]() |
pow(P,pow(R,flr(D))) | 103837 | 138333675 | o2(x,o2(x,o1(x))) | true | 147503 | 147503 | -0.7734 | 0.1289 | 0.9688 | 0.3637 | 0.6031 | -1 | 1 | 2 | 1 | 0.8485 | 0.04602 | 0.0223 | 0.03977 | 0.3472 | 1 | 0 | 0.1414 | 0.07281 | 0.06668 | 0.2582 | 6.494 | 2.828 | 0.1878 | 0.3888 | 1 | 1 | 0.07546 | 0.317 | 0.6456 | 0.2075 | 0.8717 | 1.775 | json |
| t17_x7_u3_b49 | 17 | 7 | 3 | 49 | ![]() |
pow(P,mod(R,flr(D))) | 103838 | 138333676 | o2(x,o2(x,o1(x))) | true | 147511 | 147511 | -0.8791 | 0.0625 | 0.9959 | 0.2199 | 0.469 | -1 | 1 | 2 | 1 | 0.4392 | 0.02984 | 0.00001701 | 0.01613 | 0.9989 | 1 | -0.000002015 | 0.05966 | 0.03097 | 0.02958 | 0.172 | 10.66 | 2.001 | 0.1357 | 0.2712 | 1 | 1 | 0.03931 | 0.1575 | 0.3142 | 0.1787 | 0.7162 | 1.429 | json |
| t17_x7_u3_b50 | 17 | 7 | 3 | 50 | ![]() |
pow(P,lrg(R,flr(D))) | 103839 | 138333677 | o2(x,o2(x,o1(x))) | true | 147519 | 147519 | 0.003906 | 0.5117 | 0.9805 | 0.9752 | 0.9875 | -1 | 1 | 2 | 1 | 1.316 | 0.01189 | 0.002463 | 0.01139 | 0.6567 | 1 | 0.000002852 | 0.02885 | 0.01748 | 0.01422 | 0.1192 | 10.46 | 2.236 | 0.01472 | 0.02959 | 1 | 1 | 0.01971 | 0.08423 | 0.3414 | 0.02021 | 0.08637 | 0.3501 | json |
| t17_x7_u3_b51 | 17 | 7 | 3 | 51 | ![]() |
pow(P,eql(R,flr(D))) | 103840 | 138333678 | o2(x,o2(x,o1(x))) | true | 147527 | 147527 | 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_x7_u3_b52 | 17 | 7 | 3 | 52 | ![]() |
pow(P,min(R,flr(D))) | 103841 | 138333679 | o2(x,o2(x,o1(x))) | true | 147535 | 147535 | -0.3062 | 0.4531 | 0.7876 | 0.6161 | 0.7849 | -1 | 1 | 2 | 1 | 2.678 | 0.02371 | 0.006196 | 0.0392 | 0.5857 | 1 | -0.000053 | 0.05968 | 0.04857 | 0.02838 | 0.1685 | 4.298 | 2.828 | 0.04855 | 0.09687 | 1 | 1 | 0.03763 | 0.147 | 0.3673 | 0.06107 | 0.2386 | 0.5961 | json |
| t17_x7_u3_b53 | 17 | 7 | 3 | 53 | ![]() |
pow(P,dot(R,flr(D))) | 103842 | 138333680 | o2(x,o2(x,o1(x))) | true | 147543 | 147543 | -0.1397 | 0.457 | 0.9463 | 0.8993 | 0.9483 | -1 | 1 | 2 | 1 | 1.928 | 0.01592 | 0.00817 | 0.02796 | 0.3217 | 1 | -0.00007997 | 0.04856 | 0.04011 | 0.0233 | 0.1526 | 5.458 | 2.828 | 0.02679 | 0.054 | 1 | 1 | 0.03321 | 0.1398 | 0.3962 | 0.03692 | 0.1554 | 0.4406 | json |
| t17_x7_u3_b54 | 17 | 7 | 3 | 54 | ![]() |
pow(P,dst(R,flr(D))) | 103843 | 138333681 | o2(x,o2(x,o1(x))) | true | 147551 | 147551 | -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_x7_u3_b55 | 17 | 7 | 3 | 55 | ![]() |
mod(P,add(R,flr(D))) | 103844 | 138333682 | o2(x,o2(x,o1(x))) | true | 147559 | 147559 | 0.01582 | 0.4983 | 0.3198 | 0.1653 | 0.4065 | -1 | 1 | 2 | 1 | 4.64 | 0.0112 | 0.0007411 | 0.04881 | 0.8758 | 1 | 0.00002672 | 0.0208 | 0.04525 | 0.009556 | 0.09775 | 2.003 | 0.9972 | 0.07223 | 0.1259 | 1 | 1 | 0.01423 | 0.07516 | 0.1366 | 0.08611 | 0.4547 | 0.8263 | json |
| t17_x7_u3_b56 | 17 | 7 | 3 | 56 | ![]() |
mod(P,sub(R,flr(D))) | 103845 | 138333683 | o2(x,o2(x,o1(x))) | true | 147567 | 147567 | 0.01382 | 0.4993 | 0.3156 | 0.1616 | 0.402 | -1 | 1 | 2 | 1 | 4.62 | 0.01183 | 0.000746 | 0.04923 | 0.8813 | 1 | 0.00003216 | 0.02193 | 0.04522 | 0.01015 | 0.1008 | 2.047 | 0.9994 | 0.0778 | 0.1357 | 1 | 1 | 0.01388 | 0.07266 | 0.1253 | 0.08589 | 0.4496 | 0.7752 | json |
| t17_x7_u3_b57 | 17 | 7 | 3 | 57 | ![]() |
mod(P,mlt(R,flr(D))) | 103846 | 138333684 | o2(x,o2(x,o1(x))) | true | 147575 | 147575 | -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_x7_u3_b58 | 17 | 7 | 3 | 58 | ![]() |
mod(P,div(R,flr(D))) | 103847 | 138333685 | o2(x,o2(x,o1(x))) | true | 147583 | 147583 | -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_x7_u3_b59 | 17 | 7 | 3 | 59 | ![]() |
mod(P,pow(R,flr(D))) | 103848 | 138333686 | o2(x,o2(x,o1(x))) | true | 147591 | 147591 | -0.8043 | 0.08537 | 0.8857 | 0.2196 | 0.4686 | -1 | 1 | 2 | 1 | 1.469 | 0.02897 | 0.02027 | 0.04825 | 0.1765 | 1 | 0.00004159 | 0.1009 | 0.07786 | 0.04694 | 0.2167 | 4.49 | 2.828 | 0.2242 | 0.4596 | 1 | 1 | 0.04706 | 0.2031 | 0.4459 | 0.2143 | 0.9247 | 2.03 | json |
| t17_x7_u3_b60 | 17 | 7 | 3 | 60 | ![]() |
mod(P,mod(R,flr(D))) | 103849 | 138333687 | o2(x,o2(x,o1(x))) | true | 147599 | 147599 | -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_x7_u3_b61 | 17 | 7 | 3 | 61 | ![]() |
mod(P,lrg(R,flr(D))) | 103850 | 138333688 | o2(x,o2(x,o1(x))) | true | 147607 | 147607 | -0.7813 | 0 | 0.7813 | 0.1709 | 0.4134 | -1 | 0 | 1 | 1 | 0.7579 | 0.02063 | 0.01641 | 0.03674 | 0.1139 | 1 | 0 | 0.07826 | 0.07407 | 0.03569 | 0.1889 | 5.142 | 1.414 | 0.2167 | 0.4579 | 1 | 1 | 0.03827 | 0.157 | 0.3734 | 0.2239 | 0.9188 | 2.185 | json |
| t17_x7_u3_b62 | 17 | 7 | 3 | 62 | ![]() |
mod(P,eql(R,flr(D))) | 103851 | 138333689 | o2(x,o2(x,o1(x))) | true | 147615 | 147615 | -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_x7_u3_b63 | 17 | 7 | 3 | 63 | ![]() |
mod(P,min(R,flr(D))) | 103852 | 138333690 | o2(x,o2(x,o1(x))) | true | 147623 | 147623 | -0.7526 | 0.1043 | 0.7827 | 0.1967 | 0.4435 | -1 | 0.7703 | 1.77 | 1 | 1.626 | 0.02442 | 0.01649 | 0.04354 | 0.1939 | 1 | -0.000007328 | 0.08554 | 0.07963 | 0.03904 | 0.1976 | 4.538 | 1.832 | 0.2079 | 0.4348 | 1 | 1 | 0.0418 | 0.1731 | 0.351 | 0.2125 | 0.88 | 1.784 | json |
| t17_x7_u3_b64 | 17 | 7 | 3 | 64 | ![]() |
mod(P,dot(R,flr(D))) | 103853 | 138333691 | o2(x,o2(x,o1(x))) | true | 147631 | 147631 | -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_x7_u3_b65 | 17 | 7 | 3 | 65 | ![]() |
mod(P,dst(R,flr(D))) | 103854 | 138333692 | o2(x,o2(x,o1(x))) | true | 147639 | 147639 | -0.009125 | 0.4998 | 0.5972 | 0.4486 | 0.6698 | -1 | 1 | 2 | 1 | 4.809 | 0.01184 | 0.01071 | 0.07348 | 0.0499 | 1 | 0.00001907 | 0.043 | 0.08191 | 0.01715 | 0.131 | 1.782 | 1.332 | 0.05027 | 0.09585 | 1 | 1 | 0.02519 | 0.1267 | 0.2704 | 0.05614 | 0.2823 | 0.6027 | json |
| t17_x7_u3_b66 | 17 | 7 | 3 | 66 | ![]() |
lrg(P,add(R,flr(D))) | 103855 | 138333693 | o2(x,o2(x,o1(x))) | true | 147647 | 147647 | 0.5312 | 0.6038 | 0.5312 | 0.234 | 0.4838 | 0 | 1 | 1 | 1 | 1.639 | 0.003706 | 0.0001228 | 0.01197 | 0.9358 | 1 | 0.000008556 | 0.006323 | 0.008923 | 0.003684 | 0.06069 | 5.069 | 0.9994 | 0.01636 | 0.02702 | 1 | 1 | 0.006266 | 0.03229 | 0.08427 | 0.02678 | 0.138 | 0.3601 | json |
| t17_x7_u3_b67 | 17 | 7 | 3 | 67 | ![]() |
lrg(P,sub(R,flr(D))) | 103856 | 138333694 | o2(x,o2(x,o1(x))) | true | 147655 | 147655 | 0.4668 | 0.4955 | 0.4668 | 0.2423 | 0.4922 | 0 | 1 | 1 | 1 | 1.318 | 0.004454 | 0.0001452 | 0.008219 | 0.9368 | 1 | 0.000008556 | 0.008671 | 0.01026 | 0.00453 | 0.0673 | 8.189 | 1 | 0.01898 | 0.03579 | 1 | 1 | 0.006119 | 0.02826 | 0.08725 | 0.02526 | 0.1166 | 0.3601 | json |
| t17_x7_u3_b68 | 17 | 7 | 3 | 68 | ![]() |
lrg(P,mlt(R,flr(D))) | 103857 | 138333695 | o2(x,o2(x,o1(x))) | true | 147663 | 147663 | 0.4824 | 0.5378 | 0.4824 | 0.2389 | 0.4888 | 0 | 1 | 1 | 1 | 1.486 | 0.002093 | 0.00005267 | 0.007936 | 0.9509 | 1 | -0.000002853 | 0.003286 | 0.004977 | 0.002082 | 0.04563 | 5.75 | 0.9994 | 0.008984 | 0.01375 | 1 | 1 | 0.003596 | 0.02222 | 0.07826 | 0.01505 | 0.09301 | 0.3276 | json |
| t17_x7_u3_b69 | 17 | 7 | 3 | 69 | ![]() |
lrg(P,div(R,flr(D))) | 103858 | 138333696 | o2(x,o2(x,o1(x))) | true | 147671 | 147671 | 0.5205 | 0.8657 | 0.5205 | 0.1749 | 0.4182 | 0 | 1 | 1 | 1 | 3.111 | 0.02875 | 0.001233 | 0.07126 | 0.9178 | 1 | 0.00008841 | 0.05398 | 0.06956 | 0.0249 | 0.1578 | 2.215 | 1 | 0.1714 | 0.3086 | 1 | 1 | 0.0344 | 0.155 | 0.1822 | 0.1967 | 0.8864 | 1.042 | json |
| t17_x7_u3_b70 | 17 | 7 | 3 | 70 | ![]() |
lrg(P,pow(R,flr(D))) | 103859 | 138333697 | o2(x,o2(x,o1(x))) | true | 147679 | 147679 | 0.5176 | 0.8382 | 0.5176 | 0.1942 | 0.4407 | 0 | 1 | 1 | 1 | 2.725 | 0.01956 | 0.0008691 | 0.05042 | 0.9149 | 1 | -0.00003139 | 0.03634 | 0.04799 | 0.01789 | 0.1338 | 2.653 | 0.9997 | 0.1052 | 0.1871 | 1 | 1 | 0.02358 | 0.1097 | 0.1515 | 0.1214 | 0.5649 | 0.7799 | json |
| t17_x7_u3_b71 | 17 | 7 | 3 | 71 | ![]() |
lrg(P,mod(R,flr(D))) | 103860 | 138333698 | o2(x,o2(x,o1(x))) | true | 147687 | 147687 | 0.7676 | 1 | 0.7676 | 0.1271 | 0.3566 | 0.000291 | 1 | 0.9997 | 1 | 2.252 | 0.03195 | 0.00005267 | 0.05938 | 0.9967 | 1 | 0.0000927 | 0.05958 | 0.06598 | 0.02849 | 0.1688 | 2.842 | 0.9997 | 0.2517 | 0.4686 | 1 | 1 | 0.03326 | 0.1161 | 0.04032 | 0.2616 | 0.913 | 0.3171 | json |
| t17_x7_u3_b72 | 17 | 7 | 3 | 72 | ![]() |
lrg(P,lrg(R,flr(D))) | 103861 | 138333699 | o2(x,o2(x,o1(x))) | true | 147695 | 147695 | 0.418 | 0.4375 | 0.418 | 0.2375 | 0.4873 | 0 | 1 | 1 | 1 | 1.276 | 0.001377 | 0.00008773 | 0.004781 | 0.8802 | 1 | 0.000005704 | 0.002392 | 0.00366 | 0.001441 | 0.03797 | 7.941 | 1 | 0.006166 | 0.01007 | 1 | 1 | 0.002548 | 0.01706 | 0.0812 | 0.01073 | 0.07185 | 0.3419 | json |
| t17_x7_u3_b73 | 17 | 7 | 3 | 73 | ![]() |
lrg(P,eql(R,flr(D))) | 103862 | 138333700 | o2(x,o2(x,o1(x))) | true | 147703 | 147703 | 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_x7_u3_b74 | 17 | 7 | 3 | 74 | ![]() |
lrg(P,min(R,flr(D))) | 103863 | 138333701 | o2(x,o2(x,o1(x))) | true | 147711 | 147711 | 0.5176 | 0.5625 | 0.5176 | 0.2389 | 0.4888 | 0 | 1 | 1 | 1 | 1.486 | 0.002093 | 0.00005267 | 0.007983 | 0.9509 | 1 | 0.000002852 | 0.003286 | 0.004977 | 0.002081 | 0.04562 | 5.715 | 0.9994 | 0.008984 | 0.01375 | 1 | 1 | 0.003596 | 0.02222 | 0.07826 | 0.01505 | 0.09301 | 0.3276 | json |
| t17_x7_u3_b75 | 17 | 7 | 3 | 75 | ![]() |
lrg(P,dot(R,flr(D))) | 103864 | 138333702 | o2(x,o2(x,o1(x))) | true | 147719 | 147719 | 0.4971 | 0.5562 | 0.4971 | 0.2376 | 0.4874 | 0 | 1 | 1 | 1 | 1.55 | 0.00241 | 0.001819 | 0.0112 | 0.1397 | 1 | -0.00001141 | 0.007911 | 0.01067 | 0.004101 | 0.06404 | 5.716 | 1.413 | 0.0178 | 0.03329 | 1 | 1 | 0.006014 | 0.03012 | 0.08157 | 0.02531 | 0.1268 | 0.3433 | json |
| t17_x7_u3_b76 | 17 | 7 | 3 | 76 | ![]() |
lrg(P,dst(R,flr(D))) | 103865 | 138333703 | o2(x,o2(x,o1(x))) | true | 147727 | 147727 | 0.4121 | 0.4479 | 0.4121 | 0.2345 | 0.4843 | 0 | 1 | 1 | 1 | 1.355 | 0.001517 | 0.001504 | 0.007504 | 0.004268 | 1 | -0.000002853 | 0.005736 | 0.007589 | 0.002965 | 0.05445 | 7.256 | 1.414 | 0.01288 | 0.02446 | 1 | 1 | 0.004874 | 0.02492 | 0.08563 | 0.02078 | 0.1063 | 0.3651 | json |
| t17_x7_u3_b77 | 17 | 7 | 3 | 77 | ![]() |
eql(P,add(R,flr(D))) | 103866 | 138333704 | o2(x,o2(x,o1(x))) | true | 147735 | 147735 | 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_x7_u3_b78 | 17 | 7 | 3 | 78 | ![]() |
eql(P,sub(R,flr(D))) | 103867 | 138333705 | o2(x,o2(x,o1(x))) | true | 147743 | 147743 | 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_x7_u3_b79 | 17 | 7 | 3 | 79 | ![]() |
eql(P,mlt(R,flr(D))) | 103868 | 138333706 | o2(x,o2(x,o1(x))) | true | 147751 | 147751 | 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_x7_u3_b80 | 17 | 7 | 3 | 80 | ![]() |
eql(P,div(R,flr(D))) | 103869 | 138333707 | o2(x,o2(x,o1(x))) | true | 147759 | 147759 | 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_x7_u3_b81 | 17 | 7 | 3 | 81 | ![]() |
eql(P,pow(R,flr(D))) | 103870 | 138333708 | o2(x,o2(x,o1(x))) | true | 147767 | 147767 | 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_x7_u3_b82 | 17 | 7 | 3 | 82 | ![]() |
eql(P,mod(R,flr(D))) | 103871 | 138333709 | o2(x,o2(x,o1(x))) | true | 147775 | 147775 | 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_x7_u3_b83 | 17 | 7 | 3 | 83 | ![]() |
eql(P,lrg(R,flr(D))) | 103872 | 138333710 | o2(x,o2(x,o1(x))) | true | 147783 | 147783 | 0.06836 | 0.119 | 0.06836 | 0.05383 | 0.232 | 0 | 1 | 1 | 1 | 0.7583 | 0.00356 | 0.0001404 | 0.009238 | 0.9241 | 1 | -0.000002853 | 0.006508 | 0.008586 | 0.003617 | 0.06014 | 6.51 | 1 | 0.06874 | 0.1209 | 1 | 1 | 0.005687 | 0.03312 | 0.08945 | 0.1057 | 0.6153 | 1.662 | json |
| t17_x7_u3_b84 | 17 | 7 | 3 | 84 | ![]() |
eql(P,eql(R,flr(D))) | 103873 | 138333711 | o2(x,o2(x,o1(x))) | true | 147791 | 147791 | 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_x7_u3_b85 | 17 | 7 | 3 | 85 | ![]() |
eql(P,min(R,flr(D))) | 103874 | 138333712 | o2(x,o2(x,o1(x))) | true | 147799 | 147799 | 0.04492 | 0.1003 | 0.04492 | 0.03221 | 0.1795 | 0 | 0.9997 | 0.9997 | 1 | 0.6616 | 0.00606 | 0.00005267 | 0.01195 | 0.9828 | 1 | -0.000002852 | 0.01125 | 0.01291 | 0.005971 | 0.07727 | 6.466 | 0.9997 | 0.1898 | 0.3493 | 1 | 1 | 0.008838 | 0.03962 | 0.05126 | 0.2744 | 1.23 | 1.591 | json |
| t17_x7_u3_b86 | 17 | 7 | 3 | 86 | ![]() |
eql(P,dot(R,flr(D))) | 103875 | 138333713 | o2(x,o2(x,o1(x))) | true | 147807 | 147807 | 0.01562 | 0.05908 | 0.01562 | 0.009349 | 0.09669 | 0 | 0.9994 | 0.9994 | 1 | 0.3551 | 0.001685 | 0.001619 | 0.007113 | 0.01984 | 1 | -2.144e-10 | 0.006688 | 0.008465 | 0.003253 | 0.05703 | 8.018 | 0.9994 | 0.3534 | 0.7154 | 1 | 1 | 0.004736 | 0.01839 | 0.01289 | 0.5066 | 1.967 | 1.379 | json |
| t17_x7_u3_b87 | 17 | 7 | 3 | 87 | ![]() |
eql(P,dst(R,flr(D))) | 103876 | 138333714 | o2(x,o2(x,o1(x))) | true | 147815 | 147815 | 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_x7_u3_b88 | 17 | 7 | 3 | 88 | ![]() |
min(P,add(R,flr(D))) | 103877 | 138333715 | o2(x,o2(x,o1(x))) | true | 147823 | 147823 | -0.7235 | 0.07729 | 0.7806 | 0.1853 | 0.4305 | -1 | 0.9804 | 1.98 | 1 | 2.79 | 0.02304 | 0.001163 | 0.05731 | 0.9039 | 1 | -0.00001429 | 0.04076 | 0.05583 | 0.02092 | 0.1447 | 2.524 | 1.022 | 0.1306 | 0.2199 | 1 | 1 | 0.02922 | 0.1427 | 0.1744 | 0.1577 | 0.7698 | 0.9411 | json |
| t17_x7_u3_b89 | 17 | 7 | 3 | 89 | ![]() |
min(P,sub(R,flr(D))) | 103878 | 138333716 | o2(x,o2(x,o1(x))) | true | 147831 | 147831 | -0.2726 | 0.3869 | 0.742 | 0.5891 | 0.7676 | -1 | 1 | 2 | 1 | 3.54 | 0.02409 | 0.001112 | 0.06232 | 0.9118 | 1 | 0.00001668 | 0.04192 | 0.0562 | 0.02133 | 0.146 | 2.344 | 1.022 | 0.04278 | 0.07115 | 1 | 1 | 0.0301 | 0.1486 | 0.2627 | 0.0511 | 0.2523 | 0.4459 | json |
| t17_x7_u3_b90 | 17 | 7 | 3 | 90 | ![]() |
min(P,mlt(R,flr(D))) | 103879 | 138333717 | o2(x,o2(x,o1(x))) | true | 147839 | 147839 | -0.4752 | 0.2607 | 0.586 | 0.2946 | 0.5428 | -1 | 0.9987 | 1.999 | 1 | 3.326 | 0.008773 | 0.0007636 | 0.03687 | 0.8399 | 1 | -0.000004725 | 0.016 | 0.03162 | 0.008181 | 0.09045 | 2.453 | 0.9987 | 0.03237 | 0.0543 | 1 | 1 | 0.01182 | 0.07163 | 0.1709 | 0.04013 | 0.2431 | 0.58 | json |
| t17_x7_u3_b91 | 17 | 7 | 3 | 91 | ![]() |
min(P,div(R,flr(D))) | 103880 | 138333718 | o2(x,o2(x,o1(x))) | true | 147847 | 147847 | -0.8589 | 0.06871 | 0.9635 | 0.216 | 0.4648 | -1 | 1 | 2 | 1 | 0.8664 | 0.02678 | 0.01908 | 0.0329 | 0.1678 | 1 | -0.0001281 | 0.09402 | 0.05629 | 0.04475 | 0.2115 | 6.43 | 2.278 | 0.2123 | 0.4353 | 1 | 1 | 0.04631 | 0.2081 | 0.4906 | 0.2144 | 0.9635 | 2.271 | json |
| t17_x7_u3_b92 | 17 | 7 | 3 | 92 | ![]() |
min(P,pow(R,flr(D))) | 103881 | 138333719 | o2(x,o2(x,o1(x))) | true | 147855 | 147855 | 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_x7_u3_b93 | 17 | 7 | 3 | 93 | ![]() |
min(P,mod(R,flr(D))) | 103882 | 138333720 | o2(x,o2(x,o1(x))) | true | 147863 | 147863 | -0.1739 | 0.4149 | 0.836 | 0.7605 | 0.872 | -1 | 1 | 2 | 1 | 2.901 | 0.04443 | 0.0006369 | 0.06576 | 0.9717 | 1 | -0.0006072 | 0.0778 | 0.07666 | 0.04073 | 0.2018 | 3.069 | 1.998 | 0.05926 | 0.1023 | 1 | 1 | 0.05118 | 0.1933 | 0.2432 | 0.0673 | 0.2542 | 0.3199 | json |
| t17_x7_u3_b94 | 17 | 7 | 3 | 94 | ![]() |
min(P,lrg(R,flr(D))) | 103883 | 138333721 | o2(x,o2(x,o1(x))) | true | 147871 | 147871 | -0.1191 | 0.5 | 0.8184 | 0.7541 | 0.8684 | -1 | 1 | 2 | 1 | 2.959 | 0.01513 | 0.0005791 | 0.0434 | 0.9263 | 1 | 0.00003066 | 0.0271 | 0.03666 | 0.01383 | 0.1176 | 2.71 | 0.9997 | 0.02083 | 0.03593 | 1 | 1 | 0.01927 | 0.09832 | 0.2514 | 0.02556 | 0.1304 | 0.3334 | json |
| t17_x7_u3_b95 | 17 | 7 | 3 | 95 | ![]() |
min(P,eql(R,flr(D))) | 103884 | 138333722 | o2(x,o2(x,o1(x))) | true | 147879 | 147879 | -0.4688 | 0 | 0.4688 | 0.2423 | 0.4922 | -1 | 0 | 1 | 1 | 1.406 | 0.0003529 | 0 | 0.003968 | 1 | 1 | 4.731e-10 | 0.00001619 | 0.0009276 | 0.0003372 | 0.01836 | 4.628 | 0.1169 | 0.001457 | 0.00006684 | 1 | 1 | 0.0009255 | 0.01214 | 0.0751 | 0.00382 | 0.05012 | 0.31 | json |
| t17_x7_u3_b96 | 17 | 7 | 3 | 96 | ![]() |
min(P,min(R,flr(D))) | 103885 | 138333723 | o2(x,o2(x,o1(x))) | true | 147887 | 147887 | -0.8183 | 0 | 0.8183 | 0.08613 | 0.2935 | -1 | -0.000291 | 0.9997 | 1 | 2.382 | 0.02105 | 0.0002464 | 0.04883 | 0.9769 | 1 | -0.00007103 | 0.0393 | 0.0519 | 0.01891 | 0.1375 | 2.816 | 0.9997 | 0.2472 | 0.4562 | 1 | 1 | 0.02425 | 0.0905 | 0.04668 | 0.2815 | 1.051 | 0.542 | json |
| t17_x7_u3_b97 | 17 | 7 | 3 | 97 | ![]() |
min(P,dot(R,flr(D))) | 103886 | 138333724 | o2(x,o2(x,o1(x))) | true | 147895 | 147895 | -0.4811 | 0.2491 | 0.6489 | 0.3374 | 0.5809 | -1 | 1 | 2 | 1 | 3.502 | 0.00879 | 0.008961 | 0.05565 | -0.009638 | 1 | -0.000005404 | 0.03058 | 0.05588 | 0.01466 | 0.1211 | 2.176 | 1.341 | 0.05261 | 0.09063 | 1 | 1 | 0.02117 | 0.1197 | 0.2554 | 0.06275 | 0.3548 | 0.7569 | json |
| t17_x7_u3_b98 | 17 | 7 | 3 | 98 | ![]() |
min(P,dst(R,flr(D))) | 103887 | 138333725 | o2(x,o2(x,o1(x))) | true | 147903 | 147903 | -0.01879 | 0.5 | 0.9187 | 0.8916 | 0.9442 | -1 | 1 | 2 | 1 | 2.265 | 0.001554 | 0.0008608 | 0.01647 | 0.287 | 1 | -0.00001133 | 0.003274 | 0.01275 | 0.002144 | 0.04631 | 2.811 | 0.9005 | 0.002708 | 0.003672 | 1 | 1 | 0.003141 | 0.02943 | 0.2358 | 0.003524 | 0.03301 | 0.2645 | json |
| t17_x7_u3_b99 | 17 | 7 | 3 | 99 | ![]() |
dot(P,add(R,flr(D))) | 103888 | 138333726 | o2(x,o2(x,o1(x))) | true | 147911 | 147911 | -0.1239 | 0.436 | 0.889 | 0.8379 | 0.9154 | -1 | 1 | 2 | 1 | 2.487 | 0.0898 | 0.08723 | 0.1606 | 0.01457 | 1 | -0.0002696 | 0.3113 | 0.2168 | 0.1512 | 0.3889 | 2.422 | 2.828 | 0.2113 | 0.3715 | 1 | 1 | 0.1966 | 0.8024 | 0.9181 | 0.2346 | 0.9576 | 1.096 | json |
| t17_x7_u3_b100 | 17 | 7 | 3 | 100 | ![]() |
dot(P,sub(R,flr(D))) | 103889 | 138333727 | o2(x,o2(x,o1(x))) | true | 147919 | 147919 | 0.01767 | 0.5115 | 0.9146 | 0.8865 | 0.9416 | -1 | 1 | 2 | 1 | 2.244 | 0.07191 | 0.08211 | 0.1377 | -0.06618 | 1 | 0.0002031 | 0.2752 | 0.1886 | 0.1351 | 0.3675 | 2.669 | 2.828 | 0.1737 | 0.3105 | 1 | 1 | 0.1563 | 0.629 | 0.856 | 0.1763 | 0.7096 | 0.9656 | json |
| t17_x7_u3_b101 | 17 | 7 | 3 | 101 | ![]() |
dot(P,mlt(R,flr(D))) | 103890 | 138333728 | o2(x,o2(x,o1(x))) | true | 147927 | 147927 | 0.06353 | 0.5307 | 0.674 | 0.5935 | 0.7704 | -1 | 1 | 2 | 1 | 3.884 | 0.05075 | 0.05101 | 0.1562 | -0.002506 | 1 | 0.0000262 | 0.1643 | 0.1752 | 0.07736 | 0.2781 | 1.78 | 2.356 | 0.1715 | 0.2768 | 1 | 1 | 0.1056 | 0.6034 | 0.9984 | 0.178 | 1.017 | 1.682 | json |
| t17_x7_u3_b102 | 17 | 7 | 3 | 102 | ![]() |
dot(P,div(R,flr(D))) | 103891 | 138333729 | o2(x,o2(x,o1(x))) | true | 147935 | 147935 | -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_x7_u3_b103 | 17 | 7 | 3 | 103 | ![]() |
dot(P,pow(R,flr(D))) | 103892 | 138333730 | o2(x,o2(x,o1(x))) | true | 147943 | 147943 | -0.9337 | 0.03319 | 0.9998 | 0.128 | 0.3577 | -1 | 1 | 2 | 1 | 0.2154 | 0.0159 | 0.01403 | 0.0152 | 0.06226 | 1 | 0 | 0.06274 | 0.03008 | 0.02971 | 0.1724 | 11.34 | 2.828 | 0.2339 | 0.4904 | 1 | 1 | 0.04241 | 0.1739 | 0.3904 | 0.3314 | 1.359 | 3.051 | json |
| t17_x7_u3_b104 | 17 | 7 | 3 | 104 | ![]() |
dot(P,mod(R,flr(D))) | 103893 | 138333731 | o2(x,o2(x,o1(x))) | true | 147951 | 147951 | -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_x7_u3_b105 | 17 | 7 | 3 | 105 | ![]() |
dot(P,lrg(R,flr(D))) | 103894 | 138333732 | o2(x,o2(x,o1(x))) | true | 147959 | 147959 | 0.02424 | 0.5134 | 0.9162 | 0.8929 | 0.945 | -1 | 1 | 2 | 1 | 2.148 | 0.03708 | 0.03598 | 0.07803 | 0.01499 | 1 | 0.0001705 | 0.1256 | 0.09729 | 0.06697 | 0.2588 | 3.317 | 2.103 | 0.08182 | 0.1407 | 1 | 1 | 0.07745 | 0.3489 | 0.5004 | 0.08674 | 0.3907 | 0.5604 | json |
| t17_x7_u3_b106 | 17 | 7 | 3 | 106 | ![]() |
dot(P,eql(R,flr(D))) | 103895 | 138333733 | o2(x,o2(x,o1(x))) | true | 147967 | 147967 | 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_x7_u3_b107 | 17 | 7 | 3 | 107 | ![]() |
dot(P,min(R,flr(D))) | 103896 | 138333734 | o2(x,o2(x,o1(x))) | true | 147975 | 147975 | -0.06025 | 0.4729 | 0.8984 | 0.8656 | 0.9304 | -1 | 1 | 2 | 1 | 2.352 | 0.04276 | 0.04595 | 0.0971 | -0.03602 | 1 | -0.0002856 | 0.1566 | 0.127 | 0.07928 | 0.2816 | 2.9 | 2.12 | 0.1025 | 0.181 | 1 | 1 | 0.09577 | 0.3653 | 0.4164 | 0.1106 | 0.422 | 0.4811 | json |
| t17_x7_u3_b108 | 17 | 7 | 3 | 108 | ![]() |
dot(P,dot(R,flr(D))) | 103897 | 138333735 | o2(x,o2(x,o1(x))) | true | 147983 | 147983 | 0.03004 | 0.5053 | 0.6752 | 0.6025 | 0.7762 | -1 | 1 | 2 | 1 | 3.793 | 0.06243 | 0.0615 | 0.1582 | 0.007476 | 1 | 0.000002941 | 0.2113 | 0.1924 | 0.09888 | 0.3145 | 1.987 | 2.828 | 0.2057 | 0.3508 | 1 | 1 | 0.1251 | 0.6393 | 1.051 | 0.2076 | 1.061 | 1.744 | json |
| t17_x7_u3_b109 | 17 | 7 | 3 | 109 | ![]() |
dot(P,dst(R,flr(D))) | 103898 | 138333736 | o2(x,o2(x,o1(x))) | true | 147991 | 147991 | 0.008119 | 0.5032 | 0.9479 | 0.933 | 0.9659 | -1 | 1 | 2 | 1 | 1.79 | 0.001329 | 0.001333 | 0.01415 | -0.001553 | 1 | -0.000003181 | 0.002127 | 0.008519 | 0.002462 | 0.04962 | 3.506 | 0.9 | 0.002854 | 0.00228 | 1 | 1 | 0.005647 | 0.0551 | 0.4403 | 0.006053 | 0.05906 | 0.4719 | json |
| t17_x7_u3_b110 | 17 | 7 | 3 | 110 | ![]() |
dst(P,add(R,flr(D))) | 103899 | 138333737 | o2(x,o2(x,o1(x))) | true | 147999 | 147999 | 0.9994 | 1 | 0.9994 | 0.0001539 | 0.01241 | 0.4922 | 1 | 0.5078 | 1 | 0.03215 | 0.00002748 | 0.00006715 | 0.0004954 | -0.4193 | 0 | 3.754e-11 | 0.000181 | 0.0007157 | 0.00009449 | 0.009721 | 19.62 | 0.4602 | 0.6148 | 1.176 | 1 | 1 | 0.0001933 | 0.0004874 | 0.000559 | 1.256 | 3.167 | 3.632 | json |



































































































