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_x1_u16_b8 | 15 | 1 | 16 | 8 | ![]() |
min(P,frc(frc(D))) | 70500 | 121852640 | o2(x,o1(o1(x))) | true | 52007 | 52007 | -0.2277 | 0.4961 | 0.7098 | 0.571 | 0.7556 | -1 | 0.9688 | 1.969 | 1 | 3.4 | 0.02671 | 0 | 0.05965 | 1 | 1 | 0.000248 | 0.05562 | 0.05711 | 0.02315 | 0.1521 | 2.551 | 0.9375 | 0.04678 | 0.09742 | 1 | 1 | 0.0268 | 0.07596 | 0.1427 | 0.04693 | 0.133 | 0.25 | json |
| t15_x1_u16_b9 | 15 | 1 | 16 | 9 | ![]() |
dot(P,frc(frc(D))) | 70501 | 121852641 | o2(x,o1(o1(x))) | true | 52015 | 52015 | 0.02259 | 0.5107 | 0.8815 | 0.8431 | 0.9182 | -1 | 1 | 2 | 1 | 2.608 | 0.07219 | 0.07219 | 0.1444 | -0.000001342 | 1 | 0.001204 | 0.2903 | 0.1933 | 0.1236 | 0.3515 | 2.435 | 2.042 | 0.1712 | 0.3443 | 1 | 1 | 0.1367 | 0.3887 | 0.2233 | 0.1622 | 0.461 | 0.2648 | json |
| t15_x1_u16_b10 | 15 | 1 | 16 | 10 | ![]() |
dst(P,frc(frc(D))) | 70502 | 121852642 | o2(x,o1(o1(x))) | true | 52023 | 52023 | 0.9975 | 1 | 0.9975 | 0.001332 | 0.03649 | 0.04473 | 1 | 0.9553 | 1 | 0.07844 | 0.0002767 | 0.0002767 | 0.001186 | -1.578e-7 | 1 | 7.509e-12 | 0.001267 | 0.001835 | 0.0005515 | 0.02348 | 19.8 | 1.308 | 0.4156 | 0.9509 | 1 | 1 | 0.0009316 | 0.002272 | 0.004856 | 0.6994 | 1.706 | 3.646 | json |
| t15_x1_u17_b0 | 15 | 1 | 17 | 0 | ![]() |
add(P,frc(flr(D))) | 70503 | 121852833 | o2(x,o1(o1(x))) | true | 52031 | 52031 | 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_x1_u17_b1 | 15 | 1 | 17 | 1 | ![]() |
sub(P,frc(flr(D))) | 70504 | 121852834 | o2(x,o1(o1(x))) | true | 52039 | 52039 | 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_x1_u17_b2 | 15 | 1 | 17 | 2 | ![]() |
mlt(P,frc(flr(D))) | 70505 | 121852835 | o2(x,o1(o1(x))) | true | 52047 | 52047 | 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_x1_u17_b3 | 15 | 1 | 17 | 3 | ![]() |
div(P,frc(flr(D))) | 70506 | 121852836 | o2(x,o1(o1(x))) | true | 52055 | 52055 | 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_x1_u17_b4 | 15 | 1 | 17 | 4 | ![]() |
pow(P,frc(flr(D))) | 70507 | 121852837 | o2(x,o1(o1(x))) | true | 52063 | 52063 | 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_x1_u17_b5 | 15 | 1 | 17 | 5 | ![]() |
mod(P,frc(flr(D))) | 70508 | 121852838 | o2(x,o1(o1(x))) | true | 52071 | 52071 | 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_x1_u17_b6 | 15 | 1 | 17 | 6 | ![]() |
lrg(P,frc(flr(D))) | 70509 | 121852839 | o2(x,o1(o1(x))) | true | 52079 | 52079 | 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_x1_u17_b7 | 15 | 1 | 17 | 7 | ![]() |
eql(P,frc(flr(D))) | 70510 | 121852840 | o2(x,o1(o1(x))) | true | 52087 | 52087 | 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_x1_u17_b8 | 15 | 1 | 17 | 8 | ![]() |
min(P,frc(flr(D))) | 70511 | 121852841 | o2(x,o1(o1(x))) | true | 52095 | 52095 | -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_x1_u17_b9 | 15 | 1 | 17 | 9 | ![]() |
dot(P,frc(flr(D))) | 70512 | 121852842 | o2(x,o1(o1(x))) | true | 52103 | 52103 | 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_x1_u17_b10 | 15 | 1 | 17 | 10 | ![]() |
dst(P,frc(flr(D))) | 70513 | 121852843 | o2(x,o1(o1(x))) | true | 52111 | 52111 | 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_x1_u18_b0 | 15 | 1 | 18 | 0 | ![]() |
add(P,frc(cil(D))) | 70514 | 121853034 | o2(x,o1(o1(x))) | true | 52119 | 52119 | 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_x1_u18_b1 | 15 | 1 | 18 | 1 | ![]() |
sub(P,frc(cil(D))) | 70515 | 121853035 | o2(x,o1(o1(x))) | true | 52127 | 52127 | 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_x1_u18_b2 | 15 | 1 | 18 | 2 | ![]() |
mlt(P,frc(cil(D))) | 70516 | 121853036 | o2(x,o1(o1(x))) | true | 52135 | 52135 | 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_x1_u18_b3 | 15 | 1 | 18 | 3 | ![]() |
div(P,frc(cil(D))) | 70517 | 121853037 | o2(x,o1(o1(x))) | true | 52143 | 52143 | 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_x1_u18_b4 | 15 | 1 | 18 | 4 | ![]() |
pow(P,frc(cil(D))) | 70518 | 121853038 | o2(x,o1(o1(x))) | true | 52151 | 52151 | 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_x1_u18_b5 | 15 | 1 | 18 | 5 | ![]() |
mod(P,frc(cil(D))) | 70519 | 121853039 | o2(x,o1(o1(x))) | true | 52159 | 52159 | 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_x1_u18_b6 | 15 | 1 | 18 | 6 | ![]() |
lrg(P,frc(cil(D))) | 70520 | 121853040 | o2(x,o1(o1(x))) | true | 52167 | 52167 | 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_x1_u18_b7 | 15 | 1 | 18 | 7 | ![]() |
eql(P,frc(cil(D))) | 70521 | 121853041 | o2(x,o1(o1(x))) | true | 52175 | 52175 | 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_x1_u18_b8 | 15 | 1 | 18 | 8 | ![]() |
min(P,frc(cil(D))) | 70522 | 121853042 | o2(x,o1(o1(x))) | true | 52183 | 52183 | -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_x1_u18_b9 | 15 | 1 | 18 | 9 | ![]() |
dot(P,frc(cil(D))) | 70523 | 121853043 | o2(x,o1(o1(x))) | true | 52191 | 52191 | 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_x1_u18_b10 | 15 | 1 | 18 | 10 | ![]() |
dst(P,frc(cil(D))) | 70524 | 121853044 | o2(x,o1(o1(x))) | true | 52199 | 52199 | 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_x1_u19_b0 | 15 | 1 | 19 | 0 | ![]() |
add(P,frc(sgn(D))) | 70525 | 121853235 | o2(x,o1(o1(x))) | true | 52207 | 52207 | 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_x1_u19_b1 | 15 | 1 | 19 | 1 | ![]() |
sub(P,frc(sgn(D))) | 70526 | 121853236 | o2(x,o1(o1(x))) | true | 52215 | 52215 | 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_x1_u19_b2 | 15 | 1 | 19 | 2 | ![]() |
mlt(P,frc(sgn(D))) | 70527 | 121853237 | o2(x,o1(o1(x))) | true | 52223 | 52223 | 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_x1_u19_b3 | 15 | 1 | 19 | 3 | ![]() |
div(P,frc(sgn(D))) | 70528 | 121853238 | o2(x,o1(o1(x))) | true | 52231 | 52231 | 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_x1_u19_b4 | 15 | 1 | 19 | 4 | ![]() |
pow(P,frc(sgn(D))) | 70529 | 121853239 | o2(x,o1(o1(x))) | true | 52239 | 52239 | 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_x1_u19_b5 | 15 | 1 | 19 | 5 | ![]() |
mod(P,frc(sgn(D))) | 70530 | 121853240 | o2(x,o1(o1(x))) | true | 52247 | 52247 | 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_x1_u19_b6 | 15 | 1 | 19 | 6 | ![]() |
lrg(P,frc(sgn(D))) | 70531 | 121853241 | o2(x,o1(o1(x))) | true | 52255 | 52255 | 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_x1_u19_b7 | 15 | 1 | 19 | 7 | ![]() |
eql(P,frc(sgn(D))) | 70532 | 121853242 | o2(x,o1(o1(x))) | true | 52263 | 52263 | 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_x1_u19_b8 | 15 | 1 | 19 | 8 | ![]() |
min(P,frc(sgn(D))) | 70533 | 121853243 | o2(x,o1(o1(x))) | true | 52271 | 52271 | -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_x1_u19_b9 | 15 | 1 | 19 | 9 | ![]() |
dot(P,frc(sgn(D))) | 70534 | 121853244 | o2(x,o1(o1(x))) | true | 52279 | 52279 | 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_x1_u19_b10 | 15 | 1 | 19 | 10 | ![]() |
dst(P,frc(sgn(D))) | 70535 | 121853245 | o2(x,o1(o1(x))) | true | 52287 | 52287 | 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_x1_u20_b0 | 15 | 1 | 20 | 0 | ![]() |
add(P,frc(nrm(D))) | 70536 | 121853436 | o2(x,o1(o1(x))) | true | 52295 | 52295 | 0.0625 | 0.5313 | 0.9375 | 0.9172 | 0.9577 | -1 | 1 | 2 | 1 | 1.896 | 0.006072 | 0.0009048 | 0.02067 | 0.7406 | 1 | -5.162e-11 | 0.01541 | 0.01913 | 0.00655 | 0.08093 | 3.915 | 0.8733 | 0.007607 | 0.0168 | 1 | 1 | 0.009342 | 0.03717 | 0.2304 | 0.01018 | 0.04052 | 0.2512 | json |
| t15_x1_u20_b1 | 15 | 1 | 20 | 1 | ![]() |
sub(P,frc(nrm(D))) | 70537 | 121853437 | o2(x,o1(o1(x))) | true | 52303 | 52303 | -0.0625 | 0.4688 | 0.9375 | 0.9111 | 0.9545 | -1 | 1 | 2 | 1 | 2.003 | 0.006401 | 0.0009048 | 0.02267 | 0.7523 | 1 | 9.386e-12 | 0.0155 | 0.02234 | 0.006794 | 0.08242 | 3.635 | 0.8744 | 0.008018 | 0.01701 | 1 | 1 | 0.01017 | 0.04131 | 0.2223 | 0.01116 | 0.04534 | 0.244 | json |
| t15_x1_u20_b2 | 15 | 1 | 20 | 2 | ![]() |
mlt(P,frc(nrm(D))) | 70538 | 121853438 | o2(x,o1(o1(x))) | true | 52311 | 52311 | -0.02097 | 0.4941 | 0.822 | 0.7701 | 0.8776 | -1 | 1 | 2 | 1 | 3.084 | 0.03227 | 0.008888 | 0.09122 | 0.5681 | 1 | -0.000008178 | 0.1043 | 0.1321 | 0.03283 | 0.1812 | 1.986 | 1.094 | 0.05344 | 0.1354 | 1 | 1 | 0.04295 | 0.09124 | 0.1342 | 0.05577 | 0.1185 | 0.1743 | json |
| t15_x1_u20_b3 | 15 | 1 | 20 | 3 | ![]() |
div(P,frc(nrm(D))) | 70539 | 121853439 | o2(x,o1(o1(x))) | true | 52319 | 52319 | 0.01984 | 0.5 | 0.964 | 0.957 | 0.9783 | -1 | 1 | 2 | 1 | 1.462 | 0.00225 | 0.0004777 | 0.008688 | 0.6497 | 1 | 0.00002647 | 0.003895 | 0.007262 | 0.002653 | 0.0515 | 5.928 | 1.062 | 0.00285 | 0.00407 | 1 | 1 | 0.005605 | 0.03959 | 0.2794 | 0.005857 | 0.04137 | 0.292 | json |
| t15_x1_u20_b4 | 15 | 1 | 20 | 4 | ![]() |
pow(P,frc(nrm(D))) | 70540 | 121853440 | o2(x,o1(o1(x))) | true | 52327 | 52327 | -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_x1_u20_b5 | 15 | 1 | 20 | 5 | ![]() |
mod(P,frc(nrm(D))) | 70541 | 121853441 | o2(x,o1(o1(x))) | true | 52335 | 52335 | -0.001298 | 0.4932 | 0.1868 | 0.06026 | 0.2455 | -0.8242 | 0.8242 | 1.648 | 1 | 3.978 | 0.02818 | 0.022 | 0.1663 | 0.1232 | 1 | 0.0005551 | 0.2222 | 0.3123 | 0.02252 | 0.1501 | 0.9021 | 0.8766 | 0.8328 | 3.688 | 1 | 1 | 0.0299 | 0.04252 | 0.01786 | 0.4962 | 0.7057 | 0.2964 | json |
| t15_x1_u20_b6 | 15 | 1 | 20 | 6 | ![]() |
lrg(P,frc(nrm(D))) | 70542 | 121853442 | o2(x,o1(o1(x))) | true | 52343 | 52343 | 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_x1_u20_b7 | 15 | 1 | 20 | 7 | ![]() |
eql(P,frc(nrm(D))) | 70543 | 121853443 | o2(x,o1(o1(x))) | true | 52351 | 52351 | 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_x1_u20_b8 | 15 | 1 | 20 | 8 | ![]() |
min(P,frc(nrm(D))) | 70544 | 121853444 | o2(x,o1(o1(x))) | true | 52359 | 52359 | -0.2389 | 0.4941 | 0.6986 | 0.5413 | 0.7357 | -1 | 0.9512 | 1.951 | 1 | 3.298 | 0.02008 | 0.003261 | 0.07169 | 0.7206 | 1 | 0.0004762 | 0.05382 | 0.06963 | 0.0182 | 0.1349 | 1.882 | 0.8738 | 0.04312 | 0.09943 | 1 | 1 | 0.02316 | 0.06985 | 0.1349 | 0.04278 | 0.129 | 0.2492 | json |
| t15_x1_u20_b9 | 15 | 1 | 20 | 9 | ![]() |
dot(P,frc(nrm(D))) | 70545 | 121853445 | o2(x,o1(o1(x))) | true | 52367 | 52367 | -0.033 | 0.4834 | 0.8845 | 0.8453 | 0.9194 | -1 | 1 | 2 | 1 | 2.585 | 0.07696 | 0.07696 | 0.1623 | -0.000001113 | 1 | 0.001606 | 0.3692 | 0.2271 | 0.1276 | 0.3572 | 2.201 | 2.509 | 0.1821 | 0.4367 | 1 | 1 | 0.1443 | 0.3547 | 0.2358 | 0.1708 | 0.4196 | 0.2789 | json |
| t15_x1_u20_b10 | 15 | 1 | 20 | 10 | ![]() |
dst(P,frc(nrm(D))) | 70546 | 121853446 | o2(x,o1(o1(x))) | true | 52375 | 52375 | 0.9987 | 1 | 0.9987 | 0.000548 | 0.02341 | 0.251 | 1 | 0.749 | 1 | 0.05129 | 0.0002387 | 0.0002387 | 0.001423 | -9.146e-8 | 1 | 3.679e-10 | 0.001288 | 0.001943 | 0.0004752 | 0.0218 | 15.32 | 0.6895 | 0.871 | 2.35 | 1 | 1 | 0.0008025 | 0.001977 | 0.001998 | 1.464 | 3.607 | 3.647 | json |
| t15_x1_u21_b0 | 15 | 1 | 21 | 0 | ![]() |
add(P,flr(sqt(D))) | 70547 | 121853637 | o2(x,o1(o1(x))) | true | 52383 | 52383 | -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_x1_u21_b1 | 15 | 1 | 21 | 1 | ![]() |
sub(P,flr(sqt(D))) | 70548 | 121853638 | o2(x,o1(o1(x))) | true | 52391 | 52391 | -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_x1_u21_b2 | 15 | 1 | 21 | 2 | ![]() |
mlt(P,flr(sqt(D))) | 70549 | 121853639 | o2(x,o1(o1(x))) | true | 52399 | 52399 | -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_x1_u21_b3 | 15 | 1 | 21 | 3 | ![]() |
div(P,flr(sqt(D))) | 70550 | 121853640 | o2(x,o1(o1(x))) | true | 52407 | 52407 | -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_x1_u21_b4 | 15 | 1 | 21 | 4 | ![]() |
pow(P,flr(sqt(D))) | 70551 | 121853641 | o2(x,o1(o1(x))) | true | 52415 | 52415 | -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 |
| t15_x1_u21_b5 | 15 | 1 | 21 | 5 | ![]() |
mod(P,flr(sqt(D))) | 70552 | 121853642 | o2(x,o1(o1(x))) | true | 52423 | 52423 | -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_x1_u21_b6 | 15 | 1 | 21 | 6 | ![]() |
lrg(P,flr(sqt(D))) | 70553 | 121853643 | o2(x,o1(o1(x))) | true | 52431 | 52431 | 0.7188 | 1 | 0.7188 | 0.1413 | 0.3759 | 0.000291 | 1 | 0.9997 | 1 | 2.519 | 0.03488 | 0 | 0.06731 | 1 | 1 | -0.00008984 | 0.06442 | 0.07172 | 0.03035 | 0.1742 | 2.588 | 0.9994 | 0.2469 | 0.456 | 1 | 1 | 0.03759 | 0.1321 | 0.03299 | 0.266 | 0.935 | 0.2335 | json |
| t15_x1_u21_b7 | 15 | 1 | 21 | 7 | ![]() |
eql(P,flr(sqt(D))) | 70554 | 121853644 | o2(x,o1(o1(x))) | true | 52439 | 52439 | 0.03125 | 0.0625 | 0.03125 | 0.02351 | 0.1533 | 0 | 0.9997 | 0.9997 | 1 | 0.459 | 0.004319 | 0 | 0.007934 | 1 | 1 | -2.365e-10 | 0.008002 | 0.008862 | 0.004255 | 0.06523 | 8.221 | 0.9997 | 0.1837 | 0.3404 | 1 | 1 | 0.00615 | 0.02664 | 0.03299 | 0.2616 | 1.133 | 1.403 | json |
| t15_x1_u21_b8 | 15 | 1 | 21 | 8 | ![]() |
min(P,flr(sqt(D))) | 70555 | 121853645 | o2(x,o1(o1(x))) | true | 52447 | 52447 | -0.1087 | 0.5 | 0.8288 | 0.7857 | 0.8864 | -1 | 1 | 2 | 1 | 2.549 | 0.03563 | 0 | 0.06341 | 1 | 1 | -2.365e-9 | 0.06116 | 0.07699 | 0.03161 | 0.1778 | 2.804 | 0.9991 | 0.04535 | 0.07785 | 1 | 1 | 0.0409 | 0.1197 | 0.1806 | 0.05206 | 0.1523 | 0.2298 | json |
| t15_x1_u21_b9 | 15 | 1 | 21 | 9 | ![]() |
dot(P,flr(sqt(D))) | 70556 | 121853646 | o2(x,o1(o1(x))) | true | 52455 | 52455 | -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_x1_u21_b10 | 15 | 1 | 21 | 10 | ![]() |
dst(P,flr(sqt(D))) | 70557 | 121853647 | o2(x,o1(o1(x))) | true | 52463 | 52463 | -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_x1_u22_b0 | 15 | 1 | 22 | 0 | ![]() |
add(P,flr(log(D))) | 70558 | 121853838 | o2(x,o1(o1(x))) | true | 52471 | 52471 | -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_x1_u22_b1 | 15 | 1 | 22 | 1 | ![]() |
sub(P,flr(log(D))) | 70559 | 121853839 | o2(x,o1(o1(x))) | true | 52479 | 52479 | -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_x1_u22_b2 | 15 | 1 | 22 | 2 | ![]() |
mlt(P,flr(log(D))) | 70560 | 121853840 | o2(x,o1(o1(x))) | true | 52487 | 52487 | -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_x1_u22_b3 | 15 | 1 | 22 | 3 | ![]() |
div(P,flr(log(D))) | 70561 | 121853841 | o2(x,o1(o1(x))) | true | 52495 | 52495 | -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_x1_u22_b4 | 15 | 1 | 22 | 4 | ![]() |
pow(P,flr(log(D))) | 70562 | 121853842 | o2(x,o1(o1(x))) | true | 52503 | 52503 | -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_x1_u22_b5 | 15 | 1 | 22 | 5 | ![]() |
mod(P,flr(log(D))) | 70563 | 121853843 | o2(x,o1(o1(x))) | true | 52511 | 52511 | -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_x1_u22_b6 | 15 | 1 | 22 | 6 | ![]() |
lrg(P,flr(log(D))) | 70564 | 121853844 | o2(x,o1(o1(x))) | true | 52519 | 52519 | 0.7833 | 1 | 0.7833 | 0.1172 | 0.3423 | 0.000291 | 1 | 0.9997 | 1 | 2.21 | 0.02801 | 0 | 0.05649 | 1 | 1 | -0.00008984 | 0.05231 | 0.05997 | 0.02482 | 0.1575 | 2.788 | 0.9994 | 0.239 | 0.4463 | 1 | 1 | 0.0274 | 0.09448 | 0.03299 | 0.2338 | 0.8061 | 0.2815 | json |
| t15_x1_u22_b7 | 15 | 1 | 22 | 7 | ![]() |
eql(P,flr(log(D))) | 70565 | 121853845 | o2(x,o1(o1(x))) | true | 52527 | 52527 | 0.03125 | 0.0625 | 0.03125 | 0.02351 | 0.1533 | 0 | 0.9997 | 0.9997 | 1 | 0.459 | 0.02397 | 0 | 0.02885 | 1 | 1 | -2.365e-10 | 0.06359 | 0.05173 | 0.02315 | 0.1522 | 5.275 | 0.9997 | 1.02 | 2.705 | 1 | 1 | 0.02142 | 0.03297 | 0.03036 | 0.911 | 1.402 | 1.291 | json |
| t15_x1_u22_b8 | 15 | 1 | 22 | 8 | ![]() |
min(P,flr(log(D))) | 70566 | 121853846 | o2(x,o1(o1(x))) | true | 52535 | 52535 | -0.3588 | 0.3086 | 0.9251 | 0.776 | 0.8809 | -1 | 1 | 2 | 1 | 1.85 | 0.1667 | 0 | 0.127 | 1 | 1 | -1.896e-9 | 0.2827 | 0.1896 | 0.1507 | 0.3882 | 3.057 | 2 | 0.2149 | 0.3643 | 1 | 1 | 0.197 | 0.7041 | 0.1254 | 0.2538 | 0.9074 | 0.1616 | json |
| t15_x1_u22_b9 | 15 | 1 | 22 | 9 | ![]() |
dot(P,flr(log(D))) | 70567 | 121853847 | o2(x,o1(o1(x))) | true | 52543 | 52543 | -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_x1_u22_b10 | 15 | 1 | 22 | 10 | ![]() |
dst(P,flr(log(D))) | 70568 | 121853848 | o2(x,o1(o1(x))) | true | 52551 | 52551 | -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_x1_u23_b0 | 15 | 1 | 23 | 0 | ![]() |
add(P,flr(frc(D))) | 70569 | 121854039 | o2(x,o1(o1(x))) | true | 52559 | 52559 | 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_x1_u23_b1 | 15 | 1 | 23 | 1 | ![]() |
sub(P,flr(frc(D))) | 70570 | 121854040 | o2(x,o1(o1(x))) | true | 52567 | 52567 | 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_x1_u23_b2 | 15 | 1 | 23 | 2 | ![]() |
mlt(P,flr(frc(D))) | 70571 | 121854041 | o2(x,o1(o1(x))) | true | 52575 | 52575 | 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_x1_u23_b3 | 15 | 1 | 23 | 3 | ![]() |
div(P,flr(frc(D))) | 70572 | 121854042 | o2(x,o1(o1(x))) | true | 52583 | 52583 | -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_x1_u23_b4 | 15 | 1 | 23 | 4 | ![]() |
pow(P,flr(frc(D))) | 70573 | 121854043 | o2(x,o1(o1(x))) | true | 52591 | 52591 | 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_x1_u23_b5 | 15 | 1 | 23 | 5 | ![]() |
mod(P,flr(frc(D))) | 70574 | 121854044 | o2(x,o1(o1(x))) | true | 52599 | 52599 | -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_x1_u23_b6 | 15 | 1 | 23 | 6 | ![]() |
lrg(P,flr(frc(D))) | 70575 | 121854045 | o2(x,o1(o1(x))) | true | 52607 | 52607 | 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_x1_u23_b7 | 15 | 1 | 23 | 7 | ![]() |
eql(P,flr(frc(D))) | 70576 | 121854046 | o2(x,o1(o1(x))) | true | 52615 | 52615 | 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_x1_u23_b8 | 15 | 1 | 23 | 8 | ![]() |
min(P,flr(frc(D))) | 70577 | 121854047 | o2(x,o1(o1(x))) | true | 52623 | 52623 | -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_x1_u23_b9 | 15 | 1 | 23 | 9 | ![]() |
dot(P,flr(frc(D))) | 70578 | 121854048 | o2(x,o1(o1(x))) | true | 52631 | 52631 | 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_x1_u23_b10 | 15 | 1 | 23 | 10 | ![]() |
dst(P,flr(frc(D))) | 70579 | 121854049 | o2(x,o1(o1(x))) | true | 52639 | 52639 | 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_x1_u24_b0 | 15 | 1 | 24 | 0 | ![]() |
add(P,flr(flr(D))) | 70580 | 121854240 | o2(x,o1(o1(x))) | true | 52647 | 52647 | -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 |
| t15_x1_u24_b1 | 15 | 1 | 24 | 1 | ![]() |
sub(P,flr(flr(D))) | 70581 | 121854241 | o2(x,o1(o1(x))) | true | 52655 | 52655 | 0.0625 | 0.5313 | 0.9375 | 0.9184 | 0.9583 | -1 | 1 | 2 | 1 | 1.809 | 0.01063 | 0 | 0.02379 | 1 | 1 | 0 | 0.0166 | 0.02131 | 0.01007 | 0.1003 | 4.218 | 0.9988 | 0.01158 | 0.01808 | 1 | 1 | 0.0172 | 0.07175 | 0.2321 | 0.01872 | 0.07812 | 0.2528 | json |
| t15_x1_u24_b2 | 15 | 1 | 24 | 2 | ![]() |
mlt(P,flr(flr(D))) | 70582 | 121854242 | o2(x,o1(o1(x))) | true | 52663 | 52663 | -0.05033 | 0.4375 | 0.6698 | 0.6202 | 0.7875 | -1 | 1 | 2 | 1 | 3.323 | 0.06917 | 0 | 0.1141 | 1 | 1 | -0.0006289 | 0.1207 | 0.1483 | 0.05613 | 0.2369 | 2.076 | 0.9997 | 0.1115 | 0.1946 | 1 | 1 | 0.07513 | 0.2162 | 0.1277 | 0.1211 | 0.3486 | 0.2059 | json |
| t15_x1_u24_b3 | 15 | 1 | 24 | 3 | ![]() |
div(P,flr(flr(D))) | 70583 | 121854243 | o2(x,o1(o1(x))) | true | 52671 | 52671 | -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_x1_u24_b4 | 15 | 1 | 24 | 4 | ![]() |
pow(P,flr(flr(D))) | 70584 | 121854244 | o2(x,o1(o1(x))) | true | 52679 | 52679 | -0.04007 | 0.5625 | 0.8349 | 0.7686 | 0.8767 | -1 | 1 | 2 | 1 | 2.76 | 0.0305 | 0 | 0.04634 | 1 | 1 | -0.00007861 | 0.05855 | 0.05565 | 0.02836 | 0.1684 | 3.634 | 2 | 0.03968 | 0.07617 | 1 | 1 | 0.03508 | 0.1356 | 0.3498 | 0.04564 | 0.1764 | 0.4551 | json |
| t15_x1_u24_b5 | 15 | 1 | 24 | 5 | ![]() |
mod(P,flr(flr(D))) | 70585 | 121854245 | o2(x,o1(o1(x))) | true | 52687 | 52687 | -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_x1_u24_b6 | 15 | 1 | 24 | 6 | ![]() |
lrg(P,flr(flr(D))) | 70586 | 121854246 | o2(x,o1(o1(x))) | true | 52695 | 52695 | 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 |
| t15_x1_u24_b7 | 15 | 1 | 24 | 7 | ![]() |
eql(P,flr(flr(D))) | 70587 | 121854247 | o2(x,o1(o1(x))) | true | 52703 | 52703 | 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 |
| t15_x1_u24_b8 | 15 | 1 | 24 | 8 | ![]() |
min(P,flr(flr(D))) | 70588 | 121854248 | o2(x,o1(o1(x))) | true | 52711 | 52711 | -0.75 | 0 | 0.75 | 0.1334 | 0.3652 | -1 | -0.000291 | 0.9997 | 1 | 2.329 | 0.03453 | 0 | 0.06344 | 1 | 1 | -0.00008984 | 0.06436 | 0.07079 | 0.03051 | 0.1747 | 2.753 | 0.9997 | 0.2589 | 0.4825 | 1 | 1 | 0.03929 | 0.1364 | 0.03299 | 0.2946 | 1.023 | 0.2473 | json |
| t15_x1_u24_b9 | 15 | 1 | 24 | 9 | ![]() |
dot(P,flr(flr(D))) | 70589 | 121854249 | o2(x,o1(o1(x))) | true | 52719 | 52719 | -0.08197 | 0.4531 | 0.8477 | 0.8034 | 0.8963 | -1 | 1 | 2 | 1 | 2.738 | 0.07703 | 0.07703 | 0.1579 | -0.000002757 | 1 | -0.0005906 | 0.2791 | 0.2136 | 0.1291 | 0.3593 | 2.275 | 2.12 | 0.1918 | 0.3474 | 1 | 1 | 0.1608 | 0.5658 | 0.2176 | 0.2002 | 0.7043 | 0.2709 | json |
| t15_x1_u24_b10 | 15 | 1 | 24 | 10 | ![]() |
dst(P,flr(flr(D))) | 70590 | 121854250 | o2(x,o1(o1(x))) | true | 52727 | 52727 | 0.9983 | 1 | 0.9983 | 0.001197 | 0.0346 | 0.001164 | 1 | 0.9988 | 1 | 0.04274 | 0.0003368 | 0.0003368 | 0.001213 | 8.642e-8 | 1 | 5.256e-11 | 0.001367 | 0.001701 | 0.0006714 | 0.02591 | 21.37 | 1.413 | 0.5626 | 1.141 | 1 | 1 | 0.001324 | 0.004363 | 0.004363 | 1.106 | 3.644 | 3.644 | json |
| t15_x1_u25_b0 | 15 | 1 | 25 | 0 | ![]() |
add(P,flr(cil(D))) | 70591 | 121854441 | o2(x,o1(o1(x))) | true | 52735 | 52735 | 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 |
| t15_x1_u25_b1 | 15 | 1 | 25 | 1 | ![]() |
sub(P,flr(cil(D))) | 70592 | 121854442 | o2(x,o1(o1(x))) | true | 52743 | 52743 | -0.0625 | 0.4688 | 0.9375 | 0.9184 | 0.9583 | -1 | 1 | 2 | 1 | 1.809 | 0.01063 | 0 | 0.02379 | 1 | 1 | 0 | 0.0166 | 0.02131 | 0.01007 | 0.1003 | 4.218 | 0.9988 | 0.01158 | 0.01808 | 1 | 1 | 0.0172 | 0.07175 | 0.2321 | 0.01872 | 0.07812 | 0.2528 | json |
| t15_x1_u25_b2 | 15 | 1 | 25 | 2 | ![]() |
mlt(P,flr(cil(D))) | 70593 | 121854443 | o2(x,o1(o1(x))) | true | 52751 | 52751 | -0.05033 | 0.4375 | 0.6698 | 0.6202 | 0.7875 | -1 | 1 | 2 | 1 | 3.323 | 0.06927 | 0 | 0.1147 | 1 | 1 | -0.0006289 | 0.1207 | 0.1483 | 0.05611 | 0.2369 | 2.064 | 0.9997 | 0.1117 | 0.1946 | 1 | 1 | 0.07501 | 0.2172 | 0.1278 | 0.121 | 0.3503 | 0.2062 | json |
| t15_x1_u25_b3 | 15 | 1 | 25 | 3 | ![]() |
div(P,flr(cil(D))) | 70594 | 121854444 | o2(x,o1(o1(x))) | true | 52759 | 52759 | -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_x1_u25_b4 | 15 | 1 | 25 | 4 | ![]() |
pow(P,flr(cil(D))) | 70595 | 121854445 | o2(x,o1(o1(x))) | true | 52767 | 52767 | -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_x1_u25_b5 | 15 | 1 | 25 | 5 | ![]() |
mod(P,flr(cil(D))) | 70596 | 121854446 | o2(x,o1(o1(x))) | true | 52775 | 52775 | -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_x1_u25_b6 | 15 | 1 | 25 | 6 | ![]() |
lrg(P,flr(cil(D))) | 70597 | 121854447 | o2(x,o1(o1(x))) | true | 52783 | 52783 | 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 |
| t15_x1_u25_b7 | 15 | 1 | 25 | 7 | ![]() |
eql(P,flr(cil(D))) | 70598 | 121854448 | o2(x,o1(o1(x))) | true | 52791 | 52791 | 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 |
| t15_x1_u25_b8 | 15 | 1 | 25 | 8 | ![]() |
min(P,flr(cil(D))) | 70599 | 121854449 | o2(x,o1(o1(x))) | true | 52799 | 52799 | -0.25 | 0.4375 | 0.6875 | 0.5709 | 0.7556 | -1 | 0.9997 | 2 | 1 | 3.025 | 0.03057 | 0 | 0.05947 | 1 | 1 | -0.00008984 | 0.05632 | 0.06286 | 0.02704 | 0.1644 | 2.765 | 0.9997 | 0.05354 | 0.09866 | 1 | 1 | 0.03411 | 0.1283 | 0.1411 | 0.05974 | 0.2247 | 0.2471 | json |



































































































