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_u4_b53 | 12 | 25 | 4 | 53 | ![]() |
cil(pow(R,dot(R,D))) | 40900 | 98458094 | o1(o2(x,o2(x,x))) | true | 7207 | 7207 | -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_b54 | 12 | 25 | 4 | 54 | ![]() |
cil(pow(R,dst(R,D))) | 40901 | 98458095 | o1(o2(x,o2(x,x))) | true | 7215 | 7215 | -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_b55 | 12 | 25 | 4 | 55 | ![]() |
cil(mod(R,add(R,D))) | 40902 | 98458096 | o1(o2(x,o2(x,x))) | true | 7223 | 7223 | 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 |
| t12_x25_u4_b56 | 12 | 25 | 4 | 56 | ![]() |
cil(mod(R,sub(R,D))) | 40903 | 98458097 | o1(o2(x,o2(x,x))) | true | 7231 | 7231 | 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 |
| t12_x25_u4_b57 | 12 | 25 | 4 | 57 | ![]() |
cil(mod(R,mlt(R,D))) | 40904 | 98458098 | o1(o2(x,o2(x,x))) | true | 7239 | 7239 | 0.4343 | 0.882 | 0.4343 | 0.1546 | 0.3932 | 0 | 1 | 1 | 1 | 3.336 | 0.04002 | 0.002202 | 0.09193 | 0.8957 | 1 | -0.00001924 | 0.07771 | 0.1002 | 0.03377 | 0.1838 | 1.999 | 0.9997 | 0.2731 | 0.5026 | 1 | 1 | 0.04368 | 0.1269 | 0.2622 | 0.2825 | 0.8209 | 1.696 | json |
| t12_x25_u4_b58 | 12 | 25 | 4 | 58 | ![]() |
cil(mod(R,div(R,D))) | 40905 | 98458099 | o1(o2(x,o2(x,x))) | true | 7247 | 7247 | 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 |
| t12_x25_u4_b59 | 12 | 25 | 4 | 59 | ![]() |
cil(mod(R,pow(R,D))) | 40906 | 98458100 | o1(o2(x,o2(x,x))) | true | 7255 | 7255 | -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_b60 | 12 | 25 | 4 | 60 | ![]() |
cil(mod(R,mod(R,D))) | 40907 | 98458101 | o1(o2(x,o2(x,x))) | true | 7263 | 7263 | 0.3918 | 0.7764 | 0.3918 | 0.1505 | 0.388 | 0 | 1 | 1 | 1 | 3.248 | 0.01296 | 0.002109 | 0.06289 | 0.7201 | 1 | 0.0003068 | 0.02229 | 0.04604 | 0.01112 | 0.1054 | 1.677 | 0.9994 | 0.1001 | 0.1481 | 1 | 1 | 0.01632 | 0.123 | 0.2863 | 0.1084 | 0.8171 | 1.902 | json |
| t12_x25_u4_b61 | 12 | 25 | 4 | 61 | ![]() |
cil(mod(R,lrg(R,D))) | 40908 | 98458102 | o1(o2(x,o2(x,x))) | true | 7271 | 7271 | -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_b62 | 12 | 25 | 4 | 62 | ![]() |
cil(mod(R,eql(R,D))) | 40909 | 98458103 | o1(o2(x,o2(x,x))) | true | 7279 | 7279 | -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_b63 | 12 | 25 | 4 | 63 | ![]() |
cil(mod(R,min(R,D))) | 40910 | 98458104 | o1(o2(x,o2(x,x))) | true | 7287 | 7287 | 0.4368 | 0.8556 | 0.4368 | 0.1528 | 0.3909 | 0 | 1 | 1 | 1 | 3.373 | 0.008068 | 0.002288 | 0.05882 | 0.5582 | 1 | 0.00001927 | 0.01283 | 0.03154 | 0.006896 | 0.08304 | 1.412 | 0.9994 | 0.06777 | 0.08394 | 1 | 1 | 0.01296 | 0.1211 | 0.2926 | 0.08484 | 0.7924 | 1.915 | json |
| t12_x25_u4_b64 | 12 | 25 | 4 | 64 | ![]() |
cil(mod(R,dot(R,D))) | 40911 | 98458105 | o1(o2(x,o2(x,x))) | true | 7295 | 7295 | 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 |
| t12_x25_u4_b65 | 12 | 25 | 4 | 65 | ![]() |
cil(mod(R,dst(R,D))) | 40912 | 98458106 | o1(o2(x,o2(x,x))) | true | 7303 | 7303 | 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 |
| t12_x25_u4_b66 | 12 | 25 | 4 | 66 | ![]() |
cil(lrg(R,add(R,D))) | 40913 | 98458107 | o1(o2(x,o2(x,x))) | true | 7311 | 7311 | 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_b67 | 12 | 25 | 4 | 67 | ![]() |
cil(lrg(R,sub(R,D))) | 40914 | 98458108 | o1(o2(x,o2(x,x))) | true | 7319 | 7319 | 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_b68 | 12 | 25 | 4 | 68 | ![]() |
cil(lrg(R,mlt(R,D))) | 40915 | 98458109 | o1(o2(x,o2(x,x))) | true | 7327 | 7327 | 0.4824 | 0.9145 | 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 |
| t12_x25_u4_b69 | 12 | 25 | 4 | 69 | ![]() |
cil(lrg(R,div(R,D))) | 40916 | 98458110 | o1(o2(x,o2(x,x))) | true | 7335 | 7335 | 0.4961 | 0.9456 | 0.4961 | 0.147 | 0.3834 | 0 | 1 | 1 | 1 | 3.516 | 0.04778 | 0.002278 | 0.1019 | 0.909 | 1 | -0.00001497 | 0.09324 | 0.1121 | 0.03968 | 0.1992 | 1.955 | 1 | 0.3406 | 0.6344 | 1 | 1 | 0.05494 | 0.2454 | 0.2817 | 0.3738 | 1.67 | 1.917 | json |
| t12_x25_u4_b70 | 12 | 25 | 4 | 70 | ![]() |
cil(lrg(R,pow(R,D))) | 40917 | 98458111 | o1(o2(x,o2(x,x))) | true | 7343 | 7343 | 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 |
| t12_x25_u4_b71 | 12 | 25 | 4 | 71 | ![]() |
cil(lrg(R,mod(R,D))) | 40918 | 98458112 | o1(o2(x,o2(x,x))) | true | 7351 | 7351 | 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_b72 | 12 | 25 | 4 | 72 | ![]() |
cil(lrg(R,lrg(R,D))) | 40919 | 98458113 | o1(o2(x,o2(x,x))) | true | 7359 | 7359 | 0.05923 | 0.3556 | 0.05923 | 0.02567 | 0.1602 | 0 | 0.9994 | 0.9994 | 1 | 1.251 | 0.008427 | 0.0003582 | 0.02849 | 0.9185 | 1 | -0.00004931 | 0.01697 | 0.0305 | 0.007977 | 0.08931 | 3.135 | 0.9994 | 0.3423 | 0.6611 | 1 | 1 | 0.007699 | 0.02811 | 0.04308 | 0.3 | 1.095 | 1.679 | json |
| t12_x25_u4_b73 | 12 | 25 | 4 | 73 | ![]() |
cil(lrg(R,eql(R,D))) | 40920 | 98458114 | o1(o2(x,o2(x,x))) | true | 7367 | 7367 | 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 |
| t12_x25_u4_b74 | 12 | 25 | 4 | 74 | ![]() |
cil(lrg(R,min(R,D))) | 40921 | 98458115 | o1(o2(x,o2(x,x))) | true | 7375 | 7375 | 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_u4_b75 | 12 | 25 | 4 | 75 | ![]() |
cil(lrg(R,dot(R,D))) | 40922 | 98458116 | o1(o2(x,o2(x,x))) | true | 7383 | 7383 | 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_u4_b76 | 12 | 25 | 4 | 76 | ![]() |
cil(lrg(R,dst(R,D))) | 40923 | 98458117 | o1(o2(x,o2(x,x))) | true | 7391 | 7391 | 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_u4_b77 | 12 | 25 | 4 | 77 | ![]() |
cil(eql(R,add(R,D))) | 40924 | 98458118 | o1(o2(x,o2(x,x))) | true | 7399 | 7399 | 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_b78 | 12 | 25 | 4 | 78 | ![]() |
cil(eql(R,sub(R,D))) | 40925 | 98458119 | o1(o2(x,o2(x,x))) | true | 7407 | 7407 | 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_b79 | 12 | 25 | 4 | 79 | ![]() |
cil(eql(R,mlt(R,D))) | 40926 | 98458120 | o1(o2(x,o2(x,x))) | true | 7415 | 7415 | 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_u4_b80 | 12 | 25 | 4 | 80 | ![]() |
cil(eql(R,div(R,D))) | 40927 | 98458121 | o1(o2(x,o2(x,x))) | true | 7423 | 7423 | 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_u4_b81 | 12 | 25 | 4 | 81 | ![]() |
cil(eql(R,pow(R,D))) | 40928 | 98458122 | o1(o2(x,o2(x,x))) | true | 7431 | 7431 | 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_b82 | 12 | 25 | 4 | 82 | ![]() |
cil(eql(R,mod(R,D))) | 40929 | 98458123 | o1(o2(x,o2(x,x))) | true | 7439 | 7439 | 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_u4_b83 | 12 | 25 | 4 | 83 | ![]() |
cil(eql(R,lrg(R,D))) | 40930 | 98458124 | o1(o2(x,o2(x,x))) | true | 7447 | 7447 | 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_b84 | 12 | 25 | 4 | 84 | ![]() |
cil(eql(R,eql(R,D))) | 40931 | 98458125 | o1(o2(x,o2(x,x))) | true | 7455 | 7455 | 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_b85 | 12 | 25 | 4 | 85 | ![]() |
cil(eql(R,min(R,D))) | 40932 | 98458126 | o1(o2(x,o2(x,x))) | true | 7463 | 7463 | 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_u4_b86 | 12 | 25 | 4 | 86 | ![]() |
cil(eql(R,dot(R,D))) | 40933 | 98458127 | o1(o2(x,o2(x,x))) | true | 7471 | 7471 | 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_u4_b87 | 12 | 25 | 4 | 87 | ![]() |
cil(eql(R,dst(R,D))) | 40934 | 98458128 | o1(o2(x,o2(x,x))) | true | 7479 | 7479 | 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_u4_b88 | 12 | 25 | 4 | 88 | ![]() |
cil(min(R,add(R,D))) | 40935 | 98458129 | o1(o2(x,o2(x,x))) | true | 7487 | 7487 | 0.3522 | 0.7604 | 0.443 | 0.2117 | 0.4601 | -0.9994 | 1 | 1.999 | 1 | 4.197 | 0.02052 | 0.003039 | 0.08913 | 0.742 | 1 | 0.0008008 | 0.03639 | 0.06997 | 0.01561 | 0.1249 | 1.402 | 0.9994 | 0.1112 | 0.1719 | 1 | 1 | 0.02694 | 0.1768 | 0.3713 | 0.1272 | 0.8351 | 1.754 | json |
| t12_x25_u4_b89 | 12 | 25 | 4 | 89 | ![]() |
cil(min(R,sub(R,D))) | 40936 | 98458130 | o1(o2(x,o2(x,x))) | true | 7495 | 7495 | 0.3543 | 0.7507 | 0.44 | 0.2106 | 0.459 | -0.9994 | 1 | 1.999 | 1 | 4.149 | 0.01998 | 0.003003 | 0.0876 | 0.7387 | 1 | 0.0000715 | 0.03633 | 0.07004 | 0.01532 | 0.1238 | 1.413 | 0.9997 | 0.1091 | 0.1725 | 1 | 1 | 0.0258 | 0.1721 | 0.3718 | 0.1225 | 0.817 | 1.765 | json |
| t12_x25_u4_b90 | 12 | 25 | 4 | 90 | ![]() |
cil(min(R,mlt(R,D))) | 40937 | 98458131 | o1(o2(x,o2(x,x))) | true | 7503 | 7503 | 0.2432 | 0.7246 | 0.2432 | 0.1087 | 0.3297 | 0 | 0.9997 | 0.9997 | 1 | 2.8 | 0.02738 | 0.00118 | 0.07029 | 0.9174 | 1 | -0.00000142 | 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_u4_b91 | 12 | 25 | 4 | 91 | ![]() |
cil(min(R,div(R,D))) | 40938 | 98458132 | o1(o2(x,o2(x,x))) | true | 7511 | 7511 | -0.2231 | 0.3996 | 0.577 | 0.4395 | 0.663 | -1 | 0.9997 | 2 | 1 | 4.083 | 0.1356 | 0.01033 | 0.1843 | 0.8584 | 1 | -0.0006789 | 0.2655 | 0.2441 | 0.1119 | 0.3346 | 1.815 | 2.017 | 0.3319 | 0.604 | 1 | 1 | 0.1619 | 0.6978 | 0.713 | 0.3683 | 1.588 | 1.622 | json |
| t12_x25_u4_b92 | 12 | 25 | 4 | 92 | ![]() |
cil(min(R,pow(R,D))) | 40939 | 98458133 | o1(o2(x,o2(x,x))) | true | 7519 | 7519 | 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 |
| t12_x25_u4_b93 | 12 | 25 | 4 | 93 | ![]() |
cil(min(R,mod(R,D))) | 40940 | 98458134 | o1(o2(x,o2(x,x))) | true | 7527 | 7527 | 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 |
| t12_x25_u4_b94 | 12 | 25 | 4 | 94 | ![]() |
cil(min(R,lrg(R,D))) | 40941 | 98458135 | o1(o2(x,o2(x,x))) | true | 7535 | 7535 | 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_b95 | 12 | 25 | 4 | 95 | ![]() |
cil(min(R,eql(R,D))) | 40942 | 98458136 | o1(o2(x,o2(x,x))) | true | 7543 | 7543 | 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_b96 | 12 | 25 | 4 | 96 | ![]() |
cil(min(R,min(R,D))) | 40943 | 98458137 | o1(o2(x,o2(x,x))) | true | 7551 | 7551 | 0.2432 | 0.7246 | 0.2432 | 0.1087 | 0.3297 | 0 | 0.9997 | 0.9997 | 1 | 2.8 | 0.02738 | 0.00118 | 0.07029 | 0.9174 | 1 | -0.00000142 | 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_u4_b97 | 12 | 25 | 4 | 97 | ![]() |
cil(min(R,dot(R,D))) | 40944 | 98458138 | o1(o2(x,o2(x,x))) | true | 7559 | 7559 | 0.2451 | 0.6676 | 0.2459 | 0.1082 | 0.329 | -0.195 | 1 | 1.195 | 1 | 3.012 | 0.01769 | 0.01756 | 0.07627 | 0.003747 | 1 | -0.000155 | 0.1103 | 0.0937 | 0.02943 | 0.1716 | 2.249 | 1.413 | 0.3256 | 1.019 | 1 | 1 | 0.03721 | 0.1588 | 0.1952 | 0.3438 | 1.467 | 1.804 | json |
| t12_x25_u4_b98 | 12 | 25 | 4 | 98 | ![]() |
cil(min(R,dst(R,D))) | 40945 | 98458139 | o1(o2(x,o2(x,x))) | true | 7567 | 7567 | 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 |
| t12_x25_u4_b99 | 12 | 25 | 4 | 99 | ![]() |
cil(dot(R,add(R,D))) | 40946 | 98458140 | o1(o2(x,o2(x,x))) | true | 7575 | 7575 | 0.9964 | 1 | 0.9964 | 0.001156 | 0.034 | 0.03547 | 1 | 0.9645 | 1 | 0.1528 | 0.0004762 | 0.0005362 | 0.003582 | -0.05925 | 1 | 0.000005208 | 0.003354 | 0.005501 | 0.0009992 | 0.03161 | 8.825 | 1.364 | 0.8759 | 2.901 | 1 | 1 | 0.000542 | 0.001151 | 0.001288 | 0.4689 | 0.9956 | 1.115 | json |
| t12_x25_u4_b100 | 12 | 25 | 4 | 100 | ![]() |
cil(dot(R,sub(R,D))) | 40947 | 98458141 | o1(o2(x,o2(x,x))) | true | 7583 | 7583 | 0.9955 | 1 | 0.9955 | 0.001751 | 0.04185 | 0.000317 | 1 | 0.9997 | 1 | 0.1692 | 0.0005581 | 0.0005597 | 0.003708 | -0.001409 | 1 | 0.000004889 | 0.003732 | 0.005729 | 0.001105 | 0.03324 | 8.964 | 1.399 | 0.6383 | 2.131 | 1 | 1 | 0.0006769 | 0.00187 | 0.002489 | 0.3866 | 1.068 | 1.421 | json |
| t12_x25_u4_b101 | 12 | 25 | 4 | 101 | ![]() |
cil(dot(R,mlt(R,D))) | 40948 | 98458142 | o1(o2(x,o2(x,x))) | true | 7591 | 7591 | 0.5023 | 0.9996 | 0.5023 | 0.1168 | 0.3418 | 0.000002074 | 1 | 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_u4_b102 | 12 | 25 | 4 | 102 | ![]() |
cil(dot(R,div(R,D))) | 40949 | 98458143 | o1(o2(x,o2(x,x))) | true | 7599 | 7599 | -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_b103 | 12 | 25 | 4 | 103 | ![]() |
cil(dot(R,pow(R,D))) | 40950 | 98458144 | o1(o2(x,o2(x,x))) | true | 7607 | 7607 | -0.9922 | 0.003906 | 1 | 0.01552 | 0.1246 | -1 | 1 | 2 | 1 | 0.03702 | 0.001984 | 0.001984 | 0.001982 | 0 | 1 | -4.881e-11 | 0.008377 | 0.003968 | 0.003962 | 0.06294 | 31.75 | 2.236 | 0.2557 | 0.5398 | 1 | 1 | 0.007036 | 0.02831 | 0.05479 | 0.4534 | 1.824 | 3.531 | json |
| t12_x25_u4_b104 | 12 | 25 | 4 | 104 | ![]() |
cil(dot(R,mod(R,D))) | 40951 | 98458145 | o1(o2(x,o2(x,x))) | true | 7615 | 7615 | 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_b105 | 12 | 25 | 4 | 105 | ![]() |
cil(dot(R,lrg(R,D))) | 40952 | 98458146 | o1(o2(x,o2(x,x))) | true | 7623 | 7623 | 0.8555 | 0.9947 | 0.8555 | 0.07981 | 0.2825 | 0 | 1 | 1 | 1 | 1.911 | 0.00534 | 0.004529 | 0.03921 | 0.08213 | 1 | 0.0001828 | 0.01547 | 0.03308 | 0.008329 | 0.09126 | 2.327 | 1.08 | 0.1237 | 0.1939 | 1 | 1 | 0.01232 | 0.07178 | 0.134 | 0.1543 | 0.8994 | 1.679 | json |
| t12_x25_u4_b106 | 12 | 25 | 4 | 106 | ![]() |
cil(dot(R,eql(R,D))) | 40953 | 98458147 | o1(o2(x,o2(x,x))) | true | 7631 | 7631 | 0.0002102 | 0.0004883 | 0.0002102 | 0.0001417 | 0.0119 | 0 | 0.8606 | 0.8606 | 1 | 0.006317 | 0.000002076 | 0.0002926 | 0.0004378 | -0.9859 | 1 | -2.568e-11 | 0.0008861 | 0.000868 | 0.0002944 | 0.01716 | 39.19 | 0.8606 | 2.08 | 6.254 | 1 | 1 | 0.0002646 | 0.0003513 | 0.0005147 | 1.867 | 2.479 | 3.633 | json |
| t12_x25_u4_b107 | 12 | 25 | 4 | 107 | ![]() |
cil(dot(R,min(R,D))) | 40954 | 98458148 | o1(o2(x,o2(x,x))) | true | 7639 | 7639 | 0.8923 | 1 | 0.8923 | 0.05515 | 0.2348 | 0.000291 | 1 | 0.9997 | 1 | 1.711 | 0.009505 | 0.009322 | 0.04406 | 0.009705 | 1 | 0.0001295 | 0.05297 | 0.05549 | 0.01689 | 0.13 | 2.95 | 1.414 | 0.3414 | 0.9605 | 1 | 1 | 0.02234 | 0.08754 | 0.1025 | 0.4051 | 1.587 | 1.858 | json |
| t12_x25_u4_b108 | 12 | 25 | 4 | 108 | ![]() |
cil(dot(R,dot(R,D))) | 40955 | 98458149 | o1(o2(x,o2(x,x))) | true | 7647 | 7647 | 0.4909 | 0.923 | 0.4959 | 0.1465 | 0.3828 | -0.7346 | 1 | 1.735 | 1 | 3.741 | 0.03625 | 0.03582 | 0.1348 | 0.00602 | 1 | 0.0002764 | 0.2303 | 0.1958 | 0.0539 | 0.2322 | 1.722 | 1.414 | 0.4918 | 1.571 | 1 | 1 | 0.07587 | 0.28 | 0.2791 | 0.5177 | 1.911 | 1.905 | json |
| t12_x25_u4_b109 | 12 | 25 | 4 | 109 | ![]() |
cil(dot(R,dst(R,D))) | 40956 | 98458150 | o1(o2(x,o2(x,x))) | true | 7655 | 7655 | 0.3883 | 0.7708 | 0.6414 | 0.4009 | 0.6331 | -1 | 1 | 2 | 1 | 3.97 | 0.01154 | 0.01208 | 0.0924 | -0.02282 | 1 | 0.000005371 | 0.03667 | 0.06347 | 0.01509 | 0.1228 | 1.329 | 1.413 | 0.05894 | 0.09149 | 1 | 1 | 0.0366 | 0.3063 | 0.7536 | 0.09131 | 0.7642 | 1.88 | json |
| t12_x25_u4_b110 | 12 | 25 | 4 | 110 | ![]() |
cil(dst(R,add(R,D))) | 40957 | 98458151 | o1(o2(x,o2(x,x))) | true | 7663 | 7663 | 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_b111 | 12 | 25 | 4 | 111 | ![]() |
cil(dst(R,sub(R,D))) | 40958 | 98458152 | o1(o2(x,o2(x,x))) | true | 7671 | 7671 | 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_b112 | 12 | 25 | 4 | 112 | ![]() |
cil(dst(R,mlt(R,D))) | 40959 | 98458153 | o1(o2(x,o2(x,x))) | true | 7679 | 7679 | 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_b113 | 12 | 25 | 4 | 113 | ![]() |
cil(dst(R,div(R,D))) | 40960 | 98458154 | o1(o2(x,o2(x,x))) | true | 7687 | 7687 | -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_b114 | 12 | 25 | 4 | 114 | ![]() |
cil(dst(R,pow(R,D))) | 40961 | 98458155 | o1(o2(x,o2(x,x))) | true | 7695 | 7695 | -0.9922 | 0.003906 | 1 | 0.01556 | 0.1248 | -1 | 1 | 2 | 1 | 0.03687 | 0.002016 | 0.002016 | 0.001997 | 0 | 1 | 0 | 0.008566 | 0.004031 | 0.004024 | 0.06344 | 31.76 | 2.828 | 0.259 | 0.5504 | 1 | 1 | 0.007091 | 0.02837 | 0.05496 | 0.4556 | 1.823 | 3.531 | json |
| t12_x25_u4_b115 | 12 | 25 | 4 | 115 | ![]() |
cil(dst(R,mod(R,D))) | 40962 | 98458156 | o1(o2(x,o2(x,x))) | true | 7703 | 7703 | 0.9263 | 0.9994 | 0.9263 | 0.0294 | 0.1715 | 0 | 1 | 1 | 1 | 1.489 | 0.009065 | 0.008825 | 0.05166 | 0.01345 | 1 | 0.0004021 | 0.04239 | 0.07558 | 0.01522 | 0.1234 | 2.389 | 1.394 | 0.6085 | 1.442 | 1 | 1 | 0.0155 | 0.04011 | 0.04081 | 0.5271 | 1.364 | 1.388 | json |
| t12_x25_u4_b116 | 12 | 25 | 4 | 116 | ![]() |
cil(dst(R,lrg(R,D))) | 40963 | 98458157 | o1(o2(x,o2(x,x))) | true | 7711 | 7711 | 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_b117 | 12 | 25 | 4 | 117 | ![]() |
cil(dst(R,eql(R,D))) | 40964 | 98458158 | o1(o2(x,o2(x,x))) | true | 7719 | 7719 | 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_b118 | 12 | 25 | 4 | 118 | ![]() |
cil(dst(R,min(R,D))) | 40965 | 98458159 | o1(o2(x,o2(x,x))) | true | 7727 | 7727 | 0.9008 | 0.9994 | 0.9008 | 0.05835 | 0.2415 | 0 | 1 | 1 | 1 | 1.443 | 0.006263 | 0.0057 | 0.0351 | 0.04705 | 1 | 0.0001425 | 0.02202 | 0.03906 | 0.01073 | 0.1036 | 2.951 | 0.9994 | 0.205 | 0.3774 | 1 | 1 | 0.0128 | 0.06259 | 0.1001 | 0.2194 | 1.073 | 1.716 | json |
| t12_x25_u4_b119 | 12 | 25 | 4 | 119 | ![]() |
cil(dst(R,dot(R,D))) | 40966 | 98458160 | o1(o2(x,o2(x,x))) | true | 7735 | 7735 | 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_b120 | 12 | 25 | 4 | 120 | ![]() |
cil(dst(R,dst(R,D))) | 40967 | 98458161 | o1(o2(x,o2(x,x))) | true | 7743 | 7743 | 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_u5_b0 | 12 | 25 | 5 | 0 | ![]() |
sgn(add(R,add(R,D))) | 40968 | 98458242 | o1(o2(x,o2(x,x))) | true | 7751 | 7751 | -0.01971 | 0.4889 | 0.7081 | 0.5993 | 0.7741 | -1 | 1 | 2 | 1 | 4.06 | 0.04088 | 0.009031 | 0.1301 | 0.6381 | 1 | 0.0001587 | 0.0691 | 0.07916 | 0.03299 | 0.1816 | 1.396 | 1.999 | 0.08328 | 0.1153 | 1 | 1 | 0.05905 | 0.4959 | 1.1 | 0.09854 | 0.8275 | 1.835 | json |
| t12_x25_u5_b1 | 12 | 25 | 5 | 1 | ![]() |
sgn(add(R,sub(R,D))) | 40969 | 98458243 | o1(o2(x,o2(x,x))) | true | 7759 | 7759 | -0.02032 | 0.4877 | 0.721 | 0.6165 | 0.7852 | -1 | 1 | 2 | 1 | 4.006 | 0.04018 | 0.009139 | 0.1261 | 0.6294 | 1 | 0.0001687 | 0.06812 | 0.07761 | 0.03341 | 0.1828 | 1.449 | 1.999 | 0.08 | 0.1105 | 1 | 1 | 0.06218 | 0.513 | 1.176 | 0.1009 | 0.8321 | 1.907 | json |
| t12_x25_u5_b2 | 12 | 25 | 5 | 2 | ![]() |
sgn(add(R,mlt(R,D))) | 40970 | 98458244 | o1(o2(x,o2(x,x))) | true | 7767 | 7767 | -0.03516 | 0.4819 | 0.7206 | 0.6148 | 0.7841 | -1 | 1 | 2 | 1 | 4.005 | 0.007889 | 0.009769 | 0.1034 | -0.1065 | 1 | -0.00003562 | 0.001037 | 0.02513 | 0.006974 | 0.08351 | 0.8079 | 0.2338 | 0.02872 | 0.001686 | 1 | 1 | 0.03492 | 0.4498 | 1.145 | 0.0568 | 0.7316 | 1.862 | json |
| t12_x25_u5_b3 | 12 | 25 | 5 | 3 | ![]() |
sgn(add(R,div(R,D))) | 40971 | 98458245 | o1(o2(x,o2(x,x))) | true | 7775 | 7775 | 0.007812 | 0.5049 | 0.6979 | 0.5879 | 0.7668 | -1 | 1 | 2 | 1 | 4.14 | 0.1911 | 0.00911 | 0.2038 | 0.909 | 1 | 0.00002994 | 0.3729 | 0.2242 | 0.1587 | 0.3984 | 1.955 | 2 | 0.3406 | 0.6344 | 1 | 1 | 0.2198 | 0.9817 | 1.127 | 0.3738 | 1.67 | 1.917 | json |
| t12_x25_u5_b4 | 12 | 25 | 5 | 4 | ![]() |
sgn(add(R,pow(R,D))) | 40972 | 98458246 | o1(o2(x,o2(x,x))) | true | 7783 | 7783 | -0.03516 | 0.4819 | 0.7206 | 0.6148 | 0.7841 | -1 | 1 | 2 | 1 | 4.005 | 0.007889 | 0.009769 | 0.1034 | -0.1065 | 1 | -0.00003562 | 0.001037 | 0.02513 | 0.006974 | 0.08351 | 0.8079 | 0.2338 | 0.02872 | 0.001686 | 1 | 1 | 0.03492 | 0.4498 | 1.145 | 0.0568 | 0.7316 | 1.862 | json |
| t12_x25_u5_b5 | 12 | 25 | 5 | 5 | ![]() |
sgn(add(R,mod(R,D))) | 40973 | 98458247 | o1(o2(x,o2(x,x))) | true | 7791 | 7791 | -0.03516 | 0.4819 | 0.7206 | 0.6148 | 0.7841 | -1 | 1 | 2 | 1 | 4.005 | 0.007889 | 0.009769 | 0.1034 | -0.1065 | 1 | -0.00003562 | 0.001037 | 0.02513 | 0.006974 | 0.08351 | 0.8079 | 0.2338 | 0.02872 | 0.001686 | 1 | 1 | 0.03492 | 0.4498 | 1.145 | 0.0568 | 0.7316 | 1.862 | json |
| t12_x25_u5_b6 | 12 | 25 | 5 | 6 | ![]() |
sgn(add(R,lrg(R,D))) | 40974 | 98458248 | o1(o2(x,o2(x,x))) | true | 7799 | 7799 | 0.1167 | 0.5592 | 0.7228 | 0.6052 | 0.778 | -1 | 1 | 2 | 1 | 3.974 | 0.04965 | 0.00911 | 0.1324 | 0.6899 | 1 | -0.00007058 | 0.0863 | 0.09039 | 0.04122 | 0.203 | 1.533 | 1.999 | 0.09708 | 0.1426 | 1 | 1 | 0.07523 | 0.541 | 1.108 | 0.1243 | 0.8938 | 1.831 | json |
| t12_x25_u5_b7 | 12 | 25 | 5 | 7 | ![]() |
sgn(add(R,eql(R,D))) | 40975 | 98458249 | o1(o2(x,o2(x,x))) | true | 7807 | 7807 | -0.03508 | 0.482 | 0.7206 | 0.6148 | 0.7841 | -1 | 1 | 2 | 1 | 4.005 | 0.007947 | 0.009766 | 0.1034 | -0.1027 | 1 | -0.00003539 | 0.001213 | 0.02536 | 0.007013 | 0.08374 | 0.8095 | 0.6387 | 0.02881 | 0.001973 | 1 | 1 | 0.03492 | 0.4498 | 1.145 | 0.05681 | 0.7316 | 1.862 | json |
| t12_x25_u5_b8 | 12 | 25 | 5 | 8 | ![]() |
sgn(add(R,min(R,D))) | 40976 | 98458250 | o1(o2(x,o2(x,x))) | true | 7815 | 7815 | -0.1521 | 0.4221 | 0.7227 | 0.596 | 0.772 | -1 | 1 | 2 | 1 | 3.96 | 0.04026 | 0.009013 | 0.1253 | 0.6342 | 1 | 0.000564 | 0.06668 | 0.07555 | 0.03358 | 0.1832 | 1.462 | 1.999 | 0.08268 | 0.1119 | 1 | 1 | 0.05977 | 0.5034 | 1.112 | 0.1003 | 0.8447 | 1.866 | json |
| t12_x25_u5_b9 | 12 | 25 | 5 | 9 | ![]() |
sgn(add(R,dot(R,D))) | 40977 | 98458251 | o1(o2(x,o2(x,x))) | true | 7823 | 7823 | -0.01846 | 0.4906 | 0.7322 | 0.6325 | 0.7953 | -1 | 1 | 2 | 1 | 3.905 | 0.01935 | 0.0474 | 0.1355 | -0.4202 | 1 | -0.0001124 | 0.1483 | 0.1144 | 0.04839 | 0.22 | 1.623 | 2.817 | 0.1055 | 0.2345 | 1 | 1 | 0.07897 | 0.5677 | 1.149 | 0.1249 | 0.8976 | 1.816 | json |
| t12_x25_u5_b10 | 12 | 25 | 5 | 10 | ![]() |
sgn(add(R,dst(R,D))) | 40978 | 98458252 | o1(o2(x,o2(x,x))) | true | 7831 | 7831 | 0.9376 | 0.9749 | 0.9585 | 0.06359 | 0.2522 | -0.9994 | 1 | 1.999 | 1 | 0.8294 | 0.01841 | 0.01289 | 0.03445 | 0.1766 | 1 | 0.00008032 | 0.09769 | 0.04839 | 0.03011 | 0.1735 | 5.037 | 2.808 | 0.4922 | 1.536 | 1 | 1 | 0.03331 | 0.1085 | 0.1309 | 0.5239 | 1.707 | 2.058 | json |
| t12_x25_u5_b11 | 12 | 25 | 5 | 11 | ![]() |
sgn(sub(R,add(R,D))) | 40979 | 98458253 | o1(o2(x,o2(x,x))) | true | 7839 | 7839 | 1.819e-12 | 0.5 | 0.6889 | 0.5671 | 0.753 | -0.9994 | 0.9994 | 1.999 | 1 | 3.406 | 0.2604 | 0 | 0.2456 | 1 | 1 | 0 | 0.4833 | 0.2673 | 0.2 | 0.4473 | 1.821 | 1.999 | 0.4593 | 0.8522 | 1 | 1 | 0.2829 | 0.9676 | 0 | 0.4989 | 1.706 | 0 | json |
| t12_x25_u5_b12 | 12 | 25 | 5 | 12 | ![]() |
sgn(sub(R,sub(R,D))) | 40980 | 98458254 | o1(o2(x,o2(x,x))) | true | 7847 | 7847 | -1.819e-12 | 0.5 | 0.6889 | 0.5671 | 0.753 | -0.9994 | 0.9994 | 1.999 | 1 | 3.406 | 0.2604 | 0 | 0.2456 | 1 | 1 | 0 | 0.4833 | 0.2673 | 0.2 | 0.4473 | 1.821 | 1.999 | 0.4593 | 0.8522 | 1 | 1 | 0.2829 | 0.9676 | 0 | 0.4989 | 1.706 | 0 | json |
| t12_x25_u5_b13 | 12 | 25 | 5 | 13 | ![]() |
sgn(sub(R,mlt(R,D))) | 40981 | 98458255 | o1(o2(x,o2(x,x))) | true | 7855 | 7855 | -0.03516 | 0.4819 | 0.7206 | 0.6148 | 0.7841 | -1 | 1 | 2 | 1 | 4.005 | 0.007889 | 0.009769 | 0.1034 | -0.1065 | 1 | -0.00003562 | 0.001037 | 0.02513 | 0.006974 | 0.08351 | 0.8079 | 0.2338 | 0.02872 | 0.001686 | 1 | 1 | 0.03492 | 0.4498 | 1.145 | 0.0568 | 0.7316 | 1.862 | json |
| t12_x25_u5_b14 | 12 | 25 | 5 | 14 | ![]() |
sgn(sub(R,div(R,D))) | 40982 | 98458256 | o1(o2(x,o2(x,x))) | true | 7863 | 7863 | -0.007812 | 0.4951 | 0.6979 | 0.5879 | 0.7668 | -1 | 1 | 2 | 1 | 4.14 | 0.1911 | 0.00911 | 0.2038 | 0.909 | 1 | -0.00002994 | 0.3729 | 0.2242 | 0.1587 | 0.3984 | 1.955 | 2 | 0.3406 | 0.6344 | 1 | 1 | 0.2198 | 0.9817 | 1.127 | 0.3738 | 1.67 | 1.917 | json |
| t12_x25_u5_b15 | 12 | 25 | 5 | 15 | ![]() |
sgn(sub(R,pow(R,D))) | 40983 | 98458257 | o1(o2(x,o2(x,x))) | true | 7871 | 7871 | -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_u5_b16 | 12 | 25 | 5 | 16 | ![]() |
sgn(sub(R,mod(R,D))) | 40984 | 98458258 | o1(o2(x,o2(x,x))) | true | 7879 | 7879 | -0.001289 | 0.4902 | 0.6038 | 0.4878 | 0.6984 | -1 | 1 | 2 | 1 | 4.597 | 0.04112 | 0.007099 | 0.1336 | 0.7056 | 1 | 0.00002891 | 0.07069 | 0.126 | 0.03039 | 0.1743 | 1.305 | 1.113 | 0.09886 | 0.1449 | 1 | 1 | 0.05996 | 0.4351 | 0.8951 | 0.1229 | 0.892 | 1.835 | json |
| t12_x25_u5_b17 | 12 | 25 | 5 | 17 | ![]() |
sgn(sub(R,lrg(R,D))) | 40985 | 98458259 | o1(o2(x,o2(x,x))) | true | 7887 | 7887 | -0.8816 | 0.04189 | 0.9151 | 0.1027 | 0.3204 | -1 | 0.9988 | 1.999 | 1 | 1.543 | 0.03371 | 0.001433 | 0.05698 | 0.9185 | 1 | -0.00009861 | 0.06787 | 0.06099 | 0.03191 | 0.1786 | 3.135 | 1.999 | 0.3423 | 0.661 | 1 | 1 | 0.0308 | 0.1124 | 0.1723 | 0.3 | 1.095 | 1.679 | json |
| t12_x25_u5_b18 | 12 | 25 | 5 | 18 | ![]() |
sgn(sub(R,eql(R,D))) | 40986 | 98458260 | o1(o2(x,o2(x,x))) | true | 7895 | 7895 | -0.03516 | 0.4819 | 0.7206 | 0.6148 | 0.7841 | -1 | 1 | 2 | 1 | 4.005 | 0.007889 | 0.009769 | 0.1034 | -0.1065 | 1 | -0.00003562 | 0.001037 | 0.02513 | 0.006974 | 0.08351 | 0.8079 | 0.2338 | 0.02872 | 0.001686 | 1 | 1 | 0.03492 | 0.4498 | 1.145 | 0.0568 | 0.7316 | 1.862 | json |
| t12_x25_u5_b19 | 12 | 25 | 5 | 19 | ![]() |
sgn(sub(R,min(R,D))) | 40987 | 98458261 | o1(o2(x,o2(x,x))) | true | 7903 | 7903 | 0.4992 | 0.9305 | 0.4992 | 0.1466 | 0.3828 | 0 | 1 | 1 | 1 | 3.529 | 0.0202 | 0.00212 | 0.08084 | 0.81 | 1 | 0.00001414 | 0.03816 | 0.07051 | 0.01579 | 0.1257 | 1.554 | 0.9997 | 0.1523 | 0.2603 | 1 | 1 | 0.02456 | 0.14 | 0.2709 | 0.1675 | 0.9553 | 1.848 | json |
| t12_x25_u5_b20 | 12 | 25 | 5 | 20 | ![]() |
sgn(sub(R,dot(R,D))) | 40988 | 98458262 | o1(o2(x,o2(x,x))) | true | 7911 | 7911 | -0.02698 | 0.4867 | 0.7256 | 0.6233 | 0.7895 | -1 | 1 | 2 | 1 | 3.965 | 0.01878 | 0.04626 | 0.1359 | -0.4225 | 1 | 0.0001265 | 0.1439 | 0.1123 | 0.04658 | 0.2158 | 1.588 | 2.808 | 0.1043 | 0.2309 | 1 | 1 | 0.0766 | 0.5465 | 1.153 | 0.1229 | 0.8768 | 1.849 | json |
| t12_x25_u5_b21 | 12 | 25 | 5 | 21 | ![]() |
sgn(sub(R,dst(R,D))) | 40989 | 98458263 | o1(o2(x,o2(x,x))) | true | 7919 | 7919 | -0.9301 | 0.02779 | 0.9536 | 0.07036 | 0.2653 | -1 | 0.9852 | 1.985 | 1 | 0.9284 | 0.0193 | 0.01364 | 0.03779 | 0.1718 | 1 | -0.0003884 | 0.1035 | 0.05193 | 0.03152 | 0.1775 | 4.698 | 2.807 | 0.4681 | 1.471 | 1 | 1 | 0.02738 | 0.09866 | 0.1142 | 0.3892 | 1.402 | 1.622 | json |
| t12_x25_u5_b22 | 12 | 25 | 5 | 22 | ![]() |
sgn(mlt(R,add(R,D))) | 40990 | 98458264 | o1(o2(x,o2(x,x))) | true | 7927 | 7927 | 0.7318 | 0.8929 | 0.835 | 0.2345 | 0.4842 | -1 | 1 | 2 | 1 | 2.607 | 0.07695 | 0.003098 | 0.1141 | 0.9226 | 1 | 0.001134 | 0.1521 | 0.1314 | 0.06701 | 0.2589 | 2.268 | 1.999 | 0.3414 | 0.6486 | 1 | 1 | 0.07816 | 0.2958 | 0.3946 | 0.3333 | 1.261 | 1.683 | json |
| t12_x25_u5_b23 | 12 | 25 | 5 | 23 | ![]() |
sgn(mlt(R,sub(R,D))) | 40991 | 98458265 | o1(o2(x,o2(x,x))) | true | 7935 | 7935 | 0.7296 | 0.8898 | 0.8388 | 0.2428 | 0.4927 | -1 | 1 | 2 | 1 | 2.573 | 0.07812 | 0.003174 | 0.1135 | 0.9219 | 1 | 0.0001333 | 0.1548 | 0.1322 | 0.06841 | 0.2615 | 2.303 | 1.999 | 0.3348 | 0.6375 | 1 | 1 | 0.08078 | 0.3181 | 0.4307 | 0.3327 | 1.31 | 1.774 | json |
| t12_x25_u5_b24 | 12 | 25 | 5 | 24 | ![]() |
sgn(mlt(R,mlt(R,D))) | 40992 | 98458266 | o1(o2(x,o2(x,x))) | true | 7943 | 7943 | -1.819e-12 | 0.5 | 0.6889 | 0.5671 | 0.753 | -0.9994 | 0.9994 | 1.999 | 1 | 3.406 | 0.2604 | 0 | 0.2456 | 1 | 1 | 0 | 0.4833 | 0.2673 | 0.2 | 0.4473 | 1.821 | 1.999 | 0.4593 | 0.8522 | 1 | 1 | 0.2829 | 0.9676 | 0 | 0.4989 | 1.706 | 0 | json |
| t12_x25_u5_b25 | 12 | 25 | 5 | 25 | ![]() |
sgn(mlt(R,div(R,D))) | 40993 | 98458267 | o1(o2(x,o2(x,x))) | true | 7951 | 7951 | -1.819e-12 | 0.5 | 0.6889 | 0.5671 | 0.753 | -0.9994 | 0.9994 | 1.999 | 1 | 3.406 | 0.2604 | 0 | 0.2456 | 1 | 1 | 0 | 0.4833 | 0.2673 | 0.2 | 0.4473 | 1.821 | 1.999 | 0.4593 | 0.8522 | 1 | 1 | 0.2829 | 0.9676 | 0 | 0.4989 | 1.706 | 0 | json |
| t12_x25_u5_b26 | 12 | 25 | 5 | 26 | ![]() |
sgn(mlt(R,pow(R,D))) | 40994 | 98458268 | o1(o2(x,o2(x,x))) | true | 7959 | 7959 | -0.03516 | 0.4819 | 0.7206 | 0.6148 | 0.7841 | -1 | 1 | 2 | 1 | 4.005 | 0.007889 | 0.009769 | 0.1034 | -0.1065 | 1 | -0.00003562 | 0.001037 | 0.02513 | 0.006974 | 0.08351 | 0.8079 | 0.2338 | 0.02872 | 0.001686 | 1 | 1 | 0.03492 | 0.4498 | 1.145 | 0.0568 | 0.7316 | 1.862 | json |
| t12_x25_u5_b27 | 12 | 25 | 5 | 27 | ![]() |
sgn(mlt(R,mod(R,D))) | 40995 | 98458269 | o1(o2(x,o2(x,x))) | true | 7967 | 7967 | 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_u5_b28 | 12 | 25 | 5 | 28 | ![]() |
sgn(mlt(R,lrg(R,D))) | 40996 | 98458270 | o1(o2(x,o2(x,x))) | true | 7975 | 7975 | 0.3473 | 0.7376 | 0.4506 | 0.2214 | 0.4705 | -0.9994 | 1 | 1.999 | 1 | 4.235 | 0.02152 | 0.003321 | 0.09057 | 0.7325 | 1 | 0.00004897 | 0.03896 | 0.07287 | 0.01663 | 0.129 | 1.424 | 1.015 | 0.1122 | 0.1759 | 1 | 1 | 0.02939 | 0.1973 | 0.4184 | 0.1328 | 0.891 | 1.89 | json |
| t12_x25_u5_b29 | 12 | 25 | 5 | 29 | ![]() |
sgn(mlt(R,eql(R,D))) | 40997 | 98458271 | o1(o2(x,o2(x,x))) | true | 7983 | 7983 | -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_u5_b30 | 12 | 25 | 5 | 30 | ![]() |
sgn(mlt(R,min(R,D))) | 40998 | 98458272 | o1(o2(x,o2(x,x))) | true | 7991 | 7991 | 0.5215 | 0.7775 | 0.7863 | 0.4301 | 0.6558 | -0.9994 | 1 | 1.999 | 1 | 3.256 | 0.1093 | 0.00472 | 0.1376 | 0.9172 | 1 | 0.00003277 | 0.204 | 0.1331 | 0.09513 | 0.3084 | 2.241 | 1.999 | 0.2652 | 0.4744 | 1 | 1 | 0.1225 | 0.555 | 0.5666 | 0.2847 | 1.291 | 1.317 | json |
| t12_x25_u5_b31 | 12 | 25 | 5 | 31 | ![]() |
sgn(mlt(R,dot(R,D))) | 40999 | 98458273 | o1(o2(x,o2(x,x))) | true | 7999 | 7999 | 0.005511 | 0.5029 | 0.6428 | 0.5134 | 0.7165 | -1 | 1 | 2 | 1 | 4.294 | 0.1427 | 0.1347 | 0.2681 | 0.02887 | 1 | -0.00002674 | 0.8818 | 0.3627 | 0.2055 | 0.4533 | 1.691 | 2.827 | 0.5403 | 1.718 | 1 | 1 | 0.2955 | 1.047 | 0.7925 | 0.5756 | 2.039 | 1.544 | json |



































































































