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_u5_b76 | 17 | 26 | 5 | 76 | ![]() |
lrg(R,dst(R,sgn(R))) | 120200 | 139101724 | o2(x,o2(x,o1(x))) | true | 121607 | 121607 | 0.127 | 0.4102 | 0.127 | 0.06758 | 0.26 | 0 | 1 | 1 | 1 | 1.834 | 0.0009927 | 0.0009815 | 0.02342 | 0.005692 | 1 | 0.00002924 | 0.0001156 | 0.005678 | 0.001426 | 0.03777 | 1.613 | 0.1169 | 0.02921 | 0.00171 | 1 | 1 | 0.003819 | 0.0492 | 0.1449 | 0.05651 | 0.728 | 2.144 | json |
| t17_x26_u5_b77 | 17 | 26 | 5 | 77 | ![]() |
eql(R,add(R,sgn(R))) | 120201 | 139101725 | o2(x,o2(x,o1(x))) | true | 121615 | 121615 | 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_u5_b78 | 17 | 26 | 5 | 78 | ![]() |
eql(R,sub(R,sgn(R))) | 120202 | 139101726 | o2(x,o2(x,o1(x))) | true | 121623 | 121623 | 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_u5_b79 | 17 | 26 | 5 | 79 | ![]() |
eql(R,mlt(R,sgn(R))) | 120203 | 139101727 | o2(x,o2(x,o1(x))) | true | 121631 | 121631 | 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_u5_b80 | 17 | 26 | 5 | 80 | ![]() |
eql(R,div(R,sgn(R))) | 120204 | 139101728 | o2(x,o2(x,o1(x))) | true | 121639 | 121639 | 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_u5_b81 | 17 | 26 | 5 | 81 | ![]() |
eql(R,pow(R,sgn(R))) | 120205 | 139101729 | o2(x,o2(x,o1(x))) | true | 121647 | 121647 | 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_u5_b82 | 17 | 26 | 5 | 82 | ![]() |
eql(R,mod(R,sgn(R))) | 120206 | 139101730 | o2(x,o2(x,o1(x))) | true | 121655 | 121655 | 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 |
| t17_x26_u5_b83 | 17 | 26 | 5 | 83 | ![]() |
eql(R,lrg(R,sgn(R))) | 120207 | 139101731 | o2(x,o2(x,o1(x))) | true | 121663 | 121663 | 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_u5_b84 | 17 | 26 | 5 | 84 | ![]() |
eql(R,eql(R,sgn(R))) | 120208 | 139101732 | o2(x,o2(x,o1(x))) | true | 121671 | 121671 | 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_u5_b85 | 17 | 26 | 5 | 85 | ![]() |
eql(R,min(R,sgn(R))) | 120209 | 139101733 | o2(x,o2(x,o1(x))) | true | 121679 | 121679 | 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_u5_b86 | 17 | 26 | 5 | 86 | ![]() |
eql(R,dot(R,sgn(R))) | 120210 | 139101734 | o2(x,o2(x,o1(x))) | true | 121687 | 121687 | 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_u5_b87 | 17 | 26 | 5 | 87 | ![]() |
eql(R,dst(R,sgn(R))) | 120211 | 139101735 | o2(x,o2(x,o1(x))) | true | 121695 | 121695 | 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_u5_b88 | 17 | 26 | 5 | 88 | ![]() |
min(R,add(R,sgn(R))) | 120212 | 139101736 | o2(x,o2(x,o1(x))) | true | 121703 | 121703 | -0.3539 | 0.3544 | 0.6666 | 0.4315 | 0.6569 | -1 | 0.9804 | 1.98 | 1 | 3.927 | 0.006974 | 0.008247 | 0.08425 | -0.08369 | 1 | 0.0001444 | 0.002323 | 0.02589 | 0.008124 | 0.09014 | 1.07 | 0.347 | 0.03528 | 0.005383 | 1 | 1 | 0.02989 | 0.3406 | 0.8128 | 0.06928 | 0.7893 | 1.884 | json |
| t17_x26_u5_b89 | 17 | 26 | 5 | 89 | ![]() |
min(R,sub(R,sgn(R))) | 120213 | 139101737 | o2(x,o2(x,o1(x))) | true | 121711 | 121711 | -0.4734 | 0 | 0.4734 | 0.05091 | 0.2256 | -0.9989 | -0.002975 | 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 |
| t17_x26_u5_b90 | 17 | 26 | 5 | 90 | ![]() |
min(R,mlt(R,sgn(R))) | 120214 | 139101738 | o2(x,o2(x,o1(x))) | true | 121719 | 121719 | 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_u5_b91 | 17 | 26 | 5 | 91 | ![]() |
min(R,div(R,sgn(R))) | 120215 | 139101739 | o2(x,o2(x,o1(x))) | true | 121727 | 121727 | 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_u5_b92 | 17 | 26 | 5 | 92 | ![]() |
min(R,pow(R,sgn(R))) | 120216 | 139101740 | o2(x,o2(x,o1(x))) | true | 121735 | 121735 | 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_u5_b93 | 17 | 26 | 5 | 93 | ![]() |
min(R,mod(R,sgn(R))) | 120217 | 139101741 | o2(x,o2(x,o1(x))) | true | 121743 | 121743 | 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_u5_b94 | 17 | 26 | 5 | 94 | ![]() |
min(R,lrg(R,sgn(R))) | 120218 | 139101742 | o2(x,o2(x,o1(x))) | true | 121751 | 121751 | -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_u5_b95 | 17 | 26 | 5 | 95 | ![]() |
min(R,eql(R,sgn(R))) | 120219 | 139101743 | o2(x,o2(x,o1(x))) | true | 121759 | 121759 | -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_u5_b96 | 17 | 26 | 5 | 96 | ![]() |
min(R,min(R,sgn(R))) | 120220 | 139101744 | o2(x,o2(x,o1(x))) | true | 121767 | 121767 | -0.2545 | 0.3918 | 0.5947 | 0.3928 | 0.6267 | -1 | 0.9806 | 1.981 | 1 | 4.509 | 0.005101 | 0.006041 | 0.08398 | -0.08434 | 1 | -0.000004614 | 0.0006543 | 0.0199 | 0.00409 | 0.06395 | 0.7616 | 0.2315 | 0.02836 | 0.001666 | 1 | 1 | 0.02256 | 0.2904 | 0.7568 | 0.05744 | 0.7393 | 1.927 | json |
| t17_x26_u5_b97 | 17 | 26 | 5 | 97 | ![]() |
min(R,dot(R,sgn(R))) | 120221 | 139101745 | o2(x,o2(x,o1(x))) | true | 121775 | 121775 | 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_u5_b98 | 17 | 26 | 5 | 98 | ![]() |
min(R,dst(R,sgn(R))) | 120222 | 139101746 | o2(x,o2(x,o1(x))) | true | 121783 | 121783 | -0.02107 | 0.4877 | 0.3705 | 0.1935 | 0.4399 | -0.9989 | 0.9682 | 1.967 | 1 | 4.784 | 0.002512 | 0.002771 | 0.05923 | -0.04896 | 1 | 0.00002021 | 0.0003122 | 0.01362 | 0.001774 | 0.04212 | 0.7111 | 0.2263 | 0.0273 | 0.001614 | 1 | 1 | 0.0103 | 0.1324 | 0.3326 | 0.05325 | 0.6845 | 1.719 | json |
| t17_x26_u5_b99 | 17 | 26 | 5 | 99 | ![]() |
dot(R,add(R,sgn(R))) | 120223 | 139101747 | o2(x,o2(x,o1(x))) | true | 121791 | 121791 | 0.9954 | 1 | 0.9954 | 0.001661 | 0.04076 | 0.1792 | 1 | 0.8208 | 1 | 0.1757 | 0.00005552 | 0.0001327 | 0.001699 | -0.41 | 1 | -0.00002398 | 0.0001091 | 0.001342 | 0.0001853 | 0.01361 | 8.01 | 0.2753 | 0.1133 | 0.0657 | 1 | 1 | 0.0001852 | 0.001147 | 0.002024 | 0.1115 | 0.6902 | 1.219 | json |
| t17_x26_u5_b100 | 17 | 26 | 5 | 100 | ![]() |
dot(R,sub(R,sgn(R))) | 120224 | 139101748 | o2(x,o2(x,o1(x))) | true | 121799 | 121799 | -0.4992 | 0 | 0.4992 | 0.008055 | 0.08975 | -0.7458 | -0.1588 | 0.5871 | 1 | 2.593 | 0.0001046 | 0.0001308 | 0.01229 | -0.1111 | 1 | 0.000006261 | 0.00001401 | 0.002832 | 0.00008429 | 0.009181 | 0.7469 | 0.0588 | 0.02922 | 0.001739 | 1 | 1 | 0.0005057 | 0.006496 | 0.01575 | 0.06278 | 0.8065 | 1.955 | json |
| t17_x26_u5_b101 | 17 | 26 | 5 | 101 | ![]() |
dot(R,mlt(R,sgn(R))) | 120225 | 139101749 | o2(x,o2(x,o1(x))) | true | 121807 | 121807 | 0.02253 | 0.5263 | 0.4476 | 0.2982 | 0.5461 | -1 | 1 | 2 | 1 | 4.858 | 0.004116 | 0.004569 | 0.07068 | -0.05216 | 1 | 0.0000513 | 0.0009739 | 0.01781 | 0.003689 | 0.06074 | 0.8593 | 0.3707 | 0.02912 | 0.003266 | 1 | 1 | 0.01837 | 0.2216 | 0.5808 | 0.0616 | 0.743 | 1.947 | json |
| t17_x26_u5_b102 | 17 | 26 | 5 | 102 | ![]() |
dot(R,div(R,sgn(R))) | 120226 | 139101750 | o2(x,o2(x,o1(x))) | true | 121815 | 121815 | 0.02253 | 0.5263 | 0.4476 | 0.2982 | 0.5461 | -1 | 1 | 2 | 1 | 4.858 | 0.004116 | 0.004569 | 0.07068 | -0.05216 | 1 | 0.0000513 | 0.0009739 | 0.01781 | 0.003689 | 0.06074 | 0.8593 | 0.3707 | 0.02912 | 0.003266 | 1 | 1 | 0.01837 | 0.2216 | 0.5808 | 0.0616 | 0.743 | 1.947 | json |
| t17_x26_u5_b103 | 17 | 26 | 5 | 103 | ![]() |
dot(R,pow(R,sgn(R))) | 120227 | 139101751 | o2(x,o2(x,o1(x))) | true | 121823 | 121823 | -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_u5_b104 | 17 | 26 | 5 | 104 | ![]() |
dot(R,mod(R,sgn(R))) | 120228 | 139101752 | o2(x,o2(x,o1(x))) | true | 121831 | 121831 | 0.8438 | 1 | 0.8438 | 0.04935 | 0.2222 | 0.0102 | 1 | 0.9898 | 1 | 2.51 | 0.0008588 | 0.001103 | 0.02548 | -0.1246 | 1 | -0.00003928 | 0.0004481 | 0.009809 | 0.001312 | 0.03623 | 1.422 | 0.2044 | 0.03976 | 0.009079 | 1 | 1 | 0.003389 | 0.03587 | 0.07892 | 0.06866 | 0.7269 | 1.599 | json |
| t17_x26_u5_b105 | 17 | 26 | 5 | 105 | ![]() |
dot(R,lrg(R,sgn(R))) | 120229 | 139101753 | o2(x,o2(x,o1(x))) | true | 121839 | 121839 | -0.676 | 0 | 0.676 | 0.08991 | 0.2998 | -1 | -0.00009027 | 0.9999 | 1 | 3.55 | 0.00128 | 0.001551 | 0.0372 | -0.09599 | 1 | 0.00005012 | 0.000448 | 0.01108 | 0.001447 | 0.03804 | 1.023 | 0.2343 | 0.03149 | 0.004983 | 1 | 1 | 0.005761 | 0.06581 | 0.1542 | 0.06408 | 0.732 | 1.715 | json |
| t17_x26_u5_b106 | 17 | 26 | 5 | 106 | ![]() |
dot(R,eql(R,sgn(R))) | 120230 | 139101754 | o2(x,o2(x,o1(x))) | true | 121847 | 121847 | 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_u5_b107 | 17 | 26 | 5 | 107 | ![]() |
dot(R,min(R,sgn(R))) | 120231 | 139101755 | o2(x,o2(x,o1(x))) | true | 121855 | 121855 | 0.9396 | 1 | 0.9396 | 0.01984 | 0.1408 | 0.01039 | 1 | 0.9896 | 1 | 1.38 | 0.0004024 | 0.0005771 | 0.01288 | -0.1784 | 1 | -0.00004024 | 0.0003021 | 0.006199 | 0.0008131 | 0.02852 | 2.215 | 0.2086 | 0.04937 | 0.01523 | 1 | 1 | 0.00167 | 0.01602 | 0.02875 | 0.0842 | 0.8078 | 1.449 | json |
| t17_x26_u5_b108 | 17 | 26 | 5 | 108 | ![]() |
dot(R,dot(R,sgn(R))) | 120232 | 139101756 | o2(x,o2(x,o1(x))) | true | 121863 | 121863 | 0.05188 | 0.5278 | 0.6604 | 0.5578 | 0.7469 | -1 | 1 | 2 | 1 | 4.234 | 0.011 | 0.01213 | 0.09335 | -0.04887 | 1 | 0.00005545 | 0.007139 | 0.03731 | 0.01442 | 0.1201 | 1.286 | 0.8984 | 0.04147 | 0.0128 | 1 | 1 | 0.04705 | 0.4466 | 1.089 | 0.08434 | 0.8007 | 1.953 | json |
| t17_x26_u5_b109 | 17 | 26 | 5 | 109 | ![]() |
dot(R,dst(R,sgn(R))) | 120233 | 139101757 | o2(x,o2(x,o1(x))) | true | 121871 | 121871 | -0.01964 | 0.4967 | 0.5006 | 0.3625 | 0.6021 | -1 | 1 | 2 | 1 | 4.778 | 0.005477 | 0.005581 | 0.07852 | -0.009461 | 1 | 0.00003827 | 0.001293 | 0.02046 | 0.004892 | 0.06994 | 0.8908 | 0.3782 | 0.0305 | 0.003566 | 1 | 1 | 0.02196 | 0.2621 | 0.6747 | 0.06059 | 0.7229 | 1.861 | json |
| t17_x26_u5_b110 | 17 | 26 | 5 | 110 | ![]() |
dst(R,add(R,sgn(R))) | 120234 | 139101758 | o2(x,o2(x,o1(x))) | true | 121879 | 121879 | 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 |
| t17_x26_u5_b111 | 17 | 26 | 5 | 111 | ![]() |
dst(R,sub(R,sgn(R))) | 120235 | 139101759 | o2(x,o2(x,o1(x))) | true | 121887 | 121887 | 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 |
| t17_x26_u5_b112 | 17 | 26 | 5 | 112 | ![]() |
dst(R,mlt(R,sgn(R))) | 120236 | 139101760 | o2(x,o2(x,o1(x))) | true | 121895 | 121895 | 0.8513 | 1 | 0.8513 | 0.06935 | 0.2634 | 0.0001805 | 1 | 0.9998 | 1 | 2.123 | 0.00148 | 0.001749 | 0.02877 | -0.0832 | 1 | -0.00007125 | 0.0008104 | 0.01183 | 0.002401 | 0.049 | 1.703 | 0.2663 | 0.04655 | 0.01168 | 1 | 1 | 0.006728 | 0.0679 | 0.1271 | 0.09701 | 0.979 | 1.833 | json |
| t17_x26_u5_b113 | 17 | 26 | 5 | 113 | ![]() |
dst(R,div(R,sgn(R))) | 120237 | 139101761 | o2(x,o2(x,o1(x))) | true | 121903 | 121903 | 0.8513 | 1 | 0.8513 | 0.06935 | 0.2634 | 0.0001805 | 1 | 0.9998 | 1 | 2.123 | 0.00148 | 0.001749 | 0.02877 | -0.0832 | 1 | -0.00007125 | 0.0008104 | 0.01183 | 0.002401 | 0.049 | 1.703 | 0.2663 | 0.04655 | 0.01168 | 1 | 1 | 0.006728 | 0.0679 | 0.1271 | 0.09701 | 0.979 | 1.833 | json |
| t17_x26_u5_b114 | 17 | 26 | 5 | 114 | ![]() |
dst(R,pow(R,sgn(R))) | 120238 | 139101762 | o2(x,o2(x,o1(x))) | true | 121911 | 121911 | -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_u5_b115 | 17 | 26 | 5 | 115 | ![]() |
dst(R,mod(R,sgn(R))) | 120239 | 139101763 | o2(x,o2(x,o1(x))) | true | 121919 | 121919 | 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_u5_b116 | 17 | 26 | 5 | 116 | ![]() |
dst(R,lrg(R,sgn(R))) | 120240 | 139101764 | o2(x,o2(x,o1(x))) | true | 121927 | 121927 | 0.9969 | 1 | 0.9969 | 0.001408 | 0.03752 | 0.1003 | 1 | 0.8997 | 1 | 0.1101 | 0.00007439 | 0.00007375 | 0.001187 | 0.004369 | 1 | -0.000003123 | 0.00006942 | 0.0008356 | 0.0001466 | 0.01211 | 10.2 | 0.2818 | 0.1053 | 0.04932 | 1 | 1 | 0.000128 | 0.0009899 | 0.001697 | 0.09092 | 0.7033 | 1.206 | json |
| t17_x26_u5_b117 | 17 | 26 | 5 | 117 | ![]() |
dst(R,eql(R,sgn(R))) | 120241 | 139101765 | o2(x,o2(x,o1(x))) | true | 121935 | 121935 | 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_u5_b118 | 17 | 26 | 5 | 118 | ![]() |
dst(R,min(R,sgn(R))) | 120242 | 139101766 | o2(x,o2(x,o1(x))) | true | 121943 | 121943 | 0.592 | 0.9994 | 0.592 | 0.07947 | 0.2819 | 0.000009318 | 1 | 1 | 1 | 3.901 | 0.001015 | 0.001258 | 0.03731 | -0.1067 | 1 | -0.00001723 | 0.0001944 | 0.00913 | 0.0008809 | 0.02968 | 0.7956 | 0.1622 | 0.02859 | 0.002446 | 1 | 1 | 0.004042 | 0.0511 | 0.1549 | 0.05086 | 0.6429 | 1.95 | json |
| t17_x26_u5_b119 | 17 | 26 | 5 | 119 | ![]() |
dst(R,dot(R,sgn(R))) | 120243 | 139101767 | o2(x,o2(x,o1(x))) | true | 121951 | 121951 | 0.9983 | 1 | 0.9983 | 0.0006897 | 0.02626 | 0.1967 | 1 | 0.8033 | 1 | 0.06886 | 0.00003329 | 0.00006404 | 0.0007142 | -0.3159 | 0 | -0.000006982 | 0.00005864 | 0.0005818 | 0.00009679 | 0.009838 | 13.78 | 0.2744 | 0.1411 | 0.08502 | 1 | 1 | 0.00005974 | 0.0003428 | 0.0005868 | 0.08662 | 0.4971 | 0.8507 | json |
| t17_x26_u5_b120 | 17 | 26 | 5 | 120 | ![]() |
dst(R,dst(R,sgn(R))) | 120244 | 139101768 | o2(x,o2(x,o1(x))) | true | 121959 | 121959 | 0.9857 | 1 | 0.9857 | 0.0063 | 0.07937 | 0.2265 | 1 | 0.7735 | 1 | 0.3719 | 0.0002745 | 0.0003404 | 0.004915 | -0.1073 | 1 | -8.635e-11 | 0.0002821 | 0.003227 | 0.0005907 | 0.0243 | 4.945 | 0.2357 | 0.09761 | 0.04478 | 1 | 1 | 0.001583 | 0.0129 | 0.01771 | 0.2513 | 2.047 | 2.811 | json |
| t17_x26_u6_b0 | 17 | 26 | 6 | 0 | ![]() |
add(R,add(R,nrm(R))) | 120245 | 139101849 | o2(x,o2(x,o1(x))) | true | 121967 | 121967 | -0.00165 | 0.4952 | 0.7824 | 0.7083 | 0.8416 | -1 | 1 | 2 | 1 | 3.591 | 0.01416 | 0.01589 | 0.1009 | -0.05742 | 1 | -0.000003489 | 0.008496 | 0.0409 | 0.01987 | 0.141 | 1.397 | 0.6429 | 0.04242 | 0.012 | 1 | 1 | 0.05762 | 0.5606 | 1.273 | 0.08135 | 0.7915 | 1.797 | json |
| t17_x26_u6_b1 | 17 | 26 | 6 | 1 | ![]() |
add(R,sub(R,nrm(R))) | 120246 | 139101850 | o2(x,o2(x,o1(x))) | true | 121975 | 121975 | 0.02312 | 0.5125 | 0.4072 | 0.254 | 0.5039 | -1 | 1 | 2 | 1 | 4.886 | 0.00335 | 0.003746 | 0.0668 | -0.05583 | 1 | 0.00004798 | 0.0004977 | 0.0156 | 0.002633 | 0.05131 | 0.7681 | 0.2775 | 0.02794 | 0.00196 | 1 | 1 | 0.01377 | 0.1743 | 0.4575 | 0.05422 | 0.6862 | 1.801 | json |
| t17_x26_u6_b2 | 17 | 26 | 6 | 2 | ![]() |
add(R,mlt(R,nrm(R))) | 120247 | 139101851 | o2(x,o2(x,o1(x))) | true | 121983 | 121983 | 0.2978 | 0.6306 | 0.4067 | 0.1953 | 0.4419 | -0.3732 | 1 | 1.373 | 1 | 4.137 | 0.002977 | 0.003211 | 0.05638 | -0.03781 | 1 | -0.00004851 | 0.0008517 | 0.01573 | 0.003008 | 0.05485 | 0.9727 | 0.2561 | 0.03169 | 0.004362 | 1 | 1 | 0.01243 | 0.1474 | 0.3827 | 0.06366 | 0.7551 | 1.96 | json |
| t17_x26_u6_b3 | 17 | 26 | 6 | 3 | ![]() |
add(R,div(R,nrm(R))) | 120248 | 139101852 | o2(x,o2(x,o1(x))) | true | 121991 | 121991 | 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 |
| t17_x26_u6_b4 | 17 | 26 | 6 | 4 | ![]() |
add(R,pow(R,nrm(R))) | 120249 | 139101853 | o2(x,o2(x,o1(x))) | true | 121999 | 121999 | -0.9151 | 0.04297 | 0.999 | 0.1608 | 0.4009 | -1 | 1 | 2 | 1 | 0.2915 | 0.01646 | 0.01582 | 0.01651 | 0.01971 | 1 | -6.264e-7 | 0.06745 | 0.03286 | 0.03199 | 0.1789 | 10.84 | 2.828 | 0.2008 | 0.4196 | 1 | 1 | 0.02513 | 0.1084 | 0.271 | 0.1563 | 0.674 | 1.686 | json |
| t17_x26_u6_b5 | 17 | 26 | 6 | 5 | ![]() |
add(R,mod(R,nrm(R))) | 120250 | 139101854 | o2(x,o2(x,o1(x))) | true | 122007 | 122007 | -0.001098 | 0.4919 | 0.5443 | 0.3925 | 0.6265 | -1 | 1 | 2 | 1 | 4.917 | 0.005292 | 0.006 | 0.08279 | -0.06266 | 1 | -0.000008688 | 0.001037 | 0.02071 | 0.004438 | 0.06662 | 0.8046 | 0.3608 | 0.02877 | 0.002641 | 1 | 1 | 0.02254 | 0.2797 | 0.7091 | 0.05742 | 0.7125 | 1.807 | json |
| t17_x26_u6_b6 | 17 | 26 | 6 | 6 | ![]() |
add(R,lrg(R,nrm(R))) | 120251 | 139101855 | o2(x,o2(x,o1(x))) | true | 122015 | 122015 | 0.4463 | 0.7849 | 0.6377 | 0.3075 | 0.5545 | -0.9989 | 1 | 1.999 | 1 | 4.285 | 0.004749 | 0.00497 | 0.06723 | -0.02281 | 1 | 0.000001014 | 0.001504 | 0.02034 | 0.005199 | 0.0721 | 1.073 | 0.347 | 0.03161 | 0.004892 | 1 | 1 | 0.01809 | 0.2071 | 0.5492 | 0.05883 | 0.6737 | 1.786 | json |
| t17_x26_u6_b7 | 17 | 26 | 6 | 7 | ![]() |
add(R,eql(R,nrm(R))) | 120252 | 139101856 | o2(x,o2(x,o1(x))) | true | 122023 | 122023 | 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_b8 | 17 | 26 | 6 | 8 | ![]() |
add(R,min(R,nrm(R))) | 120253 | 139101857 | o2(x,o2(x,o1(x))) | true | 122031 | 122031 | -0.0283 | 0.4817 | 0.6693 | 0.5571 | 0.7464 | -1 | 1 | 2 | 1 | 4.38 | 0.008892 | 0.009788 | 0.09469 | -0.04797 | 1 | 0.00003165 | 0.003003 | 0.02866 | 0.009716 | 0.09857 | 1.041 | 0.4427 | 0.03353 | 0.005391 | 1 | 1 | 0.03671 | 0.4176 | 1.003 | 0.06589 | 0.7495 | 1.801 | json |
| t17_x26_u6_b9 | 17 | 26 | 6 | 9 | ![]() |
add(R,dot(R,nrm(R))) | 120254 | 139101858 | o2(x,o2(x,o1(x))) | true | 122039 | 122039 | 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 |
| t17_x26_u6_b10 | 17 | 26 | 6 | 10 | ![]() |
add(R,dst(R,nrm(R))) | 120255 | 139101859 | o2(x,o2(x,o1(x))) | true | 122047 | 122047 | 0.2332 | 0.6624 | 0.4433 | 0.2244 | 0.4737 | -0.866 | 1 | 1.866 | 1 | 4.771 | 0.002774 | 0.003347 | 0.06278 | -0.09357 | 1 | -0.000004187 | 0.000439 | 0.01484 | 0.00218 | 0.04669 | 0.7437 | 0.2584 | 0.02728 | 0.001957 | 1 | 1 | 0.01186 | 0.1501 | 0.4044 | 0.05288 | 0.6691 | 1.802 | json |
| t17_x26_u6_b11 | 17 | 26 | 6 | 11 | ![]() |
sub(R,add(R,nrm(R))) | 120256 | 139101860 | o2(x,o2(x,o1(x))) | true | 122055 | 122055 | 0.004333 | 0.5104 | 0.3952 | 0.209 | 0.4572 | -0.9534 | 0.9488 | 1.902 | 1 | 4.783 | 0.002736 | 0.002944 | 0.06188 | -0.03652 | 1 | 0.000006013 | 0.0003349 | 0.01431 | 0.001851 | 0.04303 | 0.6953 | 0.2114 | 0.02718 | 0.001602 | 1 | 1 | 0.01108 | 0.1426 | 0.3701 | 0.05303 | 0.6821 | 1.771 | json |
| t17_x26_u6_b12 | 17 | 26 | 6 | 12 | ![]() |
sub(R,sub(R,nrm(R))) | 120257 | 139101861 | o2(x,o2(x,o1(x))) | true | 122063 | 122063 | -0.004333 | 0.4894 | 0.3952 | 0.209 | 0.4572 | -0.9488 | 0.9534 | 1.902 | 1 | 4.783 | 0.002736 | 0.002944 | 0.06188 | -0.03652 | 1 | -0.000006012 | 0.0003349 | 0.01431 | 0.001851 | 0.04303 | 0.6953 | 0.2114 | 0.02718 | 0.001602 | 1 | 1 | 0.01108 | 0.1426 | 0.3701 | 0.05303 | 0.6821 | 1.771 | json |
| t17_x26_u6_b13 | 17 | 26 | 6 | 13 | ![]() |
sub(R,mlt(R,nrm(R))) | 120258 | 139101862 | o2(x,o2(x,o1(x))) | true | 122071 | 122071 | -0.2796 | 0.3548 | 0.388 | 0.1792 | 0.4233 | -1 | 0.3691 | 1.369 | 1 | 4.229 | 0.002548 | 0.002902 | 0.05428 | -0.0649 | 1 | 0.00006363 | 0.0006856 | 0.01463 | 0.002504 | 0.05004 | 0.9219 | 0.2579 | 0.03042 | 0.003826 | 1 | 1 | 0.01025 | 0.1229 | 0.3014 | 0.05719 | 0.686 | 1.682 | json |
| t17_x26_u6_b14 | 17 | 26 | 6 | 14 | ![]() |
sub(R,div(R,nrm(R))) | 120259 | 139101863 | o2(x,o2(x,o1(x))) | true | 122079 | 122079 | -0.769 | 0 | 0.769 | 0.06946 | 0.2636 | -1 | -0.03319 | 0.9668 | 1 | 2.969 | 0.001268 | 0.001446 | 0.0322 | -0.06543 | 1 | 0.00008738 | 0.0006871 | 0.01243 | 0.001677 | 0.04095 | 1.272 | 0.2384 | 0.03907 | 0.009891 | 1 | 1 | 0.005001 | 0.05032 | 0.1157 | 0.07199 | 0.7245 | 1.666 | json |
| t17_x26_u6_b15 | 17 | 26 | 6 | 15 | ![]() |
sub(R,pow(R,nrm(R))) | 120260 | 139101864 | o2(x,o2(x,o1(x))) | true | 122087 | 122087 | -0.9645 | 0 | 0.9645 | 0.02866 | 0.1693 | -1 | -0.00818 | 0.9918 | 1 | 0.3747 | 0.00283 | 0.003007 | 0.007515 | -0.03038 | 1 | 0.000004927 | 0.01218 | 0.01386 | 0.005783 | 0.07605 | 10.12 | 1.35 | 0.2036 | 0.425 | 1 | 1 | 0.004618 | 0.01994 | 0.04762 | 0.1611 | 0.6958 | 1.662 | json |
| t17_x26_u6_b16 | 17 | 26 | 6 | 16 | ![]() |
sub(R,mod(R,nrm(R))) | 120261 | 139101865 | o2(x,o2(x,o1(x))) | true | 122095 | 122095 | 0.02024 | 0.4863 | 0.2431 | 0.1139 | 0.3375 | -0.8718 | 0.9534 | 1.825 | 1 | 4.214 | 0.001555 | 0.001613 | 0.04282 | -0.01837 | 1 | 0.00006088 | 0.0001836 | 0.009816 | 0.001334 | 0.03652 | 0.8528 | 0.1879 | 0.0278 | 0.001611 | 1 | 1 | 0.006174 | 0.07931 | 0.2112 | 0.05419 | 0.6961 | 1.854 | json |
| t17_x26_u6_b17 | 17 | 26 | 6 | 17 | ![]() |
sub(R,lrg(R,nrm(R))) | 120262 | 139101866 | o2(x,o2(x,o1(x))) | true | 122103 | 122103 | -0.4879 | 0.152 | 0.5675 | 0.1958 | 0.4425 | -1 | 0.8752 | 1.875 | 1 | 4.228 | 0.002972 | 0.003041 | 0.05605 | -0.01154 | 1 | 0.00002863 | 0.0007276 | 0.01532 | 0.002872 | 0.05359 | 0.9561 | 0.2972 | 0.03071 | 0.003716 | 1 | 1 | 0.01131 | 0.1334 | 0.3675 | 0.05778 | 0.6813 | 1.877 | json |
| t17_x26_u6_b18 | 17 | 26 | 6 | 18 | ![]() |
sub(R,eql(R,nrm(R))) | 120263 | 139101867 | o2(x,o2(x,o1(x))) | true | 122111 | 122111 | 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_b19 | 17 | 26 | 6 | 19 | ![]() |
sub(R,min(R,nrm(R))) | 120264 | 139101868 | o2(x,o2(x,o1(x))) | true | 122119 | 122119 | 0.06661 | 0.9087 | 0.06661 | 0.006448 | 0.0803 | 0 | 0.4509 | 0.4509 | 1 | 1.662 | 0.000102 | 0.00008846 | 0.009523 | 0.07096 | 1 | 0.0000131 | 0.00001122 | 0.002225 | 0.00009976 | 0.009988 | 1.049 | 0.05272 | 0.02953 | 0.00174 | 1 | 1 | 0.000345 | 0.004459 | 0.01329 | 0.05351 | 0.6916 | 2.061 | json |
| t17_x26_u6_b20 | 17 | 26 | 6 | 20 | ![]() |
sub(R,dot(R,nrm(R))) | 120265 | 139101869 | o2(x,o2(x,o1(x))) | true | 122127 | 122127 | -0.769 | 0 | 0.769 | 0.06946 | 0.2636 | -1 | -0.03319 | 0.9668 | 1 | 2.969 | 0.001268 | 0.001446 | 0.0322 | -0.06543 | 1 | 0.00008738 | 0.0006871 | 0.01243 | 0.001677 | 0.04095 | 1.272 | 0.2384 | 0.03907 | 0.009891 | 1 | 1 | 0.005001 | 0.05032 | 0.1157 | 0.07199 | 0.7245 | 1.666 | json |
| t17_x26_u6_b21 | 17 | 26 | 6 | 21 | ![]() |
sub(R,dst(R,nrm(R))) | 120266 | 139101870 | o2(x,o2(x,o1(x))) | true | 122135 | 122135 | -0.2146 | 0.3477 | 0.4426 | 0.2281 | 0.4776 | -1 | 0.9529 | 1.953 | 1 | 4.784 | 0.003105 | 0.003337 | 0.06439 | -0.03591 | 1 | 0.00004592 | 0.0004518 | 0.01521 | 0.002296 | 0.04792 | 0.7442 | 0.2634 | 0.02825 | 0.001981 | 1 | 1 | 0.01271 | 0.1611 | 0.3941 | 0.05575 | 0.7062 | 1.728 | json |
| t17_x26_u6_b22 | 17 | 26 | 6 | 22 | ![]() |
mlt(R,add(R,nrm(R))) | 120267 | 139101871 | o2(x,o2(x,o1(x))) | true | 122143 | 122143 | 0.607 | 1 | 0.607 | 0.1073 | 0.3275 | 0.0001669 | 1 | 0.9998 | 1 | 3.652 | 0.001771 | 0.001859 | 0.04297 | -0.02438 | 1 | -0.00006659 | 0.0006006 | 0.01313 | 0.001784 | 0.04224 | 0.983 | 0.2029 | 0.03384 | 0.005599 | 1 | 1 | 0.006356 | 0.0735 | 0.2176 | 0.05924 | 0.6851 | 2.028 | json |
| t17_x26_u6_b23 | 17 | 26 | 6 | 23 | ![]() |
mlt(R,sub(R,nrm(R))) | 120268 | 139101872 | o2(x,o2(x,o1(x))) | true | 122151 | 122151 | 0.02153 | 0.5731 | 0.05734 | 0.005815 | 0.07625 | -0.2159 | 0.3273 | 0.5433 | 1 | 2.349 | 0.00007561 | 0.00007834 | 0.009554 | -0.01772 | 1 | 2.937e-7 | 0.000009186 | 0.002189 | 0.00006266 | 0.007916 | 0.8285 | 0.04896 | 0.02647 | 0.00158 | 1 | 1 | 0.0002918 | 0.003776 | 0.01081 | 0.05018 | 0.6494 | 1.859 | json |
| t17_x26_u6_b24 | 17 | 26 | 6 | 24 | ![]() |
mlt(R,mlt(R,nrm(R))) | 120269 | 139101873 | o2(x,o2(x,o1(x))) | true | 122159 | 122159 | 0.01195 | 0.5119 | 0.1971 | 0.0731 | 0.2704 | -0.8674 | 0.8856 | 1.753 | 1 | 4.06 | 0.0009299 | 0.001019 | 0.03437 | -0.04587 | 1 | 0.00003076 | 0.0001141 | 0.007813 | 0.0007677 | 0.02771 | 0.806 | 0.1777 | 0.02666 | 0.001561 | 1 | 1 | 0.003589 | 0.04601 | 0.124 | 0.0491 | 0.6294 | 1.696 | json |
| t17_x26_u6_b25 | 17 | 26 | 6 | 25 | ![]() |
mlt(R,div(R,nrm(R))) | 120270 | 139101874 | o2(x,o2(x,o1(x))) | true | 122167 | 122167 | 0.02082 | 0.5061 | 0.4225 | 0.2695 | 0.5192 | -1 | 1 | 2 | 1 | 4.887 | 0.003547 | 0.00404 | 0.0684 | -0.06503 | 1 | 0.00003814 | 0.0005905 | 0.01626 | 0.002909 | 0.05393 | 0.7884 | 0.2967 | 0.02815 | 0.002191 | 1 | 1 | 0.01476 | 0.1849 | 0.4871 | 0.05474 | 0.686 | 1.807 | json |
| t17_x26_u6_b26 | 17 | 26 | 6 | 26 | ![]() |
mlt(R,pow(R,nrm(R))) | 120271 | 139101875 | o2(x,o2(x,o1(x))) | true | 122175 | 122175 | -0.9376 | 0.04297 | 0.9764 | 0.0885 | 0.2975 | -1 | 0.898 | 1.898 | 1 | 0.4139 | 0.008913 | 0.008913 | 0.01323 | -0.00001557 | 1 | 0.000009079 | 0.03717 | 0.02427 | 0.01765 | 0.1329 | 10.04 | 2.533 | 0.2014 | 0.42 | 1 | 1 | 0.01414 | 0.06171 | 0.1496 | 0.1598 | 0.6973 | 1.691 | json |
| t17_x26_u6_b27 | 17 | 26 | 6 | 27 | ![]() |
mlt(R,mod(R,nrm(R))) | 120272 | 139101876 | o2(x,o2(x,o1(x))) | true | 122183 | 122183 | 0.1313 | 0.9997 | 0.1313 | 0.01472 | 0.1213 | 0.00001145 | 0.7917 | 0.7916 | 1 | 2.491 | 0.0002169 | 0.0002201 | 0.0146 | -0.007323 | 1 | -0.000004288 | 0.00002612 | 0.00339 | 0.000224 | 0.01497 | 1.025 | 0.09255 | 0.02969 | 0.001774 | 1 | 1 | 0.0007845 | 0.01012 | 0.03109 | 0.05328 | 0.6875 | 2.111 | json |
| t17_x26_u6_b28 | 17 | 26 | 6 | 28 | ![]() |
mlt(R,lrg(R,nrm(R))) | 120273 | 139101877 | o2(x,o2(x,o1(x))) | true | 122191 | 122191 | 0.09199 | 0.5274 | 0.2419 | 0.1115 | 0.3339 | -0.8897 | 0.9809 | 1.871 | 1 | 4.216 | 0.00155 | 0.001501 | 0.04251 | 0.01618 | 1 | 0.00001475 | 0.0001784 | 0.009831 | 0.001244 | 0.03528 | 0.8298 | 0.2004 | 0.02738 | 0.001601 | 1 | 1 | 0.006568 | 0.08492 | 0.2352 | 0.05892 | 0.7618 | 2.11 | json |
| t17_x26_u6_b29 | 17 | 26 | 6 | 29 | ![]() |
mlt(R,eql(R,nrm(R))) | 120274 | 139101878 | o2(x,o2(x,o1(x))) | true | 122199 | 122199 | 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_b30 | 17 | 26 | 6 | 30 | ![]() |
mlt(R,min(R,nrm(R))) | 120275 | 139101879 | o2(x,o2(x,o1(x))) | true | 122207 | 122207 | 0.3394 | 1 | 0.3394 | 0.04868 | 0.2206 | 0.000086 | 0.9979 | 0.9978 | 1 | 3.701 | 0.0006156 | 0.0006715 | 0.02904 | -0.04337 | 1 | -0.000001507 | 0.00007821 | 0.006757 | 0.0004439 | 0.02107 | 0.7256 | 0.1119 | 0.02644 | 0.001607 | 1 | 1 | 0.002188 | 0.02832 | 0.08874 | 0.04494 | 0.5817 | 1.823 | json |
| t17_x26_u6_b31 | 17 | 26 | 6 | 31 | ![]() |
mlt(R,dot(R,nrm(R))) | 120276 | 139101880 | o2(x,o2(x,o1(x))) | true | 122215 | 122215 | 0.02082 | 0.5061 | 0.4225 | 0.2695 | 0.5192 | -1 | 1 | 2 | 1 | 4.887 | 0.003547 | 0.00404 | 0.0684 | -0.06503 | 1 | 0.00003814 | 0.0005905 | 0.01626 | 0.002909 | 0.05393 | 0.7884 | 0.2967 | 0.02815 | 0.002191 | 1 | 1 | 0.01476 | 0.1849 | 0.4871 | 0.05474 | 0.686 | 1.807 | json |
| t17_x26_u6_b32 | 17 | 26 | 6 | 32 | ![]() |
mlt(R,dst(R,nrm(R))) | 120277 | 139101881 | o2(x,o2(x,o1(x))) | true | 122223 | 122223 | -0.001129 | 0.4811 | 0.08774 | 0.01392 | 0.118 | -0.4143 | 0.5333 | 0.9475 | 1 | 2.935 | 0.0001708 | 0.0002011 | 0.01492 | -0.0813 | 1 | 0.000004416 | 0.00002177 | 0.003393 | 0.0001493 | 0.01222 | 0.8191 | 0.08977 | 0.02671 | 0.001564 | 1 | 1 | 0.0007355 | 0.009446 | 0.02643 | 0.05283 | 0.6785 | 1.898 | json |
| t17_x26_u6_b33 | 17 | 26 | 6 | 33 | ![]() |
div(R,add(R,nrm(R))) | 120278 | 139101882 | o2(x,o2(x,o1(x))) | true | 122231 | 122231 | 0.4817 | 1 | 0.4817 | 0.004382 | 0.06619 | 0.09038 | 0.609 | 0.5187 | 1 | 2.048 | 0.00004839 | 0.00006618 | 0.008121 | -0.1553 | 1 | 0.000001442 | 0.000006718 | 0.001875 | 0.00004862 | 0.006973 | 0.8586 | 0.05247 | 0.02615 | 0.001533 | 1 | 1 | 0.00019 | 0.002464 | 0.006959 | 0.04335 | 0.5622 | 1.588 | json |
| t17_x26_u6_b34 | 17 | 26 | 6 | 34 | ![]() |
div(R,sub(R,nrm(R))) | 120279 | 139101883 | o2(x,o2(x,o1(x))) | true | 122239 | 122239 | 0.1909 | 0.5936 | 0.9521 | 0.8995 | 0.9484 | -1 | 1 | 2 | 1 | 1.767 | 0.04759 | 0.05613 | 0.09892 | -0.08239 | 1 | 0.00007779 | 0.1626 | 0.1213 | 0.09393 | 0.3065 | 3.098 | 2.828 | 0.1153 | 0.1808 | 1 | 1 | 0.1436 | 0.747 | 1.828 | 0.1596 | 0.8305 | 2.032 | json |
| t17_x26_u6_b35 | 17 | 26 | 6 | 35 | ![]() |
div(R,mlt(R,nrm(R))) | 120280 | 139101884 | o2(x,o2(x,o1(x))) | true | 122247 | 122247 | -0.04627 | 0.4774 | 0.8871 | 0.8464 | 0.92 | -1 | 1 | 2 | 1 | 2.598 | 0.02649 | 0.03592 | 0.1108 | -0.1511 | 1 | 0.0001892 | 0.05363 | 0.07581 | 0.05011 | 0.2239 | 2.02 | 2.828 | 0.07373 | 0.06336 | 1 | 1 | 0.1019 | 0.7594 | 1.673 | 0.1203 | 0.8972 | 1.976 | json |
| t17_x26_u6_b36 | 17 | 26 | 6 | 36 | ![]() |
div(R,div(R,nrm(R))) | 120281 | 139101885 | o2(x,o2(x,o1(x))) | true | 122255 | 122255 | -0.004333 | 0.4894 | 0.3952 | 0.209 | 0.4572 | -0.9488 | 0.9534 | 1.902 | 1 | 4.783 | 0.002736 | 0.002944 | 0.06188 | -0.03652 | 1 | -0.000006011 | 0.0003349 | 0.01431 | 0.001851 | 0.04303 | 0.6953 | 0.2114 | 0.02718 | 0.001602 | 1 | 1 | 0.01108 | 0.1426 | 0.3701 | 0.05303 | 0.6821 | 1.771 | json |
| t17_x26_u6_b37 | 17 | 26 | 6 | 37 | ![]() |
div(R,pow(R,nrm(R))) | 120282 | 139101886 | o2(x,o2(x,o1(x))) | true | 122263 | 122263 | -0.9255 | 0.04297 | 0.9886 | 0.1251 | 0.3537 | -1 | 0.9914 | 1.991 | 1 | 0.4013 | 0.01259 | 0.01283 | 0.01542 | -0.009679 | 1 | 0.000006976 | 0.0531 | 0.02905 | 0.02519 | 0.1587 | 10.29 | 2.758 | 0.2032 | 0.4245 | 1 | 1 | 0.02011 | 0.08673 | 0.2101 | 0.1607 | 0.6933 | 1.68 | json |
| t17_x26_u6_b38 | 17 | 26 | 6 | 38 | ![]() |
div(R,mod(R,nrm(R))) | 120283 | 139101887 | o2(x,o2(x,o1(x))) | true | 122271 | 122271 | 1 | 1 | 1 | 4.966e-17 | 7.047e-9 | 1 | 1 | 5.96e-8 | 1 | 0 | 8.839e-18 | 8e-18 | 2.732e-10 | 8.392e-7 | 0 | 8.147e-10 | 1.942e-16 | 8.147e-10 | 1.677e-17 | 4.095e-9 | 14.99 | 8.429e-8 | 0.00001684 | 0.0001942 | 0 | 1 | 1.707e-17 | 6.116e-17 | 9.462e-17 | 0.00001707 | 0.00006116 | 0.00009462 | json |
| t17_x26_u6_b39 | 17 | 26 | 6 | 39 | ![]() |
div(R,lrg(R,nrm(R))) | 120284 | 139101888 | o2(x,o2(x,o1(x))) | true | 122279 | 122279 | -0.787 | 0.1053 | 0.934 | 0.2968 | 0.5448 | -1 | 1 | 2 | 1 | 1.225 | 0.03531 | 0.03176 | 0.04463 | 0.05301 | 1 | 0.000003307 | 0.1406 | 0.07959 | 0.06506 | 0.2551 | 5.716 | 2.828 | 0.226 | 0.4736 | 1 | 1 | 0.06993 | 0.2946 | 0.6299 | 0.2356 | 0.9924 | 2.122 | json |
| t17_x26_u6_b40 | 17 | 26 | 6 | 40 | ![]() |
div(R,eql(R,nrm(R))) | 120285 | 139101889 | o2(x,o2(x,o1(x))) | true | 122287 | 122287 | -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_b41 | 17 | 26 | 6 | 41 | ![]() |
div(R,min(R,nrm(R))) | 120286 | 139101890 | o2(x,o2(x,o1(x))) | true | 122295 | 122295 | 0.9346 | 1 | 0.9346 | 0.01452 | 0.1205 | 0.21 | 1 | 0.79 | 1 | 1.62 | 0.0002137 | 0.0002585 | 0.01155 | -0.09478 | 1 | -0.00001947 | 0.00006209 | 0.003421 | 0.000339 | 0.01841 | 1.595 | 0.1244 | 0.03251 | 0.004275 | 1 | 1 | 0.0008581 | 0.01017 | 0.0284 | 0.05908 | 0.7005 | 1.955 | json |
| t17_x26_u6_b42 | 17 | 26 | 6 | 42 | ![]() |
div(R,dot(R,nrm(R))) | 120287 | 139101891 | o2(x,o2(x,o1(x))) | true | 122303 | 122303 | -0.004333 | 0.4894 | 0.3952 | 0.209 | 0.4572 | -0.9488 | 0.9534 | 1.902 | 1 | 4.783 | 0.002736 | 0.002944 | 0.06188 | -0.03652 | 1 | -0.000006011 | 0.0003349 | 0.01431 | 0.001851 | 0.04303 | 0.6953 | 0.2114 | 0.02718 | 0.001602 | 1 | 1 | 0.01108 | 0.1426 | 0.3701 | 0.05303 | 0.6821 | 1.771 | json |
| t17_x26_u6_b43 | 17 | 26 | 6 | 43 | ![]() |
div(R,dst(R,nrm(R))) | 120288 | 139101892 | o2(x,o2(x,o1(x))) | true | 122311 | 122311 | 0.03434 | 0.5155 | 0.8766 | 0.8352 | 0.9139 | -1 | 1 | 2 | 1 | 2.658 | 0.03507 | 0.03787 | 0.1069 | -0.03845 | 1 | -0.0001234 | 0.08047 | 0.09257 | 0.06154 | 0.2481 | 2.321 | 2.511 | 0.08733 | 0.09635 | 1 | 1 | 0.1239 | 0.7523 | 1.599 | 0.1483 | 0.9007 | 1.915 | json |
| t17_x26_u6_b44 | 17 | 26 | 6 | 44 | ![]() |
pow(R,add(R,nrm(R))) | 120289 | 139101893 | o2(x,o2(x,o1(x))) | true | 122319 | 122319 | -0.9317 | 0.04297 | 0.9823 | 0.1046 | 0.3234 | -1 | 0.9014 | 1.901 | 1 | 0.3883 | 0.0107 | 0.01029 | 0.01389 | 0.01933 | 1 | 0.000005175 | 0.04383 | 0.02646 | 0.0208 | 0.1442 | 10.38 | 2.554 | 0.2007 | 0.4192 | 1 | 1 | 0.01628 | 0.07084 | 0.1763 | 0.1557 | 0.6775 | 1.686 | json |
| t17_x26_u6_b45 | 17 | 26 | 6 | 45 | ![]() |
pow(R,sub(R,nrm(R))) | 120290 | 139101894 | o2(x,o2(x,o1(x))) | true | 122327 | 122327 | -0.9144 | 0.04297 | 0.9997 | 0.1633 | 0.4042 | -1 | 1 | 2 | 1 | 0.2587 | 0.01671 | 0.01619 | 0.0165 | 0.01576 | 1 | -0.000001446 | 0.06877 | 0.03312 | 0.03261 | 0.1806 | 10.94 | 2.828 | 0.2014 | 0.421 | 1 | 1 | 0.02511 | 0.1084 | 0.2731 | 0.1537 | 0.6638 | 1.672 | json |
| t17_x26_u6_b46 | 17 | 26 | 6 | 46 | ![]() |
pow(R,mlt(R,nrm(R))) | 120291 | 139101895 | o2(x,o2(x,o1(x))) | true | 122335 | 122335 | -0.9195 | 0.04297 | 0.9946 | 0.1445 | 0.3802 | -1 | 0.9655 | 1.965 | 1 | 0.3295 | 0.01486 | 0.01426 | 0.01571 | 0.02066 | 1 | 8.15e-7 | 0.06087 | 0.03116 | 0.02887 | 0.1699 | 10.82 | 2.72 | 0.2015 | 0.4211 | 1 | 1 | 0.0222 | 0.096 | 0.2427 | 0.1536 | 0.6642 | 1.679 | json |
| t17_x26_u6_b47 | 17 | 26 | 6 | 47 | ![]() |
pow(R,div(R,nrm(R))) | 120292 | 139101896 | o2(x,o2(x,o1(x))) | true | 122343 | 122343 | -0.9308 | 0.04297 | 0.9833 | 0.1077 | 0.3282 | -1 | 0.9371 | 1.937 | 1 | 0.3983 | 0.01074 | 0.01101 | 0.01429 | -0.01238 | 1 | 0.000007771 | 0.04544 | 0.02692 | 0.02154 | 0.1468 | 10.27 | 2.581 | 0.2019 | 0.4217 | 1 | 1 | 0.01692 | 0.0733 | 0.1792 | 0.1571 | 0.6804 | 1.663 | json |
| t17_x26_u6_b48 | 17 | 26 | 6 | 48 | ![]() |
pow(R,pow(R,nrm(R))) | 120293 | 139101897 | o2(x,o2(x,o1(x))) | true | 122351 | 122351 | -0.9285 | 0.04297 | 0.9856 | 0.1148 | 0.3389 | -1 | 0.9456 | 1.946 | 1 | 0.3952 | 0.01153 | 0.01168 | 0.01464 | -0.006793 | 1 | 0.000006566 | 0.04849 | 0.0278 | 0.02302 | 0.1517 | 10.36 | 2.656 | 0.2021 | 0.4222 | 1 | 1 | 0.01819 | 0.07865 | 0.1927 | 0.1584 | 0.6848 | 1.678 | json |
| t17_x26_u6_b49 | 17 | 26 | 6 | 49 | ![]() |
pow(R,mod(R,nrm(R))) | 120294 | 139101898 | o2(x,o2(x,o1(x))) | true | 122359 | 122359 | -0.9196 | 0.04297 | 0.9945 | 0.1444 | 0.38 | -1 | 0.9961 | 1.996 | 1 | 0.3502 | 0.01484 | 0.01409 | 0.01588 | 0.02592 | 1 | 0.000002349 | 0.06041 | 0.03106 | 0.02866 | 0.1693 | 10.66 | 2.819 | 0.2003 | 0.4184 | 1 | 1 | 0.02219 | 0.0961 | 0.2433 | 0.1537 | 0.6655 | 1.685 | json |
| t17_x26_u6_b50 | 17 | 26 | 6 | 50 | ![]() |
pow(R,lrg(R,nrm(R))) | 120295 | 139101899 | o2(x,o2(x,o1(x))) | true | 122367 | 122367 | -0.3946 | 0.3203 | 0.9647 | 0.7858 | 0.8864 | -1 | 1 | 2 | 1 | 1.622 | 0.05098 | 0.06512 | 0.06644 | -0.1218 | 1 | 0.000005572 | 0.2401 | 0.1236 | 0.1117 | 0.3342 | 5.03 | 2.828 | 0.1478 | 0.3056 | 1 | 1 | 0.1163 | 0.4828 | 1.504 | 0.148 | 0.6144 | 1.914 | json |
| t17_x26_u6_b51 | 17 | 26 | 6 | 51 | ![]() |
pow(R,eql(R,nrm(R))) | 120296 | 139101900 | o2(x,o2(x,o1(x))) | true | 122375 | 122375 | 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 |
| t17_x26_u6_b52 | 17 | 26 | 6 | 52 | ![]() |
pow(R,min(R,nrm(R))) | 120297 | 139101901 | o2(x,o2(x,o1(x))) | true | 122383 | 122383 | -0.9229 | 0.04297 | 0.9911 | 0.1324 | 0.3638 | -1 | 0.955 | 1.955 | 1 | 0.3423 | 0.01348 | 0.01316 | 0.01521 | 0.01203 | 1 | 0.000003068 | 0.05568 | 0.02983 | 0.02642 | 0.1625 | 10.69 | 2.704 | 0.2013 | 0.4206 | 1 | 1 | 0.02039 | 0.08839 | 0.2217 | 0.1541 | 0.6677 | 1.675 | json |
| t17_x26_u6_b53 | 17 | 26 | 6 | 53 | ![]() |
pow(R,dot(R,nrm(R))) | 120298 | 139101902 | o2(x,o2(x,o1(x))) | true | 122391 | 122391 | -0.9308 | 0.04297 | 0.9833 | 0.1077 | 0.3282 | -1 | 0.9371 | 1.937 | 1 | 0.3983 | 0.01074 | 0.01101 | 0.01429 | -0.01238 | 1 | 0.000007771 | 0.04544 | 0.02692 | 0.02154 | 0.1468 | 10.27 | 2.581 | 0.2019 | 0.4217 | 1 | 1 | 0.01692 | 0.0733 | 0.1792 | 0.1571 | 0.6804 | 1.663 | json |
| t17_x26_u6_b54 | 17 | 26 | 6 | 54 | ![]() |
pow(R,dst(R,nrm(R))) | 120299 | 139101903 | o2(x,o2(x,o1(x))) | true | 122399 | 122399 | -0.9212 | 0.04297 | 0.9929 | 0.1395 | 0.3735 | -1 | 0.9953 | 1.995 | 1 | 0.3767 | 0.01456 | 0.01371 | 0.01596 | 0.03007 | 1 | 0.00000255 | 0.05907 | 0.03069 | 0.028 | 0.1673 | 10.48 | 2.801 | 0.2027 | 0.4235 | 1 | 1 | 0.02252 | 0.0966 | 0.2389 | 0.1614 | 0.6926 | 1.713 | json |



































































































