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_x6_u0_b21 | 17 | 6 | 0 | 21 | ![]() |
sub(P,dst(R,sqt(P))) | 102600 | 138292644 | o2(x,o2(x,o1(x))) | true | 137607 | 137607 | -0.6653 | 0.1601 | 0.956 | 0.4984 | 0.706 | -1 | 1 | 2 | 1 | 1.332 | 0.0004525 | 0.006654 | 0.009562 | -0.8726 | 1 | -0.000003782 | 0.01293 | 0.008638 | 0.007016 | 0.08376 | 8.76 | 2 | 0.01426 | 0.02595 | 1 | 1 | 0.009563 | 0.05096 | 0.228 | 0.01919 | 0.1022 | 0.4574 | json |
| t17_x6_u0_b22 | 17 | 6 | 0 | 22 | ![]() |
mlt(P,add(R,sqt(P))) | 102601 | 138292645 | o2(x,o2(x,o1(x))) | true | 137615 | 137615 | -0.03256 | 0.4999 | 0.9674 | 0.9596 | 0.9796 | -1 | 1 | 2 | 1 | 1.423 | 0.004451 | 0.00007703 | 0.008513 | 0.966 | 1 | -0.00001562 | 0.00801 | 0.009617 | 0.004456 | 0.06675 | 7.841 | 1.001 | 0.004719 | 0.008348 | 1 | 1 | 0.006579 | 0.04252 | 0.2842 | 0.006856 | 0.04431 | 0.2962 | json |
| t17_x6_u0_b23 | 17 | 6 | 0 | 23 | ![]() |
mlt(P,sub(R,sqt(P))) | 102602 | 138292646 | o2(x,o2(x,o1(x))) | true | 137623 | 137623 | -0.953 | 0 | 0.953 | 0.03582 | 0.1893 | -1 | -0.00001648 | 1 | 1 | 0.5829 | 0.004433 | 0.0001266 | 0.008899 | 0.9445 | 1 | -0.000001645 | 0.008153 | 0.009981 | 0.004479 | 0.06693 | 7.521 | 1 | 0.1273 | 0.2276 | 1 | 1 | 0.006629 | 0.03021 | 0.05307 | 0.1851 | 0.8433 | 1.482 | json |
| t17_x6_u0_b24 | 17 | 6 | 0 | 24 | ![]() |
mlt(P,mlt(R,sqt(P))) | 102603 | 138292647 | o2(x,o2(x,o1(x))) | true | 137631 | 137631 | -0.5345 | 0.2362 | 0.8954 | 0.5832 | 0.7636 | -1 | 1 | 2 | 1 | 2.02 | 0.02068 | 0.01814 | 0.05389 | 0.06548 | 1 | 0.00001092 | 0.05084 | 0.05092 | 0.03592 | 0.1895 | 3.517 | 2.41 | 0.06655 | 0.08718 | 1 | 1 | 0.04519 | 0.3075 | 0.7423 | 0.07749 | 0.5272 | 1.273 | json |
| t17_x6_u0_b25 | 17 | 6 | 0 | 25 | ![]() |
mlt(P,div(R,sqt(P))) | 102604 | 138292648 | o2(x,o2(x,o1(x))) | true | 137639 | 137639 | -0.5835 | 0.1984 | 0.837 | 0.4436 | 0.6661 | -1 | 1 | 2 | 1 | 2.636 | 0.01105 | 0.004024 | 0.04503 | 0.4662 | 1 | -0.00003392 | 0.01608 | 0.02265 | 0.01305 | 0.1142 | 2.536 | 1.943 | 0.03399 | 0.03624 | 1 | 1 | 0.0208 | 0.1714 | 0.4576 | 0.04688 | 0.3864 | 1.031 | json |
| t17_x6_u0_b26 | 17 | 6 | 0 | 26 | ![]() |
mlt(P,pow(R,sqt(P))) | 102605 | 138292649 | o2(x,o2(x,o1(x))) | true | 137647 | 137647 | -0.9662 | 0.02344 | 0.9869 | 0.05026 | 0.2242 | -1 | 1 | 2 | 1 | 0.2484 | 0.005565 | 0.004508 | 0.007638 | 0.105 | 1 | -1.765e-10 | 0.02088 | 0.01359 | 0.01002 | 0.1001 | 13.1 | 2.698 | 0.2004 | 0.4155 | 1 | 1 | 0.006976 | 0.02965 | 0.08355 | 0.1388 | 0.5898 | 1.662 | json |
| t17_x6_u0_b27 | 17 | 6 | 0 | 27 | ![]() |
mlt(P,mod(R,sqt(P))) | 102606 | 138292650 | o2(x,o2(x,o1(x))) | true | 137655 | 137655 | -0.5983 | 0.1983 | 0.9065 | 0.5174 | 0.7193 | -1 | 1 | 2 | 1 | 2.015 | 0.01581 | 0.009333 | 0.04975 | 0.2575 | 1 | -0.000003138 | 0.02442 | 0.03431 | 0.02266 | 0.1505 | 3.026 | 1.943 | 0.04859 | 0.04719 | 1 | 1 | 0.03259 | 0.2487 | 0.615 | 0.06298 | 0.4807 | 1.189 | json |
| t17_x6_u0_b28 | 17 | 6 | 0 | 28 | ![]() |
mlt(P,lrg(R,sqt(P))) | 102607 | 138292651 | o2(x,o2(x,o1(x))) | true | 137663 | 137663 | -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_x6_u0_b29 | 17 | 6 | 0 | 29 | ![]() |
mlt(P,eql(R,sqt(P))) | 102608 | 138292652 | o2(x,o2(x,o1(x))) | true | 137671 | 137671 | 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_x6_u0_b30 | 17 | 6 | 0 | 30 | ![]() |
mlt(P,min(R,sqt(P))) | 102609 | 138292653 | o2(x,o2(x,o1(x))) | true | 137679 | 137679 | -0.0623 | 0.4686 | 0.7239 | 0.644 | 0.8025 | -1 | 1 | 2 | 1 | 3.79 | 0.01645 | 0.01963 | 0.09244 | -0.08822 | 1 | -0.00004552 | 0.0199 | 0.04926 | 0.02753 | 0.1659 | 1.795 | 1.466 | 0.05602 | 0.0309 | 1 | 1 | 0.05074 | 0.4449 | 1.04 | 0.07878 | 0.6908 | 1.616 | json |
| t17_x6_u0_b31 | 17 | 6 | 0 | 31 | ![]() |
mlt(P,dot(R,sqt(P))) | 102610 | 138292654 | o2(x,o2(x,o1(x))) | true | 137687 | 137687 | -0.7357 | 0.1409 | 0.9618 | 0.4104 | 0.6406 | -1 | 1 | 2 | 1 | 1.087 | 0.01229 | 0.0148 | 0.02955 | -0.09261 | 1 | 0.00001253 | 0.0417 | 0.03355 | 0.02621 | 0.1619 | 5.48 | 2.641 | 0.06601 | 0.1016 | 1 | 1 | 0.02983 | 0.1815 | 0.4968 | 0.07269 | 0.4421 | 1.211 | json |
| t17_x6_u0_b32 | 17 | 6 | 0 | 32 | ![]() |
mlt(P,dst(R,sqt(P))) | 102611 | 138292655 | o2(x,o2(x,o1(x))) | true | 137695 | 137695 | -0.5126 | 0.25 | 0.9874 | 0.7222 | 0.8498 | -1 | 1 | 2 | 1 | 0.9724 | 0.002282 | 0.007628 | 0.007929 | -0.5394 | 1 | 3.324e-7 | 0.01928 | 0.01252 | 0.009846 | 0.09923 | 12.51 | 2 | 0.01372 | 0.02669 | 1 | 1 | 0.01335 | 0.06288 | 0.3027 | 0.01849 | 0.08707 | 0.4191 | json |
| t17_x6_u0_b33 | 17 | 6 | 0 | 33 | ![]() |
div(P,add(R,sqt(P))) | 102612 | 138292656 | o2(x,o2(x,o1(x))) | true | 137703 | 137703 | -0.03789 | 0.5 | 0.9621 | 0.951 | 0.9752 | -1 | 1 | 2 | 1 | 1.515 | 0.004379 | 0.00008951 | 0.008635 | 0.9599 | 1 | 1.024e-7 | 0.00803 | 0.009783 | 0.004395 | 0.06629 | 7.677 | 1.003 | 0.004699 | 0.008443 | 1 | 1 | 0.006462 | 0.04063 | 0.2769 | 0.006795 | 0.04272 | 0.2912 | json |
| t17_x6_u0_b34 | 17 | 6 | 0 | 34 | ![]() |
div(P,sub(R,sqt(P))) | 102613 | 138292657 | o2(x,o2(x,o1(x))) | true | 137711 | 137711 | -0.9751 | 0 | 0.9751 | 0.01842 | 0.1357 | -1 | -0.0001541 | 0.9998 | 1 | 0.4062 | 0.004714 | 0.0001211 | 0.008612 | 0.9499 | 1 | 0.00004604 | 0.008599 | 0.01072 | 0.00476 | 0.069 | 8.012 | 0.9998 | 0.2625 | 0.4669 | 1 | 1 | 0.006988 | 0.02373 | 0.03062 | 0.3794 | 1.288 | 1.662 | json |
| t17_x6_u0_b35 | 17 | 6 | 0 | 35 | ![]() |
div(P,mlt(R,sqt(P))) | 102614 | 138292658 | o2(x,o2(x,o1(x))) | true | 137719 | 137719 | -0.6199 | 0.1899 | 0.9747 | 0.5819 | 0.7628 | -1 | 1 | 2 | 1 | 1.147 | 0.03264 | 0.02901 | 0.05743 | 0.05887 | 1 | -0.00001422 | 0.09641 | 0.07007 | 0.0584 | 0.2417 | 4.208 | 2.828 | 0.1059 | 0.1657 | 1 | 1 | 0.0754 | 0.4173 | 0.8639 | 0.1296 | 0.7171 | 1.484 | json |
| t17_x6_u0_b36 | 17 | 6 | 0 | 36 | ![]() |
div(P,div(R,sqt(P))) | 102615 | 138292659 | o2(x,o2(x,o1(x))) | true | 137727 | 137727 | -0.55 | 0.228 | 0.9657 | 0.6559 | 0.8099 | -1 | 1 | 2 | 1 | 1.244 | 0.04503 | 0.04945 | 0.06484 | -0.04672 | 1 | -0.00002703 | 0.2109 | 0.1052 | 0.09031 | 0.3005 | 4.635 | 2.828 | 0.1441 | 0.3216 | 1 | 1 | 0.101 | 0.4876 | 1.03 | 0.154 | 0.7434 | 1.57 | json |
| t17_x6_u0_b37 | 17 | 6 | 0 | 37 | ![]() |
div(P,pow(R,sqt(P))) | 102616 | 138292660 | o2(x,o2(x,o1(x))) | true | 137735 | 137735 | -0.9609 | 0.02344 | 0.9923 | 0.06753 | 0.2599 | -1 | 1 | 2 | 1 | 0.2231 | 0.007483 | 0.005843 | 0.008751 | 0.1231 | 1 | -1.051e-10 | 0.02752 | 0.01555 | 0.01325 | 0.1151 | 13.15 | 2.828 | 0.1973 | 0.4076 | 1 | 1 | 0.01018 | 0.04727 | 0.1222 | 0.1508 | 0.7 | 1.81 | json |
| t17_x6_u0_b38 | 17 | 6 | 0 | 38 | ![]() |
div(P,mod(R,sqt(P))) | 102617 | 138292661 | o2(x,o2(x,o1(x))) | true | 137743 | 137743 | -0.621 | 0.1899 | 0.9849 | 0.5946 | 0.7711 | -1 | 1 | 2 | 1 | 0.9888 | 0.04175 | 0.04006 | 0.05852 | 0.02072 | 1 | -0.00002314 | 0.1614 | 0.08989 | 0.07838 | 0.28 | 4.784 | 2.828 | 0.1376 | 0.2714 | 1 | 1 | 0.0906 | 0.4372 | 0.8923 | 0.1524 | 0.7353 | 1.501 | json |
| t17_x6_u0_b39 | 17 | 6 | 0 | 39 | ![]() |
div(P,lrg(R,sqt(P))) | 102618 | 138292662 | o2(x,o2(x,o1(x))) | true | 137751 | 137751 | -0.9922 | 0 | 0.9922 | 0.00606 | 0.07785 | -1 | -0.000291 | 0.9997 | 1 | 0.1405 | 0.001097 | 0.0005923 | 0.002705 | 0.2987 | 1 | -1.877e-11 | 0.003423 | 0.003743 | 0.001682 | 0.04101 | 15.16 | 1.414 | 0.2787 | 0.5647 | 1 | 1 | 0.002389 | 0.01006 | 0.01771 | 0.3943 | 1.66 | 2.922 | json |
| t17_x6_u0_b40 | 17 | 6 | 0 | 40 | ![]() |
div(P,eql(R,sqt(P))) | 102619 | 138292663 | o2(x,o2(x,o1(x))) | true | 137759 | 137759 | -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_x6_u0_b41 | 17 | 6 | 0 | 41 | ![]() |
div(P,min(R,sqt(P))) | 102620 | 138292664 | o2(x,o2(x,o1(x))) | true | 137767 | 137767 | -0.1216 | 0.4422 | 0.9548 | 0.9282 | 0.9634 | -1 | 1 | 2 | 1 | 1.673 | 0.07175 | 0.08068 | 0.1112 | -0.05857 | 1 | -0.000006211 | 0.3066 | 0.169 | 0.14 | 0.3742 | 3.365 | 2.828 | 0.1642 | 0.3303 | 1 | 1 | 0.1722 | 0.8291 | 1.838 | 0.1855 | 0.8933 | 1.98 | json |
| t17_x6_u0_b42 | 17 | 6 | 0 | 42 | ![]() |
div(P,dot(R,sqt(P))) | 102621 | 138292665 | o2(x,o2(x,o1(x))) | true | 137775 | 137775 | -0.7977 | 0.1084 | 0.9712 | 0.3267 | 0.5716 | -1 | 1 | 2 | 1 | 0.8873 | 0.01093 | 0.01397 | 0.02888 | -0.1221 | 1 | 0.00005399 | 0.03413 | 0.03115 | 0.02407 | 0.1552 | 5.373 | 2.398 | 0.07621 | 0.1045 | 1 | 1 | 0.03465 | 0.2012 | 0.5102 | 0.106 | 0.6158 | 1.562 | json |
| t17_x6_u0_b43 | 17 | 6 | 0 | 43 | ![]() |
div(P,dst(R,sqt(P))) | 102622 | 138292666 | o2(x,o2(x,o1(x))) | true | 137783 | 137783 | -0.5347 | 0.25 | 0.9653 | 0.6659 | 0.816 | -1 | 1 | 2 | 1 | 1.337 | 0.002097 | 0.007342 | 0.008159 | -0.5557 | 1 | -9.795e-7 | 0.01865 | 0.01223 | 0.00937 | 0.0968 | 11.86 | 2 | 0.01417 | 0.028 | 1 | 1 | 0.01247 | 0.0559 | 0.2747 | 0.01873 | 0.08394 | 0.4125 | json |
| t17_x6_u0_b44 | 17 | 6 | 0 | 44 | ![]() |
pow(P,add(R,sqt(P))) | 102623 | 138292667 | o2(x,o2(x,o1(x))) | true | 137791 | 137791 | -0.1016 | 0.4531 | 0.9922 | 0.9808 | 0.9903 | -1 | 1 | 2 | 1 | 1.12 | 0.01294 | 0.003616 | 0.0101 | 0.5632 | 1 | -1.765e-10 | 0.03388 | 0.01859 | 0.01646 | 0.1283 | 12.7 | 2.828 | 0.01688 | 0.03455 | 1 | 1 | 0.02269 | 0.09441 | 0.3825 | 0.02313 | 0.09626 | 0.39 | json |
| t17_x6_u0_b45 | 17 | 6 | 0 | 45 | ![]() |
pow(P,sub(R,sqt(P))) | 102624 | 138292668 | o2(x,o2(x,o1(x))) | true | 137799 | 137799 | -0.4638 | 0.4531 | 0.63 | 0.3792 | 0.6158 | -1 | 0.9999 | 2 | 1 | 2.195 | 0.01311 | 0.00364 | 0.0152 | 0.5654 | 1 | 3.706e-7 | 0.03394 | 0.01973 | 0.01653 | 0.1286 | 8.46 | 2.828 | 0.04418 | 0.0895 | 1 | 1 | 0.02318 | 0.09509 | 0.2801 | 0.06113 | 0.2508 | 0.7386 | json |
| t17_x6_u0_b46 | 17 | 6 | 0 | 46 | ![]() |
pow(P,mlt(R,sqt(P))) | 102625 | 138292669 | o2(x,o2(x,o1(x))) | true | 137807 | 137807 | -0.08421 | 0.5 | 0.9158 | 0.8801 | 0.9381 | -1 | 1 | 2 | 1 | 2.083 | 0.01726 | 0.001671 | 0.02298 | 0.8235 | 1 | -0.0001538 | 0.03451 | 0.02675 | 0.0184 | 0.1357 | 5.904 | 2 | 0.02151 | 0.03921 | 1 | 1 | 0.02481 | 0.1109 | 0.3826 | 0.02819 | 0.126 | 0.4348 | json |
| t17_x6_u0_b47 | 17 | 6 | 0 | 47 | ![]() |
pow(P,div(R,sqt(P))) | 102626 | 138292670 | o2(x,o2(x,o1(x))) | true | 137815 | 137815 | -0.1462 | 0.4531 | 0.9475 | 0.8929 | 0.9449 | -1 | 1 | 2 | 1 | 2.023 | 0.01309 | 0.003805 | 0.01716 | 0.5496 | 1 | -0.00001773 | 0.03399 | 0.02162 | 0.01661 | 0.1289 | 7.512 | 2.828 | 0.01892 | 0.03807 | 1 | 1 | 0.02323 | 0.09879 | 0.3728 | 0.02602 | 0.1106 | 0.4175 | json |
| t17_x6_u0_b48 | 17 | 6 | 0 | 48 | ![]() |
pow(P,pow(R,sqt(P))) | 102627 | 138292671 | o2(x,o2(x,o1(x))) | true | 137823 | 137823 | -0.8906 | 0.07031 | 0.9688 | 0.1686 | 0.4107 | -1 | 1 | 2 | 1 | 0.5964 | 0.0212 | 0.002771 | 0.01776 | 0.7688 | 1 | -3.004e-11 | 0.0478 | 0.02846 | 0.02367 | 0.1538 | 8.662 | 2 | 0.1421 | 0.2835 | 1 | 1 | 0.0272 | 0.1109 | 0.228 | 0.1613 | 0.6573 | 1.352 | json |
| t17_x6_u0_b49 | 17 | 6 | 0 | 49 | ![]() |
pow(P,mod(R,sqt(P))) | 102628 | 138292672 | o2(x,o2(x,o1(x))) | true | 137831 | 137831 | -0.195 | 0.4375 | 0.93 | 0.8566 | 0.9255 | -1 | 1 | 2 | 1 | 2.073 | 0.01638 | 0.0006141 | 0.01933 | 0.9277 | 1 | -0.00005144 | 0.03226 | 0.02173 | 0.01661 | 0.1289 | 6.668 | 2 | 0.01984 | 0.03766 | 1 | 1 | 0.0226 | 0.09626 | 0.3367 | 0.02639 | 0.1124 | 0.3931 | json |
| t17_x6_u0_b50 | 17 | 6 | 0 | 50 | ![]() |
pow(P,lrg(R,sqt(P))) | 102629 | 138292673 | o2(x,o2(x,o1(x))) | true | 137839 | 137839 | -0.01367 | 0.5 | 0.9863 | 0.982 | 0.991 | -1 | 1 | 2 | 1 | 1.244 | 0.01056 | 0.00005267 | 0.008426 | 0.9901 | 1 | 0.000002852 | 0.02084 | 0.01284 | 0.01054 | 0.1027 | 12.18 | 2 | 0.01081 | 0.02122 | 1 | 1 | 0.01414 | 0.06463 | 0.3207 | 0.0144 | 0.06582 | 0.3266 | json |
| t17_x6_u0_b51 | 17 | 6 | 0 | 51 | ![]() |
pow(P,eql(R,sqt(P))) | 102630 | 138292674 | o2(x,o2(x,o1(x))) | true | 137847 | 137847 | 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_x6_u0_b52 | 17 | 6 | 0 | 52 | ![]() |
pow(P,min(R,sqt(P))) | 102631 | 138292675 | o2(x,o2(x,o1(x))) | true | 137855 | 137855 | -0.1638 | 0.4531 | 0.93 | 0.8675 | 0.9314 | -1 | 1 | 2 | 1 | 2.09 | 0.01638 | 0.006661 | 0.0223 | 0.4217 | 1 | -0.00005144 | 0.04586 | 0.02778 | 0.02254 | 0.1501 | 6.732 | 2.828 | 0.02656 | 0.05286 | 1 | 1 | 0.03147 | 0.1323 | 0.4385 | 0.03628 | 0.1525 | 0.5055 | json |
| t17_x6_u0_b53 | 17 | 6 | 0 | 53 | ![]() |
pow(P,dot(R,sqt(P))) | 102632 | 138292676 | o2(x,o2(x,o1(x))) | true | 137863 | 137863 | -0.5787 | 0.2344 | 0.9525 | 0.6058 | 0.7783 | -1 | 1 | 2 | 1 | 1.292 | 0.006425 | 0.009268 | 0.01584 | -0.1811 | 1 | -0.0005035 | 0.02953 | 0.02207 | 0.01544 | 0.1243 | 7.847 | 2 | 0.0259 | 0.04874 | 1 | 1 | 0.01896 | 0.08679 | 0.3426 | 0.03129 | 0.1433 | 0.5656 | json |
| t17_x6_u0_b54 | 17 | 6 | 0 | 54 | ![]() |
pow(P,dst(R,sqt(P))) | 102633 | 138292677 | o2(x,o2(x,o1(x))) | true | 137871 | 137871 | -0.5156 | 0.25 | 0.9844 | 0.715 | 0.8456 | -1 | 1 | 2 | 1 | 1.014 | 0.002162 | 0.007531 | 0.007811 | -0.554 | 1 | -9.386e-13 | 0.01905 | 0.01209 | 0.009632 | 0.09814 | 12.57 | 2 | 0.01356 | 0.02664 | 1 | 1 | 0.01293 | 0.05913 | 0.2998 | 0.01808 | 0.0827 | 0.4194 | json |
| t17_x6_u0_b55 | 17 | 6 | 0 | 55 | ![]() |
mod(P,add(R,sqt(P))) | 102634 | 138292678 | o2(x,o2(x,o1(x))) | true | 137879 | 137879 | -0.1452 | 0.4993 | 0.8548 | 0.7801 | 0.8833 | -1 | 1 | 2 | 1 | 2.632 | 0.004822 | 0.0005973 | 0.02172 | 0.7796 | 1 | -0.00004692 | 0.008178 | 0.01384 | 0.004947 | 0.07033 | 3.238 | 1 | 0.006947 | 0.01048 | 1 | 1 | 0.007617 | 0.05268 | 0.2658 | 0.009764 | 0.06753 | 0.3408 | json |
| t17_x6_u0_b56 | 17 | 6 | 0 | 56 | ![]() |
mod(P,sub(R,sqt(P))) | 102635 | 138292679 | o2(x,o2(x,o1(x))) | true | 137887 | 137887 | -0.1568 | 0.4983 | 0.8432 | 0.7697 | 0.8773 | -1 | 1 | 2 | 1 | 2.61 | 0.004607 | 0.0008189 | 0.02085 | 0.6982 | 1 | -0.0000485 | 0.008221 | 0.01374 | 0.004989 | 0.07063 | 3.388 | 1 | 0.00705 | 0.01068 | 1 | 1 | 0.008287 | 0.05865 | 0.2616 | 0.01077 | 0.0762 | 0.3399 | json |
| t17_x6_u0_b57 | 17 | 6 | 0 | 57 | ![]() |
mod(P,mlt(R,sqt(P))) | 102636 | 138292680 | o2(x,o2(x,o1(x))) | true | 137895 | 137895 | -0.3472 | 0.4375 | 0.7778 | 0.5878 | 0.7667 | -1 | 1 | 2 | 1 | 2.669 | 0.006069 | 0.000556 | 0.01977 | 0.8322 | 1 | -0.000008044 | 0.01128 | 0.01363 | 0.006237 | 0.07897 | 3.995 | 1.398 | 0.01127 | 0.01919 | 1 | 1 | 0.008975 | 0.05048 | 0.2142 | 0.01527 | 0.08588 | 0.3644 | json |
| t17_x6_u0_b58 | 17 | 6 | 0 | 58 | ![]() |
mod(P,div(R,sqt(P))) | 102637 | 138292681 | o2(x,o2(x,o1(x))) | true | 137903 | 137903 | -0.5074 | 0.4375 | 0.6176 | 0.3156 | 0.5618 | -1 | 0.6474 | 1.647 | 1 | 2.019 | 0.005616 | 0.00004539 | 0.009852 | 0.984 | 1 | 0.000002917 | 0.01112 | 0.01054 | 0.005563 | 0.07459 | 7.57 | 1.398 | 0.01794 | 0.03522 | 1 | 1 | 0.007437 | 0.03191 | 0.1227 | 0.02356 | 0.1011 | 0.3889 | json |
| t17_x6_u0_b59 | 17 | 6 | 0 | 59 | ![]() |
mod(P,pow(R,sqt(P))) | 102638 | 138292682 | o2(x,o2(x,o1(x))) | true | 137911 | 137911 | -0.9739 | 0.02222 | 0.9792 | 0.02872 | 0.1695 | -1 | 0.719 | 1.719 | 1 | 0.2144 | 0.003306 | 0.002518 | 0.005531 | 0.1353 | 1 | 0.000002008 | 0.01216 | 0.01048 | 0.005793 | 0.07611 | 13.76 | 1.89 | 0.2028 | 0.4234 | 1 | 1 | 0.004491 | 0.01882 | 0.05087 | 0.1564 | 0.6553 | 1.771 | json |
| t17_x6_u0_b60 | 17 | 6 | 0 | 60 | ![]() |
mod(P,mod(R,sqt(P))) | 102639 | 138292683 | o2(x,o2(x,o1(x))) | true | 137919 | 137919 | -0.4565 | 0.4375 | 0.6685 | 0.3922 | 0.6262 | -1 | 0.7988 | 1.799 | 1 | 2.401 | 0.005711 | 0.0001464 | 0.01352 | 0.95 | 1 | 0.000004702 | 0.01113 | 0.01137 | 0.005675 | 0.07533 | 5.571 | 1.398 | 0.01494 | 0.02838 | 1 | 1 | 0.007757 | 0.03593 | 0.1453 | 0.01978 | 0.09161 | 0.3705 | json |
| t17_x6_u0_b61 | 17 | 6 | 0 | 61 | ![]() |
mod(P,lrg(R,sqt(P))) | 102640 | 138292684 | o2(x,o2(x,o1(x))) | true | 137927 | 137927 | -0.5469 | 0 | 0.5469 | 0.2476 | 0.4976 | -1 | 0 | 1 | 1 | 0.9937 | 0.003968 | 0.001512 | 0.005452 | 0.4483 | 1 | 0 | 0.01134 | 0.01096 | 0.005451 | 0.07383 | 13.54 | 1.414 | 0.02213 | 0.04579 | 1 | 1 | 0.007479 | 0.02992 | 0.1086 | 0.0302 | 0.1208 | 0.4385 | json |
| t17_x6_u0_b62 | 17 | 6 | 0 | 62 | ![]() |
mod(P,eql(R,sqt(P))) | 102641 | 138292685 | o2(x,o2(x,o1(x))) | true | 137935 | 137935 | -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_x6_u0_b63 | 17 | 6 | 0 | 63 | ![]() |
mod(P,min(R,sqt(P))) | 102642 | 138292686 | o2(x,o2(x,o1(x))) | true | 137943 | 137943 | -0.0655 | 0.4595 | 0.2817 | 0.1428 | 0.3779 | -1 | 0.7988 | 1.799 | 1 | 4.196 | 0.005503 | 0.001954 | 0.02439 | 0.4759 | 1 | -0.000001234 | 0.01399 | 0.01722 | 0.006862 | 0.08284 | 3.396 | 1.461 | 0.05221 | 0.09796 | 1 | 1 | 0.0113 | 0.05454 | 0.1985 | 0.07909 | 0.3818 | 1.39 | json |
| t17_x6_u0_b64 | 17 | 6 | 0 | 64 | ![]() |
mod(P,dot(R,sqt(P))) | 102643 | 138292687 | o2(x,o2(x,o1(x))) | true | 137951 | 137951 | -0.6156 | 0.2454 | 0.8922 | 0.4828 | 0.6948 | -1 | 1 | 2 | 1 | 1.71 | 0.002838 | 0.0053 | 0.01541 | -0.3026 | 1 | -0.00002252 | 0.01489 | 0.01342 | 0.007903 | 0.0889 | 5.77 | 2.828 | 0.01685 | 0.03085 | 1 | 1 | 0.01122 | 0.05904 | 0.2361 | 0.02324 | 0.1223 | 0.4891 | json |
| t17_x6_u0_b65 | 17 | 6 | 0 | 65 | ![]() |
mod(P,dst(R,sqt(P))) | 102644 | 138292688 | o2(x,o2(x,o1(x))) | true | 137959 | 137959 | -0.5447 | 0.25 | 0.9553 | 0.6447 | 0.8029 | -1 | 1 | 2 | 1 | 1.36 | 0.002492 | 0.006435 | 0.01262 | -0.4416 | 1 | -0.00001869 | 0.01648 | 0.01371 | 0.00877 | 0.09365 | 7.422 | 2 | 0.01385 | 0.02556 | 1 | 1 | 0.01308 | 0.06702 | 0.2895 | 0.02029 | 0.104 | 0.449 | json |
| t17_x6_u0_b66 | 17 | 6 | 0 | 66 | ![]() |
lrg(P,add(R,sqt(P))) | 102645 | 138292689 | o2(x,o2(x,o1(x))) | true | 137967 | 137967 | 0.9238 | 0.9955 | 0.9238 | 0.05118 | 0.2262 | 0 | 1 | 1 | 1 | 1.05 | 0.0005424 | 0.0003686 | 0.01059 | 0.1908 | 1 | 0.00001141 | 0.00005188 | 0.002564 | 0.0007984 | 0.02826 | 2.668 | 0.1169 | 0.0178 | 0.001014 | 1 | 1 | 0.002446 | 0.03174 | 0.09696 | 0.04779 | 0.6201 | 1.894 | json |
| t17_x6_u0_b67 | 17 | 6 | 0 | 67 | ![]() |
lrg(P,sub(R,sqt(P))) | 102646 | 138292690 | o2(x,o2(x,o1(x))) | true | 137975 | 137975 | 0.9727 | 1 | 0.9727 | 0.01868 | 0.1367 | 0.000291 | 1 | 0.9997 | 1 | 0.4881 | 0.0002846 | 0.0001053 | 0.004539 | 0.4597 | 1 | 0.000005704 | 0.00002084 | 0.001084 | 0.0003695 | 0.01922 | 4.235 | 0.1169 | 0.02087 | 0.001115 | 1 | 1 | 0.001069 | 0.01392 | 0.04488 | 0.05719 | 0.7451 | 2.402 | json |
| t17_x6_u0_b68 | 17 | 6 | 0 | 68 | ![]() |
lrg(P,mlt(R,sqt(P))) | 102647 | 138292691 | o2(x,o2(x,o1(x))) | true | 137983 | 137983 | 0.9375 | 1 | 0.9375 | 0.04507 | 0.2123 | 0.000291 | 1 | 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_x6_u0_b69 | 17 | 6 | 0 | 69 | ![]() |
lrg(P,div(R,sqt(P))) | 102648 | 138292692 | o2(x,o2(x,o1(x))) | true | 137991 | 137991 | 0.9727 | 1 | 0.9727 | 0.01868 | 0.1367 | 0.000291 | 1 | 0.9997 | 1 | 0.4881 | 0.0002846 | 0.0001053 | 0.004539 | 0.4597 | 1 | 0.000005704 | 0.00002084 | 0.001084 | 0.0003695 | 0.01922 | 4.235 | 0.1169 | 0.02087 | 0.001115 | 1 | 1 | 0.001069 | 0.01392 | 0.04488 | 0.05719 | 0.7451 | 2.402 | json |
| t17_x6_u0_b70 | 17 | 6 | 0 | 70 | ![]() |
lrg(P,pow(R,sqt(P))) | 102649 | 138292693 | o2(x,o2(x,o1(x))) | true | 137999 | 137999 | 0.9375 | 1 | 0.9375 | 0.04507 | 0.2123 | 0.000291 | 1 | 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_x6_u0_b71 | 17 | 6 | 0 | 71 | ![]() |
lrg(P,mod(R,sqt(P))) | 102650 | 138292694 | o2(x,o2(x,o1(x))) | true | 138007 | 138007 | 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_x6_u0_b72 | 17 | 6 | 0 | 72 | ![]() |
lrg(P,lrg(R,sqt(P))) | 102651 | 138292695 | o2(x,o2(x,o1(x))) | true | 138015 | 138015 | 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_x6_u0_b73 | 17 | 6 | 0 | 73 | ![]() |
lrg(P,eql(R,sqt(P))) | 102652 | 138292696 | o2(x,o2(x,o1(x))) | true | 138023 | 138023 | 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_x6_u0_b74 | 17 | 6 | 0 | 74 | ![]() |
lrg(P,min(R,sqt(P))) | 102653 | 138292697 | o2(x,o2(x,o1(x))) | true | 138031 | 138031 | 0.5039 | 0.5456 | 0.5039 | 0.2412 | 0.4911 | 0 | 1 | 1 | 1 | 1.415 | 0.0003238 | 0.0001053 | 0.004981 | 0.5091 | 1 | 0.000005704 | 0.00002256 | 0.001187 | 0.0004044 | 0.02011 | 4.037 | 0.1169 | 0.001779 | 0.00009352 | 1 | 1 | 0.001146 | 0.01504 | 0.08976 | 0.004753 | 0.06234 | 0.3721 | json |
| t17_x6_u0_b75 | 17 | 6 | 0 | 75 | ![]() |
lrg(P,dot(R,sqt(P))) | 102654 | 138292698 | o2(x,o2(x,o1(x))) | true | 138039 | 138039 | 0.959 | 0.9918 | 0.959 | 0.0302 | 0.1738 | 0 | 1 | 1 | 1 | 0.6029 | 0.0002772 | 0.0001483 | 0.004998 | 0.303 | 1 | -6.171e-10 | 0.00002473 | 0.001213 | 0.0004005 | 0.02001 | 4.004 | 0.1169 | 0.01409 | 0.0008186 | 1 | 1 | 0.001069 | 0.01402 | 0.06868 | 0.03538 | 0.4642 | 2.274 | json |
| t17_x6_u0_b76 | 17 | 6 | 0 | 76 | ![]() |
lrg(P,dst(R,sqt(P))) | 102655 | 138292699 | o2(x,o2(x,o1(x))) | true | 138047 | 138047 | 0.8867 | 0.9362 | 0.8867 | 0.08976 | 0.2996 | 0 | 1 | 1 | 1 | 0.9525 | 0.0003814 | 0.0001405 | 0.006043 | 0.4616 | 1 | -5.866e-10 | 0.00002793 | 0.00145 | 0.0004852 | 0.02203 | 3.645 | 0.1169 | 0.005813 | 0.0003112 | 1 | 1 | 0.001469 | 0.01923 | 0.0926 | 0.01636 | 0.2142 | 1.032 | json |
| t17_x6_u0_b77 | 17 | 6 | 0 | 77 | ![]() |
eql(P,add(R,sqt(P))) | 102656 | 138292700 | o2(x,o2(x,o1(x))) | true | 138055 | 138055 | 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_x6_u0_b78 | 17 | 6 | 0 | 78 | ![]() |
eql(P,sub(R,sqt(P))) | 102657 | 138292701 | o2(x,o2(x,o1(x))) | true | 138063 | 138063 | 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_x6_u0_b79 | 17 | 6 | 0 | 79 | ![]() |
eql(P,mlt(R,sqt(P))) | 102658 | 138292702 | o2(x,o2(x,o1(x))) | true | 138071 | 138071 | 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_x6_u0_b80 | 17 | 6 | 0 | 80 | ![]() |
eql(P,div(R,sqt(P))) | 102659 | 138292703 | o2(x,o2(x,o1(x))) | true | 138079 | 138079 | 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_x6_u0_b81 | 17 | 6 | 0 | 81 | ![]() |
eql(P,pow(R,sqt(P))) | 102660 | 138292704 | o2(x,o2(x,o1(x))) | true | 138087 | 138087 | 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_x6_u0_b82 | 17 | 6 | 0 | 82 | ![]() |
eql(P,mod(R,sqt(P))) | 102661 | 138292705 | o2(x,o2(x,o1(x))) | true | 138095 | 138095 | 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_x6_u0_b83 | 17 | 6 | 0 | 83 | ![]() |
eql(P,lrg(R,sqt(P))) | 102662 | 138292706 | o2(x,o2(x,o1(x))) | true | 138103 | 138103 | 0.03516 | 0.09119 | 0.03516 | 0.02431 | 0.1559 | 0 | 0.9997 | 0.9997 | 1 | 0.5835 | 0.0003631 | 0.0001053 | 0.005422 | 0.5502 | 1 | 0.000005704 | 0.00002431 | 0.001291 | 0.0004388 | 0.02095 | 3.863 | 0.1169 | 0.01927 | 0.001 | 1 | 1 | 0.001224 | 0.01595 | 0.05043 | 0.05036 | 0.656 | 2.074 | json |
| t17_x6_u0_b84 | 17 | 6 | 0 | 84 | ![]() |
eql(P,eql(R,sqt(P))) | 102663 | 138292707 | o2(x,o2(x,o1(x))) | true | 138111 | 138111 | 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_x6_u0_b85 | 17 | 6 | 0 | 85 | ![]() |
eql(P,min(R,sqt(P))) | 102664 | 138292708 | o2(x,o2(x,o1(x))) | true | 138119 | 138119 | 0.02734 | 0.07556 | 0.02734 | 0.01868 | 0.1367 | 0 | 0.9997 | 0.9997 | 1 | 0.4881 | 0.0002846 | 0.0001053 | 0.004539 | 0.4597 | 1 | -0.000005705 | 0.00002084 | 0.001084 | 0.0003695 | 0.01922 | 4.235 | 0.1169 | 0.02087 | 0.001115 | 1 | 1 | 0.001069 | 0.01392 | 0.04488 | 0.0572 | 0.7453 | 2.402 | json |
| t17_x6_u0_b86 | 17 | 6 | 0 | 86 | ![]() |
eql(P,dot(R,sqt(P))) | 102665 | 138292709 | o2(x,o2(x,o1(x))) | true | 138127 | 138127 | 0.003906 | 0.01477 | 0.003906 | 0.002383 | 0.04882 | 0 | 0.9994 | 0.9994 | 1 | 0.1068 | 0.00003512 | 0.00003512 | 0.0008419 | 7.252e-7 | 0 | -5.638e-14 | 0.000004222 | 0.000206 | 0.00006942 | 0.008332 | 9.897 | 0.1169 | 0.02947 | 0.001772 | 1 | 1 | 0.0002443 | 0.003178 | 0.008708 | 0.1025 | 1.334 | 3.654 | json |
| t17_x6_u0_b87 | 17 | 6 | 0 | 87 | ![]() |
eql(P,dst(R,sqt(P))) | 102666 | 138292710 | o2(x,o2(x,o1(x))) | true | 138135 | 138135 | 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_x6_u0_b88 | 17 | 6 | 0 | 88 | ![]() |
min(P,add(R,sqt(P))) | 102667 | 138292711 | o2(x,o2(x,o1(x))) | true | 138143 | 138143 | -0.03409 | 0.4815 | 0.9405 | 0.9185 | 0.9584 | -1 | 1 | 2 | 1 | 2.029 | 0.0008037 | 0.0001244 | 0.009632 | 0.7319 | 1 | -0.00001517 | 0.00007148 | 0.002534 | 0.000835 | 0.0289 | 3 | 0.208 | 0.00101 | 0.00007782 | 1 | 1 | 0.002347 | 0.03033 | 0.2398 | 0.002555 | 0.03302 | 0.261 | json |
| t17_x6_u0_b89 | 17 | 6 | 0 | 89 | ![]() |
min(P,sub(R,sqt(P))) | 102668 | 138292712 | o2(x,o2(x,o1(x))) | true | 138151 | 138151 | -0.9389 | 0 | 0.9389 | 0.03543 | 0.1882 | -1 | -0.0000387 | 1 | 1 | 1.025 | 0.0004928 | 0.0002321 | 0.008463 | 0.3597 | 1 | -0.000001084 | 0.000125 | 0.002726 | 0.0006537 | 0.02557 | 3.021 | 0.2139 | 0.02046 | 0.003528 | 1 | 1 | 0.001861 | 0.02134 | 0.06184 | 0.05252 | 0.6023 | 1.746 | json |
| t17_x6_u0_b90 | 17 | 6 | 0 | 90 | ![]() |
min(P,mlt(R,sqt(P))) | 102669 | 138292713 | o2(x,o2(x,o1(x))) | true | 138159 | 138159 | -0.4821 | 0.2371 | 0.7584 | 0.4585 | 0.6772 | -1 | 1 | 2 | 1 | 3.248 | 0.004264 | 0.004131 | 0.04693 | 0.01584 | 1 | -0.00004262 | 0.001528 | 0.01428 | 0.00619 | 0.07868 | 1.676 | 0.5713 | 0.01831 | 0.003332 | 1 | 1 | 0.01368 | 0.1597 | 0.4794 | 0.02984 | 0.3483 | 1.046 | json |
| t17_x6_u0_b91 | 17 | 6 | 0 | 91 | ![]() |
min(P,div(R,sqt(P))) | 102670 | 138292714 | o2(x,o2(x,o1(x))) | true | 138167 | 138167 | -0.539 | 0.2094 | 0.6305 | 0.2763 | 0.5257 | -1 | 0.9432 | 1.943 | 1 | 2.896 | 0.005918 | 0.002926 | 0.02256 | 0.3384 | 1 | -0.000001618 | 0.01621 | 0.01596 | 0.008336 | 0.0913 | 4.047 | 2.541 | 0.032 | 0.05867 | 1 | 1 | 0.0121 | 0.06451 | 0.1839 | 0.04379 | 0.2334 | 0.6654 | json |
| t17_x6_u0_b92 | 17 | 6 | 0 | 92 | ![]() |
min(P,pow(R,sqt(P))) | 102671 | 138292715 | o2(x,o2(x,o1(x))) | true | 138175 | 138175 | -0.06085 | 0.4997 | 0.8766 | 0.8368 | 0.9148 | -1 | 1 | 2 | 1 | 2.549 | 0.001636 | 0.001682 | 0.02207 | -0.01406 | 1 | -0.00009762 | 0.001596 | 0.0119 | 0.002832 | 0.05321 | 2.411 | 0.4698 | 0.003965 | 0.001907 | 1 | 1 | 0.005187 | 0.04868 | 0.2392 | 0.006198 | 0.05817 | 0.2859 | json |
| t17_x6_u0_b93 | 17 | 6 | 0 | 93 | ![]() |
min(P,mod(R,sqt(P))) | 102672 | 138292716 | o2(x,o2(x,o1(x))) | true | 138183 | 138183 | -0.4721 | 0.2383 | 0.6511 | 0.3382 | 0.5816 | -1 | 0.9806 | 1.981 | 1 | 3.612 | 0.001688 | 0.001403 | 0.03445 | 0.09223 | 1 | 0.000001932 | 0.000182 | 0.007996 | 0.001905 | 0.04364 | 1.267 | 0.219 | 0.009138 | 0.0005382 | 1 | 1 | 0.006112 | 0.0795 | 0.2727 | 0.01807 | 0.235 | 0.8062 | json |
| t17_x6_u0_b94 | 17 | 6 | 0 | 94 | ![]() |
min(P,lrg(R,sqt(P))) | 102673 | 138292717 | o2(x,o2(x,o1(x))) | true | 138191 | 138191 | -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_x6_u0_b95 | 17 | 6 | 0 | 95 | ![]() |
min(P,eql(R,sqt(P))) | 102674 | 138292718 | o2(x,o2(x,o1(x))) | true | 138199 | 138199 | -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_x6_u0_b96 | 17 | 6 | 0 | 96 | ![]() |
min(P,min(R,sqt(P))) | 102675 | 138292719 | o2(x,o2(x,o1(x))) | true | 138207 | 138207 | -0.4947 | 0.2244 | 0.669 | 0.3314 | 0.5756 | -1 | 0.9806 | 1.981 | 1 | 3.609 | 0.001675 | 0.001465 | 0.03457 | 0.06692 | 1 | -5.686e-7 | 0.0001859 | 0.007986 | 0.001945 | 0.0441 | 1.276 | 0.219 | 0.009476 | 0.0005609 | 1 | 1 | 0.006236 | 0.08108 | 0.2653 | 0.01882 | 0.2447 | 0.8006 | json |
| t17_x6_u0_b97 | 17 | 6 | 0 | 97 | ![]() |
min(P,dot(R,sqt(P))) | 102676 | 138292720 | o2(x,o2(x,o1(x))) | true | 138215 | 138215 | -0.2353 | 0.3814 | 0.8707 | 0.7802 | 0.8833 | -1 | 1 | 2 | 1 | 2.55 | 0.003383 | 0.003272 | 0.03003 | 0.01671 | 1 | -0.00001463 | 0.001806 | 0.01069 | 0.005755 | 0.07586 | 2.526 | 0.7589 | 0.008531 | 0.002316 | 1 | 1 | 0.01021 | 0.1092 | 0.4479 | 0.01308 | 0.14 | 0.5741 | json |
| t17_x6_u0_b98 | 17 | 6 | 0 | 98 | ![]() |
min(P,dst(R,sqt(P))) | 102677 | 138292721 | o2(x,o2(x,o1(x))) | true | 138223 | 138223 | -0.001209 | 0.5 | 0.9363 | 0.9222 | 0.9603 | -1 | 1 | 2 | 1 | 1.84 | 0.000698 | 0.000004744 | 0.008008 | 0.9865 | 1 | 5.115e-11 | 0.00003517 | 0.001903 | 0.0006389 | 0.02528 | 3.157 | 0.1216 | 0.000762 | 0.00003813 | 1 | 1 | 0.001838 | 0.0242 | 0.2318 | 0.001993 | 0.02625 | 0.2514 | json |
| t17_x6_u0_b99 | 17 | 6 | 0 | 99 | ![]() |
dot(P,add(R,sqt(P))) | 102678 | 138292722 | o2(x,o2(x,o1(x))) | true | 138231 | 138231 | -0.5008 | 0.25 | 0.9992 | 0.7484 | 0.8651 | -1 | 1 | 2 | 1 | 0.8315 | 0.007613 | 0.007448 | 0.007876 | 0.01099 | 1 | 2.591e-10 | 0.0301 | 0.01545 | 0.015 | 0.1225 | 15.55 | 2 | 0.02012 | 0.04022 | 1 | 1 | 0.01968 | 0.08076 | 0.3331 | 0.0263 | 0.1079 | 0.4451 | json |
| t17_x6_u0_b100 | 17 | 6 | 0 | 100 | ![]() |
dot(P,sub(R,sqt(P))) | 102679 | 138292723 | o2(x,o2(x,o1(x))) | true | 138239 | 138239 | -0.9978 | 0 | 0.9978 | 0.001115 | 0.0334 | -1 | -0.0005273 | 0.9995 | 1 | 0.0661 | 0.0001588 | 0.0001093 | 0.0006963 | 0.1845 | 1 | 6.758e-11 | 0.0005155 | 0.0008234 | 0.0002674 | 0.01635 | 23.49 | 0.9995 | 0.2404 | 0.4621 | 1 | 1 | 0.0005244 | 0.002392 | 0.004063 | 0.4701 | 2.145 | 3.643 | json |
| t17_x6_u0_b101 | 17 | 6 | 0 | 101 | ![]() |
dot(P,mlt(R,sqt(P))) | 102680 | 138292724 | o2(x,o2(x,o1(x))) | true | 138247 | 138247 | -0.7264 | 0.1381 | 0.9773 | 0.4424 | 0.6652 | -1 | 1 | 2 | 1 | 0.9496 | 0.01473 | 0.01698 | 0.03001 | -0.07099 | 1 | 0.00001918 | 0.05181 | 0.03734 | 0.0308 | 0.1755 | 5.848 | 2.807 | 0.07168 | 0.1171 | 1 | 1 | 0.03616 | 0.2136 | 0.5749 | 0.08173 | 0.4827 | 1.299 | json |
| t17_x6_u0_b102 | 17 | 6 | 0 | 102 | ![]() |
dot(P,div(R,sqt(P))) | 102681 | 138292725 | o2(x,o2(x,o1(x))) | true | 138255 | 138255 | -0.8153 | 0.09157 | 0.9496 | 0.2687 | 0.5183 | -1 | 1 | 2 | 1 | 1.138 | 0.008357 | 0.006564 | 0.02306 | 0.1202 | 1 | -0.00001523 | 0.02188 | 0.01825 | 0.01439 | 0.12 | 5.202 | 2 | 0.05554 | 0.08143 | 1 | 1 | 0.01937 | 0.1148 | 0.3147 | 0.07211 | 0.4272 | 1.171 | json |
| t17_x6_u0_b103 | 17 | 6 | 0 | 103 | ![]() |
dot(P,pow(R,sqt(P))) | 102682 | 138292726 | o2(x,o2(x,o1(x))) | true | 138263 | 138263 | -0.9867 | 0.007813 | 0.9976 | 0.02301 | 0.1517 | -1 | 1 | 2 | 1 | 0.09038 | 0.002874 | 0.001521 | 0.002853 | 0.3079 | 1 | -6.007e-11 | 0.00907 | 0.005122 | 0.004384 | 0.06621 | 23.21 | 2.828 | 0.191 | 0.3941 | 1 | 1 | 0.007795 | 0.03286 | 0.08426 | 0.3387 | 1.428 | 3.661 | json |
| t17_x6_u0_b104 | 17 | 6 | 0 | 104 | ![]() |
dot(P,mod(R,sqt(P))) | 102683 | 138292727 | o2(x,o2(x,o1(x))) | true | 138271 | 138271 | -0.8123 | 0.09441 | 0.9742 | 0.3062 | 0.5534 | -1 | 1 | 2 | 1 | 0.8638 | 0.01121 | 0.00951 | 0.0241 | 0.08227 | 1 | 0.00001537 | 0.02878 | 0.02424 | 0.02015 | 0.142 | 5.89 | 2 | 0.06767 | 0.09398 | 1 | 1 | 0.02529 | 0.1485 | 0.3714 | 0.0826 | 0.485 | 1.213 | json |
| t17_x6_u0_b105 | 17 | 6 | 0 | 105 | ![]() |
dot(P,lrg(R,sqt(P))) | 102684 | 138292728 | o2(x,o2(x,o1(x))) | true | 138279 | 138279 | -0.7179 | 0 | 0.7179 | 0.1955 | 0.4421 | -1 | 0 | 1 | 1 | 1.263 | 0.0001877 | 0.0001877 | 0.00417 | 0.000001628 | 1 | 5.134e-10 | 0.00002276 | 0.0009958 | 0.0003579 | 0.01892 | 4.537 | 0.1628 | 0.00192 | 0.0001164 | 1 | 1 | 0.001001 | 0.01303 | 0.08014 | 0.005121 | 0.06664 | 0.41 | json |
| t17_x6_u0_b106 | 17 | 6 | 0 | 106 | ![]() |
dot(P,eql(R,sqt(P))) | 102685 | 138292729 | o2(x,o2(x,o1(x))) | true | 138287 | 138287 | 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_x6_u0_b107 | 17 | 6 | 0 | 107 | ![]() |
dot(P,min(R,sqt(P))) | 102686 | 138292730 | o2(x,o2(x,o1(x))) | true | 138295 | 138295 | -0.09414 | 0.4579 | 0.842 | 0.7849 | 0.886 | -1 | 1 | 2 | 1 | 2.916 | 0.02451 | 0.0331 | 0.1019 | -0.1491 | 1 | 0.0000297 | 0.04608 | 0.07442 | 0.04725 | 0.2174 | 2.133 | 1.874 | 0.07341 | 0.0587 | 1 | 1 | 0.0731 | 0.5655 | 1.363 | 0.09312 | 0.7204 | 1.737 | json |
| t17_x6_u0_b108 | 17 | 6 | 0 | 108 | ![]() |
dot(P,dot(R,sqt(P))) | 102687 | 138292731 | o2(x,o2(x,o1(x))) | true | 138303 | 138303 | -0.7255 | 0.1381 | 0.9857 | 0.4546 | 0.6743 | -1 | 1 | 2 | 1 | 0.8392 | 0.01914 | 0.01952 | 0.03046 | -0.009907 | 1 | -0.000004862 | 0.07364 | 0.04413 | 0.03775 | 0.1943 | 6.378 | 2.828 | 0.08505 | 0.162 | 1 | 1 | 0.0406 | 0.2203 | 0.5933 | 0.08931 | 0.4845 | 1.305 | json |
| t17_x6_u0_b109 | 17 | 6 | 0 | 109 | ![]() |
dot(P,dst(R,sqt(P))) | 102688 | 138292732 | o2(x,o2(x,o1(x))) | true | 138311 | 138311 | -0.5008 | 0.25 | 0.9992 | 0.7484 | 0.8651 | -1 | 1 | 2 | 1 | 0.8313 | 0.007529 | 0.007623 | 0.007892 | -0.006253 | 1 | -1.689e-10 | 0.0303 | 0.01546 | 0.01509 | 0.1228 | 15.57 | 2 | 0.02025 | 0.04049 | 1 | 1 | 0.01982 | 0.08067 | 0.333 | 0.02649 | 0.1078 | 0.445 | json |
| t17_x6_u0_b110 | 17 | 6 | 0 | 110 | ![]() |
dst(P,add(R,sqt(P))) | 102689 | 138292733 | o2(x,o2(x,o1(x))) | true | 138319 | 138319 | -0.5015 | 0.25 | 0.9985 | 0.7459 | 0.8637 | -1 | 1 | 2 | 1 | 0.8796 | 0.007519 | 0.007619 | 0.00811 | -0.00659 | 1 | 1.126e-11 | 0.03037 | 0.01564 | 0.01507 | 0.1228 | 15.14 | 2 | 0.0203 | 0.04072 | 1 | 1 | 0.01979 | 0.08063 | 0.3294 | 0.02653 | 0.1081 | 0.4417 | json |
| t17_x6_u0_b111 | 17 | 6 | 0 | 111 | ![]() |
dst(P,sub(R,sqt(P))) | 102690 | 138292734 | o2(x,o2(x,o1(x))) | true | 138327 | 138327 | -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_x6_u0_b112 | 17 | 6 | 0 | 112 | ![]() |
dst(P,mlt(R,sqt(P))) | 102691 | 138292735 | o2(x,o2(x,o1(x))) | true | 138335 | 138335 | -0.5025 | 0.25 | 0.9975 | 0.7438 | 0.8624 | -1 | 1 | 2 | 1 | 0.8716 | 0.007295 | 0.007594 | 0.008049 | -0.02004 | 1 | 4.28e-10 | 0.02975 | 0.01543 | 0.01482 | 0.1217 | 15.12 | 2 | 0.02002 | 0.03999 | 1 | 1 | 0.01938 | 0.07856 | 0.3234 | 0.02606 | 0.1056 | 0.4348 | json |
| t17_x6_u0_b113 | 17 | 6 | 0 | 113 | ![]() |
dst(P,div(R,sqt(P))) | 102692 | 138292736 | o2(x,o2(x,o1(x))) | true | 138343 | 138343 | -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_x6_u0_b114 | 17 | 6 | 0 | 114 | ![]() |
dst(P,pow(R,sqt(P))) | 102693 | 138292737 | o2(x,o2(x,o1(x))) | true | 138351 | 138351 | -0.9844 | 0.007813 | 1 | 0.03101 | 0.1761 | -1 | 1 | 2 | 1 | 0.06591 | 0.004031 | 0.002016 | 0.003005 | 0.3333 | 1 | 0 | 0.0126 | 0.006047 | 0.006035 | 0.07769 | 25.85 | 2.828 | 0.195 | 0.4063 | 1 | 1 | 0.01064 | 0.04255 | 0.1135 | 0.3431 | 1.372 | 3.659 | json |
| t17_x6_u0_b115 | 17 | 6 | 0 | 115 | ![]() |
dst(P,mod(R,sqt(P))) | 102694 | 138292738 | o2(x,o2(x,o1(x))) | true | 138359 | 138359 | -0.6173 | 0.1914 | 0.9999 | 0.6187 | 0.7866 | -1 | 1 | 2 | 1 | 0.7093 | 0.006826 | 0.006844 | 0.006918 | -0.001295 | 1 | 2.515e-10 | 0.02741 | 0.01378 | 0.01363 | 0.1167 | 16.88 | 2 | 0.02209 | 0.0443 | 1 | 1 | 0.01719 | 0.06943 | 0.2795 | 0.02778 | 0.1122 | 0.4518 | json |
| t17_x6_u0_b116 | 17 | 6 | 0 | 116 | ![]() |
dst(P,lrg(R,sqt(P))) | 102695 | 138292739 | o2(x,o2(x,o1(x))) | true | 138367 | 138367 | 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_x6_u0_b117 | 17 | 6 | 0 | 117 | ![]() |
dst(P,eql(R,sqt(P))) | 102696 | 138292740 | o2(x,o2(x,o1(x))) | true | 138375 | 138375 | 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_x6_u0_b118 | 17 | 6 | 0 | 118 | ![]() |
dst(P,min(R,sqt(P))) | 102697 | 138292741 | o2(x,o2(x,o1(x))) | true | 138383 | 138383 | 0.9971 | 1 | 0.9971 | 0.0006975 | 0.02641 | 0.5192 | 1 | 0.4808 | 1 | 0.1348 | 0.00002052 | 0.00002879 | 0.000712 | -0.1677 | 0 | 5.256e-11 | 0.00002559 | 0.0004478 | 0.0000488 | 0.006985 | 9.81 | 0.1751 | 0.07071 | 0.03668 | 1 | 1 | 0.000155 | 0.001263 | 0.002411 | 0.2222 | 1.81 | 3.457 | json |
| t17_x6_u0_b119 | 17 | 6 | 0 | 119 | ![]() |
dst(P,dot(R,sqt(P))) | 102698 | 138292742 | o2(x,o2(x,o1(x))) | true | 138391 | 138391 | -0.501 | 0.25 | 0.999 | 0.7479 | 0.8648 | -1 | 1 | 2 | 1 | 0.8378 | 0.007427 | 0.007588 | 0.007878 | -0.01072 | 1 | -5.181e-10 | 0.03002 | 0.0154 | 0.01495 | 0.1223 | 15.52 | 2 | 0.02007 | 0.04014 | 1 | 1 | 0.01958 | 0.08002 | 0.332 | 0.02619 | 0.107 | 0.444 | json |
| t17_x6_u0_b120 | 17 | 6 | 0 | 120 | ![]() |
dst(P,dst(R,sqt(P))) | 102699 | 138292743 | o2(x,o2(x,o1(x))) | true | 138399 | 138399 | -0.5001 | 0.25 | 0.9999 | 0.7496 | 0.8658 | -1 | 1 | 2 | 1 | 0.8213 | 0.007938 | 0.007938 | 0.008004 | -0.000006629 | 1 | 3.379e-11 | 0.03187 | 0.01593 | 0.01581 | 0.1257 | 15.71 | 2 | 0.02118 | 0.04252 | 1 | 1 | 0.02106 | 0.08427 | 0.3359 | 0.0281 | 0.1124 | 0.4482 | json |



































































































