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_x25_u1_b16 | 12 | 25 | 1 | 16 | ![]() |
log(sub(R,mod(R,D))) | 40500 | 98457454 | o1(o2(x,o2(x,x))) | true | 4007 | 4007 | -0.9999 | 0 | 0.9999 | 0.0000137 | 0.003702 | -1 | -0.7762 | 0.2238 | 1 | 0.006564 | 0.00001951 | 0.000001769 | 0.0001199 | 0.8337 | 0 | 0 | 0.00005814 | 0.000201 | 0.00002125 | 0.00461 | 38.43 | 0.2671 | 1.553 | 4.243 | 1 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t12_x25_u1_b17 | 12 | 25 | 1 | 17 | ![]() |
log(sub(R,lrg(R,D))) | 40501 | 98457455 | o1(o2(x,o2(x,x))) | true | 4015 | 4015 | -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_x25_u1_b18 | 12 | 25 | 1 | 18 | ![]() |
log(sub(R,eql(R,D))) | 40502 | 98457456 | o1(o2(x,o2(x,x))) | true | 4023 | 4023 | -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_x25_u1_b19 | 12 | 25 | 1 | 19 | ![]() |
log(sub(R,min(R,D))) | 40503 | 98457457 | o1(o2(x,o2(x,x))) | true | 4031 | 4031 | -0.9841 | 0 | 0.9841 | 0.008358 | 0.09142 | -1 | -0.07035 | 0.9297 | 1 | 0.3593 | 0.003799 | 0.001015 | 0.01052 | 0.5783 | 1 | 0.0001172 | 0.01104 | 0.01624 | 0.004704 | 0.06859 | 6.52 | 1.236 | 0.576 | 1.321 | 1 | 1 | 0.004694 | 0.01206 | 0.01606 | 0.5617 | 1.443 | 1.922 | json |
| t12_x25_u1_b20 | 12 | 25 | 1 | 20 | ![]() |
log(sub(R,dot(R,D))) | 40504 | 98457458 | o1(o2(x,o2(x,x))) | true | 4039 | 4039 | -0.9837 | 0.0007172 | 0.9838 | 0.009534 | 0.09764 | -1 | 0.1477 | 1.148 | 1 | 0.3458 | 0.002035 | 0.002021 | 0.008385 | 0.003364 | 1 | 0.0000337 | 0.01036 | 0.01294 | 0.003988 | 0.06315 | 7.532 | 1.461 | 0.4254 | 1.086 | 1 | 1 | 0.004507 | 0.01663 | 0.02499 | 0.4727 | 1.744 | 2.621 | json |
| t12_x25_u1_b21 | 12 | 25 | 1 | 21 | ![]() |
log(sub(R,dst(R,D))) | 40505 | 98457459 | o1(o2(x,o2(x,x))) | true | 4047 | 4047 | -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_x25_u1_b22 | 12 | 25 | 1 | 22 | ![]() |
log(mlt(R,add(R,D))) | 40506 | 98457460 | o1(o2(x,o2(x,x))) | true | 4055 | 4055 | -0.9486 | 0.006393 | 0.95 | 0.03247 | 0.1802 | -1 | 0.2689 | 1.269 | 1 | 0.867 | 0.00582 | 0.002955 | 0.02084 | 0.3264 | 1 | 0.00009554 | 0.01816 | 0.02768 | 0.008337 | 0.09131 | 4.381 | 1.46 | 0.2703 | 0.5595 | 1 | 1 | 0.009597 | 0.03517 | 0.06166 | 0.2956 | 1.083 | 1.899 | json |
| t12_x25_u1_b23 | 12 | 25 | 1 | 23 | ![]() |
log(mlt(R,sub(R,D))) | 40507 | 98457461 | o1(o2(x,o2(x,x))) | true | 4063 | 4063 | -0.9369 | 0.003601 | 0.9373 | 0.03607 | 0.1899 | -1 | 0.2014 | 1.201 | 1 | 1.057 | 0.006703 | 0.003261 | 0.02486 | 0.3455 | 1 | 0.00004058 | 0.02013 | 0.03266 | 0.009342 | 0.09665 | 3.889 | 1.37 | 0.2763 | 0.5581 | 1 | 1 | 0.01037 | 0.04071 | 0.06098 | 0.2875 | 1.129 | 1.691 | json |
| t12_x25_u1_b24 | 12 | 25 | 1 | 24 | ![]() |
log(mlt(R,mlt(R,D))) | 40508 | 98457462 | o1(o2(x,o2(x,x))) | true | 4071 | 4071 | -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_x25_u1_b25 | 12 | 25 | 1 | 25 | ![]() |
log(mlt(R,div(R,D))) | 40509 | 98457463 | o1(o2(x,o2(x,x))) | true | 4079 | 4079 | -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_x25_u1_b26 | 12 | 25 | 1 | 26 | ![]() |
log(mlt(R,pow(R,D))) | 40510 | 98457464 | o1(o2(x,o2(x,x))) | true | 4087 | 4087 | -0.9836 | 0 | 0.9836 | 0.009926 | 0.09963 | -1 | -0.05246 | 0.9475 | 1 | 0.3179 | 0.001079 | 0.001307 | 0.005264 | -0.09563 | 1 | 0.00001838 | 0.00471 | 0.007248 | 0.00236 | 0.04858 | 9.228 | 1.218 | 0.2404 | 0.4745 | 1 | 1 | 0.00208 | 0.009268 | 0.01621 | 0.2096 | 0.9337 | 1.633 | json |
| t12_x25_u1_b27 | 12 | 25 | 1 | 27 | ![]() |
log(mlt(R,mod(R,D))) | 40511 | 98457465 | o1(o2(x,o2(x,x))) | true | 4095 | 4095 | -1 | 0 | 1 | 0.000001483 | 0.001218 | -1 | -0.8788 | 0.1212 | 1 | 0.001763 | 0.000003059 | 2.453e-7 | 0.00004237 | 0.8515 | 0 | 4.47e-8 | 0.00001037 | 0.00008469 | 0.000003301 | 0.001817 | 42.88 | 0.1213 | 2.228 | 6.994 | 1 | 1 | 6.079e-7 | 8.735e-7 | 0.000001954 | 0.41 | 0.5892 | 1.318 | json |
| t12_x25_u1_b28 | 12 | 25 | 1 | 28 | ![]() |
log(mlt(R,lrg(R,D))) | 40512 | 98457466 | o1(o2(x,o2(x,x))) | true | 4103 | 4103 | -0.9929 | 0 | 0.9929 | 0.004279 | 0.06542 | -1 | -0.05896 | 0.941 | 1 | 0.1577 | 0.000969 | 0.0005687 | 0.002995 | 0.2603 | 1 | 0.00000623 | 0.003268 | 0.004955 | 0.001528 | 0.03909 | 13.05 | 1.248 | 0.3593 | 0.7637 | 1 | 1 | 0.00124 | 0.004889 | 0.00616 | 0.2898 | 1.142 | 1.44 | json |
| t12_x25_u1_b29 | 12 | 25 | 1 | 29 | ![]() |
log(mlt(R,eql(R,D))) | 40513 | 98457467 | o1(o2(x,o2(x,x))) | true | 4111 | 4111 | -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_x25_u1_b30 | 12 | 25 | 1 | 30 | ![]() |
log(mlt(R,min(R,D))) | 40514 | 98457468 | o1(o2(x,o2(x,x))) | true | 4119 | 4119 | -0.971 | 0 | 0.971 | 0.01718 | 0.1311 | -1 | -0.002158 | 0.9978 | 1 | 0.5241 | 0.001524 | 0.002141 | 0.009386 | -0.1684 | 1 | 0.000006622 | 0.0067 | 0.01201 | 0.003578 | 0.05982 | 6.373 | 1.411 | 0.2132 | 0.3899 | 1 | 1 | 0.003724 | 0.01742 | 0.03193 | 0.2167 | 1.014 | 1.858 | json |
| t12_x25_u1_b31 | 12 | 25 | 1 | 31 | ![]() |
log(mlt(R,dot(R,D))) | 40515 | 98457469 | o1(o2(x,o2(x,x))) | true | 4127 | 4127 | -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_x25_u1_b32 | 12 | 25 | 1 | 32 | ![]() |
log(mlt(R,dst(R,D))) | 40516 | 98457470 | o1(o2(x,o2(x,x))) | true | 4135 | 4135 | -0.9821 | 0.003235 | 0.983 | 0.01349 | 0.1161 | -1 | 0.3185 | 1.318 | 1 | 0.3043 | 0.001511 | 0.00171 | 0.005906 | -0.06171 | 1 | 0.00003055 | 0.006295 | 0.007804 | 0.003188 | 0.05646 | 9.559 | 1.68 | 0.2388 | 0.4667 | 1 | 1 | 0.002725 | 0.01277 | 0.02412 | 0.202 | 0.9467 | 1.788 | json |
| t12_x25_u1_b33 | 12 | 25 | 1 | 33 | ![]() |
log(div(R,add(R,D))) | 40517 | 98457471 | o1(o2(x,o2(x,x))) | true | 4143 | 4143 | -0.7128 | 0.1421 | 0.8274 | 0.2798 | 0.5289 | -1 | 1 | 2 | 1 | 2.134 | 0.1388 | 0.02266 | 0.1355 | 0.7194 | 1 | 0.000452 | 0.3594 | 0.2273 | 0.1432 | 0.3784 | 2.793 | 2.828 | 0.5773 | 1.285 | 1 | 1 | 0.161 | 0.4168 | 0.5507 | 0.5757 | 1.49 | 1.968 | json |
| t12_x25_u1_b34 | 12 | 25 | 1 | 34 | ![]() |
log(div(R,sub(R,D))) | 40518 | 98457472 | o1(o2(x,o2(x,x))) | true | 4151 | 4151 | -0.7083 | 0.1425 | 0.8117 | 0.2661 | 0.5159 | -1 | 1 | 2 | 1 | 2.22 | 0.1197 | 0.02074 | 0.1247 | 0.7047 | 1 | -0.000351 | 0.3179 | 0.208 | 0.1249 | 0.3534 | 2.834 | 2.828 | 0.5276 | 1.194 | 1 | 1 | 0.1315 | 0.3837 | 0.5375 | 0.4939 | 1.442 | 2.02 | json |
| t12_x25_u1_b35 | 12 | 25 | 1 | 35 | ![]() |
log(div(R,mlt(R,D))) | 40519 | 98457473 | o1(o2(x,o2(x,x))) | true | 4159 | 4159 | -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_x25_u1_b36 | 12 | 25 | 1 | 36 | ![]() |
log(div(R,div(R,D))) | 40520 | 98457474 | o1(o2(x,o2(x,x))) | true | 4167 | 4167 | -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_x25_u1_b37 | 12 | 25 | 1 | 37 | ![]() |
log(div(R,pow(R,D))) | 40521 | 98457475 | o1(o2(x,o2(x,x))) | true | 4175 | 4175 | -0.9835 | 0 | 0.9835 | 0.01004 | 0.1002 | -1 | -0.05078 | 0.9492 | 1 | 0.3234 | 0.001077 | 0.00123 | 0.005177 | -0.0664 | 1 | 0.00001509 | 0.004546 | 0.007053 | 0.002281 | 0.04776 | 9.225 | 1.206 | 0.2299 | 0.453 | 1 | 1 | 0.001963 | 0.009116 | 0.01729 | 0.1957 | 0.9084 | 1.723 | json |
| t12_x25_u1_b38 | 12 | 25 | 1 | 38 | ![]() |
log(div(R,mod(R,D))) | 40522 | 98457476 | o1(o2(x,o2(x,x))) | true | 4183 | 4183 | 0.8045 | 0.9685 | 0.8045 | 0.11 | 0.3317 | -5.96e-8 | 1 | 1 | 1 | 2.124 | 0.05943 | 0.002442 | 0.1127 | 0.9211 | 1 | 0.0004499 | 0.1424 | 0.1992 | 0.04915 | 0.2217 | 1.966 | 1.019 | 0.5623 | 1.294 | 1 | 1 | 0.05305 | 0.1319 | 0.1797 | 0.4821 | 1.199 | 1.633 | json |
| t12_x25_u1_b39 | 12 | 25 | 1 | 39 | ![]() |
log(div(R,lrg(R,D))) | 40523 | 98457477 | o1(o2(x,o2(x,x))) | true | 4191 | 4191 | -0.9929 | 0 | 0.9929 | 0.004279 | 0.06542 | -1 | -0.05896 | 0.941 | 1 | 0.1577 | 0.000969 | 0.0005687 | 0.002995 | 0.2603 | 1 | 0.00000623 | 0.003268 | 0.004955 | 0.001528 | 0.03909 | 13.05 | 1.248 | 0.3593 | 0.7637 | 1 | 1 | 0.00124 | 0.004889 | 0.00616 | 0.2898 | 1.142 | 1.44 | json |
| t12_x25_u1_b40 | 12 | 25 | 1 | 40 | ![]() |
log(div(R,eql(R,D))) | 40524 | 98457478 | o1(o2(x,o2(x,x))) | true | 4199 | 4199 | -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_x25_u1_b41 | 12 | 25 | 1 | 41 | ![]() |
log(div(R,min(R,D))) | 40525 | 98457479 | o1(o2(x,o2(x,x))) | true | 4207 | 4207 | -0.7393 | 0.07285 | 0.8012 | 0.2382 | 0.4881 | -1 | 1 | 2 | 1 | 1.664 | 0.04726 | 0.01926 | 0.06125 | 0.4209 | 1 | 0.00002865 | 0.139 | 0.1001 | 0.06275 | 0.2505 | 4.09 | 2.181 | 0.2793 | 0.5837 | 1 | 1 | 0.06977 | 0.2413 | 0.4574 | 0.2929 | 1.013 | 1.92 | json |
| t12_x25_u1_b42 | 12 | 25 | 1 | 42 | ![]() |
log(div(R,dot(R,D))) | 40526 | 98457480 | o1(o2(x,o2(x,x))) | true | 4215 | 4215 | -0.9293 | 0.03633 | 0.9922 | 0.126 | 0.3549 | -1 | 1 | 2 | 1 | 0.3533 | 0.07512 | 0.04208 | 0.05912 | 0.2819 | 1 | 0.00009448 | 0.3918 | 0.1222 | 0.1137 | 0.3371 | 5.702 | 2.828 | 0.9305 | 3.111 | 1 | 1 | 0.09852 | 0.2174 | 0.2253 | 0.7822 | 1.726 | 1.789 | json |
| t12_x25_u1_b43 | 12 | 25 | 1 | 43 | ![]() |
log(div(R,dst(R,D))) | 40527 | 98457481 | o1(o2(x,o2(x,x))) | true | 4223 | 4223 | -0.9836 | 0 | 0.9836 | 0.009177 | 0.0958 | -1 | -0.02358 | 0.9764 | 1 | 0.3412 | 0.001148 | 0.001215 | 0.005668 | -0.02867 | 1 | 0.000002963 | 0.00468 | 0.007712 | 0.00233 | 0.04827 | 8.516 | 0.976 | 0.2575 | 0.5099 | 1 | 1 | 0.001948 | 0.007985 | 0.01404 | 0.2123 | 0.8702 | 1.53 | json |
| t12_x25_u1_b44 | 12 | 25 | 1 | 44 | ![]() |
log(pow(R,add(R,D))) | 40528 | 98457482 | o1(o2(x,o2(x,x))) | true | 4231 | 4231 | -0.9682 | 0.00174 | 0.9685 | 0.02378 | 0.1542 | -1 | 0.1937 | 1.194 | 1 | 0.4037 | 0.002426 | 0.002309 | 0.007531 | 0.02472 | 1 | 0.00001407 | 0.009731 | 0.01267 | 0.00468 | 0.06841 | 9.084 | 1.245 | 0.1991 | 0.4092 | 1 | 1 | 0.00362 | 0.01561 | 0.03711 | 0.1522 | 0.6561 | 1.56 | json |
| t12_x25_u1_b45 | 12 | 25 | 1 | 45 | ![]() |
log(pow(R,sub(R,D))) | 40529 | 98457483 | o1(o2(x,o2(x,x))) | true | 4239 | 4239 | -0.9676 | 0.002426 | 0.9681 | 0.02463 | 0.1569 | -1 | 0.274 | 1.274 | 1 | 0.4039 | 0.002412 | 0.002513 | 0.007726 | -0.02043 | 1 | -0.000006343 | 0.01013 | 0.01293 | 0.004866 | 0.06976 | 9.029 | 1.274 | 0.2 | 0.4112 | 1 | 1 | 0.003853 | 0.01747 | 0.04339 | 0.1565 | 0.7096 | 1.762 | json |
| t12_x25_u1_b46 | 12 | 25 | 1 | 46 | ![]() |
log(pow(R,mlt(R,D))) | 40530 | 98457484 | o1(o2(x,o2(x,x))) | true | 4247 | 4247 | -0.9571 | 0.02097 | 0.9583 | 0.04109 | 0.2027 | -1 | 0.08582 | 1.086 | 1 | 0.3174 | 0.004228 | 0.004158 | 0.008687 | 0.008434 | 1 | 0.000001829 | 0.01752 | 0.01683 | 0.008304 | 0.09113 | 10.49 | 1.43 | 0.2041 | 0.4263 | 1 | 1 | 0.006456 | 0.02773 | 0.0685 | 0.1571 | 0.6749 | 1.667 | json |
| t12_x25_u1_b47 | 12 | 25 | 1 | 47 | ![]() |
log(pow(R,div(R,D))) | 40531 | 98457485 | o1(o2(x,o2(x,x))) | true | 4255 | 4255 | -0.9575 | 0.02112 | 0.986 | 0.06519 | 0.2553 | -1 | 1 | 2 | 1 | 0.3475 | 0.01117 | 0.006787 | 0.01445 | 0.2439 | 1 | -0.00001447 | 0.03605 | 0.02063 | 0.01773 | 0.1332 | 9.218 | 2.828 | 0.2754 | 0.553 | 1 | 1 | 0.01421 | 0.0611 | 0.1071 | 0.218 | 0.9373 | 1.643 | json |
| t12_x25_u1_b48 | 12 | 25 | 1 | 48 | ![]() |
log(pow(R,pow(R,D))) | 40532 | 98457486 | o1(o2(x,o2(x,x))) | true | 4263 | 4263 | -0.9845 | 0 | 0.9845 | 0.009331 | 0.0966 | -1 | -0.0587 | 0.9413 | 1 | 0.3122 | 0.001079 | 0.00122 | 0.005149 | -0.06145 | 1 | 0.00002393 | 0.004527 | 0.00709 | 0.002271 | 0.04766 | 9.257 | 1.211 | 0.2463 | 0.4851 | 1 | 1 | 0.001952 | 0.008739 | 0.01616 | 0.2092 | 0.9365 | 1.732 | json |
| t12_x25_u1_b49 | 12 | 25 | 1 | 49 | ![]() |
log(pow(R,mod(R,D))) | 40533 | 98457487 | o1(o2(x,o2(x,x))) | true | 4271 | 4271 | -0.9613 | 0 | 0.9613 | 0.03372 | 0.1836 | -1 | -0.0001458 | 0.9999 | 1 | 0.3455 | 0.00426 | 0.003368 | 0.00938 | 0.1169 | 1 | -0.000002399 | 0.01617 | 0.01787 | 0.007543 | 0.08685 | 9.259 | 1.409 | 0.2262 | 0.4794 | 1 | 1 | 0.00581 | 0.02317 | 0.05661 | 0.1723 | 0.6872 | 1.679 | json |
| t12_x25_u1_b50 | 12 | 25 | 1 | 50 | ![]() |
log(pow(R,lrg(R,D))) | 40534 | 98457488 | o1(o2(x,o2(x,x))) | true | 4279 | 4279 | -0.9791 | 0 | 0.9791 | 0.01392 | 0.118 | -1 | -0.015 | 0.985 | 1 | 0.3654 | 0.001809 | 0.00166 | 0.006592 | 0.04296 | 1 | 0.00001053 | 0.00711 | 0.01001 | 0.003426 | 0.05853 | 8.879 | 1.212 | 0.2491 | 0.5107 | 1 | 1 | 0.002695 | 0.01199 | 0.02445 | 0.1936 | 0.8613 | 1.756 | json |
| t12_x25_u1_b51 | 12 | 25 | 1 | 51 | ![]() |
log(pow(R,eql(R,D))) | 40535 | 98457489 | o1(o2(x,o2(x,x))) | true | 4287 | 4287 | -0.0002441 | 0 | 0.0002441 | 0.0002441 | 0.01562 | -1 | 0 | 1 | 1 | 0.003282 | 0.0004409 | 0.00001575 | 0.0004567 | 0.931 | 1 | 0 | 0.001417 | 0.0009133 | 0.0004564 | 0.02136 | 46.78 | 1 | 1.871 | 5.806 | 1 | 1 | 0 | 0 | 0.0002078 | 0 | 0 | 0.8512 | json |
| t12_x25_u1_b52 | 12 | 25 | 1 | 52 | ![]() |
log(pow(R,min(R,D))) | 40536 | 98457490 | o1(o2(x,o2(x,x))) | true | 4295 | 4295 | -0.9559 | 0.02415 | 0.9611 | 0.044 | 0.2098 | -1 | 0.5128 | 1.513 | 1 | 0.3858 | 0.004296 | 0.004366 | 0.009694 | -0.008018 | 1 | 0.000007455 | 0.01794 | 0.01729 | 0.008568 | 0.09256 | 9.548 | 1.462 | 0.1969 | 0.4077 | 1 | 1 | 0.00669 | 0.02908 | 0.07103 | 0.152 | 0.661 | 1.614 | json |
| t12_x25_u1_b53 | 12 | 25 | 1 | 53 | ![]() |
log(pow(R,dot(R,D))) | 40537 | 98457491 | o1(o2(x,o2(x,x))) | true | 4303 | 4303 | -0.9574 | 0.02077 | 0.9601 | 0.04093 | 0.2023 | -1 | 0.3623 | 1.362 | 1 | 0.3707 | 0.004275 | 0.00417 | 0.009205 | 0.01246 | 1 | 0.000002851 | 0.01761 | 0.01691 | 0.008363 | 0.09145 | 9.935 | 1.46 | 0.2063 | 0.4302 | 1 | 1 | 0.006442 | 0.02789 | 0.06915 | 0.1574 | 0.6813 | 1.69 | json |
| t12_x25_u1_b54 | 12 | 25 | 1 | 54 | ![]() |
log(pow(R,dst(R,D))) | 40538 | 98457492 | o1(o2(x,o2(x,x))) | true | 4311 | 4311 | -0.9826 | 0 | 0.9826 | 0.00988 | 0.0994 | -1 | -0.05899 | 0.941 | 1 | 0.3473 | 0.001132 | 0.001266 | 0.005418 | -0.05585 | 1 | 0.00001973 | 0.004829 | 0.00778 | 0.00237 | 0.04869 | 8.986 | 1.133 | 0.2428 | 0.4887 | 1 | 1 | 0.001988 | 0.008467 | 0.01572 | 0.2012 | 0.857 | 1.591 | json |
| t12_x25_u1_b55 | 12 | 25 | 1 | 55 | ![]() |
log(mod(R,add(R,D))) | 40539 | 98457493 | o1(o2(x,o2(x,x))) | true | 4319 | 4319 | -0.9952 | 0 | 0.9952 | 0.00268 | 0.05177 | -1 | -0.06037 | 0.9396 | 1 | 0.1244 | 0.0008305 | 0.0003728 | 0.002831 | 0.3803 | 1 | 0.00001378 | 0.002612 | 0.004559 | 0.001195 | 0.03457 | 12.21 | 1.01 | 0.4489 | 0.9745 | 1 | 1 | 0.000864 | 0.002762 | 0.003408 | 0.3223 | 1.03 | 1.271 | json |
| t12_x25_u1_b56 | 12 | 25 | 1 | 56 | ![]() |
log(mod(R,sub(R,D))) | 40540 | 98457494 | o1(o2(x,o2(x,x))) | true | 4327 | 4327 | -0.9952 | 0 | 0.9952 | 0.002802 | 0.05293 | -1 | -0.0632 | 0.9368 | 1 | 0.1261 | 0.0008311 | 0.0003279 | 0.002804 | 0.4342 | 1 | 0.000009232 | 0.002422 | 0.004476 | 0.001151 | 0.03392 | 12.1 | 1.212 | 0.4136 | 0.8645 | 1 | 1 | 0.0009238 | 0.003063 | 0.004848 | 0.3297 | 1.093 | 1.73 | json |
| t12_x25_u1_b57 | 12 | 25 | 1 | 57 | ![]() |
log(mod(R,mlt(R,D))) | 40541 | 98457495 | o1(o2(x,o2(x,x))) | true | 4335 | 4335 | -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_x25_u1_b58 | 12 | 25 | 1 | 58 | ![]() |
log(mod(R,div(R,D))) | 40542 | 98457496 | o1(o2(x,o2(x,x))) | true | 4343 | 4343 | -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_x25_u1_b59 | 12 | 25 | 1 | 59 | ![]() |
log(mod(R,pow(R,D))) | 40543 | 98457497 | o1(o2(x,o2(x,x))) | true | 4351 | 4351 | -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_x25_u1_b60 | 12 | 25 | 1 | 60 | ![]() |
log(mod(R,mod(R,D))) | 40544 | 98457498 | o1(o2(x,o2(x,x))) | true | 4359 | 4359 | -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_x25_u1_b61 | 12 | 25 | 1 | 61 | ![]() |
log(mod(R,lrg(R,D))) | 40545 | 98457499 | o1(o2(x,o2(x,x))) | true | 4367 | 4367 | -0.9929 | 0 | 0.9929 | 0.004279 | 0.06542 | -1 | -0.05896 | 0.941 | 1 | 0.1577 | 0.000969 | 0.0005687 | 0.002995 | 0.2603 | 1 | 0.00000623 | 0.003268 | 0.004955 | 0.001528 | 0.03909 | 13.05 | 1.248 | 0.3593 | 0.7637 | 1 | 1 | 0.00124 | 0.004889 | 0.00616 | 0.2898 | 1.142 | 1.44 | json |
| t12_x25_u1_b62 | 12 | 25 | 1 | 62 | ![]() |
log(mod(R,eql(R,D))) | 40546 | 98457500 | o1(o2(x,o2(x,x))) | true | 4375 | 4375 | -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_x25_u1_b63 | 12 | 25 | 1 | 63 | ![]() |
log(mod(R,min(R,D))) | 40547 | 98457501 | o1(o2(x,o2(x,x))) | true | 4383 | 4383 | -0.9999 | 0 | 0.9999 | 0.000004746 | 0.002178 | -1 | -0.8429 | 0.1571 | 1 | 0.004947 | 0.000008047 | 0.000001035 | 0.0001006 | 0.7721 | 0 | -3.754e-11 | 0.00002725 | 0.0001917 | 0.000009066 | 0.003011 | 29.93 | 0.1685 | 1.914 | 5.742 | 1 | 1 | 0.000006205 | 0.000009323 | 0.00001085 | 1.308 | 1.965 | 2.287 | json |
| t12_x25_u1_b64 | 12 | 25 | 1 | 64 | ![]() |
log(mod(R,dot(R,D))) | 40548 | 98457502 | o1(o2(x,o2(x,x))) | true | 4391 | 4391 | -1 | 0 | 1 | 0.00000136 | 0.001166 | -1 | -0.8238 | 0.1762 | 1 | 0.001444 | 0.000002696 | 0.000001785 | 0.00003771 | 0.2033 | 0 | -3.754e-12 | 0.00002066 | 0.00008471 | 0.000004479 | 0.002116 | 56.13 | 0.1871 | 3.294 | 15.18 | 1 | 1 | 8.259e-7 | 0.000001885 | 0.000001905 | 0.6071 | 1.386 | 1.4 | json |
| t12_x25_u1_b65 | 12 | 25 | 1 | 65 | ![]() |
log(mod(R,dst(R,D))) | 40549 | 98457503 | o1(o2(x,o2(x,x))) | true | 4399 | 4399 | -0.9877 | 0 | 0.9877 | 0.007125 | 0.08441 | -1 | -0.05896 | 0.941 | 1 | 0.2738 | 0.001599 | 0.00126 | 0.005662 | 0.1183 | 1 | 0.0001374 | 0.00714 | 0.00919 | 0.002826 | 0.05316 | 9.389 | 1.293 | 0.4013 | 1.002 | 1 | 1 | 0.002184 | 0.007494 | 0.0126 | 0.3065 | 1.052 | 1.769 | json |
| t12_x25_u1_b66 | 12 | 25 | 1 | 66 | ![]() |
log(lrg(R,add(R,D))) | 40550 | 98457504 | o1(o2(x,o2(x,x))) | true | 4407 | 4407 | -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_x25_u1_b67 | 12 | 25 | 1 | 67 | ![]() |
log(lrg(R,sub(R,D))) | 40551 | 98457505 | o1(o2(x,o2(x,x))) | true | 4415 | 4415 | -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_x25_u1_b68 | 12 | 25 | 1 | 68 | ![]() |
log(lrg(R,mlt(R,D))) | 40552 | 98457506 | o1(o2(x,o2(x,x))) | true | 4423 | 4423 | -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_x25_u1_b69 | 12 | 25 | 1 | 69 | ![]() |
log(lrg(R,div(R,D))) | 40553 | 98457507 | o1(o2(x,o2(x,x))) | true | 4431 | 4431 | -0.9531 | 0 | 0.9531 | 0.04468 | 0.2114 | -1 | 0 | 1 | 1 | 0.273 | 0.005858 | 0.004283 | 0.01007 | 0.1553 | 1 | 0 | 0.02135 | 0.02028 | 0.01004 | 0.1002 | 9.954 | 1.414 | 0.227 | 0.4779 | 1 | 1 | 0.008573 | 0.03625 | 0.06939 | 0.1919 | 0.8113 | 1.553 | json |
| t12_x25_u1_b70 | 12 | 25 | 1 | 70 | ![]() |
log(lrg(R,pow(R,D))) | 40554 | 98457508 | o1(o2(x,o2(x,x))) | true | 4439 | 4439 | -0.9297 | 0 | 0.9297 | 0.06532 | 0.2556 | -1 | 0 | 1 | 1 | 0.3671 | 0.00548 | 0.006677 | 0.01207 | -0.09845 | 1 | 0 | 0.02545 | 0.02431 | 0.01201 | 0.1096 | 9.077 | 1.414 | 0.1861 | 0.3896 | 1 | 1 | 0.01256 | 0.05287 | 0.1436 | 0.1923 | 0.8093 | 2.199 | json |
| t12_x25_u1_b71 | 12 | 25 | 1 | 71 | ![]() |
log(lrg(R,mod(R,D))) | 40555 | 98457509 | o1(o2(x,o2(x,x))) | true | 4447 | 4447 | -0.9993 | 0 | 0.9993 | 0.0007314 | 0.02704 | -1 | 0 | 1 | 1 | 0.008684 | 0.001008 | 0.00009448 | 0.001084 | 0.8286 | 1 | 0 | 0.00296 | 0.002205 | 0.0011 | 0.03317 | 30.6 | 1.414 | 1.507 | 4.048 | 1 | 1 | 0 | 0 | 0.0002216 | 0 | 0 | 0.303 | json |
| t12_x25_u1_b72 | 12 | 25 | 1 | 72 | ![]() |
log(lrg(R,lrg(R,D))) | 40556 | 98457510 | o1(o2(x,o2(x,x))) | true | 4455 | 4455 | -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_x25_u1_b73 | 12 | 25 | 1 | 73 | ![]() |
log(lrg(R,eql(R,D))) | 40557 | 98457511 | o1(o2(x,o2(x,x))) | true | 4463 | 4463 | -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_x25_u1_b74 | 12 | 25 | 1 | 74 | ![]() |
log(lrg(R,min(R,D))) | 40558 | 98457512 | o1(o2(x,o2(x,x))) | true | 4471 | 4471 | -0.9312 | 0 | 0.9312 | 0.06407 | 0.2531 | -1 | 0 | 1 | 1 | 0.3616 | 0.02485 | 0.005574 | 0.03011 | 0.6335 | 1 | 0 | 0.068 | 0.06085 | 0.0295 | 0.1717 | 5.704 | 1.414 | 0.4748 | 1.061 | 1 | 1 | 0.02749 | 0.08127 | 0.122 | 0.4291 | 1.268 | 1.904 | json |
| t12_x25_u1_b75 | 12 | 25 | 1 | 75 | ![]() |
log(lrg(R,dot(R,D))) | 40559 | 98457513 | o1(o2(x,o2(x,x))) | true | 4479 | 4479 | -0.9426 | 0 | 0.9426 | 0.05401 | 0.2324 | -1 | 0 | 1 | 1 | 0.3169 | 0.01115 | 0.01323 | 0.02294 | -0.08527 | 1 | -0.00001575 | 0.07179 | 0.04877 | 0.02384 | 0.1544 | 6.732 | 1.414 | 0.4513 | 1.329 | 1 | 1 | 0.02204 | 0.07341 | 0.1209 | 0.408 | 1.359 | 2.238 | json |
| t12_x25_u1_b76 | 12 | 25 | 1 | 76 | ![]() |
log(lrg(R,dst(R,D))) | 40560 | 98457514 | o1(o2(x,o2(x,x))) | true | 4487 | 4487 | -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_x25_u1_b77 | 12 | 25 | 1 | 77 | ![]() |
log(eql(R,add(R,D))) | 40561 | 98457515 | o1(o2(x,o2(x,x))) | true | 4495 | 4495 | -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_x25_u1_b78 | 12 | 25 | 1 | 78 | ![]() |
log(eql(R,sub(R,D))) | 40562 | 98457516 | o1(o2(x,o2(x,x))) | true | 4503 | 4503 | -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_x25_u1_b79 | 12 | 25 | 1 | 79 | ![]() |
log(eql(R,mlt(R,D))) | 40563 | 98457517 | o1(o2(x,o2(x,x))) | true | 4511 | 4511 | -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_x25_u1_b80 | 12 | 25 | 1 | 80 | ![]() |
log(eql(R,div(R,D))) | 40564 | 98457518 | o1(o2(x,o2(x,x))) | true | 4519 | 4519 | -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_x25_u1_b81 | 12 | 25 | 1 | 81 | ![]() |
log(eql(R,pow(R,D))) | 40565 | 98457519 | o1(o2(x,o2(x,x))) | true | 4527 | 4527 | -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_x25_u1_b82 | 12 | 25 | 1 | 82 | ![]() |
log(eql(R,mod(R,D))) | 40566 | 98457520 | o1(o2(x,o2(x,x))) | true | 4535 | 4535 | -0.969 | 0 | 0.969 | 0.03006 | 0.1734 | -1 | 0 | 1 | 1 | 0.1994 | 0.01732 | 0.003134 | 0.02017 | 0.6936 | 1 | 0 | 0.04904 | 0.04091 | 0.02004 | 0.1416 | 7.019 | 1.414 | 0.6805 | 1.631 | 1 | 1 | 0.01946 | 0.04032 | 0.0614 | 0.6474 | 1.341 | 2.043 | json |
| t12_x25_u1_b83 | 12 | 25 | 1 | 83 | ![]() |
log(eql(R,lrg(R,D))) | 40567 | 98457521 | o1(o2(x,o2(x,x))) | true | 4543 | 4543 | -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_x25_u1_b84 | 12 | 25 | 1 | 84 | ![]() |
log(eql(R,eql(R,D))) | 40568 | 98457522 | o1(o2(x,o2(x,x))) | true | 4551 | 4551 | -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_x25_u1_b85 | 12 | 25 | 1 | 85 | ![]() |
log(eql(R,min(R,D))) | 40569 | 98457523 | o1(o2(x,o2(x,x))) | true | 4559 | 4559 | -0.9346 | 0 | 0.9346 | 0.06119 | 0.2474 | -1 | 0 | 1 | 1 | 0.3486 | 0.02822 | 0.005874 | 0.03373 | 0.6554 | 1 | 0 | 0.07751 | 0.06818 | 0.03295 | 0.1815 | 5.381 | 1.414 | 0.5571 | 1.267 | 1 | 1 | 0.0347 | 0.08976 | 0.1097 | 0.567 | 1.467 | 1.792 | json |
| t12_x25_u1_b86 | 12 | 25 | 1 | 86 | ![]() |
log(eql(R,dot(R,D))) | 40570 | 98457524 | o1(o2(x,o2(x,x))) | true | 4567 | 4567 | -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_x25_u1_b87 | 12 | 25 | 1 | 87 | ![]() |
log(eql(R,dst(R,D))) | 40571 | 98457525 | o1(o2(x,o2(x,x))) | true | 4575 | 4575 | -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_x25_u1_b88 | 12 | 25 | 1 | 88 | ![]() |
log(min(R,add(R,D))) | 40572 | 98457526 | o1(o2(x,o2(x,x))) | true | 4583 | 4583 | -0.997 | 0 | 0.997 | 0.001621 | 0.04026 | -1 | -0.09587 | 0.9041 | 1 | 0.08593 | 0.0006251 | 0.0001783 | 0.002014 | 0.5562 | 1 | 0.00002815 | 0.001744 | 0.002829 | 0.0007991 | 0.02827 | 14.04 | 1.16 | 0.4955 | 1.076 | 1 | 1 | 0.0006733 | 0.002031 | 0.002986 | 0.4153 | 1.253 | 1.842 | json |
| t12_x25_u1_b89 | 12 | 25 | 1 | 89 | ![]() |
log(min(R,sub(R,D))) | 40573 | 98457527 | o1(o2(x,o2(x,x))) | true | 4591 | 4591 | -0.9967 | 0 | 0.9967 | 0.001653 | 0.04066 | -1 | -0.09267 | 0.9073 | 1 | 0.09615 | 0.000566 | 0.0002619 | 0.002082 | 0.3673 | 1 | 0.00004879 | 0.001815 | 0.002983 | 0.0008233 | 0.02869 | 13.78 | 0.9906 | 0.5008 | 1.098 | 1 | 1 | 0.0006328 | 0.001945 | 0.002126 | 0.3827 | 1.176 | 1.286 | json |
| t12_x25_u1_b90 | 12 | 25 | 1 | 90 | ![]() |
log(min(R,mlt(R,D))) | 40574 | 98457528 | o1(o2(x,o2(x,x))) | true | 4599 | 4599 | -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_x25_u1_b91 | 12 | 25 | 1 | 91 | ![]() |
log(min(R,div(R,D))) | 40575 | 98457529 | o1(o2(x,o2(x,x))) | true | 4607 | 4607 | -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_x25_u1_b92 | 12 | 25 | 1 | 92 | ![]() |
log(min(R,pow(R,D))) | 40576 | 98457530 | o1(o2(x,o2(x,x))) | true | 4615 | 4615 | -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_x25_u1_b93 | 12 | 25 | 1 | 93 | ![]() |
log(min(R,mod(R,D))) | 40577 | 98457531 | o1(o2(x,o2(x,x))) | true | 4623 | 4623 | -0.9999 | 0 | 0.9999 | 0.000006894 | 0.002626 | -1 | -0.8429 | 0.1571 | 1 | 0.007352 | 0.00001164 | 0.000001799 | 0.0001512 | 0.7323 | 0 | -3.754e-11 | 0.00004081 | 0.0002928 | 0.0000134 | 0.003661 | 24.21 | 0.1685 | 1.949 | 5.92 | 1 | 1 | 0.000009631 | 0.00001431 | 0.00001632 | 1.397 | 2.076 | 2.367 | json |
| t12_x25_u1_b94 | 12 | 25 | 1 | 94 | ![]() |
log(min(R,lrg(R,D))) | 40578 | 98457532 | o1(o2(x,o2(x,x))) | true | 4631 | 4631 | -0.9929 | 0 | 0.9929 | 0.004279 | 0.06542 | -1 | -0.05896 | 0.941 | 1 | 0.1577 | 0.000969 | 0.0005687 | 0.002995 | 0.2603 | 1 | 0.00000623 | 0.003268 | 0.004955 | 0.001528 | 0.03909 | 13.05 | 1.248 | 0.3593 | 0.7637 | 1 | 1 | 0.00124 | 0.004889 | 0.00616 | 0.2898 | 1.142 | 1.44 | json |
| t12_x25_u1_b95 | 12 | 25 | 1 | 95 | ![]() |
log(min(R,eql(R,D))) | 40579 | 98457533 | o1(o2(x,o2(x,x))) | true | 4639 | 4639 | -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_x25_u1_b96 | 12 | 25 | 1 | 96 | ![]() |
log(min(R,min(R,D))) | 40580 | 98457534 | o1(o2(x,o2(x,x))) | true | 4647 | 4647 | -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_x25_u1_b97 | 12 | 25 | 1 | 97 | ![]() |
log(min(R,dot(R,D))) | 40581 | 98457535 | o1(o2(x,o2(x,x))) | true | 4655 | 4655 | -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_x25_u1_b98 | 12 | 25 | 1 | 98 | ![]() |
log(min(R,dst(R,D))) | 40582 | 98457536 | o1(o2(x,o2(x,x))) | true | 4663 | 4663 | -0.9844 | 0 | 0.9844 | 0.009143 | 0.09562 | -1 | -0.05896 | 0.941 | 1 | 0.3198 | 0.001064 | 0.001167 | 0.005029 | -0.04655 | 1 | 0.00001824 | 0.004431 | 0.00693 | 0.002205 | 0.04696 | 9.338 | 1.212 | 0.244 | 0.4847 | 1 | 1 | 0.00193 | 0.008554 | 0.0157 | 0.2111 | 0.9356 | 1.717 | json |
| t12_x25_u1_b99 | 12 | 25 | 1 | 99 | ![]() |
log(dot(R,add(R,D))) | 40583 | 98457537 | o1(o2(x,o2(x,x))) | true | 4671 | 4671 | -0.2674 | 0.3794 | 0.4826 | 0.2853 | 0.5341 | -1 | 0.9506 | 1.951 | 1 | 4.31 | 0.0314 | 0.033 | 0.1062 | -0.0248 | 1 | -0.0001551 | 0.1641 | 0.119 | 0.05312 | 0.2305 | 2.171 | 2.442 | 0.2258 | 0.5754 | 1 | 1 | 0.05901 | 0.241 | 0.522 | 0.2069 | 0.8448 | 1.83 | json |
| t12_x25_u1_b100 | 12 | 25 | 1 | 100 | ![]() |
log(dot(R,sub(R,D))) | 40584 | 98457538 | o1(o2(x,o2(x,x))) | true | 4679 | 4679 | -0.284 | 0.3749 | 0.5059 | 0.2972 | 0.5452 | -1 | 1 | 2 | 1 | 4.302 | 0.03154 | 0.03298 | 0.1048 | -0.02231 | 1 | -0.0001602 | 0.1647 | 0.1195 | 0.05353 | 0.2314 | 2.207 | 2.555 | 0.2171 | 0.5542 | 1 | 1 | 0.0685 | 0.2697 | 0.5886 | 0.2305 | 0.9076 | 1.98 | json |
| t12_x25_u1_b101 | 12 | 25 | 1 | 101 | ![]() |
log(dot(R,mlt(R,D))) | 40585 | 98457539 | o1(o2(x,o2(x,x))) | true | 4687 | 4687 | -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_x25_u1_b102 | 12 | 25 | 1 | 102 | ![]() |
log(dot(R,div(R,D))) | 40586 | 98457540 | o1(o2(x,o2(x,x))) | true | 4695 | 4695 | -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_x25_u1_b103 | 12 | 25 | 1 | 103 | ![]() |
log(dot(R,pow(R,D))) | 40587 | 98457541 | o1(o2(x,o2(x,x))) | true | 4703 | 4703 | -0.9968 | 0.001816 | 0.9987 | 0.004623 | 0.06799 | -1 | 0.845 | 1.845 | 1 | 0.03903 | 0.0005952 | 0.0008558 | 0.001273 | -0.1796 | 1 | -1.126e-11 | 0.002958 | 0.001847 | 0.001448 | 0.03805 | 29.88 | 1.845 | 0.3139 | 0.6399 | 1 | 1 | 0.002695 | 0.0116 | 0.01593 | 0.583 | 2.509 | 3.446 | json |
| t12_x25_u1_b104 | 12 | 25 | 1 | 104 | ![]() |
log(dot(R,mod(R,D))) | 40588 | 98457542 | o1(o2(x,o2(x,x))) | true | 4711 | 4711 | -0.7376 | 0.008011 | 0.7382 | 0.09935 | 0.3152 | -1 | 0.2168 | 1.217 | 1 | 3.05 | 0.00869 | 0.008287 | 0.07899 | 0.02377 | 1 | -0.0001582 | 0.04014 | 0.1178 | 0.01073 | 0.1036 | 1.312 | 0.8402 | 0.1709 | 0.404 | 1 | 1 | 0.01573 | 0.08949 | 0.223 | 0.1583 | 0.9007 | 2.245 | json |
| t12_x25_u1_b105 | 12 | 25 | 1 | 105 | ![]() |
log(dot(R,lrg(R,D))) | 40589 | 98457543 | o1(o2(x,o2(x,x))) | true | 4719 | 4719 | -0.7554 | 0.09415 | 0.8049 | 0.1861 | 0.4314 | -1 | 0.8429 | 1.843 | 1 | 2.182 | 0.02532 | 0.02726 | 0.07099 | -0.03699 | 1 | -0.0003753 | 0.1139 | 0.1087 | 0.04756 | 0.2181 | 3.072 | 2.542 | 0.2826 | 0.612 | 1 | 1 | 0.06325 | 0.2201 | 0.4397 | 0.3399 | 1.183 | 2.363 | json |
| t12_x25_u1_b106 | 12 | 25 | 1 | 106 | ![]() |
log(dot(R,eql(R,D))) | 40590 | 98457544 | o1(o2(x,o2(x,x))) | true | 4727 | 4727 | -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_x25_u1_b107 | 12 | 25 | 1 | 107 | ![]() |
log(dot(R,min(R,D))) | 40591 | 98457545 | o1(o2(x,o2(x,x))) | true | 4735 | 4735 | -0.7956 | 0.05803 | 0.8173 | 0.1314 | 0.3625 | -1 | 0.6215 | 1.621 | 1 | 2.266 | 0.01162 | 0.01333 | 0.05058 | -0.06864 | 1 | -0.00005759 | 0.05396 | 0.06033 | 0.0224 | 0.1497 | 2.959 | 2.093 | 0.1899 | 0.4107 | 1 | 1 | 0.02495 | 0.11 | 0.2238 | 0.1899 | 0.8371 | 1.704 | json |
| t12_x25_u1_b108 | 12 | 25 | 1 | 108 | ![]() |
log(dot(R,dot(R,D))) | 40592 | 98457546 | o1(o2(x,o2(x,x))) | true | 4743 | 4743 | -1 | 0 | 1 | 0.0000051 | 0.002258 | -1 | -0.6958 | 0.3042 | 1 | 0.002653 | 0.00000751 | 0.000005375 | 0.00006819 | 0.1656 | 0 | 2.628e-11 | 0.00005256 | 0.0001306 | 0.00001288 | 0.003588 | 52.63 | 0.3284 | 2.527 | 10.31 | 1 | 1 | 0.000003811 | 0.000004477 | 0.000004477 | 0.7472 | 0.8779 | 0.8779 | json |
| t12_x25_u1_b109 | 12 | 25 | 1 | 109 | ![]() |
log(dot(R,dst(R,D))) | 40593 | 98457547 | o1(o2(x,o2(x,x))) | true | 4751 | 4751 | -0.9698 | 0.01183 | 0.9795 | 0.03124 | 0.1768 | -1 | 1 | 2 | 1 | 0.4252 | 0.003688 | 0.004774 | 0.01064 | -0.1284 | 1 | -0.000001979 | 0.01688 | 0.01454 | 0.008352 | 0.09139 | 8.586 | 2.289 | 0.2708 | 0.5404 | 1 | 1 | 0.01303 | 0.05738 | 0.08808 | 0.4171 | 1.836 | 2.819 | json |
| t12_x25_u1_b110 | 12 | 25 | 1 | 110 | ![]() |
log(dst(R,add(R,D))) | 40594 | 98457548 | o1(o2(x,o2(x,x))) | true | 4759 | 4759 | -0.7705 | 0 | 0.7705 | 0.04347 | 0.2085 | -1 | -0.3539 | 0.6461 | 1 | 2.94 | 0.004784 | 0.004784 | 0.07691 | -0.000003504 | 1 | -0.0003411 | 0.005662 | 0.04961 | 0.003653 | 0.06044 | 0.7859 | 0.2093 | 0.2201 | 0.1303 | 1 | 1 | 0.01694 | 0.08275 | 6.511e-16 | 0.3898 | 1.904 | 1.498e-14 | json |
| t12_x25_u1_b111 | 12 | 25 | 1 | 111 | ![]() |
log(dst(R,sub(R,D))) | 40595 | 98457549 | o1(o2(x,o2(x,x))) | true | 4767 | 4767 | -0.7705 | 0 | 0.7705 | 0.04347 | 0.2085 | -1 | -0.3539 | 0.6461 | 1 | 2.94 | 0.004784 | 0.004784 | 0.07691 | -0.000003504 | 1 | -0.0003411 | 0.005662 | 0.04961 | 0.003653 | 0.06044 | 0.7859 | 0.2093 | 0.2201 | 0.1303 | 1 | 1 | 0.01694 | 0.08275 | 7.924e-16 | 0.3898 | 1.904 | 1.823e-14 | json |
| t12_x25_u1_b112 | 12 | 25 | 1 | 112 | ![]() |
log(dst(R,mlt(R,D))) | 40596 | 98457550 | o1(o2(x,o2(x,x))) | true | 4775 | 4775 | -0.07803 | 0.4599 | 0.2216 | 0.08112 | 0.2848 | -1 | 0.5277 | 1.528 | 1 | 4.092 | 0.001222 | 0.001565 | 0.0439 | -0.1227 | 1 | 3.057e-7 | 0.000286 | 0.01184 | 0.0008594 | 0.02932 | 0.6677 | 0.2999 | 0.03436 | 0.003525 | 1 | 1 | 0.004728 | 0.05509 | 0.1262 | 0.05828 | 0.6791 | 1.556 | json |
| t12_x25_u1_b113 | 12 | 25 | 1 | 113 | ![]() |
log(dst(R,div(R,D))) | 40597 | 98457551 | o1(o2(x,o2(x,x))) | true | 4783 | 4783 | -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_x25_u1_b114 | 12 | 25 | 1 | 114 | ![]() |
log(dst(R,pow(R,D))) | 40598 | 98457552 | o1(o2(x,o2(x,x))) | true | 4791 | 4791 | -0.996 | 0.001953 | 0.9979 | 0.00505 | 0.07106 | -1 | 0.7077 | 1.708 | 1 | 0.05379 | 0.000639 | 0.000763 | 0.001327 | -0.08846 | 1 | 1.877e-11 | 0.002904 | 0.002122 | 0.001399 | 0.0374 | 28.19 | 2.367 | 0.2776 | 0.5751 | 1 | 1 | 0.002543 | 0.01075 | 0.01804 | 0.5035 | 2.129 | 3.572 | json |
| t12_x25_u1_b115 | 12 | 25 | 1 | 115 | ![]() |
log(dst(R,mod(R,D))) | 40599 | 98457553 | o1(o2(x,o2(x,x))) | true | 4799 | 4799 | -0.8564 | 0.01396 | 0.8589 | 0.08357 | 0.2891 | -1 | 0.2603 | 1.26 | 1 | 1.738 | 0.02787 | 0.0251 | 0.08961 | 0.05234 | 1 | 0.0001753 | 0.1382 | 0.1648 | 0.04495 | 0.212 | 2.366 | 1.733 | 0.6338 | 1.653 | 1 | 1 | 0.04543 | 0.1067 | 0.1466 | 0.5435 | 1.276 | 1.754 | json |



































































































