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_x18_u6_b31 | 17 | 18 | 6 | 31 | ![]() |
mlt(R,dot(P,nrm(P))) | 113500 | 138778672 | o2(x,o2(x,o1(x))) | true | 68007 | 68007 | -0.02922 | 0.4853 | 0.8701 | 0.8255 | 0.9086 | -1 | 1 | 2 | 1 | 2.754 | 0.02805 | 0.03225 | 0.1035 | -0.06954 | 1 | 0.00007801 | 0.05086 | 0.07687 | 0.0496 | 0.2227 | 2.151 | 2.381 | 0.07305 | 0.06162 | 1 | 1 | 0.08376 | 0.6275 | 1.453 | 0.1015 | 0.7602 | 1.76 | json |
| t17_x18_u6_b32 | 17 | 18 | 6 | 32 | ![]() |
mlt(R,dst(P,nrm(P))) | 113501 | 138778673 | o2(x,o2(x,o1(x))) | true | 68015 | 68015 | -0.03322 | 0.4862 | 0.8263 | 0.7703 | 0.8776 | -1 | 1 | 2 | 1 | 3.122 | 0.02327 | 0.02671 | 0.09929 | -0.06867 | 1 | 0.00007911 | 0.03684 | 0.06616 | 0.04012 | 0.2003 | 2.017 | 1.799 | 0.06489 | 0.04783 | 1 | 1 | 0.06538 | 0.5248 | 1.305 | 0.08489 | 0.6813 | 1.694 | json |
| t17_x18_u6_b33 | 17 | 18 | 6 | 33 | ![]() |
div(R,add(P,nrm(P))) | 113502 | 138778674 | o2(x,o2(x,o1(x))) | true | 68023 | 68023 | -0.126 | 0.4044 | 0.2128 | 0.1274 | 0.3569 | -1 | 0.8868 | 1.887 | 1 | 3.262 | 0.01024 | 0.0002914 | 0.0226 | 0.9447 | 1 | -0.000006315 | 0.0201 | 0.01978 | 0.01002 | 0.1001 | 4.431 | 1.843 | 0.08268 | 0.1578 | 1 | 1 | 0.01339 | 0.06085 | 0.2061 | 0.1051 | 0.4777 | 1.618 | json |
| t17_x18_u6_b34 | 17 | 18 | 6 | 34 | ![]() |
div(R,sub(P,nrm(P))) | 113503 | 138778675 | o2(x,o2(x,o1(x))) | true | 68031 | 68031 | -0.1433 | 0.3955 | 0.2723 | 0.1667 | 0.4082 | -1 | 1 | 2 | 1 | 3.698 | 0.01293 | 0.002105 | 0.03019 | 0.72 | 1 | -0.00001071 | 0.02805 | 0.02337 | 0.01413 | 0.1189 | 3.936 | 2.025 | 0.09023 | 0.1683 | 1 | 1 | 0.02091 | 0.1065 | 0.3044 | 0.1255 | 0.6391 | 1.826 | json |
| t17_x18_u6_b35 | 17 | 18 | 6 | 35 | ![]() |
div(R,mlt(P,nrm(P))) | 113504 | 138778676 | o2(x,o2(x,o1(x))) | true | 68039 | 68039 | -0.1295 | 0.4346 | 0.3121 | 0.209 | 0.4572 | -1 | 1 | 2 | 1 | 3.879 | 0.01921 | 0.002734 | 0.03802 | 0.7509 | 1 | 0.0000194 | 0.03753 | 0.02908 | 0.0205 | 0.1432 | 3.766 | 2.229 | 0.105 | 0.1796 | 1 | 1 | 0.0273 | 0.148 | 0.3795 | 0.1306 | 0.7084 | 1.816 | json |
| t17_x18_u6_b36 | 17 | 18 | 6 | 36 | ![]() |
div(R,div(P,nrm(P))) | 113505 | 138778677 | o2(x,o2(x,o1(x))) | true | 68047 | 68047 | -0.1191 | 0.4321 | 0.1877 | 0.1187 | 0.3446 | -1 | 0.5633 | 1.563 | 1 | 2.821 | 0.009663 | 0.0001254 | 0.01881 | 0.9744 | 1 | 0.00000451 | 0.01916 | 0.01952 | 0.009436 | 0.09714 | 5.164 | 1.563 | 0.08244 | 0.1613 | 1 | 1 | 0.01359 | 0.05832 | 0.197 | 0.1144 | 0.4911 | 1.659 | json |
| t17_x18_u6_b37 | 17 | 18 | 6 | 37 | ![]() |
div(R,pow(P,nrm(P))) | 113506 | 138778678 | o2(x,o2(x,o1(x))) | true | 68055 | 68055 | -0.5102 | 0.2279 | 0.5986 | 0.2806 | 0.5297 | -1 | 0.9432 | 1.943 | 1 | 2.948 | 0.004588 | 0.001377 | 0.01975 | 0.5383 | 1 | -0.00001475 | 0.01019 | 0.01163 | 0.005576 | 0.07467 | 3.78 | 2.097 | 0.02126 | 0.03631 | 1 | 1 | 0.009422 | 0.05662 | 0.1709 | 0.03358 | 0.2018 | 0.6091 | json |
| t17_x18_u6_b38 | 17 | 18 | 6 | 38 | ![]() |
div(R,mod(P,nrm(P))) | 113507 | 138778679 | o2(x,o2(x,o1(x))) | true | 68063 | 68063 | -0.1323 | 0.4316 | 0.907 | 0.8584 | 0.9265 | -1 | 1 | 2 | 1 | 2.315 | 0.06444 | 0.05279 | 0.1039 | 0.09942 | 1 | -0.000307 | 0.2192 | 0.1339 | 0.1064 | 0.3262 | 3.14 | 2.828 | 0.1366 | 0.2553 | 1 | 1 | 0.1308 | 0.6452 | 1.596 | 0.1524 | 0.7516 | 1.859 | json |
| t17_x18_u6_b39 | 17 | 18 | 6 | 39 | ![]() |
div(R,lrg(P,nrm(P))) | 113508 | 138778680 | o2(x,o2(x,o1(x))) | true | 68071 | 68071 | -0.5827 | 0.194 | 0.7354 | 0.3213 | 0.5669 | -1 | 0.9806 | 1.981 | 1 | 3.039 | 0.008347 | 0.00197 | 0.03244 | 0.6181 | 1 | 0.00001063 | 0.0161 | 0.01718 | 0.009261 | 0.09623 | 2.967 | 1.943 | 0.03211 | 0.05011 | 1 | 1 | 0.0141 | 0.09443 | 0.2745 | 0.04389 | 0.2939 | 0.8543 | json |
| t17_x18_u6_b40 | 17 | 18 | 6 | 40 | ![]() |
div(R,eql(P,nrm(P))) | 113509 | 138778681 | o2(x,o2(x,o1(x))) | true | 68079 | 68079 | -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_x18_u6_b41 | 17 | 18 | 6 | 41 | ![]() |
div(R,min(P,nrm(P))) | 113510 | 138778682 | o2(x,o2(x,o1(x))) | true | 68087 | 68087 | -0.1543 | 0.4051 | 0.4134 | 0.2863 | 0.5351 | -1 | 1 | 2 | 1 | 4.357 | 0.0164 | 0.003478 | 0.05322 | 0.6501 | 1 | 0.00001475 | 0.02835 | 0.02991 | 0.01705 | 0.1306 | 2.454 | 2 | 0.06944 | 0.09903 | 1 | 1 | 0.02754 | 0.1926 | 0.4935 | 0.09618 | 0.6727 | 1.724 | json |
| t17_x18_u6_b42 | 17 | 18 | 6 | 42 | ![]() |
div(R,dot(P,nrm(P))) | 113511 | 138778683 | o2(x,o2(x,o1(x))) | true | 68095 | 68095 | -0.00952 | 0.4862 | 0.09139 | 0.02627 | 0.1621 | -1 | 0.5634 | 1.563 | 1 | 2.777 | 0.00146 | 0.001691 | 0.01479 | -0.07328 | 1 | 0.000001703 | 0.005942 | 0.007415 | 0.002932 | 0.05415 | 3.66 | 1.897 | 0.1199 | 0.2262 | 1 | 1 | 0.005957 | 0.03157 | 0.08966 | 0.2268 | 1.202 | 3.413 | json |
| t17_x18_u6_b43 | 17 | 18 | 6 | 43 | ![]() |
div(R,dst(P,nrm(P))) | 113512 | 138778684 | o2(x,o2(x,o1(x))) | true | 68103 | 68103 | -0.02909 | 0.4724 | 0.1387 | 0.06607 | 0.257 | -1 | 1 | 2 | 1 | 3.135 | 0.00502 | 0.005054 | 0.02063 | -0.003392 | 1 | 0.000001718 | 0.02005 | 0.01517 | 0.009649 | 0.09823 | 4.761 | 2.828 | 0.1525 | 0.3034 | 1 | 1 | 0.01848 | 0.08614 | 0.2125 | 0.2797 | 1.304 | 3.216 | json |
| t17_x18_u6_b44 | 17 | 18 | 6 | 44 | ![]() |
pow(R,add(P,nrm(P))) | 113513 | 138778685 | o2(x,o2(x,o1(x))) | true | 68111 | 68111 | -0.8585 | 0.07422 | 0.9931 | 0.2537 | 0.5037 | -1 | 1 | 2 | 1 | 0.4979 | 0.0226 | 0.02231 | 0.02384 | 0.006362 | 1 | 0.000001667 | 0.09361 | 0.04681 | 0.04433 | 0.2105 | 8.83 | 2.828 | 0.177 | 0.3689 | 1 | 1 | 0.04372 | 0.1836 | 0.6059 | 0.1723 | 0.7238 | 2.388 | json |
| t17_x18_u6_b45 | 17 | 18 | 6 | 45 | ![]() |
pow(R,sub(P,nrm(P))) | 113514 | 138778686 | o2(x,o2(x,o1(x))) | true | 68119 | 68119 | -0.8569 | 0.07422 | 0.9947 | 0.2582 | 0.5082 | -1 | 1 | 2 | 1 | 0.481 | 0.02317 | 0.02271 | 0.02393 | 0.0101 | 1 | 0.000002035 | 0.09569 | 0.04737 | 0.0453 | 0.2128 | 8.892 | 2.828 | 0.1777 | 0.3705 | 1 | 1 | 0.04504 | 0.1882 | 0.6184 | 0.1744 | 0.7286 | 2.394 | json |
| t17_x18_u6_b46 | 17 | 18 | 6 | 46 | ![]() |
pow(R,mlt(P,nrm(P))) | 113515 | 138778687 | o2(x,o2(x,o1(x))) | true | 68127 | 68127 | -0.8795 | 0.07391 | 0.9721 | 0.1913 | 0.4373 | -1 | 1 | 2 | 1 | 0.6314 | 0.01588 | 0.01657 | 0.02083 | -0.02135 | 1 | 0.000007352 | 0.06755 | 0.03911 | 0.03203 | 0.179 | 8.59 | 2.828 | 0.1696 | 0.3532 | 1 | 1 | 0.03286 | 0.1406 | 0.4841 | 0.1718 | 0.735 | 2.531 | json |
| t17_x18_u6_b47 | 17 | 18 | 6 | 47 | ![]() |
pow(R,div(P,nrm(P))) | 113516 | 138778688 | o2(x,o2(x,o1(x))) | true | 68135 | 68135 | -0.958 | 0.03479 | 0.9717 | 0.04978 | 0.2231 | -1 | 0.7861 | 1.786 | 1 | 0.3235 | 0.005452 | 0.004533 | 0.008846 | 0.092 | 1 | 0.000004827 | 0.02082 | 0.01634 | 0.009911 | 0.09955 | 11.25 | 1.92 | 0.2006 | 0.4182 | 1 | 1 | 0.009812 | 0.04088 | 0.1008 | 0.1971 | 0.8214 | 2.024 | json |
| t17_x18_u6_b48 | 17 | 18 | 6 | 48 | ![]() |
pow(R,pow(P,nrm(P))) | 113517 | 138778689 | o2(x,o2(x,o1(x))) | true | 68143 | 68143 | -0.9891 | 0.007813 | 0.9953 | 0.01579 | 0.1257 | -1 | 0.8669 | 1.867 | 1 | 0.09413 | 0.001607 | 0.001945 | 0.002579 | -0.09521 | 1 | 0.000001995 | 0.007488 | 0.004835 | 0.003545 | 0.05954 | 23.09 | 2.64 | 0.2249 | 0.4741 | 1 | 1 | 0.0006226 | 0.004299 | 0.01403 | 0.03942 | 0.2722 | 0.8884 | json |
| t17_x18_u6_b49 | 17 | 18 | 6 | 49 | ![]() |
pow(R,mod(P,nrm(P))) | 113518 | 138778690 | o2(x,o2(x,o1(x))) | true | 68151 | 68151 | -0.8921 | 0.05469 | 0.9985 | 0.2015 | 0.4489 | -1 | 1 | 2 | 1 | 0.3549 | 0.02036 | 0.01768 | 0.01937 | 0.07048 | 1 | 0.000001642 | 0.07921 | 0.03867 | 0.0377 | 0.1942 | 10.02 | 2.828 | 0.1888 | 0.3931 | 1 | 1 | 0.04287 | 0.1767 | 0.4606 | 0.2128 | 0.8768 | 2.286 | json |
| t17_x18_u6_b50 | 17 | 18 | 6 | 50 | ![]() |
pow(R,lrg(P,nrm(P))) | 113519 | 138778691 | o2(x,o2(x,o1(x))) | true | 68159 | 68159 | 0.05662 | 0.5313 | 0.9941 | 0.9874 | 0.9937 | -1 | 1 | 2 | 1 | 1.204 | 0.01466 | 0.006493 | 0.01211 | 0.3861 | 1 | 0.000002697 | 0.0437 | 0.02287 | 0.02099 | 0.1449 | 11.96 | 2.698 | 0.02142 | 0.04426 | 1 | 1 | 0.02269 | 0.09472 | 0.3953 | 0.02298 | 0.09593 | 0.4004 | json |
| t17_x18_u6_b51 | 17 | 18 | 6 | 51 | ![]() |
pow(R,eql(P,nrm(P))) | 113520 | 138778692 | o2(x,o2(x,o1(x))) | true | 68167 | 68167 | 0.7599 | 0.8828 | 0.9943 | 0.4138 | 0.6433 | -1 | 1 | 2 | 1 | 0.6973 | 0.02573 | 0.01009 | 0.01902 | 0.4366 | 1 | 3.717e-10 | 0.0736 | 0.03682 | 0.03545 | 0.1883 | 9.897 | 2.828 | 0.08658 | 0.1779 | 1 | 1 | 0.05061 | 0.2032 | 0.788 | 0.1223 | 0.4912 | 1.904 | json |
| t17_x18_u6_b52 | 17 | 18 | 6 | 52 | ![]() |
pow(R,min(P,nrm(P))) | 113521 | 138778693 | o2(x,o2(x,o1(x))) | true | 68175 | 68175 | -0.8542 | 0.07422 | 0.9973 | 0.2659 | 0.5157 | -1 | 1 | 2 | 1 | 0.4492 | 0.02385 | 0.02349 | 0.02428 | 0.007698 | 1 | 0.000002598 | 0.09874 | 0.0483 | 0.04673 | 0.2162 | 8.901 | 2.828 | 0.178 | 0.3713 | 1 | 1 | 0.0454 | 0.1899 | 0.6278 | 0.1707 | 0.7141 | 2.361 | json |
| t17_x18_u6_b53 | 17 | 18 | 6 | 53 | ![]() |
pow(R,dot(P,nrm(P))) | 113522 | 138778694 | o2(x,o2(x,o1(x))) | true | 68183 | 68183 | -0.9491 | 0.0426 | 0.965 | 0.05927 | 0.2435 | -1 | 0.7861 | 1.786 | 1 | 0.3823 | 0.006232 | 0.005862 | 0.01075 | 0.03055 | 1 | 0.000004827 | 0.02523 | 0.01992 | 0.01198 | 0.1095 | 10.19 | 1.93 | 0.204 | 0.4256 | 1 | 1 | 0.01043 | 0.04512 | 0.1101 | 0.1759 | 0.7613 | 1.857 | json |
| t17_x18_u6_b54 | 17 | 18 | 6 | 54 | ![]() |
pow(R,dst(P,nrm(P))) | 113523 | 138778695 | o2(x,o2(x,o1(x))) | true | 68191 | 68191 | -0.9472 | 0.04269 | 0.9669 | 0.06431 | 0.2536 | -1 | 0.8754 | 1.875 | 1 | 0.3947 | 0.006842 | 0.006382 | 0.01121 | 0.03474 | 1 | 0.000005412 | 0.0276 | 0.02073 | 0.0131 | 0.1144 | 10.21 | 2.461 | 0.2056 | 0.4291 | 1 | 1 | 0.01202 | 0.05153 | 0.1251 | 0.1869 | 0.8013 | 1.945 | json |
| t17_x18_u6_b55 | 17 | 18 | 6 | 55 | ![]() |
mod(R,add(P,nrm(P))) | 113524 | 138778696 | o2(x,o2(x,o1(x))) | true | 68199 | 68199 | -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_x18_u6_b56 | 17 | 18 | 6 | 56 | ![]() |
mod(R,sub(P,nrm(P))) | 113525 | 138778697 | o2(x,o2(x,o1(x))) | true | 68207 | 68207 | -0.1465 | 0.4175 | 0.4697 | 0.3005 | 0.5481 | -1 | 0.9806 | 1.981 | 1 | 4.715 | 0.01204 | 0.003822 | 0.06143 | 0.5179 | 1 | 0.00005813 | 0.02276 | 0.03058 | 0.01208 | 0.1099 | 1.79 | 1.829 | 0.05278 | 0.07576 | 1 | 1 | 0.02355 | 0.1719 | 0.5119 | 0.07836 | 0.572 | 1.704 | json |
| t17_x18_u6_b57 | 17 | 18 | 6 | 57 | ![]() |
mod(R,mlt(P,nrm(P))) | 113526 | 138778698 | o2(x,o2(x,o1(x))) | true | 68215 | 68215 | -0.1209 | 0.4294 | 0.4395 | 0.2794 | 0.5286 | -1 | 0.9806 | 1.981 | 1 | 4.712 | 0.01038 | 0.002467 | 0.05842 | 0.616 | 1 | 0.00006131 | 0.017 | 0.02762 | 0.009439 | 0.09715 | 1.663 | 1.483 | 0.046 | 0.06083 | 1 | 1 | 0.01973 | 0.1546 | 0.4662 | 0.07063 | 0.5535 | 1.669 | json |
| t17_x18_u6_b58 | 17 | 18 | 6 | 58 | ![]() |
mod(R,div(P,nrm(P))) | 113527 | 138778699 | o2(x,o2(x,o1(x))) | true | 68223 | 68223 | -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_x18_u6_b59 | 17 | 18 | 6 | 59 | ![]() |
mod(R,pow(P,nrm(P))) | 113528 | 138778700 | o2(x,o2(x,o1(x))) | true | 68231 | 68231 | -0.5176 | 0.2281 | 0.6983 | 0.3443 | 0.5868 | -1 | 0.9806 | 1.981 | 1 | 3.357 | 0.0055 | 0.002368 | 0.03555 | 0.3981 | 1 | -1.077e-7 | 0.0103 | 0.01531 | 0.006601 | 0.08125 | 2.285 | 2.097 | 0.02285 | 0.02992 | 1 | 1 | 0.01284 | 0.1013 | 0.3052 | 0.0373 | 0.2941 | 0.8863 | json |
| t17_x18_u6_b60 | 17 | 18 | 6 | 60 | ![]() |
mod(R,mod(P,nrm(P))) | 113529 | 138778701 | o2(x,o2(x,o1(x))) | true | 68239 | 68239 | -0.2133 | 0.3659 | 0.2986 | 0.1895 | 0.4353 | -1 | 0.6534 | 1.653 | 1 | 3.22 | 0.009497 | 0.006727 | 0.0287 | 0.1708 | 1 | 3.41e-7 | 0.0321 | 0.03364 | 0.0154 | 0.1241 | 4.324 | 1.684 | 0.08564 | 0.1694 | 1 | 1 | 0.02007 | 0.08738 | 0.3221 | 0.1059 | 0.4612 | 1.7 | json |
| t17_x18_u6_b61 | 17 | 18 | 6 | 61 | ![]() |
mod(R,lrg(P,nrm(P))) | 113530 | 138778702 | o2(x,o2(x,o1(x))) | true | 68247 | 68247 | -0.5827 | 0.194 | 0.7354 | 0.3213 | 0.5669 | -1 | 0.9806 | 1.981 | 1 | 3.039 | 0.008347 | 0.00197 | 0.03244 | 0.6181 | 1 | 0.00001063 | 0.0161 | 0.01718 | 0.009261 | 0.09623 | 2.967 | 1.943 | 0.03211 | 0.05011 | 1 | 1 | 0.0141 | 0.09443 | 0.2745 | 0.04389 | 0.2939 | 0.8543 | json |
| t17_x18_u6_b62 | 17 | 18 | 6 | 62 | ![]() |
mod(R,eql(P,nrm(P))) | 113531 | 138778703 | o2(x,o2(x,o1(x))) | true | 68255 | 68255 | -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_x18_u6_b63 | 17 | 18 | 6 | 63 | ![]() |
mod(R,min(P,nrm(P))) | 113532 | 138778704 | o2(x,o2(x,o1(x))) | true | 68263 | 68263 | -0.1083 | 0.4311 | 0.4134 | 0.2617 | 0.5115 | -1 | 0.9693 | 1.969 | 1 | 4.637 | 0.01228 | 0.002212 | 0.05555 | 0.6948 | 1 | 0.00003233 | 0.02118 | 0.02797 | 0.01141 | 0.1068 | 1.923 | 1.898 | 0.0554 | 0.08093 | 1 | 1 | 0.02097 | 0.1507 | 0.431 | 0.08016 | 0.5759 | 1.647 | json |
| t17_x18_u6_b64 | 17 | 18 | 6 | 64 | ![]() |
mod(R,dot(P,nrm(P))) | 113533 | 138778705 | o2(x,o2(x,o1(x))) | true | 68271 | 68271 | -0.01089 | 0.4862 | 0.4044 | 0.2322 | 0.4818 | -1 | 0.9806 | 1.981 | 1 | 4.885 | 0.004312 | 0.004911 | 0.06445 | -0.06491 | 1 | 0.00002651 | 0.007419 | 0.01909 | 0.00507 | 0.0712 | 1.105 | 2.097 | 0.03973 | 0.03196 | 1 | 1 | 0.01732 | 0.1683 | 0.4536 | 0.07461 | 0.725 | 1.954 | json |
| t17_x18_u6_b65 | 17 | 18 | 6 | 65 | ![]() |
mod(R,dst(P,nrm(P))) | 113534 | 138778706 | o2(x,o2(x,o1(x))) | true | 68279 | 68279 | -0.04678 | 0.4674 | 0.4231 | 0.2545 | 0.5045 | -1 | 0.9806 | 1.981 | 1 | 4.882 | 0.005846 | 0.005353 | 0.06373 | 0.04409 | 1 | 0.00002651 | 0.01219 | 0.02226 | 0.007138 | 0.08448 | 1.326 | 2.748 | 0.044 | 0.0479 | 1 | 1 | 0.02034 | 0.1733 | 0.5141 | 0.07991 | 0.6807 | 2.02 | json |
| t17_x18_u6_b66 | 17 | 18 | 6 | 66 | ![]() |
lrg(R,add(P,nrm(P))) | 113535 | 138778707 | o2(x,o2(x,o1(x))) | true | 68287 | 68287 | 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_x18_u6_b67 | 17 | 18 | 6 | 67 | ![]() |
lrg(R,sub(P,nrm(P))) | 113536 | 138778708 | o2(x,o2(x,o1(x))) | true | 68295 | 68295 | 0.5098 | 0.5869 | 0.5098 | 0.234 | 0.4837 | 0 | 1 | 1 | 1 | 1.67 | 0.0004546 | 0.0003033 | 0.008857 | 0.1996 | 1 | -0.00001711 | 0.0000425 | 0.002133 | 0.0006798 | 0.02607 | 2.944 | 0.1169 | 0.003239 | 0.0001816 | 1 | 1 | 0.001958 | 0.02546 | 0.0993 | 0.008367 | 0.1088 | 0.4244 | json |
| t17_x18_u6_b68 | 17 | 18 | 6 | 68 | ![]() |
lrg(R,mlt(P,nrm(P))) | 113537 | 138778709 | o2(x,o2(x,o1(x))) | true | 68303 | 68303 | 0.08398 | 0.1974 | 0.08398 | 0.05631 | 0.2373 | 0 | 1 | 1 | 1 | 1.13 | 0.0005727 | 0.0003987 | 0.01138 | 0.1791 | 1 | -0.00002282 | 0.00005601 | 0.002751 | 0.0008421 | 0.02902 | 2.55 | 0.1169 | 0.01725 | 0.0009947 | 1 | 1 | 0.002335 | 0.03035 | 0.1162 | 0.04146 | 0.539 | 2.064 | json |
| t17_x18_u6_b69 | 17 | 18 | 6 | 69 | ![]() |
lrg(R,div(P,nrm(P))) | 113538 | 138778710 | o2(x,o2(x,o1(x))) | true | 68311 | 68311 | 0.0625 | 0.125 | 0.0625 | 0.04507 | 0.2123 | 0 | 0.9997 | 0.9997 | 1 | 0.8126 | 0.0007059 | 0 | 0.007934 | 1 | 1 | -9.461e-10 | 0.00003241 | 0.001855 | 0.0006433 | 0.02536 | 3.197 | 0.1169 | 0.01566 | 0.0007193 | 1 | 1 | 0.001851 | 0.02408 | 0.06598 | 0.04107 | 0.5344 | 1.464 | json |
| t17_x18_u6_b70 | 17 | 18 | 6 | 70 | ![]() |
lrg(R,pow(P,nrm(P))) | 113539 | 138778711 | o2(x,o2(x,o1(x))) | true | 68319 | 68319 | 0.4727 | 0.5074 | 0.4727 | 0.242 | 0.4919 | 0 | 1 | 1 | 1 | 1.358 | 0.0003432 | 0.00003512 | 0.004306 | 0.8144 | 1 | -4.775e-10 | 0.00001836 | 0.001016 | 0.0003599 | 0.01897 | 4.405 | 0.1169 | 0.001564 | 0.00007585 | 1 | 1 | 0.001014 | 0.01329 | 0.07825 | 0.00419 | 0.05493 | 0.3234 | json |
| t17_x18_u6_b71 | 17 | 18 | 6 | 71 | ![]() |
lrg(R,mod(P,nrm(P))) | 113540 | 138778712 | o2(x,o2(x,o1(x))) | true | 68327 | 68327 | 0.5107 | 0.8922 | 0.5107 | 0.1652 | 0.4065 | 0 | 1 | 1 | 1 | 3.266 | 0.001961 | 0.001927 | 0.04568 | 0.00866 | 1 | 0.00001354 | 0.0002279 | 0.01109 | 0.001802 | 0.04245 | 0.9294 | 0.1169 | 0.02353 | 0.001379 | 1 | 1 | 0.00765 | 0.09861 | 0.2821 | 0.04629 | 0.5967 | 1.707 | json |
| t17_x18_u6_b72 | 17 | 18 | 6 | 72 | ![]() |
lrg(R,lrg(P,nrm(P))) | 113541 | 138778713 | o2(x,o2(x,o1(x))) | true | 68335 | 68335 | 0.2637 | 0.488 | 0.2637 | 0.1462 | 0.3823 | 0 | 1 | 1 | 1 | 2.321 | 0.001017 | 0.001241 | 0.02636 | -0.09923 | 1 | 0.000006427 | 0.0001267 | 0.006353 | 0.001563 | 0.03953 | 1.5 | 0.1169 | 0.01545 | 0.0008666 | 1 | 1 | 0.004566 | 0.05844 | 0.1754 | 0.03124 | 0.3999 | 1.2 | json |
| t17_x18_u6_b73 | 17 | 18 | 6 | 73 | ![]() |
lrg(R,eql(P,nrm(P))) | 113542 | 138778714 | o2(x,o2(x,o1(x))) | true | 68343 | 68343 | 0.459 | 0.9017 | 0.459 | 0.1524 | 0.3904 | 0 | 1 | 1 | 1 | 3.419 | 0.002057 | 0.002348 | 0.05156 | -0.06601 | 1 | -0.00001211 | 0.0002594 | 0.01255 | 0.001746 | 0.04179 | 0.8104 | 0.1169 | 0.0289 | 0.001701 | 1 | 1 | 0.008565 | 0.1103 | 0.2669 | 0.05619 | 0.7233 | 1.751 | json |
| t17_x18_u6_b74 | 17 | 18 | 6 | 74 | ![]() |
lrg(R,min(P,nrm(P))) | 113543 | 138778715 | o2(x,o2(x,o1(x))) | true | 68351 | 68351 | 0.5596 | 0.6998 | 0.5596 | 0.2213 | 0.4704 | 0 | 1 | 1 | 1 | 1.954 | 0.0007133 | 0.0004718 | 0.01392 | 0.2037 | 1 | -0.000003566 | 0.00006552 | 0.003332 | 0.0009916 | 0.03149 | 2.262 | 0.1169 | 0.005355 | 0.0002961 | 1 | 1 | 0.002643 | 0.03434 | 0.124 | 0.01194 | 0.1551 | 0.5601 | json |
| t17_x18_u6_b75 | 17 | 18 | 6 | 75 | ![]() |
lrg(R,dot(P,nrm(P))) | 113544 | 138778716 | o2(x,o2(x,o1(x))) | true | 68359 | 68359 | 0.003906 | 0.01477 | 0.003906 | 0.002383 | 0.04882 | 0 | 0.9994 | 0.9994 | 1 | 0.1068 | 0.00003512 | 0.00003512 | 0.0008419 | 7.252e-7 | 0 | -5.638e-14 | 0.000004222 | 0.000206 | 0.00006942 | 0.008332 | 9.897 | 0.1169 | 0.02947 | 0.001772 | 1 | 1 | 0.0002443 | 0.003178 | 0.008708 | 0.1025 | 1.334 | 3.654 | json |
| t17_x18_u6_b76 | 17 | 18 | 6 | 76 | ![]() |
lrg(R,dst(P,nrm(P))) | 113545 | 138778717 | o2(x,o2(x,o1(x))) | true | 68367 | 68367 | 0.02344 | 0.06036 | 0.02344 | 0.01617 | 0.1272 | 0 | 1 | 1 | 1 | 0.421 | 0.0001308 | 0.0001756 | 0.003627 | -0.1463 | 1 | -3.209e-11 | 0.00001905 | 0.0008981 | 0.0002933 | 0.01713 | 4.722 | 0.1169 | 0.01895 | 0.001178 | 1 | 1 | 0.001065 | 0.01386 | 0.0397 | 0.06589 | 0.8572 | 2.456 | json |
| t17_x18_u6_b77 | 17 | 18 | 6 | 77 | ![]() |
eql(R,add(P,nrm(P))) | 113546 | 138778718 | o2(x,o2(x,o1(x))) | true | 68375 | 68375 | 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_x18_u6_b78 | 17 | 18 | 6 | 78 | ![]() |
eql(R,sub(P,nrm(P))) | 113547 | 138778719 | o2(x,o2(x,o1(x))) | true | 68383 | 68383 | 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_x18_u6_b79 | 17 | 18 | 6 | 79 | ![]() |
eql(R,mlt(P,nrm(P))) | 113548 | 138778720 | o2(x,o2(x,o1(x))) | true | 68391 | 68391 | 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_x18_u6_b80 | 17 | 18 | 6 | 80 | ![]() |
eql(R,div(P,nrm(P))) | 113549 | 138778721 | o2(x,o2(x,o1(x))) | true | 68399 | 68399 | 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_x18_u6_b81 | 17 | 18 | 6 | 81 | ![]() |
eql(R,pow(P,nrm(P))) | 113550 | 138778722 | o2(x,o2(x,o1(x))) | true | 68407 | 68407 | 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_x18_u6_b82 | 17 | 18 | 6 | 82 | ![]() |
eql(R,mod(P,nrm(P))) | 113551 | 138778723 | o2(x,o2(x,o1(x))) | true | 68415 | 68415 | 0.003906 | 0.01477 | 0.003906 | 0.002383 | 0.04882 | 0 | 0.9994 | 0.9994 | 1 | 0.1068 | 0.00003512 | 0.00003512 | 0.0008419 | 7.252e-7 | 0 | -5.638e-14 | 0.000004222 | 0.000206 | 0.00006951 | 0.008337 | 9.903 | 0.1169 | 0.02947 | 0.001772 | 1 | 1 | 0.0001124 | 0.001488 | 0.004391 | 0.04716 | 0.6243 | 1.843 | json |
| t17_x18_u6_b83 | 17 | 18 | 6 | 83 | ![]() |
eql(R,lrg(P,nrm(P))) | 113552 | 138778724 | o2(x,o2(x,o1(x))) | true | 68423 | 68423 | 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_x18_u6_b84 | 17 | 18 | 6 | 84 | ![]() |
eql(R,eql(P,nrm(P))) | 113553 | 138778725 | o2(x,o2(x,o1(x))) | true | 68431 | 68431 | 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_x18_u6_b85 | 17 | 18 | 6 | 85 | ![]() |
eql(R,min(P,nrm(P))) | 113554 | 138778726 | o2(x,o2(x,o1(x))) | true | 68439 | 68439 | 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_x18_u6_b86 | 17 | 18 | 6 | 86 | ![]() |
eql(R,dot(P,nrm(P))) | 113555 | 138778727 | o2(x,o2(x,o1(x))) | true | 68447 | 68447 | 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_x18_u6_b87 | 17 | 18 | 6 | 87 | ![]() |
eql(R,dst(P,nrm(P))) | 113556 | 138778728 | o2(x,o2(x,o1(x))) | true | 68455 | 68455 | 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_x18_u6_b88 | 17 | 18 | 6 | 88 | ![]() |
min(R,add(P,nrm(P))) | 113557 | 138778729 | o2(x,o2(x,o1(x))) | true | 68463 | 68463 | -0.4955 | 0.2286 | 0.674 | 0.3368 | 0.5803 | -1 | 0.9806 | 1.981 | 1 | 3.556 | 0.00184 | 0.001497 | 0.03499 | 0.1029 | 1 | -4.003e-7 | 0.0002387 | 0.008385 | 0.002113 | 0.04597 | 1.314 | 0.3307 | 0.009909 | 0.0007087 | 1 | 1 | 0.006853 | 0.08693 | 0.2797 | 0.02035 | 0.2581 | 0.8305 | json |
| t17_x18_u6_b89 | 17 | 18 | 6 | 89 | ![]() |
min(R,sub(P,nrm(P))) | 113558 | 138778730 | o2(x,o2(x,o1(x))) | true | 68471 | 68471 | -0.4785 | 0.2275 | 0.6498 | 0.3193 | 0.5651 | -1 | 0.9806 | 1.981 | 1 | 3.792 | 0.001615 | 0.001463 | 0.03483 | 0.04963 | 1 | -0.000001066 | 0.0001977 | 0.008348 | 0.001865 | 0.04318 | 1.24 | 0.219 | 0.009641 | 0.0006193 | 1 | 1 | 0.00605 | 0.07812 | 0.2516 | 0.01895 | 0.2447 | 0.788 | json |
| t17_x18_u6_b90 | 17 | 18 | 6 | 90 | ![]() |
min(R,mlt(P,nrm(P))) | 113559 | 138778731 | o2(x,o2(x,o1(x))) | true | 68479 | 68479 | -0.02719 | 0.4701 | 0.3717 | 0.2016 | 0.449 | -0.9989 | 0.9806 | 1.979 | 1 | 4.826 | 0.00246 | 0.002844 | 0.05906 | -0.07245 | 1 | 0.00004026 | 0.0003122 | 0.01357 | 0.001817 | 0.04262 | 0.7217 | 0.2301 | 0.02632 | 0.001549 | 1 | 1 | 0.01065 | 0.1367 | 0.3401 | 0.05281 | 0.6783 | 1.687 | json |
| t17_x18_u6_b91 | 17 | 18 | 6 | 91 | ![]() |
min(R,div(P,nrm(P))) | 113560 | 138778732 | o2(x,o2(x,o1(x))) | true | 68487 | 68487 | 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_x18_u6_b92 | 17 | 18 | 6 | 92 | ![]() |
min(R,pow(P,nrm(P))) | 113561 | 138778733 | o2(x,o2(x,o1(x))) | true | 68495 | 68495 | 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_x18_u6_b93 | 17 | 18 | 6 | 93 | ![]() |
min(R,mod(P,nrm(P))) | 113562 | 138778734 | o2(x,o2(x,o1(x))) | true | 68503 | 68503 | -0.2683 | 0.177 | 0.3345 | 0.0961 | 0.31 | -0.9989 | 0.8291 | 1.828 | 1 | 4.327 | 0.001044 | 0.001193 | 0.03739 | -0.0666 | 1 | 0.000004862 | 0.0001331 | 0.00857 | 0.0008384 | 0.02895 | 0.7743 | 0.1724 | 0.02327 | 0.001385 | 1 | 1 | 0.004525 | 0.05869 | 0.1658 | 0.04708 | 0.6107 | 1.725 | json |
| t17_x18_u6_b94 | 17 | 18 | 6 | 94 | ![]() |
min(R,lrg(P,nrm(P))) | 113563 | 138778735 | o2(x,o2(x,o1(x))) | true | 68511 | 68511 | -0.1329 | 0.2305 | 0.3122 | 0.1503 | 0.3877 | -0.9989 | 0.9806 | 1.979 | 1 | 4.464 | 0.001901 | 0.001913 | 0.04712 | -0.003132 | 1 | 0.00001726 | 0.0002277 | 0.01094 | 0.001593 | 0.03992 | 0.847 | 0.219 | 0.02537 | 0.001515 | 1 | 1 | 0.007384 | 0.09548 | 0.2522 | 0.04912 | 0.6351 | 1.678 | json |
| t17_x18_u6_b95 | 17 | 18 | 6 | 95 | ![]() |
min(R,eql(P,nrm(P))) | 113564 | 138778736 | o2(x,o2(x,o1(x))) | true | 68519 | 68519 | -0.243 | 0.03484 | 0.26 | 0.07325 | 0.2706 | -0.9989 | 0.6687 | 1.668 | 1 | 3.74 | 0.000846 | 0.001009 | 0.03306 | -0.08783 | 1 | 0.00001174 | 0.0001088 | 0.0077 | 0.000762 | 0.0276 | 0.835 | 0.1608 | 0.02533 | 0.001485 | 1 | 1 | 0.003589 | 0.04626 | 0.1301 | 0.049 | 0.6315 | 1.776 | json |
| t17_x18_u6_b96 | 17 | 18 | 6 | 96 | ![]() |
min(R,min(P,nrm(P))) | 113565 | 138778737 | o2(x,o2(x,o1(x))) | true | 68527 | 68527 | -0.5154 | 0.2122 | 0.6552 | 0.2984 | 0.5462 | -1 | 0.9276 | 1.928 | 1 | 3.567 | 0.001375 | 0.001241 | 0.03144 | 0.05153 | 1 | -1.369e-7 | 0.0001568 | 0.007316 | 0.001628 | 0.04035 | 1.283 | 0.1921 | 0.008768 | 0.0005256 | 1 | 1 | 0.005364 | 0.06991 | 0.2307 | 0.01798 | 0.2343 | 0.7732 | json |
| t17_x18_u6_b97 | 17 | 18 | 6 | 97 | ![]() |
min(R,dot(P,nrm(P))) | 113566 | 138778738 | o2(x,o2(x,o1(x))) | true | 68535 | 68535 | 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_x18_u6_b98 | 17 | 18 | 6 | 98 | ![]() |
min(R,dst(P,nrm(P))) | 113567 | 138778739 | o2(x,o2(x,o1(x))) | true | 68543 | 68543 | 0.003893 | 0.4953 | 0.3911 | 0.2169 | 0.4657 | -0.9989 | 0.9806 | 1.979 | 1 | 4.858 | 0.00277 | 0.003121 | 0.06273 | -0.0597 | 1 | 0.00002651 | 0.0003452 | 0.01437 | 0.001957 | 0.04424 | 0.7052 | 0.2301 | 0.02716 | 0.001591 | 1 | 1 | 0.0115 | 0.1478 | 0.3896 | 0.05304 | 0.6813 | 1.796 | json |
| t17_x18_u6_b99 | 17 | 18 | 6 | 99 | ![]() |
dot(R,add(P,nrm(P))) | 113568 | 138778740 | o2(x,o2(x,o1(x))) | true | 68551 | 68551 | -0.1093 | 0.4475 | 0.8778 | 0.8263 | 0.909 | -1 | 1 | 2 | 1 | 2.613 | 0.02982 | 0.03987 | 0.1046 | -0.1442 | 1 | 0.00004125 | 0.06769 | 0.08821 | 0.05878 | 0.2424 | 2.318 | 2.828 | 0.08435 | 0.08192 | 1 | 1 | 0.09203 | 0.6383 | 1.514 | 0.1114 | 0.7725 | 1.832 | json |
| t17_x18_u6_b100 | 17 | 18 | 6 | 100 | ![]() |
dot(R,sub(P,nrm(P))) | 113569 | 138778741 | o2(x,o2(x,o1(x))) | true | 68559 | 68559 | -0.1138 | 0.4459 | 0.8099 | 0.7415 | 0.8611 | -1 | 1 | 2 | 1 | 3.146 | 0.02165 | 0.02913 | 0.09931 | -0.1473 | 1 | 0.00001182 | 0.03836 | 0.06789 | 0.04093 | 0.2023 | 2.037 | 2.008 | 0.06849 | 0.05174 | 1 | 1 | 0.06203 | 0.4981 | 1.277 | 0.08365 | 0.6717 | 1.722 | json |
| t17_x18_u6_b101 | 17 | 18 | 6 | 101 | ![]() |
dot(R,mlt(P,nrm(P))) | 113570 | 138778742 | o2(x,o2(x,o1(x))) | true | 68567 | 68567 | 0.04851 | 0.5257 | 0.8284 | 0.7712 | 0.8782 | -1 | 1 | 2 | 1 | 3.095 | 0.02498 | 0.02816 | 0.1061 | -0.05978 | 1 | -0.000002897 | 0.03848 | 0.0692 | 0.04187 | 0.2046 | 1.928 | 2.828 | 0.06891 | 0.0499 | 1 | 1 | 0.06724 | 0.5559 | 1.424 | 0.08719 | 0.7209 | 1.847 | json |
| t17_x18_u6_b102 | 17 | 18 | 6 | 102 | ![]() |
dot(R,div(P,nrm(P))) | 113571 | 138778743 | o2(x,o2(x,o1(x))) | true | 68575 | 68575 | -0.3085 | 0.3468 | 0.919 | 0.797 | 0.8927 | -1 | 1 | 2 | 1 | 2.11 | 0.04261 | 0.05064 | 0.09819 | -0.08616 | 1 | 0.0001256 | 0.1342 | 0.1089 | 0.0836 | 0.2891 | 2.945 | 2.828 | 0.117 | 0.1684 | 1 | 1 | 0.1061 | 0.6028 | 1.391 | 0.1331 | 0.7563 | 1.745 | json |
| t17_x18_u6_b103 | 17 | 18 | 6 | 103 | ![]() |
dot(R,pow(P,nrm(P))) | 113572 | 138778744 | o2(x,o2(x,o1(x))) | true | 68583 | 68583 | -0.7292 | 0.1377 | 0.9601 | 0.4149 | 0.6441 | -1 | 1 | 2 | 1 | 1.203 | 0.007876 | 0.01021 | 0.02871 | -0.1291 | 1 | 0.000004448 | 0.02096 | 0.02235 | 0.01727 | 0.1314 | 4.577 | 2.828 | 0.04359 | 0.05053 | 1 | 1 | 0.02483 | 0.174 | 0.5063 | 0.05983 | 0.4194 | 1.22 | json |
| t17_x18_u6_b104 | 17 | 18 | 6 | 104 | ![]() |
dot(R,mod(P,nrm(P))) | 113573 | 138778745 | o2(x,o2(x,o1(x))) | true | 68591 | 68591 | -0.2602 | 0.3331 | 0.3697 | 0.2141 | 0.4627 | -1 | 0.9789 | 1.979 | 1 | 3.78 | 0.007696 | 0.007547 | 0.03666 | 0.009779 | 1 | -0.00002825 | 0.02838 | 0.0329 | 0.0139 | 0.1179 | 3.216 | 1.42 | 0.07121 | 0.1326 | 1 | 1 | 0.02026 | 0.103 | 0.3758 | 0.09464 | 0.481 | 1.756 | json |
| t17_x18_u6_b105 | 17 | 18 | 6 | 105 | ![]() |
dot(R,lrg(P,nrm(P))) | 113574 | 138778746 | o2(x,o2(x,o1(x))) | true | 68599 | 68599 | 0.00318 | 0.3671 | 0.3201 | 0.2003 | 0.4476 | -1 | 1 | 2 | 1 | 4.348 | 0.002893 | 0.002753 | 0.05163 | 0.02477 | 1 | -0.00001089 | 0.0004647 | 0.01257 | 0.002981 | 0.0546 | 1.058 | 0.3047 | 0.02819 | 0.00232 | 1 | 1 | 0.01027 | 0.1295 | 0.3793 | 0.05127 | 0.6464 | 1.893 | json |
| t17_x18_u6_b106 | 17 | 18 | 6 | 106 | ![]() |
dot(R,eql(P,nrm(P))) | 113575 | 138778747 | o2(x,o2(x,o1(x))) | true | 68607 | 68607 | -0.03745 | 0.4666 | 0.379 | 0.2058 | 0.4536 | -1 | 0.9893 | 1.989 | 1 | 4.827 | 0.003079 | 0.002947 | 0.06298 | 0.02178 | 1 | -0.0000401 | 0.0004112 | 0.01488 | 0.002059 | 0.04537 | 0.7204 | 0.2732 | 0.02928 | 0.001998 | 1 | 1 | 0.01376 | 0.1756 | 0.4295 | 0.06688 | 0.8531 | 2.087 | json |
| t17_x18_u6_b107 | 17 | 18 | 6 | 107 | ![]() |
dot(R,min(P,nrm(P))) | 113576 | 138778748 | o2(x,o2(x,o1(x))) | true | 68615 | 68615 | -0.06775 | 0.4738 | 0.6832 | 0.5885 | 0.7671 | -1 | 1 | 2 | 1 | 4.012 | 0.01636 | 0.02101 | 0.09209 | -0.1245 | 1 | -0.00005483 | 0.02328 | 0.05096 | 0.02888 | 0.1699 | 1.845 | 1.834 | 0.0635 | 0.03955 | 1 | 1 | 0.05137 | 0.4288 | 1.019 | 0.0873 | 0.7287 | 1.731 | json |
| t17_x18_u6_b108 | 17 | 18 | 6 | 108 | ![]() |
dot(R,dot(P,nrm(P))) | 113577 | 138778749 | o2(x,o2(x,o1(x))) | true | 68623 | 68623 | -0.007814 | 0.4978 | 0.8978 | 0.8646 | 0.9298 | -1 | 1 | 2 | 1 | 2.432 | 0.04254 | 0.04384 | 0.1115 | -0.01497 | 1 | 0.00002485 | 0.09915 | 0.1063 | 0.07396 | 0.272 | 2.44 | 2.828 | 0.09991 | 0.1147 | 1 | 1 | 0.1152 | 0.7261 | 1.623 | 0.1333 | 0.8398 | 1.877 | json |
| t17_x18_u6_b109 | 17 | 18 | 6 | 109 | ![]() |
dot(R,dst(P,nrm(P))) | 113578 | 138778750 | o2(x,o2(x,o1(x))) | true | 68631 | 68631 | -0.01699 | 0.4962 | 0.863 | 0.8202 | 0.9057 | -1 | 1 | 2 | 1 | 2.746 | 0.03555 | 0.03687 | 0.1088 | -0.01821 | 1 | 0.0000188 | 0.07304 | 0.09198 | 0.06056 | 0.2461 | 2.262 | 2.422 | 0.0883 | 0.08905 | 1 | 1 | 0.09357 | 0.643 | 1.51 | 0.1141 | 0.7839 | 1.841 | json |
| t17_x18_u6_b110 | 17 | 18 | 6 | 110 | ![]() |
dst(R,add(P,nrm(P))) | 113579 | 138778751 | o2(x,o2(x,o1(x))) | true | 68639 | 68639 | 0.9688 | 0.9844 | 1 | 0.06152 | 0.248 | -1 | 1 | 2 | 1 | 0.1161 | 0.004031 | 0.004031 | 0.004013 | 0 | 1 | 0 | 0.01663 | 0.008062 | 0.008054 | 0.08974 | 22.36 | 2.828 | 0.131 | 0.2703 | 1 | 1 | 0.01418 | 0.05673 | 0.2269 | 0.2305 | 0.9221 | 3.688 | json |
| t17_x18_u6_b111 | 17 | 18 | 6 | 111 | ![]() |
dst(R,sub(P,nrm(P))) | 113580 | 138778752 | o2(x,o2(x,o1(x))) | true | 68647 | 68647 | 0.9662 | 0.9844 | 0.9975 | 0.06197 | 0.2489 | -1 | 1 | 2 | 1 | 0.2502 | 0.003475 | 0.003379 | 0.004309 | 0.0139 | 1 | -3.754e-11 | 0.0141 | 0.007755 | 0.006841 | 0.08271 | 19.19 | 2.465 | 0.1106 | 0.2275 | 1 | 1 | 0.01213 | 0.05141 | 0.2202 | 0.1957 | 0.8295 | 3.553 | json |
| t17_x18_u6_b112 | 17 | 18 | 6 | 112 | ![]() |
dst(R,mlt(P,nrm(P))) | 113581 | 138778753 | o2(x,o2(x,o1(x))) | true | 68655 | 68655 | 0.9673 | 0.9844 | 0.9985 | 0.06196 | 0.2489 | -1 | 1 | 2 | 1 | 0.1719 | 0.003688 | 0.003589 | 0.00426 | 0.01354 | 1 | -1.239e-10 | 0.01484 | 0.007867 | 0.007264 | 0.08523 | 20.01 | 2.034 | 0.1175 | 0.2395 | 1 | 1 | 0.01289 | 0.05448 | 0.2251 | 0.2081 | 0.8793 | 3.634 | json |
| t17_x18_u6_b113 | 17 | 18 | 6 | 113 | ![]() |
dst(R,div(P,nrm(P))) | 113582 | 138778754 | o2(x,o2(x,o1(x))) | true | 68663 | 68663 | 0.5313 | 0.7656 | 1 | 0.7172 | 0.8469 | -1 | 1 | 2 | 1 | 0.7856 | 0.02771 | 0.02771 | 0.0277 | 0 | 1 | 0 | 0.1114 | 0.05543 | 0.05465 | 0.2338 | 8.44 | 2.828 | 0.07728 | 0.1553 | 1 | 1 | 0.07003 | 0.2801 | 1.12 | 0.09763 | 0.3905 | 1.562 | json |
| t17_x18_u6_b114 | 17 | 18 | 6 | 114 | ![]() |
dst(R,pow(P,nrm(P))) | 113583 | 138778755 | o2(x,o2(x,o1(x))) | true | 68671 | 68671 | -0.5078 | 0.2461 | 1 | 0.742 | 0.8614 | -1 | 1 | 2 | 1 | 0.8084 | 0.007914 | 0.007917 | 0.007933 | -0.0002093 | 1 | -4.13e-11 | 0.03202 | 0.01587 | 0.01577 | 0.1256 | 15.83 | 2.664 | 0.02134 | 0.04316 | 1 | 1 | 0.02099 | 0.08413 | 0.3366 | 0.02828 | 0.1134 | 0.4537 | json |
| t17_x18_u6_b115 | 17 | 18 | 6 | 115 | ![]() |
dst(R,mod(P,nrm(P))) | 113584 | 138778756 | o2(x,o2(x,o1(x))) | true | 68679 | 68679 | 0.4763 | 0.7656 | 0.9451 | 0.6809 | 0.8252 | -1 | 1 | 2 | 1 | 2.091 | 0.02552 | 0.02591 | 0.03698 | -0.007655 | 1 | -0.0000218 | 0.1022 | 0.05716 | 0.05008 | 0.2238 | 6.051 | 2.828 | 0.07553 | 0.1501 | 1 | 1 | 0.06373 | 0.2649 | 1.066 | 0.0936 | 0.3891 | 1.566 | json |
| t17_x18_u6_b116 | 17 | 18 | 6 | 116 | ![]() |
dst(R,lrg(P,nrm(P))) | 113585 | 138778757 | o2(x,o2(x,o1(x))) | true | 68687 | 68687 | 0.9453 | 1 | 0.9453 | 0.01506 | 0.1227 | 0.2579 | 1 | 0.7421 | 1 | 1.378 | 0.0002387 | 0.0003313 | 0.009937 | -0.1625 | 1 | -0.00003113 | 0.0001632 | 0.004352 | 0.0004716 | 0.02172 | 2.185 | 0.1751 | 0.03786 | 0.01084 | 1 | 1 | 0.0009853 | 0.009988 | 0.02278 | 0.06544 | 0.6634 | 1.513 | json |
| t17_x18_u6_b117 | 17 | 18 | 6 | 117 | ![]() |
dst(R,eql(P,nrm(P))) | 113586 | 138778758 | o2(x,o2(x,o1(x))) | true | 68695 | 68695 | 0.9718 | 1 | 0.9718 | 0.008661 | 0.09306 | 0.2103 | 1 | 0.7897 | 1 | 0.8071 | 0.0002709 | 0.0002581 | 0.007198 | 0.02423 | 1 | -0.00004189 | 0.0001946 | 0.003955 | 0.000477 | 0.02184 | 3.034 | 0.1992 | 0.06108 | 0.02247 | 1 | 1 | 0.0008165 | 0.006944 | 0.01086 | 0.09428 | 0.8018 | 1.254 | json |
| t17_x18_u6_b118 | 17 | 18 | 6 | 118 | ![]() |
dst(R,min(P,nrm(P))) | 113587 | 138778759 | o2(x,o2(x,o1(x))) | true | 68703 | 68703 | 0.9839 | 1 | 0.9839 | 0.00494 | 0.07028 | 0.1449 | 1 | 0.8551 | 1 | 0.541 | 0.0001477 | 0.0001467 | 0.004193 | 0.003331 | 1 | -0.00002165 | 0.00009941 | 0.002224 | 0.0002768 | 0.01664 | 3.968 | 0.1606 | 0.05962 | 0.02012 | 1 | 1 | 0.0005009 | 0.004813 | 0.009743 | 0.1014 | 0.9745 | 1.973 | json |
| t17_x18_u6_b119 | 17 | 18 | 6 | 119 | ![]() |
dst(R,dot(P,nrm(P))) | 113588 | 138778760 | o2(x,o2(x,o1(x))) | true | 68711 | 68711 | 0.9688 | 0.9844 | 1 | 0.06152 | 0.248 | -1 | 1 | 2 | 1 | 0.1161 | 0.004031 | 0.004031 | 0.004013 | 0 | 1 | 0 | 0.01663 | 0.008062 | 0.008054 | 0.08974 | 22.36 | 2.828 | 0.131 | 0.2703 | 1 | 1 | 0.01418 | 0.05673 | 0.2269 | 0.2305 | 0.9221 | 3.688 | json |
| t17_x18_u6_b120 | 17 | 18 | 6 | 120 | ![]() |
dst(R,dst(P,nrm(P))) | 113589 | 138778761 | o2(x,o2(x,o1(x))) | true | 68719 | 68719 | 0.9659 | 0.9844 | 0.9971 | 0.06227 | 0.2495 | -1 | 1 | 2 | 1 | 0.2351 | 0.002925 | 0.002846 | 0.00418 | 0.01361 | 1 | -2.891e-10 | 0.01172 | 0.007282 | 0.005759 | 0.07589 | 18.16 | 2.202 | 0.09268 | 0.1882 | 1 | 1 | 0.01031 | 0.04922 | 0.2206 | 0.1656 | 0.7904 | 3.542 | json |
| t17_x19_u0_b0 | 17 | 19 | 0 | 0 | ![]() |
add(R,add(P,sqt(D))) | 113590 | 138817836 | o2(x,o2(x,o1(x))) | true | 68727 | 68727 | -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_x19_u0_b1 | 17 | 19 | 0 | 1 | ![]() |
add(R,sub(P,sqt(D))) | 113591 | 138817837 | o2(x,o2(x,o1(x))) | true | 68735 | 68735 | -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_x19_u0_b2 | 17 | 19 | 0 | 2 | ![]() |
add(R,mlt(P,sqt(D))) | 113592 | 138817838 | o2(x,o2(x,o1(x))) | true | 68743 | 68743 | -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_x19_u0_b3 | 17 | 19 | 0 | 3 | ![]() |
add(R,div(P,sqt(D))) | 113593 | 138817839 | o2(x,o2(x,o1(x))) | true | 68751 | 68751 | -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_x19_u0_b4 | 17 | 19 | 0 | 4 | ![]() |
add(R,pow(P,sqt(D))) | 113594 | 138817840 | o2(x,o2(x,o1(x))) | true | 68759 | 68759 | -0.9096 | 0.04826 | 0.9775 | 0.1417 | 0.3764 | -1 | 1 | 2 | 1 | 0.601 | 0.01925 | 0.0001372 | 0.01582 | 0.9858 | 1 | -0.00001074 | 0.0373 | 0.02331 | 0.01913 | 0.1383 | 8.741 | 2.005 | 0.1368 | 0.2633 | 1 | 1 | 0.02671 | 0.1212 | 0.218 | 0.1885 | 0.8554 | 1.539 | json |
| t17_x19_u0_b5 | 17 | 19 | 0 | 5 | ![]() |
add(R,mod(P,sqt(D))) | 113595 | 138817841 | o2(x,o2(x,o1(x))) | true | 68767 | 68767 | -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_x19_u0_b6 | 17 | 19 | 0 | 6 | ![]() |
add(R,lrg(P,sqt(D))) | 113596 | 138817842 | o2(x,o2(x,o1(x))) | true | 68775 | 68775 | 0.6048 | 0.8934 | 0.6791 | 0.1968 | 0.4436 | -0.9986 | 1 | 1.999 | 1 | 3.821 | 0.02558 | 0.002088 | 0.07604 | 0.8491 | 1 | -0.000117 | 0.04449 | 0.06436 | 0.02188 | 0.1479 | 1.945 | 1.023 | 0.1406 | 0.2261 | 1 | 1 | 0.03376 | 0.1762 | 0.2265 | 0.1715 | 0.8954 | 1.151 | json |
| t17_x19_u0_b7 | 17 | 19 | 0 | 7 | ![]() |
add(R,eql(P,sqt(D))) | 113597 | 138817843 | o2(x,o2(x,o1(x))) | true | 68783 | 68783 | 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_x19_u0_b8 | 17 | 19 | 0 | 8 | ![]() |
add(R,min(P,sqt(D))) | 113598 | 138817844 | o2(x,o2(x,o1(x))) | true | 68791 | 68791 | -0.06502 | 0.4724 | 0.8876 | 0.8452 | 0.9194 | -1 | 1 | 2 | 1 | 2.543 | 0.033 | 0.0007342 | 0.0576 | 0.9565 | 1 | -0.00002297 | 0.06243 | 0.06474 | 0.0304 | 0.1744 | 3.027 | 1.821 | 0.03991 | 0.07386 | 1 | 1 | 0.03632 | 0.1191 | 0.2826 | 0.04297 | 0.141 | 0.3344 | json |
| t17_x19_u0_b9 | 17 | 19 | 0 | 9 | ![]() |
add(R,dot(P,sqt(D))) | 113599 | 138817845 | o2(x,o2(x,o1(x))) | true | 68799 | 68799 | -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 |



































































































