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 | ||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| t13_x3_u2_b4 | 13 | 3 | 2 | 4 | ![]() |
sqt(pow(frc(D),P)) | 43700 | 105689422 | o1(o2(o1(x),x)) | true | 8567 | 8567 | 0.7087 | 0.9922 | 0.7087 | 0.1415 | 0.3762 | 0.000005394 | 1 | 1 | 1 | 2.686 | 0.02508 | 0 | 0.05039 | 1 | 1 | 0.0006611 | 0.05382 | 0.05857 | 0.02255 | 0.1502 | 2.98 | 0.948 | 0.1772 | 0.3802 | 1 | 1 | 0.02364 | 0.05463 | 0.02641 | 0.167 | 0.3859 | 0.1866 | json |
| t13_x3_u2_b5 | 13 | 3 | 2 | 5 | ![]() |
sqt(mod(frc(D),P)) | 43701 | 105689423 | o1(o2(o1(x),x)) | true | 8575 | 8575 | 0.4591 | 0.875 | 0.709 | 0.3517 | 0.593 | -1 | 0.9843 | 1.984 | 1 | 3.606 | 0.05502 | 0 | 0.09486 | 1 | 1 | -0.0002209 | 0.1171 | 0.1145 | 0.04602 | 0.2145 | 2.262 | 1.984 | 0.1565 | 0.3329 | 1 | 1 | 0.05691 | 0.1814 | 0.4775 | 0.1618 | 0.5158 | 1.358 | json |
| t13_x3_u2_b6 | 13 | 3 | 2 | 6 | ![]() |
sqt(lrg(frc(D),P)) | 43702 | 105689424 | o1(o2(o1(x),x)) | true | 8583 | 8583 | 0.5313 | 0.5625 | 0.5313 | 0.2423 | 0.4922 | 0 | 1 | 1 | 1 | 1.326 | 0.0003529 | 0 | 0.003968 | 1 | 1 | -4.731e-10 | 0.00001619 | 0.0009276 | 0.0003372 | 0.01836 | 4.628 | 0.1169 | 0.001457 | 0.00006684 | 1 | 1 | 0.0009255 | 0.01214 | 0.0751 | 0.00382 | 0.05012 | 0.31 | json |
| t13_x3_u2_b7 | 13 | 3 | 2 | 7 | ![]() |
sqt(eql(frc(D),P)) | 43703 | 105689425 | o1(o2(o1(x),x)) | true | 8591 | 8591 | 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 |
| t13_x3_u2_b8 | 13 | 3 | 2 | 8 | ![]() |
sqt(min(frc(D),P)) | 43704 | 105689426 | o1(o2(o1(x),x)) | true | 8599 | 8599 | -0.1818 | 0.4961 | 0.8181 | 0.7045 | 0.8393 | -1 | 0.9843 | 1.984 | 1 | 2.837 | 0.02388 | 0 | 0.0526 | 1 | 1 | 0.0001326 | 0.05199 | 0.06071 | 0.02112 | 0.1453 | 2.762 | 1 | 0.0339 | 0.07381 | 1 | 1 | 0.02395 | 0.06901 | 0.2132 | 0.034 | 0.09796 | 0.3026 | json |
| t13_x3_u2_b9 | 13 | 3 | 2 | 9 | ![]() |
sqt(dot(frc(D),P)) | 43705 | 105689427 | o1(o2(o1(x),x)) | true | 8607 | 8607 | -0.1054 | 0.4575 | 0.9797 | 0.9587 | 0.9791 | -1 | 1 | 2 | 1 | 1.446 | 0.1272 | 0.1272 | 0.1486 | -8.787e-7 | 1 | 0.001128 | 0.6951 | 0.2827 | 0.2324 | 0.482 | 3.244 | 2.828 | 0.2653 | 0.725 | 1 | 1 | 0.2403 | 0.5926 | 0.4494 | 0.2507 | 0.6182 | 0.4687 | json |
| t13_x3_u2_b10 | 13 | 3 | 2 | 10 | ![]() |
sqt(dst(frc(D),P)) | 43706 | 105689428 | o1(o2(o1(x),x)) | true | 8615 | 8615 | 0.9984 | 1 | 0.9984 | 0.0005742 | 0.02396 | 0.2107 | 1 | 0.7893 | 1 | 0.06542 | 0.0001445 | 0.0001445 | 0.0008479 | -5.035e-8 | 1 | 1.502e-11 | 0.000694 | 0.001267 | 0.000288 | 0.01697 | 20.02 | 1.095 | 0.5034 | 1.209 | 1 | 1 | 0.0004803 | 0.00102 | 0.002092 | 0.8365 | 1.776 | 3.644 | json |
| t13_x3_u3_b0 | 13 | 3 | 3 | 0 | ![]() |
sqt(add(flr(D),P)) | 43707 | 105689619 | o1(o2(o1(x),x)) | true | 8623 | 8623 | -0.0625 | 0.4375 | 0.9375 | 0.9336 | 0.9662 | -1 | 1 | 2 | 1 | 1.272 | 0.007937 | 0 | 0.007937 | 1 | 1 | 0 | 0.01587 | 0.01587 | 0.007872 | 0.08872 | 11.18 | 1 | 0.008501 | 0.017 | 1 | 1 | 0.01053 | 0.04211 | 0.2526 | 0.01128 | 0.0451 | 0.2706 | json |
| t13_x3_u3_b1 | 13 | 3 | 3 | 1 | ![]() |
sqt(sub(flr(D),P)) | 43708 | 105689620 | o1(o2(o1(x),x)) | true | 8631 | 8631 | -0.1504 | 0.4375 | 0.9746 | 0.9478 | 0.9736 | -1 | 1 | 2 | 1 | 1.258 | 0.00449 | 0 | 0.007936 | 1 | 1 | 4.731e-10 | 0.007941 | 0.009175 | 0.004426 | 0.06653 | 8.383 | 1 | 0.004738 | 0.008378 | 1 | 1 | 0.006645 | 0.04498 | 0.2962 | 0.007011 | 0.04745 | 0.3125 | json |
| t13_x3_u3_b2 | 13 | 3 | 3 | 2 | ![]() |
sqt(mlt(flr(D),P)) | 43709 | 105689621 | o1(o2(o1(x),x)) | true | 8639 | 8639 | -0.2227 | 0.4375 | 0.7773 | 0.6983 | 0.8357 | -1 | 1 | 2 | 1 | 2.367 | 0.03609 | 0 | 0.05918 | 1 | 1 | -0.0002377 | 0.06512 | 0.07504 | 0.0326 | 0.1805 | 3.051 | 1 | 0.05168 | 0.09325 | 1 | 1 | 0.03852 | 0.145 | 0.1668 | 0.05516 | 0.2076 | 0.2389 | json |
| t13_x3_u3_b3 | 13 | 3 | 3 | 3 | ![]() |
sqt(div(flr(D),P)) | 43710 | 105689622 | o1(o2(o1(x),x)) | true | 8647 | 8647 | -0.4369 | 0.4375 | 0.6881 | 0.435 | 0.6595 | -1 | 0.9997 | 2 | 1 | 2.492 | 0.0231 | 0 | 0.03579 | 1 | 1 | -0.00003396 | 0.0447 | 0.0435 | 0.02181 | 0.1477 | 4.126 | 2 | 0.0531 | 0.1028 | 1 | 1 | 0.02973 | 0.1067 | 0.1848 | 0.06834 | 0.2454 | 0.4248 | json |
| t13_x3_u3_b4 | 13 | 3 | 3 | 4 | ![]() |
sqt(pow(flr(D),P)) | 43711 | 105689623 | o1(o2(o1(x),x)) | true | 8655 | 8655 | -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 |
| t13_x3_u3_b5 | 13 | 3 | 3 | 5 | ![]() |
sqt(mod(flr(D),P)) | 43712 | 105689624 | o1(o2(o1(x),x)) | true | 8663 | 8663 | -0.9375 | 0 | 0.9375 | 0.05859 | 0.2421 | -1 | 0 | 1 | 1 | 0.3373 | 0.007937 | 0 | 0.007937 | 1 | 1 | 0 | 0.01587 | 0.01587 | 0.007872 | 0.08872 | 11.18 | 1 | 0.1354 | 0.2709 | 1 | 1 | 0.01053 | 0.04211 | 0.08421 | 0.1796 | 0.7186 | 1.437 | json |
| t13_x3_u3_b6 | 13 | 3 | 3 | 6 | ![]() |
sqt(lrg(flr(D),P)) | 43713 | 105689625 | o1(o2(o1(x),x)) | true | 8671 | 8671 | 0.4375 | 0.5 | 0.4375 | 0.2326 | 0.4823 | 0 | 1 | 1 | 1 | 1.565 | 0.00467 | 0 | 0.0119 | 1 | 1 | -4.731e-10 | 0.008068 | 0.009787 | 0.004528 | 0.06729 | 5.654 | 0.9994 | 0.02008 | 0.03469 | 1 | 1 | 0.007036 | 0.03244 | 0.06598 | 0.03025 | 0.1395 | 0.2837 | json |
| t13_x3_u3_b7 | 13 | 3 | 3 | 7 | ![]() |
sqt(eql(flr(D),P)) | 43714 | 105689626 | o1(o2(o1(x),x)) | true | 8679 | 8679 | 0.0625 | 0.125 | 0.0625 | 0.04507 | 0.2123 | 0 | 0.9997 | 0.9997 | 1 | 0.8126 | 0.008638 | 0 | 0.01587 | 1 | 1 | -4.731e-10 | 0.016 | 0.01772 | 0.008384 | 0.09157 | 5.77 | 0.9997 | 0.1917 | 0.3551 | 1 | 1 | 0.0123 | 0.05328 | 0.05687 | 0.2729 | 1.182 | 1.262 | json |
| t13_x3_u3_b8 | 13 | 3 | 3 | 8 | ![]() |
sqt(min(flr(D),P)) | 43715 | 105689627 | o1(o2(o1(x),x)) | true | 8687 | 8687 | -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 |
| t13_x3_u3_b9 | 13 | 3 | 3 | 9 | ![]() |
sqt(dot(flr(D),P)) | 43716 | 105689628 | o1(o2(o1(x),x)) | true | 8695 | 8695 | -0.5476 | 0.2461 | 0.9524 | 0.6408 | 0.8005 | -1 | 1 | 2 | 1 | 1.315 | 0.01132 | 0.01132 | 0.02809 | 5.76e-7 | 1 | -0.0001309 | 0.04517 | 0.04125 | 0.02182 | 0.1477 | 5.258 | 2.236 | 0.03533 | 0.07049 | 1 | 1 | 0.02729 | 0.1045 | 0.2517 | 0.0426 | 0.163 | 0.3928 | json |
| t13_x3_u3_b10 | 13 | 3 | 3 | 10 | ![]() |
sqt(dst(flr(D),P)) | 43717 | 105689629 | o1(o2(o1(x),x)) | true | 8703 | 8703 | 0.9976 | 1 | 0.9976 | 0.001643 | 0.04053 | 0.0008231 | 1 | 0.9992 | 1 | 0.05795 | 0.0003792 | 0.0003792 | 0.001437 | 1.151e-7 | 1 | -1.727e-10 | 0.001525 | 0.001919 | 0.0007572 | 0.02752 | 19.15 | 1.413 | 0.4616 | 0.9283 | 1 | 1 | 0.001471 | 0.00577 | 0.005901 | 0.8953 | 3.512 | 3.592 | json |
| t13_x3_u4_b0 | 13 | 3 | 4 | 0 | ![]() |
sqt(add(cil(D),P)) | 43718 | 105689820 | o1(o2(o1(x),x)) | true | 8711 | 8711 | 0.0625 | 0.5 | 0.9375 | 0.9336 | 0.9662 | -1 | 1 | 2 | 1 | 1.272 | 0.007937 | 0 | 0.007937 | 1 | 1 | 0 | 0.01587 | 0.01587 | 0.007872 | 0.08872 | 11.18 | 1 | 0.008501 | 0.017 | 1 | 1 | 0.01053 | 0.04211 | 0.2526 | 0.01128 | 0.0451 | 0.2706 | json |
| t13_x3_u4_b1 | 13 | 3 | 4 | 1 | ![]() |
sqt(sub(cil(D),P)) | 43719 | 105689821 | o1(o2(o1(x),x)) | true | 8719 | 8719 | -0.02539 | 0.5 | 0.9746 | 0.9688 | 0.9843 | -1 | 1 | 2 | 1 | 1.276 | 0.00449 | 0 | 0.007936 | 1 | 1 | 4.731e-10 | 0.007941 | 0.009175 | 0.004426 | 0.06653 | 8.383 | 1 | 0.004635 | 0.008197 | 1 | 1 | 0.006645 | 0.04498 | 0.2962 | 0.00686 | 0.04643 | 0.3058 | json |
| t13_x3_u4_b2 | 13 | 3 | 4 | 2 | ![]() |
sqt(mlt(cil(D),P)) | 43720 | 105689822 | o1(o2(o1(x),x)) | true | 8727 | 8727 | -0.2227 | 0.4375 | 0.7773 | 0.6983 | 0.8356 | -1 | 1 | 2 | 1 | 2.367 | 0.0361 | 0 | 0.05942 | 1 | 1 | -0.0002377 | 0.06512 | 0.07504 | 0.03258 | 0.1805 | 3.037 | 1 | 0.0517 | 0.09325 | 1 | 1 | 0.04108 | 0.1564 | 0.167 | 0.05883 | 0.2239 | 0.2392 | json |
| t13_x3_u4_b3 | 13 | 3 | 4 | 3 | ![]() |
sqt(div(cil(D),P)) | 43721 | 105689823 | o1(o2(o1(x),x)) | true | 8735 | 8735 | -0.4369 | 0.4375 | 0.6881 | 0.435 | 0.6595 | -1 | 0.9997 | 2 | 1 | 2.492 | 0.0231 | 0 | 0.03583 | 1 | 1 | -0.00003396 | 0.0447 | 0.0435 | 0.02182 | 0.1477 | 4.123 | 2 | 0.0531 | 0.1028 | 1 | 1 | 0.03016 | 0.1084 | 0.185 | 0.06934 | 0.2492 | 0.4253 | json |
| t13_x3_u4_b4 | 13 | 3 | 4 | 4 | ![]() |
sqt(pow(cil(D),P)) | 43722 | 105689824 | o1(o2(o1(x),x)) | true | 8743 | 8743 | 0.75 | 1 | 0.75 | 0.1334 | 0.3652 | 0.000291 | 1 | 0.9997 | 1 | 2.329 | 0.03057 | 0 | 0.05947 | 1 | 1 | -0.00008984 | 0.05637 | 0.06285 | 0.02703 | 0.1644 | 2.765 | 0.9994 | 0.2292 | 0.4226 | 1 | 1 | 0.03407 | 0.1219 | 0.03299 | 0.2554 | 0.9143 | 0.2473 | json |
| t13_x3_u4_b5 | 13 | 3 | 4 | 5 | ![]() |
sqt(mod(cil(D),P)) | 43723 | 105689825 | o1(o2(o1(x),x)) | true | 8751 | 8751 | 0.2813 | 0.8125 | 0.5313 | 0.3641 | 0.6034 | -1 | 0.9997 | 2 | 1 | 3.449 | 0.0601 | 0 | 0.1069 | 1 | 1 | 0 | 0.1124 | 0.1229 | 0.04865 | 0.2206 | 2.063 | 1 | 0.1651 | 0.3088 | 1 | 1 | 0.063 | 0.236 | 0.3607 | 0.173 | 0.6482 | 0.9907 | json |
| t13_x3_u4_b6 | 13 | 3 | 4 | 6 | ![]() |
sqt(lrg(cil(D),P)) | 43724 | 105689826 | o1(o2(o1(x),x)) | true | 8759 | 8759 | 0.5 | 0.5625 | 0.5 | 0.2365 | 0.4863 | 0 | 1 | 1 | 1 | 1.577 | 0.00467 | 0 | 0.0119 | 1 | 1 | -4.731e-10 | 0.008068 | 0.009787 | 0.004528 | 0.06729 | 5.654 | 0.9994 | 0.01975 | 0.03412 | 1 | 1 | 0.007036 | 0.03244 | 0.06598 | 0.02976 | 0.1372 | 0.279 | json |
| t13_x3_u4_b7 | 13 | 3 | 4 | 7 | ![]() |
sqt(eql(cil(D),P)) | 43725 | 105689827 | o1(o2(o1(x),x)) | true | 8767 | 8767 | 0.0625 | 0.125 | 0.0625 | 0.04507 | 0.2123 | 0 | 0.9997 | 0.9997 | 1 | 0.8126 | 0.008638 | 0 | 0.01587 | 1 | 1 | -4.731e-10 | 0.016 | 0.01772 | 0.008384 | 0.09157 | 5.77 | 0.9997 | 0.1917 | 0.3551 | 1 | 1 | 0.0123 | 0.05328 | 0.05687 | 0.2729 | 1.182 | 1.262 | json |
| t13_x3_u4_b8 | 13 | 3 | 4 | 8 | ![]() |
sqt(min(cil(D),P)) | 43726 | 105689828 | o1(o2(o1(x),x)) | true | 8775 | 8775 | -0.2813 | 0.4375 | 0.7188 | 0.592 | 0.7694 | -1 | 0.9997 | 2 | 1 | 2.619 | 0.03418 | 0 | 0.05947 | 1 | 1 | -0.00008984 | 0.06425 | 0.06987 | 0.03065 | 0.1751 | 2.944 | 1 | 0.05774 | 0.1085 | 1 | 1 | 0.03845 | 0.1372 | 0.1593 | 0.06494 | 0.2318 | 0.2691 | json |
| t13_x3_u4_b9 | 13 | 3 | 4 | 9 | ![]() |
sqt(dot(cil(D),P)) | 43727 | 105689829 | o1(o2(o1(x),x)) | true | 8783 | 8783 | -0.5476 | 0.2461 | 0.9524 | 0.6414 | 0.8009 | -1 | 1 | 2 | 1 | 1.315 | 0.01132 | 0.01132 | 0.02758 | -0.000001727 | 1 | -0.0001309 | 0.04517 | 0.04125 | 0.02187 | 0.1479 | 5.362 | 2 | 0.0353 | 0.07042 | 1 | 1 | 0.02838 | 0.1091 | 0.2518 | 0.04424 | 0.1702 | 0.3925 | json |
| t13_x3_u4_b10 | 13 | 3 | 4 | 10 | ![]() |
sqt(dst(cil(D),P)) | 43728 | 105689830 | o1(o2(o1(x),x)) | true | 8791 | 8791 | 0.9976 | 1 | 0.9976 | 0.001643 | 0.04053 | 0.0008231 | 1 | 0.9992 | 1 | 0.05795 | 0.0003792 | 0.0003792 | 0.001437 | 1.151e-7 | 1 | -1.727e-10 | 0.001525 | 0.001919 | 0.000757 | 0.02751 | 19.15 | 1.413 | 0.4616 | 0.9283 | 1 | 1 | 0.001471 | 0.00577 | 0.005901 | 0.8953 | 3.512 | 3.592 | json |
| t13_x3_u5_b0 | 13 | 3 | 5 | 0 | ![]() |
sqt(add(sgn(D),P)) | 43729 | 105690021 | o1(o2(o1(x),x)) | true | 8799 | 8799 | -0.03125 | 0.5 | 0.9688 | 0.9603 | 0.98 | -1 | 1 | 2 | 1 | 1.406 | 0.02019 | 0 | 0.01587 | 1 | 1 | 0 | 0.03985 | 0.02473 | 0.01993 | 0.1412 | 8.897 | 2 | 0.02102 | 0.04149 | 1 | 1 | 0.02712 | 0.09775 | 0.2856 | 0.02824 | 0.1018 | 0.2974 | json |
| t13_x3_u5_b1 | 13 | 3 | 5 | 1 | ![]() |
sqt(sub(sgn(D),P)) | 43730 | 105690022 | o1(o2(o1(x),x)) | true | 8807 | 8807 | -0.148 | 0.4375 | 0.9771 | 0.951 | 0.9752 | -1 | 1 | 2 | 1 | 1.226 | 0.004587 | 0 | 0.007937 | 1 | 1 | -9.461e-10 | 0.007993 | 0.009453 | 0.004523 | 0.06725 | 8.474 | 1.001 | 0.004823 | 0.008405 | 1 | 1 | 0.006867 | 0.04793 | 0.3004 | 0.007221 | 0.0504 | 0.3159 | json |
| t13_x3_u5_b2 | 13 | 3 | 5 | 2 | ![]() |
sqt(mlt(sgn(D),P)) | 43731 | 105690023 | o1(o2(o1(x),x)) | true | 8815 | 8815 | -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 |
| t13_x3_u5_b3 | 13 | 3 | 5 | 3 | ![]() |
sqt(div(sgn(D),P)) | 43732 | 105690024 | o1(o2(o1(x),x)) | true | 8823 | 8823 | -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 |
| t13_x3_u5_b4 | 13 | 3 | 5 | 4 | ![]() |
sqt(pow(sgn(D),P)) | 43733 | 105690025 | o1(o2(o1(x),x)) | true | 8831 | 8831 | -0.875 | 0.0625 | 1 | 0.2344 | 0.4841 | -1 | 1 | 2 | 1 | 0.3373 | 0.03175 | 0 | 0.01587 | 1 | 1 | 0 | 0.06349 | 0.03175 | 0.03149 | 0.1774 | 11.18 | 2 | 0.1354 | 0.2709 | 1 | 1 | 0.04211 | 0.1684 | 0.3368 | 0.1796 | 0.7186 | 1.437 | json |
| t13_x3_u5_b5 | 13 | 3 | 5 | 5 | ![]() |
sqt(mod(sgn(D),P)) | 43734 | 105690026 | o1(o2(o1(x),x)) | true | 8839 | 8839 | -0.9063 | 0.0625 | 0.9688 | 0.1407 | 0.3751 | -1 | 0.9997 | 2 | 1 | 0.5501 | 0.02019 | 0 | 0.01587 | 1 | 1 | 0 | 0.03975 | 0.02468 | 0.01993 | 0.1412 | 8.896 | 2 | 0.1435 | 0.2825 | 1 | 1 | 0.0272 | 0.1109 | 0.2014 | 0.1933 | 0.7879 | 1.432 | json |
| t13_x3_u5_b6 | 13 | 3 | 5 | 6 | ![]() |
sqt(lrg(sgn(D),P)) | 43735 | 105690027 | o1(o2(o1(x),x)) | true | 8847 | 8847 | 0.4688 | 0.5625 | 0.4688 | 0.2287 | 0.4783 | 0 | 1 | 1 | 1 | 1.79 | 0.008986 | 0 | 0.01983 | 1 | 1 | -4.731e-10 | 0.01612 | 0.01865 | 0.008594 | 0.0927 | 4.674 | 0.9994 | 0.03929 | 0.07047 | 1 | 1 | 0.01315 | 0.05273 | 0.06598 | 0.05748 | 0.2305 | 0.2885 | json |
| t13_x3_u5_b7 | 13 | 3 | 5 | 7 | ![]() |
sqt(eql(sgn(D),P)) | 43736 | 105690028 | o1(o2(o1(x),x)) | true | 8855 | 8855 | 0.0625 | 0.125 | 0.0625 | 0.04507 | 0.2123 | 0 | 0.9997 | 0.9997 | 1 | 0.8126 | 0.008638 | 0 | 0.01587 | 1 | 1 | -4.731e-10 | 0.016 | 0.01772 | 0.008384 | 0.09157 | 5.77 | 0.9997 | 0.1917 | 0.3551 | 1 | 1 | 0.0123 | 0.05328 | 0.06598 | 0.2729 | 1.182 | 1.464 | json |
| t13_x3_u5_b8 | 13 | 3 | 5 | 8 | ![]() |
sqt(min(sgn(D),P)) | 43737 | 105690029 | o1(o2(o1(x),x)) | true | 8863 | 8863 | -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 |
| t13_x3_u5_b9 | 13 | 3 | 5 | 9 | ![]() |
sqt(dot(sgn(D),P)) | 43738 | 105690030 | o1(o2(o1(x),x)) | true | 8871 | 8871 | -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 |
| t13_x3_u5_b10 | 13 | 3 | 5 | 10 | ![]() |
sqt(dst(sgn(D),P)) | 43739 | 105690031 | o1(o2(o1(x),x)) | true | 8879 | 8879 | 0.998 | 1 | 0.998 | 0.001368 | 0.03698 | 0.001008 | 1 | 0.999 | 1 | 0.0469 | 0.000354 | 0.000354 | 0.001298 | 0 | 1 | 6.382e-11 | 0.001431 | 0.001795 | 0.0007056 | 0.02656 | 20.46 | 1.413 | 0.5177 | 1.046 | 1 | 1 | 0.001384 | 0.00496 | 0.004974 | 1.012 | 3.627 | 3.637 | json |
| t13_x3_u6_b0 | 13 | 3 | 6 | 0 | ![]() |
sqt(add(nrm(D),P)) | 43740 | 105690222 | o1(o2(o1(x),x)) | true | 8887 | 8887 | -0.02184 | 0.5 | 0.9782 | 0.9655 | 0.9826 | -1 | 1 | 2 | 1 | 1.463 | 0.00864 | 0.0003498 | 0.01154 | 0.9222 | 1 | -0.00001435 | 0.01466 | 0.01332 | 0.008852 | 0.09408 | 8.15 | 1.84 | 0.009312 | 0.01518 | 1 | 1 | 0.0143 | 0.06785 | 0.2911 | 0.01481 | 0.07027 | 0.3015 | json |
| t13_x3_u6_b1 | 13 | 3 | 6 | 1 | ![]() |
sqt(sub(nrm(D),P)) | 43741 | 105690223 | o1(o2(o1(x),x)) | true | 8895 | 8895 | -0.1329 | 0.4375 | 0.9921 | 0.9696 | 0.9847 | -1 | 1 | 2 | 1 | 1.213 | 0.01447 | 0.0002495 | 0.01086 | 0.9661 | 1 | -0.00002741 | 0.031 | 0.01716 | 0.0146 | 0.1208 | 11.12 | 1.968 | 0.01518 | 0.03198 | 1 | 1 | 0.01857 | 0.06964 | 0.3201 | 0.01915 | 0.07182 | 0.3302 | json |
| t13_x3_u6_b2 | 13 | 3 | 6 | 2 | ![]() |
sqt(mlt(nrm(D),P)) | 43742 | 105690224 | o1(o2(o1(x),x)) | true | 8903 | 8903 | -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 |
| t13_x3_u6_b3 | 13 | 3 | 6 | 3 | ![]() |
sqt(div(nrm(D),P)) | 43743 | 105690225 | o1(o2(o1(x),x)) | true | 8911 | 8911 | -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 |
| t13_x3_u6_b4 | 13 | 3 | 6 | 4 | ![]() |
sqt(pow(nrm(D),P)) | 43744 | 105690226 | o1(o2(o1(x),x)) | true | 8919 | 8919 | -0.875 | 0.0625 | 1 | 0.2344 | 0.4841 | -1 | 1 | 2 | 1 | 0.3373 | 0.03175 | 0 | 0.01587 | 1 | 1 | 0 | 0.06349 | 0.03175 | 0.03149 | 0.1774 | 11.18 | 2 | 0.1354 | 0.2709 | 1 | 1 | 0.04211 | 0.1684 | 0.3368 | 0.1796 | 0.7186 | 1.437 | json |
| t13_x3_u6_b5 | 13 | 3 | 6 | 5 | ![]() |
sqt(mod(nrm(D),P)) | 43745 | 105690227 | o1(o2(o1(x),x)) | true | 8927 | 8927 | -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 |
| t13_x3_u6_b6 | 13 | 3 | 6 | 6 | ![]() |
sqt(lrg(nrm(D),P)) | 43746 | 105690228 | o1(o2(o1(x),x)) | true | 8935 | 8935 | 0.5 | 0.5625 | 0.5 | 0.2365 | 0.4863 | 0 | 1 | 1 | 1 | 1.577 | 0.00467 | 0 | 0.0119 | 1 | 1 | -4.731e-10 | 0.008068 | 0.009787 | 0.004528 | 0.06729 | 5.654 | 0.9994 | 0.01975 | 0.03412 | 1 | 1 | 0.007036 | 0.03244 | 0.06598 | 0.02976 | 0.1372 | 0.279 | json |
| t13_x3_u6_b7 | 13 | 3 | 6 | 7 | ![]() |
sqt(eql(nrm(D),P)) | 43747 | 105690229 | o1(o2(o1(x),x)) | true | 8943 | 8943 | 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 |
| t13_x3_u6_b8 | 13 | 3 | 6 | 8 | ![]() |
sqt(min(nrm(D),P)) | 43748 | 105690230 | o1(o2(o1(x),x)) | true | 8951 | 8951 | -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 |
| t13_x3_u6_b9 | 13 | 3 | 6 | 9 | ![]() |
sqt(dot(nrm(D),P)) | 43749 | 105690231 | o1(o2(o1(x),x)) | true | 8959 | 8959 | -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 |
| t13_x3_u6_b10 | 13 | 3 | 6 | 10 | ![]() |
sqt(dst(nrm(D),P)) | 43750 | 105690232 | o1(o2(o1(x),x)) | true | 8967 | 8967 | 0.9992 | 1 | 0.9992 | 0.0002273 | 0.01508 | 0.4762 | 1 | 0.5238 | 1 | 0.04119 | 0.0000708 | 0.0000708 | 0.000751 | -2.055e-7 | 1 | 0 | 0.0002492 | 0.0008406 | 0.0001412 | 0.01188 | 15.82 | 0.5031 | 0.6229 | 1.096 | 1 | 1 | 0.0003498 | 0.0008268 | 0.0008268 | 1.539 | 3.637 | 3.637 | json |
| t13_x3_u7_b0 | 13 | 3 | 7 | 0 | ![]() |
log(add(sqt(D),P)) | 43751 | 105690423 | o1(o2(o1(x),x)) | true | 8975 | 8975 | -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 |
| t13_x3_u7_b1 | 13 | 3 | 7 | 1 | ![]() |
log(sub(sqt(D),P)) | 43752 | 105690424 | o1(o2(o1(x),x)) | true | 8983 | 8983 | -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 |
| t13_x3_u7_b2 | 13 | 3 | 7 | 2 | ![]() |
log(mlt(sqt(D),P)) | 43753 | 105690425 | o1(o2(o1(x),x)) | true | 8991 | 8991 | -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 |
| t13_x3_u7_b3 | 13 | 3 | 7 | 3 | ![]() |
log(div(sqt(D),P)) | 43754 | 105690426 | o1(o2(o1(x),x)) | true | 8999 | 8999 | -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 |
| t13_x3_u7_b4 | 13 | 3 | 7 | 4 | ![]() |
log(pow(sqt(D),P)) | 43755 | 105690427 | o1(o2(o1(x),x)) | true | 9007 | 9007 | -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 |
| t13_x3_u7_b5 | 13 | 3 | 7 | 5 | ![]() |
log(mod(sqt(D),P)) | 43756 | 105690428 | o1(o2(o1(x),x)) | true | 9015 | 9015 | -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 |
| t13_x3_u7_b6 | 13 | 3 | 7 | 6 | ![]() |
log(lrg(sqt(D),P)) | 43757 | 105690429 | o1(o2(o1(x),x)) | true | 9023 | 9023 | -0.4375 | 0 | 0.4375 | 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 |
| t13_x3_u7_b7 | 13 | 3 | 7 | 7 | ![]() |
log(eql(sqt(D),P)) | 43758 | 105690430 | o1(o2(o1(x),x)) | true | 9031 | 9031 | -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 |
| t13_x3_u7_b8 | 13 | 3 | 7 | 8 | ![]() |
log(min(sqt(D),P)) | 43759 | 105690431 | o1(o2(o1(x),x)) | true | 9039 | 9039 | -0.4537 | 0.2773 | 0.8833 | 0.6368 | 0.798 | -1 | 1 | 2 | 1 | 2.348 | 0.1039 | 0 | 0.1007 | 1 | 1 | 2.838e-9 | 0.1837 | 0.1082 | 0.09381 | 0.3063 | 3.04 | 2 | 0.1632 | 0.2884 | 1 | 1 | 0.1107 | 0.3919 | 0.148 | 0.1739 | 0.6154 | 0.2323 | json |
| t13_x3_u7_b9 | 13 | 3 | 7 | 9 | ![]() |
log(dot(sqt(D),P)) | 43760 | 105690432 | o1(o2(o1(x),x)) | true | 9047 | 9047 | -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 |
| t13_x3_u7_b10 | 13 | 3 | 7 | 10 | ![]() |
log(dst(sqt(D),P)) | 43761 | 105690433 | o1(o2(o1(x),x)) | true | 9055 | 9055 | -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 |
| t13_x3_u8_b0 | 13 | 3 | 8 | 0 | ![]() |
log(add(log(D),P)) | 43762 | 105690624 | o1(o2(o1(x),x)) | true | 9063 | 9063 | -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 |
| t13_x3_u8_b1 | 13 | 3 | 8 | 1 | ![]() |
log(sub(log(D),P)) | 43763 | 105690625 | o1(o2(o1(x),x)) | true | 9071 | 9071 | -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 |
| t13_x3_u8_b2 | 13 | 3 | 8 | 2 | ![]() |
log(mlt(log(D),P)) | 43764 | 105690626 | o1(o2(o1(x),x)) | true | 9079 | 9079 | -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 |
| t13_x3_u8_b3 | 13 | 3 | 8 | 3 | ![]() |
log(div(log(D),P)) | 43765 | 105690627 | o1(o2(o1(x),x)) | true | 9087 | 9087 | -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 |
| t13_x3_u8_b4 | 13 | 3 | 8 | 4 | ![]() |
log(pow(log(D),P)) | 43766 | 105690628 | o1(o2(o1(x),x)) | true | 9095 | 9095 | -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 |
| t13_x3_u8_b5 | 13 | 3 | 8 | 5 | ![]() |
log(mod(log(D),P)) | 43767 | 105690629 | o1(o2(o1(x),x)) | true | 9103 | 9103 | -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 |
| t13_x3_u8_b6 | 13 | 3 | 8 | 6 | ![]() |
log(lrg(log(D),P)) | 43768 | 105690630 | o1(o2(o1(x),x)) | true | 9111 | 9111 | -0.5352 | 0 | 0.5352 | 0.2487 | 0.4987 | -1 | 0 | 1 | 1 | 0.9964 | 0.02778 | 0 | 0.02778 | 1 | 1 | 0 | 0.06349 | 0.05556 | 0.027 | 0.1643 | 5.915 | 1 | 0.1117 | 0.2553 | 1 | 1 | 0.03158 | 0.06842 | 0.08421 | 0.127 | 0.2751 | 0.3386 | json |
| t13_x3_u8_b7 | 13 | 3 | 8 | 7 | ![]() |
log(eql(log(D),P)) | 43769 | 105690631 | o1(o2(o1(x),x)) | true | 9119 | 9119 | -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 |
| t13_x3_u8_b8 | 13 | 3 | 8 | 8 | ![]() |
log(min(log(D),P)) | 43770 | 105690632 | o1(o2(o1(x),x)) | true | 9127 | 9127 | -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 |
| t13_x3_u8_b9 | 13 | 3 | 8 | 9 | ![]() |
log(dot(log(D),P)) | 43771 | 105690633 | o1(o2(o1(x),x)) | true | 9135 | 9135 | -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 |
| t13_x3_u8_b10 | 13 | 3 | 8 | 10 | ![]() |
log(dst(log(D),P)) | 43772 | 105690634 | o1(o2(o1(x),x)) | true | 9143 | 9143 | -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 |
| t13_x3_u9_b0 | 13 | 3 | 9 | 0 | ![]() |
log(add(frc(D),P)) | 43773 | 105690825 | o1(o2(o1(x),x)) | true | 9151 | 9151 | -0.1043 | 0.4648 | 0.9468 | 0.9159 | 0.957 | -1 | 1 | 2 | 1 | 1.836 | 0.003643 | 0 | 0.01538 | 1 | 1 | 5.44e-9 | 0.004883 | 0.0108 | 0.003404 | 0.05834 | 3.794 | 0.6462 | 0.003977 | 0.005331 | 1 | 1 | 0.006425 | 0.04362 | 0.2389 | 0.007015 | 0.04763 | 0.2609 | json |
| t13_x3_u9_b1 | 13 | 3 | 9 | 1 | ![]() |
log(sub(frc(D),P)) | 43774 | 105690826 | o1(o2(o1(x),x)) | true | 9159 | 9159 | -0.08711 | 0.457 | 0.9241 | 0.8973 | 0.9473 | -1 | 1 | 2 | 1 | 1.804 | 0.005841 | 0 | 0.01074 | 1 | 1 | -7.096e-10 | 0.0124 | 0.01706 | 0.005729 | 0.07569 | 7.047 | 0.9685 | 0.006509 | 0.01382 | 1 | 1 | 0.007271 | 0.02612 | 0.2087 | 0.008103 | 0.02911 | 0.2326 | json |
| t13_x3_u9_b2 | 13 | 3 | 9 | 2 | ![]() |
log(mlt(frc(D),P)) | 43775 | 105690827 | o1(o2(o1(x),x)) | true | 9167 | 9167 | -0.415 | 0.3047 | 0.8889 | 0.6784 | 0.8236 | -1 | 1 | 2 | 1 | 2.299 | 0.1058 | 0 | 0.1005 | 1 | 1 | 2.364e-9 | 0.207 | 0.1163 | 0.09569 | 0.3093 | 3.078 | 2 | 0.1559 | 0.3052 | 1 | 1 | 0.1076 | 0.2742 | 0.1459 | 0.1587 | 0.4041 | 0.215 | json |
| t13_x3_u9_b3 | 13 | 3 | 9 | 3 | ![]() |
log(div(frc(D),P)) | 43776 | 105690828 | o1(o2(o1(x),x)) | true | 9175 | 9175 | -0.9965 | 0 | 0.9965 | 0.0006349 | 0.0252 | -1 | -0.7247 | 0.2753 | 1 | 0.1763 | 0.0003505 | 0 | 0.002185 | 1 | 1 | 0 | 0.0007548 | 0.002677 | 0.000346 | 0.0186 | 8.513 | 0.2753 | 0.552 | 1.189 | 1 | 1 | 0.0004292 | 0.0008721 | 0.0008721 | 0.6759 | 1.374 | 1.374 | json |
| t13_x3_u9_b4 | 13 | 3 | 9 | 4 | ![]() |
log(pow(frc(D),P)) | 43777 | 105690829 | o1(o2(o1(x),x)) | true | 9183 | 9183 | 0.00414 | 0.4961 | 0.8035 | 0.7548 | 0.8688 | -1 | 1 | 2 | 1 | 3 | 0.05585 | 0 | 0.1007 | 1 | 1 | 0.000846 | 0.1195 | 0.1335 | 0.0457 | 0.2138 | 2.124 | 0.9683 | 0.07399 | 0.1583 | 1 | 1 | 0.05511 | 0.112 | 0.1615 | 0.07301 | 0.1484 | 0.214 | json |
| t13_x3_u9_b5 | 13 | 3 | 9 | 5 | ![]() |
log(mod(frc(D),P)) | 43778 | 105690830 | o1(o2(o1(x),x)) | true | 9191 | 9191 | -0.6779 | 0 | 0.6779 | 0.1272 | 0.3566 | -1 | -0.03175 | 0.9683 | 1 | 2.81 | 0.05385 | 0 | 0.1035 | 1 | 1 | 0.0002836 | 0.1043 | 0.1155 | 0.04315 | 0.2077 | 2.007 | 0.9683 | 0.4235 | 0.8203 | 1 | 1 | 0.05346 | 0.1881 | 0.04445 | 0.4204 | 1.479 | 0.3496 | json |
| t13_x3_u9_b6 | 13 | 3 | 9 | 6 | ![]() |
log(lrg(frc(D),P)) | 43779 | 105690831 | o1(o2(o1(x),x)) | true | 9199 | 9199 | -0.5 | 0 | 0.5 | 0.25 | 0.5 | -1 | 0 | 1 | 1 | 1 | 0.003968 | 0 | 0.003968 | 1 | 1 | 0 | 0.007937 | 0.007937 | 0.003952 | 0.06287 | 15.84 | 1 | 0.01587 | 0.03175 | 1 | 1 | 0.005263 | 0.02105 | 0.08421 | 0.02105 | 0.08421 | 0.3368 | json |
| t13_x3_u9_b7 | 13 | 3 | 9 | 7 | ![]() |
log(eql(frc(D),P)) | 43780 | 105690832 | o1(o2(o1(x),x)) | true | 9207 | 9207 | -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 |
| t13_x3_u9_b8 | 13 | 3 | 9 | 8 | ![]() |
log(min(frc(D),P)) | 43781 | 105690833 | o1(o2(o1(x),x)) | true | 9215 | 9215 | -0.8389 | 0 | 0.8389 | 0.08951 | 0.2992 | -1 | -0.03175 | 0.9683 | 1 | 1.755 | 0.02506 | 0 | 0.04969 | 1 | 1 | 0.0002836 | 0.04817 | 0.05377 | 0.02258 | 0.1503 | 3.024 | 0.9683 | 0.28 | 0.5382 | 1 | 1 | 0.0255 | 0.09287 | 0.02223 | 0.2849 | 1.038 | 0.2483 | json |
| t13_x3_u9_b9 | 13 | 3 | 9 | 9 | ![]() |
log(dot(frc(D),P)) | 43782 | 105690834 | o1(o2(o1(x),x)) | true | 9223 | 9223 | -0.2619 | 0.3867 | 0.911 | 0.8111 | 0.9006 | -1 | 1 | 2 | 1 | 2.221 | 0.08495 | 0.08495 | 0.1437 | -8.332e-7 | 1 | 0.000829 | 0.3821 | 0.2156 | 0.1492 | 0.3863 | 2.688 | 2.62 | 0.2095 | 0.4711 | 1 | 1 | 0.167 | 0.4732 | 0.2701 | 0.2058 | 0.5834 | 0.333 | json |
| t13_x3_u9_b10 | 13 | 3 | 9 | 10 | ![]() |
log(dst(frc(D),P)) | 43783 | 105690835 | o1(o2(o1(x),x)) | true | 9231 | 9231 | 0.9564 | 0.9884 | 0.9638 | 0.03579 | 0.1892 | -1 | 1 | 2 | 1 | 0.7339 | 0.001176 | 0.001176 | 0.006504 | 4.949e-7 | 1 | -2.628e-11 | 0.005063 | 0.009983 | 0.002311 | 0.04808 | 7.391 | 1.37 | 0.06572 | 0.1415 | 1 | 1 | 0.003904 | 0.01157 | 0.08291 | 0.1091 | 0.3233 | 2.317 | json |
| t13_x3_u10_b0 | 13 | 3 | 10 | 0 | ![]() |
log(add(flr(D),P)) | 43784 | 105691026 | o1(o2(o1(x),x)) | true | 9239 | 9239 | -0.2067 | 0.375 | 0.9183 | 0.8621 | 0.9285 | -1 | 1 | 2 | 1 | 1.491 | 0.006248 | 0 | 0.007937 | 1 | 1 | 0 | 0.0125 | 0.01587 | 0.006184 | 0.07864 | 9.908 | 1 | 0.007248 | 0.0145 | 1 | 1 | 0.008287 | 0.03315 | 0.2089 | 0.009613 | 0.03845 | 0.2423 | json |
| t13_x3_u10_b1 | 13 | 3 | 10 | 1 | ![]() |
log(sub(flr(D),P)) | 43785 | 105691027 | o1(o2(o1(x),x)) | true | 9247 | 9247 | -0.2855 | 0.375 | 0.9645 | 0.8727 | 0.9342 | -1 | 1 | 2 | 1 | 1.437 | 0.004821 | 0 | 0.01037 | 1 | 1 | 1.892e-9 | 0.008698 | 0.01196 | 0.004715 | 0.06866 | 6.621 | 1 | 0.005524 | 0.009967 | 1 | 1 | 0.00702 | 0.04217 | 0.2748 | 0.008044 | 0.04832 | 0.3149 | json |
| t13_x3_u10_b2 | 13 | 3 | 10 | 2 | ![]() |
log(mlt(flr(D),P)) | 43786 | 105691028 | o1(o2(o1(x),x)) | true | 9255 | 9255 | -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 |
| t13_x3_u10_b3 | 13 | 3 | 10 | 3 | ![]() |
log(div(flr(D),P)) | 43787 | 105691029 | o1(o2(o1(x),x)) | true | 9263 | 9263 | -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 |
| t13_x3_u10_b4 | 13 | 3 | 10 | 4 | ![]() |
log(pow(flr(D),P)) | 43788 | 105691030 | o1(o2(o1(x),x)) | true | 9271 | 9271 | -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 |
| t13_x3_u10_b5 | 13 | 3 | 10 | 5 | ![]() |
log(mod(flr(D),P)) | 43789 | 105691031 | o1(o2(o1(x),x)) | true | 9279 | 9279 | -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 |
| t13_x3_u10_b6 | 13 | 3 | 10 | 6 | ![]() |
log(lrg(flr(D),P)) | 43790 | 105691032 | o1(o2(o1(x),x)) | true | 9287 | 9287 | -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 |
| t13_x3_u10_b7 | 13 | 3 | 10 | 7 | ![]() |
log(eql(flr(D),P)) | 43791 | 105691033 | o1(o2(o1(x),x)) | true | 9295 | 9295 | -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 |
| t13_x3_u10_b8 | 13 | 3 | 10 | 8 | ![]() |
log(min(flr(D),P)) | 43792 | 105691034 | o1(o2(o1(x),x)) | true | 9303 | 9303 | -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 |
| t13_x3_u10_b9 | 13 | 3 | 10 | 9 | ![]() |
log(dot(flr(D),P)) | 43793 | 105691035 | o1(o2(o1(x),x)) | true | 9311 | 9311 | -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 |
| t13_x3_u10_b10 | 13 | 3 | 10 | 10 | ![]() |
log(dst(flr(D),P)) | 43794 | 105691036 | o1(o2(o1(x),x)) | true | 9319 | 9319 | 0.9398 | 0.9844 | 0.9711 | 0.07615 | 0.276 | -1 | 1 | 2 | 1 | 0.7074 | 0.004699 | 0.004699 | 0.01206 | 0.000002577 | 1 | 4.318e-10 | 0.01947 | 0.01721 | 0.009243 | 0.09614 | 7.969 | 2.552 | 0.1234 | 0.2557 | 1 | 1 | 0.01708 | 0.07639 | 0.1428 | 0.2243 | 1.003 | 1.875 | json |
| t13_x3_u11_b0 | 13 | 3 | 11 | 0 | ![]() |
log(add(cil(D),P)) | 43795 | 105691227 | o1(o2(o1(x),x)) | true | 9327 | 9327 | -0.08168 | 0.4375 | 0.9183 | 0.8989 | 0.9481 | -1 | 1 | 2 | 1 | 1.531 | 0.006248 | 0 | 0.007937 | 1 | 1 | 0 | 0.0125 | 0.01587 | 0.006184 | 0.07864 | 9.908 | 1 | 0.006951 | 0.0139 | 1 | 1 | 0.008287 | 0.03315 | 0.2089 | 0.00922 | 0.03688 | 0.2324 | json |
| t13_x3_u11_b1 | 13 | 3 | 11 | 1 | ![]() |
log(sub(cil(D),P)) | 43796 | 105691228 | o1(o2(o1(x),x)) | true | 9335 | 9335 | -0.1605 | 0.4375 | 0.9645 | 0.9279 | 0.9633 | -1 | 1 | 2 | 1 | 1.488 | 0.004821 | 0 | 0.01037 | 1 | 1 | 1.892e-9 | 0.008698 | 0.01196 | 0.004715 | 0.06866 | 6.621 | 1 | 0.005195 | 0.009373 | 1 | 1 | 0.00702 | 0.04217 | 0.2748 | 0.007565 | 0.04544 | 0.2962 | json |
| t13_x3_u11_b2 | 13 | 3 | 11 | 2 | ![]() |
log(mlt(cil(D),P)) | 43797 | 105691229 | o1(o2(o1(x),x)) | true | 9343 | 9343 | -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 |
| t13_x3_u11_b3 | 13 | 3 | 11 | 3 | ![]() |
log(div(cil(D),P)) | 43798 | 105691230 | o1(o2(o1(x),x)) | true | 9351 | 9351 | -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 |
| t13_x3_u11_b4 | 13 | 3 | 11 | 4 | ![]() |
log(pow(cil(D),P)) | 43799 | 105691231 | o1(o2(o1(x),x)) | true | 9359 | 9359 | -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 |



































































































