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_x13_u3_b29 | 17 | 13 | 3 | 29 | ![]() |
mlt(D,eql(D,flr(D))) | 108900 | 138576062 | o2(x,o2(x,o1(x))) | true | 31207 | 31207 | 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_x13_u3_b30 | 17 | 13 | 3 | 30 | ![]() |
mlt(D,min(D,flr(D))) | 108901 | 138576063 | o2(x,o2(x,o1(x))) | true | 31215 | 31215 | 0.143 | 1 | 0.143 | 0.009237 | 0.09611 | 0.000282 | 0.2729 | 0.2726 | 1 | 2.227 | 0.001451 | 0 | 0.03416 | 1 | 1 | -0.0003063 | 0.0002653 | 0.01361 | 0.0002853 | 0.01689 | 0.4945 | 0.06184 | 0.1571 | 0.02873 | 1 | 1 | 0.002788 | 0.01827 | 0 | 0.3018 | 1.978 | 0 | json |
| t17_x13_u3_b31 | 17 | 13 | 3 | 31 | ![]() |
mlt(D,dot(D,flr(D))) | 108902 | 138576064 | o2(x,o2(x,o1(x))) | true | 31223 | 31223 | -0.05952 | 0.125 | 0.06151 | 0.00232 | 0.04816 | -0.1321 | 0.01779 | 0.1499 | 1 | 1.7 | 0.000361 | 0.00001586 | 0.01744 | 0.9158 | 1 | 0.0001202 | 0.00006463 | 0.007078 | 0.00007279 | 0.008531 | 0.4893 | 0.03178 | 0.1625 | 0.02786 | 1 | 1 | 0.0007227 | 0.004799 | 0 | 0.3116 | 2.069 | 0 | json |
| t17_x13_u3_b32 | 17 | 13 | 3 | 32 | ![]() |
mlt(D,dst(D,flr(D))) | 108903 | 138576065 | o2(x,o2(x,o1(x))) | true | 31231 | 31231 | -0.01667 | 0.5 | 0.07194 | 0.006829 | 0.08264 | -0.181 | 0.1444 | 0.3254 | 1 | 2.347 | 0.001071 | 0.0002809 | 0.031 | 0.5846 | 1 | 0.00004781 | 0.0008773 | 0.01861 | 0.000391 | 0.01977 | 0.6378 | 0.1123 | 0.198 | 0.1285 | 1 | 1 | 0.002334 | 0.01426 | 0 | 0.3418 | 2.088 | 0 | json |
| t17_x13_u3_b33 | 17 | 13 | 3 | 33 | ![]() |
div(D,add(D,flr(D))) | 108904 | 138576066 | o2(x,o2(x,o1(x))) | true | 31239 | 31239 | 0.6027 | 1 | 0.6027 | 0.1144 | 0.3382 | 0.03059 | 0.9999 | 0.9693 | 1 | 3.5 | 0.06076 | 0 | 0.1189 | 1 | 1 | -0.0002232 | 0.1196 | 0.1276 | 0.04661 | 0.2159 | 1.816 | 0.9693 | 0.5311 | 1.046 | 1 | 1 | 0.06238 | 0.1874 | 0 | 0.5452 | 1.638 | 0 | json |
| t17_x13_u3_b34 | 17 | 13 | 3 | 34 | ![]() |
div(D,sub(D,flr(D))) | 108905 | 138576067 | o2(x,o2(x,o1(x))) | true | 31247 | 31247 | 0.2165 | 0.5 | 0.3444 | 0.1722 | 0.4149 | -0.1977 | 0.9907 | 1.188 | 1 | 3.375 | 0.07236 | 0 | 0.1458 | 1 | 1 | 0.0006699 | 0.1259 | 0.142 | 0.05108 | 0.226 | 1.55 | 1.023 | 0.4203 | 0.7314 | 1 | 1 | 0.08308 | 0.2962 | 0 | 0.4825 | 1.72 | 0 | json |
| t17_x13_u3_b35 | 17 | 13 | 3 | 35 | ![]() |
div(D,mlt(D,flr(D))) | 108906 | 138576068 | o2(x,o2(x,o1(x))) | true | 31255 | 31255 | -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_x13_u3_b36 | 17 | 13 | 3 | 36 | ![]() |
div(D,div(D,flr(D))) | 108907 | 138576069 | o2(x,o2(x,o1(x))) | true | 31263 | 31263 | -0.5 | 0 | 0.5 | 0.1418 | 0.3765 | -0.9997 | -0.000291 | 0.9994 | 1 | 3.406 | 0.06511 | 0 | 0.1228 | 1 | 1 | 3.028e-8 | 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_x13_u3_b37 | 17 | 13 | 3 | 37 | ![]() |
div(D,pow(D,flr(D))) | 108908 | 138576070 | o2(x,o2(x,o1(x))) | true | 31271 | 31271 | -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_x13_u3_b38 | 17 | 13 | 3 | 38 | ![]() |
div(D,mod(D,flr(D))) | 108909 | 138576071 | o2(x,o2(x,o1(x))) | true | 31279 | 31279 | -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_x13_u3_b39 | 17 | 13 | 3 | 39 | ![]() |
div(D,lrg(D,flr(D))) | 108910 | 138576072 | o2(x,o2(x,o1(x))) | true | 31287 | 31287 | 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_x13_u3_b40 | 17 | 13 | 3 | 40 | ![]() |
div(D,eql(D,flr(D))) | 108911 | 138576073 | o2(x,o2(x,o1(x))) | true | 31295 | 31295 | -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_x13_u3_b41 | 17 | 13 | 3 | 41 | ![]() |
div(D,min(D,flr(D))) | 108912 | 138576074 | o2(x,o2(x,o1(x))) | true | 31303 | 31303 | -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_x13_u3_b42 | 17 | 13 | 3 | 42 | ![]() |
div(D,dot(D,flr(D))) | 108913 | 138576075 | o2(x,o2(x,o1(x))) | true | 31311 | 31311 | -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_x13_u3_b43 | 17 | 13 | 3 | 43 | ![]() |
div(D,dst(D,flr(D))) | 108914 | 138576076 | o2(x,o2(x,o1(x))) | true | 31319 | 31319 | 0.05406 | 0.5 | 0.1585 | 0.04139 | 0.2034 | -0.1975 | 0.8766 | 1.074 | 1 | 3.398 | 0.007818 | 0.008618 | 0.0802 | -0.04866 | 1 | 0.00006938 | 0.03017 | 0.06126 | 0.01 | 0.1 | 1.247 | 0.7886 | 0.3971 | 0.7289 | 1 | 1 | 0.02089 | 0.08726 | 0 | 0.5048 | 2.109 | 0 | json |
| t17_x13_u3_b44 | 17 | 13 | 3 | 44 | ![]() |
pow(D,add(D,flr(D))) | 108915 | 138576077 | o2(x,o2(x,o1(x))) | true | 31327 | 31327 | -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_x13_u3_b45 | 17 | 13 | 3 | 45 | ![]() |
pow(D,sub(D,flr(D))) | 108916 | 138576078 | o2(x,o2(x,o1(x))) | true | 31335 | 31335 | -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_x13_u3_b46 | 17 | 13 | 3 | 46 | ![]() |
pow(D,mlt(D,flr(D))) | 108917 | 138576079 | o2(x,o2(x,o1(x))) | true | 31343 | 31343 | -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_x13_u3_b47 | 17 | 13 | 3 | 47 | ![]() |
pow(D,div(D,flr(D))) | 108918 | 138576080 | o2(x,o2(x,o1(x))) | true | 31351 | 31351 | -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_x13_u3_b48 | 17 | 13 | 3 | 48 | ![]() |
pow(D,pow(D,flr(D))) | 108919 | 138576081 | o2(x,o2(x,o1(x))) | true | 31359 | 31359 | -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_x13_u3_b49 | 17 | 13 | 3 | 49 | ![]() |
pow(D,mod(D,flr(D))) | 108920 | 138576082 | o2(x,o2(x,o1(x))) | true | 31367 | 31367 | -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_x13_u3_b50 | 17 | 13 | 3 | 50 | ![]() |
pow(D,lrg(D,flr(D))) | 108921 | 138576083 | o2(x,o2(x,o1(x))) | true | 31375 | 31375 | -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_x13_u3_b51 | 17 | 13 | 3 | 51 | ![]() |
pow(D,eql(D,flr(D))) | 108922 | 138576084 | o2(x,o2(x,o1(x))) | true | 31383 | 31383 | 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_x13_u3_b52 | 17 | 13 | 3 | 52 | ![]() |
pow(D,min(D,flr(D))) | 108923 | 138576085 | o2(x,o2(x,o1(x))) | true | 31391 | 31391 | -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_x13_u3_b53 | 17 | 13 | 3 | 53 | ![]() |
pow(D,dot(D,flr(D))) | 108924 | 138576086 | o2(x,o2(x,o1(x))) | true | 31399 | 31399 | -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_x13_u3_b54 | 17 | 13 | 3 | 54 | ![]() |
pow(D,dst(D,flr(D))) | 108925 | 138576087 | o2(x,o2(x,o1(x))) | true | 31407 | 31407 | -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_x13_u3_b55 | 17 | 13 | 3 | 55 | ![]() |
mod(D,add(D,flr(D))) | 108926 | 138576088 | o2(x,o2(x,o1(x))) | true | 31415 | 31415 | -0.09111 | 0.25 | 0.1333 | 0.01759 | 0.1326 | -0.2729 | 0.1454 | 0.4183 | 1 | 2.906 | 0.01653 | 0 | 0.09486 | 1 | 1 | 0.0006757 | 0.03931 | 0.1462 | 0.007536 | 0.08681 | 0.9151 | 0.289 | 0.9402 | 2.235 | 1 | 1 | 0.01341 | 0.02818 | 0 | 0.7625 | 1.602 | 0 | json |
| t17_x13_u3_b56 | 17 | 13 | 3 | 56 | ![]() |
mod(D,sub(D,flr(D))) | 108927 | 138576089 | o2(x,o2(x,o1(x))) | true | 31423 | 31423 | -0.05525 | 0.25 | 0.1467 | 0.02802 | 0.1674 | -0.2729 | 0.2342 | 0.5071 | 1 | 2.858 | 0.02807 | 0 | 0.1088 | 1 | 1 | 0.0006072 | 0.06344 | 0.1774 | 0.01623 | 0.1274 | 1.17 | 0.4959 | 1.002 | 2.265 | 1 | 1 | 0.02434 | 0.04159 | 0 | 0.8687 | 1.484 | 0 | json |
| t17_x13_u3_b57 | 17 | 13 | 3 | 57 | ![]() |
mod(D,mlt(D,flr(D))) | 108928 | 138576090 | o2(x,o2(x,o1(x))) | true | 31431 | 31431 | -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_x13_u3_b58 | 17 | 13 | 3 | 58 | ![]() |
mod(D,div(D,flr(D))) | 108929 | 138576091 | o2(x,o2(x,o1(x))) | true | 31439 | 31439 | -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_x13_u3_b59 | 17 | 13 | 3 | 59 | ![]() |
mod(D,pow(D,flr(D))) | 108930 | 138576092 | o2(x,o2(x,o1(x))) | true | 31447 | 31447 | -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_x13_u3_b60 | 17 | 13 | 3 | 60 | ![]() |
mod(D,mod(D,flr(D))) | 108931 | 138576093 | o2(x,o2(x,o1(x))) | true | 31455 | 31455 | -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_x13_u3_b61 | 17 | 13 | 3 | 61 | ![]() |
mod(D,lrg(D,flr(D))) | 108932 | 138576094 | o2(x,o2(x,o1(x))) | true | 31463 | 31463 | 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_x13_u3_b62 | 17 | 13 | 3 | 62 | ![]() |
mod(D,eql(D,flr(D))) | 108933 | 138576095 | o2(x,o2(x,o1(x))) | true | 31471 | 31471 | -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_x13_u3_b63 | 17 | 13 | 3 | 63 | ![]() |
mod(D,min(D,flr(D))) | 108934 | 138576096 | o2(x,o2(x,o1(x))) | true | 31479 | 31479 | -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_x13_u3_b64 | 17 | 13 | 3 | 64 | ![]() |
mod(D,dot(D,flr(D))) | 108935 | 138576097 | o2(x,o2(x,o1(x))) | true | 31487 | 31487 | -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_x13_u3_b65 | 17 | 13 | 3 | 65 | ![]() |
mod(D,dst(D,flr(D))) | 108936 | 138576098 | o2(x,o2(x,o1(x))) | true | 31495 | 31495 | 0.01817 | 0.5 | 0.1125 | 0.01632 | 0.1277 | -0.1454 | 0.2666 | 0.412 | 1 | 2.847 | 0.00386 | 0.0007973 | 0.04928 | 0.6576 | 1 | -0.00005023 | 0.00853 | 0.04123 | 0.002231 | 0.04723 | 0.9583 | 0.3635 | 0.2855 | 0.5228 | 1 | 1 | 0.006321 | 0.03336 | 0 | 0.3874 | 2.045 | 0 | json |
| t17_x13_u3_b66 | 17 | 13 | 3 | 66 | ![]() |
lrg(D,add(D,flr(D))) | 108937 | 138576099 | o2(x,o2(x,o1(x))) | true | 31503 | 31503 | 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_x13_u3_b67 | 17 | 13 | 3 | 67 | ![]() |
lrg(D,sub(D,flr(D))) | 108938 | 138576100 | o2(x,o2(x,o1(x))) | true | 31511 | 31511 | 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_x13_u3_b68 | 17 | 13 | 3 | 68 | ![]() |
lrg(D,mlt(D,flr(D))) | 108939 | 138576101 | o2(x,o2(x,o1(x))) | true | 31519 | 31519 | 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_x13_u3_b69 | 17 | 13 | 3 | 69 | ![]() |
lrg(D,div(D,flr(D))) | 108940 | 138576102 | o2(x,o2(x,o1(x))) | true | 31527 | 31527 | 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_x13_u3_b70 | 17 | 13 | 3 | 70 | ![]() |
lrg(D,pow(D,flr(D))) | 108941 | 138576103 | o2(x,o2(x,o1(x))) | true | 31535 | 31535 | 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_x13_u3_b71 | 17 | 13 | 3 | 71 | ![]() |
lrg(D,mod(D,flr(D))) | 108942 | 138576104 | o2(x,o2(x,o1(x))) | true | 31543 | 31543 | 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_x13_u3_b72 | 17 | 13 | 3 | 72 | ![]() |
lrg(D,lrg(D,flr(D))) | 108943 | 138576105 | o2(x,o2(x,o1(x))) | true | 31551 | 31551 | 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_x13_u3_b73 | 17 | 13 | 3 | 73 | ![]() |
lrg(D,eql(D,flr(D))) | 108944 | 138576106 | o2(x,o2(x,o1(x))) | true | 31559 | 31559 | 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_x13_u3_b74 | 17 | 13 | 3 | 74 | ![]() |
lrg(D,min(D,flr(D))) | 108945 | 138576107 | o2(x,o2(x,o1(x))) | true | 31567 | 31567 | 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_x13_u3_b75 | 17 | 13 | 3 | 75 | ![]() |
lrg(D,dot(D,flr(D))) | 108946 | 138576108 | o2(x,o2(x,o1(x))) | true | 31575 | 31575 | 0.3627 | 1 | 0.3627 | 0.09711 | 0.3116 | 0.000291 | 0.9994 | 0.9991 | 1 | 3.712 | 0.04356 | 0.02056 | 0.1307 | 0.3586 | 1 | 0.00000455 | 0.2014 | 0.1711 | 0.04702 | 0.2168 | 1.659 | 1.408 | 0.6603 | 2.074 | 1 | 1 | 0.06747 | 0.2115 | 0 | 0.6948 | 2.178 | 0 | json |
| t17_x13_u3_b76 | 17 | 13 | 3 | 76 | ![]() |
lrg(D,dst(D,flr(D))) | 108947 | 138576109 | o2(x,o2(x,o1(x))) | true | 31583 | 31583 | 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_x13_u3_b77 | 17 | 13 | 3 | 77 | ![]() |
eql(D,add(D,flr(D))) | 108948 | 138576110 | o2(x,o2(x,o1(x))) | true | 31591 | 31591 | 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_x13_u3_b78 | 17 | 13 | 3 | 78 | ![]() |
eql(D,sub(D,flr(D))) | 108949 | 138576111 | o2(x,o2(x,o1(x))) | true | 31599 | 31599 | 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_x13_u3_b79 | 17 | 13 | 3 | 79 | ![]() |
eql(D,mlt(D,flr(D))) | 108950 | 138576112 | o2(x,o2(x,o1(x))) | true | 31607 | 31607 | 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_x13_u3_b80 | 17 | 13 | 3 | 80 | ![]() |
eql(D,div(D,flr(D))) | 108951 | 138576113 | o2(x,o2(x,o1(x))) | true | 31615 | 31615 | 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_x13_u3_b81 | 17 | 13 | 3 | 81 | ![]() |
eql(D,pow(D,flr(D))) | 108952 | 138576114 | o2(x,o2(x,o1(x))) | true | 31623 | 31623 | 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_x13_u3_b82 | 17 | 13 | 3 | 82 | ![]() |
eql(D,mod(D,flr(D))) | 108953 | 138576115 | o2(x,o2(x,o1(x))) | true | 31631 | 31631 | 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_x13_u3_b83 | 17 | 13 | 3 | 83 | ![]() |
eql(D,lrg(D,flr(D))) | 108954 | 138576116 | o2(x,o2(x,o1(x))) | true | 31639 | 31639 | 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_x13_u3_b84 | 17 | 13 | 3 | 84 | ![]() |
eql(D,eql(D,flr(D))) | 108955 | 138576117 | o2(x,o2(x,o1(x))) | true | 31647 | 31647 | 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_x13_u3_b85 | 17 | 13 | 3 | 85 | ![]() |
eql(D,min(D,flr(D))) | 108956 | 138576118 | o2(x,o2(x,o1(x))) | true | 31655 | 31655 | 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_x13_u3_b86 | 17 | 13 | 3 | 86 | ![]() |
eql(D,dot(D,flr(D))) | 108957 | 138576119 | o2(x,o2(x,o1(x))) | true | 31663 | 31663 | 0.02449 | 0.05469 | 0.02449 | 0.01838 | 0.1356 | 0 | 0.9994 | 0.9994 | 1 | 0.3492 | 0.03701 | 0.03746 | 0.07001 | -0.006081 | 1 | -0.000009071 | 0.4388 | 0.1944 | 0.06955 | 0.2637 | 3.767 | 1.413 | 4.052 | 23.88 | 1 | 1 | 0.03747 | 0.03773 | 0 | 2.039 | 2.053 | 0 | json |
| t17_x13_u3_b87 | 17 | 13 | 3 | 87 | ![]() |
eql(D,dst(D,flr(D))) | 108958 | 138576120 | o2(x,o2(x,o1(x))) | true | 31671 | 31671 | 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_x13_u3_b88 | 17 | 13 | 3 | 88 | ![]() |
min(D,add(D,flr(D))) | 108959 | 138576121 | o2(x,o2(x,o1(x))) | true | 31679 | 31679 | -0.4823 | 0.3125 | 0.5176 | 0.2029 | 0.4504 | -1 | 0.09672 | 1.097 | 1 | 2.852 | 0.07311 | 0 | 0.1349 | 1 | 1 | -0.00006836 | 0.122 | 0.1445 | 0.05491 | 0.2343 | 1.737 | 1.031 | 0.3604 | 0.6012 | 1 | 1 | 0.08612 | 0.3709 | 0 | 0.4245 | 1.828 | 0 | json |
| t17_x13_u3_b89 | 17 | 13 | 3 | 89 | ![]() |
min(D,sub(D,flr(D))) | 108960 | 138576122 | o2(x,o2(x,o1(x))) | true | 31687 | 31687 | 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_x13_u3_b90 | 17 | 13 | 3 | 90 | ![]() |
min(D,mlt(D,flr(D))) | 108961 | 138576123 | o2(x,o2(x,o1(x))) | true | 31695 | 31695 | -0.143 | 0 | 0.143 | 0.009237 | 0.09611 | -0.2729 | -0.000282 | 0.2726 | 1 | 2.227 | 0.001451 | 0 | 0.03416 | 1 | 1 | 0.0003063 | 0.0002653 | 0.01361 | 0.0002853 | 0.01689 | 0.4945 | 0.06184 | 0.1571 | 0.02873 | 1 | 1 | 0.002788 | 0.01827 | 0 | 0.3018 | 1.978 | 0 | json |
| t17_x13_u3_b91 | 17 | 13 | 3 | 91 | ![]() |
min(D,div(D,flr(D))) | 108962 | 138576124 | o2(x,o2(x,o1(x))) | true | 31703 | 31703 | 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_x13_u3_b92 | 17 | 13 | 3 | 92 | ![]() |
min(D,pow(D,flr(D))) | 108963 | 138576125 | o2(x,o2(x,o1(x))) | true | 31711 | 31711 | 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_x13_u3_b93 | 17 | 13 | 3 | 93 | ![]() |
min(D,mod(D,flr(D))) | 108964 | 138576126 | o2(x,o2(x,o1(x))) | true | 31719 | 31719 | 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_x13_u3_b94 | 17 | 13 | 3 | 94 | ![]() |
min(D,lrg(D,flr(D))) | 108965 | 138576127 | o2(x,o2(x,o1(x))) | true | 31727 | 31727 | 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_x13_u3_b95 | 17 | 13 | 3 | 95 | ![]() |
min(D,eql(D,flr(D))) | 108966 | 138576128 | o2(x,o2(x,o1(x))) | true | 31735 | 31735 | -0.143 | 0 | 0.143 | 0.009237 | 0.09611 | -0.2729 | -0.000282 | 0.2726 | 1 | 2.227 | 0.001451 | 0 | 0.03416 | 1 | 1 | 0.0003063 | 0.0002653 | 0.01361 | 0.0002853 | 0.01689 | 0.4945 | 0.06184 | 0.1571 | 0.02873 | 1 | 1 | 0.002788 | 0.01827 | 0 | 0.3018 | 1.978 | 0 | json |
| t17_x13_u3_b96 | 17 | 13 | 3 | 96 | ![]() |
min(D,min(D,flr(D))) | 108967 | 138576129 | o2(x,o2(x,o1(x))) | true | 31743 | 31743 | -0.5 | 0 | 0.5 | 0.1418 | 0.3765 | -0.9997 | -0.000291 | 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_x13_u3_b97 | 17 | 13 | 3 | 97 | ![]() |
min(D,dot(D,flr(D))) | 108968 | 138576130 | o2(x,o2(x,o1(x))) | true | 31751 | 31751 | -0.09864 | 0.2305 | 0.12 | 0.01141 | 0.1068 | -0.2728 | 0.1306 | 0.4034 | 1 | 2.702 | 0.001631 | 0.0003291 | 0.0401 | 0.6642 | 1 | 0.0001044 | 0.0006114 | 0.01689 | 0.000352 | 0.01876 | 0.4678 | 0.07917 | 0.1719 | 0.0536 | 1 | 1 | 0.003717 | 0.02408 | 0 | 0.3259 | 2.111 | 0 | json |
| t17_x13_u3_b98 | 17 | 13 | 3 | 98 | ![]() |
min(D,dst(D,flr(D))) | 108969 | 138576131 | o2(x,o2(x,o1(x))) | true | 31759 | 31759 | 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_x13_u3_b99 | 17 | 13 | 3 | 99 | ![]() |
dot(D,add(D,flr(D))) | 108970 | 138576132 | o2(x,o2(x,o1(x))) | true | 31767 | 31767 | 0.524 | 1 | 0.524 | 0.06321 | 0.2514 | 0.003063 | 1 | 0.9969 | 1 | 3.909 | 0.00487 | 0.00487 | 0.0948 | -0.000008701 | 1 | -0.001093 | 0.001522 | 0.03185 | 0.0007535 | 0.02745 | 0.2896 | 0.1367 | 0.1541 | 0.02408 | 1 | 1 | 0.01873 | 0.1253 | 0 | 0.2963 | 1.982 | 0 | json |
| t17_x13_u3_b100 | 17 | 13 | 3 | 100 | ![]() |
dot(D,sub(D,flr(D))) | 108971 | 138576133 | o2(x,o2(x,o1(x))) | true | 31775 | 31775 | -0.04795 | 0.3203 | 0.07296 | 0.005855 | 0.07652 | -0.2272 | 0.08127 | 0.3085 | 1 | 2.317 | 0.0005232 | 0.0005232 | 0.02961 | -0.000003782 | 1 | 0.0001315 | 0.0003285 | 0.01485 | 0.0001697 | 0.01303 | 0.4399 | 0.06861 | 0.1787 | 0.05611 | 1 | 1 | 0.001959 | 0.01134 | 0 | 0.3346 | 1.937 | 0 | json |
| t17_x13_u3_b101 | 17 | 13 | 3 | 101 | ![]() |
dot(D,mlt(D,flr(D))) | 108972 | 138576134 | o2(x,o2(x,o1(x))) | true | 31783 | 31783 | -0.119 | 0 | 0.119 | 0.004036 | 0.06353 | -0.2492 | -0.0005463 | 0.2487 | 1 | 1.948 | 0.0003137 | 0.0003137 | 0.02382 | 0.00001062 | 1 | 0.0002405 | 0.00009836 | 0.008104 | 0.00005992 | 0.007741 | 0.3249 | 0.03838 | 0.1554 | 0.02437 | 1 | 1 | 0.001201 | 0.007975 | 0 | 0.2976 | 1.976 | 0 | json |
| t17_x13_u3_b102 | 17 | 13 | 3 | 102 | ![]() |
dot(D,div(D,flr(D))) | 108973 | 138576135 | o2(x,o2(x,o1(x))) | true | 31791 | 31791 | -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_x13_u3_b103 | 17 | 13 | 3 | 103 | ![]() |
dot(D,pow(D,flr(D))) | 108974 | 138576136 | o2(x,o2(x,o1(x))) | true | 31799 | 31799 | -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_x13_u3_b104 | 17 | 13 | 3 | 104 | ![]() |
dot(D,mod(D,flr(D))) | 108975 | 138576137 | o2(x,o2(x,o1(x))) | true | 31807 | 31807 | -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_x13_u3_b105 | 17 | 13 | 3 | 105 | ![]() |
dot(D,lrg(D,flr(D))) | 108976 | 138576138 | o2(x,o2(x,o1(x))) | true | 31815 | 31815 | -3.658e-9 | 0.4688 | 0.1187 | 0.02164 | 0.1471 | -0.2908 | 0.2908 | 0.5817 | 1 | 3.165 | 0.001632 | 0.001632 | 0.05456 | 1.783e-7 | 1 | -9.255e-10 | 0.0005126 | 0.01826 | 0.0002881 | 0.01697 | 0.3111 | 0.08757 | 0.1508 | 0.02368 | 1 | 1 | 0.006301 | 0.04366 | 0 | 0.2911 | 2.017 | 0 | json |
| t17_x13_u3_b106 | 17 | 13 | 3 | 106 | ![]() |
dot(D,eql(D,flr(D))) | 108977 | 138576139 | o2(x,o2(x,o1(x))) | true | 31823 | 31823 | 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_x13_u3_b107 | 17 | 13 | 3 | 107 | ![]() |
dot(D,min(D,flr(D))) | 108978 | 138576140 | o2(x,o2(x,o1(x))) | true | 31831 | 31831 | 0.286 | 1 | 0.286 | 0.01848 | 0.1359 | 0.0005639 | 0.5458 | 0.5452 | 1 | 3.068 | 0.001451 | 0.001451 | 0.05134 | -0.000007299 | 1 | -0.0006125 | 0.0005308 | 0.01887 | 0.0002671 | 0.01634 | 0.3183 | 0.08746 | 0.1571 | 0.02873 | 1 | 1 | 0.005576 | 0.03655 | 0 | 0.3018 | 1.978 | 0 | json |
| t17_x13_u3_b108 | 17 | 13 | 3 | 108 | ![]() |
dot(D,dot(D,flr(D))) | 108979 | 138576141 | o2(x,o2(x,o1(x))) | true | 31839 | 31839 | -0.1191 | 0 | 0.1191 | 0.004698 | 0.06854 | -0.2643 | -0.000291 | 0.264 | 1 | 2.087 | 0.0003858 | 0.0003858 | 0.02625 | -2.64e-7 | 1 | 0.0002405 | 0.0001349 | 0.009788 | 0.00008258 | 0.009087 | 0.3462 | 0.04515 | 0.1642 | 0.02871 | 1 | 1 | 0.00148 | 0.009837 | 0 | 0.3151 | 2.094 | 0 | json |
| t17_x13_u3_b109 | 17 | 13 | 3 | 109 | ![]() |
dot(D,dst(D,flr(D))) | 108980 | 138576142 | o2(x,o2(x,o1(x))) | true | 31847 | 31847 | -0.03333 | 0.4688 | 0.08779 | 0.0131 | 0.1145 | -0.3213 | 0.1156 | 0.4369 | 1 | 2.589 | 0.001352 | 0.001352 | 0.04484 | 8.61e-7 | 1 | 0.00009562 | 0.001777 | 0.02759 | 0.0006936 | 0.02634 | 0.5873 | 0.1311 | 0.2064 | 0.1357 | 1 | 1 | 0.004667 | 0.02852 | 0 | 0.3562 | 2.177 | 0 | json |
| t17_x13_u3_b110 | 17 | 13 | 3 | 110 | ![]() |
dst(D,add(D,flr(D))) | 108981 | 138576143 | o2(x,o2(x,o1(x))) | true | 31855 | 31855 | 0.7721 | 1 | 0.7721 | 0.09526 | 0.3086 | 0.000582 | 1 | 0.9994 | 1 | 2.801 | 0.0257 | 0.0257 | 0.1088 | 8.698e-7 | 1 | -0.00009022 | 0.1027 | 0.1322 | 0.03956 | 0.1989 | 1.829 | 0.9992 | 0.5395 | 1.078 | 1 | 1 | 0.05654 | 0.202 | 0 | 0.5936 | 2.12 | 0 | json |
| t17_x13_u3_b111 | 17 | 13 | 3 | 111 | ![]() |
dst(D,sub(D,flr(D))) | 108982 | 138576144 | o2(x,o2(x,o1(x))) | true | 31863 | 31863 | 0.7721 | 1 | 0.7721 | 0.09526 | 0.3086 | 0.000582 | 1 | 0.9994 | 1 | 2.801 | 0.0257 | 0.0257 | 0.1088 | 8.698e-7 | 1 | -0.00009022 | 0.1027 | 0.1322 | 0.03956 | 0.1989 | 1.829 | 0.9992 | 0.5395 | 1.078 | 1 | 1 | 0.05654 | 0.202 | 0 | 0.5936 | 2.12 | 0 | json |
| t17_x13_u3_b112 | 17 | 13 | 3 | 112 | ![]() |
dst(D,mlt(D,flr(D))) | 108983 | 138576145 | o2(x,o2(x,o1(x))) | true | 31871 | 31871 | 0.6721 | 1 | 0.6721 | 0.05862 | 0.2421 | 0.0453 | 1 | 0.9547 | 1 | 3.635 | 0.004739 | 0.004739 | 0.08926 | -0.000001671 | 1 | -0.001084 | 0.001847 | 0.03065 | 0.001511 | 0.03887 | 0.4355 | 0.1438 | 0.1617 | 0.03151 | 1 | 1 | 0.01814 | 0.1197 | 0 | 0.3095 | 2.041 | 0 | json |
| t17_x13_u3_b113 | 17 | 13 | 3 | 113 | ![]() |
dst(D,div(D,flr(D))) | 108984 | 138576146 | o2(x,o2(x,o1(x))) | true | 31879 | 31879 | -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_x13_u3_b114 | 17 | 13 | 3 | 114 | ![]() |
dst(D,pow(D,flr(D))) | 108985 | 138576147 | o2(x,o2(x,o1(x))) | true | 31887 | 31887 | -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_x13_u3_b115 | 17 | 13 | 3 | 115 | ![]() |
dst(D,mod(D,flr(D))) | 108986 | 138576148 | o2(x,o2(x,o1(x))) | true | 31895 | 31895 | -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_x13_u3_b116 | 17 | 13 | 3 | 116 | ![]() |
dst(D,lrg(D,flr(D))) | 108987 | 138576149 | o2(x,o2(x,o1(x))) | true | 31903 | 31903 | 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_x13_u3_b117 | 17 | 13 | 3 | 117 | ![]() |
dst(D,eql(D,flr(D))) | 108988 | 138576150 | o2(x,o2(x,o1(x))) | true | 31911 | 31911 | 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_x13_u3_b118 | 17 | 13 | 3 | 118 | ![]() |
dst(D,min(D,flr(D))) | 108989 | 138576151 | o2(x,o2(x,o1(x))) | true | 31919 | 31919 | 0.7381 | 1 | 0.7381 | 0.06233 | 0.2497 | 0.04419 | 1 | 0.9558 | 1 | 3.416 | 0.0205 | 0.0205 | 0.106 | 0.000001863 | 1 | 0.00005702 | 0.089 | 0.1284 | 0.02975 | 0.1725 | 1.627 | 0.9251 | 0.6578 | 1.428 | 1 | 1 | 0.04131 | 0.1096 | 0 | 0.6628 | 1.758 | 0 | json |
| t17_x13_u3_b119 | 17 | 13 | 3 | 119 | ![]() |
dst(D,dot(D,flr(D))) | 108990 | 138576152 | o2(x,o2(x,o1(x))) | true | 31927 | 31927 | 0.7565 | 1 | 0.7565 | 0.06805 | 0.2609 | 0.04554 | 1 | 0.9545 | 1 | 3.231 | 0.006315 | 0.006315 | 0.09202 | -7.743e-7 | 1 | -0.001283 | 0.004087 | 0.03985 | 0.004162 | 0.06451 | 0.7011 | 0.2046 | 0.1856 | 0.06006 | 1 | 1 | 0.02386 | 0.1479 | 0 | 0.3506 | 2.173 | 0 | json |
| t17_x13_u3_b120 | 17 | 13 | 3 | 120 | ![]() |
dst(D,dst(D,flr(D))) | 108991 | 138576153 | o2(x,o2(x,o1(x))) | true | 31935 | 31935 | 0.9097 | 1 | 0.9097 | 0.04228 | 0.2056 | 0.0484 | 1 | 0.9516 | 1 | 1.497 | 0.01357 | 0.01357 | 0.0621 | -3.089e-7 | 1 | -0.0001658 | 0.05712 | 0.08003 | 0.02329 | 0.1526 | 2.457 | 0.9516 | 0.6418 | 1.351 | 1 | 1 | 0.0304 | 0.09987 | 0 | 0.719 | 2.362 | 0 | json |
| t17_x13_u4_b0 | 17 | 13 | 4 | 0 | ![]() |
add(D,add(D,cil(D))) | 108992 | 138576234 | o2(x,o2(x,o1(x))) | true | 31943 | 31943 | 0.4485 | 0.625 | 0.5515 | 0.2607 | 0.5105 | -0.2232 | 1 | 1.223 | 1 | 2.656 | 0.08253 | 0 | 0.1507 | 1 | 1 | 0.0002265 | 0.1247 | 0.1552 | 0.05982 | 0.2446 | 1.623 | 1.062 | 0.3166 | 0.4786 | 1 | 1 | 0.1041 | 0.4913 | 0 | 0.3994 | 1.885 | 0 | json |
| t17_x13_u4_b1 | 17 | 13 | 4 | 1 | ![]() |
add(D,sub(D,cil(D))) | 108993 | 138576235 | o2(x,o2(x,o1(x))) | true | 31951 | 31951 | -0.5 | 0 | 0.5 | 0.04588 | 0.2142 | -0.9378 | -0.06221 | 0.8756 | 1 | 3.406 | 0.05014 | 0 | 0.1064 | 1 | 1 | 0 | 0.1178 | 0.1322 | 0.03884 | 0.1971 | 1.853 | 0.8756 | 1.093 | 2.568 | 1 | 1 | 0.04198 | 0.05179 | 0 | 0.9151 | 1.129 | 0 | json |
| t17_x13_u4_b2 | 17 | 13 | 4 | 2 | ![]() |
add(D,mlt(D,cil(D))) | 108994 | 138576236 | o2(x,o2(x,o1(x))) | true | 31959 | 31959 | 0.143 | 0.6875 | 0.1858 | 0.03088 | 0.1757 | -0.1014 | 0.3844 | 0.4858 | 1 | 3.078 | 0.004692 | 0 | 0.06027 | 1 | 1 | -0.0003062 | 0.0007778 | 0.02594 | 0.00106 | 0.03256 | 0.5403 | 0.1175 | 0.1519 | 0.02518 | 1 | 1 | 0.008974 | 0.06194 | 0 | 0.2906 | 2.006 | 0 | json |
| t17_x13_u4_b3 | 17 | 13 | 4 | 3 | ![]() |
add(D,div(D,cil(D))) | 108995 | 138576237 | o2(x,o2(x,o1(x))) | true | 31967 | 31967 | 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_x13_u4_b4 | 17 | 13 | 4 | 4 | ![]() |
add(D,pow(D,cil(D))) | 108996 | 138576238 | o2(x,o2(x,o1(x))) | true | 31975 | 31975 | 0.6431 | 1 | 0.6431 | 0.06826 | 0.2613 | 0.06249 | 0.969 | 0.9065 | 1 | 3.406 | 0.05368 | 0 | 0.1103 | 1 | 1 | -0.0003062 | 0.1185 | 0.1283 | 0.0415 | 0.2037 | 1.846 | 0.9065 | 0.7864 | 1.737 | 1 | 1 | 0.04886 | 0.09575 | 0 | 0.7158 | 1.403 | 0 | json |
| t17_x13_u4_b5 | 17 | 13 | 4 | 5 | ![]() |
add(D,mod(D,cil(D))) | 108997 | 138576239 | o2(x,o2(x,o1(x))) | true | 31983 | 31983 | -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_x13_u4_b6 | 17 | 13 | 4 | 6 | ![]() |
add(D,lrg(D,cil(D))) | 108998 | 138576240 | o2(x,o2(x,o1(x))) | true | 31991 | 31991 | 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_x13_u4_b7 | 17 | 13 | 4 | 7 | ![]() |
add(D,eql(D,cil(D))) | 108999 | 138576241 | o2(x,o2(x,o1(x))) | true | 31999 | 31999 | 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 |



































































































