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_x3_u0_b181 | 20 | 3 | 0 | 181 | ![]() |
sub(P,mod(mod(P,D),P)) | 160300 | 162533404 | o2(x,o2(o2(x,x),x)) | true | 162407 | 162407 | -0.125 | 0.4375 | 0.9979 | 0.9803 | 0.9901 | -1 | 1 | 2 | 1 | 1.105 | 0.01593 | 0 | 0.009376 | 1 | 1 | 0 | 0.03277 | 0.01836 | 0.01583 | 0.1258 | 13.42 | 2 | 0.01625 | 0.03342 | 1 | 1 | 0.02054 | 0.08156 | 0.3342 | 0.02095 | 0.0832 | 0.3409 | json |
| t20_x3_u0_b182 | 20 | 3 | 0 | 182 | ![]() |
sub(P,mod(lrg(P,D),P)) | 160301 | 162533405 | o2(x,o2(o2(x,x),x)) | true | 162415 | 162415 | -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_x3_u0_b183 | 20 | 3 | 0 | 183 | ![]() |
sub(P,mod(eql(P,D),P)) | 160302 | 162533406 | o2(x,o2(o2(x,x),x)) | true | 162423 | 162423 | -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_x3_u0_b184 | 20 | 3 | 0 | 184 | ![]() |
sub(P,mod(min(P,D),P)) | 160303 | 162533407 | o2(x,o2(o2(x,x),x)) | true | 162431 | 162431 | 0.0007595 | 0.4375 | 0.872 | 0.8603 | 0.9275 | -1 | 1 | 2 | 1 | 1.961 | 0.01936 | 0 | 0.02433 | 1 | 1 | 2.365e-9 | 0.03348 | 0.027 | 0.01878 | 0.137 | 5.632 | 1.969 | 0.0225 | 0.03892 | 1 | 1 | 0.02622 | 0.1188 | 0.3815 | 0.03048 | 0.1381 | 0.4435 | json |
| t20_x3_u0_b185 | 20 | 3 | 0 | 185 | ![]() |
sub(P,mod(dot(P,D),P)) | 160304 | 162533408 | o2(x,o2(o2(x,x),x)) | true | 162439 | 162439 | -0.1235 | 0.4375 | 0.9933 | 0.9741 | 0.9869 | -1 | 1 | 2 | 1 | 1.219 | 0.01494 | 0.002338 | 0.01617 | 0.7294 | 1 | 9.427e-7 | 0.03979 | 0.02971 | 0.01701 | 0.1304 | 8.066 | 2 | 0.01774 | 0.04085 | 1 | 1 | 0.0212 | 0.0839 | 0.3354 | 0.02177 | 0.08614 | 0.3444 | json |
| t20_x3_u0_b186 | 20 | 3 | 0 | 186 | ![]() |
sub(P,mod(dst(P,D),P)) | 160305 | 162533409 | o2(x,o2(o2(x,x),x)) | true | 162447 | 162447 | -0.1588 | 0.4375 | 0.9662 | 0.9263 | 0.9625 | -1 | 1 | 2 | 1 | 1.576 | 0.0134 | 0.00329 | 0.02282 | 0.6057 | 1 | 0.00002987 | 0.03963 | 0.03314 | 0.01618 | 0.1272 | 5.575 | 1.992 | 0.01802 | 0.04278 | 1 | 1 | 0.02098 | 0.08075 | 0.3001 | 0.02265 | 0.08718 | 0.324 | json |
| t20_x3_u0_b187 | 20 | 3 | 0 | 187 | ![]() |
sub(P,lrg(add(P,D),P)) | 160306 | 162533410 | o2(x,o2(o2(x,x),x)) | true | 162455 | 162455 | -0.0625 | 0.4688 | 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_x3_u0_b188 | 20 | 3 | 0 | 188 | ![]() |
sub(P,lrg(sub(P,D),P)) | 160307 | 162533411 | o2(x,o2(o2(x,x),x)) | true | 162463 | 162463 | -0.0625 | 0.4375 | 0.9375 | 0.9336 | 0.9662 | -1 | 1 | 2 | 1 | 1.272 | 0.007937 | 0 | 0.007937 | 1 | 1 | 0 | 0.01587 | 0.01587 | 0.007872 | 0.08872 | 11.18 | 1 | 0.008501 | 0.017 | 1 | 1 | 0.01053 | 0.04211 | 0.2526 | 0.01128 | 0.0451 | 0.2706 | json |
| t20_x3_u0_b189 | 20 | 3 | 0 | 189 | ![]() |
sub(P,lrg(mlt(P,D),P)) | 160308 | 162533412 | o2(x,o2(o2(x,x),x)) | true | 162471 | 162471 | -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_x3_u0_b190 | 20 | 3 | 0 | 190 | ![]() |
sub(P,lrg(div(P,D),P)) | 160309 | 162533413 | o2(x,o2(o2(x,x),x)) | true | 162479 | 162479 | -0.02152 | 0.5 | 0.916 | 0.8979 | 0.9476 | -1 | 1 | 2 | 1 | 1.997 | 0.005319 | 0 | 0.01587 | 1 | 1 | 0 | 0.008252 | 0.01158 | 0.005063 | 0.07116 | 4.485 | 0.9991 | 0.005924 | 0.00919 | 1 | 1 | 0.008637 | 0.04222 | 0.2029 | 0.009619 | 0.04702 | 0.2259 | json |
| t20_x3_u0_b191 | 20 | 3 | 0 | 191 | ![]() |
sub(P,lrg(pow(P,D),P)) | 160310 | 162533414 | o2(x,o2(o2(x,x),x)) | true | 162487 | 162487 | -0.03125 | 0.5 | 0.9688 | 0.9603 | 0.98 | -1 | 1 | 2 | 1 | 1.406 | 0.004323 | 0 | 0.007937 | 1 | 1 | -9.386e-13 | 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_x3_u0_b192 | 20 | 3 | 0 | 192 | ![]() |
sub(P,lrg(mod(P,D),P)) | 160311 | 162533415 | o2(x,o2(o2(x,x),x)) | true | 162495 | 162495 | -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_x3_u0_b193 | 20 | 3 | 0 | 193 | ![]() |
sub(P,lrg(lrg(P,D),P)) | 160312 | 162533416 | o2(x,o2(o2(x,x),x)) | true | 162503 | 162503 | -0.03125 | 0.5 | 0.9688 | 0.9603 | 0.98 | -1 | 1 | 2 | 1 | 1.406 | 0.004323 | 0 | 0.007937 | 1 | 1 | -9.386e-13 | 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_x3_u0_b194 | 20 | 3 | 0 | 194 | ![]() |
sub(P,lrg(eql(P,D),P)) | 160313 | 162533417 | o2(x,o2(o2(x,x),x)) | true | 162511 | 162511 | -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_x3_u0_b195 | 20 | 3 | 0 | 195 | ![]() |
sub(P,lrg(min(P,D),P)) | 160314 | 162533418 | o2(x,o2(o2(x,x),x)) | true | 162519 | 162519 | 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_x3_u0_b196 | 20 | 3 | 0 | 196 | ![]() |
sub(P,lrg(dot(P,D),P)) | 160315 | 162533419 | o2(x,o2(o2(x,x),x)) | true | 162527 | 162527 | -0.04015 | 0.4782 | 0.951 | 0.9351 | 0.967 | -1 | 1 | 2 | 1 | 1.776 | 0.001357 | 0.004276 | 0.0162 | -0.5182 | 1 | 0.00002002 | 0.01048 | 0.01494 | 0.005372 | 0.07329 | 4.523 | 1.331 | 0.006025 | 0.01121 | 1 | 1 | 0.008492 | 0.05088 | 0.2602 | 0.009082 | 0.05441 | 0.2783 | json |
| t20_x3_u0_b197 | 20 | 3 | 0 | 197 | ![]() |
sub(P,lrg(dst(P,D),P)) | 160316 | 162533420 | o2(x,o2(o2(x,x),x)) | true | 162535 | 162535 | -0.1225 | 0.4375 | 0.94 | 0.9119 | 0.9549 | -1 | 1 | 2 | 1 | 1.789 | 0.000965 | 0.0001584 | 0.008301 | 0.718 | 1 | 1.091e-11 | 0.001419 | 0.003129 | 0.001054 | 0.03247 | 3.912 | 1.265 | 0.001232 | 0.001556 | 1 | 1 | 0.002558 | 0.027 | 0.2416 | 0.002805 | 0.0296 | 0.265 | json |
| t20_x3_u0_b198 | 20 | 3 | 0 | 198 | ![]() |
sub(P,eql(add(P,D),P)) | 160317 | 162533421 | o2(x,o2(o2(x,x),x)) | true | 162543 | 162543 | 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_x3_u0_b199 | 20 | 3 | 0 | 199 | ![]() |
sub(P,eql(sub(P,D),P)) | 160318 | 162533422 | o2(x,o2(o2(x,x),x)) | true | 162551 | 162551 | 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_x3_u0_b200 | 20 | 3 | 0 | 200 | ![]() |
sub(P,eql(mlt(P,D),P)) | 160319 | 162533423 | o2(x,o2(o2(x,x),x)) | true | 162559 | 162559 | -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_x4_u0_b0 | 20 | 4 | 0 | 0 | ![]() |
add(P,add(add(P,D),D)) | 160320 | 162573624 | o2(x,o2(o2(x,x),x)) | true | 162567 | 162567 | 0 | 0.5 | 0.9688 | 0.9583 | 0.9789 | -1 | 1 | 2 | 1 | 1.492 | 0.0009611 | 0 | 0.007937 | 1 | 1 | 0 | 0.000062 | 0.0009921 | 0.0008988 | 0.02998 | 3.777 | 0.125 | 0.001003 | 0.00006471 | 1 | 1 | 0.002508 | 0.03503 | 0.2806 | 0.002617 | 0.03656 | 0.2928 | json |
| t20_x4_u0_b1 | 20 | 4 | 0 | 1 | ![]() |
add(P,add(sub(P,D),D)) | 160321 | 162573625 | o2(x,o2(o2(x,x),x)) | true | 162575 | 162575 | 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_x4_u0_b2 | 20 | 4 | 0 | 2 | ![]() |
add(P,add(mlt(P,D),D)) | 160322 | 162573626 | o2(x,o2(o2(x,x),x)) | true | 162583 | 162583 | -0.01788 | 0.5 | 0.9375 | 0.9198 | 0.9591 | -1 | 1 | 2 | 1 | 1.812 | 0.0006724 | 0 | 0.007937 | 1 | 1 | -9.165e-10 | 0.00004687 | 0.001748 | 0.0006097 | 0.02469 | 3.111 | 0.1243 | 0.000731 | 0.00005096 | 1 | 1 | 0.001753 | 0.02322 | 0.2295 | 0.001905 | 0.02524 | 0.2495 | json |
| t20_x4_u0_b3 | 20 | 4 | 0 | 3 | ![]() |
add(P,add(div(P,D),D)) | 160323 | 162573627 | o2(x,o2(o2(x,x),x)) | true | 162591 | 162591 | -0.1272 | 0.4258 | 0.9341 | 0.9028 | 0.9501 | -1 | 1 | 2 | 1 | 1.717 | 0.3907 | 0 | 0.2311 | 1 | 1 | 3.784e-9 | 0.7238 | 0.4077 | 0.3372 | 0.5807 | 2.512 | 2 | 0.4328 | 0.8018 | 1 | 1 | 0.408 | 1.473 | 0.2323 | 0.4519 | 1.631 | 0.2573 | json |
| t20_x4_u0_b4 | 20 | 4 | 0 | 4 | ![]() |
add(P,add(pow(P,D),D)) | 160324 | 162573628 | o2(x,o2(o2(x,x),x)) | true | 162599 | 162599 | -0.01857 | 0.5 | 0.9814 | 0.9769 | 0.9884 | -1 | 1 | 2 | 1 | 1.262 | 0.004731 | 0 | 0.007937 | 1 | 1 | -9.386e-13 | 0.007966 | 0.009032 | 0.004667 | 0.06831 | 8.608 | 1.032 | 0.004843 | 0.008154 | 1 | 1 | 0.007268 | 0.05263 | 0.3053 | 0.00744 | 0.05388 | 0.3125 | json |
| t20_x4_u0_b5 | 20 | 4 | 0 | 5 | ![]() |
add(P,add(mod(P,D),D)) | 160325 | 162573629 | o2(x,o2(o2(x,x),x)) | true | 162607 | 162607 | 0 | 0.5 | 0.9473 | 0.9296 | 0.9642 | -1 | 1 | 2 | 1 | 1.877 | 0.00113 | 0 | 0.01039 | 1 | 1 | 0 | 0.001585 | 0.009036 | 0.001022 | 0.03197 | 3.076 | 0.1786 | 0.001216 | 0.001705 | 1 | 1 | 0.001947 | 0.02268 | 0.242 | 0.002094 | 0.02439 | 0.2603 | json |
| t20_x4_u0_b6 | 20 | 4 | 0 | 6 | ![]() |
add(P,add(lrg(P,D),D)) | 160326 | 162573630 | o2(x,o2(o2(x,x),x)) | true | 162615 | 162615 | 0.04393 | 0.5313 | 0.9561 | 0.9396 | 0.9693 | -1 | 1 | 2 | 1 | 1.672 | 0.005077 | 0 | 0.01537 | 1 | 1 | 0 | 0.008131 | 0.01025 | 0.004839 | 0.06957 | 4.525 | 0.9369 | 0.005404 | 0.008654 | 1 | 1 | 0.008076 | 0.04532 | 0.258 | 0.008595 | 0.04823 | 0.2746 | json |
| t20_x4_u0_b7 | 20 | 4 | 0 | 7 | ![]() |
add(P,add(eql(P,D),D)) | 160327 | 162573631 | o2(x,o2(o2(x,x),x)) | true | 162623 | 162623 | 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_x4_u0_b8 | 20 | 4 | 0 | 8 | ![]() |
add(P,add(min(P,D),D)) | 160328 | 162573632 | o2(x,o2(o2(x,x),x)) | true | 162631 | 162631 | -0.02686 | 0.5 | 0.9465 | 0.9313 | 0.9651 | -1 | 1 | 2 | 1 | 1.649 | 0.0009417 | 0 | 0.007937 | 1 | 1 | 1.181e-10 | 0.0001593 | 0.002244 | 0.0008794 | 0.02965 | 3.736 | 0.173 | 0.001011 | 0.000171 | 1 | 1 | 0.002392 | 0.02817 | 0.2456 | 0.002569 | 0.03025 | 0.2637 | json |
| t20_x4_u0_b9 | 20 | 4 | 0 | 9 | ![]() |
add(P,add(dot(P,D),D)) | 160329 | 162573633 | o2(x,o2(o2(x,x),x)) | true | 162639 | 162639 | -0.0331 | 0.4836 | 0.9368 | 0.9148 | 0.9564 | -1 | 1 | 2 | 1 | 1.976 | 0.0007198 | 0.004119 | 0.02199 | -0.7025 | 1 | 0.0003519 | 0.001669 | 0.01166 | 0.004357 | 0.06601 | 3.002 | 0.45 | 0.005289 | 0.001825 | 1 | 1 | 0.007743 | 0.05914 | 0.2277 | 0.008464 | 0.06465 | 0.2489 | json |
| t20_x4_u0_b10 | 20 | 4 | 0 | 10 | ![]() |
add(P,add(dst(P,D),D)) | 160330 | 162573634 | o2(x,o2(o2(x,x),x)) | true | 162647 | 162647 | 0.895 | 0.9755 | 0.9011 | 0.07185 | 0.2681 | -0.2907 | 1 | 1.291 | 1 | 1.342 | 0.0009697 | 0.0003206 | 0.01387 | 0.5031 | 1 | -0.0001409 | 0.00027 | 0.005687 | 0.001097 | 0.03313 | 2.389 | 0.2235 | 0.01796 | 0.003758 | 1 | 1 | 0.002952 | 0.02269 | 0.05522 | 0.04108 | 0.3158 | 0.7686 | json |
| t20_x4_u0_b11 | 20 | 4 | 0 | 11 | ![]() |
add(P,sub(add(P,D),D)) | 160331 | 162573635 | o2(x,o2(o2(x,x),x)) | true | 162655 | 162655 | 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_x4_u0_b12 | 20 | 4 | 0 | 12 | ![]() |
add(P,sub(sub(P,D),D)) | 160332 | 162573636 | o2(x,o2(o2(x,x),x)) | true | 162663 | 162663 | 0 | 0.5 | 0.954 | 0.9459 | 0.9726 | -1 | 1 | 2 | 1 | 1.478 | 0.002438 | 0 | 0.01101 | 1 | 1 | 0 | 0.0006848 | 0.006181 | 0.002318 | 0.04814 | 4.374 | 0.3281 | 0.002577 | 0.000724 | 1 | 1 | 0.006013 | 0.04126 | 0.2639 | 0.006357 | 0.04362 | 0.279 | json |
| t20_x4_u0_b13 | 20 | 4 | 0 | 13 | ![]() |
add(P,sub(mlt(P,D),D)) | 160333 | 162573637 | o2(x,o2(o2(x,x),x)) | true | 162671 | 162671 | -0.01081 | 0.4922 | 0.9359 | 0.9228 | 0.9606 | -1 | 1 | 2 | 1 | 1.733 | 0.001412 | 0 | 0.01112 | 1 | 1 | 1.478e-9 | 0.000297 | 0.005012 | 0.001288 | 0.03589 | 3.229 | 0.2037 | 0.00153 | 0.0003218 | 1 | 1 | 0.003549 | 0.03388 | 0.2333 | 0.003846 | 0.03672 | 0.2528 | json |
| t20_x4_u0_b14 | 20 | 4 | 0 | 14 | ![]() |
add(P,sub(div(P,D),D)) | 160334 | 162573638 | o2(x,o2(o2(x,x),x)) | true | 162679 | 162679 | -0.1214 | 0.4219 | 0.9282 | 0.8975 | 0.9474 | -1 | 1 | 2 | 1 | 1.778 | 0.3841 | 0 | 0.2307 | 1 | 1 | -3.781e-9 | 0.7052 | 0.402 | 0.3309 | 0.5753 | 2.493 | 2 | 0.428 | 0.7857 | 1 | 1 | 0.4037 | 1.47 | 0.2307 | 0.4497 | 1.638 | 0.2571 | json |
| t20_x4_u0_b15 | 20 | 4 | 0 | 15 | ![]() |
add(P,sub(pow(P,D),D)) | 160335 | 162573639 | o2(x,o2(o2(x,x),x)) | true | 162687 | 162687 | -0.02447 | 0.4883 | 0.9769 | 0.9733 | 0.9866 | -1 | 1 | 2 | 1 | 1.255 | 0.004609 | 0 | 0.00827 | 1 | 1 | 0 | 0.008015 | 0.01023 | 0.004537 | 0.06736 | 8.145 | 0.9696 | 0.004736 | 0.008235 | 1 | 1 | 0.006911 | 0.04846 | 0.3011 | 0.007101 | 0.04979 | 0.3093 | json |
| t20_x4_u0_b16 | 20 | 4 | 0 | 16 | ![]() |
add(P,sub(mod(P,D),D)) | 160336 | 162573640 | o2(x,o2(o2(x,x),x)) | true | 162695 | 162695 | 0 | 0.5 | 0.9446 | 0.9343 | 0.9666 | -1 | 1 | 2 | 1 | 1.587 | 0.001705 | 0 | 0.01007 | 1 | 1 | 0 | 0.001387 | 0.009632 | 0.001603 | 0.04004 | 3.978 | 0.2551 | 0.001825 | 0.001485 | 1 | 1 | 0.003602 | 0.0334 | 0.2484 | 0.003855 | 0.03575 | 0.2658 | json |
| t20_x4_u0_b17 | 20 | 4 | 0 | 17 | ![]() |
add(P,sub(lrg(P,D),D)) | 160337 | 162573641 | o2(x,o2(o2(x,x),x)) | true | 162703 | 162703 | 0.03913 | 0.5195 | 0.9609 | 0.9488 | 0.9741 | -1 | 1 | 2 | 1 | 1.579 | 0.006998 | 0 | 0.01722 | 1 | 1 | -1.891e-9 | 0.008555 | 0.0136 | 0.006703 | 0.08187 | 4.756 | 1.03 | 0.007375 | 0.009016 | 1 | 1 | 0.01289 | 0.07591 | 0.2707 | 0.01358 | 0.08001 | 0.2853 | json |
| t20_x4_u0_b18 | 20 | 4 | 0 | 18 | ![]() |
add(P,sub(eql(P,D),D)) | 160338 | 162573642 | o2(x,o2(o2(x,x),x)) | true | 162711 | 162711 | 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_x4_u0_b19 | 20 | 4 | 0 | 19 | ![]() |
add(P,sub(min(P,D),D)) | 160339 | 162573643 | o2(x,o2(o2(x,x),x)) | true | 162719 | 162719 | -0.0212 | 0.4766 | 0.9448 | 0.9342 | 0.9665 | -1 | 1 | 2 | 1 | 1.592 | 0.001278 | 0 | 0.008956 | 1 | 1 | 1.183e-9 | 0.0002274 | 0.003653 | 0.001199 | 0.03462 | 3.866 | 0.2524 | 0.001368 | 0.0002434 | 1 | 1 | 0.00324 | 0.03174 | 0.2489 | 0.003469 | 0.03398 | 0.2664 | json |
| t20_x4_u0_b20 | 20 | 4 | 0 | 20 | ![]() |
add(P,sub(dot(P,D),D)) | 160340 | 162573644 | o2(x,o2(o2(x,x),x)) | true | 162727 | 162727 | -0.0303 | 0.4837 | 0.9368 | 0.9154 | 0.9568 | -1 | 1 | 2 | 1 | 1.981 | 0.001347 | 0.004121 | 0.02391 | -0.5073 | 1 | 0.0003474 | 0.002015 | 0.01293 | 0.004894 | 0.06995 | 2.926 | 0.4789 | 0.005973 | 0.002201 | 1 | 1 | 0.009321 | 0.06781 | 0.2274 | 0.01018 | 0.07407 | 0.2484 | json |
| t20_x4_u0_b21 | 20 | 4 | 0 | 21 | ![]() |
add(P,sub(dst(P,D),D)) | 160341 | 162573645 | o2(x,o2(o2(x,x),x)) | true | 162735 | 162735 | 0.8945 | 1 | 0.8945 | 0.06765 | 0.2601 | 0.000129 | 1 | 0.9999 | 1 | 1.279 | 0.00009414 | 0.0003175 | 0.00641 | -0.5426 | 1 | 5.257e-7 | 0.00009963 | 0.00255 | 0.0003709 | 0.01926 | 3.005 | 0.2725 | 0.006085 | 0.001473 | 1 | 1 | 0.001178 | 0.01034 | 0.05321 | 0.01741 | 0.1528 | 0.7865 | json |
| t20_x4_u0_b22 | 20 | 4 | 0 | 22 | ![]() |
add(P,mlt(add(P,D),D)) | 160342 | 162573646 | o2(x,o2(o2(x,x),x)) | true | 162743 | 162743 | -0.0006498 | 0.5078 | 0.9352 | 0.9198 | 0.9591 | -1 | 1 | 2 | 1 | 1.867 | 0.0007808 | 0 | 0.008863 | 1 | 1 | -9.461e-10 | 0.00009057 | 0.00287 | 0.0007025 | 0.0265 | 2.99 | 0.1451 | 0.0008489 | 0.00009847 | 1 | 1 | 0.002011 | 0.02416 | 0.2291 | 0.002186 | 0.02627 | 0.249 | json |
| t20_x4_u0_b23 | 20 | 4 | 0 | 23 | ![]() |
add(P,mlt(sub(P,D),D)) | 160343 | 162573647 | o2(x,o2(o2(x,x),x)) | true | 162751 | 162751 | -0.02762 | 0.4688 | 0.9359 | 0.9238 | 0.9612 | -1 | 1 | 2 | 1 | 1.646 | 0.001167 | 0 | 0.009394 | 1 | 1 | -1.183e-9 | 0.0001595 | 0.003723 | 0.001079 | 0.03285 | 3.497 | 0.1876 | 0.001264 | 0.0001726 | 1 | 1 | 0.002991 | 0.03179 | 0.2357 | 0.003237 | 0.03441 | 0.2552 | json |
| t20_x4_u0_b24 | 20 | 4 | 0 | 24 | ![]() |
add(P,mlt(mlt(P,D),D)) | 160344 | 162573648 | o2(x,o2(o2(x,x),x)) | true | 162759 | 162759 | 0 | 0.5 | 0.9449 | 0.9321 | 0.9654 | -1 | 1 | 2 | 1 | 1.748 | 0.0007429 | 0 | 0.007936 | 1 | 1 | 0 | 0.00003844 | 0.00193 | 0.0006803 | 0.02608 | 3.287 | 0.1221 | 0.0007971 | 0.00004124 | 1 | 1 | 0.001945 | 0.02554 | 0.2453 | 0.002087 | 0.02741 | 0.2632 | json |
| t20_x4_u0_b25 | 20 | 4 | 0 | 25 | ![]() |
add(P,mlt(div(P,D),D)) | 160345 | 162573649 | o2(x,o2(o2(x,x),x)) | true | 162767 | 162767 | 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_x4_u0_b26 | 20 | 4 | 0 | 26 | ![]() |
add(P,mlt(pow(P,D),D)) | 160346 | 162573650 | o2(x,o2(o2(x,x),x)) | true | 162775 | 162775 | -0.04019 | 0.4961 | 0.9598 | 0.9513 | 0.9754 | -1 | 1 | 2 | 1 | 1.444 | 0.004308 | 0 | 0.007936 | 1 | 1 | 4.734e-10 | 0.007949 | 0.008808 | 0.004244 | 0.06515 | 8.209 | 1 | 0.004529 | 0.008355 | 1 | 1 | 0.006157 | 0.03536 | 0.2732 | 0.006472 | 0.03717 | 0.2871 | json |
| t20_x4_u0_b27 | 20 | 4 | 0 | 27 | ![]() |
add(P,mlt(mod(P,D),D)) | 160347 | 162573651 | o2(x,o2(o2(x,x),x)) | true | 162783 | 162783 | -0.004019 | 0.5 | 0.9375 | 0.9242 | 0.9614 | -1 | 1 | 2 | 1 | 1.768 | 0.0008337 | 0 | 0.007937 | 1 | 1 | 1.774e-9 | 0.0003451 | 0.004382 | 0.0007712 | 0.02777 | 3.499 | 0.2105 | 0.000902 | 0.0003734 | 1 | 1 | 0.001983 | 0.02482 | 0.2348 | 0.002145 | 0.02685 | 0.254 | json |
| t20_x4_u0_b28 | 20 | 4 | 0 | 28 | ![]() |
add(P,mlt(lrg(P,D),D)) | 160348 | 162573652 | o2(x,o2(o2(x,x),x)) | true | 162791 | 162791 | -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_x4_u0_b29 | 20 | 4 | 0 | 29 | ![]() |
add(P,mlt(eql(P,D),D)) | 160349 | 162573653 | o2(x,o2(o2(x,x),x)) | true | 162799 | 162799 | 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_x4_u0_b30 | 20 | 4 | 0 | 30 | ![]() |
add(P,mlt(min(P,D),D)) | 160350 | 162573654 | o2(x,o2(o2(x,x),x)) | true | 162807 | 162807 | 0.0005119 | 0.5039 | 0.9444 | 0.932 | 0.9654 | -1 | 1 | 2 | 1 | 1.738 | 0.0008502 | 0 | 0.008516 | 1 | 1 | -4.967e-9 | 0.00009243 | 0.002886 | 0.0007776 | 0.02789 | 3.274 | 0.1422 | 0.0009122 | 0.00009918 | 1 | 1 | 0.002194 | 0.02676 | 0.2452 | 0.002354 | 0.02871 | 0.2631 | json |
| t20_x4_u0_b31 | 20 | 4 | 0 | 31 | ![]() |
add(P,mlt(dot(P,D),D)) | 160351 | 162573655 | o2(x,o2(o2(x,x),x)) | true | 162815 | 162815 | 1.164e-10 | 0.5 | 0.9446 | 0.9318 | 0.9653 | -1 | 1 | 2 | 1 | 1.772 | 0.0008345 | 0.00003938 | 0.008768 | 0.9099 | 1 | 0 | 0.000101 | 0.002696 | 0.0007967 | 0.02823 | 3.219 | 0.1853 | 0.0009379 | 0.0001084 | 1 | 1 | 0.002193 | 0.02692 | 0.2454 | 0.002354 | 0.02889 | 0.2634 | json |
| t20_x4_u0_b32 | 20 | 4 | 0 | 32 | ![]() |
add(P,mlt(dst(P,D),D)) | 160352 | 162573656 | o2(x,o2(o2(x,x),x)) | true | 162823 | 162823 | 6.985e-10 | 0.5 | 0.9316 | 0.9093 | 0.9536 | -1 | 1 | 2 | 1 | 2.015 | 0.003335 | 0.00001456 | 0.01693 | 0.9913 | 1 | -2.295e-10 | 0.0009439 | 0.008812 | 0.003065 | 0.05536 | 3.271 | 0.5018 | 0.003683 | 0.001038 | 1 | 1 | 0.004841 | 0.03741 | 0.2147 | 0.005324 | 0.04114 | 0.2362 | json |
| t20_x4_u0_b33 | 20 | 4 | 0 | 33 | ![]() |
add(P,div(add(P,D),D)) | 160353 | 162573657 | o2(x,o2(o2(x,x),x)) | true | 162831 | 162831 | 0.0003381 | 0.5039 | 0.9464 | 0.9262 | 0.9624 | -1 | 1 | 2 | 1 | 1.86 | 0.3658 | 0 | 0.2381 | 1 | 1 | -3.754e-12 | 0.6388 | 0.3908 | 0.309 | 0.5559 | 2.335 | 2 | 0.3949 | 0.6897 | 1 | 1 | 0.3992 | 1.526 | 0.2836 | 0.431 | 1.648 | 0.3062 | json |
| t20_x4_u0_b34 | 20 | 4 | 0 | 34 | ![]() |
add(P,div(sub(P,D),D)) | 160354 | 162573658 | o2(x,o2(o2(x,x),x)) | true | 162839 | 162839 | -0.2116 | 0.3945 | 0.984 | 0.9342 | 0.9665 | -1 | 1 | 2 | 1 | 1.219 | 0.4039 | 0 | 0.2222 | 1 | 1 | -3.781e-9 | 0.7695 | 0.4125 | 0.3545 | 0.5954 | 2.679 | 2 | 0.4323 | 0.8237 | 1 | 1 | 0.4032 | 1.415 | 0.2877 | 0.4316 | 1.514 | 0.3079 | json |
| t20_x4_u0_b35 | 20 | 4 | 0 | 35 | ![]() |
add(P,div(mlt(P,D),D)) | 160355 | 162573659 | o2(x,o2(o2(x,x),x)) | true | 162847 | 162847 | 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_x4_u0_b36 | 20 | 4 | 0 | 36 | ![]() |
add(P,div(div(P,D),D)) | 160356 | 162573660 | o2(x,o2(o2(x,x),x)) | true | 162855 | 162855 | 0 | 0.5 | 0.9644 | 0.9592 | 0.9794 | -1 | 1 | 2 | 1 | 1.379 | 0.001932 | 0 | 0.007936 | 1 | 1 | 0 | 0.0008066 | 0.005398 | 0.001868 | 0.04323 | 5.446 | 0.3407 | 0.002014 | 0.0008409 | 1 | 1 | 0.004589 | 0.03664 | 0.2818 | 0.004785 | 0.0382 | 0.2938 | json |
| t20_x4_u0_b37 | 20 | 4 | 0 | 37 | ![]() |
add(P,div(pow(P,D),D)) | 160357 | 162573661 | o2(x,o2(o2(x,x),x)) | true | 162863 | 162863 | -0.251 | 0.3594 | 0.958 | 0.8875 | 0.9421 | -1 | 1 | 2 | 1 | 1.384 | 0.1954 | 0 | 0.1178 | 1 | 1 | -0.006651 | 0.3547 | 0.2013 | 0.1814 | 0.4259 | 3.617 | 2 | 0.2201 | 0.3997 | 1 | 1 | 0.2082 | 0.4212 | 0.2305 | 0.2346 | 0.4745 | 0.2598 | json |
| t20_x4_u0_b38 | 20 | 4 | 0 | 38 | ![]() |
add(P,div(mod(P,D),D)) | 160358 | 162573662 | o2(x,o2(o2(x,x),x)) | true | 162871 | 162871 | -0.01375 | 0.5 | 0.9203 | 0.9038 | 0.9507 | -1 | 1 | 2 | 1 | 1.813 | 0.008285 | 0 | 0.02284 | 1 | 1 | -9.461e-10 | 0.02236 | 0.0393 | 0.007762 | 0.0881 | 3.858 | 0.6688 | 0.009167 | 0.02474 | 1 | 1 | 0.00715 | 0.03268 | 0.215 | 0.007911 | 0.03617 | 0.2379 | json |
| t20_x4_u0_b39 | 20 | 4 | 0 | 39 | ![]() |
add(P,div(lrg(P,D),D)) | 160359 | 162573663 | o2(x,o2(o2(x,x),x)) | true | 162879 | 162879 | -0.2812 | 0.3398 | 0.9531 | 0.8659 | 0.9306 | -1 | 1 | 2 | 1 | 1.407 | 0.1868 | 0 | 0.119 | 1 | 1 | -0.007937 | 0.3203 | 0.1921 | 0.1727 | 0.4156 | 3.491 | 2 | 0.2157 | 0.3699 | 1 | 1 | 0.2009 | 0.4897 | 0.2209 | 0.232 | 0.5655 | 0.2552 | json |
| t20_x4_u0_b40 | 20 | 4 | 0 | 40 | ![]() |
add(P,div(eql(P,D),D)) | 160360 | 162573664 | o2(x,o2(o2(x,x),x)) | true | 162887 | 162887 | 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_x4_u0_b41 | 20 | 4 | 0 | 41 | ![]() |
add(P,div(min(P,D),D)) | 160361 | 162573665 | o2(x,o2(o2(x,x),x)) | true | 162895 | 162895 | 0.363 | 0.6875 | 0.9511 | 0.8051 | 0.8973 | -1 | 1 | 2 | 1 | 1.589 | 0.1832 | 0 | 0.127 | 1 | 1 | -1.877e-12 | 0.3153 | 0.2018 | 0.1671 | 0.4088 | 3.22 | 2 | 0.2275 | 0.3916 | 1 | 1 | 0.2025 | 0.6908 | 0.173 | 0.2515 | 0.858 | 0.2149 | json |
| t20_x4_u0_b42 | 20 | 4 | 0 | 42 | ![]() |
add(P,div(dot(P,D),D)) | 160362 | 162573666 | o2(x,o2(o2(x,x),x)) | true | 162903 | 162903 | -3.492e-10 | 0.5 | 0.9723 | 0.9626 | 0.9811 | -1 | 1 | 2 | 1 | 1.518 | 0.2651 | 0.07192 | 0.1917 | 0.5732 | 1 | 1.915e-10 | 1.017 | 0.3533 | 0.3004 | 0.5481 | 2.859 | 2.828 | 0.3501 | 1.057 | 1 | 1 | 0.2825 | 0.5952 | 0.3259 | 0.2935 | 0.6183 | 0.3386 | json |
| t20_x4_u0_b43 | 20 | 4 | 0 | 43 | ![]() |
add(P,div(dst(P,D),D)) | 160363 | 162573667 | o2(x,o2(o2(x,x),x)) | true | 162911 | 162911 | -1.455e-11 | 0.5 | 0.9828 | 0.9764 | 0.9881 | -1 | 1 | 2 | 1 | 1.349 | 0.4461 | 0.00004194 | 0.2461 | 0.9998 | 1 | -9.011e-11 | 0.8481 | 0.4575 | 0.3856 | 0.6209 | 2.523 | 2 | 0.4569 | 0.8685 | 1 | 1 | 0.4601 | 1.834 | 0.02376 | 0.4712 | 1.878 | 0.02433 | json |
| t20_x4_u0_b44 | 20 | 4 | 0 | 44 | ![]() |
add(P,pow(add(P,D),D)) | 160364 | 162573668 | o2(x,o2(o2(x,x),x)) | true | 162919 | 162919 | -0.001384 | 0.5 | 0.9986 | 0.9974 | 0.9987 | -1 | 1 | 2 | 1 | 1.091 | 0.01445 | 0 | 0.008274 | 1 | 1 | 0 | 0.02952 | 0.0161 | 0.01438 | 0.1199 | 14.49 | 1.906 | 0.01449 | 0.0296 | 1 | 1 | 0.01876 | 0.08068 | 0.3333 | 0.01881 | 0.08089 | 0.3342 | json |
| t20_x4_u0_b45 | 20 | 4 | 0 | 45 | ![]() |
add(P,pow(sub(P,D),D)) | 160365 | 162573669 | o2(x,o2(o2(x,x),x)) | true | 162927 | 162927 | -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_x4_u0_b46 | 20 | 4 | 0 | 46 | ![]() |
add(P,pow(mlt(P,D),D)) | 160366 | 162573670 | o2(x,o2(o2(x,x),x)) | true | 162935 | 162935 | -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_x4_u0_b47 | 20 | 4 | 0 | 47 | ![]() |
add(P,pow(div(P,D),D)) | 160367 | 162573671 | o2(x,o2(o2(x,x),x)) | true | 162943 | 162943 | -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_x4_u0_b48 | 20 | 4 | 0 | 48 | ![]() |
add(P,pow(pow(P,D),D)) | 160368 | 162573672 | o2(x,o2(o2(x,x),x)) | true | 162951 | 162951 | -0.02152 | 0.5 | 0.9785 | 0.9739 | 0.9869 | -1 | 1 | 2 | 1 | 1.244 | 0.004625 | 0 | 0.007937 | 1 | 1 | -4.731e-10 | 0.007971 | 0.009631 | 0.00456 | 0.06753 | 8.509 | 1.001 | 0.004749 | 0.008185 | 1 | 1 | 0.006981 | 0.05009 | 0.3027 | 0.007168 | 0.05143 | 0.3108 | json |
| t20_x4_u0_b49 | 20 | 4 | 0 | 49 | ![]() |
add(P,pow(mod(P,D),D)) | 160369 | 162573673 | o2(x,o2(o2(x,x),x)) | true | 162959 | 162959 | -0.009308 | 0.5039 | 0.9829 | 0.9791 | 0.9895 | -1 | 1 | 2 | 1 | 1.23 | 0.03641 | 0 | 0.02381 | 1 | 1 | -1.89e-9 | 0.103 | 0.04094 | 0.03585 | 0.1893 | 7.952 | 2 | 0.03719 | 0.1052 | 1 | 1 | 0.0283 | 0.07695 | 0.3085 | 0.02891 | 0.0786 | 0.3151 | json |
| t20_x4_u0_b50 | 20 | 4 | 0 | 50 | ![]() |
add(P,pow(lrg(P,D),D)) | 160370 | 162573674 | o2(x,o2(o2(x,x),x)) | true | 162967 | 162967 | 0.916 | 0.9688 | 0.959 | 0.1085 | 0.3294 | -0.9994 | 1 | 1.999 | 1 | 0.7325 | 0.02189 | 0 | 0.0238 | 1 | 1 | 0 | 0.04028 | 0.02745 | 0.02133 | 0.146 | 6.137 | 1.999 | 0.2017 | 0.3711 | 1 | 1 | 0.03135 | 0.1182 | 0.1558 | 0.2888 | 1.089 | 1.436 | json |
| t20_x4_u0_b51 | 20 | 4 | 0 | 51 | ![]() |
add(P,pow(eql(P,D),D)) | 160371 | 162573675 | o2(x,o2(o2(x,x),x)) | true | 162975 | 162975 | 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_x4_u0_b52 | 20 | 4 | 0 | 52 | ![]() |
add(P,pow(min(P,D),D)) | 160372 | 162573676 | o2(x,o2(o2(x,x),x)) | true | 162983 | 162983 | -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_x4_u0_b53 | 20 | 4 | 0 | 53 | ![]() |
add(P,pow(dot(P,D),D)) | 160373 | 162573677 | o2(x,o2(o2(x,x),x)) | true | 162991 | 162991 | -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_x4_u0_b54 | 20 | 4 | 0 | 54 | ![]() |
add(P,pow(dst(P,D),D)) | 160374 | 162573678 | o2(x,o2(o2(x,x),x)) | true | 162999 | 162999 | 0.147 | 0.5671 | 0.9351 | 0.8978 | 0.9475 | -1 | 1 | 2 | 1 | 1.89 | 0.0009066 | 0.000006151 | 0.009295 | 0.9865 | 1 | -5.972e-7 | 0.0001136 | 0.003127 | 0.0008267 | 0.02875 | 3.093 | 0.1808 | 0.001017 | 0.0001265 | 1 | 1 | 0.002036 | 0.02468 | 0.2276 | 0.002268 | 0.02749 | 0.2535 | json |
| t20_x4_u0_b55 | 20 | 4 | 0 | 55 | ![]() |
add(P,mod(add(P,D),D)) | 160375 | 162573679 | o2(x,o2(o2(x,x),x)) | true | 163007 | 163007 | 0 | 0.5 | 0.9527 | 0.9419 | 0.9705 | -1 | 1 | 2 | 1 | 1.624 | 0.004045 | 0 | 0.01591 | 1 | 1 | 0 | 0.008371 | 0.02382 | 0.003794 | 0.0616 | 3.872 | 0.4315 | 0.004294 | 0.008887 | 1 | 1 | 0.005179 | 0.02933 | 0.2586 | 0.005498 | 0.03113 | 0.2745 | json |
| t20_x4_u0_b56 | 20 | 4 | 0 | 56 | ![]() |
add(P,mod(sub(P,D),D)) | 160376 | 162573680 | o2(x,o2(o2(x,x),x)) | true | 163015 | 163015 | 0 | 0.5 | 0.9428 | 0.9321 | 0.9655 | -1 | 1 | 2 | 1 | 1.624 | 0.002554 | 0 | 0.01353 | 1 | 1 | 0 | 0.004284 | 0.01549 | 0.002371 | 0.04869 | 3.598 | 0.2917 | 0.00274 | 0.004596 | 1 | 1 | 0.003933 | 0.03143 | 0.2454 | 0.00422 | 0.03372 | 0.2632 | json |
| t20_x4_u0_b57 | 20 | 4 | 0 | 57 | ![]() |
add(P,mod(mlt(P,D),D)) | 160377 | 162573681 | o2(x,o2(o2(x,x),x)) | true | 163023 | 163023 | -0.004806 | 0.5 | 0.9358 | 0.9221 | 0.9602 | -1 | 1 | 2 | 1 | 1.826 | 0.002437 | 0 | 0.01403 | 1 | 1 | -3.784e-9 | 0.004431 | 0.01877 | 0.002242 | 0.04735 | 3.375 | 0.3787 | 0.002643 | 0.004805 | 1 | 1 | 0.003528 | 0.02551 | 0.2321 | 0.003826 | 0.02767 | 0.2518 | json |
| t20_x4_u0_b58 | 20 | 4 | 0 | 58 | ![]() |
add(P,mod(div(P,D),D)) | 160378 | 162573682 | o2(x,o2(o2(x,x),x)) | true | 163031 | 163031 | -0.008129 | 0.5 | 0.9353 | 0.9209 | 0.9596 | -1 | 1 | 2 | 1 | 1.801 | 0.001181 | 0 | 0.008949 | 1 | 1 | 1.064e-9 | 0.001353 | 0.01028 | 0.0011 | 0.03317 | 3.707 | 0.2414 | 0.001282 | 0.001469 | 1 | 1 | 0.002235 | 0.02451 | 0.2306 | 0.002427 | 0.02662 | 0.2504 | json |
| t20_x4_u0_b59 | 20 | 4 | 0 | 59 | ![]() |
add(P,mod(pow(P,D),D)) | 160379 | 162573683 | o2(x,o2(o2(x,x),x)) | true | 163039 | 163039 | -0.02692 | 0.5 | 0.9731 | 0.9668 | 0.9832 | -1 | 1 | 2 | 1 | 1.309 | 0.004658 | 0 | 0.008414 | 1 | 1 | -4.731e-10 | 0.008574 | 0.0115 | 0.004588 | 0.06773 | 8.05 | 1 | 0.004818 | 0.008869 | 1 | 1 | 0.006669 | 0.04401 | 0.2934 | 0.006898 | 0.04552 | 0.3035 | json |
| t20_x4_u0_b60 | 20 | 4 | 0 | 60 | ![]() |
add(P,mod(mod(P,D),D)) | 160380 | 162573684 | o2(x,o2(o2(x,x),x)) | true | 163047 | 163047 | 0 | 0.5 | 0.9462 | 0.9355 | 0.9672 | -1 | 1 | 2 | 1 | 1.618 | 0.001374 | 0 | 0.008892 | 1 | 1 | 0 | 0.001385 | 0.007238 | 0.001294 | 0.03598 | 4.046 | 0.2043 | 0.001469 | 0.00148 | 1 | 1 | 0.002726 | 0.02808 | 0.2499 | 0.002914 | 0.03002 | 0.2672 | json |
| t20_x4_u0_b61 | 20 | 4 | 0 | 61 | ![]() |
add(P,mod(lrg(P,D),D)) | 160381 | 162573685 | o2(x,o2(o2(x,x),x)) | true | 163055 | 163055 | 0.009234 | 0.5156 | 0.9381 | 0.9267 | 0.9627 | -1 | 1 | 2 | 1 | 1.668 | 0.001427 | 0 | 0.00955 | 1 | 1 | 1.183e-9 | 0.001518 | 0.008543 | 0.001336 | 0.03655 | 3.827 | 0.2188 | 0.00154 | 0.001639 | 1 | 1 | 0.002778 | 0.02812 | 0.2383 | 0.002997 | 0.03035 | 0.2571 | json |
| t20_x4_u0_b62 | 20 | 4 | 0 | 62 | ![]() |
add(P,mod(eql(P,D),D)) | 160382 | 162573686 | o2(x,o2(o2(x,x),x)) | true | 163063 | 163063 | 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_x4_u0_b63 | 20 | 4 | 0 | 63 | ![]() |
add(P,mod(min(P,D),D)) | 160383 | 162573687 | o2(x,o2(o2(x,x),x)) | true | 163071 | 163071 | -0.01082 | 0.5 | 0.9418 | 0.9287 | 0.9637 | -1 | 1 | 2 | 1 | 1.751 | 0.00326 | 0 | 0.01472 | 1 | 1 | -4.731e-9 | 0.006662 | 0.02133 | 0.003042 | 0.05516 | 3.748 | 0.4315 | 0.003511 | 0.007173 | 1 | 1 | 0.004231 | 0.02595 | 0.2411 | 0.004556 | 0.02794 | 0.2596 | json |
| t20_x4_u0_b64 | 20 | 4 | 0 | 64 | ![]() |
add(P,mod(dot(P,D),D)) | 160384 | 162573688 | o2(x,o2(o2(x,x),x)) | true | 163079 | 163079 | -0.003582 | 0.4974 | 0.9374 | 0.9239 | 0.9612 | -1 | 1 | 2 | 1 | 1.838 | 0.001654 | 0.001199 | 0.01557 | 0.1595 | 1 | -0.00002381 | 0.00906 | 0.02568 | 0.002612 | 0.05111 | 3.284 | 0.5284 | 0.003089 | 0.009806 | 1 | 1 | 0.003679 | 0.02869 | 0.2353 | 0.003982 | 0.03105 | 0.2547 | json |
| t20_x4_u0_b65 | 20 | 4 | 0 | 65 | ![]() |
add(P,mod(dst(P,D),D)) | 160385 | 162573689 | o2(x,o2(o2(x,x),x)) | true | 163087 | 163087 | 0.01739 | 0.5153 | 0.9371 | 0.9232 | 0.9608 | -1 | 1 | 2 | 1 | 1.829 | 0.001758 | 0.0007301 | 0.01474 | 0.4131 | 1 | 0.00002035 | 0.007639 | 0.02418 | 0.002269 | 0.04764 | 3.233 | 0.5589 | 0.002695 | 0.008275 | 1 | 1 | 0.003426 | 0.02721 | 0.2345 | 0.003711 | 0.02947 | 0.254 | json |
| t20_x4_u0_b66 | 20 | 4 | 0 | 66 | ![]() |
add(P,lrg(add(P,D),D)) | 160386 | 162573690 | o2(x,o2(o2(x,x),x)) | true | 163095 | 163095 | 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_x4_u0_b67 | 20 | 4 | 0 | 67 | ![]() |
add(P,lrg(sub(P,D),D)) | 160387 | 162573691 | o2(x,o2(o2(x,x),x)) | true | 163103 | 163103 | 0.04098 | 0.5313 | 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_x4_u0_b68 | 20 | 4 | 0 | 68 | ![]() |
add(P,lrg(mlt(P,D),D)) | 160388 | 162573692 | o2(x,o2(o2(x,x),x)) | true | 163111 | 163111 | 0.05277 | 0.5313 | 0.9278 | 0.9071 | 0.9524 | -1 | 1 | 2 | 1 | 1.941 | 0.01034 | 0 | 0.02379 | 1 | 1 | 1.892e-9 | 0.01644 | 0.02044 | 0.009772 | 0.09885 | 4.155 | 0.9991 | 0.0114 | 0.01812 | 1 | 1 | 0.01652 | 0.07411 | 0.2176 | 0.01821 | 0.0817 | 0.2399 | json |
| t20_x4_u0_b69 | 20 | 4 | 0 | 69 | ![]() |
add(P,lrg(div(P,D),D)) | 160389 | 162573693 | o2(x,o2(o2(x,x),x)) | true | 163119 | 163119 | 0.05277 | 0.5313 | 0.9278 | 0.9071 | 0.9524 | -1 | 1 | 2 | 1 | 1.941 | 0.01034 | 0 | 0.02379 | 1 | 1 | 1.892e-9 | 0.01644 | 0.02044 | 0.009772 | 0.09885 | 4.155 | 0.9991 | 0.0114 | 0.01812 | 1 | 1 | 0.01652 | 0.07411 | 0.2176 | 0.01821 | 0.0817 | 0.2399 | json |
| t20_x4_u0_b70 | 20 | 4 | 0 | 70 | ![]() |
add(P,lrg(pow(P,D),D)) | 160390 | 162573694 | o2(x,o2(o2(x,x),x)) | true | 163127 | 163127 | 0.1035 | 0.5625 | 0.916 | 0.8884 | 0.9425 | -1 | 1 | 2 | 1 | 1.99 | 0.005319 | 0 | 0.01587 | 1 | 1 | 0 | 0.008252 | 0.01158 | 0.005063 | 0.07116 | 4.485 | 0.9991 | 0.005987 | 0.009289 | 1 | 1 | 0.008637 | 0.04222 | 0.2029 | 0.009722 | 0.04753 | 0.2283 | json |
| t20_x4_u0_b71 | 20 | 4 | 0 | 71 | ![]() |
add(P,lrg(mod(P,D),D)) | 160391 | 162573695 | o2(x,o2(o2(x,x),x)) | true | 163135 | 163135 | 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_x4_u0_b72 | 20 | 4 | 0 | 72 | ![]() |
add(P,lrg(lrg(P,D),D)) | 160392 | 162573696 | o2(x,o2(o2(x,x),x)) | true | 163143 | 163143 | 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_x4_u0_b73 | 20 | 4 | 0 | 73 | ![]() |
add(P,lrg(eql(P,D),D)) | 160393 | 162573697 | o2(x,o2(o2(x,x),x)) | true | 163151 | 163151 | 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_x4_u0_b74 | 20 | 4 | 0 | 74 | ![]() |
add(P,lrg(min(P,D),D)) | 160394 | 162573698 | o2(x,o2(o2(x,x),x)) | true | 163159 | 163159 | 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_x4_u0_b75 | 20 | 4 | 0 | 75 | ![]() |
add(P,lrg(dot(P,D),D)) | 160395 | 162573699 | o2(x,o2(o2(x,x),x)) | true | 163167 | 163167 | 0.05413 | 0.5266 | 0.9357 | 0.9137 | 0.9559 | -1 | 1 | 2 | 1 | 1.957 | 0.003766 | 0.005141 | 0.02244 | -0.1544 | 1 | -0.000004692 | 0.02365 | 0.02343 | 0.008409 | 0.0917 | 4.086 | 1.413 | 0.009749 | 0.02588 | 1 | 1 | 0.01402 | 0.06237 | 0.2313 | 0.01535 | 0.06826 | 0.2531 | json |
| t20_x4_u0_b76 | 20 | 4 | 0 | 76 | ![]() |
add(P,lrg(dst(P,D),D)) | 160396 | 162573700 | o2(x,o2(o2(x,x),x)) | true | 163175 | 163175 | 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_x4_u0_b77 | 20 | 4 | 0 | 77 | ![]() |
add(P,eql(add(P,D),D)) | 160397 | 162573701 | o2(x,o2(o2(x,x),x)) | true | 163183 | 163183 | 0.0625 | 0.5313 | 0.9806 | 0.969 | 0.9844 | -1 | 1 | 2 | 1 | 1.326 | 0.001412 | 0 | 0.007937 | 1 | 1 | 0 | 0.00006477 | 0.001855 | 0.001349 | 0.03673 | 4.628 | 0.2338 | 0.001457 | 0.00006684 | 1 | 1 | 0.003702 | 0.04857 | 0.3004 | 0.00382 | 0.05012 | 0.31 | json |
| t20_x4_u0_b78 | 20 | 4 | 0 | 78 | ![]() |
add(P,eql(sub(P,D),D)) | 160398 | 162573702 | o2(x,o2(o2(x,x),x)) | true | 163191 | 163191 | 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_x4_u0_b79 | 20 | 4 | 0 | 79 | ![]() |
add(P,eql(mlt(P,D),D)) | 160399 | 162573703 | o2(x,o2(o2(x,x),x)) | true | 163199 | 163199 | 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 |



































































































