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_x1_u4_b72 | 17 | 1 | 4 | 72 | ![]() |
lrg(P,lrg(P,cil(D))) | 98900 | 138091494 | o2(x,o2(x,o1(x))) | true | 108007 | 108007 | 0.4375 | 0.4375 | 0.4375 | 0.2461 | 0.4961 | 0 | 1 | 1 | 1 | 0.9887 | 0.003968 | 0 | 0.003968 | 1 | 1 | 0 | 0.007937 | 0.007937 | 0.003952 | 0.06287 | 15.84 | 1 | 0.01612 | 0.03225 | 1 | 1 | 0.005263 | 0.02105 | 0.08421 | 0.02139 | 0.08555 | 0.3422 | json |
| t17_x1_u4_b73 | 17 | 1 | 4 | 73 | ![]() |
lrg(P,eql(P,cil(D))) | 98901 | 138091495 | o2(x,o2(x,o1(x))) | true | 108015 | 108015 | 0.4375 | 0.5 | 0.4375 | 0.2326 | 0.4823 | 0 | 1 | 1 | 1 | 1.565 | 0.00467 | 0 | 0.0119 | 1 | 1 | -4.731e-10 | 0.008068 | 0.009787 | 0.004528 | 0.06729 | 5.654 | 0.9994 | 0.02008 | 0.03469 | 1 | 1 | 0.007036 | 0.03244 | 0.06598 | 0.03025 | 0.1395 | 0.2837 | json |
| t17_x1_u4_b74 | 17 | 1 | 4 | 74 | ![]() |
lrg(P,min(P,cil(D))) | 98902 | 138091496 | o2(x,o2(x,o1(x))) | true | 108023 | 108023 | 0.4375 | 0.5 | 0.4375 | 0.2326 | 0.4823 | 0 | 1 | 1 | 1 | 1.565 | 0.00467 | 0 | 0.0119 | 1 | 1 | -4.731e-10 | 0.008068 | 0.009787 | 0.004528 | 0.06729 | 5.654 | 0.9994 | 0.02008 | 0.03469 | 1 | 1 | 0.007036 | 0.03244 | 0.06598 | 0.03025 | 0.1395 | 0.2837 | json |
| t17_x1_u4_b75 | 17 | 1 | 4 | 75 | ![]() |
lrg(P,dot(P,cil(D))) | 98903 | 138091497 | o2(x,o2(x,o1(x))) | true | 108031 | 108031 | 0.3828 | 0.738 | 0.3828 | 0.1606 | 0.4007 | 0 | 1 | 1 | 1 | 3.053 | 0.01971 | 0.01971 | 0.08287 | 0.00002354 | 1 | 0.0001754 | 0.07656 | 0.09321 | 0.03254 | 0.1804 | 2.177 | 1.413 | 0.2454 | 0.4767 | 1 | 1 | 0.04292 | 0.155 | 0.05178 | 0.2673 | 0.9655 | 0.3224 | json |
| t17_x1_u4_b76 | 17 | 1 | 4 | 76 | ![]() |
lrg(P,dst(P,cil(D))) | 98904 | 138091498 | o2(x,o2(x,o1(x))) | true | 108039 | 108039 | 0.06445 | 0.1741 | 0.06445 | 0.04204 | 0.205 | 0 | 0.9997 | 0.9997 | 1 | 0.9808 | 0.008274 | 0.001609 | 0.0204 | 0.6744 | 1 | -0.00003993 | 0.01878 | 0.0225 | 0.009471 | 0.09732 | 4.771 | 0.9997 | 0.2351 | 0.4466 | 1 | 1 | 0.01249 | 0.04735 | 0.03483 | 0.2971 | 1.126 | 0.8285 | json |
| t17_x1_u4_b77 | 17 | 1 | 4 | 77 | ![]() |
eql(P,add(P,cil(D))) | 98905 | 138091499 | o2(x,o2(x,o1(x))) | true | 108047 | 108047 | 0.5 | 1 | 0.5 | 0.1418 | 0.3765 | 0.000291 | 0.9997 | 0.9994 | 1 | 3.406 | 0.06511 | 0 | 0.1228 | 1 | 1 | 0 | 0.1208 | 0.1337 | 0.05001 | 0.2236 | 1.821 | 0.9994 | 0.4593 | 0.8522 | 1 | 1 | 0.07073 | 0.2419 | 0 | 0.4989 | 1.706 | 0 | json |
| t17_x1_u4_b78 | 17 | 1 | 4 | 78 | ![]() |
eql(P,sub(P,cil(D))) | 98906 | 138091500 | o2(x,o2(x,o1(x))) | true | 108055 | 108055 | 0.5 | 1 | 0.5 | 0.1418 | 0.3765 | 0.000291 | 0.9997 | 0.9994 | 1 | 3.406 | 0.06511 | 0 | 0.1228 | 1 | 1 | 0 | 0.1208 | 0.1337 | 0.05001 | 0.2236 | 1.821 | 0.9994 | 0.4593 | 0.8522 | 1 | 1 | 0.07073 | 0.2419 | 0 | 0.4989 | 1.706 | 0 | json |
| t17_x1_u4_b79 | 17 | 1 | 4 | 79 | ![]() |
eql(P,mlt(P,cil(D))) | 98907 | 138091501 | o2(x,o2(x,o1(x))) | true | 108063 | 108063 | 0.5313 | 1 | 0.5313 | 0.1475 | 0.3841 | 0.000291 | 1 | 0.9997 | 1 | 3.332 | 0.06079 | 0 | 0.1149 | 1 | 1 | 0 | 0.1127 | 0.1248 | 0.0476 | 0.2182 | 1.9 | 0.9997 | 0.4121 | 0.764 | 1 | 1 | 0.06466 | 0.2279 | 0.03299 | 0.4383 | 1.545 | 0.2236 | json |
| t17_x1_u4_b80 | 17 | 1 | 4 | 80 | ![]() |
eql(P,div(P,cil(D))) | 98908 | 138091502 | o2(x,o2(x,o1(x))) | true | 108071 | 108071 | 0.5 | 1 | 0.5 | 0.1418 | 0.3765 | 0.000291 | 0.9997 | 0.9994 | 1 | 3.406 | 0.06511 | 0 | 0.1228 | 1 | 1 | 0 | 0.1208 | 0.1337 | 0.05001 | 0.2236 | 1.821 | 0.9994 | 0.4593 | 0.8522 | 1 | 1 | 0.07073 | 0.2419 | 0 | 0.4989 | 1.706 | 0 | json |
| t17_x1_u4_b81 | 17 | 1 | 4 | 81 | ![]() |
eql(P,pow(P,cil(D))) | 98909 | 138091503 | o2(x,o2(x,o1(x))) | true | 108079 | 108079 | 0.2813 | 0.5 | 0.2813 | 0.1548 | 0.3935 | 0 | 1 | 1 | 1 | 2.278 | 0.03022 | 0 | 0.0555 | 1 | 1 | -0.00008984 | 0.05626 | 0.06193 | 0.02713 | 0.1647 | 2.967 | 1 | 0.1952 | 0.3634 | 1 | 1 | 0.03322 | 0.1227 | 0.0751 | 0.2146 | 0.7926 | 0.4851 | json |
| t17_x1_u4_b82 | 17 | 1 | 4 | 82 | ![]() |
eql(P,mod(P,cil(D))) | 98910 | 138091504 | o2(x,o2(x,o1(x))) | true | 108087 | 108087 | 0.03125 | 0.0625 | 0.03125 | 0.02351 | 0.1533 | 0 | 0.9997 | 0.9997 | 1 | 0.459 | 0.004319 | 0 | 0.007934 | 1 | 1 | -2.365e-10 | 0.008002 | 0.008862 | 0.004255 | 0.06523 | 8.221 | 0.9997 | 0.1837 | 0.3404 | 1 | 1 | 0.00615 | 0.02664 | 0.03299 | 0.2616 | 1.133 | 1.403 | json |
| t17_x1_u4_b83 | 17 | 1 | 4 | 83 | ![]() |
eql(P,lrg(P,cil(D))) | 98911 | 138091505 | o2(x,o2(x,o1(x))) | true | 108095 | 108095 | 0.09375 | 0.125 | 0.09375 | 0.0782 | 0.2796 | 0 | 1 | 1 | 1 | 0.7448 | 0.004321 | 0 | 0.007937 | 1 | 1 | -4.731e-10 | 0.007953 | 0.008864 | 0.004257 | 0.06525 | 8.221 | 1 | 0.05526 | 0.1017 | 1 | 1 | 0.006189 | 0.0332 | 0.1172 | 0.07914 | 0.4245 | 1.499 | json |
| t17_x1_u4_b84 | 17 | 1 | 4 | 84 | ![]() |
eql(P,eql(P,cil(D))) | 98912 | 138091506 | o2(x,o2(x,o1(x))) | true | 108103 | 108103 | 0.0625 | 0.125 | 0.0625 | 0.04507 | 0.2123 | 0 | 0.9997 | 0.9997 | 1 | 0.8126 | 0.008635 | 0 | 0.01587 | 1 | 1 | -2.365e-10 | 0.01605 | 0.01772 | 0.008379 | 0.09154 | 5.769 | 0.9997 | 0.1916 | 0.3562 | 1 | 1 | 0.01226 | 0.04693 | 0.06598 | 0.2721 | 1.041 | 1.464 | json |
| t17_x1_u4_b85 | 17 | 1 | 4 | 85 | ![]() |
eql(P,min(P,cil(D))) | 98913 | 138091507 | o2(x,o2(x,o1(x))) | true | 108111 | 108111 | 0.5625 | 0.625 | 0.5625 | 0.2326 | 0.4823 | 0 | 1 | 1 | 1 | 1.565 | 0.00467 | 0 | 0.0119 | 1 | 1 | -4.731e-10 | 0.008068 | 0.009787 | 0.004528 | 0.06729 | 5.654 | 0.9994 | 0.02008 | 0.03469 | 1 | 1 | 0.007036 | 0.03244 | 0.06598 | 0.03025 | 0.1395 | 0.2837 | json |
| t17_x1_u4_b86 | 17 | 1 | 4 | 86 | ![]() |
eql(P,dot(P,cil(D))) | 98914 | 138091508 | o2(x,o2(x,o1(x))) | true | 108119 | 108119 | 0.2959 | 0.9549 | 0.2959 | 0.1068 | 0.3269 | 8.471e-8 | 1 | 1 | 1 | 3.292 | 0.02673 | 0.02673 | 0.1123 | -0.00001118 | 1 | -0.000005721 | 0.108 | 0.133 | 0.04086 | 0.2021 | 1.8 | 1.413 | 0.5004 | 1.011 | 1 | 1 | 0.059 | 0.2115 | 0.04846 | 0.5522 | 1.98 | 0.4536 | json |
| t17_x1_u4_b87 | 17 | 1 | 4 | 87 | ![]() |
eql(P,dst(P,cil(D))) | 98915 | 138091509 | o2(x,o2(x,o1(x))) | true | 108127 | 108127 | 0.02539 | 0.09253 | 0.02539 | 0.01529 | 0.1236 | 0 | 0.9997 | 0.9997 | 1 | 0.526 | 0.002654 | 0.002599 | 0.01088 | 0.0106 | 1 | 0.000005703 | 0.01077 | 0.0133 | 0.005136 | 0.07167 | 6.586 | 1.414 | 0.3436 | 0.7043 | 1 | 1 | 0.008535 | 0.03482 | 0.03025 | 0.5583 | 2.278 | 1.979 | json |
| t17_x1_u4_b88 | 17 | 1 | 4 | 88 | ![]() |
min(P,add(P,cil(D))) | 98916 | 138091510 | o2(x,o2(x,o1(x))) | true | 108135 | 108135 | 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_x1_u4_b89 | 17 | 1 | 4 | 89 | ![]() |
min(P,sub(P,cil(D))) | 98917 | 138091511 | o2(x,o2(x,o1(x))) | true | 108143 | 108143 | -0.0625 | 0.4688 | 0.9375 | 0.9184 | 0.9583 | -1 | 1 | 2 | 1 | 1.809 | 0.01063 | 0 | 0.02379 | 1 | 1 | 0 | 0.0166 | 0.02131 | 0.01007 | 0.1003 | 4.218 | 0.9988 | 0.01158 | 0.01808 | 1 | 1 | 0.0172 | 0.07175 | 0.2321 | 0.01872 | 0.07812 | 0.2528 | json |
| t17_x1_u4_b90 | 17 | 1 | 4 | 90 | ![]() |
min(P,mlt(P,cil(D))) | 98918 | 138091512 | o2(x,o2(x,o1(x))) | true | 108151 | 108151 | -0.159 | 0.4375 | 0.7785 | 0.7238 | 0.8508 | -1 | 1 | 2 | 1 | 2.586 | 0.03435 | 0 | 0.05928 | 1 | 1 | -0.0006289 | 0.05953 | 0.07312 | 0.03085 | 0.1756 | 2.963 | 0.9997 | 0.04746 | 0.08225 | 1 | 1 | 0.03858 | 0.1293 | 0.1557 | 0.05331 | 0.1787 | 0.2151 | json |
| t17_x1_u4_b91 | 17 | 1 | 4 | 91 | ![]() |
min(P,div(P,cil(D))) | 98919 | 138091513 | o2(x,o2(x,o1(x))) | true | 108159 | 108159 | -0.9688 | 0 | 0.9688 | 0.02351 | 0.1533 | -1 | -0.000291 | 0.9997 | 1 | 0.459 | 0.004319 | 0 | 0.007934 | 1 | 1 | 0 | 0.008002 | 0.008862 | 0.004255 | 0.06523 | 8.221 | 0.9997 | 0.1837 | 0.3404 | 1 | 1 | 0.00615 | 0.02664 | 0.03299 | 0.2616 | 1.133 | 1.403 | json |
| t17_x1_u4_b92 | 17 | 1 | 4 | 92 | ![]() |
min(P,pow(P,cil(D))) | 98920 | 138091514 | o2(x,o2(x,o1(x))) | true | 108167 | 108167 | 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_x1_u4_b93 | 17 | 1 | 4 | 93 | ![]() |
min(P,mod(P,cil(D))) | 98921 | 138091515 | o2(x,o2(x,o1(x))) | true | 108175 | 108175 | -0.1087 | 0.5 | 0.8288 | 0.7857 | 0.8864 | -1 | 1 | 2 | 1 | 2.549 | 0.03563 | 0 | 0.06341 | 1 | 1 | -2.365e-9 | 0.06116 | 0.07699 | 0.03161 | 0.1778 | 2.804 | 0.9991 | 0.04535 | 0.07785 | 1 | 1 | 0.0409 | 0.1197 | 0.1806 | 0.05206 | 0.1523 | 0.2298 | json |
| t17_x1_u4_b94 | 17 | 1 | 4 | 94 | ![]() |
min(P,lrg(P,cil(D))) | 98922 | 138091516 | o2(x,o2(x,o1(x))) | true | 108183 | 108183 | -0.03125 | 0.5 | 0.9063 | 0.8844 | 0.9404 | -1 | 1 | 2 | 1 | 2.109 | 0.005022 | 0 | 0.01587 | 1 | 1 | 0 | 0.008084 | 0.01071 | 0.004772 | 0.06908 | 4.353 | 0.9994 | 0.005679 | 0.009141 | 1 | 1 | 0.007962 | 0.04478 | 0.1923 | 0.009002 | 0.05064 | 0.2174 | json |
| t17_x1_u4_b95 | 17 | 1 | 4 | 95 | ![]() |
min(P,eql(P,cil(D))) | 98923 | 138091517 | o2(x,o2(x,o1(x))) | true | 108191 | 108191 | -0.4375 | 0.0625 | 0.5 | 0.2951 | 0.5432 | -1 | 0.9997 | 2 | 1 | 1.813 | 0.004672 | 0 | 0.0119 | 1 | 1 | 2.365e-10 | 0.008018 | 0.00979 | 0.00453 | 0.06731 | 5.655 | 0.9997 | 0.01583 | 0.02717 | 1 | 1 | 0.007075 | 0.03878 | 0.1411 | 0.02398 | 0.1314 | 0.4781 | json |
| t17_x1_u4_b96 | 17 | 1 | 4 | 96 | ![]() |
min(P,min(P,cil(D))) | 98924 | 138091518 | o2(x,o2(x,o1(x))) | true | 108199 | 108199 | -0.25 | 0.4375 | 0.6875 | 0.5709 | 0.7556 | -1 | 0.9997 | 2 | 1 | 3.025 | 0.03057 | 0 | 0.05947 | 1 | 1 | -0.00008984 | 0.05632 | 0.06286 | 0.02704 | 0.1644 | 2.765 | 0.9997 | 0.05354 | 0.09866 | 1 | 1 | 0.03411 | 0.1283 | 0.1411 | 0.05974 | 0.2247 | 0.2471 | json |
| t17_x1_u4_b97 | 17 | 1 | 4 | 97 | ![]() |
min(P,dot(P,cil(D))) | 98925 | 138091519 | o2(x,o2(x,o1(x))) | true | 108207 | 108207 | -0.3124 | 0.3481 | 0.8812 | 0.7569 | 0.87 | -1 | 1 | 2 | 1 | 2.291 | 0.03951 | 0.03908 | 0.08411 | 0.005474 | 1 | -0.000352 | 0.1418 | 0.1108 | 0.07145 | 0.2673 | 3.178 | 2.043 | 0.1038 | 0.1873 | 1 | 1 | 0.08351 | 0.3064 | 0.2081 | 0.1103 | 0.4048 | 0.2749 | json |
| t17_x1_u4_b98 | 17 | 1 | 4 | 98 | ![]() |
min(P,dst(P,cil(D))) | 98926 | 138091520 | o2(x,o2(x,o1(x))) | true | 108215 | 108215 | -0.001241 | 0.5 | 0.9363 | 0.9223 | 0.9604 | -1 | 1 | 2 | 1 | 1.831 | 0.0009379 | 0.0001571 | 0.008691 | 0.7131 | 1 | 1.502e-11 | 0.0008156 | 0.002851 | 0.00102 | 0.03193 | 3.674 | 0.9992 | 0.001187 | 0.0008844 | 1 | 1 | 0.002603 | 0.02677 | 0.2329 | 0.002822 | 0.02903 | 0.2526 | json |
| t17_x1_u4_b99 | 17 | 1 | 4 | 99 | ![]() |
dot(P,add(P,cil(D))) | 98927 | 138091521 | o2(x,o2(x,o1(x))) | true | 108223 | 108223 | 0.9914 | 0.9961 | 0.9914 | 0.007439 | 0.08625 | 0 | 1 | 1 | 1 | 0.1282 | 0.0003843 | 0.0003843 | 0.001452 | 0 | 1 | -8.635e-11 | 0.001448 | 0.001691 | 0.0007673 | 0.0277 | 19.08 | 1 | 0.1033 | 0.1947 | 1 | 1 | 0.001465 | 0.007863 | 0.02731 | 0.1969 | 1.057 | 3.671 | json |
| t17_x1_u4_b100 | 17 | 1 | 4 | 100 | ![]() |
dot(P,sub(P,cil(D))) | 98928 | 138091522 | o2(x,o2(x,o1(x))) | true | 108231 | 108231 | 0.9958 | 1 | 0.9958 | 0.002876 | 0.05363 | 0.0005821 | 1 | 0.9994 | 1 | 0.09704 | 0.0003482 | 0.0003482 | 0.001899 | -5.015e-7 | 1 | -3.379e-11 | 0.001107 | 0.001927 | 0.0006929 | 0.02632 | 13.86 | 0.9985 | 0.2422 | 0.3848 | 1 | 1 | 0.001556 | 0.006281 | 0.01051 | 0.541 | 2.184 | 3.655 | json |
| t17_x1_u4_b101 | 17 | 1 | 4 | 101 | ![]() |
dot(P,mlt(P,cil(D))) | 98929 | 138091523 | o2(x,o2(x,o1(x))) | true | 108239 | 108239 | 0.9418 | 0.9961 | 0.9418 | 0.04165 | 0.2041 | 0 | 1 | 1 | 1 | 0.7857 | 0.0165 | 0.0165 | 0.04871 | 0.000001693 | 1 | -0.001104 | 0.07545 | 0.08026 | 0.03062 | 0.175 | 3.592 | 1.414 | 0.7925 | 1.811 | 1 | 1 | 0.04069 | 0.07898 | 0.04194 | 0.977 | 1.896 | 1.007 | json |
| t17_x1_u4_b102 | 17 | 1 | 4 | 102 | ![]() |
dot(P,div(P,cil(D))) | 98930 | 138091524 | o2(x,o2(x,o1(x))) | true | 108247 | 108247 | -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_x1_u4_b103 | 17 | 1 | 4 | 103 | ![]() |
dot(P,pow(P,cil(D))) | 98931 | 138091525 | o2(x,o2(x,o1(x))) | true | 108255 | 108255 | -0.5008 | 0.25 | 0.9992 | 0.7483 | 0.865 | -1 | 1 | 2 | 1 | 0.8325 | 0.007543 | 0.007543 | 0.007877 | 6.174e-8 | 1 | 3.341e-10 | 0.03016 | 0.01543 | 0.01502 | 0.1226 | 15.56 | 2 | 0.02016 | 0.04031 | 1 | 1 | 0.01971 | 0.08047 | 0.3328 | 0.02634 | 0.1075 | 0.4447 | json |
| t17_x1_u4_b104 | 17 | 1 | 4 | 104 | ![]() |
dot(P,mod(P,cil(D))) | 98932 | 138091526 | o2(x,o2(x,o1(x))) | true | 108263 | 108263 | -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_x1_u4_b105 | 17 | 1 | 4 | 105 | ![]() |
dot(P,lrg(P,cil(D))) | 98933 | 138091527 | o2(x,o2(x,o1(x))) | true | 108271 | 108271 | 0.6948 | 0.75 | 0.6948 | 0.2005 | 0.4478 | 0 | 1 | 1 | 1 | 1.372 | 0.002703 | 0.002703 | 0.01298 | 5.168e-7 | 1 | 3.18e-9 | 0.009009 | 0.01183 | 0.005243 | 0.07241 | 5.578 | 0.9991 | 0.02696 | 0.04493 | 1 | 1 | 0.008631 | 0.03347 | 0.07813 | 0.04304 | 0.1669 | 0.3896 | json |
| t17_x1_u4_b106 | 17 | 1 | 4 | 106 | ![]() |
dot(P,eql(P,cil(D))) | 98934 | 138091528 | o2(x,o2(x,o1(x))) | true | 108279 | 108279 | 0.06166 | 0.1211 | 0.06166 | 0.04493 | 0.212 | 0 | 1 | 1 | 1 | 0.796 | 0.004155 | 0.004155 | 0.01528 | 0.00000213 | 1 | -6.07e-9 | 0.01543 | 0.01716 | 0.00808 | 0.08989 | 5.883 | 1.414 | 0.1849 | 0.3433 | 1 | 1 | 0.01169 | 0.05079 | 0.06295 | 0.2601 | 1.13 | 1.401 | json |
| t17_x1_u4_b107 | 17 | 1 | 4 | 107 | ![]() |
dot(P,min(P,cil(D))) | 98935 | 138091529 | o2(x,o2(x,o1(x))) | true | 108287 | 108287 | 0.9535 | 0.9961 | 0.9535 | 0.03375 | 0.1837 | 0 | 1 | 1 | 1 | 0.6562 | 0.006518 | 0.006518 | 0.02278 | -7.859e-7 | 1 | -0.0003488 | 0.02496 | 0.03181 | 0.01252 | 0.1119 | 4.913 | 1.414 | 0.3863 | 0.7396 | 1 | 1 | 0.01749 | 0.05741 | 0.03993 | 0.5183 | 1.701 | 1.183 | json |
| t17_x1_u4_b108 | 17 | 1 | 4 | 108 | ![]() |
dot(P,dot(P,cil(D))) | 98936 | 138091530 | o2(x,o2(x,o1(x))) | true | 108295 | 108295 | 0.6685 | 0.865 | 0.8782 | 0.4082 | 0.6389 | -1 | 1 | 2 | 1 | 1.825 | 0.08191 | 0.08191 | 0.1369 | -0.000002683 | 1 | -0.001032 | 0.3251 | 0.2101 | 0.145 | 0.3808 | 2.781 | 2.138 | 0.4013 | 0.7963 | 1 | 1 | 0.156 | 0.5135 | 0.4025 | 0.3822 | 1.258 | 0.986 | json |
| t17_x1_u4_b109 | 17 | 1 | 4 | 109 | ![]() |
dot(P,dst(P,cil(D))) | 98937 | 138091531 | o2(x,o2(x,o1(x))) | true | 108303 | 108303 | -0.003947 | 0.4978 | 0.9779 | 0.9724 | 0.9861 | -1 | 1 | 2 | 1 | 1.354 | 0.003422 | 0.003422 | 0.01301 | -6.803e-8 | 1 | 2.385e-7 | 0.007627 | 0.01061 | 0.006679 | 0.08173 | 6.28 | 1.489 | 0.007039 | 0.007843 | 1 | 1 | 0.01296 | 0.09701 | 0.534 | 0.01333 | 0.09976 | 0.5491 | json |
| t17_x1_u4_b110 | 17 | 1 | 4 | 110 | ![]() |
dst(P,add(P,cil(D))) | 98938 | 138091532 | o2(x,o2(x,o1(x))) | true | 108311 | 108311 | 0.7721 | 1 | 0.7721 | 0.09527 | 0.3087 | 0.000582 | 1 | 0.9994 | 1 | 2.801 | 0.0257 | 0.0257 | 0.103 | -6.161e-7 | 1 | -0.00009022 | 0.1027 | 0.1322 | 0.04078 | 0.2019 | 1.96 | 1.413 | 0.5395 | 1.078 | 1 | 1 | 0.05652 | 0.202 | 0 | 0.5933 | 2.12 | 0 | json |
| t17_x1_u4_b111 | 17 | 1 | 4 | 111 | ![]() |
dst(P,sub(P,cil(D))) | 98939 | 138091533 | o2(x,o2(x,o1(x))) | true | 108319 | 108319 | 0.7721 | 1 | 0.7721 | 0.09527 | 0.3087 | 0.000582 | 1 | 0.9994 | 1 | 2.801 | 0.0257 | 0.0257 | 0.103 | -6.161e-7 | 1 | -0.00009022 | 0.1027 | 0.1322 | 0.04078 | 0.2019 | 1.96 | 1.413 | 0.5395 | 1.078 | 1 | 1 | 0.05652 | 0.202 | 0 | 0.5933 | 2.12 | 0 | json |
| t17_x1_u4_b112 | 17 | 1 | 4 | 112 | ![]() |
dst(P,mlt(P,cil(D))) | 98940 | 138091534 | o2(x,o2(x,o1(x))) | true | 108327 | 108327 | 0.8967 | 0.9961 | 0.8967 | 0.06715 | 0.2591 | 0 | 1 | 1 | 1 | 1.295 | 0.01953 | 0.01953 | 0.06819 | -0.000002193 | 1 | -0.0005206 | 0.07804 | 0.09682 | 0.03441 | 0.1855 | 2.72 | 0.9997 | 0.5818 | 1.162 | 1 | 1 | 0.04826 | 0.1354 | 0.03976 | 0.7186 | 2.017 | 0.5921 | json |
| t17_x1_u4_b113 | 17 | 1 | 4 | 113 | ![]() |
dst(P,div(P,cil(D))) | 98941 | 138091535 | o2(x,o2(x,o1(x))) | true | 108335 | 108335 | -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_x1_u4_b114 | 17 | 1 | 4 | 114 | ![]() |
dst(P,pow(P,cil(D))) | 98942 | 138091536 | o2(x,o2(x,o1(x))) | true | 108343 | 108343 | -0.5 | 0.25 | 1 | 0.75 | 0.866 | -1 | 1 | 2 | 1 | 0.8113 | 0.007937 | 0.007937 | 0.007937 | 0 | 1 | 0 | 0.03187 | 0.01587 | 0.01581 | 0.1257 | 15.84 | 2 | 0.02116 | 0.0425 | 1 | 1 | 0.02105 | 0.08421 | 0.3368 | 0.02807 | 0.1123 | 0.4491 | json |
| t17_x1_u4_b115 | 17 | 1 | 4 | 115 | ![]() |
dst(P,mod(P,cil(D))) | 98943 | 138091537 | o2(x,o2(x,o1(x))) | true | 108351 | 108351 | -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_x1_u4_b116 | 17 | 1 | 4 | 116 | ![]() |
dst(P,lrg(P,cil(D))) | 98944 | 138091538 | o2(x,o2(x,o1(x))) | true | 108359 | 108359 | 0.9913 | 0.9961 | 0.9913 | 0.007459 | 0.08637 | 0 | 1 | 1 | 1 | 0.1298 | 0.000383 | 0.000383 | 0.001431 | -3.8e-7 | 1 | -7.509e-11 | 0.001444 | 0.001681 | 0.0007647 | 0.02765 | 19.32 | 1.414 | 0.1027 | 0.1936 | 1 | 1 | 0.001458 | 0.007829 | 0.02738 | 0.1954 | 1.05 | 3.671 | json |
| t17_x1_u4_b117 | 17 | 1 | 4 | 117 | ![]() |
dst(P,eql(P,cil(D))) | 98945 | 138091539 | o2(x,o2(x,o1(x))) | true | 108367 | 108367 | 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_x1_u4_b118 | 17 | 1 | 4 | 118 | ![]() |
dst(P,min(P,cil(D))) | 98946 | 138091540 | o2(x,o2(x,o1(x))) | true | 108375 | 108375 | 0.6947 | 0.75 | 0.6947 | 0.2005 | 0.4477 | 0 | 1 | 1 | 1 | 1.374 | 0.002701 | 0.002701 | 0.01299 | 2.586e-7 | 1 | 3.589e-9 | 0.009002 | 0.0118 | 0.005238 | 0.07238 | 5.571 | 0.9991 | 0.02694 | 0.0449 | 1 | 1 | 0.008617 | 0.03339 | 0.07807 | 0.04299 | 0.1666 | 0.3894 | json |
| t17_x1_u4_b119 | 17 | 1 | 4 | 119 | ![]() |
dst(P,dot(P,cil(D))) | 98947 | 138091541 | o2(x,o2(x,o1(x))) | true | 108383 | 108383 | 0.9971 | 1 | 0.9971 | 0.001916 | 0.04378 | 0.000582 | 1 | 0.9994 | 1 | 0.07125 | 0.00004569 | 0.00004569 | 0.0007395 | 0 | 0 | -1.126e-11 | 0.0000215 | 0.0002867 | 0.00009079 | 0.009529 | 12.88 | 0.1874 | 0.04768 | 0.01122 | 1 | 1 | 0.0003084 | 0.003377 | 0.00699 | 0.1609 | 1.762 | 3.647 | json |
| t17_x1_u4_b120 | 17 | 1 | 4 | 120 | ![]() |
dst(P,dst(P,cil(D))) | 98948 | 138091542 | o2(x,o2(x,o1(x))) | true | 108391 | 108391 | 0.9998 | 1 | 0.9998 | 0.0001669 | 0.01292 | 0.0024 | 1 | 0.9976 | 1 | 0.006377 | 0.00006708 | 0.00006708 | 0.0002117 | -1.085e-7 | 1 | -1.126e-11 | 0.0002844 | 0.0003411 | 0.0001341 | 0.01158 | 54.7 | 1.411 | 0.8039 | 1.704 | 1 | 1 | 0.0002665 | 0.0006062 | 0.0006062 | 1.597 | 3.633 | 3.633 | json |
| t17_x1_u5_b0 | 17 | 1 | 5 | 0 | ![]() |
add(P,add(P,sgn(D))) | 98949 | 138091623 | o2(x,o2(x,o1(x))) | true | 108399 | 108399 | 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_x1_u5_b1 | 17 | 1 | 5 | 1 | ![]() |
add(P,sub(P,sgn(D))) | 98950 | 138091624 | o2(x,o2(x,o1(x))) | true | 108407 | 108407 | 0 | 0.5 | 0.978 | 0.9696 | 0.9847 | -1 | 1 | 2 | 1 | 1.394 | 0.02105 | 0 | 0.02379 | 1 | 1 | 0 | 0.03361 | 0.02305 | 0.02049 | 0.1431 | 6.016 | 1.998 | 0.02171 | 0.03467 | 1 | 1 | 0.03355 | 0.1101 | 0.2959 | 0.0346 | 0.1135 | 0.3052 | json |
| t17_x1_u5_b2 | 17 | 1 | 5 | 2 | ![]() |
add(P,mlt(P,sgn(D))) | 98951 | 138091625 | o2(x,o2(x,o1(x))) | true | 108415 | 108415 | -0.05311 | 0.4375 | 0.7384 | 0.7038 | 0.8389 | -1 | 1 | 2 | 1 | 2.865 | 0.07388 | 0 | 0.1144 | 1 | 1 | -0.001258 | 0.129 | 0.1601 | 0.06081 | 0.2466 | 2.155 | 1 | 0.105 | 0.1833 | 1 | 1 | 0.08002 | 0.1902 | 0.1668 | 0.1137 | 0.2703 | 0.2369 | json |
| t17_x1_u5_b3 | 17 | 1 | 5 | 3 | ![]() |
add(P,div(P,sgn(D))) | 98952 | 138091626 | o2(x,o2(x,o1(x))) | true | 108423 | 108423 | -0.05311 | 0.4375 | 0.7384 | 0.7038 | 0.8389 | -1 | 1 | 2 | 1 | 2.865 | 0.07388 | 0 | 0.1144 | 1 | 1 | -0.001258 | 0.129 | 0.1601 | 0.06081 | 0.2466 | 2.155 | 1 | 0.105 | 0.1833 | 1 | 1 | 0.08002 | 0.1902 | 0.1668 | 0.1137 | 0.2703 | 0.2369 | json |
| t17_x1_u5_b4 | 17 | 1 | 5 | 4 | ![]() |
add(P,pow(P,sgn(D))) | 98953 | 138091627 | o2(x,o2(x,o1(x))) | true | 108431 | 108431 | -0.02152 | 0.5 | 0.9785 | 0.9739 | 0.9869 | -1 | 1 | 2 | 1 | 1.244 | 0.004625 | 0 | 0.007937 | 1 | 1 | -4.731e-10 | 0.007971 | 0.009631 | 0.00456 | 0.06753 | 8.509 | 1.001 | 0.004749 | 0.008185 | 1 | 1 | 0.006981 | 0.05009 | 0.3027 | 0.007168 | 0.05143 | 0.3108 | json |
| t17_x1_u5_b5 | 17 | 1 | 5 | 5 | ![]() |
add(P,mod(P,sgn(D))) | 98954 | 138091628 | o2(x,o2(x,o1(x))) | true | 108439 | 108439 | 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_x1_u5_b6 | 17 | 1 | 5 | 6 | ![]() |
add(P,lrg(P,sgn(D))) | 98955 | 138091629 | o2(x,o2(x,o1(x))) | true | 108447 | 108447 | 0.04098 | 0.5313 | 0.959 | 0.9453 | 0.9723 | -1 | 1 | 2 | 1 | 1.571 | 0.006022 | 0 | 0.01586 | 1 | 1 | 0 | 0.008334 | 0.01158 | 0.005766 | 0.07594 | 4.787 | 0.9988 | 0.006371 | 0.008816 | 1 | 1 | 0.01045 | 0.06016 | 0.2663 | 0.01105 | 0.06364 | 0.2817 | json |
| t17_x1_u5_b7 | 17 | 1 | 5 | 7 | ![]() |
add(P,eql(P,sgn(D))) | 98956 | 138091630 | o2(x,o2(x,o1(x))) | true | 108455 | 108455 | 0.02152 | 0.5 | 0.916 | 0.8979 | 0.9476 | -1 | 1 | 2 | 1 | 1.997 | 0.005319 | 0 | 0.01587 | 1 | 1 | 0 | 0.008252 | 0.01158 | 0.005063 | 0.07116 | 4.485 | 0.9991 | 0.005924 | 0.00919 | 1 | 1 | 0.008637 | 0.04222 | 0.2029 | 0.009619 | 0.04702 | 0.2259 | json |
| t17_x1_u5_b8 | 17 | 1 | 5 | 8 | ![]() |
add(P,min(P,sgn(D))) | 98957 | 138091631 | o2(x,o2(x,o1(x))) | true | 108463 | 108463 | -0.0625 | 0.4375 | 0.9375 | 0.9336 | 0.9662 | -1 | 1 | 2 | 1 | 1.272 | 0.007937 | 0 | 0.007937 | 1 | 1 | 0 | 0.01587 | 0.01587 | 0.007872 | 0.08872 | 11.18 | 1 | 0.008501 | 0.017 | 1 | 1 | 0.01053 | 0.04211 | 0.2526 | 0.01128 | 0.0451 | 0.2706 | json |
| t17_x1_u5_b9 | 17 | 1 | 5 | 9 | ![]() |
add(P,dot(P,sgn(D))) | 98958 | 138091632 | o2(x,o2(x,o1(x))) | true | 108471 | 108471 | -0.1189 | 0.4376 | 0.9258 | 0.8893 | 0.943 | -1 | 1 | 2 | 1 | 2.085 | 0.1172 | 0.1797 | 0.2126 | -0.2105 | 1 | -0.0004541 | 0.563 | 0.3314 | 0.2517 | 0.5017 | 2.36 | 2.828 | 0.3339 | 0.6331 | 1 | 1 | 0.322 | 1.199 | 0.2879 | 0.3621 | 1.348 | 0.3238 | json |
| t17_x1_u5_b10 | 17 | 1 | 5 | 10 | ![]() |
add(P,dst(P,sgn(D))) | 98959 | 138091633 | o2(x,o2(x,o1(x))) | true | 108479 | 108479 | 0.8945 | 0.9516 | 0.9377 | 0.1164 | 0.3412 | -0.9992 | 1 | 1.999 | 1 | 1.116 | 0.02516 | 0.006944 | 0.04082 | 0.5674 | 1 | 0.000005267 | 0.06035 | 0.04991 | 0.03045 | 0.1745 | 4.275 | 2.826 | 0.2758 | 0.5184 | 1 | 1 | 0.03841 | 0.1417 | 0.07071 | 0.3299 | 1.217 | 0.6074 | json |
| t17_x1_u5_b11 | 17 | 1 | 5 | 11 | ![]() |
sub(P,add(P,sgn(D))) | 98960 | 138091634 | o2(x,o2(x,o1(x))) | true | 108487 | 108487 | 1.819e-12 | 0.5 | 0.6889 | 0.5671 | 0.753 | -0.9994 | 0.9994 | 1.999 | 1 | 3.406 | 0.2604 | 0 | 0.2456 | 1 | 1 | 0 | 0.4833 | 0.2673 | 0.2 | 0.4473 | 1.821 | 1.999 | 0.4593 | 0.8522 | 1 | 1 | 0.2829 | 0.9676 | 0 | 0.4989 | 1.706 | 0 | json |
| t17_x1_u5_b12 | 17 | 1 | 5 | 12 | ![]() |
sub(P,sub(P,sgn(D))) | 98961 | 138091635 | o2(x,o2(x,o1(x))) | true | 108495 | 108495 | -1.819e-12 | 0.5 | 0.6889 | 0.5671 | 0.753 | -0.9994 | 0.9994 | 1.999 | 1 | 3.406 | 0.2604 | 0 | 0.2456 | 1 | 1 | 0 | 0.4833 | 0.2673 | 0.2 | 0.4473 | 1.821 | 1.999 | 0.4593 | 0.8522 | 1 | 1 | 0.2829 | 0.9676 | 0 | 0.4989 | 1.706 | 0 | json |
| t17_x1_u5_b13 | 17 | 1 | 5 | 13 | ![]() |
sub(P,mlt(P,sgn(D))) | 98962 | 138091636 | o2(x,o2(x,o1(x))) | true | 108503 | 108503 | 0.05311 | 0.5 | 0.7384 | 0.7038 | 0.8389 | -1 | 1 | 2 | 1 | 2.86 | 0.07348 | 0 | 0.1132 | 1 | 1 | 0.001258 | 0.129 | 0.1601 | 0.06064 | 0.2462 | 2.176 | 1 | 0.1044 | 0.1833 | 1 | 1 | 0.08013 | 0.1895 | 0.1666 | 0.1139 | 0.2692 | 0.2367 | json |
| t17_x1_u5_b14 | 17 | 1 | 5 | 14 | ![]() |
sub(P,div(P,sgn(D))) | 98963 | 138091637 | o2(x,o2(x,o1(x))) | true | 108511 | 108511 | 0.05311 | 0.5 | 0.7384 | 0.7038 | 0.8389 | -1 | 1 | 2 | 1 | 2.86 | 0.07348 | 0 | 0.1132 | 1 | 1 | 0.001258 | 0.129 | 0.1601 | 0.06064 | 0.2462 | 2.176 | 1 | 0.1044 | 0.1833 | 1 | 1 | 0.08013 | 0.1895 | 0.1666 | 0.1139 | 0.2692 | 0.2367 | json |
| t17_x1_u5_b15 | 17 | 1 | 5 | 15 | ![]() |
sub(P,pow(P,sgn(D))) | 98964 | 138091638 | o2(x,o2(x,o1(x))) | true | 108519 | 108519 | -0.1763 | 0.4375 | 0.8237 | 0.7736 | 0.8795 | -1 | 1 | 2 | 1 | 2.057 | 0.03462 | 0 | 0.05548 | 1 | 1 | 1.419e-9 | 0.06057 | 0.07424 | 0.03153 | 0.1776 | 3.2 | 1 | 0.04476 | 0.0783 | 1 | 1 | 0.03867 | 0.1146 | 0.1886 | 0.04999 | 0.1481 | 0.2438 | json |
| t17_x1_u5_b16 | 17 | 1 | 5 | 16 | ![]() |
sub(P,mod(P,sgn(D))) | 98965 | 138091639 | o2(x,o2(x,o1(x))) | true | 108527 | 108527 | 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_x1_u5_b17 | 17 | 1 | 5 | 17 | ![]() |
sub(P,lrg(P,sgn(D))) | 98966 | 138091640 | o2(x,o2(x,o1(x))) | true | 108535 | 108535 | -0.0625 | 0.4375 | 0.9375 | 0.9336 | 0.9662 | -1 | 1 | 2 | 1 | 1.272 | 0.007937 | 0 | 0.007937 | 1 | 1 | 0 | 0.01587 | 0.01587 | 0.007872 | 0.08872 | 11.18 | 1 | 0.008501 | 0.017 | 1 | 1 | 0.01053 | 0.04211 | 0.2526 | 0.01128 | 0.0451 | 0.2706 | json |
| t17_x1_u5_b18 | 17 | 1 | 5 | 18 | ![]() |
sub(P,eql(P,sgn(D))) | 98967 | 138091641 | o2(x,o2(x,o1(x))) | true | 108543 | 108543 | -0.02152 | 0.5 | 0.916 | 0.8979 | 0.9476 | -1 | 1 | 2 | 1 | 1.997 | 0.005319 | 0 | 0.01587 | 1 | 1 | 0 | 0.008252 | 0.01158 | 0.005063 | 0.07116 | 4.485 | 0.9991 | 0.005924 | 0.00919 | 1 | 1 | 0.008637 | 0.04222 | 0.2029 | 0.009619 | 0.04702 | 0.2259 | json |
| t17_x1_u5_b19 | 17 | 1 | 5 | 19 | ![]() |
sub(P,min(P,sgn(D))) | 98968 | 138091642 | o2(x,o2(x,o1(x))) | true | 108551 | 108551 | 0.4918 | 0.5625 | 0.4918 | 0.2364 | 0.4862 | 0 | 1 | 1 | 1 | 1.565 | 0.009814 | 0 | 0.01983 | 1 | 1 | -1.419e-9 | 0.01673 | 0.02103 | 0.00942 | 0.09706 | 4.895 | 0.9991 | 0.04152 | 0.07078 | 1 | 1 | 0.01494 | 0.05008 | 0.06734 | 0.06319 | 0.2118 | 0.2849 | json |
| t17_x1_u5_b20 | 17 | 1 | 5 | 20 | ![]() |
sub(P,dot(P,sgn(D))) | 98969 | 138091643 | o2(x,o2(x,o1(x))) | true | 108559 | 108559 | 0.1189 | 0.5624 | 0.9258 | 0.8893 | 0.943 | -1 | 1 | 2 | 1 | 2.085 | 0.1171 | 0.1797 | 0.214 | -0.2109 | 1 | 0.0004541 | 0.563 | 0.3314 | 0.2511 | 0.5011 | 2.341 | 2.466 | 0.3338 | 0.6331 | 1 | 1 | 0.3204 | 1.188 | 0.2854 | 0.3603 | 1.336 | 0.321 | json |
| t17_x1_u5_b21 | 17 | 1 | 5 | 21 | ![]() |
sub(P,dst(P,sgn(D))) | 98970 | 138091644 | o2(x,o2(x,o1(x))) | true | 108567 | 108567 | -0.8945 | 0.04843 | 0.9377 | 0.1164 | 0.3412 | -1 | 0.9992 | 1.999 | 1 | 1.116 | 0.02516 | 0.006944 | 0.04167 | 0.5674 | 1 | -0.000005267 | 0.06035 | 0.04991 | 0.03035 | 0.1742 | 4.181 | 1.999 | 0.2758 | 0.5184 | 1 | 1 | 0.04239 | 0.1593 | 0.07291 | 0.3642 | 1.368 | 0.6263 | json |
| t17_x1_u5_b22 | 17 | 1 | 5 | 22 | ![]() |
mlt(P,add(P,sgn(D))) | 98971 | 138091645 | o2(x,o2(x,o1(x))) | true | 108575 | 108575 | 0.875 | 0.875 | 0.875 | 0.1094 | 0.3307 | 0 | 1 | 1 | 1 | 0.5436 | 0.007937 | 0 | 0.007937 | 1 | 1 | 0 | 0.01587 | 0.01587 | 0.007872 | 0.08872 | 11.18 | 1 | 0.07256 | 0.1451 | 1 | 1 | 0.01053 | 0.04211 | 0.1684 | 0.09624 | 0.385 | 1.54 | json |
| t17_x1_u5_b23 | 17 | 1 | 5 | 23 | ![]() |
mlt(P,sub(P,sgn(D))) | 98972 | 138091646 | o2(x,o2(x,o1(x))) | true | 108583 | 108583 | 0.9296 | 1 | 0.9296 | 0.05335 | 0.231 | 0.0005821 | 1 | 0.9994 | 1 | 0.7278 | 0.01137 | 0 | 0.02378 | 1 | 1 | -4.731e-9 | 0.01772 | 0.02571 | 0.0108 | 0.1039 | 4.372 | 0.9983 | 0.2131 | 0.3322 | 1 | 1 | 0.0184 | 0.06187 | 0.07858 | 0.345 | 1.16 | 1.473 | json |
| t17_x1_u5_b24 | 17 | 1 | 5 | 24 | ![]() |
mlt(P,mlt(P,sgn(D))) | 98973 | 138091647 | o2(x,o2(x,o1(x))) | true | 108591 | 108591 | 1.455e-11 | 0.5 | 0.91 | 0.8855 | 0.941 | -1 | 1 | 2 | 1 | 2.212 | 0.3955 | 0 | 0.2301 | 1 | 1 | -1.877e-12 | 0.7569 | 0.4061 | 0.3425 | 0.5852 | 2.543 | 2 | 0.4467 | 0.8547 | 1 | 1 | 0.3914 | 1.382 | 0.1558 | 0.442 | 1.561 | 0.1759 | json |
| t17_x1_u5_b25 | 17 | 1 | 5 | 25 | ![]() |
mlt(P,div(P,sgn(D))) | 98974 | 138091648 | o2(x,o2(x,o1(x))) | true | 108599 | 108599 | 1.455e-11 | 0.5 | 0.91 | 0.8855 | 0.941 | -1 | 1 | 2 | 1 | 2.212 | 0.3955 | 0 | 0.2301 | 1 | 1 | -1.877e-12 | 0.7569 | 0.4061 | 0.3425 | 0.5852 | 2.543 | 2 | 0.4467 | 0.8547 | 1 | 1 | 0.3914 | 1.382 | 0.1558 | 0.442 | 1.561 | 0.1759 | json |
| t17_x1_u5_b26 | 17 | 1 | 5 | 26 | ![]() |
mlt(P,pow(P,sgn(D))) | 98975 | 138091649 | o2(x,o2(x,o1(x))) | true | 108607 | 108607 | -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_x1_u5_b27 | 17 | 1 | 5 | 27 | ![]() |
mlt(P,mod(P,sgn(D))) | 98976 | 138091650 | o2(x,o2(x,o1(x))) | true | 108615 | 108615 | 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_x1_u5_b28 | 17 | 1 | 5 | 28 | ![]() |
mlt(P,lrg(P,sgn(D))) | 98977 | 138091651 | o2(x,o2(x,o1(x))) | true | 108623 | 108623 | 0.4472 | 0.5 | 0.4472 | 0.2367 | 0.4866 | 0 | 1 | 1 | 1 | 1.452 | 0.004966 | 0 | 0.0119 | 1 | 1 | -4.731e-10 | 0.008236 | 0.01066 | 0.004825 | 0.06946 | 5.838 | 0.9991 | 0.02098 | 0.03479 | 1 | 1 | 0.007711 | 0.02988 | 0.06998 | 0.03257 | 0.1262 | 0.2956 | json |
| t17_x1_u5_b29 | 17 | 1 | 5 | 29 | ![]() |
mlt(P,eql(P,sgn(D))) | 98978 | 138091652 | o2(x,o2(x,o1(x))) | true | 108631 | 108631 | 0 | 0.0625 | 0.0625 | 0.04897 | 0.2213 | -0.9997 | 0.9997 | 1.999 | 1 | 1.004 | 0.008638 | 0 | 0.01587 | 1 | 1 | 0 | 0.016 | 0.01772 | 0.008384 | 0.09157 | 5.77 | 0.9997 | 0.1764 | 0.3268 | 1 | 1 | 0.0123 | 0.05328 | 0.06598 | 0.2512 | 1.088 | 1.347 | json |
| t17_x1_u5_b30 | 17 | 1 | 5 | 30 | ![]() |
mlt(P,min(P,sgn(D))) | 98979 | 138091653 | o2(x,o2(x,o1(x))) | true | 108639 | 108639 | 0.3997 | 0.707 | 0.8997 | 0.7151 | 0.8457 | -1 | 1 | 2 | 1 | 2.129 | 0.1571 | 0 | 0.119 | 1 | 1 | -1.877e-12 | 0.2652 | 0.165 | 0.1429 | 0.3781 | 3.176 | 2 | 0.2196 | 0.3709 | 1 | 1 | 0.1765 | 0.7709 | 0.1728 | 0.2468 | 1.078 | 0.2416 | json |
| t17_x1_u5_b31 | 17 | 1 | 5 | 31 | ![]() |
mlt(P,dot(P,sgn(D))) | 98980 | 138091654 | o2(x,o2(x,o1(x))) | true | 108647 | 108647 | -1.513e-9 | 0.4996 | 0.9286 | 0.9133 | 0.9557 | -1 | 1 | 2 | 1 | 1.895 | 0.2722 | 0.2376 | 0.2889 | 0.06773 | 1 | 5.106e-10 | 1.181 | 0.534 | 0.4264 | 0.653 | 2.26 | 2.828 | 0.5582 | 1.293 | 1 | 1 | 0.5017 | 1.643 | 0.5174 | 0.5493 | 1.799 | 0.5665 | json |
| t17_x1_u5_b32 | 17 | 1 | 5 | 32 | ![]() |
mlt(P,dst(P,sgn(D))) | 98981 | 138091655 | o2(x,o2(x,o1(x))) | true | 108655 | 108655 | 0 | 0.5 | 0.9676 | 0.9622 | 0.9809 | -1 | 1 | 2 | 1 | 1.414 | 0.002316 | 0.0002942 | 0.008971 | 0.7745 | 1 | -5.444e-11 | 0.002338 | 0.007177 | 0.002529 | 0.05029 | 5.606 | 1.411 | 0.002713 | 0.00243 | 1 | 1 | 0.005572 | 0.04064 | 0.2837 | 0.005791 | 0.04224 | 0.2949 | json |
| t17_x1_u5_b33 | 17 | 1 | 5 | 33 | ![]() |
div(P,add(P,sgn(D))) | 98982 | 138091656 | o2(x,o2(x,o1(x))) | true | 108663 | 108663 | 0.8079 | 0.9375 | 0.9329 | 0.2299 | 0.4795 | -1 | 1 | 2 | 1 | 1.987 | 0.02885 | 0 | 0.03916 | 1 | 1 | -5.204e-9 | 0.05631 | 0.05825 | 0.02733 | 0.1653 | 4.222 | 2 | 0.1255 | 0.2449 | 1 | 1 | 0.03874 | 0.1653 | 0.3044 | 0.1685 | 0.7192 | 1.324 | json |
| t17_x1_u5_b34 | 17 | 1 | 5 | 34 | ![]() |
div(P,sub(P,sgn(D))) | 98983 | 138091657 | o2(x,o2(x,o1(x))) | true | 108671 | 108671 | 0.6217 | 0.875 | 0.8717 | 0.4366 | 0.6607 | -1 | 1 | 2 | 1 | 2.419 | 0.05142 | 0 | 0.04661 | 1 | 1 | -0.0000499 | 0.1021 | 0.07516 | 0.04925 | 0.2219 | 4.762 | 2 | 0.1178 | 0.2339 | 1 | 1 | 0.06824 | 0.2646 | 0.5004 | 0.1563 | 0.6061 | 1.146 | json |
| t17_x1_u5_b35 | 17 | 1 | 5 | 35 | ![]() |
div(P,mlt(P,sgn(D))) | 98984 | 138091658 | o2(x,o2(x,o1(x))) | true | 108679 | 108679 | -0.125 | 0.4375 | 0.7278 | 0.6056 | 0.7782 | -1 | 0.9994 | 1.999 | 1 | 3.238 | 0.2259 | 0 | 0.2139 | 1 | 1 | 0 | 0.4186 | 0.2319 | 0.1801 | 0.4244 | 1.984 | 1.999 | 0.373 | 0.6913 | 1 | 1 | 0.2342 | 0.8306 | 0.2639 | 0.3867 | 1.372 | 0.4359 | json |
| t17_x1_u5_b36 | 17 | 1 | 5 | 36 | ![]() |
div(P,div(P,sgn(D))) | 98985 | 138091659 | o2(x,o2(x,o1(x))) | true | 108687 | 108687 | -0.125 | 0.4375 | 0.7278 | 0.6056 | 0.7782 | -1 | 0.9994 | 1.999 | 1 | 3.238 | 0.2259 | 0 | 0.2139 | 1 | 1 | 0 | 0.4186 | 0.2319 | 0.1801 | 0.4244 | 1.984 | 1.999 | 0.373 | 0.6913 | 1 | 1 | 0.2342 | 0.8306 | 0.2639 | 0.3867 | 1.372 | 0.4359 | json |
| t17_x1_u5_b37 | 17 | 1 | 5 | 37 | ![]() |
div(P,pow(P,sgn(D))) | 98986 | 138091660 | o2(x,o2(x,o1(x))) | true | 108695 | 108695 | -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_x1_u5_b38 | 17 | 1 | 5 | 38 | ![]() |
div(P,mod(P,sgn(D))) | 98987 | 138091661 | o2(x,o2(x,o1(x))) | true | 108703 | 108703 | -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_x1_u5_b39 | 17 | 1 | 5 | 39 | ![]() |
div(P,lrg(P,sgn(D))) | 98988 | 138091662 | o2(x,o2(x,o1(x))) | true | 108711 | 108711 | -0.25 | 0.375 | 1 | 0.9375 | 0.9682 | -1 | 1 | 2 | 1 | 0.9544 | 0.01587 | 0 | 0.007937 | 1 | 1 | 0 | 0.03175 | 0.01587 | 0.01581 | 0.1257 | 15.84 | 2 | 0.01693 | 0.03386 | 1 | 1 | 0.02105 | 0.08421 | 0.3368 | 0.02246 | 0.08982 | 0.3593 | json |
| t17_x1_u5_b40 | 17 | 1 | 5 | 40 | ![]() |
div(P,eql(P,sgn(D))) | 98989 | 138091663 | o2(x,o2(x,o1(x))) | true | 108719 | 108719 | -0.875 | 0.0625 | 1 | 0.2344 | 0.4841 | -1 | 1 | 2 | 1 | 0.3373 | 0.03175 | 0 | 0.01587 | 1 | 1 | 0 | 0.06349 | 0.03175 | 0.03149 | 0.1774 | 11.18 | 2 | 0.1354 | 0.2709 | 1 | 1 | 0.04211 | 0.1684 | 0.3368 | 0.1796 | 0.7186 | 1.437 | json |
| t17_x1_u5_b41 | 17 | 1 | 5 | 41 | ![]() |
div(P,min(P,sgn(D))) | 98990 | 138091664 | o2(x,o2(x,o1(x))) | true | 108727 | 108727 | 0.3685 | 0.707 | 0.931 | 0.7771 | 0.8816 | -1 | 1 | 2 | 1 | 1.819 | 0.1607 | 0 | 0.119 | 1 | 1 | 5.675e-9 | 0.273 | 0.172 | 0.1466 | 0.3828 | 3.216 | 2 | 0.2068 | 0.3513 | 1 | 1 | 0.181 | 0.7987 | 0.2892 | 0.2328 | 1.028 | 0.3722 | json |
| t17_x1_u5_b42 | 17 | 1 | 5 | 42 | ![]() |
div(P,dot(P,sgn(D))) | 98991 | 138091665 | o2(x,o2(x,o1(x))) | true | 108735 | 108735 | -0.1797 | 0.4075 | 0.6858 | 0.5759 | 0.7589 | -1 | 1 | 2 | 1 | 3.846 | 0.1133 | 0.06907 | 0.1726 | 0.2424 | 1 | 8.016e-10 | 0.351 | 0.2312 | 0.1526 | 0.3906 | 2.263 | 2.828 | 0.3166 | 0.6095 | 1 | 1 | 0.1921 | 0.809 | 0.9229 | 0.3335 | 1.405 | 1.602 | json |
| t17_x1_u5_b43 | 17 | 1 | 5 | 43 | ![]() |
div(P,dst(P,sgn(D))) | 98992 | 138091666 | o2(x,o2(x,o1(x))) | true | 108743 | 108743 | -0.01563 | 0.4894 | 0.6336 | 0.4868 | 0.6977 | -1 | 1 | 2 | 1 | 4.803 | 0.005079 | 0.004177 | 0.03281 | 0.09743 | 1 | -8.987e-10 | 0.01853 | 0.03933 | 0.00818 | 0.09045 | 2.757 | 2.533 | 0.01902 | 0.03807 | 1 | 1 | 0.01565 | 0.06372 | 0.1551 | 0.03216 | 0.1309 | 0.3186 | json |
| t17_x1_u5_b44 | 17 | 1 | 5 | 44 | ![]() |
pow(P,add(P,sgn(D))) | 98993 | 138091667 | o2(x,o2(x,o1(x))) | true | 108751 | 108751 | 0.09375 | 0.5625 | 0.9688 | 0.9525 | 0.976 | -1 | 1 | 2 | 1 | 1.404 | 0.02019 | 0 | 0.01587 | 1 | 1 | 0 | 0.03975 | 0.02473 | 0.01993 | 0.1412 | 8.896 | 2 | 0.0212 | 0.04173 | 1 | 1 | 0.0272 | 0.1109 | 0.2856 | 0.02856 | 0.1164 | 0.2999 | json |
| t17_x1_u5_b45 | 17 | 1 | 5 | 45 | ![]() |
pow(P,sub(P,sgn(D))) | 98994 | 138091668 | o2(x,o2(x,o1(x))) | true | 108759 | 108759 | -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_x1_u5_b46 | 17 | 1 | 5 | 46 | ![]() |
pow(P,mlt(P,sgn(D))) | 98995 | 138091669 | o2(x,o2(x,o1(x))) | true | 108767 | 108767 | -0.05037 | 0.5 | 0.9496 | 0.9325 | 0.9657 | -1 | 1 | 2 | 1 | 1.657 | 0.03538 | 0 | 0.03743 | 1 | 1 | 1.891e-9 | 0.07569 | 0.06168 | 0.03396 | 0.1843 | 4.924 | 2 | 0.03794 | 0.08116 | 1 | 1 | 0.04363 | 0.129 | 0.3091 | 0.04679 | 0.1383 | 0.3314 | json |
| t17_x1_u5_b47 | 17 | 1 | 5 | 47 | ![]() |
pow(P,div(P,sgn(D))) | 98996 | 138091670 | o2(x,o2(x,o1(x))) | true | 108775 | 108775 | -0.05037 | 0.5 | 0.9496 | 0.9325 | 0.9657 | -1 | 1 | 2 | 1 | 1.657 | 0.03538 | 0 | 0.03743 | 1 | 1 | 1.891e-9 | 0.07569 | 0.06168 | 0.03396 | 0.1843 | 4.924 | 2 | 0.03794 | 0.08116 | 1 | 1 | 0.04363 | 0.129 | 0.3091 | 0.04679 | 0.1383 | 0.3314 | json |
| t17_x1_u5_b48 | 17 | 1 | 5 | 48 | ![]() |
pow(P,pow(P,sgn(D))) | 98997 | 138091671 | o2(x,o2(x,o1(x))) | true | 108783 | 108783 | 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_x1_u5_b49 | 17 | 1 | 5 | 49 | ![]() |
pow(P,mod(P,sgn(D))) | 98998 | 138091672 | o2(x,o2(x,o1(x))) | true | 108791 | 108791 | 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_x1_u5_b50 | 17 | 1 | 5 | 50 | ![]() |
pow(P,lrg(P,sgn(D))) | 98999 | 138091673 | o2(x,o2(x,o1(x))) | true | 108799 | 108799 | 0.9688 | 1 | 0.9688 | 0.02351 | 0.1533 | 0.000291 | 1 | 0.9997 | 1 | 0.459 | 0.004319 | 0 | 0.007934 | 1 | 1 | 0 | 0.008002 | 0.008862 | 0.004255 | 0.06523 | 8.221 | 0.9997 | 0.1837 | 0.3404 | 1 | 1 | 0.00615 | 0.02664 | 0.03299 | 0.2616 | 1.133 | 1.403 | json |



































































































