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_x23_u1_b10 | 12 | 23 | 1 | 10 | ![]() |
log(add(R,dst(D,R))) | 38800 | 98376646 | o1(o2(x,o2(x,x))) | true | 140247 | 140247 | -0.2215 | 0.4008 | 0.5312 | 0.3436 | 0.5862 | -1 | 0.961 | 1.961 | 1 | 4.457 | 0.01712 | 0.01611 | 0.09103 | 0.03045 | 1 | 0.000189 | 0.05958 | 0.06153 | 0.02495 | 0.1579 | 1.735 | 2.562 | 0.09671 | 0.1734 | 1 | 1 | 0.04117 | 0.3008 | 0.6712 | 0.1198 | 0.8755 | 1.953 | json |
| t12_x23_u1_b11 | 12 | 23 | 1 | 11 | ![]() |
log(sub(R,add(D,R))) | 38801 | 98376647 | o1(o2(x,o2(x,x))) | true | 140255 | 140255 | -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_x23_u1_b12 | 12 | 23 | 1 | 12 | ![]() |
log(sub(R,sub(D,R))) | 38802 | 98376648 | o1(o2(x,o2(x,x))) | true | 140263 | 140263 | -0.9455 | 0.02963 | 0.9603 | 0.05673 | 0.2382 | -1 | 0.6942 | 1.694 | 1 | 0.5692 | 0.01118 | 0.006214 | 0.01913 | 0.2856 | 1 | 0.00004076 | 0.03769 | 0.03065 | 0.01703 | 0.1305 | 6.82 | 2.014 | 0.3067 | 0.6644 | 1 | 1 | 0.0173 | 0.06356 | 0.1101 | 0.305 | 1.12 | 1.94 | json |
| t12_x23_u1_b13 | 12 | 23 | 1 | 13 | ![]() |
log(sub(R,mlt(D,R))) | 38803 | 98376649 | o1(o2(x,o2(x,x))) | true | 140271 | 140271 | -0.986 | 0.00006104 | 0.986 | 0.007962 | 0.08923 | -1 | 0.0237 | 1.024 | 1 | 0.3045 | 0.001104 | 0.001002 | 0.00502 | 0.0485 | 1 | 0.0000338 | 0.004141 | 0.006704 | 0.00208 | 0.04561 | 9.086 | 1.254 | 0.2645 | 0.5201 | 1 | 1 | 0.00186 | 0.007791 | 0.01355 | 0.2336 | 0.9785 | 1.702 | json |
| t12_x23_u1_b14 | 12 | 23 | 1 | 14 | ![]() |
log(sub(R,div(D,R))) | 38804 | 98376650 | o1(o2(x,o2(x,x))) | true | 140279 | 140279 | -0.9543 | 0.01848 | 0.9693 | 0.05113 | 0.2261 | -1 | 1 | 2 | 1 | 0.5153 | 0.01044 | 0.005257 | 0.01997 | 0.3301 | 1 | -0.00009244 | 0.03156 | 0.02889 | 0.01531 | 0.1237 | 6.196 | 2.828 | 0.3069 | 0.6172 | 1 | 1 | 0.01501 | 0.05928 | 0.07745 | 0.2935 | 1.159 | 1.515 | json |
| t12_x23_u1_b15 | 12 | 23 | 1 | 15 | ![]() |
log(sub(R,pow(D,R))) | 38805 | 98376651 | o1(o2(x,o2(x,x))) | true | 140287 | 140287 | -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_x23_u1_b16 | 12 | 23 | 1 | 16 | ![]() |
log(sub(R,mod(D,R))) | 38806 | 98376652 | o1(o2(x,o2(x,x))) | true | 140295 | 140295 | -0.9864 | 0.0004578 | 0.9864 | 0.008065 | 0.08981 | -1 | 0.06318 | 1.063 | 1 | 0.2904 | 0.001732 | 0.001014 | 0.006453 | 0.2614 | 1 | 0.00004106 | 0.005826 | 0.01013 | 0.002703 | 0.05199 | 8.056 | 1.262 | 0.3404 | 0.7223 | 1 | 1 | 0.002143 | 0.007987 | 0.01389 | 0.2657 | 0.9904 | 1.722 | json |
| t12_x23_u1_b17 | 12 | 23 | 1 | 17 | ![]() |
log(sub(R,lrg(D,R))) | 38807 | 98376653 | o1(o2(x,o2(x,x))) | true | 140303 | 140303 | -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_x23_u1_b18 | 12 | 23 | 1 | 18 | ![]() |
log(sub(R,eql(D,R))) | 38808 | 98376654 | o1(o2(x,o2(x,x))) | true | 140311 | 140311 | -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_x23_u1_b19 | 12 | 23 | 1 | 19 | ![]() |
log(sub(R,min(D,R))) | 38809 | 98376655 | o1(o2(x,o2(x,x))) | true | 140319 | 140319 | -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_x23_u1_b20 | 12 | 23 | 1 | 20 | ![]() |
log(sub(R,dot(D,R))) | 38810 | 98376656 | o1(o2(x,o2(x,x))) | true | 140327 | 140327 | -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_x23_u1_b21 | 12 | 23 | 1 | 21 | ![]() |
log(sub(R,dst(D,R))) | 38811 | 98376657 | o1(o2(x,o2(x,x))) | true | 140335 | 140335 | -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_x23_u1_b22 | 12 | 23 | 1 | 22 | ![]() |
log(mlt(R,add(D,R))) | 38812 | 98376658 | o1(o2(x,o2(x,x))) | true | 140343 | 140343 | -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_x23_u1_b23 | 12 | 23 | 1 | 23 | ![]() |
log(mlt(R,sub(D,R))) | 38813 | 98376659 | o1(o2(x,o2(x,x))) | true | 140351 | 140351 | -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_x23_u1_b24 | 12 | 23 | 1 | 24 | ![]() |
log(mlt(R,mlt(D,R))) | 38814 | 98376660 | o1(o2(x,o2(x,x))) | true | 140359 | 140359 | -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_x23_u1_b25 | 12 | 23 | 1 | 25 | ![]() |
log(mlt(R,div(D,R))) | 38815 | 98376661 | o1(o2(x,o2(x,x))) | true | 140367 | 140367 | -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_x23_u1_b26 | 12 | 23 | 1 | 26 | ![]() |
log(mlt(R,pow(D,R))) | 38816 | 98376662 | o1(o2(x,o2(x,x))) | true | 140375 | 140375 | -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_x23_u1_b27 | 12 | 23 | 1 | 27 | ![]() |
log(mlt(R,mod(D,R))) | 38817 | 98376663 | o1(o2(x,o2(x,x))) | true | 140383 | 140383 | -0.9999 | 0 | 0.9999 | 0.00002064 | 0.004543 | -1 | -0.7879 | 0.2121 | 1 | 0.01158 | 0.000008888 | 0.000002803 | 0.0001286 | 0.5204 | 0 | 2.253e-11 | 0.00001862 | 0.0001812 | 0.00001167 | 0.003416 | 26.55 | 0.2121 | 0.5663 | 0.9019 | 1 | 1 | 0.00002681 | 0.00004179 | 0.00005678 | 1.299 | 2.024 | 2.751 | json |
| t12_x23_u1_b28 | 12 | 23 | 1 | 28 | ![]() |
log(mlt(R,lrg(D,R))) | 38818 | 98376664 | o1(o2(x,o2(x,x))) | true | 140391 | 140391 | -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_x23_u1_b29 | 12 | 23 | 1 | 29 | ![]() |
log(mlt(R,eql(D,R))) | 38819 | 98376665 | o1(o2(x,o2(x,x))) | true | 140399 | 140399 | -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_x23_u1_b30 | 12 | 23 | 1 | 30 | ![]() |
log(mlt(R,min(D,R))) | 38820 | 98376666 | o1(o2(x,o2(x,x))) | true | 140407 | 140407 | -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_x23_u1_b31 | 12 | 23 | 1 | 31 | ![]() |
log(mlt(R,dot(D,R))) | 38821 | 98376667 | o1(o2(x,o2(x,x))) | true | 140415 | 140415 | -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_x23_u1_b32 | 12 | 23 | 1 | 32 | ![]() |
log(mlt(R,dst(D,R))) | 38822 | 98376668 | o1(o2(x,o2(x,x))) | true | 140423 | 140423 | -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_x23_u1_b33 | 12 | 23 | 1 | 33 | ![]() |
log(div(R,add(D,R))) | 38823 | 98376669 | o1(o2(x,o2(x,x))) | true | 140431 | 140431 | -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_x23_u1_b34 | 12 | 23 | 1 | 34 | ![]() |
log(div(R,sub(D,R))) | 38824 | 98376670 | o1(o2(x,o2(x,x))) | true | 140439 | 140439 | -0.999 | 0.0004883 | 0.9998 | 0.001762 | 0.04198 | -1 | 1 | 2 | 1 | 0.009293 | 0.002171 | 0.0003086 | 0.001434 | 0.7511 | 1 | -3.754e-12 | 0.007004 | 0.002857 | 0.002476 | 0.04976 | 34.69 | 2.828 | 1.407 | 3.975 | 1 | 1 | 0.001781 | 0.003989 | 0.00401 | 1.011 | 2.264 | 2.276 | json |
| t12_x23_u1_b35 | 12 | 23 | 1 | 35 | ![]() |
log(div(R,mlt(D,R))) | 38825 | 98376671 | o1(o2(x,o2(x,x))) | true | 140447 | 140447 | -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_x23_u1_b36 | 12 | 23 | 1 | 36 | ![]() |
log(div(R,div(D,R))) | 38826 | 98376672 | o1(o2(x,o2(x,x))) | true | 140455 | 140455 | -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_x23_u1_b37 | 12 | 23 | 1 | 37 | ![]() |
log(div(R,pow(D,R))) | 38827 | 98376673 | o1(o2(x,o2(x,x))) | true | 140463 | 140463 | -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_x23_u1_b38 | 12 | 23 | 1 | 38 | ![]() |
log(div(R,mod(D,R))) | 38828 | 98376674 | o1(o2(x,o2(x,x))) | true | 140471 | 140471 | -0.9298 | 0.03906 | 0.992 | 0.1236 | 0.3516 | -1 | 1 | 2 | 1 | 0.3435 | 0.02218 | 0.01303 | 0.02333 | 0.2598 | 1 | -0.000002577 | 0.07738 | 0.04328 | 0.03464 | 0.1861 | 7.977 | 2.828 | 0.2848 | 0.626 | 1 | 1 | 0.03627 | 0.1294 | 0.2765 | 0.2934 | 1.047 | 2.237 | json |
| t12_x23_u1_b39 | 12 | 23 | 1 | 39 | ![]() |
log(div(R,lrg(D,R))) | 38829 | 98376675 | o1(o2(x,o2(x,x))) | true | 140479 | 140479 | -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_x23_u1_b40 | 12 | 23 | 1 | 40 | ![]() |
log(div(R,eql(D,R))) | 38830 | 98376676 | o1(o2(x,o2(x,x))) | true | 140487 | 140487 | -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_x23_u1_b41 | 12 | 23 | 1 | 41 | ![]() |
log(div(R,min(D,R))) | 38831 | 98376677 | o1(o2(x,o2(x,x))) | true | 140495 | 140495 | -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_x23_u1_b42 | 12 | 23 | 1 | 42 | ![]() |
log(div(R,dot(D,R))) | 38832 | 98376678 | o1(o2(x,o2(x,x))) | true | 140503 | 140503 | -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_x23_u1_b43 | 12 | 23 | 1 | 43 | ![]() |
log(div(R,dst(D,R))) | 38833 | 98376679 | o1(o2(x,o2(x,x))) | true | 140511 | 140511 | -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_x23_u1_b44 | 12 | 23 | 1 | 44 | ![]() |
log(pow(R,add(D,R))) | 38834 | 98376680 | o1(o2(x,o2(x,x))) | true | 140519 | 140519 | -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_x23_u1_b45 | 12 | 23 | 1 | 45 | ![]() |
log(pow(R,sub(D,R))) | 38835 | 98376681 | o1(o2(x,o2(x,x))) | true | 140527 | 140527 | -0.9465 | 0.04054 | 0.9681 | 0.06509 | 0.2551 | -1 | 0.7279 | 1.728 | 1 | 0.4039 | 0.006832 | 0.006474 | 0.01188 | 0.02692 | 1 | 0.000006343 | 0.02766 | 0.02129 | 0.01316 | 0.1147 | 9.659 | 1.98 | 0.2044 | 0.4249 | 1 | 1 | 0.01016 | 0.04295 | 0.1052 | 0.1561 | 0.6598 | 1.615 | json |
| t12_x23_u1_b46 | 12 | 23 | 1 | 46 | ![]() |
log(pow(R,mlt(D,R))) | 38836 | 98376682 | o1(o2(x,o2(x,x))) | true | 140535 | 140535 | -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_x23_u1_b47 | 12 | 23 | 1 | 47 | ![]() |
log(pow(R,div(D,R))) | 38837 | 98376683 | o1(o2(x,o2(x,x))) | true | 140543 | 140543 | -0.9574 | 0.02196 | 0.9733 | 0.05212 | 0.2283 | -1 | 1 | 2 | 1 | 0.4056 | 0.005104 | 0.004615 | 0.01161 | 0.05029 | 1 | 0.00001435 | 0.01877 | 0.01779 | 0.009577 | 0.09786 | 8.433 | 2.002 | 0.1865 | 0.3602 | 1 | 1 | 0.007007 | 0.02967 | 0.07425 | 0.1345 | 0.5693 | 1.425 | json |
| t12_x23_u1_b48 | 12 | 23 | 1 | 48 | ![]() |
log(pow(R,pow(D,R))) | 38838 | 98376684 | o1(o2(x,o2(x,x))) | true | 140551 | 140551 | -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_x23_u1_b49 | 12 | 23 | 1 | 49 | ![]() |
log(pow(R,mod(D,R))) | 38839 | 98376685 | o1(o2(x,o2(x,x))) | true | 140559 | 140559 | -0.9571 | 0.02036 | 0.9599 | 0.04136 | 0.2034 | -1 | 0.2582 | 1.258 | 1 | 0.3657 | 0.00441 | 0.004219 | 0.009964 | 0.02223 | 1 | 0.00001342 | 0.01808 | 0.01873 | 0.008528 | 0.09235 | 9.269 | 1.462 | 0.2086 | 0.4371 | 1 | 1 | 0.00663 | 0.02843 | 0.06885 | 0.1603 | 0.6873 | 1.665 | json |
| t12_x23_u1_b50 | 12 | 23 | 1 | 50 | ![]() |
log(pow(R,lrg(D,R))) | 38840 | 98376686 | o1(o2(x,o2(x,x))) | true | 140567 | 140567 | -0.9628 | 0 | 0.9628 | 0.03385 | 0.184 | -1 | 0 | 1 | 1 | 0.3452 | 0.005109 | 0.003412 | 0.009965 | 0.1992 | 1 | 0.000006535 | 0.01786 | 0.01804 | 0.008421 | 0.09177 | 9.209 | 1.414 | 0.2518 | 0.5277 | 1 | 1 | 0.006312 | 0.02428 | 0.0557 | 0.1865 | 0.7173 | 1.646 | json |
| t12_x23_u1_b51 | 12 | 23 | 1 | 51 | ![]() |
log(pow(R,eql(D,R))) | 38841 | 98376687 | o1(o2(x,o2(x,x))) | true | 140575 | 140575 | -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_x23_u1_b52 | 12 | 23 | 1 | 52 | ![]() |
log(pow(R,min(D,R))) | 38842 | 98376688 | o1(o2(x,o2(x,x))) | true | 140583 | 140583 | -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_x23_u1_b53 | 12 | 23 | 1 | 53 | ![]() |
log(pow(R,dot(D,R))) | 38843 | 98376689 | o1(o2(x,o2(x,x))) | true | 140591 | 140591 | -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_x23_u1_b54 | 12 | 23 | 1 | 54 | ![]() |
log(pow(R,dst(D,R))) | 38844 | 98376690 | o1(o2(x,o2(x,x))) | true | 140599 | 140599 | -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_x23_u1_b55 | 12 | 23 | 1 | 55 | ![]() |
log(mod(R,add(D,R))) | 38845 | 98376691 | o1(o2(x,o2(x,x))) | true | 140607 | 140607 | -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_x23_u1_b56 | 12 | 23 | 1 | 56 | ![]() |
log(mod(R,sub(D,R))) | 38846 | 98376692 | o1(o2(x,o2(x,x))) | true | 140615 | 140615 | -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_x23_u1_b57 | 12 | 23 | 1 | 57 | ![]() |
log(mod(R,mlt(D,R))) | 38847 | 98376693 | o1(o2(x,o2(x,x))) | true | 140623 | 140623 | -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_x23_u1_b58 | 12 | 23 | 1 | 58 | ![]() |
log(mod(R,div(D,R))) | 38848 | 98376694 | o1(o2(x,o2(x,x))) | true | 140631 | 140631 | -0.9993 | 0 | 0.9993 | 0.0001836 | 0.01355 | -1 | -0.3903 | 0.6097 | 1 | 0.04102 | 0.0001525 | 0.00004161 | 0.0008129 | 0.5713 | 1 | 9.491e-7 | 0.000493 | 0.001439 | 0.0001934 | 0.01391 | 17.11 | 0.6098 | 1.058 | 2.686 | 1 | 1 | 0.00006294 | 0.0001543 | 0.0001754 | 0.3428 | 0.8403 | 0.9554 | json |
| t12_x23_u1_b59 | 12 | 23 | 1 | 59 | ![]() |
log(mod(R,pow(D,R))) | 38849 | 98376695 | o1(o2(x,o2(x,x))) | true | 140639 | 140639 | -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_x23_u1_b60 | 12 | 23 | 1 | 60 | ![]() |
log(mod(R,mod(D,R))) | 38850 | 98376696 | o1(o2(x,o2(x,x))) | true | 140647 | 140647 | -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_x23_u1_b61 | 12 | 23 | 1 | 61 | ![]() |
log(mod(R,lrg(D,R))) | 38851 | 98376697 | o1(o2(x,o2(x,x))) | true | 140655 | 140655 | -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_x23_u1_b62 | 12 | 23 | 1 | 62 | ![]() |
log(mod(R,eql(D,R))) | 38852 | 98376698 | o1(o2(x,o2(x,x))) | true | 140663 | 140663 | -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_x23_u1_b63 | 12 | 23 | 1 | 63 | ![]() |
log(mod(R,min(D,R))) | 38853 | 98376699 | o1(o2(x,o2(x,x))) | true | 140671 | 140671 | -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_x23_u1_b64 | 12 | 23 | 1 | 64 | ![]() |
log(mod(R,dot(D,R))) | 38854 | 98376700 | o1(o2(x,o2(x,x))) | true | 140679 | 140679 | -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_x23_u1_b65 | 12 | 23 | 1 | 65 | ![]() |
log(mod(R,dst(D,R))) | 38855 | 98376701 | o1(o2(x,o2(x,x))) | true | 140687 | 140687 | -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_x23_u1_b66 | 12 | 23 | 1 | 66 | ![]() |
log(lrg(R,add(D,R))) | 38856 | 98376702 | o1(o2(x,o2(x,x))) | true | 140695 | 140695 | -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_x23_u1_b67 | 12 | 23 | 1 | 67 | ![]() |
log(lrg(R,sub(D,R))) | 38857 | 98376703 | o1(o2(x,o2(x,x))) | true | 140703 | 140703 | -0.9365 | 0 | 0.9365 | 0.05951 | 0.2439 | -1 | 0 | 1 | 1 | 0.3411 | 0.01276 | 0.005244 | 0.01781 | 0.4173 | 1 | 0 | 0.03937 | 0.036 | 0.01768 | 0.133 | 7.464 | 1.414 | 0.3025 | 0.6616 | 1 | 1 | 0.01672 | 0.05708 | 0.1097 | 0.2809 | 0.9592 | 1.843 | json |
| t12_x23_u1_b68 | 12 | 23 | 1 | 68 | ![]() |
log(lrg(R,mlt(D,R))) | 38858 | 98376704 | o1(o2(x,o2(x,x))) | true | 140711 | 140711 | -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_x23_u1_b69 | 12 | 23 | 1 | 69 | ![]() |
log(lrg(R,div(D,R))) | 38859 | 98376705 | o1(o2(x,o2(x,x))) | true | 140719 | 140719 | -0.9392 | 0 | 0.9392 | 0.05708 | 0.2389 | -1 | 0 | 1 | 1 | 0.3306 | 0.01912 | 0.005795 | 0.0246 | 0.5348 | 1 | -0.000252 | 0.05565 | 0.05008 | 0.02431 | 0.1559 | 6.339 | 1.414 | 0.4364 | 0.9749 | 1 | 1 | 0.0233 | 0.06701 | 0.09669 | 0.4081 | 1.174 | 1.694 | json |
| t12_x23_u1_b70 | 12 | 23 | 1 | 70 | ![]() |
log(lrg(R,pow(D,R))) | 38860 | 98376706 | o1(o2(x,o2(x,x))) | true | 140727 | 140727 | -0.9558 | 0 | 0.9558 | 0.04224 | 0.2055 | -1 | 0 | 1 | 1 | 0.2612 | 0.01798 | 0.003921 | 0.02168 | 0.642 | 1 | 0 | 0.05341 | 0.04381 | 0.02144 | 0.1464 | 6.754 | 1.414 | 0.5186 | 1.265 | 1 | 1 | 0.01892 | 0.05352 | 0.09143 | 0.4479 | 1.267 | 2.165 | json |
| t12_x23_u1_b71 | 12 | 23 | 1 | 71 | ![]() |
log(lrg(R,mod(D,R))) | 38861 | 98376707 | o1(o2(x,o2(x,x))) | true | 140735 | 140735 | -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_x23_u1_b72 | 12 | 23 | 1 | 72 | ![]() |
log(lrg(R,lrg(D,R))) | 38862 | 98376708 | o1(o2(x,o2(x,x))) | true | 140743 | 140743 | -0.9834 | 0 | 0.9834 | 0.01634 | 0.1278 | -1 | 0 | 1 | 1 | 0.1219 | 0.004976 | 0.001543 | 0.006445 | 0.5266 | 1 | 0 | 0.01398 | 0.01304 | 0.006478 | 0.08049 | 12.49 | 1.414 | 0.399 | 0.8557 | 1 | 1 | 0.003989 | 0.01435 | 0.02464 | 0.2441 | 0.8781 | 1.508 | json |
| t12_x23_u1_b73 | 12 | 23 | 1 | 73 | ![]() |
log(lrg(R,eql(D,R))) | 38863 | 98376709 | o1(o2(x,o2(x,x))) | true | 140751 | 140751 | -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_x23_u1_b74 | 12 | 23 | 1 | 74 | ![]() |
log(lrg(R,min(D,R))) | 38864 | 98376710 | o1(o2(x,o2(x,x))) | true | 140759 | 140759 | -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_x23_u1_b75 | 12 | 23 | 1 | 75 | ![]() |
log(lrg(R,dot(D,R))) | 38865 | 98376711 | o1(o2(x,o2(x,x))) | true | 140767 | 140767 | -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_x23_u1_b76 | 12 | 23 | 1 | 76 | ![]() |
log(lrg(R,dst(D,R))) | 38866 | 98376712 | o1(o2(x,o2(x,x))) | true | 140775 | 140775 | -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_x23_u1_b77 | 12 | 23 | 1 | 77 | ![]() |
log(eql(R,add(D,R))) | 38867 | 98376713 | o1(o2(x,o2(x,x))) | true | 140783 | 140783 | -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_x23_u1_b78 | 12 | 23 | 1 | 78 | ![]() |
log(eql(R,sub(D,R))) | 38868 | 98376714 | o1(o2(x,o2(x,x))) | true | 140791 | 140791 | -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_x23_u1_b79 | 12 | 23 | 1 | 79 | ![]() |
log(eql(R,mlt(D,R))) | 38869 | 98376715 | o1(o2(x,o2(x,x))) | true | 140799 | 140799 | -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_x23_u1_b80 | 12 | 23 | 1 | 80 | ![]() |
log(eql(R,div(D,R))) | 38870 | 98376716 | o1(o2(x,o2(x,x))) | true | 140807 | 140807 | -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_x23_u1_b81 | 12 | 23 | 1 | 81 | ![]() |
log(eql(R,pow(D,R))) | 38871 | 98376717 | o1(o2(x,o2(x,x))) | true | 140815 | 140815 | -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_x23_u1_b82 | 12 | 23 | 1 | 82 | ![]() |
log(eql(R,mod(D,R))) | 38872 | 98376718 | o1(o2(x,o2(x,x))) | true | 140823 | 140823 | -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_x23_u1_b83 | 12 | 23 | 1 | 83 | ![]() |
log(eql(R,lrg(D,R))) | 38873 | 98376719 | o1(o2(x,o2(x,x))) | true | 140831 | 140831 | -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_x23_u1_b84 | 12 | 23 | 1 | 84 | ![]() |
log(eql(R,eql(D,R))) | 38874 | 98376720 | o1(o2(x,o2(x,x))) | true | 140839 | 140839 | -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_x23_u1_b85 | 12 | 23 | 1 | 85 | ![]() |
log(eql(R,min(D,R))) | 38875 | 98376721 | o1(o2(x,o2(x,x))) | true | 140847 | 140847 | -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_x23_u1_b86 | 12 | 23 | 1 | 86 | ![]() |
log(eql(R,dot(D,R))) | 38876 | 98376722 | o1(o2(x,o2(x,x))) | true | 140855 | 140855 | -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_x23_u1_b87 | 12 | 23 | 1 | 87 | ![]() |
log(eql(R,dst(D,R))) | 38877 | 98376723 | o1(o2(x,o2(x,x))) | true | 140863 | 140863 | -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_x23_u1_b88 | 12 | 23 | 1 | 88 | ![]() |
log(min(R,add(D,R))) | 38878 | 98376724 | o1(o2(x,o2(x,x))) | true | 140871 | 140871 | -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_x23_u1_b89 | 12 | 23 | 1 | 89 | ![]() |
log(min(R,sub(D,R))) | 38879 | 98376725 | o1(o2(x,o2(x,x))) | true | 140879 | 140879 | -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_x23_u1_b90 | 12 | 23 | 1 | 90 | ![]() |
log(min(R,mlt(D,R))) | 38880 | 98376726 | o1(o2(x,o2(x,x))) | true | 140887 | 140887 | -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_x23_u1_b91 | 12 | 23 | 1 | 91 | ![]() |
log(min(R,div(D,R))) | 38881 | 98376727 | o1(o2(x,o2(x,x))) | true | 140895 | 140895 | -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_x23_u1_b92 | 12 | 23 | 1 | 92 | ![]() |
log(min(R,pow(D,R))) | 38882 | 98376728 | o1(o2(x,o2(x,x))) | true | 140903 | 140903 | -0.9902 | 0 | 0.9902 | 0.005256 | 0.0725 | -1 | -0.062 | 0.938 | 1 | 0.2455 | 0.0006604 | 0.0005929 | 0.003517 | 0.05389 | 1 | 0.0000111 | 0.002376 | 0.004445 | 0.001241 | 0.03522 | 10.01 | 1.212 | 0.2385 | 0.452 | 1 | 1 | 0.001099 | 0.00535 | 0.009693 | 0.2092 | 1.018 | 1.844 | json |
| t12_x23_u1_b93 | 12 | 23 | 1 | 93 | ![]() |
log(min(R,mod(D,R))) | 38883 | 98376729 | o1(o2(x,o2(x,x))) | true | 140911 | 140911 | -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_x23_u1_b94 | 12 | 23 | 1 | 94 | ![]() |
log(min(R,lrg(D,R))) | 38884 | 98376730 | o1(o2(x,o2(x,x))) | true | 140919 | 140919 | -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_x23_u1_b95 | 12 | 23 | 1 | 95 | ![]() |
log(min(R,eql(D,R))) | 38885 | 98376731 | o1(o2(x,o2(x,x))) | true | 140927 | 140927 | -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_x23_u1_b96 | 12 | 23 | 1 | 96 | ![]() |
log(min(R,min(D,R))) | 38886 | 98376732 | o1(o2(x,o2(x,x))) | true | 140935 | 140935 | -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_x23_u1_b97 | 12 | 23 | 1 | 97 | ![]() |
log(min(R,dot(D,R))) | 38887 | 98376733 | o1(o2(x,o2(x,x))) | true | 140943 | 140943 | -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_x23_u1_b98 | 12 | 23 | 1 | 98 | ![]() |
log(min(R,dst(D,R))) | 38888 | 98376734 | o1(o2(x,o2(x,x))) | true | 140951 | 140951 | -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_x23_u1_b99 | 12 | 23 | 1 | 99 | ![]() |
log(dot(R,add(D,R))) | 38889 | 98376735 | o1(o2(x,o2(x,x))) | true | 140959 | 140959 | -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_x23_u1_b100 | 12 | 23 | 1 | 100 | ![]() |
log(dot(R,sub(D,R))) | 38890 | 98376736 | o1(o2(x,o2(x,x))) | true | 140967 | 140967 | -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_x23_u1_b101 | 12 | 23 | 1 | 101 | ![]() |
log(dot(R,mlt(D,R))) | 38891 | 98376737 | o1(o2(x,o2(x,x))) | true | 140975 | 140975 | -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_x23_u1_b102 | 12 | 23 | 1 | 102 | ![]() |
log(dot(R,div(D,R))) | 38892 | 98376738 | o1(o2(x,o2(x,x))) | true | 140983 | 140983 | -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_x23_u1_b103 | 12 | 23 | 1 | 103 | ![]() |
log(dot(R,pow(D,R))) | 38893 | 98376739 | o1(o2(x,o2(x,x))) | true | 140991 | 140991 | -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_x23_u1_b104 | 12 | 23 | 1 | 104 | ![]() |
log(dot(R,mod(D,R))) | 38894 | 98376740 | o1(o2(x,o2(x,x))) | true | 140999 | 140999 | -0.9995 | 0 | 0.9995 | 0.0001051 | 0.01025 | -1 | -0.6402 | 0.3598 | 1 | 0.0351 | 0.00004003 | 0.00003632 | 0.000573 | 0.04861 | 0 | -2.253e-11 | 0.0001875 | 0.0008832 | 0.00007603 | 0.008719 | 15.22 | 0.4626 | 0.7265 | 1.784 | 1 | 1 | 0.0001413 | 0.0003221 | 0.000344 | 1.344 | 3.065 | 3.273 | json |
| t12_x23_u1_b105 | 12 | 23 | 1 | 105 | ![]() |
log(dot(R,lrg(D,R))) | 38895 | 98376741 | o1(o2(x,o2(x,x))) | true | 141007 | 141007 | -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_x23_u1_b106 | 12 | 23 | 1 | 106 | ![]() |
log(dot(R,eql(D,R))) | 38896 | 98376742 | o1(o2(x,o2(x,x))) | true | 141015 | 141015 | -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_x23_u1_b107 | 12 | 23 | 1 | 107 | ![]() |
log(dot(R,min(D,R))) | 38897 | 98376743 | o1(o2(x,o2(x,x))) | true | 141023 | 141023 | -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_x23_u1_b108 | 12 | 23 | 1 | 108 | ![]() |
log(dot(R,dot(D,R))) | 38898 | 98376744 | o1(o2(x,o2(x,x))) | true | 141031 | 141031 | -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_x23_u1_b109 | 12 | 23 | 1 | 109 | ![]() |
log(dot(R,dst(D,R))) | 38899 | 98376745 | o1(o2(x,o2(x,x))) | true | 141039 | 141039 | -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 |



































































































