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_b108 | 17 | 13 | 4 | 108 | ![]() |
dot(D,dot(D,cil(D))) | 109100 | 138576342 | o2(x,o2(x,o1(x))) | true | 32807 | 32807 | 0.1191 | 1 | 0.1191 | 0.004698 | 0.06854 | 0.000291 | 0.2643 | 0.264 | 1 | 2.087 | 0.0003842 | 0.0003842 | 0.02615 | 0.000002008 | 1 | -0.0002405 | 0.0001349 | 0.009788 | 0.00008466 | 0.009201 | 0.3519 | 0.04261 | 0.1636 | 0.02871 | 1 | 1 | 0.001468 | 0.009836 | 0 | 0.3126 | 2.094 | 0 | json |
| t17_x13_u4_b109 | 17 | 13 | 4 | 109 | ![]() |
dot(D,dst(D,cil(D))) | 109101 | 138576343 | o2(x,o2(x,o1(x))) | true | 32815 | 32815 | 0.03333 | 0.4688 | 0.08779 | 0.0131 | 0.1145 | -0.1156 | 0.3213 | 0.4369 | 1 | 2.625 | 0.001349 | 0.001349 | 0.04516 | 0.000001165 | 1 | -0.00009557 | 0.001777 | 0.02759 | 0.0006596 | 0.02568 | 0.5687 | 0.1308 | 0.206 | 0.1357 | 1 | 1 | 0.004622 | 0.02852 | 0 | 0.3528 | 2.177 | 0 | json |
| t17_x13_u4_b110 | 17 | 13 | 4 | 110 | ![]() |
dst(D,add(D,cil(D))) | 109102 | 138576344 | o2(x,o2(x,o1(x))) | true | 32823 | 32823 | 0.7721 | 1 | 0.7721 | 0.09527 | 0.3087 | 0.000582 | 1 | 0.9994 | 1 | 2.801 | 0.0257 | 0.0257 | 0.103 | -6.161e-7 | 1 | -0.00009022 | 0.1027 | 0.1322 | 0.04078 | 0.2019 | 1.96 | 1.413 | 0.5395 | 1.078 | 1 | 1 | 0.05652 | 0.202 | 0 | 0.5933 | 2.12 | 0 | json |
| t17_x13_u4_b111 | 17 | 13 | 4 | 111 | ![]() |
dst(D,sub(D,cil(D))) | 109103 | 138576345 | o2(x,o2(x,o1(x))) | true | 32831 | 32831 | 0.7721 | 1 | 0.7721 | 0.09527 | 0.3087 | 0.000582 | 1 | 0.9994 | 1 | 2.801 | 0.0257 | 0.0257 | 0.103 | -6.161e-7 | 1 | -0.00009022 | 0.1027 | 0.1322 | 0.04078 | 0.2019 | 1.96 | 1.413 | 0.5395 | 1.078 | 1 | 1 | 0.05652 | 0.202 | 0 | 0.5933 | 2.12 | 0 | json |
| t17_x13_u4_b112 | 17 | 13 | 4 | 112 | ![]() |
dst(D,mlt(D,cil(D))) | 109104 | 138576346 | o2(x,o2(x,o1(x))) | true | 32839 | 32839 | 0.254 | 1 | 0.254 | 0.01179 | 0.1086 | 0.0005639 | 0.4391 | 0.4385 | 1 | 2.757 | 0.0009363 | 0.0009363 | 0.04091 | 0.000001647 | 1 | -0.0004776 | 0.0003414 | 0.01398 | 0.0001984 | 0.01409 | 0.3443 | 0.06854 | 0.1588 | 0.02895 | 1 | 1 | 0.003599 | 0.02376 | 0 | 0.3052 | 2.015 | 0 | json |
| t17_x13_u4_b113 | 17 | 13 | 4 | 113 | ![]() |
dst(D,div(D,cil(D))) | 109105 | 138576347 | o2(x,o2(x,o1(x))) | true | 32847 | 32847 | -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_b114 | 17 | 13 | 4 | 114 | ![]() |
dst(D,pow(D,cil(D))) | 109106 | 138576348 | o2(x,o2(x,o1(x))) | true | 32855 | 32855 | 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_b115 | 17 | 13 | 4 | 115 | ![]() |
dst(D,mod(D,cil(D))) | 109107 | 138576349 | o2(x,o2(x,o1(x))) | true | 32863 | 32863 | -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_b116 | 17 | 13 | 4 | 116 | ![]() |
dst(D,lrg(D,cil(D))) | 109108 | 138576350 | o2(x,o2(x,o1(x))) | true | 32871 | 32871 | 0.4439 | 1 | 0.4439 | 0.02504 | 0.1582 | 0.04473 | 0.7026 | 0.6579 | 1 | 3.252 | 0.001981 | 0.001981 | 0.05914 | 2.938e-7 | 1 | -0.0006857 | 0.0006739 | 0.01958 | 0.000465 | 0.02156 | 0.3646 | 0.09377 | 0.1583 | 0.02692 | 1 | 1 | 0.007608 | 0.05068 | 0 | 0.3039 | 2.024 | 0 | json |
| t17_x13_u4_b117 | 17 | 13 | 4 | 117 | ![]() |
dst(D,eql(D,cil(D))) | 109109 | 138576351 | o2(x,o2(x,o1(x))) | true | 32879 | 32879 | 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_b118 | 17 | 13 | 4 | 118 | ![]() |
dst(D,min(D,cil(D))) | 109110 | 138576352 | o2(x,o2(x,o1(x))) | true | 32887 | 32887 | 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_b119 | 17 | 13 | 4 | 119 | ![]() |
dst(D,dot(D,cil(D))) | 109111 | 138576353 | o2(x,o2(x,o1(x))) | true | 32895 | 32895 | 0.6164 | 1 | 0.6164 | 0.05603 | 0.2367 | 0.04498 | 1 | 0.955 | 1 | 3.791 | 0.004394 | 0.004394 | 0.08911 | -0.000006253 | 1 | -0.001176 | 0.001598 | 0.03069 | 0.000846 | 0.02909 | 0.3264 | 0.1345 | 0.1569 | 0.02853 | 1 | 1 | 0.01676 | 0.111 | 0 | 0.2992 | 1.98 | 0 | json |
| t17_x13_u4_b120 | 17 | 13 | 4 | 120 | ![]() |
dst(D,dst(D,cil(D))) | 109112 | 138576354 | o2(x,o2(x,o1(x))) | true | 32903 | 32903 | 0.9564 | 1 | 0.9564 | 0.01835 | 0.1355 | 0.116 | 1 | 0.884 | 1 | 0.9868 | 0.008609 | 0.008609 | 0.0381 | 0.000002759 | 1 | -0.0003314 | 0.04168 | 0.05754 | 0.01577 | 0.1256 | 3.296 | 1.25 | 0.9384 | 2.271 | 1 | 1 | 0.01747 | 0.03935 | 0 | 0.9524 | 2.144 | 0 | json |
| t17_x13_u5_b0 | 17 | 13 | 5 | 0 | ![]() |
add(D,add(D,sgn(D))) | 109113 | 138576435 | o2(x,o2(x,o1(x))) | true | 32911 | 32911 | 0 | 0.5 | 0.8071 | 0.7371 | 0.8585 | -1 | 1 | 2 | 1 | 2.549 | 0.2754 | 0 | 0.2461 | 1 | 1 | 0 | 0.483 | 0.2816 | 0.2149 | 0.4636 | 1.884 | 2 | 0.3737 | 0.6553 | 1 | 1 | 0.313 | 1.358 | 0 | 0.4247 | 1.842 | 0 | json |
| t17_x13_u5_b1 | 17 | 13 | 5 | 1 | ![]() |
add(D,sub(D,sgn(D))) | 109114 | 138576436 | o2(x,o2(x,o1(x))) | true | 32919 | 32919 | 0 | 0.5 | 0.5 | 0.332 | 0.5762 | -0.9375 | 0.9375 | 1.875 | 1 | 4 | 0.224 | 0 | 0.2292 | 1 | 1 | 0 | 0.4762 | 0.2381 | 0.1714 | 0.414 | 1.806 | 1.875 | 0.6745 | 1.434 | 1 | 1 | 0.2128 | 0.5 | 0 | 0.641 | 1.506 | 0 | json |
| t17_x13_u5_b2 | 17 | 13 | 5 | 2 | ![]() |
add(D,mlt(D,sgn(D))) | 109115 | 138576437 | o2(x,o2(x,o1(x))) | true | 32927 | 32927 | 0.286 | 1 | 0.286 | 0.03695 | 0.1922 | 0.0005639 | 0.5458 | 0.5452 | 1 | 2.828 | 0.005757 | 0 | 0.068 | 1 | 1 | -0.0006126 | 0.001061 | 0.02723 | 0.001136 | 0.0337 | 0.4956 | 0.1237 | 0.1558 | 0.02873 | 1 | 1 | 0.01092 | 0.07309 | 0 | 0.2956 | 1.978 | 0 | json |
| t17_x13_u5_b3 | 17 | 13 | 5 | 3 | ![]() |
add(D,div(D,sgn(D))) | 109116 | 138576438 | o2(x,o2(x,o1(x))) | true | 32935 | 32935 | 0.286 | 1 | 0.286 | 0.03695 | 0.1922 | 0.0005639 | 0.5458 | 0.5452 | 1 | 2.828 | 0.005757 | 0 | 0.068 | 1 | 1 | -0.0006126 | 0.001061 | 0.02723 | 0.001136 | 0.0337 | 0.4956 | 0.1237 | 0.1558 | 0.02873 | 1 | 1 | 0.01092 | 0.07309 | 0 | 0.2956 | 1.978 | 0 | json |
| t17_x13_u5_b4 | 17 | 13 | 5 | 4 | ![]() |
add(D,pow(D,sgn(D))) | 109117 | 138576439 | o2(x,o2(x,o1(x))) | true | 32943 | 32943 | -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_b5 | 17 | 13 | 5 | 5 | ![]() |
add(D,mod(D,sgn(D))) | 109118 | 138576440 | o2(x,o2(x,o1(x))) | true | 32951 | 32951 | 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_u5_b6 | 17 | 13 | 5 | 6 | ![]() |
add(D,lrg(D,sgn(D))) | 109119 | 138576441 | o2(x,o2(x,o1(x))) | true | 32959 | 32959 | 0.5 | 1 | 0.5 | 0.08301 | 0.2881 | 0.03125 | 0.9688 | 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_b7 | 17 | 13 | 5 | 7 | ![]() |
add(D,eql(D,sgn(D))) | 109120 | 138576442 | o2(x,o2(x,o1(x))) | true | 32967 | 32967 | 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_b8 | 17 | 13 | 5 | 8 | ![]() |
add(D,min(D,sgn(D))) | 109121 | 138576443 | o2(x,o2(x,o1(x))) | true | 32975 | 32975 | -0.3451 | 0.4375 | 0.4931 | 0.2609 | 0.5108 | -1 | 0.2748 | 1.275 | 1 | 3.125 | 0.0815 | 0 | 0.1569 | 1 | 1 | -0.0003006 | 0.1228 | 0.1526 | 0.05689 | 0.2385 | 1.52 | 1.062 | 0.3124 | 0.4706 | 1 | 1 | 0.1024 | 0.4859 | 0 | 0.3924 | 1.862 | 0 | json |
| t17_x13_u5_b9 | 17 | 13 | 5 | 9 | ![]() |
add(D,dot(D,sgn(D))) | 109122 | 138576444 | o2(x,o2(x,o1(x))) | true | 32983 | 32983 | 0.5713 | 1 | 0.5713 | 0.06236 | 0.2497 | 0.03209 | 1 | 0.9679 | 1 | 3.873 | 0.005717 | 0.004119 | 0.09412 | 0.1625 | 1 | -0.001225 | 0.001941 | 0.03541 | 0.0009779 | 0.03127 | 0.3322 | 0.1491 | 0.1577 | 0.03113 | 1 | 1 | 0.01865 | 0.1228 | 0 | 0.2991 | 1.97 | 0 | json |
| t17_x13_u5_b10 | 17 | 13 | 5 | 10 | ![]() |
add(D,dst(D,sgn(D))) | 109123 | 138576445 | o2(x,o2(x,o1(x))) | true | 32991 | 32991 | 0.9332 | 1 | 0.9332 | 0.01025 | 0.1012 | 0.6578 | 1 | 0.3422 | 1 | 1.654 | 0.001519 | 0.0009396 | 0.03322 | 0.2357 | 1 | 0.0003258 | 0.001352 | 0.02328 | 0.001356 | 0.03682 | 1.108 | 0.1106 | 0.24 | 0.1319 | 1 | 1 | 0.004415 | 0.02465 | 0 | 0.4309 | 2.406 | 0 | json |
| t17_x13_u5_b11 | 17 | 13 | 5 | 11 | ![]() |
sub(D,add(D,sgn(D))) | 109124 | 138576446 | o2(x,o2(x,o1(x))) | true | 32999 | 32999 | 1.819e-12 | 0.5 | 0.6889 | 0.5671 | 0.753 | -0.9994 | 0.9994 | 1.999 | 1 | 3.406 | 0.2604 | 0 | 0.2456 | 1 | 1 | 0 | 0.4833 | 0.2673 | 0.2 | 0.4473 | 1.821 | 1.999 | 0.4593 | 0.8522 | 1 | 1 | 0.2829 | 0.9676 | 0 | 0.4989 | 1.706 | 0 | json |
| t17_x13_u5_b12 | 17 | 13 | 5 | 12 | ![]() |
sub(D,sub(D,sgn(D))) | 109125 | 138576447 | o2(x,o2(x,o1(x))) | true | 33007 | 33007 | -1.819e-12 | 0.5 | 0.6889 | 0.5671 | 0.753 | -0.9994 | 0.9994 | 1.999 | 1 | 3.406 | 0.2604 | 0 | 0.2456 | 1 | 1 | 0 | 0.4833 | 0.2673 | 0.2 | 0.4473 | 1.821 | 1.999 | 0.4593 | 0.8522 | 1 | 1 | 0.2829 | 0.9676 | 0 | 0.4989 | 1.706 | 0 | json |
| t17_x13_u5_b13 | 17 | 13 | 5 | 13 | ![]() |
sub(D,mlt(D,sgn(D))) | 109126 | 138576448 | o2(x,o2(x,o1(x))) | true | 33015 | 33015 | -0.286 | 0 | 0.286 | 0.03695 | 0.1922 | -0.5458 | -0.0005639 | 0.5452 | 1 | 2.828 | 0.005806 | 0 | 0.06832 | 1 | 1 | 0.0006126 | 0.001061 | 0.02723 | 0.001141 | 0.03378 | 0.4945 | 0.1237 | 0.1571 | 0.02873 | 1 | 1 | 0.01115 | 0.07309 | 0 | 0.3018 | 1.978 | 0 | json |
| t17_x13_u5_b14 | 17 | 13 | 5 | 14 | ![]() |
sub(D,div(D,sgn(D))) | 109127 | 138576449 | o2(x,o2(x,o1(x))) | true | 33023 | 33023 | -0.286 | 0 | 0.286 | 0.03695 | 0.1922 | -0.5458 | -0.0005639 | 0.5452 | 1 | 2.828 | 0.005806 | 0 | 0.06832 | 1 | 1 | 0.0006126 | 0.001061 | 0.02723 | 0.001141 | 0.03378 | 0.4945 | 0.1237 | 0.1571 | 0.02873 | 1 | 1 | 0.01115 | 0.07309 | 0 | 0.3018 | 1.978 | 0 | json |
| t17_x13_u5_b15 | 17 | 13 | 5 | 15 | ![]() |
sub(D,pow(D,sgn(D))) | 109128 | 138576450 | o2(x,o2(x,o1(x))) | true | 33031 | 33031 | -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_b16 | 17 | 13 | 5 | 16 | ![]() |
sub(D,mod(D,sgn(D))) | 109129 | 138576451 | o2(x,o2(x,o1(x))) | true | 33039 | 33039 | 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_b17 | 17 | 13 | 5 | 17 | ![]() |
sub(D,lrg(D,sgn(D))) | 109130 | 138576452 | o2(x,o2(x,o1(x))) | true | 33047 | 33047 | -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_b18 | 17 | 13 | 5 | 18 | ![]() |
sub(D,eql(D,sgn(D))) | 109131 | 138576453 | o2(x,o2(x,o1(x))) | true | 33055 | 33055 | 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_b19 | 17 | 13 | 5 | 19 | ![]() |
sub(D,min(D,sgn(D))) | 109132 | 138576454 | o2(x,o2(x,o1(x))) | true | 33063 | 33063 | 0.357 | 0.9375 | 0.357 | 0.1162 | 0.3409 | 0.000009095 | 0.9685 | 0.9685 | 1 | 3.274 | 0.06119 | 0 | 0.1188 | 1 | 1 | 0.0003063 | 0.12 | 0.129 | 0.04706 | 0.2169 | 1.826 | 0.9685 | 0.5265 | 1.033 | 1 | 1 | 0.06301 | 0.1908 | 0 | 0.5422 | 1.642 | 0 | json |
| t17_x13_u5_b20 | 17 | 13 | 5 | 20 | ![]() |
sub(D,dot(D,sgn(D))) | 109133 | 138576455 | o2(x,o2(x,o1(x))) | true | 33071 | 33071 | -0.5713 | 0 | 0.5713 | 0.06236 | 0.2497 | -1 | -0.03209 | 0.9679 | 1 | 3.873 | 0.005765 | 0.004119 | 0.09438 | 0.1666 | 1 | 0.001225 | 0.001941 | 0.03541 | 0.0009779 | 0.03127 | 0.3313 | 0.1491 | 0.1585 | 0.03113 | 1 | 1 | 0.01888 | 0.1228 | 0 | 0.3028 | 1.97 | 0 | json |
| t17_x13_u5_b21 | 17 | 13 | 5 | 21 | ![]() |
sub(D,dst(D,sgn(D))) | 109134 | 138576456 | o2(x,o2(x,o1(x))) | true | 33079 | 33079 | -0.9332 | 0 | 0.9332 | 0.01025 | 0.1012 | -1 | -0.6578 | 0.3422 | 1 | 1.654 | 0.001501 | 0.0009396 | 0.03316 | 0.2302 | 1 | -0.0003258 | 0.001352 | 0.02328 | 0.001341 | 0.03662 | 1.104 | 0.1075 | 0.2383 | 0.1319 | 1 | 1 | 0.004394 | 0.02465 | 0 | 0.4288 | 2.406 | 0 | json |
| t17_x13_u5_b22 | 17 | 13 | 5 | 22 | ![]() |
mlt(D,add(D,sgn(D))) | 109135 | 138576457 | o2(x,o2(x,o1(x))) | true | 33087 | 33087 | 0.4052 | 1 | 0.4052 | 0.06293 | 0.2509 | 0.03277 | 0.7437 | 0.7109 | 1 | 2.75 | 0.009744 | 0 | 0.08919 | 1 | 1 | -0.0008532 | 0.001586 | 0.03293 | 0.001788 | 0.04228 | 0.4741 | 0.133 | 0.1548 | 0.02521 | 1 | 1 | 0.01865 | 0.1243 | 0 | 0.2963 | 1.975 | 0 | json |
| t17_x13_u5_b23 | 17 | 13 | 5 | 23 | ![]() |
mlt(D,sub(D,sgn(D))) | 109136 | 138576458 | o2(x,o2(x,o1(x))) | true | 33095 | 33095 | -0.167 | 0 | 0.167 | 0.005443 | 0.07378 | -0.249 | -0.03027 | 0.2188 | 1 | 1.75 | 0.001053 | 0 | 0.02716 | 1 | 1 | 0.000372 | 0.0004098 | 0.01339 | 0.0003151 | 0.01775 | 0.6536 | 0.05469 | 0.1934 | 0.07529 | 1 | 1 | 0.001908 | 0.01011 | 0 | 0.3505 | 1.857 | 0 | json |
| t17_x13_u5_b24 | 17 | 13 | 5 | 24 | ![]() |
mlt(D,mlt(D,sgn(D))) | 109137 | 138576459 | o2(x,o2(x,o1(x))) | true | 33103 | 33103 | 5.329e-15 | 0.5 | 0.002839 | 0.00001109 | 0.003331 | -0.005622 | 0.005622 | 0.01124 | 1 | 1 | 0.000005771 | 0 | 0.002134 | 1 | 0 | -3.666e-15 | 0.000003556 | 0.001693 | 0.000001218 | 0.001103 | 0.5171 | 0.00383 | 0.5202 | 0.3205 | 1 | 1 | 0.000009732 | 0.000004172 | 0 | 0.8773 | 0.3761 | 0 | json |
| t17_x13_u5_b25 | 17 | 13 | 5 | 25 | ![]() |
mlt(D,div(D,sgn(D))) | 109138 | 138576460 | o2(x,o2(x,o1(x))) | true | 33111 | 33111 | 5.329e-15 | 0.5 | 0.002839 | 0.00001109 | 0.003331 | -0.005622 | 0.005622 | 0.01124 | 1 | 1 | 0.000005771 | 0 | 0.002134 | 1 | 0 | -3.666e-15 | 0.000003556 | 0.001693 | 0.000001218 | 0.001103 | 0.5171 | 0.00383 | 0.5202 | 0.3205 | 1 | 1 | 0.000009732 | 0.000004172 | 0 | 0.8773 | 0.3761 | 0 | json |
| t17_x13_u5_b26 | 17 | 13 | 5 | 26 | ![]() |
mlt(D,pow(D,sgn(D))) | 109139 | 138576461 | o2(x,o2(x,o1(x))) | true | 33119 | 33119 | -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_b27 | 17 | 13 | 5 | 27 | ![]() |
mlt(D,mod(D,sgn(D))) | 109140 | 138576462 | o2(x,o2(x,o1(x))) | true | 33127 | 33127 | 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_u5_b28 | 17 | 13 | 5 | 28 | ![]() |
mlt(D,lrg(D,sgn(D))) | 109141 | 138576463 | o2(x,o2(x,o1(x))) | true | 33135 | 33135 | -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_b29 | 17 | 13 | 5 | 29 | ![]() |
mlt(D,eql(D,sgn(D))) | 109142 | 138576464 | o2(x,o2(x,o1(x))) | true | 33143 | 33143 | 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_b30 | 17 | 13 | 5 | 30 | ![]() |
mlt(D,min(D,sgn(D))) | 109143 | 138576465 | o2(x,o2(x,o1(x))) | true | 33151 | 33151 | 0.2025 | 1 | 0.2025 | 0.01851 | 0.1361 | 0.001258 | 0.3886 | 0.3874 | 1 | 2.703 | 0.002863 | 0 | 0.04861 | 1 | 1 | -0.0004264 | 0.0004618 | 0.01812 | 0.0005002 | 0.02237 | 0.4601 | 0.07468 | 0.1547 | 0.02494 | 1 | 1 | 0.005506 | 0.03669 | 0 | 0.2974 | 1.982 | 0 | json |
| t17_x13_u5_b31 | 17 | 13 | 5 | 31 | ![]() |
mlt(D,dot(D,sgn(D))) | 109144 | 138576466 | o2(x,o2(x,o1(x))) | true | 33159 | 33159 | -7.13e-10 | 0.5 | 0.02584 | 0.0011 | 0.03316 | -0.07176 | 0.07176 | 0.1435 | 1 | 1.396 | 0.000174 | 0.00004534 | 0.01323 | 0.5866 | 1 | 1.712e-10 | 0.00005425 | 0.005696 | 0.00004428 | 0.006655 | 0.503 | 0.03215 | 0.1994 | 0.04932 | 1 | 1 | 0.0004189 | 0.002773 | 0 | 0.3809 | 2.521 | 0 | json |
| t17_x13_u5_b32 | 17 | 13 | 5 | 32 | ![]() |
mlt(D,dst(D,sgn(D))) | 109145 | 138576467 | o2(x,o2(x,o1(x))) | true | 33167 | 33167 | 5.816e-10 | 0.5 | 0.1133 | 0.01566 | 0.1251 | -0.1954 | 0.1954 | 0.3907 | 1 | 2.724 | 0.002353 | 0.00001437 | 0.04354 | 0.9879 | 1 | -1.295e-9 | 0.0003758 | 0.01768 | 0.0004721 | 0.02173 | 0.499 | 0.08506 | 0.1512 | 0.024 | 1 | 1 | 0.004572 | 0.03168 | 0 | 0.292 | 2.023 | 0 | json |
| t17_x13_u5_b33 | 17 | 13 | 5 | 33 | ![]() |
div(D,add(D,sgn(D))) | 109146 | 138576468 | o2(x,o2(x,o1(x))) | true | 33175 | 33175 | 0.2055 | 1 | 0.2055 | 0.01058 | 0.1029 | 0.03044 | 0.3314 | 0.301 | 1 | 2.5 | 0.0018 | 0 | 0.03753 | 1 | 1 | -0.0004464 | 0.0004843 | 0.01427 | 0.0003903 | 0.01976 | 0.5264 | 0.05805 | 0.17 | 0.04576 | 1 | 1 | 0.003361 | 0.0204 | 0 | 0.3175 | 1.927 | 0 | json |
| t17_x13_u5_b34 | 17 | 13 | 5 | 34 | ![]() |
div(D,sub(D,sgn(D))) | 109147 | 138576469 | o2(x,o2(x,o1(x))) | true | 33183 | 33183 | -0.567 | 0 | 0.567 | 0.1118 | 0.3344 | -0.9932 | -0.04127 | 0.9519 | 1 | 2.75 | 0.01775 | 0 | 0.1192 | 1 | 1 | 0.00134 | 0.00321 | 0.04462 | 0.003546 | 0.05955 | 0.4997 | 0.181 | 0.1587 | 0.02871 | 1 | 1 | 0.03385 | 0.219 | 0 | 0.3028 | 1.958 | 0 | json |
| t17_x13_u5_b35 | 17 | 13 | 5 | 35 | ![]() |
div(D,mlt(D,sgn(D))) | 109148 | 138576470 | o2(x,o2(x,o1(x))) | true | 33191 | 33191 | -1.819e-12 | 0.5 | 0.6889 | 0.5671 | 0.753 | -0.9994 | 0.9994 | 1.999 | 1 | 3.406 | 0.2604 | 0 | 0.2456 | 1 | 1 | 0 | 0.4833 | 0.2673 | 0.2 | 0.4473 | 1.821 | 1.999 | 0.4593 | 0.8522 | 1 | 1 | 0.2829 | 0.9676 | 0 | 0.4989 | 1.706 | 0 | json |
| t17_x13_u5_b36 | 17 | 13 | 5 | 36 | ![]() |
div(D,div(D,sgn(D))) | 109149 | 138576471 | o2(x,o2(x,o1(x))) | true | 33199 | 33199 | -1.819e-12 | 0.5 | 0.6889 | 0.5671 | 0.753 | -0.9994 | 0.9994 | 1.999 | 1 | 3.406 | 0.2604 | 0 | 0.2456 | 1 | 1 | 0 | 0.4833 | 0.2673 | 0.2 | 0.4473 | 1.821 | 1.999 | 0.4593 | 0.8522 | 1 | 1 | 0.2829 | 0.9676 | 0 | 0.4989 | 1.706 | 0 | json |
| t17_x13_u5_b37 | 17 | 13 | 5 | 37 | ![]() |
div(D,pow(D,sgn(D))) | 109150 | 138576472 | o2(x,o2(x,o1(x))) | true | 33207 | 33207 | -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_b38 | 17 | 13 | 5 | 38 | ![]() |
div(D,mod(D,sgn(D))) | 109151 | 138576473 | o2(x,o2(x,o1(x))) | true | 33215 | 33215 | 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_u5_b39 | 17 | 13 | 5 | 39 | ![]() |
div(D,lrg(D,sgn(D))) | 109152 | 138576474 | o2(x,o2(x,o1(x))) | true | 33223 | 33223 | -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_b40 | 17 | 13 | 5 | 40 | ![]() |
div(D,eql(D,sgn(D))) | 109153 | 138576475 | o2(x,o2(x,o1(x))) | true | 33231 | 33231 | -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_b41 | 17 | 13 | 5 | 41 | ![]() |
div(D,min(D,sgn(D))) | 109154 | 138576476 | o2(x,o2(x,o1(x))) | true | 33239 | 33239 | 0.6431 | 1 | 0.6431 | 0.1162 | 0.3409 | 0.03153 | 1 | 0.9685 | 1 | 3.274 | 0.06119 | 0 | 0.1188 | 1 | 1 | -0.0003062 | 0.12 | 0.129 | 0.04706 | 0.2169 | 1.826 | 0.9685 | 0.5264 | 1.033 | 1 | 1 | 0.06301 | 0.1908 | 0 | 0.5421 | 1.641 | 0 | json |
| t17_x13_u5_b42 | 17 | 13 | 5 | 42 | ![]() |
div(D,dot(D,sgn(D))) | 109155 | 138576477 | o2(x,o2(x,o1(x))) | true | 33247 | 33247 | 4.547e-13 | 0.5 | 0.2787 | 0.1099 | 0.3316 | -0.7796 | 0.7796 | 1.559 | 1 | 4.285 | 0.02093 | 0.005144 | 0.1226 | 0.6054 | 1 | 6.607e-9 | 0.0208 | 0.05513 | 0.01103 | 0.105 | 0.8566 | 1.03 | 0.2372 | 0.1892 | 1 | 1 | 0.0445 | 0.2399 | 0 | 0.4048 | 2.182 | 0 | json |
| t17_x13_u5_b43 | 17 | 13 | 5 | 43 | ![]() |
div(D,dst(D,sgn(D))) | 109156 | 138576478 | o2(x,o2(x,o1(x))) | true | 33255 | 33255 | -1.862e-9 | 0.5 | 0.07002 | 0.005996 | 0.07743 | -0.1135 | 0.1135 | 0.2269 | 1 | 1.954 | 0.0009236 | 0.000001455 | 0.02727 | 0.9969 | 1 | 4.898e-10 | 0.0001604 | 0.01086 | 0.0001816 | 0.01348 | 0.4943 | 0.0561 | 0.1543 | 0.02674 | 1 | 1 | 0.001781 | 0.01202 | 0 | 0.297 | 2.004 | 0 | json |
| t17_x13_u5_b44 | 17 | 13 | 5 | 44 | ![]() |
pow(D,add(D,sgn(D))) | 109157 | 138576479 | o2(x,o2(x,o1(x))) | true | 33263 | 33263 | -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_b45 | 17 | 13 | 5 | 45 | ![]() |
pow(D,sub(D,sgn(D))) | 109158 | 138576480 | o2(x,o2(x,o1(x))) | true | 33271 | 33271 | -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_b46 | 17 | 13 | 5 | 46 | ![]() |
pow(D,mlt(D,sgn(D))) | 109159 | 138576481 | o2(x,o2(x,o1(x))) | true | 33279 | 33279 | -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_b47 | 17 | 13 | 5 | 47 | ![]() |
pow(D,div(D,sgn(D))) | 109160 | 138576482 | o2(x,o2(x,o1(x))) | true | 33287 | 33287 | -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_b48 | 17 | 13 | 5 | 48 | ![]() |
pow(D,pow(D,sgn(D))) | 109161 | 138576483 | o2(x,o2(x,o1(x))) | true | 33295 | 33295 | -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_b49 | 17 | 13 | 5 | 49 | ![]() |
pow(D,mod(D,sgn(D))) | 109162 | 138576484 | o2(x,o2(x,o1(x))) | true | 33303 | 33303 | -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_b50 | 17 | 13 | 5 | 50 | ![]() |
pow(D,lrg(D,sgn(D))) | 109163 | 138576485 | o2(x,o2(x,o1(x))) | true | 33311 | 33311 | -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_b51 | 17 | 13 | 5 | 51 | ![]() |
pow(D,eql(D,sgn(D))) | 109164 | 138576486 | o2(x,o2(x,o1(x))) | true | 33319 | 33319 | 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_b52 | 17 | 13 | 5 | 52 | ![]() |
pow(D,min(D,sgn(D))) | 109165 | 138576487 | o2(x,o2(x,o1(x))) | true | 33327 | 33327 | -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_b53 | 17 | 13 | 5 | 53 | ![]() |
pow(D,dot(D,sgn(D))) | 109166 | 138576488 | o2(x,o2(x,o1(x))) | true | 33335 | 33335 | -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_b54 | 17 | 13 | 5 | 54 | ![]() |
pow(D,dst(D,sgn(D))) | 109167 | 138576489 | o2(x,o2(x,o1(x))) | true | 33343 | 33343 | -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_b55 | 17 | 13 | 5 | 55 | ![]() |
mod(D,add(D,sgn(D))) | 109168 | 138576490 | o2(x,o2(x,o1(x))) | true | 33351 | 33351 | 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_b56 | 17 | 13 | 5 | 56 | ![]() |
mod(D,sub(D,sgn(D))) | 109169 | 138576491 | o2(x,o2(x,o1(x))) | true | 33359 | 33359 | -7.105e-13 | 0.5 | 0.1661 | 0.03198 | 0.1788 | -0.2342 | 0.2342 | 0.4683 | 1 | 2.549 | 0.01552 | 0 | 0.06477 | 1 | 1 | 0 | 0.03123 | 0.07942 | 0.01132 | 0.1064 | 1.643 | 0.4683 | 0.4853 | 0.9766 | 1 | 1 | 0.01537 | 0.05692 | 0 | 0.4806 | 1.78 | 0 | json |
| t17_x13_u5_b57 | 17 | 13 | 5 | 57 | ![]() |
mod(D,mlt(D,sgn(D))) | 109170 | 138576492 | o2(x,o2(x,o1(x))) | true | 33367 | 33367 | -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_u5_b58 | 17 | 13 | 5 | 58 | ![]() |
mod(D,div(D,sgn(D))) | 109171 | 138576493 | o2(x,o2(x,o1(x))) | true | 33375 | 33375 | -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_u5_b59 | 17 | 13 | 5 | 59 | ![]() |
mod(D,pow(D,sgn(D))) | 109172 | 138576494 | o2(x,o2(x,o1(x))) | true | 33383 | 33383 | -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_b60 | 17 | 13 | 5 | 60 | ![]() |
mod(D,mod(D,sgn(D))) | 109173 | 138576495 | o2(x,o2(x,o1(x))) | true | 33391 | 33391 | -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_u5_b61 | 17 | 13 | 5 | 61 | ![]() |
mod(D,lrg(D,sgn(D))) | 109174 | 138576496 | o2(x,o2(x,o1(x))) | true | 33399 | 33399 | -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_b62 | 17 | 13 | 5 | 62 | ![]() |
mod(D,eql(D,sgn(D))) | 109175 | 138576497 | o2(x,o2(x,o1(x))) | true | 33407 | 33407 | -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_b63 | 17 | 13 | 5 | 63 | ![]() |
mod(D,min(D,sgn(D))) | 109176 | 138576498 | o2(x,o2(x,o1(x))) | true | 33415 | 33415 | -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_u5_b64 | 17 | 13 | 5 | 64 | ![]() |
mod(D,dot(D,sgn(D))) | 109177 | 138576499 | o2(x,o2(x,o1(x))) | true | 33423 | 33423 | 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_b65 | 17 | 13 | 5 | 65 | ![]() |
mod(D,dst(D,sgn(D))) | 109178 | 138576500 | o2(x,o2(x,o1(x))) | true | 33431 | 33431 | -5.872e-11 | 0.5 | 0.1097 | 0.0155 | 0.1245 | -0.2558 | 0.2558 | 0.5116 | 1 | 2.964 | 0.002973 | 0.0004129 | 0.05033 | 0.7561 | 1 | 2.404e-10 | 0.005138 | 0.03806 | 0.0008539 | 0.02922 | 0.5806 | 0.2031 | 0.2184 | 0.3314 | 1 | 1 | 0.005219 | 0.0319 | 0 | 0.3366 | 2.057 | 0 | json |
| t17_x13_u5_b66 | 17 | 13 | 5 | 66 | ![]() |
lrg(D,add(D,sgn(D))) | 109179 | 138576501 | o2(x,o2(x,o1(x))) | true | 33439 | 33439 | 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_u5_b67 | 17 | 13 | 5 | 67 | ![]() |
lrg(D,sub(D,sgn(D))) | 109180 | 138576502 | o2(x,o2(x,o1(x))) | true | 33447 | 33447 | 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_u5_b68 | 17 | 13 | 5 | 68 | ![]() |
lrg(D,mlt(D,sgn(D))) | 109181 | 138576503 | o2(x,o2(x,o1(x))) | true | 33455 | 33455 | 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_b69 | 17 | 13 | 5 | 69 | ![]() |
lrg(D,div(D,sgn(D))) | 109182 | 138576504 | o2(x,o2(x,o1(x))) | true | 33463 | 33463 | 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_b70 | 17 | 13 | 5 | 70 | ![]() |
lrg(D,pow(D,sgn(D))) | 109183 | 138576505 | o2(x,o2(x,o1(x))) | true | 33471 | 33471 | 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_u5_b71 | 17 | 13 | 5 | 71 | ![]() |
lrg(D,mod(D,sgn(D))) | 109184 | 138576506 | o2(x,o2(x,o1(x))) | true | 33479 | 33479 | 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_b72 | 17 | 13 | 5 | 72 | ![]() |
lrg(D,lrg(D,sgn(D))) | 109185 | 138576507 | o2(x,o2(x,o1(x))) | true | 33487 | 33487 | 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_u5_b73 | 17 | 13 | 5 | 73 | ![]() |
lrg(D,eql(D,sgn(D))) | 109186 | 138576508 | o2(x,o2(x,o1(x))) | true | 33495 | 33495 | 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_u5_b74 | 17 | 13 | 5 | 74 | ![]() |
lrg(D,min(D,sgn(D))) | 109187 | 138576509 | o2(x,o2(x,o1(x))) | true | 33503 | 33503 | 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_u5_b75 | 17 | 13 | 5 | 75 | ![]() |
lrg(D,dot(D,sgn(D))) | 109188 | 138576510 | o2(x,o2(x,o1(x))) | true | 33511 | 33511 | 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_b76 | 17 | 13 | 5 | 76 | ![]() |
lrg(D,dst(D,sgn(D))) | 109189 | 138576511 | o2(x,o2(x,o1(x))) | true | 33519 | 33519 | 0.01303 | 0.3984 | 0.01303 | 0.001129 | 0.0336 | 0 | 0.2255 | 0.2255 | 1 | 0.5294 | 0.0009675 | 0.0004839 | 0.0154 | 0.3332 | 1 | -0.00007144 | 0.005544 | 0.02665 | 0.001214 | 0.03484 | 2.262 | 0.25 | 1.285 | 4.909 | 1 | 1 | 0.001272 | 0.002537 | 0 | 1.126 | 2.247 | 0 | json |
| t17_x13_u5_b77 | 17 | 13 | 5 | 77 | ![]() |
eql(D,add(D,sgn(D))) | 109190 | 138576512 | o2(x,o2(x,o1(x))) | true | 33527 | 33527 | 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_b78 | 17 | 13 | 5 | 78 | ![]() |
eql(D,sub(D,sgn(D))) | 109191 | 138576513 | o2(x,o2(x,o1(x))) | true | 33535 | 33535 | 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_b79 | 17 | 13 | 5 | 79 | ![]() |
eql(D,mlt(D,sgn(D))) | 109192 | 138576514 | o2(x,o2(x,o1(x))) | true | 33543 | 33543 | 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_u5_b80 | 17 | 13 | 5 | 80 | ![]() |
eql(D,div(D,sgn(D))) | 109193 | 138576515 | o2(x,o2(x,o1(x))) | true | 33551 | 33551 | 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_u5_b81 | 17 | 13 | 5 | 81 | ![]() |
eql(D,pow(D,sgn(D))) | 109194 | 138576516 | o2(x,o2(x,o1(x))) | true | 33559 | 33559 | 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_u5_b82 | 17 | 13 | 5 | 82 | ![]() |
eql(D,mod(D,sgn(D))) | 109195 | 138576517 | o2(x,o2(x,o1(x))) | true | 33567 | 33567 | 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_b83 | 17 | 13 | 5 | 83 | ![]() |
eql(D,lrg(D,sgn(D))) | 109196 | 138576518 | o2(x,o2(x,o1(x))) | true | 33575 | 33575 | 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_b84 | 17 | 13 | 5 | 84 | ![]() |
eql(D,eql(D,sgn(D))) | 109197 | 138576519 | o2(x,o2(x,o1(x))) | true | 33583 | 33583 | 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_b85 | 17 | 13 | 5 | 85 | ![]() |
eql(D,min(D,sgn(D))) | 109198 | 138576520 | o2(x,o2(x,o1(x))) | true | 33591 | 33591 | 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_u5_b86 | 17 | 13 | 5 | 86 | ![]() |
eql(D,dot(D,sgn(D))) | 109199 | 138576521 | o2(x,o2(x,o1(x))) | true | 33599 | 33599 | 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 |



































































































