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 | ||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| t20_x56_u0_b28 | 20 | 56 | 0 | 28 | ![]() |
add(R,mlt(lrg(P,P),R)) | 170800 | 164674504 | o2(x,o2(o2(x,x),x)) | true | 74807 | 74807 | 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 |
| t20_x56_u0_b29 | 20 | 56 | 0 | 29 | ![]() |
add(R,mlt(eql(P,P),R)) | 170801 | 164674505 | o2(x,o2(o2(x,x),x)) | true | 74815 | 74815 | 0.01372 | 0.4984 | 0.659 | 0.5457 | 0.7387 | -1 | 1 | 2 | 1 | 4.408 | 0.008726 | 0.009756 | 0.09338 | -0.05568 | 1 | 0.00002908 | 0.003164 | 0.02873 | 0.009763 | 0.09881 | 1.058 | 0.4602 | 0.03387 | 0.005798 | 1 | 1 | 0.03624 | 0.4079 | 0.9797 | 0.06641 | 0.7475 | 1.795 | json |
| t20_x56_u0_b30 | 20 | 56 | 0 | 30 | ![]() |
add(R,mlt(min(P,P),R)) | 170802 | 164674506 | o2(x,o2(o2(x,x),x)) | true | 74823 | 74823 | -0.06496 | 0.4715 | 0.7252 | 0.6434 | 0.8021 | -1 | 1 | 2 | 1 | 3.778 | 0.01726 | 0.01985 | 0.09398 | -0.06994 | 1 | -0.00004042 | 0.02076 | 0.0503 | 0.02827 | 0.1681 | 1.789 | 1.636 | 0.05768 | 0.03226 | 1 | 1 | 0.05307 | 0.4669 | 1.033 | 0.08249 | 0.7256 | 1.606 | json |
| t20_x56_u0_b31 | 20 | 56 | 0 | 31 | ![]() |
add(R,mlt(dot(P,P),R)) | 170803 | 164674507 | o2(x,o2(o2(x,x),x)) | true | 74831 | 74831 | -0.008397 | 0.4967 | 0.964 | 0.952 | 0.9757 | -1 | 1 | 2 | 1 | 1.622 | 0.07384 | 0.08729 | 0.1102 | -0.08348 | 1 | 0.0000751 | 0.348 | 0.1744 | 0.149 | 0.386 | 3.503 | 2.828 | 0.1693 | 0.3656 | 1 | 1 | 0.1675 | 0.8469 | 1.679 | 0.176 | 0.8896 | 1.763 | json |
| t20_x56_u0_b32 | 20 | 56 | 0 | 32 | ![]() |
add(R,mlt(dst(P,P),R)) | 170804 | 164674508 | o2(x,o2(o2(x,x),x)) | true | 74839 | 74839 | 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 |
| t20_x56_u0_b33 | 20 | 56 | 0 | 33 | ![]() |
add(R,div(add(P,P),R)) | 170805 | 164674509 | o2(x,o2(o2(x,x),x)) | true | 74847 | 74847 | -0.04422 | 0.4769 | 0.9608 | 0.9453 | 0.9723 | -1 | 1 | 2 | 1 | 1.668 | 0.08004 | 0.09893 | 0.1164 | -0.1056 | 1 | 0.000007061 | 0.406 | 0.1927 | 0.1655 | 0.4068 | 3.494 | 2.828 | 0.1893 | 0.4295 | 1 | 1 | 0.1925 | 0.8933 | 1.954 | 0.2036 | 0.945 | 2.067 | json |
| t20_x56_u0_b34 | 20 | 56 | 0 | 34 | ![]() |
add(R,div(sub(P,P),R)) | 170806 | 164674510 | o2(x,o2(o2(x,x),x)) | true | 74855 | 74855 | 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 |
| t20_x56_u0_b35 | 20 | 56 | 0 | 35 | ![]() |
add(R,div(mlt(P,P),R)) | 170807 | 164674511 | o2(x,o2(o2(x,x),x)) | true | 74863 | 74863 | -0.05853 | 0.4704 | 0.9603 | 0.9432 | 0.9712 | -1 | 1 | 2 | 1 | 1.67 | 0.08798 | 0.1065 | 0.1183 | -0.09547 | 1 | -0.00007543 | 0.476 | 0.2045 | 0.1805 | 0.4248 | 3.591 | 2.828 | 0.2062 | 0.5046 | 1 | 1 | 0.2 | 0.9059 | 1.83 | 0.2121 | 0.9605 | 1.94 | json |
| t20_x56_u0_b36 | 20 | 56 | 0 | 36 | ![]() |
add(R,div(div(P,P),R)) | 170808 | 164674512 | o2(x,o2(o2(x,x),x)) | true | 74871 | 74871 | -0.184 | 0.4082 | 0.9335 | 0.8771 | 0.9366 | -1 | 1 | 2 | 1 | 2.001 | 0.05026 | 0.03976 | 0.1064 | 0.1167 | 1 | 0.00003579 | 0.1119 | 0.1033 | 0.07866 | 0.2805 | 2.636 | 2.828 | 0.1026 | 0.1276 | 1 | 1 | 0.1254 | 0.7528 | 1.645 | 0.143 | 0.8582 | 1.875 | json |
| t20_x56_u0_b37 | 20 | 56 | 0 | 37 | ![]() |
add(R,div(pow(P,P),R)) | 170809 | 164674513 | o2(x,o2(o2(x,x),x)) | true | 74879 | 74879 | -0.554 | 0.2227 | 0.9902 | 0.68 | 0.8246 | -1 | 1 | 2 | 1 | 0.9635 | 0.05853 | 0.05906 | 0.06713 | -0.004475 | 1 | -0.000003983 | 0.2794 | 0.1205 | 0.113 | 0.3362 | 5.008 | 2.828 | 0.1729 | 0.4109 | 1 | 1 | 0.1221 | 0.5546 | 1.081 | 0.1796 | 0.8156 | 1.589 | json |
| t20_x56_u0_b38 | 20 | 56 | 0 | 38 | ![]() |
add(R,div(mod(P,P),R)) | 170810 | 164674514 | o2(x,o2(o2(x,x),x)) | true | 74887 | 74887 | -0.1909 | 0.4036 | 0.7723 | 0.6681 | 0.8174 | -1 | 1 | 2 | 1 | 3.386 | 0.03933 | 0.04181 | 0.09556 | -0.03056 | 1 | -0.00003993 | 0.1367 | 0.1067 | 0.072 | 0.2683 | 2.808 | 2.828 | 0.1215 | 0.2046 | 1 | 1 | 0.07435 | 0.4348 | 1.127 | 0.1113 | 0.6508 | 1.687 | json |
| t20_x56_u0_b39 | 20 | 56 | 0 | 39 | ![]() |
add(R,div(lrg(P,P),R)) | 170811 | 164674515 | o2(x,o2(o2(x,x),x)) | true | 74895 | 74895 | 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 |
| t20_x56_u0_b40 | 20 | 56 | 0 | 40 | ![]() |
add(R,div(eql(P,P),R)) | 170812 | 164674516 | o2(x,o2(o2(x,x),x)) | true | 74903 | 74903 | -0.05217 | 0.4738 | 0.9223 | 0.8933 | 0.9451 | -1 | 1 | 2 | 1 | 2.166 | 0.03664 | 0.04494 | 0.1118 | -0.1017 | 1 | 0.00003579 | 0.08412 | 0.09604 | 0.06907 | 0.2628 | 2.351 | 2.828 | 0.09133 | 0.09417 | 1 | 1 | 0.1261 | 0.8289 | 1.766 | 0.1412 | 0.9279 | 1.977 | json |
| t20_x56_u0_b41 | 20 | 56 | 0 | 41 | ![]() |
add(R,div(min(P,P),R)) | 170813 | 164674517 | o2(x,o2(o2(x,x),x)) | true | 74911 | 74911 | -0.03845 | 0.4775 | 0.9334 | 0.9092 | 0.9535 | -1 | 1 | 2 | 1 | 2.022 | 0.06408 | 0.07962 | 0.1136 | -0.1082 | 1 | -0.000004173 | 0.2841 | 0.1609 | 0.1307 | 0.3616 | 3.183 | 2.828 | 0.158 | 0.3125 | 1 | 1 | 0.1627 | 0.8381 | 1.858 | 0.1789 | 0.9218 | 2.043 | json |
| t20_x56_u0_b42 | 20 | 56 | 0 | 42 | ![]() |
add(R,div(dot(P,P),R)) | 170814 | 164674518 | o2(x,o2(o2(x,x),x)) | true | 74919 | 74919 | -0.06057 | 0.4695 | 0.9918 | 0.9857 | 0.9928 | -1 | 1 | 2 | 1 | 1.168 | 0.1066 | 0.1244 | 0.1203 | -0.07701 | 1 | 0.00002104 | 0.6004 | 0.2359 | 0.2166 | 0.4654 | 3.869 | 2.828 | 0.2343 | 0.6091 | 1 | 1 | 0.2333 | 0.9884 | 1.939 | 0.2366 | 1.003 | 1.967 | json |
| t20_x56_u0_b43 | 20 | 56 | 0 | 43 | ![]() |
add(R,div(dst(P,P),R)) | 170815 | 164674519 | o2(x,o2(o2(x,x),x)) | true | 74927 | 74927 | 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 |
| t20_x56_u0_b44 | 20 | 56 | 0 | 44 | ![]() |
add(R,pow(add(P,P),R)) | 170816 | 164674520 | o2(x,o2(o2(x,x),x)) | true | 74935 | 74935 | -0.2644 | 0.3843 | 0.8836 | 0.7773 | 0.8817 | -1 | 1 | 2 | 1 | 2.424 | 0.01533 | 0.007847 | 0.03783 | 0.323 | 1 | -0.0001205 | 0.03751 | 0.03362 | 0.02175 | 0.1475 | 3.898 | 2.828 | 0.02982 | 0.04826 | 1 | 1 | 0.03297 | 0.1849 | 0.512 | 0.04242 | 0.2379 | 0.6587 | json |
| t20_x56_u0_b45 | 20 | 56 | 0 | 45 | ![]() |
add(R,pow(sub(P,P),R)) | 170817 | 164674521 | o2(x,o2(o2(x,x),x)) | true | 74943 | 74943 | -0.8155 | 0.1016 | 0.9813 | 0.3072 | 0.5543 | -1 | 1 | 2 | 1 | 0.7279 | 0.03404 | 0.03871 | 0.03986 | -0.06413 | 1 | 0.000008536 | 0.1539 | 0.07812 | 0.07119 | 0.2668 | 6.693 | 2.828 | 0.2368 | 0.5008 | 1 | 1 | 0.06938 | 0.2888 | 0.6387 | 0.2258 | 0.9399 | 2.079 | json |
| t20_x56_u0_b46 | 20 | 56 | 0 | 46 | ![]() |
add(R,pow(mlt(P,P),R)) | 170818 | 164674522 | o2(x,o2(o2(x,x),x)) | true | 74951 | 74951 | 0.5258 | 0.7885 | 0.8 | 0.4599 | 0.6782 | -1 | 1 | 2 | 1 | 3.032 | 0.02835 | 0.01744 | 0.07165 | 0.2383 | 1 | -0.0003092 | 0.07097 | 0.06633 | 0.04065 | 0.2016 | 2.814 | 2.828 | 0.09956 | 0.1543 | 1 | 1 | 0.06785 | 0.3652 | 0.8666 | 0.1475 | 0.794 | 1.884 | json |
| t20_x56_u0_b47 | 20 | 56 | 0 | 47 | ![]() |
add(R,pow(div(P,P),R)) | 170819 | 164674523 | o2(x,o2(o2(x,x),x)) | true | 74959 | 74959 | 0.5813 | 0.875 | 0.8313 | 0.4179 | 0.6464 | -1 | 1 | 2 | 1 | 2.932 | 0.02933 | 0.001281 | 0.04111 | 0.9163 | 1 | -0.00003936 | 0.0572 | 0.04012 | 0.02893 | 0.1701 | 4.138 | 2.006 | 0.07325 | 0.1369 | 1 | 1 | 0.04154 | 0.1912 | 0.6525 | 0.0994 | 0.4575 | 1.561 | json |
| t20_x56_u0_b48 | 20 | 56 | 0 | 48 | ![]() |
add(R,pow(pow(P,P),R)) | 170820 | 164674524 | o2(x,o2(o2(x,x),x)) | true | 74967 | 74967 | -0.1549 | 0.4308 | 0.9066 | 0.8534 | 0.9238 | -1 | 1 | 2 | 1 | 2.283 | 0.018 | 0.00786 | 0.03702 | 0.3922 | 1 | -0.00009009 | 0.04303 | 0.03936 | 0.02448 | 0.1565 | 4.226 | 2.267 | 0.0303 | 0.05042 | 1 | 1 | 0.03476 | 0.1785 | 0.5119 | 0.04072 | 0.2091 | 0.5998 | json |
| t20_x56_u0_b49 | 20 | 56 | 0 | 49 | ![]() |
add(R,pow(mod(P,P),R)) | 170821 | 164674525 | o2(x,o2(o2(x,x),x)) | true | 74975 | 74975 | -0.7147 | 0.1494 | 0.9694 | 0.4477 | 0.6691 | -1 | 1 | 2 | 1 | 1.077 | 0.04269 | 0.03108 | 0.04492 | 0.1575 | 1 | -0.00003551 | 0.1525 | 0.08122 | 0.07173 | 0.2678 | 5.962 | 2.828 | 0.1648 | 0.3407 | 1 | 1 | 0.07849 | 0.3371 | 0.7122 | 0.1753 | 0.753 | 1.591 | json |
| t20_x56_u0_b50 | 20 | 56 | 0 | 50 | ![]() |
add(R,pow(lrg(P,P),R)) | 170822 | 164674526 | o2(x,o2(o2(x,x),x)) | true | 74983 | 74983 | -0.8155 | 0.1016 | 0.9813 | 0.3072 | 0.5543 | -1 | 1 | 2 | 1 | 0.7279 | 0.03404 | 0.03871 | 0.03986 | -0.06413 | 1 | 0.000008536 | 0.1539 | 0.07812 | 0.07119 | 0.2668 | 6.693 | 2.828 | 0.2368 | 0.5008 | 1 | 1 | 0.06938 | 0.2888 | 0.6387 | 0.2258 | 0.9399 | 2.079 | json |
| t20_x56_u0_b51 | 20 | 56 | 0 | 51 | ![]() |
add(R,pow(eql(P,P),R)) | 170823 | 164674527 | o2(x,o2(o2(x,x),x)) | true | 74991 | 74991 | 0.8072 | 1 | 0.8072 | 0.06917 | 0.263 | 0.001146 | 1 | 0.9989 | 1 | 2.721 | 0.00124 | 0.001463 | 0.03034 | -0.08261 | 1 | -0.00006109 | 0.0006685 | 0.01204 | 0.001783 | 0.04223 | 1.392 | 0.223 | 0.03908 | 0.009664 | 1 | 1 | 0.004971 | 0.05068 | 0.113 | 0.07186 | 0.7327 | 1.634 | json |
| t20_x56_u0_b52 | 20 | 56 | 0 | 52 | ![]() |
add(R,pow(min(P,P),R)) | 170824 | 164674528 | o2(x,o2(o2(x,x),x)) | true | 74999 | 74999 | -0.2531 | 0.3972 | 0.8819 | 0.7777 | 0.8819 | -1 | 1 | 2 | 1 | 2.46 | 0.01506 | 0.007065 | 0.03518 | 0.3614 | 1 | -0.00008497 | 0.03778 | 0.03113 | 0.02088 | 0.1445 | 4.108 | 2.828 | 0.02845 | 0.04857 | 1 | 1 | 0.03105 | 0.1666 | 0.4903 | 0.03992 | 0.2142 | 0.6304 | json |
| t20_x56_u0_b53 | 20 | 56 | 0 | 53 | ![]() |
add(R,pow(dot(P,P),R)) | 170825 | 164674529 | o2(x,o2(o2(x,x),x)) | true | 75007 | 75007 | 0.6524 | 0.8326 | 0.7959 | 0.31 | 0.5568 | -0.9768 | 1 | 1.977 | 1 | 2.675 | 0.01103 | 0.01292 | 0.06665 | -0.07894 | 1 | -0.0008228 | 0.01685 | 0.04699 | 0.01952 | 0.1397 | 2.096 | 1.38 | 0.07727 | 0.05434 | 1 | 1 | 0.03761 | 0.2639 | 0.5124 | 0.1213 | 0.8513 | 1.653 | json |
| t20_x56_u0_b54 | 20 | 56 | 0 | 54 | ![]() |
add(R,pow(dst(P,P),R)) | 170826 | 164674530 | o2(x,o2(o2(x,x),x)) | true | 75015 | 75015 | -0.8155 | 0.1016 | 0.9813 | 0.3072 | 0.5543 | -1 | 1 | 2 | 1 | 0.7279 | 0.03404 | 0.03871 | 0.03986 | -0.06413 | 1 | 0.000008536 | 0.1539 | 0.07812 | 0.07119 | 0.2668 | 6.693 | 2.828 | 0.2368 | 0.5008 | 1 | 1 | 0.06938 | 0.2888 | 0.6387 | 0.2258 | 0.9399 | 2.079 | json |
| t20_x56_u0_b55 | 20 | 56 | 0 | 55 | ![]() |
add(R,mod(add(P,P),R)) | 170827 | 164674531 | o2(x,o2(o2(x,x),x)) | true | 75023 | 75023 | 0.01408 | 0.5064 | 0.3835 | 0.2354 | 0.4851 | -1 | 1 | 2 | 1 | 4.796 | 0.002938 | 0.002941 | 0.05906 | -0.0005577 | 1 | 0.000004952 | 0.0005311 | 0.01454 | 0.002392 | 0.04891 | 0.8282 | 0.2762 | 0.02498 | 0.002257 | 1 | 1 | 0.01168 | 0.1455 | 0.389 | 0.04962 | 0.618 | 1.653 | json |
| t20_x56_u0_b56 | 20 | 56 | 0 | 56 | ![]() |
add(R,mod(sub(P,P),R)) | 170828 | 164674532 | o2(x,o2(o2(x,x),x)) | true | 75031 | 75031 | 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 |
| t20_x56_u0_b57 | 20 | 56 | 0 | 57 | ![]() |
add(R,mod(mlt(P,P),R)) | 170829 | 164674533 | o2(x,o2(o2(x,x),x)) | true | 75039 | 75039 | 0.2106 | 0.5985 | 0.4119 | 0.2239 | 0.4732 | -0.9949 | 1 | 1.995 | 1 | 4.621 | 0.003253 | 0.003415 | 0.0622 | -0.02427 | 1 | -0.0000387 | 0.0006542 | 0.01572 | 0.0028 | 0.05291 | 0.8507 | 0.2658 | 0.02978 | 0.002921 | 1 | 1 | 0.01323 | 0.1629 | 0.4039 | 0.0591 | 0.7273 | 1.804 | json |
| t20_x56_u0_b58 | 20 | 56 | 0 | 58 | ![]() |
add(R,mod(div(P,P),R)) | 170830 | 164674534 | o2(x,o2(o2(x,x),x)) | true | 75047 | 75047 | 0.03008 | 0.5214 | 0.4842 | 0.3535 | 0.5946 | -1 | 1 | 2 | 1 | 4.693 | 0.01925 | 0.002828 | 0.06434 | 0.7438 | 1 | 0.00004896 | 0.03444 | 0.03413 | 0.01794 | 0.1339 | 2.082 | 2 | 0.06245 | 0.09742 | 1 | 1 | 0.02983 | 0.2007 | 0.5937 | 0.08439 | 0.5676 | 1.679 | json |
| t20_x56_u0_b59 | 20 | 56 | 0 | 59 | ![]() |
add(R,mod(pow(P,P),R)) | 170831 | 164674535 | o2(x,o2(o2(x,x),x)) | true | 75055 | 75055 | -0.392 | 0.2964 | 0.6949 | 0.4729 | 0.6877 | -1 | 1 | 2 | 1 | 3.262 | 0.007554 | 0.00154 | 0.03529 | 0.6612 | 1 | -0.00003785 | 0.01213 | 0.01625 | 0.007851 | 0.0886 | 2.511 | 2 | 0.01923 | 0.02566 | 1 | 1 | 0.01435 | 0.1094 | 0.3309 | 0.03035 | 0.2313 | 0.6998 | json |
| t20_x56_u0_b60 | 20 | 56 | 0 | 60 | ![]() |
add(R,mod(mod(P,P),R)) | 170832 | 164674536 | o2(x,o2(o2(x,x),x)) | true | 75063 | 75063 | -0.1117 | 0.4375 | 0.4569 | 0.3024 | 0.5499 | -1 | 1 | 2 | 1 | 4.706 | 0.01602 | 0.002762 | 0.06329 | 0.7059 | 1 | 0.0000428 | 0.02759 | 0.03186 | 0.01478 | 0.1216 | 1.921 | 1.943 | 0.06211 | 0.09125 | 1 | 1 | 0.02583 | 0.1819 | 0.5034 | 0.08542 | 0.6015 | 1.665 | json |
| t20_x56_u0_b61 | 20 | 56 | 0 | 61 | ![]() |
add(R,mod(lrg(P,P),R)) | 170833 | 164674537 | o2(x,o2(o2(x,x),x)) | true | 75071 | 75071 | 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 |
| t20_x56_u0_b62 | 20 | 56 | 0 | 62 | ![]() |
add(R,mod(eql(P,P),R)) | 170834 | 164674538 | o2(x,o2(o2(x,x),x)) | true | 75079 | 75079 | 0.1821 | 0.5981 | 0.4149 | 0.2318 | 0.4815 | -0.9977 | 1 | 1.998 | 1 | 4.769 | 0.002745 | 0.003209 | 0.06214 | -0.07799 | 1 | 0.00002682 | 0.0003444 | 0.01427 | 0.002093 | 0.04575 | 0.7363 | 0.2335 | 0.02568 | 0.001485 | 1 | 1 | 0.012 | 0.1544 | 0.4226 | 0.05177 | 0.6658 | 1.823 | json |
| t20_x56_u0_b63 | 20 | 56 | 0 | 63 | ![]() |
add(R,mod(min(P,P),R)) | 170835 | 164674539 | o2(x,o2(o2(x,x),x)) | true | 75087 | 75087 | 0.02315 | 0.515 | 0.3888 | 0.2397 | 0.4896 | -1 | 1 | 2 | 1 | 4.824 | 0.003053 | 0.00298 | 0.06004 | 0.01202 | 1 | 0.000006444 | 0.0005166 | 0.01464 | 0.002428 | 0.04927 | 0.8207 | 0.2889 | 0.02517 | 0.002155 | 1 | 1 | 0.01166 | 0.1454 | 0.3941 | 0.04864 | 0.6065 | 1.644 | json |
| t20_x56_u0_b64 | 20 | 56 | 0 | 64 | ![]() |
add(R,mod(dot(P,P),R)) | 170836 | 164674540 | o2(x,o2(o2(x,x),x)) | true | 75095 | 75095 | 0.2245 | 0.6106 | 0.4211 | 0.2302 | 0.4798 | -0.9613 | 1 | 1.961 | 1 | 4.635 | 0.003225 | 0.003587 | 0.06287 | -0.05314 | 1 | -0.00001781 | 0.0007055 | 0.01606 | 0.002859 | 0.05347 | 0.8505 | 0.2903 | 0.02959 | 0.003064 | 1 | 1 | 0.01355 | 0.1663 | 0.4301 | 0.05885 | 0.7224 | 1.868 | json |
| t20_x56_u0_b65 | 20 | 56 | 0 | 65 | ![]() |
add(R,mod(dst(P,P),R)) | 170837 | 164674541 | o2(x,o2(o2(x,x),x)) | true | 75103 | 75103 | 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 |
| t20_x56_u0_b66 | 20 | 56 | 0 | 66 | ![]() |
add(R,lrg(add(P,P),R)) | 170838 | 164674542 | o2(x,o2(o2(x,x),x)) | true | 75111 | 75111 | 0.4268 | 0.7835 | 0.5923 | 0.2729 | 0.5224 | -0.9989 | 1 | 1.999 | 1 | 4.386 | 0.001918 | 0.002319 | 0.04668 | -0.09461 | 1 | -0.00001029 | 0.0004999 | 0.01321 | 0.002058 | 0.04537 | 0.9719 | 0.2301 | 0.01552 | 0.001832 | 1 | 1 | 0.008011 | 0.09607 | 0.2704 | 0.02935 | 0.352 | 0.9906 | json |
| t20_x56_u0_b67 | 20 | 56 | 0 | 67 | ![]() |
add(R,lrg(sub(P,P),R)) | 170839 | 164674543 | o2(x,o2(o2(x,x),x)) | true | 75119 | 75119 | 0.5266 | 1 | 0.5266 | 0.05091 | 0.2256 | 0.001084 | 0.997 | 0.9959 | 1 | 3.815 | 0.0007236 | 0.0006853 | 0.03089 | 0.02719 | 1 | 0.00004432 | 0.00008334 | 0.007111 | 0.0004549 | 0.02133 | 0.6905 | 0.1132 | 0.02767 | 0.001637 | 1 | 1 | 0.002542 | 0.03267 | 0.08567 | 0.04993 | 0.6416 | 1.683 | json |
| t20_x56_u0_b68 | 20 | 56 | 0 | 68 | ![]() |
add(R,lrg(mlt(P,P),R)) | 170840 | 164674544 | o2(x,o2(o2(x,x),x)) | true | 75127 | 75127 | 0.7937 | 1 | 0.7937 | 0.07049 | 0.2655 | 0.001146 | 1 | 0.9989 | 1 | 2.842 | 0.001347 | 0.001402 | 0.0313 | -0.02007 | 1 | -0.00005539 | 0.0006731 | 0.01223 | 0.001769 | 0.04206 | 1.344 | 0.223 | 0.039 | 0.009548 | 1 | 1 | 0.004983 | 0.0511 | 0.111 | 0.07068 | 0.7249 | 1.574 | json |
| t20_x56_u0_b69 | 20 | 56 | 0 | 69 | ![]() |
add(R,lrg(div(P,P),R)) | 170841 | 164674545 | o2(x,o2(o2(x,x),x)) | true | 75135 | 75135 | 0.8072 | 1 | 0.8072 | 0.06917 | 0.263 | 0.001146 | 1 | 0.9989 | 1 | 2.721 | 0.00124 | 0.001463 | 0.03034 | -0.08261 | 1 | -0.00006109 | 0.0006685 | 0.01204 | 0.001783 | 0.04223 | 1.392 | 0.223 | 0.03908 | 0.009664 | 1 | 1 | 0.004971 | 0.05068 | 0.113 | 0.07186 | 0.7327 | 1.634 | json |
| t20_x56_u0_b70 | 20 | 56 | 0 | 70 | ![]() |
add(R,lrg(pow(P,P),R)) | 170842 | 164674546 | o2(x,o2(o2(x,x),x)) | true | 75143 | 75143 | 0.8072 | 1 | 0.8072 | 0.06917 | 0.263 | 0.001146 | 1 | 0.9989 | 1 | 2.721 | 0.00124 | 0.001463 | 0.03034 | -0.08261 | 1 | -0.00006109 | 0.0006685 | 0.01204 | 0.001783 | 0.04223 | 1.392 | 0.223 | 0.03908 | 0.009664 | 1 | 1 | 0.004971 | 0.05068 | 0.113 | 0.07186 | 0.7327 | 1.634 | json |
| t20_x56_u0_b71 | 20 | 56 | 0 | 71 | ![]() |
add(R,lrg(mod(P,P),R)) | 170843 | 164674547 | o2(x,o2(o2(x,x),x)) | true | 75151 | 75151 | 0.51 | 0.9268 | 0.5555 | 0.1292 | 0.3595 | -0.9742 | 1 | 1.974 | 1 | 4.246 | 0.00156 | 0.001357 | 0.04057 | 0.06964 | 1 | 0.00002649 | 0.0003093 | 0.0106 | 0.001271 | 0.03565 | 0.8787 | 0.2122 | 0.02257 | 0.002393 | 1 | 1 | 0.004694 | 0.05677 | 0.1481 | 0.03633 | 0.4393 | 1.146 | json |
| t20_x56_u0_b72 | 20 | 56 | 0 | 72 | ![]() |
add(R,lrg(lrg(P,P),R)) | 170844 | 164674548 | o2(x,o2(o2(x,x),x)) | true | 75159 | 75159 | 0.5266 | 1 | 0.5266 | 0.05091 | 0.2256 | 0.001084 | 0.997 | 0.9959 | 1 | 3.815 | 0.0007236 | 0.0006853 | 0.03089 | 0.02719 | 1 | 0.00004432 | 0.00008334 | 0.007111 | 0.0004549 | 0.02133 | 0.6905 | 0.1132 | 0.02767 | 0.001637 | 1 | 1 | 0.002542 | 0.03267 | 0.08567 | 0.04993 | 0.6416 | 1.683 | json |
| t20_x56_u0_b73 | 20 | 56 | 0 | 73 | ![]() |
add(R,lrg(eql(P,P),R)) | 170845 | 164674549 | o2(x,o2(o2(x,x),x)) | true | 75167 | 75167 | 0.8072 | 1 | 0.8072 | 0.06917 | 0.263 | 0.001146 | 1 | 0.9989 | 1 | 2.721 | 0.00124 | 0.001463 | 0.03034 | -0.08261 | 1 | -0.00006109 | 0.0006685 | 0.01204 | 0.001783 | 0.04223 | 1.392 | 0.223 | 0.03908 | 0.009664 | 1 | 1 | 0.004971 | 0.05068 | 0.113 | 0.07186 | 0.7327 | 1.634 | json |
| t20_x56_u0_b74 | 20 | 56 | 0 | 74 | ![]() |
add(R,lrg(min(P,P),R)) | 170846 | 164674550 | o2(x,o2(o2(x,x),x)) | true | 75175 | 75175 | 0.4268 | 0.7835 | 0.5923 | 0.2729 | 0.5224 | -0.9989 | 1 | 1.999 | 1 | 4.386 | 0.001918 | 0.002319 | 0.04668 | -0.09461 | 1 | -0.00001029 | 0.0004999 | 0.01321 | 0.002058 | 0.04537 | 0.9719 | 0.2301 | 0.01552 | 0.001832 | 1 | 1 | 0.008011 | 0.09607 | 0.2704 | 0.02935 | 0.352 | 0.9906 | json |
| t20_x56_u0_b75 | 20 | 56 | 0 | 75 | ![]() |
add(R,lrg(dot(P,P),R)) | 170847 | 164674551 | o2(x,o2(o2(x,x),x)) | true | 75183 | 75183 | 0.806 | 1 | 0.806 | 0.06906 | 0.2628 | 0.001146 | 1 | 0.9989 | 1 | 2.738 | 0.001241 | 0.00146 | 0.03043 | -0.0809 | 1 | -0.00006109 | 0.0006643 | 0.01203 | 0.001774 | 0.04212 | 1.384 | 0.223 | 0.03911 | 0.009619 | 1 | 1 | 0.004964 | 0.05071 | 0.1125 | 0.07188 | 0.7344 | 1.629 | json |
| t20_x56_u0_b76 | 20 | 56 | 0 | 76 | ![]() |
add(R,lrg(dst(P,P),R)) | 170848 | 164674552 | o2(x,o2(o2(x,x),x)) | true | 75191 | 75191 | 0.5266 | 1 | 0.5266 | 0.05091 | 0.2256 | 0.001084 | 0.997 | 0.9959 | 1 | 3.815 | 0.0007236 | 0.0006853 | 0.03089 | 0.02719 | 1 | 0.00004432 | 0.00008334 | 0.007111 | 0.0004549 | 0.02133 | 0.6905 | 0.1132 | 0.02767 | 0.001637 | 1 | 1 | 0.002542 | 0.03267 | 0.08567 | 0.04993 | 0.6416 | 1.683 | json |
| t20_x56_u0_b77 | 20 | 56 | 0 | 77 | ![]() |
add(R,eql(add(P,P),R)) | 170849 | 164674553 | o2(x,o2(o2(x,x),x)) | true | 75199 | 75199 | 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 |
| t20_x56_u0_b78 | 20 | 56 | 0 | 78 | ![]() |
add(R,eql(sub(P,P),R)) | 170850 | 164674554 | o2(x,o2(o2(x,x),x)) | true | 75207 | 75207 | 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 |
| t20_x56_u0_b79 | 20 | 56 | 0 | 79 | ![]() |
add(R,eql(mlt(P,P),R)) | 170851 | 164674555 | o2(x,o2(o2(x,x),x)) | true | 75215 | 75215 | 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 |
| t20_x56_u0_b80 | 20 | 56 | 0 | 80 | ![]() |
add(R,eql(div(P,P),R)) | 170852 | 164674556 | o2(x,o2(o2(x,x),x)) | true | 75223 | 75223 | 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 |
| t20_x56_u0_b81 | 20 | 56 | 0 | 81 | ![]() |
add(R,eql(pow(P,P),R)) | 170853 | 164674557 | o2(x,o2(o2(x,x),x)) | true | 75231 | 75231 | 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 |
| t20_x56_u0_b82 | 20 | 56 | 0 | 82 | ![]() |
add(R,eql(mod(P,P),R)) | 170854 | 164674558 | o2(x,o2(o2(x,x),x)) | true | 75239 | 75239 | 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 |
| t20_x56_u0_b83 | 20 | 56 | 0 | 83 | ![]() |
add(R,eql(lrg(P,P),R)) | 170855 | 164674559 | o2(x,o2(o2(x,x),x)) | true | 75247 | 75247 | 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 |
| t20_x56_u0_b84 | 20 | 56 | 0 | 84 | ![]() |
add(R,eql(eql(P,P),R)) | 170856 | 164674560 | o2(x,o2(o2(x,x),x)) | true | 75255 | 75255 | 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 |
| t20_x56_u0_b85 | 20 | 56 | 0 | 85 | ![]() |
add(R,eql(min(P,P),R)) | 170857 | 164674561 | o2(x,o2(o2(x,x),x)) | true | 75263 | 75263 | 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 |
| t20_x56_u0_b86 | 20 | 56 | 0 | 86 | ![]() |
add(R,eql(dot(P,P),R)) | 170858 | 164674562 | o2(x,o2(o2(x,x),x)) | true | 75271 | 75271 | 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 |
| t20_x56_u0_b87 | 20 | 56 | 0 | 87 | ![]() |
add(R,eql(dst(P,P),R)) | 170859 | 164674563 | o2(x,o2(o2(x,x),x)) | true | 75279 | 75279 | 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 |
| t20_x56_u0_b88 | 20 | 56 | 0 | 88 | ![]() |
add(R,min(add(P,P),R)) | 170860 | 164674564 | o2(x,o2(o2(x,x),x)) | true | 75287 | 75287 | -0.5037 | 0.2403 | 0.8113 | 0.4957 | 0.704 | -1 | 1 | 2 | 1 | 2.985 | 0.005197 | 0.004714 | 0.05142 | 0.04875 | 1 | -0.000005468 | 0.001654 | 0.01592 | 0.007269 | 0.08526 | 1.658 | 0.438 | 0.01999 | 0.003337 | 1 | 1 | 0.01982 | 0.2263 | 0.5964 | 0.03998 | 0.4566 | 1.203 | json |
| t20_x56_u0_b89 | 20 | 56 | 0 | 89 | ![]() |
add(R,min(sub(P,P),R)) | 170861 | 164674565 | o2(x,o2(o2(x,x),x)) | true | 75295 | 75295 | -0.1786 | 0.4229 | 0.5355 | 0.3565 | 0.597 | -1 | 0.9804 | 1.98 | 1 | 4.683 | 0.005248 | 0.005892 | 0.07878 | -0.05786 | 1 | 0.0001125 | 0.001381 | 0.0214 | 0.004933 | 0.07024 | 0.8915 | 0.3468 | 0.03125 | 0.003875 | 1 | 1 | 0.02169 | 0.2587 | 0.6278 | 0.06083 | 0.7256 | 1.761 | json |
| t20_x56_u0_b90 | 20 | 56 | 0 | 90 | ![]() |
add(R,min(mlt(P,P),R)) | 170862 | 164674566 | o2(x,o2(o2(x,x),x)) | true | 75303 | 75303 | 0.002276 | 0.4947 | 0.6508 | 0.5354 | 0.7317 | -1 | 1 | 2 | 1 | 4.44 | 0.008625 | 0.009568 | 0.0929 | -0.05187 | 1 | 0.00003047 | 0.003107 | 0.02848 | 0.009563 | 0.09779 | 1.053 | 0.4602 | 0.03398 | 0.005804 | 1 | 1 | 0.03523 | 0.3966 | 0.9362 | 0.06581 | 0.7408 | 1.749 | json |
| t20_x56_u0_b91 | 20 | 56 | 0 | 91 | ![]() |
add(R,min(div(P,P),R)) | 170863 | 164674567 | o2(x,o2(o2(x,x),x)) | true | 75311 | 75311 | 0.01372 | 0.4984 | 0.659 | 0.5457 | 0.7387 | -1 | 1 | 2 | 1 | 4.408 | 0.008726 | 0.009756 | 0.09338 | -0.05568 | 1 | 0.00002908 | 0.003164 | 0.02873 | 0.009763 | 0.09881 | 1.058 | 0.4602 | 0.03387 | 0.005798 | 1 | 1 | 0.03624 | 0.4079 | 0.9797 | 0.06641 | 0.7475 | 1.795 | json |
| t20_x56_u0_b92 | 20 | 56 | 0 | 92 | ![]() |
add(R,min(pow(P,P),R)) | 170864 | 164674568 | o2(x,o2(o2(x,x),x)) | true | 75319 | 75319 | 0.01372 | 0.4984 | 0.659 | 0.5457 | 0.7387 | -1 | 1 | 2 | 1 | 4.408 | 0.008726 | 0.009756 | 0.09338 | -0.05568 | 1 | 0.00002908 | 0.003164 | 0.02873 | 0.009763 | 0.09881 | 1.058 | 0.4602 | 0.03387 | 0.005798 | 1 | 1 | 0.03624 | 0.4079 | 0.9797 | 0.06641 | 0.7475 | 1.795 | json |
| t20_x56_u0_b93 | 20 | 56 | 0 | 93 | ![]() |
add(R,min(mod(P,P),R)) | 170865 | 164674569 | o2(x,o2(o2(x,x),x)) | true | 75327 | 75327 | -0.3572 | 0.3181 | 0.681 | 0.4496 | 0.6706 | -1 | 1 | 2 | 1 | 3.999 | 0.008659 | 0.005537 | 0.07391 | 0.2199 | 1 | 0.0006234 | 0.003313 | 0.02581 | 0.008734 | 0.09346 | 1.264 | 0.693 | 0.03157 | 0.007368 | 1 | 1 | 0.02639 | 0.2942 | 0.7185 | 0.0587 | 0.6542 | 1.598 | json |
| t20_x56_u0_b94 | 20 | 56 | 0 | 94 | ![]() |
add(R,min(lrg(P,P),R)) | 170866 | 164674570 | o2(x,o2(o2(x,x),x)) | true | 75335 | 75335 | -0.1786 | 0.4229 | 0.5355 | 0.3565 | 0.597 | -1 | 0.9804 | 1.98 | 1 | 4.683 | 0.005248 | 0.005892 | 0.07878 | -0.05786 | 1 | 0.0001125 | 0.001381 | 0.0214 | 0.004933 | 0.07024 | 0.8915 | 0.3468 | 0.03125 | 0.003875 | 1 | 1 | 0.02169 | 0.2587 | 0.6278 | 0.06083 | 0.7256 | 1.761 | json |
| t20_x56_u0_b95 | 20 | 56 | 0 | 95 | ![]() |
add(R,min(eql(P,P),R)) | 170867 | 164674571 | o2(x,o2(o2(x,x),x)) | true | 75343 | 75343 | 0.01372 | 0.4984 | 0.659 | 0.5457 | 0.7387 | -1 | 1 | 2 | 1 | 4.408 | 0.008726 | 0.009756 | 0.09338 | -0.05568 | 1 | 0.00002908 | 0.003164 | 0.02873 | 0.009763 | 0.09881 | 1.058 | 0.4602 | 0.03387 | 0.005798 | 1 | 1 | 0.03624 | 0.4079 | 0.9797 | 0.06641 | 0.7475 | 1.795 | json |
| t20_x56_u0_b96 | 20 | 56 | 0 | 96 | ![]() |
add(R,min(min(P,P),R)) | 170868 | 164674572 | o2(x,o2(o2(x,x),x)) | true | 75351 | 75351 | -0.4858 | 0.2433 | 0.7951 | 0.491 | 0.7007 | -1 | 1 | 2 | 1 | 3.163 | 0.005138 | 0.004837 | 0.05358 | 0.03013 | 1 | -0.000006204 | 0.001663 | 0.01663 | 0.007102 | 0.08428 | 1.573 | 0.438 | 0.02032 | 0.003387 | 1 | 1 | 0.01984 | 0.2283 | 0.5964 | 0.04042 | 0.465 | 1.215 | json |
| t20_x56_u0_b97 | 20 | 56 | 0 | 97 | ![]() |
add(R,min(dot(P,P),R)) | 170869 | 164674573 | o2(x,o2(o2(x,x),x)) | true | 75359 | 75359 | 0.01143 | 0.4974 | 0.6574 | 0.5436 | 0.7373 | -1 | 1 | 2 | 1 | 4.418 | 0.00868 | 0.00972 | 0.09328 | -0.05657 | 1 | 0.00002908 | 0.003134 | 0.02861 | 0.009699 | 0.09849 | 1.056 | 0.4602 | 0.03385 | 0.005766 | 1 | 1 | 0.03597 | 0.4056 | 0.97 | 0.06617 | 0.7461 | 1.784 | json |
| t20_x56_u0_b98 | 20 | 56 | 0 | 98 | ![]() |
add(R,min(dst(P,P),R)) | 170870 | 164674574 | o2(x,o2(o2(x,x),x)) | true | 75367 | 75367 | -0.1786 | 0.4229 | 0.5355 | 0.3565 | 0.597 | -1 | 0.9804 | 1.98 | 1 | 4.683 | 0.005248 | 0.005892 | 0.07878 | -0.05786 | 1 | 0.0001125 | 0.001381 | 0.0214 | 0.004933 | 0.07024 | 0.8915 | 0.3468 | 0.03125 | 0.003875 | 1 | 1 | 0.02169 | 0.2587 | 0.6278 | 0.06083 | 0.7256 | 1.761 | json |
| t20_x56_u0_b99 | 20 | 56 | 0 | 99 | ![]() |
add(R,dot(add(P,P),R)) | 170871 | 164674575 | o2(x,o2(o2(x,x),x)) | true | 75375 | 75375 | -0.09423 | 0.4559 | 0.9141 | 0.8768 | 0.9364 | -1 | 1 | 2 | 1 | 2.246 | 0.04157 | 0.05564 | 0.1058 | -0.1448 | 1 | 0.00003263 | 0.136 | 0.1169 | 0.08606 | 0.2934 | 2.774 | 2.828 | 0.1109 | 0.1552 | 1 | 1 | 0.1148 | 0.7025 | 1.574 | 0.1309 | 0.8011 | 1.795 | json |
| t20_x56_u0_b100 | 20 | 56 | 0 | 100 | ![]() |
add(R,dot(sub(P,P),R)) | 170872 | 164674576 | o2(x,o2(o2(x,x),x)) | true | 75383 | 75383 | 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 |
| t20_x56_u0_b101 | 20 | 56 | 0 | 101 | ![]() |
add(R,dot(mlt(P,P),R)) | 170873 | 164674577 | o2(x,o2(o2(x,x),x)) | true | 75391 | 75391 | 0.06958 | 0.5365 | 0.9476 | 0.9259 | 0.9623 | -1 | 1 | 2 | 1 | 1.82 | 0.07465 | 0.08458 | 0.1149 | -0.06234 | 1 | 0.000007205 | 0.3357 | 0.1749 | 0.1461 | 0.3822 | 3.327 | 2.828 | 0.172 | 0.3626 | 1 | 1 | 0.1544 | 0.8044 | 1.743 | 0.1667 | 0.8688 | 1.882 | json |
| t20_x56_u0_b102 | 20 | 56 | 0 | 102 | ![]() |
add(R,dot(div(P,P),R)) | 170874 | 164674578 | o2(x,o2(o2(x,x),x)) | true | 75399 | 75399 | -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 |
| t20_x56_u0_b103 | 20 | 56 | 0 | 103 | ![]() |
add(R,dot(pow(P,P),R)) | 170875 | 164674579 | o2(x,o2(o2(x,x),x)) | true | 75407 | 75407 | -0.7287 | 0.1361 | 0.9953 | 0.4629 | 0.6804 | -1 | 1 | 2 | 1 | 0.6727 | 0.02985 | 0.03335 | 0.03369 | -0.05532 | 1 | 1.201e-10 | 0.1593 | 0.06444 | 0.06208 | 0.2491 | 7.394 | 2.828 | 0.1365 | 0.3442 | 1 | 1 | 0.06223 | 0.2843 | 0.6454 | 0.1344 | 0.6142 | 1.394 | json |
| t20_x56_u0_b104 | 20 | 56 | 0 | 104 | ![]() |
add(R,dot(mod(P,P),R)) | 170876 | 164674580 | o2(x,o2(o2(x,x),x)) | true | 75415 | 75415 | -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 |
| t20_x56_u0_b105 | 20 | 56 | 0 | 105 | ![]() |
add(R,dot(lrg(P,P),R)) | 170877 | 164674581 | o2(x,o2(o2(x,x),x)) | true | 75423 | 75423 | 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 |
| t20_x56_u0_b106 | 20 | 56 | 0 | 106 | ![]() |
add(R,dot(eql(P,P),R)) | 170878 | 164674582 | o2(x,o2(o2(x,x),x)) | true | 75431 | 75431 | 0.00573 | 0.4995 | 0.6818 | 0.5786 | 0.7607 | -1 | 1 | 2 | 1 | 4.25 | 0.009738 | 0.01113 | 0.09326 | -0.06693 | 1 | 0.00005499 | 0.004712 | 0.03212 | 0.01217 | 0.1103 | 1.183 | 0.6182 | 0.03607 | 0.008144 | 1 | 1 | 0.0405 | 0.4178 | 1.043 | 0.07 | 0.722 | 1.803 | json |
| t20_x56_u0_b107 | 20 | 56 | 0 | 107 | ![]() |
add(R,dot(min(P,P),R)) | 170879 | 164674583 | o2(x,o2(o2(x,x),x)) | true | 75439 | 75439 | -0.09424 | 0.4515 | 0.8434 | 0.7877 | 0.8875 | -1 | 1 | 2 | 1 | 2.905 | 0.02502 | 0.03254 | 0.1011 | -0.1307 | 1 | 0.00005125 | 0.04614 | 0.07442 | 0.04735 | 0.2176 | 2.152 | 1.829 | 0.07307 | 0.05858 | 1 | 1 | 0.07397 | 0.5701 | 1.385 | 0.0939 | 0.7237 | 1.758 | json |
| t20_x56_u0_b108 | 20 | 56 | 0 | 108 | ![]() |
add(R,dot(dot(P,P),R)) | 170880 | 164674584 | o2(x,o2(o2(x,x),x)) | true | 75447 | 75447 | 0.01442 | 0.5089 | 0.971 | 0.961 | 0.9803 | -1 | 1 | 2 | 1 | 1.517 | 0.09456 | 0.09305 | 0.116 | 0.008029 | 1 | 0.00009331 | 0.4363 | 0.2007 | 0.1743 | 0.4175 | 3.6 | 2.828 | 0.1952 | 0.454 | 1 | 1 | 0.1839 | 0.8582 | 1.737 | 0.1913 | 0.893 | 1.807 | json |
| t20_x56_u0_b109 | 20 | 56 | 0 | 109 | ![]() |
add(R,dot(dst(P,P),R)) | 170881 | 164674585 | o2(x,o2(o2(x,x),x)) | true | 75455 | 75455 | 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 |
| t20_x56_u0_b110 | 20 | 56 | 0 | 110 | ![]() |
add(R,dst(add(P,P),R)) | 170882 | 164674586 | o2(x,o2(o2(x,x),x)) | true | 75463 | 75463 | 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 |
| t20_x56_u0_b111 | 20 | 56 | 0 | 111 | ![]() |
add(R,dst(sub(P,P),R)) | 170883 | 164674587 | o2(x,o2(o2(x,x),x)) | true | 75471 | 75471 | 0.7698 | 1 | 0.7698 | 0.07179 | 0.2679 | 0.03077 | 1 | 0.9692 | 1 | 2.953 | 0.001474 | 0.001584 | 0.03376 | -0.03597 | 1 | -0.00007251 | 0.000832 | 0.01385 | 0.001919 | 0.0438 | 1.298 | 0.2336 | 0.0426 | 0.01159 | 1 | 1 | 0.00568 | 0.0565 | 0.13 | 0.07911 | 0.7869 | 1.81 | json |
| t20_x56_u0_b112 | 20 | 56 | 0 | 112 | ![]() |
add(R,dst(mlt(P,P),R)) | 170884 | 164674588 | o2(x,o2(o2(x,x),x)) | true | 75479 | 75479 | 0.999 | 1 | 0.999 | 0.0004917 | 0.02217 | 0.3241 | 1 | 0.6759 | 1 | 0.03583 | 0.00001776 | 0.000034 | 0.0003768 | -0.3137 | 0 | -2.253e-11 | 0.00002668 | 0.0002507 | 0.00005166 | 0.007187 | 19.07 | 0.2568 | 0.1053 | 0.05426 | 1 | 1 | 0.0001633 | 0.001295 | 0.001791 | 0.332 | 2.634 | 3.642 | json |
| t20_x56_u0_b113 | 20 | 56 | 0 | 113 | ![]() |
add(R,dst(div(P,P),R)) | 170885 | 164674589 | o2(x,o2(o2(x,x),x)) | true | 75487 | 75487 | -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 |
| t20_x56_u0_b114 | 20 | 56 | 0 | 114 | ![]() |
add(R,dst(pow(P,P),R)) | 170886 | 164674590 | o2(x,o2(o2(x,x),x)) | true | 75495 | 75495 | -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 |
| t20_x56_u0_b115 | 20 | 56 | 0 | 115 | ![]() |
add(R,dst(mod(P,P),R)) | 170887 | 164674591 | o2(x,o2(o2(x,x),x)) | true | 75503 | 75503 | -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 |
| t20_x56_u0_b116 | 20 | 56 | 0 | 116 | ![]() |
add(R,dst(lrg(P,P),R)) | 170888 | 164674592 | o2(x,o2(o2(x,x),x)) | true | 75511 | 75511 | 0.7698 | 1 | 0.7698 | 0.07179 | 0.2679 | 0.03077 | 1 | 0.9692 | 1 | 2.953 | 0.001474 | 0.001584 | 0.03376 | -0.03597 | 1 | -0.00007251 | 0.000832 | 0.01385 | 0.001919 | 0.0438 | 1.298 | 0.2336 | 0.0426 | 0.01159 | 1 | 1 | 0.00568 | 0.0565 | 0.13 | 0.07911 | 0.7869 | 1.81 | json |
| t20_x56_u0_b117 | 20 | 56 | 0 | 117 | ![]() |
add(R,dst(eql(P,P),R)) | 170889 | 164674593 | o2(x,o2(o2(x,x),x)) | true | 75519 | 75519 | 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 |
| t20_x56_u0_b118 | 20 | 56 | 0 | 118 | ![]() |
add(R,dst(min(P,P),R)) | 170890 | 164674594 | o2(x,o2(o2(x,x),x)) | true | 75527 | 75527 | 0.9982 | 1 | 0.9982 | 0.000811 | 0.02848 | 0.3239 | 1 | 0.6761 | 1 | 0.06128 | 0.00003843 | 0.00004531 | 0.0006617 | -0.08213 | 0 | -4.318e-11 | 0.00004064 | 0.0004341 | 0.00008332 | 0.009128 | 13.8 | 0.238 | 0.1033 | 0.05011 | 1 | 1 | 0.000266 | 0.002125 | 0.002956 | 0.3279 | 2.62 | 3.645 | json |
| t20_x56_u0_b119 | 20 | 56 | 0 | 119 | ![]() |
add(R,dst(dot(P,P),R)) | 170891 | 164674595 | o2(x,o2(o2(x,x),x)) | true | 75535 | 75535 | 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 |
| t20_x56_u0_b120 | 20 | 56 | 0 | 120 | ![]() |
add(R,dst(dst(P,P),R)) | 170892 | 164674596 | o2(x,o2(o2(x,x),x)) | true | 75543 | 75543 | 0.7698 | 1 | 0.7698 | 0.07179 | 0.2679 | 0.03077 | 1 | 0.9692 | 1 | 2.953 | 0.001474 | 0.001584 | 0.03376 | -0.03597 | 1 | -0.00007251 | 0.000832 | 0.01385 | 0.001919 | 0.0438 | 1.298 | 0.2336 | 0.0426 | 0.01159 | 1 | 1 | 0.00568 | 0.0565 | 0.13 | 0.07911 | 0.7869 | 1.81 | json |
| t20_x56_u0_b121 | 20 | 56 | 0 | 121 | ![]() |
sub(R,add(add(P,P),R)) | 170893 | 164674597 | o2(x,o2(o2(x,x),x)) | true | 75551 | 75551 | 0 | 0.5 | 0.9569 | 0.9494 | 0.9744 | -1 | 1 | 2 | 1 | 1.488 | 0.001303 | 8.615e-19 | 0.007937 | 1 | 1 | -2.393e-11 | 0.0002681 | 0.003586 | 0.001241 | 0.03522 | 4.438 | 0.2265 | 0.001373 | 0.0002824 | 1 | 1 | 0.003279 | 0.03268 | 0.2686 | 0.003454 | 0.03442 | 0.2829 | json |
| t20_x56_u0_b122 | 20 | 56 | 0 | 122 | ![]() |
sub(R,add(sub(P,P),R)) | 170894 | 164674598 | o2(x,o2(o2(x,x),x)) | true | 75559 | 75559 | 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 |
| t20_x56_u0_b123 | 20 | 56 | 0 | 123 | ![]() |
sub(R,add(mlt(P,P),R)) | 170895 | 164674599 | o2(x,o2(o2(x,x),x)) | true | 75567 | 75567 | -0.9375 | 0 | 0.9375 | 0.04507 | 0.2123 | -1 | -0.000291 | 0.9997 | 1 | 0.8126 | 0.0007059 | 0 | 0.007934 | 1 | 1 | 9.461e-10 | 0.00003241 | 0.001855 | 0.0006433 | 0.02536 | 3.197 | 0.1169 | 0.01566 | 0.0007193 | 1 | 1 | 0.001851 | 0.02408 | 0.06598 | 0.04107 | 0.5344 | 1.464 | json |
| t20_x56_u0_b124 | 20 | 56 | 0 | 124 | ![]() |
sub(R,add(div(P,P),R)) | 170896 | 164674600 | o2(x,o2(o2(x,x),x)) | true | 75575 | 75575 | -1 | 0 | 1 | 1.617e-15 | 4.021e-8 | -1 | -1 | 1.192e-7 | 1 | 0 | 1.244e-16 | 6.109e-17 | 3.084e-9 | 0.00006333 | 0 | -6.942e-9 | 1.936e-15 | 8.121e-9 | 1.76e-16 | 1.327e-8 | 4.302 | 8.429e-8 | 0.0001855 | 0.001936 | 0 | 1 | 1.464e-16 | 6.83e-16 | 1.52e-15 | 0.0001464 | 0.000683 | 0.00152 | json |
| t20_x56_u0_b125 | 20 | 56 | 0 | 125 | ![]() |
sub(R,add(pow(P,P),R)) | 170897 | 164674601 | o2(x,o2(o2(x,x),x)) | true | 75583 | 75583 | -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 |
| t20_x56_u0_b126 | 20 | 56 | 0 | 126 | ![]() |
sub(R,add(mod(P,P),R)) | 170898 | 164674602 | o2(x,o2(o2(x,x),x)) | true | 75591 | 75591 | -0.125 | 0.3125 | 0.6255 | 0.5899 | 0.768 | -1 | 1 | 2 | 1 | 2.418 | 0.01617 | 0 | 0.03866 | 1 | 1 | 0 | 0.02037 | 0.03799 | 0.01467 | 0.1211 | 3.133 | 1 | 0.02741 | 0.03454 | 1 | 1 | 0.02392 | 0.1466 | 0.4242 | 0.04055 | 0.2485 | 0.7191 | json |
| t20_x56_u0_b127 | 20 | 56 | 0 | 127 | ![]() |
sub(R,add(lrg(P,P),R)) | 170899 | 164674603 | o2(x,o2(o2(x,x),x)) | true | 75599 | 75599 | 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 |



































































































