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_u25_b9 | 15 | 1 | 25 | 9 | ![]() |
dot(P,flr(cil(D))) | 70600 | 121854450 | o2(x,o1(o1(x))) | true | 52807 | 52807 | -0.08197 | 0.4531 | 0.8477 | 0.8034 | 0.8963 | -1 | 1 | 2 | 1 | 2.738 | 0.07708 | 0.07708 | 0.1567 | -0.000003238 | 1 | -0.0005906 | 0.2791 | 0.2136 | 0.1296 | 0.36 | 2.298 | 2.043 | 0.1919 | 0.3474 | 1 | 1 | 0.1617 | 0.5743 | 0.2253 | 0.2013 | 0.7149 | 0.2804 | json |
| t15_x1_u25_b10 | 15 | 1 | 25 | 10 | ![]() |
dst(P,flr(cil(D))) | 70601 | 121854451 | o2(x,o1(o1(x))) | true | 52815 | 52815 | 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.0006715 | 0.02591 | 21.37 | 1.413 | 0.5625 | 1.141 | 1 | 1 | 0.001324 | 0.004363 | 0.004363 | 1.106 | 3.643 | 3.643 | json |
| t15_x1_u26_b0 | 15 | 1 | 26 | 0 | ![]() |
add(P,flr(sgn(D))) | 70602 | 121854642 | o2(x,o1(o1(x))) | true | 52823 | 52823 | 0 | 0.5 | 0.9375 | 0.924 | 0.9612 | -1 | 1 | 2 | 1 | 1.813 | 0.0245 | 0 | 0.0238 | 1 | 1 | 0 | 0.04795 | 0.03359 | 0.02394 | 0.1547 | 6.501 | 1.999 | 0.02652 | 0.05189 | 1 | 1 | 0.0332 | 0.1115 | 0.2344 | 0.03593 | 0.1207 | 0.2537 | json |
| t15_x1_u26_b1 | 15 | 1 | 26 | 1 | ![]() |
sub(P,flr(sgn(D))) | 70603 | 121854643 | o2(x,o1(o1(x))) | true | 52831 | 52831 | 0 | 0.5 | 0.9375 | 0.9223 | 0.9604 | -1 | 1 | 2 | 1 | 1.781 | 0.03004 | 0 | 0.03966 | 1 | 1 | 0 | 0.05032 | 0.04218 | 0.02848 | 0.1688 | 4.256 | 1.998 | 0.03257 | 0.05456 | 1 | 1 | 0.04632 | 0.1644 | 0.2322 | 0.05022 | 0.1782 | 0.2517 | json |
| t15_x1_u26_b2 | 15 | 1 | 26 | 2 | ![]() |
mlt(P,flr(sgn(D))) | 70604 | 121854644 | o2(x,o1(o1(x))) | true | 52839 | 52839 | -0.1381 | 0.4141 | 0.8619 | 0.8074 | 0.8985 | -1 | 1 | 2 | 1 | 2.581 | 0.3134 | 0 | 0.2301 | 1 | 1 | 1.89e-9 | 0.5304 | 0.3282 | 0.2604 | 0.5103 | 2.217 | 2 | 0.3882 | 0.657 | 1 | 1 | 0.3406 | 1.44 | 0.1751 | 0.4219 | 1.783 | 0.2169 | json |
| t15_x1_u26_b3 | 15 | 1 | 26 | 3 | ![]() |
div(P,flr(sgn(D))) | 70605 | 121854645 | o2(x,o1(o1(x))) | true | 52847 | 52847 | -0.1381 | 0.4141 | 0.8619 | 0.8074 | 0.8985 | -1 | 1 | 2 | 1 | 2.581 | 0.3134 | 0 | 0.2301 | 1 | 1 | 1.89e-9 | 0.5304 | 0.3282 | 0.2604 | 0.5103 | 2.217 | 2 | 0.3882 | 0.657 | 1 | 1 | 0.3406 | 1.44 | 0.1751 | 0.4219 | 1.783 | 0.2169 | json |
| t15_x1_u26_b4 | 15 | 1 | 26 | 4 | ![]() |
pow(P,flr(sgn(D))) | 70606 | 121854646 | o2(x,o1(o1(x))) | true | 52855 | 52855 | -0.1176 | 0.5 | 0.8824 | 0.8285 | 0.9102 | -1 | 1 | 2 | 1 | 2.316 | 0.02174 | 0 | 0.04615 | 1 | 1 | -0.0006177 | 0.03729 | 0.05752 | 0.01961 | 0.14 | 3.034 | 1 | 0.02624 | 0.04502 | 1 | 1 | 0.02319 | 0.0863 | 0.2535 | 0.02799 | 0.1042 | 0.306 | json |
| t15_x1_u26_b5 | 15 | 1 | 26 | 5 | ![]() |
mod(P,flr(sgn(D))) | 70607 | 121854647 | o2(x,o1(o1(x))) | true | 52863 | 52863 | 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_u26_b6 | 15 | 1 | 26 | 6 | ![]() |
lrg(P,flr(sgn(D))) | 70608 | 121854648 | o2(x,o1(o1(x))) | true | 52871 | 52871 | 0.4688 | 0.5625 | 0.4688 | 0.2287 | 0.4783 | 0 | 1 | 1 | 1 | 1.79 | 0.008986 | 0 | 0.01983 | 1 | 1 | -4.731e-10 | 0.01612 | 0.01865 | 0.008594 | 0.0927 | 4.674 | 0.9994 | 0.03929 | 0.07047 | 1 | 1 | 0.01315 | 0.05273 | 0.06598 | 0.05748 | 0.2305 | 0.2885 | json |
| t15_x1_u26_b7 | 15 | 1 | 26 | 7 | ![]() |
eql(P,flr(sgn(D))) | 70609 | 121854649 | o2(x,o1(o1(x))) | true | 52879 | 52879 | 0.0625 | 0.125 | 0.0625 | 0.04507 | 0.2123 | 0 | 0.9997 | 0.9997 | 1 | 0.8126 | 0.008638 | 0 | 0.01587 | 1 | 1 | -4.731e-10 | 0.016 | 0.01772 | 0.008384 | 0.09157 | 5.77 | 0.9997 | 0.1917 | 0.3551 | 1 | 1 | 0.0123 | 0.05328 | 0.06598 | 0.2729 | 1.182 | 1.464 | json |
| t15_x1_u26_b8 | 15 | 1 | 26 | 8 | ![]() |
min(P,flr(sgn(D))) | 70610 | 121854650 | o2(x,o1(o1(x))) | true | 52887 | 52887 | -0.5313 | 0.2188 | 0.8326 | 0.4902 | 0.7001 | -1 | 0.9994 | 1.999 | 1 | 2.482 | 0.1252 | 0 | 0.1189 | 1 | 1 | -0.0001797 | 0.2333 | 0.1327 | 0.111 | 0.3332 | 2.802 | 1.999 | 0.2554 | 0.476 | 1 | 1 | 0.1388 | 0.4786 | 0.09898 | 0.2832 | 0.9764 | 0.2019 | json |
| t15_x1_u26_b9 | 15 | 1 | 26 | 9 | ![]() |
dot(P,flr(sgn(D))) | 70611 | 121854651 | o2(x,o1(o1(x))) | true | 52895 | 52895 | -0.1616 | 0.4171 | 0.9215 | 0.8708 | 0.9332 | -1 | 1 | 2 | 1 | 2.122 | 0.2061 | 0.2061 | 0.2851 | 0.000004122 | 1 | -0.00008556 | 0.7614 | 0.4473 | 0.3309 | 0.5752 | 2.017 | 2.479 | 0.4733 | 0.8743 | 1 | 1 | 0.4441 | 1.647 | 0.293 | 0.51 | 1.891 | 0.3364 | json |
| t15_x1_u26_b10 | 15 | 1 | 26 | 10 | ![]() |
dst(P,flr(sgn(D))) | 70612 | 121854652 | o2(x,o1(o1(x))) | true | 52903 | 52903 | 0.9988 | 1 | 0.9988 | 0.0008579 | 0.02929 | 0.001746 | 1 | 0.9983 | 1 | 0.02791 | 0.0002972 | 0.0002972 | 0.00101 | -9.792e-8 | 1 | -9.761e-11 | 0.001235 | 0.001509 | 0.0005931 | 0.02435 | 24.12 | 1.412 | 0.6929 | 1.44 | 1 | 1 | 0.001177 | 0.003122 | 0.003122 | 1.372 | 3.639 | 3.639 | json |
| t15_x1_u27_b0 | 15 | 1 | 27 | 0 | ![]() |
add(P,flr(nrm(D))) | 70613 | 121854843 | o2(x,o1(o1(x))) | true | 52911 | 52911 | -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_u27_b1 | 15 | 1 | 27 | 1 | ![]() |
sub(P,flr(nrm(D))) | 70614 | 121854844 | o2(x,o1(o1(x))) | true | 52919 | 52919 | 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_u27_b2 | 15 | 1 | 27 | 2 | ![]() |
mlt(P,flr(nrm(D))) | 70615 | 121854845 | o2(x,o1(o1(x))) | true | 52927 | 52927 | -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_u27_b3 | 15 | 1 | 27 | 3 | ![]() |
div(P,flr(nrm(D))) | 70616 | 121854846 | o2(x,o1(o1(x))) | true | 52935 | 52935 | -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_u27_b4 | 15 | 1 | 27 | 4 | ![]() |
pow(P,flr(nrm(D))) | 70617 | 121854847 | o2(x,o1(o1(x))) | true | 52943 | 52943 | -0.1651 | 0.5 | 0.8349 | 0.7425 | 0.8617 | -1 | 1 | 2 | 1 | 2.681 | 0.0305 | 0 | 0.04634 | 1 | 1 | -0.00007861 | 0.05855 | 0.05565 | 0.02836 | 0.1684 | 3.634 | 2 | 0.04108 | 0.07885 | 1 | 1 | 0.03508 | 0.1356 | 0.3077 | 0.04725 | 0.1826 | 0.4144 | json |
| t15_x1_u27_b5 | 15 | 1 | 27 | 5 | ![]() |
mod(P,flr(nrm(D))) | 70618 | 121854848 | o2(x,o1(o1(x))) | true | 52951 | 52951 | -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_u27_b6 | 15 | 1 | 27 | 6 | ![]() |
lrg(P,flr(nrm(D))) | 70619 | 121854849 | o2(x,o1(o1(x))) | true | 52959 | 52959 | 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_u27_b7 | 15 | 1 | 27 | 7 | ![]() |
eql(P,flr(nrm(D))) | 70620 | 121854850 | o2(x,o1(o1(x))) | true | 52967 | 52967 | 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_u27_b8 | 15 | 1 | 27 | 8 | ![]() |
min(P,flr(nrm(D))) | 70621 | 121854851 | o2(x,o1(o1(x))) | true | 52975 | 52975 | -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_u27_b9 | 15 | 1 | 27 | 9 | ![]() |
dot(P,flr(nrm(D))) | 70622 | 121854852 | o2(x,o1(o1(x))) | true | 52983 | 52983 | -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_u27_b10 | 15 | 1 | 27 | 10 | ![]() |
dst(P,flr(nrm(D))) | 70623 | 121854853 | o2(x,o1(o1(x))) | true | 52991 | 52991 | 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_u28_b0 | 15 | 1 | 28 | 0 | ![]() |
add(P,cil(sqt(D))) | 70624 | 121855044 | o2(x,o1(o1(x))) | true | 52999 | 52999 | -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_u28_b1 | 15 | 1 | 28 | 1 | ![]() |
sub(P,cil(sqt(D))) | 70625 | 121855045 | o2(x,o1(o1(x))) | true | 53007 | 53007 | -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_u28_b2 | 15 | 1 | 28 | 2 | ![]() |
mlt(P,cil(sqt(D))) | 70626 | 121855046 | o2(x,o1(o1(x))) | true | 53015 | 53015 | -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_u28_b3 | 15 | 1 | 28 | 3 | ![]() |
div(P,cil(sqt(D))) | 70627 | 121855047 | o2(x,o1(o1(x))) | true | 53023 | 53023 | -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_u28_b4 | 15 | 1 | 28 | 4 | ![]() |
pow(P,cil(sqt(D))) | 70628 | 121855048 | o2(x,o1(o1(x))) | true | 53031 | 53031 | -0.9063 | 0.0625 | 0.9688 | 0.1407 | 0.3751 | -1 | 0.9997 | 2 | 1 | 0.5501 | 0.02019 | 0 | 0.01587 | 1 | 1 | 0 | 0.03975 | 0.02468 | 0.01993 | 0.1412 | 8.896 | 2 | 0.1435 | 0.2825 | 1 | 1 | 0.0272 | 0.1109 | 0.2014 | 0.1933 | 0.7879 | 1.432 | json |
| t15_x1_u28_b5 | 15 | 1 | 28 | 5 | ![]() |
mod(P,cil(sqt(D))) | 70629 | 121855049 | o2(x,o1(o1(x))) | true | 53039 | 53039 | -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_u28_b6 | 15 | 1 | 28 | 6 | ![]() |
lrg(P,cil(sqt(D))) | 70630 | 121855050 | o2(x,o1(o1(x))) | true | 53047 | 53047 | 0.6875 | 1 | 0.6875 | 0.1472 | 0.3837 | 0.000291 | 1 | 0.9997 | 1 | 2.693 | 0.0392 | 0 | 0.07524 | 1 | 1 | -0.00008984 | 0.07248 | 0.08058 | 0.03353 | 0.1831 | 2.434 | 0.9994 | 0.2663 | 0.4923 | 1 | 1 | 0.0437 | 0.1524 | 0.03299 | 0.2968 | 1.035 | 0.2241 | json |
| t15_x1_u28_b7 | 15 | 1 | 28 | 7 | ![]() |
eql(P,cil(sqt(D))) | 70631 | 121855051 | o2(x,o1(o1(x))) | true | 53055 | 53055 | 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_u28_b8 | 15 | 1 | 28 | 8 | ![]() |
min(P,cil(sqt(D))) | 70632 | 121855052 | o2(x,o1(o1(x))) | true | 53063 | 53063 | 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_u28_b9 | 15 | 1 | 28 | 9 | ![]() |
dot(P,cil(sqt(D))) | 70633 | 121855053 | o2(x,o1(o1(x))) | true | 53071 | 53071 | -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_u28_b10 | 15 | 1 | 28 | 10 | ![]() |
dst(P,cil(sqt(D))) | 70634 | 121855054 | o2(x,o1(o1(x))) | true | 53079 | 53079 | -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_u29_b0 | 15 | 1 | 29 | 0 | ![]() |
add(P,cil(log(D))) | 70635 | 121855245 | o2(x,o1(o1(x))) | true | 53087 | 53087 | -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_u29_b1 | 15 | 1 | 29 | 1 | ![]() |
sub(P,cil(log(D))) | 70636 | 121855246 | o2(x,o1(o1(x))) | true | 53095 | 53095 | -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_u29_b2 | 15 | 1 | 29 | 2 | ![]() |
mlt(P,cil(log(D))) | 70637 | 121855247 | o2(x,o1(o1(x))) | true | 53103 | 53103 | -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_u29_b3 | 15 | 1 | 29 | 3 | ![]() |
div(P,cil(log(D))) | 70638 | 121855248 | o2(x,o1(o1(x))) | true | 53111 | 53111 | -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_u29_b4 | 15 | 1 | 29 | 4 | ![]() |
pow(P,cil(log(D))) | 70639 | 121855249 | o2(x,o1(o1(x))) | true | 53119 | 53119 | -0.9219 | 0.03906 | 1 | 0.15 | 0.3873 | -1 | 1 | 2 | 1 | 0.238 | 0.03175 | 0 | 0.01587 | 1 | 1 | 0 | 0.06349 | 0.03175 | 0.03149 | 0.1774 | 11.18 | 2 | 0.2116 | 0.4233 | 1 | 1 | 0.04211 | 0.1684 | 0.2105 | 0.2807 | 1.123 | 1.403 | json |
| t15_x1_u29_b5 | 15 | 1 | 29 | 5 | ![]() |
mod(P,cil(log(D))) | 70640 | 121855250 | o2(x,o1(o1(x))) | true | 53127 | 53127 | -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_u29_b6 | 15 | 1 | 29 | 6 | ![]() |
lrg(P,cil(log(D))) | 70641 | 121855251 | o2(x,o1(o1(x))) | true | 53135 | 53135 | 0.752 | 1 | 0.752 | 0.1272 | 0.3567 | 0.000291 | 1 | 0.9997 | 1 | 2.41 | 0.03233 | 0 | 0.06443 | 1 | 1 | -0.00008984 | 0.06036 | 0.06883 | 0.02818 | 0.1679 | 2.606 | 0.9994 | 0.2541 | 0.4745 | 1 | 1 | 0.03351 | 0.1148 | 0.03299 | 0.2634 | 0.9023 | 0.2594 | json |
| t15_x1_u29_b7 | 15 | 1 | 29 | 7 | ![]() |
eql(P,cil(log(D))) | 70642 | 121855252 | o2(x,o1(o1(x))) | true | 53143 | 53143 | 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.03299 | 0.911 | 1.402 | 1.403 | json |
| t15_x1_u29_b8 | 15 | 1 | 29 | 8 | ![]() |
min(P,cil(log(D))) | 70643 | 121855253 | o2(x,o1(o1(x))) | true | 53151 | 53151 | -0.275 | 0.3398 | 0.9022 | 0.7923 | 0.8901 | -1 | 1 | 2 | 1 | 2.391 | 0.1492 | 0 | 0.127 | 1 | 1 | -1.888e-9 | 0.2576 | 0.1716 | 0.1331 | 0.3649 | 2.873 | 2 | 0.1884 | 0.3251 | 1 | 1 | 0.1742 | 0.5285 | 0.1471 | 0.2199 | 0.667 | 0.1857 | json |
| t15_x1_u29_b9 | 15 | 1 | 29 | 9 | ![]() |
dot(P,cil(log(D))) | 70644 | 121855254 | o2(x,o1(o1(x))) | true | 53159 | 53159 | -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_u29_b10 | 15 | 1 | 29 | 10 | ![]() |
dst(P,cil(log(D))) | 70645 | 121855255 | o2(x,o1(o1(x))) | true | 53167 | 53167 | -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_u30_b0 | 15 | 1 | 30 | 0 | ![]() |
add(P,cil(frc(D))) | 70646 | 121855446 | o2(x,o1(o1(x))) | true | 53175 | 53175 | 0.125 | 0.5625 | 0.9375 | 0.9084 | 0.9531 | -1 | 1 | 2 | 1 | 1.8 | 0.0007059 | 0 | 0.007937 | 1 | 1 | 0 | 0.00003235 | 0.001851 | 0.0006432 | 0.02536 | 3.195 | 0.1169 | 0.0007771 | 0.00003562 | 1 | 1 | 0.001851 | 0.02449 | 0.2344 | 0.002038 | 0.02696 | 0.2581 | json |
| t15_x1_u30_b1 | 15 | 1 | 30 | 1 | ![]() |
sub(P,cil(frc(D))) | 70647 | 121855447 | o2(x,o1(o1(x))) | true | 53183 | 53183 | -0.125 | 0.4375 | 0.9375 | 0.9084 | 0.9531 | -1 | 1 | 2 | 1 | 1.8 | 0.0007059 | 0 | 0.007937 | 1 | 1 | 0 | 0.00003235 | 0.001851 | 0.0006432 | 0.02536 | 3.195 | 0.1169 | 0.0007771 | 0.00003562 | 1 | 1 | 0.001851 | 0.02449 | 0.2344 | 0.002038 | 0.02696 | 0.2581 | json |
| t15_x1_u30_b2 | 15 | 1 | 30 | 2 | ![]() |
mlt(P,cil(frc(D))) | 70648 | 121855448 | o2(x,o1(o1(x))) | true | 53191 | 53191 | 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_u30_b3 | 15 | 1 | 30 | 3 | ![]() |
div(P,cil(frc(D))) | 70649 | 121855449 | o2(x,o1(o1(x))) | true | 53199 | 53199 | 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_u30_b4 | 15 | 1 | 30 | 4 | ![]() |
pow(P,cil(frc(D))) | 70650 | 121855450 | o2(x,o1(o1(x))) | true | 53207 | 53207 | -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_u30_b5 | 15 | 1 | 30 | 5 | ![]() |
mod(P,cil(frc(D))) | 70651 | 121855451 | o2(x,o1(o1(x))) | true | 53215 | 53215 | 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_u30_b6 | 15 | 1 | 30 | 6 | ![]() |
lrg(P,cil(frc(D))) | 70652 | 121855452 | o2(x,o1(o1(x))) | true | 53223 | 53223 | 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 |
| t15_x1_u30_b7 | 15 | 1 | 30 | 7 | ![]() |
eql(P,cil(frc(D))) | 70653 | 121855453 | o2(x,o1(o1(x))) | true | 53231 | 53231 | 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_u30_b8 | 15 | 1 | 30 | 8 | ![]() |
min(P,cil(frc(D))) | 70654 | 121855454 | o2(x,o1(o1(x))) | true | 53239 | 53239 | 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_u30_b9 | 15 | 1 | 30 | 9 | ![]() |
dot(P,cil(frc(D))) | 70655 | 121855455 | o2(x,o1(o1(x))) | true | 53247 | 53247 | -1.583e-8 | 0.498 | 0.9392 | 0.9217 | 0.96 | -1 | 1 | 2 | 1 | 1.917 | 0.0006889 | 0.0006889 | 0.01208 | -4.225e-8 | 1 | -4.43e-10 | 0.0002289 | 0.003184 | 0.001231 | 0.03509 | 2.904 | 0.1653 | 0.001495 | 0.0002483 | 1 | 1 | 0.003512 | 0.04405 | 0.4161 | 0.003811 | 0.04779 | 0.4514 | json |
| t15_x1_u30_b10 | 15 | 1 | 30 | 10 | ![]() |
dst(P,cil(frc(D))) | 70656 | 121855456 | o2(x,o1(o1(x))) | true | 53255 | 53255 | 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.0000786 | 0.008866 | 10.94 | 0.1294 | 0.03466 | 0.004389 | 1 | 1 | 0.0002733 | 0.00336 | 0.008351 | 0.1194 | 1.468 | 3.649 | json |
| t15_x1_u31_b0 | 15 | 1 | 31 | 0 | ![]() |
add(P,cil(flr(D))) | 70657 | 121855647 | o2(x,o1(o1(x))) | true | 53263 | 53263 | -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_u31_b1 | 15 | 1 | 31 | 1 | ![]() |
sub(P,cil(flr(D))) | 70658 | 121855648 | o2(x,o1(o1(x))) | true | 53271 | 53271 | 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_u31_b2 | 15 | 1 | 31 | 2 | ![]() |
mlt(P,cil(flr(D))) | 70659 | 121855649 | o2(x,o1(o1(x))) | true | 53279 | 53279 | -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_u31_b3 | 15 | 1 | 31 | 3 | ![]() |
div(P,cil(flr(D))) | 70660 | 121855650 | o2(x,o1(o1(x))) | true | 53287 | 53287 | -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_u31_b4 | 15 | 1 | 31 | 4 | ![]() |
pow(P,cil(flr(D))) | 70661 | 121855651 | o2(x,o1(o1(x))) | true | 53295 | 53295 | -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_u31_b5 | 15 | 1 | 31 | 5 | ![]() |
mod(P,cil(flr(D))) | 70662 | 121855652 | o2(x,o1(o1(x))) | true | 53303 | 53303 | -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_u31_b6 | 15 | 1 | 31 | 6 | ![]() |
lrg(P,cil(flr(D))) | 70663 | 121855653 | o2(x,o1(o1(x))) | true | 53311 | 53311 | 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_u31_b7 | 15 | 1 | 31 | 7 | ![]() |
eql(P,cil(flr(D))) | 70664 | 121855654 | o2(x,o1(o1(x))) | true | 53319 | 53319 | 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_u31_b8 | 15 | 1 | 31 | 8 | ![]() |
min(P,cil(flr(D))) | 70665 | 121855655 | o2(x,o1(o1(x))) | true | 53327 | 53327 | -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_u31_b9 | 15 | 1 | 31 | 9 | ![]() |
dot(P,cil(flr(D))) | 70666 | 121855656 | o2(x,o1(o1(x))) | true | 53335 | 53335 | -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_u31_b10 | 15 | 1 | 31 | 10 | ![]() |
dst(P,cil(flr(D))) | 70667 | 121855657 | o2(x,o1(o1(x))) | true | 53343 | 53343 | 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_u32_b0 | 15 | 1 | 32 | 0 | ![]() |
add(P,cil(cil(D))) | 70668 | 121855848 | o2(x,o1(o1(x))) | true | 53351 | 53351 | 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_u32_b1 | 15 | 1 | 32 | 1 | ![]() |
sub(P,cil(cil(D))) | 70669 | 121855849 | o2(x,o1(o1(x))) | true | 53359 | 53359 | -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_u32_b2 | 15 | 1 | 32 | 2 | ![]() |
mlt(P,cil(cil(D))) | 70670 | 121855850 | o2(x,o1(o1(x))) | true | 53367 | 53367 | -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_u32_b3 | 15 | 1 | 32 | 3 | ![]() |
div(P,cil(cil(D))) | 70671 | 121855851 | o2(x,o1(o1(x))) | true | 53375 | 53375 | -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_u32_b4 | 15 | 1 | 32 | 4 | ![]() |
pow(P,cil(cil(D))) | 70672 | 121855852 | o2(x,o1(o1(x))) | true | 53383 | 53383 | -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_u32_b5 | 15 | 1 | 32 | 5 | ![]() |
mod(P,cil(cil(D))) | 70673 | 121855853 | o2(x,o1(o1(x))) | true | 53391 | 53391 | -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_u32_b6 | 15 | 1 | 32 | 6 | ![]() |
lrg(P,cil(cil(D))) | 70674 | 121855854 | o2(x,o1(o1(x))) | true | 53399 | 53399 | 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_u32_b7 | 15 | 1 | 32 | 7 | ![]() |
eql(P,cil(cil(D))) | 70675 | 121855855 | o2(x,o1(o1(x))) | true | 53407 | 53407 | 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_u32_b8 | 15 | 1 | 32 | 8 | ![]() |
min(P,cil(cil(D))) | 70676 | 121855856 | o2(x,o1(o1(x))) | true | 53415 | 53415 | -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 |
| t15_x1_u32_b9 | 15 | 1 | 32 | 9 | ![]() |
dot(P,cil(cil(D))) | 70677 | 121855857 | o2(x,o1(o1(x))) | true | 53423 | 53423 | -0.08197 | 0.4531 | 0.8477 | 0.8034 | 0.8963 | -1 | 1 | 2 | 1 | 2.738 | 0.07708 | 0.07708 | 0.1567 | -0.000003238 | 1 | -0.0005906 | 0.2791 | 0.2136 | 0.1296 | 0.36 | 2.298 | 2.043 | 0.1919 | 0.3474 | 1 | 1 | 0.1617 | 0.5743 | 0.2253 | 0.2013 | 0.7149 | 0.2804 | json |
| t15_x1_u32_b10 | 15 | 1 | 32 | 10 | ![]() |
dst(P,cil(cil(D))) | 70678 | 121855858 | o2(x,o1(o1(x))) | true | 53431 | 53431 | 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.0006715 | 0.02591 | 21.37 | 1.413 | 0.5625 | 1.141 | 1 | 1 | 0.001324 | 0.004363 | 0.004363 | 1.106 | 3.643 | 3.643 | json |
| t15_x1_u33_b0 | 15 | 1 | 33 | 0 | ![]() |
add(P,cil(sgn(D))) | 70679 | 121856049 | o2(x,o1(o1(x))) | true | 53439 | 53439 | 0 | 0.5 | 0.9375 | 0.924 | 0.9612 | -1 | 1 | 2 | 1 | 1.813 | 0.0245 | 0 | 0.0238 | 1 | 1 | 0 | 0.04795 | 0.03359 | 0.02394 | 0.1547 | 6.501 | 1.999 | 0.02652 | 0.05189 | 1 | 1 | 0.0332 | 0.1115 | 0.2344 | 0.03593 | 0.1207 | 0.2537 | json |
| t15_x1_u33_b1 | 15 | 1 | 33 | 1 | ![]() |
sub(P,cil(sgn(D))) | 70680 | 121856050 | o2(x,o1(o1(x))) | true | 53447 | 53447 | 0 | 0.5 | 0.9375 | 0.9223 | 0.9604 | -1 | 1 | 2 | 1 | 1.781 | 0.03004 | 0 | 0.03966 | 1 | 1 | 0 | 0.05032 | 0.04218 | 0.02848 | 0.1688 | 4.256 | 1.998 | 0.03257 | 0.05456 | 1 | 1 | 0.04632 | 0.1644 | 0.2322 | 0.05022 | 0.1782 | 0.2517 | json |
| t15_x1_u33_b2 | 15 | 1 | 33 | 2 | ![]() |
mlt(P,cil(sgn(D))) | 70681 | 121856051 | o2(x,o1(o1(x))) | true | 53455 | 53455 | -0.1381 | 0.4141 | 0.8619 | 0.8074 | 0.8985 | -1 | 1 | 2 | 1 | 2.581 | 0.3134 | 0 | 0.2301 | 1 | 1 | 1.89e-9 | 0.5304 | 0.3282 | 0.2604 | 0.5103 | 2.217 | 2 | 0.3882 | 0.657 | 1 | 1 | 0.3406 | 1.44 | 0.1751 | 0.4219 | 1.783 | 0.2169 | json |
| t15_x1_u33_b3 | 15 | 1 | 33 | 3 | ![]() |
div(P,cil(sgn(D))) | 70682 | 121856052 | o2(x,o1(o1(x))) | true | 53463 | 53463 | -0.1381 | 0.4141 | 0.8619 | 0.8074 | 0.8985 | -1 | 1 | 2 | 1 | 2.581 | 0.3134 | 0 | 0.2301 | 1 | 1 | 1.89e-9 | 0.5304 | 0.3282 | 0.2604 | 0.5103 | 2.217 | 2 | 0.3882 | 0.657 | 1 | 1 | 0.3406 | 1.44 | 0.1751 | 0.4219 | 1.783 | 0.2169 | json |
| t15_x1_u33_b4 | 15 | 1 | 33 | 4 | ![]() |
pow(P,cil(sgn(D))) | 70683 | 121856053 | o2(x,o1(o1(x))) | true | 53471 | 53471 | -0.1176 | 0.5 | 0.8824 | 0.8285 | 0.9102 | -1 | 1 | 2 | 1 | 2.316 | 0.02174 | 0 | 0.04615 | 1 | 1 | -0.0006177 | 0.03729 | 0.05752 | 0.01961 | 0.14 | 3.034 | 1 | 0.02624 | 0.04502 | 1 | 1 | 0.02319 | 0.0863 | 0.2535 | 0.02799 | 0.1042 | 0.306 | json |
| t15_x1_u33_b5 | 15 | 1 | 33 | 5 | ![]() |
mod(P,cil(sgn(D))) | 70684 | 121856054 | o2(x,o1(o1(x))) | true | 53479 | 53479 | 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_u33_b6 | 15 | 1 | 33 | 6 | ![]() |
lrg(P,cil(sgn(D))) | 70685 | 121856055 | o2(x,o1(o1(x))) | true | 53487 | 53487 | 0.4688 | 0.5625 | 0.4688 | 0.2287 | 0.4783 | 0 | 1 | 1 | 1 | 1.79 | 0.008986 | 0 | 0.01983 | 1 | 1 | -4.731e-10 | 0.01612 | 0.01865 | 0.008594 | 0.0927 | 4.674 | 0.9994 | 0.03929 | 0.07047 | 1 | 1 | 0.01315 | 0.05273 | 0.06598 | 0.05748 | 0.2305 | 0.2885 | json |
| t15_x1_u33_b7 | 15 | 1 | 33 | 7 | ![]() |
eql(P,cil(sgn(D))) | 70686 | 121856056 | o2(x,o1(o1(x))) | true | 53495 | 53495 | 0.0625 | 0.125 | 0.0625 | 0.04507 | 0.2123 | 0 | 0.9997 | 0.9997 | 1 | 0.8126 | 0.008638 | 0 | 0.01587 | 1 | 1 | -4.731e-10 | 0.016 | 0.01772 | 0.008384 | 0.09157 | 5.77 | 0.9997 | 0.1917 | 0.3551 | 1 | 1 | 0.0123 | 0.05328 | 0.06598 | 0.2729 | 1.182 | 1.464 | json |
| t15_x1_u33_b8 | 15 | 1 | 33 | 8 | ![]() |
min(P,cil(sgn(D))) | 70687 | 121856057 | o2(x,o1(o1(x))) | true | 53503 | 53503 | -0.5313 | 0.2188 | 0.8326 | 0.4902 | 0.7001 | -1 | 0.9994 | 1.999 | 1 | 2.482 | 0.1252 | 0 | 0.1189 | 1 | 1 | -0.0001797 | 0.2333 | 0.1327 | 0.111 | 0.3332 | 2.802 | 1.999 | 0.2554 | 0.476 | 1 | 1 | 0.1388 | 0.4786 | 0.09898 | 0.2832 | 0.9764 | 0.2019 | json |
| t15_x1_u33_b9 | 15 | 1 | 33 | 9 | ![]() |
dot(P,cil(sgn(D))) | 70688 | 121856058 | o2(x,o1(o1(x))) | true | 53511 | 53511 | -0.1616 | 0.4171 | 0.9215 | 0.8708 | 0.9332 | -1 | 1 | 2 | 1 | 2.122 | 0.2061 | 0.2061 | 0.2851 | 0.000004122 | 1 | -0.00008556 | 0.7614 | 0.4473 | 0.3309 | 0.5752 | 2.017 | 2.479 | 0.4733 | 0.8743 | 1 | 1 | 0.4441 | 1.647 | 0.293 | 0.51 | 1.891 | 0.3364 | json |
| t15_x1_u33_b10 | 15 | 1 | 33 | 10 | ![]() |
dst(P,cil(sgn(D))) | 70689 | 121856059 | o2(x,o1(o1(x))) | true | 53519 | 53519 | 0.9988 | 1 | 0.9988 | 0.0008579 | 0.02929 | 0.001746 | 1 | 0.9983 | 1 | 0.02791 | 0.0002972 | 0.0002972 | 0.00101 | -9.792e-8 | 1 | -9.761e-11 | 0.001235 | 0.001509 | 0.0005931 | 0.02435 | 24.12 | 1.412 | 0.6929 | 1.44 | 1 | 1 | 0.001177 | 0.003122 | 0.003122 | 1.372 | 3.639 | 3.639 | json |
| t15_x1_u34_b0 | 15 | 1 | 34 | 0 | ![]() |
add(P,cil(nrm(D))) | 70690 | 121856250 | o2(x,o1(o1(x))) | true | 53527 | 53527 | 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_u34_b1 | 15 | 1 | 34 | 1 | ![]() |
sub(P,cil(nrm(D))) | 70691 | 121856251 | o2(x,o1(o1(x))) | true | 53535 | 53535 | -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_u34_b2 | 15 | 1 | 34 | 2 | ![]() |
mlt(P,cil(nrm(D))) | 70692 | 121856252 | o2(x,o1(o1(x))) | true | 53543 | 53543 | -0.05033 | 0.4375 | 0.6698 | 0.6202 | 0.7875 | -1 | 1 | 2 | 1 | 3.323 | 0.06927 | 1.517e-16 | 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_u34_b3 | 15 | 1 | 34 | 3 | ![]() |
div(P,cil(nrm(D))) | 70693 | 121856253 | o2(x,o1(o1(x))) | true | 53551 | 53551 | -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_u34_b4 | 15 | 1 | 34 | 4 | ![]() |
pow(P,cil(nrm(D))) | 70694 | 121856254 | o2(x,o1(o1(x))) | true | 53559 | 53559 | -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_u34_b5 | 15 | 1 | 34 | 5 | ![]() |
mod(P,cil(nrm(D))) | 70695 | 121856255 | o2(x,o1(o1(x))) | true | 53567 | 53567 | -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_u34_b6 | 15 | 1 | 34 | 6 | ![]() |
lrg(P,cil(nrm(D))) | 70696 | 121856256 | o2(x,o1(o1(x))) | true | 53575 | 53575 | 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_u34_b7 | 15 | 1 | 34 | 7 | ![]() |
eql(P,cil(nrm(D))) | 70697 | 121856257 | o2(x,o1(o1(x))) | true | 53583 | 53583 | 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_u34_b8 | 15 | 1 | 34 | 8 | ![]() |
min(P,cil(nrm(D))) | 70698 | 121856258 | o2(x,o1(o1(x))) | true | 53591 | 53591 | -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 |
| t15_x1_u34_b9 | 15 | 1 | 34 | 9 | ![]() |
dot(P,cil(nrm(D))) | 70699 | 121856259 | o2(x,o1(o1(x))) | true | 53599 | 53599 | -0.08197 | 0.4531 | 0.8477 | 0.8034 | 0.8963 | -1 | 1 | 2 | 1 | 2.738 | 0.07708 | 0.07708 | 0.1567 | -0.000003238 | 1 | -0.0005906 | 0.2791 | 0.2136 | 0.1296 | 0.36 | 2.298 | 2.043 | 0.1919 | 0.3474 | 1 | 1 | 0.1617 | 0.5743 | 0.2253 | 0.2013 | 0.7149 | 0.2804 | json |



































































































