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_x15_u3_b104 | 16 | 15 | 3 | 104 | ![]() |
dot(D,flr(mod(R,P))) | 87800 | 130536338 | o2(x,o1(o2(x,x))) | true | 19207 | 19207 | -0.2302 | 0.3852 | 0.3346 | 0.2025 | 0.45 | -1 | 0.4776 | 1.478 | 1 | 3.425 | 0.007903 | 0.007896 | 0.04618 | 0.0004256 | 1 | -0.0001021 | 0.02844 | 0.03774 | 0.01367 | 0.1169 | 2.532 | 1.414 | 0.07803 | 0.1405 | 1 | 1 | 0.02075 | 0.09836 | 0.3113 | 0.1025 | 0.4858 | 1.538 | json |
| t16_x15_u3_b105 | 16 | 15 | 3 | 105 | ![]() |
dot(D,flr(lrg(R,P))) | 87801 | 130536339 | o2(x,o1(o2(x,x))) | true | 19215 | 19215 | 0.01788 | 0.4428 | 0.08599 | 0.01327 | 0.1152 | -0.2908 | 0.4776 | 0.7684 | 1 | 2.833 | 0.0008565 | 0.0008593 | 0.03315 | -0.001601 | 1 | -0.0003163 | 0.0002581 | 0.01205 | 0.0006175 | 0.02485 | 0.7497 | 0.09684 | 0.1293 | 0.01945 | 1 | 1 | 0.00336 | 0.02473 | 0.007644 | 0.2532 | 1.863 | 0.576 | json |
| t16_x15_u3_b106 | 16 | 15 | 3 | 106 | ![]() |
dot(D,flr(eql(R,P))) | 87802 | 130536340 | o2(x,o1(o2(x,x))) | true | 19223 | 19223 | 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_x15_u3_b107 | 16 | 15 | 3 | 107 | ![]() |
dot(D,flr(min(R,P))) | 87803 | 130536341 | o2(x,o1(o2(x,x))) | true | 19231 | 19231 | -0.1183 | 0.4114 | 0.3687 | 0.2172 | 0.4661 | -1 | 1 | 2 | 1 | 4.691 | 0.01544 | 0.01537 | 0.1308 | 0.002416 | 1 | 0.001575 | 0.007174 | 0.053 | 0.01371 | 0.1171 | 0.8956 | 0.613 | 0.1418 | 0.03303 | 1 | 1 | 0.03619 | 0.2494 | 0.04157 | 0.1666 | 1.148 | 0.1914 | json |
| t16_x15_u3_b108 | 16 | 15 | 3 | 108 | ![]() |
dot(D,flr(dot(R,P))) | 87804 | 130536342 | o2(x,o1(o2(x,x))) | true | 19239 | 19239 | 0.0007971 | 0.4965 | 0.606 | 0.5023 | 0.7087 | -1 | 1 | 2 | 1 | 4.368 | 0.02288 | 0.02558 | 0.1459 | -0.05565 | 1 | -0.0001712 | 0.02335 | 0.07033 | 0.02718 | 0.1649 | 1.13 | 1.426 | 0.09649 | 0.04649 | 1 | 1 | 0.06539 | 0.5972 | 0.8849 | 0.1302 | 1.189 | 1.762 | json |
| t16_x15_u3_b109 | 16 | 15 | 3 | 109 | ![]() |
dot(D,flr(dst(R,P))) | 87805 | 130536343 | o2(x,o1(o2(x,x))) | true | 19247 | 19247 | 0.0001999 | 0.4916 | 0.5619 | 0.4483 | 0.6695 | -1 | 1 | 2 | 1 | 4.533 | 0.03975 | 0.03989 | 0.2194 | -0.001807 | 1 | 0.000009468 | 0.03524 | 0.1026 | 0.03151 | 0.1775 | 0.8092 | 0.8766 | 0.1777 | 0.07862 | 1 | 1 | 0.1017 | 0.6525 | 0.08501 | 0.2269 | 1.456 | 0.1896 | json |
| t16_x15_u3_b110 | 16 | 15 | 3 | 110 | ![]() |
dst(D,flr(add(R,P))) | 87806 | 130536344 | o2(x,o1(o2(x,x))) | true | 19255 | 19255 | 1 | 1 | 1 | 5.032e-7 | 0.0007094 | 0.9286 | 1 | 0.07141 | 1 | 0.0009425 | 3.727e-7 | 1.56e-7 | 0.00001223 | 0.41 | 0 | 1.126e-11 | 0.000001018 | 0.00001834 | 5.284e-7 | 0.0007269 | 59.45 | 0.06595 | 1.051 | 2.022 | 1 | 1 | 0.000001172 | 0.000001828 | 0.000001828 | 2.328 | 3.632 | 3.632 | json |
| t16_x15_u3_b111 | 16 | 15 | 3 | 111 | ![]() |
dst(D,flr(sub(R,P))) | 87807 | 130536345 | o2(x,o1(o2(x,x))) | true | 19263 | 19263 | 0.9976 | 1 | 0.9976 | 0.001135 | 0.03369 | 0.04459 | 1 | 0.9554 | 1 | 0.09035 | 0.00002254 | 0.00005247 | 0.0007577 | -0.399 | 0 | 5.632e-11 | 0.00002379 | 0.0003704 | 0.00007438 | 0.008624 | 11.38 | 0.2241 | 0.06607 | 0.02095 | 1 | 1 | 0.0002482 | 0.002357 | 0.00414 | 0.2186 | 2.076 | 3.647 | json |
| t16_x15_u3_b112 | 16 | 15 | 3 | 112 | ![]() |
dst(D,flr(mlt(R,P))) | 87808 | 130536346 | o2(x,o1(o2(x,x))) | true | 19271 | 19271 | 0.9683 | 1 | 0.9683 | 0.01644 | 0.1282 | 0.04446 | 1 | 0.9555 | 1 | 0.6621 | 0.0004469 | 0.0007114 | 0.008756 | -0.2283 | 1 | -0.000005482 | 0.0005106 | 0.004874 | 0.001081 | 0.03289 | 3.756 | 0.3833 | 0.07045 | 0.03106 | 1 | 1 | 0.002882 | 0.02345 | 0.04157 | 0.1753 | 1.427 | 2.528 | json |
| t16_x15_u3_b113 | 16 | 15 | 3 | 113 | ![]() |
dst(D,flr(div(R,P))) | 87809 | 130536347 | o2(x,o1(o2(x,x))) | true | 19279 | 19279 | -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_x15_u3_b114 | 16 | 15 | 3 | 114 | ![]() |
dst(D,flr(pow(R,P))) | 87810 | 130536348 | o2(x,o1(o2(x,x))) | true | 19287 | 19287 | -0.9766 | 0.01172 | 1 | 0.0463 | 0.2152 | -1 | 1 | 2 | 1 | 0.09198 | 0.006047 | 0.004031 | 0.005002 | 0.2 | 1 | 0 | 0.02116 | 0.01008 | 0.01005 | 0.1002 | 20.04 | 2.828 | 0.2177 | 0.4571 | 1 | 1 | 0.01773 | 0.07091 | 0.1684 | 0.3829 | 1.532 | 3.638 | json |
| t16_x15_u3_b115 | 16 | 15 | 3 | 115 | ![]() |
dst(D,flr(mod(R,P))) | 87811 | 130536349 | o2(x,o1(o2(x,x))) | true | 19295 | 19295 | 0.492 | 0.7656 | 0.9607 | 0.6992 | 0.8362 | -1 | 1 | 2 | 1 | 1.653 | 0.02754 | 0.02447 | 0.03881 | 0.05898 | 1 | -0.00002263 | 0.102 | 0.05843 | 0.05049 | 0.2247 | 5.79 | 2.003 | 0.07439 | 0.1459 | 1 | 1 | 0.06507 | 0.2824 | 1.087 | 0.09307 | 0.404 | 1.554 | json |
| t16_x15_u3_b116 | 16 | 15 | 3 | 116 | ![]() |
dst(D,flr(lrg(R,P))) | 87812 | 130536350 | o2(x,o1(o2(x,x))) | true | 19303 | 19303 | 0.9265 | 1 | 0.9265 | 0.03338 | 0.1827 | 0.04446 | 1 | 0.9555 | 1 | 1.395 | 0.0006641 | 0.0006421 | 0.01652 | 0.01684 | 1 | -0.0001228 | 0.0002344 | 0.006375 | 0.001034 | 0.03215 | 1.946 | 0.1349 | 0.03914 | 0.007023 | 1 | 1 | 0.002637 | 0.02639 | 0.04492 | 0.079 | 0.7907 | 1.346 | json |
| t16_x15_u3_b117 | 16 | 15 | 3 | 117 | ![]() |
dst(D,flr(eql(R,P))) | 87813 | 130536351 | o2(x,o1(o2(x,x))) | true | 19311 | 19311 | 0.4439 | 1 | 0.4439 | 0.02504 | 0.1582 | 0.04473 | 0.7026 | 0.6579 | 1 | 3.252 | 0.001981 | 0.001981 | 0.05914 | 2.938e-7 | 1 | -0.0006857 | 0.0006739 | 0.01958 | 0.000465 | 0.02156 | 0.3646 | 0.09377 | 0.1583 | 0.02692 | 1 | 1 | 0.007608 | 0.05068 | 0 | 0.3039 | 2.024 | 0 | json |
| t16_x15_u3_b118 | 16 | 15 | 3 | 118 | ![]() |
dst(D,flr(min(R,P))) | 87814 | 130536352 | o2(x,o1(o2(x,x))) | true | 19319 | 19319 | 0.9898 | 1 | 0.9898 | 0.004909 | 0.07007 | 0.04448 | 1 | 0.9555 | 1 | 0.3091 | 0.000205 | 0.0002123 | 0.003889 | -0.01728 | 1 | 0.000001612 | 0.0001302 | 0.002143 | 0.0004022 | 0.02006 | 5.158 | 0.217 | 0.085 | 0.02652 | 1 | 1 | 0.0009023 | 0.008312 | 0.01213 | 0.1838 | 1.693 | 2.471 | json |
| t16_x15_u3_b119 | 16 | 15 | 3 | 119 | ![]() |
dst(D,flr(dot(R,P))) | 87815 | 130536353 | o2(x,o1(o2(x,x))) | true | 19327 | 19327 | 0.9687 | 1 | 0.9687 | 0.01827 | 0.1352 | 0.04473 | 1 | 0.9553 | 1 | 0.5664 | 0.001153 | 0.001278 | 0.01135 | -0.0515 | 1 | -0.0001054 | 0.001587 | 0.008156 | 0.002301 | 0.04797 | 4.225 | 0.5211 | 0.1331 | 0.08684 | 1 | 1 | 0.005534 | 0.0345 | 0.04079 | 0.3029 | 1.889 | 2.232 | json |
| t16_x15_u3_b120 | 16 | 15 | 3 | 120 | ![]() |
dst(D,flr(dst(R,P))) | 87816 | 130536354 | o2(x,o1(o2(x,x))) | true | 19335 | 19335 | 0.9958 | 1 | 0.9958 | 0.002508 | 0.05008 | 0.04486 | 1 | 0.9551 | 1 | 0.1025 | 0.0001214 | 0.0001674 | 0.001588 | -0.1595 | 1 | 2.253e-11 | 0.0001377 | 0.001006 | 0.000286 | 0.01691 | 10.65 | 0.3594 | 0.1151 | 0.05493 | 1 | 1 | 0.0009191 | 0.006678 | 0.008169 | 0.3665 | 2.663 | 3.258 | json |
| t16_x15_u4_b0 | 16 | 15 | 4 | 0 | ![]() |
add(D,cil(add(R,P))) | 87817 | 130536435 | o2(x,o1(o2(x,x))) | true | 19343 | 19343 | 0.06362 | 0.5306 | 0.9345 | 0.9124 | 0.9552 | -1 | 1 | 2 | 1 | 1.932 | 0.0007666 | 0.0002546 | 0.01023 | 0.5014 | 1 | -0.00001756 | 0.0001162 | 0.002484 | 0.0009159 | 0.03026 | 2.957 | 0.1794 | 0.001119 | 0.0001273 | 1 | 1 | 0.002646 | 0.03462 | 0.2574 | 0.0029 | 0.03794 | 0.2821 | json |
| t16_x15_u4_b1 | 16 | 15 | 4 | 1 | ![]() |
add(D,cil(sub(R,P))) | 87818 | 130536436 | o2(x,o1(o2(x,x))) | true | 19351 | 19351 | 0.06536 | 0.5313 | 0.9295 | 0.9109 | 0.9544 | -1 | 1 | 2 | 1 | 1.914 | 0.001582 | 0.0002869 | 0.01291 | 0.693 | 1 | -0.00001746 | 0.000377 | 0.005439 | 0.001703 | 0.04127 | 3.196 | 0.2881 | 0.002052 | 0.0004139 | 1 | 1 | 0.004834 | 0.04725 | 0.2508 | 0.005307 | 0.05187 | 0.2753 | json |
| t16_x15_u4_b2 | 16 | 15 | 4 | 2 | ![]() |
add(D,cil(mlt(R,P))) | 87819 | 130536437 | o2(x,o1(o2(x,x))) | true | 19359 | 19359 | 0.1474 | 0.5911 | 0.7285 | 0.6363 | 0.7977 | -1 | 1 | 2 | 1 | 3.68 | 0.01711 | 0.01936 | 0.09724 | -0.0617 | 1 | -0.00006628 | 0.01988 | 0.05074 | 0.02701 | 0.1644 | 1.69 | 1.485 | 0.05733 | 0.03124 | 1 | 1 | 0.05153 | 0.4509 | 0.9763 | 0.08098 | 0.7087 | 1.534 | json |
| t16_x15_u4_b3 | 16 | 15 | 4 | 3 | ![]() |
add(D,cil(div(R,P))) | 87820 | 130536438 | o2(x,o1(o2(x,x))) | true | 19367 | 19367 | 0.2769 | 0.7352 | 0.548 | 0.3671 | 0.6059 | -1 | 1 | 2 | 1 | 4.088 | 0.02285 | 0.002124 | 0.067 | 0.8299 | 1 | -0.00001015 | 0.04085 | 0.03959 | 0.02048 | 0.1431 | 2.136 | 2 | 0.06801 | 0.1113 | 1 | 1 | 0.03516 | 0.2044 | 0.6049 | 0.09576 | 0.5568 | 1.648 | json |
| t16_x15_u4_b4 | 16 | 15 | 4 | 4 | ![]() |
add(D,cil(pow(R,P))) | 87821 | 130536439 | o2(x,o1(o2(x,x))) | true | 19375 | 19375 | -0.8529 | 0.07422 | 0.9987 | 0.27 | 0.5196 | -1 | 1 | 2 | 1 | 0.4373 | 0.02475 | 0.02401 | 0.0249 | 0.01515 | 1 | 0.00001004 | 0.1021 | 0.04954 | 0.04817 | 0.2195 | 8.813 | 2.828 | 0.1806 | 0.3783 | 1 | 1 | 0.04596 | 0.191 | 0.6342 | 0.1702 | 0.7077 | 2.349 | json |
| t16_x15_u4_b5 | 16 | 15 | 4 | 5 | ![]() |
add(D,cil(mod(R,P))) | 87822 | 130536440 | o2(x,o1(o2(x,x))) | true | 19383 | 19383 | 0.2843 | 0.7372 | 0.5553 | 0.3705 | 0.6087 | -1 | 1 | 2 | 1 | 4.081 | 0.02453 | 0.002123 | 0.06767 | 0.8407 | 1 | 0.00005135 | 0.04428 | 0.04074 | 0.02207 | 0.1486 | 2.196 | 2 | 0.07192 | 0.1195 | 1 | 1 | 0.03654 | 0.2065 | 0.5762 | 0.09861 | 0.5574 | 1.555 | json |
| t16_x15_u4_b6 | 16 | 15 | 4 | 6 | ![]() |
add(D,cil(lrg(R,P))) | 87823 | 130536441 | o2(x,o1(o2(x,x))) | true | 19391 | 19391 | 0.4732 | 0.747 | 0.5197 | 0.2303 | 0.4799 | -0.1454 | 1 | 1.145 | 1 | 3.108 | 0.001715 | 0.0001036 | 0.03121 | 0.8861 | 1 | 0.0001526 | 0.0003549 | 0.01484 | 0.0008444 | 0.02906 | 0.931 | 0.1713 | 0.007896 | 0.001541 | 1 | 1 | 0.003911 | 0.03228 | 0.08375 | 0.01699 | 0.1402 | 0.3637 | json |
| t16_x15_u4_b7 | 16 | 15 | 4 | 7 | ![]() |
add(D,cil(eql(R,P))) | 87824 | 130536442 | o2(x,o1(o2(x,x))) | true | 19399 | 19399 | 0 | 0.5 | 0.09436 | 0.01082 | 0.104 | -0.1454 | 0.1454 | 0.2908 | 1 | 2.561 | 0.001632 | 0 | 0.0361 | 1 | 1 | 0 | 0.0002563 | 0.01459 | 0.0003304 | 0.01818 | 0.5036 | 0.06192 | 0.1508 | 0.02368 | 1 | 1 | 0.003151 | 0.02183 | 0 | 0.2912 | 2.017 | 0 | json |
| t16_x15_u4_b8 | 16 | 15 | 4 | 8 | ![]() |
add(D,cil(min(R,P))) | 87825 | 130536443 | o2(x,o1(o2(x,x))) | true | 19407 | 19407 | -0.2573 | 0.4205 | 0.6922 | 0.5522 | 0.7431 | -1 | 1 | 2 | 1 | 3.499 | 0.001957 | 0.001181 | 0.03645 | 0.2471 | 1 | 0.0001302 | 0.0003224 | 0.008787 | 0.001809 | 0.04253 | 1.167 | 0.1713 | 0.005683 | 0.0005839 | 1 | 1 | 0.00625 | 0.07397 | 0.2566 | 0.01132 | 0.134 | 0.4647 | json |
| t16_x15_u4_b9 | 16 | 15 | 4 | 9 | ![]() |
add(D,cil(dot(R,P))) | 87826 | 130536444 | o2(x,o1(o2(x,x))) | true | 19415 | 19415 | 0.0578 | 0.537 | 0.859 | 0.812 | 0.9011 | -1 | 1 | 2 | 1 | 2.822 | 0.02485 | 0.03327 | 0.1033 | -0.1448 | 1 | 0.00001901 | 0.04589 | 0.07515 | 0.04745 | 0.2178 | 2.109 | 1.827 | 0.07157 | 0.05651 | 1 | 1 | 0.07401 | 0.571 | 1.348 | 0.09114 | 0.7033 | 1.66 | json |
| t16_x15_u4_b10 | 16 | 15 | 4 | 10 | ![]() |
add(D,cil(dst(R,P))) | 87827 | 130536445 | o2(x,o1(o2(x,x))) | true | 19423 | 19423 | 0.9999 | 1 | 0.9999 | 0.000009305 | 0.00305 | 0.8549 | 1 | 0.1451 | 1 | 0.01068 | 0.000002641 | 0.000001543 | 0.00009097 | 0.2624 | 0 | -1.502e-11 | 0.000005674 | 0.0001146 | 0.000004172 | 0.002043 | 22.45 | 0.07069 | 0.4496 | 0.6098 | 1 | 1 | 0.00001098 | 0.00003381 | 0.00003276 | 1.18 | 3.633 | 3.521 | json |
| t16_x15_u4_b11 | 16 | 15 | 4 | 11 | ![]() |
sub(D,cil(add(R,P))) | 87828 | 130536446 | o2(x,o1(o2(x,x))) | true | 19431 | 19431 | -0.06311 | 0.4685 | 0.9331 | 0.915 | 0.9566 | -1 | 1 | 2 | 1 | 1.878 | 0.001566 | 0.0002563 | 0.01253 | 0.7187 | 1 | 0.00001741 | 0.0003658 | 0.005352 | 0.001666 | 0.04082 | 3.258 | 0.2881 | 0.001992 | 0.0003997 | 1 | 1 | 0.004622 | 0.04556 | 0.2636 | 0.005051 | 0.0498 | 0.288 | json |
| t16_x15_u4_b12 | 16 | 15 | 4 | 12 | ![]() |
sub(D,cil(sub(R,P))) | 87829 | 130536447 | o2(x,o1(o2(x,x))) | true | 19439 | 19439 | -0.06489 | 0.4681 | 0.931 | 0.9088 | 0.9533 | -1 | 1 | 2 | 1 | 1.958 | 0.0007833 | 0.0002874 | 0.01066 | 0.4631 | 1 | 0.00001756 | 0.00013 | 0.002744 | 0.0009575 | 0.03094 | 2.901 | 0.1794 | 0.001178 | 0.000143 | 1 | 1 | 0.002866 | 0.03698 | 0.2478 | 0.003153 | 0.0407 | 0.2726 | json |
| t16_x15_u4_b13 | 16 | 15 | 4 | 13 | ![]() |
sub(D,cil(mlt(R,P))) | 87830 | 130536448 | o2(x,o1(o2(x,x))) | true | 19447 | 19447 | -0.1463 | 0.4099 | 0.7277 | 0.6358 | 0.7974 | -1 | 1 | 2 | 1 | 3.684 | 0.01715 | 0.01931 | 0.09719 | -0.05938 | 1 | 0.0001009 | 0.01989 | 0.05068 | 0.02701 | 0.1643 | 1.691 | 1.377 | 0.05734 | 0.03128 | 1 | 1 | 0.0513 | 0.4488 | 0.9786 | 0.08068 | 0.7058 | 1.539 | json |
| t16_x15_u4_b14 | 16 | 15 | 4 | 14 | ![]() |
sub(D,cil(div(R,P))) | 87831 | 130536449 | o2(x,o1(o2(x,x))) | true | 19455 | 19455 | -0.5268 | 0.1379 | 0.5478 | 0.1656 | 0.407 | -1 | 0.1454 | 1.145 | 1 | 3.816 | 0.006017 | 0.002125 | 0.05862 | 0.478 | 1 | 4.612e-7 | 0.007079 | 0.02264 | 0.004707 | 0.06861 | 1.17 | 1.031 | 0.04916 | 0.04274 | 1 | 1 | 0.01346 | 0.1171 | 0.2786 | 0.0813 | 0.7073 | 1.682 | json |
| t16_x15_u4_b15 | 16 | 15 | 4 | 15 | ![]() |
sub(D,cil(pow(R,P))) | 87832 | 130536450 | o2(x,o1(o2(x,x))) | true | 19463 | 19463 | -0.9989 | 0 | 0.9989 | 0.0001256 | 0.01121 | -1 | -0.8546 | 0.1454 | 1 | 0.08144 | 0.00001742 | 0.00001091 | 0.0005233 | 0.2298 | 0 | 0 | 0.00003205 | 0.0004998 | 0.00002804 | 0.005295 | 10.12 | 0.1455 | 0.2255 | 0.2551 | 1 | 1 | 0.00003341 | 0.0001427 | 0.0002302 | 0.2659 | 1.136 | 1.833 | json |
| t16_x15_u4_b16 | 16 | 15 | 4 | 16 | ![]() |
sub(D,cil(mod(R,P))) | 87833 | 130536451 | o2(x,o1(o2(x,x))) | true | 19471 | 19471 | -0.5345 | 0.1334 | 0.5548 | 0.1645 | 0.4056 | -1 | 0.1454 | 1.145 | 1 | 3.809 | 0.005463 | 0.002123 | 0.05785 | 0.4403 | 1 | -0.00003075 | 0.005938 | 0.02147 | 0.004239 | 0.06511 | 1.125 | 1.031 | 0.04612 | 0.03611 | 1 | 1 | 0.01302 | 0.1167 | 0.2885 | 0.07919 | 0.7095 | 1.754 | json |
| t16_x15_u4_b17 | 16 | 15 | 4 | 17 | ![]() |
sub(D,cil(lrg(R,P))) | 87834 | 130536452 | o2(x,o1(o2(x,x))) | true | 19479 | 19479 | -0.4745 | 0.2335 | 0.5184 | 0.223 | 0.4723 | -1 | 0.1454 | 1.145 | 1 | 3.237 | 0.001313 | 0.000102 | 0.02979 | 0.8559 | 1 | 0.000005705 | 0.0002737 | 0.01341 | 0.0005275 | 0.02297 | 0.7709 | 0.1324 | 0.006343 | 0.001227 | 1 | 1 | 0.002902 | 0.02521 | 0.08169 | 0.01301 | 0.1131 | 0.3663 | json |
| t16_x15_u4_b18 | 16 | 15 | 4 | 18 | ![]() |
sub(D,cil(eql(R,P))) | 87835 | 130536453 | o2(x,o1(o2(x,x))) | true | 19487 | 19487 | 0 | 0.5 | 0.09436 | 0.01082 | 0.104 | -0.1454 | 0.1454 | 0.2908 | 1 | 2.561 | 0.001632 | 0 | 0.0361 | 1 | 1 | 0 | 0.0002563 | 0.01459 | 0.0003304 | 0.01818 | 0.5036 | 0.06192 | 0.1508 | 0.02368 | 1 | 1 | 0.003151 | 0.02183 | 0 | 0.2912 | 2.017 | 0 | json |
| t16_x15_u4_b19 | 16 | 15 | 4 | 19 | ![]() |
sub(D,cil(min(R,P))) | 87836 | 130536454 | o2(x,o1(o2(x,x))) | true | 19495 | 19495 | 0.2555 | 0.5727 | 0.6937 | 0.5613 | 0.7492 | -1 | 1 | 2 | 1 | 3.358 | 0.002573 | 0.00118 | 0.03873 | 0.371 | 1 | 0.0001416 | 0.0004806 | 0.0118 | 0.002253 | 0.04747 | 1.226 | 0.1713 | 0.006686 | 0.0008561 | 1 | 1 | 0.007649 | 0.08303 | 0.2604 | 0.01363 | 0.1479 | 0.4639 | json |
| t16_x15_u4_b20 | 16 | 15 | 4 | 20 | ![]() |
sub(D,cil(dot(R,P))) | 87837 | 130536455 | o2(x,o1(o2(x,x))) | true | 19503 | 19503 | -0.0567 | 0.464 | 0.8597 | 0.8132 | 0.9018 | -1 | 1 | 2 | 1 | 2.83 | 0.02488 | 0.03318 | 0.1033 | -0.1431 | 1 | 0.000008338 | 0.04586 | 0.07493 | 0.04738 | 0.2177 | 2.107 | 1.872 | 0.0714 | 0.05639 | 1 | 1 | 0.07372 | 0.5709 | 1.349 | 0.09066 | 0.7021 | 1.659 | json |
| t16_x15_u4_b21 | 16 | 15 | 4 | 21 | ![]() |
sub(D,cil(dst(R,P))) | 87838 | 130536456 | o2(x,o1(o2(x,x))) | true | 19511 | 19511 | -0.9999 | 0 | 0.9999 | 0.00001001 | 0.003164 | -1 | -0.8549 | 0.1451 | 1 | 0.01163 | 0.000002819 | 0.000001684 | 0.0000971 | 0.252 | 0 | 3.754e-12 | 0.000005898 | 0.0001205 | 0.000004489 | 0.002119 | 21.82 | 0.07178 | 0.4497 | 0.589 | 1 | 1 | 0.00001196 | 0.00003639 | 0.00003294 | 1.194 | 3.634 | 3.29 | json |
| t16_x15_u4_b22 | 16 | 15 | 4 | 22 | ![]() |
mlt(D,cil(add(R,P))) | 87839 | 130536457 | o2(x,o1(o2(x,x))) | true | 19519 | 19519 | -0.1349 | 0.3711 | 0.4038 | 0.2302 | 0.4798 | -1 | 1 | 2 | 1 | 4.81 | 0.03264 | 0.0001526 | 0.1414 | 0.9907 | 1 | 0.002214 | 0.006256 | 0.05829 | 0.01279 | 0.1131 | 0.7996 | 0.4959 | 0.1424 | 0.02717 | 1 | 1 | 0.03968 | 0.2945 | 0.04113 | 0.1724 | 1.279 | 0.1786 | json |
| t16_x15_u4_b23 | 16 | 15 | 4 | 23 | ![]() |
mlt(D,cil(sub(R,P))) | 87840 | 130536458 | o2(x,o1(o2(x,x))) | true | 19527 | 19527 | 0.1364 | 0.6137 | 0.4083 | 0.2371 | 0.4869 | -1 | 1 | 2 | 1 | 4.802 | 0.03374 | 0.0001541 | 0.1429 | 0.9909 | 1 | -0.002167 | 0.006448 | 0.0589 | 0.01347 | 0.1161 | 0.8121 | 0.4959 | 0.143 | 0.0272 | 1 | 1 | 0.04014 | 0.2944 | 0.04212 | 0.1693 | 1.242 | 0.1777 | json |
| t16_x15_u4_b24 | 16 | 15 | 4 | 24 | ![]() |
mlt(D,cil(mlt(R,P))) | 87841 | 130536459 | o2(x,o1(o2(x,x))) | true | 19535 | 19535 | -0.01668 | 0.4746 | 0.3218 | 0.2059 | 0.4537 | -1 | 1 | 2 | 1 | 4.483 | 0.01213 | 0.003509 | 0.09055 | 0.5513 | 1 | 0.0004367 | 0.003422 | 0.03202 | 0.007444 | 0.08628 | 0.9528 | 0.5903 | 0.07599 | 0.01662 | 1 | 1 | 0.02031 | 0.2138 | 0.292 | 0.09868 | 1.038 | 1.418 | json |
| t16_x15_u4_b25 | 16 | 15 | 4 | 25 | ![]() |
mlt(D,cil(div(R,P))) | 87842 | 130536460 | o2(x,o1(o2(x,x))) | true | 19543 | 19543 | -0.1244 | 0.3911 | 0.1951 | 0.1206 | 0.3473 | -1 | 0.2729 | 1.273 | 1 | 3.048 | 0.008772 | 0.0001447 | 0.03103 | 0.9676 | 1 | 0.00001337 | 0.01598 | 0.02347 | 0.007955 | 0.08919 | 2.875 | 1.031 | 0.07393 | 0.1325 | 1 | 1 | 0.01232 | 0.0605 | 0.1875 | 0.1021 | 0.5016 | 1.554 | json |
| t16_x15_u4_b26 | 16 | 15 | 4 | 26 | ![]() |
mlt(D,cil(pow(R,P))) | 87843 | 130536461 | o2(x,o1(o2(x,x))) | true | 19551 | 19551 | -0.9205 | 0.04161 | 0.9603 | 0.1071 | 0.3273 | -1 | 1 | 2 | 1 | 0.572 | 0.009183 | 0.01001 | 0.01708 | -0.04294 | 1 | 0.0002426 | 0.03973 | 0.02842 | 0.01889 | 0.1374 | 8.044 | 2.828 | 0.1791 | 0.3709 | 1 | 1 | 0.02234 | 0.1016 | 0.2788 | 0.2086 | 0.9484 | 2.603 | json |
| t16_x15_u4_b27 | 16 | 15 | 4 | 27 | ![]() |
mlt(D,cil(mod(R,P))) | 87844 | 130536462 | o2(x,o1(o2(x,x))) | true | 19559 | 19559 | -0.1233 | 0.3966 | 0.1956 | 0.121 | 0.3478 | -1 | 0.2729 | 1.273 | 1 | 3.051 | 0.008741 | 0.0001447 | 0.03104 | 0.9674 | 1 | -0.00002655 | 0.016 | 0.02355 | 0.007923 | 0.08901 | 2.868 | 1.031 | 0.07346 | 0.1323 | 1 | 1 | 0.01219 | 0.05786 | 0.1874 | 0.1007 | 0.4783 | 1.549 | json |
| t16_x15_u4_b28 | 16 | 15 | 4 | 28 | ![]() |
mlt(D,cil(lrg(R,P))) | 87845 | 130536463 | o2(x,o1(o2(x,x))) | true | 19567 | 19567 | 0.008939 | 0.3034 | 0.05255 | 0.006658 | 0.0816 | -0.1454 | 0.2729 | 0.4183 | 1 | 2.138 | 0.0008429 | 0.000007984 | 0.01898 | 0.9812 | 1 | -0.0001582 | 0.0001278 | 0.007452 | 0.0004906 | 0.02215 | 1.167 | 0.0622 | 0.1278 | 0.01919 | 1 | 1 | 0.00165 | 0.01215 | 0.004067 | 0.2478 | 1.825 | 0.6109 | json |
| t16_x15_u4_b29 | 16 | 15 | 4 | 29 | ![]() |
mlt(D,cil(eql(R,P))) | 87846 | 130536464 | o2(x,o1(o2(x,x))) | true | 19575 | 19575 | 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_x15_u4_b30 | 16 | 15 | 4 | 30 | ![]() |
mlt(D,cil(min(R,P))) | 87847 | 130536465 | o2(x,o1(o2(x,x))) | true | 19583 | 19583 | -0.07302 | 0.3795 | 0.2411 | 0.1235 | 0.3514 | -1 | 0.9606 | 1.961 | 1 | 4.223 | 0.01657 | 0.00009301 | 0.08308 | 0.9888 | 1 | 0.001267 | 0.003097 | 0.03326 | 0.009755 | 0.09877 | 1.189 | 0.4334 | 0.1349 | 0.02508 | 1 | 1 | 0.01893 | 0.1317 | 0.02141 | 0.1533 | 1.066 | 0.1734 | json |
| t16_x15_u4_b31 | 16 | 15 | 4 | 31 | ![]() |
mlt(D,cil(dot(R,P))) | 87848 | 130536466 | o2(x,o1(o2(x,x))) | true | 19591 | 19591 | -0.0002818 | 0.5006 | 0.4532 | 0.3314 | 0.5757 | -1 | 1 | 2 | 1 | 4.657 | 0.02188 | 0.007031 | 0.1268 | 0.5137 | 1 | 0.0001372 | 0.008029 | 0.05002 | 0.01283 | 0.1133 | 0.8929 | 0.7941 | 0.08724 | 0.02423 | 1 | 1 | 0.03929 | 0.3824 | 0.5512 | 0.1186 | 1.154 | 1.663 | json |
| t16_x15_u4_b32 | 16 | 15 | 4 | 32 | ![]() |
mlt(D,cil(dst(R,P))) | 87849 | 130536467 | o2(x,o1(o2(x,x))) | true | 19599 | 19599 | 0.000321 | 0.5003 | 0.5996 | 0.4636 | 0.6809 | -1 | 1 | 2 | 1 | 4.708 | 0.07035 | 0.0002406 | 0.2083 | 0.9932 | 1 | 0.00001321 | 0.01787 | 0.09582 | 0.02721 | 0.165 | 0.792 | 0.7396 | 0.1523 | 0.03855 | 1 | 1 | 0.0916 | 0.6441 | 0.05426 | 0.1976 | 1.389 | 0.117 | json |
| t16_x15_u4_b33 | 16 | 15 | 4 | 33 | ![]() |
div(D,cil(add(R,P))) | 87850 | 130536468 | o2(x,o1(o2(x,x))) | true | 19607 | 19607 | -0.1175 | 0.496 | 0.1857 | 0.148 | 0.3847 | -1 | 1 | 2 | 1 | 1.998 | 0.01232 | 0.007701 | 0.02415 | 0.2305 | 1 | 0.00003839 | 0.04104 | 0.03349 | 0.01944 | 0.1394 | 5.773 | 2.828 | 0.1352 | 0.2773 | 1 | 1 | 0.02686 | 0.1153 | 0.3054 | 0.1815 | 0.7793 | 2.064 | json |
| t16_x15_u4_b34 | 16 | 15 | 4 | 34 | ![]() |
div(D,cil(sub(R,P))) | 87851 | 130536469 | o2(x,o1(o2(x,x))) | true | 19615 | 19615 | -0.1402 | 0.3733 | 0.193 | 0.1499 | 0.3872 | -1 | 1 | 2 | 1 | 2.013 | 0.01277 | 0.00809 | 0.02415 | 0.2245 | 1 | -0.00003716 | 0.0439 | 0.03422 | 0.02028 | 0.1424 | 5.898 | 2.828 | 0.1392 | 0.2928 | 1 | 1 | 0.03017 | 0.1217 | 0.3151 | 0.2012 | 0.8118 | 2.101 | json |
| t16_x15_u4_b35 | 16 | 15 | 4 | 35 | ![]() |
div(D,cil(mlt(R,P))) | 87852 | 130536470 | o2(x,o1(o2(x,x))) | true | 19623 | 19623 | -0.4183 | 0.2873 | 0.6028 | 0.3974 | 0.6304 | -1 | 1 | 2 | 1 | 2.562 | 0.04031 | 0.03585 | 0.06311 | 0.05857 | 1 | -0.000003684 | 0.1598 | 0.1079 | 0.07216 | 0.2686 | 4.256 | 2.828 | 0.1917 | 0.4022 | 1 | 1 | 0.08078 | 0.3397 | 0.8407 | 0.2033 | 0.855 | 2.116 | json |
| t16_x15_u4_b36 | 16 | 15 | 4 | 36 | ![]() |
div(D,cil(div(R,P))) | 87853 | 130536471 | o2(x,o1(o2(x,x))) | true | 19631 | 19631 | -0.7824 | 0.1055 | 0.9378 | 0.3187 | 0.5646 | -1 | 1 | 2 | 1 | 0.963 | 0.03744 | 0.03825 | 0.04561 | -0.01071 | 1 | 0.00001004 | 0.1596 | 0.08778 | 0.07363 | 0.2714 | 5.95 | 2.828 | 0.2375 | 0.5008 | 1 | 1 | 0.08422 | 0.3458 | 0.667 | 0.2642 | 1.085 | 2.093 | json |
| t16_x15_u4_b37 | 16 | 15 | 4 | 37 | ![]() |
div(D,cil(pow(R,P))) | 87854 | 130536472 | o2(x,o1(o2(x,x))) | true | 19639 | 19639 | -0.9276 | 0.03159 | 0.9309 | 0.06586 | 0.2566 | -1 | 0.1454 | 1.145 | 1 | 0.5721 | 0.006259 | 0.005947 | 0.01376 | 0.02563 | 1 | 0.000004562 | 0.02546 | 0.02507 | 0.01201 | 0.1096 | 7.966 | 1.414 | 0.1853 | 0.3865 | 1 | 1 | 0.01132 | 0.04618 | 0.15 | 0.1719 | 0.7013 | 2.278 | json |
| t16_x15_u4_b38 | 16 | 15 | 4 | 38 | ![]() |
div(D,cil(mod(R,P))) | 87855 | 130536473 | o2(x,o1(o2(x,x))) | true | 19647 | 19647 | -0.8633 | 0.06836 | 0.9682 | 0.2199 | 0.4689 | -1 | 1 | 2 | 1 | 0.5967 | 0.02599 | 0.02792 | 0.03106 | -0.03595 | 1 | -0.00001004 | 0.1142 | 0.06087 | 0.05295 | 0.2301 | 7.409 | 2.828 | 0.2452 | 0.5195 | 1 | 1 | 0.04856 | 0.2003 | 0.4144 | 0.2208 | 0.9108 | 1.884 | json |
| t16_x15_u4_b39 | 16 | 15 | 4 | 39 | ![]() |
div(D,cil(lrg(R,P))) | 87856 | 130536474 | o2(x,o1(o2(x,x))) | true | 19655 | 19655 | -0.5469 | 0.2266 | 0.5896 | 0.2526 | 0.5026 | -1 | 0.1454 | 1.145 | 1 | 2.154 | 0.004453 | 0.001528 | 0.02143 | 0.4891 | 1 | -0.0001582 | 0.01145 | 0.0175 | 0.005521 | 0.07431 | 3.468 | 1.37 | 0.02368 | 0.04531 | 1 | 1 | 0.008214 | 0.0349 | 0.1098 | 0.03251 | 0.1382 | 0.4345 | json |
| t16_x15_u4_b40 | 16 | 15 | 4 | 40 | ![]() |
div(D,cil(eql(R,P))) | 87857 | 130536475 | o2(x,o1(o2(x,x))) | true | 19663 | 19663 | -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_x15_u4_b41 | 16 | 15 | 4 | 41 | ![]() |
div(D,cil(min(R,P))) | 87858 | 130536476 | o2(x,o1(o2(x,x))) | true | 19671 | 19671 | -0.4961 | 0.2871 | 0.5735 | 0.3137 | 0.56 | -1 | 1 | 2 | 1 | 1.855 | 0.0177 | 0.01342 | 0.0229 | 0.1376 | 1 | 0.00002849 | 0.06475 | 0.03744 | 0.0306 | 0.1749 | 7.637 | 2.828 | 0.09924 | 0.2064 | 1 | 1 | 0.02917 | 0.126 | 0.3076 | 0.093 | 0.4017 | 0.9806 | json |
| t16_x15_u4_b42 | 16 | 15 | 4 | 42 | ![]() |
div(D,cil(dot(R,P))) | 87859 | 130536477 | o2(x,o1(o2(x,x))) | true | 19679 | 19679 | -0.2278 | 0.3831 | 0.3935 | 0.2997 | 0.5474 | -1 | 1 | 2 | 1 | 2.974 | 0.03098 | 0.0298 | 0.05737 | 0.01942 | 1 | -0.000005208 | 0.1274 | 0.09015 | 0.05747 | 0.2397 | 4.178 | 2.828 | 0.2028 | 0.4252 | 1 | 1 | 0.0595 | 0.255 | 0.6105 | 0.1985 | 0.8511 | 2.037 | json |
| t16_x15_u4_b43 | 16 | 15 | 4 | 43 | ![]() |
div(D,cil(dst(R,P))) | 87860 | 130536478 | o2(x,o1(o2(x,x))) | true | 19687 | 19687 | -0.000002398 | 0.4987 | 0.01845 | 0.0007403 | 0.02721 | -0.2168 | 0.2168 | 0.4337 | 1 | 1.227 | 0.00009065 | 0.000003996 | 0.00707 | 0.9156 | 0 | 8.008e-8 | 0.00001374 | 0.002759 | 0.00004466 | 0.006683 | 0.9452 | 0.06224 | 0.1278 | 0.01856 | 1 | 1 | 0.0002863 | 0.002203 | 0.0009289 | 0.3867 | 2.976 | 1.255 | json |
| t16_x15_u4_b44 | 16 | 15 | 4 | 44 | ![]() |
pow(D,cil(add(R,P))) | 87861 | 130536479 | o2(x,o1(o2(x,x))) | true | 19695 | 19695 | -0.9141 | 0.04297 | 1 | 0.1646 | 0.4057 | -1 | 1 | 2 | 1 | 0.2557 | 0.01789 | 0.00907 | 0.01341 | 0.3271 | 1 | 0 | 0.05593 | 0.02696 | 0.02676 | 0.1636 | 12.2 | 2.828 | 0.1638 | 0.3398 | 1 | 1 | 0.03435 | 0.1401 | 0.4228 | 0.2087 | 0.8509 | 2.569 | json |
| t16_x15_u4_b45 | 16 | 15 | 4 | 45 | ![]() |
pow(D,cil(sub(R,P))) | 87862 | 130536480 | o2(x,o1(o2(x,x))) | true | 19703 | 19703 | -0.925 | 0.04297 | 0.9891 | 0.1306 | 0.3615 | -1 | 1 | 2 | 1 | 0.371 | 0.008872 | 0.007519 | 0.01088 | 0.08255 | 1 | 4.767e-7 | 0.03365 | 0.01884 | 0.01628 | 0.1276 | 11.73 | 2.828 | 0.1255 | 0.2576 | 1 | 1 | 0.01695 | 0.07528 | 0.2725 | 0.1297 | 0.5762 | 2.086 | json |
| t16_x15_u4_b46 | 16 | 15 | 4 | 46 | ![]() |
pow(D,cil(mlt(R,P))) | 87863 | 130536481 | o2(x,o1(o2(x,x))) | true | 19711 | 19711 | -0.8197 | 0.09766 | 0.985 | 0.3076 | 0.5546 | -1 | 1 | 2 | 1 | 0.6733 | 0.03032 | 0.01148 | 0.02534 | 0.4507 | 1 | -0.000003596 | 0.08569 | 0.04534 | 0.04119 | 0.2029 | 8.009 | 2.828 | 0.1359 | 0.2785 | 1 | 1 | 0.05162 | 0.2187 | 0.5927 | 0.1678 | 0.7108 | 1.927 | json |
| t16_x15_u4_b47 | 16 | 15 | 4 | 47 | ![]() |
pow(D,cil(div(R,P))) | 87864 | 130536482 | o2(x,o1(o2(x,x))) | true | 19719 | 19719 | -0.5753 | 0.2305 | 0.9638 | 0.6174 | 0.7858 | -1 | 1 | 2 | 1 | 1.316 | 0.06265 | 0.05745 | 0.07167 | 0.04333 | 1 | -0.00001537 | 0.2515 | 0.1301 | 0.115 | 0.3392 | 4.732 | 2.828 | 0.1945 | 0.4073 | 1 | 1 | 0.1195 | 0.5138 | 1.224 | 0.1935 | 0.8322 | 1.982 | json |
| t16_x15_u4_b48 | 16 | 15 | 4 | 48 | ![]() |
pow(D,cil(pow(R,P))) | 87865 | 130536483 | o2(x,o1(o2(x,x))) | true | 19727 | 19727 | -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_x15_u4_b49 | 16 | 15 | 4 | 49 | ![]() |
pow(D,cil(mod(R,P))) | 87866 | 130536484 | o2(x,o1(o2(x,x))) | true | 19735 | 19735 | -0.581 | 0.2266 | 0.9658 | 0.6142 | 0.7837 | -1 | 1 | 2 | 1 | 1.286 | 0.05758 | 0.05269 | 0.06624 | 0.04435 | 1 | -0.00001827 | 0.2295 | 0.1199 | 0.1059 | 0.3254 | 4.913 | 2.828 | 0.1796 | 0.3736 | 1 | 1 | 0.1126 | 0.4836 | 1.19 | 0.1833 | 0.7874 | 1.937 | json |
| t16_x15_u4_b50 | 16 | 15 | 4 | 50 | ![]() |
pow(D,cil(lrg(R,P))) | 87867 | 130536485 | o2(x,o1(o2(x,x))) | true | 19743 | 19743 | 0.02875 | 0.5234 | 0.9819 | 0.9743 | 0.9871 | -1 | 1 | 2 | 1 | 1.332 | 0.006457 | 0.002161 | 0.009419 | 0.4985 | 1 | 0.000002037 | 0.01669 | 0.01241 | 0.00853 | 0.09236 | 9.806 | 2.828 | 0.008845 | 0.01713 | 1 | 1 | 0.01343 | 0.07054 | 0.3594 | 0.01378 | 0.07239 | 0.3689 | json |
| t16_x15_u4_b51 | 16 | 15 | 4 | 51 | ![]() |
pow(D,cil(eql(R,P))) | 87868 | 130536486 | o2(x,o1(o2(x,x))) | true | 19751 | 19751 | 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_x15_u4_b52 | 16 | 15 | 4 | 52 | ![]() |
pow(D,cil(min(R,P))) | 87869 | 130536487 | o2(x,o1(o2(x,x))) | true | 19759 | 19759 | -0.6438 | 0.1875 | 0.9812 | 0.5586 | 0.7474 | -1 | 1 | 2 | 1 | 1.013 | 0.06302 | 0.02999 | 0.05281 | 0.3552 | 1 | 0.000005077 | 0.1915 | 0.0985 | 0.0902 | 0.3003 | 5.687 | 2.828 | 0.1665 | 0.3429 | 1 | 1 | 0.109 | 0.4611 | 0.9011 | 0.1951 | 0.8255 | 1.613 | json |
| t16_x15_u4_b53 | 16 | 15 | 4 | 53 | ![]() |
pow(D,cil(dot(R,P))) | 87870 | 130536488 | o2(x,o1(o2(x,x))) | true | 19767 | 19767 | -0.9649 | 0.01953 | 0.9961 | 0.06414 | 0.2533 | -1 | 1 | 2 | 1 | 0.1826 | 0.007536 | 0.007919 | 0.0089 | -0.02477 | 1 | -1.239e-10 | 0.03257 | 0.01686 | 0.01537 | 0.124 | 13.93 | 2.828 | 0.241 | 0.5078 | 1 | 1 | 0.01552 | 0.06422 | 0.1239 | 0.242 | 1.001 | 1.932 | json |
| t16_x15_u4_b54 | 16 | 15 | 4 | 54 | ![]() |
pow(D,cil(dst(R,P))) | 87871 | 130536489 | o2(x,o1(o2(x,x))) | true | 19775 | 19775 | -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_x15_u4_b55 | 16 | 15 | 4 | 55 | ![]() |
mod(D,cil(add(R,P))) | 87872 | 130536490 | o2(x,o1(o2(x,x))) | true | 19783 | 19783 | -0.1602 | 0.4199 | 0.2395 | 0.1436 | 0.3789 | -1 | 0.1454 | 1.145 | 1 | 2.786 | 0.009293 | 0.002547 | 0.04032 | 0.5698 | 1 | 2.722e-11 | 0.02183 | 0.03305 | 0.01022 | 0.1011 | 2.507 | 1.415 | 0.08245 | 0.152 | 1 | 1 | 0.01656 | 0.07326 | 0.209 | 0.1153 | 0.5102 | 1.455 | json |
| t16_x15_u4_b56 | 16 | 15 | 4 | 56 | ![]() |
mod(D,cil(sub(R,P))) | 87873 | 130536491 | o2(x,o1(o2(x,x))) | true | 19791 | 19791 | -0.168 | 0.416 | 0.2465 | 0.1488 | 0.3857 | -1 | 0.1454 | 1.145 | 1 | 2.784 | 0.00928 | 0.002037 | 0.03954 | 0.6399 | 1 | 2.722e-11 | 0.02068 | 0.03193 | 0.009754 | 0.09876 | 2.498 | 1.415 | 0.07606 | 0.139 | 1 | 1 | 0.01607 | 0.07117 | 0.1985 | 0.108 | 0.4783 | 1.334 | json |
| t16_x15_u4_b57 | 16 | 15 | 4 | 57 | ![]() |
mod(D,cil(mlt(R,P))) | 87874 | 130536492 | o2(x,o1(o2(x,x))) | true | 19799 | 19799 | -0.5664 | 0.2168 | 0.6073 | 0.2504 | 0.5004 | -1 | 0.1454 | 1.145 | 1 | 2.098 | 0.01678 | 0.0141 | 0.04451 | 0.08689 | 1 | 0.000008788 | 0.06312 | 0.06607 | 0.02889 | 0.17 | 3.819 | 1.415 | 0.1233 | 0.252 | 1 | 1 | 0.0318 | 0.137 | 0.4211 | 0.127 | 0.5471 | 1.682 | json |
| t16_x15_u4_b58 | 16 | 15 | 4 | 58 | ![]() |
mod(D,cil(div(R,P))) | 87875 | 130536493 | o2(x,o1(o2(x,x))) | true | 19807 | 19807 | -0.9609 | 0.01953 | 0.9646 | 0.03794 | 0.1948 | -1 | 0.1454 | 1.145 | 1 | 0.338 | 0.003793 | 0.003255 | 0.00814 | 0.07631 | 1 | 0.00001004 | 0.0146 | 0.01437 | 0.006978 | 0.08353 | 10.26 | 1.415 | 0.1858 | 0.3849 | 1 | 1 | 0.006796 | 0.02796 | 0.07659 | 0.1791 | 0.7369 | 2.019 | json |
| t16_x15_u4_b59 | 16 | 15 | 4 | 59 | ![]() |
mod(D,cil(pow(R,P))) | 87876 | 130536494 | o2(x,o1(o2(x,x))) | true | 19815 | 19815 | -0.9258 | 0.03711 | 0.9328 | 0.06953 | 0.2637 | -1 | 0.1454 | 1.145 | 1 | 0.5716 | 0.006335 | 0.00617 | 0.01465 | 0.01324 | 1 | -0.00001004 | 0.02593 | 0.02565 | 0.0123 | 0.1109 | 7.567 | 1.37 | 0.1798 | 0.3728 | 1 | 1 | 0.01191 | 0.04998 | 0.1628 | 0.1713 | 0.7188 | 2.341 | json |
| t16_x15_u4_b60 | 16 | 15 | 4 | 60 | ![]() |
mod(D,cil(mod(R,P))) | 87877 | 130536495 | o2(x,o1(o2(x,x))) | true | 19823 | 19823 | -0.9648 | 0.01758 | 0.9682 | 0.03429 | 0.1852 | -1 | 0.1454 | 1.145 | 1 | 0.3097 | 0.003752 | 0.003114 | 0.007802 | 0.09293 | 1 | -0.00001004 | 0.01431 | 0.01403 | 0.006805 | 0.08249 | 10.57 | 1.37 | 0.2002 | 0.4173 | 1 | 1 | 0.005966 | 0.0245 | 0.06246 | 0.174 | 0.7144 | 1.822 | json |
| t16_x15_u4_b61 | 16 | 15 | 4 | 61 | ![]() |
mod(D,cil(lrg(R,P))) | 87878 | 130536496 | o2(x,o1(o2(x,x))) | true | 19831 | 19831 | -0.5469 | 0.2266 | 0.5896 | 0.2526 | 0.5026 | -1 | 0.1454 | 1.145 | 1 | 2.154 | 0.004453 | 0.001528 | 0.02143 | 0.4891 | 1 | -0.0001582 | 0.01145 | 0.0175 | 0.005521 | 0.07431 | 3.468 | 1.37 | 0.02368 | 0.04531 | 1 | 1 | 0.008214 | 0.0349 | 0.1098 | 0.03251 | 0.1382 | 0.4345 | json |
| t16_x15_u4_b62 | 16 | 15 | 4 | 62 | ![]() |
mod(D,cil(eql(R,P))) | 87879 | 130536497 | o2(x,o1(o2(x,x))) | true | 19839 | 19839 | -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_x15_u4_b63 | 16 | 15 | 4 | 63 | ![]() |
mod(D,cil(min(R,P))) | 87880 | 130536498 | o2(x,o1(o2(x,x))) | true | 19847 | 19847 | -0.5586 | 0.2207 | 0.6002 | 0.2515 | 0.5015 | -1 | 0.1454 | 1.145 | 1 | 2.121 | 0.004699 | 0.0004535 | 0.02019 | 0.824 | 1 | -0.0001481 | 0.009486 | 0.0157 | 0.004744 | 0.06888 | 3.411 | 1.145 | 0.02049 | 0.03772 | 1 | 1 | 0.005908 | 0.02549 | 0.0885 | 0.02349 | 0.1014 | 0.3519 | json |
| t16_x15_u4_b64 | 16 | 15 | 4 | 64 | ![]() |
mod(D,cil(dot(R,P))) | 87881 | 130536499 | o2(x,o1(o2(x,x))) | true | 19855 | 19855 | -0.3438 | 0.3281 | 0.4057 | 0.2327 | 0.4824 | -1 | 0.1454 | 1.145 | 1 | 2.609 | 0.01476 | 0.01254 | 0.04886 | 0.08157 | 1 | 0.00003013 | 0.05447 | 0.06141 | 0.02492 | 0.1578 | 3.231 | 1.415 | 0.1173 | 0.2341 | 1 | 1 | 0.02901 | 0.1267 | 0.4168 | 0.1247 | 0.5443 | 1.791 | json |
| t16_x15_u4_b65 | 16 | 15 | 4 | 65 | ![]() |
mod(D,cil(dst(R,P))) | 87882 | 130536500 | o2(x,o1(o2(x,x))) | true | 19863 | 19863 | 0 | 0.5 | 0.09436 | 0.01082 | 0.104 | -0.1454 | 0.1454 | 0.2908 | 1 | 2.561 | 0.001632 | 0 | 0.0361 | 1 | 1 | 0 | 0.0002563 | 0.01459 | 0.0003304 | 0.01818 | 0.5036 | 0.06192 | 0.1508 | 0.02368 | 1 | 1 | 0.003151 | 0.02183 | 0 | 0.2912 | 2.017 | 0 | json |
| t16_x15_u4_b66 | 16 | 15 | 4 | 66 | ![]() |
lrg(D,cil(add(R,P))) | 87883 | 130536501 | o2(x,o1(o2(x,x))) | true | 19871 | 19871 | 0.4688 | 0.5456 | 0.4688 | 0.2323 | 0.482 | 0 | 1 | 1 | 1 | 1.695 | 0.004802 | 0.0001228 | 0.01398 | 0.9501 | 1 | 0.000008556 | 0.008369 | 0.01117 | 0.004728 | 0.06876 | 4.917 | 0.9994 | 0.0212 | 0.03602 | 1 | 1 | 0.007296 | 0.03571 | 0.0835 | 0.0314 | 0.1537 | 0.3594 | json |
| t16_x15_u4_b67 | 16 | 15 | 4 | 67 | ![]() |
lrg(D,cil(sub(R,P))) | 87884 | 130536502 | o2(x,o1(o2(x,x))) | true | 19879 | 19879 | 0.4668 | 0.4955 | 0.4668 | 0.2423 | 0.4922 | 0 | 1 | 1 | 1 | 1.318 | 0.004454 | 0.0001452 | 0.008219 | 0.9368 | 1 | 0.000008556 | 0.008671 | 0.01026 | 0.00453 | 0.0673 | 8.189 | 1 | 0.01898 | 0.03579 | 1 | 1 | 0.006119 | 0.02826 | 0.08725 | 0.02526 | 0.1166 | 0.3601 | json |
| t16_x15_u4_b68 | 16 | 15 | 4 | 68 | ![]() |
lrg(D,cil(mlt(R,P))) | 87885 | 130536503 | o2(x,o1(o2(x,x))) | true | 19887 | 19887 | 0.4394 | 0.8972 | 0.4394 | 0.1513 | 0.3889 | 0 | 1 | 1 | 1 | 3.395 | 0.01513 | 0.002169 | 0.06591 | 0.7492 | 1 | 0.00003352 | 0.02646 | 0.04183 | 0.01296 | 0.1138 | 1.727 | 1 | 0.1144 | 0.1749 | 1 | 1 | 0.02395 | 0.1474 | 0.2509 | 0.1583 | 0.9742 | 1.658 | json |
| t16_x15_u4_b69 | 16 | 15 | 4 | 69 | ![]() |
lrg(D,cil(div(R,P))) | 87886 | 130536504 | o2(x,o1(o2(x,x))) | true | 19895 | 19895 | 0.2842 | 0.7839 | 0.2842 | 0.1224 | 0.3499 | 0 | 1 | 1 | 1 | 2.989 | 0.02832 | 0.001233 | 0.07381 | 0.9166 | 1 | 0.00003566 | 0.05249 | 0.06852 | 0.02411 | 0.1553 | 2.104 | 1 | 0.2413 | 0.4287 | 1 | 1 | 0.0325 | 0.1526 | 0.1788 | 0.2654 | 1.246 | 1.461 | json |
| t16_x15_u4_b70 | 16 | 15 | 4 | 70 | ![]() |
lrg(D,cil(pow(R,P))) | 87887 | 130536505 | o2(x,o1(o2(x,x))) | true | 19903 | 19903 | 0.4824 | 0.9095 | 0.4824 | 0.1575 | 0.3968 | 0 | 1 | 1 | 1 | 3.378 | 0.001896 | 0.002332 | 0.04958 | -0.1032 | 1 | 0.0000121 | 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_x15_u4_b71 | 16 | 15 | 4 | 71 | ![]() |
lrg(D,cil(mod(R,P))) | 87888 | 130536506 | o2(x,o1(o2(x,x))) | true | 19911 | 19911 | 0.3017 | 0.7901 | 0.3017 | 0.1296 | 0.36 | 0 | 1 | 1 | 1 | 3.027 | 0.02822 | 0.001127 | 0.07404 | 0.9232 | 1 | -0.000001431 | 0.05198 | 0.06811 | 0.02387 | 0.1545 | 2.087 | 0.9997 | 0.2265 | 0.4011 | 1 | 1 | 0.03417 | 0.1596 | 0.164 | 0.2637 | 1.231 | 1.266 | json |
| t16_x15_u4_b72 | 16 | 15 | 4 | 72 | ![]() |
lrg(D,cil(lrg(R,P))) | 87889 | 130536507 | o2(x,o1(o2(x,x))) | true | 19919 | 19919 | 0.2363 | 0.4831 | 0.2363 | 0.1283 | 0.3582 | 0 | 0.9997 | 0.9997 | 1 | 2.277 | 0.03244 | 0.00005267 | 0.0604 | 0.9968 | 1 | -0.00008699 | 0.06047 | 0.06697 | 0.02885 | 0.1699 | 2.812 | 0.9997 | 0.2533 | 0.4714 | 1 | 1 | 0.03637 | 0.1279 | 0.04032 | 0.2835 | 0.9974 | 0.3144 | json |
| t16_x15_u4_b73 | 16 | 15 | 4 | 73 | ![]() |
lrg(D,cil(eql(R,P))) | 87890 | 130536508 | o2(x,o1(o2(x,x))) | true | 19927 | 19927 | 0.5 | 1 | 0.5 | 0.1418 | 0.3765 | 0.000291 | 0.9997 | 0.9994 | 1 | 3.406 | 0.06511 | 0 | 0.1228 | 1 | 1 | 0 | 0.1208 | 0.1337 | 0.05001 | 0.2236 | 1.821 | 0.9994 | 0.4593 | 0.8522 | 1 | 1 | 0.07073 | 0.2419 | 0 | 0.4989 | 1.706 | 0 | json |
| t16_x15_u4_b74 | 16 | 15 | 4 | 74 | ![]() |
lrg(D,cil(min(R,P))) | 87891 | 130536509 | o2(x,o1(o2(x,x))) | true | 19935 | 19935 | 0.6191 | 0.9156 | 0.6191 | 0.1856 | 0.4309 | 0 | 1 | 1 | 1 | 2.531 | 0.01909 | 0.0005791 | 0.04736 | 0.9411 | 1 | -0.00003066 | 0.03513 | 0.0446 | 0.01743 | 0.132 | 2.788 | 0.9997 | 0.106 | 0.1893 | 1 | 1 | 0.02446 | 0.1063 | 0.1007 | 0.1318 | 0.5725 | 0.5425 | json |
| t16_x15_u4_b75 | 16 | 15 | 4 | 75 | ![]() |
lrg(D,cil(dot(R,P))) | 87892 | 130536510 | o2(x,o1(o2(x,x))) | true | 19943 | 19943 | 0.4834 | 0.9143 | 0.4834 | 0.1585 | 0.3982 | 0 | 1 | 1 | 1 | 3.361 | 0.007561 | 0.002378 | 0.05645 | 0.5214 | 1 | 0.0000656 | 0.01179 | 0.02564 | 0.006752 | 0.08217 | 1.456 | 1 | 0.06269 | 0.07434 | 1 | 1 | 0.01474 | 0.1227 | 0.2916 | 0.09299 | 0.7741 | 1.839 | json |
| t16_x15_u4_b76 | 16 | 15 | 4 | 76 | ![]() |
lrg(D,cil(dst(R,P))) | 87893 | 130536511 | o2(x,o1(o2(x,x))) | true | 19951 | 19951 | 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_x15_u4_b77 | 16 | 15 | 4 | 77 | ![]() |
eql(D,cil(add(R,P))) | 87894 | 130536512 | o2(x,o1(o2(x,x))) | true | 19959 | 19959 | 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_x15_u4_b78 | 16 | 15 | 4 | 78 | ![]() |
eql(D,cil(sub(R,P))) | 87895 | 130536513 | o2(x,o1(o2(x,x))) | true | 19967 | 19967 | 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_x15_u4_b79 | 16 | 15 | 4 | 79 | ![]() |
eql(D,cil(mlt(R,P))) | 87896 | 130536514 | o2(x,o1(o2(x,x))) | true | 19975 | 19975 | 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_x15_u4_b80 | 16 | 15 | 4 | 80 | ![]() |
eql(D,cil(div(R,P))) | 87897 | 130536515 | o2(x,o1(o2(x,x))) | true | 19983 | 19983 | 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_x15_u4_b81 | 16 | 15 | 4 | 81 | ![]() |
eql(D,cil(pow(R,P))) | 87898 | 130536516 | o2(x,o1(o2(x,x))) | true | 19991 | 19991 | 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_x15_u4_b82 | 16 | 15 | 4 | 82 | ![]() |
eql(D,cil(mod(R,P))) | 87899 | 130536517 | o2(x,o1(o2(x,x))) | true | 19999 | 19999 | 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 |



































































































