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_x22_u4_b85 | 17 | 22 | 4 | 85 | ![]() |
eql(R,min(D,cil(D))) | 116700 | 138939928 | o2(x,o2(x,o1(x))) | true | 93607 | 93607 | 0.00004008 | 0.0002289 | 0.00004008 | 0.00001031 | 0.00321 | 0 | 0.3282 | 0.3282 | 1 | 0.002722 | 0.00001454 | 1.509e-7 | 0.00006305 | 0.9795 | 0 | 1.17e-7 | 0.00004407 | 0.0001242 | 0.00001469 | 0.003832 | 60.78 | 0.3186 | 1.425 | 4.276 | 1 | 1 | 0 | 0 | 0.000007865 | 0 | 0 | 0.7631 | json |
| t17_x22_u4_b86 | 17 | 22 | 4 | 86 | ![]() |
eql(R,dot(D,cil(D))) | 116701 | 138939929 | o2(x,o2(x,o1(x))) | true | 93615 | 93615 | 0.00006383 | 0.0001831 | 0.00006383 | 0.00002563 | 0.005063 | 0 | 0.5202 | 0.5202 | 1 | 0.003011 | 0.00005292 | 0.00005292 | 0.0001882 | 0 | 1 | -3.285e-12 | 0.0006318 | 0.000527 | 0.0001058 | 0.01028 | 54.64 | 0.7357 | 4.129 | 24.65 | 1 | 1 | 2.681e-7 | 0.00001538 | 0.00002327 | 0.01046 | 0.6002 | 0.908 | json |
| t17_x22_u4_b87 | 17 | 22 | 4 | 87 | ![]() |
eql(R,dst(D,cil(D))) | 116702 | 138939930 | o2(x,o2(x,o1(x))) | true | 93623 | 93623 | 0.00003771 | 0.0001831 | 0.00003771 | 0.00001553 | 0.003941 | 0 | 0.741 | 0.741 | 1 | 0.002068 | 0.00003206 | 0.00003206 | 0.0001329 | 0 | 0 | 9.386e-13 | 0.0003206 | 0.0003113 | 0.00006409 | 0.008006 | 60.25 | 1.048 | 4.129 | 20.64 | 1 | 1 | 0.00003203 | 0.00003203 | 0.00003671 | 2.063 | 2.063 | 2.364 | json |
| t17_x22_u4_b88 | 17 | 22 | 4 | 88 | ![]() |
min(R,add(D,cil(D))) | 116703 | 138939931 | o2(x,o2(x,o1(x))) | true | 93631 | 93631 | -0.2054 | 0.2192 | 0.3592 | 0.1448 | 0.3805 | -0.9989 | 0.9803 | 1.979 | 1 | 4.534 | 0.01305 | 0.001804 | 0.0723 | 0.7571 | 1 | 0.0001937 | 0.01926 | 0.0448 | 0.009633 | 0.09815 | 1.358 | 0.9999 | 0.1026 | 0.133 | 1 | 1 | 0.02009 | 0.1442 | 0.2262 | 0.1388 | 0.9962 | 1.562 | json |
| t17_x22_u4_b89 | 17 | 22 | 4 | 89 | ![]() |
min(R,sub(D,cil(D))) | 116704 | 138939932 | o2(x,o2(x,o1(x))) | true | 93639 | 93639 | -0.584 | 0 | 0.584 | 0.06682 | 0.2585 | -0.999 | -0.03125 | 0.9678 | 1 | 3.919 | 0.03591 | 0.0002765 | 0.09026 | 0.9847 | 1 | -0.000118 | 0.07545 | 0.09292 | 0.02804 | 0.1675 | 1.855 | 0.9375 | 0.5416 | 1.129 | 1 | 1 | 0.03459 | 0.08922 | 0.03213 | 0.5176 | 1.335 | 0.4808 | json |
| t17_x22_u4_b90 | 17 | 22 | 4 | 90 | ![]() |
min(R,mlt(D,cil(D))) | 116705 | 138939933 | o2(x,o2(x,o1(x))) | true | 93647 | 93647 | -0.1964 | 0.2985 | 0.2622 | 0.08805 | 0.2967 | -0.9989 | 0.2729 | 1.272 | 1 | 4.128 | 0.00144 | 0.00123 | 0.0431 | 0.07884 | 1 | -0.0001498 | 0.0002599 | 0.01243 | 0.0008131 | 0.02851 | 0.6617 | 0.1528 | 0.03033 | 0.002951 | 1 | 1 | 0.005018 | 0.0588 | 0.1438 | 0.05699 | 0.6678 | 1.634 | json |
| t17_x22_u4_b91 | 17 | 22 | 4 | 91 | ![]() |
min(R,div(D,cil(D))) | 116706 | 138939934 | o2(x,o2(x,o1(x))) | true | 93655 | 93655 | -0.06583 | 0.4636 | 0.3355 | 0.1697 | 0.4119 | -0.9989 | 0.9805 | 1.979 | 1 | 4.715 | 0.01097 | 0.002358 | 0.07139 | 0.6461 | 1 | -0.0001464 | 0.01898 | 0.04429 | 0.00823 | 0.09072 | 1.271 | 0.9385 | 0.07855 | 0.1119 | 1 | 1 | 0.01711 | 0.1264 | 0.2837 | 0.1009 | 0.7452 | 1.672 | json |
| t17_x22_u4_b92 | 17 | 22 | 4 | 92 | ![]() |
min(R,pow(D,cil(D))) | 116707 | 138939935 | o2(x,o2(x,o1(x))) | true | 93663 | 93663 | -0.06583 | 0.4636 | 0.3355 | 0.1697 | 0.4119 | -0.9989 | 0.9805 | 1.979 | 1 | 4.715 | 0.01097 | 0.002358 | 0.07139 | 0.6461 | 1 | -0.0001464 | 0.01898 | 0.04429 | 0.00823 | 0.09072 | 1.271 | 0.9385 | 0.07855 | 0.1119 | 1 | 1 | 0.01711 | 0.1264 | 0.2837 | 0.1009 | 0.7452 | 1.672 | json |
| t17_x22_u4_b93 | 17 | 22 | 4 | 93 | ![]() |
min(R,mod(D,cil(D))) | 116708 | 138939936 | o2(x,o2(x,o1(x))) | true | 93671 | 93671 | -0.06583 | 0.4636 | 0.3355 | 0.1697 | 0.4119 | -0.9989 | 0.9805 | 1.979 | 1 | 4.715 | 0.01097 | 0.002358 | 0.07139 | 0.6461 | 1 | -0.0001464 | 0.01898 | 0.04429 | 0.00823 | 0.09072 | 1.271 | 0.9385 | 0.07855 | 0.1119 | 1 | 1 | 0.01711 | 0.1264 | 0.2837 | 0.1009 | 0.7452 | 1.672 | json |
| t17_x22_u4_b94 | 17 | 22 | 4 | 94 | ![]() |
min(R,lrg(D,cil(D))) | 116709 | 138939937 | o2(x,o2(x,o1(x))) | true | 93679 | 93679 | -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_x22_u4_b95 | 17 | 22 | 4 | 95 | ![]() |
min(R,eql(D,cil(D))) | 116710 | 138939938 | o2(x,o2(x,o1(x))) | true | 93687 | 93687 | -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_x22_u4_b96 | 17 | 22 | 4 | 96 | ![]() |
min(R,min(D,cil(D))) | 116711 | 138939939 | o2(x,o2(x,o1(x))) | true | 93695 | 93695 | -0.2802 | 0.1663 | 0.3076 | 0.07392 | 0.2719 | -0.9989 | 0.1454 | 1.144 | 1 | 4.044 | 0.001754 | 0.001001 | 0.04511 | 0.2733 | 1 | 0.00002083 | 0.0002816 | 0.01333 | 0.00072 | 0.02683 | 0.5948 | 0.1528 | 0.03727 | 0.003809 | 1 | 1 | 0.005139 | 0.05796 | 0.1186 | 0.06952 | 0.784 | 1.604 | json |
| t17_x22_u4_b97 | 17 | 22 | 4 | 97 | ![]() |
min(R,dot(D,cil(D))) | 116712 | 138939940 | o2(x,o2(x,o1(x))) | true | 93703 | 93703 | -0.1493 | 0.3911 | 0.2813 | 0.1091 | 0.3303 | -0.9989 | 0.5458 | 1.545 | 1 | 4.335 | 0.001624 | 0.001837 | 0.0499 | -0.06176 | 1 | -0.0001846 | 0.0004112 | 0.01502 | 0.0009713 | 0.03117 | 0.6246 | 0.1884 | 0.03172 | 0.003768 | 1 | 1 | 0.006596 | 0.07521 | 0.1818 | 0.06044 | 0.6892 | 1.666 | json |
| t17_x22_u4_b98 | 17 | 22 | 4 | 98 | ![]() |
min(R,dst(D,cil(D))) | 116713 | 138939941 | o2(x,o2(x,o1(x))) | true | 93711 | 93711 | -0.02831 | 0.4858 | 0.3642 | 0.1916 | 0.4377 | -0.9989 | 0.9806 | 1.979 | 1 | 4.795 | 0.004943 | 0.00524 | 0.06903 | -0.02918 | 1 | -0.00003155 | 0.01182 | 0.03541 | 0.005417 | 0.0736 | 1.066 | 1.307 | 0.05315 | 0.06168 | 1 | 1 | 0.01505 | 0.1396 | 0.3343 | 0.07854 | 0.7287 | 1.745 | json |
| t17_x22_u4_b99 | 17 | 22 | 4 | 99 | ![]() |
dot(R,add(D,cil(D))) | 116714 | 138939942 | o2(x,o2(x,o1(x))) | true | 93719 | 93719 | 0.02825 | 0.5173 | 0.4316 | 0.2817 | 0.5308 | -1 | 1 | 2 | 1 | 4.879 | 0.02038 | 0.02006 | 0.1222 | 0.007854 | 1 | -0.00009474 | 0.05886 | 0.1118 | 0.02551 | 0.1597 | 1.307 | 1.414 | 0.1436 | 0.2089 | 1 | 1 | 0.05188 | 0.3709 | 0.5524 | 0.1841 | 1.317 | 1.961 | json |
| t17_x22_u4_b100 | 17 | 22 | 4 | 100 | ![]() |
dot(R,sub(D,cil(D))) | 116715 | 138939943 | o2(x,o2(x,o1(x))) | true | 93727 | 93727 | -0.02508 | 0.493 | 0.2849 | 0.1359 | 0.3686 | -1 | 1 | 2 | 1 | 4.553 | 0.01602 | 0.01579 | 0.1048 | 0.007064 | 1 | -0.0001489 | 0.06198 | 0.1093 | 0.02082 | 0.1443 | 1.376 | 1.257 | 0.2341 | 0.4562 | 1 | 1 | 0.03297 | 0.1267 | 0.2502 | 0.2427 | 0.9325 | 1.841 | json |
| t17_x22_u4_b101 | 17 | 22 | 4 | 101 | ![]() |
dot(R,mlt(D,cil(D))) | 116716 | 138939944 | o2(x,o2(x,o1(x))) | true | 93735 | 93735 | 0.008719 | 0.5125 | 0.09959 | 0.01575 | 0.1255 | -0.404 | 0.432 | 0.836 | 1 | 3.059 | 0.0005069 | 0.000499 | 0.02768 | 0.007792 | 1 | -0.00006738 | 0.0001639 | 0.01005 | 0.0002398 | 0.01549 | 0.5595 | 0.09316 | 0.06388 | 0.01041 | 1 | 1 | 0.001876 | 0.01825 | 0.0309 | 0.1191 | 1.159 | 1.962 | json |
| t17_x22_u4_b102 | 17 | 22 | 4 | 102 | ![]() |
dot(R,div(D,cil(D))) | 116717 | 138939945 | o2(x,o2(x,o1(x))) | true | 93743 | 93743 | -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_x22_u4_b103 | 17 | 22 | 4 | 103 | ![]() |
dot(R,pow(D,cil(D))) | 116718 | 138939946 | o2(x,o2(x,o1(x))) | true | 93751 | 93751 | -0.004995 | 0.5054 | 0.4789 | 0.3301 | 0.5746 | -1 | 1 | 2 | 1 | 4.873 | 0.01727 | 0.0161 | 0.1179 | 0.03517 | 1 | -0.00005672 | 0.05074 | 0.102 | 0.01947 | 0.1395 | 1.184 | 1.201 | 0.1011 | 0.1537 | 1 | 1 | 0.04358 | 0.3051 | 0.6532 | 0.132 | 0.9243 | 1.979 | json |
| t17_x22_u4_b104 | 17 | 22 | 4 | 104 | ![]() |
dot(R,mod(D,cil(D))) | 116719 | 138939947 | o2(x,o2(x,o1(x))) | true | 93759 | 93759 | -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_x22_u4_b105 | 17 | 22 | 4 | 105 | ![]() |
dot(R,lrg(D,cil(D))) | 116720 | 138939948 | o2(x,o2(x,o1(x))) | true | 93767 | 93767 | 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_x22_u4_b106 | 17 | 22 | 4 | 106 | ![]() |
dot(R,eql(D,cil(D))) | 116721 | 138939949 | o2(x,o2(x,o1(x))) | true | 93775 | 93775 | -0.02962 | 0.4693 | 0.3744 | 0.1997 | 0.4469 | -0.9967 | 0.9893 | 1.986 | 1 | 4.818 | 0.003 | 0.00287 | 0.06261 | 0.02222 | 1 | -0.00003178 | 0.0003527 | 0.01452 | 0.001951 | 0.04417 | 0.7055 | 0.2258 | 0.02939 | 0.001766 | 1 | 1 | 0.01331 | 0.1712 | 0.4269 | 0.06664 | 0.857 | 2.137 | json |
| t17_x22_u4_b107 | 17 | 22 | 4 | 107 | ![]() |
dot(R,min(D,cil(D))) | 116722 | 138939950 | o2(x,o2(x,o1(x))) | true | 93783 | 93783 | 0.004186 | 0.519 | 0.1403 | 0.03119 | 0.1766 | -0.5259 | 0.5965 | 1.122 | 1 | 3.548 | 0.001025 | 0.001036 | 0.04104 | -0.005293 | 1 | -0.0001214 | 0.0002066 | 0.0116 | 0.0003766 | 0.01941 | 0.4729 | 0.1246 | 0.06608 | 0.006623 | 1 | 1 | 0.003983 | 0.04517 | 0.06353 | 0.1277 | 1.448 | 2.037 | json |
| t17_x22_u4_b108 | 17 | 22 | 4 | 108 | ![]() |
dot(R,dot(D,cil(D))) | 116723 | 138939951 | o2(x,o2(x,o1(x))) | true | 93791 | 93791 | 0.007236 | 0.5189 | 0.1805 | 0.0606 | 0.2462 | -0.997 | 1 | 1.997 | 1 | 3.968 | 0.00153 | 0.001593 | 0.04593 | -0.02017 | 1 | -0.00001204 | 0.0005002 | 0.01649 | 0.001013 | 0.03182 | 0.6928 | 0.2026 | 0.05153 | 0.008254 | 1 | 1 | 0.006636 | 0.06489 | 0.12 | 0.1095 | 1.071 | 1.981 | json |
| t17_x22_u4_b109 | 17 | 22 | 4 | 109 | ![]() |
dot(R,dst(D,cil(D))) | 116724 | 138939952 | o2(x,o2(x,o1(x))) | true | 93799 | 93799 | 0.01134 | 0.5136 | 0.4211 | 0.2815 | 0.5305 | -1 | 1 | 2 | 1 | 4.777 | 0.01323 | 0.01361 | 0.1045 | -0.01434 | 1 | 0.000133 | 0.04191 | 0.08807 | 0.01593 | 0.1262 | 1.208 | 1.349 | 0.09537 | 0.1489 | 1 | 1 | 0.03723 | 0.2476 | 0.5359 | 0.1323 | 0.8798 | 1.904 | json |
| t17_x22_u4_b110 | 17 | 22 | 4 | 110 | ![]() |
dst(R,add(D,cil(D))) | 116725 | 138939953 | o2(x,o2(x,o1(x))) | true | 93807 | 93807 | 0.9796 | 1 | 0.9796 | 0.005995 | 0.07743 | 0.1369 | 1 | 0.8631 | 1 | 0.6439 | 0.001647 | 0.001683 | 0.01484 | -0.0107 | 1 | -0.00008031 | 0.006396 | 0.02006 | 0.003108 | 0.05575 | 3.756 | 1.198 | 0.5555 | 1.067 | 1 | 1 | 0.003563 | 0.01045 | 0.009762 | 0.5943 | 1.742 | 1.628 | json |
| t17_x22_u4_b111 | 17 | 22 | 4 | 111 | ![]() |
dst(R,sub(D,cil(D))) | 116726 | 138939954 | o2(x,o2(x,o1(x))) | true | 93815 | 93815 | 0.9452 | 1 | 0.9452 | 0.01489 | 0.122 | 0.09851 | 1 | 0.9015 | 1 | 1.377 | 0.00245 | 0.002568 | 0.02575 | -0.02352 | 1 | -0.00001707 | 0.009374 | 0.03075 | 0.004353 | 0.06598 | 2.562 | 1.221 | 0.3371 | 0.6296 | 1 | 1 | 0.004647 | 0.01549 | 0.02306 | 0.3121 | 1.04 | 1.549 | json |
| t17_x22_u4_b112 | 17 | 22 | 4 | 112 | ![]() |
dst(R,mlt(D,cil(D))) | 116727 | 138939955 | o2(x,o2(x,o1(x))) | true | 93823 | 93823 | 0.9083 | 1 | 0.9083 | 0.02038 | 0.1428 | 0.07035 | 1 | 0.9296 | 1 | 2.017 | 0.0005062 | 0.0006116 | 0.02015 | -0.09429 | 1 | -0.00004493 | 0.0002929 | 0.008787 | 0.0007114 | 0.02667 | 1.324 | 0.1586 | 0.05485 | 0.01437 | 1 | 1 | 0.00194 | 0.01857 | 0.03288 | 0.0952 | 0.9111 | 1.614 | json |
| t17_x22_u4_b113 | 17 | 22 | 4 | 113 | ![]() |
dst(R,div(D,cil(D))) | 116728 | 138939956 | o2(x,o2(x,o1(x))) | true | 93831 | 93831 | -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_x22_u4_b114 | 17 | 22 | 4 | 114 | ![]() |
dst(R,pow(D,cil(D))) | 116729 | 138939957 | o2(x,o2(x,o1(x))) | true | 93839 | 93839 | 0.9886 | 1 | 0.9886 | 0.003358 | 0.05795 | 0.2036 | 1 | 0.7964 | 1 | 0.4048 | 0.0006493 | 0.000874 | 0.007637 | -0.1475 | 1 | -0.00002345 | 0.002981 | 0.01018 | 0.001466 | 0.03828 | 5.013 | 0.7964 | 0.4536 | 0.8877 | 1 | 1 | 0.001906 | 0.006278 | 0.00739 | 0.5675 | 1.87 | 2.201 | json |
| t17_x22_u4_b115 | 17 | 22 | 4 | 115 | ![]() |
dst(R,mod(D,cil(D))) | 116730 | 138939958 | o2(x,o2(x,o1(x))) | true | 93847 | 93847 | -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_x22_u4_b116 | 17 | 22 | 4 | 116 | ![]() |
dst(R,lrg(D,cil(D))) | 116731 | 138939959 | o2(x,o2(x,o1(x))) | true | 93855 | 93855 | 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_x22_u4_b117 | 17 | 22 | 4 | 117 | ![]() |
dst(R,eql(D,cil(D))) | 116732 | 138939960 | o2(x,o2(x,o1(x))) | true | 93863 | 93863 | 0.9684 | 1 | 0.9684 | 0.009182 | 0.09582 | 0.2103 | 1 | 0.7897 | 1 | 0.9061 | 0.0002907 | 0.0002713 | 0.007968 | 0.03453 | 1 | -0.00004516 | 0.0002037 | 0.004353 | 0.0004984 | 0.02232 | 2.802 | 0.1992 | 0.0612 | 0.02219 | 1 | 1 | 0.0009074 | 0.007818 | 0.01255 | 0.09882 | 0.8515 | 1.367 | json |
| t17_x22_u4_b118 | 17 | 22 | 4 | 118 | ![]() |
dst(R,min(D,cil(D))) | 116733 | 138939961 | o2(x,o2(x,o1(x))) | true | 93871 | 93871 | 0.9181 | 1 | 0.9181 | 0.01978 | 0.1406 | 0.07175 | 1 | 0.9282 | 1 | 1.861 | 0.0006824 | 0.0007622 | 0.02203 | -0.05522 | 1 | -0.00004027 | 0.0004199 | 0.009976 | 0.000959 | 0.03097 | 1.406 | 0.1814 | 0.07303 | 0.02123 | 1 | 1 | 0.002532 | 0.02334 | 0.03425 | 0.128 | 1.18 | 1.731 | json |
| t17_x22_u4_b119 | 17 | 22 | 4 | 119 | ![]() |
dst(R,dot(D,cil(D))) | 116734 | 138939962 | o2(x,o2(x,o1(x))) | true | 93879 | 93879 | 0.9376 | 1 | 0.9376 | 0.01633 | 0.1278 | 0.0228 | 1 | 0.9772 | 1 | 1.521 | 0.0007783 | 0.0008864 | 0.02043 | -0.06493 | 1 | -0.0001525 | 0.0007309 | 0.01222 | 0.001247 | 0.03532 | 1.729 | 0.2129 | 0.1019 | 0.04475 | 1 | 1 | 0.003024 | 0.02246 | 0.02657 | 0.1851 | 1.375 | 1.627 | json |
| t17_x22_u4_b120 | 17 | 22 | 4 | 120 | ![]() |
dst(R,dst(D,cil(D))) | 116735 | 138939963 | o2(x,o2(x,o1(x))) | true | 93887 | 93887 | 0.9735 | 1 | 0.9735 | 0.008456 | 0.09196 | 0.02897 | 1 | 0.971 | 1 | 0.7633 | 0.001949 | 0.002062 | 0.0165 | -0.02826 | 1 | -0.00003409 | 0.007926 | 0.02246 | 0.00374 | 0.06115 | 3.707 | 1.373 | 0.4743 | 0.9373 | 1 | 1 | 0.005439 | 0.01706 | 0.01677 | 0.6432 | 2.018 | 1.983 | json |
| t17_x22_u5_b0 | 17 | 22 | 5 | 0 | ![]() |
add(R,add(D,sgn(D))) | 116736 | 138940044 | o2(x,o2(x,o1(x))) | true | 93895 | 93895 | 0.006572 | 0.5033 | 0.6729 | 0.5628 | 0.7502 | -1 | 1 | 2 | 1 | 4.33 | 0.1797 | 0.001891 | 0.209 | 0.9792 | 1 | 0.00001935 | 0.3052 | 0.2255 | 0.1379 | 0.3713 | 1.777 | 2.007 | 0.3227 | 0.5422 | 1 | 1 | 0.2133 | 0.9356 | 0.182 | 0.3789 | 1.663 | 0.3235 | json |
| t17_x22_u5_b1 | 17 | 22 | 5 | 1 | ![]() |
add(R,sub(D,sgn(D))) | 116737 | 138940045 | o2(x,o2(x,o1(x))) | true | 93903 | 93903 | 0.006248 | 0.506 | 0.5703 | 0.4466 | 0.6683 | -1 | 1 | 2 | 1 | 4.646 | 0.1579 | 0.00237 | 0.1954 | 0.9704 | 1 | -0.00004704 | 0.3002 | 0.207 | 0.1221 | 0.3495 | 1.789 | 1.946 | 0.359 | 0.6723 | 1 | 1 | 0.1723 | 0.633 | 0.2484 | 0.3859 | 1.417 | 0.5563 | json |
| t17_x22_u5_b2 | 17 | 22 | 5 | 2 | ![]() |
add(R,mlt(D,sgn(D))) | 116738 | 138940046 | o2(x,o2(x,o1(x))) | true | 93911 | 93911 | 0.288 | 0.7068 | 0.4734 | 0.2346 | 0.4843 | -0.9673 | 1 | 1.967 | 1 | 4.727 | 0.006778 | 0.003086 | 0.08629 | 0.3742 | 1 | -0.0005791 | 0.00127 | 0.02681 | 0.002419 | 0.04918 | 0.57 | 0.2558 | 0.04205 | 0.005416 | 1 | 1 | 0.01919 | 0.1975 | 0.3744 | 0.08181 | 0.8419 | 1.596 | json |
| t17_x22_u5_b3 | 17 | 22 | 5 | 3 | ![]() |
add(R,div(D,sgn(D))) | 116739 | 138940047 | o2(x,o2(x,o1(x))) | true | 93919 | 93919 | 0.288 | 0.7068 | 0.4734 | 0.2346 | 0.4843 | -0.9673 | 1 | 1.967 | 1 | 4.727 | 0.006778 | 0.003086 | 0.08629 | 0.3742 | 1 | -0.0005791 | 0.00127 | 0.02681 | 0.002419 | 0.04918 | 0.57 | 0.2558 | 0.04205 | 0.005416 | 1 | 1 | 0.01919 | 0.1975 | 0.3744 | 0.08181 | 0.8419 | 1.596 | json |
| t17_x22_u5_b4 | 17 | 22 | 5 | 4 | ![]() |
add(R,pow(D,sgn(D))) | 116740 | 138940048 | o2(x,o2(x,o1(x))) | true | 93927 | 93927 | -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_x22_u5_b5 | 17 | 22 | 5 | 5 | ![]() |
add(R,mod(D,sgn(D))) | 116741 | 138940049 | o2(x,o2(x,o1(x))) | true | 93935 | 93935 | 0.009078 | 0.4986 | 0.4013 | 0.2304 | 0.48 | -1 | 1 | 2 | 1 | 4.899 | 0.004471 | 0.003165 | 0.07546 | 0.1709 | 1 | 0.00002869 | 0.0006263 | 0.01935 | 0.001942 | 0.04407 | 0.584 | 0.2845 | 0.03314 | 0.002718 | 1 | 1 | 0.01508 | 0.1746 | 0.3904 | 0.06546 | 0.7577 | 1.694 | json |
| t17_x22_u5_b6 | 17 | 22 | 5 | 6 | ![]() |
add(R,lrg(D,sgn(D))) | 116742 | 138940050 | o2(x,o2(x,o1(x))) | true | 93943 | 93943 | 0.4375 | 0.7988 | 0.5744 | 0.2449 | 0.4949 | -0.9986 | 1 | 1.999 | 1 | 4.395 | 0.04755 | 0.0025 | 0.114 | 0.9001 | 1 | -0.000063 | 0.08465 | 0.1105 | 0.03705 | 0.1925 | 1.688 | 1.023 | 0.2044 | 0.3456 | 1 | 1 | 0.05856 | 0.2751 | 0.2764 | 0.2391 | 1.123 | 1.129 | json |
| t17_x22_u5_b7 | 17 | 22 | 5 | 7 | ![]() |
add(R,eql(D,sgn(D))) | 116743 | 138940051 | o2(x,o2(x,o1(x))) | true | 93951 | 93951 | 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_x22_u5_b8 | 17 | 22 | 5 | 8 | ![]() |
add(R,min(D,sgn(D))) | 116744 | 138940052 | o2(x,o2(x,o1(x))) | true | 93959 | 93959 | -0.2896 | 0.2858 | 0.5226 | 0.2979 | 0.5458 | -1 | 1 | 2 | 1 | 4.624 | 0.05336 | 0.002642 | 0.1309 | 0.9056 | 1 | -0.0001656 | 0.0852 | 0.1175 | 0.03888 | 0.1972 | 1.507 | 1.054 | 0.188 | 0.286 | 1 | 1 | 0.06991 | 0.3657 | 0.3044 | 0.2346 | 1.227 | 1.022 | json |
| t17_x22_u5_b9 | 17 | 22 | 5 | 9 | ![]() |
add(R,dot(D,sgn(D))) | 116745 | 138940053 | o2(x,o2(x,o1(x))) | true | 93967 | 93967 | 0.5285 | 0.8458 | 0.6129 | 0.2087 | 0.4569 | -0.9358 | 1 | 1.936 | 1 | 4.094 | 0.005921 | 0.006278 | 0.08975 | -0.02926 | 1 | -0.0009869 | 0.002403 | 0.033 | 0.004145 | 0.06438 | 0.7173 | 0.2727 | 0.05845 | 0.01151 | 1 | 1 | 0.02351 | 0.2111 | 0.297 | 0.1127 | 1.011 | 1.423 | json |
| t17_x22_u5_b10 | 17 | 22 | 5 | 10 | ![]() |
add(R,dst(D,sgn(D))) | 116746 | 138940054 | o2(x,o2(x,o1(x))) | true | 93975 | 93975 | 0.8144 | 0.9972 | 0.8148 | 0.06333 | 0.2517 | -0.1605 | 1 | 1.161 | 1 | 2.704 | 0.001764 | 0.001917 | 0.03963 | -0.0417 | 1 | 0.0003075 | 0.001434 | 0.02212 | 0.00211 | 0.04594 | 1.159 | 0.2439 | 0.05812 | 0.02264 | 1 | 1 | 0.00671 | 0.05003 | 0.1028 | 0.1059 | 0.79 | 1.623 | json |
| t17_x22_u5_b11 | 17 | 22 | 5 | 11 | ![]() |
sub(R,add(D,sgn(D))) | 116747 | 138940055 | o2(x,o2(x,o1(x))) | true | 93983 | 93983 | 0.005979 | 0.5028 | 0.6691 | 0.5583 | 0.7472 | -1 | 1 | 2 | 1 | 4.35 | 0.1793 | 0.0019 | 0.2084 | 0.979 | 1 | 0.00000391 | 0.305 | 0.2252 | 0.1378 | 0.3712 | 1.781 | 2.008 | 0.3246 | 0.5464 | 1 | 1 | 0.212 | 0.9262 | 0.1823 | 0.3797 | 1.659 | 0.3266 | json |
| t17_x22_u5_b12 | 17 | 22 | 5 | 12 | ![]() |
sub(R,sub(D,sgn(D))) | 116748 | 138940056 | o2(x,o2(x,o1(x))) | true | 93991 | 93991 | 0.00664 | 0.5106 | 0.5743 | 0.4515 | 0.6719 | -1 | 1 | 2 | 1 | 4.634 | 0.1583 | 0.002364 | 0.196 | 0.9706 | 1 | -0.00002589 | 0.3003 | 0.2075 | 0.1222 | 0.3496 | 1.783 | 1.947 | 0.3558 | 0.6652 | 1 | 1 | 0.1736 | 0.6427 | 0.2482 | 0.3844 | 1.423 | 0.5498 | json |
| t17_x22_u5_b13 | 17 | 22 | 5 | 13 | ![]() |
sub(R,mlt(D,sgn(D))) | 116749 | 138940057 | o2(x,o2(x,o1(x))) | true | 93999 | 93999 | -0.2679 | 0.3031 | 0.4647 | 0.2303 | 0.4799 | -1 | 0.9491 | 1.949 | 1 | 4.751 | 0.006748 | 0.003064 | 0.08585 | 0.3754 | 1 | 0.0006412 | 0.001257 | 0.02675 | 0.002441 | 0.04941 | 0.5755 | 0.2559 | 0.04261 | 0.00546 | 1 | 1 | 0.01914 | 0.1949 | 0.37 | 0.0831 | 0.8464 | 1.607 | json |
| t17_x22_u5_b14 | 17 | 22 | 5 | 14 | ![]() |
sub(R,div(D,sgn(D))) | 116750 | 138940058 | o2(x,o2(x,o1(x))) | true | 94007 | 94007 | -0.2679 | 0.3031 | 0.4647 | 0.2303 | 0.4799 | -1 | 0.9491 | 1.949 | 1 | 4.751 | 0.006748 | 0.003064 | 0.08585 | 0.3754 | 1 | 0.0006412 | 0.001257 | 0.02675 | 0.002441 | 0.04941 | 0.5755 | 0.2559 | 0.04261 | 0.00546 | 1 | 1 | 0.01914 | 0.1949 | 0.37 | 0.0831 | 0.8464 | 1.607 | json |
| t17_x22_u5_b15 | 17 | 22 | 5 | 15 | ![]() |
sub(R,pow(D,sgn(D))) | 116751 | 138940059 | o2(x,o2(x,o1(x))) | true | 94015 | 94015 | -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_x22_u5_b16 | 17 | 22 | 5 | 16 | ![]() |
sub(R,mod(D,sgn(D))) | 116752 | 138940060 | o2(x,o2(x,o1(x))) | true | 94023 | 94023 | 0.009165 | 0.4978 | 0.4005 | 0.2287 | 0.4782 | -1 | 1 | 2 | 1 | 4.894 | 0.004393 | 0.003164 | 0.07461 | 0.1626 | 1 | 0.00003074 | 0.0006179 | 0.01902 | 0.001989 | 0.0446 | 0.5978 | 0.2561 | 0.03305 | 0.002702 | 1 | 1 | 0.01479 | 0.1717 | 0.3901 | 0.06468 | 0.751 | 1.706 | json |
| t17_x22_u5_b17 | 17 | 22 | 5 | 17 | ![]() |
sub(R,lrg(D,sgn(D))) | 116753 | 138940061 | o2(x,o2(x,o1(x))) | true | 94031 | 94031 | -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_x22_u5_b18 | 17 | 22 | 5 | 18 | ![]() |
sub(R,eql(D,sgn(D))) | 116754 | 138940062 | o2(x,o2(x,o1(x))) | true | 94039 | 94039 | 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_x22_u5_b19 | 17 | 22 | 5 | 19 | ![]() |
sub(R,min(D,sgn(D))) | 116755 | 138940063 | o2(x,o2(x,o1(x))) | true | 94047 | 94047 | 0.3065 | 0.716 | 0.529 | 0.2898 | 0.5384 | -1 | 1 | 2 | 1 | 4.63 | 0.05316 | 0.002601 | 0.1292 | 0.9067 | 1 | 0.0002126 | 0.08576 | 0.1173 | 0.03907 | 0.1976 | 1.53 | 1.053 | 0.1924 | 0.2959 | 1 | 1 | 0.06936 | 0.3523 | 0.2919 | 0.2393 | 1.216 | 1.007 | json |
| t17_x22_u5_b20 | 17 | 22 | 5 | 20 | ![]() |
sub(R,dot(D,sgn(D))) | 116756 | 138940064 | o2(x,o2(x,o1(x))) | true | 94055 | 94055 | -0.5142 | 0.1638 | 0.6049 | 0.2097 | 0.458 | -1 | 0.9176 | 1.918 | 1 | 4.193 | 0.00607 | 0.006383 | 0.09205 | -0.02515 | 1 | 0.001138 | 0.002327 | 0.03346 | 0.003979 | 0.06308 | 0.6853 | 0.2811 | 0.05937 | 0.0111 | 1 | 1 | 0.02391 | 0.2139 | 0.3089 | 0.114 | 1.02 | 1.473 | json |
| t17_x22_u5_b21 | 17 | 22 | 5 | 21 | ![]() |
sub(R,dst(D,sgn(D))) | 116757 | 138940065 | o2(x,o2(x,o1(x))) | true | 94063 | 94063 | -0.8027 | 0.0002441 | 0.8027 | 0.06512 | 0.2552 | -1 | 0.02203 | 1.022 | 1 | 2.719 | 0.001984 | 0.002041 | 0.04152 | -0.01398 | 1 | -0.0003294 | 0.001501 | 0.02253 | 0.002301 | 0.04797 | 1.155 | 0.2377 | 0.06181 | 0.02305 | 1 | 1 | 0.007449 | 0.05769 | 0.1218 | 0.1144 | 0.8858 | 1.871 | json |
| t17_x22_u5_b22 | 17 | 22 | 5 | 22 | ![]() |
mlt(R,add(D,sgn(D))) | 116758 | 138940066 | o2(x,o2(x,o1(x))) | true | 94071 | 94071 | 0.00559 | 0.5079 | 0.4677 | 0.3061 | 0.5532 | -1 | 1 | 2 | 1 | 4.973 | 0.07404 | 0.004493 | 0.1319 | 0.8856 | 1 | -0.000021 | 0.1343 | 0.1283 | 0.06112 | 0.2472 | 1.874 | 2 | 0.2566 | 0.4387 | 1 | 1 | 0.09053 | 0.4946 | 0.5708 | 0.2958 | 1.616 | 1.865 | json |
| t17_x22_u5_b23 | 17 | 22 | 5 | 23 | ![]() |
mlt(R,sub(D,sgn(D))) | 116759 | 138940067 | o2(x,o2(x,o1(x))) | true | 94079 | 94079 | -0.003767 | 0.4935 | 0.2941 | 0.1322 | 0.3636 | -0.9675 | 0.9675 | 1.935 | 1 | 4.574 | 0.06406 | 0.001889 | 0.1106 | 0.9427 | 1 | -0.00005492 | 0.1328 | 0.1167 | 0.05371 | 0.2318 | 2.095 | 1.935 | 0.4987 | 1.004 | 1 | 1 | 0.06615 | 0.2175 | 0.2394 | 0.5002 | 1.645 | 1.811 | json |
| t17_x22_u5_b24 | 17 | 22 | 5 | 24 | ![]() |
mlt(R,mlt(D,sgn(D))) | 116760 | 138940068 | o2(x,o2(x,o1(x))) | true | 94087 | 94087 | 0.002568 | 0.5015 | 0.09742 | 0.01741 | 0.1319 | -0.4824 | 0.4674 | 0.9498 | 1 | 3.095 | 0.0007897 | 0.000256 | 0.02739 | 0.5104 | 1 | -0.00007094 | 0.0002312 | 0.01102 | 0.0002953 | 0.01718 | 0.6273 | 0.08467 | 0.06008 | 0.01328 | 1 | 1 | 0.001935 | 0.01522 | 0.03047 | 0.1112 | 0.8744 | 1.751 | json |
| t17_x22_u5_b25 | 17 | 22 | 5 | 25 | ![]() |
mlt(R,div(D,sgn(D))) | 116761 | 138940069 | o2(x,o2(x,o1(x))) | true | 94095 | 94095 | 0.002568 | 0.5015 | 0.09742 | 0.01741 | 0.1319 | -0.4824 | 0.4674 | 0.9498 | 1 | 3.095 | 0.0007897 | 0.000256 | 0.02739 | 0.5104 | 1 | -0.00007094 | 0.0002312 | 0.01102 | 0.0002953 | 0.01718 | 0.6273 | 0.08467 | 0.06008 | 0.01328 | 1 | 1 | 0.001935 | 0.01522 | 0.03047 | 0.1112 | 0.8744 | 1.751 | json |
| t17_x22_u5_b26 | 17 | 22 | 5 | 26 | ![]() |
mlt(R,pow(D,sgn(D))) | 116762 | 138940070 | o2(x,o2(x,o1(x))) | true | 94103 | 94103 | -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_x22_u5_b27 | 17 | 22 | 5 | 27 | ![]() |
mlt(R,mod(D,sgn(D))) | 116763 | 138940071 | o2(x,o2(x,o1(x))) | true | 94111 | 94111 | 0.001509 | 0.5091 | 0.09077 | 0.0151 | 0.1229 | -0.4311 | 0.4889 | 0.92 | 1 | 3.004 | 0.0007895 | 0.0002198 | 0.02769 | 0.5645 | 1 | -0.00003739 | 0.000103 | 0.008005 | 0.0002428 | 0.01558 | 0.5628 | 0.08276 | 0.06684 | 0.006818 | 1 | 1 | 0.001985 | 0.02214 | 0.02942 | 0.1314 | 1.466 | 1.949 | json |
| t17_x22_u5_b28 | 17 | 22 | 5 | 28 | ![]() |
mlt(R,lrg(D,sgn(D))) | 116764 | 138940072 | o2(x,o2(x,o1(x))) | true | 94119 | 94119 | 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_x22_u5_b29 | 17 | 22 | 5 | 29 | ![]() |
mlt(R,eql(D,sgn(D))) | 116765 | 138940073 | o2(x,o2(x,o1(x))) | true | 94127 | 94127 | 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_x22_u5_b30 | 17 | 22 | 5 | 30 | ![]() |
mlt(R,min(D,sgn(D))) | 116766 | 138940074 | o2(x,o2(x,o1(x))) | true | 94135 | 94135 | 0.0001872 | 0.5111 | 0.2421 | 0.1132 | 0.3364 | -0.9807 | 0.9989 | 1.98 | 1 | 4.344 | 0.01924 | 0.001632 | 0.07453 | 0.8436 | 1 | -0.00005866 | 0.03354 | 0.06495 | 0.01532 | 0.1238 | 1.66 | 1.03 | 0.1844 | 0.2963 | 1 | 1 | 0.02504 | 0.1547 | 0.2075 | 0.2212 | 1.367 | 1.833 | json |
| t17_x22_u5_b31 | 17 | 22 | 5 | 31 | ![]() |
mlt(R,dot(D,sgn(D))) | 116767 | 138940075 | o2(x,o2(x,o1(x))) | true | 94143 | 94143 | 0.005137 | 0.5041 | 0.1923 | 0.05725 | 0.2393 | -0.8661 | 0.6823 | 1.548 | 1 | 3.98 | 0.001201 | 0.001257 | 0.04391 | -0.02272 | 1 | -0.00003869 | 0.0005167 | 0.01792 | 0.0005295 | 0.02301 | 0.524 | 0.1521 | 0.04293 | 0.009024 | 1 | 1 | 0.004614 | 0.03911 | 0.1024 | 0.08059 | 0.6832 | 1.789 | json |
| t17_x22_u5_b32 | 17 | 22 | 5 | 32 | ![]() |
mlt(R,dst(D,sgn(D))) | 116768 | 138940076 | o2(x,o2(x,o1(x))) | true | 94151 | 94151 | 0.009342 | 0.4962 | 0.4232 | 0.2603 | 0.5102 | -1 | 1 | 2 | 1 | 4.914 | 0.00394 | 0.004365 | 0.07726 | -0.05119 | 1 | 0.00005116 | 0.0007141 | 0.01738 | 0.002335 | 0.04832 | 0.6255 | 0.2792 | 0.0319 | 0.002743 | 1 | 1 | 0.01639 | 0.2048 | 0.4646 | 0.06297 | 0.7867 | 1.785 | json |
| t17_x22_u5_b33 | 17 | 22 | 5 | 33 | ![]() |
div(R,add(D,sgn(D))) | 116769 | 138940077 | o2(x,o2(x,o1(x))) | true | 94159 | 94159 | 0.004191 | 0.507 | 0.3149 | 0.1467 | 0.383 | -0.9684 | 0.9685 | 1.937 | 1 | 4.637 | 0.06393 | 0.002099 | 0.1098 | 0.9364 | 1 | 0.00004759 | 0.1321 | 0.116 | 0.05398 | 0.2323 | 2.116 | 1.937 | 0.4501 | 0.9005 | 1 | 1 | 0.06661 | 0.2387 | 0.2677 | 0.454 | 1.627 | 1.825 | json |
| t17_x22_u5_b34 | 17 | 22 | 5 | 34 | ![]() |
div(R,sub(D,sgn(D))) | 116770 | 138940078 | o2(x,o2(x,o1(x))) | true | 94167 | 94167 | -0.007565 | 0.4903 | 0.5054 | 0.3535 | 0.5945 | -1 | 1 | 2 | 1 | 4.937 | 0.07397 | 0.005432 | 0.1358 | 0.8632 | 1 | 0.00002806 | 0.1344 | 0.1283 | 0.06097 | 0.2469 | 1.819 | 2 | 0.2246 | 0.3802 | 1 | 1 | 0.09242 | 0.532 | 0.6674 | 0.2615 | 1.505 | 1.888 | json |
| t17_x22_u5_b35 | 17 | 22 | 5 | 35 | ![]() |
div(R,mlt(D,sgn(D))) | 116771 | 138940079 | o2(x,o2(x,o1(x))) | true | 94175 | 94175 | -0.001776 | 0.4955 | 0.8127 | 0.7511 | 0.8667 | -1 | 1 | 2 | 1 | 3.272 | 0.02212 | 0.03243 | 0.1178 | -0.1891 | 1 | 0.00005911 | 0.05475 | 0.07719 | 0.04069 | 0.2017 | 1.713 | 2.108 | 0.07262 | 0.07289 | 1 | 1 | 0.08918 | 0.6627 | 1.361 | 0.1187 | 0.8823 | 1.812 | json |
| t17_x22_u5_b36 | 17 | 22 | 5 | 36 | ![]() |
div(R,div(D,sgn(D))) | 116772 | 138940080 | o2(x,o2(x,o1(x))) | true | 94183 | 94183 | -0.001776 | 0.4955 | 0.8127 | 0.7511 | 0.8667 | -1 | 1 | 2 | 1 | 3.272 | 0.02212 | 0.03243 | 0.1178 | -0.1891 | 1 | 0.00005911 | 0.05475 | 0.07719 | 0.04069 | 0.2017 | 1.713 | 2.108 | 0.07262 | 0.07289 | 1 | 1 | 0.08918 | 0.6627 | 1.361 | 0.1187 | 0.8823 | 1.812 | json |
| t17_x22_u5_b37 | 17 | 22 | 5 | 37 | ![]() |
div(R,pow(D,sgn(D))) | 116773 | 138940081 | o2(x,o2(x,o1(x))) | true | 94191 | 94191 | -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_x22_u5_b38 | 17 | 22 | 5 | 38 | ![]() |
div(R,mod(D,sgn(D))) | 116774 | 138940082 | o2(x,o2(x,o1(x))) | true | 94199 | 94199 | 0.0102 | 0.5064 | 0.8024 | 0.7396 | 0.86 | -1 | 1 | 2 | 1 | 3.328 | 0.2573 | 0.03211 | 0.239 | 0.7781 | 1 | -0.00006844 | 0.5792 | 0.3129 | 0.2324 | 0.482 | 2.017 | 2.828 | 0.3913 | 0.7831 | 1 | 1 | 0.3234 | 1.359 | 1.366 | 0.4372 | 1.837 | 1.847 | json |
| t17_x22_u5_b39 | 17 | 22 | 5 | 39 | ![]() |
div(R,lrg(D,sgn(D))) | 116775 | 138940083 | o2(x,o2(x,o1(x))) | true | 94207 | 94207 | -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_x22_u5_b40 | 17 | 22 | 5 | 40 | ![]() |
div(R,eql(D,sgn(D))) | 116776 | 138940084 | o2(x,o2(x,o1(x))) | true | 94215 | 94215 | -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_x22_u5_b41 | 17 | 22 | 5 | 41 | ![]() |
div(R,min(D,sgn(D))) | 116777 | 138940085 | o2(x,o2(x,o1(x))) | true | 94223 | 94223 | 0.0002181 | 0.5062 | 0.6021 | 0.4844 | 0.696 | -1 | 1 | 2 | 1 | 4.503 | 0.1406 | 0.01763 | 0.1829 | 0.7772 | 1 | -0.00002004 | 0.3001 | 0.2208 | 0.1247 | 0.3532 | 1.931 | 2.106 | 0.3266 | 0.6195 | 1 | 1 | 0.1786 | 0.8045 | 0.8914 | 0.3687 | 1.661 | 1.84 | json |
| t17_x22_u5_b42 | 17 | 22 | 5 | 42 | ![]() |
div(R,dot(D,sgn(D))) | 116778 | 138940086 | o2(x,o2(x,o1(x))) | true | 94231 | 94231 | 0.003146 | 0.494 | 0.6501 | 0.5422 | 0.7364 | -1 | 1 | 2 | 1 | 4.333 | 0.01238 | 0.01349 | 0.1158 | -0.04287 | 1 | -0.0001553 | 0.011 | 0.048 | 0.01246 | 0.1116 | 0.9639 | 0.6809 | 0.0477 | 0.02028 | 1 | 1 | 0.04885 | 0.4868 | 0.9895 | 0.0901 | 0.8978 | 1.825 | json |
| t17_x22_u5_b43 | 17 | 22 | 5 | 43 | ![]() |
div(R,dst(D,sgn(D))) | 116779 | 138940087 | o2(x,o2(x,o1(x))) | true | 94239 | 94239 | 0.009315 | 0.5004 | 0.3727 | 0.1934 | 0.4397 | -1 | 0.9877 | 1.988 | 1 | 4.773 | 0.002454 | 0.002738 | 0.05963 | -0.05485 | 1 | -0.000008512 | 0.0004866 | 0.01785 | 0.001637 | 0.04046 | 0.6785 | 0.2161 | 0.02685 | 0.002517 | 1 | 1 | 0.01013 | 0.1207 | 0.3448 | 0.05238 | 0.6243 | 1.784 | json |
| t17_x22_u5_b44 | 17 | 22 | 5 | 44 | ![]() |
pow(R,add(D,sgn(D))) | 116780 | 138940088 | o2(x,o2(x,o1(x))) | true | 94247 | 94247 | -0.9193 | 0.04297 | 0.9947 | 0.147 | 0.3834 | -1 | 1 | 2 | 1 | 0.3418 | 0.01398 | 0.0147 | 0.01649 | -0.02518 | 1 | -0.00005607 | 0.05931 | 0.0313 | 0.02839 | 0.1685 | 10.22 | 2.828 | 0.1951 | 0.4034 | 1 | 1 | 0.02278 | 0.1014 | 0.2445 | 0.1549 | 0.6899 | 1.663 | json |
| t17_x22_u5_b45 | 17 | 22 | 5 | 45 | ![]() |
pow(R,sub(D,sgn(D))) | 116781 | 138940089 | o2(x,o2(x,o1(x))) | true | 94255 | 94255 | -0.9198 | 0.04297 | 0.9943 | 0.1451 | 0.3809 | -1 | 1 | 2 | 1 | 0.3566 | 0.01367 | 0.01438 | 0.01634 | -0.02517 | 1 | -0.000002709 | 0.05823 | 0.03083 | 0.02777 | 0.1667 | 10.2 | 2.646 | 0.1934 | 0.4014 | 1 | 1 | 0.02161 | 0.09763 | 0.2463 | 0.149 | 0.673 | 1.698 | json |
| t17_x22_u5_b46 | 17 | 22 | 5 | 46 | ![]() |
pow(R,mlt(D,sgn(D))) | 116782 | 138940090 | o2(x,o2(x,o1(x))) | true | 94263 | 94263 | -0.9211 | 0.04297 | 0.9929 | 0.1392 | 0.3731 | -1 | 0.9981 | 1.998 | 1 | 0.3735 | 0.01656 | 0.0139 | 0.0172 | 0.08719 | 1 | 0.00002841 | 0.06451 | 0.03225 | 0.03014 | 0.1736 | 10.09 | 2.822 | 0.2188 | 0.4634 | 1 | 1 | 0.0231 | 0.09429 | 0.2334 | 0.1659 | 0.6773 | 1.676 | json |
| t17_x22_u5_b47 | 17 | 22 | 5 | 47 | ![]() |
pow(R,div(D,sgn(D))) | 116783 | 138940091 | o2(x,o2(x,o1(x))) | true | 94271 | 94271 | -0.9211 | 0.04297 | 0.9929 | 0.1392 | 0.3731 | -1 | 0.9981 | 1.998 | 1 | 0.3735 | 0.01656 | 0.0139 | 0.0172 | 0.08719 | 1 | 0.00002841 | 0.06451 | 0.03225 | 0.03014 | 0.1736 | 10.09 | 2.822 | 0.2188 | 0.4634 | 1 | 1 | 0.0231 | 0.09429 | 0.2334 | 0.1659 | 0.6773 | 1.676 | json |
| t17_x22_u5_b48 | 17 | 22 | 5 | 48 | ![]() |
pow(R,pow(D,sgn(D))) | 116784 | 138940092 | o2(x,o2(x,o1(x))) | true | 94279 | 94279 | -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_x22_u5_b49 | 17 | 22 | 5 | 49 | ![]() |
pow(R,mod(D,sgn(D))) | 116785 | 138940093 | o2(x,o2(x,o1(x))) | true | 94287 | 94287 | -0.9156 | 0.04297 | 0.9984 | 0.1589 | 0.3986 | -1 | 1 | 2 | 1 | 0.3032 | 0.01672 | 0.01576 | 0.01679 | 0.02932 | 1 | 0.000002463 | 0.06819 | 0.03316 | 0.03218 | 0.1794 | 10.68 | 2.828 | 0.2045 | 0.4293 | 1 | 1 | 0.02487 | 0.1066 | 0.2644 | 0.1566 | 0.6709 | 1.665 | json |
| t17_x22_u5_b50 | 17 | 22 | 5 | 50 | ![]() |
pow(R,lrg(D,sgn(D))) | 116786 | 138940094 | o2(x,o2(x,o1(x))) | true | 94295 | 94295 | -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_x22_u5_b51 | 17 | 22 | 5 | 51 | ![]() |
pow(R,eql(D,sgn(D))) | 116787 | 138940095 | o2(x,o2(x,o1(x))) | true | 94303 | 94303 | 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_x22_u5_b52 | 17 | 22 | 5 | 52 | ![]() |
pow(R,min(D,sgn(D))) | 116788 | 138940096 | o2(x,o2(x,o1(x))) | true | 94311 | 94311 | -0.9152 | 0.04297 | 0.9989 | 0.1603 | 0.4004 | -1 | 1 | 2 | 1 | 0.2934 | 0.01672 | 0.01592 | 0.01677 | 0.02441 | 1 | -6.154e-7 | 0.0685 | 0.03329 | 0.03234 | 0.1798 | 10.72 | 2.828 | 0.2036 | 0.4272 | 1 | 1 | 0.02501 | 0.1075 | 0.2676 | 0.156 | 0.6708 | 1.669 | json |
| t17_x22_u5_b53 | 17 | 22 | 5 | 53 | ![]() |
pow(R,dot(D,sgn(D))) | 116789 | 138940097 | o2(x,o2(x,o1(x))) | true | 94319 | 94319 | -0.9264 | 0.04297 | 0.9876 | 0.1217 | 0.3488 | -1 | 0.9961 | 1.996 | 1 | 0.3992 | 0.01394 | 0.01371 | 0.0167 | 0.008276 | 1 | 0.00002976 | 0.05902 | 0.0309 | 0.02737 | 0.1654 | 9.909 | 2.815 | 0.2273 | 0.4851 | 1 | 1 | 0.02128 | 0.08375 | 0.2049 | 0.1749 | 0.6883 | 1.684 | json |
| t17_x22_u5_b54 | 17 | 22 | 5 | 54 | ![]() |
pow(R,dst(D,sgn(D))) | 116790 | 138940098 | o2(x,o2(x,o1(x))) | true | 94327 | 94327 | -0.9329 | 0.04297 | 0.9812 | 0.1022 | 0.3196 | -1 | 0.9366 | 1.937 | 1 | 0.4137 | 0.009732 | 0.009802 | 0.01395 | -0.003594 | 1 | -0.00000262 | 0.04036 | 0.02535 | 0.01934 | 0.1391 | 9.965 | 2.577 | 0.1912 | 0.395 | 1 | 1 | 0.01566 | 0.07144 | 0.173 | 0.1532 | 0.6993 | 1.694 | json |
| t17_x22_u5_b55 | 17 | 22 | 5 | 55 | ![]() |
mod(R,add(D,sgn(D))) | 116791 | 138940099 | o2(x,o2(x,o1(x))) | true | 94335 | 94335 | 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_x22_u5_b56 | 17 | 22 | 5 | 56 | ![]() |
mod(R,sub(D,sgn(D))) | 116792 | 138940100 | o2(x,o2(x,o1(x))) | true | 94343 | 94343 | -0.00607 | 0.4827 | 0.2628 | 0.1126 | 0.3355 | -0.9675 | 0.9634 | 1.931 | 1 | 4.447 | 0.02351 | 0.001604 | 0.08093 | 0.8723 | 1 | -0.0000976 | 0.04765 | 0.103 | 0.01857 | 0.1363 | 1.684 | 0.9065 | 0.2232 | 0.4233 | 1 | 1 | 0.0262 | 0.1114 | 0.2057 | 0.2328 | 0.9899 | 1.828 | json |
| t17_x22_u5_b57 | 17 | 22 | 5 | 57 | ![]() |
mod(R,mlt(D,sgn(D))) | 116793 | 138940101 | o2(x,o2(x,o1(x))) | true | 94351 | 94351 | -0.006161 | 0.4759 | 0.09044 | 0.01497 | 0.1224 | -0.456 | 0.4355 | 0.8915 | 1 | 2.997 | 0.006824 | 0.0002258 | 0.06342 | 0.9359 | 1 | -0.00001868 | 0.01816 | 0.09708 | 0.003027 | 0.05502 | 0.8674 | 0.39 | 0.4708 | 1.213 | 1 | 1 | 0.005404 | 0.01627 | 0.02848 | 0.3609 | 1.087 | 1.902 | json |
| t17_x22_u5_b58 | 17 | 22 | 5 | 58 | ![]() |
mod(R,div(D,sgn(D))) | 116794 | 138940102 | o2(x,o2(x,o1(x))) | true | 94359 | 94359 | -0.006161 | 0.4759 | 0.09044 | 0.01497 | 0.1224 | -0.456 | 0.4355 | 0.8915 | 1 | 2.997 | 0.006824 | 0.0002258 | 0.06342 | 0.9359 | 1 | -0.00001868 | 0.01816 | 0.09708 | 0.003027 | 0.05502 | 0.8674 | 0.39 | 0.4708 | 1.213 | 1 | 1 | 0.005404 | 0.01627 | 0.02848 | 0.3609 | 1.087 | 1.902 | json |
| t17_x22_u5_b59 | 17 | 22 | 5 | 59 | ![]() |
mod(R,pow(D,sgn(D))) | 116795 | 138940103 | o2(x,o2(x,o1(x))) | true | 94367 | 94367 | -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_x22_u5_b60 | 17 | 22 | 5 | 60 | ![]() |
mod(R,mod(D,sgn(D))) | 116796 | 138940104 | o2(x,o2(x,o1(x))) | true | 94375 | 94375 | -0.006161 | 0.4759 | 0.09044 | 0.01497 | 0.1224 | -0.456 | 0.4355 | 0.8915 | 1 | 2.997 | 0.006824 | 0.0002258 | 0.06342 | 0.9359 | 1 | -0.00001868 | 0.01816 | 0.09708 | 0.003027 | 0.05502 | 0.8674 | 0.39 | 0.4708 | 1.213 | 1 | 1 | 0.005404 | 0.01627 | 0.02848 | 0.3609 | 1.087 | 1.902 | json |
| t17_x22_u5_b61 | 17 | 22 | 5 | 61 | ![]() |
mod(R,lrg(D,sgn(D))) | 116797 | 138940105 | o2(x,o2(x,o1(x))) | true | 94383 | 94383 | -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_x22_u5_b62 | 17 | 22 | 5 | 62 | ![]() |
mod(R,eql(D,sgn(D))) | 116798 | 138940106 | o2(x,o2(x,o1(x))) | true | 94391 | 94391 | -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_x22_u5_b63 | 17 | 22 | 5 | 63 | ![]() |
mod(R,min(D,sgn(D))) | 116799 | 138940107 | o2(x,o2(x,o1(x))) | true | 94399 | 94399 | -0.0006656 | 0.4894 | 0.2479 | 0.1166 | 0.3414 | -0.9987 | 0.9805 | 1.979 | 1 | 4.378 | 0.02041 | 0.001691 | 0.08774 | 0.847 | 1 | 0.00003265 | 0.04226 | 0.1098 | 0.0144 | 0.12 | 1.368 | 0.9686 | 0.1896 | 0.3626 | 1 | 1 | 0.02335 | 0.1157 | 0.2088 | 0.2004 | 0.9922 | 1.791 | json |



































































































