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_x12_u6_b22 | 12 | 12 | 6 | 22 | ![]() |
nrm(mlt(D,add(D,P))) | 30100 | 97933252 | o1(o2(x,o2(x,x))) | true | 70647 | 70647 | -0.01714 | 0.5 | 0.364 | 0.2093 | 0.4575 | -0.9994 | 0.9994 | 1.999 | 1 | 4.768 | 0.05075 | 0.005869 | 0.1524 | 0.7927 | 1 | 0.0005496 | 0.06415 | 0.08731 | 0.03338 | 0.1827 | 1.199 | 1.999 | 0.2705 | 0.3065 | 1 | 1 | 0.08641 | 0.4222 | 0.05568 | 0.4128 | 2.017 | 0.266 | json |
| t12_x12_u6_b23 | 12 | 12 | 6 | 23 | ![]() |
nrm(mlt(D,sub(D,P))) | 30101 | 97933253 | o1(o2(x,o2(x,x))) | true | 70655 | 70655 | 0.08235 | 0.5914 | 0.392 | 0.2211 | 0.4702 | -0.9991 | 0.9998 | 1.999 | 1 | 4.835 | 0.04984 | 0.006498 | 0.156 | 0.7693 | 1 | -0.0005297 | 0.0631 | 0.08957 | 0.03201 | 0.1789 | 1.147 | 1.998 | 0.2548 | 0.2854 | 1 | 1 | 0.08633 | 0.4374 | 0.07447 | 0.3905 | 1.979 | 0.3368 | json |
| t12_x12_u6_b24 | 12 | 12 | 6 | 24 | ![]() |
nrm(mlt(D,mlt(D,P))) | 30102 | 97933254 | o1(o2(x,o2(x,x))) | true | 70663 | 70663 | -0.01562 | 0.4922 | 0.5872 | 0.4852 | 0.6966 | -1 | 1 | 2 | 1 | 4.488 | 0.01925 | 0.01487 | 0.1171 | 0.1284 | 1 | 7.415e-10 | 0.0411 | 0.09325 | 0.0204 | 0.1428 | 1.22 | 2.414 | 0.07031 | 0.0847 | 1 | 1 | 0.05292 | 0.2098 | 0.1694 | 0.1091 | 0.4325 | 0.349 | json |
| t12_x12_u6_b25 | 12 | 12 | 6 | 25 | ![]() |
nrm(mlt(D,div(D,P))) | 30103 | 97933255 | o1(o2(x,o2(x,x))) | true | 70671 | 70671 | -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_u6_b26 | 12 | 12 | 6 | 26 | ![]() |
nrm(mlt(D,pow(D,P))) | 30104 | 97933256 | o1(o2(x,o2(x,x))) | true | 70679 | 70679 | -0.9954 | 0.002106 | 0.9977 | 0.006339 | 0.07962 | -1 | 0.9988 | 1.999 | 1 | 0.05467 | 0.001096 | 0.0008081 | 0.001605 | 0.1514 | 1 | -7.133e-11 | 0.004047 | 0.002626 | 0.001901 | 0.0436 | 27.17 | 1.999 | 0.3005 | 0.6384 | 1 | 1 | 0.003382 | 0.01301 | 0.02308 | 0.5335 | 2.052 | 3.64 | json |
| t12_x12_u6_b27 | 12 | 12 | 6 | 27 | ![]() |
nrm(mlt(D,mod(D,P))) | 30105 | 97933257 | o1(o2(x,o2(x,x))) | true | 70687 | 70687 | -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_u6_b28 | 12 | 12 | 6 | 28 | ![]() |
nrm(mlt(D,lrg(D,P))) | 30106 | 97933258 | o1(o2(x,o2(x,x))) | true | 70695 | 70695 | -0.2988 | 0.2734 | 0.5648 | 0.3996 | 0.6321 | -1 | 0.9994 | 1.999 | 1 | 3.531 | 0.06045 | 0.004629 | 0.09357 | 0.8577 | 1 | -0.00009065 | 0.1106 | 0.07724 | 0.05633 | 0.2373 | 2.537 | 2.02 | 0.1629 | 0.2769 | 1 | 1 | 0.07095 | 0.2885 | 0.1507 | 0.1776 | 0.7221 | 0.3771 | json |
| t12_x12_u6_b29 | 12 | 12 | 6 | 29 | ![]() |
nrm(mlt(D,eql(D,P))) | 30107 | 97933259 | o1(o2(x,o2(x,x))) | true | 70703 | 70703 | -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_u6_b30 | 12 | 12 | 6 | 30 | ![]() |
nrm(mlt(D,min(D,P))) | 30108 | 97933260 | o1(o2(x,o2(x,x))) | true | 70711 | 70711 | 0.1756 | 0.7357 | 0.4426 | 0.282 | 0.5311 | -1 | 1 | 2 | 1 | 4.548 | 0.06043 | 0.008926 | 0.1453 | 0.7426 | 1 | -0.0000235 | 0.09739 | 0.1111 | 0.04825 | 0.2197 | 1.512 | 2.414 | 0.2459 | 0.3453 | 1 | 1 | 0.09037 | 0.3855 | 0.08408 | 0.3205 | 1.367 | 0.2982 | json |
| t12_x12_u6_b31 | 12 | 12 | 6 | 31 | ![]() |
nrm(mlt(D,dot(D,P))) | 30109 | 97933261 | o1(o2(x,o2(x,x))) | true | 70719 | 70719 | -0.03467 | 0.4827 | 0.5405 | 0.4103 | 0.6405 | -1 | 0.9978 | 1.998 | 1 | 4.774 | 0.1008 | 0.1209 | 0.2429 | -0.09077 | 1 | 1.089e-10 | 0.897 | 0.3446 | 0.1627 | 0.4034 | 1.661 | 2.818 | 0.5403 | 2.186 | 1 | 1 | 0.1986 | 0.4829 | 0.2313 | 0.4841 | 1.177 | 0.5636 | json |
| t12_x12_u6_b32 | 12 | 12 | 6 | 32 | ![]() |
nrm(mlt(D,dst(D,P))) | 30110 | 97933262 | o1(o2(x,o2(x,x))) | true | 70727 | 70727 | 1.651e-9 | 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 | 3.801e-10 | 0.04219 | 0.07112 | 0.01975 | 0.1405 | 0.8875 | 1.466 | 0.2401 | 0.226 | 1 | 1 | 0.07517 | 0.4029 | 1.996e-15 | 0.4025 | 2.158 | 1.069e-14 | json |
| t12_x12_u6_b33 | 12 | 12 | 6 | 33 | ![]() |
nrm(div(D,add(D,P))) | 30111 | 97933263 | o1(o2(x,o2(x,x))) | true | 70735 | 70735 | -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_u6_b34 | 12 | 12 | 6 | 34 | ![]() |
nrm(div(D,sub(D,P))) | 30112 | 97933264 | o1(o2(x,o2(x,x))) | true | 70743 | 70743 | -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_u6_b35 | 12 | 12 | 6 | 35 | ![]() |
nrm(div(D,mlt(D,P))) | 30113 | 97933265 | o1(o2(x,o2(x,x))) | true | 70751 | 70751 | -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_u6_b36 | 12 | 12 | 6 | 36 | ![]() |
nrm(div(D,div(D,P))) | 30114 | 97933266 | o1(o2(x,o2(x,x))) | true | 70759 | 70759 | -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_u6_b37 | 12 | 12 | 6 | 37 | ![]() |
nrm(div(D,pow(D,P))) | 30115 | 97933267 | o1(o2(x,o2(x,x))) | true | 70767 | 70767 | -0.9966 | 0.001801 | 0.9974 | 0.003642 | 0.06035 | -1 | 0.9794 | 1.979 | 1 | 0.05322 | 0.000492 | 0.0006931 | 0.001387 | -0.1697 | 1 | -6.758e-11 | 0.002548 | 0.002023 | 0.001182 | 0.03438 | 24.79 | 1.979 | 0.3254 | 0.6996 | 1 | 1 | 0.002103 | 0.008031 | 0.01326 | 0.5776 | 2.205 | 3.64 | json |
| t12_x12_u6_b38 | 12 | 12 | 6 | 38 | ![]() |
nrm(div(D,mod(D,P))) | 30116 | 97933268 | o1(o2(x,o2(x,x))) | true | 70775 | 70775 | -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_u6_b39 | 12 | 12 | 6 | 39 | ![]() |
nrm(div(D,lrg(D,P))) | 30117 | 97933269 | o1(o2(x,o2(x,x))) | true | 70783 | 70783 | -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_u6_b40 | 12 | 12 | 6 | 40 | ![]() |
nrm(div(D,eql(D,P))) | 30118 | 97933270 | o1(o2(x,o2(x,x))) | true | 70791 | 70791 | -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_u6_b41 | 12 | 12 | 6 | 41 | ![]() |
nrm(div(D,min(D,P))) | 30119 | 97933271 | o1(o2(x,o2(x,x))) | true | 70799 | 70799 | -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_u6_b42 | 12 | 12 | 6 | 42 | ![]() |
nrm(div(D,dot(D,P))) | 30120 | 97933272 | o1(o2(x,o2(x,x))) | true | 70807 | 70807 | -0.03467 | 0.4827 | 0.5405 | 0.4103 | 0.6405 | -1 | 0.9978 | 1.998 | 1 | 4.774 | 0.1008 | 0.1209 | 0.2429 | -0.09077 | 1 | -6.72e-10 | 0.897 | 0.3446 | 0.1627 | 0.4034 | 1.661 | 2.818 | 0.5403 | 2.186 | 1 | 1 | 0.1986 | 0.4829 | 0.2313 | 0.4841 | 1.177 | 0.5636 | json |
| t12_x12_u6_b43 | 12 | 12 | 6 | 43 | ![]() |
nrm(div(D,dst(D,P))) | 30121 | 97933273 | o1(o2(x,o2(x,x))) | true | 70815 | 70815 | 1.936e-9 | 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 | 9.203e-10 | 0.04219 | 0.07112 | 0.01975 | 0.1405 | 0.8875 | 1.466 | 0.2401 | 0.226 | 1 | 1 | 0.07517 | 0.4029 | 1.975e-15 | 0.4025 | 2.158 | 1.058e-14 | json |
| t12_x12_u6_b44 | 12 | 12 | 6 | 44 | ![]() |
nrm(pow(D,add(D,P))) | 30122 | 97933274 | o1(o2(x,o2(x,x))) | true | 70823 | 70823 | -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_u6_b45 | 12 | 12 | 6 | 45 | ![]() |
nrm(pow(D,sub(D,P))) | 30123 | 97933275 | o1(o2(x,o2(x,x))) | true | 70831 | 70831 | -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_u6_b46 | 12 | 12 | 6 | 46 | ![]() |
nrm(pow(D,mlt(D,P))) | 30124 | 97933276 | o1(o2(x,o2(x,x))) | true | 70839 | 70839 | -0.9937 | 0.003906 | 0.9984 | 0.009986 | 0.09993 | -1 | 0.693 | 1.693 | 1 | 0.04355 | 0.001238 | 0.001326 | 0.00165 | -0.03438 | 1 | -2.253e-11 | 0.005428 | 0.003228 | 0.002559 | 0.05059 | 30.66 | 2.231 | 0.2567 | 0.5436 | 1 | 1 | 0.004523 | 0.0182 | 0.03636 | 0.453 | 1.822 | 3.641 | json |
| t12_x12_u6_b47 | 12 | 12 | 6 | 47 | ![]() |
nrm(pow(D,div(D,P))) | 30125 | 97933277 | o1(o2(x,o2(x,x))) | true | 70847 | 70847 | -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_u6_b48 | 12 | 12 | 6 | 48 | ![]() |
nrm(pow(D,pow(D,P))) | 30126 | 97933278 | o1(o2(x,o2(x,x))) | true | 70855 | 70855 | -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_u6_b49 | 12 | 12 | 6 | 49 | ![]() |
nrm(pow(D,mod(D,P))) | 30127 | 97933279 | o1(o2(x,o2(x,x))) | true | 70863 | 70863 | -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_u6_b50 | 12 | 12 | 6 | 50 | ![]() |
nrm(pow(D,lrg(D,P))) | 30128 | 97933280 | o1(o2(x,o2(x,x))) | true | 70871 | 70871 | -0.5106 | 0.3164 | 0.8566 | 0.5223 | 0.7227 | -1 | 0.7069 | 1.707 | 1 | 1.416 | 0.003196 | 0.006225 | 0.01054 | -0.3215 | 1 | -4.493e-9 | 0.01854 | 0.01552 | 0.009315 | 0.09652 | 9.157 | 1.707 | 0.01804 | 0.0355 | 1 | 1 | 0.01309 | 0.05615 | 0.225 | 0.02506 | 0.1075 | 0.4307 | json |
| t12_x12_u6_b51 | 12 | 12 | 6 | 51 | ![]() |
nrm(pow(D,eql(D,P))) | 30129 | 97933281 | o1(o2(x,o2(x,x))) | true | 70879 | 70879 | 0.707 | 1 | 0.707 | 5.093e-9 | 0.00007136 | 0.7071 | 0.7071 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t12_x12_u6_b52 | 12 | 12 | 6 | 52 | ![]() |
nrm(pow(D,min(D,P))) | 30130 | 97933282 | o1(o2(x,o2(x,x))) | true | 70887 | 70887 | -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_u6_b53 | 12 | 12 | 6 | 53 | ![]() |
nrm(pow(D,dot(D,P))) | 30131 | 97933283 | o1(o2(x,o2(x,x))) | true | 70895 | 70895 | -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_u6_b54 | 12 | 12 | 6 | 54 | ![]() |
nrm(pow(D,dst(D,P))) | 30132 | 97933284 | o1(o2(x,o2(x,x))) | true | 70903 | 70903 | -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_u6_b55 | 12 | 12 | 6 | 55 | ![]() |
nrm(mod(D,add(D,P))) | 30133 | 97933285 | o1(o2(x,o2(x,x))) | true | 70911 | 70911 | -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_u6_b56 | 12 | 12 | 6 | 56 | ![]() |
nrm(mod(D,sub(D,P))) | 30134 | 97933286 | o1(o2(x,o2(x,x))) | true | 70919 | 70919 | -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_u6_b57 | 12 | 12 | 6 | 57 | ![]() |
nrm(mod(D,mlt(D,P))) | 30135 | 97933287 | o1(o2(x,o2(x,x))) | true | 70927 | 70927 | -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_u6_b58 | 12 | 12 | 6 | 58 | ![]() |
nrm(mod(D,div(D,P))) | 30136 | 97933288 | o1(o2(x,o2(x,x))) | true | 70935 | 70935 | -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_u6_b59 | 12 | 12 | 6 | 59 | ![]() |
nrm(mod(D,pow(D,P))) | 30137 | 97933289 | o1(o2(x,o2(x,x))) | true | 70943 | 70943 | -0.9961 | 0.001953 | 0.9975 | 0.004613 | 0.06792 | -1 | 0.9346 | 1.935 | 1 | 0.0547 | 0.0006228 | 0.0007774 | 0.001523 | -0.1104 | 1 | -3.379e-11 | 0.002944 | 0.002184 | 0.001397 | 0.03737 | 24.55 | 1.935 | 0.3036 | 0.6381 | 1 | 1 | 0.002555 | 0.009856 | 0.01683 | 0.554 | 2.137 | 3.649 | json |
| t12_x12_u6_b60 | 12 | 12 | 6 | 60 | ![]() |
nrm(mod(D,mod(D,P))) | 30138 | 97933290 | o1(o2(x,o2(x,x))) | true | 70951 | 70951 | -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_u6_b61 | 12 | 12 | 6 | 61 | ![]() |
nrm(mod(D,lrg(D,P))) | 30139 | 97933291 | o1(o2(x,o2(x,x))) | true | 70959 | 70959 | -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_u6_b62 | 12 | 12 | 6 | 62 | ![]() |
nrm(mod(D,eql(D,P))) | 30140 | 97933292 | o1(o2(x,o2(x,x))) | true | 70967 | 70967 | -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_u6_b63 | 12 | 12 | 6 | 63 | ![]() |
nrm(mod(D,min(D,P))) | 30141 | 97933293 | o1(o2(x,o2(x,x))) | true | 70975 | 70975 | -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_u6_b64 | 12 | 12 | 6 | 64 | ![]() |
nrm(mod(D,dot(D,P))) | 30142 | 97933294 | o1(o2(x,o2(x,x))) | true | 70983 | 70983 | -0.07733 | 0.4613 | 0.4242 | 0.2511 | 0.5011 | -1 | 0.9755 | 1.976 | 1 | 4.684 | 0.1705 | 0.1455 | 0.3313 | 0.07931 | 1 | -0.000126 | 1.522 | 0.5454 | 0.2062 | 0.4541 | 1.371 | 2.771 | 1.258 | 6.061 | 1 | 1 | 0.2392 | 0.5218 | 0.1982 | 0.9524 | 2.078 | 0.7893 | json |
| t12_x12_u6_b65 | 12 | 12 | 6 | 65 | ![]() |
nrm(mod(D,dst(D,P))) | 30143 | 97933295 | o1(o2(x,o2(x,x))) | true | 70991 | 70991 | 1.438e-9 | 0.5 | 0.3667 | 0.187 | 0.4325 | -0.9383 | 0.9383 | 1.877 | 1 | 4.565 | 0.03797 | 0.006988 | 0.1586 | 0.6891 | 1 | 5.463e-9 | 0.04253 | 0.07195 | 0.01979 | 0.1407 | 0.887 | 1.466 | 0.2404 | 0.2274 | 1 | 1 | 0.07539 | 0.4037 | 0.0002058 | 0.4031 | 2.159 | 0.001101 | json |
| t12_x12_u6_b66 | 12 | 12 | 6 | 66 | ![]() |
nrm(lrg(D,add(D,P))) | 30144 | 97933296 | o1(o2(x,o2(x,x))) | true | 70999 | 70999 | 0.07069 | 0.4648 | 0.7035 | 0.6513 | 0.807 | -1 | 1 | 2 | 1 | 2.201 | 0.008882 | 0.002477 | 0.008477 | 0.5639 | 1 | 1.089e-8 | 0.02264 | 0.01392 | 0.01128 | 0.1062 | 12.53 | 2 | 0.01744 | 0.03476 | 1 | 1 | 0.01575 | 0.06508 | 0.2668 | 0.02419 | 0.09992 | 0.4096 | json |
| t12_x12_u6_b67 | 12 | 12 | 6 | 67 | ![]() |
nrm(lrg(D,sub(D,P))) | 30145 | 97933297 | o1(o2(x,o2(x,x))) | true | 71007 | 71007 | 0.07069 | 0.4648 | 0.7035 | 0.6514 | 0.8071 | -1 | 1 | 2 | 1 | 2.201 | 0.008882 | 0.002477 | 0.008477 | 0.5639 | 1 | 9.49e-9 | 0.02263 | 0.01392 | 0.01128 | 0.1062 | 12.53 | 2.414 | 0.01744 | 0.03475 | 1 | 1 | 0.01575 | 0.06508 | 0.2668 | 0.02419 | 0.09991 | 0.4096 | json |
| t12_x12_u6_b68 | 12 | 12 | 6 | 68 | ![]() |
nrm(lrg(D,mlt(D,P))) | 30146 | 97933298 | o1(o2(x,o2(x,x))) | true | 71015 | 71015 | -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_u6_b69 | 12 | 12 | 6 | 69 | ![]() |
nrm(lrg(D,div(D,P))) | 30147 | 97933299 | o1(o2(x,o2(x,x))) | true | 71023 | 71023 | 0.3029 | 0.875 | 0.3029 | 0.06831 | 0.2614 | 0 | 0.7071 | 0.7071 | 1 | 3.177 | 0.02526 | 0.0003834 | 0.07226 | 0.9701 | 1 | 3.845e-9 | 0.04814 | 0.08487 | 0.02043 | 0.1429 | 1.978 | 0.7189 | 0.3754 | 0.7047 | 1 | 1 | 0.02697 | 0.09554 | 0.04633 | 0.3948 | 1.399 | 0.6782 | json |
| t12_x12_u6_b70 | 12 | 12 | 6 | 70 | ![]() |
nrm(lrg(D,pow(D,P))) | 30148 | 97933300 | o1(o2(x,o2(x,x))) | true | 71031 | 71031 | -0.01313 | 0.5859 | 0.7681 | 0.6819 | 0.8258 | -1 | 1 | 2 | 1 | 2.826 | 0.01521 | 0.005652 | 0.03302 | 0.4581 | 1 | -0.00001388 | 0.0408 | 0.04233 | 0.01977 | 0.1406 | 4.258 | 2.414 | 0.03059 | 0.05983 | 1 | 1 | 0.02599 | 0.1016 | 0.3117 | 0.03811 | 0.149 | 0.4571 | json |
| t12_x12_u6_b71 | 12 | 12 | 6 | 71 | ![]() |
nrm(lrg(D,mod(D,P))) | 30149 | 97933301 | o1(o2(x,o2(x,x))) | true | 71039 | 71039 | 0.04369 | 0.125 | 0.04369 | 0.02206 | 0.1485 | 0 | 0.7069 | 0.7069 | 1 | 0.7586 | 0.0003453 | 5.912e-7 | 0.005561 | 0.9966 | 1 | 2.138e-9 | 0.0000159 | 0.001297 | 0.0003148 | 0.01774 | 3.19 | 0.08265 | 0.01568 | 0.0007207 | 1 | 1 | 0.000901 | 0.01172 | 0.03212 | 0.04083 | 0.5313 | 1.456 | json |
| t12_x12_u6_b72 | 12 | 12 | 6 | 72 | ![]() |
nrm(lrg(D,lrg(D,P))) | 30150 | 97933302 | o1(o2(x,o2(x,x))) | true | 71047 | 71047 | -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_u6_b73 | 12 | 12 | 6 | 73 | ![]() |
nrm(lrg(D,eql(D,P))) | 30151 | 97933303 | o1(o2(x,o2(x,x))) | true | 71055 | 71055 | -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_u6_b74 | 12 | 12 | 6 | 74 | ![]() |
nrm(lrg(D,min(D,P))) | 30152 | 97933304 | o1(o2(x,o2(x,x))) | true | 71063 | 71063 | 0.07635 | 0.4922 | 0.7092 | 0.6489 | 0.8056 | -1 | 1 | 2 | 1 | 2.363 | 0.009685 | 0.002866 | 0.01196 | 0.5433 | 1 | 1.059e-8 | 0.02489 | 0.01786 | 0.0124 | 0.1114 | 9.309 | 2.021 | 0.01934 | 0.03836 | 1 | 1 | 0.0174 | 0.07064 | 0.267 | 0.02681 | 0.1089 | 0.4115 | json |
| t12_x12_u6_b75 | 12 | 12 | 6 | 75 | ![]() |
nrm(lrg(D,dot(D,P))) | 30153 | 97933305 | o1(o2(x,o2(x,x))) | true | 71071 | 71071 | -0.966 | 0.02341 | 0.9872 | 0.04968 | 0.2229 | -1 | 0.9996 | 2 | 1 | 0.2504 | 0.01373 | 0.01531 | 0.01988 | -0.05446 | 1 | 1.126e-11 | 0.09233 | 0.03968 | 0.02863 | 0.1692 | 8.509 | 2.818 | 0.5845 | 1.858 | 1 | 1 | 0.03588 | 0.0842 | 0.133 | 0.7222 | 1.695 | 2.677 | json |
| t12_x12_u6_b76 | 12 | 12 | 6 | 76 | ![]() |
nrm(lrg(D,dst(D,P))) | 30154 | 97933306 | o1(o2(x,o2(x,x))) | true | 71079 | 71079 | -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_u6_b77 | 12 | 12 | 6 | 77 | ![]() |
nrm(eql(D,add(D,P))) | 30155 | 97933307 | o1(o2(x,o2(x,x))) | true | 71087 | 71087 | 0.04369 | 0.125 | 0.04369 | 0.02206 | 0.1485 | 0 | 0.7069 | 0.7069 | 1 | 0.7586 | 0.0003453 | 5.912e-7 | 0.005561 | 0.9966 | 1 | 2.138e-9 | 0.0000159 | 0.001297 | 0.0003148 | 0.01774 | 3.19 | 0.08265 | 0.01568 | 0.0007207 | 1 | 1 | 0.000901 | 0.01172 | 0.03212 | 0.04083 | 0.5313 | 1.456 | json |
| t12_x12_u6_b78 | 12 | 12 | 6 | 78 | ![]() |
nrm(eql(D,sub(D,P))) | 30156 | 97933308 | o1(o2(x,o2(x,x))) | true | 71095 | 71095 | 0.04369 | 0.125 | 0.04369 | 0.02206 | 0.1485 | 0 | 0.7069 | 0.7069 | 1 | 0.7586 | 0.0003453 | 5.912e-7 | 0.005561 | 0.9966 | 1 | 2.138e-9 | 0.0000159 | 0.001297 | 0.0003148 | 0.01774 | 3.19 | 0.08265 | 0.01568 | 0.0007207 | 1 | 1 | 0.000901 | 0.01172 | 0.03212 | 0.04083 | 0.5313 | 1.456 | json |
| t12_x12_u6_b79 | 12 | 12 | 6 | 79 | ![]() |
nrm(eql(D,mlt(D,P))) | 30157 | 97933309 | o1(o2(x,o2(x,x))) | true | 71103 | 71103 | 0.04369 | 0.125 | 0.04369 | 0.02206 | 0.1485 | 0 | 0.7069 | 0.7069 | 1 | 0.7586 | 0.0003453 | 5.912e-7 | 0.005561 | 0.9966 | 1 | 2.138e-9 | 0.0000159 | 0.001297 | 0.0003148 | 0.01774 | 3.19 | 0.08265 | 0.01568 | 0.0007207 | 1 | 1 | 0.000901 | 0.01172 | 0.03212 | 0.04083 | 0.5313 | 1.456 | json |
| t12_x12_u6_b80 | 12 | 12 | 6 | 80 | ![]() |
nrm(eql(D,div(D,P))) | 30158 | 97933310 | o1(o2(x,o2(x,x))) | true | 71111 | 71111 | -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_u6_b81 | 12 | 12 | 6 | 81 | ![]() |
nrm(eql(D,pow(D,P))) | 30159 | 97933311 | o1(o2(x,o2(x,x))) | true | 71119 | 71119 | -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_u6_b82 | 12 | 12 | 6 | 82 | ![]() |
nrm(eql(D,mod(D,P))) | 30160 | 97933312 | o1(o2(x,o2(x,x))) | true | 71127 | 71127 | 0.6577 | 0.9844 | 0.689 | 0.06821 | 0.2612 | -1 | 0.9999 | 2 | 1 | 1.376 | 0.003783 | 0.001971 | 0.01011 | 0.315 | 1 | -1.223e-8 | 0.01118 | 0.00807 | 0.005647 | 0.07515 | 7.431 | 2.414 | 0.08436 | 0.1638 | 1 | 1 | 0.01039 | 0.04968 | 0.1839 | 0.1523 | 0.7283 | 2.697 | json |
| t12_x12_u6_b83 | 12 | 12 | 6 | 83 | ![]() |
nrm(eql(D,lrg(D,P))) | 30161 | 97933313 | o1(o2(x,o2(x,x))) | true | 71135 | 71135 | 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_u6_b84 | 12 | 12 | 6 | 84 | ![]() |
nrm(eql(D,eql(D,P))) | 30162 | 97933314 | o1(o2(x,o2(x,x))) | true | 71143 | 71143 | -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_u6_b85 | 12 | 12 | 6 | 85 | ![]() |
nrm(eql(D,min(D,P))) | 30163 | 97933315 | o1(o2(x,o2(x,x))) | true | 71151 | 71151 | 0.3212 | 0.5625 | 0.3212 | 0.09942 | 0.3153 | 0 | 0.7071 | 0.7071 | 1 | 2.05 | 0.001944 | 0.00003823 | 0.008353 | 0.9614 | 1 | -9.55e-11 | 0.003427 | 0.006894 | 0.001912 | 0.04373 | 5.235 | 0.7067 | 0.01994 | 0.03447 | 1 | 1 | 0.002987 | 0.01377 | 0.02801 | 0.03004 | 0.1385 | 0.2817 | json |
| t12_x12_u6_b86 | 12 | 12 | 6 | 86 | ![]() |
nrm(eql(D,dot(D,P))) | 30164 | 97933316 | o1(o2(x,o2(x,x))) | true | 71159 | 71159 | -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_u6_b87 | 12 | 12 | 6 | 87 | ![]() |
nrm(eql(D,dst(D,P))) | 30165 | 97933317 | o1(o2(x,o2(x,x))) | true | 71167 | 71167 | -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_u6_b88 | 12 | 12 | 6 | 88 | ![]() |
nrm(min(D,add(D,P))) | 30166 | 97933318 | o1(o2(x,o2(x,x))) | true | 71175 | 71175 | -0.4033 | 0.25 | 0.5093 | 0.2491 | 0.4991 | -1 | 0.9348 | 1.935 | 1 | 4.023 | 0.01082 | 0.002024 | 0.05093 | 0.6849 | 1 | 0.0002307 | 0.01197 | 0.02153 | 0.01025 | 0.1012 | 1.988 | 1.467 | 0.05155 | 0.04804 | 1 | 1 | 0.02301 | 0.1314 | 0.07445 | 0.09238 | 0.5276 | 0.2989 | json |
| t12_x12_u6_b89 | 12 | 12 | 6 | 89 | ![]() |
nrm(min(D,sub(D,P))) | 30167 | 97933319 | o1(o2(x,o2(x,x))) | true | 71183 | 71183 | -0.3788 | 0.2754 | 0.4971 | 0.2529 | 0.5029 | -1 | 0.9346 | 1.935 | 1 | 4.119 | 0.01122 | 0.002011 | 0.05414 | 0.6961 | 1 | -0.0002423 | 0.01204 | 0.02324 | 0.0103 | 0.1015 | 1.874 | 1.466 | 0.05231 | 0.04762 | 1 | 1 | 0.02305 | 0.1301 | 0.07258 | 0.09113 | 0.5145 | 0.287 | json |
| t12_x12_u6_b90 | 12 | 12 | 6 | 90 | ![]() |
nrm(min(D,mlt(D,P))) | 30168 | 97933320 | o1(o2(x,o2(x,x))) | true | 71191 | 71191 | -0.3914 | 0.1947 | 0.5051 | 0.2007 | 0.448 | -1 | 0.9991 | 1.999 | 1 | 4.568 | 0.03001 | 0.009004 | 0.1336 | 0.5384 | 1 | 0.0000129 | 0.04672 | 0.08423 | 0.02116 | 0.1455 | 1.089 | 1.999 | 0.1943 | 0.2327 | 1 | 1 | 0.05892 | 0.2856 | 0.05263 | 0.2935 | 1.423 | 0.2622 | json |
| t12_x12_u6_b91 | 12 | 12 | 6 | 91 | ![]() |
nrm(min(D,div(D,P))) | 30169 | 97933321 | o1(o2(x,o2(x,x))) | true | 71199 | 71199 | -0.3653 | 0.2194 | 0.5024 | 0.2211 | 0.4702 | -1 | 0.9914 | 1.991 | 1 | 4.588 | 0.03602 | 0.0103 | 0.1387 | 0.5551 | 1 | 0.0004753 | 0.0615 | 0.09793 | 0.02708 | 0.1646 | 1.186 | 1.989 | 0.2095 | 0.2782 | 1 | 1 | 0.06787 | 0.304 | 0.1071 | 0.307 | 1.375 | 0.4846 | json |
| t12_x12_u6_b92 | 12 | 12 | 6 | 92 | ![]() |
nrm(min(D,pow(D,P))) | 30170 | 97933322 | o1(o2(x,o2(x,x))) | true | 71207 | 71207 | -0.08845 | 0.3652 | 0.3752 | 0.2008 | 0.4481 | -0.9991 | 0.9991 | 1.998 | 1 | 4.726 | 0.04969 | 0.008239 | 0.1521 | 0.7156 | 1 | -0.00004838 | 0.07979 | 0.09654 | 0.03478 | 0.1865 | 1.226 | 1.998 | 0.2885 | 0.3973 | 1 | 1 | 0.07983 | 0.3807 | 0.01328 | 0.3975 | 1.896 | 0.06615 | json |
| t12_x12_u6_b93 | 12 | 12 | 6 | 93 | ![]() |
nrm(min(D,mod(D,P))) | 30171 | 97933323 | o1(o2(x,o2(x,x))) | true | 71215 | 71215 | 1.394e-9 | 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.575e-9 | 0.04219 | 0.07112 | 0.01975 | 0.1405 | 0.8875 | 1.466 | 0.2401 | 0.226 | 1 | 1 | 0.07517 | 0.4029 | 0 | 0.4025 | 2.158 | 0 | json |
| t12_x12_u6_b94 | 12 | 12 | 6 | 94 | ![]() |
nrm(min(D,lrg(D,P))) | 30172 | 97933324 | o1(o2(x,o2(x,x))) | true | 71223 | 71223 | -0.2706 | 0.2813 | 0.5163 | 0.3038 | 0.5512 | -1 | 0.9991 | 1.999 | 1 | 4.468 | 0.04495 | 0.004818 | 0.1222 | 0.8064 | 1 | -0.00009325 | 0.07008 | 0.07826 | 0.03483 | 0.1866 | 1.527 | 1.998 | 0.1638 | 0.2307 | 1 | 1 | 0.06838 | 0.3195 | 0.0767 | 0.2251 | 1.052 | 0.2524 | json |
| t12_x12_u6_b95 | 12 | 12 | 6 | 95 | ![]() |
nrm(min(D,eql(D,P))) | 30173 | 97933325 | o1(o2(x,o2(x,x))) | true | 71231 | 71231 | -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_u6_b96 | 12 | 12 | 6 | 96 | ![]() |
nrm(min(D,min(D,P))) | 30174 | 97933326 | o1(o2(x,o2(x,x))) | true | 71239 | 71239 | -0.4195 | 0.2188 | 0.5161 | 0.2436 | 0.4936 | -1 | 0.9991 | 1.999 | 1 | 4.003 | 0.01269 | 0.002013 | 0.04969 | 0.7263 | 1 | 0.0001979 | 0.01707 | 0.02465 | 0.01224 | 0.1106 | 2.227 | 1.999 | 0.06037 | 0.07007 | 1 | 1 | 0.02459 | 0.1296 | 0.07302 | 0.1009 | 0.5321 | 0.2997 | json |
| t12_x12_u6_b97 | 12 | 12 | 6 | 97 | ![]() |
nrm(min(D,dot(D,P))) | 30175 | 97933327 | o1(o2(x,o2(x,x))) | true | 71247 | 71247 | -0.3262 | 0.2026 | 0.4746 | 0.1713 | 0.4139 | -1 | 0.9377 | 1.938 | 1 | 4.466 | 0.03884 | 0.03575 | 0.1489 | 0.04146 | 1 | 0.0005474 | 0.2304 | 0.1583 | 0.05241 | 0.2289 | 1.537 | 2.334 | 0.4353 | 1.345 | 1 | 1 | 0.08068 | 0.2827 | 0.06994 | 0.4709 | 1.65 | 0.4082 | json |
| t12_x12_u6_b98 | 12 | 12 | 6 | 98 | ![]() |
nrm(min(D,dst(D,P))) | 30176 | 97933328 | o1(o2(x,o2(x,x))) | true | 71255 | 71255 | -0.00001222 | 0.5 | 0.3663 | 0.1867 | 0.4321 | -0.9349 | 0.9347 | 1.87 | 1 | 4.563 | 0.03788 | 0.00695 | 0.1584 | 0.6899 | 1 | 5.5e-9 | 0.04219 | 0.07113 | 0.01975 | 0.1405 | 0.8874 | 1.466 | 0.2401 | 0.2259 | 1 | 1 | 0.07517 | 0.403 | 0.000001788 | 0.4026 | 2.158 | 0.000009577 | json |
| t12_x12_u6_b99 | 12 | 12 | 6 | 99 | ![]() |
nrm(dot(D,add(D,P))) | 30177 | 97933329 | o1(o2(x,o2(x,x))) | true | 71263 | 71263 | -0.01631 | 0.4806 | 0.3242 | 0.1356 | 0.3683 | -0.577 | 0.577 | 1.154 | 1 | 4.136 | 0.04485 | 0.04486 | 0.1662 | -0.00003613 | 1 | 0.001138 | 0.284 | 0.207 | 0.06208 | 0.2492 | 1.499 | 1.632 | 0.6614 | 2.094 | 1 | 1 | 0.09481 | 0.3063 | 0.08506 | 0.699 | 2.258 | 0.6272 | json |
| t12_x12_u6_b100 | 12 | 12 | 6 | 100 | ![]() |
nrm(dot(D,sub(D,P))) | 30178 | 97933330 | o1(o2(x,o2(x,x))) | true | 71271 | 71271 | 0.08993 | 0.5939 | 0.3418 | 0.1404 | 0.3748 | -0.577 | 0.5774 | 1.154 | 1 | 4.114 | 0.04478 | 0.04478 | 0.1612 | -0.00002567 | 1 | -0.001155 | 0.2814 | 0.2035 | 0.06357 | 0.2521 | 1.564 | 1.632 | 0.6377 | 2.004 | 1 | 1 | 0.09389 | 0.3092 | 0.09273 | 0.6686 | 2.202 | 0.6602 | json |
| t12_x12_u6_b101 | 12 | 12 | 6 | 101 | ![]() |
nrm(dot(D,mlt(D,P))) | 30179 | 97933331 | o1(o2(x,o2(x,x))) | true | 71279 | 71279 | -0.02589 | 0.4871 | 0.5556 | 0.3201 | 0.5658 | -1 | 0.5774 | 1.577 | 1 | 2.461 | 0.05803 | 0.05803 | 0.1088 | 0.000002054 | 1 | 0.00006299 | 0.4876 | 0.2244 | 0.1042 | 0.3228 | 2.967 | 2.231 | 0.3626 | 1.523 | 1 | 1 | 0.1047 | 0.2405 | 0.1716 | 0.3272 | 0.7514 | 0.5359 | json |
| t12_x12_u6_b102 | 12 | 12 | 6 | 102 | ![]() |
nrm(dot(D,div(D,P))) | 30180 | 97933332 | o1(o2(x,o2(x,x))) | true | 71287 | 71287 | -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_u6_b103 | 12 | 12 | 6 | 103 | ![]() |
nrm(dot(D,pow(D,P))) | 30181 | 97933333 | o1(o2(x,o2(x,x))) | true | 71295 | 71295 | -0.995 | 0.003052 | 0.9977 | 0.006938 | 0.0833 | -1 | 0.5774 | 1.577 | 1 | 0.05102 | 0.0009381 | 0.0009381 | 0.00151 | 6.205e-8 | 1 | -3.004e-11 | 0.003959 | 0.002646 | 0.001873 | 0.04327 | 28.67 | 1.577 | 0.2704 | 0.5705 | 1 | 1 | 0.003337 | 0.01353 | 0.02527 | 0.481 | 1.95 | 3.643 | json |
| t12_x12_u6_b104 | 12 | 12 | 6 | 104 | ![]() |
nrm(dot(D,mod(D,P))) | 30182 | 97933334 | o1(o2(x,o2(x,x))) | true | 71303 | 71303 | -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_u6_b105 | 12 | 12 | 6 | 105 | ![]() |
nrm(dot(D,lrg(D,P))) | 30183 | 97933335 | o1(o2(x,o2(x,x))) | true | 71311 | 71311 | -0.321 | 0.3478 | 0.5745 | 0.3401 | 0.5831 | -1 | 0.577 | 1.577 | 1 | 3.652 | 0.06883 | 0.06884 | 0.1393 | -0.00001358 | 1 | -0.00007428 | 0.6297 | 0.2323 | 0.1183 | 0.3439 | 2.468 | 2.23 | 0.4048 | 1.852 | 1 | 1 | 0.1012 | 0.2373 | 0.1387 | 0.2976 | 0.6979 | 0.4079 | json |
| t12_x12_u6_b106 | 12 | 12 | 6 | 106 | ![]() |
nrm(dot(D,eql(D,P))) | 30184 | 97933336 | o1(o2(x,o2(x,x))) | true | 71319 | 71319 | -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_u6_b107 | 12 | 12 | 6 | 107 | ![]() |
nrm(dot(D,min(D,P))) | 30185 | 97933337 | o1(o2(x,o2(x,x))) | true | 71327 | 71327 | 0.1424 | 0.6186 | 0.4222 | 0.1926 | 0.4388 | -1 | 0.5774 | 1.577 | 1 | 3.596 | 0.0385 | 0.0385 | 0.1209 | 0.00002574 | 1 | 0.0001553 | 0.2368 | 0.1553 | 0.06239 | 0.2498 | 2.066 | 2.231 | 0.3998 | 1.23 | 1 | 1 | 0.07676 | 0.2484 | 0.08871 | 0.3986 | 1.29 | 0.4606 | json |
| t12_x12_u6_b108 | 12 | 12 | 6 | 108 | ![]() |
nrm(dot(D,dot(D,P))) | 30186 | 97933338 | o1(o2(x,o2(x,x))) | true | 71335 | 71335 | -0.08936 | 0.4553 | 0.5395 | 0.3217 | 0.5671 | -1 | 0.5774 | 1.577 | 1 | 3.375 | 0.2012 | 0.2011 | 0.2881 | 0.00001441 | 1 | 0.00006299 | 2.062 | 0.6773 | 0.3193 | 0.5651 | 1.961 | 2.231 | 1.251 | 6.411 | 1 | 1 | 0.2714 | 0.4544 | 0.1646 | 0.8438 | 1.413 | 0.5116 | json |
| t12_x12_u6_b109 | 12 | 12 | 6 | 109 | ![]() |
nrm(dot(D,dst(D,P))) | 30187 | 97933339 | o1(o2(x,o2(x,x))) | true | 71343 | 71343 | -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.00006299 | 1.61 | 0.5182 | 0.2355 | 0.4852 | 1.831 | 2.224 | 1.868 | 9.843 | 1 | 1 | 0.2088 | 0.4196 | 8.704e-16 | 1.276 | 2.565 | 5.32e-15 | json |
| t12_x12_u6_b110 | 12 | 12 | 6 | 110 | ![]() |
nrm(dst(D,add(D,P))) | 30188 | 97933340 | o1(o2(x,o2(x,x))) | true | 71351 | 71351 | 0.5531 | 0.9844 | 0.5843 | 0.03822 | 0.1955 | -1 | 0.5774 | 1.577 | 1 | 0.1161 | 0.002507 | 0.002507 | 0.003165 | 0 | 1 | -8.222e-10 | 0.01034 | 0.006359 | 0.005001 | 0.07072 | 22.34 | 2.231 | 0.1312 | 0.2706 | 1 | 1 | 0.008822 | 0.03529 | 0.1411 | 0.2308 | 0.9232 | 3.693 | json |
| t12_x12_u6_b111 | 12 | 12 | 6 | 111 | ![]() |
nrm(dst(D,sub(D,P))) | 30189 | 97933341 | o1(o2(x,o2(x,x))) | true | 71359 | 71359 | 0.5531 | 0.9844 | 0.5843 | 0.03822 | 0.1955 | -1 | 0.5774 | 1.577 | 1 | 0.1161 | 0.002507 | 0.002507 | 0.003165 | 0 | 1 | -8.222e-10 | 0.01034 | 0.006359 | 0.005001 | 0.07072 | 22.34 | 2.231 | 0.1312 | 0.2706 | 1 | 1 | 0.008822 | 0.03529 | 0.1411 | 0.2308 | 0.9232 | 3.693 | json |
| t12_x12_u6_b112 | 12 | 12 | 6 | 112 | ![]() |
nrm(dst(D,mlt(D,P))) | 30190 | 97933342 | o1(o2(x,o2(x,x))) | true | 71367 | 71367 | 0.5531 | 0.9844 | 0.5843 | 0.03823 | 0.1955 | -1 | 0.5774 | 1.577 | 1 | 0.1161 | 0.002507 | 0.002507 | 0.003165 | 0 | 1 | -9.69e-9 | 0.01034 | 0.006359 | 0.005002 | 0.07072 | 22.35 | 2.231 | 0.1312 | 0.2706 | 1 | 1 | 0.008822 | 0.03529 | 0.1411 | 0.2308 | 0.923 | 3.692 | json |
| t12_x12_u6_b113 | 12 | 12 | 6 | 113 | ![]() |
nrm(dst(D,div(D,P))) | 30191 | 97933343 | o1(o2(x,o2(x,x))) | true | 71375 | 71375 | -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_u6_b114 | 12 | 12 | 6 | 114 | ![]() |
nrm(dst(D,pow(D,P))) | 30192 | 97933344 | o1(o2(x,o2(x,x))) | true | 71383 | 71383 | -0.9938 | 0.003906 | 0.9984 | 0.009693 | 0.09845 | -1 | 0.5774 | 1.577 | 1 | 0.03687 | 0.001254 | 0.001254 | 0.001575 | 0 | 1 | -4.505e-11 | 0.005328 | 0.003179 | 0.002504 | 0.05004 | 31.77 | 2.231 | 0.2587 | 0.5497 | 1 | 1 | 0.004411 | 0.01764 | 0.03529 | 0.4551 | 1.82 | 3.641 | json |
| t12_x12_u6_b115 | 12 | 12 | 6 | 115 | ![]() |
nrm(dst(D,mod(D,P))) | 30193 | 97933345 | o1(o2(x,o2(x,x))) | true | 71391 | 71391 | -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_u6_b116 | 12 | 12 | 6 | 116 | ![]() |
nrm(dst(D,lrg(D,P))) | 30194 | 97933346 | o1(o2(x,o2(x,x))) | true | 71399 | 71399 | 0.5777 | 1 | 0.5777 | 1.421e-7 | 0.0003769 | 0.5774 | 0.5774 | 1.192e-7 | 1 | 0 | 5.636e-16 | 5.54e-16 | 1.566e-8 | 0.000009678 | 0 | -1.035e-8 | 5.149e-15 | 2.16e-8 | 8.729e-16 | 2.954e-8 | 1.887 | 1.333e-7 | 7.866e-9 | 3.624e-8 | 1 | 1 | 5.601e-16 | 6.309e-16 | 1.319e-16 | 3.942e-9 | 4.44e-9 | 9.281e-10 | json |
| t12_x12_u6_b117 | 12 | 12 | 6 | 117 | ![]() |
nrm(dst(D,eql(D,P))) | 30195 | 97933347 | o1(o2(x,o2(x,x))) | true | 71407 | 71407 | 0.5777 | 1 | 0.5777 | 1.421e-7 | 0.0003769 | 0.5774 | 0.5774 | 1.192e-7 | 1 | 0 | 1.402e-15 | 1.321e-15 | 3.619e-8 | 0.00008056 | 0 | 1.09e-8 | 1.139e-14 | 4.779e-8 | 1.413e-15 | 3.759e-8 | 1.039 | 1.333e-7 | 1.916e-8 | 8.018e-8 | 1 | 1 | 1.584e-15 | 1.575e-15 | 0 | 1.115e-8 | 1.108e-8 | 0 | json |
| t12_x12_u6_b118 | 12 | 12 | 6 | 118 | ![]() |
nrm(dst(D,min(D,P))) | 30196 | 97933348 | o1(o2(x,o2(x,x))) | true | 71415 | 71415 | 0.07816 | 0.6836 | 0.7112 | 0.5382 | 0.7336 | -1 | 0.5774 | 1.577 | 1 | 0.9004 | 0.005563 | 0.005563 | 0.007054 | 0 | 1 | -4.34e-9 | 0.02233 | 0.01411 | 0.01108 | 0.1053 | 14.92 | 1.577 | 0.02067 | 0.04149 | 1 | 1 | 0.0153 | 0.0612 | 0.2448 | 0.02843 | 0.1137 | 0.4549 | json |
| t12_x12_u6_b119 | 12 | 12 | 6 | 119 | ![]() |
nrm(dst(D,dot(D,P))) | 30197 | 97933349 | o1(o2(x,o2(x,x))) | true | 71423 | 71423 | 0.5777 | 1 | 0.5777 | 1.421e-7 | 0.000377 | 0.5774 | 0.5774 | 1.192e-7 | 1 | 0 | 5.791e-16 | 5.808e-16 | 1.585e-8 | -0.000001678 | 0 | -8.605e-9 | 5.124e-15 | 2.142e-8 | 9.083e-16 | 3.014e-8 | 1.902 | 1.686e-7 | 8.163e-9 | 3.606e-8 | 1 | 1 | 6.136e-16 | 6.094e-16 | 6.023e-16 | 4.318e-9 | 4.289e-9 | 4.239e-9 | json |
| t12_x12_u6_b120 | 12 | 12 | 6 | 120 | ![]() |
nrm(dst(D,dst(D,P))) | 30198 | 97933350 | o1(o2(x,o2(x,x))) | true | 71431 | 71431 | 0.5777 | 1 | 0.5777 | 1.421e-7 | 0.000377 | 0.5774 | 0.5774 | 1.192e-7 | 1 | 0 | 5.005e-16 | 4.993e-16 | 1.362e-8 | 0.000001231 | 0 | -7.426e-9 | 4.381e-15 | 1.827e-8 | 8.136e-16 | 2.852e-8 | 2.094 | 1.686e-7 | 7.036e-9 | 3.083e-8 | 1 | 1 | 5.137e-16 | 5.164e-16 | 5.166e-16 | 3.615e-9 | 3.634e-9 | 3.635e-9 | json |
| t12_x13_u0_b0 | 12 | 13 | 0 | 0 | ![]() |
sqt(add(D,add(D,D))) | 30199 | 97972425 | o1(o2(x,o2(x,x))) | true | 71439 | 71439 | -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 |



































































































