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_x1_u5_b60 | 12 | 1 | 5 | 60 | ![]() |
sgn(mod(P,mod(P,D))) | 20700 | 97488678 | o1(o2(x,o2(x,x))) | true | 165607 | 165607 | -0.1948 | 0.3477 | 0.6104 | 0.5208 | 0.7216 | -1 | 1 | 2 | 1 | 3.272 | 0.4366 | 0 | 0.4576 | 1 | 1 | 6.622e-9 | 1.187 | 0.8444 | 0.2271 | 0.4766 | 1.041 | 2 | 0.8385 | 2.279 | 1 | 1 | 0 | 0 | 0.2832 | 0 | 0 | 0.5438 | json |
| t12_x1_u5_b61 | 12 | 1 | 5 | 61 | ![]() |
sgn(mod(P,lrg(P,D))) | 20701 | 97488679 | o1(o2(x,o2(x,x))) | true | 165615 | 165615 | -0.5 | 0 | 0.5 | 0.2365 | 0.4863 | -1 | 0 | 1 | 1 | 1.711 | 0.00467 | 0 | 0.0119 | 1 | 1 | 4.731e-10 | 0.008068 | 0.009787 | 0.004528 | 0.06729 | 5.654 | 0.9994 | 0.01975 | 0.03412 | 1 | 1 | 0 | 0 | 0.007036 | 0 | 0 | 0.02976 | json |
| t12_x1_u5_b62 | 12 | 1 | 5 | 62 | ![]() |
sgn(mod(P,eql(P,D))) | 20702 | 97488680 | o1(o2(x,o2(x,x))) | true | 165623 | 165623 | -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_x1_u5_b63 | 12 | 1 | 5 | 63 | ![]() |
sgn(mod(P,min(P,D))) | 20703 | 97488681 | o1(o2(x,o2(x,x))) | true | 165631 | 165631 | 0.1838 | 0.4648 | 0.6019 | 0.5332 | 0.7302 | -1 | 1 | 2 | 1 | 2.811 | 0.07715 | 0 | 0.09848 | 1 | 1 | 0.00008985 | 0.1796 | 0.1552 | 0.06746 | 0.2597 | 2.637 | 0.9997 | 0.1447 | 0.3368 | 1 | 1 | 0 | 0 | 0.06884 | 0 | 0 | 0.1291 | json |
| t12_x1_u5_b64 | 12 | 1 | 5 | 64 | ![]() |
sgn(mod(P,dot(P,D))) | 20704 | 97488682 | o1(o2(x,o2(x,x))) | true | 165639 | 165639 | -0.0121 | 0.492 | 0.8633 | 0.8329 | 0.9126 | -1 | 1 | 2 | 1 | 2.561 | 0.09196 | 0.08967 | 0.1926 | 0.01262 | 1 | 1.055e-7 | 0.9942 | 0.4502 | 0.1445 | 0.3802 | 1.974 | 2.827 | 0.2181 | 1.194 | 1 | 1 | 0 | 0 | 0.109 | 0 | 0 | 0.1308 | json |
| t12_x1_u5_b65 | 12 | 1 | 5 | 65 | ![]() |
sgn(mod(P,dst(P,D))) | 20705 | 97488683 | o1(o2(x,o2(x,x))) | true | 165647 | 165647 | 0 | 0.5 | 0.9375 | 0.924 | 0.9612 | -1 | 1 | 2 | 1 | 1.813 | 0.0007059 | 0 | 0.007937 | 1 | 1 | 0 | 0.00003235 | 0.001851 | 0.0006432 | 0.02536 | 3.195 | 0.1169 | 0.0007639 | 0.00003501 | 1 | 1 | 0 | 0 | 0.001851 | 0 | 0 | 0.002003 | json |
| t12_x1_u5_b66 | 12 | 1 | 5 | 66 | ![]() |
sgn(lrg(P,add(P,D))) | 20706 | 97488684 | o1(o2(x,o2(x,x))) | true | 165655 | 165655 | 0.5 | 1 | 0.5 | 0.1418 | 0.3765 | 0.000291 | 0.9997 | 0.9994 | 1 | 3.406 | 0.06511 | 0 | 0.1228 | 1 | 1 | 0 | 0.1208 | 0.1337 | 0.05001 | 0.2236 | 1.821 | 0.9994 | 0.4593 | 0.8522 | 1 | 1 | 0 | 0 | 0.07073 | 0 | 0 | 0.4989 | json |
| t12_x1_u5_b67 | 12 | 1 | 5 | 67 | ![]() |
sgn(lrg(P,sub(P,D))) | 20707 | 97488685 | o1(o2(x,o2(x,x))) | true | 165663 | 165663 | 0.5 | 1 | 0.5 | 0.1418 | 0.3765 | 0.000291 | 0.9997 | 0.9994 | 1 | 3.406 | 0.06511 | 0 | 0.1228 | 1 | 1 | 0 | 0.1208 | 0.1337 | 0.05001 | 0.2236 | 1.821 | 0.9994 | 0.4593 | 0.8522 | 1 | 1 | 0 | 0 | 0.07073 | 0 | 0 | 0.4989 | json |
| t12_x1_u5_b68 | 12 | 1 | 5 | 68 | ![]() |
sgn(lrg(P,mlt(P,D))) | 20708 | 97488686 | o1(o2(x,o2(x,x))) | true | 165671 | 165671 | 0.4688 | 0.5 | 0.4688 | 0.2423 | 0.4922 | 0 | 1 | 1 | 1 | 1.326 | 0.0003529 | 0 | 0.003968 | 1 | 1 | -4.731e-10 | 0.00001619 | 0.0009276 | 0.0003372 | 0.01836 | 4.628 | 0.1169 | 0.001457 | 0.00006684 | 1 | 1 | 0 | 0 | 0.0009255 | 0 | 0 | 0.00382 | json |
| t12_x1_u5_b69 | 12 | 1 | 5 | 69 | ![]() |
sgn(lrg(P,div(P,D))) | 20709 | 97488687 | o1(o2(x,o2(x,x))) | true | 165679 | 165679 | 0.5 | 1 | 0.5 | 0.1418 | 0.3765 | 0.000291 | 0.9997 | 0.9994 | 1 | 3.406 | 0.06114 | 0 | 0.1188 | 1 | 1 | 0.0001797 | 0.1128 | 0.1257 | 0.047 | 0.2168 | 1.825 | 0.9994 | 0.4313 | 0.7955 | 1 | 1 | 0 | 0 | 0.06554 | 0 | 0 | 0.4623 | json |
| t12_x1_u5_b70 | 12 | 1 | 5 | 70 | ![]() |
sgn(lrg(P,pow(P,D))) | 20710 | 97488688 | o1(o2(x,o2(x,x))) | true | 165687 | 165687 | 0.875 | 0.9375 | 0.875 | 0.09585 | 0.3096 | 0 | 1 | 1 | 1 | 1.067 | 0.0007059 | 0 | 0.007937 | 1 | 1 | -9.461e-10 | 0.00003238 | 0.001855 | 0.0006432 | 0.02536 | 3.195 | 0.1169 | 0.007364 | 0.0003379 | 1 | 1 | 0 | 0 | 0.001851 | 0 | 0 | 0.01931 | json |
| t12_x1_u5_b71 | 12 | 1 | 5 | 71 | ![]() |
sgn(lrg(P,mod(P,D))) | 20711 | 97488689 | o1(o2(x,o2(x,x))) | true | 165695 | 165695 | 0.4688 | 0.5 | 0.4688 | 0.2423 | 0.4922 | 0 | 1 | 1 | 1 | 1.326 | 0.0003529 | 0 | 0.003968 | 1 | 1 | -4.731e-10 | 0.00001619 | 0.0009276 | 0.0003372 | 0.01836 | 4.628 | 0.1169 | 0.001457 | 0.00006684 | 1 | 1 | 0 | 0 | 0.0009255 | 0 | 0 | 0.00382 | json |
| t12_x1_u5_b72 | 12 | 1 | 5 | 72 | ![]() |
sgn(lrg(P,lrg(P,D))) | 20712 | 97488690 | o1(o2(x,o2(x,x))) | true | 165703 | 165703 | 0.4063 | 0.4375 | 0.4063 | 0.2344 | 0.4842 | 0 | 1 | 1 | 1 | 1.302 | 0.0003529 | 0 | 0.003968 | 1 | 1 | -4.731e-10 | 0.00001619 | 0.0009276 | 0.0003372 | 0.01836 | 4.628 | 0.1169 | 0.001505 | 0.00006906 | 1 | 1 | 0 | 0 | 0.0009255 | 0 | 0 | 0.003947 | json |
| t12_x1_u5_b73 | 12 | 1 | 5 | 73 | ![]() |
sgn(lrg(P,eql(P,D))) | 20713 | 97488691 | o1(o2(x,o2(x,x))) | true | 165711 | 165711 | 0.4688 | 0.5 | 0.4688 | 0.2423 | 0.4922 | 0 | 1 | 1 | 1 | 1.326 | 0.0003529 | 0 | 0.003968 | 1 | 1 | -4.731e-10 | 0.00001619 | 0.0009276 | 0.0003372 | 0.01836 | 4.628 | 0.1169 | 0.001457 | 0.00006684 | 1 | 1 | 0 | 0 | 0.0009255 | 0 | 0 | 0.00382 | json |
| t12_x1_u5_b74 | 12 | 1 | 5 | 74 | ![]() |
sgn(lrg(P,min(P,D))) | 20714 | 97488692 | o1(o2(x,o2(x,x))) | true | 165719 | 165719 | 0.5 | 0.5625 | 0.5 | 0.2365 | 0.4863 | 0 | 1 | 1 | 1 | 1.577 | 0.00467 | 0 | 0.0119 | 1 | 1 | -4.731e-10 | 0.008068 | 0.009787 | 0.004528 | 0.06729 | 5.654 | 0.9994 | 0.01975 | 0.03412 | 1 | 1 | 0 | 0 | 0.007036 | 0 | 0 | 0.02976 | json |
| t12_x1_u5_b75 | 12 | 1 | 5 | 75 | ![]() |
sgn(lrg(P,dot(P,D))) | 20715 | 97488693 | o1(o2(x,o2(x,x))) | true | 165727 | 165727 | 0.5075 | 0.7453 | 0.5075 | 0.2098 | 0.458 | 0 | 1 | 1 | 1 | 2.38 | 0.002912 | 0.01088 | 0.04175 | -0.5778 | 1 | -0.0002407 | 0.03746 | 0.05267 | 0.01205 | 0.1098 | 2.63 | 1.341 | 0.06574 | 0.1785 | 1 | 1 | 0 | 0 | 0.01446 | 0 | 0 | 0.06893 | json |
| t12_x1_u5_b76 | 12 | 1 | 5 | 76 | ![]() |
sgn(lrg(P,dst(P,D))) | 20716 | 97488694 | o1(o2(x,o2(x,x))) | true | 165735 | 165735 | 0.03624 | 0.14 | 0.03624 | 0.02006 | 0.1416 | 0 | 0.9994 | 0.9994 | 1 | 0.7425 | 0.004706 | 0.001199 | 0.01509 | 0.5939 | 1 | -0.00003734 | 0.0154 | 0.0179 | 0.005672 | 0.07531 | 4.992 | 1.383 | 0.2943 | 0.7678 | 1 | 1 | 0 | 0 | 0.007138 | 0 | 0 | 0.3558 | json |
| t12_x1_u5_b77 | 12 | 1 | 5 | 77 | ![]() |
sgn(eql(P,add(P,D))) | 20717 | 97488695 | o1(o2(x,o2(x,x))) | true | 165743 | 165743 | 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_x1_u5_b78 | 12 | 1 | 5 | 78 | ![]() |
sgn(eql(P,sub(P,D))) | 20718 | 97488696 | o1(o2(x,o2(x,x))) | true | 165751 | 165751 | 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_x1_u5_b79 | 12 | 1 | 5 | 79 | ![]() |
sgn(eql(P,mlt(P,D))) | 20719 | 97488697 | o1(o2(x,o2(x,x))) | true | 165759 | 165759 | 0.0625 | 0.125 | 0.0625 | 0.04507 | 0.2123 | 0 | 0.9997 | 0.9997 | 1 | 0.8126 | 0.0007059 | 0 | 0.007934 | 1 | 1 | -9.461e-10 | 0.00003241 | 0.001855 | 0.0006433 | 0.02536 | 3.197 | 0.1169 | 0.01566 | 0.0007193 | 1 | 1 | 0 | 0 | 0.001851 | 0 | 0 | 0.04107 | json |
| t12_x1_u5_b80 | 12 | 1 | 5 | 80 | ![]() |
sgn(eql(P,div(P,D))) | 20720 | 97488698 | o1(o2(x,o2(x,x))) | true | 165767 | 165767 | 0.0625 | 0.125 | 0.0625 | 0.04507 | 0.2123 | 0 | 0.9997 | 0.9997 | 1 | 0.8126 | 0.0007059 | 0 | 0.007934 | 1 | 1 | -9.461e-10 | 0.00003241 | 0.001855 | 0.0006433 | 0.02536 | 3.197 | 0.1169 | 0.01566 | 0.0007193 | 1 | 1 | 0 | 0 | 0.001851 | 0 | 0 | 0.04107 | json |
| t12_x1_u5_b81 | 12 | 1 | 5 | 81 | ![]() |
sgn(eql(P,pow(P,D))) | 20721 | 97488699 | o1(o2(x,o2(x,x))) | true | 165775 | 165775 | 0.09375 | 0.125 | 0.09375 | 0.0782 | 0.2796 | 0 | 1 | 1 | 1 | 0.7448 | 0.004321 | 0 | 0.007937 | 1 | 1 | -4.731e-10 | 0.007953 | 0.008864 | 0.004257 | 0.06525 | 8.221 | 1 | 0.05526 | 0.1017 | 1 | 1 | 0 | 0 | 0.006189 | 0 | 0 | 0.07914 | json |
| t12_x1_u5_b82 | 12 | 1 | 5 | 82 | ![]() |
sgn(eql(P,mod(P,D))) | 20722 | 97488700 | o1(o2(x,o2(x,x))) | true | 165783 | 165783 | 0.0625 | 0.125 | 0.0625 | 0.04507 | 0.2123 | 0 | 0.9997 | 0.9997 | 1 | 0.8126 | 0.0007059 | 0 | 0.007934 | 1 | 1 | -9.461e-10 | 0.00003241 | 0.001855 | 0.0006433 | 0.02536 | 3.197 | 0.1169 | 0.01566 | 0.0007193 | 1 | 1 | 0 | 0 | 0.001851 | 0 | 0 | 0.04107 | json |
| t12_x1_u5_b83 | 12 | 1 | 5 | 83 | ![]() |
sgn(eql(P,lrg(P,D))) | 20723 | 97488701 | o1(o2(x,o2(x,x))) | true | 165791 | 165791 | 0.09375 | 0.125 | 0.09375 | 0.0782 | 0.2796 | 0 | 1 | 1 | 1 | 0.7448 | 0.004321 | 0 | 0.007937 | 1 | 1 | -4.731e-10 | 0.007953 | 0.008864 | 0.004257 | 0.06525 | 8.221 | 1 | 0.05526 | 0.1017 | 1 | 1 | 0 | 0 | 0.006189 | 0 | 0 | 0.07914 | json |
| t12_x1_u5_b84 | 12 | 1 | 5 | 84 | ![]() |
sgn(eql(P,eql(P,D))) | 20724 | 97488702 | o1(o2(x,o2(x,x))) | true | 165799 | 165799 | 0.0625 | 0.125 | 0.0625 | 0.04507 | 0.2123 | 0 | 0.9997 | 0.9997 | 1 | 0.8126 | 0.0007059 | 0 | 0.007934 | 1 | 1 | -9.461e-10 | 0.00003241 | 0.001855 | 0.0006433 | 0.02536 | 3.197 | 0.1169 | 0.01566 | 0.0007193 | 1 | 1 | 0 | 0 | 0.001851 | 0 | 0 | 0.04107 | json |
| t12_x1_u5_b85 | 12 | 1 | 5 | 85 | ![]() |
sgn(eql(P,min(P,D))) | 20725 | 97488703 | o1(o2(x,o2(x,x))) | true | 165807 | 165807 | 0.5 | 0.5625 | 0.5 | 0.2365 | 0.4863 | 0 | 1 | 1 | 1 | 1.577 | 0.00467 | 0 | 0.0119 | 1 | 1 | -4.731e-10 | 0.008068 | 0.009787 | 0.004528 | 0.06729 | 5.654 | 0.9994 | 0.01975 | 0.03412 | 1 | 1 | 0 | 0 | 0.007036 | 0 | 0 | 0.02976 | json |
| t12_x1_u5_b86 | 12 | 1 | 5 | 86 | ![]() |
sgn(eql(P,dot(P,D))) | 20726 | 97488704 | o1(o2(x,o2(x,x))) | true | 165815 | 165815 | 0.005727 | 0.02557 | 0.005727 | 0.003169 | 0.05629 | 0 | 0.9994 | 0.9994 | 1 | 0.1685 | 0.001655 | 0.001655 | 0.006965 | 4.573e-7 | 1 | -0.000003357 | 0.01679 | 0.01521 | 0.003259 | 0.05709 | 8.196 | 1.362 | 1.044 | 5.298 | 1 | 1 | 0 | 0 | 0.002071 | 0 | 0 | 0.6537 | json |
| t12_x1_u5_b87 | 12 | 1 | 5 | 87 | ![]() |
sgn(eql(P,dst(P,D))) | 20727 | 97488705 | o1(o2(x,o2(x,x))) | true | 165823 | 165823 | 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_x1_u5_b88 | 12 | 1 | 5 | 88 | ![]() |
sgn(min(P,add(P,D))) | 20728 | 97488706 | o1(o2(x,o2(x,x))) | true | 165831 | 165831 | -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 | 0 | 0.006228 | 0 | 0 | 0.006485 | json |
| t12_x1_u5_b89 | 12 | 1 | 5 | 89 | ![]() |
sgn(min(P,sub(P,D))) | 20729 | 97488707 | o1(o2(x,o2(x,x))) | true | 165839 | 165839 | -0.03125 | 0.4688 | 0.9493 | 0.9333 | 0.9661 | -1 | 1 | 2 | 1 | 1.703 | 0.005726 | 0 | 0.01587 | 1 | 1 | -1.892e-9 | 0.008166 | 0.01071 | 0.00547 | 0.07396 | 4.661 | 0.9991 | 0.006135 | 0.00875 | 1 | 1 | 0 | 0 | 0.009774 | 0 | 0 | 0.01047 | json |
| t12_x1_u5_b90 | 12 | 1 | 5 | 90 | ![]() |
sgn(min(P,mlt(P,D))) | 20730 | 97488708 | o1(o2(x,o2(x,x))) | true | 165847 | 165847 | -0.5 | 0.2188 | 0.8014 | 0.4846 | 0.6961 | -1 | 0.9994 | 1.999 | 1 | 2.761 | 0.1216 | 0 | 0.1189 | 1 | 1 | -0.0001797 | 0.2254 | 0.1257 | 0.1074 | 0.3278 | 2.756 | 1.999 | 0.2509 | 0.4651 | 1 | 1 | 0 | 0 | 0.1345 | 0 | 0 | 0.2776 | json |
| t12_x1_u5_b91 | 12 | 1 | 5 | 91 | ![]() |
sgn(min(P,div(P,D))) | 20731 | 97488709 | o1(o2(x,o2(x,x))) | true | 165855 | 165855 | -0.5 | 0.2188 | 0.8014 | 0.4846 | 0.6961 | -1 | 0.9994 | 1.999 | 1 | 2.761 | 0.1216 | 0 | 0.1189 | 1 | 1 | -0.0001797 | 0.2254 | 0.1257 | 0.1074 | 0.3278 | 2.756 | 1.999 | 0.2509 | 0.4651 | 1 | 1 | 0 | 0 | 0.1345 | 0 | 0 | 0.2776 | json |
| t12_x1_u5_b92 | 12 | 1 | 5 | 92 | ![]() |
sgn(min(P,pow(P,D))) | 20732 | 97488710 | o1(o2(x,o2(x,x))) | true | 165863 | 165863 | 0 | 0.5 | 0.9375 | 0.924 | 0.9612 | -1 | 1 | 2 | 1 | 1.813 | 0.0007059 | 0 | 0.007937 | 1 | 1 | 0 | 0.00003235 | 0.001851 | 0.0006432 | 0.02536 | 3.195 | 0.1169 | 0.0007639 | 0.00003501 | 1 | 1 | 0 | 0 | 0.001851 | 0 | 0 | 0.002003 | json |
| t12_x1_u5_b93 | 12 | 1 | 5 | 93 | ![]() |
sgn(min(P,mod(P,D))) | 20733 | 97488711 | o1(o2(x,o2(x,x))) | true | 165871 | 165871 | -0.06616 | 0.4961 | 0.8713 | 0.8529 | 0.9235 | -1 | 1 | 2 | 1 | 2.036 | 0.07112 | 0 | 0.07882 | 1 | 1 | 1.277e-8 | 0.1714 | 0.1437 | 0.06487 | 0.2547 | 3.231 | 0.9997 | 0.08339 | 0.2009 | 1 | 1 | 0 | 0 | 0.05922 | 0 | 0 | 0.06944 | json |
| t12_x1_u5_b94 | 12 | 1 | 5 | 94 | ![]() |
sgn(min(P,lrg(P,D))) | 20734 | 97488712 | o1(o2(x,o2(x,x))) | true | 165879 | 165879 | 0 | 0.5 | 0.9375 | 0.924 | 0.9612 | -1 | 1 | 2 | 1 | 1.813 | 0.0007059 | 0 | 0.007937 | 1 | 1 | 0 | 0.00003235 | 0.001851 | 0.0006432 | 0.02536 | 3.195 | 0.1169 | 0.0007639 | 0.00003501 | 1 | 1 | 0 | 0 | 0.001851 | 0 | 0 | 0.002003 | json |
| t12_x1_u5_b95 | 12 | 1 | 5 | 95 | ![]() |
sgn(min(P,eql(P,D))) | 20735 | 97488713 | o1(o2(x,o2(x,x))) | true | 165887 | 165887 | -0.4688 | 0 | 0.4688 | 0.2423 | 0.4922 | -1 | 0 | 1 | 1 | 1.406 | 0.0003529 | 0 | 0.003968 | 1 | 1 | 4.731e-10 | 0.00001619 | 0.0009276 | 0.0003372 | 0.01836 | 4.628 | 0.1169 | 0.001457 | 0.00006684 | 1 | 1 | 0 | 0 | 0.0009255 | 0 | 0 | 0.00382 | json |
| t12_x1_u5_b96 | 12 | 1 | 5 | 96 | ![]() |
sgn(min(P,min(P,D))) | 20736 | 97488714 | o1(o2(x,o2(x,x))) | true | 165895 | 165895 | -0.5313 | 0.2188 | 0.8326 | 0.4902 | 0.7001 | -1 | 0.9994 | 1.999 | 1 | 2.482 | 0.1252 | 0 | 0.1189 | 1 | 1 | -0.0001797 | 0.2333 | 0.1327 | 0.111 | 0.3332 | 2.802 | 1.999 | 0.2554 | 0.476 | 1 | 1 | 0 | 0 | 0.1388 | 0 | 0 | 0.2832 | json |
| t12_x1_u5_b97 | 12 | 1 | 5 | 97 | ![]() |
sgn(min(P,dot(P,D))) | 20737 | 97488715 | o1(o2(x,o2(x,x))) | true | 165903 | 165903 | -0.544 | 0.2062 | 0.7629 | 0.3851 | 0.6205 | -1 | 0.9994 | 1.999 | 1 | 3.165 | 0.06073 | 0.05697 | 0.1413 | 0.03192 | 1 | 0.0009534 | 0.3397 | 0.1606 | 0.09775 | 0.3127 | 2.213 | 2.817 | 0.3057 | 0.8823 | 1 | 1 | 0 | 0 | 0.1304 | 0 | 0 | 0.3386 | json |
| t12_x1_u5_b98 | 12 | 1 | 5 | 98 | ![]() |
sgn(min(P,dst(P,D))) | 20738 | 97488716 | o1(o2(x,o2(x,x))) | true | 165911 | 165911 | 0 | 0.5 | 0.9375 | 0.924 | 0.9612 | -1 | 1 | 2 | 1 | 1.813 | 0.0007059 | 0 | 0.007937 | 1 | 1 | 0 | 0.00003235 | 0.001851 | 0.0006432 | 0.02536 | 3.195 | 0.1169 | 0.0007639 | 0.00003501 | 1 | 1 | 0 | 0 | 0.001851 | 0 | 0 | 0.002003 | json |
| t12_x1_u5_b99 | 12 | 1 | 5 | 99 | ![]() |
sgn(dot(P,add(P,D))) | 20739 | 97488717 | o1(o2(x,o2(x,x))) | true | 165919 | 165919 | 0.9961 | 1 | 0.9961 | 0.002383 | 0.04882 | 0.000582 | 1 | 0.9994 | 1 | 0.1068 | 0.00003512 | 0.00003512 | 0.0008419 | 6.216e-7 | 0 | -1.577e-10 | 0.000004222 | 0.000206 | 0.00006942 | 0.008332 | 9.897 | 0.1169 | 0.02947 | 0.001772 | 1 | 1 | 0 | 0 | 0.0002443 | 0 | 0 | 0.1025 | json |
| t12_x1_u5_b100 | 12 | 1 | 5 | 100 | ![]() |
sgn(dot(P,sub(P,D))) | 20740 | 97488718 | o1(o2(x,o2(x,x))) | true | 165927 | 165927 | 0.9961 | 1 | 0.9961 | 0.002383 | 0.04882 | 0.000582 | 1 | 0.9994 | 1 | 0.1068 | 0.00003512 | 0.00003512 | 0.0008419 | 6.216e-7 | 0 | -1.577e-10 | 0.000004222 | 0.000206 | 0.00006942 | 0.008332 | 9.897 | 0.1169 | 0.02947 | 0.001772 | 1 | 1 | 0 | 0 | 0.0002443 | 0 | 0 | 0.1025 | json |
| t12_x1_u5_b101 | 12 | 1 | 5 | 101 | ![]() |
sgn(dot(P,mlt(P,D))) | 20741 | 97488719 | o1(o2(x,o2(x,x))) | true | 165935 | 165935 | 3.593e-10 | 0.4976 | 0.5997 | 0.4557 | 0.675 | -1 | 1 | 2 | 1 | 4.172 | 0.1171 | 0.1171 | 0.261 | -0.00001154 | 1 | -3.017e-9 | 0.5892 | 0.2956 | 0.1661 | 0.4076 | 1.562 | 2.817 | 0.5142 | 1.293 | 1 | 1 | 0 | 0 | 0.261 | 0 | 0 | 0.5727 | json |
| t12_x1_u5_b102 | 12 | 1 | 5 | 102 | ![]() |
sgn(dot(P,div(P,D))) | 20742 | 97488720 | o1(o2(x,o2(x,x))) | true | 165943 | 165943 | 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_x1_u5_b103 | 12 | 1 | 5 | 103 | ![]() |
sgn(dot(P,pow(P,D))) | 20743 | 97488721 | o1(o2(x,o2(x,x))) | true | 165951 | 165951 | -0.501 | 0.25 | 0.999 | 0.7481 | 0.8649 | -1 | 1 | 2 | 1 | 0.838 | 0.00754 | 0.00754 | 0.007889 | 4.632e-7 | 1 | 4.13e-11 | 0.03016 | 0.01541 | 0.01502 | 0.1225 | 15.53 | 2 | 0.02016 | 0.04032 | 1 | 1 | 0 | 0 | 0.01969 | 0 | 0 | 0.02632 | json |
| t12_x1_u5_b104 | 12 | 1 | 5 | 104 | ![]() |
sgn(dot(P,mod(P,D))) | 20744 | 97488722 | o1(o2(x,o2(x,x))) | true | 165959 | 165959 | 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_x1_u5_b105 | 12 | 1 | 5 | 105 | ![]() |
sgn(dot(P,lrg(P,D))) | 20745 | 97488723 | o1(o2(x,o2(x,x))) | true | 165967 | 165967 | 0.7178 | 0.75 | 0.7178 | 0.1956 | 0.4423 | 0 | 1 | 1 | 1 | 1.198 | 0.0001852 | 0.0001852 | 0.004173 | 0.000001571 | 1 | -4.731e-10 | 0.00001725 | 0.0009792 | 0.000353 | 0.01879 | 4.502 | 0.1169 | 0.001894 | 0.00008815 | 1 | 1 | 0 | 0 | 0.0009865 | 0 | 0 | 0.005042 | json |
| t12_x1_u5_b106 | 12 | 1 | 5 | 106 | ![]() |
sgn(dot(P,eql(P,D))) | 20746 | 97488724 | o1(o2(x,o2(x,x))) | true | 165975 | 165975 | 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_x1_u5_b107 | 12 | 1 | 5 | 107 | ![]() |
sgn(dot(P,min(P,D))) | 20747 | 97488725 | o1(o2(x,o2(x,x))) | true | 165983 | 165983 | 0.6606 | 0.8303 | 0.8539 | 0.3652 | 0.6043 | -1 | 1 | 2 | 1 | 2.271 | 0.03842 | 0.03842 | 0.09074 | 0.000007805 | 1 | 0.001443 | 0.2017 | 0.1033 | 0.06862 | 0.262 | 2.887 | 2.817 | 0.2104 | 0.5522 | 1 | 1 | 0 | 0 | 0.08915 | 0 | 0 | 0.2441 | json |
| t12_x1_u5_b108 | 12 | 1 | 5 | 108 | ![]() |
sgn(dot(P,dot(P,D))) | 20748 | 97488726 | o1(o2(x,o2(x,x))) | true | 165991 | 165991 | 4.768e-9 | 0.4972 | 0.5542 | 0.4035 | 0.6352 | -1 | 1 | 2 | 1 | 4.479 | 0.1156 | 0.1156 | 0.265 | -0.00001637 | 1 | 5.031e-9 | 0.671 | 0.3061 | 0.1609 | 0.4012 | 1.514 | 2.817 | 0.5729 | 1.663 | 1 | 1 | 0 | 0 | 0.2471 | 0 | 0 | 0.6125 | json |
| t12_x1_u5_b109 | 12 | 1 | 5 | 109 | ![]() |
sgn(dot(P,dst(P,D))) | 20749 | 97488727 | o1(o2(x,o2(x,x))) | true | 165999 | 165999 | 6.985e-10 | 0.498 | 0.9349 | 0.9146 | 0.9564 | -1 | 1 | 2 | 1 | 2.022 | 0.0006161 | 0.0006161 | 0.01247 | 5.196e-7 | 1 | 4.881e-10 | 0.00006356 | 0.002676 | 0.001077 | 0.03282 | 2.631 | 0.1653 | 0.001347 | 0.00006949 | 1 | 1 | 0 | 0 | 0.003194 | 0 | 0 | 0.003492 | json |
| t12_x1_u5_b110 | 12 | 1 | 5 | 110 | ![]() |
sgn(dst(P,add(P,D))) | 20750 | 97488728 | o1(o2(x,o2(x,x))) | true | 166007 | 166007 | 1 | 1 | 1 | 0 | 0 | 1 | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t12_x1_u5_b111 | 12 | 1 | 5 | 111 | ![]() |
sgn(dst(P,sub(P,D))) | 20751 | 97488729 | o1(o2(x,o2(x,x))) | true | 166015 | 166015 | 1 | 1 | 1 | 0 | 0 | 1 | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t12_x1_u5_b112 | 12 | 1 | 5 | 112 | ![]() |
sgn(dst(P,mlt(P,D))) | 20752 | 97488730 | o1(o2(x,o2(x,x))) | true | 166023 | 166023 | 0.9961 | 1 | 0.9961 | 0.002383 | 0.04882 | 0.000582 | 1 | 0.9994 | 1 | 0.1068 | 0.00003512 | 0.00003512 | 0.0008419 | 6.216e-7 | 0 | -1.577e-10 | 0.000004222 | 0.000206 | 0.00006942 | 0.008332 | 9.897 | 0.1169 | 0.02947 | 0.001772 | 1 | 1 | 0 | 0 | 0.0002443 | 0 | 0 | 0.1025 | json |
| t12_x1_u5_b113 | 12 | 1 | 5 | 113 | ![]() |
sgn(dst(P,div(P,D))) | 20753 | 97488731 | o1(o2(x,o2(x,x))) | true | 166031 | 166031 | 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_x1_u5_b114 | 12 | 1 | 5 | 114 | ![]() |
sgn(dst(P,pow(P,D))) | 20754 | 97488732 | o1(o2(x,o2(x,x))) | true | 166039 | 166039 | -0.4355 | 0.2821 | 0.9795 | 0.7821 | 0.8843 | -1 | 1 | 2 | 1 | 1.205 | 0.000741 | 0.000741 | 0.008368 | 0.000001453 | 1 | 9.386e-11 | 0.00006899 | 0.001958 | 0.001411 | 0.03757 | 4.489 | 0.2338 | 0.001895 | 0.00008821 | 1 | 1 | 0 | 0 | 0.003946 | 0 | 0 | 0.005046 | json |
| t12_x1_u5_b115 | 12 | 1 | 5 | 115 | ![]() |
sgn(dst(P,mod(P,D))) | 20755 | 97488733 | o1(o2(x,o2(x,x))) | true | 166047 | 166047 | 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_x1_u5_b116 | 12 | 1 | 5 | 116 | ![]() |
sgn(dst(P,lrg(P,D))) | 20756 | 97488734 | o1(o2(x,o2(x,x))) | true | 166055 | 166055 | 0.9912 | 0.9961 | 0.9912 | 0.007496 | 0.08658 | 0 | 1 | 1 | 1 | 0.1339 | 0.0003818 | 0.0003818 | 0.001464 | 0 | 1 | -7.884e-11 | 0.001443 | 0.001675 | 0.0007623 | 0.02761 | 18.85 | 1 | 0.1019 | 0.1925 | 1 | 1 | 0 | 0 | 0.001451 | 0 | 0 | 0.1935 | json |
| t12_x1_u5_b117 | 12 | 1 | 5 | 117 | ![]() |
sgn(dst(P,eql(P,D))) | 20757 | 97488735 | o1(o2(x,o2(x,x))) | true | 166063 | 166063 | 1 | 1 | 1 | 0 | 0 | 1 | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t12_x1_u5_b118 | 12 | 1 | 5 | 118 | ![]() |
sgn(dst(P,min(P,D))) | 20758 | 97488736 | o1(o2(x,o2(x,x))) | true | 166071 | 166071 | 0.75 | 0.8086 | 0.75 | 0.1742 | 0.4173 | 0 | 1 | 1 | 1 | 1.373 | 0.002271 | 0.002271 | 0.01171 | -0.000002358 | 1 | -1.047e-9 | 0.00789 | 0.009746 | 0.004397 | 0.06631 | 5.662 | 0.9994 | 0.02607 | 0.0453 | 1 | 1 | 0 | 0 | 0.00678 | 0 | 0 | 0.03893 | json |
| t12_x1_u5_b119 | 12 | 1 | 5 | 119 | ![]() |
sgn(dst(P,dot(P,D))) | 20759 | 97488737 | o1(o2(x,o2(x,x))) | true | 166079 | 166079 | 0.9961 | 1 | 0.9961 | 0.002383 | 0.04882 | 0.000582 | 1 | 0.9994 | 1 | 0.1068 | 0.00003512 | 0.00003512 | 0.0008419 | 6.216e-7 | 0 | -1.577e-10 | 0.000004222 | 0.000206 | 0.00006942 | 0.008332 | 9.897 | 0.1169 | 0.02947 | 0.001772 | 1 | 1 | 0 | 0 | 0.0002443 | 0 | 0 | 0.1025 | json |
| t12_x1_u5_b120 | 12 | 1 | 5 | 120 | ![]() |
sgn(dst(P,dst(P,D))) | 20760 | 97488738 | o1(o2(x,o2(x,x))) | true | 166087 | 166087 | 1 | 1 | 1 | 0 | 0 | 1 | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t12_x1_u6_b0 | 12 | 1 | 6 | 0 | ![]() |
nrm(add(P,add(P,D))) | 20761 | 97488819 | o1(o2(x,o2(x,x))) | true | 166095 | 166095 | 7.112e-10 | 0.5 | 0.6465 | 0.499 | 0.7064 | -1 | 1 | 2 | 1 | 4.783 | 0.000246 | 0.00007447 | 0.009115 | 0.5353 | 1 | -1.97e-10 | 0.0001769 | 0.001195 | 0.0002374 | 0.01541 | 1.691 | 1.467 | 0.0006422 | 0.0003545 | 1 | 1 | 0 | 0 | 0.0009647 | 0 | 0 | 0.001933 | json |
| t12_x1_u6_b1 | 12 | 1 | 6 | 1 | ![]() |
nrm(add(P,sub(P,D))) | 20762 | 97488820 | o1(o2(x,o2(x,x))) | true | 166103 | 166103 | 1.218e-9 | 0.5 | 0.6386 | 0.4901 | 0.7001 | -1 | 1 | 2 | 1 | 4.792 | 0.0004187 | 0.00008736 | 0.01142 | 0.6548 | 1 | 2.314e-10 | 0.0002091 | 0.003156 | 0.0003756 | 0.01938 | 1.697 | 1.466 | 0.001033 | 0.0004268 | 1 | 1 | 0 | 0 | 0.00155 | 0 | 0 | 0.003162 | json |
| t12_x1_u6_b2 | 12 | 1 | 6 | 2 | ![]() |
nrm(add(P,mlt(P,D))) | 20763 | 97488821 | o1(o2(x,o2(x,x))) | true | 166111 | 166111 | -0.01879 | 0.4886 | 0.6419 | 0.4881 | 0.6986 | -1 | 1 | 2 | 1 | 4.792 | 0.002027 | 0.001253 | 0.01896 | 0.236 | 1 | 0.00003129 | 0.005953 | 0.009104 | 0.00292 | 0.05404 | 2.85 | 2.414 | 0.006719 | 0.0122 | 1 | 1 | 0 | 0 | 0.006017 | 0 | 0 | 0.01233 | json |
| t12_x1_u6_b3 | 12 | 1 | 6 | 3 | ![]() |
nrm(add(P,div(P,D))) | 20764 | 97488822 | o1(o2(x,o2(x,x))) | true | 166119 | 166119 | -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_x1_u6_b4 | 12 | 1 | 6 | 4 | ![]() |
nrm(add(P,pow(P,D))) | 20765 | 97488823 | o1(o2(x,o2(x,x))) | true | 166127 | 166127 | -0.5887 | 0.2491 | 0.9113 | 0.5239 | 0.7238 | -1 | 0.9938 | 1.994 | 1 | 1.756 | 0.002028 | 0.007306 | 0.007985 | -0.5654 | 1 | -5.799e-7 | 0.0186 | 0.01194 | 0.009269 | 0.09628 | 12.06 | 1.994 | 0.01781 | 0.03549 | 1 | 1 | 0 | 0 | 0.01222 | 0 | 0 | 0.02333 | json |
| t12_x1_u6_b5 | 12 | 1 | 6 | 5 | ![]() |
nrm(add(P,mod(P,D))) | 20766 | 97488824 | o1(o2(x,o2(x,x))) | true | 166135 | 166135 | -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_x1_u6_b6 | 12 | 1 | 6 | 6 | ![]() |
nrm(add(P,lrg(P,D))) | 20767 | 97488825 | o1(o2(x,o2(x,x))) | true | 166143 | 166143 | 0.03954 | 0.5259 | 0.6512 | 0.4938 | 0.7027 | -1 | 1 | 2 | 1 | 4.774 | 0.002326 | 0.001099 | 0.01287 | 0.3582 | 1 | -9.43e-7 | 0.006515 | 0.007718 | 0.00326 | 0.0571 | 4.436 | 2.414 | 0.006938 | 0.0132 | 1 | 1 | 0 | 0 | 0.00647 | 0 | 0 | 0.0131 | json |
| t12_x1_u6_b7 | 12 | 1 | 6 | 7 | ![]() |
nrm(add(P,eql(P,D))) | 20768 | 97488826 | o1(o2(x,o2(x,x))) | true | 166151 | 166151 | -2.683e-10 | 0.4973 | 0.6252 | 0.4699 | 0.6855 | -0.9923 | 0.9923 | 1.985 | 1 | 4.843 | 0.0001395 | 0.00002503 | 0.008853 | 0.6958 | 1 | 3.136e-10 | 0.000007613 | 0.001828 | 0.00008616 | 0.009282 | 1.048 | 0.08265 | 0.0003502 | 0.0000162 | 1 | 1 | 0 | 0 | 0.0005041 | 0 | 0 | 0.001073 | json |
| t12_x1_u6_b8 | 12 | 1 | 6 | 8 | ![]() |
nrm(add(P,min(P,D))) | 20769 | 97488827 | o1(o2(x,o2(x,x))) | true | 166159 | 166159 | -0.08624 | 0.491 | 0.6398 | 0.4926 | 0.7018 | -1 | 1 | 2 | 1 | 4.709 | 0.001168 | 0.001087 | 0.009982 | 0.03578 | 1 | 0.000005752 | 0.004417 | 0.004048 | 0.002155 | 0.04642 | 4.651 | 2.414 | 0.004577 | 0.008967 | 1 | 1 | 0 | 0 | 0.004226 | 0 | 0 | 0.008579 | json |
| t12_x1_u6_b9 | 12 | 1 | 6 | 9 | ![]() |
nrm(add(P,dot(P,D))) | 20770 | 97488828 | o1(o2(x,o2(x,x))) | true | 166167 | 166167 | -0.03077 | 0.4845 | 0.5827 | 0.4079 | 0.6386 | -1 | 0.9989 | 1.999 | 1 | 4.897 | 0.002332 | 0.001977 | 0.03673 | 0.08237 | 1 | 0.0003024 | 0.005892 | 0.01675 | 0.002959 | 0.0544 | 1.481 | 2.414 | 0.01056 | 0.01445 | 1 | 1 | 0 | 0 | 0.008019 | 0 | 0 | 0.01966 | json |
| t12_x1_u6_b10 | 12 | 1 | 6 | 10 | ![]() |
nrm(add(P,dst(P,D))) | 20771 | 97488829 | o1(o2(x,o2(x,x))) | true | 166175 | 166175 | 0.4817 | 0.9769 | 0.4827 | 0.08871 | 0.2978 | -0.2391 | 0.8731 | 1.112 | 1 | 3.727 | 0.00003499 | 0.00002624 | 0.00508 | 0.1429 | 0 | -0.000009677 | 0.000004468 | 0.001258 | 0.00003543 | 0.005952 | 1.172 | 0.06855 | 0.0006903 | 0.00005037 | 1 | 1 | 0 | 0 | 0.000192 | 0 | 0 | 0.002164 | json |
| t12_x1_u6_b11 | 12 | 1 | 6 | 11 | ![]() |
nrm(sub(P,add(P,D))) | 20772 | 97488830 | o1(o2(x,o2(x,x))) | true | 166183 | 166183 | -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 | 0 | 0.07517 | 0 | 0 | 0.4025 | json |
| t12_x1_u6_b12 | 12 | 1 | 6 | 12 | ![]() |
nrm(sub(P,sub(P,D))) | 20773 | 97488831 | o1(o2(x,o2(x,x))) | true | 166191 | 166191 | 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 | 0 | 0.07517 | 0 | 0 | 0.4025 | json |
| t12_x1_u6_b13 | 12 | 1 | 6 | 13 | ![]() |
nrm(sub(P,mlt(P,D))) | 20774 | 97488832 | o1(o2(x,o2(x,x))) | true | 166199 | 166199 | -0.01246 | 0.4912 | 0.6419 | 0.4883 | 0.6988 | -1 | 1 | 2 | 1 | 4.791 | 0.002006 | 0.00147 | 0.01902 | 0.1542 | 1 | -0.00003129 | 0.006392 | 0.009324 | 0.003114 | 0.05581 | 2.933 | 2.414 | 0.007119 | 0.01309 | 1 | 1 | 0 | 0 | 0.006327 | 0 | 0 | 0.01296 | json |
| t12_x1_u6_b14 | 12 | 1 | 6 | 14 | ![]() |
nrm(sub(P,div(P,D))) | 20775 | 97488833 | o1(o2(x,o2(x,x))) | true | 166207 | 166207 | -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_x1_u6_b15 | 12 | 1 | 6 | 15 | ![]() |
nrm(sub(P,pow(P,D))) | 20776 | 97488834 | o1(o2(x,o2(x,x))) | true | 166215 | 166215 | -0.6094 | 0.2181 | 0.8906 | 0.4855 | 0.6968 | -1 | 0.9899 | 1.99 | 1 | 1.746 | 0.002052 | 0.006234 | 0.008575 | -0.5048 | 1 | 0.000003018 | 0.01645 | 0.01175 | 0.008209 | 0.0906 | 10.57 | 1.987 | 0.01707 | 0.03388 | 1 | 1 | 0 | 0 | 0.01043 | 0 | 0 | 0.02149 | json |
| t12_x1_u6_b16 | 12 | 1 | 6 | 16 | ![]() |
nrm(sub(P,mod(P,D))) | 20777 | 97488835 | o1(o2(x,o2(x,x))) | true | 166223 | 166223 | -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_x1_u6_b17 | 12 | 1 | 6 | 17 | ![]() |
nrm(sub(P,lrg(P,D))) | 20778 | 97488836 | o1(o2(x,o2(x,x))) | true | 166231 | 166231 | -0.08691 | 0.4273 | 0.6398 | 0.4979 | 0.7056 | -1 | 1 | 2 | 1 | 4.609 | 0.002441 | 0.001547 | 0.0108 | 0.2241 | 1 | 0.000001303 | 0.008005 | 0.008602 | 0.003872 | 0.06222 | 5.759 | 2.414 | 0.008009 | 0.01608 | 1 | 1 | 0 | 0 | 0.007115 | 0 | 0 | 0.01429 | json |
| t12_x1_u6_b18 | 12 | 1 | 6 | 18 | ![]() |
nrm(sub(P,eql(P,D))) | 20779 | 97488837 | o1(o2(x,o2(x,x))) | true | 166239 | 166239 | -2.683e-10 | 0.4973 | 0.6252 | 0.4699 | 0.6855 | -0.9923 | 0.9923 | 1.985 | 1 | 4.843 | 0.0001395 | 0.00002503 | 0.008853 | 0.6958 | 1 | 3.136e-10 | 0.000007613 | 0.001828 | 0.00008616 | 0.009282 | 1.048 | 0.08265 | 0.0003502 | 0.0000162 | 1 | 1 | 0 | 0 | 0.0005041 | 0 | 0 | 0.001073 | json |
| t12_x1_u6_b19 | 12 | 1 | 6 | 19 | ![]() |
nrm(sub(P,min(P,D))) | 20780 | 97488838 | o1(o2(x,o2(x,x))) | true | 166247 | 166247 | 0.0617 | 0.4903 | 0.6945 | 0.6522 | 0.8076 | -1 | 1 | 2 | 1 | 2.734 | 0.008786 | 0.002588 | 0.01002 | 0.5449 | 1 | 5.507e-7 | 0.02271 | 0.01454 | 0.01128 | 0.1062 | 10.6 | 2.414 | 0.01744 | 0.03482 | 1 | 1 | 0 | 0 | 0.0158 | 0 | 0 | 0.02423 | json |
| t12_x1_u6_b20 | 12 | 1 | 6 | 20 | ![]() |
nrm(sub(P,dot(P,D))) | 20781 | 97488839 | o1(o2(x,o2(x,x))) | true | 166255 | 166255 | -0.0004764 | 0.4999 | 0.5827 | 0.4088 | 0.6394 | -1 | 0.9989 | 1.999 | 1 | 4.9 | 0.002513 | 0.002094 | 0.03677 | 0.09097 | 1 | -0.0003024 | 0.006708 | 0.01716 | 0.003255 | 0.05706 | 1.552 | 2.414 | 0.01127 | 0.01641 | 1 | 1 | 0 | 0 | 0.008364 | 0 | 0 | 0.02046 | json |
| t12_x1_u6_b21 | 12 | 1 | 6 | 21 | ![]() |
nrm(sub(P,dst(P,D))) | 20782 | 97488840 | o1(o2(x,o2(x,x))) | true | 166263 | 166263 | -0.4817 | 0.02277 | 0.4827 | 0.08871 | 0.2978 | -0.8731 | 0.2391 | 1.112 | 1 | 3.727 | 0.00003502 | 0.00002624 | 0.005093 | 0.1433 | 0 | 0.000009678 | 0.000004468 | 0.001258 | 0.00003533 | 0.005944 | 1.167 | 0.06722 | 0.0006906 | 0.00005037 | 1 | 1 | 0 | 0 | 0.0001924 | 0 | 0 | 0.002169 | json |
| t12_x1_u6_b22 | 12 | 1 | 6 | 22 | ![]() |
nrm(mlt(P,add(P,D))) | 20783 | 97488841 | o1(o2(x,o2(x,x))) | true | 166271 | 166271 | 0.5797 | 0.971 | 0.611 | 0.1708 | 0.4132 | -1 | 1 | 2 | 1 | 3.577 | 0.003786 | 0.001766 | 0.01174 | 0.3638 | 1 | -0.000008792 | 0.01117 | 0.00744 | 0.005415 | 0.07358 | 6.268 | 2.414 | 0.03252 | 0.06543 | 1 | 1 | 0 | 0 | 0.009961 | 0 | 0 | 0.05833 | json |
| t12_x1_u6_b23 | 12 | 1 | 6 | 23 | ![]() |
nrm(mlt(P,sub(P,D))) | 20784 | 97488842 | o1(o2(x,o2(x,x))) | true | 166279 | 166279 | 0.5792 | 0.9791 | 0.6105 | 0.1641 | 0.4051 | -1 | 1 | 2 | 1 | 3.643 | 0.00346 | 0.002149 | 0.01415 | 0.2337 | 1 | -4.316e-7 | 0.01109 | 0.009272 | 0.00541 | 0.07355 | 5.2 | 2.414 | 0.03419 | 0.0676 | 1 | 1 | 0 | 0 | 0.01018 | 0 | 0 | 0.06204 | json |
| t12_x1_u6_b24 | 12 | 1 | 6 | 24 | ![]() |
nrm(mlt(P,mlt(P,D))) | 20785 | 97488843 | o1(o2(x,o2(x,x))) | true | 166287 | 166287 | -0.01562 | 0.4902 | 0.3798 | 0.2442 | 0.4941 | -1 | 0.9994 | 1.999 | 1 | 4.71 | 0.06695 | 0.005884 | 0.1459 | 0.8384 | 1 | -9.151e-11 | 0.1021 | 0.1029 | 0.05156 | 0.2271 | 1.557 | 1.999 | 0.2983 | 0.4183 | 1 | 1 | 0 | 0 | 0.09922 | 0 | 0 | 0.4064 | json |
| t12_x1_u6_b25 | 12 | 1 | 6 | 25 | ![]() |
nrm(mlt(P,div(P,D))) | 20786 | 97488844 | o1(o2(x,o2(x,x))) | true | 166295 | 166295 | -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_x1_u6_b26 | 12 | 1 | 6 | 26 | ![]() |
nrm(mlt(P,pow(P,D))) | 20787 | 97488845 | o1(o2(x,o2(x,x))) | true | 166303 | 166303 | -0.5978 | 0.2449 | 0.91 | 0.5145 | 0.7173 | -1 | 1 | 2 | 1 | 1.743 | 0.00267 | 0.007472 | 0.01079 | -0.4735 | 1 | -0.00001191 | 0.02028 | 0.0135 | 0.01003 | 0.1001 | 9.277 | 2.414 | 0.01971 | 0.03942 | 1 | 1 | 0 | 0 | 0.01354 | 0 | 0 | 0.02632 | json |
| t12_x1_u6_b27 | 12 | 1 | 6 | 27 | ![]() |
nrm(mlt(P,mod(P,D))) | 20788 | 97488846 | o1(o2(x,o2(x,x))) | true | 166311 | 166311 | -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_x1_u6_b28 | 12 | 1 | 6 | 28 | ![]() |
nrm(mlt(P,lrg(P,D))) | 20789 | 97488847 | o1(o2(x,o2(x,x))) | true | 166319 | 166319 | 0.06105 | 0.4635 | 0.6939 | 0.6536 | 0.8085 | -1 | 1 | 2 | 1 | 2.681 | 0.008832 | 0.002472 | 0.00886 | 0.5626 | 1 | -6.589e-7 | 0.02263 | 0.01395 | 0.01122 | 0.1059 | 11.96 | 2.414 | 0.01729 | 0.03462 | 1 | 1 | 0 | 0 | 0.01564 | 0 | 0 | 0.02392 | json |
| t12_x1_u6_b29 | 12 | 1 | 6 | 29 | ![]() |
nrm(mlt(P,eql(P,D))) | 20790 | 97488848 | o1(o2(x,o2(x,x))) | true | 166327 | 166327 | -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_x1_u6_b30 | 12 | 1 | 6 | 30 | ![]() |
nrm(mlt(P,min(P,D))) | 20791 | 97488849 | o1(o2(x,o2(x,x))) | true | 166335 | 166335 | 0.3405 | 0.6909 | 0.5038 | 0.2995 | 0.5473 | -1 | 1 | 2 | 1 | 4.049 | 0.01949 | 0.00303 | 0.0557 | 0.7308 | 1 | 0.0002683 | 0.03083 | 0.03459 | 0.01941 | 0.1393 | 2.502 | 2 | 0.07517 | 0.1029 | 1 | 1 | 0 | 0 | 0.03625 | 0 | 0 | 0.121 | json |
| t12_x1_u6_b31 | 12 | 1 | 6 | 31 | ![]() |
nrm(mlt(P,dot(P,D))) | 20792 | 97488850 | o1(o2(x,o2(x,x))) | true | 166343 | 166343 | -0.03467 | 0.4797 | 0.3847 | 0.2325 | 0.4822 | -1 | 0.9994 | 1.999 | 1 | 4.822 | 0.1184 | 0.08275 | 0.2227 | 0.1772 | 1 | -3.994e-10 | 0.8115 | 0.327 | 0.1515 | 0.3893 | 1.748 | 2.827 | 0.8651 | 3.49 | 1 | 1 | 0 | 0 | 0.1802 | 0 | 0 | 0.7748 | json |
| t12_x1_u6_b32 | 12 | 1 | 6 | 32 | ![]() |
nrm(mlt(P,dst(P,D))) | 20793 | 97488851 | o1(o2(x,o2(x,x))) | true | 166351 | 166351 | -0.01562 | 0.4896 | 0.6504 | 0.5048 | 0.7105 | -1 | 1 | 2 | 1 | 4.761 | 0.001863 | 0.00124 | 0.0104 | 0.2009 | 1 | -2.39e-10 | 0.00612 | 0.00575 | 0.002995 | 0.05473 | 5.261 | 2.414 | 0.006147 | 0.01212 | 1 | 1 | 0 | 0 | 0.005637 | 0 | 0 | 0.01117 | json |
| t12_x1_u6_b33 | 12 | 1 | 6 | 33 | ![]() |
nrm(div(P,add(P,D))) | 20794 | 97488852 | o1(o2(x,o2(x,x))) | true | 166359 | 166359 | -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_x1_u6_b34 | 12 | 1 | 6 | 34 | ![]() |
nrm(div(P,sub(P,D))) | 20795 | 97488853 | o1(o2(x,o2(x,x))) | true | 166367 | 166367 | -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_x1_u6_b35 | 12 | 1 | 6 | 35 | ![]() |
nrm(div(P,mlt(P,D))) | 20796 | 97488854 | o1(o2(x,o2(x,x))) | true | 166375 | 166375 | -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_x1_u6_b36 | 12 | 1 | 6 | 36 | ![]() |
nrm(div(P,div(P,D))) | 20797 | 97488855 | o1(o2(x,o2(x,x))) | true | 166383 | 166383 | -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_x1_u6_b37 | 12 | 1 | 6 | 37 | ![]() |
nrm(div(P,pow(P,D))) | 20798 | 97488856 | o1(o2(x,o2(x,x))) | true | 166391 | 166391 | -0.6844 | 0.1914 | 0.9328 | 0.4285 | 0.6546 | -1 | 0.9931 | 1.993 | 1 | 1.399 | 0.003001 | 0.006583 | 0.01075 | -0.3738 | 1 | 0.00002456 | 0.01895 | 0.01284 | 0.00947 | 0.09732 | 9.054 | 1.991 | 0.02237 | 0.04423 | 1 | 1 | 0 | 0 | 0.01228 | 0 | 0 | 0.02867 | json |
| t12_x1_u6_b38 | 12 | 1 | 6 | 38 | ![]() |
nrm(div(P,mod(P,D))) | 20799 | 97488857 | o1(o2(x,o2(x,x))) | true | 166399 | 166399 | -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 |



































































































