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 | ||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| t18_x12_u0_b122 | 18 | 12 | 0 | 122 | ![]() |
sub(P,add(D,sub(D,P))) | 122900 | 146655752 | o2(x,o2(x,o2(x,x))) | true | 11607 | 11607 | 0 | 0.5 | 0.954 | 0.9459 | 0.9726 | -1 | 1 | 2 | 1 | 1.478 | 0.002438 | 0 | 0.01101 | 1 | 1 | 0 | 0.0006848 | 0.006181 | 0.002318 | 0.04814 | 4.374 | 0.3281 | 0.002577 | 0.000724 | 1 | 1 | 0.006013 | 0.04126 | 0.2639 | 0.006357 | 0.04362 | 0.279 | json |
| t18_x12_u0_b123 | 18 | 12 | 0 | 123 | ![]() |
sub(P,add(D,mlt(D,P))) | 122901 | 146655753 | o2(x,o2(x,o2(x,x))) | true | 11615 | 11615 | 0.01081 | 0.5078 | 0.9359 | 0.9228 | 0.9606 | -1 | 1 | 2 | 1 | 1.733 | 0.001412 | 0 | 0.01112 | 1 | 1 | -1.478e-9 | 0.000297 | 0.005012 | 0.001288 | 0.03589 | 3.229 | 0.2037 | 0.00153 | 0.0003218 | 1 | 1 | 0.003549 | 0.03388 | 0.2333 | 0.003846 | 0.03672 | 0.2528 | json |
| t18_x12_u0_b124 | 18 | 12 | 0 | 124 | ![]() |
sub(P,add(D,div(D,P))) | 122902 | 146655754 | o2(x,o2(x,o2(x,x))) | true | 11623 | 11623 | -0.003878 | 0.5 | 0.9961 | 0.993 | 0.9965 | -1 | 1 | 2 | 1 | 1.146 | 0.0468 | 0 | 0.02527 | 1 | 1 | -9.461e-10 | 0.09509 | 0.04886 | 0.04618 | 0.2149 | 8.503 | 2 | 0.04714 | 0.09576 | 1 | 1 | 0.0611 | 0.2432 | 0.3379 | 0.06153 | 0.2449 | 0.3403 | json |
| t18_x12_u0_b125 | 18 | 12 | 0 | 125 | ![]() |
sub(P,add(D,pow(D,P))) | 122903 | 146655755 | o2(x,o2(x,o2(x,x))) | true | 11631 | 11631 | -0.999 | 0 | 0.999 | 0.0000698 | 0.008355 | -1 | -0.9088 | 0.09121 | 1 | 0.06591 | 0.00003031 | 0 | 0.0007239 | 1 | 0 | -9.461e-10 | 0.00003186 | 0.0007909 | 0.00002977 | 0.005456 | 7.538 | 0.05155 | 0.4343 | 0.4565 | 1 | 1 | 0.00005928 | 0.00009537 | 0.00009537 | 0.8493 | 1.366 | 1.366 | json |
| t18_x12_u0_b126 | 18 | 12 | 0 | 126 | ![]() |
sub(P,add(D,mod(D,P))) | 122904 | 146655756 | o2(x,o2(x,o2(x,x))) | true | 11639 | 11639 | -0.125 | 0.4375 | 0.9935 | 0.9727 | 0.9862 | -1 | 1 | 2 | 1 | 1.22 | 0.01522 | 0 | 0.01099 | 1 | 1 | 0 | 0.03173 | 0.01917 | 0.0151 | 0.1229 | 11.18 | 1.938 | 0.01565 | 0.03262 | 1 | 1 | 0.01934 | 0.07711 | 0.3297 | 0.01988 | 0.07928 | 0.339 | json |
| t18_x12_u0_b127 | 18 | 12 | 0 | 127 | ![]() |
sub(P,add(D,lrg(D,P))) | 122905 | 146655757 | o2(x,o2(x,o2(x,x))) | true | 11647 | 11647 | -0.03913 | 0.4805 | 0.9609 | 0.9488 | 0.9741 | -1 | 1 | 2 | 1 | 1.579 | 0.006998 | 0 | 0.01722 | 1 | 1 | 1.892e-9 | 0.008555 | 0.0136 | 0.006703 | 0.08187 | 4.756 | 1.03 | 0.007375 | 0.009016 | 1 | 1 | 0.01289 | 0.07591 | 0.2707 | 0.01358 | 0.08001 | 0.2853 | json |
| t18_x12_u0_b128 | 18 | 12 | 0 | 128 | ![]() |
sub(P,add(D,eql(D,P))) | 122906 | 146655758 | o2(x,o2(x,o2(x,x))) | true | 11655 | 11655 | 0 | 0.5 | 0.9375 | 0.9252 | 0.9619 | -1 | 1 | 2 | 1 | 1.774 | 0.001323 | 0 | 0.01101 | 1 | 1 | 0 | 0.0002527 | 0.005079 | 0.001202 | 0.03468 | 3.15 | 0.1713 | 0.00143 | 0.0002731 | 1 | 1 | 0.003342 | 0.0331 | 0.2361 | 0.003612 | 0.03578 | 0.2552 | json |
| t18_x12_u0_b129 | 18 | 12 | 0 | 129 | ![]() |
sub(P,add(D,min(D,P))) | 122907 | 146655759 | o2(x,o2(x,o2(x,x))) | true | 11663 | 11663 | 0.4788 | 0.7461 | 0.5243 | 0.2432 | 0.4931 | -0.1454 | 1 | 1.145 | 1 | 2.694 | 0.001907 | 0 | 0.02583 | 1 | 1 | 0.0001582 | 0.0004511 | 0.01178 | 0.00124 | 0.03521 | 1.363 | 0.2037 | 0.007841 | 0.001855 | 1 | 1 | 0.004233 | 0.03062 | 0.06503 | 0.0174 | 0.1259 | 0.2674 | json |
| t18_x12_u0_b130 | 18 | 12 | 0 | 130 | ![]() |
sub(P,add(D,dot(D,P))) | 122908 | 146655760 | o2(x,o2(x,o2(x,x))) | true | 11671 | 11671 | 0.0303 | 0.5162 | 0.9368 | 0.9154 | 0.9568 | -1 | 1 | 2 | 1 | 1.981 | 0.001347 | 0.004121 | 0.02382 | -0.5073 | 1 | -0.0003474 | 0.002015 | 0.01293 | 0.004899 | 0.07 | 2.938 | 0.4789 | 0.005973 | 0.002201 | 1 | 1 | 0.009321 | 0.06781 | 0.2274 | 0.01018 | 0.07407 | 0.2484 | json |
| t18_x12_u0_b131 | 18 | 12 | 0 | 131 | ![]() |
sub(P,add(D,dst(D,P))) | 122909 | 146655761 | o2(x,o2(x,o2(x,x))) | true | 11679 | 11679 | -0.8945 | 0 | 0.8945 | 0.06765 | 0.2601 | -1 | -0.000129 | 0.9999 | 1 | 1.279 | 0.00009414 | 0.0003175 | 0.00644 | -0.5426 | 1 | -5.256e-7 | 0.00009963 | 0.00255 | 0.0003703 | 0.01924 | 2.988 | 0.2692 | 0.006085 | 0.001473 | 1 | 1 | 0.001178 | 0.01034 | 0.05416 | 0.01741 | 0.1529 | 0.8006 | json |
| t18_x12_u0_b132 | 18 | 12 | 0 | 132 | ![]() |
sub(P,sub(D,add(D,P))) | 122910 | 146655762 | o2(x,o2(x,o2(x,x))) | true | 11687 | 11687 | 0 | 0.5 | 0.9569 | 0.9494 | 0.9744 | -1 | 1 | 2 | 1 | 1.488 | 0.001303 | 0 | 0.007937 | 1 | 1 | 0 | 0.0002681 | 0.003586 | 0.001241 | 0.03522 | 4.438 | 0.2265 | 0.001373 | 0.0002824 | 1 | 1 | 0.003279 | 0.03268 | 0.2686 | 0.003454 | 0.03442 | 0.2829 | json |
| t18_x12_u0_b133 | 18 | 12 | 0 | 133 | ![]() |
sub(P,sub(D,sub(D,P))) | 122911 | 146655763 | o2(x,o2(x,o2(x,x))) | true | 11695 | 11695 | 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 |
| t18_x12_u0_b134 | 18 | 12 | 0 | 134 | ![]() |
sub(P,sub(D,mlt(D,P))) | 122912 | 146655764 | o2(x,o2(x,o2(x,x))) | true | 11703 | 11703 | -0.01081 | 0.4922 | 0.9359 | 0.9228 | 0.9606 | -1 | 1 | 2 | 1 | 1.733 | 0.001412 | 0 | 0.01112 | 1 | 1 | 1.478e-9 | 0.000297 | 0.005012 | 0.001288 | 0.03589 | 3.229 | 0.2037 | 0.00153 | 0.0003218 | 1 | 1 | 0.003549 | 0.03388 | 0.2333 | 0.003846 | 0.03672 | 0.2528 | json |
| t18_x12_u0_b135 | 18 | 12 | 0 | 135 | ![]() |
sub(P,sub(D,div(D,P))) | 122913 | 146655765 | o2(x,o2(x,o2(x,x))) | true | 11711 | 11711 | -0.1211 | 0.4375 | 0.9961 | 0.9788 | 0.9893 | -1 | 1 | 2 | 1 | 1.138 | 0.01604 | 0 | 0.00989 | 1 | 1 | 9.461e-10 | 0.03185 | 0.0176 | 0.01595 | 0.1263 | 12.77 | 2 | 0.01639 | 0.03254 | 1 | 1 | 0.02143 | 0.08523 | 0.3379 | 0.02189 | 0.08708 | 0.3452 | json |
| t18_x12_u0_b136 | 18 | 12 | 0 | 136 | ![]() |
sub(P,sub(D,pow(D,P))) | 122914 | 146655766 | o2(x,o2(x,o2(x,x))) | true | 11719 | 11719 | -0.8752 | 0.0625 | 0.9998 | 0.2337 | 0.4834 | -1 | 1 | 2 | 1 | 0.3373 | 0.03175 | 0 | 0.01608 | 1 | 1 | 1.892e-9 | 0.0635 | 0.03215 | 0.03148 | 0.1774 | 11.04 | 2 | 0.1359 | 0.2717 | 1 | 1 | 0.04211 | 0.1679 | 0.3358 | 0.1802 | 0.7184 | 1.437 | json |
| t18_x12_u0_b137 | 18 | 12 | 0 | 137 | ![]() |
sub(P,sub(D,mod(D,P))) | 122915 | 146655767 | o2(x,o2(x,o2(x,x))) | true | 11727 | 11727 | -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 |
| t18_x12_u0_b138 | 18 | 12 | 0 | 138 | ![]() |
sub(P,sub(D,lrg(D,P))) | 122916 | 146655768 | o2(x,o2(x,o2(x,x))) | true | 11735 | 11735 | 0.0919 | 0.5508 | 0.9081 | 0.8843 | 0.9404 | -1 | 1 | 2 | 1 | 1.984 | 0.004328 | 0 | 0.01321 | 1 | 1 | -1.419e-9 | 0.008034 | 0.01289 | 0.004152 | 0.06443 | 4.878 | 0.9381 | 0.004895 | 0.009086 | 1 | 1 | 0.006154 | 0.03217 | 0.1957 | 0.006959 | 0.03638 | 0.2213 | json |
| t18_x12_u0_b139 | 18 | 12 | 0 | 139 | ![]() |
sub(P,sub(D,eql(D,P))) | 122917 | 146655769 | o2(x,o2(x,o2(x,x))) | true | 11743 | 11743 | 0 | 0.5 | 0.9375 | 0.9252 | 0.9619 | -1 | 1 | 2 | 1 | 1.774 | 0.001323 | 0 | 0.01101 | 1 | 1 | 0 | 0.0002527 | 0.005079 | 0.001202 | 0.03468 | 3.15 | 0.1713 | 0.00143 | 0.0002731 | 1 | 1 | 0.003342 | 0.0331 | 0.2361 | 0.003612 | 0.03578 | 0.2552 | json |
| t18_x12_u0_b140 | 18 | 12 | 0 | 140 | ![]() |
sub(P,sub(D,min(D,P))) | 122918 | 146655770 | o2(x,o2(x,o2(x,x))) | true | 11751 | 11751 | -0.0212 | 0.4766 | 0.9448 | 0.9342 | 0.9665 | -1 | 1 | 2 | 1 | 1.592 | 0.001278 | 0 | 0.008956 | 1 | 1 | 1.183e-9 | 0.0002274 | 0.003653 | 0.001199 | 0.03462 | 3.866 | 0.2524 | 0.001368 | 0.0002434 | 1 | 1 | 0.00324 | 0.03174 | 0.2489 | 0.003469 | 0.03398 | 0.2664 | json |
| t18_x12_u0_b141 | 18 | 12 | 0 | 141 | ![]() |
sub(P,sub(D,dot(D,P))) | 122919 | 146655771 | o2(x,o2(x,o2(x,x))) | true | 11759 | 11759 | -0.0303 | 0.4837 | 0.9368 | 0.9154 | 0.9568 | -1 | 1 | 2 | 1 | 1.981 | 0.001347 | 0.004121 | 0.02391 | -0.5073 | 1 | 0.0003474 | 0.002015 | 0.01293 | 0.004894 | 0.06995 | 2.926 | 0.4789 | 0.005973 | 0.002201 | 1 | 1 | 0.009321 | 0.06781 | 0.2274 | 0.01018 | 0.07407 | 0.2484 | json |
| t18_x12_u0_b142 | 18 | 12 | 0 | 142 | ![]() |
sub(P,sub(D,dst(D,P))) | 122920 | 146655772 | o2(x,o2(x,o2(x,x))) | true | 11767 | 11767 | 0.8945 | 1 | 0.8945 | 0.06765 | 0.2601 | 0.000129 | 1 | 0.9999 | 1 | 1.279 | 0.00009414 | 0.0003175 | 0.00641 | -0.5426 | 1 | 5.257e-7 | 0.00009963 | 0.00255 | 0.0003709 | 0.01926 | 3.005 | 0.2725 | 0.006085 | 0.001473 | 1 | 1 | 0.001178 | 0.01034 | 0.05321 | 0.01741 | 0.1528 | 0.7865 | json |
| t18_x12_u0_b143 | 18 | 12 | 0 | 143 | ![]() |
sub(P,mlt(D,add(D,P))) | 122921 | 146655773 | o2(x,o2(x,o2(x,x))) | true | 11775 | 11775 | 0.0006498 | 0.4922 | 0.9352 | 0.9198 | 0.9591 | -1 | 1 | 2 | 1 | 1.867 | 0.0007808 | 0 | 0.008863 | 1 | 1 | 9.461e-10 | 0.00009057 | 0.00287 | 0.0007025 | 0.0265 | 2.99 | 0.1451 | 0.0008489 | 0.00009847 | 1 | 1 | 0.002011 | 0.02416 | 0.2291 | 0.002186 | 0.02627 | 0.249 | json |
| t18_x12_u0_b144 | 18 | 12 | 0 | 144 | ![]() |
sub(P,mlt(D,sub(D,P))) | 122922 | 146655774 | o2(x,o2(x,o2(x,x))) | true | 11783 | 11783 | -0.02762 | 0.4688 | 0.9359 | 0.9238 | 0.9612 | -1 | 1 | 2 | 1 | 1.646 | 0.001167 | 0 | 0.009394 | 1 | 1 | -1.183e-9 | 0.0001595 | 0.003723 | 0.001079 | 0.03285 | 3.497 | 0.1876 | 0.001264 | 0.0001726 | 1 | 1 | 0.002991 | 0.03179 | 0.2357 | 0.003237 | 0.03441 | 0.2552 | json |
| t18_x12_u0_b145 | 18 | 12 | 0 | 145 | ![]() |
sub(P,mlt(D,mlt(D,P))) | 122923 | 146655775 | o2(x,o2(x,o2(x,x))) | true | 11791 | 11791 | -1.164e-10 | 0.4961 | 0.9281 | 0.9133 | 0.9557 | -1 | 1 | 2 | 1 | 1.836 | 0.0007783 | 0 | 0.009071 | 1 | 1 | 0 | 0.0000658 | 0.003103 | 0.0006963 | 0.02639 | 2.909 | 0.1251 | 0.0008522 | 0.00007204 | 1 | 1 | 0.002021 | 0.02487 | 0.2206 | 0.002213 | 0.02723 | 0.2415 | json |
| t18_x12_u0_b146 | 18 | 12 | 0 | 146 | ![]() |
sub(P,mlt(D,div(D,P))) | 122924 | 146655776 | o2(x,o2(x,o2(x,x))) | true | 11799 | 11799 | -0.125 | 0.4375 | 0.9999 | 0.9842 | 0.9921 | -1 | 1 | 2 | 1 | 0.9887 | 0.01586 | 0 | 0.008002 | 1 | 1 | 0 | 0.03178 | 0.016 | 0.01579 | 0.1257 | 15.71 | 1.999 | 0.01611 | 0.03229 | 1 | 1 | 0.021 | 0.08411 | 0.3367 | 0.02133 | 0.08546 | 0.3421 | json |
| t18_x12_u0_b147 | 18 | 12 | 0 | 147 | ![]() |
sub(P,mlt(D,pow(D,P))) | 122925 | 146655777 | o2(x,o2(x,o2(x,x))) | true | 11807 | 11807 | -0.9721 | 0.01563 | 0.9741 | 0.02524 | 0.1589 | -1 | 0.09207 | 1.092 | 1 | 0.3154 | 0.005058 | 0 | 0.008667 | 1 | 1 | -4.731e-10 | 0.00824 | 0.01025 | 0.004981 | 0.07058 | 8.143 | 1.031 | 0.2004 | 0.3265 | 1 | 1 | 0.007953 | 0.03444 | 0.03508 | 0.3151 | 1.364 | 1.39 | json |
| t18_x12_u0_b148 | 18 | 12 | 0 | 148 | ![]() |
sub(P,mlt(D,mod(D,P))) | 122926 | 146655778 | o2(x,o2(x,o2(x,x))) | true | 11815 | 11815 | -0.1252 | 0.4375 | 0.9998 | 0.984 | 0.992 | -1 | 1 | 2 | 1 | 0.9887 | 0.01586 | 0 | 0.008054 | 1 | 1 | 0 | 0.03182 | 0.01604 | 0.01579 | 0.1257 | 15.6 | 1.999 | 0.01612 | 0.03234 | 1 | 1 | 0.02097 | 0.08379 | 0.3364 | 0.02131 | 0.08515 | 0.3419 | json |
| t18_x12_u0_b149 | 18 | 12 | 0 | 149 | ![]() |
sub(P,mlt(D,lrg(D,P))) | 122927 | 146655779 | o2(x,o2(x,o2(x,x))) | true | 11823 | 11823 | -0.01478 | 0.4766 | 0.9384 | 0.9253 | 0.9619 | -1 | 1 | 2 | 1 | 1.727 | 0.001072 | 0 | 0.009726 | 1 | 1 | -1.774e-10 | 0.0001401 | 0.0038 | 0.0009778 | 0.03127 | 3.215 | 0.1529 | 0.001158 | 0.0001514 | 1 | 1 | 0.00275 | 0.03018 | 0.2368 | 0.002972 | 0.03262 | 0.256 | json |
| t18_x12_u0_b150 | 18 | 12 | 0 | 150 | ![]() |
sub(P,mlt(D,eql(D,P))) | 122928 | 146655780 | o2(x,o2(x,o2(x,x))) | true | 11831 | 11831 | 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 |
| t18_x12_u0_b151 | 18 | 12 | 0 | 151 | ![]() |
sub(P,mlt(D,min(D,P))) | 122929 | 146655781 | o2(x,o2(x,o2(x,x))) | true | 11839 | 11839 | 0.001342 | 0.4961 | 0.9284 | 0.9136 | 0.9558 | -1 | 1 | 2 | 1 | 1.852 | 0.0006666 | 0 | 0.008054 | 1 | 1 | 7.096e-10 | 0.00003453 | 0.001905 | 0.0006017 | 0.02453 | 3.046 | 0.1251 | 0.0007296 | 0.00003779 | 1 | 1 | 0.001745 | 0.02316 | 0.2205 | 0.00191 | 0.02535 | 0.2413 | json |
| t18_x12_u0_b152 | 18 | 12 | 0 | 152 | ![]() |
sub(P,mlt(D,dot(D,P))) | 122930 | 146655782 | o2(x,o2(x,o2(x,x))) | true | 11847 | 11847 | -1.164e-10 | 0.5 | 0.9287 | 0.9126 | 0.9553 | -1 | 1 | 2 | 1 | 1.951 | 0.0007743 | 0.00006033 | 0.009869 | 0.8554 | 1 | 0 | 0.0001044 | 0.003337 | 0.0007376 | 0.02716 | 2.752 | 0.1741 | 0.0009146 | 0.0001144 | 1 | 1 | 0.002032 | 0.02481 | 0.22 | 0.002227 | 0.02719 | 0.241 | json |
| t18_x12_u0_b153 | 18 | 12 | 0 | 153 | ![]() |
sub(P,mlt(D,dst(D,P))) | 122931 | 146655783 | o2(x,o2(x,o2(x,x))) | true | 11855 | 11855 | 6.985e-10 | 0.5 | 0.9409 | 0.9222 | 0.9603 | -1 | 1 | 2 | 1 | 1.927 | 0.006205 | 0.00001527 | 0.02372 | 0.9951 | 1 | 1.624e-10 | 0.00219 | 0.01459 | 0.005657 | 0.07521 | 3.172 | 0.5576 | 0.006745 | 0.002375 | 1 | 1 | 0.01018 | 0.06374 | 0.2369 | 0.01104 | 0.06912 | 0.2569 | json |
| t18_x12_u0_b154 | 18 | 12 | 0 | 154 | ![]() |
sub(P,div(D,add(D,P))) | 122932 | 146655784 | o2(x,o2(x,o2(x,x))) | true | 11863 | 11863 | -0.02956 | 0.4766 | 0.9644 | 0.945 | 0.9721 | -1 | 1 | 2 | 1 | 1.73 | 0.001944 | 0 | 0.01247 | 1 | 1 | -1.656e-9 | 0.0001911 | 0.004159 | 0.001788 | 0.04228 | 3.391 | 0.2547 | 0.002057 | 0.0002022 | 1 | 1 | 0.00503 | 0.05612 | 0.2646 | 0.005323 | 0.05939 | 0.28 | json |
| t18_x12_u0_b155 | 18 | 12 | 0 | 155 | ![]() |
sub(P,div(D,sub(D,P))) | 122933 | 146655785 | o2(x,o2(x,o2(x,x))) | true | 11871 | 11871 | -0.0659 | 0.4648 | 0.9753 | 0.9597 | 0.9797 | -1 | 1 | 2 | 1 | 1.518 | 0.001335 | 0 | 0.00925 | 1 | 1 | -2.365e-10 | 0.00008357 | 0.002702 | 0.001249 | 0.03534 | 3.821 | 0.2107 | 0.001391 | 0.00008707 | 1 | 1 | 0.003487 | 0.04577 | 0.2902 | 0.003633 | 0.04769 | 0.3024 | json |
| t18_x12_u0_b156 | 18 | 12 | 0 | 156 | ![]() |
sub(P,div(D,mlt(D,P))) | 122934 | 146655786 | o2(x,o2(x,o2(x,x))) | true | 11879 | 11879 | -0.125 | 0.4375 | 0.9508 | 0.9262 | 0.9624 | -1 | 1 | 2 | 1 | 1.541 | 0.009062 | 0 | 0.01587 | 1 | 1 | -9.459e-10 | 0.01612 | 0.01857 | 0.008808 | 0.09385 | 5.914 | 1 | 0.009784 | 0.0174 | 1 | 1 | 0.01335 | 0.0721 | 0.3247 | 0.01441 | 0.07785 | 0.3506 | json |
| t18_x12_u0_b157 | 18 | 12 | 0 | 157 | ![]() |
sub(P,div(D,div(D,P))) | 122935 | 146655787 | o2(x,o2(x,o2(x,x))) | true | 11887 | 11887 | 3.862e-18 | 0 | 1.721e-7 | 6.763e-14 | 2.601e-7 | -7.908e-7 | 7.908e-7 | 0.000001582 | 1 | 0.9544 | 5.132e-14 | 0 | 1.606e-7 | 0.05132 | 0 | 0 | 1.546e-13 | 2.897e-7 | 2.555e-14 | 1.598e-7 | 0.9956 | 6.833e-7 | 0.05132 | 0.1546 | 0 | 1 | 1.384e-14 | 2.264e-14 | 4.725e-14 | 0.01384 | 0.02264 | 0.04725 | json |
| t18_x12_u0_b158 | 18 | 12 | 0 | 158 | ![]() |
sub(P,div(D,pow(D,P))) | 122936 | 146655788 | o2(x,o2(x,o2(x,x))) | true | 11895 | 11895 | -0.9635 | 0.01953 | 0.9661 | 0.03124 | 0.1767 | -1 | 0.1006 | 1.101 | 1 | 0.4512 | 0.004711 | 0 | 0.008735 | 1 | 1 | 0 | 0.008073 | 0.009308 | 0.004637 | 0.06809 | 7.795 | 1.031 | 0.1508 | 0.2585 | 1 | 1 | 0.007143 | 0.03526 | 0.04387 | 0.2287 | 1.129 | 1.404 | json |
| t18_x12_u0_b159 | 18 | 12 | 0 | 159 | ![]() |
sub(P,div(D,mod(D,P))) | 122937 | 146655789 | o2(x,o2(x,o2(x,x))) | true | 11903 | 11903 | -0.1563 | 0.4375 | 0.9688 | 0.9369 | 0.9679 | -1 | 1 | 2 | 1 | 1.385 | 0.004323 | 0 | 0.007937 | 1 | 1 | 2.839e-9 | 0.007903 | 0.008812 | 0.004259 | 0.06526 | 8.223 | 1 | 0.004615 | 0.008435 | 1 | 1 | 0.006228 | 0.03975 | 0.2856 | 0.006647 | 0.04243 | 0.3049 | json |
| t18_x12_u0_b160 | 18 | 12 | 0 | 160 | ![]() |
sub(P,div(D,lrg(D,P))) | 122938 | 146655790 | o2(x,o2(x,o2(x,x))) | true | 11911 | 11911 | -0.7489 | 0.125 | 0.9989 | 0.4369 | 0.661 | -1 | 1 | 2 | 1 | 0.6333 | 0.0313 | 0 | 0.0164 | 1 | 1 | -1.892e-9 | 0.06333 | 0.03244 | 0.03101 | 0.1761 | 10.74 | 2 | 0.07163 | 0.145 | 1 | 1 | 0.04101 | 0.1656 | 0.6708 | 0.09387 | 0.3789 | 1.535 | json |
| t18_x12_u0_b161 | 18 | 12 | 0 | 161 | ![]() |
sub(P,div(D,eql(D,P))) | 122939 | 146655791 | o2(x,o2(x,o2(x,x))) | true | 11919 | 11919 | -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 |
| t18_x12_u0_b162 | 18 | 12 | 0 | 162 | ![]() |
sub(P,div(D,min(D,P))) | 122940 | 146655792 | o2(x,o2(x,o2(x,x))) | true | 11927 | 11927 | -0.1473 | 0.4375 | 0.9598 | 0.9241 | 0.9613 | -1 | 1 | 2 | 1 | 1.687 | 0.004416 | 0 | 0.0101 | 1 | 1 | 9.463e-10 | 0.007919 | 0.009684 | 0.004314 | 0.06568 | 6.502 | 1 | 0.004778 | 0.008569 | 1 | 1 | 0.006461 | 0.04177 | 0.2715 | 0.006992 | 0.0452 | 0.2938 | json |
| t18_x12_u0_b163 | 18 | 12 | 0 | 163 | ![]() |
sub(P,div(D,dot(D,P))) | 122941 | 146655793 | o2(x,o2(x,o2(x,x))) | true | 11935 | 11935 | -0.02515 | 0.4874 | 0.9485 | 0.9311 | 0.9649 | -1 | 1 | 2 | 1 | 1.865 | 0.1166 | 0.1545 | 0.14 | -0.1396 | 1 | 3.905e-10 | 1.314 | 0.2998 | 0.2514 | 0.5014 | 3.581 | 2.828 | 0.2911 | 1.411 | 1 | 1 | 0.2147 | 0.2993 | 0.4489 | 0.2306 | 0.3215 | 0.4821 | json |
| t18_x12_u0_b164 | 18 | 12 | 0 | 164 | ![]() |
sub(P,div(D,dst(D,P))) | 122942 | 146655794 | o2(x,o2(x,o2(x,x))) | true | 11943 | 11943 | -2.328e-10 | 0.5 | 0.937 | 0.9242 | 0.9614 | -1 | 1 | 2 | 1 | 1.791 | 0.001101 | 0.00003844 | 0.009567 | 0.9325 | 1 | -3.747e-10 | 0.000273 | 0.003214 | 0.001048 | 0.03237 | 3.384 | 1.466 | 0.001233 | 0.0002954 | 1 | 1 | 0.003159 | 0.03271 | 0.2359 | 0.003418 | 0.03539 | 0.2552 | json |
| t18_x12_u0_b165 | 18 | 12 | 0 | 165 | ![]() |
sub(P,pow(D,add(D,P))) | 122943 | 146655795 | o2(x,o2(x,o2(x,x))) | true | 11951 | 11951 | -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 |
| t18_x12_u0_b166 | 18 | 12 | 0 | 166 | ![]() |
sub(P,pow(D,sub(D,P))) | 122944 | 146655796 | o2(x,o2(x,o2(x,x))) | true | 11959 | 11959 | -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 |
| t18_x12_u0_b167 | 18 | 12 | 0 | 167 | ![]() |
sub(P,pow(D,mlt(D,P))) | 122945 | 146655797 | o2(x,o2(x,o2(x,x))) | true | 11967 | 11967 | -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 |
| t18_x12_u0_b168 | 18 | 12 | 0 | 168 | ![]() |
sub(P,pow(D,div(D,P))) | 122946 | 146655798 | o2(x,o2(x,o2(x,x))) | true | 11975 | 11975 | -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 |
| t18_x12_u0_b169 | 18 | 12 | 0 | 169 | ![]() |
sub(P,pow(D,pow(D,P))) | 122947 | 146655799 | o2(x,o2(x,o2(x,x))) | true | 11983 | 11983 | -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 |
| t18_x12_u0_b170 | 18 | 12 | 0 | 170 | ![]() |
sub(P,pow(D,mod(D,P))) | 122948 | 146655800 | o2(x,o2(x,o2(x,x))) | true | 11991 | 11991 | -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 |
| t18_x12_u0_b171 | 18 | 12 | 0 | 171 | ![]() |
sub(P,pow(D,lrg(D,P))) | 122949 | 146655801 | o2(x,o2(x,o2(x,x))) | true | 11999 | 11999 | -0.1027 | 0.4375 | 0.9152 | 0.8905 | 0.9437 | -1 | 1 | 2 | 1 | 1.807 | 0.004165 | 0 | 0.009854 | 1 | 1 | -2.366e-10 | 0.007963 | 0.009483 | 0.004066 | 0.06377 | 6.471 | 0.9688 | 0.004677 | 0.008942 | 1 | 1 | 0.005768 | 0.02736 | 0.2039 | 0.006477 | 0.03073 | 0.229 | json |
| t18_x12_u0_b172 | 18 | 12 | 0 | 172 | ![]() |
sub(P,pow(D,eql(D,P))) | 122950 | 146655802 | o2(x,o2(x,o2(x,x))) | true | 12007 | 12007 | -0.125 | 0.4375 | 0.9375 | 0.9084 | 0.9531 | -1 | 1 | 2 | 1 | 1.8 | 0.0007059 | 0 | 0.007937 | 1 | 1 | 0 | 0.00003235 | 0.001851 | 0.0006432 | 0.02536 | 3.195 | 0.1169 | 0.0007771 | 0.00003562 | 1 | 1 | 0.001851 | 0.02449 | 0.2344 | 0.002038 | 0.02696 | 0.2581 | json |
| t18_x12_u0_b173 | 18 | 12 | 0 | 173 | ![]() |
sub(P,pow(D,min(D,P))) | 122951 | 146655803 | o2(x,o2(x,o2(x,x))) | true | 12015 | 12015 | -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 |
| t18_x12_u0_b174 | 18 | 12 | 0 | 174 | ![]() |
sub(P,pow(D,dot(D,P))) | 122952 | 146655804 | o2(x,o2(x,o2(x,x))) | true | 12023 | 12023 | -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 |
| t18_x12_u0_b175 | 18 | 12 | 0 | 175 | ![]() |
sub(P,pow(D,dst(D,P))) | 122953 | 146655805 | o2(x,o2(x,o2(x,x))) | true | 12031 | 12031 | -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 |
| t18_x12_u0_b176 | 18 | 12 | 0 | 176 | ![]() |
sub(P,mod(D,add(D,P))) | 122954 | 146655806 | o2(x,o2(x,o2(x,x))) | true | 12039 | 12039 | 0 | 0.5 | 0.9414 | 0.9314 | 0.9651 | -1 | 1 | 2 | 1 | 1.695 | 0.004641 | 0 | 0.01609 | 1 | 1 | 0 | 0.008181 | 0.02454 | 0.004382 | 0.06619 | 4.115 | 0.6128 | 0.004983 | 0.008784 | 1 | 1 | 0.006886 | 0.03551 | 0.2444 | 0.007393 | 0.03812 | 0.2624 | json |
| t18_x12_u0_b177 | 18 | 12 | 0 | 177 | ![]() |
sub(P,mod(D,sub(D,P))) | 122955 | 146655807 | o2(x,o2(x,o2(x,x))) | true | 12047 | 12047 | 0 | 0.5 | 0.945 | 0.9334 | 0.9661 | -1 | 1 | 2 | 1 | 1.717 | 0.003094 | 0 | 0.01471 | 1 | 1 | 0 | 0.005151 | 0.02064 | 0.002877 | 0.05363 | 3.645 | 0.4058 | 0.003315 | 0.005519 | 1 | 1 | 0.004792 | 0.03217 | 0.247 | 0.005135 | 0.03446 | 0.2647 | json |
| t18_x12_u0_b178 | 18 | 12 | 0 | 178 | ![]() |
sub(P,mod(D,mlt(D,P))) | 122956 | 146655808 | o2(x,o2(x,o2(x,x))) | true | 12055 | 12055 | -0.125 | 0.4375 | 0.9988 | 0.9821 | 0.991 | -1 | 1 | 2 | 1 | 1.105 | 0.01606 | 0 | 0.01034 | 1 | 1 | 0 | 0.03365 | 0.02069 | 0.01596 | 0.1263 | 12.21 | 2 | 0.01635 | 0.03426 | 1 | 1 | 0.02028 | 0.08274 | 0.3354 | 0.02065 | 0.08424 | 0.3415 | json |
| t18_x12_u0_b179 | 18 | 12 | 0 | 179 | ![]() |
sub(P,mod(D,div(D,P))) | 122957 | 146655809 | o2(x,o2(x,o2(x,x))) | true | 12063 | 12063 | -0.125 | 0.4375 | 0.9983 | 0.9812 | 0.9906 | -1 | 1 | 2 | 1 | 1.12 | 0.01626 | 0 | 0.01135 | 1 | 1 | 0 | 0.03444 | 0.02271 | 0.01612 | 0.127 | 11.18 | 2 | 0.01657 | 0.0351 | 1 | 1 | 0.02028 | 0.0822 | 0.3348 | 0.02067 | 0.08377 | 0.3413 | json |
| t18_x12_u0_b180 | 18 | 12 | 0 | 180 | ![]() |
sub(P,mod(D,pow(D,P))) | 122958 | 146655810 | o2(x,o2(x,o2(x,x))) | true | 12071 | 12071 | -0.9676 | 0.01953 | 0.9699 | 0.0284 | 0.1685 | -1 | 0.09672 | 1.097 | 1 | 0.378 | 0.004834 | 0 | 0.008704 | 1 | 1 | -1.419e-9 | 0.008125 | 0.009539 | 0.004756 | 0.06896 | 7.923 | 1.031 | 0.1702 | 0.2861 | 1 | 1 | 0.007433 | 0.03536 | 0.03965 | 0.2617 | 1.245 | 1.396 | json |
| t18_x12_u0_b181 | 18 | 12 | 0 | 181 | ![]() |
sub(P,mod(D,mod(D,P))) | 122959 | 146655811 | o2(x,o2(x,o2(x,x))) | true | 12079 | 12079 | -0.125 | 0.4375 | 0.9983 | 0.9812 | 0.9906 | -1 | 1 | 2 | 1 | 1.12 | 0.01626 | 0 | 0.01135 | 1 | 1 | 0 | 0.03444 | 0.02271 | 0.01612 | 0.127 | 11.18 | 2 | 0.01657 | 0.0351 | 1 | 1 | 0.02028 | 0.0822 | 0.3348 | 0.02067 | 0.08377 | 0.3413 | json |
| t18_x12_u0_b182 | 18 | 12 | 0 | 182 | ![]() |
sub(P,mod(D,lrg(D,P))) | 122960 | 146655812 | o2(x,o2(x,o2(x,x))) | true | 12087 | 12087 | -0.9989 | 0 | 0.9989 | 0.00008407 | 0.009169 | -1 | -0.9033 | 0.09672 | 1 | 0.09198 | 0.00003581 | 0 | 0.0007676 | 1 | 0 | -1.892e-9 | 0.0000413 | 0.0009367 | 0.00003521 | 0.005934 | 7.73 | 0.06918 | 0.4259 | 0.4913 | 1 | 1 | 0.00006759 | 0.0001148 | 0.0001148 | 0.804 | 1.366 | 1.366 | json |
| t18_x12_u0_b183 | 18 | 12 | 0 | 183 | ![]() |
sub(P,mod(D,eql(D,P))) | 122961 | 146655813 | o2(x,o2(x,o2(x,x))) | true | 12095 | 12095 | -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 |
| t18_x12_u0_b184 | 18 | 12 | 0 | 184 | ![]() |
sub(P,mod(D,min(D,P))) | 122962 | 146655814 | o2(x,o2(x,o2(x,x))) | true | 12103 | 12103 | -0.09719 | 0.4453 | 0.9717 | 0.9557 | 0.9776 | -1 | 1 | 2 | 1 | 1.42 | 0.02158 | 0 | 0.02097 | 1 | 1 | 0 | 0.04364 | 0.0369 | 0.02114 | 0.1454 | 6.935 | 2 | 0.02258 | 0.04566 | 1 | 1 | 0.02829 | 0.1131 | 0.2928 | 0.0296 | 0.1183 | 0.3063 | json |
| t18_x12_u0_b185 | 18 | 12 | 0 | 185 | ![]() |
sub(P,mod(D,dot(D,P))) | 122963 | 146655815 | o2(x,o2(x,o2(x,x))) | true | 12111 | 12111 | -0.03467 | 0.4827 | 0.9462 | 0.9342 | 0.9665 | -1 | 1 | 2 | 1 | 1.736 | 0.07708 | 0.07546 | 0.07386 | 0.01063 | 1 | -9.011e-11 | 0.842 | 0.1654 | 0.1471 | 0.3835 | 5.193 | 2.828 | 0.1633 | 0.9013 | 1 | 1 | 0.09837 | 0.1393 | 0.3389 | 0.1053 | 0.1491 | 0.3628 | json |
| t18_x12_u0_b186 | 18 | 12 | 0 | 186 | ![]() |
sub(P,mod(D,dst(D,P))) | 122964 | 146655816 | o2(x,o2(x,o2(x,x))) | true | 12119 | 12119 | 0 | 0.5 | 0.9375 | 0.9252 | 0.9619 | -1 | 1 | 2 | 1 | 1.774 | 0.001323 | 0 | 0.01101 | 1 | 1 | 0 | 0.0002527 | 0.005079 | 0.001202 | 0.03468 | 3.15 | 0.1713 | 0.00143 | 0.0002731 | 1 | 1 | 0.003342 | 0.0331 | 0.2361 | 0.003612 | 0.03578 | 0.2552 | json |
| t18_x12_u0_b187 | 18 | 12 | 0 | 187 | ![]() |
sub(P,lrg(D,add(D,P))) | 122965 | 146655817 | o2(x,o2(x,o2(x,x))) | true | 12127 | 12127 | -0.009727 | 0.5 | 0.9472 | 0.9365 | 0.9677 | -1 | 1 | 2 | 1 | 1.65 | 0.001005 | 0 | 0.007937 | 1 | 1 | 4.731e-10 | 0.0001502 | 0.002719 | 0.0009424 | 0.0307 | 3.868 | 0.2265 | 0.001073 | 0.0001604 | 1 | 1 | 0.002565 | 0.02848 | 0.2515 | 0.002739 | 0.03041 | 0.2686 | json |
| t18_x12_u0_b188 | 18 | 12 | 0 | 188 | ![]() |
sub(P,lrg(D,sub(D,P))) | 122966 | 146655818 | o2(x,o2(x,o2(x,x))) | true | 12135 | 12135 | -0.0625 | 0.4375 | 0.875 | 0.8576 | 0.926 | -1 | 1 | 2 | 1 | 2.027 | 0.0007059 | 0 | 0.007937 | 1 | 1 | 0 | 0.00003238 | 0.001855 | 0.0006432 | 0.02536 | 3.195 | 0.1169 | 0.0008231 | 0.00003776 | 1 | 1 | 0.001851 | 0.02429 | 0.1593 | 0.002158 | 0.02832 | 0.1858 | json |
| t18_x12_u0_b189 | 18 | 12 | 0 | 189 | ![]() |
sub(P,lrg(D,mlt(D,P))) | 122967 | 146655819 | o2(x,o2(x,o2(x,x))) | true | 12143 | 12143 | -0.04098 | 0.4688 | 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 |
| t18_x12_u0_b190 | 18 | 12 | 0 | 190 | ![]() |
sub(P,lrg(D,div(D,P))) | 122968 | 146655820 | o2(x,o2(x,o2(x,x))) | true | 12151 | 12151 | -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 |
| t18_x12_u0_b191 | 18 | 12 | 0 | 191 | ![]() |
sub(P,lrg(D,pow(D,P))) | 122969 | 146655821 | o2(x,o2(x,o2(x,x))) | true | 12159 | 12159 | -0.03125 | 0.4375 | 0.9063 | 0.8978 | 0.9475 | -1 | 1 | 2 | 1 | 1.678 | 0.004321 | 0 | 0.007937 | 1 | 1 | 4.731e-10 | 0.007953 | 0.008864 | 0.004257 | 0.06525 | 8.221 | 1 | 0.004813 | 0.008858 | 1 | 1 | 0.006189 | 0.0332 | 0.2014 | 0.006893 | 0.03697 | 0.2243 | json |
| t18_x12_u0_b192 | 18 | 12 | 0 | 192 | ![]() |
sub(P,lrg(D,mod(D,P))) | 122970 | 146655822 | o2(x,o2(x,o2(x,x))) | true | 12167 | 12167 | -0.0625 | 0.4688 | 0.9806 | 0.969 | 0.9844 | -1 | 1 | 2 | 1 | 1.326 | 0.001412 | 0 | 0.007937 | 1 | 1 | 0 | 0.00006477 | 0.001855 | 0.001349 | 0.03673 | 4.628 | 0.2338 | 0.001457 | 0.00006684 | 1 | 1 | 0.003702 | 0.04857 | 0.3004 | 0.00382 | 0.05012 | 0.31 | json |
| t18_x12_u0_b193 | 18 | 12 | 0 | 193 | ![]() |
sub(P,lrg(D,lrg(D,P))) | 122971 | 146655823 | o2(x,o2(x,o2(x,x))) | true | 12175 | 12175 | -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 |
| t18_x12_u0_b194 | 18 | 12 | 0 | 194 | ![]() |
sub(P,lrg(D,eql(D,P))) | 122972 | 146655824 | o2(x,o2(x,o2(x,x))) | true | 12183 | 12183 | -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 |
| t18_x12_u0_b195 | 18 | 12 | 0 | 195 | ![]() |
sub(P,lrg(D,min(D,P))) | 122973 | 146655825 | o2(x,o2(x,o2(x,x))) | true | 12191 | 12191 | -0.04098 | 0.4688 | 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 |
| t18_x12_u0_b196 | 18 | 12 | 0 | 196 | ![]() |
sub(P,lrg(D,dot(D,P))) | 122974 | 146655826 | o2(x,o2(x,o2(x,x))) | true | 12199 | 12199 | -0.0685 | 0.4634 | 0.939 | 0.916 | 0.9571 | -1 | 1 | 2 | 1 | 1.928 | 0.001979 | 0.005761 | 0.02031 | -0.4886 | 1 | -0.00002282 | 0.01643 | 0.01978 | 0.007333 | 0.08563 | 4.217 | 1.408 | 0.00845 | 0.01794 | 1 | 1 | 0.01217 | 0.05998 | 0.2376 | 0.01328 | 0.06548 | 0.2594 | json |
| t18_x12_u0_b197 | 18 | 12 | 0 | 197 | ![]() |
sub(P,lrg(D,dst(D,P))) | 122975 | 146655827 | o2(x,o2(x,o2(x,x))) | true | 12207 | 12207 | 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 |
| t18_x12_u0_b198 | 18 | 12 | 0 | 198 | ![]() |
sub(P,eql(D,add(D,P))) | 122976 | 146655828 | o2(x,o2(x,o2(x,x))) | true | 12215 | 12215 | -0.0625 | 0.4688 | 0.9806 | 0.969 | 0.9844 | -1 | 1 | 2 | 1 | 1.326 | 0.001412 | 0 | 0.007937 | 1 | 1 | 0 | 0.00006477 | 0.001855 | 0.001349 | 0.03673 | 4.628 | 0.2338 | 0.001457 | 0.00006684 | 1 | 1 | 0.003702 | 0.04857 | 0.3004 | 0.00382 | 0.05012 | 0.31 | json |
| t18_x12_u0_b199 | 18 | 12 | 0 | 199 | ![]() |
sub(P,eql(D,sub(D,P))) | 122977 | 146655829 | o2(x,o2(x,o2(x,x))) | true | 12223 | 12223 | -0.0625 | 0.4688 | 0.9806 | 0.969 | 0.9844 | -1 | 1 | 2 | 1 | 1.326 | 0.001412 | 0 | 0.007937 | 1 | 1 | 0 | 0.00006477 | 0.001855 | 0.001349 | 0.03673 | 4.628 | 0.2338 | 0.001457 | 0.00006684 | 1 | 1 | 0.003702 | 0.04857 | 0.3004 | 0.00382 | 0.05012 | 0.31 | json |
| t18_x12_u0_b200 | 18 | 12 | 0 | 200 | ![]() |
sub(P,eql(D,mlt(D,P))) | 122978 | 146655830 | o2(x,o2(x,o2(x,x))) | true | 12231 | 12231 | -0.05277 | 0.4375 | 0.8847 | 0.8716 | 0.9336 | -1 | 1 | 2 | 1 | 1.869 | 0.001005 | 0 | 0.007937 | 1 | 1 | -4.731e-10 | 0.0001503 | 0.002725 | 0.0009424 | 0.0307 | 3.868 | 0.2265 | 0.001153 | 0.0001724 | 1 | 1 | 0.002565 | 0.02807 | 0.1699 | 0.002943 | 0.03221 | 0.1949 | json |
| t18_x13_u0_b0 | 18 | 13 | 0 | 0 | ![]() |
add(P,add(D,add(D,D))) | 122979 | 146696031 | o2(x,o2(x,o2(x,x))) | true | 12239 | 12239 | 0 | 0.5 | 0.9375 | 0.91 | 0.954 | -1 | 1 | 2 | 1 | 1.895 | 0.001266 | 0 | 0.01048 | 1 | 1 | 0 | 0.0002486 | 0.004972 | 0.001157 | 0.03401 | 3.245 | 0.1863 | 0.001392 | 0.0002732 | 1 | 1 | 0.003195 | 0.028 | 0.2156 | 0.00351 | 0.03076 | 0.237 | json |
| t18_x13_u0_b1 | 18 | 13 | 0 | 1 | ![]() |
add(P,add(D,sub(D,D))) | 122980 | 146696032 | o2(x,o2(x,o2(x,x))) | true | 12247 | 12247 | 0 | 0.5 | 0.9375 | 0.9165 | 0.9574 | -1 | 1 | 2 | 1 | 1.979 | 0.0004883 | 0 | 0.007937 | 1 | 1 | 0 | 0.0000155 | 0.000496 | 0.0004253 | 0.02062 | 2.598 | 0.0625 | 0.0005327 | 0.00001691 | 1 | 1 | 0.001285 | 0.01928 | 0.2245 | 0.001402 | 0.02104 | 0.245 | json |
| t18_x13_u0_b2 | 18 | 13 | 0 | 2 | ![]() |
add(P,add(D,mlt(D,D))) | 122981 | 146696033 | o2(x,o2(x,o2(x,x))) | true | 12255 | 12255 | 0.01488 | 0.5 | 0.9375 | 0.9191 | 0.9587 | -1 | 1 | 2 | 1 | 1.901 | 0.0006451 | 0 | 0.007937 | 1 | 1 | -1.124e-9 | 0.00003986 | 0.002006 | 0.0005823 | 0.02413 | 3.04 | 0.1134 | 0.0007019 | 0.00004337 | 1 | 1 | 0.001685 | 0.02225 | 0.2283 | 0.001833 | 0.02421 | 0.2484 | json |
| t18_x13_u0_b3 | 18 | 13 | 0 | 3 | ![]() |
add(P,add(D,div(D,D))) | 122982 | 146696034 | o2(x,o2(x,o2(x,x))) | true | 12263 | 12263 | 0.125 | 0.5625 | 0.9375 | 0.9009 | 0.9492 | -1 | 1 | 2 | 1 | 1.966 | 0.0004883 | 0 | 0.007937 | 1 | 1 | 4.967e-9 | 0.0000155 | 0.000496 | 0.0004253 | 0.02062 | 2.598 | 0.0625 | 0.000542 | 0.00001721 | 1 | 1 | 0.001285 | 0.01928 | 0.2245 | 0.001426 | 0.02141 | 0.2492 | json |
| t18_x13_u0_b4 | 18 | 13 | 0 | 4 | ![]() |
add(P,add(D,pow(D,D))) | 122983 | 146696035 | o2(x,o2(x,o2(x,x))) | true | 12271 | 12271 | -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 |
| t18_x13_u0_b5 | 18 | 13 | 0 | 5 | ![]() |
add(P,add(D,mod(D,D))) | 122984 | 146696036 | o2(x,o2(x,o2(x,x))) | true | 12279 | 12279 | 0 | 0.5 | 0.9375 | 0.9156 | 0.9569 | -1 | 1 | 2 | 1 | 1.885 | 0.005427 | 0 | 0.02068 | 1 | 1 | 0 | 0.01203 | 0.03625 | 0.004999 | 0.07071 | 3.42 | 0.461 | 0.005927 | 0.01314 | 1 | 1 | 0.006419 | 0.02279 | 0.2231 | 0.00701 | 0.02489 | 0.2437 | json |
| t18_x13_u0_b6 | 18 | 13 | 0 | 6 | ![]() |
add(P,add(D,lrg(D,D))) | 122985 | 146696037 | o2(x,o2(x,o2(x,x))) | true | 12287 | 12287 | 0 | 0.5 | 0.9375 | 0.9165 | 0.9574 | -1 | 1 | 2 | 1 | 1.979 | 0.0004883 | 0 | 0.007937 | 1 | 1 | 0 | 0.0000155 | 0.000496 | 0.0004253 | 0.02062 | 2.598 | 0.0625 | 0.0005327 | 0.00001691 | 1 | 1 | 0.001285 | 0.01928 | 0.2245 | 0.001402 | 0.02104 | 0.245 | json |
| t18_x13_u0_b7 | 18 | 13 | 0 | 7 | ![]() |
add(P,add(D,eql(D,D))) | 122986 | 146696038 | o2(x,o2(x,o2(x,x))) | true | 12295 | 12295 | 0.125 | 0.5625 | 0.9375 | 0.9009 | 0.9492 | -1 | 1 | 2 | 1 | 1.966 | 0.0004883 | 0 | 0.007937 | 1 | 1 | 0 | 0.0000155 | 0.000496 | 0.0004253 | 0.02062 | 2.598 | 0.0625 | 0.000542 | 0.00001721 | 1 | 1 | 0.001285 | 0.01928 | 0.2245 | 0.001426 | 0.02141 | 0.2492 | json |
| t18_x13_u0_b8 | 18 | 13 | 0 | 8 | ![]() |
add(P,add(D,min(D,D))) | 122987 | 146696039 | o2(x,o2(x,o2(x,x))) | true | 12303 | 12303 | 0 | 0.5 | 0.9375 | 0.912 | 0.955 | -1 | 1 | 2 | 1 | 1.905 | 0.0006751 | 0 | 0.007936 | 1 | 1 | 0 | 0.00008758 | 0.002734 | 0.0006124 | 0.02475 | 3.118 | 0.1244 | 0.0007403 | 0.00009603 | 1 | 1 | 0.001733 | 0.02045 | 0.2183 | 0.0019 | 0.02243 | 0.2393 | json |
| t18_x13_u0_b9 | 18 | 13 | 0 | 9 | ![]() |
add(P,add(D,dot(D,D))) | 122988 | 146696040 | o2(x,o2(x,o2(x,x))) | true | 12311 | 12311 | 0.02976 | 0.5146 | 0.9375 | 0.9197 | 0.959 | -1 | 1 | 2 | 1 | 1.921 | 0.0006489 | 0.0001559 | 0.00939 | 0.6126 | 1 | -0.00003054 | 0.00008081 | 0.002555 | 0.0007164 | 0.02676 | 2.85 | 0.1243 | 0.0008751 | 0.00008786 | 1 | 1 | 0.002087 | 0.0252 | 0.2303 | 0.002269 | 0.0274 | 0.2504 | json |
| t18_x13_u0_b10 | 18 | 13 | 0 | 10 | ![]() |
add(P,add(D,dst(D,D))) | 122989 | 146696041 | o2(x,o2(x,o2(x,x))) | true | 12319 | 12319 | 0 | 0.5 | 0.9375 | 0.9165 | 0.9574 | -1 | 1 | 2 | 1 | 1.979 | 0.0004883 | 0 | 0.007937 | 1 | 1 | 0 | 0.0000155 | 0.000496 | 0.0004253 | 0.02062 | 2.598 | 0.0625 | 0.0005327 | 0.00001691 | 1 | 1 | 0.001285 | 0.01928 | 0.2245 | 0.001402 | 0.02104 | 0.245 | json |
| t18_x13_u0_b11 | 18 | 13 | 0 | 11 | ![]() |
add(P,sub(D,add(D,D))) | 122990 | 146696042 | o2(x,o2(x,o2(x,x))) | true | 12327 | 12327 | 0 | 0.5 | 0.9375 | 0.9252 | 0.9619 | -1 | 1 | 2 | 1 | 1.774 | 0.001323 | 0 | 0.01101 | 1 | 1 | 0 | 0.0002527 | 0.005079 | 0.001202 | 0.03468 | 3.15 | 0.1713 | 0.00143 | 0.0002731 | 1 | 1 | 0.003342 | 0.0331 | 0.2361 | 0.003612 | 0.03578 | 0.2552 | json |
| t18_x13_u0_b12 | 18 | 13 | 0 | 12 | ![]() |
add(P,sub(D,sub(D,D))) | 122991 | 146696043 | o2(x,o2(x,o2(x,x))) | true | 12335 | 12335 | 0 | 0.5 | 0.9375 | 0.9165 | 0.9574 | -1 | 1 | 2 | 1 | 1.979 | 0.0004883 | 0 | 0.007937 | 1 | 1 | 0 | 0.0000155 | 0.000496 | 0.0004253 | 0.02062 | 2.598 | 0.0625 | 0.0005327 | 0.00001691 | 1 | 1 | 0.001285 | 0.01928 | 0.2245 | 0.001402 | 0.02104 | 0.245 | json |
| t18_x13_u0_b13 | 18 | 13 | 0 | 13 | ![]() |
add(P,sub(D,mlt(D,D))) | 122992 | 146696044 | o2(x,o2(x,o2(x,x))) | true | 12343 | 12343 | -0.01488 | 0.5 | 0.9375 | 0.9191 | 0.9587 | -1 | 1 | 2 | 1 | 1.901 | 0.0006451 | 0 | 0.007937 | 1 | 1 | 1.124e-9 | 0.00003986 | 0.002006 | 0.0005823 | 0.02413 | 3.04 | 0.1134 | 0.0007019 | 0.00004337 | 1 | 1 | 0.001685 | 0.02225 | 0.2283 | 0.001833 | 0.02421 | 0.2484 | json |
| t18_x13_u0_b14 | 18 | 13 | 0 | 14 | ![]() |
add(P,sub(D,div(D,D))) | 122993 | 146696045 | o2(x,o2(x,o2(x,x))) | true | 12351 | 12351 | -0.125 | 0.4375 | 0.9375 | 0.9009 | 0.9492 | -1 | 1 | 2 | 1 | 1.966 | 0.0004883 | 0 | 0.007937 | 1 | 1 | -4.967e-9 | 0.0000155 | 0.000496 | 0.0004253 | 0.02062 | 2.598 | 0.0625 | 0.000542 | 0.00001721 | 1 | 1 | 0.001285 | 0.01928 | 0.2245 | 0.001426 | 0.02141 | 0.2492 | json |
| t18_x13_u0_b15 | 18 | 13 | 0 | 15 | ![]() |
add(P,sub(D,pow(D,D))) | 122994 | 146696046 | o2(x,o2(x,o2(x,x))) | true | 12359 | 12359 | -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 |
| t18_x13_u0_b16 | 18 | 13 | 0 | 16 | ![]() |
add(P,sub(D,mod(D,D))) | 122995 | 146696047 | o2(x,o2(x,o2(x,x))) | true | 12367 | 12367 | 0 | 0.5 | 0.9375 | 0.9236 | 0.9611 | -1 | 1 | 2 | 1 | 1.781 | 0.005427 | 0 | 0.02004 | 1 | 1 | 0 | 0.01194 | 0.03575 | 0.005023 | 0.07088 | 3.537 | 0.586 | 0.005876 | 0.01292 | 1 | 1 | 0.00648 | 0.0255 | 0.234 | 0.007016 | 0.02761 | 0.2533 | json |
| t18_x13_u0_b17 | 18 | 13 | 0 | 17 | ![]() |
add(P,sub(D,lrg(D,D))) | 122996 | 146696048 | o2(x,o2(x,o2(x,x))) | true | 12375 | 12375 | 0 | 0.5 | 0.9375 | 0.9165 | 0.9574 | -1 | 1 | 2 | 1 | 1.979 | 0.0004883 | 0 | 0.007937 | 1 | 1 | 0 | 0.0000155 | 0.000496 | 0.0004253 | 0.02062 | 2.598 | 0.0625 | 0.0005327 | 0.00001691 | 1 | 1 | 0.001285 | 0.01928 | 0.2245 | 0.001402 | 0.02104 | 0.245 | json |
| t18_x13_u0_b18 | 18 | 13 | 0 | 18 | ![]() |
add(P,sub(D,eql(D,D))) | 122997 | 146696049 | o2(x,o2(x,o2(x,x))) | true | 12383 | 12383 | -0.125 | 0.4375 | 0.9375 | 0.9009 | 0.9492 | -1 | 1 | 2 | 1 | 1.966 | 0.0004883 | 0 | 0.007937 | 1 | 1 | 0 | 0.0000155 | 0.000496 | 0.0004253 | 0.02062 | 2.598 | 0.0625 | 0.000542 | 0.00001721 | 1 | 1 | 0.001285 | 0.01928 | 0.2245 | 0.001426 | 0.02141 | 0.2492 | json |
| t18_x13_u0_b19 | 18 | 13 | 0 | 19 | ![]() |
add(P,sub(D,min(D,D))) | 122998 | 146696050 | o2(x,o2(x,o2(x,x))) | true | 12391 | 12391 | 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 |
| t18_x13_u0_b20 | 18 | 13 | 0 | 20 | ![]() |
add(P,sub(D,dot(D,D))) | 122999 | 146696051 | o2(x,o2(x,o2(x,x))) | true | 12399 | 12399 | -0.02976 | 0.4854 | 0.9375 | 0.9197 | 0.959 | -1 | 1 | 2 | 1 | 1.921 | 0.0006489 | 0.0001559 | 0.009391 | 0.6126 | 1 | 0.00003054 | 0.00008081 | 0.002555 | 0.0007163 | 0.02676 | 2.85 | 0.1243 | 0.0008751 | 0.00008786 | 1 | 1 | 0.002087 | 0.0252 | 0.2303 | 0.002269 | 0.0274 | 0.2504 | json |



































































































