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 | ||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| t12_x25_u3_b74 | 12 | 25 | 3 | 74 | ![]() |
flr(lrg(R,min(R,D))) | 40800 | 98457914 | o1(o2(x,o2(x,x))) | true | 6407 | 6407 | 0.4991 | 0.9305 | 0.4991 | 0.1466 | 0.3829 | 0 | 1 | 1 | 1 | 3.529 | 0.0202 | 0.00212 | 0.08082 | 0.81 | 1 | 0.00001402 | 0.03815 | 0.07049 | 0.01579 | 0.1257 | 1.555 | 0.9997 | 0.1522 | 0.2602 | 1 | 1 | 0.02456 | 0.14 | 0.2709 | 0.1675 | 0.9551 | 1.848 | json |
| t12_x25_u3_b75 | 12 | 25 | 3 | 75 | ![]() |
flr(lrg(R,dot(R,D))) | 40801 | 98457915 | o1(o2(x,o2(x,x))) | true | 6415 | 6415 | 0.4865 | 0.905 | 0.4865 | 0.1558 | 0.3947 | 0 | 1 | 1 | 1 | 3.396 | 0.004702 | 0.01157 | 0.06797 | -0.4221 | 1 | 0.00006323 | 0.03608 | 0.05622 | 0.01165 | 0.108 | 1.588 | 1.404 | 0.1044 | 0.2316 | 1 | 1 | 0.01916 | 0.1366 | 0.2882 | 0.1229 | 0.877 | 1.849 | json |
| t12_x25_u3_b76 | 12 | 25 | 3 | 76 | ![]() |
flr(lrg(R,dst(R,D))) | 40802 | 98457916 | o1(o2(x,o2(x,x))) | true | 6423 | 6423 | 0.03494 | 0.153 | 0.03494 | 0.01758 | 0.1326 | 0 | 0.9926 | 0.9926 | 1 | 0.7688 | 0.004824 | 0.003409 | 0.01889 | 0.1719 | 1 | -0.0001942 | 0.02592 | 0.02597 | 0.007878 | 0.08876 | 4.699 | 1.404 | 0.4683 | 1.475 | 1 | 1 | 0.006816 | 0.02462 | 0.02849 | 0.3878 | 1.4 | 1.621 | json |
| t12_x25_u3_b77 | 12 | 25 | 3 | 77 | ![]() |
flr(eql(R,add(R,D))) | 40803 | 98457917 | o1(o2(x,o2(x,x))) | true | 6431 | 6431 | 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 |
| t12_x25_u3_b78 | 12 | 25 | 3 | 78 | ![]() |
flr(eql(R,sub(R,D))) | 40804 | 98457918 | o1(o2(x,o2(x,x))) | true | 6439 | 6439 | 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 |
| t12_x25_u3_b79 | 12 | 25 | 3 | 79 | ![]() |
flr(eql(R,mlt(R,D))) | 40805 | 98457919 | o1(o2(x,o2(x,x))) | true | 6447 | 6447 | 2.132e-7 | 0.000824 | 2.132e-7 | 4.854e-11 | 0.000006967 | 0 | 0.000291 | 0.000291 | 1 | 0 | 1.003e-10 | 7.118e-13 | 4.44e-7 | 0.9859 | 0 | -1.038e-10 | 3.039e-10 | 8.803e-7 | 1.008e-10 | 0.00001004 | 22.61 | 0.000291 | 2.082 | 6.261 | 1 | 1 | 6.049e-11 | 8.031e-11 | 1.177e-10 | 1.246 | 1.655 | 2.424 | json |
| t12_x25_u3_b80 | 12 | 25 | 3 | 80 | ![]() |
flr(eql(R,div(R,D))) | 40806 | 98457920 | o1(o2(x,o2(x,x))) | true | 6455 | 6455 | 7.106e-8 | 0.0002747 | 7.106e-8 | 1.62e-11 | 0.000004025 | 0 | 0.000291 | 0.000291 | 1 | 0 | 3.345e-11 | 2.372e-13 | 1.48e-7 | 0.9859 | 0 | -1.038e-10 | 1.013e-10 | 2.934e-7 | 3.366e-11 | 0.000005802 | 39.21 | 0.000291 | 2.079 | 6.253 | 1 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t12_x25_u3_b81 | 12 | 25 | 3 | 81 | ![]() |
flr(eql(R,pow(R,D))) | 40807 | 98457921 | o1(o2(x,o2(x,x))) | true | 6463 | 6463 | 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 |
| t12_x25_u3_b82 | 12 | 25 | 3 | 82 | ![]() |
flr(eql(R,mod(R,D))) | 40808 | 98457922 | o1(o2(x,o2(x,x))) | true | 6471 | 6471 | 0.2693 | 0.9401 | 0.2693 | 0.1142 | 0.3379 | 0 | 1 | 1 | 1 | 2.991 | 0.03728 | 0.001281 | 0.09495 | 0.9335 | 1 | -0.0006337 | 0.07144 | 0.1198 | 0.02955 | 0.1719 | 1.81 | 0.9994 | 0.3377 | 0.6257 | 1 | 1 | 0.03933 | 0.1354 | 0.168 | 0.3445 | 1.186 | 1.471 | json |
| t12_x25_u3_b83 | 12 | 25 | 3 | 83 | ![]() |
flr(eql(R,lrg(R,D))) | 40809 | 98457923 | o1(o2(x,o2(x,x))) | true | 6479 | 6479 | 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 |
| t12_x25_u3_b84 | 12 | 25 | 3 | 84 | ![]() |
flr(eql(R,eql(R,D))) | 40810 | 98457924 | o1(o2(x,o2(x,x))) | true | 6487 | 6487 | 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 |
| t12_x25_u3_b85 | 12 | 25 | 3 | 85 | ![]() |
flr(eql(R,min(R,D))) | 40811 | 98457925 | o1(o2(x,o2(x,x))) | true | 6495 | 6495 | 0.5009 | 0.9274 | 0.5009 | 0.1466 | 0.3829 | 0 | 1 | 1 | 1 | 3.529 | 0.0202 | 0.00212 | 0.08082 | 0.81 | 1 | -0.00001403 | 0.03815 | 0.07049 | 0.01579 | 0.1257 | 1.555 | 0.9997 | 0.1522 | 0.2602 | 1 | 1 | 0.02456 | 0.14 | 0.2709 | 0.1675 | 0.9551 | 1.848 | json |
| t12_x25_u3_b86 | 12 | 25 | 3 | 86 | ![]() |
flr(eql(R,dot(R,D))) | 40812 | 98457926 | o1(o2(x,o2(x,x))) | true | 6503 | 6503 | 0.00009826 | 0.000351 | 0.00009826 | 0.0000607 | 0.007791 | 0 | 0.8991 | 0.8991 | 1 | 0.003532 | 0.0001253 | 0.0001253 | 0.0003462 | 0 | 1 | 0 | 0.001253 | 0.0008112 | 0.0002505 | 0.01583 | 45.71 | 1.271 | 4.129 | 20.65 | 1 | 1 | 0.0001569 | 0.0001561 | 0.0001449 | 2.584 | 2.571 | 2.387 | json |
| t12_x25_u3_b87 | 12 | 25 | 3 | 87 | ![]() |
flr(eql(R,dst(R,D))) | 40813 | 98457927 | o1(o2(x,o2(x,x))) | true | 6511 | 6511 | 0.00003112 | 0.0001068 | 0.00003112 | 0.00001826 | 0.004274 | 0 | 0.9414 | 0.9414 | 1 | 0.001536 | 0.0000377 | 0.0000377 | 0.0001096 | 0 | 0 | 7.997e-10 | 0.000377 | 0.0002569 | 0.00007538 | 0.008682 | 79.18 | 1.331 | 4.128 | 20.64 | 1 | 1 | 0.00005579 | 0.00005579 | 0.0000558 | 3.055 | 3.055 | 3.055 | json |
| t12_x25_u3_b88 | 12 | 25 | 3 | 88 | ![]() |
flr(min(R,add(R,D))) | 40814 | 98457928 | o1(o2(x,o2(x,x))) | true | 6519 | 6519 | -0.6024 | 0 | 0.6024 | 0.1519 | 0.3897 | -1 | 0 | 1 | 1 | 3.335 | 0.01145 | 0.002463 | 0.0661 | 0.646 | 1 | 0.000371 | 0.01937 | 0.04803 | 0.009546 | 0.0977 | 1.478 | 0.9994 | 0.09163 | 0.1275 | 1 | 1 | 0.01682 | 0.1293 | 0.2772 | 0.1108 | 0.8517 | 1.826 | json |
| t12_x25_u3_b89 | 12 | 25 | 3 | 89 | ![]() |
flr(min(R,sub(R,D))) | 40815 | 98457929 | o1(o2(x,o2(x,x))) | true | 6527 | 6527 | -0.6029 | 0 | 0.6029 | 0.1541 | 0.3926 | -1 | 0 | 1 | 1 | 3.301 | 0.01157 | 0.002465 | 0.06527 | 0.6489 | 1 | 0.00007948 | 0.01985 | 0.04872 | 0.009782 | 0.0989 | 1.515 | 0.9994 | 0.09109 | 0.1288 | 1 | 1 | 0.01717 | 0.1287 | 0.2817 | 0.1114 | 0.8348 | 1.827 | json |
| t12_x25_u3_b90 | 12 | 25 | 3 | 90 | ![]() |
flr(min(R,mlt(R,D))) | 40816 | 98457930 | o1(o2(x,o2(x,x))) | true | 6535 | 6535 | -0.7568 | 0 | 0.7568 | 0.1087 | 0.3297 | -1 | -0.000291 | 0.9997 | 1 | 2.8 | 0.02738 | 0.00118 | 0.07029 | 0.9174 | 1 | -0.000001419 | 0.05102 | 0.06666 | 0.02362 | 0.1537 | 2.186 | 0.9997 | 0.2627 | 0.4693 | 1 | 1 | 0.03085 | 0.1411 | 0.1423 | 0.2838 | 1.298 | 1.309 | json |
| t12_x25_u3_b91 | 12 | 25 | 3 | 91 | ![]() |
flr(min(R,div(R,D))) | 40817 | 98457931 | o1(o2(x,o2(x,x))) | true | 6543 | 6543 | -0.8231 | 0 | 0.8231 | 0.09741 | 0.3121 | -1 | -0.000291 | 0.9997 | 1 | 2.097 | 0.0223 | 0.002762 | 0.05992 | 0.7796 | 1 | -0.00004565 | 0.04325 | 0.06445 | 0.02146 | 0.1465 | 2.445 | 0.9997 | 0.2572 | 0.444 | 1 | 1 | 0.02918 | 0.1393 | 0.1423 | 0.2996 | 1.43 | 1.461 | json |
| t12_x25_u3_b92 | 12 | 25 | 3 | 92 | ![]() |
flr(min(R,pow(R,D))) | 40818 | 98457932 | o1(o2(x,o2(x,x))) | true | 6551 | 6551 | -0.5176 | 0 | 0.5176 | 0.1537 | 0.3921 | -1 | 0 | 1 | 1 | 3.585 | 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 |
| t12_x25_u3_b93 | 12 | 25 | 3 | 93 | ![]() |
flr(min(R,mod(R,D))) | 40819 | 98457933 | o1(o2(x,o2(x,x))) | true | 6559 | 6559 | -0.5176 | 0 | 0.5176 | 0.1537 | 0.3921 | -1 | 0 | 1 | 1 | 3.585 | 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 |
| t12_x25_u3_b94 | 12 | 25 | 3 | 94 | ![]() |
flr(min(R,lrg(R,D))) | 40820 | 98457934 | o1(o2(x,o2(x,x))) | true | 6567 | 6567 | -0.5176 | 0 | 0.5176 | 0.1537 | 0.3921 | -1 | 0 | 1 | 1 | 3.585 | 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 |
| t12_x25_u3_b95 | 12 | 25 | 3 | 95 | ![]() |
flr(min(R,eql(R,D))) | 40821 | 98457935 | o1(o2(x,o2(x,x))) | true | 6575 | 6575 | -0.5176 | 0 | 0.5176 | 0.1537 | 0.3921 | -1 | 0 | 1 | 1 | 3.585 | 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 |
| t12_x25_u3_b96 | 12 | 25 | 3 | 96 | ![]() |
flr(min(R,min(R,D))) | 40822 | 98457936 | o1(o2(x,o2(x,x))) | true | 6583 | 6583 | -0.7568 | 0 | 0.7568 | 0.1087 | 0.3297 | -1 | -0.000291 | 0.9997 | 1 | 2.8 | 0.02738 | 0.00118 | 0.07029 | 0.9174 | 1 | -0.000001419 | 0.05102 | 0.06666 | 0.02362 | 0.1537 | 2.186 | 0.9997 | 0.2627 | 0.4693 | 1 | 1 | 0.03085 | 0.1411 | 0.1423 | 0.2838 | 1.298 | 1.309 | json |
| t12_x25_u3_b97 | 12 | 25 | 3 | 97 | ![]() |
flr(min(R,dot(R,D))) | 40823 | 98457937 | o1(o2(x,o2(x,x))) | true | 6591 | 6591 | -0.7545 | 0 | 0.7545 | 0.108 | 0.3286 | -1 | 0 | 1 | 1 | 2.826 | 0.01766 | 0.01753 | 0.07571 | 0.003893 | 1 | -0.0001577 | 0.1101 | 0.09277 | 0.02946 | 0.1716 | 2.267 | 1.413 | 0.3258 | 1.019 | 1 | 1 | 0.03715 | 0.1586 | 0.1948 | 0.344 | 1.468 | 1.804 | json |
| t12_x25_u3_b98 | 12 | 25 | 3 | 98 | ![]() |
flr(min(R,dst(R,D))) | 40824 | 98457938 | o1(o2(x,o2(x,x))) | true | 6599 | 6599 | -0.5176 | 0 | 0.5176 | 0.1537 | 0.3921 | -1 | 0 | 1 | 1 | 3.585 | 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 |
| t12_x25_u3_b99 | 12 | 25 | 3 | 99 | ![]() |
flr(dot(R,add(R,D))) | 40825 | 98457939 | o1(o2(x,o2(x,x))) | true | 6607 | 6607 | 0.5132 | 0.9014 | 0.5203 | 0.1614 | 0.4017 | -0.9645 | 1 | 1.965 | 1 | 3.616 | 0.01575 | 0.01559 | 0.09139 | 0.004986 | 1 | -0.00003803 | 0.08981 | 0.1057 | 0.02299 | 0.1516 | 1.659 | 1.413 | 0.1943 | 0.5566 | 1 | 1 | 0.03571 | 0.1798 | 0.3039 | 0.2213 | 1.114 | 1.883 | json |
| t12_x25_u3_b100 | 12 | 25 | 3 | 100 | ![]() |
flr(dot(R,sub(R,D))) | 40826 | 98457940 | o1(o2(x,o2(x,x))) | true | 6615 | 6615 | 0.5016 | 0.848 | 0.5106 | 0.1765 | 0.4202 | -0.9997 | 1 | 2 | 1 | 3.455 | 0.01557 | 0.01499 | 0.08444 | 0.01914 | 1 | 0.0001697 | 0.08836 | 0.1029 | 0.02343 | 0.1531 | 1.813 | 1.414 | 0.1731 | 0.5005 | 1 | 1 | 0.03477 | 0.1757 | 0.3476 | 0.1969 | 0.9954 | 1.969 | json |
| t12_x25_u3_b101 | 12 | 25 | 3 | 101 | ![]() |
flr(dot(R,mlt(R,D))) | 40827 | 98457941 | o1(o2(x,o2(x,x))) | true | 6623 | 6623 | -0.4977 | 0 | 0.4977 | 0.1168 | 0.3418 | -1 | -1.694e-7 | 1 | 1 | 3.808 | 0.03259 | 0.03148 | 0.1321 | 0.01726 | 1 | -0.0001631 | 0.1813 | 0.1691 | 0.04662 | 0.2159 | 1.635 | 1.409 | 0.5486 | 1.553 | 1 | 1 | 0.06881 | 0.2317 | 0.1272 | 0.5891 | 1.984 | 1.089 | json |
| t12_x25_u3_b102 | 12 | 25 | 3 | 102 | ![]() |
flr(dot(R,div(R,D))) | 40828 | 98457942 | o1(o2(x,o2(x,x))) | true | 6631 | 6631 | -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 |
| t12_x25_u3_b103 | 12 | 25 | 3 | 103 | ![]() |
flr(dot(R,pow(R,D))) | 40829 | 98457943 | o1(o2(x,o2(x,x))) | true | 6639 | 6639 | -0.9938 | 0.003891 | 0.9984 | 0.01049 | 0.1024 | -1 | 1 | 2 | 1 | 0.0488 | 0.001336 | 0.001294 | 0.001775 | 0.01621 | 1 | -7.509e-12 | 0.005576 | 0.003177 | 0.002625 | 0.05123 | 28.86 | 2.003 | 0.2507 | 0.5316 | 1 | 1 | 0.00469 | 0.02018 | 0.03675 | 0.4471 | 1.923 | 3.503 | json |
| t12_x25_u3_b104 | 12 | 25 | 3 | 104 | ![]() |
flr(dot(R,mod(R,D))) | 40830 | 98457944 | o1(o2(x,o2(x,x))) | true | 6647 | 6647 | 0.0739 | 0.4609 | 0.0739 | 0.03266 | 0.1807 | 0 | 1 | 1 | 1 | 1.442 | 0.01731 | 0.01251 | 0.06104 | 0.1608 | 1 | -0.0001608 | 0.1018 | 0.1008 | 0.0261 | 0.1616 | 2.647 | 1.399 | 0.9131 | 3.117 | 1 | 1 | 0.02093 | 0.04389 | 0.06523 | 0.6408 | 1.344 | 1.997 | json |
| t12_x25_u3_b105 | 12 | 25 | 3 | 105 | ![]() |
flr(dot(R,lrg(R,D))) | 40831 | 98457945 | o1(o2(x,o2(x,x))) | true | 6655 | 6655 | 0.2412 | 0.6376 | 0.3246 | 0.1737 | 0.4168 | -0.9997 | 1 | 2 | 1 | 3.947 | 0.008913 | 0.008928 | 0.07432 | -0.00084 | 1 | 0.00004654 | 0.02672 | 0.05511 | 0.01232 | 0.111 | 1.493 | 1.257 | 0.1027 | 0.1538 | 1 | 1 | 0.02148 | 0.1584 | 0.3326 | 0.1237 | 0.9118 | 1.914 | json |
| t12_x25_u3_b106 | 12 | 25 | 3 | 106 | ![]() |
flr(dot(R,eql(R,D))) | 40832 | 98457946 | o1(o2(x,o2(x,x))) | true | 6663 | 6663 | -0.00004008 | 0 | 0.00004008 | 0.00001031 | 0.00321 | -0.3282 | 0 | 0.3282 | 1 | 0.003875 | 0.00001454 | 1.509e-7 | 0.00006305 | 0.9795 | 0 | -1.17e-7 | 0.00004407 | 0.0001242 | 0.00001469 | 0.003832 | 60.78 | 0.3186 | 1.425 | 4.276 | 1 | 1 | 0 | 0 | 0.000007865 | 0 | 0 | 0.7631 | json |
| t12_x25_u3_b107 | 12 | 25 | 3 | 107 | ![]() |
flr(dot(R,min(R,D))) | 40833 | 98457947 | o1(o2(x,o2(x,x))) | true | 6671 | 6671 | 0.04344 | 0.4186 | 0.2587 | 0.1694 | 0.4116 | -0.9997 | 1 | 2 | 1 | 3.955 | 0.01427 | 0.01578 | 0.08279 | -0.05012 | 1 | 0.0001113 | 0.0737 | 0.0852 | 0.02319 | 0.1523 | 1.839 | 1.418 | 0.1774 | 0.4351 | 1 | 1 | 0.0343 | 0.1722 | 0.3141 | 0.2025 | 1.016 | 1.855 | json |
| t12_x25_u3_b108 | 12 | 25 | 3 | 108 | ![]() |
flr(dot(R,dot(R,D))) | 40834 | 98457948 | o1(o2(x,o2(x,x))) | true | 6679 | 6679 | -0.5033 | 0.03004 | 0.51 | 0.1478 | 0.3844 | -1 | 0.7671 | 1.767 | 1 | 3.84 | 0.03636 | 0.0359 | 0.1352 | 0.006364 | 1 | 0.000264 | 0.2305 | 0.1965 | 0.05397 | 0.2323 | 1.718 | 1.414 | 0.489 | 1.56 | 1 | 1 | 0.07698 | 0.285 | 0.2867 | 0.521 | 1.929 | 1.941 | json |
| t12_x25_u3_b109 | 12 | 25 | 3 | 109 | ![]() |
flr(dot(R,dst(R,D))) | 40835 | 98457949 | o1(o2(x,o2(x,x))) | true | 6687 | 6687 | -0.3516 | 0.2437 | 0.6187 | 0.4044 | 0.6359 | -1 | 1 | 2 | 1 | 4.074 | 0.01159 | 0.0123 | 0.09478 | -0.02959 | 1 | 0.0002096 | 0.03425 | 0.06363 | 0.0149 | 0.1221 | 1.288 | 1.398 | 0.05907 | 0.08471 | 1 | 1 | 0.04188 | 0.3657 | 0.7736 | 0.1036 | 0.9045 | 1.913 | json |
| t12_x25_u3_b110 | 12 | 25 | 3 | 110 | ![]() |
flr(dst(R,add(R,D))) | 40836 | 98457950 | o1(o2(x,o2(x,x))) | true | 6695 | 6695 | 0.002387 | 0.5469 | 0.002387 | 0.0000194 | 0.004405 | 0 | 0.01937 | 0.01937 | 1 | 0 | 0.00002643 | 0.00002643 | 0.004122 | 1.376e-7 | 0 | -0.00002229 | 0.0002509 | 0.008064 | 0.00003587 | 0.005989 | 1.453 | 0.02739 | 2.724 | 12.93 | 1 | 1 | 0.00004054 | 0.00003161 | 0 | 2.089 | 1.629 | 0 | json |
| t12_x25_u3_b111 | 12 | 25 | 3 | 111 | ![]() |
flr(dst(R,sub(R,D))) | 40837 | 98457951 | o1(o2(x,o2(x,x))) | true | 6703 | 6703 | 0.002387 | 0.5469 | 0.002387 | 0.0000194 | 0.004405 | 0 | 0.01937 | 0.01937 | 1 | 0 | 0.00002643 | 0.00002643 | 0.004122 | 1.376e-7 | 0 | -0.00002229 | 0.0002509 | 0.008064 | 0.00003587 | 0.005989 | 1.453 | 0.02739 | 2.724 | 12.93 | 1 | 1 | 0.00004054 | 0.00003161 | 0 | 2.089 | 1.629 | 0 | json |
| t12_x25_u3_b112 | 12 | 25 | 3 | 112 | ![]() |
flr(dst(R,mlt(R,D))) | 40838 | 98457952 | o1(o2(x,o2(x,x))) | true | 6711 | 6711 | 0.4944 | 0.9343 | 0.4944 | 0.1471 | 0.3835 | 0 | 1 | 1 | 1 | 3.523 | 0.01507 | 0.01516 | 0.0862 | -0.002904 | 1 | 0.0001128 | 0.07834 | 0.09163 | 0.02279 | 0.151 | 1.752 | 1.413 | 0.2055 | 0.5327 | 1 | 1 | 0.03504 | 0.1745 | 0.2761 | 0.2383 | 1.187 | 1.877 | json |
| t12_x25_u3_b113 | 12 | 25 | 3 | 113 | ![]() |
flr(dst(R,div(R,D))) | 40839 | 98457953 | o1(o2(x,o2(x,x))) | true | 6719 | 6719 | -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 |
| t12_x25_u3_b114 | 12 | 25 | 3 | 114 | ![]() |
flr(dst(R,pow(R,D))) | 40840 | 98457954 | o1(o2(x,o2(x,x))) | true | 6727 | 6727 | -0.9935 | 0.003906 | 0.9987 | 0.01135 | 0.1066 | -1 | 1 | 2 | 1 | 0.04693 | 0.001454 | 0.001302 | 0.001825 | 0.0553 | 1 | 5.256e-11 | 0.00576 | 0.00332 | 0.002751 | 0.05245 | 28.74 | 2.828 | 0.2428 | 0.5073 | 1 | 1 | 0.004919 | 0.02161 | 0.04047 | 0.4333 | 1.903 | 3.565 | json |
| t12_x25_u3_b115 | 12 | 25 | 3 | 115 | ![]() |
flr(dst(R,mod(R,D))) | 40841 | 98457955 | o1(o2(x,o2(x,x))) | true | 6735 | 6735 | 0.09357 | 0.2151 | 0.09357 | 0.06214 | 0.2493 | 0 | 1 | 1 | 1 | 1.213 | 0.02286 | 0.02416 | 0.07417 | -0.02753 | 1 | 0.0004088 | 0.1728 | 0.1439 | 0.04153 | 0.2038 | 2.748 | 1.413 | 0.7567 | 2.78 | 1 | 1 | 0.02562 | 0.06559 | 0.09972 | 0.4123 | 1.056 | 1.605 | json |
| t12_x25_u3_b116 | 12 | 25 | 3 | 116 | ![]() |
flr(dst(R,lrg(R,D))) | 40842 | 98457956 | o1(o2(x,o2(x,x))) | true | 6743 | 6743 | 0.514 | 0.9581 | 0.514 | 0.1537 | 0.392 | 0 | 1 | 1 | 1 | 3.42 | 0.01092 | 0.01262 | 0.07738 | -0.07233 | 1 | 0.0001255 | 0.04155 | 0.06948 | 0.01755 | 0.1325 | 1.712 | 1.241 | 0.1532 | 0.2704 | 1 | 1 | 0.02584 | 0.1499 | 0.2799 | 0.1682 | 0.9757 | 1.822 | json |
| t12_x25_u3_b117 | 12 | 25 | 3 | 117 | ![]() |
flr(dst(R,eql(R,D))) | 40843 | 98457957 | o1(o2(x,o2(x,x))) | true | 6751 | 6751 | 0.5235 | 0.9064 | 0.5235 | 0.1603 | 0.4003 | 0 | 1 | 1 | 1 | 3.324 | 0.001871 | 0.002199 | 0.04753 | -0.08051 | 1 | -0.000005589 | 0.0002854 | 0.01172 | 0.001811 | 0.04256 | 0.8954 | 0.3216 | 0.02539 | 0.001781 | 1 | 1 | 0.007899 | 0.1024 | 0.3171 | 0.04928 | 0.6391 | 1.978 | json |
| t12_x25_u3_b118 | 12 | 25 | 3 | 118 | ![]() |
flr(dst(R,min(R,D))) | 40844 | 98457958 | o1(o2(x,o2(x,x))) | true | 6759 | 6759 | 0.2398 | 0.7595 | 0.2398 | 0.1007 | 0.3173 | 0 | 1 | 1 | 1 | 2.882 | 0.01301 | 0.01352 | 0.07284 | -0.01949 | 1 | -0.000189 | 0.0637 | 0.08061 | 0.02122 | 0.1457 | 2 | 1.413 | 0.2636 | 0.6328 | 1 | 1 | 0.03151 | 0.1441 | 0.2037 | 0.3131 | 1.431 | 2.024 | json |
| t12_x25_u3_b119 | 12 | 25 | 3 | 119 | ![]() |
flr(dst(R,dot(R,D))) | 40845 | 98457959 | o1(o2(x,o2(x,x))) | true | 6767 | 6767 | 0.5489 | 0.971 | 0.5489 | 0.1503 | 0.3877 | 0 | 1 | 1 | 1 | 3.435 | 0.01743 | 0.01841 | 0.09315 | -0.02736 | 1 | -0.0001697 | 0.1068 | 0.1138 | 0.02717 | 0.1648 | 1.77 | 1.414 | 0.2385 | 0.7109 | 1 | 1 | 0.04081 | 0.1888 | 0.2667 | 0.2715 | 1.256 | 1.774 | json |
| t12_x25_u3_b120 | 12 | 25 | 3 | 120 | ![]() |
flr(dst(R,dst(R,D))) | 40846 | 98457960 | o1(o2(x,o2(x,x))) | true | 6775 | 6775 | 0.9258 | 1 | 0.9258 | 0.0465 | 0.2156 | 0.0002912 | 1 | 0.9997 | 1 | 1.098 | 0.00789 | 0.008534 | 0.03441 | -0.03922 | 1 | -0.0000221 | 0.04753 | 0.0493 | 0.01523 | 0.1234 | 3.587 | 1.413 | 0.3532 | 1.022 | 1 | 1 | 0.02032 | 0.07763 | 0.08842 | 0.4369 | 1.67 | 1.902 | json |
| t12_x25_u4_b0 | 12 | 25 | 4 | 0 | ![]() |
cil(add(R,add(R,D))) | 40847 | 98458041 | o1(o2(x,o2(x,x))) | true | 6783 | 6783 | 0.3309 | 0.69 | 0.6756 | 0.4803 | 0.693 | -1 | 1 | 2 | 1 | 3.919 | 0.02826 | 0.008913 | 0.1136 | 0.5204 | 1 | -0.00003208 | 0.04706 | 0.09524 | 0.02427 | 0.1558 | 1.371 | 1.117 | 0.07739 | 0.09798 | 1 | 1 | 0.05177 | 0.3874 | 0.8227 | 0.1078 | 0.8066 | 1.713 | json |
| t12_x25_u4_b1 | 12 | 25 | 4 | 1 | ![]() |
cil(add(R,sub(R,D))) | 40848 | 98458042 | o1(o2(x,o2(x,x))) | true | 6791 | 6791 | 0.3313 | 0.6903 | 0.6723 | 0.4782 | 0.6915 | -1 | 1 | 2 | 1 | 3.91 | 0.02738 | 0.008901 | 0.112 | 0.5093 | 1 | 0.0002389 | 0.04602 | 0.09359 | 0.02374 | 0.1541 | 1.376 | 1.058 | 0.07587 | 0.09625 | 1 | 1 | 0.05132 | 0.3846 | 0.8172 | 0.1073 | 0.8044 | 1.709 | json |
| t12_x25_u4_b2 | 12 | 25 | 4 | 2 | ![]() |
cil(add(R,mlt(R,D))) | 40849 | 98458043 | o1(o2(x,o2(x,x))) | true | 6799 | 6799 | 0.4584 | 0.8548 | 0.5218 | 0.2159 | 0.4647 | -0.9994 | 1 | 1.999 | 1 | 3.874 | 0.009903 | 0.003549 | 0.07151 | 0.4723 | 1 | -0.00005974 | 0.01559 | 0.03984 | 0.008339 | 0.09132 | 1.277 | 1 | 0.0623 | 0.07219 | 1 | 1 | 0.01805 | 0.1609 | 0.393 | 0.0836 | 0.7451 | 1.82 | json |
| t12_x25_u4_b3 | 12 | 25 | 4 | 3 | ![]() |
cil(add(R,div(R,D))) | 40850 | 98458044 | o1(o2(x,o2(x,x))) | true | 6807 | 6807 | 0.197 | 0.6104 | 0.8193 | 0.7228 | 0.8502 | -1 | 1 | 2 | 1 | 3.172 | 0.2799 | 0.03167 | 0.2508 | 0.7967 | 1 | -0.0004472 | 0.6369 | 0.3875 | 0.2485 | 0.4985 | 1.988 | 2.828 | 0.431 | 0.8812 | 1 | 1 | 0.3387 | 1.275 | 1.296 | 0.4685 | 1.764 | 1.793 | json |
| t12_x25_u4_b4 | 12 | 25 | 4 | 4 | ![]() |
cil(add(R,pow(R,D))) | 40851 | 98458045 | o1(o2(x,o2(x,x))) | true | 6815 | 6815 | -0.9141 | 0.04297 | 1 | 0.1645 | 0.4056 | -1 | 1 | 2 | 1 | 0.2557 | 0.01688 | 0.01638 | 0.01652 | 0.01515 | 1 | 0 | 0.06954 | 0.03326 | 0.03297 | 0.1816 | 10.99 | 2.828 | 0.2022 | 0.4228 | 1 | 1 | 0.02543 | 0.1095 | 0.2757 | 0.1546 | 0.6659 | 1.676 | json |
| t12_x25_u4_b5 | 12 | 25 | 4 | 5 | ![]() |
cil(add(R,mod(R,D))) | 40852 | 98458046 | o1(o2(x,o2(x,x))) | true | 6823 | 6823 | 0.4485 | 0.8303 | 0.5351 | 0.2397 | 0.4896 | -1 | 1 | 2 | 1 | 3.937 | 0.03561 | 0.004 | 0.1117 | 0.798 | 1 | 0.0001326 | 0.09916 | 0.1339 | 0.02713 | 0.1647 | 1.474 | 1.117 | 0.1652 | 0.4137 | 1 | 1 | 0.02842 | 0.1714 | 0.4229 | 0.1185 | 0.7152 | 1.764 | json |
| t12_x25_u4_b6 | 12 | 25 | 4 | 6 | ![]() |
cil(add(R,lrg(R,D))) | 40853 | 98458047 | o1(o2(x,o2(x,x))) | true | 6831 | 6831 | 0.6589 | 0.9688 | 0.6589 | 0.1643 | 0.4053 | 0 | 1 | 1 | 1 | 2.642 | 0.01258 | 0.00389 | 0.0635 | 0.5275 | 1 | -0.0001217 | 0.02118 | 0.05118 | 0.01243 | 0.1115 | 1.756 | 0.9994 | 0.1002 | 0.1289 | 1 | 1 | 0.02273 | 0.1595 | 0.2887 | 0.1384 | 0.9705 | 1.757 | json |
| t12_x25_u4_b7 | 12 | 25 | 4 | 7 | ![]() |
cil(add(R,eql(R,D))) | 40854 | 98458048 | o1(o2(x,o2(x,x))) | true | 6839 | 6839 | 0.4825 | 0.9147 | 0.4825 | 0.1537 | 0.392 | 0 | 1 | 1 | 1 | 3.429 | 0.001987 | 0.002441 | 0.05172 | -0.1027 | 1 | -0.0000177 | 0.0003032 | 0.01268 | 0.001753 | 0.04187 | 0.8095 | 0.3193 | 0.02881 | 0.001973 | 1 | 1 | 0.008731 | 0.1124 | 0.2862 | 0.05681 | 0.7316 | 1.862 | json |
| t12_x25_u4_b8 | 12 | 25 | 4 | 8 | ![]() |
cil(add(R,min(R,D))) | 40855 | 98458049 | o1(o2(x,o2(x,x))) | true | 6847 | 6847 | 0.2238 | 0.6367 | 0.5739 | 0.4145 | 0.6438 | -1 | 1 | 2 | 1 | 4.466 | 0.01539 | 0.006745 | 0.1004 | 0.3906 | 1 | 0.0002198 | 0.02104 | 0.05761 | 0.01205 | 0.1098 | 1.093 | 1.015 | 0.05341 | 0.05075 | 1 | 1 | 0.03227 | 0.3153 | 0.7221 | 0.07785 | 0.7607 | 1.742 | json |
| t12_x25_u4_b9 | 12 | 25 | 4 | 9 | ![]() |
cil(add(R,dot(R,D))) | 40856 | 98458050 | o1(o2(x,o2(x,x))) | true | 6855 | 6855 | 0.4608 | 0.8312 | 0.5371 | 0.2308 | 0.4804 | -1 | 1 | 2 | 1 | 3.878 | 0.01256 | 0.01713 | 0.09323 | -0.1539 | 1 | -0.00009733 | 0.07696 | 0.09732 | 0.02099 | 0.1449 | 1.554 | 1.414 | 0.1286 | 0.3335 | 1 | 1 | 0.03289 | 0.2026 | 0.4042 | 0.1425 | 0.8778 | 1.751 | json |
| t12_x25_u4_b10 | 12 | 25 | 4 | 10 | ![]() |
cil(add(R,dst(R,D))) | 40857 | 98458051 | o1(o2(x,o2(x,x))) | true | 6863 | 6863 | 0.9816 | 1 | 0.9816 | 0.009929 | 0.09964 | 0.0005821 | 1 | 0.9994 | 1 | 0.4338 | 0.00359 | 0.002351 | 0.01309 | 0.2085 | 1 | 0.000005931 | 0.01852 | 0.02006 | 0.00577 | 0.07596 | 5.804 | 1.394 | 0.5983 | 1.865 | 1 | 1 | 0.006411 | 0.01818 | 0.02115 | 0.6456 | 1.831 | 2.13 | json |
| t12_x25_u4_b11 | 12 | 25 | 4 | 11 | ![]() |
cil(sub(R,add(R,D))) | 40858 | 98458052 | o1(o2(x,o2(x,x))) | true | 6871 | 6871 | 0.5 | 1 | 0.5 | 0.1418 | 0.3765 | 0.000291 | 0.9997 | 0.9994 | 1 | 3.406 | 0.06511 | 0 | 0.1228 | 1 | 1 | 0 | 0.1208 | 0.1337 | 0.05001 | 0.2236 | 1.821 | 0.9994 | 0.4593 | 0.8522 | 1 | 1 | 0.07073 | 0.2419 | 0 | 0.4989 | 1.706 | 0 | json |
| t12_x25_u4_b12 | 12 | 25 | 4 | 12 | ![]() |
cil(sub(R,sub(R,D))) | 40859 | 98458053 | o1(o2(x,o2(x,x))) | true | 6879 | 6879 | 0.5 | 1 | 0.5 | 0.1418 | 0.3765 | 0.000291 | 0.9997 | 0.9994 | 1 | 3.406 | 0.06511 | 0 | 0.1228 | 1 | 1 | 0 | 0.1208 | 0.1337 | 0.05001 | 0.2236 | 1.821 | 0.9994 | 0.4593 | 0.8522 | 1 | 1 | 0.07073 | 0.2419 | 0 | 0.4989 | 1.706 | 0 | json |
| t12_x25_u4_b13 | 12 | 25 | 4 | 13 | ![]() |
cil(sub(R,mlt(R,D))) | 40860 | 98458054 | o1(o2(x,o2(x,x))) | true | 6887 | 6887 | 0.4562 | 0.8444 | 0.5233 | 0.2185 | 0.4675 | -0.9994 | 1 | 1.999 | 1 | 3.902 | 0.01058 | 0.003603 | 0.07302 | 0.492 | 1 | 0.0001483 | 0.01643 | 0.04124 | 0.008856 | 0.09411 | 1.289 | 0.9995 | 0.06491 | 0.07516 | 1 | 1 | 0.01933 | 0.1627 | 0.3902 | 0.08846 | 0.7446 | 1.785 | json |
| t12_x25_u4_b14 | 12 | 25 | 4 | 14 | ![]() |
cil(sub(R,div(R,D))) | 40861 | 98458055 | o1(o2(x,o2(x,x))) | true | 6895 | 6895 | 0.1797 | 0.6038 | 0.8129 | 0.7219 | 0.8496 | -1 | 1 | 2 | 1 | 3.212 | 0.2807 | 0.03167 | 0.2522 | 0.7972 | 1 | -0.0003063 | 0.6387 | 0.39 | 0.2488 | 0.4988 | 1.978 | 2.828 | 0.4328 | 0.8848 | 1 | 1 | 0.3401 | 1.285 | 1.298 | 0.4711 | 1.779 | 1.798 | json |
| t12_x25_u4_b15 | 12 | 25 | 4 | 15 | ![]() |
cil(sub(R,pow(R,D))) | 40862 | 98458056 | o1(o2(x,o2(x,x))) | true | 6903 | 6903 | -0.963 | 0 | 0.963 | 0.03323 | 0.1823 | -1 | 0 | 1 | 1 | 0.3631 | 0.005055 | 0.00354 | 0.0103 | 0.1763 | 1 | 0.00002144 | 0.01857 | 0.01866 | 0.008483 | 0.0921 | 8.939 | 1.414 | 0.2587 | 0.5588 | 1 | 1 | 0.006301 | 0.02452 | 0.05841 | 0.1896 | 0.738 | 1.758 | json |
| t12_x25_u4_b16 | 12 | 25 | 4 | 16 | ![]() |
cil(sub(R,mod(R,D))) | 40863 | 98458057 | o1(o2(x,o2(x,x))) | true | 6911 | 6911 | 0.3647 | 0.7224 | 0.3647 | 0.1478 | 0.3845 | 0 | 1 | 1 | 1 | 3.153 | 0.01733 | 0.002075 | 0.06752 | 0.7862 | 1 | 0.0003313 | 0.03118 | 0.0595 | 0.01485 | 0.1219 | 1.805 | 0.9994 | 0.1313 | 0.2109 | 1 | 1 | 0.02057 | 0.1314 | 0.2727 | 0.1392 | 0.8891 | 1.845 | json |
| t12_x25_u4_b17 | 12 | 25 | 4 | 17 | ![]() |
cil(sub(R,lrg(R,D))) | 40864 | 98458058 | o1(o2(x,o2(x,x))) | true | 6919 | 6919 | -0.01671 | 0.2906 | 0.1112 | 0.055 | 0.2345 | -0.9994 | 0.9994 | 1.999 | 1 | 2.918 | 0.01874 | 0.0008273 | 0.05905 | 0.9155 | 1 | -0.00003183 | 0.03802 | 0.06553 | 0.01608 | 0.1268 | 2.148 | 0.9994 | 0.3559 | 0.6912 | 1 | 1 | 0.01886 | 0.0653 | 0.09898 | 0.3429 | 1.187 | 1.8 | json |
| t12_x25_u4_b18 | 12 | 25 | 4 | 18 | ![]() |
cil(sub(R,eql(R,D))) | 40865 | 98458059 | o1(o2(x,o2(x,x))) | true | 6927 | 6927 | 0.4824 | 0.9146 | 0.4824 | 0.1537 | 0.3921 | -0.3279 | 1 | 1.328 | 1 | 3.43 | 0.001987 | 0.002443 | 0.05173 | -0.1031 | 1 | -0.00001793 | 0.0003033 | 0.01268 | 0.001754 | 0.04189 | 0.8097 | 0.3199 | 0.02882 | 0.001973 | 1 | 1 | 0.008731 | 0.1124 | 0.2863 | 0.05679 | 0.7314 | 1.862 | json |
| t12_x25_u4_b19 | 12 | 25 | 4 | 19 | ![]() |
cil(sub(R,min(R,D))) | 40866 | 98458060 | o1(o2(x,o2(x,x))) | true | 6935 | 6935 | 0.54 | 0.9312 | 0.54 | 0.1564 | 0.3954 | 0 | 1 | 1 | 1 | 3.368 | 0.02107 | 0.002458 | 0.08394 | 0.7911 | 1 | -0.00007447 | 0.03974 | 0.08 | 0.01649 | 0.1284 | 1.53 | 0.9997 | 0.1505 | 0.2541 | 1 | 1 | 0.02653 | 0.1478 | 0.285 | 0.1696 | 0.9452 | 1.823 | json |
| t12_x25_u4_b20 | 12 | 25 | 4 | 20 | ![]() |
cil(sub(R,dot(R,D))) | 40867 | 98458061 | o1(o2(x,o2(x,x))) | true | 6943 | 6943 | 0.4563 | 0.8268 | 0.5342 | 0.2292 | 0.4787 | -1 | 1 | 2 | 1 | 3.941 | 0.01276 | 0.01719 | 0.09489 | -0.1481 | 1 | 0.0001768 | 0.07794 | 0.09784 | 0.02095 | 0.1447 | 1.525 | 1.413 | 0.1307 | 0.3401 | 1 | 1 | 0.03407 | 0.2037 | 0.4066 | 0.1487 | 0.889 | 1.774 | json |
| t12_x25_u4_b21 | 12 | 25 | 4 | 21 | ![]() |
cil(sub(R,dst(R,D))) | 40868 | 98458062 | o1(o2(x,o2(x,x))) | true | 6951 | 6951 | -0.4732 | 0.06915 | 0.5139 | 0.2015 | 0.4489 | -1 | 0.9923 | 1.992 | 1 | 3.691 | 0.01414 | 0.01685 | 0.09173 | -0.08737 | 1 | -0.00001685 | 0.08262 | 0.1034 | 0.02258 | 0.1503 | 1.638 | 1.414 | 0.1538 | 0.41 | 1 | 1 | 0.03436 | 0.1912 | 0.3572 | 0.1705 | 0.9488 | 1.773 | json |
| t12_x25_u4_b22 | 12 | 25 | 4 | 22 | ![]() |
cil(mlt(R,add(R,D))) | 40869 | 98458063 | o1(o2(x,o2(x,x))) | true | 6959 | 6959 | 0.8809 | 0.9983 | 0.8809 | 0.05487 | 0.2342 | 0 | 1 | 1 | 1 | 1.95 | 0.01824 | 0.0008611 | 0.05434 | 0.9098 | 1 | 0.000547 | 0.03669 | 0.06559 | 0.01614 | 0.1271 | 2.338 | 0.9997 | 0.3481 | 0.6687 | 1 | 1 | 0.01844 | 0.06977 | 0.09713 | 0.3362 | 1.272 | 1.77 | json |
| t12_x25_u4_b23 | 12 | 25 | 4 | 23 | ![]() |
cil(mlt(R,sub(R,D))) | 40870 | 98458064 | o1(o2(x,o2(x,x))) | true | 6967 | 6967 | 0.8801 | 0.9988 | 0.8801 | 0.05682 | 0.2384 | 0 | 1 | 1 | 1 | 1.932 | 0.01849 | 0.0008594 | 0.05397 | 0.9112 | 1 | 0.00004432 | 0.03713 | 0.06556 | 0.01644 | 0.1282 | 2.375 | 0.9997 | 0.3405 | 0.6535 | 1 | 1 | 0.01905 | 0.07415 | 0.1052 | 0.3352 | 1.305 | 1.851 | json |
| t12_x25_u4_b24 | 12 | 25 | 4 | 24 | ![]() |
cil(mlt(R,mlt(R,D))) | 40871 | 98458065 | o1(o2(x,o2(x,x))) | true | 6975 | 6975 | 0.5 | 1 | 0.5 | 0.1418 | 0.3765 | 0.000291 | 0.9997 | 0.9994 | 1 | 3.406 | 0.06511 | 0 | 0.1228 | 1 | 1 | 0 | 0.1208 | 0.1337 | 0.05001 | 0.2236 | 1.821 | 0.9994 | 0.4593 | 0.8522 | 1 | 1 | 0.07073 | 0.2419 | 0 | 0.4989 | 1.706 | 0 | json |
| t12_x25_u4_b25 | 12 | 25 | 4 | 25 | ![]() |
cil(mlt(R,div(R,D))) | 40872 | 98458066 | o1(o2(x,o2(x,x))) | true | 6983 | 6983 | 0.2562 | 0.6873 | 0.7432 | 0.601 | 0.7752 | -1 | 1 | 2 | 1 | 3.625 | 0.2781 | 0.002437 | 0.2408 | 0.9826 | 1 | -0.0003498 | 0.5397 | 0.3444 | 0.2225 | 0.4717 | 1.959 | 2.083 | 0.4668 | 0.8981 | 1 | 1 | 0.2993 | 1.018 | 0.1955 | 0.498 | 1.694 | 0.3252 | json |
| t12_x25_u4_b26 | 12 | 25 | 4 | 26 | ![]() |
cil(mlt(R,pow(R,D))) | 40873 | 98458067 | o1(o2(x,o2(x,x))) | true | 6991 | 6991 | -0.9141 | 0.04297 | 1 | 0.1645 | 0.4056 | -1 | 1 | 2 | 1 | 0.2557 | 0.01688 | 0.01638 | 0.01652 | 0.01515 | 1 | 0 | 0.06954 | 0.03326 | 0.03297 | 0.1816 | 10.99 | 2.828 | 0.2022 | 0.4228 | 1 | 1 | 0.02543 | 0.1095 | 0.2757 | 0.1546 | 0.6659 | 1.676 | json |
| t12_x25_u4_b27 | 12 | 25 | 4 | 27 | ![]() |
cil(mlt(R,mod(R,D))) | 40874 | 98458068 | o1(o2(x,o2(x,x))) | true | 6999 | 6999 | 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 |
| t12_x25_u4_b28 | 12 | 25 | 4 | 28 | ![]() |
cil(mlt(R,lrg(R,D))) | 40875 | 98458069 | o1(o2(x,o2(x,x))) | true | 7007 | 7007 | 0.4232 | 0.8335 | 0.4232 | 0.1518 | 0.3896 | 0 | 1 | 1 | 1 | 3.35 | 0.01015 | 0.002268 | 0.0614 | 0.6347 | 1 | 0.0000315 | 0.01717 | 0.03834 | 0.00865 | 0.093 | 1.515 | 0.9994 | 0.0818 | 0.1131 | 1 | 1 | 0.01515 | 0.1243 | 0.2844 | 0.09979 | 0.819 | 1.874 | json |
| t12_x25_u4_b29 | 12 | 25 | 4 | 29 | ![]() |
cil(mlt(R,eql(R,D))) | 40876 | 98458070 | o1(o2(x,o2(x,x))) | true | 7015 | 7015 | 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 |
| t12_x25_u4_b30 | 12 | 25 | 4 | 30 | ![]() |
cil(mlt(R,min(R,D))) | 40877 | 98458071 | o1(o2(x,o2(x,x))) | true | 7023 | 7023 | 0.7607 | 1 | 0.7607 | 0.1075 | 0.3279 | 0.000291 | 1 | 0.9997 | 1 | 2.776 | 0.02734 | 0.00118 | 0.06882 | 0.9172 | 1 | 0.00001639 | 0.05101 | 0.06655 | 0.02378 | 0.1542 | 2.241 | 0.9997 | 0.2652 | 0.4745 | 1 | 1 | 0.03061 | 0.1388 | 0.1417 | 0.2847 | 1.291 | 1.318 | json |
| t12_x25_u4_b31 | 12 | 25 | 4 | 31 | ![]() |
cil(mlt(R,dot(R,D))) | 40878 | 98458072 | o1(o2(x,o2(x,x))) | true | 7031 | 7031 | 0.5027 | 0.9583 | 0.5028 | 0.1283 | 0.3582 | -0.145 | 1 | 1.145 | 1 | 3.754 | 0.03569 | 0.0337 | 0.1342 | 0.02861 | 1 | -0.00001318 | 0.2207 | 0.1822 | 0.05138 | 0.2267 | 1.689 | 1.413 | 0.5409 | 1.72 | 1 | 1 | 0.07392 | 0.2617 | 0.1983 | 0.5762 | 2.04 | 1.546 | json |
| t12_x25_u4_b32 | 12 | 25 | 4 | 32 | ![]() |
cil(mlt(R,dst(R,D))) | 40879 | 98458073 | o1(o2(x,o2(x,x))) | true | 7039 | 7039 | 0.4355 | 0.8189 | 0.5547 | 0.2699 | 0.5196 | -1 | 1 | 2 | 1 | 3.975 | 0.009445 | 0.008592 | 0.07954 | 0.04729 | 1 | -0.00006745 | 0.03505 | 0.05254 | 0.01171 | 0.1082 | 1.361 | 1.409 | 0.06682 | 0.1298 | 1 | 1 | 0.02337 | 0.1991 | 0.4738 | 0.08656 | 0.7376 | 1.755 | json |
| t12_x25_u4_b33 | 12 | 25 | 4 | 33 | ![]() |
cil(div(R,add(R,D))) | 40880 | 98458074 | o1(o2(x,o2(x,x))) | true | 7047 | 7047 | 0.7568 | 0.9018 | 0.9109 | 0.3043 | 0.5516 | -1 | 1 | 2 | 1 | 1.903 | 0.3214 | 0.008849 | 0.2283 | 0.9464 | 1 | 0.001274 | 0.8439 | 0.3914 | 0.2781 | 0.5273 | 2.309 | 2.828 | 1.085 | 2.773 | 1 | 1 | 0.2538 | 0.4365 | 0.5846 | 0.8341 | 1.434 | 1.921 | json |
| t12_x25_u4_b34 | 12 | 25 | 4 | 34 | ![]() |
cil(div(R,sub(R,D))) | 40881 | 98458075 | o1(o2(x,o2(x,x))) | true | 7055 | 7055 | 0.7572 | 0.8996 | 0.9133 | 0.3075 | 0.5545 | -1 | 1 | 2 | 1 | 1.848 | 0.3138 | 0.008561 | 0.2237 | 0.9469 | 1 | -0.0001082 | 0.8185 | 0.383 | 0.2723 | 0.5218 | 2.332 | 2.828 | 1.048 | 2.662 | 1 | 1 | 0.2499 | 0.4404 | 0.5881 | 0.8129 | 1.432 | 1.913 | json |
| t12_x25_u4_b35 | 12 | 25 | 4 | 35 | ![]() |
cil(div(R,mlt(R,D))) | 40882 | 98458076 | o1(o2(x,o2(x,x))) | true | 7063 | 7063 | 0.06746 | 0.5 | 0.9326 | 0.9038 | 0.9507 | -1 | 1 | 2 | 1 | 1.531 | 0.354 | 0 | 0.246 | 1 | 1 | 0 | 0.619 | 0.3948 | 0.2935 | 0.5417 | 2.202 | 2 | 0.3917 | 0.6849 | 1 | 1 | 0.4017 | 1.777 | 0 | 0.4444 | 1.966 | 0 | json |
| t12_x25_u4_b36 | 12 | 25 | 4 | 36 | ![]() |
cil(div(R,div(R,D))) | 40883 | 98458077 | o1(o2(x,o2(x,x))) | true | 7071 | 7071 | 0.5 | 1 | 0.5 | 0.1418 | 0.3765 | 0.000291 | 0.9997 | 0.9994 | 1 | 3.406 | 0.06511 | 0 | 0.1228 | 1 | 1 | 0 | 0.1208 | 0.1337 | 0.05001 | 0.2236 | 1.821 | 0.9994 | 0.4593 | 0.8522 | 1 | 1 | 0.07073 | 0.2419 | 0 | 0.4989 | 1.706 | 0 | json |
| t12_x25_u4_b37 | 12 | 25 | 4 | 37 | ![]() |
cil(div(R,pow(R,D))) | 40884 | 98458078 | o1(o2(x,o2(x,x))) | true | 7079 | 7079 | -0.9141 | 0.04297 | 1 | 0.1645 | 0.4056 | -1 | 1 | 2 | 1 | 0.2557 | 0.01688 | 0.01638 | 0.01652 | 0.01515 | 1 | 0 | 0.06954 | 0.03326 | 0.03297 | 0.1816 | 10.99 | 2.828 | 0.2022 | 0.4228 | 1 | 1 | 0.02543 | 0.1095 | 0.2757 | 0.1546 | 0.6659 | 1.676 | json |
| t12_x25_u4_b38 | 12 | 25 | 4 | 38 | ![]() |
cil(div(R,mod(R,D))) | 40885 | 98458079 | o1(o2(x,o2(x,x))) | true | 7087 | 7087 | 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 |
| t12_x25_u4_b39 | 12 | 25 | 4 | 39 | ![]() |
cil(div(R,lrg(R,D))) | 40886 | 98458080 | o1(o2(x,o2(x,x))) | true | 7095 | 7095 | -0.8662 | 0.06885 | 0.9961 | 0.2431 | 0.4931 | -1 | 1 | 2 | 1 | 0.4605 | 0.09488 | 0.02107 | 0.05994 | 0.6365 | 1 | 0.000009529 | 0.2584 | 0.1185 | 0.1123 | 0.3351 | 5.59 | 2.828 | 0.4769 | 1.063 | 1 | 1 | 0.1046 | 0.3074 | 0.4584 | 0.4304 | 1.264 | 1.885 | json |
| t12_x25_u4_b40 | 12 | 25 | 4 | 40 | ![]() |
cil(div(R,eql(R,D))) | 40887 | 98458081 | o1(o2(x,o2(x,x))) | true | 7103 | 7103 | -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 |
| t12_x25_u4_b41 | 12 | 25 | 4 | 41 | ![]() |
cil(div(R,min(R,D))) | 40888 | 98458082 | o1(o2(x,o2(x,x))) | true | 7111 | 7111 | 0.5431 | 0.7983 | 0.8692 | 0.525 | 0.7246 | -1 | 1 | 2 | 1 | 2.633 | 0.1804 | 0.008702 | 0.166 | 0.908 | 1 | -0.0003574 | 0.3675 | 0.2321 | 0.1615 | 0.4019 | 2.422 | 2.353 | 0.3602 | 0.7 | 1 | 1 | 0.1986 | 0.7855 | 0.6185 | 0.3782 | 1.496 | 1.178 | json |
| t12_x25_u4_b42 | 12 | 25 | 4 | 42 | ![]() |
cil(div(R,dot(R,D))) | 40889 | 98458083 | o1(o2(x,o2(x,x))) | true | 7119 | 7119 | 0.1277 | 0.5661 | 0.8731 | 0.8163 | 0.9035 | -1 | 1 | 2 | 1 | 2.661 | 0.3913 | 0.3344 | 0.4374 | 0.0784 | 1 | -0.0001958 | 2.532 | 0.8211 | 0.5344 | 0.731 | 1.671 | 2.828 | 0.889 | 3.102 | 1 | 1 | 0.7021 | 1.883 | 1.214 | 0.8601 | 2.307 | 1.488 | json |
| t12_x25_u4_b43 | 12 | 25 | 4 | 43 | ![]() |
cil(div(R,dst(R,D))) | 40890 | 98458084 | o1(o2(x,o2(x,x))) | true | 7127 | 7127 | 0.4634 | 0.8704 | 0.5055 | 0.1944 | 0.4409 | -1 | 1 | 2 | 1 | 3.763 | 0.00791 | 0.007027 | 0.07076 | 0.0591 | 1 | -0.000003055 | 0.0313 | 0.0483 | 0.00993 | 0.09965 | 1.408 | 1.411 | 0.07684 | 0.161 | 1 | 1 | 0.02019 | 0.1557 | 0.3578 | 0.1039 | 0.8009 | 1.841 | json |
| t12_x25_u4_b44 | 12 | 25 | 4 | 44 | ![]() |
cil(pow(R,add(R,D))) | 40891 | 98458085 | o1(o2(x,o2(x,x))) | true | 7135 | 7135 | -0.9141 | 0.04297 | 1 | 0.1645 | 0.4056 | -1 | 1 | 2 | 1 | 0.2557 | 0.01688 | 0.01638 | 0.01652 | 0.01515 | 1 | 0 | 0.06954 | 0.03326 | 0.03297 | 0.1816 | 10.99 | 2.828 | 0.2022 | 0.4228 | 1 | 1 | 0.02543 | 0.1095 | 0.2757 | 0.1546 | 0.6659 | 1.676 | json |
| t12_x25_u4_b45 | 12 | 25 | 4 | 45 | ![]() |
cil(pow(R,sub(R,D))) | 40892 | 98458086 | o1(o2(x,o2(x,x))) | true | 7143 | 7143 | -0.9141 | 0.04297 | 1 | 0.1645 | 0.4056 | -1 | 1 | 2 | 1 | 0.2557 | 0.01688 | 0.01638 | 0.01652 | 0.01515 | 1 | 0 | 0.06954 | 0.03326 | 0.03297 | 0.1816 | 10.99 | 2.828 | 0.2022 | 0.4228 | 1 | 1 | 0.02543 | 0.1095 | 0.2757 | 0.1546 | 0.6659 | 1.676 | json |
| t12_x25_u4_b46 | 12 | 25 | 4 | 46 | ![]() |
cil(pow(R,mlt(R,D))) | 40893 | 98458087 | o1(o2(x,o2(x,x))) | true | 7151 | 7151 | -0.9141 | 0.04297 | 1 | 0.1645 | 0.4056 | -1 | 1 | 2 | 1 | 0.2557 | 0.01688 | 0.01638 | 0.01652 | 0.01515 | 1 | 0 | 0.06954 | 0.03326 | 0.03297 | 0.1816 | 10.99 | 2.828 | 0.2022 | 0.4228 | 1 | 1 | 0.02543 | 0.1095 | 0.2757 | 0.1546 | 0.6659 | 1.676 | json |
| t12_x25_u4_b47 | 12 | 25 | 4 | 47 | ![]() |
cil(pow(R,div(R,D))) | 40894 | 98458088 | o1(o2(x,o2(x,x))) | true | 7159 | 7159 | -0.9141 | 0.04297 | 1 | 0.1645 | 0.4056 | -1 | 1 | 2 | 1 | 0.2557 | 0.01688 | 0.01638 | 0.01652 | 0.01515 | 1 | 0 | 0.06954 | 0.03326 | 0.03297 | 0.1816 | 10.99 | 2.828 | 0.2022 | 0.4228 | 1 | 1 | 0.02543 | 0.1095 | 0.2757 | 0.1546 | 0.6659 | 1.676 | json |
| t12_x25_u4_b48 | 12 | 25 | 4 | 48 | ![]() |
cil(pow(R,pow(R,D))) | 40895 | 98458089 | o1(o2(x,o2(x,x))) | true | 7167 | 7167 | -0.9141 | 0.04297 | 1 | 0.1645 | 0.4056 | -1 | 1 | 2 | 1 | 0.2557 | 0.01688 | 0.01638 | 0.01652 | 0.01515 | 1 | 0 | 0.06954 | 0.03326 | 0.03297 | 0.1816 | 10.99 | 2.828 | 0.2022 | 0.4228 | 1 | 1 | 0.02543 | 0.1095 | 0.2757 | 0.1546 | 0.6659 | 1.676 | json |
| t12_x25_u4_b49 | 12 | 25 | 4 | 49 | ![]() |
cil(pow(R,mod(R,D))) | 40896 | 98458090 | o1(o2(x,o2(x,x))) | true | 7175 | 7175 | -0.9141 | 0.04297 | 1 | 0.1645 | 0.4056 | -1 | 1 | 2 | 1 | 0.2557 | 0.01688 | 0.01638 | 0.01652 | 0.01515 | 1 | 0 | 0.06954 | 0.03326 | 0.03297 | 0.1816 | 10.99 | 2.828 | 0.2022 | 0.4228 | 1 | 1 | 0.02543 | 0.1095 | 0.2757 | 0.1546 | 0.6659 | 1.676 | json |
| t12_x25_u4_b50 | 12 | 25 | 4 | 50 | ![]() |
cil(pow(R,lrg(R,D))) | 40897 | 98458091 | o1(o2(x,o2(x,x))) | true | 7183 | 7183 | 0.1138 | 0.5569 | 1 | 0.9873 | 0.9936 | -1 | 1 | 2 | 1 | 0.9906 | 0.3663 | 0.06003 | 0.2118 | 0.7184 | 1 | -0.0005039 | 0.92 | 0.4269 | 0.3815 | 0.6177 | 2.916 | 2.828 | 0.4319 | 0.9319 | 1 | 1 | 0.4305 | 1.235 | 1.613 | 0.4361 | 1.251 | 1.633 | json |
| t12_x25_u4_b51 | 12 | 25 | 4 | 51 | ![]() |
cil(pow(R,eql(R,D))) | 40898 | 98458092 | o1(o2(x,o2(x,x))) | true | 7191 | 7191 | 0.9995 | 0.9998 | 1 | 0.0009763 | 0.03125 | -1 | 1 | 2 | 1 | 0.003282 | 0.001764 | 0.00006299 | 0.0009133 | 0.931 | 1 | 0 | 0.005669 | 0.001827 | 0.001826 | 0.04273 | 46.78 | 2 | 1.871 | 5.806 | 1 | 1 | 0 | 0 | 0.000831 | 0 | 0 | 0.8512 | json |
| t12_x25_u4_b52 | 12 | 25 | 4 | 52 | ![]() |
cil(pow(R,min(R,D))) | 40899 | 98458093 | o1(o2(x,o2(x,x))) | true | 7199 | 7199 | -0.9141 | 0.04297 | 1 | 0.1645 | 0.4056 | -1 | 1 | 2 | 1 | 0.2557 | 0.01688 | 0.01638 | 0.01652 | 0.01515 | 1 | 0 | 0.06954 | 0.03326 | 0.03297 | 0.1816 | 10.99 | 2.828 | 0.2022 | 0.4228 | 1 | 1 | 0.02543 | 0.1095 | 0.2757 | 0.1546 | 0.6659 | 1.676 | json |



































































































