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 | ||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| t13_x6_u46_b3 | 13 | 6 | 46 | 3 | ![]() |
nrm(div(cil(R),P)) | 45800 | 105819468 | o1(o2(o1(x),x)) | true | 25367 | 25367 | -0.9531 | 0 | 0.9531 | 0.04468 | 0.2114 | -1 | 0 | 1 | 1 | 0.273 | 0.003748 | 0.004693 | 0.008376 | -0.1119 | 1 | 0 | 0.01779 | 0.01688 | 0.008368 | 0.09148 | 10.92 | 1.414 | 0.1889 | 0.3983 | 1 | 1 | 0.005471 | 0.02384 | 0.04853 | 0.1225 | 0.5335 | 1.086 | json |
| t13_x6_u46_b4 | 13 | 6 | 46 | 4 | ![]() |
nrm(pow(cil(R),P)) | 45801 | 105819469 | o1(o2(o1(x),x)) | true | 25375 | 25375 | -0.3106 | 0.4443 | 0.5878 | 0.4211 | 0.6489 | -1 | 0.7071 | 1.707 | 1 | 2.634 | 0.01572 | 0.01002 | 0.03065 | 0.2216 | 1 | -0.000009158 | 0.05204 | 0.03579 | 0.0248 | 0.1575 | 5.137 | 2.414 | 0.06111 | 0.1236 | 1 | 1 | 0.02867 | 0.1274 | 0.377 | 0.06807 | 0.3025 | 0.8953 | json |
| t13_x6_u46_b5 | 13 | 6 | 46 | 5 | ![]() |
nrm(mod(cil(R),P)) | 45802 | 105819470 | o1(o2(o1(x),x)) | true | 25383 | 25383 | -0.5207 | 0.3146 | 0.7762 | 0.4579 | 0.6767 | -1 | 0.9999 | 2 | 1 | 2.185 | 0.02654 | 0.03297 | 0.0533 | -0.108 | 1 | 0.000006671 | 0.1204 | 0.08396 | 0.05669 | 0.2381 | 4.467 | 2.828 | 0.1299 | 0.2629 | 1 | 1 | 0.05273 | 0.2256 | 0.6831 | 0.1151 | 0.4926 | 1.492 | json |
| t13_x6_u46_b6 | 13 | 6 | 46 | 6 | ![]() |
nrm(lrg(cil(R),P)) | 45803 | 105819471 | o1(o2(o1(x),x)) | true | 25391 | 25391 | 0.09335 | 0.4992 | 0.609 | 0.5131 | 0.7163 | -1 | 1 | 2 | 1 | 2.866 | 0.008691 | 0.005407 | 0.01674 | 0.2329 | 1 | 0.000001229 | 0.02855 | 0.02147 | 0.01382 | 0.1176 | 7.022 | 2 | 0.02747 | 0.05563 | 1 | 1 | 0.01669 | 0.07358 | 0.2811 | 0.03253 | 0.1434 | 0.5478 | json |
| t13_x6_u46_b7 | 13 | 6 | 46 | 7 | ![]() |
nrm(eql(cil(R),P)) | 45804 | 105819472 | o1(o2(o1(x),x)) | true | 25399 | 25399 | -0.8393 | 0.05811 | 0.8951 | 0.1817 | 0.4263 | -1 | 0.9998 | 2 | 1 | 0.8665 | 0.01526 | 0.01209 | 0.02353 | 0.1157 | 1 | -0.000002852 | 0.05657 | 0.04348 | 0.02682 | 0.1638 | 6.959 | 2.828 | 0.1505 | 0.3113 | 1 | 1 | 0.03101 | 0.1277 | 0.3644 | 0.1706 | 0.7026 | 2.005 | json |
| t13_x6_u46_b8 | 13 | 6 | 46 | 8 | ![]() |
nrm(min(cil(R),P)) | 45805 | 105819473 | o1(o2(o1(x),x)) | true | 25407 | 25407 | -0.5751 | 0.2392 | 0.6805 | 0.2822 | 0.5313 | -1 | 0.9999 | 2 | 1 | 3.17 | 0.008731 | 0.01099 | 0.02173 | -0.1144 | 1 | -0.000004657 | 0.03994 | 0.02687 | 0.01925 | 0.1387 | 6.386 | 2.414 | 0.06986 | 0.1415 | 1 | 1 | 0.02448 | 0.1074 | 0.364 | 0.08673 | 0.3807 | 1.29 | json |
| t13_x6_u46_b9 | 13 | 6 | 46 | 9 | ![]() |
nrm(dot(cil(R),P)) | 45806 | 105819474 | o1(o2(o1(x),x)) | true | 25415 | 25415 | -0.789 | 0.106 | 0.894 | 0.2234 | 0.4727 | -1 | 0.5774 | 1.577 | 1 | 1.355 | 0.01668 | 0.01614 | 0.03152 | 0.01666 | 1 | -0.000003292 | 0.06719 | 0.05241 | 0.03182 | 0.1784 | 5.659 | 2.231 | 0.1469 | 0.3007 | 1 | 1 | 0.03995 | 0.1671 | 0.5056 | 0.1788 | 0.7479 | 2.263 | json |
| t13_x6_u46_b10 | 13 | 6 | 46 | 10 | ![]() |
nrm(dst(cil(R),P)) | 45807 | 105819475 | o1(o2(o1(x),x)) | true | 25423 | 25423 | 0.5531 | 0.9844 | 0.5843 | 0.03823 | 0.1955 | -1 | 0.5774 | 1.577 | 1 | 0.1161 | 0.002507 | 0.002507 | 0.003165 | 0 | 1 | -8.785e-10 | 0.01034 | 0.006359 | 0.005002 | 0.07072 | 22.35 | 2.231 | 0.1312 | 0.2706 | 1 | 1 | 0.008822 | 0.03529 | 0.1411 | 0.2308 | 0.923 | 3.692 | json |
| t13_x6_u47_b0 | 13 | 6 | 47 | 0 | ![]() |
nrm(add(sgn(R),P)) | 45808 | 105819666 | o1(o2(o1(x),x)) | true | 25431 | 25431 | -0.003834 | 0.4984 | 0.6148 | 0.4544 | 0.6741 | -0.9939 | 0.9923 | 1.986 | 1 | 4.857 | 0.0003298 | 0.0002216 | 0.01566 | 0.1963 | 1 | -0.000004699 | 0.00003151 | 0.003528 | 0.0003061 | 0.0175 | 1.117 | 0.1629 | 0.001214 | 0.00006934 | 1 | 1 | 0.001647 | 0.02148 | 0.1049 | 0.003625 | 0.04726 | 0.2309 | json |
| t13_x6_u47_b1 | 13 | 6 | 47 | 1 | ![]() |
nrm(sub(sgn(R),P)) | 45809 | 105819667 | o1(o2(o1(x),x)) | true | 25439 | 25439 | -0.004745 | 0.4936 | 0.6193 | 0.4641 | 0.6812 | -0.9899 | 0.9939 | 1.984 | 1 | 4.841 | 0.0003747 | 0.0002381 | 0.0159 | 0.2229 | 1 | -0.000005165 | 0.0000348 | 0.003554 | 0.0003599 | 0.01897 | 1.193 | 0.1629 | 0.00132 | 0.00007498 | 1 | 1 | 0.001884 | 0.02457 | 0.1179 | 0.004059 | 0.05295 | 0.2541 | json |
| t13_x6_u47_b2 | 13 | 6 | 47 | 2 | ![]() |
nrm(mlt(sgn(R),P)) | 45810 | 105819668 | o1(o2(o1(x),x)) | true | 25447 | 25447 | -0.06399 | 0.4626 | 0.4744 | 0.3126 | 0.5591 | -1 | 1 | 2 | 1 | 4.962 | 0.005232 | 0.006136 | 0.06993 | -0.07956 | 1 | -0.00003261 | 0.006054 | 0.02037 | 0.006478 | 0.08049 | 1.151 | 2.413 | 0.03637 | 0.01937 | 1 | 1 | 0.02188 | 0.2398 | 0.6574 | 0.06999 | 0.767 | 2.103 | json |
| t13_x6_u47_b3 | 13 | 6 | 47 | 3 | ![]() |
nrm(div(sgn(R),P)) | 45811 | 105819669 | o1(o2(o1(x),x)) | true | 25455 | 25455 | -0.125 | 0 | 0.125 | 0.1094 | 0.3307 | -1 | 0 | 1 | 1 | 0.5436 | 0.007937 | 0 | 0.007937 | 1 | 1 | 0 | 0.01587 | 0.01587 | 0.007872 | 0.08872 | 11.18 | 1 | 0.07256 | 0.1451 | 1 | 1 | 0.01053 | 0.04211 | 0.1684 | 0.09624 | 0.385 | 1.54 | json |
| t13_x6_u47_b4 | 13 | 6 | 47 | 4 | ![]() |
nrm(pow(sgn(R),P)) | 45812 | 105819670 | o1(o2(o1(x),x)) | true | 25463 | 25463 | -0.9815 | 0.01172 | 0.9951 | 0.02883 | 0.1698 | -1 | 0.5774 | 1.577 | 1 | 0.09198 | 0.003761 | 0.002507 | 0.003945 | 0.2 | 1 | -1.952e-10 | 0.01316 | 0.007948 | 0.006259 | 0.07911 | 20.05 | 2.231 | 0.2174 | 0.4566 | 1 | 1 | 0.01103 | 0.04411 | 0.1048 | 0.3825 | 1.53 | 3.633 | json |
| t13_x6_u47_b5 | 13 | 6 | 47 | 5 | ![]() |
nrm(mod(sgn(R),P)) | 45813 | 105819671 | o1(o2(o1(x),x)) | true | 25471 | 25471 | -0.2724 | 0.3389 | 0.5398 | 0.3118 | 0.5584 | -1 | 0.7071 | 1.707 | 1 | 3.958 | 0.008826 | 0.01543 | 0.05983 | -0.2724 | 1 | 0.00001088 | 0.04048 | 0.04191 | 0.02068 | 0.1438 | 2.403 | 1.707 | 0.0778 | 0.1298 | 1 | 1 | 0.03117 | 0.1814 | 0.5031 | 0.09996 | 0.5817 | 1.613 | json |
| t13_x6_u47_b6 | 13 | 6 | 47 | 6 | ![]() |
nrm(lrg(sgn(R),P)) | 45814 | 105819672 | o1(o2(o1(x),x)) | true | 25479 | 25479 | 0.05299 | 0.4946 | 0.6233 | 0.537 | 0.7328 | -1 | 1 | 2 | 1 | 2.945 | 0.008013 | 0.005473 | 0.01894 | 0.1884 | 1 | -0.00000777 | 0.0269 | 0.02236 | 0.01313 | 0.1146 | 6.049 | 2 | 0.02512 | 0.0501 | 1 | 1 | 0.01616 | 0.07617 | 0.2955 | 0.0301 | 0.1419 | 0.5502 | json |
| t13_x6_u47_b7 | 13 | 6 | 47 | 7 | ![]() |
nrm(eql(sgn(R),P)) | 45815 | 105819673 | o1(o2(o1(x),x)) | true | 25487 | 25487 | -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 |
| t13_x6_u47_b8 | 13 | 6 | 47 | 8 | ![]() |
nrm(min(sgn(R),P)) | 45816 | 105819674 | o1(o2(o1(x),x)) | true | 25495 | 25495 | -0.3945 | 0.2204 | 0.543 | 0.2441 | 0.494 | -1 | 0.9995 | 1.999 | 1 | 4.436 | 0.001325 | 0.001309 | 0.03032 | 0.005865 | 1 | -0.00002266 | 0.0001627 | 0.007266 | 0.001714 | 0.04141 | 1.366 | 0.1995 | 0.01079 | 0.0006666 | 1 | 1 | 0.005667 | 0.07407 | 0.2259 | 0.02322 | 0.3035 | 0.9255 | json |
| t13_x6_u47_b9 | 13 | 6 | 47 | 9 | ![]() |
nrm(dot(sgn(R),P)) | 45817 | 105819675 | o1(o2(o1(x),x)) | true | 25503 | 25503 | -0.2012 | 0.3882 | 0.5173 | 0.3022 | 0.5497 | -1 | 0.5774 | 1.577 | 1 | 3.9 | 0.01396 | 0.01444 | 0.06747 | -0.01679 | 1 | -0.00002964 | 0.04971 | 0.04942 | 0.02385 | 0.1544 | 2.289 | 2.23 | 0.09399 | 0.1645 | 1 | 1 | 0.03733 | 0.2274 | 0.6936 | 0.1235 | 0.7527 | 2.295 | json |
| t13_x6_u47_b10 | 13 | 6 | 47 | 10 | ![]() |
nrm(dst(sgn(R),P)) | 45818 | 105819676 | o1(o2(o1(x),x)) | true | 25511 | 25511 | 0.5777 | 1 | 0.5777 | 1.421e-7 | 0.0003769 | 0.5774 | 0.5774 | 1.192e-7 | 1 | 0 | 5.287e-17 | 4.028e-17 | 1.498e-9 | 0.00001259 | 0 | -9.799e-10 | 4.126e-16 | 1.731e-9 | 9.087e-17 | 9.532e-9 | 6.362 | 8.429e-8 | 6.556e-10 | 2.904e-9 | 1 | 1 | 6.81e-17 | 2.576e-16 | 2.985e-16 | 4.793e-10 | 1.813e-9 | 2.101e-9 | json |
| t13_x6_u48_b0 | 13 | 6 | 48 | 0 | ![]() |
nrm(add(nrm(R),P)) | 45819 | 105819867 | o1(o2(o1(x),x)) | true | 25519 | 25519 | -0.001967 | 0.4977 | 0.6374 | 0.4804 | 0.6931 | -1 | 0.9989 | 1.999 | 1 | 4.811 | 0.0002617 | 0.000124 | 0.01158 | 0.3572 | 1 | -0.000001306 | 0.00002119 | 0.002568 | 0.0002516 | 0.01586 | 1.37 | 0.1868 | 0.0008028 | 0.00004412 | 1 | 1 | 0.001199 | 0.01574 | 0.1099 | 0.002496 | 0.03277 | 0.2288 | json |
| t13_x6_u48_b1 | 13 | 6 | 48 | 1 | ![]() |
nrm(sub(nrm(R),P)) | 45820 | 105819868 | o1(o2(o1(x),x)) | true | 25527 | 25527 | -0.002077 | 0.4978 | 0.6384 | 0.4854 | 0.6967 | -0.9993 | 0.9989 | 1.998 | 1 | 4.794 | 0.0002692 | 0.0001428 | 0.01176 | 0.3067 | 1 | -0.000001498 | 0.00002214 | 0.002568 | 0.0002738 | 0.01655 | 1.407 | 0.1794 | 0.0008489 | 0.00004562 | 1 | 1 | 0.001298 | 0.01703 | 0.1173 | 0.002673 | 0.03508 | 0.2417 | json |
| t13_x6_u48_b2 | 13 | 6 | 48 | 2 | ![]() |
nrm(mlt(nrm(R),P)) | 45821 | 105819869 | o1(o2(o1(x),x)) | true | 25535 | 25535 | -0.06496 | 0.4542 | 0.4818 | 0.3274 | 0.5722 | -1 | 1 | 2 | 1 | 4.95 | 0.005439 | 0.006103 | 0.07362 | -0.05754 | 1 | -0.00004516 | 0.006198 | 0.02087 | 0.006122 | 0.07825 | 1.063 | 2.054 | 0.03525 | 0.01893 | 1 | 1 | 0.02251 | 0.2466 | 0.6759 | 0.06875 | 0.7532 | 2.064 | json |
| t13_x6_u48_b3 | 13 | 6 | 48 | 3 | ![]() |
nrm(div(nrm(R),P)) | 45822 | 105819870 | o1(o2(o1(x),x)) | true | 25543 | 25543 | -0.125 | 0 | 0.125 | 0.1094 | 0.3307 | -1 | 0 | 1 | 1 | 0.5436 | 0.007937 | 0 | 0.007937 | 1 | 1 | 0 | 0.01587 | 0.01587 | 0.007872 | 0.08872 | 11.18 | 1 | 0.07256 | 0.1451 | 1 | 1 | 0.01053 | 0.04211 | 0.1684 | 0.09624 | 0.385 | 1.54 | json |
| t13_x6_u48_b4 | 13 | 6 | 48 | 4 | ![]() |
nrm(pow(nrm(R),P)) | 45823 | 105819871 | o1(o2(o1(x),x)) | true | 25551 | 25551 | -0.9822 | 0.01172 | 0.9943 | 0.027 | 0.1643 | -1 | 0.707 | 1.707 | 1 | 0.1291 | 0.003537 | 0.00209 | 0.003915 | 0.2572 | 1 | -1.201e-10 | 0.01177 | 0.007508 | 0.005617 | 0.07495 | 19.14 | 2.045 | 0.2084 | 0.4358 | 1 | 1 | 0.00991 | 0.03997 | 0.09842 | 0.367 | 1.48 | 3.645 | json |
| t13_x6_u48_b5 | 13 | 6 | 48 | 5 | ![]() |
nrm(mod(nrm(R),P)) | 45824 | 105819872 | o1(o2(o1(x),x)) | true | 25559 | 25559 | -0.2601 | 0.3525 | 0.5395 | 0.3299 | 0.5744 | -1 | 0.9534 | 1.953 | 1 | 4.451 | 0.01338 | 0.01365 | 0.063 | -0.00984 | 1 | 0.00001713 | 0.04636 | 0.04383 | 0.02307 | 0.1519 | 2.411 | 2.033 | 0.08195 | 0.1405 | 1 | 1 | 0.03382 | 0.1893 | 0.5291 | 0.1025 | 0.5738 | 1.604 | json |
| t13_x6_u48_b6 | 13 | 6 | 48 | 6 | ![]() |
nrm(lrg(nrm(R),P)) | 45825 | 105819873 | o1(o2(o1(x),x)) | true | 25567 | 25567 | 0.09335 | 0.4992 | 0.609 | 0.5131 | 0.7163 | -1 | 1 | 2 | 1 | 2.866 | 0.008691 | 0.005407 | 0.01674 | 0.2329 | 1 | 0.000001229 | 0.02855 | 0.02147 | 0.01382 | 0.1176 | 7.022 | 2 | 0.02747 | 0.05563 | 1 | 1 | 0.01669 | 0.07358 | 0.2811 | 0.03253 | 0.1434 | 0.5478 | json |
| t13_x6_u48_b7 | 13 | 6 | 48 | 7 | ![]() |
nrm(eql(nrm(R),P)) | 45826 | 105819874 | o1(o2(o1(x),x)) | true | 25575 | 25575 | -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 |
| t13_x6_u48_b8 | 13 | 6 | 48 | 8 | ![]() |
nrm(min(nrm(R),P)) | 45827 | 105819875 | o1(o2(o1(x),x)) | true | 25583 | 25583 | -0.3896 | 0.2198 | 0.5323 | 0.2636 | 0.5134 | -1 | 0.9995 | 1.999 | 1 | 4.305 | 0.001368 | 0.000949 | 0.02769 | 0.181 | 1 | -0.00002433 | 0.0001404 | 0.006404 | 0.001551 | 0.03938 | 1.422 | 0.2319 | 0.008793 | 0.0005326 | 1 | 1 | 0.004631 | 0.06063 | 0.2062 | 0.01757 | 0.2301 | 0.7823 | json |
| t13_x6_u48_b9 | 13 | 6 | 48 | 9 | ![]() |
nrm(dot(nrm(R),P)) | 45828 | 105819876 | o1(o2(o1(x),x)) | true | 25591 | 25591 | -0.06073 | 0.4514 | 0.4296 | 0.2175 | 0.4663 | -1 | 0.5774 | 1.577 | 1 | 3.923 | 0.003737 | 0.00504 | 0.05998 | -0.1484 | 1 | -0.00005928 | 0.006626 | 0.01855 | 0.00518 | 0.07197 | 1.2 | 2.23 | 0.04036 | 0.03047 | 1 | 1 | 0.01663 | 0.166 | 0.4745 | 0.07648 | 0.7635 | 2.182 | json |
| t13_x6_u48_b10 | 13 | 6 | 48 | 10 | ![]() |
nrm(dst(nrm(R),P)) | 45829 | 105819877 | o1(o2(o1(x),x)) | true | 25599 | 25599 | 0.5777 | 1 | 0.5777 | 1.421e-7 | 0.000377 | 0.5774 | 0.5774 | 1.192e-7 | 1 | 0 | 4.285e-17 | 3.39e-17 | 1.238e-9 | 0.000008951 | 0 | -4.58e-10 | 3.294e-16 | 1.382e-9 | 7.525e-17 | 8.675e-9 | 7.009 | 8.429e-8 | 5.402e-10 | 2.318e-9 | 1 | 1 | 7.278e-17 | 2.785e-16 | 4.862e-16 | 5.122e-10 | 1.96e-9 | 3.422e-9 | json |
| t13_x7_u0_b0 | 13 | 7 | 0 | 0 | ![]() |
sqt(add(sqt(R),D)) | 45830 | 105850620 | o1(o2(o1(x),x)) | true | 25607 | 25607 | -0.9538 | 0.02588 | 0.9944 | 0.08055 | 0.2838 | -1 | 0.9688 | 1.969 | 1 | 0.2414 | 0.01699 | 0.008717 | 0.01464 | 0.3218 | 1 | 0.000007785 | 0.05538 | 0.02876 | 0.02551 | 0.1597 | 10.91 | 2.756 | 0.3191 | 0.6875 | 1 | 1 | 0.01843 | 0.07351 | 0.1413 | 0.2288 | 0.9125 | 1.754 | json |
| t13_x7_u0_b1 | 13 | 7 | 0 | 1 | ![]() |
sqt(sub(sqt(R),D)) | 45831 | 105850621 | o1(o2(o1(x),x)) | true | 25615 | 25615 | -0.9543 | 0.02563 | 0.9944 | 0.07973 | 0.2824 | -1 | 0.9895 | 1.989 | 1 | 0.2426 | 0.01609 | 0.007755 | 0.01358 | 0.3496 | 1 | 0.00001645 | 0.05116 | 0.02666 | 0.02367 | 0.1538 | 11.33 | 2.695 | 0.2991 | 0.6416 | 1 | 1 | 0.01588 | 0.0642 | 0.1278 | 0.1992 | 0.8052 | 1.603 | json |
| t13_x7_u0_b2 | 13 | 7 | 0 | 2 | ![]() |
sqt(mlt(sqt(R),D)) | 45832 | 105850622 | o1(o2(o1(x),x)) | true | 25623 | 25623 | -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 |
| t13_x7_u0_b3 | 13 | 7 | 0 | 3 | ![]() |
sqt(div(sqt(R),D)) | 45833 | 105850623 | o1(o2(o1(x),x)) | true | 25631 | 25631 | -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 |
| t13_x7_u0_b4 | 13 | 7 | 0 | 4 | ![]() |
sqt(pow(sqt(R),D)) | 45834 | 105850624 | o1(o2(o1(x),x)) | true | 25639 | 25639 | -0.9146 | 0.04297 | 0.9995 | 0.1624 | 0.403 | -1 | 1 | 2 | 1 | 0.2679 | 0.01684 | 0.01615 | 0.01661 | 0.02075 | 1 | 0.000002097 | 0.06907 | 0.03321 | 0.0327 | 0.1808 | 10.89 | 2.828 | 0.2031 | 0.4253 | 1 | 1 | 0.02521 | 0.1083 | 0.2716 | 0.1553 | 0.6669 | 1.672 | json |
| t13_x7_u0_b5 | 13 | 7 | 0 | 5 | ![]() |
sqt(mod(sqt(R),D)) | 45835 | 105850625 | o1(o2(o1(x),x)) | true | 25647 | 25647 | -0.9427 | 0.04297 | 0.9713 | 0.07391 | 0.2719 | -1 | 0.7 | 1.7 | 1 | 0.3937 | 0.006064 | 0.007466 | 0.0147 | -0.1036 | 1 | -0.00004592 | 0.02783 | 0.02685 | 0.01332 | 0.1154 | 7.852 | 1.716 | 0.1831 | 0.3766 | 1 | 1 | 0.0103 | 0.04934 | 0.123 | 0.1394 | 0.6676 | 1.664 | json |
| t13_x7_u0_b6 | 13 | 7 | 0 | 6 | ![]() |
sqt(lrg(sqt(R),D)) | 45836 | 105850626 | o1(o2(o1(x),x)) | true | 25655 | 25655 | 0.9764 | 1 | 0.9764 | 0.008587 | 0.09266 | 0.007413 | 1 | 0.9926 | 1 | 0.6761 | 0.003381 | 0.0001242 | 0.01432 | 0.9291 | 1 | 0.00002584 | 0.007036 | 0.01663 | 0.003299 | 0.05743 | 4.011 | 0.9926 | 0.4082 | 0.8195 | 1 | 1 | 0.002943 | 0.009819 | 0.01635 | 0.3427 | 1.143 | 1.905 | json |
| t13_x7_u0_b7 | 13 | 7 | 0 | 7 | ![]() |
sqt(eql(sqt(R),D)) | 45837 | 105850627 | o1(o2(o1(x),x)) | true | 25663 | 25663 | 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 |
| t13_x7_u0_b8 | 13 | 7 | 0 | 8 | ![]() |
sqt(min(sqt(R),D)) | 45838 | 105850628 | o1(o2(o1(x),x)) | true | 25671 | 25671 | -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 |
| t13_x7_u0_b9 | 13 | 7 | 0 | 9 | ![]() |
sqt(dot(sqt(R),D)) | 45839 | 105850629 | o1(o2(o1(x),x)) | true | 25679 | 25679 | -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 |
| t13_x7_u0_b10 | 13 | 7 | 0 | 10 | ![]() |
sqt(dst(sqt(R),D)) | 45840 | 105850630 | o1(o2(o1(x),x)) | true | 25687 | 25687 | -0.9922 | 0.003906 | 1 | 0.01556 | 0.1248 | -1 | 1 | 2 | 1 | 0.03687 | 0.002016 | 0.002016 | 0.001997 | 0 | 1 | 0 | 0.008566 | 0.004031 | 0.004024 | 0.06344 | 31.76 | 2.828 | 0.259 | 0.5504 | 1 | 1 | 0.007091 | 0.02837 | 0.05496 | 0.4556 | 1.823 | 3.531 | json |
| t13_x7_u1_b0 | 13 | 7 | 1 | 0 | ![]() |
sqt(add(log(R),D)) | 45841 | 105850821 | o1(o2(o1(x),x)) | true | 25695 | 25695 | -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 |
| t13_x7_u1_b1 | 13 | 7 | 1 | 1 | ![]() |
sqt(sub(log(R),D)) | 45842 | 105850822 | o1(o2(o1(x),x)) | true | 25703 | 25703 | -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 |
| t13_x7_u1_b2 | 13 | 7 | 1 | 2 | ![]() |
sqt(mlt(log(R),D)) | 45843 | 105850823 | o1(o2(o1(x),x)) | true | 25711 | 25711 | -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 |
| t13_x7_u1_b3 | 13 | 7 | 1 | 3 | ![]() |
sqt(div(log(R),D)) | 45844 | 105850824 | o1(o2(o1(x),x)) | true | 25719 | 25719 | -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 |
| t13_x7_u1_b4 | 13 | 7 | 1 | 4 | ![]() |
sqt(pow(log(R),D)) | 45845 | 105850825 | o1(o2(o1(x),x)) | true | 25727 | 25727 | -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 |
| t13_x7_u1_b5 | 13 | 7 | 1 | 5 | ![]() |
sqt(mod(log(R),D)) | 45846 | 105850826 | o1(o2(o1(x),x)) | true | 25735 | 25735 | -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 |
| t13_x7_u1_b6 | 13 | 7 | 1 | 6 | ![]() |
sqt(lrg(log(R),D)) | 45847 | 105850827 | o1(o2(o1(x),x)) | true | 25743 | 25743 | 0.5848 | 0.9773 | 0.5848 | 0.1487 | 0.3856 | 0 | 1 | 1 | 1 | 3.365 | 0.01084 | 0.002302 | 0.06246 | 0.6497 | 1 | -0.0003336 | 0.01823 | 0.03741 | 0.009242 | 0.09613 | 1.539 | 0.9997 | 0.08839 | 0.1226 | 1 | 1 | 0.01677 | 0.1301 | 0.268 | 0.1128 | 0.8753 | 1.802 | json |
| t13_x7_u1_b7 | 13 | 7 | 1 | 7 | ![]() |
sqt(eql(log(R),D)) | 45848 | 105850828 | o1(o2(o1(x),x)) | true | 25751 | 25751 | 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 |
| t13_x7_u1_b8 | 13 | 7 | 1 | 8 | ![]() |
sqt(min(log(R),D)) | 45849 | 105850829 | o1(o2(o1(x),x)) | true | 25759 | 25759 | -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 |
| t13_x7_u1_b9 | 13 | 7 | 1 | 9 | ![]() |
sqt(dot(log(R),D)) | 45850 | 105850830 | o1(o2(o1(x),x)) | true | 25767 | 25767 | -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 |
| t13_x7_u1_b10 | 13 | 7 | 1 | 10 | ![]() |
sqt(dst(log(R),D)) | 45851 | 105850831 | o1(o2(o1(x),x)) | true | 25775 | 25775 | -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 |
| t13_x7_u2_b0 | 13 | 7 | 2 | 0 | ![]() |
sqt(add(frc(R),D)) | 45852 | 105851022 | o1(o2(o1(x),x)) | true | 25783 | 25783 | -0.388 | 0.3633 | 0.8855 | 0.6662 | 0.8162 | -1 | 1 | 2 | 1 | 2.142 | 0.306 | 0.02959 | 0.2109 | 0.8236 | 1 | 0.001393 | 0.722 | 0.4056 | 0.2912 | 0.5397 | 2.558 | 2.761 | 0.5037 | 1.084 | 1 | 1 | 0.3323 | 0.941 | 0.8127 | 0.4987 | 1.412 | 1.22 | json |
| t13_x7_u2_b1 | 13 | 7 | 2 | 1 | ![]() |
sqt(sub(frc(R),D)) | 45853 | 105851023 | o1(o2(o1(x),x)) | true | 25791 | 25791 | -0.3852 | 0.3655 | 0.8838 | 0.666 | 0.8161 | -1 | 1 | 2 | 1 | 2.158 | 0.3057 | 0.0306 | 0.211 | 0.818 | 1 | 0.0001692 | 0.7256 | 0.4076 | 0.2919 | 0.5403 | 2.561 | 2.828 | 0.5049 | 1.089 | 1 | 1 | 0.3328 | 0.9466 | 0.8162 | 0.4996 | 1.421 | 1.226 | json |
| t13_x7_u2_b2 | 13 | 7 | 2 | 2 | ![]() |
sqt(mlt(frc(R),D)) | 45854 | 105851024 | o1(o2(o1(x),x)) | true | 25799 | 25799 | -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 |
| t13_x7_u2_b3 | 13 | 7 | 2 | 3 | ![]() |
sqt(div(frc(R),D)) | 45855 | 105851025 | o1(o2(o1(x),x)) | true | 25807 | 25807 | -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 |
| t13_x7_u2_b4 | 13 | 7 | 2 | 4 | ![]() |
sqt(pow(frc(R),D)) | 45856 | 105851026 | o1(o2(o1(x),x)) | true | 25815 | 25815 | 0.974 | 1 | 0.974 | 0.002786 | 0.05278 | 0.5171 | 1 | 0.4829 | 1 | 0.8328 | 0.0002793 | 0.00004503 | 0.009362 | 0.7224 | 1 | 0.00002398 | 0.0001275 | 0.005838 | 0.0002368 | 0.01539 | 1.644 | 0.1694 | 0.1164 | 0.04578 | 1 | 1 | 0.000567 | 0.004138 | 0.005004 | 0.2035 | 1.486 | 1.796 | json |
| t13_x7_u2_b5 | 13 | 7 | 2 | 5 | ![]() |
sqt(mod(frc(R),D)) | 45857 | 105851027 | o1(o2(o1(x),x)) | true | 25823 | 25823 | 0.3189 | 1 | 0.3189 | 0.0205 | 0.1432 | 0.007958 | 0.6838 | 0.6758 | 1 | 3.195 | 0.01544 | 0.0001213 | 0.09255 | 0.9844 | 1 | -0.0005436 | 0.03873 | 0.1475 | 0.006996 | 0.08364 | 0.9038 | 0.4518 | 0.759 | 1.889 | 1 | 1 | 0.0122 | 0.03525 | 0.01669 | 0.5953 | 1.719 | 0.8138 | json |
| t13_x7_u2_b6 | 13 | 7 | 2 | 6 | ![]() |
sqt(lrg(frc(R),D)) | 45858 | 105851028 | o1(o2(o1(x),x)) | true | 25831 | 25831 | 0.8717 | 1 | 0.8717 | 0.05109 | 0.226 | 0.000582 | 1 | 0.9994 | 1 | 2.175 | 0.01818 | 0.0005901 | 0.05803 | 0.9371 | 1 | 0.00008906 | 0.03613 | 0.06391 | 0.0154 | 0.1241 | 2.139 | 0.9994 | 0.3674 | 0.7072 | 1 | 1 | 0.01752 | 0.06396 | 0.08102 | 0.3429 | 1.252 | 1.586 | json |
| t13_x7_u2_b7 | 13 | 7 | 2 | 7 | ![]() |
sqt(eql(frc(R),D)) | 45859 | 105851029 | o1(o2(o1(x),x)) | true | 25839 | 25839 | 0.000082 | 0.0002441 | 0.000082 | 0.00004315 | 0.006569 | 0 | 0.6715 | 0.6715 | 1 | 0.003091 | 0.00006086 | 6.316e-7 | 0.000129 | 0.9795 | 0 | 2.395e-7 | 0.0001845 | 0.0002541 | 0.00006148 | 0.007841 | 60.78 | 0.6519 | 1.425 | 4.276 | 1 | 1 | 0 | 0 | 0.00003293 | 0 | 0 | 0.7631 | json |
| t13_x7_u2_b8 | 13 | 7 | 2 | 8 | ![]() |
sqt(min(frc(R),D)) | 45860 | 105851030 | o1(o2(o1(x),x)) | true | 25847 | 25847 | -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 |
| t13_x7_u2_b9 | 13 | 7 | 2 | 9 | ![]() |
sqt(dot(frc(R),D)) | 45861 | 105851031 | o1(o2(o1(x),x)) | true | 25855 | 25855 | -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 |
| t13_x7_u2_b10 | 13 | 7 | 2 | 10 | ![]() |
sqt(dst(frc(R),D)) | 45862 | 105851032 | o1(o2(o1(x),x)) | true | 25863 | 25863 | 0.9606 | 1 | 0.9606 | 0.006172 | 0.07856 | 0.2677 | 1 | 0.7323 | 1 | 1.208 | 0.0002501 | 0.0002452 | 0.012 | 0.009838 | 1 | -0.00005142 | 0.000136 | 0.005501 | 0.0003512 | 0.01874 | 1.562 | 0.1481 | 0.08025 | 0.02204 | 1 | 1 | 0.0009358 | 0.007942 | 0.01108 | 0.1516 | 1.287 | 1.795 | json |
| t13_x7_u3_b0 | 13 | 7 | 3 | 0 | ![]() |
sqt(add(flr(R),D)) | 45863 | 105851223 | o1(o2(o1(x),x)) | true | 25871 | 25871 | -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 |
| t13_x7_u3_b1 | 13 | 7 | 3 | 1 | ![]() |
sqt(sub(flr(R),D)) | 45864 | 105851224 | o1(o2(o1(x),x)) | true | 25879 | 25879 | -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 |
| t13_x7_u3_b2 | 13 | 7 | 3 | 2 | ![]() |
sqt(mlt(flr(R),D)) | 45865 | 105851225 | o1(o2(o1(x),x)) | true | 25887 | 25887 | -0.7544 | 0.1667 | 0.8081 | 0.2203 | 0.4694 | -1 | 0.4565 | 1.457 | 1 | 1.249 | 0.02342 | 0.02104 | 0.04583 | 0.05352 | 1 | -0.00002833 | 0.09093 | 0.08137 | 0.04237 | 0.2058 | 4.492 | 1.664 | 0.2017 | 0.4127 | 1 | 1 | 0.04763 | 0.2124 | 0.4862 | 0.2162 | 0.9641 | 2.207 | json |
| t13_x7_u3_b3 | 13 | 7 | 3 | 3 | ![]() |
sqt(div(flr(R),D)) | 45866 | 105851226 | o1(o2(o1(x),x)) | true | 25895 | 25895 | -0.709 | 0.1688 | 0.8535 | 0.3383 | 0.5816 | -1 | 1 | 2 | 1 | 1.326 | 0.04814 | 0.03019 | 0.06133 | 0.2292 | 1 | 8.147e-7 | 0.1623 | 0.1058 | 0.07457 | 0.2731 | 4.453 | 2.828 | 0.2315 | 0.4798 | 1 | 1 | 0.08332 | 0.3597 | 0.7496 | 0.2463 | 1.063 | 2.216 | json |
| t13_x7_u3_b4 | 13 | 7 | 3 | 4 | ![]() |
sqt(pow(flr(R),D)) | 45867 | 105851227 | o1(o2(o1(x),x)) | true | 25903 | 25903 | -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 |
| t13_x7_u3_b5 | 13 | 7 | 3 | 5 | ![]() |
sqt(mod(flr(R),D)) | 45868 | 105851228 | o1(o2(o1(x),x)) | true | 25911 | 25911 | -0.9355 | 0 | 0.9355 | 0.0603 | 0.2456 | -1 | 0 | 1 | 1 | 0.3449 | 0.03943 | 0.005637 | 0.04452 | 0.7498 | 1 | 0 | 0.1262 | 0.09014 | 0.04307 | 0.2075 | 4.661 | 1.414 | 0.7475 | 2.092 | 1 | 1 | 0.02957 | 0.05542 | 0.1043 | 0.4904 | 0.9191 | 1.73 | json |
| t13_x7_u3_b6 | 13 | 7 | 3 | 6 | ![]() |
sqt(lrg(flr(R),D)) | 45869 | 105851229 | o1(o2(o1(x),x)) | true | 25919 | 25919 | 0.2393 | 0.7168 | 0.2393 | 0.1075 | 0.3279 | 0 | 0.9997 | 0.9997 | 1 | 2.776 | 0.02734 | 0.00118 | 0.06882 | 0.9172 | 1 | -0.00001639 | 0.05101 | 0.06655 | 0.02378 | 0.1542 | 2.241 | 0.9997 | 0.2652 | 0.4744 | 1 | 1 | 0.03061 | 0.1388 | 0.1417 | 0.2847 | 1.291 | 1.317 | json |
| t13_x7_u3_b7 | 13 | 7 | 3 | 7 | ![]() |
sqt(eql(flr(R),D)) | 45870 | 105851230 | o1(o2(o1(x),x)) | true | 25927 | 25927 | 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 |
| t13_x7_u3_b8 | 13 | 7 | 3 | 8 | ![]() |
sqt(min(flr(R),D)) | 45871 | 105851231 | o1(o2(o1(x),x)) | true | 25935 | 25935 | -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 |
| t13_x7_u3_b9 | 13 | 7 | 3 | 9 | ![]() |
sqt(dot(flr(R),D)) | 45872 | 105851232 | o1(o2(o1(x),x)) | true | 25943 | 25943 | -0.8686 | 0.1021 | 0.9151 | 0.1455 | 0.3814 | -1 | 0.636 | 1.636 | 1 | 0.8194 | 0.02117 | 0.02306 | 0.0384 | -0.04288 | 1 | -0.00005108 | 0.1147 | 0.07493 | 0.04275 | 0.2067 | 5.385 | 2.159 | 0.304 | 0.7882 | 1 | 1 | 0.04745 | 0.1921 | 0.34 | 0.3261 | 1.32 | 2.337 | json |
| t13_x7_u3_b10 | 13 | 7 | 3 | 10 | ![]() |
sqt(dst(flr(R),D)) | 45873 | 105851233 | o1(o2(o1(x),x)) | true | 25951 | 25951 | 0.966 | 1 | 0.966 | 0.01078 | 0.1038 | 0.2104 | 1 | 0.7896 | 1 | 0.9324 | 0.0003932 | 0.0004181 | 0.01135 | -0.03065 | 1 | -0.00001854 | 0.0002095 | 0.004491 | 0.0006827 | 0.02613 | 2.303 | 0.1567 | 0.07528 | 0.01944 | 1 | 1 | 0.001757 | 0.0162 | 0.02169 | 0.163 | 1.503 | 2.012 | json |
| t13_x7_u4_b0 | 13 | 7 | 4 | 0 | ![]() |
sqt(add(cil(R),D)) | 45874 | 105851424 | o1(o2(o1(x),x)) | true | 25959 | 25959 | -0.6165 | 0.2109 | 0.9616 | 0.5587 | 0.7474 | -1 | 1 | 2 | 1 | 1.359 | 0.0637 | 0.05691 | 0.0725 | 0.05629 | 1 | 9.447e-7 | 0.2536 | 0.1324 | 0.1154 | 0.3397 | 4.686 | 2.817 | 0.2159 | 0.454 | 1 | 1 | 0.121 | 0.5104 | 1.194 | 0.2166 | 0.9136 | 2.137 | json |
| t13_x7_u4_b1 | 13 | 7 | 4 | 1 | ![]() |
sqt(sub(cil(R),D)) | 45875 | 105851425 | o1(o2(o1(x),x)) | true | 25967 | 25967 | -0.6011 | 0.2188 | 0.9614 | 0.5767 | 0.7594 | -1 | 1 | 2 | 1 | 1.389 | 0.06466 | 0.05572 | 0.07238 | 0.0743 | 1 | 0.00001188 | 0.2531 | 0.1322 | 0.1152 | 0.3394 | 4.689 | 2.828 | 0.2087 | 0.4389 | 1 | 1 | 0.1245 | 0.5225 | 1.249 | 0.2159 | 0.906 | 2.166 | json |
| t13_x7_u4_b2 | 13 | 7 | 4 | 2 | ![]() |
sqt(mlt(cil(R),D)) | 45876 | 105851426 | o1(o2(o1(x),x)) | true | 25975 | 25975 | -0.7183 | 0.174 | 0.7739 | 0.2386 | 0.4885 | -1 | 0.4565 | 1.457 | 1 | 1.349 | 0.02459 | 0.02006 | 0.0467 | 0.1013 | 1 | -0.00002289 | 0.09068 | 0.08254 | 0.04248 | 0.2061 | 4.413 | 1.457 | 0.1871 | 0.38 | 1 | 1 | 0.04736 | 0.2117 | 0.4513 | 0.1985 | 0.8874 | 1.891 | json |
| t13_x7_u4_b3 | 13 | 7 | 4 | 3 | ![]() |
sqt(div(cil(R),D)) | 45877 | 105851427 | o1(o2(o1(x),x)) | true | 25983 | 25983 | -0.6711 | 0.1763 | 0.8211 | 0.3579 | 0.5983 | -1 | 1 | 2 | 1 | 1.436 | 0.05041 | 0.02793 | 0.06282 | 0.2869 | 1 | -0.000006904 | 0.1614 | 0.1071 | 0.07437 | 0.2727 | 4.341 | 2.008 | 0.2189 | 0.451 | 1 | 1 | 0.08107 | 0.3508 | 0.6695 | 0.2265 | 0.98 | 1.871 | json |
| t13_x7_u4_b4 | 13 | 7 | 4 | 4 | ![]() |
sqt(pow(cil(R),D)) | 45878 | 105851428 | o1(o2(o1(x),x)) | true | 25991 | 25991 | -0.1084 | 0.4727 | 0.9463 | 0.9185 | 0.9584 | -1 | 1 | 2 | 1 | 1.763 | 0.09523 | 0.1231 | 0.1227 | -0.1275 | 1 | 0.000002846 | 0.4615 | 0.2313 | 0.2032 | 0.4507 | 3.674 | 2.828 | 0.2377 | 0.5024 | 1 | 1 | 0.2182 | 0.9093 | 1.701 | 0.2376 | 0.99 | 1.852 | json |
| t13_x7_u4_b5 | 13 | 7 | 4 | 5 | ![]() |
sqt(mod(cil(R),D)) | 45879 | 105851429 | o1(o2(o1(x),x)) | true | 25999 | 25999 | 0.1681 | 0.7938 | 0.1681 | 0.02633 | 0.1623 | 0 | 0.5652 | 0.5652 | 1 | 2.722 | 0.006876 | 0.0003224 | 0.05842 | 0.9104 | 1 | -0.00002313 | 0.01403 | 0.07701 | 0.003786 | 0.06153 | 1.053 | 0.2503 | 0.2734 | 0.5329 | 1 | 1 | 0.007203 | 0.02665 | 0.03699 | 0.2735 | 1.012 | 1.405 | json |
| t13_x7_u4_b6 | 13 | 7 | 4 | 6 | ![]() |
sqt(lrg(cil(R),D)) | 45880 | 105851430 | o1(o2(o1(x),x)) | true | 26007 | 26007 | 0.7432 | 1 | 0.7432 | 0.1126 | 0.3355 | 0.000291 | 1 | 0.9997 | 1 | 2.88 | 0.03004 | 0.00118 | 0.07441 | 0.9244 | 1 | -0.000001422 | 0.05612 | 0.0721 | 0.02568 | 0.1603 | 2.154 | 0.9997 | 0.2773 | 0.4985 | 1 | 1 | 0.03636 | 0.1591 | 0.1423 | 0.323 | 1.413 | 1.264 | json |
| t13_x7_u4_b7 | 13 | 7 | 4 | 7 | ![]() |
sqt(eql(cil(R),D)) | 45881 | 105851431 | o1(o2(o1(x),x)) | true | 26015 | 26015 | 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 |
| t13_x7_u4_b8 | 13 | 7 | 4 | 8 | ![]() |
sqt(min(cil(R),D)) | 45882 | 105851432 | o1(o2(o1(x),x)) | true | 26023 | 26023 | -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 |
| t13_x7_u4_b9 | 13 | 7 | 4 | 9 | ![]() |
sqt(dot(cil(R),D)) | 45883 | 105851433 | o1(o2(o1(x),x)) | true | 26031 | 26031 | -0.8879 | 0.08347 | 0.9239 | 0.1239 | 0.3521 | -1 | 0.636 | 1.636 | 1 | 0.7184 | 0.01476 | 0.01575 | 0.02598 | -0.03259 | 1 | -0.0000263 | 0.08504 | 0.05182 | 0.02985 | 0.1728 | 6.65 | 2.149 | 0.2461 | 0.6861 | 1 | 1 | 0.02826 | 0.1123 | 0.2328 | 0.228 | 0.9057 | 1.878 | json |
| t13_x7_u4_b10 | 13 | 7 | 4 | 10 | ![]() |
sqt(dst(cil(R),D)) | 45884 | 105851434 | o1(o2(o1(x),x)) | true | 26039 | 26039 | 0.9608 | 1 | 0.9608 | 0.01259 | 0.1122 | 0.2104 | 1 | 0.7896 | 1 | 1.02 | 0.0004663 | 0.0004308 | 0.01233 | 0.03957 | 1 | -0.00006345 | 0.0002255 | 0.004796 | 0.0007453 | 0.0273 | 2.214 | 0.1586 | 0.07124 | 0.0179 | 1 | 1 | 0.001317 | 0.01217 | 0.01677 | 0.1046 | 0.9661 | 1.331 | json |
| t13_x7_u5_b0 | 13 | 7 | 5 | 0 | ![]() |
sqt(add(sgn(R),D)) | 45885 | 105851625 | o1(o2(o1(x),x)) | true | 26047 | 26047 | -0.9155 | 0.04297 | 0.9986 | 0.1593 | 0.3991 | -1 | 1 | 2 | 1 | 0.2942 | 0.01675 | 0.01584 | 0.01676 | 0.02795 | 1 | 0.000005895 | 0.06842 | 0.03318 | 0.03229 | 0.1797 | 10.72 | 2.806 | 0.2046 | 0.4295 | 1 | 1 | 0.0248 | 0.1058 | 0.2668 | 0.1557 | 0.6643 | 1.675 | json |
| t13_x7_u5_b1 | 13 | 7 | 5 | 1 | ![]() |
sqt(sub(sgn(R),D)) | 45886 | 105851626 | o1(o2(o1(x),x)) | true | 26055 | 26055 | -0.9155 | 0.04297 | 0.9986 | 0.1593 | 0.3991 | -1 | 1 | 2 | 1 | 0.2942 | 0.01677 | 0.01585 | 0.01675 | 0.02817 | 1 | 0.00001179 | 0.06844 | 0.03318 | 0.03232 | 0.1798 | 10.73 | 2.828 | 0.2047 | 0.4296 | 1 | 1 | 0.02486 | 0.1063 | 0.2669 | 0.156 | 0.667 | 1.675 | json |
| t13_x7_u5_b2 | 13 | 7 | 5 | 2 | ![]() |
sqt(mlt(sgn(R),D)) | 45887 | 105851627 | o1(o2(o1(x),x)) | true | 26063 | 26063 | -0.9414 | 0.03906 | 0.9804 | 0.08556 | 0.2925 | -1 | 0.7042 | 1.704 | 1 | 0.3454 | 0.007041 | 0.009185 | 0.01423 | -0.1321 | 1 | -7.321e-10 | 0.03198 | 0.02365 | 0.01602 | 0.1266 | 8.896 | 1.704 | 0.1896 | 0.3738 | 1 | 1 | 0.01848 | 0.08925 | 0.192 | 0.216 | 1.043 | 2.244 | json |
| t13_x7_u5_b3 | 13 | 7 | 5 | 3 | ![]() |
sqt(div(sgn(R),D)) | 45888 | 105851628 | o1(o2(o1(x),x)) | true | 26071 | 26071 | -0.9219 | 0.03906 | 1 | 0.1501 | 0.3874 | -1 | 1 | 2 | 1 | 0.238 | 0.01965 | 0.01612 | 0.01776 | 0.09859 | 1 | 0 | 0.07559 | 0.03578 | 0.03547 | 0.1883 | 10.6 | 2.828 | 0.2384 | 0.5037 | 1 | 1 | 0.03789 | 0.1542 | 0.336 | 0.2525 | 1.028 | 2.239 | json |
| t13_x7_u5_b4 | 13 | 7 | 5 | 4 | ![]() |
sqt(pow(sgn(R),D)) | 45889 | 105851629 | o1(o2(o1(x),x)) | true | 26079 | 26079 | -0.9141 | 0.04297 | 1 | 0.1645 | 0.4056 | -1 | 1 | 2 | 1 | 0.2557 | 0.01688 | 0.01638 | 0.01652 | 0.01515 | 1 | 0 | 0.06954 | 0.03326 | 0.03297 | 0.1816 | 10.99 | 2.828 | 0.2022 | 0.4228 | 1 | 1 | 0.02543 | 0.1095 | 0.2757 | 0.1546 | 0.6659 | 1.676 | json |
| t13_x7_u5_b5 | 13 | 7 | 5 | 5 | ![]() |
sqt(mod(sgn(R),D)) | 45890 | 105851630 | o1(o2(o1(x),x)) | true | 26087 | 26087 | -0.9206 | 0.0376 | 0.9505 | 0.09454 | 0.3075 | -1 | 0.5652 | 1.565 | 1 | 0.5028 | 0.03998 | 0.009209 | 0.04942 | 0.6255 | 1 | -0.000002961 | 0.1324 | 0.09595 | 0.04674 | 0.2162 | 4.375 | 1.601 | 0.5203 | 1.4 | 1 | 1 | 0.03355 | 0.07945 | 0.164 | 0.3549 | 0.8404 | 1.735 | json |
| t13_x7_u5_b6 | 13 | 7 | 5 | 6 | ![]() |
sqt(lrg(sgn(R),D)) | 45891 | 105851631 | o1(o2(o1(x),x)) | true | 26095 | 26095 | 0.4824 | 0.9147 | 0.4824 | 0.1537 | 0.3921 | 0 | 1 | 1 | 1 | 3.429 | 0.001972 | 0.002442 | 0.05168 | -0.1065 | 1 | -0.00001781 | 0.0002592 | 0.01257 | 0.001744 | 0.04176 | 0.8079 | 0.1169 | 0.02872 | 0.001686 | 1 | 1 | 0.008731 | 0.1124 | 0.2862 | 0.0568 | 0.7316 | 1.862 | json |
| t13_x7_u5_b7 | 13 | 7 | 5 | 7 | ![]() |
sqt(eql(sgn(R),D)) | 45892 | 105851632 | o1(o2(o1(x),x)) | true | 26103 | 26103 | 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 |
| t13_x7_u5_b8 | 13 | 7 | 5 | 8 | ![]() |
sqt(min(sgn(R),D)) | 45893 | 105851633 | o1(o2(o1(x),x)) | true | 26111 | 26111 | -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 |
| t13_x7_u5_b9 | 13 | 7 | 5 | 9 | ![]() |
sqt(dot(sgn(R),D)) | 45894 | 105851634 | o1(o2(o1(x),x)) | true | 26119 | 26119 | -0.9024 | 0.06433 | 0.9689 | 0.1416 | 0.3763 | -1 | 0.8785 | 1.879 | 1 | 0.5728 | 0.05002 | 0.04587 | 0.06476 | 0.04328 | 1 | -0.0000793 | 0.3744 | 0.14 | 0.09171 | 0.3028 | 4.677 | 2.613 | 0.6773 | 2.645 | 1 | 1 | 0.09376 | 0.2605 | 0.3235 | 0.6623 | 1.84 | 2.285 | json |
| t13_x7_u5_b10 | 13 | 7 | 5 | 10 | ![]() |
sqt(dst(sgn(R),D)) | 45895 | 105851635 | o1(o2(o1(x),x)) | true | 26127 | 26127 | 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 |
| t13_x7_u6_b0 | 13 | 7 | 6 | 0 | ![]() |
sqt(add(nrm(R),D)) | 45896 | 105851826 | o1(o2(o1(x),x)) | true | 26135 | 26135 | -0.886 | 0.06934 | 0.9753 | 0.1758 | 0.4192 | -1 | 0.9604 | 1.96 | 1 | 0.5874 | 0.06691 | 0.01646 | 0.05261 | 0.6052 | 1 | 0.0003661 | 0.1779 | 0.1011 | 0.08061 | 0.2839 | 5.396 | 2.705 | 0.4744 | 1.012 | 1 | 1 | 0.0765 | 0.232 | 0.3476 | 0.4353 | 1.32 | 1.978 | json |
| t13_x7_u6_b1 | 13 | 7 | 6 | 1 | ![]() |
sqt(sub(nrm(R),D)) | 45897 | 105851827 | o1(o2(o1(x),x)) | true | 26143 | 26143 | -0.8712 | 0.07837 | 0.9721 | 0.197 | 0.4438 | -1 | 0.9604 | 1.96 | 1 | 0.6533 | 0.06922 | 0.01672 | 0.05416 | 0.6109 | 1 | 0.00005853 | 0.1867 | 0.1044 | 0.083 | 0.2881 | 5.319 | 2.588 | 0.4363 | 0.9481 | 1 | 1 | 0.0788 | 0.2419 | 0.3687 | 0.4001 | 1.228 | 1.872 | json |
| t13_x7_u6_b2 | 13 | 7 | 6 | 2 | ![]() |
sqt(mlt(nrm(R),D)) | 45898 | 105851828 | o1(o2(o1(x),x)) | true | 26151 | 26151 | -0.9468 | 0.03906 | 0.9751 | 0.07055 | 0.2656 | -1 | 0.6397 | 1.64 | 1 | 0.3612 | 0.006389 | 0.007503 | 0.01281 | -0.08018 | 1 | 5.952e-7 | 0.0278 | 0.02204 | 0.01373 | 0.1172 | 9.147 | 1.658 | 0.1969 | 0.394 | 1 | 1 | 0.01572 | 0.07351 | 0.1589 | 0.2228 | 1.042 | 2.253 | json |
| t13_x7_u6_b3 | 13 | 7 | 6 | 3 | ![]() |
sqt(div(nrm(R),D)) | 45899 | 105851829 | o1(o2(o1(x),x)) | true | 26159 | 26159 | -0.923 | 0.03906 | 0.9989 | 0.1464 | 0.3826 | -1 | 1 | 2 | 1 | 0.2687 | 0.01954 | 0.01549 | 0.01796 | 0.1158 | 1 | -9.386e-11 | 0.07405 | 0.03568 | 0.03472 | 0.1863 | 10.37 | 2.828 | 0.2393 | 0.5059 | 1 | 1 | 0.03692 | 0.15 | 0.3264 | 0.2522 | 1.025 | 2.229 | json |



































































































