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 | ||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| t16_x1_u0_b25 | 16 | 1 | 0 | 25 | ![]() |
mlt(P,sqt(div(P,D))) | 75500 | 129970042 | o2(x,o1(o2(x,x))) | true | 92007 | 92007 | -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 |
| t16_x1_u0_b26 | 16 | 1 | 0 | 26 | ![]() |
mlt(P,sqt(pow(P,D))) | 75501 | 129970043 | o2(x,o1(o2(x,x))) | true | 92015 | 92015 | -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 |
| t16_x1_u0_b27 | 16 | 1 | 0 | 27 | ![]() |
mlt(P,sqt(mod(P,D))) | 75502 | 129970044 | o2(x,o1(o2(x,x))) | true | 92023 | 92023 | -0.1462 | 0.4883 | 0.846 | 0.7989 | 0.8938 | -1 | 1 | 2 | 1 | 2.147 | 0.07032 | 0 | 0.09224 | 1 | 1 | -1.893e-9 | 0.1795 | 0.1729 | 0.06183 | 0.2487 | 2.696 | 1 | 0.08802 | 0.2247 | 1 | 1 | 0.05174 | 0.09953 | 0.187 | 0.06476 | 0.1246 | 0.234 | json |
| t16_x1_u0_b28 | 16 | 1 | 0 | 28 | ![]() |
mlt(P,sqt(lrg(P,D))) | 75503 | 129970045 | o2(x,o1(o2(x,x))) | true | 92031 | 92031 | 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 |
| t16_x1_u0_b29 | 16 | 1 | 0 | 29 | ![]() |
mlt(P,sqt(eql(P,D))) | 75504 | 129970046 | o2(x,o1(o2(x,x))) | true | 92039 | 92039 | 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 |
| t16_x1_u0_b30 | 16 | 1 | 0 | 30 | ![]() |
mlt(P,sqt(min(P,D))) | 75505 | 129970047 | o2(x,o1(o2(x,x))) | true | 92047 | 92047 | -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 |
| t16_x1_u0_b31 | 16 | 1 | 0 | 31 | ![]() |
mlt(P,sqt(dot(P,D))) | 75506 | 129970048 | o2(x,o1(o2(x,x))) | true | 92055 | 92055 | -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 |
| t16_x1_u0_b32 | 16 | 1 | 0 | 32 | ![]() |
mlt(P,sqt(dst(P,D))) | 75507 | 129970049 | o2(x,o1(o2(x,x))) | true | 92063 | 92063 | -5.821e-10 | 0.5 | 0.9564 | 0.9485 | 0.9739 | -1 | 1 | 2 | 1 | 1.556 | 0.001304 | 0.000002056 | 0.007956 | 0.9969 | 1 | -3.754e-12 | 0.0003276 | 0.00348 | 0.001243 | 0.03526 | 4.432 | 0.2946 | 0.001377 | 0.0003454 | 1 | 1 | 0.003077 | 0.03166 | 0.2646 | 0.003244 | 0.03338 | 0.2789 | json |
| t16_x1_u0_b33 | 16 | 1 | 0 | 33 | ![]() |
div(P,sqt(add(P,D))) | 75508 | 129970050 | o2(x,o1(o2(x,x))) | true | 92071 | 92071 | -0.02525 | 0.5 | 0.9747 | 0.9674 | 0.9836 | -1 | 1 | 2 | 1 | 1.32 | 0.004404 | 0 | 0.008273 | 1 | 1 | 0 | 0.007828 | 0.009208 | 0.004331 | 0.06581 | 7.956 | 1.002 | 0.004552 | 0.008091 | 1 | 1 | 0.00649 | 0.04524 | 0.2945 | 0.006708 | 0.04677 | 0.3044 | json |
| t16_x1_u0_b34 | 16 | 1 | 0 | 34 | ![]() |
div(P,sqt(sub(P,D))) | 75509 | 129970051 | o2(x,o1(o2(x,x))) | true | 92079 | 92079 | -0.125 | 0.4375 | 1 | 0.9844 | 0.9922 | -1 | 1 | 2 | 1 | 0.9887 | 0.01587 | 0 | 0.007937 | 1 | 1 | 0 | 0.03175 | 0.01587 | 0.01581 | 0.1257 | 15.84 | 2 | 0.01612 | 0.03225 | 1 | 1 | 0.02105 | 0.08421 | 0.3368 | 0.02139 | 0.08555 | 0.3422 | json |
| t16_x1_u0_b35 | 16 | 1 | 0 | 35 | ![]() |
div(P,sqt(mlt(P,D))) | 75510 | 129970052 | o2(x,o1(o2(x,x))) | true | 92087 | 92087 | -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 |
| t16_x1_u0_b36 | 16 | 1 | 0 | 36 | ![]() |
div(P,sqt(div(P,D))) | 75511 | 129970053 | o2(x,o1(o2(x,x))) | true | 92095 | 92095 | -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 |
| t16_x1_u0_b37 | 16 | 1 | 0 | 37 | ![]() |
div(P,sqt(pow(P,D))) | 75512 | 129970054 | o2(x,o1(o2(x,x))) | true | 92103 | 92103 | -0.125 | 0.4375 | 1 | 0.9844 | 0.9922 | -1 | 1 | 2 | 1 | 0.9887 | 0.01587 | 0 | 0.007937 | 1 | 1 | 0 | 0.03175 | 0.01587 | 0.01581 | 0.1257 | 15.84 | 2 | 0.01612 | 0.03225 | 1 | 1 | 0.02105 | 0.08421 | 0.3368 | 0.02139 | 0.08555 | 0.3422 | json |
| t16_x1_u0_b38 | 16 | 1 | 0 | 38 | ![]() |
div(P,sqt(mod(P,D))) | 75513 | 129970055 | o2(x,o1(o2(x,x))) | true | 92111 | 92111 | -0.1875 | 0.4063 | 1 | 0.9648 | 0.9823 | -1 | 1 | 2 | 1 | 0.9745 | 0.2381 | 0 | 0.119 | 1 | 1 | 0 | 0.7302 | 0.2381 | 0.2241 | 0.4734 | 3.977 | 2 | 0.2468 | 0.7568 | 1 | 1 | 0.1158 | 0.2 | 0.3368 | 0.12 | 0.2073 | 0.3491 | json |
| t16_x1_u0_b39 | 16 | 1 | 0 | 39 | ![]() |
div(P,sqt(lrg(P,D))) | 75514 | 129970056 | o2(x,o1(o2(x,x))) | true | 92119 | 92119 | -0.125 | 0.4375 | 1 | 0.9844 | 0.9922 | -1 | 1 | 2 | 1 | 0.9887 | 0.01587 | 0 | 0.007937 | 1 | 1 | 0 | 0.03175 | 0.01587 | 0.01581 | 0.1257 | 15.84 | 2 | 0.01612 | 0.03225 | 1 | 1 | 0.02105 | 0.08421 | 0.3368 | 0.02139 | 0.08555 | 0.3422 | json |
| t16_x1_u0_b40 | 16 | 1 | 0 | 40 | ![]() |
div(P,sqt(eql(P,D))) | 75515 | 129970057 | o2(x,o1(o2(x,x))) | true | 92127 | 92127 | -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 |
| t16_x1_u0_b41 | 16 | 1 | 0 | 41 | ![]() |
div(P,sqt(min(P,D))) | 75516 | 129970058 | o2(x,o1(o2(x,x))) | true | 92135 | 92135 | -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 |
| t16_x1_u0_b42 | 16 | 1 | 0 | 42 | ![]() |
div(P,sqt(dot(P,D))) | 75517 | 129970059 | o2(x,o1(o2(x,x))) | true | 92143 | 92143 | -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 |
| t16_x1_u0_b43 | 16 | 1 | 0 | 43 | ![]() |
div(P,sqt(dst(P,D))) | 75518 | 129970060 | o2(x,o1(o2(x,x))) | true | 92151 | 92151 | -5.821e-10 | 0.5 | 0.8715 | 0.831 | 0.9116 | -1 | 1 | 2 | 1 | 2.721 | 0.0003565 | 0.0000147 | 0.008265 | 0.9208 | 1 | 5.063e-11 | 0.0000258 | 0.00203 | 0.000303 | 0.01741 | 2.106 | 0.1056 | 0.0004467 | 0.00003105 | 1 | 1 | 0.001061 | 0.01398 | 0.1612 | 0.001277 | 0.01682 | 0.194 | json |
| t16_x1_u0_b44 | 16 | 1 | 0 | 44 | ![]() |
pow(P,sqt(add(P,D))) | 75519 | 129970061 | o2(x,o1(o2(x,x))) | true | 92159 | 92159 | -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 |
| t16_x1_u0_b45 | 16 | 1 | 0 | 45 | ![]() |
pow(P,sqt(sub(P,D))) | 75520 | 129970062 | o2(x,o1(o2(x,x))) | true | 92167 | 92167 | -0.125 | 0.4375 | 1 | 0.9844 | 0.9922 | -1 | 1 | 2 | 1 | 0.9887 | 0.01587 | 0 | 0.007937 | 1 | 1 | 0 | 0.03175 | 0.01587 | 0.01581 | 0.1257 | 15.84 | 2 | 0.01612 | 0.03225 | 1 | 1 | 0.02105 | 0.08421 | 0.3368 | 0.02139 | 0.08555 | 0.3422 | json |
| t16_x1_u0_b46 | 16 | 1 | 0 | 46 | ![]() |
pow(P,sqt(mlt(P,D))) | 75521 | 129970063 | o2(x,o1(o2(x,x))) | true | 92175 | 92175 | -0.875 | 0.0625 | 1 | 0.2344 | 0.4841 | -1 | 1 | 2 | 1 | 0.3373 | 0.03175 | 0 | 0.01587 | 1 | 1 | 0 | 0.06349 | 0.03175 | 0.03149 | 0.1774 | 11.18 | 2 | 0.1354 | 0.2709 | 1 | 1 | 0.04211 | 0.1684 | 0.3368 | 0.1796 | 0.7186 | 1.437 | json |
| t16_x1_u0_b47 | 16 | 1 | 0 | 47 | ![]() |
pow(P,sqt(div(P,D))) | 75522 | 129970064 | o2(x,o1(o2(x,x))) | true | 92183 | 92183 | -0.875 | 0.0625 | 1 | 0.2344 | 0.4841 | -1 | 1 | 2 | 1 | 0.3373 | 0.03175 | 0 | 0.01587 | 1 | 1 | 0 | 0.06349 | 0.03175 | 0.03149 | 0.1774 | 11.18 | 2 | 0.1354 | 0.2709 | 1 | 1 | 0.04211 | 0.1684 | 0.3368 | 0.1796 | 0.7186 | 1.437 | json |
| t16_x1_u0_b48 | 16 | 1 | 0 | 48 | ![]() |
pow(P,sqt(pow(P,D))) | 75523 | 129970065 | o2(x,o1(o2(x,x))) | true | 92191 | 92191 | 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 |
| t16_x1_u0_b49 | 16 | 1 | 0 | 49 | ![]() |
pow(P,sqt(mod(P,D))) | 75524 | 129970066 | o2(x,o1(o2(x,x))) | true | 92199 | 92199 | 0.007813 | 0.5039 | 1 | 0.9999 | 0.9999 | -1 | 1 | 2 | 1 | 1 | 0.04762 | 0 | 0.02381 | 1 | 1 | 0 | 0.127 | 0.04762 | 0.04704 | 0.2169 | 9.109 | 2 | 0.04762 | 0.127 | 1 | 1 | 0.04211 | 0.1053 | 0.3368 | 0.04211 | 0.1053 | 0.3369 | json |
| t16_x1_u0_b50 | 16 | 1 | 0 | 50 | ![]() |
pow(P,sqt(lrg(P,D))) | 75525 | 129970067 | o2(x,o1(o2(x,x))) | true | 92207 | 92207 | 0.9688 | 1 | 0.9688 | 0.02351 | 0.1533 | 0.000291 | 1 | 0.9997 | 1 | 0.459 | 0.004319 | 0 | 0.007934 | 1 | 1 | 0 | 0.008002 | 0.008862 | 0.004255 | 0.06523 | 8.221 | 0.9997 | 0.1837 | 0.3404 | 1 | 1 | 0.00615 | 0.02664 | 0.03299 | 0.2616 | 1.133 | 1.403 | json |
| t16_x1_u0_b51 | 16 | 1 | 0 | 51 | ![]() |
pow(P,sqt(eql(P,D))) | 75526 | 129970068 | o2(x,o1(o2(x,x))) | true | 92215 | 92215 | 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 |
| t16_x1_u0_b52 | 16 | 1 | 0 | 52 | ![]() |
pow(P,sqt(min(P,D))) | 75527 | 129970069 | o2(x,o1(o2(x,x))) | true | 92223 | 92223 | -0.875 | 0.0625 | 1 | 0.2344 | 0.4841 | -1 | 1 | 2 | 1 | 0.3373 | 0.03175 | 0 | 0.01587 | 1 | 1 | 0 | 0.06349 | 0.03175 | 0.03149 | 0.1774 | 11.18 | 2 | 0.1354 | 0.2709 | 1 | 1 | 0.04211 | 0.1684 | 0.3368 | 0.1796 | 0.7186 | 1.437 | json |
| t16_x1_u0_b53 | 16 | 1 | 0 | 53 | ![]() |
pow(P,sqt(dot(P,D))) | 75528 | 129970070 | o2(x,o1(o2(x,x))) | true | 92231 | 92231 | -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 |
| t16_x1_u0_b54 | 16 | 1 | 0 | 54 | ![]() |
pow(P,sqt(dst(P,D))) | 75529 | 129970071 | o2(x,o1(o2(x,x))) | true | 92239 | 92239 | -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 |
| t16_x1_u0_b55 | 16 | 1 | 0 | 55 | ![]() |
mod(P,sqt(add(P,D))) | 75530 | 129970072 | o2(x,o1(o2(x,x))) | true | 92247 | 92247 | -0.1241 | 0.4961 | 0.8759 | 0.8237 | 0.9076 | -1 | 1 | 2 | 1 | 2.278 | 0.01271 | 0 | 0.02509 | 1 | 1 | 2.838e-9 | 0.0242 | 0.02908 | 0.01207 | 0.1099 | 4.38 | 1 | 0.01543 | 0.02939 | 1 | 1 | 0.01765 | 0.07558 | 0.2484 | 0.02143 | 0.09176 | 0.3015 | json |
| t16_x1_u0_b56 | 16 | 1 | 0 | 56 | ![]() |
mod(P,sqt(sub(P,D))) | 75531 | 129970073 | o2(x,o1(o2(x,x))) | true | 92255 | 92255 | -0.2328 | 0.4375 | 0.8922 | 0.8019 | 0.8955 | -1 | 1 | 2 | 1 | 2.194 | 0.008258 | 0 | 0.01582 | 1 | 1 | -2.838e-9 | 0.0159 | 0.01719 | 0.008005 | 0.08947 | 5.655 | 1.016 | 0.0103 | 0.01983 | 1 | 1 | 0.01136 | 0.0547 | 0.2868 | 0.01417 | 0.06821 | 0.3576 | json |
| t16_x1_u0_b57 | 16 | 1 | 0 | 57 | ![]() |
mod(P,sqt(mlt(P,D))) | 75532 | 129970074 | o2(x,o1(o2(x,x))) | true | 92263 | 92263 | -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 |
| t16_x1_u0_b58 | 16 | 1 | 0 | 58 | ![]() |
mod(P,sqt(div(P,D))) | 75533 | 129970075 | o2(x,o1(o2(x,x))) | true | 92271 | 92271 | -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 |
| t16_x1_u0_b59 | 16 | 1 | 0 | 59 | ![]() |
mod(P,sqt(pow(P,D))) | 75534 | 129970076 | o2(x,o1(o2(x,x))) | true | 92279 | 92279 | -0.3587 | 0.4375 | 0.7663 | 0.5666 | 0.7527 | -1 | 1 | 2 | 1 | 2.698 | 0.05597 | 0 | 0.1151 | 1 | 1 | 0.001621 | 0.1504 | 0.1742 | 0.04272 | 0.2067 | 1.795 | 1 | 0.09879 | 0.2655 | 1 | 1 | 0.03337 | 0.05776 | 0.1885 | 0.0589 | 0.1019 | 0.3327 | json |
| t16_x1_u0_b60 | 16 | 1 | 0 | 60 | ![]() |
mod(P,sqt(mod(P,D))) | 75535 | 129970077 | o2(x,o1(o2(x,x))) | true | 92287 | 92287 | -0.5572 | 0.3633 | 0.6928 | 0.3329 | 0.577 | -1 | 0.4409 | 1.441 | 1 | 1.949 | 0.09368 | 0 | 0.1249 | 1 | 1 | 0.00001873 | 0.2312 | 0.2286 | 0.07808 | 0.2794 | 2.236 | 1.245 | 0.2814 | 0.6945 | 1 | 1 | 0.07235 | 0.1248 | 0.125 | 0.2173 | 0.3749 | 0.3755 | json |
| t16_x1_u0_b61 | 16 | 1 | 0 | 61 | ![]() |
mod(P,sqt(lrg(P,D))) | 75536 | 129970078 | o2(x,o1(o2(x,x))) | true | 92295 | 92295 | -0.5625 | 0 | 0.5625 | 0.2461 | 0.4961 | -1 | 0 | 1 | 1 | 0.9887 | 0.003968 | 0 | 0.003968 | 1 | 1 | 0 | 0.007937 | 0.007937 | 0.003952 | 0.06287 | 15.84 | 1 | 0.01612 | 0.03225 | 1 | 1 | 0.005263 | 0.02105 | 0.08421 | 0.02139 | 0.08555 | 0.3422 | json |
| t16_x1_u0_b62 | 16 | 1 | 0 | 62 | ![]() |
mod(P,sqt(eql(P,D))) | 75537 | 129970079 | o2(x,o1(o2(x,x))) | true | 92303 | 92303 | -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 |
| t16_x1_u0_b63 | 16 | 1 | 0 | 63 | ![]() |
mod(P,sqt(min(P,D))) | 75538 | 129970080 | o2(x,o1(o2(x,x))) | true | 92311 | 92311 | -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 |
| t16_x1_u0_b64 | 16 | 1 | 0 | 64 | ![]() |
mod(P,sqt(dot(P,D))) | 75539 | 129970081 | o2(x,o1(o2(x,x))) | true | 92319 | 92319 | -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 |
| t16_x1_u0_b65 | 16 | 1 | 0 | 65 | ![]() |
mod(P,sqt(dst(P,D))) | 75540 | 129970082 | o2(x,o1(o2(x,x))) | true | 92327 | 92327 | 2.401e-9 | 0.5 | 0.8052 | 0.7318 | 0.8554 | -1 | 1 | 2 | 1 | 3.544 | 0.005783 | 0.003895 | 0.03822 | 0.195 | 1 | -9.386e-13 | 0.02495 | 0.03012 | 0.008219 | 0.09066 | 2.372 | 1.406 | 0.01323 | 0.03409 | 1 | 1 | 0.01529 | 0.0881 | 0.2834 | 0.0209 | 0.1204 | 0.3872 | json |
| t16_x1_u0_b66 | 16 | 1 | 0 | 66 | ![]() |
lrg(P,sqt(add(P,D))) | 75541 | 129970083 | o2(x,o1(o2(x,x))) | true | 92335 | 92335 | 0.9375 | 1 | 0.9375 | 0.04507 | 0.2123 | 0.000291 | 1 | 0.9997 | 1 | 0.8126 | 0.008635 | 0 | 0.01587 | 1 | 1 | 0 | 0.01605 | 0.01772 | 0.008379 | 0.09154 | 5.769 | 0.9997 | 0.1916 | 0.3562 | 1 | 1 | 0.01226 | 0.04693 | 0.06598 | 0.2721 | 1.041 | 1.464 | json |
| t16_x1_u0_b67 | 16 | 1 | 0 | 67 | ![]() |
lrg(P,sqt(sub(P,D))) | 75542 | 129970084 | o2(x,o1(o2(x,x))) | true | 92343 | 92343 | 0.9375 | 1 | 0.9375 | 0.04507 | 0.2123 | 0.000291 | 1 | 0.9997 | 1 | 0.8126 | 0.008635 | 0 | 0.01587 | 1 | 1 | 0 | 0.01605 | 0.01772 | 0.008379 | 0.09154 | 5.769 | 0.9997 | 0.1916 | 0.3562 | 1 | 1 | 0.01226 | 0.04693 | 0.06598 | 0.2721 | 1.041 | 1.464 | json |
| t16_x1_u0_b68 | 16 | 1 | 0 | 68 | ![]() |
lrg(P,sqt(mlt(P,D))) | 75543 | 129970085 | o2(x,o1(o2(x,x))) | true | 92351 | 92351 | 0.7188 | 1 | 0.7188 | 0.1413 | 0.3759 | 0.000291 | 1 | 0.9997 | 1 | 2.519 | 0.03092 | 0 | 0.06335 | 1 | 1 | 0.00008984 | 0.05639 | 0.06378 | 0.02691 | 0.164 | 2.589 | 0.9994 | 0.2188 | 0.3991 | 1 | 1 | 0.0324 | 0.1237 | 0.05687 | 0.2293 | 0.8759 | 0.4025 | json |
| t16_x1_u0_b69 | 16 | 1 | 0 | 69 | ![]() |
lrg(P,sqt(div(P,D))) | 75544 | 129970086 | o2(x,o1(o2(x,x))) | true | 92359 | 92359 | 0.5964 | 1 | 0.5964 | 0.1681 | 0.41 | 0.000291 | 1 | 0.9997 | 1 | 2.903 | 0.0782 | 0 | 0.1189 | 1 | 1 | 0.00008985 | 0.1488 | 0.1622 | 0.06406 | 0.2531 | 2.129 | 0.9997 | 0.4651 | 0.8849 | 1 | 1 | 0.07841 | 0.2355 | 0.06782 | 0.4664 | 1.401 | 0.4034 | json |
| t16_x1_u0_b70 | 16 | 1 | 0 | 70 | ![]() |
lrg(P,sqt(pow(P,D))) | 75545 | 129970087 | o2(x,o1(o2(x,x))) | true | 92367 | 92367 | 0.875 | 0.9375 | 0.875 | 0.09585 | 0.3096 | 0 | 1 | 1 | 1 | 1.067 | 0.0007059 | 0 | 0.007937 | 1 | 1 | -9.461e-10 | 0.00003238 | 0.001855 | 0.0006432 | 0.02536 | 3.195 | 0.1169 | 0.007364 | 0.0003379 | 1 | 1 | 0.001851 | 0.02429 | 0.1411 | 0.01931 | 0.2534 | 1.472 | json |
| t16_x1_u0_b71 | 16 | 1 | 0 | 71 | ![]() |
lrg(P,sqt(mod(P,D))) | 75546 | 129970088 | o2(x,o1(o2(x,x))) | true | 92375 | 92375 | 0.8713 | 0.9961 | 0.8713 | 0.09837 | 0.3136 | 0 | 1 | 1 | 1 | 1.08 | 0.07112 | 0 | 0.07882 | 1 | 1 | 1.183e-8 | 0.1714 | 0.1437 | 0.06487 | 0.2547 | 3.231 | 0.9997 | 0.723 | 1.742 | 1 | 1 | 0.05396 | 0.08134 | 0.07094 | 0.5486 | 0.8269 | 0.7212 | json |
| t16_x1_u0_b72 | 16 | 1 | 0 | 72 | ![]() |
lrg(P,sqt(lrg(P,D))) | 75547 | 129970089 | o2(x,o1(o2(x,x))) | true | 92383 | 92383 | 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 |
| t16_x1_u0_b73 | 16 | 1 | 0 | 73 | ![]() |
lrg(P,sqt(eql(P,D))) | 75548 | 129970090 | o2(x,o1(o2(x,x))) | true | 92391 | 92391 | 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 |
| t16_x1_u0_b74 | 16 | 1 | 0 | 74 | ![]() |
lrg(P,sqt(min(P,D))) | 75549 | 129970091 | o2(x,o1(o2(x,x))) | true | 92399 | 92399 | 0.9688 | 1 | 0.9688 | 0.02351 | 0.1533 | 0.000291 | 1 | 0.9997 | 1 | 0.459 | 0.004319 | 0 | 0.007934 | 1 | 1 | 0 | 0.008002 | 0.008862 | 0.004255 | 0.06523 | 8.221 | 0.9997 | 0.1837 | 0.3404 | 1 | 1 | 0.00615 | 0.02664 | 0.03299 | 0.2616 | 1.133 | 1.403 | json |
| t16_x1_u0_b75 | 16 | 1 | 0 | 75 | ![]() |
lrg(P,sqt(dot(P,D))) | 75550 | 129970092 | o2(x,o1(o2(x,x))) | true | 92407 | 92407 | 0.741 | 1 | 0.741 | 0.107 | 0.3271 | 0.000291 | 1 | 0.9997 | 1 | 2.913 | 0.01716 | 0.02014 | 0.08236 | -0.07987 | 1 | -0.0004481 | 0.1143 | 0.1008 | 0.03052 | 0.1747 | 2.121 | 1.409 | 0.3485 | 1.068 | 1 | 1 | 0.03937 | 0.1305 | 0.05661 | 0.3679 | 1.219 | 0.529 | json |
| t16_x1_u0_b76 | 16 | 1 | 0 | 76 | ![]() |
lrg(P,sqt(dst(P,D))) | 75551 | 129970093 | o2(x,o1(o2(x,x))) | true | 92415 | 92415 | 0.3724 | 0.406 | 0.3724 | 0.2262 | 0.4756 | 0 | 1 | 1 | 1 | 1.315 | 0.0007726 | 0.0005571 | 0.005668 | 0.1621 | 1 | 0.000001127 | 0.00335 | 0.004642 | 0.001297 | 0.03601 | 6.354 | 1.265 | 0.005879 | 0.01481 | 1 | 1 | 0.002328 | 0.0164 | 0.08529 | 0.01029 | 0.0725 | 0.3771 | json |
| t16_x1_u0_b77 | 16 | 1 | 0 | 77 | ![]() |
eql(P,sqt(add(P,D))) | 75552 | 129970094 | o2(x,o1(o2(x,x))) | true | 92423 | 92423 | 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 |
| t16_x1_u0_b78 | 16 | 1 | 0 | 78 | ![]() |
eql(P,sqt(sub(P,D))) | 75553 | 129970095 | o2(x,o1(o2(x,x))) | true | 92431 | 92431 | 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 |
| t16_x1_u0_b79 | 16 | 1 | 0 | 79 | ![]() |
eql(P,sqt(mlt(P,D))) | 75554 | 129970096 | o2(x,o1(o2(x,x))) | true | 92439 | 92439 | 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 |
| t16_x1_u0_b80 | 16 | 1 | 0 | 80 | ![]() |
eql(P,sqt(div(P,D))) | 75555 | 129970097 | o2(x,o1(o2(x,x))) | true | 92447 | 92447 | 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 |
| t16_x1_u0_b81 | 16 | 1 | 0 | 81 | ![]() |
eql(P,sqt(pow(P,D))) | 75556 | 129970098 | o2(x,o1(o2(x,x))) | true | 92455 | 92455 | 0.09375 | 0.125 | 0.09375 | 0.0782 | 0.2796 | 0 | 1 | 1 | 1 | 0.7448 | 0.004321 | 0 | 0.007937 | 1 | 1 | -4.731e-10 | 0.007953 | 0.008864 | 0.004257 | 0.06525 | 8.221 | 1 | 0.05526 | 0.1017 | 1 | 1 | 0.006189 | 0.0332 | 0.1172 | 0.07914 | 0.4245 | 1.499 | json |
| t16_x1_u0_b82 | 16 | 1 | 0 | 82 | ![]() |
eql(P,sqt(mod(P,D))) | 75557 | 129970099 | o2(x,o1(o2(x,x))) | true | 92463 | 92463 | 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 |
| t16_x1_u0_b83 | 16 | 1 | 0 | 83 | ![]() |
eql(P,sqt(lrg(P,D))) | 75558 | 129970100 | o2(x,o1(o2(x,x))) | true | 92471 | 92471 | 0.09375 | 0.125 | 0.09375 | 0.0782 | 0.2796 | 0 | 1 | 1 | 1 | 0.7448 | 0.004321 | 0 | 0.007937 | 1 | 1 | -4.731e-10 | 0.007953 | 0.008864 | 0.004257 | 0.06525 | 8.221 | 1 | 0.05526 | 0.1017 | 1 | 1 | 0.006189 | 0.0332 | 0.1172 | 0.07914 | 0.4245 | 1.499 | json |
| t16_x1_u0_b84 | 16 | 1 | 0 | 84 | ![]() |
eql(P,sqt(eql(P,D))) | 75559 | 129970101 | o2(x,o1(o2(x,x))) | true | 92479 | 92479 | 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 |
| t16_x1_u0_b85 | 16 | 1 | 0 | 85 | ![]() |
eql(P,sqt(min(P,D))) | 75560 | 129970102 | o2(x,o1(o2(x,x))) | true | 92487 | 92487 | 0.03125 | 0.0625 | 0.03125 | 0.02351 | 0.1533 | 0 | 0.9997 | 0.9997 | 1 | 0.459 | 0.004319 | 0 | 0.007934 | 1 | 1 | -2.365e-10 | 0.008002 | 0.008862 | 0.004255 | 0.06523 | 8.221 | 0.9997 | 0.1837 | 0.3404 | 1 | 1 | 0.00615 | 0.02664 | 0.03299 | 0.2616 | 1.133 | 1.403 | json |
| t16_x1_u0_b86 | 16 | 1 | 0 | 86 | ![]() |
eql(P,sqt(dot(P,D))) | 75561 | 129970103 | o2(x,o1(o2(x,x))) | true | 92495 | 92495 | 0.00428 | 0.0162 | 0.00428 | 0.002594 | 0.05093 | 0 | 0.9994 | 0.9994 | 1 | 0.1168 | 0.0004798 | 0.0004798 | 0.002144 | -2.427e-7 | 1 | 3.786e-13 | 0.00449 | 0.003293 | 0.0009543 | 0.03089 | 14.41 | 1.362 | 0.3699 | 1.731 | 1 | 1 | 0.0008069 | 0.003741 | 0.009267 | 0.3111 | 1.442 | 3.573 | json |
| t16_x1_u0_b87 | 16 | 1 | 0 | 87 | ![]() |
eql(P,sqt(dst(P,D))) | 75562 | 129970104 | o2(x,o1(o2(x,x))) | true | 92503 | 92503 | 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 |
| t16_x1_u0_b88 | 16 | 1 | 0 | 88 | ![]() |
min(P,sqt(add(P,D))) | 75563 | 129970105 | o2(x,o1(o2(x,x))) | true | 92511 | 92511 | -0.005128 | 0.4961 | 0.9324 | 0.9184 | 0.9583 | -1 | 1 | 2 | 1 | 1.832 | 0.0006853 | 0 | 0.007937 | 1 | 1 | 2.188e-9 | 0.00003009 | 0.001802 | 0.0006226 | 0.02495 | 3.144 | 0.1169 | 0.0007462 | 0.00003276 | 1 | 1 | 0.001798 | 0.02391 | 0.2269 | 0.001958 | 0.02604 | 0.2471 | json |
| t16_x1_u0_b89 | 16 | 1 | 0 | 89 | ![]() |
min(P,sqt(sub(P,D))) | 75564 | 129970106 | o2(x,o1(o2(x,x))) | true | 92519 | 92519 | -0.000864 | 0.5 | 0.9366 | 0.9223 | 0.9604 | -1 | 1 | 2 | 1 | 1.813 | 0.0007171 | 0 | 0.0084 | 1 | 1 | 9.461e-10 | 0.00004254 | 0.002349 | 0.0006462 | 0.02542 | 3.026 | 0.1169 | 0.0007776 | 0.00004613 | 1 | 1 | 0.001874 | 0.02431 | 0.2322 | 0.002032 | 0.02636 | 0.2518 | json |
| t16_x1_u0_b90 | 16 | 1 | 0 | 90 | ![]() |
min(P,sqt(mlt(P,D))) | 75565 | 129970107 | o2(x,o1(o2(x,x))) | true | 92527 | 92527 | -0.03685 | 0.5 | 0.9006 | 0.8683 | 0.9318 | -1 | 1 | 2 | 1 | 2.349 | 0.0174 | 0 | 0.04451 | 1 | 1 | 1.419e-9 | 0.03823 | 0.05446 | 0.01541 | 0.1241 | 2.789 | 0.8224 | 0.02004 | 0.04403 | 1 | 1 | 0.01816 | 0.04468 | 0.2047 | 0.02091 | 0.05146 | 0.2358 | json |
| t16_x1_u0_b91 | 16 | 1 | 0 | 91 | ![]() |
min(P,sqt(div(P,D))) | 75566 | 129970108 | o2(x,o1(o2(x,x))) | true | 92535 | 92535 | 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 |
| t16_x1_u0_b92 | 16 | 1 | 0 | 92 | ![]() |
min(P,sqt(pow(P,D))) | 75567 | 129970109 | o2(x,o1(o2(x,x))) | true | 92543 | 92543 | -0.01333 | 0.5 | 0.9242 | 0.898 | 0.9476 | -1 | 1 | 2 | 1 | 2.16 | 0.0008462 | 0 | 0.01294 | 1 | 1 | 0.0001011 | 0.0001081 | 0.005629 | 0.0006789 | 0.02606 | 2.013 | 0.1169 | 0.0009423 | 0.0001204 | 1 | 1 | 0.002064 | 0.02535 | 0.2289 | 0.002298 | 0.02823 | 0.255 | json |
| t16_x1_u0_b93 | 16 | 1 | 0 | 93 | ![]() |
min(P,sqt(mod(P,D))) | 75568 | 129970110 | o2(x,o1(o2(x,x))) | true | 92551 | 92551 | -0.3136 | 0.4727 | 0.6239 | 0.427 | 0.6535 | -1 | 0.6206 | 1.621 | 1 | 2.931 | 0.01078 | 0 | 0.05773 | 1 | 1 | -0.00002027 | 0.02407 | 0.08761 | 0.007448 | 0.0863 | 1.495 | 0.4456 | 0.02525 | 0.05637 | 1 | 1 | 0.009694 | 0.03584 | 0.1158 | 0.0227 | 0.08392 | 0.2711 | json |
| t16_x1_u0_b94 | 16 | 1 | 0 | 94 | ![]() |
min(P,sqt(lrg(P,D))) | 75569 | 129970111 | o2(x,o1(o2(x,x))) | true | 92559 | 92559 | 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 |
| t16_x1_u0_b95 | 16 | 1 | 0 | 95 | ![]() |
min(P,sqt(eql(P,D))) | 75570 | 129970112 | o2(x,o1(o2(x,x))) | true | 92567 | 92567 | -0.4688 | 0 | 0.4688 | 0.2423 | 0.4922 | -1 | 0 | 1 | 1 | 1.406 | 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 |
| t16_x1_u0_b96 | 16 | 1 | 0 | 96 | ![]() |
min(P,sqt(min(P,D))) | 75571 | 129970113 | o2(x,o1(o2(x,x))) | true | 92575 | 92575 | -0.06076 | 0.5 | 0.8767 | 0.8374 | 0.9151 | -1 | 1 | 2 | 1 | 2.423 | 0.02445 | 0 | 0.05359 | 1 | 1 | 4.731e-10 | 0.04772 | 0.06332 | 0.02159 | 0.1469 | 2.742 | 0.8224 | 0.0292 | 0.05699 | 1 | 1 | 0.02549 | 0.06245 | 0.2014 | 0.03044 | 0.07458 | 0.2405 | json |
| t16_x1_u0_b97 | 16 | 1 | 0 | 97 | ![]() |
min(P,sqt(dot(P,D))) | 75572 | 129970114 | o2(x,o1(o2(x,x))) | true | 92583 | 92583 | -0.01642 | 0.5 | 0.9211 | 0.8999 | 0.9486 | -1 | 1 | 2 | 1 | 2.088 | 0.008237 | 0.007174 | 0.03369 | 0.06895 | 1 | -0.00007734 | 0.06225 | 0.0506 | 0.01428 | 0.1195 | 3.547 | 1.413 | 0.01713 | 0.06917 | 1 | 1 | 0.01487 | 0.04181 | 0.2269 | 0.01653 | 0.04646 | 0.2521 | json |
| t16_x1_u0_b98 | 16 | 1 | 0 | 98 | ![]() |
min(P,sqt(dst(P,D))) | 75573 | 129970115 | o2(x,o1(o2(x,x))) | true | 92591 | 92591 | -0.00002411 | 0.5 | 0.9375 | 0.9239 | 0.9612 | -1 | 1 | 2 | 1 | 1.813 | 0.0007062 | 7.225e-8 | 0.007955 | 0.9998 | 1 | 2.253e-11 | 0.00003279 | 0.001871 | 0.0006431 | 0.02536 | 3.188 | 0.1169 | 0.0007644 | 0.00003548 | 1 | 1 | 0.001852 | 0.02448 | 0.2343 | 0.002005 | 0.0265 | 0.2536 | json |
| t16_x1_u0_b99 | 16 | 1 | 0 | 99 | ![]() |
dot(P,sqt(add(P,D))) | 75574 | 129970116 | o2(x,o1(o2(x,x))) | true | 92599 | 92599 | -0.5012 | 0.25 | 0.9988 | 0.7475 | 0.8646 | -1 | 1 | 2 | 1 | 0.838 | 0.00748 | 0.00748 | 0.007873 | 1.556e-7 | 1 | -1.276e-10 | 0.02991 | 0.01535 | 0.0149 | 0.1221 | 15.5 | 2 | 0.02001 | 0.04001 | 1 | 1 | 0.01949 | 0.0794 | 0.3313 | 0.02607 | 0.1062 | 0.4432 | json |
| t16_x1_u0_b100 | 16 | 1 | 0 | 100 | ![]() |
dot(P,sqt(sub(P,D))) | 75575 | 129970117 | o2(x,o1(o2(x,x))) | true | 92607 | 92607 | -0.6172 | 0.1914 | 1 | 0.6192 | 0.7869 | -1 | 1 | 2 | 1 | 0.7044 | 0.006929 | 0.006929 | 0.006929 | 0 | 1 | 0 | 0.02784 | 0.01386 | 0.01382 | 0.1175 | 16.96 | 2 | 0.02238 | 0.04496 | 1 | 1 | 0.01751 | 0.07003 | 0.2801 | 0.02827 | 0.1131 | 0.4524 | json |
| t16_x1_u0_b101 | 16 | 1 | 0 | 101 | ![]() |
dot(P,sqt(mlt(P,D))) | 75576 | 129970118 | o2(x,o1(o2(x,x))) | true | 92615 | 92615 | -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 |
| t16_x1_u0_b102 | 16 | 1 | 0 | 102 | ![]() |
dot(P,sqt(div(P,D))) | 75577 | 129970119 | o2(x,o1(o2(x,x))) | true | 92623 | 92623 | -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 |
| t16_x1_u0_b103 | 16 | 1 | 0 | 103 | ![]() |
dot(P,sqt(pow(P,D))) | 75578 | 129970120 | o2(x,o1(o2(x,x))) | true | 92631 | 92631 | -0.5008 | 0.25 | 0.9992 | 0.7483 | 0.865 | -1 | 1 | 2 | 1 | 0.8325 | 0.007543 | 0.007543 | 0.007877 | 6.174e-8 | 1 | 3.341e-10 | 0.03016 | 0.01543 | 0.01502 | 0.1226 | 15.56 | 2 | 0.02016 | 0.04031 | 1 | 1 | 0.01971 | 0.08047 | 0.3328 | 0.02634 | 0.1075 | 0.4447 | json |
| t16_x1_u0_b104 | 16 | 1 | 0 | 104 | ![]() |
dot(P,sqt(mod(P,D))) | 75579 | 129970121 | o2(x,o1(o2(x,x))) | true | 92639 | 92639 | -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 |
| t16_x1_u0_b105 | 16 | 1 | 0 | 105 | ![]() |
dot(P,sqt(lrg(P,D))) | 75580 | 129970122 | o2(x,o1(o2(x,x))) | true | 92647 | 92647 | 0.7179 | 0.75 | 0.7179 | 0.1953 | 0.4419 | 0 | 1 | 1 | 1 | 1.194 | 0.0001877 | 0.0001877 | 0.004161 | 0.000001047 | 1 | -5.744e-10 | 0.00002276 | 0.0009958 | 0.0003579 | 0.01892 | 4.547 | 0.1653 | 0.001922 | 0.0001166 | 1 | 1 | 0.001001 | 0.01303 | 0.08014 | 0.005127 | 0.06671 | 0.4104 | json |
| t16_x1_u0_b106 | 16 | 1 | 0 | 106 | ![]() |
dot(P,sqt(eql(P,D))) | 75581 | 129970123 | o2(x,o1(o2(x,x))) | true | 92655 | 92655 | 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 |
| t16_x1_u0_b107 | 16 | 1 | 0 | 107 | ![]() |
dot(P,sqt(min(P,D))) | 75582 | 129970124 | o2(x,o1(o2(x,x))) | true | 92663 | 92663 | -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 |
| t16_x1_u0_b108 | 16 | 1 | 0 | 108 | ![]() |
dot(P,sqt(dot(P,D))) | 75583 | 129970125 | o2(x,o1(o2(x,x))) | true | 92671 | 92671 | -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 |
| t16_x1_u0_b109 | 16 | 1 | 0 | 109 | ![]() |
dot(P,sqt(dst(P,D))) | 75584 | 129970126 | o2(x,o1(o2(x,x))) | true | 92679 | 92679 | -5.588e-9 | 0.498 | 0.9658 | 0.9566 | 0.9781 | -1 | 1 | 2 | 1 | 1.535 | 0.00149 | 0.00149 | 0.01227 | 3.907e-8 | 1 | 1.201e-10 | 0.001034 | 0.005286 | 0.00283 | 0.0532 | 4.334 | 0.5401 | 0.003115 | 0.001081 | 1 | 1 | 0.006658 | 0.06967 | 0.4951 | 0.00696 | 0.07283 | 0.5175 | json |
| t16_x1_u0_b110 | 16 | 1 | 0 | 110 | ![]() |
dst(P,sqt(add(P,D))) | 75585 | 129970127 | o2(x,o1(o2(x,x))) | true | 92687 | 92687 | -0.5081 | 0.25 | 0.9919 | 0.7293 | 0.854 | -1 | 1 | 2 | 1 | 0.9989 | 0.006865 | 0.006865 | 0.00852 | 3.392e-8 | 1 | -6.382e-11 | 0.02711 | 0.0149 | 0.01365 | 0.1168 | 13.71 | 2 | 0.01883 | 0.03717 | 1 | 1 | 0.01764 | 0.07521 | 0.2963 | 0.0242 | 0.1031 | 0.4062 | json |
| t16_x1_u0_b111 | 16 | 1 | 0 | 111 | ![]() |
dst(P,sqt(sub(P,D))) | 75586 | 129970128 | o2(x,o1(o2(x,x))) | true | 92695 | 92695 | -0.6198 | 0.1914 | 0.9973 | 0.6117 | 0.7821 | -1 | 1 | 2 | 1 | 0.7746 | 0.006256 | 0.006256 | 0.006837 | 3.349e-7 | 1 | -2.666e-10 | 0.02503 | 0.01311 | 0.01247 | 0.1117 | 16.33 | 2 | 0.02046 | 0.04091 | 1 | 1 | 0.01517 | 0.06182 | 0.2654 | 0.0248 | 0.1011 | 0.4338 | json |
| t16_x1_u0_b112 | 16 | 1 | 0 | 112 | ![]() |
dst(P,sqt(mlt(P,D))) | 75587 | 129970129 | o2(x,o1(o2(x,x))) | true | 92703 | 92703 | -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 |
| t16_x1_u0_b113 | 16 | 1 | 0 | 113 | ![]() |
dst(P,sqt(div(P,D))) | 75588 | 129970130 | o2(x,o1(o2(x,x))) | true | 92711 | 92711 | -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 |
| t16_x1_u0_b114 | 16 | 1 | 0 | 114 | ![]() |
dst(P,sqt(pow(P,D))) | 75589 | 129970131 | o2(x,o1(o2(x,x))) | true | 92719 | 92719 | -0.5 | 0.25 | 1 | 0.75 | 0.866 | -1 | 1 | 2 | 1 | 0.8113 | 0.007937 | 0.007937 | 0.007937 | 0 | 1 | 0 | 0.03187 | 0.01587 | 0.01581 | 0.1257 | 15.84 | 2 | 0.02116 | 0.0425 | 1 | 1 | 0.02105 | 0.08421 | 0.3368 | 0.02807 | 0.1123 | 0.4491 | json |
| t16_x1_u0_b115 | 16 | 1 | 0 | 115 | ![]() |
dst(P,sqt(mod(P,D))) | 75590 | 129970132 | o2(x,o1(o2(x,x))) | true | 92727 | 92727 | -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 |
| t16_x1_u0_b116 | 16 | 1 | 0 | 116 | ![]() |
dst(P,sqt(lrg(P,D))) | 75591 | 129970133 | o2(x,o1(o2(x,x))) | true | 92735 | 92735 | 0.9913 | 0.9961 | 0.9913 | 0.00746 | 0.08637 | 0 | 1 | 1 | 1 | 0.1298 | 0.000383 | 0.000383 | 0.001456 | 0 | 1 | -7.509e-11 | 0.001444 | 0.001681 | 0.0007646 | 0.02765 | 18.99 | 1 | 0.1027 | 0.1936 | 1 | 1 | 0.001458 | 0.007829 | 0.02738 | 0.1954 | 1.049 | 3.671 | json |
| t16_x1_u0_b117 | 16 | 1 | 0 | 117 | ![]() |
dst(P,sqt(eql(P,D))) | 75592 | 129970134 | o2(x,o1(o2(x,x))) | true | 92743 | 92743 | 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 |
| t16_x1_u0_b118 | 16 | 1 | 0 | 118 | ![]() |
dst(P,sqt(min(P,D))) | 75593 | 129970135 | o2(x,o1(o2(x,x))) | true | 92751 | 92751 | -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 |
| t16_x1_u0_b119 | 16 | 1 | 0 | 119 | ![]() |
dst(P,sqt(dot(P,D))) | 75594 | 129970136 | o2(x,o1(o2(x,x))) | true | 92759 | 92759 | -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 |
| t16_x1_u0_b120 | 16 | 1 | 0 | 120 | ![]() |
dst(P,sqt(dst(P,D))) | 75595 | 129970137 | o2(x,o1(o2(x,x))) | true | 92767 | 92767 | 0.9998 | 1 | 0.9998 | 0.00006948 | 0.008336 | 0.3651 | 1 | 0.6349 | 1 | 0.009378 | 0.00001272 | 0.00001272 | 0.000146 | 3.575e-8 | 0 | -3.004e-11 | 0.00002025 | 0.0001179 | 0.00002541 | 0.00504 | 34.54 | 0.2689 | 0.3661 | 0.2915 | 1 | 1 | 0.00007655 | 0.0002525 | 0.0002525 | 1.102 | 3.633 | 3.633 | json |
| t16_x1_u1_b0 | 16 | 1 | 1 | 0 | ![]() |
add(P,log(add(P,D))) | 75596 | 129970218 | o2(x,o1(o2(x,x))) | true | 92775 | 92775 | -0.07199 | 0.4648 | 0.9812 | 0.9684 | 0.9841 | -1 | 1 | 2 | 1 | 1.324 | 0.001576 | 0 | 0.007937 | 1 | 1 | 1.064e-9 | 0.0001775 | 0.002141 | 0.001513 | 0.03889 | 4.9 | 0.2698 | 0.001627 | 0.0001833 | 1 | 1 | 0.004062 | 0.05005 | 0.3022 | 0.004194 | 0.05168 | 0.312 | json |
| t16_x1_u1_b1 | 16 | 1 | 1 | 1 | ![]() |
add(P,log(sub(P,D))) | 75597 | 129970219 | o2(x,o1(o2(x,x))) | true | 92783 | 92783 | -0.1262 | 0.4375 | 0.9988 | 0.9815 | 0.9907 | -1 | 1 | 2 | 1 | 1.067 | 0.01542 | 0 | 0.008515 | 1 | 1 | 9.461e-10 | 0.03163 | 0.01663 | 0.01534 | 0.1239 | 14.55 | 1.969 | 0.01571 | 0.03222 | 1 | 1 | 0.01993 | 0.08114 | 0.3338 | 0.0203 | 0.08267 | 0.3401 | json |
| t16_x1_u1_b2 | 16 | 1 | 1 | 2 | ![]() |
add(P,log(mlt(P,D))) | 75598 | 129970220 | o2(x,o1(o2(x,x))) | true | 92791 | 92791 | -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 |
| t16_x1_u1_b3 | 16 | 1 | 1 | 3 | ![]() |
add(P,log(div(P,D))) | 75599 | 129970221 | o2(x,o1(o2(x,x))) | true | 92799 | 92799 | -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 |



































































































