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_x8_u3_b64 | 17 | 8 | 3 | 64 | ![]() |
mod(P,dot(R,flr(R))) | 104700 | 138374092 | o2(x,o2(x,o1(x))) | true | 154407 | 154407 | -0.3264 | 0.3376 | 0.602 | 0.3936 | 0.6274 | -1 | 1 | 2 | 1 | 3.984 | 0.01864 | 0.01673 | 0.04851 | 0.05398 | 1 | 0.000002121 | 0.07021 | 0.06002 | 0.03301 | 0.1817 | 3.745 | 2.828 | 0.08984 | 0.1784 | 1 | 1 | 0.03718 | 0.1767 | 0.5904 | 0.09445 | 0.4489 | 1.5 | json |
| t17_x8_u3_b65 | 17 | 8 | 3 | 65 | ![]() |
mod(P,dst(R,flr(R))) | 104701 | 138374093 | o2(x,o2(x,o1(x))) | true | 154415 | 154415 | -0.00405 | 0.4992 | 0.4845 | 0.3061 | 0.5533 | -1 | 1 | 2 | 1 | 4.928 | 0.001241 | 0.000824 | 0.03572 | 0.2021 | 1 | 0.000006363 | 0.0001257 | 0.008246 | 0.0007893 | 0.02809 | 0.7864 | 0.1196 | 0.006746 | 0.0004105 | 1 | 1 | 0.004373 | 0.05627 | 0.2317 | 0.01428 | 0.1838 | 0.7569 | json |
| t17_x8_u3_b66 | 17 | 8 | 3 | 66 | ![]() |
lrg(P,add(R,flr(R))) | 104702 | 138374094 | o2(x,o2(x,o1(x))) | true | 154423 | 154423 | 0.5312 | 0.5988 | 0.5312 | 0.2351 | 0.4849 | 0 | 1 | 1 | 1 | 1.602 | 0.0004195 | 0.0002457 | 0.007798 | 0.2613 | 1 | 0.00001711 | 0.0000372 | 0.001876 | 0.0006046 | 0.02459 | 3.153 | 0.1169 | 0.00283 | 0.0001582 | 1 | 1 | 0.001801 | 0.02353 | 0.1025 | 0.007662 | 0.1001 | 0.4361 | json |
| t17_x8_u3_b67 | 17 | 8 | 3 | 67 | ![]() |
lrg(P,sub(R,flr(R))) | 104703 | 138374095 | o2(x,o2(x,o1(x))) | true | 154431 | 154431 | 0.4688 | 0.5 | 0.4688 | 0.2423 | 0.4922 | 0 | 1 | 1 | 1 | 1.326 | 0.0003529 | 0 | 0.003968 | 1 | 1 | -4.731e-10 | 0.00001619 | 0.0009276 | 0.0003372 | 0.01836 | 4.628 | 0.1169 | 0.001457 | 0.00006684 | 1 | 1 | 0.0009255 | 0.01214 | 0.0751 | 0.00382 | 0.05012 | 0.31 | json |
| t17_x8_u3_b68 | 17 | 8 | 3 | 68 | ![]() |
lrg(P,mlt(R,flr(R))) | 104704 | 138374096 | o2(x,o2(x,o1(x))) | true | 154439 | 154439 | 0.4688 | 0.5 | 0.4688 | 0.2423 | 0.4922 | 0 | 1 | 1 | 1 | 1.326 | 0.0003529 | 0 | 0.003968 | 1 | 1 | -4.731e-10 | 0.00001619 | 0.0009276 | 0.0003372 | 0.01836 | 4.628 | 0.1169 | 0.001457 | 0.00006684 | 1 | 1 | 0.0009255 | 0.01214 | 0.0751 | 0.00382 | 0.05012 | 0.31 | json |
| t17_x8_u3_b69 | 17 | 8 | 3 | 69 | ![]() |
lrg(P,div(R,flr(R))) | 104705 | 138374097 | o2(x,o2(x,o1(x))) | true | 154447 | 154447 | 0.2539 | 0.4689 | 0.2539 | 0.1405 | 0.3748 | 0 | 1 | 1 | 1 | 2.308 | 0.0009995 | 0.001206 | 0.02597 | -0.09372 | 1 | 0.00002424 | 0.0001342 | 0.006355 | 0.001531 | 0.03913 | 1.507 | 0.1169 | 0.0157 | 0.0009553 | 1 | 1 | 0.00431 | 0.05599 | 0.1536 | 0.03069 | 0.3987 | 1.094 | json |
| t17_x8_u3_b70 | 17 | 8 | 3 | 70 | ![]() |
lrg(P,pow(R,flr(R))) | 104706 | 138374098 | o2(x,o2(x,o1(x))) | true | 154455 | 154455 | 0.6934 | 0.9524 | 0.6934 | 0.1555 | 0.3944 | 0 | 1 | 1 | 1 | 2.592 | 0.001277 | 0.001411 | 0.03137 | -0.04994 | 1 | 0.00000498 | 0.0001518 | 0.007572 | 0.001705 | 0.04129 | 1.316 | 0.1169 | 0.01729 | 0.000976 | 1 | 1 | 0.005699 | 0.07303 | 0.1973 | 0.03664 | 0.4695 | 1.269 | json |
| t17_x8_u3_b71 | 17 | 8 | 3 | 71 | ![]() |
lrg(P,mod(R,flr(R))) | 104707 | 138374099 | o2(x,o2(x,o1(x))) | true | 154463 | 154463 | 0.7715 | 0.9593 | 0.7715 | 0.1331 | 0.3648 | 0 | 1 | 1 | 1 | 2.142 | 0.0008962 | 0.001126 | 0.02361 | -0.1136 | 1 | 0.00001213 | 0.0001138 | 0.005698 | 0.001464 | 0.03826 | 1.621 | 0.1169 | 0.0152 | 0.0008552 | 1 | 1 | 0.003921 | 0.05008 | 0.16 | 0.02947 | 0.3764 | 1.202 | json |
| t17_x8_u3_b72 | 17 | 8 | 3 | 72 | ![]() |
lrg(P,lrg(R,flr(R))) | 104708 | 138374100 | o2(x,o2(x,o1(x))) | true | 154471 | 154471 | 0.4063 | 0.4375 | 0.4063 | 0.2344 | 0.4842 | 0 | 1 | 1 | 1 | 1.302 | 0.0003529 | 0 | 0.003968 | 1 | 1 | -4.731e-10 | 0.00001619 | 0.0009276 | 0.0003372 | 0.01836 | 4.628 | 0.1169 | 0.001505 | 0.00006906 | 1 | 1 | 0.0009255 | 0.01214 | 0.0751 | 0.003947 | 0.0518 | 0.3203 | json |
| t17_x8_u3_b73 | 17 | 8 | 3 | 73 | ![]() |
lrg(P,eql(R,flr(R))) | 104709 | 138374101 | o2(x,o2(x,o1(x))) | true | 154479 | 154479 | 0.4688 | 0.5 | 0.4688 | 0.2423 | 0.4922 | 0 | 1 | 1 | 1 | 1.326 | 0.0003529 | 0 | 0.003968 | 1 | 1 | -4.731e-10 | 0.00001619 | 0.0009276 | 0.0003372 | 0.01836 | 4.628 | 0.1169 | 0.001457 | 0.00006684 | 1 | 1 | 0.0009255 | 0.01214 | 0.0751 | 0.00382 | 0.05012 | 0.31 | json |
| t17_x8_u3_b74 | 17 | 8 | 3 | 74 | ![]() |
lrg(P,min(R,flr(R))) | 104710 | 138374102 | o2(x,o2(x,o1(x))) | true | 154487 | 154487 | 0.5039 | 0.5456 | 0.5039 | 0.2412 | 0.4911 | 0 | 1 | 1 | 1 | 1.415 | 0.0003238 | 0.0001053 | 0.004981 | 0.5091 | 1 | 0.000005704 | 0.00002256 | 0.001187 | 0.0004044 | 0.02011 | 4.037 | 0.1169 | 0.001779 | 0.00009352 | 1 | 1 | 0.001146 | 0.01504 | 0.08976 | 0.004753 | 0.06234 | 0.3721 | json |
| t17_x8_u3_b75 | 17 | 8 | 3 | 75 | ![]() |
lrg(P,dot(R,flr(R))) | 104711 | 138374103 | o2(x,o2(x,o1(x))) | true | 154495 | 154495 | 0.4551 | 0.495 | 0.4551 | 0.2395 | 0.4894 | 0 | 1 | 1 | 1 | 1.396 | 0.0003287 | 0.00008768 | 0.004808 | 0.5788 | 1 | -0.000005705 | 0.00002148 | 0.001143 | 0.0003931 | 0.01983 | 4.123 | 0.1169 | 0.001738 | 0.00008968 | 1 | 1 | 0.001058 | 0.01377 | 0.08292 | 0.004417 | 0.05749 | 0.3462 | json |
| t17_x8_u3_b76 | 17 | 8 | 3 | 76 | ![]() |
lrg(P,dst(R,flr(R))) | 104712 | 138374104 | o2(x,o2(x,o1(x))) | true | 154503 | 154503 | 0.4219 | 0.4601 | 0.4219 | 0.2357 | 0.4855 | 0 | 1 | 1 | 1 | 1.37 | 0.0003335 | 0.00007022 | 0.004643 | 0.6522 | 1 | 0.000005704 | 0.0000204 | 0.001099 | 0.0003821 | 0.01955 | 4.21 | 0.1169 | 0.001713 | 0.00008654 | 1 | 1 | 0.001014 | 0.01331 | 0.08412 | 0.004302 | 0.05646 | 0.3569 | json |
| t17_x8_u3_b77 | 17 | 8 | 3 | 77 | ![]() |
eql(P,add(R,flr(R))) | 104713 | 138374105 | o2(x,o2(x,o1(x))) | true | 154511 | 154511 | 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_x8_u3_b78 | 17 | 8 | 3 | 78 | ![]() |
eql(P,sub(R,flr(R))) | 104714 | 138374106 | o2(x,o2(x,o1(x))) | true | 154519 | 154519 | 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_x8_u3_b79 | 17 | 8 | 3 | 79 | ![]() |
eql(P,mlt(R,flr(R))) | 104715 | 138374107 | o2(x,o2(x,o1(x))) | true | 154527 | 154527 | 0.02734 | 0.07556 | 0.02734 | 0.01868 | 0.1367 | 0 | 0.9997 | 0.9997 | 1 | 0.4881 | 0.0002846 | 0.0001053 | 0.004539 | 0.4597 | 1 | -0.000005705 | 0.00002084 | 0.001084 | 0.0003695 | 0.01922 | 4.235 | 0.1169 | 0.02087 | 0.001115 | 1 | 1 | 0.001069 | 0.01392 | 0.04488 | 0.0572 | 0.7453 | 2.402 | json |
| t17_x8_u3_b80 | 17 | 8 | 3 | 80 | ![]() |
eql(P,div(R,flr(R))) | 104716 | 138374108 | o2(x,o2(x,o1(x))) | true | 154535 | 154535 | 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_x8_u3_b81 | 17 | 8 | 3 | 81 | ![]() |
eql(P,pow(R,flr(R))) | 104717 | 138374109 | o2(x,o2(x,o1(x))) | true | 154543 | 154543 | 0.03906 | 0.1129 | 0.03906 | 0.02579 | 0.1606 | 0 | 0.9997 | 0.9997 | 1 | 0.6726 | 0.0003997 | 0.0001755 | 0.006718 | 0.3898 | 1 | -0.00001141 | 0.00003128 | 0.001608 | 0.0005302 | 0.02303 | 3.427 | 0.1169 | 0.0223 | 0.001213 | 1 | 1 | 0.001425 | 0.01841 | 0.04273 | 0.05526 | 0.7139 | 1.657 | json |
| t17_x8_u3_b82 | 17 | 8 | 3 | 82 | ![]() |
eql(P,mod(R,flr(R))) | 104718 | 138374110 | o2(x,o2(x,o1(x))) | true | 154551 | 154551 | 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_x8_u3_b83 | 17 | 8 | 3 | 83 | ![]() |
eql(P,lrg(R,flr(R))) | 104719 | 138374111 | o2(x,o2(x,o1(x))) | true | 154559 | 154559 | 0.0625 | 0.125 | 0.0625 | 0.04507 | 0.2123 | 0 | 0.9997 | 0.9997 | 1 | 0.8126 | 0.0007059 | 0 | 0.007934 | 1 | 1 | -9.461e-10 | 0.00003241 | 0.001855 | 0.0006433 | 0.02536 | 3.197 | 0.1169 | 0.01566 | 0.0007193 | 1 | 1 | 0.001851 | 0.02408 | 0.06598 | 0.04107 | 0.5344 | 1.464 | json |
| t17_x8_u3_b84 | 17 | 8 | 3 | 84 | ![]() |
eql(P,eql(R,flr(R))) | 104720 | 138374112 | o2(x,o2(x,o1(x))) | true | 154567 | 154567 | 0.0625 | 0.125 | 0.0625 | 0.04507 | 0.2123 | 0 | 0.9997 | 0.9997 | 1 | 0.8126 | 0.0007059 | 0 | 0.007934 | 1 | 1 | -9.461e-10 | 0.00003241 | 0.001855 | 0.0006433 | 0.02536 | 3.197 | 0.1169 | 0.01566 | 0.0007193 | 1 | 1 | 0.001851 | 0.02408 | 0.06598 | 0.04107 | 0.5344 | 1.464 | json |
| t17_x8_u3_b85 | 17 | 8 | 3 | 85 | ![]() |
eql(P,min(R,flr(R))) | 104721 | 138374113 | o2(x,o2(x,o1(x))) | true | 154575 | 154575 | 0.05469 | 0.1327 | 0.05469 | 0.03777 | 0.1944 | 0 | 1 | 1 | 1 | 0.8133 | 0.000414 | 0.0002457 | 0.007741 | 0.2551 | 1 | 0.000005704 | 0.00003679 | 0.001864 | 0.0005996 | 0.02449 | 3.163 | 0.1169 | 0.01746 | 0.000974 | 1 | 1 | 0.001703 | 0.02225 | 0.09418 | 0.04509 | 0.5891 | 2.493 | json |
| t17_x8_u3_b86 | 17 | 8 | 3 | 86 | ![]() |
eql(P,dot(R,flr(R))) | 104722 | 138374114 | o2(x,o2(x,o1(x))) | true | 154583 | 154583 | 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_x8_u3_b87 | 17 | 8 | 3 | 87 | ![]() |
eql(P,dst(R,flr(R))) | 104723 | 138374115 | o2(x,o2(x,o1(x))) | true | 154591 | 154591 | 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_x8_u3_b88 | 17 | 8 | 3 | 88 | ![]() |
min(P,add(R,flr(R))) | 104724 | 138374116 | o2(x,o2(x,o1(x))) | true | 154599 | 154599 | -0.6951 | 0.1516 | 0.8245 | 0.2864 | 0.5351 | -1 | 0.9804 | 1.98 | 1 | 2.426 | 0.003918 | 0.003986 | 0.04489 | -0.008672 | 1 | 0.00006254 | 0.001229 | 0.01409 | 0.005888 | 0.07673 | 1.709 | 0.3359 | 0.0276 | 0.004292 | 1 | 1 | 0.01551 | 0.1786 | 0.4402 | 0.05416 | 0.6238 | 1.537 | json |
| t17_x8_u3_b89 | 17 | 8 | 3 | 89 | ![]() |
min(P,sub(R,flr(R))) | 104725 | 138374117 | o2(x,o2(x,o1(x))) | true | 154607 | 154607 | -0.2182 | 0.4996 | 0.7193 | 0.5696 | 0.7547 | -1 | 0.997 | 1.997 | 1 | 3.336 | 0.0007906 | 0.0003237 | 0.01988 | 0.419 | 1 | 0.00002617 | 0.0000591 | 0.004553 | 0.0007192 | 0.02682 | 1.349 | 0.1169 | 0.001957 | 0.0001038 | 1 | 1 | 0.00233 | 0.03055 | 0.1925 | 0.004091 | 0.05364 | 0.3381 | json |
| t17_x8_u3_b90 | 17 | 8 | 3 | 90 | ![]() |
min(P,mlt(R,flr(R))) | 104726 | 138374118 | o2(x,o2(x,o1(x))) | true | 154615 | 154615 | -0.3475 | 0.4603 | 0.59 | 0.4013 | 0.6335 | -1 | 0.9987 | 1.999 | 1 | 3.059 | 0.000702 | 0.0004525 | 0.01925 | 0.2161 | 1 | 0.000002015 | 0.00006478 | 0.004541 | 0.0007839 | 0.028 | 1.455 | 0.1169 | 0.002877 | 0.0001614 | 1 | 1 | 0.002326 | 0.03036 | 0.1413 | 0.005796 | 0.07566 | 0.3521 | json |
| t17_x8_u3_b91 | 17 | 8 | 3 | 91 | ![]() |
min(P,div(R,flr(R))) | 104727 | 138374119 | o2(x,o2(x,o1(x))) | true | 154623 | 154623 | -0.07669 | 0.4997 | 0.8608 | 0.8098 | 0.8999 | -1 | 1 | 2 | 1 | 2.734 | 0.001565 | 0.001181 | 0.02184 | 0.1398 | 1 | -0.0001649 | 0.001198 | 0.01081 | 0.00227 | 0.04765 | 2.182 | 0.4624 | 0.003392 | 0.001479 | 1 | 1 | 0.005124 | 0.05091 | 0.2429 | 0.006328 | 0.06287 | 0.3 | json |
| t17_x8_u3_b92 | 17 | 8 | 3 | 92 | ![]() |
min(P,pow(R,flr(R))) | 104728 | 138374120 | o2(x,o2(x,o1(x))) | true | 154631 | 154631 | 0 | 0.5 | 0.9375 | 0.924 | 0.9612 | -1 | 1 | 2 | 1 | 1.813 | 0.0007059 | 0 | 0.007937 | 1 | 1 | 0 | 0.00003235 | 0.001851 | 0.0006432 | 0.02536 | 3.195 | 0.1169 | 0.0007639 | 0.00003501 | 1 | 1 | 0.001851 | 0.02449 | 0.2344 | 0.002003 | 0.0265 | 0.2537 | json |
| t17_x8_u3_b93 | 17 | 8 | 3 | 93 | ![]() |
min(P,mod(R,flr(R))) | 104729 | 138374121 | o2(x,o2(x,o1(x))) | true | 154639 | 154639 | -0.2777 | 0.3284 | 0.8216 | 0.6906 | 0.831 | -1 | 1 | 2 | 1 | 3.031 | 0.005127 | 0.006144 | 0.04479 | -0.09019 | 1 | -0.0002196 | 0.004279 | 0.02121 | 0.009268 | 0.09627 | 2.149 | 0.7315 | 0.01632 | 0.006197 | 1 | 1 | 0.01905 | 0.1855 | 0.4643 | 0.02759 | 0.2686 | 0.6724 | json |
| t17_x8_u3_b94 | 17 | 8 | 3 | 94 | ![]() |
min(P,lrg(R,flr(R))) | 104730 | 138374122 | o2(x,o2(x,o1(x))) | true | 154647 | 154647 | 0 | 0.5 | 0.9375 | 0.924 | 0.9612 | -1 | 1 | 2 | 1 | 1.813 | 0.0007059 | 0 | 0.007937 | 1 | 1 | 0 | 0.00003235 | 0.001851 | 0.0006432 | 0.02536 | 3.195 | 0.1169 | 0.0007639 | 0.00003501 | 1 | 1 | 0.001851 | 0.02449 | 0.2344 | 0.002003 | 0.0265 | 0.2537 | json |
| t17_x8_u3_b95 | 17 | 8 | 3 | 95 | ![]() |
min(P,eql(R,flr(R))) | 104731 | 138374123 | o2(x,o2(x,o1(x))) | true | 154655 | 154655 | -0.4688 | 0 | 0.4688 | 0.2423 | 0.4922 | -1 | 0 | 1 | 1 | 1.406 | 0.0003529 | 0 | 0.003968 | 1 | 1 | 4.731e-10 | 0.00001619 | 0.0009276 | 0.0003372 | 0.01836 | 4.628 | 0.1169 | 0.001457 | 0.00006684 | 1 | 1 | 0.0009255 | 0.01214 | 0.0751 | 0.00382 | 0.05012 | 0.31 | json |
| t17_x8_u3_b96 | 17 | 8 | 3 | 96 | ![]() |
min(P,min(R,flr(R))) | 104732 | 138374124 | o2(x,o2(x,o1(x))) | true | 154663 | 154663 | -0.7578 | 0 | 0.7578 | 0.1282 | 0.3581 | -1 | 0 | 1 | 1 | 2.446 | 0.001205 | 0.001316 | 0.02956 | -0.04423 | 1 | -0.00002994 | 0.0001512 | 0.007216 | 0.001648 | 0.0406 | 1.373 | 0.1169 | 0.01966 | 0.001179 | 1 | 1 | 0.005145 | 0.06684 | 0.1791 | 0.04012 | 0.5213 | 1.397 | json |
| t17_x8_u3_b97 | 17 | 8 | 3 | 97 | ![]() |
min(P,dot(R,flr(R))) | 104733 | 138374125 | o2(x,o2(x,o1(x))) | true | 154671 | 154671 | -0.1436 | 0.4979 | 0.7939 | 0.7074 | 0.841 | -1 | 1 | 2 | 1 | 3.183 | 0.0009782 | 0.0007787 | 0.0222 | 0.1136 | 1 | -0.00001113 | 0.000227 | 0.006323 | 0.001264 | 0.03556 | 1.602 | 0.2343 | 0.002484 | 0.0003209 | 1 | 1 | 0.003712 | 0.04522 | 0.2273 | 0.005247 | 0.06393 | 0.3213 | json |
| t17_x8_u3_b98 | 17 | 8 | 3 | 98 | ![]() |
min(P,dst(R,flr(R))) | 104734 | 138374126 | o2(x,o2(x,o1(x))) | true | 154679 | 154679 | -0.04862 | 0.4999 | 0.8889 | 0.841 | 0.9171 | -1 | 1 | 2 | 1 | 2.712 | 0.0008544 | 0.000187 | 0.01553 | 0.6409 | 1 | -0.000009009 | 0.00008478 | 0.004245 | 0.0008 | 0.02828 | 1.822 | 0.1169 | 0.001238 | 0.0001008 | 1 | 1 | 0.002465 | 0.03162 | 0.2343 | 0.002931 | 0.03759 | 0.2786 | json |
| t17_x8_u3_b99 | 17 | 8 | 3 | 99 | ![]() |
dot(P,add(R,flr(R))) | 104735 | 138374127 | o2(x,o2(x,o1(x))) | true | 154687 | 154687 | -0.07515 | 0.4641 | 0.9202 | 0.8884 | 0.9425 | -1 | 1 | 2 | 1 | 2.179 | 0.03886 | 0.0509 | 0.1043 | -0.1342 | 1 | -0.00002047 | 0.1123 | 0.1085 | 0.07891 | 0.2809 | 2.694 | 2.455 | 0.101 | 0.1264 | 1 | 1 | 0.1131 | 0.7216 | 1.633 | 0.1273 | 0.8123 | 1.838 | json |
| t17_x8_u3_b100 | 17 | 8 | 3 | 100 | ![]() |
dot(P,sub(R,flr(R))) | 104736 | 138374128 | o2(x,o2(x,o1(x))) | true | 154695 | 154695 | -0.03763 | 0.4839 | 0.8891 | 0.8516 | 0.9228 | -1 | 1 | 2 | 1 | 2.527 | 0.005566 | 0.006929 | 0.03921 | -0.1091 | 1 | -0.00002621 | 0.005526 | 0.01929 | 0.01095 | 0.1047 | 2.669 | 1.216 | 0.01467 | 0.006489 | 1 | 1 | 0.01695 | 0.1715 | 0.5017 | 0.0199 | 0.2014 | 0.5892 | json |
| t17_x8_u3_b101 | 17 | 8 | 3 | 101 | ![]() |
dot(P,mlt(R,flr(R))) | 104737 | 138374129 | o2(x,o2(x,o1(x))) | true | 154703 | 154703 | 0.04086 | 0.5052 | 0.6805 | 0.6118 | 0.7822 | -1 | 1 | 2 | 1 | 3.73 | 0.007199 | 0.01036 | 0.06382 | -0.18 | 1 | 0.00003714 | 0.008427 | 0.03355 | 0.01349 | 0.1161 | 1.82 | 1.137 | 0.0287 | 0.01377 | 1 | 1 | 0.02431 | 0.2195 | 0.5739 | 0.03973 | 0.3589 | 0.9381 | json |
| t17_x8_u3_b102 | 17 | 8 | 3 | 102 | ![]() |
dot(P,div(R,flr(R))) | 104738 | 138374130 | o2(x,o2(x,o1(x))) | true | 154711 | 154711 | -0.9696 | 0.01563 | 0.9991 | 0.05866 | 0.2422 | -1 | 1 | 2 | 1 | 0.128 | 0.006677 | 0.005153 | 0.006262 | 0.1289 | 1 | -6.007e-11 | 0.02467 | 0.0123 | 0.01179 | 0.1086 | 17.34 | 2.828 | 0.2017 | 0.4206 | 1 | 1 | 0.009361 | 0.04226 | 0.1242 | 0.1596 | 0.7205 | 2.117 | json |
| t17_x8_u3_b103 | 17 | 8 | 3 | 103 | ![]() |
dot(P,pow(R,flr(R))) | 104739 | 138374131 | o2(x,o2(x,o1(x))) | true | 154719 | 154719 | -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_x8_u3_b104 | 17 | 8 | 3 | 104 | ![]() |
dot(P,mod(R,flr(R))) | 104740 | 138374132 | o2(x,o2(x,o1(x))) | true | 154727 | 154727 | -0.9991 | 0 | 0.9991 | 0.0006508 | 0.02551 | -1 | -0.05746 | 0.9425 | 1 | 0.02074 | 0.00008442 | 0.0002349 | 0.0005451 | -0.4712 | 1 | 0 | 0.0006356 | 0.0008044 | 0.0003189 | 0.01786 | 32.76 | 0.9425 | 0.4906 | 0.9766 | 1 | 1 | 0.0006162 | 0.001779 | 0.002366 | 0.9468 | 2.733 | 3.636 | json |
| t17_x8_u3_b105 | 17 | 8 | 3 | 105 | ![]() |
dot(P,lrg(R,flr(R))) | 104741 | 138374133 | o2(x,o2(x,o1(x))) | true | 154735 | 154735 | -1.583e-8 | 0.498 | 0.9392 | 0.9217 | 0.96 | -1 | 1 | 2 | 1 | 1.917 | 0.0006889 | 0.0006889 | 0.01208 | -4.225e-8 | 1 | -4.43e-10 | 0.0002289 | 0.003184 | 0.001231 | 0.03509 | 2.904 | 0.1653 | 0.001495 | 0.0002483 | 1 | 1 | 0.003512 | 0.04405 | 0.4161 | 0.003811 | 0.04779 | 0.4514 | json |
| t17_x8_u3_b106 | 17 | 8 | 3 | 106 | ![]() |
dot(P,eql(R,flr(R))) | 104742 | 138374134 | o2(x,o2(x,o1(x))) | true | 154743 | 154743 | 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_x8_u3_b107 | 17 | 8 | 3 | 107 | ![]() |
dot(P,min(R,flr(R))) | 104743 | 138374135 | o2(x,o2(x,o1(x))) | true | 154751 | 154751 | -0.04238 | 0.4739 | 0.8078 | 0.7682 | 0.8765 | -1 | 1 | 2 | 1 | 2.874 | 0.01033 | 0.01423 | 0.06449 | -0.1588 | 1 | 0.00004393 | 0.01472 | 0.04265 | 0.02039 | 0.1428 | 2.214 | 1.344 | 0.03196 | 0.01916 | 1 | 1 | 0.0373 | 0.2996 | 0.6954 | 0.04855 | 0.3899 | 0.9051 | json |
| t17_x8_u3_b108 | 17 | 8 | 3 | 108 | ![]() |
dot(P,dot(R,flr(R))) | 104744 | 138374136 | o2(x,o2(x,o1(x))) | true | 154759 | 154759 | 0.007136 | 0.4962 | 0.8655 | 0.8328 | 0.9126 | -1 | 1 | 2 | 1 | 2.528 | 0.001749 | 0.002235 | 0.02322 | -0.1221 | 1 | 0.00002015 | 0.001989 | 0.01253 | 0.003443 | 0.05868 | 2.527 | 0.578 | 0.004784 | 0.002389 | 1 | 1 | 0.008375 | 0.07381 | 0.3363 | 0.01006 | 0.08864 | 0.4038 | json |
| t17_x8_u3_b109 | 17 | 8 | 3 | 109 | ![]() |
dot(P,dst(R,flr(R))) | 104745 | 138374137 | o2(x,o2(x,o1(x))) | true | 154767 | 154767 | -0.002603 | 0.4994 | 0.9299 | 0.9091 | 0.9535 | -1 | 1 | 2 | 1 | 2.023 | 0.0007267 | 0.0007083 | 0.0126 | 0.01278 | 1 | 0.000003306 | 0.000251 | 0.003944 | 0.001277 | 0.03573 | 2.836 | 0.2349 | 0.001578 | 0.0002761 | 1 | 1 | 0.003579 | 0.0425 | 0.3817 | 0.003936 | 0.04675 | 0.4199 | json |
| t17_x8_u3_b110 | 17 | 8 | 3 | 110 | ![]() |
dst(P,add(R,flr(R))) | 104746 | 138374138 | o2(x,o2(x,o1(x))) | true | 154775 | 154775 | 0.9987 | 1 | 0.9987 | 0.0003995 | 0.01999 | 0.4917 | 1 | 0.5083 | 1 | 0.05666 | 0.00001954 | 0.00003629 | 0.0005215 | -0.2999 | 0 | 0 | 0.00003576 | 0.0004355 | 0.00005554 | 0.007452 | 14.29 | 0.2096 | 0.1397 | 0.08951 | 1 | 1 | 0.0001701 | 0.001085 | 0.001384 | 0.4258 | 2.715 | 3.463 | json |
| t17_x8_u3_b111 | 17 | 8 | 3 | 111 | ![]() |
dst(P,sub(R,flr(R))) | 104747 | 138374139 | o2(x,o2(x,o1(x))) | true | 154783 | 154783 | 0.9991 | 1 | 0.9991 | 0.0002317 | 0.01522 | 0.5927 | 1 | 0.4073 | 1 | 0.04326 | 0.00000751 | 0.000009797 | 0.0002646 | -0.1321 | 0 | -8.635e-11 | 0.00000692 | 0.0001492 | 0.00001726 | 0.004154 | 15.7 | 0.1355 | 0.0747 | 0.02987 | 1 | 1 | 0.00005585 | 0.000499 | 0.0008438 | 0.2411 | 2.154 | 3.642 | json |
| t17_x8_u3_b112 | 17 | 8 | 3 | 112 | ![]() |
dst(P,mlt(R,flr(R))) | 104748 | 138374140 | o2(x,o2(x,o1(x))) | true | 154791 | 154791 | 0.9992 | 1 | 0.9992 | 0.0001464 | 0.0121 | 0.7292 | 1 | 0.2708 | 1 | 0.05141 | 0.000003344 | 0.000006445 | 0.0002226 | -0.3168 | 0 | 7.509e-11 | 0.000004022 | 0.0001297 | 0.000009744 | 0.003122 | 14.03 | 0.06927 | 0.06688 | 0.02748 | 1 | 1 | 0.00003151 | 0.0002752 | 0.0005332 | 0.2153 | 1.881 | 3.643 | json |
| t17_x8_u3_b113 | 17 | 8 | 3 | 113 | ![]() |
dst(P,div(R,flr(R))) | 104749 | 138374141 | o2(x,o2(x,o1(x))) | true | 154799 | 154799 | -0.9922 | 0.003906 | 1 | 0.01556 | 0.1248 | -1 | 1 | 2 | 1 | 0.03687 | 0.002016 | 0.002016 | 0.001997 | 0 | 1 | 0 | 0.008566 | 0.004031 | 0.004027 | 0.06346 | 31.77 | 2.828 | 0.259 | 0.5504 | 1 | 1 | 0.005983 | 0.02659 | 0.05407 | 0.3844 | 1.709 | 3.474 | json |
| t17_x8_u3_b114 | 17 | 8 | 3 | 114 | ![]() |
dst(P,pow(R,flr(R))) | 104750 | 138374142 | o2(x,o2(x,o1(x))) | true | 154807 | 154807 | -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_x8_u3_b115 | 17 | 8 | 3 | 115 | ![]() |
dst(P,mod(R,flr(R))) | 104751 | 138374143 | o2(x,o2(x,o1(x))) | true | 154815 | 154815 | -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_x8_u3_b116 | 17 | 8 | 3 | 116 | ![]() |
dst(P,lrg(R,flr(R))) | 104752 | 138374144 | o2(x,o2(x,o1(x))) | true | 154823 | 154823 | 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_x8_u3_b117 | 17 | 8 | 3 | 117 | ![]() |
dst(P,eql(R,flr(R))) | 104753 | 138374145 | o2(x,o2(x,o1(x))) | true | 154831 | 154831 | 0.9964 | 1 | 0.9964 | 0.002289 | 0.04784 | 0.000582 | 1 | 0.9994 | 1 | 0.09109 | 0.00003966 | 0.00003966 | 0.0008105 | 5.503e-7 | 0 | -4.881e-11 | 0.00001004 | 0.0002297 | 0.00007859 | 0.008865 | 10.94 | 0.1294 | 0.03466 | 0.004388 | 1 | 1 | 0.0002733 | 0.00336 | 0.008351 | 0.1194 | 1.468 | 3.649 | json |
| t17_x8_u3_b118 | 17 | 8 | 3 | 118 | ![]() |
dst(P,min(R,flr(R))) | 104754 | 138374146 | o2(x,o2(x,o1(x))) | true | 154839 | 154839 | 0.9973 | 1 | 0.9973 | 0.001754 | 0.04188 | 0.0005821 | 1 | 0.9994 | 1 | 0.06748 | 0.00003988 | 0.00005448 | 0.0007153 | -0.1547 | 0 | -2.816e-11 | 0.00002356 | 0.0002995 | 0.00009383 | 0.009686 | 13.54 | 0.2517 | 0.0538 | 0.01343 | 1 | 1 | 0.0003158 | 0.003275 | 0.006392 | 0.1801 | 1.867 | 3.645 | json |
| t17_x8_u3_b119 | 17 | 8 | 3 | 119 | ![]() |
dst(P,dot(R,flr(R))) | 104755 | 138374147 | o2(x,o2(x,o1(x))) | true | 154847 | 154847 | 0.9998 | 1 | 0.9998 | 0.00002179 | 0.004668 | 0.8278 | 1 | 0.1722 | 1 | 0.01561 | 0.000001805 | 0.000001514 | 0.00007716 | 0.0878 | 0 | -4.13e-11 | 0.000002088 | 0.00006181 | 0.000003311 | 0.00182 | 23.58 | 0.07749 | 0.1524 | 0.09586 | 1 | 1 | 0.00001024 | 0.00006989 | 0.00007927 | 0.4702 | 3.208 | 3.639 | json |
| t17_x8_u3_b120 | 17 | 8 | 3 | 120 | ![]() |
dst(P,dst(R,flr(R))) | 104756 | 138374148 | o2(x,o2(x,o1(x))) | true | 154855 | 154855 | 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_x8_u4_b0 | 17 | 8 | 4 | 0 | ![]() |
add(P,add(R,cil(R))) | 104757 | 138374229 | o2(x,o2(x,o1(x))) | true | 154863 | 154863 | 0.06641 | 0.5306 | 0.9431 | 0.9188 | 0.9585 | -1 | 1 | 2 | 1 | 1.911 | 0.001967 | 0.001222 | 0.01594 | 0.2337 | 1 | -0.00003689 | 0.0007106 | 0.006124 | 0.002936 | 0.05418 | 3.398 | 0.4156 | 0.003471 | 0.0007734 | 1 | 1 | 0.007671 | 0.08204 | 0.3495 | 0.008349 | 0.08929 | 0.3804 | json |
| t17_x8_u4_b1 | 17 | 8 | 4 | 1 | ![]() |
add(P,sub(R,cil(R))) | 104758 | 138374230 | o2(x,o2(x,o1(x))) | true | 154871 | 154871 | -0.05913 | 0.4688 | 0.9462 | 0.921 | 0.9597 | -1 | 1 | 2 | 1 | 1.957 | 0.0007926 | 0.00006667 | 0.008755 | 0.8448 | 1 | -0.000004072 | 0.00009892 | 0.002616 | 0.0007824 | 0.02797 | 3.195 | 0.2212 | 0.000933 | 0.0001074 | 1 | 1 | 0.002177 | 0.02654 | 0.2382 | 0.002364 | 0.02882 | 0.2586 | json |
| t17_x8_u4_b2 | 17 | 8 | 4 | 2 | ![]() |
add(P,mlt(R,cil(R))) | 104759 | 138374231 | o2(x,o2(x,o1(x))) | true | 154879 | 154879 | 0.03591 | 0.5157 | 0.934 | 0.915 | 0.9565 | -1 | 1 | 2 | 1 | 1.928 | 0.0008448 | 0.0001097 | 0.009061 | 0.7702 | 1 | -0.00001059 | 0.0001461 | 0.002762 | 0.000873 | 0.02955 | 3.261 | 0.2201 | 0.001043 | 0.0001597 | 1 | 1 | 0.002389 | 0.02876 | 0.2421 | 0.002611 | 0.03144 | 0.2646 | json |
| t17_x8_u4_b3 | 17 | 8 | 4 | 3 | ![]() |
add(P,div(R,cil(R))) | 104760 | 138374232 | o2(x,o2(x,o1(x))) | true | 154887 | 154887 | -0.8614 | 0.06873 | 0.9945 | 0.2507 | 0.5007 | -1 | 1 | 2 | 1 | 0.4692 | 0.03004 | 0.03218 | 0.03216 | -0.03435 | 1 | -2.102e-10 | 0.1319 | 0.06375 | 0.06115 | 0.2473 | 7.69 | 2.828 | 0.2482 | 0.526 | 1 | 1 | 0.0591 | 0.2461 | 0.4998 | 0.2357 | 0.9816 | 1.993 | json |
| t17_x8_u4_b4 | 17 | 8 | 4 | 4 | ![]() |
add(P,pow(R,cil(R))) | 104761 | 138374233 | o2(x,o2(x,o1(x))) | true | 154895 | 154895 | 0.09834 | 0.5459 | 0.9373 | 0.9093 | 0.9536 | -1 | 1 | 2 | 1 | 1.922 | 0.0007587 | 0.00008866 | 0.008855 | 0.7907 | 1 | 0.000005046 | 0.00008534 | 0.002367 | 0.0007693 | 0.02774 | 3.132 | 0.2334 | 0.0009319 | 0.00009386 | 1 | 1 | 0.002224 | 0.0283 | 0.2394 | 0.002446 | 0.03112 | 0.2633 | json |
| t17_x8_u4_b5 | 17 | 8 | 4 | 5 | ![]() |
add(P,mod(R,cil(R))) | 104762 | 138374234 | o2(x,o2(x,o1(x))) | true | 154903 | 154903 | -0.9786 | 0.01013 | 0.9945 | 0.03496 | 0.187 | -1 | 1 | 2 | 1 | 0.1782 | 0.00247 | 0.00421 | 0.004667 | -0.2604 | 1 | -2.102e-10 | 0.01381 | 0.008228 | 0.006658 | 0.08159 | 17.49 | 2.828 | 0.1911 | 0.395 | 1 | 1 | 0.001785 | 0.01055 | 0.03441 | 0.05107 | 0.3019 | 0.9843 | json |
| t17_x8_u4_b6 | 17 | 8 | 4 | 6 | ![]() |
add(P,lrg(R,cil(R))) | 104763 | 138374235 | o2(x,o2(x,o1(x))) | true | 154911 | 154911 | 0 | 0.5 | 0.9375 | 0.924 | 0.9612 | -1 | 1 | 2 | 1 | 1.813 | 0.0007059 | 0 | 0.007937 | 1 | 1 | 0 | 0.00003235 | 0.001851 | 0.0006432 | 0.02536 | 3.195 | 0.1169 | 0.0007639 | 0.00003501 | 1 | 1 | 0.001851 | 0.02449 | 0.2344 | 0.002003 | 0.0265 | 0.2537 | json |
| t17_x8_u4_b7 | 17 | 8 | 4 | 7 | ![]() |
add(P,eql(R,cil(R))) | 104764 | 138374236 | o2(x,o2(x,o1(x))) | true | 154919 | 154919 | 0 | 0.5 | 0.9375 | 0.924 | 0.9612 | -1 | 1 | 2 | 1 | 1.813 | 0.0007059 | 0 | 0.007937 | 1 | 1 | 0 | 0.00003235 | 0.001851 | 0.0006432 | 0.02536 | 3.195 | 0.1169 | 0.0007639 | 0.00003501 | 1 | 1 | 0.001851 | 0.02449 | 0.2344 | 0.002003 | 0.0265 | 0.2537 | json |
| t17_x8_u4_b8 | 17 | 8 | 4 | 8 | ![]() |
add(P,min(R,cil(R))) | 104765 | 138374237 | o2(x,o2(x,o1(x))) | true | 154927 | 154927 | 0.003757 | 0.4974 | 0.9428 | 0.9208 | 0.9596 | -1 | 1 | 2 | 1 | 1.952 | 0.001169 | 0.000358 | 0.0111 | 0.5311 | 1 | -0.00002042 | 0.0002765 | 0.003741 | 0.001403 | 0.03746 | 3.374 | 0.312 | 0.001658 | 0.0003002 | 1 | 1 | 0.003726 | 0.04331 | 0.2691 | 0.004046 | 0.04703 | 0.2923 | json |
| t17_x8_u4_b9 | 17 | 8 | 4 | 9 | ![]() |
add(P,dot(R,cil(R))) | 104766 | 138374238 | o2(x,o2(x,o1(x))) | true | 154935 | 154935 | 0.1004 | 0.5528 | 0.9397 | 0.9079 | 0.9528 | -1 | 1 | 2 | 1 | 1.992 | 0.001047 | 0.0003876 | 0.01122 | 0.4597 | 1 | -0.00001305 | 0.0002336 | 0.003727 | 0.001308 | 0.03617 | 3.224 | 0.2826 | 0.00158 | 0.0002573 | 1 | 1 | 0.003462 | 0.04011 | 0.253 | 0.003814 | 0.04417 | 0.2786 | json |
| t17_x8_u4_b10 | 17 | 8 | 4 | 10 | ![]() |
add(P,dst(R,cil(R))) | 104767 | 138374239 | o2(x,o2(x,o1(x))) | true | 154943 | 154943 | 0.1171 | 0.557 | 0.9445 | 0.9117 | 0.9548 | -1 | 1 | 2 | 1 | 1.914 | 0.0007908 | 0.0001327 | 0.009128 | 0.7126 | 1 | 0.00001067 | 0.00008237 | 0.002445 | 0.0008406 | 0.02899 | 3.176 | 0.2107 | 0.001013 | 0.00009035 | 1 | 1 | 0.002287 | 0.02866 | 0.2471 | 0.002509 | 0.03144 | 0.271 | json |
| t17_x8_u4_b11 | 17 | 8 | 4 | 11 | ![]() |
sub(P,add(R,cil(R))) | 104768 | 138374240 | o2(x,o2(x,o1(x))) | true | 154951 | 154951 | -0.06853 | 0.4675 | 0.9387 | 0.9118 | 0.9549 | -1 | 1 | 2 | 1 | 1.998 | 0.002148 | 0.001335 | 0.01804 | 0.2336 | 1 | 0.00003495 | 0.000729 | 0.006682 | 0.003156 | 0.05618 | 3.115 | 0.4362 | 0.00382 | 0.0007995 | 1 | 1 | 0.008651 | 0.09337 | 0.3196 | 0.009487 | 0.1024 | 0.3505 | json |
| t17_x8_u4_b12 | 17 | 8 | 4 | 12 | ![]() |
sub(P,sub(R,cil(R))) | 104769 | 138374241 | o2(x,o2(x,o1(x))) | true | 154959 | 154959 | 0.06113 | 0.5318 | 0.944 | 0.9183 | 0.9583 | -1 | 1 | 2 | 1 | 1.974 | 0.0007819 | 0.00007526 | 0.008857 | 0.8244 | 1 | 0.000004385 | 0.00009775 | 0.002593 | 0.0007792 | 0.02791 | 3.152 | 0.2164 | 0.0009334 | 0.0001064 | 1 | 1 | 0.002182 | 0.02655 | 0.2369 | 0.002376 | 0.02891 | 0.258 | json |
| t17_x8_u4_b13 | 17 | 8 | 4 | 13 | ![]() |
sub(P,mlt(R,cil(R))) | 104770 | 138374242 | o2(x,o2(x,o1(x))) | true | 154967 | 154967 | -0.03855 | 0.4838 | 0.9296 | 0.9098 | 0.9538 | -1 | 1 | 2 | 1 | 1.954 | 0.0008378 | 0.0001186 | 0.009138 | 0.7519 | 1 | 0.0000112 | 0.000146 | 0.002785 | 0.0008733 | 0.02955 | 3.234 | 0.2161 | 0.001051 | 0.0001605 | 1 | 1 | 0.002447 | 0.02935 | 0.2345 | 0.00269 | 0.03226 | 0.2578 | json |
| t17_x8_u4_b14 | 17 | 8 | 4 | 14 | ![]() |
sub(P,div(R,cil(R))) | 104771 | 138374243 | o2(x,o2(x,o1(x))) | true | 154975 | 154975 | -0.9881 | 0.005371 | 0.9964 | 0.01909 | 0.1382 | -1 | 1 | 2 | 1 | 0.11 | 0.001412 | 0.002239 | 0.002542 | -0.2263 | 1 | -5.256e-11 | 0.007608 | 0.004546 | 0.003643 | 0.06036 | 23.74 | 2 | 0.1913 | 0.3985 | 1 | 1 | 0.0001863 | 0.001323 | 0.01658 | 0.00976 | 0.06929 | 0.8683 | json |
| t17_x8_u4_b15 | 17 | 8 | 4 | 15 | ![]() |
sub(P,pow(R,cil(R))) | 104772 | 138374244 | o2(x,o2(x,o1(x))) | true | 154983 | 154983 | -0.0981 | 0.4553 | 0.9376 | 0.9093 | 0.9536 | -1 | 1 | 2 | 1 | 1.912 | 0.000768 | 0.0001004 | 0.008951 | 0.7688 | 1 | -0.000007156 | 0.00009666 | 0.002441 | 0.0007882 | 0.02808 | 3.136 | 0.1988 | 0.0009549 | 0.0001063 | 1 | 1 | 0.002258 | 0.02825 | 0.2363 | 0.002483 | 0.03106 | 0.2598 | json |
| t17_x8_u4_b16 | 17 | 8 | 4 | 16 | ![]() |
sub(P,mod(R,cil(R))) | 104773 | 138374245 | o2(x,o2(x,o1(x))) | true | 154991 | 154991 | -0.9881 | 0.005371 | 0.9964 | 0.01909 | 0.1382 | -1 | 1 | 2 | 1 | 0.11 | 0.001412 | 0.002239 | 0.002542 | -0.2263 | 1 | -5.256e-11 | 0.007608 | 0.004546 | 0.003643 | 0.06036 | 23.74 | 2 | 0.1913 | 0.3985 | 1 | 1 | 0.0001863 | 0.001323 | 0.01658 | 0.00976 | 0.06929 | 0.8683 | json |
| t17_x8_u4_b17 | 17 | 8 | 4 | 17 | ![]() |
sub(P,lrg(R,cil(R))) | 104774 | 138374246 | o2(x,o2(x,o1(x))) | true | 154999 | 154999 | 0 | 0.5 | 0.9375 | 0.924 | 0.9612 | -1 | 1 | 2 | 1 | 1.813 | 0.0007059 | 0 | 0.007937 | 1 | 1 | 0 | 0.00003235 | 0.001851 | 0.0006432 | 0.02536 | 3.195 | 0.1169 | 0.0007639 | 0.00003501 | 1 | 1 | 0.001851 | 0.02449 | 0.2344 | 0.002003 | 0.0265 | 0.2537 | json |
| t17_x8_u4_b18 | 17 | 8 | 4 | 18 | ![]() |
sub(P,eql(R,cil(R))) | 104775 | 138374247 | o2(x,o2(x,o1(x))) | true | 155007 | 155007 | 0 | 0.5 | 0.9375 | 0.924 | 0.9612 | -1 | 1 | 2 | 1 | 1.813 | 0.0007059 | 0 | 0.007937 | 1 | 1 | 0 | 0.00003235 | 0.001851 | 0.0006432 | 0.02536 | 3.195 | 0.1169 | 0.0007639 | 0.00003501 | 1 | 1 | 0.001851 | 0.02449 | 0.2344 | 0.002003 | 0.0265 | 0.2537 | json |
| t17_x8_u4_b19 | 17 | 8 | 4 | 19 | ![]() |
sub(P,min(R,cil(R))) | 104776 | 138374248 | o2(x,o2(x,o1(x))) | true | 155015 | 155015 | -0.004612 | 0.5032 | 0.9368 | 0.913 | 0.9555 | -1 | 1 | 2 | 1 | 2.013 | 0.001147 | 0.000385 | 0.01159 | 0.4976 | 1 | 0.00002051 | 0.0002745 | 0.003871 | 0.001399 | 0.0374 | 3.228 | 0.3332 | 0.001679 | 0.0003007 | 1 | 1 | 0.003782 | 0.0437 | 0.2627 | 0.004142 | 0.04787 | 0.2877 | json |
| t17_x8_u4_b20 | 17 | 8 | 4 | 20 | ![]() |
sub(P,dot(R,cil(R))) | 104777 | 138374249 | o2(x,o2(x,o1(x))) | true | 155023 | 155023 | -0.1056 | 0.4414 | 0.9338 | 0.9007 | 0.9491 | -1 | 1 | 2 | 1 | 2.013 | 0.001018 | 0.0002718 | 0.0109 | 0.5785 | 1 | 0.00001339 | 0.0002099 | 0.003539 | 0.001171 | 0.03422 | 3.138 | 0.3024 | 0.001432 | 0.000233 | 1 | 1 | 0.003306 | 0.03856 | 0.2475 | 0.003671 | 0.04281 | 0.2748 | json |
| t17_x8_u4_b21 | 17 | 8 | 4 | 21 | ![]() |
sub(P,dst(R,cil(R))) | 104778 | 138374250 | o2(x,o2(x,o1(x))) | true | 155031 | 155031 | -0.1129 | 0.4492 | 0.9436 | 0.9104 | 0.9541 | -1 | 1 | 2 | 1 | 1.943 | 0.0008067 | 0.00008459 | 0.00883 | 0.8102 | 1 | -0.000004973 | 0.00008479 | 0.002449 | 0.0008129 | 0.02851 | 3.229 | 0.2386 | 0.000979 | 0.00009314 | 1 | 1 | 0.002311 | 0.02912 | 0.2435 | 0.002539 | 0.03199 | 0.2675 | json |
| t17_x8_u4_b22 | 17 | 8 | 4 | 22 | ![]() |
mlt(P,add(R,cil(R))) | 104779 | 138374251 | o2(x,o2(x,o1(x))) | true | 155039 | 155039 | -0.03939 | 0.4854 | 0.8278 | 0.7803 | 0.8834 | -1 | 1 | 2 | 1 | 2.977 | 0.02571 | 0.03187 | 0.09683 | -0.107 | 1 | -0.00003876 | 0.05021 | 0.07499 | 0.04818 | 0.2195 | 2.267 | 1.847 | 0.07378 | 0.06434 | 1 | 1 | 0.07804 | 0.5629 | 1.175 | 0.1 | 0.7213 | 1.505 | json |
| t17_x8_u4_b23 | 17 | 8 | 4 | 23 | ![]() |
mlt(P,sub(R,cil(R))) | 104780 | 138374252 | o2(x,o2(x,o1(x))) | true | 155047 | 155047 | -0.005475 | 0.4982 | 0.8098 | 0.7547 | 0.8687 | -1 | 1 | 2 | 1 | 3.213 | 0.001172 | 0.000966 | 0.02091 | 0.09641 | 1 | 0.00005642 | 0.0008053 | 0.00952 | 0.001701 | 0.04124 | 1.972 | 0.4146 | 0.002833 | 0.001067 | 1 | 1 | 0.004054 | 0.04039 | 0.1625 | 0.005372 | 0.05352 | 0.2154 | json |
| t17_x8_u4_b24 | 17 | 8 | 4 | 24 | ![]() |
mlt(P,mlt(R,cil(R))) | 104781 | 138374253 | o2(x,o2(x,o1(x))) | true | 155055 | 155055 | -0.02916 | 0.4518 | 0.5018 | 0.4305 | 0.6561 | -1 | 1 | 2 | 1 | 3.931 | 0.003301 | 0.003909 | 0.0465 | -0.08424 | 1 | -0.00004036 | 0.00269 | 0.02141 | 0.005048 | 0.07105 | 1.528 | 0.4662 | 0.01675 | 0.006249 | 1 | 1 | 0.01244 | 0.1217 | 0.3088 | 0.0289 | 0.2827 | 0.7172 | json |
| t17_x8_u4_b25 | 17 | 8 | 4 | 25 | ![]() |
mlt(P,div(R,cil(R))) | 104782 | 138374254 | o2(x,o2(x,o1(x))) | true | 155063 | 155063 | -0.9202 | 0.03906 | 0.9936 | 0.1445 | 0.3802 | -1 | 1 | 2 | 1 | 0.3922 | 0.0171 | 0.01719 | 0.01857 | -0.002484 | 1 | -3.004e-10 | 0.07251 | 0.03623 | 0.03394 | 0.1842 | 9.921 | 2.828 | 0.2372 | 0.5017 | 1 | 1 | 0.03089 | 0.1302 | 0.2913 | 0.2137 | 0.9009 | 2.015 | json |
| t17_x8_u4_b26 | 17 | 8 | 4 | 26 | ![]() |
mlt(P,pow(R,cil(R))) | 104783 | 138374255 | o2(x,o2(x,o1(x))) | true | 155071 | 155071 | 0.00207 | 0.4997 | 0.9039 | 0.8767 | 0.9363 | -1 | 1 | 2 | 1 | 2.364 | 0.0008994 | 0.0003834 | 0.01288 | 0.4023 | 1 | 0.00002448 | 0.000472 | 0.005839 | 0.001117 | 0.03341 | 2.595 | 0.3971 | 0.001463 | 0.0005384 | 1 | 1 | 0.002628 | 0.02843 | 0.2089 | 0.002997 | 0.03243 | 0.2383 | json |
| t17_x8_u4_b27 | 17 | 8 | 4 | 27 | ![]() |
mlt(P,mod(R,cil(R))) | 104784 | 138374256 | o2(x,o2(x,o1(x))) | true | 155079 | 155079 | -0.9827 | 0.007813 | 0.9936 | 0.02546 | 0.1596 | -1 | 1 | 2 | 1 | 0.2102 | 0.001985 | 0.003078 | 0.004087 | -0.2159 | 1 | 0 | 0.01053 | 0.007007 | 0.005047 | 0.07104 | 17.38 | 2.64 | 0.1988 | 0.4134 | 1 | 1 | 0.0008043 | 0.004724 | 0.02358 | 0.03159 | 0.1855 | 0.9259 | json |
| t17_x8_u4_b28 | 17 | 8 | 4 | 28 | ![]() |
mlt(P,lrg(R,cil(R))) | 104785 | 138374257 | o2(x,o2(x,o1(x))) | true | 155087 | 155087 | 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_x8_u4_b29 | 17 | 8 | 4 | 29 | ![]() |
mlt(P,eql(R,cil(R))) | 104786 | 138374258 | o2(x,o2(x,o1(x))) | true | 155095 | 155095 | 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_x8_u4_b30 | 17 | 8 | 4 | 30 | ![]() |
mlt(P,min(R,cil(R))) | 104787 | 138374259 | o2(x,o2(x,o1(x))) | true | 155103 | 155103 | -0.0623 | 0.4686 | 0.7239 | 0.644 | 0.8025 | -1 | 1 | 2 | 1 | 3.79 | 0.01645 | 0.01963 | 0.09244 | -0.08822 | 1 | -0.00004552 | 0.0199 | 0.04926 | 0.02753 | 0.1659 | 1.795 | 1.466 | 0.05602 | 0.0309 | 1 | 1 | 0.05074 | 0.4449 | 1.04 | 0.07878 | 0.6908 | 1.616 | json |
| t17_x8_u4_b31 | 17 | 8 | 4 | 31 | ![]() |
mlt(P,dot(R,cil(R))) | 104788 | 138374260 | o2(x,o2(x,o1(x))) | true | 155111 | 155111 | -0.01453 | 0.4979 | 0.8336 | 0.7951 | 0.8917 | -1 | 1 | 2 | 1 | 2.803 | 0.00301 | 0.002034 | 0.02814 | 0.1934 | 1 | -0.00006802 | 0.002575 | 0.01601 | 0.004253 | 0.06521 | 2.317 | 0.5632 | 0.006344 | 0.003239 | 1 | 1 | 0.007776 | 0.06763 | 0.2582 | 0.00978 | 0.08506 | 0.3248 | json |
| t17_x8_u4_b32 | 17 | 8 | 4 | 32 | ![]() |
mlt(P,dst(R,cil(R))) | 104789 | 138374261 | o2(x,o2(x,o1(x))) | true | 155119 | 155119 | -0.003293 | 0.4998 | 0.918 | 0.8969 | 0.9471 | -1 | 1 | 2 | 1 | 2.106 | 0.0006816 | 0.0001055 | 0.008997 | 0.732 | 1 | -8.444e-7 | 0.0001329 | 0.002969 | 0.0007057 | 0.02657 | 2.953 | 0.184 | 0.0008776 | 0.0001482 | 1 | 1 | 0.001884 | 0.02197 | 0.2085 | 0.0021 | 0.02449 | 0.2324 | json |
| t17_x8_u4_b33 | 17 | 8 | 4 | 33 | ![]() |
div(P,add(R,cil(R))) | 104790 | 138374262 | o2(x,o2(x,o1(x))) | true | 155127 | 155127 | -0.07162 | 0.4646 | 0.8776 | 0.841 | 0.9171 | -1 | 1 | 2 | 1 | 2.463 | 0.04009 | 0.04979 | 0.1001 | -0.108 | 1 | -0.0001293 | 0.1244 | 0.1076 | 0.07989 | 0.2827 | 2.823 | 2.828 | 0.1069 | 0.1479 | 1 | 1 | 0.1095 | 0.6468 | 1.367 | 0.1302 | 0.7691 | 1.625 | json |
| t17_x8_u4_b34 | 17 | 8 | 4 | 34 | ![]() |
div(P,sub(R,cil(R))) | 104791 | 138374263 | o2(x,o2(x,o1(x))) | true | 155135 | 155135 | -0.0006388 | 0.5 | 0.9647 | 0.9586 | 0.9791 | -1 | 1 | 2 | 1 | 1.449 | 0.001861 | 0.00007878 | 0.008152 | 0.9188 | 1 | -9.61e-7 | 0.001031 | 0.005283 | 0.001874 | 0.04329 | 5.311 | 0.5829 | 0.002024 | 0.001076 | 1 | 1 | 0.004454 | 0.03818 | 0.2834 | 0.004647 | 0.03983 | 0.2957 | json |
| t17_x8_u4_b35 | 17 | 8 | 4 | 35 | ![]() |
div(P,mlt(R,cil(R))) | 104792 | 138374264 | o2(x,o2(x,o1(x))) | true | 155143 | 155143 | -0.9219 | 0.03906 | 0.9967 | 0.1462 | 0.3823 | -1 | 1 | 2 | 1 | 0.2928 | 0.01719 | 0.01738 | 0.01784 | -0.005302 | 1 | -4.505e-11 | 0.07308 | 0.03516 | 0.03426 | 0.1851 | 10.37 | 2.828 | 0.2365 | 0.4999 | 1 | 1 | 0.03077 | 0.1302 | 0.2916 | 0.2105 | 0.891 | 1.995 | json |
| t17_x8_u4_b36 | 17 | 8 | 4 | 36 | ![]() |
div(P,div(R,cil(R))) | 104793 | 138374265 | o2(x,o2(x,o1(x))) | true | 155151 | 155151 | -0.003385 | 0.4608 | 0.7055 | 0.6744 | 0.8212 | -1 | 1 | 2 | 1 | 2.891 | 0.00736 | 0.009032 | 0.0503 | -0.102 | 1 | -0.000408 | 0.01575 | 0.04304 | 0.01386 | 0.1177 | 2.34 | 0.9915 | 0.02431 | 0.02335 | 1 | 1 | 0.02563 | 0.1688 | 0.4237 | 0.038 | 0.2503 | 0.6284 | json |
| t17_x8_u4_b37 | 17 | 8 | 4 | 37 | ![]() |
div(P,pow(R,cil(R))) | 104794 | 138374266 | o2(x,o2(x,o1(x))) | true | 155159 | 155159 | 0.0001727 | 0.5 | 0.9503 | 0.9405 | 0.9698 | -1 | 1 | 2 | 1 | 1.65 | 0.001487 | 0.0001514 | 0.008243 | 0.8152 | 1 | 2.073e-10 | 0.001482 | 0.004073 | 0.001571 | 0.03963 | 4.808 | 0.9877 | 0.001742 | 0.001576 | 1 | 1 | 0.00383 | 0.03472 | 0.2686 | 0.004072 | 0.03691 | 0.2855 | json |
| t17_x8_u4_b38 | 17 | 8 | 4 | 38 | ![]() |
div(P,mod(R,cil(R))) | 104795 | 138374267 | o2(x,o2(x,o1(x))) | true | 155167 | 155167 | -0.9844 | 0.007813 | 0.9967 | 0.02706 | 0.1645 | -1 | 1 | 2 | 1 | 0.1147 | 0.002077 | 0.003268 | 0.00336 | -0.2228 | 1 | -4.505e-11 | 0.0111 | 0.005937 | 0.005334 | 0.07303 | 21.74 | 2.828 | 0.1976 | 0.4101 | 1 | 1 | 0.0006855 | 0.004763 | 0.02389 | 0.02534 | 0.176 | 0.8831 | json |
| t17_x8_u4_b39 | 17 | 8 | 4 | 39 | ![]() |
div(P,lrg(R,cil(R))) | 104796 | 138374268 | o2(x,o2(x,o1(x))) | true | 155175 | 155175 | -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_x8_u4_b40 | 17 | 8 | 4 | 40 | ![]() |
div(P,eql(R,cil(R))) | 104797 | 138374269 | o2(x,o2(x,o1(x))) | true | 155183 | 155183 | -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_x8_u4_b41 | 17 | 8 | 4 | 41 | ![]() |
div(P,min(R,cil(R))) | 104798 | 138374270 | o2(x,o2(x,o1(x))) | true | 155191 | 155191 | -0.04277 | 0.4804 | 0.9246 | 0.9053 | 0.9514 | -1 | 1 | 2 | 1 | 1.97 | 0.06363 | 0.07955 | 0.1129 | -0.1112 | 1 | -0.000001092 | 0.2829 | 0.1607 | 0.1304 | 0.3611 | 3.2 | 2.828 | 0.1582 | 0.3125 | 1 | 1 | 0.162 | 0.8287 | 1.855 | 0.1789 | 0.9154 | 2.049 | json |
| t17_x8_u4_b42 | 17 | 8 | 4 | 42 | ![]() |
div(P,dot(R,cil(R))) | 104799 | 138374271 | o2(x,o2(x,o1(x))) | true | 155199 | 155199 | -0.3467 | 0.3281 | 0.9492 | 0.8172 | 0.904 | -1 | 1 | 2 | 1 | 1.605 | 0.03863 | 0.03729 | 0.04559 | 0.01754 | 1 | 7.497e-7 | 0.1571 | 0.08001 | 0.07388 | 0.2718 | 5.962 | 2.828 | 0.0929 | 0.1923 | 1 | 1 | 0.07155 | 0.3245 | 0.9521 | 0.08755 | 0.3971 | 1.165 | json |



































































































