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_x0_u3_b10 | 13 | 0 | 3 | 10 | ![]() |
sqt(dst(flr(P),P)) | 42100 | 105568426 | o1(o2(o1(x),x)) | true | 16807 | 16807 | 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_x0_u4_b0 | 13 | 0 | 4 | 0 | ![]() |
sqt(add(cil(P),P)) | 42101 | 105568617 | o1(o2(o1(x),x)) | true | 16815 | 16815 | -0.02539 | 0.5 | 0.9746 | 0.9688 | 0.9843 | -1 | 1 | 2 | 1 | 1.276 | 0.00449 | 0 | 0.007936 | 1 | 1 | 4.735e-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_x0_u4_b1 | 13 | 0 | 4 | 1 | ![]() |
sqt(sub(cil(P),P)) | 42102 | 105568618 | o1(o2(o1(x),x)) | true | 16823 | 16823 | 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_x0_u4_b2 | 13 | 0 | 4 | 2 | ![]() |
sqt(mlt(cil(P),P)) | 42103 | 105568619 | o1(o2(o1(x),x)) | true | 16831 | 16831 | 0.9375 | 1 | 0.9375 | 0.04507 | 0.2123 | 0.000291 | 1 | 0.9997 | 1 | 0.8126 | 0.0007059 | 0 | 0.007934 | 1 | 1 | -9.461e-10 | 0.00003241 | 0.001855 | 0.0006433 | 0.02536 | 3.197 | 0.1169 | 0.01566 | 0.0007193 | 1 | 1 | 0.001851 | 0.02408 | 0.06598 | 0.04107 | 0.5344 | 1.464 | json |
| t13_x0_u4_b3 | 13 | 0 | 4 | 3 | ![]() |
sqt(div(cil(P),P)) | 42104 | 105568620 | o1(o2(o1(x),x)) | true | 16839 | 16839 | 0.75 | 0.875 | 1 | 0.4375 | 0.6614 | -1 | 1 | 2 | 1 | 0.5436 | 0.03175 | 0 | 0.01587 | 1 | 1 | 7.569e-9 | 0.06349 | 0.03175 | 0.03149 | 0.1774 | 11.18 | 2 | 0.07256 | 0.1451 | 1 | 1 | 0.04211 | 0.1684 | 0.6737 | 0.09624 | 0.385 | 1.54 | json |
| t13_x0_u4_b4 | 13 | 0 | 4 | 4 | ![]() |
sqt(pow(cil(P),P)) | 42105 | 105568621 | o1(o2(o1(x),x)) | true | 16847 | 16847 | 0 | 0.5 | 1 | 1 | 1 | -1 | 1 | 2 | 1 | 1 | 0.01587 | 0 | 0.007937 | 1 | 1 | 0 | 0.03175 | 0.01587 | 0.01581 | 0.1257 | 15.84 | 2 | 0.01587 | 0.03175 | 1 | 1 | 0.02105 | 0.08421 | 0.3368 | 0.02105 | 0.08421 | 0.3368 | json |
| t13_x0_u4_b5 | 13 | 0 | 4 | 5 | ![]() |
sqt(mod(cil(P),P)) | 42106 | 105568622 | o1(o2(o1(x),x)) | true | 16855 | 16855 | -0.2096 | 0.3125 | 0.6654 | 0.6066 | 0.7788 | -1 | 1 | 2 | 1 | 2.027 | 0.02257 | 0 | 0.03564 | 1 | 1 | -0.0002377 | 0.04037 | 0.04681 | 0.0213 | 0.1459 | 4.095 | 1 | 0.03721 | 0.06655 | 1 | 1 | 0.03122 | 0.1528 | 0.4202 | 0.05147 | 0.2519 | 0.6927 | json |
| t13_x0_u4_b6 | 13 | 0 | 4 | 6 | ![]() |
sqt(lrg(cil(P),P)) | 42107 | 105568623 | o1(o2(o1(x),x)) | true | 16863 | 16863 | 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_x0_u4_b7 | 13 | 0 | 4 | 7 | ![]() |
sqt(eql(cil(P),P)) | 42108 | 105568624 | o1(o2(o1(x),x)) | true | 16871 | 16871 | 1 | 1 | 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_x0_u4_b8 | 13 | 0 | 4 | 8 | ![]() |
sqt(min(cil(P),P)) | 42109 | 105568625 | o1(o2(o1(x),x)) | true | 16879 | 16879 | -0.03125 | 0.5 | 0.9688 | 0.9603 | 0.98 | -1 | 1 | 2 | 1 | 1.406 | 0.004323 | 0 | 0.007937 | 1 | 1 | -9.386e-13 | 0.007903 | 0.008812 | 0.004259 | 0.06526 | 8.223 | 1 | 0.004502 | 0.008229 | 1 | 1 | 0.006228 | 0.03975 | 0.2856 | 0.006485 | 0.04139 | 0.2974 | json |
| t13_x0_u4_b9 | 13 | 0 | 4 | 9 | ![]() |
sqt(dot(cil(P),P)) | 42110 | 105568626 | o1(o2(o1(x),x)) | true | 16887 | 16887 | 0.9964 | 1 | 0.9964 | 0.002289 | 0.04784 | 0.000582 | 1 | 0.9994 | 1 | 0.09109 | 0.00003966 | 0.00003966 | 0.0008105 | 5.503e-7 | 0 | -4.881e-11 | 0.00001004 | 0.0002297 | 0.00007859 | 0.008865 | 10.94 | 0.1294 | 0.03466 | 0.004388 | 1 | 1 | 0.0002733 | 0.00336 | 0.008351 | 0.1194 | 1.468 | 3.649 | json |
| t13_x0_u4_b10 | 13 | 0 | 4 | 10 | ![]() |
sqt(dst(cil(P),P)) | 42111 | 105568627 | o1(o2(o1(x),x)) | true | 16895 | 16895 | 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_x0_u5_b0 | 13 | 0 | 5 | 0 | ![]() |
sqt(add(sgn(P),P)) | 42112 | 105568818 | o1(o2(o1(x),x)) | true | 16903 | 16903 | -0.02539 | 0.5 | 0.9746 | 0.9688 | 0.9843 | -1 | 1 | 2 | 1 | 1.276 | 0.00449 | 0 | 0.007936 | 1 | 1 | 4.735e-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_x0_u5_b1 | 13 | 0 | 5 | 1 | ![]() |
sqt(sub(sgn(P),P)) | 42113 | 105568819 | o1(o2(o1(x),x)) | true | 16911 | 16911 | -0.03125 | 0.4375 | 0.8438 | 0.8354 | 0.914 | -1 | 1 | 2 | 1 | 1.757 | 0.004321 | 0 | 0.007937 | 1 | 1 | -4.731e-10 | 0.007953 | 0.008864 | 0.004257 | 0.06525 | 8.221 | 1 | 0.005173 | 0.00952 | 1 | 1 | 0.006189 | 0.0332 | 0.1593 | 0.007408 | 0.03974 | 0.1907 | json |
| t13_x0_u5_b2 | 13 | 0 | 5 | 2 | ![]() |
sqt(mlt(sgn(P),P)) | 42114 | 105568820 | o1(o2(o1(x),x)) | true | 16919 | 16919 | 0.9375 | 1 | 0.9375 | 0.04507 | 0.2123 | 0.000291 | 1 | 0.9997 | 1 | 0.8126 | 0.0007059 | 0 | 0.007934 | 1 | 1 | -9.461e-10 | 0.00003241 | 0.001855 | 0.0006433 | 0.02536 | 3.197 | 0.1169 | 0.01566 | 0.0007193 | 1 | 1 | 0.001851 | 0.02408 | 0.06598 | 0.04107 | 0.5344 | 1.464 | json |
| t13_x0_u5_b3 | 13 | 0 | 5 | 3 | ![]() |
sqt(div(sgn(P),P)) | 42115 | 105568821 | o1(o2(o1(x),x)) | true | 16927 | 16927 | 0.3368 | 0.875 | 0.5869 | 0.2794 | 0.5286 | -1 | 0.9999 | 2 | 1 | 3.154 | 0.03182 | 0 | 0.021 | 1 | 1 | -0.000004381 | 0.06355 | 0.03293 | 0.03139 | 0.1772 | 8.437 | 2 | 0.1139 | 0.2275 | 1 | 1 | 0.04227 | 0.1635 | 0.5305 | 0.1513 | 0.5852 | 1.899 | json |
| t13_x0_u5_b4 | 13 | 0 | 5 | 4 | ![]() |
sqt(pow(sgn(P),P)) | 42116 | 105568822 | o1(o2(o1(x),x)) | true | 16935 | 16935 | 0 | 0.5 | 1 | 1 | 1 | -1 | 1 | 2 | 1 | 1 | 0.01587 | 0 | 0.007937 | 1 | 1 | 0 | 0.03175 | 0.01587 | 0.01581 | 0.1257 | 15.84 | 2 | 0.01587 | 0.03175 | 1 | 1 | 0.02105 | 0.08421 | 0.3368 | 0.02105 | 0.08421 | 0.3368 | json |
| t13_x0_u5_b5 | 13 | 0 | 5 | 5 | ![]() |
sqt(mod(sgn(P),P)) | 42117 | 105568823 | o1(o2(o1(x),x)) | true | 16943 | 16943 | -0.1563 | 0.4375 | 0.9688 | 0.9369 | 0.9679 | -1 | 1 | 2 | 1 | 1.385 | 0.004323 | 0 | 0.007937 | 1 | 1 | -9.386e-13 | 0.007903 | 0.008812 | 0.004259 | 0.06526 | 8.223 | 1 | 0.004615 | 0.008435 | 1 | 1 | 0.006228 | 0.03975 | 0.2856 | 0.006647 | 0.04243 | 0.3049 | json |
| t13_x0_u5_b6 | 13 | 0 | 5 | 6 | ![]() |
sqt(lrg(sgn(P),P)) | 42118 | 105568824 | o1(o2(o1(x),x)) | true | 16951 | 16951 | 0.4063 | 0.4375 | 0.4063 | 0.2344 | 0.4842 | 0 | 1 | 1 | 1 | 1.302 | 0.0003529 | 0 | 0.003968 | 1 | 1 | -4.731e-10 | 0.00001619 | 0.0009276 | 0.0003372 | 0.01836 | 4.628 | 0.1169 | 0.001505 | 0.00006906 | 1 | 1 | 0.0009255 | 0.01214 | 0.0751 | 0.003947 | 0.0518 | 0.3203 | json |
| t13_x0_u5_b7 | 13 | 0 | 5 | 7 | ![]() |
sqt(eql(sgn(P),P)) | 42119 | 105568825 | o1(o2(o1(x),x)) | true | 16959 | 16959 | 0.1875 | 0.25 | 0.1875 | 0.1388 | 0.3726 | 0 | 1 | 1 | 1 | 1.242 | 0.0007059 | 0 | 0.007937 | 1 | 1 | -9.461e-10 | 0.00003238 | 0.001855 | 0.0006432 | 0.02536 | 3.195 | 0.1169 | 0.005085 | 0.0002333 | 1 | 1 | 0.001851 | 0.02429 | 0.1502 | 0.01333 | 0.1749 | 1.082 | json |
| t13_x0_u5_b8 | 13 | 0 | 5 | 8 | ![]() |
sqt(min(sgn(P),P)) | 42120 | 105568826 | o1(o2(o1(x),x)) | true | 16967 | 16967 | -0.03125 | 0.5 | 0.9688 | 0.9603 | 0.98 | -1 | 1 | 2 | 1 | 1.406 | 0.004323 | 0 | 0.007937 | 1 | 1 | -9.386e-13 | 0.007903 | 0.008812 | 0.004259 | 0.06526 | 8.223 | 1 | 0.004502 | 0.008229 | 1 | 1 | 0.006228 | 0.03975 | 0.2856 | 0.006485 | 0.04139 | 0.2974 | json |
| t13_x0_u5_b9 | 13 | 0 | 5 | 9 | ![]() |
sqt(dot(sgn(P),P)) | 42121 | 105568827 | o1(o2(o1(x),x)) | true | 16975 | 16975 | 0.9964 | 1 | 0.9964 | 0.002289 | 0.04784 | 0.000582 | 1 | 0.9994 | 1 | 0.09109 | 0.00003966 | 0.00003966 | 0.0008105 | 5.503e-7 | 0 | -4.881e-11 | 0.00001004 | 0.0002297 | 0.00007859 | 0.008865 | 10.94 | 0.1294 | 0.03466 | 0.004388 | 1 | 1 | 0.0002733 | 0.00336 | 0.008351 | 0.1194 | 1.468 | 3.649 | json |
| t13_x0_u5_b10 | 13 | 0 | 5 | 10 | ![]() |
sqt(dst(sgn(P),P)) | 42122 | 105568828 | o1(o2(o1(x),x)) | true | 16983 | 16983 | 0.9651 | 0.9844 | 0.9651 | 0.02899 | 0.1703 | 0 | 1 | 1 | 1 | 0.4262 | 0.0001272 | 0.0001272 | 0.002837 | 0.00000206 | 1 | -4.655e-10 | 0.00001489 | 0.0006869 | 0.0002461 | 0.01569 | 5.53 | 0.1194 | 0.008773 | 0.0005135 | 1 | 1 | 0.0008834 | 0.0115 | 0.07054 | 0.03047 | 0.3966 | 2.433 | json |
| t13_x0_u6_b0 | 13 | 0 | 6 | 0 | ![]() |
sqt(add(nrm(P),P)) | 42123 | 105569019 | o1(o2(o1(x),x)) | true | 16991 | 16991 | -0.04086 | 0.4922 | 0.9748 | 0.9682 | 0.984 | -1 | 1 | 2 | 1 | 1.331 | 0.005848 | 0.001336 | 0.008699 | 0.628 | 1 | -2.938e-8 | 0.01394 | 0.01139 | 0.007102 | 0.08427 | 9.688 | 2.828 | 0.007419 | 0.0144 | 1 | 1 | 0.01123 | 0.05852 | 0.3354 | 0.0116 | 0.06044 | 0.3464 | json |
| t13_x0_u6_b1 | 13 | 0 | 6 | 1 | ![]() |
sqt(sub(nrm(P),P)) | 42124 | 105569020 | o1(o2(o1(x),x)) | true | 16999 | 16999 | -0.05289 | 0.4922 | 0.9627 | 0.9495 | 0.9744 | -1 | 1 | 2 | 1 | 1.589 | 0.004568 | 0.0008419 | 0.00866 | 0.6887 | 1 | 8.67e-8 | 0.01046 | 0.01048 | 0.005331 | 0.07301 | 8.431 | 1.541 | 0.005697 | 0.01101 | 1 | 1 | 0.008034 | 0.04376 | 0.2988 | 0.008461 | 0.04609 | 0.3147 | json |
| t13_x0_u6_b2 | 13 | 0 | 6 | 2 | ![]() |
sqt(mlt(nrm(P),P)) | 42125 | 105569021 | o1(o2(o1(x),x)) | true | 17007 | 17007 | 0.8499 | 0.9844 | 0.8812 | 0.1203 | 0.3468 | -1 | 1 | 2 | 1 | 1.745 | 0.00402 | 0.002141 | 0.01055 | 0.305 | 1 | -0.000001915 | 0.01216 | 0.00863 | 0.006053 | 0.0778 | 7.375 | 2.603 | 0.05123 | 0.1011 | 1 | 1 | 0.01114 | 0.0525 | 0.238 | 0.09262 | 0.4365 | 1.979 | json |
| t13_x0_u6_b3 | 13 | 0 | 6 | 3 | ![]() |
sqt(div(nrm(P),P)) | 42126 | 105569022 | o1(o2(o1(x),x)) | true | 17015 | 17015 | 0.2414 | 0.875 | 0.4914 | 0.2288 | 0.4783 | -1 | 0.9999 | 2 | 1 | 2.571 | 0.01963 | 0.000006168 | 0.015 | 0.9994 | 1 | -0.000005823 | 0.03926 | 0.02531 | 0.01942 | 0.1393 | 9.289 | 2 | 0.08584 | 0.1716 | 1 | 1 | 0.02802 | 0.1108 | 0.4126 | 0.1225 | 0.4845 | 1.803 | json |
| t13_x0_u6_b4 | 13 | 0 | 6 | 4 | ![]() |
sqt(pow(nrm(P),P)) | 42127 | 105569023 | o1(o2(o1(x),x)) | true | 17023 | 17023 | -0.2009 | 0.5 | 0.7991 | 0.6713 | 0.8193 | -1 | 1 | 2 | 1 | 2.809 | 0.01595 | 0.00002845 | 0.01271 | 0.9964 | 1 | -0.0000021 | 0.03179 | 0.01693 | 0.01582 | 0.1258 | 9.895 | 2 | 0.02381 | 0.04736 | 1 | 1 | 0.02126 | 0.08237 | 0.266 | 0.03167 | 0.1227 | 0.3963 | json |
| t13_x0_u6_b5 | 13 | 0 | 6 | 5 | ![]() |
sqt(mod(nrm(P),P)) | 42128 | 105569024 | o1(o2(o1(x),x)) | true | 17031 | 17031 | -0.2025 | 0.4375 | 0.9225 | 0.8287 | 0.9103 | -1 | 1 | 2 | 1 | 2.269 | 0.00905 | 0.00001745 | 0.008425 | 0.9962 | 1 | -0.00000128 | 0.01803 | 0.01239 | 0.008994 | 0.09484 | 11.26 | 1.841 | 0.01094 | 0.02175 | 1 | 1 | 0.01276 | 0.05455 | 0.2607 | 0.0154 | 0.06582 | 0.3146 | json |
| t13_x0_u6_b6 | 13 | 0 | 6 | 6 | ![]() |
sqt(lrg(nrm(P),P)) | 42129 | 105569025 | o1(o2(o1(x),x)) | true | 17039 | 17039 | 0.4688 | 0.5074 | 0.4688 | 0.2403 | 0.4902 | 0 | 1 | 1 | 1 | 1.406 | 0.0003686 | 0.00006053 | 0.004904 | 0.7179 | 1 | -4.57e-10 | 0.00002268 | 0.001178 | 0.0004054 | 0.02013 | 4.106 | 0.1169 | 0.001786 | 0.00009441 | 1 | 1 | 0.001191 | 0.01558 | 0.0796 | 0.004955 | 0.06484 | 0.3313 | json |
| t13_x0_u6_b7 | 13 | 0 | 6 | 7 | ![]() |
sqt(eql(nrm(P),P)) | 42130 | 105569026 | o1(o2(o1(x),x)) | true | 17047 | 17047 | 0.06641 | 0.1398 | 0.06641 | 0.04599 | 0.2145 | 0 | 0.9997 | 0.9997 | 1 | 0.9036 | 0.0007022 | 0.00008595 | 0.008964 | 0.7819 | 1 | -7.45e-10 | 0.00004117 | 0.00215 | 0.0007076 | 0.0266 | 2.968 | 0.1169 | 0.01714 | 0.0008953 | 1 | 1 | 0.002137 | 0.0278 | 0.07457 | 0.04646 | 0.6044 | 1.621 | json |
| t13_x0_u6_b8 | 13 | 0 | 6 | 8 | ![]() |
sqt(min(nrm(P),P)) | 42131 | 105569027 | o1(o2(o1(x),x)) | true | 17055 | 17055 | -0.1206 | 0.5 | 0.8794 | 0.8035 | 0.8964 | -1 | 1 | 2 | 1 | 2.656 | 0.004106 | 0.000007345 | 0.00839 | 0.9964 | 1 | -0.000001417 | 0.007915 | 0.008861 | 0.004045 | 0.0636 | 7.58 | 1 | 0.00512 | 0.009851 | 1 | 1 | 0.005728 | 0.03092 | 0.2153 | 0.007128 | 0.03848 | 0.268 | json |
| t13_x0_u6_b9 | 13 | 0 | 6 | 9 | ![]() |
sqt(dot(nrm(P),P)) | 42132 | 105569028 | o1(o2(o1(x),x)) | true | 17063 | 17063 | 0.9688 | 0.9844 | 1 | 0.06152 | 0.248 | -1 | 1 | 2 | 1 | 0.1161 | 0.004031 | 0.004031 | 0.004013 | 0 | 1 | 0 | 0.01663 | 0.008062 | 0.008054 | 0.08974 | 22.36 | 2.828 | 0.131 | 0.2703 | 1 | 1 | 0.01418 | 0.05673 | 0.2269 | 0.2305 | 0.9221 | 3.688 | json |
| t13_x0_u6_b10 | 13 | 0 | 6 | 10 | ![]() |
sqt(dst(nrm(P),P)) | 42133 | 105569029 | o1(o2(o1(x),x)) | true | 17071 | 17071 | 0.9577 | 0.9844 | 0.989 | 0.0672 | 0.2592 | -1 | 1 | 2 | 1 | 0.385 | 0.001893 | 0.001893 | 0.004553 | 0 | 1 | -2.816e-10 | 0.007618 | 0.005789 | 0.003762 | 0.06134 | 13.47 | 2.324 | 0.05633 | 0.1134 | 1 | 1 | 0.006926 | 0.03599 | 0.2123 | 0.1031 | 0.5356 | 3.16 | json |
| t13_x0_u7_b0 | 13 | 0 | 7 | 0 | ![]() |
log(add(sqt(P),P)) | 42134 | 105569220 | o1(o2(o1(x),x)) | true | 17079 | 17079 | -0.132 | 0.4375 | 0.993 | 0.9704 | 0.9851 | -1 | 1 | 2 | 1 | 1.206 | 0.01144 | 0 | 0.007937 | 1 | 1 | 2.838e-9 | 0.02272 | 0.01391 | 0.01137 | 0.1066 | 13.44 | 1.693 | 0.01179 | 0.02341 | 1 | 1 | 0.01527 | 0.06775 | 0.3203 | 0.01574 | 0.06982 | 0.3301 | json |
| t13_x0_u7_b1 | 13 | 0 | 7 | 1 | ![]() |
log(sub(sqt(P),P)) | 42135 | 105569221 | o1(o2(o1(x),x)) | true | 17087 | 17087 | -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_x0_u7_b2 | 13 | 0 | 7 | 2 | ![]() |
log(mlt(sqt(P),P)) | 42136 | 105569222 | o1(o2(o1(x),x)) | true | 17095 | 17095 | -0.1553 | 0.4375 | 0.9697 | 0.9396 | 0.9694 | -1 | 1 | 2 | 1 | 1.353 | 0.004347 | 0 | 0.007937 | 1 | 1 | 4.735e-10 | 0.007907 | 0.008847 | 0.004283 | 0.06544 | 8.246 | 1 | 0.004626 | 0.008414 | 1 | 1 | 0.006288 | 0.04048 | 0.2874 | 0.006691 | 0.04308 | 0.3059 | json |
| t13_x0_u7_b3 | 13 | 0 | 7 | 3 | ![]() |
log(div(sqt(P),P)) | 42137 | 105569223 | o1(o2(o1(x),x)) | true | 17103 | 17103 | -0.8605 | 0 | 0.8605 | 0.05874 | 0.2424 | -1 | -0.0001009 | 0.9999 | 1 | 2.15 | 0.004042 | 0 | 0.007936 | 1 | 1 | 2.961e-9 | 0.007957 | 0.008889 | 0.003978 | 0.06307 | 7.948 | 0.9999 | 0.0688 | 0.1354 | 1 | 1 | 0.005437 | 0.02127 | 0.05965 | 0.09255 | 0.3621 | 1.015 | json |
| t13_x0_u7_b4 | 13 | 0 | 7 | 4 | ![]() |
log(pow(sqt(P),P)) | 42138 | 105569224 | o1(o2(o1(x),x)) | true | 17111 | 17111 | -0.1713 | 0.4375 | 0.9537 | 0.9106 | 0.9542 | -1 | 1 | 2 | 1 | 1.6 | 0.004224 | 0 | 0.007937 | 1 | 1 | 2.366e-9 | 0.007949 | 0.009266 | 0.00416 | 0.0645 | 8.127 | 1 | 0.004639 | 0.00873 | 1 | 1 | 0.005934 | 0.03318 | 0.2558 | 0.006516 | 0.03644 | 0.2809 | json |
| t13_x0_u7_b5 | 13 | 0 | 7 | 5 | ![]() |
log(mod(sqt(P),P)) | 42139 | 105569225 | o1(o2(o1(x),x)) | true | 17119 | 17119 | -0.3379 | 0.375 | 0.9121 | 0.7442 | 0.8626 | -1 | 1 | 2 | 1 | 2.13 | 0.007228 | 0 | 0.007936 | 1 | 1 | -9.934e-9 | 0.01438 | 0.01131 | 0.007164 | 0.08464 | 10.66 | 1.347 | 0.009713 | 0.01932 | 1 | 1 | 0.00963 | 0.04098 | 0.2077 | 0.01294 | 0.05507 | 0.2791 | json |
| t13_x0_u7_b6 | 13 | 0 | 7 | 6 | ![]() |
log(lrg(sqt(P),P)) | 42140 | 105569226 | o1(o2(o1(x),x)) | true | 17127 | 17127 | -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 |
| t13_x0_u7_b7 | 13 | 0 | 7 | 7 | ![]() |
log(eql(sqt(P),P)) | 42141 | 105569227 | o1(o2(o1(x),x)) | true | 17135 | 17135 | -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_x0_u7_b8 | 13 | 0 | 7 | 8 | ![]() |
log(min(sqt(P),P)) | 42142 | 105569228 | o1(o2(o1(x),x)) | true | 17143 | 17143 | -0.2645 | 0.4375 | 0.8605 | 0.7289 | 0.8537 | -1 | 1 | 2 | 1 | 2.539 | 0.004043 | 0 | 0.007936 | 1 | 1 | -9.461e-9 | 0.007922 | 0.008872 | 0.003979 | 0.06308 | 7.949 | 1 | 0.005547 | 0.01087 | 1 | 1 | 0.005464 | 0.02582 | 0.1643 | 0.007497 | 0.03542 | 0.2254 | json |
| t13_x0_u7_b9 | 13 | 0 | 7 | 9 | ![]() |
log(dot(sqt(P),P)) | 42143 | 105569229 | o1(o2(o1(x),x)) | true | 17151 | 17151 | -0.5102 | 0.2461 | 0.9976 | 0.7364 | 0.8581 | -1 | 1 | 2 | 1 | 0.8618 | 0.007031 | 0.007031 | 0.0078 | -9.935e-8 | 1 | 3.379e-11 | 0.0282 | 0.01484 | 0.014 | 0.1183 | 15.17 | 2.394 | 0.0191 | 0.03829 | 1 | 1 | 0.01794 | 0.07466 | 0.3249 | 0.02437 | 0.1014 | 0.4412 | json |
| t13_x0_u7_b10 | 13 | 0 | 7 | 10 | ![]() |
log(dst(sqt(P),P)) | 42144 | 105569230 | o1(o2(o1(x),x)) | true | 17159 | 17159 | -0.5658 | 0.2247 | 0.971 | 0.6396 | 0.7997 | -1 | 1 | 2 | 1 | 1.235 | 0.004727 | 0.004727 | 0.007659 | 6.895e-7 | 1 | -3.304e-10 | 0.01876 | 0.01158 | 0.009397 | 0.09694 | 12.66 | 2 | 0.01478 | 0.02933 | 1 | 1 | 0.00993 | 0.04357 | 0.2211 | 0.01553 | 0.06812 | 0.3456 | json |
| t13_x0_u8_b0 | 13 | 0 | 8 | 0 | ![]() |
log(add(log(P),P)) | 42145 | 105569421 | o1(o2(o1(x),x)) | true | 17167 | 17167 | -0.1566 | 0.4375 | 0.9684 | 0.9364 | 0.9677 | -1 | 1 | 2 | 1 | 1.385 | 0.004317 | 0 | 0.007936 | 1 | 1 | -4.736e-10 | 0.007904 | 0.008851 | 0.004253 | 0.06521 | 8.217 | 1 | 0.00461 | 0.00844 | 1 | 1 | 0.006211 | 0.03949 | 0.2848 | 0.006632 | 0.04217 | 0.3042 | json |
| t13_x0_u8_b1 | 13 | 0 | 8 | 1 | ![]() |
log(sub(log(P),P)) | 42146 | 105569422 | o1(o2(o1(x),x)) | true | 17175 | 17175 | -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_x0_u8_b2 | 13 | 0 | 8 | 2 | ![]() |
log(mlt(log(P),P)) | 42147 | 105569423 | o1(o2(o1(x),x)) | true | 17183 | 17183 | -0.2679 | 0.375 | 0.9821 | 0.902 | 0.9498 | -1 | 1 | 2 | 1 | 1.246 | 0.007209 | 0 | 0.007936 | 1 | 1 | -4.731e-10 | 0.01395 | 0.01129 | 0.007144 | 0.08452 | 10.65 | 1.327 | 0.007992 | 0.01546 | 1 | 1 | 0.009874 | 0.05103 | 0.3017 | 0.01095 | 0.05658 | 0.3344 | json |
| t13_x0_u8_b3 | 13 | 0 | 8 | 3 | ![]() |
log(div(log(P),P)) | 42148 | 105569424 | o1(o2(o1(x),x)) | true | 17191 | 17191 | -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_x0_u8_b4 | 13 | 0 | 8 | 4 | ![]() |
log(pow(log(P),P)) | 42149 | 105569425 | o1(o2(o1(x),x)) | true | 17199 | 17199 | -0.3447 | 0.3359 | 0.9429 | 0.8055 | 0.8975 | -1 | 1 | 2 | 1 | 1.646 | 0.0009177 | 0 | 0.007936 | 1 | 1 | 5.913e-10 | 0.0006105 | 0.003953 | 0.0008554 | 0.02925 | 3.685 | 0.2673 | 0.001139 | 0.0007579 | 1 | 1 | 0.00203 | 0.02358 | 0.2346 | 0.00252 | 0.02928 | 0.2913 | json |
| t13_x0_u8_b5 | 13 | 0 | 8 | 5 | ![]() |
log(mod(log(P),P)) | 42150 | 105569426 | o1(o2(o1(x),x)) | true | 17207 | 17207 | -0.4795 | 0.332 | 0.7903 | 0.4844 | 0.696 | -1 | 0.7321 | 1.732 | 1 | 2.357 | 0.001703 | 0 | 0.006871 | 1 | 1 | 0.000005963 | 0.003175 | 0.006013 | 0.001655 | 0.04068 | 5.921 | 0.6336 | 0.003516 | 0.006556 | 1 | 1 | 0.002401 | 0.01404 | 0.1151 | 0.004957 | 0.02899 | 0.2376 | json |
| t13_x0_u8_b6 | 13 | 0 | 8 | 6 | ![]() |
log(lrg(log(P),P)) | 42151 | 105569427 | o1(o2(o1(x),x)) | true | 17215 | 17215 | -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 |
| t13_x0_u8_b7 | 13 | 0 | 8 | 7 | ![]() |
log(eql(log(P),P)) | 42152 | 105569428 | o1(o2(o1(x),x)) | true | 17223 | 17223 | -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_x0_u8_b8 | 13 | 0 | 8 | 8 | ![]() |
log(min(log(P),P)) | 42153 | 105569429 | o1(o2(o1(x),x)) | true | 17231 | 17231 | -0.4795 | 0.332 | 0.7903 | 0.4844 | 0.696 | -1 | 0.7321 | 1.732 | 1 | 2.357 | 0.001703 | 0 | 0.006871 | 1 | 1 | 0.000005963 | 0.003175 | 0.006013 | 0.001655 | 0.04068 | 5.921 | 0.6336 | 0.003516 | 0.006556 | 1 | 1 | 0.002401 | 0.01404 | 0.1151 | 0.004957 | 0.02899 | 0.2376 | json |
| t13_x0_u8_b9 | 13 | 0 | 8 | 9 | ![]() |
log(dot(log(P),P)) | 42154 | 105569430 | o1(o2(o1(x),x)) | true | 17239 | 17239 | -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_x0_u8_b10 | 13 | 0 | 8 | 10 | ![]() |
log(dst(log(P),P)) | 42155 | 105569431 | o1(o2(o1(x),x)) | true | 17247 | 17247 | -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_x0_u9_b0 | 13 | 0 | 9 | 0 | ![]() |
log(add(frc(P),P)) | 42156 | 105569622 | o1(o2(o1(x),x)) | true | 17255 | 17255 | -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 |
| t13_x0_u9_b1 | 13 | 0 | 9 | 1 | ![]() |
log(sub(frc(P),P)) | 42157 | 105569623 | o1(o2(o1(x),x)) | true | 17263 | 17263 | -0.1739 | 0.4375 | 0.9511 | 0.9053 | 0.9515 | -1 | 1 | 2 | 1 | 1.654 | 0.004186 | 0 | 0.007937 | 1 | 1 | 1.419e-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 |
| t13_x0_u9_b2 | 13 | 0 | 9 | 2 | ![]() |
log(mlt(frc(P),P)) | 42158 | 105569624 | o1(o2(o1(x),x)) | true | 17271 | 17271 | -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_x0_u9_b3 | 13 | 0 | 9 | 3 | ![]() |
log(div(frc(P),P)) | 42159 | 105569625 | o1(o2(o1(x),x)) | true | 17279 | 17279 | -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_x0_u9_b4 | 13 | 0 | 9 | 4 | ![]() |
log(pow(frc(P),P)) | 42160 | 105569626 | o1(o2(o1(x),x)) | true | 17287 | 17287 | 0 | 0.5 | 1 | 1 | 1 | -1 | 1 | 2 | 1 | 1 | 0.01587 | 0 | 0.007937 | 1 | 1 | 0 | 0.03175 | 0.01587 | 0.01581 | 0.1257 | 15.84 | 2 | 0.01587 | 0.03175 | 1 | 1 | 0.02105 | 0.08421 | 0.3368 | 0.02105 | 0.08421 | 0.3368 | json |
| t13_x0_u9_b5 | 13 | 0 | 9 | 5 | ![]() |
log(mod(frc(P),P)) | 42161 | 105569627 | o1(o2(o1(x),x)) | true | 17295 | 17295 | -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_x0_u9_b6 | 13 | 0 | 9 | 6 | ![]() |
log(lrg(frc(P),P)) | 42162 | 105569628 | o1(o2(o1(x),x)) | true | 17303 | 17303 | -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 |
| t13_x0_u9_b7 | 13 | 0 | 9 | 7 | ![]() |
log(eql(frc(P),P)) | 42163 | 105569629 | o1(o2(o1(x),x)) | true | 17311 | 17311 | -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_x0_u9_b8 | 13 | 0 | 9 | 8 | ![]() |
log(min(frc(P),P)) | 42164 | 105569630 | o1(o2(o1(x),x)) | true | 17319 | 17319 | -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_x0_u9_b9 | 13 | 0 | 9 | 9 | ![]() |
log(dot(frc(P),P)) | 42165 | 105569631 | o1(o2(o1(x),x)) | true | 17327 | 17327 | -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_x0_u9_b10 | 13 | 0 | 9 | 10 | ![]() |
log(dst(frc(P),P)) | 42166 | 105569632 | o1(o2(o1(x),x)) | true | 17335 | 17335 | 0.944 | 0.9844 | 0.9752 | 0.07239 | 0.2691 | -1 | 1 | 2 | 1 | 0.7009 | 0.001465 | 0.001465 | 0.005009 | -7.548e-7 | 1 | 4.881e-11 | 0.005843 | 0.005405 | 0.002907 | 0.05392 | 10.76 | 1.904 | 0.04048 | 0.08071 | 1 | 1 | 0.005375 | 0.02798 | 0.1918 | 0.07424 | 0.3866 | 2.649 | json |
| t13_x0_u10_b0 | 13 | 0 | 10 | 0 | ![]() |
log(add(flr(P),P)) | 42167 | 105569823 | o1(o2(o1(x),x)) | true | 17343 | 17343 | -0.1312 | 0.4375 | 0.9938 | 0.9718 | 0.9858 | -1 | 1 | 2 | 1 | 1.182 | 0.01145 | 0 | 0.007937 | 1 | 1 | 0 | 0.02272 | 0.01402 | 0.01139 | 0.1067 | 13.44 | 1.693 | 0.01178 | 0.02338 | 1 | 1 | 0.01531 | 0.06959 | 0.3222 | 0.01575 | 0.07161 | 0.3316 | json |
| t13_x0_u10_b1 | 13 | 0 | 10 | 1 | ![]() |
log(sub(flr(P),P)) | 42168 | 105569824 | o1(o2(o1(x),x)) | true | 17351 | 17351 | -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_x0_u10_b2 | 13 | 0 | 10 | 2 | ![]() |
log(mlt(flr(P),P)) | 42169 | 105569825 | o1(o2(o1(x),x)) | true | 17359 | 17359 | 0.6987 | 0.875 | 0.9487 | 0.4505 | 0.6712 | -1 | 1 | 2 | 1 | 1.146 | 0.008959 | 0 | 0.01587 | 1 | 1 | -1.892e-9 | 0.01587 | 0.0183 | 0.008704 | 0.0933 | 5.878 | 1 | 0.01989 | 0.03522 | 1 | 1 | 0.01324 | 0.08938 | 0.5915 | 0.02939 | 0.1984 | 1.313 | json |
| t13_x0_u10_b3 | 13 | 0 | 10 | 3 | ![]() |
log(div(flr(P),P)) | 42170 | 105569826 | o1(o2(o1(x),x)) | true | 17367 | 17367 | -0.125 | 0 | 0.125 | 0.1094 | 0.3307 | -1 | 0 | 1 | 1 | 1.406 | 0.007937 | 0 | 0.007937 | 1 | 1 | 2.125e-14 | 0.01587 | 0.01587 | 0.007872 | 0.08872 | 11.18 | 1 | 0.07256 | 0.1451 | 1 | 1 | 0.01053 | 0.04211 | 0.1684 | 0.09624 | 0.385 | 1.54 | json |
| t13_x0_u10_b4 | 13 | 0 | 10 | 4 | ![]() |
log(pow(flr(P),P)) | 42171 | 105569827 | o1(o2(o1(x),x)) | true | 17375 | 17375 | -0.1507 | 0.4375 | 0.9743 | 0.9471 | 0.9732 | -1 | 1 | 2 | 1 | 1.29 | 0.004479 | 0 | 0.007936 | 1 | 1 | -9.461e-10 | 0.007933 | 0.00915 | 0.004415 | 0.06645 | 8.372 | 1 | 0.004729 | 0.008376 | 1 | 1 | 0.006621 | 0.04469 | 0.2958 | 0.006991 | 0.04718 | 0.3123 | json |
| t13_x0_u10_b5 | 13 | 0 | 10 | 5 | ![]() |
log(mod(flr(P),P)) | 42172 | 105569828 | o1(o2(o1(x),x)) | true | 17383 | 17383 | -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.01053 | 0.07368 | 0.1684 | 0.04491 | 0.3144 | 0.7186 | json |
| t13_x0_u10_b6 | 13 | 0 | 10 | 6 | ![]() |
log(lrg(flr(P),P)) | 42173 | 105569829 | o1(o2(o1(x),x)) | true | 17391 | 17391 | -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_x0_u10_b7 | 13 | 0 | 10 | 7 | ![]() |
log(eql(flr(P),P)) | 42174 | 105569830 | o1(o2(o1(x),x)) | true | 17399 | 17399 | 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_x0_u10_b8 | 13 | 0 | 10 | 8 | ![]() |
log(min(flr(P),P)) | 42175 | 105569831 | o1(o2(o1(x),x)) | true | 17407 | 17407 | -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 |
| t13_x0_u10_b9 | 13 | 0 | 10 | 9 | ![]() |
log(dot(flr(P),P)) | 42176 | 105569832 | o1(o2(o1(x),x)) | true | 17415 | 17415 | 0.9607 | 0.9844 | 0.992 | 0.06589 | 0.2567 | -1 | 1 | 2 | 1 | 0.3064 | 0.001992 | 0.001992 | 0.004418 | -4.676e-7 | 1 | 0 | 0.007958 | 0.00606 | 0.003962 | 0.06294 | 14.25 | 2.395 | 0.06045 | 0.1208 | 1 | 1 | 0.007346 | 0.04009 | 0.2168 | 0.1115 | 0.6085 | 3.291 | json |
| t13_x0_u10_b10 | 13 | 0 | 10 | 10 | ![]() |
log(dst(flr(P),P)) | 42177 | 105569833 | o1(o2(o1(x),x)) | true | 17423 | 17423 | -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_x0_u11_b0 | 13 | 0 | 11 | 0 | ![]() |
log(add(cil(P),P)) | 42178 | 105570024 | o1(o2(o1(x),x)) | true | 17431 | 17431 | -0.1312 | 0.4375 | 0.9938 | 0.9718 | 0.9858 | -1 | 1 | 2 | 1 | 1.182 | 0.01145 | 0 | 0.007937 | 1 | 1 | 0 | 0.02272 | 0.01402 | 0.01139 | 0.1067 | 13.44 | 1.693 | 0.01178 | 0.02338 | 1 | 1 | 0.01531 | 0.06959 | 0.3222 | 0.01575 | 0.07161 | 0.3316 | json |
| t13_x0_u11_b1 | 13 | 0 | 11 | 1 | ![]() |
log(sub(cil(P),P)) | 42179 | 105570025 | o1(o2(o1(x),x)) | true | 17439 | 17439 | -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_x0_u11_b2 | 13 | 0 | 11 | 2 | ![]() |
log(mlt(cil(P),P)) | 42180 | 105570026 | o1(o2(o1(x),x)) | true | 17447 | 17447 | 0.6987 | 0.875 | 0.9487 | 0.4505 | 0.6712 | -1 | 1 | 2 | 1 | 1.146 | 0.008959 | 0 | 0.01587 | 1 | 1 | -1.892e-9 | 0.01587 | 0.0183 | 0.008704 | 0.0933 | 5.878 | 1 | 0.01989 | 0.03522 | 1 | 1 | 0.01324 | 0.08938 | 0.5915 | 0.02939 | 0.1984 | 1.313 | json |
| t13_x0_u11_b3 | 13 | 0 | 11 | 3 | ![]() |
log(div(cil(P),P)) | 42181 | 105570027 | o1(o2(o1(x),x)) | true | 17455 | 17455 | -0.125 | 0 | 0.125 | 0.1094 | 0.3307 | -1 | 0 | 1 | 1 | 1.406 | 0.007937 | 0 | 0.007937 | 1 | 1 | 2.125e-14 | 0.01587 | 0.01587 | 0.007872 | 0.08872 | 11.18 | 1 | 0.07256 | 0.1451 | 1 | 1 | 0.01053 | 0.04211 | 0.1684 | 0.09624 | 0.385 | 1.54 | json |
| t13_x0_u11_b4 | 13 | 0 | 11 | 4 | ![]() |
log(pow(cil(P),P)) | 42182 | 105570028 | o1(o2(o1(x),x)) | true | 17463 | 17463 | -0.1507 | 0.4375 | 0.9743 | 0.9471 | 0.9732 | -1 | 1 | 2 | 1 | 1.29 | 0.004479 | 0 | 0.007936 | 1 | 1 | -9.461e-10 | 0.007933 | 0.00915 | 0.004415 | 0.06645 | 8.372 | 1 | 0.004729 | 0.008376 | 1 | 1 | 0.006621 | 0.04469 | 0.2958 | 0.006991 | 0.04718 | 0.3123 | json |
| t13_x0_u11_b5 | 13 | 0 | 11 | 5 | ![]() |
log(mod(cil(P),P)) | 42183 | 105570029 | o1(o2(o1(x),x)) | true | 17471 | 17471 | -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.01053 | 0.07368 | 0.1684 | 0.04491 | 0.3144 | 0.7186 | json |
| t13_x0_u11_b6 | 13 | 0 | 11 | 6 | ![]() |
log(lrg(cil(P),P)) | 42184 | 105570030 | o1(o2(o1(x),x)) | true | 17479 | 17479 | -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_x0_u11_b7 | 13 | 0 | 11 | 7 | ![]() |
log(eql(cil(P),P)) | 42185 | 105570031 | o1(o2(o1(x),x)) | true | 17487 | 17487 | 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_x0_u11_b8 | 13 | 0 | 11 | 8 | ![]() |
log(min(cil(P),P)) | 42186 | 105570032 | o1(o2(o1(x),x)) | true | 17495 | 17495 | -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 |
| t13_x0_u11_b9 | 13 | 0 | 11 | 9 | ![]() |
log(dot(cil(P),P)) | 42187 | 105570033 | o1(o2(o1(x),x)) | true | 17503 | 17503 | 0.9607 | 0.9844 | 0.992 | 0.06589 | 0.2567 | -1 | 1 | 2 | 1 | 0.3064 | 0.001992 | 0.001992 | 0.004418 | -4.676e-7 | 1 | 0 | 0.007958 | 0.00606 | 0.003962 | 0.06294 | 14.25 | 2.395 | 0.06045 | 0.1208 | 1 | 1 | 0.007346 | 0.04009 | 0.2168 | 0.1115 | 0.6085 | 3.291 | json |
| t13_x0_u11_b10 | 13 | 0 | 11 | 10 | ![]() |
log(dst(cil(P),P)) | 42188 | 105570034 | o1(o2(o1(x),x)) | true | 17511 | 17511 | -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_x0_u12_b0 | 13 | 0 | 12 | 0 | ![]() |
log(add(sgn(P),P)) | 42189 | 105570225 | o1(o2(o1(x),x)) | true | 17519 | 17519 | -0.1331 | 0.4375 | 0.9919 | 0.968 | 0.9839 | -1 | 1 | 2 | 1 | 1.223 | 0.01142 | 0 | 0.007937 | 1 | 1 | 1.892e-9 | 0.02272 | 0.01379 | 0.01136 | 0.1066 | 13.43 | 1.693 | 0.0118 | 0.02347 | 1 | 1 | 0.01523 | 0.0662 | 0.3178 | 0.01574 | 0.06839 | 0.3283 | json |
| t13_x0_u12_b1 | 13 | 0 | 12 | 1 | ![]() |
log(sub(sgn(P),P)) | 42190 | 105570226 | o1(o2(o1(x),x)) | true | 17527 | 17527 | -0.2989 | 0.375 | 0.9511 | 0.8461 | 0.9199 | -1 | 1 | 2 | 1 | 1.595 | 0.004186 | 0 | 0.007937 | 1 | 1 | 1.419e-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 |
| t13_x0_u12_b2 | 13 | 0 | 12 | 2 | ![]() |
log(mlt(sgn(P),P)) | 42191 | 105570227 | o1(o2(o1(x),x)) | true | 17535 | 17535 | 0.6522 | 0.875 | 0.9022 | 0.445 | 0.6671 | -1 | 1 | 2 | 1 | 1.874 | 0.008372 | 0 | 0.01587 | 1 | 1 | 2.841e-9 | 0.01583 | 0.01783 | 0.008118 | 0.0901 | 5.677 | 1 | 0.01881 | 0.03558 | 1 | 1 | 0.01171 | 0.06567 | 0.4989 | 0.02631 | 0.1476 | 1.121 | json |
| t13_x0_u12_b3 | 13 | 0 | 12 | 3 | ![]() |
log(div(sgn(P),P)) | 42192 | 105570228 | o1(o2(o1(x),x)) | true | 17543 | 17543 | -0.9022 | 0 | 0.9022 | 0.0563 | 0.2373 | -1 | -0.0002017 | 0.9998 | 1 | 1.372 | 0.008365 | 0 | 0.01587 | 1 | 1 | -3.074e-9 | 0.01597 | 0.0179 | 0.008112 | 0.09007 | 5.675 | 0.9998 | 0.1486 | 0.2837 | 1 | 1 | 0.0116 | 0.0475 | 0.08878 | 0.206 | 0.8437 | 1.577 | json |
| t13_x0_u12_b4 | 13 | 0 | 12 | 4 | ![]() |
log(pow(sgn(P),P)) | 42193 | 105570229 | o1(o2(o1(x),x)) | true | 17551 | 17551 | -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 |
| t13_x0_u12_b5 | 13 | 0 | 12 | 5 | ![]() |
log(mod(sgn(P),P)) | 42194 | 105570230 | o1(o2(o1(x),x)) | true | 17559 | 17559 | -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_x0_u12_b6 | 13 | 0 | 12 | 6 | ![]() |
log(lrg(sgn(P),P)) | 42195 | 105570231 | o1(o2(o1(x),x)) | true | 17567 | 17567 | -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_x0_u12_b7 | 13 | 0 | 12 | 7 | ![]() |
log(eql(sgn(P),P)) | 42196 | 105570232 | o1(o2(o1(x),x)) | true | 17575 | 17575 | -0.875 | 0 | 0.875 | 0.1094 | 0.3307 | -1 | 0 | 1 | 1 | 0.5436 | 0.007937 | 0 | 0.007937 | 1 | 1 | 0 | 0.01587 | 0.01587 | 0.007872 | 0.08872 | 11.18 | 1 | 0.07256 | 0.1451 | 1 | 1 | 0.01053 | 0.04211 | 0.1684 | 0.09624 | 0.385 | 1.54 | json |
| t13_x0_u12_b8 | 13 | 0 | 12 | 8 | ![]() |
log(min(sgn(P),P)) | 42197 | 105570233 | o1(o2(o1(x),x)) | true | 17583 | 17583 | -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 |
| t13_x0_u12_b9 | 13 | 0 | 12 | 9 | ![]() |
log(dot(sgn(P),P)) | 42198 | 105570234 | o1(o2(o1(x),x)) | true | 17591 | 17591 | 0.9544 | 0.9844 | 0.9857 | 0.06806 | 0.2609 | -1 | 1 | 2 | 1 | 0.4826 | 0.001965 | 0.001965 | 0.004947 | 2.963e-7 | 1 | 5.519e-10 | 0.007952 | 0.006023 | 0.003908 | 0.06251 | 12.64 | 2.394 | 0.05774 | 0.1168 | 1 | 1 | 0.00716 | 0.03571 | 0.2046 | 0.1052 | 0.5247 | 3.007 | json |
| t13_x0_u12_b10 | 13 | 0 | 12 | 10 | ![]() |
log(dst(sgn(P),P)) | 42199 | 105570235 | o1(o2(o1(x),x)) | true | 17599 | 17599 | 0.8257 | 0.9375 | 0.9507 | 0.2492 | 0.4992 | -1 | 1 | 2 | 1 | 1.256 | 0.002528 | 0.002528 | 0.009041 | 0.000001013 | 1 | 1.802e-9 | 0.009864 | 0.009934 | 0.004978 | 0.07055 | 7.804 | 1.904 | 0.02029 | 0.03959 | 1 | 1 | 0.009319 | 0.05011 | 0.3623 | 0.0374 | 0.2011 | 1.454 | json |



































































































