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_x22_u6_b43 | 17 | 22 | 6 | 43 | ![]() |
div(R,dst(D,nrm(D))) | 116900 | 138940288 | o2(x,o2(x,o1(x))) | true | 95207 | 95207 | 0.02576 | 0.5094 | 0.6335 | 0.5133 | 0.7165 | -1 | 1 | 2 | 1 | 4.523 | 0.07593 | 0.0774 | 0.1933 | -0.009594 | 1 | 0.0001861 | 0.6848 | 0.3255 | 0.116 | 0.3406 | 1.762 | 2.828 | 0.2987 | 1.334 | 1 | 1 | 0.1138 | 0.3389 | 0.9072 | 0.2216 | 0.6602 | 1.767 | json |
| t17_x22_u6_b44 | 17 | 22 | 6 | 44 | ![]() |
pow(R,add(D,nrm(D))) | 116901 | 138940289 | o2(x,o2(x,o1(x))) | true | 95215 | 95215 | -0.9176 | 0.04297 | 0.9965 | 0.1525 | 0.3905 | -1 | 1 | 2 | 1 | 0.3287 | 0.01598 | 0.01478 | 0.01701 | 0.03908 | 1 | -0.000025 | 0.06441 | 0.03263 | 0.03045 | 0.1745 | 10.26 | 2.828 | 0.2018 | 0.4225 | 1 | 1 | 0.02385 | 0.1041 | 0.2529 | 0.1564 | 0.6828 | 1.659 | json |
| t17_x22_u6_b45 | 17 | 22 | 6 | 45 | ![]() |
pow(R,sub(D,nrm(D))) | 116902 | 138940290 | o2(x,o2(x,o1(x))) | true | 95223 | 95223 | -0.9172 | 0.04297 | 0.9969 | 0.1536 | 0.3919 | -1 | 1 | 2 | 1 | 0.3297 | 0.0161 | 0.0145 | 0.01688 | 0.05224 | 1 | 8.03e-7 | 0.06404 | 0.03233 | 0.03031 | 0.1741 | 10.31 | 2.699 | 0.1993 | 0.4171 | 1 | 1 | 0.02332 | 0.1031 | 0.2597 | 0.1519 | 0.6712 | 1.691 | json |
| t17_x22_u6_b46 | 17 | 22 | 6 | 46 | ![]() |
pow(R,mlt(D,nrm(D))) | 116903 | 138940291 | o2(x,o2(x,o1(x))) | true | 95231 | 95231 | -0.9196 | 0.04297 | 0.9944 | 0.1444 | 0.38 | -1 | 0.9996 | 2 | 1 | 0.3628 | 0.01686 | 0.01393 | 0.01723 | 0.09515 | 1 | 0.00002312 | 0.06477 | 0.03238 | 0.03047 | 0.1746 | 10.13 | 2.824 | 0.2133 | 0.4486 | 1 | 1 | 0.02342 | 0.09746 | 0.242 | 0.1622 | 0.675 | 1.676 | json |
| t17_x22_u6_b47 | 17 | 22 | 6 | 47 | ![]() |
pow(R,div(D,nrm(D))) | 116904 | 138940292 | o2(x,o2(x,o1(x))) | true | 95239 | 95239 | -0.9244 | 0.04297 | 0.9897 | 0.1282 | 0.358 | -1 | 0.9972 | 1.997 | 1 | 0.3885 | 0.01415 | 0.0139 | 0.01644 | 0.008988 | 1 | 0.0000213 | 0.05933 | 0.03085 | 0.02776 | 0.1666 | 10.14 | 2.819 | 0.2188 | 0.4628 | 1 | 1 | 0.02173 | 0.08769 | 0.2158 | 0.1695 | 0.6841 | 1.683 | json |
| t17_x22_u6_b48 | 17 | 22 | 6 | 48 | ![]() |
pow(R,pow(D,nrm(D))) | 116905 | 138940293 | o2(x,o2(x,o1(x))) | true | 95247 | 95247 | -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_x22_u6_b49 | 17 | 22 | 6 | 49 | ![]() |
pow(R,mod(D,nrm(D))) | 116906 | 138940294 | o2(x,o2(x,o1(x))) | true | 95255 | 95255 | -0.9157 | 0.04297 | 0.9984 | 0.1587 | 0.3984 | -1 | 1 | 2 | 1 | 0.3041 | 0.01672 | 0.01576 | 0.01682 | 0.02929 | 1 | 0.000003711 | 0.06821 | 0.03322 | 0.03218 | 0.1794 | 10.66 | 2.828 | 0.2046 | 0.4297 | 1 | 1 | 0.02487 | 0.1065 | 0.2642 | 0.1567 | 0.671 | 1.665 | json |
| t17_x22_u6_b50 | 17 | 22 | 6 | 50 | ![]() |
pow(R,lrg(D,nrm(D))) | 116907 | 138940295 | o2(x,o2(x,o1(x))) | true | 95263 | 95263 | -0.4801 | 0.2774 | 0.9651 | 0.7131 | 0.8444 | -1 | 1 | 2 | 1 | 1.505 | 0.3223 | 0.156 | 0.2408 | 0.3476 | 1 | 0.0005982 | 1.509 | 0.5016 | 0.4204 | 0.6484 | 2.692 | 2.828 | 0.6707 | 2.116 | 1 | 1 | 0.4146 | 1.017 | 1.072 | 0.5814 | 1.426 | 1.503 | json |
| t17_x22_u6_b51 | 17 | 22 | 6 | 51 | ![]() |
pow(R,eql(D,nrm(D))) | 116908 | 138940296 | o2(x,o2(x,o1(x))) | true | 95271 | 95271 | 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_x22_u6_b52 | 17 | 22 | 6 | 52 | ![]() |
pow(R,min(D,nrm(D))) | 116909 | 138940297 | o2(x,o2(x,o1(x))) | true | 95279 | 95279 | -0.9153 | 0.04297 | 0.9987 | 0.1599 | 0.3999 | -1 | 1 | 2 | 1 | 0.2965 | 0.01672 | 0.01592 | 0.0168 | 0.02441 | 1 | 0.000001496 | 0.06851 | 0.03328 | 0.03234 | 0.1798 | 10.71 | 2.828 | 0.2041 | 0.4284 | 1 | 1 | 0.02501 | 0.1073 | 0.2667 | 0.1564 | 0.671 | 1.668 | json |
| t17_x22_u6_b53 | 17 | 22 | 6 | 53 | ![]() |
pow(R,dot(D,nrm(D))) | 116910 | 138940298 | o2(x,o2(x,o1(x))) | true | 95287 | 95287 | -0.9244 | 0.04297 | 0.9897 | 0.1282 | 0.358 | -1 | 0.9972 | 1.997 | 1 | 0.3885 | 0.01415 | 0.0139 | 0.01644 | 0.008988 | 1 | 0.0000213 | 0.05933 | 0.03085 | 0.02776 | 0.1666 | 10.14 | 2.819 | 0.2188 | 0.4628 | 1 | 1 | 0.02173 | 0.08769 | 0.2158 | 0.1695 | 0.6841 | 1.683 | json |
| t17_x22_u6_b54 | 17 | 22 | 6 | 54 | ![]() |
pow(R,dst(D,nrm(D))) | 116911 | 138940299 | o2(x,o2(x,o1(x))) | true | 95295 | 95295 | -0.9264 | 0.04297 | 0.9876 | 0.122 | 0.3493 | -1 | 0.972 | 1.972 | 1 | 0.4002 | 0.01159 | 0.01158 | 0.01502 | 0.00007802 | 1 | -0.000008446 | 0.04794 | 0.02777 | 0.02295 | 0.1515 | 10.08 | 2.648 | 0.1899 | 0.393 | 1 | 1 | 0.01842 | 0.0845 | 0.2065 | 0.151 | 0.6927 | 1.692 | json |
| t17_x22_u6_b55 | 17 | 22 | 6 | 55 | ![]() |
mod(R,add(D,nrm(D))) | 116912 | 138940300 | o2(x,o2(x,o1(x))) | true | 95303 | 95303 | 0.002716 | 0.4943 | 0.2928 | 0.1404 | 0.3747 | -0.9963 | 0.9746 | 1.971 | 1 | 4.592 | 0.02531 | 0.01603 | 0.1207 | 0.2247 | 1 | -0.0000855 | 0.1449 | 0.178 | 0.02678 | 0.1636 | 1.356 | 1.194 | 0.2944 | 1.032 | 1 | 1 | 0.03869 | 0.1371 | 0.2527 | 0.2755 | 0.9766 | 1.8 | json |
| t17_x22_u6_b56 | 17 | 22 | 6 | 56 | ![]() |
mod(R,sub(D,nrm(D))) | 116913 | 138940301 | o2(x,o2(x,o1(x))) | true | 95311 | 95311 | -0.005451 | 0.4854 | 0.1436 | 0.039 | 0.1975 | -0.8443 | 0.8483 | 1.693 | 1 | 3.639 | 0.01075 | 0.01364 | 0.09654 | -0.1184 | 1 | -0.000143 | 0.09072 | 0.184 | 0.01508 | 0.1228 | 1.272 | 1.024 | 0.6255 | 2.326 | 1 | 1 | 0.02206 | 0.05282 | 0.07423 | 0.5657 | 1.354 | 1.903 | json |
| t17_x22_u6_b57 | 17 | 22 | 6 | 57 | ![]() |
mod(R,mlt(D,nrm(D))) | 116914 | 138940302 | o2(x,o2(x,o1(x))) | true | 95319 | 95319 | -0.003585 | 0.4798 | 0.07177 | 0.0111 | 0.1053 | -0.4485 | 0.4373 | 0.8858 | 1 | 2.736 | 0.0051 | 0.002447 | 0.0635 | 0.3515 | 1 | -0.0001339 | 0.02824 | 0.1146 | 0.003515 | 0.05928 | 0.9336 | 0.4616 | 0.6802 | 2.546 | 1 | 1 | 0.005786 | 0.01534 | 0.02117 | 0.5215 | 1.383 | 1.908 | json |
| t17_x22_u6_b58 | 17 | 22 | 6 | 58 | ![]() |
mod(R,div(D,nrm(D))) | 116915 | 138940303 | o2(x,o2(x,o1(x))) | true | 95327 | 95327 | -0.005796 | 0.4819 | 0.1359 | 0.02813 | 0.1677 | -0.5136 | 0.5489 | 1.063 | 1 | 3.47 | 0.007868 | 0.00792 | 0.09752 | -0.003265 | 1 | 0.000007187 | 0.06249 | 0.1622 | 0.006279 | 0.07924 | 0.8126 | 0.5454 | 0.5612 | 2.221 | 1 | 1 | 0.01295 | 0.02971 | 0.0557 | 0.4602 | 1.056 | 1.98 | json |
| t17_x22_u6_b59 | 17 | 22 | 6 | 59 | ![]() |
mod(R,pow(D,nrm(D))) | 116916 | 138940304 | o2(x,o2(x,o1(x))) | true | 95335 | 95335 | -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_x22_u6_b60 | 17 | 22 | 6 | 60 | ![]() |
mod(R,mod(D,nrm(D))) | 116917 | 138940305 | o2(x,o2(x,o1(x))) | true | 95343 | 95343 | -0.006128 | 0.4759 | 0.09043 | 0.01497 | 0.1224 | -0.456 | 0.4355 | 0.8915 | 1 | 2.997 | 0.006826 | 0.0002308 | 0.06348 | 0.9346 | 1 | -0.00001635 | 0.01818 | 0.09722 | 0.003028 | 0.05503 | 0.8669 | 0.39 | 0.4714 | 1.215 | 1 | 1 | 0.005414 | 0.01632 | 0.02847 | 0.3616 | 1.09 | 1.902 | json |
| t17_x22_u6_b61 | 17 | 22 | 6 | 61 | ![]() |
mod(R,lrg(D,nrm(D))) | 116918 | 138940306 | o2(x,o2(x,o1(x))) | true | 95351 | 95351 | -0.9608 | 0.01962 | 0.9759 | 0.04594 | 0.2143 | -1 | 0.9604 | 1.96 | 1 | 0.4255 | 0.07411 | 0.01866 | 0.07208 | 0.5977 | 1 | 0.0005374 | 0.3153 | 0.1516 | 0.08761 | 0.296 | 4.106 | 2.761 | 2.02 | 6.863 | 1 | 1 | 0.06464 | 0.09021 | 0.01396 | 1.407 | 1.964 | 0.3038 | json |
| t17_x22_u6_b62 | 17 | 22 | 6 | 62 | ![]() |
mod(R,eql(D,nrm(D))) | 116919 | 138940307 | o2(x,o2(x,o1(x))) | true | 95359 | 95359 | -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_x22_u6_b63 | 17 | 22 | 6 | 63 | ![]() |
mod(R,min(D,nrm(D))) | 116920 | 138940308 | o2(x,o2(x,o1(x))) | true | 95367 | 95367 | -0.003476 | 0.4814 | 0.1648 | 0.05567 | 0.2359 | -0.954 | 0.9616 | 1.916 | 1 | 3.841 | 0.01414 | 0.01148 | 0.09626 | 0.1042 | 1 | 0.00004558 | 0.09018 | 0.1588 | 0.01635 | 0.1279 | 1.328 | 1.253 | 0.4602 | 1.62 | 1 | 1 | 0.02355 | 0.07288 | 0.1032 | 0.423 | 1.309 | 1.854 | json |
| t17_x22_u6_b64 | 17 | 22 | 6 | 64 | ![]() |
mod(R,dot(D,nrm(D))) | 116921 | 138940309 | o2(x,o2(x,o1(x))) | true | 95375 | 95375 | -0.005796 | 0.4819 | 0.1359 | 0.02813 | 0.1677 | -0.5136 | 0.5489 | 1.063 | 1 | 3.47 | 0.007868 | 0.00792 | 0.09752 | -0.003265 | 1 | 0.000007187 | 0.06249 | 0.1622 | 0.006279 | 0.07924 | 0.8126 | 0.5454 | 0.5612 | 2.221 | 1 | 1 | 0.01295 | 0.02971 | 0.0557 | 0.4602 | 1.056 | 1.98 | json |
| t17_x22_u6_b65 | 17 | 22 | 6 | 65 | ![]() |
mod(R,dst(D,nrm(D))) | 116922 | 138940310 | o2(x,o2(x,o1(x))) | true | 95383 | 95383 | -0.007968 | 0.4878 | 0.214 | 0.07575 | 0.2752 | -0.9526 | 0.943 | 1.896 | 1 | 4.157 | 0.01264 | 0.01274 | 0.07946 | -0.003969 | 1 | -0.0000117 | 0.08041 | 0.1361 | 0.01907 | 0.1381 | 1.738 | 1.275 | 0.3351 | 1.062 | 1 | 1 | 0.02595 | 0.09333 | 0.1419 | 0.3426 | 1.232 | 1.873 | json |
| t17_x22_u6_b66 | 17 | 22 | 6 | 66 | ![]() |
lrg(R,add(D,nrm(D))) | 116923 | 138940311 | o2(x,o2(x,o1(x))) | true | 95391 | 95391 | 0.5023 | 0.9781 | 0.5023 | 0.1196 | 0.3459 | 0 | 1 | 1 | 1 | 3.668 | 0.04918 | 0.01629 | 0.1359 | 0.5024 | 1 | 0.0001494 | 0.1863 | 0.1666 | 0.04697 | 0.2167 | 1.594 | 1.413 | 0.5472 | 1.558 | 1 | 1 | 0.07112 | 0.2232 | 0.09852 | 0.5946 | 1.866 | 0.8236 | json |
| t17_x22_u6_b67 | 17 | 22 | 6 | 67 | ![]() |
lrg(R,sub(D,nrm(D))) | 116924 | 138940312 | o2(x,o2(x,o1(x))) | true | 95399 | 95399 | 0.5032 | 0.9223 | 0.5032 | 0.1468 | 0.3831 | 0 | 1 | 1 | 1 | 3.518 | 0.03062 | 0.02417 | 0.11 | 0.1177 | 1 | 0.00002833 | 0.1625 | 0.141 | 0.04269 | 0.2066 | 1.878 | 1.414 | 0.3733 | 1.107 | 1 | 1 | 0.06019 | 0.2038 | 0.2229 | 0.4101 | 1.389 | 1.519 | json |
| t17_x22_u6_b68 | 17 | 22 | 6 | 68 | ![]() |
lrg(R,mlt(D,nrm(D))) | 116925 | 138940313 | o2(x,o2(x,o1(x))) | true | 95407 | 95407 | 0.3924 | 0.7859 | 0.3924 | 0.1497 | 0.3869 | 0 | 1 | 1 | 1 | 3.261 | 0.01537 | 0.005589 | 0.07096 | 0.4666 | 1 | 0.0001727 | 0.0482 | 0.06616 | 0.01592 | 0.1262 | 1.778 | 1.409 | 0.14 | 0.322 | 1 | 1 | 0.02164 | 0.1342 | 0.2776 | 0.1446 | 0.8964 | 1.854 | json |
| t17_x22_u6_b69 | 17 | 22 | 6 | 69 | ![]() |
lrg(R,div(D,nrm(D))) | 116926 | 138940314 | o2(x,o2(x,o1(x))) | true | 95415 | 95415 | 0.2942 | 0.4919 | 0.2942 | 0.1378 | 0.3712 | 0 | 0.9999 | 0.9999 | 1 | 2.759 | 0.01306 | 0.01301 | 0.0671 | 0.001717 | 1 | 0.0003325 | 0.07136 | 0.08022 | 0.02157 | 0.1469 | 2.189 | 1.413 | 0.1892 | 0.5179 | 1 | 1 | 0.02904 | 0.1515 | 0.2556 | 0.2108 | 1.1 | 1.855 | json |
| t17_x22_u6_b70 | 17 | 22 | 6 | 70 | ![]() |
lrg(R,pow(D,nrm(D))) | 116927 | 138940315 | o2(x,o2(x,o1(x))) | true | 95423 | 95423 | 0.6394 | 1 | 0.6394 | 0.1332 | 0.365 | 0.000291 | 1 | 0.9997 | 1 | 3.327 | 0.05594 | 0.00779 | 0.1183 | 0.7555 | 1 | -0.00005099 | 0.15 | 0.1455 | 0.04973 | 0.223 | 1.885 | 1.414 | 0.4783 | 1.126 | 1 | 1 | 0.06396 | 0.2088 | 0.1248 | 0.48 | 1.567 | 0.9366 | json |
| t17_x22_u6_b71 | 17 | 22 | 6 | 71 | ![]() |
lrg(R,mod(D,nrm(D))) | 116928 | 138940316 | o2(x,o2(x,o1(x))) | true | 95431 | 95431 | 0.4991 | 0.934 | 0.4991 | 0.1467 | 0.383 | 0 | 1 | 1 | 1 | 3.526 | 0.02022 | 0.002129 | 0.08108 | 0.8095 | 1 | 0.00001181 | 0.03822 | 0.07149 | 0.01577 | 0.1256 | 1.549 | 0.9997 | 0.1523 | 0.2606 | 1 | 1 | 0.02458 | 0.1401 | 0.271 | 0.1676 | 0.9554 | 1.848 | json |
| t17_x22_u6_b72 | 17 | 22 | 6 | 72 | ![]() |
lrg(R,lrg(D,nrm(D))) | 116929 | 138940317 | o2(x,o2(x,o1(x))) | true | 95439 | 95439 | 0.2432 | 0.6757 | 0.2432 | 0.1091 | 0.3303 | 0 | 1 | 1 | 1 | 2.795 | 0.02742 | 0.001193 | 0.07066 | 0.9166 | 1 | -0.000001593 | 0.05108 | 0.06832 | 0.02363 | 0.1537 | 2.175 | 1 | 0.2623 | 0.4681 | 1 | 1 | 0.03095 | 0.1419 | 0.1423 | 0.2837 | 1.301 | 1.305 | json |
| t17_x22_u6_b73 | 17 | 22 | 6 | 73 | ![]() |
lrg(R,eql(D,nrm(D))) | 116930 | 138940318 | o2(x,o2(x,o1(x))) | true | 95447 | 95447 | 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_x22_u6_b74 | 17 | 22 | 6 | 74 | ![]() |
lrg(R,min(D,nrm(D))) | 116931 | 138940319 | o2(x,o2(x,o1(x))) | true | 95455 | 95455 | 0.5915 | 0.97 | 0.5915 | 0.1302 | 0.3608 | 0 | 1 | 1 | 1 | 3.572 | 0.03049 | 0.01292 | 0.1048 | 0.4049 | 1 | -0.00008328 | 0.1195 | 0.1204 | 0.03243 | 0.1801 | 1.719 | 1.413 | 0.3334 | 0.9178 | 1 | 1 | 0.04798 | 0.1748 | 0.2063 | 0.3685 | 1.342 | 1.585 | json |
| t17_x22_u6_b75 | 17 | 22 | 6 | 75 | ![]() |
lrg(R,dot(D,nrm(D))) | 116932 | 138940320 | o2(x,o2(x,o1(x))) | true | 95463 | 95463 | 0.2942 | 0.4919 | 0.2942 | 0.1378 | 0.3712 | 0 | 0.9999 | 0.9999 | 1 | 2.759 | 0.01306 | 0.01301 | 0.0671 | 0.001717 | 1 | 0.0003325 | 0.07136 | 0.08022 | 0.02157 | 0.1469 | 2.189 | 1.413 | 0.1892 | 0.5179 | 1 | 1 | 0.02904 | 0.1515 | 0.2556 | 0.2108 | 1.1 | 1.855 | json |
| t17_x22_u6_b76 | 17 | 22 | 6 | 76 | ![]() |
lrg(R,dst(D,nrm(D))) | 116933 | 138940321 | o2(x,o2(x,o1(x))) | true | 95471 | 95471 | 0.242 | 0.8146 | 0.242 | 0.1003 | 0.3167 | 0 | 1 | 1 | 1 | 2.92 | 0.01351 | 0.01339 | 0.07505 | 0.004239 | 1 | -0.000311 | 0.07783 | 0.0852 | 0.02127 | 0.1458 | 1.943 | 1.413 | 0.2683 | 0.7761 | 1 | 1 | 0.0301 | 0.1159 | 0.1943 | 0.3001 | 1.155 | 1.937 | json |
| t17_x22_u6_b77 | 17 | 22 | 6 | 77 | ![]() |
eql(R,add(D,nrm(D))) | 116934 | 138940322 | o2(x,o2(x,o1(x))) | true | 95479 | 95479 | 0.00003797 | 0.0001068 | 0.00003797 | 0.0000222 | 0.004712 | 0 | 0.7977 | 0.7977 | 1 | 0.001772 | 0.00004582 | 0.00004582 | 0.0001338 | 0 | 0 | 0 | 0.0004582 | 0.0003135 | 0.00009163 | 0.009572 | 71.54 | 1.128 | 4.128 | 20.64 | 1 | 1 | 0.000004971 | 0.000004971 | 0.00002388 | 0.2239 | 0.2239 | 1.076 | json |
| t17_x22_u6_b78 | 17 | 22 | 6 | 78 | ![]() |
eql(R,sub(D,nrm(D))) | 116935 | 138940323 | o2(x,o2(x,o1(x))) | true | 95487 | 95487 | 0.0001089 | 0.0004883 | 0.0001089 | 0.00004724 | 0.006873 | 0 | 0.8352 | 0.8352 | 1 | 0.005367 | 0.00006953 | 0.00005793 | 0.0002957 | 0.09096 | 1 | 0.000007927 | 0.0006934 | 0.00073 | 0.0001273 | 0.01128 | 38.15 | 1.181 | 2.698 | 14.68 | 1 | 1 | 0.00004311 | 0.0000403 | 0.00004657 | 0.9127 | 0.8532 | 0.9858 | json |
| t17_x22_u6_b79 | 17 | 22 | 6 | 79 | ![]() |
eql(R,mlt(D,nrm(D))) | 116936 | 138940324 | o2(x,o2(x,o1(x))) | true | 95495 | 95495 | 0.00005811 | 0.0003357 | 0.00005811 | 0.00003713 | 0.006093 | 0 | 0.7742 | 0.7742 | 1 | 0.001885 | 0.00007664 | 0.00003855 | 0.000167 | 0.3307 | 1 | -5.162e-12 | 0.0004616 | 0.000373 | 0.0001151 | 0.01073 | 64.25 | 1.095 | 3.103 | 12.43 | 1 | 1 | 0.00000198 | 0.000001951 | 0.000001922 | 0.05333 | 0.05255 | 0.05176 | json |
| t17_x22_u6_b80 | 17 | 22 | 6 | 80 | ![]() |
eql(R,div(D,nrm(D))) | 116937 | 138940325 | o2(x,o2(x,o1(x))) | true | 95503 | 95503 | 0.0001031 | 0.0001831 | 0.0001031 | 0.00006479 | 0.008049 | 0 | 0.741 | 0.741 | 1 | 0.002828 | 0.0001204 | 0.0001338 | 0.0003428 | -0.05263 | 1 | -0.00002053 | 0.001324 | 0.0008307 | 0.0002539 | 0.01594 | 46.49 | 1.048 | 3.923 | 20.44 | 1 | 1 | 0.0001217 | 0.0001217 | 0.0001266 | 1.878 | 1.878 | 1.953 | json |
| t17_x22_u6_b81 | 17 | 22 | 6 | 81 | ![]() |
eql(R,pow(D,nrm(D))) | 116938 | 138940326 | o2(x,o2(x,o1(x))) | true | 95511 | 95511 | 0.00001202 | 0.0001831 | 0.00001202 | 0.000001952 | 0.001397 | 0 | 0.2239 | 0.2239 | 1 | 0.001444 | 0.000004029 | 0.000004029 | 0.00004235 | 0 | 0 | 0 | 0.00004029 | 0.00009923 | 0.000008055 | 0.002838 | 67.02 | 0.3167 | 4.129 | 20.64 | 1 | 1 | 5.611e-7 | 5.611e-7 | 8.032e-7 | 0.2874 | 0.2874 | 0.4115 | json |
| t17_x22_u6_b82 | 17 | 22 | 6 | 82 | ![]() |
eql(R,mod(D,nrm(D))) | 116939 | 138940327 | o2(x,o2(x,o1(x))) | true | 95519 | 95519 | 0.00003989 | 0.0001984 | 0.00003989 | 0.00001031 | 0.00321 | 0 | 0.3282 | 0.3282 | 1 | 0.002722 | 0.00001454 | 1.558e-7 | 0.0000628 | 0.9788 | 0 | 1.17e-7 | 0.00004409 | 0.0001241 | 0.00001469 | 0.003832 | 61.02 | 0.3186 | 1.426 | 4.278 | 1 | 1 | 0 | 0 | 0.000007864 | 0 | 0 | 0.7631 | json |
| t17_x22_u6_b83 | 17 | 22 | 6 | 83 | ![]() |
eql(R,lrg(D,nrm(D))) | 116940 | 138940328 | o2(x,o2(x,o1(x))) | true | 95527 | 95527 | 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_x22_u6_b84 | 17 | 22 | 6 | 84 | ![]() |
eql(R,eql(D,nrm(D))) | 116941 | 138940329 | o2(x,o2(x,o1(x))) | true | 95535 | 95535 | 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_x22_u6_b85 | 17 | 22 | 6 | 85 | ![]() |
eql(R,min(D,nrm(D))) | 116942 | 138940330 | o2(x,o2(x,o1(x))) | true | 95543 | 95543 | 0.0001028 | 0.0003662 | 0.0001028 | 0.00006656 | 0.008158 | 0 | 0.9926 | 0.9926 | 1 | 0.003869 | 0.0001374 | 0.0001362 | 0.000356 | 0.004459 | 1 | 1.877e-12 | 0.001364 | 0.0008309 | 0.0002734 | 0.01653 | 46.45 | 1.404 | 4.111 | 20.5 | 1 | 1 | 0.0002308 | 0.0002308 | 0.0002023 | 3.468 | 3.468 | 3.04 | json |
| t17_x22_u6_b86 | 17 | 22 | 6 | 86 | ![]() |
eql(R,dot(D,nrm(D))) | 116943 | 138940331 | o2(x,o2(x,o1(x))) | true | 95551 | 95551 | 0.0001031 | 0.0001831 | 0.0001031 | 0.00006479 | 0.008049 | 0 | 0.741 | 0.741 | 1 | 0.002828 | 0.0001204 | 0.0001338 | 0.0003428 | -0.05263 | 1 | -0.00002053 | 0.001324 | 0.0008307 | 0.0002539 | 0.01594 | 46.49 | 1.048 | 3.923 | 20.44 | 1 | 1 | 0.0001217 | 0.0001217 | 0.0001266 | 1.878 | 1.878 | 1.953 | json |
| t17_x22_u6_b87 | 17 | 22 | 6 | 87 | ![]() |
eql(R,dst(D,nrm(D))) | 116944 | 138940332 | o2(x,o2(x,o1(x))) | true | 95559 | 95559 | 0.0001048 | 0.0003662 | 0.0001048 | 0.00008915 | 0.009442 | 0 | 0.8547 | 0.8547 | 1 | 0.001763 | 0.0001841 | 0.0001841 | 0.0003692 | 0 | 1 | 0 | 0.001841 | 0.000865 | 0.0003679 | 0.01918 | 51.95 | 1.209 | 4.129 | 20.64 | 1 | 1 | 0.0001417 | 0.0001214 | 0.0001012 | 1.589 | 1.362 | 1.135 | json |
| t17_x22_u6_b88 | 17 | 22 | 6 | 88 | ![]() |
min(R,add(D,nrm(D))) | 116945 | 138940333 | o2(x,o2(x,o1(x))) | true | 95567 | 95567 | -0.4857 | 0.1514 | 0.5733 | 0.1808 | 0.4253 | -1 | 0.9603 | 1.96 | 1 | 4.393 | 0.02314 | 0.004422 | 0.1191 | 0.6791 | 1 | 0.0002564 | 0.0235 | 0.05929 | 0.01338 | 0.1157 | 0.9712 | 1.527 | 0.1524 | 0.1299 | 1 | 1 | 0.04641 | 0.2845 | 0.1679 | 0.2567 | 1.573 | 0.9285 | json |
| t17_x22_u6_b89 | 17 | 22 | 6 | 89 | ![]() |
min(R,sub(D,nrm(D))) | 116946 | 138940334 | o2(x,o2(x,o1(x))) | true | 95575 | 95575 | -0.2959 | 0.1833 | 0.3776 | 0.1111 | 0.3333 | -0.9989 | 0.8479 | 1.847 | 1 | 4.406 | 0.01166 | 0.004452 | 0.08257 | 0.4474 | 1 | -0.00007857 | 0.01839 | 0.03838 | 0.009296 | 0.09642 | 1.168 | 1.409 | 0.1451 | 0.1656 | 1 | 1 | 0.0252 | 0.1459 | 0.1366 | 0.2269 | 1.314 | 1.23 | json |
| t17_x22_u6_b90 | 17 | 22 | 6 | 90 | ![]() |
min(R,mlt(D,nrm(D))) | 116947 | 138940335 | o2(x,o2(x,o1(x))) | true | 95583 | 95583 | -0.1639 | 0.388 | 0.2687 | 0.1016 | 0.3187 | -0.9989 | 0.4953 | 1.494 | 1 | 4.266 | 0.001963 | 0.001515 | 0.0501 | 0.1288 | 1 | -0.0001844 | 0.0004177 | 0.01551 | 0.0009675 | 0.0311 | 0.6208 | 0.1552 | 0.03424 | 0.004112 | 1 | 1 | 0.006551 | 0.07058 | 0.1623 | 0.0645 | 0.695 | 1.598 | json |
| t17_x22_u6_b91 | 17 | 22 | 6 | 91 | ![]() |
min(R,div(D,nrm(D))) | 116948 | 138940336 | o2(x,o2(x,o1(x))) | true | 95591 | 95591 | -0.08822 | 0.4799 | 0.3042 | 0.1327 | 0.3643 | -0.9989 | 0.6098 | 1.609 | 1 | 4.444 | 0.001892 | 0.002145 | 0.05384 | -0.06277 | 1 | -0.0002091 | 0.0004556 | 0.01577 | 0.001138 | 0.03374 | 0.6267 | 0.1757 | 0.03041 | 0.003432 | 1 | 1 | 0.007763 | 0.08736 | 0.2215 | 0.05848 | 0.6581 | 1.669 | json |
| t17_x22_u6_b92 | 17 | 22 | 6 | 92 | ![]() |
min(R,pow(D,nrm(D))) | 116949 | 138940337 | o2(x,o2(x,o1(x))) | true | 95599 | 95599 | -0.03298 | 0.4898 | 0.3566 | 0.1833 | 0.4281 | -0.9989 | 0.9805 | 1.979 | 1 | 4.765 | 0.004429 | 0.003026 | 0.06542 | 0.1883 | 1 | -0.00000902 | 0.004722 | 0.02364 | 0.003175 | 0.05635 | 0.8614 | 0.8836 | 0.04068 | 0.02577 | 1 | 1 | 0.01279 | 0.1303 | 0.3164 | 0.0698 | 0.711 | 1.727 | json |
| t17_x22_u6_b93 | 17 | 22 | 6 | 93 | ![]() |
min(R,mod(D,nrm(D))) | 116950 | 138940338 | o2(x,o2(x,o1(x))) | true | 95607 | 95607 | -0.2799 | 0.1668 | 0.3078 | 0.07403 | 0.2721 | -0.9989 | 0.1581 | 1.157 | 1 | 4.044 | 0.001777 | 0.001007 | 0.04538 | 0.2764 | 1 | 0.00001762 | 0.0003385 | 0.01406 | 0.0007247 | 0.02692 | 0.5933 | 0.1565 | 0.0376 | 0.004573 | 1 | 1 | 0.005178 | 0.05817 | 0.1186 | 0.06995 | 0.7858 | 1.602 | json |
| t17_x22_u6_b94 | 17 | 22 | 6 | 94 | ![]() |
min(R,lrg(D,nrm(D))) | 116951 | 138940339 | o2(x,o2(x,o1(x))) | true | 95615 | 95615 | -0.1235 | 0.3294 | 0.3171 | 0.1513 | 0.3889 | -0.9989 | 0.9805 | 1.979 | 1 | 4.593 | 0.01139 | 0.002052 | 0.06592 | 0.6947 | 1 | 0.00001671 | 0.01897 | 0.04275 | 0.009097 | 0.09538 | 1.447 | 0.9695 | 0.08887 | 0.1254 | 1 | 1 | 0.01727 | 0.126 | 0.2462 | 0.1142 | 0.8328 | 1.628 | json |
| t17_x22_u6_b95 | 17 | 22 | 6 | 95 | ![]() |
min(R,eql(D,nrm(D))) | 116952 | 138940340 | o2(x,o2(x,o1(x))) | true | 95623 | 95623 | -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_x22_u6_b96 | 17 | 22 | 6 | 96 | ![]() |
min(R,min(D,nrm(D))) | 116953 | 138940341 | o2(x,o2(x,o1(x))) | true | 95631 | 95631 | -0.4165 | 0.1374 | 0.4375 | 0.0948 | 0.3079 | -0.999 | 0.1408 | 1.14 | 1 | 4.182 | 0.009098 | 0.003602 | 0.08122 | 0.4328 | 1 | -0.0000374 | 0.01031 | 0.04199 | 0.006104 | 0.07813 | 0.962 | 0.8358 | 0.134 | 0.1087 | 1 | 1 | 0.02146 | 0.1326 | 0.09673 | 0.2263 | 1.399 | 1.02 | json |
| t17_x22_u6_b97 | 17 | 22 | 6 | 97 | ![]() |
min(R,dot(D,nrm(D))) | 116954 | 138940342 | o2(x,o2(x,o1(x))) | true | 95639 | 95639 | -0.08822 | 0.4799 | 0.3042 | 0.1327 | 0.3643 | -0.9989 | 0.6098 | 1.609 | 1 | 4.444 | 0.001892 | 0.002145 | 0.05384 | -0.06277 | 1 | -0.0002091 | 0.0004556 | 0.01577 | 0.001138 | 0.03374 | 0.6267 | 0.1757 | 0.03041 | 0.003432 | 1 | 1 | 0.007763 | 0.08736 | 0.2215 | 0.05848 | 0.6581 | 1.669 | json |
| t17_x22_u6_b98 | 17 | 22 | 6 | 98 | ![]() |
min(R,dst(D,nrm(D))) | 116955 | 138940343 | o2(x,o2(x,o1(x))) | true | 95647 | 95647 | -0.05788 | 0.452 | 0.3603 | 0.1828 | 0.4275 | -0.9989 | 0.9552 | 1.954 | 1 | 4.757 | 0.00271 | 0.00305 | 0.06184 | -0.05899 | 1 | 0.0001614 | 0.0004425 | 0.01535 | 0.001936 | 0.044 | 0.7116 | 0.2152 | 0.03151 | 0.002421 | 1 | 1 | 0.01135 | 0.1392 | 0.318 | 0.06211 | 0.7616 | 1.74 | json |
| t17_x22_u6_b99 | 17 | 22 | 6 | 99 | ![]() |
dot(R,add(D,nrm(D))) | 116956 | 138940344 | o2(x,o2(x,o1(x))) | true | 95655 | 95655 | 0.01304 | 0.516 | 0.4932 | 0.3419 | 0.5847 | -1 | 1 | 2 | 1 | 4.906 | 0.01981 | 0.0196 | 0.1462 | 0.00541 | 1 | -0.0003573 | 0.0279 | 0.06103 | 0.01803 | 0.1343 | 0.9184 | 1.532 | 0.1153 | 0.08161 | 1 | 1 | 0.06906 | 0.5818 | 0.6814 | 0.202 | 1.702 | 1.993 | json |
| t17_x22_u6_b100 | 17 | 22 | 6 | 100 | ![]() |
dot(R,sub(D,nrm(D))) | 116957 | 138940345 | o2(x,o2(x,o1(x))) | true | 95663 | 95663 | -0.005218 | 0.4867 | 0.2361 | 0.09401 | 0.3066 | -1 | 1 | 2 | 1 | 4.323 | 0.0111 | 0.01095 | 0.09643 | 0.006882 | 1 | 0.0001236 | 0.02584 | 0.0423 | 0.01276 | 0.1129 | 1.171 | 1.486 | 0.2346 | 0.2748 | 1 | 1 | 0.03481 | 0.1889 | 0.1795 | 0.3702 | 2.009 | 1.91 | json |
| t17_x22_u6_b101 | 17 | 22 | 6 | 101 | ![]() |
dot(R,mlt(D,nrm(D))) | 116958 | 138940346 | o2(x,o2(x,o1(x))) | true | 95671 | 95671 | 0.01028 | 0.5218 | 0.1235 | 0.02394 | 0.1547 | -0.4821 | 0.4661 | 0.9482 | 1 | 3.356 | 0.0009119 | 0.0008864 | 0.03662 | 0.01417 | 1 | -0.00002222 | 0.0003655 | 0.01438 | 0.0004576 | 0.02139 | 0.5842 | 0.1315 | 0.07511 | 0.01527 | 1 | 1 | 0.003311 | 0.02548 | 0.04425 | 0.1383 | 1.064 | 1.848 | json |
| t17_x22_u6_b102 | 17 | 22 | 6 | 102 | ![]() |
dot(R,div(D,nrm(D))) | 116959 | 138940347 | o2(x,o2(x,o1(x))) | true | 95679 | 95679 | 0.02057 | 0.5038 | 0.1984 | 0.06286 | 0.2507 | -0.8875 | 0.8358 | 1.723 | 1 | 4.042 | 0.001211 | 0.001241 | 0.04249 | -0.012 | 1 | 0.00004383 | 0.0003883 | 0.01409 | 0.0006466 | 0.02543 | 0.5984 | 0.1478 | 0.03901 | 0.006177 | 1 | 1 | 0.00463 | 0.0427 | 0.116 | 0.07366 | 0.6792 | 1.845 | json |
| t17_x22_u6_b103 | 17 | 22 | 6 | 103 | ![]() |
dot(R,pow(D,nrm(D))) | 116960 | 138940348 | o2(x,o2(x,o1(x))) | true | 95687 | 95687 | -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_x22_u6_b104 | 17 | 22 | 6 | 104 | ![]() |
dot(R,mod(D,nrm(D))) | 116961 | 138940349 | o2(x,o2(x,o1(x))) | true | 95695 | 95695 | 0.004162 | 0.5189 | 0.1403 | 0.03118 | 0.1766 | -0.5259 | 0.5965 | 1.122 | 1 | 3.548 | 0.001038 | 0.001048 | 0.04128 | -0.004799 | 1 | -0.0001206 | 0.0002912 | 0.01303 | 0.0003814 | 0.01953 | 0.4731 | 0.1342 | 0.06689 | 0.009341 | 1 | 1 | 0.004007 | 0.04523 | 0.06346 | 0.1285 | 1.451 | 2.035 | json |
| t17_x22_u6_b105 | 17 | 22 | 6 | 105 | ![]() |
dot(R,lrg(D,nrm(D))) | 116962 | 138940350 | o2(x,o2(x,o1(x))) | true | 95703 | 95703 | 0.01335 | 0.4982 | 0.3393 | 0.1922 | 0.4384 | -1 | 1 | 2 | 1 | 4.739 | 0.01765 | 0.01734 | 0.1056 | 0.008794 | 1 | 0.000008424 | 0.06075 | 0.1108 | 0.02384 | 0.1544 | 1.462 | 1.341 | 0.182 | 0.3161 | 1 | 1 | 0.0403 | 0.2214 | 0.3618 | 0.2097 | 1.152 | 1.882 | json |
| t17_x22_u6_b106 | 17 | 22 | 6 | 106 | ![]() |
dot(R,eql(D,nrm(D))) | 116963 | 138940351 | o2(x,o2(x,o1(x))) | true | 95711 | 95711 | -0.02962 | 0.4693 | 0.3744 | 0.1997 | 0.4469 | -0.9967 | 0.9893 | 1.986 | 1 | 4.818 | 0.003 | 0.00287 | 0.06261 | 0.02222 | 1 | -0.00003178 | 0.0003527 | 0.01452 | 0.001951 | 0.04417 | 0.7055 | 0.2258 | 0.02939 | 0.001766 | 1 | 1 | 0.01331 | 0.1712 | 0.4269 | 0.06664 | 0.857 | 2.137 | json |
| t17_x22_u6_b107 | 17 | 22 | 6 | 107 | ![]() |
dot(R,min(D,nrm(D))) | 116964 | 138940352 | o2(x,o2(x,o1(x))) | true | 95719 | 95719 | -0.001404 | 0.5126 | 0.2718 | 0.12 | 0.3464 | -1 | 1 | 2 | 1 | 4.5 | 0.006752 | 0.006744 | 0.08697 | 0.0006249 | 1 | -0.0001576 | 0.009669 | 0.03847 | 0.005932 | 0.07702 | 0.8856 | 0.9904 | 0.1125 | 0.08058 | 1 | 1 | 0.02346 | 0.186 | 0.2321 | 0.1955 | 1.55 | 1.934 | json |
| t17_x22_u6_b108 | 17 | 22 | 6 | 108 | ![]() |
dot(R,dot(D,nrm(D))) | 116965 | 138940353 | o2(x,o2(x,o1(x))) | true | 95727 | 95727 | 0.007448 | 0.5155 | 0.2359 | 0.09285 | 0.3047 | -1 | 1 | 2 | 1 | 4.317 | 0.001823 | 0.001857 | 0.05148 | -0.009183 | 1 | 0.00007775 | 0.0005888 | 0.01706 | 0.00103 | 0.03209 | 0.6233 | 0.1928 | 0.03963 | 0.006342 | 1 | 1 | 0.007667 | 0.0718 | 0.1801 | 0.08258 | 0.7732 | 1.939 | json |
| t17_x22_u6_b109 | 17 | 22 | 6 | 109 | ![]() |
dot(R,dst(D,nrm(D))) | 116966 | 138940354 | o2(x,o2(x,o1(x))) | true | 95735 | 95735 | 0.005946 | 0.5113 | 0.3603 | 0.215 | 0.4637 | -1 | 1 | 2 | 1 | 4.733 | 0.004222 | 0.004419 | 0.07392 | -0.02277 | 1 | 0.00001972 | 0.001292 | 0.01931 | 0.003177 | 0.05636 | 0.7624 | 0.3523 | 0.04019 | 0.006007 | 1 | 1 | 0.01805 | 0.2062 | 0.4104 | 0.08394 | 0.9591 | 1.909 | json |
| t17_x22_u6_b110 | 17 | 22 | 6 | 110 | ![]() |
dst(R,add(D,nrm(D))) | 116967 | 138940355 | o2(x,o2(x,o1(x))) | true | 95743 | 95743 | 0.9865 | 1 | 0.9865 | 0.004387 | 0.06624 | 0.06225 | 1 | 0.9378 | 1 | 0.4507 | 0.001823 | 0.001749 | 0.01407 | 0.02078 | 1 | -0.00006185 | 0.008445 | 0.01822 | 0.003375 | 0.05809 | 4.128 | 1.242 | 0.8142 | 1.925 | 1 | 1 | 0.004223 | 0.008321 | 0.007662 | 0.9625 | 1.896 | 1.746 | json |
| t17_x22_u6_b111 | 17 | 22 | 6 | 111 | ![]() |
dst(R,sub(D,nrm(D))) | 116968 | 138940356 | o2(x,o2(x,o1(x))) | true | 95751 | 95751 | 0.9222 | 1 | 0.9222 | 0.02024 | 0.1423 | 0.05643 | 1 | 0.9436 | 1 | 1.766 | 0.00232 | 0.00234 | 0.03168 | -0.004217 | 1 | -0.00002194 | 0.007714 | 0.02432 | 0.003657 | 0.06048 | 1.909 | 1.334 | 0.2302 | 0.381 | 1 | 1 | 0.006442 | 0.03172 | 0.03594 | 0.3182 | 1.567 | 1.776 | json |
| t17_x22_u6_b112 | 17 | 22 | 6 | 112 | ![]() |
dst(R,mlt(D,nrm(D))) | 116969 | 138940357 | o2(x,o2(x,o1(x))) | true | 95759 | 95759 | 0.9156 | 1 | 0.9156 | 0.01891 | 0.1375 | 0.07619 | 1 | 0.9238 | 1 | 1.912 | 0.0006052 | 0.0006848 | 0.02115 | -0.06169 | 1 | -0.00006469 | 0.0004309 | 0.01076 | 0.0008423 | 0.02902 | 1.372 | 0.1731 | 0.06823 | 0.02279 | 1 | 1 | 0.002241 | 0.01796 | 0.03062 | 0.1185 | 0.9499 | 1.62 | json |
| t17_x22_u6_b113 | 17 | 22 | 6 | 113 | ![]() |
dst(R,div(D,nrm(D))) | 116970 | 138940358 | o2(x,o2(x,o1(x))) | true | 95767 | 95767 | 0.9337 | 1 | 0.9337 | 0.01668 | 0.1292 | 0.06625 | 1 | 0.9337 | 1 | 1.609 | 0.0006566 | 0.0007426 | 0.01895 | -0.06142 | 1 | -0.0001583 | 0.0005593 | 0.01065 | 0.00104 | 0.03225 | 1.702 | 0.206 | 0.08387 | 0.03353 | 1 | 1 | 0.002441 | 0.01859 | 0.02857 | 0.1463 | 1.114 | 1.713 | json |
| t17_x22_u6_b114 | 17 | 22 | 6 | 114 | ![]() |
dst(R,pow(D,nrm(D))) | 116971 | 138940359 | o2(x,o2(x,o1(x))) | true | 95775 | 95775 | -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_x22_u6_b115 | 17 | 22 | 6 | 115 | ![]() |
dst(R,mod(D,nrm(D))) | 116972 | 138940360 | o2(x,o2(x,o1(x))) | true | 95783 | 95783 | 0.9177 | 1 | 0.9177 | 0.01986 | 0.1409 | 0.07175 | 1 | 0.9282 | 1 | 1.865 | 0.0006899 | 0.0007691 | 0.02216 | -0.05431 | 1 | -0.00003516 | 0.000456 | 0.0105 | 0.0009682 | 0.03112 | 1.404 | 0.186 | 0.07348 | 0.02297 | 1 | 1 | 0.00255 | 0.02343 | 0.0344 | 0.1284 | 1.18 | 1.732 | json |
| t17_x22_u6_b116 | 17 | 22 | 6 | 116 | ![]() |
dst(R,lrg(D,nrm(D))) | 116973 | 138940361 | o2(x,o2(x,o1(x))) | true | 95791 | 95791 | 0.9592 | 1 | 0.9592 | 0.01124 | 0.106 | 0.1001 | 1 | 0.8999 | 1 | 1.116 | 0.002 | 0.002097 | 0.01958 | -0.02392 | 1 | -0.00004526 | 0.007791 | 0.02559 | 0.003713 | 0.06093 | 3.112 | 0.9105 | 0.3644 | 0.6929 | 1 | 1 | 0.004299 | 0.01718 | 0.02022 | 0.3824 | 1.528 | 1.798 | json |
| t17_x22_u6_b117 | 17 | 22 | 6 | 117 | ![]() |
dst(R,eql(D,nrm(D))) | 116974 | 138940362 | o2(x,o2(x,o1(x))) | true | 95799 | 95799 | 0.9684 | 1 | 0.9684 | 0.009182 | 0.09582 | 0.2103 | 1 | 0.7897 | 1 | 0.9061 | 0.0002907 | 0.0002713 | 0.007968 | 0.03453 | 1 | -0.00004516 | 0.0002037 | 0.004353 | 0.0004984 | 0.02232 | 2.802 | 0.1992 | 0.0612 | 0.02219 | 1 | 1 | 0.0009074 | 0.007818 | 0.01255 | 0.09882 | 0.8515 | 1.367 | json |
| t17_x22_u6_b118 | 17 | 22 | 6 | 118 | ![]() |
dst(R,min(D,nrm(D))) | 116975 | 138940363 | o2(x,o2(x,o1(x))) | true | 95807 | 95807 | 0.9437 | 1 | 0.9437 | 0.0148 | 0.1217 | 0.06159 | 1 | 0.9384 | 1 | 1.428 | 0.00156 | 0.001562 | 0.02415 | -0.0006299 | 1 | 0.0000123 | 0.004172 | 0.0197 | 0.002537 | 0.05037 | 2.086 | 0.8841 | 0.2109 | 0.2819 | 1 | 1 | 0.004423 | 0.02371 | 0.02664 | 0.2988 | 1.602 | 1.8 | json |
| t17_x22_u6_b119 | 17 | 22 | 6 | 119 | ![]() |
dst(R,dot(D,nrm(D))) | 116976 | 138940364 | o2(x,o2(x,o1(x))) | true | 95815 | 95815 | 0.9515 | 1 | 0.9515 | 0.01228 | 0.1108 | 0.02947 | 1 | 0.9705 | 1 | 1.301 | 0.0007328 | 0.0007497 | 0.0173 | -0.01137 | 1 | -0.0002024 | 0.00076 | 0.01158 | 0.001183 | 0.03439 | 1.989 | 0.2467 | 0.1208 | 0.06191 | 1 | 1 | 0.002606 | 0.01735 | 0.02119 | 0.2122 | 1.413 | 1.726 | json |
| t17_x22_u6_b120 | 17 | 22 | 6 | 120 | ![]() |
dst(R,dst(D,nrm(D))) | 116977 | 138940365 | o2(x,o2(x,o1(x))) | true | 95823 | 95823 | 0.9527 | 1 | 0.9527 | 0.01629 | 0.1276 | 0.08773 | 1 | 0.9123 | 1 | 1.164 | 0.0006899 | 0.0007871 | 0.0154 | -0.06576 | 1 | 0.00002737 | 0.0006575 | 0.009841 | 0.00124 | 0.03521 | 2.286 | 0.2822 | 0.09065 | 0.04035 | 1 | 1 | 0.003412 | 0.02461 | 0.03702 | 0.2094 | 1.51 | 2.272 | json |
| t17_x23_u0_b0 | 17 | 23 | 0 | 0 | ![]() |
add(R,add(D,sqt(R))) | 116978 | 138979440 | o2(x,o2(x,o1(x))) | true | 95831 | 95831 | -0.9162 | 0.04297 | 0.9978 | 0.1568 | 0.396 | -1 | 1 | 2 | 1 | 0.3099 | 0.01598 | 0.01558 | 0.01657 | 0.01263 | 1 | -0.000004317 | 0.066 | 0.03259 | 0.03127 | 0.1768 | 10.67 | 2.828 | 0.2013 | 0.421 | 1 | 1 | 0.02467 | 0.1064 | 0.2652 | 0.1573 | 0.6787 | 1.691 | json |
| t17_x23_u0_b1 | 17 | 23 | 0 | 1 | ![]() |
add(R,sub(D,sqt(R))) | 116979 | 138979441 | o2(x,o2(x,o1(x))) | true | 95839 | 95839 | -0.9639 | 0.00383 | 0.9642 | 0.02955 | 0.1719 | -1 | 0.1172 | 1.117 | 1 | 0.3796 | 0.002999 | 0.002946 | 0.008272 | 0.00892 | 1 | -0.000007196 | 0.01234 | 0.01442 | 0.005872 | 0.07663 | 9.263 | 1.28 | 0.2012 | 0.4176 | 1 | 1 | 0.004604 | 0.01997 | 0.04939 | 0.1558 | 0.676 | 1.672 | json |
| t17_x23_u0_b2 | 17 | 23 | 0 | 2 | ![]() |
add(R,mlt(D,sqt(R))) | 116980 | 138979442 | o2(x,o2(x,o1(x))) | true | 95847 | 95847 | -0.9328 | 0.04297 | 0.9812 | 0.1024 | 0.32 | -1 | 1 | 2 | 1 | 0.4171 | 0.01035 | 0.01038 | 0.01444 | -0.001556 | 1 | 0.000002789 | 0.04324 | 0.02632 | 0.02051 | 0.1432 | 9.919 | 2.599 | 0.2024 | 0.4223 | 1 | 1 | 0.01646 | 0.07103 | 0.1715 | 0.1608 | 0.6938 | 1.675 | json |
| t17_x23_u0_b3 | 17 | 23 | 0 | 3 | ![]() |
add(R,div(D,sqt(R))) | 116981 | 138979443 | o2(x,o2(x,o1(x))) | true | 95855 | 95855 | -0.9325 | 0.0415 | 0.9822 | 0.1045 | 0.3233 | -1 | 1 | 2 | 1 | 0.4247 | 0.01047 | 0.01072 | 0.0155 | -0.01214 | 1 | -0.000009369 | 0.04395 | 0.02696 | 0.02095 | 0.1448 | 9.339 | 2.593 | 0.2027 | 0.4204 | 1 | 1 | 0.01694 | 0.07407 | 0.1804 | 0.162 | 0.7085 | 1.726 | json |
| t17_x23_u0_b4 | 17 | 23 | 0 | 4 | ![]() |
add(R,pow(D,sqt(R))) | 116982 | 138979444 | o2(x,o2(x,o1(x))) | true | 95863 | 95863 | -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_x23_u0_b5 | 17 | 23 | 0 | 5 | ![]() |
add(R,mod(D,sqt(R))) | 116983 | 138979445 | o2(x,o2(x,o1(x))) | true | 95871 | 95871 | -0.9328 | 0.04263 | 0.9813 | 0.1029 | 0.3207 | -1 | 1 | 2 | 1 | 0.4227 | 0.01047 | 0.01034 | 0.01511 | 0.00659 | 1 | -0.000003597 | 0.04337 | 0.02708 | 0.02059 | 0.1435 | 9.499 | 2.596 | 0.2023 | 0.4216 | 1 | 1 | 0.01649 | 0.07099 | 0.1726 | 0.1603 | 0.6901 | 1.678 | json |
| t17_x23_u0_b6 | 17 | 23 | 0 | 6 | ![]() |
add(R,lrg(D,sqt(R))) | 116984 | 138979446 | o2(x,o2(x,o1(x))) | true | 95879 | 95879 | 0.5501 | 1 | 0.5501 | 0.05231 | 0.2287 | 0.001084 | 1 | 0.9989 | 1 | 3.83 | 0.003993 | 0.0007169 | 0.0382 | 0.6956 | 1 | 0.00001831 | 0.006937 | 0.02155 | 0.003251 | 0.05702 | 1.493 | 0.9966 | 0.09005 | 0.1326 | 1 | 1 | 0.005184 | 0.03884 | 0.08819 | 0.09912 | 0.7426 | 1.686 | json |
| t17_x23_u0_b7 | 17 | 23 | 0 | 7 | ![]() |
add(R,eql(D,sqt(R))) | 116985 | 138979447 | o2(x,o2(x,o1(x))) | true | 95887 | 95887 | 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_x23_u0_b8 | 17 | 23 | 0 | 8 | ![]() |
add(R,min(D,sqt(R))) | 116986 | 138979448 | o2(x,o2(x,o1(x))) | true | 95895 | 95895 | 0.005233 | 0.4947 | 0.4019 | 0.231 | 0.4806 | -1 | 1 | 2 | 1 | 4.9 | 0.004542 | 0.003147 | 0.07572 | 0.1814 | 1 | 0.00003771 | 0.0006437 | 0.01961 | 0.001955 | 0.04422 | 0.584 | 0.2845 | 0.03329 | 0.002786 | 1 | 1 | 0.01515 | 0.1749 | 0.392 | 0.0656 | 0.7572 | 1.697 | json |
| t17_x23_u0_b9 | 17 | 23 | 0 | 9 | ![]() |
add(R,dot(D,sqt(R))) | 116987 | 138979449 | o2(x,o2(x,o1(x))) | true | 95903 | 95903 | -0.9935 | 0.003906 | 0.9987 | 0.01109 | 0.1053 | -1 | 1 | 2 | 1 | 0.05053 | 0.001431 | 0.001385 | 0.001843 | 0.0164 | 1 | 0 | 0.005929 | 0.003381 | 0.00281 | 0.05301 | 28.76 | 1.954 | 0.2539 | 0.5347 | 1 | 1 | 0.004996 | 0.02052 | 0.03897 | 0.4505 | 1.851 | 3.514 | json |
| t17_x23_u0_b10 | 17 | 23 | 0 | 10 | ![]() |
add(R,dst(D,sqt(R))) | 116988 | 138979450 | o2(x,o2(x,o1(x))) | true | 95911 | 95911 | -0.9922 | 0.003906 | 1 | 0.01556 | 0.1248 | -1 | 1 | 2 | 1 | 0.03687 | 0.002016 | 0.002016 | 0.001997 | 0 | 1 | 0 | 0.008566 | 0.004031 | 0.004024 | 0.06344 | 31.76 | 2.828 | 0.259 | 0.5504 | 1 | 1 | 0.007091 | 0.02837 | 0.05496 | 0.4556 | 1.823 | 3.531 | json |
| t17_x23_u0_b11 | 17 | 23 | 0 | 11 | ![]() |
sub(R,add(D,sqt(R))) | 116989 | 138979451 | o2(x,o2(x,o1(x))) | true | 95919 | 95919 | -0.9639 | 0.004684 | 0.9643 | 0.02959 | 0.172 | -1 | 0.1161 | 1.116 | 1 | 0.3805 | 0.003028 | 0.002946 | 0.008313 | 0.01367 | 1 | 0.00001289 | 0.01235 | 0.01445 | 0.005908 | 0.07686 | 9.246 | 1.367 | 0.2019 | 0.4173 | 1 | 1 | 0.004689 | 0.02058 | 0.04973 | 0.1585 | 0.6958 | 1.681 | json |
| t17_x23_u0_b12 | 17 | 23 | 0 | 12 | ![]() |
sub(R,sub(D,sqt(R))) | 116990 | 138979452 | o2(x,o2(x,o1(x))) | true | 95927 | 95927 | -0.9163 | 0.04297 | 0.9978 | 0.1568 | 0.396 | -1 | 1 | 2 | 1 | 0.3061 | 0.01602 | 0.01557 | 0.01658 | 0.01408 | 1 | 0.000003867 | 0.06603 | 0.0326 | 0.03131 | 0.1769 | 10.67 | 2.828 | 0.2015 | 0.421 | 1 | 1 | 0.02474 | 0.1069 | 0.264 | 0.1578 | 0.6816 | 1.684 | json |
| t17_x23_u0_b13 | 17 | 23 | 0 | 13 | ![]() |
sub(R,mlt(D,sqt(R))) | 116991 | 138979453 | o2(x,o2(x,o1(x))) | true | 95935 | 95935 | -0.9327 | 0.04297 | 0.9814 | 0.103 | 0.321 | -1 | 1 | 2 | 1 | 0.4165 | 0.01039 | 0.0104 | 0.01451 | -0.0003288 | 1 | 0.0000174 | 0.04327 | 0.02641 | 0.02057 | 0.1434 | 9.88 | 2.681 | 0.2018 | 0.42 | 1 | 1 | 0.01662 | 0.07279 | 0.1761 | 0.1613 | 0.7064 | 1.709 | json |
| t17_x23_u0_b14 | 17 | 23 | 0 | 14 | ![]() |
sub(R,div(D,sqt(R))) | 116992 | 138979454 | o2(x,o2(x,o1(x))) | true | 95943 | 95943 | -0.933 | 0.04068 | 0.9822 | 0.1037 | 0.322 | -1 | 1 | 2 | 1 | 0.4287 | 0.01056 | 0.01032 | 0.01528 | 0.01148 | 1 | 0.00002776 | 0.0432 | 0.02662 | 0.02065 | 0.1437 | 9.404 | 2.687 | 0.2014 | 0.4168 | 1 | 1 | 0.0167 | 0.07261 | 0.1717 | 0.1611 | 0.7005 | 1.656 | json |
| t17_x23_u0_b15 | 17 | 23 | 0 | 15 | ![]() |
sub(R,pow(D,sqt(R))) | 116993 | 138979455 | o2(x,o2(x,o1(x))) | true | 95951 | 95951 | -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_x23_u0_b16 | 17 | 23 | 0 | 16 | ![]() |
sub(R,mod(D,sqt(R))) | 116994 | 138979456 | o2(x,o2(x,o1(x))) | true | 95959 | 95959 | -0.9327 | 0.04211 | 0.9814 | 0.1033 | 0.3214 | -1 | 1 | 2 | 1 | 0.4215 | 0.01053 | 0.0105 | 0.01519 | 0.001485 | 1 | 0.00002567 | 0.04368 | 0.02725 | 0.02081 | 0.1443 | 9.5 | 2.684 | 0.2036 | 0.4228 | 1 | 1 | 0.01689 | 0.07389 | 0.1762 | 0.1634 | 0.7151 | 1.705 | json |
| t17_x23_u0_b17 | 17 | 23 | 0 | 17 | ![]() |
sub(R,lrg(D,sqt(R))) | 116995 | 138979457 | o2(x,o2(x,o1(x))) | true | 95967 | 95967 | -0.372 | 0.3432 | 0.6737 | 0.4284 | 0.6546 | -1 | 0.9804 | 1.98 | 1 | 3.859 | 0.009926 | 0.008077 | 0.08784 | 0.1027 | 1 | 0.0001578 | 0.008484 | 0.037 | 0.01029 | 0.1014 | 1.155 | 1.002 | 0.04202 | 0.0198 | 1 | 1 | 0.03213 | 0.3442 | 0.815 | 0.07499 | 0.8034 | 1.902 | json |
| t17_x23_u0_b18 | 17 | 23 | 0 | 18 | ![]() |
sub(R,eql(D,sqt(R))) | 116996 | 138979458 | o2(x,o2(x,o1(x))) | true | 95975 | 95975 | 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_x23_u0_b19 | 17 | 23 | 0 | 19 | ![]() |
sub(R,min(D,sqt(R))) | 116997 | 138979459 | o2(x,o2(x,o1(x))) | true | 95983 | 95983 | 0.013 | 0.5024 | 0.4004 | 0.2291 | 0.4786 | -1 | 1 | 2 | 1 | 4.895 | 0.00445 | 0.00319 | 0.07512 | 0.165 | 1 | 0.00002259 | 0.0006355 | 0.01938 | 0.001996 | 0.04468 | 0.5948 | 0.2561 | 0.03335 | 0.002774 | 1 | 1 | 0.01492 | 0.1728 | 0.3898 | 0.06512 | 0.7543 | 1.701 | json |
| t17_x23_u0_b20 | 17 | 23 | 0 | 20 | ![]() |
sub(R,dot(D,sqt(R))) | 116998 | 138979460 | o2(x,o2(x,o1(x))) | true | 95991 | 95991 | -0.9938 | 0.003906 | 0.9984 | 0.009813 | 0.09906 | -1 | 0.9578 | 1.958 | 1 | 0.04807 | 0.001275 | 0.001345 | 0.001735 | -0.02649 | 1 | -7.509e-12 | 0.005592 | 0.003268 | 0.002614 | 0.05113 | 29.47 | 1.989 | 0.267 | 0.5699 | 1 | 1 | 0.004595 | 0.01794 | 0.03442 | 0.4683 | 1.829 | 3.508 | json |
| t17_x23_u0_b21 | 17 | 23 | 0 | 21 | ![]() |
sub(R,dst(D,sqt(R))) | 116999 | 138979461 | o2(x,o2(x,o1(x))) | true | 95999 | 95999 | -0.9989 | 0 | 0.9989 | 0.0004066 | 0.02016 | -1 | -0.4542 | 0.5458 | 1 | 0.04729 | 0.00006021 | 0.00006084 | 0.0004518 | -0.005141 | 1 | -1.126e-11 | 0.0002461 | 0.0006796 | 0.0001207 | 0.01099 | 24.31 | 0.5069 | 0.2977 | 0.6052 | 1 | 1 | 0.0002247 | 0.000865 | 0.001412 | 0.5526 | 2.127 | 3.474 | json |



































































































