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_x23_u4_b38 | 17 | 23 | 4 | 38 | ![]() |
div(R,mod(D,cil(R))) | 117500 | 138980282 | o2(x,o2(x,o1(x))) | true | 100007 | 100007 | -0.9576 | 0.02124 | 0.9925 | 0.07318 | 0.2705 | -1 | 1 | 2 | 1 | 0.2756 | 0.01104 | 0.006968 | 0.01379 | 0.2263 | 1 | -3.076e-7 | 0.03462 | 0.01943 | 0.01782 | 0.1335 | 9.682 | 2.042 | 0.2461 | 0.4731 | 1 | 1 | 0.01314 | 0.0632 | 0.1137 | 0.1795 | 0.8636 | 1.554 | json |
| t17_x23_u4_b39 | 17 | 23 | 4 | 39 | ![]() |
div(R,lrg(D,cil(R))) | 117501 | 138980283 | o2(x,o2(x,o1(x))) | true | 100015 | 100015 | -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_x23_u4_b40 | 17 | 23 | 4 | 40 | ![]() |
div(R,eql(D,cil(R))) | 117502 | 138980284 | o2(x,o2(x,o1(x))) | true | 100023 | 100023 | -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_x23_u4_b41 | 17 | 23 | 4 | 41 | ![]() |
div(R,min(D,cil(R))) | 117503 | 138980285 | o2(x,o2(x,o1(x))) | true | 100031 | 100031 | -0.6801 | 0.1647 | 0.9668 | 0.4926 | 0.7018 | -1 | 1 | 2 | 1 | 1.169 | 0.08051 | 0.04801 | 0.08309 | 0.2528 | 1 | 0.000002601 | 0.2617 | 0.136 | 0.1216 | 0.3487 | 4.196 | 2.828 | 0.2609 | 0.5313 | 1 | 1 | 0.1327 | 0.5644 | 1.06 | 0.2693 | 1.146 | 2.151 | json |
| t17_x23_u4_b42 | 17 | 23 | 4 | 42 | ![]() |
div(R,dot(D,cil(R))) | 117504 | 138980286 | o2(x,o2(x,o1(x))) | true | 100039 | 100039 | -0.68 | 0.1599 | 0.9437 | 0.4628 | 0.6803 | -1 | 1 | 2 | 1 | 1.466 | 0.1036 | 0.1046 | 0.1273 | -0.004977 | 1 | 0.00005139 | 0.6642 | 0.2252 | 0.1921 | 0.4382 | 3.442 | 2.828 | 0.4498 | 1.435 | 1 | 1 | 0.2642 | 0.7845 | 1.039 | 0.5709 | 1.695 | 2.245 | json |
| t17_x23_u4_b43 | 17 | 23 | 4 | 43 | ![]() |
div(R,dst(D,cil(R))) | 117505 | 138980287 | o2(x,o2(x,o1(x))) | true | 100047 | 100047 | -0.08184 | 0.465 | 0.3765 | 0.207 | 0.4549 | -1 | 1 | 2 | 1 | 4.728 | 0.00332 | 0.003512 | 0.06425 | -0.02801 | 1 | -0.00001184 | 0.001278 | 0.01766 | 0.002704 | 0.052 | 0.8093 | 0.4667 | 0.03301 | 0.006175 | 1 | 1 | 0.01177 | 0.1391 | 0.3471 | 0.05685 | 0.672 | 1.677 | json |
| t17_x23_u4_b44 | 17 | 23 | 4 | 44 | ![]() |
pow(R,add(D,cil(R))) | 117506 | 138980288 | o2(x,o2(x,o1(x))) | true | 100055 | 100055 | -0.9322 | 0.04297 | 0.9819 | 0.104 | 0.3225 | -1 | 0.9493 | 1.949 | 1 | 0.4116 | 0.01034 | 0.01063 | 0.01429 | -0.01362 | 1 | 0.000007304 | 0.04372 | 0.02639 | 0.02077 | 0.1441 | 10.08 | 2.646 | 0.2017 | 0.4203 | 1 | 1 | 0.01675 | 0.07303 | 0.1753 | 0.1611 | 0.7021 | 1.685 | json |
| t17_x23_u4_b45 | 17 | 23 | 4 | 45 | ![]() |
pow(R,sub(D,cil(R))) | 117507 | 138980289 | o2(x,o2(x,o1(x))) | true | 100063 | 100063 | -0.9141 | 0.04297 | 1 | 0.1645 | 0.4056 | -1 | 1 | 2 | 1 | 0.2557 | 0.01688 | 0.01638 | 0.01652 | 0.01515 | 1 | 0 | 0.06954 | 0.03326 | 0.03297 | 0.1816 | 10.99 | 2.828 | 0.2022 | 0.4228 | 1 | 1 | 0.02543 | 0.1095 | 0.2757 | 0.1546 | 0.6659 | 1.676 | json |
| t17_x23_u4_b46 | 17 | 23 | 4 | 46 | ![]() |
pow(R,mlt(D,cil(R))) | 117508 | 138980290 | o2(x,o2(x,o1(x))) | true | 100071 | 100071 | 0.9697 | 1 | 0.9697 | 0.005159 | 0.07183 | 0.31 | 1 | 0.69 | 1 | 0.9418 | 0.0003759 | 0.00009025 | 0.009942 | 0.6128 | 1 | 0.00005559 | 0.0001453 | 0.005084 | 0.0003675 | 0.01917 | 1.928 | 0.2493 | 0.09036 | 0.02816 | 1 | 1 | 0.0008193 | 0.006746 | 0.009334 | 0.1588 | 1.308 | 1.809 | json |
| t17_x23_u4_b47 | 17 | 23 | 4 | 47 | ![]() |
pow(R,div(D,cil(R))) | 117509 | 138980291 | o2(x,o2(x,o1(x))) | true | 100079 | 100079 | -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_x23_u4_b48 | 17 | 23 | 4 | 48 | ![]() |
pow(R,pow(D,cil(R))) | 117510 | 138980292 | o2(x,o2(x,o1(x))) | true | 100087 | 100087 | -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_x23_u4_b49 | 17 | 23 | 4 | 49 | ![]() |
pow(R,mod(D,cil(R))) | 117511 | 138980293 | o2(x,o2(x,o1(x))) | true | 100095 | 100095 | -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_x23_u4_b50 | 17 | 23 | 4 | 50 | ![]() |
pow(R,lrg(D,cil(R))) | 117512 | 138980294 | o2(x,o2(x,o1(x))) | true | 100103 | 100103 | -0.5625 | 0.2188 | 1 | 0.6836 | 0.8268 | -1 | 1 | 2 | 1 | 0.7579 | 0.08251 | 0.06563 | 0.07348 | 0.1139 | 1 | 0 | 0.3131 | 0.1481 | 0.1428 | 0.3779 | 5.142 | 2.828 | 0.2167 | 0.4579 | 1 | 1 | 0.1531 | 0.6281 | 1.494 | 0.2239 | 0.9188 | 2.185 | json |
| t17_x23_u4_b51 | 17 | 23 | 4 | 51 | ![]() |
pow(R,eql(D,cil(R))) | 117513 | 138980295 | o2(x,o2(x,o1(x))) | true | 100111 | 100111 | 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_x23_u4_b52 | 17 | 23 | 4 | 52 | ![]() |
pow(R,min(D,cil(R))) | 117514 | 138980296 | o2(x,o2(x,o1(x))) | true | 100119 | 100119 | -0.5812 | 0.2109 | 0.9969 | 0.6565 | 0.8103 | -1 | 1 | 2 | 1 | 0.8603 | 0.08127 | 0.06553 | 0.0743 | 0.1072 | 1 | 0.000006952 | 0.3105 | 0.1483 | 0.1413 | 0.3758 | 5.059 | 2.828 | 0.2236 | 0.473 | 1 | 1 | 0.1462 | 0.6051 | 1.4 | 0.2228 | 0.9216 | 2.132 | json |
| t17_x23_u4_b53 | 17 | 23 | 4 | 53 | ![]() |
pow(R,dot(D,cil(R))) | 117515 | 138980297 | o2(x,o2(x,o1(x))) | true | 100127 | 100127 | -0.433 | 0.2891 | 0.9889 | 0.7922 | 0.8901 | -1 | 1 | 2 | 1 | 1.201 | 0.05464 | 0.06538 | 0.06389 | -0.08952 | 1 | 0.00003894 | 0.2505 | 0.1234 | 0.1159 | 0.3404 | 5.328 | 2.828 | 0.1515 | 0.3162 | 1 | 1 | 0.09591 | 0.4101 | 1.254 | 0.1211 | 0.5176 | 1.582 | json |
| t17_x23_u4_b54 | 17 | 23 | 4 | 54 | ![]() |
pow(R,dst(D,cil(R))) | 117516 | 138980298 | o2(x,o2(x,o1(x))) | true | 100135 | 100135 | -0.9359 | 0.04297 | 0.9782 | 0.09358 | 0.3059 | -1 | 0.9384 | 1.938 | 1 | 0.4161 | 0.009221 | 0.00951 | 0.01363 | -0.01541 | 1 | 0.000007633 | 0.03904 | 0.0249 | 0.01855 | 0.1362 | 9.991 | 2.563 | 0.2002 | 0.4172 | 1 | 1 | 0.01459 | 0.06363 | 0.1549 | 0.1559 | 0.68 | 1.656 | json |
| t17_x23_u4_b55 | 17 | 23 | 4 | 55 | ![]() |
mod(R,add(D,cil(R))) | 117517 | 138980299 | o2(x,o2(x,o1(x))) | true | 100143 | 100143 | 0.1405 | 0.5834 | 0.2254 | 0.07829 | 0.2798 | -0.456 | 0.9809 | 1.437 | 1 | 4.009 | 0.0113 | 0.001076 | 0.07105 | 0.8261 | 1 | 0.0002317 | 0.0244 | 0.08579 | 0.007331 | 0.08562 | 1.205 | 0.9683 | 0.1581 | 0.3117 | 1 | 1 | 0.01296 | 0.07199 | 0.1442 | 0.1656 | 0.9195 | 1.842 | json |
| t17_x23_u4_b56 | 17 | 23 | 4 | 56 | ![]() |
mod(R,sub(D,cil(R))) | 117518 | 138980300 | o2(x,o2(x,o1(x))) | true | 100151 | 100151 | 0.1402 | 0.587 | 0.2243 | 0.07766 | 0.2787 | -0.456 | 0.9808 | 1.437 | 1 | 4.007 | 0.01136 | 0.001074 | 0.07092 | 0.8272 | 1 | 0.0004592 | 0.02481 | 0.08649 | 0.007399 | 0.08602 | 1.213 | 0.9682 | 0.16 | 0.3194 | 1 | 1 | 0.01244 | 0.07069 | 0.1417 | 0.1602 | 0.9102 | 1.825 | json |
| t17_x23_u4_b57 | 17 | 23 | 4 | 57 | ![]() |
mod(R,mlt(D,cil(R))) | 117519 | 138980301 | o2(x,o2(x,o1(x))) | true | 100159 | 100159 | -0.9511 | 0.04297 | 0.963 | 0.05387 | 0.2321 | -1 | 0.4312 | 1.431 | 1 | 0.3637 | 0.004687 | 0.005409 | 0.01137 | -0.07149 | 1 | -0.00002866 | 0.02101 | 0.02147 | 0.009963 | 0.09981 | 8.78 | 1.457 | 0.1874 | 0.39 | 1 | 1 | 0.007727 | 0.03613 | 0.09094 | 0.1434 | 0.6707 | 1.688 | json |
| t17_x23_u4_b58 | 17 | 23 | 4 | 58 | ![]() |
mod(R,div(D,cil(R))) | 117520 | 138980302 | o2(x,o2(x,o1(x))) | true | 100167 | 100167 | -0.9511 | 0.04297 | 0.963 | 0.05387 | 0.2321 | -1 | 0.4312 | 1.431 | 1 | 0.3637 | 0.004687 | 0.005409 | 0.01137 | -0.07149 | 1 | -0.00002866 | 0.02101 | 0.02147 | 0.009963 | 0.09981 | 8.78 | 1.457 | 0.1874 | 0.39 | 1 | 1 | 0.007727 | 0.03613 | 0.09094 | 0.1434 | 0.6707 | 1.688 | json |
| t17_x23_u4_b59 | 17 | 23 | 4 | 59 | ![]() |
mod(R,pow(D,cil(R))) | 117521 | 138980303 | o2(x,o2(x,o1(x))) | true | 100175 | 100175 | -0.8386 | 0.02646 | 0.8413 | 0.09689 | 0.3113 | -1 | 0.2452 | 1.245 | 1 | 1.83 | 0.01239 | 0.008108 | 0.03583 | 0.2091 | 1 | -0.000006689 | 0.04204 | 0.05589 | 0.01922 | 0.1386 | 3.869 | 1.41 | 0.2116 | 0.4339 | 1 | 1 | 0.02188 | 0.09854 | 0.1874 | 0.2258 | 1.017 | 1.934 | json |
| t17_x23_u4_b60 | 17 | 23 | 4 | 60 | ![]() |
mod(R,mod(D,cil(R))) | 117522 | 138980304 | o2(x,o2(x,o1(x))) | true | 100183 | 100183 | -0.9511 | 0.04297 | 0.963 | 0.05387 | 0.2321 | -1 | 0.4312 | 1.431 | 1 | 0.3637 | 0.004687 | 0.005409 | 0.01137 | -0.07149 | 1 | -0.00002866 | 0.02101 | 0.02147 | 0.009963 | 0.09981 | 8.78 | 1.457 | 0.1874 | 0.39 | 1 | 1 | 0.007727 | 0.03613 | 0.09094 | 0.1434 | 0.6707 | 1.688 | json |
| t17_x23_u4_b61 | 17 | 23 | 4 | 61 | ![]() |
mod(R,lrg(D,cil(R))) | 117523 | 138980305 | o2(x,o2(x,o1(x))) | true | 100191 | 100191 | -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_x23_u4_b62 | 17 | 23 | 4 | 62 | ![]() |
mod(R,eql(D,cil(R))) | 117524 | 138980306 | o2(x,o2(x,o1(x))) | true | 100199 | 100199 | -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_x23_u4_b63 | 17 | 23 | 4 | 63 | ![]() |
mod(R,min(D,cil(R))) | 117525 | 138980307 | o2(x,o2(x,o1(x))) | true | 100207 | 100207 | -0.7657 | 0.1716 | 0.802 | 0.1985 | 0.4456 | -1 | 0.4355 | 1.436 | 1 | 1.361 | 0.0224 | 0.01925 | 0.0515 | 0.0756 | 1 | -0.0000433 | 0.08832 | 0.09559 | 0.039 | 0.1975 | 3.835 | 1.458 | 0.2098 | 0.4449 | 1 | 1 | 0.04277 | 0.1812 | 0.4317 | 0.2154 | 0.9129 | 2.175 | json |
| t17_x23_u4_b64 | 17 | 23 | 4 | 64 | ![]() |
mod(R,dot(D,cil(R))) | 117526 | 138980308 | o2(x,o2(x,o1(x))) | true | 100215 | 100215 | -0.6664 | 0.2051 | 0.7192 | 0.2461 | 0.4961 | -1 | 0.5351 | 1.535 | 1 | 1.914 | 0.04149 | 0.04646 | 0.08953 | -0.05651 | 1 | -0.00000525 | 0.3882 | 0.1974 | 0.07991 | 0.2827 | 3.157 | 2.104 | 0.3574 | 1.578 | 1 | 1 | 0.07564 | 0.1931 | 0.5254 | 0.3074 | 0.7846 | 2.135 | json |
| t17_x23_u4_b65 | 17 | 23 | 4 | 65 | ![]() |
mod(R,dst(D,cil(R))) | 117527 | 138980309 | o2(x,o2(x,o1(x))) | true | 100223 | 100223 | 0.03557 | 0.5067 | 0.3574 | 0.1894 | 0.4352 | -0.9989 | 0.9806 | 1.979 | 1 | 4.783 | 0.005101 | 0.005691 | 0.07234 | -0.05474 | 1 | -0.000005789 | 0.01925 | 0.04748 | 0.005559 | 0.07456 | 1.031 | 1.23 | 0.05699 | 0.1017 | 1 | 1 | 0.01507 | 0.1482 | 0.3488 | 0.07957 | 0.7828 | 1.842 | json |
| t17_x23_u4_b66 | 17 | 23 | 4 | 66 | ![]() |
lrg(R,add(D,cil(R))) | 117528 | 138980310 | o2(x,o2(x,o1(x))) | true | 100231 | 100231 | 0.1565 | 0.68 | 0.1565 | 0.05972 | 0.2444 | 0 | 0.9994 | 0.9994 | 1 | 2.461 | 0.02185 | 0.0007295 | 0.0669 | 0.9354 | 1 | -0.000135 | 0.04311 | 0.07366 | 0.0181 | 0.1346 | 2.011 | 0.9994 | 0.3781 | 0.7219 | 1 | 1 | 0.02394 | 0.08569 | 0.08824 | 0.4008 | 1.435 | 1.477 | json |
| t17_x23_u4_b67 | 17 | 23 | 4 | 67 | ![]() |
lrg(R,sub(D,cil(R))) | 117529 | 138980311 | o2(x,o2(x,o1(x))) | true | 100239 | 100239 | 0.5584 | 0.9678 | 0.5584 | 0.1513 | 0.389 | 0 | 1 | 1 | 1 | 3.407 | 0.01241 | 0.002278 | 0.06622 | 0.6899 | 1 | -0.00003529 | 0.02157 | 0.0452 | 0.01031 | 0.1015 | 1.533 | 0.9994 | 0.09708 | 0.1426 | 1 | 1 | 0.01881 | 0.1352 | 0.277 | 0.1243 | 0.8938 | 1.831 | json |
| t17_x23_u4_b68 | 17 | 23 | 4 | 68 | ![]() |
lrg(R,mlt(D,cil(R))) | 117530 | 138980312 | o2(x,o2(x,o1(x))) | true | 100247 | 100247 | 0.4232 | 0.8335 | 0.4232 | 0.1518 | 0.3896 | 0 | 1 | 1 | 1 | 3.35 | 0.01015 | 0.002268 | 0.0614 | 0.6347 | 1 | 0.0000315 | 0.01717 | 0.03834 | 0.00865 | 0.093 | 1.515 | 0.9994 | 0.0818 | 0.1131 | 1 | 1 | 0.01515 | 0.1243 | 0.2844 | 0.09979 | 0.819 | 1.874 | json |
| t17_x23_u4_b69 | 17 | 23 | 4 | 69 | ![]() |
lrg(R,div(D,cil(R))) | 117531 | 138980313 | o2(x,o2(x,o1(x))) | true | 100255 | 100255 | 0.68 | 0.9809 | 0.68 | 0.1325 | 0.3641 | 0 | 1 | 1 | 1 | 3.113 | 0.03785 | 0.001513 | 0.08761 | 0.9231 | 1 | 0.00003292 | 0.0726 | 0.09815 | 0.03169 | 0.178 | 2.032 | 1 | 0.297 | 0.5478 | 1 | 1 | 0.04335 | 0.189 | 0.187 | 0.3271 | 1.426 | 1.411 | json |
| t17_x23_u4_b70 | 17 | 23 | 4 | 70 | ![]() |
lrg(R,pow(D,cil(R))) | 117532 | 138980314 | o2(x,o2(x,o1(x))) | true | 100263 | 100263 | 0.4232 | 0.8335 | 0.4232 | 0.1518 | 0.3896 | 0 | 1 | 1 | 1 | 3.35 | 0.01015 | 0.002268 | 0.0614 | 0.6347 | 1 | 0.0000315 | 0.01717 | 0.03834 | 0.00865 | 0.093 | 1.515 | 0.9994 | 0.0818 | 0.1131 | 1 | 1 | 0.01515 | 0.1243 | 0.2844 | 0.09979 | 0.819 | 1.874 | json |
| t17_x23_u4_b71 | 17 | 23 | 4 | 71 | ![]() |
lrg(R,mod(D,cil(R))) | 117533 | 138980315 | o2(x,o2(x,o1(x))) | true | 100271 | 100271 | 0.9407 | 1 | 0.9407 | 0.02567 | 0.1602 | 0.000582 | 1 | 0.9994 | 1 | 1.251 | 0.008427 | 0.0003582 | 0.02849 | 0.9185 | 1 | 0.0000493 | 0.01697 | 0.0305 | 0.007977 | 0.08931 | 3.135 | 0.9994 | 0.3422 | 0.6609 | 1 | 1 | 0.007699 | 0.02811 | 0.04308 | 0.2999 | 1.095 | 1.678 | json |
| t17_x23_u4_b72 | 17 | 23 | 4 | 72 | ![]() |
lrg(R,lrg(D,cil(R))) | 117534 | 138980316 | o2(x,o2(x,o1(x))) | true | 100279 | 100279 | 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_x23_u4_b73 | 17 | 23 | 4 | 73 | ![]() |
lrg(R,eql(D,cil(R))) | 117535 | 138980317 | o2(x,o2(x,o1(x))) | true | 100287 | 100287 | 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_x23_u4_b74 | 17 | 23 | 4 | 74 | ![]() |
lrg(R,min(D,cil(R))) | 117536 | 138980318 | o2(x,o2(x,o1(x))) | true | 100295 | 100295 | 0.4991 | 0.9305 | 0.4991 | 0.1466 | 0.3829 | 0 | 1 | 1 | 1 | 3.529 | 0.0202 | 0.00212 | 0.08082 | 0.81 | 1 | 0.00001402 | 0.03815 | 0.07049 | 0.01579 | 0.1257 | 1.555 | 0.9997 | 0.1522 | 0.2602 | 1 | 1 | 0.02456 | 0.14 | 0.2709 | 0.1675 | 0.9551 | 1.848 | json |
| t17_x23_u4_b75 | 17 | 23 | 4 | 75 | ![]() |
lrg(R,dot(D,cil(R))) | 117537 | 138980319 | o2(x,o2(x,o1(x))) | true | 100303 | 100303 | 0.4396 | 0.8638 | 0.4396 | 0.1525 | 0.3905 | 0 | 1 | 1 | 1 | 3.38 | 0.01064 | 0.01057 | 0.07191 | 0.002914 | 1 | -0.0001739 | 0.05081 | 0.06707 | 0.01604 | 0.1267 | 1.761 | 1.413 | 0.1391 | 0.3333 | 1 | 1 | 0.02521 | 0.1482 | 0.2819 | 0.1653 | 0.9719 | 1.849 | json |
| t17_x23_u4_b76 | 17 | 23 | 4 | 76 | ![]() |
lrg(R,dst(D,cil(R))) | 117538 | 138980320 | o2(x,o2(x,o1(x))) | true | 100311 | 100311 | 0.01502 | 0.09344 | 0.01502 | 0.006847 | 0.08275 | 0 | 0.9926 | 0.9926 | 1 | 0.4204 | 0.002037 | 0.0009645 | 0.008348 | 0.3574 | 1 | -0.0001446 | 0.009252 | 0.01151 | 0.002934 | 0.05417 | 6.488 | 1.383 | 0.4384 | 1.351 | 1 | 1 | 0.001729 | 0.0061 | 0.008712 | 0.2525 | 0.8909 | 1.272 | json |
| t17_x23_u4_b77 | 17 | 23 | 4 | 77 | ![]() |
eql(R,add(D,cil(R))) | 117539 | 138980321 | o2(x,o2(x,o1(x))) | true | 100319 | 100319 | 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_x23_u4_b78 | 17 | 23 | 4 | 78 | ![]() |
eql(R,sub(D,cil(R))) | 117540 | 138980322 | o2(x,o2(x,o1(x))) | true | 100327 | 100327 | 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_x23_u4_b79 | 17 | 23 | 4 | 79 | ![]() |
eql(R,mlt(D,cil(R))) | 117541 | 138980323 | o2(x,o2(x,o1(x))) | true | 100335 | 100335 | 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_x23_u4_b80 | 17 | 23 | 4 | 80 | ![]() |
eql(R,div(D,cil(R))) | 117542 | 138980324 | o2(x,o2(x,o1(x))) | true | 100343 | 100343 | 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_x23_u4_b81 | 17 | 23 | 4 | 81 | ![]() |
eql(R,pow(D,cil(R))) | 117543 | 138980325 | o2(x,o2(x,o1(x))) | true | 100351 | 100351 | 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_x23_u4_b82 | 17 | 23 | 4 | 82 | ![]() |
eql(R,mod(D,cil(R))) | 117544 | 138980326 | o2(x,o2(x,o1(x))) | true | 100359 | 100359 | 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_x23_u4_b83 | 17 | 23 | 4 | 83 | ![]() |
eql(R,lrg(D,cil(R))) | 117545 | 138980327 | o2(x,o2(x,o1(x))) | true | 100367 | 100367 | 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_x23_u4_b84 | 17 | 23 | 4 | 84 | ![]() |
eql(R,eql(D,cil(R))) | 117546 | 138980328 | o2(x,o2(x,o1(x))) | true | 100375 | 100375 | 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_x23_u4_b85 | 17 | 23 | 4 | 85 | ![]() |
eql(R,min(D,cil(R))) | 117547 | 138980329 | o2(x,o2(x,o1(x))) | true | 100383 | 100383 | 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_x23_u4_b86 | 17 | 23 | 4 | 86 | ![]() |
eql(R,dot(D,cil(R))) | 117548 | 138980330 | o2(x,o2(x,o1(x))) | true | 100391 | 100391 | 0.00008015 | 0.0004578 | 0.00008015 | 0.00002061 | 0.00454 | 0 | 0.3282 | 0.3282 | 1 | 0.005107 | 3.019e-7 | 0.00004255 | 0.000167 | -0.9859 | 0 | -1.225e-11 | 0.0001289 | 0.000331 | 0.00004283 | 0.006544 | 39.19 | 0.3282 | 2.079 | 6.253 | 1 | 1 | 0 | 0 | 0.00001871 | 0 | 0 | 0.908 | json |
| t17_x23_u4_b87 | 17 | 23 | 4 | 87 | ![]() |
eql(R,dst(D,cil(R))) | 117549 | 138980331 | o2(x,o2(x,o1(x))) | true | 100399 | 100399 | 0.000008234 | 0.00006104 | 0.000008234 | 0.00000247 | 0.001572 | 0 | 0.3751 | 0.3751 | 1 | 0.0005323 | 0.000005099 | 0.000005099 | 0.00002901 | 0 | 0 | 0 | 0.00005099 | 0.00006798 | 0.0000102 | 0.003193 | 110.1 | 0.5305 | 4.128 | 20.64 | 1 | 1 | 0 | 0 | 0.00000224 | 0 | 0 | 0.9067 | json |
| t17_x23_u4_b88 | 17 | 23 | 4 | 88 | ![]() |
min(R,add(D,cil(R))) | 117550 | 138980332 | o2(x,o2(x,o1(x))) | true | 100407 | 100407 | -0.02331 | 0.4709 | 0.3905 | 0.2126 | 0.4611 | -0.9989 | 0.9806 | 1.98 | 1 | 4.84 | 0.003024 | 0.003067 | 0.06412 | -0.007084 | 1 | 0.00008494 | 0.0004191 | 0.01579 | 0.001979 | 0.04449 | 0.6938 | 0.2301 | 0.02865 | 0.001971 | 1 | 1 | 0.01201 | 0.1514 | 0.3782 | 0.05649 | 0.7121 | 1.779 | json |
| t17_x23_u4_b89 | 17 | 23 | 4 | 89 | ![]() |
min(R,sub(D,cil(R))) | 117551 | 138980333 | o2(x,o2(x,o1(x))) | true | 100415 | 100415 | -0.7324 | 0 | 0.7324 | 0.05928 | 0.2435 | -1 | -0.003476 | 0.9965 | 1 | 3.446 | 0.001381 | 0.0009815 | 0.03775 | 0.169 | 1 | -0.00004437 | 0.000372 | 0.01237 | 0.0009373 | 0.03062 | 0.811 | 0.1526 | 0.03985 | 0.006276 | 1 | 1 | 0.004547 | 0.05079 | 0.1189 | 0.07671 | 0.8567 | 2.006 | json |
| t17_x23_u4_b90 | 17 | 23 | 4 | 90 | ![]() |
min(R,mlt(D,cil(R))) | 117552 | 138980334 | o2(x,o2(x,o1(x))) | true | 100423 | 100423 | -0.2648 | 0.1821 | 0.2984 | 0.0761 | 0.2759 | -0.9989 | 0.257 | 1.256 | 1 | 4.073 | 0.001727 | 0.001025 | 0.04493 | 0.2551 | 1 | 0.000009285 | 0.0002537 | 0.01237 | 0.0007328 | 0.02707 | 0.6025 | 0.1528 | 0.03616 | 0.003334 | 1 | 1 | 0.005173 | 0.05948 | 0.1241 | 0.06797 | 0.7816 | 1.631 | json |
| t17_x23_u4_b91 | 17 | 23 | 4 | 91 | ![]() |
min(R,div(D,cil(R))) | 117553 | 138980335 | o2(x,o2(x,o1(x))) | true | 100431 | 100431 | -0.7965 | 0.1037 | 0.8177 | 0.1586 | 0.3982 | -1 | 0.257 | 1.257 | 1 | 1.527 | 0.01693 | 0.01562 | 0.04235 | 0.04032 | 1 | -0.00004024 | 0.06699 | 0.06907 | 0.03076 | 0.1754 | 4.141 | 1.415 | 0.2052 | 0.4225 | 1 | 1 | 0.0341 | 0.1512 | 0.3394 | 0.215 | 0.9533 | 2.141 | json |
| t17_x23_u4_b92 | 17 | 23 | 4 | 92 | ![]() |
min(R,pow(D,cil(R))) | 117554 | 138980336 | o2(x,o2(x,o1(x))) | true | 100439 | 100439 | -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_x23_u4_b93 | 17 | 23 | 4 | 93 | ![]() |
min(R,mod(D,cil(R))) | 117555 | 138980337 | o2(x,o2(x,o1(x))) | true | 100447 | 100447 | -0.2648 | 0.1821 | 0.2984 | 0.0761 | 0.2759 | -0.9989 | 0.257 | 1.256 | 1 | 4.073 | 0.001727 | 0.001025 | 0.04493 | 0.2551 | 1 | 0.000009285 | 0.0002537 | 0.01237 | 0.0007328 | 0.02707 | 0.6025 | 0.1528 | 0.03616 | 0.003334 | 1 | 1 | 0.005173 | 0.05948 | 0.1241 | 0.06797 | 0.7816 | 1.631 | json |
| t17_x23_u4_b94 | 17 | 23 | 4 | 94 | ![]() |
min(R,lrg(D,cil(R))) | 117556 | 138980338 | o2(x,o2(x,o1(x))) | true | 100455 | 100455 | -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_x23_u4_b95 | 17 | 23 | 4 | 95 | ![]() |
min(R,eql(D,cil(R))) | 117557 | 138980339 | o2(x,o2(x,o1(x))) | true | 100463 | 100463 | -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_x23_u4_b96 | 17 | 23 | 4 | 96 | ![]() |
min(R,min(D,cil(R))) | 117558 | 138980340 | o2(x,o2(x,o1(x))) | true | 100471 | 100471 | -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_x23_u4_b97 | 17 | 23 | 4 | 97 | ![]() |
min(R,dot(D,cil(R))) | 117559 | 138980341 | o2(x,o2(x,o1(x))) | true | 100479 | 100479 | -0.2769 | 0.1796 | 0.3195 | 0.08238 | 0.287 | -0.999 | 0.4233 | 1.422 | 1 | 4.196 | 0.001783 | 0.001564 | 0.04987 | 0.06528 | 1 | 0.00003358 | 0.000358 | 0.01401 | 0.00086 | 0.02933 | 0.5881 | 0.1884 | 0.04063 | 0.004346 | 1 | 1 | 0.006387 | 0.0721 | 0.1367 | 0.07754 | 0.8752 | 1.66 | json |
| t17_x23_u4_b98 | 17 | 23 | 4 | 98 | ![]() |
min(R,dst(D,cil(R))) | 117560 | 138980342 | o2(x,o2(x,o1(x))) | true | 100487 | 100487 | 0.006412 | 0.4965 | 0.393 | 0.2182 | 0.4671 | -0.9989 | 0.9806 | 1.979 | 1 | 4.859 | 0.002831 | 0.003161 | 0.06319 | -0.05511 | 1 | 0.00003237 | 0.0003602 | 0.01461 | 0.001999 | 0.04471 | 0.7076 | 0.2301 | 0.02747 | 0.001651 | 1 | 1 | 0.01185 | 0.1521 | 0.3896 | 0.05432 | 0.6972 | 1.786 | json |
| t17_x23_u4_b99 | 17 | 23 | 4 | 99 | ![]() |
dot(R,add(D,cil(R))) | 117561 | 138980343 | o2(x,o2(x,o1(x))) | true | 100495 | 100495 | 0.6654 | 0.9676 | 0.6696 | 0.1086 | 0.3295 | -0.3459 | 1 | 1.346 | 1 | 3.58 | 0.002358 | 0.002334 | 0.04977 | 0.005112 | 1 | -0.0001219 | 0.0009638 | 0.01711 | 0.002215 | 0.04706 | 0.9456 | 0.2705 | 0.04321 | 0.008876 | 1 | 1 | 0.008445 | 0.08908 | 0.1921 | 0.07778 | 0.8204 | 1.77 | json |
| t17_x23_u4_b100 | 17 | 23 | 4 | 100 | ![]() |
dot(R,sub(D,cil(R))) | 117562 | 138980344 | o2(x,o2(x,o1(x))) | true | 100503 | 100503 | -0.6593 | 0.04085 | 0.6651 | 0.1148 | 0.3388 | -1 | 0.2907 | 1.291 | 1 | 3.588 | 0.002446 | 0.002281 | 0.04987 | 0.03488 | 1 | -0.00008118 | 0.0009716 | 0.01714 | 0.00224 | 0.04733 | 0.9492 | 0.2621 | 0.04117 | 0.008463 | 1 | 1 | 0.008737 | 0.09402 | 0.2178 | 0.07611 | 0.819 | 1.898 | json |
| t17_x23_u4_b101 | 17 | 23 | 4 | 101 | ![]() |
dot(R,mlt(D,cil(R))) | 117563 | 138980345 | o2(x,o2(x,o1(x))) | true | 100511 | 100511 | 0.001352 | 0.5038 | 0.08236 | 0.01223 | 0.1106 | -0.3881 | 0.4274 | 0.8155 | 1 | 2.866 | 0.0004566 | 0.0004731 | 0.02571 | -0.01766 | 1 | -0.00003976 | 0.0001052 | 0.007876 | 0.0002689 | 0.0164 | 0.6378 | 0.1004 | 0.07599 | 0.008595 | 1 | 1 | 0.001902 | 0.01932 | 0.02297 | 0.1554 | 1.579 | 1.878 | json |
| t17_x23_u4_b102 | 17 | 23 | 4 | 102 | ![]() |
dot(R,div(D,cil(R))) | 117564 | 138980346 | o2(x,o2(x,o1(x))) | true | 100519 | 100519 | -0.9959 | 0.003021 | 0.9964 | 0.004411 | 0.06642 | -1 | 0.204 | 1.204 | 1 | 0.0458 | 0.0005673 | 0.0005186 | 0.001137 | 0.04481 | 1 | -2.253e-11 | 0.00228 | 0.002107 | 0.001084 | 0.03292 | 28.95 | 1.386 | 0.2462 | 0.517 | 1 | 1 | 0.001928 | 0.008061 | 0.01557 | 0.4371 | 1.827 | 3.53 | json |
| t17_x23_u4_b103 | 17 | 23 | 4 | 103 | ![]() |
dot(R,pow(D,cil(R))) | 117565 | 138980347 | o2(x,o2(x,o1(x))) | true | 100527 | 100527 | -0.9872 | 0.002151 | 0.9876 | 0.00864 | 0.09295 | -1 | 0.2122 | 1.212 | 1 | 0.265 | 0.0008579 | 0.0007961 | 0.003729 | 0.03733 | 1 | -0.000001619 | 0.003142 | 0.004597 | 0.001641 | 0.04051 | 10.86 | 1.19 | 0.1914 | 0.3637 | 1 | 1 | 0.001454 | 0.00668 | 0.01031 | 0.1683 | 0.7732 | 1.193 | json |
| t17_x23_u4_b104 | 17 | 23 | 4 | 104 | ![]() |
dot(R,mod(D,cil(R))) | 117566 | 138980348 | o2(x,o2(x,o1(x))) | true | 100535 | 100535 | -0.9959 | 0.003021 | 0.9964 | 0.004411 | 0.06642 | -1 | 0.204 | 1.204 | 1 | 0.0458 | 0.0005673 | 0.0005186 | 0.001137 | 0.04481 | 1 | -2.253e-11 | 0.00228 | 0.002107 | 0.001084 | 0.03292 | 28.95 | 1.386 | 0.2462 | 0.517 | 1 | 1 | 0.001928 | 0.008061 | 0.01557 | 0.4371 | 1.827 | 3.53 | json |
| t17_x23_u4_b105 | 17 | 23 | 4 | 105 | ![]() |
dot(R,lrg(D,cil(R))) | 117567 | 138980349 | o2(x,o2(x,o1(x))) | true | 100543 | 100543 | -0.2384 | 0 | 0.2384 | 0.07046 | 0.2654 | -1 | 0 | 1 | 1 | 3.466 | 0.009456 | 0.008546 | 0.06099 | 0.05059 | 1 | 0.0000278 | 0.03251 | 0.06344 | 0.01428 | 0.1195 | 1.959 | 1.296 | 0.2555 | 0.4614 | 1 | 1 | 0.01825 | 0.08377 | 0.09628 | 0.259 | 1.189 | 1.367 | json |
| t17_x23_u4_b106 | 17 | 23 | 4 | 106 | ![]() |
dot(R,eql(D,cil(R))) | 117568 | 138980350 | o2(x,o2(x,o1(x))) | true | 100551 | 100551 | -0.2632 | 0 | 0.2632 | 0.06485 | 0.2546 | -0.9967 | 0 | 0.9967 | 1 | 3.625 | 0.0009392 | 0.0008646 | 0.03264 | 0.04136 | 1 | -0.00002186 | 0.0001066 | 0.007655 | 0.0007381 | 0.02717 | 0.8322 | 0.1151 | 0.02782 | 0.001643 | 1 | 1 | 0.00396 | 0.05078 | 0.1367 | 0.06107 | 0.7831 | 2.108 | json |
| t17_x23_u4_b107 | 17 | 23 | 4 | 107 | ![]() |
dot(R,min(D,cil(R))) | 117569 | 138980351 | o2(x,o2(x,o1(x))) | true | 100559 | 100559 | 0.07298 | 0.6902 | 0.1313 | 0.02213 | 0.1488 | -0.3785 | 0.5965 | 0.9749 | 1 | 3.301 | 0.0007808 | 0.0007894 | 0.03543 | -0.005495 | 1 | -0.0002293 | 0.0001911 | 0.01104 | 0.0003147 | 0.01774 | 0.5006 | 0.1077 | 0.07096 | 0.008638 | 1 | 1 | 0.003065 | 0.03158 | 0.04203 | 0.1385 | 1.427 | 1.899 | json |
| t17_x23_u4_b108 | 17 | 23 | 4 | 108 | ![]() |
dot(R,dot(D,cil(R))) | 117570 | 138980352 | o2(x,o2(x,o1(x))) | true | 100567 | 100567 | -0.0006701 | 0.4826 | 0.1423 | 0.04619 | 0.2149 | -0.9321 | 1 | 1.932 | 1 | 3.64 | 0.00149 | 0.00159 | 0.04226 | -0.03247 | 1 | 0.00000238 | 0.0003117 | 0.01203 | 0.001294 | 0.03597 | 0.8513 | 0.2642 | 0.06667 | 0.006749 | 1 | 1 | 0.007371 | 0.08 | 0.09869 | 0.1596 | 1.732 | 2.137 | json |
| t17_x23_u4_b109 | 17 | 23 | 4 | 109 | ![]() |
dot(R,dst(D,cil(R))) | 117571 | 138980353 | o2(x,o2(x,o1(x))) | true | 100575 | 100575 | 0.1737 | 0.5665 | 0.5584 | 0.3993 | 0.6319 | -1 | 1 | 2 | 1 | 4.586 | 0.007171 | 0.007559 | 0.08502 | -0.02637 | 1 | 0.00006758 | 0.003397 | 0.02939 | 0.007503 | 0.08662 | 1.019 | 0.6179 | 0.03689 | 0.008506 | 1 | 1 | 0.03053 | 0.3134 | 0.7702 | 0.07644 | 0.7848 | 1.929 | json |
| t17_x23_u4_b110 | 17 | 23 | 4 | 110 | ![]() |
dst(R,add(D,cil(R))) | 117572 | 138980354 | o2(x,o2(x,o1(x))) | true | 100583 | 100583 | 0.9241 | 1 | 0.9241 | 0.01689 | 0.13 | 0.1694 | 1 | 0.8306 | 1 | 1.797 | 0.0006779 | 0.0006874 | 0.02183 | -0.006904 | 1 | -0.0000513 | 0.0004135 | 0.01025 | 0.0008888 | 0.02981 | 1.366 | 0.168 | 0.08083 | 0.02448 | 1 | 1 | 0.002742 | 0.02278 | 0.03114 | 0.1623 | 1.349 | 1.843 | json |
| t17_x23_u4_b111 | 17 | 23 | 4 | 111 | ![]() |
dst(R,sub(D,cil(R))) | 117573 | 138980355 | o2(x,o2(x,o1(x))) | true | 100591 | 100591 | 0.9942 | 1 | 0.9942 | 0.001761 | 0.04197 | 0.3178 | 1 | 0.6822 | 1 | 0.2273 | 0.0001228 | 0.0001076 | 0.002398 | 0.06627 | 1 | -0.00001165 | 0.0001292 | 0.001756 | 0.0002246 | 0.01499 | 6.25 | 0.2255 | 0.1308 | 0.07337 | 1 | 1 | 0.0002241 | 0.001493 | 0.002175 | 0.1272 | 0.8475 | 1.235 | json |
| t17_x23_u4_b112 | 17 | 23 | 4 | 112 | ![]() |
dst(R,mlt(D,cil(R))) | 117574 | 138980356 | o2(x,o2(x,o1(x))) | true | 100599 | 100599 | 0.9102 | 1 | 0.9102 | 0.02002 | 0.1415 | 0.07034 | 1 | 0.9297 | 1 | 1.994 | 0.0004898 | 0.0006312 | 0.01963 | -0.1261 | 1 | -0.00002384 | 0.0002802 | 0.008154 | 0.0007359 | 0.02713 | 1.382 | 0.1644 | 0.05599 | 0.01399 | 1 | 1 | 0.001993 | 0.01875 | 0.03201 | 0.09953 | 0.9363 | 1.599 | json |
| t17_x23_u4_b113 | 17 | 23 | 4 | 113 | ![]() |
dst(R,div(D,cil(R))) | 117575 | 138980357 | o2(x,o2(x,o1(x))) | true | 100607 | 100607 | -0.9845 | 0.007813 | 0.9998 | 0.03035 | 0.1742 | -1 | 1 | 2 | 1 | 0.0719 | 0.003936 | 0.003856 | 0.00398 | 0.01024 | 1 | -1.201e-10 | 0.01652 | 0.007937 | 0.00778 | 0.08821 | 22.16 | 2.828 | 0.2567 | 0.5442 | 1 | 1 | 0.01373 | 0.05558 | 0.1094 | 0.4522 | 1.831 | 3.603 | json |
| t17_x23_u4_b114 | 17 | 23 | 4 | 114 | ![]() |
dst(R,pow(D,cil(R))) | 117576 | 138980358 | o2(x,o2(x,o1(x))) | true | 100615 | 100615 | -0.8909 | 0.05469 | 0.9998 | 0.2058 | 0.4537 | -1 | 1 | 2 | 1 | 0.3165 | 0.01759 | 0.01838 | 0.01801 | -0.02199 | 1 | 0.000002574 | 0.07556 | 0.0362 | 0.03563 | 0.1888 | 10.48 | 2.828 | 0.1748 | 0.3671 | 1 | 1 | 0.0339 | 0.1436 | 0.4104 | 0.1647 | 0.6977 | 1.994 | json |
| t17_x23_u4_b115 | 17 | 23 | 4 | 115 | ![]() |
dst(R,mod(D,cil(R))) | 117577 | 138980359 | o2(x,o2(x,o1(x))) | true | 100623 | 100623 | -0.9924 | 0.003906 | 0.9998 | 0.01491 | 0.1221 | -1 | 1 | 2 | 1 | 0.04186 | 0.00192 | 0.00184 | 0.001983 | 0.02121 | 1 | -8.26e-11 | 0.007953 | 0.003906 | 0.003754 | 0.06127 | 30.9 | 2.628 | 0.2523 | 0.5335 | 1 | 1 | 0.006635 | 0.02721 | 0.05262 | 0.4451 | 1.826 | 3.53 | json |
| t17_x23_u4_b116 | 17 | 23 | 4 | 116 | ![]() |
dst(R,lrg(D,cil(R))) | 117578 | 138980360 | o2(x,o2(x,o1(x))) | true | 100631 | 100631 | 0.9619 | 1 | 0.9619 | 0.01092 | 0.1045 | 0.09974 | 1 | 0.9003 | 1 | 1.065 | 0.001297 | 0.001169 | 0.0147 | 0.05169 | 1 | -0.00003702 | 0.004044 | 0.01591 | 0.002249 | 0.04742 | 3.225 | 0.8058 | 0.2259 | 0.3704 | 1 | 1 | 0.002747 | 0.01272 | 0.01611 | 0.2516 | 1.165 | 1.476 | json |
| t17_x23_u4_b117 | 17 | 23 | 4 | 117 | ![]() |
dst(R,eql(D,cil(R))) | 117579 | 138980361 | o2(x,o2(x,o1(x))) | true | 100639 | 100639 | 0.966 | 1 | 0.966 | 0.01085 | 0.1042 | 0.09977 | 1 | 0.9002 | 1 | 0.9305 | 0.0002701 | 0.0003163 | 0.008032 | -0.07878 | 1 | -0.00003936 | 0.0002013 | 0.00424 | 0.0005221 | 0.02285 | 2.845 | 0.193 | 0.05404 | 0.01855 | 1 | 1 | 0.00107 | 0.00986 | 0.01839 | 0.09864 | 0.9087 | 1.695 | json |
| t17_x23_u4_b118 | 17 | 23 | 4 | 118 | ![]() |
dst(R,min(D,cil(R))) | 117580 | 138980362 | o2(x,o2(x,o1(x))) | true | 100647 | 100647 | 0.8844 | 1 | 0.8844 | 0.02541 | 0.1594 | 0.07174 | 1 | 0.9283 | 1 | 2.303 | 0.0006498 | 0.0007688 | 0.02433 | -0.08388 | 1 | 0.00005132 | 0.0003553 | 0.01013 | 0.0008267 | 0.02875 | 1.182 | 0.1724 | 0.05584 | 0.01399 | 1 | 1 | 0.002546 | 0.02463 | 0.04494 | 0.1002 | 0.9694 | 1.769 | json |
| t17_x23_u4_b119 | 17 | 23 | 4 | 119 | ![]() |
dst(R,dot(D,cil(R))) | 117581 | 138980363 | o2(x,o2(x,o1(x))) | true | 100655 | 100655 | 0.9281 | 1 | 0.9281 | 0.01779 | 0.1334 | 0.02278 | 1 | 0.9772 | 1 | 1.687 | 0.0007658 | 0.0009096 | 0.02108 | -0.08583 | 1 | -0.0001142 | 0.0006812 | 0.0117 | 0.001231 | 0.03509 | 1.664 | 0.2309 | 0.09419 | 0.0383 | 1 | 1 | 0.003011 | 0.02214 | 0.0291 | 0.1693 | 1.245 | 1.636 | json |
| t17_x23_u4_b120 | 17 | 23 | 4 | 120 | ![]() |
dst(R,dst(D,cil(R))) | 117582 | 138980364 | o2(x,o2(x,o1(x))) | true | 100663 | 100663 | 0.9991 | 1 | 0.9991 | 0.000216 | 0.0147 | 0.4564 | 1 | 0.5436 | 1 | 0.04615 | 0.0000422 | 0.0000397 | 0.0006784 | 0.03051 | 0 | -0.00002026 | 0.00008182 | 0.00071 | 0.00008146 | 0.009025 | 13.3 | 0.2107 | 0.3792 | 0.3788 | 1 | 1 | 0.00004433 | 0.00009542 | 0.0001578 | 0.2052 | 0.4417 | 0.7303 | json |
| t17_x23_u5_b0 | 17 | 23 | 5 | 0 | ![]() |
add(R,add(D,sgn(R))) | 117583 | 138980445 | o2(x,o2(x,o1(x))) | true | 100671 | 100671 | -0.02501 | 0.4879 | 0.8228 | 0.7619 | 0.8729 | -1 | 1 | 2 | 1 | 3.26 | 0.01439 | 0.01687 | 0.1067 | -0.07919 | 1 | 0.00001239 | 0.006837 | 0.03882 | 0.01988 | 0.141 | 1.322 | 0.5183 | 0.04103 | 0.008974 | 1 | 1 | 0.06016 | 0.6226 | 1.407 | 0.07896 | 0.8172 | 1.847 | json |
| t17_x23_u5_b1 | 17 | 23 | 5 | 1 | ![]() |
add(R,sub(D,sgn(R))) | 117584 | 138980446 | o2(x,o2(x,o1(x))) | true | 100679 | 100679 | 0.04412 | 0.5315 | 0.3712 | 0.1997 | 0.4469 | -1 | 1 | 2 | 1 | 4.827 | 0.004186 | 0.003082 | 0.07405 | 0.152 | 1 | 0.00006196 | 0.0005972 | 0.01904 | 0.001785 | 0.04225 | 0.5706 | 0.2643 | 0.03639 | 0.00299 | 1 | 1 | 0.01372 | 0.1586 | 0.3517 | 0.06869 | 0.7943 | 1.761 | json |
| t17_x23_u5_b2 | 17 | 23 | 5 | 2 | ![]() |
add(R,mlt(D,sgn(R))) | 117585 | 138980447 | o2(x,o2(x,o1(x))) | true | 100687 | 100687 | 0.01125 | 0.4989 | 0.4328 | 0.2592 | 0.5091 | -1 | 1 | 2 | 1 | 4.942 | 0.005013 | 0.003796 | 0.08107 | 0.1381 | 1 | -0.00002545 | 0.0006714 | 0.02036 | 0.002237 | 0.0473 | 0.5835 | 0.2568 | 0.03399 | 0.00259 | 1 | 1 | 0.01739 | 0.2145 | 0.4732 | 0.06711 | 0.8274 | 1.826 | json |
| t17_x23_u5_b3 | 17 | 23 | 5 | 3 | ![]() |
add(R,div(D,sgn(R))) | 117586 | 138980448 | o2(x,o2(x,o1(x))) | true | 100695 | 100695 | 0.01125 | 0.4989 | 0.4328 | 0.2592 | 0.5091 | -1 | 1 | 2 | 1 | 4.942 | 0.005013 | 0.003796 | 0.08107 | 0.1381 | 1 | -0.00002545 | 0.0006714 | 0.02036 | 0.002237 | 0.0473 | 0.5835 | 0.2568 | 0.03399 | 0.00259 | 1 | 1 | 0.01739 | 0.2145 | 0.4732 | 0.06711 | 0.8274 | 1.826 | json |
| t17_x23_u5_b4 | 17 | 23 | 5 | 4 | ![]() |
add(R,pow(D,sgn(R))) | 117587 | 138980449 | o2(x,o2(x,o1(x))) | true | 100703 | 100703 | -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_x23_u5_b5 | 17 | 23 | 5 | 5 | ![]() |
add(R,mod(D,sgn(R))) | 117588 | 138980450 | o2(x,o2(x,o1(x))) | true | 100711 | 100711 | 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_x23_u5_b6 | 17 | 23 | 5 | 6 | ![]() |
add(R,lrg(D,sgn(R))) | 117589 | 138980451 | o2(x,o2(x,o1(x))) | true | 100719 | 100719 | 0.5266 | 1 | 0.5266 | 0.05091 | 0.2256 | 0.001084 | 0.997 | 0.9959 | 1 | 3.815 | 0.0007236 | 0.0006853 | 0.03089 | 0.02719 | 1 | 0.00004432 | 0.00008334 | 0.007111 | 0.0004549 | 0.02133 | 0.6905 | 0.1132 | 0.02767 | 0.001637 | 1 | 1 | 0.002542 | 0.03267 | 0.08567 | 0.04993 | 0.6416 | 1.683 | json |
| t17_x23_u5_b7 | 17 | 23 | 5 | 7 | ![]() |
add(R,eql(D,sgn(R))) | 117590 | 138980452 | o2(x,o2(x,o1(x))) | true | 100727 | 100727 | 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_x23_u5_b8 | 17 | 23 | 5 | 8 | ![]() |
add(R,min(D,sgn(R))) | 117591 | 138980453 | o2(x,o2(x,o1(x))) | true | 100735 | 100735 | -0.3517 | 0.3512 | 0.6732 | 0.4417 | 0.6646 | -1 | 1 | 2 | 1 | 3.937 | 0.007897 | 0.008384 | 0.08925 | -0.02992 | 1 | 0.0001205 | 0.002469 | 0.02742 | 0.008316 | 0.09119 | 1.022 | 0.3759 | 0.03686 | 0.005589 | 1 | 1 | 0.03199 | 0.3604 | 0.8276 | 0.07242 | 0.8158 | 1.874 | json |
| t17_x23_u5_b9 | 17 | 23 | 5 | 9 | ![]() |
add(R,dot(D,sgn(R))) | 117592 | 138980454 | o2(x,o2(x,o1(x))) | true | 100743 | 100743 | 0.01545 | 0.5083 | 0.4597 | 0.2936 | 0.5419 | -1 | 1 | 2 | 1 | 4.961 | 0.005601 | 0.005937 | 0.09368 | -0.02913 | 1 | -0.0001459 | 0.001104 | 0.02475 | 0.002762 | 0.05256 | 0.561 | 0.3431 | 0.03929 | 0.003759 | 1 | 1 | 0.02239 | 0.2682 | 0.5322 | 0.07624 | 0.9133 | 1.812 | json |
| t17_x23_u5_b10 | 17 | 23 | 5 | 10 | ![]() |
add(R,dst(D,sgn(R))) | 117593 | 138980455 | o2(x,o2(x,o1(x))) | true | 100751 | 100751 | 0.9922 | 1 | 0.9922 | 0.00146 | 0.0382 | 0.5298 | 1 | 0.4702 | 1 | 0.3476 | 0.00009914 | 0.0001105 | 0.003355 | -0.05438 | 1 | -0.000005829 | 0.0001299 | 0.002471 | 0.0001985 | 0.01409 | 4.2 | 0.1707 | 0.1437 | 0.089 | 1 | 1 | 0.0003431 | 0.002152 | 0.002506 | 0.2351 | 1.474 | 1.717 | json |
| t17_x23_u5_b11 | 17 | 23 | 5 | 11 | ![]() |
sub(R,add(D,sgn(R))) | 117594 | 138980456 | o2(x,o2(x,o1(x))) | true | 100759 | 100759 | 0.04407 | 0.5339 | 0.3721 | 0.2004 | 0.4477 | -1 | 1 | 2 | 1 | 4.829 | 0.00422 | 0.003082 | 0.07358 | 0.1558 | 1 | 0.00006197 | 0.0006024 | 0.0189 | 0.001889 | 0.04346 | 0.5907 | 0.2711 | 0.03643 | 0.003005 | 1 | 1 | 0.01398 | 0.1608 | 0.3517 | 0.06973 | 0.8024 | 1.755 | json |
| t17_x23_u5_b12 | 17 | 23 | 5 | 12 | ![]() |
sub(R,sub(D,sgn(R))) | 117595 | 138980457 | o2(x,o2(x,o1(x))) | true | 100767 | 100767 | -0.02541 | 0.4879 | 0.823 | 0.7621 | 0.873 | -1 | 1 | 2 | 1 | 3.257 | 0.01428 | 0.01686 | 0.1062 | -0.08281 | 1 | 0.000003278 | 0.006825 | 0.03867 | 0.01986 | 0.1409 | 1.326 | 0.4898 | 0.04087 | 0.008955 | 1 | 1 | 0.05966 | 0.6186 | 1.406 | 0.07829 | 0.8117 | 1.845 | json |
| t17_x23_u5_b13 | 17 | 23 | 5 | 13 | ![]() |
sub(R,mlt(D,sgn(R))) | 117596 | 138980458 | o2(x,o2(x,o1(x))) | true | 100775 | 100775 | 0.006773 | 0.4951 | 0.4349 | 0.2614 | 0.5113 | -1 | 1 | 2 | 1 | 4.944 | 0.004983 | 0.00383 | 0.08107 | 0.1308 | 1 | 0.00008173 | 0.0006758 | 0.02045 | 0.00224 | 0.04733 | 0.5838 | 0.2606 | 0.03371 | 0.002585 | 1 | 1 | 0.01729 | 0.2114 | 0.4741 | 0.06615 | 0.8086 | 1.813 | json |
| t17_x23_u5_b14 | 17 | 23 | 5 | 14 | ![]() |
sub(R,div(D,sgn(R))) | 117597 | 138980459 | o2(x,o2(x,o1(x))) | true | 100783 | 100783 | 0.006773 | 0.4951 | 0.4349 | 0.2614 | 0.5113 | -1 | 1 | 2 | 1 | 4.944 | 0.004983 | 0.00383 | 0.08107 | 0.1308 | 1 | 0.00008173 | 0.0006758 | 0.02045 | 0.00224 | 0.04733 | 0.5838 | 0.2606 | 0.03371 | 0.002585 | 1 | 1 | 0.01729 | 0.2114 | 0.4741 | 0.06615 | 0.8086 | 1.813 | json |
| t17_x23_u5_b15 | 17 | 23 | 5 | 15 | ![]() |
sub(R,pow(D,sgn(R))) | 117598 | 138980460 | o2(x,o2(x,o1(x))) | true | 100791 | 100791 | -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_x23_u5_b16 | 17 | 23 | 5 | 16 | ![]() |
sub(R,mod(D,sgn(R))) | 117599 | 138980461 | o2(x,o2(x,o1(x))) | true | 100799 | 100799 | 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 |



































































































