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_x22_u6_b52 | 12 | 22 | 6 | 52 | ![]() |
nrm(pow(R,min(D,D))) | 38600 | 98337292 | o1(o2(x,o2(x,x))) | true | 138647 | 138647 | -0.9939 | 0.003906 | 0.9982 | 0.00938 | 0.09685 | -1 | 0.6343 | 1.634 | 1 | 0.04237 | 0.001203 | 0.001258 | 0.001602 | -0.02227 | 1 | -8.635e-11 | 0.005242 | 0.003164 | 0.002457 | 0.04957 | 30.94 | 2.237 | 0.2624 | 0.5588 | 1 | 1 | 0.004324 | 0.01707 | 0.03305 | 0.461 | 1.82 | 3.524 | json |
| t12_x22_u6_b53 | 12 | 22 | 6 | 53 | ![]() |
nrm(pow(R,dot(D,D))) | 38601 | 98337293 | o1(o2(x,o2(x,x))) | true | 138655 | 138655 | -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_x22_u6_b54 | 12 | 22 | 6 | 54 | ![]() |
nrm(pow(R,dst(D,D))) | 38602 | 98337294 | o1(o2(x,o2(x,x))) | true | 138663 | 138663 | 0.5777 | 1 | 0.5777 | 1.421e-7 | 0.000377 | 0.5774 | 0.5774 | 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_x22_u6_b55 | 12 | 22 | 6 | 55 | ![]() |
nrm(mod(R,add(D,D))) | 38603 | 98337295 | o1(o2(x,o2(x,x))) | true | 138671 | 138671 | -0.005746 | 0.4866 | 0.2645 | 0.1193 | 0.3454 | -0.9916 | 0.9929 | 1.985 | 1 | 4.474 | 0.03145 | 0.006123 | 0.1438 | 0.674 | 1 | 0.0001048 | 0.09063 | 0.1989 | 0.01689 | 0.13 | 0.9039 | 0.8227 | 0.315 | 0.7598 | 1 | 1 | 0.03027 | 0.1132 | 0.2154 | 0.2538 | 0.9488 | 1.806 | json |
| t12_x22_u6_b56 | 12 | 22 | 6 | 56 | ![]() |
nrm(mod(R,sub(D,D))) | 38604 | 98337296 | o1(o2(x,o2(x,x))) | true | 138679 | 138679 | -0.004333 | 0.4894 | 0.3952 | 0.209 | 0.4572 | -0.9488 | 0.9534 | 1.902 | 1 | 4.783 | 0.002736 | 0.002944 | 0.06188 | -0.03652 | 1 | -0.000006012 | 0.0003349 | 0.01431 | 0.001851 | 0.04303 | 0.6953 | 0.2114 | 0.02718 | 0.001602 | 1 | 1 | 0.01108 | 0.1426 | 0.3701 | 0.05303 | 0.6821 | 1.771 | json |
| t12_x22_u6_b57 | 12 | 22 | 6 | 57 | ![]() |
nrm(mod(R,mlt(D,D))) | 38605 | 98337297 | o1(o2(x,o2(x,x))) | true | 138687 | 138687 | -0.003613 | 0.4841 | 0.1003 | 0.02768 | 0.1664 | -0.9303 | 0.9455 | 1.876 | 1 | 3.148 | 0.01122 | 0.001015 | 0.07225 | 0.834 | 1 | -0.00003286 | 0.03213 | 0.1101 | 0.007015 | 0.08375 | 1.159 | 0.781 | 0.442 | 1.161 | 1 | 1 | 0.008851 | 0.03114 | 0.04931 | 0.3198 | 1.125 | 1.782 | json |
| t12_x22_u6_b58 | 12 | 22 | 6 | 58 | ![]() |
nrm(mod(R,div(D,D))) | 38606 | 98337298 | o1(o2(x,o2(x,x))) | true | 138695 | 138695 | -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_x22_u6_b59 | 12 | 22 | 6 | 59 | ![]() |
nrm(mod(R,pow(D,D))) | 38607 | 98337299 | o1(o2(x,o2(x,x))) | true | 138703 | 138703 | -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_x22_u6_b60 | 12 | 22 | 6 | 60 | ![]() |
nrm(mod(R,mod(D,D))) | 38608 | 98337300 | o1(o2(x,o2(x,x))) | true | 138711 | 138711 | -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_x22_u6_b61 | 12 | 22 | 6 | 61 | ![]() |
nrm(mod(R,lrg(D,D))) | 38609 | 98337301 | o1(o2(x,o2(x,x))) | true | 138719 | 138719 | -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_x22_u6_b62 | 12 | 22 | 6 | 62 | ![]() |
nrm(mod(R,eql(D,D))) | 38610 | 98337302 | o1(o2(x,o2(x,x))) | true | 138727 | 138727 | -0.004333 | 0.4894 | 0.3952 | 0.209 | 0.4572 | -0.9488 | 0.9534 | 1.902 | 1 | 4.783 | 0.002736 | 0.002944 | 0.06188 | -0.03652 | 1 | -0.000006012 | 0.0003349 | 0.01431 | 0.001851 | 0.04303 | 0.6953 | 0.2114 | 0.02718 | 0.001602 | 1 | 1 | 0.01108 | 0.1426 | 0.3701 | 0.05303 | 0.6821 | 1.771 | json |
| t12_x22_u6_b63 | 12 | 22 | 6 | 63 | ![]() |
nrm(mod(R,min(D,D))) | 38611 | 98337303 | o1(o2(x,o2(x,x))) | true | 138735 | 138735 | -0.009738 | 0.4824 | 0.1955 | 0.0729 | 0.27 | -0.9733 | 0.9736 | 1.947 | 1 | 4.079 | 0.02383 | 0.003682 | 0.1242 | 0.7323 | 1 | -0.00012 | 0.07197 | 0.1868 | 0.01208 | 0.1099 | 0.885 | 0.7179 | 0.3774 | 0.9873 | 1 | 1 | 0.01971 | 0.06925 | 0.1318 | 0.2704 | 0.95 | 1.808 | json |
| t12_x22_u6_b64 | 12 | 22 | 6 | 64 | ![]() |
nrm(mod(R,dot(D,D))) | 38612 | 98337304 | o1(o2(x,o2(x,x))) | true | 138743 | 138743 | -0.01915 | 0.4804 | 0.3859 | 0.2045 | 0.4522 | -0.9979 | 0.9987 | 1.997 | 1 | 4.808 | 0.07443 | 0.07503 | 0.3297 | -0.003972 | 1 | -0.0001727 | 0.7092 | 0.6685 | 0.04079 | 0.202 | 0.6127 | 1.309 | 0.731 | 3.469 | 1 | 1 | 0.08745 | 0.1973 | 0.3878 | 0.4277 | 0.965 | 1.897 | json |
| t12_x22_u6_b65 | 12 | 22 | 6 | 65 | ![]() |
nrm(mod(R,dst(D,D))) | 38613 | 98337305 | o1(o2(x,o2(x,x))) | true | 138751 | 138751 | -0.004333 | 0.4894 | 0.3952 | 0.209 | 0.4572 | -0.9488 | 0.9534 | 1.902 | 1 | 4.783 | 0.002736 | 0.002944 | 0.06188 | -0.03652 | 1 | -0.000006012 | 0.0003349 | 0.01431 | 0.001851 | 0.04303 | 0.6953 | 0.2114 | 0.02718 | 0.001602 | 1 | 1 | 0.01108 | 0.1426 | 0.3701 | 0.05303 | 0.6821 | 1.771 | json |
| t12_x22_u6_b66 | 12 | 22 | 6 | 66 | ![]() |
nrm(lrg(R,add(D,D))) | 38614 | 98337306 | o1(o2(x,o2(x,x))) | true | 138759 | 138759 | -0.2168 | 0.5415 | 0.6722 | 0.5355 | 0.7318 | -1 | 0.9999 | 2 | 1 | 3.12 | 0.1143 | 0.08627 | 0.1658 | 0.1397 | 1 | 0.0003993 | 0.438 | 0.2888 | 0.1731 | 0.416 | 2.509 | 2.828 | 0.3746 | 0.818 | 1 | 1 | 0.1897 | 0.6652 | 1.003 | 0.3542 | 1.242 | 1.874 | json |
| t12_x22_u6_b67 | 12 | 22 | 6 | 67 | ![]() |
nrm(lrg(R,sub(D,D))) | 38615 | 98337307 | o1(o2(x,o2(x,x))) | true | 138767 | 138767 | -0.1387 | 0.5857 | 0.6426 | 0.5317 | 0.7292 | -1 | 0.9999 | 2 | 1 | 3.239 | 0.02739 | 0.0331 | 0.06437 | -0.09431 | 1 | -0.00001399 | 0.1213 | 0.08405 | 0.05635 | 0.2374 | 3.688 | 2.828 | 0.1138 | 0.2281 | 1 | 1 | 0.05291 | 0.2479 | 0.8352 | 0.0995 | 0.4663 | 1.571 | json |
| t12_x22_u6_b68 | 12 | 22 | 6 | 68 | ![]() |
nrm(lrg(R,mlt(D,D))) | 38616 | 98337308 | o1(o2(x,o2(x,x))) | true | 138775 | 138775 | -0.5137 | 0.3206 | 0.7893 | 0.4737 | 0.6883 | -1 | 0.9999 | 2 | 1 | 2.23 | 0.08531 | 0.08604 | 0.1273 | -0.004265 | 1 | -0.00156 | 0.3948 | 0.234 | 0.1552 | 0.3939 | 3.094 | 2.828 | 0.3617 | 0.8333 | 1 | 1 | 0.171 | 0.5285 | 0.9339 | 0.361 | 1.116 | 1.971 | json |
| t12_x22_u6_b69 | 12 | 22 | 6 | 69 | ![]() |
nrm(lrg(R,div(D,D))) | 38617 | 98337309 | o1(o2(x,o2(x,x))) | true | 138783 | 138783 | 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_x22_u6_b70 | 12 | 22 | 6 | 70 | ![]() |
nrm(lrg(R,pow(D,D))) | 38618 | 98337310 | o1(o2(x,o2(x,x))) | true | 138791 | 138791 | -0.6152 | 0.2468 | 0.8913 | 0.4774 | 0.691 | -1 | 0.9999 | 2 | 1 | 1.757 | 0.08853 | 0.08684 | 0.1185 | 0.009632 | 1 | -0.00001319 | 0.3908 | 0.217 | 0.1613 | 0.4016 | 3.388 | 2.827 | 0.3673 | 0.8186 | 1 | 1 | 0.1756 | 0.6156 | 0.9392 | 0.3678 | 1.289 | 1.967 | json |
| t12_x22_u6_b71 | 12 | 22 | 6 | 71 | ![]() |
nrm(lrg(R,mod(D,D))) | 38619 | 98337311 | o1(o2(x,o2(x,x))) | true | 138799 | 138799 | 0.3127 | 0.9082 | 0.3127 | 0.06485 | 0.2547 | 0 | 0.7071 | 0.7071 | 1 | 3.262 | 0.01983 | 0.001232 | 0.07482 | 0.883 | 1 | -0.0000791 | 0.05411 | 0.09967 | 0.01547 | 0.1244 | 1.662 | 0.716 | 0.3248 | 0.8343 | 1 | 1 | 0.0144 | 0.05327 | 0.1166 | 0.2221 | 0.8215 | 1.798 | json |
| t12_x22_u6_b72 | 12 | 22 | 6 | 72 | ![]() |
nrm(lrg(R,lrg(D,D))) | 38620 | 98337312 | o1(o2(x,o2(x,x))) | true | 138807 | 138807 | -0.1387 | 0.5857 | 0.6426 | 0.5317 | 0.7292 | -1 | 0.9999 | 2 | 1 | 3.239 | 0.02739 | 0.0331 | 0.06437 | -0.09431 | 1 | -0.00001399 | 0.1213 | 0.08405 | 0.05635 | 0.2374 | 3.688 | 2.828 | 0.1138 | 0.2281 | 1 | 1 | 0.05291 | 0.2479 | 0.8352 | 0.0995 | 0.4663 | 1.571 | json |
| t12_x22_u6_b73 | 12 | 22 | 6 | 73 | ![]() |
nrm(lrg(R,eql(D,D))) | 38621 | 98337313 | o1(o2(x,o2(x,x))) | true | 138815 | 138815 | -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_x22_u6_b74 | 12 | 22 | 6 | 74 | ![]() |
nrm(lrg(R,min(D,D))) | 38622 | 98337314 | o1(o2(x,o2(x,x))) | true | 138823 | 138823 | -0.1474 | 0.5755 | 0.6591 | 0.5444 | 0.7378 | -1 | 0.9999 | 2 | 1 | 3.232 | 0.1012 | 0.07859 | 0.1482 | 0.1257 | 1 | 0.0003638 | 0.3938 | 0.2561 | 0.1578 | 0.3972 | 2.68 | 2.828 | 0.3302 | 0.7234 | 1 | 1 | 0.1722 | 0.5872 | 0.9925 | 0.3164 | 1.079 | 1.823 | json |
| t12_x22_u6_b75 | 12 | 22 | 6 | 75 | ![]() |
nrm(lrg(R,dot(D,D))) | 38623 | 98337315 | o1(o2(x,o2(x,x))) | true | 138831 | 138831 | -0.9749 | 0.01685 | 0.9892 | 0.03567 | 0.1889 | -1 | 0.982 | 1.982 | 1 | 0.1986 | 0.02176 | 0.02087 | 0.0265 | 0.02087 | 1 | -0.00002178 | 0.167 | 0.0592 | 0.04194 | 0.2048 | 7.729 | 2.796 | 1.195 | 4.683 | 1 | 1 | 0.04155 | 0.07827 | 0.07652 | 1.165 | 2.195 | 2.145 | json |
| t12_x22_u6_b76 | 12 | 22 | 6 | 76 | ![]() |
nrm(lrg(R,dst(D,D))) | 38624 | 98337316 | o1(o2(x,o2(x,x))) | true | 138839 | 138839 | -0.1387 | 0.5857 | 0.6426 | 0.5317 | 0.7292 | -1 | 0.9999 | 2 | 1 | 3.239 | 0.02739 | 0.0331 | 0.06437 | -0.09431 | 1 | -0.00001399 | 0.1213 | 0.08405 | 0.05635 | 0.2374 | 3.688 | 2.828 | 0.1138 | 0.2281 | 1 | 1 | 0.05291 | 0.2479 | 0.8352 | 0.0995 | 0.4663 | 1.571 | json |
| t12_x22_u6_b77 | 12 | 22 | 6 | 77 | ![]() |
nrm(eql(R,add(D,D))) | 38625 | 98337317 | o1(o2(x,o2(x,x))) | true | 138847 | 138847 | -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_x22_u6_b78 | 12 | 22 | 6 | 78 | ![]() |
nrm(eql(R,sub(D,D))) | 38626 | 98337318 | o1(o2(x,o2(x,x))) | true | 138855 | 138855 | -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_x22_u6_b79 | 12 | 22 | 6 | 79 | ![]() |
nrm(eql(R,mlt(D,D))) | 38627 | 98337319 | o1(o2(x,o2(x,x))) | true | 138863 | 138863 | -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_x22_u6_b80 | 12 | 22 | 6 | 80 | ![]() |
nrm(eql(R,div(D,D))) | 38628 | 98337320 | o1(o2(x,o2(x,x))) | true | 138871 | 138871 | -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_x22_u6_b81 | 12 | 22 | 6 | 81 | ![]() |
nrm(eql(R,pow(D,D))) | 38629 | 98337321 | o1(o2(x,o2(x,x))) | true | 138879 | 138879 | -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_x22_u6_b82 | 12 | 22 | 6 | 82 | ![]() |
nrm(eql(R,mod(D,D))) | 38630 | 98337322 | o1(o2(x,o2(x,x))) | true | 138887 | 138887 | -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_x22_u6_b83 | 12 | 22 | 6 | 83 | ![]() |
nrm(eql(R,lrg(D,D))) | 38631 | 98337323 | o1(o2(x,o2(x,x))) | true | 138895 | 138895 | -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_x22_u6_b84 | 12 | 22 | 6 | 84 | ![]() |
nrm(eql(R,eql(D,D))) | 38632 | 98337324 | o1(o2(x,o2(x,x))) | true | 138903 | 138903 | -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_x22_u6_b85 | 12 | 22 | 6 | 85 | ![]() |
nrm(eql(R,min(D,D))) | 38633 | 98337325 | o1(o2(x,o2(x,x))) | true | 138911 | 138911 | -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_x22_u6_b86 | 12 | 22 | 6 | 86 | ![]() |
nrm(eql(R,dot(D,D))) | 38634 | 98337326 | o1(o2(x,o2(x,x))) | true | 138919 | 138919 | -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_x22_u6_b87 | 12 | 22 | 6 | 87 | ![]() |
nrm(eql(R,dst(D,D))) | 38635 | 98337327 | o1(o2(x,o2(x,x))) | true | 138927 | 138927 | -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_x22_u6_b88 | 12 | 22 | 6 | 88 | ![]() |
nrm(min(R,add(D,D))) | 38636 | 98337328 | o1(o2(x,o2(x,x))) | true | 138935 | 138935 | -0.3538 | 0.1915 | 0.4599 | 0.1528 | 0.3909 | -0.9996 | 0.9526 | 1.952 | 1 | 4.553 | 0.01189 | 0.003306 | 0.0924 | 0.5648 | 1 | -0.00006906 | 0.008278 | 0.03656 | 0.006653 | 0.08156 | 0.8827 | 1.676 | 0.09941 | 0.05417 | 1 | 1 | 0.02766 | 0.2091 | 0.2273 | 0.181 | 1.368 | 1.487 | json |
| t12_x22_u6_b89 | 12 | 22 | 6 | 89 | ![]() |
nrm(min(R,sub(D,D))) | 38637 | 98337329 | o1(o2(x,o2(x,x))) | true | 138943 | 138943 | -0.6028 | 0 | 0.6028 | 0.1561 | 0.3951 | -1 | 0 | 1 | 1 | 3.222 | 0.008359 | 0.007644 | 0.04435 | 0.04471 | 1 | -0.000006892 | 0.0293 | 0.0404 | 0.01403 | 0.1185 | 2.671 | 1.414 | 0.1025 | 0.1876 | 1 | 1 | 0.01784 | 0.1028 | 0.2788 | 0.1142 | 0.6584 | 1.786 | json |
| t12_x22_u6_b90 | 12 | 22 | 6 | 90 | ![]() |
nrm(min(R,mlt(D,D))) | 38638 | 98337330 | o1(o2(x,o2(x,x))) | true | 138951 | 138951 | -0.2054 | 0.3655 | 0.378 | 0.1945 | 0.441 | -1 | 0.9998 | 2 | 1 | 4.659 | 0.005569 | 0.004685 | 0.07556 | 0.08616 | 1 | -0.0002128 | 0.005086 | 0.02866 | 0.004545 | 0.06742 | 0.8923 | 0.8472 | 0.05273 | 0.02615 | 1 | 1 | 0.02 | 0.1773 | 0.3618 | 0.1029 | 0.9118 | 1.86 | json |
| t12_x22_u6_b91 | 12 | 22 | 6 | 91 | ![]() |
nrm(min(R,div(D,D))) | 38639 | 98337331 | o1(o2(x,o2(x,x))) | true | 138959 | 138959 | -0.004333 | 0.4894 | 0.3952 | 0.209 | 0.4572 | -0.9488 | 0.9534 | 1.902 | 1 | 4.783 | 0.002736 | 0.002944 | 0.06188 | -0.03652 | 1 | -0.000006012 | 0.0003349 | 0.01431 | 0.001851 | 0.04303 | 0.6953 | 0.2114 | 0.02718 | 0.001602 | 1 | 1 | 0.01108 | 0.1426 | 0.3701 | 0.05303 | 0.6821 | 1.771 | json |
| t12_x22_u6_b92 | 12 | 22 | 6 | 92 | ![]() |
nrm(min(R,pow(D,D))) | 38640 | 98337332 | o1(o2(x,o2(x,x))) | true | 138967 | 138967 | -0.007258 | 0.4882 | 0.3941 | 0.2076 | 0.4557 | -0.9488 | 0.9534 | 1.902 | 1 | 4.777 | 0.002717 | 0.002943 | 0.06186 | -0.03987 | 1 | 0.000009365 | 0.000341 | 0.01439 | 0.001833 | 0.04281 | 0.692 | 0.2114 | 0.02726 | 0.001642 | 1 | 1 | 0.01102 | 0.1418 | 0.3666 | 0.05309 | 0.6827 | 1.765 | json |
| t12_x22_u6_b93 | 12 | 22 | 6 | 93 | ![]() |
nrm(min(R,mod(D,D))) | 38641 | 98337333 | o1(o2(x,o2(x,x))) | true | 138975 | 138975 | -0.3049 | 0.1008 | 0.3508 | 0.1003 | 0.3168 | -0.9995 | 0.9275 | 1.927 | 1 | 4.255 | 0.04218 | 0.002687 | 0.1393 | 0.8802 | 1 | 0.00004946 | 0.1206 | 0.2339 | 0.02547 | 0.1596 | 1.146 | 1.085 | 0.4471 | 1.202 | 1 | 1 | 0.02994 | 0.09095 | 0.1645 | 0.2984 | 0.9064 | 1.639 | json |
| t12_x22_u6_b94 | 12 | 22 | 6 | 94 | ![]() |
nrm(min(R,lrg(D,D))) | 38642 | 98337334 | o1(o2(x,o2(x,x))) | true | 138983 | 138983 | -0.6028 | 0 | 0.6028 | 0.1561 | 0.3951 | -1 | 0 | 1 | 1 | 3.222 | 0.008359 | 0.007644 | 0.04435 | 0.04471 | 1 | -0.000006892 | 0.0293 | 0.0404 | 0.01403 | 0.1185 | 2.671 | 1.414 | 0.1025 | 0.1876 | 1 | 1 | 0.01784 | 0.1028 | 0.2788 | 0.1142 | 0.6584 | 1.786 | json |
| t12_x22_u6_b95 | 12 | 22 | 6 | 95 | ![]() |
nrm(min(R,eql(D,D))) | 38643 | 98337335 | o1(o2(x,o2(x,x))) | true | 138991 | 138991 | -0.004333 | 0.4894 | 0.3952 | 0.209 | 0.4572 | -0.9488 | 0.9534 | 1.902 | 1 | 4.783 | 0.002736 | 0.002944 | 0.06188 | -0.03652 | 1 | -0.000006012 | 0.0003349 | 0.01431 | 0.001851 | 0.04303 | 0.6953 | 0.2114 | 0.02718 | 0.001602 | 1 | 1 | 0.01108 | 0.1426 | 0.3701 | 0.05303 | 0.6821 | 1.771 | json |
| t12_x22_u6_b96 | 12 | 22 | 6 | 96 | ![]() |
nrm(min(R,min(D,D))) | 38644 | 98337336 | o1(o2(x,o2(x,x))) | true | 138999 | 138999 | -0.3474 | 0.19 | 0.4344 | 0.1455 | 0.3814 | -0.9996 | 0.937 | 1.937 | 1 | 4.546 | 0.008445 | 0.002962 | 0.07849 | 0.4807 | 1 | -0.0001203 | 0.006059 | 0.0271 | 0.005246 | 0.07243 | 0.9227 | 1.467 | 0.07841 | 0.04166 | 1 | 1 | 0.02159 | 0.1813 | 0.2494 | 0.1484 | 1.246 | 1.714 | json |
| t12_x22_u6_b97 | 12 | 22 | 6 | 97 | ![]() |
nrm(min(R,dot(D,D))) | 38645 | 98337337 | o1(o2(x,o2(x,x))) | true | 139007 | 139007 | -0.1456 | 0.4437 | 0.3713 | 0.1903 | 0.4362 | -0.9999 | 0.7022 | 1.702 | 1 | 4.666 | 0.003194 | 0.003385 | 0.06747 | -0.02906 | 1 | -0.0002945 | 0.000789 | 0.02017 | 0.002027 | 0.04502 | 0.6673 | 0.7325 | 0.03457 | 0.004146 | 1 | 1 | 0.01341 | 0.1539 | 0.3456 | 0.07046 | 0.8088 | 1.816 | json |
| t12_x22_u6_b98 | 12 | 22 | 6 | 98 | ![]() |
nrm(min(R,dst(D,D))) | 38646 | 98337338 | o1(o2(x,o2(x,x))) | true | 139015 | 139015 | -0.6028 | 0 | 0.6028 | 0.1561 | 0.3951 | -1 | 0 | 1 | 1 | 3.222 | 0.008359 | 0.007644 | 0.04435 | 0.04471 | 1 | -0.000006892 | 0.0293 | 0.0404 | 0.01403 | 0.1185 | 2.671 | 1.414 | 0.1025 | 0.1876 | 1 | 1 | 0.01784 | 0.1028 | 0.2788 | 0.1142 | 0.6584 | 1.786 | json |
| t12_x22_u6_b99 | 12 | 22 | 6 | 99 | ![]() |
nrm(dot(R,add(D,D))) | 38647 | 98337339 | o1(o2(x,o2(x,x))) | true | 139023 | 139023 | 0.00774 | 0.5069 | 0.411 | 0.2018 | 0.4492 | -0.5774 | 0.5774 | 1.155 | 1 | 3.957 | 0.04701 | 0.04579 | 0.1427 | 0.01319 | 1 | -0.0003369 | 0.294 | 0.2072 | 0.07244 | 0.2691 | 1.886 | 1.632 | 0.4599 | 1.457 | 1 | 1 | 0.09873 | 0.3795 | 0.4008 | 0.4893 | 1.881 | 1.987 | json |
| t12_x22_u6_b100 | 12 | 22 | 6 | 100 | ![]() |
nrm(dot(R,sub(D,D))) | 38648 | 98337340 | o1(o2(x,o2(x,x))) | true | 139031 | 139031 | -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_x22_u6_b101 | 12 | 22 | 6 | 101 | ![]() |
nrm(dot(R,mlt(D,D))) | 38649 | 98337341 | o1(o2(x,o2(x,x))) | true | 139039 | 139039 | -0.01095 | 0.4887 | 0.4214 | 0.2093 | 0.4575 | -0.5774 | 0.5774 | 1.155 | 1 | 3.882 | 0.04487 | 0.04472 | 0.1364 | 0.001711 | 1 | -0.0003606 | 0.307 | 0.2045 | 0.07098 | 0.2664 | 1.953 | 1.627 | 0.428 | 1.467 | 1 | 1 | 0.0975 | 0.2674 | 0.4004 | 0.4658 | 1.277 | 1.913 | json |
| t12_x22_u6_b102 | 12 | 22 | 6 | 102 | ![]() |
nrm(dot(R,div(D,D))) | 38650 | 98337342 | o1(o2(x,o2(x,x))) | true | 139047 | 139047 | -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_x22_u6_b103 | 12 | 22 | 6 | 103 | ![]() |
nrm(dot(R,pow(D,D))) | 38651 | 98337343 | o1(o2(x,o2(x,x))) | true | 139055 | 139055 | -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_x22_u6_b104 | 12 | 22 | 6 | 104 | ![]() |
nrm(dot(R,mod(D,D))) | 38652 | 98337344 | o1(o2(x,o2(x,x))) | true | 139063 | 139063 | -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_x22_u6_b105 | 12 | 22 | 6 | 105 | ![]() |
nrm(dot(R,lrg(D,D))) | 38653 | 98337345 | o1(o2(x,o2(x,x))) | true | 139071 | 139071 | -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_x22_u6_b106 | 12 | 22 | 6 | 106 | ![]() |
nrm(dot(R,eql(D,D))) | 38654 | 98337346 | o1(o2(x,o2(x,x))) | true | 139079 | 139079 | 0.009021 | 0.5076 | 0.4135 | 0.2033 | 0.4509 | -0.5774 | 0.5774 | 1.155 | 1 | 3.948 | 0.003042 | 0.002952 | 0.06076 | 0.015 | 1 | 0.00001565 | 0.0003513 | 0.01475 | 0.002301 | 0.04797 | 0.7895 | 0.135 | 0.02949 | 0.001728 | 1 | 1 | 0.01151 | 0.1483 | 0.3976 | 0.0566 | 0.7295 | 1.956 | json |
| t12_x22_u6_b107 | 12 | 22 | 6 | 107 | ![]() |
nrm(dot(R,min(D,D))) | 38655 | 98337347 | o1(o2(x,o2(x,x))) | true | 139087 | 139087 | 0.00774 | 0.5069 | 0.411 | 0.2018 | 0.4492 | -0.5774 | 0.5774 | 1.155 | 1 | 3.957 | 0.04701 | 0.04579 | 0.1427 | 0.01319 | 1 | -0.0003369 | 0.294 | 0.2072 | 0.07244 | 0.2691 | 1.886 | 1.632 | 0.4599 | 1.457 | 1 | 1 | 0.09873 | 0.3795 | 0.4008 | 0.4893 | 1.881 | 1.987 | json |
| t12_x22_u6_b108 | 12 | 22 | 6 | 108 | ![]() |
nrm(dot(R,dot(D,D))) | 38656 | 98337348 | o1(o2(x,o2(x,x))) | true | 139095 | 139095 | 0.009021 | 0.5076 | 0.4135 | 0.2033 | 0.4509 | -0.5774 | 0.5774 | 1.155 | 1 | 3.948 | 0.003042 | 0.002952 | 0.06076 | 0.015 | 1 | 0.00001565 | 0.0003513 | 0.01475 | 0.002301 | 0.04797 | 0.7895 | 0.135 | 0.02949 | 0.001728 | 1 | 1 | 0.01151 | 0.1483 | 0.3976 | 0.0566 | 0.7295 | 1.956 | json |
| t12_x22_u6_b109 | 12 | 22 | 6 | 109 | ![]() |
nrm(dot(R,dst(D,D))) | 38657 | 98337349 | o1(o2(x,o2(x,x))) | true | 139103 | 139103 | 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_x22_u6_b110 | 12 | 22 | 6 | 110 | ![]() |
nrm(dst(R,add(D,D))) | 38658 | 98337350 | o1(o2(x,o2(x,x))) | true | 139111 | 139111 | 0.5777 | 1 | 0.5777 | 1.421e-7 | 0.000377 | 0.5774 | 0.5774 | 1.192e-7 | 1 | 0 | 4.831e-16 | 4.888e-16 | 1.327e-8 | -0.000005762 | 0 | -6.904e-9 | 4.203e-15 | 1.751e-8 | 7.962e-16 | 2.822e-8 | 2.126 | 1.686e-7 | 6.84e-9 | 2.958e-8 | 1 | 1 | 4.871e-16 | 4.873e-16 | 4.871e-16 | 3.428e-9 | 3.429e-9 | 3.428e-9 | json |
| t12_x22_u6_b111 | 12 | 22 | 6 | 111 | ![]() |
nrm(dst(R,sub(D,D))) | 38659 | 98337351 | o1(o2(x,o2(x,x))) | true | 139119 | 139119 | 0.5777 | 1 | 0.5777 | 1.421e-7 | 0.000377 | 0.5774 | 0.5774 | 1.192e-7 | 1 | 0 | 5.477e-17 | 4.011e-17 | 1.52e-9 | 0.00001466 | 0 | -2.628e-10 | 4.189e-16 | 1.757e-9 | 9.254e-17 | 9.62e-9 | 6.327 | 8.429e-8 | 6.677e-10 | 2.948e-9 | 1 | 1 | 9.989e-17 | 3.782e-16 | 6.564e-16 | 7.03e-10 | 2.661e-9 | 4.619e-9 | json |
| t12_x22_u6_b112 | 12 | 22 | 6 | 112 | ![]() |
nrm(dst(R,mlt(D,D))) | 38660 | 98337352 | o1(o2(x,o2(x,x))) | true | 139127 | 139127 | 0.5777 | 1 | 0.5777 | 1.421e-7 | 0.000377 | 0.5774 | 0.5774 | 1.192e-7 | 1 | 0 | 4.83e-16 | 4.734e-16 | 1.309e-8 | 0.000009623 | 0 | -6.84e-9 | 4.313e-15 | 1.805e-8 | 7.847e-16 | 2.801e-8 | 2.139 | 1.686e-7 | 6.731e-9 | 3.035e-8 | 1 | 1 | 5.348e-16 | 5.406e-16 | 5.344e-16 | 3.764e-9 | 3.805e-9 | 3.761e-9 | json |
| t12_x22_u6_b113 | 12 | 22 | 6 | 113 | ![]() |
nrm(dst(R,div(D,D))) | 38661 | 98337353 | o1(o2(x,o2(x,x))) | true | 139135 | 139135 | -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_x22_u6_b114 | 12 | 22 | 6 | 114 | ![]() |
nrm(dst(R,pow(D,D))) | 38662 | 98337354 | o1(o2(x,o2(x,x))) | true | 139143 | 139143 | -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_x22_u6_b115 | 12 | 22 | 6 | 115 | ![]() |
nrm(dst(R,mod(D,D))) | 38663 | 98337355 | o1(o2(x,o2(x,x))) | true | 139151 | 139151 | -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_x22_u6_b116 | 12 | 22 | 6 | 116 | ![]() |
nrm(dst(R,lrg(D,D))) | 38664 | 98337356 | o1(o2(x,o2(x,x))) | true | 139159 | 139159 | 0.5777 | 1 | 0.5777 | 1.421e-7 | 0.000377 | 0.5774 | 0.5774 | 1.192e-7 | 1 | 0 | 5.477e-17 | 4.011e-17 | 1.52e-9 | 0.00001466 | 0 | -2.628e-10 | 4.189e-16 | 1.757e-9 | 9.254e-17 | 9.62e-9 | 6.327 | 8.429e-8 | 6.677e-10 | 2.948e-9 | 1 | 1 | 9.989e-17 | 3.782e-16 | 6.564e-16 | 7.03e-10 | 2.661e-9 | 4.619e-9 | json |
| t12_x22_u6_b117 | 12 | 22 | 6 | 117 | ![]() |
nrm(dst(R,eql(D,D))) | 38665 | 98337357 | o1(o2(x,o2(x,x))) | true | 139167 | 139167 | 0.5777 | 1 | 0.5777 | 1.421e-7 | 0.000377 | 0.5774 | 0.5774 | 1.192e-7 | 1 | 0 | 3.111e-17 | 2.327e-17 | 8.766e-10 | 0.000007832 | 0 | -5.444e-10 | 2.318e-16 | 9.724e-10 | 5.366e-17 | 7.325e-9 | 8.356 | 8.429e-8 | 3.827e-10 | 1.632e-9 | 1 | 1 | 4.478e-17 | 1.698e-16 | 2.72e-16 | 3.151e-10 | 1.195e-9 | 1.914e-9 | json |
| t12_x22_u6_b118 | 12 | 22 | 6 | 118 | ![]() |
nrm(dst(R,min(D,D))) | 38666 | 98337358 | o1(o2(x,o2(x,x))) | true | 139175 | 139175 | 0.5777 | 1 | 0.5777 | 1.421e-7 | 0.000377 | 0.5774 | 0.5774 | 1.192e-7 | 1 | 0 | 4.947e-16 | 4.966e-16 | 1.343e-8 | -0.000001958 | 0 | -7.276e-9 | 4.25e-15 | 1.776e-8 | 8.111e-16 | 2.848e-8 | 2.121 | 1.686e-7 | 6.976e-9 | 2.991e-8 | 1 | 1 | 4.971e-16 | 5.001e-16 | 5.011e-16 | 3.499e-9 | 3.519e-9 | 3.527e-9 | json |
| t12_x22_u6_b119 | 12 | 22 | 6 | 119 | ![]() |
nrm(dst(R,dot(D,D))) | 38667 | 98337359 | o1(o2(x,o2(x,x))) | true | 139183 | 139183 | 0.5777 | 1 | 0.5777 | 1.421e-7 | 0.000377 | 0.5774 | 0.5774 | 1.192e-7 | 1 | 0 | 4.939e-16 | 4.901e-16 | 1.331e-8 | 0.000003804 | 0 | -7.092e-9 | 4.412e-15 | 1.842e-8 | 8.067e-16 | 2.84e-8 | 2.134 | 1.686e-7 | 6.925e-9 | 3.105e-8 | 1 | 1 | 5.675e-16 | 5.536e-16 | 5.467e-16 | 3.993e-9 | 3.896e-9 | 3.847e-9 | json |
| t12_x22_u6_b120 | 12 | 22 | 6 | 120 | ![]() |
nrm(dst(R,dst(D,D))) | 38668 | 98337360 | o1(o2(x,o2(x,x))) | true | 139191 | 139191 | 0.5777 | 1 | 0.5777 | 1.421e-7 | 0.000377 | 0.5774 | 0.5774 | 1.192e-7 | 1 | 0 | 5.477e-17 | 4.011e-17 | 1.52e-9 | 0.00001466 | 0 | -2.628e-10 | 4.189e-16 | 1.757e-9 | 9.254e-17 | 9.62e-9 | 6.327 | 8.429e-8 | 6.677e-10 | 2.948e-9 | 1 | 1 | 9.989e-17 | 3.782e-16 | 6.564e-16 | 7.03e-10 | 2.661e-9 | 4.619e-9 | json |
| t12_x23_u0_b0 | 12 | 23 | 0 | 0 | ![]() |
sqt(add(R,add(D,R))) | 38669 | 98376435 | o1(o2(x,o2(x,x))) | true | 139199 | 139199 | -0.9043 | 0.05127 | 0.9931 | 0.1708 | 0.4133 | -1 | 1 | 2 | 1 | 0.4206 | 0.03902 | 0.01773 | 0.03157 | 0.3751 | 1 | 2.919e-7 | 0.1231 | 0.06181 | 0.05574 | 0.2361 | 7.479 | 2.828 | 0.3322 | 0.7204 | 1 | 1 | 0.053 | 0.1638 | 0.3395 | 0.3102 | 0.9586 | 1.987 | json |
| t12_x23_u0_b1 | 12 | 23 | 0 | 1 | ![]() |
sqt(add(R,sub(D,R))) | 38670 | 98376436 | o1(o2(x,o2(x,x))) | true | 139207 | 139207 | -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_x23_u0_b2 | 12 | 23 | 0 | 2 | ![]() |
sqt(add(R,mlt(D,R))) | 38671 | 98376437 | o1(o2(x,o2(x,x))) | true | 139215 | 139215 | -0.9264 | 0.04297 | 0.9877 | 0.1217 | 0.3488 | -1 | 1 | 2 | 1 | 0.3948 | 0.01252 | 0.01226 | 0.0152 | 0.01038 | 1 | 0.000004967 | 0.05183 | 0.0288 | 0.02456 | 0.1567 | 10.31 | 2.71 | 0.2037 | 0.4259 | 1 | 1 | 0.01951 | 0.08349 | 0.2047 | 0.1604 | 0.6862 | 1.682 | json |
| t12_x23_u0_b3 | 12 | 23 | 0 | 3 | ![]() |
sqt(add(R,div(D,R))) | 38672 | 98376438 | o1(o2(x,o2(x,x))) | true | 139223 | 139223 | -0.8911 | 0.05835 | 0.9922 | 0.193 | 0.4393 | -1 | 1 | 2 | 1 | 0.4674 | 0.05762 | 0.01939 | 0.04457 | 0.4965 | 1 | -0.0004127 | 0.1678 | 0.08485 | 0.075 | 0.2739 | 6.145 | 2.828 | 0.399 | 0.8696 | 1 | 1 | 0.07406 | 0.2434 | 0.383 | 0.3837 | 1.261 | 1.984 | json |
| t12_x23_u0_b4 | 12 | 23 | 0 | 4 | ![]() |
sqt(add(R,pow(D,R))) | 38673 | 98376439 | o1(o2(x,o2(x,x))) | true | 139231 | 139231 | -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_x23_u0_b5 | 12 | 23 | 0 | 5 | ![]() |
sqt(add(R,mod(D,R))) | 38674 | 98376440 | o1(o2(x,o2(x,x))) | true | 139239 | 139239 | -0.9269 | 0.04297 | 0.9872 | 0.1204 | 0.347 | -1 | 1 | 2 | 1 | 0.4036 | 0.01269 | 0.01208 | 0.01611 | 0.02466 | 1 | -0.000001074 | 0.05196 | 0.03042 | 0.0245 | 0.1565 | 9.715 | 2.707 | 0.2056 | 0.4315 | 1 | 1 | 0.0194 | 0.08223 | 0.2024 | 0.1611 | 0.6828 | 1.68 | json |
| t12_x23_u0_b6 | 12 | 23 | 0 | 6 | ![]() |
sqt(add(R,lrg(D,R))) | 38675 | 98376441 | o1(o2(x,o2(x,x))) | true | 139247 | 139247 | -0.0581 | 0.5566 | 0.8286 | 0.7264 | 0.8523 | -1 | 1 | 2 | 1 | 2.937 | 0.2734 | 0.04534 | 0.197 | 0.7155 | 1 | -0.0004857 | 0.6881 | 0.373 | 0.28 | 0.5291 | 2.686 | 2.828 | 0.4388 | 0.9472 | 1 | 1 | 0.3261 | 0.9227 | 1.23 | 0.449 | 1.27 | 1.694 | json |
| t12_x23_u0_b7 | 12 | 23 | 0 | 7 | ![]() |
sqt(add(R,eql(D,R))) | 38676 | 98376442 | o1(o2(x,o2(x,x))) | true | 139255 | 139255 | -0.9258 | 0.04297 | 0.9882 | 0.1235 | 0.3514 | -1 | 0.971 | 1.971 | 1 | 0.3916 | 0.01252 | 0.01245 | 0.01513 | 0.002807 | 1 | 0.000005689 | 0.05219 | 0.02886 | 0.02476 | 0.1573 | 10.4 | 2.731 | 0.2023 | 0.4226 | 1 | 1 | 0.0197 | 0.08508 | 0.2088 | 0.1595 | 0.689 | 1.691 | json |
| t12_x23_u0_b8 | 12 | 23 | 0 | 8 | ![]() |
sqt(add(R,min(D,R))) | 38677 | 98376443 | o1(o2(x,o2(x,x))) | true | 139263 | 139263 | -0.9721 | 0.01685 | 0.9942 | 0.04576 | 0.2139 | -1 | 0.9535 | 1.953 | 1 | 0.1784 | 0.01392 | 0.004958 | 0.01183 | 0.4748 | 1 | 0.000009651 | 0.04081 | 0.02303 | 0.01873 | 0.1369 | 11.57 | 2.707 | 0.4125 | 0.8919 | 1 | 1 | 0.01333 | 0.04824 | 0.07912 | 0.2913 | 1.054 | 1.729 | json |
| t12_x23_u0_b9 | 12 | 23 | 0 | 9 | ![]() |
sqt(add(R,dot(D,R))) | 38678 | 98376444 | o1(o2(x,o2(x,x))) | true | 139271 | 139271 | -0.8821 | 0.07106 | 0.9757 | 0.1843 | 0.4293 | -1 | 1 | 2 | 1 | 0.623 | 0.03451 | 0.04026 | 0.04458 | -0.07687 | 1 | -0.0001137 | 0.214 | 0.09071 | 0.07277 | 0.2698 | 6.051 | 2.828 | 0.4058 | 1.161 | 1 | 1 | 0.07029 | 0.24 | 0.3675 | 0.3814 | 1.303 | 1.995 | json |
| t12_x23_u0_b10 | 12 | 23 | 0 | 10 | ![]() |
sqt(add(R,dst(D,R))) | 38679 | 98376445 | o1(o2(x,o2(x,x))) | true | 139279 | 139279 | 0.6286 | 0.8643 | 0.9001 | 0.4399 | 0.6633 | -1 | 1 | 2 | 1 | 2.56 | 0.06445 | 0.05729 | 0.08585 | 0.05883 | 1 | 0.0003783 | 0.3329 | 0.1447 | 0.1144 | 0.3382 | 3.939 | 2.828 | 0.2767 | 0.7568 | 1 | 1 | 0.1096 | 0.437 | 0.8336 | 0.2491 | 0.9933 | 1.895 | json |
| t12_x23_u0_b11 | 12 | 23 | 0 | 11 | ![]() |
sqt(sub(R,add(D,R))) | 38680 | 98376446 | o1(o2(x,o2(x,x))) | true | 139287 | 139287 | -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_x23_u0_b12 | 12 | 23 | 0 | 12 | ![]() |
sqt(sub(R,sub(D,R))) | 38681 | 98376447 | o1(o2(x,o2(x,x))) | true | 139295 | 139295 | -0.8793 | 0.06348 | 0.9937 | 0.2165 | 0.4653 | -1 | 1 | 2 | 1 | 0.4735 | 0.04374 | 0.01925 | 0.03445 | 0.3889 | 1 | 0.000006044 | 0.1376 | 0.06715 | 0.06182 | 0.2486 | 7.218 | 2.828 | 0.291 | 0.6355 | 1 | 1 | 0.05828 | 0.2101 | 0.404 | 0.2692 | 0.9705 | 1.866 | json |
| t12_x23_u0_b13 | 12 | 23 | 0 | 13 | ![]() |
sqt(sub(R,mlt(D,R))) | 38682 | 98376448 | o1(o2(x,o2(x,x))) | true | 139303 | 139303 | -0.9263 | 0.04297 | 0.9878 | 0.122 | 0.3493 | -1 | 1 | 2 | 1 | 0.394 | 0.01254 | 0.01228 | 0.01523 | 0.01045 | 1 | 0.00001173 | 0.05187 | 0.02884 | 0.0246 | 0.1568 | 10.3 | 2.751 | 0.2035 | 0.4251 | 1 | 1 | 0.01961 | 0.08445 | 0.2072 | 0.1607 | 0.6922 | 1.698 | json |
| t12_x23_u0_b14 | 12 | 23 | 0 | 14 | ![]() |
sqt(sub(R,div(D,R))) | 38683 | 98376449 | o1(o2(x,o2(x,x))) | true | 139311 | 139311 | -0.8869 | 0.06079 | 0.9915 | 0.1993 | 0.4464 | -1 | 1 | 2 | 1 | 0.4872 | 0.05847 | 0.02002 | 0.0459 | 0.4898 | 1 | -0.0004224 | 0.1713 | 0.08811 | 0.0764 | 0.2764 | 6.021 | 2.828 | 0.3938 | 0.8595 | 1 | 1 | 0.07375 | 0.2297 | 0.3286 | 0.37 | 1.153 | 1.649 | json |
| t12_x23_u0_b15 | 12 | 23 | 0 | 15 | ![]() |
sqt(sub(R,pow(D,R))) | 38684 | 98376450 | o1(o2(x,o2(x,x))) | true | 139319 | 139319 | -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_x23_u0_b16 | 12 | 23 | 0 | 16 | ![]() |
sqt(sub(R,mod(D,R))) | 38685 | 98376451 | o1(o2(x,o2(x,x))) | true | 139327 | 139327 | -0.9268 | 0.04297 | 0.9873 | 0.1207 | 0.3474 | -1 | 1 | 2 | 1 | 0.403 | 0.01272 | 0.01219 | 0.01617 | 0.02156 | 1 | 0.00003308 | 0.05217 | 0.03051 | 0.02464 | 0.157 | 9.705 | 2.754 | 0.2064 | 0.4322 | 1 | 1 | 0.01968 | 0.08431 | 0.2048 | 0.1631 | 0.6985 | 1.697 | json |
| t12_x23_u0_b17 | 12 | 23 | 0 | 17 | ![]() |
sqt(sub(R,lrg(D,R))) | 38686 | 98376452 | o1(o2(x,o2(x,x))) | true | 139335 | 139335 | -0.9709 | 0.0166 | 0.9959 | 0.05039 | 0.2245 | -1 | 0.971 | 1.971 | 1 | 0.1706 | 0.01444 | 0.0049 | 0.01129 | 0.4933 | 1 | 0.000002117 | 0.04143 | 0.02239 | 0.01921 | 0.1386 | 12.28 | 2.752 | 0.3838 | 0.8222 | 1 | 1 | 0.01249 | 0.0459 | 0.07623 | 0.2479 | 0.9109 | 1.513 | json |
| t12_x23_u0_b18 | 12 | 23 | 0 | 18 | ![]() |
sqt(sub(R,eql(D,R))) | 38687 | 98376453 | o1(o2(x,o2(x,x))) | true | 139343 | 139343 | -0.9258 | 0.04297 | 0.9882 | 0.1235 | 0.3514 | -1 | 0.971 | 1.971 | 1 | 0.3916 | 0.01252 | 0.01245 | 0.01513 | 0.002807 | 1 | 0.000005689 | 0.05219 | 0.02886 | 0.02476 | 0.1573 | 10.4 | 2.731 | 0.2023 | 0.4226 | 1 | 1 | 0.0197 | 0.08508 | 0.2088 | 0.1595 | 0.689 | 1.691 | json |
| t12_x23_u0_b19 | 12 | 23 | 0 | 19 | ![]() |
sqt(sub(R,min(D,R))) | 38688 | 98376454 | o1(o2(x,o2(x,x))) | true | 139351 | 139351 | 0.3544 | 0.9265 | 0.3544 | 0.08896 | 0.2983 | 0 | 1 | 1 | 1 | 3.697 | 0.002578 | 0.001274 | 0.0506 | 0.3384 | 1 | 0.00005907 | 0.001086 | 0.01934 | 0.001292 | 0.03594 | 0.7102 | 0.2419 | 0.0433 | 0.0122 | 1 | 1 | 0.007033 | 0.07596 | 0.1674 | 0.07905 | 0.8538 | 1.882 | json |
| t12_x23_u0_b20 | 12 | 23 | 0 | 20 | ![]() |
sqt(sub(R,dot(D,R))) | 38689 | 98376455 | o1(o2(x,o2(x,x))) | true | 139359 | 139359 | -0.9038 | 0.05742 | 0.9814 | 0.1537 | 0.392 | -1 | 1 | 2 | 1 | 0.5171 | 0.03041 | 0.03508 | 0.03904 | -0.07129 | 1 | -0.000009948 | 0.1897 | 0.07932 | 0.06393 | 0.2528 | 6.476 | 2.828 | 0.4261 | 1.234 | 1 | 1 | 0.06014 | 0.2082 | 0.3517 | 0.3913 | 1.355 | 2.288 | json |
| t12_x23_u0_b21 | 12 | 23 | 0 | 21 | ![]() |
sqt(sub(R,dst(D,R))) | 38690 | 98376456 | o1(o2(x,o2(x,x))) | true | 139367 | 139367 | -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_x23_u0_b22 | 12 | 23 | 0 | 22 | ![]() |
sqt(mlt(R,add(D,R))) | 38691 | 98376457 | o1(o2(x,o2(x,x))) | true | 139375 | 139375 | -0.5415 | 0.2939 | 0.8706 | 0.5207 | 0.7216 | -1 | 1 | 2 | 1 | 1.998 | 0.1677 | 0.04182 | 0.1445 | 0.6009 | 1 | 0.0002831 | 0.46 | 0.2753 | 0.1886 | 0.4343 | 3.006 | 2.828 | 0.4024 | 0.8835 | 1 | 1 | 0.2109 | 0.6236 | 1.011 | 0.405 | 1.198 | 1.942 | json |
| t12_x23_u0_b23 | 12 | 23 | 0 | 23 | ![]() |
sqt(mlt(R,sub(D,R))) | 38692 | 98376458 | o1(o2(x,o2(x,x))) | true | 139383 | 139383 | -0.9989 | 0.0009766 | 0.9992 | 0.001275 | 0.03571 | -1 | 0.1882 | 1.188 | 1 | 0.01226 | 0.001317 | 0.0001647 | 0.001285 | 0.7776 | 1 | 3.754e-12 | 0.003941 | 0.002591 | 0.001478 | 0.03845 | 29.93 | 1.624 | 1.162 | 3.09 | 1 | 1 | 0.001376 | 0.002597 | 0.003462 | 1.079 | 2.037 | 2.715 | json |
| t12_x23_u0_b24 | 12 | 23 | 0 | 24 | ![]() |
sqt(mlt(R,mlt(D,R))) | 38693 | 98376459 | o1(o2(x,o2(x,x))) | true | 139391 | 139391 | -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_x23_u0_b25 | 12 | 23 | 0 | 25 | ![]() |
sqt(mlt(R,div(D,R))) | 38694 | 98376460 | o1(o2(x,o2(x,x))) | true | 139399 | 139399 | -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_x23_u0_b26 | 12 | 23 | 0 | 26 | ![]() |
sqt(mlt(R,pow(D,R))) | 38695 | 98376461 | o1(o2(x,o2(x,x))) | true | 139407 | 139407 | -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_x23_u0_b27 | 12 | 23 | 0 | 27 | ![]() |
sqt(mlt(R,mod(D,R))) | 38696 | 98376462 | o1(o2(x,o2(x,x))) | true | 139415 | 139415 | -0.9492 | 0.03906 | 0.9726 | 0.06427 | 0.2535 | -1 | 0.6744 | 1.674 | 1 | 0.3614 | 0.006368 | 0.006971 | 0.01273 | -0.04524 | 1 | 8.29e-7 | 0.0269 | 0.02272 | 0.01318 | 0.1148 | 9.015 | 1.674 | 0.2075 | 0.4185 | 1 | 1 | 0.01533 | 0.06924 | 0.1478 | 0.2385 | 1.077 | 2.299 | json |
| t12_x23_u0_b28 | 12 | 23 | 0 | 28 | ![]() |
sqt(mlt(R,lrg(D,R))) | 38697 | 98376463 | o1(o2(x,o2(x,x))) | true | 139423 | 139423 | -0.8643 | 0.05791 | 0.8784 | 0.1261 | 0.3551 | -1 | 0.4558 | 1.456 | 1 | 0.7329 | 0.02318 | 0.01139 | 0.03557 | 0.3412 | 1 | -0.000004655 | 0.07346 | 0.0687 | 0.03328 | 0.1824 | 5.129 | 1.846 | 0.2741 | 0.5825 | 1 | 1 | 0.03495 | 0.1311 | 0.2453 | 0.2772 | 1.039 | 1.945 | json |
| t12_x23_u0_b29 | 12 | 23 | 0 | 29 | ![]() |
sqt(mlt(R,eql(D,R))) | 38698 | 98376464 | o1(o2(x,o2(x,x))) | true | 139431 | 139431 | -0.0002441 | 0 | 0.0002441 | 0.0002441 | 0.01562 | -1 | 0 | 1 | 1 | 0.003282 | 0.0004409 | 0.00001575 | 0.0004567 | 0.931 | 1 | 0 | 0.001417 | 0.0009133 | 0.0004564 | 0.02136 | 46.78 | 1 | 1.871 | 5.806 | 1 | 1 | 0 | 0 | 0.0002078 | 0 | 0 | 0.8512 | json |
| t12_x23_u0_b30 | 12 | 23 | 0 | 30 | ![]() |
sqt(mlt(R,min(D,R))) | 38699 | 98376465 | o1(o2(x,o2(x,x))) | true | 139439 | 139439 | -0.6266 | 0.2539 | 0.8655 | 0.4225 | 0.65 | -1 | 0.9989 | 1.999 | 1 | 1.775 | 0.04233 | 0.03666 | 0.06127 | 0.07174 | 1 | -0.00001678 | 0.1631 | 0.1085 | 0.07523 | 0.2743 | 4.477 | 2.827 | 0.187 | 0.3861 | 1 | 1 | 0.0819 | 0.3533 | 0.7972 | 0.1938 | 0.8362 | 1.887 | json |



































































































