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_x5_u3_b105 | 17 | 5 | 3 | 105 | ![]() |
dot(P,lrg(D,flr(R))) | 102200 | 138252930 | o2(x,o2(x,o1(x))) | true | 134407 | 134407 | -0.02137 | 0.4897 | 0.9148 | 0.8909 | 0.9439 | -1 | 1 | 2 | 1 | 2.156 | 0.0314 | 0.03288 | 0.07247 | -0.02289 | 1 | -0.0002019 | 0.1097 | 0.0913 | 0.05907 | 0.243 | 3.354 | 2.248 | 0.07215 | 0.1231 | 1 | 1 | 0.07056 | 0.3046 | 0.502 | 0.07919 | 0.3418 | 0.5635 | json |
| t17_x5_u3_b106 | 17 | 5 | 3 | 106 | ![]() |
dot(P,eql(D,flr(R))) | 102201 | 138252931 | o2(x,o2(x,o1(x))) | true | 134415 | 134415 | 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_x5_u3_b107 | 17 | 5 | 3 | 107 | ![]() |
dot(P,min(D,flr(R))) | 102202 | 138252932 | o2(x,o2(x,o1(x))) | true | 134423 | 134423 | -0.0551 | 0.4728 | 0.8754 | 0.8336 | 0.913 | -1 | 1 | 2 | 1 | 2.651 | 0.01148 | 0.01341 | 0.06551 | -0.07771 | 1 | 0.0004332 | 0.01486 | 0.0427 | 0.02059 | 0.1435 | 2.19 | 1.302 | 0.02985 | 0.01782 | 1 | 1 | 0.03759 | 0.2699 | 0.5452 | 0.04509 | 0.3237 | 0.654 | json |
| t17_x5_u3_b108 | 17 | 5 | 3 | 108 | ![]() |
dot(P,dot(D,flr(R))) | 102203 | 138252933 | o2(x,o2(x,o1(x))) | true | 134431 | 134431 | 0.08882 | 0.5823 | 0.4993 | 0.3832 | 0.6191 | -1 | 1 | 2 | 1 | 4.487 | 0.02344 | 0.02316 | 0.1369 | 0.006018 | 1 | -0.001045 | 0.02322 | 0.06795 | 0.02785 | 0.1669 | 1.219 | 1.462 | 0.1216 | 0.06059 | 1 | 1 | 0.05827 | 0.4788 | 0.5543 | 0.1521 | 1.249 | 1.446 | json |
| t17_x5_u3_b109 | 17 | 5 | 3 | 109 | ![]() |
dot(P,dst(D,flr(R))) | 102204 | 138252934 | o2(x,o2(x,o1(x))) | true | 134439 | 134439 | -0.009576 | 0.4969 | 0.9392 | 0.9216 | 0.96 | -1 | 1 | 2 | 1 | 1.896 | 0.001419 | 0.001396 | 0.01606 | 0.00809 | 1 | 0.000008222 | 0.001673 | 0.007876 | 0.002558 | 0.05058 | 3.15 | 0.7791 | 0.003055 | 0.001816 | 1 | 1 | 0.006563 | 0.06101 | 0.4352 | 0.007121 | 0.0662 | 0.4723 | json |
| t17_x5_u3_b110 | 17 | 5 | 3 | 110 | ![]() |
dst(P,add(D,flr(R))) | 102205 | 138252935 | o2(x,o2(x,o1(x))) | true | 134447 | 134447 | 0.9988 | 1 | 0.9988 | 0.0006605 | 0.0257 | 0.04515 | 1 | 0.9549 | 1 | 0.0382 | 0.00003458 | 0.00003605 | 0.0004939 | -0.02085 | 0 | 7.509e-12 | 0.00002945 | 0.0003067 | 0.00007051 | 0.008397 | 17 | 0.2768 | 0.1069 | 0.04459 | 1 | 1 | 0.000229 | 0.001873 | 0.002406 | 0.3467 | 2.836 | 3.643 | json |
| t17_x5_u3_b111 | 17 | 5 | 3 | 111 | ![]() |
dst(P,sub(D,flr(R))) | 102206 | 138252936 | o2(x,o2(x,o1(x))) | true | 134455 | 134455 | 1 | 1 | 1 | 5.032e-7 | 0.0007094 | 0.9286 | 1 | 0.07141 | 1 | 0.0009425 | 3.727e-7 | 1.56e-7 | 0.00001223 | 0.41 | 0 | 1.126e-11 | 0.000001018 | 0.00001834 | 5.284e-7 | 0.0007269 | 59.45 | 0.06595 | 1.051 | 2.022 | 1 | 1 | 0.000001172 | 0.000001828 | 0.000001828 | 2.328 | 3.632 | 3.632 | json |
| t17_x5_u3_b112 | 17 | 5 | 3 | 112 | ![]() |
dst(P,mlt(D,flr(R))) | 102207 | 138252937 | o2(x,o2(x,o1(x))) | true | 134463 | 134463 | 0.995 | 1 | 0.995 | 0.003448 | 0.05872 | 0.00001827 | 1 | 1 | 1 | 0.1144 | 0.00004338 | 0.00005384 | 0.0009809 | -0.1076 | 0 | -5.256e-11 | 0.00001298 | 0.0002765 | 0.00009625 | 0.009811 | 10 | 0.1428 | 0.02819 | 0.003764 | 1 | 1 | 0.0003344 | 0.004167 | 0.0126 | 0.09698 | 1.208 | 3.654 | json |
| t17_x5_u3_b113 | 17 | 5 | 3 | 113 | ![]() |
dst(P,div(D,flr(R))) | 102208 | 138252938 | o2(x,o2(x,o1(x))) | true | 134471 | 134471 | -0.9609 | 0.01953 | 1 | 0.07659 | 0.2767 | -1 | 1 | 2 | 1 | 0.1388 | 0.007055 | 0.007811 | 0.007377 | -0.05085 | 1 | 0 | 0.03124 | 0.01487 | 0.01481 | 0.1217 | 16.5 | 2.828 | 0.1941 | 0.4079 | 1 | 1 | 0.01374 | 0.06028 | 0.1889 | 0.1794 | 0.787 | 2.466 | json |
| t17_x5_u3_b114 | 17 | 5 | 3 | 114 | ![]() |
dst(P,pow(D,flr(R))) | 102209 | 138252939 | o2(x,o2(x,o1(x))) | true | 134479 | 134479 | -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_x5_u3_b115 | 17 | 5 | 3 | 115 | ![]() |
dst(P,mod(D,flr(R))) | 102210 | 138252940 | o2(x,o2(x,o1(x))) | true | 134487 | 134487 | -0.9844 | 0.007813 | 1 | 0.03101 | 0.1761 | -1 | 1 | 2 | 1 | 0.06591 | 0.003023 | 0.003779 | 0.003383 | -0.1111 | 1 | 0 | 0.01436 | 0.006803 | 0.00679 | 0.0824 | 24.36 | 2.828 | 0.2194 | 0.4632 | 1 | 1 | 0.005983 | 0.02659 | 0.06654 | 0.193 | 0.8577 | 2.146 | json |
| t17_x5_u3_b116 | 17 | 5 | 3 | 116 | ![]() |
dst(P,lrg(D,flr(R))) | 102211 | 138252941 | o2(x,o2(x,o1(x))) | true | 134495 | 134495 | 0.9995 | 1 | 0.9995 | 0.0003355 | 0.01832 | 0.001062 | 1 | 0.9989 | 1 | 0.0132 | 0.00007779 | 0.00009934 | 0.0003311 | -0.1217 | 1 | 1.314e-11 | 0.000358 | 0.0004501 | 0.000177 | 0.0133 | 40.18 | 0.9989 | 0.5279 | 1.067 | 1 | 1 | 0.0003466 | 0.001199 | 0.00122 | 1.033 | 3.572 | 3.634 | json |
| t17_x5_u3_b117 | 17 | 5 | 3 | 117 | ![]() |
dst(P,eql(D,flr(R))) | 102212 | 138252942 | o2(x,o2(x,o1(x))) | true | 134503 | 134503 | 0.9971 | 1 | 0.9971 | 0.001932 | 0.04395 | 0.0005821 | 1 | 0.9994 | 1 | 0.07281 | 0.00004474 | 0.00004474 | 0.0007432 | 1.22e-7 | 0 | 5.256e-11 | 0.00001841 | 0.0002764 | 0.0000889 | 0.009429 | 12.69 | 0.1653 | 0.04632 | 0.009528 | 1 | 1 | 0.0003031 | 0.003365 | 0.007047 | 0.1569 | 1.742 | 3.648 | json |
| t17_x5_u3_b118 | 17 | 5 | 3 | 118 | ![]() |
dst(P,min(D,flr(R))) | 102213 | 138252943 | o2(x,o2(x,o1(x))) | true | 134511 | 134511 | 0.9981 | 1 | 0.9981 | 0.001222 | 0.03495 | 0.0009782 | 1 | 0.999 | 1 | 0.05355 | 0.00004208 | 0.00004029 | 0.0006003 | 0.02179 | 0 | -1.502e-11 | 0.00002232 | 0.0002623 | 0.00008207 | 0.009059 | 15.09 | 0.2518 | 0.06743 | 0.01827 | 1 | 1 | 0.000275 | 0.002723 | 0.004456 | 0.2251 | 2.229 | 3.648 | json |
| t17_x5_u3_b119 | 17 | 5 | 3 | 119 | ![]() |
dst(P,dot(D,flr(R))) | 102214 | 138252944 | o2(x,o2(x,o1(x))) | true | 134519 | 134519 | 0.9961 | 1 | 0.9961 | 0.002393 | 0.04892 | 0.0006938 | 1 | 0.9993 | 1 | 0.1043 | 0.00004044 | 0.00004278 | 0.0008809 | -0.02818 | 0 | 0 | 0.0000174 | 0.0003051 | 0.00008253 | 0.009085 | 10.31 | 0.1597 | 0.03478 | 0.007272 | 1 | 1 | 0.0002826 | 0.003295 | 0.00874 | 0.1181 | 1.377 | 3.653 | json |
| t17_x5_u3_b120 | 17 | 5 | 3 | 120 | ![]() |
dst(P,dst(D,flr(R))) | 102215 | 138252945 | o2(x,o2(x,o1(x))) | true | 134527 | 134527 | 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_x5_u4_b0 | 17 | 5 | 4 | 0 | ![]() |
add(P,add(D,cil(R))) | 102216 | 138253026 | o2(x,o2(x,o1(x))) | true | 134535 | 134535 | 0.06362 | 0.5306 | 0.9345 | 0.9124 | 0.9552 | -1 | 1 | 2 | 1 | 1.932 | 0.0007666 | 0.0002546 | 0.01023 | 0.5014 | 1 | -0.00001756 | 0.0001162 | 0.002484 | 0.0009159 | 0.03026 | 2.957 | 0.1794 | 0.001119 | 0.0001273 | 1 | 1 | 0.002646 | 0.03462 | 0.2574 | 0.0029 | 0.03794 | 0.2821 | json |
| t17_x5_u4_b1 | 17 | 5 | 4 | 1 | ![]() |
add(P,sub(D,cil(R))) | 102217 | 138253027 | o2(x,o2(x,o1(x))) | true | 134543 | 134543 | -0.06489 | 0.4681 | 0.931 | 0.9088 | 0.9533 | -1 | 1 | 2 | 1 | 1.958 | 0.0007833 | 0.0002874 | 0.01066 | 0.4631 | 1 | 0.00001756 | 0.00013 | 0.002744 | 0.0009575 | 0.03094 | 2.901 | 0.1794 | 0.001178 | 0.000143 | 1 | 1 | 0.002866 | 0.03698 | 0.2478 | 0.003153 | 0.0407 | 0.2726 | json |
| t17_x5_u4_b2 | 17 | 5 | 4 | 2 | ![]() |
add(P,mlt(D,cil(R))) | 102218 | 138253028 | o2(x,o2(x,o1(x))) | true | 134551 | 134551 | -0.0005587 | 0.4988 | 0.9347 | 0.9186 | 0.9585 | -1 | 1 | 2 | 1 | 1.906 | 0.0006195 | 0.00001886 | 0.008072 | 0.9409 | 1 | 4.505e-11 | 0.00002595 | 0.001434 | 0.000573 | 0.02394 | 2.966 | 0.1169 | 0.0006949 | 0.00002825 | 1 | 1 | 0.001705 | 0.02382 | 0.2316 | 0.001856 | 0.02593 | 0.2521 | json |
| t17_x5_u4_b3 | 17 | 5 | 4 | 3 | ![]() |
add(P,div(D,cil(R))) | 102219 | 138253029 | o2(x,o2(x,o1(x))) | true | 134559 | 134559 | -0.8672 | 0.06641 | 0.9961 | 0.2427 | 0.4927 | -1 | 1 | 2 | 1 | 0.436 | 0.03023 | 0.03107 | 0.03116 | -0.0137 | 1 | 0 | 0.1302 | 0.06199 | 0.06034 | 0.2456 | 7.885 | 2.828 | 0.2526 | 0.5363 | 1 | 1 | 0.05904 | 0.2431 | 0.4881 | 0.2432 | 1.001 | 2.011 | json |
| t17_x5_u4_b4 | 17 | 5 | 4 | 4 | ![]() |
add(P,pow(D,cil(R))) | 102220 | 138253030 | o2(x,o2(x,o1(x))) | true | 134567 | 134567 | -0.7143 | 0.1414 | 0.9839 | 0.4695 | 0.6852 | -1 | 1 | 2 | 1 | 0.8711 | 0.05005 | 0.03563 | 0.04669 | 0.1683 | 1 | 0.000002036 | 0.1792 | 0.08813 | 0.08347 | 0.2889 | 6.188 | 2.828 | 0.1825 | 0.3816 | 1 | 1 | 0.09598 | 0.4024 | 0.8371 | 0.2044 | 0.8572 | 1.783 | json |
| t17_x5_u4_b5 | 17 | 5 | 4 | 5 | ![]() |
add(P,mod(D,cil(R))) | 102221 | 138253031 | o2(x,o2(x,o1(x))) | true | 134575 | 134575 | -0.9844 | 0.007813 | 0.9961 | 0.02579 | 0.1606 | -1 | 1 | 2 | 1 | 0.1372 | 0.002015 | 0.003107 | 0.003339 | -0.2132 | 1 | 0 | 0.01075 | 0.005809 | 0.005111 | 0.07149 | 21.41 | 2.784 | 0.1986 | 0.4168 | 1 | 1 | 0.0005908 | 0.004136 | 0.02275 | 0.0229 | 0.1603 | 0.8819 | json |
| t17_x5_u4_b6 | 17 | 5 | 4 | 6 | ![]() |
add(P,lrg(D,cil(R))) | 102222 | 138253032 | o2(x,o2(x,o1(x))) | true | 134583 | 134583 | 0.03125 | 0.5 | 0.9414 | 0.9307 | 0.9647 | -1 | 1 | 2 | 1 | 1.681 | 0.00385 | 0.0001228 | 0.009076 | 0.9382 | 1 | 0.000008556 | 0.007089 | 0.008974 | 0.003888 | 0.06235 | 6.87 | 1 | 0.004268 | 0.007617 | 1 | 1 | 0.005946 | 0.03695 | 0.2624 | 0.006389 | 0.0397 | 0.2819 | json |
| t17_x5_u4_b7 | 17 | 5 | 4 | 7 | ![]() |
add(P,eql(D,cil(R))) | 102223 | 138253033 | o2(x,o2(x,o1(x))) | true | 134591 | 134591 | 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_x5_u4_b8 | 17 | 5 | 4 | 8 | ![]() |
add(P,min(D,cil(R))) | 102224 | 138253034 | o2(x,o2(x,o1(x))) | true | 134599 | 134599 | -0.008939 | 0.4984 | 0.9364 | 0.9186 | 0.9584 | -1 | 1 | 2 | 1 | 1.924 | 0.0005733 | 0.00000931 | 0.008012 | 0.968 | 1 | -0.000002448 | 0.00002534 | 0.001213 | 0.0005187 | 0.02277 | 2.842 | 0.1105 | 0.0006343 | 0.00002759 | 1 | 1 | 0.001534 | 0.02174 | 0.2292 | 0.00167 | 0.02367 | 0.2495 | json |
| t17_x5_u4_b9 | 17 | 5 | 4 | 9 | ![]() |
add(P,dot(D,cil(R))) | 102225 | 138253035 | o2(x,o2(x,o1(x))) | true | 134607 | 134607 | -0.00006148 | 0.5006 | 0.9354 | 0.9171 | 0.9576 | -1 | 1 | 2 | 1 | 1.949 | 0.0006412 | 0.0001708 | 0.00949 | 0.5793 | 1 | 4.424e-7 | 0.0000855 | 0.002357 | 0.0007222 | 0.02687 | 2.832 | 0.1555 | 0.0008855 | 0.00009322 | 1 | 1 | 0.002127 | 0.02713 | 0.2295 | 0.002319 | 0.02958 | 0.2502 | json |
| t17_x5_u4_b10 | 17 | 5 | 4 | 10 | ![]() |
add(P,dst(D,cil(R))) | 102226 | 138253036 | o2(x,o2(x,o1(x))) | true | 134615 | 134615 | 0.1605 | 0.5841 | 0.936 | 0.8893 | 0.943 | -1 | 1 | 2 | 1 | 1.96 | 0.001001 | 0.0002016 | 0.01088 | 0.6646 | 1 | -0.00001108 | 0.0002073 | 0.003858 | 0.001084 | 0.03293 | 3.028 | 0.2315 | 0.001352 | 0.0002331 | 1 | 1 | 0.003107 | 0.03276 | 0.2283 | 0.003494 | 0.03684 | 0.2567 | json |
| t17_x5_u4_b11 | 17 | 5 | 4 | 11 | ![]() |
sub(P,add(D,cil(R))) | 102227 | 138253037 | o2(x,o2(x,o1(x))) | true | 134623 | 134623 | -0.06536 | 0.4686 | 0.9295 | 0.9109 | 0.9544 | -1 | 1 | 2 | 1 | 1.914 | 0.001582 | 0.0002869 | 0.01291 | 0.693 | 1 | 0.00001746 | 0.000377 | 0.005439 | 0.001703 | 0.04127 | 3.196 | 0.2881 | 0.002052 | 0.0004139 | 1 | 1 | 0.004834 | 0.04725 | 0.2508 | 0.005307 | 0.05187 | 0.2753 | json |
| t17_x5_u4_b12 | 17 | 5 | 4 | 12 | ![]() |
sub(P,sub(D,cil(R))) | 102228 | 138253038 | o2(x,o2(x,o1(x))) | true | 134631 | 134631 | 0.06311 | 0.5314 | 0.9331 | 0.915 | 0.9566 | -1 | 1 | 2 | 1 | 1.878 | 0.001566 | 0.0002563 | 0.01253 | 0.7187 | 1 | -0.00001741 | 0.0003658 | 0.005352 | 0.001666 | 0.04082 | 3.258 | 0.2881 | 0.001992 | 0.0003997 | 1 | 1 | 0.004622 | 0.04556 | 0.2636 | 0.005051 | 0.0498 | 0.288 | json |
| t17_x5_u4_b13 | 17 | 5 | 4 | 13 | ![]() |
sub(P,mlt(D,cil(R))) | 102229 | 138253039 | o2(x,o2(x,o1(x))) | true | 134639 | 134639 | 0.0003179 | 0.4999 | 0.9392 | 0.9264 | 0.9625 | -1 | 1 | 2 | 1 | 1.822 | 0.001045 | 0.00001883 | 0.009826 | 0.9646 | 1 | -4.66e-10 | 0.0001399 | 0.003727 | 0.0009672 | 0.0311 | 3.165 | 0.1713 | 0.001149 | 0.000151 | 1 | 1 | 0.002732 | 0.0307 | 0.2395 | 0.002949 | 0.03314 | 0.2586 | json |
| t17_x5_u4_b14 | 17 | 5 | 4 | 14 | ![]() |
sub(P,div(D,cil(R))) | 102230 | 138253040 | o2(x,o2(x,o1(x))) | true | 134647 | 134647 | -0.9842 | 0.007813 | 0.9961 | 0.0266 | 0.1631 | -1 | 1 | 2 | 1 | 0.1285 | 0.0021 | 0.003211 | 0.003554 | -0.2093 | 1 | -2.553e-10 | 0.01099 | 0.006115 | 0.005298 | 0.07279 | 20.48 | 2.828 | 0.1996 | 0.4133 | 1 | 1 | 0.0006489 | 0.004478 | 0.02352 | 0.02439 | 0.1683 | 0.884 | json |
| t17_x5_u4_b15 | 17 | 5 | 4 | 15 | ![]() |
sub(P,pow(D,cil(R))) | 102231 | 138253041 | o2(x,o2(x,o1(x))) | true | 134655 | 134655 | -0.7595 | 0.1211 | 0.993 | 0.4136 | 0.6431 | -1 | 1 | 2 | 1 | 0.6781 | 0.04043 | 0.03124 | 0.0374 | 0.1282 | 1 | -2.403e-10 | 0.1507 | 0.0735 | 0.07028 | 0.2651 | 7.089 | 2.828 | 0.1733 | 0.3643 | 1 | 1 | 0.07498 | 0.3103 | 0.699 | 0.1813 | 0.7502 | 1.69 | json |
| t17_x5_u4_b16 | 17 | 5 | 4 | 16 | ![]() |
sub(P,mod(D,cil(R))) | 102232 | 138253042 | o2(x,o2(x,o1(x))) | true | 134663 | 134663 | -0.9842 | 0.007813 | 0.9961 | 0.0266 | 0.1631 | -1 | 1 | 2 | 1 | 0.1285 | 0.0021 | 0.003211 | 0.003554 | -0.2093 | 1 | -2.553e-10 | 0.01099 | 0.006115 | 0.005298 | 0.07279 | 20.48 | 2.828 | 0.1996 | 0.4133 | 1 | 1 | 0.0006489 | 0.004478 | 0.02352 | 0.02439 | 0.1683 | 0.884 | json |
| t17_x5_u4_b17 | 17 | 5 | 4 | 17 | ![]() |
sub(P,lrg(D,cil(R))) | 102233 | 138253043 | o2(x,o2(x,o1(x))) | true | 134671 | 134671 | -0.0298 | 0.48 | 0.9406 | 0.9243 | 0.9614 | -1 | 1 | 2 | 1 | 1.839 | 0.004837 | 0.0001359 | 0.01602 | 0.9453 | 1 | -0.000008557 | 0.006832 | 0.01094 | 0.004715 | 0.06866 | 4.287 | 0.9991 | 0.00538 | 0.007391 | 1 | 1 | 0.008959 | 0.05371 | 0.2482 | 0.009693 | 0.05811 | 0.2685 | json |
| t17_x5_u4_b18 | 17 | 5 | 4 | 18 | ![]() |
sub(P,eql(D,cil(R))) | 102234 | 138253044 | o2(x,o2(x,o1(x))) | true | 134679 | 134679 | 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_x5_u4_b19 | 17 | 5 | 4 | 19 | ![]() |
sub(P,min(D,cil(R))) | 102235 | 138253045 | o2(x,o2(x,o1(x))) | true | 134687 | 134687 | 0.008972 | 0.5122 | 0.938 | 0.9249 | 0.9617 | -1 | 1 | 2 | 1 | 1.829 | 0.001195 | 0.000009331 | 0.01057 | 0.9845 | 1 | 0.000002326 | 0.000191 | 0.004515 | 0.001093 | 0.03306 | 3.129 | 0.1713 | 0.001302 | 0.0002065 | 1 | 1 | 0.003065 | 0.03166 | 0.237 | 0.003314 | 0.03423 | 0.2562 | json |
| t17_x5_u4_b20 | 17 | 5 | 4 | 20 | ![]() |
sub(P,dot(D,cil(R))) | 102236 | 138253046 | o2(x,o2(x,o1(x))) | true | 134695 | 134695 | 0.0005199 | 0.4993 | 0.939 | 0.9226 | 0.9605 | -1 | 1 | 2 | 1 | 1.919 | 0.001063 | 0.0001706 | 0.01121 | 0.7234 | 1 | 0.000004351 | 0.0002132 | 0.004181 | 0.001107 | 0.03328 | 2.968 | 0.2248 | 0.001337 | 0.0002311 | 1 | 1 | 0.003174 | 0.03362 | 0.2374 | 0.003441 | 0.03644 | 0.2573 | json |
| t17_x5_u4_b21 | 17 | 5 | 4 | 21 | ![]() |
sub(P,dst(D,cil(R))) | 102237 | 138253047 | o2(x,o2(x,o1(x))) | true | 134703 | 134703 | -0.1588 | 0.421 | 0.9389 | 0.8933 | 0.9452 | -1 | 1 | 2 | 1 | 1.956 | 0.0007223 | 0.0002493 | 0.01022 | 0.4868 | 1 | 0.000007793 | 0.0001279 | 0.00288 | 0.0008666 | 0.02944 | 2.88 | 0.2326 | 0.001088 | 0.0001432 | 1 | 1 | 0.002611 | 0.03194 | 0.2382 | 0.002923 | 0.03575 | 0.2667 | json |
| t17_x5_u4_b22 | 17 | 5 | 4 | 22 | ![]() |
mlt(P,add(D,cil(R))) | 102238 | 138253048 | o2(x,o2(x,o1(x))) | true | 134711 | 134711 | -0.07664 | 0.4405 | 0.7099 | 0.6296 | 0.7935 | -1 | 1 | 2 | 1 | 3.725 | 0.01686 | 0.006751 | 0.08462 | 0.4281 | 1 | 0.0005832 | 0.01038 | 0.0447 | 0.01645 | 0.1283 | 1.516 | 0.865 | 0.0375 | 0.01648 | 1 | 1 | 0.03563 | 0.2704 | 0.433 | 0.05658 | 0.4294 | 0.6876 | json |
| t17_x5_u4_b23 | 17 | 5 | 4 | 23 | ![]() |
mlt(P,sub(D,cil(R))) | 102239 | 138253049 | o2(x,o2(x,o1(x))) | true | 134719 | 134719 | -0.04452 | 0.4502 | 0.7163 | 0.641 | 0.8006 | -1 | 1 | 2 | 1 | 3.696 | 0.01648 | 0.006731 | 0.08332 | 0.42 | 1 | 0.0007524 | 0.01026 | 0.04399 | 0.01627 | 0.1276 | 1.531 | 0.8478 | 0.03621 | 0.01601 | 1 | 1 | 0.03439 | 0.2601 | 0.4216 | 0.05365 | 0.4058 | 0.6577 | json |
| t17_x5_u4_b24 | 17 | 5 | 4 | 24 | ![]() |
mlt(P,mlt(D,cil(R))) | 102240 | 138253050 | o2(x,o2(x,o1(x))) | true | 134727 | 134727 | -0.06643 | 0.3677 | 0.3049 | 0.201 | 0.4483 | -1 | 1 | 2 | 1 | 4.268 | 0.01601 | 0.002955 | 0.09218 | 0.6884 | 1 | 0.001188 | 0.004403 | 0.0357 | 0.01047 | 0.1023 | 1.11 | 0.4798 | 0.09437 | 0.02191 | 1 | 1 | 0.02152 | 0.2057 | 0.2397 | 0.1071 | 1.023 | 1.193 | json |
| t17_x5_u4_b25 | 17 | 5 | 4 | 25 | ![]() |
mlt(P,div(D,cil(R))) | 102241 | 138253051 | o2(x,o2(x,o1(x))) | true | 134735 | 134735 | -0.9003 | 0.04565 | 0.9751 | 0.1584 | 0.398 | -1 | 1 | 2 | 1 | 0.6115 | 0.02094 | 0.01939 | 0.02805 | 0.03835 | 1 | 0.0002272 | 0.08272 | 0.04817 | 0.03951 | 0.1988 | 7.088 | 2.828 | 0.2545 | 0.5222 | 1 | 1 | 0.03705 | 0.1546 | 0.3293 | 0.2338 | 0.9759 | 2.079 | json |
| t17_x5_u4_b26 | 17 | 5 | 4 | 26 | ![]() |
mlt(P,pow(D,cil(R))) | 102242 | 138253052 | o2(x,o2(x,o1(x))) | true | 134743 | 134743 | -0.7384 | 0.125 | 0.973 | 0.4214 | 0.6491 | -1 | 1 | 2 | 1 | 0.9376 | 0.0401 | 0.03217 | 0.04486 | 0.1098 | 1 | 0.00001203 | 0.1499 | 0.08222 | 0.07022 | 0.265 | 5.907 | 2.828 | 0.1715 | 0.3558 | 1 | 1 | 0.07899 | 0.342 | 0.7371 | 0.1875 | 0.8116 | 1.749 | json |
| t17_x5_u4_b27 | 17 | 5 | 4 | 27 | ![]() |
mlt(P,mod(D,cil(R))) | 102243 | 138253053 | o2(x,o2(x,o1(x))) | true | 134751 | 134751 | -0.9628 | 0.0144 | 0.9751 | 0.04205 | 0.2051 | -1 | 0.9606 | 1.961 | 1 | 0.4178 | 0.005818 | 0.00435 | 0.0131 | 0.1444 | 1 | 0.0002272 | 0.01877 | 0.01805 | 0.01 | 0.1 | 7.637 | 1.963 | 0.2418 | 0.4464 | 1 | 1 | 0.006964 | 0.02913 | 0.06162 | 0.1656 | 0.6928 | 1.465 | json |
| t17_x5_u4_b28 | 17 | 5 | 4 | 28 | ![]() |
mlt(P,lrg(D,cil(R))) | 102244 | 138253054 | o2(x,o2(x,o1(x))) | true | 134759 | 134759 | -0.004145 | 0.3595 | 0.4007 | 0.3565 | 0.5971 | -1 | 1 | 2 | 1 | 3.277 | 0.04107 | 0.004176 | 0.08841 | 0.8154 | 1 | -0.0002636 | 0.07461 | 0.1004 | 0.03743 | 0.1935 | 2.188 | 1 | 0.1269 | 0.2093 | 1 | 1 | 0.05121 | 0.2216 | 0.2679 | 0.1436 | 0.6216 | 0.7513 | json |
| t17_x5_u4_b29 | 17 | 5 | 4 | 29 | ![]() |
mlt(P,eql(D,cil(R))) | 102245 | 138253055 | o2(x,o2(x,o1(x))) | true | 134767 | 134767 | 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_x5_u4_b30 | 17 | 5 | 4 | 30 | ![]() |
mlt(P,min(D,cil(R))) | 102246 | 138253056 | o2(x,o2(x,o1(x))) | true | 134775 | 134775 | -0.1146 | 0.3852 | 0.4219 | 0.2804 | 0.5296 | -1 | 1 | 2 | 1 | 4.68 | 0.02491 | 0.001614 | 0.1205 | 0.8783 | 1 | 0.001665 | 0.007081 | 0.05532 | 0.012 | 0.1095 | 0.909 | 0.4357 | 0.09457 | 0.02525 | 1 | 1 | 0.03262 | 0.2306 | 0.1424 | 0.1163 | 0.8225 | 0.5077 | json |
| t17_x5_u4_b31 | 17 | 5 | 4 | 31 | ![]() |
mlt(P,dot(D,cil(R))) | 102247 | 138253057 | o2(x,o2(x,o1(x))) | true | 134783 | 134783 | -0.06251 | 0.4258 | 0.4359 | 0.3167 | 0.5628 | -1 | 1 | 2 | 1 | 4.594 | 0.01634 | 0.01562 | 0.1263 | 0.02254 | 1 | 0.0009044 | 0.009721 | 0.05193 | 0.016 | 0.1265 | 1.002 | 0.8878 | 0.1009 | 0.03069 | 1 | 1 | 0.04331 | 0.3818 | 0.4234 | 0.1367 | 1.205 | 1.337 | json |
| t17_x5_u4_b32 | 17 | 5 | 4 | 32 | ![]() |
mlt(P,dst(D,cil(R))) | 102248 | 138253058 | o2(x,o2(x,o1(x))) | true | 134791 | 134791 | 0.003532 | 0.5 | 0.9379 | 0.9235 | 0.961 | -1 | 1 | 2 | 1 | 1.845 | 0.001635 | 0.000729 | 0.01315 | 0.3834 | 1 | -0.00003399 | 0.001716 | 0.007454 | 0.002192 | 0.04682 | 3.561 | 0.6886 | 0.00256 | 0.001858 | 1 | 1 | 0.004245 | 0.03491 | 0.2485 | 0.004597 | 0.0378 | 0.2691 | json |
| t17_x5_u4_b33 | 17 | 5 | 4 | 33 | ![]() |
div(P,add(D,cil(R))) | 102249 | 138253059 | o2(x,o2(x,o1(x))) | true | 134799 | 134799 | -0.08476 | 0.4461 | 0.9179 | 0.8908 | 0.9438 | -1 | 1 | 2 | 1 | 2.023 | 0.2548 | 0.03829 | 0.1876 | 0.7387 | 1 | -0.0002794 | 0.6274 | 0.3128 | 0.2578 | 0.5077 | 2.706 | 2.828 | 0.329 | 0.7043 | 1 | 1 | 0.3176 | 1.262 | 0.9801 | 0.3565 | 1.417 | 1.1 | json |
| t17_x5_u4_b34 | 17 | 5 | 4 | 34 | ![]() |
div(P,sub(D,cil(R))) | 102250 | 138253060 | o2(x,o2(x,o1(x))) | true | 134807 | 134807 | -0.02029 | 0.4757 | 0.9188 | 0.8993 | 0.9483 | -1 | 1 | 2 | 1 | 2.008 | 0.2533 | 0.03779 | 0.1859 | 0.7404 | 1 | -0.0002117 | 0.6253 | 0.311 | 0.2565 | 0.5064 | 2.724 | 2.828 | 0.3237 | 0.6953 | 1 | 1 | 0.313 | 1.243 | 0.985 | 0.348 | 1.382 | 1.095 | json |
| t17_x5_u4_b35 | 17 | 5 | 4 | 35 | ![]() |
div(P,mlt(D,cil(R))) | 102251 | 138253061 | o2(x,o2(x,o1(x))) | true | 134815 | 134815 | -0.9006 | 0.04834 | 0.9964 | 0.1845 | 0.4296 | -1 | 1 | 2 | 1 | 0.3375 | 0.03129 | 0.02148 | 0.02774 | 0.1859 | 1 | 1.502e-11 | 0.1104 | 0.05382 | 0.05199 | 0.228 | 8.22 | 2.828 | 0.286 | 0.5981 | 1 | 1 | 0.04798 | 0.1991 | 0.385 | 0.26 | 1.079 | 2.086 | json |
| t17_x5_u4_b36 | 17 | 5 | 4 | 36 | ![]() |
div(P,div(D,cil(R))) | 102252 | 138253062 | o2(x,o2(x,o1(x))) | true | 134823 | 134823 | -0.07819 | 0.3947 | 0.6888 | 0.6511 | 0.8069 | -1 | 1 | 2 | 1 | 2.938 | 0.2295 | 0.02074 | 0.1884 | 0.8342 | 1 | -0.000197 | 0.4851 | 0.2872 | 0.2147 | 0.4634 | 2.459 | 2.488 | 0.3844 | 0.745 | 1 | 1 | 0.2518 | 1.047 | 0.7095 | 0.3868 | 1.608 | 1.09 | json |
| t17_x5_u4_b37 | 17 | 5 | 4 | 37 | ![]() |
div(P,pow(D,cil(R))) | 102253 | 138253063 | o2(x,o2(x,o1(x))) | true | 134831 | 134831 | -0.7422 | 0.125 | 0.9883 | 0.4353 | 0.6597 | -1 | 1 | 2 | 1 | 0.7254 | 0.04431 | 0.03323 | 0.04132 | 0.1429 | 1 | 0.000002961 | 0.1625 | 0.08046 | 0.07581 | 0.2753 | 6.664 | 2.828 | 0.1782 | 0.3733 | 1 | 1 | 0.08448 | 0.3513 | 0.7602 | 0.1941 | 0.8071 | 1.747 | json |
| t17_x5_u4_b38 | 17 | 5 | 4 | 38 | ![]() |
div(P,mod(D,cil(R))) | 102254 | 138253064 | o2(x,o2(x,o1(x))) | true | 134839 | 134839 | -0.9631 | 0.01709 | 0.9964 | 0.06819 | 0.2611 | -1 | 1 | 2 | 1 | 0.182 | 0.01617 | 0.006618 | 0.01286 | 0.4193 | 1 | 1.502e-11 | 0.04687 | 0.02384 | 0.02262 | 0.1504 | 11.7 | 2.828 | 0.3343 | 0.6874 | 1 | 1 | 0.01789 | 0.07361 | 0.1173 | 0.2624 | 1.08 | 1.72 | json |
| t17_x5_u4_b39 | 17 | 5 | 4 | 39 | ![]() |
div(P,lrg(D,cil(R))) | 102255 | 138253065 | o2(x,o2(x,o1(x))) | true | 134847 | 134847 | -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_x5_u4_b40 | 17 | 5 | 4 | 40 | ![]() |
div(P,eql(D,cil(R))) | 102256 | 138253066 | o2(x,o2(x,o1(x))) | true | 134855 | 134855 | -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_x5_u4_b41 | 17 | 5 | 4 | 41 | ![]() |
div(P,min(D,cil(R))) | 102257 | 138253067 | o2(x,o2(x,o1(x))) | true | 134863 | 134863 | -0.8098 | 0.08887 | 0.9826 | 0.3233 | 0.5686 | -1 | 1 | 2 | 1 | 0.6632 | 0.08398 | 0.02669 | 0.0642 | 0.5177 | 1 | 7.396e-10 | 0.2225 | 0.1175 | 0.1065 | 0.3263 | 5.083 | 2.828 | 0.3423 | 0.6881 | 1 | 1 | 0.1055 | 0.4319 | 0.5763 | 0.3263 | 1.336 | 1.783 | json |
| t17_x5_u4_b42 | 17 | 5 | 4 | 42 | ![]() |
div(P,dot(D,cil(R))) | 102258 | 138253068 | o2(x,o2(x,o1(x))) | true | 134871 | 134871 | -0.5956 | 0.1943 | 0.9653 | 0.604 | 0.7772 | -1 | 1 | 2 | 1 | 1.175 | 0.1589 | 0.1681 | 0.161 | -0.02809 | 1 | -0.00001019 | 1.098 | 0.3429 | 0.301 | 0.5486 | 3.409 | 2.828 | 0.5413 | 1.818 | 1 | 1 | 0.3714 | 1.041 | 1.223 | 0.6149 | 1.724 | 2.025 | json |
| t17_x5_u4_b43 | 17 | 5 | 4 | 43 | ![]() |
div(P,dst(D,cil(R))) | 102259 | 138253069 | o2(x,o2(x,o1(x))) | true | 134879 | 134879 | -0.003434 | 0.5 | 0.9218 | 0.9007 | 0.949 | -1 | 1 | 2 | 1 | 2.109 | 0.0006794 | 0.00008813 | 0.009211 | 0.7704 | 1 | -0.000006982 | 0.0001349 | 0.003072 | 0.0006822 | 0.02612 | 2.836 | 0.2792 | 0.0008521 | 0.0001498 | 1 | 1 | 0.002068 | 0.024 | 0.2132 | 0.002296 | 0.02665 | 0.2367 | json |
| t17_x5_u4_b44 | 17 | 5 | 4 | 44 | ![]() |
pow(P,add(D,cil(R))) | 102260 | 138253070 | o2(x,o2(x,o1(x))) | true | 134887 | 134887 | -0.03627 | 0.5 | 0.9637 | 0.9516 | 0.9755 | -1 | 1 | 2 | 1 | 1.586 | 0.004425 | 0.00002304 | 0.0105 | 0.9896 | 1 | -0.0000209 | 0.008041 | 0.01139 | 0.004337 | 0.06586 | 6.275 | 1 | 0.004675 | 0.00845 | 1 | 1 | 0.006442 | 0.04059 | 0.2791 | 0.006769 | 0.04265 | 0.2933 | json |
| t17_x5_u4_b45 | 17 | 5 | 4 | 45 | ![]() |
pow(P,sub(D,cil(R))) | 102261 | 138253071 | o2(x,o2(x,o1(x))) | true | 134895 | 134895 | -0.2168 | 0.4609 | 0.8614 | 0.7562 | 0.8696 | -1 | 1 | 2 | 1 | 2.582 | 0.0126 | 0.002448 | 0.02864 | 0.6748 | 1 | 0.00001418 | 0.02739 | 0.02295 | 0.01423 | 0.1193 | 4.165 | 2.828 | 0.0199 | 0.03622 | 1 | 1 | 0.02167 | 0.1024 | 0.3637 | 0.02866 | 0.1354 | 0.4809 | json |
| t17_x5_u4_b46 | 17 | 5 | 4 | 46 | ![]() |
pow(P,mlt(D,cil(R))) | 102262 | 138253072 | o2(x,o2(x,o1(x))) | true | 134903 | 134903 | 0.06196 | 0.5469 | 0.9682 | 0.9458 | 0.9725 | -1 | 1 | 2 | 1 | 1.748 | 0.01961 | 0.01523 | 0.02638 | 0.1256 | 1 | 0.00005884 | 0.0711 | 0.04024 | 0.03415 | 0.1848 | 7.006 | 2.828 | 0.03684 | 0.07518 | 1 | 1 | 0.03801 | 0.1631 | 0.5616 | 0.04019 | 0.1725 | 0.5937 | json |
| t17_x5_u4_b47 | 17 | 5 | 4 | 47 | ![]() |
pow(P,div(D,cil(R))) | 102263 | 138253073 | o2(x,o2(x,o1(x))) | true | 134911 | 134911 | -0.6247 | 0.2024 | 0.969 | 0.5698 | 0.7548 | -1 | 1 | 2 | 1 | 1.127 | 0.05108 | 0.06197 | 0.06408 | -0.09631 | 1 | 0.00004622 | 0.2415 | 0.1213 | 0.1089 | 0.33 | 5.149 | 2.828 | 0.1984 | 0.4238 | 1 | 1 | 0.1097 | 0.4583 | 0.8735 | 0.1925 | 0.8045 | 1.533 | json |
| t17_x5_u4_b48 | 17 | 5 | 4 | 48 | ![]() |
pow(P,pow(D,cil(R))) | 102264 | 138253074 | o2(x,o2(x,o1(x))) | true | 134919 | 134919 | -0.6641 | 0.1836 | 0.9688 | 0.5213 | 0.722 | -1 | 1 | 2 | 1 | 1.013 | 0.05345 | 0.03175 | 0.04815 | 0.2548 | 1 | 0 | 0.177 | 0.08969 | 0.08284 | 0.2878 | 5.977 | 2.828 | 0.1634 | 0.3396 | 1 | 1 | 0.09061 | 0.382 | 0.8854 | 0.1738 | 0.7328 | 1.698 | json |
| t17_x5_u4_b49 | 17 | 5 | 4 | 49 | ![]() |
pow(P,mod(D,cil(R))) | 102265 | 138253075 | o2(x,o2(x,o1(x))) | true | 134927 | 134927 | -0.9614 | 0.02344 | 0.9917 | 0.0654 | 0.2557 | -1 | 1 | 2 | 1 | 0.2331 | 0.007885 | 0.006276 | 0.009038 | 0.1136 | 1 | 9.468e-7 | 0.02991 | 0.01632 | 0.01408 | 0.1187 | 13.13 | 2.828 | 0.2165 | 0.4573 | 1 | 1 | 0.01203 | 0.04862 | 0.1333 | 0.1839 | 0.7434 | 2.038 | json |
| t17_x5_u4_b50 | 17 | 5 | 4 | 50 | ![]() |
pow(P,lrg(D,cil(R))) | 102266 | 138253076 | o2(x,o2(x,o1(x))) | true | 134935 | 134935 | 0.248 | 0.6328 | 0.9824 | 0.9168 | 0.9575 | -1 | 1 | 2 | 1 | 1.252 | 0.04795 | 0.03772 | 0.04626 | 0.1194 | 1 | -0.000002852 | 0.1801 | 0.08841 | 0.0835 | 0.289 | 6.246 | 2.828 | 0.09345 | 0.1964 | 1 | 1 | 0.08666 | 0.3581 | 0.9618 | 0.09453 | 0.3906 | 1.049 | json |
| t17_x5_u4_b51 | 17 | 5 | 4 | 51 | ![]() |
pow(P,eql(D,cil(R))) | 102267 | 138253077 | o2(x,o2(x,o1(x))) | true | 134943 | 134943 | 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_x5_u4_b52 | 17 | 5 | 4 | 52 | ![]() |
pow(P,min(D,cil(R))) | 102268 | 138253078 | o2(x,o2(x,o1(x))) | true | 134951 | 134951 | -0.05795 | 0.5 | 0.9421 | 0.8998 | 0.9486 | -1 | 1 | 2 | 1 | 2.145 | 0.0112 | 0.0001206 | 0.02141 | 0.9787 | 1 | 0.000178 | 0.02111 | 0.02019 | 0.01086 | 0.1042 | 4.868 | 2 | 0.01258 | 0.02346 | 1 | 1 | 0.0152 | 0.07125 | 0.3104 | 0.0169 | 0.07918 | 0.345 | json |
| t17_x5_u4_b53 | 17 | 5 | 4 | 53 | ![]() |
pow(P,dot(D,cil(R))) | 102269 | 138253079 | o2(x,o2(x,o1(x))) | true | 134959 | 134959 | -0.09859 | 0.4674 | 0.9666 | 0.9361 | 0.9675 | -1 | 1 | 2 | 1 | 1.772 | 0.0165 | 0.01144 | 0.02356 | 0.1813 | 1 | 0.000004889 | 0.08636 | 0.03621 | 0.0274 | 0.1655 | 7.027 | 2.828 | 0.02984 | 0.09226 | 1 | 1 | 0.03475 | 0.1349 | 0.4247 | 0.03712 | 0.1441 | 0.4537 | json |
| t17_x5_u4_b54 | 17 | 5 | 4 | 54 | ![]() |
pow(P,dst(D,cil(R))) | 102270 | 138253080 | o2(x,o2(x,o1(x))) | true | 134967 | 134967 | -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_x5_u4_b55 | 17 | 5 | 4 | 55 | ![]() |
mod(P,add(D,cil(R))) | 102271 | 138253081 | o2(x,o2(x,o1(x))) | true | 134975 | 134975 | -0.01662 | 0.4827 | 0.308 | 0.1591 | 0.3989 | -1 | 1 | 2 | 1 | 4.633 | 0.05271 | 0.0006484 | 0.1546 | 0.9757 | 1 | 0.002242 | 0.146 | 0.2329 | 0.02946 | 0.1717 | 1.111 | 0.9685 | 0.3354 | 0.918 | 1 | 1 | 0.03277 | 0.06774 | 0.1277 | 0.206 | 0.4258 | 0.8028 | json |
| t17_x5_u4_b56 | 17 | 5 | 4 | 56 | ![]() |
mod(P,sub(D,cil(R))) | 102272 | 138253082 | o2(x,o2(x,o1(x))) | true | 134983 | 134983 | -0.0006291 | 0.4852 | 0.3063 | 0.1576 | 0.397 | -1 | 1 | 2 | 1 | 4.633 | 0.05314 | 0.0006492 | 0.154 | 0.9759 | 1 | -0.002102 | 0.1453 | 0.2316 | 0.03007 | 0.1734 | 1.126 | 0.9685 | 0.3413 | 0.9219 | 1 | 1 | 0.03235 | 0.06638 | 0.1276 | 0.2053 | 0.4212 | 0.8098 | json |
| t17_x5_u4_b57 | 17 | 5 | 4 | 57 | ![]() |
mod(P,mlt(D,cil(R))) | 102273 | 138253083 | o2(x,o2(x,o1(x))) | true | 134991 | 134991 | -0.961 | 0.006836 | 0.9626 | 0.03472 | 0.1863 | -1 | 0.3428 | 1.343 | 1 | 0.3855 | 0.004563 | 0.003557 | 0.01061 | 0.124 | 1 | 5.188e-7 | 0.01764 | 0.01979 | 0.00801 | 0.0895 | 8.437 | 1.414 | 0.2338 | 0.5081 | 1 | 1 | 0.005634 | 0.02135 | 0.05454 | 0.1622 | 0.6148 | 1.571 | json |
| t17_x5_u4_b58 | 17 | 5 | 4 | 58 | ![]() |
mod(P,div(D,cil(R))) | 102274 | 138253084 | o2(x,o2(x,o1(x))) | true | 134999 | 134999 | -0.961 | 0.006836 | 0.9626 | 0.03472 | 0.1863 | -1 | 0.3428 | 1.343 | 1 | 0.3855 | 0.004563 | 0.003557 | 0.01061 | 0.124 | 1 | 5.188e-7 | 0.01764 | 0.01979 | 0.00801 | 0.0895 | 8.437 | 1.414 | 0.2338 | 0.5081 | 1 | 1 | 0.005634 | 0.02135 | 0.05454 | 0.1622 | 0.6148 | 1.571 | json |
| t17_x5_u4_b59 | 17 | 5 | 4 | 59 | ![]() |
mod(P,pow(D,cil(R))) | 102275 | 138253085 | o2(x,o2(x,o1(x))) | true | 135007 | 135007 | -0.7462 | 0.07195 | 0.754 | 0.1903 | 0.4362 | -1 | 0.2519 | 1.252 | 1 | 1.286 | 0.02218 | 0.0163 | 0.04318 | 0.1527 | 1 | -0.000002306 | 0.08094 | 0.08394 | 0.03662 | 0.1914 | 4.432 | 1.414 | 0.2022 | 0.4254 | 1 | 1 | 0.03984 | 0.1634 | 0.3619 | 0.2094 | 0.8585 | 1.902 | json |
| t17_x5_u4_b60 | 17 | 5 | 4 | 60 | ![]() |
mod(P,mod(D,cil(R))) | 102276 | 138253086 | o2(x,o2(x,o1(x))) | true | 135015 | 135015 | -0.961 | 0.006836 | 0.9626 | 0.03472 | 0.1863 | -1 | 0.3428 | 1.343 | 1 | 0.3855 | 0.004563 | 0.003557 | 0.01061 | 0.124 | 1 | 5.188e-7 | 0.01764 | 0.01979 | 0.00801 | 0.0895 | 8.437 | 1.414 | 0.2338 | 0.5081 | 1 | 1 | 0.005634 | 0.02135 | 0.05454 | 0.1622 | 0.6148 | 1.571 | json |
| t17_x5_u4_b61 | 17 | 5 | 4 | 61 | ![]() |
mod(P,lrg(D,cil(R))) | 102277 | 138253087 | o2(x,o2(x,o1(x))) | true | 135023 | 135023 | -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_x5_u4_b62 | 17 | 5 | 4 | 62 | ![]() |
mod(P,eql(D,cil(R))) | 102278 | 138253088 | o2(x,o2(x,o1(x))) | true | 135031 | 135031 | -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_x5_u4_b63 | 17 | 5 | 4 | 63 | ![]() |
mod(P,min(D,cil(R))) | 102279 | 138253089 | o2(x,o2(x,o1(x))) | true | 135039 | 135039 | -0.7876 | 0.0752 | 0.8107 | 0.167 | 0.4086 | -1 | 0.3853 | 1.385 | 1 | 1.5 | 0.0223 | 0.01617 | 0.05037 | 0.1594 | 1 | 0.000001492 | 0.08236 | 0.09289 | 0.03593 | 0.1895 | 3.763 | 1.414 | 0.2303 | 0.4932 | 1 | 1 | 0.0389 | 0.1606 | 0.3797 | 0.2329 | 0.9615 | 2.274 | json |
| t17_x5_u4_b64 | 17 | 5 | 4 | 64 | ![]() |
mod(P,dot(D,cil(R))) | 102280 | 138253090 | o2(x,o2(x,o1(x))) | true | 135047 | 135047 | -0.686 | 0.1464 | 0.7281 | 0.2229 | 0.4721 | -1 | 0.5661 | 1.566 | 1 | 2.032 | 0.03958 | 0.04041 | 0.09101 | -0.01044 | 1 | 0.0000286 | 0.3583 | 0.2026 | 0.07172 | 0.2678 | 2.943 | 1.979 | 0.3589 | 1.607 | 1 | 1 | 0.0704 | 0.1724 | 0.4764 | 0.3158 | 0.7734 | 2.137 | json |
| t17_x5_u4_b65 | 17 | 5 | 4 | 65 | ![]() |
mod(P,dst(D,cil(R))) | 102281 | 138253091 | o2(x,o2(x,o1(x))) | true | 135055 | 135055 | -0.01629 | 0.4999 | 0.5822 | 0.4327 | 0.6578 | -1 | 1 | 2 | 1 | 4.86 | 0.03854 | 0.0384 | 0.1764 | 0.001865 | 1 | -0.0004735 | 0.2756 | 0.2888 | 0.04581 | 0.214 | 1.213 | 1.398 | 0.1778 | 0.6368 | 1 | 1 | 0.05702 | 0.1349 | 0.264 | 0.1318 | 0.3116 | 0.6101 | json |
| t17_x5_u4_b66 | 17 | 5 | 4 | 66 | ![]() |
lrg(P,add(D,cil(R))) | 102282 | 138253092 | o2(x,o2(x,o1(x))) | true | 135063 | 135063 | 0.4668 | 0.5456 | 0.4668 | 0.2314 | 0.481 | 0 | 1 | 1 | 1 | 1.72 | 0.005017 | 0.0001404 | 0.01467 | 0.9456 | 1 | 0.000008556 | 0.008777 | 0.01177 | 0.004941 | 0.07029 | 4.793 | 0.9994 | 0.02229 | 0.03793 | 1 | 1 | 0.007444 | 0.03684 | 0.07788 | 0.03217 | 0.1592 | 0.3366 | json |
| t17_x5_u4_b67 | 17 | 5 | 4 | 67 | ![]() |
lrg(P,sub(D,cil(R))) | 102283 | 138253093 | o2(x,o2(x,o1(x))) | true | 135071 | 135071 | 0.5312 | 0.6116 | 0.5312 | 0.2323 | 0.482 | 0 | 1 | 1 | 1 | 1.695 | 0.004802 | 0.0001228 | 0.01398 | 0.9501 | 1 | -0.000008557 | 0.008369 | 0.01117 | 0.004728 | 0.06876 | 4.917 | 0.9994 | 0.0212 | 0.03602 | 1 | 1 | 0.007296 | 0.03571 | 0.0835 | 0.0314 | 0.1537 | 0.3594 | json |
| t17_x5_u4_b68 | 17 | 5 | 4 | 68 | ![]() |
lrg(P,mlt(D,cil(R))) | 102284 | 138253094 | o2(x,o2(x,o1(x))) | true | 135079 | 135079 | 0.4824 | 0.5378 | 0.4824 | 0.2389 | 0.4888 | 0 | 1 | 1 | 1 | 1.486 | 0.002093 | 0.00005267 | 0.007936 | 0.9509 | 1 | -0.000002853 | 0.003286 | 0.004977 | 0.002082 | 0.04563 | 5.75 | 0.9994 | 0.008984 | 0.01375 | 1 | 1 | 0.003596 | 0.02222 | 0.07826 | 0.01505 | 0.09301 | 0.3276 | json |
| t17_x5_u4_b69 | 17 | 5 | 4 | 69 | ![]() |
lrg(P,div(D,cil(R))) | 102285 | 138253095 | o2(x,o2(x,o1(x))) | true | 135087 | 135087 | 0.4854 | 0.8648 | 0.4854 | 0.1688 | 0.4109 | 0 | 1 | 1 | 1 | 3.215 | 0.0313 | 0.001276 | 0.07616 | 0.9217 | 1 | -0.00002567 | 0.05871 | 0.07497 | 0.02678 | 0.1637 | 2.149 | 1 | 0.193 | 0.3477 | 1 | 1 | 0.03828 | 0.1709 | 0.1908 | 0.2267 | 1.012 | 1.13 | json |
| t17_x5_u4_b70 | 17 | 5 | 4 | 70 | ![]() |
lrg(P,pow(D,cil(R))) | 102286 | 138253096 | o2(x,o2(x,o1(x))) | true | 135095 | 135095 | 0.5693 | 0.8516 | 0.5693 | 0.1979 | 0.4448 | 0 | 1 | 1 | 1 | 2.518 | 0.0156 | 0.0007283 | 0.04178 | 0.9108 | 1 | -0.00006274 | 0.0287 | 0.03772 | 0.01459 | 0.1208 | 2.891 | 0.9997 | 0.08253 | 0.1451 | 1 | 1 | 0.01771 | 0.0872 | 0.1322 | 0.08952 | 0.4407 | 0.6681 | json |
| t17_x5_u4_b71 | 17 | 5 | 4 | 71 | ![]() |
lrg(P,mod(D,cil(R))) | 102287 | 138253097 | o2(x,o2(x,o1(x))) | true | 135103 | 135103 | 0.7461 | 0.9619 | 0.7461 | 0.1414 | 0.376 | 0 | 1 | 1 | 1 | 2.303 | 0.002687 | 0.001179 | 0.02819 | 0.3903 | 1 | -0.000009281 | 0.003376 | 0.009879 | 0.003071 | 0.05542 | 1.966 | 0.9997 | 0.02734 | 0.02388 | 1 | 1 | 0.006679 | 0.06268 | 0.1658 | 0.04724 | 0.4433 | 1.173 | json |
| t17_x5_u4_b72 | 17 | 5 | 4 | 72 | ![]() |
lrg(P,lrg(D,cil(R))) | 102288 | 138253098 | o2(x,o2(x,o1(x))) | true | 135111 | 135111 | 0.457 | 0.5 | 0.457 | 0.2373 | 0.4871 | 0 | 1 | 1 | 1 | 1.491 | 0.001633 | 0.00008773 | 0.00768 | 0.898 | 1 | -0.000005705 | 0.00244 | 0.004349 | 0.001662 | 0.04077 | 5.308 | 0.9994 | 0.00725 | 0.01028 | 1 | 1 | 0.003294 | 0.02186 | 0.07352 | 0.01388 | 0.09211 | 0.3099 | json |
| t17_x5_u4_b73 | 17 | 5 | 4 | 73 | ![]() |
lrg(P,eql(D,cil(R))) | 102289 | 138253099 | o2(x,o2(x,o1(x))) | true | 135119 | 135119 | 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_x5_u4_b74 | 17 | 5 | 4 | 74 | ![]() |
lrg(P,min(D,cil(R))) | 102290 | 138253100 | o2(x,o2(x,o1(x))) | true | 135127 | 135127 | 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_x5_u4_b75 | 17 | 5 | 4 | 75 | ![]() |
lrg(P,dot(D,cil(R))) | 102291 | 138253101 | o2(x,o2(x,o1(x))) | true | 135135 | 135135 | 0.4976 | 0.5668 | 0.4976 | 0.2361 | 0.4859 | 0 | 1 | 1 | 1 | 1.607 | 0.001694 | 0.002258 | 0.0117 | -0.1426 | 1 | -0.000008214 | 0.008967 | 0.01118 | 0.003815 | 0.06176 | 5.277 | 1.413 | 0.01674 | 0.03798 | 1 | 1 | 0.005994 | 0.02834 | 0.07289 | 0.02539 | 0.1201 | 0.3087 | json |
| t17_x5_u4_b76 | 17 | 5 | 4 | 76 | ![]() |
lrg(P,dst(D,cil(R))) | 102292 | 138253102 | o2(x,o2(x,o1(x))) | true | 135143 | 135143 | 0.4199 | 0.4539 | 0.4199 | 0.2358 | 0.4856 | 0 | 1 | 1 | 1 | 1.364 | 0.0012 | 0.001197 | 0.007033 | 0.001208 | 1 | -0.00001949 | 0.006478 | 0.007674 | 0.002346 | 0.04844 | 6.887 | 1.264 | 0.01017 | 0.02747 | 1 | 1 | 0.003505 | 0.02031 | 0.08251 | 0.01487 | 0.08615 | 0.3499 | json |
| t17_x5_u4_b77 | 17 | 5 | 4 | 77 | ![]() |
eql(P,add(D,cil(R))) | 102293 | 138253103 | o2(x,o2(x,o1(x))) | true | 135151 | 135151 | 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_x5_u4_b78 | 17 | 5 | 4 | 78 | ![]() |
eql(P,sub(D,cil(R))) | 102294 | 138253104 | o2(x,o2(x,o1(x))) | true | 135159 | 135159 | 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_x5_u4_b79 | 17 | 5 | 4 | 79 | ![]() |
eql(P,mlt(D,cil(R))) | 102295 | 138253105 | o2(x,o2(x,o1(x))) | true | 135167 | 135167 | 0.03516 | 0.09119 | 0.03516 | 0.02431 | 0.1559 | 0 | 0.9997 | 0.9997 | 1 | 0.5835 | 0.0003631 | 0.0001053 | 0.005422 | 0.5502 | 1 | 0.000005704 | 0.00002431 | 0.001291 | 0.0004388 | 0.02095 | 3.863 | 0.1169 | 0.01927 | 0.001 | 1 | 1 | 0.001224 | 0.01595 | 0.05043 | 0.05036 | 0.656 | 2.074 | json |
| t17_x5_u4_b80 | 17 | 5 | 4 | 80 | ![]() |
eql(P,div(D,cil(R))) | 102296 | 138253106 | o2(x,o2(x,o1(x))) | true | 135175 | 135175 | 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_x5_u4_b81 | 17 | 5 | 4 | 81 | ![]() |
eql(P,pow(D,cil(R))) | 102297 | 138253107 | o2(x,o2(x,o1(x))) | true | 135183 | 135183 | 0.02344 | 0.08167 | 0.02344 | 0.0145 | 0.1204 | 0 | 0.9997 | 0.9997 | 1 | 0.481 | 0.0002093 | 0.0001755 | 0.004585 | 0.08789 | 1 | 0.00001141 | 0.00002229 | 0.00111 | 0.0003637 | 0.01907 | 4.159 | 0.1169 | 0.02653 | 0.001537 | 1 | 1 | 0.001133 | 0.01461 | 0.03231 | 0.0781 | 1.007 | 2.228 | json |
| t17_x5_u4_b82 | 17 | 5 | 4 | 82 | ![]() |
eql(P,mod(D,cil(R))) | 102298 | 138253108 | o2(x,o2(x,o1(x))) | true | 135191 | 135191 | 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_x5_u4_b83 | 17 | 5 | 4 | 83 | ![]() |
eql(P,lrg(D,cil(R))) | 102299 | 138253109 | o2(x,o2(x,o1(x))) | true | 135199 | 135199 | 0.05664 | 0.1411 | 0.05664 | 0.03851 | 0.1962 | 0 | 0.9997 | 0.9997 | 1 | 0.8476 | 0.003815 | 0.0001404 | 0.01214 | 0.929 | 1 | 0.000002852 | 0.006566 | 0.009274 | 0.00381 | 0.06173 | 5.086 | 0.9997 | 0.1027 | 0.1705 | 1 | 1 | 0.006429 | 0.03704 | 0.06775 | 0.1669 | 0.9617 | 1.759 | json |



































































































