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 | ||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| t12_x11_u6_b69 | 12 | 11 | 6 | 69 | ![]() |
nrm(lrg(D,div(P,R))) | 29300 | 97892898 | o1(o2(x,o2(x,x))) | true | 64247 | 64247 | -0.5444 | 0.2794 | 0.8774 | 0.5411 | 0.7356 | -1 | 1 | 2 | 1 | 1.941 | 0.04025 | 0.0483 | 0.06403 | -0.09088 | 1 | 0.000002809 | 0.1824 | 0.1083 | 0.08444 | 0.2906 | 4.538 | 2.828 | 0.1636 | 0.3371 | 1 | 1 | 0.08534 | 0.3606 | 0.9779 | 0.1577 | 0.6665 | 1.807 | json |
| t12_x11_u6_b70 | 12 | 11 | 6 | 70 | ![]() |
nrm(lrg(D,pow(P,R))) | 29301 | 97892899 | o1(o2(x,o2(x,x))) | true | 64255 | 64255 | 0.07901 | 0.5609 | 0.7118 | 0.6454 | 0.8034 | -1 | 1 | 2 | 1 | 2.58 | 0.01017 | 0.002973 | 0.01702 | 0.5476 | 1 | -0.00001008 | 0.0261 | 0.02308 | 0.01285 | 0.1134 | 6.66 | 2.02 | 0.02036 | 0.04044 | 1 | 1 | 0.01754 | 0.07185 | 0.2719 | 0.02718 | 0.1113 | 0.4213 | json |
| t12_x11_u6_b71 | 12 | 11 | 6 | 71 | ![]() |
nrm(lrg(D,mod(P,R))) | 29302 | 97892900 | o1(o2(x,o2(x,x))) | true | 64263 | 64263 | -0.7283 | 0.1719 | 0.9206 | 0.3673 | 0.606 | -1 | 1 | 2 | 1 | 1.329 | 0.154 | 0.09398 | 0.1595 | 0.242 | 1 | 2.528e-7 | 0.5842 | 0.3067 | 0.2225 | 0.4717 | 2.958 | 2.828 | 0.6752 | 1.591 | 1 | 1 | 0.2043 | 0.4343 | 0.3306 | 0.5562 | 1.183 | 0.9 | json |
| t12_x11_u6_b72 | 12 | 11 | 6 | 72 | ![]() |
nrm(lrg(D,lrg(P,R))) | 29303 | 97892901 | o1(o2(x,o2(x,x))) | true | 64271 | 64271 | -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 |
| t12_x11_u6_b73 | 12 | 11 | 6 | 73 | ![]() |
nrm(lrg(D,eql(P,R))) | 29304 | 97892902 | o1(o2(x,o2(x,x))) | true | 64279 | 64279 | -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 |
| t12_x11_u6_b74 | 12 | 11 | 6 | 74 | ![]() |
nrm(lrg(D,min(P,R))) | 29305 | 97892903 | o1(o2(x,o2(x,x))) | true | 64287 | 64287 | 0.3788 | 0.8738 | 0.6005 | 0.2939 | 0.5421 | -1 | 1 | 2 | 1 | 3.593 | 0.02995 | 0.02512 | 0.06566 | 0.08769 | 1 | -0.0000152 | 0.1164 | 0.09333 | 0.05077 | 0.2253 | 3.431 | 2.592 | 0.1874 | 0.3961 | 1 | 1 | 0.0643 | 0.2326 | 0.4411 | 0.2188 | 0.7913 | 1.501 | json |
| t12_x11_u6_b75 | 12 | 11 | 6 | 75 | ![]() |
nrm(lrg(D,dot(P,R))) | 29306 | 97892904 | o1(o2(x,o2(x,x))) | true | 64295 | 64295 | -0.7891 | 0.1351 | 0.9408 | 0.2863 | 0.5351 | -1 | 0.9994 | 1.999 | 1 | 0.7669 | 0.02146 | 0.034 | 0.0368 | -0.2261 | 1 | 0.0001563 | 0.119 | 0.07149 | 0.05416 | 0.2327 | 6.323 | 2.235 | 0.1937 | 0.4157 | 1 | 1 | 0.05631 | 0.23 | 0.5241 | 0.1967 | 0.8032 | 1.831 | json |
| t12_x11_u6_b76 | 12 | 11 | 6 | 76 | ![]() |
nrm(lrg(D,dst(P,R))) | 29307 | 97892905 | o1(o2(x,o2(x,x))) | true | 64303 | 64303 | -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 |
| t12_x11_u6_b77 | 12 | 11 | 6 | 77 | ![]() |
nrm(eql(D,add(P,R))) | 29308 | 97892906 | o1(o2(x,o2(x,x))) | true | 64311 | 64311 | -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 |
| t12_x11_u6_b78 | 12 | 11 | 6 | 78 | ![]() |
nrm(eql(D,sub(P,R))) | 29309 | 97892907 | o1(o2(x,o2(x,x))) | true | 64319 | 64319 | -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 |
| t12_x11_u6_b79 | 12 | 11 | 6 | 79 | ![]() |
nrm(eql(D,mlt(P,R))) | 29310 | 97892908 | o1(o2(x,o2(x,x))) | true | 64327 | 64327 | 0.00002834 | 0.0002289 | 0.00002834 | 0.000005154 | 0.00227 | 0 | 0.2321 | 0.2321 | 1 | 0.002381 | 0.000007269 | 7.543e-8 | 0.00004458 | 0.9795 | 0 | 8.276e-8 | 0.00002204 | 0.00008782 | 0.000007343 | 0.00271 | 60.78 | 0.2253 | 1.425 | 4.276 | 1 | 1 | 0 | 0 | 0.000003933 | 0 | 0 | 0.7631 | json |
| t12_x11_u6_b80 | 12 | 11 | 6 | 80 | ![]() |
nrm(eql(D,div(P,R))) | 29311 | 97892909 | o1(o2(x,o2(x,x))) | true | 64335 | 64335 | 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 |
| t12_x11_u6_b81 | 12 | 11 | 6 | 81 | ![]() |
nrm(eql(D,pow(P,R))) | 29312 | 97892910 | o1(o2(x,o2(x,x))) | true | 64343 | 64343 | -0.9414 | 0 | 0.9414 | 0.05515 | 0.2348 | -1 | 0 | 1 | 1 | 0.3218 | 0.004252 | 0.006204 | 0.01038 | -0.1867 | 1 | 0 | 0.02195 | 0.02091 | 0.01035 | 0.1018 | 9.801 | 1.414 | 0.1896 | 0.398 | 1 | 1 | 0.009017 | 0.03802 | 0.08377 | 0.1635 | 0.6894 | 1.519 | json |
| t12_x11_u6_b82 | 12 | 11 | 6 | 82 | ![]() |
nrm(eql(D,mod(P,R))) | 29313 | 97892911 | o1(o2(x,o2(x,x))) | true | 64351 | 64351 | 0.0002294 | 0.0007324 | 0.0002294 | 0.0001158 | 0.01076 | 0 | 0.7019 | 0.7019 | 1 | 0.008597 | 0.000225 | 0.000001696 | 0.0004483 | 0.985 | 1 | 1.693e-7 | 0.0006817 | 0.0008876 | 0.0002264 | 0.01505 | 33.56 | 0.7019 | 1.958 | 5.888 | 1 | 1 | 0 | 0 | 0.00001646 | 0 | 0 | 0.1422 | json |
| t12_x11_u6_b83 | 12 | 11 | 6 | 83 | ![]() |
nrm(eql(D,lrg(P,R))) | 29314 | 97892912 | o1(o2(x,o2(x,x))) | true | 64359 | 64359 | -0.9414 | 0 | 0.9414 | 0.05515 | 0.2348 | -1 | 0 | 1 | 1 | 0.3218 | 0.004252 | 0.006204 | 0.01038 | -0.1867 | 1 | 0 | 0.02195 | 0.02091 | 0.01035 | 0.1018 | 9.801 | 1.414 | 0.1896 | 0.398 | 1 | 1 | 0.009017 | 0.03802 | 0.08377 | 0.1635 | 0.6894 | 1.519 | json |
| t12_x11_u6_b84 | 12 | 11 | 6 | 84 | ![]() |
nrm(eql(D,eql(P,R))) | 29315 | 97892913 | o1(o2(x,o2(x,x))) | true | 64367 | 64367 | 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 |
| t12_x11_u6_b85 | 12 | 11 | 6 | 85 | ![]() |
nrm(eql(D,min(P,R))) | 29316 | 97892914 | o1(o2(x,o2(x,x))) | true | 64375 | 64375 | -0.9414 | 0 | 0.9414 | 0.05515 | 0.2348 | -1 | 0 | 1 | 1 | 0.3218 | 0.004252 | 0.006204 | 0.01038 | -0.1867 | 1 | 0 | 0.02195 | 0.02091 | 0.01035 | 0.1018 | 9.801 | 1.414 | 0.1896 | 0.398 | 1 | 1 | 0.009017 | 0.03802 | 0.08377 | 0.1635 | 0.6894 | 1.519 | json |
| t12_x11_u6_b86 | 12 | 11 | 6 | 86 | ![]() |
nrm(eql(D,dot(P,R))) | 29317 | 97892915 | o1(o2(x,o2(x,x))) | true | 64383 | 64383 | -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 |
| t12_x11_u6_b87 | 12 | 11 | 6 | 87 | ![]() |
nrm(eql(D,dst(P,R))) | 29318 | 97892916 | o1(o2(x,o2(x,x))) | true | 64391 | 64391 | -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 |
| t12_x11_u6_b88 | 12 | 11 | 6 | 88 | ![]() |
nrm(min(D,add(P,R))) | 29319 | 97892917 | o1(o2(x,o2(x,x))) | true | 64399 | 64399 | -0.4098 | 0.2289 | 0.4861 | 0.2186 | 0.4675 | -1 | 0.9838 | 1.984 | 1 | 4.054 | 0.006022 | 0.00108 | 0.03931 | 0.6959 | 1 | 0.0001508 | 0.005835 | 0.0155 | 0.005557 | 0.07454 | 1.896 | 1.965 | 0.03249 | 0.0267 | 1 | 1 | 0.01248 | 0.07992 | 0.0848 | 0.05712 | 0.3657 | 0.388 | json |
| t12_x11_u6_b89 | 12 | 11 | 6 | 89 | ![]() |
nrm(min(D,sub(P,R))) | 29320 | 97892918 | o1(o2(x,o2(x,x))) | true | 64407 | 64407 | -0.4146 | 0.2302 | 0.4925 | 0.2237 | 0.473 | -1 | 0.9369 | 1.937 | 1 | 4.011 | 0.006319 | 0.001249 | 0.04043 | 0.6699 | 1 | 0.0002224 | 0.005889 | 0.01603 | 0.005934 | 0.07703 | 1.905 | 1.467 | 0.03384 | 0.02633 | 1 | 1 | 0.01427 | 0.08946 | 0.08467 | 0.06378 | 0.3999 | 0.3785 | json |
| t12_x11_u6_b90 | 12 | 11 | 6 | 90 | ![]() |
nrm(min(D,mlt(P,R))) | 29321 | 97892919 | o1(o2(x,o2(x,x))) | true | 64415 | 64415 | -0.4048 | 0.1692 | 0.5046 | 0.194 | 0.4404 | -1 | 0.9991 | 1.999 | 1 | 4.524 | 0.01478 | 0.004645 | 0.0875 | 0.5217 | 1 | -0.00008952 | 0.01839 | 0.03488 | 0.01177 | 0.1085 | 1.24 | 1.999 | 0.1001 | 0.09482 | 1 | 1 | 0.03389 | 0.2451 | 0.3428 | 0.1747 | 1.263 | 1.767 | json |
| t12_x11_u6_b91 | 12 | 11 | 6 | 91 | ![]() |
nrm(min(D,div(P,R))) | 29322 | 97892920 | o1(o2(x,o2(x,x))) | true | 64423 | 64423 | -0.4162 | 0.1578 | 0.5101 | 0.1981 | 0.4451 | -1 | 0.9991 | 1.999 | 1 | 4.447 | 0.01396 | 0.004609 | 0.08268 | 0.5036 | 1 | 0.00002429 | 0.018 | 0.03186 | 0.01174 | 0.1083 | 1.31 | 1.999 | 0.09375 | 0.09088 | 1 | 1 | 0.03256 | 0.2393 | 0.372 | 0.1644 | 1.208 | 1.878 | json |
| t12_x11_u6_b92 | 12 | 11 | 6 | 92 | ![]() |
nrm(min(D,pow(P,R))) | 29323 | 97892921 | o1(o2(x,o2(x,x))) | true | 64431 | 64431 | -0.01443 | 0.4851 | 0.3744 | 0.1955 | 0.4422 | -1 | 0.9991 | 1.999 | 1 | 4.642 | 0.04043 | 0.007191 | 0.1584 | 0.698 | 1 | 0.00001544 | 0.04879 | 0.07513 | 0.02251 | 0.15 | 0.9469 | 1.999 | 0.2436 | 0.2495 | 1 | 1 | 0.07855 | 0.4109 | 0.03145 | 0.4018 | 2.102 | 0.1609 | json |
| t12_x11_u6_b93 | 12 | 11 | 6 | 93 | ![]() |
nrm(min(D,mod(P,R))) | 29324 | 97892922 | o1(o2(x,o2(x,x))) | true | 64439 | 64439 | -0.3924 | 0.1895 | 0.5258 | 0.1989 | 0.4459 | -1 | 0.9991 | 1.999 | 1 | 4.604 | 0.02481 | 0.00389 | 0.1026 | 0.729 | 1 | 0.0002987 | 0.03244 | 0.06038 | 0.01818 | 0.1348 | 1.315 | 1.999 | 0.1443 | 0.1631 | 1 | 1 | 0.04488 | 0.2303 | 0.08805 | 0.2257 | 1.158 | 0.4428 | json |
| t12_x11_u6_b94 | 12 | 11 | 6 | 94 | ![]() |
nrm(min(D,lrg(P,R))) | 29325 | 97892923 | o1(o2(x,o2(x,x))) | true | 64447 | 64447 | -0.3627 | 0.2357 | 0.5751 | 0.3207 | 0.5663 | -1 | 0.9991 | 1.999 | 1 | 4.192 | 0.04752 | 0.0053 | 0.1132 | 0.7993 | 1 | 0.0002048 | 0.07998 | 0.08001 | 0.04 | 0.2 | 1.766 | 1.999 | 0.1647 | 0.2494 | 1 | 1 | 0.07318 | 0.329 | 0.1187 | 0.2282 | 1.026 | 0.3702 | json |
| t12_x11_u6_b95 | 12 | 11 | 6 | 95 | ![]() |
nrm(min(D,eql(P,R))) | 29326 | 97892924 | o1(o2(x,o2(x,x))) | true | 64455 | 64455 | -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 |
| t12_x11_u6_b96 | 12 | 11 | 6 | 96 | ![]() |
nrm(min(D,min(P,R))) | 29327 | 97892925 | o1(o2(x,o2(x,x))) | true | 64463 | 64463 | -0.5084 | 0.07257 | 0.5346 | 0.161 | 0.4013 | -1 | 0.9991 | 1.999 | 1 | 3.935 | 0.00285 | 0.0007886 | 0.02881 | 0.5666 | 1 | 0.00002318 | 0.002317 | 0.009696 | 0.002809 | 0.053 | 1.84 | 1.999 | 0.0226 | 0.01439 | 1 | 1 | 0.006532 | 0.05511 | 0.1108 | 0.04056 | 0.3422 | 0.688 | json |
| t12_x11_u6_b97 | 12 | 11 | 6 | 97 | ![]() |
nrm(min(D,dot(P,R))) | 29328 | 97892926 | o1(o2(x,o2(x,x))) | true | 64471 | 64471 | -0.3178 | 0.2078 | 0.4705 | 0.1639 | 0.4048 | -1 | 0.9377 | 1.938 | 1 | 4.149 | 0.01793 | 0.005494 | 0.09378 | 0.531 | 1 | -0.00005184 | 0.02176 | 0.03943 | 0.01463 | 0.121 | 1.29 | 1.935 | 0.1429 | 0.1328 | 1 | 1 | 0.04241 | 0.2752 | 0.2625 | 0.2588 | 1.679 | 1.601 | json |
| t12_x11_u6_b98 | 12 | 11 | 6 | 98 | ![]() |
nrm(min(D,dst(P,R))) | 29329 | 97892927 | o1(o2(x,o2(x,x))) | true | 64479 | 64479 | -0.000003055 | 0.5 | 0.3663 | 0.1867 | 0.4321 | -0.9346 | 0.9346 | 1.869 | 1 | 4.562 | 0.03788 | 0.006951 | 0.1584 | 0.6899 | 1 | 5.538e-9 | 0.04219 | 0.07112 | 0.01975 | 0.1405 | 0.8875 | 1.466 | 0.2401 | 0.226 | 1 | 1 | 0.07517 | 0.4029 | 1.173e-7 | 0.4025 | 2.158 | 6.284e-7 | json |
| t12_x11_u6_b99 | 12 | 11 | 6 | 99 | ![]() |
nrm(dot(D,add(P,R))) | 29330 | 97892928 | o1(o2(x,o2(x,x))) | true | 64487 | 64487 | -0.05254 | 0.4426 | 0.3313 | 0.1382 | 0.3717 | -0.5774 | 0.577 | 1.154 | 1 | 4.137 | 0.04517 | 0.04513 | 0.1644 | 0.0004633 | 1 | 0.001175 | 0.2848 | 0.2064 | 0.06329 | 0.2516 | 1.53 | 1.632 | 0.6535 | 2.061 | 1 | 1 | 0.09513 | 0.3091 | 0.09754 | 0.6885 | 2.237 | 0.7059 | json |
| t12_x11_u6_b100 | 12 | 11 | 6 | 100 | ![]() |
nrm(dot(D,sub(P,R))) | 29331 | 97892929 | o1(o2(x,o2(x,x))) | true | 64495 | 64495 | -0.05315 | 0.4419 | 0.3324 | 0.1388 | 0.3726 | -0.5774 | 0.577 | 1.154 | 1 | 4.136 | 0.04541 | 0.04458 | 0.1641 | 0.009124 | 1 | 0.001066 | 0.2826 | 0.2054 | 0.06305 | 0.2511 | 1.53 | 1.632 | 0.6482 | 2.036 | 1 | 1 | 0.09494 | 0.3092 | 0.09515 | 0.6839 | 2.227 | 0.6853 | json |
| t12_x11_u6_b101 | 12 | 11 | 6 | 101 | ![]() |
nrm(dot(D,mlt(P,R))) | 29332 | 97892930 | o1(o2(x,o2(x,x))) | true | 64503 | 64503 | -0.01942 | 0.4876 | 0.4177 | 0.2122 | 0.4607 | -1 | 0.5774 | 1.577 | 1 | 4.029 | 0.04294 | 0.04189 | 0.1351 | 0.0123 | 1 | 0.000247 | 0.2464 | 0.188 | 0.06658 | 0.258 | 1.91 | 1.954 | 0.3997 | 1.161 | 1 | 1 | 0.0905 | 0.3663 | 0.4386 | 0.4264 | 1.726 | 2.067 | json |
| t12_x11_u6_b102 | 12 | 11 | 6 | 102 | ![]() |
nrm(dot(D,div(P,R))) | 29333 | 97892931 | o1(o2(x,o2(x,x))) | true | 64511 | 64511 | -0.02373 | 0.4849 | 0.4172 | 0.2117 | 0.4601 | -1 | 0.5774 | 1.577 | 1 | 4.038 | 0.04294 | 0.0424 | 0.1348 | 0.006321 | 1 | 0.00005584 | 0.2471 | 0.1884 | 0.06716 | 0.2592 | 1.923 | 1.954 | 0.4032 | 1.167 | 1 | 1 | 0.09042 | 0.3659 | 0.4179 | 0.4271 | 1.728 | 1.974 | json |
| t12_x11_u6_b103 | 12 | 11 | 6 | 103 | ![]() |
nrm(dot(D,pow(P,R))) | 29334 | 97892932 | o1(o2(x,o2(x,x))) | true | 64519 | 64519 | -0.7967 | 0.09941 | 0.8608 | 0.1869 | 0.4323 | -1 | 0.5771 | 1.577 | 1 | 1.599 | 0.01269 | 0.01186 | 0.03767 | 0.03419 | 1 | 0.0002262 | 0.07437 | 0.05319 | 0.02313 | 0.1521 | 4.037 | 2.224 | 0.1314 | 0.398 | 1 | 1 | 0.0264 | 0.08869 | 0.1211 | 0.1413 | 0.4746 | 0.6479 | json |
| t12_x11_u6_b104 | 12 | 11 | 6 | 104 | ![]() |
nrm(dot(D,mod(P,R))) | 29335 | 97892933 | o1(o2(x,o2(x,x))) | true | 64527 | 64527 | -0.05197 | 0.4555 | 0.3582 | 0.163 | 0.4038 | -1 | 0.5773 | 1.577 | 1 | 4.216 | 0.04236 | 0.04474 | 0.1576 | -0.02732 | 1 | 0.0005185 | 0.2537 | 0.1966 | 0.06228 | 0.2496 | 1.584 | 1.95 | 0.5343 | 1.556 | 1 | 1 | 0.09328 | 0.3152 | 0.2033 | 0.5721 | 1.933 | 1.247 | json |
| t12_x11_u6_b105 | 12 | 11 | 6 | 105 | ![]() |
nrm(dot(D,lrg(P,R))) | 29336 | 97892934 | o1(o2(x,o2(x,x))) | true | 64535 | 64535 | -0.3284 | 0.332 | 0.5662 | 0.3243 | 0.5694 | -1 | 0.577 | 1.577 | 1 | 3.693 | 0.06248 | 0.06138 | 0.1358 | 0.008931 | 1 | 0.000113 | 0.4961 | 0.2124 | 0.1054 | 0.3247 | 2.391 | 2.224 | 0.382 | 1.53 | 1 | 1 | 0.1039 | 0.289 | 0.1383 | 0.3203 | 0.8911 | 0.4266 | json |
| t12_x11_u6_b106 | 12 | 11 | 6 | 106 | ![]() |
nrm(dot(D,eql(P,R))) | 29337 | 97892935 | o1(o2(x,o2(x,x))) | true | 64543 | 64543 | -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 |
| t12_x11_u6_b107 | 12 | 11 | 6 | 107 | ![]() |
nrm(dot(D,min(P,R))) | 29338 | 97892936 | o1(o2(x,o2(x,x))) | true | 64551 | 64551 | -0.04515 | 0.4639 | 0.3895 | 0.1892 | 0.435 | -1 | 0.5774 | 1.577 | 1 | 4.092 | 0.05042 | 0.0496 | 0.1556 | 0.00828 | 1 | 0.00009349 | 0.3113 | 0.2078 | 0.07581 | 0.2753 | 1.769 | 2.23 | 0.5286 | 1.645 | 1 | 1 | 0.0997 | 0.3399 | 0.2338 | 0.5269 | 1.796 | 1.236 | json |
| t12_x11_u6_b108 | 12 | 11 | 6 | 108 | ![]() |
nrm(dot(D,dot(P,R))) | 29339 | 97892937 | o1(o2(x,o2(x,x))) | true | 64559 | 64559 | -0.07496 | 0.463 | 0.4531 | 0.2554 | 0.5054 | -1 | 0.5774 | 1.577 | 1 | 4.06 | 0.1533 | 0.1522 | 0.2296 | 0.003396 | 1 | -0.0000658 | 1.605 | 0.5076 | 0.2528 | 0.5028 | 2.19 | 2.231 | 1.196 | 6.284 | 1 | 1 | 0.2079 | 0.4984 | 0.4218 | 0.8138 | 1.951 | 1.651 | json |
| t12_x11_u6_b109 | 12 | 11 | 6 | 109 | ![]() |
nrm(dot(D,dst(P,R))) | 29340 | 97892938 | o1(o2(x,o2(x,x))) | true | 64567 | 64567 | -0.0625 | 0.4688 | 0.3336 | 0.1636 | 0.4045 | -1 | 0.5767 | 1.577 | 1 | 4.324 | 0.1529 | 0.1529 | 0.265 | -5.849e-7 | 1 | 0.00006298 | 1.61 | 0.5182 | 0.2355 | 0.4852 | 1.831 | 2.224 | 1.868 | 9.843 | 1 | 1 | 0.2088 | 0.4196 | 8.362e-16 | 1.276 | 2.565 | 5.111e-15 | json |
| t12_x11_u6_b110 | 12 | 11 | 6 | 110 | ![]() |
nrm(dst(D,add(P,R))) | 29341 | 97892939 | o1(o2(x,o2(x,x))) | true | 64575 | 64575 | 0.5777 | 1 | 0.5777 | 1.421e-7 | 0.000377 | 0.5774 | 0.5774 | 1.192e-7 | 1 | 0 | 5.231e-16 | 5.229e-16 | 1.421e-8 | 1.678e-7 | 0 | -6.822e-9 | 4.598e-15 | 1.917e-8 | 8.437e-16 | 2.905e-8 | 2.044 | 1.686e-7 | 7.361e-9 | 3.236e-8 | 1 | 1 | 4.815e-16 | 4.851e-16 | 4.888e-16 | 3.389e-9 | 3.414e-9 | 3.44e-9 | json |
| t12_x11_u6_b111 | 12 | 11 | 6 | 111 | ![]() |
nrm(dst(D,sub(P,R))) | 29342 | 97892940 | o1(o2(x,o2(x,x))) | true | 64583 | 64583 | 0.5777 | 1 | 0.5777 | 1.421e-7 | 0.000377 | 0.5774 | 0.5774 | 1.192e-7 | 1 | 0 | 5.396e-16 | 5.325e-16 | 1.454e-8 | 0.000007105 | 0 | -7.535e-9 | 4.707e-15 | 1.969e-8 | 8.608e-16 | 2.934e-8 | 2.018 | 1.686e-7 | 7.546e-9 | 3.313e-8 | 1 | 1 | 4.995e-16 | 4.983e-16 | 5.126e-16 | 3.516e-9 | 3.507e-9 | 3.607e-9 | json |
| t12_x11_u6_b112 | 12 | 11 | 6 | 112 | ![]() |
nrm(dst(D,mlt(P,R))) | 29343 | 97892941 | o1(o2(x,o2(x,x))) | true | 64591 | 64591 | 0.5777 | 1 | 0.5777 | 1.421e-7 | 0.000377 | 0.5774 | 0.5774 | 1.192e-7 | 1 | 0 | 4.968e-16 | 4.953e-16 | 1.348e-8 | 0.000001455 | 0 | -7.242e-9 | 4.378e-15 | 1.82e-8 | 8.1e-16 | 2.846e-8 | 2.111 | 1.686e-7 | 6.982e-9 | 3.081e-8 | 1 | 1 | 5.29e-16 | 5.336e-16 | 5.218e-16 | 3.723e-9 | 3.755e-9 | 3.672e-9 | json |
| t12_x11_u6_b113 | 12 | 11 | 6 | 113 | ![]() |
nrm(dst(D,div(P,R))) | 29344 | 97892942 | o1(o2(x,o2(x,x))) | true | 64599 | 64599 | 0.5777 | 1 | 0.5777 | 1.421e-7 | 0.000377 | 0.5774 | 0.5774 | 1.192e-7 | 1 | 0 | 4.89e-16 | 4.895e-16 | 1.34e-8 | -5.594e-7 | 0 | -6.795e-9 | 4.372e-15 | 1.823e-8 | 7.991e-16 | 2.827e-8 | 2.109 | 1.686e-7 | 6.886e-9 | 3.077e-8 | 1 | 1 | 4.879e-16 | 5.012e-16 | 4.991e-16 | 3.434e-9 | 3.527e-9 | 3.513e-9 | json |
| t12_x11_u6_b114 | 12 | 11 | 6 | 114 | ![]() |
nrm(dst(D,pow(P,R))) | 29345 | 97892943 | o1(o2(x,o2(x,x))) | true | 64607 | 64607 | -0.9815 | 0.01172 | 0.9951 | 0.02882 | 0.1698 | -1 | 0.5774 | 1.577 | 1 | 0.09198 | 0.002507 | 0.003761 | 0.003945 | -0.2 | 1 | -1.652e-10 | 0.01316 | 0.007948 | 0.006255 | 0.07909 | 20.05 | 2.231 | 0.2175 | 0.4568 | 1 | 1 | 0.00162 | 0.01134 | 0.02591 | 0.0562 | 0.3934 | 0.8991 | json |
| t12_x11_u6_b115 | 12 | 11 | 6 | 115 | ![]() |
nrm(dst(D,mod(P,R))) | 29346 | 97892944 | o1(o2(x,o2(x,x))) | true | 64615 | 64615 | 0.5777 | 1 | 0.5777 | 1.421e-7 | 0.000377 | 0.5774 | 0.5774 | 1.192e-7 | 1 | 0 | 5.076e-16 | 5.178e-16 | 1.396e-8 | -0.00001018 | 0 | -7.524e-9 | 4.434e-15 | 1.847e-8 | 8.302e-16 | 2.881e-8 | 2.064 | 1.686e-7 | 7.217e-9 | 3.121e-8 | 1 | 1 | 5.054e-16 | 5.12e-16 | 5.099e-16 | 3.557e-9 | 3.604e-9 | 3.589e-9 | json |
| t12_x11_u6_b116 | 12 | 11 | 6 | 116 | ![]() |
nrm(dst(D,lrg(P,R))) | 29347 | 97892945 | o1(o2(x,o2(x,x))) | true | 64623 | 64623 | 0.5777 | 1 | 0.5777 | 1.421e-7 | 0.000377 | 0.5774 | 0.5774 | 1.192e-7 | 1 | 0 | 6.377e-16 | 6.195e-16 | 1.72e-8 | 0.00001824 | 0 | -5.241e-9 | 5.469e-15 | 2.294e-8 | 9.612e-16 | 3.1e-8 | 1.803 | 1.333e-7 | 8.848e-9 | 3.849e-8 | 1 | 1 | 6.572e-16 | 6.45e-16 | 4.316e-16 | 4.625e-9 | 4.539e-9 | 3.037e-9 | json |
| t12_x11_u6_b117 | 12 | 11 | 6 | 117 | ![]() |
nrm(dst(D,eql(P,R))) | 29348 | 97892946 | o1(o2(x,o2(x,x))) | true | 64631 | 64631 | 0.5777 | 1 | 0.5777 | 1.421e-7 | 0.0003769 | 0.5774 | 0.5774 | 5.96e-8 | 1 | 0 | 7.984e-16 | 8.002e-16 | 2.301e-8 | -0.00000179 | 0 | -2.679e-8 | 8.622e-15 | 3.616e-8 | 1.069e-15 | 3.27e-8 | 1.421 | 8.429e-8 | 1.125e-8 | 6.068e-8 | 1 | 1 | 8.125e-16 | 9.432e-16 | 0 | 5.719e-9 | 6.639e-9 | 0 | json |
| t12_x11_u6_b118 | 12 | 11 | 6 | 118 | ![]() |
nrm(dst(D,min(P,R))) | 29349 | 97892947 | o1(o2(x,o2(x,x))) | true | 64639 | 64639 | 0.5777 | 1 | 0.5777 | 1.421e-7 | 0.000377 | 0.5774 | 0.5774 | 1.192e-7 | 1 | 0 | 5.027e-16 | 5.02e-16 | 1.367e-8 | 6.154e-7 | 0 | -7.133e-9 | 4.411e-15 | 1.842e-8 | 8.183e-16 | 2.861e-8 | 2.093 | 1.686e-7 | 7.071e-9 | 3.104e-8 | 1 | 1 | 4.886e-16 | 4.846e-16 | 4.898e-16 | 3.438e-9 | 3.411e-9 | 3.447e-9 | json |
| t12_x11_u6_b119 | 12 | 11 | 6 | 119 | ![]() |
nrm(dst(D,dot(P,R))) | 29350 | 97892948 | o1(o2(x,o2(x,x))) | true | 64647 | 64647 | 0.5777 | 1 | 0.5777 | 1.421e-7 | 0.000377 | 0.5774 | 0.5774 | 1.192e-7 | 1 | 0 | 4.856e-16 | 4.882e-16 | 1.319e-8 | -0.000002573 | 0 | -7.096e-9 | 4.205e-15 | 1.76e-8 | 7.994e-16 | 2.827e-8 | 2.143 | 1.686e-7 | 6.853e-9 | 2.959e-8 | 1 | 1 | 4.852e-16 | 4.88e-16 | 4.889e-16 | 3.414e-9 | 3.435e-9 | 3.441e-9 | json |
| t12_x11_u6_b120 | 12 | 11 | 6 | 120 | ![]() |
nrm(dst(D,dst(P,R))) | 29351 | 97892949 | o1(o2(x,o2(x,x))) | true | 64655 | 64655 | 0.5777 | 1 | 0.5777 | 1.421e-7 | 0.000377 | 0.5774 | 0.5774 | 1.192e-7 | 1 | 0 | 4.803e-16 | 4.821e-16 | 1.311e-8 | -0.00000179 | 0 | -7.227e-9 | 4.29e-15 | 1.791e-8 | 7.909e-16 | 2.812e-8 | 2.144 | 1.686e-7 | 6.774e-9 | 3.019e-8 | 1 | 1 | 4.833e-16 | 4.878e-16 | 4.879e-16 | 3.401e-9 | 3.433e-9 | 3.434e-9 | json |
| t12_x12_u0_b0 | 12 | 12 | 0 | 0 | ![]() |
sqt(add(D,add(D,P))) | 29352 | 97932024 | o1(o2(x,o2(x,x))) | true | 64663 | 64663 | -0.06963 | 0.4688 | 0.9929 | 0.9835 | 0.9917 | -1 | 1 | 2 | 1 | 1.217 | 0.01018 | 0 | 0.007937 | 1 | 1 | 9.461e-10 | 0.01952 | 0.01282 | 0.01011 | 0.1006 | 12.67 | 1.595 | 0.01035 | 0.01985 | 1 | 1 | 0.01405 | 0.06779 | 0.3204 | 0.01428 | 0.06893 | 0.3258 | json |
| t12_x12_u0_b1 | 12 | 12 | 0 | 1 | ![]() |
sqt(add(D,sub(D,P))) | 29353 | 97932025 | o1(o2(x,o2(x,x))) | true | 64671 | 64671 | -0.1913 | 0.4063 | 0.9962 | 0.9558 | 0.9777 | -1 | 1 | 2 | 1 | 1.146 | 0.0458 | 0 | 0.02423 | 1 | 1 | 9.461e-10 | 0.09302 | 0.04743 | 0.0452 | 0.2126 | 8.773 | 2 | 0.04792 | 0.09732 | 1 | 1 | 0.0598 | 0.233 | 0.3274 | 0.06257 | 0.2437 | 0.3425 | json |
| t12_x12_u0_b2 | 12 | 12 | 0 | 2 | ![]() |
sqt(add(D,mlt(D,P))) | 29354 | 97932026 | o1(o2(x,o2(x,x))) | true | 64679 | 64679 | -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 |
| t12_x12_u0_b3 | 12 | 12 | 0 | 3 | ![]() |
sqt(add(D,div(D,P))) | 29355 | 97932027 | o1(o2(x,o2(x,x))) | true | 64687 | 64687 | -0.9265 | 0.0625 | 0.9485 | 0.08191 | 0.2862 | -1 | 0.3228 | 1.323 | 1 | 0.4935 | 0.009092 | 0 | 0.0105 | 1 | 1 | 4.731e-10 | 0.01719 | 0.01722 | 0.008987 | 0.0948 | 9.03 | 1.125 | 0.111 | 0.2099 | 1 | 1 | 0.01272 | 0.05992 | 0.1177 | 0.1553 | 0.7316 | 1.437 | json |
| t12_x12_u0_b4 | 12 | 12 | 0 | 4 | ![]() |
sqt(add(D,pow(D,P))) | 29356 | 97932028 | o1(o2(x,o2(x,x))) | true | 64695 | 64695 | -0.8762 | 0.0625 | 0.9988 | 0.23 | 0.4796 | -1 | 1 | 2 | 1 | 0.3808 | 0.03151 | 0 | 0.01635 | 1 | 1 | 0 | 0.06347 | 0.03217 | 0.03123 | 0.1767 | 10.81 | 2 | 0.137 | 0.276 | 1 | 1 | 0.04151 | 0.1653 | 0.3304 | 0.1805 | 0.7185 | 1.437 | json |
| t12_x12_u0_b5 | 12 | 12 | 0 | 5 | ![]() |
sqt(add(D,mod(D,P))) | 29357 | 97932029 | o1(o2(x,o2(x,x))) | true | 64703 | 64703 | -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 |
| t12_x12_u0_b6 | 12 | 12 | 0 | 6 | ![]() |
sqt(add(D,lrg(D,P))) | 29358 | 97932030 | o1(o2(x,o2(x,x))) | true | 64711 | 64711 | -0.1392 | 0.4375 | 0.9859 | 0.9534 | 0.9764 | -1 | 1 | 2 | 1 | 1.381 | 0.01573 | 0 | 0.01269 | 1 | 1 | 6.623e-9 | 0.03175 | 0.0188 | 0.01557 | 0.1248 | 9.836 | 1.984 | 0.0165 | 0.03331 | 1 | 1 | 0.02059 | 0.0799 | 0.3261 | 0.0216 | 0.0838 | 0.3421 | json |
| t12_x12_u0_b7 | 12 | 12 | 0 | 7 | ![]() |
sqt(add(D,eql(D,P))) | 29359 | 97932031 | o1(o2(x,o2(x,x))) | true | 64719 | 64719 | -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 |
| t12_x12_u0_b8 | 12 | 12 | 0 | 8 | ![]() |
sqt(add(D,min(D,P))) | 29360 | 97932032 | o1(o2(x,o2(x,x))) | true | 64727 | 64727 | -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 |
| t12_x12_u0_b9 | 12 | 12 | 0 | 9 | ![]() |
sqt(add(D,dot(D,P))) | 29361 | 97932033 | o1(o2(x,o2(x,x))) | true | 64735 | 64735 | -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 |
| t12_x12_u0_b10 | 12 | 12 | 0 | 10 | ![]() |
sqt(add(D,dst(D,P))) | 29362 | 97932034 | o1(o2(x,o2(x,x))) | true | 64743 | 64743 | 0.9883 | 0.9948 | 0.9987 | 0.02116 | 0.1455 | -1 | 1 | 2 | 1 | 0.1009 | 0.007557 | 0.003049 | 0.005495 | 0.4251 | 1 | 3.004e-11 | 0.03022 | 0.01082 | 0.01056 | 0.1028 | 18.7 | 2.828 | 0.5011 | 1.428 | 1 | 1 | 0.01827 | 0.05629 | 0.0574 | 0.8634 | 2.66 | 2.712 | json |
| t12_x12_u0_b11 | 12 | 12 | 0 | 11 | ![]() |
sqt(sub(D,add(D,P))) | 29363 | 97932035 | o1(o2(x,o2(x,x))) | true | 64751 | 64751 | -0.03125 | 0.5 | 0.9688 | 0.9603 | 0.98 | -1 | 1 | 2 | 1 | 1.406 | 0.004323 | 0 | 0.007937 | 1 | 1 | 0 | 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 |
| t12_x12_u0_b12 | 12 | 12 | 0 | 12 | ![]() |
sqt(sub(D,sub(D,P))) | 29364 | 97932036 | o1(o2(x,o2(x,x))) | true | 64759 | 64759 | -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 |
| t12_x12_u0_b13 | 12 | 12 | 0 | 13 | ![]() |
sqt(sub(D,mlt(D,P))) | 29365 | 97932037 | o1(o2(x,o2(x,x))) | true | 64767 | 64767 | -0.8438 | 0.125 | 0.9062 | 0.1741 | 0.4173 | -1 | 0.4565 | 1.457 | 1 | 0.8814 | 0.01139 | 0 | 0.01518 | 1 | 1 | 1.892e-9 | 0.01978 | 0.01979 | 0.01117 | 0.1057 | 6.961 | 1.177 | 0.06542 | 0.1136 | 1 | 1 | 0.0171 | 0.08554 | 0.2675 | 0.09818 | 0.4913 | 1.536 | json |
| t12_x12_u0_b14 | 12 | 12 | 0 | 14 | ![]() |
sqt(sub(D,div(D,P))) | 29366 | 97932038 | o1(o2(x,o2(x,x))) | true | 64775 | 64775 | -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 |
| t12_x12_u0_b15 | 12 | 12 | 0 | 15 | ![]() |
sqt(sub(D,pow(D,P))) | 29367 | 97932039 | o1(o2(x,o2(x,x))) | true | 64783 | 64783 | -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 |
| t12_x12_u0_b16 | 12 | 12 | 0 | 16 | ![]() |
sqt(sub(D,mod(D,P))) | 29368 | 97932040 | o1(o2(x,o2(x,x))) | true | 64791 | 64791 | -0.125 | 0 | 0.125 | 0.1094 | 0.3307 | -1 | 0 | 1 | 1 | 0.5436 | 0.007937 | 0 | 0.007937 | 1 | 1 | 0 | 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 |
| t12_x12_u0_b17 | 12 | 12 | 0 | 17 | ![]() |
sqt(sub(D,lrg(D,P))) | 29369 | 97932041 | o1(o2(x,o2(x,x))) | true | 64799 | 64799 | -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 |
| t12_x12_u0_b18 | 12 | 12 | 0 | 18 | ![]() |
sqt(sub(D,eql(D,P))) | 29370 | 97932042 | o1(o2(x,o2(x,x))) | true | 64807 | 64807 | -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 |
| t12_x12_u0_b19 | 12 | 12 | 0 | 19 | ![]() |
sqt(sub(D,min(D,P))) | 29371 | 97932043 | o1(o2(x,o2(x,x))) | true | 64815 | 64815 | 0.4871 | 0.5625 | 0.4871 | 0.2331 | 0.4828 | 0 | 1 | 1 | 1 | 1.579 | 0.0007482 | 0 | 0.008054 | 1 | 1 | 2.956e-9 | 0.0002105 | 0.003503 | 0.0006833 | 0.02614 | 3.246 | 0.1763 | 0.003209 | 0.0009031 | 1 | 1 | 0.001845 | 0.01663 | 0.06184 | 0.007914 | 0.07134 | 0.2653 | json |
| t12_x12_u0_b20 | 12 | 12 | 0 | 20 | ![]() |
sqt(sub(D,dot(D,P))) | 29372 | 97932044 | o1(o2(x,o2(x,x))) | true | 64823 | 64823 | -0.9776 | 0.01563 | 0.9911 | 0.03203 | 0.179 | -1 | 0.7021 | 1.702 | 1 | 0.1687 | 0.001898 | 0.001898 | 0.00359 | -3.066e-8 | 1 | 6.007e-11 | 0.007198 | 0.005581 | 0.003785 | 0.06152 | 17.14 | 1.768 | 0.1185 | 0.2247 | 1 | 1 | 0.007207 | 0.03405 | 0.1181 | 0.225 | 1.063 | 3.688 | json |
| t12_x12_u0_b21 | 12 | 12 | 0 | 21 | ![]() |
sqt(sub(D,dst(D,P))) | 29373 | 97932045 | o1(o2(x,o2(x,x))) | true | 64831 | 64831 | -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 |
| t12_x12_u0_b22 | 12 | 12 | 0 | 22 | ![]() |
sqt(mlt(D,add(D,P))) | 29374 | 97932046 | o1(o2(x,o2(x,x))) | true | 64839 | 64839 | -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 |
| t12_x12_u0_b23 | 12 | 12 | 0 | 23 | ![]() |
sqt(mlt(D,sub(D,P))) | 29375 | 97932047 | o1(o2(x,o2(x,x))) | true | 64847 | 64847 | -0.8208 | 0.125 | 0.9292 | 0.2306 | 0.4802 | -1 | 0.7026 | 1.703 | 1 | 0.9811 | 0.01195 | 0 | 0.01884 | 1 | 1 | 9.461e-10 | 0.01965 | 0.02043 | 0.0116 | 0.1077 | 5.717 | 1.18 | 0.0518 | 0.08518 | 1 | 1 | 0.01866 | 0.1105 | 0.3539 | 0.08091 | 0.4789 | 1.534 | json |
| t12_x12_u0_b24 | 12 | 12 | 0 | 24 | ![]() |
sqt(mlt(D,mlt(D,P))) | 29376 | 97932048 | o1(o2(x,o2(x,x))) | true | 64855 | 64855 | -0.2462 | 0.5 | 0.7538 | 0.625 | 0.7906 | -1 | 1 | 2 | 1 | 2.91 | 0.01118 | 0 | 0.05181 | 1 | 1 | -0.0008527 | 0.009764 | 0.02698 | 0.008492 | 0.09215 | 1.779 | 1 | 0.01788 | 0.01562 | 1 | 1 | 0.01651 | 0.099 | 0.1428 | 0.02641 | 0.1584 | 0.2284 | json |
| t12_x12_u0_b25 | 12 | 12 | 0 | 25 | ![]() |
sqt(mlt(D,div(D,P))) | 29377 | 97932049 | o1(o2(x,o2(x,x))) | true | 64863 | 64863 | -0.4965 | 0.4375 | 0.6285 | 0.3305 | 0.5749 | -1 | 0.4276 | 1.428 | 1 | 2.098 | 0.004781 | 0 | 0.0177 | 1 | 1 | -0.0001101 | 0.008012 | 0.01246 | 0.004469 | 0.06685 | 3.778 | 1.031 | 0.01447 | 0.02424 | 1 | 1 | 0.007184 | 0.04108 | 0.1261 | 0.02173 | 0.1243 | 0.3816 | json |
| t12_x12_u0_b26 | 12 | 12 | 0 | 26 | ![]() |
sqt(mlt(D,pow(D,P))) | 29378 | 97932050 | o1(o2(x,o2(x,x))) | true | 64871 | 64871 | -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 |
| t12_x12_u0_b27 | 12 | 12 | 0 | 27 | ![]() |
sqt(mlt(D,mod(D,P))) | 29379 | 97932051 | o1(o2(x,o2(x,x))) | true | 64879 | 64879 | 0.1253 | 0.875 | 0.3752 | 0.2038 | 0.4514 | -1 | 0.4963 | 1.496 | 1 | 2.95 | 0.01207 | 0 | 0.05898 | 1 | 1 | -0.0006126 | 0.01648 | 0.03319 | 0.008589 | 0.09268 | 1.571 | 1.032 | 0.05923 | 0.08086 | 1 | 1 | 0.0185 | 0.1111 | 0.283 | 0.09079 | 0.5452 | 1.389 | json |
| t12_x12_u0_b28 | 12 | 12 | 0 | 28 | ![]() |
sqt(mlt(D,lrg(D,P))) | 29380 | 97932052 | o1(o2(x,o2(x,x))) | true | 64887 | 64887 | -0.4063 | 0.125 | 0.4687 | 0.2835 | 0.5325 | -1 | 0.4565 | 1.457 | 1 | 1.623 | 0.006019 | 0 | 0.01121 | 1 | 1 | 9.469e-10 | 0.01006 | 0.01185 | 0.005891 | 0.07675 | 6.846 | 1.177 | 0.02123 | 0.03548 | 1 | 1 | 0.009296 | 0.04718 | 0.1412 | 0.03278 | 0.1664 | 0.4981 | json |
| t12_x12_u0_b29 | 12 | 12 | 0 | 29 | ![]() |
sqt(mlt(D,eql(D,P))) | 29381 | 97932053 | o1(o2(x,o2(x,x))) | true | 64895 | 64895 | 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 |
| t12_x12_u0_b30 | 12 | 12 | 0 | 30 | ![]() |
sqt(mlt(D,min(D,P))) | 29382 | 97932054 | o1(o2(x,o2(x,x))) | true | 64903 | 64903 | -0.366 | 0.5 | 0.6341 | 0.4154 | 0.6445 | -1 | 0.4963 | 1.496 | 1 | 2.44 | 0.005882 | 0 | 0.03157 | 1 | 1 | -0.0003063 | 0.008265 | 0.01771 | 0.004886 | 0.0699 | 2.214 | 1 | 0.01416 | 0.0199 | 1 | 1 | 0.008832 | 0.04888 | 0.1274 | 0.02126 | 0.1177 | 0.3067 | json |
| t12_x12_u0_b31 | 12 | 12 | 0 | 31 | ![]() |
sqt(mlt(D,dot(D,P))) | 29383 | 97932055 | o1(o2(x,o2(x,x))) | true | 64911 | 64911 | -0.7939 | 0.1216 | 0.963 | 0.3185 | 0.5644 | -1 | 1 | 2 | 1 | 0.9531 | 0.06908 | 0.05801 | 0.08239 | 0.0871 | 1 | -0.0009831 | 0.4121 | 0.1571 | 0.1203 | 0.3469 | 4.211 | 2.828 | 0.399 | 1.294 | 1 | 1 | 0.118 | 0.3312 | 0.2773 | 0.3706 | 1.04 | 0.8705 | json |
| t12_x12_u0_b32 | 12 | 12 | 0 | 32 | ![]() |
sqt(mlt(D,dst(D,P))) | 29384 | 97932056 | o1(o2(x,o2(x,x))) | true | 64919 | 64919 | -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 |
| t12_x12_u0_b33 | 12 | 12 | 0 | 33 | ![]() |
sqt(div(D,add(D,P))) | 29385 | 97932057 | o1(o2(x,o2(x,x))) | true | 64927 | 64927 | -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 |
| t12_x12_u0_b34 | 12 | 12 | 0 | 34 | ![]() |
sqt(div(D,sub(D,P))) | 29386 | 97932058 | o1(o2(x,o2(x,x))) | true | 64935 | 64935 | -0.7855 | 0.125 | 0.9645 | 0.3308 | 0.5752 | -1 | 0.9999 | 2 | 1 | 0.9372 | 0.01143 | 0 | 0.01587 | 1 | 1 | 2.838e-9 | 0.01972 | 0.01864 | 0.01118 | 0.1057 | 6.661 | 1.174 | 0.03456 | 0.05962 | 1 | 1 | 0.01724 | 0.1046 | 0.5075 | 0.05213 | 0.3161 | 1.534 | json |
| t12_x12_u0_b35 | 12 | 12 | 0 | 35 | ![]() |
sqt(div(D,mlt(D,P))) | 29387 | 97932059 | o1(o2(x,o2(x,x))) | true | 64943 | 64943 | -0.3316 | 0.4375 | 0.7934 | 0.5865 | 0.7659 | -1 | 0.9999 | 2 | 1 | 2.294 | 0.01591 | 0 | 0.0105 | 1 | 1 | -0.00000219 | 0.03178 | 0.01647 | 0.01581 | 0.1257 | 11.97 | 2 | 0.02713 | 0.05418 | 1 | 1 | 0.02113 | 0.08175 | 0.2655 | 0.03603 | 0.1394 | 0.4526 | json |
| t12_x12_u0_b36 | 12 | 12 | 0 | 36 | ![]() |
sqt(div(D,div(D,P))) | 29388 | 97932060 | o1(o2(x,o2(x,x))) | true | 64951 | 64951 | -0.03125 | 0.5 | 0.9688 | 0.9603 | 0.98 | -1 | 1 | 2 | 1 | 1.406 | 0.004323 | 0 | 0.007937 | 1 | 1 | -1.893e-9 | 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 |
| t12_x12_u0_b37 | 12 | 12 | 0 | 37 | ![]() |
sqt(div(D,pow(D,P))) | 29389 | 97932061 | o1(o2(x,o2(x,x))) | true | 64959 | 64959 | -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 |
| t12_x12_u0_b38 | 12 | 12 | 0 | 38 | ![]() |
sqt(div(D,mod(D,P))) | 29390 | 97932062 | o1(o2(x,o2(x,x))) | true | 64967 | 64967 | 0.75 | 0.875 | 1 | 0.4375 | 0.6614 | -1 | 1 | 2 | 1 | 0.5436 | 0.03175 | 0 | 0.01587 | 1 | 1 | 7.758e-8 | 0.06349 | 0.03175 | 0.03149 | 0.1774 | 11.18 | 2 | 0.07256 | 0.1451 | 1 | 1 | 0.04211 | 0.1684 | 0.6737 | 0.09624 | 0.385 | 1.54 | json |
| t12_x12_u0_b39 | 12 | 12 | 0 | 39 | ![]() |
sqt(div(D,lrg(D,P))) | 29391 | 97932063 | o1(o2(x,o2(x,x))) | true | 64975 | 64975 | -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 |
| t12_x12_u0_b40 | 12 | 12 | 0 | 40 | ![]() |
sqt(div(D,eql(D,P))) | 29392 | 97932064 | o1(o2(x,o2(x,x))) | true | 64983 | 64983 | -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 |
| t12_x12_u0_b41 | 12 | 12 | 0 | 41 | ![]() |
sqt(div(D,min(D,P))) | 29393 | 97932065 | o1(o2(x,o2(x,x))) | true | 64991 | 64991 | -0.125 | 0.4375 | 1 | 0.9844 | 0.9922 | -1 | 1 | 2 | 1 | 0.9887 | 0.01587 | 0 | 0.007937 | 1 | 1 | 3.879e-8 | 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 |
| t12_x12_u0_b42 | 12 | 12 | 0 | 42 | ![]() |
sqt(div(D,dot(D,P))) | 29394 | 97932066 | o1(o2(x,o2(x,x))) | true | 64999 | 64999 | -0.8227 | 0.1168 | 0.9437 | 0.2409 | 0.4908 | -1 | 1 | 2 | 1 | 0.8684 | 0.07798 | 0.06723 | 0.08119 | 0.07401 | 1 | -0.0006737 | 0.5336 | 0.1734 | 0.1387 | 0.3725 | 4.587 | 2.828 | 0.6029 | 2.215 | 1 | 1 | 0.1381 | 0.3013 | 0.2791 | 0.5734 | 1.251 | 1.159 | json |
| t12_x12_u0_b43 | 12 | 12 | 0 | 43 | ![]() |
sqt(div(D,dst(D,P))) | 29395 | 97932067 | o1(o2(x,o2(x,x))) | true | 65007 | 65007 | -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 |
| t12_x12_u0_b44 | 12 | 12 | 0 | 44 | ![]() |
sqt(pow(D,add(D,P))) | 29396 | 97932068 | o1(o2(x,o2(x,x))) | true | 65015 | 65015 | -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 |
| t12_x12_u0_b45 | 12 | 12 | 0 | 45 | ![]() |
sqt(pow(D,sub(D,P))) | 29397 | 97932069 | o1(o2(x,o2(x,x))) | true | 65023 | 65023 | -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 |
| t12_x12_u0_b46 | 12 | 12 | 0 | 46 | ![]() |
sqt(pow(D,mlt(D,P))) | 29398 | 97932070 | o1(o2(x,o2(x,x))) | true | 65031 | 65031 | -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 |
| t12_x12_u0_b47 | 12 | 12 | 0 | 47 | ![]() |
sqt(pow(D,div(D,P))) | 29399 | 97932071 | o1(o2(x,o2(x,x))) | true | 65039 | 65039 | -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 |



































































































