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 | ||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| t17_x26_u6_b55 | 17 | 26 | 6 | 55 | ![]() |
mod(R,add(R,nrm(R))) | 120300 | 139101904 | o2(x,o2(x,o1(x))) | true | 122407 | 122407 | 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 |
| t17_x26_u6_b56 | 17 | 26 | 6 | 56 | ![]() |
mod(R,sub(R,nrm(R))) | 120301 | 139101905 | o2(x,o2(x,o1(x))) | true | 122415 | 122415 | -0.001926 | 0.4855 | 0.05304 | 0.005907 | 0.07686 | -0.3399 | 0.3976 | 0.7375 | 1 | 2.307 | 0.00007289 | 0.00008552 | 0.009248 | -0.07974 | 1 | -0.000003982 | 0.000009174 | 0.002102 | 0.0000729 | 0.008538 | 0.9233 | 0.05705 | 0.02682 | 0.001553 | 1 | 1 | 0.0002833 | 0.003671 | 0.01145 | 0.04795 | 0.6214 | 1.938 | json |
| t17_x26_u6_b57 | 17 | 26 | 6 | 57 | ![]() |
mod(R,mlt(R,nrm(R))) | 120302 | 139101906 | o2(x,o2(x,o1(x))) | true | 122423 | 122423 | 0.004811 | 0.5067 | 0.1048 | 0.01796 | 0.134 | -0.3732 | 0.3691 | 0.7423 | 1 | 3.127 | 0.0002391 | 0.0002467 | 0.01761 | -0.01551 | 1 | 0.000007737 | 0.00002843 | 0.004011 | 0.0001755 | 0.01325 | 0.7521 | 0.07796 | 0.02704 | 0.001583 | 1 | 1 | 0.001015 | 0.01305 | 0.03501 | 0.05653 | 0.7267 | 1.949 | json |
| t17_x26_u6_b58 | 17 | 26 | 6 | 58 | ![]() |
mod(R,div(R,nrm(R))) | 120303 | 139101907 | o2(x,o2(x,o1(x))) | true | 122431 | 122431 | 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 |
| t17_x26_u6_b59 | 17 | 26 | 6 | 59 | ![]() |
mod(R,pow(R,nrm(R))) | 120304 | 139101908 | o2(x,o2(x,o1(x))) | true | 122439 | 122439 | -0.9327 | 0.04297 | 0.9813 | 0.1025 | 0.3202 | -1 | 0.9428 | 1.943 | 1 | 0.413 | 0.01033 | 0.01038 | 0.01414 | -0.00231 | 1 | 0.000008535 | 0.04322 | 0.0262 | 0.02051 | 0.1432 | 10.13 | 2.64 | 0.2021 | 0.4217 | 1 | 1 | 0.01648 | 0.07156 | 0.1733 | 0.1608 | 0.6982 | 1.691 | json |
| t17_x26_u6_b60 | 17 | 26 | 6 | 60 | ![]() |
mod(R,mod(R,nrm(R))) | 120305 | 139101909 | o2(x,o2(x,o1(x))) | true | 122447 | 122447 | -0.009941 | 0.4523 | 0.06601 | 0.01483 | 0.1218 | -0.8649 | 0.5777 | 1.443 | 1 | 2.582 | 0.0002209 | 0.0001726 | 0.01214 | 0.1226 | 1 | -0.00001715 | 0.00002311 | 0.002791 | 0.0002461 | 0.01569 | 1.292 | 0.1225 | 0.02653 | 0.001558 | 1 | 1 | 0.000961 | 0.01239 | 0.03258 | 0.0648 | 0.8355 | 2.197 | json |
| t17_x26_u6_b61 | 17 | 26 | 6 | 61 | ![]() |
mod(R,lrg(R,nrm(R))) | 120306 | 139101910 | o2(x,o2(x,o1(x))) | true | 122455 | 122455 | -0.8886 | 0.05449 | 0.934 | 0.1268 | 0.356 | -1 | 0.9693 | 1.969 | 1 | 0.9459 | 0.01037 | 0.01114 | 0.0221 | -0.03579 | 1 | 0.000003307 | 0.04373 | 0.03412 | 0.02102 | 0.145 | 6.561 | 2.785 | 0.1697 | 0.3449 | 1 | 1 | 0.02459 | 0.1077 | 0.3103 | 0.1939 | 0.8499 | 2.448 | json |
| t17_x26_u6_b62 | 17 | 26 | 6 | 62 | ![]() |
mod(R,eql(R,nrm(R))) | 120307 | 139101911 | o2(x,o2(x,o1(x))) | true | 122463 | 122463 | -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 |
| t17_x26_u6_b63 | 17 | 26 | 6 | 63 | ![]() |
mod(R,min(R,nrm(R))) | 120308 | 139101912 | o2(x,o2(x,o1(x))) | true | 122471 | 122471 | -0.0813 | 0.4164 | 0.1507 | 0.0474 | 0.2177 | -0.9676 | 0.5777 | 1.545 | 1 | 3.564 | 0.0006566 | 0.0007186 | 0.02664 | -0.04508 | 1 | -0.00002113 | 0.00008046 | 0.006143 | 0.0006654 | 0.0258 | 0.9682 | 0.1638 | 0.02902 | 0.001698 | 1 | 1 | 0.003216 | 0.0414 | 0.1034 | 0.06786 | 0.8735 | 2.182 | json |
| t17_x26_u6_b64 | 17 | 26 | 6 | 64 | ![]() |
mod(R,dot(R,nrm(R))) | 120309 | 139101913 | o2(x,o2(x,o1(x))) | true | 122479 | 122479 | 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 |
| t17_x26_u6_b65 | 17 | 26 | 6 | 65 | ![]() |
mod(R,dst(R,nrm(R))) | 120310 | 139101914 | o2(x,o2(x,o1(x))) | true | 122487 | 122487 | -0.008527 | 0.4658 | 0.0835 | 0.01286 | 0.1134 | -0.4492 | 0.4138 | 0.863 | 1 | 2.877 | 0.0001646 | 0.0001804 | 0.01428 | -0.04593 | 1 | 2.439e-7 | 0.00002001 | 0.003246 | 0.0001412 | 0.01188 | 0.8324 | 0.07766 | 0.02683 | 0.001556 | 1 | 1 | 0.0006557 | 0.008492 | 0.02643 | 0.051 | 0.6604 | 2.055 | json |
| t17_x26_u6_b66 | 17 | 26 | 6 | 66 | ![]() |
lrg(R,add(R,nrm(R))) | 120311 | 139101915 | o2(x,o2(x,o1(x))) | true | 122495 | 122495 | 0.5176 | 0.9429 | 0.5176 | 0.1537 | 0.3921 | 0 | 1 | 1 | 1 | 3.429 | 0.001972 | 0.002442 | 0.05168 | -0.1065 | 1 | 0.00001781 | 0.0002592 | 0.01257 | 0.001744 | 0.04176 | 0.8079 | 0.1169 | 0.02872 | 0.001686 | 1 | 1 | 0.008731 | 0.1124 | 0.2862 | 0.0568 | 0.7316 | 1.862 | json |
| t17_x26_u6_b67 | 17 | 26 | 6 | 67 | ![]() |
lrg(R,sub(R,nrm(R))) | 120312 | 139101916 | o2(x,o2(x,o1(x))) | true | 122503 | 122503 | 0.4824 | 0.9147 | 0.4824 | 0.1537 | 0.3921 | 0 | 1 | 1 | 1 | 3.429 | 0.001972 | 0.002442 | 0.05168 | -0.1065 | 1 | -0.00001781 | 0.0002592 | 0.01257 | 0.001744 | 0.04176 | 0.8079 | 0.1169 | 0.02872 | 0.001686 | 1 | 1 | 0.008731 | 0.1124 | 0.2862 | 0.0568 | 0.7316 | 1.862 | json |
| t17_x26_u6_b68 | 17 | 26 | 6 | 68 | ![]() |
lrg(R,mlt(R,nrm(R))) | 120313 | 139101917 | o2(x,o2(x,o1(x))) | true | 122511 | 122511 | 0.4824 | 0.9147 | 0.4824 | 0.1537 | 0.3921 | 0 | 1 | 1 | 1 | 3.429 | 0.001972 | 0.002442 | 0.05168 | -0.1065 | 1 | -0.00001781 | 0.0002592 | 0.01257 | 0.001744 | 0.04176 | 0.8079 | 0.1169 | 0.02872 | 0.001686 | 1 | 1 | 0.008731 | 0.1124 | 0.2862 | 0.0568 | 0.7316 | 1.862 | json |
| t17_x26_u6_b69 | 17 | 26 | 6 | 69 | ![]() |
lrg(R,div(R,nrm(R))) | 120314 | 139101918 | o2(x,o2(x,o1(x))) | true | 122519 | 122519 | 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 |
| t17_x26_u6_b70 | 17 | 26 | 6 | 70 | ![]() |
lrg(R,pow(R,nrm(R))) | 120315 | 139101919 | o2(x,o2(x,o1(x))) | true | 122527 | 122527 | 0.5176 | 0.9429 | 0.5176 | 0.1537 | 0.3921 | 0 | 1 | 1 | 1 | 3.429 | 0.001972 | 0.002442 | 0.05168 | -0.1065 | 1 | 0.00001781 | 0.0002592 | 0.01257 | 0.001744 | 0.04176 | 0.8079 | 0.1169 | 0.02872 | 0.001686 | 1 | 1 | 0.008731 | 0.1124 | 0.2862 | 0.0568 | 0.7316 | 1.862 | json |
| t17_x26_u6_b71 | 17 | 26 | 6 | 71 | ![]() |
lrg(R,mod(R,nrm(R))) | 120316 | 139101920 | o2(x,o2(x,o1(x))) | true | 122535 | 122535 | 0.2773 | 0.7048 | 0.2773 | 0.1234 | 0.3513 | 0 | 1 | 1 | 1 | 2.895 | 0.001715 | 0.001833 | 0.04156 | -0.03313 | 1 | 0.00002924 | 0.0002059 | 0.0101 | 0.001821 | 0.04267 | 1.027 | 0.1169 | 0.02875 | 0.001668 | 1 | 1 | 0.006953 | 0.09005 | 0.2573 | 0.05635 | 0.7298 | 2.086 | json |
| t17_x26_u6_b72 | 17 | 26 | 6 | 72 | ![]() |
lrg(R,lrg(R,nrm(R))) | 120317 | 139101921 | o2(x,o2(x,o1(x))) | true | 122543 | 122543 | 0.2051 | 0.5824 | 0.2051 | 0.1005 | 0.317 | 0 | 1 | 1 | 1 | 2.468 | 0.001454 | 0.001426 | 0.03393 | 0.009671 | 1 | -0.00004705 | 0.0001695 | 0.008223 | 0.001729 | 0.04158 | 1.225 | 0.1169 | 0.02866 | 0.001687 | 1 | 1 | 0.00486 | 0.06293 | 0.1828 | 0.04836 | 0.6263 | 1.819 | json |
| t17_x26_u6_b73 | 17 | 26 | 6 | 73 | ![]() |
lrg(R,eql(R,nrm(R))) | 120318 | 139101922 | o2(x,o2(x,o1(x))) | true | 122551 | 122551 | 0.4824 | 0.9147 | 0.4824 | 0.1537 | 0.3921 | 0 | 1 | 1 | 1 | 3.429 | 0.001972 | 0.002442 | 0.05168 | -0.1065 | 1 | -0.00001781 | 0.0002592 | 0.01257 | 0.001744 | 0.04176 | 0.8079 | 0.1169 | 0.02872 | 0.001686 | 1 | 1 | 0.008731 | 0.1124 | 0.2862 | 0.0568 | 0.7316 | 1.862 | json |
| t17_x26_u6_b74 | 17 | 26 | 6 | 74 | ![]() |
lrg(R,min(R,nrm(R))) | 120319 | 139101923 | o2(x,o2(x,o1(x))) | true | 122559 | 122559 | 0.5488 | 0.9559 | 0.5488 | 0.1558 | 0.3947 | 0 | 1 | 1 | 1 | 3.362 | 0.002271 | 0.002019 | 0.05012 | 0.0588 | 1 | 0.00008199 | 0.0002442 | 0.0121 | 0.001779 | 0.04217 | 0.8415 | 0.1169 | 0.02754 | 0.001568 | 1 | 1 | 0.008285 | 0.1071 | 0.3286 | 0.05317 | 0.6871 | 2.109 | json |
| t17_x26_u6_b75 | 17 | 26 | 6 | 75 | ![]() |
lrg(R,dot(R,nrm(R))) | 120320 | 139101924 | o2(x,o2(x,o1(x))) | true | 122567 | 122567 | 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 |
| t17_x26_u6_b76 | 17 | 26 | 6 | 76 | ![]() |
lrg(R,dst(R,nrm(R))) | 120321 | 139101925 | o2(x,o2(x,o1(x))) | true | 122575 | 122575 | 0.4004 | 0.8627 | 0.4004 | 0.1463 | 0.3825 | 0 | 1 | 1 | 1 | 3.349 | 0.001995 | 0.002298 | 0.05035 | -0.0704 | 1 | -0.000003561 | 0.0002539 | 0.01226 | 0.001758 | 0.04193 | 0.8327 | 0.1169 | 0.02934 | 0.001736 | 1 | 1 | 0.008517 | 0.1097 | 0.2775 | 0.05822 | 0.7495 | 1.897 | json |
| t17_x26_u6_b77 | 17 | 26 | 6 | 77 | ![]() |
eql(R,add(R,nrm(R))) | 120322 | 139101926 | o2(x,o2(x,o1(x))) | true | 122583 | 122583 | 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 |
| t17_x26_u6_b78 | 17 | 26 | 6 | 78 | ![]() |
eql(R,sub(R,nrm(R))) | 120323 | 139101927 | o2(x,o2(x,o1(x))) | true | 122591 | 122591 | 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 |
| t17_x26_u6_b79 | 17 | 26 | 6 | 79 | ![]() |
eql(R,mlt(R,nrm(R))) | 120324 | 139101928 | o2(x,o2(x,o1(x))) | true | 122599 | 122599 | 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 |
| t17_x26_u6_b80 | 17 | 26 | 6 | 80 | ![]() |
eql(R,div(R,nrm(R))) | 120325 | 139101929 | o2(x,o2(x,o1(x))) | true | 122607 | 122607 | 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 |
| t17_x26_u6_b81 | 17 | 26 | 6 | 81 | ![]() |
eql(R,pow(R,nrm(R))) | 120326 | 139101930 | o2(x,o2(x,o1(x))) | true | 122615 | 122615 | 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 |
| t17_x26_u6_b82 | 17 | 26 | 6 | 82 | ![]() |
eql(R,mod(R,nrm(R))) | 120327 | 139101931 | o2(x,o2(x,o1(x))) | true | 122623 | 122623 | 0.4766 | 0.8804 | 0.4766 | 0.1603 | 0.4004 | 0 | 1 | 1 | 1 | 3.324 | 0.001857 | 0.002199 | 0.04748 | -0.08437 | 1 | 0.000005703 | 0.0002413 | 0.0116 | 0.001802 | 0.04245 | 0.894 | 0.1169 | 0.0253 | 0.001505 | 1 | 1 | 0.007899 | 0.1024 | 0.3171 | 0.04927 | 0.639 | 1.978 | json |
| t17_x26_u6_b83 | 17 | 26 | 6 | 83 | ![]() |
eql(R,lrg(R,nrm(R))) | 120328 | 139101932 | o2(x,o2(x,o1(x))) | true | 122631 | 122631 | 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 |
| t17_x26_u6_b84 | 17 | 26 | 6 | 84 | ![]() |
eql(R,eql(R,nrm(R))) | 120329 | 139101933 | o2(x,o2(x,o1(x))) | true | 122639 | 122639 | 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 |
| t17_x26_u6_b85 | 17 | 26 | 6 | 85 | ![]() |
eql(R,min(R,nrm(R))) | 120330 | 139101934 | o2(x,o2(x,o1(x))) | true | 122647 | 122647 | 0.4512 | 0.8826 | 0.4512 | 0.1558 | 0.3947 | 0 | 1 | 1 | 1 | 3.362 | 0.002271 | 0.002019 | 0.05012 | 0.0588 | 1 | -0.000082 | 0.0002442 | 0.0121 | 0.001779 | 0.04217 | 0.8415 | 0.1169 | 0.02754 | 0.001568 | 1 | 1 | 0.008285 | 0.1071 | 0.3286 | 0.05317 | 0.6871 | 2.109 | json |
| t17_x26_u6_b86 | 17 | 26 | 6 | 86 | ![]() |
eql(R,dot(R,nrm(R))) | 120331 | 139101935 | o2(x,o2(x,o1(x))) | true | 122655 | 122655 | 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 |
| t17_x26_u6_b87 | 17 | 26 | 6 | 87 | ![]() |
eql(R,dst(R,nrm(R))) | 120332 | 139101936 | o2(x,o2(x,o1(x))) | true | 122663 | 122663 | 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 |
| t17_x26_u6_b88 | 17 | 26 | 6 | 88 | ![]() |
min(R,add(R,nrm(R))) | 120333 | 139101937 | o2(x,o2(x,o1(x))) | true | 122671 | 122671 | -0.197 | 0.4167 | 0.5497 | 0.3663 | 0.6052 | -1 | 0.9804 | 1.98 | 1 | 4.644 | 0.005431 | 0.005965 | 0.08031 | -0.04686 | 1 | 0.0000989 | 0.001299 | 0.02153 | 0.004945 | 0.07032 | 0.8756 | 0.3315 | 0.03111 | 0.003545 | 1 | 1 | 0.02225 | 0.268 | 0.6536 | 0.06074 | 0.7316 | 1.785 | json |
| t17_x26_u6_b89 | 17 | 26 | 6 | 89 | ![]() |
min(R,sub(R,nrm(R))) | 120334 | 139101938 | o2(x,o2(x,o1(x))) | true | 122679 | 122679 | -0.2504 | 0.1722 | 0.2791 | 0.07296 | 0.2701 | -0.9989 | 0.3422 | 1.341 | 1 | 4.037 | 0.0009288 | 0.001073 | 0.03589 | -0.07199 | 1 | 0.00003083 | 0.0001168 | 0.00822 | 0.0007135 | 0.02671 | 0.7442 | 0.1488 | 0.02744 | 0.001601 | 1 | 1 | 0.003688 | 0.04744 | 0.1252 | 0.05054 | 0.6503 | 1.716 | json |
| t17_x26_u6_b90 | 17 | 26 | 6 | 90 | ![]() |
min(R,mlt(R,nrm(R))) | 120335 | 139101939 | o2(x,o2(x,o1(x))) | true | 122687 | 122687 | -0.08539 | 0.4337 | 0.3307 | 0.1572 | 0.3965 | -0.9989 | 0.9188 | 1.918 | 1 | 4.664 | 0.002011 | 0.002247 | 0.05317 | -0.05545 | 1 | 0.0000255 | 0.0002499 | 0.01211 | 0.00143 | 0.03782 | 0.7112 | 0.2131 | 0.02709 | 0.00159 | 1 | 1 | 0.008256 | 0.1059 | 0.2705 | 0.05252 | 0.6739 | 1.721 | json |
| t17_x26_u6_b91 | 17 | 26 | 6 | 91 | ![]() |
min(R,div(R,nrm(R))) | 120336 | 139101940 | o2(x,o2(x,o1(x))) | true | 122695 | 122695 | 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 |
| t17_x26_u6_b92 | 17 | 26 | 6 | 92 | ![]() |
min(R,pow(R,nrm(R))) | 120337 | 139101941 | o2(x,o2(x,o1(x))) | true | 122703 | 122703 | 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 |
| t17_x26_u6_b93 | 17 | 26 | 6 | 93 | ![]() |
min(R,mod(R,nrm(R))) | 120338 | 139101942 | o2(x,o2(x,o1(x))) | true | 122711 | 122711 | -0.1457 | 0.3835 | 0.2942 | 0.1222 | 0.3496 | -0.9989 | 0.8752 | 1.874 | 1 | 4.474 | 0.001431 | 0.001784 | 0.04554 | -0.1097 | 1 | -0.000005602 | 0.0001899 | 0.01043 | 0.001142 | 0.03379 | 0.742 | 0.1966 | 0.0263 | 0.001554 | 1 | 1 | 0.005868 | 0.07538 | 0.2004 | 0.04801 | 0.6167 | 1.639 | json |
| t17_x26_u6_b94 | 17 | 26 | 6 | 94 | ![]() |
min(R,lrg(R,nrm(R))) | 120339 | 139101943 | o2(x,o2(x,o1(x))) | true | 122719 | 122719 | -0.06921 | 0.3698 | 0.3527 | 0.1899 | 0.4358 | -0.9989 | 0.9806 | 1.979 | 1 | 4.734 | 0.002559 | 0.002696 | 0.05782 | -0.02591 | 1 | 0.00005057 | 0.0003044 | 0.01319 | 0.001912 | 0.04372 | 0.7561 | 0.2301 | 0.02767 | 0.001603 | 1 | 1 | 0.01046 | 0.1347 | 0.3568 | 0.05509 | 0.709 | 1.879 | json |
| t17_x26_u6_b95 | 17 | 26 | 6 | 95 | ![]() |
min(R,eql(R,nrm(R))) | 120340 | 139101944 | o2(x,o2(x,o1(x))) | true | 122727 | 122727 | -0.2541 | 0 | 0.2541 | 0.06549 | 0.2559 | -0.9989 | 0 | 0.9989 | 1 | 3.542 | 0.000768 | 0.0009295 | 0.0314 | -0.09514 | 1 | 0.00001332 | 0.00009988 | 0.007359 | 0.0007117 | 0.02668 | 0.8497 | 0.1168 | 0.02592 | 0.001525 | 1 | 1 | 0.003123 | 0.04017 | 0.1061 | 0.04769 | 0.6134 | 1.62 | json |
| t17_x26_u6_b96 | 17 | 26 | 6 | 96 | ![]() |
min(R,min(R,nrm(R))) | 120341 | 139101945 | o2(x,o2(x,o1(x))) | true | 122735 | 122735 | -0.05763 | 0.467 | 0.3974 | 0.2138 | 0.4624 | -0.9989 | 0.9534 | 1.952 | 1 | 4.816 | 0.002807 | 0.003037 | 0.06262 | -0.03945 | 1 | 0.00001341 | 0.000345 | 0.01445 | 0.001922 | 0.04384 | 0.7 | 0.2163 | 0.02734 | 0.001614 | 1 | 1 | 0.01155 | 0.1485 | 0.3769 | 0.05404 | 0.6948 | 1.763 | json |
| t17_x26_u6_b97 | 17 | 26 | 6 | 97 | ![]() |
min(R,dot(R,nrm(R))) | 120342 | 139101946 | o2(x,o2(x,o1(x))) | true | 122743 | 122743 | 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 |
| t17_x26_u6_b98 | 17 | 26 | 6 | 98 | ![]() |
min(R,dst(R,nrm(R))) | 120343 | 139101947 | o2(x,o2(x,o1(x))) | true | 122751 | 122751 | -0.1674 | 0.3716 | 0.279 | 0.1039 | 0.3224 | -0.9989 | 0.5577 | 1.557 | 1 | 4.305 | 0.001213 | 0.001494 | 0.04183 | -0.1038 | 1 | 0.000006133 | 0.0001575 | 0.009595 | 0.0009569 | 0.03093 | 0.7395 | 0.1627 | 0.02604 | 0.001515 | 1 | 1 | 0.004985 | 0.0641 | 0.1748 | 0.04796 | 0.6168 | 1.682 | json |
| t17_x26_u6_b99 | 17 | 26 | 6 | 99 | ![]() |
dot(R,add(R,nrm(R))) | 120344 | 139101948 | o2(x,o2(x,o1(x))) | true | 122759 | 122759 | 0.986 | 1 | 0.986 | 0.004849 | 0.06963 | 0.1097 | 1 | 0.8903 | 1 | 0.4479 | 0.0001413 | 0.00028 | 0.004377 | -0.3293 | 1 | -0.00002624 | 0.0002101 | 0.003065 | 0.000402 | 0.02005 | 4.581 | 0.2593 | 0.08688 | 0.04333 | 1 | 1 | 0.0005326 | 0.003869 | 0.006769 | 0.1098 | 0.798 | 1.396 | json |
| t17_x26_u6_b100 | 17 | 26 | 6 | 100 | ![]() |
dot(R,sub(R,nrm(R))) | 120345 | 139101949 | o2(x,o2(x,o1(x))) | true | 122767 | 122767 | 0.05254 | 0.5554 | 0.1615 | 0.03925 | 0.1981 | -0.25 | 0.8691 | 1.119 | 1 | 3.551 | 0.000465 | 0.0005499 | 0.02526 | -0.08366 | 1 | 0.000001129 | 0.0000608 | 0.005838 | 0.0003766 | 0.01941 | 0.7681 | 0.1208 | 0.02586 | 0.001549 | 1 | 1 | 0.001974 | 0.02554 | 0.07496 | 0.05029 | 0.6507 | 1.91 | json |
| t17_x26_u6_b101 | 17 | 26 | 6 | 101 | ![]() |
dot(R,mlt(R,nrm(R))) | 120346 | 139101950 | o2(x,o2(x,o1(x))) | true | 122775 | 122775 | 0.01268 | 0.5155 | 0.3697 | 0.203 | 0.4505 | -1 | 1 | 2 | 1 | 4.832 | 0.002567 | 0.00286 | 0.05967 | -0.05399 | 1 | 0.0000279 | 0.0003301 | 0.01353 | 0.001866 | 0.0432 | 0.724 | 0.2564 | 0.02673 | 0.001626 | 1 | 1 | 0.01112 | 0.1425 | 0.3859 | 0.05479 | 0.7018 | 1.901 | json |
| t17_x26_u6_b102 | 17 | 26 | 6 | 102 | ![]() |
dot(R,div(R,nrm(R))) | 120347 | 139101951 | o2(x,o2(x,o1(x))) | true | 122783 | 122783 | 0.03096 | 0.5252 | 0.5321 | 0.4029 | 0.6348 | -1 | 1 | 2 | 1 | 4.688 | 0.006508 | 0.007238 | 0.0812 | -0.05309 | 1 | 0.000071 | 0.002711 | 0.02524 | 0.007152 | 0.08457 | 1.041 | 0.5582 | 0.03412 | 0.006729 | 1 | 1 | 0.02897 | 0.3155 | 0.789 | 0.07189 | 0.783 | 1.958 | json |
| t17_x26_u6_b103 | 17 | 26 | 6 | 103 | ![]() |
dot(R,pow(R,nrm(R))) | 120348 | 139101952 | o2(x,o2(x,o1(x))) | true | 122791 | 122791 | -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 |
| t17_x26_u6_b104 | 17 | 26 | 6 | 104 | ![]() |
dot(R,mod(R,nrm(R))) | 120349 | 139101953 | o2(x,o2(x,o1(x))) | true | 122799 | 122799 | 0.401 | 1 | 0.401 | 0.04757 | 0.2181 | 0.009875 | 0.9949 | 0.985 | 1 | 3.756 | 0.0005457 | 0.0006865 | 0.02838 | -0.1142 | 1 | 0.00001306 | 0.00007194 | 0.006493 | 0.0004268 | 0.02066 | 0.7279 | 0.1109 | 0.0259 | 0.001512 | 1 | 1 | 0.002543 | 0.0328 | 0.1066 | 0.05346 | 0.6894 | 2.241 | json |
| t17_x26_u6_b105 | 17 | 26 | 6 | 105 | ![]() |
dot(R,lrg(R,nrm(R))) | 120350 | 139101954 | o2(x,o2(x,o1(x))) | true | 122807 | 122807 | 0.1812 | 0.5704 | 0.5734 | 0.4094 | 0.6399 | -1 | 1 | 2 | 1 | 4.632 | 0.006372 | 0.006228 | 0.08178 | 0.01147 | 1 | -0.00004426 | 0.00175 | 0.02328 | 0.005911 | 0.07688 | 0.9401 | 0.4028 | 0.03077 | 0.004275 | 1 | 1 | 0.02551 | 0.2959 | 0.8595 | 0.06231 | 0.7227 | 2.099 | json |
| t17_x26_u6_b106 | 17 | 26 | 6 | 106 | ![]() |
dot(R,eql(R,nrm(R))) | 120351 | 139101955 | o2(x,o2(x,o1(x))) | true | 122815 | 122815 | 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 |
| t17_x26_u6_b107 | 17 | 26 | 6 | 107 | ![]() |
dot(R,min(R,nrm(R))) | 120352 | 139101956 | o2(x,o2(x,o1(x))) | true | 122823 | 122823 | 0.8731 | 1 | 0.8731 | 0.034 | 0.1844 | 0.01024 | 1 | 0.9898 | 1 | 2.359 | 0.0005451 | 0.0007331 | 0.02055 | -0.1471 | 1 | -0.00003123 | 0.0002661 | 0.00751 | 0.000856 | 0.02926 | 1.424 | 0.1702 | 0.03759 | 0.007827 | 1 | 1 | 0.002285 | 0.02499 | 0.05455 | 0.06721 | 0.735 | 1.604 | json |
| t17_x26_u6_b108 | 17 | 26 | 6 | 108 | ![]() |
dot(R,dot(R,nrm(R))) | 120353 | 139101957 | o2(x,o2(x,o1(x))) | true | 122831 | 122831 | 0.03096 | 0.5252 | 0.5321 | 0.4029 | 0.6348 | -1 | 1 | 2 | 1 | 4.688 | 0.006508 | 0.007238 | 0.0812 | -0.05309 | 1 | 0.000071 | 0.002711 | 0.02524 | 0.007152 | 0.08457 | 1.041 | 0.5582 | 0.03412 | 0.006729 | 1 | 1 | 0.02897 | 0.3155 | 0.789 | 0.07189 | 0.783 | 1.958 | json |
| t17_x26_u6_b109 | 17 | 26 | 6 | 109 | ![]() |
dot(R,dst(R,nrm(R))) | 120354 | 139101958 | o2(x,o2(x,o1(x))) | true | 122839 | 122839 | 0.01017 | 0.5124 | 0.1269 | 0.03086 | 0.1757 | -0.8096 | 0.8361 | 1.646 | 1 | 3.46 | 0.0004483 | 0.0004588 | 0.02294 | -0.01161 | 1 | -0.000001335 | 0.00005344 | 0.005218 | 0.000381 | 0.01952 | 0.8509 | 0.1534 | 0.0294 | 0.001732 | 1 | 1 | 0.001847 | 0.0236 | 0.06308 | 0.05985 | 0.7648 | 2.044 | json |
| t17_x26_u6_b110 | 17 | 26 | 6 | 110 | ![]() |
dst(R,add(R,nrm(R))) | 120355 | 139101959 | o2(x,o2(x,o1(x))) | true | 122847 | 122847 | 1 | 1 | 1 | 2.395e-15 | 4.894e-8 | 1 | 1 | 1.192e-7 | 1 | 0 | 1.41e-16 | 1.384e-16 | 4.632e-9 | 0.000002573 | 0 | 1.005e-8 | 2.868e-15 | 1.203e-8 | 2.579e-16 | 1.606e-8 | 3.467 | 8.429e-8 | 0.0002794 | 0.002868 | 0 | 1 | 2.937e-16 | 1.315e-15 | 2.984e-15 | 0.0002937 | 0.001315 | 0.002984 | json |
| t17_x26_u6_b111 | 17 | 26 | 6 | 111 | ![]() |
dst(R,sub(R,nrm(R))) | 120356 | 139101960 | o2(x,o2(x,o1(x))) | true | 122855 | 122855 | 1 | 1 | 1 | 2.017e-15 | 4.492e-8 | 1 | 1 | 1.192e-7 | 1 | 0 | 1.287e-16 | 1.394e-16 | 4.448e-9 | -0.00001074 | 0 | 1.175e-8 | 2.943e-15 | 1.234e-8 | 2.483e-16 | 1.576e-8 | 3.543 | 8.429e-8 | 0.0002681 | 0.002943 | 0 | 1 | 2.783e-16 | 1.151e-15 | 2.354e-15 | 0.0002783 | 0.001151 | 0.002354 | json |
| t17_x26_u6_b112 | 17 | 26 | 6 | 112 | ![]() |
dst(R,mlt(R,nrm(R))) | 120357 | 139101961 | o2(x,o2(x,o1(x))) | true | 122863 | 122863 | 0.8451 | 1 | 0.8451 | 0.05051 | 0.2247 | 0.04063 | 1 | 0.9594 | 1 | 2.409 | 0.0009718 | 0.001128 | 0.02576 | -0.07439 | 1 | -0.00007444 | 0.0005298 | 0.01034 | 0.001437 | 0.0379 | 1.472 | 0.2234 | 0.04157 | 0.01049 | 1 | 1 | 0.003925 | 0.03988 | 0.08673 | 0.07772 | 0.7895 | 1.717 | json |
| t17_x26_u6_b113 | 17 | 26 | 6 | 113 | ![]() |
dst(R,div(R,nrm(R))) | 120358 | 139101962 | o2(x,o2(x,o1(x))) | true | 122871 | 122871 | 0.9893 | 1 | 0.9893 | 0.003449 | 0.05872 | 0.0779 | 1 | 0.9221 | 1 | 0.3861 | 0.0001248 | 0.0001797 | 0.003527 | -0.1801 | 1 | -0.000007624 | 0.0001428 | 0.002396 | 0.0002923 | 0.0171 | 4.848 | 0.2638 | 0.0883 | 0.04141 | 1 | 1 | 0.0004031 | 0.003163 | 0.005536 | 0.1169 | 0.9173 | 1.605 | json |
| t17_x26_u6_b114 | 17 | 26 | 6 | 114 | ![]() |
dst(R,pow(R,nrm(R))) | 120359 | 139101963 | o2(x,o2(x,o1(x))) | true | 122879 | 122879 | -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 |
| t17_x26_u6_b115 | 17 | 26 | 6 | 115 | ![]() |
dst(R,mod(R,nrm(R))) | 120360 | 139101964 | o2(x,o2(x,o1(x))) | true | 122887 | 122887 | 0.5234 | 0.9064 | 0.5234 | 0.1603 | 0.4004 | 0 | 1 | 1 | 1 | 3.324 | 0.001857 | 0.002199 | 0.04748 | -0.08437 | 1 | -0.000005705 | 0.0002413 | 0.0116 | 0.001802 | 0.04245 | 0.894 | 0.1169 | 0.0253 | 0.001505 | 1 | 1 | 0.007899 | 0.1024 | 0.3171 | 0.04927 | 0.639 | 1.978 | json |
| t17_x26_u6_b116 | 17 | 26 | 6 | 116 | ![]() |
dst(R,lrg(R,nrm(R))) | 120361 | 139101965 | o2(x,o2(x,o1(x))) | true | 122895 | 122895 | 0.956 | 1 | 0.956 | 0.01224 | 0.1106 | 0.09964 | 1 | 0.9004 | 1 | 1.194 | 0.0003923 | 0.0003977 | 0.01107 | -0.006957 | 1 | -0.0000319 | 0.0002707 | 0.005794 | 0.0006671 | 0.02583 | 2.332 | 0.2029 | 0.06454 | 0.02212 | 1 | 1 | 0.00154 | 0.01401 | 0.02634 | 0.1258 | 1.145 | 2.152 | json |
| t17_x26_u6_b117 | 17 | 26 | 6 | 117 | ![]() |
dst(R,eql(R,nrm(R))) | 120362 | 139101966 | o2(x,o2(x,o1(x))) | true | 122903 | 122903 | 0.897 | 1 | 0.897 | 0.02252 | 0.1501 | 0.09951 | 1 | 0.9005 | 1 | 2.181 | 0.0003411 | 0.0004606 | 0.01666 | -0.149 | 1 | -0.00001961 | 0.000143 | 0.005703 | 0.0005243 | 0.0229 | 1.374 | 0.1266 | 0.0356 | 0.006351 | 1 | 1 | 0.001342 | 0.015 | 0.03485 | 0.05959 | 0.666 | 1.547 | json |
| t17_x26_u6_b118 | 17 | 26 | 6 | 118 | ![]() |
dst(R,min(R,nrm(R))) | 120363 | 139101967 | o2(x,o2(x,o1(x))) | true | 122911 | 122911 | 0.1531 | 0.9974 | 0.1531 | 0.01164 | 0.1079 | 1.562e-8 | 0.7601 | 0.7601 | 1 | 2.618 | 0.00017 | 0.0001953 | 0.01483 | -0.06941 | 1 | 0.00000184 | 0.00002146 | 0.003416 | 0.0001455 | 0.01206 | 0.8134 | 0.0833 | 0.03137 | 0.001843 | 1 | 1 | 0.0006053 | 0.007753 | 0.01896 | 0.05198 | 0.6658 | 1.628 | json |
| t17_x26_u6_b119 | 17 | 26 | 6 | 119 | ![]() |
dst(R,dot(R,nrm(R))) | 120364 | 139101968 | o2(x,o2(x,o1(x))) | true | 122919 | 122919 | 0.9893 | 1 | 0.9893 | 0.003449 | 0.05872 | 0.0779 | 1 | 0.9221 | 1 | 0.3861 | 0.0001248 | 0.0001797 | 0.003527 | -0.1801 | 1 | -0.000007624 | 0.0001428 | 0.002396 | 0.0002923 | 0.0171 | 4.848 | 0.2638 | 0.0883 | 0.04141 | 1 | 1 | 0.0004031 | 0.003163 | 0.005536 | 0.1169 | 0.9173 | 1.605 | json |
| t17_x26_u6_b120 | 17 | 26 | 6 | 120 | ![]() |
dst(R,dst(R,nrm(R))) | 120365 | 139101969 | o2(x,o2(x,o1(x))) | true | 122927 | 122927 | 0.9577 | 1 | 0.9577 | 0.008125 | 0.09014 | 0.1585 | 1 | 0.8415 | 1 | 1.252 | 0.0001719 | 0.0001898 | 0.008545 | -0.04952 | 1 | -0.00002438 | 0.00008894 | 0.003543 | 0.0002887 | 0.01699 | 1.988 | 0.1637 | 0.04451 | 0.01095 | 1 | 1 | 0.0006051 | 0.006311 | 0.01418 | 0.07448 | 0.7768 | 1.746 | json |
| t18_x0_u0_b0 | 18 | 0 | 0 | 0 | ![]() |
add(P,add(P,add(P,P))) | 120366 | 146170818 | o2(x,o2(x,o2(x,x))) | true | 122935 | 122935 | 0 | 0.5 | 0.968 | 0.9627 | 0.9812 | -1 | 1 | 2 | 1 | 1.379 | 0.001886 | 0 | 0.007937 | 1 | 1 | 0 | 0.0007715 | 0.005465 | 0.001822 | 0.04269 | 5.379 | 0.3455 | 0.001959 | 0.0008015 | 1 | 1 | 0.004491 | 0.03815 | 0.2866 | 0.004665 | 0.03963 | 0.2977 | json |
| t18_x0_u0_b1 | 18 | 0 | 0 | 1 | ![]() |
add(P,add(P,sub(P,P))) | 120367 | 146170819 | o2(x,o2(x,o2(x,x))) | true | 122943 | 122943 | 0 | 0.5 | 0.9569 | 0.9494 | 0.9744 | -1 | 1 | 2 | 1 | 1.488 | 0.001303 | 0 | 0.007937 | 1 | 1 | 0 | 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 |
| t18_x0_u0_b2 | 18 | 0 | 0 | 2 | ![]() |
add(P,add(P,mlt(P,P))) | 120368 | 146170820 | o2(x,o2(x,o2(x,x))) | true | 122951 | 122951 | 0.7766 | 0.875 | 0.9016 | 0.2791 | 0.5283 | -0.9997 | 1 | 2 | 1 | 1.339 | 0.00248 | 0 | 0.01587 | 1 | 1 | 0 | 0.0008529 | 0.00673 | 0.002228 | 0.04721 | 2.974 | 0.3082 | 0.008886 | 0.003056 | 1 | 1 | 0.006012 | 0.0595 | 0.3923 | 0.02154 | 0.2132 | 1.406 | json |
| t18_x0_u0_b3 | 18 | 0 | 0 | 3 | ![]() |
add(P,add(P,div(P,P))) | 120369 | 146170821 | o2(x,o2(x,o2(x,x))) | true | 122959 | 122959 | -0.125 | 0.4375 | 1 | 0.9844 | 0.9922 | -1 | 1 | 2 | 1 | 0.9887 | 0.01587 | 0 | 0.007937 | 1 | 1 | 0 | 0.03175 | 0.01587 | 0.01581 | 0.1257 | 15.84 | 2 | 0.01612 | 0.03225 | 1 | 1 | 0.02105 | 0.08421 | 0.3368 | 0.02139 | 0.08555 | 0.3422 | json |
| t18_x0_u0_b4 | 18 | 0 | 0 | 4 | ![]() |
add(P,add(P,pow(P,P))) | 120370 | 146170822 | o2(x,o2(x,o2(x,x))) | true | 122967 | 122967 | 0 | 0.5 | 1 | 1 | 1 | -1 | 1 | 2 | 1 | 1 | 0.01587 | 0 | 0.007937 | 1 | 1 | 0 | 0.03175 | 0.01587 | 0.01581 | 0.1257 | 15.84 | 2 | 0.01587 | 0.03175 | 1 | 1 | 0.02105 | 0.08421 | 0.3368 | 0.02105 | 0.08421 | 0.3368 | json |
| t18_x0_u0_b5 | 18 | 0 | 0 | 5 | ![]() |
add(P,add(P,mod(P,P))) | 120371 | 146170823 | o2(x,o2(x,o2(x,x))) | true | 122975 | 122975 | -0.125 | 0.4375 | 1 | 0.9844 | 0.9922 | -1 | 1 | 2 | 1 | 0.9887 | 0.01587 | 0 | 0.007937 | 1 | 1 | 0 | 0.03175 | 0.01587 | 0.01581 | 0.1257 | 15.84 | 2 | 0.01612 | 0.03225 | 1 | 1 | 0.02105 | 0.08421 | 0.3368 | 0.02139 | 0.08555 | 0.3422 | json |
| t18_x0_u0_b6 | 18 | 0 | 0 | 6 | ![]() |
add(P,add(P,lrg(P,P))) | 120372 | 146170824 | o2(x,o2(x,o2(x,x))) | true | 122983 | 122983 | 0 | 0.5 | 0.9569 | 0.9494 | 0.9744 | -1 | 1 | 2 | 1 | 1.488 | 0.001303 | 0 | 0.007937 | 1 | 1 | 0 | 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 |
| t18_x0_u0_b7 | 18 | 0 | 0 | 7 | ![]() |
add(P,add(P,eql(P,P))) | 120373 | 146170825 | o2(x,o2(x,o2(x,x))) | true | 122991 | 122991 | 0.0625 | 0.5313 | 0.9806 | 0.969 | 0.9844 | -1 | 1 | 2 | 1 | 1.326 | 0.001412 | 0 | 0.007937 | 1 | 1 | 0 | 0.00006477 | 0.001855 | 0.001349 | 0.03673 | 4.628 | 0.2338 | 0.001457 | 0.00006684 | 1 | 1 | 0.003702 | 0.04857 | 0.3004 | 0.00382 | 0.05012 | 0.31 | json |
| t18_x0_u0_b8 | 18 | 0 | 0 | 8 | ![]() |
add(P,add(P,min(P,P))) | 120374 | 146170826 | o2(x,o2(x,o2(x,x))) | true | 122999 | 122999 | 0 | 0.5 | 0.9641 | 0.9583 | 0.9789 | -1 | 1 | 2 | 1 | 1.379 | 0.001774 | 0 | 0.007937 | 1 | 1 | 0 | 0.0008204 | 0.004879 | 0.001711 | 0.04136 | 5.211 | 0.3082 | 0.001851 | 0.0008561 | 1 | 1 | 0.004162 | 0.03603 | 0.2806 | 0.004343 | 0.0376 | 0.2928 | json |
| t18_x0_u0_b9 | 18 | 0 | 0 | 9 | ![]() |
add(P,add(P,dot(P,P))) | 120375 | 146170827 | o2(x,o2(x,o2(x,x))) | true | 123007 | 123007 | 0.9804 | 0.9917 | 0.9871 | 0.02241 | 0.1497 | -0.9994 | 1 | 1.999 | 1 | 0.2604 | 0.0002093 | 0.0002093 | 0.002881 | -0.000001599 | 1 | 2.515e-10 | 0.0001231 | 0.001093 | 0.0004101 | 0.02025 | 7.029 | 0.3091 | 0.01868 | 0.005493 | 1 | 1 | 0.001383 | 0.01509 | 0.07651 | 0.06169 | 0.6734 | 3.414 | json |
| t18_x0_u0_b10 | 18 | 0 | 0 | 10 | ![]() |
add(P,add(P,dst(P,P))) | 120376 | 146170828 | o2(x,o2(x,o2(x,x))) | true | 123015 | 123015 | 0 | 0.5 | 0.9569 | 0.9494 | 0.9744 | -1 | 1 | 2 | 1 | 1.488 | 0.001303 | 0 | 0.007937 | 1 | 1 | 0 | 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 |
| t18_x0_u0_b11 | 18 | 0 | 0 | 11 | ![]() |
add(P,sub(P,add(P,P))) | 120377 | 146170829 | o2(x,o2(x,o2(x,x))) | true | 123023 | 123023 | 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 |
| t18_x0_u0_b12 | 18 | 0 | 0 | 12 | ![]() |
add(P,sub(P,sub(P,P))) | 120378 | 146170830 | o2(x,o2(x,o2(x,x))) | true | 123031 | 123031 | 0 | 0.5 | 0.9569 | 0.9494 | 0.9744 | -1 | 1 | 2 | 1 | 1.488 | 0.001303 | 0 | 0.007937 | 1 | 1 | 0 | 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 |
| t18_x0_u0_b13 | 18 | 0 | 0 | 13 | ![]() |
add(P,sub(P,mlt(P,P))) | 120379 | 146170831 | o2(x,o2(x,o2(x,x))) | true | 123039 | 123039 | -0.7766 | 0.125 | 0.9016 | 0.2791 | 0.5283 | -1 | 0.9997 | 2 | 1 | 1.339 | 0.00248 | 0 | 0.01587 | 1 | 1 | 0 | 0.0008529 | 0.00673 | 0.002228 | 0.04721 | 2.974 | 0.3082 | 0.008886 | 0.003056 | 1 | 1 | 0.006012 | 0.0595 | 0.3923 | 0.02154 | 0.2132 | 1.406 | json |
| t18_x0_u0_b14 | 18 | 0 | 0 | 14 | ![]() |
add(P,sub(P,div(P,P))) | 120380 | 146170832 | o2(x,o2(x,o2(x,x))) | true | 123047 | 123047 | -0.125 | 0.4375 | 1 | 0.9844 | 0.9922 | -1 | 1 | 2 | 1 | 0.9887 | 0.01587 | 0 | 0.007937 | 1 | 1 | 0 | 0.03175 | 0.01587 | 0.01581 | 0.1257 | 15.84 | 2 | 0.01612 | 0.03225 | 1 | 1 | 0.02105 | 0.08421 | 0.3368 | 0.02139 | 0.08555 | 0.3422 | json |
| t18_x0_u0_b15 | 18 | 0 | 0 | 15 | ![]() |
add(P,sub(P,pow(P,P))) | 120381 | 146170833 | o2(x,o2(x,o2(x,x))) | true | 123055 | 123055 | -0.8351 | 0.09375 | 0.9406 | 0.2275 | 0.477 | -1 | 0.9997 | 2 | 1 | 1.058 | 0.003301 | 0 | 0.01587 | 1 | 1 | 0 | 0.001191 | 0.006506 | 0.003052 | 0.05524 | 3.481 | 0.4755 | 0.01451 | 0.005232 | 1 | 1 | 0.007968 | 0.08175 | 0.3429 | 0.03502 | 0.3593 | 1.507 | json |
| t18_x0_u0_b16 | 18 | 0 | 0 | 16 | ![]() |
add(P,sub(P,mod(P,P))) | 120382 | 146170834 | o2(x,o2(x,o2(x,x))) | true | 123063 | 123063 | -0.125 | 0.4375 | 1 | 0.9844 | 0.9922 | -1 | 1 | 2 | 1 | 0.9887 | 0.01587 | 0 | 0.007937 | 1 | 1 | 0 | 0.03175 | 0.01587 | 0.01581 | 0.1257 | 15.84 | 2 | 0.01612 | 0.03225 | 1 | 1 | 0.02105 | 0.08421 | 0.3368 | 0.02139 | 0.08555 | 0.3422 | json |
| t18_x0_u0_b17 | 18 | 0 | 0 | 17 | ![]() |
add(P,sub(P,lrg(P,P))) | 120383 | 146170835 | o2(x,o2(x,o2(x,x))) | true | 123071 | 123071 | 0 | 0.5 | 0.9569 | 0.9494 | 0.9744 | -1 | 1 | 2 | 1 | 1.488 | 0.001303 | 0 | 0.007937 | 1 | 1 | 0 | 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 |
| t18_x0_u0_b18 | 18 | 0 | 0 | 18 | ![]() |
add(P,sub(P,eql(P,P))) | 120384 | 146170836 | o2(x,o2(x,o2(x,x))) | true | 123079 | 123079 | -0.0625 | 0.4688 | 0.9806 | 0.969 | 0.9844 | -1 | 1 | 2 | 1 | 1.326 | 0.001412 | 0 | 0.007937 | 1 | 1 | 0 | 0.00006477 | 0.001855 | 0.001349 | 0.03673 | 4.628 | 0.2338 | 0.001457 | 0.00006684 | 1 | 1 | 0.003702 | 0.04857 | 0.3004 | 0.00382 | 0.05012 | 0.31 | json |
| t18_x0_u0_b19 | 18 | 0 | 0 | 19 | ![]() |
add(P,sub(P,min(P,P))) | 120385 | 146170837 | o2(x,o2(x,o2(x,x))) | true | 123087 | 123087 | 0 | 0.5 | 0.9375 | 0.924 | 0.9612 | -1 | 1 | 2 | 1 | 1.813 | 0.0007059 | 0 | 0.007937 | 1 | 1 | 0 | 0.00003235 | 0.001851 | 0.0006432 | 0.02536 | 3.195 | 0.1169 | 0.0007639 | 0.00003501 | 1 | 1 | 0.001851 | 0.02449 | 0.2344 | 0.002003 | 0.0265 | 0.2537 | json |
| t18_x0_u0_b20 | 18 | 0 | 0 | 20 | ![]() |
add(P,sub(P,dot(P,P))) | 120386 | 146170838 | o2(x,o2(x,o2(x,x))) | true | 123095 | 123095 | -0.9804 | 0.007324 | 0.9871 | 0.02241 | 0.1497 | -1 | 0.9994 | 1.999 | 1 | 0.2613 | 0.0002093 | 0.0002093 | 0.002881 | -0.000001599 | 1 | -2.515e-10 | 0.0001231 | 0.001093 | 0.0004101 | 0.02025 | 7.029 | 0.3091 | 0.01868 | 0.005493 | 1 | 1 | 0.001383 | 0.01509 | 0.07651 | 0.06169 | 0.6734 | 3.414 | json |
| t18_x0_u0_b21 | 18 | 0 | 0 | 21 | ![]() |
add(P,sub(P,dst(P,P))) | 120387 | 146170839 | o2(x,o2(x,o2(x,x))) | true | 123103 | 123103 | 0 | 0.5 | 0.9569 | 0.9494 | 0.9744 | -1 | 1 | 2 | 1 | 1.488 | 0.001303 | 0 | 0.007937 | 1 | 1 | 0 | 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 |
| t18_x0_u0_b22 | 18 | 0 | 0 | 22 | ![]() |
add(P,mlt(P,add(P,P))) | 120388 | 146170840 | o2(x,o2(x,o2(x,x))) | true | 123111 | 123111 | 0.9508 | 1 | 0.9508 | 0.03707 | 0.1925 | 0.000291 | 1 | 0.9997 | 1 | 0.628 | 0.00124 | 0 | 0.007934 | 1 | 1 | -9.461e-10 | 0.0004266 | 0.003374 | 0.001177 | 0.03431 | 4.325 | 0.3082 | 0.03344 | 0.01151 | 1 | 1 | 0.003006 | 0.02863 | 0.05319 | 0.08108 | 0.7722 | 1.435 | json |
| t18_x0_u0_b23 | 18 | 0 | 0 | 23 | ![]() |
add(P,mlt(P,sub(P,P))) | 120389 | 146170841 | o2(x,o2(x,o2(x,x))) | true | 123119 | 123119 | 0 | 0.5 | 0.9375 | 0.924 | 0.9612 | -1 | 1 | 2 | 1 | 1.813 | 0.0007059 | 0 | 0.007937 | 1 | 1 | 0 | 0.00003235 | 0.001851 | 0.0006432 | 0.02536 | 3.195 | 0.1169 | 0.0007639 | 0.00003501 | 1 | 1 | 0.001851 | 0.02449 | 0.2344 | 0.002003 | 0.0265 | 0.2537 | json |
| t18_x0_u0_b24 | 18 | 0 | 0 | 24 | ![]() |
add(P,mlt(P,mlt(P,P))) | 120390 | 146170842 | o2(x,o2(x,o2(x,x))) | true | 123127 | 123127 | 0 | 0.5 | 0.9569 | 0.9494 | 0.9744 | -1 | 1 | 2 | 1 | 1.488 | 0.001303 | 0 | 0.007937 | 1 | 1 | 0 | 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 |
| t18_x0_u0_b25 | 18 | 0 | 0 | 25 | ![]() |
add(P,mlt(P,div(P,P))) | 120391 | 146170843 | o2(x,o2(x,o2(x,x))) | true | 123135 | 123135 | -0.125 | 0.4375 | 1 | 0.9844 | 0.9922 | -1 | 1 | 2 | 1 | 0.9887 | 0.01587 | 0 | 0.007937 | 1 | 1 | 0 | 0.03175 | 0.01587 | 0.01581 | 0.1257 | 15.84 | 2 | 0.01612 | 0.03225 | 1 | 1 | 0.02105 | 0.08421 | 0.3368 | 0.02139 | 0.08555 | 0.3422 | json |
| t18_x0_u0_b26 | 18 | 0 | 0 | 26 | ![]() |
add(P,mlt(P,pow(P,P))) | 120392 | 146170844 | o2(x,o2(x,o2(x,x))) | true | 123143 | 123143 | -0.02152 | 0.5 | 0.9785 | 0.9739 | 0.9869 | -1 | 1 | 2 | 1 | 1.244 | 0.004625 | 0 | 0.007937 | 1 | 1 | -4.731e-10 | 0.007971 | 0.009631 | 0.00456 | 0.06753 | 8.509 | 1.001 | 0.004749 | 0.008185 | 1 | 1 | 0.006981 | 0.05009 | 0.3027 | 0.007168 | 0.05143 | 0.3108 | json |
| t18_x0_u0_b27 | 18 | 0 | 0 | 27 | ![]() |
add(P,mlt(P,mod(P,P))) | 120393 | 146170845 | o2(x,o2(x,o2(x,x))) | true | 123151 | 123151 | 0.3247 | 0.6602 | 0.9882 | 0.8789 | 0.9375 | -1 | 1 | 2 | 1 | 1.116 | 0.05176 | 0 | 0.03968 | 1 | 1 | 0 | 0.08035 | 0.05622 | 0.05015 | 0.2239 | 5.643 | 2 | 0.05889 | 0.09142 | 1 | 1 | 0.06296 | 0.3154 | 0.7401 | 0.07163 | 0.3588 | 0.8421 | json |
| t18_x0_u0_b28 | 18 | 0 | 0 | 28 | ![]() |
add(P,mlt(P,lrg(P,P))) | 120394 | 146170846 | o2(x,o2(x,o2(x,x))) | true | 123159 | 123159 | 0 | 0.5 | 0.9375 | 0.924 | 0.9612 | -1 | 1 | 2 | 1 | 1.813 | 0.0007059 | 0 | 0.007937 | 1 | 1 | 0 | 0.00003235 | 0.001851 | 0.0006432 | 0.02536 | 3.195 | 0.1169 | 0.0007639 | 0.00003501 | 1 | 1 | 0.001851 | 0.02449 | 0.2344 | 0.002003 | 0.0265 | 0.2537 | json |
| t18_x0_u0_b29 | 18 | 0 | 0 | 29 | ![]() |
add(P,mlt(P,eql(P,P))) | 120395 | 146170847 | o2(x,o2(x,o2(x,x))) | true | 123167 | 123167 | 0 | 0.5 | 0.9569 | 0.9494 | 0.9744 | -1 | 1 | 2 | 1 | 1.488 | 0.001303 | 0 | 0.007937 | 1 | 1 | 0 | 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 |
| t18_x0_u0_b30 | 18 | 0 | 0 | 30 | ![]() |
add(P,mlt(P,min(P,P))) | 120396 | 146170848 | o2(x,o2(x,o2(x,x))) | true | 123175 | 123175 | 0.8944 | 0.9375 | 0.8944 | 0.08685 | 0.2947 | 0 | 1 | 1 | 1 | 0.7463 | 0.001303 | 0 | 0.007937 | 1 | 1 | -1.892e-9 | 0.0002682 | 0.003596 | 0.001241 | 0.03522 | 4.438 | 0.2265 | 0.01501 | 0.003088 | 1 | 1 | 0.003279 | 0.03186 | 0.132 | 0.03776 | 0.3669 | 1.52 | json |
| t18_x0_u0_b31 | 18 | 0 | 0 | 31 | ![]() |
add(P,mlt(P,dot(P,P))) | 120397 | 146170849 | o2(x,o2(x,o2(x,x))) | true | 123183 | 123183 | 0 | 0.5 | 0.9786 | 0.9753 | 0.9875 | -1 | 1 | 2 | 1 | 1.283 | 0.003132 | 0.000006612 | 0.007955 | 0.9958 | 1 | 0 | 0.002888 | 0.007911 | 0.003073 | 0.05544 | 6.969 | 0.7551 | 0.003218 | 0.002961 | 1 | 1 | 0.005885 | 0.04907 | 0.301 | 0.006034 | 0.05032 | 0.3087 | json |
| t18_x0_u0_b32 | 18 | 0 | 0 | 32 | ![]() |
add(P,mlt(P,dst(P,P))) | 120398 | 146170850 | o2(x,o2(x,o2(x,x))) | true | 123191 | 123191 | 0 | 0.5 | 0.9375 | 0.924 | 0.9612 | -1 | 1 | 2 | 1 | 1.813 | 0.0007059 | 0 | 0.007937 | 1 | 1 | 0 | 0.00003235 | 0.001851 | 0.0006432 | 0.02536 | 3.195 | 0.1169 | 0.0007639 | 0.00003501 | 1 | 1 | 0.001851 | 0.02449 | 0.2344 | 0.002003 | 0.0265 | 0.2537 | json |
| t18_x0_u0_b33 | 18 | 0 | 0 | 33 | ![]() |
add(P,div(P,add(P,P))) | 120399 | 146170851 | o2(x,o2(x,o2(x,x))) | true | 123199 | 123199 | -0.1142 | 0.4375 | 0.9892 | 0.9703 | 0.985 | -1 | 1 | 2 | 1 | 1.205 | 0.01703 | 0 | 0.0119 | 1 | 1 | 0 | 0.03379 | 0.02074 | 0.01688 | 0.1299 | 10.91 | 2 | 0.01755 | 0.03482 | 1 | 1 | 0.02276 | 0.09018 | 0.3428 | 0.02346 | 0.09294 | 0.3533 | json |



































































































