Laboratory of Babel / Archive / grad-noise-175k

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

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. #A kept 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-256 b6fc8f27…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 on inputs.expr), the formula (grad-noise-175k.manifest.json) and the frames (png/)
175,797 records
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
t12_x3_u6_b45 12 3 6 45 nrm(pow(P,sub(D,P))) 22500 97569666 o1(o2(x,o2(x,x))) true 9847 9847 -0.7197 0.1797 0.7803 0.246 0.496 -1 0.7069 1.707 1 1.288 0.002121 0.002607 0.007129 -0.1028 1 -6.922e-10 0.009205 0.009154 0.004677 0.06839 9.593 1.707 0.01922 0.03742 1 1 0.006723 0.03199 0.1489 0.02733 0.13 0.6056 json
t12_x3_u6_b46 12 3 6 46 nrm(pow(P,mlt(D,P))) 22501 97569667 o1(o2(x,o2(x,x))) true 9855 9855 -0.6335 0.25 0.8665 0.4156 0.6447 -1 0.9608 1.961 1 1.755 0.005954 0.005217 0.02382 0.0659 1 0.0001454 0.0191 0.01987 0.0106 0.103 4.323 1.957 0.02688 0.04595 1 1 0.01492 0.0683 0.1986 0.0359 0.1643 0.4777 json
t12_x3_u6_b47 12 3 6 47 nrm(pow(P,div(D,P))) 22502 97569668 o1(o2(x,o2(x,x))) true 9863 9863 -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
t12_x3_u6_b48 12 3 6 48 nrm(pow(P,pow(D,P))) 22503 97569669 o1(o2(x,o2(x,x))) true 9871 9871 -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
t12_x3_u6_b49 12 3 6 49 nrm(pow(P,mod(D,P))) 22504 97569670 o1(o2(x,o2(x,x))) true 9879 9879 -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
t12_x3_u6_b50 12 3 6 50 nrm(pow(P,lrg(D,P))) 22505 97569671 o1(o2(x,o2(x,x))) true 9887 9887 -0.6126 0.25 0.8874 0.4539 0.6737 -1 0.7071 1.707 1 1.112 0.002045 0.00553 0.006674 -0.46 1 -7.796e-9 0.01505 0.01087 0.007524 0.08674 13 1.707 0.01669 0.03315 1 1 0.01003 0.04288 0.1957 0.02209 0.09446 0.4311 json
t12_x3_u6_b51 12 3 6 51 nrm(pow(P,eql(D,P))) 22506 97569672 o1(o2(x,o2(x,x))) true 9895 9895 0.707 1 0.707 5.093e-9 0.00007136 0.7071 0.7071 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 json
t12_x3_u6_b52 12 3 6 52 nrm(pow(P,min(D,P))) 22507 97569673 o1(o2(x,o2(x,x))) true 9903 9903 -0.6116 0.25 0.8884 0.4536 0.6735 -1 0.719 1.719 1 1.355 0.004991 0.004893 0.01164 0.009853 1 0.00005459 0.01956 0.01438 0.009745 0.09872 8.479 1.691 0.02179 0.04313 1 1 0.01315 0.05339 0.2058 0.02898 0.1177 0.4536 json
t12_x3_u6_b53 12 3 6 53 nrm(pow(P,dot(D,P))) 22508 97569674 o1(o2(x,o2(x,x))) true 9911 9911 -0.7116 0.2168 0.8509 0.3125 0.559 -1 0.9994 1.999 1 1.558 0.00761 0.007311 0.02736 0.02002 1 0.0001701 0.03734 0.03766 0.01417 0.119 4.351 1.999 0.04775 0.1195 1 1 0.01801 0.06591 0.1468 0.05763 0.2109 0.4698 json
t12_x3_u6_b54 12 3 6 54 nrm(pow(P,dst(D,P))) 22509 97569675 o1(o2(x,o2(x,x))) true 9919 9919 -0.6189 0.2284 0.8889 0.4918 0.7013 -1 1 2 1 1.465 0.002651 0.007458 0.008723 -0.4755 1 -0.000001607 0.02027 0.01258 0.01003 0.1001 11.48 2.414 0.02055 0.04122 1 1 0.01357 0.0566 0.2501 0.02758 0.1151 0.5085 json
t12_x3_u6_b55 12 3 6 55 nrm(mod(P,add(D,P))) 22510 97569676 o1(o2(x,o2(x,x))) true 9927 9927 -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
t12_x3_u6_b56 12 3 6 56 nrm(mod(P,sub(D,P))) 22511 97569677 o1(o2(x,o2(x,x))) true 9935 9935 -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
t12_x3_u6_b57 12 3 6 57 nrm(mod(P,mlt(D,P))) 22512 97569678 o1(o2(x,o2(x,x))) true 9943 9943 -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
t12_x3_u6_b58 12 3 6 58 nrm(mod(P,div(D,P))) 22513 97569679 o1(o2(x,o2(x,x))) true 9951 9951 -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
t12_x3_u6_b59 12 3 6 59 nrm(mod(P,pow(D,P))) 22514 97569680 o1(o2(x,o2(x,x))) true 9959 9959 -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
t12_x3_u6_b60 12 3 6 60 nrm(mod(P,mod(D,P))) 22515 97569681 o1(o2(x,o2(x,x))) true 9967 9967 -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
t12_x3_u6_b61 12 3 6 61 nrm(mod(P,lrg(D,P))) 22516 97569682 o1(o2(x,o2(x,x))) true 9975 9975 -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
t12_x3_u6_b62 12 3 6 62 nrm(mod(P,eql(D,P))) 22517 97569683 o1(o2(x,o2(x,x))) true 9983 9983 -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
t12_x3_u6_b63 12 3 6 63 nrm(mod(P,min(D,P))) 22518 97569684 o1(o2(x,o2(x,x))) true 9991 9991 -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
t12_x3_u6_b64 12 3 6 64 nrm(mod(P,dot(D,P))) 22519 97569685 o1(o2(x,o2(x,x))) true 9999 9999 -0.1946 0.4026 0.7106 0.5351 0.7315 -1 1 2 1 4.411 0.3588 0.3518 0.5361 0.009827 1 -0.000252 3.804 1.192 0.4232 0.6505 1.213 2.828 1.328 7.11 1 1 0.4147 0.5076 0.6211 0.7751 0.9488 1.161 json
t12_x3_u6_b65 12 3 6 65 nrm(mod(P,dst(D,P))) 22520 97569686 o1(o2(x,o2(x,x))) true 10007 10007 -0.01562 0.4901 0.6475 0.4827 0.6947 -1 1 2 1 4.763 0.008285 0.00635 0.04184 0.1322 1 3.416e-10 0.03834 0.04682 0.01288 0.1135 2.713 2.414 0.03032 0.07943 1 1 0.01688 0.06451 0.1757 0.03498 0.1336 0.364 json
t12_x3_u6_b66 12 3 6 66 nrm(lrg(P,add(D,P))) 22521 97569687 o1(o2(x,o2(x,x))) true 10015 10015 -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
t12_x3_u6_b67 12 3 6 67 nrm(lrg(P,sub(D,P))) 22522 97569688 o1(o2(x,o2(x,x))) true 10023 10023 0.07635 0.4922 0.7092 0.6487 0.8054 -1 1 2 1 2.363 0.009685 0.002866 0.01199 0.5433 1 8.403e-9 0.02489 0.01786 0.0124 0.1114 9.286 2.414 0.01935 0.03837 1 1 0.0174 0.07064 0.267 0.02682 0.1089 0.4117 json
t12_x3_u6_b68 12 3 6 68 nrm(lrg(P,mlt(D,P))) 22523 97569689 o1(o2(x,o2(x,x))) true 10031 10031 0.07069 0.4648 0.7035 0.6514 0.8071 -1 1 2 1 2.201 0.008882 0.002477 0.008477 0.5639 1 9.49e-9 0.02263 0.01392 0.01128 0.1062 12.53 2.414 0.01744 0.03475 1 1 0.01575 0.06508 0.2668 0.02419 0.09991 0.4096 json
t12_x3_u6_b69 12 3 6 69 nrm(lrg(P,div(D,P))) 22524 97569690 o1(o2(x,o2(x,x))) true 10039 10039 0.3212 0.5625 0.3212 0.09942 0.3153 0 0.7071 0.7071 1 2.05 0.001944 0.00003823 0.008353 0.9614 1 -9.55e-11 0.003427 0.006894 0.001912 0.04373 5.235 0.7067 0.01994 0.03447 1 1 0.002987 0.01377 0.02801 0.03004 0.1385 0.2817 json
t12_x3_u6_b70 12 3 6 70 nrm(lrg(P,pow(D,P))) 22525 97569691 o1(o2(x,o2(x,x))) true 10047 10047 0.1103 0.6563 0.7431 0.632 0.795 -1 1 2 1 2.907 0.0145 0.005201 0.03302 0.4721 1 -0.00001624 0.03841 0.04144 0.01862 0.1364 4.132 2.414 0.03118 0.06078 1 1 0.02398 0.094 0.2792 0.03795 0.1487 0.4418 json
t12_x3_u6_b71 12 3 6 71 nrm(lrg(P,mod(D,P))) 22526 97569692 o1(o2(x,o2(x,x))) true 10055 10055 0.3391 0.5625 0.3391 0.1008 0.3175 0 0.7071 0.7071 1 1.853 0.0001451 0.000003119 0.002795 0.9579 1 -9.374e-11 0.000006806 0.0006521 0.0001404 0.01185 4.24 0.08265 0.00147 0.00006751 1 1 0.0003873 0.005082 0.03143 0.003841 0.0504 0.3117 json
t12_x3_u6_b72 12 3 6 72 nrm(lrg(P,lrg(D,P))) 22527 97569693 o1(o2(x,o2(x,x))) true 10063 10063 0.07069 0.4648 0.7035 0.6514 0.8071 -1 1 2 1 2.201 0.008882 0.002477 0.008477 0.5639 1 9.49e-9 0.02263 0.01392 0.01128 0.1062 12.53 2.414 0.01744 0.03475 1 1 0.01575 0.06508 0.2668 0.02419 0.09991 0.4096 json
t12_x3_u6_b73 12 3 6 73 nrm(lrg(P,eql(D,P))) 22528 97569694 o1(o2(x,o2(x,x))) true 10071 10071 0.07069 0.4648 0.7035 0.6514 0.8071 -1 1 2 1 2.201 0.008882 0.002477 0.008477 0.5639 1 9.49e-9 0.02263 0.01392 0.01128 0.1062 12.53 2.414 0.01744 0.03475 1 1 0.01575 0.06508 0.2668 0.02419 0.09991 0.4096 json
t12_x3_u6_b74 12 3 6 74 nrm(lrg(P,min(D,P))) 22529 97569695 o1(o2(x,o2(x,x))) true 10079 10079 0.07635 0.4922 0.7092 0.6487 0.8054 -1 1 2 1 2.363 0.009685 0.002866 0.01199 0.5433 1 8.403e-9 0.02489 0.01786 0.0124 0.1114 9.286 2.414 0.01935 0.03837 1 1 0.0174 0.07064 0.267 0.02682 0.1089 0.4117 json
t12_x3_u6_b75 12 3 6 75 nrm(lrg(P,dot(D,P))) 22530 97569696 o1(o2(x,o2(x,x))) true 10087 10087 -0.3366 0.424 0.7952 0.6175 0.7858 -1 0.9999 2 1 2.572 0.1211 0.1151 0.1613 0.02543 1 -0.001688 0.6943 0.3166 0.2102 0.4585 2.842 2.629 0.3826 1.124 1 1 0.2131 0.5217 0.4287 0.3452 0.8448 0.6943 json
t12_x3_u6_b76 12 3 6 76 nrm(lrg(P,dst(D,P))) 22531 97569697 o1(o2(x,o2(x,x))) true 10095 10095 -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
t12_x3_u6_b77 12 3 6 77 nrm(eql(P,add(D,P))) 22532 97569698 o1(o2(x,o2(x,x))) true 10103 10103 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
t12_x3_u6_b78 12 3 6 78 nrm(eql(P,sub(D,P))) 22533 97569699 o1(o2(x,o2(x,x))) true 10111 10111 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
t12_x3_u6_b79 12 3 6 79 nrm(eql(P,mlt(D,P))) 22534 97569700 o1(o2(x,o2(x,x))) true 10119 10119 0.04369 0.125 0.04369 0.02206 0.1485 0 0.7069 0.7069 1 0.7586 0.0003453 5.912e-7 0.005561 0.9966 1 2.138e-9 0.0000159 0.001297 0.0003148 0.01774 3.19 0.08265 0.01568 0.0007207 1 1 0.000901 0.01172 0.03212 0.04083 0.5313 1.456 json
t12_x3_u6_b80 12 3 6 80 nrm(eql(P,div(D,P))) 22535 97569701 o1(o2(x,o2(x,x))) true 10127 10127 -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
t12_x3_u6_b81 12 3 6 81 nrm(eql(P,pow(D,P))) 22536 97569702 o1(o2(x,o2(x,x))) true 10135 10135 -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
t12_x3_u6_b82 12 3 6 82 nrm(eql(P,mod(D,P))) 22537 97569703 o1(o2(x,o2(x,x))) true 10143 10143 -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
t12_x3_u6_b83 12 3 6 83 nrm(eql(P,lrg(D,P))) 22538 97569704 o1(o2(x,o2(x,x))) true 10151 10151 0.02197 0.0625 0.02197 0.01163 0.1079 0 0.7069 0.7069 1 0.4268 0.002136 0.000001809 0.00559 0.9983 1 6.673e-10 0.003962 0.006255 0.002106 0.04589 8.209 0.7069 0.1838 0.3405 1 1 0.003034 0.01315 0.01628 0.2608 1.13 1.399 json
t12_x3_u6_b84 12 3 6 84 nrm(eql(P,eql(D,P))) 22539 97569705 o1(o2(x,o2(x,x))) true 10159 10159 -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
t12_x3_u6_b85 12 3 6 85 nrm(eql(P,min(D,P))) 22540 97569706 o1(o2(x,o2(x,x))) true 10167 10167 0.3211 0.5625 0.3211 0.09944 0.3153 0 0.7071 0.7071 1 2.05 0.001945 0.00003823 0.008349 0.9614 1 -1.244e-10 0.003427 0.006894 0.001913 0.04373 5.238 0.7067 0.01994 0.03446 1 1 0.002987 0.01377 0.02801 0.03003 0.1385 0.2817 json
t12_x3_u6_b86 12 3 6 86 nrm(eql(P,dot(D,P))) 22541 97569707 o1(o2(x,o2(x,x))) true 10175 10175 -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
t12_x3_u6_b87 12 3 6 87 nrm(eql(P,dst(D,P))) 22542 97569708 o1(o2(x,o2(x,x))) true 10183 10183 -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
t12_x3_u6_b88 12 3 6 88 nrm(min(P,add(D,P))) 22543 97569709 o1(o2(x,o2(x,x))) true 10191 10191 -0.0219 0.4918 0.6472 0.5004 0.7074 -1 1 2 1 4.769 0.001165 0.001088 0.01029 0.03416 1 0.000007276 0.004418 0.004507 0.002148 0.04634 4.502 2.414 0.004504 0.008829 1 1 0.004224 0.02184 0.1256 0.008442 0.04365 0.2509 json
t12_x3_u6_b89 12 3 6 89 nrm(min(P,sub(D,P))) 22544 97569710 o1(o2(x,o2(x,x))) true 10199 10199 -0.6469 0 0.6469 0.0776 0.2786 -1 -0.0000689 0.9999 1 3.786 0.000305 0.0002857 0.01117 0.03267 1 2.376e-7 0.0007554 0.003702 0.000466 0.02159 1.933 0.9997 0.007612 0.009734 1 1 0.001376 0.01106 0.05488 0.01773 0.1425 0.7072 json
t12_x3_u6_b90 12 3 6 90 nrm(min(P,mlt(D,P))) 22545 97569711 o1(o2(x,o2(x,x))) true 10207 10207 -0.4035 0.2044 0.5185 0.2396 0.4895 -1 0.9992 1.999 1 4.319 0.01814 0.002271 0.06176 0.7775 1 0.0001901 0.0253 0.03492 0.0166 0.1288 2.086 1.999 0.08521 0.1056 1 1 0.03235 0.162 0.08795 0.135 0.6761 0.3671 json
t12_x3_u6_b91 12 3 6 91 nrm(min(P,div(D,P))) 22546 97569712 o1(o2(x,o2(x,x))) true 10215 10215 -0.4325 0.2378 0.5236 0.2563 0.5063 -1 0.9991 1.999 1 3.764 0.01814 0.004693 0.05142 0.589 1 0.000133 0.03469 0.04081 0.02019 0.1421 2.764 1.999 0.0891 0.1353 1 1 0.03283 0.1472 0.1086 0.1281 0.5743 0.4236 json
t12_x3_u6_b92 12 3 6 92 nrm(min(P,pow(D,P))) 22547 97569713 o1(o2(x,o2(x,x))) true 10223 10223 -0.1341 0.4904 0.5973 0.4558 0.6752 -1 1 2 1 4.615 0.01708 0.009859 0.06475 0.2681 1 0.00005878 0.05302 0.07257 0.02275 0.1508 2.329 2.25 0.05909 0.1163 1 1 0.03047 0.1131 0.1671 0.06684 0.248 0.3667 json
t12_x3_u6_b93 12 3 6 93 nrm(min(P,mod(D,P))) 22548 97569714 o1(o2(x,o2(x,x))) true 10231 10231 -0.4144 0.2188 0.5154 0.2484 0.4984 -1 0.9991 1.999 1 3.992 0.01512 0.00213 0.05059 0.753 1 0.0001922 0.02246 0.02737 0.01469 0.1212 2.396 1.999 0.06944 0.09043 1 1 0.0278 0.1396 0.09311 0.1119 0.5619 0.3749 json
t12_x3_u6_b94 12 3 6 94 nrm(min(P,lrg(D,P))) 22549 97569715 o1(o2(x,o2(x,x))) true 10239 10239 -0.6939 0 0.6939 0.1761 0.4196 -1 0 1 1 2.167 0.00003572 0.002116 0.00427 -0.9668 1 6.585e-7 0.004237 0.004798 0.002132 0.04617 10.81 1 0.01222 0.02406 1 1 0.002971 0.0129 0.06116 0.01687 0.07323 0.3473 json
t12_x3_u6_b95 12 3 6 95 nrm(min(P,eql(D,P))) 22550 97569716 o1(o2(x,o2(x,x))) true 10247 10247 -0.6939 0 0.6939 0.1761 0.4196 -1 0 1 1 2.167 0.00003572 0.002116 0.00427 -0.9668 1 6.585e-7 0.004237 0.004798 0.002132 0.04617 10.81 1 0.01222 0.02406 1 1 0.002971 0.0129 0.06116 0.01687 0.07323 0.3473 json
t12_x3_u6_b96 12 3 6 96 nrm(min(P,min(D,P))) 22551 97569717 o1(o2(x,o2(x,x))) true 10255 10255 -0.4195 0.2188 0.5161 0.2436 0.4936 -1 0.9991 1.999 1 4.003 0.01269 0.002013 0.04969 0.7263 1 0.0001979 0.01707 0.02465 0.01224 0.1106 2.227 1.999 0.06037 0.07007 1 1 0.02459 0.1296 0.07302 0.1009 0.5321 0.2997 json
t12_x3_u6_b97 12 3 6 97 nrm(min(P,dot(D,P))) 22552 97569718 o1(o2(x,o2(x,x))) true 10263 10263 -0.3845 0.2148 0.5103 0.2196 0.4687 -1 0.9991 1.999 1 4.542 0.02531 0.02142 0.07958 0.08327 1 0.0003739 0.1711 0.09207 0.0404 0.201 2.526 2.674 0.2127 0.7791 1 1 0.04598 0.1495 0.09973 0.2093 0.6808 0.454 json
t12_x3_u6_b98 12 3 6 98 nrm(min(P,dst(D,P))) 22553 97569719 o1(o2(x,o2(x,x))) true 10271 10271 -0.01578 0.4896 0.6506 0.5048 0.7105 -1 1 2 1 4.761 0.001863 0.00124 0.01041 0.2008 1 1.289e-7 0.00612 0.005753 0.002995 0.05472 5.257 2.414 0.006147 0.01212 1 1 0.005637 0.02655 0.1534 0.01117 0.0526 0.3038 json
t12_x3_u6_b99 12 3 6 99 nrm(dot(P,add(D,P))) 22554 97569720 o1(o2(x,o2(x,x))) true 10279 10279 0.5531 0.9844 0.5843 0.03822 0.1955 -1 0.5774 1.577 1 0.1161 0.002507 0.002507 0.003165 0 1 -7.573e-9 0.01034 0.006359 0.005001 0.07072 22.34 2.231 0.1312 0.2706 1 1 0.008822 0.03529 0.1411 0.2308 0.9232 3.693 json
t12_x3_u6_b100 12 3 6 100 nrm(dot(P,sub(D,P))) 22555 97569721 o1(o2(x,o2(x,x))) true 10287 10287 -0.5843 0 0.5843 0.002746 0.0524 -1 -0.5774 0.4226 1 0.1161 0.00018 0.00018 0.000848 0 1 7.344e-9 0.0007426 0.001704 0.000359 0.01895 22.34 0.5977 0.1311 0.2704 1 1 0.0006334 0.002534 0.01013 0.2306 0.9225 3.69 json
t12_x3_u6_b101 12 3 6 101 nrm(dot(P,mlt(D,P))) 22556 97569722 o1(o2(x,o2(x,x))) true 10295 10295 -0.02734 0.4863 0.3661 0.1751 0.4184 -1 0.577 1.577 1 4.146 0.06466 0.06466 0.1747 0.00000726 1 0.00006296 0.4963 0.2487 0.09879 0.3143 1.8 2.23 0.7386 2.835 1 1 0.1197 0.3385 0.1611 0.6836 1.934 0.9199 json
t12_x3_u6_b102 12 3 6 102 nrm(dot(P,div(D,P))) 22557 97569723 o1(o2(x,o2(x,x))) true 10303 10303 -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
t12_x3_u6_b103 12 3 6 103 nrm(dot(P,pow(D,P))) 22558 97569724 o1(o2(x,o2(x,x))) true 10311 10311 -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
t12_x3_u6_b104 12 3 6 104 nrm(dot(P,mod(D,P))) 22559 97569725 o1(o2(x,o2(x,x))) true 10319 10319 -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
t12_x3_u6_b105 12 3 6 105 nrm(dot(P,lrg(D,P))) 22560 97569726 o1(o2(x,o2(x,x))) true 10327 10327 -0.7112 0 0.7112 0.03864 0.1966 -1 -0.5774 0.4226 1 0.9004 0.0003994 0.0003994 0.00189 0 1 2.253e-11 0.001603 0.00378 0.0007954 0.0282 14.92 0.4226 0.02068 0.0415 1 1 0.001099 0.004394 0.01758 0.02843 0.1137 0.4549 json
t12_x3_u6_b106 12 3 6 106 nrm(dot(P,eql(D,P))) 22561 97569727 o1(o2(x,o2(x,x))) true 10335 10335 -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
t12_x3_u6_b107 12 3 6 107 nrm(dot(P,min(D,P))) 22562 97569728 o1(o2(x,o2(x,x))) true 10343 10343 0.3608 0.8207 0.5065 0.1542 0.3927 -1 0.5774 1.577 1 2.311 0.0225 0.0225 0.06248 0.000005796 1 0.000834 0.1604 0.08942 0.04109 0.2027 3.245 2.225 0.2917 1.04 1 1 0.04561 0.1412 0.1678 0.2957 0.9154 1.088 json
t12_x3_u6_b108 12 3 6 108 nrm(dot(P,dot(D,P))) 22563 97569729 o1(o2(x,o2(x,x))) true 10351 10351 -0.1913 0.4044 0.4587 0.268 0.5177 -1 0.577 1.577 1 4.035 0.06516 0.06516 0.1684 0.000007089 1 -1.977e-8 0.496 0.2499 0.102 0.3193 1.897 2.23 0.4863 1.851 1 1 0.1144 0.3274 0.3822 0.4268 1.222 1.426 json
t12_x3_u6_b109 12 3 6 109 nrm(dot(P,dst(D,P))) 22564 97569730 o1(o2(x,o2(x,x))) true 10359 10359 -0.1797 0.4102 0.6536 0.4207 0.6486 -1 0.5774 1.577 1 1.5 0.009322 0.009322 0.01374 -4.995e-8 1 -2.041e-9 0.03956 0.02797 0.01846 0.1359 9.888 2.231 0.04431 0.09402 1 1 0.02459 0.1017 0.4231 0.05845 0.2417 1.006 json
t12_x3_u6_b110 12 3 6 110 nrm(dst(P,add(D,P))) 22565 97569731 o1(o2(x,o2(x,x))) true 10367 10367 0.5777 1 0.5777 1.421e-7 0.0003769 0.5774 0.5774 5.96e-8 1 0 7.984e-16 8.002e-16 2.301e-8 -0.00000179 0 -2.679e-8 8.622e-15 3.616e-8 1.069e-15 3.27e-8 1.421 8.429e-8 1.125e-8 6.068e-8 1 1 8.125e-16 9.432e-16 0 5.719e-9 6.639e-9 0 json
t12_x3_u6_b111 12 3 6 111 nrm(dst(P,sub(D,P))) 22566 97569732 o1(o2(x,o2(x,x))) true 10375 10375 0.5777 1 0.5777 1.421e-7 0.000377 0.5774 0.5774 1.192e-7 1 0 5.708e-16 5.718e-16 1.564e-8 -0.000001007 0 -8.395e-9 5.167e-15 2.154e-8 8.985e-16 2.997e-8 1.916 1.686e-7 8.041e-9 3.636e-8 1 1 5.361e-16 5.427e-16 5.49e-16 3.773e-9 3.819e-9 3.864e-9 json
t12_x3_u6_b112 12 3 6 112 nrm(dst(P,mlt(D,P))) 22567 97569733 o1(o2(x,o2(x,x))) true 10383 10383 0.5531 0.9844 0.5843 0.03822 0.1955 -1 0.5774 1.577 1 0.1161 0.002507 0.002507 0.003165 0 1 -7.18e-9 0.01034 0.006359 0.005001 0.07072 22.34 2.231 0.1312 0.2706 1 1 0.008822 0.03529 0.1411 0.2308 0.9232 3.693 json
t12_x3_u6_b113 12 3 6 113 nrm(dst(P,div(D,P))) 22568 97569734 o1(o2(x,o2(x,x))) true 10391 10391 -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
t12_x3_u6_b114 12 3 6 114 nrm(dst(P,pow(D,P))) 22569 97569735 o1(o2(x,o2(x,x))) true 10399 10399 -0.9938 0.003906 0.9984 0.009693 0.09845 -1 0.5774 1.577 1 0.03687 0.001254 0.001254 0.001575 0 1 -7.509e-11 0.005328 0.003179 0.002504 0.05004 31.77 2.231 0.2587 0.5497 1 1 0.004411 0.01764 0.03529 0.4551 1.82 3.641 json
t12_x3_u6_b115 12 3 6 115 nrm(dst(P,mod(D,P))) 22570 97569736 o1(o2(x,o2(x,x))) true 10407 10407 -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
t12_x3_u6_b116 12 3 6 116 nrm(dst(P,lrg(D,P))) 22571 97569737 o1(o2(x,o2(x,x))) true 10415 10415 0.5716 0.9961 0.5794 0.009695 0.09846 -1 0.5774 1.577 1 0.03687 0.001254 0.001254 0.001575 0 1 -6.57e-10 0.005328 0.003179 0.002504 0.05004 31.77 2.231 0.2586 0.5496 1 1 0.004411 0.01764 0.03529 0.455 1.82 3.64 json
t12_x3_u6_b117 12 3 6 117 nrm(dst(P,eql(D,P))) 22572 97569738 o1(o2(x,o2(x,x))) true 10423 10423 0.5777 1 0.5777 1.421e-7 0.0003769 0.5774 0.5774 1.192e-7 1 0 5.371e-17 4.028e-17 1.509e-9 0.00001343 0 -7.772e-10 4.019e-16 1.686e-9 9.169e-17 9.576e-9 6.345 8.429e-8 6.615e-10 2.829e-9 1 1 4.488e-17 1.713e-16 2.597e-16 3.158e-10 1.206e-9 1.828e-9 json
t12_x3_u6_b118 12 3 6 118 nrm(dst(P,min(D,P))) 22573 97569739 o1(o2(x,o2(x,x))) true 10431 10431 0.0782 0.6836 0.7115 0.5385 0.7338 -1 0.5774 1.577 1 0.9004 0.005563 0.005563 0.00704 0 1 -4.913e-9 0.02233 0.01411 0.01108 0.1053 14.95 2.231 0.02066 0.04147 1 1 0.0153 0.0612 0.2448 0.02841 0.1136 0.4546 json
t12_x3_u6_b119 12 3 6 119 nrm(dst(P,dot(D,P))) 22574 97569740 o1(o2(x,o2(x,x))) true 10439 10439 0.5531 0.9844 0.5843 0.03822 0.1955 -1 0.5774 1.577 1 0.1161 0.002507 0.002507 0.003165 0 1 -5.613e-9 0.01034 0.006359 0.005001 0.07072 22.34 2.231 0.1312 0.2706 1 1 0.008822 0.03529 0.1411 0.2308 0.9232 3.693 json
t12_x3_u6_b120 12 3 6 120 nrm(dst(P,dst(D,P))) 22575 97569741 o1(o2(x,o2(x,x))) true 10447 10447 0.5777 1 0.5777 1.421e-7 0.000377 0.5774 0.5774 1.192e-7 1 0 5.105e-16 5.083e-16 1.388e-8 0.000002238 0 -7.498e-9 4.5e-15 1.878e-8 8.268e-16 2.875e-8 2.072 1.686e-7 7.17e-9 3.167e-8 1 1 4.883e-16 4.911e-16 4.991e-16 3.437e-9 3.456e-9 3.512e-9 json
t12_x4_u0_b0 12 4 0 0 sqt(add(P,add(D,D))) 22576 97608816 o1(o2(x,o2(x,x))) true 10455 10455 -0.06963 0.4688 0.9929 0.9835 0.9917 -1 1 2 1 1.217 0.01018 0 0.007937 1 1 9.461e-10 0.01952 0.01282 0.01011 0.1006 12.67 1.595 0.01035 0.01985 1 1 0.01405 0.06779 0.3204 0.01428 0.06893 0.3258 json
t12_x4_u0_b1 12 4 0 1 sqt(add(P,sub(D,D))) 22577 97608817 o1(o2(x,o2(x,x))) true 10463 10463 -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
t12_x4_u0_b2 12 4 0 2 sqt(add(P,mlt(D,D))) 22578 97608818 o1(o2(x,o2(x,x))) true 10471 10471 -0.02063 0.5 0.9794 0.9732 0.9865 -1 1 2 1 1.328 0.004596 0 0.007937 1 1 -9.47e-10 0.007897 0.008596 0.004532 0.06732 8.482 1.032 0.004723 0.008114 1 1 0.006955 0.0494 0.3005 0.007147 0.05076 0.3088 json
t12_x4_u0_b3 12 4 0 3 sqt(add(P,div(D,D))) 22579 97608819 o1(o2(x,o2(x,x))) true 10479 10479 0.05168 0.5352 0.9814 0.9739 0.9868 -1 1 2 1 1.254 0.09768 0 0.06418 1 1 1.892e-9 0.2889 0.1253 0.09351 0.3058 4.765 2 0.1003 0.2966 1 1 0.06754 0.06898 0.3059 0.06935 0.07083 0.3141 json
t12_x4_u0_b4 12 4 0 4 sqt(add(P,pow(D,D))) 22580 97608820 o1(o2(x,o2(x,x))) true 10487 10487 -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
t12_x4_u0_b5 12 4 0 5 sqt(add(P,mod(D,D))) 22581 97608821 o1(o2(x,o2(x,x))) true 10495 10495 -0.027 0.5 0.973 0.9636 0.9816 -1 1 2 1 1.383 0.008414 0 0.01693 1 1 -1.892e-9 0.01742 0.0286 0.008124 0.09013 5.325 1 0.008732 0.01808 1 1 0.01077 0.04717 0.2892 0.01117 0.04895 0.3002 json
t12_x4_u0_b6 12 4 0 6 sqt(add(P,lrg(D,D))) 22582 97608822 o1(o2(x,o2(x,x))) true 10503 10503 -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
t12_x4_u0_b7 12 4 0 7 sqt(add(P,eql(D,D))) 22583 97608823 o1(o2(x,o2(x,x))) true 10511 10511 0.09375 0.5625 0.9688 0.9525 0.976 -1 1 2 1 1.404 0.004323 0 0.007937 1 1 -9.386e-13 0.007903 0.008812 0.004259 0.06526 8.223 1 0.004539 0.008297 1 1 0.006228 0.03975 0.2856 0.006538 0.04173 0.2999 json
t12_x4_u0_b8 12 4 0 8 sqt(add(P,min(D,D))) 22584 97608824 o1(o2(x,o2(x,x))) true 10519 10519 -0.02078 0.5 0.9792 0.968 0.9839 -1 1 2 1 1.434 0.005707 0 0.007937 1 1 4.731e-10 0.009859 0.009339 0.005643 0.07512 9.465 1.177 0.005896 0.01018 1 1 0.008601 0.0501 0.2947 0.008886 0.05176 0.3045 json
t12_x4_u0_b9 12 4 0 9 sqt(add(P,dot(D,D))) 22585 97608825 o1(o2(x,o2(x,x))) true 10527 10527 -0.01176 0.5024 0.9834 0.9758 0.9878 -1 1 2 1 1.33 0.00698 0.002116 0.009505 0.5347 1 -0.00001216 0.02529 0.01382 0.009004 0.09489 9.983 2.102 0.009322 0.02591 1 1 0.01259 0.06119 0.3046 0.01291 0.0627 0.3122 json
t12_x4_u0_b10 12 4 0 10 sqt(add(P,dst(D,D))) 22586 97608826 o1(o2(x,o2(x,x))) true 10535 10535 -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
t12_x4_u0_b11 12 4 0 11 sqt(sub(P,add(D,D))) 22587 97608827 o1(o2(x,o2(x,x))) true 10543 10543 -0.1913 0.4063 0.9962 0.9558 0.9777 -1 1 2 1 1.146 0.0458 0 0.02423 1 1 9.461e-10 0.09302 0.04743 0.0452 0.2126 8.773 2 0.04792 0.09732 1 1 0.0598 0.233 0.3274 0.06257 0.2437 0.3425 json
t12_x4_u0_b12 12 4 0 12 sqt(sub(P,sub(D,D))) 22588 97608828 o1(o2(x,o2(x,x))) true 10551 10551 -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
t12_x4_u0_b13 12 4 0 13 sqt(sub(P,mlt(D,D))) 22589 97608829 o1(o2(x,o2(x,x))) true 10559 10559 -0.1251 0.4375 0.9999 0.9842 0.9921 -1 1 2 1 0.9887 0.01587 0 0.008007 1 1 -9.461e-10 0.03178 0.01594 0.0158 0.1257 15.7 2 0.01612 0.03229 1 1 0.02101 0.08394 0.3366 0.02135 0.08529 0.342 json
t12_x4_u0_b14 12 4 0 14 sqt(sub(P,div(D,D))) 22590 97608830 o1(o2(x,o2(x,x))) true 10567 10567 -0.204 0.4063 0.9835 0.939 0.969 -1 1 2 1 1.157 0.07767 0 0.05118 1 1 0 0.233 0.1014 0.07504 0.2739 5.352 1.993 0.08271 0.2481 1 1 0.05151 0.09118 0.3113 0.05486 0.09711 0.3316 json
t12_x4_u0_b15 12 4 0 15 sqt(sub(P,pow(D,D))) 22591 97608831 o1(o2(x,o2(x,x))) true 10575 10575 -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
t12_x4_u0_b16 12 4 0 16 sqt(sub(P,mod(D,D))) 22592 97608832 o1(o2(x,o2(x,x))) true 10583 10583 -0.04948 0.4844 0.9818 0.9747 0.9872 -1 1 2 1 1.277 0.03889 0 0.0353 1 1 -9.461e-10 0.1102 0.06828 0.03763 0.194 5.495 1.677 0.0399 0.113 1 1 0.03011 0.05803 0.3062 0.03089 0.05954 0.3141 json
t12_x4_u0_b17 12 4 0 17 sqt(sub(P,lrg(D,D))) 22593 97608833 o1(o2(x,o2(x,x))) true 10591 10591 -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
t12_x4_u0_b18 12 4 0 18 sqt(sub(P,eql(D,D))) 22594 97608834 o1(o2(x,o2(x,x))) true 10599 10599 -0.1563 0.4375 0.9688 0.9369 0.9679 -1 1 2 1 1.385 0.004323 0 0.007937 1 1 -9.386e-13 0.007903 0.008812 0.004259 0.06526 8.223 1 0.004615 0.008435 1 1 0.006228 0.03975 0.2856 0.006647 0.04243 0.3049 json
t12_x4_u0_b19 12 4 0 19 sqt(sub(P,min(D,D))) 22595 97608835 o1(o2(x,o2(x,x))) true 10607 10607 -0.1259 0.4375 0.9991 0.9824 0.9912 -1 1 2 1 0.9887 0.01564 0 0.008279 1 1 1.892e-9 0.03169 0.01625 0.01556 0.1248 15.07 1.984 0.01592 0.03226 1 1 0.02046 0.08194 0.3346 0.02083 0.08341 0.3406 json
t12_x4_u0_b20 12 4 0 20 sqt(sub(P,dot(D,D))) 22596 97608836 o1(o2(x,o2(x,x))) true 10615 10615 -0.1737 0.4141 0.9982 0.9669 0.9833 -1 1 2 1 1.075 0.04658 0.01964 0.03196 0.4069 1 -0.0001227 0.1882 0.06712 0.06517 0.2553 7.988 2.828 0.06849 0.1946 1 1 0.08786 0.2288 0.3321 0.09087 0.2366 0.3435 json
t12_x4_u0_b21 12 4 0 21 sqt(sub(P,dst(D,D))) 22597 97608837 o1(o2(x,o2(x,x))) true 10623 10623 -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
t12_x4_u0_b22 12 4 0 22 sqt(mlt(P,add(D,D))) 22598 97608838 o1(o2(x,o2(x,x))) true 10631 10631 -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
t12_x4_u0_b23 12 4 0 23 sqt(mlt(P,sub(D,D))) 22599 97608839 o1(o2(x,o2(x,x))) true 10639 10639 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