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_x18_u5_b52 | 17 | 18 | 5 | 52 | ![]() |
pow(R,min(P,sgn(P))) | 113400 | 138778492 | o2(x,o2(x,o1(x))) | true | 67207 | 67207 | -0.8561 | 0.07422 | 0.9955 | 0.2597 | 0.5096 | -1 | 1 | 2 | 1 | 0.485 | 0.02305 | 0.02298 | 0.02419 | 0.001461 | 1 | 0.000002697 | 0.09597 | 0.04761 | 0.04543 | 0.2131 | 8.813 | 2.828 | 0.1773 | 0.3695 | 1 | 1 | 0.04423 | 0.1854 | 0.6149 | 0.1703 | 0.7138 | 2.368 | json |
| t17_x18_u5_b53 | 17 | 18 | 5 | 53 | ![]() |
pow(R,dot(P,sgn(P))) | 113401 | 138778493 | o2(x,o2(x,o1(x))) | true | 67215 | 67215 | -0.9507 | 0.04173 | 0.9633 | 0.0552 | 0.2349 | -1 | 0.7241 | 1.724 | 1 | 0.37 | 0.005787 | 0.005437 | 0.01028 | 0.03111 | 1 | 0.000003584 | 0.02342 | 0.01924 | 0.01111 | 0.1054 | 10.25 | 1.866 | 0.2033 | 0.4242 | 1 | 1 | 0.009448 | 0.04103 | 0.1008 | 0.1712 | 0.7434 | 1.827 | json |
| t17_x18_u5_b54 | 17 | 18 | 5 | 54 | ![]() |
pow(R,dst(P,sgn(P))) | 113402 | 138778494 | o2(x,o2(x,o1(x))) | true | 67223 | 67223 | -0.9151 | 0.05833 | 0.9677 | 0.125 | 0.3535 | -1 | 1 | 2 | 1 | 0.5106 | 0.01117 | 0.01064 | 0.0154 | 0.02425 | 1 | 0.000005597 | 0.04559 | 0.02913 | 0.02159 | 0.1469 | 9.537 | 2.828 | 0.1746 | 0.3649 | 1 | 1 | 0.02705 | 0.1116 | 0.36 | 0.2165 | 0.8932 | 2.881 | json |
| t17_x18_u5_b55 | 17 | 18 | 5 | 55 | ![]() |
mod(R,add(P,sgn(P))) | 113403 | 138778495 | o2(x,o2(x,o1(x))) | true | 67231 | 67231 | -0.12 | 0.4324 | 0.4674 | 0.3015 | 0.5491 | -1 | 0.9806 | 1.981 | 1 | 4.761 | 0.01585 | 0.002792 | 0.06406 | 0.7005 | 1 | 0.00004824 | 0.0275 | 0.03166 | 0.01454 | 0.1206 | 1.882 | 1.943 | 0.06184 | 0.09123 | 1 | 1 | 0.02584 | 0.1831 | 0.5035 | 0.0857 | 0.6074 | 1.67 | json |
| t17_x18_u5_b56 | 17 | 18 | 5 | 56 | ![]() |
mod(R,sub(P,sgn(P))) | 113404 | 138778496 | o2(x,o2(x,o1(x))) | true | 67239 | 67239 | -0.2506 | 0.3674 | 0.5417 | 0.3501 | 0.5917 | -1 | 0.9806 | 1.981 | 1 | 4.418 | 0.01032 | 0.002345 | 0.05297 | 0.6296 | 1 | 0.0000656 | 0.01707 | 0.0246 | 0.009856 | 0.09928 | 1.874 | 1.956 | 0.03616 | 0.04876 | 1 | 1 | 0.01913 | 0.1451 | 0.4523 | 0.05463 | 0.4145 | 1.292 | json |
| t17_x18_u5_b57 | 17 | 18 | 5 | 57 | ![]() |
mod(R,mlt(P,sgn(P))) | 113405 | 138778497 | o2(x,o2(x,o1(x))) | true | 67247 | 67247 | -0.12 | 0.4324 | 0.4674 | 0.3015 | 0.5491 | -1 | 0.9806 | 1.981 | 1 | 4.761 | 0.01585 | 0.002792 | 0.06406 | 0.7005 | 1 | 0.00004824 | 0.0275 | 0.03166 | 0.01454 | 0.1206 | 1.882 | 1.943 | 0.06184 | 0.09123 | 1 | 1 | 0.02584 | 0.1831 | 0.5035 | 0.0857 | 0.6074 | 1.67 | json |
| t17_x18_u5_b58 | 17 | 18 | 5 | 58 | ![]() |
mod(R,div(P,sgn(P))) | 113406 | 138778498 | o2(x,o2(x,o1(x))) | true | 67255 | 67255 | -0.12 | 0.4324 | 0.4674 | 0.3015 | 0.5491 | -1 | 0.9806 | 1.981 | 1 | 4.761 | 0.01585 | 0.002792 | 0.06406 | 0.7005 | 1 | 0.00004824 | 0.0275 | 0.03166 | 0.01454 | 0.1206 | 1.882 | 1.943 | 0.06184 | 0.09123 | 1 | 1 | 0.02584 | 0.1831 | 0.5035 | 0.0857 | 0.6074 | 1.67 | json |
| t17_x18_u5_b59 | 17 | 18 | 5 | 59 | ![]() |
mod(R,pow(P,sgn(P))) | 113407 | 138778499 | o2(x,o2(x,o1(x))) | true | 67263 | 67263 | -0.5075 | 0.2342 | 0.6935 | 0.3484 | 0.5903 | -1 | 0.9806 | 1.981 | 1 | 3.396 | 0.005748 | 0.001487 | 0.03555 | 0.5889 | 1 | -1.078e-7 | 0.008702 | 0.01432 | 0.00597 | 0.07727 | 2.173 | 1.829 | 0.02077 | 0.02497 | 1 | 1 | 0.01182 | 0.09948 | 0.2945 | 0.03393 | 0.2855 | 0.8451 | json |
| t17_x18_u5_b60 | 17 | 18 | 5 | 60 | ![]() |
mod(R,mod(P,sgn(P))) | 113408 | 138778500 | o2(x,o2(x,o1(x))) | true | 67271 | 67271 | -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_x18_u5_b61 | 17 | 18 | 5 | 61 | ![]() |
mod(R,lrg(P,sgn(P))) | 113409 | 138778501 | o2(x,o2(x,o1(x))) | true | 67279 | 67279 | -0.6415 | 0.1642 | 0.7683 | 0.2923 | 0.5406 | -1 | 0.9806 | 1.981 | 1 | 2.742 | 0.005301 | 0.001074 | 0.02663 | 0.6631 | 1 | 0.00002051 | 0.008764 | 0.01266 | 0.005662 | 0.07525 | 2.825 | 1.956 | 0.02181 | 0.02998 | 1 | 1 | 0.008861 | 0.06835 | 0.2329 | 0.03031 | 0.2338 | 0.7969 | json |
| t17_x18_u5_b62 | 17 | 18 | 5 | 62 | ![]() |
mod(R,eql(P,sgn(P))) | 113410 | 138778502 | o2(x,o2(x,o1(x))) | true | 67287 | 67287 | -0.871 | 0.06589 | 0.9272 | 0.1451 | 0.3809 | -1 | 0.943 | 1.943 | 1 | 1.141 | 0.01403 | 0.0003781 | 0.01802 | 0.9475 | 1 | -0.00002173 | 0.02726 | 0.02112 | 0.01408 | 0.1186 | 6.585 | 1.943 | 0.09928 | 0.1879 | 1 | 1 | 0.01826 | 0.0852 | 0.254 | 0.1258 | 0.5871 | 1.75 | json |
| t17_x18_u5_b63 | 17 | 18 | 5 | 63 | ![]() |
mod(R,min(P,sgn(P))) | 113411 | 138778503 | o2(x,o2(x,o1(x))) | true | 67295 | 67295 | -0.12 | 0.4324 | 0.4674 | 0.3015 | 0.5491 | -1 | 0.9806 | 1.981 | 1 | 4.761 | 0.01585 | 0.002792 | 0.06406 | 0.7005 | 1 | 0.00004824 | 0.0275 | 0.03166 | 0.01454 | 0.1206 | 1.882 | 1.943 | 0.06184 | 0.09123 | 1 | 1 | 0.02584 | 0.1831 | 0.5035 | 0.0857 | 0.6074 | 1.67 | json |
| t17_x18_u5_b64 | 17 | 18 | 5 | 64 | ![]() |
mod(R,dot(P,sgn(P))) | 113412 | 138778504 | o2(x,o2(x,o1(x))) | true | 67303 | 67303 | -0.01089 | 0.4862 | 0.4044 | 0.2322 | 0.4818 | -1 | 0.9806 | 1.981 | 1 | 4.885 | 0.004312 | 0.004911 | 0.06445 | -0.06491 | 1 | 0.00002651 | 0.007419 | 0.01909 | 0.00507 | 0.0712 | 1.105 | 2.097 | 0.03973 | 0.03196 | 1 | 1 | 0.01732 | 0.1683 | 0.4536 | 0.07461 | 0.725 | 1.954 | json |
| t17_x18_u5_b65 | 17 | 18 | 5 | 65 | ![]() |
mod(R,dst(P,sgn(P))) | 113413 | 138778505 | o2(x,o2(x,o1(x))) | true | 67311 | 67311 | -0.06409 | 0.4582 | 0.4326 | 0.2651 | 0.5149 | -1 | 0.9806 | 1.981 | 1 | 4.869 | 0.004924 | 0.005751 | 0.06249 | -0.07748 | 1 | 0.00002651 | 0.01077 | 0.02135 | 0.00677 | 0.08228 | 1.317 | 1.969 | 0.04026 | 0.04062 | 1 | 1 | 0.0193 | 0.1679 | 0.5019 | 0.07282 | 0.6335 | 1.893 | json |
| t17_x18_u5_b66 | 17 | 18 | 5 | 66 | ![]() |
lrg(R,add(P,sgn(P))) | 113414 | 138778506 | o2(x,o2(x,o1(x))) | true | 67319 | 67319 | 0.4961 | 0.5378 | 0.4961 | 0.2412 | 0.4911 | 0 | 1 | 1 | 1 | 1.415 | 0.0003238 | 0.0001053 | 0.004981 | 0.5091 | 1 | -0.000005705 | 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_x18_u5_b67 | 17 | 18 | 5 | 67 | ![]() |
lrg(R,sub(P,sgn(P))) | 113415 | 138778507 | o2(x,o2(x,o1(x))) | true | 67327 | 67327 | 0.5078 | 0.6133 | 0.5078 | 0.2275 | 0.477 | 0 | 1 | 1 | 1 | 1.88 | 0.0006448 | 0.000426 | 0.01251 | 0.2043 | 1 | -0.00002852 | 0.00006019 | 0.003013 | 0.0009144 | 0.03024 | 2.418 | 0.1169 | 0.004707 | 0.0002646 | 1 | 1 | 0.002846 | 0.03695 | 0.1132 | 0.01251 | 0.1624 | 0.4975 | json |
| t17_x18_u5_b68 | 17 | 18 | 5 | 68 | ![]() |
lrg(R,mlt(P,sgn(P))) | 113416 | 138778508 | o2(x,o2(x,o1(x))) | true | 67335 | 67335 | 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_x18_u5_b69 | 17 | 18 | 5 | 69 | ![]() |
lrg(R,div(P,sgn(P))) | 113417 | 138778509 | o2(x,o2(x,o1(x))) | true | 67343 | 67343 | 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_x18_u5_b70 | 17 | 18 | 5 | 70 | ![]() |
lrg(R,pow(P,sgn(P))) | 113418 | 138778510 | o2(x,o2(x,o1(x))) | true | 67351 | 67351 | 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_x18_u5_b71 | 17 | 18 | 5 | 71 | ![]() |
lrg(R,mod(P,sgn(P))) | 113419 | 138778511 | o2(x,o2(x,o1(x))) | true | 67359 | 67359 | 0.5176 | 0.9203 | 0.5176 | 0.1575 | 0.3968 | 0 | 1 | 1 | 1 | 3.378 | 0.001896 | 0.002332 | 0.04958 | -0.1032 | 1 | -0.00001211 | 0.000248 | 0.01205 | 0.00177 | 0.04207 | 0.8485 | 0.1169 | 0.02685 | 0.001575 | 1 | 1 | 0.008232 | 0.106 | 0.2882 | 0.05227 | 0.6732 | 1.83 | json |
| t17_x18_u5_b72 | 17 | 18 | 5 | 72 | ![]() |
lrg(R,lrg(P,sgn(P))) | 113420 | 138778512 | o2(x,o2(x,o1(x))) | true | 67367 | 67367 | 0.3066 | 0.5726 | 0.3066 | 0.1555 | 0.3944 | 0 | 1 | 1 | 1 | 2.592 | 0.001277 | 0.001411 | 0.03137 | -0.04994 | 1 | -0.000004981 | 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_x18_u5_b73 | 17 | 18 | 5 | 73 | ![]() |
lrg(R,eql(P,sgn(P))) | 113421 | 138778513 | o2(x,o2(x,o1(x))) | true | 67375 | 67375 | 0.3809 | 0.7583 | 0.3809 | 0.1559 | 0.3948 | 0 | 1 | 1 | 1 | 3.116 | 0.001661 | 0.001997 | 0.04293 | -0.09183 | 1 | 0.00001071 | 0.0002154 | 0.01044 | 0.001815 | 0.04261 | 0.9925 | 0.1169 | 0.02347 | 0.001382 | 1 | 1 | 0.006674 | 0.08586 | 0.2494 | 0.04282 | 0.5508 | 1.6 | json |
| t17_x18_u5_b74 | 17 | 18 | 5 | 74 | ![]() |
lrg(R,min(P,sgn(P))) | 113422 | 138778514 | o2(x,o2(x,o1(x))) | true | 67383 | 67383 | 0.4961 | 0.5378 | 0.4961 | 0.2412 | 0.4911 | 0 | 1 | 1 | 1 | 1.415 | 0.0003238 | 0.0001053 | 0.004981 | 0.5091 | 1 | -0.000005705 | 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_x18_u5_b75 | 17 | 18 | 5 | 75 | ![]() |
lrg(R,dot(P,sgn(P))) | 113423 | 138778515 | o2(x,o2(x,o1(x))) | true | 67391 | 67391 | 0.003906 | 0.01477 | 0.003906 | 0.002383 | 0.04882 | 0 | 0.9994 | 0.9994 | 1 | 0.1068 | 0.00003512 | 0.00003512 | 0.0008419 | 7.252e-7 | 0 | -5.638e-14 | 0.000004222 | 0.000206 | 0.00006942 | 0.008332 | 9.897 | 0.1169 | 0.02947 | 0.001772 | 1 | 1 | 0.0002443 | 0.003178 | 0.008708 | 0.1025 | 1.334 | 3.654 | json |
| t17_x18_u5_b76 | 17 | 18 | 5 | 76 | ![]() |
lrg(R,dst(P,sgn(P))) | 113424 | 138778516 | o2(x,o2(x,o1(x))) | true | 67399 | 67399 | 0.02344 | 0.06036 | 0.02344 | 0.01617 | 0.1272 | 0 | 1 | 1 | 1 | 0.421 | 0.0001308 | 0.0001756 | 0.003627 | -0.1463 | 1 | -3.209e-11 | 0.00001905 | 0.0008981 | 0.0002933 | 0.01713 | 4.722 | 0.1169 | 0.01895 | 0.001178 | 1 | 1 | 0.001065 | 0.01386 | 0.0397 | 0.06589 | 0.8572 | 2.456 | json |
| t17_x18_u5_b77 | 17 | 18 | 5 | 77 | ![]() |
eql(R,add(P,sgn(P))) | 113425 | 138778517 | o2(x,o2(x,o1(x))) | true | 67407 | 67407 | 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_x18_u5_b78 | 17 | 18 | 5 | 78 | ![]() |
eql(R,sub(P,sgn(P))) | 113426 | 138778518 | o2(x,o2(x,o1(x))) | true | 67415 | 67415 | 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_x18_u5_b79 | 17 | 18 | 5 | 79 | ![]() |
eql(R,mlt(P,sgn(P))) | 113427 | 138778519 | o2(x,o2(x,o1(x))) | true | 67423 | 67423 | 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_x18_u5_b80 | 17 | 18 | 5 | 80 | ![]() |
eql(R,div(P,sgn(P))) | 113428 | 138778520 | o2(x,o2(x,o1(x))) | true | 67431 | 67431 | 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_x18_u5_b81 | 17 | 18 | 5 | 81 | ![]() |
eql(R,pow(P,sgn(P))) | 113429 | 138778521 | o2(x,o2(x,o1(x))) | true | 67439 | 67439 | 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_x18_u5_b82 | 17 | 18 | 5 | 82 | ![]() |
eql(R,mod(P,sgn(P))) | 113430 | 138778522 | o2(x,o2(x,o1(x))) | true | 67447 | 67447 | 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_x18_u5_b83 | 17 | 18 | 5 | 83 | ![]() |
eql(R,lrg(P,sgn(P))) | 113431 | 138778523 | o2(x,o2(x,o1(x))) | true | 67455 | 67455 | 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_x18_u5_b84 | 17 | 18 | 5 | 84 | ![]() |
eql(R,eql(P,sgn(P))) | 113432 | 138778524 | o2(x,o2(x,o1(x))) | true | 67463 | 67463 | 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_x18_u5_b85 | 17 | 18 | 5 | 85 | ![]() |
eql(R,min(P,sgn(P))) | 113433 | 138778525 | o2(x,o2(x,o1(x))) | true | 67471 | 67471 | 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_x18_u5_b86 | 17 | 18 | 5 | 86 | ![]() |
eql(R,dot(P,sgn(P))) | 113434 | 138778526 | o2(x,o2(x,o1(x))) | true | 67479 | 67479 | 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_x18_u5_b87 | 17 | 18 | 5 | 87 | ![]() |
eql(R,dst(P,sgn(P))) | 113435 | 138778527 | o2(x,o2(x,o1(x))) | true | 67487 | 67487 | 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_x18_u5_b88 | 17 | 18 | 5 | 88 | ![]() |
min(R,add(P,sgn(P))) | 113436 | 138778528 | o2(x,o2(x,o1(x))) | true | 67495 | 67495 | -0.5018 | 0.2244 | 0.6762 | 0.3347 | 0.5785 | -1 | 0.9806 | 1.981 | 1 | 3.511 | 0.001852 | 0.00146 | 0.03444 | 0.1183 | 1 | -1.32e-7 | 0.0002735 | 0.008661 | 0.002126 | 0.0461 | 1.339 | 0.2265 | 0.009899 | 0.0008173 | 1 | 1 | 0.006646 | 0.08308 | 0.2696 | 0.01986 | 0.2483 | 0.8057 | json |
| t17_x18_u5_b89 | 17 | 18 | 5 | 89 | ![]() |
min(R,sub(P,sgn(P))) | 113437 | 138778529 | o2(x,o2(x,o1(x))) | true | 67503 | 67503 | -0.4689 | 0.1827 | 0.605 | 0.2878 | 0.5364 | -1 | 0.9806 | 1.981 | 1 | 3.796 | 0.001491 | 0.001343 | 0.03388 | 0.05223 | 1 | -6.099e-7 | 0.0001683 | 0.007844 | 0.001686 | 0.04105 | 1.212 | 0.219 | 0.009849 | 0.0005848 | 1 | 1 | 0.00556 | 0.07241 | 0.2271 | 0.01932 | 0.2516 | 0.7892 | json |
| t17_x18_u5_b90 | 17 | 18 | 5 | 90 | ![]() |
min(R,mlt(P,sgn(P))) | 113438 | 138778530 | o2(x,o2(x,o1(x))) | true | 67511 | 67511 | -0.005276 | 0.4805 | 0.3857 | 0.2142 | 0.4628 | -0.9989 | 0.9806 | 1.979 | 1 | 4.852 | 0.0028 | 0.003069 | 0.06243 | -0.04583 | 1 | 0.00002809 | 0.000342 | 0.01428 | 0.001973 | 0.04442 | 0.7115 | 0.2301 | 0.0274 | 0.001597 | 1 | 1 | 0.01137 | 0.1459 | 0.366 | 0.05307 | 0.6813 | 1.709 | json |
| t17_x18_u5_b91 | 17 | 18 | 5 | 91 | ![]() |
min(R,div(P,sgn(P))) | 113439 | 138778531 | o2(x,o2(x,o1(x))) | true | 67519 | 67519 | 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_x18_u5_b92 | 17 | 18 | 5 | 92 | ![]() |
min(R,pow(P,sgn(P))) | 113440 | 138778532 | o2(x,o2(x,o1(x))) | true | 67527 | 67527 | 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_x18_u5_b93 | 17 | 18 | 5 | 93 | ![]() |
min(R,mod(P,sgn(P))) | 113441 | 138778533 | o2(x,o2(x,o1(x))) | true | 67535 | 67535 | -0.2398 | 0.03893 | 0.2616 | 0.07604 | 0.2758 | -0.9989 | 0.8291 | 1.828 | 1 | 3.768 | 0.0008833 | 0.001036 | 0.03352 | -0.07962 | 1 | 0.00001174 | 0.0001131 | 0.007811 | 0.0007962 | 0.02822 | 0.8419 | 0.1724 | 0.02524 | 0.001487 | 1 | 1 | 0.003813 | 0.04919 | 0.1415 | 0.05015 | 0.6469 | 1.861 | json |
| t17_x18_u5_b94 | 17 | 18 | 5 | 94 | ![]() |
min(R,lrg(P,sgn(P))) | 113442 | 138778534 | o2(x,o2(x,o1(x))) | true | 67543 | 67543 | -0.1613 | 0.1827 | 0.2974 | 0.1321 | 0.3634 | -0.9989 | 0.9806 | 1.979 | 1 | 4.335 | 0.001551 | 0.001706 | 0.04319 | -0.04743 | 1 | 0.00002619 | 0.0001952 | 0.01004 | 0.001392 | 0.0373 | 0.8638 | 0.219 | 0.02466 | 0.001478 | 1 | 1 | 0.006052 | 0.07839 | 0.223 | 0.04583 | 0.5937 | 1.689 | json |
| t17_x18_u5_b95 | 17 | 18 | 5 | 95 | ![]() |
min(R,eql(P,sgn(P))) | 113443 | 138778535 | o2(x,o2(x,o1(x))) | true | 67551 | 67551 | -0.1939 | 0.115 | 0.2849 | 0.1116 | 0.3341 | -0.9989 | 0.9431 | 1.942 | 1 | 4.097 | 0.001424 | 0.001383 | 0.03942 | 0.01437 | 1 | -0.000006122 | 0.0001638 | 0.009137 | 0.001254 | 0.03541 | 0.8983 | 0.2163 | 0.02515 | 0.001467 | 1 | 1 | 0.005609 | 0.0723 | 0.194 | 0.05024 | 0.6476 | 1.737 | json |
| t17_x18_u5_b96 | 17 | 18 | 5 | 96 | ![]() |
min(R,min(P,sgn(P))) | 113444 | 138778536 | o2(x,o2(x,o1(x))) | true | 67559 | 67559 | -0.4947 | 0.2244 | 0.669 | 0.3314 | 0.5756 | -1 | 0.9806 | 1.981 | 1 | 3.609 | 0.001675 | 0.001465 | 0.03457 | 0.06692 | 1 | -5.686e-7 | 0.0001859 | 0.007986 | 0.001945 | 0.0441 | 1.276 | 0.219 | 0.009476 | 0.0005609 | 1 | 1 | 0.006236 | 0.08108 | 0.2653 | 0.01882 | 0.2447 | 0.8006 | json |
| t17_x18_u5_b97 | 17 | 18 | 5 | 97 | ![]() |
min(R,dot(P,sgn(P))) | 113445 | 138778537 | o2(x,o2(x,o1(x))) | true | 67567 | 67567 | 0.005739 | 0.494 | 0.3927 | 0.2182 | 0.4671 | -0.9989 | 0.9806 | 1.979 | 1 | 4.859 | 0.002786 | 0.003153 | 0.06291 | -0.06171 | 1 | 0.00002651 | 0.0003464 | 0.01439 | 0.001982 | 0.04452 | 0.7077 | 0.2301 | 0.02722 | 0.001588 | 1 | 1 | 0.01167 | 0.1499 | 0.3841 | 0.05348 | 0.6869 | 1.76 | json |
| t17_x18_u5_b98 | 17 | 18 | 5 | 98 | ![]() |
min(R,dst(P,sgn(P))) | 113446 | 138778538 | o2(x,o2(x,o1(x))) | true | 67575 | 67575 | -0.005819 | 0.4751 | 0.3869 | 0.2145 | 0.4631 | -0.9989 | 0.9806 | 1.979 | 1 | 4.851 | 0.002685 | 0.003079 | 0.06162 | -0.06845 | 1 | 0.00002651 | 0.0003364 | 0.01409 | 0.001966 | 0.04434 | 0.7195 | 0.2301 | 0.02687 | 0.001568 | 1 | 1 | 0.01106 | 0.142 | 0.3873 | 0.05157 | 0.6622 | 1.806 | json |
| t17_x18_u5_b99 | 17 | 18 | 5 | 99 | ![]() |
dot(R,add(P,sgn(P))) | 113447 | 138778539 | o2(x,o2(x,o1(x))) | true | 67583 | 67583 | -0.08509 | 0.4621 | 0.8739 | 0.8267 | 0.9092 | -1 | 1 | 2 | 1 | 2.639 | 0.02923 | 0.03907 | 0.1038 | -0.1441 | 1 | 0.00005126 | 0.06439 | 0.087 | 0.0575 | 0.2398 | 2.31 | 2.023 | 0.08262 | 0.0779 | 1 | 1 | 0.08812 | 0.6218 | 1.47 | 0.1066 | 0.7522 | 1.778 | json |
| t17_x18_u5_b100 | 17 | 18 | 5 | 100 | ![]() |
dot(R,sub(P,sgn(P))) | 113448 | 138778540 | o2(x,o2(x,o1(x))) | true | 67591 | 67591 | -0.1046 | 0.4415 | 0.7871 | 0.7192 | 0.848 | -1 | 1 | 2 | 1 | 3.271 | 0.01969 | 0.02662 | 0.09724 | -0.1498 | 1 | 0.00003054 | 0.03019 | 0.06092 | 0.03685 | 0.192 | 1.974 | 1.54 | 0.0644 | 0.04198 | 1 | 1 | 0.05558 | 0.4798 | 1.21 | 0.07728 | 0.6672 | 1.682 | json |
| t17_x18_u5_b101 | 17 | 18 | 5 | 101 | ![]() |
dot(R,mlt(P,sgn(P))) | 113449 | 138778541 | o2(x,o2(x,o1(x))) | true | 67599 | 67599 | 0.05094 | 0.5284 | 0.8336 | 0.7806 | 0.8835 | -1 | 1 | 2 | 1 | 2.998 | 0.02701 | 0.03002 | 0.1053 | -0.05277 | 1 | 0.00001413 | 0.04323 | 0.07371 | 0.04592 | 0.2143 | 2.034 | 1.876 | 0.07306 | 0.05538 | 1 | 1 | 0.06934 | 0.5636 | 1.372 | 0.08883 | 0.722 | 1.757 | json |
| t17_x18_u5_b102 | 17 | 18 | 5 | 102 | ![]() |
dot(R,div(P,sgn(P))) | 113450 | 138778542 | o2(x,o2(x,o1(x))) | true | 67607 | 67607 | -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_x18_u5_b103 | 17 | 18 | 5 | 103 | ![]() |
dot(R,pow(P,sgn(P))) | 113451 | 138778543 | o2(x,o2(x,o1(x))) | true | 67615 | 67615 | -0.7288 | 0.1382 | 0.9633 | 0.4196 | 0.6478 | -1 | 1 | 2 | 1 | 1.162 | 0.008622 | 0.01163 | 0.02951 | -0.1487 | 1 | 0.000005213 | 0.02372 | 0.02526 | 0.01938 | 0.1392 | 4.717 | 2 | 0.04827 | 0.05653 | 1 | 1 | 0.02634 | 0.1831 | 0.5103 | 0.06276 | 0.4363 | 1.216 | json |
| t17_x18_u5_b104 | 17 | 18 | 5 | 104 | ![]() |
dot(R,mod(P,sgn(P))) | 113452 | 138778544 | o2(x,o2(x,o1(x))) | true | 67623 | 67623 | -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_x18_u5_b105 | 17 | 18 | 5 | 105 | ![]() |
dot(R,lrg(P,sgn(P))) | 113453 | 138778545 | o2(x,o2(x,o1(x))) | true | 67631 | 67631 | -0.0267 | 0.318 | 0.2752 | 0.1665 | 0.4081 | -1 | 1 | 2 | 1 | 4.052 | 0.002411 | 0.002444 | 0.04541 | -0.006907 | 1 | -1.462e-7 | 0.0003699 | 0.01093 | 0.002793 | 0.05285 | 1.164 | 0.3047 | 0.02915 | 0.002222 | 1 | 1 | 0.008211 | 0.1045 | 0.3282 | 0.04931 | 0.6274 | 1.971 | json |
| t17_x18_u5_b106 | 17 | 18 | 5 | 106 | ![]() |
dot(R,eql(P,sgn(P))) | 113454 | 138778546 | o2(x,o2(x,o1(x))) | true | 67639 | 67639 | 0.01413 | 0.5054 | 0.4246 | 0.257 | 0.507 | -1 | 1 | 2 | 1 | 4.916 | 0.004054 | 0.003811 | 0.06959 | 0.03101 | 1 | -0.00005204 | 0.0007115 | 0.01712 | 0.003023 | 0.05498 | 0.79 | 0.3508 | 0.0306 | 0.002768 | 1 | 1 | 0.01806 | 0.2239 | 0.5241 | 0.07027 | 0.8711 | 2.039 | json |
| t17_x18_u5_b107 | 17 | 18 | 5 | 107 | ![]() |
dot(R,min(P,sgn(P))) | 113455 | 138778547 | o2(x,o2(x,o1(x))) | true | 67647 | 67647 | -0.06671 | 0.4699 | 0.7144 | 0.625 | 0.7906 | -1 | 1 | 2 | 1 | 3.87 | 0.01697 | 0.02162 | 0.0949 | -0.1206 | 1 | -0.00007081 | 0.02428 | 0.0527 | 0.0296 | 0.172 | 1.813 | 1.834 | 0.06175 | 0.03884 | 1 | 1 | 0.05335 | 0.4437 | 1.093 | 0.08536 | 0.71 | 1.749 | json |
| t17_x18_u5_b108 | 17 | 18 | 5 | 108 | ![]() |
dot(R,dot(P,sgn(P))) | 113456 | 138778548 | o2(x,o2(x,o1(x))) | true | 67655 | 67655 | 0.01622 | 0.511 | 0.9096 | 0.8808 | 0.9385 | -1 | 1 | 2 | 1 | 2.276 | 0.04766 | 0.05013 | 0.1105 | -0.02528 | 1 | 0.00006022 | 0.1304 | 0.1183 | 0.08558 | 0.2925 | 2.648 | 2.602 | 0.111 | 0.1481 | 1 | 1 | 0.1207 | 0.7314 | 1.569 | 0.137 | 0.8303 | 1.781 | json |
| t17_x18_u5_b109 | 17 | 18 | 5 | 109 | ![]() |
dot(R,dst(P,sgn(P))) | 113457 | 138778549 | o2(x,o2(x,o1(x))) | true | 67663 | 67663 | -0.008286 | 0.4869 | 0.8345 | 0.7916 | 0.8897 | -1 | 1 | 2 | 1 | 2.882 | 0.03218 | 0.03343 | 0.105 | -0.01911 | 1 | 0.00001296 | 0.05966 | 0.08308 | 0.05455 | 0.2336 | 2.224 | 2.01 | 0.08289 | 0.07537 | 1 | 1 | 0.0825 | 0.5996 | 1.398 | 0.1042 | 0.7575 | 1.766 | json |
| t17_x18_u5_b110 | 17 | 18 | 5 | 110 | ![]() |
dst(R,add(P,sgn(P))) | 113458 | 138778550 | o2(x,o2(x,o1(x))) | true | 67671 | 67671 | 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_x18_u5_b111 | 17 | 18 | 5 | 111 | ![]() |
dst(R,sub(P,sgn(P))) | 113459 | 138778551 | o2(x,o2(x,o1(x))) | true | 67679 | 67679 | 0.9961 | 1 | 0.9961 | 0.0009853 | 0.03139 | 0.4916 | 1 | 0.5084 | 1 | 0.1804 | 0.00002027 | 0.00003236 | 0.00101 | -0.2298 | 0 | 1.126e-11 | 0.00001542 | 0.0004737 | 0.00005158 | 0.007182 | 7.112 | 0.1458 | 0.05342 | 0.01565 | 1 | 1 | 0.0001741 | 0.001754 | 0.003188 | 0.1767 | 1.78 | 3.236 | json |
| t17_x18_u5_b112 | 17 | 18 | 5 | 112 | ![]() |
dst(R,mlt(P,sgn(P))) | 113460 | 138778552 | o2(x,o2(x,o1(x))) | true | 67687 | 67687 | 0.9987 | 1 | 0.9987 | 0.0003615 | 0.01901 | 0.5928 | 1 | 0.4072 | 1 | 0.06061 | 0.00001493 | 0.00002107 | 0.0004561 | -0.1705 | 0 | 6.758e-11 | 0.00001641 | 0.0002884 | 0.0000358 | 0.005984 | 13.12 | 0.1585 | 0.09958 | 0.04539 | 1 | 1 | 0.0001151 | 0.0009332 | 0.001318 | 0.3184 | 2.582 | 3.647 | json |
| t17_x18_u5_b113 | 17 | 18 | 5 | 113 | ![]() |
dst(R,div(P,sgn(P))) | 113461 | 138778553 | o2(x,o2(x,o1(x))) | true | 67695 | 67695 | -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_x18_u5_b114 | 17 | 18 | 5 | 114 | ![]() |
dst(R,pow(P,sgn(P))) | 113462 | 138778554 | o2(x,o2(x,o1(x))) | true | 67703 | 67703 | -0.5 | 0.25 | 1 | 0.7499 | 0.8659 | -1 | 1 | 2 | 1 | 0.8157 | 0.007937 | 0.007937 | 0.007971 | 0.00001038 | 1 | 0 | 0.03187 | 0.01591 | 0.01581 | 0.1257 | 15.77 | 2 | 0.02117 | 0.04251 | 1 | 1 | 0.02106 | 0.08423 | 0.3365 | 0.02808 | 0.1123 | 0.4488 | json |
| t17_x18_u5_b115 | 17 | 18 | 5 | 115 | ![]() |
dst(R,mod(P,sgn(P))) | 113463 | 138778555 | o2(x,o2(x,o1(x))) | true | 67711 | 67711 | -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_x18_u5_b116 | 17 | 18 | 5 | 116 | ![]() |
dst(R,lrg(P,sgn(P))) | 113464 | 138778556 | o2(x,o2(x,o1(x))) | true | 67719 | 67719 | 0.9473 | 1 | 0.9473 | 0.0144 | 0.12 | 0.2579 | 1 | 0.7421 | 1 | 1.342 | 0.0002055 | 0.0003057 | 0.009539 | -0.196 | 1 | -0.00002549 | 0.0001389 | 0.00407 | 0.0004204 | 0.0205 | 2.149 | 0.1604 | 0.0355 | 0.009644 | 1 | 1 | 0.0009066 | 0.009531 | 0.02059 | 0.06295 | 0.6618 | 1.43 | json |
| t17_x18_u5_b117 | 17 | 18 | 5 | 117 | ![]() |
dst(R,eql(P,sgn(P))) | 113465 | 138778557 | o2(x,o2(x,o1(x))) | true | 67727 | 67727 | 0.9742 | 1 | 0.9742 | 0.008167 | 0.09037 | 0.2103 | 1 | 0.7897 | 1 | 0.7448 | 0.0002379 | 0.0002267 | 0.006395 | 0.02422 | 1 | -0.00003563 | 0.0001659 | 0.003486 | 0.0004236 | 0.02058 | 3.218 | 0.1992 | 0.0569 | 0.02032 | 1 | 1 | 0.0007161 | 0.006158 | 0.01006 | 0.08768 | 0.754 | 1.232 | json |
| t17_x18_u5_b118 | 17 | 18 | 5 | 118 | ![]() |
dst(R,min(P,sgn(P))) | 113466 | 138778558 | o2(x,o2(x,o1(x))) | true | 67735 | 67735 | 0.9917 | 1 | 0.9917 | 0.002336 | 0.04833 | 0.3142 | 1 | 0.6858 | 1 | 0.3272 | 0.0000989 | 0.00008427 | 0.002507 | 0.07984 | 1 | -0.00002629 | 0.00007737 | 0.00154 | 0.0001769 | 0.0133 | 5.304 | 0.1751 | 0.07843 | 0.03313 | 1 | 1 | 0.0002496 | 0.002046 | 0.004307 | 0.1069 | 0.8761 | 1.844 | json |
| t17_x18_u5_b119 | 17 | 18 | 5 | 119 | ![]() |
dst(R,dot(P,sgn(P))) | 113467 | 138778559 | o2(x,o2(x,o1(x))) | true | 67743 | 67743 | 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_x18_u5_b120 | 17 | 18 | 5 | 120 | ![]() |
dst(R,dst(P,sgn(P))) | 113468 | 138778560 | o2(x,o2(x,o1(x))) | true | 67751 | 67751 | 0.9972 | 1 | 0.9972 | 0.0007914 | 0.02813 | 0.4916 | 1 | 0.5084 | 1 | 0.1277 | 0.00002228 | 0.00002735 | 0.0007981 | -0.1022 | 0 | 5.444e-11 | 0.00001625 | 0.0003919 | 0.00004903 | 0.007002 | 8.773 | 0.163 | 0.06271 | 0.02053 | 1 | 1 | 0.0001635 | 0.00159 | 0.002586 | 0.2066 | 2.009 | 3.268 | json |
| t17_x18_u6_b0 | 17 | 18 | 6 | 0 | ![]() |
add(R,add(P,nrm(P))) | 113469 | 138778641 | o2(x,o2(x,o1(x))) | true | 67759 | 67759 | -0.02009 | 0.4876 | 0.9611 | 0.9452 | 0.9722 | -1 | 1 | 2 | 1 | 1.716 | 0.003122 | 0.00191 | 0.01078 | 0.2407 | 1 | -0.0000196 | 0.007907 | 0.007182 | 0.004918 | 0.07013 | 6.503 | 2.828 | 0.005324 | 0.008366 | 1 | 1 | 0.009655 | 0.06104 | 0.3295 | 0.01021 | 0.06458 | 0.3486 | json |
| t17_x18_u6_b1 | 17 | 18 | 6 | 1 | ![]() |
add(R,sub(P,nrm(P))) | 113470 | 138778642 | o2(x,o2(x,o1(x))) | true | 67767 | 67767 | -0.008526 | 0.4949 | 0.922 | 0.8944 | 0.9457 | -1 | 1 | 2 | 1 | 2.199 | 0.002682 | 0.002284 | 0.01541 | 0.0802 | 1 | -0.00002136 | 0.00743 | 0.009245 | 0.004732 | 0.06879 | 4.465 | 2.512 | 0.005553 | 0.008307 | 1 | 1 | 0.009756 | 0.06661 | 0.2965 | 0.01091 | 0.07447 | 0.3315 | json |
| t17_x18_u6_b2 | 17 | 18 | 6 | 2 | ![]() |
add(R,mlt(P,nrm(P))) | 113471 | 138778643 | o2(x,o2(x,o1(x))) | true | 67775 | 67775 | 0.7976 | 0.9174 | 0.8761 | 0.1978 | 0.4447 | -1 | 1 | 2 | 1 | 2.01 | 0.004898 | 0.003379 | 0.02113 | 0.1836 | 1 | -0.00004205 | 0.01343 | 0.01195 | 0.007835 | 0.08852 | 4.189 | 2.828 | 0.04186 | 0.06791 | 1 | 1 | 0.01526 | 0.09308 | 0.3572 | 0.07718 | 0.4707 | 1.806 | json |
| t17_x18_u6_b3 | 17 | 18 | 6 | 3 | ![]() |
add(R,div(P,nrm(P))) | 113472 | 138778644 | o2(x,o2(x,o1(x))) | true | 67783 | 67783 | 0.7498 | 0.875 | 0.9998 | 0.4374 | 0.6613 | -1 | 1 | 2 | 1 | 0.558 | 0.03152 | 0.000004114 | 0.01591 | 0.9997 | 1 | -3.754e-12 | 0.06302 | 0.03169 | 0.03126 | 0.1768 | 11.12 | 2.001 | 0.07207 | 0.1441 | 1 | 1 | 0.04173 | 0.1678 | 0.6731 | 0.09541 | 0.3836 | 1.539 | json |
| t17_x18_u6_b4 | 17 | 18 | 6 | 4 | ![]() |
add(R,pow(P,nrm(P))) | 113473 | 138778645 | o2(x,o2(x,o1(x))) | true | 67791 | 67791 | -0.03289 | 0.4922 | 0.9827 | 0.9726 | 0.9862 | -1 | 1 | 2 | 1 | 1.374 | 0.01185 | 0.001954 | 0.01108 | 0.7169 | 1 | -0.00002433 | 0.02745 | 0.0168 | 0.01368 | 0.117 | 10.56 | 2.828 | 0.01419 | 0.02822 | 1 | 1 | 0.01976 | 0.08716 | 0.3601 | 0.02032 | 0.08961 | 0.3703 | json |
| t17_x18_u6_b5 | 17 | 18 | 6 | 5 | ![]() |
add(R,mod(P,nrm(P))) | 113474 | 138778646 | o2(x,o2(x,o1(x))) | true | 67799 | 67799 | -0.1161 | 0.4452 | 0.4843 | 0.3333 | 0.5773 | -1 | 1 | 2 | 1 | 4.7 | 0.01591 | 0.002893 | 0.06337 | 0.6923 | 1 | 0.00003702 | 0.02768 | 0.03205 | 0.01479 | 0.1216 | 1.919 | 2 | 0.05642 | 0.08305 | 1 | 1 | 0.02621 | 0.1841 | 0.4972 | 0.07863 | 0.5524 | 1.492 | json |
| t17_x18_u6_b6 | 17 | 18 | 6 | 6 | ![]() |
add(R,lrg(P,nrm(P))) | 113475 | 138778647 | o2(x,o2(x,o1(x))) | true | 67807 | 67807 | 0.3923 | 0.7495 | 0.589 | 0.2981 | 0.546 | -0.9989 | 1 | 1.999 | 1 | 4.44 | 0.00258 | 0.002565 | 0.0507 | 0.002839 | 1 | -0.00001599 | 0.0006223 | 0.01429 | 0.002575 | 0.05074 | 1.001 | 0.312 | 0.01726 | 0.002087 | 1 | 1 | 0.01048 | 0.1247 | 0.3248 | 0.03515 | 0.4182 | 1.089 | json |
| t17_x18_u6_b7 | 17 | 18 | 6 | 7 | ![]() |
add(R,eql(P,nrm(P))) | 113476 | 138778648 | o2(x,o2(x,o1(x))) | true | 67815 | 67815 | 0.06936 | 0.5428 | 0.4158 | 0.24 | 0.4899 | -0.9989 | 1 | 1.999 | 1 | 4.898 | 0.002772 | 0.003068 | 0.0614 | -0.05055 | 1 | 0.00002651 | 0.000385 | 0.01432 | 0.00207 | 0.0455 | 0.741 | 0.2477 | 0.02433 | 0.001604 | 1 | 1 | 0.01155 | 0.1462 | 0.4129 | 0.04811 | 0.609 | 1.72 | json |
| t17_x18_u6_b8 | 17 | 18 | 6 | 8 | ![]() |
add(R,min(P,nrm(P))) | 113477 | 138778649 | o2(x,o2(x,o1(x))) | true | 67823 | 67823 | -0.1926 | 0.4532 | 0.7645 | 0.6544 | 0.809 | -1 | 1 | 2 | 1 | 3.412 | 0.001639 | 0.001326 | 0.02947 | 0.1055 | 1 | -0.00004278 | 0.000429 | 0.008868 | 0.002096 | 0.04579 | 1.553 | 0.2534 | 0.00453 | 0.0006556 | 1 | 1 | 0.006245 | 0.07393 | 0.2876 | 0.009543 | 0.113 | 0.4395 | json |
| t17_x18_u6_b9 | 17 | 18 | 6 | 9 | ![]() |
add(R,dot(P,nrm(P))) | 113478 | 138778650 | o2(x,o2(x,o1(x))) | true | 67831 | 67831 | 0.968 | 0.9844 | 0.9993 | 0.06173 | 0.2485 | -1 | 1 | 2 | 1 | 0.1481 | 0.003815 | 0.003701 | 0.004121 | 0.0152 | 1 | -1.877e-12 | 0.01548 | 0.007912 | 0.007505 | 0.08663 | 21.02 | 2.828 | 0.1217 | 0.2508 | 1 | 1 | 0.01328 | 0.05501 | 0.2253 | 0.2151 | 0.8911 | 3.65 | json |
| t17_x18_u6_b10 | 17 | 18 | 6 | 10 | ![]() |
add(R,dst(P,nrm(P))) | 113479 | 138778651 | o2(x,o2(x,o1(x))) | true | 67839 | 67839 | 0.9557 | 0.9815 | 0.9884 | 0.07039 | 0.2653 | -1 | 1 | 2 | 1 | 0.4108 | 0.002349 | 0.002521 | 0.005616 | -0.03549 | 1 | -1.314e-11 | 0.009607 | 0.006786 | 0.004838 | 0.06955 | 12.38 | 2.683 | 0.06918 | 0.1365 | 1 | 1 | 0.009151 | 0.04752 | 0.216 | 0.13 | 0.675 | 3.068 | json |
| t17_x18_u6_b11 | 17 | 18 | 6 | 11 | ![]() |
sub(R,add(P,nrm(P))) | 113480 | 138778652 | o2(x,o2(x,o1(x))) | true | 67847 | 67847 | -0.0187 | 0.487 | 0.9559 | 0.9384 | 0.9687 | -1 | 1 | 2 | 1 | 1.786 | 0.003082 | 0.001953 | 0.01115 | 0.2241 | 1 | -0.00001974 | 0.007946 | 0.007337 | 0.004909 | 0.07007 | 6.282 | 2 | 0.005365 | 0.008468 | 1 | 1 | 0.009687 | 0.06079 | 0.3245 | 0.01032 | 0.06478 | 0.3458 | json |
| t17_x18_u6_b12 | 17 | 18 | 6 | 12 | ![]() |
sub(R,sub(P,nrm(P))) | 113481 | 138778653 | o2(x,o2(x,o1(x))) | true | 67855 | 67855 | -0.009982 | 0.4931 | 0.9162 | 0.8866 | 0.9416 | -1 | 1 | 2 | 1 | 2.269 | 0.00266 | 0.00233 | 0.01607 | 0.06613 | 1 | -0.00001918 | 0.007409 | 0.009312 | 0.004727 | 0.06875 | 4.278 | 2 | 0.005628 | 0.008356 | 1 | 1 | 0.009873 | 0.06822 | 0.2907 | 0.01114 | 0.07695 | 0.3279 | json |
| t17_x18_u6_b13 | 17 | 18 | 6 | 13 | ![]() |
sub(R,mlt(P,nrm(P))) | 113482 | 138778654 | o2(x,o2(x,o1(x))) | true | 67863 | 67863 | -0.8373 | 0.064 | 0.8808 | 0.1399 | 0.374 | -1 | 0.7431 | 1.743 | 1 | 1.737 | 0.001517 | 0.001702 | 0.01856 | -0.05753 | 1 | -0.00002258 | 0.002936 | 0.007835 | 0.002876 | 0.05363 | 2.89 | 1.397 | 0.02301 | 0.02099 | 1 | 1 | 0.006352 | 0.05443 | 0.1934 | 0.0454 | 0.3891 | 1.382 | json |
| t17_x18_u6_b14 | 17 | 18 | 6 | 14 | ![]() |
sub(R,div(P,nrm(P))) | 113483 | 138778655 | o2(x,o2(x,o1(x))) | true | 67871 | 67871 | -0.9996 | 0 | 0.9996 | 0.000112 | 0.01058 | -1 | -0.6178 | 0.3822 | 1 | 0.02424 | 0.00005006 | 0.000006059 | 0.000328 | 0.784 | 0 | 2.628e-11 | 0.00009528 | 0.0004335 | 0.00005596 | 0.007481 | 22.8 | 0.3822 | 0.5011 | 0.8509 | 1 | 1 | 0.0001188 | 0.0003573 | 0.0003853 | 1.061 | 3.191 | 3.441 | json |
| t17_x18_u6_b15 | 17 | 18 | 6 | 15 | ![]() |
sub(R,pow(P,nrm(P))) | 113484 | 138778656 | o2(x,o2(x,o1(x))) | true | 67879 | 67879 | -0.9769 | 0 | 0.9769 | 0.01223 | 0.1106 | -1 | -0.05695 | 0.943 | 1 | 0.4899 | 0.000647 | 0.0002759 | 0.005384 | 0.4021 | 1 | 0.000002212 | 0.0011 | 0.003744 | 0.0008944 | 0.02991 | 5.554 | 0.7967 | 0.07545 | 0.08997 | 1 | 1 | 0.00168 | 0.01116 | 0.02104 | 0.1374 | 0.9127 | 1.72 | json |
| t17_x18_u6_b16 | 17 | 18 | 6 | 16 | ![]() |
sub(R,mod(P,nrm(P))) | 113485 | 138778657 | o2(x,o2(x,o1(x))) | true | 67887 | 67887 | -0.118 | 0.4309 | 0.5232 | 0.371 | 0.6091 | -1 | 1 | 2 | 1 | 4.708 | 0.01609 | 0.002929 | 0.06309 | 0.692 | 1 | 0.000027 | 0.02781 | 0.0323 | 0.01504 | 0.1226 | 1.944 | 2 | 0.05126 | 0.07495 | 1 | 1 | 0.02635 | 0.185 | 0.5316 | 0.07104 | 0.4986 | 1.433 | json |
| t17_x18_u6_b17 | 17 | 18 | 6 | 17 | ![]() |
sub(R,lrg(P,nrm(P))) | 113486 | 138778658 | o2(x,o2(x,o1(x))) | true | 67895 | 67895 | -0.3684 | 0.2719 | 0.5894 | 0.3209 | 0.5665 | -1 | 0.9693 | 1.969 | 1 | 4.375 | 0.002196 | 0.002418 | 0.04822 | -0.04795 | 1 | 0.00006651 | 0.000502 | 0.01318 | 0.002289 | 0.04784 | 0.992 | 0.238 | 0.01438 | 0.001564 | 1 | 1 | 0.009278 | 0.1125 | 0.3165 | 0.02891 | 0.3505 | 0.9863 | json |
| t17_x18_u6_b18 | 17 | 18 | 6 | 18 | ![]() |
sub(R,eql(P,nrm(P))) | 113487 | 138778659 | o2(x,o2(x,o1(x))) | true | 67903 | 67903 | -0.0448 | 0.4613 | 0.4172 | 0.2466 | 0.4966 | -1 | 0.9806 | 1.981 | 1 | 4.891 | 0.00373 | 0.003309 | 0.06621 | 0.05989 | 1 | 0.00003624 | 0.0005716 | 0.01588 | 0.002655 | 0.05153 | 0.7782 | 0.3332 | 0.02854 | 0.002317 | 1 | 1 | 0.01453 | 0.1806 | 0.4365 | 0.0589 | 0.7324 | 1.77 | json |
| t17_x18_u6_b19 | 17 | 18 | 6 | 19 | ![]() |
sub(R,min(P,nrm(P))) | 113488 | 138778660 | o2(x,o2(x,o1(x))) | true | 67911 | 67911 | 0.1706 | 0.5396 | 0.7956 | 0.6911 | 0.8313 | -1 | 1 | 2 | 1 | 3.352 | 0.001936 | 0.001299 | 0.03111 | 0.1971 | 1 | 0.000004344 | 0.0004452 | 0.009022 | 0.002267 | 0.04761 | 1.53 | 0.3332 | 0.004681 | 0.0006442 | 1 | 1 | 0.006721 | 0.08004 | 0.2899 | 0.009725 | 0.1158 | 0.4195 | json |
| t17_x18_u6_b20 | 17 | 18 | 6 | 20 | ![]() |
sub(R,dot(P,nrm(P))) | 113489 | 138778661 | o2(x,o2(x,o1(x))) | true | 67919 | 67919 | -0.9989 | 0 | 0.9989 | 0.0003058 | 0.01749 | -1 | -0.6029 | 0.3971 | 1 | 0.05331 | 0.00003635 | 0.00008833 | 0.0006781 | -0.4169 | 1 | 4.505e-11 | 0.0002142 | 0.000854 | 0.0001242 | 0.01115 | 16.44 | 0.3971 | 0.4077 | 0.7006 | 1 | 1 | 0.0002633 | 0.0007836 | 0.001065 | 0.8611 | 2.562 | 3.484 | json |
| t17_x18_u6_b21 | 17 | 18 | 6 | 21 | ![]() |
sub(R,dst(P,nrm(P))) | 113490 | 138778662 | o2(x,o2(x,o1(x))) | true | 67927 | 67927 | -0.976 | 0.00621 | 0.9782 | 0.01899 | 0.1378 | -1 | 0.3971 | 1.397 | 1 | 0.3933 | 0.001292 | 0.001509 | 0.006074 | -0.07756 | 1 | 2.102e-10 | 0.004888 | 0.00557 | 0.002762 | 0.05255 | 8.652 | 1.511 | 0.1475 | 0.2574 | 1 | 1 | 0.005752 | 0.02953 | 0.05409 | 0.3029 | 1.555 | 2.848 | json |
| t17_x18_u6_b22 | 17 | 18 | 6 | 22 | ![]() |
mlt(R,add(P,nrm(P))) | 113491 | 138778663 | o2(x,o2(x,o1(x))) | true | 67935 | 67935 | -0.07848 | 0.4615 | 0.7752 | 0.7058 | 0.8401 | -1 | 1 | 2 | 1 | 3.444 | 0.02059 | 0.02427 | 0.09706 | -0.08208 | 1 | -0.0000486 | 0.03224 | 0.0599 | 0.03544 | 0.1883 | 1.94 | 2.581 | 0.06357 | 0.04568 | 1 | 1 | 0.06631 | 0.5267 | 1.225 | 0.09395 | 0.7462 | 1.736 | json |
| t17_x18_u6_b23 | 17 | 18 | 6 | 23 | ![]() |
mlt(R,sub(P,nrm(P))) | 113492 | 138778664 | o2(x,o2(x,o1(x))) | true | 67943 | 67943 | -0.07577 | 0.4589 | 0.6832 | 0.5927 | 0.7699 | -1 | 1 | 2 | 1 | 3.979 | 0.01487 | 0.01729 | 0.08822 | -0.07506 | 1 | -0.00005172 | 0.01903 | 0.0463 | 0.02439 | 0.1562 | 1.77 | 1.614 | 0.05426 | 0.0321 | 1 | 1 | 0.04311 | 0.3769 | 0.9379 | 0.07273 | 0.6359 | 1.582 | json |
| t17_x18_u6_b24 | 17 | 18 | 6 | 24 | ![]() |
mlt(R,mlt(P,nrm(P))) | 113493 | 138778665 | o2(x,o2(x,o1(x))) | true | 67951 | 67951 | 0.01081 | 0.4904 | 0.6196 | 0.536 | 0.7321 | -1 | 1 | 2 | 1 | 4.05 | 0.01373 | 0.01632 | 0.08142 | -0.08609 | 1 | 0.000026 | 0.01908 | 0.04275 | 0.02342 | 0.153 | 1.879 | 1.897 | 0.05606 | 0.0356 | 1 | 1 | 0.04314 | 0.3738 | 0.8999 | 0.08049 | 0.6974 | 1.679 | json |
| t17_x18_u6_b25 | 17 | 18 | 6 | 25 | ![]() |
mlt(R,div(P,nrm(P))) | 113494 | 138778666 | o2(x,o2(x,o1(x))) | true | 67959 | 67959 | -0.1375 | 0.4316 | 0.8886 | 0.832 | 0.9122 | -1 | 1 | 2 | 1 | 2.537 | 0.04082 | 0.02752 | 0.09949 | 0.1945 | 1 | 0.00007801 | 0.07391 | 0.08432 | 0.05847 | 0.2418 | 2.43 | 2.228 | 0.08213 | 0.08883 | 1 | 1 | 0.08834 | 0.5964 | 1.33 | 0.1062 | 0.7167 | 1.598 | json |
| t17_x18_u6_b26 | 17 | 18 | 6 | 26 | ![]() |
mlt(R,pow(P,nrm(P))) | 113495 | 138778667 | o2(x,o2(x,o1(x))) | true | 67967 | 67967 | -0.5289 | 0.2277 | 0.8409 | 0.5098 | 0.714 | -1 | 1 | 2 | 1 | 2.669 | 0.01064 | 0.008121 | 0.05025 | 0.1342 | 1 | -0.00002797 | 0.01617 | 0.02793 | 0.01623 | 0.1274 | 2.535 | 2.097 | 0.0368 | 0.03172 | 1 | 1 | 0.02727 | 0.2287 | 0.6112 | 0.05349 | 0.4487 | 1.199 | json |
| t17_x18_u6_b27 | 17 | 18 | 6 | 27 | ![]() |
mlt(R,mod(P,nrm(P))) | 113496 | 138778668 | o2(x,o2(x,o1(x))) | true | 67975 | 67975 | -0.1394 | 0.3969 | 0.2233 | 0.1302 | 0.3608 | -1 | 0.6031 | 1.603 | 1 | 3.419 | 0.008219 | 0.0003227 | 0.02439 | 0.9244 | 1 | -0.00000551 | 0.01595 | 0.01959 | 0.007946 | 0.08914 | 3.654 | 1.233 | 0.06563 | 0.1226 | 1 | 1 | 0.01161 | 0.05555 | 0.2054 | 0.0892 | 0.4268 | 1.579 | json |
| t17_x18_u6_b28 | 17 | 18 | 6 | 28 | ![]() |
mlt(R,lrg(P,nrm(P))) | 113497 | 138778669 | o2(x,o2(x,o1(x))) | true | 67983 | 67983 | 0.000574 | 0.2493 | 0.1858 | 0.101 | 0.3177 | -0.9986 | 0.9806 | 1.979 | 1 | 3.255 | 0.001352 | 0.001414 | 0.03092 | -0.02273 | 1 | 0.000001931 | 0.0001679 | 0.007185 | 0.00181 | 0.04254 | 1.376 | 0.219 | 0.0274 | 0.001663 | 1 | 1 | 0.005285 | 0.0686 | 0.187 | 0.05234 | 0.6794 | 1.852 | json |
| t17_x18_u6_b29 | 17 | 18 | 6 | 29 | ![]() |
mlt(R,eql(P,nrm(P))) | 113498 | 138778670 | o2(x,o2(x,o1(x))) | true | 67991 | 67991 | -0.01354 | 0.04448 | 0.03232 | 0.01448 | 0.1203 | -0.9525 | 0.6687 | 1.621 | 1 | 1.055 | 0.0002088 | 0.0001393 | 0.005572 | 0.1996 | 1 | -0.000004078 | 0.00001996 | 0.001288 | 0.0003171 | 0.01781 | 3.196 | 0.1608 | 0.02404 | 0.001379 | 1 | 1 | 0.0009509 | 0.01238 | 0.0383 | 0.06568 | 0.8552 | 2.646 | json |
| t17_x18_u6_b30 | 17 | 18 | 6 | 30 | ![]() |
mlt(R,min(P,nrm(P))) | 113499 | 138778671 | o2(x,o2(x,o1(x))) | true | 67999 | 67999 | -0.03433 | 0.4673 | 0.4902 | 0.3819 | 0.618 | -1 | 1 | 2 | 1 | 4.467 | 0.008475 | 0.01094 | 0.06525 | -0.1271 | 1 | -0.00002213 | 0.01014 | 0.02903 | 0.01516 | 0.1231 | 1.887 | 1.294 | 0.05084 | 0.02655 | 1 | 1 | 0.02901 | 0.2562 | 0.5951 | 0.07596 | 0.6708 | 1.558 | json |



































































































