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_u0_b37 | 12 | 25 | 0 | 37 | ![]() |
sqt(div(R,pow(R,D))) | 40400 | 98457274 | o1(o2(x,o2(x,x))) | true | 3207 | 3207 | -0.9255 | 0.04297 | 0.9886 | 0.1246 | 0.3529 | -1 | 0.975 | 1.975 | 1 | 0.3917 | 0.01252 | 0.01251 | 0.01521 | 0.0006735 | 1 | 0.000002321 | 0.05228 | 0.02892 | 0.02481 | 0.1575 | 10.36 | 2.728 | 0.2009 | 0.4197 | 1 | 1 | 0.01971 | 0.08555 | 0.2115 | 0.1582 | 0.6868 | 1.698 | json |
| t12_x25_u0_b38 | 12 | 25 | 0 | 38 | ![]() |
sqt(div(R,mod(R,D))) | 40401 | 98457275 | o1(o2(x,o2(x,x))) | true | 3215 | 3215 | 1 | 1 | 1 | 2.342e-17 | 4.839e-9 | 1 | 1 | 5.96e-8 | 1 | 0 | 1.656e-17 | 3.972e-18 | 3.368e-10 | 0.00001259 | 0 | 1.047e-9 | 2.497e-16 | 1.047e-9 | 2.041e-17 | 4.518e-9 | 13.42 | 8.429e-8 | 0.00002053 | 0.0002497 | 0 | 1 | 2.027e-17 | 3.996e-17 | 4.35e-17 | 0.00002027 | 0.00003996 | 0.0000435 | json |
| t12_x25_u0_b39 | 12 | 25 | 0 | 39 | ![]() |
sqt(div(R,lrg(R,D))) | 40402 | 98457276 | o1(o2(x,o2(x,x))) | true | 3223 | 3223 | -0.9709 | 0.0166 | 0.9959 | 0.05039 | 0.2245 | -1 | 0.971 | 1.971 | 1 | 0.1706 | 0.01444 | 0.0049 | 0.01129 | 0.4933 | 1 | 0.000002117 | 0.04143 | 0.02239 | 0.01921 | 0.1386 | 12.28 | 2.752 | 0.3838 | 0.8222 | 1 | 1 | 0.01249 | 0.0459 | 0.07623 | 0.2479 | 0.9109 | 1.513 | json |
| t12_x25_u0_b40 | 12 | 25 | 0 | 40 | ![]() |
sqt(div(R,eql(R,D))) | 40403 | 98457277 | o1(o2(x,o2(x,x))) | true | 3231 | 3231 | -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_u0_b41 | 12 | 25 | 0 | 41 | ![]() |
sqt(div(R,min(R,D))) | 40404 | 98457278 | o1(o2(x,o2(x,x))) | true | 3239 | 3239 | -0.5016 | 0.2539 | 0.9906 | 0.732 | 0.8556 | -1 | 1 | 2 | 1 | 1.091 | 0.08639 | 0.06205 | 0.07744 | 0.164 | 1 | -0.000002094 | 0.3118 | 0.1517 | 0.1424 | 0.3774 | 4.873 | 2.828 | 0.2028 | 0.426 | 1 | 1 | 0.1547 | 0.6259 | 1.394 | 0.2113 | 0.855 | 1.904 | json |
| t12_x25_u0_b42 | 12 | 25 | 0 | 42 | ![]() |
sqt(div(R,dot(R,D))) | 40405 | 98457279 | o1(o2(x,o2(x,x))) | true | 3247 | 3247 | -0.9165 | 0.04234 | 0.9988 | 0.1581 | 0.3976 | -1 | 1 | 2 | 1 | 0.284 | 0.08392 | 0.04382 | 0.05998 | 0.3139 | 1 | 0.00007389 | 0.4177 | 0.1284 | 0.1241 | 0.3522 | 5.872 | 2.828 | 0.8081 | 2.642 | 1 | 1 | 0.1081 | 0.2657 | 0.2859 | 0.684 | 1.681 | 1.808 | json |
| t12_x25_u0_b43 | 12 | 25 | 0 | 43 | ![]() |
sqt(div(R,dst(R,D))) | 40406 | 98457280 | o1(o2(x,o2(x,x))) | true | 3255 | 3255 | -0.9254 | 0.04297 | 0.9886 | 0.1246 | 0.353 | -1 | 1 | 2 | 1 | 0.3869 | 0.01275 | 0.01278 | 0.01544 | -0.00109 | 1 | -0.000001739 | 0.0534 | 0.02932 | 0.0253 | 0.1591 | 10.3 | 2.53 | 0.205 | 0.4287 | 1 | 1 | 0.01978 | 0.08422 | 0.2071 | 0.1588 | 0.676 | 1.662 | json |
| t12_x25_u0_b44 | 12 | 25 | 0 | 44 | ![]() |
sqt(pow(R,add(R,D))) | 40407 | 98457281 | o1(o2(x,o2(x,x))) | true | 3263 | 3263 | -0.9189 | 0.04297 | 0.9952 | 0.1466 | 0.3829 | -1 | 1 | 2 | 1 | 0.3429 | 0.01493 | 0.01453 | 0.01611 | 0.0134 | 1 | 0.000004046 | 0.06153 | 0.03148 | 0.02919 | 0.1709 | 10.61 | 2.746 | 0.2009 | 0.4197 | 1 | 1 | 0.02251 | 0.09718 | 0.2432 | 0.1535 | 0.6628 | 1.658 | json |
| t12_x25_u0_b45 | 12 | 25 | 0 | 45 | ![]() |
sqt(pow(R,sub(R,D))) | 40408 | 98457282 | o1(o2(x,o2(x,x))) | true | 3271 | 3271 | -0.9187 | 0.04297 | 0.9954 | 0.1476 | 0.3842 | -1 | 1 | 2 | 1 | 0.3413 | 0.01492 | 0.01468 | 0.01617 | 0.007777 | 1 | -0.000004778 | 0.06183 | 0.03156 | 0.02933 | 0.1713 | 10.59 | 2.741 | 0.2005 | 0.4189 | 1 | 1 | 0.02265 | 0.09868 | 0.249 | 0.1534 | 0.6685 | 1.687 | json |
| t12_x25_u0_b46 | 12 | 25 | 0 | 46 | ![]() |
sqt(pow(R,mlt(R,D))) | 40409 | 98457283 | o1(o2(x,o2(x,x))) | true | 3279 | 3279 | -0.9144 | 0.04297 | 0.9997 | 0.1634 | 0.4042 | -1 | 1 | 2 | 1 | 0.2557 | 0.01685 | 0.01628 | 0.01658 | 0.01702 | 1 | 9.437e-7 | 0.06934 | 0.03326 | 0.03285 | 0.1812 | 10.93 | 2.828 | 0.2028 | 0.4245 | 1 | 1 | 0.02534 | 0.109 | 0.2736 | 0.1551 | 0.667 | 1.675 | json |
| t12_x25_u0_b47 | 12 | 25 | 0 | 47 | ![]() |
sqt(pow(R,div(R,D))) | 40410 | 98457284 | o1(o2(x,o2(x,x))) | true | 3287 | 3287 | -0.9225 | 0.04297 | 0.9915 | 0.1372 | 0.3705 | -1 | 1 | 2 | 1 | 0.3683 | 0.01176 | 0.01402 | 0.01645 | -0.08801 | 1 | -0.00008726 | 0.05233 | 0.02878 | 0.02549 | 0.1597 | 9.708 | 2.828 | 0.1878 | 0.3813 | 1 | 1 | 0.02051 | 0.09551 | 0.231 | 0.1495 | 0.6959 | 1.683 | json |
| t12_x25_u0_b48 | 12 | 25 | 0 | 48 | ![]() |
sqt(pow(R,pow(R,D))) | 40411 | 98457285 | o1(o2(x,o2(x,x))) | true | 3295 | 3295 | -0.9258 | 0.04297 | 0.9883 | 0.1236 | 0.3515 | -1 | 0.9711 | 1.971 | 1 | 0.3933 | 0.01252 | 0.01248 | 0.01526 | 0.001737 | 1 | 0.000002823 | 0.05224 | 0.02893 | 0.02478 | 0.1574 | 10.32 | 2.731 | 0.2024 | 0.4227 | 1 | 1 | 0.01974 | 0.08537 | 0.2105 | 0.1597 | 0.6908 | 1.703 | json |
| t12_x25_u0_b49 | 12 | 25 | 0 | 49 | ![]() |
sqt(pow(R,mod(R,D))) | 40412 | 98457286 | o1(o2(x,o2(x,x))) | true | 3303 | 3303 | -0.9161 | 0.04297 | 0.998 | 0.1569 | 0.3961 | -1 | 0.9999 | 2 | 1 | 0.3021 | 0.01679 | 0.01564 | 0.01703 | 0.03565 | 1 | -0.000001274 | 0.06797 | 0.03383 | 0.03212 | 0.1792 | 10.52 | 2.826 | 0.2067 | 0.4332 | 1 | 1 | 0.0248 | 0.1051 | 0.2633 | 0.1581 | 0.6702 | 1.678 | json |
| t12_x25_u0_b50 | 12 | 25 | 0 | 50 | ![]() |
sqt(pow(R,lrg(R,D))) | 40413 | 98457287 | o1(o2(x,o2(x,x))) | true | 3311 | 3311 | 0.04239 | 0.5569 | 0.9286 | 0.8786 | 0.9373 | -1 | 1 | 2 | 1 | 2.371 | 0.3286 | 0.05325 | 0.2103 | 0.7211 | 1 | -0.0004924 | 0.8224 | 0.4068 | 0.3377 | 0.5811 | 2.764 | 2.828 | 0.4346 | 0.9361 | 1 | 1 | 0.3896 | 1.113 | 1.446 | 0.4434 | 1.267 | 1.645 | json |
| t12_x25_u0_b51 | 12 | 25 | 0 | 51 | ![]() |
sqt(pow(R,eql(R,D))) | 40414 | 98457288 | o1(o2(x,o2(x,x))) | true | 3319 | 3319 | 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_u0_b52 | 12 | 25 | 0 | 52 | ![]() |
sqt(pow(R,min(R,D))) | 40415 | 98457289 | o1(o2(x,o2(x,x))) | true | 3327 | 3327 | -0.9147 | 0.04297 | 0.9994 | 0.1621 | 0.4026 | -1 | 1 | 2 | 1 | 0.2759 | 0.01679 | 0.01614 | 0.01667 | 0.01974 | 1 | 0.000002849 | 0.06902 | 0.03326 | 0.03264 | 0.1807 | 10.84 | 2.828 | 0.2032 | 0.4259 | 1 | 1 | 0.02523 | 0.1084 | 0.2711 | 0.1557 | 0.6687 | 1.673 | json |
| t12_x25_u0_b53 | 12 | 25 | 0 | 53 | ![]() |
sqt(pow(R,dot(R,D))) | 40416 | 98457290 | o1(o2(x,o2(x,x))) | true | 3335 | 3335 | -0.9148 | 0.04297 | 0.9992 | 0.1616 | 0.402 | -1 | 1 | 2 | 1 | 0.2762 | 0.01651 | 0.01628 | 0.01663 | 0.006972 | 1 | 0.000001133 | 0.06863 | 0.03313 | 0.03251 | 0.1803 | 10.84 | 2.828 | 0.203 | 0.4248 | 1 | 1 | 0.02514 | 0.1079 | 0.2707 | 0.1556 | 0.6677 | 1.676 | json |
| t12_x25_u0_b54 | 12 | 25 | 0 | 54 | ![]() |
sqt(pow(R,dst(R,D))) | 40417 | 98457291 | o1(o2(x,o2(x,x))) | true | 3343 | 3343 | -0.925 | 0.04297 | 0.9891 | 0.1261 | 0.3551 | -1 | 0.9711 | 1.971 | 1 | 0.3822 | 0.01288 | 0.01288 | 0.01532 | -0.000179 | 1 | 0.000005551 | 0.05391 | 0.02938 | 0.02553 | 0.1598 | 10.43 | 2.695 | 0.2043 | 0.4275 | 1 | 1 | 0.01995 | 0.08507 | 0.2106 | 0.1582 | 0.6745 | 1.669 | json |
| t12_x25_u0_b55 | 12 | 25 | 0 | 55 | ![]() |
sqt(mod(R,add(R,D))) | 40418 | 98457292 | o1(o2(x,o2(x,x))) | true | 3351 | 3351 | -0.9349 | 0.04297 | 0.9792 | 0.09621 | 0.3102 | -1 | 0.9707 | 1.971 | 1 | 0.4139 | 0.009293 | 0.009605 | 0.01485 | -0.01655 | 1 | -0.00001891 | 0.03895 | 0.02682 | 0.01869 | 0.1367 | 9.204 | 1.971 | 0.1964 | 0.4048 | 1 | 1 | 0.01471 | 0.06478 | 0.1595 | 0.1529 | 0.6733 | 1.657 | json |
| t12_x25_u0_b56 | 12 | 25 | 0 | 56 | ![]() |
sqt(mod(R,sub(R,D))) | 40419 | 98457293 | o1(o2(x,o2(x,x))) | true | 3359 | 3359 | -0.9347 | 0.04297 | 0.9794 | 0.09691 | 0.3113 | -1 | 0.9693 | 1.969 | 1 | 0.4143 | 0.009756 | 0.009858 | 0.01508 | -0.005174 | 1 | -0.00001856 | 0.04058 | 0.02745 | 0.0194 | 0.1393 | 9.234 | 2.731 | 0.2024 | 0.4187 | 1 | 1 | 0.01567 | 0.06837 | 0.1661 | 0.1617 | 0.7055 | 1.714 | json |
| t12_x25_u0_b57 | 12 | 25 | 0 | 57 | ![]() |
sqt(mod(R,mlt(R,D))) | 40420 | 98457294 | o1(o2(x,o2(x,x))) | true | 3367 | 3367 | -0.9308 | 0.04106 | 0.953 | 0.07911 | 0.2813 | -1 | 0.5486 | 1.549 | 1 | 0.479 | 0.02993 | 0.007886 | 0.03778 | 0.5829 | 1 | -2.245e-7 | 0.1005 | 0.07373 | 0.0364 | 0.1908 | 5.05 | 1.595 | 0.478 | 1.27 | 1 | 1 | 0.02446 | 0.06305 | 0.1377 | 0.3092 | 0.797 | 1.74 | json |
| t12_x25_u0_b58 | 12 | 25 | 0 | 58 | ![]() |
sqt(mod(R,div(R,D))) | 40421 | 98457295 | o1(o2(x,o2(x,x))) | true | 3375 | 3375 | -0.9258 | 0.04297 | 0.9882 | 0.1235 | 0.3514 | -1 | 0.971 | 1.971 | 1 | 0.3916 | 0.01252 | 0.01245 | 0.01513 | 0.002807 | 1 | 0.000005689 | 0.05219 | 0.02886 | 0.02476 | 0.1573 | 10.4 | 2.731 | 0.2023 | 0.4226 | 1 | 1 | 0.0197 | 0.08508 | 0.2088 | 0.1595 | 0.689 | 1.691 | json |
| t12_x25_u0_b59 | 12 | 25 | 0 | 59 | ![]() |
sqt(mod(R,pow(R,D))) | 40422 | 98457296 | o1(o2(x,o2(x,x))) | true | 3383 | 3383 | -0.9258 | 0.04297 | 0.9882 | 0.1235 | 0.3514 | -1 | 0.971 | 1.971 | 1 | 0.3916 | 0.01252 | 0.01245 | 0.01513 | 0.002807 | 1 | 0.000005689 | 0.05219 | 0.02886 | 0.02476 | 0.1573 | 10.4 | 2.731 | 0.2023 | 0.4226 | 1 | 1 | 0.0197 | 0.08508 | 0.2088 | 0.1595 | 0.689 | 1.691 | json |
| t12_x25_u0_b60 | 12 | 25 | 0 | 60 | ![]() |
sqt(mod(R,mod(R,D))) | 40423 | 98457297 | o1(o2(x,o2(x,x))) | true | 3391 | 3391 | -0.757 | 0.1967 | 0.8109 | 0.2164 | 0.4652 | -1 | 0.5976 | 1.598 | 1 | 1.276 | 0.04609 | 0.01802 | 0.06784 | 0.4378 | 1 | 0.00002003 | 0.1373 | 0.1294 | 0.05953 | 0.244 | 3.596 | 1.977 | 0.2963 | 0.6344 | 1 | 1 | 0.06003 | 0.1963 | 0.4031 | 0.2774 | 0.9073 | 1.863 | json |
| t12_x25_u0_b61 | 12 | 25 | 0 | 61 | ![]() |
sqt(mod(R,lrg(R,D))) | 40424 | 98457298 | o1(o2(x,o2(x,x))) | true | 3399 | 3399 | -0.9709 | 0.0166 | 0.9959 | 0.05039 | 0.2245 | -1 | 0.971 | 1.971 | 1 | 0.1706 | 0.01444 | 0.0049 | 0.01129 | 0.4933 | 1 | 0.000002117 | 0.04143 | 0.02239 | 0.01921 | 0.1386 | 12.28 | 2.752 | 0.3838 | 0.8222 | 1 | 1 | 0.01249 | 0.0459 | 0.07623 | 0.2479 | 0.9109 | 1.513 | json |
| t12_x25_u0_b62 | 12 | 25 | 0 | 62 | ![]() |
sqt(mod(R,eql(R,D))) | 40425 | 98457299 | o1(o2(x,o2(x,x))) | true | 3407 | 3407 | -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_u0_b63 | 12 | 25 | 0 | 63 | ![]() |
sqt(mod(R,min(R,D))) | 40426 | 98457300 | o1(o2(x,o2(x,x))) | true | 3415 | 3415 | -0.5717 | 0.3312 | 0.6934 | 0.3236 | 0.5688 | -1 | 0.6591 | 1.659 | 1 | 1.979 | 0.0697 | 0.02571 | 0.103 | 0.4611 | 1 | -0.0001777 | 0.2023 | 0.19 | 0.08481 | 0.2912 | 2.828 | 2.015 | 0.2949 | 0.6254 | 1 | 1 | 0.08863 | 0.2991 | 0.6171 | 0.2739 | 0.9243 | 1.907 | json |
| t12_x25_u0_b64 | 12 | 25 | 0 | 64 | ![]() |
sqt(mod(R,dot(R,D))) | 40427 | 98457301 | o1(o2(x,o2(x,x))) | true | 3423 | 3423 | -0.9443 | 0.04297 | 0.9697 | 0.06977 | 0.2641 | -1 | 0.672 | 1.672 | 1 | 0.389 | 0.007123 | 0.007005 | 0.01546 | 0.00832 | 1 | -0.0000301 | 0.03209 | 0.02964 | 0.01389 | 0.1179 | 7.626 | 1.738 | 0.2025 | 0.4599 | 1 | 1 | 0.01026 | 0.04638 | 0.1161 | 0.1471 | 0.6648 | 1.664 | json |
| t12_x25_u0_b65 | 12 | 25 | 0 | 65 | ![]() |
sqt(mod(R,dst(R,D))) | 40428 | 98457302 | o1(o2(x,o2(x,x))) | true | 3431 | 3431 | -0.9278 | 0.04297 | 0.9863 | 0.1173 | 0.3424 | -1 | 0.971 | 1.971 | 1 | 0.3989 | 0.01279 | 0.01193 | 0.01593 | 0.03512 | 1 | 0.0000555 | 0.05274 | 0.0304 | 0.02446 | 0.1564 | 9.817 | 2.731 | 0.2108 | 0.4498 | 1 | 1 | 0.01937 | 0.08122 | 0.2008 | 0.1652 | 0.6926 | 1.712 | json |
| t12_x25_u0_b66 | 12 | 25 | 0 | 66 | ![]() |
sqt(lrg(R,add(R,D))) | 40429 | 98457303 | o1(o2(x,o2(x,x))) | true | 3439 | 3439 | 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_u0_b67 | 12 | 25 | 0 | 67 | ![]() |
sqt(lrg(R,sub(R,D))) | 40430 | 98457304 | o1(o2(x,o2(x,x))) | true | 3447 | 3447 | 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_u0_b68 | 12 | 25 | 0 | 68 | ![]() |
sqt(lrg(R,mlt(R,D))) | 40431 | 98457305 | o1(o2(x,o2(x,x))) | true | 3455 | 3455 | 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_u0_b69 | 12 | 25 | 0 | 69 | ![]() |
sqt(lrg(R,div(R,D))) | 40432 | 98457306 | o1(o2(x,o2(x,x))) | true | 3463 | 3463 | 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_u0_b70 | 12 | 25 | 0 | 70 | ![]() |
sqt(lrg(R,pow(R,D))) | 40433 | 98457307 | o1(o2(x,o2(x,x))) | true | 3471 | 3471 | 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_u0_b71 | 12 | 25 | 0 | 71 | ![]() |
sqt(lrg(R,mod(R,D))) | 40434 | 98457308 | o1(o2(x,o2(x,x))) | true | 3479 | 3479 | 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_u0_b72 | 12 | 25 | 0 | 72 | ![]() |
sqt(lrg(R,lrg(R,D))) | 40435 | 98457309 | o1(o2(x,o2(x,x))) | true | 3487 | 3487 | 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_u0_b73 | 12 | 25 | 0 | 73 | ![]() |
sqt(lrg(R,eql(R,D))) | 40436 | 98457310 | o1(o2(x,o2(x,x))) | true | 3495 | 3495 | 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_u0_b74 | 12 | 25 | 0 | 74 | ![]() |
sqt(lrg(R,min(R,D))) | 40437 | 98457311 | o1(o2(x,o2(x,x))) | true | 3503 | 3503 | 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_u0_b75 | 12 | 25 | 0 | 75 | ![]() |
sqt(lrg(R,dot(R,D))) | 40438 | 98457312 | o1(o2(x,o2(x,x))) | true | 3511 | 3511 | 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_u0_b76 | 12 | 25 | 0 | 76 | ![]() |
sqt(lrg(R,dst(R,D))) | 40439 | 98457313 | o1(o2(x,o2(x,x))) | true | 3519 | 3519 | 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_u0_b77 | 12 | 25 | 0 | 77 | ![]() |
sqt(eql(R,add(R,D))) | 40440 | 98457314 | o1(o2(x,o2(x,x))) | true | 3527 | 3527 | 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_u0_b78 | 12 | 25 | 0 | 78 | ![]() |
sqt(eql(R,sub(R,D))) | 40441 | 98457315 | o1(o2(x,o2(x,x))) | true | 3535 | 3535 | 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_u0_b79 | 12 | 25 | 0 | 79 | ![]() |
sqt(eql(R,mlt(R,D))) | 40442 | 98457316 | o1(o2(x,o2(x,x))) | true | 3543 | 3543 | 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_u0_b80 | 12 | 25 | 0 | 80 | ![]() |
sqt(eql(R,div(R,D))) | 40443 | 98457317 | o1(o2(x,o2(x,x))) | true | 3551 | 3551 | 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_u0_b81 | 12 | 25 | 0 | 81 | ![]() |
sqt(eql(R,pow(R,D))) | 40444 | 98457318 | o1(o2(x,o2(x,x))) | true | 3559 | 3559 | 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_u0_b82 | 12 | 25 | 0 | 82 | ![]() |
sqt(eql(R,mod(R,D))) | 40445 | 98457319 | o1(o2(x,o2(x,x))) | true | 3567 | 3567 | 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_u0_b83 | 12 | 25 | 0 | 83 | ![]() |
sqt(eql(R,lrg(R,D))) | 40446 | 98457320 | o1(o2(x,o2(x,x))) | true | 3575 | 3575 | 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_u0_b84 | 12 | 25 | 0 | 84 | ![]() |
sqt(eql(R,eql(R,D))) | 40447 | 98457321 | o1(o2(x,o2(x,x))) | true | 3583 | 3583 | 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_u0_b85 | 12 | 25 | 0 | 85 | ![]() |
sqt(eql(R,min(R,D))) | 40448 | 98457322 | o1(o2(x,o2(x,x))) | true | 3591 | 3591 | 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_u0_b86 | 12 | 25 | 0 | 86 | ![]() |
sqt(eql(R,dot(R,D))) | 40449 | 98457323 | o1(o2(x,o2(x,x))) | true | 3599 | 3599 | 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_u0_b87 | 12 | 25 | 0 | 87 | ![]() |
sqt(eql(R,dst(R,D))) | 40450 | 98457324 | o1(o2(x,o2(x,x))) | true | 3607 | 3607 | 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_u0_b88 | 12 | 25 | 0 | 88 | ![]() |
sqt(min(R,add(R,D))) | 40451 | 98457325 | o1(o2(x,o2(x,x))) | true | 3615 | 3615 | -0.9728 | 0.01685 | 0.9935 | 0.0436 | 0.2088 | -1 | 0.9533 | 1.953 | 1 | 0.1799 | 0.01332 | 0.004686 | 0.01169 | 0.4794 | 1 | 0.00001108 | 0.03881 | 0.02243 | 0.01786 | 0.1336 | 11.44 | 2.707 | 0.4129 | 0.8901 | 1 | 1 | 0.01287 | 0.04659 | 0.07588 | 0.2952 | 1.068 | 1.74 | json |
| t12_x25_u0_b89 | 12 | 25 | 0 | 89 | ![]() |
sqt(min(R,sub(R,D))) | 40452 | 98457326 | o1(o2(x,o2(x,x))) | true | 3623 | 3623 | -0.9731 | 0.0166 | 0.9937 | 0.04325 | 0.208 | -1 | 0.9547 | 1.955 | 1 | 0.1781 | 0.01247 | 0.004218 | 0.01079 | 0.4945 | 1 | 0.00003771 | 0.0358 | 0.0207 | 0.01657 | 0.1287 | 11.93 | 2.635 | 0.3858 | 0.8277 | 1 | 1 | 0.01074 | 0.03937 | 0.0647 | 0.2483 | 0.9103 | 1.496 | json |
| t12_x25_u0_b90 | 12 | 25 | 0 | 90 | ![]() |
sqt(min(R,mlt(R,D))) | 40453 | 98457327 | o1(o2(x,o2(x,x))) | true | 3631 | 3631 | -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_u0_b91 | 12 | 25 | 0 | 91 | ![]() |
sqt(min(R,div(R,D))) | 40454 | 98457328 | o1(o2(x,o2(x,x))) | true | 3639 | 3639 | -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_u0_b92 | 12 | 25 | 0 | 92 | ![]() |
sqt(min(R,pow(R,D))) | 40455 | 98457329 | o1(o2(x,o2(x,x))) | true | 3647 | 3647 | -0.9258 | 0.04297 | 0.9882 | 0.1235 | 0.3514 | -1 | 0.971 | 1.971 | 1 | 0.3916 | 0.01252 | 0.01245 | 0.01513 | 0.002807 | 1 | 0.000005689 | 0.05219 | 0.02886 | 0.02476 | 0.1573 | 10.4 | 2.731 | 0.2023 | 0.4226 | 1 | 1 | 0.0197 | 0.08508 | 0.2088 | 0.1595 | 0.689 | 1.691 | json |
| t12_x25_u0_b93 | 12 | 25 | 0 | 93 | ![]() |
sqt(min(R,mod(R,D))) | 40456 | 98457330 | o1(o2(x,o2(x,x))) | true | 3655 | 3655 | -0.943 | 0.04297 | 0.9711 | 0.07339 | 0.2709 | -1 | 0.6564 | 1.656 | 1 | 0.3944 | 0.006021 | 0.007392 | 0.01387 | -0.1022 | 1 | -0.00004528 | 0.0278 | 0.02558 | 0.01321 | 0.115 | 8.287 | 1.676 | 0.1828 | 0.3788 | 1 | 1 | 0.01033 | 0.04941 | 0.1244 | 0.1407 | 0.6733 | 1.694 | json |
| t12_x25_u0_b94 | 12 | 25 | 0 | 94 | ![]() |
sqt(min(R,lrg(R,D))) | 40457 | 98457331 | o1(o2(x,o2(x,x))) | true | 3663 | 3663 | -0.9282 | 0.04297 | 0.9858 | 0.1166 | 0.3415 | -1 | 0.971 | 1.971 | 1 | 0.4076 | 0.01274 | 0.01185 | 0.01592 | 0.03587 | 1 | 0.000009618 | 0.05146 | 0.02967 | 0.02433 | 0.156 | 9.8 | 2.731 | 0.2108 | 0.4412 | 1 | 1 | 0.01943 | 0.08177 | 0.196 | 0.1666 | 0.7011 | 1.68 | json |
| t12_x25_u0_b95 | 12 | 25 | 0 | 95 | ![]() |
sqt(min(R,eql(R,D))) | 40458 | 98457332 | o1(o2(x,o2(x,x))) | true | 3671 | 3671 | -0.957 | 0 | 0.957 | 0.04112 | 0.2028 | -1 | 0 | 1 | 1 | 0.2557 | 0.00422 | 0.004094 | 0.008259 | 0.01515 | 1 | 0 | 0.01738 | 0.01663 | 0.008241 | 0.09078 | 10.99 | 1.414 | 0.2022 | 0.4228 | 1 | 1 | 0.006357 | 0.02738 | 0.06893 | 0.1546 | 0.6659 | 1.676 | json |
| t12_x25_u0_b96 | 12 | 25 | 0 | 96 | ![]() |
sqt(min(R,min(R,D))) | 40459 | 98457333 | o1(o2(x,o2(x,x))) | true | 3679 | 3679 | -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_u0_b97 | 12 | 25 | 0 | 97 | ![]() |
sqt(min(R,dot(R,D))) | 40460 | 98457334 | o1(o2(x,o2(x,x))) | true | 3687 | 3687 | -0.9984 | 0.001236 | 0.9992 | 0.002192 | 0.04681 | -1 | 0.511 | 1.511 | 1 | 0.01709 | 0.00152 | 0.000475 | 0.001508 | 0.5238 | 1 | -3.004e-11 | 0.006044 | 0.003109 | 0.001992 | 0.04463 | 29.59 | 1.896 | 0.9104 | 2.758 | 1 | 1 | 0.00196 | 0.005359 | 0.006228 | 0.8941 | 2.445 | 2.842 | json |
| t12_x25_u0_b98 | 12 | 25 | 0 | 98 | ![]() |
sqt(min(R,dst(R,D))) | 40461 | 98457335 | o1(o2(x,o2(x,x))) | true | 3695 | 3695 | -0.9261 | 0.04297 | 0.988 | 0.1226 | 0.3502 | -1 | 0.971 | 1.971 | 1 | 0.3911 | 0.01252 | 0.01237 | 0.01513 | 0.005975 | 1 | 0.000006195 | 0.05204 | 0.02884 | 0.02468 | 0.1571 | 10.38 | 2.731 | 0.203 | 0.4243 | 1 | 1 | 0.01965 | 0.08469 | 0.208 | 0.1602 | 0.6906 | 1.696 | json |
| t12_x25_u0_b99 | 12 | 25 | 0 | 99 | ![]() |
sqt(dot(R,add(R,D))) | 40462 | 98457336 | o1(o2(x,o2(x,x))) | true | 3703 | 3703 | 0.6103 | 0.8505 | 0.9093 | 0.4769 | 0.6906 | -1 | 1 | 2 | 1 | 2.481 | 0.1173 | 0.1238 | 0.1388 | -0.02671 | 1 | -0.0005584 | 0.6853 | 0.2633 | 0.2218 | 0.471 | 3.392 | 2.828 | 0.5054 | 1.437 | 1 | 1 | 0.2138 | 0.5824 | 0.8408 | 0.4484 | 1.221 | 1.763 | json |
| t12_x25_u0_b100 | 12 | 25 | 0 | 100 | ![]() |
sqt(dot(R,sub(R,D))) | 40463 | 98457337 | o1(o2(x,o2(x,x))) | true | 3711 | 3711 | 0.5937 | 0.8453 | 0.9031 | 0.4865 | 0.6975 | -1 | 1 | 2 | 1 | 2.561 | 0.1238 | 0.1295 | 0.1454 | -0.02274 | 1 | -0.0006753 | 0.7227 | 0.2773 | 0.2323 | 0.4819 | 3.315 | 2.828 | 0.5207 | 1.485 | 1 | 1 | 0.2375 | 0.653 | 0.9539 | 0.4881 | 1.342 | 1.961 | json |
| t12_x25_u0_b101 | 12 | 25 | 0 | 101 | ![]() |
sqt(dot(R,mlt(R,D))) | 40464 | 98457338 | o1(o2(x,o2(x,x))) | true | 3719 | 3719 | -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_u0_b102 | 12 | 25 | 0 | 102 | ![]() |
sqt(dot(R,div(R,D))) | 40465 | 98457339 | o1(o2(x,o2(x,x))) | true | 3727 | 3727 | -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_u0_b103 | 12 | 25 | 0 | 103 | ![]() |
sqt(dot(R,pow(R,D))) | 40466 | 98457340 | o1(o2(x,o2(x,x))) | true | 3735 | 3735 | -0.993 | 0.003891 | 0.9993 | 0.01294 | 0.1138 | -1 | 1 | 2 | 1 | 0.04658 | 0.001654 | 0.001498 | 0.001881 | 0.04966 | 1 | -7.509e-12 | 0.006684 | 0.00353 | 0.003146 | 0.05609 | 29.82 | 2.002 | 0.2436 | 0.5166 | 1 | 1 | 0.005602 | 0.024 | 0.04548 | 0.4329 | 1.854 | 3.515 | json |
| t12_x25_u0_b104 | 12 | 25 | 0 | 104 | ![]() |
sqt(dot(R,mod(R,D))) | 40467 | 98457341 | o1(o2(x,o2(x,x))) | true | 3743 | 3743 | 0.6439 | 1 | 0.6439 | 0.03869 | 0.1967 | 0.06653 | 1 | 0.9335 | 1 | 3.614 | 0.002754 | 0.002882 | 0.05913 | -0.02269 | 1 | -0.0003431 | 0.01268 | 0.082 | 0.00214 | 0.04626 | 0.7824 | 0.3271 | 0.1457 | 0.3278 | 1 | 1 | 0.004832 | 0.03228 | 0.07716 | 0.1249 | 0.8344 | 1.994 | json |
| t12_x25_u0_b105 | 12 | 25 | 0 | 105 | ![]() |
sqt(dot(R,lrg(R,D))) | 40468 | 98457342 | o1(o2(x,o2(x,x))) | true | 3751 | 3751 | 0.0642 | 0.6094 | 0.844 | 0.7709 | 0.878 | -1 | 1 | 2 | 1 | 3 | 0.1511 | 0.1254 | 0.1803 | 0.09282 | 1 | -0.0008033 | 0.6184 | 0.3327 | 0.244 | 0.4939 | 2.739 | 2.828 | 0.3587 | 0.8022 | 1 | 1 | 0.2645 | 0.8395 | 1.389 | 0.3431 | 1.089 | 1.801 | json |
| t12_x25_u0_b106 | 12 | 25 | 0 | 106 | ![]() |
sqt(dot(R,eql(R,D))) | 40469 | 98457343 | o1(o2(x,o2(x,x))) | true | 3759 | 3759 | -0.0001327 | 0.0004883 | 0.0003556 | 0.000284 | 0.01685 | -1 | 0.4564 | 1.456 | 1 | 0.008975 | 0.0004415 | 0.00009805 | 0.0006889 | 0.6365 | 1 | 3.754e-12 | 0.001667 | 0.001374 | 0.0005391 | 0.02322 | 33.7 | 1 | 1.9 | 5.868 | 1 | 1 | 0.00007442 | 0.00009881 | 0.0003525 | 0.2621 | 0.3479 | 1.241 | json |
| t12_x25_u0_b107 | 12 | 25 | 0 | 107 | ![]() |
sqt(dot(R,min(R,D))) | 40470 | 98457344 | o1(o2(x,o2(x,x))) | true | 3767 | 3767 | -0.1401 | 0.5017 | 0.8565 | 0.7578 | 0.8705 | -1 | 1 | 2 | 1 | 2.756 | 0.1161 | 0.117 | 0.1506 | -0.00365 | 1 | -0.0002325 | 0.5773 | 0.2864 | 0.2104 | 0.4587 | 3.047 | 2.828 | 0.3076 | 0.7618 | 1 | 1 | 0.2226 | 0.7693 | 1.244 | 0.2937 | 1.015 | 1.642 | json |
| t12_x25_u0_b108 | 12 | 25 | 0 | 108 | ![]() |
sqt(dot(R,dot(R,D))) | 40471 | 98457345 | o1(o2(x,o2(x,x))) | true | 3775 | 3775 | -0.9363 | 0.0488 | 0.9661 | 0.08019 | 0.2832 | -1 | 0.7871 | 1.787 | 1 | 0.4396 | 0.0248 | 0.02396 | 0.03727 | 0.0173 | 1 | 0.00004929 | 0.1521 | 0.0759 | 0.04737 | 0.2176 | 5.84 | 2.38 | 0.608 | 1.897 | 1 | 1 | 0.04661 | 0.1312 | 0.1627 | 0.5813 | 1.636 | 2.029 | json |
| t12_x25_u0_b109 | 12 | 25 | 0 | 109 | ![]() |
sqt(dot(R,dst(R,D))) | 40472 | 98457346 | o1(o2(x,o2(x,x))) | true | 3783 | 3783 | -0.8976 | 0.05859 | 0.9852 | 0.1712 | 0.4137 | -1 | 1 | 2 | 1 | 0.5143 | 0.01658 | 0.01922 | 0.02173 | -0.07381 | 1 | -0.000002515 | 0.07495 | 0.04099 | 0.03534 | 0.188 | 8.65 | 2.828 | 0.2092 | 0.4379 | 1 | 1 | 0.05289 | 0.2228 | 0.4901 | 0.309 | 1.302 | 2.863 | json |
| t12_x25_u0_b110 | 12 | 25 | 0 | 110 | ![]() |
sqt(dst(R,add(R,D))) | 40473 | 98457347 | o1(o2(x,o2(x,x))) | true | 3791 | 3791 | 0.6462 | 1 | 0.6462 | 0.0189 | 0.1375 | 0.2107 | 0.838 | 0.6273 | 1 | 2.946 | 0.001647 | 0.001647 | 0.05095 | -0.000001307 | 1 | -0.0006689 | 0.0009022 | 0.01589 | 0.0006987 | 0.02643 | 0.5188 | 0.1533 | 0.1743 | 0.04773 | 1 | 1 | 0.00623 | 0.0394 | 2.317e-16 | 0.3296 | 2.084 | 1.226e-14 | json |
| t12_x25_u0_b111 | 12 | 25 | 0 | 111 | ![]() |
sqt(dst(R,sub(R,D))) | 40474 | 98457348 | o1(o2(x,o2(x,x))) | true | 3799 | 3799 | 0.6462 | 1 | 0.6462 | 0.0189 | 0.1375 | 0.2107 | 0.838 | 0.6273 | 1 | 2.946 | 0.001647 | 0.001647 | 0.05095 | -0.000001343 | 1 | -0.0006689 | 0.0009022 | 0.01589 | 0.0006987 | 0.02643 | 0.5188 | 0.1533 | 0.1743 | 0.04773 | 1 | 1 | 0.00623 | 0.0394 | 2.522e-16 | 0.3296 | 2.084 | 1.334e-14 | json |
| t12_x25_u0_b112 | 12 | 25 | 0 | 112 | ![]() |
sqt(dst(R,mlt(R,D))) | 40475 | 98457349 | o1(o2(x,o2(x,x))) | true | 3807 | 3807 | 0.9382 | 1 | 0.9382 | 0.008633 | 0.09291 | 0.3107 | 1 | 0.6893 | 1 | 1.661 | 0.0001549 | 0.00021 | 0.0119 | -0.151 | 1 | -4.153e-7 | 0.00007414 | 0.004477 | 0.0002233 | 0.01494 | 1.256 | 0.1022 | 0.04226 | 0.008588 | 1 | 1 | 0.0005936 | 0.006137 | 0.01273 | 0.06876 | 0.7109 | 1.474 | json |
| t12_x25_u0_b113 | 12 | 25 | 0 | 113 | ![]() |
sqt(dst(R,div(R,D))) | 40476 | 98457350 | o1(o2(x,o2(x,x))) | true | 3815 | 3815 | -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_u0_b114 | 12 | 25 | 0 | 114 | ![]() |
sqt(dst(R,pow(R,D))) | 40477 | 98457351 | o1(o2(x,o2(x,x))) | true | 3823 | 3823 | -0.9925 | 0.003906 | 0.9997 | 0.01441 | 0.12 | -1 | 1 | 2 | 1 | 0.04375 | 0.001864 | 0.001776 | 0.001957 | 0.02401 | 1 | 0 | 0.007721 | 0.003857 | 0.003633 | 0.06028 | 30.8 | 2.828 | 0.2526 | 0.5359 | 1 | 1 | 0.006405 | 0.02632 | 0.051 | 0.4446 | 1.827 | 3.54 | json |
| t12_x25_u0_b115 | 12 | 25 | 0 | 115 | ![]() |
sqt(dst(R,mod(R,D))) | 40478 | 98457352 | o1(o2(x,o2(x,x))) | true | 3831 | 3831 | 0.7315 | 0.9994 | 0.7315 | 0.03838 | 0.1959 | 0 | 1 | 1 | 1 | 3.447 | 0.003816 | 0.003702 | 0.06429 | 0.0152 | 1 | 0.0003887 | 0.0162 | 0.08722 | 0.003385 | 0.05818 | 0.905 | 0.5189 | 0.1959 | 0.4221 | 1 | 1 | 0.006798 | 0.03285 | 0.05471 | 0.1771 | 0.8559 | 1.426 | json |
| t12_x25_u0_b116 | 12 | 25 | 0 | 116 | ![]() |
sqt(dst(R,lrg(R,D))) | 40479 | 98457353 | o1(o2(x,o2(x,x))) | true | 3839 | 3839 | 0.9449 | 1 | 0.9449 | 0.007286 | 0.08536 | 0.4639 | 1 | 0.5361 | 1 | 1.52 | 0.00062 | 0.0006845 | 0.01555 | -0.04945 | 1 | -0.000002825 | 0.002257 | 0.01575 | 0.001063 | 0.0326 | 2.096 | 0.4906 | 0.179 | 0.3098 | 1 | 1 | 0.001478 | 0.00824 | 0.0144 | 0.2029 | 1.131 | 1.976 | json |
| t12_x25_u0_b117 | 12 | 25 | 0 | 117 | ![]() |
sqt(dst(R,eql(R,D))) | 40480 | 98457354 | o1(o2(x,o2(x,x))) | true | 3847 | 3847 | 0.9395 | 1 | 0.9395 | 0.008315 | 0.09119 | 0.3152 | 1 | 0.6848 | 1 | 1.63 | 0.0001179 | 0.0001711 | 0.009847 | -0.1839 | 1 | -0.000009907 | 0.00007463 | 0.003334 | 0.0001921 | 0.01386 | 1.407 | 0.1692 | 0.03476 | 0.008975 | 1 | 1 | 0.000451 | 0.005094 | 0.0124 | 0.05423 | 0.6127 | 1.492 | json |
| t12_x25_u0_b118 | 12 | 25 | 0 | 118 | ![]() |
sqt(dst(R,min(R,D))) | 40481 | 98457355 | o1(o2(x,o2(x,x))) | true | 3855 | 3855 | 0.7146 | 0.9993 | 0.7146 | 0.07216 | 0.2686 | 0 | 1 | 1 | 1 | 3.55 | 0.001626 | 0.001455 | 0.04245 | 0.05534 | 1 | 0.00008595 | 0.0007799 | 0.01451 | 0.001279 | 0.03577 | 0.8425 | 0.2574 | 0.0427 | 0.01081 | 1 | 1 | 0.005581 | 0.06088 | 0.1346 | 0.07734 | 0.8437 | 1.865 | json |
| t12_x25_u0_b119 | 12 | 25 | 0 | 119 | ![]() |
sqt(dst(R,dot(R,D))) | 40482 | 98457356 | o1(o2(x,o2(x,x))) | true | 3863 | 3863 | 0.9451 | 1 | 0.9451 | 0.008125 | 0.09014 | 0.297 | 1 | 0.703 | 1 | 1.533 | 0.0001911 | 0.0002528 | 0.01247 | -0.139 | 1 | -0.00002868 | 0.000124 | 0.005525 | 0.0002883 | 0.01698 | 1.361 | 0.1227 | 0.05463 | 0.01527 | 1 | 1 | 0.0007583 | 0.006957 | 0.01234 | 0.09333 | 0.8563 | 1.519 | json |
| t12_x25_u0_b120 | 12 | 25 | 0 | 120 | ![]() |
sqt(dst(R,dst(R,D))) | 40483 | 98457357 | o1(o2(x,o2(x,x))) | true | 3871 | 3871 | 0.994 | 1 | 0.994 | 0.001101 | 0.03318 | 0.1754 | 1 | 0.8246 | 1 | 0.2877 | 0.00008383 | 0.00009165 | 0.003005 | -0.04458 | 1 | -0.000004581 | 0.00009597 | 0.00222 | 0.0001663 | 0.0129 | 4.291 | 0.2006 | 0.1594 | 0.08718 | 1 | 1 | 0.0002689 | 0.001585 | 0.001763 | 0.2442 | 1.44 | 1.602 | json |
| t12_x25_u1_b0 | 12 | 25 | 1 | 0 | ![]() |
log(add(R,add(R,D))) | 40484 | 98457438 | o1(o2(x,o2(x,x))) | true | 3879 | 3879 | -0.9604 | 0.01955 | 0.9705 | 0.0403 | 0.2008 | -1 | 0.6145 | 1.614 | 1 | 0.4711 | 0.008314 | 0.004824 | 0.01491 | 0.2656 | 1 | 0.00001815 | 0.02864 | 0.02415 | 0.01293 | 0.1137 | 7.627 | 2.261 | 0.326 | 0.7107 | 1 | 1 | 0.01342 | 0.04283 | 0.08505 | 0.333 | 1.063 | 2.11 | json |
| t12_x25_u1_b1 | 12 | 25 | 1 | 1 | ![]() |
log(add(R,sub(R,D))) | 40485 | 98457439 | o1(o2(x,o2(x,x))) | true | 3887 | 3887 | -0.9455 | 0.02963 | 0.9603 | 0.05673 | 0.2382 | -1 | 0.6942 | 1.694 | 1 | 0.5692 | 0.01118 | 0.006214 | 0.01913 | 0.2856 | 1 | 0.00004076 | 0.03769 | 0.03065 | 0.01703 | 0.1305 | 6.82 | 2.014 | 0.3067 | 0.6644 | 1 | 1 | 0.0173 | 0.06356 | 0.1101 | 0.305 | 1.12 | 1.94 | json |
| t12_x25_u1_b2 | 12 | 25 | 1 | 2 | ![]() |
log(add(R,mlt(R,D))) | 40486 | 98457440 | o1(o2(x,o2(x,x))) | true | 3895 | 3895 | -0.986 | 0.0001068 | 0.986 | 0.007931 | 0.08905 | -1 | 0.02656 | 1.027 | 1 | 0.3145 | 0.001098 | 0.001033 | 0.005053 | 0.03036 | 1 | 0.00002523 | 0.00422 | 0.006676 | 0.002106 | 0.04589 | 9.081 | 1.167 | 0.2688 | 0.5321 | 1 | 1 | 0.001857 | 0.00764 | 0.01288 | 0.2342 | 0.9633 | 1.624 | json |
| t12_x25_u1_b3 | 12 | 25 | 1 | 3 | ![]() |
log(add(R,div(R,D))) | 40487 | 98457441 | o1(o2(x,o2(x,x))) | true | 3903 | 3903 | -0.9483 | 0.02629 | 0.9864 | 0.08285 | 0.2878 | -1 | 1 | 2 | 1 | 0.3719 | 0.02116 | 0.009193 | 0.0212 | 0.3943 | 1 | 2.757e-7 | 0.06336 | 0.03366 | 0.02991 | 0.173 | 8.157 | 2.828 | 0.3664 | 0.7647 | 1 | 1 | 0.03284 | 0.1023 | 0.1935 | 0.3964 | 1.235 | 2.335 | json |
| t12_x25_u1_b4 | 12 | 25 | 1 | 4 | ![]() |
log(add(R,pow(R,D))) | 40488 | 98457442 | o1(o2(x,o2(x,x))) | true | 3911 | 3911 | -0.9383 | 0.04083 | 0.9764 | 0.08636 | 0.2939 | -1 | 0.6879 | 1.688 | 1 | 0.397 | 0.008696 | 0.008582 | 0.0131 | 0.006601 | 1 | 0.00001256 | 0.03597 | 0.02408 | 0.01711 | 0.1308 | 9.989 | 2.3 | 0.2001 | 0.4165 | 1 | 1 | 0.01362 | 0.05873 | 0.142 | 0.1578 | 0.68 | 1.644 | json |
| t12_x25_u1_b5 | 12 | 25 | 1 | 5 | ![]() |
log(add(R,mod(R,D))) | 40489 | 98457443 | o1(o2(x,o2(x,x))) | true | 3919 | 3919 | -0.9754 | 0.002594 | 0.9757 | 0.01823 | 0.135 | -1 | 0.1856 | 1.186 | 1 | 0.3825 | 0.001765 | 0.002094 | 0.008123 | -0.08529 | 1 | -0.00001701 | 0.008068 | 0.01327 | 0.003792 | 0.06158 | 7.581 | 1.25 | 0.2117 | 0.4427 | 1 | 1 | 0.003083 | 0.01532 | 0.03158 | 0.1692 | 0.8406 | 1.733 | json |
| t12_x25_u1_b6 | 12 | 25 | 1 | 6 | ![]() |
log(add(R,lrg(R,D))) | 40490 | 98457444 | o1(o2(x,o2(x,x))) | true | 3927 | 3927 | -0.8481 | 0.1008 | 0.9253 | 0.182 | 0.4266 | -1 | 0.6742 | 1.674 | 1 | 1.005 | 0.03862 | 0.0176 | 0.04847 | 0.3738 | 1 | 0.00003104 | 0.1188 | 0.08616 | 0.05389 | 0.2321 | 4.79 | 2.312 | 0.3089 | 0.6527 | 1 | 1 | 0.05624 | 0.1939 | 0.3556 | 0.3091 | 1.066 | 1.954 | json |
| t12_x25_u1_b7 | 12 | 25 | 1 | 7 | ![]() |
log(add(R,eql(R,D))) | 40491 | 98457445 | o1(o2(x,o2(x,x))) | true | 3935 | 3935 | -0.9838 | 0 | 0.9838 | 0.009626 | 0.09811 | -1 | -0.05896 | 0.941 | 1 | 0.3254 | 0.001056 | 0.001224 | 0.005061 | -0.07381 | 1 | 0.00001706 | 0.004529 | 0.00698 | 0.002254 | 0.04747 | 9.381 | 1.212 | 0.2369 | 0.4706 | 1 | 1 | 0.001967 | 0.008849 | 0.01618 | 0.2044 | 0.9193 | 1.681 | json |
| t12_x25_u1_b8 | 12 | 25 | 1 | 8 | ![]() |
log(add(R,min(R,D))) | 40492 | 98457446 | o1(o2(x,o2(x,x))) | true | 3943 | 3943 | -0.996 | 0 | 0.996 | 0.002013 | 0.04487 | -1 | -0.09567 | 0.9043 | 1 | 0.1129 | 0.0006486 | 0.000232 | 0.002192 | 0.4731 | 1 | 0.0000242 | 0.001956 | 0.003359 | 0.0008761 | 0.0296 | 13.5 | 1.16 | 0.4375 | 0.9717 | 1 | 1 | 0.0007224 | 0.002371 | 0.003601 | 0.3589 | 1.178 | 1.789 | json |
| t12_x25_u1_b9 | 12 | 25 | 1 | 9 | ![]() |
log(add(R,dot(R,D))) | 40493 | 98457447 | o1(o2(x,o2(x,x))) | true | 3951 | 3951 | -0.9822 | 0.001877 | 0.9825 | 0.01169 | 0.1081 | -1 | 0.2318 | 1.232 | 1 | 0.3615 | 0.002788 | 0.002189 | 0.009634 | 0.1204 | 1 | -0.0000247 | 0.012 | 0.01468 | 0.004883 | 0.06988 | 7.253 | 1.438 | 0.4258 | 1.026 | 1 | 1 | 0.005179 | 0.01766 | 0.02256 | 0.443 | 1.511 | 1.93 | json |
| t12_x25_u1_b10 | 12 | 25 | 1 | 10 | ![]() |
log(add(R,dst(R,D))) | 40494 | 98457448 | o1(o2(x,o2(x,x))) | true | 3959 | 3959 | -0.2215 | 0.4008 | 0.5312 | 0.3436 | 0.5862 | -1 | 0.961 | 1.961 | 1 | 4.457 | 0.01712 | 0.01611 | 0.09103 | 0.03045 | 1 | 0.000189 | 0.05958 | 0.06153 | 0.02495 | 0.1579 | 1.735 | 2.562 | 0.09671 | 0.1734 | 1 | 1 | 0.04117 | 0.3008 | 0.6712 | 0.1198 | 0.8755 | 1.953 | json |
| t12_x25_u1_b11 | 12 | 25 | 1 | 11 | ![]() |
log(sub(R,add(R,D))) | 40495 | 98457449 | o1(o2(x,o2(x,x))) | true | 3967 | 3967 | -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_u1_b12 | 12 | 25 | 1 | 12 | ![]() |
log(sub(R,sub(R,D))) | 40496 | 98457450 | o1(o2(x,o2(x,x))) | true | 3975 | 3975 | -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_u1_b13 | 12 | 25 | 1 | 13 | ![]() |
log(sub(R,mlt(R,D))) | 40497 | 98457451 | o1(o2(x,o2(x,x))) | true | 3983 | 3983 | -0.986 | 0.00006104 | 0.986 | 0.007962 | 0.08923 | -1 | 0.0237 | 1.024 | 1 | 0.3045 | 0.001104 | 0.001002 | 0.00502 | 0.0485 | 1 | 0.0000338 | 0.004141 | 0.006704 | 0.00208 | 0.04561 | 9.086 | 1.254 | 0.2645 | 0.5201 | 1 | 1 | 0.00186 | 0.007791 | 0.01355 | 0.2336 | 0.9785 | 1.702 | json |
| t12_x25_u1_b14 | 12 | 25 | 1 | 14 | ![]() |
log(sub(R,div(R,D))) | 40498 | 98457452 | o1(o2(x,o2(x,x))) | true | 3991 | 3991 | -0.9328 | 0.03575 | 0.982 | 0.107 | 0.3271 | -1 | 1 | 2 | 1 | 0.4493 | 0.02562 | 0.01047 | 0.02486 | 0.4198 | 1 | -5.75e-7 | 0.07459 | 0.04003 | 0.03546 | 0.1883 | 7.575 | 2.828 | 0.3372 | 0.697 | 1 | 1 | 0.03188 | 0.09677 | 0.1699 | 0.2979 | 0.9043 | 1.588 | json |
| t12_x25_u1_b15 | 12 | 25 | 1 | 15 | ![]() |
log(sub(R,pow(R,D))) | 40499 | 98457453 | o1(o2(x,o2(x,x))) | true | 3999 | 3999 | -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 |



































































































