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 | ||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| t16_x24_u6_b18 | 16 | 24 | 6 | 18 | ![]() |
sub(R,nrm(eql(R,P))) | 95700 | 130900464 | o2(x,o1(o2(x,x))) | true | 82407 | 82407 | -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 |
| t16_x24_u6_b19 | 16 | 24 | 6 | 19 | ![]() |
sub(R,nrm(min(R,P))) | 95701 | 130900465 | o2(x,o1(o2(x,x))) | true | 82415 | 82415 | 0.3269 | 0.7353 | 0.456 | 0.2353 | 0.4851 | -0.8066 | 1 | 1.807 | 1 | 4.248 | 0.001361 | 0.001498 | 0.0353 | -0.04797 | 1 | 0.000009163 | 0.000392 | 0.01007 | 0.001613 | 0.04016 | 1.138 | 0.2454 | 0.01215 | 0.001666 | 1 | 1 | 0.005027 | 0.0581 | 0.1713 | 0.02136 | 0.2469 | 0.7281 | json |
| t16_x24_u6_b20 | 16 | 24 | 6 | 20 | ![]() |
sub(R,nrm(dot(R,P))) | 95702 | 130900466 | o2(x,o1(o2(x,x))) | true | 82423 | 82423 | 0.03083 | 0.5485 | 0.4774 | 0.3428 | 0.5855 | -1 | 1 | 2 | 1 | 4.745 | 0.006078 | 0.007462 | 0.0735 | -0.1022 | 1 | 0.00005351 | 0.007603 | 0.02272 | 0.008138 | 0.09021 | 1.227 | 2.002 | 0.0395 | 0.02218 | 1 | 1 | 0.02571 | 0.2631 | 0.631 | 0.07499 | 0.7674 | 1.841 | json |
| t16_x24_u6_b21 | 16 | 24 | 6 | 21 | ![]() |
sub(R,nrm(dst(R,P))) | 95703 | 130900467 | o2(x,o1(o2(x,x))) | true | 82431 | 82431 | -0.5234 | 0.1404 | 0.5659 | 0.1636 | 0.4044 | -1 | 0.4033 | 1.403 | 1 | 4.092 | 0.002439 | 0.002682 | 0.05319 | -0.04741 | 1 | 0.00007528 | 0.0005832 | 0.01431 | 0.002292 | 0.04787 | 0.9001 | 0.2301 | 0.03131 | 0.003566 | 1 | 1 | 0.01014 | 0.1219 | 0.3013 | 0.062 | 0.7452 | 1.842 | json |
| t16_x24_u6_b22 | 16 | 24 | 6 | 22 | ![]() |
mlt(R,nrm(add(R,P))) | 95704 | 130900468 | o2(x,o1(o2(x,x))) | true | 82439 | 82439 | 0.01408 | 0.5271 | 0.2542 | 0.1067 | 0.3266 | -0.8962 | 0.9075 | 1.804 | 1 | 4.402 | 0.001253 | 0.001464 | 0.03999 | -0.07766 | 1 | -0.00001198 | 0.0001602 | 0.009166 | 0.001118 | 0.03344 | 0.8363 | 0.1763 | 0.02548 | 0.001502 | 1 | 1 | 0.00533 | 0.06862 | 0.1911 | 0.04998 | 0.6434 | 1.792 | json |
| t16_x24_u6_b23 | 16 | 24 | 6 | 23 | ![]() |
mlt(R,nrm(sub(R,P))) | 95705 | 130900469 | o2(x,o1(o2(x,x))) | true | 82447 | 82447 | 0.05538 | 0.5926 | 0.2557 | 0.107 | 0.3272 | -0.9029 | 0.8891 | 1.792 | 1 | 4.388 | 0.001272 | 0.001492 | 0.04029 | -0.07956 | 1 | 0.00001307 | 0.0001632 | 0.009243 | 0.001141 | 0.03377 | 0.8383 | 0.1809 | 0.02582 | 0.001525 | 1 | 1 | 0.005392 | 0.06942 | 0.1932 | 0.05038 | 0.6486 | 1.805 | json |
| t16_x24_u6_b24 | 16 | 24 | 6 | 24 | ![]() |
mlt(R,nrm(mlt(R,P))) | 95706 | 130900470 | o2(x,o1(o2(x,x))) | true | 82455 | 82455 | -0.01065 | 0.4891 | 0.3705 | 0.2019 | 0.4494 | -1 | 0.992 | 1.992 | 1 | 4.822 | 0.001719 | 0.001772 | 0.02957 | -0.01498 | 1 | 0.000006729 | 0.00475 | 0.01033 | 0.002617 | 0.05116 | 1.73 | 1.779 | 0.01729 | 0.02353 | 1 | 1 | 0.00619 | 0.04487 | 0.1778 | 0.03065 | 0.2222 | 0.8807 | json |
| t16_x24_u6_b25 | 16 | 24 | 6 | 25 | ![]() |
mlt(R,nrm(div(R,P))) | 95707 | 130900471 | o2(x,o1(o2(x,x))) | true | 82463 | 82463 | -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 |
| t16_x24_u6_b26 | 16 | 24 | 6 | 26 | ![]() |
mlt(R,nrm(pow(R,P))) | 95708 | 130900472 | o2(x,o1(o2(x,x))) | true | 82471 | 82471 | -0.9872 | 0.007782 | 0.9913 | 0.01471 | 0.1213 | -1 | 0.647 | 1.647 | 1 | 0.138 | 0.002017 | 0.001199 | 0.003199 | 0.2544 | 1 | 0 | 0.006674 | 0.005536 | 0.003206 | 0.05663 | 17.7 | 1.647 | 0.2186 | 0.4537 | 1 | 1 | 0.005713 | 0.02351 | 0.05332 | 0.3884 | 1.598 | 3.625 | json |
| t16_x24_u6_b27 | 16 | 24 | 6 | 27 | ![]() |
mlt(R,nrm(mod(R,P))) | 95709 | 130900473 | o2(x,o1(o2(x,x))) | true | 82479 | 82479 | 0.01948 | 0.7656 | 0.4882 | 0.3499 | 0.5915 | -1 | 0.9191 | 1.919 | 1 | 3.555 | 0.01352 | 0.01207 | 0.03956 | 0.05679 | 1 | -7.942e-7 | 0.04973 | 0.04147 | 0.02403 | 0.155 | 3.918 | 1.871 | 0.07314 | 0.1421 | 1 | 1 | 0.03048 | 0.1342 | 0.5278 | 0.08711 | 0.3835 | 1.508 | json |
| t16_x24_u6_b28 | 16 | 24 | 6 | 28 | ![]() |
mlt(R,nrm(lrg(R,P))) | 95710 | 130900474 | o2(x,o1(o2(x,x))) | true | 82487 | 82487 | -0.2368 | 0.2817 | 0.403 | 0.266 | 0.5157 | -1 | 0.9682 | 1.968 | 1 | 3.601 | 0.005464 | 0.005279 | 0.03055 | 0.0172 | 1 | 0.0000278 | 0.01887 | 0.0215 | 0.009811 | 0.09905 | 3.242 | 1.669 | 0.04039 | 0.07096 | 1 | 1 | 0.01229 | 0.07808 | 0.2331 | 0.04619 | 0.2935 | 0.8762 | json |
| t16_x24_u6_b29 | 16 | 24 | 6 | 29 | ![]() |
mlt(R,nrm(eql(R,P))) | 95711 | 130900475 | o2(x,o1(o2(x,x))) | true | 82495 | 82495 | -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 |
| t16_x24_u6_b30 | 16 | 24 | 6 | 30 | ![]() |
mlt(R,nrm(min(R,P))) | 95712 | 130900476 | o2(x,o1(o2(x,x))) | true | 82503 | 82503 | 0.1059 | 0.7429 | 0.275 | 0.1149 | 0.339 | -0.9622 | 0.998 | 1.96 | 1 | 4.321 | 0.001131 | 0.001376 | 0.03529 | -0.09754 | 1 | -0.00002714 | 0.0001443 | 0.008073 | 0.001262 | 0.03553 | 1.007 | 0.2248 | 0.02181 | 0.001255 | 1 | 1 | 0.005001 | 0.064 | 0.1734 | 0.04351 | 0.5568 | 1.508 | json |
| t16_x24_u6_b31 | 16 | 24 | 6 | 31 | ![]() |
mlt(R,nrm(dot(R,P))) | 95713 | 130900477 | o2(x,o1(o2(x,x))) | true | 82511 | 82511 | -0.006381 | 0.4986 | 0.2731 | 0.1042 | 0.3227 | -1 | 0.5766 | 1.577 | 1 | 4.184 | 0.001665 | 0.00162 | 0.02885 | 0.01366 | 1 | -0.000001615 | 0.004369 | 0.01003 | 0.002453 | 0.04953 | 1.717 | 1.809 | 0.03154 | 0.04194 | 1 | 1 | 0.005946 | 0.04456 | 0.1498 | 0.05708 | 0.4278 | 1.438 | json |
| t16_x24_u6_b32 | 16 | 24 | 6 | 32 | ![]() |
mlt(R,nrm(dst(R,P))) | 95714 | 130900478 | o2(x,o1(o2(x,x))) | true | 82519 | 82519 | 0.005184 | 0.4982 | 0.2278 | 0.07319 | 0.2705 | -0.5767 | 0.5662 | 1.143 | 1 | 4.073 | 0.0009378 | 0.001057 | 0.03649 | -0.05957 | 1 | 0.00001531 | 0.0001169 | 0.008366 | 0.0006631 | 0.02575 | 0.7057 | 0.1328 | 0.02725 | 0.001598 | 1 | 1 | 0.003941 | 0.05063 | 0.1305 | 0.05384 | 0.6917 | 1.782 | json |
| t16_x24_u6_b33 | 16 | 24 | 6 | 33 | ![]() |
div(R,nrm(add(R,P))) | 95715 | 130900479 | o2(x,o1(o2(x,x))) | true | 82527 | 82527 | -0.02713 | 0.4771 | 0.6008 | 0.4785 | 0.6917 | -1 | 1 | 2 | 1 | 4.569 | 0.01251 | 0.01157 | 0.08234 | 0.03918 | 1 | 0.000009648 | 0.02076 | 0.03568 | 0.0173 | 0.1315 | 1.597 | 2.231 | 0.05032 | 0.04338 | 1 | 1 | 0.03537 | 0.333 | 0.8797 | 0.07393 | 0.6959 | 1.839 | json |
| t16_x24_u6_b34 | 16 | 24 | 6 | 34 | ![]() |
div(R,nrm(sub(R,P))) | 95716 | 130900480 | o2(x,o1(o2(x,x))) | true | 82535 | 82535 | 0.03304 | 0.5373 | 0.5976 | 0.4727 | 0.6876 | -1 | 1 | 2 | 1 | 4.608 | 0.01471 | 0.01156 | 0.08322 | 0.1199 | 1 | 0.00006302 | 0.02571 | 0.03794 | 0.01935 | 0.1391 | 1.671 | 2.082 | 0.05558 | 0.05439 | 1 | 1 | 0.03925 | 0.3481 | 0.854 | 0.08303 | 0.7364 | 1.807 | json |
| t16_x24_u6_b35 | 16 | 24 | 6 | 35 | ![]() |
div(R,nrm(mlt(R,P))) | 95717 | 130900481 | o2(x,o1(o2(x,x))) | true | 82543 | 82543 | -0.1204 | 0.4375 | 0.7638 | 0.6348 | 0.7967 | -1 | 1 | 2 | 1 | 4.046 | 0.01561 | 0.0006357 | 0.02973 | 0.9217 | 1 | -0.000003938 | 0.03032 | 0.02254 | 0.01536 | 0.1239 | 4.169 | 2 | 0.02559 | 0.04776 | 1 | 1 | 0.02169 | 0.101 | 0.3637 | 0.03416 | 0.1591 | 0.5729 | json |
| t16_x24_u6_b36 | 16 | 24 | 6 | 36 | ![]() |
div(R,nrm(div(R,P))) | 95718 | 130900482 | o2(x,o1(o2(x,x))) | true | 82551 | 82551 | -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 |
| t16_x24_u6_b37 | 16 | 24 | 6 | 37 | ![]() |
div(R,nrm(pow(R,P))) | 95719 | 130900483 | o2(x,o1(o2(x,x))) | true | 82559 | 82559 | -0.9826 | 0.008301 | 0.9973 | 0.03074 | 0.1753 | -1 | 1 | 2 | 1 | 0.1287 | 0.004215 | 0.002965 | 0.004577 | 0.1741 | 1 | -7.509e-12 | 0.0148 | 0.007726 | 0.007162 | 0.08463 | 18.49 | 2.828 | 0.2336 | 0.4815 | 1 | 1 | 0.01292 | 0.05519 | 0.111 | 0.4203 | 1.796 | 3.612 | json |
| t16_x24_u6_b38 | 16 | 24 | 6 | 38 | ![]() |
div(R,nrm(mod(R,P))) | 95720 | 130900484 | o2(x,o1(o2(x,x))) | true | 82567 | 82567 | 0.4573 | 0.7656 | 0.9261 | 0.666 | 0.8161 | -1 | 1 | 2 | 1 | 2.396 | 0.02568 | 0.02583 | 0.03844 | -0.002835 | 1 | -0.00002065 | 0.1025 | 0.05716 | 0.05003 | 0.2237 | 5.818 | 2.828 | 0.07735 | 0.1539 | 1 | 1 | 0.06384 | 0.264 | 1.062 | 0.09586 | 0.3964 | 1.594 | json |
| t16_x24_u6_b39 | 16 | 24 | 6 | 39 | ![]() |
div(R,nrm(lrg(R,P))) | 95721 | 130900485 | o2(x,o1(o2(x,x))) | true | 82575 | 82575 | -0.5157 | 0.2458 | 0.7869 | 0.4536 | 0.6735 | -1 | 1 | 2 | 1 | 3.009 | 0.01003 | 0.006165 | 0.04185 | 0.2385 | 1 | 0.00003896 | 0.02425 | 0.02319 | 0.01445 | 0.1202 | 2.872 | 2.828 | 0.03569 | 0.05345 | 1 | 1 | 0.02486 | 0.1703 | 0.4311 | 0.05481 | 0.3755 | 0.9504 | json |
| t16_x24_u6_b40 | 16 | 24 | 6 | 40 | ![]() |
div(R,nrm(eql(R,P))) | 95722 | 130900486 | o2(x,o1(o2(x,x))) | true | 82583 | 82583 | -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 |
| t16_x24_u6_b41 | 16 | 24 | 6 | 41 | ![]() |
div(R,nrm(min(R,P))) | 95723 | 130900487 | o2(x,o1(o2(x,x))) | true | 82591 | 82591 | 0.3513 | 0.6956 | 0.7207 | 0.4963 | 0.7045 | -1 | 1 | 2 | 1 | 4.05 | 0.01618 | 0.0105 | 0.04969 | 0.2132 | 1 | -0.00004707 | 0.0458 | 0.03417 | 0.02421 | 0.1556 | 3.131 | 2.828 | 0.05376 | 0.0923 | 1 | 1 | 0.0413 | 0.2293 | 0.6243 | 0.08323 | 0.462 | 1.258 | json |
| t16_x24_u6_b42 | 16 | 24 | 6 | 42 | ![]() |
div(R,nrm(dot(R,P))) | 95724 | 130900488 | o2(x,o1(o2(x,x))) | true | 82599 | 82599 | 0.00739 | 0.4986 | 0.69 | 0.5764 | 0.7592 | -1 | 1 | 2 | 1 | 4.351 | 0.006005 | 0.005785 | 0.06337 | 0.01863 | 1 | 0.000009037 | 0.007397 | 0.02152 | 0.007776 | 0.08818 | 1.391 | 2.598 | 0.02045 | 0.01283 | 1 | 1 | 0.02212 | 0.2218 | 0.6188 | 0.03837 | 0.3848 | 1.073 | json |
| t16_x24_u6_b43 | 16 | 24 | 6 | 43 | ![]() |
div(R,nrm(dst(R,P))) | 95725 | 130900489 | o2(x,o1(o2(x,x))) | true | 82607 | 82607 | 0.01512 | 0.4984 | 0.6103 | 0.4829 | 0.6949 | -1 | 1 | 2 | 1 | 4.629 | 0.007198 | 0.008055 | 0.08947 | -0.05616 | 1 | 0.00001124 | 0.002061 | 0.02509 | 0.007249 | 0.08514 | 0.9516 | 0.3985 | 0.03159 | 0.004269 | 1 | 1 | 0.03004 | 0.3535 | 0.8682 | 0.06222 | 0.7321 | 1.798 | json |
| t16_x24_u6_b44 | 16 | 24 | 6 | 44 | ![]() |
pow(R,nrm(add(R,P))) | 95726 | 130900490 | o2(x,o1(o2(x,x))) | true | 82615 | 82615 | -0.9159 | 0.04297 | 0.9982 | 0.1582 | 0.3977 | -1 | 1 | 2 | 1 | 0.2928 | 0.01629 | 0.01558 | 0.01626 | 0.02244 | 1 | 0.000002652 | 0.06661 | 0.03249 | 0.03159 | 0.1777 | 10.93 | 2.828 | 0.2015 | 0.4211 | 1 | 1 | 0.02535 | 0.109 | 0.27 | 0.1603 | 0.6893 | 1.707 | json |
| t16_x24_u6_b45 | 16 | 24 | 6 | 45 | ![]() |
pow(R,nrm(sub(R,P))) | 95727 | 130900491 | o2(x,o1(o2(x,x))) | true | 82623 | 82623 | -0.9264 | 0.04297 | 0.9877 | 0.1231 | 0.3509 | -1 | 1 | 2 | 1 | 0.4044 | 0.01203 | 0.01272 | 0.01489 | -0.0278 | 1 | 0.000005056 | 0.05169 | 0.02852 | 0.02455 | 0.1567 | 10.52 | 2.828 | 0.201 | 0.4197 | 1 | 1 | 0.01831 | 0.08016 | 0.2011 | 0.1487 | 0.6509 | 1.633 | json |
| t16_x24_u6_b46 | 16 | 24 | 6 | 46 | ![]() |
pow(R,nrm(mlt(R,P))) | 95728 | 130900492 | o2(x,o1(o2(x,x))) | true | 82631 | 82631 | -0.8544 | 0.07422 | 0.9971 | 0.2652 | 0.515 | -1 | 1 | 2 | 1 | 0.4579 | 0.02376 | 0.02336 | 0.02424 | 0.008506 | 1 | 0.000002446 | 0.09826 | 0.04819 | 0.04651 | 0.2157 | 8.896 | 2.828 | 0.1777 | 0.3705 | 1 | 1 | 0.04524 | 0.189 | 0.6273 | 0.1706 | 0.7126 | 2.365 | json |
| t16_x24_u6_b47 | 16 | 24 | 6 | 47 | ![]() |
pow(R,nrm(div(R,P))) | 95729 | 130900493 | o2(x,o1(o2(x,x))) | true | 82639 | 82639 | 0.75 | 0.875 | 1 | 0.4375 | 0.6614 | -1 | 1 | 2 | 1 | 0.5436 | 0.03175 | 0 | 0.01587 | 1 | 1 | 0 | 0.06349 | 0.03175 | 0.03149 | 0.1774 | 11.18 | 2 | 0.07256 | 0.1451 | 1 | 1 | 0.04211 | 0.1684 | 0.6737 | 0.09624 | 0.385 | 1.54 | json |
| t16_x24_u6_b48 | 16 | 24 | 6 | 48 | ![]() |
pow(R,nrm(pow(R,P))) | 95730 | 130900494 | o2(x,o1(o2(x,x))) | true | 82647 | 82647 | -0.9928 | 0.003906 | 0.9994 | 0.0132 | 0.1149 | -1 | 0.9761 | 1.976 | 1 | 0.04655 | 0.00171 | 0.001712 | 0.001897 | -0.0006299 | 1 | -3.004e-11 | 0.007271 | 0.003718 | 0.003416 | 0.05845 | 30.81 | 2.346 | 0.2592 | 0.5507 | 1 | 1 | 0.006022 | 0.0241 | 0.04647 | 0.4561 | 1.825 | 3.519 | json |
| t16_x24_u6_b49 | 16 | 24 | 6 | 49 | ![]() |
pow(R,nrm(mod(R,P))) | 95731 | 130900495 | o2(x,o1(o2(x,x))) | true | 82655 | 82655 | -0.9452 | 0.03125 | 0.9923 | 0.09346 | 0.3057 | -1 | 0.955 | 1.955 | 1 | 0.2889 | 0.009827 | 0.007879 | 0.01052 | 0.11 | 1 | 0.000003609 | 0.0369 | 0.0203 | 0.0176 | 0.1327 | 12.61 | 2.449 | 0.1894 | 0.3948 | 1 | 1 | 0.01471 | 0.06121 | 0.1639 | 0.1574 | 0.6549 | 1.753 | json |
| t16_x24_u6_b50 | 16 | 24 | 6 | 50 | ![]() |
pow(R,nrm(lrg(R,P))) | 95732 | 130900496 | o2(x,o1(o2(x,x))) | true | 82663 | 82663 | -0.4078 | 0.3047 | 0.9829 | 0.8073 | 0.8985 | -1 | 1 | 2 | 1 | 1.26 | 0.02129 | 0.02389 | 0.02617 | -0.05766 | 1 | 0.000004262 | 0.094 | 0.04989 | 0.04451 | 0.211 | 8.061 | 2.828 | 0.05596 | 0.1164 | 1 | 1 | 0.03846 | 0.1701 | 0.5737 | 0.04764 | 0.2107 | 0.7106 | json |
| t16_x24_u6_b51 | 16 | 24 | 6 | 51 | ![]() |
pow(R,nrm(eql(R,P))) | 95733 | 130900497 | o2(x,o1(o2(x,x))) | true | 82671 | 82671 | -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 |
| t16_x24_u6_b52 | 16 | 24 | 6 | 52 | ![]() |
pow(R,nrm(min(R,P))) | 95734 | 130900498 | o2(x,o1(o2(x,x))) | true | 82679 | 82679 | -0.9155 | 0.04297 | 0.9985 | 0.1594 | 0.3993 | -1 | 1 | 2 | 1 | 0.2967 | 0.01631 | 0.01571 | 0.01632 | 0.01859 | 1 | 0.000001861 | 0.06691 | 0.0326 | 0.03174 | 0.1781 | 10.92 | 2.828 | 0.2009 | 0.4197 | 1 | 1 | 0.0253 | 0.1087 | 0.2709 | 0.1587 | 0.682 | 1.7 | json |
| t16_x24_u6_b53 | 16 | 24 | 6 | 53 | ![]() |
pow(R,nrm(dot(R,P))) | 95735 | 130900499 | o2(x,o1(o2(x,x))) | true | 82687 | 82687 | -0.9164 | 0.04297 | 0.9976 | 0.1559 | 0.3949 | -1 | 1 | 2 | 1 | 0.3165 | 0.01568 | 0.01557 | 0.01641 | 0.003516 | 1 | 0.000001957 | 0.0653 | 0.03236 | 0.03096 | 0.176 | 10.72 | 2.828 | 0.2004 | 0.4188 | 1 | 1 | 0.02456 | 0.1062 | 0.2614 | 0.1575 | 0.6812 | 1.676 | json |
| t16_x24_u6_b54 | 16 | 24 | 6 | 54 | ![]() |
pow(R,nrm(dst(R,P))) | 95736 | 130900500 | o2(x,o1(o2(x,x))) | true | 82695 | 82695 | -0.9271 | 0.04297 | 0.9869 | 0.1195 | 0.3456 | -1 | 0.9666 | 1.967 | 1 | 0.3974 | 0.01209 | 0.01205 | 0.01496 | 0.001705 | 1 | 0.00000627 | 0.05044 | 0.02836 | 0.02393 | 0.1547 | 10.34 | 2.716 | 0.2021 | 0.4222 | 1 | 1 | 0.01909 | 0.08251 | 0.2019 | 0.1598 | 0.6907 | 1.69 | json |
| t16_x24_u6_b55 | 16 | 24 | 6 | 55 | ![]() |
mod(R,nrm(add(R,P))) | 95737 | 130900501 | o2(x,o1(o2(x,x))) | true | 82703 | 82703 | 0.01152 | 0.4865 | 0.2236 | 0.08717 | 0.2952 | -0.9007 | 0.9256 | 1.826 | 1 | 4.234 | 0.001182 | 0.001314 | 0.03795 | -0.05291 | 1 | -0.00001724 | 0.0001493 | 0.008734 | 0.001056 | 0.03249 | 0.8561 | 0.1818 | 0.02863 | 0.001713 | 1 | 1 | 0.005048 | 0.06537 | 0.1712 | 0.05792 | 0.75 | 1.964 | json |
| t16_x24_u6_b56 | 16 | 24 | 6 | 56 | ![]() |
mod(R,nrm(sub(R,P))) | 95738 | 130900502 | o2(x,o1(o2(x,x))) | true | 82711 | 82711 | 0.01286 | 0.4915 | 0.2252 | 0.09109 | 0.3018 | -0.9105 | 0.9276 | 1.838 | 1 | 4.245 | 0.00125 | 0.001335 | 0.03863 | -0.03287 | 1 | -0.000006662 | 0.0001547 | 0.008833 | 0.001093 | 0.03306 | 0.8559 | 0.2005 | 0.02838 | 0.001699 | 1 | 1 | 0.005002 | 0.06477 | 0.1666 | 0.05491 | 0.7111 | 1.829 | json |
| t16_x24_u6_b57 | 16 | 24 | 6 | 57 | ![]() |
mod(R,nrm(mlt(R,P))) | 95739 | 130900503 | o2(x,o1(o2(x,x))) | true | 82719 | 82719 | -0.1158 | 0.4242 | 0.3868 | 0.2411 | 0.491 | -1 | 0.9682 | 1.968 | 1 | 4.551 | 0.01176 | 0.0017 | 0.05107 | 0.7474 | 1 | 0.00003396 | 0.02051 | 0.02692 | 0.01085 | 0.1042 | 2.04 | 1.943 | 0.05584 | 0.08509 | 1 | 1 | 0.02041 | 0.134 | 0.4022 | 0.08465 | 0.5559 | 1.668 | json |
| t16_x24_u6_b58 | 16 | 24 | 6 | 58 | ![]() |
mod(R,nrm(div(R,P))) | 95740 | 130900504 | o2(x,o1(o2(x,x))) | true | 82727 | 82727 | -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 |
| t16_x24_u6_b59 | 16 | 24 | 6 | 59 | ![]() |
mod(R,nrm(pow(R,P))) | 95741 | 130900505 | o2(x,o1(o2(x,x))) | true | 82735 | 82735 | -0.9888 | 0.006668 | 0.9911 | 0.01161 | 0.1078 | -1 | 0.3708 | 1.371 | 1 | 0.1368 | 0.001591 | 0.001085 | 0.002844 | 0.1891 | 1 | 0 | 0.005588 | 0.004993 | 0.00267 | 0.05167 | 18.17 | 1.939 | 0.2304 | 0.4811 | 1 | 1 | 0.004744 | 0.01927 | 0.04207 | 0.4085 | 1.659 | 3.623 | json |
| t16_x24_u6_b60 | 16 | 24 | 6 | 60 | ![]() |
mod(R,nrm(mod(R,P))) | 95742 | 130900506 | o2(x,o1(o2(x,x))) | true | 82743 | 82743 | -0.2565 | 0.3455 | 0.3731 | 0.2149 | 0.4635 | -1 | 0.8752 | 1.875 | 1 | 3.813 | 0.008949 | 0.009023 | 0.03815 | -0.004069 | 1 | -0.00002202 | 0.03375 | 0.03484 | 0.01652 | 0.1285 | 3.369 | 1.823 | 0.08365 | 0.1571 | 1 | 1 | 0.02152 | 0.1014 | 0.329 | 0.1002 | 0.4718 | 1.531 | json |
| t16_x24_u6_b61 | 16 | 24 | 6 | 61 | ![]() |
mod(R,nrm(lrg(R,P))) | 95743 | 130900507 | o2(x,o1(o2(x,x))) | true | 82751 | 82751 | -0.5306 | 0.2407 | 0.669 | 0.3166 | 0.5627 | -1 | 0.9683 | 1.968 | 1 | 3.008 | 0.005593 | 0.002964 | 0.02493 | 0.3073 | 1 | 0.00001919 | 0.01527 | 0.01629 | 0.007933 | 0.08907 | 3.572 | 2.013 | 0.02703 | 0.04823 | 1 | 1 | 0.01198 | 0.06867 | 0.21 | 0.03784 | 0.2169 | 0.6632 | json |
| t16_x24_u6_b62 | 16 | 24 | 6 | 62 | ![]() |
mod(R,nrm(eql(R,P))) | 95744 | 130900508 | o2(x,o1(o2(x,x))) | true | 82759 | 82759 | -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 |
| t16_x24_u6_b63 | 16 | 24 | 6 | 63 | ![]() |
mod(R,nrm(min(R,P))) | 95745 | 130900509 | o2(x,o1(o2(x,x))) | true | 82767 | 82767 | -0.09045 | 0.4158 | 0.2964 | 0.1743 | 0.4174 | -1 | 0.9682 | 1.968 | 1 | 4.324 | 0.007531 | 0.002974 | 0.04276 | 0.4338 | 1 | 0.00001399 | 0.01581 | 0.02164 | 0.008676 | 0.09314 | 2.178 | 1.797 | 0.06028 | 0.09075 | 1 | 1 | 0.01592 | 0.1106 | 0.3122 | 0.09137 | 0.6349 | 1.792 | json |
| t16_x24_u6_b64 | 16 | 24 | 6 | 64 | ![]() |
mod(R,nrm(dot(R,P))) | 95746 | 130900510 | o2(x,o1(o2(x,x))) | true | 82775 | 82775 | -0.0278 | 0.476 | 0.2105 | 0.06798 | 0.2607 | -1 | 0.538 | 1.538 | 1 | 3.923 | 0.001916 | 0.0024 | 0.03384 | -0.1121 | 1 | -0.00001012 | 0.005926 | 0.01188 | 0.003171 | 0.05631 | 1.664 | 2.097 | 0.06349 | 0.08717 | 1 | 1 | 0.00789 | 0.05645 | 0.1538 | 0.1161 | 0.8304 | 2.263 | json |
| t16_x24_u6_b65 | 16 | 24 | 6 | 65 | ![]() |
mod(R,nrm(dst(R,P))) | 95747 | 130900511 | o2(x,o1(o2(x,x))) | true | 82783 | 82783 | -0.01019 | 0.4876 | 0.1978 | 0.05383 | 0.232 | -0.5747 | 0.538 | 1.113 | 1 | 3.868 | 0.0007622 | 0.0007869 | 0.03213 | -0.01593 | 1 | -0.00001012 | 0.00009208 | 0.007382 | 0.000517 | 0.02274 | 0.7078 | 0.1274 | 0.02878 | 0.001711 | 1 | 1 | 0.003077 | 0.03969 | 0.09869 | 0.05717 | 0.7373 | 1.833 | json |
| t16_x24_u6_b66 | 16 | 24 | 6 | 66 | ![]() |
lrg(R,nrm(add(R,P))) | 95748 | 130900512 | o2(x,o1(o2(x,x))) | true | 82791 | 82791 | 0.4893 | 0.7009 | 0.4893 | 0.2075 | 0.4555 | 0 | 1 | 1 | 1 | 2.431 | 0.001037 | 0.0009468 | 0.02339 | 0.04544 | 1 | 0.00002495 | 0.0001118 | 0.005604 | 0.001436 | 0.0379 | 1.62 | 0.1169 | 0.009561 | 0.000539 | 1 | 1 | 0.004063 | 0.05223 | 0.1738 | 0.01958 | 0.2517 | 0.8377 | json |
| t16_x24_u6_b67 | 16 | 24 | 6 | 67 | ![]() |
lrg(R,nrm(sub(R,P))) | 95749 | 130900513 | o2(x,o1(o2(x,x))) | true | 82799 | 82799 | 0.5088 | 0.7445 | 0.5088 | 0.1983 | 0.4453 | 0 | 1 | 1 | 1 | 2.639 | 0.001079 | 0.001302 | 0.02802 | -0.09364 | 1 | 0.00001569 | 0.0001394 | 0.00679 | 0.001597 | 0.03996 | 1.426 | 0.1169 | 0.01201 | 0.0007028 | 1 | 1 | 0.004788 | 0.06156 | 0.2117 | 0.02415 | 0.3104 | 1.068 | json |
| t16_x24_u6_b68 | 16 | 24 | 6 | 68 | ![]() |
lrg(R,nrm(mlt(R,P))) | 95750 | 130900514 | o2(x,o1(o2(x,x))) | true | 82807 | 82807 | 0.5078 | 0.9341 | 0.5078 | 0.1566 | 0.3957 | 0 | 1 | 1 | 1 | 3.395 | 0.002011 | 0.002302 | 0.05049 | -0.06748 | 1 | 0.00001355 | 0.0002508 | 0.01226 | 0.001765 | 0.04201 | 0.8321 | 0.1169 | 0.02754 | 0.001601 | 1 | 1 | 0.008555 | 0.1102 | 0.309 | 0.05462 | 0.7035 | 1.973 | json |
| t16_x24_u6_b69 | 16 | 24 | 6 | 69 | ![]() |
lrg(R,nrm(div(R,P))) | 95751 | 130900515 | o2(x,o1(o2(x,x))) | true | 82815 | 82815 | 0.5176 | 0.9203 | 0.5176 | 0.1575 | 0.3968 | 0 | 1 | 1 | 1 | 3.378 | 0.001896 | 0.002332 | 0.04958 | -0.1032 | 1 | -0.00001211 | 0.000248 | 0.01205 | 0.00177 | 0.04207 | 0.8485 | 0.1169 | 0.02685 | 0.001575 | 1 | 1 | 0.008232 | 0.106 | 0.2882 | 0.05227 | 0.6732 | 1.83 | json |
| t16_x24_u6_b70 | 16 | 24 | 6 | 70 | ![]() |
lrg(R,nrm(pow(R,P))) | 95752 | 130900516 | o2(x,o1(o2(x,x))) | true | 82823 | 82823 | 0.8789 | 0.9996 | 0.8789 | 0.06836 | 0.2614 | 8.471e-8 | 1 | 1 | 1 | 1.696 | 0.001059 | 0.0007011 | 0.02072 | 0.2035 | 1 | -0.00001141 | 0.0001027 | 0.005042 | 0.001331 | 0.03648 | 1.761 | 0.1169 | 0.02576 | 0.001502 | 1 | 1 | 0.003794 | 0.04872 | 0.1121 | 0.0555 | 0.7128 | 1.64 | json |
| t16_x24_u6_b71 | 16 | 24 | 6 | 71 | ![]() |
lrg(R,nrm(mod(R,P))) | 95753 | 130900517 | o2(x,o1(o2(x,x))) | true | 82831 | 82831 | 0.6172 | 0.9641 | 0.6172 | 0.1519 | 0.3898 | 0 | 1 | 1 | 1 | 3.196 | 0.001983 | 0.00196 | 0.04609 | 0.005731 | 1 | 0.00007058 | 0.0002229 | 0.01111 | 0.001819 | 0.04265 | 0.9252 | 0.1169 | 0.02596 | 0.001467 | 1 | 1 | 0.007465 | 0.0963 | 0.2878 | 0.04914 | 0.6339 | 1.894 | json |
| t16_x24_u6_b72 | 16 | 24 | 6 | 72 | ![]() |
lrg(R,nrm(lrg(R,P))) | 95754 | 130900518 | o2(x,o1(o2(x,x))) | true | 82839 | 82839 | 0.3662 | 0.7186 | 0.3662 | 0.1601 | 0.4001 | 0 | 1 | 1 | 1 | 2.967 | 0.001511 | 0.001791 | 0.03883 | -0.08482 | 1 | -0.0000164 | 0.0001968 | 0.009467 | 0.001795 | 0.04237 | 1.091 | 0.1169 | 0.02063 | 0.00123 | 1 | 1 | 0.006615 | 0.08512 | 0.2246 | 0.04132 | 0.5317 | 1.403 | json |
| t16_x24_u6_b73 | 16 | 24 | 6 | 73 | ![]() |
lrg(R,nrm(eql(R,P))) | 95755 | 130900519 | o2(x,o1(o2(x,x))) | true | 82847 | 82847 | 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 |
| t16_x24_u6_b74 | 16 | 24 | 6 | 74 | ![]() |
lrg(R,nrm(min(R,P))) | 95756 | 130900520 | o2(x,o1(o2(x,x))) | true | 82855 | 82855 | 0.75 | 0.9775 | 0.75 | 0.1335 | 0.3654 | 0 | 1 | 1 | 1 | 2.414 | 0.001209 | 0.001298 | 0.02942 | -0.03547 | 1 | 0.00001569 | 0.0001464 | 0.007128 | 0.001641 | 0.04051 | 1.377 | 0.1169 | 0.01878 | 0.001097 | 1 | 1 | 0.005005 | 0.06468 | 0.1733 | 0.03749 | 0.4845 | 1.298 | json |
| t16_x24_u6_b75 | 16 | 24 | 6 | 75 | ![]() |
lrg(R,nrm(dot(R,P))) | 95757 | 130900521 | o2(x,o1(o2(x,x))) | true | 82863 | 82863 | 0.5537 | 0.9683 | 0.5537 | 0.152 | 0.3899 | 0 | 1 | 1 | 1 | 3.404 | 0.001996 | 0.00246 | 0.052 | -0.1042 | 1 | 0.00006132 | 0.0002548 | 0.01256 | 0.001752 | 0.04186 | 0.805 | 0.1169 | 0.02931 | 0.001676 | 1 | 1 | 0.008767 | 0.1127 | 0.3286 | 0.05767 | 0.7416 | 2.161 | json |
| t16_x24_u6_b76 | 16 | 24 | 6 | 76 | ![]() |
lrg(R,nrm(dst(R,P))) | 95758 | 130900522 | o2(x,o1(o2(x,x))) | true | 82871 | 82871 | 0.2402 | 0.6631 | 0.2402 | 0.1098 | 0.3314 | 0 | 1 | 1 | 1 | 2.734 | 0.001644 | 0.001689 | 0.03923 | -0.01356 | 1 | 0.0000385 | 0.0001965 | 0.00953 | 0.001794 | 0.04236 | 1.08 | 0.1169 | 0.03034 | 0.001789 | 1 | 1 | 0.006803 | 0.0878 | 0.2401 | 0.06194 | 0.7993 | 2.186 | json |
| t16_x24_u6_b77 | 16 | 24 | 6 | 77 | ![]() |
eql(R,nrm(add(R,P))) | 95759 | 130900523 | o2(x,o1(o2(x,x))) | true | 82879 | 82879 | 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 |
| t16_x24_u6_b78 | 16 | 24 | 6 | 78 | ![]() |
eql(R,nrm(sub(R,P))) | 95760 | 130900524 | o2(x,o1(o2(x,x))) | true | 82887 | 82887 | 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 |
| t16_x24_u6_b79 | 16 | 24 | 6 | 79 | ![]() |
eql(R,nrm(mlt(R,P))) | 95761 | 130900525 | o2(x,o1(o2(x,x))) | true | 82895 | 82895 | 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 |
| t16_x24_u6_b80 | 16 | 24 | 6 | 80 | ![]() |
eql(R,nrm(div(R,P))) | 95762 | 130900526 | o2(x,o1(o2(x,x))) | true | 82903 | 82903 | 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 |
| t16_x24_u6_b81 | 16 | 24 | 6 | 81 | ![]() |
eql(R,nrm(pow(R,P))) | 95763 | 130900527 | o2(x,o1(o2(x,x))) | true | 82911 | 82911 | 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 |
| t16_x24_u6_b82 | 16 | 24 | 6 | 82 | ![]() |
eql(R,nrm(mod(R,P))) | 95764 | 130900528 | o2(x,o1(o2(x,x))) | true | 82919 | 82919 | 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 |
| t16_x24_u6_b83 | 16 | 24 | 6 | 83 | ![]() |
eql(R,nrm(lrg(R,P))) | 95765 | 130900529 | o2(x,o1(o2(x,x))) | true | 82927 | 82927 | 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 |
| t16_x24_u6_b84 | 16 | 24 | 6 | 84 | ![]() |
eql(R,nrm(eql(R,P))) | 95766 | 130900530 | o2(x,o1(o2(x,x))) | true | 82935 | 82935 | 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 |
| t16_x24_u6_b85 | 16 | 24 | 6 | 85 | ![]() |
eql(R,nrm(min(R,P))) | 95767 | 130900531 | o2(x,o1(o2(x,x))) | true | 82943 | 82943 | 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 |
| t16_x24_u6_b86 | 16 | 24 | 6 | 86 | ![]() |
eql(R,nrm(dot(R,P))) | 95768 | 130900532 | o2(x,o1(o2(x,x))) | true | 82951 | 82951 | 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 |
| t16_x24_u6_b87 | 16 | 24 | 6 | 87 | ![]() |
eql(R,nrm(dst(R,P))) | 95769 | 130900533 | o2(x,o1(o2(x,x))) | true | 82959 | 82959 | 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 |
| t16_x24_u6_b88 | 16 | 24 | 6 | 88 | ![]() |
min(R,nrm(add(R,P))) | 95770 | 130900534 | o2(x,o1(o2(x,x))) | true | 82967 | 82967 | -0.3662 | 0.2341 | 0.5212 | 0.223 | 0.4722 | -1 | 0.9256 | 1.926 | 1 | 4.661 | 0.001466 | 0.001449 | 0.03792 | 0.005608 | 1 | 0.000002517 | 0.0001768 | 0.008781 | 0.001477 | 0.03844 | 1.014 | 0.1986 | 0.01307 | 0.000793 | 1 | 1 | 0.006031 | 0.07847 | 0.234 | 0.02705 | 0.3519 | 1.049 | json |
| t16_x24_u6_b89 | 16 | 24 | 6 | 89 | ![]() |
min(R,nrm(sub(R,P))) | 95771 | 130900535 | o2(x,o1(o2(x,x))) | true | 82975 | 82975 | -0.339 | 0.2654 | 0.5248 | 0.2442 | 0.4942 | -0.9989 | 0.9338 | 1.933 | 1 | 4.7 | 0.001288 | 0.001542 | 0.03654 | -0.08966 | 1 | 0.000026 | 0.0001606 | 0.008251 | 0.001495 | 0.03867 | 1.058 | 0.2134 | 0.01159 | 0.0006574 | 1 | 1 | 0.005909 | 0.07539 | 0.216 | 0.02419 | 0.3087 | 0.8843 | json |
| t16_x24_u6_b90 | 16 | 24 | 6 | 90 | ![]() |
min(R,nrm(mlt(R,P))) | 95772 | 130900536 | o2(x,o1(o2(x,x))) | true | 82983 | 82983 | -0.3754 | 0.1906 | 0.5138 | 0.203 | 0.4506 | -1 | 0.9712 | 1.971 | 1 | 4.639 | 0.002367 | 0.002378 | 0.05199 | -0.002499 | 1 | -0.00001074 | 0.0002882 | 0.01206 | 0.002042 | 0.04519 | 0.8692 | 0.2267 | 0.02337 | 0.00142 | 1 | 1 | 0.009675 | 0.1258 | 0.3405 | 0.04766 | 0.6196 | 1.677 | json |
| t16_x24_u6_b91 | 16 | 24 | 6 | 91 | ![]() |
min(R,nrm(div(R,P))) | 95773 | 130900537 | o2(x,o1(o2(x,x))) | true | 82991 | 82991 | -0.2398 | 0.03893 | 0.2616 | 0.07604 | 0.2758 | -0.9989 | 0.8291 | 1.828 | 1 | 3.768 | 0.0008833 | 0.001036 | 0.03352 | -0.07962 | 1 | 0.00001174 | 0.0001131 | 0.007811 | 0.0007962 | 0.02822 | 0.8419 | 0.1724 | 0.02524 | 0.001487 | 1 | 1 | 0.003813 | 0.04919 | 0.1415 | 0.05015 | 0.6469 | 1.861 | json |
| t16_x24_u6_b92 | 16 | 24 | 6 | 92 | ![]() |
min(R,nrm(pow(R,P))) | 95774 | 130900538 | o2(x,o1(o2(x,x))) | true | 82999 | 82999 | -0.06099 | 0.44 | 0.3513 | 0.1792 | 0.4234 | -0.9989 | 0.9693 | 1.968 | 1 | 4.759 | 0.002263 | 0.002489 | 0.05557 | -0.04765 | 1 | 0.000024 | 0.0002759 | 0.01264 | 0.001664 | 0.04079 | 0.7341 | 0.2301 | 0.02651 | 0.001539 | 1 | 1 | 0.009245 | 0.1187 | 0.3067 | 0.05158 | 0.662 | 1.711 | json |
| t16_x24_u6_b93 | 16 | 24 | 6 | 93 | ![]() |
min(R,nrm(mod(R,P))) | 95775 | 130900539 | o2(x,o1(o2(x,x))) | true | 83007 | 83007 | -0.04708 | 0.4727 | 0.3963 | 0.2152 | 0.4639 | -0.9989 | 0.9534 | 1.952 | 1 | 4.83 | 0.002777 | 0.002986 | 0.06226 | -0.03635 | 1 | 0.00001446 | 0.0003407 | 0.01435 | 0.001888 | 0.04345 | 0.6979 | 0.2163 | 0.02678 | 0.001583 | 1 | 1 | 0.01123 | 0.1444 | 0.3758 | 0.0522 | 0.6711 | 1.746 | json |
| t16_x24_u6_b94 | 16 | 24 | 6 | 94 | ![]() |
min(R,nrm(lrg(R,P))) | 95776 | 130900540 | o2(x,o1(o2(x,x))) | true | 83015 | 83015 | -0.0836 | 0.3587 | 0.3479 | 0.1765 | 0.4201 | -0.9989 | 0.9682 | 1.967 | 1 | 4.696 | 0.001932 | 0.002303 | 0.05159 | -0.08758 | 1 | 0.00003133 | 0.0002459 | 0.01179 | 0.001574 | 0.03967 | 0.769 | 0.2263 | 0.024 | 0.001393 | 1 | 1 | 0.008196 | 0.1053 | 0.2895 | 0.04644 | 0.5969 | 1.64 | json |
| t16_x24_u6_b95 | 16 | 24 | 6 | 95 | ![]() |
min(R,nrm(eql(R,P))) | 95777 | 130900541 | o2(x,o1(o2(x,x))) | true | 83023 | 83023 | 0.008979 | 0.4983 | 0.3946 | 0.2196 | 0.4686 | -0.9989 | 0.9806 | 1.979 | 1 | 4.862 | 0.002813 | 0.00317 | 0.0632 | -0.05957 | 1 | 0.00002651 | 0.0003508 | 0.01449 | 0.001989 | 0.0446 | 0.7057 | 0.2301 | 0.02725 | 0.001598 | 1 | 1 | 0.01182 | 0.1519 | 0.3914 | 0.05384 | 0.6917 | 1.782 | json |
| t16_x24_u6_b96 | 16 | 24 | 6 | 96 | ![]() |
min(R,nrm(min(R,P))) | 95778 | 130900542 | o2(x,o1(o2(x,x))) | true | 83031 | 83031 | -0.4712 | 0.185 | 0.5893 | 0.2332 | 0.4829 | -1 | 0.9228 | 1.923 | 1 | 4.298 | 0.001452 | 0.001228 | 0.0341 | 0.08331 | 1 | -0.00001282 | 0.0001603 | 0.007865 | 0.001517 | 0.03895 | 1.142 | 0.1985 | 0.01149 | 0.0006874 | 1 | 1 | 0.005283 | 0.06886 | 0.2201 | 0.02266 | 0.2953 | 0.9439 | json |
| t16_x24_u6_b97 | 16 | 24 | 6 | 97 | ![]() |
min(R,nrm(dot(R,P))) | 95779 | 130900543 | o2(x,o1(o2(x,x))) | true | 83039 | 83039 | -0.3461 | 0.1979 | 0.4746 | 0.1508 | 0.3883 | -0.9989 | 0.8291 | 1.828 | 1 | 4.141 | 0.001788 | 0.00165 | 0.0426 | 0.03994 | 1 | -0.00001911 | 0.0002013 | 0.009969 | 0.001623 | 0.04029 | 0.9459 | 0.1843 | 0.0228 | 0.001335 | 1 | 1 | 0.007083 | 0.09226 | 0.2763 | 0.04697 | 0.6118 | 1.832 | json |
| t16_x24_u6_b98 | 16 | 24 | 6 | 98 | ![]() |
min(R,nrm(dst(R,P))) | 95780 | 130900544 | o2(x,o1(o2(x,x))) | true | 83047 | 83047 | -0.04426 | 0.4784 | 0.3527 | 0.1718 | 0.4145 | -0.9989 | 0.5774 | 1.576 | 1 | 4.59 | 0.002134 | 0.002456 | 0.0551 | -0.07007 | 1 | 0.00001702 | 0.0002693 | 0.01274 | 0.001554 | 0.03942 | 0.7155 | 0.1843 | 0.02671 | 0.001567 | 1 | 1 | 0.00908 | 0.1167 | 0.2993 | 0.05284 | 0.6794 | 1.742 | json |
| t16_x24_u6_b99 | 16 | 24 | 6 | 99 | ![]() |
dot(R,nrm(add(R,P))) | 95781 | 130900545 | o2(x,o1(o2(x,x))) | true | 83055 | 83055 | 0.08722 | 0.5623 | 0.4102 | 0.2381 | 0.488 | -1 | 1 | 2 | 1 | 4.877 | 0.002812 | 0.003551 | 0.0635 | -0.116 | 1 | -0.00004663 | 0.0004488 | 0.01489 | 0.002331 | 0.04828 | 0.7603 | 0.2637 | 0.02672 | 0.001885 | 1 | 1 | 0.01198 | 0.1527 | 0.4468 | 0.05031 | 0.6411 | 1.876 | json |
| t16_x24_u6_b100 | 16 | 24 | 6 | 100 | ![]() |
dot(R,nrm(sub(R,P))) | 95782 | 130900546 | o2(x,o1(o2(x,x))) | true | 83063 | 83063 | 0.177 | 0.6603 | 0.4144 | 0.2186 | 0.4676 | -1 | 1 | 2 | 1 | 4.824 | 0.002679 | 0.003541 | 0.06321 | -0.1385 | 1 | 0.00004589 | 0.0004225 | 0.01477 | 0.002225 | 0.04717 | 0.7464 | 0.2635 | 0.02845 | 0.001933 | 1 | 1 | 0.0114 | 0.1461 | 0.4112 | 0.05213 | 0.668 | 1.881 | json |
| t16_x24_u6_b101 | 16 | 24 | 6 | 101 | ![]() |
dot(R,nrm(mlt(R,P))) | 95783 | 130900547 | o2(x,o1(o2(x,x))) | true | 83071 | 83071 | -0.03191 | 0.4738 | 0.5306 | 0.353 | 0.5941 | -1 | 1 | 2 | 1 | 4.947 | 0.002469 | 0.00277 | 0.04046 | -0.0575 | 1 | 0.00001035 | 0.005998 | 0.01303 | 0.003602 | 0.06001 | 1.483 | 2.828 | 0.01484 | 0.01699 | 1 | 1 | 0.009333 | 0.07593 | 0.2604 | 0.02644 | 0.2151 | 0.7376 | json |
| t16_x24_u6_b102 | 16 | 24 | 6 | 102 | ![]() |
dot(R,nrm(div(R,P))) | 95784 | 130900548 | o2(x,o1(o2(x,x))) | true | 83079 | 83079 | -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 |
| t16_x24_u6_b103 | 16 | 24 | 6 | 103 | ![]() |
dot(R,nrm(pow(R,P))) | 95785 | 130900549 | o2(x,o1(o2(x,x))) | true | 83087 | 83087 | -0.9854 | 0.008545 | 0.9933 | 0.02024 | 0.1423 | -1 | 1 | 2 | 1 | 0.1448 | 0.002759 | 0.002142 | 0.003899 | 0.1259 | 1 | -2.253e-11 | 0.01024 | 0.006692 | 0.004879 | 0.06985 | 17.92 | 2.001 | 0.2421 | 0.5057 | 1 | 1 | 0.008718 | 0.03568 | 0.07302 | 0.4307 | 1.763 | 3.607 | json |
| t16_x24_u6_b104 | 16 | 24 | 6 | 104 | ![]() |
dot(R,nrm(mod(R,P))) | 95786 | 130900550 | o2(x,o1(o2(x,x))) | true | 83095 | 83095 | 0.4573 | 0.7656 | 0.9261 | 0.666 | 0.8161 | -1 | 1 | 2 | 1 | 2.396 | 0.02568 | 0.02583 | 0.03844 | -0.002835 | 1 | -0.00002065 | 0.1025 | 0.05716 | 0.05003 | 0.2237 | 5.818 | 2.828 | 0.07735 | 0.1539 | 1 | 1 | 0.06384 | 0.264 | 1.062 | 0.09586 | 0.3964 | 1.594 | json |
| t16_x24_u6_b105 | 16 | 24 | 6 | 105 | ![]() |
dot(R,nrm(lrg(R,P))) | 95787 | 130900551 | o2(x,o1(o2(x,x))) | true | 83103 | 83103 | -0.0864 | 0.5258 | 0.5706 | 0.4361 | 0.6603 | -1 | 1 | 2 | 1 | 4.344 | 0.009557 | 0.01144 | 0.05612 | -0.08952 | 1 | 0.00005166 | 0.035 | 0.03254 | 0.01785 | 0.1336 | 2.381 | 2.763 | 0.04814 | 0.08026 | 1 | 1 | 0.02501 | 0.1708 | 0.484 | 0.05736 | 0.3918 | 1.11 | json |
| t16_x24_u6_b106 | 16 | 24 | 6 | 106 | ![]() |
dot(R,nrm(eql(R,P))) | 95788 | 130900552 | o2(x,o1(o2(x,x))) | true | 83111 | 83111 | -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 |
| t16_x24_u6_b107 | 16 | 24 | 6 | 107 | ![]() |
dot(R,nrm(min(R,P))) | 95789 | 130900553 | o2(x,o1(o2(x,x))) | true | 83119 | 83119 | 0.2753 | 0.6649 | 0.5219 | 0.2946 | 0.5428 | -1 | 1 | 2 | 1 | 4.771 | 0.002201 | 0.002884 | 0.05405 | -0.1343 | 1 | -0.00006986 | 0.0003474 | 0.01276 | 0.002164 | 0.04652 | 0.8607 | 0.2436 | 0.01726 | 0.001179 | 1 | 1 | 0.009871 | 0.1251 | 0.3431 | 0.03351 | 0.4246 | 1.165 | json |
| t16_x24_u6_b108 | 16 | 24 | 6 | 108 | ![]() |
dot(R,nrm(dot(R,P))) | 95790 | 130900554 | o2(x,o1(o2(x,x))) | true | 83127 | 83127 | 0.01378 | 0.522 | 0.3766 | 0.2223 | 0.4715 | -1 | 1 | 2 | 1 | 4.815 | 0.003465 | 0.003623 | 0.05509 | -0.0223 | 1 | 0.000001024 | 0.005608 | 0.01634 | 0.004054 | 0.06367 | 1.156 | 2.819 | 0.03189 | 0.02523 | 1 | 1 | 0.01443 | 0.1434 | 0.3652 | 0.06493 | 0.6453 | 1.643 | json |
| t16_x24_u6_b109 | 16 | 24 | 6 | 109 | ![]() |
dot(R,nrm(dst(R,P))) | 95791 | 130900555 | o2(x,o1(o2(x,x))) | true | 83135 | 83135 | 0.008445 | 0.5136 | 0.3499 | 0.1935 | 0.4399 | -1 | 1 | 2 | 1 | 4.768 | 0.002659 | 0.002832 | 0.05883 | -0.03158 | 1 | 0.00001943 | 0.0003874 | 0.01356 | 0.00203 | 0.04506 | 0.7659 | 0.2628 | 0.02837 | 0.002001 | 1 | 1 | 0.01168 | 0.1478 | 0.3721 | 0.06033 | 0.7634 | 1.922 | json |
| t16_x24_u6_b110 | 16 | 24 | 6 | 110 | ![]() |
dst(R,nrm(add(R,P))) | 95792 | 130900556 | o2(x,o1(o2(x,x))) | true | 83143 | 83143 | 0.9338 | 1 | 0.9338 | 0.02065 | 0.1437 | 0.08852 | 1 | 0.9115 | 1 | 1.505 | 0.0004749 | 0.0005622 | 0.01423 | -0.08419 | 1 | -0.00003038 | 0.0003233 | 0.006845 | 0.0008345 | 0.02889 | 2.03 | 0.1915 | 0.05022 | 0.01565 | 1 | 1 | 0.001916 | 0.01894 | 0.04202 | 0.09277 | 0.9172 | 2.035 | json |
| t16_x24_u6_b111 | 16 | 24 | 6 | 111 | ![]() |
dst(R,nrm(sub(R,P))) | 95793 | 130900557 | o2(x,o1(o2(x,x))) | true | 83151 | 83151 | 0.9158 | 1 | 0.9158 | 0.02578 | 0.1606 | 0.09076 | 1 | 0.9092 | 1 | 1.753 | 0.0005612 | 0.0007606 | 0.01746 | -0.1509 | 1 | -0.00006656 | 0.0003704 | 0.007813 | 0.001017 | 0.03189 | 1.826 | 0.2017 | 0.05128 | 0.01437 | 1 | 1 | 0.00272 | 0.02703 | 0.05869 | 0.1055 | 1.049 | 2.277 | json |
| t16_x24_u6_b112 | 16 | 24 | 6 | 112 | ![]() |
dst(R,nrm(mlt(R,P))) | 95794 | 130900558 | o2(x,o1(o2(x,x))) | true | 83159 | 83159 | 0.8824 | 0.9844 | 0.9137 | 0.08518 | 0.2918 | -1 | 1 | 2 | 1 | 1.795 | 0.00399 | 0.003912 | 0.0137 | 0.009824 | 1 | -0.00001139 | 0.01531 | 0.01091 | 0.007713 | 0.08782 | 6.411 | 2 | 0.09277 | 0.1797 | 1 | 1 | 0.01404 | 0.06433 | 0.2432 | 0.1649 | 0.7553 | 2.855 | json |
| t16_x24_u6_b113 | 16 | 24 | 6 | 113 | ![]() |
dst(R,nrm(div(R,P))) | 95795 | 130900559 | o2(x,o1(o2(x,x))) | true | 83167 | 83167 | -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 |
| t16_x24_u6_b114 | 16 | 24 | 6 | 114 | ![]() |
dst(R,nrm(pow(R,P))) | 95796 | 130900560 | o2(x,o1(o2(x,x))) | true | 83175 | 83175 | -0.9775 | 0.01172 | 0.999 | 0.0428 | 0.2069 | -1 | 1 | 2 | 1 | 0.1139 | 0.005518 | 0.003554 | 0.004906 | 0.2165 | 1 | 1.802e-10 | 0.01899 | 0.009568 | 0.009043 | 0.09509 | 19.38 | 2.828 | 0.212 | 0.4436 | 1 | 1 | 0.01598 | 0.06487 | 0.1558 | 0.3735 | 1.516 | 3.639 | json |
| t16_x24_u6_b115 | 16 | 24 | 6 | 115 | ![]() |
dst(R,nrm(mod(R,P))) | 95797 | 130900561 | o2(x,o1(o2(x,x))) | true | 83183 | 83183 | -0.06363 | 0.7656 | 0.4051 | 0.2809 | 0.53 | -1 | 0.9006 | 1.901 | 1 | 3.055 | 0.01061 | 0.009618 | 0.02887 | 0.04924 | 1 | -0.000001088 | 0.03999 | 0.03587 | 0.0194 | 0.1393 | 4.825 | 1.563 | 0.07203 | 0.1423 | 1 | 1 | 0.02552 | 0.1071 | 0.4292 | 0.09083 | 0.3813 | 1.528 | json |
| t16_x24_u6_b116 | 16 | 24 | 6 | 116 | ![]() |
dst(R,nrm(lrg(R,P))) | 95798 | 130900562 | o2(x,o1(o2(x,x))) | true | 83191 | 83191 | 0.4252 | 0.7422 | 0.9408 | 0.7223 | 0.8499 | -1 | 1 | 2 | 1 | 2.134 | 0.01371 | 0.01467 | 0.0264 | -0.03379 | 1 | -0.00005372 | 0.0573 | 0.03427 | 0.02768 | 0.1664 | 6.303 | 2.828 | 0.03929 | 0.07933 | 1 | 1 | 0.0282 | 0.1344 | 0.4757 | 0.03904 | 0.1861 | 0.6585 | json |
| t16_x24_u6_b117 | 16 | 24 | 6 | 117 | ![]() |
dst(R,nrm(eql(R,P))) | 95799 | 130900563 | o2(x,o1(o2(x,x))) | true | 83199 | 83199 | -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 |



































































































