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_x8_u0_b176 | 20 | 8 | 0 | 176 | ![]() |
sub(P,mod(add(P,R),R)) | 161300 | 162735404 | o2(x,o2(o2(x,x),x)) | true | 170407 | 170407 | 0.00848 | 0.5067 | 0.9325 | 0.9075 | 0.9526 | -1 | 1 | 2 | 1 | 2.153 | 0.0007081 | 0.0001043 | 0.009167 | 0.7431 | 1 | 0.000001527 | 0.00007714 | 0.002721 | 0.0007283 | 0.02699 | 2.944 | 0.2164 | 0.0008953 | 0.000085 | 1 | 1 | 0.0023 | 0.02956 | 0.2332 | 0.002535 | 0.03257 | 0.257 | json |
| t20_x8_u0_b177 | 20 | 8 | 0 | 177 | ![]() |
sub(P,mod(sub(P,R),R)) | 161301 | 162735405 | o2(x,o2(o2(x,x),x)) | true | 170415 | 170415 | -0.01034 | 0.4927 | 0.9329 | 0.9082 | 0.953 | -1 | 1 | 2 | 1 | 2.151 | 0.0006676 | 0.000121 | 0.009168 | 0.6932 | 1 | -0.00000163 | 0.00007434 | 0.002694 | 0.0007044 | 0.02654 | 2.895 | 0.1933 | 0.0008682 | 0.00008185 | 1 | 1 | 0.002214 | 0.02847 | 0.2359 | 0.002438 | 0.03134 | 0.2598 | json |
| t20_x8_u0_b178 | 20 | 8 | 0 | 178 | ![]() |
sub(P,mod(mlt(P,R),R)) | 161302 | 162735406 | o2(x,o2(o2(x,x),x)) | true | 170423 | 170423 | 0.003897 | 0.4999 | 0.9272 | 0.9108 | 0.9544 | -1 | 1 | 2 | 1 | 1.942 | 0.0007321 | 0.00007022 | 0.00863 | 0.825 | 1 | -0.000001748 | 0.00009989 | 0.002471 | 0.0007283 | 0.02699 | 3.127 | 0.2125 | 0.0008808 | 0.0001097 | 1 | 1 | 0.002015 | 0.02475 | 0.2261 | 0.002213 | 0.02717 | 0.2482 | json |
| t20_x8_u0_b179 | 20 | 8 | 0 | 179 | ![]() |
sub(P,mod(div(P,R),R)) | 161303 | 162735407 | o2(x,o2(o2(x,x),x)) | true | 170431 | 170431 | 0.001008 | 0.5 | 0.93 | 0.9125 | 0.9553 | -1 | 1 | 2 | 1 | 1.995 | 0.0006788 | 0.0000327 | 0.008339 | 0.9081 | 1 | 1.963e-7 | 0.00008199 | 0.002493 | 0.0006415 | 0.02533 | 3.037 | 0.1724 | 0.0007797 | 0.00008985 | 1 | 1 | 0.001852 | 0.02302 | 0.2224 | 0.002029 | 0.02523 | 0.2437 | json |
| t20_x8_u0_b180 | 20 | 8 | 0 | 180 | ![]() |
sub(P,mod(pow(P,R),R)) | 161304 | 162735408 | o2(x,o2(o2(x,x),x)) | true | 170439 | 170439 | -0.1054 | 0.4531 | 0.9883 | 0.9733 | 0.9866 | -1 | 1 | 2 | 1 | 1.248 | 0.01089 | 0.003353 | 0.01012 | 0.529 | 1 | -2.707e-7 | 0.02907 | 0.0178 | 0.01414 | 0.1189 | 11.75 | 2.711 | 0.01463 | 0.02987 | 1 | 1 | 0.01979 | 0.08754 | 0.369 | 0.02033 | 0.08994 | 0.3792 | json |
| t20_x8_u0_b181 | 20 | 8 | 0 | 181 | ![]() |
sub(P,mod(mod(P,R),R)) | 161305 | 162735409 | o2(x,o2(o2(x,x),x)) | true | 170447 | 170447 | -0.0009307 | 0.5 | 0.9218 | 0.9003 | 0.9488 | -1 | 1 | 2 | 1 | 2.145 | 0.0005749 | 0.00001898 | 0.008301 | 0.9361 | 1 | -5.164e-8 | 0.0000636 | 0.002545 | 0.0005249 | 0.02291 | 2.76 | 0.1241 | 0.0006597 | 0.00007064 | 1 | 1 | 0.001557 | 0.01992 | 0.2084 | 0.00173 | 0.02212 | 0.2315 | json |
| t20_x8_u0_b182 | 20 | 8 | 0 | 182 | ![]() |
sub(P,mod(lrg(P,R),R)) | 161306 | 162735410 | o2(x,o2(o2(x,x),x)) | true | 170455 | 170455 | -0.01488 | 0.4879 | 0.9322 | 0.9124 | 0.9552 | -1 | 1 | 2 | 1 | 2.007 | 0.0006375 | 0.00001774 | 0.008243 | 0.9459 | 1 | -8.073e-7 | 0.00004922 | 0.002214 | 0.0005876 | 0.02424 | 2.941 | 0.1544 | 0.0007182 | 0.00005395 | 1 | 1 | 0.001716 | 0.02234 | 0.222 | 0.001881 | 0.02449 | 0.2433 | json |
| t20_x8_u0_b183 | 20 | 8 | 0 | 183 | ![]() |
sub(P,mod(eql(P,R),R)) | 161307 | 162735411 | o2(x,o2(o2(x,x),x)) | true | 170463 | 170463 | 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_x8_u0_b184 | 20 | 8 | 0 | 184 | ![]() |
sub(P,mod(min(P,R),R)) | 161308 | 162735412 | o2(x,o2(o2(x,x),x)) | true | 170471 | 170471 | 0.01849 | 0.5124 | 0.9355 | 0.915 | 0.9566 | -1 | 1 | 2 | 1 | 2.023 | 0.0007536 | 0.0001055 | 0.009084 | 0.7544 | 1 | 0.000001137 | 0.00009069 | 0.002618 | 0.0007769 | 0.02787 | 3.068 | 0.2164 | 0.0009388 | 0.00009911 | 1 | 1 | 0.002318 | 0.02947 | 0.2375 | 0.002533 | 0.03221 | 0.2596 | json |
| t20_x8_u0_b185 | 20 | 8 | 0 | 185 | ![]() |
sub(P,mod(dot(P,R),R)) | 161309 | 162735413 | o2(x,o2(o2(x,x),x)) | true | 170479 | 170479 | -0.0008502 | 0.5023 | 0.9329 | 0.9107 | 0.9543 | -1 | 1 | 2 | 1 | 2.056 | 0.0007068 | 0.00008448 | 0.008946 | 0.7865 | 1 | -0.000003331 | 0.00009492 | 0.00265 | 0.0007113 | 0.02667 | 2.981 | 0.2331 | 0.0008689 | 0.0001042 | 1 | 1 | 0.002019 | 0.02542 | 0.2246 | 0.002218 | 0.02792 | 0.2466 | json |
| t20_x8_u0_b186 | 20 | 8 | 0 | 186 | ![]() |
sub(P,mod(dst(P,R),R)) | 161310 | 162735414 | o2(x,o2(o2(x,x),x)) | true | 170487 | 170487 | -0.03583 | 0.4757 | 0.9382 | 0.9167 | 0.9574 | -1 | 1 | 2 | 1 | 1.95 | 0.0007376 | 0.00004914 | 0.008517 | 0.8751 | 1 | 0.000004741 | 0.00009522 | 0.002538 | 0.0007141 | 0.02672 | 3.137 | 0.2047 | 0.0008582 | 0.0001039 | 1 | 1 | 0.002018 | 0.02516 | 0.235 | 0.002202 | 0.02745 | 0.2564 | json |
| t20_x8_u0_b187 | 20 | 8 | 0 | 187 | ![]() |
sub(P,lrg(add(P,R),R)) | 161311 | 162735415 | o2(x,o2(o2(x,x),x)) | true | 170495 | 170495 | -0.0625 | 0.4375 | 0.875 | 0.8576 | 0.926 | -1 | 1 | 2 | 1 | 2.027 | 0.0007059 | 0 | 0.007937 | 1 | 1 | 0 | 0.00003238 | 0.001855 | 0.0006432 | 0.02536 | 3.195 | 0.1169 | 0.0008231 | 0.00003776 | 1 | 1 | 0.001851 | 0.02429 | 0.1593 | 0.002158 | 0.02832 | 0.1858 | json |
| t20_x8_u0_b188 | 20 | 8 | 0 | 188 | ![]() |
sub(P,lrg(sub(P,R),R)) | 161312 | 162735416 | o2(x,o2(o2(x,x),x)) | true | 170503 | 170503 | -0.07111 | 0.463 | 0.9324 | 0.9116 | 0.9548 | -1 | 1 | 2 | 1 | 1.922 | 0.0008332 | 0.0002871 | 0.01035 | 0.4874 | 1 | -0.00001497 | 0.00007202 | 0.002458 | 0.001013 | 0.03183 | 3.075 | 0.2338 | 0.001229 | 0.00007901 | 1 | 1 | 0.00286 | 0.037 | 0.2427 | 0.003137 | 0.04059 | 0.2662 | json |
| t20_x8_u0_b189 | 20 | 8 | 0 | 189 | ![]() |
sub(P,lrg(mlt(P,R),R)) | 161313 | 162735417 | o2(x,o2(o2(x,x),x)) | true | 170511 | 170511 | -0.03738 | 0.48 | 0.9633 | 0.9506 | 0.975 | -1 | 1 | 2 | 1 | 1.596 | 0.001129 | 0.0001065 | 0.008654 | 0.8276 | 1 | -0.000003565 | 0.00009386 | 0.002193 | 0.001162 | 0.03408 | 3.938 | 0.2338 | 0.0013 | 0.00009874 | 1 | 1 | 0.003251 | 0.04137 | 0.289 | 0.00342 | 0.04352 | 0.304 | json |
| t20_x8_u0_b190 | 20 | 8 | 0 | 190 | ![]() |
sub(P,lrg(div(P,R),R)) | 161314 | 162735418 | o2(x,o2(o2(x,x),x)) | true | 170519 | 170519 | -0.07201 | 0.4632 | 0.9357 | 0.916 | 0.9571 | -1 | 1 | 2 | 1 | 1.842 | 0.0009257 | 0.0002782 | 0.01003 | 0.5378 | 1 | 0.000005704 | 0.0001652 | 0.00295 | 0.001103 | 0.03321 | 3.311 | 0.2338 | 0.001314 | 0.0001803 | 1 | 1 | 0.003182 | 0.03801 | 0.262 | 0.003474 | 0.0415 | 0.286 | json |
| t20_x8_u0_b191 | 20 | 8 | 0 | 191 | ![]() |
sub(P,lrg(pow(P,R),R)) | 161315 | 162735419 | o2(x,o2(o2(x,x),x)) | true | 170527 | 170527 | -0.1022 | 0.4375 | 0.9147 | 0.8903 | 0.9436 | -1 | 1 | 2 | 1 | 1.915 | 0.0008052 | 0.00009554 | 0.008742 | 0.7879 | 1 | -0.000003562 | 0.0001018 | 0.002507 | 0.0008242 | 0.02871 | 3.284 | 0.2265 | 0.001012 | 0.0001143 | 1 | 1 | 0.002354 | 0.02847 | 0.2183 | 0.002644 | 0.03197 | 0.2452 | json |
| t20_x8_u0_b192 | 20 | 8 | 0 | 192 | ![]() |
sub(P,lrg(mod(P,R),R)) | 161316 | 162735420 | o2(x,o2(o2(x,x),x)) | true | 170535 | 170535 | -0.05877 | 0.4723 | 0.9451 | 0.9283 | 0.9635 | -1 | 1 | 2 | 1 | 1.786 | 0.001009 | 0.0002866 | 0.01014 | 0.5576 | 1 | -0.00001667 | 0.000135 | 0.00275 | 0.001193 | 0.03453 | 3.406 | 0.2338 | 0.001396 | 0.0001454 | 1 | 1 | 0.003407 | 0.04218 | 0.2644 | 0.00367 | 0.04544 | 0.2848 | json |
| t20_x8_u0_b193 | 20 | 8 | 0 | 193 | ![]() |
sub(P,lrg(lrg(P,R),R)) | 161317 | 162735421 | o2(x,o2(o2(x,x),x)) | true | 170543 | 170543 | -0.09988 | 0.4375 | 0.9124 | 0.8877 | 0.9422 | -1 | 1 | 2 | 1 | 1.955 | 0.000737 | 0.0001065 | 0.008857 | 0.7474 | 1 | -0.000003565 | 0.00007593 | 0.002301 | 0.0007655 | 0.02767 | 3.124 | 0.2265 | 0.0009503 | 0.00008554 | 1 | 1 | 0.002248 | 0.02816 | 0.2169 | 0.002532 | 0.03172 | 0.2443 | json |
| t20_x8_u0_b194 | 20 | 8 | 0 | 194 | ![]() |
sub(P,lrg(eql(P,R),R)) | 161318 | 162735422 | o2(x,o2(o2(x,x),x)) | true | 170551 | 170551 | -0.05877 | 0.4723 | 0.9451 | 0.9283 | 0.9635 | -1 | 1 | 2 | 1 | 1.786 | 0.001009 | 0.0002866 | 0.01014 | 0.5576 | 1 | -0.00001667 | 0.000135 | 0.00275 | 0.001193 | 0.03453 | 3.406 | 0.2338 | 0.001396 | 0.0001454 | 1 | 1 | 0.003407 | 0.04218 | 0.2644 | 0.00367 | 0.04544 | 0.2848 | json |
| t20_x8_u0_b195 | 20 | 8 | 0 | 195 | ![]() |
sub(P,lrg(min(P,R),R)) | 161319 | 162735423 | o2(x,o2(o2(x,x),x)) | true | 170559 | 170559 | 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_x8_u0_b196 | 20 | 8 | 0 | 196 | ![]() |
sub(P,lrg(dot(P,R),R)) | 161320 | 162735424 | o2(x,o2(o2(x,x),x)) | true | 170567 | 170567 | -0.07063 | 0.4538 | 0.9174 | 0.8985 | 0.9479 | -1 | 1 | 2 | 1 | 1.905 | 0.0009452 | 0.0002333 | 0.009719 | 0.6041 | 1 | 5.312e-7 | 0.000183 | 0.003022 | 0.001084 | 0.03293 | 3.388 | 0.2337 | 0.001312 | 0.0002037 | 1 | 1 | 0.003037 | 0.03634 | 0.2366 | 0.00338 | 0.04044 | 0.2634 | json |
| t20_x8_u0_b197 | 20 | 8 | 0 | 197 | ![]() |
sub(P,lrg(dst(P,R),R)) | 161321 | 162735425 | o2(x,o2(o2(x,x),x)) | true | 170575 | 170575 | -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_x8_u0_b198 | 20 | 8 | 0 | 198 | ![]() |
sub(P,eql(add(P,R),R)) | 161322 | 162735426 | o2(x,o2(o2(x,x),x)) | true | 170583 | 170583 | -0.0625 | 0.4688 | 0.9806 | 0.969 | 0.9844 | -1 | 1 | 2 | 1 | 1.326 | 0.001412 | 0 | 0.007937 | 1 | 1 | 0 | 0.00006477 | 0.001855 | 0.001349 | 0.03673 | 4.628 | 0.2338 | 0.001457 | 0.00006684 | 1 | 1 | 0.003702 | 0.04857 | 0.3004 | 0.00382 | 0.05012 | 0.31 | json |
| t20_x8_u0_b199 | 20 | 8 | 0 | 199 | ![]() |
sub(P,eql(sub(P,R),R)) | 161323 | 162735427 | o2(x,o2(o2(x,x),x)) | true | 170591 | 170591 | 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_x8_u0_b200 | 20 | 8 | 0 | 200 | ![]() |
sub(P,eql(mlt(P,R),R)) | 161324 | 162735428 | o2(x,o2(o2(x,x),x)) | true | 170599 | 170599 | -0.05277 | 0.4375 | 0.8847 | 0.8716 | 0.9336 | -1 | 1 | 2 | 1 | 1.869 | 0.001005 | 0 | 0.007937 | 1 | 1 | -4.731e-10 | 0.0001503 | 0.002725 | 0.0009424 | 0.0307 | 3.868 | 0.2265 | 0.001153 | 0.0001724 | 1 | 1 | 0.002565 | 0.02807 | 0.1699 | 0.002943 | 0.03221 | 0.1949 | json |
| t20_x9_u0_b0 | 20 | 9 | 0 | 0 | ![]() |
add(P,add(add(D,P),P)) | 161325 | 162775629 | o2(x,o2(o2(x,x),x)) | true | 170607 | 170607 | 0 | 0.5 | 0.9693 | 0.962 | 0.9808 | -1 | 1 | 2 | 1 | 1.394 | 0.001405 | 0 | 0.007937 | 1 | 1 | 0 | 0.0003934 | 0.003229 | 0.001342 | 0.03663 | 4.615 | 0.2352 | 0.00146 | 0.000409 | 1 | 1 | 0.003465 | 0.03766 | 0.2857 | 0.003602 | 0.03915 | 0.2969 | json |
| t20_x9_u0_b1 | 20 | 9 | 0 | 1 | ![]() |
add(P,add(sub(D,P),P)) | 161326 | 162775630 | o2(x,o2(o2(x,x),x)) | true | 170615 | 170615 | 0 | 0.5 | 0.9375 | 0.9165 | 0.9574 | -1 | 1 | 2 | 1 | 1.979 | 0.0004883 | 0 | 0.007937 | 1 | 1 | 0 | 0.0000155 | 0.000496 | 0.0004253 | 0.02062 | 2.598 | 0.0625 | 0.0005327 | 0.00001691 | 1 | 1 | 0.001285 | 0.01928 | 0.2245 | 0.001402 | 0.02104 | 0.245 | json |
| t20_x9_u0_b2 | 20 | 9 | 0 | 2 | ![]() |
add(P,add(mlt(D,P),P)) | 161327 | 162775631 | o2(x,o2(o2(x,x),x)) | true | 170623 | 170623 | -0.006096 | 0.5 | 0.9559 | 0.9483 | 0.9738 | -1 | 1 | 2 | 1 | 1.498 | 0.001328 | 0 | 0.007937 | 1 | 1 | -9.463e-10 | 0.0002983 | 0.003633 | 0.001265 | 0.03557 | 4.482 | 0.2524 | 0.0014 | 0.0003145 | 1 | 1 | 0.003324 | 0.03258 | 0.2672 | 0.003506 | 0.03435 | 0.2818 | json |
| t20_x9_u0_b3 | 20 | 9 | 0 | 3 | ![]() |
add(P,add(div(D,P),P)) | 161328 | 162775632 | o2(x,o2(o2(x,x),x)) | true | 170631 | 170631 | -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_x9_u0_b4 | 20 | 9 | 0 | 4 | ![]() |
add(P,add(pow(D,P),P)) | 161329 | 162775633 | o2(x,o2(o2(x,x),x)) | true | 170639 | 170639 | -0.8851 | 0.0625 | 0.9899 | 0.2003 | 0.4475 | -1 | 1 | 2 | 1 | 0.4779 | 0.03232 | 0 | 0.01979 | 1 | 1 | 1.892e-9 | 0.06409 | 0.03492 | 0.03191 | 0.1786 | 9.029 | 2 | 0.1614 | 0.32 | 1 | 1 | 0.04323 | 0.1462 | 0.2874 | 0.2158 | 0.7302 | 1.435 | json |
| t20_x9_u0_b5 | 20 | 9 | 0 | 5 | ![]() |
add(P,add(mod(D,P),P)) | 161330 | 162775634 | o2(x,o2(o2(x,x),x)) | true | 170647 | 170647 | -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_x9_u0_b6 | 20 | 9 | 0 | 6 | ![]() |
add(P,add(lrg(D,P),P)) | 161331 | 162775635 | o2(x,o2(o2(x,x),x)) | true | 170655 | 170655 | 0.03125 | 0.5 | 0.9688 | 0.9603 | 0.98 | -1 | 1 | 2 | 1 | 1.406 | 0.004323 | 0 | 0.007937 | 1 | 1 | 0 | 0.007903 | 0.008812 | 0.004259 | 0.06526 | 8.223 | 1 | 0.004502 | 0.008229 | 1 | 1 | 0.006228 | 0.03975 | 0.2856 | 0.006485 | 0.04139 | 0.2974 | json |
| t20_x9_u0_b7 | 20 | 9 | 0 | 7 | ![]() |
add(P,add(eql(D,P),P)) | 161332 | 162775636 | o2(x,o2(o2(x,x),x)) | true | 170663 | 170663 | 0 | 0.5 | 0.9569 | 0.9494 | 0.9744 | -1 | 1 | 2 | 1 | 1.488 | 0.001303 | 0 | 0.007937 | 1 | 1 | 0 | 0.0002681 | 0.003586 | 0.001241 | 0.03522 | 4.438 | 0.2265 | 0.001373 | 0.0002824 | 1 | 1 | 0.003279 | 0.03268 | 0.2686 | 0.003454 | 0.03442 | 0.2829 | json |
| t20_x9_u0_b8 | 20 | 9 | 0 | 8 | ![]() |
add(P,add(min(D,P),P)) | 161333 | 162775637 | o2(x,o2(o2(x,x),x)) | true | 170671 | 170671 | -0.01107 | 0.5 | 0.9609 | 0.9532 | 0.9763 | -1 | 1 | 2 | 1 | 1.441 | 0.001379 | 0 | 0.007936 | 1 | 1 | -8.278e-10 | 0.0003906 | 0.003828 | 0.001316 | 0.03628 | 4.571 | 0.2832 | 0.001447 | 0.0004097 | 1 | 1 | 0.003399 | 0.0337 | 0.2741 | 0.003566 | 0.03536 | 0.2875 | json |
| t20_x9_u0_b9 | 20 | 9 | 0 | 9 | ![]() |
add(P,add(dot(D,P),P)) | 161334 | 162775638 | o2(x,o2(o2(x,x),x)) | true | 170679 | 170679 | -0.0156 | 0.4912 | 0.9652 | 0.9543 | 0.9769 | -1 | 1 | 2 | 1 | 1.561 | 0.001364 | 0.002109 | 0.01382 | -0.2145 | 1 | 0.0001788 | 0.001187 | 0.006812 | 0.003285 | 0.05731 | 4.148 | 0.4864 | 0.00364 | 0.001243 | 1 | 1 | 0.006537 | 0.05652 | 0.2746 | 0.00685 | 0.05922 | 0.2878 | json |
| t20_x9_u0_b10 | 20 | 9 | 0 | 10 | ![]() |
add(P,add(dst(D,P),P)) | 161335 | 162775639 | o2(x,o2(o2(x,x),x)) | true | 170687 | 170687 | 0.2993 | 0.6493 | 0.9588 | 0.8555 | 0.9249 | -1 | 1 | 2 | 1 | 1.625 | 0.0009008 | 0.0006091 | 0.01082 | 0.1932 | 1 | -0.00001127 | 0.0002767 | 0.003566 | 0.001392 | 0.03731 | 3.449 | 0.2837 | 0.001765 | 0.0003234 | 1 | 1 | 0.003843 | 0.04393 | 0.3572 | 0.004492 | 0.05135 | 0.4175 | json |
| t20_x9_u0_b11 | 20 | 9 | 0 | 11 | ![]() |
add(P,sub(add(D,P),P)) | 161336 | 162775640 | o2(x,o2(o2(x,x),x)) | true | 170695 | 170695 | 0 | 0.5 | 0.9375 | 0.9165 | 0.9574 | -1 | 1 | 2 | 1 | 1.979 | 0.0004883 | 0 | 0.007937 | 1 | 1 | 0 | 0.0000155 | 0.000496 | 0.0004253 | 0.02062 | 2.598 | 0.0625 | 0.0005327 | 0.00001691 | 1 | 1 | 0.001285 | 0.01928 | 0.2245 | 0.001402 | 0.02104 | 0.245 | json |
| t20_x9_u0_b12 | 20 | 9 | 0 | 12 | ![]() |
add(P,sub(sub(D,P),P)) | 161337 | 162775641 | o2(x,o2(o2(x,x),x)) | true | 170703 | 170703 | 0 | 0.5 | 0.9375 | 0.9252 | 0.9619 | -1 | 1 | 2 | 1 | 1.774 | 0.001323 | 0 | 0.01101 | 1 | 1 | 0 | 0.0002527 | 0.005079 | 0.001202 | 0.03468 | 3.15 | 0.1713 | 0.00143 | 0.0002731 | 1 | 1 | 0.003342 | 0.0331 | 0.2361 | 0.003612 | 0.03578 | 0.2552 | json |
| t20_x9_u0_b13 | 20 | 9 | 0 | 13 | ![]() |
add(P,sub(mlt(D,P),P)) | 161338 | 162775642 | o2(x,o2(o2(x,x),x)) | true | 170711 | 170711 | -0.1371 | 0.3594 | 0.4002 | 0.2253 | 0.4747 | -1 | 0.9606 | 1.961 | 1 | 4.765 | 0.03261 | 0 | 0.1409 | 1 | 1 | 0.002385 | 0.006072 | 0.05811 | 0.01278 | 0.113 | 0.8025 | 0.4334 | 0.1447 | 0.02695 | 1 | 1 | 0.03817 | 0.2764 | 0.02108 | 0.1694 | 1.227 | 0.09354 | json |
| t20_x9_u0_b14 | 20 | 9 | 0 | 14 | ![]() |
add(P,sub(div(D,P),P)) | 161339 | 162775643 | o2(x,o2(o2(x,x),x)) | true | 170719 | 170719 | -0.1094 | 0.5156 | 0.1542 | 0.1153 | 0.3396 | -1 | 0.1922 | 1.192 | 1 | 1.912 | 0.00866 | 0 | 0.01835 | 1 | 1 | 0.0000369 | 0.01597 | 0.01991 | 0.008324 | 0.09124 | 4.973 | 1.031 | 0.07511 | 0.1385 | 1 | 1 | 0.01236 | 0.05779 | 0.1864 | 0.1072 | 0.5012 | 1.617 | json |
| t20_x9_u0_b15 | 20 | 9 | 0 | 15 | ![]() |
add(P,sub(pow(D,P),P)) | 161340 | 162775644 | o2(x,o2(o2(x,x),x)) | true | 170727 | 170727 | -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.04211 | 0.1684 | 0.3368 | 0.1796 | 0.7186 | 1.437 | json |
| t20_x9_u0_b16 | 20 | 9 | 0 | 16 | ![]() |
add(P,sub(mod(D,P),P)) | 161341 | 162775645 | o2(x,o2(o2(x,x),x)) | true | 170735 | 170735 | -0.125 | 0.4375 | 0.2076 | 0.1189 | 0.3448 | -1 | 0.1454 | 1.145 | 1 | 2.785 | 0.009352 | 0 | 0.03917 | 1 | 1 | 9.386e-13 | 0.01611 | 0.02856 | 0.007817 | 0.08842 | 2.257 | 1.031 | 0.07868 | 0.1355 | 1 | 1 | 0.01311 | 0.05985 | 0.1702 | 0.1103 | 0.5035 | 1.432 | json |
| t20_x9_u0_b17 | 20 | 9 | 0 | 17 | ![]() |
add(P,sub(lrg(D,P),P)) | 161342 | 162775646 | o2(x,o2(o2(x,x),x)) | true | 170743 | 170743 | 0.5 | 0.5625 | 0.5 | 0.2365 | 0.4863 | 0 | 1 | 1 | 1 | 1.577 | 0.00467 | 0 | 0.0119 | 1 | 1 | -4.731e-10 | 0.008068 | 0.009787 | 0.004528 | 0.06729 | 5.654 | 0.9994 | 0.01975 | 0.03412 | 1 | 1 | 0.007036 | 0.03244 | 0.06598 | 0.02976 | 0.1372 | 0.279 | json |
| t20_x9_u0_b18 | 20 | 9 | 0 | 18 | ![]() |
add(P,sub(eql(D,P),P)) | 161343 | 162775647 | o2(x,o2(o2(x,x),x)) | true | 170751 | 170751 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t20_x9_u0_b19 | 20 | 9 | 0 | 19 | ![]() |
add(P,sub(min(D,P),P)) | 161344 | 162775648 | o2(x,o2(o2(x,x),x)) | true | 170759 | 170759 | -0.4866 | 0.2188 | 0.5279 | 0.2404 | 0.4903 | -1 | 0.1454 | 1.145 | 1 | 2.671 | 0.00115 | 0 | 0.02195 | 1 | 1 | 0.0001582 | 0.000139 | 0.007881 | 0.0006688 | 0.02586 | 1.178 | 0.1105 | 0.004785 | 0.0005782 | 1 | 1 | 0.002476 | 0.02333 | 0.06805 | 0.0103 | 0.09702 | 0.283 | json |
| t20_x9_u0_b20 | 20 | 9 | 0 | 20 | ![]() |
add(P,sub(dot(D,P),P)) | 161345 | 162775649 | o2(x,o2(o2(x,x),x)) | true | 170767 | 170767 | -0.2397 | 0.3389 | 0.5376 | 0.3418 | 0.5846 | -1 | 1 | 2 | 1 | 4.686 | 0.02744 | 0.02744 | 0.1913 | -0.00001704 | 1 | 0.002662 | 0.0158 | 0.08103 | 0.0183 | 0.1353 | 0.7073 | 0.613 | 0.1606 | 0.04621 | 1 | 1 | 0.06843 | 0.4811 | 0.03707 | 0.2002 | 1.408 | 0.1085 | json |
| t20_x9_u0_b21 | 20 | 9 | 0 | 21 | ![]() |
add(P,sub(dst(D,P),P)) | 161346 | 162775650 | o2(x,o2(o2(x,x),x)) | true | 170775 | 170775 | 0.9987 | 1 | 0.9987 | 0.0006951 | 0.02637 | 0.04531 | 1 | 0.9547 | 1 | 0.04216 | 0.00003371 | 0.00003371 | 0.0005271 | 1.079e-7 | 0 | -1.314e-11 | 0.00002519 | 0.0003152 | 0.00006724 | 0.0082 | 15.56 | 0.1796 | 0.097 | 0.03624 | 1 | 1 | 0.0002218 | 0.001933 | 0.002533 | 0.3191 | 2.781 | 3.643 | json |
| t20_x9_u0_b22 | 20 | 9 | 0 | 22 | ![]() |
add(P,mlt(add(D,P),P)) | 161347 | 162775651 | o2(x,o2(o2(x,x),x)) | true | 170783 | 170783 | 0.8812 | 0.9375 | 0.8991 | 0.1054 | 0.3246 | -0.2729 | 1 | 1.273 | 1 | 1.067 | 0.001156 | 0 | 0.0101 | 1 | 1 | -2.602e-9 | 0.0002344 | 0.003322 | 0.001055 | 0.03247 | 3.215 | 0.2066 | 0.01097 | 0.002224 | 1 | 1 | 0.002911 | 0.03248 | 0.1604 | 0.02763 | 0.3082 | 1.522 | json |
| t20_x9_u0_b23 | 20 | 9 | 0 | 23 | ![]() |
add(P,mlt(sub(D,P),P)) | 161348 | 162775652 | o2(x,o2(o2(x,x),x)) | true | 170791 | 170791 | -0.9056 | 0.01172 | 0.9067 | 0.07295 | 0.2701 | -1 | 0.06592 | 1.066 | 1 | 0.8891 | 0.001785 | 0 | 0.01062 | 1 | 1 | -2.365e-10 | 0.0004958 | 0.005198 | 0.001673 | 0.04091 | 3.851 | 0.2927 | 0.02447 | 0.006797 | 1 | 1 | 0.004407 | 0.0354 | 0.1104 | 0.06041 | 0.4852 | 1.513 | json |
| t20_x9_u0_b24 | 20 | 9 | 0 | 24 | ![]() |
add(P,mlt(mlt(D,P),P)) | 161349 | 162775653 | o2(x,o2(o2(x,x),x)) | true | 170799 | 170799 | 1.31e-10 | 0.4961 | 0.8557 | 0.8144 | 0.9024 | -1 | 1 | 2 | 1 | 2.798 | 0.08143 | 0 | 0.1033 | 1 | 1 | 3.754e-12 | 0.09292 | 0.1255 | 0.07078 | 0.266 | 2.576 | 1.502 | 0.09999 | 0.1141 | 1 | 1 | 0.0359 | 0.06467 | 0.2525 | 0.04408 | 0.07941 | 0.31 | json |
| t20_x9_u0_b25 | 20 | 9 | 0 | 25 | ![]() |
add(P,mlt(div(D,P),P)) | 161350 | 162775654 | o2(x,o2(o2(x,x),x)) | true | 170807 | 170807 | -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_x9_u0_b26 | 20 | 9 | 0 | 26 | ![]() |
add(P,mlt(pow(D,P),P)) | 161351 | 162775655 | o2(x,o2(o2(x,x),x)) | true | 170815 | 170815 | -0.9806 | 0 | 0.9806 | 0.01595 | 0.1263 | -1 | -0.0005915 | 0.9994 | 1 | 0.2498 | 0.004789 | 0 | 0.007932 | 1 | 1 | -7.096e-10 | 0.008321 | 0.01041 | 0.004724 | 0.06873 | 8.665 | 0.9994 | 0.3002 | 0.5217 | 1 | 1 | 0.007184 | 0.02201 | 0.02201 | 0.4504 | 1.38 | 1.38 | json |
| t20_x9_u0_b27 | 20 | 9 | 0 | 27 | ![]() |
add(P,mlt(mod(D,P),P)) | 161352 | 162775656 | o2(x,o2(o2(x,x),x)) | true | 170823 | 170823 | -0.1243 | 0.4375 | 0.9993 | 0.9832 | 0.9916 | -1 | 1 | 2 | 1 | 1.048 | 0.0159 | 0 | 0.008516 | 1 | 1 | -9.461e-10 | 0.03178 | 0.01666 | 0.01582 | 0.1258 | 14.77 | 2 | 0.01617 | 0.03232 | 1 | 1 | 0.0211 | 0.08427 | 0.3369 | 0.02146 | 0.08571 | 0.3427 | json |
| t20_x9_u0_b28 | 20 | 9 | 0 | 28 | ![]() |
add(P,mlt(lrg(D,P),P)) | 161353 | 162775657 | o2(x,o2(o2(x,x),x)) | true | 170831 | 170831 | -0.009727 | 0.5 | 0.9472 | 0.9365 | 0.9677 | -1 | 1 | 2 | 1 | 1.65 | 0.001005 | 0 | 0.007937 | 1 | 1 | 4.731e-10 | 0.0001502 | 0.002719 | 0.0009424 | 0.0307 | 3.868 | 0.2265 | 0.001073 | 0.0001604 | 1 | 1 | 0.002565 | 0.02848 | 0.2515 | 0.002739 | 0.03041 | 0.2686 | json |
| t20_x9_u0_b29 | 20 | 9 | 0 | 29 | ![]() |
add(P,mlt(eql(D,P),P)) | 161354 | 162775658 | o2(x,o2(o2(x,x),x)) | true | 170839 | 170839 | 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_x9_u0_b30 | 20 | 9 | 0 | 30 | ![]() |
add(P,mlt(min(D,P),P)) | 161355 | 162775659 | o2(x,o2(o2(x,x),x)) | true | 170847 | 170847 | 0.8758 | 0.9336 | 0.8758 | 0.09794 | 0.313 | 0 | 1 | 1 | 1 | 0.9676 | 0.0009917 | 0 | 0.007936 | 1 | 1 | -5.912e-10 | 0.0001515 | 0.002675 | 0.0009294 | 0.03049 | 3.841 | 0.2265 | 0.01012 | 0.001546 | 1 | 1 | 0.00253 | 0.02772 | 0.1455 | 0.02583 | 0.283 | 1.485 | json |
| t20_x9_u0_b31 | 20 | 9 | 0 | 31 | ![]() |
add(P,mlt(dot(D,P),P)) | 161356 | 162775660 | o2(x,o2(o2(x,x),x)) | true | 170855 | 170855 | -7.021e-10 | 0.4978 | 0.8109 | 0.7635 | 0.8738 | -1 | 1 | 2 | 1 | 3.062 | 0.1054 | 0.07948 | 0.186 | 0.14 | 1 | -2.178e-10 | 0.3408 | 0.2313 | 0.1503 | 0.3876 | 2.084 | 2.828 | 0.2421 | 0.4464 | 1 | 1 | 0.1667 | 0.6731 | 0.2475 | 0.2183 | 0.8816 | 0.3242 | json |
| t20_x9_u0_b32 | 20 | 9 | 0 | 32 | ![]() |
add(P,mlt(dst(D,P),P)) | 161357 | 162775661 | o2(x,o2(o2(x,x),x)) | true | 170863 | 170863 | 0 | 0.5 | 0.9707 | 0.966 | 0.9828 | -1 | 1 | 2 | 1 | 1.368 | 0.002142 | 0.000002076 | 0.007944 | 0.9981 | 1 | 0 | 0.001153 | 0.005762 | 0.00208 | 0.04561 | 5.741 | 0.471 | 0.002219 | 0.001193 | 1 | 1 | 0.004656 | 0.03949 | 0.2886 | 0.00482 | 0.04088 | 0.2987 | json |
| t20_x9_u0_b33 | 20 | 9 | 0 | 33 | ![]() |
add(P,div(add(D,P),P)) | 161358 | 162775662 | o2(x,o2(o2(x,x),x)) | true | 170871 | 170871 | -0.08862 | 0.457 | 0.9666 | 0.9525 | 0.9759 | -1 | 1 | 2 | 1 | 1.363 | 0.02067 | 0 | 0.01704 | 1 | 1 | -1.892e-9 | 0.03983 | 0.02571 | 0.02037 | 0.1427 | 8.377 | 2 | 0.0217 | 0.04181 | 1 | 1 | 0.02841 | 0.1211 | 0.3813 | 0.02982 | 0.1272 | 0.4004 | json |
| t20_x9_u0_b34 | 20 | 9 | 0 | 34 | ![]() |
add(P,div(sub(D,P),P)) | 161359 | 162775663 | o2(x,o2(o2(x,x),x)) | true | 170879 | 170879 | -0.1518 | 0.4375 | 0.9732 | 0.9409 | 0.97 | -1 | 1 | 2 | 1 | 1.427 | 0.004484 | 0 | 0.007937 | 1 | 1 | 4.735e-10 | 0.007927 | 0.008352 | 0.00442 | 0.06649 | 8.377 | 1.031 | 0.004766 | 0.008425 | 1 | 1 | 0.006639 | 0.04337 | 0.2883 | 0.007056 | 0.04609 | 0.3064 | json |
| t20_x9_u0_b35 | 20 | 9 | 0 | 35 | ![]() |
add(P,div(mlt(D,P),P)) | 161360 | 162775664 | o2(x,o2(o2(x,x),x)) | true | 170887 | 170887 | -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_x9_u0_b36 | 20 | 9 | 0 | 36 | ![]() |
add(P,div(div(D,P),P)) | 161361 | 162775665 | o2(x,o2(o2(x,x),x)) | true | 170895 | 170895 | -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_x9_u0_b37 | 20 | 9 | 0 | 37 | ![]() |
add(P,div(pow(D,P),P)) | 161362 | 162775666 | o2(x,o2(o2(x,x),x)) | true | 170903 | 170903 | -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.04211 | 0.1684 | 0.3368 | 0.1796 | 0.7186 | 1.437 | json |
| t20_x9_u0_b38 | 20 | 9 | 0 | 38 | ![]() |
add(P,div(mod(D,P),P)) | 161363 | 162775667 | o2(x,o2(o2(x,x),x)) | true | 170911 | 170911 | -0.1235 | 0.4375 | 0.9985 | 0.982 | 0.991 | -1 | 1 | 2 | 1 | 1.071 | 0.01591 | 0 | 0.008804 | 1 | 1 | 0 | 0.03178 | 0.01671 | 0.01583 | 0.1258 | 14.29 | 2 | 0.0162 | 0.03236 | 1 | 1 | 0.02113 | 0.08438 | 0.337 | 0.02152 | 0.08593 | 0.3432 | json |
| t20_x9_u0_b39 | 20 | 9 | 0 | 39 | ![]() |
add(P,div(lrg(D,P),P)) | 161364 | 162775668 | o2(x,o2(o2(x,x),x)) | true | 170919 | 170919 | -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_x9_u0_b40 | 20 | 9 | 0 | 40 | ![]() |
add(P,div(eql(D,P),P)) | 161365 | 162775669 | o2(x,o2(o2(x,x),x)) | true | 170927 | 170927 | 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_x9_u0_b41 | 20 | 9 | 0 | 41 | ![]() |
add(P,div(min(D,P),P)) | 161366 | 162775670 | o2(x,o2(o2(x,x),x)) | true | 170935 | 170935 | -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_x9_u0_b42 | 20 | 9 | 0 | 42 | ![]() |
add(P,div(dot(D,P),P)) | 161367 | 162775671 | o2(x,o2(o2(x,x),x)) | true | 170943 | 170943 | -0.125 | 0.4375 | 0.9912 | 0.9716 | 0.9857 | -1 | 1 | 2 | 1 | 1.224 | 0.01337 | 0.0006763 | 0.01213 | 0.9037 | 1 | -7.509e-12 | 0.02686 | 0.0188 | 0.01389 | 0.1179 | 9.72 | 2 | 0.01446 | 0.02764 | 1 | 1 | 0.01918 | 0.0827 | 0.3326 | 0.01974 | 0.08511 | 0.3424 | json |
| t20_x9_u0_b43 | 20 | 9 | 0 | 43 | ![]() |
add(P,div(dst(D,P),P)) | 161368 | 162775672 | o2(x,o2(o2(x,x),x)) | true | 170951 | 170951 | -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_x9_u0_b44 | 20 | 9 | 0 | 44 | ![]() |
add(P,pow(add(D,P),P)) | 161369 | 162775673 | o2(x,o2(o2(x,x),x)) | true | 170959 | 170959 | 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_x9_u0_b45 | 20 | 9 | 0 | 45 | ![]() |
add(P,pow(sub(D,P),P)) | 161370 | 162775674 | o2(x,o2(o2(x,x),x)) | true | 170967 | 170967 | -0.8786 | 0.0625 | 0.9345 | 0.1512 | 0.3888 | -1 | 0.9996 | 2 | 1 | 0.8565 | 0.0172 | 0 | 0.01766 | 1 | 1 | 1.892e-9 | 0.03214 | 0.01933 | 0.01689 | 0.1299 | 7.36 | 2 | 0.1138 | 0.2126 | 1 | 1 | 0.02431 | 0.1005 | 0.2236 | 0.1608 | 0.6647 | 1.479 | json |
| t20_x9_u0_b46 | 20 | 9 | 0 | 46 | ![]() |
add(P,pow(mlt(D,P),P)) | 161371 | 162775675 | o2(x,o2(o2(x,x),x)) | true | 170975 | 170975 | -1 | 0 | 1 | 0 | 0 | -1 | -1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t20_x9_u0_b47 | 20 | 9 | 0 | 47 | ![]() |
add(P,pow(div(D,P),P)) | 161372 | 162775676 | o2(x,o2(o2(x,x),x)) | true | 170983 | 170983 | -1 | 0 | 1 | 0 | 0 | -1 | -1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t20_x9_u0_b48 | 20 | 9 | 0 | 48 | ![]() |
add(P,pow(pow(D,P),P)) | 161373 | 162775677 | o2(x,o2(o2(x,x),x)) | true | 170991 | 170991 | -0.9286 | 0.03516 | 0.9787 | 0.1082 | 0.3289 | -1 | 0.9997 | 2 | 1 | 0.5322 | 0.01716 | 0 | 0.01587 | 1 | 1 | -2.365e-9 | 0.03191 | 0.01758 | 0.01691 | 0.13 | 8.193 | 2 | 0.1587 | 0.295 | 1 | 1 | 0.02437 | 0.1119 | 0.1527 | 0.2253 | 1.035 | 1.412 | json |
| t20_x9_u0_b49 | 20 | 9 | 0 | 49 | ![]() |
add(P,pow(mod(D,P),P)) | 161374 | 162775678 | o2(x,o2(o2(x,x),x)) | true | 170999 | 170999 | -0.8767 | 0.0625 | 0.9983 | 0.2283 | 0.4778 | -1 | 1 | 2 | 1 | 0.3808 | 0.03177 | 0 | 0.01672 | 1 | 1 | 9.461e-10 | 0.0636 | 0.03241 | 0.03148 | 0.1774 | 10.61 | 2 | 0.1392 | 0.2786 | 1 | 1 | 0.0421 | 0.1641 | 0.3279 | 0.1844 | 0.7185 | 1.436 | json |
| t20_x9_u0_b50 | 20 | 9 | 0 | 50 | ![]() |
add(P,pow(lrg(D,P),P)) | 161375 | 162775679 | o2(x,o2(o2(x,x),x)) | true | 171007 | 171007 | 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_x9_u0_b51 | 20 | 9 | 0 | 51 | ![]() |
add(P,pow(eql(D,P),P)) | 161376 | 162775680 | o2(x,o2(o2(x,x),x)) | true | 171015 | 171015 | 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_x9_u0_b52 | 20 | 9 | 0 | 52 | ![]() |
add(P,pow(min(D,P),P)) | 161377 | 162775681 | o2(x,o2(o2(x,x),x)) | true | 171023 | 171023 | -1 | 0 | 1 | 0 | 0 | -1 | -1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t20_x9_u0_b53 | 20 | 9 | 0 | 53 | ![]() |
add(P,pow(dot(D,P),P)) | 161378 | 162775682 | o2(x,o2(o2(x,x),x)) | true | 171031 | 171031 | -1 | 0 | 1 | 0 | 0 | -1 | -1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t20_x9_u0_b54 | 20 | 9 | 0 | 54 | ![]() |
add(P,pow(dst(D,P),P)) | 161379 | 162775683 | o2(x,o2(o2(x,x),x)) | true | 171039 | 171039 | 0.07947 | 0.5349 | 0.967 | 0.9479 | 0.9736 | -1 | 1 | 2 | 1 | 1.625 | 0.001153 | 0.00001896 | 0.008262 | 0.9676 | 1 | 2.148e-8 | 0.0001054 | 0.002496 | 0.001104 | 0.03322 | 4.021 | 0.2389 | 0.001236 | 0.0001112 | 1 | 1 | 0.002974 | 0.03657 | 0.2728 | 0.003138 | 0.03859 | 0.2878 | json |
| t20_x9_u0_b55 | 20 | 9 | 0 | 55 | ![]() |
add(P,mod(add(D,P),P)) | 161380 | 162775684 | o2(x,o2(o2(x,x),x)) | true | 171047 | 171047 | -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_x9_u0_b56 | 20 | 9 | 0 | 56 | ![]() |
add(P,mod(sub(D,P),P)) | 161381 | 162775685 | o2(x,o2(o2(x,x),x)) | true | 171055 | 171055 | -0.125 | 0.4375 | 0.8132 | 0.7548 | 0.8688 | -1 | 1 | 2 | 1 | 2.859 | 0.06485 | 0 | 0.1078 | 1 | 1 | -9.386e-13 | 0.1193 | 0.1414 | 0.05326 | 0.2308 | 2.142 | 1.032 | 0.08592 | 0.1581 | 1 | 1 | 0.06798 | 0.1878 | 0.2831 | 0.09006 | 0.2488 | 0.3751 | json |
| t20_x9_u0_b57 | 20 | 9 | 0 | 57 | ![]() |
add(P,mod(mlt(D,P),P)) | 161382 | 162775686 | o2(x,o2(o2(x,x),x)) | true | 171063 | 171063 | -0.1243 | 0.4375 | 0.9993 | 0.9832 | 0.9916 | -1 | 1 | 2 | 1 | 1.048 | 0.0159 | 0 | 0.008516 | 1 | 1 | -9.461e-10 | 0.03178 | 0.01666 | 0.01582 | 0.1258 | 14.77 | 2 | 0.01617 | 0.03232 | 1 | 1 | 0.0211 | 0.08427 | 0.3369 | 0.02146 | 0.08571 | 0.3427 | json |
| t20_x9_u0_b58 | 20 | 9 | 0 | 58 | ![]() |
add(P,mod(div(D,P),P)) | 161383 | 162775687 | o2(x,o2(o2(x,x),x)) | true | 171071 | 171071 | -0.1235 | 0.4375 | 0.9985 | 0.982 | 0.991 | -1 | 1 | 2 | 1 | 1.071 | 0.01591 | 0 | 0.008804 | 1 | 1 | 0 | 0.03178 | 0.01671 | 0.01583 | 0.1258 | 14.29 | 2 | 0.0162 | 0.03236 | 1 | 1 | 0.02113 | 0.08438 | 0.337 | 0.02152 | 0.08593 | 0.3432 | json |
| t20_x9_u0_b59 | 20 | 9 | 0 | 59 | ![]() |
add(P,mod(pow(D,P),P)) | 161384 | 162775688 | o2(x,o2(o2(x,x),x)) | true | 171079 | 171079 | -1 | 0 | 1 | 0 | 0 | -1 | -1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t20_x9_u0_b60 | 20 | 9 | 0 | 60 | ![]() |
add(P,mod(mod(D,P),P)) | 161385 | 162775689 | o2(x,o2(o2(x,x),x)) | true | 171087 | 171087 | -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_x9_u0_b61 | 20 | 9 | 0 | 61 | ![]() |
add(P,mod(lrg(D,P),P)) | 161386 | 162775690 | o2(x,o2(o2(x,x),x)) | true | 171095 | 171095 | -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_x9_u0_b62 | 20 | 9 | 0 | 62 | ![]() |
add(P,mod(eql(D,P),P)) | 161387 | 162775691 | o2(x,o2(o2(x,x),x)) | true | 171103 | 171103 | -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_x9_u0_b63 | 20 | 9 | 0 | 63 | ![]() |
add(P,mod(min(D,P),P)) | 161388 | 162775692 | o2(x,o2(o2(x,x),x)) | true | 171111 | 171111 | -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_x9_u0_b64 | 20 | 9 | 0 | 64 | ![]() |
add(P,mod(dot(D,P),P)) | 161389 | 162775693 | o2(x,o2(o2(x,x),x)) | true | 171119 | 171119 | -0.1265 | 0.4375 | 0.9933 | 0.9732 | 0.9865 | -1 | 1 | 2 | 1 | 1.216 | 0.01489 | 0.002338 | 0.01625 | 0.7286 | 1 | -9.427e-7 | 0.03945 | 0.02935 | 0.01696 | 0.1302 | 8.015 | 2 | 0.0177 | 0.04053 | 1 | 1 | 0.02113 | 0.0822 | 0.3315 | 0.02171 | 0.08447 | 0.3407 | json |
| t20_x9_u0_b65 | 20 | 9 | 0 | 65 | ![]() |
add(P,mod(dst(D,P),P)) | 161390 | 162775694 | o2(x,o2(o2(x,x),x)) | true | 171127 | 171127 | -0.09121 | 0.4375 | 0.9662 | 0.9431 | 0.9711 | -1 | 1 | 2 | 1 | 1.606 | 0.02097 | 0.00329 | 0.02639 | 0.7288 | 1 | -0.00002987 | 0.05441 | 0.0412 | 0.02357 | 0.1535 | 5.817 | 2 | 0.02572 | 0.05769 | 1 | 1 | 0.03104 | 0.1161 | 0.3664 | 0.03292 | 0.1231 | 0.3885 | json |
| t20_x9_u0_b66 | 20 | 9 | 0 | 66 | ![]() |
add(P,lrg(add(D,P),P)) | 161391 | 162775695 | o2(x,o2(o2(x,x),x)) | true | 171135 | 171135 | 0.0625 | 0.5 | 0.9375 | 0.9336 | 0.9662 | -1 | 1 | 2 | 1 | 1.272 | 0.007937 | 0 | 0.007937 | 1 | 1 | 0 | 0.01587 | 0.01587 | 0.007872 | 0.08872 | 11.18 | 1 | 0.008501 | 0.017 | 1 | 1 | 0.01053 | 0.04211 | 0.2526 | 0.01128 | 0.0451 | 0.2706 | json |
| t20_x9_u0_b67 | 20 | 9 | 0 | 67 | ![]() |
add(P,lrg(sub(D,P),P)) | 161392 | 162775696 | o2(x,o2(o2(x,x),x)) | true | 171143 | 171143 | 0.09375 | 0.5 | 0.9063 | 0.89 | 0.9434 | -1 | 1 | 2 | 1 | 1.668 | 0.004321 | 0 | 0.007937 | 1 | 1 | 4.731e-10 | 0.007953 | 0.008864 | 0.004257 | 0.06525 | 8.221 | 1 | 0.004855 | 0.008935 | 1 | 1 | 0.006189 | 0.0332 | 0.2014 | 0.006953 | 0.0373 | 0.2263 | json |
| t20_x9_u0_b68 | 20 | 9 | 0 | 68 | ![]() |
add(P,lrg(mlt(D,P),P)) | 161393 | 162775697 | o2(x,o2(o2(x,x),x)) | true | 171151 | 171151 | 0.0625 | 0.5 | 0.875 | 0.8576 | 0.926 | -1 | 1 | 2 | 1 | 2.027 | 0.0007059 | 0 | 0.007937 | 1 | 1 | 0 | 0.00003238 | 0.001855 | 0.0006432 | 0.02536 | 3.195 | 0.1169 | 0.0008231 | 0.00003776 | 1 | 1 | 0.001851 | 0.02429 | 0.1593 | 0.002158 | 0.02832 | 0.1858 | json |
| t20_x9_u0_b69 | 20 | 9 | 0 | 69 | ![]() |
add(P,lrg(div(D,P),P)) | 161394 | 162775698 | o2(x,o2(o2(x,x),x)) | true | 171159 | 171159 | 0.09375 | 0.5 | 0.9063 | 0.89 | 0.9434 | -1 | 1 | 2 | 1 | 1.668 | 0.004321 | 0 | 0.007937 | 1 | 1 | 4.731e-10 | 0.007953 | 0.008864 | 0.004257 | 0.06525 | 8.221 | 1 | 0.004855 | 0.008935 | 1 | 1 | 0.006189 | 0.0332 | 0.2014 | 0.006953 | 0.0373 | 0.2263 | json |
| t20_x9_u0_b70 | 20 | 9 | 0 | 70 | ![]() |
add(P,lrg(pow(D,P),P)) | 161395 | 162775699 | o2(x,o2(o2(x,x),x)) | true | 171167 | 171167 | 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_x9_u0_b71 | 20 | 9 | 0 | 71 | ![]() |
add(P,lrg(mod(D,P),P)) | 161396 | 162775700 | o2(x,o2(o2(x,x),x)) | true | 171175 | 171175 | 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_x9_u0_b72 | 20 | 9 | 0 | 72 | ![]() |
add(P,lrg(lrg(D,P),P)) | 161397 | 162775701 | o2(x,o2(o2(x,x),x)) | true | 171183 | 171183 | 0.09375 | 0.5 | 0.9063 | 0.89 | 0.9434 | -1 | 1 | 2 | 1 | 1.668 | 0.004321 | 0 | 0.007937 | 1 | 1 | 4.731e-10 | 0.007953 | 0.008864 | 0.004257 | 0.06525 | 8.221 | 1 | 0.004855 | 0.008935 | 1 | 1 | 0.006189 | 0.0332 | 0.2014 | 0.006953 | 0.0373 | 0.2263 | json |
| t20_x9_u0_b73 | 20 | 9 | 0 | 73 | ![]() |
add(P,lrg(eql(D,P),P)) | 161398 | 162775702 | o2(x,o2(o2(x,x),x)) | true | 171191 | 171191 | 0.0625 | 0.5 | 0.875 | 0.8576 | 0.926 | -1 | 1 | 2 | 1 | 2.027 | 0.0007059 | 0 | 0.007937 | 1 | 1 | 0 | 0.00003238 | 0.001855 | 0.0006432 | 0.02536 | 3.195 | 0.1169 | 0.0008231 | 0.00003776 | 1 | 1 | 0.001851 | 0.02429 | 0.1593 | 0.002158 | 0.02832 | 0.1858 | json |
| t20_x9_u0_b74 | 20 | 9 | 0 | 74 | ![]() |
add(P,lrg(min(D,P),P)) | 161399 | 162775703 | o2(x,o2(o2(x,x),x)) | true | 171199 | 171199 | 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 |



































































































