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_x14_u2_b103 | 17 | 14 | 2 | 103 | ![]() |
dot(D,pow(D,frc(R))) | 109700 | 138616336 | o2(x,o2(x,o1(x))) | true | 37607 | 37607 | -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_x14_u2_b104 | 17 | 14 | 2 | 104 | ![]() |
dot(D,mod(D,frc(R))) | 109701 | 138616337 | o2(x,o2(x,o1(x))) | true | 37615 | 37615 | 0.146 | 1 | 0.146 | 0.008906 | 0.09437 | 0.0005875 | 0.4946 | 0.4941 | 1 | 2.49 | 0.001109 | 0.00106 | 0.03887 | 0.02252 | 1 | -0.0002676 | 0.002746 | 0.0357 | 0.0006583 | 0.02566 | 0.6601 | 0.1717 | 0.2435 | 0.3083 | 1 | 1 | 0.003119 | 0.01616 | 0.005888 | 0.3502 | 1.815 | 0.6612 | json |
| t17_x14_u2_b105 | 17 | 14 | 2 | 105 | ![]() |
dot(D,lrg(D,frc(R))) | 109702 | 138616338 | o2(x,o2(x,o1(x))) | true | 37623 | 37623 | 0.1111 | 0.85 | 0.1111 | 0.01354 | 0.1164 | 0 | 0.5458 | 0.5458 | 1 | 2.21 | 0.001893 | 0.001902 | 0.03863 | -0.002193 | 1 | -0.0001803 | 0.006101 | 0.0393 | 0.002302 | 0.04798 | 1.242 | 0.3582 | 0.2803 | 0.4506 | 1 | 1 | 0.004464 | 0.01913 | 0.01952 | 0.3297 | 1.413 | 1.442 | json |
| t17_x14_u2_b106 | 17 | 14 | 2 | 106 | ![]() |
dot(D,eql(D,frc(R))) | 109703 | 138616339 | o2(x,o2(x,o1(x))) | true | 37631 | 37631 | 0.00009242 | 0.0006866 | 0.00009242 | 0.00001832 | 0.00428 | 0 | 0.2728 | 0.2728 | 1 | 0.006576 | 0.00001021 | 0.00002325 | 0.0001755 | -0.3897 | 0 | 9.731e-8 | 0.0001005 | 0.0003473 | 0.00003341 | 0.00578 | 32.93 | 0.2648 | 1.826 | 5.488 | 1 | 1 | 0.00002093 | 0.00002779 | 0.00004615 | 1.142 | 1.517 | 2.519 | json |
| t17_x14_u2_b107 | 17 | 14 | 2 | 107 | ![]() |
dot(D,min(D,frc(R))) | 109704 | 138616340 | o2(x,o2(x,o1(x))) | true | 37639 | 37639 | 0.2105 | 1 | 0.2105 | 0.0135 | 0.1162 | 0.001144 | 0.4946 | 0.4935 | 1 | 2.837 | 0.00103 | 0.001004 | 0.04253 | 0.01245 | 1 | -0.0004341 | 0.000324 | 0.01477 | 0.000225 | 0.015 | 0.3527 | 0.07472 | 0.1507 | 0.02401 | 1 | 1 | 0.003961 | 0.02649 | 0.001713 | 0.2935 | 1.963 | 0.1269 | json |
| t17_x14_u2_b108 | 17 | 14 | 2 | 108 | ![]() |
dot(D,dot(D,frc(R))) | 109705 | 138616341 | o2(x,o2(x,o1(x))) | true | 37647 | 37647 | 0.1237 | 0.9991 | 0.1237 | 0.006378 | 0.07986 | -0.005683 | 0.4333 | 0.4389 | 1 | 2.263 | 0.0004444 | 0.0004192 | 0.02683 | 0.02913 | 1 | -0.0002455 | 0.0001391 | 0.00957 | 0.0001435 | 0.01198 | 0.4464 | 0.06772 | 0.1354 | 0.0218 | 1 | 1 | 0.001669 | 0.01187 | 0.003847 | 0.2617 | 1.862 | 0.6032 | json |
| t17_x14_u2_b109 | 17 | 14 | 2 | 109 | ![]() |
dot(D,dst(D,frc(R))) | 109706 | 138616342 | o2(x,o2(x,o1(x))) | true | 37655 | 37655 | -0.1111 | 0.2467 | 0.1587 | 0.02827 | 0.1681 | -0.6317 | 0.3698 | 1.001 | 1 | 3.456 | 0.001944 | 0.001909 | 0.05783 | 0.009273 | 1 | 0.0002027 | 0.0006093 | 0.02045 | 0.0005093 | 0.02257 | 0.3903 | 0.1376 | 0.1363 | 0.02156 | 1 | 1 | 0.007459 | 0.05396 | 0.01262 | 0.2639 | 1.909 | 0.4466 | json |
| t17_x14_u2_b110 | 17 | 14 | 2 | 110 | ![]() |
dst(D,add(D,frc(R))) | 109707 | 138616343 | o2(x,o2(x,o1(x))) | true | 37663 | 37663 | 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_x14_u2_b111 | 17 | 14 | 2 | 111 | ![]() |
dst(D,sub(D,frc(R))) | 109708 | 138616344 | o2(x,o2(x,o1(x))) | true | 37671 | 37671 | 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_x14_u2_b112 | 17 | 14 | 2 | 112 | ![]() |
dst(D,mlt(D,frc(R))) | 109709 | 138616345 | o2(x,o2(x,o1(x))) | true | 37679 | 37679 | 0.2258 | 1 | 0.2258 | 0.01208 | 0.1099 | 0.004557 | 0.5783 | 0.5737 | 1 | 2.832 | 0.0007102 | 0.0007505 | 0.03495 | -0.02756 | 1 | -0.000442 | 0.00026 | 0.01174 | 0.0002395 | 0.01548 | 0.4428 | 0.08399 | 0.1209 | 0.02153 | 1 | 1 | 0.002653 | 0.01834 | 0.01005 | 0.2196 | 1.519 | 0.8319 | json |
| t17_x14_u2_b113 | 17 | 14 | 2 | 113 | ![]() |
dst(D,div(D,frc(R))) | 109710 | 138616346 | o2(x,o2(x,o1(x))) | true | 37687 | 37687 | 0.7239 | 1 | 0.7239 | 0.1101 | 0.3319 | 0.005213 | 1 | 0.9948 | 1 | 2.897 | 0.008678 | 0.009982 | 0.07852 | -0.06985 | 1 | -0.001718 | 0.01799 | 0.06105 | 0.01249 | 0.1118 | 1.423 | 0.9217 | 0.1694 | 0.1633 | 1 | 1 | 0.02949 | 0.1342 | 0.1635 | 0.2677 | 1.218 | 1.484 | json |
| t17_x14_u2_b114 | 17 | 14 | 2 | 114 | ![]() |
dst(D,pow(D,frc(R))) | 109711 | 138616347 | o2(x,o2(x,o1(x))) | true | 37695 | 37695 | -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_x14_u2_b115 | 17 | 14 | 2 | 115 | ![]() |
dst(D,mod(D,frc(R))) | 109712 | 138616348 | o2(x,o2(x,o1(x))) | true | 37703 | 37703 | 0.1716 | 0.9982 | 0.1716 | 0.01921 | 0.1386 | 0 | 0.6272 | 0.6272 | 1 | 2.793 | 0.003181 | 0.003235 | 0.05676 | -0.008442 | 1 | -0.0004034 | 0.01172 | 0.07073 | 0.003195 | 0.05652 | 0.9958 | 0.3619 | 0.334 | 0.61 | 1 | 1 | 0.006982 | 0.02775 | 0.02406 | 0.3634 | 1.444 | 1.252 | json |
| t17_x14_u2_b116 | 17 | 14 | 2 | 116 | ![]() |
dst(D,lrg(D,frc(R))) | 109713 | 138616349 | o2(x,o2(x,o1(x))) | true | 37711 | 37711 | 0.4795 | 1 | 0.4795 | 0.04026 | 0.2006 | 0.04419 | 1 | 0.9558 | 1 | 3.7 | 0.006535 | 0.00696 | 0.0773 | -0.03145 | 1 | -0.0007045 | 0.02115 | 0.05834 | 0.00752 | 0.08672 | 1.122 | 1.308 | 0.3352 | 0.5254 | 1 | 1 | 0.01565 | 0.07066 | 0.03113 | 0.3888 | 1.755 | 0.7734 | json |
| t17_x14_u2_b117 | 17 | 14 | 2 | 117 | ![]() |
dst(D,eql(D,frc(R))) | 109714 | 138616350 | o2(x,o2(x,o1(x))) | true | 37719 | 37719 | 0.444 | 1 | 0.444 | 0.02506 | 0.1583 | 0.04473 | 0.7862 | 0.7415 | 1 | 3.254 | 0.001983 | 0.002027 | 0.05927 | -0.01081 | 1 | -0.0006856 | 0.0008139 | 0.01991 | 0.000497 | 0.02229 | 0.3761 | 0.4577 | 0.16 | 0.03248 | 1 | 1 | 0.00765 | 0.05075 | 0.00007925 | 0.3053 | 2.025 | 0.003163 | json |
| t17_x14_u2_b118 | 17 | 14 | 2 | 118 | ![]() |
dst(D,min(D,frc(R))) | 109715 | 138616351 | o2(x,o2(x,o1(x))) | true | 37727 | 37727 | 0.05371 | 0.823 | 0.05371 | 0.00463 | 0.06805 | 0 | 0.3438 | 0.3438 | 1 | 1.439 | 0.0002259 | 0.0002414 | 0.0156 | -0.03325 | 1 | -0.00007406 | 0.0001372 | 0.007824 | 0.000224 | 0.01497 | 0.9594 | 0.07898 | 0.1009 | 0.02964 | 1 | 1 | 0.0007911 | 0.005818 | 0.007659 | 0.1708 | 1.256 | 1.654 | json |
| t17_x14_u2_b119 | 17 | 14 | 2 | 119 | ![]() |
dst(D,dot(D,frc(R))) | 109716 | 138616352 | o2(x,o2(x,o1(x))) | true | 37735 | 37735 | 0.4389 | 1 | 0.4389 | 0.0276 | 0.1661 | 0.02602 | 0.9433 | 0.9172 | 1 | 3.418 | 0.002122 | 0.002109 | 0.06074 | 0.002983 | 1 | -0.0006526 | 0.0007704 | 0.02046 | 0.0005416 | 0.02327 | 0.3832 | 0.1297 | 0.1533 | 0.02791 | 1 | 1 | 0.008009 | 0.05448 | 0.00612 | 0.2901 | 1.974 | 0.2217 | json |
| t17_x14_u2_b120 | 17 | 14 | 2 | 120 | ![]() |
dst(D,dst(D,frc(R))) | 109717 | 138616353 | o2(x,o2(x,o1(x))) | true | 37743 | 37743 | 0.994 | 1 | 0.994 | 0.002132 | 0.04618 | 0.09308 | 1 | 0.9069 | 1 | 0.218 | 0.0002994 | 0.0002705 | 0.003894 | 0.0507 | 1 | -0.000004211 | 0.0004452 | 0.003544 | 0.0005548 | 0.02355 | 6.048 | 0.2976 | 0.2673 | 0.2088 | 1 | 1 | 0.0009396 | 0.003983 | 0.003731 | 0.4407 | 1.868 | 1.75 | json |
| t17_x14_u3_b0 | 17 | 14 | 3 | 0 | ![]() |
add(D,add(D,flr(R))) | 109718 | 138616434 | o2(x,o2(x,o1(x))) | true | 37751 | 37751 | -0.4889 | 0.1664 | 0.5398 | 0.1638 | 0.4047 | -1 | 0.2908 | 1.291 | 1 | 4.05 | 0.007201 | 0.002267 | 0.07912 | 0.5211 | 1 | -0.0001098 | 0.001722 | 0.02955 | 0.003209 | 0.05664 | 0.7159 | 0.2256 | 0.05781 | 0.01051 | 1 | 1 | 0.01816 | 0.1641 | 0.245 | 0.1109 | 1.002 | 1.496 | json |
| t17_x14_u3_b1 | 17 | 14 | 3 | 1 | ![]() |
add(D,sub(D,flr(R))) | 109719 | 138616435 | o2(x,o2(x,o1(x))) | true | 37759 | 37759 | 0.4894 | 0.8363 | 0.5393 | 0.1622 | 0.4028 | -0.2908 | 1 | 1.291 | 1 | 4.053 | 0.007114 | 0.002265 | 0.07883 | 0.517 | 1 | 0.00007739 | 0.001704 | 0.02938 | 0.003166 | 0.05626 | 0.7137 | 0.2256 | 0.05782 | 0.0105 | 1 | 1 | 0.01776 | 0.1599 | 0.2445 | 0.1095 | 0.9859 | 1.507 | json |
| t17_x14_u3_b2 | 17 | 14 | 3 | 2 | ![]() |
add(D,mlt(D,flr(R))) | 109720 | 138616436 | o2(x,o2(x,o1(x))) | true | 37767 | 37767 | 0.001117 | 0.4528 | 0.08225 | 0.01313 | 0.1146 | -0.2729 | 0.2729 | 0.5458 | 1 | 2.887 | 0.0009306 | 0.0001635 | 0.02701 | 0.7011 | 1 | -0.00002655 | 0.0001336 | 0.008913 | 0.0003646 | 0.01909 | 0.7068 | 0.06407 | 0.08332 | 0.01017 | 1 | 1 | 0.002066 | 0.02006 | 0.0213 | 0.1573 | 1.527 | 1.622 | json |
| t17_x14_u3_b3 | 17 | 14 | 3 | 3 | ![]() |
add(D,div(D,flr(R))) | 109721 | 138616437 | o2(x,o2(x,o1(x))) | true | 37775 | 37775 | -0.9297 | 0 | 0.9297 | 0.06532 | 0.2556 | -1 | 0 | 1 | 1 | 0.3671 | 0.00548 | 0.006677 | 0.01207 | -0.09845 | 1 | 0 | 0.02545 | 0.02431 | 0.01201 | 0.1096 | 9.077 | 1.414 | 0.1861 | 0.3896 | 1 | 1 | 0.01256 | 0.05287 | 0.1436 | 0.1923 | 0.8093 | 2.199 | json |
| t17_x14_u3_b4 | 17 | 14 | 3 | 4 | ![]() |
add(D,pow(D,flr(R))) | 109722 | 138616438 | o2(x,o2(x,o1(x))) | true | 37783 | 37783 | -0.5858 | 0.2109 | 0.9923 | 0.6424 | 0.8015 | -1 | 1 | 2 | 1 | 0.9871 | 0.08041 | 0.06438 | 0.07577 | 0.1107 | 1 | 0.00003689 | 0.3081 | 0.1495 | 0.1391 | 0.373 | 4.922 | 2.807 | 0.2254 | 0.4796 | 1 | 1 | 0.143 | 0.5904 | 1.37 | 0.2226 | 0.9191 | 2.132 | json |
| t17_x14_u3_b5 | 17 | 14 | 3 | 5 | ![]() |
add(D,mod(D,flr(R))) | 109723 | 138616439 | o2(x,o2(x,o1(x))) | true | 37791 | 37791 | -0.9297 | 0.03516 | 0.943 | 0.06837 | 0.2615 | -1 | 0.2908 | 1.291 | 1 | 0.5714 | 0.005987 | 0.006999 | 0.01671 | -0.07787 | 1 | 0.00004017 | 0.0263 | 0.02617 | 0.01271 | 0.1127 | 6.745 | 1.417 | 0.1899 | 0.3847 | 1 | 1 | 0.01379 | 0.06011 | 0.1501 | 0.2016 | 0.8791 | 2.195 | json |
| t17_x14_u3_b6 | 17 | 14 | 3 | 6 | ![]() |
add(D,lrg(D,flr(R))) | 109724 | 138616440 | o2(x,o2(x,o1(x))) | true | 37799 | 37799 | 0.7293 | 0.9006 | 0.7398 | 0.1324 | 0.3638 | -0.09672 | 1 | 1.097 | 1 | 3.023 | 0.03152 | 0.001165 | 0.08129 | 0.9287 | 1 | 0.0001194 | 0.05192 | 0.07603 | 0.02608 | 0.1615 | 1.987 | 1.031 | 0.2469 | 0.3922 | 1 | 1 | 0.0383 | 0.1938 | 0.1388 | 0.2894 | 1.464 | 1.049 | json |
| t17_x14_u3_b7 | 17 | 14 | 3 | 7 | ![]() |
add(D,eql(D,flr(R))) | 109725 | 138616441 | o2(x,o2(x,o1(x))) | true | 37807 | 37807 | 0 | 0.5 | 0.09436 | 0.01082 | 0.104 | -0.1454 | 0.1454 | 0.2908 | 1 | 2.561 | 0.001632 | 0 | 0.0361 | 1 | 1 | 0 | 0.0002563 | 0.01459 | 0.0003304 | 0.01818 | 0.5036 | 0.06192 | 0.1508 | 0.02368 | 1 | 1 | 0.003151 | 0.02183 | 0 | 0.2912 | 2.017 | 0 | json |
| t17_x14_u3_b8 | 17 | 14 | 3 | 8 | ![]() |
add(D,min(D,flr(R))) | 109726 | 138616442 | o2(x,o2(x,o1(x))) | true | 37815 | 37815 | -0.574 | 0.1041 | 0.5861 | 0.1312 | 0.3622 | -1 | 0.1014 | 1.101 | 1 | 3.907 | 0.00444 | 0.001896 | 0.06537 | 0.4016 | 1 | 0.0001133 | 0.0008242 | 0.02151 | 0.002063 | 0.04542 | 0.6948 | 0.1713 | 0.04831 | 0.006284 | 1 | 1 | 0.01225 | 0.1253 | 0.2158 | 0.09342 | 0.9551 | 1.645 | json |
| t17_x14_u3_b9 | 17 | 14 | 3 | 9 | ![]() |
add(D,dot(D,flr(R))) | 109727 | 138616443 | o2(x,o2(x,o1(x))) | true | 37823 | 37823 | 0.003352 | 0.4984 | 0.1282 | 0.02674 | 0.1635 | -0.4991 | 0.4991 | 0.9981 | 1 | 3.427 | 0.001098 | 0.001107 | 0.04155 | -0.004404 | 1 | -0.00008999 | 0.0002654 | 0.013 | 0.0004782 | 0.02187 | 0.5263 | 0.1205 | 0.08246 | 0.009927 | 1 | 1 | 0.003939 | 0.03947 | 0.04545 | 0.1473 | 1.476 | 1.7 | json |
| t17_x14_u3_b10 | 17 | 14 | 3 | 10 | ![]() |
add(D,dst(D,flr(R))) | 109728 | 138616444 | o2(x,o2(x,o1(x))) | true | 37831 | 37831 | 0.943 | 1 | 0.943 | 0.02416 | 0.1555 | 0.01363 | 1 | 0.9864 | 1 | 1.258 | 0.001279 | 0.0008896 | 0.0204 | 0.1795 | 1 | -0.0000154 | 0.0007841 | 0.0115 | 0.001753 | 0.04187 | 2.053 | 0.2584 | 0.08973 | 0.03245 | 1 | 1 | 0.00453 | 0.036 | 0.04694 | 0.1874 | 1.49 | 1.942 | json |
| t17_x14_u3_b11 | 17 | 14 | 3 | 11 | ![]() |
sub(D,add(D,flr(R))) | 109729 | 138616445 | o2(x,o2(x,o1(x))) | true | 37839 | 37839 | 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_x14_u3_b12 | 17 | 14 | 3 | 12 | ![]() |
sub(D,sub(D,flr(R))) | 109730 | 138616446 | o2(x,o2(x,o1(x))) | true | 37847 | 37847 | -0.5176 | 0 | 0.5176 | 0.1537 | 0.3921 | -1 | 0 | 1 | 1 | 3.585 | 0.001972 | 0.002442 | 0.05168 | -0.1065 | 1 | -0.00001781 | 0.0002592 | 0.01257 | 0.001744 | 0.04176 | 0.8079 | 0.1169 | 0.02872 | 0.001686 | 1 | 1 | 0.008731 | 0.1124 | 0.2862 | 0.0568 | 0.7316 | 1.862 | json |
| t17_x14_u3_b13 | 17 | 14 | 3 | 13 | ![]() |
sub(D,mlt(D,flr(R))) | 109731 | 138616447 | o2(x,o2(x,o1(x))) | true | 37855 | 37855 | -0.001117 | 0.4985 | 0.1588 | 0.03554 | 0.1885 | -0.3844 | 0.3844 | 0.7688 | 1 | 3.579 | 0.004318 | 0.0001635 | 0.05903 | 0.927 | 1 | 0.00002655 | 0.0006634 | 0.02278 | 0.0009972 | 0.03158 | 0.5349 | 0.1244 | 0.1261 | 0.01867 | 1 | 1 | 0.00885 | 0.0677 | 0.0213 | 0.249 | 1.905 | 0.5995 | json |
| t17_x14_u3_b14 | 17 | 14 | 3 | 14 | ![]() |
sub(D,div(D,flr(R))) | 109732 | 138616448 | o2(x,o2(x,o1(x))) | true | 37863 | 37863 | -0.7969 | 0.1016 | 0.943 | 0.2975 | 0.5455 | -1 | 1 | 2 | 1 | 0.9165 | 0.03572 | 0.03421 | 0.04485 | 0.02154 | 1 | 0.00004017 | 0.1467 | 0.08264 | 0.06787 | 0.2605 | 5.808 | 2.828 | 0.235 | 0.4931 | 1 | 1 | 0.075 | 0.3149 | 0.5943 | 0.2521 | 1.058 | 1.997 | json |
| t17_x14_u3_b15 | 17 | 14 | 3 | 15 | ![]() |
sub(D,pow(D,flr(R))) | 109733 | 138616449 | o2(x,o2(x,o1(x))) | true | 37871 | 37871 | -0.9972 | 0 | 0.9972 | 0.0002991 | 0.0173 | -1 | -0.8546 | 0.1454 | 1 | 0.1759 | 0.00004189 | 0.00006793 | 0.001674 | -0.2372 | 1 | -0.00001886 | 0.0001795 | 0.002032 | 0.0001071 | 0.01035 | 6.18 | 0.1455 | 0.3671 | 0.6001 | 1 | 1 | 0.0001242 | 0.0003603 | 0.0005157 | 0.4152 | 1.204 | 1.724 | json |
| t17_x14_u3_b16 | 17 | 14 | 3 | 16 | ![]() |
sub(D,mod(D,flr(R))) | 109734 | 138616450 | o2(x,o2(x,o1(x))) | true | 37879 | 37879 | -0.9297 | 0 | 0.9297 | 0.06532 | 0.2556 | -1 | 0 | 1 | 1 | 0.3671 | 0.00548 | 0.006677 | 0.01207 | -0.09845 | 1 | 0 | 0.02545 | 0.02431 | 0.01201 | 0.1096 | 9.077 | 1.414 | 0.1861 | 0.3896 | 1 | 1 | 0.01256 | 0.05287 | 0.1436 | 0.1923 | 0.8093 | 2.199 | json |
| t17_x14_u3_b17 | 17 | 14 | 3 | 17 | ![]() |
sub(D,lrg(D,flr(R))) | 109735 | 138616451 | o2(x,o2(x,o1(x))) | true | 37887 | 37887 | -0.7438 | 0 | 0.7438 | 0.07479 | 0.2735 | -1 | -0.03125 | 0.9688 | 1 | 3.367 | 0.02349 | 0.001104 | 0.07004 | 0.9103 | 1 | -0.00005288 | 0.05038 | 0.06639 | 0.01969 | 0.1403 | 2.003 | 0.9378 | 0.3289 | 0.6737 | 1 | 1 | 0.02342 | 0.08652 | 0.1176 | 0.3132 | 1.157 | 1.572 | json |
| t17_x14_u3_b18 | 17 | 14 | 3 | 18 | ![]() |
sub(D,eql(D,flr(R))) | 109736 | 138616452 | o2(x,o2(x,o1(x))) | true | 37895 | 37895 | 0 | 0.5 | 0.09436 | 0.01082 | 0.104 | -0.1454 | 0.1454 | 0.2908 | 1 | 2.561 | 0.001632 | 0 | 0.0361 | 1 | 1 | 0 | 0.0002563 | 0.01459 | 0.0003304 | 0.01818 | 0.5036 | 0.06192 | 0.1508 | 0.02368 | 1 | 1 | 0.003151 | 0.02183 | 0 | 0.2912 | 2.017 | 0 | json |
| t17_x14_u3_b19 | 17 | 14 | 3 | 19 | ![]() |
sub(D,min(D,flr(R))) | 109737 | 138616453 | o2(x,o2(x,o1(x))) | true | 37903 | 37903 | 0.5721 | 1 | 0.5721 | 0.1177 | 0.3431 | 0.000282 | 1 | 0.9997 | 1 | 3.75 | 0.002764 | 0.001884 | 0.05643 | 0.1893 | 1 | -0.0001261 | 0.0005697 | 0.01601 | 0.001463 | 0.03825 | 0.6778 | 0.1529 | 0.03948 | 0.004839 | 1 | 1 | 0.008972 | 0.1002 | 0.2097 | 0.07621 | 0.8511 | 1.781 | json |
| t17_x14_u3_b20 | 17 | 14 | 3 | 20 | ![]() |
sub(D,dot(D,flr(R))) | 109738 | 138616454 | o2(x,o2(x,o1(x))) | true | 37911 | 37911 | -0.003352 | 0.4912 | 0.182 | 0.04914 | 0.2217 | -0.5958 | 0.6299 | 1.226 | 1 | 3.859 | 0.004485 | 0.001107 | 0.06784 | 0.604 | 1 | 0.00008999 | 0.0007952 | 0.02378 | 0.0009898 | 0.03146 | 0.4637 | 0.169 | 0.1138 | 0.01618 | 1 | 1 | 0.01072 | 0.08711 | 0.04545 | 0.2182 | 1.773 | 0.9249 | json |
| t17_x14_u3_b21 | 17 | 14 | 3 | 21 | ![]() |
sub(D,dst(D,flr(R))) | 109739 | 138616455 | o2(x,o2(x,o1(x))) | true | 37919 | 37919 | -0.949 | 0 | 0.949 | 0.02385 | 0.1544 | -1 | -0.01249 | 0.9875 | 1 | 1.11 | 0.001009 | 0.0008868 | 0.01724 | 0.0643 | 1 | -0.000009787 | 0.0005535 | 0.008476 | 0.001599 | 0.03998 | 2.32 | 0.2226 | 0.07949 | 0.02321 | 1 | 1 | 0.004068 | 0.03646 | 0.04855 | 0.1706 | 1.529 | 2.036 | json |
| t17_x14_u3_b22 | 17 | 14 | 3 | 22 | ![]() |
mlt(D,add(D,flr(R))) | 109740 | 138616456 | o2(x,o2(x,o1(x))) | true | 37927 | 37927 | 0.1202 | 0.8027 | 0.1406 | 0.02169 | 0.1473 | -0.1136 | 0.5091 | 0.6227 | 1 | 3.087 | 0.002261 | 0.0001635 | 0.04257 | 0.8651 | 1 | -0.000267 | 0.000337 | 0.01546 | 0.0006123 | 0.02475 | 0.5813 | 0.09665 | 0.1118 | 0.01554 | 1 | 1 | 0.004799 | 0.03837 | 0.0213 | 0.2213 | 1.769 | 0.9824 | json |
| t17_x14_u3_b23 | 17 | 14 | 3 | 23 | ![]() |
mlt(D,sub(D,flr(R))) | 109741 | 138616457 | o2(x,o2(x,o1(x))) | true | 37935 | 37935 | 0.1179 | 0.7992 | 0.1388 | 0.02146 | 0.1465 | -0.1136 | 0.5091 | 0.6227 | 1 | 3.078 | 0.002221 | 0.0001635 | 0.04222 | 0.8628 | 1 | -0.0002139 | 0.0003336 | 0.01537 | 0.0006018 | 0.02453 | 0.581 | 0.09666 | 0.1111 | 0.01554 | 1 | 1 | 0.0046 | 0.03761 | 0.0213 | 0.2143 | 1.752 | 0.9926 | json |
| t17_x14_u3_b24 | 17 | 14 | 3 | 24 | ![]() |
mlt(D,mlt(D,flr(R))) | 109742 | 138616458 | o2(x,o2(x,o1(x))) | true | 37943 | 37943 | -0.06161 | 0 | 0.06161 | 0.00447 | 0.06685 | -0.2473 | 0 | 0.2473 | 1 | 1.742 | 0.0004634 | 0.00003835 | 0.01754 | 0.8471 | 1 | 0.0001053 | 0.00007794 | 0.006858 | 0.0001942 | 0.01393 | 0.7945 | 0.05089 | 0.1123 | 0.01744 | 1 | 1 | 0.001007 | 0.007311 | 0.004199 | 0.2253 | 1.636 | 0.9395 | json |
| t17_x14_u3_b25 | 17 | 14 | 3 | 25 | ![]() |
mlt(D,div(D,flr(R))) | 109743 | 138616459 | o2(x,o2(x,o1(x))) | true | 37951 | 37951 | -0.8052 | 0.06641 | 0.938 | 0.2828 | 0.5318 | -1 | 1 | 2 | 1 | 0.8396 | 0.03504 | 0.0329 | 0.04162 | 0.03147 | 1 | 0.00001527 | 0.1439 | 0.0804 | 0.0662 | 0.2573 | 6.182 | 2.828 | 0.2402 | 0.5087 | 1 | 1 | 0.07242 | 0.2974 | 0.5612 | 0.2561 | 1.052 | 1.984 | json |
| t17_x14_u3_b26 | 17 | 14 | 3 | 26 | ![]() |
mlt(D,pow(D,flr(R))) | 109744 | 138616460 | o2(x,o2(x,o1(x))) | true | 37959 | 37959 | -0.7507 | 0.1203 | 0.8438 | 0.2572 | 0.5071 | -1 | 0.9994 | 1.999 | 1 | 1.527 | 0.0399 | 0.02483 | 0.05835 | 0.2327 | 1 | 0.00001769 | 0.1353 | 0.09626 | 0.06133 | 0.2477 | 4.244 | 1.999 | 0.2517 | 0.526 | 1 | 1 | 0.06481 | 0.2598 | 0.5321 | 0.252 | 1.01 | 2.069 | json |
| t17_x14_u3_b27 | 17 | 14 | 3 | 27 | ![]() |
mlt(D,mod(D,flr(R))) | 109745 | 138616461 | o2(x,o2(x,o1(x))) | true | 37967 | 37967 | -0.9213 | 0.07031 | 0.938 | 0.08242 | 0.2871 | -1 | 0.2473 | 1.247 | 1 | 0.4944 | 0.005583 | 0.008446 | 0.01499 | -0.2041 | 1 | -0.00001527 | 0.0289 | 0.02663 | 0.0138 | 0.1175 | 7.836 | 1.416 | 0.1702 | 0.3507 | 1 | 1 | 0.01441 | 0.06761 | 0.1817 | 0.1749 | 0.8204 | 2.205 | json |
| t17_x14_u3_b28 | 17 | 14 | 3 | 28 | ![]() |
mlt(D,lrg(D,flr(R))) | 109746 | 138616462 | o2(x,o2(x,o1(x))) | true | 37975 | 37975 | 0.06843 | 0.7142 | 0.1117 | 0.01345 | 0.116 | -0.1454 | 0.2729 | 0.4183 | 1 | 2.896 | 0.001454 | 0.00009101 | 0.03556 | 0.8822 | 1 | -0.0001591 | 0.0002538 | 0.01407 | 0.000281 | 0.01676 | 0.4714 | 0.0622 | 0.1149 | 0.01887 | 1 | 1 | 0.002977 | 0.02253 | 0.01087 | 0.2213 | 1.676 | 0.8085 | json |
| t17_x14_u3_b29 | 17 | 14 | 3 | 29 | ![]() |
mlt(D,eql(D,flr(R))) | 109747 | 138616463 | o2(x,o2(x,o1(x))) | true | 37983 | 37983 | 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_x14_u3_b30 | 17 | 14 | 3 | 30 | ![]() |
mlt(D,min(D,flr(R))) | 109748 | 138616464 | o2(x,o2(x,o1(x))) | true | 37991 | 37991 | 0.0296 | 0.6461 | 0.08562 | 0.01079 | 0.1039 | -0.1702 | 0.2729 | 0.4431 | 1 | 2.738 | 0.0009348 | 0.0001158 | 0.02803 | 0.7796 | 1 | -0.00009157 | 0.0001401 | 0.00998 | 0.0002647 | 0.01627 | 0.5804 | 0.06221 | 0.09733 | 0.01298 | 1 | 1 | 0.002099 | 0.01853 | 0.01475 | 0.1945 | 1.716 | 1.366 | json |
| t17_x14_u3_b31 | 17 | 14 | 3 | 31 | ![]() |
mlt(D,dot(D,flr(R))) | 109749 | 138616465 | o2(x,o2(x,o1(x))) | true | 37999 | 37999 | -0.06162 | 0.1522 | 0.06551 | 0.005362 | 0.07322 | -0.3709 | 0.1236 | 0.4944 | 1 | 2.136 | 0.0005119 | 0.00008727 | 0.02021 | 0.7087 | 1 | 0.0001047 | 0.00009282 | 0.007592 | 0.0001906 | 0.01381 | 0.6831 | 0.0717 | 0.1117 | 0.01731 | 1 | 1 | 0.001175 | 0.009064 | 0.005897 | 0.2191 | 1.691 | 1.1 | json |
| t17_x14_u3_b32 | 17 | 14 | 3 | 32 | ![]() |
mlt(D,dst(D,flr(R))) | 109750 | 138616466 | o2(x,o2(x,o1(x))) | true | 38007 | 38007 | 0.04319 | 0.5768 | 0.1297 | 0.02247 | 0.1499 | -0.3351 | 0.4794 | 0.8144 | 1 | 3.259 | 0.002697 | 0.0001393 | 0.04704 | 0.9018 | 1 | -0.00004197 | 0.0004335 | 0.01806 | 0.0006229 | 0.02496 | 0.5305 | 0.1158 | 0.1262 | 0.01929 | 1 | 1 | 0.005329 | 0.04076 | 0.01443 | 0.2371 | 1.814 | 0.6421 | json |
| t17_x14_u3_b33 | 17 | 14 | 3 | 33 | ![]() |
div(D,add(D,flr(R))) | 109751 | 138616467 | o2(x,o2(x,o1(x))) | true | 38015 | 38015 | 0.3904 | 0.7122 | 0.4852 | 0.2126 | 0.4611 | -0.3395 | 1 | 1.34 | 1 | 4.173 | 0.003356 | 0.003336 | 0.06891 | 0.002895 | 1 | 0.000156 | 0.0005183 | 0.01789 | 0.001943 | 0.04408 | 0.6398 | 0.1613 | 0.03147 | 0.002438 | 1 | 1 | 0.01318 | 0.1598 | 0.389 | 0.06201 | 0.7517 | 1.829 | json |
| t17_x14_u3_b34 | 17 | 14 | 3 | 34 | ![]() |
div(D,sub(D,flr(R))) | 109752 | 138616468 | o2(x,o2(x,o1(x))) | true | 38023 | 38023 | 0.3874 | 0.7087 | 0.4836 | 0.2129 | 0.4614 | -0.3395 | 1 | 1.34 | 1 | 4.177 | 0.003391 | 0.003335 | 0.06912 | 0.008384 | 1 | 0.0002019 | 0.000526 | 0.01802 | 0.001948 | 0.04414 | 0.6386 | 0.1613 | 0.03159 | 0.00247 | 1 | 1 | 0.01339 | 0.1598 | 0.3879 | 0.06288 | 0.7506 | 1.822 | json |
| t17_x14_u3_b35 | 17 | 14 | 3 | 35 | ![]() |
div(D,mlt(D,flr(R))) | 109753 | 138616469 | o2(x,o2(x,o1(x))) | true | 38031 | 38031 | -0.8672 | 0.06641 | 1 | 0.2479 | 0.4979 | -1 | 1 | 2 | 1 | 0.3524 | 0.03351 | 0.03124 | 0.03204 | 0.03502 | 1 | -5.887e-9 | 0.1378 | 0.06475 | 0.06369 | 0.2524 | 7.875 | 2.828 | 0.2612 | 0.5559 | 1 | 1 | 0.07269 | 0.2987 | 0.4858 | 0.2932 | 1.205 | 1.96 | json |
| t17_x14_u3_b36 | 17 | 14 | 3 | 36 | ![]() |
div(D,div(D,flr(R))) | 109754 | 138616470 | o2(x,o2(x,o1(x))) | true | 38039 | 38039 | -0.5176 | 0 | 0.5176 | 0.1537 | 0.3921 | -1 | 0 | 1 | 1 | 3.585 | 0.001972 | 0.002442 | 0.05168 | -0.1065 | 1 | -0.00001781 | 0.0002592 | 0.01257 | 0.001744 | 0.04176 | 0.8079 | 0.1169 | 0.02872 | 0.001686 | 1 | 1 | 0.008731 | 0.1124 | 0.2862 | 0.0568 | 0.7316 | 1.862 | json |
| t17_x14_u3_b37 | 17 | 14 | 3 | 37 | ![]() |
div(D,pow(D,flr(R))) | 109755 | 138616471 | o2(x,o2(x,o1(x))) | true | 38047 | 38047 | -0.798 | 0.07086 | 0.8071 | 0.1544 | 0.393 | -1 | 0.1454 | 1.145 | 1 | 1.26 | 0.0202 | 0.01562 | 0.04144 | 0.1278 | 1 | 0.00001097 | 0.07613 | 0.0749 | 0.0341 | 0.1847 | 4.456 | 1.415 | 0.2319 | 0.4929 | 1 | 1 | 0.03549 | 0.1424 | 0.3293 | 0.2298 | 0.9222 | 2.132 | json |
| t17_x14_u3_b38 | 17 | 14 | 3 | 38 | ![]() |
div(D,mod(D,flr(R))) | 109756 | 138616472 | o2(x,o2(x,o1(x))) | true | 38055 | 38055 | -0.8594 | 0.07031 | 1 | 0.2613 | 0.5112 | -1 | 1 | 2 | 1 | 0.3671 | 0.02192 | 0.02671 | 0.02415 | -0.09845 | 1 | 5.767e-9 | 0.1018 | 0.04863 | 0.04804 | 0.2192 | 9.077 | 2.828 | 0.1861 | 0.3896 | 1 | 1 | 0.05025 | 0.2115 | 0.5745 | 0.1923 | 0.8093 | 2.199 | json |
| t17_x14_u3_b39 | 17 | 14 | 3 | 39 | ![]() |
div(D,lrg(D,flr(R))) | 109757 | 138616473 | o2(x,o2(x,o1(x))) | true | 38063 | 38063 | -0.7461 | 0.127 | 0.77 | 0.1922 | 0.4384 | -1 | 0.1454 | 1.145 | 1 | 1.468 | 0.02213 | 0.01634 | 0.04589 | 0.1506 | 1 | 0.00002134 | 0.07991 | 0.07907 | 0.03637 | 0.1907 | 4.156 | 1.415 | 0.2002 | 0.4159 | 1 | 1 | 0.0402 | 0.1661 | 0.3632 | 0.2092 | 0.8645 | 1.89 | json |
| t17_x14_u3_b40 | 17 | 14 | 3 | 40 | ![]() |
div(D,eql(D,flr(R))) | 109758 | 138616474 | o2(x,o2(x,o1(x))) | true | 38071 | 38071 | -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_x14_u3_b41 | 17 | 14 | 3 | 41 | ![]() |
div(D,min(D,flr(R))) | 109759 | 138616475 | o2(x,o2(x,o1(x))) | true | 38079 | 38079 | -0.7142 | 0.1385 | 0.8132 | 0.2769 | 0.5262 | -1 | 0.9994 | 1.999 | 1 | 1.704 | 0.04306 | 0.02365 | 0.06101 | 0.2909 | 1 | -0.000003038 | 0.1386 | 0.09975 | 0.06295 | 0.2509 | 4.112 | 2.828 | 0.2409 | 0.5006 | 1 | 1 | 0.06537 | 0.2629 | 0.4874 | 0.2361 | 0.9494 | 1.76 | json |
| t17_x14_u3_b42 | 17 | 14 | 3 | 42 | ![]() |
div(D,dot(D,flr(R))) | 109760 | 138616476 | o2(x,o2(x,o1(x))) | true | 38087 | 38087 | -0.6469 | 0.1653 | 0.9098 | 0.4638 | 0.681 | -1 | 1 | 2 | 1 | 1.914 | 0.1162 | 0.1354 | 0.1482 | -0.07635 | 1 | 0.0000281 | 0.9338 | 0.2821 | 0.2295 | 0.479 | 3.232 | 2.828 | 0.5425 | 2.013 | 1 | 1 | 0.1708 | 0.4958 | 0.7365 | 0.3683 | 1.069 | 1.588 | json |
| t17_x14_u3_b43 | 17 | 14 | 3 | 43 | ![]() |
div(D,dst(D,flr(R))) | 109761 | 138616477 | o2(x,o2(x,o1(x))) | true | 38095 | 38095 | -0.03097 | 0.4235 | 0.125 | 0.03256 | 0.1805 | -0.9404 | 0.9379 | 1.878 | 1 | 3.307 | 0.005137 | 0.001014 | 0.04871 | 0.6703 | 1 | 0.00000489 | 0.005017 | 0.01962 | 0.003779 | 0.06147 | 1.262 | 1.467 | 0.1889 | 0.1541 | 1 | 1 | 0.01167 | 0.07235 | 0.03998 | 0.3584 | 2.222 | 1.228 | json |
| t17_x14_u3_b44 | 17 | 14 | 3 | 44 | ![]() |
pow(D,add(D,flr(R))) | 109762 | 138616478 | o2(x,o2(x,o1(x))) | true | 38103 | 38103 | -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_x14_u3_b45 | 17 | 14 | 3 | 45 | ![]() |
pow(D,sub(D,flr(R))) | 109763 | 138616479 | o2(x,o2(x,o1(x))) | true | 38111 | 38111 | -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_x14_u3_b46 | 17 | 14 | 3 | 46 | ![]() |
pow(D,mlt(D,flr(R))) | 109764 | 138616480 | o2(x,o2(x,o1(x))) | true | 38119 | 38119 | -0.5781 | 0.2109 | 1 | 0.6661 | 0.8161 | -1 | 1 | 2 | 1 | 0.7433 | 0.08151 | 0.06689 | 0.07361 | 0.09847 | 1 | 0 | 0.3136 | 0.1484 | 0.143 | 0.3782 | 5.137 | 2.828 | 0.2228 | 0.4707 | 1 | 1 | 0.1477 | 0.6117 | 1.421 | 0.2217 | 0.9184 | 2.134 | json |
| t17_x14_u3_b47 | 17 | 14 | 3 | 47 | ![]() |
pow(D,div(D,flr(R))) | 109765 | 138616481 | o2(x,o2(x,o1(x))) | true | 38127 | 38127 | -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_x14_u3_b48 | 17 | 14 | 3 | 48 | ![]() |
pow(D,pow(D,flr(R))) | 109766 | 138616482 | o2(x,o2(x,o1(x))) | true | 38135 | 38135 | -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_x14_u3_b49 | 17 | 14 | 3 | 49 | ![]() |
pow(D,mod(D,flr(R))) | 109767 | 138616483 | o2(x,o2(x,o1(x))) | true | 38143 | 38143 | -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_x14_u3_b50 | 17 | 14 | 3 | 50 | ![]() |
pow(D,lrg(D,flr(R))) | 109768 | 138616484 | o2(x,o2(x,o1(x))) | true | 38151 | 38151 | -0.6534 | 0.2109 | 0.9247 | 0.4741 | 0.6886 | -1 | 1 | 2 | 1 | 1.434 | 0.05486 | 0.04714 | 0.07233 | 0.07566 | 1 | -0.0000779 | 0.2113 | 0.1222 | 0.0968 | 0.3111 | 4.301 | 2.828 | 0.2151 | 0.4457 | 1 | 1 | 0.1018 | 0.4489 | 1.003 | 0.2146 | 0.9467 | 2.115 | json |
| t17_x14_u3_b51 | 17 | 14 | 3 | 51 | ![]() |
pow(D,eql(D,flr(R))) | 109769 | 138616485 | o2(x,o2(x,o1(x))) | true | 38159 | 38159 | 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_x14_u3_b52 | 17 | 14 | 3 | 52 | ![]() |
pow(D,min(D,flr(R))) | 109770 | 138616486 | o2(x,o2(x,o1(x))) | true | 38167 | 38167 | -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_x14_u3_b53 | 17 | 14 | 3 | 53 | ![]() |
pow(D,dot(D,flr(R))) | 109771 | 138616487 | o2(x,o2(x,o1(x))) | true | 38175 | 38175 | -0.8842 | 0.05835 | 0.9991 | 0.2168 | 0.4656 | -1 | 1 | 2 | 1 | 0.3513 | 0.05093 | 0.05105 | 0.04329 | -0.001215 | 1 | 8.586e-7 | 0.4376 | 0.1028 | 0.1002 | 0.3165 | 7.31 | 2.828 | 0.4704 | 2.019 | 1 | 1 | 0.06323 | 0.2039 | 0.4859 | 0.2917 | 0.9407 | 2.241 | json |
| t17_x14_u3_b54 | 17 | 14 | 3 | 54 | ![]() |
pow(D,dst(D,flr(R))) | 109772 | 138616488 | o2(x,o2(x,o1(x))) | true | 38183 | 38183 | -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_x14_u3_b55 | 17 | 14 | 3 | 55 | ![]() |
mod(D,add(D,flr(R))) | 109773 | 138616489 | o2(x,o2(x,o1(x))) | true | 38191 | 38191 | -0.01913 | 0.46 | 0.1255 | 0.02338 | 0.1529 | -0.2729 | 0.2729 | 0.5458 | 1 | 3.169 | 0.02032 | 0.00008112 | 0.09528 | 0.992 | 1 | 0.0001049 | 0.04621 | 0.1573 | 0.01133 | 0.1064 | 1.117 | 0.5235 | 0.8727 | 1.976 | 1 | 1 | 0.01723 | 0.03756 | 0.0101 | 0.7368 | 1.607 | 0.4322 | json |
| t17_x14_u3_b56 | 17 | 14 | 3 | 56 | ![]() |
mod(D,sub(D,flr(R))) | 109774 | 138616490 | o2(x,o2(x,o1(x))) | true | 38199 | 38199 | 0.01799 | 0.4841 | 0.1257 | 0.02346 | 0.1532 | -0.2729 | 0.2729 | 0.5458 | 1 | 3.177 | 0.02042 | 0.00008112 | 0.09549 | 0.9921 | 1 | 0.00004474 | 0.0464 | 0.1576 | 0.01138 | 0.1067 | 1.117 | 0.5235 | 0.8736 | 1.978 | 1 | 1 | 0.01745 | 0.03776 | 0.01012 | 0.7438 | 1.609 | 0.4313 | json |
| t17_x14_u3_b57 | 17 | 14 | 3 | 57 | ![]() |
mod(D,mlt(D,flr(R))) | 109775 | 138616491 | o2(x,o2(x,o1(x))) | true | 38207 | 38207 | -0.9297 | 0.01758 | 0.937 | 0.06702 | 0.2589 | -1 | 0.2729 | 1.273 | 1 | 0.5253 | 0.008278 | 0.006852 | 0.02184 | 0.09427 | 1 | -0.0000469 | 0.03301 | 0.04207 | 0.01466 | 0.1211 | 5.543 | 1.414 | 0.2258 | 0.4926 | 1 | 1 | 0.01506 | 0.05585 | 0.1472 | 0.2246 | 0.8333 | 2.196 | json |
| t17_x14_u3_b58 | 17 | 14 | 3 | 58 | ![]() |
mod(D,div(D,flr(R))) | 109776 | 138616492 | o2(x,o2(x,o1(x))) | true | 38215 | 38215 | -0.9297 | 0.01758 | 0.937 | 0.06702 | 0.2589 | -1 | 0.2729 | 1.273 | 1 | 0.5253 | 0.008278 | 0.006852 | 0.02184 | 0.09427 | 1 | -0.0000469 | 0.03301 | 0.04207 | 0.01466 | 0.1211 | 5.543 | 1.414 | 0.2258 | 0.4926 | 1 | 1 | 0.01506 | 0.05585 | 0.1472 | 0.2246 | 0.8333 | 2.196 | json |
| t17_x14_u3_b59 | 17 | 14 | 3 | 59 | ![]() |
mod(D,pow(D,flr(R))) | 109777 | 138616493 | o2(x,o2(x,o1(x))) | true | 38223 | 38223 | -0.7891 | 0.1055 | 0.8089 | 0.1688 | 0.4109 | -1 | 0.1454 | 1.145 | 1 | 1.284 | 0.0207 | 0.01691 | 0.04352 | 0.1007 | 1 | -0.000001255 | 0.0789 | 0.07692 | 0.03574 | 0.189 | 4.344 | 1.415 | 0.2228 | 0.4674 | 1 | 1 | 0.03761 | 0.1572 | 0.3591 | 0.2228 | 0.9313 | 2.127 | json |
| t17_x14_u3_b60 | 17 | 14 | 3 | 60 | ![]() |
mod(D,mod(D,flr(R))) | 109778 | 138616494 | o2(x,o2(x,o1(x))) | true | 38231 | 38231 | -0.9297 | 0.01758 | 0.937 | 0.06702 | 0.2589 | -1 | 0.2729 | 1.273 | 1 | 0.5253 | 0.008278 | 0.006852 | 0.02184 | 0.09427 | 1 | -0.0000469 | 0.03301 | 0.04207 | 0.01466 | 0.1211 | 5.543 | 1.414 | 0.2258 | 0.4926 | 1 | 1 | 0.01506 | 0.05585 | 0.1472 | 0.2246 | 0.8333 | 2.196 | json |
| t17_x14_u3_b61 | 17 | 14 | 3 | 61 | ![]() |
mod(D,lrg(D,flr(R))) | 109779 | 138616495 | o2(x,o2(x,o1(x))) | true | 38239 | 38239 | -0.7461 | 0.127 | 0.77 | 0.1922 | 0.4384 | -1 | 0.1454 | 1.145 | 1 | 1.468 | 0.02213 | 0.01634 | 0.04589 | 0.1506 | 1 | 0.00002134 | 0.07991 | 0.07907 | 0.03637 | 0.1907 | 4.156 | 1.415 | 0.2002 | 0.4159 | 1 | 1 | 0.0402 | 0.1661 | 0.3632 | 0.2092 | 0.8645 | 1.89 | json |
| t17_x14_u3_b62 | 17 | 14 | 3 | 62 | ![]() |
mod(D,eql(D,flr(R))) | 109780 | 138616496 | o2(x,o2(x,o1(x))) | true | 38247 | 38247 | -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_x14_u3_b63 | 17 | 14 | 3 | 63 | ![]() |
mod(D,min(D,flr(R))) | 109781 | 138616497 | o2(x,o2(x,o1(x))) | true | 38255 | 38255 | -0.7438 | 0.1453 | 0.7807 | 0.2047 | 0.4524 | -1 | 0.2729 | 1.273 | 1 | 1.523 | 0.02445 | 0.01771 | 0.05316 | 0.1599 | 1 | -0.000005222 | 0.089 | 0.0947 | 0.03933 | 0.1983 | 3.73 | 1.415 | 0.2059 | 0.4348 | 1 | 1 | 0.042 | 0.1814 | 0.3735 | 0.2052 | 0.8864 | 1.825 | json |
| t17_x14_u3_b64 | 17 | 14 | 3 | 64 | ![]() |
mod(D,dot(D,flr(R))) | 109782 | 138616498 | o2(x,o2(x,o1(x))) | true | 38263 | 38263 | -0.6982 | 0.1393 | 0.728 | 0.2158 | 0.4646 | -1 | 0.2729 | 1.273 | 1 | 1.806 | 0.04183 | 0.03728 | 0.0879 | 0.05755 | 1 | 0.0000633 | 0.3333 | 0.1895 | 0.07141 | 0.2672 | 3.04 | 1.794 | 0.3666 | 1.545 | 1 | 1 | 0.05498 | 0.1541 | 0.3784 | 0.2548 | 0.714 | 1.754 | json |
| t17_x14_u3_b65 | 17 | 14 | 3 | 65 | ![]() |
mod(D,dst(D,flr(R))) | 109783 | 138616499 | o2(x,o2(x,o1(x))) | true | 38271 | 38271 | 0.004255 | 0.5 | 0.09862 | 0.01208 | 0.1099 | -0.1454 | 0.2666 | 0.412 | 1 | 2.689 | 0.002088 | 0.00008649 | 0.03848 | 0.9205 | 1 | -0.000007303 | 0.001587 | 0.01964 | 0.0006952 | 0.02637 | 0.6852 | 0.3635 | 0.18 | 0.1314 | 1 | 1 | 0.003854 | 0.02462 | 0.0009449 | 0.3189 | 2.038 | 0.07819 | json |
| t17_x14_u3_b66 | 17 | 14 | 3 | 66 | ![]() |
lrg(D,add(D,flr(R))) | 109784 | 138616500 | o2(x,o2(x,o1(x))) | true | 38279 | 38279 | 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_x14_u3_b67 | 17 | 14 | 3 | 67 | ![]() |
lrg(D,sub(D,flr(R))) | 109785 | 138616501 | o2(x,o2(x,o1(x))) | true | 38287 | 38287 | 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_x14_u3_b68 | 17 | 14 | 3 | 68 | ![]() |
lrg(D,mlt(D,flr(R))) | 109786 | 138616502 | o2(x,o2(x,o1(x))) | true | 38295 | 38295 | 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 |
| t17_x14_u3_b69 | 17 | 14 | 3 | 69 | ![]() |
lrg(D,div(D,flr(R))) | 109787 | 138616503 | o2(x,o2(x,o1(x))) | true | 38303 | 38303 | 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 |
| t17_x14_u3_b70 | 17 | 14 | 3 | 70 | ![]() |
lrg(D,pow(D,flr(R))) | 109788 | 138616504 | o2(x,o2(x,o1(x))) | true | 38311 | 38311 | 0.2607 | 0.7598 | 0.2607 | 0.1136 | 0.3371 | 0 | 0.9997 | 0.9997 | 1 | 2.903 | 0.03008 | 0.00118 | 0.07393 | 0.9245 | 1 | 0.00001639 | 0.05613 | 0.07221 | 0.02581 | 0.1607 | 2.173 | 0.9997 | 0.2752 | 0.494 | 1 | 1 | 0.03658 | 0.1608 | 0.1417 | 0.322 | 1.415 | 1.247 | json |
| t17_x14_u3_b71 | 17 | 14 | 3 | 71 | ![]() |
lrg(D,mod(D,flr(R))) | 109789 | 138616505 | o2(x,o2(x,o1(x))) | true | 38319 | 38319 | 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_x14_u3_b72 | 17 | 14 | 3 | 72 | ![]() |
lrg(D,lrg(D,flr(R))) | 109790 | 138616506 | o2(x,o2(x,o1(x))) | true | 38327 | 38327 | 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_x14_u3_b73 | 17 | 14 | 3 | 73 | ![]() |
lrg(D,eql(D,flr(R))) | 109791 | 138616507 | o2(x,o2(x,o1(x))) | true | 38335 | 38335 | 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 |
| t17_x14_u3_b74 | 17 | 14 | 3 | 74 | ![]() |
lrg(D,min(D,flr(R))) | 109792 | 138616508 | o2(x,o2(x,o1(x))) | true | 38343 | 38343 | 0.7607 | 1 | 0.7607 | 0.1075 | 0.3279 | 0.000291 | 1 | 0.9997 | 1 | 2.776 | 0.02734 | 0.00118 | 0.06882 | 0.9172 | 1 | 0.00001639 | 0.05101 | 0.06655 | 0.02378 | 0.1542 | 2.241 | 0.9997 | 0.2652 | 0.4745 | 1 | 1 | 0.03061 | 0.1388 | 0.1417 | 0.2847 | 1.291 | 1.318 | json |
| t17_x14_u3_b75 | 17 | 14 | 3 | 75 | ![]() |
lrg(D,dot(D,flr(R))) | 109793 | 138616509 | o2(x,o2(x,o1(x))) | true | 38351 | 38351 | 0.492 | 1 | 0.492 | 0.1181 | 0.3437 | 0.000291 | 0.9997 | 0.9994 | 1 | 3.76 | 0.05173 | 0.01466 | 0.1316 | 0.5584 | 1 | 0.0001497 | 0.1832 | 0.1654 | 0.04905 | 0.2215 | 1.683 | 1.409 | 0.5621 | 1.551 | 1 | 1 | 0.06934 | 0.2308 | 0.06722 | 0.5871 | 1.954 | 0.5692 | json |
| t17_x14_u3_b76 | 17 | 14 | 3 | 76 | ![]() |
lrg(D,dst(D,flr(R))) | 109794 | 138616510 | o2(x,o2(x,o1(x))) | true | 38359 | 38359 | 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_x14_u3_b77 | 17 | 14 | 3 | 77 | ![]() |
eql(D,add(D,flr(R))) | 109795 | 138616511 | o2(x,o2(x,o1(x))) | true | 38367 | 38367 | 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_x14_u3_b78 | 17 | 14 | 3 | 78 | ![]() |
eql(D,sub(D,flr(R))) | 109796 | 138616512 | o2(x,o2(x,o1(x))) | true | 38375 | 38375 | 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_x14_u3_b79 | 17 | 14 | 3 | 79 | ![]() |
eql(D,mlt(D,flr(R))) | 109797 | 138616513 | o2(x,o2(x,o1(x))) | true | 38383 | 38383 | 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_x14_u3_b80 | 17 | 14 | 3 | 80 | ![]() |
eql(D,div(D,flr(R))) | 109798 | 138616514 | o2(x,o2(x,o1(x))) | true | 38391 | 38391 | 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_x14_u3_b81 | 17 | 14 | 3 | 81 | ![]() |
eql(D,pow(D,flr(R))) | 109799 | 138616515 | o2(x,o2(x,o1(x))) | true | 38399 | 38399 | 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 |



































































































