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_x20_u6_b37 | 17 | 20 | 6 | 37 | ![]() |
div(R,pow(P,nrm(R))) | 115200 | 138859480 | o2(x,o2(x,o1(x))) | true | 81607 | 81607 | -0.6869 | 0.1555 | 0.7591 | 0.2301 | 0.4797 | -1 | 0.9432 | 1.943 | 1 | 2.588 | 0.007013 | 0.003056 | 0.03446 | 0.393 | 1 | 0.00005965 | 0.01349 | 0.02011 | 0.008881 | 0.09424 | 2.735 | 2.097 | 0.04376 | 0.0586 | 1 | 1 | 0.01429 | 0.1025 | 0.2809 | 0.06212 | 0.4453 | 1.221 | json |
| t17_x20_u6_b38 | 17 | 20 | 6 | 38 | ![]() |
div(R,mod(P,nrm(R))) | 115201 | 138859481 | o2(x,o2(x,o1(x))) | true | 81615 | 81615 | -0.1682 | 0.4167 | 0.9077 | 0.8462 | 0.9199 | -1 | 1 | 2 | 1 | 2.384 | 0.04488 | 0.0346 | 0.105 | 0.1293 | 1 | -0.00006337 | 0.09533 | 0.09565 | 0.06846 | 0.2616 | 2.493 | 2.055 | 0.09392 | 0.1127 | 1 | 1 | 0.1179 | 0.7203 | 1.6 | 0.1393 | 0.8512 | 1.891 | json |
| t17_x20_u6_b39 | 17 | 20 | 6 | 39 | ![]() |
div(R,lrg(P,nrm(R))) | 115202 | 138859482 | o2(x,o2(x,o1(x))) | true | 81623 | 81623 | -0.5521 | 0.2093 | 0.7173 | 0.3323 | 0.5765 | -1 | 0.9806 | 1.981 | 1 | 3.203 | 0.005341 | 0.001961 | 0.03349 | 0.463 | 1 | 0.000005562 | 0.009453 | 0.0147 | 0.006182 | 0.07862 | 2.347 | 2.097 | 0.02197 | 0.02844 | 1 | 1 | 0.01098 | 0.09044 | 0.2843 | 0.03304 | 0.2721 | 0.8554 | json |
| t17_x20_u6_b40 | 17 | 20 | 6 | 40 | ![]() |
div(R,eql(P,nrm(R))) | 115203 | 138859483 | o2(x,o2(x,o1(x))) | true | 81631 | 81631 | -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_x20_u6_b41 | 17 | 20 | 6 | 41 | ![]() |
div(R,min(P,nrm(R))) | 115204 | 138859484 | o2(x,o2(x,o1(x))) | true | 81639 | 81639 | 0.3683 | 0.6957 | 0.5625 | 0.3525 | 0.5937 | -1 | 1 | 2 | 1 | 3.806 | 0.01491 | 0.00787 | 0.02929 | 0.309 | 1 | -0.000006917 | 0.0455 | 0.02908 | 0.02192 | 0.1481 | 5.054 | 2.828 | 0.06461 | 0.1291 | 1 | 1 | 0.03608 | 0.156 | 0.4341 | 0.1024 | 0.4426 | 1.231 | json |
| t17_x20_u6_b42 | 17 | 20 | 6 | 42 | ![]() |
div(R,dot(P,nrm(R))) | 115205 | 138859485 | o2(x,o2(x,o1(x))) | true | 81647 | 81647 | -0.01889 | 0.4947 | 0.2994 | 0.1812 | 0.4257 | -1 | 1 | 2 | 1 | 4.278 | 0.006382 | 0.005053 | 0.04043 | 0.1162 | 1 | -0.000009452 | 0.01452 | 0.02107 | 0.009801 | 0.099 | 2.449 | 2.828 | 0.0631 | 0.08014 | 1 | 1 | 0.02434 | 0.1669 | 0.4126 | 0.1343 | 0.9208 | 2.277 | json |
| t17_x20_u6_b43 | 17 | 20 | 6 | 43 | ![]() |
div(R,dst(P,nrm(R))) | 115206 | 138859486 | o2(x,o2(x,o1(x))) | true | 81655 | 81655 | 0.01173 | 0.4991 | 0.08201 | 0.01423 | 0.1193 | -0.6142 | 0.8291 | 1.443 | 1 | 2.775 | 0.0002406 | 0.0002084 | 0.01379 | 0.07171 | 1 | 0.000001795 | 0.00002835 | 0.003194 | 0.0002589 | 0.01609 | 1.167 | 0.1687 | 0.03155 | 0.001992 | 1 | 1 | 0.001408 | 0.01824 | 0.03796 | 0.0989 | 1.281 | 2.668 | json |
| t17_x20_u6_b44 | 17 | 20 | 6 | 44 | ![]() |
pow(R,add(P,nrm(R))) | 115207 | 138859487 | o2(x,o2(x,o1(x))) | true | 81663 | 81663 | -0.9194 | 0.04297 | 0.9947 | 0.1477 | 0.3843 | -1 | 1 | 2 | 1 | 0.3257 | 0.0158 | 0.01426 | 0.01582 | 0.05134 | 1 | 0.000001713 | 0.06286 | 0.03135 | 0.02981 | 0.1726 | 10.91 | 2.828 | 0.2035 | 0.4256 | 1 | 1 | 0.02509 | 0.107 | 0.2602 | 0.1699 | 0.7246 | 1.762 | json |
| t17_x20_u6_b45 | 17 | 20 | 6 | 45 | ![]() |
pow(R,sub(P,nrm(R))) | 115208 | 138859488 | o2(x,o2(x,o1(x))) | true | 81671 | 81671 | -0.9173 | 0.04297 | 0.9968 | 0.1548 | 0.3935 | -1 | 1 | 2 | 1 | 0.2857 | 0.01609 | 0.0152 | 0.01599 | 0.02851 | 1 | 0.000001975 | 0.0654 | 0.03201 | 0.03103 | 0.1762 | 11.02 | 2.828 | 0.2021 | 0.4224 | 1 | 1 | 0.02543 | 0.1095 | 0.267 | 0.1642 | 0.7072 | 1.724 | json |
| t17_x20_u6_b46 | 17 | 20 | 6 | 46 | ![]() |
pow(R,mlt(P,nrm(R))) | 115209 | 138859489 | o2(x,o2(x,o1(x))) | true | 81679 | 81679 | -0.8566 | 0.07422 | 0.995 | 0.259 | 0.5089 | -1 | 1 | 2 | 1 | 0.4802 | 0.02323 | 0.02278 | 0.02397 | 0.009846 | 1 | 0.000002403 | 0.09594 | 0.04745 | 0.04541 | 0.2131 | 8.891 | 2.828 | 0.1776 | 0.3704 | 1 | 1 | 0.04497 | 0.1879 | 0.6188 | 0.1736 | 0.7255 | 2.389 | json |
| t17_x20_u6_b47 | 17 | 20 | 6 | 47 | ![]() |
pow(R,div(P,nrm(R))) | 115210 | 138859490 | o2(x,o2(x,o1(x))) | true | 81687 | 81687 | -0.8669 | 0.07016 | 0.9925 | 0.2383 | 0.4881 | -1 | 1 | 2 | 1 | 0.4833 | 0.02241 | 0.02214 | 0.0238 | 0.006135 | 1 | 0.000001273 | 0.09287 | 0.04658 | 0.04398 | 0.2097 | 8.813 | 2.828 | 0.187 | 0.3897 | 1 | 1 | 0.04349 | 0.1825 | 0.5463 | 0.1825 | 0.7659 | 2.293 | json |
| t17_x20_u6_b48 | 17 | 20 | 6 | 48 | ![]() |
pow(R,pow(P,nrm(R))) | 115211 | 138859491 | o2(x,o2(x,o1(x))) | true | 81695 | 81695 | -0.9876 | 0.007813 | 0.9968 | 0.02043 | 0.1429 | -1 | 1 | 2 | 1 | 0.09511 | 0.002086 | 0.002512 | 0.002889 | -0.09267 | 1 | 0.000002735 | 0.0097 | 0.005471 | 0.00459 | 0.06775 | 23.45 | 2.64 | 0.2251 | 0.4748 | 1 | 1 | 0.0007549 | 0.005342 | 0.01816 | 0.03695 | 0.2615 | 0.8891 | json |
| t17_x20_u6_b49 | 17 | 20 | 6 | 49 | ![]() |
pow(R,mod(P,nrm(R))) | 115212 | 138859492 | o2(x,o2(x,o1(x))) | true | 81703 | 81703 | -0.8532 | 0.07422 | 0.9984 | 0.2692 | 0.5188 | -1 | 1 | 2 | 1 | 0.4355 | 0.0242 | 0.02399 | 0.02447 | 0.004541 | 1 | 0.000001008 | 0.1005 | 0.0488 | 0.04756 | 0.2181 | 8.911 | 2.828 | 0.179 | 0.3736 | 1 | 1 | 0.04581 | 0.1912 | 0.6326 | 0.1702 | 0.7105 | 2.35 | json |
| t17_x20_u6_b50 | 17 | 20 | 6 | 50 | ![]() |
pow(R,lrg(P,nrm(R))) | 115213 | 138859493 | o2(x,o2(x,o1(x))) | true | 81711 | 81711 | -0.08012 | 0.4609 | 0.998 | 0.9909 | 0.9955 | -1 | 1 | 2 | 1 | 1.063 | 0.01614 | 0.008945 | 0.01301 | 0.2867 | 1 | 0.000002697 | 0.05197 | 0.02581 | 0.0249 | 0.1578 | 12.13 | 2.828 | 0.02531 | 0.05245 | 1 | 1 | 0.03067 | 0.125 | 0.4555 | 0.03095 | 0.1262 | 0.4596 | json |
| t17_x20_u6_b51 | 17 | 20 | 6 | 51 | ![]() |
pow(R,eql(P,nrm(R))) | 115214 | 138859494 | o2(x,o2(x,o1(x))) | true | 81719 | 81719 | 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_x20_u6_b52 | 17 | 20 | 6 | 52 | ![]() |
pow(R,min(P,nrm(R))) | 115215 | 138859495 | o2(x,o2(x,o1(x))) | true | 81727 | 81727 | -0.9155 | 0.04297 | 0.9985 | 0.1594 | 0.3993 | -1 | 1 | 2 | 1 | 0.2967 | 0.01631 | 0.01571 | 0.01632 | 0.01859 | 1 | 0.00000186 | 0.06691 | 0.0326 | 0.03174 | 0.1782 | 10.92 | 2.828 | 0.2009 | 0.4197 | 1 | 1 | 0.0253 | 0.1087 | 0.2709 | 0.1587 | 0.682 | 1.7 | json |
| t17_x20_u6_b53 | 17 | 20 | 6 | 53 | ![]() |
pow(R,dot(P,nrm(R))) | 115216 | 138859496 | o2(x,o2(x,o1(x))) | true | 81735 | 81735 | -0.9182 | 0.04297 | 0.9958 | 0.1512 | 0.3889 | -1 | 1 | 2 | 1 | 0.315 | 0.01575 | 0.01436 | 0.01604 | 0.04599 | 1 | 9.876e-7 | 0.06283 | 0.03161 | 0.02985 | 0.1728 | 10.77 | 2.828 | 0.1991 | 0.4155 | 1 | 1 | 0.0245 | 0.1057 | 0.2624 | 0.162 | 0.6992 | 1.735 | json |
| t17_x20_u6_b54 | 17 | 20 | 6 | 54 | ![]() |
pow(R,dst(P,nrm(R))) | 115217 | 138859497 | o2(x,o2(x,o1(x))) | true | 81743 | 81743 | -0.9496 | 0.04259 | 0.9644 | 0.0578 | 0.2404 | -1 | 0.7752 | 1.775 | 1 | 0.3791 | 0.006035 | 0.005691 | 0.0106 | 0.02931 | 1 | 0.000004774 | 0.02445 | 0.01965 | 0.01162 | 0.1078 | 10.17 | 1.992 | 0.2029 | 0.423 | 1 | 1 | 0.009772 | 0.04266 | 0.1049 | 0.1691 | 0.738 | 1.815 | json |
| t17_x20_u6_b55 | 17 | 20 | 6 | 55 | ![]() |
mod(R,add(P,nrm(R))) | 115218 | 138859498 | o2(x,o2(x,o1(x))) | true | 81751 | 81751 | 0.007864 | 0.4968 | 0.3712 | 0.2007 | 0.448 | -0.9989 | 0.9806 | 1.979 | 1 | 4.82 | 0.002495 | 0.002857 | 0.05964 | -0.06752 | 1 | 0.00004221 | 0.0003122 | 0.01363 | 0.001796 | 0.04237 | 0.7105 | 0.2301 | 0.02667 | 0.001556 | 1 | 1 | 0.01061 | 0.1362 | 0.3468 | 0.05286 | 0.6786 | 1.728 | json |
| t17_x20_u6_b56 | 17 | 20 | 6 | 56 | ![]() |
mod(R,sub(P,nrm(R))) | 115219 | 138859499 | o2(x,o2(x,o1(x))) | true | 81759 | 81759 | 0.006361 | 0.4948 | 0.3643 | 0.1958 | 0.4425 | -0.9987 | 0.9806 | 1.979 | 1 | 4.806 | 0.002466 | 0.002801 | 0.05882 | -0.06371 | 1 | 0.00004291 | 0.0003092 | 0.01349 | 0.001807 | 0.04251 | 0.7228 | 0.2301 | 0.0269 | 0.001579 | 1 | 1 | 0.01026 | 0.1318 | 0.3414 | 0.0524 | 0.673 | 1.743 | json |
| t17_x20_u6_b57 | 17 | 20 | 6 | 57 | ![]() |
mod(R,mlt(P,nrm(R))) | 115220 | 138859500 | o2(x,o2(x,o1(x))) | true | 81767 | 81767 | -0.1293 | 0.4269 | 0.4518 | 0.287 | 0.5357 | -1 | 0.9806 | 1.981 | 1 | 4.736 | 0.01142 | 0.002597 | 0.06081 | 0.6296 | 1 | 0.00006107 | 0.01877 | 0.02871 | 0.01032 | 0.1016 | 1.671 | 1.683 | 0.04886 | 0.06539 | 1 | 1 | 0.02087 | 0.1621 | 0.4701 | 0.07274 | 0.5648 | 1.638 | json |
| t17_x20_u6_b58 | 17 | 20 | 6 | 58 | ![]() |
mod(R,div(P,nrm(R))) | 115221 | 138859501 | o2(x,o2(x,o1(x))) | true | 81775 | 81775 | -0.12 | 0.4324 | 0.4674 | 0.3015 | 0.5491 | -1 | 0.9806 | 1.981 | 1 | 4.761 | 0.01585 | 0.002792 | 0.06406 | 0.7005 | 1 | 0.00004824 | 0.0275 | 0.03166 | 0.01454 | 0.1206 | 1.882 | 1.943 | 0.06184 | 0.09123 | 1 | 1 | 0.02584 | 0.1831 | 0.5035 | 0.0857 | 0.6074 | 1.67 | json |
| t17_x20_u6_b59 | 17 | 20 | 6 | 59 | ![]() |
mod(R,pow(P,nrm(R))) | 115222 | 138859502 | o2(x,o2(x,o1(x))) | true | 81783 | 81783 | -0.5155 | 0.2308 | 0.6873 | 0.3544 | 0.5953 | -1 | 0.9809 | 1.981 | 1 | 2.906 | 0.008059 | 0.0007714 | 0.02609 | 0.8253 | 1 | -0.000001156 | 0.01467 | 0.01488 | 0.008148 | 0.09027 | 3.46 | 1.943 | 0.02492 | 0.04139 | 1 | 1 | 0.01174 | 0.07278 | 0.2074 | 0.03314 | 0.2054 | 0.5854 | json |
| t17_x20_u6_b60 | 17 | 20 | 6 | 60 | ![]() |
mod(R,mod(P,nrm(R))) | 115223 | 138859503 | o2(x,o2(x,o1(x))) | true | 81791 | 81791 | -0.1425 | 0.399 | 0.2266 | 0.128 | 0.3577 | -1 | 0.7338 | 1.734 | 1 | 3.468 | 0.008901 | 0.0003324 | 0.02575 | 0.928 | 1 | 0.00001411 | 0.01725 | 0.02036 | 0.008571 | 0.09258 | 3.595 | 1.391 | 0.07215 | 0.1348 | 1 | 1 | 0.01225 | 0.05829 | 0.2024 | 0.09575 | 0.4555 | 1.582 | json |
| t17_x20_u6_b61 | 17 | 20 | 6 | 61 | ![]() |
mod(R,lrg(P,nrm(R))) | 115224 | 138859504 | o2(x,o2(x,o1(x))) | true | 81799 | 81799 | -0.5521 | 0.2093 | 0.7173 | 0.3323 | 0.5765 | -1 | 0.9806 | 1.981 | 1 | 3.203 | 0.005341 | 0.001961 | 0.03349 | 0.463 | 1 | 0.000005562 | 0.009453 | 0.0147 | 0.006182 | 0.07862 | 2.347 | 2.097 | 0.02197 | 0.02844 | 1 | 1 | 0.01098 | 0.09044 | 0.2843 | 0.03304 | 0.2721 | 0.8554 | json |
| t17_x20_u6_b62 | 17 | 20 | 6 | 62 | ![]() |
mod(R,eql(P,nrm(R))) | 115225 | 138859505 | o2(x,o2(x,o1(x))) | true | 81807 | 81807 | -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_x20_u6_b63 | 17 | 20 | 6 | 63 | ![]() |
mod(R,min(P,nrm(R))) | 115226 | 138859506 | o2(x,o2(x,o1(x))) | true | 81815 | 81815 | -0.08352 | 0.4316 | 0.3453 | 0.2029 | 0.4505 | -1 | 0.9693 | 1.969 | 1 | 4.594 | 0.00866 | 0.003465 | 0.05045 | 0.4285 | 1 | 0.000008674 | 0.01771 | 0.02378 | 0.00958 | 0.09788 | 1.94 | 1.898 | 0.05975 | 0.08729 | 1 | 1 | 0.01866 | 0.1334 | 0.3661 | 0.09195 | 0.6572 | 1.804 | json |
| t17_x20_u6_b64 | 17 | 20 | 6 | 64 | ![]() |
mod(R,dot(P,nrm(R))) | 115227 | 138859507 | o2(x,o2(x,o1(x))) | true | 81823 | 81823 | -0.008779 | 0.4845 | 0.3814 | 0.2169 | 0.4658 | -1 | 0.9806 | 1.981 | 1 | 4.848 | 0.004077 | 0.004676 | 0.06217 | -0.06841 | 1 | 0.00002592 | 0.007269 | 0.01848 | 0.004888 | 0.06991 | 1.125 | 2.097 | 0.04035 | 0.03351 | 1 | 1 | 0.01589 | 0.1509 | 0.4088 | 0.07322 | 0.6957 | 1.884 | json |
| t17_x20_u6_b65 | 17 | 20 | 6 | 65 | ![]() |
mod(R,dst(P,nrm(R))) | 115228 | 138859508 | o2(x,o2(x,o1(x))) | true | 81831 | 81831 | 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_x20_u6_b66 | 17 | 20 | 6 | 66 | ![]() |
lrg(R,add(P,nrm(R))) | 115229 | 138859509 | o2(x,o2(x,o1(x))) | true | 81839 | 81839 | 0.4902 | 0.5302 | 0.4902 | 0.2414 | 0.4913 | 0 | 1 | 1 | 1 | 1.402 | 0.0003287 | 0.00008778 | 0.004813 | 0.5785 | 1 | 0.000005704 | 0.00002148 | 0.001143 | 0.0003932 | 0.01983 | 4.12 | 0.1169 | 0.001725 | 0.00008898 | 1 | 1 | 0.001058 | 0.01391 | 0.08478 | 0.004383 | 0.05761 | 0.3512 | json |
| t17_x20_u6_b67 | 17 | 20 | 6 | 67 | ![]() |
lrg(R,sub(P,nrm(R))) | 115230 | 138859510 | o2(x,o2(x,o1(x))) | true | 81847 | 81847 | 0.5078 | 0.6045 | 0.5078 | 0.2314 | 0.4811 | 0 | 1 | 1 | 1 | 1.758 | 0.0004801 | 0.0003957 | 0.01031 | 0.09629 | 1 | -0.00002852 | 0.00004973 | 0.002483 | 0.0007697 | 0.02774 | 2.69 | 0.1169 | 0.003784 | 0.0002149 | 1 | 1 | 0.002168 | 0.02807 | 0.1081 | 0.009368 | 0.1213 | 0.4671 | json |
| t17_x20_u6_b68 | 17 | 20 | 6 | 68 | ![]() |
lrg(R,mlt(P,nrm(R))) | 115231 | 138859511 | o2(x,o2(x,o1(x))) | true | 81855 | 81855 | 0.5391 | 0.9414 | 0.5391 | 0.1536 | 0.3919 | 0 | 1 | 1 | 1 | 3.408 | 0.001932 | 0.00243 | 0.05108 | -0.1142 | 1 | 0.00001355 | 0.0002557 | 0.01242 | 0.001753 | 0.04186 | 0.8196 | 0.1169 | 0.02839 | 0.001665 | 1 | 1 | 0.008466 | 0.109 | 0.3105 | 0.05512 | 0.71 | 2.022 | json |
| t17_x20_u6_b69 | 17 | 20 | 6 | 69 | ![]() |
lrg(R,div(P,nrm(R))) | 115232 | 138859512 | o2(x,o2(x,o1(x))) | true | 81863 | 81863 | 0.5215 | 0.9288 | 0.5215 | 0.1546 | 0.3932 | 0 | 1 | 1 | 1 | 3.414 | 0.001912 | 0.002433 | 0.05092 | -0.1198 | 1 | 0.00003066 | 0.0002568 | 0.0124 | 0.001753 | 0.04187 | 0.8222 | 0.1169 | 0.02811 | 0.001662 | 1 | 1 | 0.008497 | 0.1095 | 0.3067 | 0.05497 | 0.7083 | 1.984 | json |
| t17_x20_u6_b70 | 17 | 20 | 6 | 70 | ![]() |
lrg(R,pow(P,nrm(R))) | 115233 | 138859513 | o2(x,o2(x,o1(x))) | true | 81871 | 81871 | 0.4961 | 0.5378 | 0.4961 | 0.2412 | 0.4911 | 0 | 1 | 1 | 1 | 1.415 | 0.0003238 | 0.0001053 | 0.004981 | 0.5091 | 1 | -0.000005705 | 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_x20_u6_b71 | 17 | 20 | 6 | 71 | ![]() |
lrg(R,mod(P,nrm(R))) | 115234 | 138859514 | o2(x,o2(x,o1(x))) | true | 81879 | 81879 | 0.5098 | 0.9199 | 0.5098 | 0.1552 | 0.3939 | 0 | 1 | 1 | 1 | 3.412 | 0.001996 | 0.002314 | 0.0506 | -0.07392 | 1 | -0.00002708 | 0.0002589 | 0.01236 | 0.001751 | 0.04184 | 0.827 | 0.1169 | 0.02778 | 0.001668 | 1 | 1 | 0.008668 | 0.1118 | 0.2881 | 0.05586 | 0.7203 | 1.857 | json |
| t17_x20_u6_b72 | 17 | 20 | 6 | 72 | ![]() |
lrg(R,lrg(P,nrm(R))) | 115235 | 138859515 | o2(x,o2(x,o1(x))) | true | 81887 | 81887 | 0.2676 | 0.4921 | 0.2676 | 0.1474 | 0.3839 | 0 | 1 | 1 | 1 | 2.341 | 0.001052 | 0.001231 | 0.02666 | -0.0785 | 1 | 0.000006427 | 0.0001288 | 0.006434 | 0.001572 | 0.03965 | 1.487 | 0.1169 | 0.01549 | 0.000874 | 1 | 1 | 0.004654 | 0.05961 | 0.1835 | 0.03158 | 0.4044 | 1.245 | json |
| t17_x20_u6_b73 | 17 | 20 | 6 | 73 | ![]() |
lrg(R,eql(P,nrm(R))) | 115236 | 138859516 | o2(x,o2(x,o1(x))) | true | 81895 | 81895 | 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_x20_u6_b74 | 17 | 20 | 6 | 74 | ![]() |
lrg(R,min(P,nrm(R))) | 115237 | 138859517 | o2(x,o2(x,o1(x))) | true | 81903 | 81903 | 0.7881 | 0.9836 | 0.7881 | 0.1209 | 0.3477 | 0 | 1 | 1 | 1 | 2.157 | 0.001138 | 0.001048 | 0.02546 | 0.04121 | 1 | 0.00004777 | 0.0001213 | 0.006109 | 0.001537 | 0.03921 | 1.54 | 0.1169 | 0.01808 | 0.001004 | 1 | 1 | 0.004207 | 0.05507 | 0.1909 | 0.03481 | 0.4556 | 1.58 | json |
| t17_x20_u6_b75 | 17 | 20 | 6 | 75 | ![]() |
lrg(R,dot(P,nrm(R))) | 115238 | 138859518 | o2(x,o2(x,o1(x))) | true | 81911 | 81911 | 0.5469 | 0.9535 | 0.5469 | 0.1539 | 0.3923 | 0 | 1 | 1 | 1 | 3.385 | 0.00201 | 0.002362 | 0.05095 | -0.08055 | 1 | 0.00004563 | 0.0002525 | 0.01234 | 0.001775 | 0.04213 | 0.8269 | 0.1169 | 0.02841 | 0.001641 | 1 | 1 | 0.008638 | 0.1114 | 0.3269 | 0.05614 | 0.7242 | 2.125 | json |
| t17_x20_u6_b76 | 17 | 20 | 6 | 76 | ![]() |
lrg(R,dst(P,nrm(R))) | 115239 | 138859519 | o2(x,o2(x,o1(x))) | true | 81919 | 81919 | 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_x20_u6_b77 | 17 | 20 | 6 | 77 | ![]() |
eql(R,add(P,nrm(R))) | 115240 | 138859520 | o2(x,o2(x,o1(x))) | true | 81927 | 81927 | 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_x20_u6_b78 | 17 | 20 | 6 | 78 | ![]() |
eql(R,sub(P,nrm(R))) | 115241 | 138859521 | o2(x,o2(x,o1(x))) | true | 81935 | 81935 | 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_x20_u6_b79 | 17 | 20 | 6 | 79 | ![]() |
eql(R,mlt(P,nrm(R))) | 115242 | 138859522 | o2(x,o2(x,o1(x))) | true | 81943 | 81943 | 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_x20_u6_b80 | 17 | 20 | 6 | 80 | ![]() |
eql(R,div(P,nrm(R))) | 115243 | 138859523 | o2(x,o2(x,o1(x))) | true | 81951 | 81951 | 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_x20_u6_b81 | 17 | 20 | 6 | 81 | ![]() |
eql(R,pow(P,nrm(R))) | 115244 | 138859524 | o2(x,o2(x,o1(x))) | true | 81959 | 81959 | 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_x20_u6_b82 | 17 | 20 | 6 | 82 | ![]() |
eql(R,mod(P,nrm(R))) | 115245 | 138859525 | o2(x,o2(x,o1(x))) | true | 81967 | 81967 | 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_x20_u6_b83 | 17 | 20 | 6 | 83 | ![]() |
eql(R,lrg(P,nrm(R))) | 115246 | 138859526 | o2(x,o2(x,o1(x))) | true | 81975 | 81975 | 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_x20_u6_b84 | 17 | 20 | 6 | 84 | ![]() |
eql(R,eql(P,nrm(R))) | 115247 | 138859527 | o2(x,o2(x,o1(x))) | true | 81983 | 81983 | 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_x20_u6_b85 | 17 | 20 | 6 | 85 | ![]() |
eql(R,min(P,nrm(R))) | 115248 | 138859528 | o2(x,o2(x,o1(x))) | true | 81991 | 81991 | 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_x20_u6_b86 | 17 | 20 | 6 | 86 | ![]() |
eql(R,dot(P,nrm(R))) | 115249 | 138859529 | o2(x,o2(x,o1(x))) | true | 81999 | 81999 | 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_x20_u6_b87 | 17 | 20 | 6 | 87 | ![]() |
eql(R,dst(P,nrm(R))) | 115250 | 138859530 | o2(x,o2(x,o1(x))) | true | 82007 | 82007 | 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_x20_u6_b88 | 17 | 20 | 6 | 88 | ![]() |
min(R,add(P,nrm(R))) | 115251 | 138859531 | o2(x,o2(x,o1(x))) | true | 82015 | 82015 | -0.4729 | 0.2444 | 0.6636 | 0.3405 | 0.5835 | -1 | 0.9806 | 1.981 | 1 | 3.691 | 0.001955 | 0.001648 | 0.03732 | 0.08514 | 1 | -0.000002687 | 0.0002955 | 0.009229 | 0.002211 | 0.04702 | 1.26 | 0.2717 | 0.01058 | 0.0008678 | 1 | 1 | 0.00757 | 0.09601 | 0.304 | 0.02223 | 0.2819 | 0.8927 | json |
| t17_x20_u6_b89 | 17 | 20 | 6 | 89 | ![]() |
min(R,sub(P,nrm(R))) | 115252 | 138859532 | o2(x,o2(x,o1(x))) | true | 82023 | 82023 | -0.5216 | 0.2085 | 0.6701 | 0.3016 | 0.5492 | -1 | 0.9806 | 1.981 | 1 | 3.619 | 0.001442 | 0.001354 | 0.03246 | 0.03134 | 1 | 0.00001304 | 0.0002093 | 0.007992 | 0.001742 | 0.04174 | 1.286 | 0.219 | 0.00927 | 0.000694 | 1 | 1 | 0.005372 | 0.06884 | 0.2231 | 0.01781 | 0.2283 | 0.7396 | json |
| t17_x20_u6_b90 | 17 | 20 | 6 | 90 | ![]() |
min(R,mlt(P,nrm(R))) | 115253 | 138859533 | o2(x,o2(x,o1(x))) | true | 82031 | 82031 | -0.563 | 0.1567 | 0.6898 | 0.2666 | 0.5163 | -1 | 0.9792 | 1.979 | 1 | 3.716 | 0.004612 | 0.004955 | 0.0553 | -0.0359 | 1 | 0.000167 | 0.002736 | 0.02229 | 0.006506 | 0.08066 | 1.459 | 0.585 | 0.03588 | 0.01026 | 1 | 1 | 0.01552 | 0.1705 | 0.4135 | 0.05821 | 0.6394 | 1.551 | json |
| t17_x20_u6_b91 | 17 | 20 | 6 | 91 | ![]() |
min(R,div(P,nrm(R))) | 115254 | 138859534 | o2(x,o2(x,o1(x))) | true | 82039 | 82039 | -0.7527 | 0.0939 | 0.8369 | 0.2152 | 0.4639 | -1 | 0.9784 | 1.978 | 1 | 2.347 | 0.008781 | 0.009745 | 0.05217 | -0.05204 | 1 | 0.0003331 | 0.01444 | 0.03903 | 0.01581 | 0.1257 | 2.41 | 1.603 | 0.08608 | 0.06708 | 1 | 1 | 0.03002 | 0.2118 | 0.4173 | 0.1395 | 0.984 | 1.939 | json |
| t17_x20_u6_b92 | 17 | 20 | 6 | 92 | ![]() |
min(R,pow(P,nrm(R))) | 115255 | 138859535 | o2(x,o2(x,o1(x))) | true | 82047 | 82047 | -0.005276 | 0.4805 | 0.3857 | 0.2142 | 0.4628 | -0.9989 | 0.9806 | 1.979 | 1 | 4.852 | 0.0028 | 0.003069 | 0.06243 | -0.04583 | 1 | 0.00002809 | 0.000342 | 0.01428 | 0.001973 | 0.04442 | 0.7115 | 0.2301 | 0.0274 | 0.001597 | 1 | 1 | 0.01137 | 0.1459 | 0.366 | 0.05307 | 0.6813 | 1.709 | json |
| t17_x20_u6_b93 | 17 | 20 | 6 | 93 | ![]() |
min(R,mod(P,nrm(R))) | 115256 | 138859536 | o2(x,o2(x,o1(x))) | true | 82055 | 82055 | -0.2682 | 0.1706 | 0.3336 | 0.09344 | 0.3057 | -0.9989 | 0.6668 | 1.666 | 1 | 4.303 | 0.001053 | 0.001173 | 0.03772 | -0.05397 | 1 | 0.0000178 | 0.0001345 | 0.008767 | 0.0008037 | 0.02835 | 0.7516 | 0.1785 | 0.02383 | 0.00144 | 1 | 1 | 0.003998 | 0.05169 | 0.1391 | 0.04279 | 0.5532 | 1.489 | json |
| t17_x20_u6_b94 | 17 | 20 | 6 | 94 | ![]() |
min(R,lrg(P,nrm(R))) | 115257 | 138859537 | o2(x,o2(x,o1(x))) | true | 82063 | 82063 | -0.1361 | 0.2244 | 0.3105 | 0.1484 | 0.3852 | -0.9989 | 0.9806 | 1.979 | 1 | 4.449 | 0.001872 | 0.001879 | 0.04664 | -0.001932 | 1 | 0.00001726 | 0.0002226 | 0.01081 | 0.001576 | 0.0397 | 0.8513 | 0.219 | 0.02529 | 0.001501 | 1 | 1 | 0.007167 | 0.09264 | 0.2444 | 0.04831 | 0.6245 | 1.648 | json |
| t17_x20_u6_b95 | 17 | 20 | 6 | 95 | ![]() |
min(R,eql(P,nrm(R))) | 115258 | 138859538 | o2(x,o2(x,o1(x))) | true | 82071 | 82071 | -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_x20_u6_b96 | 17 | 20 | 6 | 96 | ![]() |
min(R,min(P,nrm(R))) | 115259 | 138859539 | o2(x,o2(x,o1(x))) | true | 82079 | 82079 | -0.5275 | 0.2084 | 0.6727 | 0.2995 | 0.5473 | -1 | 0.9228 | 1.923 | 1 | 3.57 | 0.001693 | 0.001406 | 0.03431 | 0.09258 | 1 | -0.0000112 | 0.000185 | 0.007999 | 0.001922 | 0.04384 | 1.278 | 0.2087 | 0.01035 | 0.0006178 | 1 | 1 | 0.006109 | 0.07946 | 0.2483 | 0.0204 | 0.2653 | 0.8289 | json |
| t17_x20_u6_b97 | 17 | 20 | 6 | 97 | ![]() |
min(R,dot(P,nrm(R))) | 115260 | 138859540 | o2(x,o2(x,o1(x))) | true | 82087 | 82087 | -0.6416 | 0.1473 | 0.7655 | 0.2747 | 0.5241 | -1 | 0.9797 | 1.98 | 1 | 3.088 | 0.005588 | 0.006288 | 0.05558 | -0.05894 | 1 | 0.0002604 | 0.004443 | 0.02722 | 0.008786 | 0.09374 | 1.687 | 0.6546 | 0.04323 | 0.01617 | 1 | 1 | 0.01968 | 0.1958 | 0.4787 | 0.07165 | 0.7128 | 1.743 | json |
| t17_x20_u6_b98 | 17 | 20 | 6 | 98 | ![]() |
min(R,dst(P,nrm(R))) | 115261 | 138859541 | o2(x,o2(x,o1(x))) | true | 82095 | 82095 | 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_x20_u6_b99 | 17 | 20 | 6 | 99 | ![]() |
dot(R,add(P,nrm(R))) | 115262 | 138859542 | o2(x,o2(x,o1(x))) | true | 82103 | 82103 | 0.1586 | 0.5841 | 0.8704 | 0.8016 | 0.8953 | -1 | 1 | 2 | 1 | 2.742 | 0.02299 | 0.03169 | 0.09729 | -0.1591 | 1 | -0.00001688 | 0.04234 | 0.07112 | 0.04524 | 0.2127 | 2.186 | 1.913 | 0.06821 | 0.05282 | 1 | 1 | 0.06712 | 0.5163 | 1.261 | 0.08374 | 0.6442 | 1.573 | json |
| t17_x20_u6_b100 | 17 | 20 | 6 | 100 | ![]() |
dot(R,sub(P,nrm(R))) | 115263 | 138859543 | o2(x,o2(x,o1(x))) | true | 82111 | 82111 | -0.3474 | 0.3175 | 0.867 | 0.7036 | 0.8388 | -1 | 1 | 2 | 1 | 2.641 | 0.02334 | 0.03083 | 0.09544 | -0.1382 | 1 | 0.0001113 | 0.04265 | 0.06998 | 0.04506 | 0.2123 | 2.224 | 1.91 | 0.07699 | 0.06062 | 1 | 1 | 0.06724 | 0.5219 | 1.242 | 0.09557 | 0.7418 | 1.765 | json |
| t17_x20_u6_b101 | 17 | 20 | 6 | 101 | ![]() |
dot(R,mlt(P,nrm(R))) | 115264 | 138859544 | o2(x,o2(x,o1(x))) | true | 82119 | 82119 | -0.03789 | 0.4805 | 0.8346 | 0.7828 | 0.8848 | -1 | 1 | 2 | 1 | 3.017 | 0.004463 | 0.005521 | 0.04037 | -0.1059 | 1 | 0.00003358 | 0.004296 | 0.02045 | 0.008352 | 0.09139 | 2.264 | 1.07 | 0.01275 | 0.005487 | 1 | 1 | 0.01385 | 0.1381 | 0.4581 | 0.01769 | 0.1764 | 0.5852 | json |
| t17_x20_u6_b102 | 17 | 20 | 6 | 102 | ![]() |
dot(R,div(P,nrm(R))) | 115265 | 138859545 | o2(x,o2(x,o1(x))) | true | 82127 | 82127 | -0.0008568 | 0.4994 | 0.93 | 0.9093 | 0.9536 | -1 | 1 | 2 | 1 | 2.011 | 0.0006749 | 0.000762 | 0.01244 | -0.06059 | 1 | 0.000003974 | 0.0002474 | 0.003853 | 0.001282 | 0.03581 | 2.88 | 0.2606 | 0.00158 | 0.0002721 | 1 | 1 | 0.003617 | 0.04277 | 0.3874 | 0.003977 | 0.04704 | 0.426 | json |
| t17_x20_u6_b103 | 17 | 20 | 6 | 103 | ![]() |
dot(R,pow(P,nrm(R))) | 115266 | 138859546 | o2(x,o2(x,o1(x))) | true | 82135 | 82135 | -0.9831 | 0.008575 | 0.9943 | 0.02659 | 0.1631 | -1 | 1 | 2 | 1 | 0.1364 | 0.002852 | 0.003225 | 0.004526 | -0.06135 | 1 | 9.011e-11 | 0.01246 | 0.007658 | 0.006056 | 0.07782 | 17.2 | 2.828 | 0.2285 | 0.4686 | 1 | 1 | 0.0006299 | 0.006494 | 0.02366 | 0.02368 | 0.2442 | 0.8897 | json |
| t17_x20_u6_b104 | 17 | 20 | 6 | 104 | ![]() |
dot(R,mod(P,nrm(R))) | 115267 | 138859547 | o2(x,o2(x,o1(x))) | true | 82143 | 82143 | -0.02475 | 0.4607 | 0.1887 | 0.0626 | 0.2502 | -0.9658 | 0.966 | 1.932 | 1 | 4.014 | 0.0007536 | 0.001008 | 0.03275 | -0.1444 | 1 | -0.00001239 | 0.0001038 | 0.007441 | 0.0006892 | 0.02625 | 0.8017 | 0.1863 | 0.02814 | 0.001659 | 1 | 1 | 0.00289 | 0.03723 | 0.1113 | 0.04616 | 0.5947 | 1.779 | json |
| t17_x20_u6_b105 | 17 | 20 | 6 | 105 | ![]() |
dot(R,lrg(P,nrm(R))) | 115268 | 138859548 | o2(x,o2(x,o1(x))) | true | 82151 | 82151 | -0.2734 | 0.223 | 0.4546 | 0.2395 | 0.4894 | -1 | 1 | 2 | 1 | 4.605 | 0.003777 | 0.003585 | 0.06274 | 0.02612 | 1 | 0.000004416 | 0.0007526 | 0.01586 | 0.003426 | 0.05853 | 0.9329 | 0.343 | 0.03074 | 0.003143 | 1 | 1 | 0.01464 | 0.1795 | 0.4564 | 0.06113 | 0.7494 | 1.906 | json |
| t17_x20_u6_b106 | 17 | 20 | 6 | 106 | ![]() |
dot(R,eql(P,nrm(R))) | 115269 | 138859549 | o2(x,o2(x,o1(x))) | true | 82159 | 82159 | 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_x20_u6_b107 | 17 | 20 | 6 | 107 | ![]() |
dot(R,min(P,nrm(R))) | 115270 | 138859550 | o2(x,o2(x,o1(x))) | true | 82167 | 82167 | 0.2379 | 0.6598 | 0.7877 | 0.6447 | 0.8029 | -1 | 1 | 2 | 1 | 3.685 | 0.01589 | 0.01986 | 0.08273 | -0.1111 | 1 | -0.00008395 | 0.02269 | 0.04827 | 0.0289 | 0.17 | 2.055 | 1.826 | 0.05544 | 0.03519 | 1 | 1 | 0.04865 | 0.3981 | 0.8847 | 0.07547 | 0.6175 | 1.372 | json |
| t17_x20_u6_b108 | 17 | 20 | 6 | 108 | ![]() |
dot(R,dot(P,nrm(R))) | 115271 | 138859551 | o2(x,o2(x,o1(x))) | true | 82175 | 82175 | 0.0308 | 0.5202 | 0.7719 | 0.7084 | 0.8416 | -1 | 1 | 2 | 1 | 3.406 | 0.01325 | 0.01247 | 0.0793 | 0.03052 | 1 | 0.00007996 | 0.01163 | 0.04219 | 0.01943 | 0.1394 | 1.758 | 1.258 | 0.0363 | 0.01642 | 1 | 1 | 0.04436 | 0.3801 | 0.8713 | 0.06263 | 0.5366 | 1.23 | json |
| t17_x20_u6_b109 | 17 | 20 | 6 | 109 | ![]() |
dot(R,dst(P,nrm(R))) | 115272 | 138859552 | o2(x,o2(x,o1(x))) | true | 82183 | 82183 | 0.01504 | 0.5111 | 0.8938 | 0.859 | 0.9268 | -1 | 1 | 2 | 1 | 2.479 | 0.03942 | 0.04115 | 0.1092 | -0.02146 | 1 | 0.00002255 | 0.0863 | 0.09997 | 0.06867 | 0.262 | 2.4 | 2.14 | 0.09379 | 0.1005 | 1 | 1 | 0.1055 | 0.6942 | 1.526 | 0.1228 | 0.8082 | 1.776 | json |
| t17_x20_u6_b110 | 17 | 20 | 6 | 110 | ![]() |
dst(R,add(P,nrm(R))) | 115273 | 138859553 | o2(x,o2(x,o1(x))) | true | 82191 | 82191 | 0.9976 | 1 | 0.9976 | 0.001267 | 0.03559 | 0.1919 | 1 | 0.8081 | 1 | 0.07117 | 0.00002754 | 0.00002955 | 0.0006021 | -0.03519 | 0 | -3.567e-11 | 0.00001076 | 0.0002163 | 0.00005678 | 0.007535 | 12.52 | 0.1341 | 0.04507 | 0.008497 | 1 | 1 | 0.0001938 | 0.002178 | 0.004616 | 0.153 | 1.72 | 3.644 | json |
| t17_x20_u6_b111 | 17 | 20 | 6 | 111 | ![]() |
dst(R,sub(P,nrm(R))) | 115274 | 138859554 | o2(x,o2(x,o1(x))) | true | 82199 | 82199 | 1 | 1 | 1 | 3.033e-8 | 0.0001742 | 0.9822 | 1 | 0.01783 | 1 | 0 | 1.968e-8 | 1.277e-8 | 0.000002809 | 0.213 | 0 | 0 | 6.365e-8 | 0.000004475 | 3.244e-8 | 0.0001801 | 64.13 | 0.01876 | 1.07 | 2.098 | 1 | 1 | 7.288e-8 | 1.102e-7 | 1.102e-7 | 2.403 | 3.632 | 3.632 | json |
| t17_x20_u6_b112 | 17 | 20 | 6 | 112 | ![]() |
dst(R,mlt(P,nrm(R))) | 115275 | 138859555 | o2(x,o2(x,o1(x))) | true | 82207 | 82207 | 0.9916 | 1 | 0.9916 | 0.003161 | 0.05623 | 0.3036 | 1 | 0.6964 | 1 | 0.2851 | 0.00005222 | 0.00007047 | 0.001686 | -0.1487 | 1 | 8.26e-11 | 0.00004857 | 0.000875 | 0.0001199 | 0.01095 | 6.495 | 0.2489 | 0.03881 | 0.01536 | 1 | 1 | 0.0003213 | 0.003109 | 0.009465 | 0.1016 | 0.9836 | 2.994 | json |
| t17_x20_u6_b113 | 17 | 20 | 6 | 113 | ![]() |
dst(R,div(P,nrm(R))) | 115276 | 138859556 | o2(x,o2(x,o1(x))) | true | 82215 | 82215 | 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_x20_u6_b114 | 17 | 20 | 6 | 114 | ![]() |
dst(R,pow(P,nrm(R))) | 115277 | 138859557 | o2(x,o2(x,o1(x))) | true | 82223 | 82223 | -0.9688 | 0.01563 | 1 | 0.06152 | 0.248 | -1 | 1 | 2 | 1 | 0.1161 | 0.006047 | 0.008062 | 0.006999 | -0.1429 | 1 | 0 | 0.02973 | 0.01411 | 0.01406 | 0.1186 | 16.94 | 2.828 | 0.2293 | 0.4832 | 1 | 1 | 0.009695 | 0.04659 | 0.07003 | 0.1576 | 0.7573 | 1.138 | json |
| t17_x20_u6_b115 | 17 | 20 | 6 | 115 | ![]() |
dst(R,mod(P,nrm(R))) | 115278 | 138859558 | o2(x,o2(x,o1(x))) | true | 82231 | 82231 | 0.9012 | 1 | 0.9012 | 0.02558 | 0.1599 | 0.07318 | 1 | 0.9268 | 1 | 2.052 | 0.0004422 | 0.0006617 | 0.01815 | -0.1989 | 1 | -0.00003762 | 0.0002518 | 0.007045 | 0.0007743 | 0.02783 | 1.533 | 0.1697 | 0.04315 | 0.009841 | 1 | 1 | 0.001985 | 0.02109 | 0.04565 | 0.07758 | 0.8245 | 1.784 | json |
| t17_x20_u6_b116 | 17 | 20 | 6 | 116 | ![]() |
dst(R,lrg(P,nrm(R))) | 115279 | 138859559 | o2(x,o2(x,o1(x))) | true | 82239 | 82239 | 0.9848 | 1 | 0.9848 | 0.005167 | 0.07188 | 0.2581 | 1 | 0.7419 | 1 | 0.4832 | 0.0001345 | 0.0001688 | 0.003948 | -0.113 | 1 | -0.00001134 | 0.0001247 | 0.002355 | 0.0002875 | 0.01696 | 4.295 | 0.1758 | 0.0587 | 0.02413 | 1 | 1 | 0.0006733 | 0.005844 | 0.0125 | 0.1303 | 1.131 | 2.419 | json |
| t17_x20_u6_b117 | 17 | 20 | 6 | 117 | ![]() |
dst(R,eql(P,nrm(R))) | 115280 | 138859560 | o2(x,o2(x,o1(x))) | true | 82247 | 82247 | 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_x20_u6_b118 | 17 | 20 | 6 | 118 | ![]() |
dst(R,min(P,nrm(R))) | 115281 | 138859561 | o2(x,o2(x,o1(x))) | true | 82255 | 82255 | 0.83 | 1 | 0.83 | 0.08455 | 0.2908 | 0.01686 | 1 | 0.9831 | 1 | 1.997 | 0.0002845 | 0.0002463 | 0.009967 | 0.07196 | 1 | -0.00001512 | 0.00007736 | 0.002782 | 0.0004315 | 0.02077 | 2.084 | 0.2086 | 0.006278 | 0.0009149 | 1 | 1 | 0.001108 | 0.01312 | 0.05717 | 0.01311 | 0.1552 | 0.6762 | json |
| t17_x20_u6_b119 | 17 | 20 | 6 | 119 | ![]() |
dst(R,dot(P,nrm(R))) | 115282 | 138859562 | o2(x,o2(x,o1(x))) | true | 82263 | 82263 | 0.997 | 1 | 0.997 | 0.0008732 | 0.02955 | 0.2113 | 1 | 0.7887 | 1 | 0.1322 | 0.00006367 | 0.0001271 | 0.001479 | -0.3324 | 1 | -0.00003829 | 0.0001856 | 0.001524 | 0.0001886 | 0.01373 | 9.285 | 0.4063 | 0.2184 | 0.2125 | 1 | 1 | 0.0003621 | 0.00177 | 0.002476 | 0.4147 | 2.027 | 2.835 | json |
| t17_x20_u6_b120 | 17 | 20 | 6 | 120 | ![]() |
dst(R,dst(P,nrm(R))) | 115283 | 138859563 | o2(x,o2(x,o1(x))) | true | 82271 | 82271 | 0.9996 | 1 | 0.9996 | 0.0001457 | 0.01207 | 0.496 | 1 | 0.504 | 1 | 0.01809 | 0.00001527 | 0.00001299 | 0.0001992 | 0.08069 | 0 | 5.632e-12 | 0.00001996 | 0.0001762 | 0.0000282 | 0.00531 | 26.65 | 0.2431 | 0.1939 | 0.137 | 1 | 1 | 0.00008587 | 0.0005048 | 0.0005299 | 0.5893 | 3.464 | 3.637 | json |
| t17_x21_u0_b0 | 17 | 21 | 0 | 0 | ![]() |
add(R,add(D,sqt(P))) | 115284 | 138898638 | o2(x,o2(x,o1(x))) | true | 82279 | 82279 | -0.0382 | 0.4866 | 0.9713 | 0.9583 | 0.9789 | -1 | 1 | 2 | 1 | 1.567 | 0.005075 | 0.0001971 | 0.01018 | 0.9252 | 1 | -0.00002193 | 0.008664 | 0.008997 | 0.005169 | 0.0719 | 7.065 | 1.86 | 0.005502 | 0.009041 | 1 | 1 | 0.00844 | 0.05524 | 0.2988 | 0.008807 | 0.05765 | 0.3118 | json |
| t17_x21_u0_b1 | 17 | 21 | 0 | 1 | ![]() |
add(R,sub(D,sqt(P))) | 115285 | 138898639 | o2(x,o2(x,o1(x))) | true | 82287 | 82287 | -0.9492 | 0.01276 | 0.9593 | 0.04267 | 0.2066 | -1 | 0.9017 | 1.902 | 1 | 0.7689 | 0.005249 | 0.0002545 | 0.01157 | 0.9075 | 1 | -2.567e-7 | 0.008845 | 0.01027 | 0.00537 | 0.07328 | 6.333 | 1.86 | 0.129 | 0.2073 | 1 | 1 | 0.009195 | 0.04736 | 0.07704 | 0.2155 | 1.11 | 1.805 | json |
| t17_x21_u0_b2 | 17 | 21 | 0 | 2 | ![]() |
add(R,mlt(D,sqt(P))) | 115286 | 138898640 | o2(x,o2(x,o1(x))) | true | 82295 | 82295 | -0.5314 | 0.2208 | 0.7072 | 0.3415 | 0.5844 | -1 | 1 | 2 | 1 | 3.333 | 0.008851 | 0.001463 | 0.05116 | 0.7163 | 1 | 0.0004152 | 0.009322 | 0.02184 | 0.007699 | 0.08775 | 1.715 | 1.829 | 0.0302 | 0.02729 | 1 | 1 | 0.01672 | 0.1321 | 0.2748 | 0.04894 | 0.3868 | 0.8045 | json |
| t17_x21_u0_b3 | 17 | 21 | 0 | 3 | ![]() |
add(R,div(D,sqt(P))) | 115287 | 138898641 | o2(x,o2(x,o1(x))) | true | 82303 | 82303 | -0.5678 | 0.2052 | 0.7316 | 0.3344 | 0.5782 | -1 | 1 | 2 | 1 | 3.086 | 0.009062 | 0.001296 | 0.03476 | 0.7497 | 1 | 0.00006475 | 0.01483 | 0.01716 | 0.009152 | 0.09567 | 2.752 | 1.974 | 0.03098 | 0.04436 | 1 | 1 | 0.01459 | 0.1021 | 0.2613 | 0.04363 | 0.3053 | 0.7813 | json |
| t17_x21_u0_b4 | 17 | 21 | 0 | 4 | ![]() |
add(R,pow(D,sqt(P))) | 115288 | 138898642 | o2(x,o2(x,o1(x))) | true | 82311 | 82311 | -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_x21_u0_b5 | 17 | 21 | 0 | 5 | ![]() |
add(R,mod(D,sqt(P))) | 115289 | 138898643 | o2(x,o2(x,o1(x))) | true | 82319 | 82319 | -0.5735 | 0.2018 | 0.7335 | 0.3303 | 0.5747 | -1 | 1 | 2 | 1 | 3.06 | 0.009536 | 0.001295 | 0.0379 | 0.7609 | 1 | 0.0001656 | 0.01493 | 0.01851 | 0.009395 | 0.09693 | 2.557 | 1.974 | 0.03279 | 0.0452 | 1 | 1 | 0.01543 | 0.1069 | 0.2557 | 0.04673 | 0.3237 | 0.7743 | json |
| t17_x21_u0_b6 | 17 | 21 | 0 | 6 | ![]() |
add(R,lrg(D,sqt(P))) | 115290 | 138898644 | o2(x,o2(x,o1(x))) | true | 82327 | 82327 | 0.4039 | 0.7382 | 0.5996 | 0.3077 | 0.5547 | -0.9986 | 1 | 1.999 | 1 | 4.325 | 0.005401 | 0.002232 | 0.05162 | 0.4151 | 1 | -0.00001858 | 0.006298 | 0.02012 | 0.004969 | 0.07049 | 1.366 | 1.012 | 0.02481 | 0.02047 | 1 | 1 | 0.01334 | 0.1232 | 0.301 | 0.04334 | 0.4002 | 0.9781 | json |
| t17_x21_u0_b7 | 17 | 21 | 0 | 7 | ![]() |
add(R,eql(D,sqt(P))) | 115291 | 138898645 | o2(x,o2(x,o1(x))) | true | 82335 | 82335 | 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_x21_u0_b8 | 17 | 21 | 0 | 8 | ![]() |
add(R,min(D,sqt(P))) | 115292 | 138898646 | o2(x,o2(x,o1(x))) | true | 82343 | 82343 | 0.00019 | 0.4923 | 0.4023 | 0.2314 | 0.481 | -1 | 1 | 2 | 1 | 4.902 | 0.004498 | 0.003164 | 0.07538 | 0.174 | 1 | 0.00003115 | 0.0006316 | 0.01953 | 0.001981 | 0.0445 | 0.5904 | 0.2845 | 0.03312 | 0.00273 | 1 | 1 | 0.01512 | 0.1755 | 0.3915 | 0.06536 | 0.7587 | 1.692 | json |
| t17_x21_u0_b9 | 17 | 21 | 0 | 9 | ![]() |
add(R,dot(D,sqt(P))) | 115293 | 138898647 | o2(x,o2(x,o1(x))) | true | 82351 | 82351 | -0.7589 | 0.1152 | 0.8533 | 0.2364 | 0.4862 | -1 | 1 | 2 | 1 | 1.973 | 0.004452 | 0.005506 | 0.03404 | -0.1059 | 1 | 0.0004325 | 0.01196 | 0.018 | 0.0088 | 0.09381 | 2.756 | 2 | 0.04212 | 0.05061 | 1 | 1 | 0.0143 | 0.09267 | 0.1808 | 0.06048 | 0.392 | 0.7646 | json |
| t17_x21_u0_b10 | 17 | 21 | 0 | 10 | ![]() |
add(R,dst(D,sqt(P))) | 115294 | 138898648 | o2(x,o2(x,o1(x))) | true | 82359 | 82359 | -0.5006 | 0.25 | 0.9994 | 0.7485 | 0.8652 | -1 | 1 | 2 | 1 | 0.8333 | 0.00745 | 0.007855 | 0.008014 | -0.02645 | 1 | 1.915e-10 | 0.03064 | 0.01568 | 0.01524 | 0.1234 | 15.4 | 2 | 0.02045 | 0.04093 | 1 | 1 | 0.02014 | 0.08286 | 0.3336 | 0.02691 | 0.1107 | 0.4458 | json |
| t17_x21_u0_b11 | 17 | 21 | 0 | 11 | ![]() |
sub(R,add(D,sqt(P))) | 115295 | 138898649 | o2(x,o2(x,o1(x))) | true | 82367 | 82367 | -0.9535 | 0.01245 | 0.9594 | 0.03556 | 0.1886 | -1 | 0.7978 | 1.798 | 1 | 0.7608 | 0.004471 | 0.0002541 | 0.01046 | 0.8925 | 1 | -4.44e-7 | 0.008639 | 0.009067 | 0.004615 | 0.06793 | 6.493 | 1.798 | 0.1329 | 0.243 | 1 | 1 | 0.00717 | 0.03511 | 0.06733 | 0.2017 | 0.9874 | 1.894 | json |
| t17_x21_u0_b12 | 17 | 21 | 0 | 12 | ![]() |
sub(R,sub(D,sqt(P))) | 115296 | 138898650 | o2(x,o2(x,o1(x))) | true | 82375 | 82375 | -0.04278 | 0.4845 | 0.9723 | 0.9586 | 0.9791 | -1 | 1 | 2 | 1 | 1.563 | 0.005093 | 0.0001918 | 0.01094 | 0.9274 | 1 | -0.00002314 | 0.008721 | 0.01019 | 0.005167 | 0.07188 | 6.568 | 1.798 | 0.005513 | 0.009097 | 1 | 1 | 0.008353 | 0.05423 | 0.3009 | 0.008713 | 0.05657 | 0.3139 | json |
| t17_x21_u0_b13 | 17 | 21 | 0 | 13 | ![]() |
sub(R,mlt(D,sqt(P))) | 115297 | 138898651 | o2(x,o2(x,o1(x))) | true | 82383 | 82383 | -0.4821 | 0.259 | 0.7094 | 0.3942 | 0.6278 | -1 | 1 | 2 | 1 | 3.365 | 0.008902 | 0.001465 | 0.05104 | 0.7174 | 1 | -0.000405 | 0.009251 | 0.02167 | 0.00776 | 0.08809 | 1.726 | 1.829 | 0.0263 | 0.02347 | 1 | 1 | 0.01647 | 0.1365 | 0.3114 | 0.04179 | 0.3464 | 0.79 | json |
| t17_x21_u0_b14 | 17 | 21 | 0 | 14 | ![]() |
sub(R,div(D,sqt(P))) | 115298 | 138898652 | o2(x,o2(x,o1(x))) | true | 82391 | 82391 | -0.5793 | 0.1943 | 0.7301 | 0.319 | 0.5648 | -1 | 1 | 2 | 1 | 3.072 | 0.008344 | 0.001296 | 0.03401 | 0.7311 | 1 | -0.00004295 | 0.01472 | 0.01677 | 0.008486 | 0.09212 | 2.709 | 1.912 | 0.03022 | 0.04614 | 1 | 1 | 0.01285 | 0.08777 | 0.2498 | 0.0403 | 0.2752 | 0.783 | json |
| t17_x21_u0_b15 | 17 | 21 | 0 | 15 | ![]() |
sub(R,pow(D,sqt(P))) | 115299 | 138898653 | o2(x,o2(x,o1(x))) | true | 82399 | 82399 | -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 |



































































































