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_x9_u3_b86 | 16 | 9 | 3 | 86 | ![]() |
eql(D,flr(dot(P,P))) | 82700 | 130293914 | o2(x,o1(o2(x,x))) | true | 149607 | 149607 | 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_x9_u3_b87 | 16 | 9 | 3 | 87 | ![]() |
eql(D,flr(dst(P,P))) | 82701 | 130293915 | o2(x,o1(o2(x,x))) | true | 149615 | 149615 | 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_x9_u3_b88 | 16 | 9 | 3 | 88 | ![]() |
min(D,flr(add(P,P))) | 82702 | 130293916 | o2(x,o1(o2(x,x))) | true | 149623 | 149623 | -0.4928 | 0.2188 | 0.5341 | 0.2435 | 0.4934 | -1 | 0.1454 | 1.145 | 1 | 2.563 | 0.001424 | 0 | 0.02195 | 1 | 1 | 0.0001582 | 0.0002483 | 0.008687 | 0.0009422 | 0.0307 | 1.399 | 0.2122 | 0.005848 | 0.00102 | 1 | 1 | 0.003129 | 0.02697 | 0.07181 | 0.01285 | 0.1108 | 0.2949 | json |
| t16_x9_u3_b89 | 16 | 9 | 3 | 89 | ![]() |
min(D,flr(sub(P,P))) | 82703 | 130293917 | o2(x,o1(o2(x,x))) | true | 149631 | 149631 | -0.143 | 0 | 0.143 | 0.009237 | 0.09611 | -0.2729 | -0.000282 | 0.2726 | 1 | 2.227 | 0.001451 | 0 | 0.03416 | 1 | 1 | 0.0003063 | 0.0002653 | 0.01361 | 0.0002853 | 0.01689 | 0.4945 | 0.06184 | 0.1571 | 0.02873 | 1 | 1 | 0.002788 | 0.01827 | 0 | 0.3018 | 1.978 | 0 | json |
| t16_x9_u3_b90 | 16 | 9 | 3 | 90 | ![]() |
min(D,flr(mlt(P,P))) | 82704 | 130293918 | o2(x,o1(o2(x,x))) | true | 149639 | 149639 | -0.008939 | 0.4688 | 0.0974 | 0.01192 | 0.1092 | -0.2729 | 0.1454 | 0.4183 | 1 | 2.704 | 0.00162 | 0 | 0.03595 | 1 | 1 | -1.774e-10 | 0.0002558 | 0.01449 | 0.000328 | 0.01811 | 0.5038 | 0.0622 | 0.1359 | 0.02146 | 1 | 1 | 0.003117 | 0.02204 | 0.0025 | 0.2615 | 1.848 | 0.2097 | json |
| t16_x9_u3_b91 | 16 | 9 | 3 | 91 | ![]() |
min(D,flr(div(P,P))) | 82705 | 130293919 | o2(x,o1(o2(x,x))) | true | 149647 | 149647 | -0.05363 | 0.3125 | 0.1126 | 0.01502 | 0.1226 | -0.2729 | 0.1454 | 0.4183 | 1 | 2.918 | 0.001552 | 0 | 0.0352 | 1 | 1 | 0.00007403 | 0.0002575 | 0.01417 | 0.0003139 | 0.01772 | 0.5033 | 0.0622 | 0.1033 | 0.01714 | 1 | 1 | 0.003107 | 0.02217 | 0.008749 | 0.2068 | 1.476 | 0.5824 | json |
| t16_x9_u3_b92 | 16 | 9 | 3 | 92 | ![]() |
min(D,flr(pow(P,P))) | 82706 | 130293920 | o2(x,o1(o2(x,x))) | true | 149655 | 149655 | 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_x9_u3_b93 | 16 | 9 | 3 | 93 | ![]() |
min(D,flr(mod(P,P))) | 82707 | 130293921 | o2(x,o1(o2(x,x))) | true | 149663 | 149663 | -0.3193 | 0.125 | 0.3429 | 0.16 | 0.4 | -1 | 0.1454 | 1.145 | 1 | 3.068 | 0.005019 | 0 | 0.03908 | 1 | 1 | 0.0007871 | 0.002422 | 0.01993 | 0.003492 | 0.05909 | 1.512 | 0.4609 | 0.03137 | 0.01513 | 1 | 1 | 0.008623 | 0.0648 | 0.08313 | 0.05389 | 0.405 | 0.5195 | json |
| t16_x9_u3_b94 | 16 | 9 | 3 | 94 | ![]() |
min(D,flr(lrg(P,P))) | 82708 | 130293922 | o2(x,o1(o2(x,x))) | true | 149671 | 149671 | -0.143 | 0 | 0.143 | 0.009237 | 0.09611 | -0.2729 | -0.000282 | 0.2726 | 1 | 2.227 | 0.001451 | 0 | 0.03416 | 1 | 1 | 0.0003063 | 0.0002653 | 0.01361 | 0.0002853 | 0.01689 | 0.4945 | 0.06184 | 0.1571 | 0.02873 | 1 | 1 | 0.002788 | 0.01827 | 0 | 0.3018 | 1.978 | 0 | json |
| t16_x9_u3_b95 | 16 | 9 | 3 | 95 | ![]() |
min(D,flr(eql(P,P))) | 82709 | 130293923 | o2(x,o1(o2(x,x))) | true | 149679 | 149679 | 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_x9_u3_b96 | 16 | 9 | 3 | 96 | ![]() |
min(D,flr(min(P,P))) | 82710 | 130293924 | o2(x,o1(o2(x,x))) | true | 149687 | 149687 | -0.4866 | 0.2188 | 0.5279 | 0.2404 | 0.4903 | -1 | 0.1454 | 1.145 | 1 | 2.671 | 0.00115 | 0 | 0.02195 | 1 | 1 | 0.0001582 | 0.000139 | 0.007881 | 0.0006688 | 0.02586 | 1.178 | 0.1105 | 0.004785 | 0.0005782 | 1 | 1 | 0.002476 | 0.02333 | 0.06805 | 0.0103 | 0.09702 | 0.283 | json |
| t16_x9_u3_b97 | 16 | 9 | 3 | 97 | ![]() |
min(D,flr(dot(P,P))) | 82711 | 130293925 | o2(x,o1(o2(x,x))) | true | 149695 | 149695 | -0.0005587 | 0.4984 | 0.09447 | 0.01087 | 0.1043 | -0.2728 | 0.1454 | 0.4182 | 1 | 2.574 | 0.00163 | 0.000001331 | 0.03609 | 0.9984 | 1 | -5.514e-12 | 0.0002562 | 0.01459 | 0.0003298 | 0.01816 | 0.5032 | 0.0622 | 0.1501 | 0.02357 | 1 | 1 | 0.003149 | 0.02187 | 0.00033 | 0.2896 | 2.012 | 0.03035 | json |
| t16_x9_u3_b98 | 16 | 9 | 3 | 98 | ![]() |
min(D,flr(dst(P,P))) | 82712 | 130293926 | o2(x,o1(o2(x,x))) | true | 149703 | 149703 | -0.143 | 0 | 0.143 | 0.009237 | 0.09611 | -0.2729 | -0.000282 | 0.2726 | 1 | 2.227 | 0.001451 | 0 | 0.03416 | 1 | 1 | 0.0003063 | 0.0002653 | 0.01361 | 0.0002853 | 0.01689 | 0.4945 | 0.06184 | 0.1571 | 0.02873 | 1 | 1 | 0.002788 | 0.01827 | 0 | 0.3018 | 1.978 | 0 | json |
| t16_x9_u3_b99 | 16 | 9 | 3 | 99 | ![]() |
dot(D,flr(add(P,P))) | 82713 | 130293927 | o2(x,o1(o2(x,x))) | true | 149711 | 149711 | -0.2935 | 0.3389 | 0.7463 | 0.5778 | 0.7601 | -1 | 1 | 2 | 1 | 3.716 | 0.063 | 0.063 | 0.2348 | 0.00001005 | 1 | 0.001714 | 0.08068 | 0.1579 | 0.07089 | 0.2663 | 1.134 | 1.226 | 0.2181 | 0.1396 | 1 | 1 | 0.164 | 0.9607 | 0.08687 | 0.2839 | 1.663 | 0.1504 | json |
| t16_x9_u3_b100 | 16 | 9 | 3 | 100 | ![]() |
dot(D,flr(sub(P,P))) | 82714 | 130293928 | o2(x,o1(o2(x,x))) | true | 149719 | 149719 | 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_x9_u3_b101 | 16 | 9 | 3 | 101 | ![]() |
dot(D,flr(mlt(P,P))) | 82715 | 130293929 | o2(x,o1(o2(x,x))) | true | 149727 | 149727 | 1.873e-8 | 0.498 | 0.8698 | 0.8303 | 0.9112 | -1 | 1 | 2 | 1 | 2.674 | 0.1399 | 0.1399 | 0.2399 | -3.729e-7 | 1 | -3.394e-9 | 0.488 | 0.3211 | 0.2222 | 0.4714 | 1.964 | 2.828 | 0.3369 | 0.5877 | 1 | 1 | 0.2835 | 1.208 | 0.256 | 0.3414 | 1.455 | 0.3083 | json |
| t16_x9_u3_b102 | 16 | 9 | 3 | 102 | ![]() |
dot(D,flr(div(P,P))) | 82716 | 130293930 | o2(x,o1(o2(x,x))) | true | 149735 | 149735 | -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_x9_u3_b103 | 16 | 9 | 3 | 103 | ![]() |
dot(D,flr(pow(P,P))) | 82717 | 130293931 | o2(x,o1(o2(x,x))) | true | 149743 | 149743 | -0.9625 | 0.01746 | 0.9877 | 0.05854 | 0.2419 | -1 | 1 | 2 | 1 | 0.3161 | 0.04336 | 0.04336 | 0.04737 | -3.866e-7 | 1 | -4.806e-10 | 0.2446 | 0.09041 | 0.08448 | 0.2907 | 6.136 | 2.828 | 1.481 | 4.178 | 1 | 1 | 0.06426 | 0.08473 | 0.08269 | 1.098 | 1.448 | 1.413 | json |
| t16_x9_u3_b104 | 16 | 9 | 3 | 104 | ![]() |
dot(D,flr(mod(P,P))) | 82718 | 130293932 | o2(x,o1(o2(x,x))) | true | 149751 | 149751 | -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_x9_u3_b105 | 16 | 9 | 3 | 105 | ![]() |
dot(D,flr(lrg(P,P))) | 82719 | 130293933 | o2(x,o1(o2(x,x))) | true | 149759 | 149759 | 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_x9_u3_b106 | 16 | 9 | 3 | 106 | ![]() |
dot(D,flr(eql(P,P))) | 82720 | 130293934 | o2(x,o1(o2(x,x))) | true | 149767 | 149767 | 3.452e-9 | 0.4688 | 0.1187 | 0.02164 | 0.1471 | -0.2908 | 0.2908 | 0.5817 | 1 | 3.17 | 0.001632 | 0.001632 | 0.05456 | 1.783e-7 | 1 | 3.281e-9 | 0.0005126 | 0.01826 | 0.000288 | 0.01697 | 0.3111 | 0.08757 | 0.1508 | 0.02368 | 1 | 1 | 0.006301 | 0.04366 | 1.047e-14 | 0.2911 | 2.017 | 4.838e-13 | json |
| t16_x9_u3_b107 | 16 | 9 | 3 | 107 | ![]() |
dot(D,flr(min(P,P))) | 82721 | 130293935 | o2(x,o1(o2(x,x))) | true | 149775 | 149775 | -0.2397 | 0.3389 | 0.5376 | 0.3418 | 0.5846 | -1 | 1 | 2 | 1 | 4.686 | 0.02744 | 0.02744 | 0.1913 | -0.00001704 | 1 | 0.002662 | 0.0158 | 0.08103 | 0.0183 | 0.1353 | 0.7073 | 0.613 | 0.1606 | 0.04621 | 1 | 1 | 0.06843 | 0.4811 | 0.03707 | 0.2002 | 1.408 | 0.1085 | json |
| t16_x9_u3_b108 | 16 | 9 | 3 | 108 | ![]() |
dot(D,flr(dot(P,P))) | 82722 | 130293936 | o2(x,o1(o2(x,x))) | true | 149783 | 149783 | -1.064e-8 | 0.498 | 0.8715 | 0.8363 | 0.9145 | -1 | 1 | 2 | 1 | 2.577 | 0.1988 | 0.1988 | 0.3033 | -0.000002699 | 1 | -1.84e-10 | 1.017 | 0.4529 | 0.3055 | 0.5527 | 1.822 | 2.828 | 0.4753 | 1.216 | 1 | 1 | 0.4123 | 1.417 | 0.1094 | 0.493 | 1.695 | 0.1308 | json |
| t16_x9_u3_b109 | 16 | 9 | 3 | 109 | ![]() |
dot(D,flr(dst(P,P))) | 82723 | 130293937 | o2(x,o1(o2(x,x))) | true | 149791 | 149791 | 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_x9_u3_b110 | 16 | 9 | 3 | 110 | ![]() |
dst(D,flr(add(P,P))) | 82724 | 130293938 | o2(x,o1(o2(x,x))) | true | 149799 | 149799 | 0.9992 | 1 | 0.9992 | 0.0005108 | 0.0226 | 0.0459 | 1 | 0.9541 | 1 | 0.02434 | 0.0000371 | 0.0000371 | 0.0003817 | 9.805e-8 | 0 | -1.877e-11 | 0.00003443 | 0.0002594 | 0.00007399 | 0.008602 | 22.53 | 0.2643 | 0.1453 | 0.06739 | 1 | 1 | 0.0002391 | 0.001681 | 0.001858 | 0.4681 | 3.291 | 3.638 | json |
| t16_x9_u3_b111 | 16 | 9 | 3 | 111 | ![]() |
dst(D,flr(sub(P,P))) | 82725 | 130293939 | o2(x,o1(o2(x,x))) | true | 149807 | 149807 | 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_x9_u3_b112 | 16 | 9 | 3 | 112 | ![]() |
dst(D,flr(mlt(P,P))) | 82726 | 130293940 | o2(x,o1(o2(x,x))) | true | 149815 | 149815 | 0.9976 | 1 | 0.9976 | 0.001264 | 0.03555 | 0.04419 | 1 | 0.9558 | 1 | 0.07586 | 0.00003146 | 0.00003146 | 0.0006494 | 0 | 0 | -2.253e-11 | 0.00001595 | 0.0002659 | 0.00006252 | 0.007907 | 12.17 | 0.1796 | 0.04977 | 0.01262 | 1 | 1 | 0.0002106 | 0.002187 | 0.004604 | 0.1666 | 1.73 | 3.643 | json |
| t16_x9_u3_b113 | 16 | 9 | 3 | 113 | ![]() |
dst(D,flr(div(P,P))) | 82727 | 130293941 | o2(x,o1(o2(x,x))) | true | 149823 | 149823 | -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_x9_u3_b114 | 16 | 9 | 3 | 114 | ![]() |
dst(D,flr(pow(P,P))) | 82728 | 130293942 | o2(x,o1(o2(x,x))) | true | 149831 | 149831 | -0.5 | 0.25 | 1 | 0.75 | 0.866 | -1 | 1 | 2 | 1 | 0.8113 | 0.007937 | 0.007937 | 0.007937 | 0 | 1 | 0 | 0.03187 | 0.01587 | 0.01581 | 0.1257 | 15.84 | 2 | 0.02116 | 0.0425 | 1 | 1 | 0.02105 | 0.08421 | 0.3368 | 0.02807 | 0.1123 | 0.4491 | json |
| t16_x9_u3_b115 | 16 | 9 | 3 | 115 | ![]() |
dst(D,flr(mod(P,P))) | 82729 | 130293943 | o2(x,o1(o2(x,x))) | true | 149839 | 149839 | -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_x9_u3_b116 | 16 | 9 | 3 | 116 | ![]() |
dst(D,flr(lrg(P,P))) | 82730 | 130293944 | o2(x,o1(o2(x,x))) | true | 149847 | 149847 | 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_x9_u3_b117 | 16 | 9 | 3 | 117 | ![]() |
dst(D,flr(eql(P,P))) | 82731 | 130293945 | o2(x,o1(o2(x,x))) | true | 149855 | 149855 | 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_x9_u3_b118 | 16 | 9 | 3 | 118 | ![]() |
dst(D,flr(min(P,P))) | 82732 | 130293946 | o2(x,o1(o2(x,x))) | true | 149863 | 149863 | 0.9987 | 1 | 0.9987 | 0.0006951 | 0.02637 | 0.04531 | 1 | 0.9547 | 1 | 0.04216 | 0.00003371 | 0.00003371 | 0.0005271 | 1.079e-7 | 0 | -1.314e-11 | 0.00002519 | 0.0003152 | 0.00006724 | 0.0082 | 15.56 | 0.1796 | 0.097 | 0.03624 | 1 | 1 | 0.0002218 | 0.001933 | 0.002533 | 0.3191 | 2.781 | 3.643 | json |
| t16_x9_u3_b119 | 16 | 9 | 3 | 119 | ![]() |
dst(D,flr(dot(P,P))) | 82733 | 130293947 | o2(x,o1(o2(x,x))) | true | 149871 | 149871 | 0.9989 | 1 | 0.9989 | 0.000666 | 0.02581 | 0.045 | 1 | 0.955 | 1 | 0.03344 | 0.00003553 | 0.00003553 | 0.0004379 | 0 | 0 | 1.126e-11 | 0.0000277 | 0.000255 | 0.00007077 | 0.008413 | 19.21 | 0.2314 | 0.1067 | 0.04159 | 1 | 1 | 0.0002321 | 0.00193 | 0.002425 | 0.3484 | 2.898 | 3.641 | json |
| t16_x9_u3_b120 | 16 | 9 | 3 | 120 | ![]() |
dst(D,flr(dst(P,P))) | 82734 | 130293948 | o2(x,o1(o2(x,x))) | true | 149879 | 149879 | 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_x9_u4_b0 | 16 | 9 | 4 | 0 | ![]() |
add(D,cil(add(P,P))) | 82735 | 130294029 | o2(x,o1(o2(x,x))) | true | 149887 | 149887 | 0 | 0.5 | 0.9629 | 0.9531 | 0.9763 | -1 | 1 | 2 | 1 | 1.525 | 0.001033 | 0 | 0.007937 | 1 | 1 | 0 | 0.0001387 | 0.002289 | 0.0009709 | 0.03116 | 3.926 | 0.1758 | 0.001084 | 0.0001455 | 1 | 1 | 0.002648 | 0.03249 | 0.2737 | 0.002779 | 0.03409 | 0.2871 | json |
| t16_x9_u4_b1 | 16 | 9 | 4 | 1 | ![]() |
add(D,cil(sub(P,P))) | 82736 | 130294030 | o2(x,o1(o2(x,x))) | true | 149895 | 149895 | 0 | 0.5 | 0.09436 | 0.01082 | 0.104 | -0.1454 | 0.1454 | 0.2908 | 1 | 2.561 | 0.001632 | 0 | 0.03609 | 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 | 5.236e-15 | 0.2912 | 2.017 | 4.838e-13 | json |
| t16_x9_u4_b2 | 16 | 9 | 4 | 2 | ![]() |
add(D,cil(mlt(P,P))) | 82737 | 130294031 | o2(x,o1(o2(x,x))) | true | 149903 | 149903 | 0.9359 | 0.9805 | 0.9381 | 0.04617 | 0.2149 | -0.09672 | 1 | 1.097 | 1 | 0.9036 | 0.0008869 | 0 | 0.009222 | 1 | 1 | 9.461e-10 | 0.0001182 | 0.00243 | 0.0008017 | 0.02831 | 3.07 | 0.1713 | 0.01921 | 0.002561 | 1 | 1 | 0.002274 | 0.02576 | 0.06766 | 0.04925 | 0.5578 | 1.465 | json |
| t16_x9_u4_b3 | 16 | 9 | 4 | 3 | ![]() |
add(D,cil(div(P,P))) | 82738 | 130294032 | o2(x,o1(o2(x,x))) | true | 149911 | 149911 | 0.7088 | 0.875 | 0.9588 | 0.4198 | 0.6479 | -1 | 1 | 2 | 1 | 1.707 | 0.03188 | 0 | 0.03145 | 1 | 1 | 0.0001582 | 0.06366 | 0.04304 | 0.03088 | 0.1757 | 5.589 | 2 | 0.07594 | 0.1516 | 1 | 1 | 0.04195 | 0.165 | 0.6428 | 0.09994 | 0.3932 | 1.531 | json |
| t16_x9_u4_b4 | 16 | 9 | 4 | 4 | ![]() |
add(D,cil(pow(P,P))) | 82739 | 130294033 | o2(x,o1(o2(x,x))) | true | 149919 | 149919 | -0.002949 | 0.5 | 0.9971 | 0.9944 | 0.9972 | -1 | 1 | 2 | 1 | 1.16 | 0.01592 | 0 | 0.009091 | 1 | 1 | 0 | 0.03177 | 0.01672 | 0.01583 | 0.1258 | 13.84 | 2 | 0.01601 | 0.03194 | 1 | 1 | 0.02116 | 0.08467 | 0.3293 | 0.02128 | 0.08514 | 0.3312 | json |
| t16_x9_u4_b5 | 16 | 9 | 4 | 5 | ![]() |
add(D,cil(mod(P,P))) | 82740 | 130294034 | o2(x,o1(o2(x,x))) | true | 149927 | 149927 | -0.125 | 0.4375 | 0.6517 | 0.5933 | 0.7703 | -1 | 1 | 2 | 1 | 3.051 | 0.01669 | 0 | 0.04953 | 1 | 1 | 9.386e-13 | 0.01989 | 0.04092 | 0.01424 | 0.1193 | 2.409 | 1.031 | 0.02813 | 0.03353 | 1 | 1 | 0.02501 | 0.1598 | 0.4305 | 0.04215 | 0.2693 | 0.7255 | json |
| t16_x9_u4_b6 | 16 | 9 | 4 | 6 | ![]() |
add(D,cil(lrg(P,P))) | 82741 | 130294035 | o2(x,o1(o2(x,x))) | true | 149935 | 149935 | 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_x9_u4_b7 | 16 | 9 | 4 | 7 | ![]() |
add(D,cil(eql(P,P))) | 82742 | 130294036 | o2(x,o1(o2(x,x))) | true | 149943 | 149943 | 0.9529 | 1 | 0.9529 | 0.003185 | 0.05644 | 0.8546 | 1 | 0.1454 | 1 | 1.329 | 0.0007155 | 0 | 0.01812 | 1 | 1 | 0.0001582 | 0.0003006 | 0.01323 | 0.0003869 | 0.01967 | 1.085 | 0.05567 | 0.2246 | 0.09439 | 1 | 1 | 0.0013 | 0.005463 | 2.693e-15 | 0.4081 | 1.715 | 8.454e-13 | json |
| t16_x9_u4_b8 | 16 | 9 | 4 | 8 | ![]() |
add(D,cil(min(P,P))) | 82743 | 130294037 | o2(x,o1(o2(x,x))) | true | 149951 | 149951 | 0 | 0.5 | 0.9375 | 0.9165 | 0.9574 | -1 | 1 | 2 | 1 | 1.979 | 0.0004883 | 0 | 0.007937 | 1 | 1 | 0 | 0.0000155 | 0.000496 | 0.0004253 | 0.02062 | 2.598 | 0.0625 | 0.0005327 | 0.00001691 | 1 | 1 | 0.001285 | 0.01928 | 0.2245 | 0.001402 | 0.02104 | 0.245 | json |
| t16_x9_u4_b9 | 16 | 9 | 4 | 9 | ![]() |
add(D,cil(dot(P,P))) | 82744 | 130294038 | o2(x,o1(o2(x,x))) | true | 149959 | 149959 | 0.9965 | 0.9995 | 0.9966 | 0.002291 | 0.04786 | -0.09643 | 1 | 1.096 | 1 | 0.09085 | 0.00005708 | 0.00004421 | 0.000887 | 0.1271 | 1 | 5.256e-11 | 0.00002596 | 0.000367 | 0.0001006 | 0.01003 | 11.31 | 0.2014 | 0.04422 | 0.01133 | 1 | 1 | 0.0003403 | 0.003622 | 0.008352 | 0.1485 | 1.581 | 3.646 | json |
| t16_x9_u4_b10 | 16 | 9 | 4 | 10 | ![]() |
add(D,cil(dst(P,P))) | 82745 | 130294039 | o2(x,o1(o2(x,x))) | true | 149967 | 149967 | 0 | 0.5 | 0.09436 | 0.01082 | 0.104 | -0.1454 | 0.1454 | 0.2908 | 1 | 2.561 | 0.001632 | 0 | 0.03609 | 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 | 5.236e-15 | 0.2912 | 2.017 | 4.838e-13 | json |
| t16_x9_u4_b11 | 16 | 9 | 4 | 11 | ![]() |
sub(D,cil(add(P,P))) | 82746 | 130294040 | o2(x,o1(o2(x,x))) | true | 149975 | 149975 | 0 | 0.5 | 0.9537 | 0.9469 | 0.9731 | -1 | 1 | 2 | 1 | 1.494 | 0.001772 | 0 | 0.009085 | 1 | 1 | 0 | 0.0004501 | 0.004884 | 0.00169 | 0.04111 | 4.525 | 0.2773 | 0.001871 | 0.0004753 | 1 | 1 | 0.004401 | 0.0356 | 0.2653 | 0.004647 | 0.0376 | 0.2802 | json |
| t16_x9_u4_b12 | 16 | 9 | 4 | 12 | ![]() |
sub(D,cil(sub(P,P))) | 82747 | 130294041 | o2(x,o1(o2(x,x))) | true | 149983 | 149983 | 0 | 0.5 | 0.09436 | 0.01082 | 0.104 | -0.1454 | 0.1454 | 0.2908 | 1 | 2.561 | 0.001632 | 0 | 0.03609 | 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 | 5.236e-15 | 0.2912 | 2.017 | 4.838e-13 | json |
| t16_x9_u4_b13 | 16 | 9 | 4 | 13 | ![]() |
sub(D,cil(mlt(P,P))) | 82748 | 130294042 | o2(x,o1(o2(x,x))) | true | 149991 | 149991 | -0.9359 | 0.01953 | 0.9381 | 0.04617 | 0.2149 | -1 | 0.09672 | 1.097 | 1 | 0.9036 | 0.0008869 | 0 | 0.009222 | 1 | 1 | -9.461e-10 | 0.0001182 | 0.00243 | 0.0008017 | 0.02831 | 3.07 | 0.1713 | 0.01921 | 0.002561 | 1 | 1 | 0.002274 | 0.02576 | 0.06766 | 0.04925 | 0.5578 | 1.465 | json |
| t16_x9_u4_b14 | 16 | 9 | 4 | 14 | ![]() |
sub(D,cil(div(P,P))) | 82749 | 130294043 | o2(x,o1(o2(x,x))) | true | 149999 | 149999 | -0.9588 | 0 | 0.9588 | 0.00303 | 0.05504 | -1 | -0.8546 | 0.1454 | 1 | 1.241 | 0.0006177 | 0 | 0.01566 | 1 | 1 | -0.0001582 | 0.0002621 | 0.01154 | 0.0003724 | 0.0193 | 1.233 | 0.05567 | 0.2039 | 0.08651 | 1 | 1 | 0.001041 | 0.004552 | 0.0009114 | 0.3437 | 1.502 | 0.3008 | json |
| t16_x9_u4_b15 | 16 | 9 | 4 | 15 | ![]() |
sub(D,cil(pow(P,P))) | 82750 | 130294044 | o2(x,o1(o2(x,x))) | true | 150007 | 150007 | -0.9965 | 0 | 0.9965 | 0.0003517 | 0.01875 | -1 | -0.8546 | 0.1454 | 1 | 0.2078 | 0.00006283 | 0 | 0.001672 | 1 | 0 | 0 | 0.00004462 | 0.001419 | 0.00006005 | 0.007749 | 4.635 | 0.05567 | 0.1787 | 0.1269 | 1 | 1 | 0.0001371 | 0.0004901 | 0.0004901 | 0.3898 | 1.394 | 1.394 | json |
| t16_x9_u4_b16 | 16 | 9 | 4 | 16 | ![]() |
sub(D,cil(mod(P,P))) | 82751 | 130294045 | o2(x,o1(o2(x,x))) | true | 150015 | 150015 | -0.125 | 0.4375 | 0.6509 | 0.5925 | 0.7698 | -1 | 1 | 2 | 1 | 3.052 | 0.01635 | 0 | 0.04853 | 1 | 1 | 9.386e-13 | 0.01951 | 0.03939 | 0.014 | 0.1183 | 2.437 | 1.031 | 0.02759 | 0.03294 | 1 | 1 | 0.02604 | 0.1527 | 0.4236 | 0.04395 | 0.2577 | 0.7149 | json |
| t16_x9_u4_b17 | 16 | 9 | 4 | 17 | ![]() |
sub(D,cil(lrg(P,P))) | 82752 | 130294046 | o2(x,o1(o2(x,x))) | true | 150023 | 150023 | 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_x9_u4_b18 | 16 | 9 | 4 | 18 | ![]() |
sub(D,cil(eql(P,P))) | 82753 | 130294047 | o2(x,o1(o2(x,x))) | true | 150031 | 150031 | -0.9529 | 0 | 0.9529 | 0.003185 | 0.05644 | -1 | -0.8546 | 0.1454 | 1 | 1.329 | 0.0007092 | 0 | 0.01796 | 1 | 1 | -0.0001582 | 0.0003006 | 0.01323 | 0.0003863 | 0.01965 | 1.094 | 0.05567 | 0.2227 | 0.09439 | 1 | 1 | 0.001259 | 0.005463 | 2.842e-15 | 0.3952 | 1.715 | 8.924e-13 | json |
| t16_x9_u4_b19 | 16 | 9 | 4 | 19 | ![]() |
sub(D,cil(min(P,P))) | 82754 | 130294048 | o2(x,o1(o2(x,x))) | true | 150039 | 150039 | 0 | 0.5 | 0.9375 | 0.9252 | 0.9619 | -1 | 1 | 2 | 1 | 1.774 | 0.001323 | 0 | 0.01101 | 1 | 1 | 0 | 0.0002527 | 0.005079 | 0.001202 | 0.03468 | 3.15 | 0.1713 | 0.00143 | 0.0002731 | 1 | 1 | 0.003342 | 0.0331 | 0.2361 | 0.003612 | 0.03578 | 0.2552 | json |
| t16_x9_u4_b20 | 16 | 9 | 4 | 20 | ![]() |
sub(D,cil(dot(P,P))) | 82755 | 130294049 | o2(x,o1(o2(x,x))) | true | 150047 | 150047 | -0.9965 | 0.0004578 | 0.9966 | 0.002291 | 0.04786 | -1 | 0.09643 | 1.096 | 1 | 0.09085 | 0.00005708 | 0.00004421 | 0.0008805 | 0.1271 | 1 | -4.881e-11 | 0.00002596 | 0.000367 | 0.0001006 | 0.01003 | 11.39 | 0.2053 | 0.04422 | 0.01133 | 1 | 1 | 0.0003403 | 0.003622 | 0.008352 | 0.1485 | 1.581 | 3.646 | json |
| t16_x9_u4_b21 | 16 | 9 | 4 | 21 | ![]() |
sub(D,cil(dst(P,P))) | 82756 | 130294050 | o2(x,o1(o2(x,x))) | true | 150055 | 150055 | 0 | 0.5 | 0.09436 | 0.01082 | 0.104 | -0.1454 | 0.1454 | 0.2908 | 1 | 2.561 | 0.001632 | 0 | 0.03609 | 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 | 5.236e-15 | 0.2912 | 2.017 | 4.838e-13 | json |
| t16_x9_u4_b22 | 16 | 9 | 4 | 22 | ![]() |
mlt(D,cil(add(P,P))) | 82757 | 130294051 | o2(x,o1(o2(x,x))) | true | 150063 | 150063 | -0.192 | 0.3594 | 0.6313 | 0.4802 | 0.693 | -1 | 1 | 2 | 1 | 4.289 | 0.08647 | 0 | 0.1943 | 1 | 1 | -2.602e-9 | 0.03671 | 0.1114 | 0.04871 | 0.2207 | 1.136 | 0.8669 | 0.1801 | 0.07645 | 1 | 1 | 0.1151 | 0.7631 | 0.05344 | 0.2398 | 1.589 | 0.1113 | json |
| t16_x9_u4_b23 | 16 | 9 | 4 | 23 | ![]() |
mlt(D,cil(sub(P,P))) | 82758 | 130294052 | o2(x,o1(o2(x,x))) | true | 150071 | 150071 | 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_x9_u4_b24 | 16 | 9 | 4 | 24 | ![]() |
mlt(D,cil(mlt(P,P))) | 82759 | 130294053 | o2(x,o1(o2(x,x))) | true | 150079 | 150079 | 1.486e-8 | 0.5 | 0.7248 | 0.659 | 0.8118 | -1 | 1 | 2 | 1 | 3.574 | 0.1916 | 0 | 0.1921 | 1 | 1 | 0 | 0.2709 | 0.2246 | 0.1548 | 0.3935 | 2.048 | 2 | 0.2908 | 0.411 | 1 | 1 | 0.1826 | 0.8212 | 0.1218 | 0.2772 | 1.246 | 0.1848 | json |
| t16_x9_u4_b25 | 16 | 9 | 4 | 25 | ![]() |
mlt(D,cil(div(P,P))) | 82760 | 130294054 | o2(x,o1(o2(x,x))) | true | 150087 | 150087 | -0.125 | 0.4375 | 0.2076 | 0.1189 | 0.3448 | -1 | 0.1454 | 1.145 | 1 | 2.785 | 0.009352 | 0 | 0.03917 | 1 | 1 | 9.386e-13 | 0.01611 | 0.02856 | 0.007817 | 0.08842 | 2.257 | 1.031 | 0.07868 | 0.1355 | 1 | 1 | 0.01311 | 0.05985 | 0.1702 | 0.1103 | 0.5035 | 1.432 | json |
| t16_x9_u4_b26 | 16 | 9 | 4 | 26 | ![]() |
mlt(D,cil(pow(P,P))) | 82761 | 130294055 | o2(x,o1(o2(x,x))) | true | 150095 | 150095 | -0.8342 | 0.07813 | 0.8965 | 0.1835 | 0.4283 | -1 | 1 | 2 | 1 | 1.307 | 0.1616 | 0 | 0.09857 | 1 | 1 | -1.892e-9 | 0.4113 | 0.1738 | 0.1519 | 0.3897 | 3.954 | 2 | 0.8807 | 2.242 | 1 | 1 | 0.1243 | 0.1697 | 0.137 | 0.6773 | 0.925 | 0.7467 | json |
| t16_x9_u4_b27 | 16 | 9 | 4 | 27 | ![]() |
mlt(D,cil(mod(P,P))) | 82762 | 130294056 | o2(x,o1(o2(x,x))) | true | 150103 | 150103 | -0.1375 | 0.3047 | 0.4796 | 0.384 | 0.6197 | -1 | 1 | 2 | 1 | 3.796 | 0.02962 | 0 | 0.09361 | 1 | 1 | -0.001037 | 0.02068 | 0.05016 | 0.02086 | 0.1444 | 1.543 | 1 | 0.07712 | 0.05386 | 1 | 1 | 0.02754 | 0.2173 | 0.4066 | 0.07171 | 0.5657 | 1.059 | json |
| t16_x9_u4_b28 | 16 | 9 | 4 | 28 | ![]() |
mlt(D,cil(lrg(P,P))) | 82763 | 130294057 | o2(x,o1(o2(x,x))) | true | 150111 | 150111 | 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_x9_u4_b29 | 16 | 9 | 4 | 29 | ![]() |
mlt(D,cil(eql(P,P))) | 82764 | 130294058 | o2(x,o1(o2(x,x))) | true | 150119 | 150119 | 0 | 0.5 | 0.09436 | 0.01082 | 0.104 | -0.1454 | 0.1454 | 0.2908 | 1 | 2.561 | 0.001632 | 0 | 0.03609 | 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 | 5.236e-15 | 0.2912 | 2.017 | 4.838e-13 | json |
| t16_x9_u4_b30 | 16 | 9 | 4 | 30 | ![]() |
mlt(D,cil(min(P,P))) | 82765 | 130294059 | o2(x,o1(o2(x,x))) | true | 150127 | 150127 | -0.1371 | 0.3594 | 0.4002 | 0.2253 | 0.4747 | -1 | 0.9606 | 1.961 | 1 | 4.765 | 0.03261 | 0 | 0.1409 | 1 | 1 | 0.002385 | 0.006072 | 0.05811 | 0.01278 | 0.113 | 0.8025 | 0.4334 | 0.1447 | 0.02695 | 1 | 1 | 0.03817 | 0.2764 | 0.02108 | 0.1694 | 1.227 | 0.09354 | json |
| t16_x9_u4_b31 | 16 | 9 | 4 | 31 | ![]() |
mlt(D,cil(dot(P,P))) | 82766 | 130294060 | o2(x,o1(o2(x,x))) | true | 150135 | 150135 | 4.657e-10 | 0.5 | 0.899 | 0.8669 | 0.9311 | -1 | 1 | 2 | 1 | 2.4 | 0.3311 | 0.0001049 | 0.2352 | 0.9994 | 1 | -7.227e-11 | 0.5604 | 0.3571 | 0.276 | 0.5254 | 2.234 | 2 | 0.3821 | 0.6464 | 1 | 1 | 0.3214 | 1.373 | 0.09237 | 0.3707 | 1.584 | 0.1066 | json |
| t16_x9_u4_b32 | 16 | 9 | 4 | 32 | ![]() |
mlt(D,cil(dst(P,P))) | 82767 | 130294061 | o2(x,o1(o2(x,x))) | true | 150143 | 150143 | 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_x9_u4_b33 | 16 | 9 | 4 | 33 | ![]() |
div(D,cil(add(P,P))) | 82768 | 130294062 | o2(x,o1(o2(x,x))) | true | 150151 | 150151 | -0.1172 | 0.5156 | 0.1396 | 0.1118 | 0.3344 | -1 | 0.09611 | 1.096 | 1 | 1.625 | 0.008241 | 0 | 0.01314 | 1 | 1 | 0.00001845 | 0.01591 | 0.01789 | 0.008069 | 0.08983 | 6.835 | 1.016 | 0.07369 | 0.1423 | 1 | 1 | 0.0113 | 0.04902 | 0.1769 | 0.1011 | 0.4384 | 1.582 | json |
| t16_x9_u4_b34 | 16 | 9 | 4 | 34 | ![]() |
div(D,cil(sub(P,P))) | 82769 | 130294063 | o2(x,o1(o2(x,x))) | true | 150159 | 150159 | 0 | 0.5 | 1 | 1 | 1 | -1 | 1 | 2 | 1 | 1 | 0.4921 | 0 | 0.246 | 1 | 1 | 0 | 0.9841 | 0.4921 | 0.4315 | 0.6569 | 2.67 | 2 | 0.4921 | 0.9841 | 1 | 1 | 0.4947 | 2 | 0 | 0.4947 | 2 | 0 | json |
| t16_x9_u4_b35 | 16 | 9 | 4 | 35 | ![]() |
div(D,cil(mlt(P,P))) | 82770 | 130294064 | o2(x,o1(o2(x,x))) | true | 150167 | 150167 | -0.125 | 0.4375 | 0.1449 | 0.1119 | 0.3346 | -1 | 0.2292 | 1.229 | 1 | 1.914 | 0.008101 | 0 | 0.01359 | 1 | 1 | 5.206e-13 | 0.01591 | 0.01794 | 0.007917 | 0.08897 | 6.547 | 1.031 | 0.07237 | 0.1421 | 1 | 1 | 0.01094 | 0.04519 | 0.1716 | 0.09775 | 0.4037 | 1.533 | json |
| t16_x9_u4_b36 | 16 | 9 | 4 | 36 | ![]() |
div(D,cil(div(P,P))) | 82771 | 130294065 | o2(x,o1(o2(x,x))) | true | 150175 | 150175 | -0.125 | 0.4375 | 0.2076 | 0.1189 | 0.3448 | -1 | 0.1454 | 1.145 | 1 | 2.785 | 0.009352 | 0 | 0.03917 | 1 | 1 | 9.386e-13 | 0.01611 | 0.02856 | 0.007817 | 0.08842 | 2.257 | 1.031 | 0.07868 | 0.1355 | 1 | 1 | 0.01311 | 0.05985 | 0.1702 | 0.1103 | 0.5035 | 1.432 | json |
| t16_x9_u4_b37 | 16 | 9 | 4 | 37 | ![]() |
div(D,cil(pow(P,P))) | 82772 | 130294066 | o2(x,o1(o2(x,x))) | true | 150183 | 150183 | -0.4911 | 0.2422 | 0.5151 | 0.2608 | 0.5107 | -1 | 0.2292 | 1.229 | 1 | 1.748 | 0.004401 | 0 | 0.00881 | 1 | 1 | 4.722e-10 | 0.008017 | 0.009713 | 0.004323 | 0.06575 | 7.463 | 1.031 | 0.01687 | 0.03074 | 1 | 1 | 0.006357 | 0.02867 | 0.09571 | 0.02437 | 0.1099 | 0.367 | json |
| t16_x9_u4_b38 | 16 | 9 | 4 | 38 | ![]() |
div(D,cil(mod(P,P))) | 82773 | 130294067 | o2(x,o1(o2(x,x))) | true | 150191 | 150191 | -0.8745 | 0.07031 | 0.8769 | 0.1101 | 0.3318 | -1 | 0.02606 | 1.026 | 1 | 0.6672 | 0.01589 | 0 | 0.01652 | 1 | 1 | 4.721e-10 | 0.03175 | 0.03202 | 0.0156 | 0.1249 | 7.56 | 1.005 | 0.1443 | 0.2884 | 1 | 1 | 0.002659 | 0.01913 | 0.0424 | 0.02415 | 0.1738 | 0.3852 | json |
| t16_x9_u4_b39 | 16 | 9 | 4 | 39 | ![]() |
div(D,cil(lrg(P,P))) | 82774 | 130294068 | o2(x,o1(o2(x,x))) | true | 150199 | 150199 | -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_x9_u4_b40 | 16 | 9 | 4 | 40 | ![]() |
div(D,cil(eql(P,P))) | 82775 | 130294069 | o2(x,o1(o2(x,x))) | true | 150207 | 150207 | 0 | 0.5 | 0.09436 | 0.01082 | 0.104 | -0.1454 | 0.1454 | 0.2908 | 1 | 2.561 | 0.001632 | 0 | 0.03609 | 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 | 5.236e-15 | 0.2912 | 2.017 | 4.838e-13 | json |
| t16_x9_u4_b41 | 16 | 9 | 4 | 41 | ![]() |
div(D,cil(min(P,P))) | 82776 | 130294070 | o2(x,o1(o2(x,x))) | true | 150215 | 150215 | -0.1094 | 0.5156 | 0.1542 | 0.1153 | 0.3396 | -1 | 0.1922 | 1.192 | 1 | 1.912 | 0.00866 | 0 | 0.01835 | 1 | 1 | 0.0000369 | 0.01597 | 0.01991 | 0.008324 | 0.09124 | 4.973 | 1.031 | 0.07511 | 0.1385 | 1 | 1 | 0.01236 | 0.05779 | 0.1864 | 0.1072 | 0.5012 | 1.617 | json |
| t16_x9_u4_b42 | 16 | 9 | 4 | 42 | ![]() |
div(D,cil(dot(P,P))) | 82777 | 130294071 | o2(x,o1(o2(x,x))) | true | 150223 | 150223 | -0.01562 | 0.4869 | 0.02188 | 0.01571 | 0.1253 | -1 | 0.2292 | 1.229 | 1 | 1.239 | 0.001036 | 0.001022 | 0.004222 | 0.006526 | 1 | -9.421e-10 | 0.00419 | 0.004855 | 0.002041 | 0.04517 | 10.7 | 1.415 | 0.131 | 0.2667 | 1 | 1 | 0.003667 | 0.01503 | 0.05761 | 0.2334 | 0.9564 | 3.666 | json |
| t16_x9_u4_b43 | 16 | 9 | 4 | 43 | ![]() |
div(D,cil(dst(P,P))) | 82778 | 130294072 | o2(x,o1(o2(x,x))) | true | 150231 | 150231 | 0 | 0.5 | 1 | 1 | 1 | -1 | 1 | 2 | 1 | 1 | 0.4921 | 0 | 0.246 | 1 | 1 | 0 | 0.9841 | 0.4921 | 0.4315 | 0.6569 | 2.67 | 2 | 0.4921 | 0.9841 | 1 | 1 | 0.4947 | 2 | 0 | 0.4947 | 2 | 0 | json |
| t16_x9_u4_b44 | 16 | 9 | 4 | 44 | ![]() |
pow(D,cil(add(P,P))) | 82779 | 130294073 | o2(x,o1(o2(x,x))) | true | 150239 | 150239 | -0.875 | 0.0625 | 1 | 0.2344 | 0.4841 | -1 | 1 | 2 | 1 | 0.3373 | 0.03175 | 0 | 0.01587 | 1 | 1 | 0 | 0.06349 | 0.03175 | 0.03149 | 0.1774 | 11.18 | 2 | 0.1354 | 0.2709 | 1 | 1 | 0.04211 | 0.1684 | 0.3368 | 0.1796 | 0.7186 | 1.437 | json |
| t16_x9_u4_b45 | 16 | 9 | 4 | 45 | ![]() |
pow(D,cil(sub(P,P))) | 82780 | 130294074 | o2(x,o1(o2(x,x))) | true | 150247 | 150247 | 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_x9_u4_b46 | 16 | 9 | 4 | 46 | ![]() |
pow(D,cil(mlt(P,P))) | 82781 | 130294075 | o2(x,o1(o2(x,x))) | true | 150255 | 150255 | -0.8973 | 0.0625 | 0.9777 | 0.1655 | 0.4069 | -1 | 1 | 2 | 1 | 0.5419 | 0.02043 | 0 | 0.01587 | 1 | 1 | 4.731e-10 | 0.03967 | 0.02439 | 0.02017 | 0.142 | 8.948 | 2 | 0.1234 | 0.2396 | 1 | 1 | 0.02789 | 0.1266 | 0.2371 | 0.1685 | 0.7646 | 1.432 | json |
| t16_x9_u4_b47 | 16 | 9 | 4 | 47 | ![]() |
pow(D,cil(div(P,P))) | 82782 | 130294076 | o2(x,o1(o2(x,x))) | true | 150263 | 150263 | -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_x9_u4_b48 | 16 | 9 | 4 | 48 | ![]() |
pow(D,cil(pow(P,P))) | 82783 | 130294077 | o2(x,o1(o2(x,x))) | true | 150271 | 150271 | -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_x9_u4_b49 | 16 | 9 | 4 | 49 | ![]() |
pow(D,cil(mod(P,P))) | 82784 | 130294078 | o2(x,o1(o2(x,x))) | true | 150279 | 150279 | -0.06037 | 0.5 | 0.9397 | 0.9232 | 0.9608 | -1 | 1 | 2 | 1 | 1.67 | 0.1198 | 0 | 0.07141 | 1 | 1 | 0.00006808 | 0.238 | 0.1288 | 0.1146 | 0.3386 | 4.741 | 2 | 0.1298 | 0.2578 | 1 | 1 | 0.1326 | 0.5464 | 1.38 | 0.1436 | 0.5919 | 1.494 | json |
| t16_x9_u4_b50 | 16 | 9 | 4 | 50 | ![]() |
pow(D,cil(lrg(P,P))) | 82785 | 130294079 | o2(x,o1(o2(x,x))) | true | 150287 | 150287 | 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_x9_u4_b51 | 16 | 9 | 4 | 51 | ![]() |
pow(D,cil(eql(P,P))) | 82786 | 130294080 | o2(x,o1(o2(x,x))) | true | 150295 | 150295 | 0 | 0.5 | 0.09436 | 0.01082 | 0.104 | -0.1454 | 0.1454 | 0.2908 | 1 | 2.561 | 0.001632 | 0 | 0.03609 | 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 | 5.236e-15 | 0.2912 | 2.017 | 4.838e-13 | json |
| t16_x9_u4_b52 | 16 | 9 | 4 | 52 | ![]() |
pow(D,cil(min(P,P))) | 82787 | 130294081 | o2(x,o1(o2(x,x))) | true | 150303 | 150303 | -0.875 | 0.0625 | 1 | 0.2344 | 0.4841 | -1 | 1 | 2 | 1 | 0.3373 | 0.03175 | 0 | 0.01587 | 1 | 1 | 0 | 0.06349 | 0.03175 | 0.03149 | 0.1774 | 11.18 | 2 | 0.1354 | 0.2709 | 1 | 1 | 0.04211 | 0.1684 | 0.3368 | 0.1796 | 0.7186 | 1.437 | json |
| t16_x9_u4_b53 | 16 | 9 | 4 | 53 | ![]() |
pow(D,cil(dot(P,P))) | 82788 | 130294082 | o2(x,o1(o2(x,x))) | true | 150311 | 150311 | -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_x9_u4_b54 | 16 | 9 | 4 | 54 | ![]() |
pow(D,cil(dst(P,P))) | 82789 | 130294083 | o2(x,o1(o2(x,x))) | true | 150319 | 150319 | 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_x9_u4_b55 | 16 | 9 | 4 | 55 | ![]() |
mod(D,cil(add(P,P))) | 82790 | 130294084 | o2(x,o1(o2(x,x))) | true | 150327 | 150327 | -0.125 | 0.4375 | 0.2076 | 0.1189 | 0.3448 | -1 | 0.1454 | 1.145 | 1 | 2.785 | 0.009352 | 0 | 0.03917 | 1 | 1 | 9.386e-13 | 0.01611 | 0.02856 | 0.007817 | 0.08842 | 2.257 | 1.031 | 0.07868 | 0.1355 | 1 | 1 | 0.01311 | 0.05985 | 0.1702 | 0.1103 | 0.5035 | 1.432 | json |
| t16_x9_u4_b56 | 16 | 9 | 4 | 56 | ![]() |
mod(D,cil(sub(P,P))) | 82791 | 130294085 | o2(x,o1(o2(x,x))) | true | 150335 | 150335 | 0 | 0.5 | 0.09436 | 0.01082 | 0.104 | -0.1454 | 0.1454 | 0.2908 | 1 | 2.561 | 0.001632 | 0 | 0.03609 | 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 | 5.236e-15 | 0.2912 | 2.017 | 4.838e-13 | json |
| t16_x9_u4_b57 | 16 | 9 | 4 | 57 | ![]() |
mod(D,cil(mlt(P,P))) | 82792 | 130294086 | o2(x,o1(o2(x,x))) | true | 150343 | 150343 | -0.125 | 0.4375 | 0.2076 | 0.1189 | 0.3448 | -1 | 0.1454 | 1.145 | 1 | 2.785 | 0.009352 | 0 | 0.03917 | 1 | 1 | 9.386e-13 | 0.01611 | 0.02856 | 0.007817 | 0.08842 | 2.257 | 1.031 | 0.07868 | 0.1355 | 1 | 1 | 0.01311 | 0.05985 | 0.1702 | 0.1103 | 0.5035 | 1.432 | json |
| t16_x9_u4_b58 | 16 | 9 | 4 | 58 | ![]() |
mod(D,cil(div(P,P))) | 82793 | 130294087 | o2(x,o1(o2(x,x))) | true | 150351 | 150351 | -0.125 | 0.4375 | 0.2076 | 0.1189 | 0.3448 | -1 | 0.1454 | 1.145 | 1 | 2.785 | 0.009352 | 0 | 0.03917 | 1 | 1 | 9.386e-13 | 0.01611 | 0.02856 | 0.007817 | 0.08842 | 2.257 | 1.031 | 0.07868 | 0.1355 | 1 | 1 | 0.01311 | 0.05985 | 0.1702 | 0.1103 | 0.5035 | 1.432 | json |
| t16_x9_u4_b59 | 16 | 9 | 4 | 59 | ![]() |
mod(D,cil(pow(P,P))) | 82794 | 130294088 | o2(x,o1(o2(x,x))) | true | 150359 | 150359 | -0.5 | 0.25 | 0.5472 | 0.2554 | 0.5054 | -1 | 0.1454 | 1.145 | 1 | 2.281 | 0.005029 | 0 | 0.02209 | 1 | 1 | 0.0001582 | 0.00812 | 0.01523 | 0.004542 | 0.06739 | 3.051 | 1.031 | 0.01969 | 0.03179 | 1 | 1 | 0.007473 | 0.03617 | 0.08512 | 0.02926 | 0.1416 | 0.3333 | json |
| t16_x9_u4_b60 | 16 | 9 | 4 | 60 | ![]() |
mod(D,cil(mod(P,P))) | 82795 | 130294089 | o2(x,o1(o2(x,x))) | true | 150367 | 150367 | -0.875 | 0.0625 | 0.8868 | 0.1107 | 0.3328 | -1 | 0.1454 | 1.145 | 1 | 0.8637 | 0.01607 | 0 | 0.02 | 1 | 1 | 9.386e-13 | 0.0318 | 0.03349 | 0.01568 | 0.1252 | 6.261 | 1.031 | 0.1451 | 0.2872 | 1 | 1 | 0.002797 | 0.02248 | 0.04256 | 0.02526 | 0.203 | 0.3844 | json |
| t16_x9_u4_b61 | 16 | 9 | 4 | 61 | ![]() |
mod(D,cil(lrg(P,P))) | 82796 | 130294090 | o2(x,o1(o2(x,x))) | true | 150375 | 150375 | -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_x9_u4_b62 | 16 | 9 | 4 | 62 | ![]() |
mod(D,cil(eql(P,P))) | 82797 | 130294091 | o2(x,o1(o2(x,x))) | true | 150383 | 150383 | 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_x9_u4_b63 | 16 | 9 | 4 | 63 | ![]() |
mod(D,cil(min(P,P))) | 82798 | 130294092 | o2(x,o1(o2(x,x))) | true | 150391 | 150391 | -0.125 | 0.4375 | 0.2076 | 0.1189 | 0.3448 | -1 | 0.1454 | 1.145 | 1 | 2.785 | 0.009352 | 0 | 0.03917 | 1 | 1 | 9.386e-13 | 0.01611 | 0.02856 | 0.007817 | 0.08842 | 2.257 | 1.031 | 0.07868 | 0.1355 | 1 | 1 | 0.01311 | 0.05985 | 0.1702 | 0.1103 | 0.5035 | 1.432 | json |
| t16_x9_u4_b64 | 16 | 9 | 4 | 64 | ![]() |
mod(D,cil(dot(P,P))) | 82799 | 130294093 | o2(x,o1(o2(x,x))) | true | 150399 | 150399 | -0.01563 | 0.4922 | 0.1085 | 0.02604 | 0.1614 | -1 | 0.1454 | 1.145 | 1 | 2.637 | 0.002612 | 0.001019 | 0.03747 | 0.4389 | 1 | 7.133e-11 | 0.004435 | 0.01836 | 0.002229 | 0.04721 | 1.26 | 1.415 | 0.1395 | 0.1703 | 1 | 1 | 0.00662 | 0.03541 | 0.05735 | 0.2543 | 1.36 | 2.203 | json |



































































































