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_u44_b0 | 15 | 1 | 44 | 0 | ![]() |
add(P,nrm(frc(D))) | 70800 | 121858260 | o2(x,o1(o1(x))) | true | 54407 | 54407 | 0.08106 | 0.5378 | 0.9375 | 0.9104 | 0.9541 | -1 | 1 | 2 | 1 | 1.966 | 0.006528 | 0.002674 | 0.0243 | 0.4188 | 1 | 0.00001721 | 0.01805 | 0.02477 | 0.008609 | 0.09278 | 3.819 | 0.8566 | 0.01011 | 0.01983 | 1 | 1 | 0.01284 | 0.04726 | 0.2255 | 0.01411 | 0.05191 | 0.2477 | json |
| t15_x1_u44_b1 | 15 | 1 | 44 | 1 | ![]() |
sub(P,nrm(frc(D))) | 70801 | 121858261 | o2(x,o1(o1(x))) | true | 54415 | 54415 | -0.08106 | 0.457 | 0.9375 | 0.9135 | 0.9558 | -1 | 1 | 2 | 1 | 1.922 | 0.005268 | 0.002756 | 0.01849 | 0.313 | 1 | -0.00001721 | 0.01779 | 0.02405 | 0.007679 | 0.08763 | 4.738 | 0.8533 | 0.008784 | 0.01948 | 1 | 1 | 0.009845 | 0.03311 | 0.2297 | 0.01078 | 0.03624 | 0.2515 | json |
| t15_x1_u44_b2 | 15 | 1 | 44 | 2 | ![]() |
mlt(P,nrm(frc(D))) | 70802 | 121858262 | o2(x,o1(o1(x))) | true | 54423 | 54423 | 0.001509 | 0.4963 | 0.8461 | 0.8029 | 0.896 | -1 | 1 | 2 | 1 | 2.856 | 0.03749 | 0.006976 | 0.0851 | 0.6862 | 1 | 0.0001373 | 0.1126 | 0.1281 | 0.03722 | 0.1929 | 2.267 | 0.9443 | 0.05538 | 0.1403 | 1 | 1 | 0.04136 | 0.0804 | 0.163 | 0.05151 | 0.1001 | 0.203 | json |
| t15_x1_u44_b3 | 15 | 1 | 44 | 3 | ![]() |
div(P,nrm(frc(D))) | 70803 | 121858263 | o2(x,o1(o1(x))) | true | 54431 | 54431 | 0.0017 | 0.5 | 0.9497 | 0.9394 | 0.9692 | -1 | 1 | 2 | 1 | 1.659 | 0.001024 | 0.0005514 | 0.009243 | 0.2999 | 1 | 0.000002194 | 0.001426 | 0.005541 | 0.001489 | 0.03859 | 4.175 | 0.5575 | 0.001677 | 0.001518 | 1 | 1 | 0.003332 | 0.03121 | 0.2552 | 0.003547 | 0.03322 | 0.2716 | json |
| t15_x1_u44_b4 | 15 | 1 | 44 | 4 | ![]() |
pow(P,nrm(frc(D))) | 70804 | 121858264 | o2(x,o1(o1(x))) | true | 54439 | 54439 | -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_u44_b5 | 15 | 1 | 44 | 5 | ![]() |
mod(P,nrm(frc(D))) | 70805 | 121858265 | o2(x,o1(o1(x))) | true | 54447 | 54447 | 0.00367 | 0.4956 | 0.2288 | 0.08901 | 0.2984 | -0.8621 | 0.8623 | 1.724 | 1 | 4.256 | 0.03523 | 0.03639 | 0.2047 | -0.01615 | 1 | 0.0001555 | 0.3281 | 0.3763 | 0.0297 | 0.1723 | 0.8418 | 1.091 | 0.8046 | 3.686 | 1 | 1 | 0.04243 | 0.06684 | 0.02725 | 0.4767 | 0.7509 | 0.3061 | json |
| t15_x1_u44_b6 | 15 | 1 | 44 | 6 | ![]() |
lrg(P,nrm(frc(D))) | 70806 | 121858266 | o2(x,o1(o1(x))) | true | 54455 | 54455 | 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_u44_b7 | 15 | 1 | 44 | 7 | ![]() |
eql(P,nrm(frc(D))) | 70807 | 121858267 | o2(x,o1(o1(x))) | true | 54463 | 54463 | 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_u44_b8 | 15 | 1 | 44 | 8 | ![]() |
min(P,nrm(frc(D))) | 70808 | 121858268 | o2(x,o1(o1(x))) | true | 54471 | 54471 | -0.1602 | 0.4963 | 0.7773 | 0.6723 | 0.8199 | -1 | 0.9995 | 1.999 | 1 | 3.319 | 0.01886 | 0.01019 | 0.07002 | 0.2987 | 1 | 0.0001162 | 0.06366 | 0.08202 | 0.02414 | 0.1554 | 2.219 | 0.8547 | 0.04321 | 0.0947 | 1 | 1 | 0.02778 | 0.0747 | 0.1668 | 0.04132 | 0.1111 | 0.2481 | json |
| t15_x1_u44_b9 | 15 | 1 | 44 | 9 | ![]() |
dot(P,nrm(frc(D))) | 70809 | 121858269 | o2(x,o1(o1(x))) | true | 54479 | 54479 | 0.02172 | 0.5109 | 0.9283 | 0.904 | 0.9508 | -1 | 1 | 2 | 1 | 2.089 | 0.08982 | 0.08982 | 0.144 | -9.125e-7 | 1 | 0.001053 | 0.3937 | 0.2118 | 0.1588 | 0.3985 | 2.767 | 2.038 | 0.1987 | 0.4356 | 1 | 1 | 0.1703 | 0.4535 | 0.2758 | 0.1884 | 0.5017 | 0.3051 | json |
| t15_x1_u44_b10 | 15 | 1 | 44 | 10 | ![]() |
dst(P,nrm(frc(D))) | 70810 | 121858270 | o2(x,o1(o1(x))) | true | 54487 | 54487 | 0.9972 | 1 | 0.9972 | 0.001296 | 0.036 | 0.0328 | 1 | 0.9672 | 1 | 0.09974 | 0.0002823 | 0.0002823 | 0.001536 | -2.062e-7 | 1 | -3.942e-11 | 0.001295 | 0.00203 | 0.0005629 | 0.02373 | 15.45 | 0.9009 | 0.4356 | 0.9988 | 1 | 1 | 0.0009469 | 0.002339 | 0.004735 | 0.7306 | 1.805 | 3.653 | json |
| t15_x1_u45_b0 | 15 | 1 | 45 | 0 | ![]() |
add(P,nrm(flr(D))) | 70811 | 121858461 | o2(x,o1(o1(x))) | true | 54495 | 54495 | -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_u45_b1 | 15 | 1 | 45 | 1 | ![]() |
sub(P,nrm(flr(D))) | 70812 | 121858462 | o2(x,o1(o1(x))) | true | 54503 | 54503 | -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_u45_b2 | 15 | 1 | 45 | 2 | ![]() |
mlt(P,nrm(flr(D))) | 70813 | 121858463 | o2(x,o1(o1(x))) | true | 54511 | 54511 | -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_u45_b3 | 15 | 1 | 45 | 3 | ![]() |
div(P,nrm(flr(D))) | 70814 | 121858464 | o2(x,o1(o1(x))) | true | 54519 | 54519 | -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_u45_b4 | 15 | 1 | 45 | 4 | ![]() |
pow(P,nrm(flr(D))) | 70815 | 121858465 | o2(x,o1(o1(x))) | true | 54527 | 54527 | -0.8889 | 0.0625 | 0.9861 | 0.1871 | 0.4326 | -1 | 0.9999 | 2 | 1 | 0.5143 | 0.02556 | 0.00002051 | 0.01605 | 0.9984 | 1 | 4.749e-10 | 0.05104 | 0.02895 | 0.02531 | 0.1591 | 9.912 | 2 | 0.1367 | 0.2728 | 1 | 1 | 0.03401 | 0.1364 | 0.2687 | 0.1818 | 0.7292 | 1.436 | json |
| t15_x1_u45_b5 | 15 | 1 | 45 | 5 | ![]() |
mod(P,nrm(flr(D))) | 70816 | 121858466 | o2(x,o1(o1(x))) | true | 54535 | 54535 | -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_u45_b6 | 15 | 1 | 45 | 6 | ![]() |
lrg(P,nrm(flr(D))) | 70817 | 121858467 | o2(x,o1(o1(x))) | true | 54543 | 54543 | 0.6406 | 0.9761 | 0.6406 | 0.1759 | 0.4194 | 8.471e-8 | 1 | 1 | 1 | 2.593 | 0.01361 | 0.01406 | 0.06082 | -0.01631 | 1 | 0.00004492 | 0.05572 | 0.07115 | 0.02397 | 0.1548 | 2.546 | 0.9994 | 0.1573 | 0.3167 | 1 | 1 | 0.03067 | 0.1094 | 0.04588 | 0.1743 | 0.6216 | 0.2608 | json |
| t15_x1_u45_b7 | 15 | 1 | 45 | 7 | ![]() |
eql(P,nrm(flr(D))) | 70818 | 121858468 | o2(x,o1(o1(x))) | true | 54551 | 54551 | 0.03125 | 0.1182 | 0.03125 | 0.01821 | 0.1349 | 0 | 0.9994 | 0.9994 | 1 | 0.637 | 0.00337 | 0.003239 | 0.01399 | 0.01984 | 1 | -2.102e-10 | 0.01338 | 0.01693 | 0.00641 | 0.08006 | 5.724 | 0.9994 | 0.3629 | 0.7346 | 1 | 1 | 0.009472 | 0.03678 | 0.02478 | 0.5201 | 2.02 | 1.361 | json |
| t15_x1_u45_b8 | 15 | 1 | 45 | 8 | ![]() |
min(P,nrm(flr(D))) | 70819 | 121858469 | o2(x,o1(o1(x))) | true | 54559 | 54559 | -0.4836 | 0.2183 | 0.798 | 0.4999 | 0.707 | -1 | 1 | 2 | 1 | 3.18 | 0.08895 | 0.02537 | 0.125 | 0.5561 | 1 | -0.0004593 | 0.2136 | 0.1557 | 0.09868 | 0.3141 | 2.513 | 1.999 | 0.2287 | 0.4273 | 1 | 1 | 0.1208 | 0.4308 | 0.08441 | 0.2418 | 0.8619 | 0.1689 | json |
| t15_x1_u45_b9 | 15 | 1 | 45 | 9 | ![]() |
dot(P,nrm(flr(D))) | 70820 | 121858470 | o2(x,o1(o1(x))) | true | 54567 | 54567 | -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_u45_b10 | 15 | 1 | 45 | 10 | ![]() |
dst(P,nrm(flr(D))) | 70821 | 121858471 | o2(x,o1(o1(x))) | true | 54575 | 54575 | -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_u46_b0 | 15 | 1 | 46 | 0 | ![]() |
add(P,nrm(cil(D))) | 70822 | 121858662 | o2(x,o1(o1(x))) | true | 54583 | 54583 | -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_u46_b1 | 15 | 1 | 46 | 1 | ![]() |
sub(P,nrm(cil(D))) | 70823 | 121858663 | o2(x,o1(o1(x))) | true | 54591 | 54591 | -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_u46_b2 | 15 | 1 | 46 | 2 | ![]() |
mlt(P,nrm(cil(D))) | 70824 | 121858664 | o2(x,o1(o1(x))) | true | 54599 | 54599 | -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_u46_b3 | 15 | 1 | 46 | 3 | ![]() |
div(P,nrm(cil(D))) | 70825 | 121858665 | o2(x,o1(o1(x))) | true | 54607 | 54607 | -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_u46_b4 | 15 | 1 | 46 | 4 | ![]() |
pow(P,nrm(cil(D))) | 70826 | 121858666 | o2(x,o1(o1(x))) | true | 54615 | 54615 | -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_u46_b5 | 15 | 1 | 46 | 5 | ![]() |
mod(P,nrm(cil(D))) | 70827 | 121858667 | o2(x,o1(o1(x))) | true | 54623 | 54623 | -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_u46_b6 | 15 | 1 | 46 | 6 | ![]() |
lrg(P,nrm(cil(D))) | 70828 | 121858668 | o2(x,o1(o1(x))) | true | 54631 | 54631 | 0.5781 | 0.9727 | 0.5781 | 0.1828 | 0.4276 | 8.471e-8 | 1 | 1 | 1 | 2.79 | 0.01551 | 0.01457 | 0.06491 | 0.03103 | 1 | -0.00004493 | 0.06039 | 0.07706 | 0.02588 | 0.1609 | 2.478 | 1.413 | 0.1645 | 0.3303 | 1 | 1 | 0.03396 | 0.1214 | 0.04583 | 0.1857 | 0.664 | 0.2507 | json |
| t15_x1_u46_b7 | 15 | 1 | 46 | 7 | ![]() |
eql(P,nrm(cil(D))) | 70829 | 121858669 | o2(x,o1(o1(x))) | true | 54639 | 54639 | 0.03125 | 0.1182 | 0.03125 | 0.01821 | 0.1349 | 0 | 0.9994 | 0.9994 | 1 | 0.637 | 0.00337 | 0.003239 | 0.01399 | 0.01984 | 1 | -2.102e-10 | 0.01338 | 0.01693 | 0.00641 | 0.08006 | 5.724 | 0.9994 | 0.3629 | 0.7346 | 1 | 1 | 0.009472 | 0.03678 | 0.02478 | 0.5201 | 2.02 | 1.361 | json |
| t15_x1_u46_b8 | 15 | 1 | 46 | 8 | ![]() |
min(P,nrm(cil(D))) | 70830 | 121858670 | o2(x,o1(o1(x))) | true | 54647 | 54647 | -0.09542 | 0.4966 | 0.8421 | 0.7873 | 0.8873 | -1 | 1 | 2 | 1 | 2.818 | 0.004004 | 0.01723 | 0.05122 | -0.6229 | 1 | -0.00011 | 0.03937 | 0.06281 | 0.01861 | 0.1364 | 2.663 | 0.9992 | 0.02697 | 0.05001 | 1 | 1 | 0.0245 | 0.08644 | 0.1821 | 0.03112 | 0.1098 | 0.2313 | json |
| t15_x1_u46_b9 | 15 | 1 | 46 | 9 | ![]() |
dot(P,nrm(cil(D))) | 70831 | 121858671 | o2(x,o1(o1(x))) | true | 54655 | 54655 | -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_u46_b10 | 15 | 1 | 46 | 10 | ![]() |
dst(P,nrm(cil(D))) | 70832 | 121858672 | o2(x,o1(o1(x))) | true | 54663 | 54663 | -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_u47_b0 | 15 | 1 | 47 | 0 | ![]() |
add(P,nrm(sgn(D))) | 70833 | 121858863 | o2(x,o1(o1(x))) | true | 54671 | 54671 | 0 | 0.5 | 0.9375 | 0.9093 | 0.9536 | -1 | 1 | 2 | 1 | 1.907 | 0.01202 | 0 | 0.01451 | 1 | 1 | 0 | 0.0239 | 0.02321 | 0.0118 | 0.1087 | 7.489 | 1.414 | 0.01322 | 0.02629 | 1 | 1 | 0.01604 | 0.05584 | 0.2146 | 0.01764 | 0.06142 | 0.236 | json |
| t15_x1_u47_b1 | 15 | 1 | 47 | 1 | ![]() |
sub(P,nrm(sgn(D))) | 70834 | 121858864 | o2(x,o1(o1(x))) | true | 54679 | 54679 | 0 | 0.5 | 0.9375 | 0.9128 | 0.9554 | -1 | 1 | 2 | 1 | 1.938 | 0.01577 | 0 | 0.03036 | 1 | 1 | -1.419e-9 | 0.02505 | 0.03021 | 0.01485 | 0.1219 | 4.013 | 1.413 | 0.01728 | 0.02745 | 1 | 1 | 0.02523 | 0.09988 | 0.2194 | 0.02764 | 0.1094 | 0.2403 | json |
| t15_x1_u47_b2 | 15 | 1 | 47 | 2 | ![]() |
mlt(P,nrm(sgn(D))) | 70835 | 121858865 | o2(x,o1(o1(x))) | true | 54687 | 54687 | -0.1247 | 0.4141 | 0.8095 | 0.7382 | 0.8592 | -1 | 1 | 2 | 1 | 3.075 | 0.277 | 1.198e-16 | 0.2208 | 1 | 1 | -3.338e-9 | 0.4645 | 0.2969 | 0.2282 | 0.4777 | 2.163 | 2 | 0.3752 | 0.6293 | 1 | 1 | 0.2915 | 1.276 | 0.128 | 0.3948 | 1.729 | 0.1734 | json |
| t15_x1_u47_b3 | 15 | 1 | 47 | 3 | ![]() |
div(P,nrm(sgn(D))) | 70836 | 121858866 | o2(x,o1(o1(x))) | true | 54695 | 54695 | -0.1437 | 0.4141 | 0.8928 | 0.8476 | 0.9206 | -1 | 1 | 2 | 1 | 2.043 | 0.3277 | 1.497e-16 | 0.2301 | 1 | 1 | 9.649e-10 | 0.5553 | 0.3448 | 0.2746 | 0.524 | 2.277 | 2 | 0.3866 | 0.6552 | 1 | 1 | 0.3597 | 1.532 | 0.2014 | 0.4244 | 1.807 | 0.2376 | json |
| t15_x1_u47_b4 | 15 | 1 | 47 | 4 | ![]() |
pow(P,nrm(sgn(D))) | 70837 | 121858867 | o2(x,o1(o1(x))) | true | 54703 | 54703 | -0.1119 | 0.5 | 0.8881 | 0.8311 | 0.9117 | -1 | 1 | 2 | 1 | 2.362 | 0.01641 | 0 | 0.04021 | 1 | 1 | -0.000335 | 0.02829 | 0.04848 | 0.01478 | 0.1216 | 3.024 | 1 | 0.01974 | 0.03404 | 1 | 1 | 0.01773 | 0.07523 | 0.259 | 0.02133 | 0.09051 | 0.3116 | json |
| t15_x1_u47_b5 | 15 | 1 | 47 | 5 | ![]() |
mod(P,nrm(sgn(D))) | 70838 | 121858868 | o2(x,o1(o1(x))) | true | 54711 | 54711 | 2.456e-11 | 0.4961 | 0.3319 | 0.1402 | 0.3744 | -0.636 | 0.636 | 1.272 | 1 | 4.382 | 0.0006656 | 0 | 0.02142 | 1 | 1 | 0 | 0.00003018 | 0.004941 | 0.000207 | 0.01439 | 0.6717 | 0.04841 | 0.004749 | 0.0002153 | 1 | 1 | 0.00127 | 0.01643 | 0.05356 | 0.009062 | 0.1172 | 0.3821 | json |
| t15_x1_u47_b6 | 15 | 1 | 47 | 6 | ![]() |
lrg(P,nrm(sgn(D))) | 70839 | 121858869 | o2(x,o1(o1(x))) | true | 54719 | 54719 | 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_u47_b7 | 15 | 1 | 47 | 7 | ![]() |
eql(P,nrm(sgn(D))) | 70840 | 121858870 | o2(x,o1(o1(x))) | true | 54727 | 54727 | 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_u47_b8 | 15 | 1 | 47 | 8 | ![]() |
min(P,nrm(sgn(D))) | 70841 | 121858871 | o2(x,o1(o1(x))) | true | 54735 | 54735 | -0.5129 | 0.2188 | 0.7259 | 0.3569 | 0.5974 | -1 | 0.7067 | 1.707 | 1 | 3.196 | 0.06262 | 0 | 0.08526 | 1 | 1 | -0.0001271 | 0.1167 | 0.0941 | 0.05537 | 0.2353 | 2.76 | 1.414 | 0.1755 | 0.3269 | 1 | 1 | 0.06949 | 0.2416 | 0.07832 | 0.1947 | 0.6771 | 0.2195 | json |
| t15_x1_u47_b9 | 15 | 1 | 47 | 9 | ![]() |
dot(P,nrm(sgn(D))) | 70842 | 121858872 | o2(x,o1(o1(x))) | true | 54743 | 54743 | -0.1592 | 0.4171 | 0.8881 | 0.8261 | 0.9089 | -1 | 1 | 2 | 1 | 2.53 | 0.1839 | 0.1839 | 0.2804 | 0.000001175 | 1 | -0.00009076 | 0.6468 | 0.4062 | 0.2894 | 0.5379 | 1.918 | 2.261 | 0.4454 | 0.783 | 1 | 1 | 0.3925 | 1.525 | 0.2253 | 0.4751 | 1.846 | 0.2727 | json |
| t15_x1_u47_b10 | 15 | 1 | 47 | 10 | ![]() |
dst(P,nrm(sgn(D))) | 70843 | 121858873 | o2(x,o1(o1(x))) | true | 54751 | 54751 | 0.9991 | 1 | 0.9991 | 0.0002918 | 0.01708 | 0.4156 | 1 | 0.5844 | 1 | 0.04357 | 0.0001111 | 0.0001111 | 0.0008141 | -2.62e-7 | 1 | -2.628e-11 | 0.0004562 | 0.001196 | 0.0002216 | 0.01489 | 18.29 | 0.8265 | 0.7616 | 1.564 | 1 | 1 | 0.0004458 | 0.001055 | 0.001063 | 1.528 | 3.616 | 3.645 | json |
| t15_x1_u48_b0 | 15 | 1 | 48 | 0 | ![]() |
add(P,nrm(nrm(D))) | 70844 | 121859064 | o2(x,o1(o1(x))) | true | 54759 | 54759 | 1.164e-10 | 0.5 | 0.9375 | 0.9122 | 0.9551 | -1 | 1 | 2 | 1 | 1.986 | 0.00342 | 0.0009048 | 0.01624 | 0.5816 | 1 | 1.201e-10 | 0.004582 | 0.009262 | 0.00406 | 0.06372 | 3.924 | 1.467 | 0.004741 | 0.005023 | 1 | 1 | 0.009273 | 0.0527 | 0.2184 | 0.01017 | 0.05778 | 0.2394 | json |
| t15_x1_u48_b1 | 15 | 1 | 48 | 1 | ![]() |
sub(P,nrm(nrm(D))) | 70845 | 121859065 | o2(x,o1(o1(x))) | true | 54767 | 54767 | 0 | 0.5 | 0.9375 | 0.9164 | 0.9573 | -1 | 1 | 2 | 1 | 1.988 | 0.006492 | 0.0009048 | 0.02629 | 0.7554 | 1 | 2.37e-10 | 0.005844 | 0.01605 | 0.006708 | 0.0819 | 3.115 | 1.466 | 0.008071 | 0.006377 | 1 | 1 | 0.01661 | 0.08876 | 0.2242 | 0.01813 | 0.09685 | 0.2447 | json |
| t15_x1_u48_b2 | 15 | 1 | 48 | 2 | ![]() |
mlt(P,nrm(nrm(D))) | 70846 | 121859066 | o2(x,o1(o1(x))) | true | 54775 | 54775 | -0.1393 | 0.4004 | 0.7418 | 0.6454 | 0.8034 | -1 | 1 | 2 | 1 | 3.699 | 0.1739 | 0.003849 | 0.2207 | 0.9567 | 1 | 0.00000532 | 0.2175 | 0.2027 | 0.129 | 0.3592 | 1.628 | 2.034 | 0.2753 | 0.3371 | 1 | 1 | 0.2157 | 1.144 | 0.09858 | 0.3342 | 1.773 | 0.1527 | json |
| t15_x1_u48_b3 | 15 | 1 | 48 | 3 | ![]() |
div(P,nrm(nrm(D))) | 70847 | 121859067 | o2(x,o1(o1(x))) | true | 54783 | 54783 | -0.131 | 0.416 | 0.8877 | 0.8435 | 0.9184 | -1 | 1 | 2 | 1 | 2.316 | 0.3309 | 0.0003776 | 0.2311 | 0.9977 | 1 | -0.00001758 | 0.568 | 0.3483 | 0.2779 | 0.5271 | 2.281 | 2 | 0.3927 | 0.6734 | 1 | 1 | 0.3589 | 1.533 | 0.2002 | 0.4256 | 1.818 | 0.2373 | json |
| t15_x1_u48_b4 | 15 | 1 | 48 | 4 | ![]() |
pow(P,nrm(nrm(D))) | 70848 | 121859068 | o2(x,o1(o1(x))) | true | 54791 | 54791 | -0.08343 | 0.5 | 0.9166 | 0.8711 | 0.9333 | -1 | 1 | 2 | 1 | 2.268 | 0.009273 | 0.0004971 | 0.03296 | 0.8982 | 1 | -0.0001411 | 0.01408 | 0.03233 | 0.008687 | 0.09321 | 2.828 | 1 | 0.01122 | 0.01616 | 1 | 1 | 0.01338 | 0.06194 | 0.261 | 0.01536 | 0.07111 | 0.2997 | json |
| t15_x1_u48_b5 | 15 | 1 | 48 | 5 | ![]() |
mod(P,nrm(nrm(D))) | 70849 | 121859069 | o2(x,o1(o1(x))) | true | 54799 | 54799 | -1.523e-11 | 0.4941 | 0.2126 | 0.07595 | 0.2756 | -0.8254 | 0.8254 | 1.651 | 1 | 4.139 | 0.02776 | 0.03084 | 0.1844 | -0.05261 | 1 | 1.405e-9 | 0.2714 | 0.3504 | 0.02458 | 0.1568 | 0.8501 | 0.9004 | 0.7715 | 3.574 | 1 | 1 | 0.03599 | 0.0534 | 0.0219 | 0.4739 | 0.7031 | 0.2883 | json |
| t15_x1_u48_b6 | 15 | 1 | 48 | 6 | ![]() |
lrg(P,nrm(nrm(D))) | 70850 | 121859070 | o2(x,o1(o1(x))) | true | 54807 | 54807 | 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_u48_b7 | 15 | 1 | 48 | 7 | ![]() |
eql(P,nrm(nrm(D))) | 70851 | 121859071 | o2(x,o1(o1(x))) | true | 54815 | 54815 | 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_u48_b8 | 15 | 1 | 48 | 8 | ![]() |
min(P,nrm(nrm(D))) | 70852 | 121859072 | o2(x,o1(o1(x))) | true | 54823 | 54823 | -0.509 | 0.2188 | 0.6692 | 0.3171 | 0.5631 | -1 | 0.9346 | 1.935 | 1 | 3.438 | 0.01842 | 0.003499 | 0.07977 | 0.6807 | 1 | 0.000361 | 0.02058 | 0.03604 | 0.01555 | 0.1247 | 1.563 | 1.467 | 0.06911 | 0.06489 | 1 | 1 | 0.03733 | 0.2091 | 0.07642 | 0.1177 | 0.6595 | 0.241 | json |
| t15_x1_u48_b9 | 15 | 1 | 48 | 9 | ![]() |
dot(P,nrm(nrm(D))) | 70853 | 121859073 | o2(x,o1(o1(x))) | true | 54831 | 54831 | -0.2133 | 0.3854 | 0.8373 | 0.7386 | 0.8594 | -1 | 1 | 2 | 1 | 3.01 | 0.1207 | 0.1207 | 0.2636 | 0.000001266 | 1 | 0.002721 | 0.3666 | 0.28 | 0.1719 | 0.4146 | 1.573 | 2.828 | 0.3268 | 0.4964 | 1 | 1 | 0.2994 | 1.369 | 0.1653 | 0.4054 | 1.854 | 0.2239 | json |
| t15_x1_u48_b10 | 15 | 1 | 48 | 10 | ![]() |
dst(P,nrm(nrm(D))) | 70854 | 121859074 | o2(x,o1(o1(x))) | true | 54839 | 54839 | 0.9991 | 1 | 0.9991 | 0.0003704 | 0.01925 | 0.281 | 1 | 0.719 | 1 | 0.03355 | 0.0001439 | 0.0001439 | 0.0009539 | -2.023e-7 | 1 | 6.758e-11 | 0.0005665 | 0.001153 | 0.0002865 | 0.01693 | 17.74 | 0.8262 | 0.7769 | 1.529 | 1 | 1 | 0.0006866 | 0.001349 | 0.001349 | 1.854 | 3.641 | 3.641 | json |
| t15_x2_u0_b0 | 15 | 2 | 0 | 0 | ![]() |
add(P,sqt(sqt(R))) | 70855 | 121889817 | o2(x,o1(o1(x))) | true | 54847 | 54847 | -0.976 | 0.01086 | 0.9943 | 0.04018 | 0.2005 | -1 | 1 | 2 | 1 | 0.1884 | 0.002705 | 0.004839 | 0.005133 | -0.2829 | 1 | 0 | 0.01558 | 0.009095 | 0.007518 | 0.08671 | 16.89 | 2.828 | 0.1877 | 0.3877 | 1 | 1 | 0.002432 | 0.01398 | 0.04233 | 0.06053 | 0.3479 | 1.053 | json |
| t15_x2_u0_b1 | 15 | 2 | 0 | 1 | ![]() |
sub(P,sqt(sqt(R))) | 70856 | 121889818 | o2(x,o1(o1(x))) | true | 54855 | 54855 | -0.9896 | 0.004761 | 0.9975 | 0.0175 | 0.1323 | -1 | 1 | 2 | 1 | 0.1002 | 0.001313 | 0.002021 | 0.002244 | -0.2125 | 1 | 4.881e-11 | 0.00696 | 0.00406 | 0.003327 | 0.05768 | 25.7 | 2 | 0.1904 | 0.3976 | 1 | 1 | 0.0001094 | 0.0007688 | 0.0151 | 0.006249 | 0.04392 | 0.8624 | json |
| t15_x2_u0_b2 | 15 | 2 | 0 | 2 | ![]() |
mlt(P,sqt(sqt(R))) | 70857 | 121889819 | o2(x,o1(o1(x))) | true | 54863 | 54863 | -0.9842 | 0.007813 | 0.9957 | 0.0259 | 0.1609 | -1 | 1 | 2 | 1 | 0.147 | 0.002004 | 0.003122 | 0.003456 | -0.2182 | 1 | 3.754e-12 | 0.01068 | 0.006082 | 0.005113 | 0.07151 | 20.69 | 2.778 | 0.1979 | 0.4124 | 1 | 1 | 0.0006101 | 0.004171 | 0.02291 | 0.02356 | 0.1611 | 0.8845 | json |
| t15_x2_u0_b3 | 15 | 2 | 0 | 3 | ![]() |
div(P,sqt(sqt(R))) | 70858 | 121889820 | o2(x,o1(o1(x))) | true | 54871 | 54871 | -0.9844 | 0.007813 | 0.9963 | 0.02652 | 0.1628 | -1 | 1 | 2 | 1 | 0.1202 | 0.002065 | 0.0032 | 0.003356 | -0.2155 | 1 | -7.509e-12 | 0.01095 | 0.005908 | 0.005253 | 0.07248 | 21.6 | 2.828 | 0.1986 | 0.413 | 1 | 1 | 0.0006397 | 0.004467 | 0.0234 | 0.02413 | 0.1684 | 0.8826 | json |
| t15_x2_u0_b4 | 15 | 2 | 0 | 4 | ![]() |
pow(P,sqt(sqt(R))) | 70859 | 121889821 | o2(x,o1(o1(x))) | true | 54879 | 54879 | -0.9609 | 0.02344 | 0.9922 | 0.06706 | 0.259 | -1 | 1 | 2 | 1 | 0.226 | 0.0079 | 0.006387 | 0.008969 | 0.1059 | 1 | -1.201e-10 | 0.03013 | 0.01633 | 0.01421 | 0.1192 | 13.29 | 2.828 | 0.213 | 0.4493 | 1 | 1 | 0.01203 | 0.04862 | 0.1347 | 0.1794 | 0.725 | 2.009 | json |
| t15_x2_u0_b5 | 15 | 2 | 0 | 5 | ![]() |
mod(P,sqt(sqt(R))) | 70860 | 121889822 | o2(x,o1(o1(x))) | true | 54887 | 54887 | -0.9649 | 0.007568 | 0.9681 | 0.03028 | 0.174 | -1 | 0.6872 | 1.687 | 1 | 0.4234 | 0.002891 | 0.003372 | 0.007595 | -0.07688 | 1 | -0.00000155 | 0.01307 | 0.01388 | 0.006207 | 0.07879 | 10.37 | 1.687 | 0.2068 | 0.4318 | 1 | 1 | 0.003761 | 0.01698 | 0.04564 | 0.1242 | 0.5609 | 1.507 | json |
| t15_x2_u0_b6 | 15 | 2 | 0 | 6 | ![]() |
lrg(P,sqt(sqt(R))) | 70861 | 121889823 | o2(x,o1(o1(x))) | true | 54895 | 54895 | 0.7324 | 0.9569 | 0.7324 | 0.1474 | 0.3839 | 0 | 1 | 1 | 1 | 2.341 | 0.001052 | 0.001231 | 0.02666 | -0.0785 | 1 | -0.000006429 | 0.0001288 | 0.006434 | 0.001572 | 0.03965 | 1.487 | 0.1169 | 0.01549 | 0.000874 | 1 | 1 | 0.004654 | 0.05961 | 0.1835 | 0.03158 | 0.4044 | 1.245 | json |
| t15_x2_u0_b7 | 15 | 2 | 0 | 7 | ![]() |
eql(P,sqt(sqt(R))) | 70862 | 121889824 | o2(x,o1(o1(x))) | true | 54903 | 54903 | 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_x2_u0_b8 | 15 | 2 | 0 | 8 | ![]() |
min(P,sqt(sqt(R))) | 70863 | 121889825 | o2(x,o1(o1(x))) | true | 54911 | 54911 | -0.01439 | 0.4998 | 0.9231 | 0.9 | 0.9487 | -1 | 1 | 2 | 1 | 2.17 | 0.00078 | 0.0002706 | 0.01183 | 0.4848 | 1 | -0.00004952 | 0.0003465 | 0.00547 | 0.000911 | 0.03018 | 2.551 | 0.3069 | 0.001167 | 0.000385 | 1 | 1 | 0.002153 | 0.02565 | 0.2266 | 0.002392 | 0.0285 | 0.2517 | json |
| t15_x2_u0_b9 | 15 | 2 | 0 | 9 | ![]() |
dot(P,sqt(sqt(R))) | 70864 | 121889826 | o2(x,o1(o1(x))) | true | 54919 | 54919 | -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_x2_u0_b10 | 15 | 2 | 0 | 10 | ![]() |
dst(P,sqt(sqt(R))) | 70865 | 121889827 | o2(x,o1(o1(x))) | true | 54927 | 54927 | -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_x2_u1_b0 | 15 | 2 | 1 | 0 | ![]() |
add(P,sqt(log(R))) | 70866 | 121890018 | o2(x,o1(o1(x))) | true | 54935 | 54935 | -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_x2_u1_b1 | 15 | 2 | 1 | 1 | ![]() |
sub(P,sqt(log(R))) | 70867 | 121890019 | o2(x,o1(o1(x))) | true | 54943 | 54943 | -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_x2_u1_b2 | 15 | 2 | 1 | 2 | ![]() |
mlt(P,sqt(log(R))) | 70868 | 121890020 | o2(x,o1(o1(x))) | true | 54951 | 54951 | -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_x2_u1_b3 | 15 | 2 | 1 | 3 | ![]() |
div(P,sqt(log(R))) | 70869 | 121890021 | o2(x,o1(o1(x))) | true | 54959 | 54959 | -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_x2_u1_b4 | 15 | 2 | 1 | 4 | ![]() |
pow(P,sqt(log(R))) | 70870 | 121890022 | o2(x,o1(o1(x))) | true | 54967 | 54967 | -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_x2_u1_b5 | 15 | 2 | 1 | 5 | ![]() |
mod(P,sqt(log(R))) | 70871 | 121890023 | o2(x,o1(o1(x))) | true | 54975 | 54975 | -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_x2_u1_b6 | 15 | 2 | 1 | 6 | ![]() |
lrg(P,sqt(log(R))) | 70872 | 121890024 | o2(x,o1(o1(x))) | true | 54983 | 54983 | 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_x2_u1_b7 | 15 | 2 | 1 | 7 | ![]() |
eql(P,sqt(log(R))) | 70873 | 121890025 | o2(x,o1(o1(x))) | true | 54991 | 54991 | 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_x2_u1_b8 | 15 | 2 | 1 | 8 | ![]() |
min(P,sqt(log(R))) | 70874 | 121890026 | o2(x,o1(o1(x))) | true | 54999 | 54999 | 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_x2_u1_b9 | 15 | 2 | 1 | 9 | ![]() |
dot(P,sqt(log(R))) | 70875 | 121890027 | o2(x,o1(o1(x))) | true | 55007 | 55007 | -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_x2_u1_b10 | 15 | 2 | 1 | 10 | ![]() |
dst(P,sqt(log(R))) | 70876 | 121890028 | o2(x,o1(o1(x))) | true | 55015 | 55015 | -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_x2_u2_b0 | 15 | 2 | 2 | 0 | ![]() |
add(P,sqt(frc(R))) | 70877 | 121890219 | o2(x,o1(o1(x))) | true | 55023 | 55023 | 0.08504 | 0.5394 | 0.9336 | 0.9046 | 0.9511 | -1 | 1 | 2 | 1 | 1.983 | 0.0007386 | 0.00005466 | 0.008632 | 0.8622 | 1 | -0.000005254 | 0.0001121 | 0.002699 | 0.0007191 | 0.02682 | 3.106 | 0.2085 | 0.0008769 | 0.0001239 | 1 | 1 | 0.001999 | 0.024 | 0.2251 | 0.00221 | 0.02653 | 0.2488 | json |
| t15_x2_u2_b1 | 15 | 2 | 2 | 1 | ![]() |
sub(P,sqt(frc(R))) | 70878 | 121890220 | o2(x,o1(o1(x))) | true | 55031 | 55031 | -0.08702 | 0.4599 | 0.9323 | 0.9027 | 0.9501 | -1 | 1 | 2 | 1 | 1.992 | 0.0007313 | 0.00004897 | 0.008578 | 0.8745 | 1 | 0.0000038 | 0.0001144 | 0.00267 | 0.0007066 | 0.02658 | 3.099 | 0.2034 | 0.0008643 | 0.0001267 | 1 | 1 | 0.002006 | 0.02388 | 0.2237 | 0.002222 | 0.02645 | 0.2478 | json |
| t15_x2_u2_b2 | 15 | 2 | 2 | 2 | ![]() |
mlt(P,sqt(frc(R))) | 70879 | 121890221 | o2(x,o1(o1(x))) | true | 55039 | 55039 | 0.003797 | 0.4998 | 0.902 | 0.8741 | 0.935 | -1 | 1 | 2 | 1 | 2.398 | 0.0006585 | 0.0001729 | 0.01073 | 0.584 | 1 | 0.000004586 | 0.0001435 | 0.003556 | 0.0007161 | 0.02676 | 2.495 | 0.2861 | 0.0009512 | 0.0001642 | 1 | 1 | 0.001981 | 0.02315 | 0.1946 | 0.002266 | 0.02649 | 0.2226 | json |
| t15_x2_u2_b3 | 15 | 2 | 2 | 3 | ![]() |
div(P,sqt(frc(R))) | 70880 | 121890222 | o2(x,o1(o1(x))) | true | 55047 | 55047 | -0.0009494 | 0.5 | 0.9501 | 0.9406 | 0.9698 | -1 | 1 | 2 | 1 | 1.639 | 0.001179 | 0.0000587 | 0.008096 | 0.9051 | 1 | 2.962e-7 | 0.0004572 | 0.003193 | 0.001172 | 0.03423 | 4.228 | 0.5905 | 0.001316 | 0.0004861 | 1 | 1 | 0.003065 | 0.0314 | 0.261 | 0.003258 | 0.03338 | 0.2775 | json |
| t15_x2_u2_b4 | 15 | 2 | 2 | 4 | ![]() |
pow(P,sqt(frc(R))) | 70881 | 121890223 | o2(x,o1(o1(x))) | true | 55055 | 55055 | -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_x2_u2_b5 | 15 | 2 | 2 | 5 | ![]() |
mod(P,sqt(frc(R))) | 70882 | 121890224 | o2(x,o1(o1(x))) | true | 55063 | 55063 | -0.001321 | 0.4964 | 0.2684 | 0.1015 | 0.3186 | -0.8732 | 0.865 | 1.738 | 1 | 4.349 | 0.0003694 | 0.0003322 | 0.02115 | 0.05299 | 1 | -0.00001005 | 0.00004096 | 0.004847 | 0.0002545 | 0.01595 | 0.7545 | 0.09566 | 0.006913 | 0.0004036 | 1 | 1 | 0.001216 | 0.01573 | 0.05459 | 0.01198 | 0.155 | 0.5379 | json |
| t15_x2_u2_b6 | 15 | 2 | 2 | 6 | ![]() |
lrg(P,sqt(frc(R))) | 70883 | 121890225 | o2(x,o1(o1(x))) | true | 55071 | 55071 | 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_x2_u2_b7 | 15 | 2 | 2 | 7 | ![]() |
eql(P,sqt(frc(R))) | 70884 | 121890226 | o2(x,o1(o1(x))) | true | 55079 | 55079 | 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_x2_u2_b8 | 15 | 2 | 2 | 8 | ![]() |
min(P,sqt(frc(R))) | 70885 | 121890227 | o2(x,o1(o1(x))) | true | 55087 | 55087 | -0.1438 | 0.4998 | 0.7937 | 0.6792 | 0.8241 | -1 | 0.9985 | 1.998 | 1 | 3.227 | 0.0007547 | 0.0002107 | 0.01743 | 0.5635 | 1 | 0.00002053 | 0.00004942 | 0.003996 | 0.0006617 | 0.02572 | 1.476 | 0.1169 | 0.001421 | 0.00007276 | 1 | 1 | 0.002135 | 0.0281 | 0.2065 | 0.003144 | 0.04138 | 0.304 | json |
| t15_x2_u2_b9 | 15 | 2 | 2 | 9 | ![]() |
dot(P,sqt(frc(R))) | 70886 | 121890228 | o2(x,o1(o1(x))) | true | 55095 | 55095 | -0.02471 | 0.489 | 0.9084 | 0.8786 | 0.9373 | -1 | 1 | 2 | 1 | 2.301 | 0.003512 | 0.00469 | 0.02921 | -0.1436 | 1 | -0.00002932 | 0.003006 | 0.01325 | 0.00735 | 0.08573 | 2.935 | 0.9544 | 0.009336 | 0.003421 | 1 | 1 | 0.01164 | 0.1221 | 0.4318 | 0.01325 | 0.1389 | 0.4915 | json |
| t15_x2_u2_b10 | 15 | 2 | 2 | 10 | ![]() |
dst(P,sqt(frc(R))) | 70887 | 121890229 | o2(x,o1(o1(x))) | true | 55103 | 55103 | 0.9993 | 1 | 0.9993 | 0.0001821 | 0.0135 | 0.6163 | 1 | 0.3837 | 1 | 0.03608 | 0.000006654 | 0.000008917 | 0.0002248 | -0.1453 | 0 | -7.509e-12 | 0.000006556 | 0.0001313 | 0.00001552 | 0.00394 | 17.53 | 0.1203 | 0.08549 | 0.036 | 1 | 1 | 0.00005029 | 0.0004426 | 0.0006637 | 0.2761 | 2.43 | 3.644 | json |
| t15_x2_u3_b0 | 15 | 2 | 3 | 0 | ![]() |
add(P,sqt(flr(R))) | 70888 | 121890420 | o2(x,o1(o1(x))) | true | 55111 | 55111 | -0.9844 | 0.007813 | 0.9961 | 0.02625 | 0.162 | -1 | 1 | 2 | 1 | 0.1256 | 0.00206 | 0.003166 | 0.003355 | -0.2116 | 1 | 3.754e-12 | 0.01089 | 0.005899 | 0.005215 | 0.07221 | 21.53 | 2.828 | 0.1991 | 0.4147 | 1 | 1 | 0.0006169 | 0.004318 | 0.02317 | 0.0235 | 0.1645 | 0.8824 | json |
| t15_x2_u3_b1 | 15 | 2 | 3 | 1 | ![]() |
sub(P,sqt(flr(R))) | 70889 | 121890421 | o2(x,o1(o1(x))) | true | 55119 | 55119 | -0.9844 | 0.007813 | 0.9961 | 0.02625 | 0.162 | -1 | 1 | 2 | 1 | 0.1256 | 0.00206 | 0.003166 | 0.003355 | -0.2116 | 1 | 3.754e-12 | 0.01089 | 0.005899 | 0.005215 | 0.07221 | 21.53 | 2.828 | 0.1991 | 0.4147 | 1 | 1 | 0.0006169 | 0.004318 | 0.02317 | 0.0235 | 0.1645 | 0.8824 | json |
| t15_x2_u3_b2 | 15 | 2 | 3 | 2 | ![]() |
mlt(P,sqt(flr(R))) | 70890 | 121890422 | o2(x,o1(o1(x))) | true | 55127 | 55127 | -0.957 | 0 | 0.957 | 0.04112 | 0.2028 | -1 | 0 | 1 | 1 | 0.2557 | 0.00422 | 0.004094 | 0.008259 | 0.01515 | 1 | 0 | 0.01738 | 0.01663 | 0.008241 | 0.09078 | 10.99 | 1.414 | 0.2022 | 0.4228 | 1 | 1 | 0.006357 | 0.02738 | 0.06893 | 0.1546 | 0.6659 | 1.676 | json |
| t15_x2_u3_b3 | 15 | 2 | 3 | 3 | ![]() |
div(P,sqt(flr(R))) | 70891 | 121890423 | o2(x,o1(o1(x))) | true | 55135 | 55135 | -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_x2_u3_b4 | 15 | 2 | 3 | 4 | ![]() |
pow(P,sqt(flr(R))) | 70892 | 121890424 | o2(x,o1(o1(x))) | true | 55143 | 55143 | -0.8828 | 0.05859 | 1 | 0.2206 | 0.4697 | -1 | 1 | 2 | 1 | 0.3218 | 0.02469 | 0.02142 | 0.02289 | 0.07104 | 1 | 0 | 0.097 | 0.04611 | 0.04556 | 0.2135 | 9.326 | 2.828 | 0.209 | 0.4397 | 1 | 1 | 0.04382 | 0.1804 | 0.4557 | 0.1987 | 0.818 | 2.066 | json |
| t15_x2_u3_b5 | 15 | 2 | 3 | 5 | ![]() |
mod(P,sqt(flr(R))) | 70893 | 121890425 | o2(x,o1(o1(x))) | true | 55151 | 55151 | -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_x2_u3_b6 | 15 | 2 | 3 | 6 | ![]() |
lrg(P,sqt(flr(R))) | 70894 | 121890426 | o2(x,o1(o1(x))) | true | 55159 | 55159 | 0.7324 | 0.9569 | 0.7324 | 0.1474 | 0.3839 | 0 | 1 | 1 | 1 | 2.341 | 0.001052 | 0.001231 | 0.02666 | -0.0785 | 1 | -0.000006429 | 0.0001288 | 0.006434 | 0.001572 | 0.03965 | 1.487 | 0.1169 | 0.01549 | 0.000874 | 1 | 1 | 0.004654 | 0.05961 | 0.1835 | 0.03158 | 0.4044 | 1.245 | json |
| t15_x2_u3_b7 | 15 | 2 | 3 | 7 | ![]() |
eql(P,sqt(flr(R))) | 70895 | 121890427 | o2(x,o1(o1(x))) | true | 55167 | 55167 | 0.02734 | 0.07556 | 0.02734 | 0.01868 | 0.1367 | 0 | 0.9997 | 0.9997 | 1 | 0.4881 | 0.0002846 | 0.0001053 | 0.004539 | 0.4597 | 1 | -0.000005705 | 0.00002084 | 0.001084 | 0.0003695 | 0.01922 | 4.235 | 0.1169 | 0.02087 | 0.001115 | 1 | 1 | 0.001069 | 0.01392 | 0.04488 | 0.0572 | 0.7453 | 2.402 | json |
| t15_x2_u3_b8 | 15 | 2 | 3 | 8 | ![]() |
min(P,sqt(flr(R))) | 70896 | 121890428 | o2(x,o1(o1(x))) | true | 55175 | 55175 | -0.1217 | 0.4718 | 0.8158 | 0.7727 | 0.879 | -1 | 1 | 2 | 1 | 2.516 | 0.002661 | 0.002845 | 0.02798 | -0.03339 | 1 | -0.0001374 | 0.002633 | 0.01553 | 0.004725 | 0.06874 | 2.457 | 0.4702 | 0.007126 | 0.003408 | 1 | 1 | 0.009223 | 0.08456 | 0.2694 | 0.01194 | 0.1094 | 0.3487 | json |
| t15_x2_u3_b9 | 15 | 2 | 3 | 9 | ![]() |
dot(P,sqt(flr(R))) | 70897 | 121890429 | o2(x,o1(o1(x))) | true | 55183 | 55183 | -0.9961 | 0 | 0.9961 | 0.003891 | 0.06238 | -1 | 0 | 1 | 1 | 0.03687 | 0.0005039 | 0.0005039 | 0.0009986 | 0 | 1 | 0 | 0.002142 | 0.002016 | 0.001006 | 0.03172 | 31.76 | 1.414 | 0.259 | 0.5504 | 1 | 1 | 0.001773 | 0.007091 | 0.01374 | 0.4556 | 1.823 | 3.531 | json |
| t15_x2_u3_b10 | 15 | 2 | 3 | 10 | ![]() |
dst(P,sqt(flr(R))) | 70898 | 121890430 | o2(x,o1(o1(x))) | true | 55191 | 55191 | -0.9922 | 0.003906 | 1 | 0.01556 | 0.1248 | -1 | 1 | 2 | 1 | 0.03687 | 0.002016 | 0.002016 | 0.001997 | 0 | 1 | 0 | 0.008566 | 0.004031 | 0.004024 | 0.06344 | 31.76 | 2.828 | 0.259 | 0.5504 | 1 | 1 | 0.007091 | 0.02837 | 0.05496 | 0.4556 | 1.823 | 3.531 | json |
| t15_x2_u4_b0 | 15 | 2 | 4 | 0 | ![]() |
add(P,sqt(cil(R))) | 70899 | 121890621 | o2(x,o1(o1(x))) | true | 55199 | 55199 | 0.06347 | 0.5253 | 0.9326 | 0.9159 | 0.9571 | -1 | 1 | 2 | 1 | 1.84 | 0.0009772 | 0.0002573 | 0.009837 | 0.5831 | 1 | -0.00001925 | 0.0001771 | 0.002995 | 0.001138 | 0.03373 | 3.429 | 0.2338 | 0.001348 | 0.0001934 | 1 | 1 | 0.003184 | 0.03819 | 0.2638 | 0.003476 | 0.0417 | 0.288 | json |



































































































