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_x18_u0_b16 | 18 | 18 | 0 | 16 | ![]() |
add(P,sub(R,mod(P,P))) | 124000 | 146898052 | o2(x,o2(x,o2(x,x))) | true | 20407 | 20407 | -0.1174 | 0.4431 | 0.8159 | 0.7465 | 0.864 | -1 | 1 | 2 | 1 | 3.118 | 0.02551 | 0.001027 | 0.05555 | 0.9226 | 1 | 0.00001129 | 0.03475 | 0.04232 | 0.02345 | 0.1531 | 2.757 | 2 | 0.03555 | 0.04655 | 1 | 1 | 0.03754 | 0.2173 | 0.5252 | 0.05029 | 0.2911 | 0.7035 | json |
| t18_x18_u0_b17 | 18 | 18 | 0 | 17 | ![]() |
add(P,sub(R,lrg(P,P))) | 124001 | 146898053 | o2(x,o2(x,o2(x,x))) | true | 20415 | 20415 | 0.003757 | 0.4974 | 0.9428 | 0.9208 | 0.9596 | -1 | 1 | 2 | 1 | 1.952 | 0.001169 | 0.000358 | 0.0111 | 0.5311 | 1 | -0.00002042 | 0.0002765 | 0.003741 | 0.001403 | 0.03746 | 3.374 | 0.312 | 0.001658 | 0.0003002 | 1 | 1 | 0.003726 | 0.04331 | 0.2691 | 0.004046 | 0.04703 | 0.2923 | json |
| t18_x18_u0_b18 | 18 | 18 | 0 | 18 | ![]() |
add(P,sub(R,eql(P,P))) | 124002 | 146898054 | o2(x,o2(x,o2(x,x))) | true | 20423 | 20423 | -0.1139 | 0.4454 | 0.9395 | 0.9046 | 0.9511 | -1 | 1 | 2 | 1 | 1.964 | 0.001138 | 0.0003823 | 0.01115 | 0.4972 | 1 | -0.00001934 | 0.00027 | 0.003757 | 0.001396 | 0.03736 | 3.35 | 0.312 | 0.001681 | 0.0002984 | 1 | 1 | 0.003655 | 0.04084 | 0.2435 | 0.00404 | 0.04515 | 0.2691 | json |
| t18_x18_u0_b19 | 18 | 18 | 0 | 19 | ![]() |
add(P,sub(R,min(P,P))) | 124003 | 146898055 | o2(x,o2(x,o2(x,x))) | true | 20431 | 20431 | 0.008979 | 0.4983 | 0.3946 | 0.2196 | 0.4686 | -0.9989 | 0.9806 | 1.979 | 1 | 4.862 | 0.002813 | 0.00317 | 0.0632 | -0.05957 | 1 | 0.00002651 | 0.0003508 | 0.01449 | 0.001989 | 0.0446 | 0.7057 | 0.2301 | 0.02725 | 0.001598 | 1 | 1 | 0.01182 | 0.1519 | 0.3914 | 0.05384 | 0.6917 | 1.782 | json |
| t18_x18_u0_b20 | 18 | 18 | 0 | 20 | ![]() |
add(P,sub(R,dot(P,P))) | 124004 | 146898056 | o2(x,o2(x,o2(x,x))) | true | 20439 | 20439 | -0.9884 | 0.003464 | 0.9912 | 0.01142 | 0.1069 | -1 | 0.8288 | 1.829 | 1 | 0.1862 | 0.0001991 | 0.0001696 | 0.002068 | 0.07992 | 1 | -8.447e-11 | 0.000115 | 0.0009771 | 0.0003643 | 0.01909 | 9.228 | 0.3703 | 0.03229 | 0.01007 | 1 | 1 | 0.001213 | 0.01218 | 0.04135 | 0.1062 | 1.067 | 3.62 | json |
| t18_x18_u0_b21 | 18 | 18 | 0 | 21 | ![]() |
add(P,sub(R,dst(P,P))) | 124005 | 146898057 | o2(x,o2(x,o2(x,x))) | true | 20447 | 20447 | 0.003757 | 0.4974 | 0.9428 | 0.9208 | 0.9596 | -1 | 1 | 2 | 1 | 1.952 | 0.001169 | 0.000358 | 0.0111 | 0.5311 | 1 | -0.00002042 | 0.0002765 | 0.003741 | 0.001403 | 0.03746 | 3.374 | 0.312 | 0.001658 | 0.0003002 | 1 | 1 | 0.003726 | 0.04331 | 0.2691 | 0.004046 | 0.04703 | 0.2923 | json |
| t18_x18_u0_b22 | 18 | 18 | 0 | 22 | ![]() |
add(P,mlt(R,add(P,P))) | 124006 | 146898058 | o2(x,o2(x,o2(x,x))) | true | 20455 | 20455 | -0.006619 | 0.4967 | 0.8649 | 0.8304 | 0.9113 | -1 | 1 | 2 | 1 | 2.598 | 0.01584 | 0.01988 | 0.06319 | -0.1129 | 1 | -0.00006359 | 0.03341 | 0.04962 | 0.03173 | 0.1781 | 2.819 | 2 | 0.04301 | 0.04023 | 1 | 1 | 0.04985 | 0.3388 | 0.7955 | 0.06003 | 0.408 | 0.958 | json |
| t18_x18_u0_b23 | 18 | 18 | 0 | 23 | ![]() |
add(P,mlt(R,sub(P,P))) | 124007 | 146898059 | o2(x,o2(x,o2(x,x))) | true | 20463 | 20463 | 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_x18_u0_b24 | 18 | 18 | 0 | 24 | ![]() |
add(P,mlt(R,mlt(P,P))) | 124008 | 146898060 | o2(x,o2(x,o2(x,x))) | true | 20471 | 20471 | 0.02877 | 0.5102 | 0.8707 | 0.837 | 0.9149 | -1 | 1 | 2 | 1 | 2.529 | 0.04393 | 0.05615 | 0.09308 | -0.1221 | 1 | -0.00004547 | 0.1886 | 0.1158 | 0.0914 | 0.3023 | 3.248 | 2.828 | 0.1196 | 0.2253 | 1 | 1 | 0.09739 | 0.5401 | 1.146 | 0.1164 | 0.6452 | 1.369 | json |
| t18_x18_u0_b25 | 18 | 18 | 0 | 25 | ![]() |
add(P,mlt(R,div(P,P))) | 124009 | 146898061 | o2(x,o2(x,o2(x,x))) | true | 20479 | 20479 | -0.1213 | 0.4375 | 0.992 | 0.9739 | 0.9869 | -1 | 1 | 2 | 1 | 1.199 | 0.0153 | 0.0000739 | 0.01075 | 0.9904 | 1 | -0.000007567 | 0.03034 | 0.0185 | 0.01526 | 0.1235 | 11.5 | 2 | 0.01578 | 0.03116 | 1 | 1 | 0.02016 | 0.08452 | 0.3399 | 0.0207 | 0.08678 | 0.349 | json |
| t18_x18_u0_b26 | 18 | 18 | 0 | 26 | ![]() |
add(P,mlt(R,pow(P,P))) | 124010 | 146898062 | o2(x,o2(x,o2(x,x))) | true | 20487 | 20487 | -0.4423 | 0.284 | 0.9611 | 0.7515 | 0.8669 | -1 | 1 | 2 | 1 | 1.505 | 0.04303 | 0.04489 | 0.05703 | -0.02108 | 1 | 0.00001242 | 0.2082 | 0.09432 | 0.08468 | 0.291 | 5.102 | 2.828 | 0.117 | 0.2771 | 1 | 1 | 0.07607 | 0.3745 | 0.9353 | 0.1012 | 0.4984 | 1.245 | json |
| t18_x18_u0_b27 | 18 | 18 | 0 | 27 | ![]() |
add(P,mlt(R,mod(P,P))) | 124011 | 146898063 | o2(x,o2(x,o2(x,x))) | true | 20495 | 20495 | -0.1265 | 0.4375 | 0.9957 | 0.9771 | 0.9885 | -1 | 1 | 2 | 1 | 1.132 | 0.01598 | 0.0002079 | 0.009806 | 0.9743 | 1 | -6.382e-11 | 0.032 | 0.01761 | 0.0161 | 0.1269 | 12.94 | 2 | 0.01657 | 0.03275 | 1 | 1 | 0.02114 | 0.08462 | 0.3379 | 0.02163 | 0.0866 | 0.3458 | json |
| t18_x18_u0_b28 | 18 | 18 | 0 | 28 | ![]() |
add(P,mlt(R,lrg(P,P))) | 124012 | 146898064 | o2(x,o2(x,o2(x,x))) | true | 20503 | 20503 | 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_x18_u0_b29 | 18 | 18 | 0 | 29 | ![]() |
add(P,mlt(R,eql(P,P))) | 124013 | 146898065 | o2(x,o2(x,o2(x,x))) | true | 20511 | 20511 | 0.003757 | 0.4974 | 0.9428 | 0.9208 | 0.9596 | -1 | 1 | 2 | 1 | 1.952 | 0.001169 | 0.000358 | 0.0111 | 0.5311 | 1 | -0.00002042 | 0.0002765 | 0.003741 | 0.001403 | 0.03746 | 3.374 | 0.312 | 0.001658 | 0.0003002 | 1 | 1 | 0.003726 | 0.04331 | 0.2691 | 0.004046 | 0.04703 | 0.2923 | json |
| t18_x18_u0_b30 | 18 | 18 | 0 | 30 | ![]() |
add(P,mlt(R,min(P,P))) | 124014 | 146898066 | o2(x,o2(x,o2(x,x))) | true | 20519 | 20519 | 0.007116 | 0.4999 | 0.9094 | 0.8829 | 0.9396 | -1 | 1 | 2 | 1 | 2.289 | 0.001256 | 0.0008476 | 0.01542 | 0.194 | 1 | -0.00001882 | 0.0008758 | 0.007971 | 0.001865 | 0.04319 | 2.801 | 0.4797 | 0.002382 | 0.0009919 | 1 | 1 | 0.003995 | 0.03802 | 0.2388 | 0.004525 | 0.04307 | 0.2705 | json |
| t18_x18_u0_b31 | 18 | 18 | 0 | 31 | ![]() |
add(P,mlt(R,dot(P,P))) | 124015 | 146898067 | o2(x,o2(x,o2(x,x))) | true | 20527 | 20527 | -0.02453 | 0.4881 | 0.9598 | 0.9468 | 0.973 | -1 | 1 | 2 | 1 | 1.654 | 0.07016 | 0.08488 | 0.1066 | -0.09498 | 1 | 0.0001596 | 0.3361 | 0.1684 | 0.1437 | 0.379 | 3.556 | 2.828 | 0.1638 | 0.355 | 1 | 1 | 0.1516 | 0.7574 | 1.588 | 0.1601 | 0.8 | 1.677 | json |
| t18_x18_u0_b32 | 18 | 18 | 0 | 32 | ![]() |
add(P,mlt(R,dst(P,P))) | 124016 | 146898068 | o2(x,o2(x,o2(x,x))) | true | 20535 | 20535 | 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_x18_u0_b33 | 18 | 18 | 0 | 33 | ![]() |
add(P,div(R,add(P,P))) | 124017 | 146898069 | o2(x,o2(x,o2(x,x))) | true | 20543 | 20543 | -0.1248 | 0.4375 | 0.9981 | 0.981 | 0.9904 | -1 | 1 | 2 | 1 | 1.088 | 0.01515 | 0.000012 | 0.008607 | 0.9984 | 1 | 8.5e-9 | 0.03023 | 0.01642 | 0.01508 | 0.1228 | 14.27 | 2 | 0.01545 | 0.03082 | 1 | 1 | 0.02006 | 0.08263 | 0.3355 | 0.02045 | 0.08424 | 0.342 | json |
| t18_x18_u0_b34 | 18 | 18 | 0 | 34 | ![]() |
add(P,div(R,sub(P,P))) | 124018 | 146898070 | o2(x,o2(x,o2(x,x))) | true | 20551 | 20551 | -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_x18_u0_b35 | 18 | 18 | 0 | 35 | ![]() |
add(P,div(R,mlt(P,P))) | 124019 | 146898071 | o2(x,o2(x,o2(x,x))) | true | 20559 | 20559 | -0.1215 | 0.4375 | 0.9923 | 0.9744 | 0.9871 | -1 | 1 | 2 | 1 | 1.192 | 0.0153 | 0.00007106 | 0.01072 | 0.9908 | 1 | -0.000006795 | 0.03034 | 0.01851 | 0.01526 | 0.1236 | 11.52 | 2 | 0.01578 | 0.03114 | 1 | 1 | 0.02018 | 0.08447 | 0.3397 | 0.02071 | 0.0867 | 0.3486 | json |
| t18_x18_u0_b36 | 18 | 18 | 0 | 36 | ![]() |
add(P,div(R,div(P,P))) | 124020 | 146898072 | o2(x,o2(x,o2(x,x))) | true | 20567 | 20567 | -0.1213 | 0.4375 | 0.992 | 0.9739 | 0.9869 | -1 | 1 | 2 | 1 | 1.199 | 0.0153 | 0.0000739 | 0.01075 | 0.9904 | 1 | -0.000007567 | 0.03034 | 0.0185 | 0.01526 | 0.1235 | 11.5 | 2 | 0.01578 | 0.03116 | 1 | 1 | 0.02016 | 0.08452 | 0.3399 | 0.0207 | 0.08678 | 0.349 | json |
| t18_x18_u0_b37 | 18 | 18 | 0 | 37 | ![]() |
add(P,div(R,pow(P,P))) | 124021 | 146898073 | o2(x,o2(x,o2(x,x))) | true | 20575 | 20575 | -0.03665 | 0.4858 | 0.9755 | 0.9646 | 0.9822 | -1 | 1 | 2 | 1 | 1.476 | 0.004958 | 0.0001611 | 0.008984 | 0.937 | 1 | -0.00001753 | 0.00863 | 0.008715 | 0.005039 | 0.07098 | 7.901 | 1.829 | 0.005307 | 0.008946 | 1 | 1 | 0.008028 | 0.05249 | 0.3048 | 0.008322 | 0.05442 | 0.3159 | json |
| t18_x18_u0_b38 | 18 | 18 | 0 | 38 | ![]() |
add(P,div(R,mod(P,P))) | 124022 | 146898074 | o2(x,o2(x,o2(x,x))) | true | 20583 | 20583 | -0.875 | 0.0625 | 1 | 0.2344 | 0.4841 | -1 | 1 | 2 | 1 | 0.3373 | 0.03175 | 0 | 0.01587 | 1 | 1 | 0 | 0.06349 | 0.03175 | 0.03149 | 0.1774 | 11.18 | 2 | 0.1354 | 0.2709 | 1 | 1 | 0.01053 | 0.07368 | 0.1684 | 0.04491 | 0.3144 | 0.7186 | json |
| t18_x18_u0_b39 | 18 | 18 | 0 | 39 | ![]() |
add(P,div(R,lrg(P,P))) | 124023 | 146898075 | o2(x,o2(x,o2(x,x))) | true | 20591 | 20591 | -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_x18_u0_b40 | 18 | 18 | 0 | 40 | ![]() |
add(P,div(R,eql(P,P))) | 124024 | 146898076 | o2(x,o2(x,o2(x,x))) | true | 20599 | 20599 | 0.003757 | 0.4974 | 0.9428 | 0.9208 | 0.9596 | -1 | 1 | 2 | 1 | 1.952 | 0.001169 | 0.000358 | 0.0111 | 0.5311 | 1 | -0.00002042 | 0.0002765 | 0.003741 | 0.001403 | 0.03746 | 3.374 | 0.312 | 0.001658 | 0.0003002 | 1 | 1 | 0.003726 | 0.04331 | 0.2691 | 0.004046 | 0.04703 | 0.2923 | json |
| t18_x18_u0_b41 | 18 | 18 | 0 | 41 | ![]() |
add(P,div(R,min(P,P))) | 124025 | 146898077 | o2(x,o2(x,o2(x,x))) | true | 20607 | 20607 | -0.1243 | 0.4375 | 0.9952 | 0.977 | 0.9884 | -1 | 1 | 2 | 1 | 1.15 | 0.01468 | 0.00005831 | 0.009382 | 0.9921 | 1 | -2.5e-8 | 0.02923 | 0.01687 | 0.01464 | 0.121 | 12.9 | 2 | 0.01508 | 0.02991 | 1 | 1 | 0.01943 | 0.0817 | 0.3353 | 0.01988 | 0.08362 | 0.3432 | json |
| t18_x18_u0_b42 | 18 | 18 | 0 | 42 | ![]() |
add(P,div(R,dot(P,P))) | 124026 | 146898078 | o2(x,o2(x,o2(x,x))) | true | 20615 | 20615 | -0.007541 | 0.4931 | 0.9456 | 0.9317 | 0.9653 | -1 | 1 | 2 | 1 | 1.786 | 0.004508 | 0.002772 | 0.01085 | 0.2385 | 1 | -3.632e-7 | 0.01402 | 0.009199 | 0.007164 | 0.08464 | 7.799 | 2.828 | 0.007813 | 0.01505 | 1 | 1 | 0.01333 | 0.06875 | 0.3044 | 0.01431 | 0.07379 | 0.3267 | json |
| t18_x18_u0_b43 | 18 | 18 | 0 | 43 | ![]() |
add(P,div(R,dst(P,P))) | 124027 | 146898079 | o2(x,o2(x,o2(x,x))) | true | 20623 | 20623 | -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_x18_u0_b44 | 18 | 18 | 0 | 44 | ![]() |
add(P,pow(R,add(P,P))) | 124028 | 146898080 | o2(x,o2(x,o2(x,x))) | true | 20631 | 20631 | -0.8533 | 0.07416 | 0.9983 | 0.2692 | 0.5188 | -1 | 1 | 2 | 1 | 0.4231 | 0.02451 | 0.02357 | 0.02481 | 0.01949 | 1 | -1.201e-10 | 0.09969 | 0.04887 | 0.04749 | 0.2179 | 8.782 | 2.828 | 0.1786 | 0.3704 | 1 | 1 | 0.04555 | 0.1923 | 0.6283 | 0.1692 | 0.7144 | 2.334 | json |
| t18_x18_u0_b45 | 18 | 18 | 0 | 45 | ![]() |
add(P,pow(R,sub(P,P))) | 124029 | 146898081 | o2(x,o2(x,o2(x,x))) | true | 20639 | 20639 | 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_x18_u0_b46 | 18 | 18 | 0 | 46 | ![]() |
add(P,pow(R,mlt(P,P))) | 124030 | 146898082 | o2(x,o2(x,o2(x,x))) | true | 20647 | 20647 | -0.9263 | 0.03574 | 0.9892 | 0.1277 | 0.3574 | -1 | 1 | 2 | 1 | 0.4086 | 0.01061 | 0.01079 | 0.0134 | -0.008542 | 1 | 9.011e-11 | 0.04412 | 0.02316 | 0.02121 | 0.1456 | 10.87 | 2.828 | 0.1675 | 0.3454 | 1 | 1 | 0.01993 | 0.08925 | 0.2896 | 0.156 | 0.6988 | 2.267 | json |
| t18_x18_u0_b47 | 18 | 18 | 0 | 47 | ![]() |
add(P,pow(R,div(P,P))) | 124031 | 146898083 | o2(x,o2(x,o2(x,x))) | true | 20655 | 20655 | -0.9902 | 0.003906 | 0.998 | 0.0167 | 0.1292 | -1 | 1 | 2 | 1 | 0.09029 | 0.001282 | 0.001799 | 0.002165 | -0.1675 | 1 | -3.004e-11 | 0.006365 | 0.003746 | 0.003075 | 0.05545 | 25.61 | 2 | 0.1845 | 0.3812 | 1 | 1 | 0.0006008 | 0.002481 | 0.01751 | 0.03598 | 0.1486 | 1.048 | json |
| t18_x18_u0_b48 | 18 | 18 | 0 | 48 | ![]() |
add(P,pow(R,pow(P,P))) | 124032 | 146898084 | o2(x,o2(x,o2(x,x))) | true | 20663 | 20663 | -0.985 | 0.007813 | 0.9994 | 0.02875 | 0.1696 | -1 | 1 | 2 | 1 | 0.07713 | 0.002582 | 0.003488 | 0.0033 | -0.1492 | 1 | -9.011e-11 | 0.01276 | 0.006428 | 0.006059 | 0.07784 | 23.59 | 2.828 | 0.2111 | 0.4436 | 1 | 1 | 0.0008088 | 0.005575 | 0.02541 | 0.02813 | 0.1939 | 0.8837 | json |
| t18_x18_u0_b49 | 18 | 18 | 0 | 49 | ![]() |
add(P,pow(R,mod(P,P))) | 124033 | 146898085 | o2(x,o2(x,o2(x,x))) | true | 20671 | 20671 | -0.5518 | 0.2083 | 0.967 | 0.655 | 0.8093 | -1 | 1 | 2 | 1 | 1.215 | 0.08396 | 0.0246 | 0.06184 | 0.5468 | 1 | -0.0003388 | 0.2204 | 0.1142 | 0.1048 | 0.3237 | 5.234 | 2.828 | 0.1657 | 0.3366 | 1 | 1 | 0.1222 | 0.5105 | 1.277 | 0.1865 | 0.7795 | 1.95 | json |
| t18_x18_u0_b50 | 18 | 18 | 0 | 50 | ![]() |
add(P,pow(R,lrg(P,P))) | 124034 | 146898086 | o2(x,o2(x,o2(x,x))) | true | 20679 | 20679 | 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_x18_u0_b51 | 18 | 18 | 0 | 51 | ![]() |
add(P,pow(R,eql(P,P))) | 124035 | 146898087 | o2(x,o2(x,o2(x,x))) | true | 20687 | 20687 | 0.003757 | 0.4974 | 0.9428 | 0.9208 | 0.9596 | -1 | 1 | 2 | 1 | 1.952 | 0.001169 | 0.000358 | 0.0111 | 0.5311 | 1 | -0.00002042 | 0.0002765 | 0.003741 | 0.001403 | 0.03746 | 3.374 | 0.312 | 0.001658 | 0.0003002 | 1 | 1 | 0.003726 | 0.04331 | 0.2691 | 0.004046 | 0.04703 | 0.2923 | json |
| t18_x18_u0_b52 | 18 | 18 | 0 | 52 | ![]() |
add(P,pow(R,min(P,P))) | 124036 | 146898088 | o2(x,o2(x,o2(x,x))) | true | 20695 | 20695 | -0.8593 | 0.07239 | 0.9946 | 0.254 | 0.504 | -1 | 1 | 2 | 1 | 0.4736 | 0.02315 | 0.0221 | 0.02456 | 0.02323 | 1 | -0.0001428 | 0.09403 | 0.04697 | 0.04461 | 0.2112 | 8.601 | 2.828 | 0.1782 | 0.3702 | 1 | 1 | 0.04183 | 0.1817 | 0.5783 | 0.1647 | 0.7155 | 2.277 | json |
| t18_x18_u0_b53 | 18 | 18 | 0 | 53 | ![]() |
add(P,pow(R,dot(P,P))) | 124037 | 146898089 | o2(x,o2(x,o2(x,x))) | true | 20703 | 20703 | -0.9836 | 0.007813 | 0.9953 | 0.02653 | 0.1629 | -1 | 1 | 2 | 1 | 0.154 | 0.002157 | 0.003173 | 0.003747 | -0.1906 | 1 | 1.427e-10 | 0.01107 | 0.006396 | 0.005315 | 0.0729 | 19.46 | 2.828 | 0.2009 | 0.4173 | 1 | 1 | 0.0008242 | 0.005025 | 0.02426 | 0.03107 | 0.1894 | 0.9147 | json |
| t18_x18_u0_b54 | 18 | 18 | 0 | 54 | ![]() |
add(P,pow(R,dst(P,P))) | 124038 | 146898090 | o2(x,o2(x,o2(x,x))) | true | 20711 | 20711 | 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_x18_u0_b55 | 18 | 18 | 0 | 55 | ![]() |
add(P,mod(R,add(P,P))) | 124039 | 146898091 | o2(x,o2(x,o2(x,x))) | true | 20719 | 20719 | -0.1213 | 0.4375 | 0.992 | 0.9739 | 0.9869 | -1 | 1 | 2 | 1 | 1.199 | 0.0153 | 0.0000739 | 0.01075 | 0.9904 | 1 | -0.000007567 | 0.03034 | 0.0185 | 0.01526 | 0.1235 | 11.5 | 2 | 0.01578 | 0.03116 | 1 | 1 | 0.02016 | 0.08452 | 0.3399 | 0.0207 | 0.08678 | 0.349 | json |
| t18_x18_u0_b56 | 18 | 18 | 0 | 56 | ![]() |
add(P,mod(R,sub(P,P))) | 124040 | 146898092 | o2(x,o2(x,o2(x,x))) | true | 20727 | 20727 | 0.003757 | 0.4974 | 0.9428 | 0.9208 | 0.9596 | -1 | 1 | 2 | 1 | 1.952 | 0.001169 | 0.000358 | 0.0111 | 0.5311 | 1 | -0.00002042 | 0.0002765 | 0.003741 | 0.001403 | 0.03746 | 3.374 | 0.312 | 0.001658 | 0.0003002 | 1 | 1 | 0.003726 | 0.04331 | 0.2691 | 0.004046 | 0.04703 | 0.2923 | json |
| t18_x18_u0_b57 | 18 | 18 | 0 | 57 | ![]() |
add(P,mod(R,mlt(P,P))) | 124041 | 146898093 | o2(x,o2(x,o2(x,x))) | true | 20735 | 20735 | -0.1213 | 0.4375 | 0.992 | 0.9739 | 0.9869 | -1 | 1 | 2 | 1 | 1.199 | 0.0153 | 0.0000739 | 0.01075 | 0.9904 | 1 | -0.000007567 | 0.03034 | 0.0185 | 0.01526 | 0.1235 | 11.5 | 2 | 0.01578 | 0.03116 | 1 | 1 | 0.02016 | 0.08452 | 0.3399 | 0.0207 | 0.08678 | 0.349 | json |
| t18_x18_u0_b58 | 18 | 18 | 0 | 58 | ![]() |
add(P,mod(R,div(P,P))) | 124042 | 146898094 | o2(x,o2(x,o2(x,x))) | true | 20743 | 20743 | -0.1213 | 0.4375 | 0.992 | 0.9739 | 0.9869 | -1 | 1 | 2 | 1 | 1.199 | 0.0153 | 0.0000739 | 0.01075 | 0.9904 | 1 | -0.000007567 | 0.03034 | 0.0185 | 0.01526 | 0.1235 | 11.5 | 2 | 0.01578 | 0.03116 | 1 | 1 | 0.02016 | 0.08452 | 0.3399 | 0.0207 | 0.08678 | 0.349 | json |
| t18_x18_u0_b59 | 18 | 18 | 0 | 59 | ![]() |
add(P,mod(R,pow(P,P))) | 124043 | 146898095 | o2(x,o2(x,o2(x,x))) | true | 20751 | 20751 | -0.03673 | 0.4858 | 0.9754 | 0.9645 | 0.9821 | -1 | 1 | 2 | 1 | 1.477 | 0.004958 | 0.0001629 | 0.008996 | 0.9364 | 1 | -0.00001831 | 0.008633 | 0.008719 | 0.00504 | 0.07099 | 7.892 | 1.829 | 0.005309 | 0.00895 | 1 | 1 | 0.008029 | 0.0525 | 0.3046 | 0.008324 | 0.05443 | 0.3158 | json |
| t18_x18_u0_b60 | 18 | 18 | 0 | 60 | ![]() |
add(P,mod(R,mod(P,P))) | 124044 | 146898096 | o2(x,o2(x,o2(x,x))) | true | 20759 | 20759 | -0.875 | 0.0625 | 1 | 0.2344 | 0.4841 | -1 | 1 | 2 | 1 | 0.3373 | 0.03175 | 0 | 0.01587 | 1 | 1 | 0 | 0.06349 | 0.03175 | 0.03149 | 0.1774 | 11.18 | 2 | 0.1354 | 0.2709 | 1 | 1 | 0.01053 | 0.07368 | 0.1684 | 0.04491 | 0.3144 | 0.7186 | json |
| t18_x18_u0_b61 | 18 | 18 | 0 | 61 | ![]() |
add(P,mod(R,lrg(P,P))) | 124045 | 146898097 | o2(x,o2(x,o2(x,x))) | true | 20767 | 20767 | -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_x18_u0_b62 | 18 | 18 | 0 | 62 | ![]() |
add(P,mod(R,eql(P,P))) | 124046 | 146898098 | o2(x,o2(x,o2(x,x))) | true | 20775 | 20775 | 0.003757 | 0.4974 | 0.9428 | 0.9208 | 0.9596 | -1 | 1 | 2 | 1 | 1.952 | 0.001169 | 0.000358 | 0.0111 | 0.5311 | 1 | -0.00002042 | 0.0002765 | 0.003741 | 0.001403 | 0.03746 | 3.374 | 0.312 | 0.001658 | 0.0003002 | 1 | 1 | 0.003726 | 0.04331 | 0.2691 | 0.004046 | 0.04703 | 0.2923 | json |
| t18_x18_u0_b63 | 18 | 18 | 0 | 63 | ![]() |
add(P,mod(R,min(P,P))) | 124047 | 146898099 | o2(x,o2(x,o2(x,x))) | true | 20783 | 20783 | -0.1213 | 0.4375 | 0.992 | 0.9739 | 0.9869 | -1 | 1 | 2 | 1 | 1.199 | 0.0153 | 0.0000739 | 0.01075 | 0.9904 | 1 | -0.000007567 | 0.03034 | 0.0185 | 0.01526 | 0.1235 | 11.5 | 2 | 0.01578 | 0.03116 | 1 | 1 | 0.02016 | 0.08452 | 0.3399 | 0.0207 | 0.08678 | 0.349 | json |
| t18_x18_u0_b64 | 18 | 18 | 0 | 64 | ![]() |
add(P,mod(R,dot(P,P))) | 124048 | 146898100 | o2(x,o2(x,o2(x,x))) | true | 20791 | 20791 | -0.0156 | 0.4876 | 0.9485 | 0.9284 | 0.9636 | -1 | 1 | 2 | 1 | 1.867 | 0.003037 | 0.002033 | 0.01208 | 0.1981 | 1 | -0.00002042 | 0.007991 | 0.007913 | 0.004927 | 0.07019 | 5.809 | 2.828 | 0.00546 | 0.008607 | 1 | 1 | 0.009663 | 0.06112 | 0.3102 | 0.01041 | 0.06583 | 0.3342 | json |
| t18_x18_u0_b65 | 18 | 18 | 0 | 65 | ![]() |
add(P,mod(R,dst(P,P))) | 124049 | 146898101 | o2(x,o2(x,o2(x,x))) | true | 20799 | 20799 | 0.003757 | 0.4974 | 0.9428 | 0.9208 | 0.9596 | -1 | 1 | 2 | 1 | 1.952 | 0.001169 | 0.000358 | 0.0111 | 0.5311 | 1 | -0.00002042 | 0.0002765 | 0.003741 | 0.001403 | 0.03746 | 3.374 | 0.312 | 0.001658 | 0.0003002 | 1 | 1 | 0.003726 | 0.04331 | 0.2691 | 0.004046 | 0.04703 | 0.2923 | json |
| t18_x18_u0_b66 | 18 | 18 | 0 | 66 | ![]() |
add(P,lrg(R,add(P,P))) | 124050 | 146898102 | o2(x,o2(x,o2(x,x))) | true | 20807 | 20807 | 0.08984 | 0.5378 | 0.9023 | 0.8786 | 0.9373 | -1 | 1 | 2 | 1 | 2.016 | 0.0006768 | 0.0001053 | 0.00895 | 0.7306 | 1 | -0.000005704 | 0.00003874 | 0.002113 | 0.000702 | 0.0265 | 2.96 | 0.1169 | 0.0008902 | 0.00004409 | 1 | 1 | 0.002072 | 0.02727 | 0.2084 | 0.002358 | 0.03104 | 0.2372 | json |
| t18_x18_u0_b67 | 18 | 18 | 0 | 67 | ![]() |
add(P,lrg(R,sub(P,P))) | 124051 | 146898103 | o2(x,o2(x,o2(x,x))) | true | 20815 | 20815 | 0.06347 | 0.5253 | 0.9326 | 0.9159 | 0.9571 | -1 | 1 | 2 | 1 | 1.84 | 0.0009772 | 0.0002573 | 0.009837 | 0.5831 | 1 | -0.00001925 | 0.0001771 | 0.002995 | 0.001138 | 0.03373 | 3.429 | 0.2338 | 0.001348 | 0.0001934 | 1 | 1 | 0.003184 | 0.03819 | 0.2638 | 0.003476 | 0.0417 | 0.288 | json |
| t18_x18_u0_b68 | 18 | 18 | 0 | 68 | ![]() |
add(P,lrg(R,mlt(P,P))) | 124052 | 146898104 | o2(x,o2(x,o2(x,x))) | true | 20823 | 20823 | 0.02734 | 0.5159 | 0.9557 | 0.9422 | 0.9707 | -1 | 1 | 2 | 1 | 1.694 | 0.0009905 | 0.0001053 | 0.008779 | 0.8077 | 1 | -0.000005704 | 0.00005319 | 0.002009 | 0.001018 | 0.03191 | 3.635 | 0.2338 | 0.001163 | 0.00005645 | 1 | 1 | 0.002919 | 0.03841 | 0.2793 | 0.003098 | 0.04077 | 0.2964 | json |
| t18_x18_u0_b69 | 18 | 18 | 0 | 69 | ![]() |
add(P,lrg(R,div(P,P))) | 124053 | 146898105 | o2(x,o2(x,o2(x,x))) | true | 20831 | 20831 | 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_x18_u0_b70 | 18 | 18 | 0 | 70 | ![]() |
add(P,lrg(R,pow(P,P))) | 124054 | 146898106 | o2(x,o2(x,o2(x,x))) | true | 20839 | 20839 | 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_x18_u0_b71 | 18 | 18 | 0 | 71 | ![]() |
add(P,lrg(R,mod(P,P))) | 124055 | 146898107 | o2(x,o2(x,o2(x,x))) | true | 20847 | 20847 | 0.09445 | 0.5457 | 0.9587 | 0.9388 | 0.9689 | -1 | 1 | 2 | 1 | 1.643 | 0.001055 | 0.0001466 | 0.008871 | 0.7558 | 1 | -0.000009266 | 0.000114 | 0.002347 | 0.001123 | 0.03351 | 3.777 | 0.2338 | 0.001279 | 0.0001214 | 1 | 1 | 0.003101 | 0.03938 | 0.2852 | 0.003303 | 0.04195 | 0.3038 | json |
| t18_x18_u0_b72 | 18 | 18 | 0 | 72 | ![]() |
add(P,lrg(R,lrg(P,P))) | 124056 | 146898108 | o2(x,o2(x,o2(x,x))) | true | 20855 | 20855 | 0.06347 | 0.5253 | 0.9326 | 0.9159 | 0.9571 | -1 | 1 | 2 | 1 | 1.84 | 0.0009772 | 0.0002573 | 0.009837 | 0.5831 | 1 | -0.00001925 | 0.0001771 | 0.002995 | 0.001138 | 0.03373 | 3.429 | 0.2338 | 0.001348 | 0.0001934 | 1 | 1 | 0.003184 | 0.03819 | 0.2638 | 0.003476 | 0.0417 | 0.288 | json |
| t18_x18_u0_b73 | 18 | 18 | 0 | 73 | ![]() |
add(P,lrg(R,eql(P,P))) | 124057 | 146898109 | o2(x,o2(x,o2(x,x))) | true | 20863 | 20863 | 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_x18_u0_b74 | 18 | 18 | 0 | 74 | ![]() |
add(P,lrg(R,min(P,P))) | 124058 | 146898110 | o2(x,o2(x,o2(x,x))) | true | 20871 | 20871 | 0.08984 | 0.5378 | 0.9023 | 0.8786 | 0.9373 | -1 | 1 | 2 | 1 | 2.016 | 0.0006768 | 0.0001053 | 0.00895 | 0.7306 | 1 | -0.000005704 | 0.00003874 | 0.002113 | 0.000702 | 0.0265 | 2.96 | 0.1169 | 0.0008902 | 0.00004409 | 1 | 1 | 0.002072 | 0.02727 | 0.2084 | 0.002358 | 0.03104 | 0.2372 | json |
| t18_x18_u0_b75 | 18 | 18 | 0 | 75 | ![]() |
add(P,lrg(R,dot(P,P))) | 124059 | 146898111 | o2(x,o2(x,o2(x,x))) | true | 20879 | 20879 | 0.003906 | 0.5027 | 0.94 | 0.9263 | 0.9625 | -1 | 1 | 2 | 1 | 1.811 | 0.000741 | 0.00003512 | 0.008218 | 0.9095 | 1 | -2.229e-12 | 0.00003657 | 0.001903 | 0.0007087 | 0.02662 | 3.24 | 0.2338 | 0.0008378 | 0.00003948 | 1 | 1 | 0.002095 | 0.02767 | 0.2431 | 0.002262 | 0.02987 | 0.2624 | json |
| t18_x18_u0_b76 | 18 | 18 | 0 | 76 | ![]() |
add(P,lrg(R,dst(P,P))) | 124060 | 146898112 | o2(x,o2(x,o2(x,x))) | true | 20887 | 20887 | 0.06347 | 0.5253 | 0.9326 | 0.9159 | 0.9571 | -1 | 1 | 2 | 1 | 1.84 | 0.0009772 | 0.0002573 | 0.009837 | 0.5831 | 1 | -0.00001925 | 0.0001771 | 0.002995 | 0.001138 | 0.03373 | 3.429 | 0.2338 | 0.001348 | 0.0001934 | 1 | 1 | 0.003184 | 0.03819 | 0.2638 | 0.003476 | 0.0417 | 0.288 | json |
| t18_x18_u0_b77 | 18 | 18 | 0 | 77 | ![]() |
add(P,eql(R,add(P,P))) | 124061 | 146898113 | o2(x,o2(x,o2(x,x))) | true | 20895 | 20895 | 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_x18_u0_b78 | 18 | 18 | 0 | 78 | ![]() |
add(P,eql(R,sub(P,P))) | 124062 | 146898114 | o2(x,o2(x,o2(x,x))) | true | 20903 | 20903 | 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_x18_u0_b79 | 18 | 18 | 0 | 79 | ![]() |
add(P,eql(R,mlt(P,P))) | 124063 | 146898115 | o2(x,o2(x,o2(x,x))) | true | 20911 | 20911 | 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_x18_u0_b80 | 18 | 18 | 0 | 80 | ![]() |
add(P,eql(R,div(P,P))) | 124064 | 146898116 | o2(x,o2(x,o2(x,x))) | true | 20919 | 20919 | 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_x18_u0_b81 | 18 | 18 | 0 | 81 | ![]() |
add(P,eql(R,pow(P,P))) | 124065 | 146898117 | o2(x,o2(x,o2(x,x))) | true | 20927 | 20927 | 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_x18_u0_b82 | 18 | 18 | 0 | 82 | ![]() |
add(P,eql(R,mod(P,P))) | 124066 | 146898118 | o2(x,o2(x,o2(x,x))) | true | 20935 | 20935 | 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_x18_u0_b83 | 18 | 18 | 0 | 83 | ![]() |
add(P,eql(R,lrg(P,P))) | 124067 | 146898119 | o2(x,o2(x,o2(x,x))) | true | 20943 | 20943 | 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_x18_u0_b84 | 18 | 18 | 0 | 84 | ![]() |
add(P,eql(R,eql(P,P))) | 124068 | 146898120 | o2(x,o2(x,o2(x,x))) | true | 20951 | 20951 | 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_x18_u0_b85 | 18 | 18 | 0 | 85 | ![]() |
add(P,eql(R,min(P,P))) | 124069 | 146898121 | o2(x,o2(x,o2(x,x))) | true | 20959 | 20959 | 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_x18_u0_b86 | 18 | 18 | 0 | 86 | ![]() |
add(P,eql(R,dot(P,P))) | 124070 | 146898122 | o2(x,o2(x,o2(x,x))) | true | 20967 | 20967 | 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_x18_u0_b87 | 18 | 18 | 0 | 87 | ![]() |
add(P,eql(R,dst(P,P))) | 124071 | 146898123 | o2(x,o2(x,o2(x,x))) | true | 20975 | 20975 | 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_x18_u0_b88 | 18 | 18 | 0 | 88 | ![]() |
add(P,min(R,add(P,P))) | 124072 | 146898124 | o2(x,o2(x,o2(x,x))) | true | 20983 | 20983 | -0.0329 | 0.4833 | 0.9592 | 0.9455 | 0.9724 | -1 | 1 | 2 | 1 | 1.651 | 0.001325 | 0.0001355 | 0.00884 | 0.8144 | 1 | -0.00001821 | 0.0003988 | 0.003679 | 0.001381 | 0.03717 | 4.204 | 0.312 | 0.001545 | 0.0004217 | 1 | 1 | 0.003482 | 0.03673 | 0.2717 | 0.003682 | 0.03884 | 0.2873 | json |
| t18_x18_u0_b89 | 18 | 18 | 0 | 89 | ![]() |
add(P,min(R,sub(P,P))) | 124073 | 146898125 | o2(x,o2(x,o2(x,x))) | true | 20991 | 20991 | -0.03231 | 0.4815 | 0.9463 | 0.928 | 0.9633 | -1 | 1 | 2 | 1 | 1.884 | 0.0008346 | 0.0001011 | 0.008883 | 0.7838 | 1 | -0.00001072 | 0.00008151 | 0.002361 | 0.0008571 | 0.02928 | 3.296 | 0.208 | 0.001008 | 0.00008783 | 1 | 1 | 0.002395 | 0.0304 | 0.2484 | 0.00258 | 0.03275 | 0.2677 | json |
| t18_x18_u0_b90 | 18 | 18 | 0 | 90 | ![]() |
add(P,min(R,mlt(P,P))) | 124074 | 146898126 | o2(x,o2(x,o2(x,x))) | true | 20999 | 20999 | -0.009996 | 0.4833 | 0.9363 | 0.916 | 0.9571 | -1 | 1 | 2 | 1 | 1.949 | 0.001145 | 0.0002596 | 0.01057 | 0.6304 | 1 | -0.00001894 | 0.0002724 | 0.003612 | 0.001293 | 0.03596 | 3.401 | 0.312 | 0.001533 | 0.0002973 | 1 | 1 | 0.003264 | 0.03724 | 0.2435 | 0.003563 | 0.04066 | 0.2658 | json |
| t18_x18_u0_b91 | 18 | 18 | 0 | 91 | ![]() |
add(P,min(R,div(P,P))) | 124075 | 146898127 | o2(x,o2(x,o2(x,x))) | true | 21007 | 21007 | 0.003757 | 0.4974 | 0.9428 | 0.9208 | 0.9596 | -1 | 1 | 2 | 1 | 1.952 | 0.001169 | 0.000358 | 0.0111 | 0.5311 | 1 | -0.00002042 | 0.0002765 | 0.003741 | 0.001403 | 0.03746 | 3.374 | 0.312 | 0.001658 | 0.0003002 | 1 | 1 | 0.003726 | 0.04331 | 0.2691 | 0.004046 | 0.04703 | 0.2923 | json |
| t18_x18_u0_b92 | 18 | 18 | 0 | 92 | ![]() |
add(P,min(R,pow(P,P))) | 124076 | 146898128 | o2(x,o2(x,o2(x,x))) | true | 21015 | 21015 | 0.003757 | 0.4974 | 0.9428 | 0.9208 | 0.9596 | -1 | 1 | 2 | 1 | 1.952 | 0.001169 | 0.000358 | 0.0111 | 0.5311 | 1 | -0.00002042 | 0.0002765 | 0.003741 | 0.001403 | 0.03746 | 3.374 | 0.312 | 0.001658 | 0.0003002 | 1 | 1 | 0.003726 | 0.04331 | 0.2691 | 0.004046 | 0.04703 | 0.2923 | json |
| t18_x18_u0_b93 | 18 | 18 | 0 | 93 | ![]() |
add(P,min(R,mod(P,P))) | 124077 | 146898129 | o2(x,o2(x,o2(x,x))) | true | 21023 | 21023 | -0.01821 | 0.494 | 0.9521 | 0.9323 | 0.9656 | -1 | 1 | 2 | 1 | 1.884 | 0.0009437 | 0.000208 | 0.009555 | 0.6388 | 1 | -0.00001212 | 0.0001011 | 0.002533 | 0.001061 | 0.03257 | 3.408 | 0.2534 | 0.001235 | 0.0001084 | 1 | 1 | 0.003061 | 0.03867 | 0.2743 | 0.003283 | 0.04148 | 0.2942 | json |
| t18_x18_u0_b94 | 18 | 18 | 0 | 94 | ![]() |
add(P,min(R,lrg(P,P))) | 124078 | 146898130 | o2(x,o2(x,o2(x,x))) | true | 21031 | 21031 | -0.03231 | 0.4815 | 0.9463 | 0.928 | 0.9633 | -1 | 1 | 2 | 1 | 1.884 | 0.0008346 | 0.0001011 | 0.008883 | 0.7838 | 1 | -0.00001072 | 0.00008151 | 0.002361 | 0.0008571 | 0.02928 | 3.296 | 0.208 | 0.001008 | 0.00008783 | 1 | 1 | 0.002395 | 0.0304 | 0.2484 | 0.00258 | 0.03275 | 0.2677 | json |
| t18_x18_u0_b95 | 18 | 18 | 0 | 95 | ![]() |
add(P,min(R,eql(P,P))) | 124079 | 146898131 | o2(x,o2(x,o2(x,x))) | true | 21039 | 21039 | 0.003757 | 0.4974 | 0.9428 | 0.9208 | 0.9596 | -1 | 1 | 2 | 1 | 1.952 | 0.001169 | 0.000358 | 0.0111 | 0.5311 | 1 | -0.00002042 | 0.0002765 | 0.003741 | 0.001403 | 0.03746 | 3.374 | 0.312 | 0.001658 | 0.0003002 | 1 | 1 | 0.003726 | 0.04331 | 0.2691 | 0.004046 | 0.04703 | 0.2923 | json |
| t18_x18_u0_b96 | 18 | 18 | 0 | 96 | ![]() |
add(P,min(R,min(P,P))) | 124080 | 146898132 | o2(x,o2(x,o2(x,x))) | true | 21047 | 21047 | -0.03068 | 0.4833 | 0.957 | 0.9435 | 0.9714 | -1 | 1 | 2 | 1 | 1.692 | 0.001208 | 0.0001388 | 0.008884 | 0.7938 | 1 | -0.00001833 | 0.0002644 | 0.003305 | 0.001267 | 0.0356 | 4.007 | 0.312 | 0.001427 | 0.0002803 | 1 | 1 | 0.003263 | 0.03603 | 0.2678 | 0.003458 | 0.03819 | 0.2839 | json |
| t18_x18_u0_b97 | 18 | 18 | 0 | 97 | ![]() |
add(P,min(R,dot(P,P))) | 124081 | 146898133 | o2(x,o2(x,o2(x,x))) | true | 21055 | 21055 | 0.0005772 | 0.4954 | 0.9412 | 0.9195 | 0.9589 | -1 | 1 | 2 | 1 | 1.953 | 0.001142 | 0.00034 | 0.01101 | 0.5412 | 1 | -0.00002042 | 0.0002731 | 0.00369 | 0.001361 | 0.0369 | 3.353 | 0.312 | 0.001612 | 0.000297 | 1 | 1 | 0.003571 | 0.04132 | 0.2597 | 0.003884 | 0.04494 | 0.2824 | json |
| t18_x18_u0_b98 | 18 | 18 | 0 | 98 | ![]() |
add(P,min(R,dst(P,P))) | 124082 | 146898134 | o2(x,o2(x,o2(x,x))) | true | 21063 | 21063 | -0.03231 | 0.4815 | 0.9463 | 0.928 | 0.9633 | -1 | 1 | 2 | 1 | 1.884 | 0.0008346 | 0.0001011 | 0.008883 | 0.7838 | 1 | -0.00001072 | 0.00008151 | 0.002361 | 0.0008571 | 0.02928 | 3.296 | 0.208 | 0.001008 | 0.00008783 | 1 | 1 | 0.002395 | 0.0304 | 0.2484 | 0.00258 | 0.03275 | 0.2677 | json |
| t18_x18_u0_b99 | 18 | 18 | 0 | 99 | ![]() |
add(P,dot(R,add(P,P))) | 124083 | 146898135 | o2(x,o2(x,o2(x,x))) | true | 21071 | 21071 | -0.07575 | 0.4635 | 0.9424 | 0.918 | 0.9581 | -1 | 1 | 2 | 1 | 1.901 | 0.03116 | 0.04299 | 0.08089 | -0.1596 | 1 | -0.00003629 | 0.1002 | 0.09016 | 0.06763 | 0.2601 | 3.215 | 2.5 | 0.08077 | 0.1092 | 1 | 1 | 0.0937 | 0.5518 | 1.285 | 0.1021 | 0.6011 | 1.4 | json |
| t18_x18_u0_b100 | 18 | 18 | 0 | 100 | ![]() |
add(P,dot(R,sub(P,P))) | 124084 | 146898136 | o2(x,o2(x,o2(x,x))) | true | 21079 | 21079 | 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_x18_u0_b101 | 18 | 18 | 0 | 101 | ![]() |
add(P,dot(R,mlt(P,P))) | 124085 | 146898137 | o2(x,o2(x,o2(x,x))) | true | 21087 | 21087 | 0.05591 | 0.5299 | 0.9566 | 0.9395 | 0.9693 | -1 | 1 | 2 | 1 | 1.691 | 0.07046 | 0.08032 | 0.1065 | -0.06544 | 1 | -0.00004424 | 0.3197 | 0.1652 | 0.1394 | 0.3733 | 3.505 | 2.828 | 0.1605 | 0.3403 | 1 | 1 | 0.1348 | 0.6875 | 1.604 | 0.1435 | 0.7318 | 1.707 | json |
| t18_x18_u0_b102 | 18 | 18 | 0 | 102 | ![]() |
add(P,dot(R,div(P,P))) | 124086 | 146898138 | o2(x,o2(x,o2(x,x))) | true | 21095 | 21095 | -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_x18_u0_b103 | 18 | 18 | 0 | 103 | ![]() |
add(P,dot(R,pow(P,P))) | 124087 | 146898139 | o2(x,o2(x,o2(x,x))) | true | 21103 | 21103 | -0.7194 | 0.1406 | 0.9961 | 0.4771 | 0.6907 | -1 | 1 | 2 | 1 | 0.6657 | 0.02936 | 0.03317 | 0.03237 | -0.06093 | 1 | 0 | 0.1598 | 0.06389 | 0.06147 | 0.2479 | 7.659 | 2.828 | 0.1311 | 0.3349 | 1 | 1 | 0.06 | 0.2663 | 0.6499 | 0.1258 | 0.5582 | 1.362 | json |
| t18_x18_u0_b104 | 18 | 18 | 0 | 104 | ![]() |
add(P,dot(R,mod(P,P))) | 124088 | 146898140 | o2(x,o2(x,o2(x,x))) | true | 21111 | 21111 | -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_x18_u0_b105 | 18 | 18 | 0 | 105 | ![]() |
add(P,dot(R,lrg(P,P))) | 124089 | 146898141 | o2(x,o2(x,o2(x,x))) | true | 21119 | 21119 | 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_x18_u0_b106 | 18 | 18 | 0 | 106 | ![]() |
add(P,dot(R,eql(P,P))) | 124090 | 146898142 | o2(x,o2(x,o2(x,x))) | true | 21127 | 21127 | 0.005843 | 0.5009 | 0.9404 | 0.9198 | 0.9591 | -1 | 1 | 2 | 1 | 1.945 | 0.00172 | 0.001022 | 0.01529 | 0.2546 | 1 | -0.00001375 | 0.0005676 | 0.005473 | 0.002508 | 0.05008 | 3.276 | 0.4501 | 0.002981 | 0.0006171 | 1 | 1 | 0.007236 | 0.07888 | 0.313 | 0.007867 | 0.08576 | 0.3403 | json |
| t18_x18_u0_b107 | 18 | 18 | 0 | 107 | ![]() |
add(P,dot(R,min(P,P))) | 124091 | 146898143 | o2(x,o2(x,o2(x,x))) | true | 21135 | 21135 | -0.02508 | 0.4888 | 0.9283 | 0.9035 | 0.9505 | -1 | 1 | 2 | 1 | 2.103 | 0.01265 | 0.01563 | 0.05221 | -0.1053 | 1 | -0.0001246 | 0.02248 | 0.03892 | 0.02555 | 0.1598 | 3.061 | 1.84 | 0.03129 | 0.02488 | 1 | 1 | 0.04156 | 0.3309 | 0.7662 | 0.046 | 0.3662 | 0.8481 | json |
| t18_x18_u0_b108 | 18 | 18 | 0 | 108 | ![]() |
add(P,dot(R,dot(P,P))) | 124092 | 146898144 | o2(x,o2(x,o2(x,x))) | true | 21143 | 21143 | -0.006916 | 0.4957 | 0.9699 | 0.96 | 0.9798 | -1 | 1 | 2 | 1 | 1.524 | 0.09367 | 0.0922 | 0.1181 | 0.007919 | 1 | 0.00001856 | 0.4215 | 0.1997 | 0.1719 | 0.4146 | 3.51 | 2.828 | 0.1936 | 0.4391 | 1 | 1 | 0.1862 | 0.8834 | 1.693 | 0.1939 | 0.9202 | 1.763 | json |
| t18_x18_u0_b109 | 18 | 18 | 0 | 109 | ![]() |
add(P,dot(R,dst(P,P))) | 124093 | 146898145 | o2(x,o2(x,o2(x,x))) | true | 21151 | 21151 | 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_x18_u0_b110 | 18 | 18 | 0 | 110 | ![]() |
add(P,dst(R,add(P,P))) | 124094 | 146898146 | o2(x,o2(x,o2(x,x))) | true | 21159 | 21159 | 0.9997 | 1 | 0.9997 | 0.00005501 | 0.007417 | 0.7142 | 1 | 0.2858 | 1 | 0.0183 | 0.000002987 | 0.000007093 | 0.0001269 | -0.4074 | 0 | -2.628e-11 | 0.000007386 | 0.0001112 | 0.00001006 | 0.003171 | 24.99 | 0.1284 | 0.1832 | 0.1343 | 1 | 1 | 0.00003005 | 0.0001751 | 0.0002001 | 0.5462 | 3.183 | 3.638 | json |
| t18_x18_u0_b111 | 18 | 18 | 0 | 111 | ![]() |
add(P,dst(R,sub(P,P))) | 124095 | 146898147 | o2(x,o2(x,o2(x,x))) | true | 21167 | 21167 | 0.1228 | 0.5638 | 0.9362 | 0.9005 | 0.9489 | -1 | 1 | 2 | 1 | 1.979 | 0.0007835 | 0.00009467 | 0.008974 | 0.7844 | 1 | -0.000002358 | 0.0001175 | 0.002698 | 0.0007974 | 0.02824 | 3.147 | 0.2056 | 0.0009753 | 0.0001304 | 1 | 1 | 0.002174 | 0.02655 | 0.2276 | 0.002415 | 0.02948 | 0.2528 | json |
| t18_x18_u0_b112 | 18 | 18 | 0 | 112 | ![]() |
add(P,dst(R,mlt(P,P))) | 124096 | 146898148 | o2(x,o2(x,o2(x,x))) | true | 21175 | 21175 | 0.9934 | 0.9982 | 0.9942 | 0.005093 | 0.07137 | -0.4068 | 1 | 1.407 | 1 | 0.1383 | 0.0001364 | 0.0001069 | 0.001484 | 0.121 | 1 | -3.379e-11 | 0.00008017 | 0.0006982 | 0.000241 | 0.01552 | 10.46 | 0.4107 | 0.04777 | 0.01574 | 1 | 1 | 0.0007965 | 0.007695 | 0.01689 | 0.1564 | 1.511 | 3.316 | json |
| t18_x18_u0_b113 | 18 | 18 | 0 | 113 | ![]() |
add(P,dst(R,div(P,P))) | 124097 | 146898149 | o2(x,o2(x,o2(x,x))) | true | 21183 | 21183 | -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_x18_u0_b114 | 18 | 18 | 0 | 114 | ![]() |
add(P,dst(R,pow(P,P))) | 124098 | 146898150 | o2(x,o2(x,o2(x,x))) | true | 21191 | 21191 | -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_x18_u0_b115 | 18 | 18 | 0 | 115 | ![]() |
add(P,dst(R,mod(P,P))) | 124099 | 146898151 | o2(x,o2(x,o2(x,x))) | true | 21199 | 21199 | -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 |



































































































