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_u1_b44 | 12 | 1 | 1 | 44 | ![]() |
log(pow(P,add(P,D))) | 20200 | 97487858 | o1(o2(x,o2(x,x))) | true | 161607 | 161607 | -0.1546 | 0.4375 | 0.9704 | 0.9411 | 0.9701 | -1 | 1 | 2 | 1 | 1.309 | 0.004441 | 0 | 0.007937 | 1 | 1 | -1.892e-9 | 0.007964 | 0.009082 | 0.004377 | 0.06616 | 8.336 | 1 | 0.004719 | 0.008462 | 1 | 1 | 0 | 0 | 0.006499 | 0 | 0 | 0.006905 | json |
| t12_x1_u1_b45 | 12 | 1 | 1 | 45 | ![]() |
log(pow(P,sub(P,D))) | 20201 | 97487859 | o1(o2(x,o2(x,x))) | true | 161615 | 161615 | -0.1476 | 0.4375 | 0.9774 | 0.9512 | 0.9753 | -1 | 1 | 2 | 1 | 1.226 | 0.004554 | 0 | 0.007937 | 1 | 1 | -9.386e-13 | 0.007941 | 0.009297 | 0.00449 | 0.067 | 8.442 | 1.001 | 0.004787 | 0.008348 | 1 | 1 | 0 | 0 | 0.006813 | 0 | 0 | 0.007163 | json |
| t12_x1_u1_b46 | 12 | 1 | 1 | 46 | ![]() |
log(pow(P,mlt(P,D))) | 20202 | 97487860 | o1(o2(x,o2(x,x))) | true | 161623 | 161623 | -0.6593 | 0.1484 | 0.817 | 0.3318 | 0.576 | -1 | 1 | 2 | 1 | 2.431 | 0.03689 | 0 | 0.08096 | 1 | 1 | -9.461e-10 | 0.02209 | 0.0514 | 0.03035 | 0.1742 | 2.152 | 0.9996 | 0.1112 | 0.06657 | 1 | 1 | 0 | 0 | 0.04253 | 0 | 0 | 0.1282 | json |
| t12_x1_u1_b47 | 12 | 1 | 1 | 47 | ![]() |
log(pow(P,div(P,D))) | 20203 | 97487861 | o1(o2(x,o2(x,x))) | true | 161631 | 161631 | -0.6263 | 0.1758 | 0.971 | 0.5724 | 0.7565 | -1 | 1 | 2 | 1 | 1.027 | 0.1724 | 0 | 0.1032 | 1 | 1 | -1.892e-9 | 0.3206 | 0.1839 | 0.1618 | 0.4023 | 3.899 | 2 | 0.3012 | 0.5602 | 1 | 1 | 0 | 0 | 0.171 | 0 | 0 | 0.2987 | json |
| t12_x1_u1_b48 | 12 | 1 | 1 | 48 | ![]() |
log(pow(P,pow(P,D))) | 20204 | 97487862 | o1(o2(x,o2(x,x))) | true | 161639 | 161639 | -0.18 | 0.4375 | 0.9449 | 0.8946 | 0.9458 | -1 | 1 | 2 | 1 | 1.766 | 0.004162 | 0 | 0.007937 | 1 | 1 | 1.892e-9 | 0.007936 | 0.008939 | 0.004098 | 0.06402 | 8.066 | 1 | 0.004652 | 0.00887 | 1 | 1 | 0 | 0 | 0.005778 | 0 | 0 | 0.006459 | json |
| t12_x1_u1_b49 | 12 | 1 | 1 | 49 | ![]() |
log(pow(P,mod(P,D))) | 20205 | 97487863 | o1(o2(x,o2(x,x))) | true | 161647 | 161647 | -0.4758 | 0.3945 | 0.6492 | 0.3655 | 0.6046 | -1 | 0.6923 | 1.692 | 1 | 2.311 | 0.01239 | 0 | 0.04667 | 1 | 1 | -0.00001552 | 0.0297 | 0.07645 | 0.01022 | 0.1011 | 2.166 | 1 | 0.0339 | 0.08126 | 1 | 1 | 0 | 0 | 0.008963 | 0 | 0 | 0.02452 | json |
| t12_x1_u1_b50 | 12 | 1 | 1 | 50 | ![]() |
log(pow(P,lrg(P,D))) | 20206 | 97487864 | o1(o2(x,o2(x,x))) | true | 161655 | 161655 | -0.1739 | 0.4375 | 0.9511 | 0.9053 | 0.9515 | -1 | 1 | 2 | 1 | 1.654 | 0.004186 | 0 | 0.007937 | 1 | 1 | 1.42e-9 | 0.007916 | 0.008917 | 0.004122 | 0.0642 | 8.089 | 1 | 0.004624 | 0.008745 | 1 | 1 | 0 | 0 | 0.005854 | 0 | 0 | 0.006466 | json |
| t12_x1_u1_b51 | 12 | 1 | 1 | 51 | ![]() |
log(pow(P,eql(P,D))) | 20207 | 97487865 | o1(o2(x,o2(x,x))) | true | 161663 | 161663 | 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_u1_b52 | 12 | 1 | 1 | 52 | ![]() |
log(pow(P,min(P,D))) | 20208 | 97487866 | o1(o2(x,o2(x,x))) | true | 161671 | 161671 | -0.5811 | 0.1719 | 0.6243 | 0.2366 | 0.4864 | -1 | 0.2753 | 1.275 | 1 | 2.4 | 0.005528 | 0 | 0.02624 | 1 | 1 | 0.0003388 | 0.008211 | 0.01673 | 0.00484 | 0.06957 | 2.651 | 0.9998 | 0.02337 | 0.03471 | 1 | 1 | 0 | 0 | 0.00742 | 0 | 0 | 0.03137 | json |
| t12_x1_u1_b53 | 12 | 1 | 1 | 53 | ![]() |
log(pow(P,dot(P,D))) | 20209 | 97487867 | o1(o2(x,o2(x,x))) | true | 161679 | 161679 | -0.6956 | 0.1251 | 0.839 | 0.3108 | 0.5575 | -1 | 1 | 2 | 1 | 2.307 | 0.02969 | 0.01447 | 0.09191 | 0.3445 | 1 | 0.000973 | 0.03204 | 0.0612 | 0.0357 | 0.189 | 2.056 | 1.194 | 0.1421 | 0.1031 | 1 | 1 | 0 | 0 | 0.04803 | 0 | 0 | 0.1546 | json |
| t12_x1_u1_b54 | 12 | 1 | 1 | 54 | ![]() |
log(pow(P,dst(P,D))) | 20210 | 97487868 | o1(o2(x,o2(x,x))) | true | 161687 | 161687 | -0.1426 | 0.4375 | 0.9824 | 0.9585 | 0.979 | -1 | 1 | 2 | 1 | 1.208 | 0.004833 | 0.000001154 | 0.007943 | 0.9995 | 1 | -9.255e-8 | 0.008092 | 0.01006 | 0.004769 | 0.06906 | 8.694 | 1.002 | 0.005043 | 0.008443 | 1 | 1 | 0 | 0 | 0.007307 | 0 | 0 | 0.007623 | json |
| t12_x1_u1_b55 | 12 | 1 | 1 | 55 | ![]() |
log(mod(P,add(P,D))) | 20211 | 97487869 | o1(o2(x,o2(x,x))) | true | 161695 | 161695 | -0.5569 | 0.2109 | 0.8873 | 0.5448 | 0.7381 | -1 | 1 | 2 | 1 | 2.079 | 0.1098 | 0 | 0.1007 | 1 | 1 | 2.766e-9 | 0.193 | 0.121 | 0.09972 | 0.3158 | 3.135 | 2 | 0.2016 | 0.3543 | 1 | 1 | 0 | 0 | 0.1174 | 0 | 0 | 0.2154 | json |
| t12_x1_u1_b56 | 12 | 1 | 1 | 56 | ![]() |
log(mod(P,sub(P,D))) | 20212 | 97487870 | o1(o2(x,o2(x,x))) | true | 161703 | 161703 | -0.529 | 0.2383 | 0.9122 | 0.6026 | 0.7763 | -1 | 1 | 2 | 1 | 1.977 | 0.1124 | 0 | 0.1063 | 1 | 1 | 2.838e-9 | 0.1994 | 0.127 | 0.1011 | 0.318 | 2.992 | 2 | 0.1866 | 0.3309 | 1 | 1 | 0 | 0 | 0.1196 | 0 | 0 | 0.1985 | json |
| t12_x1_u1_b57 | 12 | 1 | 1 | 57 | ![]() |
log(mod(P,mlt(P,D))) | 20213 | 97487871 | o1(o2(x,o2(x,x))) | true | 161711 | 161711 | -0.7835 | 0.09766 | 0.8537 | 0.1981 | 0.4451 | -1 | 0.9077 | 1.908 | 1 | 1.909 | 0.0507 | 0 | 0.1043 | 1 | 1 | -0.00008477 | 0.08015 | 0.1364 | 0.03983 | 0.1996 | 1.914 | 0.7136 | 0.256 | 0.4047 | 1 | 1 | 0 | 0 | 0.04754 | 0 | 0 | 0.24 | json |
| t12_x1_u1_b58 | 12 | 1 | 1 | 58 | ![]() |
log(mod(P,div(P,D))) | 20214 | 97487872 | o1(o2(x,o2(x,x))) | true | 161719 | 161719 | -0.1739 | 0.4375 | 0.9511 | 0.9053 | 0.9515 | -1 | 1 | 2 | 1 | 1.654 | 0.004186 | 0 | 0.007937 | 1 | 1 | 1.42e-9 | 0.007916 | 0.008917 | 0.004122 | 0.0642 | 8.089 | 1 | 0.004624 | 0.008745 | 1 | 1 | 0 | 0 | 0.005854 | 0 | 0 | 0.006466 | json |
| t12_x1_u1_b59 | 12 | 1 | 1 | 59 | ![]() |
log(mod(P,pow(P,D))) | 20215 | 97487873 | o1(o2(x,o2(x,x))) | true | 161727 | 161727 | -0.8819 | 0.007813 | 0.883 | 0.06338 | 0.2518 | -1 | 0.105 | 1.105 | 1 | 1.565 | 0.08194 | 0 | 0.1392 | 1 | 1 | 0.001921 | 0.2498 | 0.2443 | 0.06255 | 0.2501 | 1.797 | 1.105 | 1.293 | 3.941 | 1 | 1 | 0 | 0 | 0.04258 | 0 | 0 | 0.6719 | json |
| t12_x1_u1_b60 | 12 | 1 | 1 | 60 | ![]() |
log(mod(P,mod(P,D))) | 20216 | 97487874 | o1(o2(x,o2(x,x))) | true | 161735 | 161735 | -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_u1_b61 | 12 | 1 | 1 | 61 | ![]() |
log(mod(P,lrg(P,D))) | 20217 | 97487875 | o1(o2(x,o2(x,x))) | true | 161743 | 161743 | -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_u1_b62 | 12 | 1 | 1 | 62 | ![]() |
log(mod(P,eql(P,D))) | 20218 | 97487876 | o1(o2(x,o2(x,x))) | true | 161751 | 161751 | -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_u1_b63 | 12 | 1 | 1 | 63 | ![]() |
log(mod(P,min(P,D))) | 20219 | 97487877 | o1(o2(x,o2(x,x))) | true | 161759 | 161759 | -0.9998 | 0 | 0.9998 | 0.000008036 | 0.002835 | -1 | -0.9546 | 0.04545 | 1 | 0 | 0.00001639 | 0 | 0.0003607 | 1 | 0 | -9.461e-10 | 0.00004918 | 0.0007214 | 0.00001626 | 0.004032 | 11.18 | 0.04545 | 2.04 | 6.12 | 1 | 1 | 0 | 0 | 0.00001087 | 0 | 0 | 1.353 | json |
| t12_x1_u1_b64 | 12 | 1 | 1 | 64 | ![]() |
log(mod(P,dot(P,D))) | 20220 | 97487878 | o1(o2(x,o2(x,x))) | true | 161767 | 161767 | -0.7666 | 0.1125 | 0.8546 | 0.225 | 0.4744 | -1 | 1 | 2 | 1 | 2.004 | 0.1508 | 0.1485 | 0.2658 | 0.007511 | 1 | -0.0008843 | 1.474 | 0.5592 | 0.2286 | 0.4781 | 1.799 | 2.828 | 1.33 | 6.553 | 1 | 1 | 0 | 0 | 0.126 | 0 | 0 | 0.56 | json |
| t12_x1_u1_b65 | 12 | 1 | 1 | 65 | ![]() |
log(mod(P,dst(P,D))) | 20221 | 97487879 | o1(o2(x,o2(x,x))) | true | 161775 | 161775 | -0.2372 | 0.4044 | 0.9343 | 0.8568 | 0.9256 | -1 | 1 | 2 | 1 | 1.889 | 0.03764 | 0.01015 | 0.04515 | 0.5753 | 1 | 1.155e-9 | 0.1316 | 0.0634 | 0.04572 | 0.2138 | 4.736 | 2.828 | 0.05578 | 0.1535 | 1 | 1 | 0 | 0 | 0.05539 | 0 | 0 | 0.06465 | json |
| t12_x1_u1_b66 | 12 | 1 | 1 | 66 | ![]() |
log(lrg(P,add(P,D))) | 20222 | 97487880 | o1(o2(x,o2(x,x))) | true | 161783 | 161783 | -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_u1_b67 | 12 | 1 | 1 | 67 | ![]() |
log(lrg(P,sub(P,D))) | 20223 | 97487881 | o1(o2(x,o2(x,x))) | true | 161791 | 161791 | -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_u1_b68 | 12 | 1 | 1 | 68 | ![]() |
log(lrg(P,mlt(P,D))) | 20224 | 97487882 | o1(o2(x,o2(x,x))) | true | 161799 | 161799 | -0.5625 | 0 | 0.5625 | 0.2461 | 0.4961 | -1 | 0 | 1 | 1 | 0.9887 | 0.003968 | 0 | 0.003968 | 1 | 1 | 0 | 0.007937 | 0.007937 | 0.003952 | 0.06287 | 15.84 | 1 | 0.01612 | 0.03225 | 1 | 1 | 0 | 0 | 0.005263 | 0 | 0 | 0.02139 | json |
| t12_x1_u1_b69 | 12 | 1 | 1 | 69 | ![]() |
log(lrg(P,div(P,D))) | 20225 | 97487883 | o1(o2(x,o2(x,x))) | true | 161807 | 161807 | -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_u1_b70 | 12 | 1 | 1 | 70 | ![]() |
log(lrg(P,pow(P,D))) | 20226 | 97487884 | o1(o2(x,o2(x,x))) | true | 161815 | 161815 | -0.1875 | 0 | 0.1875 | 0.1523 | 0.3903 | -1 | 0 | 1 | 1 | 0.6962 | 0.007937 | 0 | 0.007937 | 1 | 1 | 0 | 0.01587 | 0.01587 | 0.007872 | 0.08872 | 11.18 | 1 | 0.0521 | 0.1042 | 1 | 1 | 0 | 0 | 0.01053 | 0 | 0 | 0.0691 | json |
| t12_x1_u1_b71 | 12 | 1 | 1 | 71 | ![]() |
log(lrg(P,mod(P,D))) | 20227 | 97487885 | o1(o2(x,o2(x,x))) | true | 161823 | 161823 | -0.5625 | 0 | 0.5625 | 0.2461 | 0.4961 | -1 | 0 | 1 | 1 | 0.9887 | 0.003968 | 0 | 0.003968 | 1 | 1 | 0 | 0.007937 | 0.007937 | 0.003952 | 0.06287 | 15.84 | 1 | 0.01612 | 0.03225 | 1 | 1 | 0 | 0 | 0.005263 | 0 | 0 | 0.02139 | json |
| t12_x1_u1_b72 | 12 | 1 | 1 | 72 | ![]() |
log(lrg(P,lrg(P,D))) | 20228 | 97487886 | o1(o2(x,o2(x,x))) | true | 161831 | 161831 | -0.625 | 0 | 0.625 | 0.2344 | 0.4841 | -1 | 0 | 1 | 1 | 0.9544 | 0.003968 | 0 | 0.003968 | 1 | 1 | 0 | 0.007937 | 0.007937 | 0.003952 | 0.06287 | 15.84 | 1 | 0.01693 | 0.03386 | 1 | 1 | 0 | 0 | 0.005263 | 0 | 0 | 0.02246 | json |
| t12_x1_u1_b73 | 12 | 1 | 1 | 73 | ![]() |
log(lrg(P,eql(P,D))) | 20229 | 97487887 | o1(o2(x,o2(x,x))) | true | 161839 | 161839 | -0.5625 | 0 | 0.5625 | 0.2461 | 0.4961 | -1 | 0 | 1 | 1 | 0.9887 | 0.003968 | 0 | 0.003968 | 1 | 1 | 0 | 0.007937 | 0.007937 | 0.003952 | 0.06287 | 15.84 | 1 | 0.01612 | 0.03225 | 1 | 1 | 0 | 0 | 0.005263 | 0 | 0 | 0.02139 | json |
| t12_x1_u1_b74 | 12 | 1 | 1 | 74 | ![]() |
log(lrg(P,min(P,D))) | 20230 | 97487888 | o1(o2(x,o2(x,x))) | true | 161847 | 161847 | -0.5625 | 0 | 0.5625 | 0.2461 | 0.4961 | -1 | 0 | 1 | 1 | 0.9887 | 0.003968 | 0 | 0.003968 | 1 | 1 | 0 | 0.007937 | 0.007937 | 0.003952 | 0.06287 | 15.84 | 1 | 0.01612 | 0.03225 | 1 | 1 | 0 | 0 | 0.005263 | 0 | 0 | 0.02139 | json |
| t12_x1_u1_b75 | 12 | 1 | 1 | 75 | ![]() |
log(lrg(P,dot(P,D))) | 20231 | 97487889 | o1(o2(x,o2(x,x))) | true | 161855 | 161855 | -0.7563 | 0 | 0.7563 | 0.1844 | 0.4294 | -1 | 0 | 1 | 1 | 0.8012 | 0.03641 | 0.0317 | 0.06394 | 0.06913 | 1 | -0.0005669 | 0.2028 | 0.1357 | 0.06402 | 0.253 | 3.958 | 1.414 | 0.3693 | 1.1 | 1 | 1 | 0 | 0 | 0.0612 | 0 | 0 | 0.3319 | json |
| t12_x1_u1_b76 | 12 | 1 | 1 | 76 | ![]() |
log(lrg(P,dst(P,D))) | 20232 | 97487890 | o1(o2(x,o2(x,x))) | true | 161863 | 161863 | -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_u1_b77 | 12 | 1 | 1 | 77 | ![]() |
log(eql(P,add(P,D))) | 20233 | 97487891 | o1(o2(x,o2(x,x))) | true | 161871 | 161871 | -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_u1_b78 | 12 | 1 | 1 | 78 | ![]() |
log(eql(P,sub(P,D))) | 20234 | 97487892 | o1(o2(x,o2(x,x))) | true | 161879 | 161879 | -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_u1_b79 | 12 | 1 | 1 | 79 | ![]() |
log(eql(P,mlt(P,D))) | 20235 | 97487893 | o1(o2(x,o2(x,x))) | true | 161887 | 161887 | -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_u1_b80 | 12 | 1 | 1 | 80 | ![]() |
log(eql(P,div(P,D))) | 20236 | 97487894 | o1(o2(x,o2(x,x))) | true | 161895 | 161895 | -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_u1_b81 | 12 | 1 | 1 | 81 | ![]() |
log(eql(P,pow(P,D))) | 20237 | 97487895 | o1(o2(x,o2(x,x))) | true | 161903 | 161903 | -0.9375 | 0 | 0.9375 | 0.05859 | 0.2421 | -1 | 0 | 1 | 1 | 0.3373 | 0.007937 | 0 | 0.007937 | 1 | 1 | 0 | 0.01587 | 0.01587 | 0.007872 | 0.08872 | 11.18 | 1 | 0.1354 | 0.2709 | 1 | 1 | 0 | 0 | 0.01053 | 0 | 0 | 0.1796 | json |
| t12_x1_u1_b82 | 12 | 1 | 1 | 82 | ![]() |
log(eql(P,mod(P,D))) | 20238 | 97487896 | o1(o2(x,o2(x,x))) | true | 161911 | 161911 | -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_u1_b83 | 12 | 1 | 1 | 83 | ![]() |
log(eql(P,lrg(P,D))) | 20239 | 97487897 | o1(o2(x,o2(x,x))) | true | 161919 | 161919 | -0.9375 | 0 | 0.9375 | 0.05859 | 0.2421 | -1 | 0 | 1 | 1 | 0.3373 | 0.007937 | 0 | 0.007937 | 1 | 1 | 0 | 0.01587 | 0.01587 | 0.007872 | 0.08872 | 11.18 | 1 | 0.1354 | 0.2709 | 1 | 1 | 0 | 0 | 0.01053 | 0 | 0 | 0.1796 | json |
| t12_x1_u1_b84 | 12 | 1 | 1 | 84 | ![]() |
log(eql(P,eql(P,D))) | 20240 | 97487898 | o1(o2(x,o2(x,x))) | true | 161927 | 161927 | -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_u1_b85 | 12 | 1 | 1 | 85 | ![]() |
log(eql(P,min(P,D))) | 20241 | 97487899 | o1(o2(x,o2(x,x))) | true | 161935 | 161935 | -0.5625 | 0 | 0.5625 | 0.2461 | 0.4961 | -1 | 0 | 1 | 1 | 0.9887 | 0.003968 | 0 | 0.003968 | 1 | 1 | 0 | 0.007937 | 0.007937 | 0.003952 | 0.06287 | 15.84 | 1 | 0.01612 | 0.03225 | 1 | 1 | 0 | 0 | 0.005263 | 0 | 0 | 0.02139 | json |
| t12_x1_u1_b86 | 12 | 1 | 1 | 86 | ![]() |
log(eql(P,dot(P,D))) | 20242 | 97487900 | o1(o2(x,o2(x,x))) | true | 161943 | 161943 | -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_u1_b87 | 12 | 1 | 1 | 87 | ![]() |
log(eql(P,dst(P,D))) | 20243 | 97487901 | o1(o2(x,o2(x,x))) | true | 161951 | 161951 | -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_u1_b88 | 12 | 1 | 1 | 88 | ![]() |
log(min(P,add(P,D))) | 20244 | 97487902 | o1(o2(x,o2(x,x))) | true | 161959 | 161959 | -0.1813 | 0.4336 | 0.9437 | 0.8948 | 0.946 | -1 | 1 | 2 | 1 | 1.702 | 0.004175 | 0 | 0.007937 | 1 | 1 | -2.587e-9 | 0.007946 | 0.008904 | 0.004111 | 0.06412 | 8.079 | 1 | 0.004666 | 0.00888 | 1 | 1 | 0 | 0 | 0.005805 | 0 | 0 | 0.006488 | json |
| t12_x1_u1_b89 | 12 | 1 | 1 | 89 | ![]() |
log(min(P,sub(P,D))) | 20245 | 97487903 | o1(o2(x,o2(x,x))) | true | 161967 | 161967 | -0.1905 | 0.4063 | 0.9421 | 0.8881 | 0.9424 | -1 | 1 | 2 | 1 | 1.718 | 0.004185 | 0 | 0.009783 | 1 | 1 | -2.365e-9 | 0.007978 | 0.009941 | 0.004088 | 0.06394 | 6.536 | 0.9685 | 0.004712 | 0.008984 | 1 | 1 | 0 | 0 | 0.00581 | 0 | 0 | 0.006542 | json |
| t12_x1_u1_b90 | 12 | 1 | 1 | 90 | ![]() |
log(min(P,mlt(P,D))) | 20246 | 97487904 | o1(o2(x,o2(x,x))) | true | 161975 | 161975 | -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_u1_b91 | 12 | 1 | 1 | 91 | ![]() |
log(min(P,div(P,D))) | 20247 | 97487905 | o1(o2(x,o2(x,x))) | true | 161983 | 161983 | -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_u1_b92 | 12 | 1 | 1 | 92 | ![]() |
log(min(P,pow(P,D))) | 20248 | 97487906 | o1(o2(x,o2(x,x))) | true | 161991 | 161991 | -0.5811 | 0.1719 | 0.6243 | 0.2366 | 0.4864 | -1 | 0.2753 | 1.275 | 1 | 2.4 | 0.005528 | 0 | 0.02624 | 1 | 1 | 0.0003388 | 0.008211 | 0.01673 | 0.00484 | 0.06957 | 2.651 | 0.9998 | 0.02337 | 0.03471 | 1 | 1 | 0 | 0 | 0.00742 | 0 | 0 | 0.03137 | json |
| t12_x1_u1_b93 | 12 | 1 | 1 | 93 | ![]() |
log(min(P,mod(P,D))) | 20249 | 97487907 | o1(o2(x,o2(x,x))) | true | 161999 | 161999 | -0.9998 | 0 | 0.9998 | 0.000008036 | 0.002835 | -1 | -0.9546 | 0.04545 | 1 | 0 | 0.00001639 | 0 | 0.0003607 | 1 | 0 | -9.461e-10 | 0.00004918 | 0.0007214 | 0.00001626 | 0.004032 | 11.18 | 0.04545 | 2.04 | 6.12 | 1 | 1 | 0 | 0 | 0.00001087 | 0 | 0 | 1.353 | json |
| t12_x1_u1_b94 | 12 | 1 | 1 | 94 | ![]() |
log(min(P,lrg(P,D))) | 20250 | 97487908 | o1(o2(x,o2(x,x))) | true | 162007 | 162007 | -0.5625 | 0 | 0.5625 | 0.2461 | 0.4961 | -1 | 0 | 1 | 1 | 0.9887 | 0.003968 | 0 | 0.003968 | 1 | 1 | 0 | 0.007937 | 0.007937 | 0.003952 | 0.06287 | 15.84 | 1 | 0.01612 | 0.03225 | 1 | 1 | 0 | 0 | 0.005263 | 0 | 0 | 0.02139 | json |
| t12_x1_u1_b95 | 12 | 1 | 1 | 95 | ![]() |
log(min(P,eql(P,D))) | 20251 | 97487909 | o1(o2(x,o2(x,x))) | true | 162015 | 162015 | -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_u1_b96 | 12 | 1 | 1 | 96 | ![]() |
log(min(P,min(P,D))) | 20252 | 97487910 | o1(o2(x,o2(x,x))) | true | 162023 | 162023 | -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_u1_b97 | 12 | 1 | 1 | 97 | ![]() |
log(min(P,dot(P,D))) | 20253 | 97487911 | o1(o2(x,o2(x,x))) | true | 162031 | 162031 | -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_u1_b98 | 12 | 1 | 1 | 98 | ![]() |
log(min(P,dst(P,D))) | 20254 | 97487912 | o1(o2(x,o2(x,x))) | true | 162039 | 162039 | -0.175 | 0.4359 | 0.9502 | 0.9029 | 0.9502 | -1 | 1 | 2 | 1 | 1.671 | 0.004192 | 0.000003966 | 0.008058 | 0.9981 | 1 | 7.532e-10 | 0.007931 | 0.009018 | 0.00413 | 0.06426 | 7.975 | 1 | 0.004647 | 0.008784 | 1 | 1 | 0 | 0 | 0.005876 | 0 | 0 | 0.006508 | json |
| t12_x1_u1_b99 | 12 | 1 | 1 | 99 | ![]() |
log(dot(P,add(P,D))) | 20255 | 97487913 | o1(o2(x,o2(x,x))) | true | 162047 | 162047 | 0.9611 | 0.9844 | 0.9923 | 0.06552 | 0.256 | -1 | 1 | 2 | 1 | 0.3056 | 0.001817 | 0.001817 | 0.004288 | 6.406e-8 | 1 | -2.44e-10 | 0.007073 | 0.005514 | 0.003615 | 0.06012 | 14.02 | 2.394 | 0.05547 | 0.1079 | 1 | 1 | 0 | 0 | 0.006885 | 0 | 0 | 0.1051 | json |
| t12_x1_u1_b100 | 12 | 1 | 1 | 100 | ![]() |
log(dot(P,sub(P,D))) | 20256 | 97487914 | o1(o2(x,o2(x,x))) | true | 162055 | 162055 | 0.9591 | 0.9823 | 0.9906 | 0.06736 | 0.2595 | -1 | 1 | 2 | 1 | 0.3258 | 0.002169 | 0.002169 | 0.004909 | -4.293e-7 | 1 | -9.011e-11 | 0.008788 | 0.006615 | 0.004318 | 0.06571 | 13.39 | 2.395 | 0.06441 | 0.1305 | 1 | 1 | 0 | 0 | 0.007889 | 0 | 0 | 0.1171 | json |
| t12_x1_u1_b101 | 12 | 1 | 1 | 101 | ![]() |
log(dot(P,mlt(P,D))) | 20257 | 97487915 | o1(o2(x,o2(x,x))) | true | 162063 | 162063 | -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_u1_b102 | 12 | 1 | 1 | 102 | ![]() |
log(dot(P,div(P,D))) | 20258 | 97487916 | o1(o2(x,o2(x,x))) | true | 162071 | 162071 | -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_u1_b103 | 12 | 1 | 1 | 103 | ![]() |
log(dot(P,pow(P,D))) | 20259 | 97487917 | o1(o2(x,o2(x,x))) | true | 162079 | 162079 | -0.5123 | 0.2461 | 0.9956 | 0.7311 | 0.8551 | -1 | 1 | 2 | 1 | 0.9148 | 0.006661 | 0.006661 | 0.00776 | 3.845e-7 | 1 | 1.566e-9 | 0.02672 | 0.01444 | 0.01326 | 0.1152 | 14.84 | 2.394 | 0.01822 | 0.03655 | 1 | 1 | 0 | 0 | 0.01663 | 0 | 0 | 0.02275 | json |
| t12_x1_u1_b104 | 12 | 1 | 1 | 104 | ![]() |
log(dot(P,mod(P,D))) | 20260 | 97487918 | o1(o2(x,o2(x,x))) | true | 162087 | 162087 | -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_u1_b105 | 12 | 1 | 1 | 105 | ![]() |
log(dot(P,lrg(P,D))) | 20261 | 97487919 | o1(o2(x,o2(x,x))) | true | 162095 | 162095 | 0.3147 | 0.6836 | 0.9475 | 0.8303 | 0.9112 | -1 | 1 | 2 | 1 | 1.695 | 0.002584 | 0.002584 | 0.009162 | 0.000001892 | 1 | -5.549e-9 | 0.009904 | 0.01042 | 0.005088 | 0.07133 | 7.785 | 2.394 | 0.006225 | 0.01193 | 1 | 1 | 0 | 0 | 0.007644 | 0 | 0 | 0.009206 | json |
| t12_x1_u1_b106 | 12 | 1 | 1 | 106 | ![]() |
log(dot(P,eql(P,D))) | 20262 | 97487920 | o1(o2(x,o2(x,x))) | true | 162103 | 162103 | -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_u1_b107 | 12 | 1 | 1 | 107 | ![]() |
log(dot(P,min(P,D))) | 20263 | 97487921 | o1(o2(x,o2(x,x))) | true | 162111 | 162111 | 0.2453 | 0.6238 | 0.9897 | 0.9265 | 0.9626 | -1 | 1 | 2 | 1 | 1.159 | 0.02134 | 0.02134 | 0.02653 | -2.619e-7 | 1 | 0.0004821 | 0.08968 | 0.04745 | 0.04199 | 0.2049 | 7.723 | 2.006 | 0.04606 | 0.09679 | 1 | 1 | 0 | 0 | 0.05251 | 0 | 0 | 0.05667 | json |
| t12_x1_u1_b108 | 12 | 1 | 1 | 108 | ![]() |
log(dot(P,dot(P,D))) | 20264 | 97487922 | o1(o2(x,o2(x,x))) | true | 162119 | 162119 | -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_u1_b109 | 12 | 1 | 1 | 109 | ![]() |
log(dot(P,dst(P,D))) | 20265 | 97487923 | o1(o2(x,o2(x,x))) | true | 162127 | 162127 | -0.1813 | 0.4098 | 0.9984 | 0.9649 | 0.9823 | -1 | 1 | 2 | 1 | 1.016 | 0.01317 | 0.01317 | 0.01366 | 3.536e-8 | 1 | 1.201e-10 | 0.05576 | 0.0271 | 0.02617 | 0.1618 | 11.84 | 2.828 | 0.02729 | 0.05778 | 1 | 1 | 0 | 0 | 0.03423 | 0 | 0 | 0.03548 | json |
| t12_x1_u1_b110 | 12 | 1 | 1 | 110 | ![]() |
log(dst(P,add(P,D))) | 20266 | 97487924 | o1(o2(x,o2(x,x))) | true | 162135 | 162135 | -0.7705 | 0 | 0.7705 | 0.04347 | 0.2085 | -1 | -0.3539 | 0.6461 | 1 | 2.94 | 0.004784 | 0.004784 | 0.07691 | -0.000003456 | 1 | -0.0003411 | 0.005662 | 0.04961 | 0.003653 | 0.06044 | 0.7859 | 0.2093 | 0.2201 | 0.1303 | 1 | 1 | 0 | 0 | 0.01694 | 0 | 0 | 0.3898 | json |
| t12_x1_u1_b111 | 12 | 1 | 1 | 111 | ![]() |
log(dst(P,sub(P,D))) | 20267 | 97487925 | o1(o2(x,o2(x,x))) | true | 162143 | 162143 | -0.7705 | 0 | 0.7705 | 0.04347 | 0.2085 | -1 | -0.3539 | 0.6461 | 1 | 2.94 | 0.004784 | 0.004784 | 0.07691 | -0.000003456 | 1 | -0.0003411 | 0.005662 | 0.04961 | 0.003653 | 0.06044 | 0.7859 | 0.2093 | 0.2201 | 0.1303 | 1 | 1 | 0 | 0 | 0.01694 | 0 | 0 | 0.3898 | json |
| t12_x1_u1_b112 | 12 | 1 | 1 | 112 | ![]() |
log(dst(P,mlt(P,D))) | 20268 | 97487926 | o1(o2(x,o2(x,x))) | true | 162151 | 162151 | 0.9401 | 0.9821 | 0.9717 | 0.07499 | 0.2738 | -1 | 1 | 2 | 1 | 0.7715 | 0.001535 | 0.001535 | 0.006285 | -9.102e-7 | 1 | 1.089e-10 | 0.005935 | 0.006226 | 0.003033 | 0.05507 | 8.762 | 1.905 | 0.04093 | 0.07914 | 1 | 1 | 0 | 0 | 0.005787 | 0 | 0 | 0.07717 | json |
| t12_x1_u1_b113 | 12 | 1 | 1 | 113 | ![]() |
log(dst(P,div(P,D))) | 20269 | 97487927 | o1(o2(x,o2(x,x))) | true | 162159 | 162159 | -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_u1_b114 | 12 | 1 | 1 | 114 | ![]() |
log(dst(P,pow(P,D))) | 20270 | 97487928 | o1(o2(x,o2(x,x))) | true | 162167 | 162167 | -0.5207 | 0.2461 | 0.9793 | 0.7016 | 0.8376 | -1 | 1 | 2 | 1 | 1.132 | 0.006094 | 0.006094 | 0.008174 | 0.000001605 | 1 | -1.727e-10 | 0.02429 | 0.01402 | 0.01212 | 0.1101 | 13.47 | 2 | 0.01737 | 0.03462 | 1 | 1 | 0 | 0 | 0.01467 | 0 | 0 | 0.02091 | json |
| t12_x1_u1_b115 | 12 | 1 | 1 | 115 | ![]() |
log(dst(P,mod(P,D))) | 20271 | 97487929 | o1(o2(x,o2(x,x))) | true | 162175 | 162175 | -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_u1_b116 | 12 | 1 | 1 | 116 | ![]() |
log(dst(P,lrg(P,D))) | 20272 | 97487930 | o1(o2(x,o2(x,x))) | true | 162183 | 162183 | 0.9171 | 0.9766 | 0.9484 | 0.08965 | 0.2994 | -1 | 1 | 2 | 1 | 1.005 | 0.00135 | 0.00135 | 0.006168 | 0.000002931 | 1 | 3.041e-10 | 0.00522 | 0.006183 | 0.00266 | 0.05157 | 8.361 | 1.904 | 0.03012 | 0.05822 | 1 | 1 | 0 | 0 | 0.00503 | 0 | 0 | 0.05611 | json |
| t12_x1_u1_b117 | 12 | 1 | 1 | 117 | ![]() |
log(dst(P,eql(P,D))) | 20273 | 97487931 | o1(o2(x,o2(x,x))) | true | 162191 | 162191 | 0.974 | 1 | 0.974 | 0.01263 | 0.1124 | 0.0002017 | 1 | 0.9998 | 1 | 0.622 | 0.00003583 | 0.00003583 | 0.002176 | 0.00000198 | 0 | -1.051e-10 | 0.00000706 | 0.0005851 | 0.00006694 | 0.008181 | 3.759 | 0.05358 | 0.005675 | 0.0005592 | 1 | 1 | 0 | 0 | 0.0002465 | 0 | 0 | 0.01952 | json |
| t12_x1_u1_b118 | 12 | 1 | 1 | 118 | ![]() |
log(dst(P,min(P,D))) | 20274 | 97487932 | o1(o2(x,o2(x,x))) | true | 162199 | 162199 | 0.3013 | 0.6559 | 0.9395 | 0.8294 | 0.9107 | -1 | 1 | 2 | 1 | 1.772 | 0.002517 | 0.002517 | 0.01112 | -0.000001434 | 1 | -8.447e-10 | 0.009671 | 0.01155 | 0.004909 | 0.07006 | 6.298 | 1.905 | 0.006069 | 0.01166 | 1 | 1 | 0 | 0 | 0.007365 | 0 | 0 | 0.00888 | json |
| t12_x1_u1_b119 | 12 | 1 | 1 | 119 | ![]() |
log(dst(P,dot(P,D))) | 20275 | 97487933 | o1(o2(x,o2(x,x))) | true | 162207 | 162207 | 0.948 | 0.9833 | 0.9793 | 0.07089 | 0.2662 | -1 | 1 | 2 | 1 | 0.6203 | 0.001587 | 0.001587 | 0.00609 | -0.00000143 | 1 | -1.427e-10 | 0.00608 | 0.006374 | 0.003134 | 0.05598 | 9.193 | 1.905 | 0.04477 | 0.08577 | 1 | 1 | 0 | 0 | 0.006032 | 0 | 0 | 0.0851 | json |
| t12_x1_u1_b120 | 12 | 1 | 1 | 120 | ![]() |
log(dst(P,dst(P,D))) | 20276 | 97487934 | o1(o2(x,o2(x,x))) | true | 162215 | 162215 | 0.9893 | 0.9982 | 0.9914 | 0.008449 | 0.09192 | -1 | 1 | 2 | 1 | 0.2426 | 0.0001778 | 0.0001778 | 0.002493 | 3.274e-7 | 1 | 7.133e-11 | 0.00007176 | 0.000891 | 0.0003491 | 0.01869 | 7.496 | 0.3638 | 0.04208 | 0.008494 | 1 | 1 | 0 | 0 | 0.001203 | 0 | 0 | 0.1424 | json |
| t12_x1_u2_b0 | 12 | 1 | 2 | 0 | ![]() |
frc(add(P,add(P,D))) | 20277 | 97488015 | o1(o2(x,o2(x,x))) | true | 162223 | 162223 | 0.5 | 1 | 0.5 | 0.08301 | 0.2881 | 0.03125 | 0.9688 | 0.9375 | 1 | 4 | 0.05599 | 0 | 0.1146 | 1 | 1 | 0 | 0.119 | 0.119 | 0.04284 | 0.207 | 1.806 | 0.9375 | 0.6745 | 1.434 | 1 | 1 | 0 | 0 | 0.05321 | 0 | 0 | 0.641 | json |
| t12_x1_u2_b1 | 12 | 1 | 2 | 1 | ![]() |
frc(add(P,sub(P,D))) | 20278 | 97488016 | o1(o2(x,o2(x,x))) | true | 162231 | 162231 | 0.5 | 1 | 0.5 | 0.08301 | 0.2881 | 0.03125 | 0.9688 | 0.9375 | 1 | 4 | 0.05599 | 0 | 0.1146 | 1 | 1 | 0 | 0.119 | 0.119 | 0.04284 | 0.207 | 1.806 | 0.9375 | 0.6745 | 1.434 | 1 | 1 | 0 | 0 | 0.05321 | 0 | 0 | 0.641 | json |
| t12_x1_u2_b2 | 12 | 1 | 2 | 2 | ![]() |
frc(add(P,mlt(P,D))) | 20279 | 97488017 | o1(o2(x,o2(x,x))) | true | 162239 | 162239 | 0.4696 | 0.9922 | 0.4696 | 0.06611 | 0.2571 | 0.000009095 | 0.9685 | 0.9685 | 1 | 3.922 | 0.1188 | 0 | 0.2751 | 1 | 1 | -0.004 | 0.3543 | 0.4292 | 0.04315 | 0.2077 | 0.755 | 0.9372 | 1.797 | 5.359 | 1 | 1 | 0 | 0 | 0.06488 | 0 | 0 | 0.9813 | json |
| t12_x1_u2_b3 | 12 | 1 | 2 | 3 | ![]() |
frc(add(P,div(P,D))) | 20280 | 97488018 | o1(o2(x,o2(x,x))) | true | 162247 | 162247 | 0.3996 | 0.9375 | 0.3996 | 0.08181 | 0.286 | 0 | 0.9971 | 0.9971 | 1 | 3.721 | 0.1204 | 0 | 0.2617 | 1 | 1 | -0.0009359 | 0.3286 | 0.4514 | 0.05191 | 0.2278 | 0.8705 | 0.9968 | 1.472 | 4.017 | 1 | 1 | 0 | 0 | 0.07596 | 0 | 0 | 0.9286 | json |
| t12_x1_u2_b4 | 12 | 1 | 2 | 4 | ![]() |
frc(add(P,pow(P,D))) | 20281 | 97488019 | o1(o2(x,o2(x,x))) | true | 162255 | 162255 | -0.2823 | 0.4375 | 0.7176 | 0.5612 | 0.7492 | -1 | 0.9783 | 1.978 | 1 | 2.904 | 0.0322 | 0 | 0.07189 | 1 | 1 | 0.0004641 | 0.07213 | 0.09097 | 0.02702 | 0.1644 | 2.287 | 1 | 0.05737 | 0.1285 | 1 | 1 | 0 | 0 | 0.02803 | 0 | 0 | 0.04994 | json |
| t12_x1_u2_b5 | 12 | 1 | 2 | 5 | ![]() |
frc(add(P,mod(P,D))) | 20282 | 97488020 | o1(o2(x,o2(x,x))) | true | 162263 | 162263 | 0.4026 | 0.9336 | 0.4026 | 0.129 | 0.3591 | 0 | 0.9683 | 0.9683 | 1 | 3.398 | 0.06781 | 0 | 0.1272 | 1 | 1 | -4.73e-9 | 0.1671 | 0.2249 | 0.05163 | 0.2272 | 1.786 | 0.968 | 0.5257 | 1.296 | 1 | 1 | 0 | 0 | 0.04958 | 0 | 0 | 0.3844 | json |
| t12_x1_u2_b6 | 12 | 1 | 2 | 6 | ![]() |
frc(add(P,lrg(P,D))) | 20283 | 97488021 | o1(o2(x,o2(x,x))) | true | 162271 | 162271 | 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_u2_b7 | 12 | 1 | 2 | 7 | ![]() |
frc(add(P,eql(P,D))) | 20284 | 97488022 | o1(o2(x,o2(x,x))) | true | 162279 | 162279 | 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_u2_b8 | 12 | 1 | 2 | 8 | ![]() |
frc(add(P,min(P,D))) | 20285 | 97488023 | o1(o2(x,o2(x,x))) | true | 162287 | 162287 | 0.2634 | 0.5547 | 0.2634 | 0.1068 | 0.3268 | 0 | 0.9688 | 0.9688 | 1 | 2.934 | 0.03042 | 0 | 0.06336 | 1 | 1 | 0.000248 | 0.06361 | 0.06474 | 0.02641 | 0.1625 | 2.565 | 0.9685 | 0.2849 | 0.5958 | 1 | 1 | 0 | 0 | 0.03133 | 0 | 0 | 0.2934 | json |
| t12_x1_u2_b9 | 12 | 1 | 2 | 9 | ![]() |
frc(add(P,dot(P,D))) | 20286 | 97488024 | o1(o2(x,o2(x,x))) | true | 162295 | 162295 | 0.4835 | 0.9991 | 0.4835 | 0.04261 | 0.2064 | 0.00001819 | 0.9682 | 0.9682 | 1 | 3.725 | 0.08242 | 0.08242 | 0.3477 | -0.000004249 | 1 | -0.0005344 | 0.8173 | 0.6957 | 0.04392 | 0.2096 | 0.6027 | 1.326 | 3.869 | 19.18 | 1 | 1 | 0 | 0 | 0.09122 | 0 | 0 | 2.141 | json |
| t12_x1_u2_b10 | 12 | 1 | 2 | 10 | ![]() |
frc(add(P,dst(P,D))) | 20287 | 97488025 | o1(o2(x,o2(x,x))) | true | 162303 | 162303 | 0.4984 | 1 | 0.4984 | 0.0516 | 0.2272 | 0.006575 | 0.9954 | 0.9889 | 1 | 3.853 | 0.02437 | 0.02437 | 0.1234 | 0.00000623 | 1 | -0.0004041 | 0.1631 | 0.1603 | 0.0335 | 0.183 | 1.483 | 1.354 | 0.9445 | 3.162 | 1 | 1 | 0 | 0 | 0.0468 | 0 | 0 | 0.907 | json |
| t12_x1_u2_b11 | 12 | 1 | 2 | 11 | ![]() |
frc(sub(P,add(P,D))) | 20288 | 97488026 | o1(o2(x,o2(x,x))) | true | 162311 | 162311 | 0.5 | 1 | 0.5 | 0.08301 | 0.2881 | 0.03125 | 0.9688 | 0.9375 | 1 | 4 | 0.05599 | 0 | 0.1146 | 1 | 1 | 0 | 0.119 | 0.119 | 0.04284 | 0.207 | 1.806 | 0.9375 | 0.6745 | 1.434 | 1 | 1 | 0 | 0 | 0.05321 | 0 | 0 | 0.641 | json |
| t12_x1_u2_b12 | 12 | 1 | 2 | 12 | ![]() |
frc(sub(P,sub(P,D))) | 20289 | 97488027 | o1(o2(x,o2(x,x))) | true | 162319 | 162319 | 0.5 | 1 | 0.5 | 0.08301 | 0.2881 | 0.03125 | 0.9688 | 0.9375 | 1 | 4 | 0.05599 | 0 | 0.1146 | 1 | 1 | 0 | 0.119 | 0.119 | 0.04284 | 0.207 | 1.806 | 0.9375 | 0.6745 | 1.434 | 1 | 1 | 0 | 0 | 0.05321 | 0 | 0 | 0.641 | json |
| t12_x1_u2_b13 | 12 | 1 | 2 | 13 | ![]() |
frc(sub(P,mlt(P,D))) | 20290 | 97488028 | o1(o2(x,o2(x,x))) | true | 162327 | 162327 | 0.4679 | 1 | 0.4679 | 0.06599 | 0.2569 | 0.000282 | 0.9687 | 0.9685 | 1 | 3.892 | 0.1183 | 0 | 0.2715 | 1 | 1 | 0.004 | 0.3542 | 0.4292 | 0.04463 | 0.2113 | 0.7781 | 0.9375 | 1.793 | 5.368 | 1 | 1 | 0 | 0 | 0.06364 | 0 | 0 | 0.9644 | json |
| t12_x1_u2_b14 | 12 | 1 | 2 | 14 | ![]() |
frc(sub(P,div(P,D))) | 20291 | 97488029 | o1(o2(x,o2(x,x))) | true | 162335 | 162335 | 0.3828 | 0.9297 | 0.3828 | 0.07739 | 0.2782 | 0 | 0.9985 | 0.9985 | 1 | 3.684 | 0.1221 | 0 | 0.2654 | 1 | 1 | 0.000936 | 0.3341 | 0.455 | 0.05164 | 0.2272 | 0.8562 | 0.9983 | 1.578 | 4.317 | 1 | 1 | 0 | 0 | 0.0754 | 0 | 0 | 0.9742 | json |
| t12_x1_u2_b15 | 12 | 1 | 2 | 15 | ![]() |
frc(sub(P,pow(P,D))) | 20292 | 97488030 | o1(o2(x,o2(x,x))) | true | 162343 | 162343 | -0.3114 | 0.4375 | 0.6886 | 0.5178 | 0.7196 | -1 | 0.978 | 1.978 | 1 | 2.871 | 0.03192 | 0 | 0.06923 | 1 | 1 | -0.0004641 | 0.07207 | 0.0907 | 0.02712 | 0.1647 | 2.379 | 1 | 0.06164 | 0.1392 | 1 | 1 | 0 | 0 | 0.02733 | 0 | 0 | 0.05277 | json |
| t12_x1_u2_b16 | 12 | 1 | 2 | 16 | ![]() |
frc(sub(P,mod(P,D))) | 20293 | 97488031 | o1(o2(x,o2(x,x))) | true | 162351 | 162351 | 0.4026 | 0.9336 | 0.4026 | 0.129 | 0.3591 | 0 | 0.9683 | 0.9683 | 1 | 3.398 | 0.06781 | 0 | 0.1272 | 1 | 1 | -4.494e-9 | 0.1671 | 0.2249 | 0.05163 | 0.2272 | 1.786 | 0.968 | 0.5257 | 1.296 | 1 | 1 | 0 | 0 | 0.05389 | 0 | 0 | 0.4178 | json |
| t12_x1_u2_b17 | 12 | 1 | 2 | 17 | ![]() |
frc(sub(P,lrg(P,D))) | 20294 | 97488032 | o1(o2(x,o2(x,x))) | true | 162359 | 162359 | 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_u2_b18 | 12 | 1 | 2 | 18 | ![]() |
frc(sub(P,eql(P,D))) | 20295 | 97488033 | o1(o2(x,o2(x,x))) | true | 162367 | 162367 | 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_u2_b19 | 12 | 1 | 2 | 19 | ![]() |
frc(sub(P,min(P,D))) | 20296 | 97488034 | o1(o2(x,o2(x,x))) | true | 162375 | 162375 | 0.2366 | 0.5625 | 0.2366 | 0.09342 | 0.3057 | 0 | 0.9688 | 0.9688 | 1 | 2.908 | 0.02621 | 0 | 0.05604 | 1 | 1 | -0.000248 | 0.05558 | 0.05705 | 0.02306 | 0.1519 | 2.71 | 0.9375 | 0.2805 | 0.5949 | 1 | 1 | 0 | 0 | 0.02549 | 0 | 0 | 0.2728 | json |
| t12_x1_u2_b20 | 12 | 1 | 2 | 20 | ![]() |
frc(sub(P,dot(P,D))) | 20297 | 97488035 | o1(o2(x,o2(x,x))) | true | 162383 | 162383 | 0.4833 | 1 | 0.4833 | 0.0426 | 0.2064 | 0.0005638 | 0.9687 | 0.9682 | 1 | 3.726 | 0.08242 | 0.08242 | 0.3474 | -0.000004701 | 1 | 0.0004762 | 0.8176 | 0.6962 | 0.04413 | 0.2101 | 0.6046 | 1.325 | 3.869 | 19.19 | 1 | 1 | 0 | 0 | 0.09109 | 0 | 0 | 2.138 | json |
| t12_x1_u2_b21 | 12 | 1 | 2 | 21 | ![]() |
frc(sub(P,dst(P,D))) | 20298 | 97488036 | o1(o2(x,o2(x,x))) | true | 162391 | 162391 | 0.5016 | 1 | 0.5016 | 0.0516 | 0.2272 | 0.004559 | 0.9934 | 0.9889 | 1 | 3.853 | 0.02437 | 0.02437 | 0.1234 | 0.000006268 | 1 | 0.0004041 | 0.1631 | 0.1603 | 0.0335 | 0.183 | 1.483 | 1.354 | 0.9445 | 3.162 | 1 | 1 | 0 | 0 | 0.0468 | 0 | 0 | 0.907 | json |
| t12_x1_u2_b22 | 12 | 1 | 2 | 22 | ![]() |
frc(mlt(P,add(P,D))) | 20299 | 97488037 | o1(o2(x,o2(x,x))) | true | 162399 | 162399 | 0.4696 | 0.9922 | 0.4696 | 0.06611 | 0.2571 | 0.000009095 | 0.9685 | 0.9685 | 1 | 3.922 | 0.1188 | 0 | 0.2751 | 1 | 1 | -0.004 | 0.3543 | 0.4292 | 0.04315 | 0.2077 | 0.755 | 0.9372 | 1.797 | 5.359 | 1 | 1 | 0 | 0 | 0.06488 | 0 | 0 | 0.9813 | json |



































































































