grad-noise-175k
Gradient noise, 175k (run of 2026-09-23) · A complete batch run over 175,797 lattice-noise expressions, with 32 texture diagnostics and a frame of each.
About this collection
This collection is complete and closed. Every expression in the space below was rendered and measured once, in a single batch run. Each row is one expression, and its coordinate links to it running live on uto.run.
The purpose is exploratory. There is no target texture and no attempt to resemble Perlin noise. A constant field, a strongly directional pattern or an odd value distribution is an observation, not a failure. The measurements describe textures so they can be sorted, filtered and compared. They are a lossy fingerprint, not a judgement of quality and not a substitute for looking.
The space
An ither formula with two layers:
- topo: expression trees of up to 64 nodes, built from unary (
o1), binary (o2) and leaf (x) slots - expr: fills those slots
- leaves:
P,D,R - unary:
sqt log frc flr cil sgn nrm - binary:
add sub mlt div pow mod lrg eql min dot dst
- leaves:
A coordinate t·x·u·b follows the formula's projection: t the topology,
x the leaf choices, u the unary choices, b the binary choices.
Points outside the space were omitted from the run. Two orderings ride along:
ordinal is the point's position in ither's whole enumeration (gaps where
points were omitted), and batch index is its place in the batch run's
sequence, 0 to 175,796 (the run's inputs.expr, and the number in its
frame's file name).
The apparatus
Each expression is evaluated at the corners of a rectangular lattice with
quintic blending (LATT.RECT.QUINTIC), over coordinates mlt(C, 8), in a
256 × 256 field #A. One configuration per expression: the dimension and
coordinate scale were fixed for the whole run.
Measurements are taken from #A's x channel, its stored values (not a
screenshot), at step 7, after which the run moves to the next expression. The
frame in each row is that field, remapped for display.
The measurements
Notation: f is the field value, E averages the whole field, and E_I
averages the interior (C-space [-0.98, 0.98]², which keeps wrapped edges out
of the spatial measures).
Value distribution
| key | meaning |
|---|---|
value_mean, value_abs_mean |
E[f] and E[|f|]: signed offset, typical distance from zero |
value_positive_fraction |
share of values above 0 (field tolerance 0.0001) |
value_variance, value_stddev |
population variance and SD: contrast |
value_min, value_max, value_range |
sampled extrema and their difference |
histogram_entropy_bits |
entropy of a 32-bin histogram over [−1, 1], 0 (one bin) to 5 (uniform) bits |
histogram_probability_sum |
consistency check, ≈ 1 |
Local roughness (one-pixel differences dx, dy, and g = √(dx² + dy²))
| key | meaning |
|---|---|
gradient_energy_x, gradient_energy_y |
E_I[dx²], E_I[dy²] |
gradient_magnitude_mean |
E_I[g]: roughness |
gradient_magnitude_variance, _stddev, _max |
how unevenly that roughness is spread, and its peak |
gradient_magnitude_cv |
SD / mean of g: uneven activity (quiet areas interrupted by edges), independent of amplitude |
gradient_axis_bias |
(Ex − Ey) / (Ex + Ey), −1 to 1: horizontal vs vertical preference. Zero does not mean isotropic (diagonals balance too) |
gradient_nonzero_flag |
1 if there is any gradient energy at all |
Change of slope (four-neighbour Laplacian L)
| key | meaning |
|---|---|
laplacian_mean, laplacian_energy, laplacian_abs_mean |
E_I[L], E_I[L²], E_I[|L|]. Sharp or high-frequency structure responds; a linear ramp does not |
Normalised by contrast (comparable across amplitudes)
| key | meaning |
|---|---|
gradient_energy_over_variance |
(Ex + Ey) / variance |
laplacian_energy_over_variance |
E_I[L²] / variance |
variance_normalization_valid_flag, gradient_cv_valid_flag |
whether the denominators above are meaningful (> 10⁻¹²). Filter on these before trusting a ratio |
Three spatial scales (mean squared difference at a distance, over the
central [-0.74, 0.74]²: 2, 8 and 32 pixels at this resolution)
| key | meaning |
|---|---|
scale_diff2_near, _mid, _far |
raw difference energy at each distance |
scale_diff2_near_over_variance, _mid_…, _far_… |
the same, normalised. Low near and rising far suggests smooth structure; a dip at a longer distance can hint at repetition |
Each record's json also holds value_histogram (the 32 bin probabilities)
and scale_curve (the three scales with their distances).
Reading them, and their limits
- Clipping.
#Akept its default signed domain, so values outside [−1, 1] were clipped before measuring. The diagnostics describe the clipped texture. - Combinations say more than any one key. A large range with modest SD and a high gradient peak suggests a few strong excursions. A broad histogram with low normalised detail suggests smooth variation. Similar roughness with a different CV means the activity is concentrated differently.
- Entropy is about values, not space. A smooth ramp can have high entropy, and shuffling the pixels would not change it.
- Raw spatial measures depend on resolution and amplitude. Prefer the normalised keys for detail independent of contrast, after checking the validity flags.
- Not measured: full orientation, spectra or periodicity, lacunarity, tileability, colour, novelty, aesthetic merit.
- Validation. The suite compiled and ran on every expression. Systematic numerical controls (constants, ramps, stripes, checkerboards, random pixels) and a comparison against longer settling times were not done before this run. Treat the values as exploratory.
Provenance
- Apparatus:
noiseBatch/one.uto, project SHA-256b6fc8f27…be04d0 - Expression corpus: SHA-256
7d3ec029…d72266 - Run files (canonical), in
~/lab/data/grad-noise-175k/: the enumeration (grad-noise-175k.jsonl), the measurements (grad-noise-175k-output.jsonl, joined oninputs.expr), the formula (grad-noise-175k.manifest.json) and the frames (png/)
| coordinate ▲ | t | x | u | b | expression | batch index | ordinal | topo | measured | step | globalStep | value_mean | value_positive_fraction | value_abs_mean | value_variance | value_stddev | value_min | value_max | value_range | histogram_probability_sum | histogram_entropy_bits | gradient_energy_x | gradient_energy_y | gradient_magnitude_mean | gradient_axis_bias | gradient_nonzero_flag | laplacian_mean | laplacian_energy | laplacian_abs_mean | gradient_magnitude_variance | gradient_magnitude_stddev | gradient_magnitude_cv | gradient_magnitude_max | gradient_energy_over_variance | laplacian_energy_over_variance | variance_normalization_valid_flag | gradient_cv_valid_flag | scale_diff2_near | scale_diff2_mid | scale_diff2_far | scale_diff2_near_over_variance | scale_diff2_mid_over_variance | scale_diff2_far_over_variance | ||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| t16_x24_u2_b102 | 16 | 24 | 2 | 102 | ![]() |
dot(R,frc(div(R,P))) | 95300 | 130899744 | o2(x,o1(o2(x,x))) | true | 79207 | 79207 | -1 | 0 | 1 | 0 | 0 | -1 | -1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t16_x24_u2_b103 | 16 | 24 | 2 | 103 | ![]() |
dot(R,frc(pow(R,P))) | 95301 | 130899745 | o2(x,o1(o2(x,x))) | true | 79215 | 79215 | -0.9829 | 0.01172 | 0.9937 | 0.02586 | 0.1608 | -1 | 1 | 2 | 1 | 0.1378 | 0.003432 | 0.002263 | 0.004198 | 0.2054 | 1 | 1.352e-10 | 0.01187 | 0.00745 | 0.005681 | 0.07537 | 17.95 | 2.001 | 0.2202 | 0.4589 | 1 | 1 | 0.01009 | 0.04132 | 0.09383 | 0.3903 | 1.598 | 3.629 | json |
| t16_x24_u2_b104 | 16 | 24 | 2 | 104 | ![]() |
dot(R,frc(mod(R,P))) | 95302 | 130899746 | o2(x,o1(o2(x,x))) | true | 79223 | 79223 | -0.0546 | 0.519 | 0.5399 | 0.4166 | 0.6454 | -1 | 1 | 2 | 1 | 4.314 | 0.01598 | 0.01742 | 0.06422 | -0.04326 | 1 | 0.0000199 | 0.05907 | 0.04951 | 0.02928 | 0.1711 | 2.665 | 2.828 | 0.08017 | 0.1418 | 1 | 1 | 0.04319 | 0.2344 | 0.743 | 0.1037 | 0.5628 | 1.784 | json |
| t16_x24_u2_b105 | 16 | 24 | 2 | 105 | ![]() |
dot(R,frc(lrg(R,P))) | 95303 | 130899747 | o2(x,o1(o2(x,x))) | true | 79231 | 79231 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t16_x24_u2_b106 | 16 | 24 | 2 | 106 | ![]() |
dot(R,frc(eql(R,P))) | 95304 | 130899748 | o2(x,o1(o2(x,x))) | true | 79239 | 79239 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t16_x24_u2_b107 | 16 | 24 | 2 | 107 | ![]() |
dot(R,frc(min(R,P))) | 95305 | 130899749 | o2(x,o1(o2(x,x))) | true | 79247 | 79247 | -0.02189 | 0.3043 | 0.2205 | 0.08255 | 0.2873 | -0.5997 | 1 | 1.6 | 1 | 3.963 | 0.00138 | 0.00106 | 0.03484 | 0.1309 | 1 | -0.000006617 | 0.0001662 | 0.00818 | 0.001226 | 0.03502 | 1.005 | 0.2132 | 0.02956 | 0.002013 | 1 | 1 | 0.004587 | 0.05952 | 0.1687 | 0.05557 | 0.721 | 2.044 | json |
| t16_x24_u2_b108 | 16 | 24 | 2 | 108 | ![]() |
dot(R,frc(dot(R,P))) | 95306 | 130899750 | o2(x,o1(o2(x,x))) | true | 79255 | 79255 | 0.0173 | 0.52 | 0.3027 | 0.1669 | 0.4085 | -1 | 1 | 2 | 1 | 4.57 | 0.00219 | 0.002284 | 0.05029 | -0.02118 | 1 | 0.00003326 | 0.0004759 | 0.01235 | 0.001945 | 0.04411 | 0.8771 | 0.3295 | 0.02681 | 0.002852 | 1 | 1 | 0.009176 | 0.1115 | 0.3248 | 0.05499 | 0.6682 | 1.947 | json |
| t16_x24_u2_b109 | 16 | 24 | 2 | 109 | ![]() |
dot(R,frc(dst(R,P))) | 95307 | 130899751 | o2(x,o1(o2(x,x))) | true | 79263 | 79263 | 0.008018 | 0.5198 | 0.2887 | 0.1536 | 0.3919 | -1 | 1 | 2 | 1 | 4.528 | 0.002257 | 0.002157 | 0.04914 | 0.02265 | 1 | 0.00001337 | 0.0004391 | 0.01186 | 0.002 | 0.04472 | 0.9101 | 0.3241 | 0.02874 | 0.002858 | 1 | 1 | 0.009596 | 0.1178 | 0.3051 | 0.06247 | 0.7668 | 1.986 | json |
| t16_x24_u2_b110 | 16 | 24 | 2 | 110 | ![]() |
dst(R,frc(add(R,P))) | 95308 | 130899752 | o2(x,o1(o2(x,x))) | true | 79271 | 79271 | 0.9191 | 1 | 0.9191 | 0.0494 | 0.2223 | 0.0002912 | 1 | 0.9997 | 1 | 1.186 | 0.0009654 | 0.001125 | 0.01789 | -0.0763 | 1 | -0.000009421 | 0.000363 | 0.006146 | 0.00177 | 0.04208 | 2.351 | 0.2025 | 0.04231 | 0.007347 | 1 | 1 | 0.004557 | 0.05131 | 0.1057 | 0.09224 | 1.039 | 2.14 | json |
| t16_x24_u2_b111 | 16 | 24 | 2 | 111 | ![]() |
dst(R,frc(sub(R,P))) | 95309 | 130899753 | o2(x,o1(o2(x,x))) | true | 79279 | 79279 | 0.9191 | 1 | 0.9191 | 0.0494 | 0.2223 | 0.0002912 | 1 | 0.9997 | 1 | 1.186 | 0.0009654 | 0.001125 | 0.01789 | -0.0763 | 1 | -0.000009421 | 0.000363 | 0.006146 | 0.00177 | 0.04208 | 2.351 | 0.2025 | 0.04231 | 0.007347 | 1 | 1 | 0.004557 | 0.05131 | 0.1057 | 0.09224 | 1.039 | 2.14 | json |
| t16_x24_u2_b112 | 16 | 24 | 2 | 112 | ![]() |
dst(R,frc(mlt(R,P))) | 95310 | 130899754 | o2(x,o1(o2(x,x))) | true | 79287 | 79287 | 0.9319 | 1 | 0.9319 | 0.02085 | 0.1444 | 0.1399 | 1 | 0.8601 | 1 | 1.578 | 0.0004784 | 0.0004152 | 0.0135 | 0.07066 | 1 | -0.00005339 | 0.0002408 | 0.00598 | 0.0007117 | 0.02668 | 1.976 | 0.1934 | 0.04286 | 0.01155 | 1 | 1 | 0.001722 | 0.01738 | 0.04175 | 0.08261 | 0.8336 | 2.002 | json |
| t16_x24_u2_b113 | 16 | 24 | 2 | 113 | ![]() |
dst(R,frc(div(R,P))) | 95311 | 130899755 | o2(x,o1(o2(x,x))) | true | 79295 | 79295 | -1 | 0 | 1 | 0 | 0 | -1 | -1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t16_x24_u2_b114 | 16 | 24 | 2 | 114 | ![]() |
dst(R,frc(pow(R,P))) | 95312 | 130899756 | o2(x,o1(o2(x,x))) | true | 79303 | 79303 | -0.9816 | 0.01172 | 0.9949 | 0.02863 | 0.1692 | -1 | 0.7481 | 1.748 | 1 | 0.1241 | 0.003749 | 0.002611 | 0.004148 | 0.1789 | 1 | 1.502e-11 | 0.01337 | 0.008007 | 0.006348 | 0.07967 | 19.21 | 2.447 | 0.2222 | 0.467 | 1 | 1 | 0.0112 | 0.04476 | 0.1038 | 0.3911 | 1.563 | 3.627 | json |
| t16_x24_u2_b115 | 16 | 24 | 2 | 115 | ![]() |
dst(R,frc(mod(R,P))) | 95313 | 130899757 | o2(x,o1(o2(x,x))) | true | 79311 | 79311 | 0.4677 | 0.7656 | 0.9365 | 0.699 | 0.8361 | -1 | 1 | 2 | 1 | 1.702 | 0.02775 | 0.02364 | 0.03986 | 0.08 | 1 | -0.000009421 | 0.1001 | 0.05664 | 0.04984 | 0.2232 | 5.6 | 2.001 | 0.07351 | 0.1431 | 1 | 1 | 0.06387 | 0.2832 | 1.086 | 0.09137 | 0.4051 | 1.554 | json |
| t16_x24_u2_b116 | 16 | 24 | 2 | 116 | ![]() |
dst(R,frc(lrg(R,P))) | 95314 | 130899758 | o2(x,o1(o2(x,x))) | true | 79319 | 79319 | 0.897 | 1 | 0.897 | 0.02252 | 0.1501 | 0.09951 | 1 | 0.9005 | 1 | 2.181 | 0.0003411 | 0.0004606 | 0.01666 | -0.149 | 1 | -0.00001961 | 0.000143 | 0.005703 | 0.0005243 | 0.0229 | 1.374 | 0.1266 | 0.0356 | 0.006351 | 1 | 1 | 0.001342 | 0.015 | 0.03485 | 0.05959 | 0.666 | 1.547 | json |
| t16_x24_u2_b117 | 16 | 24 | 2 | 117 | ![]() |
dst(R,frc(eql(R,P))) | 95315 | 130899759 | o2(x,o1(o2(x,x))) | true | 79327 | 79327 | 0.897 | 1 | 0.897 | 0.02252 | 0.1501 | 0.09951 | 1 | 0.9005 | 1 | 2.181 | 0.0003411 | 0.0004606 | 0.01666 | -0.149 | 1 | -0.00001961 | 0.000143 | 0.005703 | 0.0005243 | 0.0229 | 1.374 | 0.1266 | 0.0356 | 0.006351 | 1 | 1 | 0.001342 | 0.015 | 0.03485 | 0.05959 | 0.666 | 1.547 | json |
| t16_x24_u2_b118 | 16 | 24 | 2 | 118 | ![]() |
dst(R,frc(min(R,P))) | 95316 | 130899760 | o2(x,o1(o2(x,x))) | true | 79335 | 79335 | 0.9679 | 1 | 0.9679 | 0.01137 | 0.1066 | 0.07414 | 1 | 0.9259 | 1 | 0.8642 | 0.0002866 | 0.0002816 | 0.007681 | 0.008807 | 1 | -0.00001301 | 0.0001464 | 0.003391 | 0.0005093 | 0.02257 | 2.938 | 0.192 | 0.04999 | 0.01288 | 1 | 1 | 0.000985 | 0.01002 | 0.02274 | 0.08666 | 0.8813 | 2.001 | json |
| t16_x24_u2_b119 | 16 | 24 | 2 | 119 | ![]() |
dst(R,frc(dot(R,P))) | 95317 | 130899761 | o2(x,o1(o2(x,x))) | true | 79343 | 79343 | 0.9461 | 1 | 0.9461 | 0.01583 | 0.1258 | 0.1459 | 1 | 0.8541 | 1 | 1.323 | 0.0003824 | 0.0005075 | 0.0123 | -0.1406 | 1 | -0.00003427 | 0.0002864 | 0.005977 | 0.0007391 | 0.02719 | 2.211 | 0.2352 | 0.05622 | 0.01809 | 1 | 1 | 0.001739 | 0.01701 | 0.03285 | 0.1099 | 1.075 | 2.075 | json |
| t16_x24_u2_b120 | 16 | 24 | 2 | 120 | ![]() |
dst(R,frc(dst(R,P))) | 95318 | 130899762 | o2(x,o1(o2(x,x))) | true | 79351 | 79351 | 0.9523 | 1 | 0.9523 | 0.01403 | 0.1184 | 0.041 | 1 | 0.959 | 1 | 1.228 | 0.0004328 | 0.0004876 | 0.01201 | -0.05958 | 1 | -0.00003081 | 0.0003038 | 0.006122 | 0.0007766 | 0.02787 | 2.321 | 0.2301 | 0.06562 | 0.02166 | 1 | 1 | 0.001872 | 0.01767 | 0.0292 | 0.1334 | 1.259 | 2.082 | json |
| t16_x24_u3_b0 | 16 | 24 | 3 | 0 | ![]() |
add(R,flr(add(R,P))) | 95319 | 130899843 | o2(x,o1(o2(x,x))) | true | 79359 | 79359 | -0.05017 | 0.4776 | 0.9404 | 0.9168 | 0.9575 | -1 | 1 | 2 | 1 | 1.942 | 0.002048 | 0.001191 | 0.01646 | 0.2646 | 1 | -0.00003487 | 0.0008254 | 0.006742 | 0.002969 | 0.05449 | 3.31 | 0.4289 | 0.003532 | 0.0009003 | 1 | 1 | 0.00803 | 0.08324 | 0.3178 | 0.008759 | 0.09079 | 0.3466 | json |
| t16_x24_u3_b1 | 16 | 24 | 3 | 1 | ![]() |
add(R,flr(sub(R,P))) | 95320 | 130899844 | o2(x,o1(o2(x,x))) | true | 79367 | 79367 | -0.06155 | 0.4697 | 0.9312 | 0.9037 | 0.9507 | -1 | 1 | 2 | 1 | 2.027 | 0.001901 | 0.00119 | 0.01688 | 0.2301 | 1 | -0.00002157 | 0.0007796 | 0.006883 | 0.002806 | 0.05297 | 3.137 | 0.4501 | 0.00342 | 0.0008626 | 1 | 1 | 0.007348 | 0.07583 | 0.3304 | 0.008131 | 0.08391 | 0.3655 | json |
| t16_x24_u3_b2 | 16 | 24 | 3 | 2 | ![]() |
add(R,flr(mlt(R,P))) | 95321 | 130899845 | o2(x,o1(o2(x,x))) | true | 79375 | 79375 | -0.2741 | 0.3336 | 0.7477 | 0.5936 | 0.7705 | -1 | 1 | 2 | 1 | 3.617 | 0.01713 | 0.01807 | 0.08901 | -0.02664 | 1 | -0.00006125 | 0.02051 | 0.04886 | 0.02728 | 0.1652 | 1.855 | 1.511 | 0.05929 | 0.03455 | 1 | 1 | 0.05025 | 0.436 | 1.028 | 0.08464 | 0.7345 | 1.732 | json |
| t16_x24_u3_b3 | 16 | 24 | 3 | 3 | ![]() |
add(R,flr(div(R,P))) | 95322 | 130899846 | o2(x,o1(o2(x,x))) | true | 79383 | 79383 | -0.5143 | 0.1336 | 0.6296 | 0.2341 | 0.4839 | -1 | 0.9804 | 1.98 | 1 | 4.021 | 0.01114 | 0.003813 | 0.05741 | 0.4899 | 1 | 0.00008231 | 0.01647 | 0.02729 | 0.01165 | 0.108 | 1.88 | 1.943 | 0.06386 | 0.07033 | 1 | 1 | 0.02225 | 0.186 | 0.4466 | 0.09504 | 0.7947 | 1.908 | json |
| t16_x24_u3_b4 | 16 | 24 | 3 | 4 | ![]() |
add(R,flr(pow(R,P))) | 95323 | 130899847 | o2(x,o1(o2(x,x))) | true | 79391 | 79391 | -0.8622 | 0.07422 | 0.9894 | 0.2407 | 0.4906 | -1 | 1 | 2 | 1 | 0.5358 | 0.02139 | 0.02169 | 0.02381 | -0.00696 | 1 | 0.000002696 | 0.08966 | 0.04617 | 0.04252 | 0.2062 | 8.658 | 2.828 | 0.179 | 0.3726 | 1 | 1 | 0.04119 | 0.175 | 0.5624 | 0.1712 | 0.7271 | 2.337 | json |
| t16_x24_u3_b5 | 16 | 24 | 3 | 5 | ![]() |
add(R,flr(mod(R,P))) | 95324 | 130899848 | o2(x,o1(o2(x,x))) | true | 79399 | 79399 | -0.4416 | 0.3056 | 0.7098 | 0.42 | 0.648 | -1 | 0.9804 | 1.98 | 1 | 3.575 | 0.01684 | 0.007316 | 0.08006 | 0.3943 | 1 | 0.0001444 | 0.0244 | 0.0368 | 0.01775 | 0.1332 | 1.664 | 1.943 | 0.05752 | 0.0581 | 1 | 1 | 0.03686 | 0.3166 | 0.7492 | 0.08777 | 0.7539 | 1.784 | json |
| t16_x24_u3_b6 | 16 | 24 | 3 | 6 | ![]() |
add(R,flr(lrg(R,P))) | 95325 | 130899849 | o2(x,o1(o2(x,x))) | true | 79407 | 79407 | 0.3937 | 0.7233 | 0.6048 | 0.324 | 0.5692 | -0.9986 | 1 | 1.999 | 1 | 4.299 | 0.002645 | 0.002519 | 0.04966 | 0.02444 | 1 | -0.00002429 | 0.0006386 | 0.01415 | 0.002698 | 0.05194 | 1.046 | 0.3332 | 0.01594 | 0.001971 | 1 | 1 | 0.01068 | 0.1279 | 0.3464 | 0.03297 | 0.3948 | 1.069 | json |
| t16_x24_u3_b7 | 16 | 24 | 3 | 7 | ![]() |
add(R,flr(eql(R,P))) | 95326 | 130899850 | o2(x,o1(o2(x,x))) | true | 79415 | 79415 | 0.008979 | 0.4983 | 0.3946 | 0.2196 | 0.4686 | -0.9989 | 0.9806 | 1.979 | 1 | 4.862 | 0.002813 | 0.00317 | 0.0632 | -0.05957 | 1 | 0.00002651 | 0.0003508 | 0.01449 | 0.001989 | 0.0446 | 0.7057 | 0.2301 | 0.02725 | 0.001598 | 1 | 1 | 0.01182 | 0.1519 | 0.3914 | 0.05384 | 0.6917 | 1.782 | json |
| t16_x24_u3_b8 | 16 | 24 | 3 | 8 | ![]() |
add(R,flr(min(R,P))) | 95327 | 130899851 | o2(x,o1(o2(x,x))) | true | 79423 | 79423 | -0.6676 | 0.1694 | 0.8134 | 0.3057 | 0.5529 | -1 | 0.9804 | 1.98 | 1 | 2.587 | 0.004292 | 0.004279 | 0.04864 | 0.001601 | 1 | 0.00006254 | 0.001372 | 0.01556 | 0.006208 | 0.07879 | 1.62 | 0.3359 | 0.02804 | 0.004487 | 1 | 1 | 0.01734 | 0.1996 | 0.5008 | 0.05673 | 0.653 | 1.638 | json |
| t16_x24_u3_b9 | 16 | 24 | 3 | 9 | ![]() |
add(R,flr(dot(R,P))) | 95328 | 130899852 | o2(x,o1(o2(x,x))) | true | 79431 | 79431 | -0.2234 | 0.378 | 0.8587 | 0.7602 | 0.8719 | -1 | 1 | 2 | 1 | 2.816 | 0.02576 | 0.03205 | 0.1 | -0.1089 | 1 | 0.0000923 | 0.04686 | 0.07409 | 0.04781 | 0.2187 | 2.187 | 1.795 | 0.07604 | 0.06164 | 1 | 1 | 0.07491 | 0.5826 | 1.417 | 0.09855 | 0.7664 | 1.864 | json |
| t16_x24_u3_b10 | 16 | 24 | 3 | 10 | ![]() |
add(R,flr(dst(R,P))) | 95329 | 130899853 | o2(x,o1(o2(x,x))) | true | 79439 | 79439 | 0.9886 | 0.9963 | 0.9908 | 0.009651 | 0.09824 | -0.645 | 1 | 1.645 | 1 | 0.2338 | 0.0002375 | 0.0002669 | 0.002973 | -0.05841 | 1 | 3.379e-11 | 0.0001553 | 0.001462 | 0.0004959 | 0.02227 | 7.491 | 0.39 | 0.05227 | 0.01609 | 1 | 1 | 0.001661 | 0.01609 | 0.03282 | 0.1721 | 1.667 | 3.401 | json |
| t16_x24_u3_b11 | 16 | 24 | 3 | 11 | ![]() |
sub(R,flr(add(R,P))) | 95330 | 130899854 | o2(x,o1(o2(x,x))) | true | 79447 | 79447 | 0.06601 | 0.5328 | 0.9289 | 0.902 | 0.9497 | -1 | 1 | 2 | 1 | 2 | 0.0007515 | 0.00006826 | 0.008799 | 0.8335 | 1 | -0.000004504 | 0.0001399 | 0.002824 | 0.0007422 | 0.02724 | 3.096 | 0.2097 | 0.0009088 | 0.0001551 | 1 | 1 | 0.002071 | 0.02381 | 0.2187 | 0.002296 | 0.0264 | 0.2424 | json |
| t16_x24_u3_b12 | 16 | 24 | 3 | 12 | ![]() |
sub(R,flr(sub(R,P))) | 95331 | 130899855 | o2(x,o1(o2(x,x))) | true | 79455 | 79455 | 0.06415 | 0.5317 | 0.9305 | 0.9041 | 0.9508 | -1 | 1 | 2 | 1 | 1.99 | 0.0007594 | 0.0000761 | 0.008868 | 0.8178 | 1 | -0.000004512 | 0.0001395 | 0.002843 | 0.0007571 | 0.02752 | 3.103 | 0.2002 | 0.0009242 | 0.0001543 | 1 | 1 | 0.002089 | 0.02427 | 0.2211 | 0.00231 | 0.02685 | 0.2446 | json |
| t16_x24_u3_b13 | 16 | 24 | 3 | 13 | ![]() |
sub(R,flr(mlt(R,P))) | 95332 | 130899856 | o2(x,o1(o2(x,x))) | true | 79463 | 79463 | 0.2744 | 0.6522 | 0.7783 | 0.6252 | 0.7907 | -1 | 1 | 2 | 1 | 3.562 | 0.01702 | 0.01831 | 0.08801 | -0.0365 | 1 | 0.000004098 | 0.02094 | 0.04875 | 0.02757 | 0.166 | 1.887 | 1.59 | 0.0565 | 0.03349 | 1 | 1 | 0.04924 | 0.4222 | 1.056 | 0.07876 | 0.6753 | 1.689 | json |
| t16_x24_u3_b14 | 16 | 24 | 3 | 14 | ![]() |
sub(R,flr(div(R,P))) | 95333 | 130899857 | o2(x,o1(o2(x,x))) | true | 79471 | 79471 | 0.2683 | 0.7194 | 0.6481 | 0.4445 | 0.6667 | -1 | 1 | 2 | 1 | 4.353 | 0.02358 | 0.003806 | 0.05857 | 0.722 | 1 | 0.00001327 | 0.04264 | 0.03815 | 0.02396 | 0.1548 | 2.643 | 2.015 | 0.06161 | 0.09593 | 1 | 1 | 0.03891 | 0.2418 | 0.7035 | 0.08755 | 0.5439 | 1.583 | json |
| t16_x24_u3_b15 | 16 | 24 | 3 | 15 | ![]() |
sub(R,flr(pow(R,P))) | 95334 | 130899858 | o2(x,o1(o2(x,x))) | true | 79479 | 79479 | -0.9733 | 0.01212 | 0.9861 | 0.03355 | 0.1832 | -1 | 0.9427 | 1.943 | 1 | 0.3147 | 0.004928 | 0.003416 | 0.008788 | 0.1813 | 1 | 0.000002697 | 0.01676 | 0.0126 | 0.00827 | 0.09094 | 10.35 | 2.697 | 0.2487 | 0.4996 | 1 | 1 | 0.006831 | 0.02922 | 0.05383 | 0.2036 | 0.8709 | 1.605 | json |
| t16_x24_u3_b16 | 16 | 24 | 3 | 16 | ![]() |
sub(R,flr(mod(R,P))) | 95335 | 130899859 | o2(x,o1(o2(x,x))) | true | 79487 | 79487 | 0.337 | 0.875 | 0.587 | 0.3015 | 0.5491 | -1 | 0.997 | 1.997 | 1 | 3.893 | 0.02159 | 0.0006142 | 0.03977 | 0.9447 | 1 | 0.00004894 | 0.04201 | 0.03172 | 0.02062 | 0.1436 | 3.611 | 1.943 | 0.07365 | 0.1394 | 1 | 1 | 0.02948 | 0.1355 | 0.4916 | 0.09777 | 0.4495 | 1.631 | json |
| t16_x24_u3_b17 | 16 | 24 | 3 | 17 | ![]() |
sub(R,flr(lrg(R,P))) | 95336 | 130899860 | o2(x,o1(o2(x,x))) | true | 79495 | 79495 | -0.4044 | 0.2183 | 0.5766 | 0.2742 | 0.5236 | -1 | 0.9806 | 1.981 | 1 | 4.4 | 0.00222 | 0.002293 | 0.04913 | -0.01601 | 1 | 0.00004808 | 0.000506 | 0.01343 | 0.002099 | 0.04581 | 0.9325 | 0.223 | 0.01646 | 0.001845 | 1 | 1 | 0.008635 | 0.104 | 0.2902 | 0.03149 | 0.3794 | 1.058 | json |
| t16_x24_u3_b18 | 16 | 24 | 3 | 18 | ![]() |
sub(R,flr(eql(R,P))) | 95337 | 130899861 | o2(x,o1(o2(x,x))) | true | 79503 | 79503 | 0.008979 | 0.4983 | 0.3946 | 0.2196 | 0.4686 | -0.9989 | 0.9806 | 1.979 | 1 | 4.862 | 0.002813 | 0.00317 | 0.0632 | -0.05957 | 1 | 0.00002651 | 0.0003508 | 0.01449 | 0.001989 | 0.0446 | 0.7057 | 0.2301 | 0.02725 | 0.001598 | 1 | 1 | 0.01182 | 0.1519 | 0.3914 | 0.05384 | 0.6917 | 1.782 | json |
| t16_x24_u3_b19 | 16 | 24 | 3 | 19 | ![]() |
sub(R,flr(min(R,P))) | 95338 | 130899862 | o2(x,o1(o2(x,x))) | true | 79511 | 79511 | 0.7413 | 1 | 0.7413 | 0.08105 | 0.2847 | 0.001084 | 1 | 0.9989 | 1 | 3.06 | 0.0005177 | 0.0004388 | 0.01829 | 0.08247 | 1 | 0.00001194 | 0.0001172 | 0.004751 | 0.0006219 | 0.02494 | 1.363 | 0.2097 | 0.0118 | 0.001446 | 1 | 1 | 0.001709 | 0.02061 | 0.06965 | 0.02108 | 0.2543 | 0.8593 | json |
| t16_x24_u3_b20 | 16 | 24 | 3 | 20 | ![]() |
sub(R,flr(dot(R,P))) | 95339 | 130899863 | o2(x,o1(o2(x,x))) | true | 79519 | 79519 | 0.2316 | 0.6157 | 0.8523 | 0.7496 | 0.8658 | -1 | 1 | 2 | 1 | 2.85 | 0.02465 | 0.03297 | 0.1013 | -0.1443 | 1 | -0.00004685 | 0.0464 | 0.0739 | 0.04737 | 0.2176 | 2.149 | 1.964 | 0.07686 | 0.06189 | 1 | 1 | 0.07289 | 0.5659 | 1.358 | 0.09724 | 0.7549 | 1.812 | json |
| t16_x24_u3_b21 | 16 | 24 | 3 | 21 | ![]() |
sub(R,flr(dst(R,P))) | 95340 | 130899864 | o2(x,o1(o2(x,x))) | true | 79527 | 79527 | -0.9798 | 0.005157 | 0.9822 | 0.01624 | 0.1274 | -1 | 0.4829 | 1.483 | 1 | 0.3483 | 0.000281 | 0.0002608 | 0.003728 | 0.03719 | 1 | -9.386e-11 | 0.0001489 | 0.001535 | 0.0005283 | 0.02299 | 6.166 | 0.424 | 0.03336 | 0.009168 | 1 | 1 | 0.001795 | 0.01822 | 0.0512 | 0.1105 | 1.122 | 3.152 | json |
| t16_x24_u3_b22 | 16 | 24 | 3 | 22 | ![]() |
mlt(R,flr(add(R,P))) | 95341 | 130899865 | o2(x,o1(o2(x,x))) | true | 79535 | 79535 | 0.04076 | 0.5364 | 0.7361 | 0.6541 | 0.8088 | -1 | 1 | 2 | 1 | 3.794 | 0.01627 | 0.0196 | 0.09117 | -0.09269 | 1 | -0.00006765 | 0.02028 | 0.04889 | 0.02755 | 0.166 | 1.821 | 1.33 | 0.05483 | 0.03101 | 1 | 1 | 0.05006 | 0.4331 | 1.031 | 0.07653 | 0.6622 | 1.576 | json |
| t16_x24_u3_b23 | 16 | 24 | 3 | 23 | ![]() |
mlt(R,flr(sub(R,P))) | 95342 | 130899866 | o2(x,o1(o2(x,x))) | true | 79543 | 79543 | 0.1668 | 0.6012 | 0.733 | 0.6253 | 0.7907 | -1 | 1 | 2 | 1 | 3.78 | 0.01666 | 0.01946 | 0.09229 | -0.07731 | 1 | 0.00002252 | 0.0202 | 0.04963 | 0.02762 | 0.1662 | 1.801 | 1.613 | 0.05777 | 0.03231 | 1 | 1 | 0.05091 | 0.4452 | 1.016 | 0.08142 | 0.712 | 1.625 | json |
| t16_x24_u3_b24 | 16 | 24 | 3 | 24 | ![]() |
mlt(R,flr(mlt(R,P))) | 95343 | 130899867 | o2(x,o1(o2(x,x))) | true | 79551 | 79551 | -0.001467 | 0.4751 | 0.6488 | 0.5724 | 0.7566 | -1 | 1 | 2 | 1 | 3.932 | 0.002121 | 0.002734 | 0.03767 | -0.1261 | 1 | 0.00009413 | 0.001761 | 0.01703 | 0.003436 | 0.05862 | 1.556 | 0.4492 | 0.008482 | 0.003076 | 1 | 1 | 0.007707 | 0.07596 | 0.2437 | 0.01346 | 0.1327 | 0.4257 | json |
| t16_x24_u3_b25 | 16 | 24 | 3 | 25 | ![]() |
mlt(R,flr(div(R,P))) | 95344 | 130899868 | o2(x,o1(o2(x,x))) | true | 79559 | 79559 | -0.1291 | 0.4215 | 0.3619 | 0.2319 | 0.4815 | -1 | 0.9987 | 1.999 | 1 | 4.395 | 0.008237 | 0.0009643 | 0.03664 | 0.7904 | 1 | -0.00001751 | 0.01518 | 0.02122 | 0.007858 | 0.08865 | 2.419 | 1.865 | 0.03968 | 0.06548 | 1 | 1 | 0.01344 | 0.08141 | 0.2772 | 0.05796 | 0.3511 | 1.195 | json |
| t16_x24_u3_b26 | 16 | 24 | 3 | 26 | ![]() |
mlt(R,flr(pow(R,P))) | 95345 | 130899869 | o2(x,o1(o2(x,x))) | true | 79567 | 79567 | -0.8921 | 0.04924 | 0.9729 | 0.1703 | 0.4127 | -1 | 1 | 2 | 1 | 0.6571 | 0.0166 | 0.01559 | 0.0208 | 0.03151 | 1 | -2.328e-10 | 0.06671 | 0.03759 | 0.03178 | 0.1783 | 8.571 | 2.828 | 0.1891 | 0.3918 | 1 | 1 | 0.03101 | 0.1335 | 0.374 | 0.1821 | 0.7843 | 2.197 | json |
| t16_x24_u3_b27 | 16 | 24 | 3 | 27 | ![]() |
mlt(R,flr(mod(R,P))) | 95346 | 130899870 | o2(x,o1(o2(x,x))) | true | 79575 | 79575 | 0.09585 | 0.8121 | 0.3458 | 0.2287 | 0.4782 | -1 | 0.9989 | 1.999 | 1 | 3.475 | 0.01172 | 0.0008216 | 0.03638 | 0.8689 | 1 | -0.00002454 | 0.02222 | 0.02479 | 0.01121 | 0.1059 | 2.911 | 1.968 | 0.05482 | 0.09716 | 1 | 1 | 0.01688 | 0.09218 | 0.3539 | 0.07379 | 0.403 | 1.547 | json |
| t16_x24_u3_b28 | 16 | 24 | 3 | 28 | ![]() |
mlt(R,flr(lrg(R,P))) | 95347 | 130899871 | o2(x,o1(o2(x,x))) | true | 79583 | 79583 | 0.03488 | 0.3128 | 0.2019 | 0.1109 | 0.3331 | -0.9989 | 0.9693 | 1.968 | 1 | 3.377 | 0.00124 | 0.00164 | 0.03127 | -0.1387 | 1 | 0.00002708 | 0.000164 | 0.007099 | 0.001902 | 0.04362 | 1.395 | 0.2301 | 0.02597 | 0.001479 | 1 | 1 | 0.005641 | 0.07166 | 0.1897 | 0.05085 | 0.6461 | 1.71 | json |
| t16_x24_u3_b29 | 16 | 24 | 3 | 29 | ![]() |
mlt(R,flr(eql(R,P))) | 95348 | 130899872 | o2(x,o1(o2(x,x))) | true | 79591 | 79591 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t16_x24_u3_b30 | 16 | 24 | 3 | 30 | ![]() |
mlt(R,flr(min(R,P))) | 95349 | 130899873 | o2(x,o1(o2(x,x))) | true | 79599 | 79599 | 0.1096 | 0.7231 | 0.5052 | 0.3872 | 0.6222 | -1 | 1 | 2 | 1 | 4.174 | 0.0083 | 0.0107 | 0.06219 | -0.1264 | 1 | -0.00002917 | 0.01011 | 0.02833 | 0.01513 | 0.123 | 1.978 | 1.294 | 0.04908 | 0.02612 | 1 | 1 | 0.02818 | 0.2451 | 0.5401 | 0.07279 | 0.6332 | 1.395 | json |
| t16_x24_u3_b31 | 16 | 24 | 3 | 31 | ![]() |
mlt(R,flr(dot(R,P))) | 95350 | 130899874 | o2(x,o1(o2(x,x))) | true | 79607 | 79607 | 0.04512 | 0.5102 | 0.7375 | 0.6655 | 0.8158 | -1 | 1 | 2 | 1 | 3.614 | 0.007593 | 0.007027 | 0.05868 | 0.03871 | 1 | -0.00001202 | 0.006499 | 0.02991 | 0.01118 | 0.1057 | 1.801 | 1.284 | 0.02197 | 0.009765 | 1 | 1 | 0.02101 | 0.1997 | 0.5239 | 0.03157 | 0.3 | 0.7872 | json |
| t16_x24_u3_b32 | 16 | 24 | 3 | 32 | ![]() |
mlt(R,flr(dst(R,P))) | 95351 | 130899875 | o2(x,o1(o2(x,x))) | true | 79615 | 79615 | -0.00999 | 0.4978 | 0.845 | 0.7958 | 0.8921 | -1 | 1 | 2 | 1 | 2.954 | 0.02425 | 0.02839 | 0.1005 | -0.07863 | 1 | 0.00007564 | 0.03751 | 0.06804 | 0.04254 | 0.2062 | 2.052 | 1.962 | 0.06614 | 0.04713 | 1 | 1 | 0.07062 | 0.5678 | 1.338 | 0.08875 | 0.7135 | 1.682 | json |
| t16_x24_u3_b33 | 16 | 24 | 3 | 33 | ![]() |
div(R,flr(add(R,P))) | 95352 | 130899876 | o2(x,o1(o2(x,x))) | true | 79623 | 79623 | -0.1136 | 0.4043 | 0.2454 | 0.1522 | 0.3901 | -1 | 1 | 2 | 1 | 3.633 | 0.009957 | 0.01049 | 0.03042 | -0.02623 | 1 | 0.000005105 | 0.04113 | 0.03015 | 0.01953 | 0.1397 | 4.593 | 2.828 | 0.1344 | 0.2703 | 1 | 1 | 0.0261 | 0.1195 | 0.3676 | 0.1716 | 0.7853 | 2.416 | json |
| t16_x24_u3_b34 | 16 | 24 | 3 | 34 | ![]() |
div(R,flr(sub(R,P))) | 95353 | 130899877 | o2(x,o1(o2(x,x))) | true | 79631 | 79631 | -0.1405 | 0.4563 | 0.2479 | 0.1506 | 0.3881 | -1 | 1 | 2 | 1 | 3.544 | 0.00946 | 0.007277 | 0.02933 | 0.1305 | 1 | 0.00001918 | 0.03296 | 0.02687 | 0.01588 | 0.126 | 4.296 | 2.828 | 0.1111 | 0.2188 | 1 | 1 | 0.02375 | 0.1117 | 0.3274 | 0.1576 | 0.7413 | 2.174 | json |
| t16_x24_u3_b35 | 16 | 24 | 3 | 35 | ![]() |
div(R,flr(mlt(R,P))) | 95354 | 130899878 | o2(x,o1(o2(x,x))) | true | 79639 | 79639 | -0.5059 | 0.2539 | 0.6598 | 0.3367 | 0.5802 | -1 | 1 | 2 | 1 | 2.691 | 0.02392 | 0.02011 | 0.03708 | 0.08661 | 1 | 7.113e-7 | 0.09216 | 0.0685 | 0.04266 | 0.2065 | 5.57 | 2.828 | 0.1308 | 0.2737 | 1 | 1 | 0.04075 | 0.1753 | 0.4875 | 0.1211 | 0.5208 | 1.448 | json |
| t16_x24_u3_b36 | 16 | 24 | 3 | 36 | ![]() |
div(R,flr(div(R,P))) | 95355 | 130899879 | o2(x,o1(o2(x,x))) | true | 79647 | 79647 | -0.8238 | 0.08203 | 0.9558 | 0.2624 | 0.5122 | -1 | 1 | 2 | 1 | 1.094 | 0.03086 | 0.0279 | 0.0372 | 0.05039 | 1 | -0.000004314 | 0.1243 | 0.07008 | 0.05741 | 0.2396 | 6.441 | 2.828 | 0.224 | 0.4739 | 1 | 1 | 0.06597 | 0.279 | 0.5003 | 0.2514 | 1.063 | 1.907 | json |
| t16_x24_u3_b37 | 16 | 24 | 3 | 37 | ![]() |
div(R,flr(pow(R,P))) | 95356 | 130899880 | o2(x,o1(o2(x,x))) | true | 79655 | 79655 | -0.9378 | 0.043 | 0.9659 | 0.07917 | 0.2814 | -1 | 0.9427 | 1.943 | 1 | 0.5014 | 0.007668 | 0.007513 | 0.01332 | 0.01022 | 1 | 0.000005299 | 0.03157 | 0.0227 | 0.01501 | 0.1225 | 9.196 | 1.976 | 0.1918 | 0.3987 | 1 | 1 | 0.01544 | 0.06882 | 0.1894 | 0.1951 | 0.8693 | 2.392 | json |
| t16_x24_u3_b38 | 16 | 24 | 3 | 38 | ![]() |
div(R,flr(mod(R,P))) | 95357 | 130899881 | o2(x,o1(o2(x,x))) | true | 79663 | 79663 | -0.789 | 0.1211 | 0.9688 | 0.3345 | 0.5784 | -1 | 1 | 2 | 1 | 0.8954 | 0.03749 | 0.03755 | 0.0426 | -0.0007688 | 1 | 0.000001442 | 0.1583 | 0.08263 | 0.0732 | 0.2705 | 6.351 | 2.828 | 0.2243 | 0.4732 | 1 | 1 | 0.07701 | 0.3233 | 0.6695 | 0.2302 | 0.9666 | 2.001 | json |
| t16_x24_u3_b39 | 16 | 24 | 3 | 39 | ![]() |
div(R,flr(lrg(R,P))) | 95358 | 130899882 | o2(x,o1(o2(x,x))) | true | 79671 | 79671 | -0.5245 | 0.2468 | 0.7292 | 0.3754 | 0.6127 | -1 | 0.9693 | 1.969 | 1 | 3.17 | 0.007962 | 0.004214 | 0.03444 | 0.3078 | 1 | 0.00003761 | 0.01996 | 0.01989 | 0.01099 | 0.1048 | 3.044 | 2.587 | 0.03244 | 0.05318 | 1 | 1 | 0.01797 | 0.1136 | 0.3039 | 0.04786 | 0.3027 | 0.8096 | json |
| t16_x24_u3_b40 | 16 | 24 | 3 | 40 | ![]() |
div(R,flr(eql(R,P))) | 95359 | 130899883 | o2(x,o1(o2(x,x))) | true | 79679 | 79679 | -1 | 0 | 1 | 0 | 0 | -1 | -1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t16_x24_u3_b41 | 16 | 24 | 3 | 41 | ![]() |
div(R,flr(min(R,P))) | 95360 | 130899884 | o2(x,o1(o2(x,x))) | true | 79687 | 79687 | -0.4009 | 0.2968 | 0.5905 | 0.38 | 0.6164 | -1 | 1 | 2 | 1 | 3.058 | 0.02836 | 0.02339 | 0.03935 | 0.09592 | 1 | 0.000005331 | 0.1081 | 0.06007 | 0.0502 | 0.2241 | 5.693 | 2.828 | 0.1362 | 0.2845 | 1 | 1 | 0.05664 | 0.2437 | 0.5752 | 0.1491 | 0.6414 | 1.514 | json |
| t16_x24_u3_b42 | 16 | 24 | 3 | 42 | ![]() |
div(R,flr(dot(R,P))) | 95361 | 130899885 | o2(x,o1(o2(x,x))) | true | 79695 | 79695 | -0.2998 | 0.3612 | 0.4639 | 0.2978 | 0.5457 | -1 | 1 | 2 | 1 | 3.453 | 0.01957 | 0.02451 | 0.04614 | -0.1121 | 1 | -0.000002967 | 0.09134 | 0.0702 | 0.04194 | 0.2048 | 4.439 | 2.828 | 0.148 | 0.3067 | 1 | 1 | 0.0501 | 0.2175 | 0.5832 | 0.1682 | 0.7303 | 1.959 | json |
| t16_x24_u3_b43 | 16 | 24 | 3 | 43 | ![]() |
div(R,flr(dst(R,P))) | 95362 | 130899886 | o2(x,o1(o2(x,x))) | true | 79703 | 79703 | -0.03237 | 0.4724 | 0.125 | 0.05834 | 0.2415 | -1 | 1 | 2 | 1 | 2.96 | 0.003667 | 0.003912 | 0.01797 | -0.03237 | 1 | 0.000002069 | 0.01512 | 0.01355 | 0.007256 | 0.08518 | 4.74 | 2.828 | 0.1299 | 0.2591 | 1 | 1 | 0.01375 | 0.06298 | 0.1775 | 0.2358 | 1.08 | 3.042 | json |
| t16_x24_u3_b44 | 16 | 24 | 3 | 44 | ![]() |
pow(R,flr(add(R,P))) | 95363 | 130899887 | o2(x,o1(o2(x,x))) | true | 79711 | 79711 | -0.8892 | 0.05859 | 0.9936 | 0.2009 | 0.4482 | -1 | 1 | 2 | 1 | 0.4208 | 0.0226 | 0.01925 | 0.02218 | 0.08002 | 1 | 0.000004379 | 0.08795 | 0.04358 | 0.04135 | 0.2033 | 9.166 | 2.828 | 0.2083 | 0.4379 | 1 | 1 | 0.04189 | 0.1727 | 0.4231 | 0.2085 | 0.8599 | 2.106 | json |
| t16_x24_u3_b45 | 16 | 24 | 3 | 45 | ![]() |
pow(R,flr(sub(R,P))) | 95364 | 130899888 | o2(x,o1(o2(x,x))) | true | 79719 | 79719 | -0.9094 | 0.05829 | 0.9734 | 0.1405 | 0.3748 | -1 | 1 | 2 | 1 | 0.5241 | 0.01525 | 0.01419 | 0.01899 | 0.03607 | 1 | 0.000004748 | 0.06198 | 0.03592 | 0.02908 | 0.1705 | 8.98 | 2.828 | 0.2095 | 0.4411 | 1 | 1 | 0.02976 | 0.1234 | 0.3023 | 0.2118 | 0.8782 | 2.152 | json |
| t16_x24_u3_b46 | 16 | 24 | 3 | 46 | ![]() |
pow(R,flr(mlt(R,P))) | 95365 | 130899889 | o2(x,o1(o2(x,x))) | true | 79727 | 79727 | -0.6513 | 0.1758 | 0.9972 | 0.5721 | 0.7564 | -1 | 1 | 2 | 1 | 0.7087 | 0.04391 | 0.03245 | 0.0384 | 0.1502 | 1 | 0.000001591 | 0.1581 | 0.07703 | 0.07488 | 0.2736 | 7.126 | 2.828 | 0.1335 | 0.2763 | 1 | 1 | 0.0815 | 0.3338 | 1.036 | 0.1425 | 0.5835 | 1.812 | json |
| t16_x24_u3_b47 | 16 | 24 | 3 | 47 | ![]() |
pow(R,flr(div(R,P))) | 95366 | 130899890 | o2(x,o1(o2(x,x))) | true | 79735 | 79735 | -0.08668 | 0.4609 | 0.9914 | 0.9825 | 0.9912 | -1 | 1 | 2 | 1 | 1.128 | 0.01476 | 0.006963 | 0.01288 | 0.359 | 1 | -5.632e-11 | 0.04463 | 0.02375 | 0.02155 | 0.1468 | 11.4 | 2.828 | 0.02211 | 0.04543 | 1 | 1 | 0.02384 | 0.102 | 0.4128 | 0.02427 | 0.1038 | 0.4202 | json |
| t16_x24_u3_b48 | 16 | 24 | 3 | 48 | ![]() |
pow(R,flr(pow(R,P))) | 95367 | 130899891 | o2(x,o1(o2(x,x))) | true | 79743 | 79743 | -0.9383 | 0.04088 | 0.9757 | 0.09008 | 0.3001 | -1 | 1 | 2 | 1 | 0.4116 | 0.008954 | 0.009639 | 0.01339 | -0.03684 | 1 | 0.000007153 | 0.03877 | 0.02425 | 0.01841 | 0.1357 | 10.14 | 2.828 | 0.2064 | 0.4303 | 1 | 1 | 0.01325 | 0.05925 | 0.1461 | 0.1471 | 0.6578 | 1.622 | json |
| t16_x24_u3_b49 | 16 | 24 | 3 | 49 | ![]() |
pow(R,flr(mod(R,P))) | 95368 | 130899892 | o2(x,o1(o2(x,x))) | true | 79751 | 79751 | -0.9297 | 0.03516 | 1 | 0.1356 | 0.3683 | -1 | 1 | 2 | 1 | 0.2196 | 0.01487 | 0.01235 | 0.01351 | 0.09259 | 1 | 0 | 0.05694 | 0.02721 | 0.027 | 0.1643 | 12.16 | 2.828 | 0.2006 | 0.4198 | 1 | 1 | 0.02366 | 0.09712 | 0.2474 | 0.1744 | 0.716 | 1.824 | json |
| t16_x24_u3_b50 | 16 | 24 | 3 | 50 | ![]() |
pow(R,flr(lrg(R,P))) | 95369 | 130899893 | o2(x,o1(o2(x,x))) | true | 79759 | 79759 | 0.07442 | 0.5508 | 0.9729 | 0.9538 | 0.9766 | -1 | 1 | 2 | 1 | 1.543 | 0.0175 | 0.01051 | 0.01967 | 0.2496 | 1 | 0.000007902 | 0.05784 | 0.03449 | 0.02761 | 0.1662 | 8.446 | 2.828 | 0.02937 | 0.06064 | 1 | 1 | 0.03083 | 0.1327 | 0.5055 | 0.03232 | 0.1392 | 0.53 | json |
| t16_x24_u3_b51 | 16 | 24 | 3 | 51 | ![]() |
pow(R,flr(eql(R,P))) | 95370 | 130899894 | o2(x,o1(o2(x,x))) | true | 79767 | 79767 | 1 | 1 | 1 | 0 | 0 | 1 | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t16_x24_u3_b52 | 16 | 24 | 3 | 52 | ![]() |
pow(R,flr(min(R,P))) | 95371 | 130899895 | o2(x,o1(o2(x,x))) | true | 79775 | 79775 | -0.9141 | 0.04297 | 1 | 0.1645 | 0.4056 | -1 | 1 | 2 | 1 | 0.2557 | 0.01688 | 0.01638 | 0.01652 | 0.01515 | 1 | 0 | 0.06954 | 0.03326 | 0.03297 | 0.1816 | 10.99 | 2.828 | 0.2022 | 0.4228 | 1 | 1 | 0.02543 | 0.1095 | 0.2757 | 0.1546 | 0.6659 | 1.676 | json |
| t16_x24_u3_b53 | 16 | 24 | 3 | 53 | ![]() |
pow(R,flr(dot(R,P))) | 95372 | 130899896 | o2(x,o1(o2(x,x))) | true | 79783 | 79783 | -0.7347 | 0.1367 | 0.9919 | 0.4484 | 0.6696 | -1 | 1 | 2 | 1 | 0.7274 | 0.02952 | 0.03507 | 0.03437 | -0.08594 | 1 | -0.000001332 | 0.1337 | 0.06652 | 0.06343 | 0.2519 | 7.328 | 2.828 | 0.144 | 0.2982 | 1 | 1 | 0.06677 | 0.2771 | 0.871 | 0.1489 | 0.6179 | 1.942 | json |
| t16_x24_u3_b54 | 16 | 24 | 3 | 54 | ![]() |
pow(R,flr(dst(R,P))) | 95373 | 130899897 | o2(x,o1(o2(x,x))) | true | 79791 | 79791 | -0.9348 | 0.05045 | 0.9637 | 0.08388 | 0.2896 | -1 | 0.9998 | 2 | 1 | 0.4645 | 0.009591 | 0.00734 | 0.01364 | 0.1329 | 1 | 0.000005089 | 0.03534 | 0.02534 | 0.01675 | 0.1294 | 9.488 | 2.828 | 0.2018 | 0.4213 | 1 | 1 | 0.0188 | 0.07936 | 0.2038 | 0.2241 | 0.9461 | 2.43 | json |
| t16_x24_u3_b55 | 16 | 24 | 3 | 55 | ![]() |
mod(R,flr(add(R,P))) | 95374 | 130899898 | o2(x,o1(o2(x,x))) | true | 79799 | 79799 | -0.1298 | 0.4247 | 0.4729 | 0.3047 | 0.552 | -1 | 0.9806 | 1.981 | 1 | 4.759 | 0.0107 | 0.007253 | 0.06368 | 0.1921 | 1 | 0.00005347 | 0.02665 | 0.0316 | 0.0139 | 0.1179 | 1.851 | 2.061 | 0.05892 | 0.08748 | 1 | 1 | 0.02252 | 0.1731 | 0.5092 | 0.0739 | 0.568 | 1.671 | json |
| t16_x24_u3_b56 | 16 | 24 | 3 | 56 | ![]() |
mod(R,flr(sub(R,P))) | 95375 | 130899899 | o2(x,o1(o2(x,x))) | true | 79807 | 79807 | -0.1282 | 0.4308 | 0.4752 | 0.3092 | 0.556 | -1 | 0.9806 | 1.981 | 1 | 4.739 | 0.0107 | 0.006928 | 0.06371 | 0.2139 | 1 | 0.00005065 | 0.02627 | 0.03149 | 0.01357 | 0.1165 | 1.828 | 2.401 | 0.05701 | 0.08496 | 1 | 1 | 0.02624 | 0.1907 | 0.5566 | 0.08486 | 0.6169 | 1.8 | json |
| t16_x24_u3_b57 | 16 | 24 | 3 | 57 | ![]() |
mod(R,flr(mlt(R,P))) | 95376 | 130899900 | o2(x,o1(o2(x,x))) | true | 79815 | 79815 | -0.5472 | 0.2361 | 0.7579 | 0.3806 | 0.6169 | -1 | 0.9805 | 1.981 | 1 | 3.082 | 0.01847 | 0.01975 | 0.05405 | -0.03337 | 1 | 0.00004524 | 0.07394 | 0.0598 | 0.0353 | 0.1879 | 3.476 | 2.783 | 0.1004 | 0.1943 | 1 | 1 | 0.0444 | 0.2217 | 0.7239 | 0.1167 | 0.5825 | 1.902 | json |
| t16_x24_u3_b58 | 16 | 24 | 3 | 58 | ![]() |
mod(R,flr(div(R,P))) | 95377 | 130899901 | o2(x,o1(o2(x,x))) | true | 79823 | 79823 | -0.9385 | 0.03125 | 0.9726 | 0.08027 | 0.2833 | -1 | 0.9428 | 1.943 | 1 | 0.6243 | 0.008766 | 0.007663 | 0.01357 | 0.06718 | 1 | 0.000004313 | 0.03423 | 0.02408 | 0.01624 | 0.1275 | 9.395 | 2.098 | 0.2047 | 0.4265 | 1 | 1 | 0.01681 | 0.06976 | 0.1617 | 0.2094 | 0.8691 | 2.014 | json |
| t16_x24_u3_b59 | 16 | 24 | 3 | 59 | ![]() |
mod(R,flr(pow(R,P))) | 95378 | 130899902 | o2(x,o1(o2(x,x))) | true | 79831 | 79831 | -0.9287 | 0.04395 | 0.9747 | 0.102 | 0.3194 | -1 | 0.9428 | 1.943 | 1 | 0.509 | 0.009782 | 0.009526 | 0.01479 | 0.01322 | 1 | 0.000005839 | 0.04016 | 0.02584 | 0.0191 | 0.1382 | 9.347 | 2.063 | 0.1893 | 0.3938 | 1 | 1 | 0.01917 | 0.08351 | 0.2304 | 0.188 | 0.8188 | 2.259 | json |
| t16_x24_u3_b60 | 16 | 24 | 3 | 60 | ![]() |
mod(R,flr(mod(R,P))) | 95379 | 130899903 | o2(x,o1(o2(x,x))) | true | 79839 | 79839 | -0.9688 | 0 | 0.9688 | 0.01813 | 0.1347 | -1 | -0.007164 | 0.9928 | 1 | 0.5912 | 0.001765 | 0.001754 | 0.007173 | 0.003137 | 1 | -0.000001442 | 0.007201 | 0.01119 | 0.003468 | 0.05889 | 8.21 | 1.289 | 0.1941 | 0.3971 | 1 | 1 | 0.003832 | 0.01652 | 0.03778 | 0.2113 | 0.9109 | 2.084 | json |
| t16_x24_u3_b61 | 16 | 24 | 3 | 61 | ![]() |
mod(R,flr(lrg(R,P))) | 95380 | 130899904 | o2(x,o1(o2(x,x))) | true | 79847 | 79847 | -0.5245 | 0.2468 | 0.7292 | 0.3754 | 0.6127 | -1 | 0.9693 | 1.969 | 1 | 3.17 | 0.007962 | 0.004214 | 0.03444 | 0.3078 | 1 | 0.00003761 | 0.01996 | 0.01989 | 0.01099 | 0.1048 | 3.044 | 2.587 | 0.03244 | 0.05318 | 1 | 1 | 0.01797 | 0.1136 | 0.3039 | 0.04786 | 0.3027 | 0.8096 | json |
| t16_x24_u3_b62 | 16 | 24 | 3 | 62 | ![]() |
mod(R,flr(eql(R,P))) | 95381 | 130899905 | o2(x,o1(o2(x,x))) | true | 79855 | 79855 | -1 | 0 | 1 | 0 | 0 | -1 | -1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t16_x24_u3_b63 | 16 | 24 | 3 | 63 | ![]() |
mod(R,flr(min(R,P))) | 95382 | 130899906 | o2(x,o1(o2(x,x))) | true | 79863 | 79863 | -0.5163 | 0.238 | 0.7111 | 0.3591 | 0.5992 | -1 | 0.9693 | 1.969 | 1 | 3.375 | 0.006183 | 0.003181 | 0.0358 | 0.3206 | 1 | 0.00003144 | 0.01369 | 0.01973 | 0.008082 | 0.0899 | 2.511 | 1.898 | 0.02608 | 0.03813 | 1 | 1 | 0.01362 | 0.09908 | 0.2744 | 0.03792 | 0.2759 | 0.7641 | json |
| t16_x24_u3_b64 | 16 | 24 | 3 | 64 | ![]() |
mod(R,flr(dot(R,P))) | 95383 | 130899907 | o2(x,o1(o2(x,x))) | true | 79871 | 79871 | -0.3697 | 0.3024 | 0.6209 | 0.3727 | 0.6105 | -1 | 0.9805 | 1.981 | 1 | 4.032 | 0.01603 | 0.02239 | 0.06652 | -0.1656 | 1 | 0.00000816 | 0.07144 | 0.06171 | 0.03399 | 0.1844 | 2.771 | 2.474 | 0.1031 | 0.1917 | 1 | 1 | 0.04234 | 0.2283 | 0.708 | 0.1136 | 0.6125 | 1.9 | json |
| t16_x24_u3_b65 | 16 | 24 | 3 | 65 | ![]() |
mod(R,flr(dst(R,P))) | 95384 | 130899908 | o2(x,o1(o2(x,x))) | true | 79879 | 79879 | -0.0455 | 0.4682 | 0.4237 | 0.2552 | 0.5052 | -1 | 0.9806 | 1.981 | 1 | 4.882 | 0.006057 | 0.006326 | 0.06427 | -0.02174 | 1 | 0.00002651 | 0.01455 | 0.02317 | 0.008252 | 0.09084 | 1.413 | 2.098 | 0.04852 | 0.057 | 1 | 1 | 0.02245 | 0.1804 | 0.5171 | 0.08795 | 0.7069 | 2.026 | json |
| t16_x24_u3_b66 | 16 | 24 | 3 | 66 | ![]() |
lrg(R,flr(add(R,P))) | 95385 | 130899909 | o2(x,o1(o2(x,x))) | true | 79887 | 79887 | 0.5313 | 0.5625 | 0.5313 | 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_x24_u3_b67 | 16 | 24 | 3 | 67 | ![]() |
lrg(R,flr(sub(R,P))) | 95386 | 130899910 | o2(x,o1(o2(x,x))) | true | 79895 | 79895 | 0.5313 | 0.5625 | 0.5313 | 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_x24_u3_b68 | 16 | 24 | 3 | 68 | ![]() |
lrg(R,flr(mlt(R,P))) | 95387 | 130899911 | o2(x,o1(o2(x,x))) | true | 79903 | 79903 | 0.6104 | 0.9472 | 0.6104 | 0.1578 | 0.3972 | 0 | 1 | 1 | 1 | 3.135 | 0.001777 | 0.001917 | 0.04334 | -0.03788 | 1 | -0.000004983 | 0.0002119 | 0.01048 | 0.001816 | 0.04261 | 0.9831 | 0.1169 | 0.02341 | 0.001343 | 1 | 1 | 0.007386 | 0.09527 | 0.3007 | 0.0468 | 0.6037 | 1.905 | json |
| t16_x24_u3_b69 | 16 | 24 | 3 | 69 | ![]() |
lrg(R,flr(div(R,P))) | 95388 | 130899912 | o2(x,o1(o2(x,x))) | true | 79911 | 79911 | 0.7441 | 0.9582 | 0.7441 | 0.1418 | 0.3765 | 0 | 1 | 1 | 1 | 2.32 | 0.001046 | 0.001231 | 0.0266 | -0.08113 | 1 | 0.00001784 | 0.0001284 | 0.006422 | 0.001571 | 0.03963 | 1.49 | 0.1169 | 0.01606 | 0.0009057 | 1 | 1 | 0.004556 | 0.05835 | 0.1869 | 0.03213 | 0.4115 | 1.318 | json |
| t16_x24_u3_b70 | 16 | 24 | 3 | 70 | ![]() |
lrg(R,flr(pow(R,P))) | 95389 | 130899913 | o2(x,o1(o2(x,x))) | true | 79919 | 79919 | 0.6973 | 0.9407 | 0.6973 | 0.1611 | 0.4014 | 0 | 1 | 1 | 1 | 2.432 | 0.001249 | 0.001126 | 0.02758 | 0.05192 | 1 | -0.00001213 | 0.00013 | 0.006626 | 0.001615 | 0.04018 | 1.457 | 0.1169 | 0.01474 | 0.0008068 | 1 | 1 | 0.004847 | 0.06213 | 0.1947 | 0.03008 | 0.3856 | 1.208 | json |
| t16_x24_u3_b71 | 16 | 24 | 3 | 71 | ![]() |
lrg(R,flr(mod(R,P))) | 95390 | 130899914 | o2(x,o1(o2(x,x))) | true | 79927 | 79927 | 1 | 1 | 1 | 0 | 0 | 1 | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t16_x24_u3_b72 | 16 | 24 | 3 | 72 | ![]() |
lrg(R,flr(lrg(R,P))) | 95391 | 130899915 | o2(x,o1(o2(x,x))) | true | 79935 | 79935 | 0.2148 | 0.455 | 0.2148 | 0.1181 | 0.3436 | 0 | 1 | 1 | 1 | 2.248 | 0.001095 | 0.001206 | 0.02703 | -0.04847 | 1 | -0.00002424 | 0.0001387 | 0.006603 | 0.001571 | 0.03963 | 1.466 | 0.1169 | 0.01949 | 0.001175 | 1 | 1 | 0.004457 | 0.05786 | 0.1462 | 0.03774 | 0.49 | 1.238 | json |
| t16_x24_u3_b73 | 16 | 24 | 3 | 73 | ![]() |
lrg(R,flr(eql(R,P))) | 95392 | 130899916 | o2(x,o1(o2(x,x))) | true | 79943 | 79943 | 0.4824 | 0.9147 | 0.4824 | 0.1537 | 0.3921 | 0 | 1 | 1 | 1 | 3.429 | 0.001972 | 0.002442 | 0.05168 | -0.1065 | 1 | -0.00001781 | 0.0002592 | 0.01257 | 0.001744 | 0.04176 | 0.8079 | 0.1169 | 0.02872 | 0.001686 | 1 | 1 | 0.008731 | 0.1124 | 0.2862 | 0.0568 | 0.7316 | 1.862 | json |
| t16_x24_u3_b74 | 16 | 24 | 3 | 74 | ![]() |
lrg(R,flr(min(R,P))) | 95393 | 130899917 | o2(x,o1(o2(x,x))) | true | 79951 | 79951 | 1 | 1 | 1 | 0 | 0 | 1 | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t16_x24_u3_b75 | 16 | 24 | 3 | 75 | ![]() |
lrg(R,flr(dot(R,P))) | 95394 | 130899918 | o2(x,o1(o2(x,x))) | true | 79959 | 79959 | 0.5879 | 0.9715 | 0.5879 | 0.1485 | 0.3853 | 0 | 1 | 1 | 1 | 3.353 | 0.001913 | 0.002422 | 0.05059 | -0.1174 | 1 | 0.00003778 | 0.0002539 | 0.0123 | 0.001777 | 0.04215 | 0.8332 | 0.1169 | 0.0292 | 0.00171 | 1 | 1 | 0.00856 | 0.1105 | 0.3226 | 0.05765 | 0.7445 | 2.173 | json |
| t16_x24_u3_b76 | 16 | 24 | 3 | 76 | ![]() |
lrg(R,flr(dst(R,P))) | 95395 | 130899919 | o2(x,o1(o2(x,x))) | true | 79967 | 79967 | 0.007812 | 0.02954 | 0.007812 | 0.004736 | 0.06882 | 0 | 0.9994 | 0.9994 | 1 | 0.1956 | 0.00007023 | 0.00007023 | 0.001684 | 7.77e-7 | 1 | -5.638e-14 | 0.000008443 | 0.0004121 | 0.0001376 | 0.01173 | 6.968 | 0.1169 | 0.02966 | 0.001783 | 1 | 1 | 0.0004885 | 0.006354 | 0.01681 | 0.1032 | 1.342 | 3.551 | json |
| t16_x24_u3_b77 | 16 | 24 | 3 | 77 | ![]() |
eql(R,flr(add(R,P))) | 95396 | 130899920 | o2(x,o1(o2(x,x))) | true | 79975 | 79975 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t16_x24_u3_b78 | 16 | 24 | 3 | 78 | ![]() |
eql(R,flr(sub(R,P))) | 95397 | 130899921 | o2(x,o1(o2(x,x))) | true | 79983 | 79983 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t16_x24_u3_b79 | 16 | 24 | 3 | 79 | ![]() |
eql(R,flr(mlt(R,P))) | 95398 | 130899922 | o2(x,o1(o2(x,x))) | true | 79991 | 79991 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t16_x24_u3_b80 | 16 | 24 | 3 | 80 | ![]() |
eql(R,flr(div(R,P))) | 95399 | 130899923 | o2(x,o1(o2(x,x))) | true | 79999 | 79999 | 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 |



































































































