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_x4_u1_b3 | 12 | 4 | 1 | 3 | ![]() |
log(add(P,div(D,D))) | 22700 | 97609020 | o1(o2(x,o2(x,x))) | true | 11447 | 11447 | -0.04717 | 0.5 | 0.9493 | 0.93 | 0.9644 | -1 | 1 | 2 | 1 | 1.719 | 0.005743 | 0 | 0.01145 | 1 | 1 | -4.735e-10 | 0.01259 | 0.01595 | 0.005611 | 0.07491 | 6.541 | 1 | 0.006175 | 0.01354 | 1 | 1 | 0.006887 | 0.03117 | 0.2458 | 0.007405 | 0.03352 | 0.2643 | json |
| t12_x4_u1_b4 | 12 | 4 | 1 | 4 | ![]() |
log(add(P,pow(D,D))) | 22701 | 97609021 | o1(o2(x,o2(x,x))) | true | 11455 | 11455 | -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_x4_u1_b5 | 12 | 4 | 1 | 5 | ![]() |
log(add(P,mod(D,D))) | 22702 | 97609022 | o1(o2(x,o2(x,x))) | true | 11463 | 11463 | -0.1684 | 0.4375 | 0.949 | 0.9019 | 0.9497 | -1 | 1 | 2 | 1 | 1.7 | 0.007789 | 0 | 0.01934 | 1 | 1 | 4.731e-10 | 0.01559 | 0.03349 | 0.007414 | 0.0861 | 4.453 | 1 | 0.008636 | 0.01729 | 1 | 1 | 0.01032 | 0.03885 | 0.2435 | 0.01145 | 0.04307 | 0.27 | json |
| t12_x4_u1_b6 | 12 | 4 | 1 | 6 | ![]() |
log(add(P,lrg(D,D))) | 22703 | 97609023 | o1(o2(x,o2(x,x))) | true | 11471 | 11471 | -0.1739 | 0.4375 | 0.9511 | 0.9053 | 0.9515 | -1 | 1 | 2 | 1 | 1.654 | 0.004186 | 0 | 0.007937 | 1 | 1 | 1.42e-9 | 0.007916 | 0.008917 | 0.004122 | 0.0642 | 8.089 | 1 | 0.004624 | 0.008745 | 1 | 1 | 0.005854 | 0.03284 | 0.2495 | 0.006466 | 0.03627 | 0.2755 | json |
| t12_x4_u1_b7 | 12 | 4 | 1 | 7 | ![]() |
log(add(P,eql(D,D))) | 22704 | 97609024 | o1(o2(x,o2(x,x))) | true | 11479 | 11479 | -0.0489 | 0.5 | 0.9511 | 0.9333 | 0.9661 | -1 | 1 | 2 | 1 | 1.686 | 0.004186 | 0 | 0.007937 | 1 | 1 | 1.42e-9 | 0.007916 | 0.008917 | 0.004122 | 0.0642 | 8.089 | 1 | 0.004485 | 0.008482 | 1 | 1 | 0.005854 | 0.03284 | 0.2495 | 0.006272 | 0.03518 | 0.2673 | json |
| t12_x4_u1_b8 | 12 | 4 | 1 | 8 | ![]() |
log(add(P,min(D,D))) | 22705 | 97609025 | o1(o2(x,o2(x,x))) | true | 11487 | 11487 | -0.1469 | 0.4375 | 0.9321 | 0.8863 | 0.9414 | -1 | 1 | 2 | 1 | 2.031 | 0.0005579 | 0 | 0.007936 | 1 | 1 | -1.36e-9 | 0.00005267 | 0.001136 | 0.0004949 | 0.02225 | 2.803 | 0.1431 | 0.0006295 | 0.00005942 | 1 | 1 | 0.001445 | 0.01998 | 0.2134 | 0.00163 | 0.02254 | 0.2408 | json |
| t12_x4_u1_b9 | 12 | 4 | 1 | 9 | ![]() |
log(add(P,dot(D,D))) | 22706 | 97609026 | o1(o2(x,o2(x,x))) | true | 11495 | 11495 | -0.1254 | 0.459 | 0.9336 | 0.8978 | 0.9475 | -1 | 1 | 2 | 1 | 1.923 | 0.001123 | 0.0001603 | 0.009402 | 0.7501 | 1 | -0.00002314 | 0.0004476 | 0.003946 | 0.001195 | 0.03456 | 3.676 | 0.3575 | 0.001429 | 0.0004986 | 1 | 1 | 0.003161 | 0.02921 | 0.2204 | 0.003521 | 0.03253 | 0.2455 | json |
| t12_x4_u1_b10 | 12 | 4 | 1 | 10 | ![]() |
log(add(P,dst(D,D))) | 22707 | 97609027 | o1(o2(x,o2(x,x))) | true | 11503 | 11503 | -0.1739 | 0.4375 | 0.9511 | 0.9053 | 0.9515 | -1 | 1 | 2 | 1 | 1.654 | 0.004186 | 0 | 0.007937 | 1 | 1 | 1.42e-9 | 0.007916 | 0.008917 | 0.004122 | 0.0642 | 8.089 | 1 | 0.004624 | 0.008745 | 1 | 1 | 0.005854 | 0.03284 | 0.2495 | 0.006466 | 0.03627 | 0.2755 | json |
| t12_x4_u1_b11 | 12 | 4 | 1 | 11 | ![]() |
log(sub(P,add(D,D))) | 22708 | 97609028 | o1(o2(x,o2(x,x))) | true | 11511 | 11511 | -0.2493 | 0.375 | 0.969 | 0.8926 | 0.9448 | -1 | 1 | 2 | 1 | 1.488 | 0.01518 | 0 | 0.01651 | 1 | 1 | -1.419e-9 | 0.03111 | 0.02425 | 0.0149 | 0.122 | 7.393 | 1.662 | 0.01701 | 0.03485 | 1 | 1 | 0.01964 | 0.07017 | 0.2757 | 0.022 | 0.07861 | 0.3089 | json |
| t12_x4_u1_b12 | 12 | 4 | 1 | 12 | ![]() |
log(sub(P,sub(D,D))) | 22709 | 97609029 | o1(o2(x,o2(x,x))) | true | 11519 | 11519 | -0.1739 | 0.4375 | 0.9511 | 0.9053 | 0.9515 | -1 | 1 | 2 | 1 | 1.654 | 0.004186 | 0 | 0.007937 | 1 | 1 | 1.42e-9 | 0.007916 | 0.008917 | 0.004122 | 0.0642 | 8.089 | 1 | 0.004624 | 0.008745 | 1 | 1 | 0.005854 | 0.03284 | 0.2495 | 0.006466 | 0.03627 | 0.2755 | json |
| t12_x4_u1_b13 | 12 | 4 | 1 | 13 | ![]() |
log(sub(P,mlt(D,D))) | 22710 | 97609030 | o1(o2(x,o2(x,x))) | true | 11527 | 11527 | -0.1832 | 0.418 | 0.9422 | 0.8934 | 0.9452 | -1 | 1 | 2 | 1 | 1.699 | 0.004233 | 0 | 0.008169 | 1 | 1 | -1.173e-13 | 0.007998 | 0.009268 | 0.004163 | 0.06452 | 7.899 | 0.999 | 0.004738 | 0.008952 | 1 | 1 | 0.005923 | 0.02977 | 0.2382 | 0.006631 | 0.03332 | 0.2666 | json |
| t12_x4_u1_b14 | 12 | 4 | 1 | 14 | ![]() |
log(sub(P,div(D,D))) | 22711 | 97609031 | o1(o2(x,o2(x,x))) | true | 11535 | 11535 | -0.2917 | 0.375 | 0.9438 | 0.8419 | 0.9175 | -1 | 1 | 2 | 1 | 1.663 | 0.003233 | 0 | 0.007937 | 1 | 1 | 1.655e-9 | 0.005132 | 0.007818 | 0.003169 | 0.0563 | 7.093 | 0.8617 | 0.003841 | 0.006096 | 1 | 1 | 0.005174 | 0.02955 | 0.239 | 0.006145 | 0.0351 | 0.2839 | json |
| t12_x4_u1_b15 | 12 | 4 | 1 | 15 | ![]() |
log(sub(P,pow(D,D))) | 22712 | 97609032 | o1(o2(x,o2(x,x))) | true | 11543 | 11543 | -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_x4_u1_b16 | 12 | 4 | 1 | 16 | ![]() |
log(sub(P,mod(D,D))) | 22713 | 97609033 | o1(o2(x,o2(x,x))) | true | 11551 | 11551 | -0.1778 | 0.4219 | 0.9507 | 0.9029 | 0.9502 | -1 | 1 | 2 | 1 | 1.609 | 0.006729 | 0 | 0.01568 | 1 | 1 | -4.731e-10 | 0.01456 | 0.02847 | 0.006482 | 0.08051 | 5.135 | 1 | 0.007453 | 0.01613 | 1 | 1 | 0.008193 | 0.03193 | 0.2489 | 0.009074 | 0.03537 | 0.2756 | json |
| t12_x4_u1_b17 | 12 | 4 | 1 | 17 | ![]() |
log(sub(P,lrg(D,D))) | 22714 | 97609034 | o1(o2(x,o2(x,x))) | true | 11559 | 11559 | -0.1739 | 0.4375 | 0.9511 | 0.9053 | 0.9515 | -1 | 1 | 2 | 1 | 1.654 | 0.004186 | 0 | 0.007937 | 1 | 1 | 1.42e-9 | 0.007916 | 0.008917 | 0.004122 | 0.0642 | 8.089 | 1 | 0.004624 | 0.008745 | 1 | 1 | 0.005854 | 0.03284 | 0.2495 | 0.006466 | 0.03627 | 0.2755 | json |
| t12_x4_u1_b18 | 12 | 4 | 1 | 18 | ![]() |
log(sub(P,eql(D,D))) | 22715 | 97609035 | o1(o2(x,o2(x,x))) | true | 11567 | 11567 | -0.2989 | 0.375 | 0.9511 | 0.8461 | 0.9199 | -1 | 1 | 2 | 1 | 1.595 | 0.004186 | 0 | 0.007937 | 1 | 1 | 1.42e-9 | 0.007916 | 0.008917 | 0.004122 | 0.0642 | 8.089 | 1 | 0.004947 | 0.009356 | 1 | 1 | 0.005854 | 0.03284 | 0.2495 | 0.006919 | 0.03881 | 0.2948 | json |
| t12_x4_u1_b19 | 12 | 4 | 1 | 19 | ![]() |
log(sub(P,min(D,D))) | 22716 | 97609036 | o1(o2(x,o2(x,x))) | true | 11575 | 11575 | -0.1845 | 0.4102 | 0.946 | 0.8951 | 0.9461 | -1 | 1 | 2 | 1 | 1.666 | 0.004179 | 0 | 0.009576 | 1 | 1 | -3.075e-9 | 0.007969 | 0.009942 | 0.004088 | 0.06393 | 6.676 | 0.9686 | 0.004669 | 0.008903 | 1 | 1 | 0.005802 | 0.02944 | 0.2416 | 0.006482 | 0.03289 | 0.27 | json |
| t12_x4_u1_b20 | 12 | 4 | 1 | 20 | ![]() |
log(sub(P,dot(D,D))) | 22717 | 97609037 | o1(o2(x,o2(x,x))) | true | 11583 | 11583 | -0.2278 | 0.3848 | 0.953 | 0.8876 | 0.9421 | -1 | 1 | 2 | 1 | 1.611 | 0.01928 | 0.006653 | 0.02307 | 0.487 | 1 | -0.00005151 | 0.07336 | 0.04201 | 0.02539 | 0.1594 | 6.907 | 2.006 | 0.02922 | 0.08265 | 1 | 1 | 0.03402 | 0.08458 | 0.2545 | 0.03833 | 0.09529 | 0.2867 | json |
| t12_x4_u1_b21 | 12 | 4 | 1 | 21 | ![]() |
log(sub(P,dst(D,D))) | 22718 | 97609038 | o1(o2(x,o2(x,x))) | true | 11591 | 11591 | -0.1739 | 0.4375 | 0.9511 | 0.9053 | 0.9515 | -1 | 1 | 2 | 1 | 1.654 | 0.004186 | 0 | 0.007937 | 1 | 1 | 1.42e-9 | 0.007916 | 0.008917 | 0.004122 | 0.0642 | 8.089 | 1 | 0.004624 | 0.008745 | 1 | 1 | 0.005854 | 0.03284 | 0.2495 | 0.006466 | 0.03627 | 0.2755 | json |
| t12_x4_u1_b22 | 12 | 4 | 1 | 22 | ![]() |
log(mlt(P,add(D,D))) | 22719 | 97609039 | o1(o2(x,o2(x,x))) | true | 11599 | 11599 | -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_x4_u1_b23 | 12 | 4 | 1 | 23 | ![]() |
log(mlt(P,sub(D,D))) | 22720 | 97609040 | o1(o2(x,o2(x,x))) | true | 11607 | 11607 | -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_x4_u1_b24 | 12 | 4 | 1 | 24 | ![]() |
log(mlt(P,mlt(D,D))) | 22721 | 97609041 | o1(o2(x,o2(x,x))) | true | 11615 | 11615 | -0.8509 | 0.06641 | 0.8913 | 0.1354 | 0.368 | -1 | 0.6156 | 1.616 | 1 | 1.498 | 0.01938 | 0 | 0.05453 | 1 | 1 | 1.419e-9 | 0.01042 | 0.04216 | 0.01641 | 0.1281 | 2.349 | 0.5859 | 0.1431 | 0.07695 | 1 | 1 | 0.02133 | 0.09423 | 0.02417 | 0.1575 | 0.6959 | 0.1785 | json |
| t12_x4_u1_b25 | 12 | 4 | 1 | 25 | ![]() |
log(mlt(P,div(D,D))) | 22722 | 97609042 | o1(o2(x,o2(x,x))) | true | 11623 | 11623 | -0.1739 | 0.4375 | 0.9511 | 0.9053 | 0.9515 | -1 | 1 | 2 | 1 | 1.654 | 0.004186 | 0 | 0.007937 | 1 | 1 | -4.693e-13 | 0.007916 | 0.008917 | 0.004122 | 0.0642 | 8.089 | 1 | 0.004624 | 0.008745 | 1 | 1 | 0.005854 | 0.03284 | 0.2495 | 0.006466 | 0.03627 | 0.2755 | json |
| t12_x4_u1_b26 | 12 | 4 | 1 | 26 | ![]() |
log(mlt(P,pow(D,D))) | 22723 | 97609043 | o1(o2(x,o2(x,x))) | true | 11631 | 11631 | -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_x4_u1_b27 | 12 | 4 | 1 | 27 | ![]() |
log(mlt(P,mod(D,D))) | 22724 | 97609044 | o1(o2(x,o2(x,x))) | true | 11639 | 11639 | -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_x4_u1_b28 | 12 | 4 | 1 | 28 | ![]() |
log(mlt(P,lrg(D,D))) | 22725 | 97609045 | o1(o2(x,o2(x,x))) | true | 11647 | 11647 | -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_x4_u1_b29 | 12 | 4 | 1 | 29 | ![]() |
log(mlt(P,eql(D,D))) | 22726 | 97609046 | o1(o2(x,o2(x,x))) | true | 11655 | 11655 | -0.1739 | 0.4375 | 0.9511 | 0.9053 | 0.9515 | -1 | 1 | 2 | 1 | 1.654 | 0.004186 | 0 | 0.007937 | 1 | 1 | 1.42e-9 | 0.007916 | 0.008917 | 0.004122 | 0.0642 | 8.089 | 1 | 0.004624 | 0.008745 | 1 | 1 | 0.005854 | 0.03284 | 0.2495 | 0.006466 | 0.03627 | 0.2755 | json |
| t12_x4_u1_b30 | 12 | 4 | 1 | 30 | ![]() |
log(mlt(P,min(D,D))) | 22727 | 97609047 | o1(o2(x,o2(x,x))) | true | 11663 | 11663 | -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_x4_u1_b31 | 12 | 4 | 1 | 31 | ![]() |
log(mlt(P,dot(D,D))) | 22728 | 97609048 | o1(o2(x,o2(x,x))) | true | 11671 | 11671 | -0.6669 | 0.1699 | 0.8331 | 0.3363 | 0.5799 | -1 | 1 | 2 | 1 | 2.426 | 0.01284 | 0.01249 | 0.08071 | 0.01377 | 1 | -0.0007501 | 0.01168 | 0.04348 | 0.01882 | 0.1372 | 1.7 | 0.6521 | 0.07534 | 0.03474 | 1 | 1 | 0.03539 | 0.2005 | 0.0574 | 0.1052 | 0.5961 | 0.1707 | json |
| t12_x4_u1_b32 | 12 | 4 | 1 | 32 | ![]() |
log(mlt(P,dst(D,D))) | 22729 | 97609049 | o1(o2(x,o2(x,x))) | true | 11679 | 11679 | -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_x4_u1_b33 | 12 | 4 | 1 | 33 | ![]() |
log(div(P,add(D,D))) | 22730 | 97609050 | o1(o2(x,o2(x,x))) | true | 11687 | 11687 | -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_x4_u1_b34 | 12 | 4 | 1 | 34 | ![]() |
log(div(P,sub(D,D))) | 22731 | 97609051 | o1(o2(x,o2(x,x))) | true | 11695 | 11695 | -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_x4_u1_b35 | 12 | 4 | 1 | 35 | ![]() |
log(div(P,mlt(D,D))) | 22732 | 97609052 | o1(o2(x,o2(x,x))) | true | 11703 | 11703 | -0.125 | 0.4375 | 1 | 0.9844 | 0.9922 | -1 | 1 | 2 | 1 | 0.9887 | 0.01587 | 0 | 0.007937 | 1 | 1 | 0 | 0.03175 | 0.01587 | 0.01581 | 0.1257 | 15.84 | 2 | 0.01612 | 0.03225 | 1 | 1 | 0.02105 | 0.08421 | 0.3368 | 0.02139 | 0.08555 | 0.3422 | json |
| t12_x4_u1_b36 | 12 | 4 | 1 | 36 | ![]() |
log(div(P,div(D,D))) | 22733 | 97609053 | o1(o2(x,o2(x,x))) | true | 11711 | 11711 | -0.1739 | 0.4375 | 0.9511 | 0.9053 | 0.9515 | -1 | 1 | 2 | 1 | 1.654 | 0.004186 | 0 | 0.007937 | 1 | 1 | 1.892e-9 | 0.007916 | 0.008917 | 0.004122 | 0.0642 | 8.089 | 1 | 0.004624 | 0.008745 | 1 | 1 | 0.005854 | 0.03284 | 0.2495 | 0.006466 | 0.03627 | 0.2755 | json |
| t12_x4_u1_b37 | 12 | 4 | 1 | 37 | ![]() |
log(div(P,pow(D,D))) | 22734 | 97609054 | o1(o2(x,o2(x,x))) | true | 11719 | 11719 | -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_x4_u1_b38 | 12 | 4 | 1 | 38 | ![]() |
log(div(P,mod(D,D))) | 22735 | 97609055 | o1(o2(x,o2(x,x))) | true | 11727 | 11727 | -0.7813 | 0.1094 | 1 | 0.3893 | 0.6239 | -1 | 1 | 2 | 1 | 0.498 | 0.6667 | 0 | 0.3333 | 1 | 1 | 0 | 2 | 0.6667 | 0.5555 | 0.7453 | 2.236 | 2 | 1.712 | 5.137 | 1 | 1 | 0.3158 | 0.4526 | 0.08421 | 0.8112 | 1.163 | 0.2163 | json |
| t12_x4_u1_b39 | 12 | 4 | 1 | 39 | ![]() |
log(div(P,lrg(D,D))) | 22736 | 97609056 | o1(o2(x,o2(x,x))) | true | 11735 | 11735 | -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_x4_u1_b40 | 12 | 4 | 1 | 40 | ![]() |
log(div(P,eql(D,D))) | 22737 | 97609057 | o1(o2(x,o2(x,x))) | true | 11743 | 11743 | -0.1739 | 0.4375 | 0.9511 | 0.9053 | 0.9515 | -1 | 1 | 2 | 1 | 1.654 | 0.004186 | 0 | 0.007937 | 1 | 1 | 1.42e-9 | 0.007916 | 0.008917 | 0.004122 | 0.0642 | 8.089 | 1 | 0.004624 | 0.008745 | 1 | 1 | 0.005854 | 0.03284 | 0.2495 | 0.006466 | 0.03627 | 0.2755 | json |
| t12_x4_u1_b41 | 12 | 4 | 1 | 41 | ![]() |
log(div(P,min(D,D))) | 22738 | 97609058 | o1(o2(x,o2(x,x))) | true | 11751 | 11751 | -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_x4_u1_b42 | 12 | 4 | 1 | 42 | ![]() |
log(div(P,dot(D,D))) | 22739 | 97609059 | o1(o2(x,o2(x,x))) | true | 11759 | 11759 | -0.125 | 0.4375 | 1 | 0.9844 | 0.9922 | -1 | 1 | 2 | 1 | 0.9887 | 0.01587 | 2.696e-8 | 0.007946 | 1 | 1 | -1.201e-10 | 0.03175 | 0.0159 | 0.01581 | 0.1257 | 15.82 | 2 | 0.01613 | 0.03225 | 1 | 1 | 0.02105 | 0.0842 | 0.3368 | 0.02139 | 0.08554 | 0.3422 | json |
| t12_x4_u1_b43 | 12 | 4 | 1 | 43 | ![]() |
log(div(P,dst(D,D))) | 22740 | 97609060 | o1(o2(x,o2(x,x))) | true | 11767 | 11767 | -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_x4_u1_b44 | 12 | 4 | 1 | 44 | ![]() |
log(pow(P,add(D,D))) | 22741 | 97609061 | o1(o2(x,o2(x,x))) | true | 11775 | 11775 | -0.5997 | 0.1719 | 0.686 | 0.2496 | 0.4996 | -1 | 0.5506 | 1.551 | 1 | 2.798 | 0.01021 | 0 | 0.04852 | 1 | 1 | 0.0006776 | 0.008974 | 0.02552 | 0.007855 | 0.08863 | 1.827 | 0.9996 | 0.04092 | 0.03596 | 1 | 1 | 0.01394 | 0.08264 | 0.06627 | 0.05587 | 0.3311 | 0.2656 | json |
| t12_x4_u1_b45 | 12 | 4 | 1 | 45 | ![]() |
log(pow(P,sub(D,D))) | 22742 | 97609062 | o1(o2(x,o2(x,x))) | true | 11783 | 11783 | 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_x4_u1_b46 | 12 | 4 | 1 | 46 | ![]() |
log(pow(P,mlt(D,D))) | 22743 | 97609063 | o1(o2(x,o2(x,x))) | true | 11791 | 11791 | -0.4913 | 0.4375 | 0.6337 | 0.342 | 0.5848 | -1 | 0.4979 | 1.498 | 1 | 2.177 | 0.005154 | 0 | 0.02256 | 1 | 1 | -0.0002419 | 0.008087 | 0.01539 | 0.004645 | 0.06815 | 3.021 | 1 | 0.01507 | 0.02365 | 1 | 1 | 0.006805 | 0.03383 | 0.09903 | 0.01989 | 0.0989 | 0.2895 | json |
| t12_x4_u1_b47 | 12 | 4 | 1 | 47 | ![]() |
log(pow(P,div(D,D))) | 22744 | 97609064 | o1(o2(x,o2(x,x))) | true | 11799 | 11799 | -0.1739 | 0.4375 | 0.9511 | 0.9053 | 0.9515 | -1 | 1 | 2 | 1 | 1.654 | 0.004186 | 0 | 0.007937 | 1 | 1 | 4.735e-10 | 0.007916 | 0.008917 | 0.004122 | 0.0642 | 8.089 | 1 | 0.004624 | 0.008745 | 1 | 1 | 0.005854 | 0.03284 | 0.2495 | 0.006466 | 0.03627 | 0.2755 | json |
| t12_x4_u1_b48 | 12 | 4 | 1 | 48 | ![]() |
log(pow(P,pow(D,D))) | 22745 | 97609065 | o1(o2(x,o2(x,x))) | true | 11807 | 11807 | -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_x4_u1_b49 | 12 | 4 | 1 | 49 | ![]() |
log(pow(P,mod(D,D))) | 22746 | 97609066 | o1(o2(x,o2(x,x))) | true | 11815 | 11815 | -0.5692 | 0.09375 | 0.6246 | 0.2616 | 0.5115 | -1 | 0.531 | 1.531 | 1 | 2.232 | 0.04151 | 0 | 0.08954 | 1 | 1 | -0.0007681 | 0.09865 | 0.1766 | 0.03351 | 0.1831 | 2.044 | 1.054 | 0.1587 | 0.3771 | 1 | 1 | 0.02511 | 0.04243 | 0.0822 | 0.09599 | 0.1622 | 0.3142 | json |
| t12_x4_u1_b50 | 12 | 4 | 1 | 50 | ![]() |
log(pow(P,lrg(D,D))) | 22747 | 97609067 | o1(o2(x,o2(x,x))) | true | 11823 | 11823 | -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_x4_u1_b51 | 12 | 4 | 1 | 51 | ![]() |
log(pow(P,eql(D,D))) | 22748 | 97609068 | o1(o2(x,o2(x,x))) | true | 11831 | 11831 | -0.1739 | 0.4375 | 0.9511 | 0.9053 | 0.9515 | -1 | 1 | 2 | 1 | 1.654 | 0.004186 | 0 | 0.007937 | 1 | 1 | 1.42e-9 | 0.007916 | 0.008917 | 0.004122 | 0.0642 | 8.089 | 1 | 0.004624 | 0.008745 | 1 | 1 | 0.005854 | 0.03284 | 0.2495 | 0.006466 | 0.03627 | 0.2755 | json |
| t12_x4_u1_b52 | 12 | 4 | 1 | 52 | ![]() |
log(pow(P,min(D,D))) | 22749 | 97609069 | o1(o2(x,o2(x,x))) | true | 11839 | 11839 | -0.5811 | 0.1719 | 0.6243 | 0.2366 | 0.4864 | -1 | 0.2753 | 1.275 | 1 | 2.4 | 0.005528 | 0 | 0.02624 | 1 | 1 | 0.0003388 | 0.008211 | 0.01673 | 0.00484 | 0.06957 | 2.651 | 0.9998 | 0.02337 | 0.03471 | 1 | 1 | 0.00742 | 0.03505 | 0.07311 | 0.03137 | 0.1482 | 0.3091 | json |
| t12_x4_u1_b53 | 12 | 4 | 1 | 53 | ![]() |
log(pow(P,dot(D,D))) | 22750 | 97609070 | o1(o2(x,o2(x,x))) | true | 11847 | 11847 | -0.4202 | 0.4375 | 0.7048 | 0.455 | 0.6745 | -1 | 0.9974 | 1.997 | 1 | 2.602 | 0.005161 | 0.001168 | 0.03242 | 0.6309 | 1 | -0.0003825 | 0.008265 | 0.01751 | 0.005277 | 0.07264 | 2.241 | 1 | 0.01391 | 0.01817 | 1 | 1 | 0.008339 | 0.04475 | 0.1172 | 0.01833 | 0.09835 | 0.2576 | json |
| t12_x4_u1_b54 | 12 | 4 | 1 | 54 | ![]() |
log(pow(P,dst(D,D))) | 22751 | 97609071 | o1(o2(x,o2(x,x))) | true | 11855 | 11855 | 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_x4_u1_b55 | 12 | 4 | 1 | 55 | ![]() |
log(mod(P,add(D,D))) | 22752 | 97609072 | o1(o2(x,o2(x,x))) | true | 11863 | 11863 | -0.9578 | 0 | 0.9578 | 0.01553 | 0.1246 | -1 | -0.2318 | 0.7682 | 1 | 0.9708 | 0.01945 | 0 | 0.05414 | 1 | 1 | 9.461e-10 | 0.05146 | 0.09344 | 0.01652 | 0.1285 | 2.374 | 0.636 | 1.253 | 3.314 | 1 | 1 | 0.01294 | 0.01561 | 0.01089 | 0.8336 | 1.005 | 0.7013 | json |
| t12_x4_u1_b56 | 12 | 4 | 1 | 56 | ![]() |
log(mod(P,sub(D,D))) | 22753 | 97609073 | o1(o2(x,o2(x,x))) | true | 11871 | 11871 | -0.1739 | 0.4375 | 0.9511 | 0.9053 | 0.9515 | -1 | 1 | 2 | 1 | 1.654 | 0.004186 | 0 | 0.007937 | 1 | 1 | 1.42e-9 | 0.007916 | 0.008917 | 0.004122 | 0.0642 | 8.089 | 1 | 0.004624 | 0.008745 | 1 | 1 | 0.005854 | 0.03284 | 0.2495 | 0.006466 | 0.03627 | 0.2755 | json |
| t12_x4_u1_b57 | 12 | 4 | 1 | 57 | ![]() |
log(mod(P,mlt(D,D))) | 22754 | 97609074 | o1(o2(x,o2(x,x))) | true | 11879 | 11879 | -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_x4_u1_b58 | 12 | 4 | 1 | 58 | ![]() |
log(mod(P,div(D,D))) | 22755 | 97609075 | o1(o2(x,o2(x,x))) | true | 11887 | 11887 | -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_x4_u1_b59 | 12 | 4 | 1 | 59 | ![]() |
log(mod(P,pow(D,D))) | 22756 | 97609076 | o1(o2(x,o2(x,x))) | true | 11895 | 11895 | -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_x4_u1_b60 | 12 | 4 | 1 | 60 | ![]() |
log(mod(P,mod(D,D))) | 22757 | 97609077 | o1(o2(x,o2(x,x))) | true | 11903 | 11903 | -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_x4_u1_b61 | 12 | 4 | 1 | 61 | ![]() |
log(mod(P,lrg(D,D))) | 22758 | 97609078 | o1(o2(x,o2(x,x))) | true | 11911 | 11911 | -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_x4_u1_b62 | 12 | 4 | 1 | 62 | ![]() |
log(mod(P,eql(D,D))) | 22759 | 97609079 | o1(o2(x,o2(x,x))) | true | 11919 | 11919 | -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_x4_u1_b63 | 12 | 4 | 1 | 63 | ![]() |
log(mod(P,min(D,D))) | 22760 | 97609080 | o1(o2(x,o2(x,x))) | true | 11927 | 11927 | -0.9998 | 0 | 0.9998 | 0.000008036 | 0.002835 | -1 | -0.9546 | 0.04545 | 1 | 0 | 0.00001639 | 0 | 0.0003607 | 1 | 0 | -9.461e-10 | 0.00004918 | 0.0007214 | 0.00001626 | 0.004032 | 11.18 | 0.04545 | 2.04 | 6.12 | 1 | 1 | 0.00001087 | 0.00001087 | 0.00001087 | 1.353 | 1.353 | 1.353 | json |
| t12_x4_u1_b64 | 12 | 4 | 1 | 64 | ![]() |
log(mod(P,dot(D,D))) | 22761 | 97609081 | o1(o2(x,o2(x,x))) | true | 11935 | 11935 | -0.9998 | 0 | 0.9998 | 0.0000237 | 0.004868 | -1 | -0.8466 | 0.1534 | 1 | 0.01725 | 0.00004903 | 0.00002457 | 0.0005851 | 0.3323 | 0 | 0 | 0.0002946 | 0.001299 | 0.00007324 | 0.008558 | 14.63 | 0.2169 | 3.106 | 12.43 | 1 | 1 | 0.0000334 | 0.00003271 | 0.00002452 | 1.409 | 1.38 | 1.035 | json |
| t12_x4_u1_b65 | 12 | 4 | 1 | 65 | ![]() |
log(mod(P,dst(D,D))) | 22762 | 97609082 | o1(o2(x,o2(x,x))) | true | 11943 | 11943 | -0.1739 | 0.4375 | 0.9511 | 0.9053 | 0.9515 | -1 | 1 | 2 | 1 | 1.654 | 0.004186 | 0 | 0.007937 | 1 | 1 | 1.42e-9 | 0.007916 | 0.008917 | 0.004122 | 0.0642 | 8.089 | 1 | 0.004624 | 0.008745 | 1 | 1 | 0.005854 | 0.03284 | 0.2495 | 0.006466 | 0.03627 | 0.2755 | json |
| t12_x4_u1_b66 | 12 | 4 | 1 | 66 | ![]() |
log(lrg(P,add(D,D))) | 22763 | 97609083 | o1(o2(x,o2(x,x))) | true | 11951 | 11951 | -0.5938 | 0 | 0.5938 | 0.2412 | 0.4911 | -1 | 0 | 1 | 1 | 0.9745 | 0.0119 | 0 | 0.0119 | 1 | 1 | 0 | 0.02381 | 0.02381 | 0.01176 | 0.1084 | 9.109 | 1 | 0.04935 | 0.09871 | 1 | 1 | 0.01579 | 0.06316 | 0.08421 | 0.06546 | 0.2618 | 0.3491 | json |
| t12_x4_u1_b67 | 12 | 4 | 1 | 67 | ![]() |
log(lrg(P,sub(D,D))) | 22764 | 97609084 | o1(o2(x,o2(x,x))) | true | 11959 | 11959 | -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_x4_u1_b68 | 12 | 4 | 1 | 68 | ![]() |
log(lrg(P,mlt(D,D))) | 22765 | 97609085 | o1(o2(x,o2(x,x))) | true | 11967 | 11967 | -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_x4_u1_b69 | 12 | 4 | 1 | 69 | ![]() |
log(lrg(P,div(D,D))) | 22766 | 97609086 | o1(o2(x,o2(x,x))) | true | 11975 | 11975 | -0.625 | 0 | 0.625 | 0.2344 | 0.4841 | -1 | 0 | 1 | 1 | 0.9544 | 0.003968 | 0 | 0.003968 | 1 | 1 | 0 | 0.007937 | 0.007937 | 0.003952 | 0.06287 | 15.84 | 1 | 0.01693 | 0.03386 | 1 | 1 | 0.005263 | 0.02105 | 0.08421 | 0.02246 | 0.08982 | 0.3593 | json |
| t12_x4_u1_b70 | 12 | 4 | 1 | 70 | ![]() |
log(lrg(P,pow(D,D))) | 22767 | 97609087 | o1(o2(x,o2(x,x))) | true | 11983 | 11983 | -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_x4_u1_b71 | 12 | 4 | 1 | 71 | ![]() |
log(lrg(P,mod(D,D))) | 22768 | 97609088 | o1(o2(x,o2(x,x))) | true | 11991 | 11991 | -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_x4_u1_b72 | 12 | 4 | 1 | 72 | ![]() |
log(lrg(P,lrg(D,D))) | 22769 | 97609089 | o1(o2(x,o2(x,x))) | true | 11999 | 11999 | -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_x4_u1_b73 | 12 | 4 | 1 | 73 | ![]() |
log(lrg(P,eql(D,D))) | 22770 | 97609090 | o1(o2(x,o2(x,x))) | true | 12007 | 12007 | -0.625 | 0 | 0.625 | 0.2344 | 0.4841 | -1 | 0 | 1 | 1 | 0.9544 | 0.003968 | 0 | 0.003968 | 1 | 1 | 0 | 0.007937 | 0.007937 | 0.003952 | 0.06287 | 15.84 | 1 | 0.01693 | 0.03386 | 1 | 1 | 0.005263 | 0.02105 | 0.08421 | 0.02246 | 0.08982 | 0.3593 | json |
| t12_x4_u1_b74 | 12 | 4 | 1 | 74 | ![]() |
log(lrg(P,min(D,D))) | 22771 | 97609091 | o1(o2(x,o2(x,x))) | true | 12015 | 12015 | -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_x4_u1_b75 | 12 | 4 | 1 | 75 | ![]() |
log(lrg(P,dot(D,D))) | 22772 | 97609092 | o1(o2(x,o2(x,x))) | true | 12023 | 12023 | -0.5859 | 0 | 0.5859 | 0.2428 | 0.4927 | -1 | 0 | 1 | 1 | 0.9786 | 0.0119 | 0.004913 | 0.01579 | 0.4157 | 1 | -0.00006299 | 0.04756 | 0.03364 | 0.01656 | 0.1287 | 8.149 | 1.414 | 0.06927 | 0.1959 | 1 | 1 | 0.02233 | 0.05911 | 0.08421 | 0.09196 | 0.2435 | 0.3468 | json |
| t12_x4_u1_b76 | 12 | 4 | 1 | 76 | ![]() |
log(lrg(P,dst(D,D))) | 22773 | 97609093 | o1(o2(x,o2(x,x))) | true | 12031 | 12031 | -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_x4_u1_b77 | 12 | 4 | 1 | 77 | ![]() |
log(eql(P,add(D,D))) | 22774 | 97609094 | o1(o2(x,o2(x,x))) | true | 12039 | 12039 | -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_x4_u1_b78 | 12 | 4 | 1 | 78 | ![]() |
log(eql(P,sub(D,D))) | 22775 | 97609095 | o1(o2(x,o2(x,x))) | true | 12047 | 12047 | -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_x4_u1_b79 | 12 | 4 | 1 | 79 | ![]() |
log(eql(P,mlt(D,D))) | 22776 | 97609096 | o1(o2(x,o2(x,x))) | true | 12055 | 12055 | -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_x4_u1_b80 | 12 | 4 | 1 | 80 | ![]() |
log(eql(P,div(D,D))) | 22777 | 97609097 | o1(o2(x,o2(x,x))) | true | 12063 | 12063 | -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_x4_u1_b81 | 12 | 4 | 1 | 81 | ![]() |
log(eql(P,pow(D,D))) | 22778 | 97609098 | o1(o2(x,o2(x,x))) | true | 12071 | 12071 | -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_x4_u1_b82 | 12 | 4 | 1 | 82 | ![]() |
log(eql(P,mod(D,D))) | 22779 | 97609099 | o1(o2(x,o2(x,x))) | true | 12079 | 12079 | -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_x4_u1_b83 | 12 | 4 | 1 | 83 | ![]() |
log(eql(P,lrg(D,D))) | 22780 | 97609100 | o1(o2(x,o2(x,x))) | true | 12087 | 12087 | -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_x4_u1_b84 | 12 | 4 | 1 | 84 | ![]() |
log(eql(P,eql(D,D))) | 22781 | 97609101 | o1(o2(x,o2(x,x))) | true | 12095 | 12095 | -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_x4_u1_b85 | 12 | 4 | 1 | 85 | ![]() |
log(eql(P,min(D,D))) | 22782 | 97609102 | o1(o2(x,o2(x,x))) | true | 12103 | 12103 | -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_x4_u1_b86 | 12 | 4 | 1 | 86 | ![]() |
log(eql(P,dot(D,D))) | 22783 | 97609103 | o1(o2(x,o2(x,x))) | true | 12111 | 12111 | -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_x4_u1_b87 | 12 | 4 | 1 | 87 | ![]() |
log(eql(P,dst(D,D))) | 22784 | 97609104 | o1(o2(x,o2(x,x))) | true | 12119 | 12119 | -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_x4_u1_b88 | 12 | 4 | 1 | 88 | ![]() |
log(min(P,add(D,D))) | 22785 | 97609105 | o1(o2(x,o2(x,x))) | true | 12127 | 12127 | -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_x4_u1_b89 | 12 | 4 | 1 | 89 | ![]() |
log(min(P,sub(D,D))) | 22786 | 97609106 | o1(o2(x,o2(x,x))) | true | 12135 | 12135 | -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_x4_u1_b90 | 12 | 4 | 1 | 90 | ![]() |
log(min(P,mlt(D,D))) | 22787 | 97609107 | o1(o2(x,o2(x,x))) | true | 12143 | 12143 | -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_x4_u1_b91 | 12 | 4 | 1 | 91 | ![]() |
log(min(P,div(D,D))) | 22788 | 97609108 | o1(o2(x,o2(x,x))) | true | 12151 | 12151 | -0.5625 | 0 | 0.5625 | 0.2461 | 0.4961 | -1 | 0 | 1 | 1 | 1.426 | 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_x4_u1_b92 | 12 | 4 | 1 | 92 | ![]() |
log(min(P,pow(D,D))) | 22789 | 97609109 | o1(o2(x,o2(x,x))) | true | 12159 | 12159 | -0.3687 | 0.2891 | 0.8041 | 0.6238 | 0.7898 | -1 | 1 | 2 | 1 | 2.478 | 0.03648 | 0 | 0.06539 | 1 | 1 | 9.461e-10 | 0.05765 | 0.07078 | 0.0322 | 0.1794 | 2.744 | 1.108 | 0.05847 | 0.09241 | 1 | 1 | 0.04219 | 0.1906 | 0.1635 | 0.06764 | 0.3055 | 0.2621 | json |
| t12_x4_u1_b93 | 12 | 4 | 1 | 93 | ![]() |
log(min(P,mod(D,D))) | 22790 | 97609110 | o1(o2(x,o2(x,x))) | true | 12167 | 12167 | -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_x4_u1_b94 | 12 | 4 | 1 | 94 | ![]() |
log(min(P,lrg(D,D))) | 22791 | 97609111 | o1(o2(x,o2(x,x))) | true | 12175 | 12175 | -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_x4_u1_b95 | 12 | 4 | 1 | 95 | ![]() |
log(min(P,eql(D,D))) | 22792 | 97609112 | o1(o2(x,o2(x,x))) | true | 12183 | 12183 | -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_x4_u1_b96 | 12 | 4 | 1 | 96 | ![]() |
log(min(P,min(D,D))) | 22793 | 97609113 | o1(o2(x,o2(x,x))) | true | 12191 | 12191 | -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_x4_u1_b97 | 12 | 4 | 1 | 97 | ![]() |
log(min(P,dot(D,D))) | 22794 | 97609114 | o1(o2(x,o2(x,x))) | true | 12199 | 12199 | -0.9911 | 0 | 0.9911 | 0.001732 | 0.04161 | -1 | -0.7078 | 0.2922 | 1 | 0.3068 | 0.0004257 | 0.0004258 | 0.007562 | -0.000002153 | 1 | 0 | 0.0009415 | 0.009039 | 0.0007944 | 0.02818 | 3.727 | 0.1643 | 0.4917 | 0.5437 | 1 | 1 | 0.001302 | 0.003517 | 0.0003525 | 0.7518 | 2.031 | 0.2035 | json |
| t12_x4_u1_b98 | 12 | 4 | 1 | 98 | ![]() |
log(min(P,dst(D,D))) | 22795 | 97609115 | o1(o2(x,o2(x,x))) | true | 12207 | 12207 | -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_x4_u1_b99 | 12 | 4 | 1 | 99 | ![]() |
log(dot(P,add(D,D))) | 22796 | 97609116 | o1(o2(x,o2(x,x))) | true | 12215 | 12215 | -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_x4_u1_b100 | 12 | 4 | 1 | 100 | ![]() |
log(dot(P,sub(D,D))) | 22797 | 97609117 | o1(o2(x,o2(x,x))) | true | 12223 | 12223 | -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_x4_u1_b101 | 12 | 4 | 1 | 101 | ![]() |
log(dot(P,mlt(D,D))) | 22798 | 97609118 | o1(o2(x,o2(x,x))) | true | 12231 | 12231 | -0.8043 | 0.1001 | 0.8878 | 0.2072 | 0.4552 | -1 | 1 | 2 | 1 | 1.659 | 0.01428 | 0.01428 | 0.06367 | -0.000001304 | 1 | -0.0004637 | 0.041 | 0.0533 | 0.0245 | 0.1565 | 2.458 | 2.255 | 0.1378 | 0.1979 | 1 | 1 | 0.02915 | 0.1375 | 0.04717 | 0.1406 | 0.6633 | 0.2276 | json |
| t12_x4_u1_b102 | 12 | 4 | 1 | 102 | ![]() |
log(dot(P,div(D,D))) | 22799 | 97609119 | o1(o2(x,o2(x,x))) | true | 12239 | 12239 | -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 |



































































































