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 | ||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| t19_x26_u6_b105 | 19 | 26 | 6 | 105 | ![]() |
dot(R,lrg(nrm(R),R)) | 159500 | 155343156 | o2(x,o2(o1(x),x)) | true | 156007 | 156007 | -0.1762 | 0.419 | 0.5241 | 0.3596 | 0.5996 | -1 | 1 | 2 | 1 | 4.681 | 0.004083 | 0.005632 | 0.0733 | -0.1594 | 1 | 0.00006018 | 0.00114 | 0.01951 | 0.004342 | 0.0659 | 0.899 | 0.3675 | 0.02702 | 0.003171 | 1 | 1 | 0.01819 | 0.2179 | 0.6465 | 0.05059 | 0.6059 | 1.798 | json |
| t19_x26_u6_b106 | 19 | 26 | 6 | 106 | ![]() |
dot(R,eql(nrm(R),R)) | 159501 | 155343157 | o2(x,o2(o1(x),x)) | true | 156015 | 156015 | 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 |
| t19_x26_u6_b107 | 19 | 26 | 6 | 107 | ![]() |
dot(R,min(nrm(R),R)) | 159502 | 155343158 | o2(x,o2(o1(x),x)) | true | 156023 | 156023 | 0.8731 | 1 | 0.8731 | 0.034 | 0.1844 | 0.01024 | 1 | 0.9898 | 1 | 2.359 | 0.0005451 | 0.0007331 | 0.02055 | -0.1471 | 1 | -0.00003123 | 0.0002661 | 0.00751 | 0.000856 | 0.02926 | 1.424 | 0.1702 | 0.03759 | 0.007827 | 1 | 1 | 0.002285 | 0.02499 | 0.05455 | 0.06721 | 0.735 | 1.604 | json |
| t19_x26_u6_b108 | 19 | 26 | 6 | 108 | ![]() |
dot(R,dot(nrm(R),R)) | 159503 | 155343159 | o2(x,o2(o1(x),x)) | true | 156031 | 156031 | 0.03096 | 0.5252 | 0.5321 | 0.4029 | 0.6348 | -1 | 1 | 2 | 1 | 4.688 | 0.006508 | 0.007238 | 0.0812 | -0.05309 | 1 | 0.000071 | 0.002711 | 0.02524 | 0.007152 | 0.08457 | 1.041 | 0.5582 | 0.03412 | 0.006729 | 1 | 1 | 0.02897 | 0.3155 | 0.789 | 0.07189 | 0.783 | 1.958 | json |
| t19_x26_u6_b109 | 19 | 26 | 6 | 109 | ![]() |
dot(R,dst(nrm(R),R)) | 159504 | 155343160 | o2(x,o2(o1(x),x)) | true | 156039 | 156039 | 0.01017 | 0.5124 | 0.1269 | 0.03086 | 0.1757 | -0.8096 | 0.8361 | 1.646 | 1 | 3.46 | 0.0004483 | 0.0004588 | 0.02294 | -0.01161 | 1 | -0.000001335 | 0.00005344 | 0.005218 | 0.000381 | 0.01952 | 0.8509 | 0.1534 | 0.0294 | 0.001732 | 1 | 1 | 0.001847 | 0.0236 | 0.06308 | 0.05985 | 0.7648 | 2.044 | json |
| t19_x26_u6_b110 | 19 | 26 | 6 | 110 | ![]() |
dst(R,add(nrm(R),R)) | 159505 | 155343161 | o2(x,o2(o1(x),x)) | true | 156047 | 156047 | 1 | 1 | 1 | 2.395e-15 | 4.894e-8 | 1 | 1 | 1.192e-7 | 1 | 0 | 1.41e-16 | 1.384e-16 | 4.632e-9 | 0.000002573 | 0 | 1.005e-8 | 2.868e-15 | 1.203e-8 | 2.579e-16 | 1.606e-8 | 3.467 | 8.429e-8 | 0.0002794 | 0.002868 | 0 | 1 | 2.937e-16 | 1.315e-15 | 2.984e-15 | 0.0002937 | 0.001315 | 0.002984 | json |
| t19_x26_u6_b111 | 19 | 26 | 6 | 111 | ![]() |
dst(R,sub(nrm(R),R)) | 159506 | 155343162 | o2(x,o2(o1(x),x)) | true | 156055 | 156055 | 0.82 | 1 | 0.82 | 0.06284 | 0.2507 | 0.004074 | 1 | 0.9959 | 1 | 2.658 | 0.00111 | 0.001296 | 0.02902 | -0.07742 | 1 | -0.000033 | 0.0004894 | 0.0104 | 0.001563 | 0.03954 | 1.362 | 0.2219 | 0.03829 | 0.007789 | 1 | 1 | 0.004409 | 0.04823 | 0.1046 | 0.07017 | 0.7676 | 1.664 | json |
| t19_x26_u6_b112 | 19 | 26 | 6 | 112 | ![]() |
dst(R,mlt(nrm(R),R)) | 159507 | 155343163 | o2(x,o2(o1(x),x)) | true | 156063 | 156063 | 0.8451 | 1 | 0.8451 | 0.05051 | 0.2247 | 0.04063 | 1 | 0.9594 | 1 | 2.409 | 0.0009718 | 0.001128 | 0.02576 | -0.07439 | 1 | -0.00007444 | 0.0005298 | 0.01034 | 0.001437 | 0.0379 | 1.472 | 0.2234 | 0.04157 | 0.01049 | 1 | 1 | 0.003925 | 0.03988 | 0.08673 | 0.07772 | 0.7895 | 1.717 | json |
| t19_x26_u6_b113 | 19 | 26 | 6 | 113 | ![]() |
dst(R,div(nrm(R),R)) | 159508 | 155343164 | o2(x,o2(o1(x),x)) | true | 156071 | 156071 | 0.987 | 1 | 0.987 | 0.005959 | 0.07719 | 0.02769 | 1 | 0.9723 | 1 | 0.3507 | 0.0002538 | 0.0003572 | 0.004638 | -0.1691 | 1 | -7.37e-7 | 0.0002929 | 0.003208 | 0.0005897 | 0.02428 | 5.236 | 0.3043 | 0.1025 | 0.04916 | 1 | 1 | 0.001656 | 0.01282 | 0.01631 | 0.2779 | 2.151 | 2.737 | json |
| t19_x26_u6_b114 | 19 | 26 | 6 | 114 | ![]() |
dst(R,pow(nrm(R),R)) | 159509 | 155343165 | o2(x,o2(o1(x),x)) | true | 156079 | 156079 | -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 |
| t19_x26_u6_b115 | 19 | 26 | 6 | 115 | ![]() |
dst(R,mod(nrm(R),R)) | 159510 | 155343166 | o2(x,o2(o1(x),x)) | true | 156087 | 156087 | 0.3536 | 1 | 0.3536 | 0.04624 | 0.215 | 0.004142 | 0.9948 | 0.9906 | 1 | 3.666 | 0.0005386 | 0.0006972 | 0.02757 | -0.1284 | 1 | 0.00001653 | 0.00007308 | 0.006345 | 0.0004757 | 0.02181 | 0.7911 | 0.1109 | 0.02672 | 0.00158 | 1 | 1 | 0.002541 | 0.03278 | 0.1004 | 0.05494 | 0.7089 | 2.171 | json |
| t19_x26_u6_b116 | 19 | 26 | 6 | 116 | ![]() |
dst(R,lrg(nrm(R),R)) | 159511 | 155343167 | o2(x,o2(o1(x),x)) | true | 156095 | 156095 | 0.9649 | 1 | 0.9649 | 0.008623 | 0.09286 | 0.241 | 1 | 0.759 | 1 | 1.023 | 0.0002475 | 0.0003324 | 0.008619 | -0.1464 | 1 | -0.00005504 | 0.0002437 | 0.004949 | 0.0005057 | 0.02249 | 2.609 | 0.2121 | 0.06725 | 0.02826 | 1 | 1 | 0.0009795 | 0.00848 | 0.01571 | 0.1136 | 0.9834 | 1.822 | json |
| t19_x26_u6_b117 | 19 | 26 | 6 | 117 | ![]() |
dst(R,eql(nrm(R),R)) | 159512 | 155343168 | o2(x,o2(o1(x),x)) | true | 156103 | 156103 | 0.897 | 1 | 0.897 | 0.02252 | 0.1501 | 0.09951 | 1 | 0.9005 | 1 | 2.181 | 0.0003411 | 0.0004606 | 0.01666 | -0.149 | 1 | -0.00001961 | 0.000143 | 0.005703 | 0.0005243 | 0.0229 | 1.374 | 0.1266 | 0.0356 | 0.006351 | 1 | 1 | 0.001342 | 0.015 | 0.03485 | 0.05959 | 0.666 | 1.547 | json |
| t19_x26_u6_b118 | 19 | 26 | 6 | 118 | ![]() |
dst(R,min(nrm(R),R)) | 159513 | 155343169 | o2(x,o2(o1(x),x)) | true | 156111 | 156111 | 0.1531 | 0.9974 | 0.1531 | 0.01164 | 0.1079 | 1.562e-8 | 0.7601 | 0.7601 | 1 | 2.618 | 0.00017 | 0.0001953 | 0.01483 | -0.06941 | 1 | 0.00000184 | 0.00002146 | 0.003416 | 0.0001455 | 0.01206 | 0.8134 | 0.0833 | 0.03137 | 0.001843 | 1 | 1 | 0.0006053 | 0.007753 | 0.01896 | 0.05198 | 0.6658 | 1.628 | json |
| t19_x26_u6_b119 | 19 | 26 | 6 | 119 | ![]() |
dst(R,dot(nrm(R),R)) | 159514 | 155343170 | o2(x,o2(o1(x),x)) | true | 156119 | 156119 | 0.9893 | 1 | 0.9893 | 0.003449 | 0.05872 | 0.0779 | 1 | 0.9221 | 1 | 0.3861 | 0.0001248 | 0.0001797 | 0.003527 | -0.1801 | 1 | -0.000007624 | 0.0001428 | 0.002396 | 0.0002923 | 0.0171 | 4.848 | 0.2638 | 0.0883 | 0.04141 | 1 | 1 | 0.0004031 | 0.003163 | 0.005536 | 0.1169 | 0.9173 | 1.605 | json |
| t19_x26_u6_b120 | 19 | 26 | 6 | 120 | ![]() |
dst(R,dst(nrm(R),R)) | 159515 | 155343171 | o2(x,o2(o1(x),x)) | true | 156127 | 156127 | 0.9577 | 1 | 0.9577 | 0.008125 | 0.09014 | 0.1585 | 1 | 0.8415 | 1 | 1.252 | 0.0001719 | 0.0001898 | 0.008545 | -0.04952 | 1 | -0.00002438 | 0.00008894 | 0.003543 | 0.0002887 | 0.01699 | 1.988 | 0.1637 | 0.04451 | 0.01095 | 1 | 1 | 0.0006051 | 0.006311 | 0.01418 | 0.07448 | 0.7768 | 1.746 | json |
| t20_x0_u0_b0 | 20 | 0 | 0 | 0 | ![]() |
add(P,add(add(P,P),P)) | 159516 | 162412020 | o2(x,o2(o2(x,x),x)) | true | 156135 | 156135 | 0 | 0.5 | 0.968 | 0.9627 | 0.9812 | -1 | 1 | 2 | 1 | 1.379 | 0.001886 | 0 | 0.007937 | 1 | 1 | 0 | 0.0007715 | 0.005465 | 0.001822 | 0.04269 | 5.379 | 0.3455 | 0.001959 | 0.0008015 | 1 | 1 | 0.004491 | 0.03815 | 0.2866 | 0.004665 | 0.03963 | 0.2977 | json |
| t20_x0_u0_b1 | 20 | 0 | 0 | 1 | ![]() |
add(P,add(sub(P,P),P)) | 159517 | 162412021 | o2(x,o2(o2(x,x),x)) | true | 156143 | 156143 | 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 |
| t20_x0_u0_b2 | 20 | 0 | 0 | 2 | ![]() |
add(P,add(mlt(P,P),P)) | 159518 | 162412022 | o2(x,o2(o2(x,x),x)) | true | 156151 | 156151 | 0.7766 | 0.875 | 0.9016 | 0.2791 | 0.5283 | -0.9997 | 1 | 2 | 1 | 1.339 | 0.00248 | 0 | 0.01587 | 1 | 1 | 0 | 0.0008529 | 0.00673 | 0.002228 | 0.04721 | 2.974 | 0.3082 | 0.008886 | 0.003056 | 1 | 1 | 0.006012 | 0.0595 | 0.3923 | 0.02154 | 0.2132 | 1.406 | json |
| t20_x0_u0_b3 | 20 | 0 | 0 | 3 | ![]() |
add(P,add(div(P,P),P)) | 159519 | 162412023 | o2(x,o2(o2(x,x),x)) | true | 156159 | 156159 | -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 |
| t20_x0_u0_b4 | 20 | 0 | 0 | 4 | ![]() |
add(P,add(pow(P,P),P)) | 159520 | 162412024 | o2(x,o2(o2(x,x),x)) | true | 156167 | 156167 | 0 | 0.5 | 1 | 1 | 1 | -1 | 1 | 2 | 1 | 1 | 0.01587 | 0 | 0.007937 | 1 | 1 | 0 | 0.03175 | 0.01587 | 0.01581 | 0.1257 | 15.84 | 2 | 0.01587 | 0.03175 | 1 | 1 | 0.02105 | 0.08421 | 0.3368 | 0.02105 | 0.08421 | 0.3368 | json |
| t20_x0_u0_b5 | 20 | 0 | 0 | 5 | ![]() |
add(P,add(mod(P,P),P)) | 159521 | 162412025 | o2(x,o2(o2(x,x),x)) | true | 156175 | 156175 | -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 |
| t20_x0_u0_b6 | 20 | 0 | 0 | 6 | ![]() |
add(P,add(lrg(P,P),P)) | 159522 | 162412026 | o2(x,o2(o2(x,x),x)) | true | 156183 | 156183 | 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 |
| t20_x0_u0_b7 | 20 | 0 | 0 | 7 | ![]() |
add(P,add(eql(P,P),P)) | 159523 | 162412027 | o2(x,o2(o2(x,x),x)) | true | 156191 | 156191 | 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 |
| t20_x0_u0_b8 | 20 | 0 | 0 | 8 | ![]() |
add(P,add(min(P,P),P)) | 159524 | 162412028 | o2(x,o2(o2(x,x),x)) | true | 156199 | 156199 | 0 | 0.5 | 0.9641 | 0.9583 | 0.9789 | -1 | 1 | 2 | 1 | 1.379 | 0.001774 | 0 | 0.007937 | 1 | 1 | 0 | 0.0008204 | 0.004879 | 0.001711 | 0.04136 | 5.211 | 0.3082 | 0.001851 | 0.0008561 | 1 | 1 | 0.004162 | 0.03603 | 0.2806 | 0.004343 | 0.0376 | 0.2928 | json |
| t20_x0_u0_b9 | 20 | 0 | 0 | 9 | ![]() |
add(P,add(dot(P,P),P)) | 159525 | 162412029 | o2(x,o2(o2(x,x),x)) | true | 156207 | 156207 | 0.9804 | 0.9917 | 0.9871 | 0.02241 | 0.1497 | -0.9994 | 1 | 1.999 | 1 | 0.2604 | 0.0002093 | 0.0002093 | 0.002881 | -0.000001599 | 1 | 2.515e-10 | 0.0001231 | 0.001093 | 0.0004101 | 0.02025 | 7.029 | 0.3091 | 0.01868 | 0.005493 | 1 | 1 | 0.001383 | 0.01509 | 0.07651 | 0.06169 | 0.6734 | 3.414 | json |
| t20_x0_u0_b10 | 20 | 0 | 0 | 10 | ![]() |
add(P,add(dst(P,P),P)) | 159526 | 162412030 | o2(x,o2(o2(x,x),x)) | true | 156215 | 156215 | 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 |
| t20_x0_u0_b11 | 20 | 0 | 0 | 11 | ![]() |
add(P,sub(add(P,P),P)) | 159527 | 162412031 | o2(x,o2(o2(x,x),x)) | true | 156223 | 156223 | 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 |
| t20_x0_u0_b12 | 20 | 0 | 0 | 12 | ![]() |
add(P,sub(sub(P,P),P)) | 159528 | 162412032 | o2(x,o2(o2(x,x),x)) | true | 156231 | 156231 | 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 |
| t20_x0_u0_b13 | 20 | 0 | 0 | 13 | ![]() |
add(P,sub(mlt(P,P),P)) | 159529 | 162412033 | o2(x,o2(o2(x,x),x)) | true | 156239 | 156239 | 0.9375 | 1 | 0.9375 | 0.04507 | 0.2123 | 0.000291 | 1 | 0.9997 | 1 | 0.8126 | 0.0007059 | 0 | 0.007934 | 1 | 1 | -9.461e-10 | 0.00003241 | 0.001855 | 0.0006433 | 0.02536 | 3.197 | 0.1169 | 0.01566 | 0.0007193 | 1 | 1 | 0.001851 | 0.02408 | 0.06598 | 0.04107 | 0.5344 | 1.464 | json |
| t20_x0_u0_b14 | 20 | 0 | 0 | 14 | ![]() |
add(P,sub(div(P,P),P)) | 159530 | 162412034 | o2(x,o2(o2(x,x),x)) | true | 156247 | 156247 | 0.75 | 0.875 | 1 | 0.4375 | 0.6614 | -1 | 1 | 2 | 1 | 0.5436 | 0.03175 | 0 | 0.01587 | 1 | 1 | 7.569e-9 | 0.06349 | 0.03175 | 0.03149 | 0.1774 | 11.18 | 2 | 0.07256 | 0.1451 | 1 | 1 | 0.04211 | 0.1684 | 0.6737 | 0.09624 | 0.385 | 1.54 | json |
| t20_x0_u0_b15 | 20 | 0 | 0 | 15 | ![]() |
add(P,sub(pow(P,P),P)) | 159531 | 162412035 | o2(x,o2(o2(x,x),x)) | true | 156255 | 156255 | 0 | 0.5 | 1 | 1 | 1 | -1 | 1 | 2 | 1 | 1 | 0.01587 | 0 | 0.007937 | 1 | 1 | 0 | 0.03175 | 0.01587 | 0.01581 | 0.1257 | 15.84 | 2 | 0.01587 | 0.03175 | 1 | 1 | 0.02105 | 0.08421 | 0.3368 | 0.02105 | 0.08421 | 0.3368 | json |
| t20_x0_u0_b16 | 20 | 0 | 0 | 16 | ![]() |
add(P,sub(mod(P,P),P)) | 159532 | 162412036 | o2(x,o2(o2(x,x),x)) | true | 156263 | 156263 | -0.125 | 0.3125 | 0.6255 | 0.5899 | 0.768 | -1 | 1 | 2 | 1 | 2.418 | 0.01617 | 0 | 0.03866 | 1 | 1 | 0 | 0.02037 | 0.03799 | 0.01467 | 0.1211 | 3.133 | 1 | 0.02741 | 0.03454 | 1 | 1 | 0.02392 | 0.1466 | 0.4242 | 0.04055 | 0.2485 | 0.7191 | json |
| t20_x0_u0_b17 | 20 | 0 | 0 | 17 | ![]() |
add(P,sub(lrg(P,P),P)) | 159533 | 162412037 | o2(x,o2(o2(x,x),x)) | true | 156271 | 156271 | 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 |
| t20_x0_u0_b18 | 20 | 0 | 0 | 18 | ![]() |
add(P,sub(eql(P,P),P)) | 159534 | 162412038 | o2(x,o2(o2(x,x),x)) | true | 156279 | 156279 | 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 |
| t20_x0_u0_b19 | 20 | 0 | 0 | 19 | ![]() |
add(P,sub(min(P,P),P)) | 159535 | 162412039 | o2(x,o2(o2(x,x),x)) | true | 156287 | 156287 | 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 |
| t20_x0_u0_b20 | 20 | 0 | 0 | 20 | ![]() |
add(P,sub(dot(P,P),P)) | 159536 | 162412040 | o2(x,o2(o2(x,x),x)) | true | 156295 | 156295 | 0.9967 | 1 | 0.9967 | 0.002206 | 0.04697 | 0.0005821 | 1 | 0.9994 | 1 | 0.08493 | 0.00004482 | 0.00004482 | 0.0007972 | -5.682e-7 | 0 | -1.502e-11 | 0.00002627 | 0.0002729 | 0.00008892 | 0.00943 | 11.83 | 0.1653 | 0.04063 | 0.01191 | 1 | 1 | 0.0003021 | 0.00348 | 0.008043 | 0.1369 | 1.578 | 3.646 | json |
| t20_x0_u0_b21 | 20 | 0 | 0 | 21 | ![]() |
add(P,sub(dst(P,P),P)) | 159537 | 162412041 | o2(x,o2(o2(x,x),x)) | true | 156303 | 156303 | 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 |
| t20_x0_u0_b22 | 20 | 0 | 0 | 22 | ![]() |
add(P,mlt(add(P,P),P)) | 159538 | 162412042 | o2(x,o2(o2(x,x),x)) | true | 156311 | 156311 | 0.9508 | 1 | 0.9508 | 0.03707 | 0.1925 | 0.000291 | 1 | 0.9997 | 1 | 0.628 | 0.00124 | 0 | 0.007934 | 1 | 1 | -9.461e-10 | 0.0004266 | 0.003374 | 0.001177 | 0.03431 | 4.325 | 0.3082 | 0.03344 | 0.01151 | 1 | 1 | 0.003006 | 0.02863 | 0.05319 | 0.08108 | 0.7722 | 1.435 | json |
| t20_x0_u0_b23 | 20 | 0 | 0 | 23 | ![]() |
add(P,mlt(sub(P,P),P)) | 159539 | 162412043 | o2(x,o2(o2(x,x),x)) | true | 156319 | 156319 | 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 |
| t20_x0_u0_b24 | 20 | 0 | 0 | 24 | ![]() |
add(P,mlt(mlt(P,P),P)) | 159540 | 162412044 | o2(x,o2(o2(x,x),x)) | true | 156327 | 156327 | 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 |
| t20_x0_u0_b25 | 20 | 0 | 0 | 25 | ![]() |
add(P,mlt(div(P,P),P)) | 159541 | 162412045 | o2(x,o2(o2(x,x),x)) | true | 156335 | 156335 | -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 |
| t20_x0_u0_b26 | 20 | 0 | 0 | 26 | ![]() |
add(P,mlt(pow(P,P),P)) | 159542 | 162412046 | o2(x,o2(o2(x,x),x)) | true | 156343 | 156343 | -0.02152 | 0.5 | 0.9785 | 0.9739 | 0.9869 | -1 | 1 | 2 | 1 | 1.244 | 0.004625 | 0 | 0.007937 | 1 | 1 | -4.731e-10 | 0.007971 | 0.009631 | 0.00456 | 0.06753 | 8.509 | 1.001 | 0.004749 | 0.008185 | 1 | 1 | 0.006981 | 0.05009 | 0.3027 | 0.007168 | 0.05143 | 0.3108 | json |
| t20_x0_u0_b27 | 20 | 0 | 0 | 27 | ![]() |
add(P,mlt(mod(P,P),P)) | 159543 | 162412047 | o2(x,o2(o2(x,x),x)) | true | 156351 | 156351 | 0.3247 | 0.6602 | 0.9882 | 0.8789 | 0.9375 | -1 | 1 | 2 | 1 | 1.116 | 0.05176 | 0 | 0.03968 | 1 | 1 | 0 | 0.08035 | 0.05622 | 0.05015 | 0.2239 | 5.643 | 2 | 0.05889 | 0.09142 | 1 | 1 | 0.06296 | 0.3154 | 0.7401 | 0.07163 | 0.3588 | 0.8421 | json |
| t20_x0_u0_b28 | 20 | 0 | 0 | 28 | ![]() |
add(P,mlt(lrg(P,P),P)) | 159544 | 162412048 | o2(x,o2(o2(x,x),x)) | true | 156359 | 156359 | 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 |
| t20_x0_u0_b29 | 20 | 0 | 0 | 29 | ![]() |
add(P,mlt(eql(P,P),P)) | 159545 | 162412049 | o2(x,o2(o2(x,x),x)) | true | 156367 | 156367 | 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 |
| t20_x0_u0_b30 | 20 | 0 | 0 | 30 | ![]() |
add(P,mlt(min(P,P),P)) | 159546 | 162412050 | o2(x,o2(o2(x,x),x)) | true | 156375 | 156375 | 0.8944 | 0.9375 | 0.8944 | 0.08685 | 0.2947 | 0 | 1 | 1 | 1 | 0.7463 | 0.001303 | 0 | 0.007937 | 1 | 1 | -1.892e-9 | 0.0002682 | 0.003596 | 0.001241 | 0.03522 | 4.438 | 0.2265 | 0.01501 | 0.003088 | 1 | 1 | 0.003279 | 0.03186 | 0.132 | 0.03776 | 0.3669 | 1.52 | json |
| t20_x0_u0_b31 | 20 | 0 | 0 | 31 | ![]() |
add(P,mlt(dot(P,P),P)) | 159547 | 162412051 | o2(x,o2(o2(x,x),x)) | true | 156383 | 156383 | 0 | 0.5 | 0.9786 | 0.9753 | 0.9875 | -1 | 1 | 2 | 1 | 1.283 | 0.003132 | 0.000006612 | 0.007955 | 0.9958 | 1 | 0 | 0.002888 | 0.007911 | 0.003073 | 0.05544 | 6.969 | 0.7551 | 0.003218 | 0.002961 | 1 | 1 | 0.005885 | 0.04907 | 0.301 | 0.006034 | 0.05032 | 0.3087 | json |
| t20_x0_u0_b32 | 20 | 0 | 0 | 32 | ![]() |
add(P,mlt(dst(P,P),P)) | 159548 | 162412052 | o2(x,o2(o2(x,x),x)) | true | 156391 | 156391 | 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 |
| t20_x0_u0_b33 | 20 | 0 | 0 | 33 | ![]() |
add(P,div(add(P,P),P)) | 159549 | 162412053 | o2(x,o2(o2(x,x),x)) | true | 156399 | 156399 | 0 | 0.5 | 0.9375 | 0.924 | 0.9612 | -1 | 1 | 2 | 1 | 1.813 | 0.03245 | 0 | 0.02381 | 1 | 1 | -4.731e-10 | 0.06362 | 0.03359 | 0.0319 | 0.1786 | 7.502 | 2 | 0.03512 | 0.06886 | 1 | 1 | 0.04388 | 0.1798 | 0.5713 | 0.04749 | 0.1946 | 0.6182 | json |
| t20_x0_u0_b34 | 20 | 0 | 0 | 34 | ![]() |
add(P,div(sub(P,P),P)) | 159550 | 162412054 | o2(x,o2(o2(x,x),x)) | true | 156407 | 156407 | 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 |
| t20_x0_u0_b35 | 20 | 0 | 0 | 35 | ![]() |
add(P,div(mlt(P,P),P)) | 159551 | 162412055 | o2(x,o2(o2(x,x),x)) | true | 156415 | 156415 | -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 |
| t20_x0_u0_b36 | 20 | 0 | 0 | 36 | ![]() |
add(P,div(div(P,P),P)) | 159552 | 162412056 | o2(x,o2(o2(x,x),x)) | true | 156423 | 156423 | -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 |
| t20_x0_u0_b37 | 20 | 0 | 0 | 37 | ![]() |
add(P,div(pow(P,P),P)) | 159553 | 162412057 | o2(x,o2(o2(x,x),x)) | true | 156431 | 156431 | -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 |
| t20_x0_u0_b38 | 20 | 0 | 0 | 38 | ![]() |
add(P,div(mod(P,P),P)) | 159554 | 162412058 | o2(x,o2(o2(x,x),x)) | true | 156439 | 156439 | -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 |
| t20_x0_u0_b39 | 20 | 0 | 0 | 39 | ![]() |
add(P,div(lrg(P,P),P)) | 159555 | 162412059 | o2(x,o2(o2(x,x),x)) | true | 156447 | 156447 | -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 |
| t20_x0_u0_b40 | 20 | 0 | 0 | 40 | ![]() |
add(P,div(eql(P,P),P)) | 159556 | 162412060 | o2(x,o2(o2(x,x),x)) | true | 156455 | 156455 | 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 |
| t20_x0_u0_b41 | 20 | 0 | 0 | 41 | ![]() |
add(P,div(min(P,P),P)) | 159557 | 162412061 | o2(x,o2(o2(x,x),x)) | true | 156463 | 156463 | -0.09375 | 0.4375 | 0.9688 | 0.9525 | 0.976 | -1 | 1 | 2 | 1 | 1.404 | 0.02019 | 0 | 0.01587 | 1 | 1 | 0 | 0.03975 | 0.02473 | 0.01993 | 0.1412 | 8.896 | 2 | 0.0212 | 0.04173 | 1 | 1 | 0.0272 | 0.1109 | 0.3698 | 0.02856 | 0.1164 | 0.3883 | json |
| t20_x0_u0_b42 | 20 | 0 | 0 | 42 | ![]() |
add(P,div(dot(P,P),P)) | 159558 | 162412062 | o2(x,o2(o2(x,x),x)) | true | 156471 | 156471 | -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 |
| t20_x0_u0_b43 | 20 | 0 | 0 | 43 | ![]() |
add(P,div(dst(P,P),P)) | 159559 | 162412063 | o2(x,o2(o2(x,x),x)) | true | 156479 | 156479 | 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 |
| t20_x0_u0_b44 | 20 | 0 | 0 | 44 | ![]() |
add(P,pow(add(P,P),P)) | 159560 | 162412064 | o2(x,o2(o2(x,x),x)) | true | 156487 | 156487 | 0 | 0.5 | 1 | 1 | 1 | -1 | 1 | 2 | 1 | 1 | 0.01587 | 0 | 0.007937 | 1 | 1 | 0 | 0.03175 | 0.01587 | 0.01581 | 0.1257 | 15.84 | 2 | 0.01587 | 0.03175 | 1 | 1 | 0.02105 | 0.08421 | 0.3368 | 0.02105 | 0.08421 | 0.3368 | json |
| t20_x0_u0_b45 | 20 | 0 | 0 | 45 | ![]() |
add(P,pow(sub(P,P),P)) | 159561 | 162412065 | o2(x,o2(o2(x,x),x)) | true | 156495 | 156495 | 0 | 0.5 | 1 | 1 | 1 | -1 | 1 | 2 | 1 | 1 | 0.01587 | 0 | 0.007937 | 1 | 1 | 0 | 0.03175 | 0.01587 | 0.01581 | 0.1257 | 15.84 | 2 | 0.01587 | 0.03175 | 1 | 1 | 0.02105 | 0.08421 | 0.3368 | 0.02105 | 0.08421 | 0.3368 | json |
| t20_x0_u0_b46 | 20 | 0 | 0 | 46 | ![]() |
add(P,pow(mlt(P,P),P)) | 159562 | 162412066 | o2(x,o2(o2(x,x),x)) | true | 156503 | 156503 | 0.1156 | 0.5625 | 0.9469 | 0.9228 | 0.9606 | -1 | 1 | 2 | 1 | 1.642 | 0.0009964 | 0 | 0.007937 | 1 | 1 | -9.46e-10 | 0.0001515 | 0.002663 | 0.0009342 | 0.03056 | 3.851 | 0.2194 | 0.00108 | 0.0001641 | 1 | 1 | 0.002543 | 0.02839 | 0.251 | 0.002755 | 0.03076 | 0.272 | json |
| t20_x0_u0_b47 | 20 | 0 | 0 | 47 | ![]() |
add(P,pow(div(P,P),P)) | 159563 | 162412067 | o2(x,o2(o2(x,x),x)) | true | 156511 | 156511 | 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 |
| t20_x0_u0_b48 | 20 | 0 | 0 | 48 | ![]() |
add(P,pow(pow(P,P),P)) | 159564 | 162412068 | o2(x,o2(o2(x,x),x)) | true | 156519 | 156519 | -0.125 | 0.4375 | 1 | 0.9844 | 0.9922 | -1 | 1 | 2 | 1 | 0.9887 | 0.03175 | 0 | 0.01587 | 1 | 1 | 0 | 0.06349 | 0.03175 | 0.03149 | 0.1774 | 11.18 | 2 | 0.03225 | 0.0645 | 1 | 1 | 0.02105 | 0.08421 | 0.4947 | 0.02139 | 0.08555 | 0.5026 | json |
| t20_x0_u0_b49 | 20 | 0 | 0 | 49 | ![]() |
add(P,pow(mod(P,P),P)) | 159565 | 162412069 | o2(x,o2(o2(x,x),x)) | true | 156527 | 156527 | 0 | 0.5 | 1 | 1 | 1 | -1 | 1 | 2 | 1 | 1 | 0.01587 | 0 | 0.007937 | 1 | 1 | 0 | 0.03175 | 0.01587 | 0.01581 | 0.1257 | 15.84 | 2 | 0.01587 | 0.03175 | 1 | 1 | 0.02105 | 0.08421 | 0.3368 | 0.02105 | 0.08421 | 0.3368 | json |
| t20_x0_u0_b50 | 20 | 0 | 0 | 50 | ![]() |
add(P,pow(lrg(P,P),P)) | 159566 | 162412070 | o2(x,o2(o2(x,x),x)) | true | 156535 | 156535 | 0 | 0.5 | 1 | 1 | 1 | -1 | 1 | 2 | 1 | 1 | 0.01587 | 0 | 0.007937 | 1 | 1 | 0 | 0.03175 | 0.01587 | 0.01581 | 0.1257 | 15.84 | 2 | 0.01587 | 0.03175 | 1 | 1 | 0.02105 | 0.08421 | 0.3368 | 0.02105 | 0.08421 | 0.3368 | json |
| t20_x0_u0_b51 | 20 | 0 | 0 | 51 | ![]() |
add(P,pow(eql(P,P),P)) | 159567 | 162412071 | o2(x,o2(o2(x,x),x)) | true | 156543 | 156543 | 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 |
| t20_x0_u0_b52 | 20 | 0 | 0 | 52 | ![]() |
add(P,pow(min(P,P),P)) | 159568 | 162412072 | o2(x,o2(o2(x,x),x)) | true | 156551 | 156551 | 0 | 0.5 | 1 | 1 | 1 | -1 | 1 | 2 | 1 | 1 | 0.01587 | 0 | 0.007937 | 1 | 1 | 0 | 0.03175 | 0.01587 | 0.01581 | 0.1257 | 15.84 | 2 | 0.01587 | 0.03175 | 1 | 1 | 0.02105 | 0.08421 | 0.3368 | 0.02105 | 0.08421 | 0.3368 | json |
| t20_x0_u0_b53 | 20 | 0 | 0 | 53 | ![]() |
add(P,pow(dot(P,P),P)) | 159569 | 162412073 | o2(x,o2(o2(x,x),x)) | true | 156559 | 156559 | 0.07127 | 0.5334 | 0.9742 | 0.9596 | 0.9796 | -1 | 1 | 2 | 1 | 1.504 | 0.00126 | 0.00001165 | 0.00806 | 0.9817 | 1 | -3.269e-8 | 0.0000804 | 0.002162 | 0.001208 | 0.03475 | 4.311 | 0.232 | 0.001326 | 0.00008378 | 1 | 1 | 0.003222 | 0.04159 | 0.2887 | 0.003358 | 0.04334 | 0.3008 | json |
| t20_x0_u0_b54 | 20 | 0 | 0 | 54 | ![]() |
add(P,pow(dst(P,P),P)) | 159570 | 162412074 | o2(x,o2(o2(x,x),x)) | true | 156567 | 156567 | 0 | 0.5 | 1 | 1 | 1 | -1 | 1 | 2 | 1 | 1 | 0.01587 | 0 | 0.007937 | 1 | 1 | 0 | 0.03175 | 0.01587 | 0.01581 | 0.1257 | 15.84 | 2 | 0.01587 | 0.03175 | 1 | 1 | 0.02105 | 0.08421 | 0.3368 | 0.02105 | 0.08421 | 0.3368 | json |
| t20_x0_u0_b55 | 20 | 0 | 0 | 55 | ![]() |
add(P,mod(add(P,P),P)) | 159571 | 162412075 | o2(x,o2(o2(x,x),x)) | true | 156575 | 156575 | -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 |
| t20_x0_u0_b56 | 20 | 0 | 0 | 56 | ![]() |
add(P,mod(sub(P,P),P)) | 159572 | 162412076 | o2(x,o2(o2(x,x),x)) | true | 156583 | 156583 | 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 |
| t20_x0_u0_b57 | 20 | 0 | 0 | 57 | ![]() |
add(P,mod(mlt(P,P),P)) | 159573 | 162412077 | o2(x,o2(o2(x,x),x)) | true | 156591 | 156591 | 0.001861 | 0.4375 | 0.8731 | 0.8624 | 0.9287 | -1 | 1 | 2 | 1 | 1.883 | 0.01981 | 0 | 0.02381 | 1 | 1 | 0 | 0.03364 | 0.02631 | 0.01925 | 0.1387 | 5.828 | 2 | 0.02297 | 0.039 | 1 | 1 | 0.02731 | 0.1217 | 0.3844 | 0.03167 | 0.1411 | 0.4457 | json |
| t20_x0_u0_b58 | 20 | 0 | 0 | 58 | ![]() |
add(P,mod(div(P,P),P)) | 159574 | 162412078 | o2(x,o2(o2(x,x),x)) | true | 156599 | 156599 | -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 |
| t20_x0_u0_b59 | 20 | 0 | 0 | 59 | ![]() |
add(P,mod(pow(P,P),P)) | 159575 | 162412079 | o2(x,o2(o2(x,x),x)) | true | 156607 | 156607 | -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 |
| t20_x0_u0_b60 | 20 | 0 | 0 | 60 | ![]() |
add(P,mod(mod(P,P),P)) | 159576 | 162412080 | o2(x,o2(o2(x,x),x)) | true | 156615 | 156615 | -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 |
| t20_x0_u0_b61 | 20 | 0 | 0 | 61 | ![]() |
add(P,mod(lrg(P,P),P)) | 159577 | 162412081 | o2(x,o2(o2(x,x),x)) | true | 156623 | 156623 | -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 |
| t20_x0_u0_b62 | 20 | 0 | 0 | 62 | ![]() |
add(P,mod(eql(P,P),P)) | 159578 | 162412082 | o2(x,o2(o2(x,x),x)) | true | 156631 | 156631 | -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 |
| t20_x0_u0_b63 | 20 | 0 | 0 | 63 | ![]() |
add(P,mod(min(P,P),P)) | 159579 | 162412083 | o2(x,o2(o2(x,x),x)) | true | 156639 | 156639 | -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 |
| t20_x0_u0_b64 | 20 | 0 | 0 | 64 | ![]() |
add(P,mod(dot(P,P),P)) | 159580 | 162412084 | o2(x,o2(o2(x,x),x)) | true | 156647 | 156647 | -0.111 | 0.4375 | 0.986 | 0.9695 | 0.9846 | -1 | 1 | 2 | 1 | 1.229 | 0.01643 | 0.0006476 | 0.01324 | 0.9242 | 1 | 1.164e-10 | 0.03242 | 0.01965 | 0.01691 | 0.13 | 9.824 | 2 | 0.01762 | 0.03344 | 1 | 1 | 0.02262 | 0.09643 | 0.3547 | 0.02333 | 0.09947 | 0.3659 | json |
| t20_x0_u0_b65 | 20 | 0 | 0 | 65 | ![]() |
add(P,mod(dst(P,P),P)) | 159581 | 162412085 | o2(x,o2(o2(x,x),x)) | true | 156655 | 156655 | 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 |
| t20_x0_u0_b66 | 20 | 0 | 0 | 66 | ![]() |
add(P,lrg(add(P,P),P)) | 159582 | 162412086 | o2(x,o2(o2(x,x),x)) | true | 156663 | 156663 | 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 |
| t20_x0_u0_b67 | 20 | 0 | 0 | 67 | ![]() |
add(P,lrg(sub(P,P),P)) | 159583 | 162412087 | o2(x,o2(o2(x,x),x)) | true | 156671 | 156671 | 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 |
| t20_x0_u0_b68 | 20 | 0 | 0 | 68 | ![]() |
add(P,lrg(mlt(P,P),P)) | 159584 | 162412088 | o2(x,o2(o2(x,x),x)) | true | 156679 | 156679 | 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 |
| t20_x0_u0_b69 | 20 | 0 | 0 | 69 | ![]() |
add(P,lrg(div(P,P),P)) | 159585 | 162412089 | o2(x,o2(o2(x,x),x)) | true | 156687 | 156687 | 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 |
| t20_x0_u0_b70 | 20 | 0 | 0 | 70 | ![]() |
add(P,lrg(pow(P,P),P)) | 159586 | 162412090 | o2(x,o2(o2(x,x),x)) | true | 156695 | 156695 | 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 |
| t20_x0_u0_b71 | 20 | 0 | 0 | 71 | ![]() |
add(P,lrg(mod(P,P),P)) | 159587 | 162412091 | o2(x,o2(o2(x,x),x)) | true | 156703 | 156703 | 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 |
| t20_x0_u0_b72 | 20 | 0 | 0 | 72 | ![]() |
add(P,lrg(lrg(P,P),P)) | 159588 | 162412092 | o2(x,o2(o2(x,x),x)) | true | 156711 | 156711 | 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 |
| t20_x0_u0_b73 | 20 | 0 | 0 | 73 | ![]() |
add(P,lrg(eql(P,P),P)) | 159589 | 162412093 | o2(x,o2(o2(x,x),x)) | true | 156719 | 156719 | 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 |
| t20_x0_u0_b74 | 20 | 0 | 0 | 74 | ![]() |
add(P,lrg(min(P,P),P)) | 159590 | 162412094 | o2(x,o2(o2(x,x),x)) | true | 156727 | 156727 | 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 |
| t20_x0_u0_b75 | 20 | 0 | 0 | 75 | ![]() |
add(P,lrg(dot(P,P),P)) | 159591 | 162412095 | o2(x,o2(o2(x,x),x)) | true | 156735 | 156735 | 0.1214 | 0.5621 | 0.9339 | 0.9055 | 0.9516 | -1 | 1 | 2 | 1 | 1.836 | 0.000701 | 0.00003997 | 0.008253 | 0.8921 | 1 | 6.523e-11 | 0.00004554 | 0.001972 | 0.0006731 | 0.02594 | 3.144 | 0.1653 | 0.0008183 | 0.00005029 | 1 | 1 | 0.001968 | 0.02579 | 0.2317 | 0.002174 | 0.02848 | 0.2558 | json |
| t20_x0_u0_b76 | 20 | 0 | 0 | 76 | ![]() |
add(P,lrg(dst(P,P),P)) | 159592 | 162412096 | o2(x,o2(o2(x,x),x)) | true | 156743 | 156743 | 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 |
| t20_x0_u0_b77 | 20 | 0 | 0 | 77 | ![]() |
add(P,eql(add(P,P),P)) | 159593 | 162412097 | o2(x,o2(o2(x,x),x)) | true | 156751 | 156751 | 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 |
| t20_x0_u0_b78 | 20 | 0 | 0 | 78 | ![]() |
add(P,eql(sub(P,P),P)) | 159594 | 162412098 | o2(x,o2(o2(x,x),x)) | true | 156759 | 156759 | 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 |
| t20_x0_u0_b79 | 20 | 0 | 0 | 79 | ![]() |
add(P,eql(mlt(P,P),P)) | 159595 | 162412099 | o2(x,o2(o2(x,x),x)) | true | 156767 | 156767 | 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 |
| t20_x0_u0_b80 | 20 | 0 | 0 | 80 | ![]() |
add(P,eql(div(P,P),P)) | 159596 | 162412100 | o2(x,o2(o2(x,x),x)) | true | 156775 | 156775 | 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 |
| t20_x0_u0_b81 | 20 | 0 | 0 | 81 | ![]() |
add(P,eql(pow(P,P),P)) | 159597 | 162412101 | o2(x,o2(o2(x,x),x)) | true | 156783 | 156783 | 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 |
| t20_x0_u0_b82 | 20 | 0 | 0 | 82 | ![]() |
add(P,eql(mod(P,P),P)) | 159598 | 162412102 | o2(x,o2(o2(x,x),x)) | true | 156791 | 156791 | 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 |
| t20_x0_u0_b83 | 20 | 0 | 0 | 83 | ![]() |
add(P,eql(lrg(P,P),P)) | 159599 | 162412103 | o2(x,o2(o2(x,x),x)) | true | 156799 | 156799 | 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 |



































































































