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_x1_u0_b183 | 20 | 1 | 0 | 183 |  |
sub(P,mod(eql(P,P),D)) | 159900 | 162452604 | o2(x,o2(o2(x,x),x)) | true | 159207 | 159207 | -0.0196 | 0.4805 | 0.9375 | 0.9235 | 0.961 | -1 | 1 | 2 | 1 | 1.767 | 0.001215 | 0 | 0.01013 | 1 | 1 | -1.301e-9 | 0.001069 | 0.009733 | 0.001112 | 0.03335 | 3.291 | 0.2323 | 0.001316 | 0.001158 | 1 | 1 | 0.002514 | 0.0271 | 0.2345 | 0.002723 | 0.02935 | 0.254 | json |
| t20_x1_u0_b184 | 20 | 1 | 0 | 184 |  |
sub(P,mod(min(P,P),D)) | 159901 | 162452605 | o2(x,o2(o2(x,x),x)) | true | 159215 | 159215 | 0 | 0.5 | 0.9256 | 0.9089 | 0.9534 | -1 | 1 | 2 | 1 | 1.93 | 0.001277 | 0 | 0.009587 | 1 | 1 | 0 | 0.001739 | 0.01148 | 0.001184 | 0.03442 | 3.59 | 0.289 | 0.001404 | 0.001913 | 1 | 1 | 0.002233 | 0.02252 | 0.2147 | 0.002457 | 0.02478 | 0.2362 | json |
| t20_x1_u0_b185 | 20 | 1 | 0 | 185 |  |
sub(P,mod(dot(P,P),D)) | 159902 | 162452606 | o2(x,o2(o2(x,x),x)) | true | 159223 | 159223 | -0.01706 | 0.4849 | 0.9374 | 0.9239 | 0.9612 | -1 | 1 | 2 | 1 | 1.806 | 0.001541 | 0.000007031 | 0.01095 | 0.9909 | 1 | -7.823e-9 | 0.002047 | 0.0131 | 0.001428 | 0.03779 | 3.45 | 0.4155 | 0.001676 | 0.002215 | 1 | 1 | 0.002797 | 0.0269 | 0.2352 | 0.003028 | 0.02912 | 0.2546 | json |
| t20_x1_u0_b186 | 20 | 1 | 0 | 186 |  |
sub(P,mod(dst(P,P),D)) | 159903 | 162452607 | o2(x,o2(o2(x,x),x)) | true | 159231 | 159231 | 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_x1_u0_b187 | 20 | 1 | 0 | 187 |  |
sub(P,lrg(add(P,P),D)) | 159904 | 162452608 | o2(x,o2(o2(x,x),x)) | true | 159239 | 159239 | -0.09375 | 0.4375 | 0.9063 | 0.89 | 0.9434 | -1 | 1 | 2 | 1 | 1.621 | 0.004321 | 0 | 0.007937 | 1 | 1 | -4.731e-10 | 0.007953 | 0.008864 | 0.004257 | 0.06525 | 8.221 | 1 | 0.004855 | 0.008935 | 1 | 1 | 0.006189 | 0.0332 | 0.2014 | 0.006953 | 0.0373 | 0.2263 | json |
| t20_x1_u0_b188 | 20 | 1 | 0 | 188 |  |
sub(P,lrg(sub(P,P),D)) | 159905 | 162452609 | o2(x,o2(o2(x,x),x)) | true | 159247 | 159247 | -0.0625 | 0.4375 | 0.9375 | 0.9336 | 0.9662 | -1 | 1 | 2 | 1 | 1.272 | 0.007937 | 0 | 0.007937 | 1 | 1 | 0 | 0.01587 | 0.01587 | 0.007872 | 0.08872 | 11.18 | 1 | 0.008501 | 0.017 | 1 | 1 | 0.01053 | 0.04211 | 0.2526 | 0.01128 | 0.0451 | 0.2706 | json |
| t20_x1_u0_b189 | 20 | 1 | 0 | 189 |  |
sub(P,lrg(mlt(P,P),D)) | 159906 | 162452610 | o2(x,o2(o2(x,x),x)) | true | 159255 | 159255 | -0.09375 | 0.4375 | 0.9063 | 0.89 | 0.9434 | -1 | 1 | 2 | 1 | 1.621 | 0.004321 | 0 | 0.007937 | 1 | 1 | -4.731e-10 | 0.007953 | 0.008864 | 0.004257 | 0.06525 | 8.221 | 1 | 0.004855 | 0.008935 | 1 | 1 | 0.006189 | 0.0332 | 0.2014 | 0.006953 | 0.0373 | 0.2263 | json |
| t20_x1_u0_b190 | 20 | 1 | 0 | 190 |  |
sub(P,lrg(div(P,P),D)) | 159907 | 162452611 | o2(x,o2(o2(x,x),x)) | true | 159263 | 159263 | -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_x1_u0_b191 | 20 | 1 | 0 | 191 |  |
sub(P,lrg(pow(P,P),D)) | 159908 | 162452612 | o2(x,o2(o2(x,x),x)) | true | 159271 | 159271 | -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_x1_u0_b192 | 20 | 1 | 0 | 192 |  |
sub(P,lrg(mod(P,P),D)) | 159909 | 162452613 | o2(x,o2(o2(x,x),x)) | true | 159279 | 159279 | -0.09375 | 0.4375 | 0.9688 | 0.9525 | 0.976 | -1 | 1 | 2 | 1 | 1.404 | 0.004323 | 0 | 0.007937 | 1 | 1 | 0 | 0.007903 | 0.008812 | 0.004259 | 0.06526 | 8.223 | 1 | 0.004539 | 0.008297 | 1 | 1 | 0.006228 | 0.03975 | 0.2856 | 0.006538 | 0.04173 | 0.2999 | json |
| t20_x1_u0_b193 | 20 | 1 | 0 | 193 |  |
sub(P,lrg(lrg(P,P),D)) | 159910 | 162452614 | o2(x,o2(o2(x,x),x)) | true | 159287 | 159287 | -0.0625 | 0.4375 | 0.9375 | 0.9336 | 0.9662 | -1 | 1 | 2 | 1 | 1.272 | 0.007937 | 0 | 0.007937 | 1 | 1 | 0 | 0.01587 | 0.01587 | 0.007872 | 0.08872 | 11.18 | 1 | 0.008501 | 0.017 | 1 | 1 | 0.01053 | 0.04211 | 0.2526 | 0.01128 | 0.0451 | 0.2706 | json |
| t20_x1_u0_b194 | 20 | 1 | 0 | 194 |  |
sub(P,lrg(eql(P,P),D)) | 159911 | 162452615 | o2(x,o2(o2(x,x),x)) | true | 159295 | 159295 | -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_x1_u0_b195 | 20 | 1 | 0 | 195 |  |
sub(P,lrg(min(P,P),D)) | 159912 | 162452616 | o2(x,o2(o2(x,x),x)) | true | 159303 | 159303 | -0.09375 | 0.4375 | 0.9063 | 0.89 | 0.9434 | -1 | 1 | 2 | 1 | 1.621 | 0.004321 | 0 | 0.007937 | 1 | 1 | -4.731e-10 | 0.007953 | 0.008864 | 0.004257 | 0.06525 | 8.221 | 1 | 0.004855 | 0.008935 | 1 | 1 | 0.006189 | 0.0332 | 0.2014 | 0.006953 | 0.0373 | 0.2263 | json |
| t20_x1_u0_b196 | 20 | 1 | 0 | 196 |  |
sub(P,lrg(dot(P,P),D)) | 159913 | 162452617 | o2(x,o2(o2(x,x),x)) | true | 159311 | 159311 | -0.123 | 0.4375 | 0.9355 | 0.9074 | 0.9525 | -1 | 1 | 2 | 1 | 1.81 | 0.0008761 | 0.00001756 | 0.0081 | 0.9607 | 1 | -6.253e-11 | 0.0004322 | 0.002332 | 0.0008276 | 0.02877 | 3.552 | 0.9997 | 0.0009849 | 0.0004763 | 1 | 1 | 0.002165 | 0.02553 | 0.2332 | 0.002386 | 0.02814 | 0.257 | json |
| t20_x1_u0_b197 | 20 | 1 | 0 | 197 |  |
sub(P,lrg(dst(P,P),D)) | 159914 | 162452618 | o2(x,o2(o2(x,x),x)) | true | 159319 | 159319 | -0.0625 | 0.4375 | 0.9375 | 0.9336 | 0.9662 | -1 | 1 | 2 | 1 | 1.272 | 0.007937 | 0 | 0.007937 | 1 | 1 | 0 | 0.01587 | 0.01587 | 0.007872 | 0.08872 | 11.18 | 1 | 0.008501 | 0.017 | 1 | 1 | 0.01053 | 0.04211 | 0.2526 | 0.01128 | 0.0451 | 0.2706 | json |
| t20_x1_u0_b198 | 20 | 1 | 0 | 198 |  |
sub(P,eql(add(P,P),D)) | 159915 | 162452619 | o2(x,o2(o2(x,x),x)) | true | 159327 | 159327 | 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_x1_u0_b199 | 20 | 1 | 0 | 199 |  |
sub(P,eql(sub(P,P),D)) | 159916 | 162452620 | o2(x,o2(o2(x,x),x)) | true | 159335 | 159335 | 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_x1_u0_b200 | 20 | 1 | 0 | 200 |  |
sub(P,eql(mlt(P,P),D)) | 159917 | 162452621 | o2(x,o2(o2(x,x),x)) | true | 159343 | 159343 | 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_x2_u0_b0 | 20 | 2 | 0 | 0 |  |
add(P,add(add(P,P),R)) | 159918 | 162492822 | o2(x,o2(o2(x,x),x)) | true | 159351 | 159351 | -0.004856 | 0.4971 | 0.9763 | 0.9675 | 0.9836 | -1 | 1 | 2 | 1 | 1.449 | 0.002005 | 0.0001438 | 0.008629 | 0.8661 | 1 | -0.000004683 | 0.0006832 | 0.004537 | 0.002075 | 0.04556 | 5.279 | 0.4798 | 0.002221 | 0.0007062 | 1 | 1 | 0.005323 | 0.05054 | 0.3154 | 0.005501 | 0.05223 | 0.326 | json |
| t20_x2_u0_b1 | 20 | 2 | 0 | 1 |  |
add(P,add(sub(P,P),R)) | 159919 | 162492823 | o2(x,o2(o2(x,x),x)) | true | 159359 | 159359 | 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 |
| t20_x2_u0_b2 | 20 | 2 | 0 | 2 |  |
add(P,add(mlt(P,P),R)) | 159920 | 162492824 | o2(x,o2(o2(x,x),x)) | true | 159367 | 159367 | 0.893 | 0.949 | 0.9331 | 0.1132 | 0.3365 | -0.9969 | 1 | 1.997 | 1 | 1.118 | 0.001739 | 0.0003945 | 0.01289 | 0.6302 | 1 | -0.00002463 | 0.0004143 | 0.0045 | 0.001969 | 0.04437 | 3.443 | 0.4156 | 0.01884 | 0.003658 | 1 | 1 | 0.005146 | 0.05569 | 0.2048 | 0.04544 | 0.4918 | 1.808 | json |
| t20_x2_u0_b3 | 20 | 2 | 0 | 3 |  |
add(P,add(div(P,P),R)) | 159921 | 162492825 | o2(x,o2(o2(x,x),x)) | true | 159375 | 159375 | -0.0837 | 0.4525 | 0.9704 | 0.9543 | 0.9769 | -1 | 1 | 2 | 1 | 1.491 | 0.02278 | 0.00022 | 0.01837 | 0.9809 | 1 | -0.000005759 | 0.04457 | 0.02697 | 0.02268 | 0.1506 | 8.199 | 2 | 0.0241 | 0.04671 | 1 | 1 | 0.03057 | 0.1274 | 0.4142 | 0.03204 | 0.1335 | 0.4341 | json |
| t20_x2_u0_b4 | 20 | 2 | 0 | 4 |  |
add(P,add(pow(P,P),R)) | 159922 | 162492826 | o2(x,o2(o2(x,x),x)) | true | 159383 | 159383 | -0.006063 | 0.5 | 0.9939 | 0.9912 | 0.9956 | -1 | 1 | 2 | 1 | 1.139 | 0.01174 | 0.00003847 | 0.008167 | 0.9935 | 1 | -0.000004333 | 0.02315 | 0.0141 | 0.01171 | 0.1082 | 13.25 | 2 | 0.01189 | 0.02336 | 1 | 1 | 0.01625 | 0.07474 | 0.3288 | 0.0164 | 0.0754 | 0.3317 | json |
| t20_x2_u0_b5 | 20 | 2 | 0 | 5 |  |
add(P,add(mod(P,P),R)) | 159923 | 162492827 | o2(x,o2(o2(x,x),x)) | true | 159391 | 159391 | -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 |
| t20_x2_u0_b6 | 20 | 2 | 0 | 6 |  |
add(P,add(lrg(P,P),R)) | 159924 | 162492828 | o2(x,o2(o2(x,x),x)) | true | 159399 | 159399 | 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 |
| t20_x2_u0_b7 | 20 | 2 | 0 | 7 |  |
add(P,add(eql(P,P),R)) | 159925 | 162492829 | o2(x,o2(o2(x,x),x)) | true | 159407 | 159407 | 0.1255 | 0.5668 | 0.9355 | 0.8987 | 0.948 | -1 | 1 | 2 | 1 | 1.952 | 0.001079 | 0.0004194 | 0.01134 | 0.4404 | 1 | -0.00002108 | 0.0002783 | 0.003845 | 0.001371 | 0.03702 | 3.266 | 0.2958 | 0.001668 | 0.0003097 | 1 | 1 | 0.003527 | 0.03939 | 0.2567 | 0.003925 | 0.04383 | 0.2856 | json |
| t20_x2_u0_b8 | 20 | 2 | 0 | 8 |  |
add(P,add(min(P,P),R)) | 159926 | 162492830 | o2(x,o2(o2(x,x),x)) | true | 159415 | 159415 | -0.004747 | 0.4969 | 0.9711 | 0.9603 | 0.9799 | -1 | 1 | 2 | 1 | 1.54 | 0.001615 | 0.0001665 | 0.008829 | 0.8131 | 1 | -0.000007571 | 0.0004 | 0.003603 | 0.001703 | 0.04126 | 4.674 | 0.4156 | 0.001855 | 0.0004165 | 1 | 1 | 0.004549 | 0.04762 | 0.3084 | 0.004737 | 0.04959 | 0.3212 | json |
| t20_x2_u0_b9 | 20 | 2 | 0 | 9 |  |
add(P,add(dot(P,P),R)) | 159927 | 162492831 | o2(x,o2(o2(x,x),x)) | true | 159423 | 159423 | 0.995 | 0.9986 | 0.9956 | 0.003779 | 0.06147 | -0.3377 | 1 | 1.338 | 1 | 0.1134 | 0.00009759 | 0.0001079 | 0.001273 | -0.05001 | 1 | -2.253e-11 | 0.00006633 | 0.0006073 | 0.000204 | 0.01428 | 11.22 | 0.2993 | 0.05437 | 0.01755 | 1 | 1 | 0.0006785 | 0.006719 | 0.0138 | 0.1796 | 1.778 | 3.652 | json |
| t20_x2_u0_b10 | 20 | 2 | 0 | 10 |  |
add(P,add(dst(P,P),R)) | 159928 | 162492832 | o2(x,o2(o2(x,x),x)) | true | 159431 | 159431 | 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 |
| t20_x2_u0_b11 | 20 | 2 | 0 | 11 |  |
add(P,sub(add(P,P),R)) | 159929 | 162492833 | o2(x,o2(o2(x,x),x)) | true | 159439 | 159439 | 0.005046 | 0.5031 | 0.9759 | 0.967 | 0.9834 | -1 | 1 | 2 | 1 | 1.455 | 0.001965 | 0.0001411 | 0.008622 | 0.866 | 1 | 0.000004855 | 0.0006376 | 0.004395 | 0.002032 | 0.04508 | 5.229 | 0.4984 | 0.002178 | 0.0006593 | 1 | 1 | 0.005243 | 0.05012 | 0.3147 | 0.005421 | 0.05183 | 0.3254 | json |
| t20_x2_u0_b12 | 20 | 2 | 0 | 12 |  |
add(P,sub(sub(P,P),R)) | 159930 | 162492834 | o2(x,o2(o2(x,x),x)) | true | 159447 | 159447 | -0.004612 | 0.5032 | 0.9368 | 0.913 | 0.9555 | -1 | 1 | 2 | 1 | 2.013 | 0.001147 | 0.000385 | 0.01159 | 0.4976 | 1 | 0.00002051 | 0.0002745 | 0.003871 | 0.001399 | 0.0374 | 3.228 | 0.3332 | 0.001679 | 0.0003007 | 1 | 1 | 0.003782 | 0.0437 | 0.2627 | 0.004142 | 0.04787 | 0.2877 | json |
| t20_x2_u0_b13 | 20 | 2 | 0 | 13 |  |
add(P,sub(mlt(P,P),R)) | 159931 | 162492835 | o2(x,o2(o2(x,x),x)) | true | 159455 | 159455 | 0.8903 | 0.9489 | 0.9322 | 0.1166 | 0.3415 | -0.8975 | 1 | 1.897 | 1 | 1.13 | 0.001777 | 0.0003866 | 0.01315 | 0.6427 | 1 | 0.00001708 | 0.0004144 | 0.004457 | 0.001992 | 0.04463 | 3.395 | 0.3999 | 0.01855 | 0.003552 | 1 | 1 | 0.00525 | 0.0574 | 0.2165 | 0.04501 | 0.4921 | 1.856 | json |
| t20_x2_u0_b14 | 20 | 2 | 0 | 14 |  |
add(P,sub(div(P,P),R)) | 159932 | 162492836 | o2(x,o2(o2(x,x),x)) | true | 159463 | 159463 | -0.08382 | 0.4494 | 0.9652 | 0.9467 | 0.973 | -1 | 1 | 2 | 1 | 1.573 | 0.01995 | 0.000222 | 0.01637 | 0.978 | 1 | 0.00000654 | 0.03936 | 0.02431 | 0.01989 | 0.141 | 8.615 | 2 | 0.0213 | 0.04158 | 1 | 1 | 0.0274 | 0.1138 | 0.4011 | 0.02895 | 0.1202 | 0.4236 | json |
| t20_x2_u0_b15 | 20 | 2 | 0 | 15 |  |
add(P,sub(pow(P,P),R)) | 159933 | 162492837 | o2(x,o2(o2(x,x),x)) | true | 159471 | 159471 | -0.003936 | 0.5 | 0.9961 | 0.9939 | 0.9969 | -1 | 1 | 2 | 1 | 1.112 | 0.01322 | 0.00002315 | 0.00812 | 0.9965 | 1 | -3.754e-11 | 0.02628 | 0.01476 | 0.01317 | 0.1148 | 14.13 | 2 | 0.01332 | 0.02644 | 1 | 1 | 0.01752 | 0.0765 | 0.3309 | 0.01763 | 0.07697 | 0.333 | json |
| t20_x2_u0_b16 | 20 | 2 | 0 | 16 |  |
add(P,sub(mod(P,P),R)) | 159934 | 162492838 | o2(x,o2(o2(x,x),x)) | true | 159479 | 159479 | -0.1288 | 0.4375 | 0.9898 | 0.9681 | 0.9839 | -1 | 1 | 2 | 1 | 1.242 | 0.01149 | 0.00009029 | 0.009581 | 0.9844 | 1 | 0.000006904 | 0.02258 | 0.01532 | 0.01149 | 0.1072 | 11.19 | 2 | 0.01196 | 0.02332 | 1 | 1 | 0.01663 | 0.07631 | 0.3312 | 0.01718 | 0.07882 | 0.3421 | json |
| t20_x2_u0_b17 | 20 | 2 | 0 | 17 |  |
add(P,sub(lrg(P,P),R)) | 159935 | 162492839 | o2(x,o2(o2(x,x),x)) | true | 159487 | 159487 | -0.004612 | 0.5032 | 0.9368 | 0.913 | 0.9555 | -1 | 1 | 2 | 1 | 2.013 | 0.001147 | 0.000385 | 0.01159 | 0.4976 | 1 | 0.00002051 | 0.0002745 | 0.003871 | 0.001399 | 0.0374 | 3.228 | 0.3332 | 0.001679 | 0.0003007 | 1 | 1 | 0.003782 | 0.0437 | 0.2627 | 0.004142 | 0.04787 | 0.2877 | json |
| t20_x2_u0_b18 | 20 | 2 | 0 | 18 |  |
add(P,sub(eql(P,P),R)) | 159936 | 162492840 | o2(x,o2(o2(x,x),x)) | true | 159495 | 159495 | 0.1242 | 0.5606 | 0.9344 | 0.8965 | 0.9468 | -1 | 1 | 2 | 1 | 1.995 | 0.001024 | 0.0003935 | 0.0111 | 0.4448 | 1 | 0.00001213 | 0.0002633 | 0.003756 | 0.001294 | 0.03597 | 3.242 | 0.3332 | 0.001581 | 0.0002937 | 1 | 1 | 0.003267 | 0.0363 | 0.2529 | 0.003644 | 0.04049 | 0.2821 | json |
| t20_x2_u0_b19 | 20 | 2 | 0 | 19 |  |
add(P,sub(min(P,P),R)) | 159937 | 162492841 | o2(x,o2(o2(x,x),x)) | true | 159503 | 159503 | 0.004943 | 0.5032 | 0.9704 | 0.9591 | 0.9793 | -1 | 1 | 2 | 1 | 1.558 | 0.001572 | 0.0001649 | 0.008819 | 0.8102 | 1 | 0.00000868 | 0.0003768 | 0.003457 | 0.001658 | 0.04072 | 4.618 | 0.4362 | 0.001811 | 0.0003929 | 1 | 1 | 0.004468 | 0.04707 | 0.3072 | 0.004659 | 0.04907 | 0.3203 | json |
| t20_x2_u0_b20 | 20 | 2 | 0 | 20 |  |
add(P,sub(dot(P,P),R)) | 159938 | 162492842 | o2(x,o2(o2(x,x),x)) | true | 159511 | 159511 | 0.989 | 0.9967 | 0.9917 | 0.01052 | 0.1026 | -0.8288 | 1 | 1.829 | 1 | 0.1864 | 0.0002007 | 0.0001596 | 0.00203 | 0.1138 | 1 | -3.379e-11 | 0.0001073 | 0.0009802 | 0.000356 | 0.01887 | 9.293 | 0.3519 | 0.03426 | 0.0102 | 1 | 1 | 0.001188 | 0.01202 | 0.03791 | 0.113 | 1.142 | 3.605 | json |
| t20_x2_u0_b21 | 20 | 2 | 0 | 21 |  |
add(P,sub(dst(P,P),R)) | 159939 | 162492843 | o2(x,o2(o2(x,x),x)) | true | 159519 | 159519 | -0.004612 | 0.5032 | 0.9368 | 0.913 | 0.9555 | -1 | 1 | 2 | 1 | 2.013 | 0.001147 | 0.000385 | 0.01159 | 0.4976 | 1 | 0.00002051 | 0.0002745 | 0.003871 | 0.001399 | 0.0374 | 3.228 | 0.3332 | 0.001679 | 0.0003007 | 1 | 1 | 0.003782 | 0.0437 | 0.2627 | 0.004142 | 0.04787 | 0.2877 | json |
| t20_x2_u0_b22 | 20 | 2 | 0 | 22 |  |
add(P,mlt(add(P,P),R)) | 159940 | 162492844 | o2(x,o2(o2(x,x),x)) | true | 159527 | 159527 | -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 |
| t20_x2_u0_b23 | 20 | 2 | 0 | 23 |  |
add(P,mlt(sub(P,P),R)) | 159941 | 162492845 | o2(x,o2(o2(x,x),x)) | true | 159535 | 159535 | 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_x2_u0_b24 | 20 | 2 | 0 | 24 |  |
add(P,mlt(mlt(P,P),R)) | 159942 | 162492846 | o2(x,o2(o2(x,x),x)) | true | 159543 | 159543 | 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 |
| t20_x2_u0_b25 | 20 | 2 | 0 | 25 |  |
add(P,mlt(div(P,P),R)) | 159943 | 162492847 | o2(x,o2(o2(x,x),x)) | true | 159551 | 159551 | -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 |
| t20_x2_u0_b26 | 20 | 2 | 0 | 26 |  |
add(P,mlt(pow(P,P),R)) | 159944 | 162492848 | o2(x,o2(o2(x,x),x)) | true | 159559 | 159559 | -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 |
| t20_x2_u0_b27 | 20 | 2 | 0 | 27 |  |
add(P,mlt(mod(P,P),R)) | 159945 | 162492849 | o2(x,o2(o2(x,x),x)) | true | 159567 | 159567 | -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 |
| t20_x2_u0_b28 | 20 | 2 | 0 | 28 |  |
add(P,mlt(lrg(P,P),R)) | 159946 | 162492850 | o2(x,o2(o2(x,x),x)) | true | 159575 | 159575 | 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_x2_u0_b29 | 20 | 2 | 0 | 29 |  |
add(P,mlt(eql(P,P),R)) | 159947 | 162492851 | o2(x,o2(o2(x,x),x)) | true | 159583 | 159583 | 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 |
| t20_x2_u0_b30 | 20 | 2 | 0 | 30 |  |
add(P,mlt(min(P,P),R)) | 159948 | 162492852 | o2(x,o2(o2(x,x),x)) | true | 159591 | 159591 | 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 |
| t20_x2_u0_b31 | 20 | 2 | 0 | 31 |  |
add(P,mlt(dot(P,P),R)) | 159949 | 162492853 | o2(x,o2(o2(x,x),x)) | true | 159599 | 159599 | -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 |
| t20_x2_u0_b32 | 20 | 2 | 0 | 32 |  |
add(P,mlt(dst(P,P),R)) | 159950 | 162492854 | o2(x,o2(o2(x,x),x)) | true | 159607 | 159607 | 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_x2_u0_b33 | 20 | 2 | 0 | 33 |  |
add(P,div(add(P,P),R)) | 159951 | 162492855 | o2(x,o2(o2(x,x),x)) | true | 159615 | 159615 | -0.03367 | 0.4841 | 0.9503 | 0.9389 | 0.969 | -1 | 1 | 2 | 1 | 1.654 | 0.07929 | 0.09824 | 0.1161 | -0.1068 | 1 | -0.000004757 | 0.4032 | 0.1923 | 0.1641 | 0.4051 | 3.489 | 2.828 | 0.1891 | 0.4294 | 1 | 1 | 0.1936 | 0.9052 | 1.952 | 0.2062 | 0.9641 | 2.079 | json |
| t20_x2_u0_b34 | 20 | 2 | 0 | 34 |  |
add(P,div(sub(P,P),R)) | 159952 | 162492856 | o2(x,o2(o2(x,x),x)) | true | 159623 | 159623 | 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_x2_u0_b35 | 20 | 2 | 0 | 35 |  |
add(P,div(mlt(P,P),R)) | 159953 | 162492857 | o2(x,o2(o2(x,x),x)) | true | 159631 | 159631 | -0.05524 | 0.477 | 0.9348 | 0.9188 | 0.9585 | -1 | 1 | 2 | 1 | 1.77 | 0.08613 | 0.1047 | 0.115 | -0.09716 | 1 | 0.000004049 | 0.4713 | 0.2017 | 0.1777 | 0.4215 | 3.666 | 2.828 | 0.2077 | 0.5129 | 1 | 1 | 0.1928 | 0.8615 | 1.78 | 0.2098 | 0.9376 | 1.938 | json |
| t20_x2_u0_b36 | 20 | 2 | 0 | 36 |  |
add(P,div(div(P,P),R)) | 159954 | 162492858 | o2(x,o2(o2(x,x),x)) | true | 159639 | 159639 | -0.1776 | 0.4136 | 0.9496 | 0.9014 | 0.9494 | -1 | 1 | 2 | 1 | 1.771 | 0.03632 | 0.0203 | 0.0572 | 0.283 | 1 | 0.0004432 | 0.09215 | 0.06757 | 0.05334 | 0.2309 | 4.038 | 2.828 | 0.06282 | 0.1022 | 1 | 1 | 0.07458 | 0.4074 | 0.9392 | 0.08274 | 0.4519 | 1.042 | json |
| t20_x2_u0_b37 | 20 | 2 | 0 | 37 |  |
add(P,div(pow(P,P),R)) | 159955 | 162492859 | o2(x,o2(o2(x,x),x)) | true | 159647 | 159647 | -0.5326 | 0.233 | 0.9858 | 0.6973 | 0.835 | -1 | 1 | 2 | 1 | 1.066 | 0.05724 | 0.0579 | 0.0672 | -0.005727 | 1 | -0.00002476 | 0.2737 | 0.1187 | 0.1105 | 0.3325 | 4.947 | 2.828 | 0.1651 | 0.3925 | 1 | 1 | 0.1192 | 0.5516 | 1.085 | 0.171 | 0.791 | 1.556 | json |
| t20_x2_u0_b38 | 20 | 2 | 0 | 38 |  |
add(P,div(mod(P,P),R)) | 159956 | 162492860 | o2(x,o2(o2(x,x),x)) | true | 159655 | 159655 | -0.1746 | 0.4119 | 0.9766 | 0.9374 | 0.9682 | -1 | 1 | 2 | 1 | 1.419 | 0.05635 | 0.03313 | 0.06831 | 0.2595 | 1 | 0.0001605 | 0.1651 | 0.09903 | 0.08484 | 0.2913 | 4.264 | 2.828 | 0.09546 | 0.1762 | 1 | 1 | 0.08571 | 0.4358 | 1.027 | 0.09143 | 0.4649 | 1.096 | json |
| t20_x2_u0_b39 | 20 | 2 | 0 | 39 |  |
add(P,div(lrg(P,P),R)) | 159957 | 162492861 | o2(x,o2(o2(x,x),x)) | true | 159663 | 159663 | 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_x2_u0_b40 | 20 | 2 | 0 | 40 |  |
add(P,div(eql(P,P),R)) | 159958 | 162492862 | o2(x,o2(o2(x,x),x)) | true | 159671 | 159671 | -0.04841 | 0.478 | 0.9309 | 0.906 | 0.9518 | -1 | 1 | 2 | 1 | 2.039 | 0.02413 | 0.02447 | 0.06312 | -0.006998 | 1 | 0.0004322 | 0.06629 | 0.05987 | 0.04461 | 0.2112 | 3.346 | 2.828 | 0.05364 | 0.07317 | 1 | 1 | 0.07373 | 0.4749 | 1.034 | 0.08138 | 0.5242 | 1.141 | json |
| t20_x2_u0_b41 | 20 | 2 | 0 | 41 |  |
add(P,div(min(P,P),R)) | 159959 | 162492863 | o2(x,o2(o2(x,x),x)) | true | 159679 | 159679 | -0.03398 | 0.4839 | 0.9099 | 0.8865 | 0.9415 | -1 | 1 | 2 | 1 | 2.167 | 0.05892 | 0.07033 | 0.1101 | -0.08828 | 1 | -0.00006825 | 0.2517 | 0.1495 | 0.1172 | 0.3423 | 3.108 | 2.828 | 0.1458 | 0.2839 | 1 | 1 | 0.1543 | 0.8205 | 1.813 | 0.174 | 0.9256 | 2.046 | json |
| t20_x2_u0_b42 | 20 | 2 | 0 | 42 |  |
add(P,div(dot(P,P),R)) | 159960 | 162492864 | o2(x,o2(o2(x,x),x)) | true | 159687 | 159687 | -0.06063 | 0.4691 | 0.9906 | 0.9841 | 0.992 | -1 | 1 | 2 | 1 | 1.19 | 0.1058 | 0.1233 | 0.1202 | -0.07626 | 1 | -0.00006883 | 0.5951 | 0.2346 | 0.2148 | 0.4635 | 3.855 | 2.828 | 0.2329 | 0.6047 | 1 | 1 | 0.2305 | 0.9799 | 1.945 | 0.2343 | 0.9957 | 1.977 | json |
| t20_x2_u0_b43 | 20 | 2 | 0 | 43 |  |
add(P,div(dst(P,P),R)) | 159961 | 162492865 | o2(x,o2(o2(x,x),x)) | true | 159695 | 159695 | 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_x2_u0_b44 | 20 | 2 | 0 | 44 |  |
add(P,pow(add(P,P),R)) | 159962 | 162492866 | o2(x,o2(o2(x,x),x)) | true | 159703 | 159703 | -0.09886 | 0.4531 | 0.9949 | 0.9843 | 0.9921 | -1 | 1 | 2 | 1 | 1.072 | 0.01303 | 0.004438 | 0.01036 | 0.4919 | 1 | -3.004e-11 | 0.03557 | 0.01932 | 0.01737 | 0.1318 | 12.73 | 2.828 | 0.01775 | 0.03614 | 1 | 1 | 0.02404 | 0.1019 | 0.4005 | 0.02442 | 0.1035 | 0.4069 | json |
| t20_x2_u0_b45 | 20 | 2 | 0 | 45 |  |
add(P,pow(sub(P,P),R)) | 159963 | 162492867 | o2(x,o2(o2(x,x),x)) | true | 159711 | 159711 | -0.8672 | 0.06641 | 0.9961 | 0.2432 | 0.4931 | -1 | 1 | 2 | 1 | 0.4225 | 0.03028 | 0.03113 | 0.03117 | -0.01391 | 1 | 3.754e-12 | 0.1303 | 0.06208 | 0.06044 | 0.2459 | 7.887 | 2.828 | 0.2525 | 0.5359 | 1 | 1 | 0.05907 | 0.2433 | 0.4885 | 0.2429 | 1 | 2.009 | json |
| t20_x2_u0_b46 | 20 | 2 | 0 | 46 |  |
add(P,pow(mlt(P,P),R)) | 159964 | 162492868 | o2(x,o2(o2(x,x),x)) | true | 159719 | 159719 | 0.2168 | 0.5932 | 0.9218 | 0.8593 | 0.927 | -1 | 1 | 2 | 1 | 1.887 | 0.03136 | 0.0261 | 0.05532 | 0.09162 | 1 | 0.00006083 | 0.09472 | 0.06954 | 0.05444 | 0.2333 | 4.218 | 2.828 | 0.06687 | 0.1102 | 1 | 1 | 0.07013 | 0.3756 | 0.8456 | 0.08162 | 0.4371 | 0.9841 | json |
| t20_x2_u0_b47 | 20 | 2 | 0 | 47 |  |
add(P,pow(div(P,P),R)) | 159965 | 162492869 | o2(x,o2(o2(x,x),x)) | true | 159727 | 159727 | -0.09375 | 0.4375 | 0.9688 | 0.9525 | 0.976 | -1 | 1 | 2 | 1 | 1.404 | 0.02019 | 0 | 0.01587 | 1 | 1 | 0 | 0.03975 | 0.02473 | 0.01993 | 0.1412 | 8.896 | 2 | 0.0212 | 0.04173 | 1 | 1 | 0.0272 | 0.1109 | 0.3698 | 0.02856 | 0.1164 | 0.3883 | json |
| t20_x2_u0_b48 | 20 | 2 | 0 | 48 |  |
add(P,pow(pow(P,P),R)) | 159966 | 162492870 | o2(x,o2(o2(x,x),x)) | true | 159735 | 159735 | 0 | 0.5 | 1 | 1 | 1 | -1 | 1 | 2 | 1 | 1 | 0.01587 | 0 | 0.007937 | 1 | 1 | 0 | 0.03175 | 0.01587 | 0.01581 | 0.1257 | 15.84 | 2 | 0.01587 | 0.03175 | 1 | 1 | 0.02105 | 0.08421 | 0.3368 | 0.02105 | 0.08421 | 0.3368 | json |
| t20_x2_u0_b49 | 20 | 2 | 0 | 49 |  |
add(P,pow(mod(P,P),R)) | 159967 | 162492871 | o2(x,o2(o2(x,x),x)) | true | 159743 | 159743 | -0.6875 | 0.1563 | 1 | 0.5273 | 0.7262 | -1 | 1 | 2 | 1 | 0.6253 | 0.04976 | 0.03036 | 0.03984 | 0.2421 | 1 | 0 | 0.1669 | 0.08012 | 0.07855 | 0.2803 | 7.035 | 2.828 | 0.1519 | 0.3165 | 1 | 1 | 0.07856 | 0.3432 | 0.7419 | 0.149 | 0.6507 | 1.407 | json |
| t20_x2_u0_b50 | 20 | 2 | 0 | 50 |  |
add(P,pow(lrg(P,P),R)) | 159968 | 162492872 | o2(x,o2(o2(x,x),x)) | true | 159751 | 159751 | -0.8672 | 0.06641 | 0.9961 | 0.2432 | 0.4931 | -1 | 1 | 2 | 1 | 0.4225 | 0.03028 | 0.03113 | 0.03117 | -0.01391 | 1 | 3.754e-12 | 0.1303 | 0.06208 | 0.06044 | 0.2459 | 7.887 | 2.828 | 0.2525 | 0.5359 | 1 | 1 | 0.05907 | 0.2433 | 0.4885 | 0.2429 | 1 | 2.009 | json |
| t20_x2_u0_b51 | 20 | 2 | 0 | 51 |  |
add(P,pow(eql(P,P),R)) | 159969 | 162492873 | o2(x,o2(o2(x,x),x)) | true | 159759 | 159759 | 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_x2_u0_b52 | 20 | 2 | 0 | 52 |  |
add(P,pow(min(P,P),R)) | 159970 | 162492874 | o2(x,o2(o2(x,x),x)) | true | 159767 | 159767 | -0.09913 | 0.4531 | 0.9946 | 0.9841 | 0.992 | -1 | 1 | 2 | 1 | 1.069 | 0.01302 | 0.004393 | 0.01034 | 0.4953 | 1 | -1.802e-10 | 0.03547 | 0.01925 | 0.01731 | 0.1316 | 12.73 | 2.828 | 0.01769 | 0.03604 | 1 | 1 | 0.02401 | 0.1015 | 0.3992 | 0.0244 | 0.1032 | 0.4057 | json |
| t20_x2_u0_b53 | 20 | 2 | 0 | 53 |  |
add(P,pow(dot(P,P),R)) | 159971 | 162492875 | o2(x,o2(o2(x,x),x)) | true | 159775 | 159775 | 0.4587 | 0.7368 | 0.9397 | 0.7106 | 0.843 | -1 | 1 | 2 | 1 | 1.741 | 0.0187 | 0.02488 | 0.04927 | -0.1418 | 1 | -0.0002562 | 0.06256 | 0.05394 | 0.04116 | 0.2029 | 4.117 | 2.671 | 0.06132 | 0.08805 | 1 | 1 | 0.04797 | 0.2938 | 0.6824 | 0.06751 | 0.4135 | 0.9603 | json |
| t20_x2_u0_b54 | 20 | 2 | 0 | 54 |  |
add(P,pow(dst(P,P),R)) | 159972 | 162492876 | o2(x,o2(o2(x,x),x)) | true | 159783 | 159783 | -0.8672 | 0.06641 | 0.9961 | 0.2432 | 0.4931 | -1 | 1 | 2 | 1 | 0.4225 | 0.03028 | 0.03113 | 0.03117 | -0.01391 | 1 | 3.754e-12 | 0.1303 | 0.06208 | 0.06044 | 0.2459 | 7.887 | 2.828 | 0.2525 | 0.5359 | 1 | 1 | 0.05907 | 0.2433 | 0.4885 | 0.2429 | 1 | 2.009 | json |
| t20_x2_u0_b55 | 20 | 2 | 0 | 55 |  |
add(P,mod(add(P,P),R)) | 159973 | 162492877 | o2(x,o2(o2(x,x),x)) | true | 159791 | 159791 | 0.000299 | 0.5 | 0.9433 | 0.932 | 0.9654 | -1 | 1 | 2 | 1 | 1.728 | 0.0008679 | 0.00000399 | 0.00796 | 0.9908 | 1 | 7.697e-7 | 0.0000917 | 0.002187 | 0.0008089 | 0.02844 | 3.573 | 0.1909 | 0.0009355 | 0.00009839 | 1 | 1 | 0.002157 | 0.02673 | 0.2432 | 0.002314 | 0.02868 | 0.261 | json |
| t20_x2_u0_b56 | 20 | 2 | 0 | 56 |  |
add(P,mod(sub(P,P),R)) | 159974 | 162492878 | o2(x,o2(o2(x,x),x)) | true | 159799 | 159799 | 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_x2_u0_b57 | 20 | 2 | 0 | 57 |  |
add(P,mod(mlt(P,P),R)) | 159975 | 162492879 | o2(x,o2(o2(x,x),x)) | true | 159807 | 159807 | 0.0105 | 0.5 | 0.9332 | 0.9169 | 0.9575 | -1 | 1 | 2 | 1 | 1.922 | 0.0007283 | 0.00001171 | 0.008137 | 0.9684 | 1 | 3.128e-7 | 0.00007691 | 0.002338 | 0.0006736 | 0.02595 | 3.19 | 0.1634 | 0.0008071 | 0.00008389 | 1 | 1 | 0.001912 | 0.02381 | 0.2278 | 0.002085 | 0.02597 | 0.2484 | json |
| t20_x2_u0_b58 | 20 | 2 | 0 | 58 |  |
add(P,mod(div(P,P),R)) | 159976 | 162492880 | o2(x,o2(o2(x,x),x)) | true | 159815 | 159815 | -0.1227 | 0.4375 | 0.9977 | 0.9809 | 0.9904 | -1 | 1 | 2 | 1 | 1.098 | 0.01606 | 0.000003938 | 0.009253 | 0.9995 | 1 | 3.717e-7 | 0.03207 | 0.01762 | 0.01597 | 0.1264 | 13.66 | 2 | 0.01638 | 0.0327 | 1 | 1 | 0.02129 | 0.08483 | 0.3376 | 0.0217 | 0.08648 | 0.3442 | json |
| t20_x2_u0_b59 | 20 | 2 | 0 | 59 |  |
add(P,mod(pow(P,P),R)) | 159977 | 162492881 | o2(x,o2(o2(x,x),x)) | true | 159823 | 159823 | -0.02215 | 0.5 | 0.9779 | 0.9696 | 0.9847 | -1 | 1 | 2 | 1 | 1.357 | 0.006034 | 0.000006331 | 0.008013 | 0.9979 | 1 | -4.333e-7 | 0.01145 | 0.01037 | 0.005973 | 0.07729 | 9.645 | 1.422 | 0.006229 | 0.01181 | 1 | 1 | 0.008328 | 0.04685 | 0.2964 | 0.008589 | 0.04831 | 0.3057 | json |
| t20_x2_u0_b60 | 20 | 2 | 0 | 60 |  |
add(P,mod(mod(P,P),R)) | 159978 | 162492882 | o2(x,o2(o2(x,x),x)) | true | 159831 | 159831 | -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_x2_u0_b61 | 20 | 2 | 0 | 61 |  |
add(P,mod(lrg(P,P),R)) | 159979 | 162492883 | o2(x,o2(o2(x,x),x)) | true | 159839 | 159839 | 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_x2_u0_b62 | 20 | 2 | 0 | 62 |  |
add(P,mod(eql(P,P),R)) | 159980 | 162492884 | o2(x,o2(o2(x,x),x)) | true | 159847 | 159847 | 0.02263 | 0.5195 | 0.939 | 0.9199 | 0.9591 | -1 | 1 | 2 | 1 | 1.925 | 0.0007219 | 0.00001935 | 0.008266 | 0.9478 | 1 | -3.931e-7 | 0.00007355 | 0.002353 | 0.0006732 | 0.02595 | 3.139 | 0.163 | 0.0008058 | 0.00007995 | 1 | 1 | 0.001934 | 0.02435 | 0.232 | 0.002103 | 0.02647 | 0.2522 | json |
| t20_x2_u0_b63 | 20 | 2 | 0 | 63 |  |
add(P,mod(min(P,P),R)) | 159981 | 162492885 | o2(x,o2(o2(x,x),x)) | true | 159855 | 159855 | 0.0003382 | 0.5 | 0.9433 | 0.932 | 0.9654 | -1 | 1 | 2 | 1 | 1.726 | 0.0008664 | 0.000003424 | 0.007957 | 0.9921 | 1 | 3.822e-7 | 0.00009018 | 0.002164 | 0.0008069 | 0.02841 | 3.57 | 0.1657 | 0.0009333 | 0.00009676 | 1 | 1 | 0.002211 | 0.0271 | 0.2446 | 0.002372 | 0.02907 | 0.2624 | json |
| t20_x2_u0_b64 | 20 | 2 | 0 | 64 |  |
add(P,mod(dot(P,P),R)) | 159982 | 162492886 | o2(x,o2(o2(x,x),x)) | true | 159863 | 159863 | 0.03148 | 0.5213 | 0.9368 | 0.9151 | 0.9566 | -1 | 1 | 2 | 1 | 1.958 | 0.0007271 | 0.00004843 | 0.008553 | 0.8751 | 1 | -0.000003679 | 0.0000966 | 0.002536 | 0.000702 | 0.0265 | 3.098 | 0.1933 | 0.0008475 | 0.0001056 | 1 | 1 | 0.00193 | 0.02382 | 0.2279 | 0.002109 | 0.02603 | 0.2491 | json |
| t20_x2_u0_b65 | 20 | 2 | 0 | 65 |  |
add(P,mod(dst(P,P),R)) | 159983 | 162492887 | o2(x,o2(o2(x,x),x)) | true | 159871 | 159871 | 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_x2_u0_b66 | 20 | 2 | 0 | 66 |  |
add(P,lrg(add(P,P),R)) | 159984 | 162492888 | o2(x,o2(o2(x,x),x)) | true | 159879 | 159879 | 0.03972 | 0.5198 | 0.9657 | 0.9543 | 0.9769 | -1 | 1 | 2 | 1 | 1.554 | 0.001197 | 0.00009554 | 0.008561 | 0.8522 | 1 | 0.000003562 | 0.0001197 | 0.002399 | 0.00122 | 0.03492 | 4.08 | 0.2338 | 0.001355 | 0.0001254 | 1 | 1 | 0.003358 | 0.04173 | 0.2916 | 0.003518 | 0.04373 | 0.3056 | json |
| t20_x2_u0_b67 | 20 | 2 | 0 | 67 |  |
add(P,lrg(sub(P,P),R)) | 159985 | 162492889 | o2(x,o2(o2(x,x),x)) | true | 159887 | 159887 | 0.06404 | 0.5292 | 0.9418 | 0.9239 | 0.9612 | -1 | 1 | 2 | 1 | 1.81 | 0.0009419 | 0.000259 | 0.009869 | 0.5687 | 1 | 0.00001453 | 0.0001299 | 0.002631 | 0.001104 | 0.03323 | 3.367 | 0.2338 | 0.0013 | 0.0001406 | 1 | 1 | 0.003125 | 0.03919 | 0.2718 | 0.003382 | 0.04241 | 0.2942 | json |
| t20_x2_u0_b68 | 20 | 2 | 0 | 68 |  |
add(P,lrg(mlt(P,P),R)) | 159986 | 162492890 | o2(x,o2(o2(x,x),x)) | true | 159895 | 159895 | 0.1022 | 0.5456 | 0.9147 | 0.8903 | 0.9436 | -1 | 1 | 2 | 1 | 1.909 | 0.0008052 | 0.00009554 | 0.008732 | 0.7879 | 1 | 0.000003562 | 0.0001018 | 0.002507 | 0.0008245 | 0.02871 | 3.288 | 0.2265 | 0.001012 | 0.0001143 | 1 | 1 | 0.002354 | 0.02847 | 0.2183 | 0.002644 | 0.03197 | 0.2452 | json |
| t20_x2_u0_b69 | 20 | 2 | 0 | 69 |  |
add(P,lrg(div(P,P),R)) | 159987 | 162492891 | o2(x,o2(o2(x,x),x)) | true | 159903 | 159903 | 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_x2_u0_b70 | 20 | 2 | 0 | 70 |  |
add(P,lrg(pow(P,P),R)) | 159988 | 162492892 | o2(x,o2(o2(x,x),x)) | true | 159911 | 159911 | 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_x2_u0_b71 | 20 | 2 | 0 | 71 |  |
add(P,lrg(mod(P,P),R)) | 159989 | 162492893 | o2(x,o2(o2(x,x),x)) | true | 159919 | 159919 | 0.08892 | 0.5417 | 0.9618 | 0.9423 | 0.9707 | -1 | 1 | 2 | 1 | 1.624 | 0.001086 | 0.0001484 | 0.008932 | 0.7596 | 1 | 0.00001096 | 0.000086 | 0.002149 | 0.001155 | 0.03399 | 3.805 | 0.2338 | 0.001311 | 0.00009126 | 1 | 1 | 0.003119 | 0.04071 | 0.2873 | 0.00331 | 0.04321 | 0.3049 | json |
| t20_x2_u0_b72 | 20 | 2 | 0 | 72 |  |
add(P,lrg(lrg(P,P),R)) | 159990 | 162492894 | o2(x,o2(o2(x,x),x)) | true | 159927 | 159927 | 0.06404 | 0.5292 | 0.9418 | 0.9239 | 0.9612 | -1 | 1 | 2 | 1 | 1.81 | 0.0009419 | 0.000259 | 0.009869 | 0.5687 | 1 | 0.00001453 | 0.0001299 | 0.002631 | 0.001104 | 0.03323 | 3.367 | 0.2338 | 0.0013 | 0.0001406 | 1 | 1 | 0.003125 | 0.03919 | 0.2718 | 0.003382 | 0.04241 | 0.2942 | json |
| t20_x2_u0_b73 | 20 | 2 | 0 | 73 |  |
add(P,lrg(eql(P,P),R)) | 159991 | 162492895 | o2(x,o2(o2(x,x),x)) | true | 159935 | 159935 | 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_x2_u0_b74 | 20 | 2 | 0 | 74 |  |
add(P,lrg(min(P,P),R)) | 159992 | 162492896 | o2(x,o2(o2(x,x),x)) | true | 159943 | 159943 | 0.03972 | 0.5198 | 0.9657 | 0.9543 | 0.9769 | -1 | 1 | 2 | 1 | 1.554 | 0.001197 | 0.00009554 | 0.008561 | 0.8522 | 1 | 0.000003562 | 0.0001197 | 0.002399 | 0.00122 | 0.03492 | 4.08 | 0.2338 | 0.001355 | 0.0001254 | 1 | 1 | 0.003358 | 0.04173 | 0.2916 | 0.003518 | 0.04373 | 0.3056 | json |
| t20_x2_u0_b75 | 20 | 2 | 0 | 75 |  |
add(P,lrg(dot(P,P),R)) | 159993 | 162492897 | o2(x,o2(o2(x,x),x)) | true | 159951 | 159951 | 0.1218 | 0.5621 | 0.9343 | 0.9051 | 0.9514 | -1 | 1 | 2 | 1 | 1.828 | 0.0007137 | 0.00003185 | 0.008202 | 0.9146 | 1 | 7.931e-11 | 0.00004555 | 0.001996 | 0.0006785 | 0.02605 | 3.176 | 0.2265 | 0.0008237 | 0.00005032 | 1 | 1 | 0.001982 | 0.02572 | 0.2319 | 0.002189 | 0.02841 | 0.2562 | json |
| t20_x2_u0_b76 | 20 | 2 | 0 | 76 |  |
add(P,lrg(dst(P,P),R)) | 159994 | 162492898 | o2(x,o2(o2(x,x),x)) | true | 159959 | 159959 | 0.06404 | 0.5292 | 0.9418 | 0.9239 | 0.9612 | -1 | 1 | 2 | 1 | 1.81 | 0.0009419 | 0.000259 | 0.009869 | 0.5687 | 1 | 0.00001453 | 0.0001299 | 0.002631 | 0.001104 | 0.03323 | 3.367 | 0.2338 | 0.0013 | 0.0001406 | 1 | 1 | 0.003125 | 0.03919 | 0.2718 | 0.003382 | 0.04241 | 0.2942 | json |
| t20_x2_u0_b77 | 20 | 2 | 0 | 77 |  |
add(P,eql(add(P,P),R)) | 159995 | 162492899 | o2(x,o2(o2(x,x),x)) | true | 159967 | 159967 | 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_x2_u0_b78 | 20 | 2 | 0 | 78 |  |
add(P,eql(sub(P,P),R)) | 159996 | 162492900 | o2(x,o2(o2(x,x),x)) | true | 159975 | 159975 | 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_x2_u0_b79 | 20 | 2 | 0 | 79 |  |
add(P,eql(mlt(P,P),R)) | 159997 | 162492901 | o2(x,o2(o2(x,x),x)) | true | 159983 | 159983 | 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_x2_u0_b80 | 20 | 2 | 0 | 80 |  |
add(P,eql(div(P,P),R)) | 159998 | 162492902 | o2(x,o2(o2(x,x),x)) | true | 159991 | 159991 | 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_x2_u0_b81 | 20 | 2 | 0 | 81 |  |
add(P,eql(pow(P,P),R)) | 159999 | 162492903 | o2(x,o2(o2(x,x),x)) | true | 159999 | 159999 | 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 |