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 | ||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| t19_x20_u5_b108 | 19 | 20 | 5 | 108 | ![]() |
dot(R,dot(sgn(P),R)) | 154300 | 155100552 | o2(x,o2(o1(x),x)) | true | 114407 | 114407 | 0.01581 | 0.5193 | 0.4374 | 0.3044 | 0.5518 | -1 | 1 | 2 | 1 | 4.737 | 0.003667 | 0.003201 | 0.05914 | 0.06787 | 1 | 0.000002091 | 0.0012 | 0.0177 | 0.003371 | 0.05806 | 0.9817 | 0.3983 | 0.02256 | 0.003943 | 1 | 1 | 0.01595 | 0.1817 | 0.4644 | 0.0524 | 0.5969 | 1.525 | json |
| t19_x20_u5_b109 | 19 | 20 | 5 | 109 | ![]() |
dot(R,dst(sgn(P),R)) | 154301 | 155100553 | o2(x,o2(o1(x),x)) | true | 114415 | 114415 | 0.01996 | 0.5134 | 0.6602 | 0.5572 | 0.7465 | -1 | 1 | 2 | 1 | 4.244 | 0.01072 | 0.01176 | 0.09219 | -0.04631 | 1 | -0.00000618 | 0.006691 | 0.03633 | 0.01398 | 0.1182 | 1.283 | 0.8726 | 0.04035 | 0.01201 | 1 | 1 | 0.04323 | 0.4196 | 1.038 | 0.07758 | 0.7531 | 1.863 | json |
| t19_x20_u5_b110 | 19 | 20 | 5 | 110 | ![]() |
dst(R,add(sgn(P),R)) | 154302 | 155100554 | o2(x,o2(o1(x),x)) | true | 114423 | 114423 | 0.9964 | 1 | 0.9964 | 0.002289 | 0.04784 | 0.000582 | 1 | 0.9994 | 1 | 0.09109 | 0.00003966 | 0.00003966 | 0.0008105 | 5.503e-7 | 0 | -4.881e-11 | 0.00001004 | 0.0002297 | 0.00007859 | 0.008865 | 10.94 | 0.1294 | 0.03466 | 0.004388 | 1 | 1 | 0.0002733 | 0.00336 | 0.008351 | 0.1194 | 1.468 | 3.649 | json |
| t19_x20_u5_b111 | 19 | 20 | 5 | 111 | ![]() |
dst(R,sub(sgn(P),R)) | 154303 | 155100555 | o2(x,o2(o1(x),x)) | true | 114431 | 114431 | 0.9956 | 1 | 0.9956 | 0.001504 | 0.03878 | 0.2754 | 1 | 0.7246 | 1 | 0.1783 | 0.00007622 | 0.00009106 | 0.001691 | -0.08874 | 1 | -0.00002303 | 0.00009982 | 0.001362 | 0.0001644 | 0.01282 | 7.581 | 0.2425 | 0.1112 | 0.06636 | 1 | 1 | 0.0003027 | 0.002277 | 0.003251 | 0.2012 | 1.514 | 2.161 | json |
| t19_x20_u5_b112 | 19 | 20 | 5 | 112 | ![]() |
dst(R,mlt(sgn(P),R)) | 154304 | 155100556 | o2(x,o2(o1(x),x)) | true | 114439 | 114439 | 0.8387 | 1 | 0.8387 | 0.0634 | 0.2518 | 0.00256 | 1 | 0.9974 | 1 | 2.365 | 0.000465 | 0.0005853 | 0.01679 | -0.1145 | 1 | -0.00003624 | 0.000247 | 0.006342 | 0.0007685 | 0.02772 | 1.651 | 0.2113 | 0.01657 | 0.003897 | 1 | 1 | 0.001828 | 0.02023 | 0.06101 | 0.02883 | 0.3191 | 0.9623 | json |
| t19_x20_u5_b113 | 19 | 20 | 5 | 113 | ![]() |
dst(R,div(sgn(P),R)) | 154305 | 155100557 | o2(x,o2(o1(x),x)) | true | 114447 | 114447 | 0.9996 | 1 | 0.9996 | 0.0001048 | 0.01023 | 0.4087 | 1 | 0.5913 | 1 | 0.02188 | 0.00002841 | 0.00001771 | 0.000231 | 0.2321 | 0 | -0.00000858 | 0.00006106 | 0.0002792 | 0.00004607 | 0.006787 | 29.39 | 0.4529 | 0.4403 | 0.5829 | 1 | 1 | 0.000003966 | 0.00001298 | 0.00008267 | 0.03786 | 0.1239 | 0.7892 | json |
| t19_x20_u5_b114 | 19 | 20 | 5 | 114 | ![]() |
dst(R,pow(sgn(P),R)) | 154306 | 155100558 | o2(x,o2(o1(x),x)) | true | 114455 | 114455 | -0.9689 | 0.01563 | 0.9999 | 0.06106 | 0.2471 | -1 | 1 | 2 | 1 | 0.1205 | 0.005936 | 0.007956 | 0.006982 | -0.1454 | 1 | 0 | 0.02924 | 0.01402 | 0.01385 | 0.1177 | 16.85 | 2.828 | 0.2275 | 0.4788 | 1 | 1 | 0.009695 | 0.04659 | 0.0696 | 0.1588 | 0.763 | 1.14 | json |
| t19_x20_u5_b115 | 19 | 20 | 5 | 115 | ![]() |
dst(R,mod(sgn(P),R)) | 154307 | 155100559 | o2(x,o2(o1(x),x)) | true | 114463 | 114463 | 0.9014 | 1 | 0.9014 | 0.0262 | 0.1618 | 0.1115 | 1 | 0.8885 | 1 | 2.035 | 0.0004172 | 0.0006109 | 0.0176 | -0.1884 | 1 | -0.00002406 | 0.0001989 | 0.006279 | 0.0007182 | 0.0268 | 1.523 | 0.1516 | 0.03925 | 0.007594 | 1 | 1 | 0.001723 | 0.01867 | 0.04093 | 0.06578 | 0.7126 | 1.563 | json |
| t19_x20_u5_b116 | 19 | 20 | 5 | 116 | ![]() |
dst(R,lrg(sgn(P),R)) | 154308 | 155100560 | o2(x,o2(o1(x),x)) | true | 114471 | 114471 | 0.9848 | 1 | 0.9848 | 0.005167 | 0.07188 | 0.2581 | 1 | 0.7419 | 1 | 0.4832 | 0.0001345 | 0.0001688 | 0.003948 | -0.113 | 1 | -0.00001134 | 0.0001247 | 0.002355 | 0.0002875 | 0.01696 | 4.295 | 0.1758 | 0.0587 | 0.02413 | 1 | 1 | 0.0006733 | 0.005844 | 0.0125 | 0.1303 | 1.131 | 2.419 | json |
| t19_x20_u5_b117 | 19 | 20 | 5 | 117 | ![]() |
dst(R,eql(sgn(P),R)) | 154309 | 155100561 | o2(x,o2(o1(x),x)) | true | 114479 | 114479 | 0.897 | 1 | 0.897 | 0.02252 | 0.1501 | 0.09951 | 1 | 0.9005 | 1 | 2.181 | 0.0003411 | 0.0004606 | 0.01666 | -0.149 | 1 | -0.00001961 | 0.000143 | 0.005703 | 0.0005243 | 0.0229 | 1.374 | 0.1266 | 0.0356 | 0.006351 | 1 | 1 | 0.001342 | 0.015 | 0.03485 | 0.05959 | 0.666 | 1.547 | json |
| t19_x20_u5_b118 | 19 | 20 | 5 | 118 | ![]() |
dst(R,min(sgn(P),R)) | 154310 | 155100562 | o2(x,o2(o1(x),x)) | true | 114487 | 114487 | 0.724 | 0.9841 | 0.724 | 0.1283 | 0.3582 | 0 | 1 | 1 | 1 | 2.768 | 0.0009672 | 0.0008924 | 0.02396 | 0.04023 | 1 | -0.00003016 | 0.000384 | 0.00849 | 0.001285 | 0.03585 | 1.496 | 0.2228 | 0.01449 | 0.002992 | 1 | 1 | 0.003231 | 0.03572 | 0.114 | 0.02518 | 0.2784 | 0.8884 | json |
| t19_x20_u5_b119 | 19 | 20 | 5 | 119 | ![]() |
dst(R,dot(sgn(P),R)) | 154311 | 155100563 | o2(x,o2(o1(x),x)) | true | 114495 | 114495 | 0.9469 | 1 | 0.9469 | 0.01684 | 0.1298 | 0.05633 | 1 | 0.9437 | 1 | 1.269 | 0.000554 | 0.0005357 | 0.01286 | 0.01674 | 1 | -0.00006202 | 0.0004443 | 0.007106 | 0.0009239 | 0.0304 | 2.363 | 0.2371 | 0.06471 | 0.02638 | 1 | 1 | 0.00164 | 0.0139 | 0.02959 | 0.09741 | 0.8252 | 1.757 | json |
| t19_x20_u5_b120 | 19 | 20 | 5 | 120 | ![]() |
dst(R,dst(sgn(P),R)) | 154312 | 155100564 | o2(x,o2(o1(x),x)) | true | 114503 | 114503 | 0.9972 | 1 | 0.9972 | 0.001117 | 0.03342 | 0.177 | 1 | 0.823 | 1 | 0.1033 | 0.00009501 | 0.00008663 | 0.001291 | 0.04611 | 1 | -0.000003324 | 0.0001203 | 0.001111 | 0.00018 | 0.01342 | 10.39 | 0.3087 | 0.1626 | 0.1077 | 1 | 1 | 0.0004572 | 0.003096 | 0.003109 | 0.4092 | 2.772 | 2.783 | json |
| t19_x20_u6_b0 | 19 | 20 | 6 | 0 | ![]() |
add(R,add(nrm(P),R)) | 154313 | 155100645 | o2(x,o2(o1(x),x)) | true | 114511 | 114511 | -0.02372 | 0.4884 | 0.6918 | 0.5906 | 0.7685 | -1 | 1 | 2 | 1 | 4.212 | 0.00903 | 0.01058 | 0.08138 | -0.07893 | 1 | 0.0000233 | 0.01262 | 0.03152 | 0.01299 | 0.114 | 1.4 | 2.828 | 0.0332 | 0.02136 | 1 | 1 | 0.0365 | 0.3365 | 0.8406 | 0.0618 | 0.5698 | 1.423 | json |
| t19_x20_u6_b1 | 19 | 20 | 6 | 1 | ![]() |
add(R,sub(nrm(P),R)) | 154314 | 155100646 | o2(x,o2(o1(x),x)) | true | 114519 | 114519 | -0.01562 | 0.4896 | 0.6504 | 0.5048 | 0.7105 | -1 | 1 | 2 | 1 | 4.761 | 0.001863 | 0.00124 | 0.0104 | 0.2009 | 1 | 3.065e-10 | 0.00612 | 0.00575 | 0.002995 | 0.05473 | 5.261 | 2.414 | 0.006147 | 0.01212 | 1 | 1 | 0.005637 | 0.02655 | 0.1534 | 0.01117 | 0.05259 | 0.3039 | json |
| t19_x20_u6_b2 | 19 | 20 | 6 | 2 | ![]() |
add(R,mlt(nrm(P),R)) | 154315 | 155100647 | o2(x,o2(o1(x),x)) | true | 114527 | 114527 | -0.03122 | 0.4842 | 0.3701 | 0.2513 | 0.5013 | -1 | 1 | 2 | 1 | 4.569 | 0.005282 | 0.005646 | 0.057 | -0.03328 | 1 | -0.00002269 | 0.008062 | 0.01935 | 0.007678 | 0.08762 | 1.537 | 2.58 | 0.04348 | 0.03208 | 1 | 1 | 0.02056 | 0.1977 | 0.5213 | 0.08181 | 0.7866 | 2.074 | json |
| t19_x20_u6_b3 | 19 | 20 | 6 | 3 | ![]() |
add(R,div(nrm(P),R)) | 154316 | 155100648 | o2(x,o2(o1(x),x)) | true | 114535 | 114535 | -0.0564 | 0.4726 | 0.7637 | 0.69 | 0.8307 | -1 | 1 | 2 | 1 | 3.541 | 0.02468 | 0.0282 | 0.1034 | -0.06655 | 1 | 0.00009717 | 0.05127 | 0.07 | 0.04222 | 0.2055 | 1.988 | 2.828 | 0.07664 | 0.0743 | 1 | 1 | 0.08276 | 0.598 | 1.438 | 0.1199 | 0.8667 | 2.084 | json |
| t19_x20_u6_b4 | 19 | 20 | 6 | 4 | ![]() |
add(R,pow(nrm(P),R)) | 154317 | 155100649 | o2(x,o2(o1(x),x)) | true | 114543 | 114543 | -0.1534 | 0.4492 | 0.9481 | 0.8955 | 0.9463 | -1 | 1 | 2 | 1 | 1.971 | 0.01469 | 0.003427 | 0.01738 | 0.6218 | 1 | -0.0000172 | 0.0361 | 0.02192 | 0.01781 | 0.1335 | 7.68 | 2.828 | 0.02023 | 0.04031 | 1 | 1 | 0.02466 | 0.1057 | 0.3961 | 0.02754 | 0.118 | 0.4423 | json |
| t19_x20_u6_b5 | 19 | 20 | 6 | 5 | ![]() |
add(R,mod(nrm(P),R)) | 154318 | 155100650 | o2(x,o2(o1(x),x)) | true | 114551 | 114551 | -0.01702 | 0.4839 | 0.3819 | 0.2427 | 0.4927 | -1 | 1 | 2 | 1 | 4.776 | 0.004086 | 0.004589 | 0.05812 | -0.05802 | 1 | 0.000009309 | 0.007279 | 0.01855 | 0.005297 | 0.07278 | 1.252 | 2.414 | 0.03574 | 0.02999 | 1 | 1 | 0.01615 | 0.1509 | 0.4244 | 0.06655 | 0.6215 | 1.748 | json |
| t19_x20_u6_b6 | 19 | 20 | 6 | 6 | ![]() |
add(R,lrg(nrm(P),R)) | 154319 | 155100651 | o2(x,o2(o1(x),x)) | true | 114559 | 114559 | 0.4654 | 0.8523 | 0.5456 | 0.1809 | 0.4253 | -0.8716 | 1 | 1.872 | 1 | 4.358 | 0.001433 | 0.001648 | 0.0414 | -0.06993 | 1 | -0.000009591 | 0.0003375 | 0.01116 | 0.001367 | 0.03697 | 0.8931 | 0.2533 | 0.01703 | 0.001866 | 1 | 1 | 0.006203 | 0.0751 | 0.2124 | 0.03429 | 0.4152 | 1.174 | json |
| t19_x20_u6_b7 | 19 | 20 | 6 | 7 | ![]() |
add(R,eql(nrm(P),R)) | 154320 | 155100652 | o2(x,o2(o1(x),x)) | true | 114567 | 114567 | 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 |
| t19_x20_u6_b8 | 19 | 20 | 6 | 8 | ![]() |
add(R,min(nrm(P),R)) | 154321 | 155100653 | o2(x,o2(o1(x),x)) | true | 114575 | 114575 | -0.3162 | 0.2919 | 0.6338 | 0.4131 | 0.6427 | -1 | 1 | 2 | 1 | 4.413 | 0.00562 | 0.005961 | 0.07324 | -0.02948 | 1 | 0.00005904 | 0.001767 | 0.02185 | 0.006219 | 0.07886 | 1.077 | 0.4104 | 0.02803 | 0.004277 | 1 | 1 | 0.02296 | 0.2649 | 0.6585 | 0.05558 | 0.6413 | 1.594 | json |
| t19_x20_u6_b9 | 19 | 20 | 6 | 9 | ![]() |
add(R,dot(nrm(P),R)) | 154322 | 155100654 | o2(x,o2(o1(x),x)) | true | 114583 | 114583 | -0.05397 | 0.4501 | 0.4594 | 0.3324 | 0.5765 | -1 | 1 | 2 | 1 | 4.672 | 0.006698 | 0.007093 | 0.06876 | -0.0286 | 1 | -0.0000223 | 0.009192 | 0.02389 | 0.009062 | 0.09519 | 1.384 | 2.828 | 0.04149 | 0.02766 | 1 | 1 | 0.02613 | 0.2509 | 0.7103 | 0.07862 | 0.7548 | 2.137 | json |
| t19_x20_u6_b10 | 19 | 20 | 6 | 10 | ![]() |
add(R,dst(nrm(P),R)) | 154323 | 155100655 | o2(x,o2(o1(x),x)) | true | 114591 | 114591 | 0.8808 | 0.9671 | 0.9207 | 0.1103 | 0.3322 | -1 | 1 | 2 | 1 | 1.613 | 0.004789 | 0.00499 | 0.02262 | -0.02053 | 1 | -0.00005741 | 0.01587 | 0.01691 | 0.009261 | 0.09624 | 4.255 | 2.717 | 0.08863 | 0.1439 | 1 | 1 | 0.017 | 0.09107 | 0.2874 | 0.1541 | 0.8255 | 2.605 | json |
| t19_x20_u6_b11 | 19 | 20 | 6 | 11 | ![]() |
sub(R,add(nrm(P),R)) | 154324 | 155100656 | o2(x,o2(o1(x),x)) | true | 114599 | 114599 | -0.01562 | 0.4896 | 0.6504 | 0.5048 | 0.7105 | -1 | 1 | 2 | 1 | 4.761 | 0.001863 | 0.00124 | 0.01041 | 0.2009 | 1 | -3.76e-10 | 0.00612 | 0.00575 | 0.002995 | 0.05472 | 5.255 | 2 | 0.006147 | 0.01212 | 1 | 1 | 0.005637 | 0.02655 | 0.1534 | 0.01117 | 0.05259 | 0.3039 | json |
| t19_x20_u6_b12 | 19 | 20 | 6 | 12 | ![]() |
sub(R,sub(nrm(P),R)) | 154325 | 155100657 | o2(x,o2(o1(x),x)) | true | 114607 | 114607 | -0.03129 | 0.4787 | 0.7292 | 0.6399 | 0.8 | -1 | 1 | 2 | 1 | 3.954 | 0.009368 | 0.009825 | 0.07714 | -0.02377 | 1 | 0.00006906 | 0.01256 | 0.03107 | 0.01324 | 0.1151 | 1.492 | 2.002 | 0.02999 | 0.01963 | 1 | 1 | 0.03608 | 0.3339 | 0.8683 | 0.05639 | 0.5218 | 1.357 | json |
| t19_x20_u6_b13 | 19 | 20 | 6 | 13 | ![]() |
sub(R,mlt(nrm(P),R)) | 154326 | 155100658 | o2(x,o2(o1(x),x)) | true | 114615 | 114615 | 0.006298 | 0.4792 | 0.3722 | 0.2602 | 0.5101 | -1 | 1 | 2 | 1 | 4.518 | 0.004799 | 0.005852 | 0.05517 | -0.09893 | 1 | 0.00001765 | 0.007815 | 0.01867 | 0.007607 | 0.08722 | 1.581 | 2 | 0.04094 | 0.03004 | 1 | 1 | 0.02015 | 0.1901 | 0.4686 | 0.07747 | 0.7308 | 1.801 | json |
| t19_x20_u6_b14 | 19 | 20 | 6 | 14 | ![]() |
sub(R,div(nrm(P),R)) | 154327 | 155100659 | o2(x,o2(o1(x),x)) | true | 114623 | 114623 | 0.0321 | 0.518 | 0.7739 | 0.7026 | 0.8382 | -1 | 1 | 2 | 1 | 3.513 | 0.02341 | 0.02795 | 0.1014 | -0.08842 | 1 | 0.00004406 | 0.04968 | 0.06869 | 0.04106 | 0.2026 | 1.998 | 2.828 | 0.07308 | 0.07071 | 1 | 1 | 0.08119 | 0.5856 | 1.421 | 0.1156 | 0.8334 | 2.023 | json |
| t19_x20_u6_b15 | 19 | 20 | 6 | 15 | ![]() |
sub(R,pow(nrm(P),R)) | 154328 | 155100660 | o2(x,o2(o1(x),x)) | true | 114631 | 114631 | -0.8906 | 0.02219 | 0.9049 | 0.07625 | 0.2761 | -1 | 0.7133 | 1.713 | 1 | 1.525 | 0.005438 | 0.002286 | 0.02256 | 0.408 | 1 | 0.00005431 | 0.01163 | 0.01542 | 0.007216 | 0.08495 | 3.765 | 1.713 | 0.1013 | 0.1525 | 1 | 1 | 0.009947 | 0.06202 | 0.1363 | 0.1305 | 0.8134 | 1.788 | json |
| t19_x20_u6_b16 | 19 | 20 | 6 | 16 | ![]() |
sub(R,mod(nrm(P),R)) | 154329 | 155100661 | o2(x,o2(o1(x),x)) | true | 114639 | 114639 | -0.005515 | 0.4798 | 0.4367 | 0.2914 | 0.5398 | -1 | 1 | 2 | 1 | 4.847 | 0.00462 | 0.005084 | 0.06314 | -0.04778 | 1 | 0.000001019 | 0.007751 | 0.02045 | 0.005719 | 0.07562 | 1.198 | 2 | 0.0333 | 0.0266 | 1 | 1 | 0.0181 | 0.1707 | 0.4835 | 0.06211 | 0.5858 | 1.659 | json |
| t19_x20_u6_b17 | 19 | 20 | 6 | 17 | ![]() |
sub(R,lrg(nrm(P),R)) | 154330 | 155100662 | o2(x,o2(o1(x),x)) | true | 114647 | 114647 | -0.3701 | 0.3072 | 0.63 | 0.375 | 0.6124 | -1 | 0.9801 | 1.98 | 1 | 4.151 | 0.004275 | 0.00448 | 0.06031 | -0.02339 | 1 | 0.0001305 | 0.00135 | 0.01815 | 0.005117 | 0.07153 | 1.186 | 0.347 | 0.02334 | 0.0036 | 1 | 1 | 0.01733 | 0.1977 | 0.5187 | 0.0462 | 0.527 | 1.383 | json |
| t19_x20_u6_b18 | 19 | 20 | 6 | 18 | ![]() |
sub(R,eql(nrm(P),R)) | 154331 | 155100663 | o2(x,o2(o1(x),x)) | true | 114655 | 114655 | 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 |
| t19_x20_u6_b19 | 19 | 20 | 6 | 19 | ![]() |
sub(R,min(nrm(P),R)) | 154332 | 155100664 | o2(x,o2(o1(x),x)) | true | 114663 | 114663 | 0.3413 | 0.68 | 0.3413 | 0.1619 | 0.4024 | 0 | 1 | 1 | 1 | 2.765 | 0.0008607 | 0.0009414 | 0.02228 | -0.04482 | 1 | -0.000009466 | 0.0002839 | 0.00671 | 0.001306 | 0.03613 | 1.622 | 0.2024 | 0.01113 | 0.001753 | 1 | 1 | 0.003659 | 0.04136 | 0.1262 | 0.0226 | 0.2554 | 0.7792 | json |
| t19_x20_u6_b20 | 19 | 20 | 6 | 20 | ![]() |
sub(R,dot(nrm(P),R)) | 154333 | 155100665 | o2(x,o2(o1(x),x)) | true | 114671 | 114671 | 0.02824 | 0.5096 | 0.4283 | 0.3025 | 0.55 | -1 | 1 | 2 | 1 | 4.662 | 0.005497 | 0.007303 | 0.06718 | -0.1412 | 1 | 0.00004358 | 0.008001 | 0.02224 | 0.008288 | 0.09104 | 1.355 | 2.012 | 0.04231 | 0.02644 | 1 | 1 | 0.0235 | 0.2281 | 0.5614 | 0.07768 | 0.7539 | 1.856 | json |
| t19_x20_u6_b21 | 19 | 20 | 6 | 21 | ![]() |
sub(R,dst(nrm(P),R)) | 154334 | 155100666 | o2(x,o2(o1(x),x)) | true | 114679 | 114679 | -0.9036 | 0.01413 | 0.9081 | 0.05722 | 0.2392 | -1 | 0.6638 | 1.664 | 1 | 1.512 | 0.001672 | 0.001469 | 0.02096 | 0.06451 | 1 | 0.00006096 | 0.001647 | 0.01072 | 0.002703 | 0.05199 | 2.481 | 1.478 | 0.0549 | 0.02879 | 1 | 1 | 0.005598 | 0.04924 | 0.1187 | 0.09784 | 0.8605 | 2.074 | json |
| t19_x20_u6_b22 | 19 | 20 | 6 | 22 | ![]() |
mlt(R,add(nrm(P),R)) | 154335 | 155100667 | o2(x,o2(o1(x),x)) | true | 114687 | 114687 | 0.2833 | 0.7709 | 0.3503 | 0.1468 | 0.3832 | -1 | 1 | 2 | 1 | 4.136 | 0.003567 | 0.003606 | 0.04361 | -0.005536 | 1 | -0.00004838 | 0.008096 | 0.0162 | 0.00527 | 0.0726 | 1.665 | 2.228 | 0.04885 | 0.05514 | 1 | 1 | 0.01307 | 0.1052 | 0.3379 | 0.089 | 0.7165 | 2.301 | json |
| t19_x20_u6_b23 | 19 | 20 | 6 | 23 | ![]() |
mlt(R,sub(nrm(P),R)) | 154336 | 155100668 | o2(x,o2(o1(x),x)) | true | 114695 | 114695 | -0.3531 | 0.1737 | 0.3817 | 0.125 | 0.3536 | -1 | 0.2325 | 1.232 | 1 | 4.118 | 0.00229 | 0.00266 | 0.04581 | -0.07487 | 1 | 0.00001322 | 0.003076 | 0.0146 | 0.002852 | 0.0534 | 1.166 | 1.567 | 0.03959 | 0.0246 | 1 | 1 | 0.009283 | 0.09325 | 0.2355 | 0.07424 | 0.7458 | 1.883 | json |
| t19_x20_u6_b24 | 19 | 20 | 6 | 24 | ![]() |
mlt(R,mlt(nrm(P),R)) | 154337 | 155100669 | o2(x,o2(o1(x),x)) | true | 114703 | 114703 | -0.01376 | 0.4881 | 0.2338 | 0.1014 | 0.3184 | -1 | 0.8728 | 1.873 | 1 | 4.268 | 0.001382 | 0.00144 | 0.02232 | -0.02035 | 1 | 0.00000821 | 0.004332 | 0.008741 | 0.002324 | 0.04821 | 2.16 | 1.648 | 0.02784 | 0.04273 | 1 | 1 | 0.004886 | 0.03079 | 0.1248 | 0.04819 | 0.3037 | 1.231 | json |
| t19_x20_u6_b25 | 19 | 20 | 6 | 25 | ![]() |
mlt(R,div(nrm(P),R)) | 154338 | 155100670 | o2(x,o2(o1(x),x)) | true | 114711 | 114711 | -0.01562 | 0.4896 | 0.6504 | 0.5048 | 0.7105 | -1 | 1 | 2 | 1 | 4.761 | 0.001863 | 0.00124 | 0.0104 | 0.2009 | 1 | 4.388e-11 | 0.00612 | 0.00575 | 0.002995 | 0.05473 | 5.261 | 2.414 | 0.006147 | 0.01212 | 1 | 1 | 0.005637 | 0.02655 | 0.1534 | 0.01117 | 0.05259 | 0.3039 | json |
| t19_x20_u6_b26 | 19 | 20 | 6 | 26 | ![]() |
mlt(R,pow(nrm(P),R)) | 154339 | 155100671 | o2(x,o2(o1(x),x)) | true | 114719 | 114719 | -0.6147 | 0.1831 | 0.7345 | 0.2863 | 0.5351 | -1 | 0.9256 | 1.926 | 1 | 2.94 | 0.005631 | 0.00239 | 0.03304 | 0.4041 | 1 | 0.00002334 | 0.0108 | 0.01648 | 0.006931 | 0.08325 | 2.52 | 1.604 | 0.02801 | 0.03773 | 1 | 1 | 0.01222 | 0.09072 | 0.2613 | 0.04268 | 0.3168 | 0.9124 | json |
| t19_x20_u6_b27 | 19 | 20 | 6 | 27 | ![]() |
mlt(R,mod(nrm(P),R)) | 154340 | 155100672 | o2(x,o2(o1(x),x)) | true | 114727 | 114727 | -0.04271 | 0.4417 | 0.148 | 0.05725 | 0.2393 | -1 | 0.8953 | 1.895 | 1 | 3.569 | 0.001661 | 0.001721 | 0.02571 | -0.01773 | 1 | -0.000008517 | 0.004599 | 0.009465 | 0.00272 | 0.05215 | 2.029 | 1.567 | 0.05906 | 0.08033 | 1 | 1 | 0.006127 | 0.04394 | 0.1313 | 0.107 | 0.7675 | 2.294 | json |
| t19_x20_u6_b28 | 19 | 20 | 6 | 28 | ![]() |
mlt(R,lrg(nrm(P),R)) | 154341 | 155100673 | o2(x,o2(o1(x),x)) | true | 114735 | 114735 | -0.1205 | 0.1644 | 0.2283 | 0.1088 | 0.3299 | -0.9989 | 0.9276 | 1.926 | 1 | 3.89 | 0.001308 | 0.001397 | 0.03556 | -0.03298 | 1 | 0.00001043 | 0.0001649 | 0.008331 | 0.001441 | 0.03796 | 1.067 | 0.1921 | 0.02486 | 0.001515 | 1 | 1 | 0.00534 | 0.06917 | 0.1941 | 0.04906 | 0.6355 | 1.783 | json |
| t19_x20_u6_b29 | 19 | 20 | 6 | 29 | ![]() |
mlt(R,eql(nrm(P),R)) | 154342 | 155100674 | o2(x,o2(o1(x),x)) | true | 114743 | 114743 | 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 |
| t19_x20_u6_b30 | 19 | 20 | 6 | 30 | ![]() |
mlt(R,min(nrm(P),R)) | 154343 | 155100675 | o2(x,o2(o1(x),x)) | true | 114751 | 114751 | 0.1585 | 0.7529 | 0.3011 | 0.1139 | 0.3375 | -0.8885 | 0.9978 | 1.886 | 1 | 4.399 | 0.001091 | 0.001304 | 0.03774 | -0.08907 | 1 | -0.00001785 | 0.0001386 | 0.00864 | 0.0009708 | 0.03116 | 0.8255 | 0.1939 | 0.02103 | 0.001217 | 1 | 1 | 0.004589 | 0.05873 | 0.1569 | 0.04028 | 0.5156 | 1.377 | json |
| t19_x20_u6_b31 | 19 | 20 | 6 | 31 | ![]() |
mlt(R,dot(nrm(P),R)) | 154344 | 155100676 | o2(x,o2(o1(x),x)) | true | 114759 | 114759 | 0.002243 | 0.5008 | 0.3075 | 0.1635 | 0.4043 | -1 | 1 | 2 | 1 | 4.629 | 0.002162 | 0.002096 | 0.03773 | 0.01549 | 1 | 0.000008132 | 0.004559 | 0.01227 | 0.002835 | 0.05324 | 1.411 | 2.108 | 0.02605 | 0.02789 | 1 | 1 | 0.007452 | 0.0632 | 0.2202 | 0.04558 | 0.3865 | 1.347 | json |
| t19_x20_u6_b32 | 19 | 20 | 6 | 32 | ![]() |
mlt(R,dst(nrm(P),R)) | 154345 | 155100677 | o2(x,o2(o1(x),x)) | true | 114767 | 114767 | -0.01216 | 0.482 | 0.517 | 0.376 | 0.6132 | -1 | 1 | 2 | 1 | 4.781 | 0.006595 | 0.007799 | 0.0769 | -0.08361 | 1 | 0.00002344 | 0.00966 | 0.02571 | 0.008481 | 0.09209 | 1.197 | 2 | 0.03828 | 0.02569 | 1 | 1 | 0.02732 | 0.2655 | 0.6745 | 0.07266 | 0.7062 | 1.794 | json |
| t19_x20_u6_b33 | 19 | 20 | 6 | 33 | ![]() |
div(R,add(nrm(P),R)) | 154346 | 155100678 | o2(x,o2(o1(x),x)) | true | 114775 | 114775 | 0.132 | 0.608 | 0.6723 | 0.5567 | 0.7461 | -1 | 1 | 2 | 1 | 4.04 | 0.01734 | 0.01746 | 0.08067 | -0.003554 | 1 | 0.00007184 | 0.03833 | 0.05502 | 0.02829 | 0.1682 | 2.085 | 2.403 | 0.06252 | 0.06886 | 1 | 1 | 0.05367 | 0.3802 | 1.097 | 0.09641 | 0.683 | 1.971 | json |
| t19_x20_u6_b34 | 19 | 20 | 6 | 34 | ![]() |
div(R,sub(nrm(P),R)) | 154347 | 155100679 | o2(x,o2(o1(x),x)) | true | 114783 | 114783 | -0.09684 | 0.3825 | 0.6495 | 0.5385 | 0.7338 | -1 | 1 | 2 | 1 | 4.041 | 0.0139 | 0.01214 | 0.07105 | 0.06757 | 1 | -0.00001119 | 0.0254 | 0.04529 | 0.02099 | 0.1449 | 2.039 | 2.828 | 0.04836 | 0.04718 | 1 | 1 | 0.04699 | 0.3339 | 0.9952 | 0.08725 | 0.62 | 1.848 | json |
| t19_x20_u6_b35 | 19 | 20 | 6 | 35 | ![]() |
div(R,mlt(nrm(P),R)) | 154348 | 155100680 | o2(x,o2(o1(x),x)) | true | 114791 | 114791 | -0.125 | 0.4375 | 1 | 0.9844 | 0.9922 | -1 | 1 | 2 | 1 | 0.9887 | 0.01587 | 0 | 0.007937 | 1 | 1 | 0 | 0.03175 | 0.01587 | 0.01581 | 0.1257 | 15.84 | 2 | 0.01612 | 0.03225 | 1 | 1 | 0.02105 | 0.08421 | 0.3368 | 0.02139 | 0.08555 | 0.3422 | json |
| t19_x20_u6_b36 | 19 | 20 | 6 | 36 | ![]() |
div(R,div(nrm(P),R)) | 154349 | 155100681 | o2(x,o2(o1(x),x)) | true | 114799 | 114799 | -0.1337 | 0.4375 | 0.5516 | 0.4071 | 0.638 | -1 | 1 | 2 | 1 | 4.565 | 0.01482 | 0.001312 | 0.0418 | 0.8374 | 1 | 0.00001797 | 0.02749 | 0.02676 | 0.01439 | 0.12 | 2.87 | 2 | 0.03963 | 0.06753 | 1 | 1 | 0.02131 | 0.1168 | 0.3587 | 0.05234 | 0.2869 | 0.8811 | json |
| t19_x20_u6_b37 | 19 | 20 | 6 | 37 | ![]() |
div(R,pow(nrm(P),R)) | 154350 | 155100682 | o2(x,o2(o1(x),x)) | true | 114807 | 114807 | -0.4877 | 0.2435 | 0.7215 | 0.4124 | 0.6422 | -1 | 1 | 2 | 1 | 3.166 | 0.008328 | 0.00284 | 0.03442 | 0.4915 | 1 | -0.00002226 | 0.01684 | 0.01937 | 0.009982 | 0.09991 | 2.903 | 2.222 | 0.02708 | 0.04083 | 1 | 1 | 0.01606 | 0.1159 | 0.3618 | 0.03893 | 0.2811 | 0.8773 | json |
| t19_x20_u6_b38 | 19 | 20 | 6 | 38 | ![]() |
div(R,mod(nrm(P),R)) | 154351 | 155100683 | o2(x,o2(o1(x),x)) | true | 114815 | 114815 | -0.1381 | 0.4306 | 0.9075 | 0.8569 | 0.9257 | -1 | 1 | 2 | 1 | 2.358 | 0.04237 | 0.0295 | 0.1032 | 0.179 | 1 | 0.00003092 | 0.07707 | 0.08516 | 0.06125 | 0.2475 | 2.399 | 2.292 | 0.08387 | 0.08995 | 1 | 1 | 0.1079 | 0.69 | 1.577 | 0.1259 | 0.8053 | 1.84 | json |
| t19_x20_u6_b39 | 19 | 20 | 6 | 39 | ![]() |
div(R,lrg(nrm(P),R)) | 154352 | 155100684 | o2(x,o2(o1(x),x)) | true | 114823 | 114823 | -0.6463 | 0.1623 | 0.8147 | 0.3462 | 0.5884 | -1 | 1 | 2 | 1 | 2.5 | 0.02215 | 0.01651 | 0.04009 | 0.1461 | 1 | 0.000001098 | 0.07867 | 0.05061 | 0.03705 | 0.1925 | 4.801 | 2.828 | 0.1117 | 0.2272 | 1 | 1 | 0.04524 | 0.2049 | 0.4877 | 0.1307 | 0.5917 | 1.408 | json |
| t19_x20_u6_b40 | 19 | 20 | 6 | 40 | ![]() |
div(R,eql(nrm(P),R)) | 154353 | 155100685 | o2(x,o2(o1(x),x)) | true | 114831 | 114831 | -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 |
| t19_x20_u6_b41 | 19 | 20 | 6 | 41 | ![]() |
div(R,min(nrm(P),R)) | 154354 | 155100686 | o2(x,o2(o1(x),x)) | true | 114839 | 114839 | 0.4005 | 0.6944 | 0.791 | 0.5657 | 0.7521 | -1 | 1 | 2 | 1 | 3.206 | 0.01625 | 0.011 | 0.0471 | 0.1926 | 1 | 0.00002053 | 0.04567 | 0.03235 | 0.02502 | 0.1582 | 3.359 | 2.828 | 0.04817 | 0.08075 | 1 | 1 | 0.04407 | 0.2546 | 0.6731 | 0.07791 | 0.45 | 1.19 | json |
| t19_x20_u6_b42 | 19 | 20 | 6 | 42 | ![]() |
div(R,dot(nrm(P),R)) | 154355 | 155100687 | o2(x,o2(o1(x),x)) | true | 114847 | 114847 | -0.03158 | 0.4881 | 0.8081 | 0.7297 | 0.8542 | -1 | 1 | 2 | 1 | 3.636 | 0.01596 | 0.0138 | 0.06947 | 0.07234 | 1 | -0.00001781 | 0.0298 | 0.04491 | 0.02494 | 0.1579 | 2.273 | 2.088 | 0.04078 | 0.04083 | 1 | 1 | 0.05098 | 0.3521 | 0.9635 | 0.06986 | 0.4826 | 1.321 | json |
| t19_x20_u6_b43 | 19 | 20 | 6 | 43 | ![]() |
div(R,dst(nrm(P),R)) | 154356 | 155100688 | o2(x,o2(o1(x),x)) | true | 114855 | 114855 | -0.0056 | 0.4871 | 0.3512 | 0.1994 | 0.4466 | -1 | 1 | 2 | 1 | 4.652 | 0.004133 | 0.004372 | 0.05455 | -0.02802 | 1 | -0.00001022 | 0.00796 | 0.01869 | 0.005529 | 0.07436 | 1.363 | 2.828 | 0.04264 | 0.03991 | 1 | 1 | 0.01517 | 0.133 | 0.3789 | 0.07605 | 0.667 | 1.9 | json |
| t19_x20_u6_b44 | 19 | 20 | 6 | 44 | ![]() |
pow(R,add(nrm(P),R)) | 154357 | 155100689 | o2(x,o2(o1(x),x)) | true | 114863 | 114863 | -0.9179 | 0.04297 | 0.9962 | 0.1515 | 0.3892 | -1 | 1 | 2 | 1 | 0.3277 | 0.01586 | 0.01464 | 0.01597 | 0.03995 | 1 | -0.000003083 | 0.06374 | 0.03177 | 0.03024 | 0.1739 | 10.89 | 2.828 | 0.2014 | 0.4208 | 1 | 1 | 0.02475 | 0.1062 | 0.2622 | 0.1634 | 0.7013 | 1.731 | json |
| t19_x20_u6_b45 | 19 | 20 | 6 | 45 | ![]() |
pow(R,sub(nrm(P),R)) | 154358 | 155100690 | o2(x,o2(o1(x),x)) | true | 114871 | 114871 | -0.915 | 0.04297 | 0.9991 | 0.1613 | 0.4016 | -1 | 1 | 2 | 1 | 0.2807 | 0.01649 | 0.01595 | 0.01639 | 0.01665 | 1 | 0.000002332 | 0.06779 | 0.03282 | 0.03215 | 0.1793 | 10.94 | 2.828 | 0.2011 | 0.4203 | 1 | 1 | 0.02543 | 0.1095 | 0.2727 | 0.1577 | 0.6791 | 1.691 | json |
| t19_x20_u6_b46 | 19 | 20 | 6 | 46 | ![]() |
pow(R,mlt(nrm(P),R)) | 154359 | 155100691 | o2(x,o2(o1(x),x)) | true | 114879 | 114879 | -0.853 | 0.07422 | 0.9985 | 0.2696 | 0.5192 | -1 | 1 | 2 | 1 | 0.4299 | 0.02435 | 0.02388 | 0.02439 | 0.009679 | 1 | 9.429e-7 | 0.1006 | 0.0488 | 0.04761 | 0.2182 | 8.947 | 2.828 | 0.1789 | 0.3732 | 1 | 1 | 0.04597 | 0.192 | 0.6354 | 0.1705 | 0.7121 | 2.357 | json |
| t19_x20_u6_b47 | 19 | 20 | 6 | 47 | ![]() |
pow(R,div(nrm(P),R)) | 154360 | 155100692 | o2(x,o2(o1(x),x)) | true | 114887 | 114887 | -0.8636 | 0.07031 | 0.9958 | 0.2478 | 0.4978 | -1 | 1 | 2 | 1 | 0.4518 | 0.02329 | 0.02311 | 0.02419 | 0.003952 | 1 | 0.000004168 | 0.09674 | 0.04771 | 0.0458 | 0.214 | 8.845 | 2.828 | 0.1873 | 0.3904 | 1 | 1 | 0.04459 | 0.1868 | 0.5606 | 0.1799 | 0.7538 | 2.262 | json |
| t19_x20_u6_b48 | 19 | 20 | 6 | 48 | ![]() |
pow(R,pow(nrm(P),R)) | 154361 | 155100693 | o2(x,o2(o1(x),x)) | true | 114895 | 114895 | -0.986 | 0.007813 | 0.9983 | 0.02515 | 0.1586 | -1 | 1 | 2 | 1 | 0.08821 | 0.002431 | 0.003057 | 0.003137 | -0.1139 | 1 | 0.000002677 | 0.01157 | 0.00607 | 0.005477 | 0.07401 | 23.59 | 2.792 | 0.2182 | 0.46 | 1 | 1 | 0.0008409 | 0.005913 | 0.02225 | 0.03343 | 0.2351 | 0.8847 | json |
| t19_x20_u6_b49 | 19 | 20 | 6 | 49 | ![]() |
pow(R,mod(nrm(P),R)) | 154362 | 155100694 | o2(x,o2(o1(x),x)) | true | 114903 | 114903 | -0.8529 | 0.07422 | 0.9986 | 0.2699 | 0.5195 | -1 | 1 | 2 | 1 | 0.4291 | 0.0243 | 0.02404 | 0.02447 | 0.005399 | 1 | 9.167e-7 | 0.1009 | 0.04888 | 0.04771 | 0.2184 | 8.928 | 2.828 | 0.1791 | 0.3737 | 1 | 1 | 0.04579 | 0.1912 | 0.6334 | 0.1697 | 0.7084 | 2.347 | json |
| t19_x20_u6_b50 | 19 | 20 | 6 | 50 | ![]() |
pow(R,lrg(nrm(P),R)) | 154363 | 155100695 | o2(x,o2(o1(x),x)) | true | 114911 | 114911 | -0.4002 | 0.3008 | 0.9983 | 0.8371 | 0.9149 | -1 | 1 | 2 | 1 | 0.935 | 0.02622 | 0.03188 | 0.02934 | -0.09745 | 1 | 0.000002697 | 0.1202 | 0.0587 | 0.05727 | 0.2393 | 8.158 | 2.828 | 0.0694 | 0.1436 | 1 | 1 | 0.05306 | 0.2255 | 0.724 | 0.06339 | 0.2694 | 0.865 | json |
| t19_x20_u6_b51 | 19 | 20 | 6 | 51 | ![]() |
pow(R,eql(nrm(P),R)) | 154364 | 155100696 | o2(x,o2(o1(x),x)) | true | 114919 | 114919 | 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 |
| t19_x20_u6_b52 | 19 | 20 | 6 | 52 | ![]() |
pow(R,min(nrm(P),R)) | 154365 | 155100697 | o2(x,o2(o1(x),x)) | true | 114927 | 114927 | -0.915 | 0.04297 | 0.9991 | 0.1611 | 0.4014 | -1 | 1 | 2 | 1 | 0.2819 | 0.01656 | 0.01595 | 0.01637 | 0.01851 | 1 | 0.000001003 | 0.06796 | 0.03287 | 0.03223 | 0.1795 | 10.96 | 2.828 | 0.2018 | 0.4217 | 1 | 1 | 0.0254 | 0.1094 | 0.2726 | 0.1577 | 0.6787 | 1.692 | json |
| t19_x20_u6_b53 | 19 | 20 | 6 | 53 | ![]() |
pow(R,dot(nrm(P),R)) | 154366 | 155100698 | o2(x,o2(o1(x),x)) | true | 114935 | 114935 | -0.9155 | 0.04297 | 0.9986 | 0.1592 | 0.3991 | -1 | 1 | 2 | 1 | 0.3037 | 0.01638 | 0.01574 | 0.01646 | 0.01972 | 1 | 1.191e-7 | 0.06716 | 0.03276 | 0.03183 | 0.1784 | 10.84 | 2.828 | 0.2017 | 0.4217 | 1 | 1 | 0.02509 | 0.1077 | 0.2705 | 0.1576 | 0.6762 | 1.699 | json |
| t19_x20_u6_b54 | 19 | 20 | 6 | 54 | ![]() |
pow(R,dst(nrm(P),R)) | 154367 | 155100699 | o2(x,o2(o1(x),x)) | true | 114943 | 114943 | -0.9368 | 0.04297 | 0.9772 | 0.09071 | 0.3012 | -1 | 0.9448 | 1.945 | 1 | 0.4165 | 0.008976 | 0.009167 | 0.01334 | -0.01052 | 1 | 0.000009109 | 0.03781 | 0.02447 | 0.01797 | 0.134 | 10.04 | 2.679 | 0.2 | 0.4168 | 1 | 1 | 0.01378 | 0.06071 | 0.1486 | 0.1519 | 0.6692 | 1.638 | json |
| t19_x20_u6_b55 | 19 | 20 | 6 | 55 | ![]() |
mod(R,add(nrm(P),R)) | 154368 | 155100700 | o2(x,o2(o1(x),x)) | true | 114951 | 114951 | -0.01557 | 0.4903 | 0.2676 | 0.1362 | 0.369 | -1 | 0.9809 | 1.981 | 1 | 4.449 | 0.00257 | 0.002478 | 0.04211 | 0.01815 | 1 | 0.00001239 | 0.005179 | 0.01341 | 0.003274 | 0.05722 | 1.359 | 2.097 | 0.03707 | 0.03803 | 1 | 1 | 0.009553 | 0.085 | 0.2512 | 0.07015 | 0.6242 | 1.844 | json |
| t19_x20_u6_b56 | 19 | 20 | 6 | 56 | ![]() |
mod(R,sub(nrm(P),R)) | 154369 | 155100701 | o2(x,o2(o1(x),x)) | true | 114959 | 114959 | -0.01625 | 0.4658 | 0.2895 | 0.1502 | 0.3875 | -1 | 0.9694 | 1.969 | 1 | 4.564 | 0.002375 | 0.00263 | 0.0431 | -0.0509 | 1 | -4.22e-8 | 0.005136 | 0.01355 | 0.003147 | 0.0561 | 1.302 | 1.797 | 0.03333 | 0.0342 | 1 | 1 | 0.009502 | 0.08464 | 0.2319 | 0.06328 | 0.5636 | 1.545 | json |
| t19_x20_u6_b57 | 19 | 20 | 6 | 57 | ![]() |
mod(R,mlt(nrm(P),R)) | 154370 | 155100702 | o2(x,o2(o1(x),x)) | true | 114967 | 114967 | -0.1258 | 0.4208 | 0.1905 | 0.1198 | 0.3461 | -1 | 0.9089 | 1.909 | 1 | 2.962 | 0.008604 | 0.0001717 | 0.01934 | 0.9609 | 1 | 0.00002259 | 0.01697 | 0.01892 | 0.008402 | 0.09166 | 4.74 | 1.233 | 0.07326 | 0.1416 | 1 | 1 | 0.01206 | 0.05313 | 0.1885 | 0.1007 | 0.4435 | 1.574 | json |
| t19_x20_u6_b58 | 19 | 20 | 6 | 58 | ![]() |
mod(R,div(nrm(P),R)) | 154371 | 155100703 | o2(x,o2(o1(x),x)) | true | 114975 | 114975 | -0.1064 | 0.4356 | 0.3834 | 0.2329 | 0.4826 | -1 | 0.9388 | 1.939 | 1 | 4.532 | 0.01175 | 0.001678 | 0.05121 | 0.7502 | 1 | -0.000001012 | 0.02054 | 0.02713 | 0.01081 | 0.104 | 2.03 | 1.797 | 0.05766 | 0.08817 | 1 | 1 | 0.02096 | 0.1403 | 0.4017 | 0.09 | 0.6023 | 1.724 | json |
| t19_x20_u6_b59 | 19 | 20 | 6 | 59 | ![]() |
mod(R,pow(nrm(P),R)) | 154372 | 155100704 | o2(x,o2(o1(x),x)) | true | 114983 | 114983 | -0.5956 | 0.184 | 0.7155 | 0.2875 | 0.5362 | -1 | 0.9276 | 1.928 | 1 | 3.039 | 0.004996 | 0.001066 | 0.02855 | 0.6482 | 1 | 2.693e-7 | 0.008189 | 0.0134 | 0.005247 | 0.07244 | 2.537 | 1.483 | 0.02109 | 0.02849 | 1 | 1 | 0.009163 | 0.06998 | 0.2142 | 0.03187 | 0.2434 | 0.7452 | json |
| t19_x20_u6_b60 | 19 | 20 | 6 | 60 | ![]() |
mod(R,mod(nrm(P),R)) | 154373 | 155100705 | o2(x,o2(o1(x),x)) | true | 114991 | 114991 | -0.1229 | 0.4285 | 0.1847 | 0.1181 | 0.3437 | -1 | 0.4013 | 1.401 | 1 | 2.823 | 0.008193 | 0.000138 | 0.01895 | 0.9669 | 1 | 0.00001388 | 0.01618 | 0.01847 | 0.007973 | 0.08929 | 4.713 | 1.178 | 0.07052 | 0.1369 | 1 | 1 | 0.01104 | 0.04852 | 0.1883 | 0.09342 | 0.4107 | 1.594 | json |
| t19_x20_u6_b61 | 19 | 20 | 6 | 61 | ![]() |
mod(R,lrg(nrm(P),R)) | 154374 | 155100706 | o2(x,o2(o1(x),x)) | true | 114999 | 114999 | -0.7244 | 0.1232 | 0.8147 | 0.2393 | 0.4892 | -1 | 0.9276 | 1.928 | 1 | 2.282 | 0.005788 | 0.005832 | 0.0267 | -0.003763 | 1 | 0.000001098 | 0.02111 | 0.02362 | 0.01091 | 0.1045 | 3.911 | 2.348 | 0.04856 | 0.08822 | 1 | 1 | 0.0153 | 0.08665 | 0.2781 | 0.06395 | 0.3621 | 1.162 | json |
| t19_x20_u6_b62 | 19 | 20 | 6 | 62 | ![]() |
mod(R,eql(nrm(P),R)) | 154375 | 155100707 | o2(x,o2(o1(x),x)) | true | 115007 | 115007 | -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 |
| t19_x20_u6_b63 | 19 | 20 | 6 | 63 | ![]() |
mod(R,min(nrm(P),R)) | 154376 | 155100708 | o2(x,o2(o1(x),x)) | true | 115015 | 115015 | -0.06951 | 0.4305 | 0.2209 | 0.1263 | 0.3555 | -1 | 0.9158 | 1.916 | 1 | 3.725 | 0.005125 | 0.001804 | 0.03173 | 0.4792 | 1 | 0.000007192 | 0.01068 | 0.01681 | 0.005923 | 0.07696 | 2.425 | 1.483 | 0.05484 | 0.08453 | 1 | 1 | 0.01085 | 0.07594 | 0.2414 | 0.08584 | 0.601 | 1.911 | json |
| t19_x20_u6_b64 | 19 | 20 | 6 | 64 | ![]() |
mod(R,dot(nrm(P),R)) | 154377 | 155100709 | o2(x,o2(o1(x),x)) | true | 115023 | 115023 | -0.01843 | 0.488 | 0.2493 | 0.1211 | 0.3481 | -1 | 0.9557 | 1.956 | 1 | 4.351 | 0.002683 | 0.002856 | 0.04347 | -0.03136 | 1 | 3.172e-7 | 0.005603 | 0.01387 | 0.00365 | 0.06042 | 1.39 | 2.097 | 0.04573 | 0.04625 | 1 | 1 | 0.01021 | 0.0904 | 0.2523 | 0.08429 | 0.7462 | 2.082 | json |
| t19_x20_u6_b65 | 19 | 20 | 6 | 65 | ![]() |
mod(R,dst(nrm(P),R)) | 154378 | 155100710 | o2(x,o2(o1(x),x)) | true | 115031 | 115031 | -0.01743 | 0.4732 | 0.3654 | 0.1983 | 0.4453 | -1 | 0.9806 | 1.981 | 1 | 4.806 | 0.00372 | 0.004333 | 0.05868 | -0.07605 | 1 | 0.00001835 | 0.00683 | 0.0175 | 0.00461 | 0.06789 | 1.157 | 1.797 | 0.04061 | 0.03444 | 1 | 1 | 0.0155 | 0.1487 | 0.3937 | 0.07816 | 0.7499 | 1.985 | json |
| t19_x20_u6_b66 | 19 | 20 | 6 | 66 | ![]() |
lrg(R,add(nrm(P),R)) | 154379 | 155100711 | o2(x,o2(o1(x),x)) | true | 115039 | 115039 | 0.4727 | 0.5074 | 0.4727 | 0.242 | 0.4919 | 0 | 1 | 1 | 1 | 1.358 | 0.0003432 | 0.00003512 | 0.004306 | 0.8144 | 1 | -4.775e-10 | 0.00001836 | 0.001016 | 0.0003599 | 0.01897 | 4.405 | 0.1169 | 0.001564 | 0.00007585 | 1 | 1 | 0.001014 | 0.01329 | 0.07825 | 0.00419 | 0.05493 | 0.3234 | json |
| t19_x20_u6_b67 | 19 | 20 | 6 | 67 | ![]() |
lrg(R,sub(nrm(P),R)) | 154380 | 155100712 | o2(x,o2(o1(x),x)) | true | 115047 | 115047 | 0.5068 | 0.8796 | 0.5068 | 0.169 | 0.4111 | 0 | 1 | 1 | 1 | 3.204 | 0.001891 | 0.001801 | 0.04343 | 0.02427 | 1 | 0.0000114 | 0.0002201 | 0.01057 | 0.001806 | 0.04249 | 0.9783 | 0.1169 | 0.02185 | 0.001302 | 1 | 1 | 0.007304 | 0.09406 | 0.2722 | 0.04322 | 0.5566 | 1.611 | json |
| t19_x20_u6_b68 | 19 | 20 | 6 | 68 | ![]() |
lrg(R,mlt(nrm(P),R)) | 154381 | 155100713 | o2(x,o2(o1(x),x)) | true | 115055 | 115055 | 0.4688 | 0.9098 | 0.4688 | 0.1543 | 0.3928 | 0 | 1 | 1 | 1 | 3.408 | 0.001904 | 0.002486 | 0.05133 | -0.1326 | 1 | -0.00002352 | 0.0002538 | 0.01244 | 0.001756 | 0.0419 | 0.8164 | 0.1169 | 0.02844 | 0.001644 | 1 | 1 | 0.008666 | 0.1116 | 0.2777 | 0.05615 | 0.7229 | 1.799 | json |
| t19_x20_u6_b69 | 19 | 20 | 6 | 69 | ![]() |
lrg(R,div(nrm(P),R)) | 154382 | 155100714 | o2(x,o2(o1(x),x)) | true | 115063 | 115063 | 0.5147 | 0.9429 | 0.5147 | 0.1527 | 0.3907 | 0 | 1 | 1 | 1 | 3.445 | 0.002052 | 0.002426 | 0.05241 | -0.08366 | 1 | 0.00004991 | 0.0002631 | 0.01274 | 0.001731 | 0.04161 | 0.7939 | 0.1169 | 0.02933 | 0.001723 | 1 | 1 | 0.008803 | 0.1135 | 0.3077 | 0.05766 | 0.7433 | 2.016 | json |
| t19_x20_u6_b70 | 19 | 20 | 6 | 70 | ![]() |
lrg(R,pow(nrm(P),R)) | 154383 | 155100715 | o2(x,o2(o1(x),x)) | true | 115071 | 115071 | 0.542 | 0.6722 | 0.542 | 0.2257 | 0.4751 | 0 | 1 | 1 | 1 | 1.878 | 0.000602 | 0.0004447 | 0.01235 | 0.1503 | 1 | 0.000002139 | 0.00005975 | 0.002978 | 0.000894 | 0.0299 | 2.42 | 0.1169 | 0.004637 | 0.0002647 | 1 | 1 | 0.00242 | 0.03137 | 0.1055 | 0.01072 | 0.139 | 0.4672 | json |
| t19_x20_u6_b71 | 19 | 20 | 6 | 71 | ![]() |
lrg(R,mod(nrm(P),R)) | 154384 | 155100716 | o2(x,o2(o1(x),x)) | true | 115079 | 115079 | 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 |
| t19_x20_u6_b72 | 19 | 20 | 6 | 72 | ![]() |
lrg(R,lrg(nrm(P),R)) | 154385 | 155100717 | o2(x,o2(o1(x),x)) | true | 115087 | 115087 | 0.3271 | 0.6502 | 0.3271 | 0.1556 | 0.3945 | 0 | 1 | 1 | 1 | 2.78 | 0.001411 | 0.001612 | 0.03539 | -0.06652 | 1 | 0.000008566 | 0.0001696 | 0.008513 | 0.001771 | 0.04208 | 1.189 | 0.1169 | 0.01943 | 0.00109 | 1 | 1 | 0.006096 | 0.07821 | 0.2217 | 0.03917 | 0.5026 | 1.425 | json |
| t19_x20_u6_b73 | 19 | 20 | 6 | 73 | ![]() |
lrg(R,eql(nrm(P),R)) | 154386 | 155100718 | o2(x,o2(o1(x),x)) | true | 115095 | 115095 | 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 |
| t19_x20_u6_b74 | 19 | 20 | 6 | 74 | ![]() |
lrg(R,min(nrm(P),R)) | 154387 | 155100719 | o2(x,o2(o1(x),x)) | true | 115103 | 115103 | 0.4912 | 0.6939 | 0.4912 | 0.2089 | 0.457 | 0 | 1 | 1 | 1 | 2.399 | 0.0009891 | 0.0009494 | 0.02282 | 0.02049 | 1 | 0.00001354 | 0.0001081 | 0.005457 | 0.001417 | 0.03765 | 1.65 | 0.1169 | 0.009281 | 0.0005175 | 1 | 1 | 0.004053 | 0.0522 | 0.1736 | 0.0194 | 0.2499 | 0.8312 | json |
| t19_x20_u6_b75 | 19 | 20 | 6 | 75 | ![]() |
lrg(R,dot(nrm(P),R)) | 154388 | 155100720 | o2(x,o2(o1(x),x)) | true | 115111 | 115111 | 0.5068 | 0.9327 | 0.5068 | 0.1519 | 0.3897 | 0 | 1 | 1 | 1 | 3.453 | 0.002004 | 0.002507 | 0.05266 | -0.1116 | 1 | 0.00003421 | 0.0002659 | 0.01283 | 0.001738 | 0.04169 | 0.7916 | 0.1169 | 0.02971 | 0.001751 | 1 | 1 | 0.008741 | 0.1125 | 0.3089 | 0.05756 | 0.7411 | 2.034 | json |
| t19_x20_u6_b76 | 19 | 20 | 6 | 76 | ![]() |
lrg(R,dst(nrm(P),R)) | 154389 | 155100721 | o2(x,o2(o1(x),x)) | true | 115119 | 115119 | 0.04883 | 0.1568 | 0.04883 | 0.02882 | 0.1698 | 0 | 0.9997 | 0.9997 | 1 | 0.8747 | 0.000414 | 0.0003636 | 0.009278 | 0.06474 | 1 | 2.277e-10 | 0.00004929 | 0.002285 | 0.0006919 | 0.0263 | 2.835 | 0.1169 | 0.02698 | 0.00171 | 1 | 1 | 0.001534 | 0.02007 | 0.06843 | 0.05324 | 0.6963 | 2.374 | json |
| t19_x20_u6_b77 | 19 | 20 | 6 | 77 | ![]() |
eql(R,add(nrm(P),R)) | 154390 | 155100722 | o2(x,o2(o1(x),x)) | true | 115127 | 115127 | 0.05859 | 0.1241 | 0.05859 | 0.0418 | 0.2045 | 0 | 0.9997 | 0.9997 | 1 | 0.7992 | 0.0006513 | 0.00003512 | 0.007769 | 0.8977 | 1 | -8.342e-10 | 0.00003252 | 0.001826 | 0.0006264 | 0.02503 | 3.222 | 0.1169 | 0.01642 | 0.0007779 | 1 | 1 | 0.001783 | 0.0232 | 0.06358 | 0.04266 | 0.5551 | 1.521 | json |
| t19_x20_u6_b78 | 19 | 20 | 6 | 78 | ![]() |
eql(R,sub(nrm(P),R)) | 154391 | 155100723 | o2(x,o2(o1(x),x)) | true | 115135 | 115135 | 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 |
| t19_x20_u6_b79 | 19 | 20 | 6 | 79 | ![]() |
eql(R,mlt(nrm(P),R)) | 154392 | 155100724 | o2(x,o2(o1(x),x)) | true | 115143 | 115143 | 0.0293 | 0.06207 | 0.0293 | 0.02176 | 0.1475 | 0 | 0.9997 | 0.9997 | 1 | 0.4503 | 0.00001756 | 0.0003257 | 0.00389 | -0.8977 | 1 | -1.126e-11 | 0.00001626 | 0.0009129 | 0.0003282 | 0.01812 | 4.657 | 0.1169 | 0.01577 | 0.000747 | 1 | 1 | 0.0008917 | 0.01161 | 0.03457 | 0.04097 | 0.5334 | 1.588 | json |
| t19_x20_u6_b80 | 19 | 20 | 6 | 80 | ![]() |
eql(R,div(nrm(P),R)) | 154393 | 155100725 | o2(x,o2(o1(x),x)) | true | 115151 | 115151 | 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 |
| t19_x20_u6_b81 | 19 | 20 | 6 | 81 | ![]() |
eql(R,pow(nrm(P),R)) | 154394 | 155100726 | o2(x,o2(o1(x),x)) | true | 115159 | 115159 | 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 |
| t19_x20_u6_b82 | 19 | 20 | 6 | 82 | ![]() |
eql(R,mod(nrm(P),R)) | 154395 | 155100727 | o2(x,o2(o1(x),x)) | true | 115167 | 115167 | 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 |
| t19_x20_u6_b83 | 19 | 20 | 6 | 83 | ![]() |
eql(R,lrg(nrm(P),R)) | 154396 | 155100728 | o2(x,o2(o1(x),x)) | true | 115175 | 115175 | 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 |
| t19_x20_u6_b84 | 19 | 20 | 6 | 84 | ![]() |
eql(R,eql(nrm(P),R)) | 154397 | 155100729 | o2(x,o2(o1(x),x)) | true | 115183 | 115183 | 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 |
| t19_x20_u6_b85 | 19 | 20 | 6 | 85 | ![]() |
eql(R,min(nrm(P),R)) | 154398 | 155100730 | o2(x,o2(o1(x),x)) | true | 115191 | 115191 | 0.5088 | 0.6993 | 0.5088 | 0.2089 | 0.457 | 0 | 1 | 1 | 1 | 2.399 | 0.0009891 | 0.0009494 | 0.02282 | 0.02049 | 1 | -0.00001354 | 0.0001081 | 0.005457 | 0.001417 | 0.03765 | 1.65 | 0.1169 | 0.009281 | 0.0005175 | 1 | 1 | 0.004053 | 0.0522 | 0.1736 | 0.0194 | 0.2499 | 0.8312 | json |
| t19_x20_u6_b86 | 19 | 20 | 6 | 86 | ![]() |
eql(R,dot(nrm(P),R)) | 154399 | 155100731 | o2(x,o2(o1(x),x)) | true | 115199 | 115199 | 0.0293 | 0.06207 | 0.0293 | 0.02176 | 0.1475 | 0 | 0.9997 | 0.9997 | 1 | 0.4503 | 0.00001756 | 0.0003257 | 0.00389 | -0.8977 | 1 | -1.126e-11 | 0.00001626 | 0.0009129 | 0.0003282 | 0.01812 | 4.657 | 0.1169 | 0.01577 | 0.000747 | 1 | 1 | 0.0008917 | 0.01161 | 0.03457 | 0.04097 | 0.5334 | 1.588 | json |



































































































