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 | ||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| t12_x20_u1_b51 | 12 | 20 | 1 | 51 | ![]() |
log(pow(R,eql(P,R))) | 36300 | 98255484 | o1(o2(x,o2(x,x))) | true | 120247 | 120247 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t12_x20_u1_b52 | 12 | 20 | 1 | 52 | ![]() |
log(pow(R,min(P,R))) | 36301 | 98255485 | o1(o2(x,o2(x,x))) | true | 120255 | 120255 | -0.9297 | 0.03497 | 0.9871 | 0.1196 | 0.3459 | -1 | 1 | 2 | 1 | 0.3822 | 0.01302 | 0.01044 | 0.01411 | 0.1101 | 1 | -0.00001724 | 0.04881 | 0.02709 | 0.02328 | 0.1526 | 10.81 | 2.828 | 0.1961 | 0.408 | 1 | 1 | 0.01981 | 0.08705 | 0.2093 | 0.1656 | 0.7276 | 1.749 | json |
| t12_x20_u1_b53 | 12 | 20 | 1 | 53 | ![]() |
log(pow(R,dot(P,R))) | 36302 | 98255486 | o1(o2(x,o2(x,x))) | true | 120263 | 120263 | -0.9408 | 0.0303 | 0.9908 | 0.1026 | 0.3203 | -1 | 1 | 2 | 1 | 0.3496 | 0.01129 | 0.01087 | 0.01416 | 0.01925 | 1 | -0.00003515 | 0.04533 | 0.02485 | 0.02197 | 0.1482 | 10.47 | 2.828 | 0.216 | 0.442 | 1 | 1 | 0.0195 | 0.081 | 0.1818 | 0.1901 | 0.7898 | 1.773 | json |
| t12_x20_u1_b54 | 12 | 20 | 1 | 54 | ![]() |
log(pow(R,dst(P,R))) | 36303 | 98255487 | o1(o2(x,o2(x,x))) | true | 120271 | 120271 | -0.9991 | 0 | 0.9991 | 0.0003728 | 0.01931 | -1 | -0.2613 | 0.7387 | 1 | 0.03384 | 0.000111 | 0.0001096 | 0.0007008 | 0.006337 | 1 | 0.0000163 | 0.0004263 | 0.001025 | 0.0002201 | 0.01483 | 21.17 | 0.7388 | 0.5914 | 1.143 | 1 | 1 | 0.0002998 | 0.000947 | 0.001038 | 0.8041 | 2.54 | 2.784 | json |
| t12_x20_u1_b55 | 12 | 20 | 1 | 55 | ![]() |
log(mod(R,add(P,R))) | 36304 | 98255488 | o1(o2(x,o2(x,x))) | true | 120279 | 120279 | -0.9897 | 0 | 0.9897 | 0.006124 | 0.07825 | -1 | -0.05896 | 0.941 | 1 | 0.2297 | 0.0005781 | 0.0008921 | 0.003507 | -0.2135 | 1 | 0.00001706 | 0.002885 | 0.004692 | 0.001458 | 0.03818 | 10.89 | 0.941 | 0.2401 | 0.4711 | 1 | 1 | 0.001461 | 0.005934 | 0.009149 | 0.2386 | 0.9691 | 1.494 | json |
| t12_x20_u1_b56 | 12 | 20 | 1 | 56 | ![]() |
log(mod(R,sub(P,R))) | 36305 | 98255489 | o1(o2(x,o2(x,x))) | true | 120287 | 120287 | -0.9875 | 0 | 0.9875 | 0.007441 | 0.08626 | -1 | -0.05896 | 0.941 | 1 | 0.2677 | 0.0007567 | 0.0008874 | 0.003842 | -0.0795 | 1 | 0.00001706 | 0.003232 | 0.005151 | 0.00163 | 0.04037 | 10.51 | 0.941 | 0.221 | 0.4344 | 1 | 1 | 0.001767 | 0.007619 | 0.01411 | 0.2374 | 1.024 | 1.897 | json |
| t12_x20_u1_b57 | 12 | 20 | 1 | 57 | ![]() |
log(mod(R,mlt(P,R))) | 36306 | 98255490 | o1(o2(x,o2(x,x))) | true | 120295 | 120295 | -0.9875 | 0 | 0.9875 | 0.007441 | 0.08626 | -1 | -0.05896 | 0.941 | 1 | 0.2677 | 0.0007567 | 0.0008874 | 0.003842 | -0.0795 | 1 | 0.00001706 | 0.003232 | 0.005151 | 0.00163 | 0.04037 | 10.51 | 0.941 | 0.221 | 0.4344 | 1 | 1 | 0.001767 | 0.007619 | 0.01411 | 0.2374 | 1.024 | 1.897 | json |
| t12_x20_u1_b58 | 12 | 20 | 1 | 58 | ![]() |
log(mod(R,div(P,R))) | 36307 | 98255491 | o1(o2(x,o2(x,x))) | true | 120303 | 120303 | -0.9875 | 0 | 0.9875 | 0.007441 | 0.08626 | -1 | -0.05896 | 0.941 | 1 | 0.2677 | 0.0007567 | 0.0008874 | 0.003842 | -0.0795 | 1 | 0.00001706 | 0.003232 | 0.005151 | 0.00163 | 0.04037 | 10.51 | 0.941 | 0.221 | 0.4344 | 1 | 1 | 0.001767 | 0.007619 | 0.01411 | 0.2374 | 1.024 | 1.897 | json |
| t12_x20_u1_b59 | 12 | 20 | 1 | 59 | ![]() |
log(mod(R,pow(P,R))) | 36308 | 98255492 | o1(o2(x,o2(x,x))) | true | 120311 | 120311 | -0.9984 | 0 | 0.9984 | 0.00102 | 0.03194 | -1 | -0.07531 | 0.9247 | 1 | 0.04175 | 0.00001566 | 0.0000908 | 0.0003519 | -0.7058 | 1 | 0.00000472 | 0.0001855 | 0.0003575 | 0.0001063 | 0.01031 | 29.3 | 0.8956 | 0.1043 | 0.1817 | 1 | 1 | 0 | 0 | 0.0007799 | 0 | 0 | 0.7644 | json |
| t12_x20_u1_b60 | 12 | 20 | 1 | 60 | ![]() |
log(mod(R,mod(P,R))) | 36309 | 98255493 | o1(o2(x,o2(x,x))) | true | 120319 | 120319 | -1 | 0 | 1 | 5.16e-7 | 0.0007183 | -1 | -0.8772 | 0.1228 | 1 | 0.0007259 | 5.822e-7 | 5.578e-7 | 0.00001132 | 0.02141 | 0 | -7.509e-12 | 0.000003644 | 0.00002234 | 0.00000114 | 0.001068 | 94.31 | 0.1333 | 2.209 | 7.062 | 1 | 1 | 0.000001874 | 0.000001874 | 0.00000157 | 3.631 | 3.631 | 3.042 | json |
| t12_x20_u1_b61 | 12 | 20 | 1 | 61 | ![]() |
log(mod(R,lrg(P,R))) | 36310 | 98255494 | o1(o2(x,o2(x,x))) | true | 120327 | 120327 | -0.9984 | 0 | 0.9984 | 0.00102 | 0.03194 | -1 | -0.07531 | 0.9247 | 1 | 0.04175 | 0.00001566 | 0.0000908 | 0.0003519 | -0.7058 | 1 | 0.00000472 | 0.0001855 | 0.0003575 | 0.0001063 | 0.01031 | 29.3 | 0.8956 | 0.1043 | 0.1817 | 1 | 1 | 0 | 0 | 0.0007799 | 0 | 0 | 0.7644 | json |
| t12_x20_u1_b62 | 12 | 20 | 1 | 62 | ![]() |
log(mod(R,eql(P,R))) | 36311 | 98255495 | o1(o2(x,o2(x,x))) | true | 120335 | 120335 | -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 |
| t12_x20_u1_b63 | 12 | 20 | 1 | 63 | ![]() |
log(mod(R,min(P,R))) | 36312 | 98255496 | o1(o2(x,o2(x,x))) | true | 120343 | 120343 | -0.9891 | 0 | 0.9891 | 0.006459 | 0.08037 | -1 | -0.05896 | 0.941 | 1 | 0.2392 | 0.0007411 | 0.0007966 | 0.00349 | -0.03613 | 1 | 0.00001234 | 0.003047 | 0.004793 | 0.001527 | 0.03908 | 11.2 | 0.941 | 0.2381 | 0.4717 | 1 | 1 | 0.001767 | 0.007619 | 0.01333 | 0.2735 | 1.18 | 2.064 | json |
| t12_x20_u1_b64 | 12 | 20 | 1 | 64 | ![]() |
log(mod(R,dot(P,R))) | 36313 | 98255497 | o1(o2(x,o2(x,x))) | true | 120351 | 120351 | -0.9866 | 0 | 0.9866 | 0.008067 | 0.08982 | -1 | -0.05896 | 0.941 | 1 | 0.2791 | 0.0008111 | 0.001243 | 0.004572 | -0.2101 | 1 | 0.00001706 | 0.004076 | 0.006323 | 0.002032 | 0.04508 | 9.859 | 1.212 | 0.2546 | 0.5053 | 1 | 1 | 0.001571 | 0.006416 | 0.01024 | 0.1948 | 0.7953 | 1.269 | json |
| t12_x20_u1_b65 | 12 | 20 | 1 | 65 | ![]() |
log(mod(R,dst(P,R))) | 36314 | 98255498 | o1(o2(x,o2(x,x))) | true | 120359 | 120359 | -0.9838 | 0 | 0.9838 | 0.009626 | 0.09811 | -1 | -0.05896 | 0.941 | 1 | 0.3254 | 0.001056 | 0.001224 | 0.005061 | -0.07381 | 1 | 0.00001706 | 0.004529 | 0.00698 | 0.002254 | 0.04747 | 9.381 | 1.212 | 0.2369 | 0.4706 | 1 | 1 | 0.001967 | 0.008849 | 0.01618 | 0.2044 | 0.9193 | 1.681 | json |
| t12_x20_u1_b66 | 12 | 20 | 1 | 66 | ![]() |
log(lrg(R,add(P,R))) | 36315 | 98255499 | o1(o2(x,o2(x,x))) | true | 120367 | 120367 | -0.5625 | 0 | 0.5625 | 0.2461 | 0.4961 | -1 | 0 | 1 | 1 | 0.9887 | 0.003968 | 0 | 0.003968 | 1 | 1 | 0 | 0.007937 | 0.007937 | 0.003952 | 0.06287 | 15.84 | 1 | 0.01612 | 0.03225 | 1 | 1 | 0.005263 | 0.02105 | 0.08421 | 0.02139 | 0.08555 | 0.3422 | json |
| t12_x20_u1_b67 | 12 | 20 | 1 | 67 | ![]() |
log(lrg(R,sub(P,R))) | 36316 | 98255500 | o1(o2(x,o2(x,x))) | true | 120375 | 120375 | -0.5703 | 0 | 0.5703 | 0.245 | 0.495 | -1 | 0 | 1 | 1 | 0.9857 | 0.003968 | 0.003023 | 0.006955 | 0.1351 | 1 | 0 | 0.01449 | 0.01398 | 0.006946 | 0.08334 | 11.98 | 1.414 | 0.02854 | 0.05913 | 1 | 1 | 0.008587 | 0.03634 | 0.1192 | 0.03505 | 0.1483 | 0.4866 | json |
| t12_x20_u1_b68 | 12 | 20 | 1 | 68 | ![]() |
log(lrg(R,mlt(P,R))) | 36317 | 98255501 | o1(o2(x,o2(x,x))) | true | 120383 | 120383 | -0.9336 | 0 | 0.9336 | 0.06198 | 0.249 | -1 | 0 | 1 | 1 | 0.3524 | 0.005984 | 0.006551 | 0.01246 | -0.04523 | 1 | 0 | 0.02627 | 0.02507 | 0.01238 | 0.1113 | 8.931 | 1.414 | 0.2022 | 0.4238 | 1 | 1 | 0.01155 | 0.04945 | 0.1233 | 0.1864 | 0.7977 | 1.989 | json |
| t12_x20_u1_b69 | 12 | 20 | 1 | 69 | ![]() |
log(lrg(R,div(P,R))) | 36318 | 98255502 | o1(o2(x,o2(x,x))) | true | 120391 | 120391 | -0.9336 | 0 | 0.9336 | 0.06198 | 0.249 | -1 | 0 | 1 | 1 | 0.3524 | 0.005984 | 0.006551 | 0.01246 | -0.04523 | 1 | 0 | 0.02627 | 0.02507 | 0.01238 | 0.1113 | 8.931 | 1.414 | 0.2022 | 0.4238 | 1 | 1 | 0.01155 | 0.04945 | 0.1233 | 0.1864 | 0.7977 | 1.989 | json |
| t12_x20_u1_b70 | 12 | 20 | 1 | 70 | ![]() |
log(lrg(R,pow(P,R))) | 36319 | 98255503 | o1(o2(x,o2(x,x))) | true | 120399 | 120399 | -0.5469 | 0 | 0.5469 | 0.2476 | 0.4976 | -1 | 0 | 1 | 1 | 0.9937 | 0.003968 | 0.001512 | 0.005452 | 0.4483 | 1 | 0 | 0.01134 | 0.01096 | 0.005451 | 0.07383 | 13.54 | 1.414 | 0.02213 | 0.04579 | 1 | 1 | 0.007479 | 0.02992 | 0.1086 | 0.0302 | 0.1208 | 0.4385 | json |
| t12_x20_u1_b71 | 12 | 20 | 1 | 71 | ![]() |
log(lrg(R,mod(P,R))) | 36320 | 98255504 | o1(o2(x,o2(x,x))) | true | 120407 | 120407 | -0.957 | 0 | 0.957 | 0.04112 | 0.2028 | -1 | 0 | 1 | 1 | 0.2557 | 0.00422 | 0.004094 | 0.008259 | 0.01515 | 1 | 0 | 0.01738 | 0.01663 | 0.008241 | 0.09078 | 10.99 | 1.414 | 0.2022 | 0.4228 | 1 | 1 | 0.006357 | 0.02738 | 0.06893 | 0.1546 | 0.6659 | 1.676 | json |
| t12_x20_u1_b72 | 12 | 20 | 1 | 72 | ![]() |
log(lrg(R,lrg(P,R))) | 36321 | 98255505 | o1(o2(x,o2(x,x))) | true | 120415 | 120415 | -0.9648 | 0 | 0.9648 | 0.03391 | 0.1841 | -1 | 0 | 1 | 1 | 0.2196 | 0.003968 | 0.003149 | 0.007062 | 0.115 | 1 | 0 | 0.01493 | 0.01424 | 0.007073 | 0.0841 | 11.91 | 1.414 | 0.2099 | 0.4403 | 1 | 1 | 0.006136 | 0.02583 | 0.06206 | 0.181 | 0.7618 | 1.83 | json |
| t12_x20_u1_b73 | 12 | 20 | 1 | 73 | ![]() |
log(lrg(R,eql(P,R))) | 36322 | 98255506 | o1(o2(x,o2(x,x))) | true | 120423 | 120423 | -0.957 | 0 | 0.957 | 0.04112 | 0.2028 | -1 | 0 | 1 | 1 | 0.2557 | 0.00422 | 0.004094 | 0.008259 | 0.01515 | 1 | 0 | 0.01738 | 0.01663 | 0.008241 | 0.09078 | 10.99 | 1.414 | 0.2022 | 0.4228 | 1 | 1 | 0.006357 | 0.02738 | 0.06893 | 0.1546 | 0.6659 | 1.676 | json |
| t12_x20_u1_b74 | 12 | 20 | 1 | 74 | ![]() |
log(lrg(R,min(P,R))) | 36323 | 98255507 | o1(o2(x,o2(x,x))) | true | 120431 | 120431 | -0.5469 | 0 | 0.5469 | 0.2476 | 0.4976 | -1 | 0 | 1 | 1 | 0.9937 | 0.003968 | 0.001512 | 0.005452 | 0.4483 | 1 | 0 | 0.01134 | 0.01096 | 0.005451 | 0.07383 | 13.54 | 1.414 | 0.02213 | 0.04579 | 1 | 1 | 0.007479 | 0.02992 | 0.1086 | 0.0302 | 0.1208 | 0.4385 | json |
| t12_x20_u1_b75 | 12 | 20 | 1 | 75 | ![]() |
log(lrg(R,dot(P,R))) | 36324 | 98255508 | o1(o2(x,o2(x,x))) | true | 120439 | 120439 | -0.9023 | 0 | 0.9023 | 0.08815 | 0.2969 | -1 | 0 | 1 | 1 | 0.4615 | 0.004787 | 0.009259 | 0.01395 | -0.3184 | 1 | 0 | 0.02923 | 0.02809 | 0.01384 | 0.1177 | 8.432 | 1.414 | 0.1593 | 0.3316 | 1 | 1 | 0.01284 | 0.05464 | 0.1554 | 0.1457 | 0.6198 | 1.762 | json |
| t12_x20_u1_b76 | 12 | 20 | 1 | 76 | ![]() |
log(lrg(R,dst(P,R))) | 36325 | 98255509 | o1(o2(x,o2(x,x))) | true | 120447 | 120447 | -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 |
| t12_x20_u1_b77 | 12 | 20 | 1 | 77 | ![]() |
log(eql(R,add(P,R))) | 36326 | 98255510 | o1(o2(x,o2(x,x))) | true | 120455 | 120455 | -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 |
| t12_x20_u1_b78 | 12 | 20 | 1 | 78 | ![]() |
log(eql(R,sub(P,R))) | 36327 | 98255511 | o1(o2(x,o2(x,x))) | true | 120463 | 120463 | -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 |
| t12_x20_u1_b79 | 12 | 20 | 1 | 79 | ![]() |
log(eql(R,mlt(P,R))) | 36328 | 98255512 | o1(o2(x,o2(x,x))) | true | 120471 | 120471 | -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 |
| t12_x20_u1_b80 | 12 | 20 | 1 | 80 | ![]() |
log(eql(R,div(P,R))) | 36329 | 98255513 | o1(o2(x,o2(x,x))) | true | 120479 | 120479 | -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 |
| t12_x20_u1_b81 | 12 | 20 | 1 | 81 | ![]() |
log(eql(R,pow(P,R))) | 36330 | 98255514 | o1(o2(x,o2(x,x))) | true | 120487 | 120487 | -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 |
| t12_x20_u1_b82 | 12 | 20 | 1 | 82 | ![]() |
log(eql(R,mod(P,R))) | 36331 | 98255515 | o1(o2(x,o2(x,x))) | true | 120495 | 120495 | -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 |
| t12_x20_u1_b83 | 12 | 20 | 1 | 83 | ![]() |
log(eql(R,lrg(P,R))) | 36332 | 98255516 | o1(o2(x,o2(x,x))) | true | 120503 | 120503 | -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 |
| t12_x20_u1_b84 | 12 | 20 | 1 | 84 | ![]() |
log(eql(R,eql(P,R))) | 36333 | 98255517 | o1(o2(x,o2(x,x))) | true | 120511 | 120511 | -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 |
| t12_x20_u1_b85 | 12 | 20 | 1 | 85 | ![]() |
log(eql(R,min(P,R))) | 36334 | 98255518 | o1(o2(x,o2(x,x))) | true | 120519 | 120519 | -0.5391 | 0 | 0.5391 | 0.2487 | 0.4987 | -1 | 0 | 1 | 1 | 0.9956 | 0.003968 | 0.0007559 | 0.004715 | 0.68 | 1 | 0 | 0.009637 | 0.009448 | 0.004701 | 0.06856 | 14.54 | 1.414 | 0.019 | 0.03876 | 1 | 1 | 0.006593 | 0.02637 | 0.1017 | 0.02651 | 0.1061 | 0.4091 | json |
| t12_x20_u1_b86 | 12 | 20 | 1 | 86 | ![]() |
log(eql(R,dot(P,R))) | 36335 | 98255519 | o1(o2(x,o2(x,x))) | true | 120527 | 120527 | -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 |
| t12_x20_u1_b87 | 12 | 20 | 1 | 87 | ![]() |
log(eql(R,dst(P,R))) | 36336 | 98255520 | o1(o2(x,o2(x,x))) | true | 120535 | 120535 | -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 |
| t12_x20_u1_b88 | 12 | 20 | 1 | 88 | ![]() |
log(min(R,add(P,R))) | 36337 | 98255521 | o1(o2(x,o2(x,x))) | true | 120543 | 120543 | -0.9966 | 0 | 0.9966 | 0.002124 | 0.04608 | -1 | -0.07531 | 0.9247 | 1 | 0.07921 | 0.0001942 | 0.0002522 | 0.001007 | -0.1298 | 1 | 0.00000472 | 0.0008905 | 0.001386 | 0.0004455 | 0.02111 | 20.97 | 1.212 | 0.2102 | 0.4193 | 1 | 1 | 0.0000821 | 0.0005177 | 0.001788 | 0.03866 | 0.2438 | 0.8419 | json |
| t12_x20_u1_b89 | 12 | 20 | 1 | 89 | ![]() |
log(min(R,sub(P,R))) | 36338 | 98255522 | o1(o2(x,o2(x,x))) | true | 120551 | 120551 | -0.9984 | 0 | 0.9984 | 0.00102 | 0.03194 | -1 | -0.07531 | 0.9247 | 1 | 0.04175 | 0.00001566 | 0.0000908 | 0.0003519 | -0.7058 | 1 | 0.00000472 | 0.0001855 | 0.0003575 | 0.0001063 | 0.01031 | 29.3 | 0.8956 | 0.1043 | 0.1817 | 1 | 1 | 0 | 0 | 0.0007799 | 0 | 0 | 0.7644 | json |
| t12_x20_u1_b90 | 12 | 20 | 1 | 90 | ![]() |
log(min(R,mlt(P,R))) | 36339 | 98255523 | o1(o2(x,o2(x,x))) | true | 120559 | 120559 | -0.9984 | 0 | 0.9984 | 0.00102 | 0.03194 | -1 | -0.07531 | 0.9247 | 1 | 0.04175 | 0.00001566 | 0.0000908 | 0.0003519 | -0.7058 | 1 | 0.00000472 | 0.0001855 | 0.0003575 | 0.0001063 | 0.01031 | 29.3 | 0.8956 | 0.1043 | 0.1817 | 1 | 1 | 0 | 0 | 0.0007799 | 0 | 0 | 0.7644 | json |
| t12_x20_u1_b91 | 12 | 20 | 1 | 91 | ![]() |
log(min(R,div(P,R))) | 36340 | 98255524 | o1(o2(x,o2(x,x))) | true | 120567 | 120567 | -0.9984 | 0 | 0.9984 | 0.00102 | 0.03194 | -1 | -0.07531 | 0.9247 | 1 | 0.04175 | 0.00001566 | 0.0000908 | 0.0003519 | -0.7058 | 1 | 0.00000472 | 0.0001855 | 0.0003575 | 0.0001063 | 0.01031 | 29.3 | 0.8956 | 0.1043 | 0.1817 | 1 | 1 | 0 | 0 | 0.0007799 | 0 | 0 | 0.7644 | json |
| t12_x20_u1_b92 | 12 | 20 | 1 | 92 | ![]() |
log(min(R,pow(P,R))) | 36341 | 98255525 | o1(o2(x,o2(x,x))) | true | 120575 | 120575 | -0.9875 | 0 | 0.9875 | 0.007441 | 0.08626 | -1 | -0.05896 | 0.941 | 1 | 0.2677 | 0.0007567 | 0.0008874 | 0.003842 | -0.0795 | 1 | 0.00001706 | 0.003232 | 0.005151 | 0.00163 | 0.04037 | 10.51 | 0.941 | 0.221 | 0.4344 | 1 | 1 | 0.001767 | 0.007619 | 0.01411 | 0.2374 | 1.024 | 1.897 | json |
| t12_x20_u1_b93 | 12 | 20 | 1 | 93 | ![]() |
log(min(R,mod(P,R))) | 36342 | 98255526 | o1(o2(x,o2(x,x))) | true | 120583 | 120583 | -0.9996 | 0 | 0.9996 | 0.0001304 | 0.01142 | -1 | -0.5491 | 0.4509 | 1 | 0.01635 | 0.00001096 | 0.000008063 | 0.0001214 | 0.1522 | 0 | 0.00001269 | 0.00002277 | 0.0001129 | 0.000019 | 0.004359 | 35.9 | 0.4146 | 0.1459 | 0.1746 | 1 | 1 | 0 | 0 | 0.00008199 | 0 | 0 | 0.6288 | json |
| t12_x20_u1_b94 | 12 | 20 | 1 | 94 | ![]() |
log(min(R,lrg(P,R))) | 36343 | 98255527 | o1(o2(x,o2(x,x))) | true | 120591 | 120591 | -0.9984 | 0 | 0.9984 | 0.00102 | 0.03194 | -1 | -0.07531 | 0.9247 | 1 | 0.04175 | 0.00001566 | 0.0000908 | 0.0003519 | -0.7058 | 1 | 0.00000472 | 0.0001855 | 0.0003575 | 0.0001063 | 0.01031 | 29.3 | 0.8956 | 0.1043 | 0.1817 | 1 | 1 | 0 | 0 | 0.0007799 | 0 | 0 | 0.7644 | json |
| t12_x20_u1_b95 | 12 | 20 | 1 | 95 | ![]() |
log(min(R,eql(P,R))) | 36344 | 98255528 | o1(o2(x,o2(x,x))) | true | 120599 | 120599 | -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 |
| t12_x20_u1_b96 | 12 | 20 | 1 | 96 | ![]() |
log(min(R,min(P,R))) | 36345 | 98255529 | o1(o2(x,o2(x,x))) | true | 120607 | 120607 | -0.9984 | 0 | 0.9984 | 0.00102 | 0.03194 | -1 | -0.07531 | 0.9247 | 1 | 0.04175 | 0.00001566 | 0.0000908 | 0.0003519 | -0.7058 | 1 | 0.00000472 | 0.0001855 | 0.0003575 | 0.0001063 | 0.01031 | 29.3 | 0.8956 | 0.1043 | 0.1817 | 1 | 1 | 0 | 0 | 0.0007799 | 0 | 0 | 0.7644 | json |
| t12_x20_u1_b97 | 12 | 20 | 1 | 97 | ![]() |
log(min(R,dot(P,R))) | 36346 | 98255530 | o1(o2(x,o2(x,x))) | true | 120615 | 120615 | -0.9984 | 0 | 0.9984 | 0.00102 | 0.03194 | -1 | -0.07531 | 0.9247 | 1 | 0.04175 | 0.00001566 | 0.0000908 | 0.0003519 | -0.7058 | 1 | 0.00000472 | 0.0001855 | 0.0003575 | 0.0001063 | 0.01031 | 29.3 | 0.8956 | 0.1043 | 0.1817 | 1 | 1 | 0 | 0 | 0.0007799 | 0 | 0 | 0.7644 | json |
| t12_x20_u1_b98 | 12 | 20 | 1 | 98 | ![]() |
log(min(R,dst(P,R))) | 36347 | 98255531 | o1(o2(x,o2(x,x))) | true | 120623 | 120623 | -0.9838 | 0 | 0.9838 | 0.009626 | 0.09811 | -1 | -0.05896 | 0.941 | 1 | 0.3254 | 0.001056 | 0.001224 | 0.005061 | -0.07381 | 1 | 0.00001706 | 0.004529 | 0.00698 | 0.002254 | 0.04747 | 9.381 | 1.212 | 0.2369 | 0.4706 | 1 | 1 | 0.001967 | 0.008849 | 0.01618 | 0.2044 | 0.9193 | 1.681 | json |
| t12_x20_u1_b99 | 12 | 20 | 1 | 99 | ![]() |
log(dot(R,add(P,R))) | 36348 | 98255532 | o1(o2(x,o2(x,x))) | true | 120631 | 120631 | -0.8731 | 0.06694 | 0.967 | 0.1952 | 0.4418 | -1 | 1 | 2 | 1 | 0.7755 | 0.01902 | 0.01662 | 0.02604 | 0.06734 | 1 | -0.000001327 | 0.073 | 0.04284 | 0.03498 | 0.187 | 7.181 | 2.828 | 0.1826 | 0.374 | 1 | 1 | 0.04526 | 0.2047 | 0.5444 | 0.2319 | 1.049 | 2.789 | json |
| t12_x20_u1_b100 | 12 | 20 | 1 | 100 | ![]() |
log(dot(R,sub(P,R))) | 36349 | 98255533 | o1(o2(x,o2(x,x))) | true | 120639 | 120639 | -0.9794 | 0.01056 | 0.9989 | 0.03913 | 0.1978 | -1 | 1 | 2 | 1 | 0.1078 | 0.004136 | 0.004962 | 0.005164 | -0.09077 | 1 | -1.314e-10 | 0.01897 | 0.009517 | 0.009065 | 0.09521 | 18.44 | 2.828 | 0.2325 | 0.4847 | 1 | 1 | 0.01151 | 0.04678 | 0.09994 | 0.294 | 1.195 | 2.554 | json |
| t12_x20_u1_b101 | 12 | 20 | 1 | 101 | ![]() |
log(dot(R,mlt(P,R))) | 36350 | 98255534 | o1(o2(x,o2(x,x))) | true | 120647 | 120647 | -0.6118 | 0.2032 | 0.904 | 0.4997 | 0.7069 | -1 | 1 | 2 | 1 | 1.908 | 0.00974 | 0.01337 | 0.03395 | -0.1573 | 1 | -0.00003013 | 0.03964 | 0.02927 | 0.02196 | 0.1482 | 4.365 | 2.828 | 0.04625 | 0.07931 | 1 | 1 | 0.0237 | 0.1528 | 0.4967 | 0.04742 | 0.3058 | 0.9938 | json |
| t12_x20_u1_b102 | 12 | 20 | 1 | 102 | ![]() |
log(dot(R,div(P,R))) | 36351 | 98255535 | o1(o2(x,o2(x,x))) | true | 120655 | 120655 | -0.1901 | 0.4175 | 0.9686 | 0.9205 | 0.9594 | -1 | 1 | 2 | 1 | 1.544 | 0.0043 | 0.004713 | 0.01226 | -0.04577 | 1 | 0.00005113 | 0.01685 | 0.01465 | 0.008861 | 0.09413 | 7.676 | 2.394 | 0.009792 | 0.0183 | 1 | 1 | 0.01353 | 0.07581 | 0.5112 | 0.0147 | 0.08236 | 0.5554 | json |
| t12_x20_u1_b103 | 12 | 20 | 1 | 103 | ![]() |
log(dot(R,pow(P,R))) | 36352 | 98255536 | o1(o2(x,o2(x,x))) | true | 120663 | 120663 | -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 |
| t12_x20_u1_b104 | 12 | 20 | 1 | 104 | ![]() |
log(dot(R,mod(P,R))) | 36353 | 98255537 | o1(o2(x,o2(x,x))) | true | 120671 | 120671 | -0.9964 | 0.0001831 | 0.9965 | 0.002414 | 0.04913 | -1 | 0.06255 | 1.063 | 1 | 0.08157 | 0.000436 | 0.0003928 | 0.001537 | 0.05215 | 1 | -7.884e-11 | 0.001701 | 0.002325 | 0.0008269 | 0.02876 | 18.71 | 1.331 | 0.3434 | 0.7046 | 1 | 1 | 0.001095 | 0.004501 | 0.006591 | 0.4538 | 1.865 | 2.731 | json |
| t12_x20_u1_b105 | 12 | 20 | 1 | 105 | ![]() |
log(dot(R,lrg(P,R))) | 36354 | 98255538 | o1(o2(x,o2(x,x))) | true | 120679 | 120679 | -0.9965 | 0.0004883 | 0.9966 | 0.002452 | 0.04952 | -1 | 0.2306 | 1.231 | 1 | 0.07554 | 0.0003448 | 0.0004443 | 0.001356 | -0.1261 | 1 | 0 | 0.001629 | 0.002119 | 0.0007868 | 0.02805 | 20.69 | 1.231 | 0.3217 | 0.6642 | 1 | 1 | 0.001348 | 0.005189 | 0.00813 | 0.5496 | 2.116 | 3.315 | json |
| t12_x20_u1_b106 | 12 | 20 | 1 | 106 | ![]() |
log(dot(R,eql(P,R))) | 36355 | 98255539 | o1(o2(x,o2(x,x))) | true | 120687 | 120687 | -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 |
| t12_x20_u1_b107 | 12 | 20 | 1 | 107 | ![]() |
log(dot(R,min(P,R))) | 36356 | 98255540 | o1(o2(x,o2(x,x))) | true | 120695 | 120695 | -0.777 | 0.08119 | 0.8404 | 0.1934 | 0.4398 | -1 | 1 | 2 | 1 | 2.079 | 0.00916 | 0.01119 | 0.0294 | -0.0997 | 1 | 0.00006098 | 0.03881 | 0.02868 | 0.01948 | 0.1396 | 4.747 | 2.828 | 0.1052 | 0.2006 | 1 | 1 | 0.02096 | 0.1058 | 0.3125 | 0.1084 | 0.5471 | 1.615 | json |
| t12_x20_u1_b108 | 12 | 20 | 1 | 108 | ![]() |
log(dot(R,dot(P,R))) | 36357 | 98255541 | o1(o2(x,o2(x,x))) | true | 120703 | 120703 | -0.8229 | 0.09065 | 0.9708 | 0.2833 | 0.5323 | -1 | 1 | 2 | 1 | 0.8943 | 0.01813 | 0.01907 | 0.02929 | -0.02531 | 1 | -0.00001128 | 0.07363 | 0.04151 | 0.03634 | 0.1906 | 6.507 | 2.828 | 0.1313 | 0.2599 | 1 | 1 | 0.03368 | 0.1559 | 0.4062 | 0.1189 | 0.5503 | 1.434 | json |
| t12_x20_u1_b109 | 12 | 20 | 1 | 109 | ![]() |
log(dot(R,dst(P,R))) | 36358 | 98255542 | o1(o2(x,o2(x,x))) | true | 120711 | 120711 | -0.9097 | 0.04721 | 0.9847 | 0.1515 | 0.3893 | -1 | 1 | 2 | 1 | 0.5127 | 0.01562 | 0.01673 | 0.02066 | -0.03428 | 1 | 0.00001284 | 0.06721 | 0.0363 | 0.03189 | 0.1786 | 8.645 | 2.828 | 0.2135 | 0.4435 | 1 | 1 | 0.04728 | 0.2042 | 0.4227 | 0.312 | 1.348 | 2.79 | json |
| t12_x20_u1_b110 | 12 | 20 | 1 | 110 | ![]() |
log(dst(R,add(P,R))) | 36359 | 98255543 | o1(o2(x,o2(x,x))) | true | 120719 | 120719 | 0.944 | 0.9844 | 0.9752 | 0.07239 | 0.2691 | -1 | 1 | 2 | 1 | 0.7009 | 0.001465 | 0.001465 | 0.005009 | -7.548e-7 | 1 | 1.877e-10 | 0.005843 | 0.005405 | 0.002907 | 0.05392 | 10.76 | 1.904 | 0.04048 | 0.08071 | 1 | 1 | 0.005375 | 0.02798 | 0.1918 | 0.07424 | 0.3866 | 2.649 | json |
| t12_x20_u1_b111 | 12 | 20 | 1 | 111 | ![]() |
log(dst(R,sub(P,R))) | 36360 | 98255544 | o1(o2(x,o2(x,x))) | true | 120727 | 120727 | 0.9759 | 0.9991 | 0.976 | 0.01137 | 0.1066 | -0.1065 | 1 | 1.107 | 1 | 0.5906 | 0.0001184 | 0.0001685 | 0.004012 | -0.1748 | 1 | 1.877e-12 | 0.00005553 | 0.001466 | 0.0002705 | 0.01645 | 4.099 | 0.1607 | 0.02524 | 0.004886 | 1 | 1 | 0.00097 | 0.01092 | 0.03053 | 0.08535 | 0.961 | 2.686 | json |
| t12_x20_u1_b112 | 12 | 20 | 1 | 112 | ![]() |
log(dst(R,mlt(P,R))) | 36361 | 98255545 | o1(o2(x,o2(x,x))) | true | 120735 | 120735 | 0.7521 | 0.921 | 0.8009 | 0.1682 | 0.4102 | -1 | 1 | 2 | 1 | 2.786 | 0.001442 | 0.001658 | 0.02945 | -0.06981 | 1 | -0.00005219 | 0.0005231 | 0.009832 | 0.002233 | 0.04726 | 1.605 | 0.3575 | 0.01843 | 0.003109 | 1 | 1 | 0.005889 | 0.0716 | 0.2591 | 0.035 | 0.4256 | 1.54 | json |
| t12_x20_u1_b113 | 12 | 20 | 1 | 113 | ![]() |
log(dst(R,div(P,R))) | 36362 | 98255546 | o1(o2(x,o2(x,x))) | true | 120743 | 120743 | 0.9967 | 1 | 0.9967 | 0.001545 | 0.03931 | 0.1756 | 1 | 0.8244 | 1 | 0.11 | 0.00004455 | 0.0000483 | 0.0009143 | -0.04039 | 0 | 0 | 0.00003172 | 0.0004815 | 0.00009208 | 0.009596 | 10.5 | 0.1873 | 0.06009 | 0.02053 | 1 | 1 | 0.0003039 | 0.002907 | 0.005561 | 0.1966 | 1.881 | 3.599 | json |
| t12_x20_u1_b114 | 12 | 20 | 1 | 114 | ![]() |
log(dst(R,pow(P,R))) | 36363 | 98255547 | o1(o2(x,o2(x,x))) | true | 120751 | 120751 | -0.9734 | 0.01563 | 0.9953 | 0.04549 | 0.2133 | -1 | 1 | 2 | 1 | 0.1629 | 0.005011 | 0.005908 | 0.006427 | -0.08213 | 1 | -6.382e-11 | 0.02303 | 0.01236 | 0.01088 | 0.1043 | 16.23 | 2.828 | 0.24 | 0.5062 | 1 | 1 | 0.008454 | 0.03848 | 0.06146 | 0.1858 | 0.846 | 1.351 | json |
| t12_x20_u1_b115 | 12 | 20 | 1 | 115 | ![]() |
log(dst(R,mod(P,R))) | 36364 | 98255548 | o1(o2(x,o2(x,x))) | true | 120759 | 120759 | -0.05139 | 0.5066 | 0.2814 | 0.1311 | 0.3621 | -1 | 0.7667 | 1.767 | 1 | 4.419 | 0.001526 | 0.002195 | 0.04525 | -0.1796 | 1 | 0.00006935 | 0.0003799 | 0.01102 | 0.001674 | 0.04092 | 0.9042 | 0.3461 | 0.02838 | 0.002898 | 1 | 1 | 0.006158 | 0.07694 | 0.2121 | 0.04697 | 0.5868 | 1.617 | json |
| t12_x20_u1_b116 | 12 | 20 | 1 | 116 | ![]() |
log(dst(R,lrg(P,R))) | 36365 | 98255549 | o1(o2(x,o2(x,x))) | true | 120767 | 120767 | 0.4515 | 0.9146 | 0.5 | 0.107 | 0.327 | -1 | 1 | 2 | 1 | 4.26 | 0.001128 | 0.001253 | 0.03709 | -0.05284 | 1 | 0.00002588 | 0.0001472 | 0.008479 | 0.001006 | 0.03171 | 0.855 | 0.2278 | 0.02226 | 0.001376 | 1 | 1 | 0.005156 | 0.0659 | 0.1819 | 0.0482 | 0.6162 | 1.701 | json |
| t12_x20_u1_b117 | 12 | 20 | 1 | 117 | ![]() |
log(dst(R,eql(P,R))) | 36366 | 98255550 | o1(o2(x,o2(x,x))) | true | 120775 | 120775 | -0.07705 | 0.4672 | 0.2057 | 0.07215 | 0.2686 | -1 | 0.4433 | 1.443 | 1 | 3.97 | 0.0008163 | 0.001119 | 0.03282 | -0.1565 | 1 | 0.00001519 | 0.0001677 | 0.007841 | 0.0008586 | 0.0293 | 0.8929 | 0.2795 | 0.02683 | 0.002324 | 1 | 1 | 0.003218 | 0.04136 | 0.1159 | 0.0446 | 0.5732 | 1.607 | json |
| t12_x20_u1_b118 | 12 | 20 | 1 | 118 | ![]() |
log(dst(R,min(P,R))) | 36367 | 98255551 | o1(o2(x,o2(x,x))) | true | 120783 | 120783 | 0.3433 | 0.685 | 0.9175 | 0.7719 | 0.8786 | -1 | 1 | 2 | 1 | 2.117 | 0.00271 | 0.001794 | 0.01382 | 0.2034 | 1 | -0.000003364 | 0.00749 | 0.01096 | 0.004314 | 0.06568 | 4.751 | 1.67 | 0.005835 | 0.009703 | 1 | 1 | 0.007071 | 0.04755 | 0.2825 | 0.009161 | 0.0616 | 0.366 | json |
| t12_x20_u1_b119 | 12 | 20 | 1 | 119 | ![]() |
log(dst(R,dot(P,R))) | 36368 | 98255552 | o1(o2(x,o2(x,x))) | true | 120791 | 120791 | 0.8234 | 0.9568 | 0.8493 | 0.1219 | 0.3492 | -1 | 1 | 2 | 1 | 2.099 | 0.00226 | 0.002502 | 0.03116 | -0.05079 | 1 | -0.00005699 | 0.001181 | 0.01279 | 0.003792 | 0.06158 | 1.976 | 0.4253 | 0.03905 | 0.009686 | 1 | 1 | 0.0096 | 0.1035 | 0.2717 | 0.07873 | 0.8484 | 2.228 | json |
| t12_x20_u1_b120 | 12 | 20 | 1 | 120 | ![]() |
log(dst(R,dst(P,R))) | 36369 | 98255553 | o1(o2(x,o2(x,x))) | true | 120799 | 120799 | 0.9855 | 0.9973 | 0.9876 | 0.01009 | 0.1004 | -0.7236 | 1 | 1.724 | 1 | 0.3302 | 0.0001502 | 0.0001636 | 0.002637 | -0.04289 | 1 | 4.505e-11 | 0.00005018 | 0.0009122 | 0.0003071 | 0.01752 | 6.645 | 0.279 | 0.0311 | 0.004974 | 1 | 1 | 0.001069 | 0.01237 | 0.03094 | 0.106 | 1.226 | 3.067 | json |
| t12_x20_u2_b0 | 12 | 20 | 2 | 0 | ![]() |
frc(add(R,add(P,R))) | 36370 | 98255634 | o1(o2(x,o2(x,x))) | true | 120807 | 120807 | 0.5219 | 1 | 0.5219 | 0.04854 | 0.2203 | 0.002148 | 0.9943 | 0.9922 | 1 | 3.801 | 0.0006102 | 0.0006854 | 0.02919 | -0.05804 | 1 | -0.00001544 | 0.00007528 | 0.006666 | 0.0004434 | 0.02106 | 0.7214 | 0.1096 | 0.02669 | 0.001551 | 1 | 1 | 0.002627 | 0.03394 | 0.1051 | 0.05412 | 0.6992 | 2.166 | json |
| t12_x20_u2_b1 | 12 | 20 | 2 | 1 | ![]() |
frc(add(R,sub(P,R))) | 36371 | 98255635 | o1(o2(x,o2(x,x))) | true | 120815 | 120815 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t12_x20_u2_b2 | 12 | 20 | 2 | 2 | ![]() |
frc(add(R,mlt(P,R))) | 36372 | 98255636 | o1(o2(x,o2(x,x))) | true | 120823 | 120823 | 0.4817 | 0.9974 | 0.4817 | 0.06312 | 0.2512 | 0.00001367 | 0.9987 | 0.9987 | 1 | 3.934 | 0.0009011 | 0.0006267 | 0.03152 | 0.1796 | 1 | -0.000001339 | 0.00008689 | 0.007192 | 0.0005347 | 0.02312 | 0.7337 | 0.1168 | 0.02421 | 0.001377 | 1 | 1 | 0.002993 | 0.03875 | 0.1218 | 0.04741 | 0.614 | 1.929 | json |
| t12_x20_u2_b3 | 12 | 20 | 2 | 3 | ![]() |
frc(add(R,div(P,R))) | 36373 | 98255637 | o1(o2(x,o2(x,x))) | true | 120831 | 120831 | 0.485 | 1 | 0.485 | 0.05394 | 0.2322 | 0.003215 | 0.9988 | 0.9956 | 1 | 3.869 | 0.0007068 | 0.0008039 | 0.03164 | -0.06425 | 1 | 0.00001873 | 0.00008694 | 0.007158 | 0.0005099 | 0.02258 | 0.7138 | 0.1141 | 0.02801 | 0.001612 | 1 | 1 | 0.003081 | 0.03962 | 0.1011 | 0.05712 | 0.7346 | 1.875 | json |
| t12_x20_u2_b4 | 12 | 20 | 2 | 4 | ![]() |
frc(add(R,pow(P,R))) | 36374 | 98255638 | o1(o2(x,o2(x,x))) | true | 120839 | 120839 | -0.3234 | 0.4531 | 0.7704 | 0.574 | 0.7576 | -1 | 0.9924 | 1.992 | 1 | 2.71 | 0.01056 | 0.00413 | 0.02197 | 0.4376 | 1 | -0.000002786 | 0.02919 | 0.02045 | 0.01421 | 0.1192 | 5.426 | 2.646 | 0.02559 | 0.05086 | 1 | 1 | 0.02027 | 0.08943 | 0.2926 | 0.03532 | 0.1558 | 0.5097 | json |
| t12_x20_u2_b5 | 12 | 20 | 2 | 5 | ![]() |
frc(add(R,mod(P,R))) | 36375 | 98255639 | o1(o2(x,o2(x,x))) | true | 120847 | 120847 | 0.515 | 0.9995 | 0.515 | 0.06514 | 0.2552 | 8.665e-7 | 0.9988 | 0.9988 | 1 | 3.943 | 0.0007666 | 0.0007645 | 0.03169 | 0.00136 | 1 | 0.00001406 | 0.00009043 | 0.007257 | 0.0005271 | 0.02296 | 0.7246 | 0.1167 | 0.02351 | 0.001388 | 1 | 1 | 0.002945 | 0.03805 | 0.1035 | 0.04521 | 0.5841 | 1.588 | json |
| t12_x20_u2_b6 | 12 | 20 | 2 | 6 | ![]() |
frc(add(R,lrg(P,R))) | 36376 | 98255640 | o1(o2(x,o2(x,x))) | true | 120855 | 120855 | 0.5266 | 1 | 0.5266 | 0.05091 | 0.2256 | 0.001084 | 0.997 | 0.9959 | 1 | 3.815 | 0.0007236 | 0.0006853 | 0.03089 | 0.02719 | 1 | 0.00004432 | 0.00008334 | 0.007111 | 0.0004549 | 0.02133 | 0.6905 | 0.1132 | 0.02767 | 0.001637 | 1 | 1 | 0.002542 | 0.03267 | 0.08567 | 0.04993 | 0.6416 | 1.683 | json |
| t12_x20_u2_b7 | 12 | 20 | 2 | 7 | ![]() |
frc(add(R,eql(P,R))) | 36377 | 98255641 | o1(o2(x,o2(x,x))) | true | 120863 | 120863 | 0.5266 | 1 | 0.5266 | 0.05091 | 0.2256 | 0.001084 | 0.997 | 0.9959 | 1 | 3.815 | 0.0007236 | 0.0006853 | 0.03089 | 0.02719 | 1 | 0.00004432 | 0.00008334 | 0.007111 | 0.0004549 | 0.02133 | 0.6905 | 0.1132 | 0.02767 | 0.001637 | 1 | 1 | 0.002542 | 0.03267 | 0.08567 | 0.04993 | 0.6416 | 1.683 | json |
| t12_x20_u2_b8 | 12 | 20 | 2 | 8 | ![]() |
frc(add(R,min(P,R))) | 36378 | 98255642 | o1(o2(x,o2(x,x))) | true | 120871 | 120871 | 0.5231 | 1 | 0.5231 | 0.05072 | 0.2252 | 0.0011 | 0.9943 | 0.9932 | 1 | 3.821 | 0.0006688 | 0.0006944 | 0.03012 | -0.01879 | 1 | 0.00001666 | 0.00008018 | 0.0069 | 0.0004558 | 0.02135 | 0.7088 | 0.1132 | 0.02688 | 0.001581 | 1 | 1 | 0.002541 | 0.03276 | 0.09655 | 0.0501 | 0.6459 | 1.904 | json |
| t12_x20_u2_b9 | 12 | 20 | 2 | 9 | ![]() |
frc(add(R,dot(P,R))) | 36379 | 98255643 | o1(o2(x,o2(x,x))) | true | 120879 | 120879 | 0.4987 | 1 | 0.4987 | 0.05146 | 0.2269 | 0.00004961 | 0.9994 | 0.9994 | 1 | 3.843 | 0.0007036 | 0.0006561 | 0.02982 | 0.03498 | 1 | -0.00001668 | 0.00007962 | 0.006782 | 0.0004707 | 0.0217 | 0.7277 | 0.1124 | 0.02642 | 0.001547 | 1 | 1 | 0.002685 | 0.03447 | 0.1096 | 0.05216 | 0.6697 | 2.129 | json |
| t12_x20_u2_b10 | 12 | 20 | 2 | 10 | ![]() |
frc(add(R,dst(P,R))) | 36380 | 98255644 | o1(o2(x,o2(x,x))) | true | 120887 | 120887 | 0.4685 | 1 | 0.4685 | 0.05661 | 0.2379 | 0.006123 | 0.9967 | 0.9906 | 1 | 3.888 | 0.0006485 | 0.0006287 | 0.02928 | 0.01551 | 1 | -0.00003867 | 0.00007393 | 0.006669 | 0.0004199 | 0.02049 | 0.6998 | 0.1076 | 0.02256 | 0.001306 | 1 | 1 | 0.002357 | 0.03056 | 0.09831 | 0.04164 | 0.5397 | 1.737 | json |
| t12_x20_u2_b11 | 12 | 20 | 2 | 11 | ![]() |
frc(sub(R,add(P,R))) | 36381 | 98255645 | o1(o2(x,o2(x,x))) | true | 120895 | 120895 | 0.03125 | 0.1008 | 0.03125 | 0.01963 | 0.1401 | 0 | 0.9997 | 0.9997 | 1 | 0.594 | 0.0002841 | 0.0001947 | 0.005669 | 0.1867 | 1 | 0.000009264 | 0.0000278 | 0.001372 | 0.0004469 | 0.02114 | 3.729 | 0.1169 | 0.0244 | 0.001416 | 1 | 1 | 0.0007568 | 0.009872 | 0.02663 | 0.03856 | 0.503 | 1.357 | json |
| t12_x20_u2_b12 | 12 | 20 | 2 | 12 | ![]() |
frc(sub(R,sub(P,R))) | 36382 | 98255646 | o1(o2(x,o2(x,x))) | true | 120903 | 120903 | 0.5219 | 1 | 0.5219 | 0.04854 | 0.2203 | 0.002149 | 0.9943 | 0.9922 | 1 | 3.801 | 0.0006102 | 0.0006854 | 0.02919 | -0.05804 | 1 | -0.00001544 | 0.00007528 | 0.006666 | 0.0004434 | 0.02106 | 0.7214 | 0.1096 | 0.02669 | 0.001551 | 1 | 1 | 0.002627 | 0.03394 | 0.1051 | 0.05412 | 0.6992 | 2.166 | json |
| t12_x20_u2_b13 | 12 | 20 | 2 | 13 | ![]() |
frc(sub(R,mlt(P,R))) | 36383 | 98255647 | o1(o2(x,o2(x,x))) | true | 120911 | 120911 | 0.4953 | 0.9976 | 0.4953 | 0.05534 | 0.2352 | 0.00001277 | 0.9989 | 0.9988 | 1 | 3.851 | 0.0008682 | 0.0005665 | 0.03072 | 0.2103 | 1 | 0.000004448 | 0.00008221 | 0.007027 | 0.0004913 | 0.02217 | 0.7216 | 0.1168 | 0.02593 | 0.001486 | 1 | 1 | 0.002848 | 0.03672 | 0.1014 | 0.05146 | 0.6636 | 1.832 | json |
| t12_x20_u2_b14 | 12 | 20 | 2 | 14 | ![]() |
frc(sub(R,div(P,R))) | 36384 | 98255648 | o1(o2(x,o2(x,x))) | true | 120919 | 120919 | 0.4997 | 1 | 0.4997 | 0.04864 | 0.2205 | 0.00297 | 0.9997 | 0.9967 | 1 | 3.815 | 0.0006039 | 0.0008041 | 0.03086 | -0.1422 | 1 | 0.00003212 | 0.00008452 | 0.007149 | 0.0004559 | 0.02135 | 0.692 | 0.1115 | 0.02894 | 0.001737 | 1 | 1 | 0.002652 | 0.0341 | 0.09589 | 0.05451 | 0.701 | 1.971 | json |
| t12_x20_u2_b15 | 12 | 20 | 2 | 15 | ![]() |
frc(sub(R,pow(P,R))) | 36385 | 98255649 | o1(o2(x,o2(x,x))) | true | 120927 | 120927 | -0.2982 | 0.4531 | 0.7956 | 0.6329 | 0.7956 | -1 | 0.9862 | 1.986 | 1 | 2.778 | 0.01079 | 0.004411 | 0.02669 | 0.4197 | 1 | -0.00003868 | 0.02922 | 0.02164 | 0.01449 | 0.1204 | 4.511 | 2.646 | 0.02402 | 0.04617 | 1 | 1 | 0.02111 | 0.1016 | 0.361 | 0.03336 | 0.1605 | 0.5704 | json |
| t12_x20_u2_b16 | 12 | 20 | 2 | 16 | ![]() |
frc(sub(R,mod(P,R))) | 36386 | 98255650 | o1(o2(x,o2(x,x))) | true | 120935 | 120935 | 0.4814 | 0.9999 | 0.4814 | 0.05858 | 0.242 | 0.00008057 | 0.9989 | 0.9989 | 1 | 3.902 | 0.0008289 | 0.0008373 | 0.03393 | -0.005041 | 1 | 0.00003179 | 0.0001012 | 0.007884 | 0.000515 | 0.02269 | 0.6689 | 0.1158 | 0.02844 | 0.001728 | 1 | 1 | 0.003252 | 0.04163 | 0.1075 | 0.0555 | 0.7106 | 1.834 | json |
| t12_x20_u2_b17 | 12 | 20 | 2 | 17 | ![]() |
frc(sub(R,lrg(P,R))) | 36387 | 98255651 | o1(o2(x,o2(x,x))) | true | 120943 | 120943 | 0.5266 | 1 | 0.5266 | 0.05091 | 0.2256 | 0.001084 | 0.997 | 0.9959 | 1 | 3.815 | 0.0007236 | 0.0006853 | 0.03089 | 0.02719 | 1 | 0.00004432 | 0.00008334 | 0.007111 | 0.0004549 | 0.02133 | 0.6905 | 0.1132 | 0.02767 | 0.001637 | 1 | 1 | 0.002542 | 0.03267 | 0.08567 | 0.04993 | 0.6416 | 1.683 | json |
| t12_x20_u2_b18 | 12 | 20 | 2 | 18 | ![]() |
frc(sub(R,eql(P,R))) | 36388 | 98255652 | o1(o2(x,o2(x,x))) | true | 120951 | 120951 | 0.5266 | 1 | 0.5266 | 0.05091 | 0.2256 | 0.001084 | 0.997 | 0.9959 | 1 | 3.815 | 0.0007236 | 0.0006853 | 0.03089 | 0.02719 | 1 | 0.00004432 | 0.00008334 | 0.007111 | 0.0004549 | 0.02133 | 0.6905 | 0.1132 | 0.02767 | 0.001637 | 1 | 1 | 0.002542 | 0.03267 | 0.08567 | 0.04993 | 0.6416 | 1.683 | json |
| t12_x20_u2_b19 | 12 | 20 | 2 | 19 | ![]() |
frc(sub(R,min(P,R))) | 36389 | 98255653 | o1(o2(x,o2(x,x))) | true | 120959 | 120959 | 0.2634 | 0.5364 | 0.2634 | 0.09371 | 0.3061 | 0 | 0.9908 | 0.9908 | 1 | 2.92 | 0.0004762 | 0.0003754 | 0.01753 | 0.1184 | 1 | 0.00001495 | 0.00004973 | 0.004032 | 0.0005442 | 0.02333 | 1.331 | 0.1132 | 0.009087 | 0.0005307 | 1 | 1 | 0.001695 | 0.02172 | 0.06763 | 0.01809 | 0.2318 | 0.7217 | json |
| t12_x20_u2_b20 | 12 | 20 | 2 | 20 | ![]() |
frc(sub(R,dot(P,R))) | 36390 | 98255654 | o1(o2(x,o2(x,x))) | true | 120967 | 120967 | 0.488 | 1 | 0.488 | 0.05173 | 0.2274 | 0.0001128 | 0.9945 | 0.9944 | 1 | 3.848 | 0.000644 | 0.0009174 | 0.03252 | -0.1751 | 1 | 0.00001551 | 0.0000934 | 0.007466 | 0.0005039 | 0.02245 | 0.6903 | 0.1116 | 0.03018 | 0.001805 | 1 | 1 | 0.002994 | 0.03879 | 0.1078 | 0.05788 | 0.7498 | 2.084 | json |
| t12_x20_u2_b21 | 12 | 20 | 2 | 21 | ![]() |
frc(sub(R,dst(P,R))) | 36391 | 98255655 | o1(o2(x,o2(x,x))) | true | 120975 | 120975 | 0.5349 | 1 | 0.5349 | 0.05234 | 0.2288 | 0.001185 | 0.9977 | 0.9965 | 1 | 3.853 | 0.0005751 | 0.0006614 | 0.02799 | -0.0698 | 1 | -0.000002425 | 0.00007314 | 0.006433 | 0.000453 | 0.02128 | 0.7604 | 0.1111 | 0.02362 | 0.001397 | 1 | 1 | 0.002507 | 0.03251 | 0.09713 | 0.0479 | 0.6211 | 1.856 | json |
| t12_x20_u2_b22 | 12 | 20 | 2 | 22 | ![]() |
frc(mlt(R,add(P,R))) | 36392 | 98255656 | o1(o2(x,o2(x,x))) | true | 120983 | 120983 | 0.494 | 1 | 0.494 | 0.05382 | 0.232 | 0.0000828 | 0.999 | 0.9989 | 1 | 3.861 | 0.0007894 | 0.0007964 | 0.03263 | -0.004414 | 1 | 0.00002008 | 0.00009579 | 0.007584 | 0.0005213 | 0.02283 | 0.6998 | 0.1156 | 0.02947 | 0.00178 | 1 | 1 | 0.003258 | 0.04209 | 0.1122 | 0.06054 | 0.782 | 2.085 | json |
| t12_x20_u2_b23 | 12 | 20 | 2 | 23 | ![]() |
frc(mlt(R,sub(P,R))) | 36393 | 98255657 | o1(o2(x,o2(x,x))) | true | 120991 | 120991 | 0.4982 | 1 | 0.4982 | 0.052 | 0.228 | 0.002856 | 0.9997 | 0.9969 | 1 | 3.852 | 0.0007202 | 0.0007433 | 0.03086 | -0.01579 | 1 | 0.00001406 | 0.00008654 | 0.007117 | 0.0005114 | 0.02262 | 0.7329 | 0.1163 | 0.02815 | 0.001664 | 1 | 1 | 0.003026 | 0.03909 | 0.1074 | 0.05819 | 0.7519 | 2.066 | json |
| t12_x20_u2_b24 | 12 | 20 | 2 | 24 | ![]() |
frc(mlt(R,mlt(P,R))) | 36394 | 98255658 | o1(o2(x,o2(x,x))) | true | 120999 | 120999 | 0.4743 | 0.997 | 0.4743 | 0.06644 | 0.2578 | 1.332e-8 | 0.9998 | 0.9998 | 1 | 3.937 | 0.0009316 | 0.0007314 | 0.03332 | 0.1203 | 1 | 0.00001052 | 0.00009548 | 0.007616 | 0.0005531 | 0.02352 | 0.7059 | 0.1169 | 0.02503 | 0.001437 | 1 | 1 | 0.00329 | 0.0425 | 0.1127 | 0.04952 | 0.6397 | 1.696 | json |
| t12_x20_u2_b25 | 12 | 20 | 2 | 25 | ![]() |
frc(mlt(R,div(P,R))) | 36395 | 98255659 | o1(o2(x,o2(x,x))) | true | 121007 | 121007 | 0.1152 | 0.3551 | 0.1152 | 0.06389 | 0.2528 | 0 | 1 | 1 | 1 | 1.673 | 0.000862 | 0.0008616 | 0.02047 | 0.0002586 | 1 | 0.00001711 | 0.000103 | 0.004984 | 0.001305 | 0.03612 | 1.765 | 0.1169 | 0.02698 | 0.001612 | 1 | 1 | 0.003732 | 0.04794 | 0.1215 | 0.05841 | 0.7503 | 1.902 | json |
| t12_x20_u2_b26 | 12 | 20 | 2 | 26 | ![]() |
frc(mlt(R,pow(P,R))) | 36396 | 98255660 | o1(o2(x,o2(x,x))) | true | 121015 | 121015 | -0.2579 | 0.4529 | 0.8358 | 0.6847 | 0.8275 | -1 | 0.9971 | 1.997 | 1 | 2.609 | 0.009124 | 0.003113 | 0.01986 | 0.4912 | 1 | 0.000004209 | 0.0241 | 0.01836 | 0.01184 | 0.1088 | 5.478 | 2.646 | 0.01787 | 0.0352 | 1 | 1 | 0.01644 | 0.07359 | 0.2836 | 0.02401 | 0.1075 | 0.4142 | json |
| t12_x20_u2_b27 | 12 | 20 | 2 | 27 | ![]() |
frc(mlt(R,mod(P,R))) | 36397 | 98255661 | o1(o2(x,o2(x,x))) | true | 121023 | 121023 | 0.4851 | 0.9957 | 0.4851 | 0.1007 | 0.3174 | 7.615e-8 | 0.9999 | 0.9999 | 1 | 3.954 | 0.001249 | 0.001526 | 0.04258 | -0.09985 | 1 | 0.00002373 | 0.0001614 | 0.009961 | 0.0009623 | 0.03102 | 0.7285 | 0.1169 | 0.02755 | 0.001602 | 1 | 1 | 0.005378 | 0.06923 | 0.1866 | 0.05338 | 0.6872 | 1.852 | json |
| t12_x20_u2_b28 | 12 | 20 | 2 | 28 | ![]() |
frc(mlt(R,lrg(P,R))) | 36398 | 98255662 | o1(o2(x,o2(x,x))) | true | 121031 | 121031 | 0.2632 | 0.5433 | 0.2632 | 0.09188 | 0.3031 | 0 | 0.997 | 0.997 | 1 | 2.919 | 0.000413 | 0.0003448 | 0.01653 | 0.08994 | 1 | 0.00002937 | 0.00004373 | 0.003797 | 0.0004845 | 0.02201 | 1.332 | 0.1114 | 0.008247 | 0.000476 | 1 | 1 | 0.00139 | 0.0181 | 0.07016 | 0.01513 | 0.197 | 0.7636 | json |
| t12_x20_u2_b29 | 12 | 20 | 2 | 29 | ![]() |
frc(mlt(R,eql(P,R))) | 36399 | 98255663 | o1(o2(x,o2(x,x))) | true | 121039 | 121039 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |



































































































