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_u47_b6 | 15 | 0 | 47 | 6 | ![]() |
lrg(P,nrm(sgn(P))) | 70300 | 121818468 | o2(x,o1(o1(x))) | true | 50407 | 50407 | 0.4688 | 0.5074 | 0.4688 | 0.2403 | 0.4902 | 0 | 1 | 1 | 1 | 1.406 | 0.0003686 | 0.00006053 | 0.004904 | 0.7179 | 1 | -4.591e-10 | 0.00002268 | 0.001178 | 0.0004054 | 0.02013 | 4.106 | 0.1169 | 0.001786 | 0.00009441 | 1 | 1 | 0.001191 | 0.01558 | 0.0796 | 0.004955 | 0.06484 | 0.3313 | json |
| t15_x0_u47_b7 | 15 | 0 | 47 | 7 | ![]() |
eql(P,nrm(sgn(P))) | 70301 | 121818469 | o2(x,o1(o1(x))) | true | 50415 | 50415 | 0.06641 | 0.1398 | 0.06641 | 0.04599 | 0.2145 | 0 | 0.9997 | 0.9997 | 1 | 0.9036 | 0.0007022 | 0.00008595 | 0.008964 | 0.7819 | 1 | -7.45e-10 | 0.00004117 | 0.00215 | 0.0007076 | 0.0266 | 2.968 | 0.1169 | 0.01714 | 0.0008953 | 1 | 1 | 0.002137 | 0.0278 | 0.07457 | 0.04646 | 0.6044 | 1.621 | json |
| t15_x0_u47_b8 | 15 | 0 | 47 | 8 | ![]() |
min(P,nrm(sgn(P))) | 70302 | 121818470 | o2(x,o1(o1(x))) | true | 50423 | 50423 | -0.1287 | 0.5 | 0.8088 | 0.6903 | 0.8309 | -1 | 0.9999 | 2 | 1 | 2.083 | 0.0005402 | 0.00002794 | 0.007889 | 0.9016 | 1 | -2.792e-10 | 0.00002609 | 0.001834 | 0.0005061 | 0.0225 | 2.852 | 0.1169 | 0.000823 | 0.00003779 | 1 | 1 | 0.001497 | 0.01978 | 0.1799 | 0.002169 | 0.02866 | 0.2605 | json |
| t15_x0_u47_b9 | 15 | 0 | 47 | 9 | ![]() |
dot(P,nrm(sgn(P))) | 70303 | 121818471 | o2(x,o1(o1(x))) | true | 50431 | 50431 | 0.9688 | 0.9844 | 1 | 0.06152 | 0.248 | -1 | 1 | 2 | 1 | 0.1161 | 0.004031 | 0.004031 | 0.004013 | 0 | 1 | 0 | 0.01663 | 0.008062 | 0.008054 | 0.08974 | 22.36 | 2.828 | 0.131 | 0.2703 | 1 | 1 | 0.01418 | 0.05673 | 0.2269 | 0.2305 | 0.9221 | 3.688 | json |
| t15_x0_u47_b10 | 15 | 0 | 47 | 10 | ![]() |
dst(P,nrm(sgn(P))) | 70304 | 121818472 | o2(x,o1(o1(x))) | true | 50439 | 50439 | 0.9563 | 0.9844 | 0.9876 | 0.06859 | 0.2619 | -1 | 1 | 2 | 1 | 0.3776 | 0.001591 | 0.001591 | 0.004554 | 1.098e-7 | 1 | 4.806e-10 | 0.006227 | 0.005487 | 0.003158 | 0.0562 | 12.34 | 2 | 0.04638 | 0.09079 | 1 | 1 | 0.005945 | 0.03391 | 0.2128 | 0.08668 | 0.4944 | 3.103 | json |
| t15_x0_u48_b0 | 15 | 0 | 48 | 0 | ![]() |
add(P,nrm(nrm(P))) | 70305 | 121818663 | o2(x,o1(o1(x))) | true | 50447 | 50447 | -0.01563 | 0.4922 | 0.9527 | 0.9431 | 0.9712 | -1 | 1 | 2 | 1 | 1.607 | 0.002844 | 0.001576 | 0.008903 | 0.2868 | 1 | -7.509e-11 | 0.007561 | 0.00608 | 0.004344 | 0.06591 | 7.403 | 2.828 | 0.004686 | 0.008017 | 1 | 1 | 0.008415 | 0.04931 | 0.3099 | 0.008922 | 0.05228 | 0.3286 | json |
| t15_x0_u48_b1 | 15 | 0 | 48 | 1 | ![]() |
sub(P,nrm(nrm(P))) | 70306 | 121818664 | o2(x,o1(o1(x))) | true | 50455 | 50455 | -0.01563 | 0.492 | 0.9141 | 0.8891 | 0.9429 | -1 | 1 | 2 | 1 | 2.237 | 0.001563 | 0.001053 | 0.009986 | 0.195 | 1 | 1.314e-11 | 0.004357 | 0.006397 | 0.00252 | 0.0502 | 5.027 | 1.829 | 0.002943 | 0.004901 | 1 | 1 | 0.00502 | 0.03183 | 0.2364 | 0.005646 | 0.0358 | 0.2658 | json |
| t15_x0_u48_b2 | 15 | 0 | 48 | 2 | ![]() |
mlt(P,nrm(nrm(P))) | 70307 | 121818665 | o2(x,o1(o1(x))) | true | 50463 | 50463 | 0.8172 | 0.9792 | 0.8485 | 0.1454 | 0.3814 | -1 | 1 | 2 | 1 | 1.755 | 0.003838 | 0.001934 | 0.01061 | 0.3298 | 1 | -0.000002608 | 0.01119 | 0.008667 | 0.005662 | 0.07525 | 7.093 | 2.414 | 0.03968 | 0.07696 | 1 | 1 | 0.0105 | 0.05122 | 0.249 | 0.07219 | 0.3521 | 1.712 | json |
| t15_x0_u48_b3 | 15 | 0 | 48 | 3 | ![]() |
div(P,nrm(nrm(P))) | 70308 | 121818666 | o2(x,o1(o1(x))) | true | 50471 | 50471 | 0.75 | 0.875 | 1 | 0.4375 | 0.6614 | -1 | 1 | 2 | 1 | 0.5436 | 0.03175 | 0 | 0.01587 | 1 | 1 | 0 | 0.06349 | 0.03175 | 0.03149 | 0.1774 | 11.18 | 2 | 0.07256 | 0.1451 | 1 | 1 | 0.04211 | 0.1684 | 0.6737 | 0.09624 | 0.385 | 1.54 | json |
| t15_x0_u48_b4 | 15 | 0 | 48 | 4 | ![]() |
pow(P,nrm(nrm(P))) | 70309 | 121818667 | o2(x,o1(o1(x))) | true | 50479 | 50479 | -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_u48_b5 | 15 | 0 | 48 | 5 | ![]() |
mod(P,nrm(nrm(P))) | 70310 | 121818668 | o2(x,o1(o1(x))) | true | 50487 | 50487 | -0.125 | 0.4341 | 0.3449 | 0.1907 | 0.4367 | -1 | 0.8443 | 1.844 | 1 | 4.313 | 0.008264 | 0.0003143 | 0.02546 | 0.9267 | 1 | -2.605e-11 | 0.01608 | 0.01985 | 0.007929 | 0.08905 | 3.497 | 1.293 | 0.04498 | 0.08432 | 1 | 1 | 0.0117 | 0.056 | 0.2217 | 0.06134 | 0.2937 | 1.162 | json |
| t15_x0_u48_b6 | 15 | 0 | 48 | 6 | ![]() |
lrg(P,nrm(nrm(P))) | 70311 | 121818669 | o2(x,o1(o1(x))) | true | 50495 | 50495 | 0.4688 | 0.5074 | 0.4688 | 0.2403 | 0.4902 | 0 | 1 | 1 | 1 | 1.406 | 0.0003686 | 0.00006053 | 0.004904 | 0.7179 | 1 | -4.591e-10 | 0.00002268 | 0.001178 | 0.0004054 | 0.02013 | 4.106 | 0.1169 | 0.001786 | 0.00009441 | 1 | 1 | 0.001191 | 0.01558 | 0.0796 | 0.004955 | 0.06484 | 0.3313 | json |
| t15_x0_u48_b7 | 15 | 0 | 48 | 7 | ![]() |
eql(P,nrm(nrm(P))) | 70312 | 121818670 | o2(x,o1(o1(x))) | true | 50503 | 50503 | 0.06641 | 0.1398 | 0.06641 | 0.04599 | 0.2145 | 0 | 0.9997 | 0.9997 | 1 | 0.9036 | 0.0007022 | 0.00008595 | 0.008964 | 0.7819 | 1 | -7.45e-10 | 0.00004117 | 0.00215 | 0.0007076 | 0.0266 | 2.968 | 0.1169 | 0.01714 | 0.0008953 | 1 | 1 | 0.002137 | 0.0278 | 0.07457 | 0.04646 | 0.6044 | 1.621 | json |
| t15_x0_u48_b8 | 15 | 0 | 48 | 8 | ![]() |
min(P,nrm(nrm(P))) | 70313 | 121818671 | o2(x,o1(o1(x))) | true | 50511 | 50511 | -0.148 | 0.4974 | 0.7895 | 0.6872 | 0.829 | -1 | 1 | 2 | 1 | 3.301 | 0.0004406 | 0.00001886 | 0.008649 | 0.9179 | 1 | -0.000001322 | 0.00002118 | 0.001893 | 0.0003846 | 0.01961 | 2.268 | 0.1169 | 0.0006686 | 0.00003082 | 1 | 1 | 0.001262 | 0.01667 | 0.1533 | 0.001836 | 0.02425 | 0.2231 | json |
| t15_x0_u48_b9 | 15 | 0 | 48 | 9 | ![]() |
dot(P,nrm(nrm(P))) | 70314 | 121818672 | o2(x,o1(o1(x))) | true | 50519 | 50519 | 0.9688 | 0.9844 | 1 | 0.06152 | 0.248 | -1 | 1 | 2 | 1 | 0.1161 | 0.004031 | 0.004031 | 0.004013 | 0 | 1 | 0 | 0.01663 | 0.008062 | 0.008054 | 0.08974 | 22.36 | 2.828 | 0.131 | 0.2703 | 1 | 1 | 0.01418 | 0.05673 | 0.2269 | 0.2305 | 0.9221 | 3.688 | json |
| t15_x0_u48_b10 | 15 | 0 | 48 | 10 | ![]() |
dst(P,nrm(nrm(P))) | 70315 | 121818673 | o2(x,o1(o1(x))) | true | 50527 | 50527 | 0.9559 | 0.9844 | 0.9872 | 0.0687 | 0.2621 | -1 | 1 | 2 | 1 | 0.3838 | 0.001586 | 0.001586 | 0.004564 | 4.77e-7 | 1 | -1.915e-10 | 0.006223 | 0.00546 | 0.00315 | 0.05612 | 12.3 | 2 | 0.04618 | 0.09058 | 1 | 1 | 0.005918 | 0.0335 | 0.2123 | 0.08614 | 0.4877 | 3.09 | json |
| t15_x1_u0_b0 | 15 | 1 | 0 | 0 | ![]() |
add(P,sqt(sqt(D))) | 70316 | 121849416 | o2(x,o1(o1(x))) | true | 50535 | 50535 | -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_u0_b1 | 15 | 1 | 0 | 1 | ![]() |
sub(P,sqt(sqt(D))) | 70317 | 121849417 | o2(x,o1(o1(x))) | true | 50543 | 50543 | -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_u0_b2 | 15 | 1 | 0 | 2 | ![]() |
mlt(P,sqt(sqt(D))) | 70318 | 121849418 | o2(x,o1(o1(x))) | true | 50551 | 50551 | -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_u0_b3 | 15 | 1 | 0 | 3 | ![]() |
div(P,sqt(sqt(D))) | 70319 | 121849419 | o2(x,o1(o1(x))) | true | 50559 | 50559 | -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_u0_b4 | 15 | 1 | 0 | 4 | ![]() |
pow(P,sqt(sqt(D))) | 70320 | 121849420 | o2(x,o1(o1(x))) | true | 50567 | 50567 | -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_u0_b5 | 15 | 1 | 0 | 5 | ![]() |
mod(P,sqt(sqt(D))) | 70321 | 121849421 | o2(x,o1(o1(x))) | true | 50575 | 50575 | -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_u0_b6 | 15 | 1 | 0 | 6 | ![]() |
lrg(P,sqt(sqt(D))) | 70322 | 121849422 | o2(x,o1(o1(x))) | true | 50583 | 50583 | 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_u0_b7 | 15 | 1 | 0 | 7 | ![]() |
eql(P,sqt(sqt(D))) | 70323 | 121849423 | o2(x,o1(o1(x))) | true | 50591 | 50591 | 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_u0_b8 | 15 | 1 | 0 | 8 | ![]() |
min(P,sqt(sqt(D))) | 70324 | 121849424 | o2(x,o1(o1(x))) | true | 50599 | 50599 | -0.03584 | 0.5 | 0.9017 | 0.867 | 0.9311 | -1 | 1 | 2 | 1 | 2.355 | 0.01277 | 0 | 0.04006 | 1 | 1 | -1.892e-9 | 0.02556 | 0.04551 | 0.01116 | 0.1056 | 2.637 | 0.5788 | 0.01472 | 0.02948 | 1 | 1 | 0.01334 | 0.03911 | 0.2133 | 0.01538 | 0.0451 | 0.246 | json |
| t15_x1_u0_b9 | 15 | 1 | 0 | 9 | ![]() |
dot(P,sqt(sqt(D))) | 70325 | 121849425 | o2(x,o1(o1(x))) | true | 50607 | 50607 | -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_u0_b10 | 15 | 1 | 0 | 10 | ![]() |
dst(P,sqt(sqt(D))) | 70326 | 121849426 | o2(x,o1(o1(x))) | true | 50615 | 50615 | -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_u1_b0 | 15 | 1 | 1 | 0 | ![]() |
add(P,sqt(log(D))) | 70327 | 121849617 | o2(x,o1(o1(x))) | true | 50623 | 50623 | -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_u1_b1 | 15 | 1 | 1 | 1 | ![]() |
sub(P,sqt(log(D))) | 70328 | 121849618 | o2(x,o1(o1(x))) | true | 50631 | 50631 | -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_u1_b2 | 15 | 1 | 1 | 2 | ![]() |
mlt(P,sqt(log(D))) | 70329 | 121849619 | o2(x,o1(o1(x))) | true | 50639 | 50639 | -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_u1_b3 | 15 | 1 | 1 | 3 | ![]() |
div(P,sqt(log(D))) | 70330 | 121849620 | o2(x,o1(o1(x))) | true | 50647 | 50647 | -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_u1_b4 | 15 | 1 | 1 | 4 | ![]() |
pow(P,sqt(log(D))) | 70331 | 121849621 | o2(x,o1(o1(x))) | true | 50655 | 50655 | -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_u1_b5 | 15 | 1 | 1 | 5 | ![]() |
mod(P,sqt(log(D))) | 70332 | 121849622 | o2(x,o1(o1(x))) | true | 50663 | 50663 | -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_u1_b6 | 15 | 1 | 1 | 6 | ![]() |
lrg(P,sqt(log(D))) | 70333 | 121849623 | o2(x,o1(o1(x))) | true | 50671 | 50671 | 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_u1_b7 | 15 | 1 | 1 | 7 | ![]() |
eql(P,sqt(log(D))) | 70334 | 121849624 | o2(x,o1(o1(x))) | true | 50679 | 50679 | 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_u1_b8 | 15 | 1 | 1 | 8 | ![]() |
min(P,sqt(log(D))) | 70335 | 121849625 | o2(x,o1(o1(x))) | true | 50687 | 50687 | 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_u1_b9 | 15 | 1 | 1 | 9 | ![]() |
dot(P,sqt(log(D))) | 70336 | 121849626 | o2(x,o1(o1(x))) | true | 50695 | 50695 | -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_u1_b10 | 15 | 1 | 1 | 10 | ![]() |
dst(P,sqt(log(D))) | 70337 | 121849627 | o2(x,o1(o1(x))) | true | 50703 | 50703 | -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_u2_b0 | 15 | 1 | 2 | 0 | ![]() |
add(P,sqt(frc(D))) | 70338 | 121849818 | o2(x,o1(o1(x))) | true | 50711 | 50711 | 0.08344 | 0.5352 | 0.9375 | 0.9105 | 0.9542 | -1 | 1 | 2 | 1 | 1.891 | 0.007018 | 0 | 0.02074 | 1 | 1 | -4.731e-10 | 0.0129 | 0.01697 | 0.006585 | 0.08115 | 3.912 | 0.8069 | 0.007707 | 0.01416 | 1 | 1 | 0.01006 | 0.0412 | 0.2254 | 0.01105 | 0.04525 | 0.2475 | json |
| t15_x1_u2_b1 | 15 | 1 | 2 | 1 | ![]() |
sub(P,sqt(frc(D))) | 70339 | 121849819 | o2(x,o1(o1(x))) | true | 50719 | 50719 | -0.08344 | 0.457 | 0.9375 | 0.9143 | 0.9562 | -1 | 1 | 2 | 1 | 1.734 | 0.005549 | 0 | 0.01197 | 1 | 1 | -2.838e-9 | 0.01246 | 0.01657 | 0.005407 | 0.07353 | 6.143 | 0.8081 | 0.00607 | 0.01363 | 1 | 1 | 0.006455 | 0.02442 | 0.2304 | 0.00706 | 0.02671 | 0.252 | json |
| t15_x1_u2_b2 | 15 | 1 | 2 | 2 | ![]() |
mlt(P,sqt(frc(D))) | 70340 | 121849820 | o2(x,o1(o1(x))) | true | 50727 | 50727 | -0.001711 | 0.4961 | 0.8847 | 0.8507 | 0.9223 | -1 | 1 | 2 | 1 | 2.449 | 0.01498 | 0 | 0.04108 | 1 | 1 | -1.656e-9 | 0.03578 | 0.05805 | 0.01329 | 0.1153 | 2.807 | 0.8078 | 0.0176 | 0.04206 | 1 | 1 | 0.01599 | 0.03601 | 0.1743 | 0.0188 | 0.04233 | 0.2049 | json |
| t15_x1_u2_b3 | 15 | 1 | 2 | 3 | ![]() |
div(P,sqt(frc(D))) | 70341 | 121849821 | o2(x,o1(o1(x))) | true | 50735 | 50735 | 0.0009562 | 0.5 | 0.9495 | 0.9395 | 0.9693 | -1 | 1 | 2 | 1 | 1.596 | 0.00103 | 0 | 0.007937 | 1 | 1 | 1.419e-9 | 0.0001911 | 0.002685 | 0.0009682 | 0.03112 | 3.921 | 0.2098 | 0.001097 | 0.0002034 | 1 | 1 | 0.002607 | 0.0292 | 0.2553 | 0.002774 | 0.03108 | 0.2718 | json |
| t15_x1_u2_b4 | 15 | 1 | 2 | 4 | ![]() |
pow(P,sqt(frc(D))) | 70342 | 121849822 | o2(x,o1(o1(x))) | true | 50743 | 50743 | -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_u2_b5 | 15 | 1 | 2 | 5 | ![]() |
mod(P,sqt(frc(D))) | 70343 | 121849823 | o2(x,o1(o1(x))) | true | 50751 | 50751 | 0.005339 | 0.4961 | 0.2685 | 0.1045 | 0.3232 | -0.7565 | 0.8043 | 1.561 | 1 | 4.366 | 0.03332 | 0 | 0.1371 | 1 | 1 | -0.000818 | 0.09235 | 0.2051 | 0.01451 | 0.1205 | 0.8783 | 0.6186 | 0.3189 | 0.8839 | 1 | 1 | 0.01667 | 0.03502 | 0.02834 | 0.1596 | 0.3352 | 0.2712 | json |
| t15_x1_u2_b6 | 15 | 1 | 2 | 6 | ![]() |
lrg(P,sqt(frc(D))) | 70344 | 121849824 | o2(x,o1(o1(x))) | true | 50759 | 50759 | 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_u2_b7 | 15 | 1 | 2 | 7 | ![]() |
eql(P,sqt(frc(D))) | 70345 | 121849825 | o2(x,o1(o1(x))) | true | 50767 | 50767 | 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_u2_b8 | 15 | 1 | 2 | 8 | ![]() |
min(P,sqt(frc(D))) | 70346 | 121849826 | o2(x,o1(o1(x))) | true | 50775 | 50775 | -0.1506 | 0.4961 | 0.7869 | 0.677 | 0.8228 | -1 | 0.9843 | 1.984 | 1 | 3.243 | 0.02027 | 0 | 0.0526 | 1 | 1 | 0.0001326 | 0.04409 | 0.05372 | 0.0175 | 0.1323 | 2.515 | 0.8075 | 0.02994 | 0.06513 | 1 | 1 | 0.0196 | 0.05617 | 0.1689 | 0.02895 | 0.08297 | 0.2494 | json |
| t15_x1_u2_b9 | 15 | 1 | 2 | 9 | ![]() |
dot(P,sqt(frc(D))) | 70347 | 121849827 | o2(x,o1(o1(x))) | true | 50783 | 50783 | 0.01533 | 0.5077 | 0.9172 | 0.8895 | 0.9432 | -1 | 1 | 2 | 1 | 2.225 | 0.05503 | 0.05503 | 0.106 | -5.754e-7 | 1 | 0.0009156 | 0.2355 | 0.1467 | 0.09881 | 0.3143 | 2.965 | 2.046 | 0.1237 | 0.2648 | 1 | 1 | 0.09783 | 0.2476 | 0.2903 | 0.11 | 0.2783 | 0.3263 | json |
| t15_x1_u2_b10 | 15 | 1 | 2 | 10 | ![]() |
dst(P,sqt(frc(D))) | 70348 | 121849828 | o2(x,o1(o1(x))) | true | 50791 | 50791 | 0.9972 | 1 | 0.9972 | 0.001219 | 0.03491 | 0.02283 | 1 | 0.9772 | 1 | 0.09467 | 0.0002295 | 0.0002295 | 0.001285 | 1.268e-7 | 1 | 2.253e-11 | 0.001075 | 0.001862 | 0.0004574 | 0.02139 | 16.64 | 1.133 | 0.3766 | 0.8818 | 1 | 1 | 0.0007293 | 0.00174 | 0.004453 | 0.5984 | 1.428 | 3.654 | json |
| t15_x1_u3_b0 | 15 | 1 | 3 | 0 | ![]() |
add(P,sqt(flr(D))) | 70349 | 121850019 | o2(x,o1(o1(x))) | true | 50799 | 50799 | -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_u3_b1 | 15 | 1 | 3 | 1 | ![]() |
sub(P,sqt(flr(D))) | 70350 | 121850020 | o2(x,o1(o1(x))) | true | 50807 | 50807 | -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_u3_b2 | 15 | 1 | 3 | 2 | ![]() |
mlt(P,sqt(flr(D))) | 70351 | 121850021 | o2(x,o1(o1(x))) | true | 50815 | 50815 | -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_u3_b3 | 15 | 1 | 3 | 3 | ![]() |
div(P,sqt(flr(D))) | 70352 | 121850022 | o2(x,o1(o1(x))) | true | 50823 | 50823 | -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_u3_b4 | 15 | 1 | 3 | 4 | ![]() |
pow(P,sqt(flr(D))) | 70353 | 121850023 | o2(x,o1(o1(x))) | true | 50831 | 50831 | -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_u3_b5 | 15 | 1 | 3 | 5 | ![]() |
mod(P,sqt(flr(D))) | 70354 | 121850024 | o2(x,o1(o1(x))) | true | 50839 | 50839 | -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_u3_b6 | 15 | 1 | 3 | 6 | ![]() |
lrg(P,sqt(flr(D))) | 70355 | 121850025 | o2(x,o1(o1(x))) | true | 50847 | 50847 | 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_u3_b7 | 15 | 1 | 3 | 7 | ![]() |
eql(P,sqt(flr(D))) | 70356 | 121850026 | o2(x,o1(o1(x))) | true | 50855 | 50855 | 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_u3_b8 | 15 | 1 | 3 | 8 | ![]() |
min(P,sqt(flr(D))) | 70357 | 121850027 | o2(x,o1(o1(x))) | true | 50863 | 50863 | -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_u3_b9 | 15 | 1 | 3 | 9 | ![]() |
dot(P,sqt(flr(D))) | 70358 | 121850028 | o2(x,o1(o1(x))) | true | 50871 | 50871 | -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_u3_b10 | 15 | 1 | 3 | 10 | ![]() |
dst(P,sqt(flr(D))) | 70359 | 121850029 | o2(x,o1(o1(x))) | true | 50879 | 50879 | -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_u4_b0 | 15 | 1 | 4 | 0 | ![]() |
add(P,sqt(cil(D))) | 70360 | 121850220 | o2(x,o1(o1(x))) | true | 50887 | 50887 | 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_u4_b1 | 15 | 1 | 4 | 1 | ![]() |
sub(P,sqt(cil(D))) | 70361 | 121850221 | o2(x,o1(o1(x))) | true | 50895 | 50895 | -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_u4_b2 | 15 | 1 | 4 | 2 | ![]() |
mlt(P,sqt(cil(D))) | 70362 | 121850222 | o2(x,o1(o1(x))) | true | 50903 | 50903 | -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_u4_b3 | 15 | 1 | 4 | 3 | ![]() |
div(P,sqt(cil(D))) | 70363 | 121850223 | o2(x,o1(o1(x))) | true | 50911 | 50911 | -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_u4_b4 | 15 | 1 | 4 | 4 | ![]() |
pow(P,sqt(cil(D))) | 70364 | 121850224 | o2(x,o1(o1(x))) | true | 50919 | 50919 | -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_u4_b5 | 15 | 1 | 4 | 5 | ![]() |
mod(P,sqt(cil(D))) | 70365 | 121850225 | o2(x,o1(o1(x))) | true | 50927 | 50927 | -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_u4_b6 | 15 | 1 | 4 | 6 | ![]() |
lrg(P,sqt(cil(D))) | 70366 | 121850226 | o2(x,o1(o1(x))) | true | 50935 | 50935 | 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_u4_b7 | 15 | 1 | 4 | 7 | ![]() |
eql(P,sqt(cil(D))) | 70367 | 121850227 | o2(x,o1(o1(x))) | true | 50943 | 50943 | 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_u4_b8 | 15 | 1 | 4 | 8 | ![]() |
min(P,sqt(cil(D))) | 70368 | 121850228 | o2(x,o1(o1(x))) | true | 50951 | 50951 | -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_u4_b9 | 15 | 1 | 4 | 9 | ![]() |
dot(P,sqt(cil(D))) | 70369 | 121850229 | o2(x,o1(o1(x))) | true | 50959 | 50959 | -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_u4_b10 | 15 | 1 | 4 | 10 | ![]() |
dst(P,sqt(cil(D))) | 70370 | 121850230 | o2(x,o1(o1(x))) | true | 50967 | 50967 | 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_u5_b0 | 15 | 1 | 5 | 0 | ![]() |
add(P,sqt(sgn(D))) | 70371 | 121850421 | o2(x,o1(o1(x))) | true | 50975 | 50975 | -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_u5_b1 | 15 | 1 | 5 | 1 | ![]() |
sub(P,sqt(sgn(D))) | 70372 | 121850422 | o2(x,o1(o1(x))) | true | 50983 | 50983 | -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_u5_b2 | 15 | 1 | 5 | 2 | ![]() |
mlt(P,sqt(sgn(D))) | 70373 | 121850423 | o2(x,o1(o1(x))) | true | 50991 | 50991 | -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_u5_b3 | 15 | 1 | 5 | 3 | ![]() |
div(P,sqt(sgn(D))) | 70374 | 121850424 | o2(x,o1(o1(x))) | true | 50999 | 50999 | -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_u5_b4 | 15 | 1 | 5 | 4 | ![]() |
pow(P,sqt(sgn(D))) | 70375 | 121850425 | o2(x,o1(o1(x))) | true | 51007 | 51007 | -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_u5_b5 | 15 | 1 | 5 | 5 | ![]() |
mod(P,sqt(sgn(D))) | 70376 | 121850426 | o2(x,o1(o1(x))) | true | 51015 | 51015 | -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_u5_b6 | 15 | 1 | 5 | 6 | ![]() |
lrg(P,sqt(sgn(D))) | 70377 | 121850427 | o2(x,o1(o1(x))) | true | 51023 | 51023 | 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_u5_b7 | 15 | 1 | 5 | 7 | ![]() |
eql(P,sqt(sgn(D))) | 70378 | 121850428 | o2(x,o1(o1(x))) | true | 51031 | 51031 | 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_u5_b8 | 15 | 1 | 5 | 8 | ![]() |
min(P,sqt(sgn(D))) | 70379 | 121850429 | o2(x,o1(o1(x))) | true | 51039 | 51039 | 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_u5_b9 | 15 | 1 | 5 | 9 | ![]() |
dot(P,sqt(sgn(D))) | 70380 | 121850430 | o2(x,o1(o1(x))) | true | 51047 | 51047 | -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_u5_b10 | 15 | 1 | 5 | 10 | ![]() |
dst(P,sqt(sgn(D))) | 70381 | 121850431 | o2(x,o1(o1(x))) | true | 51055 | 51055 | -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_u6_b0 | 15 | 1 | 6 | 0 | ![]() |
add(P,sqt(nrm(D))) | 70382 | 121850622 | o2(x,o1(o1(x))) | true | 51063 | 51063 | -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_u6_b1 | 15 | 1 | 6 | 1 | ![]() |
sub(P,sqt(nrm(D))) | 70383 | 121850623 | o2(x,o1(o1(x))) | true | 51071 | 51071 | -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_u6_b2 | 15 | 1 | 6 | 2 | ![]() |
mlt(P,sqt(nrm(D))) | 70384 | 121850624 | o2(x,o1(o1(x))) | true | 51079 | 51079 | -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_u6_b3 | 15 | 1 | 6 | 3 | ![]() |
div(P,sqt(nrm(D))) | 70385 | 121850625 | o2(x,o1(o1(x))) | true | 51087 | 51087 | -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_u6_b4 | 15 | 1 | 6 | 4 | ![]() |
pow(P,sqt(nrm(D))) | 70386 | 121850626 | o2(x,o1(o1(x))) | true | 51095 | 51095 | -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_u6_b5 | 15 | 1 | 6 | 5 | ![]() |
mod(P,sqt(nrm(D))) | 70387 | 121850627 | o2(x,o1(o1(x))) | true | 51103 | 51103 | -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_u6_b6 | 15 | 1 | 6 | 6 | ![]() |
lrg(P,sqt(nrm(D))) | 70388 | 121850628 | o2(x,o1(o1(x))) | true | 51111 | 51111 | 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_u6_b7 | 15 | 1 | 6 | 7 | ![]() |
eql(P,sqt(nrm(D))) | 70389 | 121850629 | o2(x,o1(o1(x))) | true | 51119 | 51119 | 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_u6_b8 | 15 | 1 | 6 | 8 | ![]() |
min(P,sqt(nrm(D))) | 70390 | 121850630 | o2(x,o1(o1(x))) | true | 51127 | 51127 | -0.03087 | 0.5 | 0.9066 | 0.8767 | 0.9363 | -1 | 1 | 2 | 1 | 2.295 | 0.01497 | 0.0006134 | 0.04239 | 0.9213 | 1 | 0.00006724 | 0.03382 | 0.04949 | 0.01378 | 0.1174 | 2.769 | 0.7482 | 0.01778 | 0.03858 | 1 | 1 | 0.01544 | 0.04352 | 0.2173 | 0.01762 | 0.04964 | 0.2479 | json |
| t15_x1_u6_b9 | 15 | 1 | 6 | 9 | ![]() |
dot(P,sqt(nrm(D))) | 70391 | 121850631 | o2(x,o1(o1(x))) | true | 51135 | 51135 | -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_u6_b10 | 15 | 1 | 6 | 10 | ![]() |
dst(P,sqt(nrm(D))) | 70392 | 121850632 | o2(x,o1(o1(x))) | true | 51143 | 51143 | -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_u7_b0 | 15 | 1 | 7 | 0 | ![]() |
add(P,log(sqt(D))) | 70393 | 121850823 | o2(x,o1(o1(x))) | true | 51151 | 51151 | -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_u7_b1 | 15 | 1 | 7 | 1 | ![]() |
sub(P,log(sqt(D))) | 70394 | 121850824 | o2(x,o1(o1(x))) | true | 51159 | 51159 | -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_u7_b2 | 15 | 1 | 7 | 2 | ![]() |
mlt(P,log(sqt(D))) | 70395 | 121850825 | o2(x,o1(o1(x))) | true | 51167 | 51167 | -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_u7_b3 | 15 | 1 | 7 | 3 | ![]() |
div(P,log(sqt(D))) | 70396 | 121850826 | o2(x,o1(o1(x))) | true | 51175 | 51175 | -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_u7_b4 | 15 | 1 | 7 | 4 | ![]() |
pow(P,log(sqt(D))) | 70397 | 121850827 | o2(x,o1(o1(x))) | true | 51183 | 51183 | -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_u7_b5 | 15 | 1 | 7 | 5 | ![]() |
mod(P,log(sqt(D))) | 70398 | 121850828 | o2(x,o1(o1(x))) | true | 51191 | 51191 | -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_u7_b6 | 15 | 1 | 7 | 6 | ![]() |
lrg(P,log(sqt(D))) | 70399 | 121850829 | o2(x,o1(o1(x))) | true | 51199 | 51199 | 0.7578 | 1 | 0.7578 | 0.1294 | 0.3598 | 0.000291 | 1 | 0.9997 | 1 | 2.308 | 0.03033 | 0 | 0.05915 | 1 | 1 | -0.00008984 | 0.05615 | 0.06262 | 0.02684 | 0.1638 | 2.77 | 0.9994 | 0.2344 | 0.4338 | 1 | 1 | 0.03101 | 0.1094 | 0.03299 | 0.2396 | 0.8455 | 0.2549 | json |



































































































