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_x10_u0_b24 | 18 | 10 | 0 | 24 | ![]() |
add(P,mlt(D,mlt(P,D))) | 122400 | 146574852 | o2(x,o2(x,o2(x,x))) | true | 7607 | 7607 | 0 | 0.5 | 0.9449 | 0.9321 | 0.9654 | -1 | 1 | 2 | 1 | 1.748 | 0.0007429 | 0 | 0.007936 | 1 | 1 | 0 | 0.00003844 | 0.00193 | 0.0006803 | 0.02608 | 3.287 | 0.1221 | 0.0007971 | 0.00004124 | 1 | 1 | 0.001945 | 0.02554 | 0.2453 | 0.002087 | 0.02741 | 0.2632 | json |
| t18_x10_u0_b25 | 18 | 10 | 0 | 25 | ![]() |
add(P,mlt(D,div(P,D))) | 122401 | 146574853 | o2(x,o2(x,o2(x,x))) | true | 7615 | 7615 | 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_x10_u0_b26 | 18 | 10 | 0 | 26 | ![]() |
add(P,mlt(D,pow(P,D))) | 122402 | 146574854 | o2(x,o2(x,o2(x,x))) | true | 7623 | 7623 | -0.04019 | 0.4961 | 0.9598 | 0.9513 | 0.9754 | -1 | 1 | 2 | 1 | 1.444 | 0.004308 | 0 | 0.007936 | 1 | 1 | 4.734e-10 | 0.007949 | 0.008808 | 0.004244 | 0.06515 | 8.209 | 1 | 0.004529 | 0.008355 | 1 | 1 | 0.006157 | 0.03536 | 0.2732 | 0.006472 | 0.03717 | 0.2871 | json |
| t18_x10_u0_b27 | 18 | 10 | 0 | 27 | ![]() |
add(P,mlt(D,mod(P,D))) | 122403 | 146574855 | o2(x,o2(x,o2(x,x))) | true | 7631 | 7631 | -0.004019 | 0.5 | 0.9375 | 0.9242 | 0.9614 | -1 | 1 | 2 | 1 | 1.768 | 0.0008337 | 0 | 0.007937 | 1 | 1 | 1.774e-9 | 0.0003451 | 0.004382 | 0.0007712 | 0.02777 | 3.499 | 0.2105 | 0.000902 | 0.0003734 | 1 | 1 | 0.001983 | 0.02482 | 0.2348 | 0.002145 | 0.02685 | 0.254 | json |
| t18_x10_u0_b28 | 18 | 10 | 0 | 28 | ![]() |
add(P,mlt(D,lrg(P,D))) | 122404 | 146574856 | o2(x,o2(x,o2(x,x))) | true | 7639 | 7639 | -0.01788 | 0.4961 | 0.9375 | 0.9228 | 0.9606 | -1 | 1 | 2 | 1 | 1.804 | 0.00068 | 0 | 0.007936 | 1 | 1 | -6.8e-10 | 0.00003457 | 0.001748 | 0.0006173 | 0.02485 | 3.131 | 0.1105 | 0.0007369 | 0.00003746 | 1 | 1 | 0.001781 | 0.02386 | 0.2335 | 0.00193 | 0.02586 | 0.2531 | json |
| t18_x10_u0_b29 | 18 | 10 | 0 | 29 | ![]() |
add(P,mlt(D,eql(P,D))) | 122405 | 146574857 | o2(x,o2(x,o2(x,x))) | true | 7647 | 7647 | 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_x10_u0_b30 | 18 | 10 | 0 | 30 | ![]() |
add(P,mlt(D,min(P,D))) | 122406 | 146574858 | o2(x,o2(x,o2(x,x))) | true | 7655 | 7655 | 0.0005119 | 0.5039 | 0.9444 | 0.932 | 0.9654 | -1 | 1 | 2 | 1 | 1.738 | 0.0008502 | 0 | 0.008516 | 1 | 1 | -4.967e-9 | 0.00009243 | 0.002886 | 0.0007776 | 0.02789 | 3.274 | 0.1422 | 0.0009122 | 0.00009918 | 1 | 1 | 0.002194 | 0.02676 | 0.2452 | 0.002354 | 0.02871 | 0.2631 | json |
| t18_x10_u0_b31 | 18 | 10 | 0 | 31 | ![]() |
add(P,mlt(D,dot(P,D))) | 122407 | 146574859 | o2(x,o2(x,o2(x,x))) | true | 7663 | 7663 | 1.164e-10 | 0.5 | 0.9446 | 0.9318 | 0.9653 | -1 | 1 | 2 | 1 | 1.772 | 0.0008345 | 0.00003938 | 0.008768 | 0.9099 | 1 | 0 | 0.000101 | 0.002696 | 0.0007967 | 0.02823 | 3.219 | 0.1853 | 0.0009379 | 0.0001084 | 1 | 1 | 0.002193 | 0.02692 | 0.2454 | 0.002354 | 0.02889 | 0.2634 | json |
| t18_x10_u0_b32 | 18 | 10 | 0 | 32 | ![]() |
add(P,mlt(D,dst(P,D))) | 122408 | 146574860 | o2(x,o2(x,o2(x,x))) | true | 7671 | 7671 | 6.985e-10 | 0.5 | 0.9316 | 0.9093 | 0.9536 | -1 | 1 | 2 | 1 | 2.015 | 0.003335 | 0.00001456 | 0.01693 | 0.9913 | 1 | -2.295e-10 | 0.0009439 | 0.008812 | 0.003065 | 0.05536 | 3.271 | 0.5018 | 0.003683 | 0.001038 | 1 | 1 | 0.004841 | 0.03741 | 0.2147 | 0.005324 | 0.04114 | 0.2362 | json |
| t18_x10_u0_b33 | 18 | 10 | 0 | 33 | ![]() |
add(P,div(D,add(P,D))) | 122409 | 146574861 | o2(x,o2(x,o2(x,x))) | true | 7679 | 7679 | 0.02956 | 0.5234 | 0.9644 | 0.945 | 0.9721 | -1 | 1 | 2 | 1 | 1.73 | 0.001944 | 0 | 0.01247 | 1 | 1 | 5.44e-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_x10_u0_b34 | 18 | 10 | 0 | 34 | ![]() |
add(P,div(D,sub(P,D))) | 122410 | 146574862 | o2(x,o2(x,o2(x,x))) | true | 7687 | 7687 | -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_x10_u0_b35 | 18 | 10 | 0 | 35 | ![]() |
add(P,div(D,mlt(P,D))) | 122411 | 146574863 | o2(x,o2(x,o2(x,x))) | true | 7695 | 7695 | 0 | 0.5 | 1 | 1 | 1 | -1 | 1 | 2 | 1 | 1 | 0.04762 | 0 | 0.02381 | 1 | 1 | 0 | 0.09524 | 0.04762 | 0.04704 | 0.2169 | 9.109 | 2 | 0.04762 | 0.09524 | 1 | 1 | 0.06316 | 0.2526 | 0.3368 | 0.06316 | 0.2526 | 0.3368 | json |
| t18_x10_u0_b36 | 18 | 10 | 0 | 36 | ![]() |
add(P,div(D,div(P,D))) | 122412 | 146574864 | o2(x,o2(x,o2(x,x))) | true | 7703 | 7703 | 0 | 0.5 | 1 | 1 | 1 | -1 | 1 | 2 | 1 | 1 | 0.04762 | 0 | 0.02381 | 1 | 1 | 0 | 0.09524 | 0.04762 | 0.04704 | 0.2169 | 9.109 | 2 | 0.04762 | 0.09524 | 1 | 1 | 0.06316 | 0.2526 | 0.3368 | 0.06316 | 0.2526 | 0.3368 | json |
| t18_x10_u0_b37 | 18 | 10 | 0 | 37 | ![]() |
add(P,div(D,pow(P,D))) | 122413 | 146574865 | o2(x,o2(x,o2(x,x))) | true | 7711 | 7711 | -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_x10_u0_b38 | 18 | 10 | 0 | 38 | ![]() |
add(P,div(D,mod(P,D))) | 122414 | 146574866 | o2(x,o2(x,o2(x,x))) | true | 7719 | 7719 | -0.2228 | 0.3906 | 0.9803 | 0.9228 | 0.9606 | -1 | 1 | 2 | 1 | 1.37 | 0.6019 | 0 | 0.325 | 1 | 1 | 2.838e-9 | 1.665 | 0.6401 | 0.4961 | 0.7044 | 2.167 | 2 | 0.6523 | 1.805 | 1 | 1 | 0.4281 | 0.5585 | 0.4742 | 0.4639 | 0.6052 | 0.5139 | json |
| t18_x10_u0_b39 | 18 | 10 | 0 | 39 | ![]() |
add(P,div(D,lrg(P,D))) | 122415 | 146574867 | o2(x,o2(x,o2(x,x))) | true | 7727 | 7727 | -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_x10_u0_b40 | 18 | 10 | 0 | 40 | ![]() |
add(P,div(D,eql(P,D))) | 122416 | 146574868 | o2(x,o2(x,o2(x,x))) | true | 7735 | 7735 | -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_x10_u0_b41 | 18 | 10 | 0 | 41 | ![]() |
add(P,div(D,min(P,D))) | 122417 | 146574869 | o2(x,o2(x,o2(x,x))) | true | 7743 | 7743 | -0.06896 | 0.4648 | 0.9819 | 0.97 | 0.9849 | -1 | 1 | 2 | 1 | 1.373 | 0.03344 | 0 | 0.02467 | 1 | 1 | -9.461e-10 | 0.06393 | 0.03468 | 0.03283 | 0.1812 | 7.344 | 2 | 0.03447 | 0.06591 | 1 | 1 | 0.0463 | 0.1874 | 0.3061 | 0.04773 | 0.1932 | 0.3156 | json |
| t18_x10_u0_b42 | 18 | 10 | 0 | 42 | ![]() |
add(P,div(D,dot(P,D))) | 122418 | 146574870 | o2(x,o2(x,o2(x,x))) | true | 7751 | 7751 | -0.02686 | 0.4866 | 0.9468 | 0.9322 | 0.9655 | -1 | 1 | 2 | 1 | 1.779 | 0.1169 | 0.1478 | 0.138 | -0.1168 | 1 | 3.754e-10 | 1.297 | 0.2962 | 0.2458 | 0.4958 | 3.591 | 2.828 | 0.2839 | 1.392 | 1 | 1 | 0.204 | 0.2856 | 0.4149 | 0.2188 | 0.3063 | 0.4451 | json |
| t18_x10_u0_b43 | 18 | 10 | 0 | 43 | ![]() |
add(P,div(D,dst(P,D))) | 122419 | 146574871 | o2(x,o2(x,o2(x,x))) | true | 7759 | 7759 | -2.328e-10 | 0.5 | 0.9405 | 0.9241 | 0.9613 | -1 | 1 | 2 | 1 | 1.884 | 0.0006971 | 0.00003777 | 0.008128 | 0.8972 | 1 | -2.086e-10 | 0.0001947 | 0.001593 | 0.0006686 | 0.02586 | 3.181 | 1.467 | 0.0007952 | 0.0002107 | 1 | 1 | 0.001905 | 0.02413 | 0.2365 | 0.002062 | 0.02611 | 0.256 | json |
| t18_x10_u0_b44 | 18 | 10 | 0 | 44 | ![]() |
add(P,pow(D,add(P,D))) | 122420 | 146574872 | o2(x,o2(x,o2(x,x))) | true | 7767 | 7767 | -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_x10_u0_b45 | 18 | 10 | 0 | 45 | ![]() |
add(P,pow(D,sub(P,D))) | 122421 | 146574873 | o2(x,o2(x,o2(x,x))) | true | 7775 | 7775 | -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_x10_u0_b46 | 18 | 10 | 0 | 46 | ![]() |
add(P,pow(D,mlt(P,D))) | 122422 | 146574874 | o2(x,o2(x,o2(x,x))) | true | 7783 | 7783 | -0.8956 | 0.0625 | 0.9794 | 0.1679 | 0.4098 | -1 | 0.9997 | 2 | 1 | 0.5482 | 0.02106 | 0 | 0.01587 | 1 | 1 | -9.461e-10 | 0.04055 | 0.02473 | 0.02081 | 0.1442 | 9.089 | 2 | 0.1254 | 0.2415 | 1 | 1 | 0.02898 | 0.125 | 0.241 | 0.1726 | 0.7446 | 1.435 | json |
| t18_x10_u0_b47 | 18 | 10 | 0 | 47 | ![]() |
add(P,pow(D,div(P,D))) | 122423 | 146574875 | o2(x,o2(x,o2(x,x))) | true | 7791 | 7791 | -0.8834 | 0.05859 | 0.9994 | 0.2184 | 0.4674 | -1 | 1 | 2 | 1 | 0.3218 | 0.03175 | 0 | 0.01633 | 1 | 1 | -9.461e-10 | 0.06359 | 0.03221 | 0.03147 | 0.1774 | 10.86 | 2 | 0.1454 | 0.2911 | 1 | 1 | 0.04206 | 0.1668 | 0.3125 | 0.1925 | 0.7637 | 1.431 | json |
| t18_x10_u0_b48 | 18 | 10 | 0 | 48 | ![]() |
add(P,pow(D,pow(P,D))) | 122424 | 146574876 | o2(x,o2(x,o2(x,x))) | true | 7799 | 7799 | -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_x10_u0_b49 | 18 | 10 | 0 | 49 | ![]() |
add(P,pow(D,mod(P,D))) | 122425 | 146574877 | o2(x,o2(x,o2(x,x))) | true | 7807 | 7807 | -0.8266 | 0.09766 | 0.9703 | 0.2786 | 0.5278 | -1 | 1 | 2 | 1 | 0.7598 | 0.2745 | 0 | 0.1436 | 1 | 1 | 0 | 0.8346 | 0.2841 | 0.2538 | 0.5037 | 3.507 | 2 | 0.9851 | 2.995 | 1 | 1 | 0.143 | 0.2523 | 0.2369 | 0.5134 | 0.9054 | 0.8504 | json |
| t18_x10_u0_b50 | 18 | 10 | 0 | 50 | ![]() |
add(P,pow(D,lrg(P,D))) | 122426 | 146574878 | o2(x,o2(x,o2(x,x))) | true | 7815 | 7815 | -0.9688 | 0 | 0.9688 | 0.02351 | 0.1533 | -1 | -0.000291 | 0.9997 | 1 | 0.459 | 0.004319 | 0 | 0.007934 | 1 | 1 | 0 | 0.008002 | 0.008862 | 0.004255 | 0.06523 | 8.221 | 0.9997 | 0.1837 | 0.3404 | 1 | 1 | 0.00615 | 0.02664 | 0.03299 | 0.2616 | 1.133 | 1.403 | json |
| t18_x10_u0_b51 | 18 | 10 | 0 | 51 | ![]() |
add(P,pow(D,eql(P,D))) | 122427 | 146574879 | o2(x,o2(x,o2(x,x))) | true | 7823 | 7823 | 0.125 | 0.5625 | 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_x10_u0_b52 | 18 | 10 | 0 | 52 | ![]() |
add(P,pow(D,min(P,D))) | 122428 | 146574880 | o2(x,o2(x,o2(x,x))) | true | 7831 | 7831 | -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_x10_u0_b53 | 18 | 10 | 0 | 53 | ![]() |
add(P,pow(D,dot(P,D))) | 122429 | 146574881 | o2(x,o2(x,o2(x,x))) | true | 7839 | 7839 | -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_x10_u0_b54 | 18 | 10 | 0 | 54 | ![]() |
add(P,pow(D,dst(P,D))) | 122430 | 146574882 | o2(x,o2(x,o2(x,x))) | true | 7847 | 7847 | -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_x10_u0_b55 | 18 | 10 | 0 | 55 | ![]() |
add(P,mod(D,add(P,D))) | 122431 | 146574883 | o2(x,o2(x,o2(x,x))) | true | 7855 | 7855 | 0 | 0.5 | 0.9306 | 0.9117 | 0.9548 | -1 | 1 | 2 | 1 | 1.917 | 0.003754 | 0 | 0.01747 | 1 | 1 | 0 | 0.007965 | 0.02276 | 0.003449 | 0.05873 | 3.362 | 0.3846 | 0.004117 | 0.008736 | 1 | 1 | 0.004675 | 0.02087 | 0.2179 | 0.005128 | 0.02289 | 0.239 | json |
| t18_x10_u0_b56 | 18 | 10 | 0 | 56 | ![]() |
add(P,mod(D,sub(P,D))) | 122432 | 146574884 | o2(x,o2(x,o2(x,x))) | true | 7863 | 7863 | 0 | 0.4961 | 0.9261 | 0.9084 | 0.9531 | -1 | 1 | 2 | 1 | 1.911 | 0.002419 | 0 | 0.01493 | 1 | 1 | 0 | 0.00496 | 0.01885 | 0.002196 | 0.04686 | 3.138 | 0.3287 | 0.002663 | 0.00546 | 1 | 1 | 0.003128 | 0.02112 | 0.2135 | 0.003443 | 0.02325 | 0.235 | json |
| t18_x10_u0_b57 | 18 | 10 | 0 | 57 | ![]() |
add(P,mod(D,mlt(P,D))) | 122433 | 146574885 | o2(x,o2(x,o2(x,x))) | true | 7871 | 7871 | -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_x10_u0_b58 | 18 | 10 | 0 | 58 | ![]() |
add(P,mod(D,div(P,D))) | 122434 | 146574886 | o2(x,o2(x,o2(x,x))) | true | 7879 | 7879 | -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_x10_u0_b59 | 18 | 10 | 0 | 59 | ![]() |
add(P,mod(D,pow(P,D))) | 122435 | 146574887 | o2(x,o2(x,o2(x,x))) | true | 7887 | 7887 | -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_x10_u0_b60 | 18 | 10 | 0 | 60 | ![]() |
add(P,mod(D,mod(P,D))) | 122436 | 146574888 | o2(x,o2(x,o2(x,x))) | true | 7895 | 7895 | -0.25 | 0.375 | 1 | 0.9375 | 0.9682 | -1 | 1 | 2 | 1 | 0.9544 | 0.2698 | 0 | 0.1349 | 1 | 1 | 0 | 0.6667 | 0.2698 | 0.2518 | 0.5018 | 3.719 | 2 | 0.2878 | 0.7111 | 1 | 1 | 0.2105 | 0.3158 | 0.3368 | 0.2246 | 0.3368 | 0.3593 | json |
| t18_x10_u0_b61 | 18 | 10 | 0 | 61 | ![]() |
add(P,mod(D,lrg(P,D))) | 122437 | 146574889 | o2(x,o2(x,o2(x,x))) | true | 7903 | 7903 | -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_x10_u0_b62 | 18 | 10 | 0 | 62 | ![]() |
add(P,mod(D,eql(P,D))) | 122438 | 146574890 | o2(x,o2(x,o2(x,x))) | true | 7911 | 7911 | -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_x10_u0_b63 | 18 | 10 | 0 | 63 | ![]() |
add(P,mod(D,min(P,D))) | 122439 | 146574891 | o2(x,o2(x,o2(x,x))) | true | 7919 | 7919 | -0.08806 | 0.4375 | 0.963 | 0.9465 | 0.9729 | -1 | 1 | 2 | 1 | 1.455 | 0.02105 | 0 | 0.01937 | 1 | 1 | 9.461e-10 | 0.04291 | 0.03324 | 0.02067 | 0.1438 | 7.422 | 2 | 0.02224 | 0.04533 | 1 | 1 | 0.02739 | 0.1087 | 0.2752 | 0.02893 | 0.1148 | 0.2907 | json |
| t18_x10_u0_b64 | 18 | 10 | 0 | 64 | ![]() |
add(P,mod(D,dot(P,D))) | 122440 | 146574892 | o2(x,o2(x,o2(x,x))) | true | 7927 | 7927 | -0.03467 | 0.4827 | 0.9459 | 0.9275 | 0.9631 | -1 | 1 | 2 | 1 | 1.858 | 0.07665 | 0.07557 | 0.07209 | 0.007121 | 1 | 0 | 0.8443 | 0.1628 | 0.147 | 0.3835 | 5.319 | 2.828 | 0.1641 | 0.9103 | 1 | 1 | 0.09694 | 0.1283 | 0.3277 | 0.1045 | 0.1384 | 0.3533 | json |
| t18_x10_u0_b65 | 18 | 10 | 0 | 65 | ![]() |
add(P,mod(D,dst(P,D))) | 122441 | 146574893 | o2(x,o2(x,o2(x,x))) | true | 7935 | 7935 | 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_x10_u0_b66 | 18 | 10 | 0 | 66 | ![]() |
add(P,lrg(D,add(P,D))) | 122442 | 146574894 | o2(x,o2(x,o2(x,x))) | true | 7943 | 7943 | 0.0625 | 0.5 | 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_x10_u0_b67 | 18 | 10 | 0 | 67 | ![]() |
add(P,lrg(D,sub(P,D))) | 122443 | 146574895 | o2(x,o2(x,o2(x,x))) | true | 7951 | 7951 | 0.08889 | 0.5 | 0.9111 | 0.9005 | 0.949 | -1 | 1 | 2 | 1 | 1.509 | 0.005355 | 0 | 0.007937 | 1 | 1 | 4.731e-10 | 0.009968 | 0.01237 | 0.005291 | 0.07274 | 9.165 | 1 | 0.005947 | 0.01107 | 1 | 1 | 0.007595 | 0.03755 | 0.2125 | 0.008433 | 0.0417 | 0.236 | json |
| t18_x10_u0_b68 | 18 | 10 | 0 | 68 | ![]() |
add(P,lrg(D,mlt(P,D))) | 122444 | 146574896 | o2(x,o2(x,o2(x,x))) | true | 7959 | 7959 | 0.0625 | 0.5 | 0.9375 | 0.9336 | 0.9662 | -1 | 1 | 2 | 1 | 1.272 | 0.007937 | 0 | 0.007937 | 1 | 1 | 0 | 0.01587 | 0.01587 | 0.007872 | 0.08872 | 11.18 | 1 | 0.008501 | 0.017 | 1 | 1 | 0.01053 | 0.04211 | 0.2526 | 0.01128 | 0.0451 | 0.2706 | json |
| t18_x10_u0_b69 | 18 | 10 | 0 | 69 | ![]() |
add(P,lrg(D,div(P,D))) | 122445 | 146574897 | o2(x,o2(x,o2(x,x))) | true | 7967 | 7967 | 0.0625 | 0.5 | 0.9375 | 0.9336 | 0.9662 | -1 | 1 | 2 | 1 | 1.272 | 0.007937 | 0 | 0.007937 | 1 | 1 | 0 | 0.01587 | 0.01587 | 0.007872 | 0.08872 | 11.18 | 1 | 0.008501 | 0.017 | 1 | 1 | 0.01053 | 0.04211 | 0.2526 | 0.01128 | 0.0451 | 0.2706 | json |
| t18_x10_u0_b70 | 18 | 10 | 0 | 70 | ![]() |
add(P,lrg(D,pow(P,D))) | 122446 | 146574898 | o2(x,o2(x,o2(x,x))) | true | 7975 | 7975 | 0.09375 | 0.5 | 0.9063 | 0.89 | 0.9434 | -1 | 1 | 2 | 1 | 1.668 | 0.004321 | 0 | 0.007937 | 1 | 1 | 4.731e-10 | 0.007953 | 0.008864 | 0.004257 | 0.06525 | 8.221 | 1 | 0.004855 | 0.008935 | 1 | 1 | 0.006189 | 0.0332 | 0.2014 | 0.006953 | 0.0373 | 0.2263 | json |
| t18_x10_u0_b71 | 18 | 10 | 0 | 71 | ![]() |
add(P,lrg(D,mod(P,D))) | 122447 | 146574899 | o2(x,o2(x,o2(x,x))) | true | 7983 | 7983 | 0.0625 | 0.5 | 0.9375 | 0.9336 | 0.9662 | -1 | 1 | 2 | 1 | 1.272 | 0.007937 | 0 | 0.007937 | 1 | 1 | 0 | 0.01587 | 0.01587 | 0.007872 | 0.08872 | 11.18 | 1 | 0.008501 | 0.017 | 1 | 1 | 0.01053 | 0.04211 | 0.2526 | 0.01128 | 0.0451 | 0.2706 | json |
| t18_x10_u0_b72 | 18 | 10 | 0 | 72 | ![]() |
add(P,lrg(D,lrg(P,D))) | 122448 | 146574900 | o2(x,o2(x,o2(x,x))) | true | 7991 | 7991 | 0.0625 | 0.5 | 0.9375 | 0.9336 | 0.9662 | -1 | 1 | 2 | 1 | 1.272 | 0.007937 | 0 | 0.007937 | 1 | 1 | 0 | 0.01587 | 0.01587 | 0.007872 | 0.08872 | 11.18 | 1 | 0.008501 | 0.017 | 1 | 1 | 0.01053 | 0.04211 | 0.2526 | 0.01128 | 0.0451 | 0.2706 | json |
| t18_x10_u0_b73 | 18 | 10 | 0 | 73 | ![]() |
add(P,lrg(D,eql(P,D))) | 122449 | 146574901 | o2(x,o2(x,o2(x,x))) | true | 7999 | 7999 | 0.0625 | 0.5 | 0.9375 | 0.9336 | 0.9662 | -1 | 1 | 2 | 1 | 1.272 | 0.007937 | 0 | 0.007937 | 1 | 1 | 0 | 0.01587 | 0.01587 | 0.007872 | 0.08872 | 11.18 | 1 | 0.008501 | 0.017 | 1 | 1 | 0.01053 | 0.04211 | 0.2526 | 0.01128 | 0.0451 | 0.2706 | json |
| t18_x10_u0_b74 | 18 | 10 | 0 | 74 | ![]() |
add(P,lrg(D,min(P,D))) | 122450 | 146574902 | o2(x,o2(x,o2(x,x))) | true | 8007 | 8007 | 0.09375 | 0.5 | 0.9063 | 0.89 | 0.9434 | -1 | 1 | 2 | 1 | 1.668 | 0.004321 | 0 | 0.007937 | 1 | 1 | 4.731e-10 | 0.007953 | 0.008864 | 0.004257 | 0.06525 | 8.221 | 1 | 0.004855 | 0.008935 | 1 | 1 | 0.006189 | 0.0332 | 0.2014 | 0.006953 | 0.0373 | 0.2263 | json |
| t18_x10_u0_b75 | 18 | 10 | 0 | 75 | ![]() |
add(P,lrg(D,dot(P,D))) | 122451 | 146574903 | o2(x,o2(x,o2(x,x))) | true | 8015 | 8015 | 0.06617 | 0.5337 | 0.9376 | 0.9198 | 0.9591 | -1 | 1 | 2 | 1 | 1.81 | 0.003313 | 0.005421 | 0.01731 | -0.2414 | 1 | -0.00004558 | 0.02498 | 0.02242 | 0.008439 | 0.09186 | 5.306 | 1.413 | 0.009496 | 0.02715 | 1 | 1 | 0.01275 | 0.05449 | 0.2425 | 0.01386 | 0.05924 | 0.2636 | json |
| t18_x10_u0_b76 | 18 | 10 | 0 | 76 | ![]() |
add(P,lrg(D,dst(P,D))) | 122452 | 146574904 | o2(x,o2(x,o2(x,x))) | true | 8023 | 8023 | 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_x10_u0_b77 | 18 | 10 | 0 | 77 | ![]() |
add(P,eql(D,add(P,D))) | 122453 | 146574905 | o2(x,o2(x,o2(x,x))) | true | 8031 | 8031 | 0.0625 | 0.5313 | 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_x10_u0_b78 | 18 | 10 | 0 | 78 | ![]() |
add(P,eql(D,sub(P,D))) | 122454 | 146574906 | o2(x,o2(x,o2(x,x))) | true | 8039 | 8039 | 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_x10_u0_b79 | 18 | 10 | 0 | 79 | ![]() |
add(P,eql(D,mlt(P,D))) | 122455 | 146574907 | o2(x,o2(x,o2(x,x))) | true | 8047 | 8047 | 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_x10_u0_b80 | 18 | 10 | 0 | 80 | ![]() |
add(P,eql(D,div(P,D))) | 122456 | 146574908 | o2(x,o2(x,o2(x,x))) | true | 8055 | 8055 | 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_x10_u0_b81 | 18 | 10 | 0 | 81 | ![]() |
add(P,eql(D,pow(P,D))) | 122457 | 146574909 | o2(x,o2(x,o2(x,x))) | true | 8063 | 8063 | 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_x10_u0_b82 | 18 | 10 | 0 | 82 | ![]() |
add(P,eql(D,mod(P,D))) | 122458 | 146574910 | o2(x,o2(x,o2(x,x))) | true | 8071 | 8071 | 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_x10_u0_b83 | 18 | 10 | 0 | 83 | ![]() |
add(P,eql(D,lrg(P,D))) | 122459 | 146574911 | o2(x,o2(x,o2(x,x))) | true | 8079 | 8079 | 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_x10_u0_b84 | 18 | 10 | 0 | 84 | ![]() |
add(P,eql(D,eql(P,D))) | 122460 | 146574912 | o2(x,o2(x,o2(x,x))) | true | 8087 | 8087 | 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_x10_u0_b85 | 18 | 10 | 0 | 85 | ![]() |
add(P,eql(D,min(P,D))) | 122461 | 146574913 | o2(x,o2(x,o2(x,x))) | true | 8095 | 8095 | 0.04098 | 0.5313 | 0.959 | 0.9453 | 0.9723 | -1 | 1 | 2 | 1 | 1.571 | 0.006022 | 0 | 0.01586 | 1 | 1 | 0 | 0.008334 | 0.01158 | 0.005766 | 0.07594 | 4.787 | 0.9988 | 0.006371 | 0.008816 | 1 | 1 | 0.01045 | 0.06016 | 0.2663 | 0.01105 | 0.06364 | 0.2817 | json |
| t18_x10_u0_b86 | 18 | 10 | 0 | 86 | ![]() |
add(P,eql(D,dot(P,D))) | 122462 | 146574914 | o2(x,o2(x,o2(x,x))) | true | 8103 | 8103 | 0.001894 | 0.5004 | 0.9383 | 0.925 | 0.9618 | -1 | 1 | 2 | 1 | 1.807 | 0.002639 | 0.001922 | 0.0116 | 0.1572 | 1 | 1.408e-10 | 0.02153 | 0.01156 | 0.004426 | 0.06653 | 5.735 | 1.414 | 0.004931 | 0.02328 | 1 | 1 | 0.00477 | 0.02763 | 0.2381 | 0.005157 | 0.02987 | 0.2574 | json |
| t18_x10_u0_b87 | 18 | 10 | 0 | 87 | ![]() |
add(P,eql(D,dst(P,D))) | 122463 | 146574915 | o2(x,o2(x,o2(x,x))) | true | 8111 | 8111 | 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_x10_u0_b88 | 18 | 10 | 0 | 88 | ![]() |
add(P,min(D,add(P,D))) | 122464 | 146574916 | o2(x,o2(x,o2(x,x))) | true | 8119 | 8119 | -0.01268 | 0.5 | 0.9502 | 0.9354 | 0.9672 | -1 | 1 | 2 | 1 | 1.752 | 0.0007607 | 0 | 0.007937 | 1 | 1 | 4.731e-10 | 0.00007712 | 0.001395 | 0.0006981 | 0.02642 | 3.329 | 0.1758 | 0.0008132 | 0.00008244 | 1 | 1 | 0.001967 | 0.02579 | 0.2491 | 0.002103 | 0.02757 | 0.2663 | json |
| t18_x10_u0_b89 | 18 | 10 | 0 | 89 | ![]() |
add(P,min(D,sub(P,D))) | 122465 | 146574917 | o2(x,o2(x,o2(x,x))) | true | 8127 | 8127 | -0.03458 | 0.4688 | 0.9445 | 0.9318 | 0.9653 | -1 | 1 | 2 | 1 | 1.623 | 0.001313 | 0 | 0.009299 | 1 | 1 | -2.365e-10 | 0.0002315 | 0.003686 | 0.001226 | 0.03501 | 3.765 | 0.2448 | 0.001409 | 0.0002484 | 1 | 1 | 0.003328 | 0.03247 | 0.2463 | 0.003572 | 0.03484 | 0.2643 | json |
| t18_x10_u0_b90 | 18 | 10 | 0 | 90 | ![]() |
add(P,min(D,mlt(P,D))) | 122466 | 146574918 | o2(x,o2(x,o2(x,x))) | true | 8135 | 8135 | -0.02274 | 0.4961 | 0.9424 | 0.9299 | 0.9643 | -1 | 1 | 2 | 1 | 1.674 | 0.0008483 | 0 | 0.007937 | 1 | 1 | 5.322e-10 | 0.00007752 | 0.002129 | 0.0007859 | 0.02803 | 3.532 | 0.1585 | 0.0009122 | 0.00008336 | 1 | 1 | 0.002199 | 0.02678 | 0.2433 | 0.002365 | 0.0288 | 0.2616 | json |
| t18_x10_u0_b91 | 18 | 10 | 0 | 91 | ![]() |
add(P,min(D,div(P,D))) | 122467 | 146574919 | o2(x,o2(x,o2(x,x))) | true | 8143 | 8143 | -0.5308 | 0.2188 | 0.9372 | 0.6411 | 0.8007 | -1 | 1 | 2 | 1 | 1.496 | 0.1837 | 0 | 0.119 | 1 | 1 | -1.892e-9 | 0.333 | 0.1963 | 0.1696 | 0.4118 | 3.459 | 2 | 0.2865 | 0.5194 | 1 | 1 | 0.1938 | 0.8631 | 0.1277 | 0.3023 | 1.346 | 0.1992 | json |
| t18_x10_u0_b92 | 18 | 10 | 0 | 92 | ![]() |
add(P,min(D,pow(P,D))) | 122468 | 146574920 | o2(x,o2(x,o2(x,x))) | true | 8151 | 8151 | -0.008939 | 0.4961 | 0.9286 | 0.9109 | 0.9544 | -1 | 1 | 2 | 1 | 1.934 | 0.0005803 | 0 | 0.007936 | 1 | 1 | 3.548e-10 | 0.00003271 | 0.001368 | 0.0005173 | 0.02274 | 2.866 | 0.1105 | 0.000637 | 0.0000359 | 1 | 1 | 0.001518 | 0.02079 | 0.217 | 0.001666 | 0.02282 | 0.2382 | json |
| t18_x10_u0_b93 | 18 | 10 | 0 | 93 | ![]() |
add(P,min(D,mod(P,D))) | 122469 | 146574921 | o2(x,o2(x,o2(x,x))) | true | 8159 | 8159 | -0.02091 | 0.4961 | 0.9405 | 0.9275 | 0.9631 | -1 | 1 | 2 | 1 | 1.739 | 0.0009554 | 0 | 0.00859 | 1 | 1 | 8.278e-10 | 0.0006396 | 0.004227 | 0.0008813 | 0.02969 | 3.456 | 0.1758 | 0.00103 | 0.0006896 | 1 | 1 | 0.00211 | 0.02583 | 0.2398 | 0.002275 | 0.02785 | 0.2586 | json |
| t18_x10_u0_b94 | 18 | 10 | 0 | 94 | ![]() |
add(P,min(D,lrg(P,D))) | 122470 | 146574922 | o2(x,o2(x,o2(x,x))) | true | 8167 | 8167 | -0.01788 | 0.4961 | 0.9375 | 0.9228 | 0.9606 | -1 | 1 | 2 | 1 | 1.804 | 0.00068 | 0 | 0.007936 | 1 | 1 | -6.8e-10 | 0.00003457 | 0.001748 | 0.0006173 | 0.02485 | 3.131 | 0.1105 | 0.0007369 | 0.00003746 | 1 | 1 | 0.001781 | 0.02386 | 0.2335 | 0.00193 | 0.02586 | 0.2531 | json |
| t18_x10_u0_b95 | 18 | 10 | 0 | 95 | ![]() |
add(P,min(D,eql(P,D))) | 122471 | 146574923 | o2(x,o2(x,o2(x,x))) | true | 8175 | 8175 | -0.01788 | 0.4961 | 0.9375 | 0.9228 | 0.9606 | -1 | 1 | 2 | 1 | 1.804 | 0.00068 | 0 | 0.007936 | 1 | 1 | -6.8e-10 | 0.00003457 | 0.001748 | 0.0006173 | 0.02485 | 3.131 | 0.1105 | 0.0007369 | 0.00003746 | 1 | 1 | 0.001781 | 0.02386 | 0.2335 | 0.00193 | 0.02586 | 0.2531 | json |
| t18_x10_u0_b96 | 18 | 10 | 0 | 96 | ![]() |
add(P,min(D,min(P,D))) | 122472 | 146574924 | o2(x,o2(x,o2(x,x))) | true | 8183 | 8183 | -0.02404 | 0.4961 | 0.9436 | 0.9318 | 0.9653 | -1 | 1 | 2 | 1 | 1.674 | 0.0009535 | 0 | 0.007936 | 1 | 1 | -2.364e-10 | 0.0001439 | 0.002555 | 0.0008912 | 0.02985 | 3.762 | 0.2122 | 0.001023 | 0.0001544 | 1 | 1 | 0.002434 | 0.02771 | 0.2459 | 0.002612 | 0.02974 | 0.2639 | json |
| t18_x10_u0_b97 | 18 | 10 | 0 | 97 | ![]() |
add(P,min(D,dot(P,D))) | 122473 | 146574925 | o2(x,o2(x,o2(x,x))) | true | 8191 | 8191 | -0.09155 | 0.4541 | 0.9391 | 0.9111 | 0.9545 | -1 | 1 | 2 | 1 | 1.934 | 0.0006512 | 0.00423 | 0.02175 | -0.7332 | 1 | 0.0004555 | 0.001802 | 0.01146 | 0.004408 | 0.06639 | 3.053 | 0.4798 | 0.005357 | 0.001978 | 1 | 1 | 0.00796 | 0.05843 | 0.2377 | 0.008737 | 0.06413 | 0.2609 | json |
| t18_x10_u0_b98 | 18 | 10 | 0 | 98 | ![]() |
add(P,min(D,dst(P,D))) | 122474 | 146574926 | o2(x,o2(x,o2(x,x))) | true | 8199 | 8199 | 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_x10_u0_b99 | 18 | 10 | 0 | 99 | ![]() |
add(P,dot(D,add(P,D))) | 122475 | 146574927 | o2(x,o2(x,o2(x,x))) | true | 8207 | 8207 | -0.001907 | 0.4995 | 0.9367 | 0.9162 | 0.9572 | -1 | 1 | 2 | 1 | 1.987 | 0.0008076 | 0.004032 | 0.02209 | -0.6662 | 1 | 0.0003446 | 0.00171 | 0.01184 | 0.004352 | 0.06597 | 2.986 | 0.4571 | 0.005282 | 0.001866 | 1 | 1 | 0.007739 | 0.0584 | 0.2277 | 0.008447 | 0.06374 | 0.2485 | json |
| t18_x10_u0_b100 | 18 | 10 | 0 | 100 | ![]() |
add(P,dot(D,sub(P,D))) | 122476 | 146574928 | o2(x,o2(x,o2(x,x))) | true | 8215 | 8215 | -0.0618 | 0.469 | 0.9368 | 0.9119 | 0.9549 | -1 | 1 | 2 | 1 | 1.985 | 0.001175 | 0.004502 | 0.02458 | -0.5861 | 1 | 0.0003577 | 0.002064 | 0.01326 | 0.005076 | 0.07124 | 2.898 | 0.4723 | 0.006225 | 0.002263 | 1 | 1 | 0.009967 | 0.07371 | 0.227 | 0.01093 | 0.08083 | 0.2489 | json |
| t18_x10_u0_b101 | 18 | 10 | 0 | 101 | ![]() |
add(P,dot(D,mlt(P,D))) | 122477 | 146574929 | o2(x,o2(x,o2(x,x))) | true | 8223 | 8223 | 2.328e-10 | 0.5 | 0.9441 | 0.9266 | 0.9626 | -1 | 1 | 2 | 1 | 1.885 | 0.000801 | 0.002898 | 0.01812 | -0.5669 | 1 | -1.211e-10 | 0.001181 | 0.008797 | 0.003373 | 0.05807 | 3.205 | 0.4155 | 0.003993 | 0.001274 | 1 | 1 | 0.00605 | 0.04891 | 0.2447 | 0.00653 | 0.05279 | 0.2641 | json |
| t18_x10_u0_b102 | 18 | 10 | 0 | 102 | ![]() |
add(P,dot(D,div(P,D))) | 122478 | 146574930 | o2(x,o2(x,o2(x,x))) | true | 8231 | 8231 | -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_x10_u0_b103 | 18 | 10 | 0 | 103 | ![]() |
add(P,dot(D,pow(P,D))) | 122479 | 146574931 | o2(x,o2(x,o2(x,x))) | true | 8239 | 8239 | -0.5166 | 0.2467 | 0.9839 | 0.7128 | 0.8442 | -1 | 1 | 2 | 1 | 1.045 | 0.002795 | 0.007528 | 0.008574 | -0.4584 | 1 | -0.00001501 | 0.02024 | 0.01289 | 0.01024 | 0.1012 | 11.8 | 2 | 0.01448 | 0.0284 | 1 | 1 | 0.01346 | 0.059 | 0.2927 | 0.01889 | 0.08278 | 0.4107 | json |
| t18_x10_u0_b104 | 18 | 10 | 0 | 104 | ![]() |
add(P,dot(D,mod(P,D))) | 122480 | 146574932 | o2(x,o2(x,o2(x,x))) | true | 8247 | 8247 | -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_x10_u0_b105 | 18 | 10 | 0 | 105 | ![]() |
add(P,dot(D,lrg(P,D))) | 122481 | 146574933 | o2(x,o2(x,o2(x,x))) | true | 8255 | 8255 | -0.01935 | 0.4915 | 0.9379 | 0.9218 | 0.9601 | -1 | 1 | 2 | 1 | 1.875 | 0.0006803 | 0.0001076 | 0.008907 | 0.7269 | 1 | 0.00001746 | 0.00007613 | 0.002315 | 0.0007089 | 0.02663 | 2.989 | 0.1268 | 0.0008547 | 0.00008258 | 1 | 1 | 0.002058 | 0.0256 | 0.2331 | 0.002233 | 0.02777 | 0.2529 | json |
| t18_x10_u0_b106 | 18 | 10 | 0 | 106 | ![]() |
add(P,dot(D,eql(P,D))) | 122482 | 146574934 | o2(x,o2(x,o2(x,x))) | true | 8263 | 8263 | 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_x10_u0_b107 | 18 | 10 | 0 | 107 | ![]() |
add(P,dot(D,min(P,D))) | 122483 | 146574935 | o2(x,o2(x,o2(x,x))) | true | 8271 | 8271 | -0.0006933 | 0.5029 | 0.9435 | 0.9261 | 0.9623 | -1 | 1 | 2 | 1 | 1.894 | 0.0008896 | 0.001921 | 0.01549 | -0.3669 | 1 | 0.0001425 | 0.0009215 | 0.00743 | 0.002572 | 0.05072 | 3.275 | 0.4561 | 0.003035 | 0.000995 | 1 | 1 | 0.004976 | 0.04125 | 0.2396 | 0.005373 | 0.04455 | 0.2587 | json |
| t18_x10_u0_b108 | 18 | 10 | 0 | 108 | ![]() |
add(P,dot(D,dot(P,D))) | 122484 | 146574936 | o2(x,o2(x,o2(x,x))) | true | 8279 | 8279 | 1.048e-9 | 0.5 | 0.9441 | 0.9265 | 0.9626 | -1 | 1 | 2 | 1 | 1.882 | 0.0008882 | 0.002924 | 0.01848 | -0.5341 | 1 | -5.087e-10 | 0.001233 | 0.009143 | 0.003471 | 0.05891 | 3.188 | 0.429 | 0.004115 | 0.001331 | 1 | 1 | 0.006287 | 0.05002 | 0.2447 | 0.006786 | 0.05398 | 0.2641 | json |
| t18_x10_u0_b109 | 18 | 10 | 0 | 109 | ![]() |
add(P,dot(D,dst(P,D))) | 122485 | 146574937 | o2(x,o2(x,o2(x,x))) | true | 8287 | 8287 | 2.095e-9 | 0.5 | 0.9311 | 0.9092 | 0.9535 | -1 | 1 | 2 | 1 | 2.046 | 0.00353 | 0.004933 | 0.03033 | -0.1658 | 1 | 2.788e-10 | 0.004024 | 0.01732 | 0.00754 | 0.08683 | 2.863 | 0.6276 | 0.009308 | 0.004425 | 1 | 1 | 0.01285 | 0.08633 | 0.2215 | 0.01413 | 0.09495 | 0.2437 | json |
| t18_x10_u0_b110 | 18 | 10 | 0 | 110 | ![]() |
add(P,dst(D,add(P,D))) | 122486 | 146574938 | o2(x,o2(x,o2(x,x))) | true | 8295 | 8295 | 0.885 | 0.9968 | 0.885 | 0.07625 | 0.2761 | 0.00001812 | 1 | 1 | 1 | 1.305 | 0.00005943 | 0.0001798 | 0.004703 | -0.5033 | 1 | -0.000002319 | 0.00003737 | 0.001341 | 0.0002171 | 0.01473 | 3.133 | 0.2282 | 0.003138 | 0.0004901 | 1 | 1 | 0.0007094 | 0.0084 | 0.06467 | 0.009305 | 0.1102 | 0.8481 | json |
| t18_x10_u0_b111 | 18 | 10 | 0 | 111 | ![]() |
add(P,dst(D,sub(P,D))) | 122487 | 146574939 | o2(x,o2(x,o2(x,x))) | true | 8303 | 8303 | 0.9071 | 0.9816 | 0.9114 | 0.06142 | 0.2478 | -0.2904 | 1 | 1.29 | 1 | 1.266 | 0.0008993 | 0.0006172 | 0.01466 | 0.1861 | 1 | -0.000138 | 0.000366 | 0.006116 | 0.001301 | 0.03607 | 2.461 | 0.2997 | 0.02469 | 0.005958 | 1 | 1 | 0.003583 | 0.02629 | 0.04573 | 0.05833 | 0.428 | 0.7445 | json |
| t18_x10_u0_b112 | 18 | 10 | 0 | 112 | ![]() |
add(P,dst(D,mlt(P,D))) | 122488 | 146574940 | o2(x,o2(x,o2(x,x))) | true | 8311 | 8311 | 0.1912 | 0.5953 | 0.9189 | 0.8545 | 0.9244 | -1 | 1 | 2 | 1 | 2.167 | 0.00215 | 0.00884 | 0.03716 | -0.6087 | 1 | -0.0006144 | 0.005181 | 0.02223 | 0.009607 | 0.09801 | 2.638 | 0.7174 | 0.01286 | 0.006063 | 1 | 1 | 0.01718 | 0.1004 | 0.2159 | 0.02011 | 0.1175 | 0.2527 | json |
| t18_x10_u0_b113 | 18 | 10 | 0 | 113 | ![]() |
add(P,dst(D,div(P,D))) | 122489 | 146574941 | o2(x,o2(x,o2(x,x))) | true | 8319 | 8319 | -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_x10_u0_b114 | 18 | 10 | 0 | 114 | ![]() |
add(P,dst(D,pow(P,D))) | 122490 | 146574942 | o2(x,o2(x,o2(x,x))) | true | 8327 | 8327 | -0.5 | 0.25 | 1 | 0.75 | 0.866 | -1 | 1 | 2 | 1 | 0.8113 | 0.007937 | 0.007937 | 0.007937 | 0 | 1 | 0 | 0.03187 | 0.01587 | 0.01581 | 0.1257 | 15.84 | 2 | 0.02116 | 0.0425 | 1 | 1 | 0.02105 | 0.08421 | 0.3368 | 0.02807 | 0.1123 | 0.4491 | json |
| t18_x10_u0_b115 | 18 | 10 | 0 | 115 | ![]() |
add(P,dst(D,mod(P,D))) | 122491 | 146574943 | o2(x,o2(x,o2(x,x))) | true | 8335 | 8335 | -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_x10_u0_b116 | 18 | 10 | 0 | 116 | ![]() |
add(P,dst(D,lrg(P,D))) | 122492 | 146574944 | o2(x,o2(x,o2(x,x))) | true | 8343 | 8343 | 0.113 | 0.5549 | 0.9521 | 0.9235 | 0.961 | -1 | 1 | 2 | 1 | 1.784 | 0.002451 | 0.0004427 | 0.01306 | 0.6941 | 1 | -0.00003414 | 0.002952 | 0.007727 | 0.002722 | 0.05217 | 3.995 | 0.9869 | 0.003134 | 0.003197 | 1 | 1 | 0.005905 | 0.04372 | 0.2551 | 0.006395 | 0.04735 | 0.2763 | json |
| t18_x10_u0_b117 | 18 | 10 | 0 | 117 | ![]() |
add(P,dst(D,eql(P,D))) | 122493 | 146574945 | o2(x,o2(x,o2(x,x))) | true | 8351 | 8351 | 0.1387 | 0.5771 | 0.9375 | 0.9037 | 0.9507 | -1 | 1 | 2 | 1 | 1.847 | 0.0007342 | 0.00003201 | 0.008478 | 0.9164 | 1 | -0.00001358 | 0.00005516 | 0.002269 | 0.0006946 | 0.02636 | 3.109 | 0.1248 | 0.0008478 | 0.00006103 | 1 | 1 | 0.001998 | 0.02502 | 0.2327 | 0.00221 | 0.02768 | 0.2575 | json |
| t18_x10_u0_b118 | 18 | 10 | 0 | 118 | ![]() |
add(P,dst(D,min(P,D))) | 122494 | 146574946 | o2(x,o2(x,o2(x,x))) | true | 8359 | 8359 | 0.6909 | 0.8833 | 0.712 | 0.1956 | 0.4422 | -0.1454 | 1 | 1.145 | 1 | 2.21 | 0.0006876 | 0.0001672 | 0.01539 | 0.6088 | 1 | -0.0001157 | 0.0001255 | 0.00561 | 0.0006177 | 0.02485 | 1.615 | 0.1648 | 0.004371 | 0.0006415 | 1 | 1 | 0.001929 | 0.01756 | 0.06651 | 0.009864 | 0.08979 | 0.3401 | json |
| t18_x10_u0_b119 | 18 | 10 | 0 | 119 | ![]() |
add(P,dst(D,dot(P,D))) | 122495 | 146574947 | o2(x,o2(x,o2(x,x))) | true | 8367 | 8367 | 0.3433 | 0.6634 | 0.8864 | 0.7315 | 0.8553 | -1 | 1 | 2 | 1 | 2.403 | 0.01285 | 0.02457 | 0.08164 | -0.3132 | 1 | -0.001108 | 0.03163 | 0.07134 | 0.03077 | 0.1754 | 2.149 | 1.247 | 0.05116 | 0.04324 | 1 | 1 | 0.05483 | 0.2497 | 0.2144 | 0.07496 | 0.3413 | 0.2931 | json |
| t18_x10_u0_b120 | 18 | 10 | 0 | 120 | ![]() |
add(P,dst(D,dst(P,D))) | 122496 | 146574948 | o2(x,o2(x,o2(x,x))) | true | 8375 | 8375 | 0.9993 | 1 | 0.9993 | 0.0003478 | 0.01865 | 0.05045 | 1 | 0.9496 | 1 | 0.02856 | 0.00003857 | 0.0000392 | 0.0004212 | -0.008082 | 0 | -4.13e-11 | 0.00004803 | 0.0003319 | 0.00007751 | 0.008804 | 20.9 | 0.3396 | 0.2236 | 0.1381 | 1 | 1 | 0.0002424 | 0.001247 | 0.001266 | 0.6971 | 3.585 | 3.639 | json |
| t18_x10_u0_b121 | 18 | 10 | 0 | 121 | ![]() |
sub(P,add(D,add(P,D))) | 122497 | 146574949 | o2(x,o2(x,o2(x,x))) | true | 8383 | 8383 | 0 | 0.5 | 0.1887 | 0.04329 | 0.2081 | -0.2908 | 0.2908 | 0.5817 | 1 | 2.906 | 0.00653 | 0 | 0.07219 | 1 | 1 | 0 | 0.001025 | 0.02918 | 0.001321 | 0.03635 | 0.5036 | 0.1238 | 0.1508 | 0.02368 | 1 | 1 | 0.0126 | 0.08733 | 0 | 0.2912 | 2.017 | 0 | json |
| t18_x10_u0_b122 | 18 | 10 | 0 | 122 | ![]() |
sub(P,add(D,sub(P,D))) | 122498 | 146574950 | o2(x,o2(x,o2(x,x))) | true | 8391 | 8391 | 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_x10_u0_b123 | 18 | 10 | 0 | 123 | ![]() |
sub(P,add(D,mlt(P,D))) | 122499 | 146574951 | o2(x,o2(x,o2(x,x))) | true | 8399 | 8399 | 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 |



































































































