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_u5_b87 | 17 | 13 | 5 | 87 | ![]() |
eql(D,dst(D,sgn(D))) | 109200 | 138576522 | o2(x,o2(x,o1(x))) | true | 33607 | 33607 | 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_u5_b88 | 17 | 13 | 5 | 88 | ![]() |
min(D,add(D,sgn(D))) | 109201 | 138576523 | o2(x,o2(x,o1(x))) | true | 33615 | 33615 | -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_u5_b89 | 17 | 13 | 5 | 89 | ![]() |
min(D,sub(D,sgn(D))) | 109202 | 138576524 | o2(x,o2(x,o1(x))) | true | 33623 | 33623 | -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_u5_b90 | 17 | 13 | 5 | 90 | ![]() |
min(D,mlt(D,sgn(D))) | 109203 | 138576525 | o2(x,o2(x,o1(x))) | true | 33631 | 33631 | 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_u5_b91 | 17 | 13 | 5 | 91 | ![]() |
min(D,div(D,sgn(D))) | 109204 | 138576526 | o2(x,o2(x,o1(x))) | true | 33639 | 33639 | 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_u5_b92 | 17 | 13 | 5 | 92 | ![]() |
min(D,pow(D,sgn(D))) | 109205 | 138576527 | o2(x,o2(x,o1(x))) | true | 33647 | 33647 | -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_u5_b93 | 17 | 13 | 5 | 93 | ![]() |
min(D,mod(D,sgn(D))) | 109206 | 138576528 | o2(x,o2(x,o1(x))) | true | 33655 | 33655 | 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_u5_b94 | 17 | 13 | 5 | 94 | ![]() |
min(D,lrg(D,sgn(D))) | 109207 | 138576529 | o2(x,o2(x,o1(x))) | true | 33663 | 33663 | -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_u5_b95 | 17 | 13 | 5 | 95 | ![]() |
min(D,eql(D,sgn(D))) | 109208 | 138576530 | o2(x,o2(x,o1(x))) | true | 33671 | 33671 | -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_u5_b96 | 17 | 13 | 5 | 96 | ![]() |
min(D,min(D,sgn(D))) | 109209 | 138576531 | o2(x,o2(x,o1(x))) | true | 33679 | 33679 | -0.357 | 0.375 | 0.421 | 0.1858 | 0.4311 | -0.9994 | 0.1294 | 1.129 | 1 | 3.281 | 0.07192 | 0 | 0.1388 | 1 | 1 | -0.0003063 | 0.122 | 0.1421 | 0.05264 | 0.2294 | 1.653 | 1.03 | 0.3871 | 0.6569 | 1 | 1 | 0.08364 | 0.3295 | 0 | 0.4501 | 1.774 | 0 | json |
| t17_x13_u5_b97 | 17 | 13 | 5 | 97 | ![]() |
min(D,dot(D,sgn(D))) | 109210 | 138576532 | o2(x,o2(x,o1(x))) | true | 33687 | 33687 | 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_u5_b98 | 17 | 13 | 5 | 98 | ![]() |
min(D,dst(D,sgn(D))) | 109211 | 138576533 | o2(x,o2(x,o1(x))) | true | 33695 | 33695 | -0.001673 | 0.5 | 0.09604 | 0.01126 | 0.1061 | -0.1624 | 0.1454 | 0.3078 | 1 | 2.557 | 0.001703 | 0.000001584 | 0.03704 | 0.9981 | 1 | 0.00001408 | 0.0002734 | 0.0147 | 0.0003328 | 0.01824 | 0.4925 | 0.06205 | 0.1514 | 0.02428 | 1 | 1 | 0.003287 | 0.02274 | 0 | 0.2919 | 2.019 | 0 | json |
| t17_x13_u5_b99 | 17 | 13 | 5 | 99 | ![]() |
dot(D,add(D,sgn(D))) | 109212 | 138576534 | o2(x,o2(x,o1(x))) | true | 33703 | 33703 | 0.74 | 1 | 0.74 | 0.07192 | 0.2682 | 0.06554 | 1 | 0.9345 | 1 | 3.188 | 0.006781 | 0.006781 | 0.09576 | 0.000002094 | 1 | -0.001706 | 0.004569 | 0.04625 | 0.004389 | 0.06625 | 0.6919 | 0.1881 | 0.1886 | 0.06352 | 1 | 1 | 0.02535 | 0.147 | 0 | 0.3524 | 2.044 | 0 | json |
| t17_x13_u5_b100 | 17 | 13 | 5 | 100 | ![]() |
dot(D,sub(D,sgn(D))) | 109213 | 138576535 | o2(x,o2(x,o1(x))) | true | 33711 | 33711 | -0.334 | 0 | 0.334 | 0.01089 | 0.1044 | -0.498 | -0.06055 | 0.4375 | 1 | 2.639 | 0.001053 | 0.001053 | 0.04244 | 0 | 1 | 0.000744 | 0.0008199 | 0.02351 | 0.0003043 | 0.01744 | 0.411 | 0.07734 | 0.1932 | 0.07526 | 1 | 1 | 0.003816 | 0.02022 | 0 | 0.3502 | 1.856 | 0 | json |
| t17_x13_u5_b101 | 17 | 13 | 5 | 101 | ![]() |
dot(D,mlt(D,sgn(D))) | 109214 | 138576536 | o2(x,o2(x,o1(x))) | true | 33719 | 33719 | 6.985e-10 | 0.4688 | 0.00383 | 0.00002219 | 0.00471 | -0.01124 | 0.01124 | 0.02249 | 1 | 0.9972 | 0.000005771 | 0.000005771 | 0.003227 | 0.000002797 | 0 | -2.175e-9 | 0.000007114 | 0.002149 | 0.000001128 | 0.001062 | 0.3291 | 0.005417 | 0.5202 | 0.3207 | 1 | 1 | 0.00001946 | 0.000008342 | 0 | 0.8773 | 0.376 | 0 | json |
| t17_x13_u5_b102 | 17 | 13 | 5 | 102 | ![]() |
dot(D,div(D,sgn(D))) | 109215 | 138576537 | o2(x,o2(x,o1(x))) | true | 33727 | 33727 | -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_u5_b103 | 17 | 13 | 5 | 103 | ![]() |
dot(D,pow(D,sgn(D))) | 109216 | 138576538 | o2(x,o2(x,o1(x))) | true | 33735 | 33735 | -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_u5_b104 | 17 | 13 | 5 | 104 | ![]() |
dot(D,mod(D,sgn(D))) | 109217 | 138576539 | o2(x,o2(x,o1(x))) | true | 33743 | 33743 | -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_u5_b105 | 17 | 13 | 5 | 105 | ![]() |
dot(D,lrg(D,sgn(D))) | 109218 | 138576540 | o2(x,o2(x,o1(x))) | true | 33751 | 33751 | -0.286 | 0 | 0.286 | 0.01848 | 0.1359 | -0.5458 | -0.0005639 | 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_u5_b106 | 17 | 13 | 5 | 106 | ![]() |
dot(D,eql(D,sgn(D))) | 109219 | 138576541 | o2(x,o2(x,o1(x))) | true | 33759 | 33759 | 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_u5_b107 | 17 | 13 | 5 | 107 | ![]() |
dot(D,min(D,sgn(D))) | 109220 | 138576542 | o2(x,o2(x,o1(x))) | true | 33767 | 33767 | 0.4051 | 1 | 0.4051 | 0.03702 | 0.1924 | 0.002516 | 0.7772 | 0.7747 | 1 | 3.538 | 0.002863 | 0.002863 | 0.0728 | 0.00000557 | 1 | -0.000853 | 0.000924 | 0.02495 | 0.0004265 | 0.02065 | 0.2837 | 0.1056 | 0.1547 | 0.02496 | 1 | 1 | 0.01101 | 0.07337 | 0 | 0.2975 | 1.982 | 0 | json |
| t17_x13_u5_b108 | 17 | 13 | 5 | 108 | ![]() |
dot(D,dot(D,sgn(D))) | 109221 | 138576543 | o2(x,o2(x,o1(x))) | true | 33775 | 33775 | -9.606e-10 | 0.4688 | 0.03803 | 0.0022 | 0.0469 | -0.08987 | 0.08987 | 0.1797 | 1 | 1.782 | 0.0002193 | 0.0002193 | 0.01917 | -8.627e-7 | 1 | 3.167e-9 | 0.0001085 | 0.009312 | 0.00007117 | 0.008436 | 0.4401 | 0.03359 | 0.1994 | 0.04932 | 1 | 1 | 0.0008379 | 0.005545 | 0 | 0.3809 | 2.521 | 0 | json |
| t17_x13_u5_b109 | 17 | 13 | 5 | 109 | ![]() |
dot(D,dst(D,sgn(D))) | 109222 | 138576544 | o2(x,o2(x,o1(x))) | true | 33783 | 33783 | -7.492e-11 | 0.4688 | 0.1428 | 0.03131 | 0.1769 | -0.3505 | 0.3505 | 0.7009 | 1 | 3.454 | 0.002368 | 0.002368 | 0.06542 | 0.000003245 | 1 | 2.853e-9 | 0.0007516 | 0.02191 | 0.0004554 | 0.02134 | 0.3262 | 0.1203 | 0.1512 | 0.024 | 1 | 1 | 0.009143 | 0.06336 | 0 | 0.292 | 2.024 | 0 | json |
| t17_x13_u5_b110 | 17 | 13 | 5 | 110 | ![]() |
dst(D,add(D,sgn(D))) | 109223 | 138576545 | o2(x,o2(x,o1(x))) | true | 33791 | 33791 | 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_u5_b111 | 17 | 13 | 5 | 111 | ![]() |
dst(D,sub(D,sgn(D))) | 109224 | 138576546 | o2(x,o2(x,o1(x))) | true | 33799 | 33799 | 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_u5_b112 | 17 | 13 | 5 | 112 | ![]() |
dst(D,mlt(D,sgn(D))) | 109225 | 138576547 | o2(x,o2(x,o1(x))) | true | 33807 | 33807 | 0.508 | 1 | 0.508 | 0.04717 | 0.2172 | 0.001128 | 0.8782 | 0.8771 | 1 | 3.713 | 0.003745 | 0.003745 | 0.08183 | 0.000001647 | 1 | -0.0009553 | 0.001365 | 0.02795 | 0.0007938 | 0.02817 | 0.3443 | 0.1371 | 0.1588 | 0.02895 | 1 | 1 | 0.0144 | 0.09503 | 0 | 0.3052 | 2.015 | 0 | json |
| t17_x13_u5_b113 | 17 | 13 | 5 | 113 | ![]() |
dst(D,div(D,sgn(D))) | 109226 | 138576548 | o2(x,o2(x,o1(x))) | true | 33815 | 33815 | -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_u5_b114 | 17 | 13 | 5 | 114 | ![]() |
dst(D,pow(D,sgn(D))) | 109227 | 138576549 | o2(x,o2(x,o1(x))) | true | 33823 | 33823 | -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_u5_b115 | 17 | 13 | 5 | 115 | ![]() |
dst(D,mod(D,sgn(D))) | 109228 | 138576550 | o2(x,o2(x,o1(x))) | true | 33831 | 33831 | -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_u5_b116 | 17 | 13 | 5 | 116 | ![]() |
dst(D,lrg(D,sgn(D))) | 109229 | 138576551 | o2(x,o2(x,o1(x))) | true | 33839 | 33839 | 0.9238 | 1 | 0.9238 | 0.03853 | 0.1963 | 0.04531 | 1 | 0.9547 | 1 | 1.243 | 0.01369 | 0.01369 | 0.05892 | 4.422e-7 | 1 | -0.0002465 | 0.05886 | 0.07764 | 0.0239 | 0.1546 | 2.624 | 0.9547 | 0.7105 | 1.528 | 1 | 1 | 0.03019 | 0.08736 | 0 | 0.7836 | 2.267 | 0 | json |
| t17_x13_u5_b117 | 17 | 13 | 5 | 117 | ![]() |
dst(D,eql(D,sgn(D))) | 109230 | 138576552 | o2(x,o2(x,o1(x))) | true | 33847 | 33847 | 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_u5_b118 | 17 | 13 | 5 | 118 | ![]() |
dst(D,min(D,sgn(D))) | 109231 | 138576553 | o2(x,o2(x,o1(x))) | true | 33855 | 33855 | 0.595 | 0.9961 | 0.595 | 0.1167 | 0.3416 | 0.00001819 | 1 | 1 | 1 | 3.693 | 0.03338 | 0.03338 | 0.1421 | -0.000004966 | 1 | 0.0003563 | 0.137 | 0.1677 | 0.04657 | 0.2158 | 1.518 | 0.9685 | 0.572 | 1.173 | 1 | 1 | 0.06961 | 0.2136 | 0 | 0.5963 | 1.83 | 0 | json |
| t17_x13_u5_b119 | 17 | 13 | 5 | 119 | ![]() |
dst(D,dot(D,sgn(D))) | 109232 | 138576554 | o2(x,o2(x,o1(x))) | true | 33863 | 33863 | 0.8549 | 1 | 0.8549 | 0.0548 | 0.2341 | 0.07791 | 1 | 0.9221 | 1 | 2.172 | 0.00656 | 0.00656 | 0.07588 | 0 | 1 | -0.001435 | 0.006929 | 0.04955 | 0.007363 | 0.08581 | 1.131 | 0.2286 | 0.2394 | 0.1264 | 1 | 1 | 0.02405 | 0.1254 | 0 | 0.4389 | 2.289 | 0 | json |
| t17_x13_u5_b120 | 17 | 13 | 5 | 120 | ![]() |
dst(D,dst(D,sgn(D))) | 109233 | 138576555 | o2(x,o2(x,o1(x))) | true | 33871 | 33871 | 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_u6_b0 | 17 | 13 | 6 | 0 | ![]() |
add(D,add(D,nrm(D))) | 109234 | 138576636 | o2(x,o2(x,o1(x))) | true | 33879 | 33879 | 4.428e-9 | 0.5 | 0.5467 | 0.3761 | 0.6133 | -1 | 1 | 2 | 1 | 4.676 | 0.06744 | 0.005707 | 0.2138 | 0.844 | 1 | 2.246e-9 | 0.0524 | 0.09996 | 0.02745 | 0.1657 | 0.775 | 1.586 | 0.1945 | 0.1393 | 1 | 1 | 0.1278 | 0.7788 | 0 | 0.3399 | 2.071 | 0 | json |
| t17_x13_u6_b1 | 17 | 13 | 6 | 1 | ![]() |
add(D,sub(D,nrm(D))) | 109235 | 138576637 | o2(x,o2(x,o1(x))) | true | 33887 | 33887 | 6.967e-10 | 0.5 | 0.1776 | 0.06619 | 0.2573 | -0.7613 | 0.7613 | 1.523 | 1 | 3.752 | 0.01974 | 0.006951 | 0.09927 | 0.4792 | 1 | -2.641e-9 | 0.03919 | 0.05051 | 0.01684 | 0.1298 | 1.307 | 1.347 | 0.4032 | 0.5921 | 1 | 1 | 0.0401 | 0.1633 | 0 | 0.6057 | 2.467 | 0 | json |
| t17_x13_u6_b2 | 17 | 13 | 6 | 2 | ![]() |
add(D,mlt(D,nrm(D))) | 109236 | 138576638 | o2(x,o2(x,o1(x))) | true | 33895 | 33895 | 0.222 | 0.8281 | 0.2339 | 0.03494 | 0.1869 | -0.06363 | 0.5446 | 0.6082 | 1 | 3.291 | 0.005109 | 0.0002999 | 0.06744 | 0.8891 | 1 | -0.0003428 | 0.0009151 | 0.02589 | 0.0008609 | 0.02934 | 0.4351 | 0.1286 | 0.1548 | 0.02619 | 1 | 1 | 0.01034 | 0.0699 | 0 | 0.296 | 2 | 0 | json |
| t17_x13_u6_b3 | 17 | 13 | 6 | 3 | ![]() |
add(D,div(D,nrm(D))) | 109237 | 138576639 | o2(x,o2(x,o1(x))) | true | 33903 | 33903 | 0.4439 | 1 | 0.4439 | 0.03586 | 0.1894 | 0.01377 | 0.7717 | 0.7579 | 1 | 3.541 | 0.0036 | 0.001981 | 0.07045 | 0.29 | 1 | -0.0006856 | 0.0009301 | 0.02391 | 0.0006193 | 0.02489 | 0.3533 | 0.1304 | 0.1557 | 0.02594 | 1 | 1 | 0.01071 | 0.07252 | 0 | 0.2987 | 2.022 | 0 | json |
| t17_x13_u6_b4 | 17 | 13 | 6 | 4 | ![]() |
add(D,pow(D,nrm(D))) | 109238 | 138576640 | o2(x,o2(x,o1(x))) | true | 33911 | 33911 | -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_u6_b5 | 17 | 13 | 6 | 5 | ![]() |
add(D,mod(D,nrm(D))) | 109239 | 138576641 | o2(x,o2(x,o1(x))) | true | 33919 | 33919 | -2.274e-13 | 0.5 | 0.1903 | 0.04411 | 0.21 | -0.3035 | 0.3035 | 0.607 | 1 | 2.906 | 0.006667 | 0.00001256 | 0.0733 | 0.9962 | 1 | 3.679e-10 | 0.001168 | 0.02923 | 0.001308 | 0.03617 | 0.4934 | 0.1244 | 0.1514 | 0.02648 | 1 | 1 | 0.01286 | 0.089 | 0 | 0.2916 | 2.018 | 0 | json |
| t17_x13_u6_b6 | 17 | 13 | 6 | 6 | ![]() |
add(D,lrg(D,nrm(D))) | 109240 | 138576642 | o2(x,o2(x,o1(x))) | true | 33927 | 33927 | 0.5 | 1 | 0.5 | 0.08417 | 0.2901 | 0.03096 | 0.969 | 0.9381 | 1 | 4 | 0.05605 | 0.00002501 | 0.1148 | 0.9991 | 1 | -8.067e-10 | 0.119 | 0.1263 | 0.04288 | 0.2071 | 1.803 | 0.9381 | 0.6662 | 1.414 | 1 | 1 | 0.05347 | 0.1273 | 0 | 0.6352 | 1.513 | 0 | json |
| t17_x13_u6_b7 | 17 | 13 | 6 | 7 | ![]() |
add(D,eql(D,nrm(D))) | 109241 | 138576643 | o2(x,o2(x,o1(x))) | true | 33935 | 33935 | 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_u6_b8 | 17 | 13 | 6 | 8 | ![]() |
add(D,min(D,nrm(D))) | 109242 | 138576644 | o2(x,o2(x,o1(x))) | true | 33943 | 33943 | -0.1781 | 0.4375 | 0.3358 | 0.1411 | 0.3757 | -1 | 0.2862 | 1.286 | 1 | 4.134 | 0.02363 | 0.003507 | 0.1309 | 0.7416 | 1 | -0.0001468 | 0.01616 | 0.06697 | 0.01001 | 0.1 | 0.7645 | 0.8905 | 0.1923 | 0.1145 | 1 | 1 | 0.04874 | 0.2882 | 0 | 0.3453 | 2.042 | 0 | json |
| t17_x13_u6_b9 | 17 | 13 | 6 | 9 | ![]() |
add(D,dot(D,nrm(D))) | 109243 | 138576645 | o2(x,o2(x,o1(x))) | true | 33951 | 33951 | 0.4439 | 1 | 0.4439 | 0.03586 | 0.1894 | 0.01377 | 0.7717 | 0.7579 | 1 | 3.541 | 0.0036 | 0.001981 | 0.07045 | 0.29 | 1 | -0.0006855 | 0.0009301 | 0.02391 | 0.0006193 | 0.02489 | 0.3533 | 0.1304 | 0.1557 | 0.02594 | 1 | 1 | 0.01071 | 0.07252 | 0 | 0.2987 | 2.022 | 0 | json |
| t17_x13_u6_b10 | 17 | 13 | 6 | 10 | ![]() |
add(D,dst(D,nrm(D))) | 109244 | 138576646 | o2(x,o2(x,o1(x))) | true | 33959 | 33959 | 0.5564 | 1 | 0.5564 | 0.03586 | 0.1894 | 0.2283 | 0.9862 | 0.7579 | 1 | 3.545 | 0.003628 | 0.001982 | 0.07079 | 0.2934 | 1 | 0.0006823 | 0.0009316 | 0.02392 | 0.0005986 | 0.02447 | 0.3456 | 0.1221 | 0.1564 | 0.02598 | 1 | 1 | 0.01081 | 0.07252 | 0 | 0.3014 | 2.022 | 0 | json |
| t17_x13_u6_b11 | 17 | 13 | 6 | 11 | ![]() |
sub(D,add(D,nrm(D))) | 109245 | 138576647 | o2(x,o2(x,o1(x))) | true | 33967 | 33967 | 1.862e-9 | 0.5 | 0.3663 | 0.1867 | 0.4321 | -0.9346 | 0.9346 | 1.869 | 1 | 4.562 | 0.03788 | 0.006951 | 0.1584 | 0.6899 | 1 | -1.76e-10 | 0.04219 | 0.07112 | 0.01975 | 0.1405 | 0.8875 | 1.466 | 0.2401 | 0.226 | 1 | 1 | 0.07517 | 0.4029 | 0 | 0.4025 | 2.158 | 0 | json |
| t17_x13_u6_b12 | 17 | 13 | 6 | 12 | ![]() |
sub(D,sub(D,nrm(D))) | 109246 | 138576648 | o2(x,o2(x,o1(x))) | true | 33975 | 33975 | -3.03e-9 | 0.5 | 0.3663 | 0.1867 | 0.4321 | -0.9346 | 0.9346 | 1.869 | 1 | 4.562 | 0.03788 | 0.006951 | 0.1584 | 0.6899 | 1 | -8.386e-10 | 0.04219 | 0.07112 | 0.01975 | 0.1405 | 0.8875 | 1.466 | 0.2401 | 0.226 | 1 | 1 | 0.07517 | 0.4029 | 0 | 0.4025 | 2.158 | 0 | json |
| t17_x13_u6_b13 | 17 | 13 | 6 | 13 | ![]() |
sub(D,mlt(D,nrm(D))) | 109247 | 138576649 | o2(x,o2(x,o1(x))) | true | 33983 | 33983 | -0.222 | 0.1719 | 0.2339 | 0.03494 | 0.1869 | -0.5446 | 0.06363 | 0.6082 | 1 | 3.291 | 0.005149 | 0.0002999 | 0.06748 | 0.8899 | 1 | 0.0003428 | 0.0009151 | 0.02589 | 0.0008959 | 0.02993 | 0.4436 | 0.1301 | 0.1559 | 0.02619 | 1 | 1 | 0.01049 | 0.0699 | 0 | 0.3003 | 2 | 0 | json |
| t17_x13_u6_b14 | 17 | 13 | 6 | 14 | ![]() |
sub(D,div(D,nrm(D))) | 109248 | 138576650 | o2(x,o2(x,o1(x))) | true | 33991 | 33991 | -0.4439 | 0 | 0.4439 | 0.03586 | 0.1894 | -0.7717 | -0.01377 | 0.7579 | 1 | 3.541 | 0.003627 | 0.001981 | 0.07077 | 0.2935 | 1 | 0.0006856 | 0.0009301 | 0.02391 | 0.0006004 | 0.0245 | 0.3462 | 0.1221 | 0.1564 | 0.02594 | 1 | 1 | 0.01081 | 0.07252 | 0 | 0.3014 | 2.022 | 0 | json |
| t17_x13_u6_b15 | 17 | 13 | 6 | 15 | ![]() |
sub(D,pow(D,nrm(D))) | 109249 | 138576651 | o2(x,o2(x,o1(x))) | true | 33999 | 33999 | -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_u6_b16 | 17 | 13 | 6 | 16 | ![]() |
sub(D,mod(D,nrm(D))) | 109250 | 138576652 | o2(x,o2(x,o1(x))) | true | 34007 | 34007 | 1.839e-12 | 0.2422 | 0.001617 | 0.00001237 | 0.003516 | -0.0137 | 0.0137 | 0.02739 | 1 | 0.9209 | 0.00001354 | 0.00001256 | 0.002829 | 0.03745 | 0 | 6.233e-14 | 0.0001228 | 0.005358 | 0.00001809 | 0.004254 | 1.503 | 0.01937 | 2.111 | 9.932 | 1 | 1 | 0.00002017 | 0.00002529 | 0 | 1.631 | 2.045 | 0 | json |
| t17_x13_u6_b17 | 17 | 13 | 6 | 17 | ![]() |
sub(D,lrg(D,nrm(D))) | 109251 | 138576653 | o2(x,o2(x,o1(x))) | true | 34015 | 34015 | -0.4815 | 0.3125 | 0.5185 | 0.2042 | 0.4519 | -1 | 0.1065 | 1.106 | 1 | 2.954 | 0.07325 | 0.00001698 | 0.1354 | 0.9995 | 1 | -0.00007675 | 0.122 | 0.1448 | 0.05493 | 0.2344 | 1.731 | 1.031 | 0.3588 | 0.5974 | 1 | 1 | 0.08646 | 0.3737 | 0 | 0.4234 | 1.83 | 0 | json |
| t17_x13_u6_b18 | 17 | 13 | 6 | 18 | ![]() |
sub(D,eql(D,nrm(D))) | 109252 | 138576654 | o2(x,o2(x,o1(x))) | true | 34023 | 34023 | 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_u6_b19 | 17 | 13 | 6 | 19 | ![]() |
sub(D,min(D,nrm(D))) | 109253 | 138576655 | o2(x,o2(x,o1(x))) | true | 34031 | 34031 | 0.1787 | 0.9219 | 0.1787 | 0.03863 | 0.1965 | 0 | 0.8486 | 0.8486 | 1 | 2.909 | 0.008127 | 0.003662 | 0.06674 | 0.3788 | 1 | 0.0001323 | 0.01337 | 0.04048 | 0.007335 | 0.08565 | 1.283 | 0.7813 | 0.3052 | 0.3461 | 1 | 1 | 0.01899 | 0.08317 | 0 | 0.4917 | 2.153 | 0 | json |
| t17_x13_u6_b20 | 17 | 13 | 6 | 20 | ![]() |
sub(D,dot(D,nrm(D))) | 109254 | 138576656 | o2(x,o2(x,o1(x))) | true | 34039 | 34039 | -0.4439 | 0 | 0.4439 | 0.03586 | 0.1894 | -0.7717 | -0.01377 | 0.7579 | 1 | 3.541 | 0.003627 | 0.001981 | 0.07077 | 0.2935 | 1 | 0.0006855 | 0.0009301 | 0.02391 | 0.0006004 | 0.0245 | 0.3462 | 0.1221 | 0.1564 | 0.02594 | 1 | 1 | 0.01081 | 0.07252 | 0 | 0.3014 | 2.022 | 0 | json |
| t17_x13_u6_b21 | 17 | 13 | 6 | 21 | ![]() |
sub(D,dst(D,nrm(D))) | 109255 | 138576657 | o2(x,o2(x,o1(x))) | true | 34047 | 34047 | -0.5564 | 0 | 0.5564 | 0.03586 | 0.1894 | -0.9862 | -0.2283 | 0.7579 | 1 | 3.545 | 0.003601 | 0.001982 | 0.07047 | 0.29 | 1 | -0.0006823 | 0.0009316 | 0.02392 | 0.0006175 | 0.02485 | 0.3526 | 0.1304 | 0.1557 | 0.02598 | 1 | 1 | 0.01071 | 0.07252 | 0 | 0.2987 | 2.022 | 0 | json |
| t17_x13_u6_b22 | 17 | 13 | 6 | 22 | ![]() |
mlt(D,add(D,nrm(D))) | 109256 | 138576658 | o2(x,o2(x,o1(x))) | true | 34055 | 34055 | 0.341 | 1 | 0.341 | 0.05892 | 0.2427 | 0.003471 | 0.7426 | 0.7391 | 1 | 3.426 | 0.008833 | 0.0002999 | 0.08618 | 0.9343 | 1 | -0.0005833 | 0.001448 | 0.03328 | 0.001705 | 0.0413 | 0.4792 | 0.1408 | 0.155 | 0.02458 | 1 | 1 | 0.01751 | 0.117 | 0 | 0.2972 | 1.985 | 0 | json |
| t17_x13_u6_b23 | 17 | 13 | 6 | 23 | ![]() |
mlt(D,sub(D,nrm(D))) | 109257 | 138576659 | o2(x,o2(x,o1(x))) | true | 34063 | 34063 | -0.1029 | 0 | 0.1029 | 0.005448 | 0.07381 | -0.248 | -0.000972 | 0.247 | 1 | 1.947 | 0.0006582 | 0.0002999 | 0.02764 | 0.374 | 1 | 0.0001023 | 0.0002556 | 0.01229 | 0.0001943 | 0.01394 | 0.5044 | 0.06333 | 0.1758 | 0.04692 | 1 | 1 | 0.001807 | 0.01105 | 0 | 0.3317 | 2.028 | 0 | json |
| t17_x13_u6_b24 | 17 | 13 | 6 | 24 | ![]() |
mlt(D,mlt(D,nrm(D))) | 109258 | 138576660 | o2(x,o2(x,o1(x))) | true | 34071 | 34071 | 2.416e-9 | 0.4844 | 0.008945 | 0.0001393 | 0.0118 | -0.02553 | 0.02553 | 0.05106 | 1 | 1 | 0.00002981 | 0.000004394 | 0.005023 | 0.7431 | 0 | -1.12e-11 | 0.00001229 | 0.002841 | 0.000008978 | 0.002996 | 0.5965 | 0.01359 | 0.2455 | 0.0882 | 1 | 1 | 0.00006266 | 0.0002994 | 0 | 0.4497 | 2.148 | 0 | json |
| t17_x13_u6_b25 | 17 | 13 | 6 | 25 | ![]() |
mlt(D,div(D,nrm(D))) | 109259 | 138576661 | o2(x,o2(x,o1(x))) | true | 34079 | 34079 | 6.841e-10 | 0.4766 | 0.01824 | 0.0006075 | 0.02465 | -0.05693 | 0.05693 | 0.1139 | 1 | 1 | 0.0001036 | 0.00003371 | 0.01012 | 0.5091 | 1 | 1.64e-10 | 0.00003908 | 0.004824 | 0.00003492 | 0.00591 | 0.584 | 0.03047 | 0.2261 | 0.06432 | 1 | 1 | 0.0002608 | 0.00162 | 0 | 0.4293 | 2.666 | 0 | json |
| t17_x13_u6_b26 | 17 | 13 | 6 | 26 | ![]() |
mlt(D,pow(D,nrm(D))) | 109260 | 138576662 | o2(x,o2(x,o1(x))) | true | 34087 | 34087 | -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_u6_b27 | 17 | 13 | 6 | 27 | ![]() |
mlt(D,mod(D,nrm(D))) | 109261 | 138576663 | o2(x,o2(x,o1(x))) | true | 34095 | 34095 | 0.1178 | 1 | 0.1178 | 0.008104 | 0.09002 | 0.0009848 | 0.2473 | 0.2463 | 1 | 1.854 | 0.001266 | 0.000006856 | 0.03113 | 0.9892 | 1 | -0.0002285 | 0.0002646 | 0.01426 | 0.0003041 | 0.01744 | 0.5601 | 0.06158 | 0.1571 | 0.03265 | 1 | 1 | 0.00242 | 0.01602 | 0 | 0.2986 | 1.976 | 0 | json |
| t17_x13_u6_b28 | 17 | 13 | 6 | 28 | ![]() |
mlt(D,lrg(D,nrm(D))) | 109262 | 138576664 | o2(x,o2(x,o1(x))) | true | 34103 | 34103 | -0.1412 | 0 | 0.1412 | 0.009246 | 0.09616 | -0.2729 | 0 | 0.2729 | 1 | 2.397 | 0.001457 | 0.00001331 | 0.03426 | 0.9819 | 1 | 0.0002891 | 0.0003856 | 0.01634 | 0.0002975 | 0.01725 | 0.5035 | 0.06549 | 0.1591 | 0.0417 | 1 | 1 | 0.002796 | 0.01832 | 0 | 0.3024 | 1.981 | 0 | json |
| t17_x13_u6_b29 | 17 | 13 | 6 | 29 | ![]() |
mlt(D,eql(D,nrm(D))) | 109263 | 138576665 | o2(x,o2(x,o1(x))) | true | 34111 | 34111 | 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_u6_b30 | 17 | 13 | 6 | 30 | ![]() |
mlt(D,min(D,nrm(D))) | 109264 | 138576666 | o2(x,o2(x,o1(x))) | true | 34119 | 34119 | 0.1705 | 1 | 0.1705 | 0.0158 | 0.1257 | 0.001249 | 0.3878 | 0.3865 | 1 | 2.609 | 0.002387 | 0.000108 | 0.04468 | 0.9134 | 1 | -0.0002916 | 0.000425 | 0.01813 | 0.0004986 | 0.02233 | 0.4997 | 0.08399 | 0.1579 | 0.0269 | 1 | 1 | 0.004782 | 0.0317 | 0 | 0.3027 | 2.006 | 0 | json |
| t17_x13_u6_b31 | 17 | 13 | 6 | 31 | ![]() |
mlt(D,dot(D,nrm(D))) | 109265 | 138576667 | o2(x,o2(x,o1(x))) | true | 34127 | 34127 | -2.188e-9 | 0.4766 | 0.01824 | 0.0006075 | 0.02465 | -0.05693 | 0.05693 | 0.1139 | 1 | 1 | 0.0001036 | 0.00003371 | 0.01012 | 0.5091 | 1 | -4.457e-10 | 0.00003908 | 0.004824 | 0.00003492 | 0.00591 | 0.584 | 0.03047 | 0.2261 | 0.06432 | 1 | 1 | 0.0002608 | 0.00162 | 0 | 0.4293 | 2.666 | 0 | json |
| t17_x13_u6_b32 | 17 | 13 | 6 | 32 | ![]() |
mlt(D,dst(D,nrm(D))) | 109266 | 138576668 | o2(x,o2(x,o1(x))) | true | 34135 | 34135 | -1.165e-9 | 0.5 | 0.07663 | 0.007386 | 0.08594 | -0.1455 | 0.1455 | 0.291 | 1 | 2.327 | 0.001109 | 0.00003366 | 0.03063 | 0.9411 | 1 | -1.958e-10 | 0.000188 | 0.0116 | 0.0002052 | 0.01432 | 0.4677 | 0.05972 | 0.1548 | 0.02545 | 1 | 1 | 0.002207 | 0.01526 | 0 | 0.2988 | 2.066 | 0 | json |
| t17_x13_u6_b33 | 17 | 13 | 6 | 33 | ![]() |
div(D,add(D,nrm(D))) | 109267 | 138576669 | o2(x,o2(x,o1(x))) | true | 34143 | 34143 | 0.2936 | 1 | 0.2936 | 0.007262 | 0.08522 | 0.04259 | 0.4125 | 0.3699 | 1 | 2.365 | 0.0006109 | 0.0006109 | 0.03143 | 0.00000162 | 1 | -0.0004029 | 0.0002618 | 0.01025 | 0.0002341 | 0.0153 | 0.4869 | 0.07101 | 0.1682 | 0.03605 | 1 | 1 | 0.002336 | 0.01519 | 0 | 0.3217 | 2.092 | 0 | json |
| t17_x13_u6_b34 | 17 | 13 | 6 | 34 | ![]() |
div(D,sub(D,nrm(D))) | 109268 | 138576670 | o2(x,o2(x,o1(x))) | true | 34151 | 34151 | -0.808 | 0 | 0.808 | 0.06994 | 0.2645 | -1 | -0.06456 | 0.9354 | 1 | 2.453 | 0.05293 | 0.05293 | 0.1982 | -2.112e-7 | 1 | 0.001888 | 0.5319 | 0.3562 | 0.06659 | 0.2581 | 1.302 | 1.267 | 1.514 | 7.605 | 1 | 1 | 0.07052 | 0.1639 | 0 | 1.008 | 2.343 | 0 | json |
| t17_x13_u6_b35 | 17 | 13 | 6 | 35 | ![]() |
div(D,mlt(D,nrm(D))) | 109269 | 138576671 | o2(x,o2(x,o1(x))) | true | 34159 | 34159 | -5.597e-9 | 0.5 | 0.7919 | 0.7181 | 0.8474 | -1 | 1 | 2 | 1 | 3.361 | 0.2764 | 0.001461 | 0.2506 | 0.9895 | 1 | -3.963e-9 | 0.4887 | 0.2839 | 0.215 | 0.4637 | 1.851 | 2 | 0.3869 | 0.6805 | 1 | 1 | 0.316 | 1.327 | 0 | 0.44 | 1.848 | 0 | json |
| t17_x13_u6_b36 | 17 | 13 | 6 | 36 | ![]() |
div(D,div(D,nrm(D))) | 109270 | 138576672 | o2(x,o2(x,o1(x))) | true | 34167 | 34167 | 3.015e-9 | 0.5 | 0.3663 | 0.1867 | 0.4321 | -0.9346 | 0.9346 | 1.869 | 1 | 4.562 | 0.03788 | 0.006951 | 0.1584 | 0.6899 | 1 | 6.879e-9 | 0.04219 | 0.07112 | 0.01975 | 0.1405 | 0.8875 | 1.466 | 0.2401 | 0.226 | 1 | 1 | 0.07517 | 0.4029 | 0 | 0.4025 | 2.158 | 0 | json |
| t17_x13_u6_b37 | 17 | 13 | 6 | 37 | ![]() |
div(D,pow(D,nrm(D))) | 109271 | 138576673 | o2(x,o2(x,o1(x))) | true | 34175 | 34175 | -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_u6_b38 | 17 | 13 | 6 | 38 | ![]() |
div(D,mod(D,nrm(D))) | 109272 | 138576674 | o2(x,o2(x,o1(x))) | true | 34183 | 34183 | 1 | 1 | 1 | 7.216e-16 | 2.686e-8 | 1 | 1 | 5.96e-8 | 1 | 0 | 5.729e-16 | 1.701e-16 | 1.176e-8 | 0.0004028 | 0 | 3.076e-8 | 7.333e-15 | 3.076e-8 | 6.049e-16 | 2.459e-8 | 2.091 | 8.429e-8 | 0.0007429 | 0.007333 | 0 | 1 | 6.224e-16 | 1.112e-15 | 0 | 0.0006224 | 0.001112 | 0 | json |
| t17_x13_u6_b39 | 17 | 13 | 6 | 39 | ![]() |
div(D,lrg(D,nrm(D))) | 109273 | 138576675 | o2(x,o2(x,o1(x))) | true | 34191 | 34191 | -0.9626 | 0 | 0.9626 | 0.03445 | 0.1856 | -1 | -0.03096 | 0.969 | 1 | 0.2662 | 0.05643 | 0.0134 | 0.06885 | 0.6161 | 1 | 0.0004603 | 0.2355 | 0.1453 | 0.06506 | 0.2551 | 3.704 | 1.37 | 2.027 | 6.837 | 1 | 1 | 0.04889 | 0.06893 | 0 | 1.419 | 2.001 | 0 | json |
| t17_x13_u6_b40 | 17 | 13 | 6 | 40 | ![]() |
div(D,eql(D,nrm(D))) | 109274 | 138576676 | o2(x,o2(x,o1(x))) | true | 34199 | 34199 | -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_u6_b41 | 17 | 13 | 6 | 41 | ![]() |
div(D,min(D,nrm(D))) | 109275 | 138576677 | o2(x,o2(x,o1(x))) | true | 34207 | 34207 | 0.722 | 1 | 0.722 | 0.07412 | 0.2722 | 0.04474 | 1 | 0.9553 | 1 | 3.369 | 0.03435 | 0.0008938 | 0.09253 | 0.9493 | 1 | -0.0003428 | 0.06562 | 0.09673 | 0.02668 | 0.1633 | 1.765 | 0.9571 | 0.4755 | 0.8853 | 1 | 1 | 0.03841 | 0.1297 | 0 | 0.5182 | 1.749 | 0 | json |
| t17_x13_u6_b42 | 17 | 13 | 6 | 42 | ![]() |
div(D,dot(D,nrm(D))) | 109276 | 138576678 | o2(x,o2(x,o1(x))) | true | 34215 | 34215 | 3.61e-9 | 0.5 | 0.3663 | 0.1867 | 0.4321 | -0.9346 | 0.9346 | 1.869 | 1 | 4.562 | 0.03788 | 0.006951 | 0.1584 | 0.6899 | 1 | 4.661e-9 | 0.04219 | 0.07112 | 0.01975 | 0.1405 | 0.8875 | 1.466 | 0.2401 | 0.226 | 1 | 1 | 0.07517 | 0.4029 | 0 | 0.4025 | 2.158 | 0 | json |
| t17_x13_u6_b43 | 17 | 13 | 6 | 43 | ![]() |
div(D,dst(D,nrm(D))) | 109277 | 138576679 | o2(x,o2(x,o1(x))) | true | 34223 | 34223 | 1.631e-9 | 0.5 | 0.1724 | 0.09333 | 0.3055 | -1 | 1 | 2 | 1 | 3.211 | 0.1149 | 0.08369 | 0.2689 | 0.1573 | 1 | -2.143e-9 | 0.9285 | 0.5287 | 0.1264 | 0.3555 | 1.322 | 2.259 | 2.128 | 9.949 | 1 | 1 | 0.142 | 0.2067 | 0 | 1.521 | 2.214 | 0 | json |
| t17_x13_u6_b44 | 17 | 13 | 6 | 44 | ![]() |
pow(D,add(D,nrm(D))) | 109278 | 138576680 | o2(x,o2(x,o1(x))) | true | 34231 | 34231 | -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_u6_b45 | 17 | 13 | 6 | 45 | ![]() |
pow(D,sub(D,nrm(D))) | 109279 | 138576681 | o2(x,o2(x,o1(x))) | true | 34239 | 34239 | -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_u6_b46 | 17 | 13 | 6 | 46 | ![]() |
pow(D,mlt(D,nrm(D))) | 109280 | 138576682 | o2(x,o2(x,o1(x))) | true | 34247 | 34247 | -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_u6_b47 | 17 | 13 | 6 | 47 | ![]() |
pow(D,div(D,nrm(D))) | 109281 | 138576683 | o2(x,o2(x,o1(x))) | true | 34255 | 34255 | -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_u6_b48 | 17 | 13 | 6 | 48 | ![]() |
pow(D,pow(D,nrm(D))) | 109282 | 138576684 | o2(x,o2(x,o1(x))) | true | 34263 | 34263 | -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_u6_b49 | 17 | 13 | 6 | 49 | ![]() |
pow(D,mod(D,nrm(D))) | 109283 | 138576685 | o2(x,o2(x,o1(x))) | true | 34271 | 34271 | -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_u6_b50 | 17 | 13 | 6 | 50 | ![]() |
pow(D,lrg(D,nrm(D))) | 109284 | 138576686 | o2(x,o2(x,o1(x))) | true | 34279 | 34279 | -0.9219 | 0.03906 | 1 | 0.15 | 0.3873 | -1 | 1 | 2 | 1 | 0.238 | 0.2419 | 0.06047 | 0.1423 | 0.6 | 1 | 0.001008 | 1.03 | 0.3034 | 0.2821 | 0.5311 | 3.732 | 2.828 | 2.016 | 6.866 | 1 | 1 | 0.2141 | 0.3006 | 0 | 1.427 | 2.004 | 0 | json |
| t17_x13_u6_b51 | 17 | 13 | 6 | 51 | ![]() |
pow(D,eql(D,nrm(D))) | 109285 | 138576687 | o2(x,o2(x,o1(x))) | true | 34287 | 34287 | 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_u6_b52 | 17 | 13 | 6 | 52 | ![]() |
pow(D,min(D,nrm(D))) | 109286 | 138576688 | o2(x,o2(x,o1(x))) | true | 34295 | 34295 | -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_u6_b53 | 17 | 13 | 6 | 53 | ![]() |
pow(D,dot(D,nrm(D))) | 109287 | 138576689 | o2(x,o2(x,o1(x))) | true | 34303 | 34303 | -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_u6_b54 | 17 | 13 | 6 | 54 | ![]() |
pow(D,dst(D,nrm(D))) | 109288 | 138576690 | o2(x,o2(x,o1(x))) | true | 34311 | 34311 | -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_u6_b55 | 17 | 13 | 6 | 55 | ![]() |
mod(D,add(D,nrm(D))) | 109289 | 138576691 | o2(x,o2(x,o1(x))) | true | 34319 | 34319 | 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_u6_b56 | 17 | 13 | 6 | 56 | ![]() |
mod(D,sub(D,nrm(D))) | 109290 | 138576692 | o2(x,o2(x,o1(x))) | true | 34327 | 34327 | 5.758e-11 | 0.5 | 0.1248 | 0.02111 | 0.1453 | -0.2533 | 0.2533 | 0.5066 | 1 | 3.061 | 0.008802 | 0.00272 | 0.07191 | 0.5279 | 1 | 9.386e-13 | 0.03486 | 0.1076 | 0.00635 | 0.07969 | 1.108 | 0.4887 | 0.5457 | 1.651 | 1 | 1 | 0.01162 | 0.04358 | 0 | 0.5502 | 2.064 | 0 | json |
| t17_x13_u6_b57 | 17 | 13 | 6 | 57 | ![]() |
mod(D,mlt(D,nrm(D))) | 109291 | 138576693 | o2(x,o2(x,o1(x))) | true | 34335 | 34335 | -2.416e-13 | 0.4766 | 0.02403 | 0.001121 | 0.03348 | -0.08449 | 0.08449 | 0.169 | 1 | 1.449 | 0.0004184 | 0.0002273 | 0.02018 | 0.2959 | 1 | 2.104e-10 | 0.001798 | 0.02784 | 0.0002384 | 0.01544 | 0.7651 | 0.08066 | 0.5761 | 1.605 | 1 | 1 | 0.0007734 | 0.002487 | 0 | 0.6901 | 2.219 | 0 | json |
| t17_x13_u6_b58 | 17 | 13 | 6 | 58 | ![]() |
mod(D,div(D,nrm(D))) | 109292 | 138576694 | o2(x,o2(x,o1(x))) | true | 34343 | 34343 | 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_u6_b59 | 17 | 13 | 6 | 59 | ![]() |
mod(D,pow(D,nrm(D))) | 109293 | 138576695 | o2(x,o2(x,o1(x))) | true | 34351 | 34351 | -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_u6_b60 | 17 | 13 | 6 | 60 | ![]() |
mod(D,mod(D,nrm(D))) | 109294 | 138576696 | o2(x,o2(x,o1(x))) | true | 34359 | 34359 | 4.65e-13 | 0.2969 | 0.1038 | 0.02407 | 0.1551 | -0.2729 | 0.2729 | 0.5458 | 1 | 2.721 | 0.03937 | 1.117e-7 | 0.1433 | 1 | 1 | 0 | 0.09533 | 0.2837 | 0.01883 | 0.1372 | 0.9576 | 0.5235 | 1.636 | 3.96 | 1 | 1 | 0.03093 | 0.03037 | 0 | 1.285 | 1.262 | 0 | json |
| t17_x13_u6_b61 | 17 | 13 | 6 | 61 | ![]() |
mod(D,lrg(D,nrm(D))) | 109295 | 138576697 | o2(x,o2(x,o1(x))) | true | 34367 | 34367 | -0.9626 | 0 | 0.9626 | 0.03445 | 0.1856 | -1 | -0.03096 | 0.969 | 1 | 0.2662 | 0.05643 | 0.0134 | 0.06885 | 0.6161 | 1 | 0.0004603 | 0.2355 | 0.1453 | 0.06506 | 0.2551 | 3.704 | 1.37 | 2.027 | 6.837 | 1 | 1 | 0.04889 | 0.06893 | 0 | 1.419 | 2.001 | 0 | json |
| t17_x13_u6_b62 | 17 | 13 | 6 | 62 | ![]() |
mod(D,eql(D,nrm(D))) | 109296 | 138576698 | o2(x,o2(x,o1(x))) | true | 34375 | 34375 | -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_u6_b63 | 17 | 13 | 6 | 63 | ![]() |
mod(D,min(D,nrm(D))) | 109297 | 138576699 | o2(x,o2(x,o1(x))) | true | 34383 | 34383 | -0.09022 | 0.25 | 0.1331 | 0.01774 | 0.1332 | -0.2729 | 0.1583 | 0.4312 | 1 | 2.941 | 0.01655 | 0.00000648 | 0.09503 | 0.9992 | 1 | 0.0006646 | 0.03938 | 0.1462 | 0.007521 | 0.08673 | 0.9126 | 0.289 | 0.9331 | 2.22 | 1 | 1 | 0.01342 | 0.02855 | 0 | 0.7568 | 1.609 | 0 | json |
| t17_x13_u6_b64 | 17 | 13 | 6 | 64 | ![]() |
mod(D,dot(D,nrm(D))) | 109298 | 138576700 | o2(x,o2(x,o1(x))) | true | 34391 | 34391 | 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_u6_b65 | 17 | 13 | 6 | 65 | ![]() |
mod(D,dst(D,nrm(D))) | 109299 | 138576701 | o2(x,o2(x,o1(x))) | true | 34399 | 34399 | 1.4e-9 | 0.5 | 0.149 | 0.02774 | 0.1666 | -0.2586 | 0.2586 | 0.5173 | 1 | 2.987 | 0.01113 | 0.001965 | 0.07435 | 0.7 | 1 | -2.289e-9 | 0.03747 | 0.1029 | 0.007571 | 0.08701 | 1.17 | 0.4674 | 0.4721 | 1.351 | 1 | 1 | 0.01305 | 0.05581 | 0 | 0.4703 | 2.011 | 0 | json |



































































































