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_x22_u3_b106 | 17 | 22 | 3 | 106 | ![]() |
dot(R,eql(D,flr(D))) | 116600 | 138939748 | o2(x,o2(x,o1(x))) | true | 92807 | 92807 | -0.02962 | 0.4693 | 0.3744 | 0.1997 | 0.4469 | -0.9967 | 0.9893 | 1.986 | 1 | 4.818 | 0.003 | 0.00287 | 0.06261 | 0.02222 | 1 | -0.00003178 | 0.0003527 | 0.01452 | 0.001951 | 0.04417 | 0.7055 | 0.2258 | 0.02939 | 0.001766 | 1 | 1 | 0.01331 | 0.1712 | 0.4269 | 0.06664 | 0.857 | 2.137 | json |
| t17_x22_u3_b107 | 17 | 22 | 3 | 107 | ![]() |
dot(R,min(D,flr(D))) | 116601 | 138939749 | o2(x,o2(x,o1(x))) | true | 92815 | 92815 | -0.01332 | 0.4999 | 0.3393 | 0.1922 | 0.4384 | -1 | 1 | 2 | 1 | 4.74 | 0.01762 | 0.01732 | 0.1053 | 0.008762 | 1 | -0.000009151 | 0.06058 | 0.1086 | 0.02385 | 0.1544 | 1.466 | 1.341 | 0.1818 | 0.3152 | 1 | 1 | 0.04026 | 0.2213 | 0.3619 | 0.2095 | 1.151 | 1.883 | json |
| t17_x22_u3_b108 | 17 | 22 | 3 | 108 | ![]() |
dot(R,dot(D,flr(D))) | 116602 | 138939750 | o2(x,o2(x,o1(x))) | true | 92823 | 92823 | 0.002331 | 0.5099 | 0.1812 | 0.06177 | 0.2485 | -1 | 1 | 2 | 1 | 3.979 | 0.00158 | 0.001604 | 0.04641 | -0.007472 | 1 | 0.0001404 | 0.0005092 | 0.01658 | 0.00103 | 0.0321 | 0.6916 | 0.2123 | 0.05155 | 0.008243 | 1 | 1 | 0.006484 | 0.06228 | 0.1197 | 0.105 | 1.008 | 1.937 | json |
| t17_x22_u3_b109 | 17 | 22 | 3 | 109 | ![]() |
dot(R,dst(D,flr(D))) | 116603 | 138939751 | o2(x,o2(x,o1(x))) | true | 92831 | 92831 | 0.008149 | 0.5136 | 0.4192 | 0.2794 | 0.5286 | -1 | 1 | 2 | 1 | 4.769 | 0.01342 | 0.01357 | 0.1056 | -0.005824 | 1 | 0.000001874 | 0.0422 | 0.08814 | 0.01584 | 0.1259 | 1.192 | 0.954 | 0.09658 | 0.151 | 1 | 1 | 0.03747 | 0.2452 | 0.5344 | 0.1341 | 0.8774 | 1.912 | json |
| t17_x22_u3_b110 | 17 | 22 | 3 | 110 | ![]() |
dst(R,add(D,flr(D))) | 116604 | 138939752 | o2(x,o2(x,o1(x))) | true | 92839 | 92839 | 0.9817 | 1 | 0.9817 | 0.0052 | 0.07211 | 0.07218 | 1 | 0.9278 | 1 | 0.6064 | 0.00154 | 0.001391 | 0.01393 | 0.05075 | 1 | -0.00008113 | 0.00557 | 0.01836 | 0.002737 | 0.05232 | 3.756 | 0.9278 | 0.5637 | 1.071 | 1 | 1 | 0.002933 | 0.008318 | 0.007278 | 0.5641 | 1.6 | 1.4 | json |
| t17_x22_u3_b111 | 17 | 22 | 3 | 111 | ![]() |
dst(R,sub(D,flr(D))) | 116605 | 138939753 | o2(x,o2(x,o1(x))) | true | 92847 | 92847 | 0.9382 | 1 | 0.9382 | 0.01556 | 0.1247 | 0.07078 | 1 | 0.9292 | 1 | 1.535 | 0.002445 | 0.002594 | 0.02785 | -0.02956 | 1 | -0.00001304 | 0.009536 | 0.03273 | 0.004265 | 0.06531 | 2.345 | 0.9066 | 0.3239 | 0.6128 | 1 | 1 | 0.005694 | 0.01917 | 0.02967 | 0.3659 | 1.232 | 1.907 | json |
| t17_x22_u3_b112 | 17 | 22 | 3 | 112 | ![]() |
dst(R,mlt(D,flr(D))) | 116606 | 138939754 | o2(x,o2(x,o1(x))) | true | 92855 | 92855 | 0.9118 | 1 | 0.9118 | 0.0205 | 0.1432 | 0.07195 | 1 | 0.9281 | 1 | 1.962 | 0.000501 | 0.0006138 | 0.01985 | -0.1012 | 1 | -0.00009215 | 0.0002961 | 0.00885 | 0.0007207 | 0.02685 | 1.352 | 0.1661 | 0.05439 | 0.01444 | 1 | 1 | 0.001944 | 0.01826 | 0.03245 | 0.09482 | 0.8908 | 1.583 | json |
| t17_x22_u3_b113 | 17 | 22 | 3 | 113 | ![]() |
dst(R,div(D,flr(D))) | 116607 | 138939755 | o2(x,o2(x,o1(x))) | true | 92863 | 92863 | -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_x22_u3_b114 | 17 | 22 | 3 | 114 | ![]() |
dst(R,pow(D,flr(D))) | 116608 | 138939756 | o2(x,o2(x,o1(x))) | true | 92871 | 92871 | -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_x22_u3_b115 | 17 | 22 | 3 | 115 | ![]() |
dst(R,mod(D,flr(D))) | 116609 | 138939757 | o2(x,o2(x,o1(x))) | true | 92879 | 92879 | -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_x22_u3_b116 | 17 | 22 | 3 | 116 | ![]() |
dst(R,lrg(D,flr(D))) | 116610 | 138939758 | o2(x,o2(x,o1(x))) | true | 92887 | 92887 | 0.9829 | 1 | 0.9829 | 0.00498 | 0.07057 | 0.3142 | 1 | 0.6858 | 1 | 0.5698 | 0.0002156 | 0.0002534 | 0.005685 | -0.08051 | 1 | -0.00002741 | 0.0002107 | 0.003726 | 0.0004368 | 0.0209 | 3.676 | 0.2031 | 0.09417 | 0.0423 | 1 | 1 | 0.0008503 | 0.00658 | 0.009803 | 0.1707 | 1.321 | 1.968 | json |
| t17_x22_u3_b117 | 17 | 22 | 3 | 117 | ![]() |
dst(R,eql(D,flr(D))) | 116611 | 138939759 | o2(x,o2(x,o1(x))) | true | 92895 | 92895 | 0.9684 | 1 | 0.9684 | 0.009182 | 0.09582 | 0.2103 | 1 | 0.7897 | 1 | 0.9061 | 0.0002907 | 0.0002713 | 0.007968 | 0.03453 | 1 | -0.00004516 | 0.0002037 | 0.004353 | 0.0004984 | 0.02232 | 2.802 | 0.1992 | 0.0612 | 0.02219 | 1 | 1 | 0.0009074 | 0.007818 | 0.01255 | 0.09882 | 0.8515 | 1.367 | json |
| t17_x22_u3_b118 | 17 | 22 | 3 | 118 | ![]() |
dst(R,min(D,flr(D))) | 116612 | 138939760 | o2(x,o2(x,o1(x))) | true | 92903 | 92903 | 0.9613 | 1 | 0.9613 | 0.01047 | 0.1023 | 0.09952 | 1 | 0.9005 | 1 | 1.089 | 0.002041 | 0.001914 | 0.019 | 0.03202 | 1 | -0.00004086 | 0.007424 | 0.02437 | 0.003596 | 0.05996 | 3.156 | 0.9005 | 0.3779 | 0.7093 | 1 | 1 | 0.003764 | 0.01448 | 0.01662 | 0.3597 | 1.383 | 1.588 | json |
| t17_x22_u3_b119 | 17 | 22 | 3 | 119 | ![]() |
dst(R,dot(D,flr(D))) | 116613 | 138939761 | o2(x,o2(x,o1(x))) | true | 92911 | 92911 | 0.9377 | 1 | 0.9377 | 0.01646 | 0.1283 | 0.02295 | 1 | 0.9771 | 1 | 1.508 | 0.0007767 | 0.0008737 | 0.02028 | -0.05882 | 1 | -0.0001994 | 0.0007182 | 0.01209 | 0.00124 | 0.03521 | 1.737 | 0.2332 | 0.1003 | 0.04362 | 1 | 1 | 0.002942 | 0.02181 | 0.02685 | 0.1787 | 1.325 | 1.631 | json |
| t17_x22_u3_b120 | 17 | 22 | 3 | 120 | ![]() |
dst(R,dst(D,flr(D))) | 116614 | 138939762 | o2(x,o2(x,o1(x))) | true | 92919 | 92919 | 0.9727 | 1 | 0.9727 | 0.008543 | 0.09243 | 0.02883 | 1 | 0.9712 | 1 | 0.7884 | 0.001977 | 0.002022 | 0.01731 | -0.01114 | 1 | -0.00003581 | 0.007906 | 0.02271 | 0.003702 | 0.06084 | 3.514 | 0.9712 | 0.4681 | 0.9254 | 1 | 1 | 0.005418 | 0.01705 | 0.01711 | 0.6341 | 1.996 | 2.003 | json |
| t17_x22_u4_b0 | 17 | 22 | 4 | 0 | ![]() |
add(R,add(D,cil(D))) | 116615 | 138939843 | o2(x,o2(x,o1(x))) | true | 92927 | 92927 | 0.4157 | 0.7699 | 0.5977 | 0.2893 | 0.5379 | -1 | 1 | 2 | 1 | 4.388 | 0.0562 | 0.002364 | 0.1285 | 0.9193 | 1 | 0.00003151 | 0.08684 | 0.1206 | 0.04205 | 0.2051 | 1.595 | 1.085 | 0.2024 | 0.3002 | 1 | 1 | 0.07519 | 0.3819 | 0.2589 | 0.2599 | 1.32 | 0.8949 | json |
| t17_x22_u4_b1 | 17 | 22 | 4 | 1 | ![]() |
add(R,sub(D,cil(D))) | 116616 | 138939844 | o2(x,o2(x,o1(x))) | true | 92935 | 92935 | -0.4381 | 0.1862 | 0.5488 | 0.2188 | 0.4678 | -1 | 0.9493 | 1.949 | 1 | 4.378 | 0.04151 | 0.002662 | 0.1114 | 0.8795 | 1 | 0.0001236 | 0.08299 | 0.107 | 0.03176 | 0.1782 | 1.6 | 0.9627 | 0.2019 | 0.3793 | 1 | 1 | 0.04708 | 0.2076 | 0.3027 | 0.2152 | 0.9488 | 1.383 | json |
| t17_x22_u4_b2 | 17 | 22 | 4 | 2 | ![]() |
add(R,mlt(D,cil(D))) | 116617 | 138939845 | o2(x,o2(x,o1(x))) | true | 92943 | 92943 | 0.1513 | 0.6091 | 0.4181 | 0.2279 | 0.4774 | -0.9982 | 1 | 1.998 | 1 | 4.86 | 0.004256 | 0.003161 | 0.07375 | 0.1476 | 1 | -0.0002808 | 0.0006355 | 0.02013 | 0.001977 | 0.04447 | 0.6029 | 0.2626 | 0.03255 | 0.002789 | 1 | 1 | 0.01458 | 0.1707 | 0.3894 | 0.06398 | 0.7491 | 1.709 | json |
| t17_x22_u4_b3 | 17 | 22 | 4 | 3 | ![]() |
add(R,div(D,cil(D))) | 116618 | 138939846 | o2(x,o2(x,o1(x))) | true | 92951 | 92951 | -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_x22_u4_b4 | 17 | 22 | 4 | 4 | ![]() |
add(R,pow(D,cil(D))) | 116619 | 138939847 | o2(x,o2(x,o1(x))) | true | 92959 | 92959 | 0.5569 | 0.8656 | 0.6416 | 0.2082 | 0.4563 | -0.9673 | 1 | 1.967 | 1 | 4.005 | 0.0446 | 0.002306 | 0.1105 | 0.9017 | 1 | -0.0003314 | 0.08424 | 0.1083 | 0.03469 | 0.1863 | 1.686 | 0.9928 | 0.2252 | 0.4045 | 1 | 1 | 0.05254 | 0.2261 | 0.2462 | 0.2523 | 1.086 | 1.182 | json |
| t17_x22_u4_b5 | 17 | 22 | 4 | 5 | ![]() |
add(R,mod(D,cil(D))) | 116620 | 138939848 | o2(x,o2(x,o1(x))) | true | 92967 | 92967 | -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_x22_u4_b6 | 17 | 22 | 4 | 6 | ![]() |
add(R,lrg(D,cil(D))) | 116621 | 138939849 | o2(x,o2(x,o1(x))) | true | 92975 | 92975 | 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_x22_u4_b7 | 17 | 22 | 4 | 7 | ![]() |
add(R,eql(D,cil(D))) | 116622 | 138939850 | o2(x,o2(x,o1(x))) | true | 92983 | 92983 | 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_x22_u4_b8 | 17 | 22 | 4 | 8 | ![]() |
add(R,min(D,cil(D))) | 116623 | 138939851 | o2(x,o2(x,o1(x))) | true | 92991 | 92991 | 0.009078 | 0.4986 | 0.4013 | 0.2304 | 0.48 | -1 | 1 | 2 | 1 | 4.899 | 0.004471 | 0.003165 | 0.07546 | 0.1709 | 1 | 0.00002869 | 0.0006263 | 0.01935 | 0.001942 | 0.04407 | 0.584 | 0.2845 | 0.03314 | 0.002718 | 1 | 1 | 0.01508 | 0.1746 | 0.3904 | 0.06546 | 0.7577 | 1.694 | json |
| t17_x22_u4_b9 | 17 | 22 | 4 | 9 | ![]() |
add(R,dot(D,cil(D))) | 116624 | 138939852 | o2(x,o2(x,o1(x))) | true | 92999 | 92999 | 0.2894 | 0.7107 | 0.4696 | 0.2291 | 0.4786 | -0.9979 | 1 | 1.998 | 1 | 4.728 | 0.004169 | 0.004478 | 0.07995 | -0.03572 | 1 | -0.0005434 | 0.000957 | 0.02394 | 0.002254 | 0.04748 | 0.5938 | 0.2692 | 0.03775 | 0.004178 | 1 | 1 | 0.01691 | 0.1844 | 0.3768 | 0.07381 | 0.8048 | 1.645 | json |
| t17_x22_u4_b10 | 17 | 22 | 4 | 10 | ![]() |
add(R,dst(D,cil(D))) | 116625 | 138939853 | o2(x,o2(x,o1(x))) | true | 93007 | 93007 | 0.6479 | 0.9211 | 0.6862 | 0.1542 | 0.3926 | -0.9543 | 1 | 1.954 | 1 | 3.647 | 0.01736 | 0.01742 | 0.0962 | -0.001465 | 1 | 0.00002281 | 0.06709 | 0.11 | 0.02553 | 0.1598 | 1.661 | 1.309 | 0.2256 | 0.4352 | 1 | 1 | 0.03834 | 0.1553 | 0.2041 | 0.2487 | 1.008 | 1.324 | json |
| t17_x22_u4_b11 | 17 | 22 | 4 | 11 | ![]() |
sub(R,add(D,cil(D))) | 116626 | 138939854 | o2(x,o2(x,o1(x))) | true | 93015 | 93015 | -0.4024 | 0.2249 | 0.5859 | 0.2887 | 0.5373 | -1 | 1 | 2 | 1 | 4.392 | 0.05585 | 0.002422 | 0.1286 | 0.9169 | 1 | 0.00002402 | 0.08621 | 0.1202 | 0.04172 | 0.2043 | 1.588 | 1.084 | 0.2018 | 0.2986 | 1 | 1 | 0.07361 | 0.3775 | 0.27 | 0.255 | 1.308 | 0.9352 | json |
| t17_x22_u4_b12 | 17 | 22 | 4 | 12 | ![]() |
sub(R,sub(D,cil(D))) | 116627 | 138939855 | o2(x,o2(x,o1(x))) | true | 93023 | 93023 | 0.4523 | 0.8143 | 0.5621 | 0.2191 | 0.468 | -0.9672 | 1 | 1.967 | 1 | 4.359 | 0.04164 | 0.002622 | 0.1116 | 0.8815 | 1 | -0.0001555 | 0.08352 | 0.107 | 0.0318 | 0.1783 | 1.597 | 0.9646 | 0.2021 | 0.3813 | 1 | 1 | 0.04756 | 0.2054 | 0.2896 | 0.2171 | 0.9377 | 1.322 | json |
| t17_x22_u4_b13 | 17 | 22 | 4 | 13 | ![]() |
sub(R,mlt(D,cil(D))) | 116628 | 138939856 | o2(x,o2(x,o1(x))) | true | 93031 | 93031 | -0.132 | 0.3943 | 0.4145 | 0.2247 | 0.4741 | -1 | 0.9802 | 1.98 | 1 | 4.849 | 0.004197 | 0.003147 | 0.07268 | 0.1429 | 1 | 0.0003412 | 0.0006401 | 0.01994 | 0.002062 | 0.04541 | 0.6248 | 0.2351 | 0.03268 | 0.002848 | 1 | 1 | 0.01438 | 0.1673 | 0.3859 | 0.06396 | 0.7444 | 1.717 | json |
| t17_x22_u4_b14 | 17 | 22 | 4 | 14 | ![]() |
sub(R,div(D,cil(D))) | 116629 | 138939857 | o2(x,o2(x,o1(x))) | true | 93039 | 93039 | -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_x22_u4_b15 | 17 | 22 | 4 | 15 | ![]() |
sub(R,pow(D,cil(D))) | 116630 | 138939858 | o2(x,o2(x,o1(x))) | true | 93047 | 93047 | -0.5408 | 0.1368 | 0.6326 | 0.213 | 0.4615 | -1 | 0.9491 | 1.949 | 1 | 4.056 | 0.04471 | 0.002354 | 0.1128 | 0.9 | 1 | 0.0003887 | 0.08372 | 0.1086 | 0.03434 | 0.1853 | 1.643 | 0.9931 | 0.2209 | 0.3931 | 1 | 1 | 0.05288 | 0.2348 | 0.258 | 0.2483 | 1.102 | 1.211 | json |
| t17_x22_u4_b16 | 17 | 22 | 4 | 16 | ![]() |
sub(R,mod(D,cil(D))) | 116631 | 138939859 | o2(x,o2(x,o1(x))) | true | 93055 | 93055 | -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_x22_u4_b17 | 17 | 22 | 4 | 17 | ![]() |
sub(R,lrg(D,cil(D))) | 116632 | 138939860 | o2(x,o2(x,o1(x))) | true | 93063 | 93063 | 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_x22_u4_b18 | 17 | 22 | 4 | 18 | ![]() |
sub(R,eql(D,cil(D))) | 116633 | 138939861 | o2(x,o2(x,o1(x))) | true | 93071 | 93071 | 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_x22_u4_b19 | 17 | 22 | 4 | 19 | ![]() |
sub(R,min(D,cil(D))) | 116634 | 138939862 | o2(x,o2(x,o1(x))) | true | 93079 | 93079 | 0.009165 | 0.4978 | 0.4005 | 0.2287 | 0.4782 | -1 | 1 | 2 | 1 | 4.894 | 0.004393 | 0.003164 | 0.07461 | 0.1626 | 1 | 0.00003074 | 0.0006179 | 0.01902 | 0.001989 | 0.0446 | 0.5978 | 0.2561 | 0.03305 | 0.002702 | 1 | 1 | 0.01479 | 0.1717 | 0.3901 | 0.06468 | 0.751 | 1.706 | json |
| t17_x22_u4_b20 | 17 | 22 | 4 | 20 | ![]() |
sub(R,dot(D,cil(D))) | 116635 | 138939863 | o2(x,o2(x,o1(x))) | true | 93087 | 93087 | -0.2694 | 0.2997 | 0.4627 | 0.2257 | 0.475 | -1 | 0.9687 | 1.969 | 1 | 4.745 | 0.004128 | 0.004516 | 0.07939 | -0.04498 | 1 | 0.0006182 | 0.0009461 | 0.02381 | 0.002341 | 0.04838 | 0.6094 | 0.267 | 0.0383 | 0.004192 | 1 | 1 | 0.01683 | 0.1817 | 0.3719 | 0.07459 | 0.8051 | 1.648 | json |
| t17_x22_u4_b21 | 17 | 22 | 4 | 21 | ![]() |
sub(R,dst(D,cil(D))) | 116636 | 138939864 | o2(x,o2(x,o1(x))) | true | 93095 | 93095 | -0.6344 | 0.08054 | 0.6743 | 0.1579 | 0.3974 | -1 | 0.9251 | 1.925 | 1 | 3.687 | 0.01731 | 0.01768 | 0.09735 | -0.01079 | 1 | 0.00001866 | 0.06684 | 0.11 | 0.02552 | 0.1597 | 1.641 | 1.309 | 0.2216 | 0.4232 | 1 | 1 | 0.0381 | 0.1615 | 0.2223 | 0.2413 | 1.023 | 1.408 | json |
| t17_x22_u4_b22 | 17 | 22 | 4 | 22 | ![]() |
mlt(R,add(D,cil(D))) | 116637 | 138939865 | o2(x,o2(x,o1(x))) | true | 93103 | 93103 | 0.00845 | 0.5034 | 0.2981 | 0.1666 | 0.4081 | -1 | 1 | 2 | 1 | 4.571 | 0.02107 | 0.002409 | 0.08568 | 0.7948 | 1 | -0.00001543 | 0.03385 | 0.06912 | 0.01614 | 0.127 | 1.483 | 1.032 | 0.141 | 0.2033 | 1 | 1 | 0.03024 | 0.2174 | 0.311 | 0.1816 | 1.305 | 1.867 | json |
| t17_x22_u4_b23 | 17 | 22 | 4 | 23 | ![]() |
mlt(R,sub(D,cil(D))) | 116638 | 138939866 | o2(x,o2(x,o1(x))) | true | 93111 | 93111 | -0.005618 | 0.5013 | 0.1971 | 0.07599 | 0.2757 | -0.95 | 0.9676 | 1.918 | 1 | 4.088 | 0.01604 | 0.001091 | 0.06816 | 0.8726 | 1 | -0.00005941 | 0.03323 | 0.06149 | 0.01249 | 0.1117 | 1.639 | 0.9364 | 0.2254 | 0.4373 | 1 | 1 | 0.01785 | 0.07237 | 0.136 | 0.2349 | 0.9524 | 1.79 | json |
| t17_x22_u4_b24 | 17 | 22 | 4 | 24 | ![]() |
mlt(R,mlt(D,cil(D))) | 116639 | 138939867 | o2(x,o2(x,o1(x))) | true | 93119 | 93119 | 0.002039 | 0.4816 | 0.06388 | 0.008093 | 0.08996 | -0.2726 | 0.2677 | 0.5403 | 1 | 2.562 | 0.000392 | 0.0001179 | 0.01869 | 0.5377 | 1 | -0.00005417 | 0.00008326 | 0.00687 | 0.0001605 | 0.01267 | 0.6778 | 0.06179 | 0.063 | 0.01029 | 1 | 1 | 0.0009691 | 0.009348 | 0.01505 | 0.1198 | 1.155 | 1.86 | json |
| t17_x22_u4_b25 | 17 | 22 | 4 | 25 | ![]() |
mlt(R,div(D,cil(D))) | 116640 | 138939868 | o2(x,o2(x,o1(x))) | true | 93127 | 93127 | -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_x22_u4_b26 | 17 | 22 | 4 | 26 | ![]() |
mlt(R,pow(D,cil(D))) | 116641 | 138939869 | o2(x,o2(x,o1(x))) | true | 93135 | 93135 | 0.00389 | 0.4991 | 0.2508 | 0.1183 | 0.344 | -0.9985 | 0.9805 | 1.979 | 1 | 4.396 | 0.01713 | 0.001713 | 0.07298 | 0.8182 | 1 | -0.00004967 | 0.03339 | 0.06458 | 0.01352 | 0.1163 | 1.593 | 0.9673 | 0.1592 | 0.2821 | 1 | 1 | 0.02116 | 0.11 | 0.2099 | 0.1788 | 0.9298 | 1.773 | json |
| t17_x22_u4_b27 | 17 | 22 | 4 | 27 | ![]() |
mlt(R,mod(D,cil(D))) | 116642 | 138939870 | o2(x,o2(x,o1(x))) | true | 93143 | 93143 | -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_x22_u4_b28 | 17 | 22 | 4 | 28 | ![]() |
mlt(R,lrg(D,cil(D))) | 116643 | 138939871 | o2(x,o2(x,o1(x))) | true | 93151 | 93151 | 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_x22_u4_b29 | 17 | 22 | 4 | 29 | ![]() |
mlt(R,eql(D,cil(D))) | 116644 | 138939872 | o2(x,o2(x,o1(x))) | true | 93159 | 93159 | 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_x22_u4_b30 | 17 | 22 | 4 | 30 | ![]() |
mlt(R,min(D,cil(D))) | 116645 | 138939873 | o2(x,o2(x,o1(x))) | true | 93167 | 93167 | 0.001509 | 0.5091 | 0.09077 | 0.0151 | 0.1229 | -0.4311 | 0.4889 | 0.92 | 1 | 3.004 | 0.0007895 | 0.0002198 | 0.02769 | 0.5645 | 1 | -0.00003739 | 0.000103 | 0.008005 | 0.0002428 | 0.01558 | 0.5628 | 0.08276 | 0.06684 | 0.006818 | 1 | 1 | 0.001985 | 0.02214 | 0.02942 | 0.1314 | 1.466 | 1.949 | json |
| t17_x22_u4_b31 | 17 | 22 | 4 | 31 | ![]() |
mlt(R,dot(D,cil(D))) | 116646 | 138939874 | o2(x,o2(x,o1(x))) | true | 93175 | 93175 | 0.002215 | 0.489 | 0.1163 | 0.02209 | 0.1486 | -0.5123 | 0.4748 | 0.9871 | 1 | 3.297 | 0.0005479 | 0.0005776 | 0.02907 | -0.02639 | 1 | -0.000009418 | 0.0001803 | 0.01048 | 0.0002804 | 0.01674 | 0.576 | 0.09524 | 0.05095 | 0.008165 | 1 | 1 | 0.002163 | 0.02134 | 0.04083 | 0.09793 | 0.9662 | 1.848 | json |
| t17_x22_u4_b32 | 17 | 22 | 4 | 32 | ![]() |
mlt(R,dst(D,cil(D))) | 116647 | 138939875 | o2(x,o2(x,o1(x))) | true | 93183 | 93183 | 0.006535 | 0.4983 | 0.3021 | 0.1495 | 0.3866 | -1 | 1 | 2 | 1 | 4.632 | 0.008821 | 0.009187 | 0.08518 | -0.02036 | 1 | 0.00001383 | 0.03132 | 0.07499 | 0.01075 | 0.1037 | 1.217 | 1.306 | 0.1205 | 0.2096 | 1 | 1 | 0.02121 | 0.1258 | 0.2676 | 0.1419 | 0.8419 | 1.79 | json |
| t17_x22_u4_b33 | 17 | 22 | 4 | 33 | ![]() |
div(R,add(D,cil(D))) | 116648 | 138939876 | o2(x,o2(x,o1(x))) | true | 93191 | 93191 | 0.01249 | 0.5095 | 0.5758 | 0.4567 | 0.6758 | -1 | 1 | 2 | 1 | 4.495 | 0.1376 | 0.01732 | 0.1821 | 0.7764 | 1 | 0.00001423 | 0.2994 | 0.2197 | 0.1217 | 0.3489 | 1.916 | 2.312 | 0.3391 | 0.6554 | 1 | 1 | 0.1721 | 0.7416 | 0.8416 | 0.3768 | 1.624 | 1.843 | json |
| t17_x22_u4_b34 | 17 | 22 | 4 | 34 | ![]() |
div(R,sub(D,cil(D))) | 116649 | 138939877 | o2(x,o2(x,o1(x))) | true | 93199 | 93199 | -0.008461 | 0.5016 | 0.666 | 0.5588 | 0.7475 | -1 | 1 | 2 | 1 | 4.305 | 0.03365 | 0.0191 | 0.1279 | 0.2759 | 1 | -0.000001842 | 0.08381 | 0.1147 | 0.0364 | 0.1908 | 1.492 | 2.222 | 0.0944 | 0.15 | 1 | 1 | 0.0726 | 0.4701 | 1.005 | 0.1299 | 0.8414 | 1.798 | json |
| t17_x22_u4_b35 | 17 | 22 | 4 | 35 | ![]() |
div(R,mlt(D,cil(D))) | 116650 | 138939878 | o2(x,o2(x,o1(x))) | true | 93207 | 93207 | -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_x22_u4_b36 | 17 | 22 | 4 | 36 | ![]() |
div(R,div(D,cil(D))) | 116651 | 138939879 | o2(x,o2(x,o1(x))) | true | 93215 | 93215 | 0.002633 | 0.4832 | 0.4592 | 0.389 | 0.6237 | -1 | 1 | 2 | 1 | 3.942 | 0.06867 | 0.01625 | 0.1423 | 0.6172 | 1 | -0.000005426 | 0.1579 | 0.1649 | 0.06469 | 0.2543 | 1.788 | 2.107 | 0.2183 | 0.406 | 1 | 1 | 0.1014 | 0.5056 | 0.712 | 0.2607 | 1.3 | 1.83 | json |
| t17_x22_u4_b37 | 17 | 22 | 4 | 37 | ![]() |
div(R,pow(D,cil(D))) | 116652 | 138939880 | o2(x,o2(x,o1(x))) | true | 93223 | 93223 | 0.005519 | 0.4976 | 0.6131 | 0.4949 | 0.7035 | -1 | 1 | 2 | 1 | 4.495 | 0.03289 | 0.01785 | 0.1261 | 0.2964 | 1 | 0.00001104 | 0.0827 | 0.1119 | 0.03483 | 0.1866 | 1.48 | 2.108 | 0.1025 | 0.1671 | 1 | 1 | 0.06925 | 0.4526 | 0.8936 | 0.1399 | 0.9145 | 1.806 | json |
| t17_x22_u4_b38 | 17 | 22 | 4 | 38 | ![]() |
div(R,mod(D,cil(D))) | 116653 | 138939881 | o2(x,o2(x,o1(x))) | true | 93231 | 93231 | -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_x22_u4_b39 | 17 | 22 | 4 | 39 | ![]() |
div(R,lrg(D,cil(D))) | 116654 | 138939882 | o2(x,o2(x,o1(x))) | true | 93239 | 93239 | -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_x22_u4_b40 | 17 | 22 | 4 | 40 | ![]() |
div(R,eql(D,cil(D))) | 116655 | 138939883 | o2(x,o2(x,o1(x))) | true | 93247 | 93247 | -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_x22_u4_b41 | 17 | 22 | 4 | 41 | ![]() |
div(R,min(D,cil(D))) | 116656 | 138939884 | o2(x,o2(x,o1(x))) | true | 93255 | 93255 | 0.0102 | 0.5064 | 0.8024 | 0.7396 | 0.86 | -1 | 1 | 2 | 1 | 3.328 | 0.2573 | 0.03211 | 0.239 | 0.7781 | 1 | -0.00006844 | 0.5792 | 0.3129 | 0.2324 | 0.482 | 2.017 | 2.828 | 0.3913 | 0.7831 | 1 | 1 | 0.3234 | 1.359 | 1.366 | 0.4372 | 1.837 | 1.847 | json |
| t17_x22_u4_b42 | 17 | 22 | 4 | 42 | ![]() |
div(R,dot(D,cil(D))) | 116657 | 138939885 | o2(x,o2(x,o1(x))) | true | 93263 | 93263 | -0.03125 | 0.4844 | 1 | 0.9983 | 0.9991 | -1 | 1 | 2 | 1 | 0.9993 | 0.1117 | 0.1269 | 0.1183 | -0.06336 | 1 | 0 | 0.5045 | 0.2386 | 0.2245 | 0.4738 | 4.005 | 2.828 | 0.239 | 0.5054 | 1 | 1 | 0.2404 | 0.988 | 1.899 | 0.2408 | 0.9897 | 1.902 | json |
| t17_x22_u4_b43 | 17 | 22 | 4 | 43 | ![]() |
div(R,dst(D,cil(D))) | 116658 | 138939886 | o2(x,o2(x,o1(x))) | true | 93271 | 93271 | 0.01039 | 0.4983 | 0.5169 | 0.3705 | 0.6087 | -1 | 1 | 2 | 1 | 4.843 | 0.01428 | 0.01504 | 0.1138 | -0.0259 | 1 | 0.00001121 | 0.04058 | 0.09793 | 0.01636 | 0.1279 | 1.124 | 1.344 | 0.07912 | 0.1095 | 1 | 1 | 0.04101 | 0.2957 | 0.6676 | 0.1107 | 0.798 | 1.802 | json |
| t17_x22_u4_b44 | 17 | 22 | 4 | 44 | ![]() |
pow(R,add(D,cil(D))) | 116659 | 138939887 | o2(x,o2(x,o1(x))) | true | 93279 | 93279 | -0.9217 | 0.04297 | 0.9923 | 0.139 | 0.3728 | -1 | 1 | 2 | 1 | 0.3719 | 0.01388 | 0.01397 | 0.01638 | -0.003225 | 1 | -0.00001266 | 0.05806 | 0.03073 | 0.02757 | 0.166 | 10.14 | 2.828 | 0.2004 | 0.4177 | 1 | 1 | 0.02199 | 0.09629 | 0.2293 | 0.1582 | 0.6928 | 1.65 | json |
| t17_x22_u4_b45 | 17 | 22 | 4 | 45 | ![]() |
pow(R,sub(D,cil(D))) | 116660 | 138939888 | o2(x,o2(x,o1(x))) | true | 93287 | 93287 | -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_x22_u4_b46 | 17 | 22 | 4 | 46 | ![]() |
pow(R,mlt(D,cil(D))) | 116661 | 138939889 | o2(x,o2(x,o1(x))) | true | 93295 | 93295 | -0.5809 | 0.2188 | 0.9816 | 0.6293 | 0.7933 | -1 | 1 | 2 | 1 | 1.181 | 0.08172 | 0.06062 | 0.07633 | 0.1482 | 1 | 0.00005927 | 0.3028 | 0.1468 | 0.1365 | 0.3695 | 4.841 | 2.828 | 0.2262 | 0.4812 | 1 | 1 | 0.1458 | 0.5792 | 1.377 | 0.2317 | 0.9204 | 2.189 | json |
| t17_x22_u4_b47 | 17 | 22 | 4 | 47 | ![]() |
pow(R,div(D,cil(D))) | 116662 | 138939890 | o2(x,o2(x,o1(x))) | true | 93303 | 93303 | -0.9392 | 0.04256 | 0.9749 | 0.0877 | 0.2961 | -1 | 0.9979 | 1.998 | 1 | 0.4133 | 0.01044 | 0.008624 | 0.01463 | 0.09535 | 1 | 0.00002437 | 0.03997 | 0.02478 | 0.01887 | 0.1374 | 9.391 | 1.998 | 0.2174 | 0.4558 | 1 | 1 | 0.01399 | 0.05917 | 0.1433 | 0.1596 | 0.6747 | 1.634 | json |
| t17_x22_u4_b48 | 17 | 22 | 4 | 48 | ![]() |
pow(R,pow(D,cil(D))) | 116663 | 138939891 | o2(x,o2(x,o1(x))) | true | 93311 | 93311 | -0.9268 | 0.04297 | 0.9873 | 0.1211 | 0.3481 | -1 | 0.9981 | 1.998 | 1 | 0.4066 | 0.01339 | 0.012 | 0.01587 | 0.05479 | 1 | 0.00002673 | 0.05339 | 0.0293 | 0.02513 | 0.1585 | 9.991 | 2.64 | 0.2096 | 0.4407 | 1 | 1 | 0.01933 | 0.0818 | 0.2045 | 0.1595 | 0.6752 | 1.688 | json |
| t17_x22_u4_b49 | 17 | 22 | 4 | 49 | ![]() |
pow(R,mod(D,cil(D))) | 116664 | 138939892 | o2(x,o2(x,o1(x))) | true | 93319 | 93319 | -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_x22_u4_b50 | 17 | 22 | 4 | 50 | ![]() |
pow(R,lrg(D,cil(D))) | 116665 | 138939893 | o2(x,o2(x,o1(x))) | true | 93327 | 93327 | 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_x22_u4_b51 | 17 | 22 | 4 | 51 | ![]() |
pow(R,eql(D,cil(D))) | 116666 | 138939894 | o2(x,o2(x,o1(x))) | true | 93335 | 93335 | 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_x22_u4_b52 | 17 | 22 | 4 | 52 | ![]() |
pow(R,min(D,cil(D))) | 116667 | 138939895 | o2(x,o2(x,o1(x))) | true | 93343 | 93343 | -0.9156 | 0.04297 | 0.9984 | 0.1589 | 0.3986 | -1 | 1 | 2 | 1 | 0.3032 | 0.01672 | 0.01576 | 0.01679 | 0.02932 | 1 | 0.000002463 | 0.06819 | 0.03316 | 0.03218 | 0.1794 | 10.68 | 2.828 | 0.2045 | 0.4293 | 1 | 1 | 0.02487 | 0.1066 | 0.2644 | 0.1566 | 0.6709 | 1.665 | json |
| t17_x22_u4_b53 | 17 | 22 | 4 | 53 | ![]() |
pow(R,dot(D,cil(D))) | 116668 | 138939896 | o2(x,o2(x,o1(x))) | true | 93351 | 93351 | -0.8129 | 0.1016 | 0.984 | 0.3112 | 0.5579 | -1 | 0.9999 | 2 | 1 | 0.7507 | 0.03548 | 0.04057 | 0.04221 | -0.06688 | 1 | 0.0000287 | 0.1625 | 0.08065 | 0.07427 | 0.2725 | 6.457 | 2.828 | 0.2444 | 0.5222 | 1 | 1 | 0.06977 | 0.2764 | 0.6341 | 0.2242 | 0.8881 | 2.037 | json |
| t17_x22_u4_b54 | 17 | 22 | 4 | 54 | ![]() |
pow(R,dst(D,cil(D))) | 116669 | 138939897 | o2(x,o2(x,o1(x))) | true | 93359 | 93359 | -0.9293 | 0.04297 | 0.9848 | 0.1131 | 0.3363 | -1 | 0.9967 | 1.997 | 1 | 0.4103 | 0.01156 | 0.01154 | 0.01502 | 0.0009385 | 1 | 0.000003505 | 0.04829 | 0.02789 | 0.02289 | 0.1513 | 10.07 | 2.82 | 0.2042 | 0.4269 | 1 | 1 | 0.01835 | 0.07894 | 0.1918 | 0.1623 | 0.6979 | 1.696 | json |
| t17_x22_u4_b55 | 17 | 22 | 4 | 55 | ![]() |
mod(R,add(D,cil(D))) | 116670 | 138939898 | o2(x,o2(x,o1(x))) | true | 93367 | 93367 | 0.003484 | 0.4875 | 0.2473 | 0.1161 | 0.3407 | -0.9989 | 0.9806 | 1.979 | 1 | 4.374 | 0.02042 | 0.001671 | 0.08851 | 0.8487 | 1 | -0.00002481 | 0.04229 | 0.1101 | 0.01426 | 0.1194 | 1.349 | 0.969 | 0.1903 | 0.3643 | 1 | 1 | 0.0233 | 0.1157 | 0.2114 | 0.2008 | 0.9969 | 1.822 | json |
| t17_x22_u4_b56 | 17 | 22 | 4 | 56 | ![]() |
mod(R,sub(D,cil(D))) | 116671 | 138939899 | o2(x,o2(x,o1(x))) | true | 93375 | 93375 | -0.005236 | 0.4807 | 0.1761 | 0.06366 | 0.2523 | -0.9676 | 0.9632 | 1.931 | 1 | 3.93 | 0.0294 | 0.0009142 | 0.09636 | 0.9397 | 1 | 0.0002326 | 0.06968 | 0.1485 | 0.02103 | 0.145 | 1.505 | 0.9375 | 0.4761 | 1.095 | 1 | 1 | 0.02668 | 0.06905 | 0.1171 | 0.4191 | 1.085 | 1.839 | json |
| t17_x22_u4_b57 | 17 | 22 | 4 | 57 | ![]() |
mod(R,mlt(D,cil(D))) | 116672 | 138939900 | o2(x,o2(x,o1(x))) | true | 93383 | 93383 | -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_x22_u4_b58 | 17 | 22 | 4 | 58 | ![]() |
mod(R,div(D,cil(D))) | 116673 | 138939901 | o2(x,o2(x,o1(x))) | true | 93391 | 93391 | -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_x22_u4_b59 | 17 | 22 | 4 | 59 | ![]() |
mod(R,pow(D,cil(D))) | 116674 | 138939902 | o2(x,o2(x,o1(x))) | true | 93399 | 93399 | -0.0006656 | 0.4894 | 0.2479 | 0.1166 | 0.3414 | -0.9987 | 0.9805 | 1.979 | 1 | 4.378 | 0.02041 | 0.001691 | 0.08774 | 0.847 | 1 | 0.00003265 | 0.04226 | 0.1098 | 0.0144 | 0.12 | 1.368 | 0.9686 | 0.1896 | 0.3626 | 1 | 1 | 0.02335 | 0.1157 | 0.2088 | 0.2004 | 0.9922 | 1.791 | json |
| t17_x22_u4_b60 | 17 | 22 | 4 | 60 | ![]() |
mod(R,mod(D,cil(D))) | 116675 | 138939903 | o2(x,o2(x,o1(x))) | true | 93407 | 93407 | -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_x22_u4_b61 | 17 | 22 | 4 | 61 | ![]() |
mod(R,lrg(D,cil(D))) | 116676 | 138939904 | o2(x,o2(x,o1(x))) | true | 93415 | 93415 | -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_x22_u4_b62 | 17 | 22 | 4 | 62 | ![]() |
mod(R,eql(D,cil(D))) | 116677 | 138939905 | o2(x,o2(x,o1(x))) | true | 93423 | 93423 | -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_x22_u4_b63 | 17 | 22 | 4 | 63 | ![]() |
mod(R,min(D,cil(D))) | 116678 | 138939906 | o2(x,o2(x,o1(x))) | true | 93431 | 93431 | -0.006161 | 0.4759 | 0.09044 | 0.01497 | 0.1224 | -0.456 | 0.4355 | 0.8915 | 1 | 2.997 | 0.006824 | 0.0002258 | 0.06342 | 0.9359 | 1 | -0.00001868 | 0.01816 | 0.09708 | 0.003027 | 0.05502 | 0.8674 | 0.39 | 0.4708 | 1.213 | 1 | 1 | 0.005404 | 0.01627 | 0.02848 | 0.3609 | 1.087 | 1.902 | json |
| t17_x22_u4_b64 | 17 | 22 | 4 | 64 | ![]() |
mod(R,dot(D,cil(D))) | 116679 | 138939907 | o2(x,o2(x,o1(x))) | true | 93439 | 93439 | -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_x22_u4_b65 | 17 | 22 | 4 | 65 | ![]() |
mod(R,dst(D,cil(D))) | 116680 | 138939908 | o2(x,o2(x,o1(x))) | true | 93447 | 93447 | -0.001114 | 0.4843 | 0.2693 | 0.1229 | 0.3506 | -0.9989 | 0.9806 | 1.979 | 1 | 4.491 | 0.02023 | 0.02054 | 0.1134 | -0.007753 | 1 | -0.000002446 | 0.1155 | 0.1737 | 0.02791 | 0.167 | 1.473 | 1.325 | 0.3317 | 0.9395 | 1 | 1 | 0.03877 | 0.128 | 0.2256 | 0.3153 | 1.041 | 1.835 | json |
| t17_x22_u4_b66 | 17 | 22 | 4 | 66 | ![]() |
lrg(R,add(D,cil(D))) | 116681 | 138939909 | o2(x,o2(x,o1(x))) | true | 93455 | 93455 | 0.3152 | 0.9046 | 0.3152 | 0.1143 | 0.3381 | 0 | 0.9997 | 0.9997 | 1 | 3.298 | 0.03836 | 0.001052 | 0.09756 | 0.9466 | 1 | -0.00003386 | 0.07252 | 0.1021 | 0.02989 | 0.1729 | 1.772 | 0.9997 | 0.3448 | 0.6344 | 1 | 1 | 0.04179 | 0.1614 | 0.1295 | 0.3656 | 1.412 | 1.133 | json |
| t17_x22_u4_b67 | 17 | 22 | 4 | 67 | ![]() |
lrg(R,sub(D,cil(D))) | 116682 | 138939910 | o2(x,o2(x,o1(x))) | true | 93463 | 93463 | 0.7462 | 0.9766 | 0.7462 | 0.1254 | 0.3542 | 0 | 1 | 1 | 1 | 2.624 | 0.04497 | 0.001457 | 0.08893 | 0.9372 | 1 | 0.000005893 | 0.09445 | 0.1234 | 0.03852 | 0.1963 | 2.207 | 1 | 0.3701 | 0.7529 | 1 | 1 | 0.04889 | 0.147 | 0.1812 | 0.3898 | 1.172 | 1.444 | json |
| t17_x22_u4_b68 | 17 | 22 | 4 | 68 | ![]() |
lrg(R,mlt(D,cil(D))) | 116683 | 138939911 | o2(x,o2(x,o1(x))) | true | 93471 | 93471 | 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 |
| t17_x22_u4_b69 | 17 | 22 | 4 | 69 | ![]() |
lrg(R,div(D,cil(D))) | 116684 | 138939912 | o2(x,o2(x,o1(x))) | true | 93479 | 93479 | 0.1839 | 0.4355 | 0.1839 | 0.1009 | 0.3176 | 0 | 0.9997 | 0.9997 | 1 | 2.152 | 0.03393 | 0.001031 | 0.06662 | 0.941 | 1 | 0.00004789 | 0.06661 | 0.08621 | 0.03051 | 0.1747 | 2.622 | 0.9997 | 0.3466 | 0.6604 | 1 | 1 | 0.03498 | 0.1373 | 0.1383 | 0.3468 | 1.361 | 1.371 | json |
| t17_x22_u4_b70 | 17 | 22 | 4 | 70 | ![]() |
lrg(R,pow(D,cil(D))) | 116685 | 138939913 | o2(x,o2(x,o1(x))) | true | 93487 | 93487 | 0.1839 | 0.4355 | 0.1839 | 0.1009 | 0.3176 | 0 | 0.9997 | 0.9997 | 1 | 2.152 | 0.03393 | 0.001031 | 0.06662 | 0.941 | 1 | 0.00004789 | 0.06661 | 0.08621 | 0.03051 | 0.1747 | 2.622 | 0.9997 | 0.3466 | 0.6604 | 1 | 1 | 0.03498 | 0.1373 | 0.1383 | 0.3468 | 1.361 | 1.371 | json |
| t17_x22_u4_b71 | 17 | 22 | 4 | 71 | ![]() |
lrg(R,mod(D,cil(D))) | 116686 | 138939914 | o2(x,o2(x,o1(x))) | true | 93495 | 93495 | 0.6839 | 1 | 0.6839 | 0.1174 | 0.3427 | 0.000291 | 1 | 0.9997 | 1 | 3.271 | 0.03888 | 0.001031 | 0.09674 | 0.9483 | 1 | 0.00004788 | 0.07352 | 0.1006 | 0.03055 | 0.1748 | 1.807 | 0.9997 | 0.3398 | 0.6261 | 1 | 1 | 0.04371 | 0.1708 | 0.1383 | 0.3722 | 1.455 | 1.177 | json |
| t17_x22_u4_b72 | 17 | 22 | 4 | 72 | ![]() |
lrg(R,lrg(D,cil(D))) | 116687 | 138939915 | o2(x,o2(x,o1(x))) | true | 93503 | 93503 | 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_x22_u4_b73 | 17 | 22 | 4 | 73 | ![]() |
lrg(R,eql(D,cil(D))) | 116688 | 138939916 | o2(x,o2(x,o1(x))) | true | 93511 | 93511 | 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_x22_u4_b74 | 17 | 22 | 4 | 74 | ![]() |
lrg(R,min(D,cil(D))) | 116689 | 138939917 | o2(x,o2(x,o1(x))) | true | 93519 | 93519 | 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 |
| t17_x22_u4_b75 | 17 | 22 | 4 | 75 | ![]() |
lrg(R,dot(D,cil(D))) | 116690 | 138939918 | o2(x,o2(x,o1(x))) | true | 93527 | 93527 | 0.3605 | 0.7204 | 0.3605 | 0.145 | 0.3808 | 0 | 1 | 1 | 1 | 3.168 | 0.01036 | 0.01054 | 0.06638 | -0.008554 | 1 | 0.0002842 | 0.05245 | 0.06436 | 0.0165 | 0.1285 | 1.935 | 1.413 | 0.1441 | 0.3616 | 1 | 1 | 0.0235 | 0.145 | 0.2728 | 0.162 | 0.9995 | 1.881 | json |
| t17_x22_u4_b76 | 17 | 22 | 4 | 76 | ![]() |
lrg(R,dst(D,cil(D))) | 116691 | 138939919 | o2(x,o2(x,o1(x))) | true | 93535 | 93535 | 0.1444 | 0.3889 | 0.1444 | 0.07854 | 0.2803 | 0 | 1 | 1 | 1 | 1.94 | 0.02337 | 0.02353 | 0.07658 | -0.003325 | 1 | -0.00006148 | 0.1248 | 0.1302 | 0.04103 | 0.2026 | 2.645 | 1.414 | 0.5971 | 1.589 | 1 | 1 | 0.04648 | 0.1196 | 0.1224 | 0.5918 | 1.522 | 1.559 | json |
| t17_x22_u4_b77 | 17 | 22 | 4 | 77 | ![]() |
eql(R,add(D,cil(D))) | 116692 | 138939920 | o2(x,o2(x,o1(x))) | true | 93543 | 93543 | 0.00004008 | 0.0002289 | 0.00004008 | 0.00001031 | 0.00321 | 0 | 0.3282 | 0.3282 | 1 | 0.002722 | 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 |
| t17_x22_u4_b78 | 17 | 22 | 4 | 78 | ![]() |
eql(R,sub(D,cil(D))) | 116693 | 138939921 | o2(x,o2(x,o1(x))) | true | 93551 | 93551 | 0.0001221 | 0.000473 | 0.0001221 | 0.00005345 | 0.007311 | 0 | 0.6715 | 0.6715 | 1 | 0.005648 | 0.0000754 | 7.824e-7 | 0.000192 | 0.9795 | 0 | 3.565e-7 | 0.0002286 | 0.0003783 | 0.00007615 | 0.008726 | 45.44 | 0.6519 | 1.425 | 4.277 | 1 | 1 | 0 | 0 | 0.00004079 | 0 | 0 | 0.7632 | json |
| t17_x22_u4_b79 | 17 | 22 | 4 | 79 | ![]() |
eql(R,mlt(D,cil(D))) | 116694 | 138939922 | o2(x,o2(x,o1(x))) | true | 93559 | 93559 | 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_x22_u4_b80 | 17 | 22 | 4 | 80 | ![]() |
eql(R,div(D,cil(D))) | 116695 | 138939923 | o2(x,o2(x,o1(x))) | true | 93567 | 93567 | 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_x22_u4_b81 | 17 | 22 | 4 | 81 | ![]() |
eql(R,pow(D,cil(D))) | 116696 | 138939924 | o2(x,o2(x,o1(x))) | true | 93575 | 93575 | 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_x22_u4_b82 | 17 | 22 | 4 | 82 | ![]() |
eql(R,mod(D,cil(D))) | 116697 | 138939925 | o2(x,o2(x,o1(x))) | true | 93583 | 93583 | 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_x22_u4_b83 | 17 | 22 | 4 | 83 | ![]() |
eql(R,lrg(D,cil(D))) | 116698 | 138939926 | o2(x,o2(x,o1(x))) | true | 93591 | 93591 | 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_x22_u4_b84 | 17 | 22 | 4 | 84 | ![]() |
eql(R,eql(D,cil(D))) | 116699 | 138939927 | o2(x,o2(x,o1(x))) | true | 93599 | 93599 | 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 |



































































































