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_x15_u4_b14 | 17 | 15 | 4 | 14 | ![]() |
sub(D,div(R,cil(P))) | 110700 | 138657050 | o2(x,o2(x,o1(x))) | true | 45607 | 45607 | -0.1238 | 0.4461 | 0.2582 | 0.1454 | 0.3814 | -1 | 0.9996 | 2 | 1 | 3.776 | 0.01098 | 0.0004366 | 0.04515 | 0.9235 | 1 | 0.000009376 | 0.01911 | 0.02788 | 0.009378 | 0.09684 | 2.145 | 1.875 | 0.0785 | 0.1314 | 1 | 1 | 0.0162 | 0.08432 | 0.2319 | 0.1114 | 0.5798 | 1.594 | json |
| t17_x15_u4_b15 | 17 | 15 | 4 | 15 | ![]() |
sub(D,pow(R,cil(P))) | 110701 | 138657051 | o2(x,o2(x,o1(x))) | true | 45615 | 45615 | -0.9937 | 0.001511 | 0.9939 | 0.003652 | 0.06043 | -1 | 0.1371 | 1.137 | 1 | 0.1979 | 0.00043 | 0.0004128 | 0.001997 | 0.02039 | 1 | 0.000008205 | 0.001719 | 0.002788 | 0.0008387 | 0.02896 | 14.5 | 1.137 | 0.2308 | 0.4706 | 1 | 1 | 0.0002824 | 0.001063 | 0.00449 | 0.07732 | 0.2912 | 1.229 | json |
| t17_x15_u4_b16 | 17 | 15 | 4 | 16 | ![]() |
sub(D,mod(R,cil(P))) | 110702 | 138657052 | o2(x,o2(x,o1(x))) | true | 45623 | 45623 | -0.1301 | 0.4434 | 0.4721 | 0.3063 | 0.5535 | -1 | 1 | 2 | 1 | 4.766 | 0.01045 | 0.002786 | 0.07053 | 0.5791 | 1 | -0.00004949 | 0.01423 | 0.02884 | 0.008264 | 0.09091 | 1.289 | 1.916 | 0.04322 | 0.04644 | 1 | 1 | 0.0217 | 0.1791 | 0.4995 | 0.07084 | 0.5845 | 1.631 | json |
| t17_x15_u4_b17 | 17 | 15 | 4 | 17 | ![]() |
sub(D,lrg(R,cil(P))) | 110703 | 138657053 | o2(x,o2(x,o1(x))) | true | 45631 | 45631 | -0.4745 | 0.2335 | 0.5184 | 0.223 | 0.4723 | -1 | 0.1454 | 1.145 | 1 | 3.237 | 0.001313 | 0.000102 | 0.02979 | 0.8559 | 1 | 0.000005705 | 0.0002737 | 0.01341 | 0.0005275 | 0.02297 | 0.7709 | 0.1324 | 0.006343 | 0.001227 | 1 | 1 | 0.002902 | 0.02521 | 0.08169 | 0.01301 | 0.1131 | 0.3663 | json |
| t17_x15_u4_b18 | 17 | 15 | 4 | 18 | ![]() |
sub(D,eql(R,cil(P))) | 110704 | 138657054 | o2(x,o2(x,o1(x))) | true | 45639 | 45639 | 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_x15_u4_b19 | 17 | 15 | 4 | 19 | ![]() |
sub(D,min(R,cil(P))) | 110705 | 138657055 | o2(x,o2(x,o1(x))) | true | 45647 | 45647 | 0.4919 | 0.7695 | 0.6728 | 0.3389 | 0.5821 | -1 | 1 | 2 | 1 | 3.621 | 0.002804 | 0.001463 | 0.04216 | 0.3144 | 1 | 0.0001568 | 0.0004244 | 0.01197 | 0.002489 | 0.04989 | 1.183 | 0.2495 | 0.01259 | 0.001252 | 1 | 1 | 0.008495 | 0.09589 | 0.2651 | 0.02507 | 0.2829 | 0.7822 | json |
| t17_x15_u4_b20 | 17 | 15 | 4 | 20 | ![]() |
sub(D,dot(R,cil(P))) | 110706 | 138657056 | o2(x,o2(x,o1(x))) | true | 45655 | 45655 | 0.09461 | 0.5429 | 0.8432 | 0.7864 | 0.8868 | -1 | 1 | 2 | 1 | 2.902 | 0.02485 | 0.03306 | 0.1033 | -0.1418 | 1 | -0.00002132 | 0.0462 | 0.07483 | 0.04724 | 0.2173 | 2.103 | 1.88 | 0.07365 | 0.05874 | 1 | 1 | 0.07388 | 0.5695 | 1.363 | 0.09394 | 0.7242 | 1.733 | json |
| t17_x15_u4_b21 | 17 | 15 | 4 | 21 | ![]() |
sub(D,dst(R,cil(P))) | 110707 | 138657057 | o2(x,o2(x,o1(x))) | true | 45663 | 45663 | -0.9988 | 0 | 0.9988 | 0.0002833 | 0.01683 | -1 | -0.5213 | 0.4787 | 1 | 0.06421 | 0.00002301 | 0.00001746 | 0.0004979 | 0.1374 | 0 | 1.126e-11 | 0.00002528 | 0.0003727 | 0.00004022 | 0.006342 | 12.74 | 0.2123 | 0.1428 | 0.08924 | 1 | 1 | 0.0001247 | 0.0007492 | 0.001002 | 0.4403 | 2.644 | 3.538 | json |
| t17_x15_u4_b22 | 17 | 15 | 4 | 22 | ![]() |
mlt(D,add(R,cil(P))) | 110708 | 138657058 | o2(x,o2(x,o1(x))) | true | 45671 | 45671 | -0.1347 | 0.3916 | 0.4065 | 0.2328 | 0.4825 | -1 | 1 | 2 | 1 | 4.817 | 0.03261 | 0.0002056 | 0.1423 | 0.9875 | 1 | 0.002286 | 0.006237 | 0.05838 | 0.01256 | 0.1121 | 0.7876 | 0.494 | 0.141 | 0.02679 | 1 | 1 | 0.03958 | 0.2941 | 0.04957 | 0.17 | 1.263 | 0.213 | json |
| t17_x15_u4_b23 | 17 | 15 | 4 | 23 | ![]() |
mlt(D,sub(R,cil(P))) | 110709 | 138657059 | o2(x,o2(x,o1(x))) | true | 45679 | 45679 | 0.1367 | 0.6103 | 0.411 | 0.2393 | 0.4892 | -1 | 1 | 2 | 1 | 4.818 | 0.03362 | 0.0002072 | 0.1436 | 0.9878 | 1 | -0.002213 | 0.006445 | 0.05895 | 0.01322 | 0.115 | 0.8008 | 0.4938 | 0.1414 | 0.02693 | 1 | 1 | 0.04005 | 0.2982 | 0.04943 | 0.1674 | 1.246 | 0.2066 | json |
| t17_x15_u4_b24 | 17 | 15 | 4 | 24 | ![]() |
mlt(D,mlt(R,cil(P))) | 110710 | 138657060 | o2(x,o2(x,o1(x))) | true | 45687 | 45687 | -0.01717 | 0.4898 | 0.3208 | 0.2038 | 0.4514 | -1 | 1 | 2 | 1 | 4.48 | 0.01205 | 0.003549 | 0.09069 | 0.545 | 1 | 0.0004688 | 0.003459 | 0.03184 | 0.007374 | 0.08587 | 0.9469 | 0.5898 | 0.07655 | 0.01698 | 1 | 1 | 0.01974 | 0.2101 | 0.2879 | 0.09686 | 1.031 | 1.413 | json |
| t17_x15_u4_b25 | 17 | 15 | 4 | 25 | ![]() |
mlt(D,div(R,cil(P))) | 110711 | 138657061 | o2(x,o2(x,o1(x))) | true | 45695 | 45695 | -0.1218 | 0.4353 | 0.1498 | 0.1121 | 0.3348 | -1 | 0.2961 | 1.296 | 1 | 1.986 | 0.008142 | 0.00002951 | 0.01549 | 0.9928 | 1 | 0.000002565 | 0.01589 | 0.01807 | 0.007932 | 0.08906 | 5.748 | 1.029 | 0.07288 | 0.1417 | 1 | 1 | 0.01102 | 0.0479 | 0.1758 | 0.09825 | 0.4273 | 1.568 | json |
| t17_x15_u4_b26 | 17 | 15 | 4 | 26 | ![]() |
mlt(D,pow(R,cil(P))) | 110712 | 138657062 | o2(x,o2(x,o1(x))) | true | 45703 | 45703 | -0.9214 | 0.04062 | 0.9584 | 0.1044 | 0.3231 | -1 | 1 | 2 | 1 | 0.5554 | 0.009009 | 0.009757 | 0.01644 | -0.03988 | 1 | 0.0002403 | 0.03914 | 0.02805 | 0.01848 | 0.136 | 8.269 | 2.828 | 0.1797 | 0.3748 | 1 | 1 | 0.02168 | 0.09763 | 0.2699 | 0.2077 | 0.935 | 2.585 | json |
| t17_x15_u4_b27 | 17 | 15 | 4 | 27 | ![]() |
mlt(D,mod(R,cil(P))) | 110713 | 138657063 | o2(x,o2(x,o1(x))) | true | 45711 | 45711 | -0.1226 | 0.4471 | 0.2025 | 0.1226 | 0.3501 | -1 | 0.4889 | 1.489 | 1 | 3.143 | 0.008624 | 0.0001887 | 0.03158 | 0.9572 | 1 | -0.00003732 | 0.01597 | 0.0228 | 0.007815 | 0.0884 | 2.799 | 1.029 | 0.0719 | 0.1303 | 1 | 1 | 0.01216 | 0.06014 | 0.1943 | 0.09925 | 0.4907 | 1.586 | json |
| t17_x15_u4_b28 | 17 | 15 | 4 | 28 | ![]() |
mlt(D,lrg(R,cil(P))) | 110714 | 138657064 | o2(x,o2(x,o1(x))) | true | 45719 | 45719 | 0.008939 | 0.3034 | 0.05255 | 0.006658 | 0.0816 | -0.1454 | 0.2729 | 0.4183 | 1 | 2.138 | 0.0008429 | 0.000007984 | 0.01898 | 0.9812 | 1 | -0.0001582 | 0.0001278 | 0.007452 | 0.0004906 | 0.02215 | 1.167 | 0.0622 | 0.1278 | 0.01919 | 1 | 1 | 0.00165 | 0.01215 | 0.004067 | 0.2478 | 1.825 | 0.6109 | json |
| t17_x15_u4_b29 | 17 | 15 | 4 | 29 | ![]() |
mlt(D,eql(R,cil(P))) | 110715 | 138657065 | o2(x,o2(x,o1(x))) | true | 45727 | 45727 | 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_x15_u4_b30 | 17 | 15 | 4 | 30 | ![]() |
mlt(D,min(R,cil(P))) | 110716 | 138657066 | o2(x,o2(x,o1(x))) | true | 45735 | 45735 | -0.06915 | 0.4327 | 0.2448 | 0.1245 | 0.3529 | -1 | 0.9606 | 1.961 | 1 | 4.242 | 0.01652 | 0.0001187 | 0.08381 | 0.9857 | 1 | 0.001205 | 0.003088 | 0.03308 | 0.009611 | 0.09804 | 1.17 | 0.4334 | 0.1336 | 0.0248 | 1 | 1 | 0.01891 | 0.1325 | 0.02518 | 0.1518 | 1.064 | 0.2022 | json |
| t17_x15_u4_b31 | 17 | 15 | 4 | 31 | ![]() |
mlt(D,dot(R,cil(P))) | 110717 | 138657067 | o2(x,o2(x,o1(x))) | true | 45743 | 45743 | 0.0001717 | 0.5027 | 0.45 | 0.3284 | 0.5731 | -1 | 1 | 2 | 1 | 4.659 | 0.02162 | 0.006963 | 0.1261 | 0.5128 | 1 | 0.0001695 | 0.007796 | 0.04936 | 0.01268 | 0.1126 | 0.8927 | 0.7987 | 0.08703 | 0.02374 | 1 | 1 | 0.03853 | 0.3788 | 0.5449 | 0.1173 | 1.153 | 1.659 | json |
| t17_x15_u4_b32 | 17 | 15 | 4 | 32 | ![]() |
mlt(D,dst(R,cil(P))) | 110718 | 138657068 | o2(x,o2(x,o1(x))) | true | 45751 | 45751 | 0.0009239 | 0.5014 | 0.5648 | 0.422 | 0.6496 | -1 | 1 | 2 | 1 | 4.801 | 0.06261 | 0.0002263 | 0.1984 | 0.9928 | 1 | 0.000009728 | 0.01469 | 0.08872 | 0.02347 | 0.1532 | 0.7723 | 0.7024 | 0.1489 | 0.03481 | 1 | 1 | 0.07763 | 0.5498 | 0.04886 | 0.184 | 1.303 | 0.1158 | json |
| t17_x15_u4_b33 | 17 | 15 | 4 | 33 | ![]() |
div(D,add(R,cil(P))) | 110719 | 138657069 | o2(x,o2(x,o1(x))) | true | 45759 | 45759 | -0.00002474 | 0.543 | 0.09007 | 0.04442 | 0.2108 | -1 | 1 | 2 | 1 | 2.45 | 0.002698 | 0.0004315 | 0.02637 | 0.7242 | 1 | 0.00004334 | 0.0007413 | 0.009542 | 0.002434 | 0.04934 | 1.871 | 0.6127 | 0.07044 | 0.01669 | 1 | 1 | 0.006219 | 0.05949 | 0.09023 | 0.14 | 1.339 | 2.031 | json |
| t17_x15_u4_b34 | 17 | 15 | 4 | 34 | ![]() |
div(D,sub(R,cil(P))) | 110720 | 138657070 | o2(x,o2(x,o1(x))) | true | 45767 | 45767 | 0.0002947 | 0.4552 | 0.09802 | 0.05195 | 0.2279 | -1 | 1 | 2 | 1 | 2.492 | 0.004089 | 0.0008497 | 0.02807 | 0.6559 | 1 | -0.00004242 | 0.003636 | 0.01231 | 0.004151 | 0.06443 | 2.296 | 2 | 0.09507 | 0.06999 | 1 | 1 | 0.007798 | 0.06771 | 0.1006 | 0.1501 | 1.303 | 1.936 | json |
| t17_x15_u4_b35 | 17 | 15 | 4 | 35 | ![]() |
div(D,mlt(R,cil(P))) | 110721 | 138657071 | o2(x,o2(x,o1(x))) | true | 45775 | 45775 | -0.1198 | 0.4344 | 0.3167 | 0.2208 | 0.4699 | -1 | 1 | 2 | 1 | 3.877 | 0.0181 | 0.002568 | 0.05976 | 0.7514 | 1 | -0.00001581 | 0.02915 | 0.04063 | 0.0171 | 0.1308 | 2.188 | 2.033 | 0.09359 | 0.132 | 1 | 1 | 0.03109 | 0.1979 | 0.4038 | 0.1408 | 0.8963 | 1.829 | json |
| t17_x15_u4_b36 | 17 | 15 | 4 | 36 | ![]() |
div(D,div(R,cil(P))) | 110722 | 138657072 | o2(x,o2(x,o1(x))) | true | 45783 | 45783 | 0.002374 | 0.4928 | 0.7198 | 0.6486 | 0.8054 | -1 | 1 | 2 | 1 | 3.651 | 0.09286 | 0.02917 | 0.1704 | 0.522 | 1 | 0.00007239 | 0.1622 | 0.1574 | 0.09298 | 0.3049 | 1.79 | 2.828 | 0.1881 | 0.25 | 1 | 1 | 0.1355 | 0.8533 | 1.217 | 0.2089 | 1.316 | 1.876 | json |
| t17_x15_u4_b37 | 17 | 15 | 4 | 37 | ![]() |
div(D,pow(R,cil(P))) | 110723 | 138657073 | o2(x,o2(x,o1(x))) | true | 45791 | 45791 | -0.9252 | 0.03259 | 0.9355 | 0.07449 | 0.2729 | -1 | 1 | 2 | 1 | 0.5983 | 0.006998 | 0.007176 | 0.01471 | -0.01255 | 1 | -0.000006855 | 0.02961 | 0.02645 | 0.01397 | 0.1182 | 8.037 | 2 | 0.1903 | 0.3976 | 1 | 1 | 0.01123 | 0.04488 | 0.1545 | 0.1507 | 0.6025 | 2.074 | json |
| t17_x15_u4_b38 | 17 | 15 | 4 | 38 | ![]() |
div(D,mod(R,cil(P))) | 110724 | 138657074 | o2(x,o2(x,o1(x))) | true | 45799 | 45799 | -0.1211 | 0.4395 | 0.5533 | 0.4406 | 0.6638 | -1 | 1 | 2 | 1 | 4.27 | 0.03575 | 0.008522 | 0.1172 | 0.615 | 1 | -0.0001221 | 0.04643 | 0.07422 | 0.03054 | 0.1747 | 1.491 | 2.028 | 0.1005 | 0.1054 | 1 | 1 | 0.0583 | 0.4202 | 0.7777 | 0.1323 | 0.9537 | 1.765 | json |
| t17_x15_u4_b39 | 17 | 15 | 4 | 39 | ![]() |
div(D,lrg(R,cil(P))) | 110725 | 138657075 | o2(x,o2(x,o1(x))) | true | 45807 | 45807 | -0.5469 | 0.2266 | 0.5896 | 0.2526 | 0.5026 | -1 | 0.1454 | 1.145 | 1 | 2.154 | 0.004453 | 0.001528 | 0.02143 | 0.4891 | 1 | -0.0001582 | 0.01145 | 0.0175 | 0.005521 | 0.07431 | 3.468 | 1.37 | 0.02368 | 0.04531 | 1 | 1 | 0.008214 | 0.0349 | 0.1098 | 0.03251 | 0.1382 | 0.4345 | json |
| t17_x15_u4_b40 | 17 | 15 | 4 | 40 | ![]() |
div(D,eql(R,cil(P))) | 110726 | 138657076 | o2(x,o2(x,o1(x))) | true | 45815 | 45815 | -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_x15_u4_b41 | 17 | 15 | 4 | 41 | ![]() |
div(D,min(R,cil(P))) | 110727 | 138657077 | o2(x,o2(x,o1(x))) | true | 45823 | 45823 | -0.07186 | 0.4936 | 0.323 | 0.2482 | 0.4981 | -1 | 1 | 2 | 1 | 3.72 | 0.02133 | 0.006231 | 0.07179 | 0.5479 | 1 | -0.00008914 | 0.03314 | 0.04772 | 0.02241 | 0.1497 | 2.085 | 2.028 | 0.1111 | 0.1336 | 1 | 1 | 0.03559 | 0.2616 | 0.4765 | 0.1434 | 1.054 | 1.92 | json |
| t17_x15_u4_b42 | 17 | 15 | 4 | 42 | ![]() |
div(D,dot(R,cil(P))) | 110728 | 138657078 | o2(x,o2(x,o1(x))) | true | 45831 | 45831 | -0.01663 | 0.4877 | 0.2179 | 0.1372 | 0.3705 | -1 | 1 | 2 | 1 | 3.755 | 0.0103 | 0.003272 | 0.05738 | 0.5179 | 1 | -0.0002048 | 0.01175 | 0.02795 | 0.01028 | 0.1014 | 1.767 | 2.01 | 0.09889 | 0.08561 | 1 | 1 | 0.02845 | 0.2225 | 0.3507 | 0.2073 | 1.622 | 2.556 | json |
| t17_x15_u4_b43 | 17 | 15 | 4 | 43 | ![]() |
div(D,dst(R,cil(P))) | 110729 | 138657079 | o2(x,o2(x,o1(x))) | true | 45839 | 45839 | -0.00002013 | 0.4978 | 0.02124 | 0.001156 | 0.03399 | -0.3054 | 0.3951 | 0.7004 | 1 | 1.325 | 0.0001349 | 0.000006389 | 0.008116 | 0.9096 | 1 | 4.029e-7 | 0.00002023 | 0.003152 | 0.00007547 | 0.008687 | 1.07 | 0.1051 | 0.1223 | 0.0175 | 1 | 1 | 0.0004398 | 0.003435 | 0.001678 | 0.3806 | 2.973 | 1.453 | json |
| t17_x15_u4_b44 | 17 | 15 | 4 | 44 | ![]() |
pow(D,add(R,cil(P))) | 110730 | 138657080 | o2(x,o2(x,o1(x))) | true | 45847 | 45847 | -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_x15_u4_b45 | 17 | 15 | 4 | 45 | ![]() |
pow(D,sub(R,cil(P))) | 110731 | 138657081 | o2(x,o2(x,o1(x))) | true | 45855 | 45855 | -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_x15_u4_b46 | 17 | 15 | 4 | 46 | ![]() |
pow(D,mlt(R,cil(P))) | 110732 | 138657082 | o2(x,o2(x,o1(x))) | true | 45863 | 45863 | -0.8788 | 0.0625 | 0.9962 | 0.2218 | 0.4709 | -1 | 1 | 2 | 1 | 0.4211 | 0.02957 | 0.00006939 | 0.01632 | 0.9953 | 1 | -0.00002483 | 0.05903 | 0.03073 | 0.02936 | 0.1713 | 10.5 | 2 | 0.1336 | 0.2662 | 1 | 1 | 0.03899 | 0.1605 | 0.3199 | 0.1758 | 0.7239 | 1.443 | json |
| t17_x15_u4_b47 | 17 | 15 | 4 | 47 | ![]() |
pow(D,div(R,cil(P))) | 110733 | 138657083 | o2(x,o2(x,o1(x))) | true | 45871 | 45871 | -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_x15_u4_b48 | 17 | 15 | 4 | 48 | ![]() |
pow(D,pow(R,cil(P))) | 110734 | 138657084 | o2(x,o2(x,o1(x))) | true | 45879 | 45879 | -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_x15_u4_b49 | 17 | 15 | 4 | 49 | ![]() |
pow(D,mod(R,cil(P))) | 110735 | 138657085 | o2(x,o2(x,o1(x))) | true | 45887 | 45887 | -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_x15_u4_b50 | 17 | 15 | 4 | 50 | ![]() |
pow(D,lrg(R,cil(P))) | 110736 | 138657086 | o2(x,o2(x,o1(x))) | true | 45895 | 45895 | 0.02875 | 0.5234 | 0.9819 | 0.9743 | 0.9871 | -1 | 1 | 2 | 1 | 1.332 | 0.006457 | 0.002161 | 0.009419 | 0.4985 | 1 | 0.000002037 | 0.01669 | 0.01241 | 0.00853 | 0.09236 | 9.806 | 2.828 | 0.008845 | 0.01713 | 1 | 1 | 0.01343 | 0.07054 | 0.3594 | 0.01378 | 0.07239 | 0.3689 | json |
| t17_x15_u4_b51 | 17 | 15 | 4 | 51 | ![]() |
pow(D,eql(R,cil(P))) | 110737 | 138657087 | o2(x,o2(x,o1(x))) | true | 45903 | 45903 | 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_x15_u4_b52 | 17 | 15 | 4 | 52 | ![]() |
pow(D,min(R,cil(P))) | 110738 | 138657088 | o2(x,o2(x,o1(x))) | true | 45911 | 45911 | -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_x15_u4_b53 | 17 | 15 | 4 | 53 | ![]() |
pow(D,dot(R,cil(P))) | 110739 | 138657089 | o2(x,o2(x,o1(x))) | true | 45919 | 45919 | -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_x15_u4_b54 | 17 | 15 | 4 | 54 | ![]() |
pow(D,dst(R,cil(P))) | 110740 | 138657090 | o2(x,o2(x,o1(x))) | true | 45927 | 45927 | -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_x15_u4_b55 | 17 | 15 | 4 | 55 | ![]() |
mod(D,add(R,cil(P))) | 110741 | 138657091 | o2(x,o2(x,o1(x))) | true | 45935 | 45935 | 8.095e-11 | 0.5003 | 0.0988 | 0.01222 | 0.1105 | -0.2677 | 0.2677 | 0.5353 | 1 | 2.742 | 0.002093 | 0.00001403 | 0.03833 | 0.9867 | 1 | 2.839e-11 | 0.001193 | 0.01914 | 0.0006396 | 0.02529 | 0.6599 | 0.3074 | 0.1725 | 0.09768 | 1 | 1 | 0.003883 | 0.02507 | 0.002404 | 0.3178 | 2.052 | 0.1968 | json |
| t17_x15_u4_b56 | 17 | 15 | 4 | 56 | ![]() |
mod(D,sub(R,cil(P))) | 110742 | 138657092 | o2(x,o2(x,o1(x))) | true | 45943 | 45943 | -1.091e-11 | 0.4992 | 0.09904 | 0.01229 | 0.1109 | -0.2677 | 0.2723 | 0.5399 | 1 | 2.746 | 0.00214 | 0.00001608 | 0.0384 | 0.9851 | 1 | -4.036e-11 | 0.001273 | 0.0193 | 0.0006825 | 0.02612 | 0.6804 | 0.362 | 0.1754 | 0.1036 | 1 | 1 | 0.003909 | 0.02496 | 0.002451 | 0.3181 | 2.031 | 0.1995 | json |
| t17_x15_u4_b57 | 17 | 15 | 4 | 57 | ![]() |
mod(D,mlt(R,cil(P))) | 110743 | 138657093 | o2(x,o2(x,o1(x))) | true | 45951 | 45951 | -0.1245 | 0.4395 | 0.2175 | 0.1221 | 0.3495 | -1 | 0.2728 | 1.273 | 1 | 3.078 | 0.0102 | 0.00003507 | 0.04334 | 0.9931 | 1 | 0.00000269 | 0.0177 | 0.03653 | 0.008362 | 0.09144 | 2.11 | 1.031 | 0.08384 | 0.1449 | 1 | 1 | 0.01412 | 0.06526 | 0.1765 | 0.1157 | 0.5344 | 1.445 | json |
| t17_x15_u4_b58 | 17 | 15 | 4 | 58 | ![]() |
mod(D,div(R,cil(P))) | 110744 | 138657094 | o2(x,o2(x,o1(x))) | true | 45959 | 45959 | -0.1245 | 0.4399 | 0.1707 | 0.1146 | 0.3385 | -1 | 0.2728 | 1.273 | 1 | 2.531 | 0.01036 | 0.00002847 | 0.04265 | 0.9945 | 1 | -0.00002808 | 0.02136 | 0.06355 | 0.008565 | 0.09255 | 2.17 | 1.031 | 0.09064 | 0.1864 | 1 | 1 | 0.01322 | 0.05248 | 0.1757 | 0.1154 | 0.4581 | 1.533 | json |
| t17_x15_u4_b59 | 17 | 15 | 4 | 59 | ![]() |
mod(D,pow(R,cil(P))) | 110745 | 138657095 | o2(x,o2(x,o1(x))) | true | 45967 | 45967 | -0.9257 | 0.03601 | 0.933 | 0.0698 | 0.2642 | -1 | 0.2406 | 1.241 | 1 | 0.583 | 0.006352 | 0.006142 | 0.01473 | 0.01677 | 1 | -0.00001723 | 0.02593 | 0.02588 | 0.01228 | 0.1108 | 7.525 | 1.37 | 0.179 | 0.3715 | 1 | 1 | 0.01202 | 0.05077 | 0.1646 | 0.1722 | 0.7273 | 2.358 | json |
| t17_x15_u4_b60 | 17 | 15 | 4 | 60 | ![]() |
mod(D,mod(R,cil(P))) | 110746 | 138657096 | o2(x,o2(x,o1(x))) | true | 45975 | 45975 | -0.1248 | 0.4368 | 0.2234 | 0.1249 | 0.3534 | -1 | 0.2728 | 1.273 | 1 | 3.237 | 0.01193 | 0.00009783 | 0.05194 | 0.9837 | 1 | 0.000004157 | 0.02187 | 0.05711 | 0.009329 | 0.09659 | 1.86 | 1.031 | 0.09631 | 0.1751 | 1 | 1 | 0.0157 | 0.07039 | 0.1824 | 0.1257 | 0.5636 | 1.461 | json |
| t17_x15_u4_b61 | 17 | 15 | 4 | 61 | ![]() |
mod(D,lrg(R,cil(P))) | 110747 | 138657097 | o2(x,o2(x,o1(x))) | true | 45983 | 45983 | -0.5469 | 0.2266 | 0.5896 | 0.2526 | 0.5026 | -1 | 0.1454 | 1.145 | 1 | 2.154 | 0.004453 | 0.001528 | 0.02143 | 0.4891 | 1 | -0.0001582 | 0.01145 | 0.0175 | 0.005521 | 0.07431 | 3.468 | 1.37 | 0.02368 | 0.04531 | 1 | 1 | 0.008214 | 0.0349 | 0.1098 | 0.03251 | 0.1382 | 0.4345 | json |
| t17_x15_u4_b62 | 17 | 15 | 4 | 62 | ![]() |
mod(D,eql(R,cil(P))) | 110748 | 138657098 | o2(x,o2(x,o1(x))) | true | 45991 | 45991 | -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_x15_u4_b63 | 17 | 15 | 4 | 63 | ![]() |
mod(D,min(R,cil(P))) | 110749 | 138657099 | o2(x,o2(x,o1(x))) | true | 45999 | 45999 | -0.07746 | 0.464 | 0.175 | 0.08563 | 0.2926 | -1 | 0.2722 | 1.272 | 1 | 3.116 | 0.007902 | 0.001632 | 0.04661 | 0.6576 | 1 | 0.00001765 | 0.01661 | 0.04104 | 0.007361 | 0.0858 | 1.841 | 1.415 | 0.1113 | 0.1939 | 1 | 1 | 0.01417 | 0.06394 | 0.1565 | 0.1655 | 0.7467 | 1.828 | json |
| t17_x15_u4_b64 | 17 | 15 | 4 | 64 | ![]() |
mod(D,dot(R,cil(P))) | 110750 | 138657100 | o2(x,o2(x,o1(x))) | true | 46007 | 46007 | -0.0157 | 0.4915 | 0.1151 | 0.02839 | 0.1685 | -1 | 0.2719 | 1.272 | 1 | 2.915 | 0.003352 | 0.001068 | 0.04105 | 0.5166 | 1 | -0.000006181 | 0.006116 | 0.02683 | 0.002736 | 0.05231 | 1.274 | 1.415 | 0.1557 | 0.2155 | 1 | 1 | 0.007572 | 0.03833 | 0.06296 | 0.2667 | 1.35 | 2.218 | json |
| t17_x15_u4_b65 | 17 | 15 | 4 | 65 | ![]() |
mod(D,dst(R,cil(P))) | 110751 | 138657101 | o2(x,o2(x,o1(x))) | true | 46015 | 46015 | -2.092e-11 | 0.5 | 0.09461 | 0.0109 | 0.1044 | -0.2724 | 0.2724 | 0.5448 | 1 | 2.577 | 0.001659 | 3.657e-7 | 0.03622 | 0.9996 | 1 | 2.346e-13 | 0.0002997 | 0.01478 | 0.0003488 | 0.01868 | 0.5157 | 0.2452 | 0.1522 | 0.0275 | 1 | 1 | 0.003209 | 0.02209 | 0.00009063 | 0.2943 | 2.027 | 0.008314 | json |
| t17_x15_u4_b66 | 17 | 15 | 4 | 66 | ![]() |
lrg(D,add(R,cil(P))) | 110752 | 138657102 | o2(x,o2(x,o1(x))) | true | 46023 | 46023 | 0.4996 | 0.572 | 0.4996 | 0.2344 | 0.4841 | 0 | 1 | 1 | 1 | 1.67 | 0.002223 | 0.0001586 | 0.01146 | 0.8668 | 1 | 0.000008897 | 0.003908 | 0.0088 | 0.00225 | 0.04743 | 4.138 | 0.97 | 0.01016 | 0.01668 | 1 | 1 | 0.003183 | 0.02133 | 0.08782 | 0.01358 | 0.09101 | 0.3747 | json |
| t17_x15_u4_b67 | 17 | 15 | 4 | 67 | ![]() |
lrg(D,sub(R,cil(P))) | 110753 | 138657103 | o2(x,o2(x,o1(x))) | true | 46031 | 46031 | 0.4983 | 0.5367 | 0.4983 | 0.2404 | 0.4904 | 0 | 1 | 1 | 1 | 1.441 | 0.002564 | 0.000168 | 0.008601 | 0.877 | 1 | 0.000009608 | 0.004735 | 0.008797 | 0.002659 | 0.05157 | 5.995 | 0.9997 | 0.01136 | 0.01969 | 1 | 1 | 0.003586 | 0.02271 | 0.09229 | 0.01492 | 0.09446 | 0.3838 | json |
| t17_x15_u4_b68 | 17 | 15 | 4 | 68 | ![]() |
lrg(D,mlt(R,cil(P))) | 110754 | 138657104 | o2(x,o2(x,o1(x))) | true | 46039 | 46039 | 0.5246 | 0.9434 | 0.5246 | 0.1527 | 0.3908 | 0 | 1 | 1 | 1 | 3.442 | 0.011 | 0.00223 | 0.0634 | 0.6628 | 1 | 0.00002565 | 0.01832 | 0.03711 | 0.00921 | 0.09597 | 1.514 | 0.9997 | 0.08661 | 0.1199 | 1 | 1 | 0.01993 | 0.134 | 0.2798 | 0.1305 | 0.8773 | 1.832 | json |
| t17_x15_u4_b69 | 17 | 15 | 4 | 69 | ![]() |
lrg(D,div(R,cil(P))) | 110755 | 138657105 | o2(x,o2(x,o1(x))) | true | 46047 | 46047 | 0.5061 | 0.9597 | 0.5061 | 0.1349 | 0.3672 | 0 | 1 | 1 | 1 | 3.562 | 0.04112 | 0.001117 | 0.1094 | 0.9471 | 1 | 0.0005126 | 0.07538 | 0.1077 | 0.03027 | 0.174 | 1.591 | 0.9997 | 0.3132 | 0.559 | 1 | 1 | 0.0447 | 0.1865 | 0.1946 | 0.3315 | 1.383 | 1.443 | json |
| t17_x15_u4_b70 | 17 | 15 | 4 | 70 | ![]() |
lrg(D,pow(R,cil(P))) | 110756 | 138657106 | o2(x,o2(x,o1(x))) | true | 46055 | 46055 | 0.539 | 0.9171 | 0.539 | 0.164 | 0.4049 | 0 | 1 | 1 | 1 | 3.262 | 0.008616 | 0.002034 | 0.05434 | 0.618 | 1 | -0.00004561 | 0.01393 | 0.02921 | 0.007699 | 0.08774 | 1.615 | 0.9994 | 0.06495 | 0.08497 | 1 | 1 | 0.01367 | 0.1153 | 0.2848 | 0.08334 | 0.7029 | 1.737 | json |
| t17_x15_u4_b71 | 17 | 15 | 4 | 71 | ![]() |
lrg(D,mod(R,cil(P))) | 110757 | 138657107 | o2(x,o2(x,o1(x))) | true | 46063 | 46063 | 0.5274 | 0.9384 | 0.5274 | 0.1476 | 0.3842 | 0 | 1 | 1 | 1 | 3.503 | 0.01964 | 0.002026 | 0.07918 | 0.813 | 1 | -0.00001696 | 0.03655 | 0.06755 | 0.0154 | 0.1241 | 1.567 | 0.9997 | 0.1468 | 0.2476 | 1 | 1 | 0.02383 | 0.1383 | 0.2547 | 0.1615 | 0.9372 | 1.725 | json |
| t17_x15_u4_b72 | 17 | 15 | 4 | 72 | ![]() |
lrg(D,lrg(R,cil(P))) | 110758 | 138657108 | o2(x,o2(x,o1(x))) | true | 46071 | 46071 | 0.2363 | 0.4831 | 0.2363 | 0.1283 | 0.3582 | 0 | 0.9997 | 0.9997 | 1 | 2.277 | 0.03244 | 0.00005267 | 0.0604 | 0.9968 | 1 | -0.00008699 | 0.06047 | 0.06697 | 0.02885 | 0.1699 | 2.812 | 0.9997 | 0.2533 | 0.4714 | 1 | 1 | 0.03637 | 0.1279 | 0.04032 | 0.2835 | 0.9974 | 0.3144 | json |
| t17_x15_u4_b73 | 17 | 15 | 4 | 73 | ![]() |
lrg(D,eql(R,cil(P))) | 110759 | 138657109 | o2(x,o2(x,o1(x))) | true | 46079 | 46079 | 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_x15_u4_b74 | 17 | 15 | 4 | 74 | ![]() |
lrg(D,min(R,cil(P))) | 110760 | 138657110 | o2(x,o2(x,o1(x))) | true | 46087 | 46087 | 0.753 | 0.9716 | 0.753 | 0.1272 | 0.3567 | 0 | 1 | 1 | 1 | 2.494 | 0.01189 | 0.001085 | 0.0461 | 0.8327 | 1 | -0.00003284 | 0.02211 | 0.04 | 0.01085 | 0.1042 | 2.259 | 0.9997 | 0.102 | 0.1738 | 1 | 1 | 0.01476 | 0.08296 | 0.1609 | 0.116 | 0.6521 | 1.265 | json |
| t17_x15_u4_b75 | 17 | 15 | 4 | 75 | ![]() |
lrg(D,dot(R,cil(P))) | 110761 | 138657111 | o2(x,o2(x,o1(x))) | true | 46095 | 46095 | 0.5427 | 0.9576 | 0.5427 | 0.1534 | 0.3916 | 0 | 1 | 1 | 1 | 3.402 | 0.007365 | 0.002418 | 0.05891 | 0.5056 | 1 | 0.00004817 | 0.01158 | 0.02889 | 0.006315 | 0.07947 | 1.349 | 0.9997 | 0.06378 | 0.07552 | 1 | 1 | 0.01626 | 0.1298 | 0.2998 | 0.106 | 0.8464 | 1.955 | json |
| t17_x15_u4_b76 | 17 | 15 | 4 | 76 | ![]() |
lrg(D,dst(R,cil(P))) | 110762 | 138657112 | o2(x,o2(x,o1(x))) | true | 46103 | 46103 | 0.0002053 | 0.004425 | 0.0002053 | 0.00003538 | 0.005948 | 0 | 0.3282 | 0.3282 | 1 | 0.01396 | 0.00002646 | 5.189e-7 | 0.0001886 | 0.9615 | 0 | -4.94e-12 | 0.00005989 | 0.0002442 | 0.00002693 | 0.005189 | 27.52 | 0.3282 | 0.7625 | 1.693 | 1 | 1 | 0.00004291 | 0.00008782 | 0.0001286 | 1.213 | 2.482 | 3.636 | json |
| t17_x15_u4_b77 | 17 | 15 | 4 | 77 | ![]() |
eql(D,add(R,cil(P))) | 110763 | 138657113 | o2(x,o2(x,o1(x))) | true | 46111 | 46111 | 0.000082 | 0.0002441 | 0.000082 | 0.00004315 | 0.006569 | 0 | 0.6715 | 0.6715 | 1 | 0.003091 | 0.00006086 | 6.316e-7 | 0.000129 | 0.9795 | 0 | 2.395e-7 | 0.0001845 | 0.0002541 | 0.00006148 | 0.007841 | 60.78 | 0.6519 | 1.425 | 4.276 | 1 | 1 | 0 | 0 | 0.00003293 | 0 | 0 | 0.7631 | json |
| t17_x15_u4_b78 | 17 | 15 | 4 | 78 | ![]() |
eql(D,sub(R,cil(P))) | 110764 | 138657114 | o2(x,o2(x,o1(x))) | true | 46119 | 46119 | 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_x15_u4_b79 | 17 | 15 | 4 | 79 | ![]() |
eql(D,mlt(R,cil(P))) | 110765 | 138657115 | o2(x,o2(x,o1(x))) | true | 46127 | 46127 | 0.00004008 | 0.0002289 | 0.00004008 | 0.00001031 | 0.00321 | 0 | 0.3282 | 0.3282 | 1 | 0.002722 | 0.00001454 | 1.509e-7 | 0.00006305 | 0.9795 | 0 | 1.17e-7 | 0.00004407 | 0.0001242 | 0.00001469 | 0.003832 | 60.78 | 0.3186 | 1.425 | 4.276 | 1 | 1 | 0 | 0 | 0.000007865 | 0 | 0 | 0.7631 | json |
| t17_x15_u4_b80 | 17 | 15 | 4 | 80 | ![]() |
eql(D,div(R,cil(P))) | 110766 | 138657116 | o2(x,o2(x,o1(x))) | true | 46135 | 46135 | 0.0002825 | 0.0007172 | 0.0002825 | 0.0001987 | 0.0141 | 0 | 0.9926 | 0.9926 | 1 | 0.008861 | 0.0004038 | 0.000002912 | 0.0005681 | 0.9857 | 1 | 1.17e-7 | 0.001223 | 0.001125 | 0.0004061 | 0.02015 | 35.48 | 0.9926 | 2.046 | 6.153 | 1 | 1 | 0 | 0 | 0.000007865 | 0 | 0 | 0.03957 | json |
| t17_x15_u4_b81 | 17 | 15 | 4 | 81 | ![]() |
eql(D,pow(R,cil(P))) | 110767 | 138657117 | o2(x,o2(x,o1(x))) | true | 46143 | 46143 | 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_x15_u4_b82 | 17 | 15 | 4 | 82 | ![]() |
eql(D,mod(R,cil(P))) | 110768 | 138657118 | o2(x,o2(x,o1(x))) | true | 46151 | 46151 | 0.00004008 | 0.0002289 | 0.00004008 | 0.00001031 | 0.00321 | 0 | 0.3282 | 0.3282 | 1 | 0.002722 | 0.00001454 | 1.509e-7 | 0.00006305 | 0.9795 | 0 | 1.17e-7 | 0.00004407 | 0.0001242 | 0.00001469 | 0.003832 | 60.78 | 0.3186 | 1.425 | 4.276 | 1 | 1 | 0 | 0 | 0.000007865 | 0 | 0 | 0.7631 | json |
| t17_x15_u4_b83 | 17 | 15 | 4 | 83 | ![]() |
eql(D,lrg(R,cil(P))) | 110769 | 138657119 | o2(x,o2(x,o1(x))) | true | 46159 | 46159 | 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_x15_u4_b84 | 17 | 15 | 4 | 84 | ![]() |
eql(D,eql(R,cil(P))) | 110770 | 138657120 | o2(x,o2(x,o1(x))) | true | 46167 | 46167 | 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_x15_u4_b85 | 17 | 15 | 4 | 85 | ![]() |
eql(D,min(R,cil(P))) | 110771 | 138657121 | o2(x,o2(x,o1(x))) | true | 46175 | 46175 | 0.00004008 | 0.0002289 | 0.00004008 | 0.00001031 | 0.00321 | 0 | 0.3282 | 0.3282 | 1 | 0.002722 | 0.00001454 | 1.509e-7 | 0.00006305 | 0.9795 | 0 | 1.17e-7 | 0.00004407 | 0.0001242 | 0.00001469 | 0.003832 | 60.78 | 0.3186 | 1.425 | 4.276 | 1 | 1 | 0 | 0 | 0.000007865 | 0 | 0 | 0.7631 | json |
| t17_x15_u4_b86 | 17 | 15 | 4 | 86 | ![]() |
eql(D,dot(R,cil(P))) | 110772 | 138657122 | o2(x,o2(x,o1(x))) | true | 46183 | 46183 | 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_x15_u4_b87 | 17 | 15 | 4 | 87 | ![]() |
eql(D,dst(R,cil(P))) | 110773 | 138657123 | o2(x,o2(x,o1(x))) | true | 46191 | 46191 | 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_x15_u4_b88 | 17 | 15 | 4 | 88 | ![]() |
min(D,add(R,cil(P))) | 110774 | 138657124 | o2(x,o2(x,o1(x))) | true | 46199 | 46199 | -0.4879 | 0.2284 | 0.5309 | 0.2351 | 0.4848 | -1 | 0.1454 | 1.145 | 1 | 2.851 | 0.001184 | 0.0001771 | 0.02344 | 0.7399 | 1 | 0.0001547 | 0.0002345 | 0.008825 | 0.000812 | 0.02849 | 1.216 | 0.2512 | 0.005792 | 0.0009976 | 1 | 1 | 0.002867 | 0.02701 | 0.07876 | 0.0122 | 0.1149 | 0.335 | json |
| t17_x15_u4_b89 | 17 | 15 | 4 | 89 | ![]() |
min(D,sub(R,cil(P))) | 110775 | 138657125 | o2(x,o2(x,o1(x))) | true | 46207 | 46207 | -0.4683 | 0.2554 | 0.5163 | 0.2408 | 0.4907 | -1 | 0.1454 | 1.145 | 1 | 2.802 | 0.001334 | 0.0001824 | 0.02411 | 0.7595 | 1 | -0.0001619 | 0.000277 | 0.009555 | 0.000935 | 0.03058 | 1.268 | 0.2317 | 0.006297 | 0.00115 | 1 | 1 | 0.003283 | 0.02904 | 0.07856 | 0.01363 | 0.1206 | 0.3262 | json |
| t17_x15_u4_b90 | 17 | 15 | 4 | 90 | ![]() |
min(D,mlt(R,cil(P))) | 110776 | 138657126 | o2(x,o2(x,o1(x))) | true | 46215 | 46215 | -0.5494 | 0.1134 | 0.5673 | 0.1773 | 0.4211 | -1 | 0.1454 | 1.145 | 1 | 3.452 | 0.003926 | 0.00423 | 0.05587 | -0.03724 | 1 | 0.0001889 | 0.002852 | 0.02466 | 0.005035 | 0.07096 | 1.27 | 0.4653 | 0.04599 | 0.01608 | 1 | 1 | 0.0134 | 0.1289 | 0.2731 | 0.07557 | 0.7271 | 1.54 | json |
| t17_x15_u4_b91 | 17 | 15 | 4 | 91 | ![]() |
min(D,div(R,cil(P))) | 110777 | 138657127 | o2(x,o2(x,o1(x))) | true | 46223 | 46223 | -0.2434 | 0.1115 | 0.2577 | 0.07743 | 0.2783 | -1 | 0.1454 | 1.145 | 1 | 3.296 | 0.005253 | 0.002639 | 0.03903 | 0.3312 | 1 | 0.0002891 | 0.01336 | 0.026 | 0.006369 | 0.07981 | 2.045 | 1.415 | 0.1019 | 0.1726 | 1 | 1 | 0.01201 | 0.05841 | 0.1459 | 0.1552 | 0.7543 | 1.884 | json |
| t17_x15_u4_b92 | 17 | 15 | 4 | 92 | ![]() |
min(D,pow(R,cil(P))) | 110778 | 138657128 | o2(x,o2(x,o1(x))) | true | 46231 | 46231 | -0.0141 | 0.4628 | 0.09791 | 0.012 | 0.1095 | -0.2728 | 0.1454 | 0.4182 | 1 | 2.721 | 0.001643 | 0.00002512 | 0.03661 | 0.9699 | 1 | 0.00003749 | 0.0002715 | 0.01474 | 0.0003285 | 0.01812 | 0.4951 | 0.08396 | 0.139 | 0.02262 | 1 | 1 | 0.00324 | 0.02254 | 0.002267 | 0.27 | 1.878 | 0.1889 | json |
| t17_x15_u4_b93 | 17 | 15 | 4 | 93 | ![]() |
min(D,mod(R,cil(P))) | 110779 | 138657129 | o2(x,o2(x,o1(x))) | true | 46239 | 46239 | -0.257 | 0.1874 | 0.2886 | 0.07259 | 0.2694 | -0.9989 | 0.1454 | 1.144 | 1 | 4.008 | 0.001737 | 0.0009336 | 0.04455 | 0.3007 | 1 | 0.00002336 | 0.0002801 | 0.01342 | 0.0006855 | 0.02618 | 0.5877 | 0.1528 | 0.03678 | 0.003859 | 1 | 1 | 0.004868 | 0.05349 | 0.115 | 0.06706 | 0.7369 | 1.584 | json |
| t17_x15_u4_b94 | 17 | 15 | 4 | 94 | ![]() |
min(D,lrg(R,cil(P))) | 110780 | 138657130 | o2(x,o2(x,o1(x))) | true | 46247 | 46247 | -0.06759 | 0.2647 | 0.1171 | 0.0151 | 0.1229 | -0.2729 | 0.1454 | 0.4183 | 1 | 2.911 | 0.001528 | 0.000003992 | 0.03499 | 0.9948 | 1 | 0.00007322 | 0.0002636 | 0.01423 | 0.0003081 | 0.01755 | 0.5016 | 0.06192 | 0.1015 | 0.01746 | 1 | 1 | 0.002941 | 0.01957 | 0.003056 | 0.1948 | 1.296 | 0.2024 | json |
| t17_x15_u4_b95 | 17 | 15 | 4 | 95 | ![]() |
min(D,eql(R,cil(P))) | 110781 | 138657131 | o2(x,o2(x,o1(x))) | true | 46255 | 46255 | -0.143 | 0 | 0.143 | 0.009237 | 0.09611 | -0.2729 | -0.000282 | 0.2726 | 1 | 2.227 | 0.001451 | 0 | 0.03416 | 1 | 1 | 0.0003063 | 0.0002653 | 0.01361 | 0.0002853 | 0.01689 | 0.4945 | 0.06184 | 0.1571 | 0.02873 | 1 | 1 | 0.002788 | 0.01827 | 0 | 0.3018 | 1.978 | 0 | json |
| t17_x15_u4_b96 | 17 | 15 | 4 | 96 | ![]() |
min(D,min(R,cil(P))) | 110782 | 138657132 | o2(x,o2(x,o1(x))) | true | 46263 | 46263 | -0.6345 | 0.06482 | 0.6451 | 0.1545 | 0.393 | -1 | 0.1454 | 1.145 | 1 | 3.174 | 0.001011 | 0.000522 | 0.02506 | 0.3192 | 1 | 0.00008678 | 0.0001427 | 0.007022 | 0.0009058 | 0.0301 | 1.201 | 0.1528 | 0.009926 | 0.0009237 | 1 | 1 | 0.00302 | 0.03554 | 0.1007 | 0.01955 | 0.2301 | 0.6519 | json |
| t17_x15_u4_b97 | 17 | 15 | 4 | 97 | ![]() |
min(D,dot(R,cil(P))) | 110783 | 138657133 | o2(x,o2(x,o1(x))) | true | 46271 | 46271 | -0.6478 | 0.1057 | 0.6641 | 0.1787 | 0.4227 | -1 | 0.1454 | 1.145 | 1 | 2.89 | 0.0047 | 0.005619 | 0.05576 | -0.08908 | 1 | 0.0002825 | 0.004569 | 0.02954 | 0.00721 | 0.08491 | 1.523 | 0.5505 | 0.05776 | 0.02557 | 1 | 1 | 0.01735 | 0.1517 | 0.3066 | 0.09714 | 0.8491 | 1.716 | json |
| t17_x15_u4_b98 | 17 | 15 | 4 | 98 | ![]() |
min(D,dst(R,cil(P))) | 110784 | 138657134 | o2(x,o2(x,o1(x))) | true | 46279 | 46279 | -0.00001436 | 0.5 | 0.09438 | 0.01083 | 0.1041 | -0.1596 | 0.1454 | 0.3051 | 1 | 2.561 | 0.001633 | 2.165e-9 | 0.0361 | 1 | 1 | -2.112e-12 | 0.0002564 | 0.01459 | 0.0003305 | 0.01818 | 0.5035 | 0.06203 | 0.1508 | 0.02368 | 1 | 1 | 0.003153 | 0.02185 | 5.362e-7 | 0.2912 | 2.018 | 0.00004952 | json |
| t17_x15_u4_b99 | 17 | 15 | 4 | 99 | ![]() |
dot(D,add(R,cil(P))) | 110785 | 138657135 | o2(x,o2(x,o1(x))) | true | 46287 | 46287 | -0.2332 | 0.3468 | 0.5423 | 0.3512 | 0.5926 | -1 | 1 | 2 | 1 | 4.675 | 0.02747 | 0.02752 | 0.1908 | -0.0007514 | 1 | 0.002628 | 0.01613 | 0.08122 | 0.01858 | 0.1363 | 0.7145 | 0.6454 | 0.1566 | 0.04594 | 1 | 1 | 0.06951 | 0.4958 | 0.08605 | 0.1979 | 1.412 | 0.245 | json |
| t17_x15_u4_b100 | 17 | 15 | 4 | 100 | ![]() |
dot(D,sub(R,cil(P))) | 110786 | 138657136 | o2(x,o2(x,o1(x))) | true | 46295 | 46295 | 0.2376 | 0.6553 | 0.5469 | 0.3554 | 0.5962 | -1 | 1 | 2 | 1 | 4.66 | 0.02801 | 0.02799 | 0.1915 | 0.0003205 | 1 | -0.002741 | 0.01682 | 0.08229 | 0.01932 | 0.139 | 0.7257 | 0.6524 | 0.1575 | 0.04732 | 1 | 1 | 0.07068 | 0.5058 | 0.08747 | 0.1989 | 1.423 | 0.2461 | json |
| t17_x15_u4_b101 | 17 | 15 | 4 | 101 | ![]() |
dot(D,mlt(R,cil(P))) | 110787 | 138657137 | o2(x,o2(x,o1(x))) | true | 46303 | 46303 | -0.01248 | 0.4963 | 0.4894 | 0.3606 | 0.6005 | -1 | 1 | 2 | 1 | 4.714 | 0.01453 | 0.01455 | 0.129 | -0.0006057 | 1 | 0.000228 | 0.007735 | 0.04856 | 0.01245 | 0.1116 | 0.8649 | 0.7963 | 0.08066 | 0.02145 | 1 | 1 | 0.0371 | 0.3937 | 0.5699 | 0.1029 | 1.092 | 1.581 | json |
| t17_x15_u4_b102 | 17 | 15 | 4 | 102 | ![]() |
dot(D,div(R,cil(P))) | 110788 | 138657138 | o2(x,o2(x,o1(x))) | true | 46311 | 46311 | -0.2284 | 0.3922 | 0.2705 | 0.186 | 0.4312 | -1 | 0.4142 | 1.414 | 1 | 2.409 | 0.007283 | 0.007338 | 0.02452 | -0.003761 | 1 | -0.000002602 | 0.02857 | 0.03097 | 0.01402 | 0.1184 | 4.83 | 1.478 | 0.07862 | 0.1537 | 1 | 1 | 0.01913 | 0.084 | 0.3024 | 0.1028 | 0.4517 | 1.626 | json |
| t17_x15_u4_b103 | 17 | 15 | 4 | 103 | ![]() |
dot(D,pow(R,cil(P))) | 110789 | 138657139 | o2(x,o2(x,o1(x))) | true | 46319 | 46319 | -0.9901 | 0.006348 | 0.9928 | 0.01152 | 0.1073 | -1 | 1 | 2 | 1 | 0.1018 | 0.001448 | 0.00191 | 0.003071 | -0.1376 | 1 | 7.884e-11 | 0.007094 | 0.005387 | 0.00335 | 0.05788 | 18.85 | 2 | 0.2915 | 0.6158 | 1 | 1 | 0.006079 | 0.02038 | 0.04142 | 0.5276 | 1.769 | 3.595 | json |
| t17_x15_u4_b104 | 17 | 15 | 4 | 104 | ![]() |
dot(D,mod(R,cil(P))) | 110790 | 138657140 | o2(x,o2(x,o1(x))) | true | 46327 | 46327 | -0.2289 | 0.4037 | 0.3413 | 0.2056 | 0.4535 | -1 | 0.5965 | 1.596 | 1 | 3.496 | 0.007824 | 0.007814 | 0.04463 | 0.0006759 | 1 | -0.0001397 | 0.02848 | 0.03632 | 0.01365 | 0.1168 | 2.618 | 1.398 | 0.07605 | 0.1385 | 1 | 1 | 0.02055 | 0.1003 | 0.3246 | 0.09993 | 0.4878 | 1.579 | json |
| t17_x15_u4_b105 | 17 | 15 | 4 | 105 | ![]() |
dot(D,lrg(R,cil(P))) | 110791 | 138657141 | o2(x,o2(x,o1(x))) | true | 46335 | 46335 | 0.01788 | 0.4428 | 0.08599 | 0.01327 | 0.1152 | -0.2908 | 0.4776 | 0.7684 | 1 | 2.833 | 0.0008565 | 0.0008593 | 0.03315 | -0.001601 | 1 | -0.0003163 | 0.0002581 | 0.01205 | 0.0006175 | 0.02485 | 0.7497 | 0.09684 | 0.1293 | 0.01945 | 1 | 1 | 0.00336 | 0.02473 | 0.007644 | 0.2532 | 1.863 | 0.576 | json |
| t17_x15_u4_b106 | 17 | 15 | 4 | 106 | ![]() |
dot(D,eql(R,cil(P))) | 110792 | 138657142 | o2(x,o2(x,o1(x))) | true | 46343 | 46343 | 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_x15_u4_b107 | 17 | 15 | 4 | 107 | ![]() |
dot(D,min(R,cil(P))) | 110793 | 138657143 | o2(x,o2(x,o1(x))) | true | 46351 | 46351 | -0.1263 | 0.3981 | 0.3715 | 0.2174 | 0.4662 | -1 | 1 | 2 | 1 | 4.692 | 0.01532 | 0.01526 | 0.129 | 0.002022 | 1 | 0.001708 | 0.007147 | 0.05212 | 0.01393 | 0.118 | 0.9145 | 0.613 | 0.1407 | 0.03288 | 1 | 1 | 0.0358 | 0.2486 | 0.04787 | 0.1647 | 1.144 | 0.2202 | json |
| t17_x15_u4_b108 | 17 | 15 | 4 | 108 | ![]() |
dot(D,dot(R,cil(P))) | 110794 | 138657144 | o2(x,o2(x,o1(x))) | true | 46359 | 46359 | 0.002629 | 0.5034 | 0.6011 | 0.4954 | 0.7039 | -1 | 1 | 2 | 1 | 4.396 | 0.02202 | 0.02484 | 0.1443 | -0.06001 | 1 | -0.000203 | 0.02207 | 0.06849 | 0.02605 | 0.1614 | 1.119 | 1.386 | 0.09458 | 0.04455 | 1 | 1 | 0.06353 | 0.588 | 0.8718 | 0.1282 | 1.187 | 1.76 | json |
| t17_x15_u4_b109 | 17 | 15 | 4 | 109 | ![]() |
dot(D,dst(R,cil(P))) | 110795 | 138657145 | o2(x,o2(x,o1(x))) | true | 46367 | 46367 | 0.0001467 | 0.4977 | 0.5843 | 0.4751 | 0.6893 | -1 | 1 | 2 | 1 | 4.464 | 0.0438 | 0.04394 | 0.2287 | -0.001668 | 1 | 0.00002271 | 0.04149 | 0.1109 | 0.03545 | 0.1883 | 0.8234 | 0.9232 | 0.1847 | 0.08734 | 1 | 1 | 0.1165 | 0.7265 | 0.06468 | 0.2451 | 1.529 | 0.1361 | json |
| t17_x15_u4_b110 | 17 | 15 | 4 | 110 | ![]() |
dst(D,add(R,cil(P))) | 110796 | 138657146 | o2(x,o2(x,o1(x))) | true | 46375 | 46375 | 0.9996 | 1 | 0.9996 | 0.0001256 | 0.01121 | 0.5159 | 1 | 0.4841 | 1 | 0.01962 | 0.00001009 | 0.00001101 | 0.0001917 | -0.04367 | 0 | -3.754e-12 | 0.00001252 | 0.0001451 | 0.00002104 | 0.004587 | 23.93 | 0.203 | 0.168 | 0.09965 | 1 | 1 | 0.00006597 | 0.0004185 | 0.000457 | 0.5251 | 3.331 | 3.638 | json |
| t17_x15_u4_b111 | 17 | 15 | 4 | 111 | ![]() |
dst(D,sub(R,cil(P))) | 110797 | 138657147 | o2(x,o2(x,o1(x))) | true | 46383 | 46383 | 0.9986 | 1 | 0.9986 | 0.0003406 | 0.01846 | 0.4957 | 1 | 0.5043 | 1 | 0.07571 | 0.0000201 | 0.00001782 | 0.0005614 | 0.06035 | 0 | 4.693e-11 | 0.00001803 | 0.0003587 | 0.00003757 | 0.00613 | 10.92 | 0.1232 | 0.1113 | 0.05294 | 1 | 1 | 0.000122 | 0.0009287 | 0.001242 | 0.3582 | 2.726 | 3.645 | json |
| t17_x15_u4_b112 | 17 | 15 | 4 | 112 | ![]() |
dst(D,mlt(R,cil(P))) | 110798 | 138657148 | o2(x,o2(x,o1(x))) | true | 46391 | 46391 | 0.9736 | 1 | 0.9736 | 0.01164 | 0.1079 | 0.04087 | 1 | 0.9591 | 1 | 0.6348 | 0.0004048 | 0.0004943 | 0.008031 | -0.09948 | 1 | -0.000009059 | 0.0004351 | 0.004701 | 0.0008348 | 0.02889 | 3.598 | 0.3242 | 0.07726 | 0.03739 | 1 | 1 | 0.002274 | 0.01877 | 0.03062 | 0.1954 | 1.613 | 2.631 | json |
| t17_x15_u4_b113 | 17 | 15 | 4 | 113 | ![]() |
dst(D,div(R,cil(P))) | 110799 | 138657149 | o2(x,o2(x,o1(x))) | true | 46399 | 46399 | -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 |



































































































