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_x16_u6_b34 12 16 6 34 nrm(div(D,sub(R,D))) 33500 98094868 o1(o2(x,o2(x,x))) true 97847 97847 -0.1454 0.3901 0.4736 0.2986 0.5464 -0.9999 0.9998 2 1 4.908 0.1044 0.01407 0.2018 0.7626 1 -0.0006458 0.2174 0.2059 0.07776 0.2789 1.382 2.181 0.3969 0.7282 1 1 0.1328 0.5118 0.5386 0.4449 1.714 1.804 json
t12_x16_u6_b35 12 16 6 35 nrm(div(D,mlt(R,D))) 33501 98094869 o1(o2(x,o2(x,x))) true 97855 97855 -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_x16_u6_b36 12 16 6 36 nrm(div(D,div(R,D))) 33502 98094870 o1(o2(x,o2(x,x))) true 97863 97863 -0.01131 0.4949 0.437 0.3125 0.559 -0.9999 0.9999 2 1 4.743 0.02027 0.01861 0.1475 0.04274 1 -0.0003567 0.04108 0.1038 0.01714 0.1309 0.8879 0.9573 0.1244 0.1315 1 1 0.06269 0.3315 0.5846 0.2006 1.061 1.871 json
t12_x16_u6_b37 12 16 6 37 nrm(div(D,pow(R,D))) 33503 98094871 o1(o2(x,o2(x,x))) true 97871 97871 -0.996 0.001953 0.9976 0.004836 0.06954 -1 0.9441 1.944 1 0.05505 0.0006339 0.0007768 0.00154 -0.1013 1 7.509e-12 0.002936 0.002194 0.001407 0.03751 24.35 1.944 0.2917 0.6071 1 1 0.002598 0.01032 0.01691 0.5373 2.133 3.496 json
t12_x16_u6_b38 12 16 6 38 nrm(div(D,mod(R,D))) 33504 98094872 o1(o2(x,o2(x,x))) true 97879 97879 0.005926 0.5059 0.4684 0.2963 0.5443 -0.9998 0.9999 2 1 4.982 0.1267 0.0597 0.3191 0.3596 1 -0.0003391 0.4986 0.5161 0.0846 0.2909 0.9114 2.19 0.6293 1.683 1 1 0.1525 0.5084 0.5666 0.5147 1.716 1.913 json
t12_x16_u6_b39 12 16 6 39 nrm(div(D,lrg(R,D))) 33505 98094873 o1(o2(x,o2(x,x))) true 97887 97887 -0.9209 0.04346 0.9472 0.09156 0.3026 -1 0.9512 1.951 1 0.6377 0.0329 0.0122 0.03997 0.4589 1 -0.00009087 0.09996 0.07166 0.04353 0.2086 5.22 2.759 0.4926 1.092 1 1 0.04523 0.1331 0.1879 0.494 1.453 2.052 json
t12_x16_u6_b40 12 16 6 40 nrm(div(D,eql(R,D))) 33506 98094874 o1(o2(x,o2(x,x))) true 97895 97895 -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_x16_u6_b41 12 16 6 41 nrm(div(D,min(R,D))) 33507 98094875 o1(o2(x,o2(x,x))) true 97903 97903 0.3657 0.7804 0.4961 0.1927 0.4389 -0.999 0.9998 1.999 1 4.585 0.01675 0.004573 0.09483 0.5712 1 -0.00001982 0.01934 0.04303 0.01234 0.1111 1.171 1.997 0.1107 0.1004 1 1 0.03004 0.2269 0.3157 0.1559 1.178 1.639 json
t12_x16_u6_b42 12 16 6 42 nrm(div(D,dot(R,D))) 33508 98094876 o1(o2(x,o2(x,x))) true 97911 97911 -0.01553 0.4864 0.4716 0.3141 0.5604 -0.9978 0.9978 1.996 1 4.937 0.06787 0.08487 0.2243 -0.1113 1 -0.0003842 0.4984 0.2606 0.1024 0.32 1.426 2.697 0.4863 1.587 1 1 0.1595 0.498 0.5927 0.5078 1.586 1.887 json
t12_x16_u6_b43 12 16 6 43 nrm(div(D,dst(R,D))) 33509 98094877 o1(o2(x,o2(x,x))) true 97919 97919 1.736e-9 0.5 0.3663 0.1867 0.4321 -0.9346 0.9346 1.869 1 4.562 0.03788 0.006951 0.1584 0.6899 1 4.594e-10 0.04219 0.07112 0.01975 0.1405 0.8875 1.466 0.2401 0.226 1 1 0.07517 0.4029 1.946e-15 0.4025 2.158 1.042e-14 json
t12_x16_u6_b44 12 16 6 44 nrm(pow(D,add(R,D))) 33510 98094878 o1(o2(x,o2(x,x))) true 97927 97927 -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_x16_u6_b45 12 16 6 45 nrm(pow(D,sub(R,D))) 33511 98094879 o1(o2(x,o2(x,x))) true 97935 97935 -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_x16_u6_b46 12 16 6 46 nrm(pow(D,mlt(R,D))) 33512 98094880 o1(o2(x,o2(x,x))) true 97943 97943 -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_x16_u6_b47 12 16 6 47 nrm(pow(D,div(R,D))) 33513 98094881 o1(o2(x,o2(x,x))) true 97951 97951 -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_x16_u6_b48 12 16 6 48 nrm(pow(D,pow(R,D))) 33514 98094882 o1(o2(x,o2(x,x))) true 97959 97959 -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_x16_u6_b49 12 16 6 49 nrm(pow(D,mod(R,D))) 33515 98094883 o1(o2(x,o2(x,x))) true 97967 97967 -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_x16_u6_b50 12 16 6 50 nrm(pow(D,lrg(R,D))) 33516 98094884 o1(o2(x,o2(x,x))) true 97975 97975 -0.9911 0.005508 0.9979 0.0144 0.12 -1 0.7071 1.707 1 0.05573 0.005647 0.004571 0.006153 0.1053 1 3.261e-7 0.02544 0.01258 0.01018 0.1009 16.4 2.414 0.7096 1.767 1 1 0.01024 0.02483 0.03112 0.7114 1.725 2.161 json
t12_x16_u6_b51 12 16 6 51 nrm(pow(D,eql(R,D))) 33517 98094885 o1(o2(x,o2(x,x))) true 97983 97983 0.5774 0.9998 0.5779 0.0006094 0.02469 -1 0.6773 1.677 1 0.006564 0.001097 0.00004313 0.0007712 0.9243 1 9.386e-12 0.003538 0.001541 0.00114 0.03376 43.77 1.577 1.871 5.806 1 1 0.000003571 0.000004741 0.0005239 0.00586 0.00778 0.8597 json
t12_x16_u6_b52 12 16 6 52 nrm(pow(D,min(R,D))) 33518 98094886 o1(o2(x,o2(x,x))) true 97991 97991 -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_x16_u6_b53 12 16 6 53 nrm(pow(D,dot(R,D))) 33519 98094887 o1(o2(x,o2(x,x))) true 97999 97999 -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_x16_u6_b54 12 16 6 54 nrm(pow(D,dst(R,D))) 33520 98094888 o1(o2(x,o2(x,x))) true 98007 98007 -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_x16_u6_b55 12 16 6 55 nrm(mod(D,add(R,D))) 33521 98094889 o1(o2(x,o2(x,x))) true 98015 98015 -0.006894 0.4968 0.418 0.241 0.4909 -0.9991 0.9991 1.998 1 4.882 0.07126 0.01494 0.2091 0.6533 1 0.0004339 0.155 0.2152 0.04247 0.2061 0.9855 2.093 0.3577 0.643 1 1 0.1106 0.4575 0.08667 0.459 1.898 0.3596 json
t12_x16_u6_b56 12 16 6 56 nrm(mod(D,sub(R,D))) 33522 98094890 o1(o2(x,o2(x,x))) true 98023 98023 0.007478 0.5039 0.4179 0.2418 0.4917 -0.9995 0.9994 1.999 1 4.885 0.07222 0.0154 0.2109 0.6486 1 -0.0001357 0.1589 0.2196 0.04315 0.2077 0.985 2.138 0.3623 0.6571 1 1 0.1111 0.459 0.08779 0.4594 1.898 0.363 json
t12_x16_u6_b57 12 16 6 57 nrm(mod(D,mlt(R,D))) 33523 98094891 o1(o2(x,o2(x,x))) true 98031 98031 0.0001545 0.5011 0.3803 0.2186 0.4675 -0.9993 0.9993 1.999 1 4.855 0.05426 0.006593 0.1564 0.7833 1 -0.0000835 0.07514 0.09613 0.03639 0.1908 1.219 1.999 0.2784 0.3438 1 1 0.08741 0.4178 0.09492 0.3999 1.911 0.4343 json
t12_x16_u6_b58 12 16 6 58 nrm(mod(D,div(R,D))) 33524 98094892 o1(o2(x,o2(x,x))) true 98039 98039 0.001049 0.5007 0.4153 0.229 0.4786 -0.9868 0.9843 1.971 1 4.792 0.05259 0.01085 0.1863 0.6578 1 0.00001375 0.0904 0.1524 0.02875 0.1695 0.9102 2.11 0.277 0.3947 1 1 0.0921 0.466 0.0363 0.4021 2.035 0.1585 json
t12_x16_u6_b59 12 16 6 59 nrm(mod(D,pow(R,D))) 33525 98094893 o1(o2(x,o2(x,x))) true 98047 98047 -0.9961 0.001953 0.9976 0.004641 0.06812 -1 0.9348 1.935 1 0.05475 0.000636 0.000778 0.001546 -0.1005 1 -4.13e-11 0.002967 0.002243 0.00141 0.03755 24.29 1.935 0.3047 0.6394 1 1 0.002584 0.009987 0.01628 0.5568 2.152 3.508 json
t12_x16_u6_b60 12 16 6 60 nrm(mod(D,mod(R,D))) 33526 98094894 o1(o2(x,o2(x,x))) true 98055 98055 -0.0006855 0.4984 0.3788 0.2221 0.4712 -0.9993 0.9993 1.999 1 4.85 0.117 0.05629 0.3261 0.3503 1 0.0006023 0.5054 0.5156 0.06694 0.2587 0.7934 2.206 0.7803 2.276 1 1 0.144 0.4376 0.1149 0.6487 1.97 0.5175 json
t12_x16_u6_b61 12 16 6 61 nrm(mod(D,lrg(R,D))) 33527 98094895 o1(o2(x,o2(x,x))) true 98063 98063 -0.9921 0.005417 0.9968 0.0115 0.1072 -1 0.9346 1.935 1 0.07261 0.00438 0.005521 0.007167 -0.1153 1 -1.502e-11 0.02435 0.01332 0.009856 0.09928 13.85 2.391 0.8612 2.118 1 1 0.0152 0.03735 0.03654 1.322 3.249 3.178 json
t12_x16_u6_b62 12 16 6 62 nrm(mod(D,eql(R,D))) 33528 98094896 o1(o2(x,o2(x,x))) true 98071 98071 -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_x16_u6_b63 12 16 6 63 nrm(mod(D,min(R,D))) 33529 98094897 o1(o2(x,o2(x,x))) true 98079 98079 -0.5148 0.2239 0.6873 0.3345 0.5784 -1 0.9997 2 1 3.546 0.1956 0.3101 0.4612 -0.2265 1 0.003385 1.752 0.8802 0.2931 0.5413 1.174 2.818 1.512 5.237 1 1 0.2993 0.5397 0.4522 0.8948 1.614 1.352 json
t12_x16_u6_b64 12 16 6 64 nrm(mod(D,dot(R,D))) 33530 98094898 o1(o2(x,o2(x,x))) true 98087 98087 0.00004093 0.5002 0.4619 0.2794 0.5286 -0.9985 0.9979 1.996 1 4.933 0.1556 0.06477 0.3659 0.4122 1 0.00008456 0.7545 0.6532 0.0865 0.2941 0.8038 2.052 0.7887 2.7 1 1 0.1872 0.5014 0.07931 0.6701 1.795 0.2838 json
t12_x16_u6_b65 12 16 6 65 nrm(mod(D,dst(R,D))) 33531 98094899 o1(o2(x,o2(x,x))) true 98095 98095 0.0003178 0.5007 0.3799 0.1974 0.4443 -0.9509 0.9797 1.931 1 4.641 0.04268 0.0098 0.1711 0.6266 1 0.000007466 0.07 0.1103 0.02322 0.1524 0.8907 1.654 0.2659 0.3546 1 1 0.08124 0.4181 0.007092 0.4115 2.118 0.03593 json
t12_x16_u6_b66 12 16 6 66 nrm(lrg(D,add(R,D))) 33532 98094900 o1(o2(x,o2(x,x))) true 98103 98103 -0.07548 0.6232 0.6276 0.5254 0.7248 -1 1 2 1 3.365 0.03397 0.03031 0.06733 0.05696 1 0.00001654 0.129 0.08806 0.05976 0.2444 3.631 2.828 0.1223 0.2456 1 1 0.07595 0.3329 0.9694 0.1446 0.6336 1.845 json
t12_x16_u6_b67 12 16 6 67 nrm(lrg(D,sub(R,D))) 33533 98094901 o1(o2(x,o2(x,x))) true 98111 98111 -0.1886 0.5645 0.6497 0.5232 0.7234 -1 1 2 1 3.196 0.1127 0.08063 0.1629 0.1658 1 0.0002102 0.4197 0.2802 0.1667 0.4083 2.506 2.828 0.3695 0.8021 1 1 0.2019 0.6929 0.9364 0.3859 1.324 1.79 json
t12_x16_u6_b68 12 16 6 68 nrm(lrg(D,mlt(R,D))) 33534 98094902 o1(o2(x,o2(x,x))) true 98119 98119 -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_x16_u6_b69 12 16 6 69 nrm(lrg(D,div(R,D))) 33535 98094903 o1(o2(x,o2(x,x))) true 98127 98127 -0.1502 0.5739 0.6469 0.5335 0.7304 -1 1 2 1 3.218 0.1295 0.09848 0.1825 0.136 1 -0.000135 0.4976 0.3257 0.1946 0.4412 2.417 2.828 0.4273 0.9328 1 1 0.231 0.7677 1.061 0.433 1.439 1.99 json
t12_x16_u6_b70 12 16 6 70 nrm(lrg(D,pow(R,D))) 33536 98094904 o1(o2(x,o2(x,x))) true 98135 98135 -0.2794 0.4462 0.8238 0.6861 0.8283 -1 1 2 1 2.633 0.07515 0.07952 0.1101 -0.02824 1 0.0003475 0.332 0.1913 0.1426 0.3776 3.43 2.828 0.2254 0.4839 1 1 0.1559 0.5474 1.262 0.2272 0.7978 1.839 json
t12_x16_u6_b71 12 16 6 71 nrm(lrg(D,mod(R,D))) 33537 98094905 o1(o2(x,o2(x,x))) true 98143 98143 -0.2756 0.5273 0.6697 0.5154 0.7179 -1 0.9996 2 1 2.936 0.07574 0.06211 0.1222 0.09891 1 -0.00002546 0.2888 0.2004 0.123 0.3506 2.869 2.236 0.2674 0.5603 1 1 0.1444 0.589 1.045 0.2802 1.143 2.028 json
t12_x16_u6_b72 12 16 6 72 nrm(lrg(D,lrg(R,D))) 33538 98094906 o1(o2(x,o2(x,x))) true 98151 98151 -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_x16_u6_b73 12 16 6 73 nrm(lrg(D,eql(R,D))) 33539 98094907 o1(o2(x,o2(x,x))) true 98159 98159 -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_x16_u6_b74 12 16 6 74 nrm(lrg(D,min(R,D))) 33540 98094908 o1(o2(x,o2(x,x))) true 98167 98167 -0.1242 0.586 0.637 0.5292 0.7275 -1 1 2 1 3.286 0.09668 0.08065 0.1473 0.09038 1 -0.0002533 0.3971 0.2534 0.1556 0.3945 2.678 2.828 0.3351 0.7504 1 1 0.1897 0.5862 0.9056 0.3585 1.108 1.711 json
t12_x16_u6_b75 12 16 6 75 nrm(lrg(D,dot(R,D))) 33541 98094909 o1(o2(x,o2(x,x))) true 98175 98175 -0.5837 0.2943 0.8278 0.435 0.6595 -1 0.9996 2 1 1.986 0.1138 0.1087 0.1648 0.02323 1 -0.00004429 0.6769 0.3266 0.1954 0.442 2.683 2.824 0.5115 1.556 1 1 0.2018 0.6207 0.8642 0.464 1.427 1.987 json
t12_x16_u6_b76 12 16 6 76 nrm(lrg(D,dst(R,D))) 33542 98094910 o1(o2(x,o2(x,x))) true 98183 98183 -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_x16_u6_b77 12 16 6 77 nrm(eql(D,add(R,D))) 33543 98094911 o1(o2(x,o2(x,x))) true 98191 98191 -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_x16_u6_b78 12 16 6 78 nrm(eql(D,sub(R,D))) 33544 98094912 o1(o2(x,o2(x,x))) true 98199 98199 -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_x16_u6_b79 12 16 6 79 nrm(eql(D,mlt(R,D))) 33545 98094913 o1(o2(x,o2(x,x))) true 98207 98207 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_x16_u6_b80 12 16 6 80 nrm(eql(D,div(R,D))) 33546 98094914 o1(o2(x,o2(x,x))) true 98215 98215 -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_x16_u6_b81 12 16 6 81 nrm(eql(D,pow(R,D))) 33547 98094915 o1(o2(x,o2(x,x))) true 98223 98223 -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_x16_u6_b82 12 16 6 82 nrm(eql(D,mod(R,D))) 33548 98094916 o1(o2(x,o2(x,x))) true 98231 98231 -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_x16_u6_b83 12 16 6 83 nrm(eql(D,lrg(R,D))) 33549 98094917 o1(o2(x,o2(x,x))) true 98239 98239 -0.9453 0 0.9453 0.05166 0.2273 -1 0 1 1 0.306 0.00526 0.006141 0.0113 -0.07735 1 0 0.02403 0.0228 0.01127 0.1062 9.395 1.414 0.2207 0.4652 1 1 0.01014 0.04055 0.1055 0.1963 0.7851 2.042 json
t12_x16_u6_b84 12 16 6 84 nrm(eql(D,eql(R,D))) 33550 98094918 o1(o2(x,o2(x,x))) true 98247 98247 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_x16_u6_b85 12 16 6 85 nrm(eql(D,min(R,D))) 33551 98094919 o1(o2(x,o2(x,x))) true 98255 98255 -0.1474 0.5755 0.6591 0.5444 0.7378 -1 0.9999 2 1 3.232 0.1012 0.07859 0.1482 0.1257 1 0.0003638 0.3938 0.2561 0.1578 0.3972 2.68 2.828 0.3302 0.7234 1 1 0.1722 0.5872 0.9925 0.3164 1.079 1.823 json
t12_x16_u6_b86 12 16 6 86 nrm(eql(D,dot(R,D))) 33552 98094920 o1(o2(x,o2(x,x))) true 98263 98263 -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_x16_u6_b87 12 16 6 87 nrm(eql(D,dst(R,D))) 33553 98094921 o1(o2(x,o2(x,x))) true 98271 98271 -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_x16_u6_b88 12 16 6 88 nrm(min(D,add(R,D))) 33554 98094922 o1(o2(x,o2(x,x))) true 98279 98279 -0.2673 0.245 0.3767 0.1412 0.3757 -0.9998 0.9776 1.977 1 4.565 0.01177 0.003433 0.0912 0.5483 1 -0.0002561 0.01099 0.03491 0.006881 0.08295 0.9095 2.023 0.1077 0.07786 1 1 0.02766 0.1976 0.1994 0.1959 1.4 1.413 json
t12_x16_u6_b89 12 16 6 89 nrm(min(D,sub(R,D))) 33555 98094923 o1(o2(x,o2(x,x))) true 98287 98287 -0.4246 0.1408 0.4894 0.1377 0.3711 -0.9995 0.9925 1.992 1 4.461 0.0111 0.003501 0.08876 0.5203 1 0.00006135 0.01078 0.03674 0.00672 0.08197 0.9235 2.061 0.106 0.07826 1 1 0.02649 0.192 0.2372 0.1923 1.394 1.722 json
t12_x16_u6_b90 12 16 6 90 nrm(min(D,mlt(R,D))) 33556 98094924 o1(o2(x,o2(x,x))) true 98295 98295 -0.3649 0.2055 0.4955 0.2025 0.4499 -0.9998 0.9985 1.998 1 4.63 0.02693 0.009118 0.1386 0.4941 1 -0.0000171 0.03667 0.07847 0.01684 0.1298 0.9363 1.997 0.178 0.1811 1 1 0.05695 0.3197 0.2407 0.2813 1.579 1.189 json
t12_x16_u6_b91 12 16 6 91 nrm(min(D,div(R,D))) 33557 98094925 o1(o2(x,o2(x,x))) true 98303 98303 -0.1974 0.1856 0.2621 0.1195 0.3457 -1 0.9512 1.951 1 3.976 0.02522 0.02009 0.1052 0.1132 1 0.00004671 0.09346 0.1155 0.03423 0.185 1.758 1.945 0.3791 0.7821 1 1 0.04811 0.1769 0.2492 0.4026 1.48 2.085 json
t12_x16_u6_b92 12 16 6 92 nrm(min(D,pow(R,D))) 33558 98094926 o1(o2(x,o2(x,x))) true 98311 98311 -0.002566 0.4988 0.3702 0.1895 0.4354 -0.944 0.9348 1.879 1 4.585 0.0383 0.006881 0.1595 0.6954 1 0.00001697 0.04227 0.07217 0.01976 0.1406 0.8815 1.467 0.2384 0.223 1 1 0.07591 0.4074 0.001187 0.4005 2.149 0.006263 json
t12_x16_u6_b93 12 16 6 93 nrm(min(D,mod(R,D))) 33559 98094927 o1(o2(x,o2(x,x))) true 98319 98319 -0.2943 0.1815 0.3748 0.1296 0.36 -0.9997 0.9983 1.998 1 4.474 0.03035 0.01152 0.1465 0.4496 1 0.0004422 0.0905 0.1723 0.02041 0.1429 0.9751 2.099 0.3231 0.6984 1 1 0.04539 0.2083 0.1758 0.3502 1.607 1.357 json
t12_x16_u6_b94 12 16 6 94 nrm(min(D,lrg(R,D))) 33560 98094928 o1(o2(x,o2(x,x))) true 98327 98327 -0.5927 0.1681 0.7364 0.3094 0.5562 -1 0.9991 1.999 1 3.17 0.08564 0.04304 0.1459 0.331 1 0.00007671 0.2695 0.2119 0.1074 0.3277 2.246 1.999 0.4159 0.8712 1 1 0.131 0.4473 0.416 0.4233 1.446 1.345 json
t12_x16_u6_b95 12 16 6 95 nrm(min(D,eql(R,D))) 33561 98094929 o1(o2(x,o2(x,x))) true 98335 98335 -0.9999 0 0.9999 0.00009992 0.009996 -1 -0.0002831 0.9997 1 0.004064 0.00001714 0.0002063 0.0002927 -0.8466 1 3.754e-12 0.0007198 0.0005857 0.0002233 0.01494 51.05 0.9997 2.236 7.203 1 1 0.0002133 0.0003146 0.0003629 2.135 3.148 3.632 json
t12_x16_u6_b96 12 16 6 96 nrm(min(D,min(R,D))) 33562 98094930 o1(o2(x,o2(x,x))) true 98343 98343 -0.3474 0.19 0.4344 0.1455 0.3814 -0.9996 0.937 1.937 1 4.546 0.008445 0.002962 0.07849 0.4807 1 -0.0001203 0.006059 0.0271 0.005246 0.07243 0.9227 1.467 0.07841 0.04166 1 1 0.02159 0.1813 0.2494 0.1484 1.246 1.714 json
t12_x16_u6_b97 12 16 6 97 nrm(min(D,dot(R,D))) 33563 98094931 o1(o2(x,o2(x,x))) true 98351 98351 -0.3311 0.2145 0.4794 0.1738 0.4169 -0.9996 0.9375 1.937 1 4.495 0.03757 0.0226 0.1441 0.2487 1 -0.0002632 0.1422 0.1266 0.03941 0.1985 1.378 1.79 0.3462 0.8181 1 1 0.07685 0.3187 0.2129 0.4422 1.834 1.225 json
t12_x16_u6_b98 12 16 6 98 nrm(min(D,dst(R,D))) 33564 98094932 o1(o2(x,o2(x,x))) true 98359 98359 -0.001066 0.4997 0.3673 0.1874 0.4329 -0.9346 0.9346 1.869 1 4.569 0.03799 0.006929 0.1587 0.6915 1 0.000009788 0.04223 0.07149 0.01975 0.1405 0.8856 1.466 0.2397 0.2253 1 1 0.07537 0.4041 0.0001879 0.4021 2.156 0.001003 json
t12_x16_u6_b99 12 16 6 99 nrm(dot(D,add(R,D))) 33565 98094933 o1(o2(x,o2(x,x))) true 98367 98367 0.2776 0.7298 0.4779 0.1775 0.4213 -0.5774 0.5774 1.155 1 2.773 0.04772 0.04745 0.1241 0.002747 1 -0.0006209 0.2874 0.2072 0.07977 0.2824 2.276 1.633 0.5362 1.619 1 1 0.0986 0.3475 0.3265 0.5555 1.958 1.84 json
t12_x16_u6_b100 12 16 6 100 nrm(dot(D,sub(R,D))) 33566 98094934 o1(o2(x,o2(x,x))) true 98375 98375 -0.2658 0.2807 0.4677 0.1763 0.4199 -0.5774 0.5773 1.155 1 2.896 0.04846 0.04833 0.1294 0.001302 1 0.0002922 0.2913 0.2112 0.08007 0.283 2.187 1.633 0.549 1.652 1 1 0.1038 0.3566 0.3249 0.5891 2.023 1.843 json
t12_x16_u6_b101 12 16 6 101 nrm(dot(D,mlt(R,D))) 33567 98094935 o1(o2(x,o2(x,x))) true 98383 98383 -0.01095 0.4887 0.4214 0.2093 0.4575 -0.5774 0.5774 1.155 1 3.882 0.04487 0.04472 0.1364 0.001711 1 -0.0003606 0.307 0.2045 0.07098 0.2664 1.953 1.627 0.428 1.467 1 1 0.0975 0.2674 0.4004 0.4658 1.277 1.913 json
t12_x16_u6_b102 12 16 6 102 nrm(dot(D,div(R,D))) 33568 98094936 o1(o2(x,o2(x,x))) true 98391 98391 -0.01579 0.4866 0.4211 0.2093 0.4575 -0.5774 0.5774 1.155 1 3.876 0.002746 0.002947 0.05763 -0.03539 1 0.000002477 0.0003343 0.01401 0.002371 0.04869 0.8449 0.135 0.0272 0.001597 1 1 0.01079 0.1385 0.3805 0.05158 0.662 1.818 json
t12_x16_u6_b103 12 16 6 103 nrm(dot(D,pow(R,D))) 33569 98094937 o1(o2(x,o2(x,x))) true 98399 98399 -0.9964 0.001572 0.9973 0.003812 0.06174 -1 0.5767 1.577 1 0.05308 0.0007252 0.0007673 0.001571 -0.02825 1 6.007e-11 0.003811 0.00273 0.001488 0.03858 24.55 1.591 0.3915 0.9997 1 1 0.002568 0.008042 0.01336 0.6736 2.11 3.504 json
t12_x16_u6_b104 12 16 6 104 nrm(dot(D,mod(R,D))) 33570 98094938 o1(o2(x,o2(x,x))) true 98407 98407 0.007043 0.5062 0.4091 0.2006 0.4478 -0.5774 0.5774 1.155 1 3.966 0.07461 0.0751 0.2042 -0.003221 1 0.00006558 0.5255 0.3459 0.108 0.3287 1.61 1.632 0.7465 2.62 1 1 0.1199 0.3921 0.4026 0.5977 1.955 2.008 json
t12_x16_u6_b105 12 16 6 105 nrm(dot(D,lrg(R,D))) 33571 98094939 o1(o2(x,o2(x,x))) true 98415 98415 -0.6559 0.1759 0.7826 0.2846 0.5335 -1 0.577 1.577 1 2.354 0.07977 0.0816 0.1498 -0.01135 1 0.0003061 0.4636 0.2713 0.139 0.3728 2.489 2.23 0.567 1.629 1 1 0.1637 0.4312 0.4393 0.5753 1.515 1.544 json
t12_x16_u6_b106 12 16 6 106 nrm(dot(D,eql(R,D))) 33572 98094940 o1(o2(x,o2(x,x))) true 98423 98423 -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_x16_u6_b107 12 16 6 107 nrm(dot(D,min(R,D))) 33573 98094941 o1(o2(x,o2(x,x))) true 98431 98431 0.2634 0.7382 0.4278 0.1464 0.3826 -0.577 0.5774 1.154 1 3.428 0.03621 0.03546 0.1157 0.01046 1 -0.0003702 0.2258 0.1632 0.0583 0.2415 2.087 1.626 0.4897 1.543 1 1 0.07382 0.2605 0.2291 0.5044 1.78 1.565 json
t12_x16_u6_b108 12 16 6 108 nrm(dot(D,dot(R,D))) 33574 98094942 o1(o2(x,o2(x,x))) true 98439 98439 -0.05675 0.473 0.4536 0.2534 0.5034 -1 0.5774 1.577 1 3.992 0.1892 0.1886 0.2946 0.001439 1 -0.0003555 1.939 0.651 0.291 0.5395 1.831 2.231 1.491 7.653 1 1 0.2621 0.4451 0.372 1.035 1.757 1.468 json
t12_x16_u6_b109 12 16 6 109 nrm(dot(D,dst(R,D))) 33575 98094943 o1(o2(x,o2(x,x))) true 98447 98447 -0.0625 0.4688 0.3336 0.1636 0.4045 -1 0.5767 1.577 1 4.324 0.1529 0.1529 0.265 -5.849e-7 1 0.00006299 1.61 0.5182 0.2355 0.4852 1.831 2.224 1.868 9.843 1 1 0.2088 0.4196 8.773e-16 1.276 2.565 5.362e-15 json
t12_x16_u6_b110 12 16 6 110 nrm(dst(D,add(R,D))) 33576 98094944 o1(o2(x,o2(x,x))) true 98455 98455 0.5777 1 0.5777 1.421e-7 0.000377 0.5774 0.5774 1.192e-7 1 0 5.835e-17 4.358e-17 1.627e-9 0.00001477 0 -2.102e-10 4.511e-16 1.892e-9 9.926e-17 9.963e-9 6.125 1.333e-7 7.174e-10 3.175e-9 1 1 1.056e-16 3.894e-16 6.544e-16 7.432e-10 2.74e-9 4.606e-9 json
t12_x16_u6_b111 12 16 6 111 nrm(dst(D,sub(R,D))) 33577 98094945 o1(o2(x,o2(x,x))) true 98463 98463 0.5777 1 0.5777 1.421e-7 0.000377 0.5774 0.5774 1.192e-7 1 0 4.831e-16 4.888e-16 1.327e-8 -0.000005762 0 -6.904e-9 4.203e-15 1.751e-8 7.962e-16 2.822e-8 2.126 1.686e-7 6.84e-9 2.958e-8 1 1 4.871e-16 4.873e-16 4.871e-16 3.428e-9 3.429e-9 3.428e-9 json
t12_x16_u6_b112 12 16 6 112 nrm(dst(D,mlt(R,D))) 33578 98094946 o1(o2(x,o2(x,x))) true 98471 98471 0.5777 1 0.5777 1.421e-7 0.000377 0.5774 0.5774 1.192e-7 1 0 4.542e-16 4.484e-16 1.248e-8 0.000005818 0 -7.017e-9 4.049e-15 1.698e-8 7.471e-16 2.733e-8 2.191 1.686e-7 6.352e-9 2.849e-8 1 1 4.921e-16 4.853e-16 4.879e-16 3.463e-9 3.416e-9 3.434e-9 json
t12_x16_u6_b113 12 16 6 113 nrm(dst(D,div(R,D))) 33579 98094947 o1(o2(x,o2(x,x))) true 98479 98479 -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_x16_u6_b114 12 16 6 114 nrm(dst(D,pow(R,D))) 33580 98094948 o1(o2(x,o2(x,x))) true 98487 98487 -0.9938 0.003906 0.9984 0.009697 0.09847 -1 0.5774 1.577 1 0.03687 0.001254 0.001254 0.001575 0 1 -1.014e-10 0.005328 0.003179 0.002503 0.05003 31.76 2.231 0.2586 0.5495 1 1 0.004411 0.01764 0.03418 0.4549 1.82 3.525 json
t12_x16_u6_b115 12 16 6 115 nrm(dst(D,mod(R,D))) 33581 98094949 o1(o2(x,o2(x,x))) true 98495 98495 0.5777 1 0.5777 1.421e-7 0.000377 0.5774 0.5774 1.192e-7 1 0 4.479e-16 4.496e-16 1.253e-8 -0.000001734 0 -7.61e-9 4.203e-15 1.754e-8 7.403e-16 2.721e-8 2.172 1.686e-7 6.316e-9 2.958e-8 1 1 4.816e-16 5.138e-16 5.113e-16 3.39e-9 3.616e-9 3.598e-9 json
t12_x16_u6_b116 12 16 6 116 nrm(dst(D,lrg(R,D))) 33582 98094950 o1(o2(x,o2(x,x))) true 98503 98503 0.5777 1 0.5777 1.421e-7 0.000377 0.5774 0.5774 1.192e-7 1 0 6.353e-16 6.246e-16 1.722e-8 0.00001069 0 -6.048e-9 5.524e-15 2.317e-8 9.631e-16 3.103e-8 1.803 1.333e-7 8.866e-9 3.887e-8 1 1 6.286e-16 6.342e-16 5.627e-16 4.424e-9 4.463e-9 3.96e-9 json
t12_x16_u6_b117 12 16 6 117 nrm(dst(D,eql(R,D))) 33583 98094951 o1(o2(x,o2(x,x))) true 98511 98511 0.5777 1 0.5777 1.421e-7 0.0003769 0.5774 0.5774 5.96e-8 1 0 7.983e-16 8.002e-16 2.301e-8 -0.000001902 0 -2.679e-8 8.621e-15 3.616e-8 1.069e-15 3.27e-8 1.421 8.429e-8 1.125e-8 6.068e-8 1 1 8.123e-16 9.432e-16 1.968e-19 5.717e-9 6.639e-9 1.385e-12 json
t12_x16_u6_b118 12 16 6 118 nrm(dst(D,min(R,D))) 33584 98094952 o1(o2(x,o2(x,x))) true 98519 98519 -0.02298 0.6194 0.7385 0.5866 0.7659 -1 0.5774 1.577 1 0.9585 0.09747 0.09747 0.1223 0 1 -0.0002981 0.437 0.2475 0.18 0.4242 3.47 2.231 0.3323 0.745 1 1 0.2028 0.6305 0.997 0.3458 1.075 1.7 json
t12_x16_u6_b119 12 16 6 119 nrm(dst(D,dot(R,D))) 33585 98094953 o1(o2(x,o2(x,x))) true 98527 98527 0.5777 1 0.5777 1.421e-7 0.000377 0.5774 0.5774 1.192e-7 1 0 5.151e-16 5.063e-16 1.398e-8 0.000008839 0 -7.629e-9 4.357e-15 1.82e-8 8.256e-16 2.873e-8 2.055 1.686e-7 7.188e-9 3.067e-8 1 1 5.17e-16 5.162e-16 5.154e-16 3.639e-9 3.633e-9 3.627e-9 json
t12_x16_u6_b120 12 16 6 120 nrm(dst(D,dst(R,D))) 33586 98094954 o1(o2(x,o2(x,x))) true 98535 98535 0.5777 1 0.5777 1.421e-7 0.000377 0.5774 0.5774 1.192e-7 1 0 5.217e-16 5.274e-16 1.423e-8 -0.00000565 0 -7.302e-9 4.53e-15 1.895e-8 8.462e-16 2.909e-8 2.045 1.686e-7 7.383e-9 3.188e-8 1 1 5.329e-16 5.333e-16 5.338e-16 3.75e-9 3.754e-9 3.757e-9 json
t12_x17_u0_b0 12 17 0 0 sqt(add(D,add(R,R))) 33587 98134029 o1(o2(x,o2(x,x))) true 98543 98543 -0.9043 0.05127 0.9931 0.1708 0.4133 -1 1 2 1 0.4206 0.03902 0.01773 0.03157 0.3751 1 2.919e-7 0.1231 0.06181 0.05574 0.2361 7.479 2.828 0.3322 0.7204 1 1 0.053 0.1638 0.3395 0.3102 0.9586 1.987 json
t12_x17_u0_b1 12 17 0 1 sqt(add(D,sub(R,R))) 33588 98134030 o1(o2(x,o2(x,x))) true 98551 98551 -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_x17_u0_b2 12 17 0 2 sqt(add(D,mlt(R,R))) 33589 98134031 o1(o2(x,o2(x,x))) true 98559 98559 -0.7152 0.1768 0.9313 0.3853 0.6207 -1 1 2 1 1.316 0.2006 0.02111 0.1468 0.8096 1 0.0007913 0.4998 0.2841 0.2001 0.4473 3.047 2.784 0.5753 1.297 1 1 0.2219 0.482 0.5069 0.5758 1.251 1.316 json
t12_x17_u0_b3 12 17 0 3 sqt(add(D,div(R,R))) 33590 98134032 o1(o2(x,o2(x,x))) true 98567 98567 0.9677 1 0.9677 0.001175 0.03428 0.9123 1 0.08774 1 0.896 0.0002292 4.638e-17 0.01096 1 1 0.00009283 0.00008405 0.006846 0.0001091 0.01044 0.9525 0.02935 0.195 0.07151 1 1 0.0004214 0.002198 8.037e-16 0.3586 1.87 6.838e-13 json
t12_x17_u0_b4 12 17 0 4 sqt(add(D,pow(R,R))) 33591 98134033 o1(o2(x,o2(x,x))) true 98575 98575 -0.9428 0.03125 0.9947 0.1014 0.3185 -1 1 2 1 0.2639 0.01853 0.009964 0.01576 0.3007 1 0.000007154 0.06104 0.03091 0.02825 0.1681 10.66 2.72 0.281 0.6018 1 1 0.01997 0.07944 0.1666 0.1968 0.7832 1.642 json
t12_x17_u0_b5 12 17 0 5 sqt(add(D,mod(R,R))) 33592 98134034 o1(o2(x,o2(x,x))) true 98583 98583 -0.9916 0.005127 0.9982 0.01383 0.1176 -1 0.931 1.931 1 0.06239 0.004148 0.001148 0.003353 0.5665 1 5.256e-11 0.01142 0.00647 0.005277 0.07265 21.66 2.549 0.3828 0.8255 1 1 0.009295 0.03362 0.05025 0.6719 2.431 3.633 json
t12_x17_u0_b6 12 17 0 6 sqt(add(D,lrg(R,R))) 33593 98134035 o1(o2(x,o2(x,x))) true 98591 98591 -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_x17_u0_b7 12 17 0 7 sqt(add(D,eql(R,R))) 33594 98134036 o1(o2(x,o2(x,x))) true 98599 98599 0.9677 1 0.9677 0.001175 0.03428 0.9123 1 0.08774 1 0.896 0.0002292 0 0.01096 1 1 0.00009283 0.00008405 0.006846 0.0001091 0.01044 0.9525 0.02935 0.195 0.07151 1 1 0.0004214 0.002198 0 0.3586 1.87 0 json
t12_x17_u0_b8 12 17 0 8 sqt(add(D,min(R,R))) 33595 98134037 o1(o2(x,o2(x,x))) true 98607 98607 -0.896 0.06274 0.9785 0.1632 0.404 -1 0.9655 1.966 1 0.5538 0.06692 0.01496 0.05137 0.6345 1 0.0003737 0.1771 0.09889 0.07924 0.2815 5.48 2.762 0.5016 1.085 1 1 0.07333 0.224 0.3363 0.4492 1.372 2.06 json
t12_x17_u0_b9 12 17 0 9 sqt(add(D,dot(R,R))) 33596 98134038 o1(o2(x,o2(x,x))) true 98615 98615 0.2397 0.6523 0.935 0.8343 0.9134 -1 1 2 1 2.304 0.2778 0.04155 0.1819 0.7397 1 -0.001079 0.692 0.3497 0.2863 0.535 2.941 2.828 0.3827 0.8295 1 1 0.3286 0.985 1.28 0.3939 1.181 1.534 json
t12_x17_u0_b10 12 17 0 10 sqt(add(D,dst(R,R))) 33597 98134039 o1(o2(x,o2(x,x))) true 98623 98623 -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_x17_u0_b11 12 17 0 11 sqt(sub(D,add(R,R))) 33598 98134040 o1(o2(x,o2(x,x))) true 98631 98631 -0.8693 0.07056 0.9896 0.2275 0.477 -1 1 2 1 0.5493 0.05517 0.02367 0.04432 0.3996 1 0.000004303 0.1728 0.08657 0.07686 0.2772 6.256 2.828 0.3465 0.7594 1 1 0.07874 0.2617 0.4587 0.3461 1.15 2.016 json
t12_x17_u0_b12 12 17 0 12 sqt(sub(D,sub(R,R))) 33599 98134041 o1(o2(x,o2(x,x))) true 98639 98639 -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