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 | ||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| t19_x13_u6_b16 | 19 | 13 | 6 | 16 | ![]() |
sub(D,mod(nrm(D),D)) | 148400 | 154817854 | o2(x,o2(o1(x),x)) | true | 67207 | 67207 | -7.562e-10 | 0.5 | 0.06279 | 0.006426 | 0.08016 | -0.2043 | 0.2043 | 0.4086 | 1 | 2.424 | 0.009267 | 0.004258 | 0.08529 | 0.3704 | 1 | -8.964e-11 | 0.05791 | 0.1627 | 0.006249 | 0.07905 | 0.9268 | 0.4755 | 2.105 | 9.011 | 1 | 1 | 0.008905 | 0.01307 | 0 | 1.386 | 2.033 | 0 | json |
| t19_x13_u6_b17 | 19 | 13 | 6 | 17 | ![]() |
sub(D,lrg(nrm(D),D)) | 148401 | 154817855 | o2(x,o2(o1(x),x)) | true | 67215 | 67215 | -0.5 | 0 | 0.5 | 0.08417 | 0.2901 | -0.969 | -0.03096 | 0.9381 | 1 | 4 | 0.05605 | 0.00002501 | 0.1148 | 0.9991 | 1 | 8.063e-10 | 0.119 | 0.1263 | 0.04288 | 0.2071 | 1.803 | 0.9381 | 0.6662 | 1.414 | 1 | 1 | 0.05347 | 0.1273 | 0 | 0.6352 | 1.513 | 0 | json |
| t19_x13_u6_b18 | 19 | 13 | 6 | 18 | ![]() |
sub(D,eql(nrm(D),D)) | 148402 | 154817856 | o2(x,o2(o1(x),x)) | true | 67223 | 67223 | 0 | 0.5 | 0.09436 | 0.01082 | 0.104 | -0.1454 | 0.1454 | 0.2908 | 1 | 2.561 | 0.001632 | 0 | 0.0361 | 1 | 1 | 0 | 0.0002563 | 0.01459 | 0.0003304 | 0.01818 | 0.5036 | 0.06192 | 0.1508 | 0.02368 | 1 | 1 | 0.003151 | 0.02183 | 0 | 0.2912 | 2.017 | 0 | json |
| t19_x13_u6_b19 | 19 | 13 | 6 | 19 | ![]() |
sub(D,min(nrm(D),D)) | 148403 | 154817857 | o2(x,o2(o1(x),x)) | true | 67231 | 67231 | 0.1787 | 0.9219 | 0.1787 | 0.03863 | 0.1965 | 0 | 0.8486 | 0.8486 | 1 | 2.909 | 0.008127 | 0.003662 | 0.06674 | 0.3788 | 1 | 0.0001323 | 0.01337 | 0.04048 | 0.007335 | 0.08565 | 1.283 | 0.7813 | 0.3052 | 0.3461 | 1 | 1 | 0.01899 | 0.08317 | 0 | 0.4917 | 2.153 | 0 | json |
| t19_x13_u6_b20 | 19 | 13 | 6 | 20 | ![]() |
sub(D,dot(nrm(D),D)) | 148404 | 154817858 | o2(x,o2(o1(x),x)) | true | 67239 | 67239 | -0.4439 | 0 | 0.4439 | 0.03586 | 0.1894 | -0.7717 | -0.01377 | 0.7579 | 1 | 3.541 | 0.003627 | 0.001981 | 0.07077 | 0.2935 | 1 | 0.0006855 | 0.0009301 | 0.02391 | 0.0006004 | 0.0245 | 0.3462 | 0.1221 | 0.1564 | 0.02594 | 1 | 1 | 0.01081 | 0.07252 | 0 | 0.3014 | 2.022 | 0 | json |
| t19_x13_u6_b21 | 19 | 13 | 6 | 21 | ![]() |
sub(D,dst(nrm(D),D)) | 148405 | 154817859 | o2(x,o2(o1(x),x)) | true | 67247 | 67247 | -0.5564 | 0 | 0.5564 | 0.03586 | 0.1894 | -0.9862 | -0.2283 | 0.7579 | 1 | 3.545 | 0.003601 | 0.001982 | 0.07047 | 0.29 | 1 | -0.0006823 | 0.0009316 | 0.02392 | 0.0006175 | 0.02485 | 0.3526 | 0.1304 | 0.1557 | 0.02598 | 1 | 1 | 0.01071 | 0.07252 | 0 | 0.2987 | 2.022 | 0 | json |
| t19_x13_u6_b22 | 19 | 13 | 6 | 22 | ![]() |
mlt(D,add(nrm(D),D)) | 148406 | 154817860 | o2(x,o2(o1(x),x)) | true | 67255 | 67255 | 0.341 | 1 | 0.341 | 0.05892 | 0.2427 | 0.003471 | 0.7426 | 0.7391 | 1 | 3.426 | 0.008833 | 0.0002999 | 0.08618 | 0.9343 | 1 | -0.0005833 | 0.001448 | 0.03328 | 0.001705 | 0.0413 | 0.4792 | 0.1408 | 0.155 | 0.02458 | 1 | 1 | 0.01751 | 0.117 | 0 | 0.2972 | 1.985 | 0 | json |
| t19_x13_u6_b23 | 19 | 13 | 6 | 23 | ![]() |
mlt(D,sub(nrm(D),D)) | 148407 | 154817861 | o2(x,o2(o1(x),x)) | true | 67263 | 67263 | 0.1029 | 1 | 0.1029 | 0.005448 | 0.07381 | 0.000972 | 0.248 | 0.247 | 1 | 1.947 | 0.0006582 | 0.0002999 | 0.02764 | 0.374 | 1 | -0.0001023 | 0.0002556 | 0.01229 | 0.0001943 | 0.01394 | 0.5044 | 0.06333 | 0.1758 | 0.04692 | 1 | 1 | 0.001807 | 0.01105 | 0 | 0.3317 | 2.028 | 0 | json |
| t19_x13_u6_b24 | 19 | 13 | 6 | 24 | ![]() |
mlt(D,mlt(nrm(D),D)) | 148408 | 154817862 | o2(x,o2(o1(x),x)) | true | 67271 | 67271 | 2.416e-9 | 0.4844 | 0.008945 | 0.0001393 | 0.0118 | -0.02553 | 0.02553 | 0.05106 | 1 | 1 | 0.00002981 | 0.000004394 | 0.005023 | 0.7431 | 0 | -1.12e-11 | 0.00001229 | 0.002841 | 0.000008978 | 0.002996 | 0.5965 | 0.01359 | 0.2455 | 0.0882 | 1 | 1 | 0.00006266 | 0.0002994 | 0 | 0.4497 | 2.148 | 0 | json |
| t19_x13_u6_b25 | 19 | 13 | 6 | 25 | ![]() |
mlt(D,div(nrm(D),D)) | 148409 | 154817863 | o2(x,o2(o1(x),x)) | true | 67279 | 67279 | -2.213e-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 | 7.174e-9 | 0.04219 | 0.07112 | 0.01975 | 0.1405 | 0.8875 | 1.466 | 0.2401 | 0.226 | 1 | 1 | 0.07517 | 0.4029 | 0 | 0.4025 | 2.158 | 0 | json |
| t19_x13_u6_b26 | 19 | 13 | 6 | 26 | ![]() |
mlt(D,pow(nrm(D),D)) | 148410 | 154817864 | o2(x,o2(o1(x),x)) | true | 67287 | 67287 | -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 |
| t19_x13_u6_b27 | 19 | 13 | 6 | 27 | ![]() |
mlt(D,mod(nrm(D),D)) | 148411 | 154817865 | o2(x,o2(o1(x),x)) | true | 67295 | 67295 | 0.05377 | 1 | 0.05377 | 0.002463 | 0.04963 | 0.0001253 | 0.193 | 0.1929 | 1 | 1.325 | 0.001 | 0.0004929 | 0.02657 | 0.3397 | 1 | -0.00002953 | 0.004817 | 0.04434 | 0.0007872 | 0.02806 | 1.056 | 0.1456 | 0.6061 | 1.956 | 1 | 1 | 0.001524 | 0.004628 | 0 | 0.6186 | 1.879 | 0 | json |
| t19_x13_u6_b28 | 19 | 13 | 6 | 28 | ![]() |
mlt(D,lrg(nrm(D),D)) | 148412 | 154817866 | o2(x,o2(o1(x),x)) | true | 67303 | 67303 | 0.1412 | 0.9609 | 0.1412 | 0.009246 | 0.09616 | 0 | 0.2729 | 0.2729 | 1 | 2.227 | 0.001446 | 0.00001331 | 0.03418 | 0.9818 | 1 | -0.0002891 | 0.0003856 | 0.01634 | 0.0002908 | 0.01705 | 0.4989 | 0.06512 | 0.1578 | 0.0417 | 1 | 1 | 0.00274 | 0.01832 | 0 | 0.2964 | 1.981 | 0 | json |
| t19_x13_u6_b29 | 19 | 13 | 6 | 29 | ![]() |
mlt(D,eql(nrm(D),D)) | 148413 | 154817867 | o2(x,o2(o1(x),x)) | true | 67311 | 67311 | 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 |
| t19_x13_u6_b30 | 19 | 13 | 6 | 30 | ![]() |
mlt(D,min(nrm(D),D)) | 148414 | 154817868 | o2(x,o2(o1(x),x)) | true | 67319 | 67319 | 0.1705 | 1 | 0.1705 | 0.0158 | 0.1257 | 0.001249 | 0.3878 | 0.3865 | 1 | 2.609 | 0.002387 | 0.000108 | 0.04468 | 0.9134 | 1 | -0.0002916 | 0.000425 | 0.01813 | 0.0004986 | 0.02233 | 0.4997 | 0.08399 | 0.1579 | 0.0269 | 1 | 1 | 0.004782 | 0.0317 | 0 | 0.3027 | 2.006 | 0 | json |
| t19_x13_u6_b31 | 19 | 13 | 6 | 31 | ![]() |
mlt(D,dot(nrm(D),D)) | 148415 | 154817869 | o2(x,o2(o1(x),x)) | true | 67327 | 67327 | -2.188e-9 | 0.4766 | 0.01824 | 0.0006075 | 0.02465 | -0.05693 | 0.05693 | 0.1139 | 1 | 1 | 0.0001036 | 0.00003371 | 0.01012 | 0.5091 | 1 | -4.457e-10 | 0.00003908 | 0.004824 | 0.00003492 | 0.00591 | 0.584 | 0.03047 | 0.2261 | 0.06432 | 1 | 1 | 0.0002608 | 0.00162 | 0 | 0.4293 | 2.666 | 0 | json |
| t19_x13_u6_b32 | 19 | 13 | 6 | 32 | ![]() |
mlt(D,dst(nrm(D),D)) | 148416 | 154817870 | o2(x,o2(o1(x),x)) | true | 67335 | 67335 | -1.165e-9 | 0.5 | 0.07663 | 0.007386 | 0.08594 | -0.1455 | 0.1455 | 0.291 | 1 | 2.327 | 0.001109 | 0.00003366 | 0.03063 | 0.9411 | 1 | -1.958e-10 | 0.000188 | 0.0116 | 0.0002052 | 0.01432 | 0.4677 | 0.05972 | 0.1548 | 0.02545 | 1 | 1 | 0.002207 | 0.01526 | 0 | 0.2988 | 2.066 | 0 | json |
| t19_x13_u6_b33 | 19 | 13 | 6 | 33 | ![]() |
div(D,add(nrm(D),D)) | 148417 | 154817871 | o2(x,o2(o1(x),x)) | true | 67343 | 67343 | 0.2936 | 1 | 0.2936 | 0.007262 | 0.08522 | 0.04259 | 0.4125 | 0.3699 | 1 | 2.365 | 0.0006109 | 0.0006109 | 0.03143 | 0.00000162 | 1 | -0.0004029 | 0.0002618 | 0.01025 | 0.0002341 | 0.0153 | 0.4869 | 0.07101 | 0.1682 | 0.03605 | 1 | 1 | 0.002336 | 0.01519 | 0 | 0.3217 | 2.092 | 0 | json |
| t19_x13_u6_b34 | 19 | 13 | 6 | 34 | ![]() |
div(D,sub(nrm(D),D)) | 148418 | 154817872 | o2(x,o2(o1(x),x)) | true | 67351 | 67351 | 0.808 | 1 | 0.808 | 0.06994 | 0.2645 | 0.06456 | 1 | 0.9354 | 1 | 2.453 | 0.05293 | 0.05293 | 0.1982 | -2.112e-7 | 1 | -0.001888 | 0.5319 | 0.3562 | 0.06659 | 0.2581 | 1.302 | 1.267 | 1.514 | 7.605 | 1 | 1 | 0.07052 | 0.1639 | 0 | 1.008 | 2.343 | 0 | json |
| t19_x13_u6_b35 | 19 | 13 | 6 | 35 | ![]() |
div(D,mlt(nrm(D),D)) | 148419 | 154817873 | o2(x,o2(o1(x),x)) | true | 67359 | 67359 | -5.597e-9 | 0.5 | 0.7919 | 0.7181 | 0.8474 | -1 | 1 | 2 | 1 | 3.361 | 0.2764 | 0.001461 | 0.2506 | 0.9895 | 1 | -3.963e-9 | 0.4887 | 0.2839 | 0.215 | 0.4637 | 1.851 | 2 | 0.3869 | 0.6805 | 1 | 1 | 0.316 | 1.327 | 0 | 0.44 | 1.848 | 0 | json |
| t19_x13_u6_b36 | 19 | 13 | 6 | 36 | ![]() |
div(D,div(nrm(D),D)) | 148420 | 154817874 | o2(x,o2(o1(x),x)) | true | 67367 | 67367 | -3.488e-10 | 0.4766 | 0.01824 | 0.0006075 | 0.02465 | -0.05693 | 0.05693 | 0.1139 | 1 | 1 | 0.0001036 | 0.00003371 | 0.01012 | 0.5091 | 1 | -3.634e-10 | 0.00003908 | 0.004824 | 0.00003492 | 0.00591 | 0.584 | 0.03047 | 0.2261 | 0.06432 | 1 | 1 | 0.0002608 | 0.00162 | 0 | 0.4293 | 2.666 | 0 | json |
| t19_x13_u6_b37 | 19 | 13 | 6 | 37 | ![]() |
div(D,pow(nrm(D),D)) | 148421 | 154817875 | o2(x,o2(o1(x),x)) | true | 67375 | 67375 | -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 |
| t19_x13_u6_b38 | 19 | 13 | 6 | 38 | ![]() |
div(D,mod(nrm(D),D)) | 148422 | 154817876 | o2(x,o2(o1(x),x)) | true | 67383 | 67383 | 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 |
| t19_x13_u6_b39 | 19 | 13 | 6 | 39 | ![]() |
div(D,lrg(nrm(D),D)) | 148423 | 154817877 | o2(x,o2(o1(x),x)) | true | 67391 | 67391 | -0.9593 | 0.03906 | 0.9626 | 0.04081 | 0.202 | -1 | 0.08663 | 1.087 | 1 | 0.2662 | 0.06519 | 0.01696 | 0.0745 | 0.5871 | 1 | 0.0005475 | 0.281 | 0.1581 | 0.07659 | 0.2767 | 3.715 | 1.537 | 2.013 | 6.884 | 1 | 1 | 0.05873 | 0.08172 | 0 | 1.439 | 2.002 | 0 | json |
| t19_x13_u6_b40 | 19 | 13 | 6 | 40 | ![]() |
div(D,eql(nrm(D),D)) | 148424 | 154817878 | o2(x,o2(o1(x),x)) | true | 67399 | 67399 | -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 |
| t19_x13_u6_b41 | 19 | 13 | 6 | 41 | ![]() |
div(D,min(nrm(D),D)) | 148425 | 154817879 | o2(x,o2(o1(x),x)) | true | 67407 | 67407 | 0.722 | 1 | 0.722 | 0.07412 | 0.2722 | 0.04474 | 1 | 0.9553 | 1 | 3.369 | 0.03435 | 0.0008938 | 0.09253 | 0.9493 | 1 | -0.0003428 | 0.06562 | 0.09673 | 0.02668 | 0.1633 | 1.765 | 0.9571 | 0.4755 | 0.8853 | 1 | 1 | 0.03841 | 0.1297 | 0 | 0.5182 | 1.749 | 0 | json |
| t19_x13_u6_b42 | 19 | 13 | 6 | 42 | ![]() |
div(D,dot(nrm(D),D)) | 148426 | 154817880 | o2(x,o2(o1(x),x)) | true | 67415 | 67415 | 3.61e-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 | 4.661e-9 | 0.04219 | 0.07112 | 0.01975 | 0.1405 | 0.8875 | 1.466 | 0.2401 | 0.226 | 1 | 1 | 0.07517 | 0.4029 | 0 | 0.4025 | 2.158 | 0 | json |
| t19_x13_u6_b43 | 19 | 13 | 6 | 43 | ![]() |
div(D,dst(nrm(D),D)) | 148427 | 154817881 | o2(x,o2(o1(x),x)) | true | 67423 | 67423 | 1.631e-9 | 0.5 | 0.1724 | 0.09333 | 0.3055 | -1 | 1 | 2 | 1 | 3.211 | 0.1149 | 0.08369 | 0.2689 | 0.1573 | 1 | -2.143e-9 | 0.9285 | 0.5287 | 0.1264 | 0.3555 | 1.322 | 2.259 | 2.128 | 9.949 | 1 | 1 | 0.142 | 0.2067 | 0 | 1.521 | 2.214 | 0 | json |
| t19_x13_u6_b44 | 19 | 13 | 6 | 44 | ![]() |
pow(D,add(nrm(D),D)) | 148428 | 154817882 | o2(x,o2(o1(x),x)) | true | 67431 | 67431 | -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 |
| t19_x13_u6_b45 | 19 | 13 | 6 | 45 | ![]() |
pow(D,sub(nrm(D),D)) | 148429 | 154817883 | o2(x,o2(o1(x),x)) | true | 67439 | 67439 | -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 |
| t19_x13_u6_b46 | 19 | 13 | 6 | 46 | ![]() |
pow(D,mlt(nrm(D),D)) | 148430 | 154817884 | o2(x,o2(o1(x),x)) | true | 67447 | 67447 | -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 |
| t19_x13_u6_b47 | 19 | 13 | 6 | 47 | ![]() |
pow(D,div(nrm(D),D)) | 148431 | 154817885 | o2(x,o2(o1(x),x)) | true | 67455 | 67455 | -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 |
| t19_x13_u6_b48 | 19 | 13 | 6 | 48 | ![]() |
pow(D,pow(nrm(D),D)) | 148432 | 154817886 | o2(x,o2(o1(x),x)) | true | 67463 | 67463 | -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 |
| t19_x13_u6_b49 | 19 | 13 | 6 | 49 | ![]() |
pow(D,mod(nrm(D),D)) | 148433 | 154817887 | o2(x,o2(o1(x),x)) | true | 67471 | 67471 | -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 |
| t19_x13_u6_b50 | 19 | 13 | 6 | 50 | ![]() |
pow(D,lrg(nrm(D),D)) | 148434 | 154817888 | o2(x,o2(o1(x),x)) | true | 67479 | 67479 | 0.148 | 0.625 | 0.8981 | 0.8182 | 0.9045 | -1 | 1 | 2 | 1 | 2.54 | 0.3976 | 0.2095 | 0.3437 | 0.3097 | 1 | -0.002346 | 1.714 | 0.6886 | 0.4889 | 0.6992 | 2.035 | 2.79 | 0.742 | 2.095 | 1 | 1 | 0.6209 | 1.534 | 0 | 0.7589 | 1.875 | 0 | json |
| t19_x13_u6_b51 | 19 | 13 | 6 | 51 | ![]() |
pow(D,eql(nrm(D),D)) | 148435 | 154817889 | o2(x,o2(o1(x),x)) | true | 67487 | 67487 | 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 |
| t19_x13_u6_b52 | 19 | 13 | 6 | 52 | ![]() |
pow(D,min(nrm(D),D)) | 148436 | 154817890 | o2(x,o2(o1(x),x)) | true | 67495 | 67495 | -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 |
| t19_x13_u6_b53 | 19 | 13 | 6 | 53 | ![]() |
pow(D,dot(nrm(D),D)) | 148437 | 154817891 | o2(x,o2(o1(x),x)) | true | 67503 | 67503 | -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 |
| t19_x13_u6_b54 | 19 | 13 | 6 | 54 | ![]() |
pow(D,dst(nrm(D),D)) | 148438 | 154817892 | o2(x,o2(o1(x),x)) | true | 67511 | 67511 | -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 |
| t19_x13_u6_b55 | 19 | 13 | 6 | 55 | ![]() |
mod(D,add(nrm(D),D)) | 148439 | 154817893 | o2(x,o2(o1(x),x)) | true | 67519 | 67519 | 0 | 0.5 | 0.09436 | 0.01082 | 0.104 | -0.1454 | 0.1454 | 0.2908 | 1 | 2.561 | 0.001632 | 0 | 0.0361 | 1 | 1 | 0 | 0.0002563 | 0.01459 | 0.0003304 | 0.01818 | 0.5036 | 0.06192 | 0.1508 | 0.02368 | 1 | 1 | 0.003151 | 0.02183 | 0 | 0.2912 | 2.017 | 0 | json |
| t19_x13_u6_b56 | 19 | 13 | 6 | 56 | ![]() |
mod(D,sub(nrm(D),D)) | 148440 | 154817894 | o2(x,o2(o1(x),x)) | true | 67527 | 67527 | 5.758e-11 | 0.5 | 0.1248 | 0.02111 | 0.1453 | -0.2533 | 0.2533 | 0.5066 | 1 | 3.061 | 0.008802 | 0.00272 | 0.07191 | 0.5279 | 1 | 9.386e-13 | 0.03486 | 0.1076 | 0.00635 | 0.07969 | 1.108 | 0.4887 | 0.5457 | 1.651 | 1 | 1 | 0.01162 | 0.04358 | 0 | 0.5502 | 2.064 | 0 | json |
| t19_x13_u6_b57 | 19 | 13 | 6 | 57 | ![]() |
mod(D,mlt(nrm(D),D)) | 148441 | 154817895 | o2(x,o2(o1(x),x)) | true | 67535 | 67535 | -2.416e-13 | 0.4766 | 0.02403 | 0.001121 | 0.03348 | -0.08449 | 0.08449 | 0.169 | 1 | 1.449 | 0.0004184 | 0.0002273 | 0.02018 | 0.2959 | 1 | 2.104e-10 | 0.001798 | 0.02784 | 0.0002384 | 0.01544 | 0.7651 | 0.08066 | 0.5761 | 1.605 | 1 | 1 | 0.0007734 | 0.002487 | 0 | 0.6901 | 2.219 | 0 | json |
| t19_x13_u6_b58 | 19 | 13 | 6 | 58 | ![]() |
mod(D,div(nrm(D),D)) | 148442 | 154817896 | o2(x,o2(o1(x),x)) | true | 67543 | 67543 | 2.953e-11 | 0.5 | 0.09444 | 0.01083 | 0.1041 | -0.1454 | 0.1454 | 0.2908 | 1 | 2.561 | 0.001635 | 5.536e-8 | 0.03609 | 0.9999 | 1 | 0 | 0.0002575 | 0.01461 | 0.0003326 | 0.01824 | 0.5053 | 0.06246 | 0.1509 | 0.02377 | 1 | 1 | 0.003155 | 0.02186 | 0 | 0.2912 | 2.017 | 0 | json |
| t19_x13_u6_b59 | 19 | 13 | 6 | 59 | ![]() |
mod(D,pow(nrm(D),D)) | 148443 | 154817897 | o2(x,o2(o1(x),x)) | true | 67551 | 67551 | -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 |
| t19_x13_u6_b60 | 19 | 13 | 6 | 60 | ![]() |
mod(D,mod(nrm(D),D)) | 148444 | 154817898 | o2(x,o2(o1(x),x)) | true | 67559 | 67559 | 1.563e-13 | 0.5 | 0.031 | 0.001527 | 0.03908 | -0.0951 | 0.0951 | 0.1902 | 1 | 1.544 | 0.002144 | 0.001269 | 0.04652 | 0.2564 | 1 | 1.478e-11 | 0.01482 | 0.09117 | 0.001249 | 0.03534 | 0.7595 | 0.1661 | 2.235 | 9.706 | 1 | 1 | 0.00249 | 0.003123 | 0 | 1.631 | 2.045 | 0 | json |
| t19_x13_u6_b61 | 19 | 13 | 6 | 61 | ![]() |
mod(D,lrg(nrm(D),D)) | 148445 | 154817899 | o2(x,o2(o1(x),x)) | true | 67567 | 67567 | -0.9593 | 0.03906 | 0.9626 | 0.04081 | 0.202 | -1 | 0.08663 | 1.087 | 1 | 0.2662 | 0.06519 | 0.01696 | 0.0745 | 0.5871 | 1 | 0.0005475 | 0.281 | 0.1581 | 0.07659 | 0.2767 | 3.715 | 1.537 | 2.013 | 6.884 | 1 | 1 | 0.05873 | 0.08172 | 0 | 1.439 | 2.002 | 0 | json |
| t19_x13_u6_b62 | 19 | 13 | 6 | 62 | ![]() |
mod(D,eql(nrm(D),D)) | 148446 | 154817900 | o2(x,o2(o1(x),x)) | true | 67575 | 67575 | -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 |
| t19_x13_u6_b63 | 19 | 13 | 6 | 63 | ![]() |
mod(D,min(nrm(D),D)) | 148447 | 154817901 | o2(x,o2(o1(x),x)) | true | 67583 | 67583 | -0.09022 | 0.25 | 0.1331 | 0.01774 | 0.1332 | -0.2729 | 0.1583 | 0.4312 | 1 | 2.941 | 0.01655 | 0.00000648 | 0.09503 | 0.9992 | 1 | 0.0006646 | 0.03938 | 0.1462 | 0.007521 | 0.08673 | 0.9126 | 0.289 | 0.9331 | 2.22 | 1 | 1 | 0.01342 | 0.02855 | 0 | 0.7568 | 1.609 | 0 | json |
| t19_x13_u6_b64 | 19 | 13 | 6 | 64 | ![]() |
mod(D,dot(nrm(D),D)) | 148448 | 154817902 | o2(x,o2(o1(x),x)) | true | 67591 | 67591 | 0 | 0.5 | 0.09436 | 0.01082 | 0.104 | -0.1454 | 0.1454 | 0.2908 | 1 | 2.561 | 0.001632 | 0 | 0.0361 | 1 | 1 | 0 | 0.0002563 | 0.01459 | 0.0003304 | 0.01818 | 0.5036 | 0.06192 | 0.1508 | 0.02368 | 1 | 1 | 0.003151 | 0.02183 | 0 | 0.2912 | 2.017 | 0 | json |
| t19_x13_u6_b65 | 19 | 13 | 6 | 65 | ![]() |
mod(D,dst(nrm(D),D)) | 148449 | 154817903 | o2(x,o2(o1(x),x)) | true | 67599 | 67599 | 1.4e-9 | 0.5 | 0.149 | 0.02774 | 0.1666 | -0.2586 | 0.2586 | 0.5173 | 1 | 2.987 | 0.01113 | 0.001965 | 0.07435 | 0.7 | 1 | -2.289e-9 | 0.03747 | 0.1029 | 0.007571 | 0.08701 | 1.17 | 0.4674 | 0.4721 | 1.351 | 1 | 1 | 0.01305 | 0.05581 | 0 | 0.4703 | 2.011 | 0 | json |
| t19_x13_u6_b66 | 19 | 13 | 6 | 66 | ![]() |
lrg(D,add(nrm(D),D)) | 148450 | 154817904 | o2(x,o2(o1(x),x)) | true | 67607 | 67607 | 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.07073 | 0.2419 | 0 | 0.4989 | 1.706 | 0 | json |
| t19_x13_u6_b67 | 19 | 13 | 6 | 67 | ![]() |
lrg(D,sub(nrm(D),D)) | 148451 | 154817905 | o2(x,o2(o1(x),x)) | true | 67615 | 67615 | 0.5 | 1 | 0.5 | 0.1461 | 0.3822 | 0.0001625 | 0.9998 | 0.9997 | 1 | 3.515 | 0.07718 | 0.03009 | 0.1838 | 0.439 | 1 | -8.17e-9 | 0.2997 | 0.3136 | 0.0735 | 0.2711 | 1.475 | 1.108 | 0.7343 | 2.052 | 1 | 1 | 0.1091 | 0.3676 | 0 | 0.7465 | 2.517 | 0 | json |
| t19_x13_u6_b68 | 19 | 13 | 6 | 68 | ![]() |
lrg(D,mlt(nrm(D),D)) | 148452 | 154817906 | o2(x,o2(o1(x),x)) | true | 67623 | 67623 | 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.07073 | 0.2419 | 0 | 0.4989 | 1.706 | 0 | json |
| t19_x13_u6_b69 | 19 | 13 | 6 | 69 | ![]() |
lrg(D,div(nrm(D),D)) | 148453 | 154817907 | o2(x,o2(o1(x),x)) | true | 67631 | 67631 | 0.00004073 | 0.0625 | 0.00004073 | 3.654e-8 | 0.0001911 | 0 | 0.001607 | 0.001607 | 1 | 0 | 7.11e-8 | 3.556e-8 | 0.00009594 | 0.3333 | 0 | 7.349e-7 | 4.479e-7 | 0.0001935 | 9.752e-8 | 0.0003123 | 3.255 | 0.002227 | 2.919 | 12.26 | 1 | 1 | 6.814e-8 | 6.412e-8 | 0 | 1.865 | 1.755 | 0 | json |
| t19_x13_u6_b70 | 19 | 13 | 6 | 70 | ![]() |
lrg(D,pow(nrm(D),D)) | 148454 | 154817908 | o2(x,o2(o1(x),x)) | true | 67639 | 67639 | 0.5003 | 1 | 0.5003 | 0.142 | 0.3769 | 0.000291 | 1 | 0.9997 | 1 | 3.406 | 0.06514 | 0.000001002 | 0.1229 | 1 | 1 | -0.0000014 | 0.1207 | 0.1337 | 0.05003 | 0.2237 | 1.821 | 0.9997 | 0.4586 | 0.8496 | 1 | 1 | 0.07087 | 0.2423 | 0 | 0.4989 | 1.706 | 0 | json |
| t19_x13_u6_b71 | 19 | 13 | 6 | 71 | ![]() |
lrg(D,mod(nrm(D),D)) | 148455 | 154817909 | o2(x,o2(o1(x),x)) | true | 67647 | 67647 | 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.07073 | 0.2419 | 0 | 0.4989 | 1.706 | 0 | json |
| t19_x13_u6_b72 | 19 | 13 | 6 | 72 | ![]() |
lrg(D,lrg(nrm(D),D)) | 148456 | 154817910 | o2(x,o2(o1(x),x)) | true | 67655 | 67655 | 0.001194 | 0.2891 | 0.001194 | 0.00001093 | 0.003306 | 0 | 0.01937 | 0.01937 | 1 | 0 | 0.00001321 | 0.00001286 | 0.002089 | 0.01341 | 0 | -0.00001114 | 0.0001229 | 0.004047 | 0.00002171 | 0.00466 | 2.231 | 0.02547 | 2.385 | 11.24 | 1 | 1 | 0.0000201 | 0.00002031 | 0 | 1.838 | 1.858 | 0 | json |
| t19_x13_u6_b73 | 19 | 13 | 6 | 73 | ![]() |
lrg(D,eql(nrm(D),D)) | 148457 | 154817911 | o2(x,o2(o1(x),x)) | true | 67663 | 67663 | 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.07073 | 0.2419 | 0 | 0.4989 | 1.706 | 0 | json |
| t19_x13_u6_b74 | 19 | 13 | 6 | 74 | ![]() |
lrg(D,min(nrm(D),D)) | 148458 | 154817912 | o2(x,o2(o1(x),x)) | true | 67671 | 67671 | 0.5 | 0.9609 | 0.5 | 0.1435 | 0.3788 | 0 | 1 | 1 | 1 | 3.379 | 0.06526 | 0.00002501 | 0.1231 | 0.9992 | 1 | 3.181e-9 | 0.1208 | 0.1357 | 0.05013 | 0.2239 | 1.819 | 1 | 0.455 | 0.8417 | 1 | 1 | 0.07115 | 0.2454 | 0 | 0.4959 | 1.71 | 0 | json |
| t19_x13_u6_b75 | 19 | 13 | 6 | 75 | ![]() |
lrg(D,dot(nrm(D),D)) | 148459 | 154817913 | o2(x,o2(o1(x),x)) | true | 67679 | 67679 | 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 |
| t19_x13_u6_b76 | 19 | 13 | 6 | 76 | ![]() |
lrg(D,dst(nrm(D),D)) | 148460 | 154817914 | o2(x,o2(o1(x),x)) | true | 67687 | 67687 | 0.1129 | 0.7969 | 0.1129 | 0.02596 | 0.1611 | 0 | 0.6717 | 0.6717 | 1 | 2.114 | 0.01718 | 0.004759 | 0.07836 | 0.5662 | 1 | -0.0001553 | 0.0674 | 0.1095 | 0.01581 | 0.1257 | 1.604 | 0.7182 | 0.8453 | 2.596 | 1 | 1 | 0.02091 | 0.05132 | 0 | 0.8054 | 1.977 | 0 | json |
| t19_x13_u6_b77 | 19 | 13 | 6 | 77 | ![]() |
eql(D,add(nrm(D),D)) | 148461 | 154817915 | o2(x,o2(o1(x),x)) | true | 67695 | 67695 | 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 |
| t19_x13_u6_b78 | 19 | 13 | 6 | 78 | ![]() |
eql(D,sub(nrm(D),D)) | 148462 | 154817916 | o2(x,o2(o1(x),x)) | true | 67703 | 67703 | 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 |
| t19_x13_u6_b79 | 19 | 13 | 6 | 79 | ![]() |
eql(D,mlt(nrm(D),D)) | 148463 | 154817917 | o2(x,o2(o1(x),x)) | true | 67711 | 67711 | 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 |
| t19_x13_u6_b80 | 19 | 13 | 6 | 80 | ![]() |
eql(D,div(nrm(D),D)) | 148464 | 154817918 | o2(x,o2(o1(x),x)) | true | 67719 | 67719 | 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 |
| t19_x13_u6_b81 | 19 | 13 | 6 | 81 | ![]() |
eql(D,pow(nrm(D),D)) | 148465 | 154817919 | o2(x,o2(o1(x),x)) | true | 67727 | 67727 | 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 |
| t19_x13_u6_b82 | 19 | 13 | 6 | 82 | ![]() |
eql(D,mod(nrm(D),D)) | 148466 | 154817920 | o2(x,o2(o1(x),x)) | true | 67735 | 67735 | 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 |
| t19_x13_u6_b83 | 19 | 13 | 6 | 83 | ![]() |
eql(D,lrg(nrm(D),D)) | 148467 | 154817921 | o2(x,o2(o1(x),x)) | true | 67743 | 67743 | 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 |
| t19_x13_u6_b84 | 19 | 13 | 6 | 84 | ![]() |
eql(D,eql(nrm(D),D)) | 148468 | 154817922 | o2(x,o2(o1(x),x)) | true | 67751 | 67751 | 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 |
| t19_x13_u6_b85 | 19 | 13 | 6 | 85 | ![]() |
eql(D,min(nrm(D),D)) | 148469 | 154817923 | o2(x,o2(o1(x),x)) | true | 67759 | 67759 | 0.5 | 0.9609 | 0.5 | 0.1435 | 0.3788 | 0 | 1 | 1 | 1 | 3.379 | 0.06526 | 0.00002501 | 0.1231 | 0.9992 | 1 | 3.124e-9 | 0.1208 | 0.1357 | 0.05013 | 0.2239 | 1.819 | 1 | 0.455 | 0.8417 | 1 | 1 | 0.07115 | 0.2454 | 0 | 0.4959 | 1.71 | 0 | json |
| t19_x13_u6_b86 | 19 | 13 | 6 | 86 | ![]() |
eql(D,dot(nrm(D),D)) | 148470 | 154817924 | o2(x,o2(o1(x),x)) | true | 67767 | 67767 | 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 |
| t19_x13_u6_b87 | 19 | 13 | 6 | 87 | ![]() |
eql(D,dst(nrm(D),D)) | 148471 | 154817925 | o2(x,o2(o1(x),x)) | true | 67775 | 67775 | 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 |
| t19_x13_u6_b88 | 19 | 13 | 6 | 88 | ![]() |
min(D,add(nrm(D),D)) | 148472 | 154817926 | o2(x,o2(o1(x),x)) | true | 67783 | 67783 | -0.3203 | 0.3125 | 0.358 | 0.1162 | 0.3409 | -1 | 0.1008 | 1.101 | 1 | 3.83 | 0.02036 | 0.003434 | 0.1174 | 0.7113 | 1 | 0.0001495 | 0.01635 | 0.06359 | 0.01001 | 0.1001 | 0.8524 | 0.8628 | 0.2047 | 0.1407 | 1 | 1 | 0.04206 | 0.2371 | 0 | 0.362 | 2.041 | 0 | json |
| t19_x13_u6_b89 | 19 | 13 | 6 | 89 | ![]() |
min(D,sub(nrm(D),D)) | 148473 | 154817927 | o2(x,o2(o1(x),x)) | true | 67791 | 67791 | -0.1123 | 0.4453 | 0.1894 | 0.05359 | 0.2315 | -0.848 | 0.1454 | 0.9933 | 1 | 3.491 | 0.01084 | 0.003368 | 0.08135 | 0.5258 | 1 | -0.0002113 | 0.01371 | 0.05062 | 0.007591 | 0.08712 | 1.071 | 0.8081 | 0.2651 | 0.2558 | 1 | 1 | 0.02376 | 0.117 | 0 | 0.4433 | 2.182 | 0 | json |
| t19_x13_u6_b90 | 19 | 13 | 6 | 90 | ![]() |
min(D,mlt(nrm(D),D)) | 148474 | 154817928 | o2(x,o2(o1(x),x)) | true | 67799 | 67799 | -0.03204 | 0.4375 | 0.07582 | 0.007233 | 0.08505 | -0.1598 | 0.1433 | 0.3031 | 1 | 2.374 | 0.001065 | 0.0001079 | 0.03078 | 0.8161 | 1 | 0.0001349 | 0.000259 | 0.01348 | 0.0002261 | 0.01504 | 0.4885 | 0.06126 | 0.1622 | 0.0358 | 1 | 1 | 0.002246 | 0.01492 | 0 | 0.3105 | 2.063 | 0 | json |
| t19_x13_u6_b91 | 19 | 13 | 6 | 91 | ![]() |
min(D,div(nrm(D),D)) | 148475 | 154817929 | o2(x,o2(o1(x),x)) | true | 67807 | 67807 | -0.00000144 | 0.5 | 0.09436 | 0.01082 | 0.104 | -0.1454 | 0.1454 | 0.2908 | 1 | 2.561 | 0.001633 | 1.128e-11 | 0.03609 | 1 | 1 | -5.158e-8 | 0.0002563 | 0.01459 | 0.0003304 | 0.01818 | 0.5036 | 0.06193 | 0.1509 | 0.02368 | 1 | 1 | 0.003151 | 0.02183 | 0 | 0.2912 | 2.017 | 0 | json |
| t19_x13_u6_b92 | 19 | 13 | 6 | 92 | ![]() |
min(D,pow(nrm(D),D)) | 148476 | 154817930 | o2(x,o2(o1(x),x)) | true | 67815 | 67815 | -0.00001213 | 0.5 | 0.09438 | 0.01083 | 0.1041 | -0.1455 | 0.1454 | 0.2909 | 1 | 2.561 | 0.001633 | 4.707e-10 | 0.0361 | 1 | 1 | 8.718e-8 | 0.0002564 | 0.01459 | 0.0003306 | 0.01818 | 0.5037 | 0.06194 | 0.1508 | 0.02368 | 1 | 1 | 0.003152 | 0.02184 | 0 | 0.2911 | 2.017 | 0 | json |
| t19_x13_u6_b93 | 19 | 13 | 6 | 93 | ![]() |
min(D,mod(nrm(D),D)) | 148477 | 154817931 | o2(x,o2(o1(x),x)) | true | 67823 | 67823 | -0.07686 | 0.3047 | 0.1014 | 0.009624 | 0.0981 | -0.2343 | 0.1146 | 0.349 | 1 | 2.512 | 0.004738 | 0.0021 | 0.06671 | 0.3858 | 1 | 0.000224 | 0.02526 | 0.09171 | 0.002388 | 0.04887 | 0.7326 | 0.2678 | 0.7104 | 2.624 | 1 | 1 | 0.005992 | 0.01903 | 0 | 0.6226 | 1.977 | 0 | json |
| t19_x13_u6_b94 | 19 | 13 | 6 | 94 | ![]() |
min(D,lrg(nrm(D),D)) | 148478 | 154817932 | o2(x,o2(o1(x),x)) | true | 67831 | 67831 | -0.0008805 | 0.5 | 0.09521 | 0.01104 | 0.1051 | -0.1583 | 0.1454 | 0.3038 | 1 | 2.561 | 0.001672 | 0.000006567 | 0.0368 | 0.9922 | 1 | 0.000008581 | 0.0003249 | 0.01505 | 0.000325 | 0.01803 | 0.4899 | 0.0622 | 0.152 | 0.02943 | 1 | 1 | 0.003225 | 0.02228 | 0 | 0.2921 | 2.017 | 0 | json |
| t19_x13_u6_b95 | 19 | 13 | 6 | 95 | ![]() |
min(D,eql(nrm(D),D)) | 148479 | 154817933 | o2(x,o2(o1(x),x)) | true | 67839 | 67839 | -0.143 | 0 | 0.143 | 0.009237 | 0.09611 | -0.2729 | -0.000282 | 0.2726 | 1 | 2.227 | 0.001451 | 0 | 0.03416 | 1 | 1 | 0.0003063 | 0.0002653 | 0.01361 | 0.0002853 | 0.01689 | 0.4945 | 0.06184 | 0.1571 | 0.02873 | 1 | 1 | 0.002788 | 0.01827 | 0 | 0.3018 | 1.978 | 0 | json |
| t19_x13_u6_b96 | 19 | 13 | 6 | 96 | ![]() |
min(D,min(nrm(D),D)) | 148480 | 154817934 | o2(x,o2(o1(x),x)) | true | 67847 | 67847 | -0.1787 | 0.3984 | 0.2484 | 0.07958 | 0.2821 | -0.9352 | 0.1408 | 1.076 | 1 | 3.799 | 0.0143 | 0.003662 | 0.09798 | 0.5924 | 1 | -0.0001323 | 0.01438 | 0.05321 | 0.008367 | 0.09147 | 0.9336 | 0.8354 | 0.2258 | 0.1807 | 1 | 1 | 0.03102 | 0.1649 | 0 | 0.3897 | 2.072 | 0 | json |
| t19_x13_u6_b97 | 19 | 13 | 6 | 97 | ![]() |
min(D,dot(nrm(D),D)) | 148481 | 154817935 | o2(x,o2(o1(x),x)) | true | 67855 | 67855 | 0 | 0.5 | 0.09436 | 0.01082 | 0.104 | -0.1454 | 0.1454 | 0.2908 | 1 | 2.561 | 0.001632 | 0 | 0.0361 | 1 | 1 | 0 | 0.0002563 | 0.01459 | 0.0003304 | 0.01818 | 0.5036 | 0.06192 | 0.1508 | 0.02368 | 1 | 1 | 0.003151 | 0.02183 | 0 | 0.2912 | 2.017 | 0 | json |
| t19_x13_u6_b98 | 19 | 13 | 6 | 98 | ![]() |
min(D,dst(nrm(D),D)) | 148482 | 154817936 | o2(x,o2(o1(x),x)) | true | 67863 | 67863 | -0.02832 | 0.4688 | 0.1173 | 0.01655 | 0.1286 | -0.2263 | 0.1454 | 0.3718 | 1 | 2.766 | 0.00259 | 0.00003171 | 0.045 | 0.9758 | 1 | 0.00008594 | 0.0005375 | 0.02011 | 0.0005972 | 0.02444 | 0.5431 | 0.1034 | 0.1585 | 0.03249 | 1 | 1 | 0.004997 | 0.03341 | 0 | 0.302 | 2.019 | 0 | json |
| t19_x13_u6_b99 | 19 | 13 | 6 | 99 | ![]() |
dot(D,add(nrm(D),D)) | 148483 | 154817937 | o2(x,o2(o1(x),x)) | true | 67871 | 67871 | 0.6677 | 1 | 0.6677 | 0.06935 | 0.2633 | 0.04723 | 1 | 0.9528 | 1 | 3.668 | 0.005695 | 0.005695 | 0.09555 | -0.000004293 | 1 | -0.001166 | 0.002577 | 0.03524 | 0.002259 | 0.04753 | 0.4974 | 0.1604 | 0.1643 | 0.03716 | 1 | 1 | 0.02164 | 0.141 | 0 | 0.3121 | 2.033 | 0 | json |
| t19_x13_u6_b100 | 19 | 13 | 6 | 100 | ![]() |
dot(D,sub(nrm(D),D)) | 148484 | 154817938 | o2(x,o2(o1(x),x)) | true | 67879 | 67879 | 0.2058 | 1 | 0.2058 | 0.001733 | 0.04163 | 0.04223 | 0.2489 | 0.2067 | 1 | 0.9597 | 0.0002188 | 0.0002188 | 0.01622 | -0.000001696 | 1 | -0.0002046 | 0.0001709 | 0.00652 | 0.0001746 | 0.01321 | 0.8148 | 0.06614 | 0.2526 | 0.09865 | 1 | 1 | 0.0008206 | 0.004818 | 0 | 0.4736 | 2.781 | 0 | json |
| t19_x13_u6_b101 | 19 | 13 | 6 | 101 | ![]() |
dot(D,mlt(nrm(D),D)) | 148485 | 154817939 | o2(x,o2(o1(x),x)) | true | 67887 | 67887 | -2.807e-9 | 0.4688 | 0.01128 | 0.0002787 | 0.01669 | -0.04488 | 0.04488 | 0.08975 | 1 | 0.9972 | 0.00003421 | 0.00003421 | 0.007003 | -0.000001542 | 0 | 1.081e-9 | 0.00002458 | 0.003814 | 0.00001937 | 0.004401 | 0.6285 | 0.01921 | 0.2455 | 0.0882 | 1 | 1 | 0.0001253 | 0.0005987 | 0 | 0.4497 | 2.148 | 0 | json |
| t19_x13_u6_b102 | 19 | 13 | 6 | 102 | ![]() |
dot(D,div(nrm(D),D)) | 148486 | 154817940 | o2(x,o2(o1(x),x)) | true | 67895 | 67895 | 8.004e-11 | 0.4688 | 0.4485 | 0.3179 | 0.5638 | -1 | 1 | 2 | 1 | 4.632 | 0.03342 | 0.03342 | 0.2041 | 6.688e-7 | 1 | 1.545e-8 | 0.04785 | 0.08609 | 0.02518 | 0.1587 | 0.7775 | 1.414 | 0.2102 | 0.1505 | 1 | 1 | 0.1179 | 0.6841 | 0 | 0.3708 | 2.152 | 0 | json |
| t19_x13_u6_b103 | 19 | 13 | 6 | 103 | ![]() |
dot(D,pow(nrm(D),D)) | 148487 | 154817941 | o2(x,o2(o1(x),x)) | true | 67903 | 67903 | -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 |
| t19_x13_u6_b104 | 19 | 13 | 6 | 104 | ![]() |
dot(D,mod(nrm(D),D)) | 148488 | 154817942 | o2(x,o2(o1(x),x)) | true | 67911 | 67911 | 0.1075 | 1 | 0.1075 | 0.004599 | 0.06782 | 0.001242 | 0.2342 | 0.233 | 1 | 1.982 | 0.002143 | 0.002143 | 0.04299 | -0.000001576 | 1 | -0.00005904 | 0.01606 | 0.08678 | 0.002437 | 0.04937 | 1.148 | 0.1979 | 0.9317 | 3.491 | 1 | 1 | 0.00386 | 0.008344 | 0 | 0.8393 | 1.814 | 0 | json |
| t19_x13_u6_b105 | 19 | 13 | 6 | 105 | ![]() |
dot(D,lrg(nrm(D),D)) | 148489 | 154817943 | o2(x,o2(o1(x),x)) | true | 67919 | 67919 | 0.2825 | 1 | 0.2825 | 0.0184 | 0.1356 | 0.0005637 | 0.5458 | 0.5452 | 1 | 3.07 | 0.001472 | 0.001472 | 0.05114 | 0.000002492 | 1 | -0.0005782 | 0.001009 | 0.02574 | 0.0003275 | 0.0181 | 0.3538 | 0.1009 | 0.16 | 0.05483 | 1 | 1 | 0.005472 | 0.0365 | 0 | 0.2974 | 1.984 | 0 | json |
| t19_x13_u6_b106 | 19 | 13 | 6 | 106 | ![]() |
dot(D,eql(nrm(D),D)) | 148490 | 154817944 | o2(x,o2(o1(x),x)) | true | 67927 | 67927 | 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 |
| t19_x13_u6_b107 | 19 | 13 | 6 | 107 | ![]() |
dot(D,min(nrm(D),D)) | 148491 | 154817945 | o2(x,o2(o1(x),x)) | true | 67935 | 67935 | 0.341 | 1 | 0.341 | 0.02229 | 0.1493 | 0.002516 | 0.6089 | 0.6064 | 1 | 3.17 | 0.001772 | 0.001772 | 0.0564 | -0.000003877 | 1 | -0.0005833 | 0.0006132 | 0.01969 | 0.0003628 | 0.01905 | 0.3378 | 0.08701 | 0.159 | 0.02751 | 1 | 1 | 0.006793 | 0.04499 | 0 | 0.3048 | 2.019 | 0 | json |
| t19_x13_u6_b108 | 19 | 13 | 6 | 108 | ![]() |
dot(D,dot(nrm(D),D)) | 148492 | 154817946 | o2(x,o2(o1(x),x)) | true | 67943 | 67943 | 1.393e-8 | 0.4688 | 0.02924 | 0.001215 | 0.03486 | -0.05887 | 0.05887 | 0.1177 | 1 | 0.9972 | 0.0001373 | 0.0001373 | 0.01487 | -0.000005722 | 1 | 5.415e-9 | 0.00007815 | 0.007443 | 0.00005353 | 0.007316 | 0.492 | 0.03069 | 0.2261 | 0.06432 | 1 | 1 | 0.0005216 | 0.00324 | 0 | 0.4293 | 2.667 | 0 | json |
| t19_x13_u6_b109 | 19 | 13 | 6 | 109 | ![]() |
dot(D,dst(nrm(D),D)) | 148493 | 154817947 | o2(x,o2(o1(x),x)) | true | 67951 | 67951 | -1.506e-10 | 0.4688 | 0.09816 | 0.01477 | 0.1215 | -0.2442 | 0.2442 | 0.4883 | 1 | 2.905 | 0.001143 | 0.001143 | 0.04557 | 9.167e-7 | 1 | -2.988e-9 | 0.000376 | 0.01584 | 0.0002096 | 0.01448 | 0.3177 | 0.08441 | 0.1548 | 0.02545 | 1 | 1 | 0.004414 | 0.03052 | 0 | 0.2989 | 2.066 | 0 | json |
| t19_x13_u6_b110 | 19 | 13 | 6 | 110 | ![]() |
dst(D,add(nrm(D),D)) | 148494 | 154817948 | o2(x,o2(o1(x),x)) | true | 67959 | 67959 | 1 | 1 | 1 | 2.609e-15 | 5.108e-8 | 1 | 1 | 1.192e-7 | 1 | 0 | 2.754e-15 | 2.521e-15 | 6.24e-8 | 0.0002328 | 0 | 9.855e-8 | 4.275e-14 | 1.485e-7 | 1.379e-15 | 3.714e-8 | 0.5952 | 1.686e-7 | 0.005274 | 0.04275 | 0 | 1 | 3.068e-15 | 2.343e-15 | 0 | 0.003068 | 0.002343 | 0 | json |
| t19_x13_u6_b111 | 19 | 13 | 6 | 111 | ![]() |
dst(D,sub(nrm(D),D)) | 148495 | 154817949 | o2(x,o2(o1(x),x)) | true | 67967 | 67967 | 0.3473 | 1 | 0.3473 | 0.03847 | 0.1961 | 0.06247 | 0.9116 | 0.8492 | 1 | 3.377 | 0.004841 | 0.004841 | 0.09308 | 0.000006782 | 1 | 0.0007137 | 0.004441 | 0.04531 | 0.001018 | 0.0319 | 0.3428 | 0.1544 | 0.2516 | 0.1154 | 1 | 1 | 0.01798 | 0.1112 | 0 | 0.4672 | 2.89 | 0 | json |
| t19_x13_u6_b112 | 19 | 13 | 6 | 112 | ![]() |
dst(D,mlt(nrm(D),D)) | 148496 | 154817950 | o2(x,o2(o1(x),x)) | true | 67975 | 67975 | 0.4855 | 1 | 0.4855 | 0.03637 | 0.1907 | 0.01406 | 0.7855 | 0.7714 | 1 | 3.504 | 0.003054 | 0.003054 | 0.07253 | 0.000001487 | 1 | -0.0008298 | 0.001349 | 0.02736 | 0.0008472 | 0.02911 | 0.4013 | 0.1291 | 0.1679 | 0.03708 | 1 | 1 | 0.01166 | 0.07581 | 0 | 0.3206 | 2.084 | 0 | json |
| t19_x13_u6_b113 | 19 | 13 | 6 | 113 | ![]() |
dst(D,div(nrm(D),D)) | 148497 | 154817951 | o2(x,o2(o1(x),x)) | true | 67983 | 67983 | -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 |
| t19_x13_u6_b114 | 19 | 13 | 6 | 114 | ![]() |
dst(D,pow(nrm(D),D)) | 148498 | 154817952 | o2(x,o2(o1(x),x)) | true | 67991 | 67991 | -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 |
| t19_x13_u6_b115 | 19 | 13 | 6 | 115 | ![]() |
dst(D,mod(nrm(D),D)) | 148499 | 154817953 | o2(x,o2(o1(x),x)) | true | 67999 | 67999 | 0.2375 | 1 | 0.2375 | 0.01129 | 0.1063 | 0.017 | 0.4868 | 0.4698 | 1 | 2.709 | 0.009703 | 0.009703 | 0.1183 | 6.719e-7 | 1 | -0.0005751 | 0.08502 | 0.2123 | 0.005416 | 0.0736 | 0.6222 | 0.3145 | 1.718 | 7.529 | 1 | 1 | 0.01419 | 0.01968 | 0 | 1.256 | 1.743 | 0 | json |



































































































