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_x6_u4_b6 | 16 | 6 | 4 | 6 | ![]() |
add(P,cil(lrg(R,P))) | 80200 | 130172832 | o2(x,o1(o2(x,x))) | true | 129607 | 129607 | 0.08984 | 0.5378 | 0.9023 | 0.8786 | 0.9373 | -1 | 1 | 2 | 1 | 2.016 | 0.0006768 | 0.0001053 | 0.00895 | 0.7306 | 1 | -0.000005704 | 0.00003874 | 0.002113 | 0.000702 | 0.0265 | 2.96 | 0.1169 | 0.0008902 | 0.00004409 | 1 | 1 | 0.002072 | 0.02727 | 0.2084 | 0.002358 | 0.03104 | 0.2372 | json |
| t16_x6_u4_b7 | 16 | 6 | 4 | 7 | ![]() |
add(P,cil(eql(R,P))) | 80201 | 130172833 | o2(x,o1(o2(x,x))) | true | 129615 | 129615 | 0 | 0.5 | 0.9375 | 0.924 | 0.9612 | -1 | 1 | 2 | 1 | 1.813 | 0.0007059 | 0 | 0.007937 | 1 | 1 | 0 | 0.00003235 | 0.001851 | 0.0006432 | 0.02536 | 3.195 | 0.1169 | 0.0007639 | 0.00003501 | 1 | 1 | 0.001851 | 0.02449 | 0.2344 | 0.002003 | 0.0265 | 0.2537 | json |
| t16_x6_u4_b8 | 16 | 6 | 4 | 8 | ![]() |
add(P,cil(min(R,P))) | 80202 | 130172834 | o2(x,o1(o2(x,x))) | true | 129623 | 129623 | -0.003127 | 0.5 | 0.9538 | 0.9453 | 0.9723 | -1 | 1 | 2 | 1 | 1.558 | 0.001209 | 0.00001482 | 0.008018 | 0.9758 | 1 | -0.000004284 | 0.0002464 | 0.003305 | 0.001159 | 0.03405 | 4.247 | 0.2265 | 0.001295 | 0.0002606 | 1 | 1 | 0.003054 | 0.03164 | 0.263 | 0.003231 | 0.03347 | 0.2783 | json |
| t16_x6_u4_b9 | 16 | 6 | 4 | 9 | ![]() |
add(P,cil(dot(R,P))) | 80203 | 130172835 | o2(x,o1(o2(x,x))) | true | 129631 | 129631 | 0.05172 | 0.5253 | 0.9263 | 0.9011 | 0.9493 | -1 | 1 | 2 | 1 | 2.072 | 0.01287 | 0.01623 | 0.05326 | -0.1155 | 1 | -0.0001489 | 0.02321 | 0.03949 | 0.02624 | 0.162 | 3.041 | 1.901 | 0.03229 | 0.02575 | 1 | 1 | 0.04328 | 0.3403 | 0.7399 | 0.04803 | 0.3777 | 0.8211 | json |
| t16_x6_u4_b10 | 16 | 6 | 4 | 10 | ![]() |
add(P,cil(dst(R,P))) | 80204 | 130172836 | o2(x,o1(o2(x,x))) | true | 129639 | 129639 | 0.961 | 0.9957 | 0.961 | 0.02859 | 0.1691 | 0 | 1 | 1 | 1 | 0.5734 | 0.0002104 | 0.0004488 | 0.005685 | -0.3617 | 1 | -0.000006959 | 0.0001123 | 0.001921 | 0.0006264 | 0.02503 | 4.402 | 0.3082 | 0.02306 | 0.00393 | 1 | 1 | 0.001438 | 0.01547 | 0.04956 | 0.0503 | 0.5411 | 1.734 | json |
| t16_x6_u4_b11 | 16 | 6 | 4 | 11 | ![]() |
sub(P,cil(add(R,P))) | 80205 | 130172837 | o2(x,o1(o2(x,x))) | true | 129647 | 129647 | -0.4824 | 0 | 0.4824 | 0.1537 | 0.3921 | -1 | 0 | 1 | 1 | 3.644 | 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 |
| t16_x6_u4_b12 | 16 | 6 | 4 | 12 | ![]() |
sub(P,cil(sub(R,P))) | 80206 | 130172838 | o2(x,o1(o2(x,x))) | true | 129655 | 129655 | -0.0294 | 0.4854 | 0.9661 | 0.9563 | 0.9779 | -1 | 1 | 2 | 1 | 1.526 | 0.001447 | 0.000117 | 0.008557 | 0.8504 | 1 | 0.000006592 | 0.0003249 | 0.003031 | 0.001491 | 0.03862 | 4.513 | 0.3506 | 0.001635 | 0.0003397 | 1 | 1 | 0.004086 | 0.04497 | 0.2958 | 0.004273 | 0.04703 | 0.3093 | json |
| t16_x6_u4_b13 | 16 | 6 | 4 | 13 | ![]() |
sub(P,cil(mlt(R,P))) | 80207 | 130172839 | o2(x,o1(o2(x,x))) | true | 129663 | 129663 | -0.0588 | 0.4782 | 0.888 | 0.8669 | 0.9311 | -1 | 1 | 2 | 1 | 2.114 | 0.001614 | 0.0007803 | 0.01494 | 0.3482 | 1 | -0.0001027 | 0.0009622 | 0.007024 | 0.002171 | 0.0466 | 3.119 | 0.5805 | 0.002762 | 0.00111 | 1 | 1 | 0.005791 | 0.05492 | 0.2437 | 0.006681 | 0.06336 | 0.2812 | json |
| t16_x6_u4_b14 | 16 | 6 | 4 | 14 | ![]() |
sub(P,cil(div(R,P))) | 80208 | 130172840 | o2(x,o1(o2(x,x))) | true | 129671 | 129671 | -0.1401 | 0.4375 | 0.9849 | 0.9613 | 0.9805 | -1 | 1 | 2 | 1 | 1.234 | 0.008365 | 0.00008881 | 0.008556 | 0.979 | 1 | 0.000003565 | 0.01613 | 0.01193 | 0.008374 | 0.09151 | 10.69 | 2 | 0.008793 | 0.01678 | 1 | 1 | 0.01257 | 0.06467 | 0.3185 | 0.01307 | 0.06727 | 0.3313 | json |
| t16_x6_u4_b15 | 16 | 6 | 4 | 15 | ![]() |
sub(P,cil(pow(R,P))) | 80209 | 130172841 | o2(x,o1(o2(x,x))) | true | 129679 | 129679 | -0.9824 | 0.003906 | 0.9902 | 0.02298 | 0.1516 | -1 | 1 | 2 | 1 | 0.2073 | 0.002379 | 0.002356 | 0.004594 | 0.004849 | 1 | -4.881e-11 | 0.009725 | 0.007077 | 0.004716 | 0.06867 | 14.95 | 2 | 0.206 | 0.4231 | 1 | 1 | 0.001988 | 0.008728 | 0.02858 | 0.08648 | 0.3797 | 1.243 | json |
| t16_x6_u4_b16 | 16 | 6 | 4 | 16 | ![]() |
sub(P,cil(mod(R,P))) | 80210 | 130172842 | o2(x,o1(o2(x,x))) | true | 129687 | 129687 | -0.1401 | 0.4375 | 0.9849 | 0.9613 | 0.9805 | -1 | 1 | 2 | 1 | 1.234 | 0.008365 | 0.00008881 | 0.008556 | 0.979 | 1 | 0.000003565 | 0.01613 | 0.01193 | 0.008374 | 0.09151 | 10.69 | 2 | 0.008793 | 0.01678 | 1 | 1 | 0.01257 | 0.06467 | 0.3185 | 0.01307 | 0.06727 | 0.3313 | json |
| t16_x6_u4_b17 | 16 | 6 | 4 | 17 | ![]() |
sub(P,cil(lrg(R,P))) | 80211 | 130172843 | o2(x,o1(o2(x,x))) | true | 129695 | 129695 | -0.03313 | 0.4839 | 0.9615 | 0.9497 | 0.9745 | -1 | 1 | 2 | 1 | 1.593 | 0.001152 | 0.00009554 | 0.008539 | 0.8468 | 1 | 0.000005261 | 0.0001293 | 0.002497 | 0.001175 | 0.03428 | 4.014 | 0.2338 | 0.001314 | 0.0001361 | 1 | 1 | 0.003262 | 0.04004 | 0.2874 | 0.003434 | 0.04216 | 0.3026 | json |
| t16_x6_u4_b18 | 16 | 6 | 4 | 18 | ![]() |
sub(P,cil(eql(R,P))) | 80212 | 130172844 | o2(x,o1(o2(x,x))) | true | 129703 | 129703 | 0 | 0.5 | 0.9375 | 0.924 | 0.9612 | -1 | 1 | 2 | 1 | 1.813 | 0.0007059 | 0 | 0.007937 | 1 | 1 | 0 | 0.00003235 | 0.001851 | 0.0006432 | 0.02536 | 3.195 | 0.1169 | 0.0007639 | 0.00003501 | 1 | 1 | 0.001851 | 0.02449 | 0.2344 | 0.002003 | 0.0265 | 0.2537 | json |
| t16_x6_u4_b19 | 16 | 6 | 4 | 19 | ![]() |
sub(P,cil(min(R,P))) | 80213 | 130172845 | o2(x,o1(o2(x,x))) | true | 129711 | 129711 | 0.4341 | 0.4783 | 0.4341 | 0.2375 | 0.4873 | 0 | 1 | 1 | 1 | 1.377 | 0.0004231 | 0.0001765 | 0.005459 | 0.4112 | 1 | 0.00000927 | 0.00009993 | 0.001736 | 0.0005702 | 0.02388 | 4.374 | 0.2265 | 0.002525 | 0.0004208 | 1 | 1 | 0.001548 | 0.01777 | 0.08227 | 0.006519 | 0.07484 | 0.3464 | json |
| t16_x6_u4_b20 | 16 | 6 | 4 | 20 | ![]() |
sub(P,cil(dot(R,P))) | 80214 | 130172846 | o2(x,o1(o2(x,x))) | true | 129719 | 129719 | -0.06755 | 0.4668 | 0.9123 | 0.8821 | 0.9392 | -1 | 1 | 2 | 1 | 2.233 | 0.01247 | 0.01546 | 0.05546 | -0.1069 | 1 | 0.00002223 | 0.02059 | 0.03878 | 0.02484 | 0.1576 | 2.842 | 1.746 | 0.03167 | 0.02334 | 1 | 1 | 0.03967 | 0.3189 | 0.792 | 0.04498 | 0.3615 | 0.8978 | json |
| t16_x6_u4_b21 | 16 | 6 | 4 | 21 | ![]() |
sub(P,cil(dst(R,P))) | 80215 | 130172847 | o2(x,o1(o2(x,x))) | true | 129727 | 129727 | -0.9464 | 0 | 0.9464 | 0.03776 | 0.1943 | -1 | -8.471e-8 | 1 | 1 | 0.7642 | 0.0003636 | 0.0004546 | 0.007841 | -0.1112 | 1 | 0.00001008 | 0.0001244 | 0.002363 | 0.0007564 | 0.0275 | 3.508 | 0.2265 | 0.02167 | 0.003294 | 1 | 1 | 0.001998 | 0.02332 | 0.07128 | 0.05292 | 0.6175 | 1.888 | json |
| t16_x6_u4_b22 | 16 | 6 | 4 | 22 | ![]() |
mlt(P,cil(add(R,P))) | 80216 | 130172848 | o2(x,o1(o2(x,x))) | true | 129735 | 129735 | 0.9164 | 0.9788 | 0.9164 | 0.06533 | 0.2556 | 0 | 1 | 1 | 1 | 0.8472 | 0.001114 | 0.0001422 | 0.009029 | 0.7737 | 1 | 0.000002614 | 0.0003035 | 0.003579 | 0.001175 | 0.03428 | 3.796 | 0.3455 | 0.01923 | 0.004645 | 1 | 1 | 0.003036 | 0.03175 | 0.1133 | 0.04646 | 0.4859 | 1.735 | json |
| t16_x6_u4_b23 | 16 | 6 | 4 | 23 | ![]() |
mlt(P,cil(sub(R,P))) | 80217 | 130172849 | o2(x,o1(o2(x,x))) | true | 129743 | 129743 | -0.9131 | 0 | 0.9131 | 0.06765 | 0.2601 | -1 | 0 | 1 | 1 | 0.9224 | 0.001132 | 0.0001664 | 0.009211 | 0.7438 | 1 | -0.000002621 | 0.0003346 | 0.00375 | 0.001213 | 0.03483 | 3.782 | 0.3455 | 0.0192 | 0.004946 | 1 | 1 | 0.003186 | 0.03273 | 0.1068 | 0.04709 | 0.4837 | 1.579 | json |
| t16_x6_u4_b24 | 16 | 6 | 4 | 24 | ![]() |
mlt(P,cil(mlt(R,P))) | 80218 | 130172850 | o2(x,o1(o2(x,x))) | true | 129751 | 129751 | -0.01071 | 0.4875 | 0.8249 | 0.7944 | 0.8913 | -1 | 1 | 2 | 1 | 2.672 | 0.04699 | 0.05835 | 0.09918 | -0.1079 | 1 | 0.00009866 | 0.2011 | 0.1219 | 0.09547 | 0.309 | 3.115 | 2.828 | 0.1326 | 0.2531 | 1 | 1 | 0.1076 | 0.6122 | 1.286 | 0.1355 | 0.7707 | 1.619 | json |
| t16_x6_u4_b25 | 16 | 6 | 4 | 25 | ![]() |
mlt(P,cil(div(R,P))) | 80219 | 130172851 | o2(x,o1(o2(x,x))) | true | 129759 | 129759 | -0.1389 | 0.4024 | 0.7153 | 0.6609 | 0.8129 | -1 | 1 | 2 | 1 | 2.97 | 0.0178 | 0.005879 | 0.05397 | 0.5035 | 1 | -0.000007018 | 0.03204 | 0.04639 | 0.02078 | 0.1441 | 2.671 | 2 | 0.03584 | 0.04848 | 1 | 1 | 0.03267 | 0.1934 | 0.4931 | 0.04944 | 0.2926 | 0.7462 | json |
| t16_x6_u4_b26 | 16 | 6 | 4 | 26 | ![]() |
mlt(P,cil(pow(R,P))) | 80220 | 130172852 | o2(x,o1(o2(x,x))) | true | 129767 | 129767 | -0.9576 | 0.02344 | 0.9849 | 0.06497 | 0.2549 | -1 | 1 | 2 | 1 | 0.3217 | 0.007524 | 0.005742 | 0.01001 | 0.1343 | 1 | -2.365e-10 | 0.02725 | 0.01641 | 0.01317 | 0.1148 | 11.47 | 2.828 | 0.2042 | 0.4194 | 1 | 1 | 0.0108 | 0.04485 | 0.1196 | 0.1663 | 0.6904 | 1.841 | json |
| t16_x6_u4_b27 | 16 | 6 | 4 | 27 | ![]() |
mlt(P,cil(mod(R,P))) | 80221 | 130172853 | o2(x,o1(o2(x,x))) | true | 129775 | 129775 | -0.1422 | 0.4024 | 0.7187 | 0.6636 | 0.8146 | -1 | 1 | 2 | 1 | 2.946 | 0.01699 | 0.005663 | 0.0517 | 0.5 | 1 | -0.0001012 | 0.03069 | 0.04415 | 0.01998 | 0.1414 | 2.735 | 2 | 0.03413 | 0.04625 | 1 | 1 | 0.03212 | 0.1963 | 0.4985 | 0.0484 | 0.2958 | 0.7512 | json |
| t16_x6_u4_b28 | 16 | 6 | 4 | 28 | ![]() |
mlt(P,cil(lrg(R,P))) | 80222 | 130172854 | o2(x,o1(o2(x,x))) | true | 129783 | 129783 | -0.4688 | 0 | 0.4688 | 0.2423 | 0.4922 | -1 | 0 | 1 | 1 | 1.406 | 0.0003529 | 0 | 0.003968 | 1 | 1 | 4.731e-10 | 0.00001619 | 0.0009276 | 0.0003372 | 0.01836 | 4.628 | 0.1169 | 0.001457 | 0.00006684 | 1 | 1 | 0.0009255 | 0.01214 | 0.0751 | 0.00382 | 0.05012 | 0.31 | json |
| t16_x6_u4_b29 | 16 | 6 | 4 | 29 | ![]() |
mlt(P,cil(eql(R,P))) | 80223 | 130172855 | o2(x,o1(o2(x,x))) | true | 129791 | 129791 | 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_x6_u4_b30 | 16 | 6 | 4 | 30 | ![]() |
mlt(P,cil(min(R,P))) | 80224 | 130172856 | o2(x,o1(o2(x,x))) | true | 129799 | 129799 | 0.7765 | 0.9588 | 0.7765 | 0.1416 | 0.3762 | 0 | 1 | 1 | 1 | 1.833 | 0.002864 | 0.003009 | 0.03089 | -0.02476 | 1 | -0.00019 | 0.002701 | 0.01641 | 0.004921 | 0.07015 | 2.271 | 0.4702 | 0.04149 | 0.01908 | 1 | 1 | 0.01013 | 0.09478 | 0.2036 | 0.07153 | 0.6696 | 1.438 | json |
| t16_x6_u4_b31 | 16 | 6 | 4 | 31 | ![]() |
mlt(P,cil(dot(R,P))) | 80225 | 130172857 | o2(x,o1(o2(x,x))) | true | 129807 | 129807 | 0.07919 | 0.5511 | 0.8949 | 0.8667 | 0.931 | -1 | 1 | 2 | 1 | 2.189 | 0.05306 | 0.07166 | 0.1042 | -0.1491 | 1 | 0.00001402 | 0.2429 | 0.1424 | 0.1138 | 0.3373 | 3.237 | 2.828 | 0.1439 | 0.2803 | 1 | 1 | 0.1194 | 0.6451 | 1.401 | 0.1378 | 0.7443 | 1.617 | json |
| t16_x6_u4_b32 | 16 | 6 | 4 | 32 | ![]() |
mlt(P,cil(dst(R,P))) | 80226 | 130172858 | o2(x,o1(o2(x,x))) | true | 129815 | 129815 | -0.001559 | 0.5 | 0.9674 | 0.9619 | 0.9808 | -1 | 1 | 2 | 1 | 1.414 | 0.001955 | 0.00001153 | 0.007981 | 0.9883 | 1 | 1.969e-7 | 0.0009575 | 0.005311 | 0.001902 | 0.04362 | 5.465 | 0.4707 | 0.002045 | 0.0009954 | 1 | 1 | 0.004261 | 0.03743 | 0.2827 | 0.004429 | 0.03892 | 0.2939 | json |
| t16_x6_u4_b33 | 16 | 6 | 4 | 33 | ![]() |
div(P,cil(add(R,P))) | 80227 | 130172859 | o2(x,o1(o2(x,x))) | true | 129823 | 129823 | 0.657 | 0.8555 | 0.946 | 0.4778 | 0.6912 | -1 | 1 | 2 | 1 | 1.97 | 0.02548 | 0.01015 | 0.02568 | 0.4303 | 1 | 0.000006853 | 0.07342 | 0.04051 | 0.03496 | 0.187 | 7.282 | 2.828 | 0.07456 | 0.1537 | 1 | 1 | 0.04699 | 0.1972 | 0.7416 | 0.09836 | 0.4127 | 1.552 | json |
| t16_x6_u4_b34 | 16 | 6 | 4 | 34 | ![]() |
div(P,cil(sub(R,P))) | 80228 | 130172860 | o2(x,o1(o2(x,x))) | true | 129831 | 129831 | -0.9433 | 0 | 0.9433 | 0.01478 | 0.1216 | -1 | -0.0001455 | 0.9999 | 1 | 1.506 | 0.001477 | 0.0008144 | 0.008241 | 0.2893 | 1 | 7.679e-7 | 0.004509 | 0.006819 | 0.002224 | 0.04716 | 5.722 | 1.414 | 0.1551 | 0.3051 | 1 | 1 | 0.003282 | 0.01515 | 0.03399 | 0.2221 | 1.025 | 2.3 | json |
| t16_x6_u4_b35 | 16 | 6 | 4 | 35 | ![]() |
div(P,cil(mlt(R,P))) | 80229 | 130172861 | o2(x,o1(o2(x,x))) | true | 129839 | 129839 | -0.5136 | 0.2434 | 0.9444 | 0.6614 | 0.8133 | -1 | 1 | 2 | 1 | 1.698 | 0.05283 | 0.04981 | 0.08805 | 0.02937 | 1 | 0.000005879 | 0.1851 | 0.11 | 0.09492 | 0.3081 | 3.499 | 2.828 | 0.1552 | 0.2798 | 1 | 1 | 0.1145 | 0.5669 | 1.125 | 0.1732 | 0.8571 | 1.701 | json |
| t16_x6_u4_b36 | 16 | 6 | 4 | 36 | ![]() |
div(P,cil(div(R,P))) | 80230 | 130172862 | o2(x,o1(o2(x,x))) | true | 129847 | 129847 | -0.9023 | 0.05078 | 0.9844 | 0.1669 | 0.4085 | -1 | 1 | 2 | 1 | 0.4968 | 0.02235 | 0.01988 | 0.02452 | 0.0584 | 1 | -3.567e-10 | 0.08915 | 0.04602 | 0.04161 | 0.204 | 8.318 | 2.828 | 0.2531 | 0.5342 | 1 | 1 | 0.04591 | 0.1889 | 0.3161 | 0.2751 | 1.132 | 1.894 | json |
| t16_x6_u4_b37 | 16 | 6 | 4 | 37 | ![]() |
div(P,cil(pow(R,P))) | 80231 | 130172863 | o2(x,o1(o2(x,x))) | true | 129855 | 129855 | -0.9315 | 0.02344 | 0.9588 | 0.08305 | 0.2882 | -1 | 1 | 2 | 1 | 0.6308 | 0.009036 | 0.007764 | 0.01514 | 0.07575 | 1 | -0.000003119 | 0.03461 | 0.02495 | 0.01658 | 0.1288 | 8.507 | 2.828 | 0.2023 | 0.4167 | 1 | 1 | 0.01346 | 0.05594 | 0.1696 | 0.1621 | 0.6736 | 2.042 | json |
| t16_x6_u4_b38 | 16 | 6 | 4 | 38 | ![]() |
div(P,cil(mod(R,P))) | 80232 | 130172864 | o2(x,o1(o2(x,x))) | true | 129863 | 129863 | -0.9453 | 0.02734 | 1 | 0.1063 | 0.3261 | -1 | 1 | 2 | 1 | 0.1809 | 0.01209 | 0.01361 | 0.01272 | -0.05882 | 1 | 0 | 0.05467 | 0.0257 | 0.02552 | 0.1598 | 12.56 | 2.828 | 0.2417 | 0.5141 | 1 | 1 | 0.02127 | 0.0851 | 0.1542 | 0.2001 | 0.8002 | 1.45 | json |
| t16_x6_u4_b39 | 16 | 6 | 4 | 39 | ![]() |
div(P,cil(lrg(R,P))) | 80233 | 130172865 | o2(x,o1(o2(x,x))) | true | 129871 | 129871 | -0.9922 | 0 | 0.9922 | 0.00606 | 0.07785 | -1 | -0.000291 | 0.9997 | 1 | 0.1405 | 0.001097 | 0.0005923 | 0.002705 | 0.2987 | 1 | -1.877e-11 | 0.003423 | 0.003743 | 0.001682 | 0.04101 | 15.16 | 1.414 | 0.2787 | 0.5647 | 1 | 1 | 0.002389 | 0.01006 | 0.01771 | 0.3943 | 1.66 | 2.922 | json |
| t16_x6_u4_b40 | 16 | 6 | 4 | 40 | ![]() |
div(P,cil(eql(R,P))) | 80234 | 130172866 | o2(x,o1(o2(x,x))) | true | 129879 | 129879 | -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_x6_u4_b41 | 16 | 6 | 4 | 41 | ![]() |
div(P,cil(min(R,P))) | 80235 | 130172867 | o2(x,o1(o2(x,x))) | true | 129887 | 129887 | -0.1172 | 0.4414 | 1 | 0.9872 | 0.9936 | -1 | 1 | 2 | 1 | 0.9901 | 0.01688 | 0.001764 | 0.009322 | 0.8108 | 1 | 3.739e-9 | 0.03754 | 0.01864 | 0.01856 | 0.1362 | 14.61 | 2 | 0.01889 | 0.03803 | 1 | 1 | 0.02105 | 0.08421 | 0.3501 | 0.02133 | 0.08531 | 0.3547 | json |
| t16_x6_u4_b42 | 16 | 6 | 4 | 42 | ![]() |
div(P,cil(dot(R,P))) | 80236 | 130172868 | o2(x,o1(o2(x,x))) | true | 129895 | 129895 | -0.2959 | 0.3685 | 0.8113 | 0.6674 | 0.8169 | -1 | 1 | 2 | 1 | 3.112 | 0.04688 | 0.04726 | 0.1011 | -0.004012 | 1 | -0.00004358 | 0.1666 | 0.1105 | 0.08394 | 0.2897 | 2.866 | 2.828 | 0.1411 | 0.2497 | 1 | 1 | 0.1006 | 0.5406 | 1.217 | 0.1507 | 0.8101 | 1.824 | json |
| t16_x6_u4_b43 | 16 | 6 | 4 | 43 | ![]() |
div(P,cil(dst(R,P))) | 80237 | 130172869 | o2(x,o1(o2(x,x))) | true | 129903 | 129903 | 0.006374 | 0.4975 | 0.5826 | 0.4123 | 0.6421 | -1 | 1 | 2 | 1 | 4.898 | 0.0001716 | 0.00009633 | 0.01134 | 0.281 | 1 | 0.000001332 | 0.00001393 | 0.002527 | 0.0001394 | 0.01181 | 1.042 | 0.1169 | 0.0006499 | 0.00003379 | 1 | 1 | 0.0008151 | 0.01072 | 0.08368 | 0.001977 | 0.02601 | 0.203 | json |
| t16_x6_u4_b44 | 16 | 6 | 4 | 44 | ![]() |
pow(P,cil(add(R,P))) | 80238 | 130172870 | o2(x,o1(o2(x,x))) | true | 129911 | 129911 | 0.02148 | 0.5195 | 0.9824 | 0.9765 | 0.9882 | -1 | 1 | 2 | 1 | 1.304 | 0.01217 | 0.004496 | 0.01206 | 0.4603 | 1 | 0.000002852 | 0.03398 | 0.01905 | 0.01651 | 0.1285 | 10.65 | 2.828 | 0.01707 | 0.0348 | 1 | 1 | 0.02187 | 0.09719 | 0.4257 | 0.0224 | 0.09953 | 0.436 | json |
| t16_x6_u4_b45 | 16 | 6 | 4 | 45 | ![]() |
pow(P,cil(sub(R,P))) | 80239 | 130172871 | o2(x,o1(o2(x,x))) | true | 129919 | 129919 | -0.3932 | 0.3682 | 0.6068 | 0.4268 | 0.6533 | -1 | 1 | 2 | 1 | 2.125 | 0.01075 | 0.00006545 | 0.01275 | 0.9879 | 1 | 0.000001352 | 0.02085 | 0.0138 | 0.01065 | 0.1032 | 8.095 | 2 | 0.02534 | 0.04885 | 1 | 1 | 0.01467 | 0.07155 | 0.3075 | 0.03436 | 0.1676 | 0.7204 | json |
| t16_x6_u4_b46 | 16 | 6 | 4 | 46 | ![]() |
pow(P,cil(mlt(R,P))) | 80240 | 130172872 | o2(x,o1(o2(x,x))) | true | 129927 | 129927 | -0.01303 | 0.5186 | 0.9479 | 0.9343 | 0.9666 | -1 | 1 | 2 | 1 | 1.679 | 0.01797 | 0.008778 | 0.02412 | 0.3438 | 1 | -0.00006419 | 0.0532 | 0.03579 | 0.02619 | 0.1618 | 6.71 | 2.828 | 0.02863 | 0.05694 | 1 | 1 | 0.03459 | 0.1445 | 0.5118 | 0.03702 | 0.1547 | 0.5478 | json |
| t16_x6_u4_b47 | 16 | 6 | 4 | 47 | ![]() |
pow(P,cil(div(R,P))) | 80241 | 130172873 | o2(x,o1(o2(x,x))) | true | 129935 | 129935 | -0.02539 | 0.4922 | 0.9902 | 0.987 | 0.9935 | -1 | 1 | 2 | 1 | 1.154 | 0.02757 | 0.01742 | 0.02444 | 0.2257 | 1 | -4.768e-10 | 0.09363 | 0.04712 | 0.04436 | 0.2106 | 8.617 | 2.828 | 0.04558 | 0.09486 | 1 | 1 | 0.05042 | 0.2094 | 0.6534 | 0.05108 | 0.2122 | 0.662 | json |
| t16_x6_u4_b48 | 16 | 6 | 4 | 48 | ![]() |
pow(P,cil(pow(R,P))) | 80242 | 130172874 | o2(x,o1(o2(x,x))) | true | 129943 | 129943 | -0.8906 | 0.07031 | 0.9688 | 0.1686 | 0.4107 | -1 | 1 | 2 | 1 | 0.5964 | 0.0212 | 0.002771 | 0.01776 | 0.7688 | 1 | -3.004e-11 | 0.0478 | 0.02846 | 0.02367 | 0.1538 | 8.662 | 2 | 0.1421 | 0.2835 | 1 | 1 | 0.0272 | 0.1109 | 0.228 | 0.1613 | 0.6573 | 1.352 | json |
| t16_x6_u4_b49 | 16 | 6 | 4 | 49 | ![]() |
pow(P,cil(mod(R,P))) | 80243 | 130172875 | o2(x,o1(o2(x,x))) | true | 129951 | 129951 | -0.05469 | 0.4727 | 1 | 0.9977 | 0.9988 | -1 | 1 | 2 | 1 | 0.9978 | 0.02973 | 0.01109 | 0.0203 | 0.4568 | 1 | 0 | 0.0839 | 0.04082 | 0.0404 | 0.201 | 9.903 | 2.828 | 0.04091 | 0.0841 | 1 | 1 | 0.04787 | 0.1941 | 0.6267 | 0.04798 | 0.1946 | 0.6282 | json |
| t16_x6_u4_b50 | 16 | 6 | 4 | 50 | ![]() |
pow(P,cil(lrg(R,P))) | 80244 | 130172876 | o2(x,o1(o2(x,x))) | true | 129959 | 129959 | -0.01367 | 0.5 | 0.9863 | 0.982 | 0.991 | -1 | 1 | 2 | 1 | 1.244 | 0.01056 | 0.00005267 | 0.008426 | 0.9901 | 1 | 0.000002852 | 0.02084 | 0.01284 | 0.01054 | 0.1027 | 12.18 | 2 | 0.01081 | 0.02122 | 1 | 1 | 0.01414 | 0.06463 | 0.3207 | 0.0144 | 0.06582 | 0.3266 | json |
| t16_x6_u4_b51 | 16 | 6 | 4 | 51 | ![]() |
pow(P,cil(eql(R,P))) | 80245 | 130172877 | o2(x,o1(o2(x,x))) | true | 129967 | 129967 | 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_x6_u4_b52 | 16 | 6 | 4 | 52 | ![]() |
pow(P,cil(min(R,P))) | 80246 | 130172878 | o2(x,o1(o2(x,x))) | true | 129975 | 129975 | 0 | 0.5 | 1 | 1 | 1 | -1 | 1 | 2 | 1 | 1 | 0.01587 | 0 | 0.007937 | 1 | 1 | 0 | 0.03175 | 0.01587 | 0.01581 | 0.1257 | 15.84 | 2 | 0.01587 | 0.03175 | 1 | 1 | 0.02105 | 0.08421 | 0.3368 | 0.02105 | 0.08421 | 0.3368 | json |
| t16_x6_u4_b53 | 16 | 6 | 4 | 53 | ![]() |
pow(P,cil(dot(R,P))) | 80247 | 130172879 | o2(x,o1(o2(x,x))) | true | 129983 | 129983 | -0.154 | 0.4591 | 0.9242 | 0.8905 | 0.9437 | -1 | 1 | 2 | 1 | 1.64 | 0.01548 | 0.007069 | 0.02282 | 0.3729 | 1 | -0.00006166 | 0.0451 | 0.0353 | 0.02203 | 0.1484 | 6.504 | 2.828 | 0.02532 | 0.05064 | 1 | 1 | 0.0258 | 0.1174 | 0.4341 | 0.02897 | 0.1318 | 0.4875 | json |
| t16_x6_u4_b54 | 16 | 6 | 4 | 54 | ![]() |
pow(P,cil(dst(R,P))) | 80248 | 130172880 | o2(x,o1(o2(x,x))) | true | 129991 | 129991 | -0.03125 | 0.5 | 0.9688 | 0.9603 | 0.98 | -1 | 1 | 2 | 1 | 1.406 | 0.004323 | 0 | 0.007937 | 1 | 1 | -9.386e-13 | 0.007903 | 0.008812 | 0.004259 | 0.06526 | 8.223 | 1 | 0.004502 | 0.008229 | 1 | 1 | 0.006228 | 0.03975 | 0.2856 | 0.006485 | 0.04139 | 0.2974 | json |
| t16_x6_u4_b55 | 16 | 6 | 4 | 55 | ![]() |
mod(P,cil(add(R,P))) | 80249 | 130172881 | o2(x,o1(o2(x,x))) | true | 129999 | 129999 | -0.07716 | 0.4511 | 0.826 | 0.7862 | 0.8867 | -1 | 1 | 2 | 1 | 2.741 | 0.01744 | 0.00517 | 0.04314 | 0.5427 | 1 | -0.0001111 | 0.03749 | 0.04165 | 0.02074 | 0.144 | 3.338 | 2.828 | 0.02876 | 0.04769 | 1 | 1 | 0.03397 | 0.1838 | 0.4744 | 0.04321 | 0.2338 | 0.6034 | json |
| t16_x6_u4_b56 | 16 | 6 | 4 | 56 | ![]() |
mod(P,cil(sub(R,P))) | 80250 | 130172882 | o2(x,o1(o2(x,x))) | true | 130007 | 130007 | -0.2486 | 0.3737 | 0.8257 | 0.7325 | 0.8559 | -1 | 1 | 2 | 1 | 2.61 | 0.01025 | 0.003017 | 0.03731 | 0.545 | 1 | -0.00007394 | 0.01831 | 0.03176 | 0.01188 | 0.109 | 2.921 | 1.415 | 0.01811 | 0.02499 | 1 | 1 | 0.02208 | 0.1508 | 0.4794 | 0.03014 | 0.2059 | 0.6545 | json |
| t16_x6_u4_b57 | 16 | 6 | 4 | 57 | ![]() |
mod(P,cil(mlt(R,P))) | 80251 | 130172883 | o2(x,o1(o2(x,x))) | true | 130015 | 130015 | -0.5894 | 0.1631 | 0.8255 | 0.4532 | 0.6732 | -1 | 1 | 2 | 1 | 2.17 | 0.02523 | 0.01992 | 0.0478 | 0.1178 | 1 | -0.00001013 | 0.08953 | 0.06781 | 0.04285 | 0.207 | 4.331 | 2.828 | 0.09962 | 0.1975 | 1 | 1 | 0.0531 | 0.2509 | 0.7445 | 0.1172 | 0.5535 | 1.643 | json |
| t16_x6_u4_b58 | 16 | 6 | 4 | 58 | ![]() |
mod(P,cil(div(R,P))) | 80252 | 130172884 | o2(x,o1(o2(x,x))) | true | 130023 | 130023 | -0.9609 | 0 | 0.9609 | 0.03752 | 0.1937 | -1 | 0 | 1 | 1 | 0.238 | 0.003716 | 0.003212 | 0.006873 | 0.07273 | 1 | 0 | 0.01449 | 0.01386 | 0.006884 | 0.08297 | 12.07 | 1.414 | 0.1847 | 0.3862 | 1 | 1 | 0.006704 | 0.02748 | 0.07579 | 0.1787 | 0.7325 | 2.02 | json |
| t16_x6_u4_b59 | 16 | 6 | 4 | 59 | ![]() |
mod(P,cil(pow(R,P))) | 80253 | 130172885 | o2(x,o1(o2(x,x))) | true | 130031 | 130031 | -0.9651 | 0 | 0.9651 | 0.031 | 0.1761 | -1 | 0 | 1 | 1 | 0.3673 | 0.002838 | 0.002902 | 0.007509 | -0.01128 | 1 | 1.352e-10 | 0.01173 | 0.01219 | 0.005686 | 0.0754 | 10.04 | 1.414 | 0.1851 | 0.3784 | 1 | 1 | 0.005671 | 0.02515 | 0.0693 | 0.1829 | 0.811 | 2.235 | json |
| t16_x6_u4_b60 | 16 | 6 | 4 | 60 | ![]() |
mod(P,cil(mod(R,P))) | 80254 | 130172886 | o2(x,o1(o2(x,x))) | true | 130039 | 130039 | -0.9648 | 0 | 0.9648 | 0.03391 | 0.1841 | -1 | 0 | 1 | 1 | 0.2196 | 0.003716 | 0.003086 | 0.006757 | 0.09259 | 1 | 0 | 0.01424 | 0.01361 | 0.00675 | 0.08216 | 12.16 | 1.414 | 0.2006 | 0.4198 | 1 | 1 | 0.005914 | 0.02428 | 0.06184 | 0.1744 | 0.716 | 1.824 | json |
| t16_x6_u4_b61 | 16 | 6 | 4 | 61 | ![]() |
mod(P,cil(lrg(R,P))) | 80255 | 130172887 | o2(x,o1(o2(x,x))) | true | 130047 | 130047 | -0.5469 | 0 | 0.5469 | 0.2476 | 0.4976 | -1 | 0 | 1 | 1 | 0.9937 | 0.003968 | 0.001512 | 0.005452 | 0.4483 | 1 | 0 | 0.01134 | 0.01096 | 0.005451 | 0.07383 | 13.54 | 1.414 | 0.02213 | 0.04579 | 1 | 1 | 0.007479 | 0.02992 | 0.1086 | 0.0302 | 0.1208 | 0.4385 | json |
| t16_x6_u4_b62 | 16 | 6 | 4 | 62 | ![]() |
mod(P,cil(eql(R,P))) | 80256 | 130172888 | o2(x,o1(o2(x,x))) | true | 130055 | 130055 | -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_x6_u4_b63 | 16 | 6 | 4 | 63 | ![]() |
mod(P,cil(min(R,P))) | 80257 | 130172889 | o2(x,o1(o2(x,x))) | true | 130063 | 130063 | -0.8088 | 0 | 0.8088 | 0.1446 | 0.3802 | -1 | 0 | 1 | 1 | 1.171 | 0.008287 | 0.0004409 | 0.01971 | 0.899 | 1 | 0.0006289 | 0.01163 | 0.02038 | 0.008341 | 0.09133 | 4.634 | 1 | 0.06037 | 0.08047 | 1 | 1 | 0.01196 | 0.07328 | 0.1268 | 0.08271 | 0.5068 | 0.8771 | json |
| t16_x6_u4_b64 | 16 | 6 | 4 | 64 | ![]() |
mod(P,cil(dot(R,P))) | 80258 | 130172890 | o2(x,o1(o2(x,x))) | true | 130071 | 130071 | -0.3116 | 0.3493 | 0.8361 | 0.7096 | 0.8424 | -1 | 1 | 2 | 1 | 2.499 | 0.02536 | 0.01951 | 0.05189 | 0.1303 | 1 | -0.00001046 | 0.08543 | 0.0647 | 0.04217 | 0.2054 | 3.957 | 2.828 | 0.06323 | 0.1204 | 1 | 1 | 0.04786 | 0.242 | 0.8634 | 0.06744 | 0.341 | 1.217 | json |
| t16_x6_u4_b65 | 16 | 6 | 4 | 65 | ![]() |
mod(P,cil(dst(R,P))) | 80259 | 130172891 | o2(x,o1(o2(x,x))) | true | 130079 | 130079 | -0.003515 | 0.4995 | 0.9122 | 0.894 | 0.9455 | -1 | 1 | 2 | 1 | 2.057 | 0.001622 | 0.0006183 | 0.01412 | 0.4481 | 1 | -0.00003993 | 0.0009383 | 0.006321 | 0.002041 | 0.04517 | 3.198 | 0.4652 | 0.002506 | 0.00105 | 1 | 1 | 0.005453 | 0.05112 | 0.2606 | 0.006099 | 0.05719 | 0.2916 | json |
| t16_x6_u4_b66 | 16 | 6 | 4 | 66 | ![]() |
lrg(P,cil(add(R,P))) | 80260 | 130172892 | o2(x,o1(o2(x,x))) | true | 130087 | 130087 | 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_x6_u4_b67 | 16 | 6 | 4 | 67 | ![]() |
lrg(P,cil(sub(R,P))) | 80261 | 130172893 | o2(x,o1(o2(x,x))) | true | 130095 | 130095 | 0.4688 | 0.5 | 0.4688 | 0.2423 | 0.4922 | 0 | 1 | 1 | 1 | 1.326 | 0.0003529 | 0 | 0.003968 | 1 | 1 | -4.731e-10 | 0.00001619 | 0.0009276 | 0.0003372 | 0.01836 | 4.628 | 0.1169 | 0.001457 | 0.00006684 | 1 | 1 | 0.0009255 | 0.01214 | 0.0751 | 0.00382 | 0.05012 | 0.31 | json |
| t16_x6_u4_b68 | 16 | 6 | 4 | 68 | ![]() |
lrg(P,cil(mlt(R,P))) | 80262 | 130172894 | o2(x,o1(o2(x,x))) | true | 130103 | 130103 | 0.3809 | 0.4781 | 0.3809 | 0.2102 | 0.4585 | 0 | 1 | 1 | 1 | 1.923 | 0.0006468 | 0.0005232 | 0.01383 | 0.1056 | 1 | -0.00001497 | 0.00006894 | 0.003362 | 0.0009786 | 0.03128 | 2.262 | 0.1169 | 0.005566 | 0.000328 | 1 | 1 | 0.002874 | 0.03736 | 0.1353 | 0.01367 | 0.1777 | 0.6437 | json |
| t16_x6_u4_b69 | 16 | 6 | 4 | 69 | ![]() |
lrg(P,cil(div(R,P))) | 80263 | 130172895 | o2(x,o1(o2(x,x))) | true | 130111 | 130111 | 0.4648 | 0.541 | 0.4648 | 0.2315 | 0.4811 | 0 | 1 | 1 | 1 | 1.711 | 0.0005491 | 0.0002856 | 0.009689 | 0.3156 | 1 | 0.00001711 | 0.00004555 | 0.002325 | 0.0007411 | 0.02722 | 2.81 | 0.1169 | 0.003606 | 0.0001968 | 1 | 1 | 0.002192 | 0.02842 | 0.09003 | 0.009467 | 0.1228 | 0.3889 | json |
| t16_x6_u4_b70 | 16 | 6 | 4 | 70 | ![]() |
lrg(P,cil(pow(R,P))) | 80264 | 130172896 | o2(x,o1(o2(x,x))) | true | 130119 | 130119 | 0.6582 | 0.919 | 0.6582 | 0.1717 | 0.4144 | 0 | 1 | 1 | 1 | 2.57 | 0.001201 | 0.001301 | 0.02926 | -0.04021 | 1 | -7.24e-7 | 0.0001406 | 0.007057 | 0.001645 | 0.04056 | 1.386 | 0.1169 | 0.01457 | 0.0008187 | 1 | 1 | 0.0052 | 0.06663 | 0.2127 | 0.03029 | 0.388 | 1.239 | json |
| t16_x6_u4_b71 | 16 | 6 | 4 | 71 | ![]() |
lrg(P,cil(mod(R,P))) | 80265 | 130172897 | o2(x,o1(o2(x,x))) | true | 130127 | 130127 | 0.4922 | 0.5625 | 0.4922 | 0.2314 | 0.481 | 0 | 1 | 1 | 1 | 1.757 | 0.0007526 | 0.0001755 | 0.01069 | 0.6219 | 1 | 0.00001141 | 0.00004749 | 0.002535 | 0.0008141 | 0.02853 | 2.67 | 0.1169 | 0.004011 | 0.0002053 | 1 | 1 | 0.00235 | 0.03043 | 0.07435 | 0.01016 | 0.1315 | 0.3213 | json |
| t16_x6_u4_b72 | 16 | 6 | 4 | 72 | ![]() |
lrg(P,cil(lrg(R,P))) | 80266 | 130172898 | o2(x,o1(o2(x,x))) | true | 130135 | 130135 | 0.4688 | 0.5 | 0.4688 | 0.2423 | 0.4922 | 0 | 1 | 1 | 1 | 1.326 | 0.0003529 | 0 | 0.003968 | 1 | 1 | -4.731e-10 | 0.00001619 | 0.0009276 | 0.0003372 | 0.01836 | 4.628 | 0.1169 | 0.001457 | 0.00006684 | 1 | 1 | 0.0009255 | 0.01214 | 0.0751 | 0.00382 | 0.05012 | 0.31 | json |
| t16_x6_u4_b73 | 16 | 6 | 4 | 73 | ![]() |
lrg(P,cil(eql(R,P))) | 80267 | 130172899 | o2(x,o1(o2(x,x))) | true | 130143 | 130143 | 0.4688 | 0.5 | 0.4688 | 0.2423 | 0.4922 | 0 | 1 | 1 | 1 | 1.326 | 0.0003529 | 0 | 0.003968 | 1 | 1 | -4.731e-10 | 0.00001619 | 0.0009276 | 0.0003372 | 0.01836 | 4.628 | 0.1169 | 0.001457 | 0.00006684 | 1 | 1 | 0.0009255 | 0.01214 | 0.0751 | 0.00382 | 0.05012 | 0.31 | json |
| t16_x6_u4_b74 | 16 | 6 | 4 | 74 | ![]() |
lrg(P,cil(min(R,P))) | 80268 | 130172900 | o2(x,o1(o2(x,x))) | true | 130151 | 130151 | 0.4297 | 0.4783 | 0.4297 | 0.2349 | 0.4847 | 0 | 1 | 1 | 1 | 1.451 | 0.0003045 | 0.0001755 | 0.005652 | 0.2688 | 1 | 0.00001141 | 0.00002677 | 0.001359 | 0.0004481 | 0.02117 | 3.745 | 0.1169 | 0.002043 | 0.0001139 | 1 | 1 | 0.001279 | 0.01661 | 0.07962 | 0.005444 | 0.0707 | 0.3389 | json |
| t16_x6_u4_b75 | 16 | 6 | 4 | 75 | ![]() |
lrg(P,cil(dot(R,P))) | 80269 | 130172901 | o2(x,o1(o2(x,x))) | true | 130159 | 130159 | 0.4277 | 0.7027 | 0.4277 | 0.1872 | 0.4326 | 0 | 1 | 1 | 1 | 2.749 | 0.001293 | 0.001359 | 0.03127 | -0.02504 | 1 | 0.00001711 | 0.0001561 | 0.007595 | 0.001674 | 0.04092 | 1.308 | 0.1169 | 0.01417 | 0.0008342 | 1 | 1 | 0.005474 | 0.07112 | 0.2303 | 0.02925 | 0.3799 | 1.231 | json |
| t16_x6_u4_b76 | 16 | 6 | 4 | 76 | ![]() |
lrg(P,cil(dst(R,P))) | 80270 | 130172902 | o2(x,o1(o2(x,x))) | true | 130167 | 130167 | 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_x6_u4_b77 | 16 | 6 | 4 | 77 | ![]() |
eql(P,cil(add(R,P))) | 80271 | 130172903 | o2(x,o1(o2(x,x))) | true | 130175 | 130175 | 0.5176 | 0.9429 | 0.5176 | 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 |
| t16_x6_u4_b78 | 16 | 6 | 4 | 78 | ![]() |
eql(P,cil(sub(R,P))) | 80272 | 130172904 | o2(x,o1(o2(x,x))) | true | 130183 | 130183 | 0.03516 | 0.09119 | 0.03516 | 0.02431 | 0.1559 | 0 | 0.9997 | 0.9997 | 1 | 0.5835 | 0.0003631 | 0.0001053 | 0.005422 | 0.5502 | 1 | 0.000005704 | 0.00002431 | 0.001291 | 0.0004388 | 0.02095 | 3.863 | 0.1169 | 0.01927 | 0.001 | 1 | 1 | 0.001224 | 0.01595 | 0.05043 | 0.05036 | 0.656 | 2.074 | json |
| t16_x6_u4_b79 | 16 | 6 | 4 | 79 | ![]() |
eql(P,cil(mlt(R,P))) | 80273 | 130172905 | o2(x,o1(o2(x,x))) | true | 130191 | 130191 | 0.1504 | 0.3206 | 0.1504 | 0.09525 | 0.3086 | 0 | 1 | 1 | 1 | 1.675 | 0.0009997 | 0.0005232 | 0.0178 | 0.3129 | 1 | 0.00001497 | 0.00008514 | 0.00429 | 0.001207 | 0.03474 | 1.952 | 0.1169 | 0.01599 | 0.0008939 | 1 | 1 | 0.0038 | 0.04942 | 0.1712 | 0.03989 | 0.5188 | 1.797 | json |
| t16_x6_u4_b80 | 16 | 6 | 4 | 80 | ![]() |
eql(P,cil(div(R,P))) | 80274 | 130172906 | o2(x,o1(o2(x,x))) | true | 130199 | 130199 | 0.03906 | 0.1129 | 0.03906 | 0.02579 | 0.1606 | 0 | 0.9997 | 0.9997 | 1 | 0.6726 | 0.0003997 | 0.0001755 | 0.006718 | 0.3898 | 1 | -0.00001141 | 0.00003128 | 0.001608 | 0.0005302 | 0.02303 | 3.427 | 0.1169 | 0.0223 | 0.001213 | 1 | 1 | 0.001425 | 0.01841 | 0.04273 | 0.05526 | 0.7139 | 1.657 | json |
| t16_x6_u4_b81 | 16 | 6 | 4 | 81 | ![]() |
eql(P,cil(pow(R,P))) | 80275 | 130172907 | o2(x,o1(o2(x,x))) | true | 130207 | 130207 | 0.03906 | 0.1129 | 0.03906 | 0.02579 | 0.1606 | 0 | 0.9997 | 0.9997 | 1 | 0.6726 | 0.0003997 | 0.0001755 | 0.006718 | 0.3898 | 1 | -0.00001141 | 0.00003128 | 0.001608 | 0.0005302 | 0.02303 | 3.427 | 0.1169 | 0.0223 | 0.001213 | 1 | 1 | 0.001425 | 0.01841 | 0.04273 | 0.05526 | 0.7139 | 1.657 | json |
| t16_x6_u4_b82 | 16 | 6 | 4 | 82 | ![]() |
eql(P,cil(mod(R,P))) | 80276 | 130172908 | o2(x,o1(o2(x,x))) | true | 130215 | 130215 | 0.03906 | 0.1129 | 0.03906 | 0.02579 | 0.1606 | 0 | 0.9997 | 0.9997 | 1 | 0.6726 | 0.0003997 | 0.0001755 | 0.006718 | 0.3898 | 1 | -0.00001141 | 0.00003128 | 0.001608 | 0.0005302 | 0.02303 | 3.427 | 0.1169 | 0.0223 | 0.001213 | 1 | 1 | 0.001425 | 0.01841 | 0.04273 | 0.05526 | 0.7139 | 1.657 | json |
| t16_x6_u4_b83 | 16 | 6 | 4 | 83 | ![]() |
eql(P,cil(lrg(R,P))) | 80277 | 130172909 | o2(x,o1(o2(x,x))) | true | 130223 | 130223 | 0.03516 | 0.09119 | 0.03516 | 0.02431 | 0.1559 | 0 | 0.9997 | 0.9997 | 1 | 0.5835 | 0.0003631 | 0.0001053 | 0.005422 | 0.5502 | 1 | 0.000005704 | 0.00002431 | 0.001291 | 0.0004388 | 0.02095 | 3.863 | 0.1169 | 0.01927 | 0.001 | 1 | 1 | 0.001224 | 0.01595 | 0.05043 | 0.05036 | 0.656 | 2.074 | json |
| t16_x6_u4_b84 | 16 | 6 | 4 | 84 | ![]() |
eql(P,cil(eql(R,P))) | 80278 | 130172910 | o2(x,o1(o2(x,x))) | true | 130231 | 130231 | 0.0625 | 0.125 | 0.0625 | 0.04507 | 0.2123 | 0 | 0.9997 | 0.9997 | 1 | 0.8126 | 0.0007059 | 0 | 0.007934 | 1 | 1 | -9.461e-10 | 0.00003241 | 0.001855 | 0.0006433 | 0.02536 | 3.197 | 0.1169 | 0.01566 | 0.0007193 | 1 | 1 | 0.001851 | 0.02408 | 0.06598 | 0.04107 | 0.5344 | 1.464 | json |
| t16_x6_u4_b85 | 16 | 6 | 4 | 85 | ![]() |
eql(P,cil(min(R,P))) | 80279 | 130172911 | o2(x,o1(o2(x,x))) | true | 130239 | 130239 | 0.5703 | 0.619 | 0.5703 | 0.2349 | 0.4847 | 0 | 1 | 1 | 1 | 1.451 | 0.0003045 | 0.0001755 | 0.005652 | 0.2688 | 1 | -0.00001141 | 0.00002677 | 0.001359 | 0.0004481 | 0.02117 | 3.745 | 0.1169 | 0.002043 | 0.000114 | 1 | 1 | 0.001279 | 0.01661 | 0.07962 | 0.005444 | 0.0707 | 0.3389 | json |
| t16_x6_u4_b86 | 16 | 6 | 4 | 86 | ![]() |
eql(P,cil(dot(R,P))) | 80280 | 130172912 | o2(x,o1(o2(x,x))) | true | 130247 | 130247 | 0.08789 | 0.2904 | 0.08789 | 0.04938 | 0.2222 | 0 | 1 | 1 | 1 | 1.398 | 0.0007094 | 0.0007036 | 0.0168 | 0.004091 | 1 | 3.464e-10 | 0.0000851 | 0.004107 | 0.001131 | 0.03362 | 2.001 | 0.1169 | 0.02862 | 0.001724 | 1 | 1 | 0.00338 | 0.0437 | 0.1226 | 0.06846 | 0.8851 | 2.482 | json |
| t16_x6_u4_b87 | 16 | 6 | 4 | 87 | ![]() |
eql(P,cil(dst(R,P))) | 80281 | 130172913 | o2(x,o1(o2(x,x))) | true | 130255 | 130255 | 0.05859 | 0.1298 | 0.05859 | 0.04026 | 0.2006 | 0 | 1 | 1 | 1 | 0.8457 | 0.0002966 | 0.0003752 | 0.007902 | -0.117 | 1 | 0.00001141 | 0.00004128 | 0.00194 | 0.0006089 | 0.02467 | 3.123 | 0.1169 | 0.01669 | 0.001025 | 1 | 1 | 0.001622 | 0.0212 | 0.07572 | 0.04029 | 0.5265 | 1.881 | json |
| t16_x6_u4_b88 | 16 | 6 | 4 | 88 | ![]() |
min(P,cil(add(R,P))) | 80282 | 130172914 | o2(x,o1(o2(x,x))) | true | 130263 | 130263 | 0 | 0.5 | 0.9375 | 0.924 | 0.9612 | -1 | 1 | 2 | 1 | 1.813 | 0.0007059 | 0 | 0.007937 | 1 | 1 | 0 | 0.00003235 | 0.001851 | 0.0006432 | 0.02536 | 3.195 | 0.1169 | 0.0007639 | 0.00003501 | 1 | 1 | 0.001851 | 0.02449 | 0.2344 | 0.002003 | 0.0265 | 0.2537 | json |
| t16_x6_u4_b89 | 16 | 6 | 4 | 89 | ![]() |
min(P,cil(sub(R,P))) | 80283 | 130172915 | o2(x,o1(o2(x,x))) | true | 130271 | 130271 | -0.9029 | 0 | 0.9029 | 0.07273 | 0.2697 | -1 | 0 | 1 | 1 | 1.07 | 0.000776 | 0.0001765 | 0.009426 | 0.6293 | 1 | -0.000009269 | 0.0001161 | 0.002663 | 0.0008635 | 0.02939 | 3.117 | 0.2265 | 0.0131 | 0.001597 | 1 | 1 | 0.002474 | 0.02983 | 0.1134 | 0.03401 | 0.4102 | 1.56 | json |
| t16_x6_u4_b90 | 16 | 6 | 4 | 90 | ![]() |
min(P,cil(mlt(R,P))) | 80284 | 130172916 | o2(x,o1(o2(x,x))) | true | 130279 | 130279 | -0.397 | 0.3044 | 0.8228 | 0.6223 | 0.7889 | -1 | 1 | 2 | 1 | 2.776 | 0.009004 | 0.009279 | 0.05332 | -0.01507 | 1 | -0.00004281 | 0.009595 | 0.02612 | 0.01545 | 0.1243 | 2.331 | 1.436 | 0.02938 | 0.01542 | 1 | 1 | 0.02504 | 0.2344 | 0.6325 | 0.04024 | 0.3766 | 1.016 | json |
| t16_x6_u4_b91 | 16 | 6 | 4 | 91 | ![]() |
min(P,cil(div(R,P))) | 80285 | 130172917 | o2(x,o1(o2(x,x))) | true | 130287 | 130287 | -0.3389 | 0.4135 | 0.7393 | 0.5766 | 0.7593 | -1 | 1 | 2 | 1 | 2.705 | 0.00947 | 0.004301 | 0.03294 | 0.3754 | 1 | -0.00001853 | 0.02386 | 0.02117 | 0.01269 | 0.1127 | 3.42 | 2.828 | 0.02388 | 0.04138 | 1 | 1 | 0.0194 | 0.1118 | 0.3341 | 0.03365 | 0.1939 | 0.5795 | json |
| t16_x6_u4_b92 | 16 | 6 | 4 | 92 | ![]() |
min(P,cil(pow(R,P))) | 80286 | 130172918 | o2(x,o1(o2(x,x))) | true | 130295 | 130295 | 0 | 0.5 | 0.9375 | 0.924 | 0.9612 | -1 | 1 | 2 | 1 | 1.813 | 0.0007059 | 0 | 0.007937 | 1 | 1 | 0 | 0.00003235 | 0.001851 | 0.0006432 | 0.02536 | 3.195 | 0.1169 | 0.0007639 | 0.00003501 | 1 | 1 | 0.001851 | 0.02449 | 0.2344 | 0.002003 | 0.0265 | 0.2537 | json |
| t16_x6_u4_b93 | 16 | 6 | 4 | 93 | ![]() |
min(P,cil(mod(R,P))) | 80287 | 130172919 | o2(x,o1(o2(x,x))) | true | 130303 | 130303 | -0.2539 | 0.455 | 0.6836 | 0.5618 | 0.7495 | -1 | 1 | 2 | 1 | 3.143 | 0.001448 | 0.001206 | 0.031 | 0.09096 | 1 | -0.00002424 | 0.0001549 | 0.007528 | 0.001693 | 0.04114 | 1.327 | 0.1169 | 0.004724 | 0.0002756 | 1 | 1 | 0.005382 | 0.07012 | 0.2678 | 0.00958 | 0.1248 | 0.4768 | json |
| t16_x6_u4_b94 | 16 | 6 | 4 | 94 | ![]() |
min(P,cil(lrg(R,P))) | 80288 | 130172920 | o2(x,o1(o2(x,x))) | true | 130311 | 130311 | -0.4688 | 0 | 0.4688 | 0.2423 | 0.4922 | -1 | 0 | 1 | 1 | 1.406 | 0.0003529 | 0 | 0.003968 | 1 | 1 | 4.731e-10 | 0.00001619 | 0.0009276 | 0.0003372 | 0.01836 | 4.628 | 0.1169 | 0.001457 | 0.00006684 | 1 | 1 | 0.0009255 | 0.01214 | 0.0751 | 0.00382 | 0.05012 | 0.31 | json |
| t16_x6_u4_b95 | 16 | 6 | 4 | 95 | ![]() |
min(P,cil(eql(R,P))) | 80289 | 130172921 | o2(x,o1(o2(x,x))) | true | 130319 | 130319 | -0.4688 | 0 | 0.4688 | 0.2423 | 0.4922 | -1 | 0 | 1 | 1 | 1.406 | 0.0003529 | 0 | 0.003968 | 1 | 1 | 4.731e-10 | 0.00001619 | 0.0009276 | 0.0003372 | 0.01836 | 4.628 | 0.1169 | 0.001457 | 0.00006684 | 1 | 1 | 0.0009255 | 0.01214 | 0.0751 | 0.00382 | 0.05012 | 0.31 | json |
| t16_x6_u4_b96 | 16 | 6 | 4 | 96 | ![]() |
min(P,cil(min(R,P))) | 80290 | 130172922 | o2(x,o1(o2(x,x))) | true | 130327 | 130327 | -0.2539 | 0.455 | 0.6836 | 0.5618 | 0.7495 | -1 | 1 | 2 | 1 | 3.143 | 0.001448 | 0.001206 | 0.031 | 0.09096 | 1 | -0.00002424 | 0.0001549 | 0.007528 | 0.001693 | 0.04114 | 1.327 | 0.1169 | 0.004724 | 0.0002756 | 1 | 1 | 0.005382 | 0.07012 | 0.2678 | 0.00958 | 0.1248 | 0.4768 | json |
| t16_x6_u4_b97 | 16 | 6 | 4 | 97 | ![]() |
min(P,cil(dot(R,P))) | 80291 | 130172923 | o2(x,o1(o2(x,x))) | true | 130335 | 130335 | -0.4625 | 0.2743 | 0.9012 | 0.6596 | 0.8122 | -1 | 1 | 2 | 1 | 2.129 | 0.01025 | 0.01287 | 0.04993 | -0.1134 | 1 | 0.00001498 | 0.01566 | 0.03113 | 0.02063 | 0.1436 | 2.876 | 1.665 | 0.03506 | 0.02375 | 1 | 1 | 0.03028 | 0.2596 | 0.7731 | 0.04591 | 0.3935 | 1.172 | json |
| t16_x6_u4_b98 | 16 | 6 | 4 | 98 | ![]() |
min(P,cil(dst(R,P))) | 80292 | 130172924 | o2(x,o1(o2(x,x))) | true | 130343 | 130343 | 0 | 0.5 | 0.9375 | 0.924 | 0.9612 | -1 | 1 | 2 | 1 | 1.813 | 0.0007059 | 0 | 0.007937 | 1 | 1 | 0 | 0.00003235 | 0.001851 | 0.0006432 | 0.02536 | 3.195 | 0.1169 | 0.0007639 | 0.00003501 | 1 | 1 | 0.001851 | 0.02449 | 0.2344 | 0.002003 | 0.0265 | 0.2537 | json |
| t16_x6_u4_b99 | 16 | 6 | 4 | 99 | ![]() |
dot(P,cil(add(R,P))) | 80293 | 130172925 | o2(x,o1(o2(x,x))) | true | 130351 | 130351 | 0.9946 | 1 | 0.9946 | 0.003565 | 0.05971 | 0.0005819 | 1 | 0.9994 | 1 | 0.1219 | 0.0000736 | 0.0001118 | 0.00131 | -0.206 | 1 | 1.126e-11 | 0.00006466 | 0.0006164 | 0.0001838 | 0.01356 | 10.35 | 0.3484 | 0.05201 | 0.01814 | 1 | 1 | 0.0006094 | 0.006029 | 0.01304 | 0.171 | 1.691 | 3.659 | json |
| t16_x6_u4_b100 | 16 | 6 | 4 | 100 | ![]() |
dot(P,cil(sub(R,P))) | 80294 | 130172926 | o2(x,o1(o2(x,x))) | true | 130359 | 130359 | -0.9914 | 0 | 0.9914 | 0.006662 | 0.08162 | -1 | -8.471e-8 | 1 | 1 | 0.1523 | 0.0001315 | 0.0001016 | 0.001543 | 0.1284 | 1 | 4.505e-11 | 0.00008082 | 0.0007193 | 0.0002305 | 0.01518 | 9.842 | 0.3563 | 0.03499 | 0.01213 | 1 | 1 | 0.0007638 | 0.007495 | 0.02434 | 0.1146 | 1.125 | 3.653 | json |
| t16_x6_u4_b101 | 16 | 6 | 4 | 101 | ![]() |
dot(P,cil(mlt(R,P))) | 80295 | 130172927 | o2(x,o1(o2(x,x))) | true | 130367 | 130367 | 0.05095 | 0.5219 | 0.95 | 0.934 | 0.9665 | -1 | 1 | 2 | 1 | 1.752 | 0.07236 | 0.08316 | 0.1108 | -0.06944 | 1 | -0.00001593 | 0.3291 | 0.1708 | 0.1432 | 0.3784 | 3.415 | 2.828 | 0.1665 | 0.3523 | 1 | 1 | 0.1471 | 0.7544 | 1.731 | 0.1575 | 0.8077 | 1.854 | json |
| t16_x6_u4_b102 | 16 | 6 | 4 | 102 | ![]() |
dot(P,cil(div(R,P))) | 80296 | 130172928 | o2(x,o1(o2(x,x))) | true | 130375 | 130375 | -0.2736 | 0.3529 | 0.8759 | 0.7773 | 0.8817 | -1 | 1 | 2 | 1 | 2.246 | 0.02196 | 0.02653 | 0.06268 | -0.09413 | 1 | -0.00004543 | 0.07155 | 0.06611 | 0.04455 | 0.2111 | 3.367 | 2.014 | 0.06238 | 0.09205 | 1 | 1 | 0.05716 | 0.3121 | 0.9969 | 0.07354 | 0.4015 | 1.282 | json |
| t16_x6_u4_b103 | 16 | 6 | 4 | 103 | ![]() |
dot(P,cil(pow(R,P))) | 80297 | 130172929 | o2(x,o1(o2(x,x))) | true | 130383 | 130383 | -0.9844 | 0.007813 | 1 | 0.03101 | 0.1761 | -1 | 1 | 2 | 1 | 0.06591 | 0.004031 | 0.002016 | 0.003005 | 0.3333 | 1 | 0 | 0.0126 | 0.006047 | 0.006035 | 0.07769 | 25.85 | 2.828 | 0.195 | 0.4063 | 1 | 1 | 0.01064 | 0.04255 | 0.1135 | 0.3431 | 1.372 | 3.659 | json |
| t16_x6_u4_b104 | 16 | 6 | 4 | 104 | ![]() |
dot(P,cil(mod(R,P))) | 80298 | 130172930 | o2(x,o1(o2(x,x))) | true | 130391 | 130391 | -0.2635 | 0.3681 | 0.877 | 0.7823 | 0.8845 | -1 | 1 | 2 | 1 | 2.294 | 0.02259 | 0.02485 | 0.06393 | -0.0478 | 1 | -0.00008198 | 0.06773 | 0.0636 | 0.04335 | 0.2082 | 3.256 | 2.065 | 0.06064 | 0.08658 | 1 | 1 | 0.06013 | 0.3413 | 0.9214 | 0.07686 | 0.4362 | 1.178 | json |
| t16_x6_u4_b105 | 16 | 6 | 4 | 105 | ![]() |
dot(P,cil(lrg(R,P))) | 80299 | 130172931 | o2(x,o1(o2(x,x))) | true | 130399 | 130399 | -0.7179 | 0 | 0.7179 | 0.1955 | 0.4421 | -1 | 0 | 1 | 1 | 1.263 | 0.0001877 | 0.0001877 | 0.00417 | 0.000001628 | 1 | 5.134e-10 | 0.00002276 | 0.0009958 | 0.0003579 | 0.01892 | 4.537 | 0.1628 | 0.00192 | 0.0001164 | 1 | 1 | 0.001001 | 0.01303 | 0.08014 | 0.005121 | 0.06664 | 0.41 | json |



































































































