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_x3_u0_b6 | 15 | 3 | 0 | 6 | ![]() |
lrg(D,sqt(sqt(P))) | 71400 | 121930224 | o2(x,o1(o1(x))) | true | 59207 | 59207 | 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_x3_u0_b7 | 15 | 3 | 0 | 7 | ![]() |
eql(D,sqt(sqt(P))) | 71401 | 121930225 | o2(x,o1(o1(x))) | true | 59215 | 59215 | 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_x3_u0_b8 | 15 | 3 | 0 | 8 | ![]() |
min(D,sqt(sqt(P))) | 71402 | 121930226 | o2(x,o1(o1(x))) | true | 59223 | 59223 | -0.008939 | 0.4688 | 0.0974 | 0.01192 | 0.1092 | -0.2729 | 0.1454 | 0.4183 | 1 | 2.704 | 0.00162 | 0 | 0.03595 | 1 | 1 | -1.774e-10 | 0.0002558 | 0.01449 | 0.000328 | 0.01811 | 0.5038 | 0.0622 | 0.1359 | 0.02146 | 1 | 1 | 0.003117 | 0.02204 | 0.0025 | 0.2615 | 1.848 | 0.2097 | json |
| t15_x3_u0_b9 | 15 | 3 | 0 | 9 | ![]() |
dot(D,sqt(sqt(P))) | 71403 | 121930227 | o2(x,o1(o1(x))) | true | 59231 | 59231 | -0.765 | 0.0948 | 0.795 | 0.1769 | 0.4206 | -1 | 0.4667 | 1.467 | 1 | 1.752 | 0.002691 | 0.002691 | 0.02252 | 0.00001726 | 1 | 0.0002701 | 0.007997 | 0.01394 | 0.004876 | 0.06983 | 3.101 | 1.233 | 0.03042 | 0.0452 | 1 | 1 | 0.007647 | 0.03639 | 0.06905 | 0.04322 | 0.2057 | 0.3903 | json |
| t15_x3_u0_b10 | 15 | 3 | 0 | 10 | ![]() |
dst(D,sqt(sqt(P))) | 71404 | 121930228 | o2(x,o1(o1(x))) | true | 59239 | 59239 | -0.5003 | 0.25 | 0.9997 | 0.7492 | 0.8656 | -1 | 1 | 2 | 1 | 0.8239 | 0.007681 | 0.007681 | 0.007917 | 0 | 1 | -2.027e-10 | 0.03071 | 0.01562 | 0.0153 | 0.1237 | 15.62 | 2 | 0.02051 | 0.04099 | 1 | 1 | 0.02021 | 0.08254 | 0.335 | 0.02697 | 0.1102 | 0.4472 | json |
| t15_x3_u1_b0 | 15 | 3 | 1 | 0 | ![]() |
add(D,sqt(log(P))) | 71405 | 121930419 | o2(x,o1(o1(x))) | true | 59247 | 59247 | -0.1653 | 0.4375 | 0.9597 | 0.9168 | 0.9575 | -1 | 1 | 2 | 1 | 1.646 | 0.004448 | 0 | 0.00892 | 1 | 1 | 4.73e-9 | 0.007969 | 0.008924 | 0.004368 | 0.06609 | 7.409 | 1.031 | 0.004852 | 0.008692 | 1 | 1 | 0.006515 | 0.03806 | 0.2618 | 0.007106 | 0.04151 | 0.2855 | json |
| t15_x3_u1_b1 | 15 | 3 | 1 | 1 | ![]() |
sub(D,sqt(log(P))) | 71406 | 121930420 | o2(x,o1(o1(x))) | true | 59255 | 59255 | -0.9551 | 0.01953 | 0.9576 | 0.03158 | 0.1777 | -1 | 0.1017 | 1.102 | 1 | 0.816 | 0.004854 | 0 | 0.01128 | 1 | 1 | 2.838e-9 | 0.008133 | 0.01113 | 0.004724 | 0.06873 | 6.096 | 1.031 | 0.1537 | 0.2575 | 1 | 1 | 0.007481 | 0.03466 | 0.04348 | 0.2369 | 1.098 | 1.377 | json |
| t15_x3_u1_b2 | 15 | 3 | 1 | 2 | ![]() |
mlt(D,sqt(log(P))) | 71407 | 121930421 | o2(x,o1(o1(x))) | true | 59263 | 59263 | -0.5754 | 0.1797 | 0.6136 | 0.2391 | 0.489 | -1 | 0.2002 | 1.2 | 1 | 2.254 | 0.004962 | 0 | 0.02233 | 1 | 1 | 0.0002316 | 0.008126 | 0.01513 | 0.004464 | 0.06681 | 2.992 | 0.9998 | 0.02075 | 0.03398 | 1 | 1 | 0.006843 | 0.03008 | 0.07378 | 0.02862 | 0.1258 | 0.3085 | json |
| t15_x3_u1_b3 | 15 | 3 | 1 | 3 | ![]() |
div(D,sqt(log(P))) | 71408 | 121930422 | o2(x,o1(o1(x))) | true | 59271 | 59271 | -0.6204 | 0.1953 | 0.6548 | 0.2432 | 0.4932 | -1 | 0.1954 | 1.195 | 1 | 1.821 | 0.004702 | 0 | 0.01534 | 1 | 1 | 0.000108 | 0.008063 | 0.01249 | 0.004465 | 0.06682 | 4.356 | 1.037 | 0.01933 | 0.03315 | 1 | 1 | 0.006874 | 0.0327 | 0.08952 | 0.02827 | 0.1345 | 0.3681 | json |
| t15_x3_u1_b4 | 15 | 3 | 1 | 4 | ![]() |
pow(D,sqt(log(P))) | 71409 | 121930423 | o2(x,o1(o1(x))) | true | 59279 | 59279 | -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_x3_u1_b5 | 15 | 3 | 1 | 5 | ![]() |
mod(D,sqt(log(P))) | 71410 | 121930424 | o2(x,o1(o1(x))) | true | 59287 | 59287 | -0.6251 | 0.1875 | 0.6605 | 0.2384 | 0.4882 | -1 | 0.1454 | 1.145 | 1 | 1.915 | 0.004828 | 0 | 0.01752 | 1 | 1 | 0.0001582 | 0.0081 | 0.01341 | 0.004521 | 0.06724 | 3.838 | 1.031 | 0.02026 | 0.03398 | 1 | 1 | 0.006954 | 0.03261 | 0.08498 | 0.02917 | 0.1368 | 0.3565 | json |
| t15_x3_u1_b6 | 15 | 3 | 1 | 6 | ![]() |
lrg(D,sqt(log(P))) | 71411 | 121930425 | o2(x,o1(o1(x))) | true | 59295 | 59295 | 0.5626 | 0.6367 | 0.5626 | 0.2324 | 0.4821 | 0 | 1 | 1 | 1 | 1.565 | 0.004675 | 0 | 0.01214 | 1 | 1 | -4.731e-10 | 0.008084 | 0.0102 | 0.00453 | 0.06731 | 5.546 | 0.9994 | 0.02012 | 0.03478 | 1 | 1 | 0.007041 | 0.03244 | 0.06598 | 0.0303 | 0.1396 | 0.2839 | json |
| t15_x3_u1_b7 | 15 | 3 | 1 | 7 | ![]() |
eql(D,sqt(log(P))) | 71412 | 121930426 | o2(x,o1(o1(x))) | true | 59303 | 59303 | 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_x3_u1_b8 | 15 | 3 | 1 | 8 | ![]() |
min(D,sqt(log(P))) | 71413 | 121930427 | o2(x,o1(o1(x))) | true | 59311 | 59311 | -0.008942 | 0.4688 | 0.09741 | 0.01192 | 0.1092 | -0.2729 | 0.1454 | 0.4183 | 1 | 2.704 | 0.00162 | 0 | 0.03595 | 1 | 1 | -8.87e-11 | 0.0002558 | 0.01449 | 0.0003281 | 0.01811 | 0.5039 | 0.0622 | 0.1359 | 0.02146 | 1 | 1 | 0.003118 | 0.02204 | 0.0025 | 0.2615 | 1.849 | 0.2097 | json |
| t15_x3_u1_b9 | 15 | 3 | 1 | 9 | ![]() |
dot(D,sqt(log(P))) | 71414 | 121930428 | o2(x,o1(o1(x))) | true | 59319 | 59319 | -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_x3_u1_b10 | 15 | 3 | 1 | 10 | ![]() |
dst(D,sqt(log(P))) | 71415 | 121930429 | o2(x,o1(o1(x))) | true | 59327 | 59327 | -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_x3_u2_b0 | 15 | 3 | 2 | 0 | ![]() |
add(D,sqt(frc(P))) | 71416 | 121930620 | o2(x,o1(o1(x))) | true | 59335 | 59335 | 0 | 0.5 | 0.09436 | 0.01082 | 0.104 | -0.1454 | 0.1454 | 0.2908 | 1 | 2.561 | 0.001632 | 0 | 0.03609 | 1 | 1 | 0 | 0.0002563 | 0.01459 | 0.0003304 | 0.01818 | 0.5036 | 0.06192 | 0.1508 | 0.02368 | 1 | 1 | 0.003151 | 0.02183 | 5.236e-15 | 0.2912 | 2.017 | 4.838e-13 | json |
| t15_x3_u2_b1 | 15 | 3 | 2 | 1 | ![]() |
sub(D,sqt(frc(P))) | 71417 | 121930621 | o2(x,o1(o1(x))) | true | 59343 | 59343 | 0 | 0.5 | 0.09436 | 0.01082 | 0.104 | -0.1454 | 0.1454 | 0.2908 | 1 | 2.561 | 0.001632 | 0 | 0.03609 | 1 | 1 | 0 | 0.0002563 | 0.01459 | 0.0003304 | 0.01818 | 0.5036 | 0.06192 | 0.1508 | 0.02368 | 1 | 1 | 0.003151 | 0.02183 | 5.236e-15 | 0.2912 | 2.017 | 4.838e-13 | json |
| t15_x3_u2_b2 | 15 | 3 | 2 | 2 | ![]() |
mlt(D,sqt(frc(P))) | 71418 | 121930622 | o2(x,o1(o1(x))) | true | 59351 | 59351 | 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_x3_u2_b3 | 15 | 3 | 2 | 3 | ![]() |
div(D,sqt(frc(P))) | 71419 | 121930623 | o2(x,o1(o1(x))) | true | 59359 | 59359 | 0 | 0.5 | 1 | 1 | 1 | -1 | 1 | 2 | 1 | 1 | 0.4921 | 0 | 0.246 | 1 | 1 | 0 | 0.9841 | 0.4921 | 0.4315 | 0.6569 | 2.67 | 2 | 0.4921 | 0.9841 | 1 | 1 | 0.4947 | 2 | 0 | 0.4947 | 2 | 0 | json |
| t15_x3_u2_b4 | 15 | 3 | 2 | 4 | ![]() |
pow(D,sqt(frc(P))) | 71420 | 121930624 | o2(x,o1(o1(x))) | true | 59367 | 59367 | 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_x3_u2_b5 | 15 | 3 | 2 | 5 | ![]() |
mod(D,sqt(frc(P))) | 71421 | 121930625 | o2(x,o1(o1(x))) | true | 59375 | 59375 | 0 | 0.5 | 0.09436 | 0.01082 | 0.104 | -0.1454 | 0.1454 | 0.2908 | 1 | 2.561 | 0.001632 | 0 | 0.03609 | 1 | 1 | 0 | 0.0002563 | 0.01459 | 0.0003304 | 0.01818 | 0.5036 | 0.06192 | 0.1508 | 0.02368 | 1 | 1 | 0.003151 | 0.02183 | 5.236e-15 | 0.2912 | 2.017 | 4.838e-13 | json |
| t15_x3_u2_b6 | 15 | 3 | 2 | 6 | ![]() |
lrg(D,sqt(frc(P))) | 71422 | 121930626 | o2(x,o1(o1(x))) | true | 59383 | 59383 | 0.5 | 1 | 0.5 | 0.1418 | 0.3765 | 0.000291 | 0.9997 | 0.9994 | 1 | 3.406 | 0.06511 | 0 | 0.1228 | 1 | 1 | 0 | 0.1208 | 0.1337 | 0.05001 | 0.2236 | 1.821 | 0.9994 | 0.4593 | 0.8522 | 1 | 1 | 0.07073 | 0.2419 | 0 | 0.4989 | 1.706 | 0 | json |
| t15_x3_u2_b7 | 15 | 3 | 2 | 7 | ![]() |
eql(D,sqt(frc(P))) | 71423 | 121930627 | o2(x,o1(o1(x))) | true | 59391 | 59391 | 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_x3_u2_b8 | 15 | 3 | 2 | 8 | ![]() |
min(D,sqt(frc(P))) | 71424 | 121930628 | o2(x,o1(o1(x))) | true | 59399 | 59399 | -0.143 | 0 | 0.143 | 0.009237 | 0.09611 | -0.2729 | -0.000282 | 0.2726 | 1 | 2.227 | 0.001451 | 0 | 0.03416 | 1 | 1 | 0.0003063 | 0.0002653 | 0.01361 | 0.0002853 | 0.01689 | 0.4945 | 0.06184 | 0.1571 | 0.02873 | 1 | 1 | 0.002788 | 0.01827 | 0 | 0.3018 | 1.978 | 0 | json |
| t15_x3_u2_b9 | 15 | 3 | 2 | 9 | ![]() |
dot(D,sqt(frc(P))) | 71425 | 121930629 | o2(x,o1(o1(x))) | true | 59407 | 59407 | 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_x3_u2_b10 | 15 | 3 | 2 | 10 | ![]() |
dst(D,sqt(frc(P))) | 71426 | 121930630 | o2(x,o1(o1(x))) | true | 59415 | 59415 | 0.4439 | 1 | 0.4439 | 0.02504 | 0.1582 | 0.04473 | 0.7026 | 0.6579 | 1 | 3.252 | 0.001981 | 0.001981 | 0.05914 | 2.938e-7 | 1 | -0.0006857 | 0.0006739 | 0.01958 | 0.000465 | 0.02156 | 0.3646 | 0.09377 | 0.1583 | 0.02692 | 1 | 1 | 0.007608 | 0.05068 | 0 | 0.3039 | 2.024 | 0 | json |
| t15_x3_u3_b0 | 15 | 3 | 3 | 0 | ![]() |
add(D,sqt(flr(P))) | 71427 | 121930821 | o2(x,o1(o1(x))) | true | 59423 | 59423 | -0.03125 | 0.5 | 0.9688 | 0.9567 | 0.9781 | -1 | 1 | 2 | 1 | 1.49 | 0.004457 | 0 | 0.007937 | 1 | 1 | 0 | 0.007952 | 0.008185 | 0.004392 | 0.06627 | 8.351 | 1.031 | 0.004658 | 0.008312 | 1 | 1 | 0.006548 | 0.04034 | 0.2807 | 0.006845 | 0.04216 | 0.2934 | json |
| t15_x3_u3_b1 | 15 | 3 | 3 | 1 | ![]() |
sub(D,sqt(flr(P))) | 71428 | 121930822 | o2(x,o1(o1(x))) | true | 59431 | 59431 | -0.9659 | 0.01953 | 0.9681 | 0.02845 | 0.1687 | -1 | 0.09672 | 1.097 | 1 | 0.479 | 0.004872 | 0 | 0.009617 | 1 | 1 | -1.419e-9 | 0.008151 | 0.01043 | 0.004779 | 0.06913 | 7.188 | 1.031 | 0.1713 | 0.2865 | 1 | 1 | 0.007519 | 0.03534 | 0.03987 | 0.2643 | 1.242 | 1.401 | json |
| t15_x3_u3_b2 | 15 | 3 | 3 | 2 | ![]() |
mlt(D,sqt(flr(P))) | 71429 | 121930823 | o2(x,o1(o1(x))) | true | 59439 | 59439 | -0.5253 | 0.1992 | 0.5948 | 0.2481 | 0.4981 | -1 | 0.3743 | 1.374 | 1 | 2.799 | 0.007228 | 0 | 0.0386 | 1 | 1 | 0.0004609 | 0.00849 | 0.02163 | 0.00574 | 0.07576 | 1.962 | 0.9997 | 0.02913 | 0.03422 | 1 | 1 | 0.01021 | 0.05455 | 0.07097 | 0.04115 | 0.2199 | 0.286 | json |
| t15_x3_u3_b3 | 15 | 3 | 3 | 3 | ![]() |
div(D,sqt(flr(P))) | 71430 | 121930824 | o2(x,o1(o1(x))) | true | 59447 | 59447 | -0.5567 | 0.2383 | 0.5849 | 0.2541 | 0.5041 | -1 | 0.1714 | 1.171 | 1 | 1.84 | 0.004439 | 0 | 0.01249 | 1 | 1 | 0.00005412 | 0.008014 | 0.01132 | 0.004282 | 0.06544 | 5.239 | 1.031 | 0.01747 | 0.03154 | 1 | 1 | 0.00639 | 0.02954 | 0.09007 | 0.02515 | 0.1162 | 0.3544 | json |
| t15_x3_u3_b4 | 15 | 3 | 3 | 4 | ![]() |
pow(D,sqt(flr(P))) | 71431 | 121930825 | o2(x,o1(o1(x))) | true | 59455 | 59455 | -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_x3_u3_b5 | 15 | 3 | 3 | 5 | ![]() |
mod(D,sqt(flr(P))) | 71432 | 121930826 | o2(x,o1(o1(x))) | true | 59463 | 59463 | -0.5625 | 0.2188 | 0.6038 | 0.2508 | 0.5008 | -1 | 0.1454 | 1.145 | 1 | 2.109 | 0.004924 | 0 | 0.01978 | 1 | 1 | 0.0001582 | 0.008104 | 0.01431 | 0.004534 | 0.06734 | 3.404 | 1.031 | 0.01964 | 0.03231 | 1 | 1 | 0.007206 | 0.03435 | 0.08512 | 0.02873 | 0.137 | 0.3394 | json |
| t15_x3_u3_b6 | 15 | 3 | 3 | 6 | ![]() |
lrg(D,sqt(flr(P))) | 71433 | 121930827 | o2(x,o1(o1(x))) | true | 59471 | 59471 | 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_x3_u3_b7 | 15 | 3 | 3 | 7 | ![]() |
eql(D,sqt(flr(P))) | 71434 | 121930828 | o2(x,o1(o1(x))) | true | 59479 | 59479 | 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_x3_u3_b8 | 15 | 3 | 3 | 8 | ![]() |
min(D,sqt(flr(P))) | 71435 | 121930829 | o2(x,o1(o1(x))) | true | 59487 | 59487 | -0.008939 | 0.4688 | 0.0974 | 0.01192 | 0.1092 | -0.2729 | 0.1454 | 0.4183 | 1 | 2.704 | 0.00162 | 0 | 0.03595 | 1 | 1 | -1.774e-10 | 0.0002558 | 0.01449 | 0.000328 | 0.01811 | 0.5038 | 0.0622 | 0.1359 | 0.02146 | 1 | 1 | 0.003117 | 0.02204 | 0.0025 | 0.2615 | 1.848 | 0.2097 | json |
| t15_x3_u3_b9 | 15 | 3 | 3 | 9 | ![]() |
dot(D,sqt(flr(P))) | 71436 | 121930830 | o2(x,o1(o1(x))) | true | 59495 | 59495 | -0.7753 | 0.09178 | 0.815 | 0.1742 | 0.4173 | -1 | 0.7485 | 1.749 | 1 | 1.884 | 0.003516 | 0.003516 | 0.03034 | 0.000004138 | 1 | 0.0004609 | 0.008174 | 0.01666 | 0.006111 | 0.07817 | 2.577 | 1.374 | 0.04038 | 0.04693 | 1 | 1 | 0.009804 | 0.05315 | 0.06541 | 0.05629 | 0.3051 | 0.3756 | json |
| t15_x3_u3_b10 | 15 | 3 | 3 | 10 | ![]() |
dst(D,sqt(flr(P))) | 71437 | 121930831 | o2(x,o1(o1(x))) | true | 59503 | 59503 | -0.5003 | 0.25 | 0.9997 | 0.7492 | 0.8656 | -1 | 1 | 2 | 1 | 0.8233 | 0.007689 | 0.007689 | 0.007915 | -1.817e-7 | 1 | 9.761e-11 | 0.03074 | 0.01562 | 0.01531 | 0.1237 | 15.63 | 2 | 0.02052 | 0.04103 | 1 | 1 | 0.02023 | 0.08257 | 0.3351 | 0.027 | 0.1102 | 0.4472 | json |
| t15_x3_u4_b0 | 15 | 3 | 4 | 0 | ![]() |
add(D,sqt(cil(P))) | 71438 | 121931022 | o2(x,o1(o1(x))) | true | 59511 | 59511 | -0.03125 | 0.5 | 0.9688 | 0.9567 | 0.9781 | -1 | 1 | 2 | 1 | 1.49 | 0.004457 | 0 | 0.007937 | 1 | 1 | 0 | 0.007952 | 0.008185 | 0.004392 | 0.06627 | 8.351 | 1.031 | 0.004658 | 0.008312 | 1 | 1 | 0.006548 | 0.04034 | 0.2807 | 0.006845 | 0.04216 | 0.2934 | json |
| t15_x3_u4_b1 | 15 | 3 | 4 | 1 | ![]() |
sub(D,sqt(cil(P))) | 71439 | 121931023 | o2(x,o1(o1(x))) | true | 59519 | 59519 | -0.9659 | 0.01953 | 0.9681 | 0.02845 | 0.1687 | -1 | 0.09672 | 1.097 | 1 | 0.479 | 0.004872 | 0 | 0.009617 | 1 | 1 | -1.419e-9 | 0.008151 | 0.01043 | 0.004779 | 0.06913 | 7.188 | 1.031 | 0.1713 | 0.2865 | 1 | 1 | 0.007519 | 0.03534 | 0.03987 | 0.2643 | 1.242 | 1.401 | json |
| t15_x3_u4_b2 | 15 | 3 | 4 | 2 | ![]() |
mlt(D,sqt(cil(P))) | 71440 | 121931024 | o2(x,o1(o1(x))) | true | 59527 | 59527 | -0.5253 | 0.1992 | 0.5948 | 0.2481 | 0.4981 | -1 | 0.3743 | 1.374 | 1 | 2.799 | 0.007228 | 0 | 0.0386 | 1 | 1 | 0.0004609 | 0.00849 | 0.02163 | 0.00574 | 0.07576 | 1.962 | 0.9997 | 0.02913 | 0.03422 | 1 | 1 | 0.01021 | 0.05455 | 0.07097 | 0.04115 | 0.2199 | 0.286 | json |
| t15_x3_u4_b3 | 15 | 3 | 4 | 3 | ![]() |
div(D,sqt(cil(P))) | 71441 | 121931025 | o2(x,o1(o1(x))) | true | 59535 | 59535 | -0.5567 | 0.2383 | 0.5849 | 0.2541 | 0.5041 | -1 | 0.1714 | 1.171 | 1 | 1.84 | 0.004439 | 0 | 0.01249 | 1 | 1 | 0.00005412 | 0.008014 | 0.01132 | 0.004282 | 0.06544 | 5.239 | 1.031 | 0.01747 | 0.03154 | 1 | 1 | 0.00639 | 0.02954 | 0.09007 | 0.02515 | 0.1162 | 0.3544 | json |
| t15_x3_u4_b4 | 15 | 3 | 4 | 4 | ![]() |
pow(D,sqt(cil(P))) | 71442 | 121931026 | o2(x,o1(o1(x))) | true | 59543 | 59543 | -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_x3_u4_b5 | 15 | 3 | 4 | 5 | ![]() |
mod(D,sqt(cil(P))) | 71443 | 121931027 | o2(x,o1(o1(x))) | true | 59551 | 59551 | -0.5625 | 0.2188 | 0.6038 | 0.2508 | 0.5008 | -1 | 0.1454 | 1.145 | 1 | 2.109 | 0.004924 | 0 | 0.01978 | 1 | 1 | 0.0001582 | 0.008104 | 0.01431 | 0.004534 | 0.06734 | 3.404 | 1.031 | 0.01964 | 0.03231 | 1 | 1 | 0.007206 | 0.03435 | 0.08512 | 0.02873 | 0.137 | 0.3394 | json |
| t15_x3_u4_b6 | 15 | 3 | 4 | 6 | ![]() |
lrg(D,sqt(cil(P))) | 71444 | 121931028 | o2(x,o1(o1(x))) | true | 59559 | 59559 | 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_x3_u4_b7 | 15 | 3 | 4 | 7 | ![]() |
eql(D,sqt(cil(P))) | 71445 | 121931029 | o2(x,o1(o1(x))) | true | 59567 | 59567 | 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_x3_u4_b8 | 15 | 3 | 4 | 8 | ![]() |
min(D,sqt(cil(P))) | 71446 | 121931030 | o2(x,o1(o1(x))) | true | 59575 | 59575 | -0.008939 | 0.4688 | 0.0974 | 0.01192 | 0.1092 | -0.2729 | 0.1454 | 0.4183 | 1 | 2.704 | 0.00162 | 0 | 0.03595 | 1 | 1 | -1.774e-10 | 0.0002558 | 0.01449 | 0.000328 | 0.01811 | 0.5038 | 0.0622 | 0.1359 | 0.02146 | 1 | 1 | 0.003117 | 0.02204 | 0.0025 | 0.2615 | 1.848 | 0.2097 | json |
| t15_x3_u4_b9 | 15 | 3 | 4 | 9 | ![]() |
dot(D,sqt(cil(P))) | 71447 | 121931031 | o2(x,o1(o1(x))) | true | 59583 | 59583 | -0.7753 | 0.09178 | 0.815 | 0.1742 | 0.4173 | -1 | 0.7485 | 1.749 | 1 | 1.884 | 0.003516 | 0.003516 | 0.03034 | 0.000004138 | 1 | 0.0004609 | 0.008174 | 0.01666 | 0.006111 | 0.07817 | 2.577 | 1.374 | 0.04038 | 0.04693 | 1 | 1 | 0.009804 | 0.05315 | 0.06541 | 0.05629 | 0.3051 | 0.3756 | json |
| t15_x3_u4_b10 | 15 | 3 | 4 | 10 | ![]() |
dst(D,sqt(cil(P))) | 71448 | 121931032 | o2(x,o1(o1(x))) | true | 59591 | 59591 | -0.5003 | 0.25 | 0.9997 | 0.7492 | 0.8656 | -1 | 1 | 2 | 1 | 0.8233 | 0.007689 | 0.007689 | 0.007915 | -1.817e-7 | 1 | 9.761e-11 | 0.03074 | 0.01562 | 0.01531 | 0.1237 | 15.63 | 2 | 0.02052 | 0.04103 | 1 | 1 | 0.02023 | 0.08257 | 0.3351 | 0.027 | 0.1102 | 0.4472 | json |
| t15_x3_u5_b0 | 15 | 3 | 5 | 0 | ![]() |
add(D,sqt(sgn(P))) | 71449 | 121931223 | o2(x,o1(o1(x))) | true | 59599 | 59599 | -0.05189 | 0.5 | 0.9482 | 0.9165 | 0.9573 | -1 | 1 | 2 | 1 | 2.028 | 0.00476 | 0 | 0.01567 | 1 | 1 | 0.0001582 | 0.008079 | 0.01381 | 0.004514 | 0.06719 | 4.287 | 1.031 | 0.005194 | 0.008815 | 1 | 1 | 0.007088 | 0.04261 | 0.2722 | 0.007734 | 0.0465 | 0.297 | json |
| t15_x3_u5_b1 | 15 | 3 | 5 | 1 | ![]() |
sub(D,sqt(sgn(P))) | 71450 | 121931224 | o2(x,o1(o1(x))) | true | 59607 | 59607 | -0.9471 | 0.01953 | 0.9493 | 0.02899 | 0.1703 | -1 | 0.09672 | 1.097 | 1 | 1.152 | 0.005153 | 0 | 0.01678 | 1 | 1 | -1.419e-9 | 0.008259 | 0.01545 | 0.004869 | 0.06978 | 4.158 | 1.031 | 0.1778 | 0.2849 | 1 | 1 | 0.007979 | 0.03761 | 0.0362 | 0.2752 | 1.297 | 1.249 | json |
| t15_x3_u5_b2 | 15 | 3 | 5 | 2 | ![]() |
mlt(D,sqt(sgn(P))) | 71451 | 121931225 | o2(x,o1(o1(x))) | true | 59615 | 59615 | -0.5089 | 0.2188 | 0.5502 | 0.2476 | 0.4976 | -1 | 0.1454 | 1.145 | 1 | 2.393 | 0.004776 | 0 | 0.02195 | 1 | 1 | 0.0001582 | 0.008101 | 0.01494 | 0.004297 | 0.06555 | 2.987 | 0.9997 | 0.01929 | 0.03272 | 1 | 1 | 0.006814 | 0.02918 | 0.07512 | 0.02752 | 0.1179 | 0.3034 | json |
| t15_x3_u5_b3 | 15 | 3 | 5 | 3 | ![]() |
div(D,sqt(sgn(P))) | 71452 | 121931226 | o2(x,o1(o1(x))) | true | 59623 | 59623 | -0.5625 | 0.2188 | 0.6038 | 0.2508 | 0.5008 | -1 | 0.1454 | 1.145 | 1 | 2.109 | 0.004924 | 0 | 0.01978 | 1 | 1 | 0.0001582 | 0.008104 | 0.01431 | 0.004534 | 0.06734 | 3.404 | 1.031 | 0.01964 | 0.03231 | 1 | 1 | 0.007206 | 0.03435 | 0.08512 | 0.02873 | 0.137 | 0.3394 | json |
| t15_x3_u5_b4 | 15 | 3 | 5 | 4 | ![]() |
pow(D,sqt(sgn(P))) | 71453 | 121931227 | o2(x,o1(o1(x))) | true | 59631 | 59631 | -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_x3_u5_b5 | 15 | 3 | 5 | 5 | ![]() |
mod(D,sqt(sgn(P))) | 71454 | 121931228 | o2(x,o1(o1(x))) | true | 59639 | 59639 | -0.5625 | 0.2188 | 0.6038 | 0.2508 | 0.5008 | -1 | 0.1454 | 1.145 | 1 | 2.109 | 0.004924 | 0 | 0.01978 | 1 | 1 | 0.0001582 | 0.008104 | 0.01431 | 0.004534 | 0.06734 | 3.404 | 1.031 | 0.01964 | 0.03231 | 1 | 1 | 0.007206 | 0.03435 | 0.08512 | 0.02873 | 0.137 | 0.3394 | json |
| t15_x3_u5_b6 | 15 | 3 | 5 | 6 | ![]() |
lrg(D,sqt(sgn(P))) | 71455 | 121931229 | o2(x,o1(o1(x))) | true | 59647 | 59647 | 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_x3_u5_b7 | 15 | 3 | 5 | 7 | ![]() |
eql(D,sqt(sgn(P))) | 71456 | 121931230 | o2(x,o1(o1(x))) | true | 59655 | 59655 | 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_x3_u5_b8 | 15 | 3 | 5 | 8 | ![]() |
min(D,sqt(sgn(P))) | 71457 | 121931231 | o2(x,o1(o1(x))) | true | 59663 | 59663 | -0.008939 | 0.4688 | 0.0974 | 0.01192 | 0.1092 | -0.2729 | 0.1454 | 0.4183 | 1 | 2.704 | 0.00162 | 0 | 0.03595 | 1 | 1 | -1.774e-10 | 0.0002558 | 0.01449 | 0.000328 | 0.01811 | 0.5038 | 0.0622 | 0.1359 | 0.02146 | 1 | 1 | 0.003117 | 0.02204 | 0.0025 | 0.2615 | 1.848 | 0.2097 | json |
| t15_x3_u5_b9 | 15 | 3 | 5 | 9 | ![]() |
dot(D,sqt(sgn(P))) | 71458 | 121931232 | o2(x,o1(o1(x))) | true | 59671 | 59671 | -0.7589 | 0.09912 | 0.7829 | 0.1808 | 0.4252 | -1 | 0.2908 | 1.291 | 1 | 1.648 | 0.002346 | 0.002346 | 0.01749 | 0.00005811 | 1 | 0.0001582 | 0.007975 | 0.0122 | 0.004387 | 0.06623 | 3.788 | 1.145 | 0.02595 | 0.04411 | 1 | 1 | 0.00664 | 0.02858 | 0.07259 | 0.03672 | 0.158 | 0.4015 | json |
| t15_x3_u5_b10 | 15 | 3 | 5 | 10 | ![]() |
dst(D,sqt(sgn(P))) | 71459 | 121931233 | o2(x,o1(o1(x))) | true | 59679 | 59679 | -0.5007 | 0.25 | 0.9993 | 0.7484 | 0.8651 | -1 | 1 | 2 | 1 | 0.8485 | 0.007402 | 0.007402 | 0.008008 | 3.146e-7 | 1 | -9.311e-10 | 0.02951 | 0.01548 | 0.01474 | 0.1214 | 15.16 | 2 | 0.01978 | 0.03942 | 1 | 1 | 0.0196 | 0.08174 | 0.3341 | 0.02618 | 0.1092 | 0.4463 | json |
| t15_x3_u6_b0 | 15 | 3 | 6 | 0 | ![]() |
add(D,sqt(nrm(P))) | 71460 | 121931424 | o2(x,o1(o1(x))) | true | 59687 | 59687 | -0.1371 | 0.4922 | 0.8785 | 0.7957 | 0.892 | -1 | 1 | 2 | 1 | 2.66 | 0.006206 | 0.001049 | 0.01967 | 0.7108 | 1 | 0.0001568 | 0.0132 | 0.01662 | 0.006871 | 0.08289 | 4.214 | 2.604 | 0.009119 | 0.01659 | 1 | 1 | 0.01136 | 0.05444 | 0.2468 | 0.01428 | 0.06841 | 0.3102 | json |
| t15_x3_u6_b1 | 15 | 3 | 6 | 1 | ![]() |
sub(D,sqt(nrm(P))) | 71461 | 121931425 | o2(x,o1(o1(x))) | true | 59695 | 59695 | -0.8775 | 0.01929 | 0.8804 | 0.04933 | 0.2221 | -1 | 0.1196 | 1.12 | 1 | 2.168 | 0.004636 | 0.000261 | 0.02136 | 0.8934 | 1 | 0.00003944 | 0.007777 | 0.01531 | 0.004441 | 0.06664 | 3.12 | 1.102 | 0.09928 | 0.1577 | 1 | 1 | 0.007333 | 0.03511 | 0.05022 | 0.1487 | 0.7118 | 1.018 | json |
| t15_x3_u6_b2 | 15 | 3 | 6 | 2 | ![]() |
mlt(D,sqt(nrm(P))) | 71462 | 121931426 | o2(x,o1(o1(x))) | true | 59703 | 59703 | -0.5152 | 0.2118 | 0.5461 | 0.2463 | 0.4963 | -1 | 0.1454 | 1.145 | 1 | 2.198 | 0.004526 | 0.0003934 | 0.01849 | 0.84 | 1 | 0.0001495 | 0.008954 | 0.01438 | 0.004575 | 0.06764 | 3.657 | 1.415 | 0.01997 | 0.03635 | 1 | 1 | 0.007075 | 0.03027 | 0.0895 | 0.02872 | 0.1229 | 0.3633 | json |
| t15_x3_u6_b3 | 15 | 3 | 6 | 3 | ![]() |
div(D,sqt(nrm(P))) | 71463 | 121931427 | o2(x,o1(o1(x))) | true | 59711 | 59711 | -0.5544 | 0.2257 | 0.6155 | 0.2637 | 0.5136 | -1 | 0.4843 | 1.484 | 1 | 2.308 | 0.005675 | 3.707e-7 | 0.02416 | 0.9999 | 1 | 0.0001679 | 0.00823 | 0.01601 | 0.00509 | 0.07135 | 2.953 | 1.088 | 0.02152 | 0.0312 | 1 | 1 | 0.008486 | 0.04409 | 0.09326 | 0.03217 | 0.1672 | 0.3536 | json |
| t15_x3_u6_b4 | 15 | 3 | 6 | 4 | ![]() |
pow(D,sqt(nrm(P))) | 71464 | 121931428 | o2(x,o1(o1(x))) | true | 59719 | 59719 | -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_x3_u6_b5 | 15 | 3 | 6 | 5 | ![]() |
mod(D,sqt(nrm(P))) | 71465 | 121931429 | o2(x,o1(o1(x))) | true | 59727 | 59727 | -0.5647 | 0.2167 | 0.6087 | 0.2499 | 0.4999 | -1 | 0.2724 | 1.272 | 1 | 2.256 | 0.005428 | 0.000001639 | 0.02275 | 0.9994 | 1 | 0.0001649 | 0.008833 | 0.01751 | 0.004913 | 0.07009 | 3.082 | 1.031 | 0.02173 | 0.03534 | 1 | 1 | 0.007782 | 0.0369 | 0.08427 | 0.03114 | 0.1477 | 0.3372 | json |
| t15_x3_u6_b6 | 15 | 3 | 6 | 6 | ![]() |
lrg(D,sqt(nrm(P))) | 71466 | 121931430 | o2(x,o1(o1(x))) | true | 59735 | 59735 | 0.51 | 0.6585 | 0.51 | 0.231 | 0.4806 | 0 | 1 | 1 | 1 | 1.762 | 0.005555 | 0.00002245 | 0.01721 | 0.992 | 1 | -0.000008221 | 0.009953 | 0.01643 | 0.005281 | 0.07267 | 4.223 | 0.9994 | 0.02415 | 0.04309 | 1 | 1 | 0.007317 | 0.03286 | 0.06913 | 0.03168 | 0.1423 | 0.2993 | json |
| t15_x3_u6_b7 | 15 | 3 | 6 | 7 | ![]() |
eql(D,sqt(nrm(P))) | 71467 | 121931431 | o2(x,o1(o1(x))) | true | 59743 | 59743 | 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_x3_u6_b8 | 15 | 3 | 6 | 8 | ![]() |
min(D,sqt(nrm(P))) | 71468 | 121931432 | o2(x,o1(o1(x))) | true | 59751 | 59751 | -0.009295 | 0.4698 | 0.09792 | 0.01202 | 0.1096 | -0.2729 | 0.1454 | 0.4183 | 1 | 2.698 | 0.001649 | 0.000001352 | 0.03628 | 0.9984 | 1 | -3.714e-7 | 0.0002626 | 0.01465 | 0.0003354 | 0.01831 | 0.5048 | 0.08558 | 0.1373 | 0.02184 | 1 | 1 | 0.003167 | 0.02235 | 0.002427 | 0.2634 | 1.859 | 0.2019 | json |
| t15_x3_u6_b9 | 15 | 3 | 6 | 9 | ![]() |
dot(D,sqt(nrm(P))) | 71469 | 121931433 | o2(x,o1(o1(x))) | true | 59759 | 59759 | -0.7612 | 0.09962 | 0.7795 | 0.1783 | 0.4222 | -1 | 0.2409 | 1.241 | 1 | 1.535 | 0.002228 | 0.002228 | 0.01472 | 3.657e-7 | 1 | 0.0001495 | 0.008018 | 0.01152 | 0.004239 | 0.06511 | 4.424 | 1.414 | 0.025 | 0.04498 | 1 | 1 | 0.006227 | 0.02682 | 0.07542 | 0.03493 | 0.1504 | 0.4231 | json |
| t15_x3_u6_b10 | 15 | 3 | 6 | 10 | ![]() |
dst(D,sqt(nrm(P))) | 71470 | 121931434 | o2(x,o1(o1(x))) | true | 59767 | 59767 | -0.5085 | 0.2461 | 0.9993 | 0.7404 | 0.8604 | -1 | 1 | 2 | 1 | 0.8424 | 0.007623 | 0.007623 | 0.008272 | -3.054e-8 | 1 | 2.853e-10 | 0.0308 | 0.01604 | 0.01517 | 0.1232 | 14.89 | 2.828 | 0.02059 | 0.0416 | 1 | 1 | 0.0203 | 0.08296 | 0.335 | 0.02742 | 0.1121 | 0.4525 | json |
| t15_x3_u7_b0 | 15 | 3 | 7 | 0 | ![]() |
add(D,log(sqt(P))) | 71471 | 121931625 | o2(x,o1(o1(x))) | true | 59775 | 59775 | -0.2666 | 0.4375 | 0.8584 | 0.7239 | 0.8508 | -1 | 1 | 2 | 1 | 2.551 | 0.004726 | 0 | 0.0163 | 1 | 1 | 0.0001642 | 0.008075 | 0.0133 | 0.004459 | 0.06678 | 4.096 | 1.031 | 0.006528 | 0.01115 | 1 | 1 | 0.006927 | 0.03551 | 0.1632 | 0.009569 | 0.04906 | 0.2254 | json |
| t15_x3_u7_b1 | 15 | 3 | 7 | 1 | ![]() |
sub(D,log(sqt(P))) | 71472 | 121931626 | o2(x,o1(o1(x))) | true | 59783 | 59783 | -0.8554 | 0.02344 | 0.8592 | 0.06586 | 0.2566 | -1 | 0.12 | 1.12 | 1 | 2.188 | 0.005119 | 0 | 0.0206 | 1 | 1 | 1.892e-9 | 0.008174 | 0.01505 | 0.004696 | 0.06853 | 3.327 | 1.031 | 0.07772 | 0.1241 | 1 | 1 | 0.007831 | 0.03771 | 0.06155 | 0.1189 | 0.5725 | 0.9345 | json |
| t15_x3_u7_b2 | 15 | 3 | 7 | 2 | ![]() |
mlt(D,log(sqt(P))) | 71473 | 121931627 | o2(x,o1(o1(x))) | true | 59791 | 59791 | -0.5718 | 0.1719 | 0.5934 | 0.2386 | 0.4884 | -1 | 0.1377 | 1.138 | 1 | 2.019 | 0.004358 | 0 | 0.01511 | 1 | 1 | 0.0001694 | 0.008013 | 0.01233 | 0.00413 | 0.06426 | 4.254 | 0.9999 | 0.01827 | 0.03359 | 1 | 1 | 0.005796 | 0.02385 | 0.07813 | 0.0243 | 0.09999 | 0.3275 | json |
| t15_x3_u7_b3 | 15 | 3 | 7 | 3 | ![]() |
div(D,log(sqt(P))) | 71474 | 121931628 | o2(x,o1(o1(x))) | true | 59799 | 59799 | -0.6078 | 0.2031 | 0.6781 | 0.2672 | 0.5169 | -1 | 0.5165 | 1.516 | 1 | 2.192 | 0.006143 | 0 | 0.02383 | 1 | 1 | 0.0001472 | 0.00831 | 0.01581 | 0.005576 | 0.07467 | 3.133 | 1.09 | 0.02299 | 0.03111 | 1 | 1 | 0.01026 | 0.05799 | 0.1083 | 0.03839 | 0.2171 | 0.4055 | json |
| t15_x3_u7_b4 | 15 | 3 | 7 | 4 | ![]() |
pow(D,log(sqt(P))) | 71475 | 121931629 | o2(x,o1(o1(x))) | true | 59807 | 59807 | -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_x3_u7_b5 | 15 | 3 | 7 | 5 | ![]() |
mod(D,log(sqt(P))) | 71476 | 121931630 | o2(x,o1(o1(x))) | true | 59815 | 59815 | -0.6287 | 0.1836 | 0.6671 | 0.2359 | 0.4857 | -1 | 0.2421 | 1.242 | 1 | 2.066 | 0.005543 | 0 | 0.02143 | 1 | 1 | 0.0001582 | 0.009069 | 0.01769 | 0.005083 | 0.07129 | 3.326 | 1.031 | 0.0235 | 0.03845 | 1 | 1 | 0.008204 | 0.03745 | 0.0828 | 0.03478 | 0.1588 | 0.351 | json |
| t15_x3_u7_b6 | 15 | 3 | 7 | 6 | ![]() |
lrg(D,log(sqt(P))) | 71477 | 121931631 | o2(x,o1(o1(x))) | true | 59823 | 59823 | 0.5765 | 0.7305 | 0.5765 | 0.222 | 0.4712 | 0 | 1 | 1 | 1 | 1.818 | 0.007351 | 0 | 0.02123 | 1 | 1 | -7.096e-10 | 0.01375 | 0.02162 | 0.006903 | 0.08309 | 3.913 | 0.9994 | 0.03311 | 0.06194 | 1 | 1 | 0.01038 | 0.03951 | 0.06598 | 0.04676 | 0.178 | 0.2972 | json |
| t15_x3_u7_b7 | 15 | 3 | 7 | 7 | ![]() |
eql(D,log(sqt(P))) | 71478 | 121931632 | o2(x,o1(o1(x))) | true | 59831 | 59831 | 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_x3_u7_b8 | 15 | 3 | 7 | 8 | ![]() |
min(D,log(sqt(P))) | 71479 | 121931633 | o2(x,o1(o1(x))) | true | 59839 | 59839 | -0.1361 | 0.4023 | 0.2123 | 0.1175 | 0.3428 | -1 | 0.1454 | 1.145 | 1 | 2.944 | 0.009161 | 0 | 0.03962 | 1 | 1 | 1.419e-9 | 0.01611 | 0.02856 | 0.00759 | 0.08712 | 2.199 | 0.9997 | 0.07795 | 0.137 | 1 | 1 | 0.01261 | 0.05386 | 0.1581 | 0.1073 | 0.4582 | 1.346 | json |
| t15_x3_u7_b9 | 15 | 3 | 7 | 9 | ![]() |
dot(D,log(sqt(P))) | 71480 | 121931634 | o2(x,o1(o1(x))) | true | 59847 | 59847 | -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_x3_u7_b10 | 15 | 3 | 7 | 10 | ![]() |
dst(D,log(sqt(P))) | 71481 | 121931635 | o2(x,o1(o1(x))) | true | 59855 | 59855 | -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_x3_u8_b0 | 15 | 3 | 8 | 0 | ![]() |
add(D,log(log(P))) | 71482 | 121931826 | o2(x,o1(o1(x))) | true | 59863 | 59863 | -0.4795 | 0.3203 | 0.7881 | 0.4837 | 0.6955 | -1 | 0.817 | 1.817 | 1 | 2.432 | 0.002234 | 0 | 0.01415 | 1 | 1 | 0.0001641 | 0.003274 | 0.00947 | 0.002033 | 0.04509 | 3.186 | 0.6646 | 0.004618 | 0.00677 | 1 | 1 | 0.003341 | 0.02042 | 0.114 | 0.006907 | 0.04223 | 0.2356 | json |
| t15_x3_u8_b1 | 15 | 3 | 8 | 1 | ![]() |
sub(D,log(log(P))) | 71483 | 121931827 | o2(x,o1(o1(x))) | true | 59871 | 59871 | -0.7705 | 0.04688 | 0.7961 | 0.1293 | 0.3596 | -1 | 0.4793 | 1.479 | 1 | 2.487 | 0.008691 | 0 | 0.02203 | 1 | 1 | 0.0001522 | 0.01506 | 0.0173 | 0.008207 | 0.09059 | 4.113 | 1.397 | 0.06719 | 0.1164 | 1 | 1 | 0.01249 | 0.05544 | 0.1056 | 0.09658 | 0.4286 | 0.8161 | json |
| t15_x3_u8_b2 | 15 | 3 | 8 | 2 | ![]() |
mlt(D,log(log(P))) | 71484 | 121931828 | o2(x,o1(o1(x))) | true | 59879 | 59879 | -0.6348 | 0.125 | 0.645 | 0.2236 | 0.4728 | -1 | 0.09301 | 1.093 | 1 | 1.65 | 0.004033 | 0 | 0.01047 | 1 | 1 | 0.0001207 | 0.007963 | 0.01041 | 0.003922 | 0.06262 | 5.981 | 0.9885 | 0.01804 | 0.03562 | 1 | 1 | 0.005207 | 0.01932 | 0.07654 | 0.02329 | 0.08639 | 0.3424 | json |
| t15_x3_u8_b3 | 15 | 3 | 8 | 3 | ![]() |
div(D,log(log(P))) | 71485 | 121931829 | o2(x,o1(o1(x))) | true | 59887 | 59887 | -0.5368 | 0.25 | 0.7282 | 0.3882 | 0.623 | -1 | 1 | 2 | 1 | 2.527 | 0.01433 | 0 | 0.04474 | 1 | 1 | 0.000206 | 0.01256 | 0.02804 | 0.01233 | 0.111 | 2.482 | 1.001 | 0.03691 | 0.03237 | 1 | 1 | 0.02851 | 0.1928 | 0.1694 | 0.07346 | 0.4968 | 0.4363 | json |
| t15_x3_u8_b4 | 15 | 3 | 8 | 4 | ![]() |
pow(D,log(log(P))) | 71486 | 121931830 | o2(x,o1(o1(x))) | true | 59895 | 59895 | -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_x3_u8_b5 | 15 | 3 | 8 | 5 | ![]() |
mod(D,log(log(P))) | 71487 | 121931831 | o2(x,o1(o1(x))) | true | 59903 | 59903 | -0.6284 | 0.1914 | 0.6683 | 0.2374 | 0.4873 | -1 | 0.2694 | 1.269 | 1 | 2.101 | 0.006678 | 0 | 0.02628 | 1 | 1 | 0.000218 | 0.01175 | 0.02857 | 0.005989 | 0.07739 | 2.945 | 1.031 | 0.02812 | 0.04947 | 1 | 1 | 0.008799 | 0.03767 | 0.08887 | 0.03706 | 0.1587 | 0.3743 | json |
| t15_x3_u8_b6 | 15 | 3 | 8 | 6 | ![]() |
lrg(D,log(log(P))) | 71488 | 121931832 | o2(x,o1(o1(x))) | true | 59911 | 59911 | 0.6917 | 0.8633 | 0.6917 | 0.182 | 0.4266 | 0 | 1 | 1 | 1 | 1.937 | 0.01071 | 0 | 0.03033 | 1 | 1 | -0.00008984 | 0.02095 | 0.03225 | 0.009791 | 0.09895 | 3.262 | 0.9702 | 0.05888 | 0.1151 | 1 | 1 | 0.0138 | 0.04689 | 0.06543 | 0.07582 | 0.2577 | 0.3596 | json |
| t15_x3_u8_b7 | 15 | 3 | 8 | 7 | ![]() |
eql(D,log(log(P))) | 71489 | 121931833 | o2(x,o1(o1(x))) | true | 59919 | 59919 | 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_x3_u8_b8 | 15 | 3 | 8 | 8 | ![]() |
min(D,log(log(P))) | 71490 | 121931834 | o2(x,o1(o1(x))) | true | 59927 | 59927 | -0.1546 | 0.3867 | 0.2264 | 0.1188 | 0.3447 | -1 | 0.1454 | 1.145 | 1 | 3.124 | 0.006841 | 0 | 0.0386 | 1 | 1 | 0.00001423 | 0.01134 | 0.0256 | 0.005352 | 0.07316 | 1.895 | 0.969 | 0.05758 | 0.09546 | 1 | 1 | 0.009581 | 0.0455 | 0.1456 | 0.08063 | 0.3829 | 1.226 | json |
| t15_x3_u8_b9 | 15 | 3 | 8 | 9 | ![]() |
dot(D,log(log(P))) | 71491 | 121931835 | o2(x,o1(o1(x))) | true | 59935 | 59935 | -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_x3_u8_b10 | 15 | 3 | 8 | 10 | ![]() |
dst(D,log(log(P))) | 71492 | 121931836 | o2(x,o1(o1(x))) | true | 59943 | 59943 | -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_x3_u9_b0 | 15 | 3 | 9 | 0 | ![]() |
add(D,log(frc(P))) | 71493 | 121932027 | o2(x,o1(o1(x))) | true | 59951 | 59951 | -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_x3_u9_b1 | 15 | 3 | 9 | 1 | ![]() |
sub(D,log(frc(P))) | 71494 | 121932028 | o2(x,o1(o1(x))) | true | 59959 | 59959 | 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_x3_u9_b2 | 15 | 3 | 9 | 2 | ![]() |
mlt(D,log(frc(P))) | 71495 | 121932029 | o2(x,o1(o1(x))) | true | 59967 | 59967 | 0 | 0.5 | 1 | 1 | 1 | -1 | 1 | 2 | 1 | 1 | 0.4921 | 0 | 0.246 | 1 | 1 | 0 | 0.9841 | 0.4921 | 0.4315 | 0.6569 | 2.67 | 2 | 0.4921 | 0.9841 | 1 | 1 | 0.4947 | 2 | 0 | 0.4947 | 2 | 0 | json |
| t15_x3_u9_b3 | 15 | 3 | 9 | 3 | ![]() |
div(D,log(frc(P))) | 71496 | 121932030 | o2(x,o1(o1(x))) | true | 59975 | 59975 | 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_x3_u9_b4 | 15 | 3 | 9 | 4 | ![]() |
pow(D,log(frc(P))) | 71497 | 121932031 | o2(x,o1(o1(x))) | true | 59983 | 59983 | -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_x3_u9_b5 | 15 | 3 | 9 | 5 | ![]() |
mod(D,log(frc(P))) | 71498 | 121932032 | o2(x,o1(o1(x))) | true | 59991 | 59991 | 0 | 0.5 | 0.09436 | 0.01082 | 0.104 | -0.1454 | 0.1454 | 0.2908 | 1 | 2.561 | 0.001632 | 0 | 0.03609 | 1 | 1 | 0 | 0.0002563 | 0.01459 | 0.0003304 | 0.01818 | 0.5036 | 0.06192 | 0.1508 | 0.02368 | 1 | 1 | 0.003151 | 0.02183 | 5.236e-15 | 0.2912 | 2.017 | 4.838e-13 | json |
| t15_x3_u9_b6 | 15 | 3 | 9 | 6 | ![]() |
lrg(D,log(frc(P))) | 71499 | 121932033 | o2(x,o1(o1(x))) | true | 59999 | 59999 | 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 |



































































































