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 | ||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| t17_x26_u3_b118 | 17 | 26 | 3 | 118 | ![]() |
dst(R,min(R,flr(R))) | 120000 | 139101364 | o2(x,o2(x,o1(x))) | true | 120007 | 120007 | 0.906 | 1 | 0.906 | 0.02142 | 0.1463 | 0.09964 | 1 | 0.9004 | 1 | 2.061 | 0.0004 | 0.0004115 | 0.01647 | -0.0142 | 1 | -0.00002456 | 0.0001347 | 0.005529 | 0.0005399 | 0.02324 | 1.41 | 0.1309 | 0.03789 | 0.006287 | 1 | 1 | 0.001532 | 0.01743 | 0.04425 | 0.07154 | 0.8136 | 2.066 | json |
| t17_x26_u3_b119 | 17 | 26 | 3 | 119 | ![]() |
dst(R,dot(R,flr(R))) | 120001 | 139101365 | o2(x,o2(x,o1(x))) | true | 120015 | 120015 | 0.9735 | 1 | 0.9735 | 0.008176 | 0.09042 | 0.1001 | 1 | 0.8999 | 1 | 0.7849 | 0.000252 | 0.0003585 | 0.007308 | -0.1744 | 1 | -0.00007463 | 0.0002861 | 0.004606 | 0.0005571 | 0.0236 | 3.23 | 0.3158 | 0.07468 | 0.03499 | 1 | 1 | 0.001046 | 0.008862 | 0.01474 | 0.1279 | 1.084 | 1.803 | json |
| t17_x26_u3_b120 | 17 | 26 | 3 | 120 | ![]() |
dst(R,dst(R,flr(R))) | 120002 | 139101366 | o2(x,o2(x,o1(x))) | true | 120023 | 120023 | 0.9961 | 1 | 0.9961 | 0.001591 | 0.03989 | 0.07812 | 1 | 0.9219 | 1 | 0.1512 | 0.0000874 | 0.00008439 | 0.001584 | 0.01751 | 1 | 2.628e-11 | 0.00008259 | 0.001183 | 0.0001694 | 0.01301 | 8.217 | 0.2521 | 0.108 | 0.05192 | 1 | 1 | 0.0001559 | 0.001146 | 0.001905 | 0.09799 | 0.7205 | 1.198 | json |
| t17_x26_u4_b0 | 17 | 26 | 4 | 0 | ![]() |
add(R,add(R,cil(R))) | 120003 | 139101447 | o2(x,o2(x,o1(x))) | true | 120031 | 120031 | 0.2139 | 0.5849 | 0.7711 | 0.6458 | 0.8036 | -1 | 1 | 2 | 1 | 3.584 | 0.01244 | 0.01472 | 0.09809 | -0.08414 | 1 | -0.00006962 | 0.006978 | 0.03896 | 0.01755 | 0.1325 | 1.35 | 0.5771 | 0.04206 | 0.01081 | 1 | 1 | 0.05158 | 0.5157 | 1.133 | 0.07986 | 0.7985 | 1.754 | json |
| t17_x26_u4_b1 | 17 | 26 | 4 | 1 | ![]() |
add(R,sub(R,cil(R))) | 120004 | 139101448 | o2(x,o2(x,o1(x))) | true | 120039 | 120039 | -0.3909 | 0.2291 | 0.5552 | 0.2608 | 0.5107 | -1 | 0.9616 | 1.962 | 1 | 4.46 | 0.004208 | 0.004127 | 0.06671 | 0.009689 | 1 | 0.0001296 | 0.001062 | 0.01833 | 0.003885 | 0.06233 | 0.9344 | 0.3433 | 0.03195 | 0.004071 | 1 | 1 | 0.01611 | 0.1907 | 0.4655 | 0.06177 | 0.7313 | 1.785 | json |
| t17_x26_u4_b2 | 17 | 26 | 4 | 2 | ![]() |
add(R,mlt(R,cil(R))) | 120005 | 139101449 | o2(x,o2(x,o1(x))) | true | 120047 | 120047 | 0.2003 | 0.5696 | 0.5441 | 0.3665 | 0.6054 | -0.9989 | 1 | 1.999 | 1 | 4.584 | 0.005392 | 0.006028 | 0.07766 | -0.05573 | 1 | -0.00006181 | 0.001593 | 0.022 | 0.00539 | 0.07342 | 0.9454 | 0.3435 | 0.03116 | 0.004347 | 1 | 1 | 0.02263 | 0.2661 | 0.6629 | 0.06174 | 0.7259 | 1.809 | json |
| t17_x26_u4_b3 | 17 | 26 | 4 | 3 | ![]() |
add(R,div(R,cil(R))) | 120006 | 139101450 | o2(x,o2(x,o1(x))) | true | 120055 | 120055 | -0.8017 | 0.1016 | 0.9952 | 0.3498 | 0.5915 | -1 | 1 | 2 | 1 | 0.5783 | 0.03744 | 0.04267 | 0.04136 | -0.06537 | 1 | -3.544e-7 | 0.1691 | 0.08206 | 0.07846 | 0.2801 | 6.773 | 2.828 | 0.229 | 0.4833 | 1 | 1 | 0.07507 | 0.3148 | 0.7177 | 0.2146 | 0.9 | 2.052 | json |
| t17_x26_u4_b4 | 17 | 26 | 4 | 4 | ![]() |
add(R,pow(R,cil(R))) | 120007 | 139101451 | o2(x,o2(x,o1(x))) | true | 120063 | 120063 | 0.6956 | 1 | 0.6956 | 0.08002 | 0.2829 | 0.001146 | 1 | 0.9989 | 1 | 3.498 | 0.001398 | 0.001275 | 0.03492 | 0.04583 | 1 | -0.00002542 | 0.0005639 | 0.01194 | 0.001454 | 0.03813 | 1.092 | 0.2195 | 0.0334 | 0.007046 | 1 | 1 | 0.004903 | 0.05342 | 0.1347 | 0.06127 | 0.6675 | 1.684 | json |
| t17_x26_u4_b5 | 17 | 26 | 4 | 5 | ![]() |
add(R,mod(R,cil(R))) | 120008 | 139101452 | o2(x,o2(x,o1(x))) | true | 120071 | 120071 | -0.9188 | 0.04297 | 0.9952 | 0.1482 | 0.385 | -1 | 1 | 2 | 1 | 0.341 | 0.0148 | 0.01462 | 0.0163 | 0.006122 | 1 | -3.547e-7 | 0.06132 | 0.03141 | 0.02914 | 0.1707 | 10.48 | 2.828 | 0.1985 | 0.4136 | 1 | 1 | 0.02346 | 0.1029 | 0.2523 | 0.1583 | 0.6939 | 1.702 | json |
| t17_x26_u4_b6 | 17 | 26 | 4 | 6 | ![]() |
add(R,lrg(R,cil(R))) | 120009 | 139101453 | o2(x,o2(x,o1(x))) | true | 120079 | 120079 | 0.008979 | 0.4983 | 0.3946 | 0.2196 | 0.4686 | -0.9989 | 0.9806 | 1.979 | 1 | 4.862 | 0.002813 | 0.00317 | 0.0632 | -0.05957 | 1 | 0.00002651 | 0.0003508 | 0.01449 | 0.001989 | 0.0446 | 0.7057 | 0.2301 | 0.02725 | 0.001598 | 1 | 1 | 0.01182 | 0.1519 | 0.3914 | 0.05384 | 0.6917 | 1.782 | json |
| t17_x26_u4_b7 | 17 | 26 | 4 | 7 | ![]() |
add(R,eql(R,cil(R))) | 120010 | 139101454 | o2(x,o2(x,o1(x))) | true | 120087 | 120087 | 0.008979 | 0.4983 | 0.3946 | 0.2196 | 0.4686 | -0.9989 | 0.9806 | 1.979 | 1 | 4.862 | 0.002813 | 0.00317 | 0.0632 | -0.05957 | 1 | 0.00002651 | 0.0003508 | 0.01449 | 0.001989 | 0.0446 | 0.7057 | 0.2301 | 0.02725 | 0.001598 | 1 | 1 | 0.01182 | 0.1519 | 0.3914 | 0.05384 | 0.6917 | 1.782 | json |
| t17_x26_u4_b8 | 17 | 26 | 4 | 8 | ![]() |
add(R,min(R,cil(R))) | 120011 | 139101455 | o2(x,o2(x,o1(x))) | true | 120095 | 120095 | 0.01372 | 0.4984 | 0.659 | 0.5457 | 0.7387 | -1 | 1 | 2 | 1 | 4.408 | 0.008726 | 0.009756 | 0.09338 | -0.05568 | 1 | 0.00002908 | 0.003164 | 0.02873 | 0.009763 | 0.09881 | 1.058 | 0.4602 | 0.03387 | 0.005798 | 1 | 1 | 0.03624 | 0.4079 | 0.9797 | 0.06641 | 0.7475 | 1.795 | json |
| t17_x26_u4_b9 | 17 | 26 | 4 | 9 | ![]() |
add(R,dot(R,cil(R))) | 120012 | 139101456 | o2(x,o2(x,o1(x))) | true | 120103 | 120103 | 0.538 | 0.8267 | 0.6325 | 0.2394 | 0.4893 | -0.9105 | 1 | 1.91 | 1 | 3.78 | 0.004245 | 0.004659 | 0.06091 | -0.04641 | 1 | -0.00009 | 0.002038 | 0.02233 | 0.005194 | 0.07207 | 1.183 | 0.3818 | 0.03719 | 0.008512 | 1 | 1 | 0.01639 | 0.1706 | 0.407 | 0.06845 | 0.7127 | 1.7 | json |
| t17_x26_u4_b10 | 17 | 26 | 4 | 10 | ![]() |
add(R,dst(R,cil(R))) | 120013 | 139101457 | o2(x,o2(x,o1(x))) | true | 120111 | 120111 | 0.7891 | 1 | 0.7891 | 0.07423 | 0.2725 | 0.01948 | 1 | 0.9805 | 1 | 2.818 | 0.001492 | 0.001566 | 0.03353 | -0.02421 | 1 | -0.00005654 | 0.0006995 | 0.01271 | 0.001934 | 0.04398 | 1.312 | 0.2276 | 0.04121 | 0.009423 | 1 | 1 | 0.005884 | 0.06216 | 0.1298 | 0.07927 | 0.8373 | 1.749 | json |
| t17_x26_u4_b11 | 17 | 26 | 4 | 11 | ![]() |
sub(R,add(R,cil(R))) | 120014 | 139101458 | o2(x,o2(x,o1(x))) | true | 120119 | 120119 | -0.4824 | 0 | 0.4824 | 0.1537 | 0.3921 | -1 | 0 | 1 | 1 | 3.644 | 0.001972 | 0.002442 | 0.05168 | -0.1065 | 1 | 0.00001781 | 0.0002592 | 0.01257 | 0.001744 | 0.04176 | 0.8079 | 0.1169 | 0.02872 | 0.001686 | 1 | 1 | 0.008731 | 0.1124 | 0.2862 | 0.0568 | 0.7316 | 1.862 | json |
| t17_x26_u4_b12 | 17 | 26 | 4 | 12 | ![]() |
sub(R,sub(R,cil(R))) | 120015 | 139101459 | o2(x,o2(x,o1(x))) | true | 120127 | 120127 | 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 |
| t17_x26_u4_b13 | 17 | 26 | 4 | 13 | ![]() |
sub(R,mlt(R,cil(R))) | 120016 | 139101460 | o2(x,o2(x,o1(x))) | true | 120135 | 120135 | -0.2541 | 0 | 0.2541 | 0.06549 | 0.2559 | -0.9989 | 0 | 0.9989 | 1 | 3.542 | 0.000768 | 0.0009295 | 0.0314 | -0.09514 | 1 | 0.00001332 | 0.00009988 | 0.007359 | 0.0007117 | 0.02668 | 0.8497 | 0.1168 | 0.02592 | 0.001525 | 1 | 1 | 0.003123 | 0.04017 | 0.1061 | 0.04769 | 0.6134 | 1.62 | json |
| t17_x26_u4_b14 | 17 | 26 | 4 | 14 | ![]() |
sub(R,div(R,cil(R))) | 120017 | 139101461 | o2(x,o2(x,o1(x))) | true | 120143 | 120143 | -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 |
| t17_x26_u4_b15 | 17 | 26 | 4 | 15 | ![]() |
sub(R,pow(R,cil(R))) | 120018 | 139101462 | o2(x,o2(x,o1(x))) | true | 120151 | 120151 | -0.6035 | 0 | 0.6035 | 0.1724 | 0.4152 | -1 | 2.979e-8 | 1 | 1 | 3.018 | 0.003034 | 0.003719 | 0.05208 | -0.1014 | 1 | 0.00009836 | 0.001315 | 0.01838 | 0.004041 | 0.06357 | 1.22 | 0.2264 | 0.03916 | 0.007629 | 1 | 1 | 0.0128 | 0.1379 | 0.3101 | 0.07424 | 0.7995 | 1.799 | json |
| t17_x26_u4_b16 | 17 | 26 | 4 | 16 | ![]() |
sub(R,mod(R,cil(R))) | 120019 | 139101463 | o2(x,o2(x,o1(x))) | true | 120159 | 120159 | -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 |
| t17_x26_u4_b17 | 17 | 26 | 4 | 17 | ![]() |
sub(R,lrg(R,cil(R))) | 120020 | 139101464 | o2(x,o2(x,o1(x))) | true | 120167 | 120167 | 0.008979 | 0.4983 | 0.3946 | 0.2196 | 0.4686 | -0.9989 | 0.9806 | 1.979 | 1 | 4.862 | 0.002813 | 0.00317 | 0.0632 | -0.05957 | 1 | 0.00002651 | 0.0003508 | 0.01449 | 0.001989 | 0.0446 | 0.7057 | 0.2301 | 0.02725 | 0.001598 | 1 | 1 | 0.01182 | 0.1519 | 0.3914 | 0.05384 | 0.6917 | 1.782 | json |
| t17_x26_u4_b18 | 17 | 26 | 4 | 18 | ![]() |
sub(R,eql(R,cil(R))) | 120021 | 139101465 | o2(x,o2(x,o1(x))) | true | 120175 | 120175 | 0.008979 | 0.4983 | 0.3946 | 0.2196 | 0.4686 | -0.9989 | 0.9806 | 1.979 | 1 | 4.862 | 0.002813 | 0.00317 | 0.0632 | -0.05957 | 1 | 0.00002651 | 0.0003508 | 0.01449 | 0.001989 | 0.0446 | 0.7057 | 0.2301 | 0.02725 | 0.001598 | 1 | 1 | 0.01182 | 0.1519 | 0.3914 | 0.05384 | 0.6917 | 1.782 | json |
| t17_x26_u4_b19 | 17 | 26 | 4 | 19 | ![]() |
sub(R,min(R,cil(R))) | 120022 | 139101466 | o2(x,o2(x,o1(x))) | true | 120183 | 120183 | 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 |
| t17_x26_u4_b20 | 17 | 26 | 4 | 20 | ![]() |
sub(R,dot(R,cil(R))) | 120023 | 139101467 | o2(x,o2(x,o1(x))) | true | 120191 | 120191 | -0.6641 | 0 | 0.6641 | 0.09633 | 0.3104 | -1 | -0.00001956 | 1 | 1 | 3.548 | 0.00187 | 0.001726 | 0.04152 | 0.03992 | 1 | 0.00006196 | 0.0006801 | 0.01338 | 0.001872 | 0.04327 | 1.042 | 0.2672 | 0.03733 | 0.00706 | 1 | 1 | 0.006681 | 0.07291 | 0.1647 | 0.06936 | 0.7569 | 1.71 | json |
| t17_x26_u4_b21 | 17 | 26 | 4 | 21 | ![]() |
sub(R,dst(R,cil(R))) | 120024 | 139101468 | o2(x,o2(x,o1(x))) | true | 120199 | 120199 | -0.7336 | 0.05293 | 0.7501 | 0.1222 | 0.3496 | -1 | 0.6016 | 1.602 | 1 | 3.095 | 0.002339 | 0.002395 | 0.04172 | -0.01193 | 1 | 0.0001127 | 0.0009327 | 0.01449 | 0.002993 | 0.05471 | 1.311 | 0.3115 | 0.03874 | 0.007634 | 1 | 1 | 0.009336 | 0.1005 | 0.2423 | 0.07641 | 0.8229 | 1.983 | json |
| t17_x26_u4_b22 | 17 | 26 | 4 | 22 | ![]() |
mlt(R,add(R,cil(R))) | 120025 | 139101469 | o2(x,o2(x,o1(x))) | true | 120207 | 120207 | 0.5532 | 1 | 0.5532 | 0.1067 | 0.3266 | 0.0001386 | 1 | 0.9999 | 1 | 3.783 | 0.001735 | 0.001816 | 0.04251 | -0.02296 | 1 | -0.00005718 | 0.0006329 | 0.01311 | 0.001744 | 0.04176 | 0.9824 | 0.2145 | 0.0333 | 0.005934 | 1 | 1 | 0.006708 | 0.07628 | 0.2181 | 0.0629 | 0.7152 | 2.045 | json |
| t17_x26_u4_b23 | 17 | 26 | 4 | 23 | ![]() |
mlt(R,sub(R,cil(R))) | 120026 | 139101470 | o2(x,o2(x,o1(x))) | true | 120215 | 120215 | 0.08642 | 0.5403 | 0.2 | 0.07093 | 0.2663 | -0.2497 | 0.9978 | 1.247 | 1 | 3.787 | 0.0007838 | 0.0009664 | 0.03195 | -0.1043 | 1 | -0.00001303 | 0.0001032 | 0.007396 | 0.0007297 | 0.02701 | 0.8456 | 0.1419 | 0.02468 | 0.001455 | 1 | 1 | 0.003207 | 0.04129 | 0.1128 | 0.04522 | 0.5822 | 1.591 | json |
| t17_x26_u4_b24 | 17 | 26 | 4 | 24 | ![]() |
mlt(R,mlt(R,cil(R))) | 120027 | 139101471 | o2(x,o2(x,o1(x))) | true | 120223 | 120223 | 0.1827 | 0.8766 | 0.1827 | 0.04862 | 0.2205 | 0 | 0.9627 | 0.9627 | 1 | 2.868 | 0.0007217 | 0.0007143 | 0.027 | 0.005123 | 1 | 0.00002097 | 0.00008552 | 0.00636 | 0.0007072 | 0.02659 | 0.985 | 0.1126 | 0.02954 | 0.001759 | 1 | 1 | 0.002791 | 0.03589 | 0.09588 | 0.05741 | 0.7382 | 1.972 | json |
| t17_x26_u4_b25 | 17 | 26 | 4 | 25 | ![]() |
mlt(R,div(R,cil(R))) | 120028 | 139101472 | o2(x,o2(x,o1(x))) | true | 120231 | 120231 | -0.9403 | 0.04297 | 0.9738 | 0.08156 | 0.2856 | -1 | 0.889 | 1.889 | 1 | 0.4167 | 0.008183 | 0.008256 | 0.01283 | -0.004464 | 1 | 0.0000103 | 0.03425 | 0.02325 | 0.01628 | 0.1276 | 9.948 | 2.477 | 0.2016 | 0.4199 | 1 | 1 | 0.01303 | 0.05702 | 0.1371 | 0.1598 | 0.6992 | 1.681 | json |
| t17_x26_u4_b26 | 17 | 26 | 4 | 26 | ![]() |
mlt(R,pow(R,cil(R))) | 120029 | 139101473 | o2(x,o2(x,o1(x))) | true | 120239 | 120239 | -0.07133 | 0.4367 | 0.3418 | 0.1722 | 0.4149 | -0.9989 | 0.9624 | 1.961 | 1 | 4.731 | 0.002247 | 0.002506 | 0.05594 | -0.05441 | 1 | 0.00003429 | 0.0002784 | 0.01273 | 0.001623 | 0.04029 | 0.7202 | 0.2267 | 0.0276 | 0.001617 | 1 | 1 | 0.009258 | 0.1188 | 0.3059 | 0.05377 | 0.6901 | 1.777 | json |
| t17_x26_u4_b27 | 17 | 26 | 4 | 27 | ![]() |
mlt(R,mod(R,cil(R))) | 120030 | 139101474 | o2(x,o2(x,o1(x))) | true | 120247 | 120247 | -0.9403 | 0.04297 | 0.9738 | 0.08156 | 0.2856 | -1 | 0.889 | 1.889 | 1 | 0.4167 | 0.008183 | 0.008256 | 0.01283 | -0.004464 | 1 | 0.0000103 | 0.03425 | 0.02325 | 0.01628 | 0.1276 | 9.948 | 2.477 | 0.2016 | 0.4199 | 1 | 1 | 0.01303 | 0.05702 | 0.1371 | 0.1598 | 0.6992 | 1.681 | json |
| t17_x26_u4_b28 | 17 | 26 | 4 | 28 | ![]() |
mlt(R,lrg(R,cil(R))) | 120031 | 139101475 | o2(x,o2(x,o1(x))) | true | 120255 | 120255 | 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 |
| t17_x26_u4_b29 | 17 | 26 | 4 | 29 | ![]() |
mlt(R,eql(R,cil(R))) | 120032 | 139101476 | o2(x,o2(x,o1(x))) | true | 120263 | 120263 | 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 |
| t17_x26_u4_b30 | 17 | 26 | 4 | 30 | ![]() |
mlt(R,min(R,cil(R))) | 120033 | 139101477 | o2(x,o2(x,o1(x))) | true | 120271 | 120271 | 0.3495 | 0.9999 | 0.3495 | 0.05762 | 0.24 | 0.00007718 | 0.9979 | 0.9979 | 1 | 3.768 | 0.0007428 | 0.0008028 | 0.03156 | -0.03877 | 1 | 1.602e-7 | 0.00009378 | 0.007378 | 0.0005496 | 0.02344 | 0.7428 | 0.1117 | 0.02682 | 0.001628 | 1 | 1 | 0.002725 | 0.03526 | 0.107 | 0.0473 | 0.6119 | 1.856 | json |
| t17_x26_u4_b31 | 17 | 26 | 4 | 31 | ![]() |
mlt(R,dot(R,cil(R))) | 120034 | 139101478 | o2(x,o2(x,o1(x))) | true | 120279 | 120279 | 0.1595 | 0.6022 | 0.371 | 0.2136 | 0.4621 | -1 | 1 | 2 | 1 | 4.632 | 0.003039 | 0.003394 | 0.05987 | -0.05516 | 1 | 0.00000984 | 0.0007048 | 0.01534 | 0.00285 | 0.05339 | 0.8918 | 0.2932 | 0.03013 | 0.0033 | 1 | 1 | 0.01369 | 0.1653 | 0.4102 | 0.06408 | 0.7739 | 1.921 | json |
| t17_x26_u4_b32 | 17 | 26 | 4 | 32 | ![]() |
mlt(R,dst(R,cil(R))) | 120035 | 139101479 | o2(x,o2(x,o1(x))) | true | 120287 | 120287 | -0.03299 | 0.49 | 0.3721 | 0.2061 | 0.4539 | -1 | 1 | 2 | 1 | 4.794 | 0.002547 | 0.003072 | 0.05947 | -0.09345 | 1 | 0.0000396 | 0.000367 | 0.01384 | 0.002081 | 0.04562 | 0.7671 | 0.2426 | 0.02726 | 0.001781 | 1 | 1 | 0.0109 | 0.1389 | 0.3627 | 0.05291 | 0.6741 | 1.76 | json |
| t17_x26_u4_b33 | 17 | 26 | 4 | 33 | ![]() |
div(R,add(R,cil(R))) | 120036 | 139101480 | o2(x,o2(x,o1(x))) | true | 120295 | 120295 | 0.676 | 1 | 0.676 | 0.07405 | 0.2721 | 0.00337 | 1 | 0.9966 | 1 | 3.484 | 0.0009722 | 0.001207 | 0.03698 | -0.1076 | 1 | 0.00002114 | 0.0001282 | 0.008764 | 0.0008116 | 0.02849 | 0.7704 | 0.1165 | 0.02942 | 0.001731 | 1 | 1 | 0.004088 | 0.0527 | 0.1321 | 0.05521 | 0.7116 | 1.784 | json |
| t17_x26_u4_b34 | 17 | 26 | 4 | 34 | ![]() |
div(R,sub(R,cil(R))) | 120037 | 139101481 | o2(x,o2(x,o1(x))) | true | 120303 | 120303 | -0.06686 | 0.4729 | 0.7608 | 0.6751 | 0.8216 | -1 | 1 | 2 | 1 | 3.759 | 0.01498 | 0.01673 | 0.1016 | -0.05515 | 1 | 0.0002605 | 0.01408 | 0.04862 | 0.0214 | 0.1463 | 1.44 | 1.22 | 0.04697 | 0.02085 | 1 | 1 | 0.06021 | 0.5462 | 1.298 | 0.08919 | 0.8091 | 1.922 | json |
| t17_x26_u4_b35 | 17 | 26 | 4 | 35 | ![]() |
div(R,mlt(R,cil(R))) | 120038 | 139101482 | o2(x,o2(x,o1(x))) | true | 120311 | 120311 | -0.9141 | 0.04297 | 1 | 0.1645 | 0.4056 | -1 | 1 | 2 | 1 | 0.2557 | 0.01688 | 0.01638 | 0.01652 | 0.01515 | 1 | 4.055e-10 | 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 |
| t17_x26_u4_b36 | 17 | 26 | 4 | 36 | ![]() |
div(R,div(R,cil(R))) | 120039 | 139101483 | o2(x,o2(x,o1(x))) | true | 120319 | 120319 | 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 |
| t17_x26_u4_b37 | 17 | 26 | 4 | 37 | ![]() |
div(R,pow(R,cil(R))) | 120040 | 139101484 | o2(x,o2(x,o1(x))) | true | 120327 | 120327 | 0.2284 | 0.5845 | 0.5647 | 0.3725 | 0.6103 | -0.9989 | 1 | 1.999 | 1 | 4.601 | 0.004645 | 0.005717 | 0.08127 | -0.1034 | 1 | -0.000004495 | 0.0006081 | 0.01936 | 0.003757 | 0.0613 | 0.7542 | 0.2337 | 0.02782 | 0.001632 | 1 | 1 | 0.02002 | 0.2576 | 0.6515 | 0.05374 | 0.6916 | 1.749 | json |
| t17_x26_u4_b38 | 17 | 26 | 4 | 38 | ![]() |
div(R,mod(R,cil(R))) | 120041 | 139101485 | o2(x,o2(x,o1(x))) | true | 120335 | 120335 | -0.9141 | 0.04297 | 1 | 0.1645 | 0.4056 | -1 | 1 | 2 | 1 | 0.2557 | 0.01688 | 0.01638 | 0.01652 | 0.01515 | 1 | 4.055e-10 | 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 |
| t17_x26_u4_b39 | 17 | 26 | 4 | 39 | ![]() |
div(R,lrg(R,cil(R))) | 120042 | 139101486 | o2(x,o2(x,o1(x))) | true | 120343 | 120343 | -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 |
| t17_x26_u4_b40 | 17 | 26 | 4 | 40 | ![]() |
div(R,eql(R,cil(R))) | 120043 | 139101487 | o2(x,o2(x,o1(x))) | true | 120351 | 120351 | -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 |
| t17_x26_u4_b41 | 17 | 26 | 4 | 41 | ![]() |
div(R,min(R,cil(R))) | 120044 | 139101488 | o2(x,o2(x,o1(x))) | true | 120359 | 120359 | 1 | 1 | 1 | 6.881e-16 | 2.623e-8 | 1 | 1 | 5.96e-8 | 1 | 0 | 7.815e-17 | 6.691e-17 | 2.325e-9 | 0.00001124 | 0 | 6.889e-9 | 1.65e-15 | 6.919e-9 | 1.396e-16 | 1.181e-8 | 5.081 | 8.429e-8 | 0.0001451 | 0.00165 | 0 | 1 | 1.618e-16 | 6.145e-16 | 1.172e-15 | 0.0001618 | 0.0006145 | 0.001172 | json |
| t17_x26_u4_b42 | 17 | 26 | 4 | 42 | ![]() |
div(R,dot(R,cil(R))) | 120045 | 139101489 | o2(x,o2(x,o1(x))) | true | 120367 | 120367 | -0.4391 | 0.3013 | 0.7295 | 0.4478 | 0.6691 | -1 | 0.9999 | 2 | 1 | 3.443 | 0.02267 | 0.02863 | 0.07926 | -0.1163 | 1 | 0.00006823 | 0.09017 | 0.07552 | 0.04502 | 0.2122 | 2.677 | 2.828 | 0.1146 | 0.2014 | 1 | 1 | 0.05188 | 0.3114 | 0.7974 | 0.1159 | 0.6954 | 1.781 | json |
| t17_x26_u4_b43 | 17 | 26 | 4 | 43 | ![]() |
div(R,dst(R,cil(R))) | 120046 | 139101490 | o2(x,o2(x,o1(x))) | true | 120375 | 120375 | 0.05506 | 0.5053 | 0.4486 | 0.2835 | 0.5324 | -0.9768 | 1 | 1.977 | 1 | 4.851 | 0.00408 | 0.004337 | 0.07071 | -0.03055 | 1 | -0.00002573 | 0.0009717 | 0.01813 | 0.003417 | 0.05846 | 0.8267 | 0.4188 | 0.02969 | 0.003428 | 1 | 1 | 0.01686 | 0.2054 | 0.5183 | 0.05948 | 0.7245 | 1.828 | json |
| t17_x26_u4_b44 | 17 | 26 | 4 | 44 | ![]() |
pow(R,add(R,cil(R))) | 120047 | 139101491 | o2(x,o2(x,o1(x))) | true | 120383 | 120383 | -0.9373 | 0.04297 | 0.9768 | 0.08913 | 0.2985 | -1 | 0.892 | 1.892 | 1 | 0.4104 | 0.008974 | 0.009001 | 0.01322 | -0.001488 | 1 | 0.000008629 | 0.0375 | 0.0244 | 0.0178 | 0.1334 | 10.09 | 2.497 | 0.2017 | 0.4207 | 1 | 1 | 0.01419 | 0.06182 | 0.1501 | 0.1592 | 0.6936 | 1.684 | json |
| t17_x26_u4_b45 | 17 | 26 | 4 | 45 | ![]() |
pow(R,sub(R,cil(R))) | 120048 | 139101492 | o2(x,o2(x,o1(x))) | true | 120391 | 120391 | -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 |
| t17_x26_u4_b46 | 17 | 26 | 4 | 46 | ![]() |
pow(R,mlt(R,cil(R))) | 120049 | 139101493 | o2(x,o2(x,o1(x))) | true | 120399 | 120399 | 0.8986 | 1 | 0.8986 | 0.009101 | 0.0954 | 0.6922 | 1 | 0.3078 | 1 | 2.064 | 0.0001215 | 0.00014 | 0.01265 | -0.07082 | 1 | 0.00001247 | 0.00001564 | 0.002988 | 0.0001014 | 0.01007 | 0.796 | 0.03598 | 0.02873 | 0.001718 | 1 | 1 | 0.0005217 | 0.006734 | 0.01663 | 0.05733 | 0.7399 | 1.827 | json |
| t17_x26_u4_b47 | 17 | 26 | 4 | 47 | ![]() |
pow(R,div(R,cil(R))) | 120050 | 139101494 | o2(x,o2(x,o1(x))) | true | 120407 | 120407 | -0.9235 | 0.04297 | 0.9906 | 0.1306 | 0.3614 | -1 | 0.9461 | 1.946 | 1 | 0.3372 | 0.01332 | 0.01296 | 0.0151 | 0.0136 | 1 | 0.000003032 | 0.05494 | 0.02962 | 0.02607 | 0.1615 | 10.7 | 2.664 | 0.2013 | 0.4207 | 1 | 1 | 0.0201 | 0.08704 | 0.2185 | 0.1539 | 0.6665 | 1.673 | json |
| t17_x26_u4_b48 | 17 | 26 | 4 | 48 | ![]() |
pow(R,pow(R,cil(R))) | 120051 | 139101495 | o2(x,o2(x,o1(x))) | true | 120415 | 120415 | -0.9235 | 0.04297 | 0.9906 | 0.1306 | 0.3614 | -1 | 0.9461 | 1.946 | 1 | 0.3372 | 0.01332 | 0.01296 | 0.0151 | 0.0136 | 1 | 0.000003032 | 0.05494 | 0.02962 | 0.02607 | 0.1615 | 10.7 | 2.664 | 0.2013 | 0.4207 | 1 | 1 | 0.0201 | 0.08704 | 0.2185 | 0.1539 | 0.6665 | 1.673 | json |
| t17_x26_u4_b49 | 17 | 26 | 4 | 49 | ![]() |
pow(R,mod(R,cil(R))) | 120052 | 139101496 | o2(x,o2(x,o1(x))) | true | 120423 | 120423 | -0.9235 | 0.04297 | 0.9906 | 0.1306 | 0.3614 | -1 | 0.9461 | 1.946 | 1 | 0.3372 | 0.01332 | 0.01296 | 0.0151 | 0.0136 | 1 | 0.000003032 | 0.05494 | 0.02962 | 0.02607 | 0.1615 | 10.7 | 2.664 | 0.2013 | 0.4207 | 1 | 1 | 0.0201 | 0.08704 | 0.2185 | 0.1539 | 0.6665 | 1.673 | json |
| t17_x26_u4_b50 | 17 | 26 | 4 | 50 | ![]() |
pow(R,lrg(R,cil(R))) | 120053 | 139101497 | o2(x,o2(x,o1(x))) | true | 120431 | 120431 | 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 |
| t17_x26_u4_b51 | 17 | 26 | 4 | 51 | ![]() |
pow(R,eql(R,cil(R))) | 120054 | 139101498 | o2(x,o2(x,o1(x))) | true | 120439 | 120439 | 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 |
| t17_x26_u4_b52 | 17 | 26 | 4 | 52 | ![]() |
pow(R,min(R,cil(R))) | 120055 | 139101499 | o2(x,o2(x,o1(x))) | true | 120447 | 120447 | -0.9235 | 0.04297 | 0.9906 | 0.1306 | 0.3614 | -1 | 0.9461 | 1.946 | 1 | 0.3372 | 0.01332 | 0.01296 | 0.0151 | 0.0136 | 1 | 0.000003032 | 0.05494 | 0.02962 | 0.02607 | 0.1615 | 10.7 | 2.664 | 0.2013 | 0.4207 | 1 | 1 | 0.0201 | 0.08704 | 0.2185 | 0.1539 | 0.6665 | 1.673 | json |
| t17_x26_u4_b53 | 17 | 26 | 4 | 53 | ![]() |
pow(R,dot(R,cil(R))) | 120056 | 139101500 | o2(x,o2(x,o1(x))) | true | 120455 | 120455 | -0.795 | 0.1211 | 0.9628 | 0.3098 | 0.5566 | -1 | 1 | 2 | 1 | 0.9605 | 0.02191 | 0.02947 | 0.03331 | -0.1473 | 1 | 0.000006881 | 0.1068 | 0.06073 | 0.0503 | 0.2243 | 6.732 | 2.763 | 0.1659 | 0.3448 | 1 | 1 | 0.03104 | 0.1347 | 0.4069 | 0.1002 | 0.4347 | 1.313 | json |
| t17_x26_u4_b54 | 17 | 26 | 4 | 54 | ![]() |
pow(R,dst(R,cil(R))) | 120057 | 139101501 | o2(x,o2(x,o1(x))) | true | 120463 | 120463 | -0.9317 | 0.04297 | 0.9823 | 0.1058 | 0.3253 | -1 | 0.956 | 1.956 | 1 | 0.4155 | 0.01066 | 0.01064 | 0.01434 | 0.0006464 | 1 | 0.000009428 | 0.04444 | 0.02652 | 0.02109 | 0.1452 | 10.13 | 2.766 | 0.2013 | 0.4199 | 1 | 1 | 0.01715 | 0.07432 | 0.1806 | 0.162 | 0.7022 | 1.707 | json |
| t17_x26_u4_b55 | 17 | 26 | 4 | 55 | ![]() |
mod(R,add(R,cil(R))) | 120058 | 139101502 | o2(x,o2(x,o1(x))) | true | 120471 | 120471 | 0.2018 | 0.7708 | 0.2875 | 0.1104 | 0.3322 | -0.9674 | 0.9806 | 1.948 | 1 | 4.184 | 0.001558 | 0.001692 | 0.04355 | -0.04127 | 1 | 0.00001593 | 0.0001951 | 0.0101 | 0.001353 | 0.03678 | 0.8445 | 0.2263 | 0.02944 | 0.001767 | 1 | 1 | 0.007171 | 0.09232 | 0.2288 | 0.06497 | 0.8364 | 2.073 | json |
| t17_x26_u4_b56 | 17 | 26 | 4 | 56 | ![]() |
mod(R,sub(R,cil(R))) | 120059 | 139101503 | o2(x,o2(x,o1(x))) | true | 120479 | 120479 | 0.02681 | 0.7012 | 0.1298 | 0.04012 | 0.2003 | -0.9675 | 0.4833 | 1.451 | 1 | 3.199 | 0.0006221 | 0.000579 | 0.02297 | 0.03593 | 1 | -0.00001614 | 0.00007175 | 0.005338 | 0.0006736 | 0.02595 | 1.13 | 0.1638 | 0.02994 | 0.001788 | 1 | 1 | 0.002902 | 0.03743 | 0.08536 | 0.07234 | 0.9328 | 2.127 | json |
| t17_x26_u4_b57 | 17 | 26 | 4 | 57 | ![]() |
mod(R,mlt(R,cil(R))) | 120060 | 139101504 | o2(x,o2(x,o1(x))) | true | 120487 | 120487 | -0.9517 | 0.02866 | 0.9624 | 0.05393 | 0.2322 | -1 | 0.8978 | 1.898 | 1 | 0.3487 | 0.005826 | 0.004928 | 0.009904 | 0.08344 | 1 | -0.000001658 | 0.02238 | 0.01869 | 0.01065 | 0.1032 | 10.42 | 2.098 | 0.1994 | 0.415 | 1 | 1 | 0.008929 | 0.03885 | 0.1039 | 0.1656 | 0.7204 | 1.926 | json |
| t17_x26_u4_b58 | 17 | 26 | 4 | 58 | ![]() |
mod(R,div(R,cil(R))) | 120061 | 139101505 | o2(x,o2(x,o1(x))) | true | 120495 | 120495 | -0.9517 | 0.02866 | 0.9624 | 0.05393 | 0.2322 | -1 | 0.8978 | 1.898 | 1 | 0.3487 | 0.005826 | 0.004928 | 0.009904 | 0.08344 | 1 | -0.000001658 | 0.02238 | 0.01869 | 0.01065 | 0.1032 | 10.42 | 2.098 | 0.1994 | 0.415 | 1 | 1 | 0.008929 | 0.03885 | 0.1039 | 0.1656 | 0.7204 | 1.926 | json |
| t17_x26_u4_b59 | 17 | 26 | 4 | 59 | ![]() |
mod(R,pow(R,cil(R))) | 120062 | 139101506 | o2(x,o2(x,o1(x))) | true | 120503 | 120503 | -0.2309 | 0.08267 | 0.2636 | 0.08092 | 0.2845 | -0.9989 | 0.9087 | 1.908 | 1 | 3.882 | 0.001008 | 0.001108 | 0.03512 | -0.04722 | 1 | 2.345e-7 | 0.000126 | 0.008178 | 0.0008822 | 0.0297 | 0.8458 | 0.2163 | 0.02614 | 0.001557 | 1 | 1 | 0.003665 | 0.04725 | 0.1339 | 0.04529 | 0.5839 | 1.655 | json |
| t17_x26_u4_b60 | 17 | 26 | 4 | 60 | ![]() |
mod(R,mod(R,cil(R))) | 120063 | 139101507 | o2(x,o2(x,o1(x))) | true | 120511 | 120511 | -0.9517 | 0.02866 | 0.9624 | 0.05393 | 0.2322 | -1 | 0.8978 | 1.898 | 1 | 0.3487 | 0.005826 | 0.004928 | 0.009904 | 0.08344 | 1 | -0.000001658 | 0.02238 | 0.01869 | 0.01065 | 0.1032 | 10.42 | 2.098 | 0.1994 | 0.415 | 1 | 1 | 0.008929 | 0.03885 | 0.1039 | 0.1656 | 0.7204 | 1.926 | json |
| t17_x26_u4_b61 | 17 | 26 | 4 | 61 | ![]() |
mod(R,lrg(R,cil(R))) | 120064 | 139101508 | o2(x,o2(x,o1(x))) | true | 120519 | 120519 | -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 |
| t17_x26_u4_b62 | 17 | 26 | 4 | 62 | ![]() |
mod(R,eql(R,cil(R))) | 120065 | 139101509 | o2(x,o2(x,o1(x))) | true | 120527 | 120527 | -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 |
| t17_x26_u4_b63 | 17 | 26 | 4 | 63 | ![]() |
mod(R,min(R,cil(R))) | 120066 | 139101510 | o2(x,o2(x,o1(x))) | true | 120535 | 120535 | -0.01621 | 0.2374 | 0.09644 | 0.04024 | 0.2006 | -0.9675 | 0.9558 | 1.923 | 1 | 2.738 | 0.0006146 | 0.0005535 | 0.01871 | 0.05227 | 1 | -0.0000106 | 0.00006938 | 0.004372 | 0.0008183 | 0.02861 | 1.529 | 0.2163 | 0.02903 | 0.001724 | 1 | 1 | 0.002918 | 0.03769 | 0.09805 | 0.0725 | 0.9366 | 2.436 | json |
| t17_x26_u4_b64 | 17 | 26 | 4 | 64 | ![]() |
mod(R,dot(R,cil(R))) | 120067 | 139101511 | o2(x,o2(x,o1(x))) | true | 120543 | 120543 | -0.3255 | 0.3542 | 0.5869 | 0.3838 | 0.6195 | -1 | 0.9808 | 1.981 | 1 | 3.781 | 0.01853 | 0.02422 | 0.06352 | -0.1331 | 1 | 0.000004041 | 0.08276 | 0.06904 | 0.03872 | 0.1968 | 3.098 | 2.747 | 0.1114 | 0.2156 | 1 | 1 | 0.0416 | 0.2191 | 0.6646 | 0.1084 | 0.5707 | 1.732 | json |
| t17_x26_u4_b65 | 17 | 26 | 4 | 65 | ![]() |
mod(R,dst(R,cil(R))) | 120068 | 139101512 | o2(x,o2(x,o1(x))) | true | 120551 | 120551 | -0.07688 | 0.449 | 0.3332 | 0.1607 | 0.4008 | -0.9989 | 0.9806 | 1.979 | 1 | 4.683 | 0.001952 | 0.002464 | 0.0537 | -0.1159 | 1 | -7.918e-7 | 0.000262 | 0.01233 | 0.001532 | 0.03915 | 0.729 | 0.2263 | 0.02748 | 0.001631 | 1 | 1 | 0.00876 | 0.113 | 0.295 | 0.05452 | 0.7036 | 1.836 | json |
| t17_x26_u4_b66 | 17 | 26 | 4 | 66 | ![]() |
lrg(R,add(R,cil(R))) | 120069 | 139101513 | o2(x,o2(x,o1(x))) | true | 120559 | 120559 | 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 |
| t17_x26_u4_b67 | 17 | 26 | 4 | 67 | ![]() |
lrg(R,sub(R,cil(R))) | 120070 | 139101514 | o2(x,o2(x,o1(x))) | true | 120567 | 120567 | 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 |
| t17_x26_u4_b68 | 17 | 26 | 4 | 68 | ![]() |
lrg(R,mlt(R,cil(R))) | 120071 | 139101515 | o2(x,o2(x,o1(x))) | true | 120575 | 120575 | 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 |
| t17_x26_u4_b69 | 17 | 26 | 4 | 69 | ![]() |
lrg(R,div(R,cil(R))) | 120072 | 139101516 | o2(x,o2(x,o1(x))) | true | 120583 | 120583 | 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 |
| t17_x26_u4_b70 | 17 | 26 | 4 | 70 | ![]() |
lrg(R,pow(R,cil(R))) | 120073 | 139101517 | o2(x,o2(x,o1(x))) | true | 120591 | 120591 | 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 |
| t17_x26_u4_b71 | 17 | 26 | 4 | 71 | ![]() |
lrg(R,mod(R,cil(R))) | 120074 | 139101518 | o2(x,o2(x,o1(x))) | true | 120599 | 120599 | 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 |
| t17_x26_u4_b72 | 17 | 26 | 4 | 72 | ![]() |
lrg(R,lrg(R,cil(R))) | 120075 | 139101519 | o2(x,o2(x,o1(x))) | true | 120607 | 120607 | 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 |
| t17_x26_u4_b73 | 17 | 26 | 4 | 73 | ![]() |
lrg(R,eql(R,cil(R))) | 120076 | 139101520 | o2(x,o2(x,o1(x))) | true | 120615 | 120615 | 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 |
| t17_x26_u4_b74 | 17 | 26 | 4 | 74 | ![]() |
lrg(R,min(R,cil(R))) | 120077 | 139101521 | o2(x,o2(x,o1(x))) | true | 120623 | 120623 | 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 |
| t17_x26_u4_b75 | 17 | 26 | 4 | 75 | ![]() |
lrg(R,dot(R,cil(R))) | 120078 | 139101522 | o2(x,o2(x,o1(x))) | true | 120631 | 120631 | 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 |
| t17_x26_u4_b76 | 17 | 26 | 4 | 76 | ![]() |
lrg(R,dst(R,cil(R))) | 120079 | 139101523 | o2(x,o2(x,o1(x))) | true | 120639 | 120639 | 0.1289 | 0.4142 | 0.1289 | 0.06813 | 0.261 | 0 | 1 | 1 | 1 | 1.856 | 0.001023 | 0.0009905 | 0.0239 | 0.01638 | 1 | 0.00003495 | 0.0001195 | 0.005808 | 0.001443 | 0.03798 | 1.589 | 0.1169 | 0.02956 | 0.001754 | 1 | 1 | 0.003971 | 0.05102 | 0.1379 | 0.05828 | 0.7489 | 2.024 | json |
| t17_x26_u4_b77 | 17 | 26 | 4 | 77 | ![]() |
eql(R,add(R,cil(R))) | 120080 | 139101524 | o2(x,o2(x,o1(x))) | true | 120647 | 120647 | 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 |
| t17_x26_u4_b78 | 17 | 26 | 4 | 78 | ![]() |
eql(R,sub(R,cil(R))) | 120081 | 139101525 | o2(x,o2(x,o1(x))) | true | 120655 | 120655 | 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 |
| t17_x26_u4_b79 | 17 | 26 | 4 | 79 | ![]() |
eql(R,mlt(R,cil(R))) | 120082 | 139101526 | o2(x,o2(x,o1(x))) | true | 120663 | 120663 | 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 |
| t17_x26_u4_b80 | 17 | 26 | 4 | 80 | ![]() |
eql(R,div(R,cil(R))) | 120083 | 139101527 | o2(x,o2(x,o1(x))) | true | 120671 | 120671 | 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 |
| t17_x26_u4_b81 | 17 | 26 | 4 | 81 | ![]() |
eql(R,pow(R,cil(R))) | 120084 | 139101528 | o2(x,o2(x,o1(x))) | true | 120679 | 120679 | 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 |
| t17_x26_u4_b82 | 17 | 26 | 4 | 82 | ![]() |
eql(R,mod(R,cil(R))) | 120085 | 139101529 | o2(x,o2(x,o1(x))) | true | 120687 | 120687 | 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 |
| t17_x26_u4_b83 | 17 | 26 | 4 | 83 | ![]() |
eql(R,lrg(R,cil(R))) | 120086 | 139101530 | o2(x,o2(x,o1(x))) | true | 120695 | 120695 | 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 |
| t17_x26_u4_b84 | 17 | 26 | 4 | 84 | ![]() |
eql(R,eql(R,cil(R))) | 120087 | 139101531 | o2(x,o2(x,o1(x))) | true | 120703 | 120703 | 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 |
| t17_x26_u4_b85 | 17 | 26 | 4 | 85 | ![]() |
eql(R,min(R,cil(R))) | 120088 | 139101532 | o2(x,o2(x,o1(x))) | true | 120711 | 120711 | 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 |
| t17_x26_u4_b86 | 17 | 26 | 4 | 86 | ![]() |
eql(R,dot(R,cil(R))) | 120089 | 139101533 | o2(x,o2(x,o1(x))) | true | 120719 | 120719 | 0.1094 | 0.344 | 0.1094 | 0.05966 | 0.2442 | 0 | 0.9997 | 0.9997 | 1 | 1.636 | 0.0008973 | 0.0007966 | 0.02007 | 0.05941 | 1 | 0.000006423 | 0.0001024 | 0.004876 | 0.001292 | 0.03594 | 1.791 | 0.1169 | 0.02839 | 0.001717 | 1 | 1 | 0.002702 | 0.03487 | 0.1011 | 0.04529 | 0.5845 | 1.694 | json |
| t17_x26_u4_b87 | 17 | 26 | 4 | 87 | ![]() |
eql(R,dst(R,cil(R))) | 120090 | 139101534 | o2(x,o2(x,o1(x))) | true | 120727 | 120727 | 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 |
| t17_x26_u4_b88 | 17 | 26 | 4 | 88 | ![]() |
min(R,add(R,cil(R))) | 120091 | 139101535 | o2(x,o2(x,o1(x))) | true | 120735 | 120735 | 0.008979 | 0.4983 | 0.3946 | 0.2196 | 0.4686 | -0.9989 | 0.9806 | 1.979 | 1 | 4.862 | 0.002813 | 0.00317 | 0.0632 | -0.05957 | 1 | 0.00002651 | 0.0003508 | 0.01449 | 0.001989 | 0.0446 | 0.7057 | 0.2301 | 0.02725 | 0.001598 | 1 | 1 | 0.01182 | 0.1519 | 0.3914 | 0.05384 | 0.6917 | 1.782 | json |
| t17_x26_u4_b89 | 17 | 26 | 4 | 89 | ![]() |
min(R,sub(R,cil(R))) | 120092 | 139101536 | o2(x,o2(x,o1(x))) | true | 120743 | 120743 | -0.4734 | 0 | 0.4734 | 0.05091 | 0.2256 | -0.9989 | -0.002975 | 0.9959 | 1 | 3.815 | 0.0007236 | 0.0006853 | 0.03089 | 0.02719 | 1 | 0.00004432 | 0.00008334 | 0.007111 | 0.0004549 | 0.02133 | 0.6905 | 0.1132 | 0.02767 | 0.001637 | 1 | 1 | 0.002542 | 0.03267 | 0.08567 | 0.04993 | 0.6416 | 1.683 | json |
| t17_x26_u4_b90 | 17 | 26 | 4 | 90 | ![]() |
min(R,mlt(R,cil(R))) | 120093 | 139101537 | o2(x,o2(x,o1(x))) | true | 120751 | 120751 | 0.008979 | 0.4983 | 0.3946 | 0.2196 | 0.4686 | -0.9989 | 0.9806 | 1.979 | 1 | 4.862 | 0.002813 | 0.00317 | 0.0632 | -0.05957 | 1 | 0.00002651 | 0.0003508 | 0.01449 | 0.001989 | 0.0446 | 0.7057 | 0.2301 | 0.02725 | 0.001598 | 1 | 1 | 0.01182 | 0.1519 | 0.3914 | 0.05384 | 0.6917 | 1.782 | json |
| t17_x26_u4_b91 | 17 | 26 | 4 | 91 | ![]() |
min(R,div(R,cil(R))) | 120094 | 139101538 | o2(x,o2(x,o1(x))) | true | 120759 | 120759 | 0.008979 | 0.4983 | 0.3946 | 0.2196 | 0.4686 | -0.9989 | 0.9806 | 1.979 | 1 | 4.862 | 0.002813 | 0.00317 | 0.0632 | -0.05957 | 1 | 0.00002651 | 0.0003508 | 0.01449 | 0.001989 | 0.0446 | 0.7057 | 0.2301 | 0.02725 | 0.001598 | 1 | 1 | 0.01182 | 0.1519 | 0.3914 | 0.05384 | 0.6917 | 1.782 | json |
| t17_x26_u4_b92 | 17 | 26 | 4 | 92 | ![]() |
min(R,pow(R,cil(R))) | 120095 | 139101539 | o2(x,o2(x,o1(x))) | true | 120767 | 120767 | 0.008979 | 0.4983 | 0.3946 | 0.2196 | 0.4686 | -0.9989 | 0.9806 | 1.979 | 1 | 4.862 | 0.002813 | 0.00317 | 0.0632 | -0.05957 | 1 | 0.00002651 | 0.0003508 | 0.01449 | 0.001989 | 0.0446 | 0.7057 | 0.2301 | 0.02725 | 0.001598 | 1 | 1 | 0.01182 | 0.1519 | 0.3914 | 0.05384 | 0.6917 | 1.782 | json |
| t17_x26_u4_b93 | 17 | 26 | 4 | 93 | ![]() |
min(R,mod(R,cil(R))) | 120096 | 139101540 | o2(x,o2(x,o1(x))) | true | 120775 | 120775 | 0.008979 | 0.4983 | 0.3946 | 0.2196 | 0.4686 | -0.9989 | 0.9806 | 1.979 | 1 | 4.862 | 0.002813 | 0.00317 | 0.0632 | -0.05957 | 1 | 0.00002651 | 0.0003508 | 0.01449 | 0.001989 | 0.0446 | 0.7057 | 0.2301 | 0.02725 | 0.001598 | 1 | 1 | 0.01182 | 0.1519 | 0.3914 | 0.05384 | 0.6917 | 1.782 | json |
| t17_x26_u4_b94 | 17 | 26 | 4 | 94 | ![]() |
min(R,lrg(R,cil(R))) | 120097 | 139101541 | o2(x,o2(x,o1(x))) | true | 120783 | 120783 | -0.2541 | 0 | 0.2541 | 0.06549 | 0.2559 | -0.9989 | 0 | 0.9989 | 1 | 3.542 | 0.000768 | 0.0009295 | 0.0314 | -0.09514 | 1 | 0.00001332 | 0.00009988 | 0.007359 | 0.0007117 | 0.02668 | 0.8497 | 0.1168 | 0.02592 | 0.001525 | 1 | 1 | 0.003123 | 0.04017 | 0.1061 | 0.04769 | 0.6134 | 1.62 | json |
| t17_x26_u4_b95 | 17 | 26 | 4 | 95 | ![]() |
min(R,eql(R,cil(R))) | 120098 | 139101542 | o2(x,o2(x,o1(x))) | true | 120791 | 120791 | -0.2541 | 0 | 0.2541 | 0.06549 | 0.2559 | -0.9989 | 0 | 0.9989 | 1 | 3.542 | 0.000768 | 0.0009295 | 0.0314 | -0.09514 | 1 | 0.00001332 | 0.00009988 | 0.007359 | 0.0007117 | 0.02668 | 0.8497 | 0.1168 | 0.02592 | 0.001525 | 1 | 1 | 0.003123 | 0.04017 | 0.1061 | 0.04769 | 0.6134 | 1.62 | json |
| t17_x26_u4_b96 | 17 | 26 | 4 | 96 | ![]() |
min(R,min(R,cil(R))) | 120099 | 139101543 | o2(x,o2(x,o1(x))) | true | 120799 | 120799 | 0.008979 | 0.4983 | 0.3946 | 0.2196 | 0.4686 | -0.9989 | 0.9806 | 1.979 | 1 | 4.862 | 0.002813 | 0.00317 | 0.0632 | -0.05957 | 1 | 0.00002651 | 0.0003508 | 0.01449 | 0.001989 | 0.0446 | 0.7057 | 0.2301 | 0.02725 | 0.001598 | 1 | 1 | 0.01182 | 0.1519 | 0.3914 | 0.05384 | 0.6917 | 1.782 | json |



































































































