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_x5_u6_b42 | 17 | 5 | 6 | 42 | ![]() |
div(P,dot(D,nrm(R))) | 102500 | 138253470 | o2(x,o2(x,o1(x))) | true | 136807 | 136807 | -0.004266 | 0.4929 | 0.9488 | 0.9388 | 0.9689 | -1 | 1 | 2 | 1 | 1.642 | 0.3861 | 0.3785 | 0.3727 | 0.009848 | 1 | 0.0002078 | 2.662 | 0.7828 | 0.6258 | 0.7911 | 2.123 | 2.828 | 0.8144 | 2.835 | 1 | 1 | 0.7001 | 1.933 | 1.793 | 0.7457 | 2.059 | 1.91 | json |
| t17_x5_u6_b43 | 17 | 5 | 6 | 43 | ![]() |
div(P,dst(D,nrm(R))) | 102501 | 138253471 | o2(x,o2(x,o1(x))) | true | 136815 | 136815 | -0.001696 | 0.5 | 0.9319 | 0.9161 | 0.9571 | -1 | 1 | 2 | 1 | 1.945 | 0.0007579 | 0.00007564 | 0.008882 | 0.8185 | 1 | -0.000007458 | 0.0001326 | 0.00279 | 0.0007549 | 0.02748 | 3.094 | 0.3348 | 0.0009099 | 0.0001447 | 1 | 1 | 0.002127 | 0.02533 | 0.2254 | 0.002322 | 0.02765 | 0.246 | json |
| t17_x5_u6_b44 | 17 | 5 | 6 | 44 | ![]() |
pow(P,add(D,nrm(R))) | 102502 | 138253472 | o2(x,o2(x,o1(x))) | true | 136823 | 136823 | -0.1402 | 0.4692 | 0.9214 | 0.8621 | 0.9285 | -1 | 1 | 2 | 1 | 2.21 | 0.01155 | 0.002666 | 0.02294 | 0.6251 | 1 | -0.0003377 | 0.02692 | 0.02292 | 0.0137 | 0.117 | 5.102 | 2.802 | 0.01649 | 0.03123 | 1 | 1 | 0.02035 | 0.09804 | 0.356 | 0.0236 | 0.1137 | 0.4129 | json |
| t17_x5_u6_b45 | 17 | 5 | 6 | 45 | ![]() |
pow(P,sub(D,nrm(R))) | 102503 | 138253473 | o2(x,o2(x,o1(x))) | true | 136831 | 136831 | -0.1114 | 0.4741 | 0.9404 | 0.899 | 0.9482 | -1 | 1 | 2 | 1 | 1.982 | 0.0106 | 0.001886 | 0.01995 | 0.6978 | 1 | -0.0002382 | 0.02325 | 0.02072 | 0.0121 | 0.11 | 5.513 | 2.756 | 0.01389 | 0.02586 | 1 | 1 | 0.01818 | 0.08916 | 0.3582 | 0.02022 | 0.09917 | 0.3984 | json |
| t17_x5_u6_b46 | 17 | 5 | 6 | 46 | ![]() |
pow(P,mlt(D,nrm(R))) | 102504 | 138253474 | o2(x,o2(x,o1(x))) | true | 136839 | 136839 | -0.1213 | 0.4531 | 0.9724 | 0.9406 | 0.9698 | -1 | 1 | 2 | 1 | 1.663 | 0.01314 | 0.003699 | 0.01641 | 0.5606 | 1 | 0.00005181 | 0.03398 | 0.02197 | 0.01656 | 0.1287 | 7.841 | 2.828 | 0.0179 | 0.03613 | 1 | 1 | 0.02301 | 0.09718 | 0.3807 | 0.02446 | 0.1033 | 0.4047 | json |
| t17_x5_u6_b47 | 17 | 5 | 6 | 47 | ![]() |
pow(P,div(D,nrm(R))) | 102505 | 138253475 | o2(x,o2(x,o1(x))) | true | 136847 | 136847 | -0.1479 | 0.448 | 0.9561 | 0.9149 | 0.9565 | -1 | 1 | 2 | 1 | 1.77 | 0.01827 | 0.006611 | 0.02682 | 0.4686 | 1 | -0.00002876 | 0.04901 | 0.03601 | 0.02417 | 0.1555 | 5.797 | 2.828 | 0.0272 | 0.05357 | 1 | 1 | 0.03084 | 0.1338 | 0.431 | 0.03371 | 0.1462 | 0.4711 | json |
| t17_x5_u6_b48 | 17 | 5 | 6 | 48 | ![]() |
pow(P,pow(D,nrm(R))) | 102506 | 138253476 | o2(x,o2(x,o1(x))) | true | 136855 | 136855 | -0.9063 | 0.0625 | 0.9688 | 0.1407 | 0.3751 | -1 | 0.9997 | 2 | 1 | 0.5501 | 0.02019 | 0 | 0.01587 | 1 | 1 | 0 | 0.03975 | 0.02468 | 0.01993 | 0.1412 | 8.896 | 2 | 0.1435 | 0.2825 | 1 | 1 | 0.0272 | 0.1109 | 0.2014 | 0.1933 | 0.7879 | 1.432 | json |
| t17_x5_u6_b49 | 17 | 5 | 6 | 49 | ![]() |
pow(P,mod(D,nrm(R))) | 102507 | 138253477 | o2(x,o2(x,o1(x))) | true | 136863 | 136863 | -0.06105 | 0.5 | 0.9389 | 0.9046 | 0.9511 | -1 | 1 | 2 | 1 | 2.084 | 0.005754 | 0.00004417 | 0.0215 | 0.9848 | 1 | 0.0002474 | 0.01041 | 0.02451 | 0.005334 | 0.07304 | 3.397 | 1 | 0.00641 | 0.01151 | 1 | 1 | 0.007658 | 0.04503 | 0.2778 | 0.008466 | 0.04978 | 0.3071 | json |
| t17_x5_u6_b50 | 17 | 5 | 6 | 50 | ![]() |
pow(P,lrg(D,nrm(R))) | 102508 | 138253478 | o2(x,o2(x,o1(x))) | true | 136871 | 136871 | 0.07658 | 0.5479 | 0.9809 | 0.9691 | 0.9844 | -1 | 1 | 2 | 1 | 1.341 | 0.06842 | 0.01368 | 0.04547 | 0.6667 | 1 | -0.000002683 | 0.1736 | 0.08614 | 0.07997 | 0.2828 | 6.219 | 2.828 | 0.08472 | 0.1791 | 1 | 1 | 0.07853 | 0.2547 | 0.541 | 0.08103 | 0.2628 | 0.5582 | json |
| t17_x5_u6_b51 | 17 | 5 | 6 | 51 | ![]() |
pow(P,eql(D,nrm(R))) | 102509 | 138253479 | o2(x,o2(x,o1(x))) | true | 136879 | 136879 | 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_x5_u6_b52 | 17 | 5 | 6 | 52 | ![]() |
pow(P,min(D,nrm(R))) | 102510 | 138253480 | o2(x,o2(x,o1(x))) | true | 136887 | 136887 | -0.2235 | 0.4531 | 0.8702 | 0.7535 | 0.868 | -1 | 1 | 2 | 1 | 2.571 | 0.01367 | 0.003979 | 0.02595 | 0.549 | 1 | 0.00004036 | 0.03421 | 0.02496 | 0.01697 | 0.1303 | 5.021 | 2.828 | 0.02342 | 0.04541 | 1 | 1 | 0.02411 | 0.1051 | 0.3595 | 0.032 | 0.1395 | 0.4772 | json |
| t17_x5_u6_b53 | 17 | 5 | 6 | 53 | ![]() |
pow(P,dot(D,nrm(R))) | 102511 | 138253481 | o2(x,o2(x,o1(x))) | true | 136895 | 136895 | -0.129 | 0.453 | 0.9651 | 0.9255 | 0.962 | -1 | 1 | 2 | 1 | 1.801 | 0.01519 | 0.005616 | 0.02076 | 0.4601 | 1 | -0.00004107 | 0.05161 | 0.02807 | 0.02038 | 0.1428 | 6.876 | 2.828 | 0.02248 | 0.05577 | 1 | 1 | 0.02932 | 0.1135 | 0.3727 | 0.03168 | 0.1227 | 0.4027 | json |
| t17_x5_u6_b54 | 17 | 5 | 6 | 54 | ![]() |
pow(P,dst(D,nrm(R))) | 102512 | 138253482 | o2(x,o2(x,o1(x))) | true | 136903 | 136903 | -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_x5_u6_b55 | 17 | 5 | 6 | 55 | ![]() |
mod(P,add(D,nrm(R))) | 102513 | 138253483 | o2(x,o2(x,o1(x))) | true | 136911 | 136911 | -0.003413 | 0.4979 | 0.2666 | 0.1104 | 0.3323 | -1 | 1 | 2 | 1 | 4.45 | 0.04185 | 0.0005264 | 0.1514 | 0.9752 | 1 | 0.0001986 | 0.1231 | 0.2428 | 0.01944 | 0.1394 | 0.9206 | 0.9626 | 0.3838 | 1.115 | 1 | 1 | 0.02394 | 0.04622 | 0.0898 | 0.2168 | 0.4186 | 0.8134 | json |
| t17_x5_u6_b56 | 17 | 5 | 6 | 56 | ![]() |
mod(P,sub(D,nrm(R))) | 102514 | 138253484 | o2(x,o2(x,o1(x))) | true | 136919 | 136919 | -0.001405 | 0.4987 | 0.2649 | 0.1083 | 0.3292 | -1 | 0.9933 | 1.993 | 1 | 4.437 | 0.04161 | 0.0005282 | 0.1507 | 0.9749 | 1 | -0.00004582 | 0.1226 | 0.2423 | 0.01944 | 0.1394 | 0.9252 | 0.961 | 0.3889 | 1.132 | 1 | 1 | 0.02329 | 0.04426 | 0.08646 | 0.2149 | 0.4085 | 0.798 | json |
| t17_x5_u6_b57 | 17 | 5 | 6 | 57 | ![]() |
mod(P,mlt(D,nrm(R))) | 102515 | 138253485 | o2(x,o2(x,o1(x))) | true | 136927 | 136927 | 0.001442 | 0.4962 | 0.07053 | 0.008636 | 0.09293 | -0.3906 | 0.3754 | 0.7661 | 1 | 2.633 | 0.002923 | 0.00002655 | 0.03874 | 0.982 | 1 | 0.00006451 | 0.008305 | 0.06272 | 0.001449 | 0.03807 | 0.9826 | 0.3094 | 0.3416 | 0.9617 | 1 | 1 | 0.001711 | 0.005274 | 0.005279 | 0.1982 | 0.6107 | 0.6113 | json |
| t17_x5_u6_b58 | 17 | 5 | 6 | 58 | ![]() |
mod(P,div(D,nrm(R))) | 102516 | 138253486 | o2(x,o2(x,o1(x))) | true | 136935 | 136935 | 0.0101 | 0.5 | 0.3578 | 0.2216 | 0.4707 | -1 | 1 | 2 | 1 | 4.677 | 0.05183 | 0.0009972 | 0.1583 | 0.9622 | 1 | -0.00002487 | 0.1308 | 0.2449 | 0.02776 | 0.1666 | 1.052 | 0.9828 | 0.2384 | 0.5905 | 1 | 1 | 0.03635 | 0.112 | 0.1375 | 0.1641 | 0.5053 | 0.6208 | json |
| t17_x5_u6_b59 | 17 | 5 | 6 | 59 | ![]() |
mod(P,pow(D,nrm(R))) | 102517 | 138253487 | o2(x,o2(x,o1(x))) | true | 136943 | 136943 | -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_x5_u6_b60 | 17 | 5 | 6 | 60 | ![]() |
mod(P,mod(D,nrm(R))) | 102518 | 138253488 | o2(x,o2(x,o1(x))) | true | 136951 | 136951 | -0.001096 | 0.4396 | 0.09675 | 0.01608 | 0.1268 | -0.3853 | 0.3852 | 0.7705 | 1 | 3.052 | 0.006132 | 0.00003218 | 0.05826 | 0.9896 | 1 | -5.66e-7 | 0.01554 | 0.09467 | 0.00277 | 0.05263 | 0.9035 | 0.3203 | 0.3835 | 0.9667 | 1 | 1 | 0.004629 | 0.009361 | 0.008733 | 0.288 | 0.5823 | 0.5432 | json |
| t17_x5_u6_b61 | 17 | 5 | 6 | 61 | ![]() |
mod(P,lrg(D,nrm(R))) | 102519 | 138253489 | o2(x,o2(x,o1(x))) | true | 136959 | 136959 | -0.9197 | 0 | 0.9197 | 0.07381 | 0.2717 | -1 | 0 | 1 | 1 | 0.4033 | 0.03017 | 0.006362 | 0.03616 | 0.6517 | 1 | 0.000252 | 0.07977 | 0.07281 | 0.03522 | 0.1877 | 5.19 | 1.414 | 0.495 | 1.081 | 1 | 1 | 0.03898 | 0.1095 | 0.1432 | 0.5281 | 1.483 | 1.941 | json |
| t17_x5_u6_b62 | 17 | 5 | 6 | 62 | ![]() |
mod(P,eql(D,nrm(R))) | 102520 | 138253490 | o2(x,o2(x,o1(x))) | true | 136967 | 136967 | -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_x5_u6_b63 | 17 | 5 | 6 | 63 | ![]() |
mod(P,min(D,nrm(R))) | 102521 | 138253491 | o2(x,o2(x,o1(x))) | true | 136975 | 136975 | 0.001618 | 0.4863 | 0.1964 | 0.06005 | 0.245 | -0.7962 | 0.7963 | 1.592 | 1 | 4.009 | 0.004137 | 0.0002468 | 0.04856 | 0.8874 | 1 | -4.145e-7 | 0.009976 | 0.06581 | 0.002026 | 0.04501 | 0.927 | 0.2956 | 0.073 | 0.1661 | 1 | 1 | 0.003435 | 0.01788 | 0.03952 | 0.05721 | 0.2977 | 0.6581 | json |
| t17_x5_u6_b64 | 17 | 5 | 6 | 64 | ![]() |
mod(P,dot(D,nrm(R))) | 102522 | 138253492 | o2(x,o2(x,o1(x))) | true | 136983 | 136983 | 0.0002971 | 0.4967 | 0.1056 | 0.0171 | 0.1308 | -0.4837 | 0.4756 | 0.9592 | 1 | 3.124 | 0.00515 | 0.005233 | 0.08209 | -0.007954 | 1 | 0.00004868 | 0.05043 | 0.1649 | 0.003644 | 0.06037 | 0.7354 | 0.5427 | 0.6071 | 2.949 | 1 | 1 | 0.005539 | 0.01091 | 0.01117 | 0.3239 | 0.6379 | 0.6532 | json |
| t17_x5_u6_b65 | 17 | 5 | 6 | 65 | ![]() |
mod(P,dst(D,nrm(R))) | 102523 | 138253493 | o2(x,o2(x,o1(x))) | true | 136991 | 136991 | 0.002505 | 0.4997 | 0.5177 | 0.3453 | 0.5876 | -1 | 1 | 2 | 1 | 4.977 | 0.05912 | 0.05912 | 0.2387 | 0.00003343 | 1 | 0.00003199 | 0.4673 | 0.4118 | 0.06127 | 0.2475 | 1.037 | 1.408 | 0.3424 | 1.353 | 1 | 1 | 0.08142 | 0.1418 | 0.215 | 0.2358 | 0.4105 | 0.6225 | json |
| t17_x5_u6_b66 | 17 | 5 | 6 | 66 | ![]() |
lrg(P,add(D,nrm(R))) | 102524 | 138253494 | o2(x,o2(x,o1(x))) | true | 136999 | 136999 | 0.4991 | 0.5767 | 0.4991 | 0.2336 | 0.4833 | 0 | 1 | 1 | 1 | 1.696 | 0.00234 | 0.0001675 | 0.01217 | 0.8664 | 1 | 0.00000877 | 0.004173 | 0.009535 | 0.00236 | 0.04858 | 3.992 | 0.9926 | 0.01074 | 0.01786 | 1 | 1 | 0.003705 | 0.02348 | 0.08901 | 0.01586 | 0.1005 | 0.3811 | json |
| t17_x5_u6_b67 | 17 | 5 | 6 | 67 | ![]() |
lrg(P,sub(D,nrm(R))) | 102525 | 138253495 | o2(x,o2(x,o1(x))) | true | 137007 | 137007 | 0.4997 | 0.5768 | 0.4997 | 0.2357 | 0.4855 | 0 | 1 | 1 | 1 | 1.626 | 0.001667 | 0.0001331 | 0.01027 | 0.8521 | 1 | -0.000008335 | 0.002835 | 0.007648 | 0.001695 | 0.04117 | 4.011 | 0.8606 | 0.007637 | 0.01203 | 1 | 1 | 0.002707 | 0.01932 | 0.08754 | 0.01148 | 0.08199 | 0.3715 | json |
| t17_x5_u6_b68 | 17 | 5 | 6 | 68 | ![]() |
lrg(P,mlt(D,nrm(R))) | 102526 | 138253496 | o2(x,o2(x,o1(x))) | true | 137015 | 137015 | 0.5 | 0.5378 | 0.5 | 0.2421 | 0.492 | 0 | 1 | 1 | 1 | 1.382 | 0.003597 | 0.0001053 | 0.007956 | 0.9431 | 1 | -3.229e-10 | 0.006751 | 0.008078 | 0.003638 | 0.06032 | 7.581 | 1 | 0.01529 | 0.02789 | 1 | 1 | 0.005344 | 0.0265 | 0.09053 | 0.02207 | 0.1095 | 0.3739 | json |
| t17_x5_u6_b69 | 17 | 5 | 6 | 69 | ![]() |
lrg(P,div(D,nrm(R))) | 102527 | 138253497 | o2(x,o2(x,o1(x))) | true | 137023 | 137023 | 0.496 | 0.6101 | 0.496 | 0.2309 | 0.4806 | 0 | 1 | 1 | 1 | 1.783 | 0.007194 | 0.000269 | 0.01978 | 0.9279 | 1 | 0.000009851 | 0.01411 | 0.02302 | 0.007075 | 0.08411 | 4.253 | 1 | 0.03231 | 0.06108 | 1 | 1 | 0.01026 | 0.046 | 0.107 | 0.04441 | 0.1992 | 0.4634 | json |
| t17_x5_u6_b70 | 17 | 5 | 6 | 70 | ![]() |
lrg(P,pow(D,nrm(R))) | 102528 | 138253498 | o2(x,o2(x,o1(x))) | true | 137031 | 137031 | 0.6858 | 1 | 0.6858 | 0.1467 | 0.383 | 0.000291 | 1 | 0.9997 | 1 | 2.751 | 0.04966 | 0.000249 | 0.08894 | 0.99 | 1 | -0.00009575 | 0.09779 | 0.1078 | 0.04199 | 0.2049 | 2.304 | 0.9997 | 0.3402 | 0.6666 | 1 | 1 | 0.05321 | 0.1667 | 0.04784 | 0.3627 | 1.137 | 0.3262 | json |
| t17_x5_u6_b71 | 17 | 5 | 6 | 71 | ![]() |
lrg(P,mod(D,nrm(R))) | 102529 | 138253499 | o2(x,o2(x,o1(x))) | true | 137039 | 137039 | 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_x5_u6_b72 | 17 | 5 | 6 | 72 | ![]() |
lrg(P,lrg(D,nrm(R))) | 102530 | 138253500 | o2(x,o2(x,o1(x))) | true | 137047 | 137047 | 0.446 | 0.498 | 0.446 | 0.2349 | 0.4846 | 0 | 1 | 1 | 1 | 1.541 | 0.001291 | 0.0001344 | 0.008269 | 0.8114 | 1 | -0.00001059 | 0.001993 | 0.005042 | 0.001357 | 0.03683 | 4.455 | 0.9992 | 0.006067 | 0.008486 | 1 | 1 | 0.002803 | 0.01992 | 0.07612 | 0.01193 | 0.0848 | 0.3241 | json |
| t17_x5_u6_b73 | 17 | 5 | 6 | 73 | ![]() |
lrg(P,eql(D,nrm(R))) | 102531 | 138253501 | o2(x,o2(x,o1(x))) | true | 137055 | 137055 | 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_x5_u6_b74 | 17 | 5 | 6 | 74 | ![]() |
lrg(P,min(D,nrm(R))) | 102532 | 138253502 | o2(x,o2(x,o1(x))) | true | 137063 | 137063 | 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_x5_u6_b75 | 17 | 5 | 6 | 75 | ![]() |
lrg(P,dot(D,nrm(R))) | 102533 | 138253503 | o2(x,o2(x,o1(x))) | true | 137071 | 137071 | 0.499 | 0.5418 | 0.499 | 0.2412 | 0.4911 | 0 | 1 | 1 | 1 | 1.417 | 0.002832 | 0.001946 | 0.01003 | 0.1856 | 1 | 0.00001934 | 0.01534 | 0.01236 | 0.004678 | 0.0684 | 6.819 | 1.409 | 0.01981 | 0.06362 | 1 | 1 | 0.0068 | 0.0302 | 0.08811 | 0.02819 | 0.1252 | 0.3653 | json |
| t17_x5_u6_b76 | 17 | 5 | 6 | 76 | ![]() |
lrg(P,dst(D,nrm(R))) | 102534 | 138253504 | o2(x,o2(x,o1(x))) | true | 137079 | 137079 | 0.432 | 0.4647 | 0.432 | 0.2374 | 0.4872 | 0 | 1 | 1 | 1 | 1.367 | 0.002335 | 0.002214 | 0.009116 | 0.02674 | 1 | 0.00001109 | 0.01322 | 0.01185 | 0.004464 | 0.06681 | 7.33 | 1.413 | 0.01916 | 0.05569 | 1 | 1 | 0.006435 | 0.02876 | 0.08404 | 0.02711 | 0.1211 | 0.354 | json |
| t17_x5_u6_b77 | 17 | 5 | 6 | 77 | ![]() |
eql(P,add(D,nrm(R))) | 102535 | 138253505 | o2(x,o2(x,o1(x))) | true | 137087 | 137087 | 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_x5_u6_b78 | 17 | 5 | 6 | 78 | ![]() |
eql(P,sub(D,nrm(R))) | 102536 | 138253506 | o2(x,o2(x,o1(x))) | true | 137095 | 137095 | 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_x5_u6_b79 | 17 | 5 | 6 | 79 | ![]() |
eql(P,mlt(D,nrm(R))) | 102537 | 138253507 | o2(x,o2(x,o1(x))) | true | 137103 | 137103 | 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_x5_u6_b80 | 17 | 5 | 6 | 80 | ![]() |
eql(P,div(D,nrm(R))) | 102538 | 138253508 | o2(x,o2(x,o1(x))) | true | 137111 | 137111 | 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_x5_u6_b81 | 17 | 5 | 6 | 81 | ![]() |
eql(P,pow(D,nrm(R))) | 102539 | 138253509 | o2(x,o2(x,o1(x))) | true | 137119 | 137119 | 7.106e-8 | 0.0002747 | 7.106e-8 | 1.62e-11 | 0.000004024 | 0 | 0.000291 | 0.000291 | 1 | 0 | 3.345e-11 | 2.373e-13 | 1.48e-7 | 0.9859 | 0 | 6.74e-16 | 1.013e-10 | 2.935e-7 | 3.365e-11 | 0.000005801 | 39.18 | 0.000291 | 2.08 | 6.255 | 1 | 1 | 3.024e-11 | 4.016e-11 | 5.884e-11 | 1.867 | 2.479 | 3.633 | json |
| t17_x5_u6_b82 | 17 | 5 | 6 | 82 | ![]() |
eql(P,mod(D,nrm(R))) | 102540 | 138253510 | o2(x,o2(x,o1(x))) | true | 137127 | 137127 | 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_x5_u6_b83 | 17 | 5 | 6 | 83 | ![]() |
eql(P,lrg(D,nrm(R))) | 102541 | 138253511 | o2(x,o2(x,o1(x))) | true | 137135 | 137135 | 0.05086 | 0.14 | 0.05086 | 0.03323 | 0.1823 | 0 | 1 | 1 | 1 | 0.8344 | 0.001826 | 0.0002364 | 0.01076 | 0.7708 | 1 | 0.000005926 | 0.002898 | 0.007665 | 0.001946 | 0.04412 | 4.101 | 0.9994 | 0.06207 | 0.0872 | 1 | 1 | 0.003943 | 0.02788 | 0.07438 | 0.1186 | 0.8389 | 2.238 | json |
| t17_x5_u6_b84 | 17 | 5 | 6 | 84 | ![]() |
eql(P,eql(D,nrm(R))) | 102542 | 138253512 | o2(x,o2(x,o1(x))) | true | 137143 | 137143 | 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_x5_u6_b85 | 17 | 5 | 6 | 85 | ![]() |
eql(P,min(D,nrm(R))) | 102543 | 138253513 | o2(x,o2(x,o1(x))) | true | 137151 | 137151 | 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_x5_u6_b86 | 17 | 5 | 6 | 86 | ![]() |
eql(P,dot(D,nrm(R))) | 102544 | 138253514 | o2(x,o2(x,o1(x))) | true | 137159 | 137159 | 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_x5_u6_b87 | 17 | 5 | 6 | 87 | ![]() |
eql(P,dst(D,nrm(R))) | 102545 | 138253515 | o2(x,o2(x,o1(x))) | true | 137167 | 137167 | 0.00002163 | 0.00006104 | 0.00002163 | 0.00001592 | 0.00399 | 0 | 0.9858 | 0.9858 | 1 | 0.001065 | 0.00003286 | 0.00003286 | 0.00007621 | 0 | 0 | 0 | 0.0003286 | 0.0001786 | 0.00006572 | 0.008107 | 106.4 | 1.394 | 4.128 | 20.64 | 1 | 1 | 0.000002701 | 0.000002096 | 0.00001587 | 0.1696 | 0.1316 | 0.997 | json |
| t17_x5_u6_b88 | 17 | 5 | 6 | 88 | ![]() |
min(P,add(D,nrm(R))) | 102546 | 138253516 | o2(x,o2(x,o1(x))) | true | 137175 | 137175 | -0.5132 | 0.214 | 0.6736 | 0.3166 | 0.5627 | -1 | 0.9889 | 1.989 | 1 | 3.529 | 0.002477 | 0.001355 | 0.0399 | 0.2926 | 1 | 0.0001338 | 0.0003081 | 0.009904 | 0.002241 | 0.04734 | 1.186 | 0.2512 | 0.0121 | 0.000973 | 1 | 1 | 0.007461 | 0.08839 | 0.2424 | 0.02356 | 0.2792 | 0.7654 | json |
| t17_x5_u6_b89 | 17 | 5 | 6 | 89 | ![]() |
min(P,sub(D,nrm(R))) | 102547 | 138253517 | o2(x,o2(x,o1(x))) | true | 137183 | 137183 | -0.4822 | 0.2487 | 0.6731 | 0.3474 | 0.5894 | -1 | 1 | 2 | 1 | 3.581 | 0.002355 | 0.001363 | 0.03945 | 0.2667 | 1 | 0.0001827 | 0.0002992 | 0.009906 | 0.002162 | 0.0465 | 1.179 | 0.2365 | 0.0107 | 0.0008613 | 1 | 1 | 0.007005 | 0.0835 | 0.2333 | 0.02016 | 0.2404 | 0.6717 | json |
| t17_x5_u6_b90 | 17 | 5 | 6 | 90 | ![]() |
min(P,mlt(D,nrm(R))) | 102548 | 138253518 | o2(x,o2(x,o1(x))) | true | 137191 | 137191 | -0.4744 | 0.2375 | 0.5179 | 0.247 | 0.497 | -1 | 0.4487 | 1.449 | 1 | 2.809 | 0.0007298 | 0.0001169 | 0.018 | 0.7238 | 1 | -0.000009151 | 0.00006641 | 0.004886 | 0.0005228 | 0.02287 | 1.27 | 0.1169 | 0.003428 | 0.0002688 | 1 | 1 | 0.001824 | 0.02241 | 0.08592 | 0.007384 | 0.09072 | 0.3478 | json |
| t17_x5_u6_b91 | 17 | 5 | 6 | 91 | ![]() |
min(P,div(D,nrm(R))) | 102549 | 138253519 | o2(x,o2(x,o1(x))) | true | 137199 | 137199 | -0.4996 | 0.229 | 0.6904 | 0.3706 | 0.6088 | -1 | 1 | 2 | 1 | 3.322 | 0.01377 | 0.003856 | 0.06453 | 0.5626 | 1 | 0.0001578 | 0.0142 | 0.03024 | 0.01346 | 0.116 | 1.798 | 2.013 | 0.04757 | 0.03833 | 1 | 1 | 0.0248 | 0.2224 | 0.3533 | 0.06691 | 0.6 | 0.9533 | json |
| t17_x5_u6_b92 | 17 | 5 | 6 | 92 | ![]() |
min(P,pow(D,nrm(R))) | 102550 | 138253520 | o2(x,o2(x,o1(x))) | true | 137207 | 137207 | -0.0214 | 0.5 | 0.9161 | 0.8936 | 0.9453 | -1 | 1 | 2 | 1 | 2.116 | 0.008008 | 0.000264 | 0.02405 | 0.9362 | 1 | -0.000008204 | 0.01482 | 0.02301 | 0.007694 | 0.08772 | 3.647 | 0.9603 | 0.009256 | 0.01659 | 1 | 1 | 0.009803 | 0.04036 | 0.2343 | 0.01097 | 0.04517 | 0.2622 | json |
| t17_x5_u6_b93 | 17 | 5 | 6 | 93 | ![]() |
min(P,mod(D,nrm(R))) | 102551 | 138253521 | o2(x,o2(x,o1(x))) | true | 137215 | 137215 | -0.4827 | 0.2189 | 0.5356 | 0.2453 | 0.4953 | -1 | 0.2728 | 1.273 | 1 | 2.879 | 0.002899 | 0.00005715 | 0.03039 | 0.9613 | 1 | 0.0001806 | 0.003992 | 0.02549 | 0.002032 | 0.04508 | 1.483 | 0.5005 | 0.01205 | 0.01627 | 1 | 1 | 0.004339 | 0.02939 | 0.07734 | 0.01769 | 0.1198 | 0.3153 | json |
| t17_x5_u6_b94 | 17 | 5 | 6 | 94 | ![]() |
min(P,lrg(D,nrm(R))) | 102552 | 138253522 | o2(x,o2(x,o1(x))) | true | 137223 | 137223 | -0.2279 | 0.4286 | 0.7096 | 0.602 | 0.7759 | -1 | 1 | 2 | 1 | 3.132 | 0.009304 | 0.001037 | 0.04141 | 0.7994 | 1 | -0.00002698 | 0.01679 | 0.03377 | 0.008625 | 0.09287 | 2.243 | 0.9997 | 0.01718 | 0.02789 | 1 | 1 | 0.01208 | 0.08139 | 0.2593 | 0.02007 | 0.1352 | 0.4307 | json |
| t17_x5_u6_b95 | 17 | 5 | 6 | 95 | ![]() |
min(P,eql(D,nrm(R))) | 102553 | 138253523 | o2(x,o2(x,o1(x))) | true | 137231 | 137231 | -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_x5_u6_b96 | 17 | 5 | 6 | 96 | ![]() |
min(P,min(D,nrm(R))) | 102554 | 138253524 | o2(x,o2(x,o1(x))) | true | 137239 | 137239 | -0.6373 | 0.06535 | 0.648 | 0.151 | 0.3886 | -1 | 0.1454 | 1.145 | 1 | 3.197 | 0.001073 | 0.0004805 | 0.02521 | 0.3815 | 1 | 0.0000705 | 0.0001425 | 0.007031 | 0.0009186 | 0.03031 | 1.202 | 0.159 | 0.01029 | 0.0009433 | 1 | 1 | 0.00301 | 0.03555 | 0.1002 | 0.01993 | 0.2353 | 0.6633 | json |
| t17_x5_u6_b97 | 17 | 5 | 6 | 97 | ![]() |
min(P,dot(D,nrm(R))) | 102555 | 138253525 | o2(x,o2(x,o1(x))) | true | 137247 | 137247 | -0.4751 | 0.2388 | 0.5435 | 0.2546 | 0.5046 | -1 | 0.534 | 1.534 | 1 | 3.064 | 0.0008084 | 0.0005241 | 0.02439 | 0.2134 | 1 | -0.00004361 | 0.0001208 | 0.006701 | 0.0007375 | 0.02716 | 1.113 | 0.1278 | 0.005233 | 0.0004743 | 1 | 1 | 0.002705 | 0.03214 | 0.1017 | 0.01062 | 0.1262 | 0.3995 | json |
| t17_x5_u6_b98 | 17 | 5 | 6 | 98 | ![]() |
min(P,dst(D,nrm(R))) | 102556 | 138253526 | o2(x,o2(x,o1(x))) | true | 137255 | 137255 | -0.02009 | 0.5 | 0.9174 | 0.8877 | 0.9422 | -1 | 1 | 2 | 1 | 2.349 | 0.0008093 | 0.0001553 | 0.01429 | 0.678 | 1 | 0.00002693 | 0.0001535 | 0.005576 | 0.0007606 | 0.02758 | 1.929 | 0.1196 | 0.001087 | 0.0001729 | 1 | 1 | 0.002236 | 0.0271 | 0.2264 | 0.002518 | 0.03053 | 0.255 | json |
| t17_x5_u6_b99 | 17 | 5 | 6 | 99 | ![]() |
dot(P,add(D,nrm(R))) | 102557 | 138253527 | o2(x,o2(x,o1(x))) | true | 137263 | 137263 | -0.1593 | 0.4204 | 0.8588 | 0.788 | 0.8877 | -1 | 1 | 2 | 1 | 2.799 | 0.0306 | 0.03785 | 0.1167 | -0.1059 | 1 | 0.0006831 | 0.05883 | 0.08855 | 0.05484 | 0.2342 | 2.006 | 2.005 | 0.08686 | 0.07466 | 1 | 1 | 0.08903 | 0.6468 | 1.361 | 0.113 | 0.8208 | 1.727 | json |
| t17_x5_u6_b100 | 17 | 5 | 6 | 100 | ![]() |
dot(P,sub(D,nrm(R))) | 102558 | 138253528 | o2(x,o2(x,o1(x))) | true | 137271 | 137271 | 0.01178 | 0.4992 | 0.8637 | 0.8181 | 0.9045 | -1 | 1 | 2 | 1 | 2.809 | 0.03033 | 0.03703 | 0.1166 | -0.09942 | 1 | 0.000968 | 0.05584 | 0.08696 | 0.05376 | 0.2319 | 1.988 | 2 | 0.08233 | 0.06826 | 1 | 1 | 0.08519 | 0.6316 | 1.385 | 0.1041 | 0.772 | 1.693 | json |
| t17_x5_u6_b101 | 17 | 5 | 6 | 101 | ![]() |
dot(P,mlt(D,nrm(R))) | 102559 | 138253529 | o2(x,o2(x,o1(x))) | true | 137279 | 137279 | -0.01022 | 0.4958 | 0.4962 | 0.3672 | 0.606 | -1 | 1 | 2 | 1 | 4.722 | 0.01441 | 0.0149 | 0.1308 | -0.01688 | 1 | 0.00008665 | 0.007533 | 0.0487 | 0.01219 | 0.1104 | 0.844 | 0.754 | 0.07983 | 0.02051 | 1 | 1 | 0.03647 | 0.3942 | 0.5846 | 0.09932 | 1.073 | 1.592 | json |
| t17_x5_u6_b102 | 17 | 5 | 6 | 102 | ![]() |
dot(P,div(D,nrm(R))) | 102560 | 138253530 | o2(x,o2(x,o1(x))) | true | 137287 | 137287 | 0.003374 | 0.5009 | 0.8734 | 0.8327 | 0.9125 | -1 | 1 | 2 | 1 | 2.669 | 0.09174 | 0.08814 | 0.1874 | 0.02002 | 1 | 0.0003604 | 0.2798 | 0.2147 | 0.1448 | 0.3805 | 2.03 | 2.828 | 0.216 | 0.336 | 1 | 1 | 0.2145 | 1.17 | 1.545 | 0.2576 | 1.405 | 1.855 | json |
| t17_x5_u6_b103 | 17 | 5 | 6 | 103 | ![]() |
dot(P,pow(D,nrm(R))) | 102561 | 138253531 | o2(x,o2(x,o1(x))) | true | 137295 | 137295 | -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_x5_u6_b104 | 17 | 5 | 6 | 104 | ![]() |
dot(P,mod(D,nrm(R))) | 102562 | 138253532 | o2(x,o2(x,o1(x))) | true | 137303 | 137303 | -0.1368 | 0.4131 | 0.5941 | 0.4547 | 0.6743 | -1 | 1 | 2 | 1 | 4.538 | 0.06826 | 0.06424 | 0.2452 | 0.0303 | 1 | 0.002872 | 0.2051 | 0.2595 | 0.07239 | 0.269 | 1.097 | 2.196 | 0.2914 | 0.4511 | 1 | 1 | 0.1219 | 0.6353 | 0.2879 | 0.2682 | 1.397 | 0.6331 | json |
| t17_x5_u6_b105 | 17 | 5 | 6 | 105 | ![]() |
dot(P,lrg(D,nrm(R))) | 102563 | 138253533 | o2(x,o2(x,o1(x))) | true | 137311 | 137311 | 0.01703 | 0.4933 | 0.8195 | 0.783 | 0.8849 | -1 | 1 | 2 | 1 | 2.798 | 0.02825 | 0.03434 | 0.09223 | -0.09734 | 1 | -0.0001168 | 0.1034 | 0.1111 | 0.05411 | 0.2326 | 2.522 | 2.647 | 0.07995 | 0.1321 | 1 | 1 | 0.06856 | 0.3532 | 0.6922 | 0.08756 | 0.4511 | 0.884 | json |
| t17_x5_u6_b106 | 17 | 5 | 6 | 106 | ![]() |
dot(P,eql(D,nrm(R))) | 102564 | 138253534 | o2(x,o2(x,o1(x))) | true | 137319 | 137319 | -0.0003316 | 0 | 0.0003316 | 0.0003048 | 0.01746 | -1 | 0 | 1 | 1 | 0.007097 | 0.000005991 | 0.0006296 | 0.0006924 | -0.9811 | 1 | 3.394e-12 | 0.001915 | 0.00137 | 0.0006347 | 0.02519 | 36.39 | 1.028 | 2.085 | 6.281 | 1 | 1 | 0.0002588 | 0.0003358 | 0.0006506 | 0.8489 | 1.102 | 2.134 | json |
| t17_x5_u6_b107 | 17 | 5 | 6 | 107 | ![]() |
dot(P,min(D,nrm(R))) | 102565 | 138253535 | o2(x,o2(x,o1(x))) | true | 137327 | 137327 | -0.117 | 0.4346 | 0.7859 | 0.707 | 0.8408 | -1 | 1 | 2 | 1 | 3.403 | 0.01723 | 0.0202 | 0.1038 | -0.07934 | 1 | 0.001318 | 0.01852 | 0.05967 | 0.02666 | 0.1633 | 1.573 | 1.283 | 0.05295 | 0.02619 | 1 | 1 | 0.05226 | 0.4088 | 0.6931 | 0.07392 | 0.5782 | 0.9803 | json |
| t17_x5_u6_b108 | 17 | 5 | 6 | 108 | ![]() |
dot(P,dot(D,nrm(R))) | 102566 | 138253536 | o2(x,o2(x,o1(x))) | true | 137335 | 137335 | -0.008986 | 0.4998 | 0.5216 | 0.4082 | 0.6389 | -1 | 1 | 2 | 1 | 4.541 | 0.0192 | 0.0201 | 0.1302 | -0.02286 | 1 | 0.0001106 | 0.01685 | 0.05809 | 0.02234 | 0.1495 | 1.148 | 1.342 | 0.09627 | 0.04127 | 1 | 1 | 0.05045 | 0.4804 | 0.6944 | 0.1236 | 1.177 | 1.701 | json |
| t17_x5_u6_b109 | 17 | 5 | 6 | 109 | ![]() |
dot(P,dst(D,nrm(R))) | 102567 | 138253537 | o2(x,o2(x,o1(x))) | true | 137343 | 137343 | 0.001026 | 0.5005 | 0.9428 | 0.9254 | 0.962 | -1 | 1 | 2 | 1 | 1.882 | 0.0007785 | 0.0007844 | 0.01264 | -0.003782 | 1 | 0.000004312 | 0.0002443 | 0.003914 | 0.001403 | 0.03746 | 2.963 | 0.2407 | 0.001689 | 0.0002639 | 1 | 1 | 0.003955 | 0.04757 | 0.425 | 0.004274 | 0.05141 | 0.4593 | json |
| t17_x5_u6_b110 | 17 | 5 | 6 | 110 | ![]() |
dst(P,add(D,nrm(R))) | 102568 | 138253538 | o2(x,o2(x,o1(x))) | true | 137351 | 137351 | 0.9995 | 1 | 0.9995 | 0.00009308 | 0.009648 | 0.5699 | 1 | 0.4301 | 1 | 0.02978 | 0.000009551 | 0.00001124 | 0.0002578 | -0.08112 | 0 | 3.754e-12 | 0.00001597 | 0.0002286 | 0.00002074 | 0.004554 | 17.67 | 0.2109 | 0.2233 | 0.1716 | 1 | 1 | 0.00006245 | 0.0002966 | 0.000339 | 0.6709 | 3.187 | 3.642 | json |
| t17_x5_u6_b111 | 17 | 5 | 6 | 111 | ![]() |
dst(P,sub(D,nrm(R))) | 102569 | 138253539 | o2(x,o2(x,o1(x))) | true | 137359 | 137359 | 0.9997 | 1 | 0.9997 | 0.0000953 | 0.009762 | 0.5486 | 1 | 0.4514 | 1 | 0.01815 | 0.000008728 | 0.00001027 | 0.0001835 | -0.08107 | 0 | 7.509e-12 | 0.00001303 | 0.0001587 | 0.00001894 | 0.004352 | 23.71 | 0.1882 | 0.1993 | 0.1367 | 1 | 1 | 0.00005843 | 0.0003311 | 0.0003467 | 0.6131 | 3.474 | 3.637 | json |
| t17_x5_u6_b112 | 17 | 5 | 6 | 112 | ![]() |
dst(P,mlt(D,nrm(R))) | 102570 | 138253540 | o2(x,o2(x,o1(x))) | true | 137367 | 137367 | 0.9971 | 1 | 0.9971 | 0.001651 | 0.04064 | 0.025 | 1 | 0.975 | 1 | 0.08217 | 0.00003054 | 0.00003652 | 0.0007133 | -0.08927 | 0 | -6.382e-11 | 0.00001247 | 0.0002319 | 0.00006654 | 0.008157 | 11.44 | 0.1423 | 0.04061 | 0.007552 | 1 | 1 | 0.0002289 | 0.002664 | 0.006026 | 0.1386 | 1.613 | 3.649 | json |
| t17_x5_u6_b113 | 17 | 5 | 6 | 113 | ![]() |
dst(P,div(D,nrm(R))) | 102571 | 138253541 | o2(x,o2(x,o1(x))) | true | 137375 | 137375 | 0.9985 | 1 | 0.9985 | 0.0006911 | 0.02629 | 0.09521 | 1 | 0.9048 | 1 | 0.05894 | 0.00007647 | 0.0001186 | 0.001029 | -0.216 | 1 | -8.26e-11 | 0.0002004 | 0.0009927 | 0.000194 | 0.01393 | 13.53 | 0.3133 | 0.2823 | 0.29 | 1 | 1 | 0.0005399 | 0.001925 | 0.002472 | 0.7812 | 2.785 | 3.577 | json |
| t17_x5_u6_b114 | 17 | 5 | 6 | 114 | ![]() |
dst(P,pow(D,nrm(R))) | 102572 | 138253542 | o2(x,o2(x,o1(x))) | true | 137383 | 137383 | -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_x5_u6_b115 | 17 | 5 | 6 | 115 | ![]() |
dst(P,mod(D,nrm(R))) | 102573 | 138253543 | o2(x,o2(x,o1(x))) | true | 137391 | 137391 | 0.9981 | 1 | 0.9981 | 0.000993 | 0.03151 | 0.04481 | 1 | 0.9552 | 1 | 0.06345 | 0.00004758 | 0.00004708 | 0.00072 | 0.005305 | 0 | 6.007e-11 | 0.00009228 | 0.00066 | 0.00009412 | 0.009702 | 13.47 | 0.3598 | 0.09533 | 0.09293 | 1 | 1 | 0.0002592 | 0.002153 | 0.003624 | 0.2611 | 2.168 | 3.649 | json |
| t17_x5_u6_b116 | 17 | 5 | 6 | 116 | ![]() |
dst(P,lrg(D,nrm(R))) | 102574 | 138253544 | o2(x,o2(x,o1(x))) | true | 137399 | 137399 | 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_x5_u6_b117 | 17 | 5 | 6 | 117 | ![]() |
dst(P,eql(D,nrm(R))) | 102575 | 138253545 | o2(x,o2(x,o1(x))) | true | 137407 | 137407 | 0.9964 | 1 | 0.9964 | 0.002289 | 0.04784 | 0.000582 | 1 | 0.9994 | 1 | 0.09109 | 0.00003966 | 0.00003966 | 0.0008105 | 5.503e-7 | 0 | -4.881e-11 | 0.00001004 | 0.0002297 | 0.00007859 | 0.008865 | 10.94 | 0.1294 | 0.03466 | 0.004388 | 1 | 1 | 0.0002733 | 0.00336 | 0.008351 | 0.1194 | 1.468 | 3.649 | json |
| t17_x5_u6_b118 | 17 | 5 | 6 | 118 | ![]() |
dst(P,min(D,nrm(R))) | 102576 | 138253546 | o2(x,o2(x,o1(x))) | true | 137415 | 137415 | 0.9978 | 1 | 0.9978 | 0.0007825 | 0.02797 | 0.3986 | 1 | 0.6014 | 1 | 0.08309 | 0.00002359 | 0.000037 | 0.0006353 | -0.2212 | 0 | 1.126e-11 | 0.00002523 | 0.0003804 | 0.00006022 | 0.00776 | 12.22 | 0.161 | 0.07743 | 0.03225 | 1 | 1 | 0.0001946 | 0.001533 | 0.002861 | 0.2487 | 1.959 | 3.656 | json |
| t17_x5_u6_b119 | 17 | 5 | 6 | 119 | ![]() |
dst(P,dot(D,nrm(R))) | 102577 | 138253547 | o2(x,o2(x,o1(x))) | true | 137423 | 137423 | 0.9977 | 1 | 0.9977 | 0.001224 | 0.03498 | 0.01786 | 1 | 0.9821 | 1 | 0.07577 | 0.00003935 | 0.00003154 | 0.0007049 | 0.1101 | 0 | -4.318e-11 | 0.00002274 | 0.0002873 | 0.00007038 | 0.008389 | 11.9 | 0.1722 | 0.05794 | 0.01858 | 1 | 1 | 0.0002361 | 0.002362 | 0.004455 | 0.1929 | 1.93 | 3.641 | json |
| t17_x5_u6_b120 | 17 | 5 | 6 | 120 | ![]() |
dst(P,dst(D,nrm(R))) | 102578 | 138253548 | o2(x,o2(x,o1(x))) | true | 137431 | 137431 | 1 | 1 | 1 | 0.000002713 | 0.001647 | 0.8863 | 1 | 0.1137 | 1 | 0.003464 | 4.823e-7 | 6.254e-7 | 0.00002781 | -0.1291 | 0 | -2.628e-11 | 0.000001118 | 0.00003013 | 0.000001107 | 0.001052 | 37.82 | 0.06396 | 0.4083 | 0.4122 | 1 | 1 | 0.000003206 | 0.000009857 | 0.000009857 | 1.182 | 3.633 | 3.633 | json |
| t17_x6_u0_b0 | 17 | 6 | 0 | 0 | ![]() |
add(P,add(R,sqt(P))) | 102579 | 138292623 | o2(x,o2(x,o1(x))) | true | 137439 | 137439 | -0.02483 | 0.4884 | 0.9852 | 0.9789 | 0.9894 | -1 | 1 | 2 | 1 | 1.298 | 0.005249 | 0.00008794 | 0.008324 | 0.967 | 1 | -0.000006028 | 0.008689 | 0.008888 | 0.005269 | 0.07259 | 8.72 | 1.83 | 0.005452 | 0.008876 | 1 | 1 | 0.008615 | 0.06047 | 0.3221 | 0.0088 | 0.06177 | 0.3291 | json |
| t17_x6_u0_b1 | 17 | 6 | 0 | 1 | ![]() |
add(P,sub(R,sqt(P))) | 102580 | 138292624 | o2(x,o2(x,o1(x))) | true | 137447 | 137447 | -0.1169 | 0.4565 | 0.9127 | 0.8698 | 0.9326 | -1 | 1 | 2 | 1 | 2.224 | 0.004932 | 0.0005121 | 0.01532 | 0.8119 | 1 | -0.00002429 | 0.008657 | 0.01018 | 0.005209 | 0.07217 | 4.71 | 1.829 | 0.006259 | 0.009953 | 1 | 1 | 0.00889 | 0.059 | 0.231 | 0.01022 | 0.06783 | 0.2656 | json |
| t17_x6_u0_b2 | 17 | 6 | 0 | 2 | ![]() |
add(P,mlt(R,sqt(P))) | 102581 | 138292625 | o2(x,o2(x,o1(x))) | true | 137455 | 137455 | -0.03344 | 0.4999 | 0.9666 | 0.9572 | 0.9784 | -1 | 1 | 2 | 1 | 1.445 | 0.004452 | 0.0000875 | 0.008724 | 0.9614 | 1 | -0.00001719 | 0.008009 | 0.009691 | 0.004462 | 0.0668 | 7.657 | 1.001 | 0.004742 | 0.008367 | 1 | 1 | 0.00659 | 0.04275 | 0.2829 | 0.006885 | 0.04466 | 0.2956 | json |
| t17_x6_u0_b3 | 17 | 6 | 0 | 3 | ![]() |
add(P,div(R,sqt(P))) | 102582 | 138292626 | o2(x,o2(x,o1(x))) | true | 137463 | 137463 | -0.1271 | 0.4375 | 0.9979 | 0.9802 | 0.99 | -1 | 1 | 2 | 1 | 1.058 | 0.01438 | 0.0000248 | 0.008109 | 0.9966 | 1 | -0.000007354 | 0.02867 | 0.01535 | 0.01433 | 0.1197 | 14.76 | 2 | 0.01469 | 0.02925 | 1 | 1 | 0.01901 | 0.08013 | 0.3329 | 0.01939 | 0.08175 | 0.3396 | json |
| t17_x6_u0_b4 | 17 | 6 | 0 | 4 | ![]() |
add(P,pow(R,sqt(P))) | 102583 | 138292627 | o2(x,o2(x,o1(x))) | true | 137471 | 137471 | -0.9531 | 0.02344 | 1 | 0.09148 | 0.3025 | -1 | 1 | 2 | 1 | 0.1603 | 0.01109 | 0.007811 | 0.009393 | 0.1733 | 1 | 0 | 0.03956 | 0.0189 | 0.01881 | 0.1371 | 14.6 | 2.828 | 0.2066 | 0.4324 | 1 | 1 | 0.01507 | 0.06294 | 0.1693 | 0.1647 | 0.688 | 1.851 | json |
| t17_x6_u0_b5 | 17 | 6 | 0 | 5 | ![]() |
add(P,mod(R,sqt(P))) | 102584 | 138292628 | o2(x,o2(x,o1(x))) | true | 137479 | 137479 | -0.1271 | 0.4375 | 0.9979 | 0.9801 | 0.99 | -1 | 1 | 2 | 1 | 1.06 | 0.01438 | 0.00002571 | 0.008116 | 0.9964 | 1 | -0.000007567 | 0.02867 | 0.01536 | 0.01433 | 0.1197 | 14.75 | 2 | 0.0147 | 0.02926 | 1 | 1 | 0.01901 | 0.08005 | 0.3328 | 0.0194 | 0.08168 | 0.3396 | json |
| t17_x6_u0_b6 | 17 | 6 | 0 | 6 | ![]() |
add(P,lrg(R,sqt(P))) | 102585 | 138292629 | o2(x,o2(x,o1(x))) | true | 137487 | 137487 | 0.08984 | 0.5378 | 0.9023 | 0.8786 | 0.9373 | -1 | 1 | 2 | 1 | 2.016 | 0.0006768 | 0.0001053 | 0.00895 | 0.7306 | 1 | -0.000005704 | 0.00003874 | 0.002113 | 0.000702 | 0.0265 | 2.96 | 0.1169 | 0.0008902 | 0.00004409 | 1 | 1 | 0.002072 | 0.02727 | 0.2084 | 0.002358 | 0.03104 | 0.2372 | json |
| t17_x6_u0_b7 | 17 | 6 | 0 | 7 | ![]() |
add(P,eql(R,sqt(P))) | 102586 | 138292630 | o2(x,o2(x,o1(x))) | true | 137495 | 137495 | 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_x6_u0_b8 | 17 | 6 | 0 | 8 | ![]() |
add(P,min(R,sqt(P))) | 102587 | 138292631 | o2(x,o2(x,o1(x))) | true | 137503 | 137503 | -0.009996 | 0.4833 | 0.9363 | 0.916 | 0.9571 | -1 | 1 | 2 | 1 | 1.949 | 0.001145 | 0.0002596 | 0.01057 | 0.6304 | 1 | -0.00001894 | 0.0002724 | 0.003612 | 0.001293 | 0.03596 | 3.401 | 0.312 | 0.001533 | 0.0002973 | 1 | 1 | 0.003264 | 0.03724 | 0.2435 | 0.003563 | 0.04066 | 0.2658 | json |
| t17_x6_u0_b9 | 17 | 6 | 0 | 9 | ![]() |
add(P,dot(R,sqt(P))) | 102588 | 138292632 | o2(x,o2(x,o1(x))) | true | 137511 | 137511 | -0.5118 | 0.2467 | 0.9918 | 0.7267 | 0.8525 | -1 | 1 | 2 | 1 | 0.9706 | 0.003375 | 0.007571 | 0.008596 | -0.3833 | 1 | -0.000005642 | 0.02101 | 0.01326 | 0.01087 | 0.1042 | 12.13 | 2 | 0.01506 | 0.02891 | 1 | 1 | 0.01459 | 0.07073 | 0.3242 | 0.02007 | 0.09732 | 0.446 | json |
| t17_x6_u0_b10 | 17 | 6 | 0 | 10 | ![]() |
add(P,dst(R,sqt(P))) | 102589 | 138292633 | o2(x,o2(x,o1(x))) | true | 137519 | 137519 | -0.5 | 0.25 | 1 | 0.75 | 0.866 | -1 | 1 | 2 | 1 | 0.8113 | 0.007925 | 0.007937 | 0.007938 | -0.0007417 | 1 | 3.754e-12 | 0.03185 | 0.01587 | 0.0158 | 0.1257 | 15.83 | 2 | 0.02115 | 0.04246 | 1 | 1 | 0.02103 | 0.08419 | 0.3368 | 0.02805 | 0.1123 | 0.4491 | json |
| t17_x6_u0_b11 | 17 | 6 | 0 | 11 | ![]() |
sub(P,add(R,sqt(P))) | 102590 | 138292634 | o2(x,o2(x,o1(x))) | true | 137527 | 137527 | -0.1304 | 0.4413 | 0.9169 | 0.8732 | 0.9344 | -1 | 1 | 2 | 1 | 2.162 | 0.007144 | 0.0005162 | 0.01709 | 0.8652 | 1 | 0.00001585 | 0.01268 | 0.01231 | 0.007373 | 0.08587 | 5.026 | 1.953 | 0.008773 | 0.01452 | 1 | 1 | 0.01121 | 0.06986 | 0.2381 | 0.01284 | 0.08001 | 0.2727 | json |
| t17_x6_u0_b12 | 17 | 6 | 0 | 12 | ![]() |
sub(P,sub(R,sqt(P))) | 102591 | 138292635 | o2(x,o2(x,o1(x))) | true | 137535 | 137535 | -0.02049 | 0.4914 | 0.9855 | 0.9801 | 0.99 | -1 | 1 | 2 | 1 | 1.302 | 0.006847 | 0.00008213 | 0.008357 | 0.9763 | 1 | 0.000001585 | 0.01257 | 0.0103 | 0.006858 | 0.08281 | 9.909 | 1.953 | 0.00707 | 0.01282 | 1 | 1 | 0.009749 | 0.0604 | 0.3222 | 0.009947 | 0.06163 | 0.3287 | json |
| t17_x6_u0_b13 | 17 | 6 | 0 | 13 | ![]() |
sub(P,mlt(R,sqt(P))) | 102592 | 138292636 | o2(x,o2(x,o1(x))) | true | 137543 | 137543 | -0.04858 | 0.4988 | 0.9514 | 0.939 | 0.969 | -1 | 1 | 2 | 1 | 1.549 | 0.004399 | 0.0001457 | 0.009172 | 0.9359 | 1 | -0.000001124 | 0.008049 | 0.009926 | 0.004464 | 0.06681 | 7.285 | 1.001 | 0.00484 | 0.008571 | 1 | 1 | 0.006684 | 0.04113 | 0.2699 | 0.007118 | 0.0438 | 0.2874 | json |
| t17_x6_u0_b14 | 17 | 6 | 0 | 14 | ![]() |
sub(P,div(R,sqt(P))) | 102593 | 138292637 | o2(x,o2(x,o1(x))) | true | 137551 | 137551 | -0.132 | 0.4375 | 0.993 | 0.9729 | 0.9863 | -1 | 1 | 2 | 1 | 1.136 | 0.0112 | 0.00005118 | 0.008258 | 0.9909 | 1 | -3.379e-11 | 0.02203 | 0.01382 | 0.01117 | 0.1057 | 12.8 | 2 | 0.01156 | 0.02264 | 1 | 1 | 0.01622 | 0.07448 | 0.3283 | 0.01667 | 0.07656 | 0.3375 | json |
| t17_x6_u0_b15 | 17 | 6 | 0 | 15 | ![]() |
sub(P,pow(R,sqt(P))) | 102594 | 138292638 | o2(x,o2(x,o1(x))) | true | 137559 | 137559 | -0.9795 | 0.01041 | 0.9904 | 0.02839 | 0.1685 | -1 | 1 | 2 | 1 | 0.2266 | 0.003373 | 0.002756 | 0.005604 | 0.1008 | 1 | 7.509e-11 | 0.0125 | 0.008351 | 0.006097 | 0.07808 | 13.93 | 2 | 0.2159 | 0.4401 | 1 | 1 | 0.003821 | 0.01677 | 0.04165 | 0.1346 | 0.5907 | 1.467 | json |
| t17_x6_u0_b16 | 17 | 6 | 0 | 16 | ![]() |
sub(P,mod(R,sqt(P))) | 102595 | 138292639 | o2(x,o2(x,o1(x))) | true | 137567 | 137567 | -0.132 | 0.4375 | 0.993 | 0.9729 | 0.9864 | -1 | 1 | 2 | 1 | 1.136 | 0.0112 | 0.00005216 | 0.008262 | 0.9907 | 1 | -2.628e-11 | 0.02203 | 0.01383 | 0.01118 | 0.1057 | 12.79 | 2 | 0.01156 | 0.02264 | 1 | 1 | 0.01623 | 0.07462 | 0.3285 | 0.01668 | 0.07669 | 0.3376 | json |
| t17_x6_u0_b17 | 17 | 6 | 0 | 17 | ![]() |
sub(P,lrg(R,sqt(P))) | 102596 | 138292640 | o2(x,o2(x,o1(x))) | true | 137575 | 137575 | -0.03313 | 0.4839 | 0.9615 | 0.9497 | 0.9745 | -1 | 1 | 2 | 1 | 1.593 | 0.001152 | 0.00009554 | 0.008539 | 0.8468 | 1 | 0.000005261 | 0.0001293 | 0.002497 | 0.001175 | 0.03428 | 4.014 | 0.2338 | 0.001314 | 0.0001361 | 1 | 1 | 0.003262 | 0.04004 | 0.2874 | 0.003434 | 0.04216 | 0.3026 | json |
| t17_x6_u0_b18 | 17 | 6 | 0 | 18 | ![]() |
sub(P,eql(R,sqt(P))) | 102597 | 138292641 | o2(x,o2(x,o1(x))) | true | 137583 | 137583 | 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_x6_u0_b19 | 17 | 6 | 0 | 19 | ![]() |
sub(P,min(R,sqt(P))) | 102598 | 138292642 | o2(x,o2(x,o1(x))) | true | 137591 | 137591 | 0.009123 | 0.5172 | 0.9302 | 0.9082 | 0.953 | -1 | 1 | 2 | 1 | 2.009 | 0.001122 | 0.0002875 | 0.01099 | 0.5919 | 1 | 0.00001901 | 0.0002709 | 0.00374 | 0.001289 | 0.0359 | 3.265 | 0.3332 | 0.001552 | 0.0002983 | 1 | 1 | 0.003316 | 0.0375 | 0.2376 | 0.003651 | 0.04129 | 0.2616 | json |
| t17_x6_u0_b20 | 17 | 6 | 0 | 20 | ![]() |
sub(P,dot(R,sqt(P))) | 102599 | 138292643 | o2(x,o2(x,o1(x))) | true | 137599 | 137599 | -0.5502 | 0.2238 | 0.9738 | 0.6637 | 0.8147 | -1 | 1 | 2 | 1 | 1.148 | 0.002913 | 0.008028 | 0.01076 | -0.4675 | 1 | 0.000008135 | 0.02002 | 0.0133 | 0.01083 | 0.1041 | 9.671 | 2 | 0.01649 | 0.03017 | 1 | 1 | 0.01396 | 0.06479 | 0.2826 | 0.02104 | 0.09762 | 0.4257 | json |



































































































