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_x7_u1_b22 | 16 | 7 | 1 | 22 | ![]() |
mlt(P,log(add(R,D))) | 80700 | 130212646 | o2(x,o1(o2(x,x))) | true | 133607 | 133607 | -0.9387 | 0.02992 | 0.9895 | 0.1057 | 0.3252 | -1 | 1 | 2 | 1 | 0.36 | 0.05364 | 0.009535 | 0.03578 | 0.6981 | 1 | 0.000003508 | 0.1369 | 0.06989 | 0.06186 | 0.2487 | 6.951 | 2.828 | 0.5975 | 1.294 | 1 | 1 | 0.05179 | 0.1415 | 0.188 | 0.4898 | 1.338 | 1.778 | json |
| t16_x7_u1_b23 | 16 | 7 | 1 | 23 | ![]() |
mlt(P,log(sub(R,D))) | 80701 | 130212647 | o2(x,o1(o2(x,x))) | true | 133615 | 133615 | -0.9227 | 0.03815 | 0.99 | 0.1363 | 0.3692 | -1 | 1 | 2 | 1 | 0.3873 | 0.05607 | 0.01017 | 0.03692 | 0.693 | 1 | 0.000002036 | 0.1487 | 0.0725 | 0.06493 | 0.2548 | 6.901 | 2.828 | 0.4858 | 1.091 | 1 | 1 | 0.05305 | 0.1365 | 0.1866 | 0.3891 | 1.001 | 1.368 | json |
| t16_x7_u1_b24 | 16 | 7 | 1 | 24 | ![]() |
mlt(P,log(mlt(R,D))) | 80702 | 130212648 | o2(x,o1(o2(x,x))) | true | 133623 | 133623 | -0.9559 | 0.02338 | 0.9972 | 0.08311 | 0.2883 | -1 | 1 | 2 | 1 | 0.187 | 0.01068 | 0.009522 | 0.01082 | 0.05748 | 1 | 1.201e-10 | 0.04258 | 0.02107 | 0.02009 | 0.1418 | 13.1 | 2.828 | 0.2431 | 0.5123 | 1 | 1 | 0.02042 | 0.08784 | 0.1704 | 0.2456 | 1.057 | 2.05 | json |
| t16_x7_u1_b25 | 16 | 7 | 1 | 25 | ![]() |
mlt(P,log(div(R,D))) | 80703 | 130212649 | o2(x,o1(o2(x,x))) | true | 133631 | 133631 | -0.9571 | 0.0226 | 0.9915 | 0.07362 | 0.2713 | -1 | 1 | 2 | 1 | 0.269 | 0.01312 | 0.008232 | 0.01473 | 0.229 | 1 | -9.107e-7 | 0.04224 | 0.02396 | 0.02114 | 0.1454 | 9.875 | 2.828 | 0.2901 | 0.5738 | 1 | 1 | 0.02076 | 0.08455 | 0.1695 | 0.2821 | 1.148 | 2.302 | json |
| t16_x7_u1_b26 | 16 | 7 | 1 | 26 | ![]() |
mlt(P,log(pow(R,D))) | 80704 | 130212650 | o2(x,o1(o2(x,x))) | true | 133639 | 133639 | -0.9596 | 0.02457 | 0.9725 | 0.04777 | 0.2186 | -1 | 1 | 2 | 1 | 0.3824 | 0.005115 | 0.00481 | 0.01172 | 0.03069 | 1 | 0.000001107 | 0.01944 | 0.01808 | 0.009793 | 0.09896 | 8.442 | 2.052 | 0.2078 | 0.407 | 1 | 1 | 0.008514 | 0.04026 | 0.09333 | 0.1782 | 0.8429 | 1.954 | json |
| t16_x7_u1_b27 | 16 | 7 | 1 | 27 | ![]() |
mlt(P,log(mod(R,D))) | 80705 | 130212651 | o2(x,o1(o2(x,x))) | true | 133647 | 133647 | -0.9297 | 0.03497 | 0.997 | 0.132 | 0.3633 | -1 | 1 | 2 | 1 | 0.2704 | 0.01504 | 0.01213 | 0.01415 | 0.1073 | 1 | -6.007e-11 | 0.05687 | 0.02816 | 0.02699 | 0.1643 | 11.61 | 2.828 | 0.2059 | 0.4309 | 1 | 1 | 0.02432 | 0.1018 | 0.2449 | 0.1842 | 0.7711 | 1.856 | json |
| t16_x7_u1_b28 | 16 | 7 | 1 | 28 | ![]() |
mlt(P,log(lrg(R,D))) | 80706 | 130212652 | o2(x,o1(o2(x,x))) | true | 133655 | 133655 | -0.9292 | 0.0009766 | 0.9312 | 0.06777 | 0.2603 | -1 | 1 | 2 | 1 | 0.3727 | 0.02787 | 0.006078 | 0.03182 | 0.6419 | 1 | 0 | 0.07707 | 0.06378 | 0.03293 | 0.1815 | 5.703 | 2.828 | 0.5009 | 1.137 | 1 | 1 | 0.02755 | 0.08166 | 0.1229 | 0.4065 | 1.205 | 1.813 | json |
| t16_x7_u1_b29 | 16 | 7 | 1 | 29 | ![]() |
mlt(P,log(eql(R,D))) | 80707 | 130212653 | o2(x,o1(o2(x,x))) | true | 133663 | 133663 | -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_x7_u1_b30 | 16 | 7 | 1 | 30 | ![]() |
mlt(P,log(min(R,D))) | 80708 | 130212654 | o2(x,o1(o2(x,x))) | true | 133671 | 133671 | -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_x7_u1_b31 | 16 | 7 | 1 | 31 | ![]() |
mlt(P,log(dot(R,D))) | 80709 | 130212655 | o2(x,o1(o2(x,x))) | true | 133679 | 133679 | -0.9469 | 0.02711 | 0.996 | 0.09873 | 0.3142 | -1 | 1 | 2 | 1 | 0.2357 | 0.03444 | 0.02872 | 0.0307 | 0.09054 | 1 | -0.0001829 | 0.2062 | 0.06626 | 0.06224 | 0.2495 | 8.125 | 2.828 | 0.6397 | 2.088 | 1 | 1 | 0.07224 | 0.1836 | 0.1943 | 0.7316 | 1.86 | 1.968 | json |
| t16_x7_u1_b32 | 16 | 7 | 1 | 32 | ![]() |
mlt(P,log(dst(R,D))) | 80710 | 130212656 | o2(x,o1(o2(x,x))) | true | 133687 | 133687 | 0.03399 | 0.5249 | 0.5829 | 0.4775 | 0.691 | -1 | 1 | 2 | 1 | 4.395 | 0.01571 | 0.01771 | 0.1146 | -0.0598 | 1 | -0.00009662 | 0.01448 | 0.0534 | 0.02029 | 0.1424 | 1.243 | 1.684 | 0.07 | 0.03033 | 1 | 1 | 0.04158 | 0.4001 | 0.7636 | 0.08707 | 0.8379 | 1.599 | json |
| t16_x7_u1_b33 | 16 | 7 | 1 | 33 | ![]() |
div(P,log(add(R,D))) | 80711 | 130212657 | o2(x,o1(o2(x,x))) | true | 133695 | 133695 | -0.9426 | 0.02744 | 0.9926 | 0.1028 | 0.3206 | -1 | 1 | 2 | 1 | 0.2983 | 0.06468 | 0.009539 | 0.04123 | 0.7429 | 1 | 0.00001805 | 0.1696 | 0.07973 | 0.0725 | 0.2693 | 6.531 | 2.828 | 0.722 | 1.65 | 1 | 1 | 0.05864 | 0.1364 | 0.1803 | 0.5705 | 1.327 | 1.754 | json |
| t16_x7_u1_b34 | 16 | 7 | 1 | 34 | ![]() |
div(P,log(sub(R,D))) | 80712 | 130212658 | o2(x,o1(o2(x,x))) | true | 133703 | 133703 | -0.9225 | 0.03911 | 0.9921 | 0.1394 | 0.3733 | -1 | 1 | 2 | 1 | 0.3514 | 0.07356 | 0.01159 | 0.04647 | 0.7277 | 1 | 0.00008398 | 0.1992 | 0.09029 | 0.08295 | 0.288 | 6.197 | 2.828 | 0.6109 | 1.429 | 1 | 1 | 0.06923 | 0.153 | 0.2057 | 0.4967 | 1.098 | 1.476 | json |
| t16_x7_u1_b35 | 16 | 7 | 1 | 35 | ![]() |
div(P,log(mlt(R,D))) | 80713 | 130212659 | o2(x,o1(o2(x,x))) | true | 133711 | 133711 | -0.9582 | 0.02335 | 0.9919 | 0.07158 | 0.2675 | -1 | 1 | 2 | 1 | 0.2696 | 0.008806 | 0.00871 | 0.01113 | 0.005511 | 1 | -4.787e-8 | 0.0365 | 0.02077 | 0.01739 | 0.1319 | 11.85 | 2.828 | 0.2447 | 0.51 | 1 | 1 | 0.01597 | 0.07015 | 0.1327 | 0.2231 | 0.9801 | 1.854 | json |
| t16_x7_u1_b36 | 16 | 7 | 1 | 36 | ![]() |
div(P,log(div(R,D))) | 80714 | 130212660 | o2(x,o1(o2(x,x))) | true | 133719 | 133719 | -0.9613 | 0.02063 | 0.9949 | 0.06943 | 0.2635 | -1 | 1 | 2 | 1 | 0.2203 | 0.02907 | 0.007994 | 0.02141 | 0.5686 | 1 | 0.00001053 | 0.09338 | 0.04061 | 0.03662 | 0.1914 | 8.937 | 2.828 | 0.5339 | 1.345 | 1 | 1 | 0.02876 | 0.08028 | 0.1661 | 0.4142 | 1.156 | 2.392 | json |
| t16_x7_u1_b37 | 16 | 7 | 1 | 37 | ![]() |
div(P,log(pow(R,D))) | 80715 | 130212661 | o2(x,o1(o2(x,x))) | true | 133727 | 133727 | -0.948 | 0.02682 | 0.9979 | 0.09875 | 0.3142 | -1 | 1 | 2 | 1 | 0.2047 | 0.01592 | 0.0108 | 0.01438 | 0.1919 | 1 | 1.427e-10 | 0.05741 | 0.02762 | 0.02652 | 0.1628 | 11.33 | 2.828 | 0.2706 | 0.5814 | 1 | 1 | 0.01996 | 0.08187 | 0.1442 | 0.2022 | 0.829 | 1.46 | json |
| t16_x7_u1_b38 | 16 | 7 | 1 | 38 | ![]() |
div(P,log(mod(R,D))) | 80716 | 130212662 | o2(x,o1(o2(x,x))) | true | 133735 | 133735 | -0.9322 | 0.03516 | 0.9917 | 0.1202 | 0.3467 | -1 | 1 | 2 | 1 | 0.3362 | 0.01229 | 0.01105 | 0.01471 | 0.05305 | 1 | -1.774e-7 | 0.04838 | 0.02807 | 0.02314 | 0.1521 | 10.34 | 2.828 | 0.1941 | 0.4025 | 1 | 1 | 0.01971 | 0.08976 | 0.2115 | 0.164 | 0.7468 | 1.759 | json |
| t16_x7_u1_b39 | 16 | 7 | 1 | 39 | ![]() |
div(P,log(lrg(R,D))) | 80717 | 130212663 | o2(x,o1(o2(x,x))) | true | 133743 | 133743 | -0.8115 | 0.06152 | 0.9346 | 0.2758 | 0.5252 | -1 | 1 | 2 | 1 | 0.6759 | 0.1106 | 0.02975 | 0.08601 | 0.5761 | 1 | 0 | 0.3254 | 0.173 | 0.1329 | 0.3646 | 4.239 | 2.828 | 0.5089 | 1.18 | 1 | 1 | 0.1333 | 0.3674 | 0.45 | 0.4833 | 1.332 | 1.632 | json |
| t16_x7_u1_b40 | 16 | 7 | 1 | 40 | ![]() |
div(P,log(eql(R,D))) | 80718 | 130212664 | o2(x,o1(o2(x,x))) | true | 133751 | 133751 | 0.0002441 | 0.0002441 | 0.0002441 | 0.0002441 | 0.01562 | 0 | 1 | 1 | 1 | 0.003282 | 0.0004409 | 0.00001575 | 0.0004567 | 0.931 | 1 | 0 | 0.001417 | 0.0009133 | 0.0004564 | 0.02136 | 46.78 | 1 | 1.871 | 5.806 | 1 | 1 | 0 | 0 | 0.0002078 | 0 | 0 | 0.8512 | json |
| t16_x7_u1_b41 | 16 | 7 | 1 | 41 | ![]() |
div(P,log(min(R,D))) | 80719 | 130212665 | o2(x,o1(o2(x,x))) | true | 133759 | 133759 | -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_x7_u1_b42 | 16 | 7 | 1 | 42 | ![]() |
div(P,log(dot(R,D))) | 80720 | 130212666 | o2(x,o1(o2(x,x))) | true | 133767 | 133767 | -0.9453 | 0.0274 | 0.9925 | 0.0965 | 0.3106 | -1 | 1 | 2 | 1 | 0.3192 | 0.03525 | 0.02965 | 0.03456 | 0.08628 | 1 | -0.0001909 | 0.2193 | 0.07395 | 0.06373 | 0.2524 | 7.304 | 2.828 | 0.6726 | 2.273 | 1 | 1 | 0.06991 | 0.1762 | 0.1863 | 0.7244 | 1.826 | 1.931 | json |
| t16_x7_u1_b43 | 16 | 7 | 1 | 43 | ![]() |
div(P,log(dst(R,D))) | 80721 | 130212667 | o2(x,o1(o2(x,x))) | true | 133775 | 133775 | 0.01024 | 0.5073 | 0.95 | 0.9397 | 0.9694 | -1 | 1 | 2 | 1 | 1.651 | 0.3681 | 0.375 | 0.3654 | -0.00924 | 1 | 0.000633 | 2.612 | 0.7638 | 0.6094 | 0.7806 | 2.137 | 2.828 | 0.7908 | 2.779 | 1 | 1 | 0.6315 | 1.558 | 1.766 | 0.672 | 1.658 | 1.879 | json |
| t16_x7_u1_b44 | 16 | 7 | 1 | 44 | ![]() |
pow(P,log(add(R,D))) | 80722 | 130212668 | o2(x,o1(o2(x,x))) | true | 133783 | 133783 | -0.9568 | 0.02856 | 0.9861 | 0.06564 | 0.2562 | -1 | 0.9997 | 2 | 1 | 0.2972 | 0.02173 | 0.005975 | 0.01861 | 0.5687 | 1 | 0.0003074 | 0.06031 | 0.03522 | 0.02737 | 0.1654 | 8.89 | 2.828 | 0.4221 | 0.9188 | 1 | 1 | 0.03003 | 0.1031 | 0.1571 | 0.4575 | 1.57 | 2.393 | json |
| t16_x7_u1_b45 | 16 | 7 | 1 | 45 | ![]() |
pow(P,log(sub(R,D))) | 80723 | 130212669 | o2(x,o1(o2(x,x))) | true | 133791 | 133791 | -0.9114 | 0.05176 | 0.9851 | 0.1485 | 0.3854 | -1 | 1 | 2 | 1 | 0.4625 | 0.03671 | 0.006068 | 0.02697 | 0.7163 | 1 | 0.000001492 | 0.08996 | 0.05066 | 0.04206 | 0.2051 | 7.604 | 2.828 | 0.288 | 0.6056 | 1 | 1 | 0.0549 | 0.1924 | 0.2664 | 0.3696 | 1.295 | 1.794 | json |
| t16_x7_u1_b46 | 16 | 7 | 1 | 46 | ![]() |
pow(P,log(mlt(R,D))) | 80724 | 130212670 | o2(x,o1(o2(x,x))) | true | 133799 | 133799 | -0.9614 | 0.02734 | 0.9839 | 0.05637 | 0.2374 | -1 | 1 | 2 | 1 | 0.2788 | 0.006666 | 0.004064 | 0.008437 | 0.2426 | 1 | 7.333e-7 | 0.022 | 0.01461 | 0.01066 | 0.1032 | 12.24 | 2 | 0.1903 | 0.3902 | 1 | 1 | 0.01566 | 0.06898 | 0.1608 | 0.2779 | 1.224 | 2.852 | json |
| t16_x7_u1_b47 | 16 | 7 | 1 | 47 | ![]() |
pow(P,log(div(R,D))) | 80725 | 130212671 | o2(x,o1(o2(x,x))) | true | 133807 | 133807 | -0.9393 | 0.03345 | 0.9938 | 0.1104 | 0.3323 | -1 | 1 | 2 | 1 | 0.2707 | 0.0163 | 0.008762 | 0.01434 | 0.3008 | 1 | -0.000005585 | 0.0529 | 0.02811 | 0.02485 | 0.1577 | 11 | 2.828 | 0.227 | 0.4792 | 1 | 1 | 0.03197 | 0.1272 | 0.2979 | 0.2895 | 1.152 | 2.698 | json |
| t16_x7_u1_b48 | 16 | 7 | 1 | 48 | ![]() |
pow(P,log(pow(R,D))) | 80726 | 130212672 | o2(x,o1(o2(x,x))) | true | 133815 | 133815 | -0.9849 | 0.007813 | 0.9994 | 0.02894 | 0.1701 | -1 | 1 | 2 | 1 | 0.07811 | 0.002722 | 0.0025 | 0.002824 | 0.04252 | 1 | 1.46e-8 | 0.01102 | 0.005442 | 0.005215 | 0.07222 | 25.58 | 2 | 0.1804 | 0.3809 | 1 | 1 | 0 | 0 | 0.0247 | 0 | 0 | 0.8534 | json |
| t16_x7_u1_b49 | 16 | 7 | 1 | 49 | ![]() |
pow(P,log(mod(R,D))) | 80727 | 130212673 | o2(x,o1(o2(x,x))) | true | 133823 | 133823 | -0.9896 | 0.007813 | 0.9948 | 0.01485 | 0.1219 | -1 | 1 | 2 | 1 | 0.08908 | 0.001419 | 0.001175 | 0.002135 | 0.09422 | 1 | -0.000002973 | 0.005388 | 0.003979 | 0.002589 | 0.05088 | 23.84 | 2 | 0.1747 | 0.3628 | 1 | 1 | 0 | 0 | 0.01274 | 0 | 0 | 0.8582 | json |
| t16_x7_u1_b50 | 16 | 7 | 1 | 50 | ![]() |
pow(P,log(lrg(R,D))) | 80728 | 130212674 | o2(x,o1(o2(x,x))) | true | 133831 | 133831 | -0.2539 | 0.4514 | 0.7852 | 0.6767 | 0.8226 | -1 | 1 | 2 | 1 | 2.606 | 0.09033 | 0.01455 | 0.08172 | 0.7225 | 1 | 0.00004529 | 0.226 | 0.1258 | 0.09823 | 0.3134 | 3.835 | 2.828 | 0.155 | 0.3339 | 1 | 1 | 0.1001 | 0.3356 | 0.5623 | 0.1478 | 0.4959 | 0.8309 | json |
| t16_x7_u1_b51 | 16 | 7 | 1 | 51 | ![]() |
pow(P,log(eql(R,D))) | 80729 | 130212675 | o2(x,o1(o2(x,x))) | true | 133839 | 133839 | -0.5313 | 0.0625 | 0.5938 | 0.3046 | 0.5519 | -1 | 0.9997 | 2 | 1 | 1.385 | 0.01622 | 0 | 0.0119 | 1 | 1 | -4.731e-10 | 0.03186 | 0.0168 | 0.01607 | 0.1268 | 10.65 | 2 | 0.05326 | 0.1046 | 1 | 1 | 0.0219 | 0.08325 | 0.1593 | 0.0719 | 0.2733 | 0.523 | json |
| t16_x7_u1_b52 | 16 | 7 | 1 | 52 | ![]() |
pow(P,log(min(R,D))) | 80730 | 130212676 | o2(x,o1(o2(x,x))) | true | 133847 | 133847 | -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_x7_u1_b53 | 16 | 7 | 1 | 53 | ![]() |
pow(P,log(dot(R,D))) | 80731 | 130212677 | o2(x,o1(o2(x,x))) | true | 133855 | 133855 | -0.9385 | 0.04568 | 0.9702 | 0.08382 | 0.2895 | -1 | 1 | 2 | 1 | 0.4299 | 0.01786 | 0.0156 | 0.02491 | 0.06743 | 1 | -0.00008659 | 0.09824 | 0.04978 | 0.03284 | 0.1812 | 7.273 | 2.826 | 0.3992 | 1.172 | 1 | 1 | 0.03905 | 0.1398 | 0.2113 | 0.4659 | 1.668 | 2.521 | json |
| t16_x7_u1_b54 | 16 | 7 | 1 | 54 | ![]() |
pow(P,log(dst(R,D))) | 80732 | 130212678 | o2(x,o1(o2(x,x))) | true | 133863 | 133863 | -0.1253 | 0.463 | 0.9488 | 0.907 | 0.9524 | -1 | 1 | 2 | 1 | 1.942 | 0.01276 | 0.006619 | 0.02304 | 0.3168 | 1 | -0.00003613 | 0.04703 | 0.02795 | 0.01885 | 0.1373 | 5.959 | 2.828 | 0.02136 | 0.05185 | 1 | 1 | 0.02734 | 0.109 | 0.365 | 0.03015 | 0.1202 | 0.4025 | json |
| t16_x7_u1_b55 | 16 | 7 | 1 | 55 | ![]() |
mod(P,log(add(R,D))) | 80733 | 130212679 | o2(x,o1(o2(x,x))) | true | 133871 | 133871 | -0.9389 | 0.03003 | 0.9623 | 0.07215 | 0.2686 | -1 | 1 | 2 | 1 | 0.5887 | 0.03127 | 0.006273 | 0.03636 | 0.6658 | 1 | 0.0003525 | 0.08612 | 0.06602 | 0.03622 | 0.1903 | 5.234 | 2.098 | 0.5204 | 1.194 | 1 | 1 | 0.03123 | 0.09406 | 0.1494 | 0.4328 | 1.304 | 2.071 | json |
| t16_x7_u1_b56 | 16 | 7 | 1 | 56 | ![]() |
mod(P,log(sub(R,D))) | 80734 | 130212680 | o2(x,o1(o2(x,x))) | true | 133879 | 133879 | -0.9366 | 0.03264 | 0.9612 | 0.07481 | 0.2735 | -1 | 1 | 2 | 1 | 0.6315 | 0.0316 | 0.006878 | 0.03744 | 0.6425 | 1 | -0.000002456 | 0.09132 | 0.06899 | 0.03706 | 0.1925 | 5.142 | 2.828 | 0.5143 | 1.221 | 1 | 1 | 0.03283 | 0.1045 | 0.1652 | 0.4388 | 1.397 | 2.208 | json |
| t16_x7_u1_b57 | 16 | 7 | 1 | 57 | ![]() |
mod(P,log(mlt(R,D))) | 80735 | 130212681 | o2(x,o1(o2(x,x))) | true | 133887 | 133887 | -0.9645 | 0.01563 | 0.9897 | 0.05586 | 0.2363 | -1 | 1 | 2 | 1 | 0.3108 | 0.01046 | 0.005529 | 0.01406 | 0.3085 | 1 | -0.000006019 | 0.03672 | 0.02534 | 0.01579 | 0.1257 | 8.935 | 2.828 | 0.2863 | 0.6575 | 1 | 1 | 0.01569 | 0.05677 | 0.1307 | 0.2809 | 1.016 | 2.341 | json |
| t16_x7_u1_b58 | 16 | 7 | 1 | 58 | ![]() |
mod(P,log(div(R,D))) | 80736 | 130212682 | o2(x,o1(o2(x,x))) | true | 133895 | 133895 | -0.9633 | 0.01563 | 0.978 | 0.04482 | 0.2117 | -1 | 1 | 2 | 1 | 0.3885 | 0.01124 | 0.004525 | 0.01608 | 0.4258 | 1 | -4.119e-7 | 0.03797 | 0.02853 | 0.01549 | 0.1245 | 7.741 | 2.828 | 0.3516 | 0.847 | 1 | 1 | 0.01447 | 0.04915 | 0.1067 | 0.3228 | 1.096 | 2.381 | json |
| t16_x7_u1_b59 | 16 | 7 | 1 | 59 | ![]() |
mod(P,log(pow(R,D))) | 80737 | 130212683 | o2(x,o1(o2(x,x))) | true | 133903 | 133903 | -0.9599 | 0.007568 | 0.9608 | 0.03639 | 0.1908 | -1 | 0.2849 | 1.285 | 1 | 0.3678 | 0.00453 | 0.003724 | 0.01047 | 0.09767 | 1 | -0.00001034 | 0.01794 | 0.02004 | 0.008149 | 0.09027 | 8.62 | 1.417 | 0.2268 | 0.4931 | 1 | 1 | 0.005857 | 0.0235 | 0.05927 | 0.161 | 0.646 | 1.629 | json |
| t16_x7_u1_b60 | 16 | 7 | 1 | 60 | ![]() |
mod(P,log(mod(R,D))) | 80738 | 130212684 | o2(x,o1(o2(x,x))) | true | 133911 | 133911 | -0.98 | 0.007523 | 0.9896 | 0.02554 | 0.1598 | -1 | 1 | 2 | 1 | 0.2674 | 0.005577 | 0.003107 | 0.01057 | 0.2844 | 1 | 0.00004517 | 0.02207 | 0.01941 | 0.008575 | 0.0926 | 8.764 | 2.828 | 0.34 | 0.864 | 1 | 1 | 0.0029 | 0.008806 | 0.02671 | 0.1136 | 0.3448 | 1.046 | json |
| t16_x7_u1_b61 | 16 | 7 | 1 | 61 | ![]() |
mod(P,log(lrg(R,D))) | 80739 | 130212685 | o2(x,o1(o2(x,x))) | true | 133919 | 133919 | -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_x7_u1_b62 | 16 | 7 | 1 | 62 | ![]() |
mod(P,log(eql(R,D))) | 80740 | 130212686 | o2(x,o1(o2(x,x))) | true | 133927 | 133927 | -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_x7_u1_b63 | 16 | 7 | 1 | 63 | ![]() |
mod(P,log(min(R,D))) | 80741 | 130212687 | o2(x,o1(o2(x,x))) | true | 133935 | 133935 | -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_x7_u1_b64 | 16 | 7 | 1 | 64 | ![]() |
mod(P,log(dot(R,D))) | 80742 | 130212688 | o2(x,o1(o2(x,x))) | true | 133943 | 133943 | -0.9213 | 0.0406 | 0.9796 | 0.1234 | 0.3512 | -1 | 1 | 2 | 1 | 0.5624 | 0.04212 | 0.03859 | 0.05574 | 0.04372 | 1 | -0.0001961 | 0.2793 | 0.1156 | 0.0776 | 0.2786 | 4.998 | 2.828 | 0.6543 | 2.264 | 1 | 1 | 0.06966 | 0.1888 | 0.2714 | 0.5647 | 1.53 | 2.2 | json |
| t16_x7_u1_b65 | 16 | 7 | 1 | 65 | ![]() |
mod(P,log(dst(R,D))) | 80743 | 130212689 | o2(x,o1(o2(x,x))) | true | 133951 | 133951 | -0.002938 | 0.4967 | 0.1411 | 0.03693 | 0.1922 | -1 | 1 | 2 | 1 | 3.598 | 0.01324 | 0.01359 | 0.1159 | -0.01274 | 1 | -0.0001051 | 0.1294 | 0.2329 | 0.0134 | 0.1158 | 0.9989 | 1.332 | 0.7265 | 3.504 | 1 | 1 | 0.01387 | 0.02609 | 0.03409 | 0.3754 | 0.7063 | 0.9231 | json |
| t16_x7_u1_b66 | 16 | 7 | 1 | 66 | ![]() |
lrg(P,log(add(R,D))) | 80744 | 130212690 | o2(x,o1(o2(x,x))) | true | 133959 | 133959 | 0.7648 | 0.9786 | 0.7648 | 0.1266 | 0.3557 | 0 | 1 | 1 | 1 | 2.364 | 0.01021 | 0.0009803 | 0.04148 | 0.8248 | 1 | 0.0001821 | 0.01946 | 0.03606 | 0.009465 | 0.09729 | 2.346 | 0.9997 | 0.08841 | 0.1538 | 1 | 1 | 0.01166 | 0.06424 | 0.1265 | 0.09213 | 0.5076 | 0.9999 | json |
| t16_x7_u1_b67 | 16 | 7 | 1 | 67 | ![]() |
lrg(P,log(sub(R,D))) | 80745 | 130212691 | o2(x,o1(o2(x,x))) | true | 133967 | 133967 | 0.7732 | 0.9684 | 0.7732 | 0.1287 | 0.3588 | 0 | 1 | 1 | 1 | 2.204 | 0.01007 | 0.001005 | 0.03799 | 0.8185 | 1 | 0.00001649 | 0.01936 | 0.03497 | 0.009638 | 0.09817 | 2.584 | 0.9997 | 0.08608 | 0.1504 | 1 | 1 | 0.01202 | 0.06295 | 0.1311 | 0.09338 | 0.489 | 1.019 | json |
| t16_x7_u1_b68 | 16 | 7 | 1 | 68 | ![]() |
lrg(P,log(mlt(R,D))) | 80746 | 130212692 | o2(x,o1(o2(x,x))) | true | 133975 | 133975 | 0.8235 | 0.984 | 0.8235 | 0.1031 | 0.3211 | 0 | 1 | 1 | 1 | 1.967 | 0.01826 | 0.0007734 | 0.0423 | 0.9187 | 1 | -0.000017 | 0.0355 | 0.04724 | 0.01724 | 0.1313 | 3.104 | 1 | 0.1846 | 0.3444 | 1 | 1 | 0.01767 | 0.07644 | 0.09198 | 0.1714 | 0.7416 | 0.8923 | json |
| t16_x7_u1_b69 | 16 | 7 | 1 | 69 | ![]() |
lrg(P,log(div(R,D))) | 80747 | 130212693 | o2(x,o1(o2(x,x))) | true | 133983 | 133983 | 0.7215 | 0.9758 | 0.7215 | 0.1441 | 0.3795 | 0 | 1 | 1 | 1 | 2.516 | 0.03991 | 0.00121 | 0.07243 | 0.9411 | 1 | -0.00001808 | 0.08489 | 0.09428 | 0.03587 | 0.1894 | 2.615 | 1 | 0.2854 | 0.5893 | 1 | 1 | 0.04346 | 0.1518 | 0.1867 | 0.3017 | 1.054 | 1.296 | json |
| t16_x7_u1_b70 | 16 | 7 | 1 | 70 | ![]() |
lrg(P,log(pow(R,D))) | 80748 | 130212694 | o2(x,o1(o2(x,x))) | true | 133991 | 133991 | 0.7461 | 0.9569 | 0.7461 | 0.1446 | 0.3803 | 0 | 1 | 1 | 1 | 2.228 | 0.002863 | 0.001188 | 0.02661 | 0.4135 | 1 | -0.000009241 | 0.004085 | 0.01038 | 0.003341 | 0.0578 | 2.172 | 1 | 0.02801 | 0.02824 | 1 | 1 | 0.006913 | 0.06154 | 0.1701 | 0.0478 | 0.4256 | 1.176 | json |
| t16_x7_u1_b71 | 16 | 7 | 1 | 71 | ![]() |
lrg(P,log(mod(R,D))) | 80749 | 130212695 | o2(x,o1(o2(x,x))) | true | 133999 | 133999 | 0.8251 | 0.9756 | 0.8251 | 0.1081 | 0.3288 | 0 | 1 | 1 | 1 | 1.836 | 0.01765 | 0.0008365 | 0.04295 | 0.9095 | 1 | -0.00001306 | 0.04589 | 0.05553 | 0.01664 | 0.129 | 3.003 | 0.9997 | 0.171 | 0.4244 | 1 | 1 | 0.01864 | 0.05232 | 0.09482 | 0.1724 | 0.4838 | 0.8769 | json |
| t16_x7_u1_b72 | 16 | 7 | 1 | 72 | ![]() |
lrg(P,log(lrg(R,D))) | 80750 | 130212696 | o2(x,o1(o2(x,x))) | true | 134007 | 134007 | 0.7322 | 0.962 | 0.7322 | 0.1433 | 0.3786 | 0 | 1 | 1 | 1 | 2.423 | 0.01049 | 0.001084 | 0.04174 | 0.8128 | 1 | 0.00002012 | 0.01966 | 0.03639 | 0.009838 | 0.09919 | 2.376 | 0.9997 | 0.08078 | 0.1372 | 1 | 1 | 0.01339 | 0.07518 | 0.1635 | 0.09345 | 0.5245 | 1.141 | json |
| t16_x7_u1_b73 | 16 | 7 | 1 | 73 | ![]() |
lrg(P,log(eql(R,D))) | 80751 | 130212697 | o2(x,o1(o2(x,x))) | true | 134015 | 134015 | 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_x7_u1_b74 | 16 | 7 | 1 | 74 | ![]() |
lrg(P,log(min(R,D))) | 80752 | 130212698 | o2(x,o1(o2(x,x))) | true | 134023 | 134023 | 0.8888 | 1 | 0.8888 | 0.06344 | 0.2519 | 0.000291 | 1 | 0.9997 | 1 | 1.604 | 0.01216 | 0.0004569 | 0.03215 | 0.9276 | 1 | -0.0000617 | 0.02272 | 0.03021 | 0.01158 | 0.1076 | 3.348 | 0.9997 | 0.1988 | 0.3581 | 1 | 1 | 0.01183 | 0.05328 | 0.06025 | 0.1865 | 0.8398 | 0.9497 | json |
| t16_x7_u1_b75 | 16 | 7 | 1 | 75 | ![]() |
lrg(P,log(dot(R,D))) | 80753 | 130212699 | o2(x,o1(o2(x,x))) | true | 134031 | 134031 | 0.8066 | 0.9786 | 0.8066 | 0.1106 | 0.3326 | 0 | 1 | 1 | 1 | 2.094 | 0.01402 | 0.01436 | 0.05357 | -0.01167 | 1 | 0.0001876 | 0.09175 | 0.07642 | 0.02552 | 0.1598 | 2.982 | 1.414 | 0.2565 | 0.8292 | 1 | 1 | 0.02762 | 0.1017 | 0.1013 | 0.2496 | 0.9192 | 0.9153 | json |
| t16_x7_u1_b76 | 16 | 7 | 1 | 76 | ![]() |
lrg(P,log(dst(R,D))) | 80754 | 130212700 | o2(x,o1(o2(x,x))) | true | 134039 | 134039 | 0.4987 | 0.5427 | 0.4987 | 0.2396 | 0.4894 | 0 | 1 | 1 | 1 | 1.479 | 0.001967 | 0.001587 | 0.009944 | 0.1071 | 1 | -0.00001957 | 0.01043 | 0.0109 | 0.003452 | 0.05875 | 5.909 | 1.331 | 0.01483 | 0.04354 | 1 | 1 | 0.006151 | 0.0279 | 0.08593 | 0.02568 | 0.1165 | 0.3587 | json |
| t16_x7_u1_b77 | 16 | 7 | 1 | 77 | ![]() |
eql(P,log(add(R,D))) | 80755 | 130212701 | o2(x,o1(o2(x,x))) | true | 134047 | 134047 | 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_x7_u1_b78 | 16 | 7 | 1 | 78 | ![]() |
eql(P,log(sub(R,D))) | 80756 | 130212702 | o2(x,o1(o2(x,x))) | true | 134055 | 134055 | 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_x7_u1_b79 | 16 | 7 | 1 | 79 | ![]() |
eql(P,log(mlt(R,D))) | 80757 | 130212703 | o2(x,o1(o2(x,x))) | true | 134063 | 134063 | 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_x7_u1_b80 | 16 | 7 | 1 | 80 | ![]() |
eql(P,log(div(R,D))) | 80758 | 130212704 | o2(x,o1(o2(x,x))) | true | 134071 | 134071 | 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_x7_u1_b81 | 16 | 7 | 1 | 81 | ![]() |
eql(P,log(pow(R,D))) | 80759 | 130212705 | o2(x,o1(o2(x,x))) | true | 134079 | 134079 | 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_x7_u1_b82 | 16 | 7 | 1 | 82 | ![]() |
eql(P,log(mod(R,D))) | 80760 | 130212706 | o2(x,o1(o2(x,x))) | true | 134087 | 134087 | 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_x7_u1_b83 | 16 | 7 | 1 | 83 | ![]() |
eql(P,log(lrg(R,D))) | 80761 | 130212707 | o2(x,o1(o2(x,x))) | true | 134095 | 134095 | 0.02661 | 0.07115 | 0.02661 | 0.01834 | 0.1354 | 0 | 0.9997 | 0.9997 | 1 | 0.4776 | 0.0009691 | 0.000103 | 0.005573 | 0.8079 | 1 | -0.000002813 | 0.00144 | 0.003939 | 0.001041 | 0.03226 | 5.789 | 0.9264 | 0.05844 | 0.07851 | 1 | 1 | 0.001887 | 0.01606 | 0.04417 | 0.1029 | 0.8758 | 2.408 | json |
| t16_x7_u1_b84 | 16 | 7 | 1 | 84 | ![]() |
eql(P,log(eql(R,D))) | 80762 | 130212708 | o2(x,o1(o2(x,x))) | true | 134103 | 134103 | 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_x7_u1_b85 | 16 | 7 | 1 | 85 | ![]() |
eql(P,log(min(R,D))) | 80763 | 130212709 | o2(x,o1(o2(x,x))) | true | 134111 | 134111 | 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_x7_u1_b86 | 16 | 7 | 1 | 86 | ![]() |
eql(P,log(dot(R,D))) | 80764 | 130212710 | o2(x,o1(o2(x,x))) | true | 134119 | 134119 | 0.00001332 | 0.00003052 | 0.00001332 | 0.000006239 | 0.002498 | 0 | 0.5545 | 0.5545 | 1 | 0.0005323 | 0.00001288 | 0.00001288 | 0.00004694 | 0 | 0 | 0 | 0.0001288 | 0.00011 | 0.00002575 | 0.005075 | 108.1 | 0.7841 | 4.128 | 20.64 | 1 | 1 | 0.00002265 | 0.00002265 | 0.00002265 | 3.631 | 3.631 | 3.631 | json |
| t16_x7_u1_b87 | 16 | 7 | 1 | 87 | ![]() |
eql(P,log(dst(R,D))) | 80765 | 130212711 | o2(x,o1(o2(x,x))) | true | 134127 | 134127 | 0.000006537 | 0.00001526 | 0.000006537 | 0.000002801 | 0.001673 | 0 | 0.4284 | 0.4284 | 1 | 0.0002662 | 0.00000578 | 0.00000578 | 0.00002303 | 0 | 0 | 0 | 0.0000578 | 0.00005397 | 0.00001156 | 0.0034 | 147.6 | 0.6059 | 4.128 | 20.64 | 1 | 1 | 0.00001017 | 0.00001017 | 0.000007626 | 3.631 | 3.631 | 2.723 | json |
| t16_x7_u1_b88 | 16 | 7 | 1 | 88 | ![]() |
min(P,log(add(R,D))) | 80766 | 130212712 | o2(x,o1(o2(x,x))) | true | 134135 | 134135 | -0.2664 | 0.3521 | 0.8736 | 0.7652 | 0.8748 | -1 | 1 | 2 | 1 | 2.571 | 0.08108 | 0.008755 | 0.09759 | 0.8051 | 1 | -0.0005324 | 0.1766 | 0.1164 | 0.08034 | 0.2834 | 2.905 | 2.08 | 0.1174 | 0.2308 | 1 | 1 | 0.08923 | 0.3643 | 0.5985 | 0.1166 | 0.476 | 0.7821 | json |
| t16_x7_u1_b89 | 16 | 7 | 1 | 89 | ![]() |
min(P,log(sub(R,D))) | 80767 | 130212713 | o2(x,o1(o2(x,x))) | true | 134143 | 134143 | -0.2868 | 0.3409 | 0.8638 | 0.7426 | 0.8618 | -1 | 1 | 2 | 1 | 2.599 | 0.08293 | 0.008494 | 0.09513 | 0.8142 | 1 | -0.0003622 | 0.1802 | 0.118 | 0.0824 | 0.287 | 3.017 | 2.259 | 0.1231 | 0.2426 | 1 | 1 | 0.08915 | 0.3485 | 0.6142 | 0.12 | 0.4693 | 0.8271 | json |
| t16_x7_u1_b90 | 16 | 7 | 1 | 90 | ![]() |
min(P,log(mlt(R,D))) | 80768 | 130212714 | o2(x,o1(o2(x,x))) | true | 134151 | 134151 | -0.4445 | 0.275 | 0.9271 | 0.7075 | 0.8411 | -1 | 1 | 2 | 1 | 1.91 | 0.1185 | 0.01743 | 0.1132 | 0.7436 | 1 | -0.00009435 | 0.2389 | 0.1512 | 0.1231 | 0.3508 | 3.1 | 2.429 | 0.1922 | 0.3376 | 1 | 1 | 0.1585 | 0.7228 | 0.83 | 0.224 | 1.022 | 1.173 | json |
| t16_x7_u1_b91 | 16 | 7 | 1 | 91 | ![]() |
min(P,log(div(R,D))) | 80769 | 130212715 | o2(x,o1(o2(x,x))) | true | 134159 | 134159 | -0.08773 | 0.4588 | 0.8871 | 0.8509 | 0.9224 | -1 | 1 | 2 | 1 | 2.388 | 0.01098 | 0.002971 | 0.03717 | 0.5742 | 1 | 0.0002603 | 0.01257 | 0.02658 | 0.01258 | 0.1121 | 3.017 | 2.057 | 0.0164 | 0.01477 | 1 | 1 | 0.02124 | 0.1469 | 0.3354 | 0.02496 | 0.1726 | 0.3942 | json |
| t16_x7_u1_b92 | 16 | 7 | 1 | 92 | ![]() |
min(P,log(pow(R,D))) | 80770 | 130212716 | o2(x,o1(o2(x,x))) | true | 134167 | 134167 | -0.1236 | 0.4586 | 0.8264 | 0.7788 | 0.8825 | -1 | 1 | 2 | 1 | 2.636 | 0.003313 | 0.00293 | 0.03101 | 0.06137 | 1 | -0.0001847 | 0.002894 | 0.01659 | 0.005285 | 0.0727 | 2.344 | 0.6084 | 0.008016 | 0.003716 | 1 | 1 | 0.01075 | 0.09705 | 0.2815 | 0.0138 | 0.1246 | 0.3614 | json |
| t16_x7_u1_b93 | 16 | 7 | 1 | 93 | ![]() |
min(P,log(mod(R,D))) | 80771 | 130212717 | o2(x,o1(o2(x,x))) | true | 134175 | 134175 | -0.4058 | 0.2879 | 0.928 | 0.7422 | 0.8615 | -1 | 1 | 2 | 1 | 1.905 | 0.03614 | 0.01753 | 0.0704 | 0.3467 | 1 | -0.0001188 | 0.09148 | 0.0879 | 0.04871 | 0.2207 | 3.135 | 2.601 | 0.07232 | 0.1232 | 1 | 1 | 0.06186 | 0.387 | 0.7666 | 0.08335 | 0.5214 | 1.033 | json |
| t16_x7_u1_b94 | 16 | 7 | 1 | 94 | ![]() |
min(P,log(lrg(R,D))) | 80772 | 130212718 | o2(x,o1(o2(x,x))) | true | 134183 | 134183 | -0.9659 | 0 | 0.9659 | 0.0325 | 0.1803 | -1 | 0 | 1 | 1 | 0.2419 | 0.01063 | 0.003032 | 0.01385 | 0.5562 | 1 | 2.403e-10 | 0.02977 | 0.02763 | 0.01347 | 0.1161 | 8.382 | 1.414 | 0.4205 | 0.9163 | 1 | 1 | 0.01443 | 0.04901 | 0.07962 | 0.4439 | 1.508 | 2.45 | json |
| t16_x7_u1_b95 | 16 | 7 | 1 | 95 | ![]() |
min(P,log(eql(R,D))) | 80773 | 130212719 | o2(x,o1(o2(x,x))) | true | 134191 | 134191 | -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_x7_u1_b96 | 16 | 7 | 1 | 96 | ![]() |
min(P,log(min(R,D))) | 80774 | 130212720 | o2(x,o1(o2(x,x))) | true | 134199 | 134199 | -0.1394 | 0.4249 | 0.9214 | 0.8812 | 0.9387 | -1 | 1 | 2 | 1 | 2.054 | 0.06711 | 0.005668 | 0.07003 | 0.8442 | 1 | 0.000001679 | 0.1257 | 0.08241 | 0.06786 | 0.2605 | 3.72 | 2 | 0.08258 | 0.1427 | 1 | 1 | 0.08689 | 0.3293 | 0.4056 | 0.0986 | 0.3737 | 0.4603 | json |
| t16_x7_u1_b97 | 16 | 7 | 1 | 97 | ![]() |
min(P,log(dot(R,D))) | 80775 | 130212721 | o2(x,o1(o2(x,x))) | true | 134207 | 134207 | -0.4195 | 0.2844 | 0.9246 | 0.7253 | 0.8516 | -1 | 1 | 2 | 1 | 1.982 | 0.1084 | 0.1043 | 0.1456 | 0.01933 | 1 | 0.0002625 | 0.6634 | 0.2425 | 0.1915 | 0.4377 | 3.005 | 2.828 | 0.2933 | 0.9148 | 1 | 1 | 0.2286 | 0.7847 | 0.8773 | 0.3152 | 1.082 | 1.21 | json |
| t16_x7_u1_b98 | 16 | 7 | 1 | 98 | ![]() |
min(P,log(dst(R,D))) | 80776 | 130212722 | o2(x,o1(o2(x,x))) | true | 134215 | 134215 | -0.4793 | 0.2813 | 0.5865 | 0.2797 | 0.5289 | -1 | 0.6216 | 1.622 | 1 | 3.278 | 0.001316 | 0.001126 | 0.03097 | 0.07808 | 1 | -0.00002484 | 0.0003114 | 0.0086 | 0.001483 | 0.03851 | 1.244 | 0.3219 | 0.008731 | 0.001113 | 1 | 1 | 0.004336 | 0.04968 | 0.1451 | 0.0155 | 0.1776 | 0.5186 | json |
| t16_x7_u1_b99 | 16 | 7 | 1 | 99 | ![]() |
dot(P,log(add(R,D))) | 80777 | 130212723 | o2(x,o1(o2(x,x))) | true | 134223 | 134223 | -0.9976 | 0.00116 | 0.9999 | 0.004544 | 0.06741 | -1 | 1 | 2 | 1 | 0.01713 | 0.001729 | 0.004653 | 0.003254 | -0.4581 | 1 | 3.004e-11 | 0.01898 | 0.006548 | 0.006366 | 0.07979 | 24.52 | 2.828 | 1.404 | 4.177 | 1 | 1 | 0.008612 | 0.01653 | 0.01543 | 1.895 | 3.638 | 3.395 | json |
| t16_x7_u1_b100 | 16 | 7 | 1 | 100 | ![]() |
dot(P,log(sub(R,D))) | 80778 | 130212724 | o2(x,o1(o2(x,x))) | true | 134231 | 134231 | -0.993 | 0.003494 | 1 | 0.01386 | 0.1177 | -1 | 1 | 2 | 1 | 0.03424 | 0.007355 | 0.003977 | 0.005548 | 0.2981 | 1 | 0 | 0.02821 | 0.01139 | 0.01132 | 0.1064 | 19.18 | 2.828 | 0.8179 | 2.036 | 1 | 1 | 0.01641 | 0.04414 | 0.04375 | 1.184 | 3.185 | 3.157 | json |
| t16_x7_u1_b101 | 16 | 7 | 1 | 101 | ![]() |
dot(P,log(mlt(R,D))) | 80779 | 130212725 | o2(x,o1(o2(x,x))) | true | 134239 | 134239 | -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_x7_u1_b102 | 16 | 7 | 1 | 102 | ![]() |
dot(P,log(div(R,D))) | 80780 | 130212726 | o2(x,o1(o2(x,x))) | true | 134247 | 134247 | -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_x7_u1_b103 | 16 | 7 | 1 | 103 | ![]() |
dot(P,log(pow(R,D))) | 80781 | 130212727 | o2(x,o1(o2(x,x))) | true | 134255 | 134255 | -0.9971 | 0.001266 | 0.9978 | 0.002921 | 0.05405 | -1 | 0.5288 | 1.529 | 1 | 0.04826 | 0.0003644 | 0.0005985 | 0.001355 | -0.2431 | 1 | 7.509e-12 | 0.00194 | 0.001903 | 0.0009597 | 0.03098 | 22.87 | 1.424 | 0.3296 | 0.6642 | 1 | 1 | 0.001811 | 0.006809 | 0.01013 | 0.62 | 2.331 | 3.466 | json |
| t16_x7_u1_b104 | 16 | 7 | 1 | 104 | ![]() |
dot(P,log(mod(R,D))) | 80782 | 130212728 | o2(x,o1(o2(x,x))) | true | 134263 | 134263 | -0.9922 | 0.003906 | 1 | 0.01556 | 0.1248 | -1 | 1 | 2 | 1 | 0.03687 | 0.002016 | 0.002016 | 0.001997 | 0 | 1 | 0 | 0.008566 | 0.004031 | 0.004024 | 0.06344 | 31.76 | 2.828 | 0.259 | 0.5504 | 1 | 1 | 0.007091 | 0.02837 | 0.05496 | 0.4556 | 1.823 | 3.531 | json |
| t16_x7_u1_b105 | 16 | 7 | 1 | 105 | ![]() |
dot(P,log(lrg(R,D))) | 80783 | 130212729 | o2(x,o1(o2(x,x))) | true | 134271 | 134271 | -0.9941 | 0.00009155 | 0.9943 | 0.00602 | 0.07759 | -1 | 1 | 2 | 1 | 0.05199 | 0.002583 | 0.002803 | 0.004986 | -0.04094 | 1 | 0 | 0.01373 | 0.0102 | 0.005364 | 0.07324 | 14.69 | 2.828 | 0.8945 | 2.281 | 1 | 1 | 0.007798 | 0.01938 | 0.01953 | 1.295 | 3.218 | 3.244 | json |
| t16_x7_u1_b106 | 16 | 7 | 1 | 106 | ![]() |
dot(P,log(eql(R,D))) | 80784 | 130212730 | o2(x,o1(o2(x,x))) | true | 134279 | 134279 | -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_x7_u1_b107 | 16 | 7 | 1 | 107 | ![]() |
dot(P,log(min(R,D))) | 80785 | 130212731 | o2(x,o1(o2(x,x))) | true | 134287 | 134287 | -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_x7_u1_b108 | 16 | 7 | 1 | 108 | ![]() |
dot(P,log(dot(R,D))) | 80786 | 130212732 | o2(x,o1(o2(x,x))) | true | 134295 | 134295 | -0.9488 | 0.02538 | 0.9981 | 0.09735 | 0.312 | -1 | 1 | 2 | 1 | 0.2068 | 0.03256 | 0.03281 | 0.03055 | -0.003965 | 1 | -0.000189 | 0.2223 | 0.06681 | 0.06447 | 0.2539 | 8.312 | 2.828 | 0.6715 | 2.283 | 1 | 1 | 0.06539 | 0.1527 | 0.1516 | 0.6717 | 1.568 | 1.558 | json |
| t16_x7_u1_b109 | 16 | 7 | 1 | 109 | ![]() |
dot(P,log(dst(R,D))) | 80787 | 130212733 | o2(x,o1(o2(x,x))) | true | 134303 | 134303 | 0.02153 | 0.5143 | 0.6293 | 0.5355 | 0.7318 | -1 | 1 | 2 | 1 | 4.177 | 0.0218 | 0.02365 | 0.1193 | -0.04073 | 1 | -0.00002245 | 0.03061 | 0.06764 | 0.03121 | 0.1767 | 1.48 | 2.299 | 0.08486 | 0.05716 | 1 | 1 | 0.05641 | 0.4909 | 0.944 | 0.1053 | 0.9167 | 1.763 | json |
| t16_x7_u1_b110 | 16 | 7 | 1 | 110 | ![]() |
dst(P,log(add(R,D))) | 80788 | 130212734 | o2(x,o1(o2(x,x))) | true | 134311 | 134311 | -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_x7_u1_b111 | 16 | 7 | 1 | 111 | ![]() |
dst(P,log(sub(R,D))) | 80789 | 130212735 | o2(x,o1(o2(x,x))) | true | 134319 | 134319 | -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_x7_u1_b112 | 16 | 7 | 1 | 112 | ![]() |
dst(P,log(mlt(R,D))) | 80790 | 130212736 | o2(x,o1(o2(x,x))) | true | 134327 | 134327 | -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_x7_u1_b113 | 16 | 7 | 1 | 113 | ![]() |
dst(P,log(div(R,D))) | 80791 | 130212737 | o2(x,o1(o2(x,x))) | true | 134335 | 134335 | -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_x7_u1_b114 | 16 | 7 | 1 | 114 | ![]() |
dst(P,log(pow(R,D))) | 80792 | 130212738 | o2(x,o1(o2(x,x))) | true | 134343 | 134343 | -0.9922 | 0.003906 | 1 | 0.01556 | 0.1248 | -1 | 1 | 2 | 1 | 0.03687 | 0.002016 | 0.002016 | 0.001997 | 0 | 1 | 0 | 0.008566 | 0.004031 | 0.004024 | 0.06344 | 31.76 | 2.828 | 0.259 | 0.5504 | 1 | 1 | 0.007091 | 0.02837 | 0.05496 | 0.4556 | 1.823 | 3.531 | json |
| t16_x7_u1_b115 | 16 | 7 | 1 | 115 | ![]() |
dst(P,log(mod(R,D))) | 80793 | 130212739 | o2(x,o1(o2(x,x))) | true | 134351 | 134351 | -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_x7_u1_b116 | 16 | 7 | 1 | 116 | ![]() |
dst(P,log(lrg(R,D))) | 80794 | 130212740 | o2(x,o1(o2(x,x))) | true | 134359 | 134359 | -0.9993 | 0.0003662 | 1 | 0.001464 | 0.03826 | -1 | 1 | 2 | 1 | 0.004709 | 0.0003779 | 0.001008 | 0.0006744 | -0.4545 | 1 | 0 | 0.003275 | 0.001386 | 0.001385 | 0.03722 | 55.18 | 2.828 | 0.9465 | 2.237 | 1 | 1 | 0.002438 | 0.005319 | 0.005319 | 1.665 | 3.633 | 3.633 | json |
| t16_x7_u1_b117 | 16 | 7 | 1 | 117 | ![]() |
dst(P,log(eql(R,D))) | 80795 | 130212741 | o2(x,o1(o2(x,x))) | true | 134367 | 134367 | -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_x7_u1_b118 | 16 | 7 | 1 | 118 | ![]() |
dst(P,log(min(R,D))) | 80796 | 130212742 | o2(x,o1(o2(x,x))) | true | 134375 | 134375 | -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_x7_u1_b119 | 16 | 7 | 1 | 119 | ![]() |
dst(P,log(dot(R,D))) | 80797 | 130212743 | o2(x,o1(o2(x,x))) | true | 134383 | 134383 | -0.8639 | 0.06805 | 1 | 0.2537 | 0.5037 | -1 | 1 | 2 | 1 | 0.3586 | 0.07804 | 0.06885 | 0.06761 | 0.06261 | 1 | -0.0003779 | 0.467 | 0.1468 | 0.1422 | 0.3772 | 5.578 | 2.828 | 0.579 | 1.841 | 1 | 1 | 0.1518 | 0.4325 | 0.5568 | 0.5984 | 1.705 | 2.195 | json |
| t16_x7_u1_b120 | 16 | 7 | 1 | 120 | ![]() |
dst(P,log(dst(R,D))) | 80798 | 130212744 | o2(x,o1(o2(x,x))) | true | 134391 | 134391 | 0.9976 | 1 | 0.9976 | 0.001096 | 0.0331 | 0.1038 | 1 | 0.8962 | 1 | 0.09344 | 0.00003877 | 0.00002372 | 0.0007217 | 0.2408 | 0 | 9.386e-12 | 0.00001999 | 0.0003336 | 0.00006195 | 0.007871 | 10.91 | 0.1765 | 0.05703 | 0.01824 | 1 | 1 | 0.0002077 | 0.001987 | 0.003996 | 0.1896 | 1.813 | 3.647 | json |
| t16_x7_u2_b0 | 16 | 7 | 2 | 0 | ![]() |
add(P,frc(add(R,D))) | 80799 | 130212825 | o2(x,o1(o2(x,x))) | true | 134399 | 134399 | 0.06195 | 0.5304 | 0.9363 | 0.9113 | 0.9546 | -1 | 1 | 2 | 1 | 1.977 | 0.004651 | 0.0001008 | 0.01886 | 0.9576 | 1 | -2.35e-8 | 0.009054 | 0.01751 | 0.004395 | 0.06629 | 3.514 | 0.9364 | 0.005214 | 0.009935 | 1 | 1 | 0.006315 | 0.03027 | 0.2306 | 0.006929 | 0.03322 | 0.2531 | json |



































































































