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_x3_u3_b99 | 17 | 3 | 3 | 99 | ![]() |
dot(P,add(D,flr(P))) | 100500 | 138172122 | o2(x,o2(x,o1(x))) | true | 120807 | 120807 | 0.9941 | 0.9999 | 0.9941 | 0.004129 | 0.06426 | 0.00001819 | 1 | 1 | 1 | 0.1252 | 0.00005359 | 0.00005359 | 0.001066 | 6.11e-7 | 1 | 4.13e-11 | 0.00001873 | 0.000324 | 0.000106 | 0.01029 | 9.656 | 0.1547 | 0.02596 | 0.004535 | 1 | 1 | 0.0003668 | 0.004508 | 0.01512 | 0.08883 | 1.092 | 3.663 | json |
| t17_x3_u3_b100 | 17 | 3 | 3 | 100 | ![]() |
dot(P,sub(D,flr(P))) | 100501 | 138172123 | o2(x,o2(x,o1(x))) | true | 120815 | 120815 | -0.9979 | 0 | 0.9979 | 0.001392 | 0.03731 | -1 | -0.001146 | 0.9989 | 1 | 0.05177 | 0.00004577 | 0.00004577 | 0.000659 | 0.000001788 | 0 | -1.126e-11 | 0.00002812 | 0.00034 | 0.00009113 | 0.009546 | 14.49 | 0.2117 | 0.06576 | 0.0202 | 1 | 1 | 0.0003057 | 0.003054 | 0.005064 | 0.2196 | 2.194 | 3.638 | json |
| t17_x3_u3_b101 | 17 | 3 | 3 | 101 | ![]() |
dot(P,mlt(D,flr(P))) | 100502 | 138172124 | o2(x,o2(x,o1(x))) | true | 120823 | 120823 | 1.873e-8 | 0.498 | 0.8698 | 0.8303 | 0.9112 | -1 | 1 | 2 | 1 | 2.674 | 0.1399 | 0.1399 | 0.2399 | -3.729e-7 | 1 | -3.394e-9 | 0.488 | 0.3211 | 0.2222 | 0.4714 | 1.964 | 2.828 | 0.3369 | 0.5877 | 1 | 1 | 0.2835 | 1.208 | 0.256 | 0.3414 | 1.455 | 0.3083 | json |
| t17_x3_u3_b102 | 17 | 3 | 3 | 102 | ![]() |
dot(P,div(D,flr(P))) | 100503 | 138172125 | o2(x,o2(x,o1(x))) | true | 120831 | 120831 | -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_x3_u3_b103 | 17 | 3 | 3 | 103 | ![]() |
dot(P,pow(D,flr(P))) | 100504 | 138172126 | o2(x,o2(x,o1(x))) | true | 120839 | 120839 | -0.9995 | 0 | 0.9995 | 0.0003717 | 0.01928 | -1 | -0.0006008 | 0.9994 | 1 | 0.01305 | 0.00009517 | 0.00009517 | 0.0003206 | -7.645e-8 | 1 | -3.004e-11 | 0.0003778 | 0.0004763 | 0.0001902 | 0.01379 | 43.01 | 1.413 | 0.512 | 1.016 | 1 | 1 | 0.0003781 | 0.001351 | 0.001351 | 1.017 | 3.635 | 3.635 | json |
| t17_x3_u3_b104 | 17 | 3 | 3 | 104 | ![]() |
dot(P,mod(D,flr(P))) | 100505 | 138172127 | o2(x,o2(x,o1(x))) | true | 120847 | 120847 | -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_x3_u3_b105 | 17 | 3 | 3 | 105 | ![]() |
dot(P,lrg(D,flr(P))) | 100506 | 138172128 | o2(x,o2(x,o1(x))) | true | 120855 | 120855 | -0.7179 | 0 | 0.7179 | 0.1955 | 0.4421 | -1 | 0 | 1 | 1 | 1.263 | 0.0001877 | 0.0001877 | 0.00417 | 0.000001628 | 1 | 5.134e-10 | 0.00002276 | 0.0009958 | 0.0003579 | 0.01892 | 4.537 | 0.1628 | 0.00192 | 0.0001164 | 1 | 1 | 0.001001 | 0.01303 | 0.08014 | 0.005121 | 0.06664 | 0.41 | json |
| t17_x3_u3_b106 | 17 | 3 | 3 | 106 | ![]() |
dot(P,eql(D,flr(P))) | 100507 | 138172129 | o2(x,o2(x,o1(x))) | true | 120863 | 120863 | 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_x3_u3_b107 | 17 | 3 | 3 | 107 | ![]() |
dot(P,min(D,flr(P))) | 100508 | 138172130 | o2(x,o2(x,o1(x))) | true | 120871 | 120871 | 0.6422 | 0.8157 | 0.85 | 0.3925 | 0.6265 | -1 | 1 | 2 | 1 | 2.328 | 0.008209 | 0.008209 | 0.05958 | -0.00000573 | 1 | 0.0008988 | 0.004784 | 0.02591 | 0.01287 | 0.1134 | 1.904 | 0.613 | 0.04183 | 0.01219 | 1 | 1 | 0.02266 | 0.1706 | 0.1348 | 0.05773 | 0.4346 | 0.3434 | json |
| t17_x3_u3_b108 | 17 | 3 | 3 | 108 | ![]() |
dot(P,dot(D,flr(P))) | 100509 | 138172131 | o2(x,o2(x,o1(x))) | true | 120879 | 120879 | -2.26e-8 | 0.498 | 0.8243 | 0.775 | 0.8803 | -1 | 1 | 2 | 1 | 3.027 | 0.124 | 0.124 | 0.2311 | -0.000001562 | 1 | 2.425e-9 | 0.4687 | 0.2884 | 0.1947 | 0.4413 | 1.91 | 2.828 | 0.3201 | 0.6048 | 1 | 1 | 0.2447 | 1.025 | 0.3306 | 0.3158 | 1.323 | 0.4266 | json |
| t17_x3_u3_b109 | 17 | 3 | 3 | 109 | ![]() |
dot(P,dst(D,flr(P))) | 100510 | 138172132 | o2(x,o2(x,o1(x))) | true | 120887 | 120887 | 2.095e-8 | 0.498 | 0.9786 | 0.9731 | 0.9865 | -1 | 1 | 2 | 1 | 1.357 | 0.003102 | 0.003102 | 0.0122 | 0 | 1 | 1.755e-10 | 0.006307 | 0.008946 | 0.006059 | 0.07784 | 6.38 | 1.414 | 0.006376 | 0.006481 | 1 | 1 | 0.01167 | 0.09432 | 0.5357 | 0.012 | 0.09692 | 0.5505 | json |
| t17_x3_u3_b110 | 17 | 3 | 3 | 110 | ![]() |
dst(P,add(D,flr(P))) | 100511 | 138172133 | o2(x,o2(x,o1(x))) | true | 120895 | 120895 | 0.4439 | 1 | 0.4439 | 0.02504 | 0.1582 | 0.04473 | 0.7026 | 0.6579 | 1 | 3.252 | 0.001981 | 0.001981 | 0.05914 | 2.938e-7 | 1 | -0.0006857 | 0.0006739 | 0.01958 | 0.000465 | 0.02156 | 0.3646 | 0.09377 | 0.1583 | 0.02692 | 1 | 1 | 0.007608 | 0.05068 | 0 | 0.3039 | 2.024 | 0 | json |
| t17_x3_u3_b111 | 17 | 3 | 3 | 111 | ![]() |
dst(P,sub(D,flr(P))) | 100512 | 138172134 | o2(x,o2(x,o1(x))) | true | 120903 | 120903 | 0.9992 | 1 | 0.9992 | 0.0005108 | 0.0226 | 0.0459 | 1 | 0.9541 | 1 | 0.02434 | 0.0000371 | 0.0000371 | 0.0003817 | 9.805e-8 | 0 | -1.877e-11 | 0.00003443 | 0.0002594 | 0.00007399 | 0.008602 | 22.53 | 0.2643 | 0.1453 | 0.06739 | 1 | 1 | 0.0002391 | 0.001681 | 0.001858 | 0.4681 | 3.291 | 3.638 | json |
| t17_x3_u3_b112 | 17 | 3 | 3 | 112 | ![]() |
dst(P,mlt(D,flr(P))) | 100513 | 138172135 | o2(x,o2(x,o1(x))) | true | 120911 | 120911 | 0.996 | 1 | 0.996 | 0.002675 | 0.05172 | 0.00001819 | 1 | 1 | 1 | 0.09636 | 0.0000493 | 0.0000493 | 0.0009132 | -3.69e-8 | 0 | -3.004e-11 | 0.00001949 | 0.0003585 | 0.00009782 | 0.00989 | 10.83 | 0.1818 | 0.03686 | 0.007286 | 1 | 1 | 0.0003342 | 0.003828 | 0.009761 | 0.1249 | 1.431 | 3.649 | json |
| t17_x3_u3_b113 | 17 | 3 | 3 | 113 | ![]() |
dst(P,div(D,flr(P))) | 100514 | 138172136 | o2(x,o2(x,o1(x))) | true | 120919 | 120919 | -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_x3_u3_b114 | 17 | 3 | 3 | 114 | ![]() |
dst(P,pow(D,flr(P))) | 100515 | 138172137 | o2(x,o2(x,o1(x))) | true | 120927 | 120927 | -0.9922 | 0.003906 | 1 | 0.01556 | 0.1248 | -1 | 1 | 2 | 1 | 0.03687 | 0.002016 | 0.002016 | 0.001997 | 0 | 1 | 0 | 0.008566 | 0.004031 | 0.004025 | 0.06344 | 31.77 | 2.828 | 0.259 | 0.5504 | 1 | 1 | 0.007091 | 0.02837 | 0.05673 | 0.4556 | 1.823 | 3.645 | json |
| t17_x3_u3_b115 | 17 | 3 | 3 | 115 | ![]() |
dst(P,mod(D,flr(P))) | 100516 | 138172138 | o2(x,o2(x,o1(x))) | true | 120935 | 120935 | -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_x3_u3_b116 | 17 | 3 | 3 | 116 | ![]() |
dst(P,lrg(D,flr(P))) | 100517 | 138172139 | o2(x,o2(x,o1(x))) | true | 120943 | 120943 | 0.9996 | 1 | 0.9996 | 0.0003001 | 0.01732 | 0.001164 | 1 | 0.9988 | 1 | 0.01227 | 0.0000842 | 0.0000842 | 0.0002913 | 8.642e-8 | 1 | 0 | 0.0003416 | 0.0004251 | 0.0001683 | 0.01297 | 44.54 | 1.413 | 0.5611 | 1.138 | 1 | 1 | 0.0003311 | 0.001091 | 0.001091 | 1.103 | 3.634 | 3.634 | json |
| t17_x3_u3_b117 | 17 | 3 | 3 | 117 | ![]() |
dst(P,eql(D,flr(P))) | 100518 | 138172140 | o2(x,o2(x,o1(x))) | true | 120951 | 120951 | 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_x3_u3_b118 | 17 | 3 | 3 | 118 | ![]() |
dst(P,min(D,flr(P))) | 100519 | 138172141 | o2(x,o2(x,o1(x))) | true | 120959 | 120959 | 0.7334 | 0.8086 | 0.7334 | 0.1825 | 0.4272 | 0 | 1 | 1 | 1 | 1.364 | 0.0003112 | 0.0003112 | 0.006894 | 0.00001174 | 1 | 1.934e-9 | 0.0001146 | 0.003024 | 0.0005741 | 0.02396 | 3.475 | 0.1818 | 0.00341 | 0.0006276 | 1 | 1 | 0.001583 | 0.01552 | 0.06752 | 0.008674 | 0.08503 | 0.3699 | json |
| t17_x3_u3_b119 | 17 | 3 | 3 | 119 | ![]() |
dst(P,dot(D,flr(P))) | 100520 | 138172142 | o2(x,o2(x,o1(x))) | true | 120967 | 120967 | 0.9969 | 1 | 0.9969 | 0.001869 | 0.04324 | 0.0007977 | 1 | 0.9992 | 1 | 0.08862 | 0.00004192 | 0.00004192 | 0.0007701 | -1.302e-7 | 0 | -3.379e-11 | 0.00002204 | 0.0003118 | 0.00008319 | 0.009121 | 11.84 | 0.221 | 0.04485 | 0.01179 | 1 | 1 | 0.0002813 | 0.003024 | 0.006825 | 0.1505 | 1.618 | 3.651 | json |
| t17_x3_u3_b120 | 17 | 3 | 3 | 120 | ![]() |
dst(P,dst(D,flr(P))) | 100521 | 138172143 | o2(x,o2(x,o1(x))) | true | 120975 | 120975 | 0.9995 | 1 | 0.9995 | 0.0003154 | 0.01776 | 0.07822 | 1 | 0.9218 | 1 | 0.01775 | 0.00003282 | 0.00003282 | 0.0003022 | -5.543e-8 | 0 | 2.628e-11 | 0.0000397 | 0.0002346 | 0.0000655 | 0.008093 | 26.78 | 0.3017 | 0.2081 | 0.1259 | 1 | 1 | 0.000205 | 0.001124 | 0.001147 | 0.6499 | 3.564 | 3.636 | json |
| t17_x3_u4_b0 | 17 | 3 | 4 | 0 | ![]() |
add(P,add(D,cil(P))) | 100522 | 138172224 | o2(x,o2(x,o1(x))) | true | 120983 | 120983 | 0 | 0.5 | 0.9629 | 0.9531 | 0.9763 | -1 | 1 | 2 | 1 | 1.525 | 0.001033 | 0 | 0.007937 | 1 | 1 | 0 | 0.0001387 | 0.002289 | 0.0009709 | 0.03116 | 3.926 | 0.1758 | 0.001084 | 0.0001455 | 1 | 1 | 0.002648 | 0.03249 | 0.2737 | 0.002779 | 0.03409 | 0.2871 | json |
| t17_x3_u4_b1 | 17 | 3 | 4 | 1 | ![]() |
add(P,sub(D,cil(P))) | 100523 | 138172225 | o2(x,o2(x,o1(x))) | true | 120991 | 120991 | 0 | 0.5 | 0.09436 | 0.01082 | 0.104 | -0.1454 | 0.1454 | 0.2908 | 1 | 2.561 | 0.001632 | 0 | 0.03609 | 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 | 5.236e-15 | 0.2912 | 2.017 | 4.838e-13 | json |
| t17_x3_u4_b2 | 17 | 3 | 4 | 2 | ![]() |
add(P,mlt(D,cil(P))) | 100524 | 138172226 | o2(x,o2(x,o1(x))) | true | 120999 | 120999 | -0.01514 | 0.4961 | 0.9347 | 0.9219 | 0.9601 | -1 | 1 | 2 | 1 | 1.778 | 0.0008508 | 0 | 0.008516 | 1 | 1 | -1.774e-10 | 0.00009868 | 0.002875 | 0.0007783 | 0.0279 | 3.276 | 0.1529 | 0.0009229 | 0.000107 | 1 | 1 | 0.002191 | 0.0263 | 0.2319 | 0.002377 | 0.02853 | 0.2516 | json |
| t17_x3_u4_b3 | 17 | 3 | 4 | 3 | ![]() |
add(P,div(D,cil(P))) | 100525 | 138172227 | o2(x,o2(x,o1(x))) | true | 121007 | 121007 | -0.1235 | 0.4375 | 0.9985 | 0.982 | 0.991 | -1 | 1 | 2 | 1 | 1.071 | 0.01591 | 0 | 0.008804 | 1 | 1 | 0 | 0.03178 | 0.01671 | 0.01583 | 0.1258 | 14.29 | 2 | 0.0162 | 0.03236 | 1 | 1 | 0.02113 | 0.08438 | 0.337 | 0.02152 | 0.08593 | 0.3432 | json |
| t17_x3_u4_b4 | 17 | 3 | 4 | 4 | ![]() |
add(P,pow(D,cil(P))) | 100526 | 138172228 | o2(x,o2(x,o1(x))) | true | 121015 | 121015 | -0.8767 | 0.0625 | 0.9983 | 0.2283 | 0.4778 | -1 | 1 | 2 | 1 | 0.3808 | 0.03177 | 0 | 0.01672 | 1 | 1 | 9.461e-10 | 0.0636 | 0.03241 | 0.03148 | 0.1774 | 10.61 | 2 | 0.1392 | 0.2786 | 1 | 1 | 0.0421 | 0.1641 | 0.3279 | 0.1844 | 0.7185 | 1.436 | json |
| t17_x3_u4_b5 | 17 | 3 | 4 | 5 | ![]() |
add(P,mod(D,cil(P))) | 100527 | 138172229 | o2(x,o2(x,o1(x))) | true | 121023 | 121023 | -0.125 | 0.4375 | 1 | 0.9844 | 0.9922 | -1 | 1 | 2 | 1 | 0.9887 | 0.01587 | 0 | 0.007937 | 1 | 1 | 0 | 0.03175 | 0.01587 | 0.01581 | 0.1257 | 15.84 | 2 | 0.01612 | 0.03225 | 1 | 1 | 0.02105 | 0.08421 | 0.3368 | 0.02139 | 0.08555 | 0.3422 | json |
| t17_x3_u4_b6 | 17 | 3 | 4 | 6 | ![]() |
add(P,lrg(D,cil(P))) | 100528 | 138172230 | o2(x,o2(x,o1(x))) | true | 121031 | 121031 | 0.09375 | 0.5 | 0.9063 | 0.89 | 0.9434 | -1 | 1 | 2 | 1 | 1.668 | 0.004321 | 0 | 0.007937 | 1 | 1 | 4.731e-10 | 0.007953 | 0.008864 | 0.004257 | 0.06525 | 8.221 | 1 | 0.004855 | 0.008935 | 1 | 1 | 0.006189 | 0.0332 | 0.2014 | 0.006953 | 0.0373 | 0.2263 | json |
| t17_x3_u4_b7 | 17 | 3 | 4 | 7 | ![]() |
add(P,eql(D,cil(P))) | 100529 | 138172231 | o2(x,o2(x,o1(x))) | true | 121039 | 121039 | 0 | 0.5 | 0.9375 | 0.924 | 0.9612 | -1 | 1 | 2 | 1 | 1.813 | 0.0007059 | 0 | 0.007937 | 1 | 1 | 0 | 0.00003235 | 0.001851 | 0.0006432 | 0.02536 | 3.195 | 0.1169 | 0.0007639 | 0.00003501 | 1 | 1 | 0.001851 | 0.02449 | 0.2344 | 0.002003 | 0.0265 | 0.2537 | json |
| t17_x3_u4_b8 | 17 | 3 | 4 | 8 | ![]() |
add(P,min(D,cil(P))) | 100530 | 138172232 | o2(x,o2(x,o1(x))) | true | 121047 | 121047 | -0.02404 | 0.4961 | 0.9436 | 0.9318 | 0.9653 | -1 | 1 | 2 | 1 | 1.674 | 0.0009535 | 0 | 0.007936 | 1 | 1 | -2.364e-10 | 0.0001439 | 0.002555 | 0.0008912 | 0.02985 | 3.762 | 0.2122 | 0.001023 | 0.0001544 | 1 | 1 | 0.002434 | 0.02771 | 0.2459 | 0.002612 | 0.02974 | 0.2639 | json |
| t17_x3_u4_b9 | 17 | 3 | 4 | 9 | ![]() |
add(P,dot(D,cil(P))) | 100531 | 138172233 | o2(x,o2(x,o1(x))) | true | 121055 | 121055 | -0.03169 | 0.4832 | 0.9368 | 0.9149 | 0.9565 | -1 | 1 | 2 | 1 | 1.975 | 0.0008271 | 0.004124 | 0.02233 | -0.6659 | 1 | 0.0003586 | 0.001754 | 0.01191 | 0.004455 | 0.06674 | 2.989 | 0.4596 | 0.005412 | 0.001917 | 1 | 1 | 0.008026 | 0.06051 | 0.2276 | 0.008773 | 0.06614 | 0.2488 | json |
| t17_x3_u4_b10 | 17 | 3 | 4 | 10 | ![]() |
add(P,dst(D,cil(P))) | 100532 | 138172234 | o2(x,o2(x,o1(x))) | true | 121063 | 121063 | 0.8954 | 0.9856 | 0.897 | 0.0679 | 0.2606 | -0.1453 | 1 | 1.145 | 1 | 1.317 | 0.0002519 | 0.0003178 | 0.008865 | -0.1158 | 1 | -0.00007331 | 0.0001176 | 0.003335 | 0.000491 | 0.02216 | 2.5 | 0.2496 | 0.008391 | 0.001732 | 1 | 1 | 0.001452 | 0.01258 | 0.05351 | 0.02139 | 0.1853 | 0.7881 | json |
| t17_x3_u4_b11 | 17 | 3 | 4 | 11 | ![]() |
sub(P,add(D,cil(P))) | 100533 | 138172235 | o2(x,o2(x,o1(x))) | true | 121071 | 121071 | 0 | 0.5 | 0.09436 | 0.01082 | 0.104 | -0.1454 | 0.1454 | 0.2908 | 1 | 2.561 | 0.001632 | 0 | 0.03609 | 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 | 5.236e-15 | 0.2912 | 2.017 | 4.838e-13 | json |
| t17_x3_u4_b12 | 17 | 3 | 4 | 12 | ![]() |
sub(P,sub(D,cil(P))) | 100534 | 138172236 | o2(x,o2(x,o1(x))) | true | 121079 | 121079 | 0 | 0.5 | 0.9537 | 0.9469 | 0.9731 | -1 | 1 | 2 | 1 | 1.494 | 0.001772 | 0 | 0.009085 | 1 | 1 | 0 | 0.0004501 | 0.004884 | 0.00169 | 0.04111 | 4.525 | 0.2773 | 0.001871 | 0.0004753 | 1 | 1 | 0.004401 | 0.0356 | 0.2653 | 0.004647 | 0.0376 | 0.2802 | json |
| t17_x3_u4_b13 | 17 | 3 | 4 | 13 | ![]() |
sub(P,mlt(D,cil(P))) | 100535 | 138172237 | o2(x,o2(x,o1(x))) | true | 121087 | 121087 | 0.01514 | 0.5 | 0.9347 | 0.9219 | 0.9601 | -1 | 1 | 2 | 1 | 1.778 | 0.0008508 | 0 | 0.008516 | 1 | 1 | 1.774e-10 | 0.00009868 | 0.002875 | 0.0007783 | 0.0279 | 3.276 | 0.1529 | 0.0009229 | 0.000107 | 1 | 1 | 0.002191 | 0.0263 | 0.2319 | 0.002377 | 0.02853 | 0.2516 | json |
| t17_x3_u4_b14 | 17 | 3 | 4 | 14 | ![]() |
sub(P,div(D,cil(P))) | 100536 | 138172238 | o2(x,o2(x,o1(x))) | true | 121095 | 121095 | -0.001471 | 0.5 | 0.9985 | 0.9972 | 0.9986 | -1 | 1 | 2 | 1 | 1.08 | 0.04717 | 0 | 0.02443 | 1 | 1 | 9.461e-10 | 0.09511 | 0.04821 | 0.04655 | 0.2157 | 8.83 | 2 | 0.0473 | 0.09538 | 1 | 1 | 0.06204 | 0.2488 | 0.337 | 0.06222 | 0.2495 | 0.338 | json |
| t17_x3_u4_b15 | 17 | 3 | 4 | 15 | ![]() |
sub(P,pow(D,cil(P))) | 100537 | 138172239 | o2(x,o2(x,o1(x))) | true | 121103 | 121103 | -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_x3_u4_b16 | 17 | 3 | 4 | 16 | ![]() |
sub(P,mod(D,cil(P))) | 100538 | 138172240 | o2(x,o2(x,o1(x))) | true | 121111 | 121111 | -0.125 | 0.4375 | 0.9978 | 0.9802 | 0.99 | -1 | 1 | 2 | 1 | 1.149 | 0.01546 | 0 | 0.009228 | 1 | 1 | 0 | 0.03163 | 0.0175 | 0.01536 | 0.124 | 13.43 | 1.969 | 0.01577 | 0.03227 | 1 | 1 | 0.02003 | 0.08147 | 0.3341 | 0.02043 | 0.08312 | 0.3409 | json |
| t17_x3_u4_b17 | 17 | 3 | 4 | 17 | ![]() |
sub(P,lrg(D,cil(P))) | 100539 | 138172241 | o2(x,o2(x,o1(x))) | true | 121119 | 121119 | -0.04098 | 0.4688 | 0.959 | 0.9453 | 0.9723 | -1 | 1 | 2 | 1 | 1.571 | 0.006022 | 0 | 0.01586 | 1 | 1 | 0 | 0.008334 | 0.01158 | 0.005766 | 0.07594 | 4.787 | 0.9988 | 0.006371 | 0.008816 | 1 | 1 | 0.01045 | 0.06016 | 0.2663 | 0.01105 | 0.06364 | 0.2817 | json |
| t17_x3_u4_b18 | 17 | 3 | 4 | 18 | ![]() |
sub(P,eql(D,cil(P))) | 100540 | 138172242 | o2(x,o2(x,o1(x))) | true | 121127 | 121127 | 0 | 0.5 | 0.9375 | 0.924 | 0.9612 | -1 | 1 | 2 | 1 | 1.813 | 0.0007059 | 0 | 0.007937 | 1 | 1 | 0 | 0.00003235 | 0.001851 | 0.0006432 | 0.02536 | 3.195 | 0.1169 | 0.0007639 | 0.00003501 | 1 | 1 | 0.001851 | 0.02449 | 0.2344 | 0.002003 | 0.0265 | 0.2537 | json |
| t17_x3_u4_b19 | 17 | 3 | 4 | 19 | ![]() |
sub(P,min(D,cil(P))) | 100541 | 138172243 | o2(x,o2(x,o1(x))) | true | 121135 | 121135 | 0.4835 | 0.5625 | 0.4835 | 0.2366 | 0.4864 | 0 | 1 | 1 | 1 | 1.546 | 0.000614 | 0 | 0.006897 | 1 | 1 | 1.656e-9 | 0.0001095 | 0.003022 | 0.0005663 | 0.0238 | 3.45 | 0.1529 | 0.002595 | 0.0004628 | 1 | 1 | 0.001556 | 0.01531 | 0.06669 | 0.006577 | 0.06471 | 0.2819 | json |
| t17_x3_u4_b20 | 17 | 3 | 4 | 20 | ![]() |
sub(P,dot(D,cil(P))) | 100542 | 138172244 | o2(x,o2(x,o1(x))) | true | 121143 | 121143 | 0.03169 | 0.5168 | 0.9368 | 0.9149 | 0.9565 | -1 | 1 | 2 | 1 | 1.975 | 0.0008271 | 0.004124 | 0.02228 | -0.6659 | 1 | -0.0003586 | 0.001754 | 0.01191 | 0.004459 | 0.06677 | 2.997 | 0.4596 | 0.005412 | 0.001917 | 1 | 1 | 0.008026 | 0.06051 | 0.2276 | 0.008773 | 0.06614 | 0.2488 | json |
| t17_x3_u4_b21 | 17 | 3 | 4 | 21 | ![]() |
sub(P,dst(D,cil(P))) | 100543 | 138172245 | o2(x,o2(x,o1(x))) | true | 121151 | 121151 | -0.8954 | 0.0144 | 0.897 | 0.0679 | 0.2606 | -1 | 0.1453 | 1.145 | 1 | 1.317 | 0.0002547 | 0.0003178 | 0.008937 | -0.1102 | 1 | 0.00007331 | 0.0001176 | 0.003335 | 0.0004928 | 0.0222 | 2.484 | 0.2456 | 0.008433 | 0.001732 | 1 | 1 | 0.001485 | 0.01312 | 0.0545 | 0.02187 | 0.1933 | 0.8027 | json |
| t17_x3_u4_b22 | 17 | 3 | 4 | 22 | ![]() |
mlt(P,add(D,cil(P))) | 100544 | 138172246 | o2(x,o2(x,o1(x))) | true | 121159 | 121159 | 0.9196 | 0.9922 | 0.9196 | 0.05971 | 0.2443 | 0.000009095 | 1 | 1 | 1 | 0.8884 | 0.00068 | 0 | 0.007936 | 1 | 1 | 7.687e-10 | 0.00003474 | 0.001754 | 0.0006173 | 0.02485 | 3.131 | 0.1105 | 0.01139 | 0.0005818 | 1 | 1 | 0.001781 | 0.02357 | 0.08921 | 0.02983 | 0.3948 | 1.494 | json |
| t17_x3_u4_b23 | 17 | 3 | 4 | 23 | ![]() |
mlt(P,sub(D,cil(P))) | 100545 | 138172247 | o2(x,o2(x,o1(x))) | true | 121167 | 121167 | -0.9506 | 0 | 0.9506 | 0.03634 | 0.1906 | -1 | -0.000573 | 0.9994 | 1 | 0.5528 | 0.001005 | 0 | 0.008865 | 1 | 1 | -3.016e-9 | 0.0001619 | 0.003642 | 0.0009266 | 0.03044 | 3.434 | 0.1529 | 0.02765 | 0.004456 | 1 | 1 | 0.002558 | 0.02815 | 0.05226 | 0.07038 | 0.7745 | 1.438 | json |
| t17_x3_u4_b24 | 17 | 3 | 4 | 24 | ![]() |
mlt(P,mlt(D,cil(P))) | 100546 | 138172248 | o2(x,o2(x,o1(x))) | true | 121175 | 121175 | 1.486e-8 | 0.5 | 0.7248 | 0.659 | 0.8118 | -1 | 1 | 2 | 1 | 3.574 | 0.1916 | 0 | 0.1921 | 1 | 1 | 0 | 0.2709 | 0.2246 | 0.1548 | 0.3935 | 2.048 | 2 | 0.2908 | 0.411 | 1 | 1 | 0.1826 | 0.8212 | 0.1218 | 0.2772 | 1.246 | 0.1848 | json |
| t17_x3_u4_b25 | 17 | 3 | 4 | 25 | ![]() |
mlt(P,div(D,cil(P))) | 100547 | 138172249 | o2(x,o2(x,o1(x))) | true | 121183 | 121183 | -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 | 1.891e-9 | 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_x3_u4_b26 | 17 | 3 | 4 | 26 | ![]() |
mlt(P,pow(D,cil(P))) | 100548 | 138172250 | o2(x,o2(x,o1(x))) | true | 121191 | 121191 | -0.9768 | 0 | 0.9768 | 0.01917 | 0.1384 | -1 | -0.0003004 | 0.9997 | 1 | 0.2758 | 0.004706 | 0 | 0.007934 | 1 | 1 | 2.365e-10 | 0.008208 | 0.01014 | 0.004641 | 0.06813 | 8.587 | 0.9997 | 0.2455 | 0.4283 | 1 | 1 | 0.007039 | 0.02655 | 0.02655 | 0.3673 | 1.385 | 1.385 | json |
| t17_x3_u4_b27 | 17 | 3 | 4 | 27 | ![]() |
mlt(P,mod(D,cil(P))) | 100549 | 138172251 | o2(x,o2(x,o1(x))) | true | 121199 | 121199 | -0.2442 | 0.3594 | 0.5073 | 0.3057 | 0.5529 | -1 | 0.9606 | 1.961 | 1 | 4.582 | 0.04084 | 0 | 0.1445 | 1 | 1 | 0.002385 | 0.02213 | 0.07273 | 0.01997 | 0.1413 | 0.9783 | 1.031 | 0.1336 | 0.07237 | 1 | 1 | 0.04934 | 0.3138 | 0.1463 | 0.1614 | 1.026 | 0.4786 | json |
| t17_x3_u4_b28 | 17 | 3 | 4 | 28 | ![]() |
mlt(P,lrg(D,cil(P))) | 100550 | 138172252 | o2(x,o2(x,o1(x))) | true | 121207 | 121207 | -0.4688 | 0 | 0.4688 | 0.2423 | 0.4922 | -1 | 0 | 1 | 1 | 1.406 | 0.0003529 | 0 | 0.003968 | 1 | 1 | 4.731e-10 | 0.00001619 | 0.0009276 | 0.0003372 | 0.01836 | 4.628 | 0.1169 | 0.001457 | 0.00006684 | 1 | 1 | 0.0009255 | 0.01214 | 0.0751 | 0.00382 | 0.05012 | 0.31 | json |
| t17_x3_u4_b29 | 17 | 3 | 4 | 29 | ![]() |
mlt(P,eql(D,cil(P))) | 100551 | 138172253 | o2(x,o2(x,o1(x))) | true | 121215 | 121215 | 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_x3_u4_b30 | 17 | 3 | 4 | 30 | ![]() |
mlt(P,min(D,cil(P))) | 100552 | 138172254 | o2(x,o2(x,o1(x))) | true | 121223 | 121223 | 0.4002 | 0.6797 | 0.6689 | 0.4238 | 0.651 | -1 | 1 | 2 | 1 | 3.605 | 0.01684 | 0 | 0.07499 | 1 | 1 | 0.001193 | 0.003052 | 0.02997 | 0.01121 | 0.1059 | 1.412 | 0.4334 | 0.03974 | 0.007202 | 1 | 1 | 0.02115 | 0.1672 | 0.1023 | 0.0499 | 0.3946 | 0.2415 | json |
| t17_x3_u4_b31 | 17 | 3 | 4 | 31 | ![]() |
mlt(P,dot(D,cil(P))) | 100553 | 138172255 | o2(x,o2(x,o1(x))) | true | 121231 | 121231 | -1.353e-9 | 0.4997 | 0.7783 | 0.7211 | 0.8492 | -1 | 1 | 2 | 1 | 3.296 | 0.1361 | 0.08432 | 0.2236 | 0.235 | 1 | -1.802e-10 | 0.393 | 0.2656 | 0.1704 | 0.4128 | 1.846 | 2.828 | 0.3057 | 0.545 | 1 | 1 | 0.2149 | 0.944 | 0.2077 | 0.298 | 1.309 | 0.288 | json |
| t17_x3_u4_b32 | 17 | 3 | 4 | 32 | ![]() |
mlt(P,dst(D,cil(P))) | 100554 | 138172256 | o2(x,o2(x,o1(x))) | true | 121239 | 121239 | 2.328e-10 | 0.5 | 0.9672 | 0.9617 | 0.9806 | -1 | 1 | 2 | 1 | 1.416 | 0.001917 | 0.000005101 | 0.007974 | 0.9947 | 1 | -2.628e-11 | 0.0009407 | 0.005207 | 0.001858 | 0.04311 | 5.406 | 0.4716 | 0.001999 | 0.0009782 | 1 | 1 | 0.004109 | 0.03683 | 0.2818 | 0.004273 | 0.0383 | 0.2931 | json |
| t17_x3_u4_b33 | 17 | 3 | 4 | 33 | ![]() |
div(P,add(D,cil(P))) | 100555 | 138172257 | o2(x,o2(x,o1(x))) | true | 121247 | 121247 | 0.9514 | 1 | 0.9514 | 0.02451 | 0.1566 | 0.009314 | 1 | 0.9907 | 1 | 0.7286 | 0.001167 | 0 | 0.01319 | 1 | 1 | 1.815e-8 | 0.0001819 | 0.006426 | 0.0009933 | 0.03152 | 2.389 | 0.1613 | 0.04761 | 0.007419 | 1 | 1 | 0.002966 | 0.02724 | 0.03365 | 0.121 | 1.111 | 1.373 | json |
| t17_x3_u4_b34 | 17 | 3 | 4 | 34 | ![]() |
div(P,sub(D,cil(P))) | 100556 | 138172258 | o2(x,o2(x,o1(x))) | true | 121255 | 121255 | -0.9209 | 0 | 0.9209 | 0.05355 | 0.2314 | -1 | -0.0001478 | 0.9999 | 1 | 0.9166 | 0.0006306 | 0 | 0.009908 | 1 | 1 | -0.00003226 | 0.00004208 | 0.003594 | 0.0005323 | 0.02307 | 2.329 | 0.09868 | 0.01178 | 0.0007859 | 1 | 1 | 0.001639 | 0.02201 | 0.08031 | 0.03061 | 0.411 | 1.5 | json |
| t17_x3_u4_b35 | 17 | 3 | 4 | 35 | ![]() |
div(P,mlt(D,cil(P))) | 100557 | 138172259 | o2(x,o2(x,o1(x))) | true | 121263 | 121263 | -0.125 | 0.4375 | 0.93 | 0.8892 | 0.943 | -1 | 1 | 2 | 1 | 1.485 | 0.2807 | 0 | 0.2143 | 1 | 1 | -1.892e-9 | 0.4589 | 0.2864 | 0.2347 | 0.4845 | 2.261 | 2 | 0.3156 | 0.5161 | 1 | 1 | 0.3189 | 1.455 | 0.3185 | 0.3587 | 1.636 | 0.3582 | json |
| t17_x3_u4_b36 | 17 | 3 | 4 | 36 | ![]() |
div(P,div(D,cil(P))) | 100558 | 138172260 | o2(x,o2(x,o1(x))) | true | 121271 | 121271 | 0 | 0.5 | 0.9425 | 0.9317 | 0.9653 | -1 | 1 | 2 | 1 | 1.667 | 0.4167 | 0 | 0.2302 | 1 | 1 | 0 | 0.8024 | 0.4262 | 0.3635 | 0.6029 | 2.62 | 2 | 0.4472 | 0.8611 | 1 | 1 | 0.4152 | 1.541 | 0.1869 | 0.4457 | 1.654 | 0.2006 | json |
| t17_x3_u4_b37 | 17 | 3 | 4 | 37 | ![]() |
div(P,pow(D,cil(P))) | 100559 | 138172261 | o2(x,o2(x,o1(x))) | true | 121279 | 121279 | -0.9464 | 0 | 0.9464 | 0.04361 | 0.2088 | -1 | -0.000282 | 0.9997 | 1 | 0.4765 | 0.007778 | 0 | 0.009852 | 1 | 1 | 9.461e-10 | 0.01593 | 0.01649 | 0.007678 | 0.08762 | 8.894 | 0.9997 | 0.1784 | 0.3653 | 1 | 1 | 0.01007 | 0.03209 | 0.06262 | 0.2309 | 0.7358 | 1.436 | json |
| t17_x3_u4_b38 | 17 | 3 | 4 | 38 | ![]() |
div(P,mod(D,cil(P))) | 100560 | 138172262 | o2(x,o2(x,o1(x))) | true | 121287 | 121287 | -0.1579 | 0.4219 | 0.9762 | 0.9433 | 0.9712 | -1 | 1 | 2 | 1 | 1.269 | 0.3833 | 0 | 0.2222 | 1 | 1 | 3.788e-9 | 0.7092 | 0.3962 | 0.3339 | 0.5778 | 2.6 | 2 | 0.4063 | 0.7519 | 1 | 1 | 0.3885 | 1.616 | 0.3016 | 0.4119 | 1.713 | 0.3197 | json |
| t17_x3_u4_b39 | 17 | 3 | 4 | 39 | ![]() |
div(P,lrg(D,cil(P))) | 100561 | 138172263 | o2(x,o2(x,o1(x))) | true | 121295 | 121295 | -0.875 | 0.0625 | 1 | 0.2344 | 0.4841 | -1 | 1 | 2 | 1 | 0.3373 | 0.03175 | 0 | 0.01587 | 1 | 1 | 0 | 0.06349 | 0.03175 | 0.03149 | 0.1774 | 11.18 | 2 | 0.1354 | 0.2709 | 1 | 1 | 0.04211 | 0.1684 | 0.3368 | 0.1796 | 0.7186 | 1.437 | json |
| t17_x3_u4_b40 | 17 | 3 | 4 | 40 | ![]() |
div(P,eql(D,cil(P))) | 100562 | 138172264 | o2(x,o2(x,o1(x))) | true | 121303 | 121303 | -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_x3_u4_b41 | 17 | 3 | 4 | 41 | ![]() |
div(P,min(D,cil(P))) | 100563 | 138172265 | o2(x,o2(x,o1(x))) | true | 121311 | 121311 | 0.3898 | 0.7109 | 0.9569 | 0.7937 | 0.8909 | -1 | 1 | 2 | 1 | 1.448 | 0.196 | 0 | 0.119 | 1 | 1 | 7.565e-9 | 0.3625 | 0.2069 | 0.1819 | 0.4265 | 3.583 | 2 | 0.2469 | 0.4567 | 1 | 1 | 0.2057 | 0.8897 | 0.2974 | 0.2592 | 1.121 | 0.3747 | json |
| t17_x3_u4_b42 | 17 | 3 | 4 | 42 | ![]() |
div(P,dot(D,cil(P))) | 100564 | 138172266 | o2(x,o2(x,o1(x))) | true | 121319 | 121319 | -0.02991 | 0.4842 | 0.8176 | 0.7696 | 0.8773 | -1 | 1 | 2 | 1 | 3.01 | 0.3726 | 0.3418 | 0.4477 | 0.04324 | 1 | 4.618e-10 | 2.468 | 0.7667 | 0.5141 | 0.717 | 1.601 | 2.828 | 0.9283 | 3.207 | 1 | 1 | 0.6975 | 1.922 | 0.7695 | 0.9064 | 2.498 | 0.9998 | json |
| t17_x3_u4_b43 | 17 | 3 | 4 | 43 | ![]() |
div(P,dst(D,cil(P))) | 100565 | 138172267 | o2(x,o2(x,o1(x))) | true | 121327 | 121327 | 4.884e-10 | 0.4973 | 0.6402 | 0.4929 | 0.7021 | -1 | 1 | 2 | 1 | 4.794 | 0.0001677 | 0.00008094 | 0.01117 | 0.3491 | 1 | -3.011e-10 | 0.00002256 | 0.002933 | 0.0001239 | 0.01113 | 0.9968 | 0.09867 | 0.0005045 | 0.00004577 | 1 | 1 | 0.0007696 | 0.009535 | 0.1002 | 0.001561 | 0.01934 | 0.2033 | json |
| t17_x3_u4_b44 | 17 | 3 | 4 | 44 | ![]() |
pow(P,add(D,cil(P))) | 100566 | 138172268 | o2(x,o2(x,o1(x))) | true | 121335 | 121335 | -0.03125 | 0.5 | 0.9688 | 0.9603 | 0.98 | -1 | 1 | 2 | 1 | 1.406 | 0.004323 | 0 | 0.007937 | 1 | 1 | -9.386e-13 | 0.007903 | 0.008812 | 0.004259 | 0.06526 | 8.223 | 1 | 0.004502 | 0.008229 | 1 | 1 | 0.006228 | 0.03975 | 0.2856 | 0.006485 | 0.04139 | 0.2974 | json |
| t17_x3_u4_b45 | 17 | 3 | 4 | 45 | ![]() |
pow(P,sub(D,cil(P))) | 100567 | 138172269 | o2(x,o2(x,o1(x))) | true | 121343 | 121343 | -0.4186 | 0.3594 | 0.5814 | 0.3796 | 0.6161 | -1 | 0.9997 | 2 | 1 | 2.018 | 0.004563 | 0 | 0.01222 | 1 | 1 | -2.839e-9 | 0.007916 | 0.009958 | 0.004415 | 0.06644 | 5.437 | 1 | 0.01202 | 0.02086 | 1 | 1 | 0.006853 | 0.04744 | 0.245 | 0.01805 | 0.125 | 0.6456 | json |
| t17_x3_u4_b46 | 17 | 3 | 4 | 46 | ![]() |
pow(P,mlt(D,cil(P))) | 100568 | 138172270 | o2(x,o2(x,o1(x))) | true | 121351 | 121351 | -0.01826 | 0.5 | 0.9818 | 0.9672 | 0.9835 | -1 | 1 | 2 | 1 | 1.524 | 0.01675 | 0 | 0.01631 | 1 | 1 | -1.892e-9 | 0.03297 | 0.02397 | 0.01647 | 0.1284 | 7.871 | 2 | 0.01732 | 0.03408 | 1 | 1 | 0.02257 | 0.0894 | 0.3165 | 0.02333 | 0.09243 | 0.3273 | json |
| t17_x3_u4_b47 | 17 | 3 | 4 | 47 | ![]() |
pow(P,div(D,cil(P))) | 100569 | 138172271 | o2(x,o2(x,o1(x))) | true | 121359 | 121359 | -0.0384 | 0.5 | 0.9616 | 0.9467 | 0.973 | -1 | 1 | 2 | 1 | 1.523 | 0.004355 | 0 | 0.01044 | 1 | 1 | 0.00003526 | 0.007916 | 0.01055 | 0.004246 | 0.06516 | 6.24 | 1 | 0.004601 | 0.008362 | 1 | 1 | 0.006292 | 0.04005 | 0.278 | 0.006647 | 0.04231 | 0.2936 | json |
| t17_x3_u4_b48 | 17 | 3 | 4 | 48 | ![]() |
pow(P,pow(D,cil(P))) | 100570 | 138172272 | o2(x,o2(x,o1(x))) | true | 121367 | 121367 | -0.9063 | 0.0625 | 0.9688 | 0.1407 | 0.3751 | -1 | 0.9997 | 2 | 1 | 0.5501 | 0.02019 | 0 | 0.01587 | 1 | 1 | 0 | 0.03975 | 0.02468 | 0.01993 | 0.1412 | 8.896 | 2 | 0.1435 | 0.2825 | 1 | 1 | 0.0272 | 0.1109 | 0.2014 | 0.1933 | 0.7879 | 1.432 | json |
| t17_x3_u4_b49 | 17 | 3 | 4 | 49 | ![]() |
pow(P,mod(D,cil(P))) | 100571 | 138172273 | o2(x,o2(x,o1(x))) | true | 121375 | 121375 | -0.143 | 0.4375 | 0.982 | 0.9454 | 0.9723 | -1 | 1 | 2 | 1 | 1.488 | 0.01628 | 0 | 0.0157 | 1 | 1 | 0.00001491 | 0.03211 | 0.02265 | 0.01603 | 0.1266 | 8.067 | 2 | 0.01722 | 0.03396 | 1 | 1 | 0.02163 | 0.08186 | 0.3154 | 0.02288 | 0.08659 | 0.3337 | json |
| t17_x3_u4_b50 | 17 | 3 | 4 | 50 | ![]() |
pow(P,lrg(D,cil(P))) | 100572 | 138172274 | o2(x,o2(x,o1(x))) | true | 121383 | 121383 | -0.03125 | 0.5 | 0.9688 | 0.9603 | 0.98 | -1 | 1 | 2 | 1 | 1.406 | 0.004323 | 0 | 0.007937 | 1 | 1 | -9.386e-13 | 0.007903 | 0.008812 | 0.004259 | 0.06526 | 8.223 | 1 | 0.004502 | 0.008229 | 1 | 1 | 0.006228 | 0.03975 | 0.2856 | 0.006485 | 0.04139 | 0.2974 | json |
| t17_x3_u4_b51 | 17 | 3 | 4 | 51 | ![]() |
pow(P,eql(D,cil(P))) | 100573 | 138172275 | o2(x,o2(x,o1(x))) | true | 121391 | 121391 | 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_x3_u4_b52 | 17 | 3 | 4 | 52 | ![]() |
pow(P,min(D,cil(P))) | 100574 | 138172276 | o2(x,o2(x,o1(x))) | true | 121399 | 121399 | -0.01804 | 0.5 | 0.982 | 0.9658 | 0.9828 | -1 | 1 | 2 | 1 | 1.527 | 0.01628 | 0 | 0.0157 | 1 | 1 | 0.00001491 | 0.03206 | 0.02265 | 0.01603 | 0.1266 | 8.067 | 2 | 0.01686 | 0.0332 | 1 | 1 | 0.02167 | 0.0864 | 0.3234 | 0.02243 | 0.08946 | 0.3348 | json |
| t17_x3_u4_b53 | 17 | 3 | 4 | 53 | ![]() |
pow(P,dot(D,cil(P))) | 100575 | 138172277 | o2(x,o2(x,o1(x))) | true | 121407 | 121407 | -0.1357 | 0.4375 | 0.9893 | 0.9624 | 0.981 | -1 | 1 | 2 | 1 | 1.32 | 0.01638 | 0.0003475 | 0.01392 | 0.9585 | 1 | -0.00004857 | 0.03328 | 0.02205 | 0.01653 | 0.1286 | 9.24 | 2 | 0.01739 | 0.03458 | 1 | 1 | 0.02272 | 0.08447 | 0.3114 | 0.02361 | 0.08777 | 0.3236 | json |
| t17_x3_u4_b54 | 17 | 3 | 4 | 54 | ![]() |
pow(P,dst(D,cil(P))) | 100576 | 138172278 | o2(x,o2(x,o1(x))) | true | 121415 | 121415 | -0.03125 | 0.5 | 0.9688 | 0.9603 | 0.98 | -1 | 1 | 2 | 1 | 1.406 | 0.004323 | 0 | 0.007937 | 1 | 1 | -9.386e-13 | 0.007903 | 0.008812 | 0.004259 | 0.06526 | 8.223 | 1 | 0.004502 | 0.008229 | 1 | 1 | 0.006228 | 0.03975 | 0.2856 | 0.006485 | 0.04139 | 0.2974 | json |
| t17_x3_u4_b55 | 17 | 3 | 4 | 55 | ![]() |
mod(P,add(D,cil(P))) | 100577 | 138172279 | o2(x,o2(x,o1(x))) | true | 121423 | 121423 | 1.211e-10 | 0.4961 | 0.6904 | 0.6307 | 0.7941 | -1 | 1 | 2 | 1 | 3.508 | 0.06374 | 0 | 0.1106 | 1 | 1 | 0 | 0.1187 | 0.1434 | 0.05151 | 0.2269 | 2.053 | 0.9688 | 0.1011 | 0.1881 | 1 | 1 | 0.06526 | 0.1636 | 0.1142 | 0.1035 | 0.2594 | 0.1811 | json |
| t17_x3_u4_b56 | 17 | 3 | 4 | 56 | ![]() |
mod(P,sub(D,cil(P))) | 100578 | 138172280 | o2(x,o2(x,o1(x))) | true | 121431 | 121431 | 2.91e-11 | 0.5 | 0.7635 | 0.7106 | 0.843 | -1 | 1 | 2 | 1 | 3.247 | 0.06561 | 0 | 0.1154 | 1 | 1 | 0 | 0.1203 | 0.1455 | 0.0523 | 0.2287 | 1.982 | 0.9679 | 0.09232 | 0.1692 | 1 | 1 | 0.06935 | 0.1562 | 0.1462 | 0.09758 | 0.2199 | 0.2058 | json |
| t17_x3_u4_b57 | 17 | 3 | 4 | 57 | ![]() |
mod(P,mlt(D,cil(P))) | 100579 | 138172281 | o2(x,o2(x,o1(x))) | true | 121439 | 121439 | -0.125 | 0.4063 | 0.621 | 0.5015 | 0.7082 | -1 | 1 | 2 | 1 | 4.195 | 0.03456 | 0 | 0.1089 | 1 | 1 | -9.47e-10 | 0.0581 | 0.1614 | 0.02269 | 0.1506 | 1.383 | 1 | 0.06891 | 0.1159 | 1 | 1 | 0.04015 | 0.185 | 0.2153 | 0.08006 | 0.369 | 0.4294 | json |
| t17_x3_u4_b58 | 17 | 3 | 4 | 58 | ![]() |
mod(P,div(D,cil(P))) | 100580 | 138172282 | o2(x,o2(x,o1(x))) | true | 121447 | 121447 | -0.125 | 0.3789 | 0.161 | 0.1132 | 0.3365 | -1 | 0.2768 | 1.277 | 1 | 2.273 | 0.008978 | 0 | 0.02683 | 1 | 1 | -9.455e-10 | 0.01821 | 0.04462 | 0.00826 | 0.09088 | 3.387 | 1 | 0.0793 | 0.1608 | 1 | 1 | 0.01169 | 0.04572 | 0.172 | 0.1033 | 0.4038 | 1.519 | json |
| t17_x3_u4_b59 | 17 | 3 | 4 | 59 | ![]() |
mod(P,pow(D,cil(P))) | 100581 | 138172283 | o2(x,o2(x,o1(x))) | true | 121455 | 121455 | -0.9688 | 0 | 0.9688 | 0.02351 | 0.1533 | -1 | -0.000291 | 0.9997 | 1 | 0.459 | 0.004319 | 0 | 0.007934 | 1 | 1 | 0 | 0.008002 | 0.008862 | 0.004255 | 0.06523 | 8.221 | 0.9997 | 0.1837 | 0.3404 | 1 | 1 | 0.00615 | 0.02664 | 0.03299 | 0.2616 | 1.133 | 1.403 | json |
| t17_x3_u4_b60 | 17 | 3 | 4 | 60 | ![]() |
mod(P,mod(D,cil(P))) | 100582 | 138172284 | o2(x,o2(x,o1(x))) | true | 121463 | 121463 | -0.125 | 0.3828 | 0.2525 | 0.137 | 0.3701 | -1 | 0.3853 | 1.385 | 1 | 3.585 | 0.01482 | 0 | 0.06738 | 1 | 1 | -9.452e-10 | 0.03226 | 0.1086 | 0.01028 | 0.1014 | 1.505 | 1 | 0.1082 | 0.2355 | 1 | 1 | 0.0156 | 0.05766 | 0.1749 | 0.1139 | 0.4209 | 1.277 | json |
| t17_x3_u4_b61 | 17 | 3 | 4 | 61 | ![]() |
mod(P,lrg(D,cil(P))) | 100583 | 138172285 | o2(x,o2(x,o1(x))) | true | 121471 | 121471 | -0.5625 | 0 | 0.5625 | 0.2461 | 0.4961 | -1 | 0 | 1 | 1 | 0.9887 | 0.003968 | 0 | 0.003968 | 1 | 1 | 0 | 0.007937 | 0.007937 | 0.003952 | 0.06287 | 15.84 | 1 | 0.01612 | 0.03225 | 1 | 1 | 0.005263 | 0.02105 | 0.08421 | 0.02139 | 0.08555 | 0.3422 | json |
| t17_x3_u4_b62 | 17 | 3 | 4 | 62 | ![]() |
mod(P,eql(D,cil(P))) | 100584 | 138172286 | o2(x,o2(x,o1(x))) | true | 121479 | 121479 | -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_x3_u4_b63 | 17 | 3 | 4 | 63 | ![]() |
mod(P,min(D,cil(P))) | 100585 | 138172287 | o2(x,o2(x,o1(x))) | true | 121487 | 121487 | -0.249 | 0.3828 | 0.3765 | 0.2546 | 0.5046 | -1 | 0.3853 | 1.385 | 1 | 2.824 | 0.01544 | 0 | 0.05271 | 1 | 1 | 0.0006207 | 0.02581 | 0.07304 | 0.01267 | 0.1126 | 2.135 | 1 | 0.06067 | 0.1014 | 1 | 1 | 0.02011 | 0.1086 | 0.199 | 0.079 | 0.4265 | 0.7817 | json |
| t17_x3_u4_b64 | 17 | 3 | 4 | 64 | ![]() |
mod(P,dot(D,cil(P))) | 100586 | 138172288 | o2(x,o2(x,o1(x))) | true | 121495 | 121495 | -0.03467 | 0.481 | 0.6476 | 0.5478 | 0.7401 | -1 | 1 | 2 | 1 | 4.264 | 0.114 | 0.1157 | 0.3028 | -0.007239 | 1 | -3.004e-11 | 1.144 | 0.6321 | 0.138 | 0.3715 | 1.227 | 2.828 | 0.4193 | 2.088 | 1 | 1 | 0.1505 | 0.27 | 0.2637 | 0.2748 | 0.4928 | 0.4814 | json |
| t17_x3_u4_b65 | 17 | 3 | 4 | 65 | ![]() |
mod(P,dst(D,cil(P))) | 100587 | 138172289 | o2(x,o2(x,o1(x))) | true | 121503 | 121503 | 2.328e-10 | 0.5 | 0.9265 | 0.9088 | 0.9533 | -1 | 1 | 2 | 1 | 1.987 | 0.005659 | 0.001224 | 0.01987 | 0.6443 | 1 | -8.823e-11 | 0.01631 | 0.02042 | 0.00649 | 0.08056 | 4.054 | 1.338 | 0.007575 | 0.01795 | 1 | 1 | 0.009248 | 0.04041 | 0.2365 | 0.01018 | 0.04446 | 0.2602 | json |
| t17_x3_u4_b66 | 17 | 3 | 4 | 66 | ![]() |
lrg(P,add(D,cil(P))) | 100588 | 138172290 | o2(x,o2(x,o1(x))) | true | 121511 | 121511 | 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_x3_u4_b67 | 17 | 3 | 4 | 67 | ![]() |
lrg(P,sub(D,cil(P))) | 100589 | 138172291 | o2(x,o2(x,o1(x))) | true | 121519 | 121519 | 0.5 | 0.5625 | 0.5 | 0.2365 | 0.4863 | 0 | 1 | 1 | 1 | 1.577 | 0.00467 | 0 | 0.0119 | 1 | 1 | -4.731e-10 | 0.008068 | 0.009787 | 0.004528 | 0.06729 | 5.654 | 0.9994 | 0.01975 | 0.03412 | 1 | 1 | 0.007036 | 0.03244 | 0.06598 | 0.02976 | 0.1372 | 0.279 | json |
| t17_x3_u4_b68 | 17 | 3 | 4 | 68 | ![]() |
lrg(P,mlt(D,cil(P))) | 100590 | 138172292 | o2(x,o2(x,o1(x))) | true | 121527 | 121527 | 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_x3_u4_b69 | 17 | 3 | 4 | 69 | ![]() |
lrg(P,div(D,cil(P))) | 100591 | 138172293 | o2(x,o2(x,o1(x))) | true | 121535 | 121535 | 0.5 | 0.5625 | 0.5 | 0.2365 | 0.4863 | 0 | 1 | 1 | 1 | 1.577 | 0.00467 | 0 | 0.0119 | 1 | 1 | -4.731e-10 | 0.008068 | 0.009787 | 0.004528 | 0.06729 | 5.654 | 0.9994 | 0.01975 | 0.03412 | 1 | 1 | 0.007036 | 0.03244 | 0.06598 | 0.02976 | 0.1372 | 0.279 | json |
| t17_x3_u4_b70 | 17 | 3 | 4 | 70 | ![]() |
lrg(P,pow(D,cil(P))) | 100592 | 138172294 | o2(x,o2(x,o1(x))) | true | 121543 | 121543 | 0.6875 | 0.9375 | 0.6875 | 0.1607 | 0.4009 | 0 | 1 | 1 | 1 | 2.466 | 0.03057 | 0 | 0.05938 | 1 | 1 | -0.00008984 | 0.05632 | 0.06286 | 0.02705 | 0.1645 | 2.77 | 0.9997 | 0.1902 | 0.3504 | 1 | 1 | 0.03151 | 0.1181 | 0.0751 | 0.1961 | 0.735 | 0.4672 | json |
| t17_x3_u4_b71 | 17 | 3 | 4 | 71 | ![]() |
lrg(P,mod(D,cil(P))) | 100593 | 138172295 | o2(x,o2(x,o1(x))) | true | 121551 | 121551 | 0.5313 | 0.5625 | 0.5313 | 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_x3_u4_b72 | 17 | 3 | 4 | 72 | ![]() |
lrg(P,lrg(D,cil(P))) | 100594 | 138172296 | o2(x,o2(x,o1(x))) | true | 121559 | 121559 | 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_x3_u4_b73 | 17 | 3 | 4 | 73 | ![]() |
lrg(P,eql(D,cil(P))) | 100595 | 138172297 | o2(x,o2(x,o1(x))) | true | 121567 | 121567 | 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_x3_u4_b74 | 17 | 3 | 4 | 74 | ![]() |
lrg(P,min(D,cil(P))) | 100596 | 138172298 | o2(x,o2(x,o1(x))) | true | 121575 | 121575 | 0.5 | 0.5625 | 0.5 | 0.2365 | 0.4863 | 0 | 1 | 1 | 1 | 1.577 | 0.00467 | 0 | 0.0119 | 1 | 1 | -4.731e-10 | 0.008068 | 0.009787 | 0.004528 | 0.06729 | 5.654 | 0.9994 | 0.01975 | 0.03412 | 1 | 1 | 0.007036 | 0.03244 | 0.06598 | 0.02976 | 0.1372 | 0.279 | json |
| t17_x3_u4_b75 | 17 | 3 | 4 | 75 | ![]() |
lrg(P,dot(D,cil(P))) | 100597 | 138172299 | o2(x,o2(x,o1(x))) | true | 121583 | 121583 | 0.5075 | 0.7453 | 0.5075 | 0.2098 | 0.458 | 0 | 1 | 1 | 1 | 2.38 | 0.002912 | 0.01088 | 0.04175 | -0.5778 | 1 | -0.0002407 | 0.03746 | 0.05267 | 0.01205 | 0.1098 | 2.63 | 1.341 | 0.06574 | 0.1785 | 1 | 1 | 0.01446 | 0.05012 | 0.07181 | 0.06893 | 0.2389 | 0.3423 | json |
| t17_x3_u4_b76 | 17 | 3 | 4 | 76 | ![]() |
lrg(P,dst(D,cil(P))) | 100598 | 138172300 | o2(x,o2(x,o1(x))) | true | 121591 | 121591 | 0.03624 | 0.14 | 0.03624 | 0.02006 | 0.1416 | 0 | 0.9994 | 0.9994 | 1 | 0.7425 | 0.004706 | 0.001199 | 0.01509 | 0.5939 | 1 | -0.00003734 | 0.0154 | 0.0179 | 0.005672 | 0.07531 | 4.992 | 1.383 | 0.2943 | 0.7678 | 1 | 1 | 0.007138 | 0.02682 | 0.02248 | 0.3558 | 1.337 | 1.12 | json |
| t17_x3_u4_b77 | 17 | 3 | 4 | 77 | ![]() |
eql(P,add(D,cil(P))) | 100599 | 138172301 | o2(x,o2(x,o1(x))) | true | 121599 | 121599 | 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 |



































































































