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_x6_u3_b108 | 19 | 6 | 3 | 108 | ![]() |
dot(P,dot(flr(R),P)) | 142200 | 154534536 | o2(x,o2(o1(x),x)) | true | 17607 | 17607 | -0.6484 | 0.1254 | 0.8504 | 0.4052 | 0.6366 | -1 | 1 | 2 | 1 | 2.004 | 0.0171 | 0.02699 | 0.06126 | -0.2243 | 1 | 0.0003281 | 0.06432 | 0.06551 | 0.04033 | 0.2008 | 3.278 | 2.59 | 0.1088 | 0.1587 | 1 | 1 | 0.04778 | 0.2839 | 0.6578 | 0.1179 | 0.7006 | 1.623 | json |
| t19_x6_u3_b109 | 19 | 6 | 3 | 109 | ![]() |
dot(P,dst(flr(R),P)) | 142201 | 154534537 | o2(x,o2(o1(x),x)) | true | 17615 | 17615 | 0.004889 | 0.5022 | 0.977 | 0.9725 | 0.9862 | -1 | 1 | 2 | 1 | 1.36 | 0.003142 | 0.003157 | 0.01221 | -0.002354 | 1 | -1.193e-7 | 0.006413 | 0.009174 | 0.006153 | 0.07844 | 6.427 | 1.56 | 0.006477 | 0.006594 | 1 | 1 | 0.01198 | 0.09547 | 0.5303 | 0.01231 | 0.09817 | 0.5453 | json |
| t19_x6_u3_b110 | 19 | 6 | 3 | 110 | ![]() |
dst(P,add(flr(R),P)) | 142202 | 154534538 | o2(x,o2(o1(x),x)) | true | 17623 | 17623 | 0.9191 | 1 | 0.9191 | 0.0494 | 0.2223 | 0.000291 | 1 | 0.9997 | 1 | 1.186 | 0.0009654 | 0.001125 | 0.01789 | -0.0763 | 1 | -0.000009421 | 0.000363 | 0.006146 | 0.00177 | 0.04208 | 2.351 | 0.2025 | 0.04231 | 0.007347 | 1 | 1 | 0.004557 | 0.05131 | 0.1057 | 0.09224 | 1.039 | 2.14 | json |
| t19_x6_u3_b111 | 19 | 6 | 3 | 111 | ![]() |
dst(P,sub(flr(R),P)) | 142203 | 154534539 | o2(x,o2(o1(x),x)) | true | 17631 | 17631 | 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_x6_u3_b112 | 19 | 6 | 3 | 112 | ![]() |
dst(P,mlt(flr(R),P)) | 142204 | 154534540 | o2(x,o2(o1(x),x)) | true | 17639 | 17639 | 0.9979 | 1 | 0.9979 | 0.001445 | 0.03801 | 0.000873 | 1 | 0.9991 | 1 | 0.05413 | 0.00005965 | 0.00003904 | 0.000644 | 0.2088 | 0 | -4.881e-11 | 0.00002927 | 0.0003227 | 0.00009831 | 0.009915 | 15.4 | 0.2269 | 0.0683 | 0.02026 | 1 | 1 | 0.0003269 | 0.003137 | 0.005257 | 0.2263 | 2.171 | 3.638 | json |
| t19_x6_u3_b113 | 19 | 6 | 3 | 113 | ![]() |
dst(P,div(flr(R),P)) | 142205 | 154534541 | o2(x,o2(o1(x),x)) | true | 17647 | 17647 | -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_x6_u3_b114 | 19 | 6 | 3 | 114 | ![]() |
dst(P,pow(flr(R),P)) | 142206 | 154534542 | o2(x,o2(o1(x),x)) | true | 17655 | 17655 | -0.9844 | 0.007813 | 1 | 0.03101 | 0.1761 | -1 | 1 | 2 | 1 | 0.06591 | 0.004031 | 0.002016 | 0.003005 | 0.3333 | 1 | 0 | 0.0126 | 0.006047 | 0.006035 | 0.07769 | 25.85 | 2.828 | 0.195 | 0.4063 | 1 | 1 | 0.01064 | 0.04255 | 0.1135 | 0.3431 | 1.372 | 3.659 | json |
| t19_x6_u3_b115 | 19 | 6 | 3 | 115 | ![]() |
dst(P,mod(flr(R),P)) | 142207 | 154534543 | o2(x,o2(o1(x),x)) | true | 17663 | 17663 | 0.5313 | 0.7656 | 1 | 0.7172 | 0.8469 | -1 | 1 | 2 | 1 | 0.7856 | 0.02771 | 0.02771 | 0.0277 | 0 | 1 | 0 | 0.1114 | 0.05543 | 0.05465 | 0.2338 | 8.44 | 2.828 | 0.07728 | 0.1553 | 1 | 1 | 0.07003 | 0.2801 | 1.12 | 0.09763 | 0.3905 | 1.562 | json |
| t19_x6_u3_b116 | 19 | 6 | 3 | 116 | ![]() |
dst(P,lrg(flr(R),P)) | 142208 | 154534544 | o2(x,o2(o1(x),x)) | true | 17671 | 17671 | 0.9966 | 1 | 0.9966 | 0.002221 | 0.04712 | 0.000582 | 1 | 0.9994 | 1 | 0.08569 | 0.00004317 | 0.00004317 | 0.0007985 | 5.478e-7 | 0 | -4.13e-11 | 0.00001731 | 0.0002662 | 0.00008563 | 0.009254 | 11.59 | 0.2011 | 0.03888 | 0.007796 | 1 | 1 | 0.0002945 | 0.003447 | 0.008098 | 0.1326 | 1.552 | 3.647 | json |
| t19_x6_u3_b117 | 19 | 6 | 3 | 117 | ![]() |
dst(P,eql(flr(R),P)) | 142209 | 154534545 | o2(x,o2(o1(x),x)) | true | 17679 | 17679 | 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_x6_u3_b118 | 19 | 6 | 3 | 118 | ![]() |
dst(P,min(flr(R),P)) | 142210 | 154534546 | o2(x,o2(o1(x),x)) | true | 17687 | 17687 | 0.8797 | 0.9933 | 0.8797 | 0.0787 | 0.2805 | 0 | 1 | 1 | 1 | 1.416 | 0.0006127 | 0.0007587 | 0.01503 | -0.1064 | 1 | 0.000006408 | 0.0001258 | 0.003945 | 0.001147 | 0.03386 | 2.253 | 0.2532 | 0.01743 | 0.001598 | 1 | 1 | 0.003174 | 0.03895 | 0.08164 | 0.04033 | 0.4949 | 1.037 | json |
| t19_x6_u3_b119 | 19 | 6 | 3 | 119 | ![]() |
dst(P,dot(flr(R),P)) | 142211 | 154534547 | o2(x,o2(o1(x),x)) | true | 17695 | 17695 | 0.9981 | 1 | 0.9981 | 0.001284 | 0.03584 | 0.001004 | 1 | 0.999 | 1 | 0.04833 | 0.00006408 | 0.0000384 | 0.0006107 | 0.2507 | 1 | 3.379e-11 | 0.00003519 | 0.0003311 | 0.0001022 | 0.01011 | 16.55 | 0.253 | 0.0798 | 0.0274 | 1 | 1 | 0.0003356 | 0.003012 | 0.004682 | 0.2613 | 2.345 | 3.646 | json |
| t19_x6_u3_b120 | 19 | 6 | 3 | 120 | ![]() |
dst(P,dst(flr(R),P)) | 142212 | 154534548 | o2(x,o2(o1(x),x)) | true | 17703 | 17703 | 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_x6_u4_b0 | 19 | 6 | 4 | 0 | ![]() |
add(P,add(cil(R),P)) | 142213 | 154534629 | o2(x,o2(o1(x),x)) | true | 17711 | 17711 | 0.02917 | 0.5147 | 0.9669 | 0.9574 | 0.9784 | -1 | 1 | 2 | 1 | 1.513 | 0.001477 | 0.0001102 | 0.008546 | 0.8611 | 1 | -0.000006592 | 0.0003494 | 0.003141 | 0.001515 | 0.03892 | 4.555 | 0.3506 | 0.001658 | 0.000365 | 1 | 1 | 0.004081 | 0.04468 | 0.2971 | 0.004263 | 0.04667 | 0.3103 | json |
| t19_x6_u4_b1 | 19 | 6 | 4 | 1 | ![]() |
add(P,sub(cil(R),P)) | 142214 | 154534630 | o2(x,o2(o1(x),x)) | true | 17719 | 17719 | 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_x6_u4_b2 | 19 | 6 | 4 | 2 | ![]() |
add(P,mlt(cil(R),P)) | 142215 | 154534631 | o2(x,o2(o1(x),x)) | true | 17727 | 17727 | 0.0007121 | 0.5 | 0.95 | 0.9404 | 0.9697 | -1 | 1 | 2 | 1 | 1.64 | 0.001093 | 0.00002666 | 0.008061 | 0.9524 | 1 | 1.126e-10 | 0.0002129 | 0.002962 | 0.001055 | 0.03247 | 4.029 | 0.2265 | 0.00119 | 0.0002264 | 1 | 1 | 0.002775 | 0.03024 | 0.257 | 0.002951 | 0.03215 | 0.2733 | json |
| t19_x6_u4_b3 | 19 | 6 | 4 | 3 | ![]() |
add(P,div(cil(R),P)) | 142216 | 154534632 | o2(x,o2(o1(x),x)) | true | 17735 | 17735 | -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_x6_u4_b4 | 19 | 6 | 4 | 4 | ![]() |
add(P,pow(cil(R),P)) | 142217 | 154534633 | o2(x,o2(o1(x),x)) | true | 17743 | 17743 | 0.08008 | 0.543 | 0.9863 | 0.9775 | 0.9887 | -1 | 1 | 2 | 1 | 1.22 | 0.02283 | 0.01565 | 0.02168 | 0.1865 | 1 | -1.765e-10 | 0.08059 | 0.04069 | 0.03803 | 0.195 | 8.996 | 2.828 | 0.03937 | 0.08244 | 1 | 1 | 0.04171 | 0.1738 | 0.5338 | 0.04267 | 0.1778 | 0.5461 | json |
| t19_x6_u4_b5 | 19 | 6 | 4 | 5 | ![]() |
add(P,mod(cil(R),P)) | 142218 | 154534634 | o2(x,o2(o1(x),x)) | true | 17751 | 17751 | -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_x6_u4_b6 | 19 | 6 | 4 | 6 | ![]() |
add(P,lrg(cil(R),P)) | 142219 | 154534635 | o2(x,o2(o1(x),x)) | true | 17759 | 17759 | 0.08984 | 0.5378 | 0.9023 | 0.8786 | 0.9373 | -1 | 1 | 2 | 1 | 2.016 | 0.0006768 | 0.0001053 | 0.00895 | 0.7306 | 1 | -0.000005704 | 0.00003874 | 0.002113 | 0.000702 | 0.0265 | 2.96 | 0.1169 | 0.0008902 | 0.00004409 | 1 | 1 | 0.002072 | 0.02727 | 0.2084 | 0.002358 | 0.03104 | 0.2372 | json |
| t19_x6_u4_b7 | 19 | 6 | 4 | 7 | ![]() |
add(P,eql(cil(R),P)) | 142220 | 154534636 | o2(x,o2(o1(x),x)) | true | 17767 | 17767 | 0.03803 | 0.5198 | 0.964 | 0.9524 | 0.9759 | -1 | 1 | 2 | 1 | 1.587 | 0.001148 | 0.0001074 | 0.008691 | 0.8289 | 1 | 0.000004817 | 0.0001019 | 0.002246 | 0.00118 | 0.03436 | 3.953 | 0.2338 | 0.001318 | 0.000107 | 1 | 1 | 0.003249 | 0.04143 | 0.2887 | 0.003412 | 0.04349 | 0.3031 | json |
| t19_x6_u4_b8 | 19 | 6 | 4 | 8 | ![]() |
add(P,min(cil(R),P)) | 142221 | 154534637 | o2(x,o2(o1(x),x)) | true | 17775 | 17775 | -0.003127 | 0.5 | 0.9538 | 0.9453 | 0.9723 | -1 | 1 | 2 | 1 | 1.558 | 0.001209 | 0.00001482 | 0.008018 | 0.9758 | 1 | -0.000004284 | 0.0002464 | 0.003305 | 0.001159 | 0.03405 | 4.247 | 0.2265 | 0.001295 | 0.0002606 | 1 | 1 | 0.003054 | 0.03164 | 0.263 | 0.003231 | 0.03347 | 0.2783 | json |
| t19_x6_u4_b9 | 19 | 6 | 4 | 9 | ![]() |
add(P,dot(cil(R),P)) | 142222 | 154534638 | o2(x,o2(o1(x),x)) | true | 17783 | 17783 | 0.005308 | 0.5033 | 0.9618 | 0.9504 | 0.9749 | -1 | 1 | 2 | 1 | 1.625 | 0.005335 | 0.006697 | 0.02601 | -0.1132 | 1 | -0.000009027 | 0.006844 | 0.01708 | 0.01135 | 0.1065 | 4.096 | 1.389 | 0.01266 | 0.007202 | 1 | 1 | 0.01778 | 0.1484 | 0.433 | 0.01871 | 0.1561 | 0.4556 | json |
| t19_x6_u4_b10 | 19 | 6 | 4 | 10 | ![]() |
add(P,dst(cil(R),P)) | 142223 | 154534639 | o2(x,o2(o1(x),x)) | true | 17791 | 17791 | 0.9589 | 1 | 0.9589 | 0.02234 | 0.1495 | 0.00011 | 1 | 0.9999 | 1 | 0.76 | 0.000288 | 0.0003673 | 0.006855 | -0.121 | 1 | -0.00001023 | 0.0001471 | 0.00264 | 0.0006079 | 0.02466 | 3.597 | 0.2265 | 0.02933 | 0.006584 | 1 | 1 | 0.00154 | 0.01587 | 0.03597 | 0.06892 | 0.7105 | 1.61 | json |
| t19_x6_u4_b11 | 19 | 6 | 4 | 11 | ![]() |
sub(P,add(cil(R),P)) | 142224 | 154534640 | o2(x,o2(o1(x),x)) | true | 17799 | 17799 | -0.4824 | 0 | 0.4824 | 0.1537 | 0.3921 | -1 | 0 | 1 | 1 | 3.644 | 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_x6_u4_b12 | 19 | 6 | 4 | 12 | ![]() |
sub(P,sub(cil(R),P)) | 142225 | 154534641 | o2(x,o2(o1(x),x)) | true | 17807 | 17807 | -0.0294 | 0.4854 | 0.9661 | 0.9563 | 0.9779 | -1 | 1 | 2 | 1 | 1.526 | 0.001447 | 0.000117 | 0.008557 | 0.8504 | 1 | 0.000006592 | 0.0003249 | 0.003031 | 0.001491 | 0.03862 | 4.513 | 0.3506 | 0.001635 | 0.0003397 | 1 | 1 | 0.004086 | 0.04497 | 0.2958 | 0.004273 | 0.04703 | 0.3093 | json |
| t19_x6_u4_b13 | 19 | 6 | 4 | 13 | ![]() |
sub(P,mlt(cil(R),P)) | 142226 | 154534642 | o2(x,o2(o1(x),x)) | true | 17815 | 17815 | 0.03133 | 0.4718 | 0.6628 | 0.6203 | 0.7876 | -1 | 1 | 2 | 1 | 3.229 | 0.004632 | 0.005873 | 0.04815 | -0.1181 | 1 | 0.00003416 | 0.005311 | 0.02944 | 0.008187 | 0.09048 | 1.879 | 0.4702 | 0.01694 | 0.008563 | 1 | 1 | 0.01641 | 0.1371 | 0.3554 | 0.02645 | 0.221 | 0.573 | json |
| t19_x6_u4_b14 | 19 | 6 | 4 | 14 | ![]() |
sub(P,div(cil(R),P)) | 142227 | 154534643 | o2(x,o2(o1(x),x)) | true | 17823 | 17823 | -0.1261 | 0.4375 | 0.9738 | 0.9521 | 0.9757 | -1 | 1 | 2 | 1 | 1.409 | 0.01077 | 0.0001389 | 0.01332 | 0.9745 | 1 | 1.699e-9 | 0.02039 | 0.01765 | 0.01074 | 0.1036 | 7.78 | 2 | 0.01146 | 0.02141 | 1 | 1 | 0.01609 | 0.07971 | 0.3398 | 0.0169 | 0.08372 | 0.357 | json |
| t19_x6_u4_b15 | 19 | 6 | 4 | 15 | ![]() |
sub(P,pow(cil(R),P)) | 142228 | 154534644 | o2(x,o2(o1(x),x)) | true | 17831 | 17831 | -0.09713 | 0.4529 | 0.957 | 0.9359 | 0.9674 | -1 | 1 | 2 | 1 | 1.665 | 0.001034 | 0.0001765 | 0.009142 | 0.7083 | 1 | 0.00000927 | 0.0001278 | 0.00248 | 0.001127 | 0.03357 | 3.672 | 0.2338 | 0.001293 | 0.0001365 | 1 | 1 | 0.003253 | 0.04037 | 0.2757 | 0.003476 | 0.04314 | 0.2946 | json |
| t19_x6_u4_b16 | 19 | 6 | 4 | 16 | ![]() |
sub(P,mod(cil(R),P)) | 142229 | 154534645 | o2(x,o2(o1(x),x)) | true | 17839 | 17839 | -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_x6_u4_b17 | 19 | 6 | 4 | 17 | ![]() |
sub(P,lrg(cil(R),P)) | 142230 | 154534646 | o2(x,o2(o1(x),x)) | true | 17847 | 17847 | -0.03313 | 0.4839 | 0.9615 | 0.9497 | 0.9745 | -1 | 1 | 2 | 1 | 1.593 | 0.001152 | 0.00009554 | 0.008539 | 0.8468 | 1 | 0.000005261 | 0.0001293 | 0.002497 | 0.001175 | 0.03428 | 4.014 | 0.2338 | 0.001314 | 0.0001361 | 1 | 1 | 0.003262 | 0.04004 | 0.2874 | 0.003434 | 0.04216 | 0.3026 | json |
| t19_x6_u4_b18 | 19 | 6 | 4 | 18 | ![]() |
sub(P,eql(cil(R),P)) | 142231 | 154534647 | o2(x,o2(o1(x),x)) | true | 17855 | 17855 | -0.06762 | 0.4632 | 0.9357 | 0.9176 | 0.9579 | -1 | 1 | 2 | 1 | 1.844 | 0.0009291 | 0.0002597 | 0.009955 | 0.5632 | 1 | 0.000001419 | 0.0001474 | 0.002952 | 0.00109 | 0.03301 | 3.316 | 0.2338 | 0.001296 | 0.0001607 | 1 | 1 | 0.003079 | 0.03727 | 0.2594 | 0.003356 | 0.04062 | 0.2827 | json |
| t19_x6_u4_b19 | 19 | 6 | 4 | 19 | ![]() |
sub(P,min(cil(R),P)) | 142232 | 154534648 | o2(x,o2(o1(x),x)) | true | 17863 | 17863 | 0.4341 | 0.4783 | 0.4341 | 0.2375 | 0.4873 | 0 | 1 | 1 | 1 | 1.377 | 0.0004231 | 0.0001765 | 0.005459 | 0.4112 | 1 | 0.00000927 | 0.00009993 | 0.001736 | 0.0005702 | 0.02388 | 4.374 | 0.2265 | 0.002525 | 0.0004208 | 1 | 1 | 0.001548 | 0.01777 | 0.08227 | 0.006519 | 0.07484 | 0.3464 | json |
| t19_x6_u4_b20 | 19 | 6 | 4 | 20 | ![]() |
sub(P,dot(cil(R),P)) | 142233 | 154534649 | o2(x,o2(o1(x),x)) | true | 17871 | 17871 | 0.04812 | 0.5271 | 0.8509 | 0.8135 | 0.902 | -1 | 1 | 2 | 1 | 2.668 | 0.01214 | 0.01556 | 0.06373 | -0.1232 | 1 | 0.00002067 | 0.01947 | 0.04501 | 0.02364 | 0.1538 | 2.412 | 1.637 | 0.03405 | 0.02394 | 1 | 1 | 0.03741 | 0.2978 | 0.7026 | 0.04599 | 0.3661 | 0.8637 | json |
| t19_x6_u4_b21 | 19 | 6 | 4 | 21 | ![]() |
sub(P,dst(cil(R),P)) | 142234 | 154534650 | o2(x,o2(o1(x),x)) | true | 17879 | 17879 | -0.8091 | 0.0938 | 0.8925 | 0.2075 | 0.4555 | -1 | 0.9996 | 2 | 1 | 1.611 | 0.0005398 | 0.000784 | 0.01308 | -0.1845 | 1 | 0.00000395 | 0.0001605 | 0.003648 | 0.001152 | 0.03394 | 2.596 | 0.2998 | 0.006379 | 0.0007736 | 1 | 1 | 0.003238 | 0.03949 | 0.1812 | 0.0156 | 0.1903 | 0.8732 | json |
| t19_x6_u4_b22 | 19 | 6 | 4 | 22 | ![]() |
mlt(P,add(cil(R),P)) | 142235 | 154534651 | o2(x,o2(o1(x),x)) | true | 17887 | 17887 | 0.9164 | 0.9788 | 0.9164 | 0.06533 | 0.2556 | 0 | 1 | 1 | 1 | 0.8472 | 0.001114 | 0.0001422 | 0.009029 | 0.7737 | 1 | 0.000002614 | 0.0003035 | 0.003579 | 0.001175 | 0.03428 | 3.796 | 0.3455 | 0.01923 | 0.004645 | 1 | 1 | 0.003036 | 0.03175 | 0.1133 | 0.04646 | 0.4859 | 1.735 | json |
| t19_x6_u4_b23 | 19 | 6 | 4 | 23 | ![]() |
mlt(P,sub(cil(R),P)) | 142236 | 154534652 | o2(x,o2(o1(x),x)) | true | 17895 | 17895 | -0.9131 | 0 | 0.9131 | 0.06765 | 0.2601 | -1 | 0 | 1 | 1 | 0.9224 | 0.001132 | 0.0001664 | 0.009211 | 0.7438 | 1 | -0.000002621 | 0.0003346 | 0.00375 | 0.001213 | 0.03483 | 3.782 | 0.3455 | 0.0192 | 0.004946 | 1 | 1 | 0.003186 | 0.03273 | 0.1068 | 0.04709 | 0.4837 | 1.579 | json |
| t19_x6_u4_b24 | 19 | 6 | 4 | 24 | ![]() |
mlt(P,mlt(cil(R),P)) | 142237 | 154534653 | o2(x,o2(o1(x),x)) | true | 17903 | 17903 | 0.7012 | 0.9101 | 0.7012 | 0.1763 | 0.4199 | 0 | 1 | 1 | 1 | 2.007 | 0.006948 | 0.009063 | 0.04831 | -0.1321 | 1 | -0.0008692 | 0.01515 | 0.04204 | 0.01367 | 0.1169 | 2.42 | 0.8018 | 0.09079 | 0.08591 | 1 | 1 | 0.02423 | 0.145 | 0.2871 | 0.1374 | 0.8224 | 1.628 | json |
| t19_x6_u4_b25 | 19 | 6 | 4 | 25 | ![]() |
mlt(P,div(cil(R),P)) | 142238 | 154534654 | o2(x,o2(o1(x),x)) | true | 17911 | 17911 | 0.293 | 0.7953 | 0.543 | 0.3734 | 0.6111 | -1 | 1 | 2 | 1 | 3.539 | 0.02346 | 0.002174 | 0.05751 | 0.8304 | 1 | -6.992e-7 | 0.04394 | 0.0363 | 0.02233 | 0.1494 | 2.598 | 2 | 0.06865 | 0.1177 | 1 | 1 | 0.0347 | 0.1958 | 0.5929 | 0.09291 | 0.5244 | 1.588 | json |
| t19_x6_u4_b26 | 19 | 6 | 4 | 26 | ![]() |
mlt(P,pow(cil(R),P)) | 142239 | 154534655 | o2(x,o2(o1(x),x)) | true | 17919 | 17919 | -0.1825 | 0.4588 | 0.798 | 0.7374 | 0.8587 | -1 | 1 | 2 | 1 | 2.413 | 0.005332 | 0.003602 | 0.03158 | 0.1937 | 1 | -0.00019 | 0.009478 | 0.02267 | 0.007939 | 0.0891 | 2.822 | 1.414 | 0.01212 | 0.01285 | 1 | 1 | 0.0138 | 0.1064 | 0.3319 | 0.01871 | 0.1443 | 0.4501 | json |
| t19_x6_u4_b27 | 19 | 6 | 4 | 27 | ![]() |
mlt(P,mod(cil(R),P)) | 142240 | 154534656 | o2(x,o2(o1(x),x)) | true | 17927 | 17927 | -0.1449 | 0.386 | 0.6858 | 0.6333 | 0.7958 | -1 | 1 | 2 | 1 | 2.875 | 0.0124 | 0.00553 | 0.0507 | 0.3833 | 1 | -0.0001012 | 0.02109 | 0.04368 | 0.01536 | 0.1239 | 2.445 | 1.001 | 0.02832 | 0.03329 | 1 | 1 | 0.0266 | 0.1754 | 0.4809 | 0.04199 | 0.2769 | 0.7594 | json |
| t19_x6_u4_b28 | 19 | 6 | 4 | 28 | ![]() |
mlt(P,lrg(cil(R),P)) | 142241 | 154534657 | o2(x,o2(o1(x),x)) | true | 17935 | 17935 | -0.4688 | 0 | 0.4688 | 0.2423 | 0.4922 | -1 | 0 | 1 | 1 | 1.406 | 0.0003529 | 0 | 0.003968 | 1 | 1 | 4.731e-10 | 0.00001619 | 0.0009276 | 0.0003372 | 0.01836 | 4.628 | 0.1169 | 0.001457 | 0.00006684 | 1 | 1 | 0.0009255 | 0.01214 | 0.0751 | 0.00382 | 0.05012 | 0.31 | json |
| t19_x6_u4_b29 | 19 | 6 | 4 | 29 | ![]() |
mlt(P,eql(cil(R),P)) | 142242 | 154534658 | o2(x,o2(o1(x),x)) | true | 17943 | 17943 | 0.03906 | 0.1129 | 0.03906 | 0.02579 | 0.1606 | 0 | 0.9997 | 0.9997 | 1 | 0.6726 | 0.0003997 | 0.0001755 | 0.006718 | 0.3898 | 1 | -0.00001141 | 0.00003128 | 0.001608 | 0.0005302 | 0.02303 | 3.427 | 0.1169 | 0.0223 | 0.001213 | 1 | 1 | 0.001425 | 0.01841 | 0.04273 | 0.05526 | 0.7139 | 1.657 | json |
| t19_x6_u4_b30 | 19 | 6 | 4 | 30 | ![]() |
mlt(P,min(cil(R),P)) | 142243 | 154534659 | o2(x,o2(o1(x),x)) | true | 17951 | 17951 | 0.7765 | 0.9588 | 0.7765 | 0.1416 | 0.3762 | 0 | 1 | 1 | 1 | 1.833 | 0.002864 | 0.003009 | 0.03089 | -0.02476 | 1 | -0.00019 | 0.002701 | 0.01641 | 0.004921 | 0.07015 | 2.271 | 0.4702 | 0.04149 | 0.01908 | 1 | 1 | 0.01013 | 0.09478 | 0.2036 | 0.07153 | 0.6696 | 1.438 | json |
| t19_x6_u4_b31 | 19 | 6 | 4 | 31 | ![]() |
mlt(P,dot(cil(R),P)) | 142244 | 154534660 | o2(x,o2(o1(x),x)) | true | 17959 | 17959 | 0.4616 | 0.752 | 0.8646 | 0.629 | 0.7931 | -1 | 1 | 2 | 1 | 2.115 | 0.0219 | 0.02854 | 0.06224 | -0.1316 | 1 | -0.0000673 | 0.08441 | 0.0714 | 0.04658 | 0.2158 | 3.468 | 2.828 | 0.0802 | 0.1342 | 1 | 1 | 0.05459 | 0.3092 | 0.7697 | 0.0868 | 0.4916 | 1.224 | json |
| t19_x6_u4_b32 | 19 | 6 | 4 | 32 | ![]() |
mlt(P,dst(cil(R),P)) | 142245 | 154534661 | o2(x,o2(o1(x),x)) | true | 17967 | 17967 | -0.002703 | 0.5 | 0.9654 | 0.9594 | 0.9795 | -1 | 1 | 2 | 1 | 1.439 | 0.001868 | 0.000007013 | 0.007963 | 0.9925 | 1 | 2.029e-7 | 0.0009042 | 0.005071 | 0.001811 | 0.04256 | 5.344 | 0.4729 | 0.001955 | 0.0009425 | 1 | 1 | 0.004016 | 0.036 | 0.2788 | 0.004185 | 0.03752 | 0.2906 | json |
| t19_x6_u4_b33 | 19 | 6 | 4 | 33 | ![]() |
div(P,add(cil(R),P)) | 142246 | 154534662 | o2(x,o2(o1(x),x)) | true | 17975 | 17975 | 0.6257 | 0.8398 | 0.946 | 0.518 | 0.7197 | -1 | 1 | 2 | 1 | 2.001 | 0.02548 | 0.007123 | 0.0242 | 0.563 | 1 | 0.000006852 | 0.06662 | 0.03748 | 0.03203 | 0.179 | 7.394 | 2.828 | 0.06293 | 0.1286 | 1 | 1 | 0.04433 | 0.1839 | 0.7228 | 0.08558 | 0.3549 | 1.395 | json |
| t19_x6_u4_b34 | 19 | 6 | 4 | 34 | ![]() |
div(P,sub(cil(R),P)) | 142247 | 154534663 | o2(x,o2(o1(x),x)) | true | 17983 | 17983 | -0.9276 | 0.007813 | 0.9433 | 0.044 | 0.2098 | -1 | 1 | 2 | 1 | 1.569 | 0.003493 | 0.004846 | 0.01123 | -0.1622 | 1 | 7.683e-7 | 0.01722 | 0.01277 | 0.008211 | 0.09062 | 8.071 | 2.828 | 0.1895 | 0.3914 | 1 | 1 | 0.01293 | 0.05799 | 0.1394 | 0.2939 | 1.318 | 3.168 | json |
| t19_x6_u4_b35 | 19 | 6 | 4 | 35 | ![]() |
div(P,mlt(cil(R),P)) | 142248 | 154534664 | o2(x,o2(o1(x),x)) | true | 17991 | 17991 | -0.9297 | 0.03516 | 1 | 0.1356 | 0.3683 | -1 | 1 | 2 | 1 | 0.2196 | 0.01487 | 0.01235 | 0.01351 | 0.09259 | 1 | 4.092e-10 | 0.05694 | 0.02721 | 0.027 | 0.1643 | 12.16 | 2.828 | 0.2006 | 0.4198 | 1 | 1 | 0.02366 | 0.09712 | 0.2474 | 0.1744 | 0.716 | 1.824 | json |
| t19_x6_u4_b36 | 19 | 6 | 4 | 36 | ![]() |
div(P,div(cil(R),P)) | 142249 | 154534665 | o2(x,o2(o1(x),x)) | true | 17999 | 17999 | -0.918 | 0.04297 | 0.9961 | 0.1527 | 0.3907 | -1 | 1 | 2 | 1 | 0.3029 | 0.01693 | 0.01476 | 0.01649 | 0.06846 | 1 | -1.164e-10 | 0.06632 | 0.03235 | 0.03139 | 0.1772 | 10.75 | 2.828 | 0.2075 | 0.4345 | 1 | 1 | 0.02472 | 0.1045 | 0.2643 | 0.1619 | 0.6848 | 1.732 | json |
| t19_x6_u4_b37 | 19 | 6 | 4 | 37 | ![]() |
div(P,pow(cil(R),P)) | 142250 | 154534666 | o2(x,o2(o1(x),x)) | true | 18007 | 18007 | -0.6922 | 0.07031 | 0.8133 | 0.3116 | 0.5582 | -1 | 1 | 2 | 1 | 1.948 | 0.02497 | 0.02482 | 0.04822 | 0.003048 | 1 | 0.00008885 | 0.09715 | 0.0625 | 0.04749 | 0.2179 | 4.52 | 2.828 | 0.1598 | 0.3118 | 1 | 1 | 0.05636 | 0.2671 | 0.5782 | 0.1809 | 0.8572 | 1.856 | json |
| t19_x6_u4_b38 | 19 | 6 | 4 | 38 | ![]() |
div(P,mod(cil(R),P)) | 142251 | 154534667 | o2(x,o2(o1(x),x)) | true | 18015 | 18015 | -0.9531 | 0.02344 | 1 | 0.09148 | 0.3025 | -1 | 1 | 2 | 1 | 0.1603 | 0.01008 | 0.009826 | 0.009878 | 0.01266 | 1 | 0 | 0.04208 | 0.0199 | 0.01982 | 0.1408 | 14.25 | 2.828 | 0.2176 | 0.46 | 1 | 1 | 0.0159 | 0.06875 | 0.1675 | 0.1738 | 0.7516 | 1.831 | json |
| t19_x6_u4_b39 | 19 | 6 | 4 | 39 | ![]() |
div(P,lrg(cil(R),P)) | 142252 | 154534668 | o2(x,o2(o1(x),x)) | true | 18023 | 18023 | -0.9922 | 0 | 0.9922 | 0.00606 | 0.07785 | -1 | -0.000291 | 0.9997 | 1 | 0.1405 | 0.001097 | 0.0005923 | 0.002705 | 0.2987 | 1 | -1.877e-11 | 0.003423 | 0.003743 | 0.001682 | 0.04101 | 15.16 | 1.414 | 0.2787 | 0.5647 | 1 | 1 | 0.002389 | 0.01006 | 0.01771 | 0.3943 | 1.66 | 2.922 | json |
| t19_x6_u4_b40 | 19 | 6 | 4 | 40 | ![]() |
div(P,eql(cil(R),P)) | 142253 | 154534669 | o2(x,o2(o1(x),x)) | true | 18031 | 18031 | -0.9688 | 0.01953 | 0.9922 | 0.05202 | 0.2281 | -1 | 1 | 2 | 1 | 0.1994 | 0.007144 | 0.002914 | 0.006736 | 0.4205 | 1 | -5.632e-11 | 0.02072 | 0.01177 | 0.01001 | 0.1001 | 14.85 | 2.828 | 0.1934 | 0.3983 | 1 | 1 | 0.01409 | 0.05687 | 0.1247 | 0.2708 | 1.093 | 2.397 | json |
| t19_x6_u4_b41 | 19 | 6 | 4 | 41 | ![]() |
div(P,min(cil(R),P)) | 142254 | 154534670 | o2(x,o2(o1(x),x)) | true | 18039 | 18039 | -0.1172 | 0.4414 | 1 | 0.9872 | 0.9936 | -1 | 1 | 2 | 1 | 0.9901 | 0.01688 | 0.001764 | 0.009322 | 0.8108 | 1 | 3.739e-9 | 0.03754 | 0.01864 | 0.01856 | 0.1362 | 14.61 | 2 | 0.01889 | 0.03803 | 1 | 1 | 0.02105 | 0.08421 | 0.3501 | 0.02133 | 0.08531 | 0.3547 | json |
| t19_x6_u4_b42 | 19 | 6 | 4 | 42 | ![]() |
div(P,dot(cil(R),P)) | 142255 | 154534671 | o2(x,o2(o1(x),x)) | true | 18047 | 18047 | -0.6547 | 0.1949 | 0.9288 | 0.4784 | 0.6917 | -1 | 1 | 2 | 1 | 1.532 | 0.04027 | 0.04454 | 0.0581 | -0.05042 | 1 | 0.000003034 | 0.1728 | 0.09673 | 0.08146 | 0.2854 | 4.912 | 2.828 | 0.1773 | 0.3611 | 1 | 1 | 0.0955 | 0.4092 | 1.096 | 0.1996 | 0.8553 | 2.29 | json |
| t19_x6_u4_b43 | 19 | 6 | 4 | 43 | ![]() |
div(P,dst(cil(R),P)) | 142256 | 154534672 | o2(x,o2(o1(x),x)) | true | 18055 | 18055 | 0.02198 | 0.4898 | 0.635 | 0.4827 | 0.6947 | -1 | 1 | 2 | 1 | 4.75 | 0.002168 | 0.001447 | 0.01211 | 0.1997 | 1 | -0.000002372 | 0.007068 | 0.006956 | 0.003468 | 0.05889 | 4.862 | 2.828 | 0.007489 | 0.01464 | 1 | 1 | 0.006606 | 0.03163 | 0.1609 | 0.01369 | 0.06554 | 0.3334 | json |
| t19_x6_u4_b44 | 19 | 6 | 4 | 44 | ![]() |
pow(P,add(cil(R),P)) | 142257 | 154534673 | o2(x,o2(o1(x),x)) | true | 18063 | 18063 | 0.02148 | 0.5195 | 0.9824 | 0.9765 | 0.9882 | -1 | 1 | 2 | 1 | 1.304 | 0.01217 | 0.004496 | 0.01206 | 0.4603 | 1 | 0.000002852 | 0.03398 | 0.01905 | 0.01651 | 0.1285 | 10.65 | 2.828 | 0.01707 | 0.0348 | 1 | 1 | 0.02187 | 0.09719 | 0.4257 | 0.0224 | 0.09953 | 0.436 | json |
| t19_x6_u4_b45 | 19 | 6 | 4 | 45 | ![]() |
pow(P,sub(cil(R),P)) | 142258 | 154534674 | o2(x,o2(o1(x),x)) | true | 18071 | 18071 | -0.3932 | 0.3682 | 0.6068 | 0.4268 | 0.6533 | -1 | 1 | 2 | 1 | 2.125 | 0.01075 | 0.00006545 | 0.01275 | 0.9879 | 1 | 0.000001352 | 0.02085 | 0.0138 | 0.01065 | 0.1032 | 8.095 | 2 | 0.02534 | 0.04885 | 1 | 1 | 0.01467 | 0.07155 | 0.3075 | 0.03436 | 0.1676 | 0.7204 | json |
| t19_x6_u4_b46 | 19 | 6 | 4 | 46 | ![]() |
pow(P,mlt(cil(R),P)) | 142259 | 154534675 | o2(x,o2(o1(x),x)) | true | 18079 | 18079 | 0.09375 | 0.5469 | 1 | 0.9905 | 0.9952 | -1 | 1 | 2 | 1 | 0.9937 | 0.02368 | 0.01512 | 0.01929 | 0.2208 | 1 | 0 | 0.07987 | 0.0388 | 0.03844 | 0.1961 | 10.16 | 2.828 | 0.03917 | 0.08064 | 1 | 1 | 0.04277 | 0.1737 | 0.5709 | 0.04318 | 0.1754 | 0.5763 | json |
| t19_x6_u4_b47 | 19 | 6 | 4 | 47 | ![]() |
pow(P,div(cil(R),P)) | 142260 | 154534676 | o2(x,o2(o1(x),x)) | true | 18087 | 18087 | -0.03125 | 0.4883 | 0.9922 | 0.9888 | 0.9944 | -1 | 1 | 2 | 1 | 1.127 | 0.0268 | 0.0147 | 0.02246 | 0.2915 | 1 | -2.365e-10 | 0.08604 | 0.04354 | 0.04098 | 0.2024 | 9.012 | 2.828 | 0.04197 | 0.08701 | 1 | 1 | 0.0495 | 0.2043 | 0.6723 | 0.05006 | 0.2066 | 0.68 | json |
| t19_x6_u4_b48 | 19 | 6 | 4 | 48 | ![]() |
pow(P,pow(cil(R),P)) | 142261 | 154534677 | o2(x,o2(o1(x),x)) | true | 18095 | 18095 | -0.03125 | 0.5 | 0.9688 | 0.9603 | 0.98 | -1 | 1 | 2 | 1 | 1.406 | 0.004323 | 0 | 0.007937 | 1 | 1 | -9.386e-13 | 0.007903 | 0.008812 | 0.004259 | 0.06526 | 8.223 | 1 | 0.004502 | 0.008229 | 1 | 1 | 0.006228 | 0.03975 | 0.2856 | 0.006485 | 0.04139 | 0.2974 | json |
| t19_x6_u4_b49 | 19 | 6 | 4 | 49 | ![]() |
pow(P,mod(cil(R),P)) | 142262 | 154534678 | o2(x,o2(o1(x),x)) | true | 18103 | 18103 | -0.01563 | 0.4922 | 1 | 0.9995 | 0.9998 | -1 | 1 | 2 | 1 | 0.9998 | 0.03553 | 0.01209 | 0.02372 | 0.4921 | 1 | 0 | 0.09776 | 0.04762 | 0.04705 | 0.2169 | 9.145 | 2.828 | 0.04764 | 0.0978 | 1 | 1 | 0.05673 | 0.2296 | 0.7668 | 0.05676 | 0.2297 | 0.7671 | json |
| t19_x6_u4_b50 | 19 | 6 | 4 | 50 | ![]() |
pow(P,lrg(cil(R),P)) | 142263 | 154534679 | o2(x,o2(o1(x),x)) | true | 18111 | 18111 | -0.01367 | 0.5 | 0.9863 | 0.982 | 0.991 | -1 | 1 | 2 | 1 | 1.244 | 0.01056 | 0.00005267 | 0.008426 | 0.9901 | 1 | 0.000002852 | 0.02084 | 0.01284 | 0.01054 | 0.1027 | 12.18 | 2 | 0.01081 | 0.02122 | 1 | 1 | 0.01414 | 0.06463 | 0.3207 | 0.0144 | 0.06582 | 0.3266 | json |
| t19_x6_u4_b51 | 19 | 6 | 4 | 51 | ![]() |
pow(P,eql(cil(R),P)) | 142264 | 154534680 | o2(x,o2(o1(x),x)) | true | 18119 | 18119 | 0.9648 | 1 | 0.9648 | 0.02431 | 0.1559 | 0.000291 | 1 | 0.9997 | 1 | 0.5835 | 0.0003631 | 0.0001053 | 0.005422 | 0.5502 | 1 | -0.000005705 | 0.00002431 | 0.001291 | 0.0004388 | 0.02095 | 3.863 | 0.1169 | 0.01927 | 0.001 | 1 | 1 | 0.001224 | 0.01595 | 0.05043 | 0.05036 | 0.656 | 2.074 | json |
| t19_x6_u4_b52 | 19 | 6 | 4 | 52 | ![]() |
pow(P,min(cil(R),P)) | 142265 | 154534681 | o2(x,o2(o1(x),x)) | true | 18127 | 18127 | 0 | 0.5 | 1 | 1 | 1 | -1 | 1 | 2 | 1 | 1 | 0.01587 | 0 | 0.007937 | 1 | 1 | 0 | 0.03175 | 0.01587 | 0.01581 | 0.1257 | 15.84 | 2 | 0.01587 | 0.03175 | 1 | 1 | 0.02105 | 0.08421 | 0.3368 | 0.02105 | 0.08421 | 0.3368 | json |
| t19_x6_u4_b53 | 19 | 6 | 4 | 53 | ![]() |
pow(P,dot(cil(R),P)) | 142266 | 154534682 | o2(x,o2(o1(x),x)) | true | 18135 | 18135 | -0.09055 | 0.4766 | 0.9563 | 0.9351 | 0.967 | -1 | 1 | 2 | 1 | 1.61 | 0.01501 | 0.004159 | 0.018 | 0.5661 | 1 | -0.000003063 | 0.0376 | 0.02441 | 0.01884 | 0.1373 | 7.624 | 2.828 | 0.0205 | 0.04021 | 1 | 1 | 0.02605 | 0.1201 | 0.4167 | 0.02786 | 0.1285 | 0.4456 | json |
| t19_x6_u4_b54 | 19 | 6 | 4 | 54 | ![]() |
pow(P,dst(cil(R),P)) | 142267 | 154534683 | o2(x,o2(o1(x),x)) | true | 18143 | 18143 | -0.0293 | 0.5 | 0.9707 | 0.9626 | 0.9811 | -1 | 1 | 2 | 1 | 1.4 | 0.004997 | 0.00001756 | 0.0081 | 0.993 | 1 | -6.852e-11 | 0.009314 | 0.009298 | 0.004948 | 0.07034 | 8.684 | 2 | 0.00521 | 0.009676 | 1 | 1 | 0.007425 | 0.0438 | 0.2915 | 0.007714 | 0.0455 | 0.3028 | json |
| t19_x6_u4_b55 | 19 | 6 | 4 | 55 | ![]() |
mod(P,add(cil(R),P)) | 142268 | 154534684 | o2(x,o2(o1(x),x)) | true | 18151 | 18151 | -0.07716 | 0.4511 | 0.826 | 0.7862 | 0.8867 | -1 | 1 | 2 | 1 | 2.741 | 0.01744 | 0.00517 | 0.04314 | 0.5427 | 1 | -0.0001111 | 0.03749 | 0.04165 | 0.02074 | 0.144 | 3.338 | 2.828 | 0.02876 | 0.04769 | 1 | 1 | 0.03397 | 0.1838 | 0.4744 | 0.04321 | 0.2338 | 0.6034 | json |
| t19_x6_u4_b56 | 19 | 6 | 4 | 56 | ![]() |
mod(P,sub(cil(R),P)) | 142269 | 154534685 | o2(x,o2(o1(x),x)) | true | 18159 | 18159 | -0.2486 | 0.3737 | 0.8257 | 0.7325 | 0.8559 | -1 | 1 | 2 | 1 | 2.61 | 0.01025 | 0.003017 | 0.03731 | 0.545 | 1 | -0.00007394 | 0.01831 | 0.03176 | 0.01188 | 0.109 | 2.921 | 1.415 | 0.01811 | 0.02499 | 1 | 1 | 0.02208 | 0.1508 | 0.4794 | 0.03014 | 0.2059 | 0.6545 | json |
| t19_x6_u4_b57 | 19 | 6 | 4 | 57 | ![]() |
mod(P,mlt(cil(R),P)) | 142270 | 154534686 | o2(x,o2(o1(x),x)) | true | 18167 | 18167 | -0.9799 | 0.003906 | 0.9861 | 0.02495 | 0.158 | -1 | 1 | 2 | 1 | 0.1841 | 0.00348 | 0.002444 | 0.005767 | 0.1748 | 1 | 0.00003993 | 0.01186 | 0.009712 | 0.005889 | 0.07674 | 13.31 | 2.027 | 0.2374 | 0.4752 | 1 | 1 | 0.00432 | 0.01542 | 0.04639 | 0.1731 | 0.6179 | 1.859 | json |
| t19_x6_u4_b58 | 19 | 6 | 4 | 58 | ![]() |
mod(P,div(cil(R),P)) | 142271 | 154534687 | o2(x,o2(o1(x),x)) | true | 18175 | 18175 | -0.9648 | 0 | 0.9648 | 0.03391 | 0.1841 | -1 | 4.171e-7 | 1 | 1 | 0.2547 | 0.003716 | 0.003086 | 0.006757 | 0.09259 | 1 | 2.009e-10 | 0.01424 | 0.01361 | 0.00675 | 0.08216 | 12.16 | 1.414 | 0.2006 | 0.4198 | 1 | 1 | 0.005914 | 0.02428 | 0.06184 | 0.1744 | 0.716 | 1.824 | json |
| t19_x6_u4_b59 | 19 | 6 | 4 | 59 | ![]() |
mod(P,pow(cil(R),P)) | 142272 | 154534688 | o2(x,o2(o1(x),x)) | true | 18183 | 18183 | -0.9258 | 0 | 0.9258 | 0.06873 | 0.2622 | -1 | 0 | 1 | 1 | 0.3815 | 0.006236 | 0.00611 | 0.01227 | 0.0102 | 1 | 0 | 0.02576 | 0.02469 | 0.01219 | 0.1104 | 8.996 | 1.414 | 0.1796 | 0.3748 | 1 | 1 | 0.01168 | 0.04866 | 0.1611 | 0.1699 | 0.7079 | 2.344 | json |
| t19_x6_u4_b60 | 19 | 6 | 4 | 60 | ![]() |
mod(P,mod(cil(R),P)) | 142273 | 154534689 | o2(x,o2(o1(x),x)) | true | 18191 | 18191 | -0.9727 | 0 | 0.9727 | 0.02658 | 0.163 | -1 | 0 | 1 | 1 | 0.1809 | 0.002708 | 0.002583 | 0.005254 | 0.02381 | 1 | 0 | 0.01109 | 0.01058 | 0.005265 | 0.07256 | 13.81 | 1.414 | 0.199 | 0.417 | 1 | 1 | 0.003255 | 0.01364 | 0.03348 | 0.1224 | 0.5132 | 1.259 | json |
| t19_x6_u4_b61 | 19 | 6 | 4 | 61 | ![]() |
mod(P,lrg(cil(R),P)) | 142274 | 154534690 | o2(x,o2(o1(x),x)) | true | 18199 | 18199 | -0.5469 | 0 | 0.5469 | 0.2476 | 0.4976 | -1 | 0 | 1 | 1 | 0.9937 | 0.003968 | 0.001512 | 0.005452 | 0.4483 | 1 | 0 | 0.01134 | 0.01096 | 0.005451 | 0.07383 | 13.54 | 1.414 | 0.02213 | 0.04579 | 1 | 1 | 0.007479 | 0.02992 | 0.1086 | 0.0302 | 0.1208 | 0.4385 | json |
| t19_x6_u4_b62 | 19 | 6 | 4 | 62 | ![]() |
mod(P,eql(cil(R),P)) | 142275 | 154534691 | o2(x,o2(o1(x),x)) | true | 18207 | 18207 | -0.9844 | 0 | 0.9844 | 0.01538 | 0.124 | -1 | 0 | 1 | 1 | 0.1161 | 0.002016 | 0.001008 | 0.003005 | 0.3333 | 1 | 0 | 0.006299 | 0.006047 | 0.003016 | 0.05492 | 18.27 | 1.414 | 0.1966 | 0.4095 | 1 | 1 | 0.003546 | 0.01418 | 0.03546 | 0.2305 | 0.9221 | 2.305 | json |
| t19_x6_u4_b63 | 19 | 6 | 4 | 63 | ![]() |
mod(P,min(cil(R),P)) | 142276 | 154534692 | o2(x,o2(o1(x),x)) | true | 18215 | 18215 | -0.8088 | 0 | 0.8088 | 0.1446 | 0.3802 | -1 | 0 | 1 | 1 | 1.171 | 0.008287 | 0.0004409 | 0.01971 | 0.899 | 1 | 0.0006289 | 0.01163 | 0.02038 | 0.008341 | 0.09133 | 4.634 | 1 | 0.06037 | 0.08047 | 1 | 1 | 0.01196 | 0.07328 | 0.1268 | 0.08271 | 0.5068 | 0.8771 | json |
| t19_x6_u4_b64 | 19 | 6 | 4 | 64 | ![]() |
mod(P,dot(cil(R),P)) | 142277 | 154534693 | o2(x,o2(o1(x),x)) | true | 18223 | 18223 | -0.8113 | 0.08551 | 0.9256 | 0.2556 | 0.5055 | -1 | 1 | 2 | 1 | 1.155 | 0.02101 | 0.01748 | 0.03231 | 0.09172 | 1 | 0.0001334 | 0.07785 | 0.0511 | 0.03743 | 0.1935 | 5.988 | 2.828 | 0.1506 | 0.3046 | 1 | 1 | 0.05225 | 0.2315 | 0.6116 | 0.2045 | 0.9057 | 2.393 | json |
| t19_x6_u4_b65 | 19 | 6 | 4 | 65 | ![]() |
mod(P,dst(cil(R),P)) | 142278 | 154534694 | o2(x,o2(o1(x),x)) | true | 18231 | 18231 | -0.03881 | 0.4918 | 0.9215 | 0.9 | 0.9487 | -1 | 1 | 2 | 1 | 2.068 | 0.001753 | 0.001515 | 0.01325 | 0.07287 | 1 | 0.00001861 | 0.004414 | 0.007903 | 0.003095 | 0.05563 | 4.199 | 2 | 0.003631 | 0.004905 | 1 | 1 | 0.006424 | 0.04642 | 0.2908 | 0.007138 | 0.05158 | 0.3231 | json |
| t19_x6_u4_b66 | 19 | 6 | 4 | 66 | ![]() |
lrg(P,add(cil(R),P)) | 142279 | 154534695 | o2(x,o2(o1(x),x)) | true | 18239 | 18239 | 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_x6_u4_b67 | 19 | 6 | 4 | 67 | ![]() |
lrg(P,sub(cil(R),P)) | 142280 | 154534696 | o2(x,o2(o1(x),x)) | true | 18247 | 18247 | 0.4688 | 0.5 | 0.4688 | 0.2423 | 0.4922 | 0 | 1 | 1 | 1 | 1.326 | 0.0003529 | 0 | 0.003968 | 1 | 1 | -4.731e-10 | 0.00001619 | 0.0009276 | 0.0003372 | 0.01836 | 4.628 | 0.1169 | 0.001457 | 0.00006684 | 1 | 1 | 0.0009255 | 0.01214 | 0.0751 | 0.00382 | 0.05012 | 0.31 | json |
| t19_x6_u4_b68 | 19 | 6 | 4 | 68 | ![]() |
lrg(P,mlt(cil(R),P)) | 142281 | 154534697 | o2(x,o2(o1(x),x)) | true | 18255 | 18255 | 0.2539 | 0.4689 | 0.2539 | 0.1405 | 0.3748 | 0 | 1 | 1 | 1 | 2.308 | 0.0009995 | 0.001206 | 0.02597 | -0.09372 | 1 | 0.00002424 | 0.0001342 | 0.006355 | 0.001531 | 0.03913 | 1.507 | 0.1169 | 0.0157 | 0.0009553 | 1 | 1 | 0.00431 | 0.05599 | 0.1536 | 0.03069 | 0.3987 | 1.094 | json |
| t19_x6_u4_b69 | 19 | 6 | 4 | 69 | ![]() |
lrg(P,div(cil(R),P)) | 142282 | 154534698 | o2(x,o2(o1(x),x)) | true | 18263 | 18263 | 0.4648 | 0.541 | 0.4648 | 0.2315 | 0.4811 | 0 | 1 | 1 | 1 | 1.711 | 0.0005491 | 0.0002856 | 0.009689 | 0.3156 | 1 | 0.00001711 | 0.00004555 | 0.002325 | 0.0007411 | 0.02722 | 2.81 | 0.1169 | 0.003606 | 0.0001968 | 1 | 1 | 0.002192 | 0.02842 | 0.09003 | 0.009467 | 0.1228 | 0.3889 | json |
| t19_x6_u4_b70 | 19 | 6 | 4 | 70 | ![]() |
lrg(P,pow(cil(R),P)) | 142283 | 154534699 | o2(x,o2(o1(x),x)) | true | 18271 | 18271 | 0.4297 | 0.4783 | 0.4297 | 0.2349 | 0.4847 | 0 | 1 | 1 | 1 | 1.451 | 0.0003045 | 0.0001755 | 0.005652 | 0.2688 | 1 | 0.00001141 | 0.00002677 | 0.001359 | 0.0004481 | 0.02117 | 3.745 | 0.1169 | 0.002043 | 0.0001139 | 1 | 1 | 0.001279 | 0.01661 | 0.07962 | 0.005444 | 0.0707 | 0.3389 | json |
| t19_x6_u4_b71 | 19 | 6 | 4 | 71 | ![]() |
lrg(P,mod(cil(R),P)) | 142284 | 154534700 | o2(x,o2(o1(x),x)) | true | 18279 | 18279 | 0.5313 | 0.5625 | 0.5313 | 0.2423 | 0.4922 | 0 | 1 | 1 | 1 | 1.326 | 0.0003529 | 0 | 0.003968 | 1 | 1 | -4.731e-10 | 0.00001619 | 0.0009276 | 0.0003372 | 0.01836 | 4.628 | 0.1169 | 0.001457 | 0.00006684 | 1 | 1 | 0.0009255 | 0.01214 | 0.0751 | 0.00382 | 0.05012 | 0.31 | json |
| t19_x6_u4_b72 | 19 | 6 | 4 | 72 | ![]() |
lrg(P,lrg(cil(R),P)) | 142285 | 154534701 | o2(x,o2(o1(x),x)) | true | 18287 | 18287 | 0.4688 | 0.5 | 0.4688 | 0.2423 | 0.4922 | 0 | 1 | 1 | 1 | 1.326 | 0.0003529 | 0 | 0.003968 | 1 | 1 | -4.731e-10 | 0.00001619 | 0.0009276 | 0.0003372 | 0.01836 | 4.628 | 0.1169 | 0.001457 | 0.00006684 | 1 | 1 | 0.0009255 | 0.01214 | 0.0751 | 0.00382 | 0.05012 | 0.31 | json |
| t19_x6_u4_b73 | 19 | 6 | 4 | 73 | ![]() |
lrg(P,eql(cil(R),P)) | 142286 | 154534702 | o2(x,o2(o1(x),x)) | true | 18295 | 18295 | 0.4297 | 0.4783 | 0.4297 | 0.2349 | 0.4847 | 0 | 1 | 1 | 1 | 1.451 | 0.0003045 | 0.0001755 | 0.005652 | 0.2688 | 1 | 0.00001141 | 0.00002677 | 0.001359 | 0.0004481 | 0.02117 | 3.745 | 0.1169 | 0.002043 | 0.0001139 | 1 | 1 | 0.001279 | 0.01661 | 0.07962 | 0.005444 | 0.0707 | 0.3389 | json |
| t19_x6_u4_b74 | 19 | 6 | 4 | 74 | ![]() |
lrg(P,min(cil(R),P)) | 142287 | 154534703 | o2(x,o2(o1(x),x)) | true | 18303 | 18303 | 0.4297 | 0.4783 | 0.4297 | 0.2349 | 0.4847 | 0 | 1 | 1 | 1 | 1.451 | 0.0003045 | 0.0001755 | 0.005652 | 0.2688 | 1 | 0.00001141 | 0.00002677 | 0.001359 | 0.0004481 | 0.02117 | 3.745 | 0.1169 | 0.002043 | 0.0001139 | 1 | 1 | 0.001279 | 0.01661 | 0.07962 | 0.005444 | 0.0707 | 0.3389 | json |
| t19_x6_u4_b75 | 19 | 6 | 4 | 75 | ![]() |
lrg(P,dot(cil(R),P)) | 142288 | 154534704 | o2(x,o2(o1(x),x)) | true | 18311 | 18311 | 0.3945 | 0.6772 | 0.3945 | 0.176 | 0.4195 | 0 | 1 | 1 | 1 | 2.823 | 0.001287 | 0.0016 | 0.03386 | -0.1086 | 1 | 0.00002922 | 0.0001703 | 0.008242 | 0.001739 | 0.04171 | 1.232 | 0.1169 | 0.01641 | 0.0009676 | 1 | 1 | 0.005736 | 0.07407 | 0.204 | 0.0326 | 0.421 | 1.159 | json |
| t19_x6_u4_b76 | 19 | 6 | 4 | 76 | ![]() |
lrg(P,dst(cil(R),P)) | 142289 | 154534705 | o2(x,o2(o1(x),x)) | true | 18319 | 18319 | 0.08203 | 0.1576 | 0.08203 | 0.05857 | 0.242 | 0 | 1 | 1 | 1 | 1.006 | 0.0003063 | 0.0004745 | 0.009154 | -0.2154 | 1 | -0.000005705 | 0.00004541 | 0.002224 | 0.0006971 | 0.0264 | 2.884 | 0.1169 | 0.01333 | 0.0007753 | 1 | 1 | 0.001836 | 0.02404 | 0.08513 | 0.03134 | 0.4105 | 1.454 | json |
| t19_x6_u4_b77 | 19 | 6 | 4 | 77 | ![]() |
eql(P,add(cil(R),P)) | 142290 | 154534706 | o2(x,o2(o1(x),x)) | true | 18327 | 18327 | 0.5176 | 0.9429 | 0.5176 | 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_x6_u4_b78 | 19 | 6 | 4 | 78 | ![]() |
eql(P,sub(cil(R),P)) | 142291 | 154534707 | o2(x,o2(o1(x),x)) | true | 18335 | 18335 | 0.03516 | 0.09119 | 0.03516 | 0.02431 | 0.1559 | 0 | 0.9997 | 0.9997 | 1 | 0.5835 | 0.0003631 | 0.0001053 | 0.005422 | 0.5502 | 1 | 0.000005704 | 0.00002431 | 0.001291 | 0.0004388 | 0.02095 | 3.863 | 0.1169 | 0.01927 | 0.001 | 1 | 1 | 0.001224 | 0.01595 | 0.05043 | 0.05036 | 0.656 | 2.074 | json |
| t19_x6_u4_b79 | 19 | 6 | 4 | 79 | ![]() |
eql(P,mlt(cil(R),P)) | 142292 | 154534708 | o2(x,o2(o1(x),x)) | true | 18343 | 18343 | 0.5176 | 0.9203 | 0.5176 | 0.1575 | 0.3968 | 0 | 1 | 1 | 1 | 3.378 | 0.001896 | 0.002332 | 0.04958 | -0.1032 | 1 | -0.00001211 | 0.000248 | 0.01205 | 0.00177 | 0.04207 | 0.8485 | 0.1169 | 0.02685 | 0.001575 | 1 | 1 | 0.008232 | 0.106 | 0.2882 | 0.05227 | 0.6732 | 1.83 | json |
| t19_x6_u4_b80 | 19 | 6 | 4 | 80 | ![]() |
eql(P,div(cil(R),P)) | 142293 | 154534709 | o2(x,o2(o1(x),x)) | true | 18351 | 18351 | 0.07422 | 0.2111 | 0.07422 | 0.04671 | 0.2161 | 0 | 0.9997 | 0.9997 | 1 | 1.127 | 0.0007642 | 0.0003158 | 0.01259 | 0.4152 | 1 | -0.00002282 | 0.00005836 | 0.003009 | 0.0009218 | 0.03036 | 2.411 | 0.1169 | 0.02312 | 0.001249 | 1 | 1 | 0.002649 | 0.03427 | 0.06661 | 0.05672 | 0.7338 | 1.426 | json |
| t19_x6_u4_b81 | 19 | 6 | 4 | 81 | ![]() |
eql(P,pow(cil(R),P)) | 142294 | 154534710 | o2(x,o2(o1(x),x)) | true | 18359 | 18359 | 0.03906 | 0.1129 | 0.03906 | 0.02579 | 0.1606 | 0 | 0.9997 | 0.9997 | 1 | 0.6726 | 0.0003997 | 0.0001755 | 0.006718 | 0.3898 | 1 | -0.00001141 | 0.00003128 | 0.001608 | 0.0005302 | 0.02303 | 3.427 | 0.1169 | 0.0223 | 0.001213 | 1 | 1 | 0.001425 | 0.01841 | 0.04273 | 0.05526 | 0.7139 | 1.657 | json |
| t19_x6_u4_b82 | 19 | 6 | 4 | 82 | ![]() |
eql(P,mod(cil(R),P)) | 142295 | 154534711 | o2(x,o2(o1(x),x)) | true | 18367 | 18367 | 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_x6_u4_b83 | 19 | 6 | 4 | 83 | ![]() |
eql(P,lrg(cil(R),P)) | 142296 | 154534712 | o2(x,o2(o1(x),x)) | true | 18375 | 18375 | 0.03516 | 0.09119 | 0.03516 | 0.02431 | 0.1559 | 0 | 0.9997 | 0.9997 | 1 | 0.5835 | 0.0003631 | 0.0001053 | 0.005422 | 0.5502 | 1 | 0.000005704 | 0.00002431 | 0.001291 | 0.0004388 | 0.02095 | 3.863 | 0.1169 | 0.01927 | 0.001 | 1 | 1 | 0.001224 | 0.01595 | 0.05043 | 0.05036 | 0.656 | 2.074 | json |
| t19_x6_u4_b84 | 19 | 6 | 4 | 84 | ![]() |
eql(P,eql(cil(R),P)) | 142297 | 154534713 | o2(x,o2(o1(x),x)) | true | 18383 | 18383 | 0.06641 | 0.1561 | 0.06641 | 0.0456 | 0.2135 | 0 | 1 | 1 | 1 | 0.9365 | 0.0005099 | 0.0002856 | 0.009247 | 0.2818 | 1 | -0.00001711 | 0.00004381 | 0.002221 | 0.0007098 | 0.02664 | 2.881 | 0.1169 | 0.01744 | 0.0009607 | 1 | 1 | 0.002114 | 0.02743 | 0.08862 | 0.04635 | 0.6014 | 1.943 | json |
| t19_x6_u4_b85 | 19 | 6 | 4 | 85 | ![]() |
eql(P,min(cil(R),P)) | 142298 | 154534714 | o2(x,o2(o1(x),x)) | true | 18391 | 18391 | 0.5703 | 0.619 | 0.5703 | 0.2349 | 0.4847 | 0 | 1 | 1 | 1 | 1.451 | 0.0003045 | 0.0001755 | 0.005652 | 0.2688 | 1 | -0.00001141 | 0.00002677 | 0.001359 | 0.0004481 | 0.02117 | 3.745 | 0.1169 | 0.002043 | 0.000114 | 1 | 1 | 0.001279 | 0.01661 | 0.07962 | 0.005444 | 0.0707 | 0.3389 | json |
| t19_x6_u4_b86 | 19 | 6 | 4 | 86 | ![]() |
eql(P,dot(cil(R),P)) | 142299 | 154534715 | o2(x,o2(o1(x),x)) | true | 18399 | 18399 | 0.2539 | 0.6618 | 0.2539 | 0.1159 | 0.3404 | 0 | 1 | 1 | 1 | 2.779 | 0.001658 | 0.001697 | 0.03941 | -0.0118 | 1 | -0.000007828 | 0.0001993 | 0.009587 | 0.001802 | 0.04245 | 1.077 | 0.1169 | 0.02895 | 0.00172 | 1 | 1 | 0.005921 | 0.07649 | 0.2308 | 0.0511 | 0.6601 | 1.992 | json |



































































































