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_x12_u6_b22 12 12 6 22 nrm(mlt(D,add(D,P))) 30100 97933252 o1(o2(x,o2(x,x))) true 70647 70647 -0.01714 0.5 0.364 0.2093 0.4575 -0.9994 0.9994 1.999 1 4.768 0.05075 0.005869 0.1524 0.7927 1 0.0005496 0.06415 0.08731 0.03338 0.1827 1.199 1.999 0.2705 0.3065 1 1 0.08641 0.4222 0.05568 0.4128 2.017 0.266 json
t12_x12_u6_b23 12 12 6 23 nrm(mlt(D,sub(D,P))) 30101 97933253 o1(o2(x,o2(x,x))) true 70655 70655 0.08235 0.5914 0.392 0.2211 0.4702 -0.9991 0.9998 1.999 1 4.835 0.04984 0.006498 0.156 0.7693 1 -0.0005297 0.0631 0.08957 0.03201 0.1789 1.147 1.998 0.2548 0.2854 1 1 0.08633 0.4374 0.07447 0.3905 1.979 0.3368 json
t12_x12_u6_b24 12 12 6 24 nrm(mlt(D,mlt(D,P))) 30102 97933254 o1(o2(x,o2(x,x))) true 70663 70663 -0.01562 0.4922 0.5872 0.4852 0.6966 -1 1 2 1 4.488 0.01925 0.01487 0.1171 0.1284 1 7.415e-10 0.0411 0.09325 0.0204 0.1428 1.22 2.414 0.07031 0.0847 1 1 0.05292 0.2098 0.1694 0.1091 0.4325 0.349 json
t12_x12_u6_b25 12 12 6 25 nrm(mlt(D,div(D,P))) 30103 97933255 o1(o2(x,o2(x,x))) true 70671 70671 -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_x12_u6_b26 12 12 6 26 nrm(mlt(D,pow(D,P))) 30104 97933256 o1(o2(x,o2(x,x))) true 70679 70679 -0.9954 0.002106 0.9977 0.006339 0.07962 -1 0.9988 1.999 1 0.05467 0.001096 0.0008081 0.001605 0.1514 1 -7.133e-11 0.004047 0.002626 0.001901 0.0436 27.17 1.999 0.3005 0.6384 1 1 0.003382 0.01301 0.02308 0.5335 2.052 3.64 json
t12_x12_u6_b27 12 12 6 27 nrm(mlt(D,mod(D,P))) 30105 97933257 o1(o2(x,o2(x,x))) true 70687 70687 -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_x12_u6_b28 12 12 6 28 nrm(mlt(D,lrg(D,P))) 30106 97933258 o1(o2(x,o2(x,x))) true 70695 70695 -0.2988 0.2734 0.5648 0.3996 0.6321 -1 0.9994 1.999 1 3.531 0.06045 0.004629 0.09357 0.8577 1 -0.00009065 0.1106 0.07724 0.05633 0.2373 2.537 2.02 0.1629 0.2769 1 1 0.07095 0.2885 0.1507 0.1776 0.7221 0.3771 json
t12_x12_u6_b29 12 12 6 29 nrm(mlt(D,eql(D,P))) 30107 97933259 o1(o2(x,o2(x,x))) true 70703 70703 -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_x12_u6_b30 12 12 6 30 nrm(mlt(D,min(D,P))) 30108 97933260 o1(o2(x,o2(x,x))) true 70711 70711 0.1756 0.7357 0.4426 0.282 0.5311 -1 1 2 1 4.548 0.06043 0.008926 0.1453 0.7426 1 -0.0000235 0.09739 0.1111 0.04825 0.2197 1.512 2.414 0.2459 0.3453 1 1 0.09037 0.3855 0.08408 0.3205 1.367 0.2982 json
t12_x12_u6_b31 12 12 6 31 nrm(mlt(D,dot(D,P))) 30109 97933261 o1(o2(x,o2(x,x))) true 70719 70719 -0.03467 0.4827 0.5405 0.4103 0.6405 -1 0.9978 1.998 1 4.774 0.1008 0.1209 0.2429 -0.09077 1 1.089e-10 0.897 0.3446 0.1627 0.4034 1.661 2.818 0.5403 2.186 1 1 0.1986 0.4829 0.2313 0.4841 1.177 0.5636 json
t12_x12_u6_b32 12 12 6 32 nrm(mlt(D,dst(D,P))) 30110 97933262 o1(o2(x,o2(x,x))) true 70727 70727 1.651e-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 3.801e-10 0.04219 0.07112 0.01975 0.1405 0.8875 1.466 0.2401 0.226 1 1 0.07517 0.4029 1.996e-15 0.4025 2.158 1.069e-14 json
t12_x12_u6_b33 12 12 6 33 nrm(div(D,add(D,P))) 30111 97933263 o1(o2(x,o2(x,x))) true 70735 70735 -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_x12_u6_b34 12 12 6 34 nrm(div(D,sub(D,P))) 30112 97933264 o1(o2(x,o2(x,x))) true 70743 70743 -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_x12_u6_b35 12 12 6 35 nrm(div(D,mlt(D,P))) 30113 97933265 o1(o2(x,o2(x,x))) true 70751 70751 -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_x12_u6_b36 12 12 6 36 nrm(div(D,div(D,P))) 30114 97933266 o1(o2(x,o2(x,x))) true 70759 70759 -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_x12_u6_b37 12 12 6 37 nrm(div(D,pow(D,P))) 30115 97933267 o1(o2(x,o2(x,x))) true 70767 70767 -0.9966 0.001801 0.9974 0.003642 0.06035 -1 0.9794 1.979 1 0.05322 0.000492 0.0006931 0.001387 -0.1697 1 -6.758e-11 0.002548 0.002023 0.001182 0.03438 24.79 1.979 0.3254 0.6996 1 1 0.002103 0.008031 0.01326 0.5776 2.205 3.64 json
t12_x12_u6_b38 12 12 6 38 nrm(div(D,mod(D,P))) 30116 97933268 o1(o2(x,o2(x,x))) true 70775 70775 -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_x12_u6_b39 12 12 6 39 nrm(div(D,lrg(D,P))) 30117 97933269 o1(o2(x,o2(x,x))) true 70783 70783 -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_x12_u6_b40 12 12 6 40 nrm(div(D,eql(D,P))) 30118 97933270 o1(o2(x,o2(x,x))) true 70791 70791 -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_x12_u6_b41 12 12 6 41 nrm(div(D,min(D,P))) 30119 97933271 o1(o2(x,o2(x,x))) true 70799 70799 -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_x12_u6_b42 12 12 6 42 nrm(div(D,dot(D,P))) 30120 97933272 o1(o2(x,o2(x,x))) true 70807 70807 -0.03467 0.4827 0.5405 0.4103 0.6405 -1 0.9978 1.998 1 4.774 0.1008 0.1209 0.2429 -0.09077 1 -6.72e-10 0.897 0.3446 0.1627 0.4034 1.661 2.818 0.5403 2.186 1 1 0.1986 0.4829 0.2313 0.4841 1.177 0.5636 json
t12_x12_u6_b43 12 12 6 43 nrm(div(D,dst(D,P))) 30121 97933273 o1(o2(x,o2(x,x))) true 70815 70815 1.936e-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 9.203e-10 0.04219 0.07112 0.01975 0.1405 0.8875 1.466 0.2401 0.226 1 1 0.07517 0.4029 1.975e-15 0.4025 2.158 1.058e-14 json
t12_x12_u6_b44 12 12 6 44 nrm(pow(D,add(D,P))) 30122 97933274 o1(o2(x,o2(x,x))) true 70823 70823 -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_x12_u6_b45 12 12 6 45 nrm(pow(D,sub(D,P))) 30123 97933275 o1(o2(x,o2(x,x))) true 70831 70831 -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_x12_u6_b46 12 12 6 46 nrm(pow(D,mlt(D,P))) 30124 97933276 o1(o2(x,o2(x,x))) true 70839 70839 -0.9937 0.003906 0.9984 0.009986 0.09993 -1 0.693 1.693 1 0.04355 0.001238 0.001326 0.00165 -0.03438 1 -2.253e-11 0.005428 0.003228 0.002559 0.05059 30.66 2.231 0.2567 0.5436 1 1 0.004523 0.0182 0.03636 0.453 1.822 3.641 json
t12_x12_u6_b47 12 12 6 47 nrm(pow(D,div(D,P))) 30125 97933277 o1(o2(x,o2(x,x))) true 70847 70847 -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_x12_u6_b48 12 12 6 48 nrm(pow(D,pow(D,P))) 30126 97933278 o1(o2(x,o2(x,x))) true 70855 70855 -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_x12_u6_b49 12 12 6 49 nrm(pow(D,mod(D,P))) 30127 97933279 o1(o2(x,o2(x,x))) true 70863 70863 -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_x12_u6_b50 12 12 6 50 nrm(pow(D,lrg(D,P))) 30128 97933280 o1(o2(x,o2(x,x))) true 70871 70871 -0.5106 0.3164 0.8566 0.5223 0.7227 -1 0.7069 1.707 1 1.416 0.003196 0.006225 0.01054 -0.3215 1 -4.493e-9 0.01854 0.01552 0.009315 0.09652 9.157 1.707 0.01804 0.0355 1 1 0.01309 0.05615 0.225 0.02506 0.1075 0.4307 json
t12_x12_u6_b51 12 12 6 51 nrm(pow(D,eql(D,P))) 30129 97933281 o1(o2(x,o2(x,x))) true 70879 70879 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_x12_u6_b52 12 12 6 52 nrm(pow(D,min(D,P))) 30130 97933282 o1(o2(x,o2(x,x))) true 70887 70887 -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_x12_u6_b53 12 12 6 53 nrm(pow(D,dot(D,P))) 30131 97933283 o1(o2(x,o2(x,x))) true 70895 70895 -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_x12_u6_b54 12 12 6 54 nrm(pow(D,dst(D,P))) 30132 97933284 o1(o2(x,o2(x,x))) true 70903 70903 -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_x12_u6_b55 12 12 6 55 nrm(mod(D,add(D,P))) 30133 97933285 o1(o2(x,o2(x,x))) true 70911 70911 -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_x12_u6_b56 12 12 6 56 nrm(mod(D,sub(D,P))) 30134 97933286 o1(o2(x,o2(x,x))) true 70919 70919 -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_x12_u6_b57 12 12 6 57 nrm(mod(D,mlt(D,P))) 30135 97933287 o1(o2(x,o2(x,x))) true 70927 70927 -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_x12_u6_b58 12 12 6 58 nrm(mod(D,div(D,P))) 30136 97933288 o1(o2(x,o2(x,x))) true 70935 70935 -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_x12_u6_b59 12 12 6 59 nrm(mod(D,pow(D,P))) 30137 97933289 o1(o2(x,o2(x,x))) true 70943 70943 -0.9961 0.001953 0.9975 0.004613 0.06792 -1 0.9346 1.935 1 0.0547 0.0006228 0.0007774 0.001523 -0.1104 1 -3.379e-11 0.002944 0.002184 0.001397 0.03737 24.55 1.935 0.3036 0.6381 1 1 0.002555 0.009856 0.01683 0.554 2.137 3.649 json
t12_x12_u6_b60 12 12 6 60 nrm(mod(D,mod(D,P))) 30138 97933290 o1(o2(x,o2(x,x))) true 70951 70951 -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_x12_u6_b61 12 12 6 61 nrm(mod(D,lrg(D,P))) 30139 97933291 o1(o2(x,o2(x,x))) true 70959 70959 -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_x12_u6_b62 12 12 6 62 nrm(mod(D,eql(D,P))) 30140 97933292 o1(o2(x,o2(x,x))) true 70967 70967 -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_x12_u6_b63 12 12 6 63 nrm(mod(D,min(D,P))) 30141 97933293 o1(o2(x,o2(x,x))) true 70975 70975 -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_x12_u6_b64 12 12 6 64 nrm(mod(D,dot(D,P))) 30142 97933294 o1(o2(x,o2(x,x))) true 70983 70983 -0.07733 0.4613 0.4242 0.2511 0.5011 -1 0.9755 1.976 1 4.684 0.1705 0.1455 0.3313 0.07931 1 -0.000126 1.522 0.5454 0.2062 0.4541 1.371 2.771 1.258 6.061 1 1 0.2392 0.5218 0.1982 0.9524 2.078 0.7893 json
t12_x12_u6_b65 12 12 6 65 nrm(mod(D,dst(D,P))) 30143 97933295 o1(o2(x,o2(x,x))) true 70991 70991 1.438e-9 0.5 0.3667 0.187 0.4325 -0.9383 0.9383 1.877 1 4.565 0.03797 0.006988 0.1586 0.6891 1 5.463e-9 0.04253 0.07195 0.01979 0.1407 0.887 1.466 0.2404 0.2274 1 1 0.07539 0.4037 0.0002058 0.4031 2.159 0.001101 json
t12_x12_u6_b66 12 12 6 66 nrm(lrg(D,add(D,P))) 30144 97933296 o1(o2(x,o2(x,x))) true 70999 70999 0.07069 0.4648 0.7035 0.6513 0.807 -1 1 2 1 2.201 0.008882 0.002477 0.008477 0.5639 1 1.089e-8 0.02264 0.01392 0.01128 0.1062 12.53 2 0.01744 0.03476 1 1 0.01575 0.06508 0.2668 0.02419 0.09992 0.4096 json
t12_x12_u6_b67 12 12 6 67 nrm(lrg(D,sub(D,P))) 30145 97933297 o1(o2(x,o2(x,x))) true 71007 71007 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_x12_u6_b68 12 12 6 68 nrm(lrg(D,mlt(D,P))) 30146 97933298 o1(o2(x,o2(x,x))) true 71015 71015 -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_x12_u6_b69 12 12 6 69 nrm(lrg(D,div(D,P))) 30147 97933299 o1(o2(x,o2(x,x))) true 71023 71023 0.3029 0.875 0.3029 0.06831 0.2614 0 0.7071 0.7071 1 3.177 0.02526 0.0003834 0.07226 0.9701 1 3.845e-9 0.04814 0.08487 0.02043 0.1429 1.978 0.7189 0.3754 0.7047 1 1 0.02697 0.09554 0.04633 0.3948 1.399 0.6782 json
t12_x12_u6_b70 12 12 6 70 nrm(lrg(D,pow(D,P))) 30148 97933300 o1(o2(x,o2(x,x))) true 71031 71031 -0.01313 0.5859 0.7681 0.6819 0.8258 -1 1 2 1 2.826 0.01521 0.005652 0.03302 0.4581 1 -0.00001388 0.0408 0.04233 0.01977 0.1406 4.258 2.414 0.03059 0.05983 1 1 0.02599 0.1016 0.3117 0.03811 0.149 0.4571 json
t12_x12_u6_b71 12 12 6 71 nrm(lrg(D,mod(D,P))) 30149 97933301 o1(o2(x,o2(x,x))) true 71039 71039 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_x12_u6_b72 12 12 6 72 nrm(lrg(D,lrg(D,P))) 30150 97933302 o1(o2(x,o2(x,x))) true 71047 71047 -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_x12_u6_b73 12 12 6 73 nrm(lrg(D,eql(D,P))) 30151 97933303 o1(o2(x,o2(x,x))) true 71055 71055 -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_x12_u6_b74 12 12 6 74 nrm(lrg(D,min(D,P))) 30152 97933304 o1(o2(x,o2(x,x))) true 71063 71063 0.07635 0.4922 0.7092 0.6489 0.8056 -1 1 2 1 2.363 0.009685 0.002866 0.01196 0.5433 1 1.059e-8 0.02489 0.01786 0.0124 0.1114 9.309 2.021 0.01934 0.03836 1 1 0.0174 0.07064 0.267 0.02681 0.1089 0.4115 json
t12_x12_u6_b75 12 12 6 75 nrm(lrg(D,dot(D,P))) 30153 97933305 o1(o2(x,o2(x,x))) true 71071 71071 -0.966 0.02341 0.9872 0.04968 0.2229 -1 0.9996 2 1 0.2504 0.01373 0.01531 0.01988 -0.05446 1 1.126e-11 0.09233 0.03968 0.02863 0.1692 8.509 2.818 0.5845 1.858 1 1 0.03588 0.0842 0.133 0.7222 1.695 2.677 json
t12_x12_u6_b76 12 12 6 76 nrm(lrg(D,dst(D,P))) 30154 97933306 o1(o2(x,o2(x,x))) true 71079 71079 -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_x12_u6_b77 12 12 6 77 nrm(eql(D,add(D,P))) 30155 97933307 o1(o2(x,o2(x,x))) true 71087 71087 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_x12_u6_b78 12 12 6 78 nrm(eql(D,sub(D,P))) 30156 97933308 o1(o2(x,o2(x,x))) true 71095 71095 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_x12_u6_b79 12 12 6 79 nrm(eql(D,mlt(D,P))) 30157 97933309 o1(o2(x,o2(x,x))) true 71103 71103 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_x12_u6_b80 12 12 6 80 nrm(eql(D,div(D,P))) 30158 97933310 o1(o2(x,o2(x,x))) true 71111 71111 -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_x12_u6_b81 12 12 6 81 nrm(eql(D,pow(D,P))) 30159 97933311 o1(o2(x,o2(x,x))) true 71119 71119 -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_x12_u6_b82 12 12 6 82 nrm(eql(D,mod(D,P))) 30160 97933312 o1(o2(x,o2(x,x))) true 71127 71127 0.6577 0.9844 0.689 0.06821 0.2612 -1 0.9999 2 1 1.376 0.003783 0.001971 0.01011 0.315 1 -1.223e-8 0.01118 0.00807 0.005647 0.07515 7.431 2.414 0.08436 0.1638 1 1 0.01039 0.04968 0.1839 0.1523 0.7283 2.697 json
t12_x12_u6_b83 12 12 6 83 nrm(eql(D,lrg(D,P))) 30161 97933313 o1(o2(x,o2(x,x))) true 71135 71135 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_x12_u6_b84 12 12 6 84 nrm(eql(D,eql(D,P))) 30162 97933314 o1(o2(x,o2(x,x))) true 71143 71143 -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_x12_u6_b85 12 12 6 85 nrm(eql(D,min(D,P))) 30163 97933315 o1(o2(x,o2(x,x))) true 71151 71151 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_x12_u6_b86 12 12 6 86 nrm(eql(D,dot(D,P))) 30164 97933316 o1(o2(x,o2(x,x))) true 71159 71159 -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_x12_u6_b87 12 12 6 87 nrm(eql(D,dst(D,P))) 30165 97933317 o1(o2(x,o2(x,x))) true 71167 71167 -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_x12_u6_b88 12 12 6 88 nrm(min(D,add(D,P))) 30166 97933318 o1(o2(x,o2(x,x))) true 71175 71175 -0.4033 0.25 0.5093 0.2491 0.4991 -1 0.9348 1.935 1 4.023 0.01082 0.002024 0.05093 0.6849 1 0.0002307 0.01197 0.02153 0.01025 0.1012 1.988 1.467 0.05155 0.04804 1 1 0.02301 0.1314 0.07445 0.09238 0.5276 0.2989 json
t12_x12_u6_b89 12 12 6 89 nrm(min(D,sub(D,P))) 30167 97933319 o1(o2(x,o2(x,x))) true 71183 71183 -0.3788 0.2754 0.4971 0.2529 0.5029 -1 0.9346 1.935 1 4.119 0.01122 0.002011 0.05414 0.6961 1 -0.0002423 0.01204 0.02324 0.0103 0.1015 1.874 1.466 0.05231 0.04762 1 1 0.02305 0.1301 0.07258 0.09113 0.5145 0.287 json
t12_x12_u6_b90 12 12 6 90 nrm(min(D,mlt(D,P))) 30168 97933320 o1(o2(x,o2(x,x))) true 71191 71191 -0.3914 0.1947 0.5051 0.2007 0.448 -1 0.9991 1.999 1 4.568 0.03001 0.009004 0.1336 0.5384 1 0.0000129 0.04672 0.08423 0.02116 0.1455 1.089 1.999 0.1943 0.2327 1 1 0.05892 0.2856 0.05263 0.2935 1.423 0.2622 json
t12_x12_u6_b91 12 12 6 91 nrm(min(D,div(D,P))) 30169 97933321 o1(o2(x,o2(x,x))) true 71199 71199 -0.3653 0.2194 0.5024 0.2211 0.4702 -1 0.9914 1.991 1 4.588 0.03602 0.0103 0.1387 0.5551 1 0.0004753 0.0615 0.09793 0.02708 0.1646 1.186 1.989 0.2095 0.2782 1 1 0.06787 0.304 0.1071 0.307 1.375 0.4846 json
t12_x12_u6_b92 12 12 6 92 nrm(min(D,pow(D,P))) 30170 97933322 o1(o2(x,o2(x,x))) true 71207 71207 -0.08845 0.3652 0.3752 0.2008 0.4481 -0.9991 0.9991 1.998 1 4.726 0.04969 0.008239 0.1521 0.7156 1 -0.00004838 0.07979 0.09654 0.03478 0.1865 1.226 1.998 0.2885 0.3973 1 1 0.07983 0.3807 0.01328 0.3975 1.896 0.06615 json
t12_x12_u6_b93 12 12 6 93 nrm(min(D,mod(D,P))) 30171 97933323 o1(o2(x,o2(x,x))) true 71215 71215 1.394e-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 5.575e-9 0.04219 0.07112 0.01975 0.1405 0.8875 1.466 0.2401 0.226 1 1 0.07517 0.4029 0 0.4025 2.158 0 json
t12_x12_u6_b94 12 12 6 94 nrm(min(D,lrg(D,P))) 30172 97933324 o1(o2(x,o2(x,x))) true 71223 71223 -0.2706 0.2813 0.5163 0.3038 0.5512 -1 0.9991 1.999 1 4.468 0.04495 0.004818 0.1222 0.8064 1 -0.00009325 0.07008 0.07826 0.03483 0.1866 1.527 1.998 0.1638 0.2307 1 1 0.06838 0.3195 0.0767 0.2251 1.052 0.2524 json
t12_x12_u6_b95 12 12 6 95 nrm(min(D,eql(D,P))) 30173 97933325 o1(o2(x,o2(x,x))) true 71231 71231 -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_x12_u6_b96 12 12 6 96 nrm(min(D,min(D,P))) 30174 97933326 o1(o2(x,o2(x,x))) true 71239 71239 -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_x12_u6_b97 12 12 6 97 nrm(min(D,dot(D,P))) 30175 97933327 o1(o2(x,o2(x,x))) true 71247 71247 -0.3262 0.2026 0.4746 0.1713 0.4139 -1 0.9377 1.938 1 4.466 0.03884 0.03575 0.1489 0.04146 1 0.0005474 0.2304 0.1583 0.05241 0.2289 1.537 2.334 0.4353 1.345 1 1 0.08068 0.2827 0.06994 0.4709 1.65 0.4082 json
t12_x12_u6_b98 12 12 6 98 nrm(min(D,dst(D,P))) 30176 97933328 o1(o2(x,o2(x,x))) true 71255 71255 -0.00001222 0.5 0.3663 0.1867 0.4321 -0.9349 0.9347 1.87 1 4.563 0.03788 0.00695 0.1584 0.6899 1 5.5e-9 0.04219 0.07113 0.01975 0.1405 0.8874 1.466 0.2401 0.2259 1 1 0.07517 0.403 0.000001788 0.4026 2.158 0.000009577 json
t12_x12_u6_b99 12 12 6 99 nrm(dot(D,add(D,P))) 30177 97933329 o1(o2(x,o2(x,x))) true 71263 71263 -0.01631 0.4806 0.3242 0.1356 0.3683 -0.577 0.577 1.154 1 4.136 0.04485 0.04486 0.1662 -0.00003613 1 0.001138 0.284 0.207 0.06208 0.2492 1.499 1.632 0.6614 2.094 1 1 0.09481 0.3063 0.08506 0.699 2.258 0.6272 json
t12_x12_u6_b100 12 12 6 100 nrm(dot(D,sub(D,P))) 30178 97933330 o1(o2(x,o2(x,x))) true 71271 71271 0.08993 0.5939 0.3418 0.1404 0.3748 -0.577 0.5774 1.154 1 4.114 0.04478 0.04478 0.1612 -0.00002567 1 -0.001155 0.2814 0.2035 0.06357 0.2521 1.564 1.632 0.6377 2.004 1 1 0.09389 0.3092 0.09273 0.6686 2.202 0.6602 json
t12_x12_u6_b101 12 12 6 101 nrm(dot(D,mlt(D,P))) 30179 97933331 o1(o2(x,o2(x,x))) true 71279 71279 -0.02589 0.4871 0.5556 0.3201 0.5658 -1 0.5774 1.577 1 2.461 0.05803 0.05803 0.1088 0.000002054 1 0.00006299 0.4876 0.2244 0.1042 0.3228 2.967 2.231 0.3626 1.523 1 1 0.1047 0.2405 0.1716 0.3272 0.7514 0.5359 json
t12_x12_u6_b102 12 12 6 102 nrm(dot(D,div(D,P))) 30180 97933332 o1(o2(x,o2(x,x))) true 71287 71287 -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_x12_u6_b103 12 12 6 103 nrm(dot(D,pow(D,P))) 30181 97933333 o1(o2(x,o2(x,x))) true 71295 71295 -0.995 0.003052 0.9977 0.006938 0.0833 -1 0.5774 1.577 1 0.05102 0.0009381 0.0009381 0.00151 6.205e-8 1 -3.004e-11 0.003959 0.002646 0.001873 0.04327 28.67 1.577 0.2704 0.5705 1 1 0.003337 0.01353 0.02527 0.481 1.95 3.643 json
t12_x12_u6_b104 12 12 6 104 nrm(dot(D,mod(D,P))) 30182 97933334 o1(o2(x,o2(x,x))) true 71303 71303 -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_x12_u6_b105 12 12 6 105 nrm(dot(D,lrg(D,P))) 30183 97933335 o1(o2(x,o2(x,x))) true 71311 71311 -0.321 0.3478 0.5745 0.3401 0.5831 -1 0.577 1.577 1 3.652 0.06883 0.06884 0.1393 -0.00001358 1 -0.00007428 0.6297 0.2323 0.1183 0.3439 2.468 2.23 0.4048 1.852 1 1 0.1012 0.2373 0.1387 0.2976 0.6979 0.4079 json
t12_x12_u6_b106 12 12 6 106 nrm(dot(D,eql(D,P))) 30184 97933336 o1(o2(x,o2(x,x))) true 71319 71319 -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_x12_u6_b107 12 12 6 107 nrm(dot(D,min(D,P))) 30185 97933337 o1(o2(x,o2(x,x))) true 71327 71327 0.1424 0.6186 0.4222 0.1926 0.4388 -1 0.5774 1.577 1 3.596 0.0385 0.0385 0.1209 0.00002574 1 0.0001553 0.2368 0.1553 0.06239 0.2498 2.066 2.231 0.3998 1.23 1 1 0.07676 0.2484 0.08871 0.3986 1.29 0.4606 json
t12_x12_u6_b108 12 12 6 108 nrm(dot(D,dot(D,P))) 30186 97933338 o1(o2(x,o2(x,x))) true 71335 71335 -0.08936 0.4553 0.5395 0.3217 0.5671 -1 0.5774 1.577 1 3.375 0.2012 0.2011 0.2881 0.00001441 1 0.00006299 2.062 0.6773 0.3193 0.5651 1.961 2.231 1.251 6.411 1 1 0.2714 0.4544 0.1646 0.8438 1.413 0.5116 json
t12_x12_u6_b109 12 12 6 109 nrm(dot(D,dst(D,P))) 30187 97933339 o1(o2(x,o2(x,x))) true 71343 71343 -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.704e-16 1.276 2.565 5.32e-15 json
t12_x12_u6_b110 12 12 6 110 nrm(dst(D,add(D,P))) 30188 97933340 o1(o2(x,o2(x,x))) true 71351 71351 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 -8.222e-10 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_x12_u6_b111 12 12 6 111 nrm(dst(D,sub(D,P))) 30189 97933341 o1(o2(x,o2(x,x))) true 71359 71359 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 -8.222e-10 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_x12_u6_b112 12 12 6 112 nrm(dst(D,mlt(D,P))) 30190 97933342 o1(o2(x,o2(x,x))) true 71367 71367 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 -9.69e-9 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
t12_x12_u6_b113 12 12 6 113 nrm(dst(D,div(D,P))) 30191 97933343 o1(o2(x,o2(x,x))) true 71375 71375 -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_x12_u6_b114 12 12 6 114 nrm(dst(D,pow(D,P))) 30192 97933344 o1(o2(x,o2(x,x))) true 71383 71383 -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 -4.505e-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_x12_u6_b115 12 12 6 115 nrm(dst(D,mod(D,P))) 30193 97933345 o1(o2(x,o2(x,x))) true 71391 71391 -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_x12_u6_b116 12 12 6 116 nrm(dst(D,lrg(D,P))) 30194 97933346 o1(o2(x,o2(x,x))) true 71399 71399 0.5777 1 0.5777 1.421e-7 0.0003769 0.5774 0.5774 1.192e-7 1 0 5.636e-16 5.54e-16 1.566e-8 0.000009678 0 -1.035e-8 5.149e-15 2.16e-8 8.729e-16 2.954e-8 1.887 1.333e-7 7.866e-9 3.624e-8 1 1 5.601e-16 6.309e-16 1.319e-16 3.942e-9 4.44e-9 9.281e-10 json
t12_x12_u6_b117 12 12 6 117 nrm(dst(D,eql(D,P))) 30195 97933347 o1(o2(x,o2(x,x))) true 71407 71407 0.5777 1 0.5777 1.421e-7 0.0003769 0.5774 0.5774 1.192e-7 1 0 1.402e-15 1.321e-15 3.619e-8 0.00008056 0 1.09e-8 1.139e-14 4.779e-8 1.413e-15 3.759e-8 1.039 1.333e-7 1.916e-8 8.018e-8 1 1 1.584e-15 1.575e-15 0 1.115e-8 1.108e-8 0 json
t12_x12_u6_b118 12 12 6 118 nrm(dst(D,min(D,P))) 30196 97933348 o1(o2(x,o2(x,x))) true 71415 71415 0.07816 0.6836 0.7112 0.5382 0.7336 -1 0.5774 1.577 1 0.9004 0.005563 0.005563 0.007054 0 1 -4.34e-9 0.02233 0.01411 0.01108 0.1053 14.92 1.577 0.02067 0.04149 1 1 0.0153 0.0612 0.2448 0.02843 0.1137 0.4549 json
t12_x12_u6_b119 12 12 6 119 nrm(dst(D,dot(D,P))) 30197 97933349 o1(o2(x,o2(x,x))) true 71423 71423 0.5777 1 0.5777 1.421e-7 0.000377 0.5774 0.5774 1.192e-7 1 0 5.791e-16 5.808e-16 1.585e-8 -0.000001678 0 -8.605e-9 5.124e-15 2.142e-8 9.083e-16 3.014e-8 1.902 1.686e-7 8.163e-9 3.606e-8 1 1 6.136e-16 6.094e-16 6.023e-16 4.318e-9 4.289e-9 4.239e-9 json
t12_x12_u6_b120 12 12 6 120 nrm(dst(D,dst(D,P))) 30198 97933350 o1(o2(x,o2(x,x))) true 71431 71431 0.5777 1 0.5777 1.421e-7 0.000377 0.5774 0.5774 1.192e-7 1 0 5.005e-16 4.993e-16 1.362e-8 0.000001231 0 -7.426e-9 4.381e-15 1.827e-8 8.136e-16 2.852e-8 2.094 1.686e-7 7.036e-9 3.083e-8 1 1 5.137e-16 5.164e-16 5.166e-16 3.615e-9 3.634e-9 3.635e-9 json
t12_x13_u0_b0 12 13 0 0 sqt(add(D,add(D,D))) 30199 97972425 o1(o2(x,o2(x,x))) true 71439 71439 -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