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_x12_u0_b39 | 17 | 12 | 0 | 39 | ![]() |
div(D,lrg(D,sqt(P))) | 107700 | 138535068 | o2(x,o2(x,o1(x))) | true | 21607 | 21607 | -0.5625 | 0.2188 | 0.6038 | 0.2508 | 0.5008 | -1 | 0.1454 | 1.145 | 1 | 2.109 | 0.004427 | 0 | 0.01938 | 1 | 1 | -0.0001582 | 0.008005 | 0.01426 | 0.004053 | 0.06366 | 3.285 | 0.969 | 0.01765 | 0.03192 | 1 | 1 | 0.005908 | 0.02549 | 0.08512 | 0.02356 | 0.1016 | 0.3394 | json |
| t17_x12_u0_b40 | 17 | 12 | 0 | 40 | ![]() |
div(D,eql(D,sqt(P))) | 107701 | 138535069 | o2(x,o2(x,o1(x))) | true | 21615 | 21615 | -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_x12_u0_b41 | 17 | 12 | 0 | 41 | ![]() |
div(D,min(D,sqt(P))) | 107702 | 138535070 | o2(x,o2(x,o1(x))) | true | 21623 | 21623 | 0.875 | 0.9375 | 1 | 0.2344 | 0.4841 | -1 | 1 | 2 | 1 | 0.3373 | 0.03175 | 0 | 0.01587 | 1 | 1 | 8.326e-8 | 0.06349 | 0.03175 | 0.03149 | 0.1774 | 11.18 | 2 | 0.1354 | 0.2709 | 1 | 1 | 0.04211 | 0.1684 | 0.3368 | 0.1796 | 0.7186 | 1.437 | json |
| t17_x12_u0_b42 | 17 | 12 | 0 | 42 | ![]() |
div(D,dot(D,sqt(P))) | 107703 | 138535071 | o2(x,o2(x,o1(x))) | true | 21631 | 21631 | -0.7054 | 0.1708 | 0.868 | 0.3372 | 0.5807 | -1 | 1 | 2 | 1 | 1.798 | 0.07002 | 0.07896 | 0.09611 | -0.06001 | 1 | 0.00004903 | 0.6325 | 0.192 | 0.1397 | 0.3738 | 3.889 | 2.828 | 0.4418 | 1.876 | 1 | 1 | 0.1232 | 0.199 | 0.2451 | 0.3655 | 0.5903 | 0.7269 | json |
| t17_x12_u0_b43 | 17 | 12 | 0 | 43 | ![]() |
div(D,dst(D,sqt(P))) | 107704 | 138535072 | o2(x,o2(x,o1(x))) | true | 21639 | 21639 | -0.7451 | 0.148 | 0.7606 | 0.1958 | 0.4425 | -1 | 0.9383 | 1.938 | 1 | 1.23 | 0.00221 | 0.002507 | 0.00814 | -0.06289 | 1 | 0.0000177 | 0.009226 | 0.009874 | 0.004649 | 0.06819 | 8.377 | 1.938 | 0.02409 | 0.04712 | 1 | 1 | 0.006713 | 0.0276 | 0.09309 | 0.03428 | 0.141 | 0.4755 | json |
| t17_x12_u0_b44 | 17 | 12 | 0 | 44 | ![]() |
pow(D,add(D,sqt(P))) | 107705 | 138535073 | o2(x,o2(x,o1(x))) | true | 21647 | 21647 | -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_x12_u0_b45 | 17 | 12 | 0 | 45 | ![]() |
pow(D,sub(D,sqt(P))) | 107706 | 138535074 | o2(x,o2(x,o1(x))) | true | 21655 | 21655 | -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_x12_u0_b46 | 17 | 12 | 0 | 46 | ![]() |
pow(D,mlt(D,sqt(P))) | 107707 | 138535075 | o2(x,o2(x,o1(x))) | true | 21663 | 21663 | -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_x12_u0_b47 | 17 | 12 | 0 | 47 | ![]() |
pow(D,div(D,sqt(P))) | 107708 | 138535076 | o2(x,o2(x,o1(x))) | true | 21671 | 21671 | -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_x12_u0_b48 | 17 | 12 | 0 | 48 | ![]() |
pow(D,pow(D,sqt(P))) | 107709 | 138535077 | o2(x,o2(x,o1(x))) | true | 21679 | 21679 | -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_x12_u0_b49 | 17 | 12 | 0 | 49 | ![]() |
pow(D,mod(D,sqt(P))) | 107710 | 138535078 | o2(x,o2(x,o1(x))) | true | 21687 | 21687 | -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_x12_u0_b50 | 17 | 12 | 0 | 50 | ![]() |
pow(D,lrg(D,sqt(P))) | 107711 | 138535079 | o2(x,o2(x,o1(x))) | true | 21695 | 21695 | 0.08038 | 0.5625 | 0.9554 | 0.9353 | 0.9671 | -1 | 1 | 2 | 1 | 1.633 | 0.008617 | 0 | 0.01562 | 1 | 1 | 1.419e-9 | 0.01591 | 0.01708 | 0.008372 | 0.0915 | 5.857 | 1.032 | 0.009212 | 0.01701 | 1 | 1 | 0.0123 | 0.06345 | 0.2576 | 0.01315 | 0.06784 | 0.2754 | json |
| t17_x12_u0_b51 | 17 | 12 | 0 | 51 | ![]() |
pow(D,eql(D,sqt(P))) | 107712 | 138535080 | o2(x,o2(x,o1(x))) | true | 21703 | 21703 | 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_x12_u0_b52 | 17 | 12 | 0 | 52 | ![]() |
pow(D,min(D,sqt(P))) | 107713 | 138535081 | o2(x,o2(x,o1(x))) | true | 21711 | 21711 | -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_x12_u0_b53 | 17 | 12 | 0 | 53 | ![]() |
pow(D,dot(D,sqt(P))) | 107714 | 138535082 | o2(x,o2(x,o1(x))) | true | 21719 | 21719 | -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_x12_u0_b54 | 17 | 12 | 0 | 54 | ![]() |
pow(D,dst(D,sqt(P))) | 107715 | 138535083 | o2(x,o2(x,o1(x))) | true | 21727 | 21727 | -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_x12_u0_b55 | 17 | 12 | 0 | 55 | ![]() |
mod(D,add(D,sqt(P))) | 107716 | 138535084 | o2(x,o2(x,o1(x))) | true | 21735 | 21735 | -0.5028 | 0.2344 | 0.5511 | 0.2541 | 0.5041 | -1 | 0.2389 | 1.239 | 1 | 2.44 | 0.006526 | 0 | 0.0274 | 1 | 1 | 0.0001582 | 0.01143 | 0.02538 | 0.005776 | 0.076 | 2.774 | 1 | 0.02568 | 0.045 | 1 | 1 | 0.009245 | 0.03823 | 0.08308 | 0.03639 | 0.1505 | 0.327 | json |
| t17_x12_u0_b56 | 17 | 12 | 0 | 56 | ![]() |
mod(D,sub(D,sqt(P))) | 107717 | 138535085 | o2(x,o2(x,o1(x))) | true | 21743 | 21743 | -0.5086 | 0.2344 | 0.5525 | 0.2485 | 0.4985 | -1 | 0.1454 | 1.145 | 1 | 2.426 | 0.006068 | 0 | 0.02743 | 1 | 1 | 0.0001582 | 0.01047 | 0.02549 | 0.005316 | 0.07291 | 2.659 | 0.9997 | 0.02441 | 0.04214 | 1 | 1 | 0.008666 | 0.03577 | 0.07645 | 0.03487 | 0.1439 | 0.3076 | json |
| t17_x12_u0_b57 | 17 | 12 | 0 | 57 | ![]() |
mod(D,mlt(D,sqt(P))) | 107718 | 138535086 | o2(x,o2(x,o1(x))) | true | 21751 | 21751 | -0.5682 | 0.2031 | 0.6062 | 0.2454 | 0.4953 | -1 | 0.1454 | 1.145 | 1 | 2.195 | 0.005619 | 0 | 0.02348 | 1 | 1 | 0.0001582 | 0.009819 | 0.0219 | 0.005067 | 0.07118 | 3.032 | 0.9997 | 0.0229 | 0.04002 | 1 | 1 | 0.00791 | 0.03198 | 0.07883 | 0.03224 | 0.1303 | 0.3213 | json |
| t17_x12_u0_b58 | 17 | 12 | 0 | 58 | ![]() |
mod(D,div(D,sqt(P))) | 107719 | 138535087 | o2(x,o2(x,o1(x))) | true | 21759 | 21759 | -0.5619 | 0.1797 | 0.5795 | 0.2482 | 0.4982 | -1 | 0.2158 | 1.216 | 1 | 1.765 | 0.005458 | 0 | 0.01647 | 1 | 1 | 0.00004994 | 0.01092 | 0.02621 | 0.005188 | 0.07203 | 4.374 | 0.9999 | 0.02199 | 0.04401 | 1 | 1 | 0.007204 | 0.0264 | 0.08473 | 0.02902 | 0.1064 | 0.3414 | json |
| t17_x12_u0_b59 | 17 | 12 | 0 | 59 | ![]() |
mod(D,pow(D,sqt(P))) | 107720 | 138535088 | o2(x,o2(x,o1(x))) | true | 21767 | 21767 | -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_x12_u0_b60 | 17 | 12 | 0 | 60 | ![]() |
mod(D,mod(D,sqt(P))) | 107721 | 138535089 | o2(x,o2(x,o1(x))) | true | 21775 | 21775 | -0.5625 | 0.1094 | 0.608 | 0.2567 | 0.5066 | -1 | 0.2729 | 1.273 | 1 | 1.973 | 0.02122 | 0 | 0.06678 | 1 | 1 | -0.0003694 | 0.04891 | 0.1312 | 0.01676 | 0.1295 | 1.938 | 1 | 0.08268 | 0.1906 | 1 | 1 | 0.01866 | 0.03857 | 0.08624 | 0.07272 | 0.1503 | 0.336 | json |
| t17_x12_u0_b61 | 17 | 12 | 0 | 61 | ![]() |
mod(D,lrg(D,sqt(P))) | 107722 | 138535090 | o2(x,o2(x,o1(x))) | true | 21783 | 21783 | -0.5625 | 0.2188 | 0.6038 | 0.2508 | 0.5008 | -1 | 0.1454 | 1.145 | 1 | 2.109 | 0.004427 | 0 | 0.01938 | 1 | 1 | -0.0001582 | 0.008005 | 0.01426 | 0.004053 | 0.06366 | 3.285 | 0.969 | 0.01765 | 0.03192 | 1 | 1 | 0.005908 | 0.02549 | 0.08512 | 0.02356 | 0.1016 | 0.3394 | json |
| t17_x12_u0_b62 | 17 | 12 | 0 | 62 | ![]() |
mod(D,eql(D,sqt(P))) | 107723 | 138535091 | o2(x,o2(x,o1(x))) | true | 21791 | 21791 | -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_x12_u0_b63 | 17 | 12 | 0 | 63 | ![]() |
mod(D,min(D,sqt(P))) | 107724 | 138535092 | o2(x,o2(x,o1(x))) | true | 21799 | 21799 | -0.0625 | 0.2344 | 0.1598 | 0.08118 | 0.2849 | -1 | 0.2729 | 1.273 | 1 | 2.447 | 0.04487 | 0 | 0.1422 | 1 | 1 | 0 | 0.1053 | 0.2811 | 0.02465 | 0.157 | 1.104 | 1 | 0.5527 | 1.297 | 1 | 1 | 0.03891 | 0.06967 | 0.08624 | 0.4792 | 0.8582 | 1.062 | json |
| t17_x12_u0_b64 | 17 | 12 | 0 | 64 | ![]() |
mod(D,dot(D,sqt(P))) | 107725 | 138535093 | o2(x,o2(x,o1(x))) | true | 21807 | 21807 | -0.7572 | 0.1152 | 0.7788 | 0.1851 | 0.4302 | -1 | 0.2708 | 1.271 | 1 | 1.501 | 0.005917 | 0.005673 | 0.02291 | 0.02103 | 1 | 0.00008299 | 0.04848 | 0.03929 | 0.01107 | 0.1052 | 4.591 | 1.647 | 0.06261 | 0.2619 | 1 | 1 | 0.01075 | 0.03207 | 0.08536 | 0.05806 | 0.1732 | 0.4612 | json |
| t17_x12_u0_b65 | 17 | 12 | 0 | 65 | ![]() |
mod(D,dst(D,sqt(P))) | 107726 | 138535094 | o2(x,o2(x,o1(x))) | true | 21815 | 21815 | -0.7501 | 0.125 | 0.7735 | 0.1901 | 0.436 | -1 | 0.1454 | 1.145 | 1 | 1.456 | 0.002524 | 0.001991 | 0.01308 | 0.1179 | 1 | 0.00007909 | 0.008105 | 0.01163 | 0.004343 | 0.0659 | 5.038 | 1.145 | 0.02375 | 0.04263 | 1 | 1 | 0.006384 | 0.02872 | 0.08493 | 0.03358 | 0.1511 | 0.4467 | json |
| t17_x12_u0_b66 | 17 | 12 | 0 | 66 | ![]() |
lrg(D,add(D,sqt(P))) | 107727 | 138535095 | o2(x,o2(x,o1(x))) | true | 21823 | 21823 | 0.4688 | 0.5 | 0.4688 | 0.2423 | 0.4922 | 0 | 1 | 1 | 1 | 1.326 | 0.0003529 | 0 | 0.003968 | 1 | 1 | -4.731e-10 | 0.00001619 | 0.0009276 | 0.0003372 | 0.01836 | 4.628 | 0.1169 | 0.001457 | 0.00006684 | 1 | 1 | 0.0009255 | 0.01214 | 0.0751 | 0.00382 | 0.05012 | 0.31 | json |
| t17_x12_u0_b67 | 17 | 12 | 0 | 67 | ![]() |
lrg(D,sub(D,sqt(P))) | 107728 | 138535096 | o2(x,o2(x,o1(x))) | true | 21831 | 21831 | 0.9375 | 1 | 0.9375 | 0.04507 | 0.2123 | 0.000291 | 1 | 0.9997 | 1 | 0.8126 | 0.0007059 | 0 | 0.007934 | 1 | 1 | -9.461e-10 | 0.00003241 | 0.001855 | 0.0006433 | 0.02536 | 3.197 | 0.1169 | 0.01566 | 0.0007193 | 1 | 1 | 0.001851 | 0.02408 | 0.06598 | 0.04107 | 0.5344 | 1.464 | json |
| t17_x12_u0_b68 | 17 | 12 | 0 | 68 | ![]() |
lrg(D,mlt(D,sqt(P))) | 107729 | 138535097 | o2(x,o2(x,o1(x))) | true | 21839 | 21839 | 0.7188 | 1 | 0.7188 | 0.1413 | 0.3759 | 0.000291 | 1 | 0.9997 | 1 | 2.519 | 0.03092 | 0 | 0.06344 | 1 | 1 | 0.00008984 | 0.05639 | 0.06378 | 0.0269 | 0.164 | 2.585 | 0.9994 | 0.2189 | 0.3991 | 1 | 1 | 0.035 | 0.1339 | 0.08075 | 0.2477 | 0.9477 | 0.5716 | json |
| t17_x12_u0_b69 | 17 | 12 | 0 | 69 | ![]() |
lrg(D,div(D,sqt(P))) | 107730 | 138535098 | o2(x,o2(x,o1(x))) | true | 21847 | 21847 | 0.6875 | 0.875 | 0.6875 | 0.1743 | 0.4175 | 0 | 1 | 1 | 1 | 2.191 | 0.02987 | 0 | 0.05154 | 1 | 1 | -0.00008984 | 0.05619 | 0.06101 | 0.02723 | 0.165 | 3.202 | 1 | 0.1714 | 0.3225 | 1 | 1 | 0.03234 | 0.1169 | 0.1172 | 0.1856 | 0.6709 | 0.6725 | json |
| t17_x12_u0_b70 | 17 | 12 | 0 | 70 | ![]() |
lrg(D,pow(D,sqt(P))) | 107731 | 138535099 | o2(x,o2(x,o1(x))) | true | 21855 | 21855 | 0.9063 | 1 | 0.9063 | 0.06467 | 0.2543 | 0.000291 | 1 | 0.9997 | 1 | 1.124 | 0.005022 | 0 | 0.01587 | 1 | 1 | -9.461e-10 | 0.008084 | 0.01071 | 0.004767 | 0.06905 | 4.352 | 0.9994 | 0.07766 | 0.125 | 1 | 1 | 0.007962 | 0.04437 | 0.08986 | 0.1231 | 0.6862 | 1.39 | json |
| t17_x12_u0_b71 | 17 | 12 | 0 | 71 | ![]() |
lrg(D,mod(D,sqt(P))) | 107732 | 138535100 | o2(x,o2(x,o1(x))) | true | 21863 | 21863 | 0.5313 | 0.5625 | 0.5313 | 0.2423 | 0.4922 | 0 | 1 | 1 | 1 | 1.326 | 0.0003529 | 0 | 0.003968 | 1 | 1 | -4.731e-10 | 0.00001619 | 0.0009276 | 0.0003372 | 0.01836 | 4.628 | 0.1169 | 0.001457 | 0.00006684 | 1 | 1 | 0.0009255 | 0.01214 | 0.0751 | 0.00382 | 0.05012 | 0.31 | json |
| t17_x12_u0_b72 | 17 | 12 | 0 | 72 | ![]() |
lrg(D,lrg(D,sqt(P))) | 107733 | 138535101 | o2(x,o2(x,o1(x))) | true | 21871 | 21871 | 0.2188 | 0.4375 | 0.2188 | 0.1235 | 0.3515 | 0 | 0.9997 | 0.9997 | 1 | 2.124 | 0.03022 | 0 | 0.0555 | 1 | 1 | -0.00008984 | 0.05631 | 0.06193 | 0.02713 | 0.1647 | 2.967 | 0.9997 | 0.2446 | 0.4558 | 1 | 1 | 0.03318 | 0.1162 | 0.03299 | 0.2686 | 0.9402 | 0.267 | json |
| t17_x12_u0_b73 | 17 | 12 | 0 | 73 | ![]() |
lrg(D,eql(D,sqt(P))) | 107734 | 138535102 | o2(x,o2(x,o1(x))) | true | 21879 | 21879 | 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_x12_u0_b74 | 17 | 12 | 0 | 74 | ![]() |
lrg(D,min(D,sqt(P))) | 107735 | 138535103 | o2(x,o2(x,o1(x))) | true | 21887 | 21887 | 0.03125 | 0.0625 | 0.03125 | 0.02351 | 0.1533 | 0 | 0.9997 | 0.9997 | 1 | 0.459 | 0.004319 | 0 | 0.007934 | 1 | 1 | -2.365e-10 | 0.008002 | 0.008862 | 0.004255 | 0.06523 | 8.221 | 0.9997 | 0.1837 | 0.3404 | 1 | 1 | 0.00615 | 0.02664 | 0.03299 | 0.2616 | 1.133 | 1.403 | json |
| t17_x12_u0_b75 | 17 | 12 | 0 | 75 | ![]() |
lrg(D,dot(D,sqt(P))) | 107736 | 138535104 | o2(x,o2(x,o1(x))) | true | 21895 | 21895 | 0.8679 | 1 | 0.8679 | 0.07137 | 0.2672 | 0.000291 | 1 | 0.9997 | 1 | 1.799 | 0.007246 | 0.01144 | 0.04046 | -0.2244 | 1 | -0.000238 | 0.056 | 0.04934 | 0.01705 | 0.1306 | 3.228 | 1.413 | 0.2618 | 0.7846 | 1 | 1 | 0.02073 | 0.0742 | 0.04306 | 0.2904 | 1.04 | 0.6033 | json |
| t17_x12_u0_b76 | 17 | 12 | 0 | 76 | ![]() |
lrg(D,dst(D,sqt(P))) | 107737 | 138535105 | o2(x,o2(x,o1(x))) | true | 21903 | 21903 | 0.7181 | 0.7542 | 0.7181 | 0.1951 | 0.4417 | 0 | 1 | 1 | 1 | 1.206 | 0.0002263 | 0.0001902 | 0.004416 | 0.08651 | 1 | -5.505e-10 | 0.0001571 | 0.001385 | 0.0003968 | 0.01992 | 4.511 | 0.4447 | 0.002135 | 0.0008052 | 1 | 1 | 0.001054 | 0.01295 | 0.07971 | 0.005405 | 0.06639 | 0.4086 | json |
| t17_x12_u0_b77 | 17 | 12 | 0 | 77 | ![]() |
eql(D,add(D,sqt(P))) | 107738 | 138535106 | o2(x,o2(x,o1(x))) | true | 21911 | 21911 | 0.0625 | 0.125 | 0.0625 | 0.04507 | 0.2123 | 0 | 0.9997 | 0.9997 | 1 | 0.8126 | 0.0007059 | 0 | 0.007934 | 1 | 1 | -9.461e-10 | 0.00003241 | 0.001855 | 0.0006433 | 0.02536 | 3.197 | 0.1169 | 0.01566 | 0.0007193 | 1 | 1 | 0.001851 | 0.02408 | 0.06598 | 0.04107 | 0.5344 | 1.464 | json |
| t17_x12_u0_b78 | 17 | 12 | 0 | 78 | ![]() |
eql(D,sub(D,sqt(P))) | 107739 | 138535107 | o2(x,o2(x,o1(x))) | true | 21919 | 21919 | 0.0625 | 0.125 | 0.0625 | 0.04507 | 0.2123 | 0 | 0.9997 | 0.9997 | 1 | 0.8126 | 0.0007059 | 0 | 0.007934 | 1 | 1 | -9.461e-10 | 0.00003241 | 0.001855 | 0.0006433 | 0.02536 | 3.197 | 0.1169 | 0.01566 | 0.0007193 | 1 | 1 | 0.001851 | 0.02408 | 0.06598 | 0.04107 | 0.5344 | 1.464 | json |
| t17_x12_u0_b79 | 17 | 12 | 0 | 79 | ![]() |
eql(D,mlt(D,sqt(P))) | 107740 | 138535108 | o2(x,o2(x,o1(x))) | true | 21927 | 21927 | 0.0625 | 0.125 | 0.0625 | 0.04507 | 0.2123 | 0 | 0.9997 | 0.9997 | 1 | 0.8126 | 0.0007059 | 0 | 0.007934 | 1 | 1 | -9.461e-10 | 0.00003241 | 0.001855 | 0.0006433 | 0.02536 | 3.197 | 0.1169 | 0.01566 | 0.0007193 | 1 | 1 | 0.001851 | 0.02408 | 0.06598 | 0.04107 | 0.5344 | 1.464 | json |
| t17_x12_u0_b80 | 17 | 12 | 0 | 80 | ![]() |
eql(D,div(D,sqt(P))) | 107741 | 138535109 | o2(x,o2(x,o1(x))) | true | 21935 | 21935 | 0.0625 | 0.125 | 0.0625 | 0.04507 | 0.2123 | 0 | 0.9997 | 0.9997 | 1 | 0.8126 | 0.0007059 | 0 | 0.007934 | 1 | 1 | -9.461e-10 | 0.00003241 | 0.001855 | 0.0006433 | 0.02536 | 3.197 | 0.1169 | 0.01566 | 0.0007193 | 1 | 1 | 0.001851 | 0.02408 | 0.06598 | 0.04107 | 0.5344 | 1.464 | json |
| t17_x12_u0_b81 | 17 | 12 | 0 | 81 | ![]() |
eql(D,pow(D,sqt(P))) | 107742 | 138535110 | o2(x,o2(x,o1(x))) | true | 21943 | 21943 | 0.03125 | 0.0625 | 0.03125 | 0.02351 | 0.1533 | 0 | 0.9997 | 0.9997 | 1 | 0.459 | 0.004319 | 0 | 0.007934 | 1 | 1 | -2.365e-10 | 0.008002 | 0.008862 | 0.004255 | 0.06523 | 8.221 | 0.9997 | 0.1837 | 0.3404 | 1 | 1 | 0.00615 | 0.02664 | 0.03299 | 0.2616 | 1.133 | 1.403 | json |
| t17_x12_u0_b82 | 17 | 12 | 0 | 82 | ![]() |
eql(D,mod(D,sqt(P))) | 107743 | 138535111 | o2(x,o2(x,o1(x))) | true | 21951 | 21951 | 0.4688 | 0.5 | 0.4688 | 0.2423 | 0.4922 | 0 | 1 | 1 | 1 | 1.326 | 0.0003529 | 0 | 0.003968 | 1 | 1 | -4.731e-10 | 0.00001619 | 0.0009276 | 0.0003372 | 0.01836 | 4.628 | 0.1169 | 0.001457 | 0.00006684 | 1 | 1 | 0.0009255 | 0.01214 | 0.0751 | 0.00382 | 0.05012 | 0.31 | json |
| t17_x12_u0_b83 | 17 | 12 | 0 | 83 | ![]() |
eql(D,lrg(D,sqt(P))) | 107744 | 138535112 | o2(x,o2(x,o1(x))) | true | 21959 | 21959 | 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_x12_u0_b84 | 17 | 12 | 0 | 84 | ![]() |
eql(D,eql(D,sqt(P))) | 107745 | 138535113 | o2(x,o2(x,o1(x))) | true | 21967 | 21967 | 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_x12_u0_b85 | 17 | 12 | 0 | 85 | ![]() |
eql(D,min(D,sqt(P))) | 107746 | 138535114 | o2(x,o2(x,o1(x))) | true | 21975 | 21975 | 0.9688 | 1 | 0.9688 | 0.02351 | 0.1533 | 0.000291 | 1 | 0.9997 | 1 | 0.459 | 0.004319 | 0 | 0.007934 | 1 | 1 | 0 | 0.008002 | 0.008862 | 0.004255 | 0.06523 | 8.221 | 0.9997 | 0.1837 | 0.3404 | 1 | 1 | 0.00615 | 0.02664 | 0.03299 | 0.2616 | 1.133 | 1.403 | json |
| t17_x12_u0_b86 | 17 | 12 | 0 | 86 | ![]() |
eql(D,dot(D,sqt(P))) | 107747 | 138535115 | o2(x,o2(x,o1(x))) | true | 21983 | 21983 | 0.004289 | 0.01563 | 0.004289 | 0.002675 | 0.05172 | 0 | 0.9994 | 0.9994 | 1 | 0.1134 | 0.0006469 | 0.0006469 | 0.002076 | 4.499e-8 | 1 | -3.987e-12 | 0.007332 | 0.003365 | 0.001291 | 0.03593 | 17.31 | 1.413 | 0.4837 | 2.741 | 1 | 1 | 0.00132 | 0.004253 | 0.009766 | 0.4937 | 1.59 | 3.651 | json |
| t17_x12_u0_b87 | 17 | 12 | 0 | 87 | ![]() |
eql(D,dst(D,sqt(P))) | 107748 | 138535116 | o2(x,o2(x,o1(x))) | true | 21991 | 21991 | 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_x12_u0_b88 | 17 | 12 | 0 | 88 | ![]() |
min(D,add(D,sqt(P))) | 107749 | 138535117 | o2(x,o2(x,o1(x))) | true | 21999 | 21999 | 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_x12_u0_b89 | 17 | 12 | 0 | 89 | ![]() |
min(D,sub(D,sqt(P))) | 107750 | 138535118 | o2(x,o2(x,o1(x))) | true | 22007 | 22007 | -0.4659 | 0.2695 | 0.5153 | 0.2497 | 0.4997 | -1 | 0.1454 | 1.145 | 1 | 2.586 | 0.001478 | 0 | 0.02361 | 1 | 1 | -0.0001582 | 0.0002389 | 0.009793 | 0.0009198 | 0.03033 | 1.284 | 0.1713 | 0.005918 | 0.0009568 | 1 | 1 | 0.003235 | 0.027 | 0.07505 | 0.01295 | 0.1081 | 0.3006 | json |
| t17_x12_u0_b90 | 17 | 12 | 0 | 90 | ![]() |
min(D,mlt(D,sqt(P))) | 107751 | 138535119 | o2(x,o2(x,o1(x))) | true | 22015 | 22015 | -0.08318 | 0.3828 | 0.1482 | 0.03183 | 0.1784 | -0.605 | 0.1454 | 0.7504 | 1 | 3.367 | 0.003397 | 0 | 0.04881 | 1 | 1 | 0.0004246 | 0.0005567 | 0.02024 | 0.001016 | 0.03187 | 0.653 | 0.1574 | 0.1067 | 0.01749 | 1 | 1 | 0.005618 | 0.03807 | 0.003276 | 0.1765 | 1.196 | 0.1029 | json |
| t17_x12_u0_b91 | 17 | 12 | 0 | 91 | ![]() |
min(D,div(D,sqt(P))) | 107752 | 138535120 | o2(x,o2(x,o1(x))) | true | 22023 | 22023 | -0.08916 | 0.3984 | 0.1508 | 0.06556 | 0.2561 | -1 | 0.1454 | 1.145 | 1 | 2.857 | 0.009285 | 0 | 0.03931 | 1 | 1 | 0.00004606 | 0.0161 | 0.02892 | 0.00774 | 0.08798 | 2.238 | 1.031 | 0.1416 | 0.2456 | 1 | 1 | 0.01309 | 0.059 | 0.08554 | 0.1996 | 0.9 | 1.305 | json |
| t17_x12_u0_b92 | 17 | 12 | 0 | 92 | ![]() |
min(D,pow(D,sqt(P))) | 107753 | 138535121 | o2(x,o2(x,o1(x))) | true | 22031 | 22031 | -0.03114 | 0.3633 | 0.09196 | 0.01021 | 0.101 | -0.1922 | 0.1454 | 0.3376 | 1 | 2.568 | 0.001284 | 0 | 0.03106 | 1 | 1 | 0.00002048 | 0.0002266 | 0.01323 | 0.0003197 | 0.01788 | 0.5756 | 0.06192 | 0.1258 | 0.0222 | 1 | 1 | 0.002527 | 0.01665 | 0.0006335 | 0.2476 | 1.632 | 0.06207 | json |
| t17_x12_u0_b93 | 17 | 12 | 0 | 93 | ![]() |
min(D,mod(D,sqt(P))) | 107754 | 138535122 | o2(x,o2(x,o1(x))) | true | 22039 | 22039 | 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_x12_u0_b94 | 17 | 12 | 0 | 94 | ![]() |
min(D,lrg(D,sqt(P))) | 107755 | 138535123 | o2(x,o2(x,o1(x))) | true | 22047 | 22047 | -0.06257 | 0.2813 | 0.1156 | 0.01516 | 0.1231 | -0.2729 | 0.1454 | 0.4183 | 1 | 2.916 | 0.001539 | 0 | 0.03506 | 1 | 1 | 0.00007403 | 0.0002631 | 0.01426 | 0.0003109 | 0.01763 | 0.503 | 0.06192 | 0.1015 | 0.01735 | 1 | 1 | 0.002959 | 0.01966 | 0.0025 | 0.1951 | 1.296 | 0.1649 | json |
| t17_x12_u0_b95 | 17 | 12 | 0 | 95 | ![]() |
min(D,eql(D,sqt(P))) | 107756 | 138535124 | o2(x,o2(x,o1(x))) | true | 22055 | 22055 | -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_x12_u0_b96 | 17 | 12 | 0 | 96 | ![]() |
min(D,min(D,sqt(P))) | 107757 | 138535125 | o2(x,o2(x,o1(x))) | true | 22063 | 22063 | -0.008939 | 0.4688 | 0.0974 | 0.01192 | 0.1092 | -0.2729 | 0.1454 | 0.4183 | 1 | 2.704 | 0.00162 | 0 | 0.03595 | 1 | 1 | -1.774e-10 | 0.0002558 | 0.01449 | 0.000328 | 0.01811 | 0.5038 | 0.0622 | 0.1359 | 0.02146 | 1 | 1 | 0.003117 | 0.02204 | 0.0025 | 0.2615 | 1.848 | 0.2097 | json |
| t17_x12_u0_b97 | 17 | 12 | 0 | 97 | ![]() |
min(D,dot(D,sqt(P))) | 107758 | 138535126 | o2(x,o2(x,o1(x))) | true | 22071 | 22071 | -0.09622 | 0.3916 | 0.1679 | 0.05117 | 0.2262 | -1 | 0.1454 | 1.145 | 1 | 3.46 | 0.00243 | 0.001474 | 0.05141 | 0.2448 | 1 | 0.0004334 | 0.0007821 | 0.02025 | 0.001262 | 0.03553 | 0.6911 | 0.231 | 0.0763 | 0.01528 | 1 | 1 | 0.006665 | 0.0464 | 0.01063 | 0.1302 | 0.9068 | 0.2077 | json |
| t17_x12_u0_b98 | 17 | 12 | 0 | 98 | ![]() |
min(D,dst(D,sqt(P))) | 107759 | 138535127 | o2(x,o2(x,o1(x))) | true | 22079 | 22079 | -0.00005011 | 0.5 | 0.09441 | 0.01084 | 0.1041 | -0.2027 | 0.1454 | 0.3481 | 1 | 2.563 | 0.001635 | 6.999e-8 | 0.03612 | 0.9999 | 1 | 6.336e-12 | 0.0002569 | 0.0146 | 0.0003308 | 0.01819 | 0.5035 | 0.08594 | 0.1509 | 0.02371 | 1 | 1 | 0.003159 | 0.02188 | 0.000006371 | 0.2915 | 2.019 | 0.000588 | json |
| t17_x12_u0_b99 | 17 | 12 | 0 | 99 | ![]() |
dot(D,add(D,sqt(P))) | 107760 | 138535128 | o2(x,o2(x,o1(x))) | true | 22087 | 22087 | -0.7158 | 0.1636 | 0.8188 | 0.2665 | 0.5163 | -1 | 0.9952 | 1.995 | 1 | 1.896 | 0.00414 | 0.004139 | 0.0317 | 0.00001091 | 1 | 0.0003407 | 0.01011 | 0.01806 | 0.007275 | 0.08529 | 2.69 | 1.499 | 0.03106 | 0.03792 | 1 | 1 | 0.0115 | 0.06512 | 0.1041 | 0.04313 | 0.2443 | 0.3906 | json |
| t17_x12_u0_b100 | 17 | 12 | 0 | 100 | ![]() |
dot(D,sub(D,sqt(P))) | 107761 | 138535129 | o2(x,o2(x,o1(x))) | true | 22095 | 22095 | -0.6653 | 0.206 | 0.8504 | 0.3652 | 0.6043 | -1 | 1 | 2 | 1 | 1.917 | 0.004962 | 0.004962 | 0.03546 | -0.000001173 | 1 | -0.0005811 | 0.01194 | 0.01953 | 0.008667 | 0.0931 | 2.626 | 1.562 | 0.02718 | 0.03271 | 1 | 1 | 0.01476 | 0.09332 | 0.1733 | 0.04041 | 0.2555 | 0.4746 | json |
| t17_x12_u0_b101 | 17 | 12 | 0 | 101 | ![]() |
dot(D,mlt(D,sqt(P))) | 107762 | 138535130 | o2(x,o2(x,o1(x))) | true | 22103 | 22103 | -0.6401 | 0.25 | 0.8599 | 0.4067 | 0.6377 | -1 | 1 | 2 | 1 | 1.795 | 0.004242 | 0.004242 | 0.02682 | -0.00000472 | 1 | -0.000329 | 0.01267 | 0.01753 | 0.007767 | 0.08813 | 3.286 | 1.677 | 0.02086 | 0.03116 | 1 | 1 | 0.01117 | 0.05853 | 0.1465 | 0.02747 | 0.1439 | 0.3601 | json |
| t17_x12_u0_b102 | 17 | 12 | 0 | 102 | ![]() |
dot(D,div(D,sqt(P))) | 107763 | 138535131 | o2(x,o2(x,o1(x))) | true | 22111 | 22111 | -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_x12_u0_b103 | 17 | 12 | 0 | 103 | ![]() |
dot(D,pow(D,sqt(P))) | 107764 | 138535132 | o2(x,o2(x,o1(x))) | true | 22119 | 22119 | -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_x12_u0_b104 | 17 | 12 | 0 | 104 | ![]() |
dot(D,mod(D,sqt(P))) | 107765 | 138535133 | o2(x,o2(x,o1(x))) | true | 22127 | 22127 | -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_x12_u0_b105 | 17 | 12 | 0 | 105 | ![]() |
dot(D,lrg(D,sqt(P))) | 107766 | 138535134 | o2(x,o2(x,o1(x))) | true | 22135 | 22135 | 0.03575 | 0.4967 | 0.09731 | 0.01625 | 0.1275 | -0.2908 | 0.5458 | 0.8366 | 1 | 2.963 | 0.0008961 | 0.0008962 | 0.03451 | -0.000007827 | 1 | -0.0003163 | 0.0002746 | 0.01256 | 0.0006015 | 0.02453 | 0.7107 | 0.08796 | 0.1103 | 0.0169 | 1 | 1 | 0.003519 | 0.0256 | 0.01 | 0.2165 | 1.575 | 0.6154 | json |
| t17_x12_u0_b106 | 17 | 12 | 0 | 106 | ![]() |
dot(D,eql(D,sqt(P))) | 107767 | 138535135 | o2(x,o2(x,o1(x))) | true | 22143 | 22143 | 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_x12_u0_b107 | 17 | 12 | 0 | 107 | ![]() |
dot(D,min(D,sqt(P))) | 107768 | 138535136 | o2(x,o2(x,o1(x))) | true | 22151 | 22151 | 0.2306 | 1 | 0.2306 | 0.01578 | 0.1256 | 0.0005463 | 0.4946 | 0.4941 | 1 | 2.909 | 0.001191 | 0.001191 | 0.04618 | -0.000006991 | 1 | -0.000481 | 0.0003679 | 0.01572 | 0.0002487 | 0.01577 | 0.3415 | 0.07197 | 0.1509 | 0.02331 | 1 | 1 | 0.004485 | 0.02999 | 0.0009366 | 0.2842 | 1.9 | 0.05935 | json |
| t17_x12_u0_b108 | 17 | 12 | 0 | 108 | ![]() |
dot(D,dot(D,sqt(P))) | 107769 | 138535137 | o2(x,o2(x,o1(x))) | true | 22159 | 22159 | -0.6402 | 0.25 | 0.8598 | 0.407 | 0.638 | -1 | 1 | 2 | 1 | 1.796 | 0.004299 | 0.004299 | 0.02741 | -6.499e-7 | 1 | -0.0003362 | 0.01272 | 0.01797 | 0.007849 | 0.0886 | 3.232 | 1.678 | 0.02112 | 0.03124 | 1 | 1 | 0.01133 | 0.05961 | 0.1466 | 0.02784 | 0.1465 | 0.36 | json |
| t17_x12_u0_b109 | 17 | 12 | 0 | 109 | ![]() |
dot(D,dst(D,sqt(P))) | 107770 | 138535138 | o2(x,o2(x,o1(x))) | true | 22167 | 22167 | -0.8018 | 0.07341 | 0.8432 | 0.1612 | 0.4015 | -1 | 0.914 | 1.914 | 1 | 1.871 | 0.005006 | 0.005006 | 0.04094 | -0.000001767 | 1 | 0.0005836 | 0.007509 | 0.01979 | 0.008337 | 0.09131 | 2.23 | 1.363 | 0.06211 | 0.04658 | 1 | 1 | 0.01495 | 0.0912 | 0.06048 | 0.09272 | 0.5657 | 0.3751 | json |
| t17_x12_u0_b110 | 17 | 12 | 0 | 110 | ![]() |
dst(D,add(D,sqt(P))) | 107771 | 138535139 | o2(x,o2(x,o1(x))) | true | 22175 | 22175 | -0.5009 | 0.25 | 0.9991 | 0.7481 | 0.8649 | -1 | 1 | 2 | 1 | 0.834 | 0.007541 | 0.007541 | 0.007881 | -9.262e-8 | 1 | 1.577e-10 | 0.03016 | 0.01542 | 0.01502 | 0.1226 | 15.55 | 2 | 0.02016 | 0.04031 | 1 | 1 | 0.0197 | 0.08025 | 0.3325 | 0.02634 | 0.1073 | 0.4444 | json |
| t17_x12_u0_b111 | 17 | 12 | 0 | 111 | ![]() |
dst(D,sub(D,sqt(P))) | 107772 | 138535140 | o2(x,o2(x,o1(x))) | true | 22183 | 22183 | -0.5009 | 0.25 | 0.9991 | 0.7481 | 0.8649 | -1 | 1 | 2 | 1 | 0.834 | 0.007541 | 0.007541 | 0.007881 | -9.262e-8 | 1 | 1.577e-10 | 0.03016 | 0.01542 | 0.01502 | 0.1226 | 15.55 | 2 | 0.02016 | 0.04031 | 1 | 1 | 0.0197 | 0.08025 | 0.3325 | 0.02634 | 0.1073 | 0.4444 | json |
| t17_x12_u0_b112 | 17 | 12 | 0 | 112 | ![]() |
dst(D,mlt(D,sqt(P))) | 107773 | 138535141 | o2(x,o2(x,o1(x))) | true | 22191 | 22191 | -0.6347 | 0.25 | 0.8653 | 0.4157 | 0.6447 | -1 | 1 | 2 | 1 | 1.789 | 0.004186 | 0.004186 | 0.02246 | -1.668e-7 | 1 | -0.0003995 | 0.01376 | 0.01589 | 0.007871 | 0.08872 | 3.949 | 1.865 | 0.02014 | 0.03311 | 1 | 1 | 0.01014 | 0.05122 | 0.1451 | 0.02439 | 0.1232 | 0.349 | json |
| t17_x12_u0_b113 | 17 | 12 | 0 | 113 | ![]() |
dst(D,div(D,sqt(P))) | 107774 | 138535142 | o2(x,o2(x,o1(x))) | true | 22199 | 22199 | -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_x12_u0_b114 | 17 | 12 | 0 | 114 | ![]() |
dst(D,pow(D,sqt(P))) | 107775 | 138535143 | o2(x,o2(x,o1(x))) | true | 22207 | 22207 | -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_x12_u0_b115 | 17 | 12 | 0 | 115 | ![]() |
dst(D,mod(D,sqt(P))) | 107776 | 138535144 | o2(x,o2(x,o1(x))) | true | 22215 | 22215 | -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_x12_u0_b116 | 17 | 12 | 0 | 116 | ![]() |
dst(D,lrg(D,sqt(P))) | 107777 | 138535145 | o2(x,o2(x,o1(x))) | true | 22223 | 22223 | 0.8376 | 1 | 0.8376 | 0.06345 | 0.2519 | 0.04419 | 1 | 0.9558 | 1 | 2.301 | 0.001756 | 0.001756 | 0.02671 | 0.00001266 | 1 | -0.00009765 | 0.004945 | 0.0163 | 0.002799 | 0.05291 | 1.981 | 1.308 | 0.05536 | 0.07793 | 1 | 1 | 0.005391 | 0.0258 | 0.02663 | 0.08496 | 0.4066 | 0.4197 | json |
| t17_x12_u0_b117 | 17 | 12 | 0 | 117 | ![]() |
dst(D,eql(D,sqt(P))) | 107778 | 138535146 | o2(x,o2(x,o1(x))) | true | 22231 | 22231 | 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_x12_u0_b118 | 17 | 12 | 0 | 118 | ![]() |
dst(D,min(D,sqt(P))) | 107779 | 138535147 | o2(x,o2(x,o1(x))) | true | 22239 | 22239 | 0.01775 | 0.1211 | 0.01775 | 0.003465 | 0.05886 | 0 | 0.4391 | 0.4391 | 1 | 0.5882 | 0.00009 | 0.00009 | 0.004221 | 8.488e-7 | 1 | -3.46e-10 | 0.00003068 | 0.001688 | 0.0001623 | 0.01274 | 3.018 | 0.07658 | 0.05195 | 0.008853 | 1 | 1 | 0.0004538 | 0.003925 | 0.004847 | 0.131 | 1.133 | 1.399 | json |
| t17_x12_u0_b119 | 17 | 12 | 0 | 119 | ![]() |
dst(D,dot(D,sqt(P))) | 107780 | 138535148 | o2(x,o2(x,o1(x))) | true | 22247 | 22247 | -0.5358 | 0.25 | 0.9642 | 0.661 | 0.813 | -1 | 1 | 2 | 1 | 1.359 | 0.007859 | 0.007859 | 0.0257 | 8.888e-7 | 1 | -0.0004813 | 0.02613 | 0.02684 | 0.01506 | 0.1227 | 4.776 | 2 | 0.02378 | 0.03952 | 1 | 1 | 0.02182 | 0.09725 | 0.27 | 0.03301 | 0.1471 | 0.4085 | json |
| t17_x12_u0_b120 | 17 | 12 | 0 | 120 | ![]() |
dst(D,dst(D,sqt(P))) | 107781 | 138535149 | o2(x,o2(x,o1(x))) | true | 22255 | 22255 | -0.5002 | 0.25 | 0.9998 | 0.7496 | 0.8658 | -1 | 1 | 2 | 1 | 0.816 | 0.007784 | 0.007784 | 0.007916 | -8.973e-8 | 1 | 2.215e-10 | 0.03114 | 0.01571 | 0.01551 | 0.1245 | 15.73 | 2 | 0.02077 | 0.04155 | 1 | 1 | 0.02055 | 0.0834 | 0.336 | 0.02742 | 0.1113 | 0.4483 | json |
| t17_x12_u1_b0 | 17 | 12 | 1 | 0 | ![]() |
add(D,add(D,log(P))) | 107782 | 138535230 | o2(x,o2(x,o1(x))) | true | 22263 | 22263 | -0.1728 | 0.4375 | 0.9522 | 0.9032 | 0.9504 | -1 | 1 | 2 | 1 | 1.641 | 0.004981 | 0 | 0.01059 | 1 | 1 | 9.461e-10 | 0.008123 | 0.01083 | 0.004869 | 0.06978 | 6.589 | 1.062 | 0.005515 | 0.008994 | 1 | 1 | 0.007826 | 0.04378 | 0.2471 | 0.008665 | 0.04848 | 0.2736 | json |
| t17_x12_u1_b1 | 17 | 12 | 1 | 1 | ![]() |
add(D,sub(D,log(P))) | 107783 | 138535231 | o2(x,o2(x,o1(x))) | true | 22271 | 22271 | -0.9432 | 0.02344 | 0.9507 | 0.04306 | 0.2075 | -1 | 0.24 | 1.24 | 1 | 0.9088 | 0.005787 | 0 | 0.01518 | 1 | 1 | -1.892e-9 | 0.008396 | 0.01331 | 0.00556 | 0.07456 | 4.913 | 1.062 | 0.1344 | 0.195 | 1 | 1 | 0.009784 | 0.0483 | 0.05858 | 0.2272 | 1.122 | 1.36 | json |
| t17_x12_u1_b2 | 17 | 12 | 1 | 2 | ![]() |
add(D,mlt(D,log(P))) | 107784 | 138535232 | o2(x,o2(x,o1(x))) | true | 22279 | 22279 | -0.5811 | 0.2031 | 0.6621 | 0.2543 | 0.5042 | -1 | 0.4207 | 1.421 | 1 | 2.649 | 0.008409 | 0 | 0.04148 | 1 | 1 | 0.000497 | 0.008682 | 0.02301 | 0.006686 | 0.08177 | 1.971 | 1.031 | 0.03307 | 0.03415 | 1 | 1 | 0.01241 | 0.0708 | 0.07516 | 0.04879 | 0.2785 | 0.2956 | json |
| t17_x12_u1_b3 | 17 | 12 | 1 | 3 | ![]() |
add(D,div(D,log(P))) | 107785 | 138535233 | o2(x,o2(x,o1(x))) | true | 22287 | 22287 | -0.6164 | 0.1914 | 0.6863 | 0.2578 | 0.5078 | -1 | 0.4003 | 1.4 | 1 | 2.156 | 0.006411 | 0 | 0.02733 | 1 | 1 | 0.0002318 | 0.008361 | 0.0173 | 0.005661 | 0.07524 | 2.753 | 1.076 | 0.02486 | 0.03243 | 1 | 1 | 0.01034 | 0.05723 | 0.09731 | 0.04011 | 0.222 | 0.3774 | json |
| t17_x12_u1_b4 | 17 | 12 | 1 | 4 | ![]() |
add(D,pow(D,log(P))) | 107786 | 138535234 | o2(x,o2(x,o1(x))) | true | 22295 | 22295 | -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_x12_u1_b5 | 17 | 12 | 1 | 5 | ![]() |
add(D,mod(D,log(P))) | 107787 | 138535235 | o2(x,o2(x,o1(x))) | true | 22303 | 22303 | -0.6257 | 0.1875 | 0.6965 | 0.2501 | 0.5001 | -1 | 0.2908 | 1.291 | 1 | 2.087 | 0.00699 | 0 | 0.03169 | 1 | 1 | 0.0003163 | 0.00857 | 0.01935 | 0.005987 | 0.07738 | 2.442 | 1.062 | 0.02795 | 0.03427 | 1 | 1 | 0.01093 | 0.06009 | 0.08726 | 0.0437 | 0.2403 | 0.349 | json |
| t17_x12_u1_b6 | 17 | 12 | 1 | 6 | ![]() |
add(D,lrg(D,log(P))) | 107788 | 138535236 | o2(x,o2(x,o1(x))) | true | 22311 | 22311 | 0.5377 | 0.7734 | 0.5755 | 0.2248 | 0.4741 | -0.1454 | 1 | 1.145 | 1 | 3.003 | 0.006497 | 0 | 0.03671 | 1 | 1 | 0.0001582 | 0.008702 | 0.02481 | 0.005148 | 0.07175 | 1.954 | 1.031 | 0.0289 | 0.03871 | 1 | 1 | 0.01076 | 0.05725 | 0.06252 | 0.04788 | 0.2547 | 0.2781 | json |
| t17_x12_u1_b7 | 17 | 12 | 1 | 7 | ![]() |
add(D,eql(D,log(P))) | 107789 | 138535237 | o2(x,o2(x,o1(x))) | true | 22319 | 22319 | 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_x12_u1_b8 | 17 | 12 | 1 | 8 | ![]() |
add(D,min(D,log(P))) | 107790 | 138535238 | o2(x,o2(x,o1(x))) | true | 22327 | 22327 | -0.134 | 0.4258 | 0.29 | 0.1454 | 0.3814 | -1 | 0.2908 | 1.291 | 1 | 3.251 | 0.01325 | 0 | 0.06969 | 1 | 1 | 1.419e-9 | 0.01677 | 0.04086 | 0.008397 | 0.09164 | 1.315 | 1.031 | 0.0911 | 0.1153 | 1 | 1 | 0.01999 | 0.1051 | 0.1652 | 0.1375 | 0.723 | 1.136 | json |
| t17_x12_u1_b9 | 17 | 12 | 1 | 9 | ![]() |
add(D,dot(D,log(P))) | 107791 | 138535239 | o2(x,o2(x,o1(x))) | true | 22335 | 22335 | -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_x12_u1_b10 | 17 | 12 | 1 | 10 | ![]() |
add(D,dst(D,log(P))) | 107792 | 138535240 | o2(x,o2(x,o1(x))) | true | 22343 | 22343 | -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_x12_u1_b11 | 17 | 12 | 1 | 11 | ![]() |
sub(D,add(D,log(P))) | 107793 | 138535241 | o2(x,o2(x,o1(x))) | true | 22351 | 22351 | -0.9511 | 0 | 0.9511 | 0.03057 | 0.1749 | -1 | -0.0002017 | 0.9998 | 1 | 0.7914 | 0.004183 | 0 | 0.007935 | 1 | 1 | 1.419e-9 | 0.007985 | 0.008951 | 0.004119 | 0.06418 | 8.088 | 0.9998 | 0.1368 | 0.2612 | 1 | 1 | 0.0058 | 0.02375 | 0.04439 | 0.1897 | 0.7769 | 1.452 | json |
| t17_x12_u1_b12 | 17 | 12 | 1 | 12 | ![]() |
sub(D,sub(D,log(P))) | 107794 | 138535242 | o2(x,o2(x,o1(x))) | true | 22359 | 22359 | -0.1739 | 0.4375 | 0.9511 | 0.9053 | 0.9515 | -1 | 1 | 2 | 1 | 1.654 | 0.004186 | 0 | 0.007937 | 1 | 1 | -1.419e-9 | 0.007916 | 0.008917 | 0.004122 | 0.0642 | 8.089 | 1 | 0.004624 | 0.008745 | 1 | 1 | 0.005854 | 0.03284 | 0.2495 | 0.006466 | 0.03627 | 0.2755 | json |
| t17_x12_u1_b13 | 17 | 12 | 1 | 13 | ![]() |
sub(D,mlt(D,log(P))) | 107795 | 138535243 | o2(x,o2(x,o1(x))) | true | 22367 | 22367 | -0.5439 | 0.3047 | 0.5944 | 0.2702 | 0.5198 | -1 | 0.2208 | 1.221 | 1 | 2.039 | 0.004564 | 0 | 0.01435 | 1 | 1 | -0.0001806 | 0.008013 | 0.01184 | 0.004356 | 0.066 | 4.6 | 1.031 | 0.01689 | 0.02966 | 1 | 1 | 0.00637 | 0.03149 | 0.09935 | 0.02358 | 0.1166 | 0.3678 | json |
| t17_x12_u1_b14 | 17 | 12 | 1 | 14 | ![]() |
sub(D,div(D,log(P))) | 107796 | 138535244 | o2(x,o2(x,o1(x))) | true | 22375 | 22375 | -0.5086 | 0.1953 | 0.6418 | 0.3675 | 0.6062 | -1 | 1 | 2 | 1 | 1.923 | 0.03571 | 0 | 0.02516 | 1 | 1 | 0.00008455 | 0.07144 | 0.04168 | 0.03507 | 0.1873 | 7.443 | 2 | 0.09715 | 0.1944 | 1 | 1 | 0.04722 | 0.1868 | 0.2575 | 0.1285 | 0.5084 | 0.7008 | json |
| t17_x12_u1_b15 | 17 | 12 | 1 | 15 | ![]() |
sub(D,pow(D,log(P))) | 107797 | 138535245 | o2(x,o2(x,o1(x))) | true | 22383 | 22383 | -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_x12_u1_b16 | 17 | 12 | 1 | 16 | ![]() |
sub(D,mod(D,log(P))) | 107798 | 138535246 | o2(x,o2(x,o1(x))) | true | 22391 | 22391 | -0.6243 | 0.01953 | 0.6257 | 0.2354 | 0.4851 | -1 | 0.09647 | 1.096 | 1 | 0.9858 | 0.004018 | 0 | 0.004734 | 1 | 1 | 1.732e-13 | 0.008056 | 0.009064 | 0.003993 | 0.06319 | 13.35 | 1 | 0.01707 | 0.03423 | 1 | 1 | 0.005316 | 0.02112 | 0.08519 | 0.02259 | 0.08972 | 0.3619 | json |
| t17_x12_u1_b17 | 17 | 12 | 1 | 17 | ![]() |
sub(D,lrg(D,log(P))) | 107799 | 138535247 | o2(x,o2(x,o1(x))) | true | 22399 | 22399 | -0.5399 | 0.1875 | 0.5753 | 0.2101 | 0.4584 | -1 | 0.1454 | 1.145 | 1 | 3.316 | 0.005062 | 0 | 0.03473 | 1 | 1 | 4.731e-10 | 0.00844 | 0.02109 | 0.003858 | 0.06211 | 1.788 | 0.9375 | 0.02409 | 0.04016 | 1 | 1 | 0.007139 | 0.03117 | 0.05954 | 0.03397 | 0.1483 | 0.2833 | json |



































































































