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 | ||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| t20_x0_u0_b84 | 20 | 0 | 0 | 84 | ![]() |
add(P,eql(eql(P,P),P)) | 159600 | 162412104 | o2(x,o2(o2(x,x),x)) | true | 156807 | 156807 | 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_b85 | 20 | 0 | 0 | 85 | ![]() |
add(P,eql(min(P,P),P)) | 159601 | 162412105 | o2(x,o2(o2(x,x),x)) | true | 156815 | 156815 | 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_b86 | 20 | 0 | 0 | 86 | ![]() |
add(P,eql(dot(P,P),P)) | 159602 | 162412106 | o2(x,o2(o2(x,x),x)) | true | 156823 | 156823 | 0.004188 | 0.5027 | 0.9403 | 0.9268 | 0.9627 | -1 | 1 | 2 | 1 | 1.803 | 0.0007458 | 0.00003997 | 0.008196 | 0.8983 | 1 | 5.561e-11 | 0.00004759 | 0.001936 | 0.0007189 | 0.02681 | 3.271 | 0.2338 | 0.0008478 | 0.00005135 | 1 | 1 | 0.002124 | 0.02786 | 0.2443 | 0.002292 | 0.03006 | 0.2636 | json |
| t20_x0_u0_b87 | 20 | 0 | 0 | 87 | ![]() |
add(P,eql(dst(P,P),P)) | 159603 | 162412107 | o2(x,o2(o2(x,x),x)) | true | 156831 | 156831 | 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_b88 | 20 | 0 | 0 | 88 | ![]() |
add(P,min(add(P,P),P)) | 159604 | 162412108 | o2(x,o2(o2(x,x),x)) | true | 156839 | 156839 | -0.003595 | 0.5 | 0.9605 | 0.9538 | 0.9766 | -1 | 1 | 2 | 1 | 1.433 | 0.001539 | 0 | 0.007937 | 1 | 1 | -4.731e-10 | 0.0005443 | 0.004233 | 0.001476 | 0.03841 | 4.84 | 0.3082 | 0.001613 | 0.0005706 | 1 | 1 | 0.003721 | 0.03425 | 0.2746 | 0.003901 | 0.03591 | 0.2879 | json |
| t20_x0_u0_b89 | 20 | 0 | 0 | 89 | ![]() |
add(P,min(sub(P,P),P)) | 159605 | 162412109 | o2(x,o2(o2(x,x),x)) | true | 156847 | 156847 | -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_b90 | 20 | 0 | 0 | 90 | ![]() |
add(P,min(mlt(P,P),P)) | 159606 | 162412110 | o2(x,o2(o2(x,x),x)) | true | 156855 | 156855 | 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_b91 | 20 | 0 | 0 | 91 | ![]() |
add(P,min(div(P,P),P)) | 159607 | 162412111 | o2(x,o2(o2(x,x),x)) | true | 156863 | 156863 | 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_b92 | 20 | 0 | 0 | 92 | ![]() |
add(P,min(pow(P,P),P)) | 159608 | 162412112 | o2(x,o2(o2(x,x),x)) | true | 156871 | 156871 | 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_b93 | 20 | 0 | 0 | 93 | ![]() |
add(P,min(mod(P,P),P)) | 159609 | 162412113 | o2(x,o2(o2(x,x),x)) | true | 156879 | 156879 | -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_b94 | 20 | 0 | 0 | 94 | ![]() |
add(P,min(lrg(P,P),P)) | 159610 | 162412114 | o2(x,o2(o2(x,x),x)) | true | 156887 | 156887 | -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_b95 | 20 | 0 | 0 | 95 | ![]() |
add(P,min(eql(P,P),P)) | 159611 | 162412115 | o2(x,o2(o2(x,x),x)) | true | 156895 | 156895 | 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_b96 | 20 | 0 | 0 | 96 | ![]() |
add(P,min(min(P,P),P)) | 159612 | 162412116 | o2(x,o2(o2(x,x),x)) | true | 156903 | 156903 | 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_b97 | 20 | 0 | 0 | 97 | ![]() |
add(P,min(dot(P,P),P)) | 159613 | 162412117 | o2(x,o2(o2(x,x),x)) | true | 156911 | 156911 | 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_b98 | 20 | 0 | 0 | 98 | ![]() |
add(P,min(dst(P,P),P)) | 159614 | 162412118 | o2(x,o2(o2(x,x),x)) | true | 156919 | 156919 | -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_b99 | 20 | 0 | 0 | 99 | ![]() |
add(P,dot(add(P,P),P)) | 159615 | 162412119 | o2(x,o2(o2(x,x),x)) | true | 156927 | 156927 | 0.9981 | 1 | 0.9981 | 0.001308 | 0.03617 | 0.0008731 | 1 | 0.9991 | 1 | 0.04674 | 0.0000487 | 0.00005869 | 0.0006048 | -0.09304 | 1 | 7.509e-12 | 0.00004495 | 0.0003565 | 0.0001071 | 0.01035 | 17.11 | 0.3116 | 0.08209 | 0.03436 | 1 | 1 | 0.0003479 | 0.00308 | 0.004769 | 0.266 | 2.355 | 3.646 | json |
| t20_x0_u0_b100 | 20 | 0 | 0 | 100 | ![]() |
add(P,dot(sub(P,P),P)) | 159616 | 162412120 | o2(x,o2(o2(x,x),x)) | true | 156935 | 156935 | 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_b101 | 20 | 0 | 0 | 101 | ![]() |
add(P,dot(mlt(P,P),P)) | 159617 | 162412121 | o2(x,o2(o2(x,x),x)) | true | 156943 | 156943 | -9.313e-10 | 0.5 | 0.9934 | 0.9913 | 0.9957 | -1 | 1 | 2 | 1 | 1.143 | 0.01001 | 0.0103 | 0.01235 | -0.01385 | 1 | 3.754e-12 | 0.05924 | 0.022 | 0.02014 | 0.1419 | 11.49 | 2.828 | 0.02049 | 0.05976 | 1 | 1 | 0.02798 | 0.1392 | 0.5852 | 0.02822 | 0.1404 | 0.5903 | json |
| t20_x0_u0_b102 | 20 | 0 | 0 | 102 | ![]() |
add(P,dot(div(P,P),P)) | 159618 | 162412122 | o2(x,o2(o2(x,x),x)) | true | 156951 | 156951 | -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 |
| t20_x0_u0_b103 | 20 | 0 | 0 | 103 | ![]() |
add(P,dot(pow(P,P),P)) | 159619 | 162412123 | o2(x,o2(o2(x,x),x)) | true | 156959 | 156959 | -0.5006 | 0.25 | 0.9994 | 0.7486 | 0.8652 | -1 | 1 | 2 | 1 | 0.826 | 0.00755 | 0.007669 | 0.00789 | -0.00779 | 1 | 7.509e-11 | 0.03042 | 0.01552 | 0.01516 | 0.1231 | 15.6 | 2 | 0.02033 | 0.04064 | 1 | 1 | 0.01995 | 0.08149 | 0.334 | 0.02665 | 0.1089 | 0.4462 | json |
| t20_x0_u0_b104 | 20 | 0 | 0 | 104 | ![]() |
add(P,dot(mod(P,P),P)) | 159620 | 162412124 | o2(x,o2(o2(x,x),x)) | true | 156967 | 156967 | -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 |
| t20_x0_u0_b105 | 20 | 0 | 0 | 105 | ![]() |
add(P,dot(lrg(P,P),P)) | 159621 | 162412125 | o2(x,o2(o2(x,x),x)) | true | 156975 | 156975 | 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_b106 | 20 | 0 | 0 | 106 | ![]() |
add(P,dot(eql(P,P),P)) | 159622 | 162412126 | o2(x,o2(o2(x,x),x)) | true | 156983 | 156983 | -1.071e-8 | 0.5 | 0.9688 | 0.9594 | 0.9795 | -1 | 1 | 2 | 1 | 1.531 | 0.001366 | 0.0003547 | 0.009634 | 0.5878 | 1 | 0 | 0.0003278 | 0.003308 | 0.001628 | 0.04034 | 4.188 | 0.2614 | 0.001794 | 0.0003416 | 1 | 1 | 0.004392 | 0.0509 | 0.3961 | 0.004578 | 0.05305 | 0.4129 | json |
| t20_x0_u0_b107 | 20 | 0 | 0 | 107 | ![]() |
add(P,dot(min(P,P),P)) | 159623 | 162412127 | o2(x,o2(o2(x,x),x)) | true | 156991 | 156991 | 0.9937 | 1 | 0.9937 | 0.004639 | 0.06811 | 0.000291 | 1 | 0.9997 | 1 | 0.1265 | 0.00007372 | 0.0000757 | 0.001194 | -0.01323 | 1 | -3.379e-11 | 0.00003768 | 0.0004689 | 0.0001478 | 0.01216 | 10.18 | 0.2359 | 0.03221 | 0.008122 | 1 | 1 | 0.0005008 | 0.005438 | 0.017 | 0.108 | 1.172 | 3.665 | json |
| t20_x0_u0_b108 | 20 | 0 | 0 | 108 | ![]() |
add(P,dot(dot(P,P),P)) | 159624 | 162412128 | o2(x,o2(o2(x,x),x)) | true | 156999 | 156999 | 2.095e-9 | 0.5 | 0.9928 | 0.9905 | 0.9952 | -1 | 1 | 2 | 1 | 1.154 | 0.009056 | 0.00935 | 0.0124 | -0.01595 | 1 | -4.505e-11 | 0.04929 | 0.02041 | 0.01827 | 0.1351 | 10.9 | 2.828 | 0.01858 | 0.04976 | 1 | 1 | 0.02623 | 0.1366 | 0.5828 | 0.02648 | 0.1379 | 0.5883 | json |
| t20_x0_u0_b109 | 20 | 0 | 0 | 109 | ![]() |
add(P,dot(dst(P,P),P)) | 159625 | 162412129 | o2(x,o2(o2(x,x),x)) | true | 157007 | 157007 | 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_b110 | 20 | 0 | 0 | 110 | ![]() |
add(P,dst(add(P,P),P)) | 159626 | 162412130 | o2(x,o2(o2(x,x),x)) | true | 157015 | 157015 | 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 |
| t20_x0_u0_b111 | 20 | 0 | 0 | 111 | ![]() |
add(P,dst(sub(P,P),P)) | 159627 | 162412131 | o2(x,o2(o2(x,x),x)) | true | 157023 | 157023 | 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 |
| t20_x0_u0_b112 | 20 | 0 | 0 | 112 | ![]() |
add(P,dst(mlt(P,P),P)) | 159628 | 162412132 | o2(x,o2(o2(x,x),x)) | true | 157031 | 157031 | 0.9937 | 1 | 0.9937 | 0.004665 | 0.0683 | 0.000291 | 1 | 0.9997 | 1 | 0.129 | 0.0000744 | 0.00007168 | 0.0012 | 0.01859 | 1 | -4.13e-11 | 0.00003286 | 0.0004515 | 0.0001448 | 0.01203 | 10.03 | 0.2359 | 0.03131 | 0.007044 | 1 | 1 | 0.0004914 | 0.005406 | 0.0171 | 0.1053 | 1.159 | 3.665 | json |
| t20_x0_u0_b113 | 20 | 0 | 0 | 113 | ![]() |
add(P,dst(div(P,P),P)) | 159629 | 162412133 | o2(x,o2(o2(x,x),x)) | true | 157039 | 157039 | -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 |
| t20_x0_u0_b114 | 20 | 0 | 0 | 114 | ![]() |
add(P,dst(pow(P,P),P)) | 159630 | 162412134 | o2(x,o2(o2(x,x),x)) | true | 157047 | 157047 | -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 |
| t20_x0_u0_b115 | 20 | 0 | 0 | 115 | ![]() |
add(P,dst(mod(P,P),P)) | 159631 | 162412135 | o2(x,o2(o2(x,x),x)) | true | 157055 | 157055 | -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 |
| t20_x0_u0_b116 | 20 | 0 | 0 | 116 | ![]() |
add(P,dst(lrg(P,P),P)) | 159632 | 162412136 | o2(x,o2(o2(x,x),x)) | true | 157063 | 157063 | 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 |
| t20_x0_u0_b117 | 20 | 0 | 0 | 117 | ![]() |
add(P,dst(eql(P,P),P)) | 159633 | 162412137 | o2(x,o2(o2(x,x),x)) | true | 157071 | 157071 | 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_b118 | 20 | 0 | 0 | 118 | ![]() |
add(P,dst(min(P,P),P)) | 159634 | 162412138 | o2(x,o2(o2(x,x),x)) | true | 157079 | 157079 | 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_b119 | 20 | 0 | 0 | 119 | ![]() |
add(P,dst(dot(P,P),P)) | 159635 | 162412139 | o2(x,o2(o2(x,x),x)) | true | 157087 | 157087 | 0.9982 | 1 | 0.9982 | 0.001278 | 0.03575 | 0.0008335 | 1 | 0.9992 | 1 | 0.04392 | 0.00005254 | 0.00005201 | 0.0005939 | 0.005029 | 1 | -2.253e-11 | 0.00004123 | 0.000343 | 0.0001043 | 0.01021 | 17.19 | 0.2718 | 0.08182 | 0.03227 | 1 | 1 | 0.0003416 | 0.003074 | 0.004657 | 0.2673 | 2.406 | 3.645 | json |
| t20_x0_u0_b120 | 20 | 0 | 0 | 120 | ![]() |
add(P,dst(dst(P,P),P)) | 159636 | 162412140 | o2(x,o2(o2(x,x),x)) | true | 157095 | 157095 | 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 |
| t20_x0_u0_b121 | 20 | 0 | 0 | 121 | ![]() |
sub(P,add(add(P,P),P)) | 159637 | 162412141 | o2(x,o2(o2(x,x),x)) | true | 157103 | 157103 | 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_b122 | 20 | 0 | 0 | 122 | ![]() |
sub(P,add(sub(P,P),P)) | 159638 | 162412142 | o2(x,o2(o2(x,x),x)) | true | 157111 | 157111 | 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_b123 | 20 | 0 | 0 | 123 | ![]() |
sub(P,add(mlt(P,P),P)) | 159639 | 162412143 | o2(x,o2(o2(x,x),x)) | true | 157119 | 157119 | -0.9375 | 0 | 0.9375 | 0.04507 | 0.2123 | -1 | -0.000291 | 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_b124 | 20 | 0 | 0 | 124 | ![]() |
sub(P,add(div(P,P),P)) | 159640 | 162412144 | o2(x,o2(o2(x,x),x)) | true | 157127 | 157127 | -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 |
| t20_x0_u0_b125 | 20 | 0 | 0 | 125 | ![]() |
sub(P,add(pow(P,P),P)) | 159641 | 162412145 | o2(x,o2(o2(x,x),x)) | true | 157135 | 157135 | -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 |
| t20_x0_u0_b126 | 20 | 0 | 0 | 126 | ![]() |
sub(P,add(mod(P,P),P)) | 159642 | 162412146 | o2(x,o2(o2(x,x),x)) | true | 157143 | 157143 | -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_b127 | 20 | 0 | 0 | 127 | ![]() |
sub(P,add(lrg(P,P),P)) | 159643 | 162412147 | o2(x,o2(o2(x,x),x)) | true | 157151 | 157151 | 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_b128 | 20 | 0 | 0 | 128 | ![]() |
sub(P,add(eql(P,P),P)) | 159644 | 162412148 | o2(x,o2(o2(x,x),x)) | true | 157159 | 157159 | -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 |
| t20_x0_u0_b129 | 20 | 0 | 0 | 129 | ![]() |
sub(P,add(min(P,P),P)) | 159645 | 162412149 | o2(x,o2(o2(x,x),x)) | true | 157167 | 157167 | 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_b130 | 20 | 0 | 0 | 130 | ![]() |
sub(P,add(dot(P,P),P)) | 159646 | 162412150 | o2(x,o2(o2(x,x),x)) | true | 157175 | 157175 | -0.9967 | 0 | 0.9967 | 0.002206 | 0.04697 | -1 | -0.0005821 | 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_b131 | 20 | 0 | 0 | 131 | ![]() |
sub(P,add(dst(P,P),P)) | 159647 | 162412151 | o2(x,o2(o2(x,x),x)) | true | 157183 | 157183 | 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_b132 | 20 | 0 | 0 | 132 | ![]() |
sub(P,sub(add(P,P),P)) | 159648 | 162412152 | o2(x,o2(o2(x,x),x)) | true | 157191 | 157191 | 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_b133 | 20 | 0 | 0 | 133 | ![]() |
sub(P,sub(sub(P,P),P)) | 159649 | 162412153 | o2(x,o2(o2(x,x),x)) | true | 157199 | 157199 | 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_b134 | 20 | 0 | 0 | 134 | ![]() |
sub(P,sub(mlt(P,P),P)) | 159650 | 162412154 | o2(x,o2(o2(x,x),x)) | true | 157207 | 157207 | -0.7766 | 0.125 | 0.9016 | 0.2791 | 0.5283 | -1 | 0.9997 | 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_b135 | 20 | 0 | 0 | 135 | ![]() |
sub(P,sub(div(P,P),P)) | 159651 | 162412155 | o2(x,o2(o2(x,x),x)) | true | 157215 | 157215 | -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_b136 | 20 | 0 | 0 | 136 | ![]() |
sub(P,sub(pow(P,P),P)) | 159652 | 162412156 | o2(x,o2(o2(x,x),x)) | true | 157223 | 157223 | -0.8351 | 0.09375 | 0.9406 | 0.2275 | 0.477 | -1 | 0.9997 | 2 | 1 | 1.058 | 0.003301 | 0 | 0.01587 | 1 | 1 | 0 | 0.001191 | 0.006506 | 0.003052 | 0.05524 | 3.481 | 0.4755 | 0.01451 | 0.005232 | 1 | 1 | 0.007968 | 0.08175 | 0.3429 | 0.03502 | 0.3593 | 1.507 | json |
| t20_x0_u0_b137 | 20 | 0 | 0 | 137 | ![]() |
sub(P,sub(mod(P,P),P)) | 159653 | 162412157 | o2(x,o2(o2(x,x),x)) | true | 157231 | 157231 | -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_b138 | 20 | 0 | 0 | 138 | ![]() |
sub(P,sub(lrg(P,P),P)) | 159654 | 162412158 | o2(x,o2(o2(x,x),x)) | true | 157239 | 157239 | 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_b139 | 20 | 0 | 0 | 139 | ![]() |
sub(P,sub(eql(P,P),P)) | 159655 | 162412159 | o2(x,o2(o2(x,x),x)) | true | 157247 | 157247 | -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 |
| t20_x0_u0_b140 | 20 | 0 | 0 | 140 | ![]() |
sub(P,sub(min(P,P),P)) | 159656 | 162412160 | o2(x,o2(o2(x,x),x)) | true | 157255 | 157255 | 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_b141 | 20 | 0 | 0 | 141 | ![]() |
sub(P,sub(dot(P,P),P)) | 159657 | 162412161 | o2(x,o2(o2(x,x),x)) | true | 157263 | 157263 | -0.9804 | 0.007324 | 0.9871 | 0.02241 | 0.1497 | -1 | 0.9994 | 1.999 | 1 | 0.2613 | 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_b142 | 20 | 0 | 0 | 142 | ![]() |
sub(P,sub(dst(P,P),P)) | 159658 | 162412162 | o2(x,o2(o2(x,x),x)) | true | 157271 | 157271 | 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_b143 | 20 | 0 | 0 | 143 | ![]() |
sub(P,mlt(add(P,P),P)) | 159659 | 162412163 | o2(x,o2(o2(x,x),x)) | true | 157279 | 157279 | -0.9508 | 0 | 0.9508 | 0.03707 | 0.1925 | -1 | -0.000291 | 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_b144 | 20 | 0 | 0 | 144 | ![]() |
sub(P,mlt(sub(P,P),P)) | 159660 | 162412164 | o2(x,o2(o2(x,x),x)) | true | 157287 | 157287 | 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_b145 | 20 | 0 | 0 | 145 | ![]() |
sub(P,mlt(mlt(P,P),P)) | 159661 | 162412165 | o2(x,o2(o2(x,x),x)) | true | 157295 | 157295 | 0 | 0.4375 | 0.8476 | 0.8432 | 0.9182 | -1 | 1 | 2 | 1 | 1.681 | 0.002157 | 0 | 0.007937 | 1 | 1 | 0 | 0.0009867 | 0.006271 | 0.002093 | 0.04575 | 5.765 | 0.3951 | 0.002558 | 0.00117 | 1 | 1 | 0.005067 | 0.03607 | 0.1624 | 0.006009 | 0.04278 | 0.1926 | json |
| t20_x0_u0_b146 | 20 | 0 | 0 | 146 | ![]() |
sub(P,mlt(div(P,P),P)) | 159662 | 162412166 | o2(x,o2(o2(x,x),x)) | true | 157303 | 157303 | -0.125 | 0 | 0.125 | 0.1094 | 0.3307 | -1 | 4.172e-7 | 1 | 1 | 1.294 | 0.007937 | 0 | 0.007937 | 1 | 1 | -1.487e-13 | 0.01587 | 0.01587 | 0.007872 | 0.08872 | 11.18 | 1 | 0.07256 | 0.1451 | 1 | 1 | 0.01053 | 0.04211 | 0.1684 | 0.09624 | 0.385 | 1.54 | json |
| t20_x0_u0_b147 | 20 | 0 | 0 | 147 | ![]() |
sub(P,mlt(pow(P,P),P)) | 159663 | 162412167 | o2(x,o2(o2(x,x),x)) | true | 157311 | 157311 | -0.9238 | 0 | 0.9238 | 0.06818 | 0.2611 | -1 | 0 | 1 | 1 | 0.5118 | 0.005047 | 0 | 0.007937 | 1 | 1 | 9.461e-10 | 0.00843 | 0.01107 | 0.004982 | 0.07059 | 8.894 | 1 | 0.07402 | 0.1236 | 1 | 1 | 0.007796 | 0.03909 | 0.09962 | 0.1144 | 0.5733 | 1.461 | json |
| t20_x0_u0_b148 | 20 | 0 | 0 | 148 | ![]() |
sub(P,mlt(mod(P,P),P)) | 159664 | 162412168 | o2(x,o2(o2(x,x),x)) | true | 157319 | 157319 | -0.5747 | 0.2148 | 0.9882 | 0.6539 | 0.8086 | -1 | 1 | 2 | 1 | 0.9337 | 0.05176 | 0 | 0.03968 | 1 | 1 | 0 | 0.08035 | 0.05622 | 0.05015 | 0.2239 | 5.643 | 2 | 0.07915 | 0.1229 | 1 | 1 | 0.06296 | 0.3154 | 0.7904 | 0.09628 | 0.4823 | 1.209 | json |
| t20_x0_u0_b149 | 20 | 0 | 0 | 149 | ![]() |
sub(P,mlt(lrg(P,P),P)) | 159665 | 162412169 | o2(x,o2(o2(x,x),x)) | true | 157327 | 157327 | 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_b150 | 20 | 0 | 0 | 150 | ![]() |
sub(P,mlt(eql(P,P),P)) | 159666 | 162412170 | o2(x,o2(o2(x,x),x)) | true | 157335 | 157335 | 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_b151 | 20 | 0 | 0 | 151 | ![]() |
sub(P,mlt(min(P,P),P)) | 159667 | 162412171 | o2(x,o2(o2(x,x),x)) | true | 157343 | 157343 | -0.8944 | 0 | 0.8944 | 0.08685 | 0.2947 | -1 | 0 | 1 | 1 | 0.8189 | 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_b152 | 20 | 0 | 0 | 152 | ![]() |
sub(P,mlt(dot(P,P),P)) | 159668 | 162412172 | o2(x,o2(o2(x,x),x)) | true | 157351 | 157351 | 0 | 0.4996 | 0.9682 | 0.9632 | 0.9814 | -1 | 1 | 2 | 1 | 1.397 | 0.002974 | 0.00007816 | 0.008452 | 0.9488 | 1 | -1.877e-12 | 0.002822 | 0.00781 | 0.002981 | 0.0546 | 6.459 | 0.7596 | 0.003169 | 0.00293 | 1 | 1 | 0.005647 | 0.04815 | 0.2934 | 0.005863 | 0.04999 | 0.3046 | json |
| t20_x0_u0_b153 | 20 | 0 | 0 | 153 | ![]() |
sub(P,mlt(dst(P,P),P)) | 159669 | 162412173 | o2(x,o2(o2(x,x),x)) | true | 157359 | 157359 | 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_b154 | 20 | 0 | 0 | 154 | ![]() |
sub(P,div(add(P,P),P)) | 159670 | 162412174 | o2(x,o2(o2(x,x),x)) | true | 157367 | 157367 | -0.25 | 0.375 | 0.9375 | 0.8615 | 0.9282 | -1 | 1 | 2 | 1 | 1.762 | 0.0007059 | 0 | 0.007937 | 1 | 1 | 4.731e-10 | 0.00003235 | 0.001851 | 0.0006432 | 0.02536 | 3.195 | 0.1169 | 0.0008194 | 0.00003756 | 1 | 1 | 0.001851 | 0.02449 | 0.2344 | 0.002149 | 0.02843 | 0.2721 | json |
| t20_x0_u0_b155 | 20 | 0 | 0 | 155 | ![]() |
sub(P,div(sub(P,P),P)) | 159671 | 162412175 | o2(x,o2(o2(x,x),x)) | true | 157375 | 157375 | 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_b156 | 20 | 0 | 0 | 156 | ![]() |
sub(P,div(mlt(P,P),P)) | 159672 | 162412176 | o2(x,o2(o2(x,x),x)) | true | 157383 | 157383 | -0.125 | 0 | 0.125 | 0.1094 | 0.3307 | -1 | 4.172e-7 | 1 | 1 | 1.344 | 0.007937 | 0 | 0.007937 | 1 | 1 | -1.488e-13 | 0.01587 | 0.01587 | 0.007872 | 0.08872 | 11.18 | 1 | 0.07256 | 0.1451 | 1 | 1 | 0.01053 | 0.04211 | 0.1684 | 0.09624 | 0.385 | 1.54 | json |
| t20_x0_u0_b157 | 20 | 0 | 0 | 157 | ![]() |
sub(P,div(div(P,P),P)) | 159673 | 162412177 | o2(x,o2(o2(x,x),x)) | true | 157391 | 157391 | -0.125 | 0.4375 | 0.9508 | 0.9262 | 0.9624 | -1 | 1 | 2 | 1 | 1.541 | 0.009062 | 0 | 0.01587 | 1 | 1 | 0 | 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 |
| t20_x0_u0_b158 | 20 | 0 | 0 | 158 | ![]() |
sub(P,div(pow(P,P),P)) | 159674 | 162412178 | o2(x,o2(o2(x,x),x)) | true | 157399 | 157399 | -0.9238 | 0 | 0.9238 | 0.06818 | 0.2611 | -1 | 0 | 1 | 1 | 0.5118 | 0.005047 | 0 | 0.007937 | 1 | 1 | 9.461e-10 | 0.00843 | 0.01107 | 0.004982 | 0.07059 | 8.894 | 1 | 0.07402 | 0.1236 | 1 | 1 | 0.007796 | 0.03909 | 0.09962 | 0.1144 | 0.5733 | 1.461 | json |
| t20_x0_u0_b159 | 20 | 0 | 0 | 159 | ![]() |
sub(P,div(mod(P,P),P)) | 159675 | 162412179 | o2(x,o2(o2(x,x),x)) | true | 157407 | 157407 | -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_b160 | 20 | 0 | 0 | 160 | ![]() |
sub(P,div(lrg(P,P),P)) | 159676 | 162412180 | o2(x,o2(o2(x,x),x)) | true | 157415 | 157415 | -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_b161 | 20 | 0 | 0 | 161 | ![]() |
sub(P,div(eql(P,P),P)) | 159677 | 162412181 | o2(x,o2(o2(x,x),x)) | true | 157423 | 157423 | -0.125 | 0.4375 | 0.9508 | 0.9262 | 0.9624 | -1 | 1 | 2 | 1 | 1.541 | 0.009062 | 0 | 0.01587 | 1 | 1 | 0 | 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 |
| t20_x0_u0_b162 | 20 | 0 | 0 | 162 | ![]() |
sub(P,div(min(P,P),P)) | 159678 | 162412182 | o2(x,o2(o2(x,x),x)) | true | 157431 | 157431 | -0.1563 | 0.4375 | 0.9688 | 0.9369 | 0.9679 | -1 | 1 | 2 | 1 | 1.385 | 0.004323 | 0 | 0.007937 | 1 | 1 | -9.386e-13 | 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 |
| t20_x0_u0_b163 | 20 | 0 | 0 | 163 | ![]() |
sub(P,div(dot(P,P),P)) | 159679 | 162412183 | o2(x,o2(o2(x,x),x)) | true | 157439 | 157439 | -0.125 | 0.435 | 0.8568 | 0.8093 | 0.8996 | -1 | 1 | 2 | 1 | 2.518 | 0.01529 | 0.0004009 | 0.01525 | 0.9489 | 1 | -1.877e-11 | 0.03061 | 0.01813 | 0.01546 | 0.1243 | 8.154 | 2 | 0.01938 | 0.03782 | 1 | 1 | 0.02111 | 0.09272 | 0.3997 | 0.02609 | 0.1146 | 0.4938 | json |
| t20_x0_u0_b164 | 20 | 0 | 0 | 164 | ![]() |
sub(P,div(dst(P,P),P)) | 159680 | 162412184 | o2(x,o2(o2(x,x),x)) | true | 157447 | 157447 | 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_b165 | 20 | 0 | 0 | 165 | ![]() |
sub(P,pow(add(P,P),P)) | 159681 | 162412185 | o2(x,o2(o2(x,x),x)) | true | 157455 | 157455 | -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 |
| t20_x0_u0_b166 | 20 | 0 | 0 | 166 | ![]() |
sub(P,pow(sub(P,P),P)) | 159682 | 162412186 | o2(x,o2(o2(x,x),x)) | true | 157463 | 157463 | -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 |
| t20_x0_u0_b167 | 20 | 0 | 0 | 167 | ![]() |
sub(P,pow(mlt(P,P),P)) | 159683 | 162412187 | o2(x,o2(o2(x,x),x)) | true | 157471 | 157471 | -0.9591 | 0 | 0.9591 | 0.03119 | 0.1766 | -1 | -0.000291 | 0.9997 | 1 | 0.5482 | 0.002138 | 0 | 0.007934 | 1 | 1 | 9.461e-10 | 0.001876 | 0.005557 | 0.002075 | 0.04555 | 5.741 | 0.5833 | 0.06855 | 0.06014 | 1 | 1 | 0.004428 | 0.02943 | 0.04427 | 0.142 | 0.9436 | 1.419 | json |
| t20_x0_u0_b168 | 20 | 0 | 0 | 168 | ![]() |
sub(P,pow(div(P,P),P)) | 159684 | 162412188 | o2(x,o2(o2(x,x),x)) | true | 157479 | 157479 | -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 |
| t20_x0_u0_b169 | 20 | 0 | 0 | 169 | ![]() |
sub(P,pow(pow(P,P),P)) | 159685 | 162412189 | o2(x,o2(o2(x,x),x)) | true | 157487 | 157487 | -0.9591 | 0 | 0.9591 | 0.03119 | 0.1766 | -1 | -0.000291 | 0.9997 | 1 | 0.5482 | 0.002138 | 0 | 0.007934 | 1 | 1 | 9.461e-10 | 0.001876 | 0.005557 | 0.002075 | 0.04555 | 5.741 | 0.5833 | 0.06855 | 0.06014 | 1 | 1 | 0.004428 | 0.02943 | 0.04427 | 0.142 | 0.9436 | 1.419 | json |
| t20_x0_u0_b170 | 20 | 0 | 0 | 170 | ![]() |
sub(P,pow(mod(P,P),P)) | 159686 | 162412190 | o2(x,o2(o2(x,x),x)) | true | 157495 | 157495 | -0.6242 | 0.1914 | 0.9735 | 0.5753 | 0.7585 | -1 | 1 | 2 | 1 | 1.054 | 0.03331 | 0 | 0.03175 | 1 | 1 | 0 | 0.04814 | 0.03516 | 0.0323 | 0.1797 | 5.661 | 2 | 0.0579 | 0.08368 | 1 | 1 | 0.05644 | 0.2908 | 0.7936 | 0.09809 | 0.5054 | 1.379 | json |
| t20_x0_u0_b171 | 20 | 0 | 0 | 171 | ![]() |
sub(P,pow(lrg(P,P),P)) | 159687 | 162412191 | o2(x,o2(o2(x,x),x)) | true | 157503 | 157503 | -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 |
| t20_x0_u0_b172 | 20 | 0 | 0 | 172 | ![]() |
sub(P,pow(eql(P,P),P)) | 159688 | 162412192 | o2(x,o2(o2(x,x),x)) | true | 157511 | 157511 | -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 |
| t20_x0_u0_b173 | 20 | 0 | 0 | 173 | ![]() |
sub(P,pow(min(P,P),P)) | 159689 | 162412193 | o2(x,o2(o2(x,x),x)) | true | 157519 | 157519 | -0.9472 | 0 | 0.9472 | 0.03942 | 0.1985 | -1 | -0.000291 | 0.9997 | 1 | 0.6778 | 0.001005 | 0 | 0.007934 | 1 | 1 | 1.419e-9 | 0.0001503 | 0.002725 | 0.0009424 | 0.0307 | 3.869 | 0.2265 | 0.02549 | 0.003814 | 1 | 1 | 0.002565 | 0.02767 | 0.05687 | 0.06508 | 0.7019 | 1.443 | json |
| t20_x0_u0_b174 | 20 | 0 | 0 | 174 | ![]() |
sub(P,pow(dot(P,P),P)) | 159690 | 162412194 | o2(x,o2(o2(x,x),x)) | true | 157527 | 157527 | -0.9975 | 0 | 0.9975 | 0.001571 | 0.03964 | -1 | -0.000582 | 0.9994 | 1 | 0.06882 | 0.0001047 | 0.00002507 | 0.0006991 | 0.6136 | 1 | 9.198e-11 | 0.0000953 | 0.0004061 | 0.0001295 | 0.01138 | 16.27 | 0.583 | 0.08256 | 0.06065 | 1 | 1 | 0.000379 | 0.00302 | 0.005725 | 0.2412 | 1.922 | 3.643 | json |
| t20_x0_u0_b175 | 20 | 0 | 0 | 175 | ![]() |
sub(P,pow(dst(P,P),P)) | 159691 | 162412195 | o2(x,o2(o2(x,x),x)) | true | 157535 | 157535 | -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 |
| t20_x0_u0_b176 | 20 | 0 | 0 | 176 | ![]() |
sub(P,mod(add(P,P),P)) | 159692 | 162412196 | o2(x,o2(o2(x,x),x)) | true | 157543 | 157543 | -0.125 | 0.375 | 0.7463 | 0.7093 | 0.8422 | -1 | 1 | 2 | 1 | 2.465 | 0.02375 | 0 | 0.03967 | 1 | 1 | -1.877e-12 | 0.03553 | 0.03674 | 0.02218 | 0.1489 | 3.754 | 2 | 0.03348 | 0.05009 | 1 | 1 | 0.03363 | 0.1714 | 0.4313 | 0.04742 | 0.2416 | 0.608 | json |
| t20_x0_u0_b177 | 20 | 0 | 0 | 177 | ![]() |
sub(P,mod(sub(P,P),P)) | 159693 | 162412197 | o2(x,o2(o2(x,x),x)) | true | 157551 | 157551 | 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_b178 | 20 | 0 | 0 | 178 | ![]() |
sub(P,mod(mlt(P,P),P)) | 159694 | 162412198 | o2(x,o2(o2(x,x),x)) | true | 157559 | 157559 | -0.2519 | 0.375 | 0.8731 | 0.7987 | 0.8937 | -1 | 1 | 2 | 1 | 1.725 | 0.01981 | 0 | 0.02381 | 1 | 1 | -4.731e-10 | 0.03364 | 0.02631 | 0.01925 | 0.1387 | 5.828 | 2 | 0.0248 | 0.04211 | 1 | 1 | 0.02737 | 0.1339 | 0.3837 | 0.03427 | 0.1676 | 0.4804 | json |
| t20_x0_u0_b179 | 20 | 0 | 0 | 179 | ![]() |
sub(P,mod(div(P,P),P)) | 159695 | 162412199 | o2(x,o2(o2(x,x),x)) | true | 157567 | 157567 | -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_b180 | 20 | 0 | 0 | 180 | ![]() |
sub(P,mod(pow(P,P),P)) | 159696 | 162412200 | o2(x,o2(o2(x,x),x)) | true | 157575 | 157575 | -0.2154 | 0.4375 | 0.9096 | 0.8576 | 0.9261 | -1 | 1 | 2 | 1 | 1.508 | 0.01795 | 0 | 0.01587 | 1 | 1 | 9.475e-10 | 0.03282 | 0.02199 | 0.01769 | 0.133 | 8.383 | 2 | 0.02093 | 0.03827 | 1 | 1 | 0.0233 | 0.1095 | 0.4412 | 0.02716 | 0.1276 | 0.5145 | json |
| t20_x0_u0_b181 | 20 | 0 | 0 | 181 | ![]() |
sub(P,mod(mod(P,P),P)) | 159697 | 162412201 | o2(x,o2(o2(x,x),x)) | true | 157583 | 157583 | -0.125 | 0.375 | 0.7463 | 0.7093 | 0.8422 | -1 | 1 | 2 | 1 | 2.465 | 0.02375 | 0 | 0.03967 | 1 | 1 | -1.877e-12 | 0.03553 | 0.03674 | 0.02218 | 0.1489 | 3.754 | 2 | 0.03348 | 0.05009 | 1 | 1 | 0.03363 | 0.1714 | 0.4313 | 0.04742 | 0.2416 | 0.608 | json |
| t20_x0_u0_b182 | 20 | 0 | 0 | 182 | ![]() |
sub(P,mod(lrg(P,P),P)) | 159698 | 162412202 | o2(x,o2(o2(x,x),x)) | true | 157591 | 157591 | -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_b183 | 20 | 0 | 0 | 183 | ![]() |
sub(P,mod(eql(P,P),P)) | 159699 | 162412203 | o2(x,o2(o2(x,x),x)) | true | 157599 | 157599 | -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 |



































































































