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_x12_u4_b55 | 17 | 12 | 4 | 55 | ![]() |
mod(D,add(D,cil(P))) | 108200 | 138535888 | o2(x,o2(x,o1(x))) | true | 25607 | 25607 | 0 | 0.4961 | 0.1009 | 0.01335 | 0.1156 | -0.2729 | 0.2729 | 0.5458 | 1 | 2.868 | 0.004949 | 0 | 0.04522 | 1 | 1 | 3.52e-13 | 0.008204 | 0.03507 | 0.002906 | 0.05391 | 1.192 | 0.4959 | 0.3706 | 0.6144 | 1 | 1 | 0.006678 | 0.02565 | 0.002861 | 0.5001 | 1.921 | 0.2142 | json |
| t17_x12_u4_b56 | 17 | 12 | 4 | 56 | ![]() |
mod(D,sub(D,cil(P))) | 108201 | 138535889 | o2(x,o2(x,o1(x))) | true | 25615 | 25615 | -9.095e-13 | 0.5 | 0.1037 | 0.01403 | 0.1184 | -0.2729 | 0.2729 | 0.5458 | 1 | 2.91 | 0.004037 | 0 | 0.04529 | 1 | 1 | -1.173e-13 | 0.006203 | 0.03521 | 0.001988 | 0.04459 | 0.9846 | 0.289 | 0.2878 | 0.4422 | 1 | 1 | 0.005588 | 0.02669 | 0.004222 | 0.3983 | 1.903 | 0.301 | json |
| t17_x12_u4_b57 | 17 | 12 | 4 | 57 | ![]() |
mod(D,mlt(D,cil(P))) | 108202 | 138535890 | o2(x,o2(x,o1(x))) | true | 25623 | 25623 | -0.125 | 0.4375 | 0.2125 | 0.1207 | 0.3475 | -1 | 0.2729 | 1.273 | 1 | 2.997 | 0.01124 | 0 | 0.0468 | 1 | 1 | -2.464e-12 | 0.02103 | 0.04451 | 0.009048 | 0.09512 | 2.032 | 1 | 0.09306 | 0.1741 | 1 | 1 | 0.01485 | 0.06238 | 0.173 | 0.123 | 0.5167 | 1.433 | json |
| t17_x12_u4_b58 | 17 | 12 | 4 | 58 | ![]() |
mod(D,div(D,cil(P))) | 108203 | 138535891 | o2(x,o2(x,o1(x))) | true | 25631 | 25631 | -0.125 | 0.1328 | 0.1449 | 0.112 | 0.3346 | -1 | 0.2729 | 1.273 | 1 | 1.652 | 0.01186 | 0 | 0.0357 | 1 | 1 | 1.173e-13 | 0.0257 | 0.06883 | 0.01059 | 0.1029 | 2.882 | 1 | 0.1059 | 0.2295 | 1 | 1 | 0.01439 | 0.04603 | 0.1714 | 0.1286 | 0.4111 | 1.531 | json |
| t17_x12_u4_b59 | 17 | 12 | 4 | 59 | ![]() |
mod(D,pow(D,cil(P))) | 108204 | 138535892 | o2(x,o2(x,o1(x))) | true | 25639 | 25639 | -0.9375 | 0.03125 | 0.9434 | 0.05927 | 0.2435 | -1 | 0.1454 | 1.145 | 1 | 0.4974 | 0.008034 | 0 | 0.009999 | 1 | 1 | 9.386e-13 | 0.0159 | 0.01675 | 0.007931 | 0.08906 | 8.907 | 1.031 | 0.1355 | 0.2683 | 1 | 1 | 0.01077 | 0.04347 | 0.08512 | 0.1816 | 0.7335 | 1.436 | json |
| t17_x12_u4_b60 | 17 | 12 | 4 | 60 | ![]() |
mod(D,mod(D,cil(P))) | 108205 | 138535893 | o2(x,o2(x,o1(x))) | true | 25647 | 25647 | -0.125 | 0.2188 | 0.2158 | 0.1304 | 0.3612 | -1 | 0.2729 | 1.273 | 1 | 2.512 | 0.0424 | 0 | 0.1332 | 1 | 1 | 0 | 0.09931 | 0.2632 | 0.02466 | 0.157 | 1.179 | 1 | 0.3251 | 0.7613 | 1 | 1 | 0.03632 | 0.06711 | 0.1725 | 0.2785 | 0.5145 | 1.322 | json |
| t17_x12_u4_b61 | 17 | 12 | 4 | 61 | ![]() |
mod(D,lrg(D,cil(P))) | 108206 | 138535894 | o2(x,o2(x,o1(x))) | true | 25655 | 25655 | -0.5625 | 0.2188 | 0.6038 | 0.2508 | 0.5008 | -1 | 0.1454 | 1.145 | 1 | 2.109 | 0.004427 | 0 | 0.01938 | 1 | 1 | -0.0001582 | 0.008005 | 0.01426 | 0.004053 | 0.06366 | 3.285 | 0.969 | 0.01765 | 0.03192 | 1 | 1 | 0.005908 | 0.02549 | 0.08512 | 0.02356 | 0.1016 | 0.3394 | json |
| t17_x12_u4_b62 | 17 | 12 | 4 | 62 | ![]() |
mod(D,eql(D,cil(P))) | 108207 | 138535895 | o2(x,o2(x,o1(x))) | true | 25663 | 25663 | -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_x12_u4_b63 | 17 | 12 | 4 | 63 | ![]() |
mod(D,min(D,cil(P))) | 108208 | 138535896 | o2(x,o2(x,o1(x))) | true | 25671 | 25671 | -0.05681 | 0.375 | 0.1575 | 0.07617 | 0.276 | -1 | 0.2729 | 1.273 | 1 | 3.148 | 0.02694 | 0 | 0.09243 | 1 | 1 | -0.0005275 | 0.06013 | 0.1548 | 0.0184 | 0.1357 | 1.468 | 1 | 0.3537 | 0.7893 | 1 | 1 | 0.02587 | 0.07079 | 0.08717 | 0.3397 | 0.9293 | 1.144 | json |
| t17_x12_u4_b64 | 17 | 12 | 4 | 64 | ![]() |
mod(D,dot(D,cil(P))) | 108209 | 138535897 | o2(x,o2(x,o1(x))) | true | 25679 | 25679 | -0.03467 | 0.4823 | 0.1293 | 0.04544 | 0.2132 | -1 | 0.2729 | 1.273 | 1 | 2.914 | 0.04228 | 0.04156 | 0.1138 | 0.00864 | 1 | -1.018e-10 | 0.4513 | 0.2098 | 0.0709 | 0.2663 | 2.341 | 1.794 | 1.845 | 9.931 | 1 | 1 | 0.05619 | 0.08374 | 0.08894 | 1.237 | 1.843 | 1.957 | json |
| t17_x12_u4_b65 | 17 | 12 | 4 | 65 | ![]() |
mod(D,dst(D,cil(P))) | 108210 | 138535898 | o2(x,o2(x,o1(x))) | true | 25687 | 25687 | 9.095e-13 | 0.5 | 0.09465 | 0.01091 | 0.1044 | -0.2389 | 0.2389 | 0.4777 | 1 | 2.58 | 0.001662 | 0.000005765 | 0.03627 | 0.9931 | 1 | 8.799e-12 | 0.0003426 | 0.01494 | 0.0003533 | 0.0188 | 0.5182 | 0.34 | 0.1529 | 0.03142 | 1 | 1 | 0.003221 | 0.02213 | 0.00009553 | 0.2953 | 2.029 | 0.008759 | json |
| t17_x12_u4_b66 | 17 | 12 | 4 | 66 | ![]() |
lrg(D,add(D,cil(P))) | 108211 | 138535899 | o2(x,o2(x,o1(x))) | true | 25695 | 25695 | 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_x12_u4_b67 | 17 | 12 | 4 | 67 | ![]() |
lrg(D,sub(D,cil(P))) | 108212 | 138535900 | o2(x,o2(x,o1(x))) | true | 25703 | 25703 | 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_x12_u4_b68 | 17 | 12 | 4 | 68 | ![]() |
lrg(D,mlt(D,cil(P))) | 108213 | 138535901 | o2(x,o2(x,o1(x))) | true | 25711 | 25711 | 0.5 | 1 | 0.5 | 0.1418 | 0.3765 | 0.000291 | 0.9997 | 0.9994 | 1 | 3.406 | 0.06114 | 0 | 0.1188 | 1 | 1 | 0.0001797 | 0.1128 | 0.1257 | 0.047 | 0.2168 | 1.825 | 0.9994 | 0.4313 | 0.7955 | 1 | 1 | 0.06554 | 0.2335 | 0.04776 | 0.4623 | 1.647 | 0.3369 | json |
| t17_x12_u4_b69 | 17 | 12 | 4 | 69 | ![]() |
lrg(D,div(D,cil(P))) | 108214 | 138535902 | o2(x,o2(x,o1(x))) | true | 25719 | 25719 | 0.4688 | 0.875 | 0.4688 | 0.1611 | 0.4013 | 0 | 1 | 1 | 1 | 3.173 | 0.06009 | 0 | 0.1069 | 1 | 1 | 0 | 0.1125 | 0.123 | 0.04865 | 0.2206 | 2.063 | 1 | 0.3731 | 0.6986 | 1 | 1 | 0.06293 | 0.2229 | 0.1081 | 0.3907 | 1.384 | 0.6711 | json |
| t17_x12_u4_b70 | 17 | 12 | 4 | 70 | ![]() |
lrg(D,pow(D,cil(P))) | 108215 | 138535903 | o2(x,o2(x,o1(x))) | true | 25727 | 25727 | 0.6563 | 0.9375 | 0.6563 | 0.1647 | 0.4059 | 0 | 1 | 1 | 1 | 2.638 | 0.03488 | 0 | 0.06731 | 1 | 1 | -0.00008984 | 0.06438 | 0.07172 | 0.03035 | 0.1742 | 2.588 | 0.9997 | 0.2118 | 0.3908 | 1 | 1 | 0.03763 | 0.1384 | 0.06598 | 0.2284 | 0.8405 | 0.4006 | json |
| t17_x12_u4_b71 | 17 | 12 | 4 | 71 | ![]() |
lrg(D,mod(D,cil(P))) | 108216 | 138535904 | o2(x,o2(x,o1(x))) | true | 25735 | 25735 | 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_x12_u4_b72 | 17 | 12 | 4 | 72 | ![]() |
lrg(D,lrg(D,cil(P))) | 108217 | 138535905 | o2(x,o2(x,o1(x))) | true | 25743 | 25743 | 0.2188 | 0.4375 | 0.2188 | 0.1235 | 0.3515 | 0 | 0.9997 | 0.9997 | 1 | 2.124 | 0.03022 | 0 | 0.0555 | 1 | 1 | -0.00008984 | 0.05631 | 0.06193 | 0.02713 | 0.1647 | 2.967 | 0.9997 | 0.2446 | 0.4558 | 1 | 1 | 0.03318 | 0.1162 | 0.03299 | 0.2686 | 0.9402 | 0.267 | json |
| t17_x12_u4_b73 | 17 | 12 | 4 | 73 | ![]() |
lrg(D,eql(D,cil(P))) | 108218 | 138535906 | o2(x,o2(x,o1(x))) | true | 25751 | 25751 | 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_x12_u4_b74 | 17 | 12 | 4 | 74 | ![]() |
lrg(D,min(D,cil(P))) | 108219 | 138535907 | o2(x,o2(x,o1(x))) | true | 25759 | 25759 | 0.5 | 0.5625 | 0.5 | 0.2365 | 0.4863 | 0 | 1 | 1 | 1 | 1.577 | 0.00467 | 0 | 0.0119 | 1 | 1 | -4.731e-10 | 0.008068 | 0.009787 | 0.004528 | 0.06729 | 5.654 | 0.9994 | 0.01975 | 0.03412 | 1 | 1 | 0.007036 | 0.03244 | 0.06598 | 0.02976 | 0.1372 | 0.279 | json |
| t17_x12_u4_b75 | 17 | 12 | 4 | 75 | ![]() |
lrg(D,dot(D,cil(P))) | 108220 | 138535908 | o2(x,o2(x,o1(x))) | true | 25767 | 25767 | 0.5396 | 1 | 0.5396 | 0.1029 | 0.3207 | 0.000291 | 1 | 0.9997 | 1 | 3.827 | 0.03345 | 0.03326 | 0.1424 | 0.002863 | 1 | -0.0009411 | 0.2094 | 0.1768 | 0.04643 | 0.2155 | 1.513 | 1.414 | 0.6486 | 2.036 | 1 | 1 | 0.06996 | 0.2283 | 0.06515 | 0.6801 | 2.219 | 0.6334 | json |
| t17_x12_u4_b76 | 17 | 12 | 4 | 76 | ![]() |
lrg(D,dst(D,cil(P))) | 108221 | 138535909 | o2(x,o2(x,o1(x))) | true | 25775 | 25775 | 0.0002745 | 0.004578 | 0.0002745 | 0.00005835 | 0.007639 | 0 | 0.4414 | 0.4414 | 1 | 0.01717 | 0.00003931 | 0.000009054 | 0.0002599 | 0.6256 | 0 | -1.962e-12 | 0.0001369 | 0.0003767 | 0.00004826 | 0.006947 | 26.73 | 0.4973 | 0.8289 | 2.346 | 1 | 1 | 0.00007944 | 0.0001845 | 0.0002021 | 1.361 | 3.162 | 3.464 | json |
| t17_x12_u4_b77 | 17 | 12 | 4 | 77 | ![]() |
eql(D,add(D,cil(P))) | 108222 | 138535910 | o2(x,o2(x,o1(x))) | true | 25783 | 25783 | 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_x12_u4_b78 | 17 | 12 | 4 | 78 | ![]() |
eql(D,sub(D,cil(P))) | 108223 | 138535911 | o2(x,o2(x,o1(x))) | true | 25791 | 25791 | 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_x12_u4_b79 | 17 | 12 | 4 | 79 | ![]() |
eql(D,mlt(D,cil(P))) | 108224 | 138535912 | o2(x,o2(x,o1(x))) | true | 25799 | 25799 | 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_x12_u4_b80 | 17 | 12 | 4 | 80 | ![]() |
eql(D,div(D,cil(P))) | 108225 | 138535913 | o2(x,o2(x,o1(x))) | true | 25807 | 25807 | 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_x12_u4_b81 | 17 | 12 | 4 | 81 | ![]() |
eql(D,pow(D,cil(P))) | 108226 | 138535914 | o2(x,o2(x,o1(x))) | true | 25815 | 25815 | 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_x12_u4_b82 | 17 | 12 | 4 | 82 | ![]() |
eql(D,mod(D,cil(P))) | 108227 | 138535915 | o2(x,o2(x,o1(x))) | true | 25823 | 25823 | 0.9375 | 1 | 0.9375 | 0.04507 | 0.2123 | 0.000291 | 1 | 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_x12_u4_b83 | 17 | 12 | 4 | 83 | ![]() |
eql(D,lrg(D,cil(P))) | 108228 | 138535916 | o2(x,o2(x,o1(x))) | true | 25831 | 25831 | 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_x12_u4_b84 | 17 | 12 | 4 | 84 | ![]() |
eql(D,eql(D,cil(P))) | 108229 | 138535917 | o2(x,o2(x,o1(x))) | true | 25839 | 25839 | 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_x12_u4_b85 | 17 | 12 | 4 | 85 | ![]() |
eql(D,min(D,cil(P))) | 108230 | 138535918 | o2(x,o2(x,o1(x))) | true | 25847 | 25847 | 0.5 | 0.5625 | 0.5 | 0.2365 | 0.4863 | 0 | 1 | 1 | 1 | 1.577 | 0.00467 | 0 | 0.0119 | 1 | 1 | -4.731e-10 | 0.008068 | 0.009787 | 0.004528 | 0.06729 | 5.654 | 0.9994 | 0.01975 | 0.03412 | 1 | 1 | 0.007036 | 0.03244 | 0.06598 | 0.02976 | 0.1372 | 0.279 | json |
| t17_x12_u4_b86 | 17 | 12 | 4 | 86 | ![]() |
eql(D,dot(D,cil(P))) | 108231 | 138535919 | o2(x,o2(x,o1(x))) | true | 25855 | 25855 | 0.01216 | 0.03226 | 0.01216 | 0.008676 | 0.09314 | 0 | 0.9994 | 0.9994 | 1 | 0.2336 | 0.01281 | 0.01279 | 0.02743 | 0.0009992 | 1 | -0.000005323 | 0.1439 | 0.06608 | 0.02484 | 0.1576 | 5.745 | 1.413 | 2.951 | 16.59 | 1 | 1 | 0.01535 | 0.01846 | 0.02309 | 1.769 | 2.128 | 2.661 | json |
| t17_x12_u4_b87 | 17 | 12 | 4 | 87 | ![]() |
eql(D,dst(D,cil(P))) | 108232 | 138535920 | o2(x,o2(x,o1(x))) | true | 25863 | 25863 | 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_x12_u4_b88 | 17 | 12 | 4 | 88 | ![]() |
min(D,add(D,cil(P))) | 108233 | 138535921 | o2(x,o2(x,o1(x))) | true | 25871 | 25871 | -0.4688 | 0.25 | 0.516 | 0.244 | 0.494 | -1 | 0.1454 | 1.145 | 1 | 2.701 | 0.001064 | 0 | 0.02209 | 1 | 1 | 0.0001582 | 0.0001359 | 0.007549 | 0.0005757 | 0.02399 | 1.086 | 0.0625 | 0.004358 | 0.000557 | 1 | 1 | 0.002248 | 0.02091 | 0.07308 | 0.009213 | 0.0857 | 0.2995 | json |
| t17_x12_u4_b89 | 17 | 12 | 4 | 89 | ![]() |
min(D,sub(D,cil(P))) | 108234 | 138535922 | o2(x,o2(x,o1(x))) | true | 25879 | 25879 | -0.4665 | 0.2695 | 0.516 | 0.2503 | 0.5003 | -1 | 0.1454 | 1.145 | 1 | 2.568 | 0.001475 | 0 | 0.02347 | 1 | 1 | -0.0001582 | 0.0002545 | 0.009837 | 0.0009237 | 0.03039 | 1.295 | 0.1713 | 0.005892 | 0.001017 | 1 | 1 | 0.003216 | 0.02691 | 0.07597 | 0.01285 | 0.1075 | 0.3036 | json |
| t17_x12_u4_b90 | 17 | 12 | 4 | 90 | ![]() |
min(D,mlt(D,cil(P))) | 108235 | 138535923 | o2(x,o2(x,o1(x))) | true | 25887 | 25887 | -0.5186 | 0.08594 | 0.5268 | 0.1496 | 0.3868 | -1 | 0.1014 | 1.101 | 1 | 3.7 | 0.02088 | 0 | 0.1018 | 1 | 1 | 0.002027 | 0.008702 | 0.05714 | 0.01051 | 0.1025 | 1.007 | 0.4391 | 0.1395 | 0.05815 | 1 | 1 | 0.03096 | 0.1775 | 0.03058 | 0.2069 | 1.186 | 0.2044 | json |
| t17_x12_u4_b91 | 17 | 12 | 4 | 91 | ![]() |
min(D,div(D,cil(P))) | 108236 | 138535924 | o2(x,o2(x,o1(x))) | true | 25895 | 25895 | -0.1798 | 0.1406 | 0.1942 | 0.05795 | 0.2407 | -1 | 0.1454 | 1.145 | 1 | 3.079 | 0.009416 | 0 | 0.04103 | 1 | 1 | 0.0003247 | 0.01622 | 0.02889 | 0.007733 | 0.08794 | 2.143 | 1.031 | 0.1625 | 0.2798 | 1 | 1 | 0.01333 | 0.05472 | 0.07458 | 0.23 | 0.9442 | 1.287 | json |
| t17_x12_u4_b92 | 17 | 12 | 4 | 92 | ![]() |
min(D,pow(D,cil(P))) | 108237 | 138535925 | o2(x,o2(x,o1(x))) | true | 25903 | 25903 | -0.0457 | 0.3203 | 0.1047 | 0.01289 | 0.1136 | -0.2643 | 0.1454 | 0.4098 | 1 | 2.812 | 0.001409 | 0 | 0.03317 | 1 | 1 | 0.00005227 | 0.0002434 | 0.01378 | 0.0003087 | 0.01757 | 0.5296 | 0.06192 | 0.1093 | 0.01888 | 1 | 1 | 0.002667 | 0.01761 | 0.001482 | 0.2068 | 1.366 | 0.1149 | json |
| t17_x12_u4_b93 | 17 | 12 | 4 | 93 | ![]() |
min(D,mod(D,cil(P))) | 108238 | 138535926 | o2(x,o2(x,o1(x))) | true | 25911 | 25911 | 0 | 0.5 | 0.09436 | 0.01082 | 0.104 | -0.1454 | 0.1454 | 0.2908 | 1 | 2.561 | 0.001632 | 0 | 0.0361 | 1 | 1 | 0 | 0.0002563 | 0.01459 | 0.0003304 | 0.01818 | 0.5036 | 0.06192 | 0.1508 | 0.02368 | 1 | 1 | 0.003151 | 0.02183 | 0 | 0.2912 | 2.017 | 0 | json |
| t17_x12_u4_b94 | 17 | 12 | 4 | 94 | ![]() |
min(D,lrg(D,cil(P))) | 108239 | 138535927 | o2(x,o2(x,o1(x))) | true | 25919 | 25919 | -0.06257 | 0.2813 | 0.1156 | 0.01516 | 0.1231 | -0.2729 | 0.1454 | 0.4183 | 1 | 2.916 | 0.001539 | 0 | 0.03506 | 1 | 1 | 0.00007403 | 0.0002631 | 0.01426 | 0.0003109 | 0.01763 | 0.503 | 0.06192 | 0.1015 | 0.01735 | 1 | 1 | 0.002959 | 0.01966 | 0.0025 | 0.1951 | 1.296 | 0.1649 | json |
| t17_x12_u4_b95 | 17 | 12 | 4 | 95 | ![]() |
min(D,eql(D,cil(P))) | 108240 | 138535928 | o2(x,o2(x,o1(x))) | true | 25927 | 25927 | -0.143 | 0 | 0.143 | 0.009237 | 0.09611 | -0.2729 | -0.000282 | 0.2726 | 1 | 2.227 | 0.001451 | 0 | 0.03416 | 1 | 1 | 0.0003063 | 0.0002653 | 0.01361 | 0.0002853 | 0.01689 | 0.4945 | 0.06184 | 0.1571 | 0.02873 | 1 | 1 | 0.002788 | 0.01827 | 0 | 0.3018 | 1.978 | 0 | json |
| t17_x12_u4_b96 | 17 | 12 | 4 | 96 | ![]() |
min(D,min(D,cil(P))) | 108241 | 138535929 | o2(x,o2(x,o1(x))) | true | 25935 | 25935 | -0.4866 | 0.2188 | 0.5279 | 0.2404 | 0.4903 | -1 | 0.1454 | 1.145 | 1 | 2.671 | 0.00115 | 0 | 0.02195 | 1 | 1 | 0.0001582 | 0.000139 | 0.007881 | 0.0006688 | 0.02586 | 1.178 | 0.1105 | 0.004785 | 0.0005782 | 1 | 1 | 0.002476 | 0.02333 | 0.06805 | 0.0103 | 0.09702 | 0.283 | json |
| t17_x12_u4_b97 | 17 | 12 | 4 | 97 | ![]() |
min(D,dot(D,cil(P))) | 108242 | 138535930 | o2(x,o2(x,o1(x))) | true | 25943 | 25943 | -0.7276 | 0.02341 | 0.7295 | 0.1124 | 0.3353 | -1 | 0.1431 | 1.143 | 1 | 3.007 | 0.01223 | 0.01163 | 0.1014 | 0.02484 | 1 | 0.001969 | 0.01661 | 0.06895 | 0.01357 | 0.1165 | 1.148 | 0.6191 | 0.2123 | 0.1478 | 1 | 1 | 0.03694 | 0.1935 | 0.03145 | 0.3287 | 1.722 | 0.2798 | json |
| t17_x12_u4_b98 | 17 | 12 | 4 | 98 | ![]() |
min(D,dst(D,cil(P))) | 108243 | 138535931 | o2(x,o2(x,o1(x))) | true | 25951 | 25951 | -0.00004939 | 0.5 | 0.09441 | 0.01084 | 0.1041 | -0.2027 | 0.1454 | 0.3481 | 1 | 2.563 | 0.001635 | 7.166e-8 | 0.03612 | 0.9999 | 1 | 1.995e-12 | 0.0002569 | 0.0146 | 0.0003309 | 0.01819 | 0.5036 | 0.08594 | 0.1509 | 0.02371 | 1 | 1 | 0.003159 | 0.02188 | 0.000006259 | 0.2915 | 2.019 | 0.0005776 | json |
| t17_x12_u4_b99 | 17 | 12 | 4 | 99 | ![]() |
dot(D,add(D,cil(P))) | 108244 | 138535932 | o2(x,o2(x,o1(x))) | true | 25959 | 25959 | -0.0394 | 0.4744 | 0.5024 | 0.3575 | 0.5979 | -1 | 1 | 2 | 1 | 4.853 | 0.02804 | 0.02804 | 0.1957 | -0.00002196 | 1 | 0.003137 | 0.01529 | 0.08146 | 0.01779 | 0.1334 | 0.6817 | 0.613 | 0.1568 | 0.04277 | 1 | 1 | 0.06876 | 0.484 | 0.03915 | 0.1923 | 1.354 | 0.1095 | json |
| t17_x12_u4_b100 | 17 | 12 | 4 | 100 | ![]() |
dot(D,sub(D,cil(P))) | 108245 | 138535933 | o2(x,o2(x,o1(x))) | true | 25967 | 25967 | 0.4166 | 0.7614 | 0.6101 | 0.3146 | 0.5608 | -1 | 1 | 2 | 1 | 4.287 | 0.02691 | 0.02691 | 0.1832 | 0.00001537 | 1 | -0.00229 | 0.01803 | 0.08402 | 0.02025 | 0.1423 | 0.7768 | 0.613 | 0.1711 | 0.05731 | 1 | 1 | 0.06953 | 0.4667 | 0.03248 | 0.221 | 1.484 | 0.1033 | json |
| t17_x12_u4_b101 | 17 | 12 | 4 | 101 | ![]() |
dot(D,mlt(D,cil(P))) | 108246 | 138535934 | o2(x,o2(x,o1(x))) | true | 25975 | 25975 | 1.364e-8 | 0.498 | 0.5792 | 0.47 | 0.6856 | -1 | 1 | 2 | 1 | 4.484 | 0.01554 | 0.01554 | 0.1298 | -0.0000264 | 1 | -3.358e-9 | 0.01102 | 0.06551 | 0.01422 | 0.1192 | 0.9184 | 0.5422 | 0.06611 | 0.02344 | 1 | 1 | 0.0419 | 0.2637 | 0.05978 | 0.08914 | 0.5611 | 0.1272 | json |
| t17_x12_u4_b102 | 17 | 12 | 4 | 102 | ![]() |
dot(D,div(D,cil(P))) | 108247 | 138535935 | o2(x,o2(x,o1(x))) | true | 25983 | 25983 | -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_x12_u4_b103 | 17 | 12 | 4 | 103 | ![]() |
dot(D,pow(D,cil(P))) | 108248 | 138535936 | o2(x,o2(x,o1(x))) | true | 25991 | 25991 | -0.9938 | 0.003235 | 0.9986 | 0.01048 | 0.1024 | -1 | 1 | 2 | 1 | 0.05123 | 0.001488 | 0.001488 | 0.00195 | 5.866e-7 | 1 | -3.754e-11 | 0.006364 | 0.003445 | 0.002971 | 0.05451 | 27.96 | 2 | 0.284 | 0.6072 | 1 | 1 | 0.005236 | 0.02044 | 0.03815 | 0.4996 | 1.95 | 3.64 | json |
| t17_x12_u4_b104 | 17 | 12 | 4 | 104 | ![]() |
dot(D,mod(D,cil(P))) | 108249 | 138535937 | o2(x,o2(x,o1(x))) | true | 25999 | 25999 | -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_x12_u4_b105 | 17 | 12 | 4 | 105 | ![]() |
dot(D,lrg(D,cil(P))) | 108250 | 138535938 | o2(x,o2(x,o1(x))) | true | 26007 | 26007 | 0.03575 | 0.4967 | 0.09731 | 0.01625 | 0.1275 | -0.2908 | 0.5458 | 0.8366 | 1 | 2.963 | 0.0008961 | 0.0008962 | 0.03451 | -0.000007827 | 1 | -0.0003163 | 0.0002746 | 0.01256 | 0.0006015 | 0.02453 | 0.7107 | 0.08796 | 0.1103 | 0.0169 | 1 | 1 | 0.003519 | 0.0256 | 0.01 | 0.2165 | 1.575 | 0.6154 | json |
| t17_x12_u4_b106 | 17 | 12 | 4 | 106 | ![]() |
dot(D,eql(D,cil(P))) | 108251 | 138535939 | o2(x,o2(x,o1(x))) | true | 26015 | 26015 | 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_x12_u4_b107 | 17 | 12 | 4 | 107 | ![]() |
dot(D,min(D,cil(P))) | 108252 | 138535940 | o2(x,o2(x,o1(x))) | true | 26023 | 26023 | -0.01206 | 0.5851 | 0.3831 | 0.2327 | 0.4824 | -1 | 1 | 2 | 1 | 4.707 | 0.01547 | 0.01547 | 0.132 | -0.000002198 | 1 | 0.001771 | 0.007127 | 0.05375 | 0.01351 | 0.1162 | 0.8804 | 0.613 | 0.1329 | 0.03063 | 1 | 1 | 0.03599 | 0.2407 | 0.02624 | 0.1546 | 1.034 | 0.1128 | json |
| t17_x12_u4_b108 | 17 | 12 | 4 | 108 | ![]() |
dot(D,dot(D,cil(P))) | 108253 | 138535941 | o2(x,o2(x,o1(x))) | true | 26031 | 26031 | -1.61e-8 | 0.498 | 0.5782 | 0.4695 | 0.6852 | -1 | 1 | 2 | 1 | 4.477 | 0.01592 | 0.01592 | 0.1318 | 2.925e-7 | 1 | -1.504e-9 | 0.01171 | 0.06763 | 0.01446 | 0.1203 | 0.9122 | 0.5512 | 0.06781 | 0.02495 | 1 | 1 | 0.04302 | 0.2684 | 0.05989 | 0.09162 | 0.5717 | 0.1275 | json |
| t17_x12_u4_b109 | 17 | 12 | 4 | 109 | ![]() |
dot(D,dst(D,cil(P))) | 108254 | 138535942 | o2(x,o2(x,o1(x))) | true | 26039 | 26039 | -5.057e-9 | 0.4977 | 0.5928 | 0.4814 | 0.6939 | -1 | 1 | 2 | 1 | 4.467 | 0.043 | 0.043 | 0.227 | -5.198e-7 | 1 | -4.28e-10 | 0.03989 | 0.1108 | 0.03448 | 0.1857 | 0.8181 | 0.8706 | 0.1786 | 0.08285 | 1 | 1 | 0.1138 | 0.7002 | 0.03486 | 0.2364 | 1.454 | 0.07241 | json |
| t17_x12_u4_b110 | 17 | 12 | 4 | 110 | ![]() |
dst(D,add(D,cil(P))) | 108255 | 138535943 | o2(x,o2(x,o1(x))) | true | 26047 | 26047 | 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_x12_u4_b111 | 17 | 12 | 4 | 111 | ![]() |
dst(D,sub(D,cil(P))) | 108256 | 138535944 | o2(x,o2(x,o1(x))) | true | 26055 | 26055 | 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_x12_u4_b112 | 17 | 12 | 4 | 112 | ![]() |
dst(D,mlt(D,cil(P))) | 108257 | 138535945 | o2(x,o2(x,o1(x))) | true | 26063 | 26063 | 0.8871 | 1 | 0.8871 | 0.05297 | 0.2302 | 0.0005638 | 1 | 0.9994 | 1 | 1.735 | 0.007413 | 0.007413 | 0.05577 | -1.256e-7 | 1 | -0.0009373 | 0.01451 | 0.05105 | 0.01172 | 0.1083 | 1.941 | 0.6712 | 0.2799 | 0.274 | 1 | 1 | 0.0246 | 0.08467 | 0.03479 | 0.4644 | 1.598 | 0.6568 | json |
| t17_x12_u4_b113 | 17 | 12 | 4 | 113 | ![]() |
dst(D,div(D,cil(P))) | 108258 | 138535946 | o2(x,o2(x,o1(x))) | true | 26071 | 26071 | -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_x12_u4_b114 | 17 | 12 | 4 | 114 | ![]() |
dst(D,pow(D,cil(P))) | 108259 | 138535947 | o2(x,o2(x,o1(x))) | true | 26079 | 26079 | -0.9922 | 0.003906 | 1 | 0.01556 | 0.1248 | -1 | 1 | 2 | 1 | 0.03687 | 0.002016 | 0.002016 | 0.001997 | 0 | 1 | 0 | 0.008566 | 0.004031 | 0.004025 | 0.06344 | 31.77 | 2.828 | 0.259 | 0.5504 | 1 | 1 | 0.007091 | 0.02837 | 0.05673 | 0.4556 | 1.823 | 3.645 | json |
| t17_x12_u4_b115 | 17 | 12 | 4 | 115 | ![]() |
dst(D,mod(D,cil(P))) | 108260 | 138535948 | o2(x,o2(x,o1(x))) | true | 26087 | 26087 | -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_x12_u4_b116 | 17 | 12 | 4 | 116 | ![]() |
dst(D,lrg(D,cil(P))) | 108261 | 138535949 | o2(x,o2(x,o1(x))) | true | 26095 | 26095 | 0.8376 | 1 | 0.8376 | 0.06345 | 0.2519 | 0.04419 | 1 | 0.9558 | 1 | 2.301 | 0.001756 | 0.001756 | 0.02671 | 0.00001266 | 1 | -0.00009765 | 0.004945 | 0.0163 | 0.002799 | 0.05291 | 1.981 | 1.308 | 0.05536 | 0.07793 | 1 | 1 | 0.005391 | 0.0258 | 0.02663 | 0.08496 | 0.4066 | 0.4197 | json |
| t17_x12_u4_b117 | 17 | 12 | 4 | 117 | ![]() |
dst(D,eql(D,cil(P))) | 108262 | 138535950 | o2(x,o2(x,o1(x))) | true | 26103 | 26103 | 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_x12_u4_b118 | 17 | 12 | 4 | 118 | ![]() |
dst(D,min(D,cil(P))) | 108263 | 138535951 | o2(x,o2(x,o1(x))) | true | 26111 | 26111 | 0.7335 | 0.8086 | 0.7335 | 0.1824 | 0.4271 | 0 | 1 | 1 | 1 | 1.364 | 0.0003112 | 0.0003112 | 0.006918 | -0.0000065 | 1 | 1.661e-9 | 0.0001146 | 0.003024 | 0.0005746 | 0.02397 | 3.465 | 0.169 | 0.003411 | 0.0006279 | 1 | 1 | 0.001583 | 0.01552 | 0.06751 | 0.008678 | 0.08508 | 0.3701 | json |
| t17_x12_u4_b119 | 17 | 12 | 4 | 119 | ![]() |
dst(D,dot(D,cil(P))) | 108264 | 138535952 | o2(x,o2(x,o1(x))) | true | 26119 | 26119 | 0.9428 | 1 | 0.9428 | 0.02893 | 0.1701 | 0.03222 | 1 | 0.9678 | 1 | 1.056 | 0.0117 | 0.0117 | 0.05499 | -7.164e-7 | 1 | -0.0004244 | 0.05674 | 0.07511 | 0.02039 | 0.1428 | 2.596 | 1.119 | 0.8089 | 1.962 | 1 | 1 | 0.03055 | 0.06672 | 0.01913 | 1.056 | 2.306 | 0.6613 | json |
| t17_x12_u4_b120 | 17 | 12 | 4 | 120 | ![]() |
dst(D,dst(D,cil(P))) | 108265 | 138535953 | o2(x,o2(x,o1(x))) | true | 26127 | 26127 | 0.9995 | 1 | 0.9995 | 0.000291 | 0.01706 | 0.05015 | 1 | 0.9498 | 1 | 0.01626 | 0.00003215 | 0.00003215 | 0.0002915 | 0 | 0 | 1.502e-11 | 0.0000393 | 0.0002258 | 0.00006418 | 0.008011 | 27.48 | 0.2954 | 0.221 | 0.1351 | 1 | 1 | 0.0002014 | 0.001044 | 0.001058 | 0.6923 | 3.588 | 3.635 | json |
| t17_x12_u5_b0 | 17 | 12 | 5 | 0 | ![]() |
add(D,add(D,sgn(P))) | 108266 | 138536034 | o2(x,o2(x,o1(x))) | true | 26135 | 26135 | -4.547e-11 | 0.5 | 0.8549 | 0.7658 | 0.8751 | -1 | 1 | 2 | 1 | 3.137 | 0.003082 | 0 | 0.03856 | 1 | 1 | 0 | 0.001107 | 0.02525 | 0.001595 | 0.03994 | 1.036 | 0.1244 | 0.004024 | 0.001446 | 1 | 1 | 0.005879 | 0.03775 | 0.1945 | 0.007677 | 0.04929 | 0.2541 | json |
| t17_x12_u5_b1 | 17 | 12 | 5 | 1 | ![]() |
add(D,sub(D,sgn(P))) | 108267 | 138536035 | o2(x,o2(x,o1(x))) | true | 26143 | 26143 | 0 | 0.5 | 0.8613 | 0.7865 | 0.8869 | -1 | 1 | 2 | 1 | 2.89 | 0.004557 | 0 | 0.0438 | 1 | 1 | 0 | 0.001474 | 0.02821 | 0.002639 | 0.05137 | 1.173 | 0.2256 | 0.005794 | 0.001874 | 1 | 1 | 0.009384 | 0.06217 | 0.2011 | 0.01193 | 0.07904 | 0.2557 | json |
| t17_x12_u5_b2 | 17 | 12 | 5 | 2 | ![]() |
add(D,mlt(D,sgn(P))) | 108268 | 138536036 | o2(x,o2(x,o1(x))) | true | 26151 | 26151 | -0.01788 | 0.2383 | 0.1031 | 0.02369 | 0.1539 | -0.3844 | 0.2908 | 0.6753 | 1 | 2.525 | 0.00326 | 0 | 0.03765 | 1 | 1 | 0.0003163 | 0.0004965 | 0.01483 | 0.001843 | 0.04293 | 1.14 | 0.1241 | 0.1376 | 0.02096 | 1 | 1 | 0.006385 | 0.04696 | 0.006823 | 0.2695 | 1.982 | 0.288 | json |
| t17_x12_u5_b3 | 17 | 12 | 5 | 3 | ![]() |
add(D,div(D,sgn(P))) | 108269 | 138536037 | o2(x,o2(x,o1(x))) | true | 26159 | 26159 | -0.125 | 0.2188 | 0.2076 | 0.1283 | 0.3582 | -1 | 0.2908 | 1.291 | 1 | 2.442 | 0.01127 | 0 | 0.03956 | 1 | 1 | 0.0003163 | 0.01645 | 0.02862 | 0.009705 | 0.09852 | 2.49 | 1.062 | 0.08782 | 0.1282 | 1 | 1 | 0.01706 | 0.08734 | 0.1721 | 0.1329 | 0.6807 | 1.341 | json |
| t17_x12_u5_b4 | 17 | 12 | 5 | 4 | ![]() |
add(D,pow(D,sgn(P))) | 108270 | 138536038 | o2(x,o2(x,o1(x))) | true | 26167 | 26167 | -0.8768 | 0.0625 | 0.9982 | 0.2281 | 0.4776 | -1 | 1 | 2 | 1 | 0.388 | 0.03131 | 0 | 0.01662 | 1 | 1 | 0 | 0.06344 | 0.03263 | 0.03103 | 0.1761 | 10.6 | 2 | 0.1373 | 0.2781 | 1 | 1 | 0.04099 | 0.1639 | 0.3276 | 0.1797 | 0.7186 | 1.436 | json |
| t17_x12_u5_b5 | 17 | 12 | 5 | 5 | ![]() |
add(D,mod(D,sgn(P))) | 108271 | 138536039 | o2(x,o2(x,o1(x))) | true | 26175 | 26175 | -0.125 | 0.4375 | 0.2902 | 0.1473 | 0.3838 | -1 | 0.2908 | 1.291 | 1 | 3.086 | 0.01359 | 0 | 0.0704 | 1 | 1 | 0 | 0.01682 | 0.04125 | 0.008643 | 0.09297 | 1.321 | 1.062 | 0.09231 | 0.1142 | 1 | 1 | 0.02087 | 0.113 | 0.1757 | 0.1417 | 0.7676 | 1.193 | json |
| t17_x12_u5_b6 | 17 | 12 | 5 | 6 | ![]() |
add(D,lrg(D,sgn(P))) | 108272 | 138536040 | o2(x,o2(x,o1(x))) | true | 26183 | 26183 | 0.4771 | 0.7422 | 0.5229 | 0.2301 | 0.4797 | -0.1454 | 1 | 1.145 | 1 | 3.096 | 0.006493 | 0 | 0.03734 | 1 | 1 | 0.0001582 | 0.008456 | 0.02342 | 0.0051 | 0.07142 | 1.913 | 1.031 | 0.02822 | 0.03675 | 1 | 1 | 0.01092 | 0.05921 | 0.06252 | 0.04745 | 0.2573 | 0.2717 | json |
| t17_x12_u5_b7 | 17 | 12 | 5 | 7 | ![]() |
add(D,eql(D,sgn(P))) | 108273 | 138536041 | o2(x,o2(x,o1(x))) | true | 26191 | 26191 | 0 | 0.5 | 0.09436 | 0.01082 | 0.104 | -0.1454 | 0.1454 | 0.2908 | 1 | 2.561 | 0.001632 | 0 | 0.0361 | 1 | 1 | 0 | 0.0002563 | 0.01459 | 0.0003304 | 0.01818 | 0.5036 | 0.06192 | 0.1508 | 0.02368 | 1 | 1 | 0.003151 | 0.02183 | 0 | 0.2912 | 2.017 | 0 | json |
| t17_x12_u5_b8 | 17 | 12 | 5 | 8 | ![]() |
add(D,min(D,sgn(P))) | 108274 | 138536042 | o2(x,o2(x,o1(x))) | true | 26199 | 26199 | -0.466 | 0.2383 | 0.5513 | 0.2336 | 0.4834 | -1 | 0.2908 | 1.291 | 1 | 3.477 | 0.003797 | 0 | 0.04703 | 1 | 1 | 0.0001582 | 0.000641 | 0.02091 | 0.001586 | 0.03983 | 0.8467 | 0.1243 | 0.01625 | 0.002743 | 1 | 1 | 0.007507 | 0.05725 | 0.06268 | 0.03213 | 0.245 | 0.2683 | json |
| t17_x12_u5_b9 | 17 | 12 | 5 | 9 | ![]() |
add(D,dot(D,sgn(P))) | 108275 | 138536043 | o2(x,o2(x,o1(x))) | true | 26207 | 26207 | -0.03575 | 0.4261 | 0.1574 | 0.03654 | 0.1912 | -0.6573 | 0.4362 | 1.094 | 1 | 3.613 | 0.00326 | 0.001615 | 0.06083 | 0.3375 | 1 | 0.0006327 | 0.0007368 | 0.02207 | 0.001175 | 0.03428 | 0.5636 | 0.1388 | 0.1334 | 0.02016 | 1 | 1 | 0.009499 | 0.07027 | 0.01365 | 0.2599 | 1.923 | 0.3734 | json |
| t17_x12_u5_b10 | 17 | 12 | 5 | 10 | ![]() |
add(D,dst(D,sgn(P))) | 108276 | 138536044 | o2(x,o2(x,o1(x))) | true | 26215 | 26215 | 0.9964 | 1 | 0.9964 | 0.001115 | 0.0334 | 0.01436 | 1 | 0.9856 | 1 | 0.1615 | 0.0001118 | 0.0000716 | 0.002027 | 0.2192 | 1 | -7.509e-10 | 0.0001149 | 0.001664 | 0.0001791 | 0.01338 | 6.602 | 0.2013 | 0.1645 | 0.103 | 1 | 1 | 0.0004762 | 0.003036 | 0.002892 | 0.427 | 2.723 | 2.593 | json |
| t17_x12_u5_b11 | 17 | 12 | 5 | 11 | ![]() |
sub(D,add(D,sgn(P))) | 108277 | 138536045 | o2(x,o2(x,o1(x))) | true | 26223 | 26223 | 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_x12_u5_b12 | 17 | 12 | 5 | 12 | ![]() |
sub(D,sub(D,sgn(P))) | 108278 | 138536046 | o2(x,o2(x,o1(x))) | true | 26231 | 26231 | 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_x12_u5_b13 | 17 | 12 | 5 | 13 | ![]() |
sub(D,mlt(D,sgn(P))) | 108279 | 138536047 | o2(x,o2(x,o1(x))) | true | 26239 | 26239 | 0.01788 | 0.3242 | 0.1031 | 0.02369 | 0.1539 | -0.2908 | 0.3844 | 0.6753 | 1 | 2.47 | 0.003234 | 0 | 0.03733 | 1 | 1 | -0.0003163 | 0.0004965 | 0.01483 | 0.001841 | 0.04291 | 1.149 | 0.1241 | 0.1365 | 0.02096 | 1 | 1 | 0.006143 | 0.04332 | 0.006823 | 0.2593 | 1.829 | 0.288 | json |
| t17_x12_u5_b14 | 17 | 12 | 5 | 14 | ![]() |
sub(D,div(D,sgn(P))) | 108280 | 138536048 | o2(x,o2(x,o1(x))) | true | 26247 | 26247 | 0 | 0.2813 | 0.2076 | 0.1439 | 0.3794 | -1 | 1 | 2 | 1 | 2.567 | 0.02712 | 0 | 0.04719 | 1 | 1 | -0.0003163 | 0.04819 | 0.04448 | 0.02488 | 0.1577 | 3.343 | 2 | 0.1884 | 0.3348 | 1 | 1 | 0.03787 | 0.1679 | 0.1721 | 0.2631 | 1.167 | 1.195 | json |
| t17_x12_u5_b15 | 17 | 12 | 5 | 15 | ![]() |
sub(D,pow(D,sgn(P))) | 108281 | 138536049 | o2(x,o2(x,o1(x))) | true | 26255 | 26255 | -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_x12_u5_b16 | 17 | 12 | 5 | 16 | ![]() |
sub(D,mod(D,sgn(P))) | 108282 | 138536050 | o2(x,o2(x,o1(x))) | true | 26263 | 26263 | -0.125 | 0 | 0.125 | 0.1094 | 0.3307 | -1 | 0 | 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_x12_u5_b17 | 17 | 12 | 5 | 17 | ![]() |
sub(D,lrg(D,sgn(P))) | 108283 | 138536051 | o2(x,o2(x,o1(x))) | true | 26271 | 26271 | -0.4793 | 0.2188 | 0.5207 | 0.2152 | 0.4639 | -1 | 0.1454 | 1.145 | 1 | 3.382 | 0.004976 | 0 | 0.03481 | 1 | 1 | 4.731e-10 | 0.008183 | 0.02018 | 0.003766 | 0.06137 | 1.763 | 0.9375 | 0.02312 | 0.03803 | 1 | 1 | 0.007081 | 0.03167 | 0.05954 | 0.03291 | 0.1471 | 0.2767 | json |
| t17_x12_u5_b18 | 17 | 12 | 5 | 18 | ![]() |
sub(D,eql(D,sgn(P))) | 108284 | 138536052 | o2(x,o2(x,o1(x))) | true | 26279 | 26279 | 0 | 0.5 | 0.09436 | 0.01082 | 0.104 | -0.1454 | 0.1454 | 0.2908 | 1 | 2.561 | 0.001632 | 0 | 0.0361 | 1 | 1 | 0 | 0.0002563 | 0.01459 | 0.0003304 | 0.01818 | 0.5036 | 0.06192 | 0.1508 | 0.02368 | 1 | 1 | 0.003151 | 0.02183 | 0 | 0.2912 | 2.017 | 0 | json |
| t17_x12_u5_b19 | 17 | 12 | 5 | 19 | ![]() |
sub(D,min(D,sgn(P))) | 108285 | 138536053 | o2(x,o2(x,o1(x))) | true | 26287 | 26287 | 0.464 | 0.5625 | 0.464 | 0.2183 | 0.4672 | 0 | 1 | 1 | 1 | 2.044 | 0.0008982 | 0 | 0.01421 | 1 | 1 | -2.364e-10 | 0.0002029 | 0.007998 | 0.0006965 | 0.02639 | 1.858 | 0.1529 | 0.004114 | 0.0009292 | 1 | 1 | 0.002031 | 0.01747 | 0.06174 | 0.009304 | 0.08001 | 0.2828 | json |
| t17_x12_u5_b20 | 17 | 12 | 5 | 20 | ![]() |
sub(D,dot(D,sgn(P))) | 108286 | 138536054 | o2(x,o2(x,o1(x))) | true | 26295 | 26295 | 0.03575 | 0.5739 | 0.1574 | 0.03654 | 0.1912 | -0.4362 | 0.6573 | 1.094 | 1 | 3.613 | 0.003234 | 0.001615 | 0.06062 | 0.3341 | 1 | -0.0006327 | 0.0007368 | 0.02207 | 0.001176 | 0.03429 | 0.5656 | 0.1388 | 0.1327 | 0.02016 | 1 | 1 | 0.009257 | 0.06663 | 0.01365 | 0.2533 | 1.823 | 0.3734 | json |
| t17_x12_u5_b21 | 17 | 12 | 5 | 21 | ![]() |
sub(D,dst(D,sgn(P))) | 108287 | 138536055 | o2(x,o2(x,o1(x))) | true | 26303 | 26303 | -0.9964 | 0 | 0.9964 | 0.001115 | 0.0334 | -1 | -0.01436 | 0.9856 | 1 | 0.1615 | 0.0001118 | 0.0000716 | 0.002017 | 0.2192 | 1 | -7.509e-11 | 0.0001149 | 0.001664 | 0.0001792 | 0.01339 | 6.637 | 0.2061 | 0.1645 | 0.103 | 1 | 1 | 0.0004764 | 0.003064 | 0.002892 | 0.4271 | 2.747 | 2.593 | json |
| t17_x12_u5_b22 | 17 | 12 | 5 | 22 | ![]() |
mlt(D,add(D,sgn(P))) | 108288 | 138536056 | o2(x,o2(x,o1(x))) | true | 26311 | 26311 | 0.1012 | 0.6641 | 0.1365 | 0.01913 | 0.1383 | -0.1136 | 0.3069 | 0.4205 | 1 | 2.751 | 0.002612 | 0 | 0.045 | 1 | 1 | 0.00007588 | 0.000403 | 0.01726 | 0.0005873 | 0.02423 | 0.5386 | 0.0782 | 0.1365 | 0.02107 | 1 | 1 | 0.004826 | 0.0342 | 0.006823 | 0.2523 | 1.788 | 0.3568 | json |
| t17_x12_u5_b23 | 17 | 12 | 5 | 23 | ![]() |
mlt(D,sub(D,sgn(P))) | 108289 | 138536057 | o2(x,o2(x,o1(x))) | true | 26319 | 26319 | 0.1369 | 0.7266 | 0.1634 | 0.02272 | 0.1507 | -0.08161 | 0.5091 | 0.5907 | 1 | 2.992 | 0.003116 | 0 | 0.05015 | 1 | 1 | -0.0005569 | 0.0004636 | 0.01898 | 0.0006013 | 0.02452 | 0.4889 | 0.09664 | 0.1372 | 0.02041 | 1 | 1 | 0.006185 | 0.0443 | 0.006823 | 0.2722 | 1.95 | 0.3004 | json |
| t17_x12_u5_b24 | 17 | 12 | 5 | 24 | ![]() |
mlt(D,mlt(D,sgn(P))) | 108290 | 138536058 | o2(x,o2(x,o1(x))) | true | 26327 | 26327 | -1.876e-12 | 0.5 | 0.1116 | 0.02015 | 0.1419 | -0.2473 | 0.2473 | 0.4946 | 1 | 2.843 | 0.001132 | 0 | 0.02909 | 1 | 1 | 0 | 0.0001747 | 0.01187 | 0.0002858 | 0.0169 | 0.5811 | 0.05089 | 0.05618 | 0.008672 | 1 | 1 | 0.002093 | 0.0141 | 0.004681 | 0.1039 | 0.6999 | 0.2323 | json |
| t17_x12_u5_b25 | 17 | 12 | 5 | 25 | ![]() |
mlt(D,div(D,sgn(P))) | 108291 | 138536059 | o2(x,o2(x,o1(x))) | true | 26335 | 26335 | -1.876e-12 | 0.5 | 0.2291 | 0.1444 | 0.38 | -1 | 1 | 2 | 1 | 3.128 | 0.02492 | 0 | 0.04299 | 1 | 1 | -9.386e-13 | 0.04761 | 0.04263 | 0.02307 | 0.1519 | 3.533 | 2 | 0.1726 | 0.3296 | 1 | 1 | 0.03374 | 0.1498 | 0.1722 | 0.2336 | 1.037 | 1.192 | json |
| t17_x12_u5_b26 | 17 | 12 | 5 | 26 | ![]() |
mlt(D,pow(D,sgn(P))) | 108292 | 138536060 | o2(x,o2(x,o1(x))) | true | 26343 | 26343 | -0.9152 | 0.03906 | 0.9638 | 0.1195 | 0.3457 | -1 | 0.9994 | 1.999 | 1 | 0.5423 | 0.02014 | 0 | 0.01665 | 1 | 1 | 1.419e-9 | 0.03986 | 0.02521 | 0.01986 | 0.1409 | 8.465 | 1.999 | 0.1685 | 0.3335 | 1 | 1 | 0.02698 | 0.09917 | 0.1707 | 0.2257 | 0.8296 | 1.428 | json |
| t17_x12_u5_b27 | 17 | 12 | 5 | 27 | ![]() |
mlt(D,mod(D,sgn(P))) | 108293 | 138536061 | o2(x,o2(x,o1(x))) | true | 26351 | 26351 | -0.02084 | 0.875 | 0.2291 | 0.144 | 0.3795 | -1 | 0.2473 | 1.247 | 1 | 2.128 | 0.009049 | 0 | 0.03506 | 1 | 1 | -0.0002405 | 0.01587 | 0.02675 | 0.007818 | 0.08842 | 2.522 | 1.001 | 0.06283 | 0.1102 | 1 | 1 | 0.01268 | 0.06562 | 0.2123 | 0.08807 | 0.4556 | 1.474 | json |
| t17_x12_u5_b28 | 17 | 12 | 5 | 28 | ![]() |
mlt(D,lrg(D,sgn(P))) | 108294 | 138536062 | o2(x,o2(x,o1(x))) | true | 26359 | 26359 | 0.01788 | 0.3438 | 0.05916 | 0.008124 | 0.09014 | -0.1454 | 0.2729 | 0.4183 | 1 | 2.245 | 0.0008961 | 0 | 0.01999 | 1 | 1 | -0.0001582 | 0.0001373 | 0.007876 | 0.0004966 | 0.02228 | 1.115 | 0.0622 | 0.1103 | 0.0169 | 1 | 1 | 0.001759 | 0.0128 | 0.005001 | 0.2165 | 1.576 | 0.6155 | json |
| t17_x12_u5_b29 | 17 | 12 | 5 | 29 | ![]() |
mlt(D,eql(D,sgn(P))) | 108295 | 138536063 | o2(x,o2(x,o1(x))) | true | 26367 | 26367 | 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_x12_u5_b30 | 17 | 12 | 5 | 30 | ![]() |
mlt(D,min(D,sgn(P))) | 108296 | 138536064 | o2(x,o2(x,o1(x))) | true | 26375 | 26375 | 0.05058 | 0.7266 | 0.1023 | 0.01294 | 0.1137 | -0.1702 | 0.2473 | 0.4175 | 1 | 2.698 | 0.001322 | 0 | 0.03163 | 1 | 1 | 0.00003794 | 0.0002044 | 0.01279 | 0.0003222 | 0.01795 | 0.5675 | 0.06193 | 0.1022 | 0.0158 | 1 | 1 | 0.002447 | 0.01716 | 0.003899 | 0.1891 | 1.326 | 0.3014 | json |
| t17_x12_u5_b31 | 17 | 12 | 5 | 31 | ![]() |
mlt(D,dot(D,sgn(P))) | 108297 | 138536065 | o2(x,o2(x,o1(x))) | true | 26383 | 26383 | -3.745e-10 | 0.4998 | 0.112 | 0.02029 | 0.1425 | -0.2547 | 0.2547 | 0.5095 | 1 | 3.042 | 0.001153 | 0.00001764 | 0.0301 | 0.9699 | 1 | 1.15e-11 | 0.0001863 | 0.01218 | 0.000265 | 0.01628 | 0.5409 | 0.05519 | 0.0577 | 0.009182 | 1 | 1 | 0.00217 | 0.01462 | 0.004756 | 0.107 | 0.7206 | 0.2344 | json |
| t17_x12_u5_b32 | 17 | 12 | 5 | 32 | ![]() |
mlt(D,dst(D,sgn(P))) | 108298 | 138536066 | o2(x,o2(x,o1(x))) | true | 26391 | 26391 | 1.139e-9 | 0.5 | 0.1531 | 0.03149 | 0.1774 | -0.3067 | 0.3067 | 0.6135 | 1 | 3.294 | 0.003647 | 0.0000204 | 0.05416 | 0.9889 | 1 | -1.095e-9 | 0.0005887 | 0.02155 | 0.0007334 | 0.02708 | 0.5 | 0.09715 | 0.1165 | 0.0187 | 1 | 1 | 0.006988 | 0.04742 | 0.004382 | 0.2219 | 1.506 | 0.1392 | json |
| t17_x12_u5_b33 | 17 | 12 | 5 | 33 | ![]() |
div(D,add(D,sgn(P))) | 108299 | 138536067 | o2(x,o2(x,o1(x))) | true | 26399 | 26399 | -0.1311 | 0.1719 | 0.2053 | 0.05257 | 0.2293 | -0.3395 | 0.9907 | 1.33 | 1 | 3.072 | 0.003465 | 0 | 0.05003 | 1 | 1 | 0.0005296 | 0.0005436 | 0.0184 | 0.0009609 | 0.031 | 0.6195 | 0.1613 | 0.06591 | 0.01034 | 1 | 1 | 0.007298 | 0.05903 | 0.0517 | 0.1388 | 1.123 | 0.9834 | json |



































































































