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_u4_b8 | 17 | 13 | 4 | 8 | ![]() |
add(D,min(D,cil(D))) | 109000 | 138576242 | o2(x,o2(x,o1(x))) | true | 32007 | 32007 | 0 | 0.5 | 0.1887 | 0.04329 | 0.2081 | -0.2908 | 0.2908 | 0.5817 | 1 | 2.906 | 0.00653 | 0 | 0.07219 | 1 | 1 | 0 | 0.001025 | 0.02918 | 0.001321 | 0.03635 | 0.5036 | 0.1238 | 0.1508 | 0.02368 | 1 | 1 | 0.0126 | 0.08733 | 0 | 0.2912 | 2.017 | 0 | json |
| t17_x13_u4_b9 | 17 | 13 | 4 | 9 | ![]() |
add(D,dot(D,cil(D))) | 109001 | 138576243 | o2(x,o2(x,o1(x))) | true | 32015 | 32015 | 0.286 | 0.9063 | 0.2951 | 0.04012 | 0.2003 | -0.1011 | 0.6573 | 0.7584 | 1 | 3.623 | 0.004692 | 0.001439 | 0.07324 | 0.5305 | 1 | -0.0006125 | 0.001043 | 0.02775 | 0.0007677 | 0.02771 | 0.3783 | 0.1328 | 0.1528 | 0.02601 | 1 | 1 | 0.01171 | 0.08021 | 0 | 0.2917 | 1.999 | 0 | json |
| t17_x13_u4_b10 | 17 | 13 | 4 | 10 | ![]() |
add(D,dst(D,cil(D))) | 109002 | 138576244 | o2(x,o2(x,o1(x))) | true | 32023 | 32023 | 0.7164 | 1 | 0.7164 | 0.08774 | 0.2962 | 0.0122 | 1 | 0.9878 | 1 | 3.348 | 0.02468 | 0.01989 | 0.1067 | 0.1075 | 1 | 0.0001242 | 0.08893 | 0.1317 | 0.03319 | 0.1822 | 1.707 | 1.353 | 0.508 | 1.014 | 1 | 1 | 0.04901 | 0.1685 | 0 | 0.5586 | 1.921 | 0 | json |
| t17_x13_u4_b11 | 17 | 13 | 4 | 11 | ![]() |
sub(D,add(D,cil(D))) | 109003 | 138576245 | o2(x,o2(x,o1(x))) | true | 32031 | 32031 | -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_u4_b12 | 17 | 13 | 4 | 12 | ![]() |
sub(D,sub(D,cil(D))) | 109004 | 138576246 | o2(x,o2(x,o1(x))) | true | 32039 | 32039 | 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_u4_b13 | 17 | 13 | 4 | 13 | ![]() |
sub(D,mlt(D,cil(D))) | 109005 | 138576247 | o2(x,o2(x,o1(x))) | true | 32047 | 32047 | -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_u4_b14 | 17 | 13 | 4 | 14 | ![]() |
sub(D,div(D,cil(D))) | 109006 | 138576248 | o2(x,o2(x,o1(x))) | true | 32055 | 32055 | -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_b15 | 17 | 13 | 4 | 15 | ![]() |
sub(D,pow(D,cil(D))) | 109007 | 138576249 | o2(x,o2(x,o1(x))) | true | 32063 | 32063 | -0.611 | 0 | 0.611 | 0.1587 | 0.3984 | -1 | -0.000573 | 0.9994 | 1 | 2.475 | 0.06724 | 0 | 0.1227 | 1 | 1 | 0.0001639 | 0.1212 | 0.1382 | 0.05217 | 0.2284 | 1.861 | 0.9994 | 0.4236 | 0.7638 | 1 | 1 | 0.07478 | 0.2816 | 0 | 0.4711 | 1.774 | 0 | json |
| t17_x13_u4_b16 | 17 | 13 | 4 | 16 | ![]() |
sub(D,mod(D,cil(D))) | 109008 | 138576250 | o2(x,o2(x,o1(x))) | true | 32071 | 32071 | -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_b17 | 17 | 13 | 4 | 17 | ![]() |
sub(D,lrg(D,cil(D))) | 109009 | 138576251 | o2(x,o2(x,o1(x))) | true | 32079 | 32079 | 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_b18 | 17 | 13 | 4 | 18 | ![]() |
sub(D,eql(D,cil(D))) | 109010 | 138576252 | o2(x,o2(x,o1(x))) | true | 32087 | 32087 | 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_b19 | 17 | 13 | 4 | 19 | ![]() |
sub(D,min(D,cil(D))) | 109011 | 138576253 | o2(x,o2(x,o1(x))) | true | 32095 | 32095 | 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_u4_b20 | 17 | 13 | 4 | 20 | ![]() |
sub(D,dot(D,cil(D))) | 109012 | 138576254 | o2(x,o2(x,o1(x))) | true | 32103 | 32103 | -0.286 | 0 | 0.286 | 0.01848 | 0.1359 | -0.5458 | -0.0005639 | 0.5452 | 1 | 3.068 | 0.001451 | 0.001439 | 0.05122 | 0.004229 | 1 | 0.0006125 | 0.0005308 | 0.01887 | 0.0002668 | 0.01633 | 0.3188 | 0.08746 | 0.1564 | 0.02873 | 1 | 1 | 0.005519 | 0.03655 | 0 | 0.2987 | 1.978 | 0 | json |
| t17_x13_u4_b21 | 17 | 13 | 4 | 21 | ![]() |
sub(D,dst(D,cil(D))) | 109013 | 138576255 | o2(x,o2(x,o1(x))) | true | 32111 | 32111 | -0.7468 | 0 | 0.7468 | 0.04676 | 0.2162 | -1 | -0.07515 | 0.9248 | 1 | 3.29 | 0.01836 | 0.0188 | 0.09989 | -0.01193 | 1 | -0.00003184 | 0.08485 | 0.1346 | 0.02719 | 0.1649 | 1.651 | 1.265 | 0.7948 | 1.815 | 1 | 1 | 0.03555 | 0.07317 | 0 | 0.7602 | 1.565 | 0 | json |
| t17_x13_u4_b22 | 17 | 13 | 4 | 22 | ![]() |
mlt(D,add(D,cil(D))) | 109014 | 138576256 | o2(x,o2(x,o1(x))) | true | 32119 | 32119 | 0.2621 | 1 | 0.2621 | 0.03167 | 0.178 | 0.001531 | 0.5091 | 0.5076 | 1 | 3.031 | 0.004856 | 0 | 0.06361 | 1 | 1 | -0.0005468 | 0.0007526 | 0.02383 | 0.0008116 | 0.02849 | 0.4479 | 0.09664 | 0.1533 | 0.02376 | 1 | 1 | 0.009294 | 0.06277 | 0 | 0.2935 | 1.982 | 0 | json |
| t17_x13_u4_b23 | 17 | 13 | 4 | 23 | ![]() |
mlt(D,sub(D,cil(D))) | 109015 | 138576257 | o2(x,o2(x,o1(x))) | true | 32127 | 32127 | -0.02397 | 0.5 | 0.04718 | 0.002928 | 0.05411 | -0.1136 | 0.04063 | 0.1542 | 1 | 1.477 | 0.0005206 | 0 | 0.01913 | 1 | 1 | 0.00006578 | 0.0001643 | 0.01056 | 0.0001546 | 0.01243 | 0.6499 | 0.04851 | 0.1778 | 0.0561 | 1 | 1 | 0.0009522 | 0.005671 | 0 | 0.3252 | 1.937 | 0 | json |
| t17_x13_u4_b24 | 17 | 13 | 4 | 24 | ![]() |
mlt(D,mlt(D,cil(D))) | 109016 | 138576258 | o2(x,o2(x,o1(x))) | true | 32135 | 32135 | 0.05952 | 1 | 0.05952 | 0.002018 | 0.04492 | 0.0002731 | 0.1246 | 0.1243 | 1 | 1 | 0.0003138 | 0 | 0.01567 | 1 | 1 | -0.0001202 | 0.00004916 | 0.006342 | 0.00006809 | 0.008252 | 0.5265 | 0.02714 | 0.1555 | 0.02436 | 1 | 1 | 0.0006003 | 0.003988 | 0 | 0.2975 | 1.976 | 0 | json |
| t17_x13_u4_b25 | 17 | 13 | 4 | 25 | ![]() |
mlt(D,div(D,cil(D))) | 109017 | 138576259 | o2(x,o2(x,o1(x))) | true | 32143 | 32143 | -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_b26 | 17 | 13 | 4 | 26 | ![]() |
mlt(D,pow(D,cil(D))) | 109018 | 138576260 | o2(x,o2(x,o1(x))) | true | 32151 | 32151 | -0.0835 | 0.125 | 0.08387 | 0.004001 | 0.06325 | -0.1702 | 0.00227 | 0.1725 | 1 | 1.883 | 0.0006673 | 0 | 0.02153 | 1 | 1 | 0.000186 | 0.0001672 | 0.01038 | 0.0002036 | 0.01427 | 0.6625 | 0.05626 | 0.1668 | 0.04178 | 1 | 1 | 0.001271 | 0.007836 | 0 | 0.3177 | 1.959 | 0 | json |
| t17_x13_u4_b27 | 17 | 13 | 4 | 27 | ![]() |
mlt(D,mod(D,cil(D))) | 109019 | 138576261 | o2(x,o2(x,o1(x))) | true | 32159 | 32159 | -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_b28 | 17 | 13 | 4 | 28 | ![]() |
mlt(D,lrg(D,cil(D))) | 109020 | 138576262 | o2(x,o2(x,o1(x))) | true | 32167 | 32167 | 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_u4_b29 | 17 | 13 | 4 | 29 | ![]() |
mlt(D,eql(D,cil(D))) | 109021 | 138576263 | o2(x,o2(x,o1(x))) | true | 32175 | 32175 | 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_u4_b30 | 17 | 13 | 4 | 30 | ![]() |
mlt(D,min(D,cil(D))) | 109022 | 138576264 | o2(x,o2(x,o1(x))) | true | 32183 | 32183 | 0.1191 | 1 | 0.1191 | 0.008061 | 0.08978 | 0.001249 | 0.2473 | 0.2461 | 1 | 1.811 | 0.001249 | 0 | 0.03102 | 1 | 1 | -0.0002405 | 0.0001931 | 0.01268 | 0.000287 | 0.01694 | 0.5461 | 0.05089 | 0.155 | 0.02396 | 1 | 1 | 0.002392 | 0.01594 | 0 | 0.2968 | 1.978 | 0 | json |
| t17_x13_u4_b31 | 17 | 13 | 4 | 31 | ![]() |
mlt(D,dot(D,cil(D))) | 109023 | 138576265 | o2(x,o2(x,o1(x))) | true | 32191 | 32191 | 0.05952 | 0.8711 | 0.06151 | 0.00232 | 0.04816 | -0.01779 | 0.1321 | 0.1499 | 1 | 1.7 | 0.0003596 | 0.00001573 | 0.01751 | 0.9162 | 1 | -0.0001202 | 0.00006463 | 0.007078 | 0.00006888 | 0.008299 | 0.4741 | 0.03178 | 0.1618 | 0.02786 | 1 | 1 | 0.0007173 | 0.004799 | 0 | 0.3093 | 2.069 | 0 | json |
| t17_x13_u4_b32 | 17 | 13 | 4 | 32 | ![]() |
mlt(D,dst(D,cil(D))) | 109024 | 138576266 | o2(x,o2(x,o1(x))) | true | 32199 | 32199 | 0.01667 | 0.5 | 0.07194 | 0.006829 | 0.08264 | -0.1444 | 0.181 | 0.3254 | 1 | 2.347 | 0.001069 | 0.0002808 | 0.03135 | 0.5838 | 1 | -0.0000478 | 0.0008773 | 0.01861 | 0.0003668 | 0.01915 | 0.611 | 0.1129 | 0.1976 | 0.1285 | 1 | 1 | 0.002307 | 0.01426 | 0 | 0.3379 | 2.088 | 0 | json |
| t17_x13_u4_b33 | 17 | 13 | 4 | 33 | ![]() |
div(D,add(D,cil(D))) | 109025 | 138576267 | o2(x,o2(x,o1(x))) | true | 32207 | 32207 | 0.6027 | 1 | 0.6027 | 0.1144 | 0.3382 | 0.03059 | 0.9999 | 0.9693 | 1 | 3.5 | 0.06074 | 0 | 0.1187 | 1 | 1 | -0.0002232 | 0.1196 | 0.1276 | 0.04665 | 0.216 | 1.82 | 0.9693 | 0.5309 | 1.046 | 1 | 1 | 0.06262 | 0.1874 | 0 | 0.5473 | 1.638 | 0 | json |
| t17_x13_u4_b34 | 17 | 13 | 4 | 34 | ![]() |
div(D,sub(D,cil(D))) | 109026 | 138576268 | o2(x,o2(x,o1(x))) | true | 32215 | 32215 | 0.2165 | 0.5 | 0.3444 | 0.1722 | 0.4149 | -0.1977 | 0.9907 | 1.188 | 1 | 3.375 | 0.0724 | 0 | 0.1461 | 1 | 1 | 0.0006699 | 0.1259 | 0.142 | 0.05105 | 0.2259 | 1.547 | 1.023 | 0.4205 | 0.7314 | 1 | 1 | 0.08243 | 0.2962 | 0 | 0.4787 | 1.72 | 0 | json |
| t17_x13_u4_b35 | 17 | 13 | 4 | 35 | ![]() |
div(D,mlt(D,cil(D))) | 109027 | 138576269 | o2(x,o2(x,o1(x))) | true | 32223 | 32223 | -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_b36 | 17 | 13 | 4 | 36 | ![]() |
div(D,div(D,cil(D))) | 109028 | 138576270 | o2(x,o2(x,o1(x))) | true | 32231 | 32231 | 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 | -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_u4_b37 | 17 | 13 | 4 | 37 | ![]() |
div(D,pow(D,cil(D))) | 109029 | 138576271 | o2(x,o2(x,o1(x))) | true | 32239 | 32239 | 0.357 | 0.625 | 0.421 | 0.1858 | 0.4311 | -0.1294 | 0.9994 | 1.129 | 1 | 3.281 | 0.07192 | 0 | 0.1388 | 1 | 1 | 0.0003063 | 0.122 | 0.1421 | 0.05265 | 0.2294 | 1.653 | 1.03 | 0.3871 | 0.6569 | 1 | 1 | 0.08403 | 0.3295 | 0 | 0.4522 | 1.774 | 0 | json |
| t17_x13_u4_b38 | 17 | 13 | 4 | 38 | ![]() |
div(D,mod(D,cil(D))) | 109030 | 138576272 | o2(x,o2(x,o1(x))) | true | 32247 | 32247 | -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_b39 | 17 | 13 | 4 | 39 | ![]() |
div(D,lrg(D,cil(D))) | 109031 | 138576273 | o2(x,o2(x,o1(x))) | true | 32255 | 32255 | -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_b40 | 17 | 13 | 4 | 40 | ![]() |
div(D,eql(D,cil(D))) | 109032 | 138576274 | o2(x,o2(x,o1(x))) | true | 32263 | 32263 | -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_b41 | 17 | 13 | 4 | 41 | ![]() |
div(D,min(D,cil(D))) | 109033 | 138576275 | o2(x,o2(x,o1(x))) | true | 32271 | 32271 | 1 | 1 | 1 | 1.776e-15 | 4.215e-8 | 1 | 1 | 5.96e-8 | 1 | 0 | 2.213e-15 | 0 | 3.713e-8 | 0.002213 | 0 | 8.893e-8 | 2.12e-14 | 8.893e-8 | 8.346e-16 | 2.889e-8 | 0.778 | 5.96e-8 | 0.002213 | 0.0212 | 0 | 1 | 8.882e-16 | 8.788e-16 | 0 | 0.0008882 | 0.0008788 | 0 | json |
| t17_x13_u4_b42 | 17 | 13 | 4 | 42 | ![]() |
div(D,dot(D,cil(D))) | 109034 | 138576276 | o2(x,o2(x,o1(x))) | true | 32279 | 32279 | -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_b43 | 17 | 13 | 4 | 43 | ![]() |
div(D,dst(D,cil(D))) | 109035 | 138576277 | o2(x,o2(x,o1(x))) | true | 32287 | 32287 | -0.05406 | 0.5 | 0.1585 | 0.04139 | 0.2034 | -0.8766 | 0.1975 | 1.074 | 1 | 3.398 | 0.007831 | 0.008634 | 0.07621 | -0.04879 | 1 | -0.00006938 | 0.03017 | 0.06126 | 0.01066 | 0.1032 | 1.355 | 0.9917 | 0.3978 | 0.7289 | 1 | 1 | 0.0211 | 0.08726 | 0 | 0.5099 | 2.109 | 0 | json |
| t17_x13_u4_b44 | 17 | 13 | 4 | 44 | ![]() |
pow(D,add(D,cil(D))) | 109036 | 138576278 | o2(x,o2(x,o1(x))) | true | 32295 | 32295 | -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_b45 | 17 | 13 | 4 | 45 | ![]() |
pow(D,sub(D,cil(D))) | 109037 | 138576279 | o2(x,o2(x,o1(x))) | true | 32303 | 32303 | -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_b46 | 17 | 13 | 4 | 46 | ![]() |
pow(D,mlt(D,cil(D))) | 109038 | 138576280 | o2(x,o2(x,o1(x))) | true | 32311 | 32311 | 0.8756 | 1 | 0.8756 | 0.009466 | 0.09729 | 0.7379 | 1 | 0.2621 | 1 | 2.156 | 0.001835 | 0 | 0.03231 | 1 | 1 | 0.0001987 | 0.0009052 | 0.01758 | 0.0007912 | 0.02813 | 0.8705 | 0.1026 | 0.1939 | 0.09563 | 1 | 1 | 0.003191 | 0.0181 | 0 | 0.3371 | 1.912 | 0 | json |
| t17_x13_u4_b47 | 17 | 13 | 4 | 47 | ![]() |
pow(D,div(D,cil(D))) | 109039 | 138576281 | o2(x,o2(x,o1(x))) | true | 32319 | 32319 | -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_b48 | 17 | 13 | 4 | 48 | ![]() |
pow(D,pow(D,cil(D))) | 109040 | 138576282 | o2(x,o2(x,o1(x))) | true | 32327 | 32327 | -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_b49 | 17 | 13 | 4 | 49 | ![]() |
pow(D,mod(D,cil(D))) | 109041 | 138576283 | o2(x,o2(x,o1(x))) | true | 32335 | 32335 | -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_b50 | 17 | 13 | 4 | 50 | ![]() |
pow(D,lrg(D,cil(D))) | 109042 | 138576284 | o2(x,o2(x,o1(x))) | true | 32343 | 32343 | 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_b51 | 17 | 13 | 4 | 51 | ![]() |
pow(D,eql(D,cil(D))) | 109043 | 138576285 | o2(x,o2(x,o1(x))) | true | 32351 | 32351 | 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_b52 | 17 | 13 | 4 | 52 | ![]() |
pow(D,min(D,cil(D))) | 109044 | 138576286 | o2(x,o2(x,o1(x))) | true | 32359 | 32359 | -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_b53 | 17 | 13 | 4 | 53 | ![]() |
pow(D,dot(D,cil(D))) | 109045 | 138576287 | o2(x,o2(x,o1(x))) | true | 32367 | 32367 | -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_b54 | 17 | 13 | 4 | 54 | ![]() |
pow(D,dst(D,cil(D))) | 109046 | 138576288 | o2(x,o2(x,o1(x))) | true | 32375 | 32375 | -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_b55 | 17 | 13 | 4 | 55 | ![]() |
mod(D,add(D,cil(D))) | 109047 | 138576289 | o2(x,o2(x,o1(x))) | true | 32383 | 32383 | 0.09111 | 0.75 | 0.1333 | 0.01759 | 0.1326 | -0.1454 | 0.2729 | 0.4183 | 1 | 2.906 | 0.01657 | 0 | 0.09508 | 1 | 1 | -0.0006757 | 0.03931 | 0.1462 | 0.007532 | 0.08679 | 0.9128 | 0.289 | 0.9422 | 2.235 | 1 | 1 | 0.01339 | 0.02818 | 0 | 0.7612 | 1.602 | 0 | json |
| t17_x13_u4_b56 | 17 | 13 | 4 | 56 | ![]() |
mod(D,sub(D,cil(D))) | 109048 | 138576290 | o2(x,o2(x,o1(x))) | true | 32391 | 32391 | 0.05525 | 0.6875 | 0.1467 | 0.02802 | 0.1674 | -0.2342 | 0.2729 | 0.5071 | 1 | 2.656 | 0.02809 | 0 | 0.109 | 1 | 1 | -0.0006072 | 0.06344 | 0.1774 | 0.01622 | 0.1273 | 1.169 | 0.4959 | 1.003 | 2.265 | 1 | 1 | 0.02432 | 0.04159 | 0 | 0.868 | 1.484 | 0 | json |
| t17_x13_u4_b57 | 17 | 13 | 4 | 57 | ![]() |
mod(D,mlt(D,cil(D))) | 109049 | 138576291 | o2(x,o2(x,o1(x))) | true | 32399 | 32399 | -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_b58 | 17 | 13 | 4 | 58 | ![]() |
mod(D,div(D,cil(D))) | 109050 | 138576292 | o2(x,o2(x,o1(x))) | true | 32407 | 32407 | -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_b59 | 17 | 13 | 4 | 59 | ![]() |
mod(D,pow(D,cil(D))) | 109051 | 138576293 | o2(x,o2(x,o1(x))) | true | 32415 | 32415 | -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_u4_b60 | 17 | 13 | 4 | 60 | ![]() |
mod(D,mod(D,cil(D))) | 109052 | 138576294 | o2(x,o2(x,o1(x))) | true | 32423 | 32423 | -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_b61 | 17 | 13 | 4 | 61 | ![]() |
mod(D,lrg(D,cil(D))) | 109053 | 138576295 | o2(x,o2(x,o1(x))) | true | 32431 | 32431 | -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_b62 | 17 | 13 | 4 | 62 | ![]() |
mod(D,eql(D,cil(D))) | 109054 | 138576296 | o2(x,o2(x,o1(x))) | true | 32439 | 32439 | -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_b63 | 17 | 13 | 4 | 63 | ![]() |
mod(D,min(D,cil(D))) | 109055 | 138576297 | o2(x,o2(x,o1(x))) | true | 32447 | 32447 | -1.023e-12 | 0.25 | 0.1038 | 0.02409 | 0.1552 | -0.2729 | 0.2729 | 0.5458 | 1 | 2.25 | 0.03941 | 0 | 0.1433 | 1 | 1 | 0 | 0.0954 | 0.2838 | 0.01887 | 0.1374 | 0.9583 | 0.5235 | 1.636 | 3.96 | 1 | 1 | 0.03096 | 0.0304 | 0 | 1.285 | 1.262 | 0 | json |
| t17_x13_u4_b64 | 17 | 13 | 4 | 64 | ![]() |
mod(D,dot(D,cil(D))) | 109056 | 138576298 | o2(x,o2(x,o1(x))) | true | 32455 | 32455 | -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_b65 | 17 | 13 | 4 | 65 | ![]() |
mod(D,dst(D,cil(D))) | 109057 | 138576299 | o2(x,o2(x,o1(x))) | true | 32463 | 32463 | -0.01817 | 0.5 | 0.1125 | 0.01632 | 0.1277 | -0.2666 | 0.1454 | 0.412 | 1 | 2.847 | 0.003865 | 0.0007974 | 0.04987 | 0.6579 | 1 | 0.00005023 | 0.00853 | 0.04123 | 0.002177 | 0.04666 | 0.9355 | 0.3123 | 0.2857 | 0.5228 | 1 | 1 | 0.006334 | 0.03336 | 0 | 0.3882 | 2.045 | 0 | json |
| t17_x13_u4_b66 | 17 | 13 | 4 | 66 | ![]() |
lrg(D,add(D,cil(D))) | 109058 | 138576300 | o2(x,o2(x,o1(x))) | true | 32471 | 32471 | 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_u4_b67 | 17 | 13 | 4 | 67 | ![]() |
lrg(D,sub(D,cil(D))) | 109059 | 138576301 | o2(x,o2(x,o1(x))) | true | 32479 | 32479 | 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_u4_b68 | 17 | 13 | 4 | 68 | ![]() |
lrg(D,mlt(D,cil(D))) | 109060 | 138576302 | o2(x,o2(x,o1(x))) | true | 32487 | 32487 | 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_u4_b69 | 17 | 13 | 4 | 69 | ![]() |
lrg(D,div(D,cil(D))) | 109061 | 138576303 | o2(x,o2(x,o1(x))) | true | 32495 | 32495 | 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_u4_b70 | 17 | 13 | 4 | 70 | ![]() |
lrg(D,pow(D,cil(D))) | 109062 | 138576304 | o2(x,o2(x,o1(x))) | true | 32503 | 32503 | 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_u4_b71 | 17 | 13 | 4 | 71 | ![]() |
lrg(D,mod(D,cil(D))) | 109063 | 138576305 | o2(x,o2(x,o1(x))) | true | 32511 | 32511 | 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_u4_b72 | 17 | 13 | 4 | 72 | ![]() |
lrg(D,lrg(D,cil(D))) | 109064 | 138576306 | o2(x,o2(x,o1(x))) | true | 32519 | 32519 | 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_u4_b73 | 17 | 13 | 4 | 73 | ![]() |
lrg(D,eql(D,cil(D))) | 109065 | 138576307 | o2(x,o2(x,o1(x))) | true | 32527 | 32527 | 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_u4_b74 | 17 | 13 | 4 | 74 | ![]() |
lrg(D,min(D,cil(D))) | 109066 | 138576308 | o2(x,o2(x,o1(x))) | true | 32535 | 32535 | 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_u4_b75 | 17 | 13 | 4 | 75 | ![]() |
lrg(D,dot(D,cil(D))) | 109067 | 138576309 | o2(x,o2(x,o1(x))) | true | 32543 | 32543 | 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_u4_b76 | 17 | 13 | 4 | 76 | ![]() |
lrg(D,dst(D,cil(D))) | 109068 | 138576310 | o2(x,o2(x,o1(x))) | true | 32551 | 32551 | 0.03514 | 0.332 | 0.03514 | 0.007676 | 0.08761 | 0 | 0.4416 | 0.4416 | 1 | 1.028 | 0.006011 | 0.002963 | 0.03459 | 0.3397 | 1 | -0.00007334 | 0.02707 | 0.0562 | 0.007775 | 0.08817 | 2.549 | 0.5502 | 1.169 | 3.526 | 1 | 1 | 0.008329 | 0.01681 | 0 | 1.085 | 2.19 | 0 | json |
| t17_x13_u4_b77 | 17 | 13 | 4 | 77 | ![]() |
eql(D,add(D,cil(D))) | 109069 | 138576311 | o2(x,o2(x,o1(x))) | true | 32559 | 32559 | 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_u4_b78 | 17 | 13 | 4 | 78 | ![]() |
eql(D,sub(D,cil(D))) | 109070 | 138576312 | o2(x,o2(x,o1(x))) | true | 32567 | 32567 | 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_u4_b79 | 17 | 13 | 4 | 79 | ![]() |
eql(D,mlt(D,cil(D))) | 109071 | 138576313 | o2(x,o2(x,o1(x))) | true | 32575 | 32575 | 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_u4_b80 | 17 | 13 | 4 | 80 | ![]() |
eql(D,div(D,cil(D))) | 109072 | 138576314 | o2(x,o2(x,o1(x))) | true | 32583 | 32583 | 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_u4_b81 | 17 | 13 | 4 | 81 | ![]() |
eql(D,pow(D,cil(D))) | 109073 | 138576315 | o2(x,o2(x,o1(x))) | true | 32591 | 32591 | 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_u4_b82 | 17 | 13 | 4 | 82 | ![]() |
eql(D,mod(D,cil(D))) | 109074 | 138576316 | o2(x,o2(x,o1(x))) | true | 32599 | 32599 | 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_u4_b83 | 17 | 13 | 4 | 83 | ![]() |
eql(D,lrg(D,cil(D))) | 109075 | 138576317 | o2(x,o2(x,o1(x))) | true | 32607 | 32607 | 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_u4_b84 | 17 | 13 | 4 | 84 | ![]() |
eql(D,eql(D,cil(D))) | 109076 | 138576318 | o2(x,o2(x,o1(x))) | true | 32615 | 32615 | 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_u4_b85 | 17 | 13 | 4 | 85 | ![]() |
eql(D,min(D,cil(D))) | 109077 | 138576319 | o2(x,o2(x,o1(x))) | true | 32623 | 32623 | 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_b86 | 17 | 13 | 4 | 86 | ![]() |
eql(D,dot(D,cil(D))) | 109078 | 138576320 | o2(x,o2(x,o1(x))) | true | 32631 | 32631 | 0.25 | 0.9453 | 0.25 | 0.091 | 0.3017 | 8.471e-8 | 0.9994 | 0.9994 | 1 | 3.116 | 0.02539 | 0.02539 | 0.109 | 0.000001064 | 1 | -1.094e-8 | 0.1027 | 0.1304 | 0.03891 | 0.1973 | 1.81 | 0.9992 | 0.5581 | 1.128 | 1 | 1 | 0.05526 | 0.189 | 0 | 0.6073 | 2.077 | 0 | json |
| t17_x13_u4_b87 | 17 | 13 | 4 | 87 | ![]() |
eql(D,dst(D,cil(D))) | 109079 | 138576321 | o2(x,o2(x,o1(x))) | true | 32639 | 32639 | 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_u4_b88 | 17 | 13 | 4 | 88 | ![]() |
min(D,add(D,cil(D))) | 109080 | 138576322 | o2(x,o2(x,o1(x))) | true | 32647 | 32647 | 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_b89 | 17 | 13 | 4 | 89 | ![]() |
min(D,sub(D,cil(D))) | 109081 | 138576323 | o2(x,o2(x,o1(x))) | true | 32655 | 32655 | -0.5 | 0 | 0.5 | 0.08301 | 0.2881 | -0.9688 | -0.03125 | 0.9375 | 1 | 4 | 0.05599 | 0 | 0.1146 | 1 | 1 | 0 | 0.119 | 0.119 | 0.04284 | 0.207 | 1.806 | 0.9375 | 0.6745 | 1.434 | 1 | 1 | 0.05321 | 0.125 | 0 | 0.641 | 1.506 | 0 | json |
| t17_x13_u4_b90 | 17 | 13 | 4 | 90 | ![]() |
min(D,mlt(D,cil(D))) | 109082 | 138576324 | o2(x,o2(x,o1(x))) | true | 32663 | 32663 | 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_b91 | 17 | 13 | 4 | 91 | ![]() |
min(D,div(D,cil(D))) | 109083 | 138576325 | o2(x,o2(x,o1(x))) | true | 32671 | 32671 | 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_b92 | 17 | 13 | 4 | 92 | ![]() |
min(D,pow(D,cil(D))) | 109084 | 138576326 | o2(x,o2(x,o1(x))) | true | 32679 | 32679 | -7.451e-9 | 0.5 | 0.09436 | 0.01082 | 0.104 | -0.1454 | 0.1454 | 0.2908 | 1 | 2.561 | 0.001632 | 0 | 0.0361 | 1 | 1 | 5.233e-9 | 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_b93 | 17 | 13 | 4 | 93 | ![]() |
min(D,mod(D,cil(D))) | 109085 | 138576327 | o2(x,o2(x,o1(x))) | true | 32687 | 32687 | 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_b94 | 17 | 13 | 4 | 94 | ![]() |
min(D,lrg(D,cil(D))) | 109086 | 138576328 | o2(x,o2(x,o1(x))) | true | 32695 | 32695 | -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_u4_b95 | 17 | 13 | 4 | 95 | ![]() |
min(D,eql(D,cil(D))) | 109087 | 138576329 | o2(x,o2(x,o1(x))) | true | 32703 | 32703 | -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_u4_b96 | 17 | 13 | 4 | 96 | ![]() |
min(D,min(D,cil(D))) | 109088 | 138576330 | o2(x,o2(x,o1(x))) | true | 32711 | 32711 | 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_b97 | 17 | 13 | 4 | 97 | ![]() |
min(D,dot(D,cil(D))) | 109089 | 138576331 | o2(x,o2(x,o1(x))) | true | 32719 | 32719 | 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_b98 | 17 | 13 | 4 | 98 | ![]() |
min(D,dst(D,cil(D))) | 109090 | 138576332 | o2(x,o2(x,o1(x))) | true | 32727 | 32727 | -0.006323 | 0.5 | 0.1007 | 0.01253 | 0.1119 | -0.2027 | 0.1454 | 0.3481 | 1 | 2.643 | 0.001914 | 0.00006572 | 0.03982 | 0.9336 | 1 | 0.00002045 | 0.000489 | 0.01763 | 0.0003947 | 0.01987 | 0.4989 | 0.08902 | 0.158 | 0.03904 | 1 | 1 | 0.003746 | 0.02535 | 0 | 0.299 | 2.024 | 0 | json |
| t17_x13_u4_b99 | 17 | 13 | 4 | 99 | ![]() |
dot(D,add(D,cil(D))) | 109091 | 138576333 | o2(x,o2(x,o1(x))) | true | 32735 | 32735 | 0.524 | 1 | 0.524 | 0.06321 | 0.2514 | 0.003063 | 1 | 0.9969 | 1 | 3.909 | 0.004848 | 0.004848 | 0.09457 | -0.00001311 | 1 | -0.001093 | 0.001522 | 0.03185 | 0.0007544 | 0.02747 | 0.2904 | 0.1367 | 0.1534 | 0.02408 | 1 | 1 | 0.01855 | 0.1253 | 0 | 0.2935 | 1.982 | 0 | json |
| t17_x13_u4_b100 | 17 | 13 | 4 | 100 | ![]() |
dot(D,sub(D,cil(D))) | 109092 | 138576334 | o2(x,o2(x,o1(x))) | true | 32743 | 32743 | -0.04795 | 0.3203 | 0.07296 | 0.005855 | 0.07652 | -0.2272 | 0.08127 | 0.3085 | 1 | 2.317 | 0.0005206 | 0.0005206 | 0.02951 | -0.000009559 | 1 | 0.0001315 | 0.0003285 | 0.01485 | 0.0001701 | 0.01304 | 0.4419 | 0.06861 | 0.1778 | 0.05611 | 1 | 1 | 0.001904 | 0.01134 | 0 | 0.3252 | 1.937 | 0 | json |
| t17_x13_u4_b101 | 17 | 13 | 4 | 101 | ![]() |
dot(D,mlt(D,cil(D))) | 109093 | 138576335 | o2(x,o2(x,o1(x))) | true | 32751 | 32751 | 0.119 | 1 | 0.119 | 0.004036 | 0.06353 | 0.0005463 | 0.2492 | 0.2487 | 1 | 1.948 | 0.0003138 | 0.0003138 | 0.02383 | 0.00001591 | 1 | -0.0002405 | 0.00009836 | 0.008104 | 0.00005991 | 0.00774 | 0.3249 | 0.03838 | 0.1555 | 0.02437 | 1 | 1 | 0.001201 | 0.007975 | 0 | 0.2975 | 1.976 | 0 | json |
| t17_x13_u4_b102 | 17 | 13 | 4 | 102 | ![]() |
dot(D,div(D,cil(D))) | 109094 | 138576336 | o2(x,o2(x,o1(x))) | true | 32759 | 32759 | -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_b103 | 17 | 13 | 4 | 103 | ![]() |
dot(D,pow(D,cil(D))) | 109095 | 138576337 | o2(x,o2(x,o1(x))) | true | 32767 | 32767 | -0.167 | 0.02344 | 0.1671 | 0.008002 | 0.08945 | -0.3404 | 0.00454 | 0.345 | 1 | 2.562 | 0.0006673 | 0.0006673 | 0.03341 | -0.000002792 | 1 | 0.000372 | 0.0003344 | 0.01488 | 0.0002179 | 0.01476 | 0.4418 | 0.07957 | 0.1668 | 0.04179 | 1 | 1 | 0.002542 | 0.01567 | 0 | 0.3176 | 1.959 | 0 | json |
| t17_x13_u4_b104 | 17 | 13 | 4 | 104 | ![]() |
dot(D,mod(D,cil(D))) | 109096 | 138576338 | o2(x,o2(x,o1(x))) | true | 32775 | 32775 | -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_b105 | 17 | 13 | 4 | 105 | ![]() |
dot(D,lrg(D,cil(D))) | 109097 | 138576339 | o2(x,o2(x,o1(x))) | true | 32783 | 32783 | 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_u4_b106 | 17 | 13 | 4 | 106 | ![]() |
dot(D,eql(D,cil(D))) | 109098 | 138576340 | o2(x,o2(x,o1(x))) | true | 32791 | 32791 | 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_u4_b107 | 17 | 13 | 4 | 107 | ![]() |
dot(D,min(D,cil(D))) | 109099 | 138576341 | o2(x,o2(x,o1(x))) | true | 32799 | 32799 | 0.2381 | 1 | 0.2381 | 0.01612 | 0.127 | 0.002499 | 0.4946 | 0.4921 | 1 | 2.912 | 0.001249 | 0.001249 | 0.04752 | 0.000002889 | 1 | -0.000481 | 0.0003863 | 0.01607 | 0.0002408 | 0.01552 | 0.3266 | 0.07197 | 0.155 | 0.02396 | 1 | 1 | 0.004785 | 0.03189 | 0 | 0.2968 | 1.978 | 0 | json |



































































































