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_x24_u6_b49 | 17 | 24 | 6 | 49 | ![]() |
pow(R,mod(R,nrm(P))) | 118600 | 139021096 | o2(x,o2(x,o1(x))) | true | 108807 | 108807 | -0.9362 | 0.03516 | 0.9935 | 0.1119 | 0.3346 | -1 | 0.9995 | 1.999 | 1 | 0.2982 | 0.01213 | 0.01012 | 0.01265 | 0.09032 | 1 | 0.000004065 | 0.04652 | 0.02465 | 0.02208 | 0.1486 | 11.74 | 2.41 | 0.1988 | 0.4156 | 1 | 1 | 0.01984 | 0.08174 | 0.2069 | 0.1772 | 0.7302 | 1.849 | json |
| t17_x24_u6_b50 | 17 | 24 | 6 | 50 | ![]() |
pow(R,lrg(R,nrm(P))) | 118601 | 139021097 | o2(x,o2(x,o1(x))) | true | 108815 | 108815 | 0.1786 | 0.6172 | 0.9443 | 0.8809 | 0.9386 | -1 | 1 | 2 | 1 | 2.057 | 0.0202 | 0.01935 | 0.02974 | 0.02154 | 1 | 0.00001282 | 0.08147 | 0.04685 | 0.03865 | 0.1966 | 6.612 | 2.828 | 0.04489 | 0.09248 | 1 | 1 | 0.04061 | 0.1683 | 0.6076 | 0.0461 | 0.191 | 0.6897 | json |
| t17_x24_u6_b51 | 17 | 24 | 6 | 51 | ![]() |
pow(R,eql(R,nrm(P))) | 118602 | 139021098 | o2(x,o2(x,o1(x))) | true | 108823 | 108823 | 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_x24_u6_b52 | 17 | 24 | 6 | 52 | ![]() |
pow(R,min(R,nrm(P))) | 118603 | 139021099 | o2(x,o2(x,o1(x))) | true | 108831 | 108831 | -0.915 | 0.04297 | 0.9991 | 0.1611 | 0.4014 | -1 | 1 | 2 | 1 | 0.2819 | 0.01656 | 0.01595 | 0.01637 | 0.01851 | 1 | 0.000001003 | 0.06796 | 0.03287 | 0.03223 | 0.1795 | 10.96 | 2.828 | 0.2018 | 0.4217 | 1 | 1 | 0.0254 | 0.1094 | 0.2726 | 0.1577 | 0.6787 | 1.692 | json |
| t17_x24_u6_b53 | 17 | 24 | 6 | 53 | ![]() |
pow(R,dot(R,nrm(P))) | 118604 | 139021100 | o2(x,o2(x,o1(x))) | true | 108839 | 108839 | -0.9155 | 0.04297 | 0.9986 | 0.1592 | 0.3991 | -1 | 1 | 2 | 1 | 0.3037 | 0.01638 | 0.01574 | 0.01646 | 0.01972 | 1 | 1.191e-7 | 0.06716 | 0.03276 | 0.03183 | 0.1784 | 10.84 | 2.828 | 0.2017 | 0.4217 | 1 | 1 | 0.02509 | 0.1077 | 0.2705 | 0.1576 | 0.6762 | 1.699 | json |
| t17_x24_u6_b54 | 17 | 24 | 6 | 54 | ![]() |
pow(R,dst(R,nrm(P))) | 118605 | 139021101 | o2(x,o2(x,o1(x))) | true | 108847 | 108847 | -0.9368 | 0.04297 | 0.9772 | 0.09071 | 0.3012 | -1 | 0.9448 | 1.945 | 1 | 0.4165 | 0.008976 | 0.009167 | 0.01334 | -0.01052 | 1 | 0.000009109 | 0.03781 | 0.02447 | 0.01797 | 0.134 | 10.04 | 2.679 | 0.2 | 0.4168 | 1 | 1 | 0.01378 | 0.06071 | 0.1486 | 0.1519 | 0.6692 | 1.638 | json |
| t17_x24_u6_b55 | 17 | 24 | 6 | 55 | ![]() |
mod(R,add(R,nrm(P))) | 118606 | 139021102 | o2(x,o2(x,o1(x))) | true | 108855 | 108855 | -0.01557 | 0.4903 | 0.2676 | 0.1362 | 0.369 | -1 | 0.9809 | 1.981 | 1 | 4.449 | 0.00257 | 0.002478 | 0.04211 | 0.01815 | 1 | 0.00001239 | 0.005179 | 0.01341 | 0.003274 | 0.05722 | 1.359 | 2.097 | 0.03707 | 0.03803 | 1 | 1 | 0.009553 | 0.085 | 0.2512 | 0.07015 | 0.6242 | 1.844 | json |
| t17_x24_u6_b56 | 17 | 24 | 6 | 56 | ![]() |
mod(R,sub(R,nrm(P))) | 118607 | 139021103 | o2(x,o2(x,o1(x))) | true | 108863 | 108863 | -0.01625 | 0.4658 | 0.2895 | 0.1502 | 0.3875 | -1 | 0.9694 | 1.969 | 1 | 4.564 | 0.002375 | 0.00263 | 0.0431 | -0.0509 | 1 | -4.22e-8 | 0.005136 | 0.01355 | 0.003147 | 0.0561 | 1.302 | 1.797 | 0.03333 | 0.0342 | 1 | 1 | 0.009502 | 0.08464 | 0.2319 | 0.06328 | 0.5636 | 1.545 | json |
| t17_x24_u6_b57 | 17 | 24 | 6 | 57 | ![]() |
mod(R,mlt(R,nrm(P))) | 118608 | 139021104 | o2(x,o2(x,o1(x))) | true | 108871 | 108871 | -0.1258 | 0.4208 | 0.1905 | 0.1198 | 0.3461 | -1 | 0.9089 | 1.909 | 1 | 2.962 | 0.008604 | 0.0001717 | 0.01934 | 0.9609 | 1 | 0.00002259 | 0.01697 | 0.01892 | 0.008402 | 0.09166 | 4.74 | 1.233 | 0.07326 | 0.1416 | 1 | 1 | 0.01206 | 0.05313 | 0.1885 | 0.1007 | 0.4435 | 1.574 | json |
| t17_x24_u6_b58 | 17 | 24 | 6 | 58 | ![]() |
mod(R,div(R,nrm(P))) | 118609 | 139021105 | o2(x,o2(x,o1(x))) | true | 108879 | 108879 | -0.1229 | 0.431 | 0.463 | 0.2988 | 0.5466 | -1 | 0.9806 | 1.981 | 1 | 4.757 | 0.01612 | 0.002713 | 0.06344 | 0.7119 | 1 | 0.00004952 | 0.02803 | 0.03173 | 0.0148 | 0.1217 | 1.918 | 1.943 | 0.06302 | 0.09383 | 1 | 1 | 0.02603 | 0.1807 | 0.4872 | 0.08711 | 0.6048 | 1.631 | json |
| t17_x24_u6_b59 | 17 | 24 | 6 | 59 | ![]() |
mod(R,pow(R,nrm(P))) | 118610 | 139021106 | o2(x,o2(x,o1(x))) | true | 108887 | 108887 | -0.8998 | 0.0598 | 0.9629 | 0.1386 | 0.3723 | -1 | 0.943 | 1.943 | 1 | 0.7127 | 0.01346 | 0.01324 | 0.02079 | 0.008276 | 1 | 0.000008536 | 0.05521 | 0.03521 | 0.02628 | 0.1621 | 7.798 | 2.698 | 0.1926 | 0.3983 | 1 | 1 | 0.02457 | 0.1069 | 0.2955 | 0.1773 | 0.7712 | 2.132 | json |
| t17_x24_u6_b60 | 17 | 24 | 6 | 60 | ![]() |
mod(R,mod(R,nrm(P))) | 118611 | 139021107 | o2(x,o2(x,o1(x))) | true | 108895 | 108895 | -0.1227 | 0.3244 | 0.181 | 0.1248 | 0.3533 | -1 | 0.9089 | 1.909 | 1 | 2.772 | 0.008851 | 0.0002069 | 0.01925 | 0.9543 | 1 | -0.00001111 | 0.01728 | 0.01905 | 0.008687 | 0.0932 | 4.842 | 1.483 | 0.07256 | 0.1384 | 1 | 1 | 0.01267 | 0.05922 | 0.2093 | 0.1015 | 0.4744 | 1.677 | json |
| t17_x24_u6_b61 | 17 | 24 | 6 | 61 | ![]() |
mod(R,lrg(R,nrm(P))) | 118612 | 139021108 | o2(x,o2(x,o1(x))) | true | 108903 | 108903 | -0.6522 | 0.1951 | 0.8122 | 0.3355 | 0.5792 | -1 | 0.9693 | 1.969 | 1 | 2.259 | 0.01401 | 0.01467 | 0.03357 | -0.02304 | 1 | 0.00001533 | 0.05729 | 0.04018 | 0.02754 | 0.166 | 4.944 | 2.748 | 0.08549 | 0.1708 | 1 | 1 | 0.02593 | 0.1263 | 0.3263 | 0.07729 | 0.3765 | 0.9727 | json |
| t17_x24_u6_b62 | 17 | 24 | 6 | 62 | ![]() |
mod(R,eql(R,nrm(P))) | 118613 | 139021109 | o2(x,o2(x,o1(x))) | true | 108911 | 108911 | -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_x24_u6_b63 | 17 | 24 | 6 | 63 | ![]() |
mod(R,min(R,nrm(P))) | 118614 | 139021110 | o2(x,o2(x,o1(x))) | true | 108919 | 108919 | -0.06951 | 0.4305 | 0.2209 | 0.1263 | 0.3555 | -1 | 0.9158 | 1.916 | 1 | 3.725 | 0.005125 | 0.001804 | 0.03173 | 0.4792 | 1 | 0.000007192 | 0.01068 | 0.01681 | 0.005923 | 0.07696 | 2.425 | 1.483 | 0.05484 | 0.08453 | 1 | 1 | 0.01085 | 0.07594 | 0.2414 | 0.08584 | 0.601 | 1.911 | json |
| t17_x24_u6_b64 | 17 | 24 | 6 | 64 | ![]() |
mod(R,dot(R,nrm(P))) | 118615 | 139021111 | o2(x,o2(x,o1(x))) | true | 108927 | 108927 | -0.01843 | 0.488 | 0.2493 | 0.1211 | 0.3481 | -1 | 0.9557 | 1.956 | 1 | 4.351 | 0.002683 | 0.002856 | 0.04347 | -0.03136 | 1 | 3.172e-7 | 0.005603 | 0.01387 | 0.00365 | 0.06042 | 1.39 | 2.097 | 0.04573 | 0.04625 | 1 | 1 | 0.01021 | 0.0904 | 0.2523 | 0.08429 | 0.7462 | 2.082 | json |
| t17_x24_u6_b65 | 17 | 24 | 6 | 65 | ![]() |
mod(R,dst(R,nrm(P))) | 118616 | 139021112 | o2(x,o2(x,o1(x))) | true | 108935 | 108935 | -0.01743 | 0.4732 | 0.3654 | 0.1983 | 0.4453 | -1 | 0.9806 | 1.981 | 1 | 4.806 | 0.00372 | 0.004333 | 0.05868 | -0.07605 | 1 | 0.00001835 | 0.00683 | 0.0175 | 0.00461 | 0.06789 | 1.157 | 1.797 | 0.04061 | 0.03444 | 1 | 1 | 0.0155 | 0.1487 | 0.3937 | 0.07816 | 0.7499 | 1.985 | json |
| t17_x24_u6_b66 | 17 | 24 | 6 | 66 | ![]() |
lrg(R,add(R,nrm(P))) | 118617 | 139021113 | o2(x,o2(x,o1(x))) | true | 108943 | 108943 | 0.4727 | 0.5074 | 0.4727 | 0.242 | 0.4919 | 0 | 1 | 1 | 1 | 1.358 | 0.0003432 | 0.00003512 | 0.004306 | 0.8144 | 1 | -4.775e-10 | 0.00001836 | 0.001016 | 0.0003599 | 0.01897 | 4.405 | 0.1169 | 0.001564 | 0.00007585 | 1 | 1 | 0.001014 | 0.01329 | 0.07825 | 0.00419 | 0.05493 | 0.3234 | json |
| t17_x24_u6_b67 | 17 | 24 | 6 | 67 | ![]() |
lrg(R,sub(R,nrm(P))) | 118618 | 139021114 | o2(x,o2(x,o1(x))) | true | 108951 | 108951 | 0.4727 | 0.5074 | 0.4727 | 0.242 | 0.4919 | 0 | 1 | 1 | 1 | 1.358 | 0.0003432 | 0.00003512 | 0.004306 | 0.8144 | 1 | -4.788e-10 | 0.00001836 | 0.001016 | 0.0003599 | 0.01897 | 4.405 | 0.1169 | 0.001564 | 0.00007585 | 1 | 1 | 0.001014 | 0.01329 | 0.07825 | 0.00419 | 0.05493 | 0.3234 | json |
| t17_x24_u6_b68 | 17 | 24 | 6 | 68 | ![]() |
lrg(R,mlt(R,nrm(P))) | 118619 | 139021115 | o2(x,o2(x,o1(x))) | true | 108959 | 108959 | 0.4688 | 0.9098 | 0.4688 | 0.1543 | 0.3928 | 0 | 1 | 1 | 1 | 3.408 | 0.001904 | 0.002486 | 0.05133 | -0.1326 | 1 | -0.00002352 | 0.0002538 | 0.01244 | 0.001756 | 0.0419 | 0.8164 | 0.1169 | 0.02844 | 0.001644 | 1 | 1 | 0.008666 | 0.1116 | 0.2777 | 0.05615 | 0.7229 | 1.799 | json |
| t17_x24_u6_b69 | 17 | 24 | 6 | 69 | ![]() |
lrg(R,div(R,nrm(P))) | 118620 | 139021116 | o2(x,o2(x,o1(x))) | true | 108967 | 108967 | 0.5176 | 0.921 | 0.5176 | 0.1571 | 0.3964 | 0 | 1 | 1 | 1 | 3.382 | 0.001921 | 0.002351 | 0.05001 | -0.1008 | 1 | 0.00004778 | 0.0002481 | 0.01213 | 0.001771 | 0.04209 | 0.8415 | 0.1169 | 0.02719 | 0.001579 | 1 | 1 | 0.008334 | 0.1073 | 0.2998 | 0.05304 | 0.6832 | 1.908 | json |
| t17_x24_u6_b70 | 17 | 24 | 6 | 70 | ![]() |
lrg(R,pow(R,nrm(P))) | 118621 | 139021117 | o2(x,o2(x,o1(x))) | true | 108975 | 108975 | 0.4863 | 0.9104 | 0.4863 | 0.1574 | 0.3968 | 0 | 1 | 1 | 1 | 3.38 | 0.001861 | 0.002387 | 0.04975 | -0.1238 | 1 | 0.0000121 | 0.0002479 | 0.01208 | 0.001773 | 0.0421 | 0.8463 | 0.1169 | 0.02698 | 0.001575 | 1 | 1 | 0.008299 | 0.1069 | 0.2931 | 0.05272 | 0.6791 | 1.862 | json |
| t17_x24_u6_b71 | 17 | 24 | 6 | 71 | ![]() |
lrg(R,mod(R,nrm(P))) | 118622 | 139021118 | o2(x,o2(x,o1(x))) | true | 108983 | 108983 | 0.2129 | 0.4744 | 0.2129 | 0.1205 | 0.3472 | 0 | 1 | 1 | 1 | 2.199 | 0.001169 | 0.001022 | 0.02577 | 0.06678 | 1 | 0.00002924 | 0.0001226 | 0.006193 | 0.001526 | 0.03907 | 1.516 | 0.1169 | 0.01818 | 0.001017 | 1 | 1 | 0.004607 | 0.05918 | 0.2058 | 0.03823 | 0.491 | 1.708 | json |
| t17_x24_u6_b72 | 17 | 24 | 6 | 72 | ![]() |
lrg(R,lrg(R,nrm(P))) | 118623 | 139021119 | o2(x,o2(x,o1(x))) | true | 108991 | 108991 | 0.1514 | 0.3528 | 0.1514 | 0.08944 | 0.2991 | 0 | 1 | 1 | 1 | 1.817 | 0.0008226 | 0.0009402 | 0.02083 | -0.06671 | 1 | -0.00002638 | 0.000109 | 0.005111 | 0.001329 | 0.03646 | 1.75 | 0.1169 | 0.01971 | 0.001218 | 1 | 1 | 0.003503 | 0.04549 | 0.1193 | 0.03917 | 0.5087 | 1.334 | json |
| t17_x24_u6_b73 | 17 | 24 | 6 | 73 | ![]() |
lrg(R,eql(R,nrm(P))) | 118624 | 139021120 | o2(x,o2(x,o1(x))) | true | 108999 | 108999 | 0.4824 | 0.9147 | 0.4824 | 0.1537 | 0.3921 | 0 | 1 | 1 | 1 | 3.429 | 0.001972 | 0.002442 | 0.05168 | -0.1065 | 1 | -0.00001781 | 0.0002592 | 0.01257 | 0.001744 | 0.04176 | 0.8079 | 0.1169 | 0.02872 | 0.001686 | 1 | 1 | 0.008731 | 0.1124 | 0.2862 | 0.0568 | 0.7316 | 1.862 | json |
| t17_x24_u6_b74 | 17 | 24 | 6 | 74 | ![]() |
lrg(R,min(R,nrm(P))) | 118625 | 139021121 | o2(x,o2(x,o1(x))) | true | 109007 | 109007 | 0.4912 | 0.6939 | 0.4912 | 0.2089 | 0.457 | 0 | 1 | 1 | 1 | 2.399 | 0.0009891 | 0.0009494 | 0.02282 | 0.02049 | 1 | 0.00001354 | 0.0001081 | 0.005457 | 0.001417 | 0.03765 | 1.65 | 0.1169 | 0.009281 | 0.0005175 | 1 | 1 | 0.004053 | 0.0522 | 0.1736 | 0.0194 | 0.2499 | 0.8312 | json |
| t17_x24_u6_b75 | 17 | 24 | 6 | 75 | ![]() |
lrg(R,dot(R,nrm(P))) | 118626 | 139021122 | o2(x,o2(x,o1(x))) | true | 109015 | 109015 | 0.5068 | 0.9327 | 0.5068 | 0.1519 | 0.3897 | 0 | 1 | 1 | 1 | 3.453 | 0.002004 | 0.002507 | 0.05266 | -0.1116 | 1 | 0.00003421 | 0.0002659 | 0.01283 | 0.001738 | 0.04169 | 0.7916 | 0.1169 | 0.02971 | 0.001751 | 1 | 1 | 0.008741 | 0.1125 | 0.3089 | 0.05756 | 0.7411 | 2.034 | json |
| t17_x24_u6_b76 | 17 | 24 | 6 | 76 | ![]() |
lrg(R,dst(R,nrm(P))) | 118627 | 139021123 | o2(x,o2(x,o1(x))) | true | 109023 | 109023 | 0.04883 | 0.1568 | 0.04883 | 0.02882 | 0.1698 | 0 | 0.9997 | 0.9997 | 1 | 0.8747 | 0.000414 | 0.0003636 | 0.009278 | 0.06474 | 1 | 2.277e-10 | 0.00004929 | 0.002285 | 0.0006919 | 0.0263 | 2.835 | 0.1169 | 0.02698 | 0.00171 | 1 | 1 | 0.001534 | 0.02007 | 0.06843 | 0.05324 | 0.6963 | 2.374 | json |
| t17_x24_u6_b77 | 17 | 24 | 6 | 77 | ![]() |
eql(R,add(R,nrm(P))) | 118628 | 139021124 | o2(x,o2(x,o1(x))) | true | 109031 | 109031 | 0.05859 | 0.1241 | 0.05859 | 0.0418 | 0.2045 | 0 | 0.9997 | 0.9997 | 1 | 0.7992 | 0.0006513 | 0.00003512 | 0.007769 | 0.8977 | 1 | -8.342e-10 | 0.00003252 | 0.001826 | 0.0006264 | 0.02503 | 3.222 | 0.1169 | 0.01642 | 0.0007779 | 1 | 1 | 0.001783 | 0.0232 | 0.06358 | 0.04266 | 0.5551 | 1.521 | json |
| t17_x24_u6_b78 | 17 | 24 | 6 | 78 | ![]() |
eql(R,sub(R,nrm(P))) | 118629 | 139021125 | o2(x,o2(x,o1(x))) | true | 109039 | 109039 | 0.05859 | 0.1241 | 0.05859 | 0.0418 | 0.2045 | 0 | 0.9997 | 0.9997 | 1 | 0.7992 | 0.0006513 | 0.00003512 | 0.007769 | 0.8977 | 1 | -8.342e-10 | 0.00003252 | 0.001826 | 0.0006264 | 0.02503 | 3.222 | 0.1169 | 0.01642 | 0.0007779 | 1 | 1 | 0.001783 | 0.0232 | 0.06358 | 0.04266 | 0.5551 | 1.521 | json |
| t17_x24_u6_b79 | 17 | 24 | 6 | 79 | ![]() |
eql(R,mlt(R,nrm(P))) | 118630 | 139021126 | o2(x,o2(x,o1(x))) | true | 109047 | 109047 | 0.0293 | 0.06207 | 0.0293 | 0.02176 | 0.1475 | 0 | 0.9997 | 0.9997 | 1 | 0.4503 | 0.00001756 | 0.0003257 | 0.00389 | -0.8977 | 1 | -1.126e-11 | 0.00001626 | 0.0009129 | 0.0003282 | 0.01812 | 4.657 | 0.1169 | 0.01577 | 0.000747 | 1 | 1 | 0.0008917 | 0.01161 | 0.03457 | 0.04097 | 0.5334 | 1.588 | json |
| t17_x24_u6_b80 | 17 | 24 | 6 | 80 | ![]() |
eql(R,div(R,nrm(P))) | 118631 | 139021127 | o2(x,o2(x,o1(x))) | true | 109055 | 109055 | 0.0293 | 0.06207 | 0.0293 | 0.02176 | 0.1475 | 0 | 0.9997 | 0.9997 | 1 | 0.4503 | 0.00001756 | 0.0003257 | 0.00389 | -0.8977 | 1 | -1.126e-11 | 0.00001626 | 0.0009129 | 0.0003282 | 0.01812 | 4.657 | 0.1169 | 0.01577 | 0.000747 | 1 | 1 | 0.0008917 | 0.01161 | 0.03457 | 0.04097 | 0.5334 | 1.588 | json |
| t17_x24_u6_b81 | 17 | 24 | 6 | 81 | ![]() |
eql(R,pow(R,nrm(P))) | 118632 | 139021128 | o2(x,o2(x,o1(x))) | true | 109063 | 109063 | 0.01367 | 0.04474 | 0.01367 | 0.008868 | 0.09417 | 0 | 0.9997 | 0.9997 | 1 | 0.2947 | 0.00008778 | 0.000127 | 0.002551 | -0.1828 | 1 | 0.000005705 | 0.00001217 | 0.0006141 | 0.0002084 | 0.01444 | 5.659 | 0.1169 | 0.02423 | 0.001373 | 1 | 1 | 0.0005125 | 0.006707 | 0.02262 | 0.0578 | 0.7564 | 2.551 | json |
| t17_x24_u6_b82 | 17 | 24 | 6 | 82 | ![]() |
eql(R,mod(R,nrm(P))) | 118633 | 139021129 | o2(x,o2(x,o1(x))) | true | 109071 | 109071 | 0.6543 | 0.9072 | 0.6543 | 0.1649 | 0.406 | 0 | 1 | 1 | 1 | 2.738 | 0.001397 | 0.00142 | 0.033 | -0.00788 | 1 | -0.00001214 | 0.0001658 | 0.008032 | 0.001728 | 0.04157 | 1.26 | 0.1169 | 0.01709 | 0.001006 | 1 | 1 | 0.005851 | 0.07561 | 0.2783 | 0.03549 | 0.4587 | 1.688 | json |
| t17_x24_u6_b83 | 17 | 24 | 6 | 83 | ![]() |
eql(R,lrg(R,nrm(P))) | 118634 | 139021130 | o2(x,o2(x,o1(x))) | true | 109079 | 109079 | 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_x24_u6_b84 | 17 | 24 | 6 | 84 | ![]() |
eql(R,eql(R,nrm(P))) | 118635 | 139021131 | o2(x,o2(x,o1(x))) | true | 109087 | 109087 | 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_x24_u6_b85 | 17 | 24 | 6 | 85 | ![]() |
eql(R,min(R,nrm(P))) | 118636 | 139021132 | o2(x,o2(x,o1(x))) | true | 109095 | 109095 | 0.5088 | 0.6993 | 0.5088 | 0.2089 | 0.457 | 0 | 1 | 1 | 1 | 2.399 | 0.0009891 | 0.0009494 | 0.02282 | 0.02049 | 1 | -0.00001354 | 0.0001081 | 0.005457 | 0.001417 | 0.03765 | 1.65 | 0.1169 | 0.009281 | 0.0005175 | 1 | 1 | 0.004053 | 0.0522 | 0.1736 | 0.0194 | 0.2499 | 0.8312 | json |
| t17_x24_u6_b86 | 17 | 24 | 6 | 86 | ![]() |
eql(R,dot(R,nrm(P))) | 118637 | 139021133 | o2(x,o2(x,o1(x))) | true | 109103 | 109103 | 0.0293 | 0.06207 | 0.0293 | 0.02176 | 0.1475 | 0 | 0.9997 | 0.9997 | 1 | 0.4503 | 0.00001756 | 0.0003257 | 0.00389 | -0.8977 | 1 | -1.126e-11 | 0.00001626 | 0.0009129 | 0.0003282 | 0.01812 | 4.657 | 0.1169 | 0.01577 | 0.000747 | 1 | 1 | 0.0008917 | 0.01161 | 0.03457 | 0.04097 | 0.5334 | 1.588 | json |
| t17_x24_u6_b87 | 17 | 24 | 6 | 87 | ![]() |
eql(R,dst(R,nrm(P))) | 118638 | 139021134 | o2(x,o2(x,o1(x))) | true | 109111 | 109111 | 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_x24_u6_b88 | 17 | 24 | 6 | 88 | ![]() |
min(R,add(R,nrm(P))) | 118639 | 139021135 | o2(x,o2(x,o1(x))) | true | 109119 | 109119 | -0.2786 | 0.3005 | 0.4969 | 0.2667 | 0.5164 | -1 | 0.9806 | 1.981 | 1 | 4.721 | 0.00256 | 0.002872 | 0.05697 | -0.05738 | 1 | 0.000042 | 0.0004871 | 0.01435 | 0.002186 | 0.04676 | 0.8207 | 0.2534 | 0.02037 | 0.001826 | 1 | 1 | 0.01072 | 0.1325 | 0.363 | 0.04021 | 0.4968 | 1.361 | json |
| t17_x24_u6_b89 | 17 | 24 | 6 | 89 | ![]() |
min(R,sub(R,nrm(P))) | 118640 | 139021136 | o2(x,o2(x,o1(x))) | true | 109127 | 109127 | -0.2734 | 0.3188 | 0.5238 | 0.2968 | 0.5448 | -1 | 0.9693 | 1.969 | 1 | 4.713 | 0.002607 | 0.002805 | 0.05647 | -0.03662 | 1 | 0.00004886 | 0.0004812 | 0.01425 | 0.002223 | 0.04715 | 0.835 | 0.2349 | 0.01824 | 0.001621 | 1 | 1 | 0.01075 | 0.1333 | 0.3563 | 0.03623 | 0.4492 | 1.2 | json |
| t17_x24_u6_b90 | 17 | 24 | 6 | 90 | ![]() |
min(R,mlt(R,nrm(P))) | 118641 | 139021137 | o2(x,o2(x,o1(x))) | true | 109135 | 109135 | -0.2594 | 0.2028 | 0.3817 | 0.1344 | 0.3666 | -0.9989 | 0.9256 | 1.924 | 1 | 4.51 | 0.001327 | 0.00146 | 0.04119 | -0.04775 | 1 | 0.00001048 | 0.0001685 | 0.009526 | 0.001089 | 0.03301 | 0.8013 | 0.1867 | 0.02074 | 0.001254 | 1 | 1 | 0.005334 | 0.06931 | 0.2002 | 0.0397 | 0.5159 | 1.49 | json |
| t17_x24_u6_b91 | 17 | 24 | 6 | 91 | ![]() |
min(R,div(R,nrm(P))) | 118642 | 139021138 | o2(x,o2(x,o1(x))) | true | 109143 | 109143 | -0.4246 | 0.198 | 0.5869 | 0.2647 | 0.5145 | -1 | 0.9805 | 1.981 | 1 | 4.373 | 0.008052 | 0.00691 | 0.05659 | 0.0763 | 1 | 0.00006367 | 0.02039 | 0.02836 | 0.01176 | 0.1084 | 1.916 | 2.541 | 0.05653 | 0.07705 | 1 | 1 | 0.02291 | 0.1622 | 0.4283 | 0.08654 | 0.6128 | 1.618 | json |
| t17_x24_u6_b92 | 17 | 24 | 6 | 92 | ![]() |
min(R,pow(R,nrm(P))) | 118643 | 139021139 | o2(x,o2(x,o1(x))) | true | 109151 | 109151 | 0.008979 | 0.4983 | 0.3946 | 0.2196 | 0.4686 | -0.9989 | 0.9806 | 1.979 | 1 | 4.862 | 0.002813 | 0.00317 | 0.0632 | -0.05957 | 1 | 0.00002651 | 0.0003508 | 0.01449 | 0.001989 | 0.0446 | 0.7057 | 0.2301 | 0.02725 | 0.001598 | 1 | 1 | 0.01182 | 0.1519 | 0.3914 | 0.05384 | 0.6917 | 1.782 | json |
| t17_x24_u6_b93 | 17 | 24 | 6 | 93 | ![]() |
min(R,mod(R,nrm(P))) | 118644 | 139021140 | o2(x,o2(x,o1(x))) | true | 109159 | 109159 | -0.08876 | 0.4353 | 0.3315 | 0.1602 | 0.4002 | -0.9989 | 0.9276 | 1.926 | 1 | 4.681 | 0.001875 | 0.002132 | 0.05191 | -0.06398 | 1 | 0.000007746 | 0.0002402 | 0.01195 | 0.001312 | 0.03623 | 0.6979 | 0.1959 | 0.02502 | 0.0015 | 1 | 1 | 0.007964 | 0.103 | 0.2803 | 0.04973 | 0.643 | 1.75 | json |
| t17_x24_u6_b94 | 17 | 24 | 6 | 94 | ![]() |
min(R,lrg(R,nrm(P))) | 118645 | 139021141 | o2(x,o2(x,o1(x))) | true | 109167 | 109167 | -0.0617 | 0.3626 | 0.3604 | 0.1941 | 0.4406 | -0.9989 | 0.9806 | 1.979 | 1 | 4.739 | 0.002271 | 0.002713 | 0.05533 | -0.08864 | 1 | 0.00003012 | 0.0002861 | 0.01261 | 0.001923 | 0.04385 | 0.7925 | 0.2301 | 0.02567 | 0.001474 | 1 | 1 | 0.009801 | 0.1255 | 0.3231 | 0.05048 | 0.6463 | 1.665 | json |
| t17_x24_u6_b95 | 17 | 24 | 6 | 95 | ![]() |
min(R,eql(R,nrm(P))) | 118646 | 139021142 | o2(x,o2(x,o1(x))) | true | 109175 | 109175 | -0.2541 | 0 | 0.2541 | 0.06549 | 0.2559 | -0.9989 | 0 | 0.9989 | 1 | 3.542 | 0.000768 | 0.0009295 | 0.0314 | -0.09514 | 1 | 0.00001332 | 0.00009988 | 0.007359 | 0.0007117 | 0.02668 | 0.8497 | 0.1168 | 0.02592 | 0.001525 | 1 | 1 | 0.003123 | 0.04017 | 0.1061 | 0.04769 | 0.6134 | 1.62 | json |
| t17_x24_u6_b96 | 17 | 24 | 6 | 96 | ![]() |
min(R,min(R,nrm(P))) | 118647 | 139021143 | o2(x,o2(x,o1(x))) | true | 109183 | 109183 | -0.3847 | 0.2169 | 0.5289 | 0.2203 | 0.4693 | -1 | 0.9276 | 1.928 | 1 | 4.632 | 0.00136 | 0.001369 | 0.03598 | -0.002974 | 1 | 0.000002588 | 0.0001657 | 0.008296 | 0.001434 | 0.03787 | 1.053 | 0.2138 | 0.01239 | 0.0007525 | 1 | 1 | 0.005589 | 0.07275 | 0.2205 | 0.02537 | 0.3303 | 1.001 | json |
| t17_x24_u6_b97 | 17 | 24 | 6 | 97 | ![]() |
min(R,dot(R,nrm(P))) | 118648 | 139021144 | o2(x,o2(x,o1(x))) | true | 109191 | 109191 | -0.3246 | 0.2028 | 0.4658 | 0.1831 | 0.4279 | -1 | 0.9555 | 1.955 | 1 | 4.65 | 0.00194 | 0.002075 | 0.0498 | -0.03354 | 1 | 0.000004008 | 0.0002591 | 0.01158 | 0.001534 | 0.03917 | 0.7865 | 0.2317 | 0.02193 | 0.001416 | 1 | 1 | 0.007866 | 0.1019 | 0.3196 | 0.04297 | 0.5568 | 1.746 | json |
| t17_x24_u6_b98 | 17 | 24 | 6 | 98 | ![]() |
min(R,dst(R,nrm(P))) | 118649 | 139021145 | o2(x,o2(x,o1(x))) | true | 109199 | 109199 | -0.000503 | 0.493 | 0.3873 | 0.2125 | 0.461 | -0.9989 | 0.9806 | 1.979 | 1 | 4.848 | 0.002669 | 0.003097 | 0.06186 | -0.0742 | 1 | 0.00002913 | 0.000337 | 0.01417 | 0.00194 | 0.04404 | 0.7119 | 0.2301 | 0.02713 | 0.001586 | 1 | 1 | 0.01147 | 0.1472 | 0.3764 | 0.05397 | 0.6926 | 1.771 | json |
| t17_x24_u6_b99 | 17 | 24 | 6 | 99 | ![]() |
dot(R,add(R,nrm(P))) | 118650 | 139021146 | o2(x,o2(x,o1(x))) | true | 109207 | 109207 | 0.7024 | 0.9592 | 0.7372 | 0.1439 | 0.3793 | -1 | 1 | 2 | 1 | 3.249 | 0.004775 | 0.005321 | 0.04185 | -0.05403 | 1 | -0.000126 | 0.0136 | 0.022 | 0.008343 | 0.09134 | 2.183 | 2.828 | 0.07016 | 0.09454 | 1 | 1 | 0.01788 | 0.1169 | 0.336 | 0.1243 | 0.8123 | 2.335 | json |
| t17_x24_u6_b100 | 17 | 24 | 6 | 100 | ![]() |
dot(R,sub(R,nrm(P))) | 118651 | 139021147 | o2(x,o2(x,o1(x))) | true | 109215 | 109215 | 0.7545 | 0.9661 | 0.7884 | 0.1345 | 0.3667 | -1 | 1 | 2 | 1 | 2.892 | 0.004311 | 0.004664 | 0.03846 | -0.03928 | 1 | -0.00005373 | 0.01192 | 0.0203 | 0.007494 | 0.08657 | 2.251 | 2.013 | 0.06675 | 0.08867 | 1 | 1 | 0.01561 | 0.1034 | 0.3064 | 0.1161 | 0.7687 | 2.279 | json |
| t17_x24_u6_b101 | 17 | 24 | 6 | 101 | ![]() |
dot(R,mlt(R,nrm(P))) | 118652 | 139021148 | o2(x,o2(x,o1(x))) | true | 109223 | 109223 | -0.02929 | 0.4722 | 0.3367 | 0.1672 | 0.4089 | -1 | 1 | 2 | 1 | 4.685 | 0.001927 | 0.002135 | 0.03484 | -0.05122 | 1 | 0.00001622 | 0.005047 | 0.01167 | 0.002847 | 0.05336 | 1.532 | 2.553 | 0.02429 | 0.03018 | 1 | 1 | 0.007057 | 0.05319 | 0.1764 | 0.0422 | 0.3181 | 1.055 | json |
| t17_x24_u6_b102 | 17 | 24 | 6 | 102 | ![]() |
dot(R,div(R,nrm(P))) | 118653 | 139021149 | o2(x,o2(x,o1(x))) | true | 109231 | 109231 | -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_x24_u6_b103 | 17 | 24 | 6 | 103 | ![]() |
dot(R,pow(R,nrm(P))) | 118654 | 139021150 | o2(x,o2(x,o1(x))) | true | 109239 | 109239 | -0.9835 | 0.008743 | 0.9958 | 0.02702 | 0.1644 | -1 | 1 | 2 | 1 | 0.1391 | 0.003733 | 0.002877 | 0.004416 | 0.1295 | 1 | 3.004e-11 | 0.01376 | 0.007614 | 0.006595 | 0.08121 | 18.39 | 2.48 | 0.2446 | 0.5092 | 1 | 1 | 0.0118 | 0.04886 | 0.0974 | 0.4368 | 1.808 | 3.604 | json |
| t17_x24_u6_b104 | 17 | 24 | 6 | 104 | ![]() |
dot(R,mod(R,nrm(P))) | 118655 | 139021151 | o2(x,o2(x,o1(x))) | true | 109247 | 109247 | 0.2769 | 0.7656 | 0.7457 | 0.5468 | 0.7395 | -1 | 1 | 2 | 1 | 3.549 | 0.01844 | 0.01931 | 0.0465 | -0.02301 | 1 | -0.000007888 | 0.07311 | 0.05094 | 0.0356 | 0.1887 | 4.058 | 2.19 | 0.06904 | 0.1337 | 1 | 1 | 0.04658 | 0.2135 | 0.943 | 0.08519 | 0.3904 | 1.725 | json |
| t17_x24_u6_b105 | 17 | 24 | 6 | 105 | ![]() |
dot(R,lrg(R,nrm(P))) | 118656 | 139021152 | o2(x,o2(x,o1(x))) | true | 109255 | 109255 | 0.4786 | 0.8968 | 0.536 | 0.17 | 0.4124 | -0.9389 | 1 | 1.939 | 1 | 4.25 | 0.002782 | 0.002895 | 0.05461 | -0.01994 | 1 | -0.0000206 | 0.0007791 | 0.01528 | 0.002693 | 0.0519 | 0.9503 | 0.3651 | 0.03338 | 0.004582 | 1 | 1 | 0.01092 | 0.1277 | 0.3161 | 0.0642 | 0.751 | 1.859 | json |
| t17_x24_u6_b106 | 17 | 24 | 6 | 106 | ![]() |
dot(R,eql(R,nrm(P))) | 118657 | 139021153 | o2(x,o2(x,o1(x))) | true | 109263 | 109263 | 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_x24_u6_b107 | 17 | 24 | 6 | 107 | ![]() |
dot(R,min(R,nrm(P))) | 118658 | 139021154 | o2(x,o2(x,o1(x))) | true | 109271 | 109271 | 0.4337 | 0.8233 | 0.5483 | 0.2128 | 0.4613 | -1 | 1 | 2 | 1 | 4.451 | 0.002122 | 0.002966 | 0.05259 | -0.1658 | 1 | -0.00006913 | 0.0005794 | 0.01386 | 0.002322 | 0.04818 | 0.9161 | 0.3022 | 0.02391 | 0.002723 | 1 | 1 | 0.009999 | 0.1196 | 0.3049 | 0.04699 | 0.5619 | 1.433 | json |
| t17_x24_u6_b108 | 17 | 24 | 6 | 108 | ![]() |
dot(R,dot(R,nrm(P))) | 118659 | 139021155 | o2(x,o2(x,o1(x))) | true | 109279 | 109279 | 0.0106 | 0.5139 | 0.3629 | 0.2352 | 0.485 | -1 | 1 | 2 | 1 | 4.646 | 0.003893 | 0.00366 | 0.05157 | 0.03084 | 1 | -0.000001499 | 0.006586 | 0.01716 | 0.004893 | 0.06995 | 1.357 | 2.828 | 0.03211 | 0.028 | 1 | 1 | 0.01574 | 0.1469 | 0.3964 | 0.0669 | 0.6245 | 1.685 | json |
| t17_x24_u6_b109 | 17 | 24 | 6 | 109 | ![]() |
dot(R,dst(R,nrm(P))) | 118660 | 139021156 | o2(x,o2(x,o1(x))) | true | 109287 | 109287 | -0.000003588 | 0.5029 | 0.6205 | 0.5108 | 0.7147 | -1 | 1 | 2 | 1 | 4.394 | 0.01192 | 0.01217 | 0.08971 | -0.01044 | 1 | 0.0000218 | 0.01687 | 0.03769 | 0.01604 | 0.1267 | 1.412 | 2.479 | 0.04717 | 0.03302 | 1 | 1 | 0.04606 | 0.403 | 1.015 | 0.09018 | 0.789 | 1.988 | json |
| t17_x24_u6_b110 | 17 | 24 | 6 | 110 | ![]() |
dst(R,add(R,nrm(P))) | 118661 | 139021157 | o2(x,o2(x,o1(x))) | true | 109295 | 109295 | 0.9688 | 0.9844 | 1 | 0.06152 | 0.248 | -1 | 1 | 2 | 1 | 0.1161 | 0.004031 | 0.004031 | 0.004013 | 0 | 1 | 1.076e-8 | 0.01663 | 0.008062 | 0.008054 | 0.08974 | 22.36 | 2.828 | 0.131 | 0.2703 | 1 | 1 | 0.01418 | 0.05673 | 0.2269 | 0.2305 | 0.9221 | 3.688 | json |
| t17_x24_u6_b111 | 17 | 24 | 6 | 111 | ![]() |
dst(R,sub(R,nrm(P))) | 118662 | 139021158 | o2(x,o2(x,o1(x))) | true | 109303 | 109303 | 0.9688 | 0.9844 | 1 | 0.06152 | 0.248 | -1 | 1 | 2 | 1 | 0.1161 | 0.004031 | 0.004031 | 0.004013 | 0 | 1 | 1.121e-8 | 0.01663 | 0.008062 | 0.008054 | 0.08974 | 22.36 | 2.828 | 0.131 | 0.2703 | 1 | 1 | 0.01418 | 0.05673 | 0.2269 | 0.2305 | 0.9221 | 3.688 | json |
| t17_x24_u6_b112 | 17 | 24 | 6 | 112 | ![]() |
dst(R,mlt(R,nrm(P))) | 118663 | 139021159 | o2(x,o2(x,o1(x))) | true | 109311 | 109311 | 0.8244 | 0.9844 | 0.8557 | 0.09628 | 0.3103 | -1 | 1 | 2 | 1 | 2.499 | 0.003854 | 0.003711 | 0.01981 | 0.0188 | 1 | -0.0000232 | 0.01397 | 0.01302 | 0.007174 | 0.0847 | 4.276 | 2.014 | 0.07857 | 0.1451 | 1 | 1 | 0.0133 | 0.06437 | 0.2292 | 0.1381 | 0.6685 | 2.381 | json |
| t17_x24_u6_b113 | 17 | 24 | 6 | 113 | ![]() |
dst(R,div(R,nrm(P))) | 118664 | 139021160 | o2(x,o2(x,o1(x))) | true | 109319 | 109319 | -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_x24_u6_b114 | 17 | 24 | 6 | 114 | ![]() |
dst(R,pow(R,nrm(P))) | 118665 | 139021161 | o2(x,o2(x,o1(x))) | true | 109327 | 109327 | -0.9768 | 0.01172 | 0.9998 | 0.04552 | 0.2134 | -1 | 1 | 2 | 1 | 0.09898 | 0.00587 | 0.003821 | 0.004974 | 0.2114 | 1 | 0 | 0.02028 | 0.009913 | 0.009661 | 0.09829 | 19.76 | 2.828 | 0.2129 | 0.4456 | 1 | 1 | 0.01707 | 0.06958 | 0.1657 | 0.375 | 1.529 | 3.639 | json |
| t17_x24_u6_b115 | 17 | 24 | 6 | 115 | ![]() |
dst(R,mod(R,nrm(P))) | 118666 | 139021162 | o2(x,o2(x,o1(x))) | true | 109335 | 109335 | 0.06335 | 0.7229 | 0.5321 | 0.4074 | 0.6383 | -1 | 1 | 2 | 1 | 3.678 | 0.01811 | 0.01577 | 0.05032 | 0.06906 | 1 | -0.000008678 | 0.06472 | 0.04837 | 0.03134 | 0.177 | 3.518 | 2.414 | 0.08314 | 0.1589 | 1 | 1 | 0.04187 | 0.1883 | 0.6212 | 0.1028 | 0.4623 | 1.525 | json |
| t17_x24_u6_b116 | 17 | 24 | 6 | 116 | ![]() |
dst(R,lrg(R,nrm(P))) | 118667 | 139021163 | o2(x,o2(x,o1(x))) | true | 109343 | 109343 | 0.9174 | 1 | 0.9174 | 0.01982 | 0.1408 | 0.21 | 1 | 0.79 | 1 | 1.849 | 0.0003597 | 0.0004157 | 0.01427 | -0.07222 | 1 | -0.00003143 | 0.0001945 | 0.005664 | 0.0005717 | 0.02391 | 1.675 | 0.196 | 0.03913 | 0.009813 | 1 | 1 | 0.001502 | 0.01532 | 0.03457 | 0.07581 | 0.773 | 1.745 | json |
| t17_x24_u6_b117 | 17 | 24 | 6 | 117 | ![]() |
dst(R,eql(R,nrm(P))) | 118668 | 139021164 | o2(x,o2(x,o1(x))) | true | 109351 | 109351 | 0.897 | 1 | 0.897 | 0.02252 | 0.1501 | 0.09951 | 1 | 0.9005 | 1 | 2.181 | 0.0003411 | 0.0004606 | 0.01666 | -0.149 | 1 | -0.00001961 | 0.000143 | 0.005703 | 0.0005243 | 0.0229 | 1.374 | 0.1266 | 0.0356 | 0.006351 | 1 | 1 | 0.001342 | 0.015 | 0.03485 | 0.05959 | 0.666 | 1.547 | json |
| t17_x24_u6_b118 | 17 | 24 | 6 | 118 | ![]() |
dst(R,min(R,nrm(P))) | 118669 | 139021165 | o2(x,o2(x,o1(x))) | true | 109359 | 109359 | 0.6763 | 0.9934 | 0.6763 | 0.1288 | 0.3589 | 6.568e-10 | 1 | 1 | 1 | 3.163 | 0.001186 | 0.001101 | 0.02964 | 0.03718 | 1 | -0.00001841 | 0.0004027 | 0.009574 | 0.001408 | 0.03752 | 1.266 | 0.2201 | 0.01776 | 0.003127 | 1 | 1 | 0.004478 | 0.05111 | 0.1461 | 0.03477 | 0.3968 | 1.134 | json |
| t17_x24_u6_b119 | 17 | 24 | 6 | 119 | ![]() |
dst(R,dot(R,nrm(P))) | 118670 | 139021166 | o2(x,o2(x,o1(x))) | true | 109367 | 109367 | 0.8911 | 0.9844 | 0.9223 | 0.08037 | 0.2835 | -1 | 1 | 2 | 1 | 1.793 | 0.004363 | 0.004135 | 0.01904 | 0.0268 | 1 | -0.00006581 | 0.01563 | 0.01484 | 0.008137 | 0.0902 | 4.737 | 2.693 | 0.1057 | 0.1945 | 1 | 1 | 0.01476 | 0.06891 | 0.2409 | 0.1837 | 0.8575 | 2.998 | json |
| t17_x24_u6_b120 | 17 | 24 | 6 | 120 | ![]() |
dst(R,dst(R,nrm(P))) | 118671 | 139021167 | o2(x,o2(x,o1(x))) | true | 109375 | 109375 | 0.9644 | 0.9844 | 0.9956 | 0.06313 | 0.2513 | -1 | 1 | 2 | 1 | 0.2675 | 0.004051 | 0.004039 | 0.005813 | 0.001383 | 1 | -0.000003328 | 0.01628 | 0.009376 | 0.008054 | 0.08975 | 15.44 | 2.176 | 0.1281 | 0.2578 | 1 | 1 | 0.0144 | 0.0603 | 0.2292 | 0.228 | 0.9552 | 3.63 | json |
| t17_x25_u0_b0 | 17 | 25 | 0 | 0 | ![]() |
add(R,add(R,sqt(D))) | 118672 | 139060242 | o2(x,o2(x,o1(x))) | true | 109383 | 109383 | -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_x25_u0_b1 | 17 | 25 | 0 | 1 | ![]() |
add(R,sub(R,sqt(D))) | 118673 | 139060243 | o2(x,o2(x,o1(x))) | true | 109391 | 109391 | -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_x25_u0_b2 | 17 | 25 | 0 | 2 | ![]() |
add(R,mlt(R,sqt(D))) | 118674 | 139060244 | o2(x,o2(x,o1(x))) | true | 109399 | 109399 | -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_x25_u0_b3 | 17 | 25 | 0 | 3 | ![]() |
add(R,div(R,sqt(D))) | 118675 | 139060245 | o2(x,o2(x,o1(x))) | true | 109407 | 109407 | -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_x25_u0_b4 | 17 | 25 | 0 | 4 | ![]() |
add(R,pow(R,sqt(D))) | 118676 | 139060246 | o2(x,o2(x,o1(x))) | true | 109415 | 109415 | -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_x25_u0_b5 | 17 | 25 | 0 | 5 | ![]() |
add(R,mod(R,sqt(D))) | 118677 | 139060247 | o2(x,o2(x,o1(x))) | true | 109423 | 109423 | -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_x25_u0_b6 | 17 | 25 | 0 | 6 | ![]() |
add(R,lrg(R,sqt(D))) | 118678 | 139060248 | o2(x,o2(x,o1(x))) | true | 109431 | 109431 | 0.5006 | 0.8107 | 0.631 | 0.2663 | 0.516 | -0.9986 | 1 | 1.999 | 1 | 3.987 | 0.0412 | 0.003882 | 0.1073 | 0.8277 | 1 | -0.00006858 | 0.07323 | 0.1024 | 0.03357 | 0.1832 | 1.708 | 1.008 | 0.1693 | 0.275 | 1 | 1 | 0.05383 | 0.2813 | 0.3763 | 0.2021 | 1.056 | 1.413 | json |
| t17_x25_u0_b7 | 17 | 25 | 0 | 7 | ![]() |
add(R,eql(R,sqt(D))) | 118679 | 139060249 | o2(x,o2(x,o1(x))) | true | 109439 | 109439 | 0.008979 | 0.4983 | 0.3946 | 0.2196 | 0.4686 | -0.9989 | 0.9806 | 1.979 | 1 | 4.862 | 0.002813 | 0.00317 | 0.0632 | -0.05957 | 1 | 0.00002651 | 0.0003508 | 0.01449 | 0.001989 | 0.0446 | 0.7057 | 0.2301 | 0.02725 | 0.001598 | 1 | 1 | 0.01182 | 0.1519 | 0.3914 | 0.05384 | 0.6917 | 1.782 | json |
| t17_x25_u0_b8 | 17 | 25 | 0 | 8 | ![]() |
add(R,min(R,sqt(D))) | 118680 | 139060250 | o2(x,o2(x,o1(x))) | true | 109447 | 109447 | -0.002451 | 0.4935 | 0.6476 | 0.5296 | 0.7277 | -1 | 1 | 2 | 1 | 4.495 | 0.009927 | 0.009178 | 0.09807 | 0.03923 | 1 | -0.00004618 | 0.006891 | 0.041 | 0.009488 | 0.09741 | 0.9933 | 0.6831 | 0.03608 | 0.01301 | 1 | 1 | 0.03571 | 0.3927 | 0.9477 | 0.06743 | 0.7415 | 1.79 | json |
| t17_x25_u0_b9 | 17 | 25 | 0 | 9 | ![]() |
add(R,dot(R,sqt(D))) | 118681 | 139060251 | o2(x,o2(x,o1(x))) | true | 109455 | 109455 | -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_x25_u0_b10 | 17 | 25 | 0 | 10 | ![]() |
add(R,dst(R,sqt(D))) | 118682 | 139060252 | o2(x,o2(x,o1(x))) | true | 109463 | 109463 | -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_x25_u0_b11 | 17 | 25 | 0 | 11 | ![]() |
sub(R,add(R,sqt(D))) | 118683 | 139060253 | o2(x,o2(x,o1(x))) | true | 109471 | 109471 | -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_x25_u0_b12 | 17 | 25 | 0 | 12 | ![]() |
sub(R,sub(R,sqt(D))) | 118684 | 139060254 | o2(x,o2(x,o1(x))) | true | 109479 | 109479 | -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_x25_u0_b13 | 17 | 25 | 0 | 13 | ![]() |
sub(R,mlt(R,sqt(D))) | 118685 | 139060255 | o2(x,o2(x,o1(x))) | true | 109487 | 109487 | -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_x25_u0_b14 | 17 | 25 | 0 | 14 | ![]() |
sub(R,div(R,sqt(D))) | 118686 | 139060256 | o2(x,o2(x,o1(x))) | true | 109495 | 109495 | -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_x25_u0_b15 | 17 | 25 | 0 | 15 | ![]() |
sub(R,pow(R,sqt(D))) | 118687 | 139060257 | o2(x,o2(x,o1(x))) | true | 109503 | 109503 | -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_x25_u0_b16 | 17 | 25 | 0 | 16 | ![]() |
sub(R,mod(R,sqt(D))) | 118688 | 139060258 | o2(x,o2(x,o1(x))) | true | 109511 | 109511 | -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_x25_u0_b17 | 17 | 25 | 0 | 17 | ![]() |
sub(R,lrg(R,sqt(D))) | 118689 | 139060259 | o2(x,o2(x,o1(x))) | true | 109519 | 109519 | -0.5539 | 0.05537 | 0.5689 | 0.1213 | 0.3483 | -1 | 0.4153 | 1.415 | 1 | 3.93 | 0.02676 | 0.001571 | 0.08698 | 0.8891 | 1 | 0.00006798 | 0.0489 | 0.08599 | 0.02077 | 0.1441 | 1.657 | 1.001 | 0.2336 | 0.4031 | 1 | 1 | 0.03128 | 0.146 | 0.1645 | 0.2578 | 1.204 | 1.356 | json |
| t17_x25_u0_b18 | 17 | 25 | 0 | 18 | ![]() |
sub(R,eql(R,sqt(D))) | 118690 | 139060260 | o2(x,o2(x,o1(x))) | true | 109527 | 109527 | 0.008979 | 0.4983 | 0.3946 | 0.2196 | 0.4686 | -0.9989 | 0.9806 | 1.979 | 1 | 4.862 | 0.002813 | 0.00317 | 0.0632 | -0.05957 | 1 | 0.00002651 | 0.0003508 | 0.01449 | 0.001989 | 0.0446 | 0.7057 | 0.2301 | 0.02725 | 0.001598 | 1 | 1 | 0.01182 | 0.1519 | 0.3914 | 0.05384 | 0.6917 | 1.782 | json |
| t17_x25_u0_b19 | 17 | 25 | 0 | 19 | ![]() |
sub(R,min(R,sqt(D))) | 118691 | 139060261 | o2(x,o2(x,o1(x))) | true | 109535 | 109535 | 0.04053 | 0.2998 | 0.04053 | 0.01218 | 0.1104 | 0 | 0.8042 | 0.8042 | 1 | 1.059 | 0.005981 | 0.0001333 | 0.02353 | 0.9564 | 1 | 0.0001798 | 0.01332 | 0.02787 | 0.00556 | 0.07457 | 3.17 | 0.7925 | 0.5021 | 1.093 | 1 | 1 | 0.005631 | 0.01577 | 0.01838 | 0.4624 | 1.295 | 1.509 | json |
| t17_x25_u0_b20 | 17 | 25 | 0 | 20 | ![]() |
sub(R,dot(R,sqt(D))) | 118692 | 139060262 | o2(x,o2(x,o1(x))) | true | 109543 | 109543 | -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_x25_u0_b21 | 17 | 25 | 0 | 21 | ![]() |
sub(R,dst(R,sqt(D))) | 118693 | 139060263 | o2(x,o2(x,o1(x))) | true | 109551 | 109551 | -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_x25_u0_b22 | 17 | 25 | 0 | 22 | ![]() |
mlt(R,add(R,sqt(D))) | 118694 | 139060264 | o2(x,o2(x,o1(x))) | true | 109559 | 109559 | -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_x25_u0_b23 | 17 | 25 | 0 | 23 | ![]() |
mlt(R,sub(R,sqt(D))) | 118695 | 139060265 | o2(x,o2(x,o1(x))) | true | 109567 | 109567 | -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_x25_u0_b24 | 17 | 25 | 0 | 24 | ![]() |
mlt(R,mlt(R,sqt(D))) | 118696 | 139060266 | o2(x,o2(x,o1(x))) | true | 109575 | 109575 | -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_x25_u0_b25 | 17 | 25 | 0 | 25 | ![]() |
mlt(R,div(R,sqt(D))) | 118697 | 139060267 | o2(x,o2(x,o1(x))) | true | 109583 | 109583 | -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_x25_u0_b26 | 17 | 25 | 0 | 26 | ![]() |
mlt(R,pow(R,sqt(D))) | 118698 | 139060268 | o2(x,o2(x,o1(x))) | true | 109591 | 109591 | -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_x25_u0_b27 | 17 | 25 | 0 | 27 | ![]() |
mlt(R,mod(R,sqt(D))) | 118699 | 139060269 | o2(x,o2(x,o1(x))) | true | 109599 | 109599 | -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 |



































































































