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
t16_x0_u6_b46 16 0 6 46 pow(P,nrm(mlt(P,P))) 75400 129930868 o2(x,o1(o2(x,x))) true 91207 91207 -0.01563 0.4922 1 0.9995 0.9998 -1 1 2 1 0.9998 0.01587 0.002016 0.008926 0.7746 1 0 0.03628 0.01789 0.01781 0.1334 14.95 2.828 0.0179 0.0363 1 1 0.0246 0.09839 0.3936 0.02461 0.09844 0.3938 json
t16_x0_u6_b47 16 0 6 47 pow(P,nrm(div(P,P))) 75401 129930869 o2(x,o1(o2(x,x))) true 91215 91215 -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
t16_x0_u6_b48 16 0 6 48 pow(P,nrm(pow(P,P))) 75402 129930870 o2(x,o1(o2(x,x))) true 91223 91223 -0.5156 0.25 0.9844 0.715 0.8456 -1 1 2 1 1.014 0.002162 0.007531 0.007811 -0.554 1 -9.386e-13 0.01905 0.01209 0.009632 0.09814 12.57 2 0.01356 0.02664 1 1 0.01293 0.05913 0.2998 0.01808 0.0827 0.4194 json
t16_x0_u6_b49 16 0 6 49 pow(P,nrm(mod(P,P))) 75403 129930871 o2(x,o1(o2(x,x))) true 91231 91231 -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
t16_x0_u6_b50 16 0 6 50 pow(P,nrm(lrg(P,P))) 75404 129930872 o2(x,o1(o2(x,x))) true 91239 91239 -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
t16_x0_u6_b51 16 0 6 51 pow(P,nrm(eql(P,P))) 75405 129930873 o2(x,o1(o2(x,x))) true 91247 91247 -0.03125 0.5 0.9688 0.9603 0.98 -1 1 2 1 1.406 0.004323 0 0.007937 1 1 -9.386e-13 0.007903 0.008812 0.004259 0.06526 8.223 1 0.004502 0.008229 1 1 0.006228 0.03975 0.2856 0.006485 0.04139 0.2974 json
t16_x0_u6_b52 16 0 6 52 pow(P,nrm(min(P,P))) 75406 129930874 o2(x,o1(o2(x,x))) true 91255 91255 -0.01563 0.4922 1 0.9995 0.9998 -1 1 2 1 0.9998 0.01587 0.002016 0.008926 0.7746 1 0 0.03628 0.01789 0.01781 0.1334 14.95 2.828 0.0179 0.0363 1 1 0.0246 0.09839 0.3936 0.02461 0.09844 0.3938 json
t16_x0_u6_b53 16 0 6 53 pow(P,nrm(dot(P,P))) 75407 129930875 o2(x,o1(o2(x,x))) true 91263 91263 -0.04297 0.4922 0.9727 0.9641 0.9819 -1 1 2 1 1.363 0.00579 0.001205 0.008659 0.6554 1 -4.224e-11 0.01366 0.01121 0.006915 0.08316 9.604 2.828 0.007256 0.01417 1 1 0.01084 0.05572 0.3282 0.01125 0.05779 0.3404 json
t16_x0_u6_b54 16 0 6 54 pow(P,nrm(dst(P,P))) 75408 129930876 o2(x,o1(o2(x,x))) true 91271 91271 -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
t16_x0_u6_b55 16 0 6 55 mod(P,nrm(add(P,P))) 75409 129930877 o2(x,o1(o2(x,x))) true 91279 91279 -0.125 0.4341 0.3449 0.1907 0.4367 -1 0.8443 1.844 1 4.313 0.008264 0.0003143 0.02546 0.9267 1 -1.549e-11 0.01608 0.01985 0.007929 0.08905 3.497 1.293 0.04498 0.08432 1 1 0.0117 0.056 0.2217 0.06134 0.2937 1.162 json
t16_x0_u6_b56 16 0 6 56 mod(P,nrm(sub(P,P))) 75410 129930878 o2(x,o1(o2(x,x))) true 91287 91287 0 0.5 0.9375 0.924 0.9612 -1 1 2 1 1.813 0.0007059 0 0.007937 1 1 0 0.00003235 0.001851 0.0006432 0.02536 3.195 0.1169 0.0007639 0.00003501 1 1 0.001851 0.02449 0.2344 0.002003 0.0265 0.2537 json
t16_x0_u6_b57 16 0 6 57 mod(P,nrm(mlt(P,P))) 75411 129930879 o2(x,o1(o2(x,x))) true 91295 91295 -0.125 0.4303 0.2953 0.1725 0.4154 -1 0.7884 1.788 1 4.076 0.008214 0.0002302 0.02202 0.9455 1 4.177e-11 0.01604 0.01897 0.00796 0.08922 4.052 1.293 0.04894 0.09295 1 1 0.01153 0.05398 0.2177 0.06681 0.3128 1.262 json
t16_x0_u6_b58 16 0 6 58 mod(P,nrm(div(P,P))) 75412 129930880 o2(x,o1(o2(x,x))) true 91303 91303 -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
t16_x0_u6_b59 16 0 6 59 mod(P,nrm(pow(P,P))) 75413 129930881 o2(x,o1(o2(x,x))) true 91311 91311 -0.7358 0.1596 0.7642 0.2126 0.4611 -1 0.6357 1.636 1 1.162 0.002027 0.00233 0.006198 -0.06954 1 -0.000006229 0.008598 0.008705 0.004321 0.06573 10.6 1.423 0.0205 0.04044 1 1 0.005975 0.02571 0.1096 0.02811 0.1209 0.5157 json
t16_x0_u6_b60 16 0 6 60 mod(P,nrm(mod(P,P))) 75414 129930882 o2(x,o1(o2(x,x))) true 91319 91319 -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
t16_x0_u6_b61 16 0 6 61 mod(P,nrm(lrg(P,P))) 75415 129930883 o2(x,o1(o2(x,x))) true 91327 91327 -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
t16_x0_u6_b62 16 0 6 62 mod(P,nrm(eql(P,P))) 75416 129930884 o2(x,o1(o2(x,x))) true 91335 91335 -1e-11 0.5 0.2833 0.1004 0.3169 -0.5359 0.5359 1.072 1 4.063 0.0004623 0 0.01613 1 1 0 0.00002082 0.003705 0.0002018 0.01421 0.8806 0.0494 0.004603 0.0002073 1 1 0.0008383 0.01095 0.05376 0.008347 0.109 0.5353 json
t16_x0_u6_b63 16 0 6 63 mod(P,nrm(min(P,P))) 75417 129930885 o2(x,o1(o2(x,x))) true 91343 91343 -0.125 0.4341 0.3449 0.1907 0.4367 -1 0.8443 1.844 1 4.313 0.008264 0.0003143 0.02546 0.9267 1 -1.549e-11 0.01608 0.01985 0.007929 0.08905 3.497 1.293 0.04498 0.08432 1 1 0.0117 0.056 0.2217 0.06134 0.2937 1.162 json
t16_x0_u6_b64 16 0 6 64 mod(P,nrm(dot(P,P))) 75418 129930886 o2(x,o1(o2(x,x))) true 91351 91351 -0.01563 0.4922 0.2956 0.1147 0.3387 -1 0.5359 1.536 1 4.109 0.001634 0.001078 0.0177 0.2049 1 2.178e-10 0.004702 0.007629 0.002399 0.04897 2.767 2.012 0.02364 0.04099 1 1 0.004768 0.02602 0.109 0.04156 0.2268 0.9505 json
t16_x0_u6_b65 16 0 6 65 mod(P,nrm(dst(P,P))) 75419 129930887 o2(x,o1(o2(x,x))) true 91359 91359 -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
t16_x0_u6_b66 16 0 6 66 lrg(P,nrm(add(P,P))) 75420 129930888 o2(x,o1(o2(x,x))) true 91367 91367 0.4688 0.5074 0.4688 0.2403 0.4902 0 1 1 1 1.406 0.0003686 0.00006053 0.004904 0.7179 1 -4.591e-10 0.00002268 0.001178 0.0004054 0.02013 4.106 0.1169 0.001786 0.00009441 1 1 0.001191 0.01558 0.0796 0.004955 0.06484 0.3313 json
t16_x0_u6_b67 16 0 6 67 lrg(P,nrm(sub(P,P))) 75421 129930889 o2(x,o1(o2(x,x))) true 91375 91375 0.4688 0.5 0.4688 0.2423 0.4922 0 1 1 1 1.326 0.0003529 0 0.003968 1 1 -4.731e-10 0.00001619 0.0009276 0.0003372 0.01836 4.628 0.1169 0.001457 0.00006684 1 1 0.0009255 0.01214 0.0751 0.00382 0.05012 0.31 json
t16_x0_u6_b68 16 0 6 68 lrg(P,nrm(mlt(P,P))) 75422 129930890 o2(x,o1(o2(x,x))) true 91383 91383 0.4688 0.5074 0.4688 0.2403 0.4902 0 1 1 1 1.406 0.0003686 0.00006053 0.004904 0.7179 1 -4.591e-10 0.00002268 0.001178 0.0004054 0.02013 4.106 0.1169 0.001786 0.00009441 1 1 0.001191 0.01558 0.0796 0.004955 0.06484 0.3313 json
t16_x0_u6_b69 16 0 6 69 lrg(P,nrm(div(P,P))) 75423 129930891 o2(x,o1(o2(x,x))) true 91391 91391 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
t16_x0_u6_b70 16 0 6 70 lrg(P,nrm(pow(P,P))) 75424 129930892 o2(x,o1(o2(x,x))) true 91399 91399 0.9668 1 0.9668 0.02458 0.1568 0.000291 1 0.9997 1 0.4982 0.0003705 0.00001756 0.004394 0.9095 1 -5.579e-10 0.00001832 0.001031 0.0003687 0.0192 4.37 0.1169 0.01579 0.0007452 1 1 0.001048 0.01364 0.04012 0.04262 0.5548 1.632 json
t16_x0_u6_b71 16 0 6 71 lrg(P,nrm(mod(P,P))) 75425 129930893 o2(x,o1(o2(x,x))) true 91407 91407 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
t16_x0_u6_b72 16 0 6 72 lrg(P,nrm(lrg(P,P))) 75426 129930894 o2(x,o1(o2(x,x))) true 91415 91415 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
t16_x0_u6_b73 16 0 6 73 lrg(P,nrm(eql(P,P))) 75427 129930895 o2(x,o1(o2(x,x))) true 91423 91423 0.4688 0.5 0.4688 0.2423 0.4922 0 1 1 1 1.326 0.0003529 0 0.003968 1 1 -4.731e-10 0.00001619 0.0009276 0.0003372 0.01836 4.628 0.1169 0.001457 0.00006684 1 1 0.0009255 0.01214 0.0751 0.00382 0.05012 0.31 json
t16_x0_u6_b74 16 0 6 74 lrg(P,nrm(min(P,P))) 75428 129930896 o2(x,o1(o2(x,x))) true 91431 91431 0.4688 0.5074 0.4688 0.2403 0.4902 0 1 1 1 1.406 0.0003686 0.00006053 0.004904 0.7179 1 -4.591e-10 0.00002268 0.001178 0.0004054 0.02013 4.106 0.1169 0.001786 0.00009441 1 1 0.001191 0.01558 0.0796 0.004955 0.06484 0.3313 json
t16_x0_u6_b75 16 0 6 75 lrg(P,nrm(dot(P,P))) 75429 129930897 o2(x,o1(o2(x,x))) true 91439 91439 0.4727 0.5074 0.4727 0.242 0.4919 0 1 1 1 1.358 0.0003432 0.00003512 0.004306 0.8144 1 -4.788e-10 0.00001836 0.001016 0.0003599 0.01897 4.405 0.1169 0.001564 0.00007585 1 1 0.001014 0.01329 0.07825 0.00419 0.05493 0.3234 json
t16_x0_u6_b76 16 0 6 76 lrg(P,nrm(dst(P,P))) 75430 129930898 o2(x,o1(o2(x,x))) true 91447 91447 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
t16_x0_u6_b77 16 0 6 77 eql(P,nrm(add(P,P))) 75431 129930899 o2(x,o1(o2(x,x))) true 91455 91455 0.06641 0.1398 0.06641 0.04599 0.2145 0 0.9997 0.9997 1 0.9036 0.0007022 0.00008595 0.008964 0.7819 1 -7.45e-10 0.00004117 0.00215 0.0007076 0.0266 2.968 0.1169 0.01714 0.0008953 1 1 0.002137 0.0278 0.07457 0.04646 0.6044 1.621 json
t16_x0_u6_b78 16 0 6 78 eql(P,nrm(sub(P,P))) 75432 129930900 o2(x,o1(o2(x,x))) true 91463 91463 0.0625 0.125 0.0625 0.04507 0.2123 0 0.9997 0.9997 1 0.8126 0.0007059 0 0.007934 1 1 -9.461e-10 0.00003241 0.001855 0.0006433 0.02536 3.197 0.1169 0.01566 0.0007193 1 1 0.001851 0.02408 0.06598 0.04107 0.5344 1.464 json
t16_x0_u6_b79 16 0 6 79 eql(P,nrm(mlt(P,P))) 75433 129930901 o2(x,o1(o2(x,x))) true 91471 91471 0.0625 0.132 0.0625 0.04392 0.2096 0 0.9997 0.9997 1 0.8521 0.0006768 0.00006053 0.008366 0.8358 1 -7.82e-10 0.00003685 0.001988 0.0006671 0.02583 3.087 0.1169 0.01679 0.0008389 1 1 0.00196 0.02551 0.07125 0.04463 0.5807 1.622 json
t16_x0_u6_b80 16 0 6 80 eql(P,nrm(div(P,P))) 75434 129930902 o2(x,o1(o2(x,x))) true 91479 91479 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
t16_x0_u6_b81 16 0 6 81 eql(P,nrm(pow(P,P))) 75435 129930903 o2(x,o1(o2(x,x))) true 91487 91487 0.009766 0.02301 0.009766 0.007225 0.085 0 0.9997 0.9997 1 0.1865 0.0001016 0.00001756 0.001371 0.7053 1 -1.208e-10 0.000005969 0.0003239 0.0001173 0.01083 7.898 0.1169 0.01649 0.0008261 1 1 0.0001124 0.001469 0.006785 0.01556 0.2033 0.9391 json
t16_x0_u6_b82 16 0 6 82 eql(P,nrm(mod(P,P))) 75436 129930904 o2(x,o1(o2(x,x))) true 91495 91495 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
t16_x0_u6_b83 16 0 6 83 eql(P,nrm(lrg(P,P))) 75437 129930905 o2(x,o1(o2(x,x))) true 91503 91503 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
t16_x0_u6_b84 16 0 6 84 eql(P,nrm(eql(P,P))) 75438 129930906 o2(x,o1(o2(x,x))) true 91511 91511 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
t16_x0_u6_b85 16 0 6 85 eql(P,nrm(min(P,P))) 75439 129930907 o2(x,o1(o2(x,x))) true 91519 91519 0.06641 0.1398 0.06641 0.04599 0.2145 0 0.9997 0.9997 1 0.9036 0.0007022 0.00008595 0.008964 0.7819 1 -7.45e-10 0.00004117 0.00215 0.0007076 0.0266 2.968 0.1169 0.01714 0.0008953 1 1 0.002137 0.0278 0.07457 0.04646 0.6044 1.621 json
t16_x0_u6_b86 16 0 6 86 eql(P,nrm(dot(P,P))) 75440 129930908 o2(x,o1(o2(x,x))) true 91527 91527 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
t16_x0_u6_b87 16 0 6 87 eql(P,nrm(dst(P,P))) 75441 129930909 o2(x,o1(o2(x,x))) true 91535 91535 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
t16_x0_u6_b88 16 0 6 88 min(P,nrm(add(P,P))) 75442 129930910 o2(x,o1(o2(x,x))) true 91543 91543 -0.148 0.4974 0.7895 0.6872 0.829 -1 1 2 1 3.301 0.0004406 0.00001886 0.008649 0.9179 1 -0.000001322 0.00002118 0.001893 0.0003846 0.01961 2.268 0.1169 0.0006686 0.00003082 1 1 0.001262 0.01667 0.1533 0.001836 0.02425 0.2231 json
t16_x0_u6_b89 16 0 6 89 min(P,nrm(sub(P,P))) 75443 129930911 o2(x,o1(o2(x,x))) true 91551 91551 -0.4688 0 0.4688 0.2423 0.4922 -1 0 1 1 1.406 0.0003529 0 0.003968 1 1 4.731e-10 0.00001619 0.0009276 0.0003372 0.01836 4.628 0.1169 0.001457 0.00006684 1 1 0.0009255 0.01214 0.0751 0.00382 0.05012 0.31 json
t16_x0_u6_b90 16 0 6 90 min(P,nrm(mlt(P,P))) 75444 129930912 o2(x,o1(o2(x,x))) true 91559 91559 -0.1675 0.4969 0.77 0.6803 0.8248 -1 1 2 1 3.185 0.0004465 0.00003799 0.009077 0.8432 1 -0.00000227 0.00002249 0.001961 0.000402 0.02005 2.209 0.1169 0.0007122 0.00003307 1 1 0.001334 0.01761 0.1556 0.001961 0.02589 0.2287 json
t16_x0_u6_b91 16 0 6 91 min(P,nrm(div(P,P))) 75445 129930913 o2(x,o1(o2(x,x))) true 91567 91567 0 0.5 0.9375 0.924 0.9612 -1 1 2 1 1.813 0.0007059 0 0.007937 1 1 0 0.00003235 0.001851 0.0006432 0.02536 3.195 0.1169 0.0007639 0.00003501 1 1 0.001851 0.02449 0.2344 0.002003 0.0265 0.2537 json
t16_x0_u6_b92 16 0 6 92 min(P,nrm(pow(P,P))) 75446 129930914 o2(x,o1(o2(x,x))) true 91575 91575 -0.1035 0.4702 0.834 0.8008 0.8949 -1 1 2 1 2.382 0.0005964 0.00006491 0.008964 0.8037 1 -0.000001623 0.00003244 0.002066 0.0005808 0.0241 2.688 0.1169 0.0008258 0.00004052 1 1 0.001708 0.02255 0.2081 0.002133 0.02816 0.2598 json
t16_x0_u6_b93 16 0 6 93 min(P,nrm(mod(P,P))) 75447 129930915 o2(x,o1(o2(x,x))) true 91583 91583 0 0.5 0.9375 0.924 0.9612 -1 1 2 1 1.813 0.0007059 0 0.007937 1 1 0 0.00003235 0.001851 0.0006432 0.02536 3.195 0.1169 0.0007639 0.00003501 1 1 0.001851 0.02449 0.2344 0.002003 0.0265 0.2537 json
t16_x0_u6_b94 16 0 6 94 min(P,nrm(lrg(P,P))) 75448 129930916 o2(x,o1(o2(x,x))) true 91591 91591 0 0.5 0.9375 0.924 0.9612 -1 1 2 1 1.813 0.0007059 0 0.007937 1 1 0 0.00003235 0.001851 0.0006432 0.02536 3.195 0.1169 0.0007639 0.00003501 1 1 0.001851 0.02449 0.2344 0.002003 0.0265 0.2537 json
t16_x0_u6_b95 16 0 6 95 min(P,nrm(eql(P,P))) 75449 129930917 o2(x,o1(o2(x,x))) true 91599 91599 -0.1982 0.5 0.7396 0.5768 0.7595 -1 0.5774 1.577 1 1.817 0.0004706 0 0.006259 1 1 2.957e-11 0.00002157 0.00146 0.0004317 0.02078 3.319 0.1169 0.0008159 0.0000374 1 1 0.001234 0.01631 0.1487 0.002139 0.02828 0.2579 json
t16_x0_u6_b96 16 0 6 96 min(P,nrm(min(P,P))) 75450 129930918 o2(x,o1(o2(x,x))) true 91607 91607 -0.148 0.4974 0.7895 0.6872 0.829 -1 1 2 1 3.301 0.0004406 0.00001886 0.008649 0.9179 1 -0.000001322 0.00002118 0.001893 0.0003846 0.01961 2.268 0.1169 0.0006686 0.00003082 1 1 0.001262 0.01667 0.1533 0.001836 0.02425 0.2231 json
t16_x0_u6_b97 16 0 6 97 min(P,nrm(dot(P,P))) 75451 129930919 o2(x,o1(o2(x,x))) true 91615 91615 -0.1982 0.5 0.7396 0.5768 0.7595 -1 0.5774 1.577 1 1.817 0.0004706 7.161e-18 0.006259 1 1 -2.408e-10 0.00002157 0.00146 0.0004317 0.02078 3.319 0.1169 0.0008159 0.0000374 1 1 0.001234 0.01631 0.1487 0.002139 0.02828 0.2579 json
t16_x0_u6_b98 16 0 6 98 min(P,nrm(dst(P,P))) 75452 129930920 o2(x,o1(o2(x,x))) true 91623 91623 0 0.5 0.9375 0.924 0.9612 -1 1 2 1 1.813 0.0007059 0 0.007937 1 1 0 0.00003235 0.001851 0.0006432 0.02536 3.195 0.1169 0.0007639 0.00003501 1 1 0.001851 0.02449 0.2344 0.002003 0.0265 0.2537 json
t16_x0_u6_b99 16 0 6 99 dot(P,nrm(add(P,P))) 75453 129930921 o2(x,o1(o2(x,x))) true 91631 91631 0.9688 0.9844 1 0.06152 0.248 -1 1 2 1 0.1161 0.004031 0.004031 0.004013 0 1 0 0.01663 0.008062 0.008054 0.08974 22.36 2.828 0.131 0.2703 1 1 0.01418 0.05673 0.2269 0.2305 0.9221 3.688 json
t16_x0_u6_b100 16 0 6 100 dot(P,nrm(sub(P,P))) 75454 129930922 o2(x,o1(o2(x,x))) true 91639 91639 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
t16_x0_u6_b101 16 0 6 101 dot(P,nrm(mlt(P,P))) 75455 129930923 o2(x,o1(o2(x,x))) true 91647 91647 -0.01562 0.4905 0.9675 0.9582 0.9789 -1 1 2 1 1.519 0.002884 0.002884 0.01304 -6.054e-7 1 -2.957e-11 0.00764 0.008407 0.005604 0.07486 5.741 2.828 0.00602 0.007972 1 1 0.01156 0.084 0.5184 0.01207 0.08766 0.541 json
t16_x0_u6_b102 16 0 6 102 dot(P,nrm(div(P,P))) 75456 129930924 o2(x,o1(o2(x,x))) true 91655 91655 -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
t16_x0_u6_b103 16 0 6 103 dot(P,nrm(pow(P,P))) 75457 129930925 o2(x,o1(o2(x,x))) true 91663 91663 -0.502 0.25 0.998 0.745 0.8631 -1 1 2 1 0.8622 0.007261 0.007261 0.007845 3.206e-7 1 3.191e-10 0.02903 0.01514 0.01446 0.1203 15.33 2 0.01949 0.03897 1 1 0.01872 0.07664 0.3262 0.02513 0.1029 0.4379 json
t16_x0_u6_b104 16 0 6 104 dot(P,nrm(mod(P,P))) 75458 129930926 o2(x,o1(o2(x,x))) true 91671 91671 -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
t16_x0_u6_b105 16 0 6 105 dot(P,nrm(lrg(P,P))) 75459 129930927 o2(x,o1(o2(x,x))) true 91679 91679 -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
t16_x0_u6_b106 16 0 6 106 dot(P,nrm(eql(P,P))) 75460 129930928 o2(x,o1(o2(x,x))) true 91687 91687 -2.095e-9 0.498 0.8952 0.8618 0.9283 -1 1 2 1 2.422 0.0003885 0.0003885 0.01181 0.000001124 1 -3.881e-10 0.00007523 0.002857 0.0006378 0.02526 2.139 0.09543 0.0009017 0.0000873 1 1 0.001977 0.02496 0.2829 0.002294 0.02897 0.3282 json
t16_x0_u6_b107 16 0 6 107 dot(P,nrm(min(P,P))) 75461 129930929 o2(x,o1(o2(x,x))) true 91695 91695 0.9688 0.9844 1 0.06152 0.248 -1 1 2 1 0.1161 0.004031 0.004031 0.004013 0 1 0 0.01663 0.008062 0.008054 0.08974 22.36 2.828 0.131 0.2703 1 1 0.01418 0.05673 0.2269 0.2305 0.9221 3.688 json
t16_x0_u6_b108 16 0 6 108 dot(P,nrm(dot(P,P))) 75462 129930930 o2(x,o1(o2(x,x))) true 91703 91703 -0.01562 0.4905 0.9044 0.8731 0.9344 -1 1 2 1 2.335 0.001791 0.001791 0.0129 -0.000001105 1 -4.416e-10 0.005988 0.006702 0.003416 0.05845 4.53 2.828 0.004103 0.006858 1 1 0.006817 0.0433 0.3364 0.007808 0.04959 0.3852 json
t16_x0_u6_b109 16 0 6 109 dot(P,nrm(dst(P,P))) 75463 129930931 o2(x,o1(o2(x,x))) true 91711 91711 -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
t16_x0_u6_b110 16 0 6 110 dst(P,nrm(add(P,P))) 75464 129930932 o2(x,o1(o2(x,x))) true 91719 91719 0.9559 0.9844 0.9872 0.0687 0.2621 -1 1 2 1 0.3838 0.001586 0.001586 0.004564 4.77e-7 1 -1.915e-10 0.006223 0.00546 0.00315 0.05612 12.3 2 0.04618 0.09058 1 1 0.005918 0.0335 0.2123 0.08614 0.4877 3.09 json
t16_x0_u6_b111 16 0 6 111 dst(P,nrm(sub(P,P))) 75465 129930933 o2(x,o1(o2(x,x))) true 91727 91727 -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
t16_x0_u6_b112 16 0 6 112 dst(P,nrm(mlt(P,P))) 75466 129930934 o2(x,o1(o2(x,x))) true 91735 91735 0.9643 0.9844 0.9955 0.06421 0.2534 -1 1 2 1 0.2236 0.00315 0.00315 0.004331 -1.478e-7 1 -6.758e-11 0.01287 0.007177 0.006287 0.07929 18.31 2 0.09813 0.2004 1 1 0.01125 0.04908 0.2223 0.1752 0.7644 3.463 json
t16_x0_u6_b113 16 0 6 113 dst(P,nrm(div(P,P))) 75467 129930935 o2(x,o1(o2(x,x))) true 91743 91743 -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
t16_x0_u6_b114 16 0 6 114 dst(P,nrm(pow(P,P))) 75468 129930936 o2(x,o1(o2(x,x))) true 91751 91751 -0.5007 0.25 0.9993 0.7484 0.8651 -1 1 2 1 0.8534 0.007872 0.007872 0.008023 7.098e-7 1 6.645e-10 0.03161 0.01586 0.01568 0.1252 15.61 2 0.02104 0.04224 1 1 0.02083 0.08314 0.3323 0.02783 0.1111 0.444 json
t16_x0_u6_b115 16 0 6 115 dst(P,nrm(mod(P,P))) 75469 129930937 o2(x,o1(o2(x,x))) true 91759 91759 -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
t16_x0_u6_b116 16 0 6 116 dst(P,nrm(lrg(P,P))) 75470 129930938 o2(x,o1(o2(x,x))) true 91767 91767 -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
t16_x0_u6_b117 16 0 6 117 dst(P,nrm(eql(P,P))) 75471 129930939 o2(x,o1(o2(x,x))) true 91775 91775 0.9994 1 0.9994 0.00006746 0.008214 0.8311 1 0.1689 1 0.05018 0.000002234 0.000002234 0.0001526 5.089e-8 0 -5.256e-11 0.000002705 0.0001039 0.000004447 0.002109 13.82 0.06912 0.06623 0.0401 1 1 0.00001361 0.0001025 0.0002464 0.2017 1.52 3.652 json
t16_x0_u6_b118 16 0 6 118 dst(P,nrm(min(P,P))) 75472 129930940 o2(x,o1(o2(x,x))) true 91783 91783 0.9559 0.9844 0.9872 0.0687 0.2621 -1 1 2 1 0.3838 0.001586 0.001586 0.004564 4.77e-7 1 -1.915e-10 0.006223 0.00546 0.00315 0.05612 12.3 2 0.04618 0.09058 1 1 0.005918 0.0335 0.2123 0.08614 0.4877 3.09 json
t16_x0_u6_b119 16 0 6 119 dst(P,nrm(dot(P,P))) 75473 129930941 o2(x,o1(o2(x,x))) true 91791 91791 0.9685 0.9844 0.9997 0.06153 0.248 -1 1 2 1 0.1394 0.003897 0.003897 0.004039 -5.974e-8 1 3.379e-11 0.01606 0.00799 0.007785 0.08823 21.84 2.59 0.1267 0.261 1 1 0.01373 0.05595 0.2262 0.2231 0.9093 3.676 json
t16_x0_u6_b120 16 0 6 120 dst(P,nrm(dst(P,P))) 75474 129930942 o2(x,o1(o2(x,x))) true 91799 91799 -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
t16_x1_u0_b0 16 1 0 0 add(P,sqt(add(P,D))) 75475 129970017 o2(x,o1(o2(x,x))) true 91807 91807 -0.0121 0.5 0.9879 0.9827 0.9913 -1 1 2 1 1.197 0.005919 0 0.007937 1 1 -1.419e-9 0.009863 0.009676 0.005855 0.07652 9.641 1.177 0.006023 0.01004 1 1 0.009161 0.06128 0.3139 0.009322 0.06235 0.3194 json
t16_x1_u0_b1 16 1 0 1 add(P,sqt(sub(P,D))) 75476 129970018 o2(x,o1(o2(x,x))) true 91815 91815 -0.125 0.4375 1 0.9844 0.9922 -1 1 2 1 0.9887 0.01587 0 0.007937 1 1 0 0.03175 0.01587 0.01581 0.1257 15.84 2 0.01612 0.03225 1 1 0.02105 0.08421 0.3368 0.02139 0.08555 0.3422 json
t16_x1_u0_b2 16 1 0 2 add(P,sqt(mlt(P,D))) 75477 129970019 o2(x,o1(o2(x,x))) true 91823 91823 -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
t16_x1_u0_b3 16 1 0 3 add(P,sqt(div(P,D))) 75478 129970020 o2(x,o1(o2(x,x))) true 91831 91831 -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
t16_x1_u0_b4 16 1 0 4 add(P,sqt(pow(P,D))) 75479 129970021 o2(x,o1(o2(x,x))) true 91839 91839 -0.02152 0.5 0.9785 0.9739 0.9869 -1 1 2 1 1.244 0.004625 0 0.007937 1 1 -4.731e-10 0.007971 0.009631 0.00456 0.06753 8.509 1.001 0.004749 0.008185 1 1 0.006981 0.05009 0.3027 0.007168 0.05143 0.3108 json
t16_x1_u0_b5 16 1 0 5 add(P,sqt(mod(P,D))) 75480 129970022 o2(x,o1(o2(x,x))) true 91847 91847 -0.02472 0.5 0.9753 0.9696 0.9847 -1 1 2 1 1.269 0.004709 0 0.008305 1 1 -9.461e-10 0.008742 0.01198 0.004642 0.06813 8.204 1 0.004856 0.009016 1 1 0.006693 0.04622 0.2971 0.006903 0.04767 0.3064 json
t16_x1_u0_b6 16 1 0 6 add(P,sqt(lrg(P,D))) 75481 129970023 o2(x,o1(o2(x,x))) true 91855 91855 0.04098 0.5313 0.959 0.9453 0.9723 -1 1 2 1 1.571 0.006022 0 0.01586 1 1 0 0.008334 0.01158 0.005766 0.07594 4.787 0.9988 0.006371 0.008816 1 1 0.01045 0.06016 0.2663 0.01105 0.06364 0.2817 json
t16_x1_u0_b7 16 1 0 7 add(P,sqt(eql(P,D))) 75482 129970024 o2(x,o1(o2(x,x))) true 91863 91863 0 0.5 0.9375 0.924 0.9612 -1 1 2 1 1.813 0.0007059 0 0.007937 1 1 0 0.00003235 0.001851 0.0006432 0.02536 3.195 0.1169 0.0007639 0.00003501 1 1 0.001851 0.02449 0.2344 0.002003 0.0265 0.2537 json
t16_x1_u0_b8 16 1 0 8 add(P,sqt(min(P,D))) 75483 129970025 o2(x,o1(o2(x,x))) true 91871 91871 -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
t16_x1_u0_b9 16 1 0 9 add(P,sqt(dot(P,D))) 75484 129970026 o2(x,o1(o2(x,x))) true 91879 91879 -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
t16_x1_u0_b10 16 1 0 10 add(P,sqt(dst(P,D))) 75485 129970027 o2(x,o1(o2(x,x))) true 91887 91887 0.2614 0.6293 0.9271 0.8346 0.9135 -1 1 2 1 2.037 0.0005667 0.0000794 0.008858 0.7542 1 -0.000002869 0.0000741 0.002303 0.0005677 0.02383 2.69 0.1919 0.0007742 0.00008879 1 1 0.001654 0.0206 0.2176 0.001982 0.02468 0.2608 json
t16_x1_u0_b11 16 1 0 11 sub(P,sqt(add(P,D))) 75486 129970028 o2(x,o1(o2(x,x))) true 91895 91895 -0.1288 0.4414 0.8945 0.8531 0.9236 -1 1 2 1 2.063 0.003203 0 0.01085 1 1 -4.731e-10 0.006323 0.009996 0.003085 0.05555 5.119 0.8235 0.003754 0.007412 1 1 0.004302 0.0207 0.1716 0.005043 0.02426 0.2012 json
t16_x1_u0_b12 16 1 0 12 sub(P,sqt(sub(P,D))) 75487 129970029 o2(x,o1(o2(x,x))) true 91903 91903 -0.1754 0.4375 0.9496 0.9014 0.9494 -1 1 2 1 1.67 0.004268 0 0.007937 1 1 -1.893e-9 0.007932 0.008538 0.004203 0.06483 8.169 1.016 0.004734 0.008799 1 1 0.00606 0.03404 0.2455 0.006723 0.03776 0.2723 json
t16_x1_u0_b13 16 1 0 13 sub(P,sqt(mlt(P,D))) 75488 129970030 o2(x,o1(o2(x,x))) true 91911 91911 -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
t16_x1_u0_b14 16 1 0 14 sub(P,sqt(div(P,D))) 75489 129970031 o2(x,o1(o2(x,x))) true 91919 91919 -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
t16_x1_u0_b15 16 1 0 15 sub(P,sqt(pow(P,D))) 75490 129970032 o2(x,o1(o2(x,x))) true 91927 91927 -0.09127 0.4375 0.9087 0.894 0.9455 -1 1 2 1 1.558 0.004365 0 0.008118 1 1 9.386e-13 0.007965 0.009143 0.004298 0.06556 8.075 1 0.004883 0.008909 1 1 0.006298 0.03398 0.2057 0.007044 0.03801 0.2301 json
t16_x1_u0_b16 16 1 0 16 sub(P,sqt(mod(P,D))) 75491 129970033 o2(x,o1(o2(x,x))) true 91935 91935 -0.04778 0.5 0.9522 0.9376 0.9683 -1 1 2 1 1.575 0.005175 0 0.01109 1 1 9.386e-13 0.009986 0.01788 0.005052 0.07107 6.406 1 0.00552 0.01065 1 1 0.007106 0.03309 0.2562 0.007579 0.03529 0.2733 json
t16_x1_u0_b17 16 1 0 17 sub(P,sqt(lrg(P,D))) 75492 129970034 o2(x,o1(o2(x,x))) true 91943 91943 -0.09375 0.4375 0.9063 0.89 0.9434 -1 1 2 1 1.621 0.004321 0 0.007937 1 1 -4.731e-10 0.007953 0.008864 0.004257 0.06525 8.221 1 0.004855 0.008935 1 1 0.006189 0.0332 0.2014 0.006953 0.0373 0.2263 json
t16_x1_u0_b18 16 1 0 18 sub(P,sqt(eql(P,D))) 75493 129970035 o2(x,o1(o2(x,x))) true 91951 91951 0 0.5 0.9375 0.924 0.9612 -1 1 2 1 1.813 0.0007059 0 0.007937 1 1 0 0.00003235 0.001851 0.0006432 0.02536 3.195 0.1169 0.0007639 0.00003501 1 1 0.001851 0.02449 0.2344 0.002003 0.0265 0.2537 json
t16_x1_u0_b19 16 1 0 19 sub(P,sqt(min(P,D))) 75494 129970036 o2(x,o1(o2(x,x))) true 91959 91959 -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
t16_x1_u0_b20 16 1 0 20 sub(P,sqt(dot(P,D))) 75495 129970037 o2(x,o1(o2(x,x))) true 91967 91967 -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
t16_x1_u0_b21 16 1 0 21 sub(P,sqt(dst(P,D))) 75496 129970038 o2(x,o1(o2(x,x))) true 91975 91975 -0.2614 0.3707 0.9271 0.8346 0.9135 -1 1 2 1 2.037 0.0005667 0.0000794 0.00885 0.7542 1 0.000002868 0.0000741 0.002303 0.0005679 0.02383 2.693 0.1916 0.0007742 0.00008879 1 1 0.001654 0.0206 0.2176 0.001982 0.02468 0.2608 json
t16_x1_u0_b22 16 1 0 22 mlt(P,sqt(add(P,D))) 75497 129970039 o2(x,o1(o2(x,x))) true 91983 91983 -0.03638 0.4961 0.9636 0.9553 0.9774 -1 1 2 1 1.426 0.004301 0 0.007937 1 1 1.892e-9 0.007934 0.008797 0.004237 0.06509 8.201 1 0.004502 0.008305 1 1 0.006147 0.03676 0.2781 0.006435 0.03847 0.2911 json
t16_x1_u0_b23 16 1 0 23 mlt(P,sqt(sub(P,D))) 75498 129970040 o2(x,o1(o2(x,x))) true 91991 91991 -0.1252 0.4375 0.9998 0.9839 0.9919 -1 1 2 1 0.9887 0.01564 0 0.008059 1 1 -1.892e-9 0.03152 0.01605 0.01557 0.1248 15.48 1.985 0.01589 0.03204 1 1 0.02058 0.08365 0.3363 0.02092 0.08502 0.3418 json
t16_x1_u0_b24 16 1 0 24 mlt(P,sqt(mlt(P,D))) 75499 129970041 o2(x,o1(o2(x,x))) true 91999 91999 -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