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_x10_u5_b28 | 17 | 10 | 5 | 28 | ![]() |
mlt(D,lrg(P,sgn(D))) | 106600 | 138455260 | o2(x,o2(x,o1(x))) | true | 12807 | 12807 | -0.02682 | 0.1875 | 0.0622 | 0.00891 | 0.09439 | -0.2729 | 0.1454 | 0.4183 | 1 | 2.405 | 0.0008895 | 0 | 0.02 | 1 | 1 | 0.0001582 | 0.0001383 | 0.007824 | 0.0004897 | 0.02213 | 1.107 | 0.0622 | 0.09983 | 0.01552 | 1 | 1 | 0.001785 | 0.01344 | 0.005001 | 0.2003 | 1.508 | 0.5612 | json |
| t17_x10_u5_b29 | 17 | 10 | 5 | 29 | ![]() |
mlt(D,eql(P,sgn(D))) | 106601 | 138455261 | o2(x,o2(x,o1(x))) | true | 12815 | 12815 | -2.075e-12 | 0.0625 | 0.01788 | 0.003712 | 0.06092 | -0.2729 | 0.2729 | 0.5458 | 1 | 0.8113 | 0.0001841 | 0 | 0.004331 | 1 | 1 | 0 | 0.00003135 | 0.001743 | 0.0001654 | 0.01286 | 2.969 | 0.06184 | 0.04961 | 0.008445 | 1 | 1 | 0.0004677 | 0.004047 | 0.005001 | 0.126 | 1.09 | 1.347 | json |
| t17_x10_u5_b30 | 17 | 10 | 5 | 30 | ![]() |
mlt(D,min(P,sgn(D))) | 106602 | 138455262 | o2(x,o2(x,o1(x))) | true | 12823 | 12823 | 0.07447 | 0.7109 | 0.3311 | 0.1644 | 0.4055 | -1 | 0.9606 | 1.961 | 1 | 4.334 | 0.01805 | 0 | 0.09756 | 1 | 1 | 0.0008864 | 0.003424 | 0.03936 | 0.008525 | 0.09233 | 0.9464 | 0.4334 | 0.1098 | 0.02083 | 1 | 1 | 0.02149 | 0.1441 | 0.01887 | 0.1307 | 0.8766 | 0.1148 | json |
| t17_x10_u5_b31 | 17 | 10 | 5 | 31 | ![]() |
mlt(D,dot(P,sgn(D))) | 106603 | 138455263 | o2(x,o2(x,o1(x))) | true | 12831 | 12831 | 4.652e-10 | 0.4999 | 0.6774 | 0.5933 | 0.7702 | -1 | 1 | 2 | 1 | 3.964 | 0.03419 | 0.02149 | 0.1395 | 0.2279 | 1 | -4.318e-11 | 0.07379 | 0.1325 | 0.03622 | 0.1903 | 1.364 | 1.963 | 0.09385 | 0.1244 | 1 | 1 | 0.06661 | 0.2657 | 0.08744 | 0.1123 | 0.4478 | 0.1474 | json |
| t17_x10_u5_b32 | 17 | 10 | 5 | 32 | ![]() |
mlt(D,dst(P,sgn(D))) | 106604 | 138455264 | o2(x,o2(x,o1(x))) | true | 12839 | 12839 | 1.992e-10 | 0.5 | 0.5872 | 0.4526 | 0.6728 | -1 | 1 | 2 | 1 | 4.725 | 0.0624 | 0.001509 | 0.1983 | 0.9528 | 1 | 9.799e-10 | 0.01889 | 0.09911 | 0.0246 | 0.1568 | 0.7911 | 0.7036 | 0.1412 | 0.04174 | 1 | 1 | 0.08334 | 0.5573 | 0.03325 | 0.1841 | 1.231 | 0.07345 | json |
| t17_x10_u5_b33 | 17 | 10 | 5 | 33 | ![]() |
div(D,add(P,sgn(D))) | 106605 | 138455265 | o2(x,o2(x,o1(x))) | true | 12847 | 12847 | -0.1406 | 0.3594 | 0.1542 | 0.1075 | 0.3278 | -1 | 0.05069 | 1.051 | 1 | 1.912 | 0.008412 | 0 | 0.01833 | 1 | 1 | 0.00004784 | 0.01601 | 0.02036 | 0.008076 | 0.08987 | 4.904 | 1.015 | 0.07827 | 0.1489 | 1 | 1 | 0.01167 | 0.04598 | 0.1543 | 0.1086 | 0.4279 | 1.436 | json |
| t17_x10_u5_b34 | 17 | 10 | 5 | 34 | ![]() |
div(D,sub(P,sgn(D))) | 106606 | 138455266 | o2(x,o2(x,o1(x))) | true | 12855 | 12855 | -0.1258 | 0.5156 | 0.1827 | 0.1201 | 0.3466 | -1 | 0.2292 | 1.229 | 1 | 2.61 | 0.01665 | 0 | 0.03086 | 1 | 1 | 0.00002693 | 0.03196 | 0.0372 | 0.0157 | 0.1253 | 4.061 | 1.031 | 0.1386 | 0.2661 | 1 | 1 | 0.02295 | 0.09196 | 0.1582 | 0.1911 | 0.7656 | 1.317 | json |
| t17_x10_u5_b35 | 17 | 10 | 5 | 35 | ![]() |
div(D,mlt(P,sgn(D))) | 106607 | 138455267 | o2(x,o2(x,o1(x))) | true | 12863 | 12863 | 6.686e-12 | 0.5 | 0.202 | 0.1379 | 0.3713 | -1 | 1 | 2 | 1 | 3.229 | 0.02483 | 0 | 0.03211 | 1 | 1 | -4.736e-10 | 0.04767 | 0.03696 | 0.02379 | 0.1542 | 4.804 | 2 | 0.1801 | 0.3457 | 1 | 1 | 0.03418 | 0.1562 | 0.1615 | 0.2479 | 1.133 | 1.172 | json |
| t17_x10_u5_b36 | 17 | 10 | 5 | 36 | ![]() |
div(D,div(P,sgn(D))) | 106608 | 138455268 | o2(x,o2(x,o1(x))) | true | 12871 | 12871 | 6.686e-12 | 0.5 | 0.202 | 0.1379 | 0.3713 | -1 | 1 | 2 | 1 | 3.229 | 0.02483 | 0 | 0.03211 | 1 | 1 | -4.736e-10 | 0.04767 | 0.03696 | 0.02379 | 0.1542 | 4.804 | 2 | 0.1801 | 0.3457 | 1 | 1 | 0.03418 | 0.1562 | 0.1615 | 0.2479 | 1.133 | 1.172 | json |
| t17_x10_u5_b37 | 17 | 10 | 5 | 37 | ![]() |
div(D,pow(P,sgn(D))) | 106609 | 138455269 | o2(x,o2(x,o1(x))) | true | 12879 | 12879 | -0.7931 | 0.05469 | 0.7963 | 0.1237 | 0.3517 | -1 | 0.1014 | 1.101 | 1 | 2.09 | 0.01414 | 0 | 0.05073 | 1 | 1 | 0.001017 | 0.01211 | 0.03501 | 0.01156 | 0.1075 | 2.12 | 1.031 | 0.1143 | 0.09789 | 1 | 1 | 0.02098 | 0.106 | 0.06668 | 0.1696 | 0.8572 | 0.5391 | json |
| t17_x10_u5_b38 | 17 | 10 | 5 | 38 | ![]() |
div(D,mod(P,sgn(D))) | 106610 | 138455270 | o2(x,o2(x,o1(x))) | true | 12887 | 12887 | -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_x10_u5_b39 | 17 | 10 | 5 | 39 | ![]() |
div(D,lrg(P,sgn(D))) | 106611 | 138455271 | o2(x,o2(x,o1(x))) | true | 12895 | 12895 | -0.625 | 0.1875 | 0.6604 | 0.2385 | 0.4883 | -1 | 0.1454 | 1.145 | 1 | 1.915 | 0.00482 | 0 | 0.01747 | 1 | 1 | 0.0001582 | 0.008088 | 0.01339 | 0.004514 | 0.06719 | 3.845 | 1.031 | 0.02021 | 0.03392 | 1 | 1 | 0.006938 | 0.03253 | 0.08512 | 0.0291 | 0.1364 | 0.357 | json |
| t17_x10_u5_b40 | 17 | 10 | 5 | 40 | ![]() |
div(D,eql(P,sgn(D))) | 106612 | 138455272 | o2(x,o2(x,o1(x))) | true | 12903 | 12903 | -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_x10_u5_b41 | 17 | 10 | 5 | 41 | ![]() |
div(D,min(P,sgn(D))) | 106613 | 138455273 | o2(x,o2(x,o1(x))) | true | 12911 | 12911 | 0.07046 | 0.7266 | 0.2081 | 0.1066 | 0.3264 | -1 | 0.4963 | 1.496 | 1 | 3.071 | 0.01048 | 0 | 0.04112 | 1 | 1 | -0.0002878 | 0.01626 | 0.02747 | 0.008788 | 0.09375 | 2.28 | 1.032 | 0.09835 | 0.1526 | 1 | 1 | 0.01571 | 0.08551 | 0.1249 | 0.1474 | 0.8024 | 1.172 | json |
| t17_x10_u5_b42 | 17 | 10 | 5 | 42 | ![]() |
div(D,dot(P,sgn(D))) | 106614 | 138455274 | o2(x,o2(x,o1(x))) | true | 12919 | 12919 | -0.2266 | 0.3861 | 0.2836 | 0.1896 | 0.4354 | -1 | 1 | 2 | 1 | 2.784 | 0.02728 | 0.02788 | 0.0648 | -0.01092 | 1 | -1.678e-11 | 0.1207 | 0.1097 | 0.05095 | 0.2257 | 3.484 | 2.828 | 0.291 | 0.637 | 1 | 1 | 0.07066 | 0.2919 | 0.3259 | 0.3728 | 1.54 | 1.719 | json |
| t17_x10_u5_b43 | 17 | 10 | 5 | 43 | ![]() |
div(D,dst(P,sgn(D))) | 106615 | 138455275 | o2(x,o2(x,o1(x))) | true | 12927 | 12927 | -0.01563 | 0.4914 | 0.03782 | 0.01655 | 0.1286 | -1 | 0.2292 | 1.229 | 1 | 1.485 | 0.00213 | 0.002067 | 0.01239 | 0.01495 | 1 | -2.022e-10 | 0.008684 | 0.0121 | 0.004044 | 0.06359 | 5.132 | 1.43 | 0.2536 | 0.5247 | 1 | 1 | 0.007534 | 0.03127 | 0.05791 | 0.4552 | 1.889 | 3.499 | json |
| t17_x10_u5_b44 | 17 | 10 | 5 | 44 | ![]() |
pow(D,add(P,sgn(D))) | 106616 | 138455276 | o2(x,o2(x,o1(x))) | true | 12935 | 12935 | -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_x10_u5_b45 | 17 | 10 | 5 | 45 | ![]() |
pow(D,sub(P,sgn(D))) | 106617 | 138455277 | o2(x,o2(x,o1(x))) | true | 12943 | 12943 | -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_x10_u5_b46 | 17 | 10 | 5 | 46 | ![]() |
pow(D,mlt(P,sgn(D))) | 106618 | 138455278 | o2(x,o2(x,o1(x))) | true | 12951 | 12951 | -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_x10_u5_b47 | 17 | 10 | 5 | 47 | ![]() |
pow(D,div(P,sgn(D))) | 106619 | 138455279 | o2(x,o2(x,o1(x))) | true | 12959 | 12959 | -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_x10_u5_b48 | 17 | 10 | 5 | 48 | ![]() |
pow(D,pow(P,sgn(D))) | 106620 | 138455280 | o2(x,o2(x,o1(x))) | true | 12967 | 12967 | -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_x10_u5_b49 | 17 | 10 | 5 | 49 | ![]() |
pow(D,mod(P,sgn(D))) | 106621 | 138455281 | o2(x,o2(x,o1(x))) | true | 12975 | 12975 | 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_x10_u5_b50 | 17 | 10 | 5 | 50 | ![]() |
pow(D,lrg(P,sgn(D))) | 106622 | 138455282 | o2(x,o2(x,o1(x))) | true | 12983 | 12983 | -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_x10_u5_b51 | 17 | 10 | 5 | 51 | ![]() |
pow(D,eql(P,sgn(D))) | 106623 | 138455283 | o2(x,o2(x,o1(x))) | true | 12991 | 12991 | 0.8527 | 0.9375 | 0.9777 | 0.2434 | 0.4934 | -1 | 1 | 2 | 1 | 0.7376 | 0.0358 | 0 | 0.02356 | 1 | 1 | 1.877e-12 | 0.07149 | 0.04031 | 0.03527 | 0.1878 | 7.971 | 2 | 0.1471 | 0.2937 | 1 | 1 | 0.04757 | 0.1867 | 0.3574 | 0.1954 | 0.7671 | 1.468 | json |
| t17_x10_u5_b52 | 17 | 10 | 5 | 52 | ![]() |
pow(D,min(P,sgn(D))) | 106624 | 138455284 | o2(x,o2(x,o1(x))) | true | 12999 | 12999 | -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_x10_u5_b53 | 17 | 10 | 5 | 53 | ![]() |
pow(D,dot(P,sgn(D))) | 106625 | 138455285 | o2(x,o2(x,o1(x))) | true | 13007 | 13007 | -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_x10_u5_b54 | 17 | 10 | 5 | 54 | ![]() |
pow(D,dst(P,sgn(D))) | 106626 | 138455286 | o2(x,o2(x,o1(x))) | true | 13015 | 13015 | -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_x10_u5_b55 | 17 | 10 | 5 | 55 | ![]() |
mod(D,add(P,sgn(D))) | 106627 | 138455287 | o2(x,o2(x,o1(x))) | true | 13023 | 13023 | -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_x10_u5_b56 | 17 | 10 | 5 | 56 | ![]() |
mod(D,sub(P,sgn(D))) | 106628 | 138455288 | o2(x,o2(x,o1(x))) | true | 13031 | 13031 | -0.125 | 0.4375 | 0.2076 | 0.1189 | 0.3448 | -1 | 0.1454 | 1.145 | 1 | 2.785 | 0.01728 | 0 | 0.04687 | 1 | 1 | 9.386e-13 | 0.03199 | 0.04439 | 0.01509 | 0.1228 | 2.621 | 1.031 | 0.1454 | 0.2691 | 1 | 1 | 0.02361 | 0.1015 | 0.1702 | 0.1987 | 0.8539 | 1.432 | json |
| t17_x10_u5_b57 | 17 | 10 | 5 | 57 | ![]() |
mod(D,mlt(P,sgn(D))) | 106629 | 138455289 | o2(x,o2(x,o1(x))) | true | 13039 | 13039 | -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_x10_u5_b58 | 17 | 10 | 5 | 58 | ![]() |
mod(D,div(P,sgn(D))) | 106630 | 138455290 | o2(x,o2(x,o1(x))) | true | 13047 | 13047 | -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_x10_u5_b59 | 17 | 10 | 5 | 59 | ![]() |
mod(D,pow(P,sgn(D))) | 106631 | 138455291 | o2(x,o2(x,o1(x))) | true | 13055 | 13055 | -0.5237 | 0.3164 | 0.6205 | 0.2985 | 0.5463 | -1 | 0.2656 | 1.266 | 1 | 2.204 | 0.006297 | 0 | 0.02507 | 1 | 1 | -0.0003231 | 0.01125 | 0.03059 | 0.00567 | 0.0753 | 3.003 | 1.031 | 0.0211 | 0.03769 | 1 | 1 | 0.008596 | 0.04178 | 0.09638 | 0.0288 | 0.14 | 0.3229 | json |
| t17_x10_u5_b60 | 17 | 10 | 5 | 60 | ![]() |
mod(D,mod(P,sgn(D))) | 106632 | 138455292 | o2(x,o2(x,o1(x))) | true | 13063 | 13063 | -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_x10_u5_b61 | 17 | 10 | 5 | 61 | ![]() |
mod(D,lrg(P,sgn(D))) | 106633 | 138455293 | o2(x,o2(x,o1(x))) | true | 13071 | 13071 | -0.625 | 0.1875 | 0.6604 | 0.2385 | 0.4883 | -1 | 0.1454 | 1.145 | 1 | 1.915 | 0.00482 | 0 | 0.01747 | 1 | 1 | 0.0001582 | 0.008088 | 0.01339 | 0.004514 | 0.06719 | 3.845 | 1.031 | 0.02021 | 0.03392 | 1 | 1 | 0.006938 | 0.03253 | 0.08512 | 0.0291 | 0.1364 | 0.357 | json |
| t17_x10_u5_b62 | 17 | 10 | 5 | 62 | ![]() |
mod(D,eql(P,sgn(D))) | 106634 | 138455294 | o2(x,o2(x,o1(x))) | true | 13079 | 13079 | -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_x10_u5_b63 | 17 | 10 | 5 | 63 | ![]() |
mod(D,min(P,sgn(D))) | 106635 | 138455295 | o2(x,o2(x,o1(x))) | true | 13087 | 13087 | -0.0625 | 0.4688 | 0.151 | 0.06874 | 0.2622 | -1 | 0.1454 | 1.145 | 1 | 2.738 | 0.009456 | 0 | 0.04148 | 1 | 1 | 9.386e-13 | 0.01612 | 0.02948 | 0.007738 | 0.08796 | 2.121 | 1.031 | 0.1376 | 0.2346 | 1 | 1 | 0.01338 | 0.06167 | 0.08512 | 0.1947 | 0.8971 | 1.238 | json |
| t17_x10_u5_b64 | 17 | 10 | 5 | 64 | ![]() |
mod(D,dot(P,sgn(D))) | 106636 | 138455296 | o2(x,o2(x,o1(x))) | true | 13095 | 13095 | -0.2344 | 0.3828 | 0.3067 | 0.1877 | 0.4332 | -1 | 0.1454 | 1.145 | 1 | 2.747 | 0.02616 | 0.02521 | 0.07544 | 0.01836 | 1 | -1.567e-10 | 0.1111 | 0.1104 | 0.04568 | 0.2137 | 2.833 | 1.415 | 0.2737 | 0.5919 | 1 | 1 | 0.06393 | 0.2665 | 0.2832 | 0.3406 | 1.42 | 1.509 | json |
| t17_x10_u5_b65 | 17 | 10 | 5 | 65 | ![]() |
mod(D,dst(P,sgn(D))) | 106637 | 138455297 | o2(x,o2(x,o1(x))) | true | 13103 | 13103 | -0.01563 | 0.4922 | 0.1085 | 0.02604 | 0.1614 | -1 | 0.1454 | 1.145 | 1 | 2.637 | 0.003619 | 0.002037 | 0.03941 | 0.2796 | 1 | 2.215e-10 | 0.00887 | 0.02237 | 0.004105 | 0.06407 | 1.626 | 1.415 | 0.2173 | 0.3407 | 1 | 1 | 0.01018 | 0.04959 | 0.05735 | 0.3911 | 1.905 | 2.203 | json |
| t17_x10_u5_b66 | 17 | 10 | 5 | 66 | ![]() |
lrg(D,add(P,sgn(D))) | 106638 | 138455298 | o2(x,o2(x,o1(x))) | true | 13111 | 13111 | 0.5 | 0.5 | 0.5 | 0.25 | 0.5 | 0 | 1 | 1 | 1 | 1 | 0.003968 | 0 | 0.003968 | 1 | 1 | 0 | 0.007937 | 0.007937 | 0.003952 | 0.06287 | 15.84 | 1 | 0.01587 | 0.03175 | 1 | 1 | 0.005263 | 0.02105 | 0.08421 | 0.02105 | 0.08421 | 0.3368 | json |
| t17_x10_u5_b67 | 17 | 10 | 5 | 67 | ![]() |
lrg(D,sub(P,sgn(D))) | 106639 | 138455299 | o2(x,o2(x,o1(x))) | true | 13119 | 13119 | 0.5 | 0.625 | 0.5 | 0.2229 | 0.4722 | 0 | 1 | 1 | 1 | 1.988 | 0.0133 | 0 | 0.02776 | 1 | 1 | -4.731e-10 | 0.02417 | 0.0275 | 0.01254 | 0.112 | 4.033 | 0.9994 | 0.05967 | 0.1084 | 1 | 1 | 0.01926 | 0.07302 | 0.06598 | 0.08639 | 0.3276 | 0.296 | json |
| t17_x10_u5_b68 | 17 | 10 | 5 | 68 | ![]() |
lrg(D,mlt(P,sgn(D))) | 106640 | 138455300 | o2(x,o2(x,o1(x))) | true | 13127 | 13127 | 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_x10_u5_b69 | 17 | 10 | 5 | 69 | ![]() |
lrg(D,div(P,sgn(D))) | 106641 | 138455301 | o2(x,o2(x,o1(x))) | true | 13135 | 13135 | 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_x10_u5_b70 | 17 | 10 | 5 | 70 | ![]() |
lrg(D,pow(P,sgn(D))) | 106642 | 138455302 | o2(x,o2(x,o1(x))) | true | 13143 | 13143 | 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_x10_u5_b71 | 17 | 10 | 5 | 71 | ![]() |
lrg(D,mod(P,sgn(D))) | 106643 | 138455303 | o2(x,o2(x,o1(x))) | true | 13151 | 13151 | 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_x10_u5_b72 | 17 | 10 | 5 | 72 | ![]() |
lrg(D,lrg(P,sgn(D))) | 106644 | 138455304 | o2(x,o2(x,o1(x))) | true | 13159 | 13159 | 0.3125 | 0.625 | 0.3125 | 0.1472 | 0.3837 | 0 | 0.9997 | 0.9997 | 1 | 2.693 | 0.0392 | 0 | 0.07524 | 1 | 1 | 0.00008984 | 0.07248 | 0.08058 | 0.03353 | 0.1831 | 2.434 | 0.9994 | 0.2663 | 0.4923 | 1 | 1 | 0.0437 | 0.1524 | 0.03299 | 0.2968 | 1.035 | 0.2241 | json |
| t17_x10_u5_b73 | 17 | 10 | 5 | 73 | ![]() |
lrg(D,eql(P,sgn(D))) | 106645 | 138455305 | o2(x,o2(x,o1(x))) | true | 13167 | 13167 | 0.4688 | 0.9375 | 0.4688 | 0.1475 | 0.3841 | 0 | 0.9997 | 0.9997 | 1 | 3.332 | 0.06079 | 0 | 0.1149 | 1 | 1 | 0 | 0.1127 | 0.1248 | 0.0476 | 0.2182 | 1.9 | 0.9997 | 0.4121 | 0.764 | 1 | 1 | 0.06466 | 0.2279 | 0.03299 | 0.4383 | 1.545 | 0.2236 | json |
| t17_x10_u5_b74 | 17 | 10 | 5 | 74 | ![]() |
lrg(D,min(P,sgn(D))) | 106646 | 138455306 | o2(x,o2(x,o1(x))) | true | 13175 | 13175 | 0.7813 | 1 | 0.7813 | 0.1235 | 0.3515 | 0.000291 | 1 | 0.9997 | 1 | 2.124 | 0.03022 | 0 | 0.0555 | 1 | 1 | 0.00008984 | 0.05631 | 0.06193 | 0.02713 | 0.1647 | 2.967 | 0.9997 | 0.2446 | 0.4558 | 1 | 1 | 0.03318 | 0.1162 | 0.03299 | 0.2686 | 0.9402 | 0.267 | json |
| t17_x10_u5_b75 | 17 | 10 | 5 | 75 | ![]() |
lrg(D,dot(P,sgn(D))) | 106647 | 138455307 | o2(x,o2(x,o1(x))) | true | 13183 | 13183 | 0.5605 | 1 | 0.5605 | 0.1416 | 0.3763 | 0.000291 | 1 | 0.9997 | 1 | 3.454 | 0.03032 | 0.03013 | 0.1175 | 0.003256 | 1 | 0.0003308 | 0.1119 | 0.1274 | 0.04664 | 0.216 | 1.837 | 0.9997 | 0.4269 | 0.7905 | 1 | 1 | 0.0661 | 0.2402 | 0.09383 | 0.4668 | 1.696 | 0.6626 | json |
| t17_x10_u5_b76 | 17 | 10 | 5 | 76 | ![]() |
lrg(D,dst(P,sgn(D))) | 106648 | 138455308 | o2(x,o2(x,o1(x))) | true | 13191 | 13191 | 0.001953 | 0.007385 | 0.001953 | 0.001197 | 0.0346 | 0 | 0.9994 | 0.9994 | 1 | 0.05785 | 0.0002149 | 0.0002149 | 0.0009053 | -3.386e-8 | 1 | -2.328e-11 | 0.0008708 | 0.001099 | 0.0004286 | 0.0207 | 22.87 | 0.9994 | 0.359 | 0.7276 | 1 | 1 | 0.0008115 | 0.003516 | 0.004354 | 0.678 | 2.938 | 3.638 | json |
| t17_x10_u5_b77 | 17 | 10 | 5 | 77 | ![]() |
eql(D,add(P,sgn(D))) | 106649 | 138455309 | o2(x,o2(x,o1(x))) | true | 13199 | 13199 | 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_x10_u5_b78 | 17 | 10 | 5 | 78 | ![]() |
eql(D,sub(P,sgn(D))) | 106650 | 138455310 | o2(x,o2(x,o1(x))) | true | 13207 | 13207 | 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_x10_u5_b79 | 17 | 10 | 5 | 79 | ![]() |
eql(D,mlt(P,sgn(D))) | 106651 | 138455311 | o2(x,o2(x,o1(x))) | true | 13215 | 13215 | 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_x10_u5_b80 | 17 | 10 | 5 | 80 | ![]() |
eql(D,div(P,sgn(D))) | 106652 | 138455312 | o2(x,o2(x,o1(x))) | true | 13223 | 13223 | 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_x10_u5_b81 | 17 | 10 | 5 | 81 | ![]() |
eql(D,pow(P,sgn(D))) | 106653 | 138455313 | o2(x,o2(x,o1(x))) | true | 13231 | 13231 | 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_x10_u5_b82 | 17 | 10 | 5 | 82 | ![]() |
eql(D,mod(P,sgn(D))) | 106654 | 138455314 | o2(x,o2(x,o1(x))) | true | 13239 | 13239 | 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_x10_u5_b83 | 17 | 10 | 5 | 83 | ![]() |
eql(D,lrg(P,sgn(D))) | 106655 | 138455315 | o2(x,o2(x,o1(x))) | true | 13247 | 13247 | 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_x10_u5_b84 | 17 | 10 | 5 | 84 | ![]() |
eql(D,eql(P,sgn(D))) | 106656 | 138455316 | o2(x,o2(x,o1(x))) | true | 13255 | 13255 | 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_x10_u5_b85 | 17 | 10 | 5 | 85 | ![]() |
eql(D,min(P,sgn(D))) | 106657 | 138455317 | o2(x,o2(x,o1(x))) | true | 13263 | 13263 | 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_x10_u5_b86 | 17 | 10 | 5 | 86 | ![]() |
eql(D,dot(P,sgn(D))) | 106658 | 138455318 | o2(x,o2(x,o1(x))) | true | 13271 | 13271 | 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_x10_u5_b87 | 17 | 10 | 5 | 87 | ![]() |
eql(D,dst(P,sgn(D))) | 106659 | 138455319 | o2(x,o2(x,o1(x))) | true | 13279 | 13279 | 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_x10_u5_b88 | 17 | 10 | 5 | 88 | ![]() |
min(D,add(P,sgn(D))) | 106660 | 138455320 | o2(x,o2(x,o1(x))) | true | 13287 | 13287 | -0.4688 | 0.25 | 0.516 | 0.2477 | 0.4977 | -1 | 0.1454 | 1.145 | 1 | 2.593 | 0.009346 | 0 | 0.03003 | 1 | 1 | 0.0001582 | 0.01617 | 0.02409 | 0.008447 | 0.09191 | 3.061 | 1.031 | 0.03773 | 0.06529 | 1 | 1 | 0.01358 | 0.05571 | 0.07308 | 0.05484 | 0.2249 | 0.295 | json |
| t17_x10_u5_b89 | 17 | 10 | 5 | 89 | ![]() |
min(D,sub(P,sgn(D))) | 106661 | 138455321 | o2(x,o2(x,o1(x))) | true | 13295 | 13295 | -0.519 | 0.1875 | 0.5544 | 0.2322 | 0.4819 | -1 | 0.1454 | 1.145 | 1 | 2.756 | 0.009868 | 0 | 0.03501 | 1 | 1 | 0.0001582 | 0.01663 | 0.02625 | 0.008641 | 0.09295 | 2.655 | 0.9682 | 0.04249 | 0.07163 | 1 | 1 | 0.01466 | 0.05008 | 0.06423 | 0.06313 | 0.2157 | 0.2766 | json |
| t17_x10_u5_b90 | 17 | 10 | 5 | 90 | ![]() |
min(D,mlt(P,sgn(D))) | 106662 | 138455322 | o2(x,o2(x,o1(x))) | true | 13303 | 13303 | -0.7242 | 0.07422 | 0.7309 | 0.1552 | 0.3939 | -1 | 0.09207 | 1.092 | 1 | 2.474 | 0.07095 | 0 | 0.1205 | 1 | 1 | -1.895e-9 | 0.1218 | 0.1519 | 0.05644 | 0.2376 | 1.971 | 1.03 | 0.4572 | 0.7846 | 1 | 1 | 0.07913 | 0.2213 | 0.05892 | 0.5099 | 1.426 | 0.3797 | json |
| t17_x10_u5_b91 | 17 | 10 | 5 | 91 | ![]() |
min(D,div(P,sgn(D))) | 106663 | 138455323 | o2(x,o2(x,o1(x))) | true | 13311 | 13311 | -0.7242 | 0.07422 | 0.7309 | 0.1552 | 0.3939 | -1 | 0.09207 | 1.092 | 1 | 2.474 | 0.07095 | 0 | 0.1205 | 1 | 1 | -1.895e-9 | 0.1218 | 0.1519 | 0.05644 | 0.2376 | 1.971 | 1.03 | 0.4572 | 0.7846 | 1 | 1 | 0.07913 | 0.2213 | 0.05892 | 0.5099 | 1.426 | 0.3797 | json |
| t17_x10_u5_b92 | 17 | 10 | 5 | 92 | ![]() |
min(D,pow(P,sgn(D))) | 106664 | 138455324 | o2(x,o2(x,o1(x))) | true | 13319 | 13319 | -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_x10_u5_b93 | 17 | 10 | 5 | 93 | ![]() |
min(D,mod(P,sgn(D))) | 106665 | 138455325 | o2(x,o2(x,o1(x))) | true | 13327 | 13327 | -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_x10_u5_b94 | 17 | 10 | 5 | 94 | ![]() |
min(D,lrg(P,sgn(D))) | 106666 | 138455326 | o2(x,o2(x,o1(x))) | true | 13335 | 13335 | -0.08938 | 0.1875 | 0.1248 | 0.01462 | 0.1209 | -0.2729 | 0.1454 | 0.4183 | 1 | 2.839 | 0.001532 | 0 | 0.03505 | 1 | 1 | 0.0002322 | 0.000258 | 0.01385 | 0.000304 | 0.01743 | 0.4974 | 0.0622 | 0.1047 | 0.01764 | 1 | 1 | 0.002946 | 0.02065 | 0.0025 | 0.2014 | 1.412 | 0.171 | json |
| t17_x10_u5_b95 | 17 | 10 | 5 | 95 | ![]() |
min(D,eql(P,sgn(D))) | 106667 | 138455327 | o2(x,o2(x,o1(x))) | true | 13343 | 13343 | -0.1341 | 0.03125 | 0.14 | 0.01053 | 0.1026 | -0.2729 | 0.1454 | 0.4183 | 1 | 2.42 | 0.001464 | 0 | 0.0343 | 1 | 1 | 0.0003063 | 0.0002628 | 0.01362 | 0.0002884 | 0.01698 | 0.4951 | 0.0622 | 0.139 | 0.02494 | 1 | 1 | 0.002824 | 0.01902 | 0.0025 | 0.2681 | 1.806 | 0.2374 | json |
| t17_x10_u5_b96 | 17 | 10 | 5 | 96 | ![]() |
min(D,min(P,sgn(D))) | 106668 | 138455328 | o2(x,o2(x,o1(x))) | true | 13351 | 13351 | -0.6875 | 0.1641 | 0.7154 | 0.189 | 0.4347 | -1 | 0.1294 | 1.129 | 1 | 2.359 | 0.03764 | 0 | 0.07059 | 1 | 1 | -0.0001639 | 0.06489 | 0.07444 | 0.03266 | 0.1807 | 2.56 | 1.031 | 0.1991 | 0.3434 | 1 | 1 | 0.04506 | 0.1787 | 0.04298 | 0.2384 | 0.9457 | 0.2274 | json |
| t17_x10_u5_b97 | 17 | 10 | 5 | 97 | ![]() |
min(D,dot(P,sgn(D))) | 106669 | 138455329 | o2(x,o2(x,o1(x))) | true | 13359 | 13359 | -0.7831 | 0.05765 | 0.7895 | 0.1341 | 0.3662 | -1 | 0.1448 | 1.145 | 1 | 2.099 | 0.03927 | 0.03847 | 0.1261 | 0.0103 | 1 | -0.000002755 | 0.1387 | 0.1742 | 0.06185 | 0.2487 | 1.973 | 1.391 | 0.5798 | 1.034 | 1 | 1 | 0.08741 | 0.2186 | 0.06813 | 0.6519 | 1.63 | 0.508 | json |
| t17_x10_u5_b98 | 17 | 10 | 5 | 98 | ![]() |
min(D,dst(P,sgn(D))) | 106670 | 138455330 | o2(x,o2(x,o1(x))) | true | 13367 | 13367 | -0.0005587 | 0.4984 | 0.09447 | 0.01087 | 0.1043 | -0.2728 | 0.1454 | 0.4182 | 1 | 2.574 | 0.00163 | 0.00001628 | 0.03615 | 0.9802 | 1 | -4.576e-12 | 0.0002878 | 0.01472 | 0.0003404 | 0.01845 | 0.5103 | 0.2775 | 0.1515 | 0.02648 | 1 | 1 | 0.003175 | 0.02195 | 0.00033 | 0.292 | 2.019 | 0.03035 | json |
| t17_x10_u5_b99 | 17 | 10 | 5 | 99 | ![]() |
dot(D,add(P,sgn(D))) | 106671 | 138455331 | o2(x,o2(x,o1(x))) | true | 13375 | 13375 | 0.2397 | 0.6605 | 0.5376 | 0.3418 | 0.5846 | -1 | 1 | 2 | 1 | 4.686 | 0.02745 | 0.02745 | 0.1905 | -0.00001086 | 1 | 0.003333 | 0.01724 | 0.08699 | 0.01863 | 0.1365 | 0.7165 | 0.6385 | 0.1606 | 0.05043 | 1 | 1 | 0.06858 | 0.4626 | 0.03703 | 0.2007 | 1.354 | 0.1083 | json |
| t17_x10_u5_b100 | 17 | 10 | 5 | 100 | ![]() |
dot(D,sub(P,sgn(D))) | 106672 | 138455332 | o2(x,o2(x,o1(x))) | true | 13383 | 13383 | -0.616 | 0.1356 | 0.7119 | 0.2372 | 0.4871 | -1 | 1 | 2 | 1 | 3.528 | 0.02289 | 0.02289 | 0.153 | 0.00003186 | 1 | 0.001607 | 0.01962 | 0.0872 | 0.02237 | 0.1496 | 0.9775 | 0.656 | 0.193 | 0.08272 | 1 | 1 | 0.05849 | 0.3633 | 0.02419 | 0.2465 | 1.531 | 0.102 | json |
| t17_x10_u5_b101 | 17 | 10 | 5 | 101 | ![]() |
dot(D,mlt(P,sgn(D))) | 106673 | 138455333 | o2(x,o2(x,o1(x))) | true | 13391 | 13391 | 2.601e-9 | 0.498 | 0.8003 | 0.7377 | 0.8589 | -1 | 1 | 2 | 1 | 3.337 | 0.02422 | 0.02422 | 0.1222 | 0.000005036 | 1 | 2.598e-9 | 0.03241 | 0.08529 | 0.03349 | 0.183 | 1.497 | 0.8968 | 0.06568 | 0.04394 | 1 | 1 | 0.06709 | 0.3217 | 0.1436 | 0.09095 | 0.4361 | 0.1947 | json |
| t17_x10_u5_b102 | 17 | 10 | 5 | 102 | ![]() |
dot(D,div(P,sgn(D))) | 106674 | 138455334 | o2(x,o2(x,o1(x))) | true | 13399 | 13399 | -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_x10_u5_b103 | 17 | 10 | 5 | 103 | ![]() |
dot(D,pow(P,sgn(D))) | 106675 | 138455335 | o2(x,o2(x,o1(x))) | true | 13407 | 13407 | -0.5917 | 0.2259 | 0.915 | 0.5417 | 0.736 | -1 | 1 | 2 | 1 | 1.666 | 0.006817 | 0.006816 | 0.02986 | 0.000005909 | 1 | -0.0003826 | 0.01965 | 0.0258 | 0.01274 | 0.1129 | 3.78 | 2 | 0.02517 | 0.03627 | 1 | 1 | 0.0173 | 0.08569 | 0.1627 | 0.03193 | 0.1582 | 0.3003 | json |
| t17_x10_u5_b104 | 17 | 10 | 5 | 104 | ![]() |
dot(D,mod(P,sgn(D))) | 106676 | 138455336 | o2(x,o2(x,o1(x))) | true | 13415 | 13415 | -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_x10_u5_b105 | 17 | 10 | 5 | 105 | ![]() |
dot(D,lrg(P,sgn(D))) | 106677 | 138455337 | o2(x,o2(x,o1(x))) | true | 13423 | 13423 | -0.05363 | 0.2542 | 0.1048 | 0.01781 | 0.1335 | -0.5458 | 0.2908 | 0.8366 | 1 | 3.089 | 0.0008895 | 0.0008895 | 0.03448 | 0.00001587 | 1 | 0.0003164 | 0.0002767 | 0.01254 | 0.0005906 | 0.0243 | 0.7048 | 0.08796 | 0.09987 | 0.01553 | 1 | 1 | 0.00357 | 0.02688 | 0.01 | 0.2004 | 1.509 | 0.5615 | json |
| t17_x10_u5_b106 | 17 | 10 | 5 | 106 | ![]() |
dot(D,eql(P,sgn(D))) | 106678 | 138455338 | o2(x,o2(x,o1(x))) | true | 13431 | 13431 | -4.937e-11 | 0.1169 | 0.03438 | 0.007423 | 0.08616 | -0.5458 | 0.5458 | 1.092 | 1 | 1.354 | 0.0001841 | 0.0001841 | 0.008389 | -0.000007942 | 1 | -4.154e-9 | 0.00006269 | 0.00333 | 0.000298 | 0.01726 | 2.058 | 0.08746 | 0.04961 | 0.008446 | 1 | 1 | 0.0009353 | 0.008095 | 0.01 | 0.126 | 1.09 | 1.347 | json |
| t17_x10_u5_b107 | 17 | 10 | 5 | 107 | ![]() |
dot(D,min(P,sgn(D))) | 106679 | 138455339 | o2(x,o2(x,o1(x))) | true | 13439 | 13439 | 0.1506 | 0.6524 | 0.4794 | 0.2929 | 0.5412 | -1 | 1 | 2 | 1 | 4.854 | 0.01662 | 0.01662 | 0.1468 | -0.0001075 | 1 | 0.001455 | 0.008019 | 0.05949 | 0.01168 | 0.1081 | 0.7359 | 0.613 | 0.1135 | 0.02738 | 1 | 1 | 0.04104 | 0.2722 | 0.03641 | 0.1401 | 0.9293 | 0.1243 | json |
| t17_x10_u5_b108 | 17 | 10 | 5 | 108 | ![]() |
dot(D,dot(P,sgn(D))) | 106680 | 138455340 | o2(x,o2(x,o1(x))) | true | 13447 | 13447 | 8.441e-9 | 0.498 | 0.7906 | 0.7282 | 0.8533 | -1 | 1 | 2 | 1 | 3.363 | 0.04829 | 0.04829 | 0.1706 | -0.000002083 | 1 | -2.988e-9 | 0.145 | 0.1669 | 0.06748 | 0.2598 | 1.523 | 1.972 | 0.1326 | 0.1991 | 1 | 1 | 0.1097 | 0.4204 | 0.1473 | 0.1507 | 0.5774 | 0.2023 | json |
| t17_x10_u5_b109 | 17 | 10 | 5 | 109 | ![]() |
dot(D,dst(P,sgn(D))) | 106681 | 138455341 | o2(x,o2(x,o1(x))) | true | 13455 | 13455 | 6.303e-9 | 0.4979 | 0.6196 | 0.5106 | 0.7146 | -1 | 1 | 2 | 1 | 4.395 | 0.04434 | 0.04434 | 0.2263 | -3.781e-7 | 1 | -1.658e-9 | 0.04871 | 0.1282 | 0.03745 | 0.1935 | 0.8551 | 0.9904 | 0.1736 | 0.09539 | 1 | 1 | 0.1192 | 0.6907 | 0.04802 | 0.2334 | 1.353 | 0.09404 | json |
| t17_x10_u5_b110 | 17 | 10 | 5 | 110 | ![]() |
dst(D,add(P,sgn(D))) | 106682 | 138455342 | o2(x,o2(x,o1(x))) | true | 13463 | 13463 | 0.9959 | 1 | 0.9959 | 0.002028 | 0.04503 | 0.04419 | 1 | 0.9558 | 1 | 0.1265 | 0.0003563 | 0.0003563 | 0.001727 | -4.084e-8 | 1 | -3.379e-11 | 0.001504 | 0.002187 | 0.0007101 | 0.02665 | 15.43 | 1.352 | 0.3515 | 0.7418 | 1 | 1 | 0.0013 | 0.005091 | 0.007426 | 0.641 | 2.511 | 3.662 | json |
| t17_x10_u5_b111 | 17 | 10 | 5 | 111 | ![]() |
dst(D,sub(P,sgn(D))) | 106683 | 138455343 | o2(x,o2(x,o1(x))) | true | 13471 | 13471 | 0.9993 | 1 | 0.9993 | 0.0004233 | 0.02057 | 0.04648 | 1 | 0.9535 | 1 | 0.02052 | 0.0001995 | 0.0001995 | 0.0007603 | -7.293e-8 | 1 | 3.754e-11 | 0.0009027 | 0.001173 | 0.0003983 | 0.01996 | 26.25 | 1.348 | 0.9427 | 2.132 | 1 | 1 | 0.0007686 | 0.00154 | 0.00154 | 1.816 | 3.637 | 3.637 | json |
| t17_x10_u5_b112 | 17 | 10 | 5 | 112 | ![]() |
dst(D,mlt(P,sgn(D))) | 106684 | 138455344 | o2(x,o2(x,o1(x))) | true | 13479 | 13479 | 0.9973 | 1 | 0.9973 | 0.001296 | 0.036 | 0.04419 | 1 | 0.9558 | 1 | 0.09279 | 0.0000351 | 0.0000351 | 0.0007767 | -2.591e-7 | 0 | 2.44e-11 | 0.00002104 | 0.0003653 | 0.00006955 | 0.00834 | 10.74 | 0.1624 | 0.05416 | 0.01623 | 1 | 1 | 0.0002327 | 0.002203 | 0.004731 | 0.1795 | 1.7 | 3.65 | json |
| t17_x10_u5_b113 | 17 | 10 | 5 | 113 | ![]() |
dst(D,div(P,sgn(D))) | 106685 | 138455345 | o2(x,o2(x,o1(x))) | true | 13487 | 13487 | -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_x10_u5_b114 | 17 | 10 | 5 | 114 | ![]() |
dst(D,pow(P,sgn(D))) | 106686 | 138455346 | o2(x,o2(x,o1(x))) | true | 13495 | 13495 | -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_x10_u5_b115 | 17 | 10 | 5 | 115 | ![]() |
dst(D,mod(P,sgn(D))) | 106687 | 138455347 | o2(x,o2(x,o1(x))) | true | 13503 | 13503 | -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_x10_u5_b116 | 17 | 10 | 5 | 116 | ![]() |
dst(D,lrg(P,sgn(D))) | 106688 | 138455348 | o2(x,o2(x,o1(x))) | true | 13511 | 13511 | 0.8489 | 1 | 0.8489 | 0.06323 | 0.2515 | 0.04473 | 1 | 0.9553 | 1 | 2.111 | 0.003171 | 0.003171 | 0.03132 | 0.000009912 | 1 | -0.000206 | 0.009659 | 0.02335 | 0.005359 | 0.07321 | 2.337 | 0.955 | 0.1003 | 0.1528 | 1 | 1 | 0.009904 | 0.04021 | 0.02448 | 0.1566 | 0.636 | 0.3872 | json |
| t17_x10_u5_b117 | 17 | 10 | 5 | 117 | ![]() |
dst(D,eql(P,sgn(D))) | 106689 | 138455349 | o2(x,o2(x,o1(x))) | true | 13519 | 13519 | 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_x10_u5_b118 | 17 | 10 | 5 | 118 | ![]() |
dst(D,min(P,sgn(D))) | 106690 | 138455350 | o2(x,o2(x,o1(x))) | true | 13527 | 13527 | 0.981 | 1 | 0.981 | 0.004374 | 0.06614 | 0.04419 | 1 | 0.9558 | 1 | 0.6611 | 0.0005136 | 0.0005136 | 0.009029 | -2.833e-7 | 1 | 0.00003727 | 0.001393 | 0.007156 | 0.0009454 | 0.03075 | 3.405 | 0.9254 | 0.2348 | 0.3184 | 1 | 1 | 0.001667 | 0.0085 | 0.004464 | 0.3811 | 1.943 | 1.02 | json |
| t17_x10_u5_b119 | 17 | 10 | 5 | 119 | ![]() |
dst(D,dot(P,sgn(D))) | 106691 | 138455351 | o2(x,o2(x,o1(x))) | true | 13535 | 13535 | 0.9938 | 1 | 0.9938 | 0.003964 | 0.06296 | 0.045 | 1 | 0.955 | 1 | 0.1405 | 0.002289 | 0.002289 | 0.007457 | -2.543e-7 | 1 | -5.256e-11 | 0.01328 | 0.01228 | 0.004524 | 0.06726 | 9.021 | 1.349 | 1.155 | 3.349 | 1 | 1 | 0.006651 | 0.01203 | 0.01195 | 1.678 | 3.033 | 3.014 | json |
| t17_x10_u5_b120 | 17 | 10 | 5 | 120 | ![]() |
dst(D,dst(P,sgn(D))) | 106692 | 138455352 | o2(x,o2(x,o1(x))) | true | 13543 | 13543 | 0.9995 | 1 | 0.9995 | 0.0003487 | 0.01867 | 0.04692 | 1 | 0.9531 | 1 | 0.01472 | 0.0001884 | 0.0001884 | 0.0006369 | -3.863e-8 | 1 | 1.126e-11 | 0.0008796 | 0.001027 | 0.0003761 | 0.01939 | 30.45 | 1.348 | 1.08 | 2.522 | 1 | 1 | 0.0007237 | 0.001268 | 0.001268 | 2.075 | 3.635 | 3.635 | json |
| t17_x10_u6_b0 | 17 | 10 | 6 | 0 | ![]() |
add(D,add(P,nrm(D))) | 106693 | 138455433 | o2(x,o2(x,o1(x))) | true | 13551 | 13551 | 0 | 0.5 | 0.9375 | 0.9144 | 0.9562 | -1 | 1 | 2 | 1 | 1.986 | 0.004682 | 0.0008857 | 0.01997 | 0.6819 | 1 | -6.429e-11 | 0.005059 | 0.0119 | 0.005168 | 0.07189 | 3.6 | 1.527 | 0.006089 | 0.005532 | 1 | 1 | 0.0123 | 0.07056 | 0.2214 | 0.01345 | 0.07717 | 0.2421 | json |
| t17_x10_u6_b1 | 17 | 10 | 6 | 1 | ![]() |
add(D,sub(P,nrm(D))) | 106694 | 138455434 | o2(x,o2(x,o1(x))) | true | 13559 | 13559 | 0 | 0.5 | 0.9375 | 0.9185 | 0.9584 | -1 | 1 | 2 | 1 | 1.967 | 0.004775 | 0.0009036 | 0.02249 | 0.6817 | 1 | -2.666e-10 | 0.00508 | 0.01294 | 0.005174 | 0.07193 | 3.198 | 1.406 | 0.006182 | 0.00553 | 1 | 1 | 0.01256 | 0.06959 | 0.2271 | 0.01367 | 0.07576 | 0.2473 | json |
| t17_x10_u6_b2 | 17 | 10 | 6 | 2 | ![]() |
add(D,mlt(P,nrm(D))) | 106695 | 138455435 | o2(x,o2(x,o1(x))) | true | 13567 | 13567 | -0.1392 | 0.4209 | 0.743 | 0.6456 | 0.8035 | -1 | 1 | 2 | 1 | 3.714 | 0.1741 | 0.003889 | 0.2213 | 0.9563 | 1 | 0.000007414 | 0.2182 | 0.203 | 0.129 | 0.3592 | 1.623 | 2.04 | 0.2757 | 0.338 | 1 | 1 | 0.2163 | 1.147 | 0.09851 | 0.3351 | 1.776 | 0.1526 | json |
| t17_x10_u6_b3 | 17 | 10 | 6 | 3 | ![]() |
add(D,div(P,nrm(D))) | 106696 | 138455436 | o2(x,o2(x,o1(x))) | true | 13575 | 13575 | -0.1308 | 0.4307 | 0.8893 | 0.8434 | 0.9184 | -1 | 1 | 2 | 1 | 2.342 | 0.3311 | 0.000417 | 0.232 | 0.9975 | 1 | -0.00001443 | 0.5685 | 0.349 | 0.2777 | 0.5269 | 2.272 | 2 | 0.393 | 0.6741 | 1 | 1 | 0.3592 | 1.533 | 0.2 | 0.4259 | 1.818 | 0.2372 | json |
| t17_x10_u6_b4 | 17 | 10 | 6 | 4 | ![]() |
add(D,pow(P,nrm(D))) | 106697 | 138455437 | o2(x,o2(x,o1(x))) | true | 13583 | 13583 | -0.09907 | 0.5 | 0.9009 | 0.8462 | 0.9199 | -1 | 1 | 2 | 1 | 2.347 | 0.01147 | 0.0004985 | 0.03926 | 0.9167 | 1 | 0.00001778 | 0.01525 | 0.03681 | 0.01042 | 0.1021 | 2.6 | 1.031 | 0.01414 | 0.01802 | 1 | 1 | 0.01731 | 0.07574 | 0.2525 | 0.02046 | 0.0895 | 0.2984 | json |
| t17_x10_u6_b5 | 17 | 10 | 6 | 5 | ![]() |
add(D,mod(P,nrm(D))) | 106698 | 138455438 | o2(x,o2(x,o1(x))) | true | 13591 | 13591 | -2.797e-11 | 0.5 | 0.2257 | 0.08478 | 0.2912 | -0.9518 | 0.9518 | 1.904 | 1 | 4.246 | 0.02925 | 0.03084 | 0.1916 | -0.02649 | 1 | -1.03e-9 | 0.2716 | 0.3512 | 0.02339 | 0.1529 | 0.7983 | 0.9289 | 0.7087 | 3.204 | 1 | 1 | 0.0386 | 0.07313 | 0.0219 | 0.4553 | 0.8626 | 0.2583 | json |
| t17_x10_u6_b6 | 17 | 10 | 6 | 6 | ![]() |
add(D,lrg(P,nrm(D))) | 106699 | 138455439 | o2(x,o2(x,o1(x))) | true | 13599 | 13599 | 0.4793 | 0.7813 | 0.5207 | 0.2152 | 0.4639 | -0.1454 | 1 | 1.145 | 1 | 3.382 | 0.004976 | 0 | 0.03481 | 1 | 1 | -4.731e-10 | 0.008183 | 0.02018 | 0.003766 | 0.06137 | 1.763 | 0.9375 | 0.02312 | 0.03803 | 1 | 1 | 0.007065 | 0.03098 | 0.05954 | 0.03283 | 0.144 | 0.2767 | json |



































































































