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_x13_u6_b35 | 16 | 13 | 6 | 35 | ![]() |
div(D,nrm(mlt(D,D))) | 86400 | 130456070 | o2(x,o1(o2(x,x))) | true | 8007 | 8007 | -2.834e-9 | 0.5 | 0.4429 | 0.3292 | 0.5738 | -1 | 1 | 2 | 1 | 4.38 | 0.2102 | 0.01763 | 0.2373 | 0.8453 | 1 | 3.866e-9 | 0.4913 | 0.2938 | 0.1716 | 0.4142 | 1.745 | 2.07 | 0.6921 | 1.492 | 1 | 1 | 0.2355 | 0.6132 | 0 | 0.7154 | 1.862 | 0 | json |
| t16_x13_u6_b36 | 16 | 13 | 6 | 36 | ![]() |
div(D,nrm(div(D,D))) | 86401 | 130456071 | o2(x,o1(o2(x,x))) | true | 8015 | 8015 | -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_x13_u6_b37 | 16 | 13 | 6 | 37 | ![]() |
div(D,nrm(pow(D,D))) | 86402 | 130456072 | o2(x,o1(o2(x,x))) | true | 8023 | 8023 | -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_x13_u6_b38 | 16 | 13 | 6 | 38 | ![]() |
div(D,nrm(mod(D,D))) | 86403 | 130456073 | o2(x,o1(o2(x,x))) | true | 8031 | 8031 | -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_x13_u6_b39 | 16 | 13 | 6 | 39 | ![]() |
div(D,nrm(lrg(D,D))) | 86404 | 130456074 | o2(x,o1(o2(x,x))) | true | 8039 | 8039 | -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_x13_u6_b40 | 16 | 13 | 6 | 40 | ![]() |
div(D,nrm(eql(D,D))) | 86405 | 130456075 | o2(x,o1(o2(x,x))) | true | 8047 | 8047 | -9.33e-10 | 0.5 | 0.1635 | 0.03246 | 0.1802 | -0.2519 | 0.2519 | 0.5037 | 1 | 2.906 | 0.004897 | 0 | 0.06251 | 1 | 1 | 0 | 0.0007688 | 0.02527 | 0.000991 | 0.03148 | 0.5036 | 0.1072 | 0.1508 | 0.02368 | 1 | 1 | 0.009452 | 0.06552 | 1.552e-14 | 0.2912 | 2.018 | 4.781e-13 | json |
| t16_x13_u6_b41 | 16 | 13 | 6 | 41 | ![]() |
div(D,nrm(min(D,D))) | 86406 | 130456076 | o2(x,o1(o2(x,x))) | true | 8055 | 8055 | 0.4439 | 1 | 0.4439 | 0.02504 | 0.1582 | 0.04473 | 0.7026 | 0.6579 | 1 | 3.252 | 0.001981 | 0.001981 | 0.05914 | 7.051e-7 | 1 | -0.0006856 | 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_x13_u6_b42 | 16 | 13 | 6 | 42 | ![]() |
div(D,nrm(dot(D,D))) | 86407 | 130456077 | o2(x,o1(o2(x,x))) | true | 8063 | 8063 | -5.889e-11 | 0.5 | 0.1635 | 0.03246 | 0.1802 | -0.2519 | 0.2519 | 0.5037 | 1 | 2.906 | 0.004897 | 3.808e-16 | 0.06251 | 1 | 1 | -2.458e-9 | 0.0007688 | 0.02527 | 0.000991 | 0.03148 | 0.5036 | 0.1072 | 0.1508 | 0.02368 | 1 | 1 | 0.009452 | 0.06552 | 0 | 0.2912 | 2.018 | 0 | json |
| t16_x13_u6_b43 | 16 | 13 | 6 | 43 | ![]() |
div(D,nrm(dst(D,D))) | 86408 | 130456078 | o2(x,o1(o2(x,x))) | true | 8071 | 8071 | -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_x13_u6_b44 | 16 | 13 | 6 | 44 | ![]() |
pow(D,nrm(add(D,D))) | 86409 | 130456079 | o2(x,o1(o2(x,x))) | true | 8079 | 8079 | -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_x13_u6_b45 | 16 | 13 | 6 | 45 | ![]() |
pow(D,nrm(sub(D,D))) | 86410 | 130456080 | o2(x,o1(o2(x,x))) | true | 8087 | 8087 | 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_x13_u6_b46 | 16 | 13 | 6 | 46 | ![]() |
pow(D,nrm(mlt(D,D))) | 86411 | 130456081 | o2(x,o1(o2(x,x))) | true | 8095 | 8095 | -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_x13_u6_b47 | 16 | 13 | 6 | 47 | ![]() |
pow(D,nrm(div(D,D))) | 86412 | 130456082 | o2(x,o1(o2(x,x))) | true | 8103 | 8103 | -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_x13_u6_b48 | 16 | 13 | 6 | 48 | ![]() |
pow(D,nrm(pow(D,D))) | 86413 | 130456083 | o2(x,o1(o2(x,x))) | true | 8111 | 8111 | -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_x13_u6_b49 | 16 | 13 | 6 | 49 | ![]() |
pow(D,nrm(mod(D,D))) | 86414 | 130456084 | o2(x,o1(o2(x,x))) | true | 8119 | 8119 | -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_x13_u6_b50 | 16 | 13 | 6 | 50 | ![]() |
pow(D,nrm(lrg(D,D))) | 86415 | 130456085 | o2(x,o1(o2(x,x))) | true | 8127 | 8127 | -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_x13_u6_b51 | 16 | 13 | 6 | 51 | ![]() |
pow(D,nrm(eql(D,D))) | 86416 | 130456086 | o2(x,o1(o2(x,x))) | true | 8135 | 8135 | -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_x13_u6_b52 | 16 | 13 | 6 | 52 | ![]() |
pow(D,nrm(min(D,D))) | 86417 | 130456087 | o2(x,o1(o2(x,x))) | true | 8143 | 8143 | -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_x13_u6_b53 | 16 | 13 | 6 | 53 | ![]() |
pow(D,nrm(dot(D,D))) | 86418 | 130456088 | o2(x,o1(o2(x,x))) | true | 8151 | 8151 | -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_x13_u6_b54 | 16 | 13 | 6 | 54 | ![]() |
pow(D,nrm(dst(D,D))) | 86419 | 130456089 | o2(x,o1(o2(x,x))) | true | 8159 | 8159 | -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_x13_u6_b55 | 16 | 13 | 6 | 55 | ![]() |
mod(D,nrm(add(D,D))) | 86420 | 130456090 | o2(x,o1(o2(x,x))) | true | 8167 | 8167 | 9.095e-13 | 0.5 | 0.09597 | 0.01124 | 0.106 | -0.1581 | 0.1581 | 0.3162 | 1 | 2.56 | 0.001708 | 0.00001256 | 0.03741 | 0.9854 | 1 | 0 | 0.000389 | 0.01532 | 0.0003212 | 0.01792 | 0.479 | 0.06246 | 0.1531 | 0.03461 | 1 | 1 | 0.00329 | 0.02268 | 0 | 0.2927 | 2.018 | 0 | json |
| t16_x13_u6_b56 | 16 | 13 | 6 | 56 | ![]() |
mod(D,nrm(sub(D,D))) | 86421 | 130456091 | o2(x,o1(o2(x,x))) | true | 8175 | 8175 | 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_x13_u6_b57 | 16 | 13 | 6 | 57 | ![]() |
mod(D,nrm(mlt(D,D))) | 86422 | 130456092 | o2(x,o1(o2(x,x))) | true | 8183 | 8183 | 6.976e-10 | 0.4922 | 0.07481 | 0.007809 | 0.08837 | -0.1454 | 0.1454 | 0.2907 | 1 | 2.508 | 0.001991 | 0.00104 | 0.04581 | 0.3139 | 1 | -5.063e-10 | 0.008717 | 0.05726 | 0.0009314 | 0.03052 | 0.6662 | 0.1809 | 0.388 | 1.116 | 1 | 1 | 0.003701 | 0.01696 | 0 | 0.4739 | 2.172 | 0 | json |
| t16_x13_u6_b58 | 16 | 13 | 6 | 58 | ![]() |
mod(D,nrm(div(D,D))) | 86423 | 130456093 | o2(x,o1(o2(x,x))) | true | 8191 | 8191 | -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_x13_u6_b59 | 16 | 13 | 6 | 59 | ![]() |
mod(D,nrm(pow(D,D))) | 86424 | 130456094 | o2(x,o1(o2(x,x))) | true | 8199 | 8199 | -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_x13_u6_b60 | 16 | 13 | 6 | 60 | ![]() |
mod(D,nrm(mod(D,D))) | 86425 | 130456095 | o2(x,o1(o2(x,x))) | true | 8207 | 8207 | -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_x13_u6_b61 | 16 | 13 | 6 | 61 | ![]() |
mod(D,nrm(lrg(D,D))) | 86426 | 130456096 | o2(x,o1(o2(x,x))) | true | 8215 | 8215 | -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_x13_u6_b62 | 16 | 13 | 6 | 62 | ![]() |
mod(D,nrm(eql(D,D))) | 86427 | 130456097 | o2(x,o1(o2(x,x))) | true | 8223 | 8223 | -3.24e-12 | 0.5 | 0.1524 | 0.03107 | 0.1763 | -0.2675 | 0.2675 | 0.535 | 1 | 3.156 | 0.009049 | 0 | 0.067 | 1 | 1 | 0 | 0.01297 | 0.06196 | 0.004559 | 0.06752 | 1.008 | 0.2403 | 0.2913 | 0.4175 | 1 | 1 | 0.01159 | 0.0573 | 0 | 0.373 | 1.844 | 0 | json |
| t16_x13_u6_b63 | 16 | 13 | 6 | 63 | ![]() |
mod(D,nrm(min(D,D))) | 86428 | 130456098 | o2(x,o1(o2(x,x))) | true | 8231 | 8231 | 9.095e-13 | 0.5 | 0.09597 | 0.01124 | 0.106 | -0.1581 | 0.1581 | 0.3162 | 1 | 2.56 | 0.001708 | 0.00001256 | 0.03741 | 0.9854 | 1 | 0 | 0.000389 | 0.01532 | 0.0003212 | 0.01792 | 0.479 | 0.06246 | 0.1531 | 0.03461 | 1 | 1 | 0.00329 | 0.02268 | 0 | 0.2927 | 2.018 | 0 | json |
| t16_x13_u6_b64 | 16 | 13 | 6 | 64 | ![]() |
mod(D,nrm(dot(D,D))) | 86429 | 130456099 | o2(x,o1(o2(x,x))) | true | 8239 | 8239 | -3.24e-12 | 0.5 | 0.1524 | 0.03107 | 0.1763 | -0.2675 | 0.2675 | 0.535 | 1 | 3.156 | 0.009049 | 1.432e-17 | 0.067 | 1 | 1 | 0 | 0.01297 | 0.06196 | 0.004559 | 0.06752 | 1.008 | 0.2403 | 0.2913 | 0.4175 | 1 | 1 | 0.01159 | 0.0573 | 0 | 0.373 | 1.844 | 0 | json |
| t16_x13_u6_b65 | 16 | 13 | 6 | 65 | ![]() |
mod(D,nrm(dst(D,D))) | 86430 | 130456100 | o2(x,o1(o2(x,x))) | true | 8247 | 8247 | -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_x13_u6_b66 | 16 | 13 | 6 | 66 | ![]() |
lrg(D,nrm(add(D,D))) | 86431 | 130456101 | o2(x,o1(o2(x,x))) | true | 8255 | 8255 | 0.5 | 0.9609 | 0.5 | 0.1435 | 0.3788 | 0 | 1 | 1 | 1 | 3.379 | 0.06526 | 0.00002501 | 0.1231 | 0.9992 | 1 | 3.181e-9 | 0.1208 | 0.1357 | 0.05013 | 0.2239 | 1.819 | 1 | 0.455 | 0.8417 | 1 | 1 | 0.07115 | 0.2454 | 0 | 0.4959 | 1.71 | 0 | json |
| t16_x13_u6_b67 | 16 | 13 | 6 | 67 | ![]() |
lrg(D,nrm(sub(D,D))) | 86432 | 130456102 | o2(x,o1(o2(x,x))) | true | 8263 | 8263 | 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_x13_u6_b68 | 16 | 13 | 6 | 68 | ![]() |
lrg(D,nrm(mlt(D,D))) | 86433 | 130456103 | o2(x,o1(o2(x,x))) | true | 8271 | 8271 | 0.1166 | 0.6953 | 0.1166 | 0.07557 | 0.2749 | 0 | 0.9997 | 0.9997 | 1 | 1.419 | 0.06227 | 0.02199 | 0.1108 | 0.4781 | 1 | 0.0003238 | 0.2661 | 0.2047 | 0.07198 | 0.2683 | 2.422 | 1.342 | 1.115 | 3.521 | 1 | 1 | 0.07519 | 0.1568 | 0 | 0.995 | 2.075 | 0 | json |
| t16_x13_u6_b69 | 16 | 13 | 6 | 69 | ![]() |
lrg(D,nrm(div(D,D))) | 86434 | 130456104 | o2(x,o1(o2(x,x))) | true | 8279 | 8279 | 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_x13_u6_b70 | 16 | 13 | 6 | 70 | ![]() |
lrg(D,nrm(pow(D,D))) | 86435 | 130456105 | o2(x,o1(o2(x,x))) | true | 8287 | 8287 | 0.7912 | 1 | 0.7912 | 0.09935 | 0.3152 | 0.000582 | 1 | 0.9994 | 1 | 2.468 | 0.03234 | 0.02382 | 0.1039 | 0.1518 | 1 | -0.00004811 | 0.1209 | 0.1501 | 0.04534 | 0.2129 | 2.049 | 0.9994 | 0.5652 | 1.217 | 1 | 1 | 0.06071 | 0.2315 | 0 | 0.6111 | 2.33 | 0 | json |
| t16_x13_u6_b71 | 16 | 13 | 6 | 71 | ![]() |
lrg(D,nrm(mod(D,D))) | 86436 | 130456106 | o2(x,o1(o2(x,x))) | true | 8295 | 8295 | 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_x13_u6_b72 | 16 | 13 | 6 | 72 | ![]() |
lrg(D,nrm(lrg(D,D))) | 86437 | 130456107 | o2(x,o1(o2(x,x))) | true | 8303 | 8303 | 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_x13_u6_b73 | 16 | 13 | 6 | 73 | ![]() |
lrg(D,nrm(eql(D,D))) | 86438 | 130456108 | o2(x,o1(o2(x,x))) | true | 8311 | 8311 | 0.05022 | 0.4375 | 0.05022 | 0.009001 | 0.09487 | 0 | 0.3283 | 0.3283 | 1 | 1.311 | 0.008418 | 0 | 0.04166 | 1 | 1 | -0.00008985 | 0.01876 | 0.05465 | 0.006683 | 0.08175 | 1.962 | 0.3283 | 0.9353 | 2.084 | 1 | 1 | 0.007417 | 0.01164 | 0 | 0.824 | 1.293 | 0 | json |
| t16_x13_u6_b74 | 16 | 13 | 6 | 74 | ![]() |
lrg(D,nrm(min(D,D))) | 86439 | 130456109 | o2(x,o1(o2(x,x))) | true | 8319 | 8319 | 0.5 | 0.9609 | 0.5 | 0.1435 | 0.3788 | 0 | 1 | 1 | 1 | 3.379 | 0.06526 | 0.00002501 | 0.1231 | 0.9992 | 1 | 3.181e-9 | 0.1208 | 0.1357 | 0.05013 | 0.2239 | 1.819 | 1 | 0.455 | 0.8417 | 1 | 1 | 0.07115 | 0.2454 | 0 | 0.4959 | 1.71 | 0 | json |
| t16_x13_u6_b75 | 16 | 13 | 6 | 75 | ![]() |
lrg(D,nrm(dot(D,D))) | 86440 | 130456110 | o2(x,o1(o2(x,x))) | true | 8327 | 8327 | 0.05022 | 0.4375 | 0.05022 | 0.009001 | 0.09487 | 0 | 0.3283 | 0.3283 | 1 | 1.311 | 0.008418 | 0 | 0.04166 | 1 | 1 | -0.00008985 | 0.01876 | 0.05465 | 0.006683 | 0.08175 | 1.962 | 0.3283 | 0.9353 | 2.084 | 1 | 1 | 0.007417 | 0.01164 | 0 | 0.824 | 1.293 | 0 | json |
| t16_x13_u6_b76 | 16 | 13 | 6 | 76 | ![]() |
lrg(D,nrm(dst(D,D))) | 86441 | 130456111 | o2(x,o1(o2(x,x))) | true | 8335 | 8335 | 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_x13_u6_b77 | 16 | 13 | 6 | 77 | ![]() |
eql(D,nrm(add(D,D))) | 86442 | 130456112 | o2(x,o1(o2(x,x))) | true | 8343 | 8343 | 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_x13_u6_b78 | 16 | 13 | 6 | 78 | ![]() |
eql(D,nrm(sub(D,D))) | 86443 | 130456113 | o2(x,o1(o2(x,x))) | true | 8351 | 8351 | 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_x13_u6_b79 | 16 | 13 | 6 | 79 | ![]() |
eql(D,nrm(mlt(D,D))) | 86444 | 130456114 | o2(x,o1(o2(x,x))) | true | 8359 | 8359 | 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_x13_u6_b80 | 16 | 13 | 6 | 80 | ![]() |
eql(D,nrm(div(D,D))) | 86445 | 130456115 | o2(x,o1(o2(x,x))) | true | 8367 | 8367 | 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_x13_u6_b81 | 16 | 13 | 6 | 81 | ![]() |
eql(D,nrm(pow(D,D))) | 86446 | 130456116 | o2(x,o1(o2(x,x))) | true | 8375 | 8375 | 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_x13_u6_b82 | 16 | 13 | 6 | 82 | ![]() |
eql(D,nrm(mod(D,D))) | 86447 | 130456117 | o2(x,o1(o2(x,x))) | true | 8383 | 8383 | 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_x13_u6_b83 | 16 | 13 | 6 | 83 | ![]() |
eql(D,nrm(lrg(D,D))) | 86448 | 130456118 | o2(x,o1(o2(x,x))) | true | 8391 | 8391 | 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_x13_u6_b84 | 16 | 13 | 6 | 84 | ![]() |
eql(D,nrm(eql(D,D))) | 86449 | 130456119 | o2(x,o1(o2(x,x))) | true | 8399 | 8399 | 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_x13_u6_b85 | 16 | 13 | 6 | 85 | ![]() |
eql(D,nrm(min(D,D))) | 86450 | 130456120 | o2(x,o1(o2(x,x))) | true | 8407 | 8407 | 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_x13_u6_b86 | 16 | 13 | 6 | 86 | ![]() |
eql(D,nrm(dot(D,D))) | 86451 | 130456121 | o2(x,o1(o2(x,x))) | true | 8415 | 8415 | 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_x13_u6_b87 | 16 | 13 | 6 | 87 | ![]() |
eql(D,nrm(dst(D,D))) | 86452 | 130456122 | o2(x,o1(o2(x,x))) | true | 8423 | 8423 | 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_x13_u6_b88 | 16 | 13 | 6 | 88 | ![]() |
min(D,nrm(add(D,D))) | 86453 | 130456123 | o2(x,o1(o2(x,x))) | true | 8431 | 8431 | -0.1787 | 0.3984 | 0.2484 | 0.07958 | 0.2821 | -0.9352 | 0.1408 | 1.076 | 1 | 3.799 | 0.0143 | 0.003662 | 0.09798 | 0.5924 | 1 | -0.0001323 | 0.01438 | 0.05321 | 0.008367 | 0.09147 | 0.9336 | 0.8354 | 0.2258 | 0.1807 | 1 | 1 | 0.03102 | 0.1649 | 0 | 0.3897 | 2.072 | 0 | json |
| t16_x13_u6_b89 | 16 | 13 | 6 | 89 | ![]() |
min(D,nrm(sub(D,D))) | 86454 | 130456124 | o2(x,o1(o2(x,x))) | true | 8439 | 8439 | -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_x13_u6_b90 | 16 | 13 | 6 | 90 | ![]() |
min(D,nrm(mlt(D,D))) | 86455 | 130456125 | o2(x,o1(o2(x,x))) | true | 8447 | 8447 | -0.005454 | 0.5 | 0.08924 | 0.009894 | 0.09947 | -0.1458 | 0.1454 | 0.2912 | 1 | 2.524 | 0.001517 | 0.00001934 | 0.03524 | 0.9748 | 1 | 0.000001891 | 0.0003393 | 0.01625 | 0.0002945 | 0.01716 | 0.4871 | 0.06592 | 0.1552 | 0.03429 | 1 | 1 | 0.002934 | 0.02001 | 0 | 0.2965 | 2.022 | 0 | json |
| t16_x13_u6_b91 | 16 | 13 | 6 | 91 | ![]() |
min(D,nrm(div(D,D))) | 86456 | 130456126 | o2(x,o1(o2(x,x))) | true | 8455 | 8455 | 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_x13_u6_b92 | 16 | 13 | 6 | 92 | ![]() |
min(D,nrm(pow(D,D))) | 86457 | 130456127 | o2(x,o1(o2(x,x))) | true | 8463 | 8463 | -0.004036 | 0.5 | 0.09837 | 0.01174 | 0.1084 | -0.1716 | 0.1454 | 0.3171 | 1 | 2.547 | 0.001774 | 0.00002009 | 0.03779 | 0.9776 | 1 | 0.000008859 | 0.0003358 | 0.01618 | 0.0003666 | 0.01915 | 0.5067 | 0.07825 | 0.1528 | 0.0286 | 1 | 1 | 0.003439 | 0.02372 | 0 | 0.2929 | 2.02 | 0 | json |
| t16_x13_u6_b93 | 16 | 13 | 6 | 93 | ![]() |
min(D,nrm(mod(D,D))) | 86458 | 130456128 | o2(x,o1(o2(x,x))) | true | 8471 | 8471 | 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_x13_u6_b94 | 16 | 13 | 6 | 94 | ![]() |
min(D,nrm(lrg(D,D))) | 86459 | 130456129 | o2(x,o1(o2(x,x))) | true | 8479 | 8479 | 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_x13_u6_b95 | 16 | 13 | 6 | 95 | ![]() |
min(D,nrm(eql(D,D))) | 86460 | 130456130 | o2(x,o1(o2(x,x))) | true | 8487 | 8487 | -0.004262 | 0.5 | 0.09863 | 0.01196 | 0.1093 | -0.1618 | 0.1454 | 0.3072 | 1 | 2.531 | 0.001813 | 0 | 0.03815 | 1 | 1 | 0.00002217 | 0.0002946 | 0.01485 | 0.0003584 | 0.01893 | 0.4962 | 0.06203 | 0.1517 | 0.02464 | 1 | 1 | 0.003495 | 0.02411 | 0 | 0.2923 | 2.017 | 0 | json |
| t16_x13_u6_b96 | 16 | 13 | 6 | 96 | ![]() |
min(D,nrm(min(D,D))) | 86461 | 130456131 | o2(x,o1(o2(x,x))) | true | 8495 | 8495 | -0.1787 | 0.3984 | 0.2484 | 0.07958 | 0.2821 | -0.9352 | 0.1408 | 1.076 | 1 | 3.799 | 0.0143 | 0.003662 | 0.09798 | 0.5924 | 1 | -0.0001323 | 0.01438 | 0.05321 | 0.008367 | 0.09147 | 0.9336 | 0.8354 | 0.2258 | 0.1807 | 1 | 1 | 0.03102 | 0.1649 | 0 | 0.3897 | 2.072 | 0 | json |
| t16_x13_u6_b97 | 16 | 13 | 6 | 97 | ![]() |
min(D,nrm(dot(D,D))) | 86462 | 130456132 | o2(x,o1(o2(x,x))) | true | 8503 | 8503 | -0.004262 | 0.5 | 0.09863 | 0.01196 | 0.1093 | -0.1618 | 0.1454 | 0.3072 | 1 | 2.531 | 0.001813 | 3.58e-18 | 0.03815 | 1 | 1 | 0.00002217 | 0.0002946 | 0.01485 | 0.0003584 | 0.01893 | 0.4962 | 0.06203 | 0.1517 | 0.02464 | 1 | 1 | 0.003495 | 0.02411 | 0 | 0.2923 | 2.017 | 0 | json |
| t16_x13_u6_b98 | 16 | 13 | 6 | 98 | ![]() |
min(D,nrm(dst(D,D))) | 86463 | 130456133 | o2(x,o1(o2(x,x))) | true | 8511 | 8511 | 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_x13_u6_b99 | 16 | 13 | 6 | 99 | ![]() |
dot(D,nrm(add(D,D))) | 86464 | 130456134 | o2(x,o1(o2(x,x))) | true | 8519 | 8519 | 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.35e-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_x13_u6_b100 | 16 | 13 | 6 | 100 | ![]() |
dot(D,nrm(sub(D,D))) | 86465 | 130456135 | o2(x,o1(o2(x,x))) | true | 8527 | 8527 | 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_x13_u6_b101 | 16 | 13 | 6 | 101 | ![]() |
dot(D,nrm(mlt(D,D))) | 86466 | 130456136 | o2(x,o1(o2(x,x))) | true | 8535 | 8535 | 1.54e-11 | 0.4688 | 0.07472 | 0.008136 | 0.0902 | -0.1586 | 0.1586 | 0.3172 | 1 | 2.539 | 0.00104 | 0.00104 | 0.03874 | 0.000008619 | 1 | 1.686e-8 | 0.001045 | 0.02258 | 0.0005788 | 0.02406 | 0.621 | 0.1307 | 0.2556 | 0.1285 | 1 | 1 | 0.003845 | 0.02268 | 0 | 0.4725 | 2.788 | 0 | json |
| t16_x13_u6_b102 | 16 | 13 | 6 | 102 | ![]() |
dot(D,nrm(div(D,D))) | 86467 | 130456137 | o2(x,o1(o2(x,x))) | true | 8543 | 8543 | -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_x13_u6_b103 | 16 | 13 | 6 | 103 | ![]() |
dot(D,nrm(pow(D,D))) | 86468 | 130456138 | o2(x,o1(o2(x,x))) | true | 8551 | 8551 | -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_x13_u6_b104 | 16 | 13 | 6 | 104 | ![]() |
dot(D,nrm(mod(D,D))) | 86469 | 130456139 | o2(x,o1(o2(x,x))) | true | 8559 | 8559 | -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_x13_u6_b105 | 16 | 13 | 6 | 105 | ![]() |
dot(D,nrm(lrg(D,D))) | 86470 | 130456140 | o2(x,o1(o2(x,x))) | true | 8567 | 8567 | -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_x13_u6_b106 | 16 | 13 | 6 | 106 | ![]() |
dot(D,nrm(eql(D,D))) | 86471 | 130456141 | o2(x,o1(o2(x,x))) | true | 8575 | 8575 | 3.712e-9 | 0.4688 | 0.06856 | 0.007216 | 0.08495 | -0.1679 | 0.1679 | 0.3358 | 1 | 2.481 | 0.0005443 | 0.0005443 | 0.0315 | -0.000001069 | 1 | -3.394e-9 | 0.0001709 | 0.01054 | 0.00009601 | 0.009799 | 0.3111 | 0.05056 | 0.1509 | 0.02368 | 1 | 1 | 0.0021 | 0.01455 | 0 | 0.2911 | 2.017 | 0 | json |
| t16_x13_u6_b107 | 16 | 13 | 6 | 107 | ![]() |
dot(D,nrm(min(D,D))) | 86472 | 130456142 | o2(x,o1(o2(x,x))) | true | 8583 | 8583 | 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.35e-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_x13_u6_b108 | 16 | 13 | 6 | 108 | ![]() |
dot(D,nrm(dot(D,D))) | 86473 | 130456143 | o2(x,o1(o2(x,x))) | true | 8591 | 8591 | -4.282e-8 | 0.4688 | 0.06856 | 0.007216 | 0.08495 | -0.1679 | 0.1679 | 0.3358 | 1 | 2.481 | 0.0005443 | 0.0005443 | 0.0315 | -0.000001069 | 1 | -1.177e-9 | 0.0001709 | 0.01054 | 0.00009601 | 0.009799 | 0.3111 | 0.05056 | 0.1509 | 0.02368 | 1 | 1 | 0.0021 | 0.01455 | 0 | 0.2911 | 2.017 | 0 | json |
| t16_x13_u6_b109 | 16 | 13 | 6 | 109 | ![]() |
dot(D,nrm(dst(D,D))) | 86474 | 130456144 | o2(x,o1(o2(x,x))) | true | 8599 | 8599 | -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_x13_u6_b110 | 16 | 13 | 6 | 110 | ![]() |
dst(D,nrm(add(D,D))) | 86475 | 130456145 | o2(x,o1(o2(x,x))) | true | 8607 | 8607 | 0.5564 | 1 | 0.5564 | 0.02504 | 0.1582 | 0.2974 | 0.9553 | 0.6579 | 1 | 3.252 | 0.001982 | 0.001982 | 0.05917 | -0.000002349 | 1 | 0.0006823 | 0.0006753 | 0.01965 | 0.0004635 | 0.02153 | 0.3639 | 0.09332 | 0.1583 | 0.02697 | 1 | 1 | 0.00761 | 0.05069 | 0 | 0.3039 | 2.024 | 0 | json |
| t16_x13_u6_b111 | 16 | 13 | 6 | 111 | ![]() |
dst(D,nrm(sub(D,D))) | 86476 | 130456146 | o2(x,o1(o2(x,x))) | true | 8615 | 8615 | -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_x13_u6_b112 | 16 | 13 | 6 | 112 | ![]() |
dst(D,nrm(mlt(D,D))) | 86477 | 130456147 | o2(x,o1(o2(x,x))) | true | 8623 | 8623 | 0.9692 | 1 | 0.9692 | 0.0025 | 0.05 | 0.842 | 1 | 0.158 | 1 | 1.055 | 0.0004385 | 0.0004385 | 0.01637 | -0.000002224 | 1 | -0.00006046 | 0.001105 | 0.01724 | 0.0006089 | 0.02468 | 1.507 | 0.1152 | 0.3507 | 0.442 | 1 | 1 | 0.001414 | 0.006482 | 0 | 0.5655 | 2.593 | 0 | json |
| t16_x13_u6_b113 | 16 | 13 | 6 | 113 | ![]() |
dst(D,nrm(div(D,D))) | 86478 | 130456148 | o2(x,o1(o2(x,x))) | true | 8631 | 8631 | -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_x13_u6_b114 | 16 | 13 | 6 | 114 | ![]() |
dst(D,nrm(pow(D,D))) | 86479 | 130456149 | o2(x,o1(o2(x,x))) | true | 8639 | 8639 | -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_x13_u6_b115 | 16 | 13 | 6 | 115 | ![]() |
dst(D,nrm(mod(D,D))) | 86480 | 130456150 | o2(x,o1(o2(x,x))) | true | 8647 | 8647 | -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_x13_u6_b116 | 16 | 13 | 6 | 116 | ![]() |
dst(D,nrm(lrg(D,D))) | 86481 | 130456151 | o2(x,o1(o2(x,x))) | true | 8655 | 8655 | -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_x13_u6_b117 | 16 | 13 | 6 | 117 | ![]() |
dst(D,nrm(eql(D,D))) | 86482 | 130456152 | o2(x,o1(o2(x,x))) | true | 8663 | 8663 | 0.9869 | 1 | 0.9869 | 0.0009073 | 0.03012 | 0.8745 | 1 | 0.1255 | 1 | 0.4978 | 0.0001537 | 0.0001537 | 0.008461 | -0.000001042 | 1 | 0.00006137 | 0.0002372 | 0.007605 | 0.0002357 | 0.01535 | 1.815 | 0.05023 | 0.3387 | 0.2614 | 1 | 1 | 0.0005359 | 0.002179 | 0 | 0.5907 | 2.401 | 0 | json |
| t16_x13_u6_b118 | 16 | 13 | 6 | 118 | ![]() |
dst(D,nrm(min(D,D))) | 86483 | 130456153 | o2(x,o1(o2(x,x))) | true | 8671 | 8671 | 0.5564 | 1 | 0.5564 | 0.02504 | 0.1582 | 0.2974 | 0.9553 | 0.6579 | 1 | 3.252 | 0.001982 | 0.001982 | 0.05917 | -0.000002349 | 1 | 0.0006823 | 0.0006753 | 0.01965 | 0.0004635 | 0.02153 | 0.3639 | 0.09332 | 0.1583 | 0.02697 | 1 | 1 | 0.00761 | 0.05069 | 0 | 0.3039 | 2.024 | 0 | json |
| t16_x13_u6_b119 | 16 | 13 | 6 | 119 | ![]() |
dst(D,nrm(dot(D,D))) | 86484 | 130456154 | o2(x,o1(o2(x,x))) | true | 8679 | 8679 | 0.9869 | 1 | 0.9869 | 0.0009073 | 0.03012 | 0.8745 | 1 | 0.1255 | 1 | 0.4978 | 0.0001537 | 0.0001537 | 0.008461 | -0.000003314 | 1 | 0.00006137 | 0.0002372 | 0.007605 | 0.0002357 | 0.01535 | 1.815 | 0.05023 | 0.3387 | 0.2614 | 1 | 1 | 0.0005359 | 0.002179 | 0 | 0.5907 | 2.401 | 0 | json |
| t16_x13_u6_b120 | 16 | 13 | 6 | 120 | ![]() |
dst(D,nrm(dst(D,D))) | 86485 | 130456155 | o2(x,o1(o2(x,x))) | true | 8687 | 8687 | -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_x14_u0_b0 | 16 | 14 | 0 | 0 | ![]() |
add(D,sqt(add(D,R))) | 86486 | 130495230 | o2(x,o1(o2(x,x))) | true | 8695 | 8695 | -0.9019 | 0.06274 | 0.9726 | 0.146 | 0.382 | -1 | 0.9348 | 1.935 | 1 | 0.5635 | 0.06214 | 0.01339 | 0.05036 | 0.6454 | 1 | 0.000372 | 0.1657 | 0.0956 | 0.07295 | 0.2701 | 5.363 | 2.718 | 0.5175 | 1.135 | 1 | 1 | 0.06611 | 0.1981 | 0.2979 | 0.4529 | 1.358 | 2.041 | json |
| t16_x14_u0_b1 | 16 | 14 | 0 | 1 | ![]() |
add(D,sqt(sub(D,R))) | 86487 | 130495231 | o2(x,o1(o2(x,x))) | true | 8703 | 8703 | -0.8975 | 0.06534 | 0.9716 | 0.1532 | 0.3914 | -1 | 1 | 2 | 1 | 0.5971 | 0.06842 | 0.01524 | 0.05543 | 0.6357 | 1 | 0.0001012 | 0.1906 | 0.1063 | 0.0806 | 0.2839 | 5.122 | 2.786 | 0.5461 | 1.244 | 1 | 1 | 0.08501 | 0.2163 | 0.2728 | 0.5549 | 1.412 | 1.78 | json |
| t16_x14_u0_b2 | 16 | 14 | 0 | 2 | ![]() |
add(D,sqt(mlt(D,R))) | 86488 | 130495232 | o2(x,o1(o2(x,x))) | true | 8711 | 8711 | -0.9475 | 0.03888 | 0.9743 | 0.06897 | 0.2626 | -1 | 0.723 | 1.723 | 1 | 0.3733 | 0.006365 | 0.007444 | 0.01296 | -0.07811 | 1 | 4.731e-7 | 0.02761 | 0.02207 | 0.01365 | 0.1168 | 9.012 | 1.723 | 0.2002 | 0.4004 | 1 | 1 | 0.01576 | 0.07326 | 0.1571 | 0.2286 | 1.062 | 2.277 | json |
| t16_x14_u0_b3 | 16 | 14 | 0 | 3 | ![]() |
add(D,sqt(div(D,R))) | 86489 | 130495233 | o2(x,o1(o2(x,x))) | true | 8719 | 8719 | -0.9323 | 0.03906 | 0.9896 | 0.1157 | 0.3402 | -1 | 1 | 2 | 1 | 0.3634 | 0.009137 | 0.01222 | 0.0164 | -0.1442 | 1 | -0.000001501 | 0.04119 | 0.02689 | 0.02108 | 0.1452 | 8.853 | 2.01 | 0.1845 | 0.3559 | 1 | 1 | 0.02383 | 0.1164 | 0.2528 | 0.2059 | 1.006 | 2.184 | json |
| t16_x14_u0_b4 | 16 | 14 | 0 | 4 | ![]() |
add(D,sqt(pow(D,R))) | 86490 | 130495234 | o2(x,o1(o2(x,x))) | true | 8727 | 8727 | -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_x14_u0_b5 | 16 | 14 | 0 | 5 | ![]() |
add(D,sqt(mod(D,R))) | 86491 | 130495235 | o2(x,o1(o2(x,x))) | true | 8735 | 8735 | -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_x14_u0_b6 | 16 | 14 | 0 | 6 | ![]() |
add(D,sqt(lrg(D,R))) | 86492 | 130495236 | o2(x,o1(o2(x,x))) | true | 8743 | 8743 | 0.4916 | 0.8499 | 0.5098 | 0.1561 | 0.3951 | -0.1454 | 1 | 1.145 | 1 | 3.935 | 0.02222 | 0.002088 | 0.09455 | 0.8282 | 1 | 0.000001455 | 0.03744 | 0.07665 | 0.01537 | 0.124 | 1.311 | 1.055 | 0.1557 | 0.2398 | 1 | 1 | 0.02851 | 0.1648 | 0.258 | 0.1827 | 1.056 | 1.653 | json |
| t16_x14_u0_b7 | 16 | 14 | 0 | 7 | ![]() |
add(D,sqt(eql(D,R))) | 86493 | 130495237 | o2(x,o1(o2(x,x))) | true | 8751 | 8751 | 0.00004008 | 0.5 | 0.0944 | 0.01084 | 0.1041 | -0.1454 | 0.4062 | 0.5516 | 1 | 2.563 | 0.001648 | 1.509e-7 | 0.03614 | 0.9998 | 1 | 1.17e-7 | 0.0003004 | 0.01471 | 0.0003422 | 0.0185 | 0.5118 | 0.3694 | 0.152 | 0.02771 | 1 | 1 | 0.003151 | 0.02183 | 0.000007865 | 0.2907 | 2.014 | 0.0007256 | json |
| t16_x14_u0_b8 | 16 | 14 | 0 | 8 | ![]() |
add(D,sqt(min(D,R))) | 86494 | 130495238 | o2(x,o1(o2(x,x))) | true | 8759 | 8759 | -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_x14_u0_b9 | 16 | 14 | 0 | 9 | ![]() |
add(D,sqt(dot(D,R))) | 86495 | 130495239 | o2(x,o1(o2(x,x))) | true | 8767 | 8767 | -0.9027 | 0.06772 | 0.9612 | 0.1321 | 0.3634 | -1 | 0.8642 | 1.864 | 1 | 0.6029 | 0.03502 | 0.03125 | 0.04859 | 0.05678 | 1 | -0.0002735 | 0.2024 | 0.09753 | 0.06393 | 0.2528 | 5.204 | 2.523 | 0.5018 | 1.532 | 1 | 1 | 0.07127 | 0.225 | 0.2926 | 0.5397 | 1.704 | 2.216 | json |
| t16_x14_u0_b10 | 16 | 14 | 0 | 10 | ![]() |
add(D,sqt(dst(D,R))) | 86496 | 130495240 | o2(x,o1(o2(x,x))) | true | 8775 | 8775 | 0.9369 | 1 | 0.9369 | 0.01084 | 0.1041 | 0.2485 | 1 | 0.7515 | 1 | 1.659 | 0.000953 | 0.0002766 | 0.02157 | 0.5501 | 1 | 0.00005871 | 0.0004502 | 0.01219 | 0.0007646 | 0.02765 | 1.282 | 0.1461 | 0.1134 | 0.04152 | 1 | 1 | 0.002226 | 0.01545 | 0.01577 | 0.2053 | 1.425 | 1.454 | json |
| t16_x14_u0_b11 | 16 | 14 | 0 | 11 | ![]() |
sub(D,sqt(add(D,R))) | 86497 | 130495241 | o2(x,o1(o2(x,x))) | true | 8783 | 8783 | -0.9843 | 0 | 0.9843 | 0.005494 | 0.07412 | -1 | -0.1975 | 0.8025 | 1 | 0.476 | 0.003593 | 0.0005197 | 0.01111 | 0.7473 | 1 | 0.000128 | 0.009464 | 0.01986 | 0.003988 | 0.06315 | 5.682 | 0.9394 | 0.7484 | 1.722 | 1 | 1 | 0.002937 | 0.006961 | 0.009689 | 0.5346 | 1.267 | 1.763 | json |
| t16_x14_u0_b12 | 16 | 14 | 0 | 12 | ![]() |
sub(D,sqt(sub(D,R))) | 86498 | 130495242 | o2(x,o1(o2(x,x))) | true | 8791 | 8791 | -0.9817 | 0 | 0.9817 | 0.00715 | 0.08456 | -1 | -0.01298 | 0.987 | 1 | 0.4968 | 0.00494 | 0.0006658 | 0.01328 | 0.7624 | 1 | -0.0000209 | 0.01377 | 0.02419 | 0.005434 | 0.07371 | 5.552 | 1.103 | 0.784 | 1.926 | 1 | 1 | 0.004864 | 0.01062 | 0.01269 | 0.6804 | 1.485 | 1.774 | json |
| t16_x14_u0_b13 | 16 | 14 | 0 | 13 | ![]() |
sub(D,sqt(mlt(D,R))) | 86499 | 130495243 | o2(x,o1(o2(x,x))) | true | 8799 | 8799 | -0.9743 | 0.0005035 | 0.9744 | 0.01748 | 0.1322 | -1 | 0.08737 | 1.087 | 1 | 0.3745 | 0.003979 | 0.001873 | 0.009009 | 0.3599 | 1 | -4.732e-7 | 0.01301 | 0.01492 | 0.005772 | 0.07597 | 8.433 | 1.249 | 0.3348 | 0.7442 | 1 | 1 | 0.005697 | 0.01827 | 0.03789 | 0.326 | 1.045 | 2.168 | json |



































































































