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_x12_u0_b172 | 20 | 12 | 0 | 172 | ![]() |
sub(P,pow(eql(D,D),P)) | 162100 | 162897004 | o2(x,o2(o2(x,x),x)) | true | 5207 | 5207 | -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_x12_u0_b173 | 20 | 12 | 0 | 173 | ![]() |
sub(P,pow(min(D,D),P)) | 162101 | 162897005 | o2(x,o2(o2(x,x),x)) | true | 5215 | 5215 | -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_x12_u0_b174 | 20 | 12 | 0 | 174 | ![]() |
sub(P,pow(dot(D,D),P)) | 162102 | 162897006 | o2(x,o2(o2(x,x),x)) | true | 5223 | 5223 | -0.07255 | 0.4648 | 0.976 | 0.9594 | 0.9795 | -1 | 1 | 2 | 1 | 1.539 | 0.001302 | 0.00006085 | 0.008776 | 0.9107 | 1 | 0.00001194 | 0.0000995 | 0.002502 | 0.001285 | 0.03585 | 4.085 | 0.2383 | 0.00142 | 0.0001037 | 1 | 1 | 0.003555 | 0.04486 | 0.29 | 0.003706 | 0.04676 | 0.3023 | json |
| t20_x12_u0_b175 | 20 | 12 | 0 | 175 | ![]() |
sub(P,pow(dst(D,D),P)) | 162103 | 162897007 | o2(x,o2(o2(x,x),x)) | true | 5231 | 5231 | -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_x12_u0_b176 | 20 | 12 | 0 | 176 | ![]() |
sub(P,mod(add(D,D),P)) | 162104 | 162897008 | o2(x,o2(o2(x,x),x)) | true | 5239 | 5239 | -0.125 | 0.4375 | 0.9935 | 0.9727 | 0.9862 | -1 | 1 | 2 | 1 | 1.22 | 0.01522 | 0 | 0.01099 | 1 | 1 | 0 | 0.03173 | 0.01917 | 0.0151 | 0.1229 | 11.18 | 1.938 | 0.01565 | 0.03262 | 1 | 1 | 0.01934 | 0.07711 | 0.3297 | 0.01988 | 0.07928 | 0.339 | json |
| t20_x12_u0_b177 | 20 | 12 | 0 | 177 | ![]() |
sub(P,mod(sub(D,D),P)) | 162105 | 162897009 | o2(x,o2(o2(x,x),x)) | true | 5247 | 5247 | 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_x12_u0_b178 | 20 | 12 | 0 | 178 | ![]() |
sub(P,mod(mlt(D,D),P)) | 162106 | 162897010 | o2(x,o2(o2(x,x),x)) | true | 5255 | 5255 | -0.1252 | 0.4375 | 0.9998 | 0.984 | 0.992 | -1 | 1 | 2 | 1 | 0.9887 | 0.01586 | 0 | 0.008054 | 1 | 1 | 0 | 0.03182 | 0.01604 | 0.01579 | 0.1257 | 15.6 | 1.999 | 0.01612 | 0.03234 | 1 | 1 | 0.02097 | 0.08379 | 0.3364 | 0.02131 | 0.08515 | 0.3419 | json |
| t20_x12_u0_b179 | 20 | 12 | 0 | 179 | ![]() |
sub(P,mod(div(D,D),P)) | 162107 | 162897011 | o2(x,o2(o2(x,x),x)) | true | 5263 | 5263 | -0.1373 | 0.4375 | 0.9877 | 0.9671 | 0.9834 | -1 | 1 | 2 | 1 | 1.117 | 0.03359 | 0 | 0.0285 | 1 | 1 | -9.461e-10 | 0.105 | 0.0561 | 0.03279 | 0.1811 | 6.354 | 2 | 0.03474 | 0.1086 | 1 | 1 | 0.01948 | 0.06478 | 0.3174 | 0.02015 | 0.06699 | 0.3282 | json |
| t20_x12_u0_b180 | 20 | 12 | 0 | 180 | ![]() |
sub(P,mod(pow(D,D),P)) | 162108 | 162897012 | o2(x,o2(o2(x,x),x)) | true | 5271 | 5271 | -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_x12_u0_b181 | 20 | 12 | 0 | 181 | ![]() |
sub(P,mod(mod(D,D),P)) | 162109 | 162897013 | o2(x,o2(o2(x,x),x)) | true | 5279 | 5279 | -0.125 | 0.4375 | 0.9983 | 0.9812 | 0.9906 | -1 | 1 | 2 | 1 | 1.12 | 0.01626 | 0 | 0.01135 | 1 | 1 | 0 | 0.03444 | 0.02271 | 0.01612 | 0.127 | 11.18 | 2 | 0.01657 | 0.0351 | 1 | 1 | 0.02028 | 0.0822 | 0.3348 | 0.02067 | 0.08377 | 0.3413 | json |
| t20_x12_u0_b182 | 20 | 12 | 0 | 182 | ![]() |
sub(P,mod(lrg(D,D),P)) | 162110 | 162897014 | o2(x,o2(o2(x,x),x)) | true | 5287 | 5287 | -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_x12_u0_b183 | 20 | 12 | 0 | 183 | ![]() |
sub(P,mod(eql(D,D),P)) | 162111 | 162897015 | o2(x,o2(o2(x,x),x)) | true | 5295 | 5295 | -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_x12_u0_b184 | 20 | 12 | 0 | 184 | ![]() |
sub(P,mod(min(D,D),P)) | 162112 | 162897016 | o2(x,o2(o2(x,x),x)) | true | 5303 | 5303 | -0.125 | 0.4375 | 0.9978 | 0.9802 | 0.99 | -1 | 1 | 2 | 1 | 1.149 | 0.01546 | 0 | 0.009228 | 1 | 1 | 0 | 0.03163 | 0.0175 | 0.01536 | 0.124 | 13.43 | 1.969 | 0.01577 | 0.03227 | 1 | 1 | 0.02003 | 0.08147 | 0.3341 | 0.02043 | 0.08312 | 0.3409 | json |
| t20_x12_u0_b185 | 20 | 12 | 0 | 185 | ![]() |
sub(P,mod(dot(D,D),P)) | 162113 | 162897017 | o2(x,o2(o2(x,x),x)) | true | 5311 | 5311 | -0.1281 | 0.4375 | 0.9969 | 0.9787 | 0.9893 | -1 | 1 | 2 | 1 | 1.114 | 0.01406 | 0.00003287 | 0.008601 | 0.9953 | 1 | 0.000005022 | 0.0282 | 0.01562 | 0.01401 | 0.1184 | 13.76 | 1.998 | 0.0144 | 0.02881 | 1 | 1 | 0.01871 | 0.07714 | 0.3293 | 0.01912 | 0.07883 | 0.3364 | json |
| t20_x12_u0_b186 | 20 | 12 | 0 | 186 | ![]() |
sub(P,mod(dst(D,D),P)) | 162114 | 162897018 | o2(x,o2(o2(x,x),x)) | true | 5319 | 5319 | 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_x12_u0_b187 | 20 | 12 | 0 | 187 | ![]() |
sub(P,lrg(add(D,D),P)) | 162115 | 162897019 | o2(x,o2(o2(x,x),x)) | true | 5327 | 5327 | -0.04098 | 0.4688 | 0.959 | 0.9453 | 0.9723 | -1 | 1 | 2 | 1 | 1.571 | 0.006022 | 0 | 0.01586 | 1 | 1 | 0 | 0.008334 | 0.01158 | 0.005766 | 0.07594 | 4.787 | 0.9988 | 0.006371 | 0.008816 | 1 | 1 | 0.01045 | 0.06016 | 0.2663 | 0.01105 | 0.06364 | 0.2817 | json |
| t20_x12_u0_b188 | 20 | 12 | 0 | 188 | ![]() |
sub(P,lrg(sub(D,D),P)) | 162116 | 162897020 | o2(x,o2(o2(x,x),x)) | true | 5335 | 5335 | -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_x12_u0_b189 | 20 | 12 | 0 | 189 | ![]() |
sub(P,lrg(mlt(D,D),P)) | 162117 | 162897021 | o2(x,o2(o2(x,x),x)) | true | 5343 | 5343 | -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_x12_u0_b190 | 20 | 12 | 0 | 190 | ![]() |
sub(P,lrg(div(D,D),P)) | 162118 | 162897022 | o2(x,o2(o2(x,x),x)) | true | 5351 | 5351 | -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_x12_u0_b191 | 20 | 12 | 0 | 191 | ![]() |
sub(P,lrg(pow(D,D),P)) | 162119 | 162897023 | o2(x,o2(o2(x,x),x)) | true | 5359 | 5359 | -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_x12_u0_b192 | 20 | 12 | 0 | 192 | ![]() |
sub(P,lrg(mod(D,D),P)) | 162120 | 162897024 | o2(x,o2(o2(x,x),x)) | true | 5367 | 5367 | -0.02203 | 0.4844 | 0.9529 | 0.9421 | 0.9706 | -1 | 1 | 2 | 1 | 1.628 | 0.01908 | 0 | 0.02729 | 1 | 1 | 9.48e-10 | 0.0577 | 0.04244 | 0.01833 | 0.1354 | 4.962 | 1.016 | 0.02026 | 0.06124 | 1 | 1 | 0.01236 | 0.04582 | 0.2595 | 0.01312 | 0.04863 | 0.2755 | json |
| t20_x12_u0_b193 | 20 | 12 | 0 | 193 | ![]() |
sub(P,lrg(lrg(D,D),P)) | 162121 | 162897025 | o2(x,o2(o2(x,x),x)) | true | 5375 | 5375 | -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_x12_u0_b194 | 20 | 12 | 0 | 194 | ![]() |
sub(P,lrg(eql(D,D),P)) | 162122 | 162897026 | o2(x,o2(o2(x,x),x)) | true | 5383 | 5383 | -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_x12_u0_b195 | 20 | 12 | 0 | 195 | ![]() |
sub(P,lrg(min(D,D),P)) | 162123 | 162897027 | o2(x,o2(o2(x,x),x)) | true | 5391 | 5391 | -0.04098 | 0.4688 | 0.959 | 0.9453 | 0.9723 | -1 | 1 | 2 | 1 | 1.571 | 0.006022 | 0 | 0.01586 | 1 | 1 | 0 | 0.008334 | 0.01158 | 0.005766 | 0.07594 | 4.787 | 0.9988 | 0.006371 | 0.008816 | 1 | 1 | 0.01045 | 0.06016 | 0.2663 | 0.01105 | 0.06364 | 0.2817 | json |
| t20_x12_u0_b196 | 20 | 12 | 0 | 196 | ![]() |
sub(P,lrg(dot(D,D),P)) | 162124 | 162897028 | o2(x,o2(o2(x,x),x)) | true | 5399 | 5399 | -0.06257 | 0.4688 | 0.9806 | 0.9691 | 0.9844 | -1 | 1 | 2 | 1 | 1.328 | 0.001418 | 8.046e-7 | 0.007939 | 0.9989 | 1 | 3.483e-7 | 0.00007327 | 0.001874 | 0.001356 | 0.03682 | 4.638 | 0.2365 | 0.001464 | 0.00007561 | 1 | 1 | 0.003717 | 0.04869 | 0.3005 | 0.003836 | 0.05025 | 0.3101 | json |
| t20_x12_u0_b197 | 20 | 12 | 0 | 197 | ![]() |
sub(P,lrg(dst(D,D),P)) | 162125 | 162897029 | o2(x,o2(o2(x,x),x)) | true | 5407 | 5407 | -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_x12_u0_b198 | 20 | 12 | 0 | 198 | ![]() |
sub(P,eql(add(D,D),P)) | 162126 | 162897030 | o2(x,o2(o2(x,x),x)) | true | 5415 | 5415 | 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_x12_u0_b199 | 20 | 12 | 0 | 199 | ![]() |
sub(P,eql(sub(D,D),P)) | 162127 | 162897031 | o2(x,o2(o2(x,x),x)) | true | 5423 | 5423 | -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_x12_u0_b200 | 20 | 12 | 0 | 200 | ![]() |
sub(P,eql(mlt(D,D),P)) | 162128 | 162897032 | o2(x,o2(o2(x,x),x)) | true | 5431 | 5431 | 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_x13_u0_b0 | 20 | 13 | 0 | 0 | ![]() |
add(P,add(add(D,D),D)) | 162129 | 162937233 | o2(x,o2(o2(x,x),x)) | true | 5439 | 5439 | 0 | 0.5 | 0.9375 | 0.91 | 0.954 | -1 | 1 | 2 | 1 | 1.895 | 0.001266 | 0 | 0.01048 | 1 | 1 | 0 | 0.0002486 | 0.004972 | 0.001157 | 0.03401 | 3.245 | 0.1863 | 0.001392 | 0.0002732 | 1 | 1 | 0.003195 | 0.028 | 0.2156 | 0.00351 | 0.03076 | 0.237 | json |
| t20_x13_u0_b1 | 20 | 13 | 0 | 1 | ![]() |
add(P,add(sub(D,D),D)) | 162130 | 162937234 | o2(x,o2(o2(x,x),x)) | true | 5447 | 5447 | 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_x13_u0_b2 | 20 | 13 | 0 | 2 | ![]() |
add(P,add(mlt(D,D),D)) | 162131 | 162937235 | o2(x,o2(o2(x,x),x)) | true | 5455 | 5455 | 0.01488 | 0.5 | 0.9375 | 0.9191 | 0.9587 | -1 | 1 | 2 | 1 | 1.901 | 0.0006451 | 0 | 0.007937 | 1 | 1 | -1.124e-9 | 0.00003986 | 0.002006 | 0.0005823 | 0.02413 | 3.04 | 0.1134 | 0.0007019 | 0.00004337 | 1 | 1 | 0.001685 | 0.02225 | 0.2283 | 0.001833 | 0.02421 | 0.2484 | json |
| t20_x13_u0_b3 | 20 | 13 | 0 | 3 | ![]() |
add(P,add(div(D,D),D)) | 162132 | 162937236 | o2(x,o2(o2(x,x),x)) | true | 5463 | 5463 | 0.125 | 0.5625 | 0.9375 | 0.9009 | 0.9492 | -1 | 1 | 2 | 1 | 1.966 | 0.0004883 | 0 | 0.007937 | 1 | 1 | 4.967e-9 | 0.0000155 | 0.000496 | 0.0004253 | 0.02062 | 2.598 | 0.0625 | 0.000542 | 0.00001721 | 1 | 1 | 0.001285 | 0.01928 | 0.2245 | 0.001426 | 0.02141 | 0.2492 | json |
| t20_x13_u0_b4 | 20 | 13 | 0 | 4 | ![]() |
add(P,add(pow(D,D),D)) | 162133 | 162937237 | o2(x,o2(o2(x,x),x)) | true | 5471 | 5471 | -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_x13_u0_b5 | 20 | 13 | 0 | 5 | ![]() |
add(P,add(mod(D,D),D)) | 162134 | 162937238 | o2(x,o2(o2(x,x),x)) | true | 5479 | 5479 | 0 | 0.5 | 0.9375 | 0.9156 | 0.9569 | -1 | 1 | 2 | 1 | 1.885 | 0.005427 | 0 | 0.02068 | 1 | 1 | 0 | 0.01203 | 0.03625 | 0.004999 | 0.07071 | 3.42 | 0.461 | 0.005927 | 0.01314 | 1 | 1 | 0.006419 | 0.02279 | 0.2231 | 0.00701 | 0.02489 | 0.2437 | json |
| t20_x13_u0_b6 | 20 | 13 | 0 | 6 | ![]() |
add(P,add(lrg(D,D),D)) | 162135 | 162937239 | o2(x,o2(o2(x,x),x)) | true | 5487 | 5487 | 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_x13_u0_b7 | 20 | 13 | 0 | 7 | ![]() |
add(P,add(eql(D,D),D)) | 162136 | 162937240 | o2(x,o2(o2(x,x),x)) | true | 5495 | 5495 | 0.125 | 0.5625 | 0.9375 | 0.9009 | 0.9492 | -1 | 1 | 2 | 1 | 1.966 | 0.0004883 | 0 | 0.007937 | 1 | 1 | 0 | 0.0000155 | 0.000496 | 0.0004253 | 0.02062 | 2.598 | 0.0625 | 0.000542 | 0.00001721 | 1 | 1 | 0.001285 | 0.01928 | 0.2245 | 0.001426 | 0.02141 | 0.2492 | json |
| t20_x13_u0_b8 | 20 | 13 | 0 | 8 | ![]() |
add(P,add(min(D,D),D)) | 162137 | 162937241 | o2(x,o2(o2(x,x),x)) | true | 5503 | 5503 | 0 | 0.5 | 0.9375 | 0.912 | 0.955 | -1 | 1 | 2 | 1 | 1.905 | 0.0006751 | 0 | 0.007936 | 1 | 1 | 0 | 0.00008758 | 0.002734 | 0.0006124 | 0.02475 | 3.118 | 0.1244 | 0.0007403 | 0.00009603 | 1 | 1 | 0.001733 | 0.02045 | 0.2183 | 0.0019 | 0.02243 | 0.2393 | json |
| t20_x13_u0_b9 | 20 | 13 | 0 | 9 | ![]() |
add(P,add(dot(D,D),D)) | 162138 | 162937242 | o2(x,o2(o2(x,x),x)) | true | 5511 | 5511 | 0.02976 | 0.5146 | 0.9375 | 0.9197 | 0.959 | -1 | 1 | 2 | 1 | 1.921 | 0.0006489 | 0.0001559 | 0.00939 | 0.6126 | 1 | -0.00003054 | 0.00008081 | 0.002555 | 0.0007164 | 0.02676 | 2.85 | 0.1243 | 0.0008751 | 0.00008786 | 1 | 1 | 0.002087 | 0.0252 | 0.2303 | 0.002269 | 0.0274 | 0.2504 | json |
| t20_x13_u0_b10 | 20 | 13 | 0 | 10 | ![]() |
add(P,add(dst(D,D),D)) | 162139 | 162937243 | o2(x,o2(o2(x,x),x)) | true | 5519 | 5519 | 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_x13_u0_b11 | 20 | 13 | 0 | 11 | ![]() |
add(P,sub(add(D,D),D)) | 162140 | 162937244 | o2(x,o2(o2(x,x),x)) | true | 5527 | 5527 | 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_x13_u0_b12 | 20 | 13 | 0 | 12 | ![]() |
add(P,sub(sub(D,D),D)) | 162141 | 162937245 | o2(x,o2(o2(x,x),x)) | true | 5535 | 5535 | 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_x13_u0_b13 | 20 | 13 | 0 | 13 | ![]() |
add(P,sub(mlt(D,D),D)) | 162142 | 162937246 | o2(x,o2(o2(x,x),x)) | true | 5543 | 5543 | 0.01488 | 0.5117 | 0.9375 | 0.924 | 0.9612 | -1 | 1 | 2 | 1 | 1.777 | 0.001462 | 0 | 0.01153 | 1 | 1 | 1.419e-9 | 0.0002731 | 0.005258 | 0.001329 | 0.03646 | 3.163 | 0.1848 | 0.001583 | 0.0002956 | 1 | 1 | 0.003698 | 0.03479 | 0.2349 | 0.004002 | 0.03765 | 0.2542 | json |
| t20_x13_u0_b14 | 20 | 13 | 0 | 14 | ![]() |
add(P,sub(div(D,D),D)) | 162143 | 162937247 | o2(x,o2(o2(x,x),x)) | true | 5551 | 5551 | 0.125 | 0.5625 | 0.9375 | 0.9096 | 0.9537 | -1 | 1 | 2 | 1 | 1.761 | 0.001323 | 0 | 0.01101 | 1 | 1 | -2.365e-10 | 0.0002527 | 0.005079 | 0.001202 | 0.03468 | 3.15 | 0.1713 | 0.001454 | 0.0002778 | 1 | 1 | 0.003342 | 0.0331 | 0.2361 | 0.003674 | 0.03639 | 0.2595 | json |
| t20_x13_u0_b15 | 20 | 13 | 0 | 15 | ![]() |
add(P,sub(pow(D,D),D)) | 162144 | 162937248 | o2(x,o2(o2(x,x),x)) | true | 5559 | 5559 | -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_x13_u0_b16 | 20 | 13 | 0 | 16 | ![]() |
add(P,sub(mod(D,D),D)) | 162145 | 162937249 | o2(x,o2(o2(x,x),x)) | true | 5567 | 5567 | 0 | 0.5 | 0.9375 | 0.9248 | 0.9617 | -1 | 1 | 2 | 1 | 1.781 | 0.005405 | 0 | 0.02224 | 1 | 1 | 0 | 0.01105 | 0.03618 | 0.004908 | 0.07006 | 3.15 | 0.4159 | 0.005845 | 0.01194 | 1 | 1 | 0.007013 | 0.02837 | 0.2356 | 0.007583 | 0.03068 | 0.2547 | json |
| t20_x13_u0_b17 | 20 | 13 | 0 | 17 | ![]() |
add(P,sub(lrg(D,D),D)) | 162146 | 162937250 | o2(x,o2(o2(x,x),x)) | true | 5575 | 5575 | 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_x13_u0_b18 | 20 | 13 | 0 | 18 | ![]() |
add(P,sub(eql(D,D),D)) | 162147 | 162937251 | o2(x,o2(o2(x,x),x)) | true | 5583 | 5583 | 0.125 | 0.5625 | 0.9375 | 0.9096 | 0.9537 | -1 | 1 | 2 | 1 | 1.761 | 0.001323 | 0 | 0.01101 | 1 | 1 | 0 | 0.0002527 | 0.005079 | 0.001202 | 0.03468 | 3.15 | 0.1713 | 0.001454 | 0.0002778 | 1 | 1 | 0.003342 | 0.0331 | 0.2361 | 0.003674 | 0.03639 | 0.2595 | json |
| t20_x13_u0_b19 | 20 | 13 | 0 | 19 | ![]() |
add(P,sub(min(D,D),D)) | 162148 | 162937252 | o2(x,o2(o2(x,x),x)) | true | 5591 | 5591 | 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_x13_u0_b20 | 20 | 13 | 0 | 20 | ![]() |
add(P,sub(dot(D,D),D)) | 162149 | 162937253 | o2(x,o2(o2(x,x),x)) | true | 5599 | 5599 | 0.02976 | 0.5239 | 0.9375 | 0.9182 | 0.9582 | -1 | 1 | 2 | 1 | 1.912 | 0.001457 | 0.0001569 | 0.01275 | 0.8056 | 1 | -0.00003054 | 0.0003174 | 0.005324 | 0.001451 | 0.03809 | 2.988 | 0.1916 | 0.001758 | 0.0003457 | 1 | 1 | 0.004083 | 0.03572 | 0.2281 | 0.004447 | 0.0389 | 0.2485 | json |
| t20_x13_u0_b21 | 20 | 13 | 0 | 21 | ![]() |
add(P,sub(dst(D,D),D)) | 162150 | 162937254 | o2(x,o2(o2(x,x),x)) | true | 5607 | 5607 | 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_x13_u0_b22 | 20 | 13 | 0 | 22 | ![]() |
add(P,mlt(add(D,D),D)) | 162151 | 162937255 | o2(x,o2(o2(x,x),x)) | true | 5615 | 5615 | 0.02976 | 0.5313 | 0.9375 | 0.9236 | 0.961 | -1 | 1 | 2 | 1 | 1.735 | 0.001306 | 0 | 0.01031 | 1 | 1 | 4.731e-10 | 0.0001785 | 0.004198 | 0.0012 | 0.03464 | 3.36 | 0.1837 | 0.001414 | 0.0001933 | 1 | 1 | 0.003346 | 0.0329 | 0.2355 | 0.003623 | 0.03562 | 0.255 | json |
| t20_x13_u0_b23 | 20 | 13 | 0 | 23 | ![]() |
add(P,mlt(sub(D,D),D)) | 162152 | 162937256 | o2(x,o2(o2(x,x),x)) | true | 5623 | 5623 | 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_x13_u0_b24 | 20 | 13 | 0 | 24 | ![]() |
add(P,mlt(mlt(D,D),D)) | 162153 | 162937257 | o2(x,o2(o2(x,x),x)) | true | 5631 | 5631 | 0 | 0.4961 | 0.9375 | 0.9255 | 0.962 | -1 | 1 | 2 | 1 | 1.722 | 0.000794 | 0 | 0.007937 | 1 | 1 | 0 | 0.00004597 | 0.00213 | 0.0007315 | 0.02705 | 3.408 | 0.1343 | 0.000858 | 0.00004967 | 1 | 1 | 0.002076 | 0.02613 | 0.2364 | 0.002243 | 0.02823 | 0.2554 | json |
| t20_x13_u0_b25 | 20 | 13 | 0 | 25 | ![]() |
add(P,mlt(div(D,D),D)) | 162154 | 162937258 | o2(x,o2(o2(x,x),x)) | true | 5639 | 5639 | 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_x13_u0_b26 | 20 | 13 | 0 | 26 | ![]() |
add(P,mlt(pow(D,D),D)) | 162155 | 162937259 | o2(x,o2(o2(x,x),x)) | true | 5647 | 5647 | -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_x13_u0_b27 | 20 | 13 | 0 | 27 | ![]() |
add(P,mlt(mod(D,D),D)) | 162156 | 162937260 | o2(x,o2(o2(x,x),x)) | true | 5655 | 5655 | 0.004479 | 0.5039 | 0.9375 | 0.9244 | 0.9614 | -1 | 1 | 2 | 1 | 1.752 | 0.0009676 | 0 | 0.008107 | 1 | 1 | -7.096e-10 | 0.0005909 | 0.006891 | 0.0009014 | 0.03002 | 3.703 | 0.2136 | 0.001047 | 0.0006392 | 1 | 1 | 0.002175 | 0.02507 | 0.235 | 0.002353 | 0.02712 | 0.2542 | json |
| t20_x13_u0_b28 | 20 | 13 | 0 | 28 | ![]() |
add(P,mlt(lrg(D,D),D)) | 162157 | 162937261 | o2(x,o2(o2(x,x),x)) | true | 5663 | 5663 | 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_x13_u0_b29 | 20 | 13 | 0 | 29 | ![]() |
add(P,mlt(eql(D,D),D)) | 162158 | 162937262 | o2(x,o2(o2(x,x),x)) | true | 5671 | 5671 | 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_x13_u0_b30 | 20 | 13 | 0 | 30 | ![]() |
add(P,mlt(min(D,D),D)) | 162159 | 162937263 | o2(x,o2(o2(x,x),x)) | true | 5679 | 5679 | 0.01488 | 0.5195 | 0.9375 | 0.9258 | 0.9622 | -1 | 1 | 2 | 1 | 1.708 | 0.0008624 | 0 | 0.008172 | 1 | 1 | -2.01e-9 | 0.00006125 | 0.002474 | 0.0007962 | 0.02822 | 3.453 | 0.1407 | 0.0009316 | 0.00006616 | 1 | 1 | 0.002247 | 0.02725 | 0.2373 | 0.002427 | 0.02943 | 0.2563 | json |
| t20_x13_u0_b31 | 20 | 13 | 0 | 31 | ![]() |
add(P,mlt(dot(D,D),D)) | 162160 | 162937264 | o2(x,o2(o2(x,x),x)) | true | 5687 | 5687 | 0 | 0.4995 | 0.9375 | 0.9244 | 0.9614 | -1 | 1 | 2 | 1 | 1.806 | 0.0007387 | 0.000001717 | 0.007961 | 0.9954 | 1 | 0 | 0.00003877 | 0.001964 | 0.0006771 | 0.02602 | 3.269 | 0.1342 | 0.000801 | 0.00004194 | 1 | 1 | 0.001939 | 0.02507 | 0.2349 | 0.002098 | 0.02713 | 0.2541 | json |
| t20_x13_u0_b32 | 20 | 13 | 0 | 32 | ![]() |
add(P,mlt(dst(D,D),D)) | 162161 | 162937265 | o2(x,o2(o2(x,x),x)) | true | 5695 | 5695 | 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_x13_u0_b33 | 20 | 13 | 0 | 33 | ![]() |
add(P,div(add(D,D),D)) | 162162 | 162937266 | o2(x,o2(o2(x,x),x)) | true | 5703 | 5703 | 0.25 | 0.625 | 0.9375 | 0.8615 | 0.9282 | -1 | 1 | 2 | 1 | 1.762 | 0.0007059 | 0 | 0.007937 | 1 | 1 | -7.391e-10 | 0.00003235 | 0.001851 | 0.0006432 | 0.02536 | 3.195 | 0.1169 | 0.0008194 | 0.00003756 | 1 | 1 | 0.001851 | 0.02449 | 0.2344 | 0.002149 | 0.02843 | 0.2721 | json |
| t20_x13_u0_b34 | 20 | 13 | 0 | 34 | ![]() |
add(P,div(sub(D,D),D)) | 162163 | 162937267 | o2(x,o2(o2(x,x),x)) | true | 5711 | 5711 | 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_x13_u0_b35 | 20 | 13 | 0 | 35 | ![]() |
add(P,div(mlt(D,D),D)) | 162164 | 162937268 | o2(x,o2(o2(x,x),x)) | true | 5719 | 5719 | 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_x13_u0_b36 | 20 | 13 | 0 | 36 | ![]() |
add(P,div(div(D,D),D)) | 162165 | 162937269 | o2(x,o2(o2(x,x),x)) | true | 5727 | 5727 | -1.455e-11 | 0.5 | 0.9531 | 0.9397 | 0.9694 | -1 | 1 | 2 | 1 | 1.646 | 0.3728 | 0 | 0.2381 | 1 | 1 | 0 | 0.6597 | 0.3886 | 0.3161 | 0.5622 | 2.361 | 2 | 0.3967 | 0.702 | 1 | 1 | 0.4169 | 1.085 | 0.1588 | 0.4436 | 1.154 | 0.1689 | json |
| t20_x13_u0_b37 | 20 | 13 | 0 | 37 | ![]() |
add(P,div(pow(D,D),D)) | 162166 | 162937270 | o2(x,o2(o2(x,x),x)) | true | 5735 | 5735 | -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_x13_u0_b38 | 20 | 13 | 0 | 38 | ![]() |
add(P,div(mod(D,D),D)) | 162167 | 162937271 | o2(x,o2(o2(x,x),x)) | true | 5743 | 5743 | 0.04921 | 0.5156 | 0.9375 | 0.9263 | 0.9624 | -1 | 1 | 2 | 1 | 1.65 | 0.06463 | 0 | 0.0757 | 1 | 1 | 5.147e-9 | 0.2162 | 0.1468 | 0.05886 | 0.2426 | 3.205 | 1.016 | 0.06978 | 0.2334 | 1 | 1 | 0.02808 | 0.04622 | 0.2409 | 0.03031 | 0.0499 | 0.2601 | json |
| t20_x13_u0_b39 | 20 | 13 | 0 | 39 | ![]() |
add(P,div(lrg(D,D),D)) | 162168 | 162937272 | o2(x,o2(o2(x,x),x)) | true | 5751 | 5751 | 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_x13_u0_b40 | 20 | 13 | 0 | 40 | ![]() |
add(P,div(eql(D,D),D)) | 162169 | 162937273 | o2(x,o2(o2(x,x),x)) | true | 5759 | 5759 | -1.455e-11 | 0.5 | 0.9531 | 0.9397 | 0.9694 | -1 | 1 | 2 | 1 | 1.646 | 0.3728 | 0 | 0.2381 | 1 | 1 | -1.892e-9 | 0.6597 | 0.3886 | 0.3161 | 0.5622 | 2.361 | 2 | 0.3967 | 0.702 | 1 | 1 | 0.4169 | 1.085 | 0.1588 | 0.4436 | 1.154 | 0.1689 | json |
| t20_x13_u0_b41 | 20 | 13 | 0 | 41 | ![]() |
add(P,div(min(D,D),D)) | 162170 | 162937274 | o2(x,o2(o2(x,x),x)) | true | 5767 | 5767 | 0.125 | 0.5625 | 0.9375 | 0.9084 | 0.9531 | -1 | 1 | 2 | 1 | 1.8 | 0.0007059 | 0 | 0.007937 | 1 | 1 | -2.07e-9 | 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_x13_u0_b42 | 20 | 13 | 0 | 42 | ![]() |
add(P,div(dot(D,D),D)) | 162171 | 162937275 | o2(x,o2(o2(x,x),x)) | true | 5775 | 5775 | 0 | 0.5 | 0.9375 | 0.9133 | 0.9557 | -1 | 1 | 2 | 1 | 1.978 | 0.183 | 0.01854 | 0.1304 | 0.8161 | 1 | 1.175e-9 | 0.5761 | 0.2231 | 0.1845 | 0.4295 | 3.293 | 2.494 | 0.2207 | 0.6307 | 1 | 1 | 0.1704 | 0.3264 | 0.2098 | 0.1865 | 0.3574 | 0.2297 | json |
| t20_x13_u0_b43 | 20 | 13 | 0 | 43 | ![]() |
add(P,div(dst(D,D),D)) | 162172 | 162937276 | o2(x,o2(o2(x,x),x)) | true | 5783 | 5783 | 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_x13_u0_b44 | 20 | 13 | 0 | 44 | ![]() |
add(P,pow(add(D,D),D)) | 162173 | 162937277 | o2(x,o2(o2(x,x),x)) | true | 5791 | 5791 | -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_x13_u0_b45 | 20 | 13 | 0 | 45 | ![]() |
add(P,pow(sub(D,D),D)) | 162174 | 162937278 | o2(x,o2(o2(x,x),x)) | true | 5799 | 5799 | 1 | 1 | 1 | 0 | 0 | 1 | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t20_x13_u0_b46 | 20 | 13 | 0 | 46 | ![]() |
add(P,pow(mlt(D,D),D)) | 162175 | 162937279 | o2(x,o2(o2(x,x),x)) | true | 5807 | 5807 | 0.1486 | 0.5664 | 0.9375 | 0.8927 | 0.9448 | -1 | 1 | 2 | 1 | 1.881 | 0.006707 | 0 | 0.02644 | 1 | 1 | 4.731e-10 | 0.002599 | 0.0166 | 0.00601 | 0.07753 | 2.932 | 0.4359 | 0.007513 | 0.002911 | 1 | 1 | 0.01607 | 0.09271 | 0.2213 | 0.018 | 0.1039 | 0.2478 | json |
| t20_x13_u0_b47 | 20 | 13 | 0 | 47 | ![]() |
add(P,pow(div(D,D),D)) | 162176 | 162937280 | o2(x,o2(o2(x,x),x)) | true | 5815 | 5815 | 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_x13_u0_b48 | 20 | 13 | 0 | 48 | ![]() |
add(P,pow(pow(D,D),D)) | 162177 | 162937281 | o2(x,o2(o2(x,x),x)) | true | 5823 | 5823 | -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_x13_u0_b49 | 20 | 13 | 0 | 49 | ![]() |
add(P,pow(mod(D,D),D)) | 162178 | 162937282 | o2(x,o2(o2(x,x),x)) | true | 5831 | 5831 | 0.5 | 0.75 | 1 | 0.75 | 0.866 | -1 | 1 | 2 | 1 | 0.8113 | 1.508 | 0 | 0.754 | 1 | 1 | -0.007937 | 4.492 | 1.5 | 0.9397 | 0.9694 | 1.286 | 2 | 2.011 | 5.989 | 1 | 1 | 0.7579 | 1 | 0 | 1.011 | 1.333 | 0 | json |
| t20_x13_u0_b50 | 20 | 13 | 0 | 50 | ![]() |
add(P,pow(lrg(D,D),D)) | 162179 | 162937283 | o2(x,o2(o2(x,x),x)) | true | 5839 | 5839 | 1 | 1 | 1 | 0 | 0 | 1 | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t20_x13_u0_b51 | 20 | 13 | 0 | 51 | ![]() |
add(P,pow(eql(D,D),D)) | 162180 | 162937284 | o2(x,o2(o2(x,x),x)) | true | 5847 | 5847 | 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_x13_u0_b52 | 20 | 13 | 0 | 52 | ![]() |
add(P,pow(min(D,D),D)) | 162181 | 162937285 | o2(x,o2(o2(x,x),x)) | true | 5855 | 5855 | -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_x13_u0_b53 | 20 | 13 | 0 | 53 | ![]() |
add(P,pow(dot(D,D),D)) | 162182 | 162937286 | o2(x,o2(o2(x,x),x)) | true | 5863 | 5863 | 0.138 | 0.5679 | 0.9375 | 0.8989 | 0.9481 | -1 | 1 | 2 | 1 | 1.95 | 0.003791 | 0.0002753 | 0.02061 | 0.8646 | 1 | 0.00002669 | 0.001356 | 0.01112 | 0.003644 | 0.06036 | 2.929 | 0.3962 | 0.004524 | 0.001508 | 1 | 1 | 0.009982 | 0.06594 | 0.2264 | 0.0111 | 0.07336 | 0.2518 | json |
| t20_x13_u0_b54 | 20 | 13 | 0 | 54 | ![]() |
add(P,pow(dst(D,D),D)) | 162183 | 162937287 | o2(x,o2(o2(x,x),x)) | true | 5871 | 5871 | 1 | 1 | 1 | 0 | 0 | 1 | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t20_x13_u0_b55 | 20 | 13 | 0 | 55 | ![]() |
add(P,mod(add(D,D),D)) | 162184 | 162937288 | o2(x,o2(o2(x,x),x)) | true | 5879 | 5879 | 0 | 0.5 | 0.9375 | 0.9209 | 0.9597 | -1 | 1 | 2 | 1 | 1.868 | 0.005333 | 0 | 0.02097 | 1 | 1 | 0 | 0.01196 | 0.03595 | 0.004893 | 0.06995 | 3.335 | 0.4067 | 0.005791 | 0.01298 | 1 | 1 | 0.006219 | 0.02308 | 0.2303 | 0.006753 | 0.02506 | 0.25 | json |
| t20_x13_u0_b56 | 20 | 13 | 0 | 56 | ![]() |
add(P,mod(sub(D,D),D)) | 162185 | 162937289 | o2(x,o2(o2(x,x),x)) | true | 5887 | 5887 | 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_x13_u0_b57 | 20 | 13 | 0 | 57 | ![]() |
add(P,mod(mlt(D,D),D)) | 162186 | 162937290 | o2(x,o2(o2(x,x),x)) | true | 5895 | 5895 | 0.01488 | 0.5195 | 0.9375 | 0.9258 | 0.9622 | -1 | 1 | 2 | 1 | 1.708 | 0.0008624 | 0 | 0.008172 | 1 | 1 | -2.01e-9 | 0.00006125 | 0.002474 | 0.0007962 | 0.02822 | 3.453 | 0.1407 | 0.0009316 | 0.00006616 | 1 | 1 | 0.002247 | 0.02725 | 0.2373 | 0.002427 | 0.02943 | 0.2563 | json |
| t20_x13_u0_b58 | 20 | 13 | 0 | 58 | ![]() |
add(P,mod(div(D,D),D)) | 162187 | 162937291 | o2(x,o2(o2(x,x),x)) | true | 5903 | 5903 | 0.0196 | 0.5195 | 0.9375 | 0.9235 | 0.961 | -1 | 1 | 2 | 1 | 1.767 | 0.001215 | 0 | 0.01013 | 1 | 1 | 1.656e-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_x13_u0_b59 | 20 | 13 | 0 | 59 | ![]() |
add(P,mod(pow(D,D),D)) | 162188 | 162937292 | o2(x,o2(o2(x,x),x)) | true | 5911 | 5911 | -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_x13_u0_b60 | 20 | 13 | 0 | 60 | ![]() |
add(P,mod(mod(D,D),D)) | 162189 | 162937293 | o2(x,o2(o2(x,x),x)) | true | 5919 | 5919 | 0 | 0.5 | 0.9375 | 0.9209 | 0.9597 | -1 | 1 | 2 | 1 | 1.868 | 0.005333 | 0 | 0.02097 | 1 | 1 | 0 | 0.01196 | 0.03595 | 0.004893 | 0.06995 | 3.335 | 0.4067 | 0.005791 | 0.01298 | 1 | 1 | 0.006219 | 0.02308 | 0.2303 | 0.006753 | 0.02506 | 0.25 | json |
| t20_x13_u0_b61 | 20 | 13 | 0 | 61 | ![]() |
add(P,mod(lrg(D,D),D)) | 162190 | 162937294 | o2(x,o2(o2(x,x),x)) | true | 5927 | 5927 | 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_x13_u0_b62 | 20 | 13 | 0 | 62 | ![]() |
add(P,mod(eql(D,D),D)) | 162191 | 162937295 | o2(x,o2(o2(x,x),x)) | true | 5935 | 5935 | 0.0196 | 0.5195 | 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_x13_u0_b63 | 20 | 13 | 0 | 63 | ![]() |
add(P,mod(min(D,D),D)) | 162192 | 162937296 | o2(x,o2(o2(x,x),x)) | true | 5943 | 5943 | 0 | 0.5 | 0.9375 | 0.9209 | 0.9597 | -1 | 1 | 2 | 1 | 1.868 | 0.005333 | 0 | 0.02097 | 1 | 1 | 0 | 0.01196 | 0.03595 | 0.004893 | 0.06995 | 3.335 | 0.4067 | 0.005791 | 0.01298 | 1 | 1 | 0.006219 | 0.02308 | 0.2303 | 0.006753 | 0.02506 | 0.25 | json |
| t20_x13_u0_b64 | 20 | 13 | 0 | 64 | ![]() |
add(P,mod(dot(D,D),D)) | 162193 | 162937297 | o2(x,o2(o2(x,x),x)) | true | 5951 | 5951 | 0.01964 | 0.5215 | 0.9375 | 0.924 | 0.9612 | -1 | 1 | 2 | 1 | 1.791 | 0.001051 | 0.0002216 | 0.01063 | 0.6518 | 1 | -0.00001686 | 0.001801 | 0.009382 | 0.001161 | 0.03407 | 3.203 | 0.361 | 0.001378 | 0.001949 | 1 | 1 | 0.002668 | 0.02739 | 0.2353 | 0.002887 | 0.02965 | 0.2546 | json |
| t20_x13_u0_b65 | 20 | 13 | 0 | 65 | ![]() |
add(P,mod(dst(D,D),D)) | 162194 | 162937298 | o2(x,o2(o2(x,x),x)) | true | 5959 | 5959 | 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_x13_u0_b66 | 20 | 13 | 0 | 66 | ![]() |
add(P,lrg(add(D,D),D)) | 162195 | 162937299 | o2(x,o2(o2(x,x),x)) | true | 5967 | 5967 | 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_x13_u0_b67 | 20 | 13 | 0 | 67 | ![]() |
add(P,lrg(sub(D,D),D)) | 162196 | 162937300 | o2(x,o2(o2(x,x),x)) | true | 5975 | 5975 | 0.0625 | 0.5313 | 0.9375 | 0.9184 | 0.9583 | -1 | 1 | 2 | 1 | 1.809 | 0.01063 | 0 | 0.02379 | 1 | 1 | 0 | 0.0166 | 0.02131 | 0.01007 | 0.1003 | 4.218 | 0.9988 | 0.01158 | 0.01808 | 1 | 1 | 0.0172 | 0.07175 | 0.2321 | 0.01872 | 0.07812 | 0.2528 | json |
| t20_x13_u0_b68 | 20 | 13 | 0 | 68 | ![]() |
add(P,lrg(mlt(D,D),D)) | 162197 | 162937301 | o2(x,o2(o2(x,x),x)) | true | 5983 | 5983 | 0.0625 | 0.5313 | 0.9375 | 0.9184 | 0.9583 | -1 | 1 | 2 | 1 | 1.809 | 0.01063 | 0 | 0.02379 | 1 | 1 | 0 | 0.0166 | 0.02131 | 0.01007 | 0.1003 | 4.218 | 0.9988 | 0.01158 | 0.01808 | 1 | 1 | 0.0172 | 0.07175 | 0.2321 | 0.01872 | 0.07812 | 0.2528 | json |
| t20_x13_u0_b69 | 20 | 13 | 0 | 69 | ![]() |
add(P,lrg(div(D,D),D)) | 162198 | 162937302 | o2(x,o2(o2(x,x),x)) | true | 5991 | 5991 | 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_x13_u0_b70 | 20 | 13 | 0 | 70 | ![]() |
add(P,lrg(pow(D,D),D)) | 162199 | 162937303 | o2(x,o2(o2(x,x),x)) | true | 5999 | 5999 | 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 |



































































































