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_x11_u4_b102 | 17 | 11 | 4 | 102 | ![]() |
dot(D,div(P,cil(R))) | 107400 | 138495534 | o2(x,o2(x,o1(x))) | true | 19207 | 19207 | -0.9893 | 0.005081 | 0.9979 | 0.01857 | 0.1363 | -1 | 1 | 2 | 1 | 0.08452 | 0.002516 | 0.002516 | 0.003444 | -4.627e-8 | 1 | 0 | 0.01054 | 0.005965 | 0.005018 | 0.07084 | 20.57 | 2.828 | 0.271 | 0.5677 | 1 | 1 | 0.009017 | 0.03568 | 0.06755 | 0.4855 | 1.921 | 3.637 | json |
| t17_x11_u4_b103 | 17 | 11 | 4 | 103 | ![]() |
dot(D,pow(P,cil(R))) | 107401 | 138495535 | o2(x,o2(x,o1(x))) | true | 19215 | 19215 | -0.7189 | 0.1329 | 0.8246 | 0.268 | 0.5177 | -1 | 1 | 2 | 1 | 2.139 | 0.01013 | 0.01045 | 0.05157 | -0.01565 | 1 | 0.0004299 | 0.0253 | 0.03667 | 0.01792 | 0.1339 | 2.596 | 2 | 0.07678 | 0.0944 | 1 | 1 | 0.02677 | 0.1703 | 0.2875 | 0.09989 | 0.6355 | 1.073 | json |
| t17_x11_u4_b104 | 17 | 11 | 4 | 104 | ![]() |
dot(D,mod(P,cil(R))) | 107402 | 138495536 | o2(x,o2(x,o1(x))) | true | 19223 | 19223 | -0.9961 | 0 | 0.9961 | 0.003891 | 0.06238 | -1 | 0 | 1 | 1 | 0.03687 | 0.0005039 | 0.0005039 | 0.0009986 | 0 | 1 | 0 | 0.002142 | 0.002016 | 0.001006 | 0.03172 | 31.76 | 1.414 | 0.259 | 0.5504 | 1 | 1 | 0.001773 | 0.007091 | 0.01374 | 0.4556 | 1.823 | 3.531 | json |
| t17_x11_u4_b105 | 17 | 11 | 4 | 105 | ![]() |
dot(D,lrg(P,cil(R))) | 107403 | 138495537 | o2(x,o2(x,o1(x))) | true | 19231 | 19231 | -0.01788 | 0.3055 | 0.07853 | 0.01177 | 0.1085 | -0.5458 | 0.2908 | 0.8366 | 1 | 2.778 | 0.00074 | 0.0007521 | 0.02986 | -0.008109 | 1 | 0.0003163 | 0.0002217 | 0.01089 | 0.0006003 | 0.0245 | 0.8204 | 0.09771 | 0.1268 | 0.01884 | 1 | 1 | 0.002843 | 0.02219 | 0.007016 | 0.2415 | 1.885 | 0.5961 | json |
| t17_x11_u4_b106 | 17 | 11 | 4 | 106 | ![]() |
dot(D,eql(P,cil(R))) | 107404 | 138495538 | o2(x,o2(x,o1(x))) | true | 19239 | 19239 | -6.481e-11 | 0.1417 | 0.03016 | 0.005604 | 0.07486 | -0.4029 | 0.5458 | 0.9487 | 1 | 1.497 | 0.0001952 | 0.0001784 | 0.008923 | 0.04488 | 1 | -7.765e-10 | 0.00003852 | 0.002696 | 0.000294 | 0.01715 | 1.922 | 0.09425 | 0.06665 | 0.006873 | 1 | 1 | 0.0009328 | 0.009629 | 0.01266 | 0.1664 | 1.718 | 2.259 | json |
| t17_x11_u4_b107 | 17 | 11 | 4 | 107 | ![]() |
dot(D,min(P,cil(R))) | 107405 | 138495539 | o2(x,o2(x,o1(x))) | true | 19247 | 19247 | -0.1356 | 0.3817 | 0.3734 | 0.216 | 0.4647 | -1 | 1 | 2 | 1 | 4.69 | 0.01534 | 0.01535 | 0.1303 | -0.0005161 | 1 | 0.001881 | 0.007174 | 0.05284 | 0.01371 | 0.1171 | 0.8982 | 0.613 | 0.1421 | 0.03322 | 1 | 1 | 0.03621 | 0.2498 | 0.04165 | 0.1676 | 1.157 | 0.1928 | json |
| t17_x11_u4_b108 | 17 | 11 | 4 | 108 | ![]() |
dot(D,dot(P,cil(R))) | 107406 | 138495540 | o2(x,o2(x,o1(x))) | true | 19255 | 19255 | -0.08089 | 0.4384 | 0.5923 | 0.4854 | 0.6967 | -1 | 1 | 2 | 1 | 4.361 | 0.02451 | 0.02636 | 0.1511 | -0.03644 | 1 | 0.001096 | 0.02425 | 0.07499 | 0.02803 | 0.1674 | 1.108 | 1.278 | 0.1048 | 0.04997 | 1 | 1 | 0.07145 | 0.6045 | 0.6982 | 0.1472 | 1.245 | 1.439 | json |
| t17_x11_u4_b109 | 17 | 11 | 4 | 109 | ![]() |
dot(D,dst(P,cil(R))) | 107407 | 138495541 | o2(x,o2(x,o1(x))) | true | 19263 | 19263 | 0.00684 | 0.5016 | 0.5843 | 0.475 | 0.6892 | -1 | 1 | 2 | 1 | 4.462 | 0.04405 | 0.04413 | 0.229 | -0.0009877 | 1 | -0.00007607 | 0.04193 | 0.1113 | 0.03576 | 0.1891 | 0.8258 | 0.9912 | 0.1857 | 0.08829 | 1 | 1 | 0.1172 | 0.7263 | 0.05418 | 0.2467 | 1.529 | 0.1141 | json |
| t17_x11_u4_b110 | 17 | 11 | 4 | 110 | ![]() |
dst(D,add(P,cil(R))) | 107408 | 138495542 | o2(x,o2(x,o1(x))) | true | 19271 | 19271 | 1 | 1 | 1 | 0.000001859 | 0.001364 | 0.9092 | 1 | 0.09084 | 1 | 0.002726 | 6.678e-7 | 7.718e-7 | 0.00003336 | -0.07225 | 0 | -1.126e-11 | 0.000002242 | 0.00004429 | 0.000001438 | 0.001199 | 35.94 | 0.06984 | 0.7742 | 1.206 | 1 | 1 | 0.000003625 | 0.000006756 | 0.000006756 | 1.949 | 3.634 | 3.634 | json |
| t17_x11_u4_b111 | 17 | 11 | 4 | 111 | ![]() |
dst(D,sub(P,cil(R))) | 107409 | 138495543 | o2(x,o2(x,o1(x))) | true | 19279 | 19279 | 0.9988 | 1 | 0.9988 | 0.0006622 | 0.02573 | 0.04515 | 1 | 0.9549 | 1 | 0.03836 | 0.00003527 | 0.00003446 | 0.0004858 | 0.01153 | 0 | -6.007e-11 | 0.00002768 | 0.0002878 | 0.0000694 | 0.00833 | 17.15 | 0.2768 | 0.1053 | 0.04179 | 1 | 1 | 0.0002268 | 0.001871 | 0.002412 | 0.3425 | 2.826 | 3.642 | json |
| t17_x11_u4_b112 | 17 | 11 | 4 | 112 | ![]() |
dst(D,mlt(P,cil(R))) | 107410 | 138495544 | o2(x,o2(x,o1(x))) | true | 19287 | 19287 | 0.9291 | 1 | 0.9291 | 0.03837 | 0.1959 | 0.04446 | 1 | 0.9555 | 1 | 1.125 | 0.002589 | 0.002918 | 0.0255 | -0.05986 | 1 | -0.0003209 | 0.003584 | 0.01904 | 0.004858 | 0.0697 | 2.733 | 0.5127 | 0.1435 | 0.09341 | 1 | 1 | 0.008085 | 0.05117 | 0.06793 | 0.2107 | 1.334 | 1.77 | json |
| t17_x11_u4_b113 | 17 | 11 | 4 | 113 | ![]() |
dst(D,div(P,cil(R))) | 107411 | 138495545 | o2(x,o2(x,o1(x))) | true | 19295 | 19295 | -0.9844 | 0.007813 | 1 | 0.03101 | 0.1761 | -1 | 1 | 2 | 1 | 0.06591 | 0.004031 | 0.004031 | 0.003994 | 0 | 1 | 0 | 0.01713 | 0.008062 | 0.008051 | 0.08973 | 22.46 | 2.828 | 0.26 | 0.5526 | 1 | 1 | 0.01418 | 0.05673 | 0.1117 | 0.4574 | 1.83 | 3.602 | json |
| t17_x11_u4_b114 | 17 | 11 | 4 | 114 | ![]() |
dst(D,pow(P,cil(R))) | 107412 | 138495546 | o2(x,o2(x,o1(x))) | true | 19303 | 19303 | -0.3907 | 0.3047 | 0.9999 | 0.847 | 0.9203 | -1 | 1 | 2 | 1 | 0.8933 | 0.01992 | 0.02204 | 0.02092 | -0.05057 | 1 | 0 | 0.08682 | 0.04204 | 0.04155 | 0.2038 | 9.744 | 2.828 | 0.04955 | 0.1025 | 1 | 1 | 0.05122 | 0.2078 | 0.6649 | 0.06047 | 0.2454 | 0.785 | json |
| t17_x11_u4_b115 | 17 | 11 | 4 | 115 | ![]() |
dst(D,mod(P,cil(R))) | 107413 | 138495547 | o2(x,o2(x,o1(x))) | true | 19311 | 19311 | -0.9944 | 0.003906 | 0.9978 | 0.00823 | 0.09072 | -1 | 0.7026 | 1.703 | 1 | 0.04958 | 0.0008589 | 0.0008589 | 0.001501 | -3.388e-7 | 1 | 4.881e-11 | 0.003491 | 0.002636 | 0.001714 | 0.0414 | 27.57 | 1.498 | 0.2087 | 0.4242 | 1 | 1 | 0.003101 | 0.01515 | 0.02918 | 0.3768 | 1.84 | 3.545 | json |
| t17_x11_u4_b116 | 17 | 11 | 4 | 116 | ![]() |
dst(D,lrg(P,cil(R))) | 107414 | 138495548 | o2(x,o2(x,o1(x))) | true | 19319 | 19319 | 0.8211 | 1 | 0.8211 | 0.0697 | 0.264 | 0.04473 | 1 | 0.9553 | 1 | 2.367 | 0.0009367 | 0.0009472 | 0.02705 | -0.005572 | 1 | -0.0002216 | 0.0004441 | 0.01206 | 0.001153 | 0.03395 | 1.255 | 0.1796 | 0.02703 | 0.006372 | 1 | 1 | 0.004015 | 0.02952 | 0.03281 | 0.0576 | 0.4235 | 0.4707 | json |
| t17_x11_u4_b117 | 17 | 11 | 4 | 117 | ![]() |
dst(D,eql(P,cil(R))) | 107415 | 138495549 | o2(x,o2(x,o1(x))) | true | 19327 | 19327 | 0.7929 | 1 | 0.7929 | 0.07226 | 0.2688 | 0.04446 | 1 | 0.9555 | 1 | 2.787 | 0.001962 | 0.002036 | 0.04429 | -0.01842 | 1 | -0.0003131 | 0.0005631 | 0.01338 | 0.002037 | 0.04513 | 1.019 | 0.2173 | 0.05533 | 0.007793 | 1 | 1 | 0.007892 | 0.08007 | 0.123 | 0.1092 | 1.108 | 1.702 | json |
| t17_x11_u4_b118 | 17 | 11 | 4 | 118 | ![]() |
dst(D,min(P,cil(R))) | 107416 | 138495550 | o2(x,o2(x,o1(x))) | true | 19335 | 19335 | 0.9535 | 1 | 0.9535 | 0.02262 | 0.1504 | 0.04446 | 1 | 0.9555 | 1 | 0.9674 | 0.0006096 | 0.0006238 | 0.01205 | -0.01147 | 1 | -0.00009682 | 0.000296 | 0.00504 | 0.001088 | 0.03299 | 2.739 | 0.1915 | 0.05452 | 0.01308 | 1 | 1 | 0.002161 | 0.02044 | 0.03246 | 0.09552 | 0.9033 | 1.435 | json |
| t17_x11_u4_b119 | 17 | 11 | 4 | 119 | ![]() |
dst(D,dot(P,cil(R))) | 107417 | 138495551 | o2(x,o2(x,o1(x))) | true | 19343 | 19343 | 0.9391 | 1 | 0.9391 | 0.03446 | 0.1856 | 0.04473 | 1 | 0.9553 | 1 | 0.9564 | 0.002905 | 0.003555 | 0.02474 | -0.1006 | 1 | -0.0004773 | 0.005244 | 0.02153 | 0.005846 | 0.07646 | 3.09 | 0.6228 | 0.1874 | 0.1522 | 1 | 1 | 0.009239 | 0.04776 | 0.0597 | 0.2681 | 1.386 | 1.732 | json |
| t17_x11_u4_b120 | 17 | 11 | 4 | 120 | ![]() |
dst(D,dst(P,cil(R))) | 107418 | 138495552 | o2(x,o2(x,o1(x))) | true | 19351 | 19351 | 0.9991 | 1 | 0.9991 | 0.0005442 | 0.02333 | 0.04547 | 1 | 0.9545 | 1 | 0.02587 | 0.00004206 | 0.00003385 | 0.0003961 | 0.1081 | 0 | -1.314e-11 | 0.00003704 | 0.0002652 | 0.0000757 | 0.0087 | 21.97 | 0.2971 | 0.1395 | 0.06806 | 1 | 1 | 0.0002424 | 0.001748 | 0.00198 | 0.4454 | 3.212 | 3.638 | json |
| t17_x11_u5_b0 | 17 | 11 | 5 | 0 | ![]() |
add(D,add(P,sgn(R))) | 107419 | 138495633 | o2(x,o2(x,o1(x))) | true | 19359 | 19359 | 0.006207 | 0.5031 | 0.9414 | 0.923 | 0.9607 | -1 | 1 | 2 | 1 | 1.923 | 0.001649 | 0.001053 | 0.01608 | 0.2205 | 1 | -0.00003264 | 0.0005173 | 0.005497 | 0.002444 | 0.04944 | 3.074 | 0.2963 | 0.002928 | 0.0005604 | 1 | 1 | 0.007108 | 0.08151 | 0.326 | 0.0077 | 0.08831 | 0.3532 | json |
| t17_x11_u5_b1 | 17 | 11 | 5 | 1 | ![]() |
add(D,sub(P,sgn(R))) | 107420 | 138495634 | o2(x,o2(x,o1(x))) | true | 19367 | 19367 | 0.0005982 | 0.5004 | 0.9348 | 0.9147 | 0.9564 | -1 | 1 | 2 | 1 | 2.001 | 0.001629 | 0.001063 | 0.01677 | 0.2102 | 1 | 0.00002738 | 0.0005199 | 0.005604 | 0.00241 | 0.04909 | 2.926 | 0.2963 | 0.002943 | 0.0005683 | 1 | 1 | 0.007039 | 0.08054 | 0.3225 | 0.007695 | 0.08805 | 0.3526 | json |
| t17_x11_u5_b2 | 17 | 11 | 5 | 2 | ![]() |
add(D,mlt(P,sgn(R))) | 107421 | 138495635 | o2(x,o2(x,o1(x))) | true | 19375 | 19375 | -0.05569 | 0.4735 | 0.8607 | 0.8164 | 0.9035 | -1 | 1 | 2 | 1 | 2.754 | 0.0337 | 0.04334 | 0.1076 | -0.1252 | 1 | -0.000005215 | 0.07808 | 0.09335 | 0.06542 | 0.2558 | 2.377 | 1.82 | 0.09437 | 0.09565 | 1 | 1 | 0.0994 | 0.6788 | 1.513 | 0.1218 | 0.8315 | 1.854 | json |
| t17_x11_u5_b3 | 17 | 11 | 5 | 3 | ![]() |
add(D,div(P,sgn(R))) | 107422 | 138495636 | o2(x,o2(x,o1(x))) | true | 19383 | 19383 | -0.05569 | 0.4735 | 0.8607 | 0.8164 | 0.9035 | -1 | 1 | 2 | 1 | 2.754 | 0.0337 | 0.04334 | 0.1076 | -0.1252 | 1 | -0.000005215 | 0.07808 | 0.09335 | 0.06542 | 0.2558 | 2.377 | 1.82 | 0.09437 | 0.09565 | 1 | 1 | 0.0994 | 0.6788 | 1.513 | 0.1218 | 0.8315 | 1.854 | json |
| t17_x11_u5_b4 | 17 | 11 | 5 | 4 | ![]() |
add(D,pow(P,sgn(R))) | 107423 | 138495637 | o2(x,o2(x,o1(x))) | true | 19391 | 19391 | -0.1983 | 0.4509 | 0.8955 | 0.8248 | 0.9082 | -1 | 1 | 2 | 1 | 2.11 | 0.01474 | 0.005335 | 0.02961 | 0.4684 | 1 | -0.0001114 | 0.03571 | 0.03105 | 0.01919 | 0.1385 | 4.678 | 2.806 | 0.02434 | 0.04329 | 1 | 1 | 0.028 | 0.1342 | 0.402 | 0.03395 | 0.1627 | 0.4874 | json |
| t17_x11_u5_b5 | 17 | 11 | 5 | 5 | ![]() |
add(D,mod(P,sgn(R))) | 107424 | 138495638 | o2(x,o2(x,o1(x))) | true | 19399 | 19399 | 0 | 0.5 | 0.09436 | 0.01082 | 0.104 | -0.1454 | 0.1454 | 0.2908 | 1 | 2.561 | 0.001632 | 0 | 0.0361 | 1 | 1 | 0 | 0.0002563 | 0.01459 | 0.0003304 | 0.01818 | 0.5036 | 0.06192 | 0.1508 | 0.02368 | 1 | 1 | 0.003151 | 0.02183 | 0 | 0.2912 | 2.017 | 0 | json |
| t17_x11_u5_b6 | 17 | 11 | 5 | 6 | ![]() |
add(D,lrg(P,sgn(R))) | 107425 | 138495639 | o2(x,o2(x,o1(x))) | true | 19407 | 19407 | 0.4459 | 0.7597 | 0.4906 | 0.2152 | 0.4639 | -0.1454 | 1 | 1.145 | 1 | 3.411 | 0.001585 | 0.0002772 | 0.03359 | 0.7022 | 1 | 0.000009041 | 0.0003088 | 0.01379 | 0.0007343 | 0.0271 | 0.8068 | 0.1713 | 0.008651 | 0.001435 | 1 | 1 | 0.004032 | 0.03841 | 0.08359 | 0.01873 | 0.1785 | 0.3884 | json |
| t17_x11_u5_b7 | 17 | 11 | 5 | 7 | ![]() |
add(D,eql(P,sgn(R))) | 107426 | 138495640 | o2(x,o2(x,o1(x))) | true | 19415 | 19415 | 0.06565 | 0.5561 | 0.1474 | 0.05101 | 0.2259 | -0.1454 | 1 | 1.145 | 1 | 3.166 | 0.002264 | 0.0003126 | 0.04252 | 0.7574 | 1 | -0.000002773 | 0.0003346 | 0.01506 | 0.0007702 | 0.02775 | 0.6527 | 0.1713 | 0.05051 | 0.00656 | 1 | 1 | 0.005539 | 0.05263 | 0.07592 | 0.1086 | 1.032 | 1.488 | json |
| t17_x11_u5_b8 | 17 | 11 | 5 | 8 | ![]() |
add(D,min(P,sgn(R))) | 107427 | 138495641 | o2(x,o2(x,o1(x))) | true | 19423 | 19423 | -0.5394 | 0.2218 | 0.8192 | 0.4615 | 0.6793 | -1 | 1 | 2 | 1 | 3.127 | 0.004795 | 0.004865 | 0.05841 | -0.007293 | 1 | 0.00009519 | 0.000855 | 0.01509 | 0.006251 | 0.07907 | 1.354 | 0.2882 | 0.02093 | 0.001853 | 1 | 1 | 0.01886 | 0.2339 | 0.5755 | 0.04088 | 0.5069 | 1.247 | json |
| t17_x11_u5_b9 | 17 | 11 | 5 | 9 | ![]() |
add(D,dot(P,sgn(R))) | 107428 | 138495642 | o2(x,o2(x,o1(x))) | true | 19431 | 19431 | -0.088 | 0.4581 | 0.9176 | 0.8842 | 0.9403 | -1 | 1 | 2 | 1 | 2.189 | 0.04303 | 0.05531 | 0.1117 | -0.1249 | 1 | 0.00009908 | 0.1229 | 0.1181 | 0.08588 | 0.293 | 2.623 | 2.29 | 0.1112 | 0.139 | 1 | 1 | 0.1239 | 0.7711 | 1.655 | 0.1401 | 0.8721 | 1.871 | json |
| t17_x11_u5_b10 | 17 | 11 | 5 | 10 | ![]() |
add(D,dst(P,sgn(R))) | 107429 | 138495643 | o2(x,o2(x,o1(x))) | true | 19439 | 19439 | 0.9999 | 1 | 0.9999 | 0.000006254 | 0.002501 | 0.8851 | 1 | 0.1149 | 1 | 0.008045 | 0.000001773 | 9.535e-7 | 0.00006157 | 0.3007 | 0 | -2.253e-11 | 0.000002924 | 0.00006931 | 0.000002722 | 0.00165 | 26.8 | 0.06915 | 0.436 | 0.4676 | 1 | 1 | 0.000007643 | 0.00002261 | 0.00001747 | 1.222 | 3.615 | 2.793 | json |
| t17_x11_u5_b11 | 17 | 11 | 5 | 11 | ![]() |
sub(D,add(P,sgn(R))) | 107430 | 138495644 | o2(x,o2(x,o1(x))) | true | 19447 | 19447 | -0.005858 | 0.4986 | 0.9424 | 0.9257 | 0.9621 | -1 | 1 | 2 | 1 | 1.895 | 0.002434 | 0.001051 | 0.01734 | 0.3967 | 1 | 0.00003295 | 0.0008442 | 0.007267 | 0.003186 | 0.05645 | 3.256 | 0.405 | 0.003765 | 0.0009119 | 1 | 1 | 0.008982 | 0.08941 | 0.3303 | 0.009703 | 0.09658 | 0.3568 | json |
| t17_x11_u5_b12 | 17 | 11 | 5 | 12 | ![]() |
sub(D,sub(P,sgn(R))) | 107431 | 138495645 | o2(x,o2(x,o1(x))) | true | 19455 | 19455 | 0.0001919 | 0.4967 | 0.9355 | 0.9174 | 0.9578 | -1 | 1 | 2 | 1 | 1.963 | 0.002415 | 0.00106 | 0.01809 | 0.39 | 1 | -0.00002828 | 0.0008378 | 0.007373 | 0.003146 | 0.05609 | 3.1 | 0.405 | 0.003788 | 0.0009132 | 1 | 1 | 0.00892 | 0.08845 | 0.3269 | 0.009722 | 0.09641 | 0.3563 | json |
| t17_x11_u5_b13 | 17 | 11 | 5 | 13 | ![]() |
sub(D,mlt(P,sgn(R))) | 107432 | 138495646 | o2(x,o2(x,o1(x))) | true | 19463 | 19463 | 0.05665 | 0.5278 | 0.8596 | 0.8169 | 0.9039 | -1 | 1 | 2 | 1 | 2.739 | 0.03371 | 0.0434 | 0.1079 | -0.1256 | 1 | 0.00001278 | 0.07855 | 0.09376 | 0.0655 | 0.2559 | 2.373 | 1.814 | 0.09439 | 0.09615 | 1 | 1 | 0.09941 | 0.6778 | 1.513 | 0.1217 | 0.8297 | 1.852 | json |
| t17_x11_u5_b14 | 17 | 11 | 5 | 14 | ![]() |
sub(D,div(P,sgn(R))) | 107433 | 138495647 | o2(x,o2(x,o1(x))) | true | 19471 | 19471 | 0.05665 | 0.5278 | 0.8596 | 0.8169 | 0.9039 | -1 | 1 | 2 | 1 | 2.739 | 0.03371 | 0.0434 | 0.1079 | -0.1256 | 1 | 0.00001278 | 0.07855 | 0.09376 | 0.0655 | 0.2559 | 2.373 | 1.814 | 0.09439 | 0.09615 | 1 | 1 | 0.09941 | 0.6778 | 1.513 | 0.1217 | 0.8297 | 1.852 | json |
| t17_x11_u5_b15 | 17 | 11 | 5 | 15 | ![]() |
sub(D,pow(P,sgn(R))) | 107434 | 138495648 | o2(x,o2(x,o1(x))) | true | 19479 | 19479 | -0.8956 | 0.00592 | 0.8961 | 0.06063 | 0.2462 | -1 | 0.09672 | 1.097 | 1 | 1.452 | 0.002894 | 0.002463 | 0.02203 | 0.08056 | 1 | 0.0002297 | 0.005773 | 0.01676 | 0.004873 | 0.06981 | 3.169 | 1.097 | 0.08834 | 0.09521 | 1 | 1 | 0.007769 | 0.04924 | 0.0927 | 0.1281 | 0.812 | 1.529 | json |
| t17_x11_u5_b16 | 17 | 11 | 5 | 16 | ![]() |
sub(D,mod(P,sgn(R))) | 107435 | 138495649 | o2(x,o2(x,o1(x))) | true | 19487 | 19487 | 0 | 0.5 | 0.09436 | 0.01082 | 0.104 | -0.1454 | 0.1454 | 0.2908 | 1 | 2.561 | 0.001632 | 0 | 0.0361 | 1 | 1 | 0 | 0.0002563 | 0.01459 | 0.0003304 | 0.01818 | 0.5036 | 0.06192 | 0.1508 | 0.02368 | 1 | 1 | 0.003151 | 0.02183 | 0 | 0.2912 | 2.017 | 0 | json |
| t17_x11_u5_b17 | 17 | 11 | 5 | 17 | ![]() |
sub(D,lrg(P,sgn(R))) | 107436 | 138495650 | o2(x,o2(x,o1(x))) | true | 19495 | 19495 | -0.4446 | 0.2599 | 0.4919 | 0.2224 | 0.4716 | -1 | 0.1454 | 1.145 | 1 | 3.311 | 0.00198 | 0.0002797 | 0.03493 | 0.7524 | 1 | -0.0001678 | 0.0003883 | 0.01512 | 0.00104 | 0.03225 | 0.9232 | 0.1713 | 0.01016 | 0.001746 | 1 | 1 | 0.005002 | 0.04551 | 0.0846 | 0.02249 | 0.2046 | 0.3803 | json |
| t17_x11_u5_b18 | 17 | 11 | 5 | 18 | ![]() |
sub(D,eql(P,sgn(R))) | 107437 | 138495651 | o2(x,o2(x,o1(x))) | true | 19503 | 19503 | -0.06565 | 0.4439 | 0.1474 | 0.05101 | 0.2259 | -1 | 0.1454 | 1.145 | 1 | 3.166 | 0.002264 | 0.0003126 | 0.04258 | 0.7574 | 1 | 0.000002773 | 0.0003346 | 0.01506 | 0.0007648 | 0.02765 | 0.6494 | 0.1713 | 0.05051 | 0.00656 | 1 | 1 | 0.005539 | 0.05263 | 0.07592 | 0.1086 | 1.032 | 1.488 | json |
| t17_x11_u5_b19 | 17 | 11 | 5 | 19 | ![]() |
sub(D,min(P,sgn(R))) | 107438 | 138495652 | o2(x,o2(x,o1(x))) | true | 19511 | 19511 | 0.5378 | 0.7781 | 0.8213 | 0.4674 | 0.6837 | -1 | 1 | 2 | 1 | 3.115 | 0.005208 | 0.004867 | 0.05969 | 0.03377 | 1 | 0.000162 | 0.0009704 | 0.01677 | 0.006515 | 0.08071 | 1.352 | 0.2882 | 0.02155 | 0.002076 | 1 | 1 | 0.01966 | 0.2389 | 0.5785 | 0.04205 | 0.511 | 1.238 | json |
| t17_x11_u5_b20 | 17 | 11 | 5 | 20 | ![]() |
sub(D,dot(P,sgn(R))) | 107439 | 138495653 | o2(x,o2(x,o1(x))) | true | 19519 | 19519 | 0.08787 | 0.5437 | 0.9183 | 0.8849 | 0.9407 | -1 | 1 | 2 | 1 | 2.187 | 0.04304 | 0.05523 | 0.1117 | -0.124 | 1 | -0.000116 | 0.1224 | 0.1181 | 0.08582 | 0.293 | 2.623 | 2.428 | 0.111 | 0.1383 | 1 | 1 | 0.1237 | 0.7713 | 1.654 | 0.1397 | 0.8716 | 1.869 | json |
| t17_x11_u5_b21 | 17 | 11 | 5 | 21 | ![]() |
sub(D,dst(P,sgn(R))) | 107440 | 138495654 | o2(x,o2(x,o1(x))) | true | 19527 | 19527 | -1 | 0 | 1 | 0.000001089 | 0.001043 | -1 | -0.9289 | 0.0711 | 1 | 0.001154 | 8.088e-7 | 2.132e-7 | 0.00002717 | 0.5827 | 0 | 3.754e-12 | 0.000001872 | 0.00003907 | 0.000001021 | 0.00101 | 37.18 | 0.06207 | 0.9387 | 1.719 | 1 | 1 | 0.000002258 | 0.000003956 | 0.000003086 | 2.074 | 3.633 | 2.834 | json |
| t17_x11_u5_b22 | 17 | 11 | 5 | 22 | ![]() |
mlt(D,add(P,sgn(R))) | 107441 | 138495655 | o2(x,o2(x,o1(x))) | true | 19535 | 19535 | -0.1315 | 0.3993 | 0.419 | 0.2474 | 0.4974 | -1 | 1 | 2 | 1 | 4.835 | 0.03283 | 0.0006028 | 0.1448 | 0.9639 | 1 | 0.002082 | 0.006441 | 0.05894 | 0.01247 | 0.1117 | 0.7712 | 0.4965 | 0.1352 | 0.02604 | 1 | 1 | 0.04166 | 0.3216 | 0.1021 | 0.1684 | 1.3 | 0.4125 | json |
| t17_x11_u5_b23 | 17 | 11 | 5 | 23 | ![]() |
mlt(D,sub(P,sgn(R))) | 107442 | 138495656 | o2(x,o2(x,o1(x))) | true | 19543 | 19543 | -0.1343 | 0.3953 | 0.4286 | 0.2602 | 0.5101 | -1 | 1 | 2 | 1 | 4.832 | 0.03478 | 0.0006046 | 0.147 | 0.9658 | 1 | 0.002004 | 0.006923 | 0.06024 | 0.01378 | 0.1174 | 0.7986 | 0.4965 | 0.136 | 0.0266 | 1 | 1 | 0.04397 | 0.3401 | 0.1024 | 0.169 | 1.307 | 0.3935 | json |
| t17_x11_u5_b24 | 17 | 11 | 5 | 24 | ![]() |
mlt(D,mlt(P,sgn(R))) | 107443 | 138495657 | o2(x,o2(x,o1(x))) | true | 19551 | 19551 | -0.005004 | 0.4937 | 0.4689 | 0.3491 | 0.5908 | -1 | 1 | 2 | 1 | 4.625 | 0.02537 | 0.007761 | 0.1319 | 0.5315 | 1 | 0.0002227 | 0.009985 | 0.05473 | 0.01572 | 0.1254 | 0.9504 | 0.8737 | 0.09491 | 0.0286 | 1 | 1 | 0.04291 | 0.4188 | 0.5687 | 0.1229 | 1.2 | 1.629 | json |
| t17_x11_u5_b25 | 17 | 11 | 5 | 25 | ![]() |
mlt(D,div(P,sgn(R))) | 107444 | 138495658 | o2(x,o2(x,o1(x))) | true | 19559 | 19559 | -0.005004 | 0.4937 | 0.4689 | 0.3491 | 0.5908 | -1 | 1 | 2 | 1 | 4.625 | 0.02537 | 0.007761 | 0.1319 | 0.5315 | 1 | 0.0002227 | 0.009985 | 0.05473 | 0.01572 | 0.1254 | 0.9504 | 0.8737 | 0.09491 | 0.0286 | 1 | 1 | 0.04291 | 0.4188 | 0.5687 | 0.1229 | 1.2 | 1.629 | json |
| t17_x11_u5_b26 | 17 | 11 | 5 | 26 | ![]() |
mlt(D,pow(P,sgn(R))) | 107445 | 138495659 | o2(x,o2(x,o1(x))) | true | 19567 | 19567 | -0.57 | 0.2155 | 0.6891 | 0.3162 | 0.5623 | -1 | 1 | 2 | 1 | 2.784 | 0.01142 | 0.002693 | 0.0494 | 0.6182 | 1 | 0.0005086 | 0.01268 | 0.02748 | 0.01167 | 0.108 | 2.187 | 1.415 | 0.04462 | 0.04011 | 1 | 1 | 0.01752 | 0.1312 | 0.2176 | 0.05541 | 0.4149 | 0.6881 | json |
| t17_x11_u5_b27 | 17 | 11 | 5 | 27 | ![]() |
mlt(D,mod(P,sgn(R))) | 107446 | 138495660 | o2(x,o2(x,o1(x))) | true | 19575 | 19575 | 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_x11_u5_b28 | 17 | 11 | 5 | 28 | ![]() |
mlt(D,lrg(P,sgn(R))) | 107447 | 138495661 | o2(x,o2(x,o1(x))) | true | 19583 | 19583 | -0.008939 | 0.2325 | 0.05349 | 0.007227 | 0.08501 | -0.2729 | 0.2729 | 0.5458 | 1 | 2.28 | 0.0008148 | 0.00002019 | 0.01884 | 0.9516 | 1 | 0.0001582 | 0.00012 | 0.007135 | 0.0004801 | 0.02191 | 1.163 | 0.06407 | 0.1155 | 0.0166 | 1 | 1 | 0.001665 | 0.0136 | 0.005365 | 0.2303 | 1.882 | 0.7423 | json |
| t17_x11_u5_b29 | 17 | 11 | 5 | 29 | ![]() |
mlt(D,eql(P,sgn(R))) | 107448 | 138495662 | o2(x,o2(x,o1(x))) | true | 19591 | 19591 | -1.231e-10 | 0.09525 | 0.01899 | 0.003492 | 0.05909 | -0.2729 | 0.2729 | 0.5458 | 1 | 1.047 | 0.0001804 | 0.00002393 | 0.005292 | 0.7657 | 1 | -5.345e-12 | 0.00001865 | 0.001517 | 0.0001762 | 0.01328 | 2.509 | 0.06248 | 0.05851 | 0.005341 | 1 | 1 | 0.0005178 | 0.005698 | 0.005947 | 0.1483 | 1.632 | 1.703 | json |
| t17_x11_u5_b30 | 17 | 11 | 5 | 30 | ![]() |
mlt(D,min(P,sgn(R))) | 107449 | 138495663 | o2(x,o2(x,o1(x))) | true | 19599 | 19599 | -0.06855 | 0.4368 | 0.278 | 0.1386 | 0.3723 | -1 | 0.9606 | 1.961 | 1 | 4.446 | 0.01724 | 0.0003778 | 0.09476 | 0.9571 | 1 | 0.001183 | 0.003189 | 0.03622 | 0.008635 | 0.09293 | 0.9806 | 0.4334 | 0.1271 | 0.023 | 1 | 1 | 0.02077 | 0.1539 | 0.0529 | 0.1498 | 1.11 | 0.3816 | json |
| t17_x11_u5_b31 | 17 | 11 | 5 | 31 | ![]() |
mlt(D,dot(P,sgn(R))) | 107450 | 138495664 | o2(x,o2(x,o1(x))) | true | 19607 | 19607 | -0.004935 | 0.4966 | 0.6023 | 0.4981 | 0.7057 | -1 | 1 | 2 | 1 | 4.353 | 0.04068 | 0.0135 | 0.1609 | 0.5017 | 1 | 0.000008954 | 0.02231 | 0.07969 | 0.02828 | 0.1682 | 1.045 | 1.261 | 0.1088 | 0.0448 | 1 | 1 | 0.07612 | 0.6714 | 0.8815 | 0.1528 | 1.348 | 1.77 | json |
| t17_x11_u5_b32 | 17 | 11 | 5 | 32 | ![]() |
mlt(D,dst(P,sgn(R))) | 107451 | 138495665 | o2(x,o2(x,o1(x))) | true | 19615 | 19615 | 0.0005894 | 0.5009 | 0.578 | 0.4391 | 0.6627 | -1 | 1 | 2 | 1 | 4.757 | 0.06478 | 0.0005564 | 0.2009 | 0.983 | 1 | 0.000002534 | 0.01617 | 0.0913 | 0.02499 | 0.1581 | 0.787 | 0.7423 | 0.1488 | 0.03682 | 1 | 1 | 0.08338 | 0.5961 | 0.08857 | 0.1899 | 1.357 | 0.2017 | json |
| t17_x11_u5_b33 | 17 | 11 | 5 | 33 | ![]() |
div(D,add(P,sgn(R))) | 107452 | 138495666 | o2(x,o2(x,o1(x))) | true | 19623 | 19623 | -0.182 | 0.4484 | 0.2161 | 0.1572 | 0.3965 | -1 | 0.2292 | 1.229 | 1 | 2.093 | 0.008367 | 0.004598 | 0.02239 | 0.2907 | 1 | 0.00003874 | 0.02587 | 0.02892 | 0.01246 | 0.1116 | 4.986 | 1.415 | 0.08247 | 0.1646 | 1 | 1 | 0.01589 | 0.06889 | 0.2326 | 0.1011 | 0.4382 | 1.48 | json |
| t17_x11_u5_b34 | 17 | 11 | 5 | 34 | ![]() |
div(D,sub(P,sgn(R))) | 107453 | 138495667 | o2(x,o2(x,o1(x))) | true | 19631 | 19631 | -0.1959 | 0.446 | 0.23 | 0.1673 | 0.409 | -1 | 0.2292 | 1.229 | 1 | 2.065 | 0.008396 | 0.003884 | 0.02113 | 0.3674 | 1 | 0.00003602 | 0.02419 | 0.0271 | 0.01183 | 0.1088 | 5.149 | 1.458 | 0.07342 | 0.1446 | 1 | 1 | 0.01708 | 0.07326 | 0.238 | 0.1021 | 0.438 | 1.423 | json |
| t17_x11_u5_b35 | 17 | 11 | 5 | 35 | ![]() |
div(D,mlt(P,sgn(R))) | 107454 | 138495668 | o2(x,o2(x,o1(x))) | true | 19639 | 19639 | -0.1219 | 0.4341 | 0.1677 | 0.1154 | 0.3396 | -1 | 0.3791 | 1.379 | 1 | 2.46 | 0.008314 | 0.00008263 | 0.02123 | 0.9803 | 1 | -0.00000264 | 0.01591 | 0.01977 | 0.007946 | 0.08914 | 4.199 | 1.031 | 0.07279 | 0.1379 | 1 | 1 | 0.01156 | 0.05415 | 0.1837 | 0.1002 | 0.4694 | 1.593 | json |
| t17_x11_u5_b36 | 17 | 11 | 5 | 36 | ![]() |
div(D,div(P,sgn(R))) | 107455 | 138495669 | o2(x,o2(x,o1(x))) | true | 19647 | 19647 | -0.1219 | 0.4341 | 0.1677 | 0.1154 | 0.3396 | -1 | 0.3791 | 1.379 | 1 | 2.46 | 0.008314 | 0.00008263 | 0.02123 | 0.9803 | 1 | -0.00000264 | 0.01591 | 0.01977 | 0.007946 | 0.08914 | 4.199 | 1.031 | 0.07279 | 0.1379 | 1 | 1 | 0.01156 | 0.05415 | 0.1837 | 0.1002 | 0.4694 | 1.593 | json |
| t17_x11_u5_b37 | 17 | 11 | 5 | 37 | ![]() |
div(D,pow(P,sgn(R))) | 107456 | 138495670 | o2(x,o2(x,o1(x))) | true | 19655 | 19655 | -0.5661 | 0.209 | 0.7025 | 0.3261 | 0.5711 | -1 | 1 | 2 | 1 | 2.925 | 0.01328 | 0.002125 | 0.05651 | 0.7241 | 1 | 0.0005586 | 0.01164 | 0.0294 | 0.01221 | 0.1105 | 1.955 | 1.414 | 0.04724 | 0.03569 | 1 | 1 | 0.02062 | 0.158 | 0.2099 | 0.06322 | 0.4846 | 0.6436 | json |
| t17_x11_u5_b38 | 17 | 11 | 5 | 38 | ![]() |
div(D,mod(P,sgn(R))) | 107457 | 138495671 | o2(x,o2(x,o1(x))) | true | 19663 | 19663 | -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_x11_u5_b39 | 17 | 11 | 5 | 39 | ![]() |
div(D,lrg(P,sgn(R))) | 107458 | 138495672 | o2(x,o2(x,o1(x))) | true | 19671 | 19671 | -0.6211 | 0.1895 | 0.6568 | 0.2394 | 0.4893 | -1 | 0.1454 | 1.145 | 1 | 1.928 | 0.004826 | 0.0005094 | 0.01811 | 0.8091 | 1 | 0.0001582 | 0.009235 | 0.01444 | 0.005007 | 0.07076 | 3.908 | 1.415 | 0.02228 | 0.03857 | 1 | 1 | 0.007857 | 0.03627 | 0.08871 | 0.03281 | 0.1515 | 0.3705 | json |
| t17_x11_u5_b40 | 17 | 11 | 5 | 40 | ![]() |
div(D,eql(P,sgn(R))) | 107459 | 138495673 | o2(x,o2(x,o1(x))) | true | 19679 | 19679 | -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_x11_u5_b41 | 17 | 11 | 5 | 41 | ![]() |
div(D,min(P,sgn(R))) | 107460 | 138495674 | o2(x,o2(x,o1(x))) | true | 19687 | 19687 | -0.07366 | 0.4941 | 0.1702 | 0.0952 | 0.3085 | -1 | 0.4963 | 1.496 | 1 | 3.192 | 0.006347 | 0.001639 | 0.03561 | 0.5894 | 1 | 0.0000069 | 0.0129 | 0.02156 | 0.006719 | 0.08197 | 2.302 | 1.415 | 0.08389 | 0.1355 | 1 | 1 | 0.01264 | 0.07393 | 0.1873 | 0.1328 | 0.7766 | 1.967 | json |
| t17_x11_u5_b42 | 17 | 11 | 5 | 42 | ![]() |
div(D,dot(P,sgn(R))) | 107461 | 138495675 | o2(x,o2(x,o1(x))) | true | 19695 | 19695 | -0.1725 | 0.4126 | 0.2155 | 0.1479 | 0.3846 | -1 | 0.379 | 1.379 | 1 | 2.566 | 0.009742 | 0.00968 | 0.03177 | 0.00321 | 1 | 0.00001304 | 0.03965 | 0.04136 | 0.01841 | 0.1357 | 4.272 | 1.418 | 0.1313 | 0.268 | 1 | 1 | 0.02225 | 0.09735 | 0.3406 | 0.1504 | 0.658 | 2.302 | json |
| t17_x11_u5_b43 | 17 | 11 | 5 | 43 | ![]() |
div(D,dst(P,sgn(R))) | 107462 | 138495676 | o2(x,o2(x,o1(x))) | true | 19703 | 19703 | -0.00001265 | 0.4986 | 0.0202 | 0.0008371 | 0.02893 | -0.1714 | 0.2266 | 0.398 | 1 | 1.287 | 0.0001024 | 0.000003448 | 0.007707 | 0.9348 | 1 | -1.707e-9 | 0.00001537 | 0.002987 | 0.00004641 | 0.006812 | 0.8839 | 0.0622 | 0.1264 | 0.01836 | 1 | 1 | 0.0003187 | 0.002433 | 0.0009088 | 0.3807 | 2.907 | 1.086 | json |
| t17_x11_u5_b44 | 17 | 11 | 5 | 44 | ![]() |
pow(D,add(P,sgn(R))) | 107463 | 138495677 | o2(x,o2(x,o1(x))) | true | 19711 | 19711 | -0.9534 | 0.02344 | 0.9997 | 0.09049 | 0.3008 | -1 | 1 | 2 | 1 | 0.1681 | 0.01202 | 0.007788 | 0.01001 | 0.2136 | 1 | -6.007e-11 | 0.04158 | 0.02001 | 0.01972 | 0.1404 | 14.03 | 2.828 | 0.2189 | 0.4594 | 1 | 1 | 0.02864 | 0.1181 | 0.2809 | 0.3165 | 1.305 | 3.104 | json |
| t17_x11_u5_b45 | 17 | 11 | 5 | 45 | ![]() |
pow(D,sub(P,sgn(R))) | 107464 | 138495678 | o2(x,o2(x,o1(x))) | true | 19719 | 19719 | -0.9431 | 0.03125 | 0.9944 | 0.1033 | 0.3214 | -1 | 1 | 2 | 1 | 0.2668 | 0.01325 | 0.008885 | 0.01262 | 0.1973 | 1 | 1.802e-10 | 0.04613 | 0.02361 | 0.02198 | 0.1483 | 11.75 | 2.828 | 0.2143 | 0.4466 | 1 | 1 | 0.02616 | 0.1111 | 0.2532 | 0.2533 | 1.076 | 2.452 | json |
| t17_x11_u5_b46 | 17 | 11 | 5 | 46 | ![]() |
pow(D,mlt(P,sgn(R))) | 107465 | 138495679 | o2(x,o2(x,o1(x))) | true | 19727 | 19727 | -0.8815 | 0.0625 | 0.9935 | 0.2138 | 0.4624 | -1 | 1 | 2 | 1 | 0.4384 | 0.02916 | 0.0001725 | 0.01671 | 0.9882 | 1 | -0.00004346 | 0.05891 | 0.03077 | 0.02904 | 0.1704 | 10.2 | 2 | 0.1372 | 0.2756 | 1 | 1 | 0.03809 | 0.1557 | 0.3075 | 0.1782 | 0.7281 | 1.438 | json |
| t17_x11_u5_b47 | 17 | 11 | 5 | 47 | ![]() |
pow(D,div(P,sgn(R))) | 107466 | 138495680 | o2(x,o2(x,o1(x))) | true | 19735 | 19735 | -0.8815 | 0.0625 | 0.9935 | 0.2138 | 0.4624 | -1 | 1 | 2 | 1 | 0.4384 | 0.02916 | 0.0001725 | 0.01671 | 0.9882 | 1 | -0.00004346 | 0.05891 | 0.03077 | 0.02904 | 0.1704 | 10.2 | 2 | 0.1372 | 0.2756 | 1 | 1 | 0.03809 | 0.1557 | 0.3075 | 0.1782 | 0.7281 | 1.438 | json |
| t17_x11_u5_b48 | 17 | 11 | 5 | 48 | ![]() |
pow(D,pow(P,sgn(R))) | 107467 | 138495681 | o2(x,o2(x,o1(x))) | true | 19743 | 19743 | -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_x11_u5_b49 | 17 | 11 | 5 | 49 | ![]() |
pow(D,mod(P,sgn(R))) | 107468 | 138495682 | o2(x,o2(x,o1(x))) | true | 19751 | 19751 | 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_x11_u5_b50 | 17 | 11 | 5 | 50 | ![]() |
pow(D,lrg(P,sgn(R))) | 107469 | 138495683 | o2(x,o2(x,o1(x))) | true | 19759 | 19759 | -0.06027 | 0.4727 | 0.9944 | 0.9892 | 0.9946 | -1 | 1 | 2 | 1 | 1.109 | 0.02106 | 0.0109 | 0.01753 | 0.3179 | 1 | 2.403e-10 | 0.06603 | 0.03344 | 0.03168 | 0.178 | 10.15 | 2.828 | 0.03231 | 0.06676 | 1 | 1 | 0.04035 | 0.1678 | 0.4785 | 0.04079 | 0.1697 | 0.4837 | json |
| t17_x11_u5_b51 | 17 | 11 | 5 | 51 | ![]() |
pow(D,eql(P,sgn(R))) | 107470 | 138495684 | o2(x,o2(x,o1(x))) | true | 19767 | 19767 | 0.7732 | 0.8984 | 0.9763 | 0.3691 | 0.6075 | -1 | 1 | 2 | 1 | 0.9695 | 0.03886 | 0.008161 | 0.03052 | 0.6529 | 1 | 9.686e-10 | 0.09465 | 0.05184 | 0.04612 | 0.2148 | 7.037 | 2.828 | 0.1274 | 0.2565 | 1 | 1 | 0.06287 | 0.2756 | 0.5031 | 0.1704 | 0.7469 | 1.363 | json |
| t17_x11_u5_b52 | 17 | 11 | 5 | 52 | ![]() |
pow(D,min(P,sgn(R))) | 107471 | 138495685 | o2(x,o2(x,o1(x))) | true | 19775 | 19775 | -0.9688 | 0.01563 | 1 | 0.06152 | 0.248 | -1 | 1 | 2 | 1 | 0.1161 | 0.008062 | 0.006047 | 0.006999 | 0.1429 | 1 | 0 | 0.02973 | 0.01411 | 0.01407 | 0.1186 | 16.94 | 2.828 | 0.2293 | 0.4832 | 1 | 1 | 0.01928 | 0.07712 | 0.1808 | 0.3134 | 1.253 | 2.939 | json |
| t17_x11_u5_b53 | 17 | 11 | 5 | 53 | ![]() |
pow(D,dot(P,sgn(R))) | 107472 | 138495686 | o2(x,o2(x,o1(x))) | true | 19783 | 19783 | -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_x11_u5_b54 | 17 | 11 | 5 | 54 | ![]() |
pow(D,dst(P,sgn(R))) | 107473 | 138495687 | o2(x,o2(x,o1(x))) | true | 19791 | 19791 | -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_x11_u5_b55 | 17 | 11 | 5 | 55 | ![]() |
mod(D,add(P,sgn(R))) | 107474 | 138495688 | o2(x,o2(x,o1(x))) | true | 19799 | 19799 | -0.1875 | 0.4063 | 0.2642 | 0.1611 | 0.4014 | -1 | 0.1454 | 1.145 | 1 | 2.777 | 0.009248 | 0.005094 | 0.04179 | 0.2897 | 1 | 2.975e-10 | 0.02705 | 0.03766 | 0.0126 | 0.1122 | 2.686 | 1.415 | 0.08901 | 0.1679 | 1 | 1 | 0.01778 | 0.07908 | 0.2343 | 0.1103 | 0.4908 | 1.454 | json |
| t17_x11_u5_b56 | 17 | 11 | 5 | 56 | ![]() |
mod(D,sub(P,sgn(R))) | 107475 | 138495689 | o2(x,o2(x,o1(x))) | true | 19807 | 19807 | -0.2031 | 0.3984 | 0.2784 | 0.1705 | 0.4129 | -1 | 0.1454 | 1.145 | 1 | 2.769 | 0.009222 | 0.004075 | 0.04024 | 0.3871 | 1 | 2.375e-10 | 0.02475 | 0.03542 | 0.01168 | 0.1081 | 2.686 | 1.415 | 0.078 | 0.1452 | 1 | 1 | 0.01863 | 0.08237 | 0.2419 | 0.1093 | 0.4832 | 1.419 | json |
| t17_x11_u5_b57 | 17 | 11 | 5 | 57 | ![]() |
mod(D,mlt(P,sgn(R))) | 107476 | 138495690 | o2(x,o2(x,o1(x))) | true | 19815 | 19815 | -0.125 | 0.4375 | 0.2076 | 0.1189 | 0.3448 | -1 | 0.1454 | 1.145 | 1 | 2.785 | 0.009352 | 0 | 0.03917 | 1 | 1 | 9.386e-13 | 0.01611 | 0.02856 | 0.007817 | 0.08842 | 2.257 | 1.031 | 0.07868 | 0.1355 | 1 | 1 | 0.01311 | 0.05985 | 0.1702 | 0.1103 | 0.5035 | 1.432 | json |
| t17_x11_u5_b58 | 17 | 11 | 5 | 58 | ![]() |
mod(D,div(P,sgn(R))) | 107477 | 138495691 | o2(x,o2(x,o1(x))) | true | 19823 | 19823 | -0.125 | 0.4375 | 0.2076 | 0.1189 | 0.3448 | -1 | 0.1454 | 1.145 | 1 | 2.785 | 0.009352 | 0 | 0.03917 | 1 | 1 | 9.386e-13 | 0.01611 | 0.02856 | 0.007817 | 0.08842 | 2.257 | 1.031 | 0.07868 | 0.1355 | 1 | 1 | 0.01311 | 0.05985 | 0.1702 | 0.1103 | 0.5035 | 1.432 | json |
| t17_x11_u5_b59 | 17 | 11 | 5 | 59 | ![]() |
mod(D,pow(P,sgn(R))) | 107478 | 138495692 | o2(x,o2(x,o1(x))) | true | 19831 | 19831 | -0.559 | 0.2236 | 0.6077 | 0.2565 | 0.5065 | -1 | 0.2655 | 1.265 | 1 | 2.281 | 0.006001 | 0.0000397 | 0.02549 | 0.9869 | 1 | -0.00005875 | 0.01104 | 0.03007 | 0.005391 | 0.07342 | 2.88 | 1.031 | 0.02355 | 0.04305 | 1 | 1 | 0.008174 | 0.03836 | 0.0936 | 0.03187 | 0.1495 | 0.3649 | json |
| t17_x11_u5_b60 | 17 | 11 | 5 | 60 | ![]() |
mod(D,mod(P,sgn(R))) | 107479 | 138495693 | o2(x,o2(x,o1(x))) | true | 19839 | 19839 | -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_x11_u5_b61 | 17 | 11 | 5 | 61 | ![]() |
mod(D,lrg(P,sgn(R))) | 107480 | 138495694 | o2(x,o2(x,o1(x))) | true | 19847 | 19847 | -0.6211 | 0.1895 | 0.6568 | 0.2394 | 0.4893 | -1 | 0.1454 | 1.145 | 1 | 1.928 | 0.004826 | 0.0005094 | 0.01811 | 0.8091 | 1 | 0.0001582 | 0.009235 | 0.01444 | 0.005007 | 0.07076 | 3.908 | 1.415 | 0.02228 | 0.03857 | 1 | 1 | 0.007857 | 0.03627 | 0.08871 | 0.03281 | 0.1515 | 0.3705 | json |
| t17_x11_u5_b62 | 17 | 11 | 5 | 62 | ![]() |
mod(D,eql(P,sgn(R))) | 107481 | 138495695 | o2(x,o2(x,o1(x))) | true | 19855 | 19855 | -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_x11_u5_b63 | 17 | 11 | 5 | 63 | ![]() |
mod(D,min(P,sgn(R))) | 107482 | 138495696 | o2(x,o2(x,o1(x))) | true | 19863 | 19863 | -0.07813 | 0.4609 | 0.1651 | 0.082 | 0.2864 | -1 | 0.1454 | 1.145 | 1 | 2.757 | 0.006472 | 0.001528 | 0.03949 | 0.618 | 1 | 1.173e-10 | 0.01344 | 0.02635 | 0.006442 | 0.08026 | 2.032 | 1.415 | 0.09756 | 0.164 | 1 | 1 | 0.0125 | 0.058 | 0.1492 | 0.1524 | 0.7073 | 1.819 | json |
| t17_x11_u5_b64 | 17 | 11 | 5 | 64 | ![]() |
mod(D,dot(P,sgn(R))) | 107483 | 138495697 | o2(x,o2(x,o1(x))) | true | 19871 | 19871 | -0.1719 | 0.4141 | 0.2501 | 0.1513 | 0.3889 | -1 | 0.1454 | 1.145 | 1 | 2.783 | 0.01079 | 0.009551 | 0.04824 | 0.06096 | 1 | 2.788e-10 | 0.03976 | 0.04968 | 0.01802 | 0.1342 | 2.783 | 1.415 | 0.1345 | 0.2629 | 1 | 1 | 0.02377 | 0.1024 | 0.3379 | 0.1571 | 0.677 | 2.234 | json |
| t17_x11_u5_b65 | 17 | 11 | 5 | 65 | ![]() |
mod(D,dst(P,sgn(R))) | 107484 | 138495698 | o2(x,o2(x,o1(x))) | true | 19879 | 19879 | 0 | 0.5 | 0.09436 | 0.01082 | 0.104 | -0.1454 | 0.1454 | 0.2908 | 1 | 2.561 | 0.001632 | 0 | 0.0361 | 1 | 1 | 0 | 0.0002563 | 0.01459 | 0.0003304 | 0.01818 | 0.5036 | 0.06192 | 0.1508 | 0.02368 | 1 | 1 | 0.003151 | 0.02183 | 0 | 0.2912 | 2.017 | 0 | json |
| t17_x11_u5_b66 | 17 | 11 | 5 | 66 | ![]() |
lrg(D,add(P,sgn(R))) | 107485 | 138495699 | o2(x,o2(x,o1(x))) | true | 19887 | 19887 | 0.498 | 0.5864 | 0.498 | 0.2319 | 0.4816 | 0 | 1 | 1 | 1 | 1.748 | 0.003834 | 0.0002632 | 0.01381 | 0.8715 | 1 | 0.00001711 | 0.006609 | 0.00982 | 0.003909 | 0.06252 | 4.526 | 0.9997 | 0.01767 | 0.0285 | 1 | 1 | 0.006723 | 0.04022 | 0.0965 | 0.02899 | 0.1734 | 0.4161 | json |
| t17_x11_u5_b67 | 17 | 11 | 5 | 67 | ![]() |
lrg(D,sub(P,sgn(R))) | 107486 | 138495700 | o2(x,o2(x,o1(x))) | true | 19895 | 19895 | 0.502 | 0.5942 | 0.502 | 0.2311 | 0.4807 | 0 | 1 | 1 | 1 | 1.775 | 0.004382 | 0.0002632 | 0.01482 | 0.8867 | 1 | -0.00001711 | 0.007629 | 0.01095 | 0.004424 | 0.06651 | 4.488 | 0.9997 | 0.0201 | 0.03301 | 1 | 1 | 0.007175 | 0.04195 | 0.09616 | 0.03105 | 0.1815 | 0.4161 | json |
| t17_x11_u5_b68 | 17 | 11 | 5 | 68 | ![]() |
lrg(D,mlt(P,sgn(R))) | 107487 | 138495701 | o2(x,o2(x,o1(x))) | true | 19903 | 19903 | 0.5254 | 0.9364 | 0.5254 | 0.1546 | 0.3932 | 0 | 1 | 1 | 1 | 3.412 | 0.006006 | 0.002332 | 0.05518 | 0.4407 | 1 | 0.00003637 | 0.008251 | 0.02036 | 0.005295 | 0.07277 | 1.319 | 1 | 0.05393 | 0.05336 | 1 | 1 | 0.01368 | 0.1227 | 0.2901 | 0.08844 | 0.7936 | 1.876 | json |
| t17_x11_u5_b69 | 17 | 11 | 5 | 69 | ![]() |
lrg(D,div(P,sgn(R))) | 107488 | 138495702 | o2(x,o2(x,o1(x))) | true | 19911 | 19911 | 0.5254 | 0.9364 | 0.5254 | 0.1546 | 0.3932 | 0 | 1 | 1 | 1 | 3.412 | 0.006006 | 0.002332 | 0.05518 | 0.4407 | 1 | 0.00003637 | 0.008251 | 0.02036 | 0.005295 | 0.07277 | 1.319 | 1 | 0.05393 | 0.05336 | 1 | 1 | 0.01368 | 0.1227 | 0.2901 | 0.08844 | 0.7936 | 1.876 | json |
| t17_x11_u5_b70 | 17 | 11 | 5 | 70 | ![]() |
lrg(D,pow(P,sgn(R))) | 107489 | 138495703 | o2(x,o2(x,o1(x))) | true | 19919 | 19919 | 0.5372 | 0.7643 | 0.5372 | 0.2138 | 0.4624 | 0 | 1 | 1 | 1 | 2.213 | 0.01141 | 0.0002524 | 0.03189 | 0.9567 | 1 | -0.00004301 | 0.02181 | 0.03064 | 0.01064 | 0.1032 | 3.235 | 0.9994 | 0.05453 | 0.102 | 1 | 1 | 0.01103 | 0.04913 | 0.1024 | 0.0516 | 0.2298 | 0.4788 | json |
| t17_x11_u5_b71 | 17 | 11 | 5 | 71 | ![]() |
lrg(D,mod(P,sgn(R))) | 107490 | 138495704 | o2(x,o2(x,o1(x))) | true | 19927 | 19927 | 0.5 | 1 | 0.5 | 0.1418 | 0.3765 | 0.000291 | 0.9997 | 0.9994 | 1 | 3.406 | 0.06511 | 0 | 0.1228 | 1 | 1 | 0 | 0.1208 | 0.1337 | 0.05001 | 0.2236 | 1.821 | 0.9994 | 0.4593 | 0.8522 | 1 | 1 | 0.07073 | 0.2419 | 0 | 0.4989 | 1.706 | 0 | json |
| t17_x11_u5_b72 | 17 | 11 | 5 | 72 | ![]() |
lrg(D,lrg(P,sgn(R))) | 107491 | 138495705 | o2(x,o2(x,o1(x))) | true | 19935 | 19935 | 0.2832 | 0.5942 | 0.2832 | 0.139 | 0.3729 | 0 | 0.9997 | 0.9997 | 1 | 2.613 | 0.03475 | 0.0001404 | 0.06924 | 0.992 | 1 | 0.00008129 | 0.06422 | 0.07272 | 0.03009 | 0.1735 | 2.505 | 0.9997 | 0.251 | 0.4619 | 1 | 1 | 0.03749 | 0.1372 | 0.04258 | 0.2697 | 0.9866 | 0.3063 | json |
| t17_x11_u5_b73 | 17 | 11 | 5 | 73 | ![]() |
lrg(D,eql(P,sgn(R))) | 107492 | 138495706 | o2(x,o2(x,o1(x))) | true | 19943 | 19943 | 0.4668 | 0.9649 | 0.4668 | 0.1449 | 0.3807 | 0 | 0.9997 | 0.9997 | 1 | 3.403 | 0.05999 | 0.0001579 | 0.1158 | 0.9947 | 1 | -1.539e-10 | 0.1113 | 0.1246 | 0.04672 | 0.2162 | 1.866 | 0.9997 | 0.4151 | 0.7679 | 1 | 1 | 0.0641 | 0.2294 | 0.03924 | 0.4424 | 1.583 | 0.2708 | json |
| t17_x11_u5_b74 | 17 | 11 | 5 | 74 | ![]() |
lrg(D,min(P,sgn(R))) | 107493 | 138495707 | o2(x,o2(x,o1(x))) | true | 19951 | 19951 | 0.7715 | 0.9905 | 0.7715 | 0.1217 | 0.3488 | 0 | 1 | 1 | 1 | 2.365 | 0.002836 | 0.001259 | 0.031 | 0.3851 | 1 | 0.00002709 | 0.003398 | 0.01065 | 0.003133 | 0.05598 | 1.806 | 0.9997 | 0.03365 | 0.02793 | 1 | 1 | 0.007137 | 0.06954 | 0.1615 | 0.05865 | 0.5714 | 1.327 | json |
| t17_x11_u5_b75 | 17 | 11 | 5 | 75 | ![]() |
lrg(D,dot(P,sgn(R))) | 107494 | 138495708 | o2(x,o2(x,o1(x))) | true | 19959 | 19959 | 0.5273 | 0.9555 | 0.5273 | 0.1523 | 0.3902 | 0 | 1 | 1 | 1 | 3.436 | 0.004214 | 0.00243 | 0.05487 | 0.2686 | 1 | 0.00002994 | 0.004694 | 0.01815 | 0.003633 | 0.06027 | 1.099 | 0.9997 | 0.04363 | 0.03083 | 1 | 1 | 0.01053 | 0.1177 | 0.3006 | 0.06912 | 0.7729 | 1.974 | json |
| t17_x11_u5_b76 | 17 | 11 | 5 | 76 | ![]() |
lrg(D,dst(P,sgn(R))) | 107495 | 138495709 | o2(x,o2(x,o1(x))) | true | 19967 | 19967 | 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_x11_u5_b77 | 17 | 11 | 5 | 77 | ![]() |
eql(D,add(P,sgn(R))) | 107496 | 138495710 | o2(x,o2(x,o1(x))) | true | 19975 | 19975 | 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_x11_u5_b78 | 17 | 11 | 5 | 78 | ![]() |
eql(D,sub(P,sgn(R))) | 107497 | 138495711 | o2(x,o2(x,o1(x))) | true | 19983 | 19983 | 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_x11_u5_b79 | 17 | 11 | 5 | 79 | ![]() |
eql(D,mlt(P,sgn(R))) | 107498 | 138495712 | o2(x,o2(x,o1(x))) | true | 19991 | 19991 | 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_x11_u5_b80 | 17 | 11 | 5 | 80 | ![]() |
eql(D,div(P,sgn(R))) | 107499 | 138495713 | o2(x,o2(x,o1(x))) | true | 19999 | 19999 | 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 |



































































































