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_x25_u5_b23 | 17 | 25 | 5 | 23 | ![]() |
mlt(R,sub(R,sgn(D))) | 119300 | 139061270 | o2(x,o2(x,o1(x))) | true | 114407 | 114407 | 0.2975 | 0.6562 | 0.3887 | 0.1796 | 0.4238 | -0.2498 | 1 | 1.25 | 1 | 4.04 | 0.04513 | 0.00296 | 0.09813 | 0.8769 | 1 | -0.00007524 | 0.08688 | 0.1051 | 0.03846 | 0.1961 | 1.999 | 1.235 | 0.2677 | 0.4836 | 1 | 1 | 0.05521 | 0.2685 | 0.3408 | 0.3073 | 1.495 | 1.897 | json |
| t17_x25_u5_b24 | 17 | 25 | 5 | 24 | ![]() |
mlt(R,mlt(R,sgn(D))) | 119301 | 139061271 | o2(x,o2(x,o1(x))) | true | 114415 | 114415 | -0.001769 | 0.499 | 0.2658 | 0.1245 | 0.3528 | -0.9975 | 0.9976 | 1.995 | 1 | 4.478 | 0.04995 | 0.000819 | 0.09416 | 0.9677 | 1 | -0.000007086 | 0.09439 | 0.09457 | 0.0419 | 0.2047 | 2.174 | 1.995 | 0.4078 | 0.7582 | 1 | 1 | 0.05212 | 0.199 | 0.1078 | 0.4187 | 1.599 | 0.8657 | json |
| t17_x25_u5_b25 | 17 | 25 | 5 | 25 | ![]() |
mlt(R,div(R,sgn(D))) | 119302 | 139061272 | o2(x,o2(x,o1(x))) | true | 114423 | 114423 | -0.001769 | 0.499 | 0.2658 | 0.1245 | 0.3528 | -0.9975 | 0.9976 | 1.995 | 1 | 4.478 | 0.04995 | 0.000819 | 0.09416 | 0.9677 | 1 | -0.000007086 | 0.09439 | 0.09457 | 0.0419 | 0.2047 | 2.174 | 1.995 | 0.4078 | 0.7582 | 1 | 1 | 0.05212 | 0.199 | 0.1078 | 0.4187 | 1.599 | 0.8657 | json |
| t17_x25_u5_b26 | 17 | 25 | 5 | 26 | ![]() |
mlt(R,pow(R,sgn(D))) | 119303 | 139061273 | o2(x,o2(x,o1(x))) | true | 114431 | 114431 | -0.9275 | 0.04297 | 0.9866 | 0.1207 | 0.3474 | -1 | 1 | 2 | 1 | 0.4105 | 0.01295 | 0.01237 | 0.01607 | 0.02299 | 1 | 3.047e-7 | 0.05284 | 0.02904 | 0.02505 | 0.1583 | 9.847 | 2.828 | 0.2098 | 0.4379 | 1 | 1 | 0.01992 | 0.08536 | 0.1996 | 0.1651 | 0.7074 | 1.654 | json |
| t17_x25_u5_b27 | 17 | 25 | 5 | 27 | ![]() |
mlt(R,mod(R,sgn(D))) | 119304 | 139061274 | o2(x,o2(x,o1(x))) | true | 114439 | 114439 | 0.3495 | 0.9999 | 0.3495 | 0.05762 | 0.24 | 0.00007718 | 0.9979 | 0.9979 | 1 | 3.768 | 0.0007428 | 0.0008028 | 0.03156 | -0.03877 | 1 | 1.602e-7 | 0.00009378 | 0.007378 | 0.0005496 | 0.02344 | 0.7428 | 0.1117 | 0.02682 | 0.001628 | 1 | 1 | 0.002725 | 0.03526 | 0.107 | 0.0473 | 0.6119 | 1.856 | json |
| t17_x25_u5_b28 | 17 | 25 | 5 | 28 | ![]() |
mlt(R,lrg(R,sgn(D))) | 119305 | 139061275 | o2(x,o2(x,o1(x))) | true | 114447 | 114447 | 0.001852 | 0.4745 | 0.2242 | 0.1077 | 0.3281 | -0.9987 | 0.9806 | 1.979 | 1 | 4.189 | 0.01779 | 0.001554 | 0.06824 | 0.8393 | 1 | 0.000004494 | 0.03338 | 0.06297 | 0.01469 | 0.1212 | 1.776 | 0.9987 | 0.1797 | 0.31 | 1 | 1 | 0.02213 | 0.123 | 0.1936 | 0.2055 | 1.143 | 1.798 | json |
| t17_x25_u5_b29 | 17 | 25 | 5 | 29 | ![]() |
mlt(R,eql(R,sgn(D))) | 119306 | 139061276 | o2(x,o2(x,o1(x))) | true | 114455 | 114455 | 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_x25_u5_b30 | 17 | 25 | 5 | 30 | ![]() |
mlt(R,min(R,sgn(D))) | 119307 | 139061277 | o2(x,o2(x,o1(x))) | true | 114463 | 114463 | 0.172 | 0.734 | 0.3503 | 0.1558 | 0.3947 | -0.9806 | 0.9989 | 1.98 | 1 | 4.617 | 0.03104 | 0.00198 | 0.08061 | 0.8801 | 1 | -0.000007958 | 0.05842 | 0.06897 | 0.02653 | 0.1629 | 2.02 | 1.909 | 0.212 | 0.3751 | 1 | 1 | 0.03624 | 0.1803 | 0.248 | 0.2327 | 1.158 | 1.592 | json |
| t17_x25_u5_b31 | 17 | 25 | 5 | 31 | ![]() |
mlt(R,dot(R,sgn(D))) | 119308 | 139061278 | o2(x,o2(x,o1(x))) | true | 114471 | 114471 | 0.0002852 | 0.4983 | 0.2959 | 0.1717 | 0.4143 | -1 | 1 | 2 | 1 | 4.497 | 0.04251 | 0.02039 | 0.1174 | 0.3516 | 1 | 0.000001201 | 0.1161 | 0.1368 | 0.04912 | 0.2216 | 1.888 | 1.959 | 0.3664 | 0.676 | 1 | 1 | 0.06619 | 0.2763 | 0.2189 | 0.3856 | 1.61 | 1.275 | json |
| t17_x25_u5_b32 | 17 | 25 | 5 | 32 | ![]() |
mlt(R,dst(R,sgn(D))) | 119309 | 139061279 | o2(x,o2(x,o1(x))) | true | 114479 | 114479 | 0.01447 | 0.5002 | 0.5694 | 0.4376 | 0.6615 | -1 | 1 | 2 | 1 | 4.691 | 0.01317 | 0.01194 | 0.1049 | 0.04929 | 1 | 0.00002387 | 0.02475 | 0.07025 | 0.0141 | 0.1188 | 1.132 | 1.383 | 0.05738 | 0.05657 | 1 | 1 | 0.03864 | 0.3514 | 0.7704 | 0.08829 | 0.803 | 1.76 | json |
| t17_x25_u5_b33 | 17 | 25 | 5 | 33 | ![]() |
div(R,add(R,sgn(D))) | 119310 | 139061280 | o2(x,o2(x,o1(x))) | true | 114487 | 114487 | -0.3665 | 0.3492 | 0.5366 | 0.2917 | 0.5401 | -1 | 0.4997 | 1.5 | 1 | 3.821 | 0.07456 | 0.00787 | 0.1223 | 0.809 | 1 | 0.0004801 | 0.147 | 0.1474 | 0.06748 | 0.2598 | 2.125 | 1.5 | 0.2826 | 0.504 | 1 | 1 | 0.0936 | 0.4138 | 0.5571 | 0.3208 | 1.419 | 1.91 | json |
| t17_x25_u5_b34 | 17 | 25 | 5 | 34 | ![]() |
div(R,sub(R,sgn(D))) | 119311 | 139061281 | o2(x,o2(x,o1(x))) | true | 114495 | 114495 | -0.3803 | 0.3314 | 0.5424 | 0.2872 | 0.5359 | -1 | 0.4996 | 1.5 | 1 | 3.829 | 0.07464 | 0.007989 | 0.1238 | 0.8066 | 1 | 0.0005586 | 0.1465 | 0.1477 | 0.06731 | 0.2594 | 2.095 | 1.827 | 0.2877 | 0.5102 | 1 | 1 | 0.0948 | 0.4204 | 0.5208 | 0.3301 | 1.464 | 1.813 | json |
| t17_x25_u5_b35 | 17 | 25 | 5 | 35 | ![]() |
div(R,mlt(R,sgn(D))) | 119312 | 139061282 | o2(x,o2(x,o1(x))) | true | 114503 | 114503 | -5.117e-9 | 0.5 | 0.6889 | 0.5671 | 0.753 | -0.9994 | 0.9994 | 1.999 | 1 | 3.406 | 0.2604 | 1.206e-16 | 0.2456 | 1 | 1 | 6.533e-10 | 0.4833 | 0.2673 | 0.2 | 0.4473 | 1.821 | 1.999 | 0.4593 | 0.8522 | 1 | 1 | 0.2829 | 0.9676 | 2.052e-15 | 0.4989 | 1.706 | 3.618e-15 | json |
| t17_x25_u5_b36 | 17 | 25 | 5 | 36 | ![]() |
div(R,div(R,sgn(D))) | 119313 | 139061283 | o2(x,o2(x,o1(x))) | true | 114511 | 114511 | -5.117e-9 | 0.5 | 0.6889 | 0.5671 | 0.753 | -0.9994 | 0.9994 | 1.999 | 1 | 3.406 | 0.2604 | 1.206e-16 | 0.2456 | 1 | 1 | 6.533e-10 | 0.4833 | 0.2673 | 0.2 | 0.4473 | 1.821 | 1.999 | 0.4593 | 0.8522 | 1 | 1 | 0.2829 | 0.9676 | 2.052e-15 | 0.4989 | 1.706 | 3.618e-15 | json |
| t17_x25_u5_b37 | 17 | 25 | 5 | 37 | ![]() |
div(R,pow(R,sgn(D))) | 119314 | 139061284 | o2(x,o2(x,o1(x))) | true | 114519 | 114519 | -0.9269 | 0.04297 | 0.9872 | 0.1224 | 0.3498 | -1 | 1 | 2 | 1 | 0.408 | 0.01258 | 0.01193 | 0.01584 | 0.02628 | 1 | 0.000009997 | 0.051 | 0.02856 | 0.02425 | 0.1557 | 9.833 | 2.477 | 0.2003 | 0.4168 | 1 | 1 | 0.0185 | 0.08173 | 0.2077 | 0.1511 | 0.6678 | 1.697 | json |
| t17_x25_u5_b38 | 17 | 25 | 5 | 38 | ![]() |
div(R,mod(R,sgn(D))) | 119315 | 139061285 | o2(x,o2(x,o1(x))) | true | 114527 | 114527 | 1 | 1 | 1 | 6.881e-16 | 2.623e-8 | 1 | 1 | 5.96e-8 | 1 | 0 | 7.815e-17 | 6.691e-17 | 2.325e-9 | 0.00001124 | 0 | 6.889e-9 | 1.65e-15 | 6.919e-9 | 1.396e-16 | 1.181e-8 | 5.081 | 8.429e-8 | 0.0001451 | 0.00165 | 0 | 1 | 1.618e-16 | 6.145e-16 | 1.172e-15 | 0.0001618 | 0.0006145 | 0.001172 | json |
| t17_x25_u5_b39 | 17 | 25 | 5 | 39 | ![]() |
div(R,lrg(R,sgn(D))) | 119316 | 139061286 | o2(x,o2(x,o1(x))) | true | 114535 | 114535 | -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_x25_u5_b40 | 17 | 25 | 5 | 40 | ![]() |
div(R,eql(R,sgn(D))) | 119317 | 139061287 | o2(x,o2(x,o1(x))) | true | 114543 | 114543 | -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_x25_u5_b41 | 17 | 25 | 5 | 41 | ![]() |
div(R,min(R,sgn(D))) | 119318 | 139061288 | o2(x,o2(x,o1(x))) | true | 114551 | 114551 | 0.4982 | 0.8181 | 0.6333 | 0.2505 | 0.5005 | -0.9803 | 1 | 1.98 | 1 | 4.278 | 0.08299 | 0.001554 | 0.1323 | 0.9632 | 1 | -0.000004494 | 0.1543 | 0.1353 | 0.06705 | 0.2589 | 1.958 | 1.969 | 0.3375 | 0.6158 | 1 | 1 | 0.09196 | 0.3595 | 0.1936 | 0.3671 | 1.435 | 0.773 | json |
| t17_x25_u5_b42 | 17 | 25 | 5 | 42 | ![]() |
div(R,dot(R,sgn(D))) | 119319 | 139061289 | o2(x,o2(x,o1(x))) | true | 114559 | 114559 | 0.009362 | 0.5022 | 0.6518 | 0.5432 | 0.737 | -1 | 1 | 2 | 1 | 4.27 | 0.1089 | 0.0586 | 0.1962 | 0.3002 | 1 | 0.0001787 | 0.3003 | 0.2525 | 0.129 | 0.3592 | 1.831 | 2.466 | 0.3083 | 0.5528 | 1 | 1 | 0.2015 | 0.8859 | 0.9859 | 0.371 | 1.631 | 1.815 | json |
| t17_x25_u5_b43 | 17 | 25 | 5 | 43 | ![]() |
div(R,dst(R,sgn(D))) | 119320 | 139061290 | o2(x,o2(x,o1(x))) | true | 114567 | 114567 | 0.008486 | 0.496 | 0.2872 | 0.1379 | 0.3713 | -1 | 1 | 2 | 1 | 4.474 | 0.007337 | 0.005821 | 0.06647 | 0.1152 | 1 | 0.00002058 | 0.01946 | 0.05361 | 0.00874 | 0.09349 | 1.407 | 1.586 | 0.09542 | 0.1411 | 1 | 1 | 0.01609 | 0.118 | 0.2318 | 0.1166 | 0.8556 | 1.681 | json |
| t17_x25_u5_b44 | 17 | 25 | 5 | 44 | ![]() |
pow(R,add(R,sgn(D))) | 119321 | 139061291 | o2(x,o2(x,o1(x))) | true | 114575 | 114575 | -0.9228 | 0.04297 | 0.9913 | 0.1357 | 0.3683 | -1 | 1 | 2 | 1 | 0.3755 | 0.01335 | 0.01361 | 0.0163 | -0.009615 | 1 | -0.00001868 | 0.05604 | 0.03028 | 0.02668 | 0.1633 | 10.02 | 2.828 | 0.1987 | 0.4131 | 1 | 1 | 0.02125 | 0.09414 | 0.2239 | 0.1566 | 0.6939 | 1.651 | json |
| t17_x25_u5_b45 | 17 | 25 | 5 | 45 | ![]() |
pow(R,sub(R,sgn(D))) | 119322 | 139061292 | o2(x,o2(x,o1(x))) | true | 114583 | 114583 | -0.9222 | 0.04297 | 0.9918 | 0.1372 | 0.3705 | -1 | 1 | 2 | 1 | 0.3727 | 0.01302 | 0.01338 | 0.01617 | -0.01369 | 1 | -0.000004912 | 0.05472 | 0.02996 | 0.02612 | 0.1616 | 9.996 | 2.498 | 0.1923 | 0.3987 | 1 | 1 | 0.02024 | 0.09247 | 0.2336 | 0.1475 | 0.6737 | 1.702 | json |
| t17_x25_u5_b46 | 17 | 25 | 5 | 46 | ![]() |
pow(R,mlt(R,sgn(D))) | 119323 | 139061293 | o2(x,o2(x,o1(x))) | true | 114591 | 114591 | -0.9173 | 0.04297 | 0.9968 | 0.1528 | 0.3909 | -1 | 1 | 2 | 1 | 0.3305 | 0.01521 | 0.0154 | 0.01648 | -0.006012 | 1 | -0.000006805 | 0.06392 | 0.0322 | 0.03032 | 0.1741 | 10.57 | 2.828 | 0.2003 | 0.4184 | 1 | 1 | 0.02364 | 0.1033 | 0.2557 | 0.1547 | 0.6761 | 1.674 | json |
| t17_x25_u5_b47 | 17 | 25 | 5 | 47 | ![]() |
pow(R,div(R,sgn(D))) | 119324 | 139061294 | o2(x,o2(x,o1(x))) | true | 114599 | 114599 | -0.9173 | 0.04297 | 0.9968 | 0.1528 | 0.3909 | -1 | 1 | 2 | 1 | 0.3305 | 0.01521 | 0.0154 | 0.01648 | -0.006012 | 1 | -0.000006805 | 0.06392 | 0.0322 | 0.03032 | 0.1741 | 10.57 | 2.828 | 0.2003 | 0.4184 | 1 | 1 | 0.02364 | 0.1033 | 0.2557 | 0.1547 | 0.6761 | 1.674 | json |
| t17_x25_u5_b48 | 17 | 25 | 5 | 48 | ![]() |
pow(R,pow(R,sgn(D))) | 119325 | 139061295 | o2(x,o2(x,o1(x))) | true | 114607 | 114607 | -0.9312 | 0.04297 | 0.9829 | 0.1078 | 0.3284 | -1 | 0.9461 | 1.946 | 1 | 0.4094 | 0.01088 | 0.01062 | 0.01462 | 0.01209 | 1 | 0.00001139 | 0.04477 | 0.02674 | 0.0213 | 0.1459 | 9.982 | 2.614 | 0.1994 | 0.4152 | 1 | 1 | 0.01646 | 0.07281 | 0.1829 | 0.1527 | 0.6753 | 1.697 | json |
| t17_x25_u5_b49 | 17 | 25 | 5 | 49 | ![]() |
pow(R,mod(R,sgn(D))) | 119326 | 139061296 | o2(x,o2(x,o1(x))) | true | 114615 | 114615 | -0.9235 | 0.04297 | 0.9906 | 0.1306 | 0.3614 | -1 | 0.9461 | 1.946 | 1 | 0.3372 | 0.01332 | 0.01296 | 0.0151 | 0.0136 | 1 | 0.000003032 | 0.05494 | 0.02962 | 0.02607 | 0.1615 | 10.7 | 2.664 | 0.2013 | 0.4207 | 1 | 1 | 0.0201 | 0.08704 | 0.2185 | 0.1539 | 0.6665 | 1.673 | json |
| t17_x25_u5_b50 | 17 | 25 | 5 | 50 | ![]() |
pow(R,lrg(R,sgn(D))) | 119327 | 139061297 | o2(x,o2(x,o1(x))) | true | 114623 | 114623 | -0.6245 | 0.2109 | 0.9537 | 0.5382 | 0.7336 | -1 | 1 | 2 | 1 | 1.416 | 0.06728 | 0.05438 | 0.07334 | 0.106 | 1 | 0.000007142 | 0.2565 | 0.1358 | 0.1163 | 0.341 | 4.649 | 2.742 | 0.2261 | 0.4765 | 1 | 1 | 0.1206 | 0.5025 | 1.159 | 0.2241 | 0.9338 | 2.153 | json |
| t17_x25_u5_b51 | 17 | 25 | 5 | 51 | ![]() |
pow(R,eql(R,sgn(D))) | 119328 | 139061298 | o2(x,o2(x,o1(x))) | true | 114631 | 114631 | 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_x25_u5_b52 | 17 | 25 | 5 | 52 | ![]() |
pow(R,min(R,sgn(D))) | 119329 | 139061299 | o2(x,o2(x,o1(x))) | true | 114639 | 114639 | -0.9165 | 0.04297 | 0.9976 | 0.1557 | 0.3945 | -1 | 1 | 2 | 1 | 0.3171 | 0.01523 | 0.01559 | 0.01651 | -0.01175 | 1 | -0.00002226 | 0.06426 | 0.03242 | 0.03053 | 0.1747 | 10.58 | 2.828 | 0.198 | 0.4129 | 1 | 1 | 0.02382 | 0.1047 | 0.2604 | 0.1531 | 0.6728 | 1.673 | json |
| t17_x25_u5_b53 | 17 | 25 | 5 | 53 | ![]() |
pow(R,dot(R,sgn(D))) | 119330 | 139061300 | o2(x,o2(x,o1(x))) | true | 114647 | 114647 | -0.9186 | 0.04297 | 0.9955 | 0.1488 | 0.3858 | -1 | 1 | 2 | 1 | 0.349 | 0.01476 | 0.01488 | 0.01657 | -0.003901 | 1 | -0.000009816 | 0.06184 | 0.03196 | 0.02934 | 0.1713 | 10.34 | 2.828 | 0.1991 | 0.4156 | 1 | 1 | 0.02302 | 0.1005 | 0.2496 | 0.1547 | 0.6755 | 1.677 | json |
| t17_x25_u5_b54 | 17 | 25 | 5 | 54 | ![]() |
pow(R,dst(R,sgn(D))) | 119331 | 139061301 | o2(x,o2(x,o1(x))) | true | 114655 | 114655 | -0.9371 | 0.04297 | 0.977 | 0.09039 | 0.3006 | -1 | 0.9474 | 1.947 | 1 | 0.42 | 0.009116 | 0.00916 | 0.01357 | -0.002407 | 1 | 0.000009384 | 0.0381 | 0.02467 | 0.01809 | 0.1345 | 9.912 | 2.37 | 0.2022 | 0.4215 | 1 | 1 | 0.01435 | 0.06264 | 0.151 | 0.1588 | 0.693 | 1.67 | json |
| t17_x25_u5_b55 | 17 | 25 | 5 | 55 | ![]() |
mod(R,add(R,sgn(D))) | 119332 | 139061302 | o2(x,o2(x,o1(x))) | true | 114663 | 114663 | -0.004408 | 0.4769 | 0.2793 | 0.1272 | 0.3566 | -0.9985 | 0.9809 | 1.979 | 1 | 4.532 | 0.01451 | 0.001606 | 0.06662 | 0.8007 | 1 | -0.00001 | 0.02558 | 0.0493 | 0.01168 | 0.1081 | 1.622 | 0.9982 | 0.1268 | 0.2012 | 1 | 1 | 0.01894 | 0.1211 | 0.2096 | 0.1489 | 0.9523 | 1.649 | json |
| t17_x25_u5_b56 | 17 | 25 | 5 | 56 | ![]() |
mod(R,sub(R,sgn(D))) | 119333 | 139061303 | o2(x,o2(x,o1(x))) | true | 114671 | 114671 | -0.0008689 | 0.4861 | 0.2746 | 0.1233 | 0.3511 | -0.9988 | 0.9807 | 1.979 | 1 | 4.51 | 0.01455 | 0.001579 | 0.06651 | 0.8042 | 1 | 0.000003933 | 0.02558 | 0.04938 | 0.0117 | 0.1082 | 1.627 | 0.9984 | 0.1308 | 0.2075 | 1 | 1 | 0.01876 | 0.1191 | 0.203 | 0.1522 | 0.9661 | 1.647 | json |
| t17_x25_u5_b57 | 17 | 25 | 5 | 57 | ![]() |
mod(R,mlt(R,sgn(D))) | 119334 | 139061304 | o2(x,o2(x,o1(x))) | true | 114679 | 114679 | -0.01621 | 0.2374 | 0.09644 | 0.04024 | 0.2006 | -0.9675 | 0.9558 | 1.923 | 1 | 2.738 | 0.0006146 | 0.0005535 | 0.01871 | 0.05227 | 1 | -0.0000106 | 0.00006938 | 0.004372 | 0.0008183 | 0.02861 | 1.529 | 0.2163 | 0.02903 | 0.001724 | 1 | 1 | 0.002918 | 0.03769 | 0.09805 | 0.0725 | 0.9366 | 2.436 | json |
| t17_x25_u5_b58 | 17 | 25 | 5 | 58 | ![]() |
mod(R,div(R,sgn(D))) | 119335 | 139061305 | o2(x,o2(x,o1(x))) | true | 114687 | 114687 | -0.01621 | 0.2374 | 0.09644 | 0.04024 | 0.2006 | -0.9675 | 0.9558 | 1.923 | 1 | 2.738 | 0.0006146 | 0.0005535 | 0.01871 | 0.05227 | 1 | -0.0000106 | 0.00006938 | 0.004372 | 0.0008183 | 0.02861 | 1.529 | 0.2163 | 0.02903 | 0.001724 | 1 | 1 | 0.002918 | 0.03769 | 0.09805 | 0.0725 | 0.9366 | 2.436 | json |
| t17_x25_u5_b59 | 17 | 25 | 5 | 59 | ![]() |
mod(R,pow(R,sgn(D))) | 119336 | 139061306 | o2(x,o2(x,o1(x))) | true | 114695 | 114695 | -0.9431 | 0.04254 | 0.971 | 0.07491 | 0.2737 | -1 | 0.94 | 1.94 | 1 | 0.4125 | 0.008116 | 0.007347 | 0.01275 | 0.04974 | 1 | 0.000002359 | 0.03219 | 0.02262 | 0.01531 | 0.1237 | 9.705 | 2.64 | 0.2064 | 0.4297 | 1 | 1 | 0.01213 | 0.05307 | 0.1328 | 0.1619 | 0.7084 | 1.773 | json |
| t17_x25_u5_b60 | 17 | 25 | 5 | 60 | ![]() |
mod(R,mod(R,sgn(D))) | 119337 | 139061307 | o2(x,o2(x,o1(x))) | true | 114703 | 114703 | -0.01621 | 0.2374 | 0.09644 | 0.04024 | 0.2006 | -0.9675 | 0.9558 | 1.923 | 1 | 2.738 | 0.0006146 | 0.0005535 | 0.01871 | 0.05227 | 1 | -0.0000106 | 0.00006938 | 0.004372 | 0.0008183 | 0.02861 | 1.529 | 0.2163 | 0.02903 | 0.001724 | 1 | 1 | 0.002918 | 0.03769 | 0.09805 | 0.0725 | 0.9366 | 2.436 | json |
| t17_x25_u5_b61 | 17 | 25 | 5 | 61 | ![]() |
mod(R,lrg(R,sgn(D))) | 119338 | 139061308 | o2(x,o2(x,o1(x))) | true | 114711 | 114711 | -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_x25_u5_b62 | 17 | 25 | 5 | 62 | ![]() |
mod(R,eql(R,sgn(D))) | 119339 | 139061309 | o2(x,o2(x,o1(x))) | true | 114719 | 114719 | -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_x25_u5_b63 | 17 | 25 | 5 | 63 | ![]() |
mod(R,min(R,sgn(D))) | 119340 | 139061310 | o2(x,o2(x,o1(x))) | true | 114727 | 114727 | -0.007311 | 0.4684 | 0.2582 | 0.126 | 0.355 | -0.9987 | 0.9805 | 1.979 | 1 | 4.41 | 0.01522 | 0.001813 | 0.06882 | 0.7872 | 1 | -0.000004338 | 0.02738 | 0.05455 | 0.0123 | 0.1109 | 1.612 | 0.9987 | 0.1352 | 0.2173 | 1 | 1 | 0.02001 | 0.1322 | 0.2409 | 0.1588 | 1.049 | 1.912 | json |
| t17_x25_u5_b64 | 17 | 25 | 5 | 64 | ![]() |
mod(R,dot(R,sgn(D))) | 119341 | 139061311 | o2(x,o2(x,o1(x))) | true | 114735 | 114735 | 0.003838 | 0.4927 | 0.2534 | 0.1168 | 0.3417 | -0.9989 | 0.9808 | 1.98 | 1 | 4.421 | 0.01299 | 0.01339 | 0.08314 | -0.01517 | 1 | 0.000003835 | 0.05452 | 0.09436 | 0.01946 | 0.1395 | 1.678 | 1.357 | 0.2259 | 0.467 | 1 | 1 | 0.02894 | 0.1482 | 0.215 | 0.2478 | 1.269 | 1.841 | json |
| t17_x25_u5_b65 | 17 | 25 | 5 | 65 | ![]() |
mod(R,dst(R,sgn(D))) | 119342 | 139061312 | o2(x,o2(x,o1(x))) | true | 114743 | 114743 | 0.007961 | 0.4966 | 0.3646 | 0.193 | 0.4393 | -0.9989 | 0.9806 | 1.979 | 1 | 4.801 | 0.005222 | 0.005452 | 0.06816 | -0.02163 | 1 | 0.0000199 | 0.01192 | 0.03222 | 0.006028 | 0.07764 | 1.139 | 1.05 | 0.0553 | 0.06178 | 1 | 1 | 0.01483 | 0.1506 | 0.3508 | 0.07685 | 0.7803 | 1.817 | json |
| t17_x25_u5_b66 | 17 | 25 | 5 | 66 | ![]() |
lrg(R,add(R,sgn(D))) | 119343 | 139061313 | o2(x,o2(x,o1(x))) | true | 114751 | 114751 | 0.5 | 1 | 0.5 | 0.1418 | 0.3765 | 0.000291 | 0.9997 | 0.9994 | 1 | 3.406 | 0.06511 | 0 | 0.1228 | 1 | 1 | 0 | 0.1208 | 0.1337 | 0.05001 | 0.2236 | 1.821 | 0.9994 | 0.4593 | 0.8522 | 1 | 1 | 0.07073 | 0.2419 | 0 | 0.4989 | 1.706 | 0 | json |
| t17_x25_u5_b67 | 17 | 25 | 5 | 67 | ![]() |
lrg(R,sub(R,sgn(D))) | 119344 | 139061314 | o2(x,o2(x,o1(x))) | true | 114759 | 114759 | 0.5 | 1 | 0.5 | 0.1418 | 0.3765 | 0.000291 | 0.9997 | 0.9994 | 1 | 3.406 | 0.06511 | 0 | 0.1228 | 1 | 1 | 0 | 0.1208 | 0.1337 | 0.05001 | 0.2236 | 1.821 | 0.9994 | 0.4593 | 0.8522 | 1 | 1 | 0.07073 | 0.2419 | 0 | 0.4989 | 1.706 | 0 | json |
| t17_x25_u5_b68 | 17 | 25 | 5 | 68 | ![]() |
lrg(R,mlt(R,sgn(D))) | 119345 | 139061315 | o2(x,o2(x,o1(x))) | true | 114767 | 114767 | 0.2393 | 0.7168 | 0.2393 | 0.1075 | 0.3279 | 0 | 0.9997 | 0.9997 | 1 | 2.776 | 0.02734 | 0.00118 | 0.06882 | 0.9172 | 1 | -0.00001639 | 0.05101 | 0.06655 | 0.02378 | 0.1542 | 2.241 | 0.9997 | 0.2652 | 0.4744 | 1 | 1 | 0.03061 | 0.1388 | 0.1417 | 0.2847 | 1.291 | 1.317 | json |
| t17_x25_u5_b69 | 17 | 25 | 5 | 69 | ![]() |
lrg(R,div(R,sgn(D))) | 119346 | 139061316 | o2(x,o2(x,o1(x))) | true | 114775 | 114775 | 0.2393 | 0.7168 | 0.2393 | 0.1075 | 0.3279 | 0 | 0.9997 | 0.9997 | 1 | 2.776 | 0.02734 | 0.00118 | 0.06882 | 0.9172 | 1 | -0.00001639 | 0.05101 | 0.06655 | 0.02378 | 0.1542 | 2.241 | 0.9997 | 0.2652 | 0.4744 | 1 | 1 | 0.03061 | 0.1388 | 0.1417 | 0.2847 | 1.291 | 1.317 | json |
| t17_x25_u5_b70 | 17 | 25 | 5 | 70 | ![]() |
lrg(R,pow(R,sgn(D))) | 119347 | 139061317 | o2(x,o2(x,o1(x))) | true | 114783 | 114783 | 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_x25_u5_b71 | 17 | 25 | 5 | 71 | ![]() |
lrg(R,mod(R,sgn(D))) | 119348 | 139061318 | o2(x,o2(x,o1(x))) | true | 114791 | 114791 | 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_x25_u5_b72 | 17 | 25 | 5 | 72 | ![]() |
lrg(R,lrg(R,sgn(D))) | 119349 | 139061319 | o2(x,o2(x,o1(x))) | true | 114799 | 114799 | 0.2432 | 0.7246 | 0.2432 | 0.1087 | 0.3297 | 0 | 0.9997 | 0.9997 | 1 | 2.8 | 0.02738 | 0.00118 | 0.07029 | 0.9174 | 1 | -0.00000142 | 0.05102 | 0.06666 | 0.02362 | 0.1537 | 2.186 | 0.9997 | 0.2627 | 0.4693 | 1 | 1 | 0.03085 | 0.1411 | 0.1423 | 0.2838 | 1.298 | 1.309 | json |
| t17_x25_u5_b73 | 17 | 25 | 5 | 73 | ![]() |
lrg(R,eql(R,sgn(D))) | 119350 | 139061320 | o2(x,o2(x,o1(x))) | true | 114807 | 114807 | 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_x25_u5_b74 | 17 | 25 | 5 | 74 | ![]() |
lrg(R,min(R,sgn(D))) | 119351 | 139061321 | o2(x,o2(x,o1(x))) | true | 114815 | 114815 | 0.5 | 1 | 0.5 | 0.1418 | 0.3765 | 0.000291 | 0.9997 | 0.9994 | 1 | 3.406 | 0.06511 | 0 | 0.1228 | 1 | 1 | 0 | 0.1208 | 0.1337 | 0.05001 | 0.2236 | 1.821 | 0.9994 | 0.4593 | 0.8522 | 1 | 1 | 0.07073 | 0.2419 | 0 | 0.4989 | 1.706 | 0 | json |
| t17_x25_u5_b75 | 17 | 25 | 5 | 75 | ![]() |
lrg(R,dot(R,sgn(D))) | 119352 | 139061322 | o2(x,o2(x,o1(x))) | true | 114823 | 114823 | 0.4873 | 0.9123 | 0.4873 | 0.1517 | 0.3895 | 0 | 1 | 1 | 1 | 3.449 | 0.02045 | 0.03035 | 0.105 | -0.1949 | 1 | -0.00001425 | 0.1005 | 0.1231 | 0.03976 | 0.1994 | 1.898 | 1 | 0.3348 | 0.662 | 1 | 1 | 0.05604 | 0.2456 | 0.2945 | 0.3693 | 1.619 | 1.941 | json |
| t17_x25_u5_b76 | 17 | 25 | 5 | 76 | ![]() |
lrg(R,dst(R,sgn(D))) | 119353 | 139061323 | o2(x,o2(x,o1(x))) | true | 114831 | 114831 | 0.03125 | 0.1112 | 0.03125 | 0.01887 | 0.1374 | 0 | 0.9997 | 0.9997 | 1 | 0.6186 | 0.003257 | 0.003039 | 0.01325 | 0.03463 | 1 | 0.000005704 | 0.01265 | 0.01589 | 0.006125 | 0.07826 | 5.906 | 0.9997 | 0.3336 | 0.6704 | 1 | 1 | 0.005163 | 0.02391 | 0.03082 | 0.2736 | 1.267 | 1.633 | json |
| t17_x25_u5_b77 | 17 | 25 | 5 | 77 | ![]() |
eql(R,add(R,sgn(D))) | 119354 | 139061324 | o2(x,o2(x,o1(x))) | true | 114839 | 114839 | 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_x25_u5_b78 | 17 | 25 | 5 | 78 | ![]() |
eql(R,sub(R,sgn(D))) | 119355 | 139061325 | o2(x,o2(x,o1(x))) | true | 114847 | 114847 | 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_x25_u5_b79 | 17 | 25 | 5 | 79 | ![]() |
eql(R,mlt(R,sgn(D))) | 119356 | 139061326 | o2(x,o2(x,o1(x))) | true | 114855 | 114855 | 0.5 | 1 | 0.5 | 0.1418 | 0.3765 | 0.000291 | 0.9997 | 0.9994 | 1 | 3.406 | 0.06511 | 0 | 0.1228 | 1 | 1 | 0 | 0.1208 | 0.1337 | 0.05001 | 0.2236 | 1.821 | 0.9994 | 0.4593 | 0.8522 | 1 | 1 | 0.07073 | 0.2419 | 0 | 0.4989 | 1.706 | 0 | json |
| t17_x25_u5_b80 | 17 | 25 | 5 | 80 | ![]() |
eql(R,div(R,sgn(D))) | 119357 | 139061327 | o2(x,o2(x,o1(x))) | true | 114863 | 114863 | 0.5 | 1 | 0.5 | 0.1418 | 0.3765 | 0.000291 | 0.9997 | 0.9994 | 1 | 3.406 | 0.06511 | 0 | 0.1228 | 1 | 1 | 0 | 0.1208 | 0.1337 | 0.05001 | 0.2236 | 1.821 | 0.9994 | 0.4593 | 0.8522 | 1 | 1 | 0.07073 | 0.2419 | 0 | 0.4989 | 1.706 | 0 | json |
| t17_x25_u5_b81 | 17 | 25 | 5 | 81 | ![]() |
eql(R,pow(R,sgn(D))) | 119358 | 139061328 | o2(x,o2(x,o1(x))) | true | 114871 | 114871 | 0.2432 | 0.7246 | 0.2432 | 0.1087 | 0.3297 | 0 | 0.9997 | 0.9997 | 1 | 2.8 | 0.02738 | 0.00118 | 0.07029 | 0.9174 | 1 | -0.00000142 | 0.05102 | 0.06666 | 0.02362 | 0.1537 | 2.186 | 0.9997 | 0.2627 | 0.4693 | 1 | 1 | 0.03085 | 0.1411 | 0.1423 | 0.2838 | 1.298 | 1.309 | json |
| t17_x25_u5_b82 | 17 | 25 | 5 | 82 | ![]() |
eql(R,mod(R,sgn(D))) | 119359 | 139061329 | o2(x,o2(x,o1(x))) | true | 114879 | 114879 | 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_x25_u5_b83 | 17 | 25 | 5 | 83 | ![]() |
eql(R,lrg(R,sgn(D))) | 119360 | 139061330 | o2(x,o2(x,o1(x))) | true | 114887 | 114887 | 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_x25_u5_b84 | 17 | 25 | 5 | 84 | ![]() |
eql(R,eql(R,sgn(D))) | 119361 | 139061331 | o2(x,o2(x,o1(x))) | true | 114895 | 114895 | 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_x25_u5_b85 | 17 | 25 | 5 | 85 | ![]() |
eql(R,min(R,sgn(D))) | 119362 | 139061332 | o2(x,o2(x,o1(x))) | true | 114903 | 114903 | 0.5 | 1 | 0.5 | 0.1418 | 0.3765 | 0.000291 | 0.9997 | 0.9994 | 1 | 3.406 | 0.06511 | 0 | 0.1228 | 1 | 1 | 0 | 0.1208 | 0.1337 | 0.05001 | 0.2236 | 1.821 | 0.9994 | 0.4593 | 0.8522 | 1 | 1 | 0.07073 | 0.2419 | 0 | 0.4989 | 1.706 | 0 | json |
| t17_x25_u5_b86 | 17 | 25 | 5 | 86 | ![]() |
eql(R,dot(R,sgn(D))) | 119363 | 139061333 | o2(x,o2(x,o1(x))) | true | 114911 | 114911 | 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_x25_u5_b87 | 17 | 25 | 5 | 87 | ![]() |
eql(R,dst(R,sgn(D))) | 119364 | 139061334 | o2(x,o2(x,o1(x))) | true | 114919 | 114919 | 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_x25_u5_b88 | 17 | 25 | 5 | 88 | ![]() |
min(R,add(R,sgn(D))) | 119365 | 139061335 | o2(x,o2(x,o1(x))) | true | 114927 | 114927 | -0.4204 | 0.201 | 0.5662 | 0.2506 | 0.5006 | -1 | 0.9804 | 1.98 | 1 | 4.386 | 0.0477 | 0.002539 | 0.1158 | 0.8989 | 1 | 0.0001124 | 0.08414 | 0.1109 | 0.03684 | 0.1919 | 1.658 | 1.023 | 0.2005 | 0.3357 | 1 | 1 | 0.05898 | 0.2859 | 0.2878 | 0.2353 | 1.141 | 1.149 | json |
| t17_x25_u5_b89 | 17 | 25 | 5 | 89 | ![]() |
min(R,sub(R,sgn(D))) | 119366 | 139061336 | o2(x,o2(x,o1(x))) | true | 114935 | 114935 | -0.4226 | 0.1991 | 0.5655 | 0.2483 | 0.4983 | -1 | 0.9802 | 1.98 | 1 | 4.396 | 0.04752 | 0.002554 | 0.1144 | 0.898 | 1 | 0.00008838 | 0.08409 | 0.1105 | 0.03699 | 0.1923 | 1.682 | 1.023 | 0.2016 | 0.3386 | 1 | 1 | 0.05828 | 0.2809 | 0.2873 | 0.2347 | 1.131 | 1.157 | json |
| t17_x25_u5_b90 | 17 | 25 | 5 | 90 | ![]() |
min(R,mlt(R,sgn(D))) | 119367 | 139061337 | o2(x,o2(x,o1(x))) | true | 114943 | 114943 | -0.2521 | 0.2368 | 0.4188 | 0.1755 | 0.4189 | -0.9989 | 0.9806 | 1.979 | 1 | 4.669 | 0.04008 | 0.00192 | 0.08748 | 0.9086 | 1 | 0.0000197 | 0.07508 | 0.07408 | 0.03435 | 0.1853 | 2.119 | 1.938 | 0.2393 | 0.4279 | 1 | 1 | 0.04654 | 0.2163 | 0.2509 | 0.2652 | 1.233 | 1.43 | json |
| t17_x25_u5_b91 | 17 | 25 | 5 | 91 | ![]() |
min(R,div(R,sgn(D))) | 119368 | 139061338 | o2(x,o2(x,o1(x))) | true | 114951 | 114951 | -0.2521 | 0.2368 | 0.4188 | 0.1755 | 0.4189 | -0.9989 | 0.9806 | 1.979 | 1 | 4.669 | 0.04008 | 0.00192 | 0.08748 | 0.9086 | 1 | 0.0000197 | 0.07508 | 0.07408 | 0.03435 | 0.1853 | 2.119 | 1.938 | 0.2393 | 0.4279 | 1 | 1 | 0.04654 | 0.2163 | 0.2509 | 0.2652 | 1.233 | 1.43 | json |
| t17_x25_u5_b92 | 17 | 25 | 5 | 92 | ![]() |
min(R,pow(R,sgn(D))) | 119369 | 139061339 | o2(x,o2(x,o1(x))) | true | 114959 | 114959 | 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_x25_u5_b93 | 17 | 25 | 5 | 93 | ![]() |
min(R,mod(R,sgn(D))) | 119370 | 139061340 | o2(x,o2(x,o1(x))) | true | 114967 | 114967 | 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_x25_u5_b94 | 17 | 25 | 5 | 94 | ![]() |
min(R,lrg(R,sgn(D))) | 119371 | 139061341 | o2(x,o2(x,o1(x))) | true | 114975 | 114975 | -0.1235 | 0.3333 | 0.3169 | 0.1511 | 0.3888 | -0.9989 | 0.9805 | 1.979 | 1 | 4.595 | 0.01138 | 0.002047 | 0.06581 | 0.695 | 1 | 0.00001672 | 0.01894 | 0.04201 | 0.009091 | 0.09535 | 1.449 | 0.9695 | 0.08881 | 0.1253 | 1 | 1 | 0.01724 | 0.1257 | 0.2462 | 0.114 | 0.8318 | 1.629 | json |
| t17_x25_u5_b95 | 17 | 25 | 5 | 95 | ![]() |
min(R,eql(R,sgn(D))) | 119372 | 139061342 | o2(x,o2(x,o1(x))) | true | 114983 | 114983 | -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_x25_u5_b96 | 17 | 25 | 5 | 96 | ![]() |
min(R,min(R,sgn(D))) | 119373 | 139061343 | o2(x,o2(x,o1(x))) | true | 114991 | 114991 | -0.4929 | 0.1852 | 0.6307 | 0.2526 | 0.5026 | -1 | 0.9803 | 1.98 | 1 | 4.292 | 0.08309 | 0.001534 | 0.1337 | 0.9637 | 1 | 0.00002202 | 0.1543 | 0.1354 | 0.06676 | 0.2584 | 1.933 | 1.968 | 0.335 | 0.6107 | 1 | 1 | 0.09243 | 0.3645 | 0.1954 | 0.3659 | 1.443 | 0.7735 | json |
| t17_x25_u5_b97 | 17 | 25 | 5 | 97 | ![]() |
min(R,dot(R,sgn(D))) | 119374 | 139061344 | o2(x,o2(x,o1(x))) | true | 114999 | 114999 | -0.3694 | 0.1944 | 0.4819 | 0.1872 | 0.4327 | -1 | 0.9806 | 1.981 | 1 | 4.559 | 0.02397 | 0.01949 | 0.1009 | 0.1031 | 1 | 0.0000593 | 0.07855 | 0.1062 | 0.03329 | 0.1824 | 1.809 | 1.859 | 0.2321 | 0.4196 | 1 | 1 | 0.04926 | 0.2456 | 0.3319 | 0.2631 | 1.312 | 1.773 | json |
| t17_x25_u5_b98 | 17 | 25 | 5 | 98 | ![]() |
min(R,dst(R,sgn(D))) | 119375 | 139061345 | o2(x,o2(x,o1(x))) | true | 115007 | 115007 | 0.001215 | 0.4953 | 0.3887 | 0.2136 | 0.4622 | -0.9989 | 0.9806 | 1.979 | 1 | 4.849 | 0.003004 | 0.00338 | 0.06371 | -0.05891 | 1 | 0.00002582 | 0.0016 | 0.01765 | 0.002324 | 0.04821 | 0.7567 | 0.6146 | 0.02988 | 0.007492 | 1 | 1 | 0.01191 | 0.1497 | 0.381 | 0.05578 | 0.7009 | 1.784 | json |
| t17_x25_u5_b99 | 17 | 25 | 5 | 99 | ![]() |
dot(R,add(R,sgn(D))) | 119376 | 139061346 | o2(x,o2(x,o1(x))) | true | 115015 | 115015 | 0.7144 | 0.9324 | 0.7369 | 0.1427 | 0.3777 | -0.4805 | 1 | 1.481 | 1 | 3.067 | 0.02189 | 0.02253 | 0.09192 | -0.01454 | 1 | -0.0001073 | 0.08321 | 0.1138 | 0.03597 | 0.1897 | 2.063 | 1.944 | 0.3113 | 0.5832 | 1 | 1 | 0.04932 | 0.216 | 0.2507 | 0.3456 | 1.514 | 1.757 | json |
| t17_x25_u5_b100 | 17 | 25 | 5 | 100 | ![]() |
dot(R,sub(R,sgn(D))) | 119377 | 139061347 | o2(x,o2(x,o1(x))) | true | 115023 | 115023 | 0.6916 | 0.9245 | 0.715 | 0.1486 | 0.3855 | -0.4807 | 1 | 1.481 | 1 | 3.192 | 0.02227 | 0.02308 | 0.09258 | -0.018 | 1 | -0.0001072 | 0.08545 | 0.1155 | 0.03677 | 0.1918 | 2.071 | 1.909 | 0.3051 | 0.5749 | 1 | 1 | 0.05049 | 0.2219 | 0.2847 | 0.3397 | 1.493 | 1.915 | json |
| t17_x25_u5_b101 | 17 | 25 | 5 | 101 | ![]() |
dot(R,mlt(R,sgn(D))) | 119378 | 139061348 | o2(x,o2(x,o1(x))) | true | 115031 | 115031 | -0.005132 | 0.4943 | 0.3789 | 0.2264 | 0.4759 | -1 | 1 | 2 | 1 | 4.83 | 0.04463 | 0.04466 | 0.1463 | -0.0003787 | 1 | -0.000001115 | 0.1653 | 0.1673 | 0.06788 | 0.2605 | 1.781 | 1.995 | 0.3943 | 0.7298 | 1 | 1 | 0.09476 | 0.3692 | 0.1994 | 0.4185 | 1.631 | 0.8806 | json |
| t17_x25_u5_b102 | 17 | 25 | 5 | 102 | ![]() |
dot(R,div(R,sgn(D))) | 119379 | 139061349 | o2(x,o2(x,o1(x))) | true | 115039 | 115039 | -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_x25_u5_b103 | 17 | 25 | 5 | 103 | ![]() |
dot(R,pow(R,sgn(D))) | 119380 | 139061350 | o2(x,o2(x,o1(x))) | true | 115047 | 115047 | -0.9923 | 0.003906 | 0.9999 | 0.01527 | 0.1236 | -1 | 1 | 2 | 1 | 0.03956 | 0.001952 | 0.001943 | 0.001988 | 0.002223 | 1 | 0 | 0.008261 | 0.003975 | 0.003888 | 0.06236 | 31.37 | 2.828 | 0.2551 | 0.541 | 1 | 1 | 0.006857 | 0.02785 | 0.05394 | 0.449 | 1.824 | 3.532 | json |
| t17_x25_u5_b104 | 17 | 25 | 5 | 104 | ![]() |
dot(R,mod(R,sgn(D))) | 119381 | 139061351 | o2(x,o2(x,o1(x))) | true | 115055 | 115055 | 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_x25_u5_b105 | 17 | 25 | 5 | 105 | ![]() |
dot(R,lrg(R,sgn(D))) | 119382 | 139061352 | o2(x,o2(x,o1(x))) | true | 115063 | 115063 | 0.2297 | 0.6979 | 0.4209 | 0.2184 | 0.4673 | -1 | 1 | 2 | 1 | 4.723 | 0.01663 | 0.01605 | 0.1049 | 0.0177 | 1 | -0.000002965 | 0.05426 | 0.1029 | 0.02168 | 0.1472 | 1.403 | 1.311 | 0.1497 | 0.2485 | 1 | 1 | 0.03806 | 0.2331 | 0.4255 | 0.1743 | 1.068 | 1.949 | json |
| t17_x25_u5_b106 | 17 | 25 | 5 | 106 | ![]() |
dot(R,eql(R,sgn(D))) | 119383 | 139061353 | o2(x,o2(x,o1(x))) | true | 115071 | 115071 | 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_x25_u5_b107 | 17 | 25 | 5 | 107 | ![]() |
dot(R,min(R,sgn(D))) | 119384 | 139061354 | o2(x,o2(x,o1(x))) | true | 115079 | 115079 | 0.4479 | 0.8255 | 0.5758 | 0.2396 | 0.4895 | -1 | 1 | 2 | 1 | 4.345 | 0.02438 | 0.02613 | 0.108 | -0.03451 | 1 | -0.00007038 | 0.08801 | 0.1105 | 0.03884 | 0.1971 | 1.824 | 1.887 | 0.2108 | 0.3674 | 1 | 1 | 0.06391 | 0.3132 | 0.4042 | 0.2668 | 1.307 | 1.687 | json |
| t17_x25_u5_b108 | 17 | 25 | 5 | 108 | ![]() |
dot(R,dot(R,sgn(D))) | 119385 | 139061355 | o2(x,o2(x,o1(x))) | true | 115087 | 115087 | -0.007338 | 0.4861 | 0.3764 | 0.2472 | 0.4972 | -1 | 1 | 2 | 1 | 4.654 | 0.03792 | 0.04581 | 0.1348 | -0.09429 | 1 | -0.000009804 | 0.1529 | 0.1576 | 0.06555 | 0.256 | 1.899 | 2.002 | 0.3388 | 0.6186 | 1 | 1 | 0.1011 | 0.4557 | 0.3946 | 0.4092 | 1.844 | 1.596 | json |
| t17_x25_u5_b109 | 17 | 25 | 5 | 109 | ![]() |
dot(R,dst(R,sgn(D))) | 119386 | 139061356 | o2(x,o2(x,o1(x))) | true | 115095 | 115095 | 0.02849 | 0.5165 | 0.6707 | 0.5691 | 0.7544 | -1 | 1 | 2 | 1 | 4.223 | 0.01509 | 0.01614 | 0.1084 | -0.03346 | 1 | 0.00004777 | 0.0235 | 0.06852 | 0.01947 | 0.1395 | 1.287 | 2.042 | 0.05487 | 0.04129 | 1 | 1 | 0.05505 | 0.4738 | 1.082 | 0.09674 | 0.8326 | 1.9 | json |
| t17_x25_u5_b110 | 17 | 25 | 5 | 110 | ![]() |
dst(R,add(R,sgn(D))) | 119387 | 139061357 | o2(x,o2(x,o1(x))) | true | 115103 | 115103 | 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_x25_u5_b111 | 17 | 25 | 5 | 111 | ![]() |
dst(R,sub(R,sgn(D))) | 119388 | 139061358 | o2(x,o2(x,o1(x))) | true | 115111 | 115111 | 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_x25_u5_b112 | 17 | 25 | 5 | 112 | ![]() |
dst(R,mlt(R,sgn(D))) | 119389 | 139061359 | o2(x,o2(x,o1(x))) | true | 115119 | 115119 | 0.8715 | 1 | 0.8715 | 0.04391 | 0.2095 | 0.002852 | 1 | 0.9971 | 1 | 2.228 | 0.007543 | 0.007859 | 0.05156 | -0.0205 | 1 | -0.0000897 | 0.02842 | 0.06279 | 0.01275 | 0.1129 | 2.19 | 0.9971 | 0.3508 | 0.6474 | 1 | 1 | 0.01664 | 0.06527 | 0.05061 | 0.379 | 1.487 | 1.153 | json |
| t17_x25_u5_b113 | 17 | 25 | 5 | 113 | ![]() |
dst(R,div(R,sgn(D))) | 119390 | 139061360 | o2(x,o2(x,o1(x))) | true | 115127 | 115127 | -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_x25_u5_b114 | 17 | 25 | 5 | 114 | ![]() |
dst(R,pow(R,sgn(D))) | 119391 | 139061361 | o2(x,o2(x,o1(x))) | true | 115135 | 115135 | -0.9927 | 0.003906 | 0.9995 | 0.01393 | 0.118 | -1 | 1 | 2 | 1 | 0.0436 | 0.001802 | 0.00155 | 0.00193 | 0.07523 | 1 | -6.007e-11 | 0.007039 | 0.003717 | 0.003346 | 0.05784 | 29.96 | 2.828 | 0.2407 | 0.5054 | 1 | 1 | 0.005944 | 0.02559 | 0.04951 | 0.4268 | 1.837 | 3.555 | json |
| t17_x25_u5_b115 | 17 | 25 | 5 | 115 | ![]() |
dst(R,mod(R,sgn(D))) | 119392 | 139061362 | o2(x,o2(x,o1(x))) | true | 115143 | 115143 | 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_x25_u5_b116 | 17 | 25 | 5 | 116 | ![]() |
dst(R,lrg(R,sgn(D))) | 119393 | 139061363 | o2(x,o2(x,o1(x))) | true | 115151 | 115151 | 0.9611 | 1 | 0.9611 | 0.01056 | 0.1028 | 0.241 | 1 | 0.759 | 1 | 1.077 | 0.001781 | 0.001979 | 0.01874 | -0.05265 | 1 | -0.0000468 | 0.007107 | 0.02398 | 0.003409 | 0.05839 | 3.116 | 0.9104 | 0.3561 | 0.6729 | 1 | 1 | 0.004175 | 0.01691 | 0.01948 | 0.3953 | 1.601 | 1.844 | json |
| t17_x25_u5_b117 | 17 | 25 | 5 | 117 | ![]() |
dst(R,eql(R,sgn(D))) | 119394 | 139061364 | o2(x,o2(x,o1(x))) | true | 115159 | 115159 | 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_x25_u5_b118 | 17 | 25 | 5 | 118 | ![]() |
dst(R,min(R,sgn(D))) | 119395 | 139061365 | o2(x,o2(x,o1(x))) | true | 115167 | 115167 | 0.7832 | 1 | 0.7832 | 0.08772 | 0.2962 | 0.00006788 | 1 | 0.9999 | 1 | 2.765 | 0.01566 | 0.01619 | 0.08032 | -0.01641 | 1 | -0.0001004 | 0.0592 | 0.09678 | 0.0254 | 0.1594 | 1.984 | 0.9998 | 0.3631 | 0.6749 | 1 | 1 | 0.03534 | 0.1395 | 0.09136 | 0.4028 | 1.59 | 1.041 | json |
| t17_x25_u5_b119 | 17 | 25 | 5 | 119 | ![]() |
dst(R,dot(R,sgn(D))) | 119396 | 139061366 | o2(x,o2(x,o1(x))) | true | 115175 | 115175 | 0.9589 | 1 | 0.9589 | 0.01239 | 0.1113 | 0.05644 | 1 | 0.9436 | 1 | 1.078 | 0.002005 | 0.002068 | 0.01988 | -0.01563 | 1 | -0.00006732 | 0.007557 | 0.02517 | 0.003679 | 0.06065 | 3.051 | 0.8717 | 0.3287 | 0.6099 | 1 | 1 | 0.004086 | 0.01545 | 0.01818 | 0.3298 | 1.247 | 1.467 | json |
| t17_x25_u5_b120 | 17 | 25 | 5 | 120 | ![]() |
dst(R,dst(R,sgn(D))) | 119397 | 139061367 | o2(x,o2(x,o1(x))) | true | 115183 | 115183 | 0.9973 | 1 | 0.9973 | 0.001132 | 0.03364 | 0.1121 | 1 | 0.8879 | 1 | 0.0966 | 0.0004378 | 0.0004443 | 0.002593 | -0.007431 | 1 | 7.133e-11 | 0.001871 | 0.003885 | 0.000876 | 0.0296 | 11.41 | 0.8879 | 0.7794 | 1.653 | 1 | 1 | 0.001515 | 0.003634 | 0.002875 | 1.338 | 3.211 | 2.54 | json |
| t17_x25_u6_b0 | 17 | 25 | 6 | 0 | ![]() |
add(R,add(R,nrm(D))) | 119398 | 139061448 | o2(x,o2(x,o1(x))) | true | 115191 | 115191 | 0.01361 | 0.5085 | 0.6573 | 0.5496 | 0.7414 | -1 | 1 | 2 | 1 | 4.348 | 0.02578 | 0.01185 | 0.1332 | 0.3702 | 1 | 0.0001146 | 0.02407 | 0.06356 | 0.01988 | 0.141 | 1.058 | 1.47 | 0.06846 | 0.0438 | 1 | 1 | 0.06626 | 0.5107 | 0.8763 | 0.1205 | 0.9291 | 1.594 | json |
| t17_x25_u6_b1 | 17 | 25 | 6 | 1 | ![]() |
add(R,sub(R,nrm(D))) | 119399 | 139061449 | o2(x,o2(x,o1(x))) | true | 115199 | 115199 | 0.01274 | 0.5039 | 0.6595 | 0.5514 | 0.7425 | -1 | 1 | 2 | 1 | 4.358 | 0.02537 | 0.01193 | 0.1321 | 0.3605 | 1 | 0.0001001 | 0.02396 | 0.06311 | 0.01986 | 0.1409 | 1.067 | 1.47 | 0.06764 | 0.04345 | 1 | 1 | 0.06524 | 0.5048 | 0.8828 | 0.1183 | 0.9155 | 1.601 | json |



































































































