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_x24_u3_b112 | 17 | 24 | 3 | 112 | ![]() |
dst(R,mlt(R,flr(P))) | 118300 | 139020556 | o2(x,o2(x,o1(x))) | true | 106407 | 106407 | 0.9848 | 1 | 0.9848 | 0.005353 | 0.07316 | 0.2809 | 1 | 0.7191 | 1 | 0.4721 | 0.0001199 | 0.000168 | 0.003441 | -0.1671 | 1 | -0.000006953 | 0.0001636 | 0.00214 | 0.0002759 | 0.01661 | 4.827 | 0.3021 | 0.05378 | 0.03057 | 1 | 1 | 0.0006059 | 0.005577 | 0.01519 | 0.1132 | 1.042 | 2.838 | json |
| t17_x24_u3_b113 | 17 | 24 | 3 | 113 | ![]() |
dst(R,div(R,flr(P))) | 118301 | 139020557 | o2(x,o2(x,o1(x))) | true | 106415 | 106415 | -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_x24_u3_b114 | 17 | 24 | 3 | 114 | ![]() |
dst(R,pow(R,flr(P))) | 118302 | 139020558 | o2(x,o2(x,o1(x))) | true | 106423 | 106423 | -0.9766 | 0.01172 | 0.9999 | 0.04601 | 0.2145 | -1 | 1 | 2 | 1 | 0.09538 | 0.005961 | 0.003968 | 0.004992 | 0.2007 | 1 | 0 | 0.02083 | 0.01002 | 0.009898 | 0.09949 | 19.93 | 2.828 | 0.2158 | 0.4527 | 1 | 1 | 0.01747 | 0.0704 | 0.1673 | 0.3798 | 1.53 | 3.637 | json |
| t17_x24_u3_b115 | 17 | 24 | 3 | 115 | ![]() |
dst(R,mod(R,flr(P))) | 118303 | 139020559 | o2(x,o2(x,o1(x))) | true | 106431 | 106431 | -0.2344 | 0 | 0.2344 | 0.1793 | 0.4235 | -1 | 0 | 1 | 1 | 0.7856 | 0.006929 | 0.006929 | 0.01385 | 0 | 1 | 0 | 0.02784 | 0.02771 | 0.01366 | 0.1169 | 8.44 | 1.414 | 0.07728 | 0.1553 | 1 | 1 | 0.01751 | 0.07003 | 0.2801 | 0.09763 | 0.3905 | 1.562 | json |
| t17_x24_u3_b116 | 17 | 24 | 3 | 116 | ![]() |
dst(R,lrg(R,flr(P))) | 118304 | 139020560 | o2(x,o2(x,o1(x))) | true | 106439 | 106439 | 0.9431 | 1 | 0.9431 | 0.0148 | 0.1216 | 0.21 | 1 | 0.79 | 1 | 1.429 | 0.0003039 | 0.0004033 | 0.01151 | -0.1405 | 1 | -0.00004627 | 0.0002148 | 0.005169 | 0.0005744 | 0.02397 | 2.082 | 0.2028 | 0.04779 | 0.01452 | 1 | 1 | 0.001285 | 0.0123 | 0.02868 | 0.08684 | 0.8312 | 1.939 | json |
| t17_x24_u3_b117 | 17 | 24 | 3 | 117 | ![]() |
dst(R,eql(R,flr(P))) | 118305 | 139020561 | o2(x,o2(x,o1(x))) | true | 106447 | 106447 | 0.897 | 1 | 0.897 | 0.02252 | 0.1501 | 0.09951 | 1 | 0.9005 | 1 | 2.181 | 0.0003411 | 0.0004606 | 0.01666 | -0.149 | 1 | -0.00001961 | 0.000143 | 0.005703 | 0.0005243 | 0.0229 | 1.374 | 0.1266 | 0.0356 | 0.006351 | 1 | 1 | 0.001342 | 0.015 | 0.03485 | 0.05959 | 0.666 | 1.547 | json |
| t17_x24_u3_b118 | 17 | 24 | 3 | 118 | ![]() |
dst(R,min(R,flr(P))) | 118306 | 139020562 | o2(x,o2(x,o1(x))) | true | 106455 | 106455 | 0.7918 | 0.9841 | 0.7918 | 0.1255 | 0.3543 | 0 | 1 | 1 | 1 | 1.923 | 0.000447 | 0.0003105 | 0.01167 | 0.1803 | 1 | -0.00001466 | 0.00009501 | 0.003233 | 0.0006213 | 0.02493 | 2.137 | 0.2214 | 0.006034 | 0.0007569 | 1 | 1 | 0.001549 | 0.01869 | 0.07612 | 0.01234 | 0.1489 | 0.6064 | json |
| t17_x24_u3_b119 | 17 | 24 | 3 | 119 | ![]() |
dst(R,dot(R,flr(P))) | 118307 | 139020563 | o2(x,o2(x,o1(x))) | true | 106463 | 106463 | 0.9941 | 1 | 0.9941 | 0.001958 | 0.04425 | 0.1865 | 1 | 0.8135 | 1 | 0.2241 | 0.0001262 | 0.000194 | 0.002527 | -0.212 | 1 | -0.00003758 | 0.0002685 | 0.002321 | 0.0003138 | 0.01771 | 7.011 | 0.3554 | 0.1635 | 0.1371 | 1 | 1 | 0.0006253 | 0.003719 | 0.005643 | 0.3193 | 1.899 | 2.881 | json |
| t17_x24_u3_b120 | 17 | 24 | 3 | 120 | ![]() |
dst(R,dst(R,flr(P))) | 118308 | 139020564 | o2(x,o2(x,o1(x))) | true | 106471 | 106471 | 0.9996 | 1 | 0.9996 | 0.0001605 | 0.01267 | 0.4856 | 1 | 0.5144 | 1 | 0.01926 | 0.0000157 | 0.00001342 | 0.0002089 | 0.0785 | 0 | -1.502e-11 | 0.0000192 | 0.0001734 | 0.00002906 | 0.005391 | 25.8 | 0.2519 | 0.1814 | 0.1196 | 1 | 1 | 0.00008952 | 0.0005479 | 0.0005838 | 0.5577 | 3.413 | 3.637 | json |
| t17_x24_u4_b0 | 17 | 24 | 4 | 0 | ![]() |
add(R,add(R,cil(P))) | 118309 | 139020645 | o2(x,o2(x,o1(x))) | true | 106479 | 106479 | 0.01261 | 0.507 | 0.9466 | 0.9272 | 0.9629 | -1 | 1 | 2 | 1 | 1.912 | 0.002445 | 0.001452 | 0.0176 | 0.2549 | 1 | -0.00004245 | 0.001018 | 0.007264 | 0.003586 | 0.05989 | 3.404 | 0.5071 | 0.004203 | 0.001098 | 1 | 1 | 0.009147 | 0.09627 | 0.3741 | 0.009865 | 0.1038 | 0.4035 | json |
| t17_x24_u4_b1 | 17 | 24 | 4 | 1 | ![]() |
add(R,sub(R,cil(P))) | 118310 | 139020646 | o2(x,o2(x,o1(x))) | true | 106487 | 106487 | 0.009129 | 0.5065 | 0.9387 | 0.9169 | 0.9575 | -1 | 1 | 2 | 1 | 2.004 | 0.002544 | 0.001605 | 0.01976 | 0.2263 | 1 | -0.00003295 | 0.001008 | 0.007816 | 0.00376 | 0.06132 | 3.103 | 0.5495 | 0.004525 | 0.001099 | 1 | 1 | 0.009684 | 0.1019 | 0.3603 | 0.01056 | 0.1111 | 0.393 | json |
| t17_x24_u4_b2 | 17 | 24 | 4 | 2 | ![]() |
add(R,mlt(R,cil(P))) | 118311 | 139020647 | o2(x,o2(x,o1(x))) | true | 106495 | 106495 | -0.06496 | 0.4715 | 0.7252 | 0.6434 | 0.8021 | -1 | 1 | 2 | 1 | 3.778 | 0.01726 | 0.01985 | 0.09398 | -0.06994 | 1 | -0.00004042 | 0.02076 | 0.0503 | 0.02827 | 0.1681 | 1.789 | 1.636 | 0.05768 | 0.03226 | 1 | 1 | 0.05307 | 0.4669 | 1.033 | 0.08249 | 0.7256 | 1.606 | json |
| t17_x24_u4_b3 | 17 | 24 | 4 | 3 | ![]() |
add(R,div(R,cil(P))) | 118312 | 139020648 | o2(x,o2(x,o1(x))) | true | 106503 | 106503 | -0.1243 | 0.4247 | 0.4588 | 0.3066 | 0.5537 | -1 | 1 | 2 | 1 | 4.676 | 0.01605 | 0.002976 | 0.06274 | 0.6871 | 1 | 0.00004563 | 0.02729 | 0.03134 | 0.01509 | 0.1228 | 1.958 | 2 | 0.06203 | 0.08901 | 1 | 1 | 0.02751 | 0.1999 | 0.5216 | 0.08971 | 0.652 | 1.701 | json |
| t17_x24_u4_b4 | 17 | 24 | 4 | 4 | ![]() |
add(R,pow(R,cil(P))) | 118313 | 139020649 | o2(x,o2(x,o1(x))) | true | 106511 | 106511 | -0.8583 | 0.07422 | 0.9933 | 0.2536 | 0.5035 | -1 | 1 | 2 | 1 | 0.495 | 0.02269 | 0.02271 | 0.0246 | -0.0005918 | 1 | 0.00000109 | 0.09443 | 0.04759 | 0.04476 | 0.2116 | 8.601 | 2.828 | 0.179 | 0.3724 | 1 | 1 | 0.04359 | 0.1854 | 0.5904 | 0.1719 | 0.7314 | 2.328 | json |
| t17_x24_u4_b5 | 17 | 24 | 4 | 5 | ![]() |
add(R,mod(R,cil(P))) | 118314 | 139020650 | o2(x,o2(x,o1(x))) | true | 106519 | 106519 | -0.1182 | 0.4325 | 0.6953 | 0.5809 | 0.7622 | -1 | 1 | 2 | 1 | 4.144 | 0.0245 | 0.008569 | 0.09056 | 0.4817 | 1 | 0.00003845 | 0.03761 | 0.04492 | 0.02486 | 0.1577 | 1.741 | 2.017 | 0.05692 | 0.06474 | 1 | 1 | 0.0503 | 0.4057 | 0.9787 | 0.08659 | 0.6983 | 1.685 | json |
| t17_x24_u4_b6 | 17 | 24 | 4 | 6 | ![]() |
add(R,lrg(R,cil(P))) | 118315 | 139020651 | o2(x,o2(x,o1(x))) | true | 106527 | 106527 | 0.3937 | 0.7233 | 0.6048 | 0.324 | 0.5692 | -0.9986 | 1 | 1.999 | 1 | 4.299 | 0.002645 | 0.002519 | 0.04966 | 0.02444 | 1 | -0.00002429 | 0.0006386 | 0.01415 | 0.002698 | 0.05194 | 1.046 | 0.3332 | 0.01594 | 0.001971 | 1 | 1 | 0.01068 | 0.1279 | 0.3464 | 0.03297 | 0.3948 | 1.069 | json |
| t17_x24_u4_b7 | 17 | 24 | 4 | 7 | ![]() |
add(R,eql(R,cil(P))) | 118316 | 139020652 | o2(x,o2(x,o1(x))) | true | 106535 | 106535 | 0.008979 | 0.4983 | 0.3946 | 0.2196 | 0.4686 | -0.9989 | 0.9806 | 1.979 | 1 | 4.862 | 0.002813 | 0.00317 | 0.0632 | -0.05957 | 1 | 0.00002651 | 0.0003508 | 0.01449 | 0.001989 | 0.0446 | 0.7057 | 0.2301 | 0.02725 | 0.001598 | 1 | 1 | 0.01182 | 0.1519 | 0.3914 | 0.05384 | 0.6917 | 1.782 | json |
| t17_x24_u4_b8 | 17 | 24 | 4 | 8 | ![]() |
add(R,min(R,cil(P))) | 118317 | 139020653 | o2(x,o2(x,o1(x))) | true | 106543 | 106543 | -0.4858 | 0.2433 | 0.7951 | 0.491 | 0.7007 | -1 | 1 | 2 | 1 | 3.163 | 0.005138 | 0.004837 | 0.05358 | 0.03013 | 1 | -0.000006204 | 0.001663 | 0.01663 | 0.007102 | 0.08428 | 1.573 | 0.438 | 0.02032 | 0.003387 | 1 | 1 | 0.01984 | 0.2283 | 0.5964 | 0.04042 | 0.465 | 1.215 | json |
| t17_x24_u4_b9 | 17 | 24 | 4 | 9 | ![]() |
add(R,dot(R,cil(P))) | 118318 | 139020654 | o2(x,o2(x,o1(x))) | true | 106551 | 106551 | -0.09424 | 0.4515 | 0.8434 | 0.7877 | 0.8875 | -1 | 1 | 2 | 1 | 2.905 | 0.02502 | 0.03254 | 0.1011 | -0.1307 | 1 | 0.00005125 | 0.04614 | 0.07442 | 0.04735 | 0.2176 | 2.152 | 1.829 | 0.07307 | 0.05858 | 1 | 1 | 0.07397 | 0.5701 | 1.385 | 0.0939 | 0.7237 | 1.758 | json |
| t17_x24_u4_b10 | 17 | 24 | 4 | 10 | ![]() |
add(R,dst(R,cil(P))) | 118319 | 139020655 | o2(x,o2(x,o1(x))) | true | 106559 | 106559 | 0.9982 | 1 | 0.9982 | 0.000811 | 0.02848 | 0.3239 | 1 | 0.6761 | 1 | 0.06128 | 0.00003843 | 0.00004531 | 0.0006617 | -0.08213 | 0 | -4.318e-11 | 0.00004064 | 0.0004341 | 0.00008332 | 0.009128 | 13.8 | 0.238 | 0.1033 | 0.05011 | 1 | 1 | 0.000266 | 0.002125 | 0.002956 | 0.3279 | 2.62 | 3.645 | json |
| t17_x24_u4_b11 | 17 | 24 | 4 | 11 | ![]() |
sub(R,add(R,cil(P))) | 118320 | 139020656 | o2(x,o2(x,o1(x))) | true | 106567 | 106567 | 0 | 0.5 | 0.9375 | 0.924 | 0.9612 | -1 | 1 | 2 | 1 | 1.813 | 0.0007059 | 4.835e-19 | 0.007937 | 1 | 1 | -1.361e-11 | 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_x24_u4_b12 | 17 | 24 | 4 | 12 | ![]() |
sub(R,sub(R,cil(P))) | 118321 | 139020657 | o2(x,o2(x,o1(x))) | true | 106575 | 106575 | 0 | 0.5 | 0.9375 | 0.924 | 0.9612 | -1 | 1 | 2 | 1 | 1.813 | 0.0007059 | 1.45e-18 | 0.007937 | 1 | 1 | -6.805e-11 | 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_x24_u4_b13 | 17 | 24 | 4 | 13 | ![]() |
sub(R,mlt(R,cil(P))) | 118322 | 139020658 | o2(x,o2(x,o1(x))) | true | 106583 | 106583 | 0.06055 | 0.5366 | 0.7257 | 0.6462 | 0.8039 | -1 | 1 | 2 | 1 | 3.745 | 0.01647 | 0.02001 | 0.09057 | -0.09684 | 1 | 0.00004313 | 0.02122 | 0.04957 | 0.02827 | 0.1681 | 1.856 | 1.468 | 0.05645 | 0.03283 | 1 | 1 | 0.05108 | 0.4367 | 1.061 | 0.07904 | 0.6757 | 1.641 | json |
| t17_x24_u4_b14 | 17 | 24 | 4 | 14 | ![]() |
sub(R,div(R,cil(P))) | 118323 | 139020659 | o2(x,o2(x,o1(x))) | true | 106591 | 106591 | -0.1201 | 0.4218 | 0.4632 | 0.3159 | 0.5621 | -1 | 1 | 2 | 1 | 4.644 | 0.01431 | 0.003158 | 0.06018 | 0.6384 | 1 | 0.00006321 | 0.02443 | 0.02987 | 0.01384 | 0.1177 | 1.955 | 2.017 | 0.05529 | 0.07734 | 1 | 1 | 0.02543 | 0.1874 | 0.5306 | 0.0805 | 0.5934 | 1.68 | json |
| t17_x24_u4_b15 | 17 | 24 | 4 | 15 | ![]() |
sub(R,pow(R,cil(P))) | 118324 | 139020660 | o2(x,o2(x,o1(x))) | true | 106599 | 106599 | -0.982 | 0.003906 | 0.9855 | 0.01675 | 0.1294 | -1 | 0.6499 | 1.65 | 1 | 0.2671 | 0.002048 | 0.001756 | 0.005522 | 0.07678 | 1 | 8.589e-7 | 0.007634 | 0.008191 | 0.003773 | 0.06142 | 11.12 | 1.642 | 0.2271 | 0.4558 | 1 | 1 | 0.002654 | 0.01157 | 0.02388 | 0.1585 | 0.6908 | 1.426 | json |
| t17_x24_u4_b16 | 17 | 24 | 4 | 16 | ![]() |
sub(R,mod(R,cil(P))) | 118325 | 139020661 | o2(x,o2(x,o1(x))) | true | 106607 | 106607 | -0.125 | 0 | 0.125 | 0.1094 | 0.3307 | -1 | 0 | 1 | 1 | 0.5436 | 0.007937 | 0 | 0.007937 | 1 | 1 | 0 | 0.01587 | 0.01587 | 0.007872 | 0.08872 | 11.18 | 1 | 0.07256 | 0.1451 | 1 | 1 | 0.01053 | 0.04211 | 0.1684 | 0.09624 | 0.385 | 1.54 | json |
| t17_x24_u4_b17 | 17 | 24 | 4 | 17 | ![]() |
sub(R,lrg(R,cil(P))) | 118326 | 139020662 | o2(x,o2(x,o1(x))) | true | 106615 | 106615 | -0.4044 | 0.2183 | 0.5766 | 0.2742 | 0.5236 | -1 | 0.9806 | 1.981 | 1 | 4.4 | 0.00222 | 0.002293 | 0.04913 | -0.01601 | 1 | 0.00004808 | 0.000506 | 0.01343 | 0.002099 | 0.04581 | 0.9325 | 0.223 | 0.01646 | 0.001845 | 1 | 1 | 0.008635 | 0.104 | 0.2902 | 0.03149 | 0.3794 | 1.058 | json |
| t17_x24_u4_b18 | 17 | 24 | 4 | 18 | ![]() |
sub(R,eql(R,cil(P))) | 118327 | 139020663 | o2(x,o2(x,o1(x))) | true | 106623 | 106623 | 0.008979 | 0.4983 | 0.3946 | 0.2196 | 0.4686 | -0.9989 | 0.9806 | 1.979 | 1 | 4.862 | 0.002813 | 0.00317 | 0.0632 | -0.05957 | 1 | 0.00002651 | 0.0003508 | 0.01449 | 0.001989 | 0.0446 | 0.7057 | 0.2301 | 0.02725 | 0.001598 | 1 | 1 | 0.01182 | 0.1519 | 0.3914 | 0.05384 | 0.6917 | 1.782 | json |
| t17_x24_u4_b19 | 17 | 24 | 4 | 19 | ![]() |
sub(R,min(R,cil(P))) | 118328 | 139020664 | o2(x,o2(x,o1(x))) | true | 106631 | 106631 | 0.4784 | 0.5369 | 0.4784 | 0.2358 | 0.4856 | 0 | 1 | 1 | 1 | 1.566 | 0.0003403 | 0.0001296 | 0.005276 | 0.4485 | 1 | -0.00001743 | 0.00009507 | 0.001759 | 0.0004423 | 0.02103 | 3.986 | 0.215 | 0.001993 | 0.0004032 | 1 | 1 | 0.001049 | 0.01188 | 0.07559 | 0.004449 | 0.05037 | 0.3206 | json |
| t17_x24_u4_b20 | 17 | 24 | 4 | 20 | ![]() |
sub(R,dot(R,cil(P))) | 118329 | 139020665 | o2(x,o2(x,o1(x))) | true | 106639 | 106639 | 0.09503 | 0.546 | 0.8473 | 0.7883 | 0.8879 | -1 | 1 | 2 | 1 | 2.952 | 0.02454 | 0.03387 | 0.1037 | -0.1596 | 1 | 0.000007152 | 0.04699 | 0.07524 | 0.04766 | 0.2183 | 2.106 | 2.004 | 0.0741 | 0.0596 | 1 | 1 | 0.07467 | 0.5818 | 1.372 | 0.09472 | 0.7381 | 1.741 | json |
| t17_x24_u4_b21 | 17 | 24 | 4 | 21 | ![]() |
sub(R,dst(R,cil(P))) | 118330 | 139020666 | o2(x,o2(x,o1(x))) | true | 106647 | 106647 | -0.9942 | 0 | 0.9942 | 0.002879 | 0.05366 | -1 | -0.1097 | 0.8903 | 1 | 0.1554 | 0.0001018 | 0.00008186 | 0.001501 | 0.1083 | 1 | -9.011e-11 | 0.00007274 | 0.0008524 | 0.0001812 | 0.01346 | 8.971 | 0.2735 | 0.06377 | 0.02526 | 1 | 1 | 0.0005924 | 0.005259 | 0.009175 | 0.2057 | 1.826 | 3.186 | json |
| t17_x24_u4_b22 | 17 | 24 | 4 | 22 | ![]() |
mlt(R,add(R,cil(P))) | 118331 | 139020667 | o2(x,o2(x,o1(x))) | true | 106655 | 106655 | 0.0601 | 0.5431 | 0.7423 | 0.6594 | 0.812 | -1 | 1 | 2 | 1 | 3.762 | 0.01637 | 0.01921 | 0.09187 | -0.07978 | 1 | -0.00008018 | 0.01977 | 0.04912 | 0.02713 | 0.1647 | 1.793 | 1.489 | 0.05395 | 0.02999 | 1 | 1 | 0.04973 | 0.4374 | 1.01 | 0.07542 | 0.6632 | 1.532 | json |
| t17_x24_u4_b23 | 17 | 24 | 4 | 23 | ![]() |
mlt(R,sub(R,cil(P))) | 118332 | 139020668 | o2(x,o2(x,o1(x))) | true | 106663 | 106663 | 0.1858 | 0.611 | 0.7346 | 0.6217 | 0.7885 | -1 | 1 | 2 | 1 | 3.727 | 0.01622 | 0.01928 | 0.09113 | -0.0862 | 1 | 0.00001364 | 0.01953 | 0.04931 | 0.02719 | 0.1649 | 1.809 | 1.406 | 0.0571 | 0.03142 | 1 | 1 | 0.04977 | 0.4344 | 1.007 | 0.08006 | 0.6988 | 1.62 | json |
| t17_x24_u4_b24 | 17 | 24 | 4 | 24 | ![]() |
mlt(R,mlt(R,cil(P))) | 118333 | 139020669 | o2(x,o2(x,o1(x))) | true | 106671 | 106671 | 0.0007528 | 0.4977 | 0.6708 | 0.5815 | 0.7625 | -1 | 1 | 2 | 1 | 4.022 | 0.002074 | 0.002398 | 0.0364 | -0.07248 | 1 | 0.00007537 | 0.001681 | 0.01637 | 0.003147 | 0.0561 | 1.541 | 0.4236 | 0.007689 | 0.002892 | 1 | 1 | 0.006862 | 0.06791 | 0.2277 | 0.0118 | 0.1168 | 0.3916 | json |
| t17_x24_u4_b25 | 17 | 24 | 4 | 25 | ![]() |
mlt(R,div(R,cil(P))) | 118334 | 139020670 | o2(x,o2(x,o1(x))) | true | 106679 | 106679 | -0.1269 | 0.4373 | 0.2184 | 0.131 | 0.3619 | -1 | 0.8898 | 1.89 | 1 | 3.343 | 0.01001 | 0.00009732 | 0.01716 | 0.9807 | 1 | 0.000004829 | 0.01977 | 0.01826 | 0.009811 | 0.09905 | 5.773 | 1.89 | 0.07714 | 0.1509 | 1 | 1 | 0.01305 | 0.05503 | 0.1922 | 0.09966 | 0.4201 | 1.468 | json |
| t17_x24_u4_b26 | 17 | 24 | 4 | 26 | ![]() |
mlt(R,pow(R,cil(P))) | 118335 | 139020671 | o2(x,o2(x,o1(x))) | true | 106687 | 106687 | -0.8848 | 0.06068 | 0.9776 | 0.1877 | 0.4332 | -1 | 1 | 2 | 1 | 0.6387 | 0.0189 | 0.0174 | 0.02283 | 0.04134 | 1 | 0.000001658 | 0.07517 | 0.04055 | 0.03577 | 0.1891 | 8.283 | 2.828 | 0.1934 | 0.4005 | 1 | 1 | 0.03467 | 0.1486 | 0.4129 | 0.1847 | 0.7919 | 2.2 | json |
| t17_x24_u4_b27 | 17 | 24 | 4 | 27 | ![]() |
mlt(R,mod(R,cil(P))) | 118336 | 139020672 | o2(x,o2(x,o1(x))) | true | 106695 | 106695 | 0.177 | 0.875 | 0.427 | 0.2497 | 0.4997 | -1 | 0.9979 | 1.998 | 1 | 3.837 | 0.01607 | 0.000713 | 0.03862 | 0.915 | 1 | -0.000001515 | 0.0309 | 0.0282 | 0.01529 | 0.1237 | 3.202 | 1.98 | 0.06722 | 0.1238 | 1 | 1 | 0.02033 | 0.1019 | 0.383 | 0.08142 | 0.4082 | 1.534 | json |
| t17_x24_u4_b28 | 17 | 24 | 4 | 28 | ![]() |
mlt(R,lrg(R,cil(P))) | 118337 | 139020673 | o2(x,o2(x,o1(x))) | true | 106703 | 106703 | 0.03488 | 0.3128 | 0.2019 | 0.1109 | 0.3331 | -0.9989 | 0.9693 | 1.968 | 1 | 3.377 | 0.00124 | 0.00164 | 0.03127 | -0.1387 | 1 | 0.00002708 | 0.000164 | 0.007099 | 0.001902 | 0.04362 | 1.395 | 0.2301 | 0.02597 | 0.001479 | 1 | 1 | 0.005641 | 0.07166 | 0.1897 | 0.05085 | 0.6461 | 1.71 | json |
| t17_x24_u4_b29 | 17 | 24 | 4 | 29 | ![]() |
mlt(R,eql(R,cil(P))) | 118338 | 139020674 | o2(x,o2(x,o1(x))) | true | 106711 | 106711 | 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_x24_u4_b30 | 17 | 24 | 4 | 30 | ![]() |
mlt(R,min(R,cil(P))) | 118339 | 139020675 | o2(x,o2(x,o1(x))) | true | 106719 | 106719 | 0.1418 | 0.7425 | 0.5379 | 0.3939 | 0.6276 | -1 | 1 | 2 | 1 | 4.3 | 0.008267 | 0.0106 | 0.0613 | -0.1235 | 1 | -0.00002515 | 0.0101 | 0.02811 | 0.01511 | 0.1229 | 2.005 | 1.294 | 0.04789 | 0.02565 | 1 | 1 | 0.0279 | 0.2416 | 0.5517 | 0.07083 | 0.6133 | 1.401 | json |
| t17_x24_u4_b31 | 17 | 24 | 4 | 31 | ![]() |
mlt(R,dot(R,cil(P))) | 118340 | 139020676 | o2(x,o2(x,o1(x))) | true | 106727 | 106727 | 0.04274 | 0.5085 | 0.7391 | 0.6646 | 0.8152 | -1 | 1 | 2 | 1 | 3.647 | 0.007378 | 0.006602 | 0.0582 | 0.0555 | 1 | -0.00001137 | 0.006097 | 0.02947 | 0.01059 | 0.1029 | 1.768 | 1.217 | 0.02103 | 0.009175 | 1 | 1 | 0.01951 | 0.1903 | 0.5005 | 0.02935 | 0.2864 | 0.7531 | json |
| t17_x24_u4_b32 | 17 | 24 | 4 | 32 | ![]() |
mlt(R,dst(R,cil(P))) | 118341 | 139020677 | o2(x,o2(x,o1(x))) | true | 106735 | 106735 | -0.01049 | 0.4956 | 0.8639 | 0.8191 | 0.905 | -1 | 1 | 2 | 1 | 2.805 | 0.0263 | 0.03055 | 0.1022 | -0.07467 | 1 | 0.00007564 | 0.04298 | 0.0727 | 0.04644 | 0.2155 | 2.109 | 2 | 0.06941 | 0.05248 | 1 | 1 | 0.07812 | 0.6106 | 1.393 | 0.09537 | 0.7455 | 1.701 | json |
| t17_x24_u4_b33 | 17 | 24 | 4 | 33 | ![]() |
div(R,add(R,cil(P))) | 118342 | 139020678 | o2(x,o2(x,o1(x))) | true | 106743 | 106743 | -0.0137 | 0.4602 | 0.2051 | 0.1136 | 0.337 | -1 | 0.9999 | 2 | 1 | 3.818 | 0.002794 | 0.00146 | 0.03112 | 0.3138 | 1 | 0.00004386 | 0.001299 | 0.009968 | 0.003286 | 0.05732 | 1.842 | 0.7685 | 0.03745 | 0.01144 | 1 | 1 | 0.00828 | 0.0887 | 0.2366 | 0.07289 | 0.7808 | 2.082 | json |
| t17_x24_u4_b34 | 17 | 24 | 4 | 34 | ![]() |
div(R,sub(R,cil(P))) | 118343 | 139020679 | o2(x,o2(x,o1(x))) | true | 106751 | 106751 | -0.02661 | 0.5197 | 0.2136 | 0.1252 | 0.3539 | -1 | 0.9998 | 2 | 1 | 3.786 | 0.003741 | 0.002069 | 0.03258 | 0.2877 | 1 | 0.00005727 | 0.003488 | 0.0121 | 0.004749 | 0.06891 | 2.115 | 1.907 | 0.0464 | 0.02785 | 1 | 1 | 0.01037 | 0.1059 | 0.2397 | 0.08281 | 0.8458 | 1.914 | json |
| t17_x24_u4_b35 | 17 | 24 | 4 | 35 | ![]() |
div(R,mlt(R,cil(P))) | 118344 | 139020680 | o2(x,o2(x,o1(x))) | true | 106759 | 106759 | -0.125 | 0.4375 | 0.3944 | 0.2329 | 0.4826 | -1 | 0.9999 | 2 | 1 | 3.833 | 0.01607 | 1.913e-17 | 0.01488 | 1 | 1 | 2.253e-10 | 0.0318 | 0.01748 | 0.01585 | 0.1259 | 8.463 | 2 | 0.06901 | 0.1365 | 1 | 1 | 0.02155 | 0.0847 | 0.2581 | 0.0925 | 0.3637 | 1.108 | json |
| t17_x24_u4_b36 | 17 | 24 | 4 | 36 | ![]() |
div(R,div(R,cil(P))) | 118345 | 139020681 | o2(x,o2(x,o1(x))) | true | 106767 | 106767 | 0 | 0.5 | 0.9375 | 0.924 | 0.9612 | -1 | 1 | 2 | 1 | 1.813 | 0.0007059 | 7.469e-18 | 0.007937 | 1 | 1 | -6.652e-11 | 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_x24_u4_b37 | 17 | 24 | 4 | 37 | ![]() |
div(R,pow(R,cil(P))) | 118346 | 139020682 | o2(x,o2(x,o1(x))) | true | 106775 | 106775 | -0.9073 | 0.05983 | 0.9552 | 0.1217 | 0.3488 | -1 | 1 | 2 | 1 | 0.7028 | 0.0124 | 0.01165 | 0.01952 | 0.03108 | 1 | 0.000003712 | 0.04966 | 0.0328 | 0.02366 | 0.1538 | 7.878 | 2.828 | 0.1976 | 0.4081 | 1 | 1 | 0.0215 | 0.09458 | 0.26 | 0.1767 | 0.7772 | 2.137 | json |
| t17_x24_u4_b38 | 17 | 24 | 4 | 38 | ![]() |
div(R,mod(R,cil(P))) | 118347 | 139020683 | o2(x,o2(x,o1(x))) | true | 106783 | 106783 | 0.75 | 0.875 | 1 | 0.4375 | 0.6614 | -1 | 1 | 2 | 1 | 0.5436 | 0.03175 | 5.572e-17 | 0.01587 | 1 | 1 | 5.699e-9 | 0.06349 | 0.03175 | 0.03149 | 0.1774 | 11.18 | 2 | 0.07256 | 0.1451 | 1 | 1 | 0.04211 | 0.1684 | 0.6737 | 0.09624 | 0.385 | 1.54 | json |
| t17_x24_u4_b39 | 17 | 24 | 4 | 39 | ![]() |
div(R,lrg(R,cil(P))) | 118348 | 139020684 | o2(x,o2(x,o1(x))) | true | 106791 | 106791 | -0.5245 | 0.2468 | 0.7292 | 0.3754 | 0.6127 | -1 | 0.9693 | 1.969 | 1 | 3.17 | 0.007962 | 0.004214 | 0.03444 | 0.3078 | 1 | 0.00003761 | 0.01996 | 0.01989 | 0.01099 | 0.1048 | 3.044 | 2.587 | 0.03244 | 0.05318 | 1 | 1 | 0.01797 | 0.1136 | 0.3039 | 0.04786 | 0.3027 | 0.8096 | json |
| t17_x24_u4_b40 | 17 | 24 | 4 | 40 | ![]() |
div(R,eql(R,cil(P))) | 118349 | 139020685 | o2(x,o2(x,o1(x))) | true | 106799 | 106799 | -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_x24_u4_b41 | 17 | 24 | 4 | 41 | ![]() |
div(R,min(R,cil(P))) | 118350 | 139020686 | o2(x,o2(x,o1(x))) | true | 106807 | 106807 | 0.4136 | 0.6959 | 0.6077 | 0.3931 | 0.627 | -1 | 1 | 2 | 1 | 2.904 | 0.01558 | 0.007868 | 0.02275 | 0.3289 | 1 | 0.000003273 | 0.04742 | 0.02732 | 0.02292 | 0.1514 | 6.656 | 2.828 | 0.05965 | 0.1206 | 1 | 1 | 0.03736 | 0.1597 | 0.4527 | 0.09503 | 0.4061 | 1.152 | json |
| t17_x24_u4_b42 | 17 | 24 | 4 | 42 | ![]() |
div(R,dot(R,cil(P))) | 118351 | 139020687 | o2(x,o2(x,o1(x))) | true | 106815 | 106815 | -0.02511 | 0.4921 | 0.3093 | 0.1879 | 0.4334 | -1 | 1 | 2 | 1 | 4.318 | 0.006726 | 0.004995 | 0.04079 | 0.1477 | 1 | -0.000003242 | 0.01481 | 0.02119 | 0.01006 | 0.1003 | 2.459 | 2.828 | 0.0624 | 0.07881 | 1 | 1 | 0.02471 | 0.1677 | 0.4215 | 0.1315 | 0.8928 | 2.244 | json |
| t17_x24_u4_b43 | 17 | 24 | 4 | 43 | ![]() |
div(R,dst(R,cil(P))) | 118352 | 139020688 | o2(x,o2(x,o1(x))) | true | 106823 | 106823 | 0.01141 | 0.4989 | 0.08231 | 0.01435 | 0.1198 | -0.6659 | 0.8156 | 1.481 | 1 | 2.781 | 0.0002447 | 0.0002096 | 0.01384 | 0.07732 | 1 | 0.000001869 | 0.0000285 | 0.003207 | 0.0002626 | 0.01621 | 1.171 | 0.1732 | 0.03165 | 0.001985 | 1 | 1 | 0.001425 | 0.01846 | 0.03802 | 0.09928 | 1.286 | 2.649 | json |
| t17_x24_u4_b44 | 17 | 24 | 4 | 44 | ![]() |
pow(R,add(R,cil(P))) | 118353 | 139020689 | o2(x,o2(x,o1(x))) | true | 106831 | 106831 | -0.9191 | 0.04297 | 0.995 | 0.1487 | 0.3856 | -1 | 1 | 2 | 1 | 0.3232 | 0.01581 | 0.01439 | 0.01578 | 0.04699 | 1 | 0.00000168 | 0.06313 | 0.03142 | 0.02994 | 0.173 | 10.97 | 2.828 | 0.2031 | 0.4247 | 1 | 1 | 0.02505 | 0.1069 | 0.2612 | 0.1685 | 0.7192 | 1.757 | json |
| t17_x24_u4_b45 | 17 | 24 | 4 | 45 | ![]() |
pow(R,sub(R,cil(P))) | 118354 | 139020690 | o2(x,o2(x,o1(x))) | true | 106839 | 106839 | -0.9399 | 0.04265 | 0.9742 | 0.08573 | 0.2928 | -1 | 1 | 2 | 1 | 0.408 | 0.00818 | 0.009144 | 0.01241 | -0.05565 | 1 | 0.000003782 | 0.03615 | 0.02341 | 0.01718 | 0.1311 | 10.56 | 2.828 | 0.2021 | 0.4217 | 1 | 1 | 0.01187 | 0.05351 | 0.138 | 0.1384 | 0.6242 | 1.61 | json |
| t17_x24_u4_b46 | 17 | 24 | 4 | 46 | ![]() |
pow(R,mlt(R,cil(P))) | 118355 | 139020691 | o2(x,o2(x,o1(x))) | true | 106847 | 106847 | -0.8565 | 0.07422 | 0.9951 | 0.2594 | 0.5094 | -1 | 1 | 2 | 1 | 0.4766 | 0.02333 | 0.02276 | 0.02394 | 0.0124 | 1 | 0.000001699 | 0.09611 | 0.04751 | 0.0455 | 0.2133 | 8.911 | 2.828 | 0.1776 | 0.3704 | 1 | 1 | 0.04513 | 0.1886 | 0.6211 | 0.174 | 0.727 | 2.394 | json |
| t17_x24_u4_b47 | 17 | 24 | 4 | 47 | ![]() |
pow(R,div(R,cil(P))) | 118356 | 139020692 | o2(x,o2(x,o1(x))) | true | 106855 | 106855 | -0.9182 | 0.04297 | 0.9958 | 0.1518 | 0.3896 | -1 | 1 | 2 | 1 | 0.3051 | 0.01671 | 0.01464 | 0.01637 | 0.06591 | 1 | 1.904e-7 | 0.0656 | 0.03218 | 0.03107 | 0.1763 | 10.77 | 2.828 | 0.2065 | 0.4322 | 1 | 1 | 0.02466 | 0.1042 | 0.2635 | 0.1625 | 0.6866 | 1.736 | json |
| t17_x24_u4_b48 | 17 | 24 | 4 | 48 | ![]() |
pow(R,pow(R,cil(P))) | 118357 | 139020693 | o2(x,o2(x,o1(x))) | true | 106863 | 106863 | -0.9395 | 0.04079 | 0.9746 | 0.0864 | 0.2939 | -1 | 0.9994 | 1.999 | 1 | 0.4126 | 0.008519 | 0.009199 | 0.01303 | -0.03842 | 1 | 0.000006444 | 0.03694 | 0.02373 | 0.01755 | 0.1325 | 10.16 | 2.664 | 0.2051 | 0.4275 | 1 | 1 | 0.01256 | 0.05623 | 0.1397 | 0.1454 | 0.6507 | 1.617 | json |
| t17_x24_u4_b49 | 17 | 24 | 4 | 49 | ![]() |
pow(R,mod(R,cil(P))) | 118358 | 139020694 | o2(x,o2(x,o1(x))) | true | 106871 | 106871 | -0.9374 | 0.03516 | 0.9923 | 0.1077 | 0.3282 | -1 | 0.9461 | 1.946 | 1 | 0.2874 | 0.01164 | 0.009767 | 0.01233 | 0.08735 | 1 | 0.000003032 | 0.04475 | 0.02418 | 0.02123 | 0.1457 | 11.81 | 2.41 | 0.1986 | 0.4154 | 1 | 1 | 0.01867 | 0.07708 | 0.196 | 0.1733 | 0.7154 | 1.819 | json |
| t17_x24_u4_b50 | 17 | 24 | 4 | 50 | ![]() |
pow(R,lrg(R,cil(P))) | 118359 | 139020695 | o2(x,o2(x,o1(x))) | true | 106879 | 106879 | 0.07442 | 0.5508 | 0.9729 | 0.9538 | 0.9766 | -1 | 1 | 2 | 1 | 1.543 | 0.0175 | 0.01051 | 0.01967 | 0.2496 | 1 | 0.000007902 | 0.05784 | 0.03449 | 0.02761 | 0.1662 | 8.446 | 2.828 | 0.02937 | 0.06064 | 1 | 1 | 0.03083 | 0.1327 | 0.5055 | 0.03232 | 0.1392 | 0.53 | json |
| t17_x24_u4_b51 | 17 | 24 | 4 | 51 | ![]() |
pow(R,eql(R,cil(P))) | 118360 | 139020696 | o2(x,o2(x,o1(x))) | true | 106887 | 106887 | 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_x24_u4_b52 | 17 | 24 | 4 | 52 | ![]() |
pow(R,min(R,cil(P))) | 118361 | 139020697 | o2(x,o2(x,o1(x))) | true | 106895 | 106895 | -0.9153 | 0.04297 | 0.9988 | 0.1602 | 0.4003 | -1 | 1 | 2 | 1 | 0.2934 | 0.01643 | 0.01583 | 0.01634 | 0.01872 | 1 | 0.000001003 | 0.06742 | 0.03274 | 0.03198 | 0.1788 | 10.94 | 2.828 | 0.2013 | 0.4208 | 1 | 1 | 0.02533 | 0.1089 | 0.2717 | 0.1581 | 0.6796 | 1.696 | json |
| t17_x24_u4_b53 | 17 | 24 | 4 | 53 | ![]() |
pow(R,dot(R,cil(P))) | 118362 | 139020698 | o2(x,o2(x,o1(x))) | true | 106903 | 106903 | -0.9187 | 0.04297 | 0.9954 | 0.1498 | 0.387 | -1 | 1 | 2 | 1 | 0.3182 | 0.01582 | 0.01426 | 0.01608 | 0.05187 | 1 | -6.269e-8 | 0.06278 | 0.03158 | 0.02981 | 0.1727 | 10.74 | 2.828 | 0.2008 | 0.4191 | 1 | 1 | 0.02443 | 0.1049 | 0.2608 | 0.1631 | 0.7001 | 1.742 | json |
| t17_x24_u4_b54 | 17 | 24 | 4 | 54 | ![]() |
pow(R,dst(R,cil(P))) | 118363 | 139020699 | o2(x,o2(x,o1(x))) | true | 106911 | 106911 | -0.9497 | 0.04259 | 0.9644 | 0.05773 | 0.2403 | -1 | 0.7706 | 1.771 | 1 | 0.3789 | 0.006018 | 0.005685 | 0.01059 | 0.02841 | 1 | 0.000004806 | 0.0244 | 0.01963 | 0.0116 | 0.1077 | 10.17 | 2.014 | 0.2027 | 0.4226 | 1 | 1 | 0.009717 | 0.04244 | 0.1045 | 0.1683 | 0.735 | 1.809 | json |
| t17_x24_u4_b55 | 17 | 24 | 4 | 55 | ![]() |
mod(R,add(R,cil(P))) | 118364 | 139020700 | o2(x,o2(x,o1(x))) | true | 106919 | 106919 | -0.002531 | 0.4875 | 0.3725 | 0.2032 | 0.4508 | -0.9989 | 0.9806 | 1.979 | 1 | 4.828 | 0.002534 | 0.002893 | 0.0601 | -0.06618 | 1 | 0.00004428 | 0.0003163 | 0.01373 | 0.001815 | 0.04261 | 0.7089 | 0.2301 | 0.02671 | 0.001556 | 1 | 1 | 0.01094 | 0.1405 | 0.3498 | 0.05385 | 0.6913 | 1.721 | json |
| t17_x24_u4_b56 | 17 | 24 | 4 | 56 | ![]() |
mod(R,sub(R,cil(P))) | 118365 | 139020701 | o2(x,o2(x,o1(x))) | true | 106927 | 106927 | -0.00502 | 0.4866 | 0.3663 | 0.1987 | 0.4458 | -0.9988 | 0.9806 | 1.979 | 1 | 4.814 | 0.002521 | 0.002849 | 0.05937 | -0.06117 | 1 | 0.00004511 | 0.0003144 | 0.01359 | 0.001845 | 0.04296 | 0.7236 | 0.2301 | 0.02702 | 0.001582 | 1 | 1 | 0.01066 | 0.1369 | 0.3482 | 0.05362 | 0.6889 | 1.752 | json |
| t17_x24_u4_b57 | 17 | 24 | 4 | 57 | ![]() |
mod(R,mlt(R,cil(P))) | 118366 | 139020702 | o2(x,o2(x,o1(x))) | true | 106935 | 106935 | -0.1289 | 0.4204 | 0.4545 | 0.2903 | 0.5388 | -1 | 0.9806 | 1.981 | 1 | 4.742 | 0.01185 | 0.00262 | 0.06088 | 0.6378 | 1 | 0.00005936 | 0.01966 | 0.02885 | 0.01076 | 0.1037 | 1.704 | 1.898 | 0.04983 | 0.06773 | 1 | 1 | 0.02131 | 0.1628 | 0.4765 | 0.0734 | 0.5608 | 1.641 | json |
| t17_x24_u4_b58 | 17 | 24 | 4 | 58 | ![]() |
mod(R,div(R,cil(P))) | 118367 | 139020703 | o2(x,o2(x,o1(x))) | true | 106943 | 106943 | -0.1241 | 0.1005 | 0.1487 | 0.1163 | 0.3411 | -1 | 0.8978 | 1.898 | 1 | 2.029 | 0.009754 | 0.00008775 | 0.01292 | 0.9822 | 1 | -0.000007554 | 0.01938 | 0.01786 | 0.009674 | 0.09835 | 7.611 | 1.898 | 0.08461 | 0.1666 | 1 | 1 | 0.01267 | 0.05315 | 0.1943 | 0.1089 | 0.4569 | 1.671 | json |
| t17_x24_u4_b59 | 17 | 24 | 4 | 59 | ![]() |
mod(R,pow(R,cil(P))) | 118368 | 139020704 | o2(x,o2(x,o1(x))) | true | 106951 | 106951 | -0.9074 | 0.05428 | 0.9575 | 0.1207 | 0.3475 | -1 | 0.9428 | 1.943 | 1 | 0.7249 | 0.01111 | 0.01167 | 0.01888 | -0.02466 | 1 | 0.000007105 | 0.04721 | 0.03225 | 0.02243 | 0.1498 | 7.935 | 2.063 | 0.1887 | 0.3911 | 1 | 1 | 0.02179 | 0.09454 | 0.2637 | 0.1804 | 0.7831 | 2.184 | json |
| t17_x24_u4_b60 | 17 | 24 | 4 | 60 | ![]() |
mod(R,mod(R,cil(P))) | 118369 | 139020705 | o2(x,o2(x,o1(x))) | true | 106959 | 106959 | -0.1352 | 0.1932 | 0.1948 | 0.1353 | 0.3678 | -1 | 0.9558 | 1.956 | 1 | 2.719 | 0.01006 | 0.0004031 | 0.02202 | 0.923 | 1 | -0.000002492 | 0.01942 | 0.01999 | 0.00998 | 0.0999 | 4.537 | 1.898 | 0.07733 | 0.1435 | 1 | 1 | 0.01406 | 0.07149 | 0.241 | 0.1039 | 0.5284 | 1.781 | json |
| t17_x24_u4_b61 | 17 | 24 | 4 | 61 | ![]() |
mod(R,lrg(R,cil(P))) | 118370 | 139020706 | o2(x,o2(x,o1(x))) | true | 106967 | 106967 | -0.5245 | 0.2468 | 0.7292 | 0.3754 | 0.6127 | -1 | 0.9693 | 1.969 | 1 | 3.17 | 0.007962 | 0.004214 | 0.03444 | 0.3078 | 1 | 0.00003761 | 0.01996 | 0.01989 | 0.01099 | 0.1048 | 3.044 | 2.587 | 0.03244 | 0.05318 | 1 | 1 | 0.01797 | 0.1136 | 0.3039 | 0.04786 | 0.3027 | 0.8096 | json |
| t17_x24_u4_b62 | 17 | 24 | 4 | 62 | ![]() |
mod(R,eql(R,cil(P))) | 118371 | 139020707 | o2(x,o2(x,o1(x))) | true | 106975 | 106975 | -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_x24_u4_b63 | 17 | 24 | 4 | 63 | ![]() |
mod(R,min(R,cil(P))) | 118372 | 139020708 | o2(x,o2(x,o1(x))) | true | 106983 | 106983 | -0.06278 | 0.3544 | 0.2983 | 0.193 | 0.4393 | -1 | 0.9693 | 1.969 | 1 | 4.097 | 0.007987 | 0.002796 | 0.0425 | 0.4814 | 1 | 0.0000275 | 0.01563 | 0.02105 | 0.008977 | 0.09475 | 2.229 | 2.097 | 0.05587 | 0.08096 | 1 | 1 | 0.01679 | 0.1217 | 0.3484 | 0.08698 | 0.6306 | 1.805 | json |
| t17_x24_u4_b64 | 17 | 24 | 4 | 64 | ![]() |
mod(R,dot(R,cil(P))) | 118373 | 139020709 | o2(x,o2(x,o1(x))) | true | 106991 | 106991 | -0.004308 | 0.4912 | 0.3827 | 0.2182 | 0.4671 | -1 | 0.9806 | 1.981 | 1 | 4.852 | 0.004388 | 0.004613 | 0.06233 | -0.02496 | 1 | 0.00002701 | 0.007737 | 0.01873 | 0.005116 | 0.07153 | 1.148 | 2.098 | 0.04124 | 0.03545 | 1 | 1 | 0.01634 | 0.1528 | 0.4075 | 0.0749 | 0.7004 | 1.867 | json |
| t17_x24_u4_b65 | 17 | 24 | 4 | 65 | ![]() |
mod(R,dst(R,cil(P))) | 118374 | 139020710 | o2(x,o2(x,o1(x))) | true | 106999 | 106999 | 0.008979 | 0.4983 | 0.3946 | 0.2196 | 0.4686 | -0.9989 | 0.9806 | 1.979 | 1 | 4.862 | 0.002813 | 0.00317 | 0.0632 | -0.05957 | 1 | 0.00002651 | 0.0003508 | 0.01449 | 0.001989 | 0.0446 | 0.7057 | 0.2301 | 0.02725 | 0.001598 | 1 | 1 | 0.01182 | 0.1519 | 0.3914 | 0.05384 | 0.6917 | 1.782 | json |
| t17_x24_u4_b66 | 17 | 24 | 4 | 66 | ![]() |
lrg(R,add(R,cil(P))) | 118375 | 139020711 | o2(x,o2(x,o1(x))) | true | 107007 | 107007 | 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_x24_u4_b67 | 17 | 24 | 4 | 67 | ![]() |
lrg(R,sub(R,cil(P))) | 118376 | 139020712 | o2(x,o2(x,o1(x))) | true | 107015 | 107015 | 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_x24_u4_b68 | 17 | 24 | 4 | 68 | ![]() |
lrg(R,mlt(R,cil(P))) | 118377 | 139020713 | o2(x,o2(x,o1(x))) | true | 107023 | 107023 | 0.498 | 0.9149 | 0.498 | 0.1579 | 0.3973 | 0 | 1 | 1 | 1 | 3.38 | 0.001993 | 0.002262 | 0.04986 | -0.0631 | 1 | 0.00001926 | 0.0002476 | 0.0121 | 0.00177 | 0.04207 | 0.8438 | 0.1169 | 0.02696 | 0.001568 | 1 | 1 | 0.008333 | 0.1074 | 0.2992 | 0.05279 | 0.6806 | 1.895 | json |
| t17_x24_u4_b69 | 17 | 24 | 4 | 69 | ![]() |
lrg(R,div(R,cil(P))) | 118378 | 139020714 | o2(x,o2(x,o1(x))) | true | 107031 | 107031 | 0.4512 | 0.8853 | 0.4512 | 0.1559 | 0.3948 | 0 | 1 | 1 | 1 | 3.361 | 0.00196 | 0.002262 | 0.04949 | -0.07155 | 1 | 0.000005006 | 0.0002459 | 0.01201 | 0.001773 | 0.0421 | 0.8507 | 0.1169 | 0.02708 | 0.001577 | 1 | 1 | 0.008011 | 0.1033 | 0.3036 | 0.05139 | 0.6626 | 1.948 | json |
| t17_x24_u4_b70 | 17 | 24 | 4 | 70 | ![]() |
lrg(R,pow(R,cil(P))) | 118379 | 139020715 | o2(x,o2(x,o1(x))) | true | 107039 | 107039 | 0.6582 | 0.919 | 0.6582 | 0.1717 | 0.4144 | 0 | 1 | 1 | 1 | 2.57 | 0.001201 | 0.001301 | 0.02926 | -0.04021 | 1 | -7.24e-7 | 0.0001406 | 0.007057 | 0.001645 | 0.04056 | 1.386 | 0.1169 | 0.01457 | 0.0008187 | 1 | 1 | 0.0052 | 0.06663 | 0.2127 | 0.03029 | 0.388 | 1.239 | json |
| t17_x24_u4_b71 | 17 | 24 | 4 | 71 | ![]() |
lrg(R,mod(R,cil(P))) | 118380 | 139020716 | o2(x,o2(x,o1(x))) | true | 107047 | 107047 | 0.0625 | 0.125 | 0.0625 | 0.04507 | 0.2123 | 0 | 0.9997 | 0.9997 | 1 | 0.8126 | 0.0007059 | 0 | 0.007934 | 1 | 1 | -9.461e-10 | 0.00003241 | 0.001855 | 0.0006433 | 0.02536 | 3.197 | 0.1169 | 0.01566 | 0.0007193 | 1 | 1 | 0.001851 | 0.02408 | 0.06598 | 0.04107 | 0.5344 | 1.464 | json |
| t17_x24_u4_b72 | 17 | 24 | 4 | 72 | ![]() |
lrg(R,lrg(R,cil(P))) | 118381 | 139020717 | o2(x,o2(x,o1(x))) | true | 107055 | 107055 | 0.2148 | 0.455 | 0.2148 | 0.1181 | 0.3436 | 0 | 1 | 1 | 1 | 2.248 | 0.001095 | 0.001206 | 0.02703 | -0.04847 | 1 | -0.00002424 | 0.0001387 | 0.006603 | 0.001571 | 0.03963 | 1.466 | 0.1169 | 0.01949 | 0.001175 | 1 | 1 | 0.004457 | 0.05786 | 0.1462 | 0.03774 | 0.49 | 1.238 | json |
| t17_x24_u4_b73 | 17 | 24 | 4 | 73 | ![]() |
lrg(R,eql(R,cil(P))) | 118382 | 139020718 | o2(x,o2(x,o1(x))) | true | 107063 | 107063 | 0.4824 | 0.9147 | 0.4824 | 0.1537 | 0.3921 | 0 | 1 | 1 | 1 | 3.429 | 0.001972 | 0.002442 | 0.05168 | -0.1065 | 1 | -0.00001781 | 0.0002592 | 0.01257 | 0.001744 | 0.04176 | 0.8079 | 0.1169 | 0.02872 | 0.001686 | 1 | 1 | 0.008731 | 0.1124 | 0.2862 | 0.0568 | 0.7316 | 1.862 | json |
| t17_x24_u4_b74 | 17 | 24 | 4 | 74 | ![]() |
lrg(R,min(R,cil(P))) | 118383 | 139020719 | o2(x,o2(x,o1(x))) | true | 107071 | 107071 | 0.4961 | 0.5378 | 0.4961 | 0.2412 | 0.4911 | 0 | 1 | 1 | 1 | 1.415 | 0.0003238 | 0.0001053 | 0.004981 | 0.5091 | 1 | -0.000005705 | 0.00002256 | 0.001187 | 0.0004044 | 0.02011 | 4.037 | 0.1169 | 0.001779 | 0.00009352 | 1 | 1 | 0.001146 | 0.01504 | 0.08976 | 0.004753 | 0.06234 | 0.3721 | json |
| t17_x24_u4_b75 | 17 | 24 | 4 | 75 | ![]() |
lrg(R,dot(R,cil(P))) | 118384 | 139020720 | o2(x,o2(x,o1(x))) | true | 107079 | 107079 | 0.5371 | 0.9522 | 0.5371 | 0.1547 | 0.3933 | 0 | 1 | 1 | 1 | 3.391 | 0.002026 | 0.002339 | 0.05093 | -0.07165 | 1 | 0.00003993 | 0.000252 | 0.01233 | 0.001772 | 0.04209 | 0.8264 | 0.1169 | 0.02823 | 0.001629 | 1 | 1 | 0.008583 | 0.1107 | 0.3172 | 0.05549 | 0.7156 | 2.051 | json |
| t17_x24_u4_b76 | 17 | 24 | 4 | 76 | ![]() |
lrg(R,dst(R,cil(P))) | 118385 | 139020721 | o2(x,o2(x,o1(x))) | true | 107087 | 107087 | 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_x24_u4_b77 | 17 | 24 | 4 | 77 | ![]() |
eql(R,add(R,cil(P))) | 118386 | 139020722 | o2(x,o2(x,o1(x))) | true | 107095 | 107095 | 0.0625 | 0.125 | 0.0625 | 0.04507 | 0.2123 | 0 | 0.9997 | 0.9997 | 1 | 0.8126 | 0.0007059 | 0 | 0.007934 | 1 | 1 | -9.461e-10 | 0.00003241 | 0.001855 | 0.0006433 | 0.02536 | 3.197 | 0.1169 | 0.01566 | 0.0007193 | 1 | 1 | 0.001851 | 0.02408 | 0.06598 | 0.04107 | 0.5344 | 1.464 | json |
| t17_x24_u4_b78 | 17 | 24 | 4 | 78 | ![]() |
eql(R,sub(R,cil(P))) | 118387 | 139020723 | o2(x,o2(x,o1(x))) | true | 107103 | 107103 | 0.0625 | 0.125 | 0.0625 | 0.04507 | 0.2123 | 0 | 0.9997 | 0.9997 | 1 | 0.8126 | 0.0007059 | 0 | 0.007934 | 1 | 1 | -9.461e-10 | 0.00003241 | 0.001855 | 0.0006433 | 0.02536 | 3.197 | 0.1169 | 0.01566 | 0.0007193 | 1 | 1 | 0.001851 | 0.02408 | 0.06598 | 0.04107 | 0.5344 | 1.464 | json |
| t17_x24_u4_b79 | 17 | 24 | 4 | 79 | ![]() |
eql(R,mlt(R,cil(P))) | 118388 | 139020724 | o2(x,o2(x,o1(x))) | true | 107111 | 107111 | 0.0625 | 0.125 | 0.0625 | 0.04507 | 0.2123 | 0 | 0.9997 | 0.9997 | 1 | 0.8126 | 0.0007059 | 0 | 0.007934 | 1 | 1 | -9.461e-10 | 0.00003241 | 0.001855 | 0.0006433 | 0.02536 | 3.197 | 0.1169 | 0.01566 | 0.0007193 | 1 | 1 | 0.001851 | 0.02408 | 0.06598 | 0.04107 | 0.5344 | 1.464 | json |
| t17_x24_u4_b80 | 17 | 24 | 4 | 80 | ![]() |
eql(R,div(R,cil(P))) | 118389 | 139020725 | o2(x,o2(x,o1(x))) | true | 107119 | 107119 | 0.0625 | 0.125 | 0.0625 | 0.04507 | 0.2123 | 0 | 0.9997 | 0.9997 | 1 | 0.8126 | 0.0007059 | 0 | 0.007934 | 1 | 1 | -9.461e-10 | 0.00003241 | 0.001855 | 0.0006433 | 0.02536 | 3.197 | 0.1169 | 0.01566 | 0.0007193 | 1 | 1 | 0.001851 | 0.02408 | 0.06598 | 0.04107 | 0.5344 | 1.464 | json |
| t17_x24_u4_b81 | 17 | 24 | 4 | 81 | ![]() |
eql(R,pow(R,cil(P))) | 118390 | 139020726 | o2(x,o2(x,o1(x))) | true | 107127 | 107127 | 0.03906 | 0.1129 | 0.03906 | 0.02579 | 0.1606 | 0 | 0.9997 | 0.9997 | 1 | 0.6726 | 0.0003997 | 0.0001755 | 0.006718 | 0.3898 | 1 | -0.00001141 | 0.00003128 | 0.001608 | 0.0005302 | 0.02303 | 3.427 | 0.1169 | 0.0223 | 0.001213 | 1 | 1 | 0.001425 | 0.01841 | 0.04273 | 0.05526 | 0.7139 | 1.657 | json |
| t17_x24_u4_b82 | 17 | 24 | 4 | 82 | ![]() |
eql(R,mod(R,cil(P))) | 118391 | 139020727 | o2(x,o2(x,o1(x))) | true | 107135 | 107135 | 0.9375 | 1 | 0.9375 | 0.04507 | 0.2123 | 0.000291 | 1 | 0.9997 | 1 | 0.8126 | 0.0007059 | 0 | 0.007934 | 1 | 1 | -9.461e-10 | 0.00003241 | 0.001855 | 0.0006433 | 0.02536 | 3.197 | 0.1169 | 0.01566 | 0.0007193 | 1 | 1 | 0.001851 | 0.02408 | 0.06598 | 0.04107 | 0.5344 | 1.464 | json |
| t17_x24_u4_b83 | 17 | 24 | 4 | 83 | ![]() |
eql(R,lrg(R,cil(P))) | 118392 | 139020728 | o2(x,o2(x,o1(x))) | true | 107143 | 107143 | 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_x24_u4_b84 | 17 | 24 | 4 | 84 | ![]() |
eql(R,eql(R,cil(P))) | 118393 | 139020729 | o2(x,o2(x,o1(x))) | true | 107151 | 107151 | 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_x24_u4_b85 | 17 | 24 | 4 | 85 | ![]() |
eql(R,min(R,cil(P))) | 118394 | 139020730 | o2(x,o2(x,o1(x))) | true | 107159 | 107159 | 0.5039 | 0.5456 | 0.5039 | 0.2412 | 0.4911 | 0 | 1 | 1 | 1 | 1.415 | 0.0003238 | 0.0001053 | 0.004981 | 0.5091 | 1 | 0.000005704 | 0.00002256 | 0.001187 | 0.0004044 | 0.02011 | 4.037 | 0.1169 | 0.001779 | 0.00009352 | 1 | 1 | 0.001146 | 0.01504 | 0.08976 | 0.004753 | 0.06234 | 0.3721 | json |
| t17_x24_u4_b86 | 17 | 24 | 4 | 86 | ![]() |
eql(R,dot(R,cil(P))) | 118395 | 139020731 | o2(x,o2(x,o1(x))) | true | 107167 | 107167 | 0.003906 | 0.01477 | 0.003906 | 0.002383 | 0.04882 | 0 | 0.9994 | 0.9994 | 1 | 0.1068 | 0.00003512 | 0.00003512 | 0.0008419 | 7.252e-7 | 0 | -5.638e-14 | 0.000004222 | 0.000206 | 0.00006942 | 0.008332 | 9.897 | 0.1169 | 0.02947 | 0.001772 | 1 | 1 | 0.0002443 | 0.003178 | 0.008708 | 0.1025 | 1.334 | 3.654 | json |
| t17_x24_u4_b87 | 17 | 24 | 4 | 87 | ![]() |
eql(R,dst(R,cil(P))) | 118396 | 139020732 | o2(x,o2(x,o1(x))) | true | 107175 | 107175 | 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_x24_u4_b88 | 17 | 24 | 4 | 88 | ![]() |
min(R,add(R,cil(P))) | 118397 | 139020733 | o2(x,o2(x,o1(x))) | true | 107183 | 107183 | -0.467 | 0.2459 | 0.6608 | 0.3431 | 0.5858 | -1 | 0.9806 | 1.981 | 1 | 3.695 | 0.001962 | 0.001682 | 0.03766 | 0.07663 | 1 | -0.00000222 | 0.0003024 | 0.009307 | 0.002226 | 0.04718 | 1.253 | 0.2534 | 0.01062 | 0.0008815 | 1 | 1 | 0.007554 | 0.0961 | 0.3088 | 0.02202 | 0.2801 | 0.9001 | json |
| t17_x24_u4_b89 | 17 | 24 | 4 | 89 | ![]() |
min(R,sub(R,cil(P))) | 118398 | 139020734 | o2(x,o2(x,o1(x))) | true | 107191 | 107191 | -0.4394 | 0.276 | 0.6649 | 0.3712 | 0.6093 | -1 | 0.9693 | 1.969 | 1 | 3.724 | 0.001818 | 0.001892 | 0.03694 | -0.01979 | 1 | 0.000024 | 0.0003106 | 0.009103 | 0.002345 | 0.04842 | 1.311 | 0.238 | 0.009993 | 0.0008366 | 1 | 1 | 0.007813 | 0.09687 | 0.2913 | 0.02104 | 0.2609 | 0.7847 | json |
| t17_x24_u4_b90 | 17 | 24 | 4 | 90 | ![]() |
min(R,mlt(R,cil(P))) | 118399 | 139020735 | o2(x,o2(x,o1(x))) | true | 107199 | 107199 | -0.543 | 0.1639 | 0.6781 | 0.2734 | 0.5229 | -1 | 0.9791 | 1.979 | 1 | 3.824 | 0.004444 | 0.005072 | 0.05649 | -0.06603 | 1 | 0.0001883 | 0.002731 | 0.02283 | 0.006327 | 0.07954 | 1.408 | 0.6242 | 0.03481 | 0.00999 | 1 | 1 | 0.01536 | 0.1672 | 0.42 | 0.05619 | 0.6117 | 1.536 | json |



































































































