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_x13_u0_b71 | 20 | 13 | 0 | 71 | ![]() |
add(P,lrg(mod(D,D),D)) | 162200 | 162937304 | o2(x,o2(o2(x,x),x)) | true | 6007 | 6007 | 0.03789 | 0.5156 | 0.9375 | 0.9206 | 0.9595 | -1 | 1 | 2 | 1 | 1.765 | 0.04223 | 0 | 0.0566 | 1 | 1 | -1.877e-12 | 0.141 | 0.09826 | 0.039 | 0.1975 | 3.489 | 1.014 | 0.04587 | 0.1531 | 1 | 1 | 0.01854 | 0.04918 | 0.2314 | 0.02014 | 0.05343 | 0.2513 | json |
| t20_x13_u0_b72 | 20 | 13 | 0 | 72 | ![]() |
add(P,lrg(lrg(D,D),D)) | 162201 | 162937305 | o2(x,o2(o2(x,x),x)) | true | 6015 | 6015 | 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_b73 | 20 | 13 | 0 | 73 | ![]() |
add(P,lrg(eql(D,D),D)) | 162202 | 162937306 | o2(x,o2(o2(x,x),x)) | true | 6023 | 6023 | 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_b74 | 20 | 13 | 0 | 74 | ![]() |
add(P,lrg(min(D,D),D)) | 162203 | 162937307 | o2(x,o2(o2(x,x),x)) | true | 6031 | 6031 | 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_b75 | 20 | 13 | 0 | 75 | ![]() |
add(P,lrg(dot(D,D),D)) | 162204 | 162937308 | o2(x,o2(o2(x,x),x)) | true | 6039 | 6039 | 0.08018 | 0.5386 | 0.9375 | 0.9161 | 0.9571 | -1 | 1 | 2 | 1 | 1.857 | 0.007647 | 0.002989 | 0.02386 | 0.438 | 1 | -0.00001141 | 0.02638 | 0.02578 | 0.01007 | 0.1003 | 4.205 | 1.332 | 0.01161 | 0.02879 | 1 | 1 | 0.01692 | 0.07008 | 0.2319 | 0.01847 | 0.0765 | 0.2532 | json |
| t20_x13_u0_b76 | 20 | 13 | 0 | 76 | ![]() |
add(P,lrg(dst(D,D),D)) | 162205 | 162937309 | o2(x,o2(o2(x,x),x)) | true | 6047 | 6047 | 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_b77 | 20 | 13 | 0 | 77 | ![]() |
add(P,eql(add(D,D),D)) | 162206 | 162937310 | o2(x,o2(o2(x,x),x)) | true | 6055 | 6055 | 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_b78 | 20 | 13 | 0 | 78 | ![]() |
add(P,eql(sub(D,D),D)) | 162207 | 162937311 | o2(x,o2(o2(x,x),x)) | true | 6063 | 6063 | 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_b79 | 20 | 13 | 0 | 79 | ![]() |
add(P,eql(mlt(D,D),D)) | 162208 | 162937312 | o2(x,o2(o2(x,x),x)) | true | 6071 | 6071 | 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_b80 | 20 | 13 | 0 | 80 | ![]() |
add(P,eql(div(D,D),D)) | 162209 | 162937313 | o2(x,o2(o2(x,x),x)) | true | 6079 | 6079 | 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_b81 | 20 | 13 | 0 | 81 | ![]() |
add(P,eql(pow(D,D),D)) | 162210 | 162937314 | o2(x,o2(o2(x,x),x)) | true | 6087 | 6087 | 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_b82 | 20 | 13 | 0 | 82 | ![]() |
add(P,eql(mod(D,D),D)) | 162211 | 162937315 | o2(x,o2(o2(x,x),x)) | true | 6095 | 6095 | 0.04921 | 0.5156 | 0.9375 | 0.9263 | 0.9624 | -1 | 1 | 2 | 1 | 1.656 | 0.06463 | 0 | 0.0757 | 1 | 1 | 9.489e-10 | 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_b83 | 20 | 13 | 0 | 83 | ![]() |
add(P,eql(lrg(D,D),D)) | 162212 | 162937316 | o2(x,o2(o2(x,x),x)) | true | 6103 | 6103 | 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_b84 | 20 | 13 | 0 | 84 | ![]() |
add(P,eql(eql(D,D),D)) | 162213 | 162937317 | o2(x,o2(o2(x,x),x)) | true | 6111 | 6111 | 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_b85 | 20 | 13 | 0 | 85 | ![]() |
add(P,eql(min(D,D),D)) | 162214 | 162937318 | o2(x,o2(o2(x,x),x)) | true | 6119 | 6119 | 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_b86 | 20 | 13 | 0 | 86 | ![]() |
add(P,eql(dot(D,D),D)) | 162215 | 162937319 | o2(x,o2(o2(x,x),x)) | true | 6127 | 6127 | 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_b87 | 20 | 13 | 0 | 87 | ![]() |
add(P,eql(dst(D,D),D)) | 162216 | 162937320 | o2(x,o2(o2(x,x),x)) | true | 6135 | 6135 | 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_b88 | 20 | 13 | 0 | 88 | ![]() |
add(P,min(add(D,D),D)) | 162217 | 162937321 | o2(x,o2(o2(x,x),x)) | true | 6143 | 6143 | -0.01788 | 0.5 | 0.9375 | 0.9168 | 0.9575 | -1 | 1 | 2 | 1 | 1.905 | 0.0006647 | 0 | 0.007937 | 1 | 1 | -1.33e-9 | 0.00006218 | 0.00219 | 0.0006019 | 0.02453 | 3.091 | 0.1243 | 0.000725 | 0.00006782 | 1 | 1 | 0.001722 | 0.02185 | 0.2255 | 0.001878 | 0.02383 | 0.2459 | json |
| t20_x13_u0_b89 | 20 | 13 | 0 | 89 | ![]() |
add(P,min(sub(D,D),D)) | 162218 | 162937322 | o2(x,o2(o2(x,x),x)) | true | 6151 | 6151 | -0.01788 | 0.4961 | 0.9375 | 0.9228 | 0.9606 | -1 | 1 | 2 | 1 | 1.804 | 0.00068 | 0 | 0.007936 | 1 | 1 | -6.8e-10 | 0.00003457 | 0.001748 | 0.0006173 | 0.02485 | 3.131 | 0.1105 | 0.0007369 | 0.00003746 | 1 | 1 | 0.001781 | 0.02386 | 0.2335 | 0.00193 | 0.02586 | 0.2531 | json |
| t20_x13_u0_b90 | 20 | 13 | 0 | 90 | ![]() |
add(P,min(mlt(D,D),D)) | 162219 | 162937323 | o2(x,o2(o2(x,x),x)) | true | 6159 | 6159 | -0.01044 | 0.5 | 0.9375 | 0.9208 | 0.9596 | -1 | 1 | 2 | 1 | 1.851 | 0.0005834 | 0 | 0.007937 | 1 | 1 | 1.035e-9 | 0.00002386 | 0.001414 | 0.0005205 | 0.02281 | 2.874 | 0.09327 | 0.0006336 | 0.00002591 | 1 | 1 | 0.001532 | 0.02179 | 0.2304 | 0.001663 | 0.02366 | 0.2502 | json |
| t20_x13_u0_b91 | 20 | 13 | 0 | 91 | ![]() |
add(P,min(div(D,D),D)) | 162220 | 162937324 | o2(x,o2(o2(x,x),x)) | true | 6167 | 6167 | 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_b92 | 20 | 13 | 0 | 92 | ![]() |
add(P,min(pow(D,D),D)) | 162221 | 162937325 | o2(x,o2(o2(x,x),x)) | true | 6175 | 6175 | 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_b93 | 20 | 13 | 0 | 93 | ![]() |
add(P,min(mod(D,D),D)) | 162222 | 162937326 | o2(x,o2(o2(x,x),x)) | true | 6183 | 6183 | -0.01139 | 0.4961 | 0.9375 | 0.9196 | 0.959 | -1 | 1 | 2 | 1 | 1.865 | 0.002419 | 0 | 0.01493 | 1 | 1 | -1.537e-9 | 0.004936 | 0.0186 | 0.002196 | 0.04686 | 3.138 | 0.3287 | 0.002631 | 0.005368 | 1 | 1 | 0.003143 | 0.02179 | 0.2288 | 0.003418 | 0.0237 | 0.2488 | json |
| t20_x13_u0_b94 | 20 | 13 | 0 | 94 | ![]() |
add(P,min(lrg(D,D),D)) | 162223 | 162937327 | o2(x,o2(o2(x,x),x)) | true | 6191 | 6191 | -0.01788 | 0.4961 | 0.9375 | 0.9228 | 0.9606 | -1 | 1 | 2 | 1 | 1.804 | 0.00068 | 0 | 0.007936 | 1 | 1 | -6.8e-10 | 0.00003457 | 0.001748 | 0.0006173 | 0.02485 | 3.131 | 0.1105 | 0.0007369 | 0.00003746 | 1 | 1 | 0.001781 | 0.02386 | 0.2335 | 0.00193 | 0.02586 | 0.2531 | json |
| t20_x13_u0_b95 | 20 | 13 | 0 | 95 | ![]() |
add(P,min(eql(D,D),D)) | 162224 | 162937328 | o2(x,o2(o2(x,x),x)) | true | 6199 | 6199 | 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_b96 | 20 | 13 | 0 | 96 | ![]() |
add(P,min(min(D,D),D)) | 162225 | 162937329 | o2(x,o2(o2(x,x),x)) | true | 6207 | 6207 | 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_b97 | 20 | 13 | 0 | 97 | ![]() |
add(P,min(dot(D,D),D)) | 162226 | 162937330 | o2(x,o2(o2(x,x),x)) | true | 6215 | 6215 | -0.005706 | 0.5 | 0.9375 | 0.9186 | 0.9584 | -1 | 1 | 2 | 1 | 1.945 | 0.0005323 | 0.0000295 | 0.008212 | 0.895 | 1 | -0.000009445 | 0.00003863 | 0.001632 | 0.0004941 | 0.02223 | 2.707 | 0.09324 | 0.0006116 | 0.00004205 | 1 | 1 | 0.00147 | 0.02088 | 0.2272 | 0.001601 | 0.02273 | 0.2474 | json |
| t20_x13_u0_b98 | 20 | 13 | 0 | 98 | ![]() |
add(P,min(dst(D,D),D)) | 162227 | 162937331 | o2(x,o2(o2(x,x),x)) | true | 6223 | 6223 | -0.01788 | 0.4961 | 0.9375 | 0.9228 | 0.9606 | -1 | 1 | 2 | 1 | 1.804 | 0.00068 | 0 | 0.007936 | 1 | 1 | -6.8e-10 | 0.00003457 | 0.001748 | 0.0006173 | 0.02485 | 3.131 | 0.1105 | 0.0007369 | 0.00003746 | 1 | 1 | 0.001781 | 0.02386 | 0.2335 | 0.00193 | 0.02586 | 0.2531 | json |
| t20_x13_u0_b99 | 20 | 13 | 0 | 99 | ![]() |
add(P,dot(add(D,D),D)) | 162228 | 162937332 | o2(x,o2(o2(x,x),x)) | true | 6231 | 6231 | 0.05952 | 0.5371 | 0.9375 | 0.9116 | 0.9548 | -1 | 1 | 2 | 1 | 1.951 | 0.001293 | 0.0006301 | 0.01434 | 0.3447 | 1 | -0.00006107 | 0.000419 | 0.005716 | 0.001718 | 0.04144 | 2.889 | 0.21 | 0.00211 | 0.0004596 | 1 | 1 | 0.004858 | 0.04024 | 0.2231 | 0.005329 | 0.04415 | 0.2447 | json |
| t20_x13_u0_b100 | 20 | 13 | 0 | 100 | ![]() |
add(P,dot(sub(D,D),D)) | 162229 | 162937333 | o2(x,o2(o2(x,x),x)) | true | 6239 | 6239 | 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_b101 | 20 | 13 | 0 | 101 | ![]() |
add(P,dot(mlt(D,D),D)) | 162230 | 162937334 | o2(x,o2(o2(x,x),x)) | true | 6247 | 6247 | 0 | 0.5 | 0.9375 | 0.9249 | 0.9617 | -1 | 1 | 2 | 1 | 1.788 | 0.000793 | 0.00001161 | 0.008214 | 0.9711 | 1 | 2.325e-10 | 0.00005375 | 0.002311 | 0.0007373 | 0.02715 | 3.306 | 0.1354 | 0.00087 | 0.00005812 | 1 | 1 | 0.002099 | 0.02607 | 0.2356 | 0.00227 | 0.02818 | 0.2548 | json |
| t20_x13_u0_b102 | 20 | 13 | 0 | 102 | ![]() |
add(P,dot(div(D,D),D)) | 162231 | 162937335 | o2(x,o2(o2(x,x),x)) | true | 6255 | 6255 | -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_b103 | 20 | 13 | 0 | 103 | ![]() |
add(P,dot(pow(D,D),D)) | 162232 | 162937336 | o2(x,o2(o2(x,x),x)) | true | 6263 | 6263 | -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_b104 | 20 | 13 | 0 | 104 | ![]() |
add(P,dot(mod(D,D),D)) | 162233 | 162937337 | o2(x,o2(o2(x,x),x)) | true | 6271 | 6271 | -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_b105 | 20 | 13 | 0 | 105 | ![]() |
add(P,dot(lrg(D,D),D)) | 162234 | 162937338 | o2(x,o2(o2(x,x),x)) | true | 6279 | 6279 | 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_b106 | 20 | 13 | 0 | 106 | ![]() |
add(P,dot(eql(D,D),D)) | 162235 | 162937339 | o2(x,o2(o2(x,x),x)) | true | 6287 | 6287 | 0 | 0.5 | 0.9375 | 0.9167 | 0.9574 | -1 | 1 | 2 | 1 | 1.979 | 0.0004915 | 0.0002065 | 0.009428 | 0.4083 | 1 | 0 | 0.00008486 | 0.002447 | 0.0006091 | 0.02468 | 2.618 | 0.08798 | 0.0007614 | 0.00009257 | 1 | 1 | 0.001812 | 0.02283 | 0.2246 | 0.001977 | 0.0249 | 0.245 | json |
| t20_x13_u0_b107 | 20 | 13 | 0 | 107 | ![]() |
add(P,dot(min(D,D),D)) | 162236 | 162937340 | o2(x,o2(o2(x,x),x)) | true | 6295 | 6295 | 0.02976 | 0.5254 | 0.9375 | 0.9196 | 0.959 | -1 | 1 | 2 | 1 | 1.885 | 0.0008524 | 0.0001578 | 0.009947 | 0.6876 | 1 | -0.00003054 | 0.000135 | 0.003248 | 0.0009115 | 0.03019 | 3.035 | 0.1496 | 0.001099 | 0.0001468 | 1 | 1 | 0.0026 | 0.02805 | 0.2301 | 0.002827 | 0.0305 | 0.2502 | json |
| t20_x13_u0_b108 | 20 | 13 | 0 | 108 | ![]() |
add(P,dot(dot(D,D),D)) | 162237 | 162937341 | o2(x,o2(o2(x,x),x)) | true | 6303 | 6303 | 0 | 0.4998 | 0.9375 | 0.9241 | 0.9613 | -1 | 1 | 2 | 1 | 1.808 | 0.0007401 | 0.00000899 | 0.008118 | 0.976 | 1 | 1.186e-10 | 0.00004608 | 0.002117 | 0.0006832 | 0.02614 | 3.22 | 0.135 | 0.0008106 | 0.00004987 | 1 | 1 | 0.001958 | 0.02504 | 0.2345 | 0.002119 | 0.0271 | 0.2538 | json |
| t20_x13_u0_b109 | 20 | 13 | 0 | 109 | ![]() |
add(P,dot(dst(D,D),D)) | 162238 | 162937342 | o2(x,o2(o2(x,x),x)) | true | 6311 | 6311 | 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_b110 | 20 | 13 | 0 | 110 | ![]() |
add(P,dst(add(D,D),D)) | 162239 | 162937343 | o2(x,o2(o2(x,x),x)) | true | 6319 | 6319 | 0.05549 | 0.5342 | 0.9375 | 0.9113 | 0.9546 | -1 | 1 | 2 | 1 | 1.963 | 0.000935 | 0.0002544 | 0.01126 | 0.5722 | 1 | -0.00004394 | 0.0002205 | 0.003978 | 0.001062 | 0.03259 | 2.894 | 0.1593 | 0.001305 | 0.000242 | 1 | 1 | 0.003022 | 0.02891 | 0.222 | 0.003316 | 0.03172 | 0.2436 | json |
| t20_x13_u0_b111 | 20 | 13 | 0 | 111 | ![]() |
add(P,dst(sub(D,D),D)) | 162240 | 162937344 | o2(x,o2(o2(x,x),x)) | true | 6327 | 6327 | 0.05549 | 0.5342 | 0.9375 | 0.9113 | 0.9546 | -1 | 1 | 2 | 1 | 1.963 | 0.000935 | 0.0002544 | 0.01126 | 0.5722 | 1 | -0.00004394 | 0.0002205 | 0.003978 | 0.001062 | 0.03259 | 2.894 | 0.1593 | 0.001305 | 0.000242 | 1 | 1 | 0.003022 | 0.02891 | 0.222 | 0.003316 | 0.03172 | 0.2436 | json |
| t20_x13_u0_b112 | 20 | 13 | 0 | 112 | ![]() |
add(P,dst(mlt(D,D),D)) | 162241 | 162937345 | o2(x,o2(o2(x,x),x)) | true | 6335 | 6335 | 0.0569 | 0.5349 | 0.9375 | 0.9119 | 0.9549 | -1 | 1 | 2 | 1 | 1.966 | 0.0009325 | 0.000285 | 0.01139 | 0.5319 | 1 | -0.00004738 | 0.0002218 | 0.004032 | 0.001088 | 0.03298 | 2.896 | 0.1656 | 0.001335 | 0.0002432 | 1 | 1 | 0.003098 | 0.02939 | 0.2221 | 0.003397 | 0.03223 | 0.2435 | json |
| t20_x13_u0_b113 | 20 | 13 | 0 | 113 | ![]() |
add(P,dst(div(D,D),D)) | 162242 | 162937346 | o2(x,o2(o2(x,x),x)) | true | 6343 | 6343 | -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_b114 | 20 | 13 | 0 | 114 | ![]() |
add(P,dst(pow(D,D),D)) | 162243 | 162937347 | o2(x,o2(o2(x,x),x)) | true | 6351 | 6351 | -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_b115 | 20 | 13 | 0 | 115 | ![]() |
add(P,dst(mod(D,D),D)) | 162244 | 162937348 | o2(x,o2(o2(x,x),x)) | true | 6359 | 6359 | -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_b116 | 20 | 13 | 0 | 116 | ![]() |
add(P,dst(lrg(D,D),D)) | 162245 | 162937349 | o2(x,o2(o2(x,x),x)) | true | 6367 | 6367 | 0.05549 | 0.5342 | 0.9375 | 0.9113 | 0.9546 | -1 | 1 | 2 | 1 | 1.963 | 0.000935 | 0.0002544 | 0.01126 | 0.5722 | 1 | -0.00004394 | 0.0002205 | 0.003978 | 0.001062 | 0.03259 | 2.894 | 0.1593 | 0.001305 | 0.000242 | 1 | 1 | 0.003022 | 0.02891 | 0.222 | 0.003316 | 0.03172 | 0.2436 | json |
| t20_x13_u0_b117 | 20 | 13 | 0 | 117 | ![]() |
add(P,dst(eql(D,D),D)) | 162246 | 162937350 | o2(x,o2(o2(x,x),x)) | true | 6375 | 6375 | 0.2223 | 0.6021 | 0.9375 | 0.8666 | 0.9309 | -1 | 1 | 2 | 1 | 1.912 | 0.001013 | 0.0000775 | 0.01025 | 0.8578 | 1 | -0.000005882 | 0.0001986 | 0.003925 | 0.0009856 | 0.03139 | 3.063 | 0.1541 | 0.001258 | 0.0002291 | 1 | 1 | 0.002767 | 0.02742 | 0.2237 | 0.003193 | 0.03164 | 0.2582 | json |
| t20_x13_u0_b118 | 20 | 13 | 0 | 118 | ![]() |
add(P,dst(min(D,D),D)) | 162247 | 162937351 | o2(x,o2(o2(x,x),x)) | true | 6383 | 6383 | 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_b119 | 20 | 13 | 0 | 119 | ![]() |
add(P,dst(dot(D,D),D)) | 162248 | 162937352 | o2(x,o2(o2(x,x),x)) | true | 6391 | 6391 | 0.07354 | 0.5391 | 0.9375 | 0.9081 | 0.953 | -1 | 1 | 2 | 1 | 1.987 | 0.00138 | 0.0006133 | 0.01491 | 0.3847 | 1 | -0.00006527 | 0.0004409 | 0.005889 | 0.001771 | 0.04208 | 2.822 | 0.2064 | 0.002195 | 0.0004855 | 1 | 1 | 0.005029 | 0.04058 | 0.2202 | 0.005538 | 0.04469 | 0.2424 | json |
| t20_x13_u0_b120 | 20 | 13 | 0 | 120 | ![]() |
add(P,dst(dst(D,D),D)) | 162249 | 162937353 | o2(x,o2(o2(x,x),x)) | true | 6399 | 6399 | 0.05549 | 0.5342 | 0.9375 | 0.9113 | 0.9546 | -1 | 1 | 2 | 1 | 1.963 | 0.000935 | 0.0002544 | 0.01126 | 0.5722 | 1 | -0.00004394 | 0.0002205 | 0.003978 | 0.001062 | 0.03259 | 2.894 | 0.1593 | 0.001305 | 0.000242 | 1 | 1 | 0.003022 | 0.02891 | 0.222 | 0.003316 | 0.03172 | 0.2436 | json |
| t20_x13_u0_b121 | 20 | 13 | 0 | 121 | ![]() |
sub(P,add(add(D,D),D)) | 162250 | 162937354 | o2(x,o2(o2(x,x),x)) | true | 6407 | 6407 | 0 | 0.5 | 0.9375 | 0.9162 | 0.9572 | -1 | 1 | 2 | 1 | 1.907 | 0.003592 | 0 | 0.01946 | 1 | 1 | 0 | 0.00101 | 0.01096 | 0.003215 | 0.0567 | 2.914 | 0.28 | 0.003921 | 0.001103 | 1 | 1 | 0.008858 | 0.05969 | 0.2239 | 0.009669 | 0.06516 | 0.2444 | json |
| t20_x13_u0_b122 | 20 | 13 | 0 | 122 | ![]() |
sub(P,add(sub(D,D),D)) | 162251 | 162937355 | o2(x,o2(o2(x,x),x)) | true | 6415 | 6415 | 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_b123 | 20 | 13 | 0 | 123 | ![]() |
sub(P,add(mlt(D,D),D)) | 162252 | 162937356 | o2(x,o2(o2(x,x),x)) | true | 6423 | 6423 | -0.01488 | 0.4883 | 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_b124 | 20 | 13 | 0 | 124 | ![]() |
sub(P,add(div(D,D),D)) | 162253 | 162937357 | o2(x,o2(o2(x,x),x)) | true | 6431 | 6431 | -0.125 | 0.4375 | 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_b125 | 20 | 13 | 0 | 125 | ![]() |
sub(P,add(pow(D,D),D)) | 162254 | 162937358 | o2(x,o2(o2(x,x),x)) | true | 6439 | 6439 | -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_b126 | 20 | 13 | 0 | 126 | ![]() |
sub(P,add(mod(D,D),D)) | 162255 | 162937359 | o2(x,o2(o2(x,x),x)) | true | 6447 | 6447 | 0 | 0.5 | 0.9375 | 0.9264 | 0.9625 | -1 | 1 | 2 | 1 | 1.75 | 0.006791 | 0 | 0.02319 | 1 | 1 | 0 | 0.01262 | 0.03792 | 0.006255 | 0.07909 | 3.41 | 0.6948 | 0.007331 | 0.01362 | 1 | 1 | 0.009645 | 0.0457 | 0.2377 | 0.01041 | 0.04933 | 0.2566 | json |
| t20_x13_u0_b127 | 20 | 13 | 0 | 127 | ![]() |
sub(P,add(lrg(D,D),D)) | 162256 | 162937360 | o2(x,o2(o2(x,x),x)) | true | 6455 | 6455 | 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_b128 | 20 | 13 | 0 | 128 | ![]() |
sub(P,add(eql(D,D),D)) | 162257 | 162937361 | o2(x,o2(o2(x,x),x)) | true | 6463 | 6463 | -0.125 | 0.4375 | 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_b129 | 20 | 13 | 0 | 129 | ![]() |
sub(P,add(min(D,D),D)) | 162258 | 162937362 | o2(x,o2(o2(x,x),x)) | true | 6471 | 6471 | 0 | 0.5 | 0.9375 | 0.921 | 0.9597 | -1 | 1 | 2 | 1 | 1.793 | 0.002325 | 0 | 0.01502 | 1 | 1 | 0 | 0.0006774 | 0.008348 | 0.0021 | 0.04583 | 3.051 | 0.2256 | 0.002524 | 0.0007355 | 1 | 1 | 0.005717 | 0.04463 | 0.2304 | 0.006208 | 0.04846 | 0.2502 | json |
| t20_x13_u0_b130 | 20 | 13 | 0 | 130 | ![]() |
sub(P,add(dot(D,D),D)) | 162259 | 162937363 | o2(x,o2(o2(x,x),x)) | true | 6479 | 6479 | -0.02976 | 0.4761 | 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.986 | 0.1916 | 0.001758 | 0.0003457 | 1 | 1 | 0.004083 | 0.03572 | 0.2281 | 0.004447 | 0.0389 | 0.2485 | json |
| t20_x13_u0_b131 | 20 | 13 | 0 | 131 | ![]() |
sub(P,add(dst(D,D),D)) | 162260 | 162937364 | o2(x,o2(o2(x,x),x)) | true | 6487 | 6487 | 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_b132 | 20 | 13 | 0 | 132 | ![]() |
sub(P,sub(add(D,D),D)) | 162261 | 162937365 | o2(x,o2(o2(x,x),x)) | true | 6495 | 6495 | 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_b133 | 20 | 13 | 0 | 133 | ![]() |
sub(P,sub(sub(D,D),D)) | 162262 | 162937366 | o2(x,o2(o2(x,x),x)) | true | 6503 | 6503 | 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_b134 | 20 | 13 | 0 | 134 | ![]() |
sub(P,sub(mlt(D,D),D)) | 162263 | 162937367 | o2(x,o2(o2(x,x),x)) | true | 6511 | 6511 | -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_b135 | 20 | 13 | 0 | 135 | ![]() |
sub(P,sub(div(D,D),D)) | 162264 | 162937368 | o2(x,o2(o2(x,x),x)) | true | 6519 | 6519 | -0.125 | 0.4375 | 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_b136 | 20 | 13 | 0 | 136 | ![]() |
sub(P,sub(pow(D,D),D)) | 162265 | 162937369 | o2(x,o2(o2(x,x),x)) | true | 6527 | 6527 | -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_b137 | 20 | 13 | 0 | 137 | ![]() |
sub(P,sub(mod(D,D),D)) | 162266 | 162937370 | o2(x,o2(o2(x,x),x)) | true | 6535 | 6535 | 0 | 0.5 | 0.9375 | 0.9236 | 0.9611 | -1 | 1 | 2 | 1 | 1.781 | 0.005427 | 0 | 0.02004 | 1 | 1 | 0 | 0.01194 | 0.03575 | 0.005023 | 0.07088 | 3.537 | 0.586 | 0.005876 | 0.01292 | 1 | 1 | 0.00648 | 0.0255 | 0.234 | 0.007016 | 0.02761 | 0.2533 | json |
| t20_x13_u0_b138 | 20 | 13 | 0 | 138 | ![]() |
sub(P,sub(lrg(D,D),D)) | 162267 | 162937371 | o2(x,o2(o2(x,x),x)) | true | 6543 | 6543 | 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_b139 | 20 | 13 | 0 | 139 | ![]() |
sub(P,sub(eql(D,D),D)) | 162268 | 162937372 | o2(x,o2(o2(x,x),x)) | true | 6551 | 6551 | -0.125 | 0.4375 | 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_b140 | 20 | 13 | 0 | 140 | ![]() |
sub(P,sub(min(D,D),D)) | 162269 | 162937373 | o2(x,o2(o2(x,x),x)) | true | 6559 | 6559 | 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_b141 | 20 | 13 | 0 | 141 | ![]() |
sub(P,sub(dot(D,D),D)) | 162270 | 162937374 | o2(x,o2(o2(x,x),x)) | true | 6567 | 6567 | -0.02976 | 0.4854 | 0.9375 | 0.9197 | 0.959 | -1 | 1 | 2 | 1 | 1.921 | 0.0006489 | 0.0001559 | 0.009391 | 0.6126 | 1 | 0.00003054 | 0.00008081 | 0.002555 | 0.0007163 | 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_b142 | 20 | 13 | 0 | 142 | ![]() |
sub(P,sub(dst(D,D),D)) | 162271 | 162937375 | o2(x,o2(o2(x,x),x)) | true | 6575 | 6575 | 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_b143 | 20 | 13 | 0 | 143 | ![]() |
sub(P,mlt(add(D,D),D)) | 162272 | 162937376 | o2(x,o2(o2(x,x),x)) | true | 6583 | 6583 | -0.02976 | 0.4688 | 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_b144 | 20 | 13 | 0 | 144 | ![]() |
sub(P,mlt(sub(D,D),D)) | 162273 | 162937377 | o2(x,o2(o2(x,x),x)) | true | 6591 | 6591 | 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_b145 | 20 | 13 | 0 | 145 | ![]() |
sub(P,mlt(mlt(D,D),D)) | 162274 | 162937378 | o2(x,o2(o2(x,x),x)) | true | 6599 | 6599 | 0 | 0.5 | 0.9375 | 0.9226 | 0.9605 | -1 | 1 | 2 | 1 | 1.813 | 0.0006411 | 0 | 0.007936 | 1 | 1 | 0 | 0.00002617 | 0.001571 | 0.0005783 | 0.02405 | 3.03 | 0.09951 | 0.0006948 | 0.00002837 | 1 | 1 | 0.001683 | 0.02309 | 0.2326 | 0.001824 | 0.02503 | 0.2521 | json |
| t20_x13_u0_b146 | 20 | 13 | 0 | 146 | ![]() |
sub(P,mlt(div(D,D),D)) | 162275 | 162937379 | o2(x,o2(o2(x,x),x)) | true | 6607 | 6607 | 0 | 0.5 | 0.9375 | 0.9252 | 0.9619 | -1 | 1 | 2 | 1 | 1.774 | 0.001323 | 0 | 0.01101 | 1 | 1 | -8.278e-10 | 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_b147 | 20 | 13 | 0 | 147 | ![]() |
sub(P,mlt(pow(D,D),D)) | 162276 | 162937380 | o2(x,o2(o2(x,x),x)) | true | 6615 | 6615 | -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_b148 | 20 | 13 | 0 | 148 | ![]() |
sub(P,mlt(mod(D,D),D)) | 162277 | 162937381 | o2(x,o2(o2(x,x),x)) | true | 6623 | 6623 | -0.004479 | 0.4961 | 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_b149 | 20 | 13 | 0 | 149 | ![]() |
sub(P,mlt(lrg(D,D),D)) | 162278 | 162937382 | o2(x,o2(o2(x,x),x)) | true | 6631 | 6631 | 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_b150 | 20 | 13 | 0 | 150 | ![]() |
sub(P,mlt(eql(D,D),D)) | 162279 | 162937383 | o2(x,o2(o2(x,x),x)) | true | 6639 | 6639 | 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_b151 | 20 | 13 | 0 | 151 | ![]() |
sub(P,mlt(min(D,D),D)) | 162280 | 162937384 | o2(x,o2(o2(x,x),x)) | true | 6647 | 6647 | -0.01488 | 0.4805 | 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_b152 | 20 | 13 | 0 | 152 | ![]() |
sub(P,mlt(dot(D,D),D)) | 162281 | 162937385 | o2(x,o2(o2(x,x),x)) | true | 6655 | 6655 | 0 | 0.4995 | 0.9375 | 0.9234 | 0.961 | -1 | 1 | 2 | 1 | 1.828 | 0.0006864 | 0.000001713 | 0.008087 | 0.995 | 1 | 0 | 0.00003537 | 0.001858 | 0.0006225 | 0.02495 | 3.085 | 0.113 | 0.0007452 | 0.0000383 | 1 | 1 | 0.001802 | 0.02399 | 0.2337 | 0.001951 | 0.02598 | 0.2531 | json |
| t20_x13_u0_b153 | 20 | 13 | 0 | 153 | ![]() |
sub(P,mlt(dst(D,D),D)) | 162282 | 162937386 | o2(x,o2(o2(x,x),x)) | true | 6663 | 6663 | 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_b154 | 20 | 13 | 0 | 154 | ![]() |
sub(P,div(add(D,D),D)) | 162283 | 162937387 | o2(x,o2(o2(x,x),x)) | true | 6671 | 6671 | -0.25 | 0.375 | 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_b155 | 20 | 13 | 0 | 155 | ![]() |
sub(P,div(sub(D,D),D)) | 162284 | 162937388 | o2(x,o2(o2(x,x),x)) | true | 6679 | 6679 | 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_b156 | 20 | 13 | 0 | 156 | ![]() |
sub(P,div(mlt(D,D),D)) | 162285 | 162937389 | o2(x,o2(o2(x,x),x)) | true | 6687 | 6687 | 0 | 0.5 | 0.9375 | 0.9252 | 0.9619 | -1 | 1 | 2 | 1 | 1.774 | 0.001323 | 0 | 0.01101 | 1 | 1 | -8.278e-10 | 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_b157 | 20 | 13 | 0 | 157 | ![]() |
sub(P,div(div(D,D),D)) | 162286 | 162937390 | o2(x,o2(o2(x,x),x)) | true | 6695 | 6695 | 5.959e-8 | 0.5 | 0.9531 | 0.9398 | 0.9694 | -1 | 1 | 2 | 1 | 1.754 | 0.3813 | 0 | 0.246 | 1 | 1 | 1.896e-9 | 0.6631 | 0.3981 | 0.3208 | 0.5664 | 2.302 | 2 | 0.4057 | 0.7056 | 1 | 1 | 0.4269 | 1.122 | 0.1505 | 0.4543 | 1.193 | 0.1601 | json |
| t20_x13_u0_b158 | 20 | 13 | 0 | 158 | ![]() |
sub(P,div(pow(D,D),D)) | 162287 | 162937391 | o2(x,o2(o2(x,x),x)) | true | 6703 | 6703 | -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_b159 | 20 | 13 | 0 | 159 | ![]() |
sub(P,div(mod(D,D),D)) | 162288 | 162937392 | o2(x,o2(o2(x,x),x)) | true | 6711 | 6711 | -0.04921 | 0.4688 | 0.9375 | 0.9263 | 0.9624 | -1 | 1 | 2 | 1 | 1.65 | 0.06463 | 0 | 0.0757 | 1 | 1 | -9.386e-13 | 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_b160 | 20 | 13 | 0 | 160 | ![]() |
sub(P,div(lrg(D,D),D)) | 162289 | 162937393 | o2(x,o2(o2(x,x),x)) | true | 6719 | 6719 | 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_b161 | 20 | 13 | 0 | 161 | ![]() |
sub(P,div(eql(D,D),D)) | 162290 | 162937394 | o2(x,o2(o2(x,x),x)) | true | 6727 | 6727 | -1.455e-11 | 0.5 | 0.9531 | 0.9398 | 0.9694 | -1 | 1 | 2 | 1 | 1.754 | 0.3813 | 0 | 0.246 | 1 | 1 | 2.842e-9 | 0.6631 | 0.3981 | 0.3208 | 0.5664 | 2.302 | 2 | 0.4057 | 0.7056 | 1 | 1 | 0.4269 | 1.122 | 0.1505 | 0.4543 | 1.193 | 0.1601 | json |
| t20_x13_u0_b162 | 20 | 13 | 0 | 162 | ![]() |
sub(P,div(min(D,D),D)) | 162291 | 162937395 | o2(x,o2(o2(x,x),x)) | true | 6735 | 6735 | -0.125 | 0.4375 | 0.9375 | 0.9084 | 0.9531 | -1 | 1 | 2 | 1 | 1.8 | 0.0007059 | 0 | 0.007937 | 1 | 1 | 5.026e-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_b163 | 20 | 13 | 0 | 163 | ![]() |
sub(P,div(dot(D,D),D)) | 162292 | 162937396 | o2(x,o2(o2(x,x),x)) | true | 6743 | 6743 | 0 | 0.5 | 0.9387 | 0.9194 | 0.9589 | -1 | 1 | 2 | 1 | 1.944 | 0.1882 | 0.01854 | 0.1419 | 0.8206 | 1 | -1.502e-11 | 0.5789 | 0.2267 | 0.1867 | 0.432 | 3.044 | 2.495 | 0.2249 | 0.6297 | 1 | 1 | 0.1824 | 0.3728 | 0.216 | 0.1984 | 0.4054 | 0.2349 | json |
| t20_x13_u0_b164 | 20 | 13 | 0 | 164 | ![]() |
sub(P,div(dst(D,D),D)) | 162293 | 162937397 | o2(x,o2(o2(x,x),x)) | true | 6751 | 6751 | 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_b165 | 20 | 13 | 0 | 165 | ![]() |
sub(P,pow(add(D,D),D)) | 162294 | 162937398 | o2(x,o2(o2(x,x),x)) | true | 6759 | 6759 | -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_b166 | 20 | 13 | 0 | 166 | ![]() |
sub(P,pow(sub(D,D),D)) | 162295 | 162937399 | o2(x,o2(o2(x,x),x)) | true | 6767 | 6767 | -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_b167 | 20 | 13 | 0 | 167 | ![]() |
sub(P,pow(mlt(D,D),D)) | 162296 | 162937400 | o2(x,o2(o2(x,x),x)) | true | 6775 | 6775 | -0.1486 | 0.4375 | 0.9375 | 0.894 | 0.9455 | -1 | 1 | 2 | 1 | 1.813 | 0.003136 | 0 | 0.0155 | 1 | 1 | -3.075e-9 | 0.001113 | 0.009222 | 0.002895 | 0.05381 | 3.471 | 0.437 | 0.003508 | 0.001245 | 1 | 1 | 0.00758 | 0.05232 | 0.2232 | 0.008479 | 0.05853 | 0.2497 | json |
| t20_x13_u0_b168 | 20 | 13 | 0 | 168 | ![]() |
sub(P,pow(div(D,D),D)) | 162297 | 162937401 | o2(x,o2(o2(x,x),x)) | true | 6783 | 6783 | -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_x13_u0_b169 | 20 | 13 | 0 | 169 | ![]() |
sub(P,pow(pow(D,D),D)) | 162298 | 162937402 | o2(x,o2(o2(x,x),x)) | true | 6791 | 6791 | -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_b170 | 20 | 13 | 0 | 170 | ![]() |
sub(P,pow(mod(D,D),D)) | 162299 | 162937403 | o2(x,o2(o2(x,x),x)) | true | 6799 | 6799 | -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 |



































































































