grad-noise-175k
Gradient noise, 175k (run of 2026-09-23) · A complete batch run over 175,797 lattice-noise expressions, with 32 texture diagnostics and a frame of each.
About this collection
This collection is complete and closed. Every expression in the space below was rendered and measured once, in a single batch run. Each row is one expression, and its coordinate links to it running live on uto.run.
The purpose is exploratory. There is no target texture and no attempt to resemble Perlin noise. A constant field, a strongly directional pattern or an odd value distribution is an observation, not a failure. The measurements describe textures so they can be sorted, filtered and compared. They are a lossy fingerprint, not a judgement of quality and not a substitute for looking.
The space
An ither formula with two layers:
- topo: expression trees of up to 64 nodes, built from unary (
o1), binary (o2) and leaf (x) slots - expr: fills those slots
- leaves:
P,D,R - unary:
sqt log frc flr cil sgn nrm - binary:
add sub mlt div pow mod lrg eql min dot dst
- leaves:
A coordinate t·x·u·b follows the formula's projection: t the topology,
x the leaf choices, u the unary choices, b the binary choices.
Points outside the space were omitted from the run. Two orderings ride along:
ordinal is the point's position in ither's whole enumeration (gaps where
points were omitted), and batch index is its place in the batch run's
sequence, 0 to 175,796 (the run's inputs.expr, and the number in its
frame's file name).
The apparatus
Each expression is evaluated at the corners of a rectangular lattice with
quintic blending (LATT.RECT.QUINTIC), over coordinates mlt(C, 8), in a
256 × 256 field #A. One configuration per expression: the dimension and
coordinate scale were fixed for the whole run.
Measurements are taken from #A's x channel, its stored values (not a
screenshot), at step 7, after which the run moves to the next expression. The
frame in each row is that field, remapped for display.
The measurements
Notation: f is the field value, E averages the whole field, and E_I
averages the interior (C-space [-0.98, 0.98]², which keeps wrapped edges out
of the spatial measures).
Value distribution
| key | meaning |
|---|---|
value_mean, value_abs_mean |
E[f] and E[|f|]: signed offset, typical distance from zero |
value_positive_fraction |
share of values above 0 (field tolerance 0.0001) |
value_variance, value_stddev |
population variance and SD: contrast |
value_min, value_max, value_range |
sampled extrema and their difference |
histogram_entropy_bits |
entropy of a 32-bin histogram over [−1, 1], 0 (one bin) to 5 (uniform) bits |
histogram_probability_sum |
consistency check, ≈ 1 |
Local roughness (one-pixel differences dx, dy, and g = √(dx² + dy²))
| key | meaning |
|---|---|
gradient_energy_x, gradient_energy_y |
E_I[dx²], E_I[dy²] |
gradient_magnitude_mean |
E_I[g]: roughness |
gradient_magnitude_variance, _stddev, _max |
how unevenly that roughness is spread, and its peak |
gradient_magnitude_cv |
SD / mean of g: uneven activity (quiet areas interrupted by edges), independent of amplitude |
gradient_axis_bias |
(Ex − Ey) / (Ex + Ey), −1 to 1: horizontal vs vertical preference. Zero does not mean isotropic (diagonals balance too) |
gradient_nonzero_flag |
1 if there is any gradient energy at all |
Change of slope (four-neighbour Laplacian L)
| key | meaning |
|---|---|
laplacian_mean, laplacian_energy, laplacian_abs_mean |
E_I[L], E_I[L²], E_I[|L|]. Sharp or high-frequency structure responds; a linear ramp does not |
Normalised by contrast (comparable across amplitudes)
| key | meaning |
|---|---|
gradient_energy_over_variance |
(Ex + Ey) / variance |
laplacian_energy_over_variance |
E_I[L²] / variance |
variance_normalization_valid_flag, gradient_cv_valid_flag |
whether the denominators above are meaningful (> 10⁻¹²). Filter on these before trusting a ratio |
Three spatial scales (mean squared difference at a distance, over the
central [-0.74, 0.74]²: 2, 8 and 32 pixels at this resolution)
| key | meaning |
|---|---|
scale_diff2_near, _mid, _far |
raw difference energy at each distance |
scale_diff2_near_over_variance, _mid_…, _far_… |
the same, normalised. Low near and rising far suggests smooth structure; a dip at a longer distance can hint at repetition |
Each record's json also holds value_histogram (the 32 bin probabilities)
and scale_curve (the three scales with their distances).
Reading them, and their limits
- Clipping.
#Akept its default signed domain, so values outside [−1, 1] were clipped before measuring. The diagnostics describe the clipped texture. - Combinations say more than any one key. A large range with modest SD and a high gradient peak suggests a few strong excursions. A broad histogram with low normalised detail suggests smooth variation. Similar roughness with a different CV means the activity is concentrated differently.
- Entropy is about values, not space. A smooth ramp can have high entropy, and shuffling the pixels would not change it.
- Raw spatial measures depend on resolution and amplitude. Prefer the normalised keys for detail independent of contrast, after checking the validity flags.
- Not measured: full orientation, spectra or periodicity, lacunarity, tileability, colour, novelty, aesthetic merit.
- Validation. The suite compiled and ran on every expression. Systematic numerical controls (constants, ramps, stripes, checkerboards, random pixels) and a comparison against longer settling times were not done before this run. Treat the values as exploratory.
Provenance
- Apparatus:
noiseBatch/one.uto, project SHA-256b6fc8f27…be04d0 - Expression corpus: SHA-256
7d3ec029…d72266 - Run files (canonical), in
~/lab/data/grad-noise-175k/: the enumeration (grad-noise-175k.jsonl), the measurements (grad-noise-175k-output.jsonl, joined oninputs.expr), the formula (grad-noise-175k.manifest.json) and the frames (png/)
| coordinate ▲ | t | x | u | b | expression | batch index | ordinal | topo | measured | step | globalStep | value_mean | value_positive_fraction | value_abs_mean | value_variance | value_stddev | value_min | value_max | value_range | histogram_probability_sum | histogram_entropy_bits | gradient_energy_x | gradient_energy_y | gradient_magnitude_mean | gradient_axis_bias | gradient_nonzero_flag | laplacian_mean | laplacian_energy | laplacian_abs_mean | gradient_magnitude_variance | gradient_magnitude_stddev | gradient_magnitude_cv | gradient_magnitude_max | gradient_energy_over_variance | laplacian_energy_over_variance | variance_normalization_valid_flag | gradient_cv_valid_flag | scale_diff2_near | scale_diff2_mid | scale_diff2_far | scale_diff2_near_over_variance | scale_diff2_mid_over_variance | scale_diff2_far_over_variance | ||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| t17_x6_u5_b116 | 17 | 6 | 5 | 116 | ![]() |
dst(P,lrg(R,sgn(P))) | 103300 | 138293744 | o2(x,o2(x,o1(x))) | true | 143207 | 143207 | 1 | 1 | 1 | 0 | 0 | 1 | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t17_x6_u5_b117 | 17 | 6 | 5 | 117 | ![]() |
dst(P,eql(R,sgn(P))) | 103301 | 138293745 | o2(x,o2(x,o1(x))) | true | 143215 | 143215 | 0.9964 | 1 | 0.9964 | 0.002289 | 0.04784 | 0.000582 | 1 | 0.9994 | 1 | 0.09109 | 0.00003966 | 0.00003966 | 0.0008105 | 5.503e-7 | 0 | -4.881e-11 | 0.00001004 | 0.0002297 | 0.00007859 | 0.008865 | 10.94 | 0.1294 | 0.03466 | 0.004388 | 1 | 1 | 0.0002733 | 0.00336 | 0.008351 | 0.1194 | 1.468 | 3.649 | json |
| t17_x6_u5_b118 | 17 | 6 | 5 | 118 | ![]() |
dst(P,min(R,sgn(P))) | 103302 | 138293746 | o2(x,o2(x,o1(x))) | true | 143223 | 143223 | 0.9857 | 0.9999 | 0.9857 | 0.009771 | 0.09885 | 0.00002232 | 1 | 1 | 1 | 0.281 | 0.00008664 | 0.0001383 | 0.002218 | -0.2297 | 1 | 3.754e-11 | 0.00004783 | 0.0008 | 0.00022 | 0.01483 | 6.688 | 0.2204 | 0.02302 | 0.004896 | 1 | 1 | 0.0007566 | 0.008336 | 0.03138 | 0.07744 | 0.8532 | 3.212 | json |
| t17_x6_u5_b119 | 17 | 6 | 5 | 119 | ![]() |
dst(P,dot(R,sgn(P))) | 103303 | 138293747 | o2(x,o2(x,o1(x))) | true | 143231 | 143231 | 0.9969 | 1 | 0.9969 | 0.002021 | 0.04495 | 0.0005898 | 1 | 0.9994 | 1 | 0.08243 | 0.00005683 | 0.00003576 | 0.0007883 | 0.2276 | 0 | -3.567e-11 | 0.00002139 | 0.0003175 | 0.0000919 | 0.009586 | 12.16 | 0.183 | 0.04582 | 0.01058 | 1 | 1 | 0.0003119 | 0.003382 | 0.007364 | 0.1543 | 1.673 | 3.644 | json |
| t17_x6_u5_b120 | 17 | 6 | 5 | 120 | ![]() |
dst(P,dst(R,sgn(P))) | 103304 | 138293748 | o2(x,o2(x,o1(x))) | true | 143239 | 143239 | 0.9999 | 1 | 0.9999 | 0.00001826 | 0.004273 | 0.8269 | 1 | 0.1731 | 1 | 0.01297 | 0.00000171 | 0.000001777 | 0.00007067 | -0.01928 | 0 | 3.004e-11 | 0.000002656 | 0.00006278 | 0.00000348 | 0.001865 | 26.4 | 0.07931 | 0.191 | 0.1455 | 1 | 1 | 0.00001042 | 0.00006255 | 0.0000664 | 0.571 | 3.426 | 3.637 | json |
| t17_x6_u6_b0 | 17 | 6 | 6 | 0 | ![]() |
add(P,add(R,nrm(P))) | 103305 | 138293829 | o2(x,o2(x,o1(x))) | true | 143247 | 143247 | -0.02009 | 0.4876 | 0.9611 | 0.9452 | 0.9722 | -1 | 1 | 2 | 1 | 1.716 | 0.003122 | 0.00191 | 0.01078 | 0.2407 | 1 | -0.0000196 | 0.007907 | 0.007182 | 0.004918 | 0.07013 | 6.503 | 2.828 | 0.005324 | 0.008366 | 1 | 1 | 0.009655 | 0.06104 | 0.3295 | 0.01021 | 0.06458 | 0.3486 | json |
| t17_x6_u6_b1 | 17 | 6 | 6 | 1 | ![]() |
add(P,sub(R,nrm(P))) | 103306 | 138293830 | o2(x,o2(x,o1(x))) | true | 143255 | 143255 | -0.008526 | 0.4949 | 0.922 | 0.8944 | 0.9457 | -1 | 1 | 2 | 1 | 2.199 | 0.002682 | 0.002284 | 0.01541 | 0.0802 | 1 | -0.00002136 | 0.00743 | 0.009245 | 0.004732 | 0.06879 | 4.465 | 2.512 | 0.005553 | 0.008307 | 1 | 1 | 0.009756 | 0.06661 | 0.2965 | 0.01091 | 0.07447 | 0.3315 | json |
| t17_x6_u6_b2 | 17 | 6 | 6 | 2 | ![]() |
add(P,mlt(R,nrm(P))) | 103307 | 138293831 | o2(x,o2(x,o1(x))) | true | 143263 | 143263 | -0.01539 | 0.4922 | 0.946 | 0.9335 | 0.9662 | -1 | 1 | 2 | 1 | 1.769 | 0.002617 | 0.001545 | 0.009145 | 0.2574 | 1 | 3.29e-8 | 0.007273 | 0.006105 | 0.004077 | 0.06385 | 6.982 | 2.828 | 0.004459 | 0.007791 | 1 | 1 | 0.007831 | 0.04585 | 0.2938 | 0.008389 | 0.04911 | 0.3147 | json |
| t17_x6_u6_b3 | 17 | 6 | 6 | 3 | ![]() |
add(P,div(R,nrm(P))) | 103308 | 138293832 | o2(x,o2(x,o1(x))) | true | 143271 | 143271 | -0.1108 | 0.4444 | 0.9794 | 0.9599 | 0.9798 | -1 | 1 | 2 | 1 | 1.377 | 0.01708 | 0.002233 | 0.01792 | 0.7687 | 1 | -0.00001902 | 0.03367 | 0.02242 | 0.01899 | 0.1378 | 7.69 | 2.193 | 0.02012 | 0.03508 | 1 | 1 | 0.02438 | 0.1207 | 0.4327 | 0.02539 | 0.1257 | 0.4507 | json |
| t17_x6_u6_b4 | 17 | 6 | 6 | 4 | ![]() |
add(P,pow(R,nrm(P))) | 103309 | 138293833 | o2(x,o2(x,o1(x))) | true | 143279 | 143279 | -0.909 | 0.04832 | 0.9879 | 0.158 | 0.3975 | -1 | 1 | 2 | 1 | 0.4457 | 0.01341 | 0.0137 | 0.01603 | -0.0105 | 1 | 1.502e-10 | 0.05593 | 0.02923 | 0.02684 | 0.1638 | 10.22 | 2.828 | 0.1716 | 0.3539 | 1 | 1 | 0.02768 | 0.1187 | 0.3981 | 0.1752 | 0.7508 | 2.519 | json |
| t17_x6_u6_b5 | 17 | 6 | 6 | 5 | ![]() |
add(P,mod(R,nrm(P))) | 103310 | 138293834 | o2(x,o2(x,o1(x))) | true | 143287 | 143287 | -0.1247 | 0.4375 | 0.9982 | 0.9812 | 0.9906 | -1 | 1 | 2 | 1 | 1.083 | 0.01517 | 0.000009936 | 0.008586 | 0.9987 | 1 | -2.654e-7 | 0.03026 | 0.01638 | 0.0151 | 0.1229 | 14.31 | 2 | 0.01547 | 0.03084 | 1 | 1 | 0.01996 | 0.08258 | 0.3354 | 0.02034 | 0.08416 | 0.3418 | json |
| t17_x6_u6_b6 | 17 | 6 | 6 | 6 | ![]() |
add(P,lrg(R,nrm(P))) | 103311 | 138293835 | o2(x,o2(x,o1(x))) | true | 143295 | 143295 | 0.07599 | 0.5322 | 0.9214 | 0.901 | 0.9492 | -1 | 1 | 2 | 1 | 1.93 | 0.0008437 | 0.0002268 | 0.009765 | 0.5763 | 1 | -0.00001925 | 0.000135 | 0.002773 | 0.0009751 | 0.03123 | 3.198 | 0.2338 | 0.001188 | 0.0001498 | 1 | 1 | 0.002661 | 0.03261 | 0.2372 | 0.002953 | 0.03619 | 0.2632 | json |
| t17_x6_u6_b7 | 17 | 6 | 6 | 7 | ![]() |
add(P,eql(R,nrm(P))) | 103312 | 138293836 | o2(x,o2(x,o1(x))) | true | 143303 | 143303 | 0 | 0.5 | 0.9375 | 0.924 | 0.9612 | -1 | 1 | 2 | 1 | 1.813 | 0.0007059 | 0 | 0.007937 | 1 | 1 | 0 | 0.00003235 | 0.001851 | 0.0006432 | 0.02536 | 3.195 | 0.1169 | 0.0007639 | 0.00003501 | 1 | 1 | 0.001851 | 0.02449 | 0.2344 | 0.002003 | 0.0265 | 0.2537 | json |
| t17_x6_u6_b8 | 17 | 6 | 6 | 8 | ![]() |
add(P,min(R,nrm(P))) | 103313 | 138293837 | o2(x,o2(x,o1(x))) | true | 143311 | 143311 | -0.02823 | 0.4844 | 0.9533 | 0.9379 | 0.9685 | -1 | 1 | 2 | 1 | 1.777 | 0.001059 | 0.0001501 | 0.009077 | 0.7517 | 1 | -0.00001214 | 0.0001734 | 0.002805 | 0.001128 | 0.03358 | 3.7 | 0.3307 | 0.00129 | 0.0001848 | 1 | 1 | 0.003174 | 0.03701 | 0.2702 | 0.003384 | 0.03946 | 0.2881 | json |
| t17_x6_u6_b9 | 17 | 6 | 6 | 9 | ![]() |
add(P,dot(R,nrm(P))) | 103314 | 138293838 | o2(x,o2(x,o1(x))) | true | 143319 | 143319 | -0.02145 | 0.4877 | 0.9598 | 0.9451 | 0.9722 | -1 | 1 | 2 | 1 | 1.698 | 0.00304 | 0.002151 | 0.01114 | 0.1713 | 1 | 0.000009286 | 0.008152 | 0.007526 | 0.005066 | 0.07117 | 6.392 | 2.828 | 0.005492 | 0.008626 | 1 | 1 | 0.009919 | 0.06273 | 0.325 | 0.01049 | 0.06637 | 0.3439 | json |
| t17_x6_u6_b10 | 17 | 6 | 6 | 10 | ![]() |
add(P,dst(R,nrm(P))) | 103315 | 138293839 | o2(x,o2(x,o1(x))) | true | 143327 | 143327 | 0.1513 | 0.5726 | 0.9467 | 0.9047 | 0.9512 | -1 | 1 | 2 | 1 | 1.862 | 0.003992 | 0.004299 | 0.01389 | -0.03705 | 1 | -0.00001755 | 0.01471 | 0.0105 | 0.008093 | 0.08996 | 6.478 | 2.828 | 0.009163 | 0.01626 | 1 | 1 | 0.01536 | 0.08422 | 0.3876 | 0.01698 | 0.09309 | 0.4284 | json |
| t17_x6_u6_b11 | 17 | 6 | 6 | 11 | ![]() |
sub(P,add(R,nrm(P))) | 103316 | 138293840 | o2(x,o2(x,o1(x))) | true | 143335 | 143335 | -0.02127 | 0.4912 | 0.9162 | 0.886 | 0.9413 | -1 | 1 | 2 | 1 | 2.269 | 0.001907 | 0.001303 | 0.01519 | 0.1882 | 1 | 0.00001918 | 0.003522 | 0.00753 | 0.002978 | 0.05457 | 3.593 | 1.645 | 0.003622 | 0.003976 | 1 | 1 | 0.006752 | 0.05796 | 0.2809 | 0.007621 | 0.06541 | 0.317 | json |
| t17_x6_u6_b12 | 17 | 6 | 6 | 12 | ![]() |
sub(P,sub(R,nrm(P))) | 103317 | 138293841 | o2(x,o2(x,o1(x))) | true | 143343 | 143343 | -0.01255 | 0.4974 | 0.9559 | 0.9379 | 0.9685 | -1 | 1 | 2 | 1 | 1.785 | 0.003068 | 0.001826 | 0.01107 | 0.2538 | 1 | 0.00001974 | 0.007639 | 0.007199 | 0.004771 | 0.06907 | 6.241 | 2.828 | 0.005218 | 0.008145 | 1 | 1 | 0.00945 | 0.06128 | 0.3348 | 0.01008 | 0.06534 | 0.3569 | json |
| t17_x6_u6_b13 | 17 | 6 | 6 | 13 | ![]() |
sub(P,mlt(R,nrm(P))) | 103318 | 138293842 | o2(x,o2(x,o1(x))) | true | 143351 | 143351 | -0.01584 | 0.4922 | 0.9371 | 0.9209 | 0.9596 | -1 | 1 | 2 | 1 | 1.918 | 0.002307 | 0.001156 | 0.00939 | 0.3325 | 1 | -1.479e-8 | 0.005917 | 0.006225 | 0.003376 | 0.05811 | 6.188 | 2.345 | 0.003761 | 0.006426 | 1 | 1 | 0.00658 | 0.04042 | 0.2738 | 0.007146 | 0.04389 | 0.2974 | json |
| t17_x6_u6_b14 | 17 | 6 | 6 | 14 | ![]() |
sub(P,div(R,nrm(P))) | 103319 | 138293843 | o2(x,o2(x,o1(x))) | true | 143359 | 143359 | -0.1356 | 0.4316 | 0.9813 | 0.9558 | 0.9776 | -1 | 1 | 2 | 1 | 1.365 | 0.01479 | 0.002104 | 0.01776 | 0.7509 | 1 | -6.355e-7 | 0.02771 | 0.02093 | 0.01657 | 0.1287 | 7.249 | 2.399 | 0.01767 | 0.02899 | 1 | 1 | 0.02133 | 0.1103 | 0.4009 | 0.02232 | 0.1154 | 0.4194 | json |
| t17_x6_u6_b15 | 17 | 6 | 6 | 15 | ![]() |
sub(P,pow(R,nrm(P))) | 103320 | 138293844 | o2(x,o2(x,o1(x))) | true | 143367 | 143367 | -0.9812 | 0.008331 | 0.9901 | 0.02498 | 0.158 | -1 | 1 | 2 | 1 | 0.2212 | 0.002746 | 0.002502 | 0.004995 | 0.04643 | 1 | -1.126e-11 | 0.01075 | 0.007577 | 0.005225 | 0.07229 | 14.47 | 2 | 0.2101 | 0.4302 | 1 | 1 | 0.002823 | 0.01229 | 0.03409 | 0.113 | 0.4919 | 1.365 | json |
| t17_x6_u6_b16 | 17 | 6 | 6 | 16 | ![]() |
sub(P,mod(R,nrm(P))) | 103321 | 138293845 | o2(x,o2(x,o1(x))) | true | 143375 | 143375 | -0.1252 | 0.4375 | 0.9986 | 0.9818 | 0.9909 | -1 | 1 | 2 | 1 | 1.071 | 0.01498 | 0.000005593 | 0.008394 | 0.9993 | 1 | 1.541e-7 | 0.02987 | 0.01615 | 0.01491 | 0.1221 | 14.55 | 2 | 0.01527 | 0.03042 | 1 | 1 | 0.01991 | 0.08251 | 0.3353 | 0.02028 | 0.08403 | 0.3415 | json |
| t17_x6_u6_b17 | 17 | 6 | 6 | 17 | ![]() |
sub(P,lrg(R,nrm(P))) | 103322 | 138293846 | o2(x,o2(x,o1(x))) | true | 143383 | 143383 | -0.05859 | 0.4664 | 0.9361 | 0.9207 | 0.9595 | -1 | 1 | 2 | 1 | 1.788 | 0.001056 | 0.000248 | 0.009687 | 0.6197 | 1 | 0.00001926 | 0.0001867 | 0.003026 | 0.00121 | 0.03479 | 3.592 | 0.2338 | 0.001416 | 0.0002028 | 1 | 1 | 0.003484 | 0.04108 | 0.2704 | 0.003784 | 0.04463 | 0.2937 | json |
| t17_x6_u6_b18 | 17 | 6 | 6 | 18 | ![]() |
sub(P,eql(R,nrm(P))) | 103323 | 138293847 | o2(x,o2(x,o1(x))) | true | 143391 | 143391 | 0 | 0.5 | 0.9375 | 0.924 | 0.9612 | -1 | 1 | 2 | 1 | 1.813 | 0.0007059 | 0 | 0.007937 | 1 | 1 | 0 | 0.00003235 | 0.001851 | 0.0006432 | 0.02536 | 3.195 | 0.1169 | 0.0007639 | 0.00003501 | 1 | 1 | 0.001851 | 0.02449 | 0.2344 | 0.002003 | 0.0265 | 0.2537 | json |
| t17_x6_u6_b19 | 17 | 6 | 6 | 19 | ![]() |
sub(P,min(R,nrm(P))) | 103324 | 138293848 | o2(x,o2(x,o1(x))) | true | 143399 | 143399 | 0.03873 | 0.5183 | 0.9237 | 0.8954 | 0.9462 | -1 | 1 | 2 | 1 | 2.201 | 0.0007542 | 0.0001694 | 0.009959 | 0.6331 | 1 | 0.000009218 | 0.0001135 | 0.002978 | 0.0008244 | 0.02871 | 2.883 | 0.2349 | 0.001031 | 0.0001267 | 1 | 1 | 0.002455 | 0.02994 | 0.2192 | 0.002741 | 0.03344 | 0.2448 | json |
| t17_x6_u6_b20 | 17 | 6 | 6 | 20 | ![]() |
sub(P,dot(R,nrm(P))) | 103325 | 138293849 | o2(x,o2(x,o1(x))) | true | 143407 | 143407 | -0.01117 | 0.4977 | 0.9222 | 0.8987 | 0.948 | -1 | 1 | 2 | 1 | 2.084 | 0.002508 | 0.001276 | 0.01368 | 0.3258 | 1 | 0.000004167 | 0.005049 | 0.007805 | 0.003595 | 0.05996 | 4.383 | 2 | 0.00421 | 0.005617 | 1 | 1 | 0.007316 | 0.05435 | 0.2798 | 0.00814 | 0.06048 | 0.3113 | json |
| t17_x6_u6_b21 | 17 | 6 | 6 | 21 | ![]() |
sub(P,dst(R,nrm(P))) | 103326 | 138293850 | o2(x,o2(x,o1(x))) | true | 143415 | 143415 | -0.1522 | 0.4314 | 0.9379 | 0.8955 | 0.9463 | -1 | 1 | 2 | 1 | 1.906 | 0.001324 | 0.0005631 | 0.01019 | 0.4033 | 1 | -0.000006169 | 0.00197 | 0.00449 | 0.001785 | 0.04224 | 4.147 | 2.209 | 0.002108 | 0.002199 | 1 | 1 | 0.004186 | 0.03828 | 0.2464 | 0.004674 | 0.04275 | 0.2752 | json |
| t17_x6_u6_b22 | 17 | 6 | 6 | 22 | ![]() |
mlt(P,add(R,nrm(P))) | 103327 | 138293851 | o2(x,o2(x,o1(x))) | true | 143423 | 143423 | 0.6813 | 0.8727 | 0.7981 | 0.2833 | 0.5323 | -1 | 1 | 2 | 1 | 2.572 | 0.007896 | 0.008506 | 0.04685 | -0.03719 | 1 | -0.0001443 | 0.01515 | 0.02763 | 0.01421 | 0.1192 | 2.544 | 2.828 | 0.05789 | 0.05347 | 1 | 1 | 0.0263 | 0.1807 | 0.4703 | 0.09281 | 0.6378 | 1.66 | json |
| t17_x6_u6_b23 | 17 | 6 | 6 | 23 | ![]() |
mlt(P,sub(R,nrm(P))) | 103328 | 138293852 | o2(x,o2(x,o1(x))) | true | 143431 | 143431 | -0.7337 | 0.1119 | 0.8181 | 0.2338 | 0.4836 | -1 | 1 | 2 | 1 | 2.324 | 0.004212 | 0.004676 | 0.03562 | -0.05213 | 1 | 0.00008678 | 0.005274 | 0.01939 | 0.007621 | 0.0873 | 2.451 | 1.147 | 0.03801 | 0.02255 | 1 | 1 | 0.01375 | 0.1152 | 0.3203 | 0.05881 | 0.4924 | 1.37 | json |
| t17_x6_u6_b24 | 17 | 6 | 6 | 24 | ![]() |
mlt(P,mlt(R,nrm(P))) | 103329 | 138293853 | o2(x,o2(x,o1(x))) | true | 143439 | 143439 | 0.01081 | 0.4904 | 0.6196 | 0.536 | 0.7321 | -1 | 1 | 2 | 1 | 4.05 | 0.01373 | 0.01632 | 0.08142 | -0.08609 | 1 | 0.000026 | 0.01908 | 0.04275 | 0.02342 | 0.153 | 1.879 | 1.897 | 0.05606 | 0.0356 | 1 | 1 | 0.04314 | 0.3738 | 0.8999 | 0.08049 | 0.6974 | 1.679 | json |
| t17_x6_u6_b25 | 17 | 6 | 6 | 25 | ![]() |
mlt(P,div(R,nrm(P))) | 103330 | 138293854 | o2(x,o2(x,o1(x))) | true | 143447 | 143447 | -0.1375 | 0.4316 | 0.8886 | 0.832 | 0.9122 | -1 | 1 | 2 | 1 | 2.537 | 0.04082 | 0.02752 | 0.09949 | 0.1945 | 1 | 0.00007801 | 0.07391 | 0.08432 | 0.05847 | 0.2418 | 2.43 | 2.228 | 0.08213 | 0.08883 | 1 | 1 | 0.08834 | 0.5964 | 1.33 | 0.1062 | 0.7167 | 1.598 | json |
| t17_x6_u6_b26 | 17 | 6 | 6 | 26 | ![]() |
mlt(P,pow(R,nrm(P))) | 103331 | 138293855 | o2(x,o2(x,o1(x))) | true | 143455 | 143455 | -0.9561 | 0.02344 | 0.9811 | 0.06286 | 0.2507 | -1 | 1 | 2 | 1 | 0.3792 | 0.006739 | 0.005606 | 0.009823 | 0.09172 | 1 | -2.253e-11 | 0.0254 | 0.0158 | 0.01225 | 0.1107 | 11.27 | 2.806 | 0.1964 | 0.404 | 1 | 1 | 0.009294 | 0.04041 | 0.1152 | 0.1479 | 0.6429 | 1.833 | json |
| t17_x6_u6_b27 | 17 | 6 | 6 | 27 | ![]() |
mlt(P,mod(R,nrm(P))) | 103332 | 138293856 | o2(x,o2(x,o1(x))) | true | 143463 | 143463 | -0.165 | 0.4116 | 0.7107 | 0.6021 | 0.7759 | -1 | 1 | 2 | 1 | 3.845 | 0.02021 | 0.013 | 0.08873 | 0.217 | 1 | 0.00002743 | 0.02718 | 0.05225 | 0.02534 | 0.1592 | 1.794 | 1.483 | 0.05515 | 0.04515 | 1 | 1 | 0.04502 | 0.3805 | 0.9811 | 0.07478 | 0.6319 | 1.63 | json |
| t17_x6_u6_b28 | 17 | 6 | 6 | 28 | ![]() |
mlt(P,lrg(R,nrm(P))) | 103333 | 138293857 | o2(x,o2(x,o1(x))) | true | 143471 | 143471 | -0.3438 | 0.1861 | 0.5192 | 0.3746 | 0.6121 | -1 | 1 | 2 | 1 | 2.521 | 0.001961 | 0.001731 | 0.02252 | 0.06232 | 1 | -0.00002298 | 0.001411 | 0.01033 | 0.003183 | 0.05642 | 2.506 | 0.4645 | 0.009853 | 0.003767 | 1 | 1 | 0.006156 | 0.06049 | 0.2374 | 0.01643 | 0.1615 | 0.6337 | json |
| t17_x6_u6_b29 | 17 | 6 | 6 | 29 | ![]() |
mlt(P,eql(R,nrm(P))) | 103334 | 138293858 | o2(x,o2(x,o1(x))) | true | 143479 | 143479 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t17_x6_u6_b30 | 17 | 6 | 6 | 30 | ![]() |
mlt(P,min(R,nrm(P))) | 103335 | 138293859 | o2(x,o2(x,o1(x))) | true | 143487 | 143487 | 0.3834 | 0.7236 | 0.778 | 0.577 | 0.7596 | -1 | 1 | 2 | 1 | 3.067 | 0.008495 | 0.009064 | 0.04998 | -0.03241 | 1 | -0.000001538 | 0.009275 | 0.02535 | 0.01506 | 0.1227 | 2.455 | 1.359 | 0.03043 | 0.01608 | 1 | 1 | 0.02422 | 0.2242 | 0.5924 | 0.04198 | 0.3885 | 1.027 | json |
| t17_x6_u6_b31 | 17 | 6 | 6 | 31 | ![]() |
mlt(P,dot(R,nrm(P))) | 103336 | 138293860 | o2(x,o2(x,o1(x))) | true | 143495 | 143495 | 0.04875 | 0.5484 | 0.7296 | 0.6561 | 0.81 | -1 | 1 | 2 | 1 | 3.682 | 0.0172 | 0.02306 | 0.09392 | -0.1454 | 1 | 6.177e-7 | 0.02852 | 0.05445 | 0.03144 | 0.1773 | 1.888 | 2.828 | 0.06137 | 0.04347 | 1 | 1 | 0.05535 | 0.4445 | 1.098 | 0.08436 | 0.6775 | 1.674 | json |
| t17_x6_u6_b32 | 17 | 6 | 6 | 32 | ![]() |
mlt(P,dst(R,nrm(P))) | 103337 | 138293861 | o2(x,o2(x,o1(x))) | true | 143503 | 143503 | -0.02132 | 0.4922 | 0.9455 | 0.9327 | 0.9658 | -1 | 1 | 2 | 1 | 1.742 | 0.002667 | 0.00121 | 0.009646 | 0.3757 | 1 | 0.00001166 | 0.006273 | 0.006586 | 0.003783 | 0.06151 | 6.376 | 2.034 | 0.004156 | 0.006725 | 1 | 1 | 0.007445 | 0.04631 | 0.2882 | 0.007982 | 0.04965 | 0.309 | json |
| t17_x6_u6_b33 | 17 | 6 | 6 | 33 | ![]() |
div(P,add(R,nrm(P))) | 103338 | 138293862 | o2(x,o2(x,o1(x))) | true | 143511 | 143511 | 0.5093 | 0.763 | 0.9405 | 0.6674 | 0.8169 | -1 | 1 | 2 | 1 | 1.585 | 0.04269 | 0.04866 | 0.07061 | -0.06538 | 1 | -0.00002405 | 0.1828 | 0.1018 | 0.08629 | 0.2938 | 4.16 | 2.828 | 0.1369 | 0.2739 | 1 | 1 | 0.1045 | 0.513 | 1.348 | 0.1565 | 0.7687 | 2.02 | json |
| t17_x6_u6_b34 | 17 | 6 | 6 | 34 | ![]() |
div(P,sub(R,nrm(P))) | 103339 | 138293863 | o2(x,o2(x,o1(x))) | true | 143519 | 143519 | -0.6331 | 0.1777 | 0.9424 | 0.5288 | 0.7272 | -1 | 1 | 2 | 1 | 1.429 | 0.03016 | 0.03079 | 0.0518 | -0.01038 | 1 | -0.00005591 | 0.12 | 0.06921 | 0.05827 | 0.2414 | 4.66 | 2.828 | 0.1153 | 0.2269 | 1 | 1 | 0.07222 | 0.3471 | 0.9736 | 0.1366 | 0.6564 | 1.841 | json |
| t17_x6_u6_b35 | 17 | 6 | 6 | 35 | ![]() |
div(P,mlt(R,nrm(P))) | 103340 | 138293864 | o2(x,o2(x,o1(x))) | true | 143527 | 143527 | -0.1918 | 0.4038 | 0.9837 | 0.9414 | 0.9702 | -1 | 1 | 2 | 1 | 1.291 | 0.0924 | 0.08928 | 0.1113 | 0.01718 | 1 | -0.00002331 | 0.4019 | 0.1938 | 0.1693 | 0.4115 | 3.698 | 2.828 | 0.193 | 0.4269 | 1 | 1 | 0.1893 | 0.8479 | 1.756 | 0.2011 | 0.9008 | 1.865 | json |
| t17_x6_u6_b36 | 17 | 6 | 6 | 36 | ![]() |
div(P,div(R,nrm(P))) | 103341 | 138293865 | o2(x,o2(x,o1(x))) | true | 143535 | 143535 | -0.07408 | 0.468 | 0.8706 | 0.8368 | 0.9148 | -1 | 1 | 2 | 1 | 2.419 | 0.05427 | 0.06877 | 0.1065 | -0.1179 | 1 | -0.00005241 | 0.2297 | 0.1409 | 0.1116 | 0.3341 | 3.136 | 2.828 | 0.147 | 0.2745 | 1 | 1 | 0.1436 | 0.7573 | 1.676 | 0.1716 | 0.905 | 2.003 | json |
| t17_x6_u6_b37 | 17 | 6 | 6 | 37 | ![]() |
div(P,pow(R,nrm(P))) | 103342 | 138293866 | o2(x,o2(x,o1(x))) | true | 143543 | 143543 | -0.949 | 0.02344 | 0.9781 | 0.07239 | 0.2691 | -1 | 1 | 2 | 1 | 0.4628 | 0.007418 | 0.006371 | 0.01091 | 0.0759 | 1 | -6.758e-11 | 0.02842 | 0.01782 | 0.01367 | 0.1169 | 10.72 | 2.828 | 0.1905 | 0.3926 | 1 | 1 | 0.01143 | 0.0499 | 0.1453 | 0.1578 | 0.6892 | 2.007 | json |
| t17_x6_u6_b38 | 17 | 6 | 6 | 38 | ![]() |
div(P,mod(R,nrm(P))) | 103343 | 138293867 | o2(x,o2(x,o1(x))) | true | 143551 | 143551 | -0.1856 | 0.4073 | 0.9842 | 0.9451 | 0.9721 | -1 | 1 | 2 | 1 | 1.282 | 0.09161 | 0.09203 | 0.1107 | -0.002259 | 1 | 0.0003551 | 0.4245 | 0.1947 | 0.1714 | 0.4141 | 3.739 | 2.828 | 0.1943 | 0.4492 | 1 | 1 | 0.1937 | 0.8713 | 1.789 | 0.205 | 0.922 | 1.893 | json |
| t17_x6_u6_b39 | 17 | 6 | 6 | 39 | ![]() |
div(P,lrg(R,nrm(P))) | 103344 | 138293868 | o2(x,o2(x,o1(x))) | true | 143559 | 143559 | -0.9727 | 0.01172 | 0.9922 | 0.04442 | 0.2108 | -1 | 1 | 2 | 1 | 0.2216 | 0.004624 | 0.005829 | 0.006927 | -0.1152 | 1 | -1.164e-10 | 0.02189 | 0.01224 | 0.01041 | 0.1021 | 14.73 | 2.828 | 0.2353 | 0.4929 | 1 | 1 | 0.007672 | 0.03396 | 0.07763 | 0.1727 | 0.7645 | 1.747 | json |
| t17_x6_u6_b40 | 17 | 6 | 6 | 40 | ![]() |
div(P,eql(R,nrm(P))) | 103345 | 138293869 | o2(x,o2(x,o1(x))) | true | 143567 | 143567 | -1 | 0 | 1 | 0 | 0 | -1 | -1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t17_x6_u6_b41 | 17 | 6 | 6 | 41 | ![]() |
div(P,min(R,nrm(P))) | 103346 | 138293870 | o2(x,o2(x,o1(x))) | true | 143575 | 143575 | 0.3513 | 0.6829 | 0.9688 | 0.8377 | 0.9153 | -1 | 1 | 2 | 1 | 1.376 | 0.04815 | 0.04425 | 0.06678 | 0.04221 | 1 | -0.00005313 | 0.1822 | 0.1021 | 0.08792 | 0.2965 | 4.44 | 2.828 | 0.1103 | 0.2175 | 1 | 1 | 0.1071 | 0.522 | 1.202 | 0.1279 | 0.6231 | 1.435 | json |
| t17_x6_u6_b42 | 17 | 6 | 6 | 42 | ![]() |
div(P,dot(R,nrm(P))) | 103347 | 138293871 | o2(x,o2(x,o1(x))) | true | 143583 | 143583 | 0.03685 | 0.5282 | 0.9321 | 0.9139 | 0.956 | -1 | 1 | 2 | 1 | 1.894 | 0.06316 | 0.07634 | 0.1073 | -0.09449 | 1 | -0.00008956 | 0.2755 | 0.1564 | 0.1281 | 0.3579 | 3.334 | 2.828 | 0.1526 | 0.3014 | 1 | 1 | 0.1664 | 0.8053 | 1.785 | 0.182 | 0.8812 | 1.953 | json |
| t17_x6_u6_b43 | 17 | 6 | 6 | 43 | ![]() |
div(P,dst(R,nrm(P))) | 103348 | 138293872 | o2(x,o2(x,o1(x))) | true | 143591 | 143591 | -0.005284 | 0.4922 | 0.9314 | 0.9129 | 0.9554 | -1 | 1 | 2 | 1 | 1.979 | 0.002513 | 0.001789 | 0.01024 | 0.1683 | 1 | -0.000007461 | 0.007519 | 0.007387 | 0.004196 | 0.06477 | 6.326 | 2.828 | 0.004713 | 0.008237 | 1 | 1 | 0.008115 | 0.04579 | 0.2757 | 0.00889 | 0.05016 | 0.302 | json |
| t17_x6_u6_b44 | 17 | 6 | 6 | 44 | ![]() |
pow(P,add(R,nrm(P))) | 103349 | 138293873 | o2(x,o2(x,o1(x))) | true | 143599 | 143599 | -0.1109 | 0.4492 | 0.9906 | 0.9741 | 0.987 | -1 | 1 | 2 | 1 | 1.226 | 0.01371 | 0.002476 | 0.01069 | 0.694 | 1 | -0.00001068 | 0.03275 | 0.01865 | 0.01608 | 0.1268 | 11.86 | 2.828 | 0.01662 | 0.03363 | 1 | 1 | 0.0219 | 0.0901 | 0.3678 | 0.02248 | 0.0925 | 0.3776 | json |
| t17_x6_u6_b45 | 17 | 6 | 6 | 45 | ![]() |
pow(P,sub(R,nrm(P))) | 103350 | 138293874 | o2(x,o2(x,o1(x))) | true | 143607 | 143607 | -0.3332 | 0.4492 | 0.7683 | 0.5839 | 0.7641 | -1 | 1 | 2 | 1 | 2.755 | 0.01411 | 0.002748 | 0.02319 | 0.6741 | 1 | -0.000001687 | 0.03277 | 0.02102 | 0.01633 | 0.1278 | 5.511 | 2.828 | 0.02888 | 0.05612 | 1 | 1 | 0.02307 | 0.1019 | 0.3367 | 0.0395 | 0.1745 | 0.5767 | json |
| t17_x6_u6_b46 | 17 | 6 | 6 | 46 | ![]() |
pow(P,mlt(R,nrm(P))) | 103351 | 138293875 | o2(x,o2(x,o1(x))) | true | 143615 | 143615 | -0.07255 | 0.4922 | 0.9431 | 0.9055 | 0.9516 | -1 | 1 | 2 | 1 | 2.063 | 0.0162 | 0.002446 | 0.018 | 0.7376 | 1 | -0.00003941 | 0.03661 | 0.02244 | 0.01832 | 0.1354 | 7.518 | 2.828 | 0.02059 | 0.04043 | 1 | 1 | 0.02566 | 0.108 | 0.4117 | 0.02834 | 0.1193 | 0.4547 | json |
| t17_x6_u6_b47 | 17 | 6 | 6 | 47 | ![]() |
pow(P,div(R,nrm(P))) | 103352 | 138293876 | o2(x,o2(x,o1(x))) | true | 143623 | 143623 | -0.1907 | 0.4492 | 0.9109 | 0.8381 | 0.9155 | -1 | 1 | 2 | 1 | 2.148 | 0.01456 | 0.00336 | 0.02352 | 0.6249 | 1 | -0.00007873 | 0.03362 | 0.02558 | 0.01736 | 0.1318 | 5.602 | 2.828 | 0.02138 | 0.04011 | 1 | 1 | 0.02426 | 0.1087 | 0.372 | 0.02894 | 0.1296 | 0.4438 | json |
| t17_x6_u6_b48 | 17 | 6 | 6 | 48 | ![]() |
pow(P,pow(R,nrm(P))) | 103353 | 138293877 | o2(x,o2(x,o1(x))) | true | 143631 | 143631 | -0.9023 | 0.0625 | 0.9727 | 0.1526 | 0.3906 | -1 | 1 | 2 | 1 | 0.5397 | 0.01864 | 0.003977 | 0.01647 | 0.6483 | 1 | -9.011e-11 | 0.04549 | 0.02683 | 0.02233 | 0.1494 | 9.074 | 2.828 | 0.1482 | 0.2981 | 1 | 1 | 0.02474 | 0.1007 | 0.228 | 0.1621 | 0.6596 | 1.494 | json |
| t17_x6_u6_b49 | 17 | 6 | 6 | 49 | ![]() |
pow(P,mod(R,nrm(P))) | 103354 | 138293878 | o2(x,o2(x,o1(x))) | true | 143639 | 143639 | -0.1748 | 0.4375 | 0.9502 | 0.8881 | 0.9424 | -1 | 1 | 2 | 1 | 1.963 | 0.01624 | 0.0003784 | 0.01718 | 0.9545 | 1 | -0.00005769 | 0.03207 | 0.02048 | 0.01633 | 0.1278 | 7.438 | 2 | 0.01871 | 0.03612 | 1 | 1 | 0.0221 | 0.09229 | 0.3321 | 0.02488 | 0.1039 | 0.3739 | json |
| t17_x6_u6_b50 | 17 | 6 | 6 | 50 | ![]() |
pow(P,lrg(R,nrm(P))) | 103355 | 138293879 | o2(x,o2(x,o1(x))) | true | 143647 | 143647 | -0.006836 | 0.5039 | 0.9854 | 0.9818 | 0.9909 | -1 | 1 | 2 | 1 | 1.262 | 0.01098 | 0.001672 | 0.009616 | 0.7356 | 1 | 0.000002852 | 0.02529 | 0.01491 | 0.01256 | 0.1121 | 11.66 | 2.828 | 0.01288 | 0.02575 | 1 | 1 | 0.01774 | 0.07851 | 0.3406 | 0.01806 | 0.07996 | 0.3469 | json |
| t17_x6_u6_b51 | 17 | 6 | 6 | 51 | ![]() |
pow(P,eql(R,nrm(P))) | 103356 | 138293880 | o2(x,o2(x,o1(x))) | true | 143655 | 143655 | 1 | 1 | 1 | 0 | 0 | 1 | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t17_x6_u6_b52 | 17 | 6 | 6 | 52 | ![]() |
pow(P,min(R,nrm(P))) | 103357 | 138293881 | o2(x,o2(x,o1(x))) | true | 143663 | 143663 | -0.1659 | 0.4531 | 0.9279 | 0.8634 | 0.9292 | -1 | 1 | 2 | 1 | 2.114 | 0.01597 | 0.006241 | 0.02226 | 0.438 | 1 | -0.00005172 | 0.0441 | 0.02714 | 0.02171 | 0.1473 | 6.619 | 2.828 | 0.02572 | 0.05108 | 1 | 1 | 0.03009 | 0.1274 | 0.4297 | 0.03485 | 0.1476 | 0.4976 | json |
| t17_x6_u6_b53 | 17 | 6 | 6 | 53 | ![]() |
pow(P,dot(R,nrm(P))) | 103358 | 138293882 | o2(x,o2(x,o1(x))) | true | 143671 | 143671 | -0.1816 | 0.4492 | 0.92 | 0.8502 | 0.9221 | -1 | 1 | 2 | 1 | 2.125 | 0.01413 | 0.001871 | 0.01963 | 0.7662 | 1 | -0.0001012 | 0.03045 | 0.02181 | 0.01561 | 0.125 | 6.366 | 2.828 | 0.01883 | 0.03582 | 1 | 1 | 0.02102 | 0.09529 | 0.3761 | 0.02473 | 0.1121 | 0.4423 | json |
| t17_x6_u6_b54 | 17 | 6 | 6 | 54 | ![]() |
pow(P,dst(R,nrm(P))) | 103359 | 138293883 | o2(x,o2(x,o1(x))) | true | 143679 | 143679 | -0.04297 | 0.4922 | 0.9727 | 0.9641 | 0.9819 | -1 | 1 | 2 | 1 | 1.363 | 0.00579 | 0.001205 | 0.008659 | 0.6554 | 1 | -4.224e-11 | 0.01366 | 0.01121 | 0.006915 | 0.08316 | 9.604 | 2.828 | 0.007256 | 0.01417 | 1 | 1 | 0.01084 | 0.05572 | 0.3282 | 0.01125 | 0.05779 | 0.3404 | json |
| t17_x6_u6_b55 | 17 | 6 | 6 | 55 | ![]() |
mod(P,add(R,nrm(P))) | 103360 | 138293884 | o2(x,o2(x,o1(x))) | true | 143687 | 143687 | -0.01271 | 0.49 | 0.3605 | 0.2127 | 0.4612 | -1 | 1 | 2 | 1 | 4.76 | 0.002594 | 0.0026 | 0.03489 | -0.001216 | 1 | 0.000006416 | 0.006888 | 0.01266 | 0.003976 | 0.06306 | 1.807 | 2.828 | 0.02441 | 0.03238 | 1 | 1 | 0.009377 | 0.06758 | 0.2221 | 0.04408 | 0.3177 | 1.044 | json |
| t17_x6_u6_b56 | 17 | 6 | 6 | 56 | ![]() |
mod(P,sub(R,nrm(P))) | 103361 | 138293885 | o2(x,o2(x,o1(x))) | true | 143695 | 143695 | -0.02946 | 0.4892 | 0.3707 | 0.2212 | 0.4703 | -1 | 1 | 2 | 1 | 4.798 | 0.002307 | 0.001716 | 0.03495 | 0.1468 | 1 | 0.00001911 | 0.004365 | 0.01144 | 0.002802 | 0.05293 | 1.514 | 2 | 0.01819 | 0.01974 | 1 | 1 | 0.007353 | 0.0614 | 0.1993 | 0.03325 | 0.2776 | 0.901 | json |
| t17_x6_u6_b57 | 17 | 6 | 6 | 57 | ![]() |
mod(P,mlt(R,nrm(P))) | 103362 | 138293886 | o2(x,o2(x,o1(x))) | true | 143703 | 143703 | -0.12 | 0.4375 | 0.2876 | 0.1584 | 0.398 | -1 | 0.7475 | 1.747 | 1 | 3.99 | 0.008359 | 0.0002394 | 0.02316 | 0.9443 | 1 | 0.00000751 | 0.01633 | 0.01942 | 0.008063 | 0.08979 | 3.878 | 1.436 | 0.05428 | 0.1031 | 1 | 1 | 0.01158 | 0.05247 | 0.1952 | 0.07307 | 0.3312 | 1.232 | json |
| t17_x6_u6_b58 | 17 | 6 | 6 | 58 | ![]() |
mod(P,div(R,nrm(P))) | 103363 | 138293887 | o2(x,o2(x,o1(x))) | true | 143711 | 143711 | -0.123 | 0.4375 | 0.4549 | 0.3001 | 0.5478 | -1 | 1 | 2 | 1 | 4.597 | 0.01406 | 0.0007379 | 0.03435 | 0.9002 | 1 | 0.00001195 | 0.02684 | 0.02287 | 0.01361 | 0.1167 | 3.397 | 2 | 0.04929 | 0.08944 | 1 | 1 | 0.01939 | 0.09676 | 0.2957 | 0.06462 | 0.3224 | 0.9854 | json |
| t17_x6_u6_b59 | 17 | 6 | 6 | 59 | ![]() |
mod(P,pow(R,nrm(P))) | 103364 | 138293888 | o2(x,o2(x,o1(x))) | true | 143719 | 143719 | -0.9581 | 0.02229 | 0.9633 | 0.03809 | 0.1952 | -1 | 0.5421 | 1.542 | 1 | 0.5501 | 0.003596 | 0.003348 | 0.009408 | 0.0357 | 1 | 0.000006681 | 0.01415 | 0.01452 | 0.006858 | 0.08282 | 8.803 | 1.548 | 0.1823 | 0.3715 | 1 | 1 | 0.006648 | 0.02924 | 0.08243 | 0.1745 | 0.7676 | 2.164 | json |
| t17_x6_u6_b60 | 17 | 6 | 6 | 60 | ![]() |
mod(P,mod(R,nrm(P))) | 103365 | 138293889 | o2(x,o2(x,o1(x))) | true | 143727 | 143727 | -0.1109 | 0.4375 | 0.275 | 0.1563 | 0.3953 | -1 | 0.7928 | 1.793 | 1 | 3.875 | 0.008294 | 0.0002254 | 0.0223 | 0.9471 | 1 | 0.00001088 | 0.0162 | 0.01928 | 0.008022 | 0.08957 | 4.016 | 1.299 | 0.05451 | 0.1036 | 1 | 1 | 0.01158 | 0.05335 | 0.2103 | 0.0741 | 0.3414 | 1.345 | json |
| t17_x6_u6_b61 | 17 | 6 | 6 | 61 | ![]() |
mod(P,lrg(R,nrm(P))) | 103366 | 138293890 | o2(x,o2(x,o1(x))) | true | 143735 | 143735 | -0.7031 | 0 | 0.7031 | 0.2086 | 0.4567 | -1 | 0 | 1 | 1 | 0.8774 | 0.006456 | 0.007716 | 0.0141 | -0.08889 | 1 | 0 | 0.02932 | 0.02834 | 0.01397 | 0.1182 | 8.385 | 1.414 | 0.06795 | 0.1406 | 1 | 1 | 0.01334 | 0.05663 | 0.1793 | 0.06395 | 0.2715 | 0.8598 | json |
| t17_x6_u6_b62 | 17 | 6 | 6 | 62 | ![]() |
mod(P,eql(R,nrm(P))) | 103367 | 138293891 | o2(x,o2(x,o1(x))) | true | 143743 | 143743 | -1 | 0 | 1 | 0 | 0 | -1 | -1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t17_x6_u6_b63 | 17 | 6 | 6 | 63 | ![]() |
mod(P,min(R,nrm(P))) | 103368 | 138293892 | o2(x,o2(x,o1(x))) | true | 143751 | 143751 | -0.08485 | 0.4628 | 0.2861 | 0.1401 | 0.3743 | -1 | 0.7928 | 1.793 | 1 | 4.297 | 0.005006 | 0.001948 | 0.02405 | 0.4397 | 1 | 0.000002115 | 0.01304 | 0.01632 | 0.006376 | 0.07985 | 3.321 | 1.551 | 0.04965 | 0.09307 | 1 | 1 | 0.01033 | 0.04937 | 0.1792 | 0.07378 | 0.3525 | 1.279 | json |
| t17_x6_u6_b64 | 17 | 6 | 6 | 64 | ![]() |
mod(P,dot(R,nrm(P))) | 103369 | 138293893 | o2(x,o2(x,o1(x))) | true | 143759 | 143759 | -0.01275 | 0.4901 | 0.25 | 0.1098 | 0.3313 | -1 | 1 | 2 | 1 | 4.356 | 0.001723 | 0.001775 | 0.02631 | -0.01488 | 1 | 0.000002375 | 0.005052 | 0.009527 | 0.002807 | 0.05298 | 2.014 | 2.828 | 0.03187 | 0.04602 | 1 | 1 | 0.006071 | 0.04053 | 0.1441 | 0.05531 | 0.3693 | 1.313 | json |
| t17_x6_u6_b65 | 17 | 6 | 6 | 65 | ![]() |
mod(P,dst(R,nrm(P))) | 103370 | 138293894 | o2(x,o2(x,o1(x))) | true | 143767 | 143767 | -0.04404 | 0.4907 | 0.5921 | 0.4468 | 0.6684 | -1 | 1 | 2 | 1 | 4.731 | 0.002784 | 0.00219 | 0.04043 | 0.1193 | 1 | 0.00003675 | 0.004761 | 0.01456 | 0.003339 | 0.05778 | 1.429 | 2 | 0.01113 | 0.01066 | 1 | 1 | 0.009322 | 0.08071 | 0.2781 | 0.02086 | 0.1806 | 0.6225 | json |
| t17_x6_u6_b66 | 17 | 6 | 6 | 66 | ![]() |
lrg(P,add(R,nrm(P))) | 103371 | 138293895 | o2(x,o2(x,o1(x))) | true | 143775 | 143775 | 0.4941 | 0.5608 | 0.4941 | 0.2346 | 0.4843 | 0 | 1 | 1 | 1 | 1.657 | 0.0004292 | 0.0003227 | 0.008763 | 0.1416 | 1 | 0.00001711 | 0.00004023 | 0.002089 | 0.000675 | 0.02598 | 2.965 | 0.1169 | 0.003206 | 0.0001715 | 1 | 1 | 0.001937 | 0.02518 | 0.09702 | 0.008257 | 0.1073 | 0.4136 | json |
| t17_x6_u6_b67 | 17 | 6 | 6 | 67 | ![]() |
lrg(P,sub(R,nrm(P))) | 103372 | 138293896 | o2(x,o2(x,o1(x))) | true | 143783 | 143783 | 0.5078 | 0.5495 | 0.5078 | 0.2411 | 0.4911 | 0 | 1 | 1 | 1 | 1.415 | 0.0003238 | 0.0001053 | 0.004981 | 0.5091 | 1 | 0.000005704 | 0.00002256 | 0.001187 | 0.0004044 | 0.02011 | 4.037 | 0.1169 | 0.00178 | 0.00009356 | 1 | 1 | 0.001146 | 0.01502 | 0.08541 | 0.004754 | 0.06231 | 0.3542 | json |
| t17_x6_u6_b68 | 17 | 6 | 6 | 68 | ![]() |
lrg(P,mlt(R,nrm(P))) | 103373 | 138293897 | o2(x,o2(x,o1(x))) | true | 143791 | 143791 | 0.4727 | 0.5074 | 0.4727 | 0.242 | 0.4919 | 0 | 1 | 1 | 1 | 1.358 | 0.0003432 | 0.00003512 | 0.004306 | 0.8144 | 1 | -4.788e-10 | 0.00001836 | 0.001016 | 0.0003599 | 0.01897 | 4.405 | 0.1169 | 0.001564 | 0.00007585 | 1 | 1 | 0.001014 | 0.01329 | 0.07825 | 0.00419 | 0.05493 | 0.3234 | json |
| t17_x6_u6_b69 | 17 | 6 | 6 | 69 | ![]() |
lrg(P,div(R,nrm(P))) | 103374 | 138293898 | o2(x,o2(x,o1(x))) | true | 143799 | 143799 | 0.498 | 0.5947 | 0.498 | 0.2283 | 0.4778 | 0 | 1 | 1 | 1 | 1.857 | 0.0006217 | 0.0004084 | 0.01203 | 0.207 | 1 | -9.339e-10 | 0.00005756 | 0.002893 | 0.0008855 | 0.02976 | 2.473 | 0.1169 | 0.004511 | 0.0002521 | 1 | 1 | 0.00246 | 0.03194 | 0.1104 | 0.01077 | 0.1399 | 0.4833 | json |
| t17_x6_u6_b70 | 17 | 6 | 6 | 70 | ![]() |
lrg(P,pow(R,nrm(P))) | 103375 | 138293899 | o2(x,o2(x,o1(x))) | true | 143807 | 143807 | 0.7012 | 0.9411 | 0.7012 | 0.1595 | 0.3994 | 0 | 1 | 1 | 1 | 2.427 | 0.001204 | 0.001171 | 0.02758 | 0.01418 | 1 | -0.00001213 | 0.00013 | 0.006626 | 0.001615 | 0.04018 | 1.457 | 0.1169 | 0.01489 | 0.000815 | 1 | 1 | 0.004847 | 0.06213 | 0.1941 | 0.03039 | 0.3895 | 1.217 | json |
| t17_x6_u6_b71 | 17 | 6 | 6 | 71 | ![]() |
lrg(P,mod(R,nrm(P))) | 103376 | 138293900 | o2(x,o2(x,o1(x))) | true | 143815 | 143815 | 0.5313 | 0.5625 | 0.5313 | 0.2423 | 0.4922 | 0 | 1 | 1 | 1 | 1.326 | 0.0003529 | 0 | 0.003968 | 1 | 1 | -4.731e-10 | 0.00001619 | 0.0009276 | 0.0003372 | 0.01836 | 4.628 | 0.1169 | 0.001457 | 0.00006684 | 1 | 1 | 0.0009255 | 0.01214 | 0.0751 | 0.00382 | 0.05012 | 0.31 | json |
| t17_x6_u6_b72 | 17 | 6 | 6 | 72 | ![]() |
lrg(P,lrg(R,nrm(P))) | 103377 | 138293901 | o2(x,o2(x,o1(x))) | true | 143823 | 143823 | 0.4375 | 0.4827 | 0.4375 | 0.2367 | 0.4865 | 0 | 1 | 1 | 1 | 1.429 | 0.0003142 | 0.0001403 | 0.005314 | 0.3824 | 1 | 0.00001141 | 0.0000246 | 0.001271 | 0.0004265 | 0.02065 | 3.886 | 0.1169 | 0.00192 | 0.000104 | 1 | 1 | 0.00119 | 0.01549 | 0.08578 | 0.00503 | 0.06543 | 0.3624 | json |
| t17_x6_u6_b73 | 17 | 6 | 6 | 73 | ![]() |
lrg(P,eql(R,nrm(P))) | 103378 | 138293902 | o2(x,o2(x,o1(x))) | true | 143831 | 143831 | 0.4688 | 0.5 | 0.4688 | 0.2423 | 0.4922 | 0 | 1 | 1 | 1 | 1.326 | 0.0003529 | 0 | 0.003968 | 1 | 1 | -4.731e-10 | 0.00001619 | 0.0009276 | 0.0003372 | 0.01836 | 4.628 | 0.1169 | 0.001457 | 0.00006684 | 1 | 1 | 0.0009255 | 0.01214 | 0.0751 | 0.00382 | 0.05012 | 0.31 | json |
| t17_x6_u6_b74 | 17 | 6 | 6 | 74 | ![]() |
lrg(P,min(R,nrm(P))) | 103379 | 138293903 | o2(x,o2(x,o1(x))) | true | 143839 | 143839 | 0.5039 | 0.5456 | 0.5039 | 0.2412 | 0.4911 | 0 | 1 | 1 | 1 | 1.415 | 0.0003238 | 0.0001053 | 0.004981 | 0.5091 | 1 | 0.000005704 | 0.00002256 | 0.001187 | 0.0004044 | 0.02011 | 4.037 | 0.1169 | 0.001779 | 0.00009352 | 1 | 1 | 0.001146 | 0.01504 | 0.08976 | 0.004753 | 0.06234 | 0.3721 | json |
| t17_x6_u6_b75 | 17 | 6 | 6 | 75 | ![]() |
lrg(P,dot(R,nrm(P))) | 103380 | 138293904 | o2(x,o2(x,o1(x))) | true | 143847 | 143847 | 0.5039 | 0.5717 | 0.5039 | 0.2341 | 0.4839 | 0 | 1 | 1 | 1 | 1.666 | 0.0003856 | 0.0003461 | 0.008645 | 0.05398 | 1 | -7.574e-10 | 0.00004371 | 0.002106 | 0.0006569 | 0.02563 | 2.965 | 0.1169 | 0.003125 | 0.0001867 | 1 | 1 | 0.001534 | 0.02012 | 0.09036 | 0.006551 | 0.08592 | 0.3859 | json |
| t17_x6_u6_b76 | 17 | 6 | 6 | 76 | ![]() |
lrg(P,dst(R,nrm(P))) | 103381 | 138293905 | o2(x,o2(x,o1(x))) | true | 143855 | 143855 | 0.4414 | 0.5013 | 0.4414 | 0.2338 | 0.4836 | 0 | 1 | 1 | 1 | 1.556 | 0.0003202 | 0.0002808 | 0.007092 | 0.06552 | 1 | -0.00001141 | 0.00003532 | 0.001727 | 0.0005504 | 0.02346 | 3.308 | 0.1169 | 0.00257 | 0.0001511 | 1 | 1 | 0.001656 | 0.02151 | 0.08138 | 0.00708 | 0.09197 | 0.348 | json |
| t17_x6_u6_b77 | 17 | 6 | 6 | 77 | ![]() |
eql(P,add(R,nrm(P))) | 103382 | 138293906 | o2(x,o2(x,o1(x))) | true | 143863 | 143863 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t17_x6_u6_b78 | 17 | 6 | 6 | 78 | ![]() |
eql(P,sub(R,nrm(P))) | 103383 | 138293907 | o2(x,o2(x,o1(x))) | true | 143871 | 143871 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t17_x6_u6_b79 | 17 | 6 | 6 | 79 | ![]() |
eql(P,mlt(R,nrm(P))) | 103384 | 138293908 | o2(x,o2(x,o1(x))) | true | 143879 | 143879 | 0.05859 | 0.1241 | 0.05859 | 0.0418 | 0.2045 | 0 | 0.9997 | 0.9997 | 1 | 0.7992 | 0.0006513 | 0.00003512 | 0.007769 | 0.8977 | 1 | -8.342e-10 | 0.00003252 | 0.001826 | 0.0006264 | 0.02503 | 3.222 | 0.1169 | 0.01642 | 0.0007779 | 1 | 1 | 0.001783 | 0.0232 | 0.06358 | 0.04266 | 0.5551 | 1.521 | json |
| t17_x6_u6_b80 | 17 | 6 | 6 | 80 | ![]() |
eql(P,div(R,nrm(P))) | 103385 | 138293909 | o2(x,o2(x,o1(x))) | true | 143887 | 143887 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t17_x6_u6_b81 | 17 | 6 | 6 | 81 | ![]() |
eql(P,pow(R,nrm(P))) | 103386 | 138293910 | o2(x,o2(x,o1(x))) | true | 143895 | 143895 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t17_x6_u6_b82 | 17 | 6 | 6 | 82 | ![]() |
eql(P,mod(R,nrm(P))) | 103387 | 138293911 | o2(x,o2(x,o1(x))) | true | 143903 | 143903 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t17_x6_u6_b83 | 17 | 6 | 6 | 83 | ![]() |
eql(P,lrg(R,nrm(P))) | 103388 | 138293912 | o2(x,o2(x,o1(x))) | true | 143911 | 143911 | 0.06641 | 0.1483 | 0.06641 | 0.04729 | 0.2175 | 0 | 1 | 1 | 1 | 0.8942 | 0.0004539 | 0.0002408 | 0.00812 | 0.3067 | 1 | -0.000005705 | 0.00003896 | 0.001959 | 0.0006289 | 0.02508 | 3.088 | 0.1169 | 0.01469 | 0.0008238 | 1 | 1 | 0.001713 | 0.02227 | 0.09177 | 0.03623 | 0.4709 | 1.941 | json |
| t17_x6_u6_b84 | 17 | 6 | 6 | 84 | ![]() |
eql(P,eql(R,nrm(P))) | 103389 | 138293913 | o2(x,o2(x,o1(x))) | true | 143919 | 143919 | 0.0625 | 0.125 | 0.0625 | 0.04507 | 0.2123 | 0 | 0.9997 | 0.9997 | 1 | 0.8126 | 0.0007059 | 0 | 0.007934 | 1 | 1 | -9.461e-10 | 0.00003241 | 0.001855 | 0.0006433 | 0.02536 | 3.197 | 0.1169 | 0.01566 | 0.0007193 | 1 | 1 | 0.001851 | 0.02408 | 0.06598 | 0.04107 | 0.5344 | 1.464 | json |
| t17_x6_u6_b85 | 17 | 6 | 6 | 85 | ![]() |
eql(P,min(R,nrm(P))) | 103390 | 138293914 | o2(x,o2(x,o1(x))) | true | 143927 | 143927 | 0.02734 | 0.07904 | 0.02734 | 0.01811 | 0.1346 | 0 | 0.9997 | 0.9997 | 1 | 0.5041 | 0.0002701 | 0.0001356 | 0.004754 | 0.3314 | 1 | -0.000005705 | 0.00002305 | 0.00115 | 0.0003832 | 0.01958 | 4.117 | 0.1169 | 0.0224 | 0.001273 | 1 | 1 | 0.001123 | 0.01462 | 0.04376 | 0.06202 | 0.8075 | 2.416 | json |
| t17_x6_u6_b86 | 17 | 6 | 6 | 86 | ![]() |
eql(P,dot(R,nrm(P))) | 103391 | 138293915 | o2(x,o2(x,o1(x))) | true | 143935 | 143935 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t17_x6_u6_b87 | 17 | 6 | 6 | 87 | ![]() |
eql(P,dst(R,nrm(P))) | 103392 | 138293916 | o2(x,o2(x,o1(x))) | true | 143943 | 143943 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t17_x6_u6_b88 | 17 | 6 | 6 | 88 | ![]() |
min(P,add(R,nrm(P))) | 103393 | 138293917 | o2(x,o2(x,o1(x))) | true | 143951 | 143951 | -0.2231 | 0.4362 | 0.7701 | 0.6528 | 0.808 | -1 | 1 | 2 | 1 | 3.338 | 0.001372 | 0.001084 | 0.02675 | 0.1172 | 1 | -0.00004125 | 0.0002969 | 0.007535 | 0.001741 | 0.04172 | 1.56 | 0.2256 | 0.003761 | 0.0004548 | 1 | 1 | 0.004916 | 0.05956 | 0.2525 | 0.00753 | 0.09124 | 0.3867 | json |
| t17_x6_u6_b89 | 17 | 6 | 6 | 89 | ![]() |
min(P,sub(R,nrm(P))) | 103394 | 138293918 | o2(x,o2(x,o1(x))) | true | 143959 | 143959 | -0.777 | 0.04541 | 0.7999 | 0.1254 | 0.3541 | -1 | 0.7432 | 1.743 | 1 | 2.674 | 0.001398 | 0.001102 | 0.02758 | 0.1184 | 1 | 0.00002178 | 0.0003126 | 0.007702 | 0.00174 | 0.04172 | 1.513 | 0.2216 | 0.01994 | 0.002493 | 1 | 1 | 0.004941 | 0.05953 | 0.1764 | 0.03941 | 0.4748 | 1.407 | json |
| t17_x6_u6_b90 | 17 | 6 | 6 | 90 | ![]() |
min(P,mlt(R,nrm(P))) | 103395 | 138293919 | o2(x,o2(x,o1(x))) | true | 143967 | 143967 | -0.4689 | 0.2358 | 0.5942 | 0.2975 | 0.5454 | -1 | 0.9256 | 1.926 | 1 | 3.428 | 0.001041 | 0.0007516 | 0.02445 | 0.1616 | 1 | 0.00001155 | 0.0001047 | 0.005706 | 0.001195 | 0.03457 | 1.414 | 0.178 | 0.006027 | 0.000352 | 1 | 1 | 0.00375 | 0.04905 | 0.1927 | 0.01261 | 0.1649 | 0.6479 | json |
| t17_x6_u6_b91 | 17 | 6 | 6 | 91 | ![]() |
min(P,div(R,nrm(P))) | 103396 | 138293920 | o2(x,o2(x,o1(x))) | true | 143975 | 143975 | -0.5748 | 0.2053 | 0.7761 | 0.3784 | 0.6152 | -1 | 1 | 2 | 1 | 3.008 | 0.008956 | 0.00525 | 0.0438 | 0.2609 | 1 | 0.00001713 | 0.01825 | 0.02194 | 0.01228 | 0.1108 | 2.53 | 2.827 | 0.03754 | 0.04823 | 1 | 1 | 0.02074 | 0.1557 | 0.397 | 0.05479 | 0.4115 | 1.049 | json |
| t17_x6_u6_b92 | 17 | 6 | 6 | 92 | ![]() |
min(P,pow(R,nrm(P))) | 103397 | 138293921 | o2(x,o2(x,o1(x))) | true | 143983 | 143983 | -0.03239 | 0.4998 | 0.9051 | 0.874 | 0.9349 | -1 | 1 | 2 | 1 | 2.372 | 0.001079 | 0.0008757 | 0.01646 | 0.1041 | 1 | -0.00007246 | 0.0008888 | 0.008538 | 0.001683 | 0.04102 | 2.493 | 0.4291 | 0.002237 | 0.001017 | 1 | 1 | 0.003336 | 0.03382 | 0.2316 | 0.003817 | 0.03869 | 0.265 | json |
| t17_x6_u6_b93 | 17 | 6 | 6 | 93 | ![]() |
min(P,mod(R,nrm(P))) | 103398 | 138293922 | o2(x,o2(x,o1(x))) | true | 143991 | 143991 | -0.4678 | 0.2312 | 0.5857 | 0.2928 | 0.5411 | -1 | 0.9276 | 1.928 | 1 | 3.384 | 0.001121 | 0.0007285 | 0.02478 | 0.2123 | 1 | -0.000006055 | 0.0001086 | 0.005776 | 0.001235 | 0.03514 | 1.418 | 0.1818 | 0.006318 | 0.0003708 | 1 | 1 | 0.003941 | 0.05147 | 0.1787 | 0.01346 | 0.1758 | 0.6102 | json |
| t17_x6_u6_b94 | 17 | 6 | 6 | 94 | ![]() |
min(P,lrg(R,nrm(P))) | 103399 | 138293923 | o2(x,o2(x,o1(x))) | true | 143999 | 143999 | -0.4053 | 0.1837 | 0.5322 | 0.3422 | 0.585 | -1 | 1 | 2 | 1 | 2.27 | 0.0008719 | 0.0003616 | 0.01438 | 0.4137 | 1 | 0.000002139 | 0.00006537 | 0.003416 | 0.001026 | 0.03204 | 2.228 | 0.1169 | 0.003605 | 0.000191 | 1 | 1 | 0.002646 | 0.03452 | 0.1773 | 0.007733 | 0.1009 | 0.5181 | json |



































































































