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_x10_u6_b7 | 17 | 10 | 6 | 7 | ![]() |
add(D,eql(P,nrm(D))) | 106700 | 138455440 | o2(x,o2(x,o1(x))) | true | 13607 | 13607 | 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_x10_u6_b8 | 17 | 10 | 6 | 8 | ![]() |
add(D,min(P,nrm(D))) | 106701 | 138455441 | o2(x,o2(x,o1(x))) | true | 13615 | 13615 | -0.5084 | 0.2383 | 0.7118 | 0.3584 | 0.5987 | -1 | 1 | 2 | 1 | 3.525 | 0.02518 | 0.003328 | 0.09536 | 0.7665 | 1 | 0.0005141 | 0.02221 | 0.04395 | 0.01941 | 0.1393 | 1.461 | 1.526 | 0.07954 | 0.06196 | 1 | 1 | 0.05004 | 0.2999 | 0.07748 | 0.1396 | 0.8366 | 0.2162 | json |
| t17_x10_u6_b9 | 17 | 10 | 6 | 9 | ![]() |
add(D,dot(P,nrm(D))) | 106702 | 138455442 | o2(x,o2(x,o1(x))) | true | 13623 | 13623 | -0.2131 | 0.387 | 0.8376 | 0.7392 | 0.8598 | -1 | 1 | 2 | 1 | 3.017 | 0.121 | 0.1207 | 0.2637 | 0.001116 | 1 | 0.002709 | 0.3676 | 0.2807 | 0.1721 | 0.4148 | 1.573 | 2.828 | 0.3269 | 0.4973 | 1 | 1 | 0.3 | 1.372 | 0.1648 | 0.4059 | 1.856 | 0.2229 | json |
| t17_x10_u6_b10 | 17 | 10 | 6 | 10 | ![]() |
add(D,dst(P,nrm(D))) | 106703 | 138455443 | o2(x,o2(x,o1(x))) | true | 13631 | 13631 | 0.9991 | 1 | 0.9991 | 0.0004071 | 0.02018 | 0.1546 | 1 | 0.8454 | 1 | 0.03816 | 0.000151 | 0.0001478 | 0.001001 | 0.01079 | 1 | -3.754e-12 | 0.0005807 | 0.001211 | 0.0002981 | 0.01727 | 17.25 | 0.87 | 0.7339 | 1.427 | 1 | 1 | 0.000715 | 0.001483 | 0.001483 | 1.756 | 3.642 | 3.642 | json |
| t17_x10_u6_b11 | 17 | 10 | 6 | 11 | ![]() |
sub(D,add(P,nrm(D))) | 106704 | 138455444 | o2(x,o2(x,o1(x))) | true | 13639 | 13639 | 0 | 0.5 | 0.9375 | 0.912 | 0.955 | -1 | 1 | 2 | 1 | 1.984 | 0.002547 | 0.0009048 | 0.01391 | 0.4758 | 1 | -6.101e-11 | 0.004346 | 0.008039 | 0.00326 | 0.05709 | 4.106 | 1.407 | 0.003785 | 0.004765 | 1 | 1 | 0.007109 | 0.0404 | 0.2182 | 0.007795 | 0.0443 | 0.2393 | json |
| t17_x10_u6_b12 | 17 | 10 | 6 | 12 | ![]() |
sub(D,sub(P,nrm(D))) | 106705 | 138455445 | o2(x,o2(x,o1(x))) | true | 13647 | 13647 | 7.334e-9 | 0.5 | 0.9375 | 0.9154 | 0.9568 | -1 | 1 | 2 | 1 | 1.978 | 0.008502 | 0.0008945 | 0.03032 | 0.8096 | 1 | 1.173e-10 | 0.006614 | 0.01918 | 0.008475 | 0.09206 | 3.036 | 1.526 | 0.01027 | 0.007225 | 1 | 1 | 0.02141 | 0.1115 | 0.2228 | 0.02339 | 0.1218 | 0.2434 | json |
| t17_x10_u6_b13 | 17 | 10 | 6 | 13 | ![]() |
sub(D,mlt(P,nrm(D))) | 106706 | 138455446 | o2(x,o2(x,o1(x))) | true | 13655 | 13655 | 0.1392 | 0.5786 | 0.743 | 0.6456 | 0.8035 | -1 | 1 | 2 | 1 | 3.714 | 0.1741 | 0.003889 | 0.2211 | 0.9563 | 1 | -0.000007414 | 0.2182 | 0.203 | 0.1291 | 0.3593 | 1.625 | 2.04 | 0.2757 | 0.338 | 1 | 1 | 0.2161 | 1.145 | 0.09884 | 0.3347 | 1.774 | 0.1531 | json |
| t17_x10_u6_b14 | 17 | 10 | 6 | 14 | ![]() |
sub(D,div(P,nrm(D))) | 106707 | 138455447 | o2(x,o2(x,o1(x))) | true | 13663 | 13663 | 0.1308 | 0.5688 | 0.8893 | 0.8434 | 0.9184 | -1 | 1 | 2 | 1 | 2.342 | 0.3311 | 0.000417 | 0.2319 | 0.9975 | 1 | 0.00001443 | 0.5685 | 0.349 | 0.2777 | 0.527 | 2.272 | 2 | 0.393 | 0.6741 | 1 | 1 | 0.3592 | 1.533 | 0.2 | 0.4259 | 1.817 | 0.2372 | json |
| t17_x10_u6_b15 | 17 | 10 | 6 | 15 | ![]() |
sub(D,pow(P,nrm(D))) | 106708 | 138455448 | o2(x,o2(x,o1(x))) | true | 13671 | 13671 | -0.9282 | 0.01953 | 0.9304 | 0.03689 | 0.1921 | -1 | 0.09672 | 1.097 | 1 | 1.397 | 0.008271 | 0.0004969 | 0.02824 | 0.8867 | 1 | 0.0002993 | 0.01327 | 0.0282 | 0.007968 | 0.08927 | 3.161 | 1.031 | 0.2377 | 0.3597 | 1 | 1 | 0.01227 | 0.04896 | 0.04348 | 0.3327 | 1.327 | 1.179 | json |
| t17_x10_u6_b16 | 17 | 10 | 6 | 16 | ![]() |
sub(D,mod(P,nrm(D))) | 106709 | 138455449 | o2(x,o2(x,o1(x))) | true | 13679 | 13679 | -2.41e-11 | 0.5 | 0.2344 | 0.08876 | 0.2979 | -0.9515 | 0.9515 | 1.903 | 1 | 4.277 | 0.02953 | 0.03084 | 0.1943 | -0.0217 | 1 | 3.98e-10 | 0.2717 | 0.3514 | 0.02264 | 0.1505 | 0.7745 | 0.929 | 0.6801 | 3.061 | 1 | 1 | 0.03968 | 0.07734 | 0.0219 | 0.4471 | 0.8714 | 0.2467 | json |
| t17_x10_u6_b17 | 17 | 10 | 6 | 17 | ![]() |
sub(D,lrg(P,nrm(D))) | 106710 | 138455450 | o2(x,o2(x,o1(x))) | true | 13687 | 13687 | -0.4771 | 0.2578 | 0.5229 | 0.2301 | 0.4797 | -1 | 0.1454 | 1.145 | 1 | 3.096 | 0.006487 | 0 | 0.03718 | 1 | 1 | -0.0001582 | 0.008456 | 0.02342 | 0.005105 | 0.07145 | 1.922 | 1.031 | 0.02819 | 0.03675 | 1 | 1 | 0.01086 | 0.05853 | 0.06252 | 0.04719 | 0.2543 | 0.2717 | json |
| t17_x10_u6_b18 | 17 | 10 | 6 | 18 | ![]() |
sub(D,eql(P,nrm(D))) | 106711 | 138455451 | o2(x,o2(x,o1(x))) | true | 13695 | 13695 | 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_x10_u6_b19 | 17 | 10 | 6 | 19 | ![]() |
sub(D,min(P,nrm(D))) | 106712 | 138455452 | o2(x,o2(x,o1(x))) | true | 13703 | 13703 | 0.5053 | 0.7813 | 0.6243 | 0.2829 | 0.5319 | -0.8479 | 1 | 1.848 | 1 | 3.448 | 0.01335 | 0.003498 | 0.06602 | 0.5847 | 1 | -0.0002039 | 0.0198 | 0.03046 | 0.01248 | 0.1117 | 1.692 | 1.407 | 0.05955 | 0.06999 | 1 | 1 | 0.02746 | 0.1391 | 0.07103 | 0.09708 | 0.4917 | 0.2511 | json |
| t17_x10_u6_b20 | 17 | 10 | 6 | 20 | ![]() |
sub(D,dot(P,nrm(D))) | 106713 | 138455453 | o2(x,o2(x,o1(x))) | true | 13711 | 13711 | 0.2131 | 0.613 | 0.8376 | 0.7392 | 0.8598 | -1 | 1 | 2 | 1 | 3.017 | 0.1209 | 0.1207 | 0.2637 | 0.0009346 | 1 | -0.002709 | 0.3676 | 0.2806 | 0.1721 | 0.4148 | 1.573 | 2.828 | 0.3269 | 0.4973 | 1 | 1 | 0.2996 | 1.369 | 0.1658 | 0.4053 | 1.851 | 0.2243 | json |
| t17_x10_u6_b21 | 17 | 10 | 6 | 21 | ![]() |
sub(D,dst(P,nrm(D))) | 106714 | 138455454 | o2(x,o2(x,o1(x))) | true | 13719 | 13719 | -0.9991 | 0 | 0.9991 | 0.0004071 | 0.02018 | -1 | -0.1546 | 0.8454 | 1 | 0.03816 | 0.000151 | 0.0001478 | 0.001006 | 0.01079 | 1 | 2.44e-11 | 0.0005807 | 0.001211 | 0.0002981 | 0.01727 | 17.17 | 0.7824 | 0.7339 | 1.427 | 1 | 1 | 0.000715 | 0.001483 | 0.001483 | 1.756 | 3.642 | 3.642 | json |
| t17_x10_u6_b22 | 17 | 10 | 6 | 22 | ![]() |
mlt(D,add(P,nrm(D))) | 106715 | 138455455 | o2(x,o2(x,o1(x))) | true | 13727 | 13727 | 0.07619 | 0.5859 | 0.3885 | 0.2294 | 0.479 | -1 | 1 | 2 | 1 | 4.818 | 0.0332 | 0.0002843 | 0.1445 | 0.983 | 1 | 0.002328 | 0.00632 | 0.06062 | 0.01261 | 0.1123 | 0.7774 | 0.4564 | 0.1459 | 0.02755 | 1 | 1 | 0.03858 | 0.2746 | 0.02134 | 0.1682 | 1.197 | 0.09302 | json |
| t17_x10_u6_b23 | 17 | 10 | 6 | 23 | ![]() |
mlt(D,sub(P,nrm(D))) | 106716 | 138455456 | o2(x,o2(x,o1(x))) | true | 13735 | 13735 | -0.3369 | 0.2705 | 0.499 | 0.2393 | 0.4892 | -1 | 0.8303 | 1.83 | 1 | 4.582 | 0.03607 | 0.0002502 | 0.1519 | 0.9862 | 1 | 0.001895 | 0.008152 | 0.06563 | 0.01325 | 0.1151 | 0.758 | 0.4688 | 0.1517 | 0.03406 | 1 | 1 | 0.04951 | 0.3532 | 0.01901 | 0.2069 | 1.476 | 0.07942 | json |
| t17_x10_u6_b24 | 17 | 10 | 6 | 24 | ![]() |
mlt(D,mlt(P,nrm(D))) | 106717 | 138455457 | o2(x,o2(x,o1(x))) | true | 13743 | 13743 | 3.662e-9 | 0.5 | 0.5686 | 0.4824 | 0.6945 | -1 | 1 | 2 | 1 | 4.175 | 0.02665 | 0.001348 | 0.1053 | 0.9037 | 1 | -1.746e-10 | 0.01788 | 0.07607 | 0.01692 | 0.1301 | 1.235 | 0.6038 | 0.05805 | 0.03706 | 1 | 1 | 0.04053 | 0.1905 | 0.06317 | 0.08402 | 0.395 | 0.131 | json |
| t17_x10_u6_b25 | 17 | 10 | 6 | 25 | ![]() |
mlt(D,div(P,nrm(D))) | 106718 | 138455458 | o2(x,o2(x,o1(x))) | true | 13751 | 13751 | -3.728e-9 | 0.5 | 0.8219 | 0.7655 | 0.8749 | -1 | 1 | 2 | 1 | 3.133 | 0.004727 | 0.004589 | 0.04504 | 0.0148 | 1 | -4.318e-10 | 0.008931 | 0.03295 | 0.007283 | 0.08534 | 1.895 | 0.5993 | 0.01217 | 0.01167 | 1 | 1 | 0.01625 | 0.0716 | 0.1251 | 0.02122 | 0.09353 | 0.1634 | json |
| t17_x10_u6_b26 | 17 | 10 | 6 | 26 | ![]() |
mlt(D,pow(P,nrm(D))) | 106719 | 138455459 | o2(x,o2(x,o1(x))) | true | 13759 | 13759 | -0.3543 | 0.3643 | 0.6687 | 0.4832 | 0.6951 | -1 | 1 | 2 | 1 | 3.037 | 0.01049 | 0.0007324 | 0.04982 | 0.8695 | 1 | -0.0003167 | 0.0105 | 0.02881 | 0.008741 | 0.09349 | 1.877 | 0.9997 | 0.02323 | 0.02172 | 1 | 1 | 0.01414 | 0.08396 | 0.09562 | 0.02926 | 0.1737 | 0.1979 | json |
| t17_x10_u6_b27 | 17 | 10 | 6 | 27 | ![]() |
mlt(D,mod(P,nrm(D))) | 106720 | 138455460 | o2(x,o2(x,o1(x))) | true | 13767 | 13767 | -0.004981 | 0.4199 | 0.03093 | 0.002087 | 0.04568 | -0.1671 | 0.1625 | 0.3297 | 1 | 1.737 | 0.002105 | 0.002376 | 0.04623 | -0.06058 | 1 | 0.00009928 | 0.02223 | 0.08685 | 0.002345 | 0.04842 | 1.047 | 0.2712 | 2.147 | 10.65 | 1 | 1 | 0.002249 | 0.003927 | 0.001167 | 1.078 | 1.881 | 0.5592 | json |
| t17_x10_u6_b28 | 17 | 10 | 6 | 28 | ![]() |
mlt(D,lrg(P,nrm(D))) | 106721 | 138455461 | o2(x,o2(x,o1(x))) | true | 13775 | 13775 | -0.01788 | 0.2188 | 0.05916 | 0.008124 | 0.09014 | -0.2729 | 0.1454 | 0.4183 | 1 | 2.354 | 0.0009024 | 0 | 0.02014 | 1 | 1 | 0.0001582 | 0.0001373 | 0.007876 | 0.0004969 | 0.02229 | 1.107 | 0.0622 | 0.1111 | 0.0169 | 1 | 1 | 0.00182 | 0.01371 | 0.005001 | 0.224 | 1.688 | 0.6155 | json |
| t17_x10_u6_b29 | 17 | 10 | 6 | 29 | ![]() |
mlt(D,eql(P,nrm(D))) | 106722 | 138455462 | o2(x,o2(x,o1(x))) | true | 13783 | 13783 | 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_x10_u6_b30 | 17 | 10 | 6 | 30 | ![]() |
mlt(D,min(P,nrm(D))) | 106723 | 138455463 | o2(x,o2(x,o1(x))) | true | 13791 | 13791 | 0.04243 | 0.707 | 0.2999 | 0.1522 | 0.3902 | -1 | 0.9606 | 1.961 | 1 | 4.328 | 0.0177 | 0.0001447 | 0.09607 | 0.9838 | 1 | 0.001021 | 0.003347 | 0.03972 | 0.008617 | 0.09283 | 0.9662 | 0.4334 | 0.1172 | 0.02199 | 1 | 1 | 0.02112 | 0.1423 | 0.01687 | 0.1387 | 0.9351 | 0.1108 | json |
| t17_x10_u6_b31 | 17 | 10 | 6 | 31 | ![]() |
mlt(D,dot(P,nrm(D))) | 106724 | 138455464 | o2(x,o2(x,o1(x))) | true | 13799 | 13799 | -1.373e-9 | 0.4999 | 0.5926 | 0.5003 | 0.7073 | -1 | 1 | 2 | 1 | 4.228 | 0.03398 | 0.007517 | 0.1413 | 0.6377 | 1 | -1.689e-11 | 0.02788 | 0.1014 | 0.02153 | 0.1467 | 1.039 | 0.7381 | 0.08294 | 0.05573 | 1 | 1 | 0.05721 | 0.2834 | 0.0671 | 0.1144 | 0.5665 | 0.1341 | json |
| t17_x10_u6_b32 | 17 | 10 | 6 | 32 | ![]() |
mlt(D,dst(P,nrm(D))) | 106725 | 138455465 | o2(x,o2(x,o1(x))) | true | 13807 | 13807 | -7.476e-10 | 0.5 | 0.5812 | 0.4435 | 0.666 | -1 | 1 | 2 | 1 | 4.751 | 0.06245 | 0.0004072 | 0.1981 | 0.987 | 1 | -2.168e-10 | 0.01541 | 0.09063 | 0.02361 | 0.1537 | 0.7758 | 0.7014 | 0.1417 | 0.03474 | 1 | 1 | 0.08088 | 0.5523 | 0.03104 | 0.1824 | 1.245 | 0.06998 | json |
| t17_x10_u6_b33 | 17 | 10 | 6 | 33 | ![]() |
div(D,add(P,nrm(D))) | 106726 | 138455466 | o2(x,o2(x,o1(x))) | true | 13815 | 13815 | -0.07628 | 0.4014 | 0.103 | 0.05984 | 0.2446 | -1 | 0.4946 | 1.495 | 1 | 2.195 | 0.006307 | 0.004148 | 0.03251 | 0.2065 | 1 | -0.00006894 | 0.01851 | 0.02816 | 0.009399 | 0.09695 | 2.982 | 1.297 | 0.1747 | 0.3092 | 1 | 1 | 0.02042 | 0.09023 | 0.07899 | 0.3412 | 1.508 | 1.32 | json |
| t17_x10_u6_b34 | 17 | 10 | 6 | 34 | ![]() |
div(D,sub(P,nrm(D))) | 106727 | 138455467 | o2(x,o2(x,o1(x))) | true | 13823 | 13823 | 0.06355 | 0.6201 | 0.1455 | 0.08371 | 0.2893 | -0.5501 | 1 | 1.55 | 1 | 2.818 | 0.00595 | 0.002566 | 0.03439 | 0.3974 | 1 | 0.0001476 | 0.01497 | 0.02669 | 0.007334 | 0.08564 | 2.49 | 1.129 | 0.1017 | 0.1788 | 1 | 1 | 0.01672 | 0.09207 | 0.1536 | 0.1997 | 1.1 | 1.835 | json |
| t17_x10_u6_b35 | 17 | 10 | 6 | 35 | ![]() |
div(D,mlt(P,nrm(D))) | 106728 | 138455468 | o2(x,o2(x,o1(x))) | true | 13831 | 13831 | -0.125 | 0.4375 | 0.2446 | 0.1363 | 0.3692 | -1 | 0.5606 | 1.561 | 1 | 3.5 | 0.009078 | 0.0002554 | 0.02424 | 0.9453 | 1 | -5.415e-10 | 0.01772 | 0.02104 | 0.008746 | 0.09352 | 3.858 | 1.497 | 0.06848 | 0.13 | 1 | 1 | 0.013 | 0.05774 | 0.1879 | 0.09536 | 0.4236 | 1.378 | json |
| t17_x10_u6_b36 | 17 | 10 | 6 | 36 | ![]() |
div(D,div(P,nrm(D))) | 106729 | 138455469 | o2(x,o2(x,o1(x))) | true | 13839 | 13839 | -0.125 | 0.4375 | 0.1848 | 0.1181 | 0.3437 | -1 | 0.3782 | 1.378 | 1 | 2.835 | 0.00836 | 0.00003684 | 0.02315 | 0.9912 | 1 | -5.509e-10 | 0.01595 | 0.02165 | 0.007861 | 0.08866 | 3.829 | 1.022 | 0.0711 | 0.1351 | 1 | 1 | 0.01165 | 0.05044 | 0.1746 | 0.09863 | 0.4271 | 1.478 | json |
| t17_x10_u6_b37 | 17 | 10 | 6 | 37 | ![]() |
div(D,pow(P,nrm(D))) | 106730 | 138455470 | o2(x,o2(x,o1(x))) | true | 13847 | 13847 | -0.7406 | 0.06934 | 0.746 | 0.1463 | 0.3825 | -1 | 0.106 | 1.106 | 1 | 2.385 | 0.01208 | 0.0008886 | 0.05189 | 0.8629 | 1 | 0.0009588 | 0.01149 | 0.03204 | 0.01027 | 0.1013 | 1.953 | 1.031 | 0.08865 | 0.07853 | 1 | 1 | 0.01807 | 0.09833 | 0.06993 | 0.1235 | 0.6723 | 0.4781 | json |
| t17_x10_u6_b38 | 17 | 10 | 6 | 38 | ![]() |
div(D,mod(P,nrm(D))) | 106731 | 138455471 | o2(x,o2(x,o1(x))) | true | 13855 | 13855 | -0.06099 | 0.4795 | 0.7394 | 0.6613 | 0.8132 | -1 | 1 | 2 | 1 | 3.652 | 0.4905 | 0.348 | 0.6429 | 0.1699 | 1 | -0.002519 | 3.273 | 1.252 | 0.4253 | 0.6522 | 1.014 | 2.828 | 1.268 | 4.949 | 1 | 1 | 0.5968 | 1.369 | 0.4501 | 0.9025 | 2.07 | 0.6806 | json |
| t17_x10_u6_b39 | 17 | 10 | 6 | 39 | ![]() |
div(D,lrg(P,nrm(D))) | 106732 | 138455472 | o2(x,o2(x,o1(x))) | true | 13863 | 13863 | -0.5625 | 0.2188 | 0.6038 | 0.2508 | 0.5008 | -1 | 0.1454 | 1.145 | 1 | 2.109 | 0.004924 | 0 | 0.01978 | 1 | 1 | 0.0001582 | 0.008104 | 0.01431 | 0.004534 | 0.06734 | 3.404 | 1.031 | 0.01964 | 0.03231 | 1 | 1 | 0.007206 | 0.03435 | 0.08512 | 0.02873 | 0.137 | 0.3394 | json |
| t17_x10_u6_b40 | 17 | 10 | 6 | 40 | ![]() |
div(D,eql(P,nrm(D))) | 106733 | 138455473 | o2(x,o2(x,o1(x))) | true | 13871 | 13871 | -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_x10_u6_b41 | 17 | 10 | 6 | 41 | ![]() |
div(D,min(P,nrm(D))) | 106734 | 138455474 | o2(x,o2(x,o1(x))) | true | 13879 | 13879 | 0.1445 | 0.729 | 0.2815 | 0.1425 | 0.3775 | -1 | 0.7026 | 1.703 | 1 | 3.505 | 0.01459 | 0.0009209 | 0.04433 | 0.8812 | 1 | -0.0003134 | 0.02699 | 0.03176 | 0.01354 | 0.1164 | 2.625 | 1.498 | 0.1088 | 0.1894 | 1 | 1 | 0.02202 | 0.1045 | 0.1471 | 0.1545 | 0.7329 | 1.032 | json |
| t17_x10_u6_b42 | 17 | 10 | 6 | 42 | ![]() |
div(D,dot(P,nrm(D))) | 106735 | 138455475 | o2(x,o2(x,o1(x))) | true | 13887 | 13887 | -0.01587 | 0.4913 | 0.1673 | 0.09345 | 0.3057 | -1 | 1 | 2 | 1 | 3.472 | 0.1119 | 0.1362 | 0.2159 | -0.09801 | 1 | -9.973e-12 | 1.201 | 0.4361 | 0.2015 | 0.4489 | 2.08 | 2.828 | 2.655 | 12.86 | 1 | 1 | 0.1777 | 0.2243 | 0.2372 | 1.902 | 2.401 | 2.538 | json |
| t17_x10_u6_b43 | 17 | 10 | 6 | 43 | ![]() |
div(D,dst(P,nrm(D))) | 106736 | 138455476 | o2(x,o2(x,o1(x))) | true | 13895 | 13895 | -9.173e-12 | 0.4993 | 0.02563 | 0.003078 | 0.05548 | -1 | 1 | 2 | 1 | 1.461 | 0.0003005 | 0.0002017 | 0.009804 | 0.1968 | 1 | -3.133e-11 | 0.0004673 | 0.004398 | 0.0004062 | 0.02015 | 2.056 | 0.6994 | 0.1632 | 0.1518 | 1 | 1 | 0.001397 | 0.007989 | 0.007481 | 0.4539 | 2.595 | 2.43 | json |
| t17_x10_u6_b44 | 17 | 10 | 6 | 44 | ![]() |
pow(D,add(P,nrm(D))) | 106737 | 138455477 | o2(x,o2(x,o1(x))) | true | 13903 | 13903 | -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_x10_u6_b45 | 17 | 10 | 6 | 45 | ![]() |
pow(D,sub(P,nrm(D))) | 106738 | 138455478 | o2(x,o2(x,o1(x))) | true | 13911 | 13911 | -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_x10_u6_b46 | 17 | 10 | 6 | 46 | ![]() |
pow(D,mlt(P,nrm(D))) | 106739 | 138455479 | o2(x,o2(x,o1(x))) | true | 13919 | 13919 | -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_x10_u6_b47 | 17 | 10 | 6 | 47 | ![]() |
pow(D,div(P,nrm(D))) | 106740 | 138455480 | o2(x,o2(x,o1(x))) | true | 13927 | 13927 | -0.8779 | 0.06104 | 1 | 0.2292 | 0.4787 | -1 | 1 | 2 | 1 | 0.3315 | 0.03175 | 0.002016 | 0.01659 | 0.8806 | 1 | 0 | 0.07559 | 0.03376 | 0.03348 | 0.183 | 11.03 | 2.828 | 0.1473 | 0.3298 | 1 | 1 | 0.04476 | 0.1763 | 0.3291 | 0.1953 | 0.7692 | 1.436 | json |
| t17_x10_u6_b48 | 17 | 10 | 6 | 48 | ![]() |
pow(D,pow(P,nrm(D))) | 106741 | 138455481 | o2(x,o2(x,o1(x))) | true | 13935 | 13935 | -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_x10_u6_b49 | 17 | 10 | 6 | 49 | ![]() |
pow(D,mod(P,nrm(D))) | 106742 | 138455482 | o2(x,o2(x,o1(x))) | true | 13943 | 13943 | -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_x10_u6_b50 | 17 | 10 | 6 | 50 | ![]() |
pow(D,lrg(P,nrm(D))) | 106743 | 138455483 | o2(x,o2(x,o1(x))) | true | 13951 | 13951 | -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_x10_u6_b51 | 17 | 10 | 6 | 51 | ![]() |
pow(D,eql(P,nrm(D))) | 106744 | 138455484 | o2(x,o2(x,o1(x))) | true | 13959 | 13959 | 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_x10_u6_b52 | 17 | 10 | 6 | 52 | ![]() |
pow(D,min(P,nrm(D))) | 106745 | 138455485 | o2(x,o2(x,o1(x))) | true | 13967 | 13967 | -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_x10_u6_b53 | 17 | 10 | 6 | 53 | ![]() |
pow(D,dot(P,nrm(D))) | 106746 | 138455486 | o2(x,o2(x,o1(x))) | true | 13975 | 13975 | -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_x10_u6_b54 | 17 | 10 | 6 | 54 | ![]() |
pow(D,dst(P,nrm(D))) | 106747 | 138455487 | o2(x,o2(x,o1(x))) | true | 13983 | 13983 | -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_x10_u6_b55 | 17 | 10 | 6 | 55 | ![]() |
mod(D,add(P,nrm(D))) | 106748 | 138455488 | o2(x,o2(x,o1(x))) | true | 13991 | 13991 | -1.746e-10 | 0.5 | 0.1006 | 0.01287 | 0.1134 | -0.2725 | 0.2725 | 0.5451 | 1 | 2.8 | 0.001947 | 0.0001603 | 0.03853 | 0.8478 | 1 | 4.67e-11 | 0.001668 | 0.01973 | 0.0006229 | 0.02496 | 0.6477 | 0.3079 | 0.1638 | 0.1297 | 1 | 1 | 0.003839 | 0.02495 | 0.002904 | 0.2984 | 1.94 | 0.2258 | json |
| t17_x10_u6_b56 | 17 | 10 | 6 | 56 | ![]() |
mod(D,sub(P,nrm(D))) | 106749 | 138455489 | o2(x,o2(x,o1(x))) | true | 13999 | 13999 | 3.529e-10 | 0.5 | 0.1007 | 0.01288 | 0.1135 | -0.2726 | 0.2726 | 0.5452 | 1 | 2.8 | 0.001945 | 0.0001587 | 0.03855 | 0.8491 | 1 | -3.907e-11 | 0.001664 | 0.01979 | 0.0006184 | 0.02487 | 0.6451 | 0.3079 | 0.1633 | 0.1292 | 1 | 1 | 0.003832 | 0.02485 | 0.002938 | 0.2975 | 1.929 | 0.2281 | json |
| t17_x10_u6_b57 | 17 | 10 | 6 | 57 | ![]() |
mod(D,mlt(P,nrm(D))) | 106750 | 138455490 | o2(x,o2(x,o1(x))) | true | 14007 | 14007 | -0.125 | 0.4375 | 0.2077 | 0.1189 | 0.3448 | -1 | 0.1581 | 1.158 | 1 | 2.785 | 0.009356 | 7.966e-7 | 0.03925 | 0.9998 | 1 | 2.352e-10 | 0.01612 | 0.02861 | 0.007818 | 0.08842 | 2.252 | 1.031 | 0.07871 | 0.1356 | 1 | 1 | 0.01313 | 0.05992 | 0.1703 | 0.1104 | 0.504 | 1.432 | json |
| t17_x10_u6_b58 | 17 | 10 | 6 | 58 | ![]() |
mod(D,div(P,nrm(D))) | 106751 | 138455491 | o2(x,o2(x,o1(x))) | true | 14015 | 14015 | -0.125 | 0.4375 | 0.2076 | 0.1189 | 0.3448 | -1 | 0.1454 | 1.145 | 1 | 2.785 | 0.009352 | 0 | 0.03917 | 1 | 1 | 9.386e-13 | 0.01611 | 0.02856 | 0.007817 | 0.08842 | 2.257 | 1.031 | 0.07868 | 0.1355 | 1 | 1 | 0.01311 | 0.05985 | 0.1702 | 0.1103 | 0.5035 | 1.432 | json |
| t17_x10_u6_b59 | 17 | 10 | 6 | 59 | ![]() |
mod(D,pow(P,nrm(D))) | 106752 | 138455492 | o2(x,o2(x,o1(x))) | true | 14023 | 14023 | -0.5314 | 0.2935 | 0.6218 | 0.2903 | 0.5388 | -1 | 0.2695 | 1.27 | 1 | 2.215 | 0.0064 | 0.0004427 | 0.02768 | 0.8706 | 1 | 0.0001137 | 0.01388 | 0.03557 | 0.006074 | 0.07794 | 2.815 | 1.031 | 0.02357 | 0.04782 | 1 | 1 | 0.009179 | 0.04388 | 0.09409 | 0.03162 | 0.1511 | 0.3241 | json |
| t17_x10_u6_b60 | 17 | 10 | 6 | 60 | ![]() |
mod(D,mod(P,nrm(D))) | 106753 | 138455493 | o2(x,o2(x,o1(x))) | true | 14031 | 14031 | -0.125 | 0.4375 | 0.1976 | 0.1203 | 0.3469 | -1 | 0.2644 | 1.264 | 1 | 3.03 | 0.01813 | 0.009781 | 0.109 | 0.2991 | 1 | 1.826e-10 | 0.1186 | 0.2235 | 0.01603 | 0.1266 | 1.161 | 1.031 | 0.232 | 0.986 | 1 | 1 | 0.02097 | 0.06201 | 0.1735 | 0.1743 | 0.5153 | 1.442 | json |
| t17_x10_u6_b61 | 17 | 10 | 6 | 61 | ![]() |
mod(D,lrg(P,nrm(D))) | 106754 | 138455494 | o2(x,o2(x,o1(x))) | true | 14039 | 14039 | -0.5625 | 0.2188 | 0.6038 | 0.2508 | 0.5008 | -1 | 0.1454 | 1.145 | 1 | 2.109 | 0.004924 | 0 | 0.01978 | 1 | 1 | 0.0001582 | 0.008104 | 0.01431 | 0.004534 | 0.06734 | 3.404 | 1.031 | 0.01964 | 0.03231 | 1 | 1 | 0.007206 | 0.03435 | 0.08512 | 0.02873 | 0.137 | 0.3394 | json |
| t17_x10_u6_b62 | 17 | 10 | 6 | 62 | ![]() |
mod(D,eql(P,nrm(D))) | 106755 | 138455495 | o2(x,o2(x,o1(x))) | true | 14047 | 14047 | -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_x10_u6_b63 | 17 | 10 | 6 | 63 | ![]() |
mod(D,min(P,nrm(D))) | 106756 | 138455496 | o2(x,o2(x,o1(x))) | true | 14055 | 14055 | -0.06245 | 0.4688 | 0.1517 | 0.06894 | 0.2626 | -1 | 0.1581 | 1.158 | 1 | 2.738 | 0.009493 | 0.000005892 | 0.0421 | 0.9988 | 1 | 0.000003751 | 0.01618 | 0.02983 | 0.007727 | 0.0879 | 2.088 | 1.031 | 0.1378 | 0.2347 | 1 | 1 | 0.01345 | 0.06213 | 0.08514 | 0.1952 | 0.9013 | 1.235 | json |
| t17_x10_u6_b64 | 17 | 10 | 6 | 64 | ![]() |
mod(D,dot(P,nrm(D))) | 106757 | 138455497 | o2(x,o2(x,o1(x))) | true | 14063 | 14063 | -0.02368 | 0.488 | 0.1205 | 0.03517 | 0.1875 | -1 | 0.2677 | 1.268 | 1 | 2.836 | 0.02023 | 0.01924 | 0.076 | 0.02497 | 1 | -6.476e-11 | 0.2037 | 0.1163 | 0.0337 | 0.1836 | 2.415 | 1.773 | 1.122 | 5.792 | 1 | 1 | 0.03509 | 0.0635 | 0.07652 | 0.9975 | 1.805 | 2.175 | json |
| t17_x10_u6_b65 | 17 | 10 | 6 | 65 | ![]() |
mod(D,dst(P,nrm(D))) | 106758 | 138455498 | o2(x,o2(x,o1(x))) | true | 14071 | 14071 | -2.819e-11 | 0.5 | 0.09482 | 0.01095 | 0.1046 | -0.2678 | 0.2678 | 0.5355 | 1 | 2.583 | 0.00167 | 0.0000281 | 0.03639 | 0.9669 | 1 | -4.458e-12 | 0.0004856 | 0.0153 | 0.0003753 | 0.01937 | 0.5323 | 0.3661 | 0.1551 | 0.04435 | 1 | 1 | 0.003268 | 0.02227 | 0.000275 | 0.2985 | 2.034 | 0.02512 | json |
| t17_x10_u6_b66 | 17 | 10 | 6 | 66 | ![]() |
lrg(D,add(P,nrm(D))) | 106759 | 138455499 | o2(x,o2(x,o1(x))) | true | 14079 | 14079 | 0.5 | 0.5181 | 0.5 | 0.2499 | 0.4999 | 0 | 1 | 1 | 1 | 1 | 0.00397 | 0.000001609 | 0.004232 | 0.9992 | 1 | -5.011e-10 | 0.007952 | 0.008445 | 0.003952 | 0.06286 | 14.86 | 1 | 0.0159 | 0.03183 | 1 | 1 | 0.005266 | 0.02105 | 0.08401 | 0.02108 | 0.08425 | 0.3362 | json |
| t17_x10_u6_b67 | 17 | 10 | 6 | 67 | ![]() |
lrg(D,sub(P,nrm(D))) | 106760 | 138455500 | o2(x,o2(x,o1(x))) | true | 14087 | 14087 | 0.5 | 0.6094 | 0.5 | 0.2239 | 0.4732 | 0 | 1 | 1 | 1 | 1.956 | 0.009969 | 0.003729 | 0.02728 | 0.4555 | 1 | -1.164e-9 | 0.03992 | 0.03245 | 0.01295 | 0.1138 | 4.17 | 1.404 | 0.06117 | 0.1783 | 1 | 1 | 0.01938 | 0.0664 | 0.0651 | 0.08654 | 0.2965 | 0.2907 | json |
| t17_x10_u6_b68 | 17 | 10 | 6 | 68 | ![]() |
lrg(D,mlt(P,nrm(D))) | 106761 | 138455501 | o2(x,o2(x,o1(x))) | true | 14095 | 14095 | 0.5313 | 1 | 0.5313 | 0.1475 | 0.3841 | 0.000291 | 1 | 0.9997 | 1 | 3.331 | 0.06476 | 0.000001609 | 0.119 | 1 | 1 | 0.0001797 | 0.1207 | 0.1331 | 0.05059 | 0.2249 | 1.891 | 0.9997 | 0.439 | 0.8183 | 1 | 1 | 0.06989 | 0.2425 | 0.05684 | 0.4738 | 1.644 | 0.3853 | json |
| t17_x10_u6_b69 | 17 | 10 | 6 | 69 | ![]() |
lrg(D,div(P,nrm(D))) | 106762 | 138455502 | o2(x,o2(x,o1(x))) | true | 14103 | 14103 | 0.5313 | 1 | 0.5313 | 0.1475 | 0.3841 | 0.000291 | 1 | 0.9997 | 1 | 3.332 | 0.06476 | 0 | 0.1188 | 1 | 1 | 0.0001797 | 0.1207 | 0.1327 | 0.05061 | 0.225 | 1.893 | 0.9997 | 0.4389 | 0.8181 | 1 | 1 | 0.06988 | 0.2424 | 0.05687 | 0.4737 | 1.643 | 0.3855 | json |
| t17_x10_u6_b70 | 17 | 10 | 6 | 70 | ![]() |
lrg(D,pow(P,nrm(D))) | 106763 | 138455503 | o2(x,o2(x,o1(x))) | true | 14111 | 14111 | 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_x10_u6_b71 | 17 | 10 | 6 | 71 | ![]() |
lrg(D,mod(P,nrm(D))) | 106764 | 138455504 | o2(x,o2(x,o1(x))) | true | 14119 | 14119 | 0.5 | 0.9775 | 0.5 | 0.1437 | 0.3791 | 0 | 1 | 1 | 1 | 3.512 | 0.1259 | 0.09025 | 0.2877 | 0.1651 | 1 | -7.828e-10 | 0.9704 | 0.5725 | 0.1334 | 0.3652 | 1.269 | 1.409 | 1.504 | 6.752 | 1 | 1 | 0.1394 | 0.2179 | 0.05418 | 0.9702 | 1.516 | 0.377 | json |
| t17_x10_u6_b72 | 17 | 10 | 6 | 72 | ![]() |
lrg(D,lrg(P,nrm(D))) | 106765 | 138455505 | o2(x,o2(x,o1(x))) | true | 14127 | 14127 | 0.2813 | 0.5625 | 0.2813 | 0.1413 | 0.3759 | 0 | 0.9997 | 0.9997 | 1 | 2.519 | 0.03488 | 0 | 0.06731 | 1 | 1 | 0.00008984 | 0.06442 | 0.07172 | 0.03035 | 0.1742 | 2.588 | 0.9994 | 0.2469 | 0.456 | 1 | 1 | 0.03759 | 0.1321 | 0.03299 | 0.266 | 0.935 | 0.2335 | json |
| t17_x10_u6_b73 | 17 | 10 | 6 | 73 | ![]() |
lrg(D,eql(P,nrm(D))) | 106766 | 138455506 | o2(x,o2(x,o1(x))) | true | 14135 | 14135 | 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_x10_u6_b74 | 17 | 10 | 6 | 74 | ![]() |
lrg(D,min(P,nrm(D))) | 106767 | 138455507 | o2(x,o2(x,o1(x))) | true | 14143 | 14143 | 0.7811 | 0.9829 | 0.7811 | 0.1242 | 0.3525 | 0 | 1 | 1 | 1 | 2.102 | 0.03028 | 0.00001255 | 0.05588 | 0.9992 | 1 | 0.00008497 | 0.05632 | 0.06334 | 0.02718 | 0.1649 | 2.95 | 1 | 0.2439 | 0.4533 | 1 | 1 | 0.03337 | 0.1177 | 0.03296 | 0.2686 | 0.9473 | 0.2654 | json |
| t17_x10_u6_b75 | 17 | 10 | 6 | 75 | ![]() |
lrg(D,dot(P,nrm(D))) | 106768 | 138455508 | o2(x,o2(x,o1(x))) | true | 14151 | 14151 | 0.5459 | 1 | 0.5459 | 0.1034 | 0.3215 | 0.000291 | 1 | 0.9997 | 1 | 3.819 | 0.03383 | 0.0336 | 0.1424 | 0.003453 | 1 | -0.0009583 | 0.2111 | 0.1778 | 0.04714 | 0.2171 | 1.525 | 1.409 | 0.6522 | 2.042 | 1 | 1 | 0.07094 | 0.2305 | 0.06748 | 0.6862 | 2.229 | 0.6528 | json |
| t17_x10_u6_b76 | 17 | 10 | 6 | 76 | ![]() |
lrg(D,dst(P,nrm(D))) | 106769 | 138455509 | o2(x,o2(x,o1(x))) | true | 14159 | 14159 | 0.0006653 | 0.006378 | 0.0006653 | 0.0002615 | 0.01617 | 0 | 0.9264 | 0.9264 | 1 | 0.03067 | 0.0001102 | 0.0001137 | 0.0005556 | -0.01578 | 1 | 5.114e-12 | 0.000767 | 0.000865 | 0.0002234 | 0.01495 | 26.9 | 1.154 | 0.8564 | 2.934 | 1 | 1 | 0.0003903 | 0.0009013 | 0.0009411 | 1.493 | 3.447 | 3.6 | json |
| t17_x10_u6_b77 | 17 | 10 | 6 | 77 | ![]() |
eql(D,add(P,nrm(D))) | 106770 | 138455510 | o2(x,o2(x,o1(x))) | true | 14167 | 14167 | 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_x10_u6_b78 | 17 | 10 | 6 | 78 | ![]() |
eql(D,sub(P,nrm(D))) | 106771 | 138455511 | o2(x,o2(x,o1(x))) | true | 14175 | 14175 | 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_x10_u6_b79 | 17 | 10 | 6 | 79 | ![]() |
eql(D,mlt(P,nrm(D))) | 106772 | 138455512 | o2(x,o2(x,o1(x))) | true | 14183 | 14183 | 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_x10_u6_b80 | 17 | 10 | 6 | 80 | ![]() |
eql(D,div(P,nrm(D))) | 106773 | 138455513 | o2(x,o2(x,o1(x))) | true | 14191 | 14191 | 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_x10_u6_b81 | 17 | 10 | 6 | 81 | ![]() |
eql(D,pow(P,nrm(D))) | 106774 | 138455514 | o2(x,o2(x,o1(x))) | true | 14199 | 14199 | 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_x10_u6_b82 | 17 | 10 | 6 | 82 | ![]() |
eql(D,mod(P,nrm(D))) | 106775 | 138455515 | o2(x,o2(x,o1(x))) | true | 14207 | 14207 | 0.00007111 | 0.0009766 | 0.00007111 | 0.000005169 | 0.002274 | 0 | 0.07281 | 0.07281 | 1 | 0.01117 | 0.00001069 | 0.00001069 | 0.0002505 | 0 | 0 | 0 | 0.0001069 | 0.000587 | 0.00002132 | 0.004618 | 18.43 | 0.103 | 4.134 | 20.67 | 1 | 1 | 0.0000141 | 0.0000141 | 0.000007049 | 2.727 | 2.727 | 1.364 | json |
| t17_x10_u6_b83 | 17 | 10 | 6 | 83 | ![]() |
eql(D,lrg(P,nrm(D))) | 106776 | 138455516 | o2(x,o2(x,o1(x))) | true | 14215 | 14215 | 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_x10_u6_b84 | 17 | 10 | 6 | 84 | ![]() |
eql(D,eql(P,nrm(D))) | 106777 | 138455517 | o2(x,o2(x,o1(x))) | true | 14223 | 14223 | 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_x10_u6_b85 | 17 | 10 | 6 | 85 | ![]() |
eql(D,min(P,nrm(D))) | 106778 | 138455518 | o2(x,o2(x,o1(x))) | true | 14231 | 14231 | 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_x10_u6_b86 | 17 | 10 | 6 | 86 | ![]() |
eql(D,dot(P,nrm(D))) | 106779 | 138455519 | o2(x,o2(x,o1(x))) | true | 14239 | 14239 | 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_x10_u6_b87 | 17 | 10 | 6 | 87 | ![]() |
eql(D,dst(P,nrm(D))) | 106780 | 138455520 | o2(x,o2(x,o1(x))) | true | 14247 | 14247 | 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_x10_u6_b88 | 17 | 10 | 6 | 88 | ![]() |
min(D,add(P,nrm(D))) | 106781 | 138455521 | o2(x,o2(x,o1(x))) | true | 14255 | 14255 | -0.4688 | 0.25 | 0.516 | 0.2418 | 0.4917 | -1 | 0.1454 | 1.145 | 1 | 2.731 | 0.002252 | 0.0004525 | 0.02626 | 0.6654 | 1 | 0.0001582 | 0.001983 | 0.01263 | 0.002015 | 0.04489 | 1.71 | 0.8356 | 0.01119 | 0.0082 | 1 | 1 | 0.005692 | 0.0337 | 0.0675 | 0.02354 | 0.1394 | 0.2792 | json |
| t17_x10_u6_b89 | 17 | 10 | 6 | 89 | ![]() |
min(D,sub(P,nrm(D))) | 106782 | 138455522 | o2(x,o2(x,o1(x))) | true | 14263 | 14263 | -0.5101 | 0.208 | 0.5492 | 0.2316 | 0.4812 | -1 | 0.1454 | 1.145 | 1 | 2.869 | 0.003199 | 0.0004549 | 0.03177 | 0.751 | 1 | 0.0001373 | 0.002632 | 0.01602 | 0.002645 | 0.05143 | 1.619 | 0.8079 | 0.01578 | 0.01136 | 1 | 1 | 0.007842 | 0.04293 | 0.06024 | 0.03386 | 0.1854 | 0.2601 | json |
| t17_x10_u6_b90 | 17 | 10 | 6 | 90 | ![]() |
min(D,mlt(P,nrm(D))) | 106783 | 138455523 | o2(x,o2(x,o1(x))) | true | 14271 | 14271 | -0.6643 | 0.07764 | 0.6715 | 0.1576 | 0.397 | -1 | 0.1003 | 1.1 | 1 | 2.981 | 0.04494 | 0.001707 | 0.1194 | 0.9268 | 1 | -0.000125 | 0.05796 | 0.1097 | 0.0324 | 0.18 | 1.508 | 1.095 | 0.296 | 0.3678 | 1 | 1 | 0.06254 | 0.2337 | 0.04403 | 0.3969 | 1.483 | 0.2794 | json |
| t17_x10_u6_b91 | 17 | 10 | 6 | 91 | ![]() |
min(D,div(P,nrm(D))) | 106784 | 138455524 | o2(x,o2(x,o1(x))) | true | 14279 | 14279 | -0.7384 | 0.07129 | 0.7446 | 0.1533 | 0.3915 | -1 | 0.09202 | 1.092 | 1 | 2.314 | 0.07218 | 0.0001032 | 0.1208 | 0.9971 | 1 | 0.00003465 | 0.1237 | 0.1559 | 0.0577 | 0.2402 | 1.988 | 1.031 | 0.4716 | 0.8071 | 1 | 1 | 0.08099 | 0.224 | 0.05716 | 0.5285 | 1.462 | 0.373 | json |
| t17_x10_u6_b92 | 17 | 10 | 6 | 92 | ![]() |
min(D,pow(P,nrm(D))) | 106785 | 138455525 | o2(x,o2(x,o1(x))) | true | 14287 | 14287 | -0.008939 | 0.4688 | 0.0974 | 0.01192 | 0.1092 | -0.2729 | 0.1454 | 0.4183 | 1 | 2.704 | 0.00162 | 0 | 0.03595 | 1 | 1 | -1.774e-10 | 0.0002558 | 0.01449 | 0.000328 | 0.01811 | 0.5038 | 0.0622 | 0.1359 | 0.02146 | 1 | 1 | 0.003117 | 0.02204 | 0.0025 | 0.2615 | 1.848 | 0.2097 | json |
| t17_x10_u6_b93 | 17 | 10 | 6 | 93 | ![]() |
min(D,mod(P,nrm(D))) | 106786 | 138455526 | o2(x,o2(x,o1(x))) | true | 14295 | 14295 | -0.1797 | 0.1563 | 0.2037 | 0.03238 | 0.1799 | -0.8492 | 0.1454 | 0.9946 | 1 | 3.518 | 0.01367 | 0.01334 | 0.114 | 0.01217 | 1 | 0.0004521 | 0.1204 | 0.1954 | 0.01402 | 0.1184 | 1.038 | 0.8368 | 0.8345 | 3.719 | 1 | 1 | 0.01815 | 0.04006 | 0.007088 | 0.5605 | 1.237 | 0.2189 | json |
| t17_x10_u6_b94 | 17 | 10 | 6 | 94 | ![]() |
min(D,lrg(P,nrm(D))) | 106787 | 138455527 | o2(x,o2(x,o1(x))) | true | 14303 | 14303 | -0.08044 | 0.2188 | 0.1217 | 0.01497 | 0.1223 | -0.2729 | 0.1454 | 0.4183 | 1 | 2.876 | 0.001545 | 0 | 0.0352 | 1 | 1 | 0.0002322 | 0.000257 | 0.0139 | 0.0003068 | 0.01751 | 0.4976 | 0.0622 | 0.1032 | 0.01717 | 1 | 1 | 0.002981 | 0.02093 | 0.0025 | 0.1992 | 1.398 | 0.1671 | json |
| t17_x10_u6_b95 | 17 | 10 | 6 | 95 | ![]() |
min(D,eql(P,nrm(D))) | 106788 | 138455528 | o2(x,o2(x,o1(x))) | true | 14311 | 14311 | -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_x10_u6_b96 | 17 | 10 | 6 | 96 | ![]() |
min(D,min(P,nrm(D))) | 106789 | 138455529 | o2(x,o2(x,o1(x))) | true | 14319 | 14319 | -0.5871 | 0.1743 | 0.6176 | 0.1986 | 0.4457 | -1 | 0.1408 | 1.141 | 1 | 3.073 | 0.007601 | 0.001997 | 0.05255 | 0.5839 | 1 | 0.0001934 | 0.00765 | 0.02805 | 0.006834 | 0.08267 | 1.573 | 0.8356 | 0.04832 | 0.03851 | 1 | 1 | 0.01743 | 0.09843 | 0.05293 | 0.08776 | 0.4955 | 0.2664 | json |
| t17_x10_u6_b97 | 17 | 10 | 6 | 97 | ![]() |
min(D,dot(P,nrm(D))) | 106790 | 138455530 | o2(x,o2(x,o1(x))) | true | 14327 | 14327 | -0.8373 | 0.02145 | 0.8392 | 0.09114 | 0.3019 | -1 | 0.1434 | 1.143 | 1 | 2.004 | 0.02394 | 0.02375 | 0.1006 | 0.003963 | 1 | 0.00058 | 0.1039 | 0.1244 | 0.03756 | 0.1938 | 1.926 | 1.485 | 0.5233 | 1.14 | 1 | 1 | 0.06028 | 0.1852 | 0.0472 | 0.6614 | 2.032 | 0.5179 | json |
| t17_x10_u6_b98 | 17 | 10 | 6 | 98 | ![]() |
min(D,dst(P,nrm(D))) | 106791 | 138455531 | o2(x,o2(x,o1(x))) | true | 14335 | 14335 | -0.0001373 | 0.4998 | 0.09446 | 0.01085 | 0.1042 | -0.2556 | 0.1454 | 0.401 | 1 | 2.566 | 0.001636 | 0.000003264 | 0.03615 | 0.996 | 1 | -4.693e-13 | 0.0002624 | 0.01464 | 0.000333 | 0.01825 | 0.5048 | 0.1692 | 0.1511 | 0.02419 | 1 | 1 | 0.00317 | 0.02193 | 0.00005135 | 0.2922 | 2.021 | 0.004733 | json |
| t17_x10_u6_b99 | 17 | 10 | 6 | 99 | ![]() |
dot(D,add(P,nrm(D))) | 106792 | 138455532 | o2(x,o2(x,o1(x))) | true | 14343 | 14343 | 0.1358 | 0.5945 | 0.5142 | 0.3532 | 0.5943 | -1 | 1 | 2 | 1 | 4.805 | 0.02782 | 0.02782 | 0.1939 | 8.704e-7 | 1 | 0.003565 | 0.01601 | 0.08331 | 0.01804 | 0.1343 | 0.6928 | 0.6273 | 0.1575 | 0.04533 | 1 | 1 | 0.06892 | 0.4771 | 0.03863 | 0.1952 | 1.351 | 0.1094 | json |
| t17_x10_u6_b100 | 17 | 10 | 6 | 100 | ![]() |
dot(D,sub(P,nrm(D))) | 106793 | 138455533 | o2(x,o2(x,o1(x))) | true | 14351 | 14351 | -0.5527 | 0.1675 | 0.6748 | 0.2639 | 0.5137 | -1 | 1 | 2 | 1 | 3.823 | 0.02423 | 0.02423 | 0.1642 | -0.000002306 | 1 | 0.001763 | 0.01862 | 0.08494 | 0.0215 | 0.1466 | 0.893 | 0.6448 | 0.1836 | 0.07056 | 1 | 1 | 0.06152 | 0.3957 | 0.02766 | 0.2331 | 1.499 | 0.1048 | json |
| t17_x10_u6_b101 | 17 | 10 | 6 | 101 | ![]() |
dot(D,mlt(P,nrm(D))) | 106794 | 138455534 | o2(x,o2(x,o1(x))) | true | 14359 | 14359 | -2.719e-8 | 0.498 | 0.7743 | 0.7037 | 0.8389 | -1 | 1 | 2 | 1 | 3.533 | 0.0306 | 0.0306 | 0.1395 | -0.000002009 | 1 | -1.521e-9 | 0.04362 | 0.1022 | 0.04174 | 0.2043 | 1.465 | 1.194 | 0.08695 | 0.06198 | 1 | 1 | 0.08352 | 0.417 | 0.1146 | 0.1187 | 0.5925 | 0.1628 | json |
| t17_x10_u6_b102 | 17 | 10 | 6 | 102 | ![]() |
dot(D,div(P,nrm(D))) | 106795 | 138455535 | o2(x,o2(x,o1(x))) | true | 14367 | 14367 | 1.692e-8 | 0.498 | 0.835 | 0.7826 | 0.8846 | -1 | 1 | 2 | 1 | 3.018 | 0.004435 | 0.004435 | 0.0409 | 0 | 1 | 8.748e-10 | 0.01091 | 0.03194 | 0.007199 | 0.08485 | 2.074 | 0.7824 | 0.01133 | 0.01395 | 1 | 1 | 0.01504 | 0.06551 | 0.22 | 0.01922 | 0.08371 | 0.2811 | json |
| t17_x10_u6_b103 | 17 | 10 | 6 | 103 | ![]() |
dot(D,pow(P,nrm(D))) | 106796 | 138455536 | o2(x,o2(x,o1(x))) | true | 14375 | 14375 | -0.6149 | 0.2196 | 0.8938 | 0.4869 | 0.6978 | -1 | 1 | 2 | 1 | 1.79 | 0.006418 | 0.006418 | 0.03083 | 0.000002648 | 1 | -0.0002683 | 0.01898 | 0.02382 | 0.01189 | 0.109 | 3.536 | 2 | 0.02636 | 0.03898 | 1 | 1 | 0.01574 | 0.07671 | 0.1403 | 0.03232 | 0.1576 | 0.2882 | json |
| t17_x10_u6_b104 | 17 | 10 | 6 | 104 | ![]() |
dot(D,mod(P,nrm(D))) | 106797 | 138455537 | o2(x,o2(x,o1(x))) | true | 14383 | 14383 | -0.009962 | 0.4133 | 0.04628 | 0.004186 | 0.0647 | -0.2415 | 0.2476 | 0.4891 | 1 | 2.148 | 0.004483 | 0.004483 | 0.06987 | 0.000004882 | 1 | 0.0001986 | 0.04445 | 0.1335 | 0.004084 | 0.06391 | 0.9146 | 0.538 | 2.142 | 10.62 | 1 | 1 | 0.004504 | 0.007918 | 0.002334 | 1.076 | 1.892 | 0.5576 | json |
| t17_x10_u6_b105 | 17 | 10 | 6 | 105 | ![]() |
dot(D,lrg(P,nrm(D))) | 106798 | 138455538 | o2(x,o2(x,o1(x))) | true | 14391 | 14391 | -0.03576 | 0.2999 | 0.09731 | 0.01625 | 0.1275 | -0.5458 | 0.2908 | 0.8366 | 1 | 3.024 | 0.0009024 | 0.0009024 | 0.03474 | 0.000009288 | 1 | 0.0003163 | 0.0002746 | 0.01256 | 0.0005986 | 0.02447 | 0.7044 | 0.08796 | 0.1111 | 0.0169 | 1 | 1 | 0.003639 | 0.02743 | 0.01 | 0.2239 | 1.687 | 0.6154 | json |
| t17_x10_u6_b106 | 17 | 10 | 6 | 106 | ![]() |
dot(D,eql(P,nrm(D))) | 106799 | 138455539 | o2(x,o2(x,o1(x))) | true | 14399 | 14399 | 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 |



































































































