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_u34_b10 | 15 | 1 | 34 | 10 | ![]() |
dst(P,cil(nrm(D))) | 70700 | 121856260 | o2(x,o1(o1(x))) | true | 53607 | 53607 | 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_u35_b0 | 15 | 1 | 35 | 0 | ![]() |
add(P,sgn(sqt(D))) | 70701 | 121856451 | o2(x,o1(o1(x))) | true | 53615 | 53615 | 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_u35_b1 | 15 | 1 | 35 | 1 | ![]() |
sub(P,sgn(sqt(D))) | 70702 | 121856452 | o2(x,o1(o1(x))) | true | 53623 | 53623 | 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_u35_b2 | 15 | 1 | 35 | 2 | ![]() |
mlt(P,sgn(sqt(D))) | 70703 | 121856453 | o2(x,o1(o1(x))) | true | 53631 | 53631 | -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_u35_b3 | 15 | 1 | 35 | 3 | ![]() |
div(P,sgn(sqt(D))) | 70704 | 121856454 | o2(x,o1(o1(x))) | true | 53639 | 53639 | -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_u35_b4 | 15 | 1 | 35 | 4 | ![]() |
pow(P,sgn(sqt(D))) | 70705 | 121856455 | o2(x,o1(o1(x))) | true | 53647 | 53647 | -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_u35_b5 | 15 | 1 | 35 | 5 | ![]() |
mod(P,sgn(sqt(D))) | 70706 | 121856456 | o2(x,o1(o1(x))) | true | 53655 | 53655 | 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_u35_b6 | 15 | 1 | 35 | 6 | ![]() |
lrg(P,sgn(sqt(D))) | 70707 | 121856457 | o2(x,o1(o1(x))) | true | 53663 | 53663 | 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_u35_b7 | 15 | 1 | 35 | 7 | ![]() |
eql(P,sgn(sqt(D))) | 70708 | 121856458 | o2(x,o1(o1(x))) | true | 53671 | 53671 | 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_u35_b8 | 15 | 1 | 35 | 8 | ![]() |
min(P,sgn(sqt(D))) | 70709 | 121856459 | o2(x,o1(o1(x))) | true | 53679 | 53679 | -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_u35_b9 | 15 | 1 | 35 | 9 | ![]() |
dot(P,sgn(sqt(D))) | 70710 | 121856460 | o2(x,o1(o1(x))) | true | 53687 | 53687 | -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_u35_b10 | 15 | 1 | 35 | 10 | ![]() |
dst(P,sgn(sqt(D))) | 70711 | 121856461 | o2(x,o1(o1(x))) | true | 53695 | 53695 | 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_u36_b0 | 15 | 1 | 36 | 0 | ![]() |
add(P,sgn(log(D))) | 70712 | 121856652 | o2(x,o1(o1(x))) | true | 53703 | 53703 | -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_u36_b1 | 15 | 1 | 36 | 1 | ![]() |
sub(P,sgn(log(D))) | 70713 | 121856653 | o2(x,o1(o1(x))) | true | 53711 | 53711 | 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_u36_b2 | 15 | 1 | 36 | 2 | ![]() |
mlt(P,sgn(log(D))) | 70714 | 121856654 | o2(x,o1(o1(x))) | true | 53719 | 53719 | 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_u36_b3 | 15 | 1 | 36 | 3 | ![]() |
div(P,sgn(log(D))) | 70715 | 121856655 | o2(x,o1(o1(x))) | true | 53727 | 53727 | 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_u36_b4 | 15 | 1 | 36 | 4 | ![]() |
pow(P,sgn(log(D))) | 70716 | 121856656 | o2(x,o1(o1(x))) | true | 53735 | 53735 | -0.4278 | 0.4375 | 0.6972 | 0.4414 | 0.6644 | -1 | 0.9999 | 2 | 1 | 2.231 | 0.01597 | 0 | 0.01141 | 1 | 1 | -0.000001605 | 0.0318 | 0.01668 | 0.01584 | 0.1259 | 11.03 | 2 | 0.03618 | 0.07204 | 1 | 1 | 0.02128 | 0.08118 | 0.2274 | 0.04821 | 0.1839 | 0.5152 | json |
| t15_x1_u36_b5 | 15 | 1 | 36 | 5 | ![]() |
mod(P,sgn(log(D))) | 70717 | 121856657 | o2(x,o1(o1(x))) | true | 53743 | 53743 | 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_u36_b6 | 15 | 1 | 36 | 6 | ![]() |
lrg(P,sgn(log(D))) | 70718 | 121856658 | o2(x,o1(o1(x))) | true | 53751 | 53751 | 0.5313 | 0.5625 | 0.5313 | 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_u36_b7 | 15 | 1 | 36 | 7 | ![]() |
eql(P,sgn(log(D))) | 70719 | 121856659 | o2(x,o1(o1(x))) | true | 53759 | 53759 | 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_u36_b8 | 15 | 1 | 36 | 8 | ![]() |
min(P,sgn(log(D))) | 70720 | 121856660 | o2(x,o1(o1(x))) | true | 53767 | 53767 | -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_u36_b9 | 15 | 1 | 36 | 9 | ![]() |
dot(P,sgn(log(D))) | 70721 | 121856661 | o2(x,o1(o1(x))) | true | 53775 | 53775 | 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_u36_b10 | 15 | 1 | 36 | 10 | ![]() |
dst(P,sgn(log(D))) | 70722 | 121856662 | o2(x,o1(o1(x))) | true | 53783 | 53783 | 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_u37_b0 | 15 | 1 | 37 | 0 | ![]() |
add(P,sgn(frc(D))) | 70723 | 121856853 | o2(x,o1(o1(x))) | true | 53791 | 53791 | 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_u37_b1 | 15 | 1 | 37 | 1 | ![]() |
sub(P,sgn(frc(D))) | 70724 | 121856854 | o2(x,o1(o1(x))) | true | 53799 | 53799 | -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_u37_b2 | 15 | 1 | 37 | 2 | ![]() |
mlt(P,sgn(frc(D))) | 70725 | 121856855 | o2(x,o1(o1(x))) | true | 53807 | 53807 | 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_u37_b3 | 15 | 1 | 37 | 3 | ![]() |
div(P,sgn(frc(D))) | 70726 | 121856856 | o2(x,o1(o1(x))) | true | 53815 | 53815 | 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_u37_b4 | 15 | 1 | 37 | 4 | ![]() |
pow(P,sgn(frc(D))) | 70727 | 121856857 | o2(x,o1(o1(x))) | true | 53823 | 53823 | -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_u37_b5 | 15 | 1 | 37 | 5 | ![]() |
mod(P,sgn(frc(D))) | 70728 | 121856858 | o2(x,o1(o1(x))) | true | 53831 | 53831 | 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_u37_b6 | 15 | 1 | 37 | 6 | ![]() |
lrg(P,sgn(frc(D))) | 70729 | 121856859 | o2(x,o1(o1(x))) | true | 53839 | 53839 | 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_u37_b7 | 15 | 1 | 37 | 7 | ![]() |
eql(P,sgn(frc(D))) | 70730 | 121856860 | o2(x,o1(o1(x))) | true | 53847 | 53847 | 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_u37_b8 | 15 | 1 | 37 | 8 | ![]() |
min(P,sgn(frc(D))) | 70731 | 121856861 | o2(x,o1(o1(x))) | true | 53855 | 53855 | 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_u37_b9 | 15 | 1 | 37 | 9 | ![]() |
dot(P,sgn(frc(D))) | 70732 | 121856862 | o2(x,o1(o1(x))) | true | 53863 | 53863 | -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_u37_b10 | 15 | 1 | 37 | 10 | ![]() |
dst(P,sgn(frc(D))) | 70733 | 121856863 | o2(x,o1(o1(x))) | true | 53871 | 53871 | 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_u38_b0 | 15 | 1 | 38 | 0 | ![]() |
add(P,sgn(flr(D))) | 70734 | 121857054 | o2(x,o1(o1(x))) | true | 53879 | 53879 | -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_u38_b1 | 15 | 1 | 38 | 1 | ![]() |
sub(P,sgn(flr(D))) | 70735 | 121857055 | o2(x,o1(o1(x))) | true | 53887 | 53887 | 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_u38_b2 | 15 | 1 | 38 | 2 | ![]() |
mlt(P,sgn(flr(D))) | 70736 | 121857056 | o2(x,o1(o1(x))) | true | 53895 | 53895 | -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_u38_b3 | 15 | 1 | 38 | 3 | ![]() |
div(P,sgn(flr(D))) | 70737 | 121857057 | o2(x,o1(o1(x))) | true | 53903 | 53903 | -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_u38_b4 | 15 | 1 | 38 | 4 | ![]() |
pow(P,sgn(flr(D))) | 70738 | 121857058 | o2(x,o1(o1(x))) | true | 53911 | 53911 | -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_u38_b5 | 15 | 1 | 38 | 5 | ![]() |
mod(P,sgn(flr(D))) | 70739 | 121857059 | o2(x,o1(o1(x))) | true | 53919 | 53919 | -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_u38_b6 | 15 | 1 | 38 | 6 | ![]() |
lrg(P,sgn(flr(D))) | 70740 | 121857060 | o2(x,o1(o1(x))) | true | 53927 | 53927 | 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_u38_b7 | 15 | 1 | 38 | 7 | ![]() |
eql(P,sgn(flr(D))) | 70741 | 121857061 | o2(x,o1(o1(x))) | true | 53935 | 53935 | 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_u38_b8 | 15 | 1 | 38 | 8 | ![]() |
min(P,sgn(flr(D))) | 70742 | 121857062 | o2(x,o1(o1(x))) | true | 53943 | 53943 | -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_u38_b9 | 15 | 1 | 38 | 9 | ![]() |
dot(P,sgn(flr(D))) | 70743 | 121857063 | o2(x,o1(o1(x))) | true | 53951 | 53951 | -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_u38_b10 | 15 | 1 | 38 | 10 | ![]() |
dst(P,sgn(flr(D))) | 70744 | 121857064 | o2(x,o1(o1(x))) | true | 53959 | 53959 | 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_u39_b0 | 15 | 1 | 39 | 0 | ![]() |
add(P,sgn(cil(D))) | 70745 | 121857255 | o2(x,o1(o1(x))) | true | 53967 | 53967 | 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_u39_b1 | 15 | 1 | 39 | 1 | ![]() |
sub(P,sgn(cil(D))) | 70746 | 121857256 | o2(x,o1(o1(x))) | true | 53975 | 53975 | -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_u39_b2 | 15 | 1 | 39 | 2 | ![]() |
mlt(P,sgn(cil(D))) | 70747 | 121857257 | o2(x,o1(o1(x))) | true | 53983 | 53983 | -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_u39_b3 | 15 | 1 | 39 | 3 | ![]() |
div(P,sgn(cil(D))) | 70748 | 121857258 | o2(x,o1(o1(x))) | true | 53991 | 53991 | 0 | 0.5 | 1 | 1 | 1 | -1 | 1 | 2 | 1 | 1 | 0.01587 | 0 | 0.007937 | 1 | 1 | 0 | 0.03175 | 0.01587 | 0.01581 | 0.1257 | 15.84 | 2 | 0.01587 | 0.03175 | 1 | 1 | 0.02105 | 0.08421 | 0.3368 | 0.02105 | 0.08421 | 0.3368 | json |
| t15_x1_u39_b4 | 15 | 1 | 39 | 4 | ![]() |
pow(P,sgn(cil(D))) | 70749 | 121857259 | o2(x,o1(o1(x))) | true | 53999 | 53999 | -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_u39_b5 | 15 | 1 | 39 | 5 | ![]() |
mod(P,sgn(cil(D))) | 70750 | 121857260 | o2(x,o1(o1(x))) | true | 54007 | 54007 | -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_u39_b6 | 15 | 1 | 39 | 6 | ![]() |
lrg(P,sgn(cil(D))) | 70751 | 121857261 | o2(x,o1(o1(x))) | true | 54015 | 54015 | 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_u39_b7 | 15 | 1 | 39 | 7 | ![]() |
eql(P,sgn(cil(D))) | 70752 | 121857262 | o2(x,o1(o1(x))) | true | 54023 | 54023 | 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_u39_b8 | 15 | 1 | 39 | 8 | ![]() |
min(P,sgn(cil(D))) | 70753 | 121857263 | o2(x,o1(o1(x))) | true | 54031 | 54031 | -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_u39_b9 | 15 | 1 | 39 | 9 | ![]() |
dot(P,sgn(cil(D))) | 70754 | 121857264 | o2(x,o1(o1(x))) | true | 54039 | 54039 | -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_u39_b10 | 15 | 1 | 39 | 10 | ![]() |
dst(P,sgn(cil(D))) | 70755 | 121857265 | o2(x,o1(o1(x))) | true | 54047 | 54047 | 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_u40_b0 | 15 | 1 | 40 | 0 | ![]() |
add(P,sgn(sgn(D))) | 70756 | 121857456 | o2(x,o1(o1(x))) | true | 54055 | 54055 | 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_u40_b1 | 15 | 1 | 40 | 1 | ![]() |
sub(P,sgn(sgn(D))) | 70757 | 121857457 | o2(x,o1(o1(x))) | true | 54063 | 54063 | 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_u40_b2 | 15 | 1 | 40 | 2 | ![]() |
mlt(P,sgn(sgn(D))) | 70758 | 121857458 | o2(x,o1(o1(x))) | true | 54071 | 54071 | -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_u40_b3 | 15 | 1 | 40 | 3 | ![]() |
div(P,sgn(sgn(D))) | 70759 | 121857459 | o2(x,o1(o1(x))) | true | 54079 | 54079 | -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_u40_b4 | 15 | 1 | 40 | 4 | ![]() |
pow(P,sgn(sgn(D))) | 70760 | 121857460 | o2(x,o1(o1(x))) | true | 54087 | 54087 | -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_u40_b5 | 15 | 1 | 40 | 5 | ![]() |
mod(P,sgn(sgn(D))) | 70761 | 121857461 | o2(x,o1(o1(x))) | true | 54095 | 54095 | 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_u40_b6 | 15 | 1 | 40 | 6 | ![]() |
lrg(P,sgn(sgn(D))) | 70762 | 121857462 | o2(x,o1(o1(x))) | true | 54103 | 54103 | 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_u40_b7 | 15 | 1 | 40 | 7 | ![]() |
eql(P,sgn(sgn(D))) | 70763 | 121857463 | o2(x,o1(o1(x))) | true | 54111 | 54111 | 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_u40_b8 | 15 | 1 | 40 | 8 | ![]() |
min(P,sgn(sgn(D))) | 70764 | 121857464 | o2(x,o1(o1(x))) | true | 54119 | 54119 | -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_u40_b9 | 15 | 1 | 40 | 9 | ![]() |
dot(P,sgn(sgn(D))) | 70765 | 121857465 | o2(x,o1(o1(x))) | true | 54127 | 54127 | -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_u40_b10 | 15 | 1 | 40 | 10 | ![]() |
dst(P,sgn(sgn(D))) | 70766 | 121857466 | o2(x,o1(o1(x))) | true | 54135 | 54135 | 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_u41_b0 | 15 | 1 | 41 | 0 | ![]() |
add(P,sgn(nrm(D))) | 70767 | 121857657 | o2(x,o1(o1(x))) | true | 54143 | 54143 | 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_u41_b1 | 15 | 1 | 41 | 1 | ![]() |
sub(P,sgn(nrm(D))) | 70768 | 121857658 | o2(x,o1(o1(x))) | true | 54151 | 54151 | 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_u41_b2 | 15 | 1 | 41 | 2 | ![]() |
mlt(P,sgn(nrm(D))) | 70769 | 121857659 | o2(x,o1(o1(x))) | true | 54159 | 54159 | -0.1381 | 0.4141 | 0.8619 | 0.8074 | 0.8985 | -1 | 1 | 2 | 1 | 2.581 | 0.3134 | 6.908e-17 | 0.2301 | 1 | 1 | -3.766e-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_u41_b3 | 15 | 1 | 41 | 3 | ![]() |
div(P,sgn(nrm(D))) | 70770 | 121857660 | o2(x,o1(o1(x))) | true | 54167 | 54167 | -0.1381 | 0.4141 | 0.8619 | 0.8074 | 0.8985 | -1 | 1 | 2 | 1 | 2.581 | 0.3134 | 6.908e-17 | 0.2301 | 1 | 1 | -3.766e-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_u41_b4 | 15 | 1 | 41 | 4 | ![]() |
pow(P,sgn(nrm(D))) | 70771 | 121857661 | o2(x,o1(o1(x))) | true | 54175 | 54175 | -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_u41_b5 | 15 | 1 | 41 | 5 | ![]() |
mod(P,sgn(nrm(D))) | 70772 | 121857662 | o2(x,o1(o1(x))) | true | 54183 | 54183 | 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_u41_b6 | 15 | 1 | 41 | 6 | ![]() |
lrg(P,sgn(nrm(D))) | 70773 | 121857663 | o2(x,o1(o1(x))) | true | 54191 | 54191 | 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_u41_b7 | 15 | 1 | 41 | 7 | ![]() |
eql(P,sgn(nrm(D))) | 70774 | 121857664 | o2(x,o1(o1(x))) | true | 54199 | 54199 | 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_u41_b8 | 15 | 1 | 41 | 8 | ![]() |
min(P,sgn(nrm(D))) | 70775 | 121857665 | o2(x,o1(o1(x))) | true | 54207 | 54207 | -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_u41_b9 | 15 | 1 | 41 | 9 | ![]() |
dot(P,sgn(nrm(D))) | 70776 | 121857666 | o2(x,o1(o1(x))) | true | 54215 | 54215 | -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_u41_b10 | 15 | 1 | 41 | 10 | ![]() |
dst(P,sgn(nrm(D))) | 70777 | 121857667 | o2(x,o1(o1(x))) | true | 54223 | 54223 | 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_u42_b0 | 15 | 1 | 42 | 0 | ![]() |
add(P,nrm(sqt(D))) | 70778 | 121857858 | o2(x,o1(o1(x))) | true | 54231 | 54231 | -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_u42_b1 | 15 | 1 | 42 | 1 | ![]() |
sub(P,nrm(sqt(D))) | 70779 | 121857859 | o2(x,o1(o1(x))) | true | 54239 | 54239 | -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_u42_b2 | 15 | 1 | 42 | 2 | ![]() |
mlt(P,nrm(sqt(D))) | 70780 | 121857860 | o2(x,o1(o1(x))) | true | 54247 | 54247 | -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_u42_b3 | 15 | 1 | 42 | 3 | ![]() |
div(P,nrm(sqt(D))) | 70781 | 121857861 | o2(x,o1(o1(x))) | true | 54255 | 54255 | -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_u42_b4 | 15 | 1 | 42 | 4 | ![]() |
pow(P,nrm(sqt(D))) | 70782 | 121857862 | o2(x,o1(o1(x))) | true | 54263 | 54263 | -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_u42_b5 | 15 | 1 | 42 | 5 | ![]() |
mod(P,nrm(sqt(D))) | 70783 | 121857863 | o2(x,o1(o1(x))) | true | 54271 | 54271 | -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_u42_b6 | 15 | 1 | 42 | 6 | ![]() |
lrg(P,nrm(sqt(D))) | 70784 | 121857864 | o2(x,o1(o1(x))) | true | 54279 | 54279 | 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_u42_b7 | 15 | 1 | 42 | 7 | ![]() |
eql(P,nrm(sqt(D))) | 70785 | 121857865 | o2(x,o1(o1(x))) | true | 54287 | 54287 | 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_u42_b8 | 15 | 1 | 42 | 8 | ![]() |
min(P,nrm(sqt(D))) | 70786 | 121857866 | o2(x,o1(o1(x))) | true | 54295 | 54295 | -0.03725 | 0.5 | 0.9002 | 0.8668 | 0.931 | -1 | 1 | 2 | 1 | 2.373 | 0.0156 | 0.0004705 | 0.04411 | 0.9414 | 1 | 0.00006844 | 0.03342 | 0.05086 | 0.01413 | 0.1189 | 2.694 | 0.7555 | 0.01854 | 0.03855 | 1 | 1 | 0.01631 | 0.04578 | 0.2131 | 0.01881 | 0.05282 | 0.2458 | json |
| t15_x1_u42_b9 | 15 | 1 | 42 | 9 | ![]() |
dot(P,nrm(sqt(D))) | 70787 | 121857867 | o2(x,o1(o1(x))) | true | 54303 | 54303 | -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_u42_b10 | 15 | 1 | 42 | 10 | ![]() |
dst(P,nrm(sqt(D))) | 70788 | 121857868 | o2(x,o1(o1(x))) | true | 54311 | 54311 | -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_u43_b0 | 15 | 1 | 43 | 0 | ![]() |
add(P,nrm(log(D))) | 70789 | 121858059 | o2(x,o1(o1(x))) | true | 54319 | 54319 | -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_u43_b1 | 15 | 1 | 43 | 1 | ![]() |
sub(P,nrm(log(D))) | 70790 | 121858060 | o2(x,o1(o1(x))) | true | 54327 | 54327 | -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_u43_b2 | 15 | 1 | 43 | 2 | ![]() |
mlt(P,nrm(log(D))) | 70791 | 121858061 | o2(x,o1(o1(x))) | true | 54335 | 54335 | -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_u43_b3 | 15 | 1 | 43 | 3 | ![]() |
div(P,nrm(log(D))) | 70792 | 121858062 | o2(x,o1(o1(x))) | true | 54343 | 54343 | -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_u43_b4 | 15 | 1 | 43 | 4 | ![]() |
pow(P,nrm(log(D))) | 70793 | 121858063 | o2(x,o1(o1(x))) | true | 54351 | 54351 | -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_u43_b5 | 15 | 1 | 43 | 5 | ![]() |
mod(P,nrm(log(D))) | 70794 | 121858064 | o2(x,o1(o1(x))) | true | 54359 | 54359 | -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_u43_b6 | 15 | 1 | 43 | 6 | ![]() |
lrg(P,nrm(log(D))) | 70795 | 121858065 | o2(x,o1(o1(x))) | true | 54367 | 54367 | 0.8594 | 1 | 0.8594 | 0.06657 | 0.258 | 0.000582 | 1 | 0.9994 | 1 | 2.103 | 0.01361 | 0.01406 | 0.06104 | -0.01635 | 1 | -0.00004492 | 0.05575 | 0.07117 | 0.02395 | 0.1548 | 2.535 | 0.9991 | 0.4157 | 0.8375 | 1 | 1 | 0.03065 | 0.1062 | 0.01289 | 0.4604 | 1.595 | 0.1936 | json |
| t15_x1_u43_b7 | 15 | 1 | 43 | 7 | ![]() |
eql(P,nrm(log(D))) | 70796 | 121858066 | o2(x,o1(o1(x))) | true | 54375 | 54375 | 0.01562 | 0.05908 | 0.01562 | 0.009349 | 0.09669 | 0 | 0.9994 | 0.9994 | 1 | 0.3551 | 0.001685 | 0.001619 | 0.007113 | 0.01984 | 1 | -2.144e-10 | 0.006688 | 0.008465 | 0.003253 | 0.05703 | 8.018 | 0.9994 | 0.3534 | 0.7154 | 1 | 1 | 0.004736 | 0.01839 | 0.01289 | 0.5066 | 1.967 | 1.379 | json |
| t15_x1_u43_b8 | 15 | 1 | 43 | 8 | ![]() |
min(P,nrm(log(D))) | 70797 | 121858067 | o2(x,o1(o1(x))) | true | 54383 | 54383 | -0.03142 | 0.5 | 0.9061 | 0.8819 | 0.9391 | -1 | 1 | 2 | 1 | 2.177 | 0.008934 | 0.006798 | 0.03427 | 0.1358 | 1 | -0.0000449 | 0.03174 | 0.04006 | 0.01455 | 0.1206 | 3.52 | 0.9991 | 0.01784 | 0.03599 | 1 | 1 | 0.01957 | 0.06952 | 0.2109 | 0.02219 | 0.07884 | 0.2391 | json |
| t15_x1_u43_b9 | 15 | 1 | 43 | 9 | ![]() |
dot(P,nrm(log(D))) | 70798 | 121858068 | o2(x,o1(o1(x))) | true | 54391 | 54391 | -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_u43_b10 | 15 | 1 | 43 | 10 | ![]() |
dst(P,nrm(log(D))) | 70799 | 121858069 | o2(x,o1(o1(x))) | true | 54399 | 54399 | -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 |



































































































