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_x9_u0_b49 | 16 | 9 | 0 | 49 | ![]() |
pow(D,sqt(mod(P,P))) | 82300 | 130293274 | o2(x,o1(o2(x,x))) | true | 146407 | 146407 | -0.3056 | 0.375 | 0.9444 | 0.8378 | 0.9153 | -1 | 1 | 2 | 1 | 1.582 | 0.1198 | 0 | 0.07142 | 1 | 1 | 0.00003629 | 0.2379 | 0.1287 | 0.1146 | 0.3386 | 4.741 | 2 | 0.143 | 0.284 | 1 | 1 | 0.1537 | 0.6329 | 1.229 | 0.1835 | 0.7554 | 1.468 | json |
| t16_x9_u0_b50 | 16 | 9 | 0 | 50 | ![]() |
pow(D,sqt(lrg(P,P))) | 82301 | 130293275 | o2(x,o1(o2(x,x))) | true | 146415 | 146415 | 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_x9_u0_b51 | 16 | 9 | 0 | 51 | ![]() |
pow(D,sqt(eql(P,P))) | 82302 | 130293276 | o2(x,o1(o2(x,x))) | true | 146423 | 146423 | 0 | 0.5 | 0.09436 | 0.01082 | 0.104 | -0.1454 | 0.1454 | 0.2908 | 1 | 2.561 | 0.001632 | 0 | 0.03609 | 1 | 1 | 0 | 0.0002563 | 0.01459 | 0.0003304 | 0.01818 | 0.5036 | 0.06192 | 0.1508 | 0.02368 | 1 | 1 | 0.003151 | 0.02183 | 5.236e-15 | 0.2912 | 2.017 | 4.838e-13 | json |
| t16_x9_u0_b52 | 16 | 9 | 0 | 52 | ![]() |
pow(D,sqt(min(P,P))) | 82303 | 130293277 | o2(x,o1(o2(x,x))) | true | 146431 | 146431 | -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_x9_u0_b53 | 16 | 9 | 0 | 53 | ![]() |
pow(D,sqt(dot(P,P))) | 82304 | 130293278 | o2(x,o1(o2(x,x))) | true | 146439 | 146439 | -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_x9_u0_b54 | 16 | 9 | 0 | 54 | ![]() |
pow(D,sqt(dst(P,P))) | 82305 | 130293279 | o2(x,o1(o2(x,x))) | true | 146447 | 146447 | 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_x9_u0_b55 | 16 | 9 | 0 | 55 | ![]() |
mod(D,sqt(add(P,P))) | 82306 | 130293280 | o2(x,o1(o2(x,x))) | true | 146455 | 146455 | -0.5625 | 0.2188 | 0.6038 | 0.2508 | 0.5008 | -1 | 0.1454 | 1.145 | 1 | 2.109 | 0.004924 | 0 | 0.01978 | 1 | 1 | 0.0001582 | 0.008104 | 0.01431 | 0.004534 | 0.06734 | 3.404 | 1.031 | 0.01964 | 0.03231 | 1 | 1 | 0.007206 | 0.03435 | 0.08512 | 0.02873 | 0.137 | 0.3394 | json |
| t16_x9_u0_b56 | 16 | 9 | 0 | 56 | ![]() |
mod(D,sqt(sub(P,P))) | 82307 | 130293281 | o2(x,o1(o2(x,x))) | true | 146463 | 146463 | 0 | 0.5 | 0.09436 | 0.01082 | 0.104 | -0.1454 | 0.1454 | 0.2908 | 1 | 2.561 | 0.001632 | 0 | 0.03609 | 1 | 1 | 0 | 0.0002563 | 0.01459 | 0.0003304 | 0.01818 | 0.5036 | 0.06192 | 0.1508 | 0.02368 | 1 | 1 | 0.003151 | 0.02183 | 5.236e-15 | 0.2912 | 2.017 | 4.838e-13 | json |
| t16_x9_u0_b57 | 16 | 9 | 0 | 57 | ![]() |
mod(D,sqt(mlt(P,P))) | 82308 | 130293282 | o2(x,o1(o2(x,x))) | true | 146471 | 146471 | -0.125 | 0.4375 | 0.2076 | 0.1189 | 0.3448 | -1 | 0.1454 | 1.145 | 1 | 2.785 | 0.009352 | 0 | 0.03917 | 1 | 1 | 9.386e-13 | 0.01611 | 0.02856 | 0.007817 | 0.08842 | 2.257 | 1.031 | 0.07868 | 0.1355 | 1 | 1 | 0.01311 | 0.05985 | 0.1702 | 0.1103 | 0.5035 | 1.432 | json |
| t16_x9_u0_b58 | 16 | 9 | 0 | 58 | ![]() |
mod(D,sqt(div(P,P))) | 82309 | 130293283 | o2(x,o1(o2(x,x))) | true | 146479 | 146479 | -0.125 | 0.4375 | 0.2076 | 0.1189 | 0.3448 | -1 | 0.1454 | 1.145 | 1 | 2.785 | 0.009352 | 0 | 0.03917 | 1 | 1 | 9.386e-13 | 0.01611 | 0.02856 | 0.007817 | 0.08842 | 2.257 | 1.031 | 0.07868 | 0.1355 | 1 | 1 | 0.01311 | 0.05985 | 0.1702 | 0.1103 | 0.5035 | 1.432 | json |
| t16_x9_u0_b59 | 16 | 9 | 0 | 59 | ![]() |
mod(D,sqt(pow(P,P))) | 82310 | 130293284 | o2(x,o1(o2(x,x))) | true | 146487 | 146487 | -0.5 | 0.25 | 0.5472 | 0.2554 | 0.5054 | -1 | 0.1454 | 1.145 | 1 | 2.281 | 0.005029 | 0 | 0.02209 | 1 | 1 | 0.0001582 | 0.00812 | 0.01523 | 0.004542 | 0.06739 | 3.051 | 1.031 | 0.01969 | 0.03179 | 1 | 1 | 0.007473 | 0.03617 | 0.08512 | 0.02926 | 0.1416 | 0.3333 | json |
| t16_x9_u0_b60 | 16 | 9 | 0 | 60 | ![]() |
mod(D,sqt(mod(P,P))) | 82311 | 130293285 | o2(x,o1(o2(x,x))) | true | 146495 | 146495 | -0.9375 | 0.03125 | 0.9434 | 0.05927 | 0.2435 | -1 | 0.1454 | 1.145 | 1 | 0.4974 | 0.008034 | 0 | 0.009999 | 1 | 1 | 9.386e-13 | 0.0159 | 0.01675 | 0.007931 | 0.08906 | 8.907 | 1.031 | 0.1355 | 0.2683 | 1 | 1 | 0.002797 | 0.02248 | 0.04256 | 0.04719 | 0.3792 | 0.7181 | json |
| t16_x9_u0_b61 | 16 | 9 | 0 | 61 | ![]() |
mod(D,sqt(lrg(P,P))) | 82312 | 130293286 | o2(x,o1(o2(x,x))) | true | 146503 | 146503 | -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_x9_u0_b62 | 16 | 9 | 0 | 62 | ![]() |
mod(D,sqt(eql(P,P))) | 82313 | 130293287 | o2(x,o1(o2(x,x))) | true | 146511 | 146511 | 0 | 0.5 | 0.09436 | 0.01082 | 0.104 | -0.1454 | 0.1454 | 0.2908 | 1 | 2.561 | 0.001632 | 0 | 0.0361 | 1 | 1 | 0 | 0.0002563 | 0.01459 | 0.0003304 | 0.01818 | 0.5036 | 0.06192 | 0.1508 | 0.02368 | 1 | 1 | 0.003151 | 0.02183 | 0 | 0.2912 | 2.017 | 0 | json |
| t16_x9_u0_b63 | 16 | 9 | 0 | 63 | ![]() |
mod(D,sqt(min(P,P))) | 82314 | 130293288 | o2(x,o1(o2(x,x))) | true | 146519 | 146519 | -0.5625 | 0.2188 | 0.6038 | 0.2508 | 0.5008 | -1 | 0.1454 | 1.145 | 1 | 2.109 | 0.004924 | 0 | 0.01978 | 1 | 1 | 0.0001582 | 0.008104 | 0.01431 | 0.004534 | 0.06734 | 3.404 | 1.031 | 0.01964 | 0.03231 | 1 | 1 | 0.007206 | 0.03435 | 0.08512 | 0.02873 | 0.137 | 0.3394 | json |
| t16_x9_u0_b64 | 16 | 9 | 0 | 64 | ![]() |
mod(D,sqt(dot(P,P))) | 82315 | 130293289 | o2(x,o1(o2(x,x))) | true | 146527 | 146527 | -0.01563 | 0.4922 | 0.1085 | 0.02604 | 0.1614 | -1 | 0.1454 | 1.145 | 1 | 2.637 | 0.002612 | 0.001019 | 0.03747 | 0.4389 | 1 | 7.133e-11 | 0.004435 | 0.01836 | 0.002229 | 0.04721 | 1.26 | 1.415 | 0.1395 | 0.1703 | 1 | 1 | 0.00662 | 0.03541 | 0.05735 | 0.2543 | 1.36 | 2.203 | json |
| t16_x9_u0_b65 | 16 | 9 | 0 | 65 | ![]() |
mod(D,sqt(dst(P,P))) | 82316 | 130293290 | o2(x,o1(o2(x,x))) | true | 146535 | 146535 | 0 | 0.5 | 0.09436 | 0.01082 | 0.104 | -0.1454 | 0.1454 | 0.2908 | 1 | 2.561 | 0.001632 | 0 | 0.03609 | 1 | 1 | 0 | 0.0002563 | 0.01459 | 0.0003304 | 0.01818 | 0.5036 | 0.06192 | 0.1508 | 0.02368 | 1 | 1 | 0.003151 | 0.02183 | 5.236e-15 | 0.2912 | 2.017 | 4.838e-13 | json |
| t16_x9_u0_b66 | 16 | 9 | 0 | 66 | ![]() |
lrg(D,sqt(add(P,P))) | 82317 | 130293291 | o2(x,o1(o2(x,x))) | true | 146543 | 146543 | 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 |
| t16_x9_u0_b67 | 16 | 9 | 0 | 67 | ![]() |
lrg(D,sqt(sub(P,P))) | 82318 | 130293292 | o2(x,o1(o2(x,x))) | true | 146551 | 146551 | 0.5 | 1 | 0.5 | 0.1418 | 0.3765 | 0.000291 | 0.9997 | 0.9994 | 1 | 3.406 | 0.06511 | 0 | 0.1228 | 1 | 1 | 0 | 0.1208 | 0.1337 | 0.05001 | 0.2236 | 1.821 | 0.9994 | 0.4593 | 0.8522 | 1 | 1 | 0.07073 | 0.2419 | 0 | 0.4989 | 1.706 | 0 | json |
| t16_x9_u0_b68 | 16 | 9 | 0 | 68 | ![]() |
lrg(D,sqt(mlt(P,P))) | 82319 | 130293293 | o2(x,o1(o2(x,x))) | true | 146559 | 146559 | 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_x9_u0_b69 | 16 | 9 | 0 | 69 | ![]() |
lrg(D,sqt(div(P,P))) | 82320 | 130293294 | o2(x,o1(o2(x,x))) | true | 146567 | 146567 | 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_x9_u0_b70 | 16 | 9 | 0 | 70 | ![]() |
lrg(D,sqt(pow(P,P))) | 82321 | 130293295 | o2(x,o1(o2(x,x))) | true | 146575 | 146575 | 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_x9_u0_b71 | 16 | 9 | 0 | 71 | ![]() |
lrg(D,sqt(mod(P,P))) | 82322 | 130293296 | o2(x,o1(o2(x,x))) | true | 146583 | 146583 | 0.5313 | 0.8125 | 0.5313 | 0.1881 | 0.4337 | 0 | 1 | 1 | 1 | 2.747 | 0.03489 | 0 | 0.06744 | 1 | 1 | -7.096e-10 | 0.06428 | 0.07181 | 0.03034 | 0.1742 | 2.583 | 0.9997 | 0.1855 | 0.3417 | 1 | 1 | 0.04992 | 0.1917 | 0.132 | 0.2654 | 1.019 | 0.7015 | json |
| t16_x9_u0_b72 | 16 | 9 | 0 | 72 | ![]() |
lrg(D,sqt(lrg(P,P))) | 82323 | 130293297 | o2(x,o1(o2(x,x))) | true | 146591 | 146591 | 0.5 | 1 | 0.5 | 0.1418 | 0.3765 | 0.000291 | 0.9997 | 0.9994 | 1 | 3.406 | 0.06511 | 0 | 0.1228 | 1 | 1 | 0 | 0.1208 | 0.1337 | 0.05001 | 0.2236 | 1.821 | 0.9994 | 0.4593 | 0.8522 | 1 | 1 | 0.07073 | 0.2419 | 0 | 0.4989 | 1.706 | 0 | json |
| t16_x9_u0_b73 | 16 | 9 | 0 | 73 | ![]() |
lrg(D,sqt(eql(P,P))) | 82324 | 130293298 | o2(x,o1(o2(x,x))) | true | 146599 | 146599 | 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_x9_u0_b74 | 16 | 9 | 0 | 74 | ![]() |
lrg(D,sqt(min(P,P))) | 82325 | 130293299 | o2(x,o1(o2(x,x))) | true | 146607 | 146607 | 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 |
| t16_x9_u0_b75 | 16 | 9 | 0 | 75 | ![]() |
lrg(D,sqt(dot(P,P))) | 82326 | 130293300 | o2(x,o1(o2(x,x))) | true | 146615 | 146615 | 0.001953 | 0.007385 | 0.001953 | 0.001197 | 0.0346 | 0 | 0.9994 | 0.9994 | 1 | 0.05785 | 0.0002149 | 0.00001756 | 0.0006672 | 0.8489 | 1 | 1.128e-12 | 0.000405 | 0.0006009 | 0.0002318 | 0.01522 | 22.82 | 0.9994 | 0.1941 | 0.3383 | 1 | 1 | 0.0004668 | 0.002552 | 0.004354 | 0.39 | 2.132 | 3.637 | json |
| t16_x9_u0_b76 | 16 | 9 | 0 | 76 | ![]() |
lrg(D,sqt(dst(P,P))) | 82327 | 130293301 | o2(x,o1(o2(x,x))) | true | 146623 | 146623 | 0.5 | 1 | 0.5 | 0.1418 | 0.3765 | 0.000291 | 0.9997 | 0.9994 | 1 | 3.406 | 0.06511 | 0 | 0.1228 | 1 | 1 | 0 | 0.1208 | 0.1337 | 0.05001 | 0.2236 | 1.821 | 0.9994 | 0.4593 | 0.8522 | 1 | 1 | 0.07073 | 0.2419 | 0 | 0.4989 | 1.706 | 0 | json |
| t16_x9_u0_b77 | 16 | 9 | 0 | 77 | ![]() |
eql(D,sqt(add(P,P))) | 82328 | 130293302 | o2(x,o1(o2(x,x))) | true | 146631 | 146631 | 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_x9_u0_b78 | 16 | 9 | 0 | 78 | ![]() |
eql(D,sqt(sub(P,P))) | 82329 | 130293303 | o2(x,o1(o2(x,x))) | true | 146639 | 146639 | 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_x9_u0_b79 | 16 | 9 | 0 | 79 | ![]() |
eql(D,sqt(mlt(P,P))) | 82330 | 130293304 | o2(x,o1(o2(x,x))) | true | 146647 | 146647 | 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_x9_u0_b80 | 16 | 9 | 0 | 80 | ![]() |
eql(D,sqt(div(P,P))) | 82331 | 130293305 | o2(x,o1(o2(x,x))) | true | 146655 | 146655 | 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_x9_u0_b81 | 16 | 9 | 0 | 81 | ![]() |
eql(D,sqt(pow(P,P))) | 82332 | 130293306 | o2(x,o1(o2(x,x))) | true | 146663 | 146663 | 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_x9_u0_b82 | 16 | 9 | 0 | 82 | ![]() |
eql(D,sqt(mod(P,P))) | 82333 | 130293307 | o2(x,o1(o2(x,x))) | true | 146671 | 146671 | 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_x9_u0_b83 | 16 | 9 | 0 | 83 | ![]() |
eql(D,sqt(lrg(P,P))) | 82334 | 130293308 | o2(x,o1(o2(x,x))) | true | 146679 | 146679 | 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_x9_u0_b84 | 16 | 9 | 0 | 84 | ![]() |
eql(D,sqt(eql(P,P))) | 82335 | 130293309 | o2(x,o1(o2(x,x))) | true | 146687 | 146687 | 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_x9_u0_b85 | 16 | 9 | 0 | 85 | ![]() |
eql(D,sqt(min(P,P))) | 82336 | 130293310 | o2(x,o1(o2(x,x))) | true | 146695 | 146695 | 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_x9_u0_b86 | 16 | 9 | 0 | 86 | ![]() |
eql(D,sqt(dot(P,P))) | 82337 | 130293311 | o2(x,o1(o2(x,x))) | true | 146703 | 146703 | 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_x9_u0_b87 | 16 | 9 | 0 | 87 | ![]() |
eql(D,sqt(dst(P,P))) | 82338 | 130293312 | o2(x,o1(o2(x,x))) | true | 146711 | 146711 | 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_x9_u0_b88 | 16 | 9 | 0 | 88 | ![]() |
min(D,sqt(add(P,P))) | 82339 | 130293313 | o2(x,o1(o2(x,x))) | true | 146719 | 146719 | -0.008939 | 0.4688 | 0.0974 | 0.01192 | 0.1092 | -0.2729 | 0.1454 | 0.4183 | 1 | 2.704 | 0.00162 | 0 | 0.03595 | 1 | 1 | -1.774e-10 | 0.0002558 | 0.01449 | 0.000328 | 0.01811 | 0.5038 | 0.0622 | 0.1359 | 0.02146 | 1 | 1 | 0.003117 | 0.02204 | 0.0025 | 0.2615 | 1.848 | 0.2097 | json |
| t16_x9_u0_b89 | 16 | 9 | 0 | 89 | ![]() |
min(D,sqt(sub(P,P))) | 82340 | 130293314 | o2(x,o1(o2(x,x))) | true | 146727 | 146727 | -0.143 | 0 | 0.143 | 0.009237 | 0.09611 | -0.2729 | -0.000282 | 0.2726 | 1 | 2.227 | 0.001451 | 0 | 0.03416 | 1 | 1 | 0.0003063 | 0.0002653 | 0.01361 | 0.0002853 | 0.01689 | 0.4945 | 0.06184 | 0.1571 | 0.02873 | 1 | 1 | 0.002788 | 0.01827 | 0 | 0.3018 | 1.978 | 0 | json |
| t16_x9_u0_b90 | 16 | 9 | 0 | 90 | ![]() |
min(D,sqt(mlt(P,P))) | 82341 | 130293315 | o2(x,o1(o2(x,x))) | true | 146735 | 146735 | -0.008939 | 0.4688 | 0.0974 | 0.01192 | 0.1092 | -0.2729 | 0.1454 | 0.4183 | 1 | 2.704 | 0.00162 | 0 | 0.03595 | 1 | 1 | -1.774e-10 | 0.0002558 | 0.01449 | 0.000328 | 0.01811 | 0.5038 | 0.0622 | 0.1359 | 0.02146 | 1 | 1 | 0.003117 | 0.02204 | 0.0025 | 0.2615 | 1.848 | 0.2097 | json |
| t16_x9_u0_b91 | 16 | 9 | 0 | 91 | ![]() |
min(D,sqt(div(P,P))) | 82342 | 130293316 | o2(x,o1(o2(x,x))) | true | 146743 | 146743 | 0 | 0.5 | 0.09436 | 0.01082 | 0.104 | -0.1454 | 0.1454 | 0.2908 | 1 | 2.561 | 0.001632 | 0 | 0.0361 | 1 | 1 | 0 | 0.0002563 | 0.01459 | 0.0003304 | 0.01818 | 0.5036 | 0.06192 | 0.1508 | 0.02368 | 1 | 1 | 0.003151 | 0.02183 | 0 | 0.2912 | 2.017 | 0 | json |
| t16_x9_u0_b92 | 16 | 9 | 0 | 92 | ![]() |
min(D,sqt(pow(P,P))) | 82343 | 130293317 | o2(x,o1(o2(x,x))) | true | 146751 | 146751 | 0 | 0.5 | 0.09436 | 0.01082 | 0.104 | -0.1454 | 0.1454 | 0.2908 | 1 | 2.561 | 0.001632 | 0 | 0.0361 | 1 | 1 | 0 | 0.0002563 | 0.01459 | 0.0003304 | 0.01818 | 0.5036 | 0.06192 | 0.1508 | 0.02368 | 1 | 1 | 0.003151 | 0.02183 | 0 | 0.2912 | 2.017 | 0 | json |
| t16_x9_u0_b93 | 16 | 9 | 0 | 93 | ![]() |
min(D,sqt(mod(P,P))) | 82344 | 130293318 | o2(x,o1(o2(x,x))) | true | 146759 | 146759 | -0.08044 | 0.2188 | 0.1217 | 0.01497 | 0.1223 | -0.2729 | 0.1454 | 0.4183 | 1 | 2.876 | 0.001545 | 0 | 0.0352 | 1 | 1 | 0.0002322 | 0.0002508 | 0.01371 | 0.000307 | 0.01752 | 0.4979 | 0.0622 | 0.1032 | 0.01676 | 1 | 1 | 0.002876 | 0.02155 | 0.01125 | 0.1921 | 1.44 | 0.7517 | json |
| t16_x9_u0_b94 | 16 | 9 | 0 | 94 | ![]() |
min(D,sqt(lrg(P,P))) | 82345 | 130293319 | o2(x,o1(o2(x,x))) | true | 146767 | 146767 | -0.143 | 0 | 0.143 | 0.009237 | 0.09611 | -0.2729 | -0.000282 | 0.2726 | 1 | 2.227 | 0.001451 | 0 | 0.03416 | 1 | 1 | 0.0003063 | 0.0002653 | 0.01361 | 0.0002853 | 0.01689 | 0.4945 | 0.06184 | 0.1571 | 0.02873 | 1 | 1 | 0.002788 | 0.01827 | 0 | 0.3018 | 1.978 | 0 | json |
| t16_x9_u0_b95 | 16 | 9 | 0 | 95 | ![]() |
min(D,sqt(eql(P,P))) | 82346 | 130293320 | o2(x,o1(o2(x,x))) | true | 146775 | 146775 | 0 | 0.5 | 0.09436 | 0.01082 | 0.104 | -0.1454 | 0.1454 | 0.2908 | 1 | 2.561 | 0.001632 | 0 | 0.0361 | 1 | 1 | 0 | 0.0002563 | 0.01459 | 0.0003304 | 0.01818 | 0.5036 | 0.06192 | 0.1508 | 0.02368 | 1 | 1 | 0.003151 | 0.02183 | 0 | 0.2912 | 2.017 | 0 | json |
| t16_x9_u0_b96 | 16 | 9 | 0 | 96 | ![]() |
min(D,sqt(min(P,P))) | 82347 | 130293321 | o2(x,o1(o2(x,x))) | true | 146783 | 146783 | -0.008939 | 0.4688 | 0.0974 | 0.01192 | 0.1092 | -0.2729 | 0.1454 | 0.4183 | 1 | 2.704 | 0.00162 | 0 | 0.03595 | 1 | 1 | -1.774e-10 | 0.0002558 | 0.01449 | 0.000328 | 0.01811 | 0.5038 | 0.0622 | 0.1359 | 0.02146 | 1 | 1 | 0.003117 | 0.02204 | 0.0025 | 0.2615 | 1.848 | 0.2097 | json |
| t16_x9_u0_b97 | 16 | 9 | 0 | 97 | ![]() |
min(D,sqt(dot(P,P))) | 82348 | 130293322 | o2(x,o1(o2(x,x))) | true | 146791 | 146791 | -0.0005587 | 0.4984 | 0.09447 | 0.01087 | 0.1043 | -0.2728 | 0.1454 | 0.4182 | 1 | 2.574 | 0.00163 | 0.000001331 | 0.03609 | 0.9984 | 1 | -5.514e-12 | 0.0002562 | 0.01459 | 0.0003298 | 0.01816 | 0.5032 | 0.0622 | 0.1501 | 0.02357 | 1 | 1 | 0.003149 | 0.02187 | 0.00033 | 0.2896 | 2.012 | 0.03035 | json |
| t16_x9_u0_b98 | 16 | 9 | 0 | 98 | ![]() |
min(D,sqt(dst(P,P))) | 82349 | 130293323 | o2(x,o1(o2(x,x))) | true | 146799 | 146799 | -0.143 | 0 | 0.143 | 0.009237 | 0.09611 | -0.2729 | -0.000282 | 0.2726 | 1 | 2.227 | 0.001451 | 0 | 0.03416 | 1 | 1 | 0.0003063 | 0.0002653 | 0.01361 | 0.0002853 | 0.01689 | 0.4945 | 0.06184 | 0.1571 | 0.02873 | 1 | 1 | 0.002788 | 0.01827 | 0 | 0.3018 | 1.978 | 0 | json |
| t16_x9_u0_b99 | 16 | 9 | 0 | 99 | ![]() |
dot(D,sqt(add(P,P))) | 82350 | 130293324 | o2(x,o1(o2(x,x))) | true | 146807 | 146807 | -0.7856 | 0.09178 | 0.8418 | 0.1829 | 0.4277 | -1 | 1 | 2 | 1 | 1.961 | 0.005149 | 0.005149 | 0.04109 | 7.235e-7 | 1 | 0.0006368 | 0.008833 | 0.02026 | 0.008609 | 0.09279 | 2.258 | 1.529 | 0.05629 | 0.04829 | 1 | 1 | 0.01472 | 0.08902 | 0.06233 | 0.08047 | 0.4866 | 0.3407 | json |
| t16_x9_u0_b100 | 16 | 9 | 0 | 100 | ![]() |
dot(D,sqt(sub(P,P))) | 82351 | 130293325 | o2(x,o1(o2(x,x))) | true | 146815 | 146815 | 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_x9_u0_b101 | 16 | 9 | 0 | 101 | ![]() |
dot(D,sqt(mlt(P,P))) | 82352 | 130293326 | o2(x,o1(o2(x,x))) | true | 146823 | 146823 | -1.68e-8 | 0.4978 | 0.5232 | 0.3825 | 0.6184 | -1 | 1 | 2 | 1 | 4.824 | 0.02797 | 0.02797 | 0.1948 | -0.00001924 | 1 | 1.395e-9 | 0.0158 | 0.08149 | 0.018 | 0.1342 | 0.6887 | 0.613 | 0.1463 | 0.04131 | 1 | 1 | 0.07013 | 0.4947 | 0.05041 | 0.1834 | 1.293 | 0.1318 | json |
| t16_x9_u0_b102 | 16 | 9 | 0 | 102 | ![]() |
dot(D,sqt(div(P,P))) | 82353 | 130293327 | o2(x,o1(o2(x,x))) | true | 146831 | 146831 | -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_x9_u0_b103 | 16 | 9 | 0 | 103 | ![]() |
dot(D,sqt(pow(P,P))) | 82354 | 130293328 | o2(x,o1(o2(x,x))) | true | 146839 | 146839 | -0.9132 | 0.04077 | 0.9701 | 0.1292 | 0.3594 | -1 | 1 | 2 | 1 | 0.6341 | 0.03953 | 0.03953 | 0.05072 | -9.896e-7 | 1 | 4.806e-10 | 0.1642 | 0.08482 | 0.07649 | 0.2766 | 5.453 | 2.828 | 0.6119 | 1.271 | 1 | 1 | 0.0666 | 0.1592 | 0.11 | 0.5156 | 1.232 | 0.8516 | json |
| t16_x9_u0_b104 | 16 | 9 | 0 | 104 | ![]() |
dot(D,sqt(mod(P,P))) | 82355 | 130293329 | o2(x,o1(o2(x,x))) | true | 146847 | 146847 | -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_x9_u0_b105 | 16 | 9 | 0 | 105 | ![]() |
dot(D,sqt(lrg(P,P))) | 82356 | 130293330 | o2(x,o1(o2(x,x))) | true | 146855 | 146855 | 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_x9_u0_b106 | 16 | 9 | 0 | 106 | ![]() |
dot(D,sqt(eql(P,P))) | 82357 | 130293331 | o2(x,o1(o2(x,x))) | true | 146863 | 146863 | 3.452e-9 | 0.4688 | 0.1187 | 0.02164 | 0.1471 | -0.2908 | 0.2908 | 0.5817 | 1 | 3.17 | 0.001632 | 0.001632 | 0.05456 | 1.783e-7 | 1 | 3.281e-9 | 0.0005126 | 0.01826 | 0.000288 | 0.01697 | 0.3111 | 0.08757 | 0.1508 | 0.02368 | 1 | 1 | 0.006301 | 0.04366 | 1.047e-14 | 0.2911 | 2.017 | 4.838e-13 | json |
| t16_x9_u0_b107 | 16 | 9 | 0 | 107 | ![]() |
dot(D,sqt(min(P,P))) | 82358 | 130293332 | o2(x,o1(o2(x,x))) | true | 146871 | 146871 | -0.7753 | 0.09178 | 0.815 | 0.1742 | 0.4173 | -1 | 0.7485 | 1.749 | 1 | 1.884 | 0.003516 | 0.003516 | 0.03034 | 0.000004138 | 1 | 0.0004609 | 0.008174 | 0.01666 | 0.006111 | 0.07817 | 2.577 | 1.374 | 0.04038 | 0.04693 | 1 | 1 | 0.009804 | 0.05315 | 0.06541 | 0.05629 | 0.3051 | 0.3756 | json |
| t16_x9_u0_b108 | 16 | 9 | 0 | 108 | ![]() |
dot(D,sqt(dot(P,P))) | 82359 | 130293333 | o2(x,o1(o2(x,x))) | true | 146879 | 146879 | -1.036e-8 | 0.4974 | 0.5757 | 0.4653 | 0.6821 | -1 | 1 | 2 | 1 | 4.488 | 0.043 | 0.043 | 0.2278 | 8.663e-8 | 1 | -2.459e-9 | 0.03922 | 0.1085 | 0.0341 | 0.1847 | 0.8106 | 0.8669 | 0.1848 | 0.08429 | 1 | 1 | 0.113 | 0.7082 | 0.02481 | 0.2429 | 1.522 | 0.05332 | json |
| t16_x9_u0_b109 | 16 | 9 | 0 | 109 | ![]() |
dot(D,sqt(dst(P,P))) | 82360 | 130293334 | o2(x,o1(o2(x,x))) | true | 146887 | 146887 | 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_x9_u0_b110 | 16 | 9 | 0 | 110 | ![]() |
dst(D,sqt(add(P,P))) | 82361 | 130293335 | o2(x,o1(o2(x,x))) | true | 146895 | 146895 | -0.5002 | 0.25 | 0.9998 | 0.7493 | 0.8656 | -1 | 1 | 2 | 1 | 0.8188 | 0.007738 | 0.007738 | 0.007907 | 0 | 1 | -4.505e-11 | 0.03095 | 0.01566 | 0.01541 | 0.1241 | 15.7 | 2 | 0.02065 | 0.0413 | 1 | 1 | 0.0204 | 0.08295 | 0.3356 | 0.02722 | 0.1107 | 0.4479 | json |
| t16_x9_u0_b111 | 16 | 9 | 0 | 111 | ![]() |
dst(D,sqt(sub(P,P))) | 82362 | 130293336 | o2(x,o1(o2(x,x))) | true | 146903 | 146903 | 0.4439 | 1 | 0.4439 | 0.02504 | 0.1582 | 0.04473 | 0.7026 | 0.6579 | 1 | 3.252 | 0.001981 | 0.001981 | 0.05914 | 2.938e-7 | 1 | -0.0006857 | 0.0006739 | 0.01958 | 0.000465 | 0.02156 | 0.3646 | 0.09377 | 0.1583 | 0.02692 | 1 | 1 | 0.007608 | 0.05068 | 0 | 0.3039 | 2.024 | 0 | json |
| t16_x9_u0_b112 | 16 | 9 | 0 | 112 | ![]() |
dst(D,sqt(mlt(P,P))) | 82363 | 130293337 | o2(x,o1(o2(x,x))) | true | 146911 | 146911 | 0.9975 | 1 | 0.9975 | 0.001266 | 0.03559 | 0.04419 | 1 | 0.9558 | 1 | 0.07953 | 0.00003206 | 0.00003206 | 0.0006715 | 5.106e-7 | 0 | 1.877e-11 | 0.00001715 | 0.0002939 | 0.00006369 | 0.007981 | 11.89 | 0.1796 | 0.05064 | 0.01354 | 1 | 1 | 0.0002141 | 0.002196 | 0.004605 | 0.169 | 1.734 | 3.636 | json |
| t16_x9_u0_b113 | 16 | 9 | 0 | 113 | ![]() |
dst(D,sqt(div(P,P))) | 82364 | 130293338 | o2(x,o1(o2(x,x))) | true | 146919 | 146919 | -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_x9_u0_b114 | 16 | 9 | 0 | 114 | ![]() |
dst(D,sqt(pow(P,P))) | 82365 | 130293339 | o2(x,o1(o2(x,x))) | true | 146927 | 146927 | -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_x9_u0_b115 | 16 | 9 | 0 | 115 | ![]() |
dst(D,sqt(mod(P,P))) | 82366 | 130293340 | o2(x,o1(o2(x,x))) | true | 146935 | 146935 | -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_x9_u0_b116 | 16 | 9 | 0 | 116 | ![]() |
dst(D,sqt(lrg(P,P))) | 82367 | 130293341 | o2(x,o1(o2(x,x))) | true | 146943 | 146943 | 0.4439 | 1 | 0.4439 | 0.02504 | 0.1582 | 0.04473 | 0.7026 | 0.6579 | 1 | 3.252 | 0.001981 | 0.001981 | 0.05914 | 2.938e-7 | 1 | -0.0006857 | 0.0006739 | 0.01958 | 0.000465 | 0.02156 | 0.3646 | 0.09377 | 0.1583 | 0.02692 | 1 | 1 | 0.007608 | 0.05068 | 0 | 0.3039 | 2.024 | 0 | json |
| t16_x9_u0_b117 | 16 | 9 | 0 | 117 | ![]() |
dst(D,sqt(eql(P,P))) | 82368 | 130293342 | o2(x,o1(o2(x,x))) | true | 146951 | 146951 | 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_x9_u0_b118 | 16 | 9 | 0 | 118 | ![]() |
dst(D,sqt(min(P,P))) | 82369 | 130293343 | o2(x,o1(o2(x,x))) | true | 146959 | 146959 | -0.5003 | 0.25 | 0.9997 | 0.7492 | 0.8656 | -1 | 1 | 2 | 1 | 0.8233 | 0.007689 | 0.007689 | 0.007915 | -1.817e-7 | 1 | 9.761e-11 | 0.03074 | 0.01562 | 0.01531 | 0.1237 | 15.63 | 2 | 0.02052 | 0.04103 | 1 | 1 | 0.02023 | 0.08257 | 0.3351 | 0.027 | 0.1102 | 0.4472 | json |
| t16_x9_u0_b119 | 16 | 9 | 0 | 119 | ![]() |
dst(D,sqt(dot(P,P))) | 82370 | 130293344 | o2(x,o1(o2(x,x))) | true | 146967 | 146967 | 0.9989 | 1 | 0.9989 | 0.0006707 | 0.0259 | 0.045 | 1 | 0.955 | 1 | 0.03349 | 0.00003527 | 0.00003527 | 0.0004401 | -5.158e-8 | 0 | 3.379e-11 | 0.0000279 | 0.0002501 | 0.00007025 | 0.008381 | 19.04 | 0.2207 | 0.1052 | 0.04159 | 1 | 1 | 0.00023 | 0.001932 | 0.002442 | 0.3429 | 2.881 | 3.641 | json |
| t16_x9_u0_b120 | 16 | 9 | 0 | 120 | ![]() |
dst(D,sqt(dst(P,P))) | 82371 | 130293345 | o2(x,o1(o2(x,x))) | true | 146975 | 146975 | 0.4439 | 1 | 0.4439 | 0.02504 | 0.1582 | 0.04473 | 0.7026 | 0.6579 | 1 | 3.252 | 0.001981 | 0.001981 | 0.05914 | 2.938e-7 | 1 | -0.0006857 | 0.0006739 | 0.01958 | 0.000465 | 0.02156 | 0.3646 | 0.09377 | 0.1583 | 0.02692 | 1 | 1 | 0.007608 | 0.05068 | 0 | 0.3039 | 2.024 | 0 | json |
| t16_x9_u1_b0 | 16 | 9 | 1 | 0 | ![]() |
add(D,log(add(P,P))) | 82372 | 130293426 | o2(x,o1(o2(x,x))) | true | 146983 | 146983 | -0.1284 | 0.4375 | 0.9966 | 0.977 | 0.9884 | -1 | 1 | 2 | 1 | 1.141 | 0.01185 | 0 | 0.007937 | 1 | 1 | 1.419e-9 | 0.02279 | 0.01368 | 0.01179 | 0.1086 | 13.68 | 1.724 | 0.01213 | 0.02333 | 1 | 1 | 0.01632 | 0.076 | 0.3286 | 0.01671 | 0.07779 | 0.3364 | json |
| t16_x9_u1_b1 | 16 | 9 | 1 | 1 | ![]() |
add(D,log(sub(P,P))) | 82373 | 130293427 | o2(x,o1(o2(x,x))) | true | 146991 | 146991 | -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_x9_u1_b2 | 16 | 9 | 1 | 2 | ![]() |
add(D,log(mlt(P,P))) | 82374 | 130293428 | o2(x,o1(o2(x,x))) | true | 146999 | 146999 | 0.6985 | 0.8594 | 0.9503 | 0.4518 | 0.6721 | -1 | 1 | 2 | 1 | 1.186 | 0.009085 | 0 | 0.01631 | 1 | 1 | -1.419e-9 | 0.01597 | 0.0183 | 0.00882 | 0.09391 | 5.759 | 1.031 | 0.02011 | 0.03536 | 1 | 1 | 0.01351 | 0.0902 | 0.592 | 0.0299 | 0.1997 | 1.31 | json |
| t16_x9_u1_b3 | 16 | 9 | 1 | 3 | ![]() |
add(D,log(div(P,P))) | 82375 | 130293429 | o2(x,o1(o2(x,x))) | true | 147007 | 147007 | -0.125 | 0.4375 | 0.2076 | 0.1189 | 0.3448 | -1 | 0.1454 | 1.145 | 1 | 2.785 | 0.009352 | 0 | 0.03917 | 1 | 1 | 9.386e-13 | 0.01611 | 0.02856 | 0.007817 | 0.08842 | 2.257 | 1.031 | 0.07868 | 0.1355 | 1 | 1 | 0.01311 | 0.05985 | 0.1702 | 0.1103 | 0.5035 | 1.432 | json |
| t16_x9_u1_b4 | 16 | 9 | 1 | 4 | ![]() |
add(D,log(pow(P,P))) | 82376 | 130293430 | o2(x,o1(o2(x,x))) | true | 147015 | 147015 | -0.1483 | 0.4375 | 0.9767 | 0.9484 | 0.9739 | -1 | 1 | 2 | 1 | 1.308 | 0.004576 | 0 | 0.007937 | 1 | 1 | -9.456e-10 | 0.007948 | 0.008523 | 0.004512 | 0.06717 | 8.464 | 1.031 | 0.004826 | 0.008381 | 1 | 1 | 0.006869 | 0.04612 | 0.2963 | 0.007243 | 0.04863 | 0.3124 | json |
| t16_x9_u1_b5 | 16 | 9 | 1 | 5 | ![]() |
add(D,log(mod(P,P))) | 82377 | 130293431 | o2(x,o1(o2(x,x))) | true | 147023 | 147023 | -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.01053 | 0.07368 | 0.1684 | 0.04491 | 0.3144 | 0.7186 | json |
| t16_x9_u1_b6 | 16 | 9 | 1 | 6 | ![]() |
add(D,log(lrg(P,P))) | 82378 | 130293432 | o2(x,o1(o2(x,x))) | true | 147031 | 147031 | -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_x9_u1_b7 | 16 | 9 | 1 | 7 | ![]() |
add(D,log(eql(P,P))) | 82379 | 130293433 | o2(x,o1(o2(x,x))) | true | 147039 | 147039 | 0 | 0.5 | 0.09436 | 0.01082 | 0.104 | -0.1454 | 0.1454 | 0.2908 | 1 | 2.561 | 0.001632 | 0 | 0.03609 | 1 | 1 | 0 | 0.0002563 | 0.01459 | 0.0003304 | 0.01818 | 0.5036 | 0.06192 | 0.1508 | 0.02368 | 1 | 1 | 0.003151 | 0.02183 | 5.236e-15 | 0.2912 | 2.017 | 4.838e-13 | json |
| t16_x9_u1_b8 | 16 | 9 | 1 | 8 | ![]() |
add(D,log(min(P,P))) | 82380 | 130293434 | o2(x,o1(o2(x,x))) | true | 147047 | 147047 | -0.1726 | 0.4375 | 0.9523 | 0.9041 | 0.9509 | -1 | 1 | 2 | 1 | 1.742 | 0.004394 | 0 | 0.008069 | 1 | 1 | 9.461e-10 | 0.007972 | 0.008839 | 0.004328 | 0.06579 | 8.153 | 1.031 | 0.00486 | 0.008817 | 1 | 1 | 0.00637 | 0.03552 | 0.2484 | 0.007045 | 0.03928 | 0.2747 | json |
| t16_x9_u1_b9 | 16 | 9 | 1 | 9 | ![]() |
add(D,log(dot(P,P))) | 82381 | 130293435 | o2(x,o1(o2(x,x))) | true | 147055 | 147055 | 0.9606 | 0.9835 | 0.992 | 0.06608 | 0.2571 | -1 | 1 | 2 | 1 | 0.3079 | 0.002022 | 0.002003 | 0.004562 | 0.004555 | 1 | 1.652e-10 | 0.007997 | 0.006142 | 0.004002 | 0.06326 | 13.87 | 2.395 | 0.06091 | 0.121 | 1 | 1 | 0.007465 | 0.0406 | 0.2172 | 0.113 | 0.6144 | 3.287 | json |
| t16_x9_u1_b10 | 16 | 9 | 1 | 10 | ![]() |
add(D,log(dst(P,P))) | 82382 | 130293436 | o2(x,o1(o2(x,x))) | true | 147063 | 147063 | -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_x9_u1_b11 | 16 | 9 | 1 | 11 | ![]() |
sub(D,log(add(P,P))) | 82383 | 130293437 | o2(x,o1(o2(x,x))) | true | 147071 | 147071 | -0.9908 | 0 | 0.9908 | 0.003115 | 0.05582 | -1 | -0.5873 | 0.4127 | 1 | 0.2313 | 0.0006215 | 0 | 0.003276 | 1 | 1 | -9.461e-10 | 0.0008448 | 0.003705 | 0.0006111 | 0.02472 | 7.547 | 0.3376 | 0.1995 | 0.2712 | 1 | 1 | 0.001088 | 0.004307 | 0.004307 | 0.3493 | 1.383 | 1.383 | json |
| t16_x9_u1_b12 | 16 | 9 | 1 | 12 | ![]() |
sub(D,log(sub(P,P))) | 82384 | 130293438 | o2(x,o1(o2(x,x))) | true | 147079 | 147079 | 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_x9_u1_b13 | 16 | 9 | 1 | 13 | ![]() |
sub(D,log(mlt(P,P))) | 82385 | 130293439 | o2(x,o1(o2(x,x))) | true | 147087 | 147087 | -0.8235 | 0.07813 | 0.9503 | 0.2613 | 0.5112 | -1 | 1 | 2 | 1 | 0.9878 | 0.02544 | 0 | 0.02449 | 1 | 1 | 1.419e-9 | 0.04796 | 0.03429 | 0.02485 | 0.1576 | 6.438 | 2 | 0.09737 | 0.1835 | 1 | 1 | 0.03569 | 0.1642 | 0.3179 | 0.1366 | 0.6283 | 1.217 | json |
| t16_x9_u1_b14 | 16 | 9 | 1 | 14 | ![]() |
sub(D,log(div(P,P))) | 82386 | 130293440 | o2(x,o1(o2(x,x))) | true | 147095 | 147095 | -0.125 | 0.4375 | 0.2076 | 0.1189 | 0.3448 | -1 | 0.1454 | 1.145 | 1 | 2.785 | 0.009352 | 0 | 0.03917 | 1 | 1 | 9.386e-13 | 0.01611 | 0.02856 | 0.007817 | 0.08842 | 2.257 | 1.031 | 0.07868 | 0.1355 | 1 | 1 | 0.01311 | 0.05985 | 0.1702 | 0.1103 | 0.5035 | 1.432 | json |
| t16_x9_u1_b15 | 16 | 9 | 1 | 15 | ![]() |
sub(D,log(pow(P,P))) | 82387 | 130293441 | o2(x,o1(o2(x,x))) | true | 147103 | 147103 | -0.9718 | 0.01563 | 0.9736 | 0.02515 | 0.1586 | -1 | 0.08522 | 1.085 | 1 | 0.3154 | 0.004994 | 0 | 0.008613 | 1 | 1 | 4.733e-10 | 0.008263 | 0.009897 | 0.004918 | 0.07013 | 8.142 | 1.031 | 0.1985 | 0.3285 | 1 | 1 | 0.007767 | 0.03386 | 0.03494 | 0.3088 | 1.346 | 1.389 | json |
| t16_x9_u1_b16 | 16 | 9 | 1 | 16 | ![]() |
sub(D,log(mod(P,P))) | 82388 | 130293442 | o2(x,o1(o2(x,x))) | true | 147111 | 147111 | -0.75 | 0.125 | 1 | 0.4375 | 0.6614 | -1 | 1 | 2 | 1 | 0.5436 | 0.04762 | 0 | 0.02381 | 1 | 1 | 0 | 0.09524 | 0.04762 | 0.04704 | 0.2169 | 9.109 | 2 | 0.1088 | 0.2177 | 1 | 1 | 0.04211 | 0.1684 | 0.4947 | 0.09624 | 0.385 | 1.131 | json |
| t16_x9_u1_b17 | 16 | 9 | 1 | 17 | ![]() |
sub(D,log(lrg(P,P))) | 82389 | 130293443 | o2(x,o1(o2(x,x))) | true | 147119 | 147119 | -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_x9_u1_b18 | 16 | 9 | 1 | 18 | ![]() |
sub(D,log(eql(P,P))) | 82390 | 130293444 | o2(x,o1(o2(x,x))) | true | 147127 | 147127 | 0 | 0.5 | 0.09436 | 0.01082 | 0.104 | -0.1454 | 0.1454 | 0.2908 | 1 | 2.561 | 0.001632 | 0 | 0.03609 | 1 | 1 | 0 | 0.0002563 | 0.01459 | 0.0003304 | 0.01818 | 0.5036 | 0.06192 | 0.1508 | 0.02368 | 1 | 1 | 0.003151 | 0.02183 | 5.236e-15 | 0.2912 | 2.017 | 4.838e-13 | json |
| t16_x9_u1_b19 | 16 | 9 | 1 | 19 | ![]() |
sub(D,log(min(P,P))) | 82391 | 130293445 | o2(x,o1(o2(x,x))) | true | 147135 | 147135 | -0.9482 | 0.01953 | 0.951 | 0.03578 | 0.1891 | -1 | 0.1059 | 1.106 | 1 | 0.7653 | 0.004788 | 0 | 0.01074 | 1 | 1 | -4.735e-10 | 0.008115 | 0.01088 | 0.004676 | 0.06838 | 6.368 | 1.031 | 0.1338 | 0.2268 | 1 | 1 | 0.007319 | 0.03355 | 0.05154 | 0.2046 | 0.9378 | 1.441 | json |
| t16_x9_u1_b20 | 16 | 9 | 1 | 20 | ![]() |
sub(D,log(dot(P,P))) | 82392 | 130293446 | o2(x,o1(o2(x,x))) | true | 147143 | 147143 | -0.9841 | 0.004791 | 0.992 | 0.02053 | 0.1433 | -1 | 1 | 2 | 1 | 0.2289 | 0.002012 | 0.001962 | 0.004524 | 0.01247 | 1 | 5.632e-11 | 0.008007 | 0.006087 | 0.003951 | 0.06286 | 13.9 | 2.828 | 0.1935 | 0.3899 | 1 | 1 | 0.007383 | 0.03331 | 0.06746 | 0.3595 | 1.622 | 3.285 | json |
| t16_x9_u1_b21 | 16 | 9 | 1 | 21 | ![]() |
sub(D,log(dst(P,P))) | 82393 | 130293447 | o2(x,o1(o2(x,x))) | true | 147151 | 147151 | 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_x9_u1_b22 | 16 | 9 | 1 | 22 | ![]() |
mlt(D,log(add(P,P))) | 82394 | 130293448 | o2(x,o1(o2(x,x))) | true | 147159 | 147159 | -0.5811 | 0.1992 | 0.65 | 0.2478 | 0.4978 | -1 | 0.3761 | 1.376 | 1 | 2.578 | 0.007373 | 0 | 0.03671 | 1 | 1 | 0.0004484 | 0.008513 | 0.02106 | 0.006024 | 0.07762 | 2.114 | 1.021 | 0.02975 | 0.03435 | 1 | 1 | 0.01059 | 0.05785 | 0.07433 | 0.04275 | 0.2334 | 0.3 | json |
| t16_x9_u1_b23 | 16 | 9 | 1 | 23 | ![]() |
mlt(D,log(sub(P,P))) | 82395 | 130293449 | o2(x,o1(o2(x,x))) | true | 147167 | 147167 | 0 | 0.5 | 1 | 1 | 1 | -1 | 1 | 2 | 1 | 1 | 0.4921 | 0 | 0.246 | 1 | 1 | 0 | 0.9841 | 0.4921 | 0.4315 | 0.6569 | 2.67 | 2 | 0.4921 | 0.9841 | 1 | 1 | 0.4947 | 2 | 0 | 0.4947 | 2 | 0 | json |
| t16_x9_u1_b24 | 16 | 9 | 1 | 24 | ![]() |
mlt(D,log(mlt(P,P))) | 82396 | 130293450 | o2(x,o1(o2(x,x))) | true | 147175 | 147175 | 2.274e-12 | 0.5 | 0.3721 | 0.2185 | 0.4674 | -1 | 1 | 2 | 1 | 4.384 | 0.03618 | 0 | 0.1043 | 1 | 1 | -9.386e-13 | 0.04969 | 0.06691 | 0.0253 | 0.1591 | 1.525 | 2 | 0.1656 | 0.2274 | 1 | 1 | 0.04814 | 0.2376 | 0.1989 | 0.2203 | 1.088 | 0.9103 | json |
| t16_x9_u1_b25 | 16 | 9 | 1 | 25 | ![]() |
mlt(D,log(div(P,P))) | 82397 | 130293451 | o2(x,o1(o2(x,x))) | true | 147183 | 147183 | -0.125 | 0 | 0.125 | 0.1094 | 0.3307 | -1 | 1.626e-8 | 1 | 1 | 0.5436 | 0.007937 | 0 | 0.007937 | 1 | 1 | 1.751e-14 | 0.01587 | 0.01587 | 0.007872 | 0.08872 | 11.18 | 1 | 0.07256 | 0.1451 | 1 | 1 | 0.01053 | 0.04211 | 0.1684 | 0.09624 | 0.385 | 1.54 | json |
| t16_x9_u1_b26 | 16 | 9 | 1 | 26 | ![]() |
mlt(D,log(pow(P,P))) | 82398 | 130293452 | o2(x,o1(o2(x,x))) | true | 147191 | 147191 | -0.6593 | 0.1484 | 0.817 | 0.3318 | 0.576 | -1 | 1 | 2 | 1 | 2.431 | 0.03689 | 0 | 0.08096 | 1 | 1 | -2.365e-9 | 0.02209 | 0.0514 | 0.03035 | 0.1742 | 2.152 | 0.9996 | 0.1112 | 0.06657 | 1 | 1 | 0.04253 | 0.2804 | 0.07681 | 0.1282 | 0.8453 | 0.2315 | json |
| t16_x9_u1_b27 | 16 | 9 | 1 | 27 | ![]() |
mlt(D,log(mod(P,P))) | 82399 | 130293453 | o2(x,o1(o2(x,x))) | true | 147199 | 147199 | -0.6889 | 0.1563 | 0.9485 | 0.4656 | 0.6823 | -1 | 1 | 2 | 1 | 1.066 | 0.04094 | 0 | 0.02812 | 1 | 1 | 1.877e-12 | 0.07965 | 0.04934 | 0.04012 | 0.2003 | 7.122 | 2 | 0.08793 | 0.1711 | 1 | 1 | 0.04504 | 0.1939 | 0.5366 | 0.09673 | 0.4165 | 1.152 | json |



































































































