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_x2_u5_b104 | 17 | 2 | 5 | 104 | ![]() |
dot(P,mod(P,sgn(R))) | 99900 | 138132128 | o2(x,o2(x,o1(x))) | true | 116007 | 116007 | 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_x2_u5_b105 | 17 | 2 | 5 | 105 | ![]() |
dot(P,lrg(P,sgn(R))) | 99901 | 138132129 | o2(x,o2(x,o1(x))) | true | 116015 | 116015 | 0.691 | 0.7433 | 0.691 | 0.2042 | 0.4519 | 0 | 1 | 1 | 1 | 1.317 | 0.0003536 | 0.0003633 | 0.006325 | -0.01353 | 1 | -0.000001699 | 0.0001277 | 0.002175 | 0.0006761 | 0.026 | 4.111 | 0.2685 | 0.00351 | 0.0006251 | 1 | 1 | 0.001872 | 0.02121 | 0.09364 | 0.009165 | 0.1038 | 0.4585 | json |
| t17_x2_u5_b106 | 17 | 2 | 5 | 106 | ![]() |
dot(P,eql(P,sgn(R))) | 99902 | 138132130 | o2(x,o2(x,o1(x))) | true | 116023 | 116023 | 0.01662 | 0.1797 | 0.1218 | 0.087 | 0.295 | -0.9997 | 1 | 2 | 1 | 2.142 | 0.0008369 | 0.0009007 | 0.01976 | -0.03666 | 1 | -0.00001141 | 0.0001152 | 0.00481 | 0.001347 | 0.0367 | 1.858 | 0.2265 | 0.01997 | 0.001324 | 1 | 1 | 0.004206 | 0.05395 | 0.1897 | 0.04835 | 0.6201 | 2.18 | json |
| t17_x2_u5_b107 | 17 | 2 | 5 | 107 | ![]() |
dot(P,min(P,sgn(R))) | 99903 | 138132131 | o2(x,o2(x,o1(x))) | true | 116031 | 116031 | 0.6644 | 0.8334 | 0.963 | 0.51 | 0.7142 | -1 | 1 | 2 | 1 | 1.242 | 0.01612 | 0.01924 | 0.04269 | -0.08845 | 1 | 0.00001634 | 0.04269 | 0.04281 | 0.03354 | 0.1831 | 4.29 | 2.355 | 0.06933 | 0.08369 | 1 | 1 | 0.04628 | 0.3031 | 0.7006 | 0.09074 | 0.5942 | 1.374 | json |
| t17_x2_u5_b108 | 17 | 2 | 5 | 108 | ![]() |
dot(P,dot(P,sgn(R))) | 99904 | 138132132 | o2(x,o2(x,o1(x))) | true | 116039 | 116039 | 0.05001 | 0.524 | 0.9407 | 0.9199 | 0.9591 | -1 | 1 | 2 | 1 | 1.897 | 0.07463 | 0.09632 | 0.1148 | -0.1269 | 1 | 0.000003212 | 0.3813 | 0.1845 | 0.1577 | 0.3971 | 3.46 | 2.828 | 0.1858 | 0.4145 | 1 | 1 | 0.1704 | 0.8193 | 1.787 | 0.1853 | 0.8906 | 1.942 | json |
| t17_x2_u5_b109 | 17 | 2 | 5 | 109 | ![]() |
dot(P,dst(P,sgn(R))) | 99905 | 138132133 | o2(x,o2(x,o1(x))) | true | 116047 | 116047 | 0.0008641 | 0.4994 | 0.9803 | 0.9756 | 0.9877 | -1 | 1 | 2 | 1 | 1.328 | 0.003195 | 0.003197 | 0.01211 | -0.0003555 | 1 | 3.097e-11 | 0.006561 | 0.009262 | 0.006249 | 0.07905 | 6.53 | 1.623 | 0.006551 | 0.006725 | 1 | 1 | 0.01226 | 0.09777 | 0.5431 | 0.01257 | 0.1002 | 0.5566 | json |
| t17_x2_u5_b110 | 17 | 2 | 5 | 110 | ![]() |
dst(P,add(P,sgn(R))) | 99906 | 138132134 | o2(x,o2(x,o1(x))) | true | 116055 | 116055 | 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_x2_u5_b111 | 17 | 2 | 5 | 111 | ![]() |
dst(P,sub(P,sgn(R))) | 99907 | 138132135 | o2(x,o2(x,o1(x))) | true | 116063 | 116063 | 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_x2_u5_b112 | 17 | 2 | 5 | 112 | ![]() |
dst(P,mlt(P,sgn(R))) | 99908 | 138132136 | o2(x,o2(x,o1(x))) | true | 116071 | 116071 | 0.8901 | 0.9865 | 0.8901 | 0.0811 | 0.2848 | 0 | 1 | 1 | 1 | 1.088 | 0.004462 | 0.004816 | 0.03008 | -0.03819 | 1 | -0.0004362 | 0.00709 | 0.02603 | 0.008377 | 0.09153 | 3.043 | 0.6836 | 0.1144 | 0.08742 | 1 | 1 | 0.01651 | 0.1057 | 0.1852 | 0.2035 | 1.303 | 2.284 | json |
| t17_x2_u5_b113 | 17 | 2 | 5 | 113 | ![]() |
dst(P,div(P,sgn(R))) | 99909 | 138132137 | o2(x,o2(x,o1(x))) | true | 116079 | 116079 | 0.8901 | 0.9865 | 0.8901 | 0.0811 | 0.2848 | 0 | 1 | 1 | 1 | 1.088 | 0.004462 | 0.004816 | 0.03008 | -0.03819 | 1 | -0.0004362 | 0.00709 | 0.02603 | 0.008377 | 0.09153 | 3.043 | 0.6836 | 0.1144 | 0.08742 | 1 | 1 | 0.01651 | 0.1057 | 0.1852 | 0.2035 | 1.303 | 2.284 | json |
| t17_x2_u5_b114 | 17 | 2 | 5 | 114 | ![]() |
dst(P,pow(P,sgn(R))) | 99910 | 138132138 | o2(x,o2(x,o1(x))) | true | 116087 | 116087 | -0.9691 | 0.01563 | 0.9996 | 0.06033 | 0.2456 | -1 | 1 | 2 | 1 | 0.122 | 0.005679 | 0.007771 | 0.006937 | -0.1555 | 1 | 0 | 0.02816 | 0.01377 | 0.0134 | 0.1158 | 16.69 | 2.828 | 0.2229 | 0.4667 | 1 | 1 | 0.009695 | 0.04659 | 0.06944 | 0.1607 | 0.7723 | 1.151 | json |
| t17_x2_u5_b115 | 17 | 2 | 5 | 115 | ![]() |
dst(P,mod(P,sgn(R))) | 99911 | 138132139 | o2(x,o2(x,o1(x))) | true | 116095 | 116095 | 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_x2_u5_b116 | 17 | 2 | 5 | 116 | ![]() |
dst(P,lrg(P,sgn(R))) | 99912 | 138132140 | o2(x,o2(x,o1(x))) | true | 116103 | 116103 | 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_x2_u5_b117 | 17 | 2 | 5 | 117 | ![]() |
dst(P,eql(P,sgn(R))) | 99913 | 138132141 | o2(x,o2(x,o1(x))) | true | 116111 | 116111 | 0.9916 | 0.9998 | 0.9916 | 0.006571 | 0.08106 | 8.471e-8 | 1 | 1 | 1 | 0.143 | 0.0001067 | 0.0001152 | 0.001511 | -0.03809 | 1 | -7.133e-11 | 0.00005665 | 0.0006751 | 0.0002195 | 0.01481 | 9.804 | 0.2415 | 0.03377 | 0.008621 | 1 | 1 | 0.0007392 | 0.007446 | 0.02412 | 0.1125 | 1.133 | 3.67 | json |
| t17_x2_u5_b118 | 17 | 2 | 5 | 118 | ![]() |
dst(P,min(P,sgn(R))) | 99914 | 138132142 | o2(x,o2(x,o1(x))) | true | 116119 | 116119 | 0.868 | 0.9932 | 0.868 | 0.08456 | 0.2908 | 0 | 1 | 1 | 1 | 1.526 | 0.0008691 | 0.0009575 | 0.01783 | -0.04838 | 1 | 0.000006409 | 0.0002771 | 0.005329 | 0.00151 | 0.03886 | 2.18 | 0.3082 | 0.0216 | 0.003277 | 1 | 1 | 0.004153 | 0.04745 | 0.09356 | 0.04911 | 0.5611 | 1.106 | json |
| t17_x2_u5_b119 | 17 | 2 | 5 | 119 | ![]() |
dst(P,dot(P,sgn(R))) | 99915 | 138132143 | o2(x,o2(x,o1(x))) | true | 116127 | 116127 | 0.9984 | 1 | 0.9984 | 0.001145 | 0.03383 | 0.001124 | 1 | 0.9989 | 1 | 0.04005 | 0.00005964 | 0.00004514 | 0.0005648 | 0.1384 | 1 | 3.754e-12 | 0.00004228 | 0.0003406 | 0.0001045 | 0.01022 | 18.1 | 0.2666 | 0.09154 | 0.03694 | 1 | 1 | 0.0003408 | 0.002939 | 0.00417 | 0.2977 | 2.567 | 3.643 | json |
| t17_x2_u5_b120 | 17 | 2 | 5 | 120 | ![]() |
dst(P,dst(P,sgn(R))) | 99916 | 138132144 | o2(x,o2(x,o1(x))) | true | 116135 | 116135 | 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_x2_u6_b0 | 17 | 2 | 6 | 0 | ![]() |
add(P,add(P,nrm(R))) | 99917 | 138132225 | o2(x,o2(x,o1(x))) | true | 116143 | 116143 | -0.002217 | 0.4984 | 0.9723 | 0.9614 | 0.9805 | -1 | 1 | 2 | 1 | 1.537 | 0.00164 | 0.0001719 | 0.008813 | 0.8102 | 1 | -0.000009171 | 0.0004009 | 0.003609 | 0.001733 | 0.04163 | 4.724 | 0.4188 | 0.001884 | 0.000417 | 1 | 1 | 0.004682 | 0.04898 | 0.3114 | 0.00487 | 0.05095 | 0.3239 | json |
| t17_x2_u6_b1 | 17 | 2 | 6 | 1 | ![]() |
add(P,sub(P,nrm(R))) | 99918 | 138132226 | o2(x,o2(x,o1(x))) | true | 116151 | 116151 | 0.002641 | 0.5023 | 0.9711 | 0.9598 | 0.9797 | -1 | 1 | 2 | 1 | 1.558 | 0.001577 | 0.0001751 | 0.008814 | 0.8001 | 1 | 0.00000937 | 0.0003851 | 0.003419 | 0.001673 | 0.0409 | 4.641 | 0.3977 | 0.001825 | 0.0004012 | 1 | 1 | 0.004559 | 0.04835 | 0.3102 | 0.004751 | 0.05037 | 0.3232 | json |
| t17_x2_u6_b2 | 17 | 2 | 6 | 2 | ![]() |
add(P,mlt(P,nrm(R))) | 99919 | 138132227 | o2(x,o2(x,o1(x))) | true | 116159 | 116159 | 0.003503 | 0.4999 | 0.9152 | 0.891 | 0.9439 | -1 | 1 | 2 | 1 | 2.198 | 0.001143 | 0.0004299 | 0.01323 | 0.4535 | 1 | -0.00001353 | 0.0005689 | 0.006377 | 0.001399 | 0.0374 | 2.828 | 0.404 | 0.001766 | 0.0006386 | 1 | 1 | 0.003338 | 0.03357 | 0.2307 | 0.003747 | 0.03768 | 0.2589 | json |
| t17_x2_u6_b3 | 17 | 2 | 6 | 3 | ![]() |
add(P,div(P,nrm(R))) | 99920 | 138132228 | o2(x,o2(x,o1(x))) | true | 116167 | 116167 | -0.02745 | 0.4889 | 0.9095 | 0.8854 | 0.9409 | -1 | 1 | 2 | 1 | 2.164 | 0.05408 | 0.07066 | 0.1093 | -0.1329 | 1 | 0.0004476 | 0.2338 | 0.1441 | 0.1127 | 0.3357 | 3.071 | 2.828 | 0.1409 | 0.2641 | 1 | 1 | 0.1489 | 0.8056 | 1.751 | 0.1682 | 0.9099 | 1.978 | json |
| t17_x2_u6_b4 | 17 | 2 | 6 | 4 | ![]() |
add(P,pow(P,nrm(R))) | 99921 | 138132229 | o2(x,o2(x,o1(x))) | true | 116175 | 116175 | -0.09913 | 0.4531 | 0.9946 | 0.9841 | 0.992 | -1 | 1 | 2 | 1 | 1.069 | 0.01302 | 0.004393 | 0.01034 | 0.4953 | 1 | -1.802e-10 | 0.03547 | 0.01925 | 0.01731 | 0.1316 | 12.73 | 2.828 | 0.01769 | 0.03604 | 1 | 1 | 0.02401 | 0.1015 | 0.3992 | 0.0244 | 0.1032 | 0.4057 | json |
| t17_x2_u6_b5 | 17 | 2 | 6 | 5 | ![]() |
add(P,mod(P,nrm(R))) | 99922 | 138132230 | o2(x,o2(x,o1(x))) | true | 116183 | 116183 | -0.0002998 | 0.5 | 0.9456 | 0.935 | 0.967 | -1 | 1 | 2 | 1 | 1.69 | 0.000935 | 0.000003499 | 0.007956 | 0.9925 | 1 | 1.192e-7 | 0.0001196 | 0.00233 | 0.0008757 | 0.02959 | 3.719 | 0.1737 | 0.001004 | 0.0001279 | 1 | 1 | 0.002361 | 0.02804 | 0.2484 | 0.002525 | 0.02998 | 0.2657 | json |
| t17_x2_u6_b6 | 17 | 2 | 6 | 6 | ![]() |
add(P,lrg(P,nrm(R))) | 99923 | 138132231 | o2(x,o2(x,o1(x))) | true | 116191 | 116191 | 0.03972 | 0.5198 | 0.9657 | 0.9543 | 0.9769 | -1 | 1 | 2 | 1 | 1.554 | 0.001197 | 0.00009554 | 0.008561 | 0.8522 | 1 | 0.000003562 | 0.0001197 | 0.002399 | 0.00122 | 0.03492 | 4.08 | 0.2338 | 0.001355 | 0.0001254 | 1 | 1 | 0.003358 | 0.04173 | 0.2916 | 0.003518 | 0.04373 | 0.3056 | json |
| t17_x2_u6_b7 | 17 | 2 | 6 | 7 | ![]() |
add(P,eql(P,nrm(R))) | 99924 | 138132232 | o2(x,o2(x,o1(x))) | true | 116199 | 116199 | 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_x2_u6_b8 | 17 | 2 | 6 | 8 | ![]() |
add(P,min(P,nrm(R))) | 99925 | 138132233 | o2(x,o2(x,o1(x))) | true | 116207 | 116207 | -0.03038 | 0.4833 | 0.9561 | 0.9423 | 0.9707 | -1 | 1 | 2 | 1 | 1.706 | 0.001196 | 0.0001151 | 0.008796 | 0.8244 | 1 | -0.00001747 | 0.0002526 | 0.003277 | 0.001233 | 0.03511 | 3.992 | 0.3153 | 0.001391 | 0.0002681 | 1 | 1 | 0.003258 | 0.03582 | 0.2672 | 0.003457 | 0.03802 | 0.2835 | json |
| t17_x2_u6_b9 | 17 | 2 | 6 | 9 | ![]() |
add(P,dot(P,nrm(R))) | 99926 | 138132234 | o2(x,o2(x,o1(x))) | true | 116215 | 116215 | -0.03543 | 0.4841 | 0.924 | 0.8981 | 0.9477 | -1 | 1 | 2 | 1 | 2.125 | 0.01024 | 0.01324 | 0.04718 | -0.1277 | 1 | -0.000168 | 0.01694 | 0.03447 | 0.02123 | 0.1457 | 3.089 | 1.595 | 0.02614 | 0.01887 | 1 | 1 | 0.03361 | 0.2643 | 0.6924 | 0.03743 | 0.2943 | 0.771 | json |
| t17_x2_u6_b10 | 17 | 2 | 6 | 10 | ![]() |
add(P,dst(P,nrm(R))) | 99927 | 138132235 | o2(x,o2(x,o1(x))) | true | 116223 | 116223 | 0.8965 | 0.965 | 0.9117 | 0.08105 | 0.2847 | -0.5594 | 1 | 1.559 | 1 | 1.265 | 0.0003828 | 0.0006368 | 0.01028 | -0.2491 | 1 | -0.00001261 | 0.0001386 | 0.002948 | 0.0009144 | 0.03024 | 2.943 | 0.2681 | 0.01258 | 0.00171 | 1 | 1 | 0.002286 | 0.02677 | 0.09977 | 0.0282 | 0.3302 | 1.231 | json |
| t17_x2_u6_b11 | 17 | 2 | 6 | 11 | ![]() |
sub(P,add(P,nrm(R))) | 99928 | 138132236 | o2(x,o2(x,o1(x))) | true | 116231 | 116231 | 0.004333 | 0.5104 | 0.3952 | 0.209 | 0.4572 | -0.9534 | 0.9488 | 1.902 | 1 | 4.783 | 0.002736 | 0.002944 | 0.06188 | -0.03652 | 1 | 0.000006012 | 0.0003349 | 0.01431 | 0.001851 | 0.04303 | 0.6953 | 0.2114 | 0.02718 | 0.001602 | 1 | 1 | 0.01108 | 0.1426 | 0.3701 | 0.05303 | 0.6821 | 1.771 | json |
| t17_x2_u6_b12 | 17 | 2 | 6 | 12 | ![]() |
sub(P,sub(P,nrm(R))) | 99929 | 138132237 | o2(x,o2(x,o1(x))) | true | 116239 | 116239 | -0.004333 | 0.4894 | 0.3952 | 0.209 | 0.4572 | -0.9488 | 0.9534 | 1.902 | 1 | 4.783 | 0.002736 | 0.002944 | 0.06188 | -0.03652 | 1 | -0.000006011 | 0.0003349 | 0.01431 | 0.001851 | 0.04303 | 0.6953 | 0.2114 | 0.02718 | 0.001602 | 1 | 1 | 0.01108 | 0.1426 | 0.3701 | 0.05303 | 0.6821 | 1.771 | json |
| t17_x2_u6_b13 | 17 | 2 | 6 | 13 | ![]() |
sub(P,mlt(P,nrm(R))) | 99930 | 138132238 | o2(x,o2(x,o1(x))) | true | 116247 | 116247 | -0.001697 | 0.499 | 0.9033 | 0.8798 | 0.938 | -1 | 1 | 2 | 1 | 2.201 | 0.0009778 | 0.0004228 | 0.01207 | 0.3963 | 1 | 0.00004576 | 0.0005409 | 0.005722 | 0.001254 | 0.03542 | 2.934 | 0.4207 | 0.001592 | 0.0006147 | 1 | 1 | 0.003141 | 0.03073 | 0.215 | 0.00357 | 0.03492 | 0.2444 | json |
| t17_x2_u6_b14 | 17 | 2 | 6 | 14 | ![]() |
sub(P,div(P,nrm(R))) | 99931 | 138132239 | o2(x,o2(x,o1(x))) | true | 116255 | 116255 | 0.05647 | 0.526 | 0.8992 | 0.8724 | 0.934 | -1 | 1 | 2 | 1 | 2.218 | 0.05375 | 0.06815 | 0.1066 | -0.1181 | 1 | -0.00008119 | 0.2254 | 0.1409 | 0.1105 | 0.3324 | 3.118 | 2.828 | 0.1397 | 0.2583 | 1 | 1 | 0.1376 | 0.7179 | 1.563 | 0.1578 | 0.8229 | 1.792 | json |
| t17_x2_u6_b15 | 17 | 2 | 6 | 15 | ![]() |
sub(P,pow(P,nrm(R))) | 99932 | 138132240 | o2(x,o2(x,o1(x))) | true | 116263 | 116263 | -0.1455 | 0.4374 | 0.9483 | 0.9188 | 0.9585 | -1 | 1 | 2 | 1 | 1.532 | 0.004363 | 0.001586 | 0.01016 | 0.4667 | 1 | -0.000001595 | 0.01138 | 0.01247 | 0.005844 | 0.07645 | 7.522 | 1.414 | 0.006475 | 0.01239 | 1 | 1 | 0.008705 | 0.04906 | 0.2883 | 0.009474 | 0.0534 | 0.3138 | json |
| t17_x2_u6_b16 | 17 | 2 | 6 | 16 | ![]() |
sub(P,mod(P,nrm(R))) | 99933 | 138132241 | o2(x,o2(x,o1(x))) | true | 116271 | 116271 | 0.001243 | 0.5 | 0.9124 | 0.8874 | 0.942 | -1 | 1 | 2 | 1 | 2.239 | 0.0005464 | 0.00002362 | 0.008346 | 0.9171 | 1 | 2.021e-7 | 0.00008055 | 0.002678 | 0.0005007 | 0.02238 | 2.681 | 0.1446 | 0.0006423 | 0.00009077 | 1 | 1 | 0.001484 | 0.01829 | 0.1957 | 0.001672 | 0.02061 | 0.2205 | json |
| t17_x2_u6_b17 | 17 | 2 | 6 | 17 | ![]() |
sub(P,lrg(P,nrm(R))) | 99934 | 138132242 | o2(x,o2(x,o1(x))) | true | 116279 | 116279 | -0.09766 | 0.4375 | 0.9102 | 0.8845 | 0.9405 | -1 | 1 | 2 | 1 | 1.994 | 0.0006768 | 0.0001053 | 0.00895 | 0.7306 | 1 | -0.000005704 | 0.00003873 | 0.002112 | 0.000702 | 0.0265 | 2.96 | 0.1169 | 0.0008842 | 0.00004379 | 1 | 1 | 0.002072 | 0.02729 | 0.2147 | 0.002342 | 0.03086 | 0.2427 | json |
| t17_x2_u6_b18 | 17 | 2 | 6 | 18 | ![]() |
sub(P,eql(P,nrm(R))) | 99935 | 138132243 | o2(x,o2(x,o1(x))) | true | 116287 | 116287 | 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_x2_u6_b19 | 17 | 2 | 6 | 19 | ![]() |
sub(P,min(P,nrm(R))) | 99936 | 138132244 | o2(x,o2(x,o1(x))) | true | 116295 | 116295 | 0.4744 | 0.5445 | 0.4744 | 0.2313 | 0.481 | 0 | 1 | 1 | 1 | 1.672 | 0.0004197 | 0.0001522 | 0.006285 | 0.4679 | 1 | 0.000003755 | 0.0001262 | 0.002154 | 0.0005325 | 0.02308 | 3.672 | 0.2881 | 0.002472 | 0.0005456 | 1 | 1 | 0.001491 | 0.01638 | 0.07371 | 0.006445 | 0.07079 | 0.3186 | json |
| t17_x2_u6_b20 | 17 | 2 | 6 | 20 | ![]() |
sub(P,dot(P,nrm(R))) | 99937 | 138132245 | o2(x,o2(x,o1(x))) | true | 116303 | 116303 | 0.03126 | 0.5123 | 0.9053 | 0.8736 | 0.9347 | -1 | 1 | 2 | 1 | 2.33 | 0.01243 | 0.01603 | 0.05644 | -0.1266 | 1 | 0.00007043 | 0.01972 | 0.03974 | 0.02526 | 0.1589 | 2.816 | 1.528 | 0.03257 | 0.02257 | 1 | 1 | 0.03434 | 0.2774 | 0.6968 | 0.03931 | 0.3175 | 0.7976 | json |
| t17_x2_u6_b21 | 17 | 2 | 6 | 21 | ![]() |
sub(P,dst(P,nrm(R))) | 99938 | 138132246 | o2(x,o2(x,o1(x))) | true | 116311 | 116311 | -0.8787 | 0.05386 | 0.9084 | 0.1103 | 0.3321 | -1 | 0.7215 | 1.721 | 1 | 1.305 | 0.0005551 | 0.0006049 | 0.01161 | -0.0429 | 1 | 0.000004234 | 0.0001366 | 0.003291 | 0.001025 | 0.03202 | 2.759 | 0.2293 | 0.01052 | 0.001238 | 1 | 1 | 0.002716 | 0.03383 | 0.1252 | 0.02463 | 0.3067 | 1.135 | json |
| t17_x2_u6_b22 | 17 | 2 | 6 | 22 | ![]() |
mlt(P,add(P,nrm(R))) | 99939 | 138132247 | o2(x,o2(x,o1(x))) | true | 116319 | 116319 | 0.9271 | 0.9994 | 0.9271 | 0.0519 | 0.2278 | 0.00006413 | 1 | 0.9999 | 1 | 0.8968 | 0.0009347 | 0.0001492 | 0.009018 | 0.7247 | 1 | -0.00001096 | 0.0002947 | 0.003599 | 0.001002 | 0.03166 | 3.511 | 0.2993 | 0.02089 | 0.005679 | 1 | 1 | 0.002563 | 0.02683 | 0.08603 | 0.04939 | 0.517 | 1.658 | json |
| t17_x2_u6_b23 | 17 | 2 | 6 | 23 | ![]() |
mlt(P,sub(P,nrm(R))) | 99940 | 138132248 | o2(x,o2(x,o1(x))) | true | 116327 | 116327 | 0.9183 | 0.9988 | 0.9183 | 0.05844 | 0.2418 | 0.00001832 | 1 | 1 | 1 | 0.9508 | 0.0009558 | 0.00019 | 0.009325 | 0.6683 | 1 | -0.00001031 | 0.0003438 | 0.003836 | 0.001059 | 0.03254 | 3.49 | 0.3734 | 0.0196 | 0.005882 | 1 | 1 | 0.002742 | 0.02808 | 0.09642 | 0.04692 | 0.4804 | 1.65 | json |
| t17_x2_u6_b24 | 17 | 2 | 6 | 24 | ![]() |
mlt(P,mlt(P,nrm(R))) | 99941 | 138132249 | o2(x,o2(x,o1(x))) | true | 116335 | 116335 | -0.02383 | 0.4922 | 0.8381 | 0.7999 | 0.8944 | -1 | 1 | 2 | 1 | 2.723 | 0.04945 | 0.05953 | 0.09886 | -0.09248 | 1 | 0.00004982 | 0.2035 | 0.1234 | 0.0992 | 0.315 | 3.186 | 2.828 | 0.1362 | 0.2544 | 1 | 1 | 0.1133 | 0.6413 | 1.342 | 0.1416 | 0.8017 | 1.678 | json |
| t17_x2_u6_b25 | 17 | 2 | 6 | 25 | ![]() |
mlt(P,div(P,nrm(R))) | 99942 | 138132250 | o2(x,o2(x,o1(x))) | true | 116343 | 116343 | -0.04199 | 0.4833 | 0.9394 | 0.9252 | 0.9619 | -1 | 1 | 2 | 1 | 1.766 | 0.08426 | 0.1051 | 0.116 | -0.1103 | 1 | 0.0002077 | 0.4622 | 0.1994 | 0.1761 | 0.4196 | 3.617 | 2.828 | 0.2047 | 0.4996 | 1 | 1 | 0.1912 | 0.8646 | 1.785 | 0.2066 | 0.9346 | 1.929 | json |
| t17_x2_u6_b26 | 17 | 2 | 6 | 26 | ![]() |
mlt(P,pow(P,nrm(R))) | 99943 | 138132251 | o2(x,o2(x,o1(x))) | true | 116351 | 116351 | -0.1016 | 0.4531 | 0.9922 | 0.9808 | 0.9903 | -1 | 1 | 2 | 1 | 1.12 | 0.01294 | 0.003616 | 0.0101 | 0.5632 | 1 | -1.765e-10 | 0.03388 | 0.01859 | 0.01646 | 0.1283 | 12.7 | 2.828 | 0.01688 | 0.03455 | 1 | 1 | 0.02269 | 0.09441 | 0.3825 | 0.02313 | 0.09626 | 0.39 | json |
| t17_x2_u6_b27 | 17 | 2 | 6 | 27 | ![]() |
mlt(P,mod(P,nrm(R))) | 99944 | 138132252 | o2(x,o2(x,o1(x))) | true | 116359 | 116359 | 0.6555 | 0.9946 | 0.6555 | 0.1261 | 0.3551 | 7.109e-7 | 1 | 1 | 1 | 3.237 | 0.001702 | 0.001581 | 0.03295 | 0.03668 | 1 | -0.0001268 | 0.001045 | 0.01365 | 0.002197 | 0.04688 | 1.423 | 0.3422 | 0.02604 | 0.008291 | 1 | 1 | 0.005265 | 0.05411 | 0.1623 | 0.04176 | 0.4292 | 1.288 | json |
| t17_x2_u6_b28 | 17 | 2 | 6 | 28 | ![]() |
mlt(P,lrg(P,nrm(R))) | 99945 | 138132253 | o2(x,o2(x,o1(x))) | true | 116367 | 116367 | 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_x2_u6_b29 | 17 | 2 | 6 | 29 | ![]() |
mlt(P,eql(P,nrm(R))) | 99946 | 138132254 | o2(x,o2(x,o1(x))) | true | 116375 | 116375 | 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_x2_u6_b30 | 17 | 2 | 6 | 30 | ![]() |
mlt(P,min(P,nrm(R))) | 99947 | 138132255 | o2(x,o2(x,o1(x))) | true | 116383 | 116383 | 0.4306 | 0.7323 | 0.8323 | 0.6028 | 0.7764 | -1 | 1 | 2 | 1 | 2.728 | 0.009417 | 0.009854 | 0.0521 | -0.02267 | 1 | -0.00002136 | 0.01018 | 0.02637 | 0.01655 | 0.1286 | 2.469 | 1.316 | 0.03197 | 0.01688 | 1 | 1 | 0.0253 | 0.2435 | 0.6164 | 0.04198 | 0.4039 | 1.023 | json |
| t17_x2_u6_b31 | 17 | 2 | 6 | 31 | ![]() |
mlt(P,dot(P,nrm(R))) | 99948 | 138132256 | o2(x,o2(x,o1(x))) | true | 116391 | 116391 | 0.08151 | 0.5551 | 0.8981 | 0.868 | 0.9317 | -1 | 1 | 2 | 1 | 2.202 | 0.05507 | 0.07108 | 0.1067 | -0.1269 | 1 | -0.0000935 | 0.24 | 0.1426 | 0.1147 | 0.3387 | 3.175 | 2.828 | 0.1453 | 0.2765 | 1 | 1 | 0.1266 | 0.7046 | 1.447 | 0.1459 | 0.8118 | 1.667 | json |
| t17_x2_u6_b32 | 17 | 2 | 6 | 32 | ![]() |
mlt(P,dst(P,nrm(R))) | 99949 | 138132257 | o2(x,o2(x,o1(x))) | true | 116399 | 116399 | -0.002198 | 0.5 | 0.9643 | 0.9581 | 0.9788 | -1 | 1 | 2 | 1 | 1.461 | 0.00183 | 0.00002331 | 0.008078 | 0.9749 | 1 | 2.084e-7 | 0.0008658 | 0.005098 | 0.001789 | 0.0423 | 5.236 | 0.4729 | 0.001935 | 0.0009037 | 1 | 1 | 0.00399 | 0.03593 | 0.2768 | 0.004165 | 0.0375 | 0.289 | json |
| t17_x2_u6_b33 | 17 | 2 | 6 | 33 | ![]() |
div(P,add(P,nrm(R))) | 99950 | 138132258 | o2(x,o2(x,o1(x))) | true | 116407 | 116407 | 0.9015 | 1 | 0.9015 | 0.04537 | 0.213 | 0.0001503 | 1 | 0.9998 | 1 | 1.829 | 0.0009593 | 0.0002323 | 0.01376 | 0.6101 | 1 | -0.00002294 | 0.0003517 | 0.005878 | 0.001003 | 0.03166 | 2.301 | 0.381 | 0.02627 | 0.007753 | 1 | 1 | 0.002779 | 0.02802 | 0.07178 | 0.06126 | 0.6175 | 1.582 | json |
| t17_x2_u6_b34 | 17 | 2 | 6 | 34 | ![]() |
div(P,sub(P,nrm(R))) | 99951 | 138132259 | o2(x,o2(x,o1(x))) | true | 116415 | 116415 | 0.9053 | 1 | 0.9053 | 0.0405 | 0.2013 | 0.0001635 | 1 | 0.9998 | 1 | 1.821 | 0.001226 | 0.0002692 | 0.01439 | 0.64 | 1 | -0.00003501 | 0.0006536 | 0.00686 | 0.001288 | 0.03589 | 2.495 | 0.5897 | 0.03692 | 0.01614 | 1 | 1 | 0.003381 | 0.03064 | 0.0661 | 0.08347 | 0.7565 | 1.632 | json |
| t17_x2_u6_b35 | 17 | 2 | 6 | 35 | ![]() |
div(P,mlt(P,nrm(R))) | 99952 | 138132260 | o2(x,o2(x,o1(x))) | true | 116423 | 116423 | -0.1787 | 0.4112 | 0.904 | 0.8395 | 0.9163 | -1 | 1 | 2 | 1 | 2.382 | 0.04137 | 0.03177 | 0.1057 | 0.1314 | 1 | 0.0001892 | 0.08422 | 0.08575 | 0.062 | 0.249 | 2.356 | 2.828 | 0.08712 | 0.1003 | 1 | 1 | 0.1062 | 0.6988 | 1.581 | 0.1265 | 0.8324 | 1.883 | json |
| t17_x2_u6_b36 | 17 | 2 | 6 | 36 | ![]() |
div(P,div(P,nrm(R))) | 99953 | 138132261 | o2(x,o2(x,o1(x))) | true | 116431 | 116431 | -0.1342 | 0.4242 | 0.4667 | 0.2869 | 0.5357 | -1 | 0.9534 | 1.953 | 1 | 4.725 | 0.01496 | 0.002581 | 0.06254 | 0.7057 | 1 | 0.00001575 | 0.02582 | 0.0308 | 0.01363 | 0.1168 | 1.867 | 1.937 | 0.06114 | 0.09001 | 1 | 1 | 0.02451 | 0.1692 | 0.4551 | 0.08541 | 0.5897 | 1.586 | json |
| t17_x2_u6_b37 | 17 | 2 | 6 | 37 | ![]() |
div(P,pow(P,nrm(R))) | 99954 | 138132262 | o2(x,o2(x,o1(x))) | true | 116439 | 116439 | -0.08984 | 0.4609 | 0.9883 | 0.9775 | 0.9887 | -1 | 1 | 2 | 1 | 1.174 | 0.01156 | 0.001808 | 0.009021 | 0.7296 | 1 | -5.632e-11 | 0.02695 | 0.0155 | 0.01328 | 0.1153 | 12.78 | 2.828 | 0.01368 | 0.02757 | 1 | 1 | 0.01932 | 0.08219 | 0.3617 | 0.01976 | 0.08408 | 0.3701 | json |
| t17_x2_u6_b38 | 17 | 2 | 6 | 38 | ![]() |
div(P,mod(P,nrm(R))) | 99955 | 138132263 | o2(x,o2(x,o1(x))) | true | 116447 | 116447 | 0.75 | 0.875 | 1 | 0.4375 | 0.6614 | -1 | 1 | 2 | 1 | 0.5436 | 0.03175 | 0 | 0.01587 | 1 | 1 | 0 | 0.06349 | 0.03175 | 0.03149 | 0.1774 | 11.18 | 2 | 0.07256 | 0.1451 | 1 | 1 | 0.04211 | 0.1684 | 0.6737 | 0.09624 | 0.385 | 1.54 | json |
| t17_x2_u6_b39 | 17 | 2 | 6 | 39 | ![]() |
div(P,lrg(P,nrm(R))) | 99956 | 138132264 | o2(x,o2(x,o1(x))) | true | 116455 | 116455 | -0.08984 | 0.4609 | 0.9883 | 0.9775 | 0.9887 | -1 | 1 | 2 | 1 | 1.174 | 0.01156 | 0.001808 | 0.009021 | 0.7296 | 1 | -5.632e-11 | 0.02695 | 0.0155 | 0.01328 | 0.1153 | 12.78 | 2.828 | 0.01368 | 0.02757 | 1 | 1 | 0.01932 | 0.08219 | 0.3617 | 0.01976 | 0.08408 | 0.3701 | json |
| t17_x2_u6_b40 | 17 | 2 | 6 | 40 | ![]() |
div(P,eql(P,nrm(R))) | 99957 | 138132265 | o2(x,o2(x,o1(x))) | true | 116463 | 116463 | -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_x2_u6_b41 | 17 | 2 | 6 | 41 | ![]() |
div(P,min(P,nrm(R))) | 99958 | 138132266 | o2(x,o2(x,o1(x))) | true | 116471 | 116471 | 0.3293 | 0.6736 | 0.962 | 0.8432 | 0.9183 | -1 | 1 | 2 | 1 | 1.5 | 0.04638 | 0.04305 | 0.06625 | 0.03725 | 1 | 0.0002098 | 0.1726 | 0.09858 | 0.08504 | 0.2916 | 4.402 | 2.828 | 0.106 | 0.2047 | 1 | 1 | 0.1053 | 0.5149 | 1.203 | 0.1249 | 0.6106 | 1.427 | json |
| t17_x2_u6_b42 | 17 | 2 | 6 | 42 | ![]() |
div(P,dot(P,nrm(R))) | 99959 | 138132267 | o2(x,o2(x,o1(x))) | true | 116479 | 116479 | 0.01656 | 0.5277 | 0.7613 | 0.6921 | 0.832 | -1 | 1 | 2 | 1 | 3.59 | 0.02203 | 0.02416 | 0.09679 | -0.04602 | 1 | -0.00009856 | 0.04112 | 0.06368 | 0.03682 | 0.1919 | 1.982 | 2.501 | 0.06674 | 0.05942 | 1 | 1 | 0.08127 | 0.5722 | 1.415 | 0.1174 | 0.8266 | 2.044 | json |
| t17_x2_u6_b43 | 17 | 2 | 6 | 43 | ![]() |
div(P,dst(P,nrm(R))) | 99960 | 138132268 | o2(x,o2(x,o1(x))) | true | 116487 | 116487 | 0.005399 | 0.4978 | 0.6321 | 0.4815 | 0.6939 | -1 | 1 | 2 | 1 | 4.803 | 0.0002307 | 0.0001097 | 0.01166 | 0.3556 | 1 | -1.829e-7 | 0.00003609 | 0.002901 | 0.0002045 | 0.0143 | 1.227 | 0.1842 | 0.0007069 | 0.00007495 | 1 | 1 | 0.001047 | 0.0129 | 0.1056 | 0.002173 | 0.02679 | 0.2192 | json |
| t17_x2_u6_b44 | 17 | 2 | 6 | 44 | ![]() |
pow(P,add(P,nrm(R))) | 99961 | 138132269 | o2(x,o2(x,o1(x))) | true | 116495 | 116495 | -0.1016 | 0.4531 | 0.9922 | 0.9808 | 0.9903 | -1 | 1 | 2 | 1 | 1.12 | 0.01294 | 0.003616 | 0.0101 | 0.5632 | 1 | -1.765e-10 | 0.03388 | 0.01859 | 0.01646 | 0.1283 | 12.7 | 2.828 | 0.01688 | 0.03455 | 1 | 1 | 0.02269 | 0.09441 | 0.3825 | 0.02313 | 0.09626 | 0.39 | json |
| t17_x2_u6_b45 | 17 | 2 | 6 | 45 | ![]() |
pow(P,sub(P,nrm(R))) | 99962 | 138132270 | o2(x,o2(x,o1(x))) | true | 116503 | 116503 | -0.08984 | 0.4609 | 0.9883 | 0.9775 | 0.9887 | -1 | 1 | 2 | 1 | 1.174 | 0.01156 | 0.001808 | 0.009021 | 0.7296 | 1 | -5.632e-11 | 0.02695 | 0.0155 | 0.01328 | 0.1153 | 12.78 | 2.828 | 0.01368 | 0.02757 | 1 | 1 | 0.01932 | 0.08219 | 0.3617 | 0.01976 | 0.08408 | 0.3701 | json |
| t17_x2_u6_b46 | 17 | 2 | 6 | 46 | ![]() |
pow(P,mlt(P,nrm(R))) | 99963 | 138132271 | o2(x,o2(x,o1(x))) | true | 116511 | 116511 | -0.08344 | 0.4981 | 0.9166 | 0.8894 | 0.9431 | -1 | 1 | 2 | 1 | 1.921 | 0.01856 | 0.003406 | 0.02489 | 0.6899 | 1 | -0.00005317 | 0.0409 | 0.03271 | 0.02134 | 0.1461 | 5.869 | 2 | 0.0247 | 0.04599 | 1 | 1 | 0.02867 | 0.1229 | 0.3965 | 0.03223 | 0.1381 | 0.4458 | json |
| t17_x2_u6_b47 | 17 | 2 | 6 | 47 | ![]() |
pow(P,div(P,nrm(R))) | 99964 | 138132272 | o2(x,o2(x,o1(x))) | true | 116519 | 116519 | -0.126 | 0.4344 | 0.9521 | 0.9325 | 0.9656 | -1 | 1 | 2 | 1 | 1.399 | 0.02875 | 0.0144 | 0.02997 | 0.3325 | 1 | -0.00004522 | 0.08998 | 0.05506 | 0.04225 | 0.2055 | 6.859 | 2.828 | 0.04628 | 0.0965 | 1 | 1 | 0.039 | 0.1596 | 0.5373 | 0.04183 | 0.1711 | 0.5762 | json |
| t17_x2_u6_b48 | 17 | 2 | 6 | 48 | ![]() |
pow(P,pow(P,nrm(R))) | 99965 | 138132273 | o2(x,o2(x,o1(x))) | true | 116527 | 116527 | -0.01758 | 0.5 | 0.9824 | 0.9771 | 0.9885 | -1 | 1 | 2 | 1 | 1.292 | 0.009278 | 0.00005267 | 0.008427 | 0.9887 | 1 | -0.000002852 | 0.01819 | 0.01206 | 0.009256 | 0.09621 | 11.42 | 2 | 0.00955 | 0.01862 | 1 | 1 | 0.01289 | 0.06089 | 0.3164 | 0.01319 | 0.06232 | 0.3238 | json |
| t17_x2_u6_b49 | 17 | 2 | 6 | 49 | ![]() |
pow(P,mod(P,nrm(R))) | 99966 | 138132274 | o2(x,o2(x,o1(x))) | true | 116535 | 116535 | 0 | 0.5 | 1 | 1 | 1 | -1 | 1 | 2 | 1 | 1 | 0.01587 | 0 | 0.007937 | 1 | 1 | 0 | 0.03175 | 0.01587 | 0.01581 | 0.1257 | 15.84 | 2 | 0.01587 | 0.03175 | 1 | 1 | 0.02105 | 0.08421 | 0.3368 | 0.02105 | 0.08421 | 0.3368 | json |
| t17_x2_u6_b50 | 17 | 2 | 6 | 50 | ![]() |
pow(P,lrg(P,nrm(R))) | 99967 | 138132275 | o2(x,o2(x,o1(x))) | true | 116543 | 116543 | 0.9648 | 1 | 0.9648 | 0.02431 | 0.1559 | 0.000291 | 1 | 0.9997 | 1 | 0.5835 | 0.0003631 | 0.0001053 | 0.005422 | 0.5502 | 1 | -0.000005705 | 0.00002431 | 0.001291 | 0.0004388 | 0.02095 | 3.863 | 0.1169 | 0.01927 | 0.001 | 1 | 1 | 0.001224 | 0.01595 | 0.05043 | 0.05036 | 0.656 | 2.074 | json |
| t17_x2_u6_b51 | 17 | 2 | 6 | 51 | ![]() |
pow(P,eql(P,nrm(R))) | 99968 | 138132276 | o2(x,o2(x,o1(x))) | true | 116551 | 116551 | 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_x2_u6_b52 | 17 | 2 | 6 | 52 | ![]() |
pow(P,min(P,nrm(R))) | 99969 | 138132277 | o2(x,o2(x,o1(x))) | true | 116559 | 116559 | -0.1669 | 0.4531 | 0.9269 | 0.8618 | 0.9283 | -1 | 1 | 2 | 1 | 2.102 | 0.01642 | 0.006654 | 0.02267 | 0.4233 | 1 | -0.00009349 | 0.04586 | 0.02789 | 0.02255 | 0.1502 | 6.622 | 2.828 | 0.02678 | 0.05321 | 1 | 1 | 0.03145 | 0.1323 | 0.4356 | 0.03649 | 0.1535 | 0.5055 | json |
| t17_x2_u6_b53 | 17 | 2 | 6 | 53 | ![]() |
pow(P,dot(P,nrm(R))) | 99970 | 138132278 | o2(x,o2(x,o1(x))) | true | 116567 | 116567 | -0.1757 | 0.4536 | 0.9102 | 0.8664 | 0.9308 | -1 | 1 | 2 | 1 | 1.767 | 0.01562 | 0.005874 | 0.02388 | 0.4533 | 1 | -0.000109 | 0.04171 | 0.03441 | 0.02092 | 0.1446 | 6.056 | 2.828 | 0.0248 | 0.04814 | 1 | 1 | 0.02579 | 0.1191 | 0.4214 | 0.02976 | 0.1374 | 0.4864 | json |
| t17_x2_u6_b54 | 17 | 2 | 6 | 54 | ![]() |
pow(P,dst(P,nrm(R))) | 99971 | 138132279 | o2(x,o2(x,o1(x))) | true | 116575 | 116575 | -0.03125 | 0.5 | 0.9688 | 0.9603 | 0.98 | -1 | 1 | 2 | 1 | 1.406 | 0.004323 | 0 | 0.007937 | 1 | 1 | -9.386e-13 | 0.007903 | 0.008812 | 0.004259 | 0.06526 | 8.223 | 1 | 0.004502 | 0.008229 | 1 | 1 | 0.006228 | 0.03975 | 0.2856 | 0.006485 | 0.04139 | 0.2974 | json |
| t17_x2_u6_b55 | 17 | 2 | 6 | 55 | ![]() |
mod(P,add(P,nrm(R))) | 99972 | 138132280 | o2(x,o2(x,o1(x))) | true | 116583 | 116583 | -0.003701 | 0.499 | 0.7854 | 0.7125 | 0.8441 | -1 | 1 | 2 | 1 | 3.582 | 0.00211 | 0.002179 | 0.03256 | -0.01612 | 1 | -0.00001217 | 0.002225 | 0.01883 | 0.003227 | 0.05681 | 1.745 | 0.4616 | 0.006019 | 0.003123 | 1 | 1 | 0.007139 | 0.06307 | 0.2359 | 0.01002 | 0.08852 | 0.3311 | json |
| t17_x2_u6_b56 | 17 | 2 | 6 | 56 | ![]() |
mod(P,sub(P,nrm(R))) | 99973 | 138132281 | o2(x,o2(x,o1(x))) | true | 116591 | 116591 | 0.008597 | 0.498 | 0.7982 | 0.7355 | 0.8576 | -1 | 1 | 2 | 1 | 3.376 | 0.001736 | 0.002309 | 0.02962 | -0.1416 | 1 | -0.00001587 | 0.002159 | 0.01772 | 0.003169 | 0.05629 | 1.9 | 0.4246 | 0.005499 | 0.002936 | 1 | 1 | 0.006688 | 0.05719 | 0.2053 | 0.009093 | 0.07776 | 0.2791 | json |
| t17_x2_u6_b57 | 17 | 2 | 6 | 57 | ![]() |
mod(P,mlt(P,nrm(R))) | 99974 | 138132282 | o2(x,o2(x,o1(x))) | true | 116599 | 116599 | -0.1345 | 0.4375 | 0.7478 | 0.6276 | 0.7922 | -1 | 1 | 2 | 1 | 3.929 | 0.009805 | 0.001202 | 0.03727 | 0.7815 | 1 | 0.0000305 | 0.0175 | 0.02665 | 0.009622 | 0.09809 | 2.632 | 1.486 | 0.01754 | 0.02788 | 1 | 1 | 0.0148 | 0.08694 | 0.3329 | 0.02358 | 0.1385 | 0.5305 | json |
| t17_x2_u6_b58 | 17 | 2 | 6 | 58 | ![]() |
mod(P,div(P,nrm(R))) | 99975 | 138132283 | o2(x,o2(x,o1(x))) | true | 116607 | 116607 | -0.125 | 0.4375 | 1 | 0.9844 | 0.9922 | -1 | 1 | 2 | 1 | 0.9887 | 0.01587 | 0 | 0.007937 | 1 | 1 | 0 | 0.03175 | 0.01587 | 0.01581 | 0.1257 | 15.84 | 2 | 0.01612 | 0.03225 | 1 | 1 | 0.02105 | 0.08421 | 0.3368 | 0.02139 | 0.08555 | 0.3422 | json |
| t17_x2_u6_b59 | 17 | 2 | 6 | 59 | ![]() |
mod(P,pow(P,nrm(R))) | 99976 | 138132284 | o2(x,o2(x,o1(x))) | true | 116615 | 116615 | -0.3484 | 0.4357 | 0.7766 | 0.5962 | 0.7722 | -1 | 1 | 2 | 1 | 2.593 | 0.004869 | 0.0007105 | 0.02137 | 0.7453 | 1 | -0.00006542 | 0.008288 | 0.01387 | 0.005123 | 0.07158 | 3.349 | 1 | 0.009358 | 0.0139 | 1 | 1 | 0.007525 | 0.04991 | 0.2378 | 0.01262 | 0.08371 | 0.3988 | json |
| t17_x2_u6_b60 | 17 | 2 | 6 | 60 | ![]() |
mod(P,mod(P,nrm(R))) | 99977 | 138132285 | o2(x,o2(x,o1(x))) | true | 116623 | 116623 | -0.1233 | 0.4375 | 0.2413 | 0.135 | 0.3674 | -1 | 0.6625 | 1.663 | 1 | 3.581 | 0.008125 | 0.0001409 | 0.02009 | 0.9659 | 1 | 0.000005974 | 0.01593 | 0.0186 | 0.007862 | 0.08867 | 4.415 | 1.292 | 0.06124 | 0.118 | 1 | 1 | 0.01104 | 0.04922 | 0.1886 | 0.08178 | 0.3647 | 1.397 | json |
| t17_x2_u6_b61 | 17 | 2 | 6 | 61 | ![]() |
mod(P,lrg(P,nrm(R))) | 99978 | 138132286 | o2(x,o2(x,o1(x))) | true | 116631 | 116631 | -0.5391 | 0 | 0.5391 | 0.2487 | 0.4987 | -1 | 0 | 1 | 1 | 0.9956 | 0.003968 | 0.0007559 | 0.004715 | 0.68 | 1 | 0 | 0.009637 | 0.009448 | 0.004701 | 0.06856 | 14.54 | 1.414 | 0.019 | 0.03876 | 1 | 1 | 0.006593 | 0.02637 | 0.1017 | 0.02651 | 0.1061 | 0.4091 | json |
| t17_x2_u6_b62 | 17 | 2 | 6 | 62 | ![]() |
mod(P,eql(P,nrm(R))) | 99979 | 138132287 | o2(x,o2(x,o1(x))) | true | 116639 | 116639 | -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_x2_u6_b63 | 17 | 2 | 6 | 63 | ![]() |
mod(P,min(P,nrm(R))) | 99980 | 138132288 | o2(x,o2(x,o1(x))) | true | 116647 | 116647 | -0.2138 | 0.4601 | 0.443 | 0.3126 | 0.5591 | -1 | 0.7963 | 1.796 | 1 | 3.314 | 0.01049 | 0.001904 | 0.03237 | 0.6927 | 1 | 0.0006365 | 0.01847 | 0.02768 | 0.01134 | 0.1065 | 3.29 | 1.591 | 0.03965 | 0.05908 | 1 | 1 | 0.01912 | 0.1082 | 0.2716 | 0.06117 | 0.3461 | 0.8689 | json |
| t17_x2_u6_b64 | 17 | 2 | 6 | 64 | ![]() |
mod(P,dot(P,nrm(R))) | 99981 | 138132289 | o2(x,o2(x,o1(x))) | true | 116655 | 116655 | 0.01084 | 0.4918 | 0.7668 | 0.6944 | 0.8333 | -1 | 1 | 2 | 1 | 3.64 | 0.003314 | 0.003466 | 0.03714 | -0.02243 | 1 | 0.00008233 | 0.006618 | 0.02036 | 0.0054 | 0.07348 | 1.979 | 2.828 | 0.009765 | 0.009531 | 1 | 1 | 0.01288 | 0.1026 | 0.354 | 0.01854 | 0.1478 | 0.5099 | json |
| t17_x2_u6_b65 | 17 | 2 | 6 | 65 | ![]() |
mod(P,dst(P,nrm(R))) | 99982 | 138132290 | o2(x,o2(x,o1(x))) | true | 116663 | 116663 | 0.0007321 | 0.5 | 0.9027 | 0.8765 | 0.9362 | -1 | 1 | 2 | 1 | 2.272 | 0.001196 | 0.000957 | 0.01565 | 0.1112 | 1 | -0.000006872 | 0.0009571 | 0.007579 | 0.001908 | 0.04368 | 2.792 | 0.4437 | 0.002457 | 0.001092 | 1 | 1 | 0.004399 | 0.04288 | 0.2583 | 0.005019 | 0.04893 | 0.2947 | json |
| t17_x2_u6_b66 | 17 | 2 | 6 | 66 | ![]() |
lrg(P,add(P,nrm(R))) | 99983 | 138132291 | o2(x,o2(x,o1(x))) | true | 116671 | 116671 | 0.5176 | 0.9429 | 0.5176 | 0.1537 | 0.3921 | 0 | 1 | 1 | 1 | 3.429 | 0.001972 | 0.002442 | 0.05168 | -0.1065 | 1 | 0.00001781 | 0.0002592 | 0.01257 | 0.001744 | 0.04176 | 0.8079 | 0.1169 | 0.02872 | 0.001686 | 1 | 1 | 0.008731 | 0.1124 | 0.2862 | 0.0568 | 0.7316 | 1.862 | json |
| t17_x2_u6_b67 | 17 | 2 | 6 | 67 | ![]() |
lrg(P,sub(P,nrm(R))) | 99984 | 138132292 | o2(x,o2(x,o1(x))) | true | 116679 | 116679 | 0.4824 | 0.9147 | 0.4824 | 0.1537 | 0.3921 | 0 | 1 | 1 | 1 | 3.429 | 0.001972 | 0.002442 | 0.05168 | -0.1065 | 1 | -0.00001781 | 0.0002592 | 0.01257 | 0.001744 | 0.04176 | 0.8079 | 0.1169 | 0.02872 | 0.001686 | 1 | 1 | 0.008731 | 0.1124 | 0.2862 | 0.0568 | 0.7316 | 1.862 | json |
| t17_x2_u6_b68 | 17 | 2 | 6 | 68 | ![]() |
lrg(P,mlt(P,nrm(R))) | 99985 | 138132293 | o2(x,o2(x,o1(x))) | true | 116687 | 116687 | 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_x2_u6_b69 | 17 | 2 | 6 | 69 | ![]() |
lrg(P,div(P,nrm(R))) | 99986 | 138132294 | o2(x,o2(x,o1(x))) | true | 116695 | 116695 | 0.4941 | 0.9147 | 0.4941 | 0.1569 | 0.3961 | 0 | 1 | 1 | 1 | 3.391 | 0.001946 | 0.002332 | 0.05014 | -0.09022 | 1 | 0.00003637 | 0.0002504 | 0.01218 | 0.001764 | 0.042 | 0.8377 | 0.1169 | 0.02726 | 0.001596 | 1 | 1 | 0.00831 | 0.107 | 0.2923 | 0.05296 | 0.6821 | 1.863 | json |
| t17_x2_u6_b70 | 17 | 2 | 6 | 70 | ![]() |
lrg(P,pow(P,nrm(R))) | 99987 | 138132295 | o2(x,o2(x,o1(x))) | true | 116703 | 116703 | 0.875 | 0.9375 | 0.875 | 0.09585 | 0.3096 | 0 | 1 | 1 | 1 | 1.067 | 0.0007059 | 0 | 0.007937 | 1 | 1 | -9.461e-10 | 0.00003238 | 0.001855 | 0.0006432 | 0.02536 | 3.195 | 0.1169 | 0.007364 | 0.0003379 | 1 | 1 | 0.001851 | 0.02429 | 0.1411 | 0.01931 | 0.2534 | 1.472 | json |
| t17_x2_u6_b71 | 17 | 2 | 6 | 71 | ![]() |
lrg(P,mod(P,nrm(R))) | 99988 | 138132296 | o2(x,o2(x,o1(x))) | true | 116711 | 116711 | 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_x2_u6_b72 | 17 | 2 | 6 | 72 | ![]() |
lrg(P,lrg(P,nrm(R))) | 99989 | 138132297 | o2(x,o2(x,o1(x))) | true | 116719 | 116719 | 0.4063 | 0.4375 | 0.4063 | 0.2344 | 0.4842 | 0 | 1 | 1 | 1 | 1.302 | 0.0003529 | 0 | 0.003968 | 1 | 1 | -4.731e-10 | 0.00001619 | 0.0009276 | 0.0003372 | 0.01836 | 4.628 | 0.1169 | 0.001505 | 0.00006906 | 1 | 1 | 0.0009255 | 0.01214 | 0.0751 | 0.003947 | 0.0518 | 0.3203 | json |
| t17_x2_u6_b73 | 17 | 2 | 6 | 73 | ![]() |
lrg(P,eql(P,nrm(R))) | 99990 | 138132298 | o2(x,o2(x,o1(x))) | true | 116727 | 116727 | 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_x2_u6_b74 | 17 | 2 | 6 | 74 | ![]() |
lrg(P,min(P,nrm(R))) | 99991 | 138132299 | o2(x,o2(x,o1(x))) | true | 116735 | 116735 | 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_x2_u6_b75 | 17 | 2 | 6 | 75 | ![]() |
lrg(P,dot(P,nrm(R))) | 99992 | 138132300 | o2(x,o2(x,o1(x))) | true | 116743 | 116743 | 0.5 | 0.7669 | 0.5 | 0.1916 | 0.4377 | 0 | 1 | 1 | 1 | 2.786 | 0.00131 | 0.001393 | 0.03177 | -0.03075 | 1 | 0.00001711 | 0.0001585 | 0.007708 | 0.001693 | 0.04115 | 1.295 | 0.1169 | 0.01411 | 0.0008274 | 1 | 1 | 0.005206 | 0.06733 | 0.2171 | 0.02717 | 0.3515 | 1.134 | json |
| t17_x2_u6_b76 | 17 | 2 | 6 | 76 | ![]() |
lrg(P,dst(P,nrm(R))) | 99993 | 138132301 | o2(x,o2(x,o1(x))) | true | 116751 | 116751 | 0.0625 | 0.1337 | 0.0625 | 0.04361 | 0.2088 | 0 | 1 | 1 | 1 | 0.8687 | 0.0003015 | 0.00038 | 0.008025 | -0.1152 | 1 | 0.000005704 | 0.00004134 | 0.001967 | 0.0006173 | 0.02485 | 3.096 | 0.1169 | 0.01563 | 0.0009481 | 1 | 1 | 0.001622 | 0.02122 | 0.07475 | 0.0372 | 0.4867 | 1.714 | json |
| t17_x2_u6_b77 | 17 | 2 | 6 | 77 | ![]() |
eql(P,add(P,nrm(R))) | 99994 | 138132302 | o2(x,o2(x,o1(x))) | true | 116759 | 116759 | 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_x2_u6_b78 | 17 | 2 | 6 | 78 | ![]() |
eql(P,sub(P,nrm(R))) | 99995 | 138132303 | o2(x,o2(x,o1(x))) | true | 116767 | 116767 | 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_x2_u6_b79 | 17 | 2 | 6 | 79 | ![]() |
eql(P,mlt(P,nrm(R))) | 99996 | 138132304 | o2(x,o2(x,o1(x))) | true | 116775 | 116775 | 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_x2_u6_b80 | 17 | 2 | 6 | 80 | ![]() |
eql(P,div(P,nrm(R))) | 99997 | 138132305 | o2(x,o2(x,o1(x))) | true | 116783 | 116783 | 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_x2_u6_b81 | 17 | 2 | 6 | 81 | ![]() |
eql(P,pow(P,nrm(R))) | 99998 | 138132306 | o2(x,o2(x,o1(x))) | true | 116791 | 116791 | 0.08984 | 0.1628 | 0.08984 | 0.06626 | 0.2574 | 0 | 1 | 1 | 1 | 1.008 | 0.0006768 | 0.0001053 | 0.008948 | 0.7306 | 1 | -0.000005705 | 0.00003877 | 0.002115 | 0.0007021 | 0.0265 | 2.961 | 0.1169 | 0.0118 | 0.0005851 | 1 | 1 | 0.002072 | 0.02707 | 0.115 | 0.03127 | 0.4086 | 1.736 | json |
| t17_x2_u6_b82 | 17 | 2 | 6 | 82 | ![]() |
eql(P,mod(P,nrm(R))) | 99999 | 138132307 | o2(x,o2(x,o1(x))) | true | 116799 | 116799 | 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 |



































































































