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 | ||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| t15_x0_u2_b1 | 15 | 0 | 2 | 1 | ![]() |
sub(P,sqt(frc(P))) | 69800 | 121809418 | o2(x,o1(o1(x))) | true | 46407 | 46407 | 0 | 0.5 | 0.9375 | 0.924 | 0.9612 | -1 | 1 | 2 | 1 | 1.813 | 0.0007059 | 0 | 0.007937 | 1 | 1 | 0 | 0.00003235 | 0.001851 | 0.0006432 | 0.02536 | 3.195 | 0.1169 | 0.0007639 | 0.00003501 | 1 | 1 | 0.001851 | 0.02449 | 0.2344 | 0.002003 | 0.0265 | 0.2537 | json |
| t15_x0_u2_b2 | 15 | 0 | 2 | 2 | ![]() |
mlt(P,sqt(frc(P))) | 69801 | 121809419 | o2(x,o1(o1(x))) | true | 46415 | 46415 | 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 |
| t15_x0_u2_b3 | 15 | 0 | 2 | 3 | ![]() |
div(P,sqt(frc(P))) | 69802 | 121809420 | o2(x,o1(o1(x))) | true | 46423 | 46423 | 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 |
| t15_x0_u2_b4 | 15 | 0 | 2 | 4 | ![]() |
pow(P,sqt(frc(P))) | 69803 | 121809421 | o2(x,o1(o1(x))) | true | 46431 | 46431 | 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 |
| t15_x0_u2_b5 | 15 | 0 | 2 | 5 | ![]() |
mod(P,sqt(frc(P))) | 69804 | 121809422 | o2(x,o1(o1(x))) | true | 46439 | 46439 | 0 | 0.5 | 0.9375 | 0.924 | 0.9612 | -1 | 1 | 2 | 1 | 1.813 | 0.0007059 | 0 | 0.007937 | 1 | 1 | 0 | 0.00003235 | 0.001851 | 0.0006432 | 0.02536 | 3.195 | 0.1169 | 0.0007639 | 0.00003501 | 1 | 1 | 0.001851 | 0.02449 | 0.2344 | 0.002003 | 0.0265 | 0.2537 | json |
| t15_x0_u2_b6 | 15 | 0 | 2 | 6 | ![]() |
lrg(P,sqt(frc(P))) | 69805 | 121809423 | o2(x,o1(o1(x))) | true | 46447 | 46447 | 0.4688 | 0.5 | 0.4688 | 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 |
| t15_x0_u2_b7 | 15 | 0 | 2 | 7 | ![]() |
eql(P,sqt(frc(P))) | 69806 | 121809424 | o2(x,o1(o1(x))) | true | 46455 | 46455 | 0.0625 | 0.125 | 0.0625 | 0.04507 | 0.2123 | 0 | 0.9997 | 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 |
| t15_x0_u2_b8 | 15 | 0 | 2 | 8 | ![]() |
min(P,sqt(frc(P))) | 69807 | 121809425 | o2(x,o1(o1(x))) | true | 46463 | 46463 | -0.4688 | 0 | 0.4688 | 0.2423 | 0.4922 | -1 | 0 | 1 | 1 | 1.406 | 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 |
| t15_x0_u2_b9 | 15 | 0 | 2 | 9 | ![]() |
dot(P,sqt(frc(P))) | 69808 | 121809426 | o2(x,o1(o1(x))) | true | 46471 | 46471 | 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 |
| t15_x0_u2_b10 | 15 | 0 | 2 | 10 | ![]() |
dst(P,sqt(frc(P))) | 69809 | 121809427 | o2(x,o1(o1(x))) | true | 46479 | 46479 | 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 |
| t15_x0_u3_b0 | 15 | 0 | 3 | 0 | ![]() |
add(P,sqt(flr(P))) | 69810 | 121809618 | o2(x,o1(o1(x))) | true | 46487 | 46487 | -0.02152 | 0.5 | 0.9785 | 0.9739 | 0.9869 | -1 | 1 | 2 | 1 | 1.244 | 0.004625 | 0 | 0.007937 | 1 | 1 | -4.731e-10 | 0.007971 | 0.009631 | 0.00456 | 0.06753 | 8.509 | 1.001 | 0.004749 | 0.008185 | 1 | 1 | 0.006981 | 0.05009 | 0.3027 | 0.007168 | 0.05143 | 0.3108 | json |
| t15_x0_u3_b1 | 15 | 0 | 3 | 1 | ![]() |
sub(P,sqt(flr(P))) | 69811 | 121809619 | o2(x,o1(o1(x))) | true | 46495 | 46495 | -0.1164 | 0.4375 | 0.8835 | 0.8537 | 0.9239 | -1 | 1 | 2 | 1 | 1.866 | 0.004188 | 0 | 0.007937 | 1 | 1 | 9.466e-10 | 0.007959 | 0.00911 | 0.004124 | 0.06422 | 8.092 | 1 | 0.004906 | 0.009323 | 1 | 1 | 0.005833 | 0.02792 | 0.1711 | 0.006832 | 0.03271 | 0.2004 | json |
| t15_x0_u3_b2 | 15 | 0 | 3 | 2 | ![]() |
mlt(P,sqt(flr(P))) | 69812 | 121809620 | o2(x,o1(o1(x))) | true | 46503 | 46503 | -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 |
| t15_x0_u3_b3 | 15 | 0 | 3 | 3 | ![]() |
div(P,sqt(flr(P))) | 69813 | 121809621 | o2(x,o1(o1(x))) | true | 46511 | 46511 | -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 |
| t15_x0_u3_b4 | 15 | 0 | 3 | 4 | ![]() |
pow(P,sqt(flr(P))) | 69814 | 121809622 | o2(x,o1(o1(x))) | true | 46519 | 46519 | 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 |
| t15_x0_u3_b5 | 15 | 0 | 3 | 5 | ![]() |
mod(P,sqt(flr(P))) | 69815 | 121809623 | o2(x,o1(o1(x))) | true | 46527 | 46527 | -0.2648 | 0.4375 | 0.8601 | 0.7507 | 0.8664 | -1 | 1 | 2 | 1 | 2.273 | 0.004866 | 0 | 0.01587 | 1 | 1 | 1.892e-9 | 0.008009 | 0.01127 | 0.004616 | 0.06794 | 4.281 | 1 | 0.006483 | 0.01067 | 1 | 1 | 0.007598 | 0.05227 | 0.2951 | 0.01012 | 0.06963 | 0.3931 | json |
| t15_x0_u3_b6 | 15 | 0 | 3 | 6 | ![]() |
lrg(P,sqt(flr(P))) | 69816 | 121809624 | o2(x,o1(o1(x))) | true | 46535 | 46535 | 0.875 | 0.9375 | 0.875 | 0.09585 | 0.3096 | 0 | 1 | 1 | 1 | 1.067 | 0.0007059 | 0 | 0.007937 | 1 | 1 | -9.461e-10 | 0.00003238 | 0.001855 | 0.0006432 | 0.02536 | 3.195 | 0.1169 | 0.007364 | 0.0003379 | 1 | 1 | 0.001851 | 0.02429 | 0.1411 | 0.01931 | 0.2534 | 1.472 | json |
| t15_x0_u3_b7 | 15 | 0 | 3 | 7 | ![]() |
eql(P,sqt(flr(P))) | 69817 | 121809625 | o2(x,o1(o1(x))) | true | 46543 | 46543 | 0.125 | 0.1875 | 0.125 | 0.09585 | 0.3096 | 0 | 1 | 1 | 1 | 1.067 | 0.0007059 | 0 | 0.007937 | 1 | 1 | -9.461e-10 | 0.00003238 | 0.001855 | 0.0006432 | 0.02536 | 3.195 | 0.1169 | 0.007364 | 0.0003379 | 1 | 1 | 0.001851 | 0.02429 | 0.1411 | 0.01931 | 0.2534 | 1.472 | json |
| t15_x0_u3_b8 | 15 | 0 | 3 | 8 | ![]() |
min(P,sqt(flr(P))) | 69818 | 121809626 | o2(x,o1(o1(x))) | true | 46551 | 46551 | 0 | 0.5 | 0.9375 | 0.924 | 0.9612 | -1 | 1 | 2 | 1 | 1.813 | 0.0007059 | 0 | 0.007937 | 1 | 1 | 0 | 0.00003235 | 0.001851 | 0.0006432 | 0.02536 | 3.195 | 0.1169 | 0.0007639 | 0.00003501 | 1 | 1 | 0.001851 | 0.02449 | 0.2344 | 0.002003 | 0.0265 | 0.2537 | json |
| t15_x0_u3_b9 | 15 | 0 | 3 | 9 | ![]() |
dot(P,sqt(flr(P))) | 69819 | 121809627 | o2(x,o1(o1(x))) | true | 46559 | 46559 | -0.5008 | 0.25 | 0.9992 | 0.7483 | 0.865 | -1 | 1 | 2 | 1 | 0.8325 | 0.007543 | 0.007543 | 0.007877 | 6.174e-8 | 1 | 3.341e-10 | 0.03016 | 0.01543 | 0.01502 | 0.1226 | 15.56 | 2 | 0.02016 | 0.04031 | 1 | 1 | 0.01971 | 0.08047 | 0.3328 | 0.02634 | 0.1075 | 0.4447 | json |
| t15_x0_u3_b10 | 15 | 0 | 3 | 10 | ![]() |
dst(P,sqt(flr(P))) | 69820 | 121809628 | o2(x,o1(o1(x))) | true | 46567 | 46567 | -0.5134 | 0.2461 | 0.9866 | 0.7195 | 0.8482 | -1 | 1 | 2 | 1 | 1.002 | 0.006485 | 0.006485 | 0.007849 | -0.000001795 | 1 | -9.011e-11 | 0.02589 | 0.01425 | 0.01291 | 0.1136 | 14.48 | 2 | 0.01803 | 0.03598 | 1 | 1 | 0.01602 | 0.06534 | 0.2798 | 0.02227 | 0.09081 | 0.3889 | json |
| t15_x0_u4_b0 | 15 | 0 | 4 | 0 | ![]() |
add(P,sqt(cil(P))) | 69821 | 121809819 | o2(x,o1(o1(x))) | true | 46575 | 46575 | -0.02152 | 0.5 | 0.9785 | 0.9739 | 0.9869 | -1 | 1 | 2 | 1 | 1.244 | 0.004625 | 0 | 0.007937 | 1 | 1 | -4.731e-10 | 0.007971 | 0.009631 | 0.00456 | 0.06753 | 8.509 | 1.001 | 0.004749 | 0.008185 | 1 | 1 | 0.006981 | 0.05009 | 0.3027 | 0.007168 | 0.05143 | 0.3108 | json |
| t15_x0_u4_b1 | 15 | 0 | 4 | 1 | ![]() |
sub(P,sqt(cil(P))) | 69822 | 121809820 | o2(x,o1(o1(x))) | true | 46583 | 46583 | -0.1164 | 0.4375 | 0.8835 | 0.8537 | 0.9239 | -1 | 1 | 2 | 1 | 1.866 | 0.004188 | 0 | 0.007937 | 1 | 1 | 9.466e-10 | 0.007959 | 0.00911 | 0.004124 | 0.06422 | 8.092 | 1 | 0.004906 | 0.009323 | 1 | 1 | 0.005833 | 0.02792 | 0.1711 | 0.006832 | 0.03271 | 0.2004 | json |
| t15_x0_u4_b2 | 15 | 0 | 4 | 2 | ![]() |
mlt(P,sqt(cil(P))) | 69823 | 121809821 | o2(x,o1(o1(x))) | true | 46591 | 46591 | -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 |
| t15_x0_u4_b3 | 15 | 0 | 4 | 3 | ![]() |
div(P,sqt(cil(P))) | 69824 | 121809822 | o2(x,o1(o1(x))) | true | 46599 | 46599 | -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 |
| t15_x0_u4_b4 | 15 | 0 | 4 | 4 | ![]() |
pow(P,sqt(cil(P))) | 69825 | 121809823 | o2(x,o1(o1(x))) | true | 46607 | 46607 | 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 |
| t15_x0_u4_b5 | 15 | 0 | 4 | 5 | ![]() |
mod(P,sqt(cil(P))) | 69826 | 121809824 | o2(x,o1(o1(x))) | true | 46615 | 46615 | -0.2648 | 0.4375 | 0.8601 | 0.7507 | 0.8664 | -1 | 1 | 2 | 1 | 2.273 | 0.004866 | 0 | 0.01587 | 1 | 1 | 1.892e-9 | 0.008009 | 0.01127 | 0.004616 | 0.06794 | 4.281 | 1 | 0.006483 | 0.01067 | 1 | 1 | 0.007598 | 0.05227 | 0.2951 | 0.01012 | 0.06963 | 0.3931 | json |
| t15_x0_u4_b6 | 15 | 0 | 4 | 6 | ![]() |
lrg(P,sqt(cil(P))) | 69827 | 121809825 | o2(x,o1(o1(x))) | true | 46623 | 46623 | 0.875 | 0.9375 | 0.875 | 0.09585 | 0.3096 | 0 | 1 | 1 | 1 | 1.067 | 0.0007059 | 0 | 0.007937 | 1 | 1 | -9.461e-10 | 0.00003238 | 0.001855 | 0.0006432 | 0.02536 | 3.195 | 0.1169 | 0.007364 | 0.0003379 | 1 | 1 | 0.001851 | 0.02429 | 0.1411 | 0.01931 | 0.2534 | 1.472 | json |
| t15_x0_u4_b7 | 15 | 0 | 4 | 7 | ![]() |
eql(P,sqt(cil(P))) | 69828 | 121809826 | o2(x,o1(o1(x))) | true | 46631 | 46631 | 0.125 | 0.1875 | 0.125 | 0.09585 | 0.3096 | 0 | 1 | 1 | 1 | 1.067 | 0.0007059 | 0 | 0.007937 | 1 | 1 | -9.461e-10 | 0.00003238 | 0.001855 | 0.0006432 | 0.02536 | 3.195 | 0.1169 | 0.007364 | 0.0003379 | 1 | 1 | 0.001851 | 0.02429 | 0.1411 | 0.01931 | 0.2534 | 1.472 | json |
| t15_x0_u4_b8 | 15 | 0 | 4 | 8 | ![]() |
min(P,sqt(cil(P))) | 69829 | 121809827 | o2(x,o1(o1(x))) | true | 46639 | 46639 | 0 | 0.5 | 0.9375 | 0.924 | 0.9612 | -1 | 1 | 2 | 1 | 1.813 | 0.0007059 | 0 | 0.007937 | 1 | 1 | 0 | 0.00003235 | 0.001851 | 0.0006432 | 0.02536 | 3.195 | 0.1169 | 0.0007639 | 0.00003501 | 1 | 1 | 0.001851 | 0.02449 | 0.2344 | 0.002003 | 0.0265 | 0.2537 | json |
| t15_x0_u4_b9 | 15 | 0 | 4 | 9 | ![]() |
dot(P,sqt(cil(P))) | 69830 | 121809828 | o2(x,o1(o1(x))) | true | 46647 | 46647 | -0.5008 | 0.25 | 0.9992 | 0.7483 | 0.865 | -1 | 1 | 2 | 1 | 0.8325 | 0.007543 | 0.007543 | 0.007877 | 6.174e-8 | 1 | 3.341e-10 | 0.03016 | 0.01543 | 0.01502 | 0.1226 | 15.56 | 2 | 0.02016 | 0.04031 | 1 | 1 | 0.01971 | 0.08047 | 0.3328 | 0.02634 | 0.1075 | 0.4447 | json |
| t15_x0_u4_b10 | 15 | 0 | 4 | 10 | ![]() |
dst(P,sqt(cil(P))) | 69831 | 121809829 | o2(x,o1(o1(x))) | true | 46655 | 46655 | -0.5134 | 0.2461 | 0.9866 | 0.7195 | 0.8482 | -1 | 1 | 2 | 1 | 1.002 | 0.006485 | 0.006485 | 0.007849 | -0.000001795 | 1 | -9.011e-11 | 0.02589 | 0.01425 | 0.01291 | 0.1136 | 14.48 | 2 | 0.01803 | 0.03598 | 1 | 1 | 0.01602 | 0.06534 | 0.2798 | 0.02227 | 0.09081 | 0.3889 | json |
| t15_x0_u5_b0 | 15 | 0 | 5 | 0 | ![]() |
add(P,sqt(sgn(P))) | 69832 | 121810020 | o2(x,o1(o1(x))) | true | 46663 | 46663 | -0.02152 | 0.5 | 0.9785 | 0.9739 | 0.9869 | -1 | 1 | 2 | 1 | 1.244 | 0.004625 | 0 | 0.007937 | 1 | 1 | -4.731e-10 | 0.007971 | 0.009631 | 0.00456 | 0.06753 | 8.509 | 1.001 | 0.004749 | 0.008185 | 1 | 1 | 0.006981 | 0.05009 | 0.3027 | 0.007168 | 0.05143 | 0.3108 | json |
| t15_x0_u5_b1 | 15 | 0 | 5 | 1 | ![]() |
sub(P,sqt(sgn(P))) | 69833 | 121810021 | o2(x,o1(o1(x))) | true | 46671 | 46671 | -0.09375 | 0.4375 | 0.9063 | 0.89 | 0.9434 | -1 | 1 | 2 | 1 | 1.621 | 0.004321 | 0 | 0.007937 | 1 | 1 | -4.731e-10 | 0.007953 | 0.008864 | 0.004257 | 0.06525 | 8.221 | 1 | 0.004855 | 0.008935 | 1 | 1 | 0.006189 | 0.0332 | 0.2014 | 0.006953 | 0.0373 | 0.2263 | json |
| t15_x0_u5_b2 | 15 | 0 | 5 | 2 | ![]() |
mlt(P,sqt(sgn(P))) | 69834 | 121810022 | o2(x,o1(o1(x))) | true | 46679 | 46679 | -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 |
| t15_x0_u5_b3 | 15 | 0 | 5 | 3 | ![]() |
div(P,sqt(sgn(P))) | 69835 | 121810023 | o2(x,o1(o1(x))) | true | 46687 | 46687 | -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 |
| t15_x0_u5_b4 | 15 | 0 | 5 | 4 | ![]() |
pow(P,sqt(sgn(P))) | 69836 | 121810024 | o2(x,o1(o1(x))) | true | 46695 | 46695 | 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 |
| t15_x0_u5_b5 | 15 | 0 | 5 | 5 | ![]() |
mod(P,sqt(sgn(P))) | 69837 | 121810025 | o2(x,o1(o1(x))) | true | 46703 | 46703 | -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 |
| t15_x0_u5_b6 | 15 | 0 | 5 | 6 | ![]() |
lrg(P,sqt(sgn(P))) | 69838 | 121810026 | o2(x,o1(o1(x))) | true | 46711 | 46711 | 0.875 | 0.9375 | 0.875 | 0.09585 | 0.3096 | 0 | 1 | 1 | 1 | 1.067 | 0.0007059 | 0 | 0.007937 | 1 | 1 | -9.461e-10 | 0.00003238 | 0.001855 | 0.0006432 | 0.02536 | 3.195 | 0.1169 | 0.007364 | 0.0003379 | 1 | 1 | 0.001851 | 0.02429 | 0.1411 | 0.01931 | 0.2534 | 1.472 | json |
| t15_x0_u5_b7 | 15 | 0 | 5 | 7 | ![]() |
eql(P,sqt(sgn(P))) | 69839 | 121810027 | o2(x,o1(o1(x))) | true | 46719 | 46719 | 0.125 | 0.1875 | 0.125 | 0.09585 | 0.3096 | 0 | 1 | 1 | 1 | 1.067 | 0.0007059 | 0 | 0.007937 | 1 | 1 | -9.461e-10 | 0.00003238 | 0.001855 | 0.0006432 | 0.02536 | 3.195 | 0.1169 | 0.007364 | 0.0003379 | 1 | 1 | 0.001851 | 0.02429 | 0.1411 | 0.01931 | 0.2534 | 1.472 | json |
| t15_x0_u5_b8 | 15 | 0 | 5 | 8 | ![]() |
min(P,sqt(sgn(P))) | 69840 | 121810028 | o2(x,o1(o1(x))) | true | 46727 | 46727 | 0 | 0.5 | 0.9375 | 0.924 | 0.9612 | -1 | 1 | 2 | 1 | 1.813 | 0.0007059 | 0 | 0.007937 | 1 | 1 | 0 | 0.00003235 | 0.001851 | 0.0006432 | 0.02536 | 3.195 | 0.1169 | 0.0007639 | 0.00003501 | 1 | 1 | 0.001851 | 0.02449 | 0.2344 | 0.002003 | 0.0265 | 0.2537 | json |
| t15_x0_u5_b9 | 15 | 0 | 5 | 9 | ![]() |
dot(P,sqt(sgn(P))) | 69841 | 121810029 | o2(x,o1(o1(x))) | true | 46735 | 46735 | -0.5008 | 0.25 | 0.9992 | 0.7483 | 0.865 | -1 | 1 | 2 | 1 | 0.8325 | 0.007543 | 0.007543 | 0.007877 | 6.174e-8 | 1 | 3.341e-10 | 0.03016 | 0.01543 | 0.01502 | 0.1226 | 15.56 | 2 | 0.02016 | 0.04031 | 1 | 1 | 0.01971 | 0.08047 | 0.3328 | 0.02634 | 0.1075 | 0.4447 | json |
| t15_x0_u5_b10 | 15 | 0 | 5 | 10 | ![]() |
dst(P,sqt(sgn(P))) | 69842 | 121810030 | o2(x,o1(o1(x))) | true | 46743 | 46743 | -0.5087 | 0.2461 | 0.9913 | 0.7315 | 0.8553 | -1 | 1 | 2 | 1 | 0.9166 | 0.006808 | 0.006808 | 0.007881 | 6.84e-8 | 1 | -6.758e-11 | 0.02714 | 0.01453 | 0.01355 | 0.1164 | 14.77 | 2 | 0.01861 | 0.03711 | 1 | 1 | 0.01719 | 0.07076 | 0.301 | 0.0235 | 0.09674 | 0.4115 | json |
| t15_x0_u6_b0 | 15 | 0 | 6 | 0 | ![]() |
add(P,sqt(nrm(P))) | 69843 | 121810221 | o2(x,o1(o1(x))) | true | 46751 | 46751 | -0.03721 | 0.4922 | 0.9784 | 0.9726 | 0.9862 | -1 | 1 | 2 | 1 | 1.27 | 0.005963 | 0.001445 | 0.008732 | 0.6099 | 1 | -4.221e-8 | 0.01419 | 0.01174 | 0.007324 | 0.08558 | 9.801 | 2.828 | 0.007616 | 0.01459 | 1 | 1 | 0.0117 | 0.06288 | 0.3447 | 0.01203 | 0.06466 | 0.3544 | json |
| t15_x0_u6_b1 | 15 | 0 | 6 | 1 | ![]() |
sub(P,sqt(nrm(P))) | 69844 | 121810222 | o2(x,o1(o1(x))) | true | 46759 | 46759 | -0.07104 | 0.4916 | 0.9446 | 0.9252 | 0.9619 | -1 | 1 | 2 | 1 | 1.669 | 0.004306 | 0.0005919 | 0.008535 | 0.7583 | 1 | 2.598e-7 | 0.009436 | 0.01025 | 0.004825 | 0.06946 | 8.138 | 1.639 | 0.005294 | 0.0102 | 1 | 1 | 0.007137 | 0.03746 | 0.2608 | 0.007714 | 0.04049 | 0.2819 | json |
| t15_x0_u6_b2 | 15 | 0 | 6 | 2 | ![]() |
mlt(P,sqt(nrm(P))) | 69845 | 121810223 | o2(x,o1(o1(x))) | true | 46767 | 46767 | -0.06749 | 0.4922 | 0.9481 | 0.9298 | 0.9643 | -1 | 1 | 2 | 1 | 1.641 | 0.00553 | 0.00107 | 0.008683 | 0.6759 | 1 | -7.241e-7 | 0.01306 | 0.01134 | 0.006519 | 0.08074 | 9.299 | 2.603 | 0.007098 | 0.01405 | 1 | 1 | 0.01008 | 0.04785 | 0.285 | 0.01084 | 0.05146 | 0.3065 | json |
| t15_x0_u6_b3 | 15 | 0 | 6 | 3 | ![]() |
div(P,sqt(nrm(P))) | 69846 | 121810224 | o2(x,o1(o1(x))) | true | 46775 | 46775 | -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 |
| t15_x0_u6_b4 | 15 | 0 | 6 | 4 | ![]() |
pow(P,sqt(nrm(P))) | 69847 | 121810225 | o2(x,o1(o1(x))) | true | 46783 | 46783 | -0.01563 | 0.4922 | 1 | 0.9995 | 0.9998 | -1 | 1 | 2 | 1 | 0.9998 | 0.01587 | 0.002016 | 0.008926 | 0.7746 | 1 | 0 | 0.03628 | 0.01789 | 0.01781 | 0.1334 | 14.95 | 2.828 | 0.0179 | 0.0363 | 1 | 1 | 0.0246 | 0.09839 | 0.3936 | 0.02461 | 0.09844 | 0.3938 | json |
| t15_x0_u6_b5 | 15 | 0 | 6 | 5 | ![]() |
mod(P,sqt(nrm(P))) | 69848 | 121810226 | o2(x,o1(o1(x))) | true | 46791 | 46791 | -0.4275 | 0.4341 | 0.6975 | 0.4394 | 0.6629 | -1 | 0.8443 | 1.844 | 1 | 2.53 | 0.005876 | 0.0001625 | 0.01193 | 0.9462 | 1 | 0.000007633 | 0.01162 | 0.01115 | 0.005898 | 0.0768 | 6.439 | 1.438 | 0.01374 | 0.02645 | 1 | 1 | 0.008018 | 0.03689 | 0.1658 | 0.01825 | 0.08396 | 0.3772 | json |
| t15_x0_u6_b6 | 15 | 0 | 6 | 6 | ![]() |
lrg(P,sqt(nrm(P))) | 69849 | 121810227 | o2(x,o1(o1(x))) | true | 46799 | 46799 | 0.9375 | 1 | 0.9375 | 0.04392 | 0.2096 | 0.000291 | 1 | 0.9997 | 1 | 0.8521 | 0.0006768 | 0.00006053 | 0.008366 | 0.8358 | 1 | -9.551e-10 | 0.00003685 | 0.001988 | 0.0006671 | 0.02583 | 3.087 | 0.1169 | 0.01679 | 0.0008389 | 1 | 1 | 0.00196 | 0.02551 | 0.07125 | 0.04463 | 0.5807 | 1.622 | json |
| t15_x0_u6_b7 | 15 | 0 | 6 | 7 | ![]() |
eql(P,sqt(nrm(P))) | 69850 | 121810228 | o2(x,o1(o1(x))) | true | 46807 | 46807 | 0.0625 | 0.132 | 0.0625 | 0.04392 | 0.2096 | 0 | 0.9997 | 0.9997 | 1 | 0.8521 | 0.0006768 | 0.00006053 | 0.008366 | 0.8358 | 1 | -7.82e-10 | 0.00003685 | 0.001988 | 0.0006671 | 0.02583 | 3.087 | 0.1169 | 0.01679 | 0.0008389 | 1 | 1 | 0.00196 | 0.02551 | 0.07125 | 0.04463 | 0.5807 | 1.622 | json |
| t15_x0_u6_b8 | 15 | 0 | 6 | 8 | ![]() |
min(P,sqt(nrm(P))) | 69851 | 121810229 | o2(x,o1(o1(x))) | true | 46815 | 46815 | -0.08937 | 0.5 | 0.8481 | 0.7719 | 0.8786 | -1 | 1 | 2 | 1 | 3.062 | 0.0004899 | 0.000007345 | 0.00839 | 0.9705 | 1 | -0.000001416 | 0.00002284 | 0.001878 | 0.0004269 | 0.02066 | 2.463 | 0.1169 | 0.0006441 | 0.00002959 | 1 | 1 | 0.001366 | 0.01807 | 0.1753 | 0.001769 | 0.02341 | 0.227 | json |
| t15_x0_u6_b9 | 15 | 0 | 6 | 9 | ![]() |
dot(P,sqt(nrm(P))) | 69852 | 121810230 | o2(x,o1(o1(x))) | true | 46823 | 46823 | -0.5078 | 0.2461 | 1 | 0.7421 | 0.8614 | -1 | 1 | 2 | 1 | 0.805 | 0.007937 | 0.007937 | 0.007918 | 0 | 1 | 0 | 0.03212 | 0.01587 | 0.01581 | 0.1257 | 15.88 | 2.828 | 0.02139 | 0.04329 | 1 | 1 | 0.02105 | 0.08421 | 0.3368 | 0.02837 | 0.1135 | 0.4539 | json |
| t15_x0_u6_b10 | 15 | 0 | 6 | 10 | ![]() |
dst(P,sqt(nrm(P))) | 69853 | 121810231 | o2(x,o1(o1(x))) | true | 46831 | 46831 | -0.5117 | 0.2461 | 0.9961 | 0.7329 | 0.8561 | -1 | 1 | 2 | 1 | 0.8795 | 0.006864 | 0.006864 | 0.007827 | 6.445e-7 | 1 | -1.089e-10 | 0.02746 | 0.01462 | 0.01367 | 0.1169 | 14.94 | 2 | 0.01873 | 0.03747 | 1 | 1 | 0.01738 | 0.07239 | 0.3181 | 0.02371 | 0.09878 | 0.4341 | json |
| t15_x0_u7_b0 | 15 | 0 | 7 | 0 | ![]() |
add(P,log(sqt(P))) | 69854 | 121810422 | o2(x,o1(o1(x))) | true | 46839 | 46839 | -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 |
| t15_x0_u7_b1 | 15 | 0 | 7 | 1 | ![]() |
sub(P,log(sqt(P))) | 69855 | 121810423 | o2(x,o1(o1(x))) | true | 46847 | 46847 | -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 |
| t15_x0_u7_b2 | 15 | 0 | 7 | 2 | ![]() |
mlt(P,log(sqt(P))) | 69856 | 121810424 | o2(x,o1(o1(x))) | true | 46855 | 46855 | -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 |
| t15_x0_u7_b3 | 15 | 0 | 7 | 3 | ![]() |
div(P,log(sqt(P))) | 69857 | 121810425 | o2(x,o1(o1(x))) | true | 46863 | 46863 | -0.125 | 0.4375 | 1 | 0.9844 | 0.9922 | -1 | 1 | 2 | 1 | 0.9887 | 0.04762 | 0 | 0.02381 | 1 | 1 | 0 | 0.09524 | 0.04762 | 0.04704 | 0.2169 | 9.109 | 2 | 0.04837 | 0.09675 | 1 | 1 | 0.06316 | 0.2526 | 0.3368 | 0.06416 | 0.2566 | 0.3422 | json |
| t15_x0_u7_b4 | 15 | 0 | 7 | 4 | ![]() |
pow(P,log(sqt(P))) | 69858 | 121810426 | o2(x,o1(o1(x))) | true | 46871 | 46871 | -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 |
| t15_x0_u7_b5 | 15 | 0 | 7 | 5 | ![]() |
mod(P,log(sqt(P))) | 69859 | 121810427 | o2(x,o1(o1(x))) | true | 46879 | 46879 | -0.4832 | 0.375 | 0.7668 | 0.4544 | 0.6741 | -1 | 0.7218 | 1.722 | 1 | 2.085 | 0.006685 | 0 | 0.01326 | 1 | 1 | 0.00004785 | 0.01276 | 0.01194 | 0.006512 | 0.0807 | 6.088 | 1.267 | 0.01471 | 0.02808 | 1 | 1 | 0.008835 | 0.03873 | 0.1507 | 0.01944 | 0.08524 | 0.3317 | json |
| t15_x0_u7_b6 | 15 | 0 | 7 | 6 | ![]() |
lrg(P,log(sqt(P))) | 69860 | 121810428 | o2(x,o1(o1(x))) | true | 46887 | 46887 | 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 |
| t15_x0_u7_b7 | 15 | 0 | 7 | 7 | ![]() |
eql(P,log(sqt(P))) | 69861 | 121810429 | o2(x,o1(o1(x))) | true | 46895 | 46895 | 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 |
| t15_x0_u7_b8 | 15 | 0 | 7 | 8 | ![]() |
min(P,log(sqt(P))) | 69862 | 121810430 | o2(x,o1(o1(x))) | true | 46903 | 46903 | -0.2645 | 0.4375 | 0.8605 | 0.7289 | 0.8537 | -1 | 1 | 2 | 1 | 2.539 | 0.004043 | 0 | 0.007936 | 1 | 1 | -1.93e-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 |
| t15_x0_u7_b9 | 15 | 0 | 7 | 9 | ![]() |
dot(P,log(sqt(P))) | 69863 | 121810431 | o2(x,o1(o1(x))) | true | 46911 | 46911 | -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 |
| t15_x0_u7_b10 | 15 | 0 | 7 | 10 | ![]() |
dst(P,log(sqt(P))) | 69864 | 121810432 | o2(x,o1(o1(x))) | true | 46919 | 46919 | -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 |
| t15_x0_u8_b0 | 15 | 0 | 8 | 0 | ![]() |
add(P,log(log(P))) | 69865 | 121810623 | o2(x,o1(o1(x))) | true | 46927 | 46927 | -0.25 | 0.375 | 1 | 0.9375 | 0.9682 | -1 | 1 | 2 | 1 | 0.9544 | 0.01587 | 0 | 0.007937 | 1 | 1 | 0 | 0.03175 | 0.01587 | 0.01581 | 0.1257 | 15.84 | 2 | 0.01693 | 0.03386 | 1 | 1 | 0.02105 | 0.08421 | 0.3368 | 0.02246 | 0.08982 | 0.3593 | json |
| t15_x0_u8_b1 | 15 | 0 | 8 | 1 | ![]() |
sub(P,log(log(P))) | 69866 | 121810624 | o2(x,o1(o1(x))) | true | 46935 | 46935 | -0.25 | 0.375 | 1 | 0.9375 | 0.9682 | -1 | 1 | 2 | 1 | 0.9544 | 0.01587 | 0 | 0.007937 | 1 | 1 | 0 | 0.03175 | 0.01587 | 0.01581 | 0.1257 | 15.84 | 2 | 0.01693 | 0.03386 | 1 | 1 | 0.02105 | 0.08421 | 0.3368 | 0.02246 | 0.08982 | 0.3593 | json |
| t15_x0_u8_b2 | 15 | 0 | 8 | 2 | ![]() |
mlt(P,log(log(P))) | 69867 | 121810625 | o2(x,o1(o1(x))) | true | 46943 | 46943 | -0.3447 | 0.3359 | 0.9429 | 0.8055 | 0.8975 | -1 | 1 | 2 | 1 | 1.646 | 0.0009177 | 0 | 0.007936 | 1 | 1 | -1.064e-9 | 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 |
| t15_x0_u8_b3 | 15 | 0 | 8 | 3 | ![]() |
div(P,log(log(P))) | 69868 | 121810626 | o2(x,o1(o1(x))) | true | 46951 | 46951 | -0.272 | 0.3555 | 0.9829 | 0.9059 | 0.9518 | -1 | 1 | 2 | 1 | 1.137 | 0.01345 | 0 | 0.01586 | 1 | 1 | -9.461e-10 | 0.01816 | 0.02076 | 0.01319 | 0.1149 | 7.242 | 1.258 | 0.01485 | 0.02004 | 1 | 1 | 0.02364 | 0.0953 | 0.3096 | 0.0261 | 0.1052 | 0.3418 | json |
| t15_x0_u8_b4 | 15 | 0 | 8 | 4 | ![]() |
pow(P,log(log(P))) | 69869 | 121810627 | o2(x,o1(o1(x))) | true | 46959 | 46959 | -0.1376 | 0.4375 | 0.9875 | 0.9578 | 0.9786 | -1 | 1 | 2 | 1 | 1.372 | 0.01592 | 0 | 0.009716 | 1 | 1 | 9.461e-10 | 0.03177 | 0.01639 | 0.01583 | 0.1258 | 12.95 | 2 | 0.01662 | 0.03318 | 1 | 1 | 0.02115 | 0.08262 | 0.306 | 0.02209 | 0.08626 | 0.3195 | json |
| t15_x0_u8_b5 | 15 | 0 | 8 | 5 | ![]() |
mod(P,log(log(P))) | 69870 | 121810628 | o2(x,o1(o1(x))) | true | 46967 | 46967 | -0.5413 | 0.375 | 0.7088 | 0.3597 | 0.5997 | -1 | 0.6789 | 1.679 | 1 | 1.929 | 0.005472 | 0 | 0.007924 | 1 | 1 | 0.00003021 | 0.01082 | 0.01001 | 0.005408 | 0.07354 | 9.281 | 1.167 | 0.01521 | 0.03009 | 1 | 1 | 0.007205 | 0.02853 | 0.1085 | 0.02003 | 0.07932 | 0.3015 | json |
| t15_x0_u8_b6 | 15 | 0 | 8 | 6 | ![]() |
lrg(P,log(log(P))) | 69871 | 121810629 | o2(x,o1(o1(x))) | true | 46975 | 46975 | 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 |
| t15_x0_u8_b7 | 15 | 0 | 8 | 7 | ![]() |
eql(P,log(log(P))) | 69872 | 121810630 | o2(x,o1(o1(x))) | true | 46983 | 46983 | 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 |
| t15_x0_u8_b8 | 15 | 0 | 8 | 8 | ![]() |
min(P,log(log(P))) | 69873 | 121810631 | o2(x,o1(o1(x))) | true | 46991 | 46991 | -0.4482 | 0.332 | 0.7591 | 0.4753 | 0.6895 | -1 | 0.7321 | 1.732 | 1 | 2.724 | 0.006022 | 0 | 0.01481 | 1 | 1 | 0.000005963 | 0.01118 | 0.01487 | 0.005801 | 0.07616 | 5.144 | 0.9997 | 0.01267 | 0.02351 | 1 | 1 | 0.008551 | 0.04068 | 0.1481 | 0.01799 | 0.08559 | 0.3115 | json |
| t15_x0_u8_b9 | 15 | 0 | 8 | 9 | ![]() |
dot(P,log(log(P))) | 69874 | 121810632 | o2(x,o1(o1(x))) | true | 46999 | 46999 | -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 |
| t15_x0_u8_b10 | 15 | 0 | 8 | 10 | ![]() |
dst(P,log(log(P))) | 69875 | 121810633 | o2(x,o1(o1(x))) | true | 47007 | 47007 | -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 |
| t15_x0_u9_b0 | 15 | 0 | 9 | 0 | ![]() |
add(P,log(frc(P))) | 69876 | 121810824 | o2(x,o1(o1(x))) | true | 47015 | 47015 | -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 |
| t15_x0_u9_b1 | 15 | 0 | 9 | 1 | ![]() |
sub(P,log(frc(P))) | 69877 | 121810825 | o2(x,o1(o1(x))) | true | 47023 | 47023 | 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 |
| t15_x0_u9_b2 | 15 | 0 | 9 | 2 | ![]() |
mlt(P,log(frc(P))) | 69878 | 121810826 | o2(x,o1(o1(x))) | true | 47031 | 47031 | 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 |
| t15_x0_u9_b3 | 15 | 0 | 9 | 3 | ![]() |
div(P,log(frc(P))) | 69879 | 121810827 | o2(x,o1(o1(x))) | true | 47039 | 47039 | 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 |
| t15_x0_u9_b4 | 15 | 0 | 9 | 4 | ![]() |
pow(P,log(frc(P))) | 69880 | 121810828 | o2(x,o1(o1(x))) | true | 47047 | 47047 | -0.5313 | 0.0625 | 0.5938 | 0.3046 | 0.5519 | -1 | 0.9997 | 2 | 1 | 1.385 | 0.01622 | 0 | 0.0119 | 1 | 1 | -4.731e-10 | 0.03186 | 0.0168 | 0.01607 | 0.1268 | 10.65 | 2 | 0.05326 | 0.1046 | 1 | 1 | 0.0219 | 0.08325 | 0.1593 | 0.0719 | 0.2733 | 0.523 | json |
| t15_x0_u9_b5 | 15 | 0 | 9 | 5 | ![]() |
mod(P,log(frc(P))) | 69881 | 121810829 | o2(x,o1(o1(x))) | true | 47055 | 47055 | 0 | 0.5 | 0.9375 | 0.924 | 0.9612 | -1 | 1 | 2 | 1 | 1.813 | 0.0007059 | 0 | 0.007937 | 1 | 1 | 0 | 0.00003235 | 0.001851 | 0.0006432 | 0.02536 | 3.195 | 0.1169 | 0.0007639 | 0.00003501 | 1 | 1 | 0.001851 | 0.02449 | 0.2344 | 0.002003 | 0.0265 | 0.2537 | json |
| t15_x0_u9_b6 | 15 | 0 | 9 | 6 | ![]() |
lrg(P,log(frc(P))) | 69882 | 121810830 | o2(x,o1(o1(x))) | true | 47063 | 47063 | 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 |
| t15_x0_u9_b7 | 15 | 0 | 9 | 7 | ![]() |
eql(P,log(frc(P))) | 69883 | 121810831 | o2(x,o1(o1(x))) | true | 47071 | 47071 | 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 |
| t15_x0_u9_b8 | 15 | 0 | 9 | 8 | ![]() |
min(P,log(frc(P))) | 69884 | 121810832 | o2(x,o1(o1(x))) | true | 47079 | 47079 | -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 |
| t15_x0_u9_b9 | 15 | 0 | 9 | 9 | ![]() |
dot(P,log(frc(P))) | 69885 | 121810833 | o2(x,o1(o1(x))) | true | 47087 | 47087 | -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 |
| t15_x0_u9_b10 | 15 | 0 | 9 | 10 | ![]() |
dst(P,log(frc(P))) | 69886 | 121810834 | o2(x,o1(o1(x))) | true | 47095 | 47095 | 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 |
| t15_x0_u10_b0 | 15 | 0 | 10 | 0 | ![]() |
add(P,log(flr(P))) | 69887 | 121811025 | o2(x,o1(o1(x))) | true | 47103 | 47103 | -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 |
| t15_x0_u10_b1 | 15 | 0 | 10 | 1 | ![]() |
sub(P,log(flr(P))) | 69888 | 121811026 | o2(x,o1(o1(x))) | true | 47111 | 47111 | -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 |
| t15_x0_u10_b2 | 15 | 0 | 10 | 2 | ![]() |
mlt(P,log(flr(P))) | 69889 | 121811027 | o2(x,o1(o1(x))) | true | 47119 | 47119 | -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 |
| t15_x0_u10_b3 | 15 | 0 | 10 | 3 | ![]() |
div(P,log(flr(P))) | 69890 | 121811028 | o2(x,o1(o1(x))) | true | 47127 | 47127 | -0.125 | 0.4375 | 1 | 0.9844 | 0.9922 | -1 | 1 | 2 | 1 | 0.9887 | 0.04762 | 0 | 0.02381 | 1 | 1 | 0 | 0.09524 | 0.04762 | 0.04704 | 0.2169 | 9.109 | 2 | 0.04837 | 0.09675 | 1 | 1 | 0.06316 | 0.2526 | 0.3368 | 0.06416 | 0.2566 | 0.3422 | json |
| t15_x0_u10_b4 | 15 | 0 | 10 | 4 | ![]() |
pow(P,log(flr(P))) | 69891 | 121811029 | o2(x,o1(o1(x))) | true | 47135 | 47135 | -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 |
| t15_x0_u10_b5 | 15 | 0 | 10 | 5 | ![]() |
mod(P,log(flr(P))) | 69892 | 121811030 | o2(x,o1(o1(x))) | true | 47143 | 47143 | -0.3416 | 0.375 | 0.9084 | 0.7488 | 0.8653 | -1 | 1 | 2 | 1 | 2.085 | 0.01085 | 0 | 0.01451 | 1 | 1 | 9.461e-10 | 0.02072 | 0.01525 | 0.01064 | 0.1031 | 7.108 | 1.614 | 0.01449 | 0.02768 | 1 | 1 | 0.01485 | 0.0702 | 0.3281 | 0.01984 | 0.09376 | 0.4382 | json |
| t15_x0_u10_b6 | 15 | 0 | 10 | 6 | ![]() |
lrg(P,log(flr(P))) | 69893 | 121811031 | o2(x,o1(o1(x))) | true | 47151 | 47151 | 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 |
| t15_x0_u10_b7 | 15 | 0 | 10 | 7 | ![]() |
eql(P,log(flr(P))) | 69894 | 121811032 | o2(x,o1(o1(x))) | true | 47159 | 47159 | 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 |
| t15_x0_u10_b8 | 15 | 0 | 10 | 8 | ![]() |
min(P,log(flr(P))) | 69895 | 121811033 | o2(x,o1(o1(x))) | true | 47167 | 47167 | -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 |
| t15_x0_u10_b9 | 15 | 0 | 10 | 9 | ![]() |
dot(P,log(flr(P))) | 69896 | 121811034 | o2(x,o1(o1(x))) | true | 47175 | 47175 | -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 |
| t15_x0_u10_b10 | 15 | 0 | 10 | 10 | ![]() |
dst(P,log(flr(P))) | 69897 | 121811035 | o2(x,o1(o1(x))) | true | 47183 | 47183 | -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 |
| t15_x0_u11_b0 | 15 | 0 | 11 | 0 | ![]() |
add(P,log(cil(P))) | 69898 | 121811226 | o2(x,o1(o1(x))) | true | 47191 | 47191 | -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 |
| t15_x0_u11_b1 | 15 | 0 | 11 | 1 | ![]() |
sub(P,log(cil(P))) | 69899 | 121811227 | o2(x,o1(o1(x))) | true | 47199 | 47199 | -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 |



































































































