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_x19_u5_b105 | 17 | 19 | 5 | 105 | ![]() |
dot(R,lrg(P,sgn(D))) | 114300 | 138818946 | o2(x,o2(x,o1(x))) | true | 74407 | 74407 | -0.01684 | 0.3813 | 0.317 | 0.1936 | 0.44 | -1 | 1 | 2 | 1 | 4.438 | 0.004874 | 0.004518 | 0.05759 | 0.03793 | 1 | -0.00000947 | 0.008624 | 0.02587 | 0.006076 | 0.07795 | 1.354 | 0.9936 | 0.04851 | 0.04455 | 1 | 1 | 0.01465 | 0.1363 | 0.3874 | 0.07568 | 0.7038 | 2.001 | json |
| t17_x19_u5_b106 | 17 | 19 | 5 | 106 | ![]() |
dot(R,eql(P,sgn(D))) | 114301 | 138818947 | o2(x,o2(x,o1(x))) | true | 74415 | 74415 | -0.006886 | 0.4867 | 0.399 | 0.2273 | 0.4767 | -1 | 1 | 2 | 1 | 4.889 | 0.005085 | 0.005145 | 0.07129 | -0.005819 | 1 | -0.00003878 | 0.007606 | 0.02752 | 0.005149 | 0.07176 | 1.007 | 0.9578 | 0.04502 | 0.03347 | 1 | 1 | 0.0198 | 0.2106 | 0.4754 | 0.08713 | 0.9266 | 2.092 | json |
| t17_x19_u5_b107 | 17 | 19 | 5 | 107 | ![]() |
dot(R,min(P,sgn(D))) | 114302 | 138818948 | o2(x,o2(x,o1(x))) | true | 74423 | 74423 | -0.07612 | 0.4617 | 0.7038 | 0.6096 | 0.7808 | -1 | 1 | 2 | 1 | 3.931 | 0.03339 | 0.03591 | 0.1251 | -0.03638 | 1 | -0.00003766 | 0.0875 | 0.1137 | 0.05364 | 0.2316 | 1.851 | 1.967 | 0.1137 | 0.1435 | 1 | 1 | 0.08874 | 0.5647 | 1.074 | 0.1456 | 0.9263 | 1.761 | json |
| t17_x19_u5_b108 | 17 | 19 | 5 | 108 | ![]() |
dot(R,dot(P,sgn(D))) | 114303 | 138818949 | o2(x,o2(x,o1(x))) | true | 74431 | 74431 | 0.00845 | 0.5022 | 0.863 | 0.8217 | 0.9065 | -1 | 1 | 2 | 1 | 2.728 | 0.1208 | 0.1286 | 0.2046 | -0.03143 | 1 | 0.00007329 | 0.4502 | 0.2938 | 0.2076 | 0.4557 | 2.227 | 2.828 | 0.3036 | 0.5479 | 1 | 1 | 0.2771 | 1.248 | 1.509 | 0.3372 | 1.519 | 1.837 | json |
| t17_x19_u5_b109 | 17 | 19 | 5 | 109 | ![]() |
dot(R,dst(P,sgn(D))) | 114304 | 138818950 | o2(x,o2(x,o1(x))) | true | 74439 | 74439 | 0.01323 | 0.5086 | 0.8963 | 0.8629 | 0.9289 | -1 | 1 | 2 | 1 | 2.448 | 0.04152 | 0.0427 | 0.1125 | -0.014 | 1 | 0.00002688 | 0.0956 | 0.1086 | 0.07158 | 0.2676 | 2.378 | 2.14 | 0.0976 | 0.1108 | 1 | 1 | 0.1117 | 0.716 | 1.564 | 0.1295 | 0.8298 | 1.812 | json |
| t17_x19_u5_b110 | 17 | 19 | 5 | 110 | ![]() |
dst(R,add(P,sgn(D))) | 114305 | 138818951 | o2(x,o2(x,o1(x))) | true | 74447 | 74447 | 0.999 | 1 | 0.999 | 0.0003871 | 0.01968 | 0.341 | 1 | 0.659 | 1 | 0.04502 | 0.00008689 | 0.0001004 | 0.0006721 | -0.07228 | 1 | -3.754e-11 | 0.000379 | 0.0009365 | 0.0001866 | 0.01366 | 20.33 | 0.659 | 0.4838 | 0.979 | 1 | 1 | 0.0003635 | 0.001282 | 0.001407 | 0.939 | 3.311 | 3.635 | json |
| t17_x19_u5_b111 | 17 | 19 | 5 | 111 | ![]() |
dst(R,sub(P,sgn(D))) | 114306 | 138818952 | o2(x,o2(x,o1(x))) | true | 74455 | 74455 | 0.9995 | 1 | 0.9995 | 0.0001759 | 0.01326 | 0.3417 | 1 | 0.6583 | 1 | 0.0202 | 0.00006886 | 0.00006812 | 0.0004461 | 0.005392 | 1 | -1.502e-11 | 0.0002909 | 0.0006849 | 0.0001367 | 0.01169 | 26.21 | 0.6585 | 0.7786 | 1.653 | 1 | 1 | 0.0002711 | 0.0006399 | 0.0006393 | 1.541 | 3.637 | 3.634 | json |
| t17_x19_u5_b112 | 17 | 19 | 5 | 112 | ![]() |
dst(R,mlt(P,sgn(D))) | 114307 | 138818953 | o2(x,o2(x,o1(x))) | true | 74463 | 74463 | 0.9996 | 1 | 0.9996 | 0.00008194 | 0.009052 | 0.5932 | 1 | 0.4068 | 1 | 0.02056 | 0.00003068 | 0.00002441 | 0.0002877 | 0.1138 | 0 | 3.379e-11 | 0.0001114 | 0.0004109 | 0.00005498 | 0.007415 | 25.78 | 0.575 | 0.6724 | 1.36 | 1 | 1 | 0.0001113 | 0.0002979 | 0.0002978 | 1.359 | 3.635 | 3.634 | json |
| t17_x19_u5_b113 | 17 | 19 | 5 | 113 | ![]() |
dst(R,div(P,sgn(D))) | 114308 | 138818954 | o2(x,o2(x,o1(x))) | true | 74471 | 74471 | -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_x19_u5_b114 | 17 | 19 | 5 | 114 | ![]() |
dst(R,pow(P,sgn(D))) | 114309 | 138818955 | o2(x,o2(x,o1(x))) | true | 74479 | 74479 | -0.501 | 0.25 | 0.999 | 0.7473 | 0.8645 | -1 | 1 | 2 | 1 | 0.8566 | 0.007946 | 0.008035 | 0.00879 | -0.005603 | 1 | -0.000006312 | 0.03209 | 0.01711 | 0.0159 | 0.1261 | 14.34 | 2 | 0.02138 | 0.04294 | 1 | 1 | 0.02112 | 0.08427 | 0.3347 | 0.02826 | 0.1128 | 0.4479 | json |
| t17_x19_u5_b115 | 17 | 19 | 5 | 115 | ![]() |
dst(R,mod(P,sgn(D))) | 114310 | 138818956 | o2(x,o2(x,o1(x))) | true | 74487 | 74487 | -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_x19_u5_b116 | 17 | 19 | 5 | 116 | ![]() |
dst(R,lrg(P,sgn(D))) | 114311 | 138818957 | o2(x,o2(x,o1(x))) | true | 74495 | 74495 | 0.9543 | 1 | 0.9543 | 0.01249 | 0.1117 | 0.2581 | 1 | 0.7419 | 1 | 1.214 | 0.0003786 | 0.0009012 | 0.01092 | -0.4084 | 1 | -0.00002502 | 0.001707 | 0.008083 | 0.001161 | 0.03407 | 3.12 | 0.6592 | 0.1025 | 0.1367 | 1 | 1 | 0.001896 | 0.01126 | 0.01854 | 0.1519 | 0.9014 | 1.485 | json |
| t17_x19_u5_b117 | 17 | 19 | 5 | 117 | ![]() |
dst(R,eql(P,sgn(D))) | 114312 | 138818958 | o2(x,o2(x,o1(x))) | true | 74503 | 74503 | 0.9695 | 1 | 0.9695 | 0.009253 | 0.09619 | 0.2103 | 1 | 0.7897 | 1 | 0.8668 | 0.000375 | 0.000519 | 0.008617 | -0.1611 | 1 | -0.00004211 | 0.0009422 | 0.006225 | 0.0008192 | 0.02862 | 3.321 | 0.8159 | 0.09662 | 0.1018 | 1 | 1 | 0.001454 | 0.008927 | 0.01335 | 0.1572 | 0.9647 | 1.442 | json |
| t17_x19_u5_b118 | 17 | 19 | 5 | 118 | ![]() |
dst(R,min(P,sgn(D))) | 114313 | 138818959 | o2(x,o2(x,o1(x))) | true | 74511 | 74511 | 0.9953 | 1 | 0.9953 | 0.001438 | 0.03792 | 0.2995 | 1 | 0.7005 | 1 | 0.1901 | 0.0003267 | 0.0002772 | 0.002797 | 0.08191 | 1 | -0.00000768 | 0.001185 | 0.003786 | 0.000596 | 0.02441 | 8.729 | 0.7513 | 0.42 | 0.8241 | 1 | 1 | 0.0006708 | 0.002321 | 0.002599 | 0.4665 | 1.614 | 1.807 | json |
| t17_x19_u5_b119 | 17 | 19 | 5 | 119 | ![]() |
dst(R,dot(P,sgn(D))) | 114314 | 138818960 | o2(x,o2(x,o1(x))) | true | 74519 | 74519 | 0.9997 | 1 | 0.9997 | 0.00009566 | 0.00978 | 0.4541 | 1 | 0.5459 | 1 | 0.01843 | 0.00009525 | 0.00009635 | 0.0006196 | -0.005721 | 1 | -0.000001456 | 0.0006578 | 0.001204 | 0.000191 | 0.01382 | 22.3 | 0.6875 | 2.003 | 6.876 | 1 | 1 | 0.0001301 | 0.0001601 | 0.0001371 | 1.36 | 1.674 | 1.433 | json |
| t17_x19_u5_b120 | 17 | 19 | 5 | 120 | ![]() |
dst(R,dst(P,sgn(D))) | 114315 | 138818961 | o2(x,o2(x,o1(x))) | true | 74527 | 74527 | 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_x19_u6_b0 | 17 | 19 | 6 | 0 | ![]() |
add(R,add(P,nrm(D))) | 114316 | 138819042 | o2(x,o2(x,o1(x))) | true | 74535 | 74535 | 0.004816 | 0.5013 | 0.9408 | 0.9212 | 0.9598 | -1 | 1 | 2 | 1 | 1.937 | 0.003767 | 0.001185 | 0.0191 | 0.5213 | 1 | -0.00001143 | 0.005019 | 0.01086 | 0.004588 | 0.06773 | 3.545 | 1.467 | 0.005375 | 0.005449 | 1 | 1 | 0.0107 | 0.07168 | 0.2638 | 0.01161 | 0.07781 | 0.2864 | json |
| t17_x19_u6_b1 | 17 | 19 | 6 | 1 | ![]() |
add(R,sub(P,nrm(D))) | 114317 | 138819043 | o2(x,o2(x,o1(x))) | true | 74543 | 74543 | 0.004421 | 0.499 | 0.9413 | 0.9215 | 0.9599 | -1 | 1 | 2 | 1 | 1.937 | 0.006764 | 0.001184 | 0.02692 | 0.7021 | 1 | -0.00001625 | 0.006188 | 0.01629 | 0.007225 | 0.085 | 3.158 | 1.469 | 0.008625 | 0.006716 | 1 | 1 | 0.01791 | 0.1042 | 0.2667 | 0.01943 | 0.113 | 0.2894 | json |
| t17_x19_u6_b2 | 17 | 19 | 6 | 2 | ![]() |
add(R,mlt(P,nrm(D))) | 114318 | 138819044 | o2(x,o2(x,o1(x))) | true | 74551 | 74551 | -0.1298 | 0.4291 | 0.7617 | 0.6682 | 0.8174 | -1 | 1 | 2 | 1 | 3.645 | 0.1633 | 0.006696 | 0.2201 | 0.9212 | 1 | 0.0001084 | 0.1989 | 0.1975 | 0.1215 | 0.3486 | 1.584 | 2.228 | 0.2545 | 0.2976 | 1 | 1 | 0.2101 | 1.103 | 0.2525 | 0.3144 | 1.651 | 0.3778 | json |
| t17_x19_u6_b3 | 17 | 19 | 6 | 3 | ![]() |
add(R,div(P,nrm(D))) | 114319 | 138819045 | o2(x,o2(x,o1(x))) | true | 74559 | 74559 | -0.1283 | 0.4318 | 0.9043 | 0.8547 | 0.9245 | -1 | 1 | 2 | 1 | 2.367 | 0.3355 | 0.001567 | 0.2333 | 0.9907 | 1 | -0.00008252 | 0.5875 | 0.3573 | 0.2827 | 0.5317 | 2.279 | 2.067 | 0.3944 | 0.6874 | 1 | 1 | 0.3598 | 1.525 | 0.2678 | 0.421 | 1.785 | 0.3134 | json |
| t17_x19_u6_b4 | 17 | 19 | 6 | 4 | ![]() |
add(R,pow(P,nrm(D))) | 114320 | 138819046 | o2(x,o2(x,o1(x))) | true | 74567 | 74567 | -0.1141 | 0.4696 | 0.9051 | 0.8569 | 0.9257 | -1 | 1 | 2 | 1 | 2.337 | 0.014 | 0.001198 | 0.04016 | 0.8424 | 1 | -0.000131 | 0.0195 | 0.03404 | 0.01358 | 0.1165 | 2.901 | 1.829 | 0.01774 | 0.02276 | 1 | 1 | 0.02174 | 0.1192 | 0.3163 | 0.02537 | 0.1391 | 0.3692 | json |
| t17_x19_u6_b5 | 17 | 19 | 6 | 5 | ![]() |
add(R,mod(P,nrm(D))) | 114321 | 138819047 | o2(x,o2(x,o1(x))) | true | 74575 | 74575 | 0.009789 | 0.506 | 0.4288 | 0.2646 | 0.5144 | -1 | 1 | 2 | 1 | 4.931 | 0.02724 | 0.0301 | 0.1916 | -0.04978 | 1 | 0.00001279 | 0.2395 | 0.3263 | 0.02062 | 0.1436 | 0.7492 | 0.9253 | 0.2167 | 0.9049 | 1 | 1 | 0.04294 | 0.1933 | 0.3927 | 0.1623 | 0.7304 | 1.484 | json |
| t17_x19_u6_b6 | 17 | 19 | 6 | 6 | ![]() |
add(R,lrg(P,nrm(D))) | 114322 | 138819048 | o2(x,o2(x,o1(x))) | true | 74583 | 74583 | 0.4201 | 0.7705 | 0.5972 | 0.2865 | 0.5352 | -0.9989 | 1 | 1.999 | 1 | 4.38 | 0.005368 | 0.002441 | 0.0528 | 0.3749 | 1 | -0.00001599 | 0.006315 | 0.02037 | 0.005021 | 0.07086 | 1.342 | 1.012 | 0.02726 | 0.02205 | 1 | 1 | 0.01363 | 0.1248 | 0.2967 | 0.04758 | 0.4358 | 1.036 | json |
| t17_x19_u6_b7 | 17 | 19 | 6 | 7 | ![]() |
add(R,eql(P,nrm(D))) | 114323 | 138819049 | o2(x,o2(x,o1(x))) | true | 74591 | 74591 | 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_x19_u6_b8 | 17 | 19 | 6 | 8 | ![]() |
add(R,min(P,nrm(D))) | 114324 | 138819050 | o2(x,o2(x,o1(x))) | true | 74599 | 74599 | -0.5008 | 0.237 | 0.7083 | 0.3746 | 0.612 | -1 | 1 | 2 | 1 | 3.462 | 0.01633 | 0.003854 | 0.07818 | 0.6181 | 1 | 0.000353 | 0.01691 | 0.03596 | 0.01406 | 0.1186 | 1.517 | 1.468 | 0.05387 | 0.04516 | 1 | 1 | 0.0349 | 0.2376 | 0.2613 | 0.09318 | 0.6344 | 0.6975 | json |
| t17_x19_u6_b9 | 17 | 19 | 6 | 9 | ![]() |
add(R,dot(P,nrm(D))) | 114325 | 138819051 | o2(x,o2(x,o1(x))) | true | 74607 | 74607 | -0.1995 | 0.3962 | 0.8362 | 0.743 | 0.862 | -1 | 1 | 2 | 1 | 3.02 | 0.1217 | 0.1208 | 0.2628 | 0.003906 | 1 | 0.002747 | 0.3787 | 0.2823 | 0.1735 | 0.4165 | 1.585 | 2.828 | 0.3264 | 0.5097 | 1 | 1 | 0.2989 | 1.367 | 0.2432 | 0.4022 | 1.839 | 0.3273 | json |
| t17_x19_u6_b10 | 17 | 19 | 6 | 10 | ![]() |
add(R,dst(P,nrm(D))) | 114326 | 138819052 | o2(x,o2(x,o1(x))) | true | 74615 | 74615 | 0.9986 | 0.9998 | 0.9986 | 0.0009443 | 0.03073 | -0.3595 | 1 | 1.359 | 1 | 0.0437 | 0.0001763 | 0.0001989 | 0.001193 | -0.06021 | 1 | 1.502e-11 | 0.0004775 | 0.001266 | 0.000374 | 0.01934 | 16.2 | 0.8789 | 0.3974 | 0.5057 | 1 | 1 | 0.001022 | 0.003408 | 0.003409 | 1.083 | 3.609 | 3.611 | json |
| t17_x19_u6_b11 | 17 | 19 | 6 | 11 | ![]() |
sub(R,add(P,nrm(D))) | 114327 | 138819053 | o2(x,o2(x,o1(x))) | true | 74623 | 74623 | 0.004216 | 0.5016 | 0.9354 | 0.9149 | 0.9565 | -1 | 1 | 2 | 1 | 1.994 | 0.0041 | 0.001261 | 0.02046 | 0.5296 | 1 | 5.184e-7 | 0.005486 | 0.01156 | 0.004942 | 0.0703 | 3.436 | 1.47 | 0.00586 | 0.005997 | 1 | 1 | 0.01098 | 0.07279 | 0.2577 | 0.012 | 0.07956 | 0.2816 | json |
| t17_x19_u6_b12 | 17 | 19 | 6 | 12 | ![]() |
sub(R,sub(P,nrm(D))) | 114328 | 138819054 | o2(x,o2(x,o1(x))) | true | 74631 | 74631 | 0.004409 | 0.4991 | 0.9362 | 0.9146 | 0.9564 | -1 | 1 | 2 | 1 | 2.006 | 0.007088 | 0.00127 | 0.02856 | 0.6961 | 1 | -0.000001249 | 0.006619 | 0.017 | 0.007544 | 0.08686 | 3.041 | 1.465 | 0.009138 | 0.007236 | 1 | 1 | 0.01822 | 0.1056 | 0.2611 | 0.01992 | 0.1154 | 0.2855 | json |
| t17_x19_u6_b13 | 17 | 19 | 6 | 13 | ![]() |
sub(R,mlt(P,nrm(D))) | 114329 | 138819055 | o2(x,o2(x,o1(x))) | true | 74639 | 74639 | 0.139 | 0.5829 | 0.7667 | 0.6715 | 0.8194 | -1 | 1 | 2 | 1 | 3.627 | 0.1632 | 0.006664 | 0.2198 | 0.9216 | 1 | -0.00003389 | 0.1984 | 0.1967 | 0.1216 | 0.3487 | 1.586 | 2.245 | 0.253 | 0.2954 | 1 | 1 | 0.2106 | 1.103 | 0.2534 | 0.3136 | 1.643 | 0.3774 | json |
| t17_x19_u6_b14 | 17 | 19 | 6 | 14 | ![]() |
sub(R,div(P,nrm(D))) | 114330 | 138819056 | o2(x,o2(x,o1(x))) | true | 74647 | 74647 | 0.1274 | 0.5633 | 0.903 | 0.8544 | 0.9243 | -1 | 1 | 2 | 1 | 2.359 | 0.3322 | 0.001567 | 0.2342 | 0.9906 | 1 | -0.00006872 | 0.5774 | 0.3537 | 0.2788 | 0.528 | 2.255 | 2.056 | 0.3906 | 0.6758 | 1 | 1 | 0.3607 | 1.532 | 0.267 | 0.4222 | 1.793 | 0.3125 | json |
| t17_x19_u6_b15 | 17 | 19 | 6 | 15 | ![]() |
sub(R,pow(P,nrm(D))) | 114331 | 138819057 | o2(x,o2(x,o1(x))) | true | 74655 | 74655 | -0.8875 | 0.02719 | 0.9021 | 0.0792 | 0.2814 | -1 | 0.8288 | 1.829 | 1 | 1.55 | 0.01214 | 0.001182 | 0.03551 | 0.8226 | 1 | 0.0001047 | 0.01776 | 0.0308 | 0.01207 | 0.1098 | 3.093 | 1.829 | 0.1682 | 0.2242 | 1 | 1 | 0.01929 | 0.09482 | 0.1261 | 0.2436 | 1.197 | 1.592 | json |
| t17_x19_u6_b16 | 17 | 19 | 6 | 16 | ![]() |
sub(R,mod(P,nrm(D))) | 114332 | 138819058 | o2(x,o2(x,o1(x))) | true | 74663 | 74663 | 0.008772 | 0.4976 | 0.452 | 0.2867 | 0.5354 | -1 | 1 | 2 | 1 | 4.948 | 0.02665 | 0.02925 | 0.1886 | -0.04655 | 1 | 0.00001342 | 0.2328 | 0.3204 | 0.02033 | 0.1426 | 0.7559 | 0.9266 | 0.195 | 0.8122 | 1 | 1 | 0.04276 | 0.1928 | 0.3911 | 0.1491 | 0.6724 | 1.364 | json |
| t17_x19_u6_b17 | 17 | 19 | 6 | 17 | ![]() |
sub(R,lrg(P,nrm(D))) | 114333 | 138819059 | o2(x,o2(x,o1(x))) | true | 74671 | 74671 | -0.3932 | 0.2587 | 0.6034 | 0.3194 | 0.5652 | -1 | 0.9693 | 1.969 | 1 | 4.31 | 0.004882 | 0.002404 | 0.05232 | 0.3402 | 1 | 0.00007191 | 0.005129 | 0.01918 | 0.004547 | 0.06744 | 1.289 | 1.014 | 0.02281 | 0.01606 | 1 | 1 | 0.01341 | 0.1295 | 0.3138 | 0.04197 | 0.4055 | 0.9822 | json |
| t17_x19_u6_b18 | 17 | 19 | 6 | 18 | ![]() |
sub(R,eql(P,nrm(D))) | 114334 | 138819060 | o2(x,o2(x,o1(x))) | true | 74679 | 74679 | 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_x19_u6_b19 | 17 | 19 | 6 | 19 | ![]() |
sub(R,min(P,nrm(D))) | 114335 | 138819061 | o2(x,o2(x,o1(x))) | true | 74687 | 74687 | 0.4871 | 0.7534 | 0.7147 | 0.3959 | 0.6292 | -1 | 1 | 2 | 1 | 3.456 | 0.01636 | 0.003864 | 0.07796 | 0.6179 | 1 | -0.000301 | 0.01701 | 0.03579 | 0.01415 | 0.1189 | 1.526 | 1.468 | 0.05108 | 0.04296 | 1 | 1 | 0.03453 | 0.2334 | 0.2534 | 0.08724 | 0.5897 | 0.6401 | json |
| t17_x19_u6_b20 | 17 | 19 | 6 | 20 | ![]() |
sub(R,dot(P,nrm(D))) | 114336 | 138819062 | o2(x,o2(x,o1(x))) | true | 74695 | 74695 | 0.2192 | 0.6161 | 0.8465 | 0.7467 | 0.8641 | -1 | 1 | 2 | 1 | 2.957 | 0.1202 | 0.1209 | 0.2598 | -0.002652 | 1 | -0.00271 | 0.3774 | 0.281 | 0.1736 | 0.4166 | 1.604 | 2.828 | 0.3229 | 0.5054 | 1 | 1 | 0.2953 | 1.349 | 0.2479 | 0.3954 | 1.806 | 0.332 | json |
| t17_x19_u6_b21 | 17 | 19 | 6 | 21 | ![]() |
sub(R,dst(P,nrm(D))) | 114337 | 138819063 | o2(x,o2(x,o1(x))) | true | 74703 | 74703 | -0.9964 | 0.000351 | 0.9965 | 0.00219 | 0.0468 | -1 | 0.3808 | 1.381 | 1 | 0.1006 | 0.00041 | 0.0004218 | 0.002481 | -0.01411 | 1 | 9.574e-11 | 0.001485 | 0.002448 | 0.0008263 | 0.02875 | 11.58 | 1.51 | 0.3798 | 0.6778 | 1 | 1 | 0.002079 | 0.007273 | 0.007594 | 0.9493 | 3.32 | 3.467 | json |
| t17_x19_u6_b22 | 17 | 19 | 6 | 22 | ![]() |
mlt(R,add(P,nrm(D))) | 114338 | 138819064 | o2(x,o2(x,o1(x))) | true | 74711 | 74711 | -0.0621 | 0.4688 | 0.7268 | 0.6443 | 0.8027 | -1 | 1 | 2 | 1 | 3.776 | 0.01872 | 0.02008 | 0.1015 | -0.03501 | 1 | -0.00005189 | 0.02312 | 0.0557 | 0.02848 | 0.1688 | 1.663 | 1.398 | 0.06021 | 0.03588 | 1 | 1 | 0.05584 | 0.4718 | 1.041 | 0.08667 | 0.7324 | 1.616 | json |
| t17_x19_u6_b23 | 17 | 19 | 6 | 23 | ![]() |
mlt(R,sub(P,nrm(D))) | 114339 | 138819065 | o2(x,o2(x,o1(x))) | true | 74719 | 74719 | -0.0632 | 0.4665 | 0.7447 | 0.6635 | 0.8146 | -1 | 1 | 2 | 1 | 3.729 | 0.01869 | 0.02068 | 0.1043 | -0.05063 | 1 | -0.00004752 | 0.02333 | 0.05741 | 0.0285 | 0.1688 | 1.619 | 1.543 | 0.05934 | 0.03516 | 1 | 1 | 0.05702 | 0.4898 | 1.093 | 0.08593 | 0.7382 | 1.647 | json |
| t17_x19_u6_b24 | 17 | 19 | 6 | 24 | ![]() |
mlt(R,mlt(P,nrm(D))) | 114340 | 138819066 | o2(x,o2(x,o1(x))) | true | 74727 | 74727 | -0.01493 | 0.4886 | 0.567 | 0.4651 | 0.682 | -1 | 1 | 2 | 1 | 4.365 | 0.07048 | 0.01451 | 0.1595 | 0.6586 | 1 | -0.00005992 | 0.09947 | 0.1065 | 0.05955 | 0.244 | 1.53 | 2.07 | 0.1827 | 0.2139 | 1 | 1 | 0.1071 | 0.7146 | 0.7564 | 0.2303 | 1.537 | 1.626 | json |
| t17_x19_u6_b25 | 17 | 19 | 6 | 25 | ![]() |
mlt(R,div(P,nrm(D))) | 114341 | 138819067 | o2(x,o2(x,o1(x))) | true | 74735 | 74735 | -0.01426 | 0.4871 | 0.7868 | 0.731 | 0.855 | -1 | 1 | 2 | 1 | 3.278 | 0.2445 | 0.03434 | 0.2202 | 0.7536 | 1 | -0.00002756 | 0.5571 | 0.307 | 0.2304 | 0.48 | 2.18 | 2.828 | 0.3814 | 0.762 | 1 | 1 | 0.2887 | 1.196 | 1.243 | 0.3949 | 1.636 | 1.701 | json |
| t17_x19_u6_b26 | 17 | 19 | 6 | 26 | ![]() |
mlt(R,pow(P,nrm(D))) | 114342 | 138819068 | o2(x,o2(x,o1(x))) | true | 74743 | 74743 | -0.5109 | 0.2361 | 0.7238 | 0.3972 | 0.6302 | -1 | 1 | 2 | 1 | 3.114 | 0.01005 | 0.003628 | 0.05283 | 0.4696 | 1 | -0.00002906 | 0.0145 | 0.03005 | 0.01089 | 0.1044 | 1.975 | 1 | 0.03445 | 0.0365 | 1 | 1 | 0.01944 | 0.1576 | 0.3718 | 0.04895 | 0.3968 | 0.9361 | json |
| t17_x19_u6_b27 | 17 | 19 | 6 | 27 | ![]() |
mlt(R,mod(P,nrm(D))) | 114343 | 138819069 | o2(x,o2(x,o1(x))) | true | 74751 | 74751 | -0.006658 | 0.4621 | 0.08773 | 0.01863 | 0.1365 | -0.7935 | 0.7771 | 1.571 | 1 | 2.989 | 0.00966 | 0.01113 | 0.09808 | -0.07087 | 1 | 0.000001921 | 0.09727 | 0.1869 | 0.01117 | 0.1057 | 1.078 | 0.8801 | 1.116 | 5.22 | 1 | 1 | 0.0127 | 0.02105 | 0.03206 | 0.6813 | 1.129 | 1.721 | json |
| t17_x19_u6_b28 | 17 | 19 | 6 | 28 | ![]() |
mlt(R,lrg(P,nrm(D))) | 114344 | 138819070 | o2(x,o2(x,o1(x))) | true | 74759 | 74759 | -0.007508 | 0.2645 | 0.1988 | 0.1069 | 0.327 | -0.9986 | 0.9806 | 1.979 | 1 | 3.476 | 0.00272 | 0.001486 | 0.03532 | 0.2935 | 1 | -1.079e-7 | 0.002761 | 0.01187 | 0.002959 | 0.0544 | 1.54 | 0.9524 | 0.03934 | 0.02583 | 1 | 1 | 0.007312 | 0.07946 | 0.2077 | 0.0684 | 0.7432 | 1.942 | json |
| t17_x19_u6_b29 | 17 | 19 | 6 | 29 | ![]() |
mlt(R,eql(P,nrm(D))) | 114345 | 138819071 | o2(x,o2(x,o1(x))) | true | 74767 | 74767 | 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_x19_u6_b30 | 17 | 19 | 6 | 30 | ![]() |
mlt(R,min(P,nrm(D))) | 114346 | 138819072 | o2(x,o2(x,o1(x))) | true | 74775 | 74775 | -0.03289 | 0.4825 | 0.4897 | 0.3786 | 0.6153 | -1 | 1 | 2 | 1 | 4.477 | 0.01336 | 0.01207 | 0.08703 | 0.05058 | 1 | 0.000003232 | 0.01688 | 0.04182 | 0.01786 | 0.1336 | 1.536 | 1.466 | 0.06718 | 0.0446 | 1 | 1 | 0.03889 | 0.3133 | 0.5812 | 0.1027 | 0.8276 | 1.535 | json |
| t17_x19_u6_b31 | 17 | 19 | 6 | 31 | ![]() |
mlt(R,dot(P,nrm(D))) | 114347 | 138819073 | o2(x,o2(x,o1(x))) | true | 74783 | 74783 | -0.001534 | 0.4973 | 0.7409 | 0.6625 | 0.814 | -1 | 1 | 2 | 1 | 3.752 | 0.05948 | 0.06084 | 0.1858 | -0.01124 | 1 | 0.0003116 | 0.1629 | 0.1482 | 0.08578 | 0.2929 | 1.576 | 2.828 | 0.1816 | 0.2459 | 1 | 1 | 0.1573 | 0.9938 | 1.139 | 0.2374 | 1.5 | 1.719 | json |
| t17_x19_u6_b32 | 17 | 19 | 6 | 32 | ![]() |
mlt(R,dst(P,nrm(D))) | 114348 | 138819074 | o2(x,o2(x,o1(x))) | true | 74791 | 74791 | -0.009005 | 0.4961 | 0.8666 | 0.8223 | 0.9068 | -1 | 1 | 2 | 1 | 2.787 | 0.02693 | 0.03096 | 0.1045 | -0.06969 | 1 | 0.0000736 | 0.04427 | 0.07478 | 0.04697 | 0.2167 | 2.074 | 1.826 | 0.0704 | 0.05384 | 1 | 1 | 0.08041 | 0.6267 | 1.396 | 0.09779 | 0.7622 | 1.698 | json |
| t17_x19_u6_b33 | 17 | 19 | 6 | 33 | ![]() |
div(R,add(P,nrm(D))) | 114349 | 138819075 | o2(x,o2(x,o1(x))) | true | 74799 | 74799 | 0.005045 | 0.4711 | 0.2014 | 0.1149 | 0.339 | -1 | 1 | 2 | 1 | 3.7 | 0.02126 | 0.006301 | 0.04715 | 0.5427 | 1 | -0.000007249 | 0.05462 | 0.03937 | 0.02534 | 0.1592 | 3.376 | 2.582 | 0.2398 | 0.4753 | 1 | 1 | 0.04265 | 0.1653 | 0.3014 | 0.3711 | 1.438 | 2.622 | json |
| t17_x19_u6_b34 | 17 | 19 | 6 | 34 | ![]() |
div(R,sub(P,nrm(D))) | 114350 | 138819076 | o2(x,o2(x,o1(x))) | true | 74807 | 74807 | 0.004197 | 0.4683 | 0.2218 | 0.1312 | 0.3622 | -1 | 1 | 2 | 1 | 3.856 | 0.01946 | 0.004539 | 0.05071 | 0.6217 | 1 | -0.000008987 | 0.04516 | 0.04063 | 0.02143 | 0.1464 | 2.887 | 2.257 | 0.1829 | 0.3443 | 1 | 1 | 0.03643 | 0.1759 | 0.3663 | 0.2777 | 1.341 | 2.792 | json |
| t17_x19_u6_b35 | 17 | 19 | 6 | 35 | ![]() |
div(R,mlt(P,nrm(D))) | 114351 | 138819077 | o2(x,o2(x,o1(x))) | true | 74815 | 74815 | -0.1114 | 0.4378 | 0.331 | 0.2248 | 0.4741 | -1 | 1 | 2 | 1 | 4.059 | 0.1286 | 0.004368 | 0.1381 | 0.9343 | 1 | -0.0001758 | 0.3501 | 0.1993 | 0.1139 | 0.3375 | 2.445 | 2.367 | 0.5917 | 1.558 | 1 | 1 | 0.1107 | 0.2456 | 0.4154 | 0.4923 | 1.093 | 1.848 | json |
| t17_x19_u6_b36 | 17 | 19 | 6 | 36 | ![]() |
div(R,div(P,nrm(D))) | 114352 | 138819078 | o2(x,o2(x,o1(x))) | true | 74823 | 74823 | -0.1179 | 0.4353 | 0.1916 | 0.1245 | 0.3529 | -1 | 0.8916 | 1.892 | 1 | 2.944 | 0.01002 | 0.0005019 | 0.03086 | 0.9046 | 1 | -0.000029 | 0.01827 | 0.02498 | 0.009569 | 0.09782 | 3.17 | 1.672 | 0.0845 | 0.1468 | 1 | 1 | 0.01499 | 0.07344 | 0.2042 | 0.1204 | 0.5898 | 1.64 | json |
| t17_x19_u6_b37 | 17 | 19 | 6 | 37 | ![]() |
div(R,pow(P,nrm(D))) | 114353 | 138819079 | o2(x,o2(x,o1(x))) | true | 74831 | 74831 | -0.5792 | 0.1976 | 0.7981 | 0.4072 | 0.6381 | -1 | 1 | 2 | 1 | 2.73 | 0.01397 | 0.004274 | 0.0544 | 0.5314 | 1 | 0.00002922 | 0.02182 | 0.03404 | 0.01527 | 0.1236 | 2.272 | 1.943 | 0.04479 | 0.05358 | 1 | 1 | 0.02444 | 0.1825 | 0.3985 | 0.06001 | 0.4483 | 0.9786 | json |
| t17_x19_u6_b38 | 17 | 19 | 6 | 38 | ![]() |
div(R,mod(P,nrm(D))) | 114354 | 138819080 | o2(x,o2(x,o1(x))) | true | 74839 | 74839 | -0.1866 | 0.4029 | 0.8742 | 0.7989 | 0.8938 | -1 | 1 | 2 | 1 | 2.629 | 0.2731 | 0.2813 | 0.381 | -0.01478 | 1 | -0.0002056 | 2.625 | 0.7931 | 0.4091 | 0.6396 | 1.679 | 2.828 | 0.694 | 3.287 | 1 | 1 | 0.3097 | 0.7269 | 1.38 | 0.3877 | 0.9099 | 1.728 | json |
| t17_x19_u6_b39 | 17 | 19 | 6 | 39 | ![]() |
div(R,lrg(P,nrm(D))) | 114355 | 138819081 | o2(x,o2(x,o1(x))) | true | 74847 | 74847 | -0.5736 | 0.1995 | 0.7298 | 0.325 | 0.57 | -1 | 0.9806 | 1.981 | 1 | 3.079 | 0.008479 | 0.001297 | 0.03255 | 0.7347 | 1 | 0.00001063 | 0.01473 | 0.01637 | 0.008716 | 0.09336 | 2.868 | 1.943 | 0.03008 | 0.04532 | 1 | 1 | 0.01323 | 0.09166 | 0.2549 | 0.04071 | 0.2821 | 0.7843 | json |
| t17_x19_u6_b40 | 17 | 19 | 6 | 40 | ![]() |
div(R,eql(P,nrm(D))) | 114356 | 138819082 | o2(x,o2(x,o1(x))) | true | 74855 | 74855 | -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_x19_u6_b41 | 17 | 19 | 6 | 41 | ![]() |
div(R,min(P,nrm(D))) | 114357 | 138819083 | o2(x,o2(x,o1(x))) | true | 74863 | 74863 | -0.05786 | 0.4597 | 0.3949 | 0.2839 | 0.5328 | -1 | 1 | 2 | 1 | 4.446 | 0.1087 | 0.006443 | 0.118 | 0.8881 | 1 | -0.00005188 | 0.2524 | 0.1414 | 0.1013 | 0.3182 | 2.697 | 2.279 | 0.4058 | 0.8891 | 1 | 1 | 0.1171 | 0.3978 | 0.5182 | 0.4126 | 1.401 | 1.825 | json |
| t17_x19_u6_b42 | 17 | 19 | 6 | 42 | ![]() |
div(R,dot(P,nrm(D))) | 114358 | 138819084 | o2(x,o2(x,o1(x))) | true | 74871 | 74871 | -0.02103 | 0.4907 | 0.241 | 0.1428 | 0.378 | -1 | 1 | 2 | 1 | 4.001 | 0.1643 | 0.1673 | 0.2694 | -0.00894 | 1 | 0.0002112 | 1.532 | 0.5198 | 0.2591 | 0.509 | 1.889 | 2.828 | 2.321 | 10.73 | 1 | 1 | 0.2559 | 0.33 | 0.367 | 1.791 | 2.31 | 2.569 | json |
| t17_x19_u6_b43 | 17 | 19 | 6 | 43 | ![]() |
div(R,dst(P,nrm(D))) | 114359 | 138819085 | o2(x,o2(x,o1(x))) | true | 74879 | 74879 | 0.01033 | 0.4986 | 0.08608 | 0.01792 | 0.1339 | -1 | 1 | 2 | 1 | 2.83 | 0.0005879 | 0.0006519 | 0.01743 | -0.05163 | 1 | 0.000001696 | 0.00109 | 0.005923 | 0.0009361 | 0.0306 | 1.756 | 1.02 | 0.0692 | 0.06086 | 1 | 1 | 0.003488 | 0.02953 | 0.05336 | 0.1947 | 1.648 | 2.978 | json |
| t17_x19_u6_b44 | 17 | 19 | 6 | 44 | ![]() |
pow(R,add(P,nrm(D))) | 114360 | 138819086 | o2(x,o2(x,o1(x))) | true | 74887 | 74887 | -0.9182 | 0.04297 | 0.9959 | 0.1518 | 0.3896 | -1 | 1 | 2 | 1 | 0.3121 | 0.01598 | 0.01475 | 0.01602 | 0.03976 | 1 | 6.877e-7 | 0.06421 | 0.03174 | 0.03046 | 0.1745 | 10.89 | 2.828 | 0.2024 | 0.4229 | 1 | 1 | 0.02529 | 0.1085 | 0.264 | 0.1666 | 0.7146 | 1.739 | json |
| t17_x19_u6_b45 | 17 | 19 | 6 | 45 | ![]() |
pow(R,sub(P,nrm(D))) | 114361 | 138819087 | o2(x,o2(x,o1(x))) | true | 74895 | 74895 | -0.9181 | 0.04297 | 0.996 | 0.1522 | 0.3901 | -1 | 1 | 2 | 1 | 0.3073 | 0.01591 | 0.0147 | 0.01602 | 0.03966 | 1 | 0.000002814 | 0.06393 | 0.03174 | 0.03035 | 0.1742 | 10.87 | 2.828 | 0.2011 | 0.42 | 1 | 1 | 0.0252 | 0.1083 | 0.2644 | 0.1655 | 0.7116 | 1.737 | json |
| t17_x19_u6_b46 | 17 | 19 | 6 | 46 | ![]() |
pow(R,mlt(P,nrm(D))) | 114362 | 138819088 | o2(x,o2(x,o1(x))) | true | 74903 | 74903 | -0.854 | 0.07422 | 0.9976 | 0.2674 | 0.5171 | -1 | 1 | 2 | 1 | 0.4328 | 0.02336 | 0.02294 | 0.02465 | 0.009035 | 1 | -0.000003297 | 0.09597 | 0.04817 | 0.04566 | 0.2137 | 8.668 | 2.828 | 0.1732 | 0.3589 | 1 | 1 | 0.04548 | 0.1922 | 0.6331 | 0.1701 | 0.7187 | 2.368 | json |
| t17_x19_u6_b47 | 17 | 19 | 6 | 47 | ![]() |
pow(R,div(P,nrm(D))) | 114363 | 138819089 | o2(x,o2(x,o1(x))) | true | 74911 | 74911 | -0.8573 | 0.07306 | 0.9965 | 0.2608 | 0.5107 | -1 | 1 | 2 | 1 | 0.4247 | 0.02251 | 0.02317 | 0.0249 | -0.01451 | 1 | -0.0001899 | 0.09633 | 0.04808 | 0.04509 | 0.2123 | 8.529 | 2.828 | 0.1752 | 0.3694 | 1 | 1 | 0.04623 | 0.192 | 0.6186 | 0.1773 | 0.7363 | 2.372 | json |
| t17_x19_u6_b48 | 17 | 19 | 6 | 48 | ![]() |
pow(R,pow(P,nrm(D))) | 114364 | 138819090 | o2(x,o2(x,o1(x))) | true | 74919 | 74919 | -0.958 | 0.02344 | 0.9951 | 0.07472 | 0.2734 | -1 | 1 | 2 | 1 | 0.2335 | 0.009129 | 0.0062 | 0.009067 | 0.1911 | 1 | 6.725e-7 | 0.03203 | 0.01701 | 0.01524 | 0.1234 | 13.61 | 2.698 | 0.2051 | 0.4286 | 1 | 1 | 0.01259 | 0.053 | 0.1389 | 0.1685 | 0.7093 | 1.859 | json |
| t17_x19_u6_b49 | 17 | 19 | 6 | 49 | ![]() |
pow(R,mod(P,nrm(D))) | 114365 | 138819091 | o2(x,o2(x,o1(x))) | true | 74927 | 74927 | -0.8526 | 0.07422 | 0.9989 | 0.2709 | 0.5205 | -1 | 1 | 2 | 1 | 0.4199 | 0.02484 | 0.02434 | 0.02537 | 0.01027 | 1 | 0.000002173 | 0.1034 | 0.05072 | 0.04856 | 0.2204 | 8.687 | 2.828 | 0.1816 | 0.3817 | 1 | 1 | 0.04643 | 0.1926 | 0.6375 | 0.1714 | 0.7111 | 2.353 | json |
| t17_x19_u6_b50 | 17 | 19 | 6 | 50 | ![]() |
pow(R,lrg(P,nrm(D))) | 114366 | 138819092 | o2(x,o2(x,o1(x))) | true | 74935 | 74935 | -0.05498 | 0.4766 | 0.9919 | 0.9842 | 0.9921 | -1 | 1 | 2 | 1 | 1.233 | 0.02198 | 0.01105 | 0.01886 | 0.3308 | 1 | 0.000002697 | 0.06842 | 0.03594 | 0.03268 | 0.1808 | 9.583 | 2.698 | 0.03356 | 0.06952 | 1 | 1 | 0.03872 | 0.1591 | 0.4693 | 0.03934 | 0.1617 | 0.4768 | json |
| t17_x19_u6_b51 | 17 | 19 | 6 | 51 | ![]() |
pow(R,eql(P,nrm(D))) | 114367 | 138819093 | o2(x,o2(x,o1(x))) | true | 74943 | 74943 | 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_x19_u6_b52 | 17 | 19 | 6 | 52 | ![]() |
pow(R,min(P,nrm(D))) | 114368 | 138819094 | o2(x,o2(x,o1(x))) | true | 74951 | 74951 | -0.8835 | 0.05859 | 0.9993 | 0.2183 | 0.4672 | -1 | 1 | 2 | 1 | 0.3438 | 0.0248 | 0.01995 | 0.02255 | 0.1083 | 1 | 0 | 0.0935 | 0.04509 | 0.04423 | 0.2103 | 9.327 | 2.828 | 0.205 | 0.4284 | 1 | 1 | 0.03961 | 0.1663 | 0.4152 | 0.1815 | 0.7618 | 1.902 | json |
| t17_x19_u6_b53 | 17 | 19 | 6 | 53 | ![]() |
pow(R,dot(P,nrm(D))) | 114369 | 138819095 | o2(x,o2(x,o1(x))) | true | 74959 | 74959 | -0.915 | 0.0433 | 0.9984 | 0.1604 | 0.4005 | -1 | 1 | 2 | 1 | 0.2898 | 0.01814 | 0.01797 | 0.01897 | 0.004611 | 1 | 1.652e-10 | 0.0942 | 0.03765 | 0.03575 | 0.1891 | 9.968 | 2.828 | 0.2252 | 0.5873 | 1 | 1 | 0.0279 | 0.11 | 0.2691 | 0.174 | 0.6861 | 1.678 | json |
| t17_x19_u6_b54 | 17 | 19 | 6 | 54 | ![]() |
pow(R,dst(P,nrm(D))) | 114370 | 138819096 | o2(x,o2(x,o1(x))) | true | 74967 | 74967 | -0.949 | 0.0426 | 0.9651 | 0.0596 | 0.2441 | -1 | 0.8676 | 1.868 | 1 | 0.3831 | 0.006278 | 0.005859 | 0.01079 | 0.03459 | 1 | 0.00000776 | 0.02529 | 0.01994 | 0.01202 | 0.1097 | 10.16 | 2.461 | 0.2036 | 0.4244 | 1 | 1 | 0.01056 | 0.04592 | 0.1114 | 0.1772 | 0.7704 | 1.869 | json |
| t17_x19_u6_b55 | 17 | 19 | 6 | 55 | ![]() |
mod(R,add(P,nrm(D))) | 114371 | 138819097 | o2(x,o2(x,o1(x))) | true | 74975 | 74975 | 0.004102 | 0.4926 | 0.3694 | 0.2006 | 0.4479 | -0.9989 | 0.9806 | 1.979 | 1 | 4.821 | 0.005758 | 0.004988 | 0.07168 | 0.0716 | 1 | 0.00001073 | 0.02076 | 0.04259 | 0.005608 | 0.07489 | 1.045 | 1.241 | 0.05357 | 0.1035 | 1 | 1 | 0.0158 | 0.144 | 0.3531 | 0.07878 | 0.718 | 1.76 | json |
| t17_x19_u6_b56 | 17 | 19 | 6 | 56 | ![]() |
mod(R,sub(P,nrm(D))) | 114372 | 138819098 | o2(x,o2(x,o1(x))) | true | 74983 | 74983 | 0.004102 | 0.4916 | 0.3679 | 0.1995 | 0.4467 | -0.9987 | 0.9806 | 1.979 | 1 | 4.816 | 0.005784 | 0.004962 | 0.07157 | 0.0765 | 1 | 0.00001073 | 0.02077 | 0.04307 | 0.005623 | 0.07498 | 1.048 | 1.226 | 0.05386 | 0.1041 | 1 | 1 | 0.01583 | 0.143 | 0.3477 | 0.07935 | 0.7169 | 1.743 | json |
| t17_x19_u6_b57 | 17 | 19 | 6 | 57 | ![]() |
mod(R,mlt(P,nrm(D))) | 114373 | 138819099 | o2(x,o2(x,o1(x))) | true | 74991 | 74991 | -0.1259 | 0.4272 | 0.4355 | 0.2753 | 0.5247 | -1 | 0.9808 | 1.981 | 1 | 4.702 | 0.0205 | 0.00861 | 0.08814 | 0.4084 | 1 | -0.000006503 | 0.06942 | 0.09459 | 0.02134 | 0.1461 | 1.658 | 1.812 | 0.1057 | 0.2522 | 1 | 1 | 0.03529 | 0.1699 | 0.446 | 0.1282 | 0.617 | 1.62 | json |
| t17_x19_u6_b58 | 17 | 19 | 6 | 58 | ![]() |
mod(R,div(P,nrm(D))) | 114374 | 138819100 | o2(x,o2(x,o1(x))) | true | 74999 | 74999 | -0.12 | 0.4324 | 0.4674 | 0.3015 | 0.5491 | -1 | 0.9806 | 1.981 | 1 | 4.761 | 0.01585 | 0.002792 | 0.06406 | 0.7005 | 1 | 0.00004824 | 0.0275 | 0.03166 | 0.01454 | 0.1206 | 1.882 | 1.943 | 0.06184 | 0.09123 | 1 | 1 | 0.02584 | 0.1831 | 0.5035 | 0.0857 | 0.6074 | 1.67 | json |
| t17_x19_u6_b59 | 17 | 19 | 6 | 59 | ![]() |
mod(R,pow(P,nrm(D))) | 114375 | 138819101 | o2(x,o2(x,o1(x))) | true | 75007 | 75007 | -0.571 | 0.1941 | 0.6836 | 0.2909 | 0.5393 | -1 | 0.9806 | 1.981 | 1 | 2.952 | 0.01295 | 0.002625 | 0.04314 | 0.6629 | 1 | 0.00004132 | 0.038 | 0.05489 | 0.01371 | 0.1171 | 2.714 | 1.943 | 0.05355 | 0.1306 | 1 | 1 | 0.01747 | 0.08375 | 0.1853 | 0.06006 | 0.2879 | 0.6371 | json |
| t17_x19_u6_b60 | 17 | 19 | 6 | 60 | ![]() |
mod(R,mod(P,nrm(D))) | 114376 | 138819102 | o2(x,o2(x,o1(x))) | true | 75015 | 75015 | -0.1284 | 0.4168 | 0.2005 | 0.123 | 0.3507 | -1 | 0.82 | 1.82 | 1 | 3.136 | 0.02023 | 0.01292 | 0.1149 | 0.2204 | 1 | 0.000001364 | 0.1405 | 0.2404 | 0.01994 | 0.1412 | 1.229 | 1.303 | 0.2695 | 1.143 | 1 | 1 | 0.02445 | 0.06113 | 0.1898 | 0.1987 | 0.497 | 1.543 | json |
| t17_x19_u6_b61 | 17 | 19 | 6 | 61 | ![]() |
mod(R,lrg(P,nrm(D))) | 114377 | 138819103 | o2(x,o2(x,o1(x))) | true | 75023 | 75023 | -0.5736 | 0.1995 | 0.7298 | 0.325 | 0.57 | -1 | 0.9806 | 1.981 | 1 | 3.079 | 0.008479 | 0.001297 | 0.03255 | 0.7347 | 1 | 0.00001063 | 0.01473 | 0.01637 | 0.008716 | 0.09336 | 2.868 | 1.943 | 0.03008 | 0.04532 | 1 | 1 | 0.01323 | 0.09166 | 0.2549 | 0.04071 | 0.2821 | 0.7843 | json |
| t17_x19_u6_b62 | 17 | 19 | 6 | 62 | ![]() |
mod(R,eql(P,nrm(D))) | 114378 | 138819104 | o2(x,o2(x,o1(x))) | true | 75031 | 75031 | -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_x19_u6_b63 | 17 | 19 | 6 | 63 | ![]() |
mod(R,min(P,nrm(D))) | 114379 | 138819105 | o2(x,o2(x,o1(x))) | true | 75039 | 75039 | -0.05249 | 0.46 | 0.3573 | 0.2097 | 0.4579 | -1 | 0.9693 | 1.969 | 1 | 4.694 | 0.0184 | 0.01175 | 0.0936 | 0.2206 | 1 | 0.000058 | 0.08737 | 0.1152 | 0.0214 | 0.1463 | 1.563 | 1.785 | 0.1438 | 0.4166 | 1 | 1 | 0.03403 | 0.1661 | 0.342 | 0.1623 | 0.7922 | 1.631 | json |
| t17_x19_u6_b64 | 17 | 19 | 6 | 64 | ![]() |
mod(R,dot(P,nrm(D))) | 114380 | 138819106 | o2(x,o2(x,o1(x))) | true | 75047 | 75047 | -0.02357 | 0.4794 | 0.3851 | 0.2188 | 0.4677 | -1 | 0.9805 | 1.981 | 1 | 4.85 | 0.03435 | 0.0349 | 0.1259 | -0.007897 | 1 | 0.0001263 | 0.3204 | 0.1826 | 0.05339 | 0.2311 | 1.835 | 2.7 | 0.3165 | 1.465 | 1 | 1 | 0.06405 | 0.1917 | 0.4225 | 0.2928 | 0.8762 | 1.931 | json |
| t17_x19_u6_b65 | 17 | 19 | 6 | 65 | ![]() |
mod(R,dst(P,nrm(D))) | 114381 | 138819107 | o2(x,o2(x,o1(x))) | true | 75055 | 75055 | 0.008348 | 0.4976 | 0.3935 | 0.2188 | 0.4678 | -0.9989 | 0.9806 | 1.979 | 1 | 4.86 | 0.003027 | 0.0034 | 0.06404 | -0.05789 | 1 | 0.00002651 | 0.00221 | 0.01705 | 0.002326 | 0.04823 | 0.7531 | 0.9548 | 0.02937 | 0.0101 | 1 | 1 | 0.01239 | 0.1512 | 0.3911 | 0.05664 | 0.691 | 1.787 | json |
| t17_x19_u6_b66 | 17 | 19 | 6 | 66 | ![]() |
lrg(R,add(P,nrm(D))) | 114382 | 138819108 | o2(x,o2(x,o1(x))) | true | 75063 | 75063 | 0.5031 | 0.5483 | 0.5031 | 0.2397 | 0.4896 | 0 | 1 | 1 | 1 | 1.463 | 0.005509 | 0.003286 | 0.01455 | 0.2527 | 1 | 0.00003128 | 0.02792 | 0.02264 | 0.008584 | 0.09265 | 6.367 | 1.413 | 0.03669 | 0.1164 | 1 | 1 | 0.01203 | 0.03983 | 0.08905 | 0.05017 | 0.1661 | 0.3715 | json |
| t17_x19_u6_b67 | 17 | 19 | 6 | 67 | ![]() |
lrg(R,sub(P,nrm(D))) | 114383 | 138819109 | o2(x,o2(x,o1(x))) | true | 75071 | 75071 | 0.5031 | 0.6014 | 0.5031 | 0.2276 | 0.4771 | 0 | 1 | 1 | 1 | 1.876 | 0.005972 | 0.003288 | 0.02133 | 0.2899 | 1 | 0.00003128 | 0.02792 | 0.02422 | 0.008805 | 0.09383 | 4.399 | 1.413 | 0.04068 | 0.1227 | 1 | 1 | 0.01318 | 0.04835 | 0.08043 | 0.0579 | 0.2124 | 0.3533 | json |
| t17_x19_u6_b68 | 17 | 19 | 6 | 68 | ![]() |
lrg(R,mlt(P,nrm(D))) | 114384 | 138819110 | o2(x,o2(x,o1(x))) | true | 75079 | 75079 | 0.5343 | 0.994 | 0.5343 | 0.1341 | 0.3662 | 0 | 1 | 1 | 1 | 3.537 | 0.04863 | 0.008609 | 0.1226 | 0.6992 | 1 | 0.0002518 | 0.1337 | 0.1365 | 0.0422 | 0.2054 | 1.676 | 1.413 | 0.4269 | 0.9969 | 1 | 1 | 0.06314 | 0.2263 | 0.09992 | 0.4709 | 1.688 | 0.7451 | json |
| t17_x19_u6_b69 | 17 | 19 | 6 | 69 | ![]() |
lrg(R,div(P,nrm(D))) | 114385 | 138819111 | o2(x,o2(x,o1(x))) | true | 75087 | 75087 | 0.5273 | 1 | 0.5273 | 0.145 | 0.3808 | 0.000291 | 1 | 0.9997 | 1 | 3.396 | 0.0608 | 0.0001053 | 0.1163 | 0.9965 | 1 | 0.000174 | 0.1127 | 0.1252 | 0.04737 | 0.2176 | 1.871 | 0.9997 | 0.4201 | 0.7775 | 1 | 1 | 0.06495 | 0.2312 | 0.07077 | 0.448 | 1.595 | 0.4881 | json |
| t17_x19_u6_b70 | 17 | 19 | 6 | 70 | ![]() |
lrg(R,pow(P,nrm(D))) | 114386 | 138819112 | o2(x,o2(x,o1(x))) | true | 75095 | 75095 | 0.5375 | 0.7144 | 0.5375 | 0.2188 | 0.4678 | 0 | 1 | 1 | 1 | 2.087 | 0.007956 | 0.002346 | 0.02653 | 0.5445 | 1 | -0.0001524 | 0.02523 | 0.02586 | 0.009601 | 0.09799 | 3.693 | 1.413 | 0.04708 | 0.1153 | 1 | 1 | 0.01332 | 0.06055 | 0.1285 | 0.06089 | 0.2767 | 0.5871 | json |
| t17_x19_u6_b71 | 17 | 19 | 6 | 71 | ![]() |
lrg(R,mod(P,nrm(D))) | 114387 | 138819113 | o2(x,o2(x,o1(x))) | true | 75103 | 75103 | 0.4947 | 0.8893 | 0.4947 | 0.1629 | 0.4036 | 0 | 1 | 1 | 1 | 3.306 | 0.04074 | 0.04621 | 0.1438 | -0.06285 | 1 | -0.0003932 | 0.4082 | 0.2601 | 0.06627 | 0.2574 | 1.79 | 1.413 | 0.5338 | 2.506 | 1 | 1 | 0.05307 | 0.1388 | 0.2709 | 0.3258 | 0.8523 | 1.663 | json |
| t17_x19_u6_b72 | 17 | 19 | 6 | 72 | ![]() |
lrg(R,lrg(P,nrm(D))) | 114388 | 138819114 | o2(x,o2(x,o1(x))) | true | 75111 | 75111 | 0.2539 | 0.4836 | 0.2539 | 0.1414 | 0.376 | 0 | 1 | 1 | 1 | 2.303 | 0.002687 | 0.001179 | 0.02819 | 0.3903 | 1 | 0.000009279 | 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_x19_u6_b73 | 17 | 19 | 6 | 73 | ![]() |
lrg(R,eql(P,nrm(D))) | 114389 | 138819115 | o2(x,o2(x,o1(x))) | true | 75119 | 75119 | 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_x19_u6_b74 | 17 | 19 | 6 | 74 | ![]() |
lrg(R,min(P,nrm(D))) | 114390 | 138819116 | o2(x,o2(x,o1(x))) | true | 75127 | 75127 | 0.7488 | 0.984 | 0.7488 | 0.1251 | 0.3537 | 0 | 1 | 1 | 1 | 2.568 | 0.02102 | 0.01225 | 0.06727 | 0.2635 | 1 | -0.0002352 | 0.1025 | 0.08738 | 0.02874 | 0.1695 | 2.52 | 1.413 | 0.2659 | 0.819 | 1 | 1 | 0.03687 | 0.1181 | 0.113 | 0.2948 | 0.9442 | 0.9036 | json |
| t17_x19_u6_b75 | 17 | 19 | 6 | 75 | ![]() |
lrg(R,dot(P,nrm(D))) | 114391 | 138819117 | o2(x,o2(x,o1(x))) | true | 75135 | 75135 | 0.5504 | 1 | 0.5504 | 0.1045 | 0.3233 | 0.000291 | 1 | 0.9997 | 1 | 3.812 | 0.03363 | 0.03338 | 0.1412 | 0.00375 | 1 | -0.001009 | 0.2113 | 0.1771 | 0.04707 | 0.2169 | 1.537 | 1.413 | 0.6413 | 2.023 | 1 | 1 | 0.0703 | 0.2287 | 0.07272 | 0.6728 | 2.188 | 0.6959 | json |
| t17_x19_u6_b76 | 17 | 19 | 6 | 76 | ![]() |
lrg(R,dst(P,nrm(D))) | 114392 | 138819118 | o2(x,o2(x,o1(x))) | true | 75143 | 75143 | 0.002482 | 0.009766 | 0.002482 | 0.001508 | 0.03883 | 0 | 0.9994 | 0.9994 | 1 | 0.07187 | 0.000715 | 0.0006344 | 0.001998 | 0.0597 | 1 | -9.817e-13 | 0.004821 | 0.003469 | 0.001347 | 0.0367 | 18.37 | 1.413 | 0.8948 | 3.197 | 1 | 1 | 0.0022 | 0.005117 | 0.005491 | 1.459 | 3.393 | 3.641 | json |
| t17_x19_u6_b77 | 17 | 19 | 6 | 77 | ![]() |
eql(R,add(P,nrm(D))) | 114393 | 138819119 | o2(x,o2(x,o1(x))) | true | 75151 | 75151 | 1.264e-7 | 0.00003052 | 1.264e-7 | 5.237e-10 | 0.00002288 | 0 | 0.004143 | 0.004143 | 1 | 0 | 1.081e-9 | 1.081e-9 | 4.454e-7 | 0 | 0 | 0 | 1.081e-8 | 0.000001044 | 2.161e-9 | 0.00004649 | 104.4 | 0.005859 | 4.128 | 20.64 | 1 | 1 | 9.507e-10 | 9.507e-10 | 7.131e-10 | 1.816 | 1.816 | 1.362 | json |
| t17_x19_u6_b78 | 17 | 19 | 6 | 78 | ![]() |
eql(R,sub(P,nrm(D))) | 114394 | 138819120 | o2(x,o2(x,o1(x))) | true | 75159 | 75159 | 1.264e-7 | 0.00003052 | 1.264e-7 | 5.237e-10 | 0.00002288 | 0 | 0.004143 | 0.004143 | 1 | 0 | 1.081e-9 | 1.081e-9 | 4.454e-7 | 0 | 0 | 0 | 1.081e-8 | 0.000001044 | 2.161e-9 | 0.00004649 | 104.4 | 0.005859 | 4.128 | 20.64 | 1 | 1 | 9.507e-10 | 9.507e-10 | 7.131e-10 | 1.816 | 1.816 | 1.362 | json |
| t17_x19_u6_b79 | 17 | 19 | 6 | 79 | ![]() |
eql(R,mlt(P,nrm(D))) | 114395 | 138819121 | o2(x,o2(x,o1(x))) | true | 75167 | 75167 | 9.081e-7 | 0.00003052 | 9.081e-7 | 2.702e-8 | 0.0001644 | 0 | 0.02976 | 0.02976 | 1 | 0 | 5.577e-8 | 5.577e-8 | 0.0000032 | 0 | 0 | 0 | 5.577e-7 | 0.000007497 | 1.115e-7 | 0.000334 | 104.4 | 0.04208 | 4.128 | 20.64 | 1 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t17_x19_u6_b80 | 17 | 19 | 6 | 80 | ![]() |
eql(R,div(P,nrm(D))) | 114396 | 138819122 | o2(x,o2(x,o1(x))) | true | 75175 | 75175 | 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_x19_u6_b81 | 17 | 19 | 6 | 81 | ![]() |
eql(R,pow(P,nrm(D))) | 114397 | 138819123 | o2(x,o2(x,o1(x))) | true | 75183 | 75183 | 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_x19_u6_b82 | 17 | 19 | 6 | 82 | ![]() |
eql(R,mod(P,nrm(D))) | 114398 | 138819124 | o2(x,o2(x,o1(x))) | true | 75191 | 75191 | 0.0001021 | 0.0003052 | 0.0001021 | 0.00005328 | 0.0073 | 0 | 0.6669 | 0.6669 | 1 | 0.00415 | 0.00006237 | 0.00006237 | 0.0002383 | 0 | 1 | 0.000021 | 0.0005199 | 0.0005551 | 0.0001246 | 0.01116 | 46.86 | 0.7895 | 2.341 | 9.758 | 1 | 1 | 0.0001387 | 0.0001387 | 0.0001125 | 2.602 | 2.602 | 2.111 | json |
| t17_x19_u6_b83 | 17 | 19 | 6 | 83 | ![]() |
eql(R,lrg(P,nrm(D))) | 114399 | 138819125 | o2(x,o2(x,o1(x))) | true | 75199 | 75199 | 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 |



































































































