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
t13_x6_u46_b3 13 6 46 3 nrm(div(cil(R),P)) 45800 105819468 o1(o2(o1(x),x)) true 25367 25367 -0.9531 0 0.9531 0.04468 0.2114 -1 0 1 1 0.273 0.003748 0.004693 0.008376 -0.1119 1 0 0.01779 0.01688 0.008368 0.09148 10.92 1.414 0.1889 0.3983 1 1 0.005471 0.02384 0.04853 0.1225 0.5335 1.086 json
t13_x6_u46_b4 13 6 46 4 nrm(pow(cil(R),P)) 45801 105819469 o1(o2(o1(x),x)) true 25375 25375 -0.3106 0.4443 0.5878 0.4211 0.6489 -1 0.7071 1.707 1 2.634 0.01572 0.01002 0.03065 0.2216 1 -0.000009158 0.05204 0.03579 0.0248 0.1575 5.137 2.414 0.06111 0.1236 1 1 0.02867 0.1274 0.377 0.06807 0.3025 0.8953 json
t13_x6_u46_b5 13 6 46 5 nrm(mod(cil(R),P)) 45802 105819470 o1(o2(o1(x),x)) true 25383 25383 -0.5207 0.3146 0.7762 0.4579 0.6767 -1 0.9999 2 1 2.185 0.02654 0.03297 0.0533 -0.108 1 0.000006671 0.1204 0.08396 0.05669 0.2381 4.467 2.828 0.1299 0.2629 1 1 0.05273 0.2256 0.6831 0.1151 0.4926 1.492 json
t13_x6_u46_b6 13 6 46 6 nrm(lrg(cil(R),P)) 45803 105819471 o1(o2(o1(x),x)) true 25391 25391 0.09335 0.4992 0.609 0.5131 0.7163 -1 1 2 1 2.866 0.008691 0.005407 0.01674 0.2329 1 0.000001229 0.02855 0.02147 0.01382 0.1176 7.022 2 0.02747 0.05563 1 1 0.01669 0.07358 0.2811 0.03253 0.1434 0.5478 json
t13_x6_u46_b7 13 6 46 7 nrm(eql(cil(R),P)) 45804 105819472 o1(o2(o1(x),x)) true 25399 25399 -0.8393 0.05811 0.8951 0.1817 0.4263 -1 0.9998 2 1 0.8665 0.01526 0.01209 0.02353 0.1157 1 -0.000002852 0.05657 0.04348 0.02682 0.1638 6.959 2.828 0.1505 0.3113 1 1 0.03101 0.1277 0.3644 0.1706 0.7026 2.005 json
t13_x6_u46_b8 13 6 46 8 nrm(min(cil(R),P)) 45805 105819473 o1(o2(o1(x),x)) true 25407 25407 -0.5751 0.2392 0.6805 0.2822 0.5313 -1 0.9999 2 1 3.17 0.008731 0.01099 0.02173 -0.1144 1 -0.000004657 0.03994 0.02687 0.01925 0.1387 6.386 2.414 0.06986 0.1415 1 1 0.02448 0.1074 0.364 0.08673 0.3807 1.29 json
t13_x6_u46_b9 13 6 46 9 nrm(dot(cil(R),P)) 45806 105819474 o1(o2(o1(x),x)) true 25415 25415 -0.789 0.106 0.894 0.2234 0.4727 -1 0.5774 1.577 1 1.355 0.01668 0.01614 0.03152 0.01666 1 -0.000003292 0.06719 0.05241 0.03182 0.1784 5.659 2.231 0.1469 0.3007 1 1 0.03995 0.1671 0.5056 0.1788 0.7479 2.263 json
t13_x6_u46_b10 13 6 46 10 nrm(dst(cil(R),P)) 45807 105819475 o1(o2(o1(x),x)) true 25423 25423 0.5531 0.9844 0.5843 0.03823 0.1955 -1 0.5774 1.577 1 0.1161 0.002507 0.002507 0.003165 0 1 -8.785e-10 0.01034 0.006359 0.005002 0.07072 22.35 2.231 0.1312 0.2706 1 1 0.008822 0.03529 0.1411 0.2308 0.923 3.692 json
t13_x6_u47_b0 13 6 47 0 nrm(add(sgn(R),P)) 45808 105819666 o1(o2(o1(x),x)) true 25431 25431 -0.003834 0.4984 0.6148 0.4544 0.6741 -0.9939 0.9923 1.986 1 4.857 0.0003298 0.0002216 0.01566 0.1963 1 -0.000004699 0.00003151 0.003528 0.0003061 0.0175 1.117 0.1629 0.001214 0.00006934 1 1 0.001647 0.02148 0.1049 0.003625 0.04726 0.2309 json
t13_x6_u47_b1 13 6 47 1 nrm(sub(sgn(R),P)) 45809 105819667 o1(o2(o1(x),x)) true 25439 25439 -0.004745 0.4936 0.6193 0.4641 0.6812 -0.9899 0.9939 1.984 1 4.841 0.0003747 0.0002381 0.0159 0.2229 1 -0.000005165 0.0000348 0.003554 0.0003599 0.01897 1.193 0.1629 0.00132 0.00007498 1 1 0.001884 0.02457 0.1179 0.004059 0.05295 0.2541 json
t13_x6_u47_b2 13 6 47 2 nrm(mlt(sgn(R),P)) 45810 105819668 o1(o2(o1(x),x)) true 25447 25447 -0.06399 0.4626 0.4744 0.3126 0.5591 -1 1 2 1 4.962 0.005232 0.006136 0.06993 -0.07956 1 -0.00003261 0.006054 0.02037 0.006478 0.08049 1.151 2.413 0.03637 0.01937 1 1 0.02188 0.2398 0.6574 0.06999 0.767 2.103 json
t13_x6_u47_b3 13 6 47 3 nrm(div(sgn(R),P)) 45811 105819669 o1(o2(o1(x),x)) true 25455 25455 -0.125 0 0.125 0.1094 0.3307 -1 0 1 1 0.5436 0.007937 0 0.007937 1 1 0 0.01587 0.01587 0.007872 0.08872 11.18 1 0.07256 0.1451 1 1 0.01053 0.04211 0.1684 0.09624 0.385 1.54 json
t13_x6_u47_b4 13 6 47 4 nrm(pow(sgn(R),P)) 45812 105819670 o1(o2(o1(x),x)) true 25463 25463 -0.9815 0.01172 0.9951 0.02883 0.1698 -1 0.5774 1.577 1 0.09198 0.003761 0.002507 0.003945 0.2 1 -1.952e-10 0.01316 0.007948 0.006259 0.07911 20.05 2.231 0.2174 0.4566 1 1 0.01103 0.04411 0.1048 0.3825 1.53 3.633 json
t13_x6_u47_b5 13 6 47 5 nrm(mod(sgn(R),P)) 45813 105819671 o1(o2(o1(x),x)) true 25471 25471 -0.2724 0.3389 0.5398 0.3118 0.5584 -1 0.7071 1.707 1 3.958 0.008826 0.01543 0.05983 -0.2724 1 0.00001088 0.04048 0.04191 0.02068 0.1438 2.403 1.707 0.0778 0.1298 1 1 0.03117 0.1814 0.5031 0.09996 0.5817 1.613 json
t13_x6_u47_b6 13 6 47 6 nrm(lrg(sgn(R),P)) 45814 105819672 o1(o2(o1(x),x)) true 25479 25479 0.05299 0.4946 0.6233 0.537 0.7328 -1 1 2 1 2.945 0.008013 0.005473 0.01894 0.1884 1 -0.00000777 0.0269 0.02236 0.01313 0.1146 6.049 2 0.02512 0.0501 1 1 0.01616 0.07617 0.2955 0.0301 0.1419 0.5502 json
t13_x6_u47_b7 13 6 47 7 nrm(eql(sgn(R),P)) 45815 105819673 o1(o2(o1(x),x)) true 25487 25487 -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
t13_x6_u47_b8 13 6 47 8 nrm(min(sgn(R),P)) 45816 105819674 o1(o2(o1(x),x)) true 25495 25495 -0.3945 0.2204 0.543 0.2441 0.494 -1 0.9995 1.999 1 4.436 0.001325 0.001309 0.03032 0.005865 1 -0.00002266 0.0001627 0.007266 0.001714 0.04141 1.366 0.1995 0.01079 0.0006666 1 1 0.005667 0.07407 0.2259 0.02322 0.3035 0.9255 json
t13_x6_u47_b9 13 6 47 9 nrm(dot(sgn(R),P)) 45817 105819675 o1(o2(o1(x),x)) true 25503 25503 -0.2012 0.3882 0.5173 0.3022 0.5497 -1 0.5774 1.577 1 3.9 0.01396 0.01444 0.06747 -0.01679 1 -0.00002964 0.04971 0.04942 0.02385 0.1544 2.289 2.23 0.09399 0.1645 1 1 0.03733 0.2274 0.6936 0.1235 0.7527 2.295 json
t13_x6_u47_b10 13 6 47 10 nrm(dst(sgn(R),P)) 45818 105819676 o1(o2(o1(x),x)) true 25511 25511 0.5777 1 0.5777 1.421e-7 0.0003769 0.5774 0.5774 1.192e-7 1 0 5.287e-17 4.028e-17 1.498e-9 0.00001259 0 -9.799e-10 4.126e-16 1.731e-9 9.087e-17 9.532e-9 6.362 8.429e-8 6.556e-10 2.904e-9 1 1 6.81e-17 2.576e-16 2.985e-16 4.793e-10 1.813e-9 2.101e-9 json
t13_x6_u48_b0 13 6 48 0 nrm(add(nrm(R),P)) 45819 105819867 o1(o2(o1(x),x)) true 25519 25519 -0.001967 0.4977 0.6374 0.4804 0.6931 -1 0.9989 1.999 1 4.811 0.0002617 0.000124 0.01158 0.3572 1 -0.000001306 0.00002119 0.002568 0.0002516 0.01586 1.37 0.1868 0.0008028 0.00004412 1 1 0.001199 0.01574 0.1099 0.002496 0.03277 0.2288 json
t13_x6_u48_b1 13 6 48 1 nrm(sub(nrm(R),P)) 45820 105819868 o1(o2(o1(x),x)) true 25527 25527 -0.002077 0.4978 0.6384 0.4854 0.6967 -0.9993 0.9989 1.998 1 4.794 0.0002692 0.0001428 0.01176 0.3067 1 -0.000001498 0.00002214 0.002568 0.0002738 0.01655 1.407 0.1794 0.0008489 0.00004562 1 1 0.001298 0.01703 0.1173 0.002673 0.03508 0.2417 json
t13_x6_u48_b2 13 6 48 2 nrm(mlt(nrm(R),P)) 45821 105819869 o1(o2(o1(x),x)) true 25535 25535 -0.06496 0.4542 0.4818 0.3274 0.5722 -1 1 2 1 4.95 0.005439 0.006103 0.07362 -0.05754 1 -0.00004516 0.006198 0.02087 0.006122 0.07825 1.063 2.054 0.03525 0.01893 1 1 0.02251 0.2466 0.6759 0.06875 0.7532 2.064 json
t13_x6_u48_b3 13 6 48 3 nrm(div(nrm(R),P)) 45822 105819870 o1(o2(o1(x),x)) true 25543 25543 -0.125 0 0.125 0.1094 0.3307 -1 0 1 1 0.5436 0.007937 0 0.007937 1 1 0 0.01587 0.01587 0.007872 0.08872 11.18 1 0.07256 0.1451 1 1 0.01053 0.04211 0.1684 0.09624 0.385 1.54 json
t13_x6_u48_b4 13 6 48 4 nrm(pow(nrm(R),P)) 45823 105819871 o1(o2(o1(x),x)) true 25551 25551 -0.9822 0.01172 0.9943 0.027 0.1643 -1 0.707 1.707 1 0.1291 0.003537 0.00209 0.003915 0.2572 1 -1.201e-10 0.01177 0.007508 0.005617 0.07495 19.14 2.045 0.2084 0.4358 1 1 0.00991 0.03997 0.09842 0.367 1.48 3.645 json
t13_x6_u48_b5 13 6 48 5 nrm(mod(nrm(R),P)) 45824 105819872 o1(o2(o1(x),x)) true 25559 25559 -0.2601 0.3525 0.5395 0.3299 0.5744 -1 0.9534 1.953 1 4.451 0.01338 0.01365 0.063 -0.00984 1 0.00001713 0.04636 0.04383 0.02307 0.1519 2.411 2.033 0.08195 0.1405 1 1 0.03382 0.1893 0.5291 0.1025 0.5738 1.604 json
t13_x6_u48_b6 13 6 48 6 nrm(lrg(nrm(R),P)) 45825 105819873 o1(o2(o1(x),x)) true 25567 25567 0.09335 0.4992 0.609 0.5131 0.7163 -1 1 2 1 2.866 0.008691 0.005407 0.01674 0.2329 1 0.000001229 0.02855 0.02147 0.01382 0.1176 7.022 2 0.02747 0.05563 1 1 0.01669 0.07358 0.2811 0.03253 0.1434 0.5478 json
t13_x6_u48_b7 13 6 48 7 nrm(eql(nrm(R),P)) 45826 105819874 o1(o2(o1(x),x)) true 25575 25575 -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
t13_x6_u48_b8 13 6 48 8 nrm(min(nrm(R),P)) 45827 105819875 o1(o2(o1(x),x)) true 25583 25583 -0.3896 0.2198 0.5323 0.2636 0.5134 -1 0.9995 1.999 1 4.305 0.001368 0.000949 0.02769 0.181 1 -0.00002433 0.0001404 0.006404 0.001551 0.03938 1.422 0.2319 0.008793 0.0005326 1 1 0.004631 0.06063 0.2062 0.01757 0.2301 0.7823 json
t13_x6_u48_b9 13 6 48 9 nrm(dot(nrm(R),P)) 45828 105819876 o1(o2(o1(x),x)) true 25591 25591 -0.06073 0.4514 0.4296 0.2175 0.4663 -1 0.5774 1.577 1 3.923 0.003737 0.00504 0.05998 -0.1484 1 -0.00005928 0.006626 0.01855 0.00518 0.07197 1.2 2.23 0.04036 0.03047 1 1 0.01663 0.166 0.4745 0.07648 0.7635 2.182 json
t13_x6_u48_b10 13 6 48 10 nrm(dst(nrm(R),P)) 45829 105819877 o1(o2(o1(x),x)) true 25599 25599 0.5777 1 0.5777 1.421e-7 0.000377 0.5774 0.5774 1.192e-7 1 0 4.285e-17 3.39e-17 1.238e-9 0.000008951 0 -4.58e-10 3.294e-16 1.382e-9 7.525e-17 8.675e-9 7.009 8.429e-8 5.402e-10 2.318e-9 1 1 7.278e-17 2.785e-16 4.862e-16 5.122e-10 1.96e-9 3.422e-9 json
t13_x7_u0_b0 13 7 0 0 sqt(add(sqt(R),D)) 45830 105850620 o1(o2(o1(x),x)) true 25607 25607 -0.9538 0.02588 0.9944 0.08055 0.2838 -1 0.9688 1.969 1 0.2414 0.01699 0.008717 0.01464 0.3218 1 0.000007785 0.05538 0.02876 0.02551 0.1597 10.91 2.756 0.3191 0.6875 1 1 0.01843 0.07351 0.1413 0.2288 0.9125 1.754 json
t13_x7_u0_b1 13 7 0 1 sqt(sub(sqt(R),D)) 45831 105850621 o1(o2(o1(x),x)) true 25615 25615 -0.9543 0.02563 0.9944 0.07973 0.2824 -1 0.9895 1.989 1 0.2426 0.01609 0.007755 0.01358 0.3496 1 0.00001645 0.05116 0.02666 0.02367 0.1538 11.33 2.695 0.2991 0.6416 1 1 0.01588 0.0642 0.1278 0.1992 0.8052 1.603 json
t13_x7_u0_b2 13 7 0 2 sqt(mlt(sqt(R),D)) 45832 105850622 o1(o2(o1(x),x)) true 25623 25623 -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
t13_x7_u0_b3 13 7 0 3 sqt(div(sqt(R),D)) 45833 105850623 o1(o2(o1(x),x)) true 25631 25631 -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
t13_x7_u0_b4 13 7 0 4 sqt(pow(sqt(R),D)) 45834 105850624 o1(o2(o1(x),x)) true 25639 25639 -0.9146 0.04297 0.9995 0.1624 0.403 -1 1 2 1 0.2679 0.01684 0.01615 0.01661 0.02075 1 0.000002097 0.06907 0.03321 0.0327 0.1808 10.89 2.828 0.2031 0.4253 1 1 0.02521 0.1083 0.2716 0.1553 0.6669 1.672 json
t13_x7_u0_b5 13 7 0 5 sqt(mod(sqt(R),D)) 45835 105850625 o1(o2(o1(x),x)) true 25647 25647 -0.9427 0.04297 0.9713 0.07391 0.2719 -1 0.7 1.7 1 0.3937 0.006064 0.007466 0.0147 -0.1036 1 -0.00004592 0.02783 0.02685 0.01332 0.1154 7.852 1.716 0.1831 0.3766 1 1 0.0103 0.04934 0.123 0.1394 0.6676 1.664 json
t13_x7_u0_b6 13 7 0 6 sqt(lrg(sqt(R),D)) 45836 105850626 o1(o2(o1(x),x)) true 25655 25655 0.9764 1 0.9764 0.008587 0.09266 0.007413 1 0.9926 1 0.6761 0.003381 0.0001242 0.01432 0.9291 1 0.00002584 0.007036 0.01663 0.003299 0.05743 4.011 0.9926 0.4082 0.8195 1 1 0.002943 0.009819 0.01635 0.3427 1.143 1.905 json
t13_x7_u0_b7 13 7 0 7 sqt(eql(sqt(R),D)) 45837 105850627 o1(o2(o1(x),x)) true 25663 25663 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
t13_x7_u0_b8 13 7 0 8 sqt(min(sqt(R),D)) 45838 105850628 o1(o2(o1(x),x)) true 25671 25671 -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
t13_x7_u0_b9 13 7 0 9 sqt(dot(sqt(R),D)) 45839 105850629 o1(o2(o1(x),x)) true 25679 25679 -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
t13_x7_u0_b10 13 7 0 10 sqt(dst(sqt(R),D)) 45840 105850630 o1(o2(o1(x),x)) true 25687 25687 -0.9922 0.003906 1 0.01556 0.1248 -1 1 2 1 0.03687 0.002016 0.002016 0.001997 0 1 0 0.008566 0.004031 0.004024 0.06344 31.76 2.828 0.259 0.5504 1 1 0.007091 0.02837 0.05496 0.4556 1.823 3.531 json
t13_x7_u1_b0 13 7 1 0 sqt(add(log(R),D)) 45841 105850821 o1(o2(o1(x),x)) true 25695 25695 -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
t13_x7_u1_b1 13 7 1 1 sqt(sub(log(R),D)) 45842 105850822 o1(o2(o1(x),x)) true 25703 25703 -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
t13_x7_u1_b2 13 7 1 2 sqt(mlt(log(R),D)) 45843 105850823 o1(o2(o1(x),x)) true 25711 25711 -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
t13_x7_u1_b3 13 7 1 3 sqt(div(log(R),D)) 45844 105850824 o1(o2(o1(x),x)) true 25719 25719 -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
t13_x7_u1_b4 13 7 1 4 sqt(pow(log(R),D)) 45845 105850825 o1(o2(o1(x),x)) true 25727 25727 -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
t13_x7_u1_b5 13 7 1 5 sqt(mod(log(R),D)) 45846 105850826 o1(o2(o1(x),x)) true 25735 25735 -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
t13_x7_u1_b6 13 7 1 6 sqt(lrg(log(R),D)) 45847 105850827 o1(o2(o1(x),x)) true 25743 25743 0.5848 0.9773 0.5848 0.1487 0.3856 0 1 1 1 3.365 0.01084 0.002302 0.06246 0.6497 1 -0.0003336 0.01823 0.03741 0.009242 0.09613 1.539 0.9997 0.08839 0.1226 1 1 0.01677 0.1301 0.268 0.1128 0.8753 1.802 json
t13_x7_u1_b7 13 7 1 7 sqt(eql(log(R),D)) 45848 105850828 o1(o2(o1(x),x)) true 25751 25751 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
t13_x7_u1_b8 13 7 1 8 sqt(min(log(R),D)) 45849 105850829 o1(o2(o1(x),x)) true 25759 25759 -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
t13_x7_u1_b9 13 7 1 9 sqt(dot(log(R),D)) 45850 105850830 o1(o2(o1(x),x)) true 25767 25767 -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
t13_x7_u1_b10 13 7 1 10 sqt(dst(log(R),D)) 45851 105850831 o1(o2(o1(x),x)) true 25775 25775 -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
t13_x7_u2_b0 13 7 2 0 sqt(add(frc(R),D)) 45852 105851022 o1(o2(o1(x),x)) true 25783 25783 -0.388 0.3633 0.8855 0.6662 0.8162 -1 1 2 1 2.142 0.306 0.02959 0.2109 0.8236 1 0.001393 0.722 0.4056 0.2912 0.5397 2.558 2.761 0.5037 1.084 1 1 0.3323 0.941 0.8127 0.4987 1.412 1.22 json
t13_x7_u2_b1 13 7 2 1 sqt(sub(frc(R),D)) 45853 105851023 o1(o2(o1(x),x)) true 25791 25791 -0.3852 0.3655 0.8838 0.666 0.8161 -1 1 2 1 2.158 0.3057 0.0306 0.211 0.818 1 0.0001692 0.7256 0.4076 0.2919 0.5403 2.561 2.828 0.5049 1.089 1 1 0.3328 0.9466 0.8162 0.4996 1.421 1.226 json
t13_x7_u2_b2 13 7 2 2 sqt(mlt(frc(R),D)) 45854 105851024 o1(o2(o1(x),x)) true 25799 25799 -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
t13_x7_u2_b3 13 7 2 3 sqt(div(frc(R),D)) 45855 105851025 o1(o2(o1(x),x)) true 25807 25807 -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
t13_x7_u2_b4 13 7 2 4 sqt(pow(frc(R),D)) 45856 105851026 o1(o2(o1(x),x)) true 25815 25815 0.974 1 0.974 0.002786 0.05278 0.5171 1 0.4829 1 0.8328 0.0002793 0.00004503 0.009362 0.7224 1 0.00002398 0.0001275 0.005838 0.0002368 0.01539 1.644 0.1694 0.1164 0.04578 1 1 0.000567 0.004138 0.005004 0.2035 1.486 1.796 json
t13_x7_u2_b5 13 7 2 5 sqt(mod(frc(R),D)) 45857 105851027 o1(o2(o1(x),x)) true 25823 25823 0.3189 1 0.3189 0.0205 0.1432 0.007958 0.6838 0.6758 1 3.195 0.01544 0.0001213 0.09255 0.9844 1 -0.0005436 0.03873 0.1475 0.006996 0.08364 0.9038 0.4518 0.759 1.889 1 1 0.0122 0.03525 0.01669 0.5953 1.719 0.8138 json
t13_x7_u2_b6 13 7 2 6 sqt(lrg(frc(R),D)) 45858 105851028 o1(o2(o1(x),x)) true 25831 25831 0.8717 1 0.8717 0.05109 0.226 0.000582 1 0.9994 1 2.175 0.01818 0.0005901 0.05803 0.9371 1 0.00008906 0.03613 0.06391 0.0154 0.1241 2.139 0.9994 0.3674 0.7072 1 1 0.01752 0.06396 0.08102 0.3429 1.252 1.586 json
t13_x7_u2_b7 13 7 2 7 sqt(eql(frc(R),D)) 45859 105851029 o1(o2(o1(x),x)) true 25839 25839 0.000082 0.0002441 0.000082 0.00004315 0.006569 0 0.6715 0.6715 1 0.003091 0.00006086 6.316e-7 0.000129 0.9795 0 2.395e-7 0.0001845 0.0002541 0.00006148 0.007841 60.78 0.6519 1.425 4.276 1 1 0 0 0.00003293 0 0 0.7631 json
t13_x7_u2_b8 13 7 2 8 sqt(min(frc(R),D)) 45860 105851030 o1(o2(o1(x),x)) true 25847 25847 -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
t13_x7_u2_b9 13 7 2 9 sqt(dot(frc(R),D)) 45861 105851031 o1(o2(o1(x),x)) true 25855 25855 -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
t13_x7_u2_b10 13 7 2 10 sqt(dst(frc(R),D)) 45862 105851032 o1(o2(o1(x),x)) true 25863 25863 0.9606 1 0.9606 0.006172 0.07856 0.2677 1 0.7323 1 1.208 0.0002501 0.0002452 0.012 0.009838 1 -0.00005142 0.000136 0.005501 0.0003512 0.01874 1.562 0.1481 0.08025 0.02204 1 1 0.0009358 0.007942 0.01108 0.1516 1.287 1.795 json
t13_x7_u3_b0 13 7 3 0 sqt(add(flr(R),D)) 45863 105851223 o1(o2(o1(x),x)) true 25871 25871 -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
t13_x7_u3_b1 13 7 3 1 sqt(sub(flr(R),D)) 45864 105851224 o1(o2(o1(x),x)) true 25879 25879 -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
t13_x7_u3_b2 13 7 3 2 sqt(mlt(flr(R),D)) 45865 105851225 o1(o2(o1(x),x)) true 25887 25887 -0.7544 0.1667 0.8081 0.2203 0.4694 -1 0.4565 1.457 1 1.249 0.02342 0.02104 0.04583 0.05352 1 -0.00002833 0.09093 0.08137 0.04237 0.2058 4.492 1.664 0.2017 0.4127 1 1 0.04763 0.2124 0.4862 0.2162 0.9641 2.207 json
t13_x7_u3_b3 13 7 3 3 sqt(div(flr(R),D)) 45866 105851226 o1(o2(o1(x),x)) true 25895 25895 -0.709 0.1688 0.8535 0.3383 0.5816 -1 1 2 1 1.326 0.04814 0.03019 0.06133 0.2292 1 8.147e-7 0.1623 0.1058 0.07457 0.2731 4.453 2.828 0.2315 0.4798 1 1 0.08332 0.3597 0.7496 0.2463 1.063 2.216 json
t13_x7_u3_b4 13 7 3 4 sqt(pow(flr(R),D)) 45867 105851227 o1(o2(o1(x),x)) true 25903 25903 -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
t13_x7_u3_b5 13 7 3 5 sqt(mod(flr(R),D)) 45868 105851228 o1(o2(o1(x),x)) true 25911 25911 -0.9355 0 0.9355 0.0603 0.2456 -1 0 1 1 0.3449 0.03943 0.005637 0.04452 0.7498 1 0 0.1262 0.09014 0.04307 0.2075 4.661 1.414 0.7475 2.092 1 1 0.02957 0.05542 0.1043 0.4904 0.9191 1.73 json
t13_x7_u3_b6 13 7 3 6 sqt(lrg(flr(R),D)) 45869 105851229 o1(o2(o1(x),x)) true 25919 25919 0.2393 0.7168 0.2393 0.1075 0.3279 0 0.9997 0.9997 1 2.776 0.02734 0.00118 0.06882 0.9172 1 -0.00001639 0.05101 0.06655 0.02378 0.1542 2.241 0.9997 0.2652 0.4744 1 1 0.03061 0.1388 0.1417 0.2847 1.291 1.317 json
t13_x7_u3_b7 13 7 3 7 sqt(eql(flr(R),D)) 45870 105851230 o1(o2(o1(x),x)) true 25927 25927 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
t13_x7_u3_b8 13 7 3 8 sqt(min(flr(R),D)) 45871 105851231 o1(o2(o1(x),x)) true 25935 25935 -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
t13_x7_u3_b9 13 7 3 9 sqt(dot(flr(R),D)) 45872 105851232 o1(o2(o1(x),x)) true 25943 25943 -0.8686 0.1021 0.9151 0.1455 0.3814 -1 0.636 1.636 1 0.8194 0.02117 0.02306 0.0384 -0.04288 1 -0.00005108 0.1147 0.07493 0.04275 0.2067 5.385 2.159 0.304 0.7882 1 1 0.04745 0.1921 0.34 0.3261 1.32 2.337 json
t13_x7_u3_b10 13 7 3 10 sqt(dst(flr(R),D)) 45873 105851233 o1(o2(o1(x),x)) true 25951 25951 0.966 1 0.966 0.01078 0.1038 0.2104 1 0.7896 1 0.9324 0.0003932 0.0004181 0.01135 -0.03065 1 -0.00001854 0.0002095 0.004491 0.0006827 0.02613 2.303 0.1567 0.07528 0.01944 1 1 0.001757 0.0162 0.02169 0.163 1.503 2.012 json
t13_x7_u4_b0 13 7 4 0 sqt(add(cil(R),D)) 45874 105851424 o1(o2(o1(x),x)) true 25959 25959 -0.6165 0.2109 0.9616 0.5587 0.7474 -1 1 2 1 1.359 0.0637 0.05691 0.0725 0.05629 1 9.447e-7 0.2536 0.1324 0.1154 0.3397 4.686 2.817 0.2159 0.454 1 1 0.121 0.5104 1.194 0.2166 0.9136 2.137 json
t13_x7_u4_b1 13 7 4 1 sqt(sub(cil(R),D)) 45875 105851425 o1(o2(o1(x),x)) true 25967 25967 -0.6011 0.2188 0.9614 0.5767 0.7594 -1 1 2 1 1.389 0.06466 0.05572 0.07238 0.0743 1 0.00001188 0.2531 0.1322 0.1152 0.3394 4.689 2.828 0.2087 0.4389 1 1 0.1245 0.5225 1.249 0.2159 0.906 2.166 json
t13_x7_u4_b2 13 7 4 2 sqt(mlt(cil(R),D)) 45876 105851426 o1(o2(o1(x),x)) true 25975 25975 -0.7183 0.174 0.7739 0.2386 0.4885 -1 0.4565 1.457 1 1.349 0.02459 0.02006 0.0467 0.1013 1 -0.00002289 0.09068 0.08254 0.04248 0.2061 4.413 1.457 0.1871 0.38 1 1 0.04736 0.2117 0.4513 0.1985 0.8874 1.891 json
t13_x7_u4_b3 13 7 4 3 sqt(div(cil(R),D)) 45877 105851427 o1(o2(o1(x),x)) true 25983 25983 -0.6711 0.1763 0.8211 0.3579 0.5983 -1 1 2 1 1.436 0.05041 0.02793 0.06282 0.2869 1 -0.000006904 0.1614 0.1071 0.07437 0.2727 4.341 2.008 0.2189 0.451 1 1 0.08107 0.3508 0.6695 0.2265 0.98 1.871 json
t13_x7_u4_b4 13 7 4 4 sqt(pow(cil(R),D)) 45878 105851428 o1(o2(o1(x),x)) true 25991 25991 -0.1084 0.4727 0.9463 0.9185 0.9584 -1 1 2 1 1.763 0.09523 0.1231 0.1227 -0.1275 1 0.000002846 0.4615 0.2313 0.2032 0.4507 3.674 2.828 0.2377 0.5024 1 1 0.2182 0.9093 1.701 0.2376 0.99 1.852 json
t13_x7_u4_b5 13 7 4 5 sqt(mod(cil(R),D)) 45879 105851429 o1(o2(o1(x),x)) true 25999 25999 0.1681 0.7938 0.1681 0.02633 0.1623 0 0.5652 0.5652 1 2.722 0.006876 0.0003224 0.05842 0.9104 1 -0.00002313 0.01403 0.07701 0.003786 0.06153 1.053 0.2503 0.2734 0.5329 1 1 0.007203 0.02665 0.03699 0.2735 1.012 1.405 json
t13_x7_u4_b6 13 7 4 6 sqt(lrg(cil(R),D)) 45880 105851430 o1(o2(o1(x),x)) true 26007 26007 0.7432 1 0.7432 0.1126 0.3355 0.000291 1 0.9997 1 2.88 0.03004 0.00118 0.07441 0.9244 1 -0.000001422 0.05612 0.0721 0.02568 0.1603 2.154 0.9997 0.2773 0.4985 1 1 0.03636 0.1591 0.1423 0.323 1.413 1.264 json
t13_x7_u4_b7 13 7 4 7 sqt(eql(cil(R),D)) 45881 105851431 o1(o2(o1(x),x)) true 26015 26015 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
t13_x7_u4_b8 13 7 4 8 sqt(min(cil(R),D)) 45882 105851432 o1(o2(o1(x),x)) true 26023 26023 -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
t13_x7_u4_b9 13 7 4 9 sqt(dot(cil(R),D)) 45883 105851433 o1(o2(o1(x),x)) true 26031 26031 -0.8879 0.08347 0.9239 0.1239 0.3521 -1 0.636 1.636 1 0.7184 0.01476 0.01575 0.02598 -0.03259 1 -0.0000263 0.08504 0.05182 0.02985 0.1728 6.65 2.149 0.2461 0.6861 1 1 0.02826 0.1123 0.2328 0.228 0.9057 1.878 json
t13_x7_u4_b10 13 7 4 10 sqt(dst(cil(R),D)) 45884 105851434 o1(o2(o1(x),x)) true 26039 26039 0.9608 1 0.9608 0.01259 0.1122 0.2104 1 0.7896 1 1.02 0.0004663 0.0004308 0.01233 0.03957 1 -0.00006345 0.0002255 0.004796 0.0007453 0.0273 2.214 0.1586 0.07124 0.0179 1 1 0.001317 0.01217 0.01677 0.1046 0.9661 1.331 json
t13_x7_u5_b0 13 7 5 0 sqt(add(sgn(R),D)) 45885 105851625 o1(o2(o1(x),x)) true 26047 26047 -0.9155 0.04297 0.9986 0.1593 0.3991 -1 1 2 1 0.2942 0.01675 0.01584 0.01676 0.02795 1 0.000005895 0.06842 0.03318 0.03229 0.1797 10.72 2.806 0.2046 0.4295 1 1 0.0248 0.1058 0.2668 0.1557 0.6643 1.675 json
t13_x7_u5_b1 13 7 5 1 sqt(sub(sgn(R),D)) 45886 105851626 o1(o2(o1(x),x)) true 26055 26055 -0.9155 0.04297 0.9986 0.1593 0.3991 -1 1 2 1 0.2942 0.01677 0.01585 0.01675 0.02817 1 0.00001179 0.06844 0.03318 0.03232 0.1798 10.73 2.828 0.2047 0.4296 1 1 0.02486 0.1063 0.2669 0.156 0.667 1.675 json
t13_x7_u5_b2 13 7 5 2 sqt(mlt(sgn(R),D)) 45887 105851627 o1(o2(o1(x),x)) true 26063 26063 -0.9414 0.03906 0.9804 0.08556 0.2925 -1 0.7042 1.704 1 0.3454 0.007041 0.009185 0.01423 -0.1321 1 -7.321e-10 0.03198 0.02365 0.01602 0.1266 8.896 1.704 0.1896 0.3738 1 1 0.01848 0.08925 0.192 0.216 1.043 2.244 json
t13_x7_u5_b3 13 7 5 3 sqt(div(sgn(R),D)) 45888 105851628 o1(o2(o1(x),x)) true 26071 26071 -0.9219 0.03906 1 0.1501 0.3874 -1 1 2 1 0.238 0.01965 0.01612 0.01776 0.09859 1 0 0.07559 0.03578 0.03547 0.1883 10.6 2.828 0.2384 0.5037 1 1 0.03789 0.1542 0.336 0.2525 1.028 2.239 json
t13_x7_u5_b4 13 7 5 4 sqt(pow(sgn(R),D)) 45889 105851629 o1(o2(o1(x),x)) true 26079 26079 -0.9141 0.04297 1 0.1645 0.4056 -1 1 2 1 0.2557 0.01688 0.01638 0.01652 0.01515 1 0 0.06954 0.03326 0.03297 0.1816 10.99 2.828 0.2022 0.4228 1 1 0.02543 0.1095 0.2757 0.1546 0.6659 1.676 json
t13_x7_u5_b5 13 7 5 5 sqt(mod(sgn(R),D)) 45890 105851630 o1(o2(o1(x),x)) true 26087 26087 -0.9206 0.0376 0.9505 0.09454 0.3075 -1 0.5652 1.565 1 0.5028 0.03998 0.009209 0.04942 0.6255 1 -0.000002961 0.1324 0.09595 0.04674 0.2162 4.375 1.601 0.5203 1.4 1 1 0.03355 0.07945 0.164 0.3549 0.8404 1.735 json
t13_x7_u5_b6 13 7 5 6 sqt(lrg(sgn(R),D)) 45891 105851631 o1(o2(o1(x),x)) true 26095 26095 0.4824 0.9147 0.4824 0.1537 0.3921 0 1 1 1 3.429 0.001972 0.002442 0.05168 -0.1065 1 -0.00001781 0.0002592 0.01257 0.001744 0.04176 0.8079 0.1169 0.02872 0.001686 1 1 0.008731 0.1124 0.2862 0.0568 0.7316 1.862 json
t13_x7_u5_b7 13 7 5 7 sqt(eql(sgn(R),D)) 45892 105851632 o1(o2(o1(x),x)) true 26103 26103 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
t13_x7_u5_b8 13 7 5 8 sqt(min(sgn(R),D)) 45893 105851633 o1(o2(o1(x),x)) true 26111 26111 -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
t13_x7_u5_b9 13 7 5 9 sqt(dot(sgn(R),D)) 45894 105851634 o1(o2(o1(x),x)) true 26119 26119 -0.9024 0.06433 0.9689 0.1416 0.3763 -1 0.8785 1.879 1 0.5728 0.05002 0.04587 0.06476 0.04328 1 -0.0000793 0.3744 0.14 0.09171 0.3028 4.677 2.613 0.6773 2.645 1 1 0.09376 0.2605 0.3235 0.6623 1.84 2.285 json
t13_x7_u5_b10 13 7 5 10 sqt(dst(sgn(R),D)) 45895 105851635 o1(o2(o1(x),x)) true 26127 26127 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
t13_x7_u6_b0 13 7 6 0 sqt(add(nrm(R),D)) 45896 105851826 o1(o2(o1(x),x)) true 26135 26135 -0.886 0.06934 0.9753 0.1758 0.4192 -1 0.9604 1.96 1 0.5874 0.06691 0.01646 0.05261 0.6052 1 0.0003661 0.1779 0.1011 0.08061 0.2839 5.396 2.705 0.4744 1.012 1 1 0.0765 0.232 0.3476 0.4353 1.32 1.978 json
t13_x7_u6_b1 13 7 6 1 sqt(sub(nrm(R),D)) 45897 105851827 o1(o2(o1(x),x)) true 26143 26143 -0.8712 0.07837 0.9721 0.197 0.4438 -1 0.9604 1.96 1 0.6533 0.06922 0.01672 0.05416 0.6109 1 0.00005853 0.1867 0.1044 0.083 0.2881 5.319 2.588 0.4363 0.9481 1 1 0.0788 0.2419 0.3687 0.4001 1.228 1.872 json
t13_x7_u6_b2 13 7 6 2 sqt(mlt(nrm(R),D)) 45898 105851828 o1(o2(o1(x),x)) true 26151 26151 -0.9468 0.03906 0.9751 0.07055 0.2656 -1 0.6397 1.64 1 0.3612 0.006389 0.007503 0.01281 -0.08018 1 5.952e-7 0.0278 0.02204 0.01373 0.1172 9.147 1.658 0.1969 0.394 1 1 0.01572 0.07351 0.1589 0.2228 1.042 2.253 json
t13_x7_u6_b3 13 7 6 3 sqt(div(nrm(R),D)) 45899 105851829 o1(o2(o1(x),x)) true 26159 26159 -0.923 0.03906 0.9989 0.1464 0.3826 -1 1 2 1 0.2687 0.01954 0.01549 0.01796 0.1158 1 -9.386e-11 0.07405 0.03568 0.03472 0.1863 10.37 2.828 0.2393 0.5059 1 1 0.03692 0.15 0.3264 0.2522 1.025 2.229 json