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_x3_u6_b36 | 17 | 3 | 6 | 36 | ![]() |
div(P,div(D,nrm(P))) | 100800 | 138172662 | o2(x,o2(x,o1(x))) | true | 123207 | 123207 | -0.01562 | 0.4896 | 0.8858 | 0.8614 | 0.9281 | -1 | 1 | 2 | 1 | 2.259 | 0.3538 | 0.001542 | 0.2292 | 0.9913 | 1 | 3.116e-10 | 0.6394 | 0.3719 | 0.3029 | 0.5504 | 2.402 | 2.006 | 0.4125 | 0.7422 | 1 | 1 | 0.3697 | 1.524 | 0.199 | 0.4291 | 1.77 | 0.231 | json |
| t17_x3_u6_b37 | 17 | 3 | 6 | 37 | ![]() |
div(P,pow(D,nrm(P))) | 100801 | 138172663 | o2(x,o2(x,o1(x))) | true | 123215 | 123215 | -0.9641 | 0 | 0.9641 | 0.02563 | 0.1601 | -1 | -0.0002846 | 0.9997 | 1 | 0.4997 | 0.0049 | 0.0003352 | 0.00872 | 0.872 | 1 | -1.19e-7 | 0.01075 | 0.0131 | 0.005157 | 0.07181 | 8.235 | 1.414 | 0.2043 | 0.4196 | 1 | 1 | 0.006941 | 0.02346 | 0.04452 | 0.2709 | 0.9156 | 1.737 | json |
| t17_x3_u6_b38 | 17 | 3 | 6 | 38 | ![]() |
div(P,mod(D,nrm(P))) | 100802 | 138172664 | o2(x,o2(x,o1(x))) | true | 123223 | 123223 | -0.1253 | 0.4392 | 0.9835 | 0.9622 | 0.9809 | -1 | 1 | 2 | 1 | 1.245 | 0.7532 | 0.0147 | 0.4048 | 0.9617 | 1 | 0.0000537 | 1.913 | 0.7863 | 0.6041 | 0.7773 | 1.92 | 2.828 | 0.7981 | 1.988 | 1 | 1 | 0.5979 | 1.494 | 0.7722 | 0.6214 | 1.553 | 0.8025 | json |
| t17_x3_u6_b39 | 17 | 3 | 6 | 39 | ![]() |
div(P,lrg(D,nrm(P))) | 100803 | 138172665 | o2(x,o2(x,o1(x))) | true | 123231 | 123231 | -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_x3_u6_b40 | 17 | 3 | 6 | 40 | ![]() |
div(P,eql(D,nrm(P))) | 100804 | 138172666 | o2(x,o2(x,o1(x))) | true | 123239 | 123239 | -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_x3_u6_b41 | 17 | 3 | 6 | 41 | ![]() |
div(P,min(D,nrm(P))) | 100805 | 138172667 | o2(x,o2(x,o1(x))) | true | 123247 | 123247 | 0.4138 | 0.717 | 0.9725 | 0.795 | 0.8916 | -1 | 1 | 2 | 1 | 1.251 | 0.2008 | 0.00001205 | 0.1191 | 0.9999 | 1 | 9.178e-7 | 0.3746 | 0.2123 | 0.1868 | 0.4322 | 3.63 | 2 | 0.2527 | 0.4713 | 1 | 1 | 0.2085 | 0.9149 | 0.3087 | 0.2623 | 1.151 | 0.3883 | json |
| t17_x3_u6_b42 | 17 | 3 | 6 | 42 | ![]() |
div(P,dot(D,nrm(P))) | 100806 | 138172668 | o2(x,o2(x,o1(x))) | true | 123255 | 123255 | -0.01746 | 0.4911 | 0.9426 | 0.929 | 0.9638 | -1 | 1 | 2 | 1 | 1.759 | 0.4922 | 0.4428 | 0.4676 | 0.05282 | 1 | 1.952e-10 | 3.24 | 0.9623 | 0.7164 | 0.8464 | 1.81 | 2.828 | 1.006 | 3.487 | 1 | 1 | 0.8493 | 2.244 | 0.9286 | 0.9142 | 2.416 | 0.9995 | json |
| t17_x3_u6_b43 | 17 | 3 | 6 | 43 | ![]() |
div(P,dst(D,nrm(P))) | 100807 | 138172669 | o2(x,o2(x,o1(x))) | true | 123263 | 123263 | -0.01563 | 0.4922 | 0.9404 | 0.9278 | 0.9632 | -1 | 1 | 2 | 1 | 1.771 | 0.002485 | 0.001349 | 0.009313 | 0.2962 | 1 | 2.171e-11 | 0.006601 | 0.006062 | 0.00375 | 0.06124 | 6.576 | 2.827 | 0.004133 | 0.007115 | 1 | 1 | 0.007239 | 0.04357 | 0.2811 | 0.007802 | 0.04696 | 0.3029 | json |
| t17_x3_u6_b44 | 17 | 3 | 6 | 44 | ![]() |
pow(P,add(D,nrm(P))) | 100808 | 138172670 | o2(x,o2(x,o1(x))) | true | 123271 | 123271 | -0.04368 | 0.4922 | 0.9719 | 0.9634 | 0.9815 | -1 | 1 | 2 | 1 | 1.38 | 0.005794 | 0.001205 | 0.008922 | 0.6556 | 1 | -5.784e-8 | 0.01366 | 0.0114 | 0.006924 | 0.08321 | 9.326 | 2.828 | 0.007265 | 0.01418 | 1 | 1 | 0.01085 | 0.05571 | 0.3272 | 0.01126 | 0.05783 | 0.3396 | json |
| t17_x3_u6_b45 | 17 | 3 | 6 | 45 | ![]() |
pow(P,sub(D,nrm(P))) | 100809 | 138172671 | o2(x,o2(x,o1(x))) | true | 123279 | 123279 | -0.286 | 0.4922 | 0.7296 | 0.5567 | 0.7461 | -1 | 0.9998 | 2 | 1 | 2.869 | 0.006133 | 0.001208 | 0.01927 | 0.6708 | 1 | -0.00000861 | 0.01371 | 0.01499 | 0.006969 | 0.08348 | 4.333 | 2.828 | 0.01319 | 0.02464 | 1 | 1 | 0.01151 | 0.06024 | 0.2866 | 0.02067 | 0.1082 | 0.5149 | json |
| t17_x3_u6_b46 | 17 | 3 | 6 | 46 | ![]() |
pow(P,mlt(D,nrm(P))) | 100810 | 138172672 | o2(x,o2(x,o1(x))) | true | 123287 | 123287 | -0.0318 | 0.4922 | 0.9838 | 0.9685 | 0.9841 | -1 | 1 | 2 | 1 | 1.504 | 0.01617 | 0.002016 | 0.01557 | 0.7783 | 1 | 0.00006593 | 0.03649 | 0.02338 | 0.01794 | 0.1339 | 8.604 | 2.828 | 0.01877 | 0.03768 | 1 | 1 | 0.02506 | 0.09937 | 0.3837 | 0.02587 | 0.1026 | 0.3961 | json |
| t17_x3_u6_b47 | 17 | 3 | 6 | 47 | ![]() |
pow(P,div(D,nrm(P))) | 100811 | 138172673 | o2(x,o2(x,o1(x))) | true | 123295 | 123295 | -0.06291 | 0.4922 | 0.9527 | 0.9269 | 0.9627 | -1 | 1 | 2 | 1 | 1.908 | 0.006391 | 0.001206 | 0.01763 | 0.6826 | 1 | -0.0001199 | 0.01423 | 0.01945 | 0.007284 | 0.08535 | 4.842 | 2.828 | 0.008196 | 0.01535 | 1 | 1 | 0.0117 | 0.05821 | 0.3057 | 0.01262 | 0.0628 | 0.3299 | json |
| t17_x3_u6_b48 | 17 | 3 | 6 | 48 | ![]() |
pow(P,pow(D,nrm(P))) | 100812 | 138172674 | o2(x,o2(x,o1(x))) | true | 123303 | 123303 | -0.918 | 0.05469 | 0.9727 | 0.1241 | 0.3523 | -1 | 0.9997 | 2 | 1 | 0.4922 | 0.01763 | 0.001205 | 0.01458 | 0.872 | 1 | -4.13e-11 | 0.03743 | 0.02305 | 0.01861 | 0.1364 | 9.358 | 2.828 | 0.1517 | 0.3015 | 1 | 1 | 0.02474 | 0.1007 | 0.2014 | 0.1993 | 0.8108 | 1.622 | json |
| t17_x3_u6_b49 | 17 | 3 | 6 | 49 | ![]() |
pow(P,mod(D,nrm(P))) | 100813 | 138172675 | o2(x,o2(x,o1(x))) | true | 123311 | 123311 | -0.1505 | 0.4375 | 0.9745 | 0.9317 | 0.9653 | -1 | 1 | 2 | 1 | 1.655 | 0.01728 | 0.000007249 | 0.01984 | 0.9992 | 1 | 0.0001436 | 0.034 | 0.02925 | 0.01688 | 0.1299 | 6.549 | 2 | 0.01855 | 0.03649 | 1 | 1 | 0.0224 | 0.08563 | 0.3164 | 0.02404 | 0.09191 | 0.3395 | json |
| t17_x3_u6_b50 | 17 | 3 | 6 | 50 | ![]() |
pow(P,lrg(D,nrm(P))) | 100814 | 138172676 | o2(x,o2(x,o1(x))) | true | 123319 | 123319 | -0.03125 | 0.5 | 0.9688 | 0.9603 | 0.98 | -1 | 1 | 2 | 1 | 1.406 | 0.004323 | 0 | 0.007937 | 1 | 1 | -9.386e-13 | 0.007903 | 0.008812 | 0.004259 | 0.06526 | 8.223 | 1 | 0.004502 | 0.008229 | 1 | 1 | 0.006228 | 0.03975 | 0.2856 | 0.006485 | 0.04139 | 0.2974 | json |
| t17_x3_u6_b51 | 17 | 3 | 6 | 51 | ![]() |
pow(P,eql(D,nrm(P))) | 100815 | 138172677 | o2(x,o2(x,o1(x))) | true | 123327 | 123327 | 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_x3_u6_b52 | 17 | 3 | 6 | 52 | ![]() |
pow(P,min(D,nrm(P))) | 100816 | 138172678 | o2(x,o2(x,o1(x))) | true | 123335 | 123335 | -0.0227 | 0.5 | 0.9773 | 0.9587 | 0.9791 | -1 | 1 | 2 | 1 | 1.621 | 0.01558 | 0.00001772 | 0.01678 | 0.9977 | 1 | 0.00003769 | 0.0305 | 0.02293 | 0.01532 | 0.1238 | 7.376 | 2 | 0.01627 | 0.03182 | 1 | 1 | 0.02047 | 0.08334 | 0.3208 | 0.02135 | 0.08693 | 0.3346 | json |
| t17_x3_u6_b53 | 17 | 3 | 6 | 53 | ![]() |
pow(P,dot(D,nrm(P))) | 100817 | 138172679 | o2(x,o2(x,o1(x))) | true | 123343 | 123343 | -0.1422 | 0.4375 | 0.9828 | 0.9475 | 0.9734 | -1 | 1 | 2 | 1 | 1.516 | 0.01616 | 0.0001475 | 0.01599 | 0.9819 | 1 | 0.000107 | 0.03209 | 0.02229 | 0.01604 | 0.1267 | 7.922 | 2 | 0.01721 | 0.03387 | 1 | 1 | 0.02173 | 0.0847 | 0.3193 | 0.02293 | 0.0894 | 0.337 | json |
| t17_x3_u6_b54 | 17 | 3 | 6 | 54 | ![]() |
pow(P,dst(D,nrm(P))) | 100818 | 138172680 | o2(x,o2(x,o1(x))) | true | 123351 | 123351 | -0.04297 | 0.4922 | 0.9727 | 0.9641 | 0.9819 | -1 | 1 | 2 | 1 | 1.363 | 0.00579 | 0.001205 | 0.008659 | 0.6554 | 1 | -4.224e-11 | 0.01366 | 0.01121 | 0.006915 | 0.08316 | 9.604 | 2.828 | 0.007256 | 0.01417 | 1 | 1 | 0.01084 | 0.05572 | 0.3282 | 0.01125 | 0.05779 | 0.3404 | json |
| t17_x3_u6_b55 | 17 | 3 | 6 | 55 | ![]() |
mod(P,add(D,nrm(P))) | 100819 | 138172681 | o2(x,o2(x,o1(x))) | true | 123359 | 123359 | -0.01563 | 0.4895 | 0.3318 | 0.1656 | 0.4069 | -1 | 1 | 2 | 1 | 4.697 | 0.05804 | 0.00147 | 0.1819 | 0.9506 | 1 | -1.427e-10 | 0.1671 | 0.2845 | 0.02642 | 0.1626 | 0.8937 | 1.999 | 0.3593 | 1.009 | 1 | 1 | 0.03655 | 0.05937 | 0.1395 | 0.2207 | 0.3585 | 0.8424 | json |
| t17_x3_u6_b56 | 17 | 3 | 6 | 56 | ![]() |
mod(P,sub(D,nrm(P))) | 100820 | 138172682 | o2(x,o2(x,o1(x))) | true | 123367 | 123367 | -0.01562 | 0.4922 | 0.3483 | 0.1764 | 0.42 | -1 | 1 | 2 | 1 | 4.724 | 0.06468 | 0.001577 | 0.1975 | 0.9524 | 1 | 6.852e-10 | 0.1909 | 0.3094 | 0.02725 | 0.1651 | 0.8359 | 1.932 | 0.3757 | 1.082 | 1 | 1 | 0.04091 | 0.06138 | 0.1456 | 0.2319 | 0.348 | 0.8257 | json |
| t17_x3_u6_b57 | 17 | 3 | 6 | 57 | ![]() |
mod(P,mlt(D,nrm(P))) | 100821 | 138172683 | o2(x,o2(x,o1(x))) | true | 123375 | 123375 | -0.125 | 0.4365 | 0.2158 | 0.1251 | 0.3537 | -1 | 0.4373 | 1.437 | 1 | 3.296 | 0.01252 | 0.00003254 | 0.05379 | 0.9948 | 1 | -1.22e-11 | 0.02852 | 0.09025 | 0.00966 | 0.09829 | 1.827 | 1.008 | 0.1003 | 0.2279 | 1 | 1 | 0.01358 | 0.05234 | 0.1745 | 0.1085 | 0.4183 | 1.395 | json |
| t17_x3_u6_b58 | 17 | 3 | 6 | 58 | ![]() |
mod(P,div(D,nrm(P))) | 100822 | 138172684 | o2(x,o2(x,o1(x))) | true | 123383 | 123383 | -0.125 | 0.4371 | 0.3291 | 0.1972 | 0.4441 | -1 | 1 | 2 | 1 | 4.23 | 0.02883 | 0.0001573 | 0.09983 | 0.9891 | 1 | 1.164e-10 | 0.06848 | 0.1631 | 0.01902 | 0.1379 | 1.382 | 1.241 | 0.147 | 0.3472 | 1 | 1 | 0.02387 | 0.09104 | 0.2164 | 0.121 | 0.4616 | 1.097 | json |
| t17_x3_u6_b59 | 17 | 3 | 6 | 59 | ![]() |
mod(P,pow(D,nrm(P))) | 100823 | 138172685 | o2(x,o2(x,o1(x))) | true | 123391 | 123391 | -0.9727 | 0 | 0.9727 | 0.02067 | 0.1438 | -1 | -0.000291 | 0.9997 | 1 | 0.4104 | 0.00377 | 0.0001974 | 0.007157 | 0.9005 | 1 | -3.754e-12 | 0.007449 | 0.008234 | 0.003915 | 0.06257 | 8.743 | 1.414 | 0.192 | 0.3605 | 1 | 1 | 0.005461 | 0.02354 | 0.03299 | 0.2643 | 1.139 | 1.596 | json |
| t17_x3_u6_b60 | 17 | 3 | 6 | 60 | ![]() |
mod(P,mod(D,nrm(P))) | 100824 | 138172686 | o2(x,o2(x,o1(x))) | true | 123399 | 123399 | -0.125 | 0.3832 | 0.2344 | 0.1312 | 0.3622 | -1 | 0.3853 | 1.385 | 1 | 3.464 | 0.01457 | 0.000004813 | 0.0655 | 0.9993 | 1 | -4.224e-11 | 0.03236 | 0.1084 | 0.01028 | 0.1014 | 1.548 | 1 | 0.1111 | 0.2467 | 1 | 1 | 0.01514 | 0.05466 | 0.1744 | 0.1154 | 0.4167 | 1.329 | json |
| t17_x3_u6_b61 | 17 | 3 | 6 | 61 | ![]() |
mod(P,lrg(D,nrm(P))) | 100825 | 138172687 | o2(x,o2(x,o1(x))) | true | 123407 | 123407 | -0.7246 | 0 | 0.7246 | 0.1997 | 0.4468 | -1 | 0 | 1 | 1 | 0.8491 | 0.05052 | 0.001701 | 0.05185 | 0.9349 | 1 | -0.0005039 | 0.113 | 0.1049 | 0.04953 | 0.2225 | 4.292 | 1.414 | 0.2615 | 0.566 | 1 | 1 | 0.04988 | 0.1334 | 0.1003 | 0.2498 | 0.6683 | 0.5023 | json |
| t17_x3_u6_b62 | 17 | 3 | 6 | 62 | ![]() |
mod(P,eql(D,nrm(P))) | 100826 | 138172688 | o2(x,o2(x,o1(x))) | true | 123415 | 123415 | -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_x3_u6_b63 | 17 | 3 | 6 | 63 | ![]() |
mod(P,min(D,nrm(P))) | 100827 | 138172689 | o2(x,o2(x,o1(x))) | true | 123423 | 123423 | -0.1187 | 0.3902 | 0.2383 | 0.1034 | 0.3216 | -1 | 0.3853 | 1.385 | 1 | 3.954 | 0.01205 | 0.0001617 | 0.05102 | 0.9735 | 1 | -0.00003492 | 0.02547 | 0.07432 | 0.009605 | 0.098 | 1.921 | 1 | 0.118 | 0.2462 | 1 | 1 | 0.01411 | 0.06105 | 0.1074 | 0.1364 | 0.5901 | 1.038 | json |
| t17_x3_u6_b64 | 17 | 3 | 6 | 64 | ![]() |
mod(P,dot(D,nrm(P))) | 100828 | 138172690 | o2(x,o2(x,o1(x))) | true | 123431 | 123431 | -0.01807 | 0.4875 | 0.1492 | 0.0434 | 0.2083 | -1 | 0.4549 | 1.455 | 1 | 3.467 | 0.01348 | 0.01367 | 0.1096 | -0.007145 | 1 | -7.054e-10 | 0.1296 | 0.2251 | 0.01513 | 0.123 | 1.122 | 1.752 | 0.6257 | 2.987 | 1 | 1 | 0.01705 | 0.03502 | 0.0753 | 0.3929 | 0.8069 | 1.735 | json |
| t17_x3_u6_b65 | 17 | 3 | 6 | 65 | ![]() |
mod(P,dst(D,nrm(P))) | 100829 | 138172691 | o2(x,o2(x,o1(x))) | true | 123439 | 123439 | -0.01563 | 0.4922 | 0.5338 | 0.3568 | 0.5974 | -1 | 1 | 2 | 1 | 4.953 | 0.07697 | 0.06339 | 0.2799 | 0.0967 | 1 | -3.266e-10 | 0.5773 | 0.4849 | 0.062 | 0.249 | 0.8894 | 2.828 | 0.3933 | 1.618 | 1 | 1 | 0.09547 | 0.1462 | 0.2446 | 0.2675 | 0.4096 | 0.6853 | json |
| t17_x3_u6_b66 | 17 | 3 | 6 | 66 | ![]() |
lrg(P,add(D,nrm(P))) | 100830 | 138172692 | o2(x,o2(x,o1(x))) | true | 123447 | 123447 | 0.502 | 0.5872 | 0.502 | 0.2326 | 0.4823 | 0 | 1 | 1 | 1 | 1.717 | 0.00543 | 0.00005267 | 0.01546 | 0.9808 | 1 | -1.025e-9 | 0.00967 | 0.01389 | 0.005245 | 0.07242 | 4.684 | 0.9994 | 0.02357 | 0.04158 | 1 | 1 | 0.008519 | 0.03864 | 0.07227 | 0.03663 | 0.1661 | 0.3108 | json |
| t17_x3_u6_b67 | 17 | 3 | 6 | 67 | ![]() |
lrg(P,sub(D,nrm(P))) | 100831 | 138172693 | o2(x,o2(x,o1(x))) | true | 123455 | 123455 | 0.502 | 0.5625 | 0.502 | 0.2366 | 0.4864 | 0 | 1 | 1 | 1 | 1.578 | 0.004336 | 0.00001756 | 0.01156 | 0.9919 | 1 | -5.003e-10 | 0.007454 | 0.009263 | 0.004222 | 0.06498 | 5.621 | 0.9994 | 0.0184 | 0.03151 | 1 | 1 | 0.00647 | 0.03104 | 0.06833 | 0.02735 | 0.1312 | 0.2888 | json |
| t17_x3_u6_b68 | 17 | 3 | 6 | 68 | ![]() |
lrg(P,mlt(D,nrm(P))) | 100832 | 138172694 | o2(x,o2(x,o1(x))) | true | 123463 | 123463 | 0.4727 | 0.5074 | 0.4727 | 0.242 | 0.4919 | 0 | 1 | 1 | 1 | 1.358 | 0.0003432 | 0.00003512 | 0.004306 | 0.8144 | 1 | -4.788e-10 | 0.00001836 | 0.001016 | 0.0003599 | 0.01897 | 4.405 | 0.1169 | 0.001564 | 0.00007585 | 1 | 1 | 0.001014 | 0.01329 | 0.07825 | 0.00419 | 0.05493 | 0.3234 | json |
| t17_x3_u6_b69 | 17 | 3 | 6 | 69 | ![]() |
lrg(P,div(D,nrm(P))) | 100833 | 138172695 | o2(x,o2(x,o1(x))) | true | 123471 | 123471 | 0.502 | 0.5753 | 0.502 | 0.2345 | 0.4843 | 0 | 1 | 1 | 1 | 1.66 | 0.008874 | 0.00004367 | 0.01862 | 0.9902 | 1 | -7.528e-10 | 0.01624 | 0.02192 | 0.008567 | 0.09256 | 4.97 | 0.9997 | 0.03802 | 0.06925 | 1 | 1 | 0.01149 | 0.04986 | 0.0877 | 0.04898 | 0.2126 | 0.3739 | json |
| t17_x3_u6_b70 | 17 | 3 | 6 | 70 | ![]() |
lrg(P,pow(D,nrm(P))) | 100834 | 138172696 | o2(x,o2(x,o1(x))) | true | 123479 | 123479 | 0.6914 | 0.9449 | 0.6914 | 0.1586 | 0.3983 | 0 | 1 | 1 | 1 | 2.482 | 0.03056 | 0.00003512 | 0.05972 | 0.9977 | 1 | -0.00008984 | 0.05633 | 0.06295 | 0.02702 | 0.1644 | 2.752 | 0.9997 | 0.1929 | 0.3551 | 1 | 1 | 0.0316 | 0.1188 | 0.0747 | 0.1992 | 0.7487 | 0.471 | json |
| t17_x3_u6_b71 | 17 | 3 | 6 | 71 | ![]() |
lrg(P,mod(D,nrm(P))) | 100835 | 138172697 | o2(x,o2(x,o1(x))) | true | 123487 | 123487 | 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_x3_u6_b72 | 17 | 3 | 6 | 72 | ![]() |
lrg(P,lrg(D,nrm(P))) | 100836 | 138172698 | o2(x,o2(x,o1(x))) | true | 123495 | 123495 | 0.4548 | 0.5 | 0.4548 | 0.2359 | 0.4857 | 0 | 1 | 1 | 1 | 1.523 | 0.002612 | 0.000012 | 0.009473 | 0.9909 | 1 | -1.089e-9 | 0.004221 | 0.00689 | 0.002535 | 0.05035 | 5.315 | 0.9702 | 0.01112 | 0.0179 | 1 | 1 | 0.003539 | 0.02012 | 0.07147 | 0.015 | 0.08529 | 0.303 | json |
| t17_x3_u6_b73 | 17 | 3 | 6 | 73 | ![]() |
lrg(P,eql(D,nrm(P))) | 100837 | 138172699 | o2(x,o2(x,o1(x))) | true | 123503 | 123503 | 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_x3_u6_b74 | 17 | 3 | 6 | 74 | ![]() |
lrg(P,min(D,nrm(P))) | 100838 | 138172700 | o2(x,o2(x,o1(x))) | true | 123511 | 123511 | 0.5 | 0.5625 | 0.5 | 0.2365 | 0.4863 | 0 | 1 | 1 | 1 | 1.577 | 0.00467 | 0 | 0.0119 | 1 | 1 | -4.731e-10 | 0.008068 | 0.009787 | 0.004528 | 0.06729 | 5.654 | 0.9994 | 0.01975 | 0.03412 | 1 | 1 | 0.007036 | 0.03244 | 0.06598 | 0.02976 | 0.1372 | 0.279 | json |
| t17_x3_u6_b75 | 17 | 3 | 6 | 75 | ![]() |
lrg(P,dot(D,nrm(P))) | 100839 | 138172701 | o2(x,o2(x,o1(x))) | true | 123519 | 123519 | 0.5039 | 0.5601 | 0.5039 | 0.2386 | 0.4884 | 0 | 1 | 1 | 1 | 1.514 | 0.0002854 | 0.003006 | 0.009682 | -0.8266 | 1 | 0.00001138 | 0.005704 | 0.00854 | 0.003197 | 0.05654 | 5.84 | 0.9994 | 0.0138 | 0.02391 | 1 | 1 | 0.004964 | 0.0246 | 0.07344 | 0.02081 | 0.1031 | 0.3078 | json |
| t17_x3_u6_b76 | 17 | 3 | 6 | 76 | ![]() |
lrg(P,dst(D,nrm(P))) | 100840 | 138172702 | o2(x,o2(x,o1(x))) | true | 123527 | 123527 | 0.4353 | 0.4798 | 0.4353 | 0.2354 | 0.4852 | 0 | 1 | 1 | 1 | 1.466 | 0.001475 | 0.002855 | 0.01016 | -0.3186 | 1 | -0.0000114 | 0.01178 | 0.01143 | 0.004228 | 0.06503 | 6.399 | 1.413 | 0.0184 | 0.05006 | 1 | 1 | 0.006387 | 0.02913 | 0.07818 | 0.02713 | 0.1237 | 0.3321 | json |
| t17_x3_u6_b77 | 17 | 3 | 6 | 77 | ![]() |
eql(P,add(D,nrm(P))) | 100841 | 138172703 | o2(x,o2(x,o1(x))) | true | 123535 | 123535 | 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_x3_u6_b78 | 17 | 3 | 6 | 78 | ![]() |
eql(P,sub(D,nrm(P))) | 100842 | 138172704 | o2(x,o2(x,o1(x))) | true | 123543 | 123543 | 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_x3_u6_b79 | 17 | 3 | 6 | 79 | ![]() |
eql(P,mlt(D,nrm(P))) | 100843 | 138172705 | o2(x,o2(x,o1(x))) | true | 123551 | 123551 | 0.05859 | 0.1241 | 0.05859 | 0.0418 | 0.2045 | 0 | 0.9997 | 0.9997 | 1 | 0.7992 | 0.0006513 | 0.00003512 | 0.007769 | 0.8977 | 1 | -8.342e-10 | 0.00003252 | 0.001826 | 0.0006264 | 0.02503 | 3.222 | 0.1169 | 0.01642 | 0.0007779 | 1 | 1 | 0.001783 | 0.0232 | 0.06358 | 0.04266 | 0.5551 | 1.521 | json |
| t17_x3_u6_b80 | 17 | 3 | 6 | 80 | ![]() |
eql(P,div(D,nrm(P))) | 100844 | 138172706 | o2(x,o2(x,o1(x))) | true | 123559 | 123559 | 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_x3_u6_b81 | 17 | 3 | 6 | 81 | ![]() |
eql(P,pow(D,nrm(P))) | 100845 | 138172707 | o2(x,o2(x,o1(x))) | true | 123567 | 123567 | 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_x3_u6_b82 | 17 | 3 | 6 | 82 | ![]() |
eql(P,mod(D,nrm(P))) | 100846 | 138172708 | o2(x,o2(x,o1(x))) | true | 123575 | 123575 | 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_x3_u6_b83 | 17 | 3 | 6 | 83 | ![]() |
eql(P,lrg(D,nrm(P))) | 100847 | 138172709 | o2(x,o2(x,o1(x))) | true | 123583 | 123583 | 0.04321 | 0.1061 | 0.04321 | 0.02934 | 0.1713 | 0 | 0.9997 | 0.9997 | 1 | 0.6848 | 0.006244 | 0.00002956 | 0.01308 | 0.9906 | 1 | -1.802e-10 | 0.0116 | 0.0143 | 0.006103 | 0.07812 | 5.972 | 0.9997 | 0.2138 | 0.3953 | 1 | 1 | 0.008194 | 0.03307 | 0.03683 | 0.2793 | 1.127 | 1.255 | json |
| t17_x3_u6_b84 | 17 | 3 | 6 | 84 | ![]() |
eql(P,eql(D,nrm(P))) | 100848 | 138172710 | o2(x,o2(x,o1(x))) | true | 123591 | 123591 | 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_x3_u6_b85 | 17 | 3 | 6 | 85 | ![]() |
eql(P,min(D,nrm(P))) | 100849 | 138172711 | o2(x,o2(x,o1(x))) | true | 123599 | 123599 | 0.0332 | 0.07684 | 0.0332 | 0.02392 | 0.1547 | 0 | 0.9997 | 0.9997 | 1 | 0.5246 | 0.00402 | 0.00005267 | 0.008436 | 0.9741 | 1 | -1.924e-10 | 0.007396 | 0.008543 | 0.004004 | 0.06327 | 7.501 | 0.9997 | 0.1703 | 0.3092 | 1 | 1 | 0.005824 | 0.02777 | 0.04033 | 0.2435 | 1.161 | 1.686 | json |
| t17_x3_u6_b86 | 17 | 3 | 6 | 86 | ![]() |
eql(P,dot(D,nrm(P))) | 100850 | 138172712 | o2(x,o2(x,o1(x))) | true | 123607 | 123607 | 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_x3_u6_b87 | 17 | 3 | 6 | 87 | ![]() |
eql(P,dst(D,nrm(P))) | 100851 | 138172713 | o2(x,o2(x,o1(x))) | true | 123615 | 123615 | 0.000001347 | 0.00006104 | 0.000001347 | 3.156e-8 | 0.0001777 | 0 | 0.02758 | 0.02758 | 1 | 0 | 6.515e-8 | 6.515e-8 | 0.000004744 | 0 | 0 | 0 | 6.515e-7 | 0.00001112 | 1.303e-7 | 0.0003609 | 76.07 | 0.03901 | 4.128 | 20.64 | 1 | 1 | 1.146e-7 | 1.146e-7 | 1.041e-7 | 3.631 | 3.631 | 3.297 | json |
| t17_x3_u6_b88 | 17 | 3 | 6 | 88 | ![]() |
min(P,add(D,nrm(P))) | 100852 | 138172714 | o2(x,o2(x,o1(x))) | true | 123623 | 123623 | -0.1695 | 0.459 | 0.7904 | 0.6805 | 0.8249 | -1 | 1 | 2 | 1 | 3.297 | 0.001025 | 0.00001735 | 0.01972 | 0.9667 | 1 | 0.0001568 | 0.0001377 | 0.00724 | 0.0006536 | 0.02557 | 1.297 | 0.1169 | 0.001532 | 0.0002023 | 1 | 1 | 0.002329 | 0.02422 | 0.1502 | 0.003423 | 0.0356 | 0.2207 | json |
| t17_x3_u6_b89 | 17 | 3 | 6 | 89 | ![]() |
min(P,sub(D,nrm(P))) | 100853 | 138172715 | o2(x,o2(x,o1(x))) | true | 123631 | 123631 | -0.8027 | 0.0004272 | 0.8027 | 0.07685 | 0.2772 | -1 | 0.01269 | 1.013 | 1 | 2.71 | 0.001302 | 0.00001886 | 0.02271 | 0.9714 | 1 | 0.00007954 | 0.0001846 | 0.008516 | 0.0008054 | 0.02838 | 1.25 | 0.1529 | 0.01719 | 0.002402 | 1 | 1 | 0.00298 | 0.0281 | 0.06371 | 0.03877 | 0.3656 | 0.8291 | json |
| t17_x3_u6_b90 | 17 | 3 | 6 | 90 | ![]() |
min(P,mlt(D,nrm(P))) | 100854 | 138172716 | o2(x,o2(x,o1(x))) | true | 123639 | 123639 | -0.4766 | 0.2003 | 0.5017 | 0.2378 | 0.4876 | -1 | 0.1454 | 1.145 | 1 | 2.474 | 0.0007691 | 4.78e-7 | 0.01605 | 0.9988 | 1 | 0.0001417 | 0.00008032 | 0.005686 | 0.0005118 | 0.02262 | 1.409 | 0.1169 | 0.003237 | 0.0003378 | 1 | 1 | 0.001762 | 0.01838 | 0.07148 | 0.007409 | 0.07731 | 0.3006 | json |
| t17_x3_u6_b91 | 17 | 3 | 6 | 91 | ![]() |
min(P,div(D,nrm(P))) | 100855 | 138172717 | o2(x,o2(x,o1(x))) | true | 123647 | 123647 | -0.5203 | 0.226 | 0.6041 | 0.2742 | 0.5236 | -1 | 0.8788 | 1.879 | 1 | 2.857 | 0.008487 | 0.00000815 | 0.03866 | 0.9981 | 1 | 0.0001776 | 0.009093 | 0.0216 | 0.007 | 0.08367 | 2.164 | 0.9997 | 0.03098 | 0.03316 | 1 | 1 | 0.01272 | 0.06772 | 0.09021 | 0.04639 | 0.247 | 0.329 | json |
| t17_x3_u6_b92 | 17 | 3 | 6 | 92 | ![]() |
min(P,pow(D,nrm(P))) | 100856 | 138172718 | o2(x,o2(x,o1(x))) | true | 123655 | 123655 | -0.06664 | 0.5 | 0.8709 | 0.8325 | 0.9124 | -1 | 1 | 2 | 1 | 2.508 | 0.02697 | 0.000001675 | 0.05533 | 0.9999 | 1 | 6.242e-7 | 0.05056 | 0.06568 | 0.02391 | 0.1546 | 2.794 | 0.9679 | 0.0324 | 0.06074 | 1 | 1 | 0.0299 | 0.07441 | 0.2066 | 0.03592 | 0.08939 | 0.2482 | json |
| t17_x3_u6_b93 | 17 | 3 | 6 | 93 | ![]() |
min(P,mod(D,nrm(P))) | 100857 | 138172719 | o2(x,o2(x,o1(x))) | true | 123663 | 123663 | -0.4776 | 0.2136 | 0.5215 | 0.2417 | 0.4916 | -1 | 0.2688 | 1.269 | 1 | 2.793 | 0.002283 | 0.000007077 | 0.02775 | 0.9938 | 1 | 0.000184 | 0.00235 | 0.01812 | 0.00152 | 0.03899 | 1.405 | 0.4825 | 0.009475 | 0.009721 | 1 | 1 | 0.003602 | 0.02737 | 0.07389 | 0.0149 | 0.1132 | 0.3057 | json |
| t17_x3_u6_b94 | 17 | 3 | 6 | 94 | ![]() |
min(P,lrg(D,nrm(P))) | 100858 | 138172720 | o2(x,o2(x,o1(x))) | true | 123671 | 123671 | -0.4402 | 0.1592 | 0.4973 | 0.2823 | 0.5314 | -1 | 0.9702 | 1.97 | 1 | 2.008 | 0.004826 | 0.00002543 | 0.01829 | 0.9895 | 1 | -0.0000342 | 0.008567 | 0.01744 | 0.004517 | 0.06721 | 3.674 | 0.9702 | 0.01718 | 0.03034 | 1 | 1 | 0.004978 | 0.02396 | 0.09927 | 0.01763 | 0.08485 | 0.3516 | json |
| t17_x3_u6_b95 | 17 | 3 | 6 | 95 | ![]() |
min(P,eql(D,nrm(P))) | 100859 | 138172721 | o2(x,o2(x,o1(x))) | true | 123679 | 123679 | -0.4688 | 0 | 0.4688 | 0.2423 | 0.4922 | -1 | 0 | 1 | 1 | 1.406 | 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_x3_u6_b96 | 17 | 3 | 6 | 96 | ![]() |
min(P,min(D,nrm(P))) | 100860 | 138172722 | o2(x,o2(x,o1(x))) | true | 123687 | 123687 | -0.4914 | 0.2093 | 0.5305 | 0.2365 | 0.4863 | -1 | 0.1454 | 1.145 | 1 | 2.696 | 0.001233 | 2.176e-7 | 0.02283 | 0.9996 | 1 | 0.0001606 | 0.0001591 | 0.008211 | 0.0007121 | 0.02669 | 1.169 | 0.1105 | 0.005214 | 0.0006728 | 1 | 1 | 0.002623 | 0.02427 | 0.06651 | 0.01109 | 0.1026 | 0.2812 | json |
| t17_x3_u6_b97 | 17 | 3 | 6 | 97 | ![]() |
min(P,dot(D,nrm(P))) | 100861 | 138172723 | o2(x,o2(x,o1(x))) | true | 123695 | 123695 | -0.4929 | 0.1848 | 0.5224 | 0.2287 | 0.4782 | -1 | 0.1994 | 1.199 | 1 | 2.748 | 0.0006814 | 0.0004343 | 0.0228 | 0.2214 | 1 | 0.0003028 | 0.0001466 | 0.007688 | 0.0005957 | 0.02441 | 1.07 | 0.1176 | 0.004879 | 0.0006411 | 1 | 1 | 0.002392 | 0.0216 | 0.0632 | 0.01046 | 0.09444 | 0.2764 | json |
| t17_x3_u6_b98 | 17 | 3 | 6 | 98 | ![]() |
min(P,dst(D,nrm(P))) | 100862 | 138172724 | o2(x,o2(x,o1(x))) | true | 123703 | 123703 | -0.0115 | 0.5 | 0.926 | 0.9025 | 0.95 | -1 | 1 | 2 | 1 | 2.181 | 0.0007918 | 0.0001355 | 0.01345 | 0.7078 | 1 | 0.000004476 | 0.000202 | 0.006345 | 0.0007462 | 0.02732 | 2.031 | 0.1169 | 0.001027 | 0.0002238 | 1 | 1 | 0.00221 | 0.02529 | 0.2243 | 0.002449 | 0.02802 | 0.2485 | json |
| t17_x3_u6_b99 | 17 | 3 | 6 | 99 | ![]() |
dot(P,add(D,nrm(P))) | 100863 | 138172725 | o2(x,o2(x,o1(x))) | true | 123711 | 123711 | 0.9687 | 0.9844 | 1 | 0.06152 | 0.248 | -1 | 1 | 2 | 1 | 0.1161 | 0.00401 | 0.00401 | 0.004015 | 0 | 1 | -6.758e-11 | 0.0165 | 0.008041 | 0.008012 | 0.08951 | 22.3 | 2.828 | 0.1304 | 0.2683 | 1 | 1 | 0.01415 | 0.0567 | 0.2269 | 0.2299 | 0.9215 | 3.688 | json |
| t17_x3_u6_b100 | 17 | 3 | 6 | 100 | ![]() |
dot(P,sub(D,nrm(P))) | 100864 | 138172726 | o2(x,o2(x,o1(x))) | true | 123719 | 123719 | -0.9999 | 0 | 0.9999 | 0.000002718 | 0.001649 | -1 | -0.9274 | 0.07264 | 1 | 0.004709 | 0.000001192 | 0.000001192 | 0.00005824 | 1.431e-7 | 0 | -6.007e-11 | 0.000004162 | 0.00008537 | 0.000002379 | 0.001542 | 26.48 | 0.06325 | 0.8771 | 1.531 | 1 | 1 | 0.000005531 | 0.000009882 | 0.000009882 | 2.035 | 3.636 | 3.636 | json |
| t17_x3_u6_b101 | 17 | 3 | 6 | 101 | ![]() |
dot(P,mlt(D,nrm(P))) | 100865 | 138172727 | o2(x,o2(x,o1(x))) | true | 123727 | 123727 | -0.01563 | 0.4904 | 0.4908 | 0.337 | 0.5805 | -1 | 1 | 2 | 1 | 4.919 | 0.02246 | 0.02246 | 0.1769 | -0.000003897 | 1 | -5.378e-9 | 0.0131 | 0.0741 | 0.01364 | 0.1168 | 0.6602 | 1.414 | 0.1333 | 0.03888 | 1 | 1 | 0.05494 | 0.3878 | 0.1029 | 0.163 | 1.151 | 0.3053 | json |
| t17_x3_u6_b102 | 17 | 3 | 6 | 102 | ![]() |
dot(P,div(D,nrm(P))) | 100866 | 138172728 | o2(x,o2(x,o1(x))) | true | 123735 | 123735 | -0.2344 | 0.3805 | 0.7015 | 0.5661 | 0.7524 | -1 | 1 | 2 | 1 | 3.789 | 0.04504 | 0.04504 | 0.195 | -0.000001654 | 1 | 8.4e-10 | 0.07222 | 0.1166 | 0.05205 | 0.2281 | 1.17 | 2.004 | 0.1591 | 0.1276 | 1 | 1 | 0.1103 | 0.6323 | 0.3833 | 0.1949 | 1.117 | 0.6771 | json |
| t17_x3_u6_b103 | 17 | 3 | 6 | 103 | ![]() |
dot(P,pow(D,nrm(P))) | 100867 | 138172729 | o2(x,o2(x,o1(x))) | true | 123743 | 123743 | -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_x3_u6_b104 | 17 | 3 | 6 | 104 | ![]() |
dot(P,mod(D,nrm(P))) | 100868 | 138172730 | o2(x,o2(x,o1(x))) | true | 123751 | 123751 | -0.4027 | 0.2778 | 0.6925 | 0.4351 | 0.6596 | -1 | 1 | 2 | 1 | 3.861 | 0.04429 | 0.04429 | 0.1932 | 0.000002145 | 1 | 0.002823 | 0.09779 | 0.158 | 0.05126 | 0.2264 | 1.172 | 1.994 | 0.2036 | 0.2248 | 1 | 1 | 0.09358 | 0.5126 | 0.2482 | 0.2151 | 1.178 | 0.5706 | json |
| t17_x3_u6_b105 | 17 | 3 | 6 | 105 | ![]() |
dot(P,lrg(D,nrm(P))) | 100869 | 138172731 | o2(x,o2(x,o1(x))) | true | 123759 | 123759 | -0.6599 | 0.1375 | 0.7614 | 0.3018 | 0.5494 | -1 | 1 | 2 | 1 | 1.962 | 0.007421 | 0.007421 | 0.03459 | 0.00000138 | 1 | -0.0002125 | 0.02722 | 0.04013 | 0.01365 | 0.1168 | 3.378 | 1.378 | 0.04917 | 0.09017 | 1 | 1 | 0.01256 | 0.04124 | 0.1213 | 0.04161 | 0.1366 | 0.4019 | json |
| t17_x3_u6_b106 | 17 | 3 | 6 | 106 | ![]() |
dot(P,eql(D,nrm(P))) | 100870 | 138172732 | o2(x,o2(x,o1(x))) | true | 123767 | 123767 | 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_x3_u6_b107 | 17 | 3 | 6 | 107 | ![]() |
dot(P,min(D,nrm(P))) | 100871 | 138172733 | o2(x,o2(x,o1(x))) | true | 123775 | 123775 | 0.5766 | 0.7852 | 0.8157 | 0.427 | 0.6534 | -1 | 1 | 2 | 1 | 2.727 | 0.009871 | 0.009871 | 0.07221 | -0.000004151 | 1 | 0.001306 | 0.005842 | 0.03256 | 0.01452 | 0.1205 | 1.669 | 0.6137 | 0.04624 | 0.01368 | 1 | 1 | 0.02701 | 0.1988 | 0.1236 | 0.06326 | 0.4656 | 0.2894 | json |
| t17_x3_u6_b108 | 17 | 3 | 6 | 108 | ![]() |
dot(P,dot(D,nrm(P))) | 100872 | 138172734 | o2(x,o2(x,o1(x))) | true | 123783 | 123783 | -0.01563 | 0.4902 | 0.4613 | 0.3347 | 0.5785 | -1 | 1 | 2 | 1 | 4.699 | 0.02456 | 0.02456 | 0.1576 | 1.896e-7 | 1 | 4.16e-9 | 0.02175 | 0.07526 | 0.02427 | 0.1558 | 0.9884 | 1.413 | 0.1468 | 0.06499 | 1 | 1 | 0.0631 | 0.4174 | 0.1229 | 0.1885 | 1.247 | 0.3672 | json |
| t17_x3_u6_b109 | 17 | 3 | 6 | 109 | ![]() |
dot(P,dst(D,nrm(P))) | 100873 | 138172735 | o2(x,o2(x,o1(x))) | true | 123791 | 123791 | -0.01563 | 0.4905 | 0.9496 | 0.9343 | 0.9666 | -1 | 1 | 2 | 1 | 1.79 | 0.00246 | 0.00246 | 0.01353 | 9.465e-8 | 1 | -1.544e-10 | 0.007353 | 0.007974 | 0.004737 | 0.06882 | 5.088 | 2.828 | 0.005266 | 0.007871 | 1 | 1 | 0.009638 | 0.06707 | 0.464 | 0.01032 | 0.07179 | 0.4966 | json |
| t17_x3_u6_b110 | 17 | 3 | 6 | 110 | ![]() |
dst(P,add(D,nrm(P))) | 100874 | 138172736 | o2(x,o2(x,o1(x))) | true | 123799 | 123799 | 0.9624 | 0.9844 | 0.9936 | 0.06429 | 0.2536 | -1 | 1 | 2 | 1 | 0.292 | 0.002323 | 0.002323 | 0.004864 | 5.012e-8 | 1 | -4.092e-10 | 0.009153 | 0.006841 | 0.004625 | 0.06801 | 13.98 | 2.004 | 0.07226 | 0.1424 | 1 | 1 | 0.00856 | 0.04606 | 0.2184 | 0.1331 | 0.7164 | 3.398 | json |
| t17_x3_u6_b111 | 17 | 3 | 6 | 111 | ![]() |
dst(P,sub(D,nrm(P))) | 100875 | 138172737 | o2(x,o2(x,o1(x))) | true | 123807 | 123807 | 0.9688 | 0.9844 | 1 | 0.06152 | 0.248 | -1 | 1 | 2 | 1 | 0.1161 | 0.004031 | 0.004031 | 0.004013 | 0 | 1 | 0 | 0.01663 | 0.008062 | 0.008054 | 0.08974 | 22.36 | 2.828 | 0.131 | 0.2703 | 1 | 1 | 0.01418 | 0.05673 | 0.2269 | 0.2305 | 0.9221 | 3.688 | json |
| t17_x3_u6_b112 | 17 | 3 | 6 | 112 | ![]() |
dst(P,mlt(D,nrm(P))) | 100876 | 138172738 | o2(x,o2(x,o1(x))) | true | 123815 | 123815 | 0.9687 | 0.9844 | 0.9999 | 0.06152 | 0.248 | -1 | 1 | 2 | 1 | 0.1232 | 0.004021 | 0.004021 | 0.00406 | 5.79e-8 | 1 | -1.089e-10 | 0.01664 | 0.008127 | 0.008032 | 0.08962 | 22.07 | 2.828 | 0.1307 | 0.2705 | 1 | 1 | 0.0141 | 0.05651 | 0.2267 | 0.2292 | 0.9185 | 3.685 | json |
| t17_x3_u6_b113 | 17 | 3 | 6 | 113 | ![]() |
dst(P,div(D,nrm(P))) | 100877 | 138172739 | o2(x,o2(x,o1(x))) | true | 123823 | 123823 | 0.5313 | 0.7656 | 1 | 0.7172 | 0.8469 | -1 | 1 | 2 | 1 | 0.7856 | 0.02771 | 0.02771 | 0.0277 | 0 | 1 | 0 | 0.1114 | 0.05543 | 0.05465 | 0.2338 | 8.44 | 2.828 | 0.07728 | 0.1553 | 1 | 1 | 0.07003 | 0.2801 | 1.12 | 0.09763 | 0.3905 | 1.562 | json |
| t17_x3_u6_b114 | 17 | 3 | 6 | 114 | ![]() |
dst(P,pow(D,nrm(P))) | 100878 | 138172740 | o2(x,o2(x,o1(x))) | true | 123831 | 123831 | -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_x3_u6_b115 | 17 | 3 | 6 | 115 | ![]() |
dst(P,mod(D,nrm(P))) | 100879 | 138172741 | o2(x,o2(x,o1(x))) | true | 123839 | 123839 | 0.5313 | 0.7656 | 1 | 0.7172 | 0.8469 | -1 | 1 | 2 | 1 | 0.7856 | 0.02771 | 0.02771 | 0.0277 | 0 | 1 | 0 | 0.1114 | 0.05543 | 0.05465 | 0.2338 | 8.44 | 2.828 | 0.07728 | 0.1553 | 1 | 1 | 0.07003 | 0.2801 | 1.12 | 0.09763 | 0.3905 | 1.562 | json |
| t17_x3_u6_b116 | 17 | 3 | 6 | 116 | ![]() |
dst(P,lrg(D,nrm(P))) | 100880 | 138172742 | o2(x,o2(x,o1(x))) | true | 123847 | 123847 | 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_x3_u6_b117 | 17 | 3 | 6 | 117 | ![]() |
dst(P,eql(D,nrm(P))) | 100881 | 138172743 | o2(x,o2(x,o1(x))) | true | 123855 | 123855 | 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_x3_u6_b118 | 17 | 3 | 6 | 118 | ![]() |
dst(P,min(D,nrm(P))) | 100882 | 138172744 | o2(x,o2(x,o1(x))) | true | 123863 | 123863 | 0.9909 | 1 | 0.9909 | 0.005634 | 0.07506 | 0.0008613 | 1 | 0.9991 | 1 | 0.1948 | 0.0000827 | 0.0000827 | 0.001661 | -1.76e-7 | 1 | -1.877e-11 | 0.00003415 | 0.0006387 | 0.0001627 | 0.01276 | 7.678 | 0.1756 | 0.02936 | 0.006062 | 1 | 1 | 0.0005577 | 0.005706 | 0.02048 | 0.09898 | 1.013 | 3.635 | json |
| t17_x3_u6_b119 | 17 | 3 | 6 | 119 | ![]() |
dst(P,dot(D,nrm(P))) | 100883 | 138172745 | o2(x,o2(x,o1(x))) | true | 123871 | 123871 | 0.9687 | 0.9844 | 1 | 0.06152 | 0.248 | -1 | 1 | 2 | 1 | 0.1171 | 0.004025 | 0.004025 | 0.004033 | 0 | 1 | -7.509e-12 | 0.01663 | 0.008095 | 0.008041 | 0.08967 | 22.23 | 2.828 | 0.1308 | 0.2704 | 1 | 1 | 0.01413 | 0.05665 | 0.2268 | 0.2298 | 0.9208 | 3.687 | json |
| t17_x3_u6_b120 | 17 | 3 | 6 | 120 | ![]() |
dst(P,dst(D,nrm(P))) | 100884 | 138172746 | o2(x,o2(x,o1(x))) | true | 123879 | 123879 | 0.9687 | 0.9844 | 1 | 0.06152 | 0.248 | -1 | 1 | 2 | 1 | 0.1186 | 0.004032 | 0.004032 | 0.004034 | -5.775e-8 | 1 | -4.13e-11 | 0.01664 | 0.008086 | 0.008054 | 0.08974 | 22.25 | 2.828 | 0.1311 | 0.2704 | 1 | 1 | 0.01418 | 0.05673 | 0.2269 | 0.2305 | 0.922 | 3.688 | json |
| t17_x4_u0_b0 | 17 | 4 | 0 | 0 | ![]() |
add(P,add(D,sqt(D))) | 100885 | 138211821 | o2(x,o2(x,o1(x))) | true | 123887 | 123887 | -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_x4_u0_b1 | 17 | 4 | 0 | 1 | ![]() |
add(P,sub(D,sqt(D))) | 100886 | 138211822 | o2(x,o2(x,o1(x))) | true | 123895 | 123895 | -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_x4_u0_b2 | 17 | 4 | 0 | 2 | ![]() |
add(P,mlt(D,sqt(D))) | 100887 | 138211823 | o2(x,o2(x,o1(x))) | true | 123903 | 123903 | -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_x4_u0_b3 | 17 | 4 | 0 | 3 | ![]() |
add(P,div(D,sqt(D))) | 100888 | 138211824 | o2(x,o2(x,o1(x))) | true | 123911 | 123911 | -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_x4_u0_b4 | 17 | 4 | 0 | 4 | ![]() |
add(P,pow(D,sqt(D))) | 100889 | 138211825 | o2(x,o2(x,o1(x))) | true | 123919 | 123919 | -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_x4_u0_b5 | 17 | 4 | 0 | 5 | ![]() |
add(P,mod(D,sqt(D))) | 100890 | 138211826 | o2(x,o2(x,o1(x))) | true | 123927 | 123927 | -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_x4_u0_b6 | 17 | 4 | 0 | 6 | ![]() |
add(P,lrg(D,sqt(D))) | 100891 | 138211827 | o2(x,o2(x,o1(x))) | true | 123935 | 123935 | 0.0625 | 0.5313 | 0.9375 | 0.9184 | 0.9583 | -1 | 1 | 2 | 1 | 1.809 | 0.01063 | 0 | 0.02379 | 1 | 1 | 0 | 0.0166 | 0.02131 | 0.01007 | 0.1003 | 4.218 | 0.9988 | 0.01158 | 0.01808 | 1 | 1 | 0.0172 | 0.07175 | 0.2321 | 0.01872 | 0.07812 | 0.2528 | json |
| t17_x4_u0_b7 | 17 | 4 | 0 | 7 | ![]() |
add(P,eql(D,sqt(D))) | 100892 | 138211828 | o2(x,o2(x,o1(x))) | true | 123943 | 123943 | 0 | 0.5 | 0.9375 | 0.924 | 0.9612 | -1 | 1 | 2 | 1 | 1.813 | 0.0007059 | 0 | 0.007937 | 1 | 1 | 0 | 0.00003235 | 0.001851 | 0.0006432 | 0.02536 | 3.195 | 0.1169 | 0.0007639 | 0.00003501 | 1 | 1 | 0.001851 | 0.02449 | 0.2344 | 0.002003 | 0.0265 | 0.2537 | json |
| t17_x4_u0_b8 | 17 | 4 | 0 | 8 | ![]() |
add(P,min(D,sqt(D))) | 100893 | 138211829 | o2(x,o2(x,o1(x))) | true | 123951 | 123951 | 0 | 0.5 | 0.9375 | 0.9165 | 0.9574 | -1 | 1 | 2 | 1 | 1.979 | 0.0004883 | 0 | 0.007937 | 1 | 1 | 0 | 0.0000155 | 0.000496 | 0.0004253 | 0.02062 | 2.598 | 0.0625 | 0.0005327 | 0.00001691 | 1 | 1 | 0.001285 | 0.01928 | 0.2245 | 0.001402 | 0.02104 | 0.245 | json |
| t17_x4_u0_b9 | 17 | 4 | 0 | 9 | ![]() |
add(P,dot(D,sqt(D))) | 100894 | 138211830 | o2(x,o2(x,o1(x))) | true | 123959 | 123959 | -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_x4_u0_b10 | 17 | 4 | 0 | 10 | ![]() |
add(P,dst(D,sqt(D))) | 100895 | 138211831 | o2(x,o2(x,o1(x))) | true | 123967 | 123967 | -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_x4_u0_b11 | 17 | 4 | 0 | 11 | ![]() |
sub(P,add(D,sqt(D))) | 100896 | 138211832 | o2(x,o2(x,o1(x))) | true | 123975 | 123975 | -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_x4_u0_b12 | 17 | 4 | 0 | 12 | ![]() |
sub(P,sub(D,sqt(D))) | 100897 | 138211833 | o2(x,o2(x,o1(x))) | true | 123983 | 123983 | -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_x4_u0_b13 | 17 | 4 | 0 | 13 | ![]() |
sub(P,mlt(D,sqt(D))) | 100898 | 138211834 | o2(x,o2(x,o1(x))) | true | 123991 | 123991 | -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_x4_u0_b14 | 17 | 4 | 0 | 14 | ![]() |
sub(P,div(D,sqt(D))) | 100899 | 138211835 | o2(x,o2(x,o1(x))) | true | 123999 | 123999 | -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 |



































































































