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
t18_x3_u0_b131 18 3 0 131 sub(P,add(P,dst(D,P))) 121100 146292152 o2(x,o2(x,o2(x,x))) true 128807 128807 -0.9987 0 0.9987 0.0006951 0.02637 -1 -0.04531 0.9547 1 0.04216 0.00003371 0.00003371 0.0005271 5.396e-8 0 1.502e-11 0.00002519 0.0003152 0.00006724 0.0082 15.56 0.1796 0.097 0.03624 1 1 0.0002218 0.001933 0.002533 0.3191 2.781 3.643 json
t18_x3_u0_b132 18 3 0 132 sub(P,sub(P,add(D,P))) 121101 146292153 o2(x,o2(x,o2(x,x))) true 128815 128815 0 0.5 0.9375 0.9165 0.9574 -1 1 2 1 1.979 0.0004883 0 0.007937 1 1 0 0.0000155 0.000496 0.0004253 0.02062 2.598 0.0625 0.0005327 0.00001691 1 1 0.001285 0.01928 0.2245 0.001402 0.02104 0.245 json
t18_x3_u0_b133 18 3 0 133 sub(P,sub(P,sub(D,P))) 121102 146292154 o2(x,o2(x,o2(x,x))) true 128823 128823 0 0.5 0.9375 0.9252 0.9619 -1 1 2 1 1.774 0.001323 0 0.01101 1 1 0 0.0002527 0.005079 0.001202 0.03468 3.15 0.1713 0.00143 0.0002731 1 1 0.003342 0.0331 0.2361 0.003612 0.03578 0.2552 json
t18_x3_u0_b134 18 3 0 134 sub(P,sub(P,mlt(D,P))) 121103 146292155 o2(x,o2(x,o2(x,x))) true 128831 128831 -0.1371 0.3594 0.4002 0.2253 0.4747 -1 0.9606 1.961 1 4.765 0.03261 0 0.1409 1 1 0.002385 0.006072 0.05811 0.01278 0.113 0.8025 0.4334 0.1447 0.02695 1 1 0.03817 0.2764 0.02108 0.1694 1.227 0.09354 json
t18_x3_u0_b135 18 3 0 135 sub(P,sub(P,div(D,P))) 121104 146292156 o2(x,o2(x,o2(x,x))) true 128839 128839 -0.1094 0.5156 0.1542 0.1153 0.3396 -1 0.1922 1.192 1 1.912 0.00866 0 0.01835 1 1 0.0000369 0.01597 0.01991 0.008324 0.09124 4.973 1.031 0.07511 0.1385 1 1 0.01236 0.05779 0.1864 0.1072 0.5012 1.617 json
t18_x3_u0_b136 18 3 0 136 sub(P,sub(P,pow(D,P))) 121105 146292157 o2(x,o2(x,o2(x,x))) true 128847 128847 -0.875 0.0625 1 0.2344 0.4841 -1 1 2 1 0.3373 0.03175 0 0.01587 1 1 0 0.06349 0.03175 0.03149 0.1774 11.18 2 0.1354 0.2709 1 1 0.04211 0.1684 0.3368 0.1796 0.7186 1.437 json
t18_x3_u0_b137 18 3 0 137 sub(P,sub(P,mod(D,P))) 121106 146292158 o2(x,o2(x,o2(x,x))) true 128855 128855 -0.125 0.4375 0.2076 0.1189 0.3448 -1 0.1454 1.145 1 2.785 0.009352 0 0.03917 1 1 9.386e-13 0.01611 0.02856 0.007817 0.08842 2.257 1.031 0.07868 0.1355 1 1 0.01311 0.05985 0.1702 0.1103 0.5035 1.432 json
t18_x3_u0_b138 18 3 0 138 sub(P,sub(P,lrg(D,P))) 121107 146292159 o2(x,o2(x,o2(x,x))) true 128863 128863 0.5 0.5625 0.5 0.2365 0.4863 0 1 1 1 1.577 0.00467 0 0.0119 1 1 -4.731e-10 0.008068 0.009787 0.004528 0.06729 5.654 0.9994 0.01975 0.03412 1 1 0.007036 0.03244 0.06598 0.02976 0.1372 0.279 json
t18_x3_u0_b139 18 3 0 139 sub(P,sub(P,eql(D,P))) 121108 146292160 o2(x,o2(x,o2(x,x))) true 128871 128871 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
t18_x3_u0_b140 18 3 0 140 sub(P,sub(P,min(D,P))) 121109 146292161 o2(x,o2(x,o2(x,x))) true 128879 128879 -0.4866 0.2188 0.5279 0.2404 0.4903 -1 0.1454 1.145 1 2.671 0.00115 0 0.02195 1 1 0.0001582 0.000139 0.007881 0.0006688 0.02586 1.178 0.1105 0.004785 0.0005782 1 1 0.002476 0.02333 0.06805 0.0103 0.09702 0.283 json
t18_x3_u0_b141 18 3 0 141 sub(P,sub(P,dot(D,P))) 121110 146292162 o2(x,o2(x,o2(x,x))) true 128887 128887 -0.2397 0.3389 0.5376 0.3418 0.5846 -1 1 2 1 4.686 0.02744 0.02744 0.1913 -0.00001704 1 0.002662 0.0158 0.08103 0.0183 0.1353 0.7073 0.613 0.1606 0.04621 1 1 0.06843 0.4811 0.03707 0.2002 1.408 0.1085 json
t18_x3_u0_b142 18 3 0 142 sub(P,sub(P,dst(D,P))) 121111 146292163 o2(x,o2(x,o2(x,x))) true 128895 128895 0.9987 1 0.9987 0.0006951 0.02637 0.04531 1 0.9547 1 0.04216 0.00003371 0.00003371 0.0005271 1.079e-7 0 -3.754e-12 0.00002519 0.0003152 0.00006724 0.0082 15.56 0.1796 0.097 0.03624 1 1 0.0002218 0.001933 0.002533 0.3191 2.781 3.643 json
t18_x3_u0_b143 18 3 0 143 sub(P,mlt(P,add(D,P))) 121112 146292164 o2(x,o2(x,o2(x,x))) true 128903 128903 -0.8812 0.0625 0.8991 0.1054 0.3246 -1 0.2729 1.273 1 1.067 0.001156 0 0.0101 1 1 2.602e-9 0.0002344 0.003322 0.001055 0.03247 3.215 0.2066 0.01097 0.002224 1 1 0.002911 0.03248 0.1604 0.02763 0.3082 1.522 json
t18_x3_u0_b144 18 3 0 144 sub(P,mlt(P,sub(D,P))) 121113 146292165 o2(x,o2(x,o2(x,x))) true 128911 128911 0.9056 0.9883 0.9067 0.07295 0.2701 -0.06592 1 1.066 1 0.8891 0.001785 0 0.01062 1 1 2.365e-10 0.0004958 0.005198 0.001673 0.04091 3.851 0.2927 0.02447 0.006797 1 1 0.004407 0.0354 0.1104 0.06041 0.4852 1.513 json
t18_x3_u0_b145 18 3 0 145 sub(P,mlt(P,mlt(D,P))) 121114 146292166 o2(x,o2(x,o2(x,x))) true 128919 128919 0 0.5 0.949 0.9371 0.968 -1 1 2 1 1.618 0.001592 0 0.01195 1 1 0 0.001917 0.009631 0.001449 0.03806 3.186 0.1927 0.001698 0.002046 1 1 0.00256 0.0294 0.2558 0.002732 0.03137 0.273 json
t18_x3_u0_b146 18 3 0 146 sub(P,mlt(P,div(D,P))) 121115 146292167 o2(x,o2(x,o2(x,x))) true 128927 128927 -0.125 0.4375 0.9978 0.9802 0.99 -1 1 2 1 1.149 0.01546 0 0.009228 1 1 0 0.03163 0.0175 0.01536 0.124 13.43 1.969 0.01577 0.03227 1 1 0.02003 0.08147 0.3341 0.02043 0.08312 0.3409 json
t18_x3_u0_b147 18 3 0 147 sub(P,mlt(P,pow(D,P))) 121116 146292168 o2(x,o2(x,o2(x,x))) true 128935 128935 -0.9046 0.05859 0.9704 0.1489 0.3858 -1 1 2 1 0.4652 0.02074 0 0.01587 1 1 0 0.04021 0.02657 0.02048 0.1431 9.015 2 0.1393 0.2701 1 1 0.02834 0.1221 0.2128 0.1904 0.8201 1.43 json
t18_x3_u0_b148 18 3 0 148 sub(P,mlt(P,mod(D,P))) 121117 146292169 o2(x,o2(x,o2(x,x))) true 128943 128943 -0.1257 0.4375 0.9993 0.9827 0.9913 -1 1 2 1 1.045 0.01542 0 0.008275 1 1 9.461e-10 0.03149 0.01642 0.01534 0.1239 14.97 1.97 0.01569 0.03204 1 1 0.02001 0.08227 0.3349 0.02036 0.08372 0.3408 json
t18_x3_u0_b149 18 3 0 149 sub(P,mlt(P,lrg(D,P))) 121118 146292170 o2(x,o2(x,o2(x,x))) true 128951 128951 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
t18_x3_u0_b150 18 3 0 150 sub(P,mlt(P,eql(D,P))) 121119 146292171 o2(x,o2(x,o2(x,x))) true 128959 128959 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
t18_x3_u0_b151 18 3 0 151 sub(P,mlt(P,min(D,P))) 121120 146292172 o2(x,o2(x,o2(x,x))) true 128967 128967 -0.003529 0.5 0.9534 0.9439 0.9716 -1 1 2 1 1.577 0.001162 0 0.008516 1 1 1.537e-9 0.0002153 0.003792 0.00109 0.03302 3.877 0.2265 0.001231 0.0002281 1 1 0.002941 0.03106 0.2614 0.003115 0.03291 0.2769 json
t18_x3_u0_b152 18 3 0 152 sub(P,mlt(P,dot(D,P))) 121121 146292173 o2(x,o2(x,o2(x,x))) true 128975 128975 -1.63e-9 0.5 0.9251 0.9052 0.9514 -1 1 2 1 2.04 0.02685 0.02385 0.0577 0.05907 1 -1.197e-10 0.09884 0.0741 0.04737 0.2176 3.772 2.828 0.05601 0.1092 1 1 0.015 0.06247 0.2636 0.01657 0.06901 0.2912 json
t18_x3_u0_b153 18 3 0 153 sub(P,mlt(P,dst(D,P))) 121122 146292174 o2(x,o2(x,o2(x,x))) true 128983 128983 -4.657e-10 0.5 0.9522 0.9421 0.9706 -1 1 2 1 1.613 0.001717 0.00008886 0.009101 0.9016 1 3.754e-11 0.000786 0.005292 0.001724 0.04152 4.562 0.4722 0.001917 0.0008343 1 1 0.003991 0.03493 0.2613 0.004236 0.03707 0.2774 json
t18_x3_u0_b154 18 3 0 154 sub(P,div(P,add(D,P))) 121123 146292175 o2(x,o2(x,o2(x,x))) true 128991 128991 -0.09607 0.4375 0.91 0.8771 0.9365 -1 1 2 1 2.067 0.001289 0 0.01184 1 1 -2.957e-10 0.0002176 0.003634 0.001149 0.0339 2.864 0.2477 0.00147 0.000248 1 1 0.003275 0.03138 0.1855 0.003734 0.03578 0.2115 json
t18_x3_u0_b155 18 3 0 155 sub(P,div(P,sub(D,P))) 121124 146292176 o2(x,o2(x,o2(x,x))) true 128999 128999 0.07823 0.5273 0.8806 0.8576 0.9261 -1 1 2 1 1.988 0.001268 0 0.01119 1 1 1.183e-10 0.0001883 0.004023 0.001143 0.03381 3.022 0.2087 0.001479 0.0002196 1 1 0.003239 0.03482 0.1617 0.003777 0.0406 0.1886 json
t18_x3_u0_b156 18 3 0 156 sub(P,div(P,mlt(D,P))) 121125 146292177 o2(x,o2(x,o2(x,x))) true 129007 129007 -0.125 0.4375 0.9627 0.9363 0.9676 -1 1 2 1 1.578 0.3377 0 0.2143 1 1 2.84e-9 0.5915 0.3528 0.2919 0.5403 2.521 2 0.3607 0.6317 1 1 0.3589 0.8677 0.4076 0.3833 0.9268 0.4353 json
t18_x3_u0_b157 18 3 0 157 sub(P,div(P,div(D,P))) 121126 146292178 o2(x,o2(x,o2(x,x))) true 129015 129015 0 0.5 0.9537 0.9441 0.9716 -1 1 2 1 1.559 0.4238 0 0.2302 1 1 0 0.8227 0.4341 0.3707 0.6089 2.645 2 0.4489 0.8714 1 1 0.4208 1.461 0.2295 0.4458 1.548 0.2431 json
t18_x3_u0_b158 18 3 0 158 sub(P,div(P,pow(D,P))) 121127 146292179 o2(x,o2(x,o2(x,x))) true 129023 129023 -0.9598 0 0.9598 0.03147 0.1774 -1 -0.000009095 1 1 0.5054 0.004308 0 0.007936 1 1 0 0.007959 0.008813 0.004244 0.06515 8.209 1 0.1369 0.2529 1 1 0.00615 0.03033 0.04461 0.1954 0.9636 1.417 json
t18_x3_u0_b159 18 3 0 159 sub(P,div(P,mod(D,P))) 121128 146292180 o2(x,o2(x,o2(x,x))) true 129031 129031 -0.0766 0.4648 0.9778 0.9643 0.982 -1 1 2 1 1.323 0.3535 0 0.2064 1 1 1.894e-9 0.6492 0.3678 0.3111 0.5577 2.703 2 0.3666 0.6732 1 1 0.3592 1.31 0.3613 0.3726 1.359 0.3747 json
t18_x3_u0_b160 18 3 0 160 sub(P,div(P,lrg(D,P))) 121129 146292181 o2(x,o2(x,o2(x,x))) true 129039 129039 -0.5625 0 0.5625 0.2461 0.4961 -1 0 1 1 0.9887 0.003968 0 0.003968 1 1 0 0.007937 0.007937 0.003952 0.06287 15.84 1 0.01612 0.03225 1 1 0.005263 0.02105 0.08421 0.02139 0.08555 0.3422 json
t18_x3_u0_b161 18 3 0 161 sub(P,div(P,eql(D,P))) 121130 146292182 o2(x,o2(x,o2(x,x))) true 129047 129047 -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
t18_x3_u0_b162 18 3 0 162 sub(P,div(P,min(D,P))) 121131 146292183 o2(x,o2(x,o2(x,x))) true 129055 129055 -0.4433 0.2734 0.9616 0.7544 0.8686 -1 1 2 1 1.347 0.1645 0 0.1111 1 1 9.442e-10 0.2827 0.1819 0.1522 0.3901 3.511 2 0.2181 0.3748 1 1 0.1852 0.6761 0.174 0.2455 0.8962 0.2306 json
t18_x3_u0_b163 18 3 0 163 sub(P,div(P,dot(D,P))) 121132 146292184 o2(x,o2(x,o2(x,x))) true 129063 129063 -0.02991 0.4848 0.9149 0.8929 0.9449 -1 1 2 1 2.119 0.4078 0.3649 0.4044 0.05554 1 -4.055e-10 2.99 0.8145 0.6094 0.7806 1.93 2.828 0.8654 3.349 1 1 0.687 1.263 0.7909 0.7694 1.414 0.8858 json
t18_x3_u0_b164 18 3 0 164 sub(P,div(P,dst(D,P))) 121133 146292185 o2(x,o2(x,o2(x,x))) true 129071 129071 -2.328e-10 0.5 0.9004 0.8735 0.9346 -1 1 2 1 2.33 0.0005828 0.00004831 0.008938 0.8469 1 -1.549e-11 0.00007643 0.002812 0.0005514 0.02348 2.627 0.1737 0.0007225 0.00008749 1 1 0.00168 0.01942 0.1773 0.001923 0.02223 0.203 json
t18_x3_u0_b165 18 3 0 165 sub(P,pow(P,add(D,P))) 121134 146292186 o2(x,o2(x,o2(x,x))) true 129079 129079 -0.9056 0 0.9056 0.08092 0.2845 -1 0 1 1 0.6922 0.004542 0 0.007937 1 1 -1.656e-9 0.008045 0.009588 0.004477 0.06691 8.431 1 0.05612 0.09941 1 1 0.006713 0.03607 0.1211 0.08295 0.4457 1.497 json
t18_x3_u0_b166 18 3 0 166 sub(P,pow(P,sub(D,P))) 121135 146292187 o2(x,o2(x,o2(x,x))) true 129087 129087 -0.08482 0.4375 0.9152 0.9037 0.9506 -1 1 2 1 1.463 0.004612 0 0.007937 1 1 -4.728e-10 0.008112 0.00956 0.004548 0.06744 8.497 1 0.005104 0.008976 1 1 0.006855 0.03677 0.2172 0.007586 0.0407 0.2404 json
t18_x3_u0_b167 18 3 0 167 sub(P,pow(P,mlt(D,P))) 121136 146292188 o2(x,o2(x,o2(x,x))) true 129095 129095 -0.4921 0.2539 0.9307 0.67 0.8185 -1 1 2 1 1.718 0.09159 0 0.06693 1 1 -9.461e-10 0.161 0.1012 0.08707 0.2951 4.408 2 0.1367 0.2402 1 1 0.07473 0.2748 0.4912 0.1115 0.4102 0.7331 json
t18_x3_u0_b168 18 3 0 168 sub(P,pow(P,div(D,P))) 121137 146292189 o2(x,o2(x,o2(x,x))) true 129103 129103 -0.09128 0.4375 0.9087 0.894 0.9455 -1 1 2 1 1.558 0.004366 0 0.008124 1 1 9.47e-10 0.007965 0.009174 0.004298 0.06556 8.069 1 0.004883 0.00891 1 1 0.006298 0.03398 0.2057 0.007045 0.03801 0.2301 json
t18_x3_u0_b169 18 3 0 169 sub(P,pow(P,pow(D,P))) 121138 146292190 o2(x,o2(x,o2(x,x))) true 129111 129111 -0.9375 0 0.9375 0.05859 0.2421 -1 0 1 1 0.3373 0.007937 0 0.007937 1 1 0 0.01587 0.01587 0.007872 0.08872 11.18 1 0.1354 0.2709 1 1 0.01053 0.04211 0.08421 0.1796 0.7186 1.437 json
t18_x3_u0_b170 18 3 0 170 sub(P,pow(P,mod(D,P))) 121139 146292191 o2(x,o2(x,o2(x,x))) true 129119 129119 -0.1524 0.4375 0.9726 0.9434 0.9713 -1 1 2 1 1.321 0.004423 0 0.008438 1 1 4.726e-10 0.007916 0.009514 0.004353 0.06598 7.819 1 0.004689 0.00839 1 1 0.006484 0.04351 0.2917 0.006873 0.04612 0.3092 json
t18_x3_u0_b171 18 3 0 171 sub(P,pow(P,lrg(D,P))) 121140 146292192 o2(x,o2(x,o2(x,x))) true 129127 129127 -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
t18_x3_u0_b172 18 3 0 172 sub(P,pow(P,eql(D,P))) 121141 146292193 o2(x,o2(x,o2(x,x))) true 129135 129135 -0.125 0.4375 0.9375 0.9084 0.9531 -1 1 2 1 1.8 0.0007059 0 0.007937 1 1 0 0.00003235 0.001851 0.0006432 0.02536 3.195 0.1169 0.0007771 0.00003562 1 1 0.001851 0.02449 0.2344 0.002038 0.02696 0.2581 json
t18_x3_u0_b173 18 3 0 173 sub(P,pow(P,min(D,P))) 121142 146292194 o2(x,o2(x,o2(x,x))) true 129143 129143 -0.1211 0.4375 0.9414 0.9141 0.9561 -1 1 2 1 1.737 0.0008047 0 0.008438 1 1 5.322e-10 0.00006812 0.002575 0.0007337 0.02709 3.21 0.1385 0.0008803 0.00007452 1 1 0.002089 0.02607 0.2405 0.002286 0.02851 0.2631 json
t18_x3_u0_b174 18 3 0 174 sub(P,pow(P,dot(D,P))) 121143 146292195 o2(x,o2(x,o2(x,x))) true 129151 129151 -0.6934 0.1693 0.9474 0.4523 0.6725 -1 1 2 1 1.292 0.05841 0.03036 0.07158 0.316 1 0.0006732 0.193 0.104 0.0836 0.2891 4.039 2.828 0.1963 0.4266 1 1 0.09808 0.3524 0.546 0.2168 0.7791 1.207 json
t18_x3_u0_b175 18 3 0 175 sub(P,pow(P,dst(D,P))) 121144 146292196 o2(x,o2(x,o2(x,x))) true 129159 129159 -0.9294 0 0.9294 0.06433 0.2536 -1 0 1 1 0.458 0.005953 0.000005006 0.007953 0.9983 1 8.774e-8 0.01042 0.01271 0.005893 0.07677 9.653 1 0.09262 0.162 1 1 0.008542 0.04012 0.09587 0.1328 0.6236 1.49 json
t18_x3_u0_b176 18 3 0 176 sub(P,mod(P,add(D,P))) 121145 146292197 o2(x,o2(x,o2(x,x))) true 129167 129167 0 0.5 0.6876 0.6325 0.7953 -1 1 2 1 3.458 0.0697 0 0.1203 1 1 9.386e-13 0.1221 0.1546 0.05523 0.235 1.954 0.9994 0.1102 0.1931 1 1 0.07538 0.2069 0.1032 0.1192 0.3271 0.1631 json
t18_x3_u0_b177 18 3 0 177 sub(P,mod(P,sub(D,P))) 121146 146292198 o2(x,o2(x,o2(x,x))) true 129175 129175 -5.119e-11 0.4375 0.5876 0.5362 0.7323 -1 1 2 1 3.486 0.06688 0 0.1115 1 1 -1.877e-12 0.1186 0.1461 0.05446 0.2334 2.093 0.9997 0.1247 0.2211 1 1 0.07092 0.2233 0.08425 0.1323 0.4164 0.1571 json
t18_x3_u0_b178 18 3 0 178 sub(P,mod(P,mlt(D,P))) 121147 146292199 o2(x,o2(x,o2(x,x))) true 129183 129183 -0.125 0.4375 0.9962 0.9771 0.9885 -1 1 2 1 1.214 0.0161 0 0.01093 1 1 0 0.03319 0.02084 0.01599 0.1264 11.57 2 0.01648 0.03396 1 1 0.02071 0.07959 0.3322 0.02119 0.08146 0.34 json
t18_x3_u0_b179 18 3 0 179 sub(P,mod(P,div(D,P))) 121148 146292200 o2(x,o2(x,o2(x,x))) true 129191 129191 -0.125 0.4375 0.9985 0.9815 0.9907 -1 1 2 1 0.9887 0.01591 0 0.008921 1 1 0 0.03273 0.01784 0.01582 0.1258 14.1 2 0.01621 0.03335 1 1 0.0205 0.0823 0.3349 0.02088 0.08385 0.3413 json
t18_x3_u0_b180 18 3 0 180 sub(P,mod(P,pow(D,P))) 121149 146292201 o2(x,o2(x,o2(x,x))) true 129199 129199 -0.9375 0 0.9375 0.05859 0.2421 -1 0 1 1 0.3373 0.007937 0 0.007937 1 1 0 0.01587 0.01587 0.007872 0.08872 11.18 1 0.1354 0.2709 1 1 0.01053 0.04211 0.08421 0.1796 0.7186 1.437 json
t18_x3_u0_b181 18 3 0 181 sub(P,mod(P,mod(D,P))) 121150 146292202 o2(x,o2(x,o2(x,x))) true 129207 129207 -0.125 0.4375 0.9979 0.9803 0.9901 -1 1 2 1 1.105 0.01593 0 0.009376 1 1 0 0.03277 0.01836 0.01583 0.1258 13.42 2 0.01625 0.03342 1 1 0.02054 0.08156 0.3342 0.02095 0.0832 0.3409 json
t18_x3_u0_b182 18 3 0 182 sub(P,mod(P,lrg(D,P))) 121151 146292203 o2(x,o2(x,o2(x,x))) true 129215 129215 -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
t18_x3_u0_b183 18 3 0 183 sub(P,mod(P,eql(D,P))) 121152 146292204 o2(x,o2(x,o2(x,x))) true 129223 129223 -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
t18_x3_u0_b184 18 3 0 184 sub(P,mod(P,min(D,P))) 121153 146292205 o2(x,o2(x,o2(x,x))) true 129231 129231 0.03206 0.4375 0.8408 0.8216 0.9064 -1 1 2 1 2.224 0.02416 0 0.03246 1 1 1.892e-9 0.0426 0.03641 0.02311 0.152 4.684 2 0.0294 0.05184 1 1 0.03291 0.1456 0.328 0.04005 0.1772 0.3992 json
t18_x3_u0_b185 18 3 0 185 sub(P,mod(P,dot(D,P))) 121154 146292206 o2(x,o2(x,o2(x,x))) true 129239 129239 -0.03467 0.4522 0.8662 0.8478 0.9208 -1 1 2 1 2.197 0.0809 0.08949 0.1012 -0.05046 1 3.004e-11 0.8999 0.2267 0.1601 0.4001 3.955 2.828 0.201 1.061 1 1 0.1111 0.1601 0.2942 0.131 0.1889 0.347 json
t18_x3_u0_b186 18 3 0 186 sub(P,mod(P,dst(D,P))) 121155 146292207 o2(x,o2(x,o2(x,x))) true 129247 129247 7.479e-10 0.1424 0.1402 0.1213 0.3483 -1 1 2 1 1.749 0.01972 0.005778 0.04443 0.5468 1 3.084e-11 0.06377 0.06091 0.02352 0.1534 3.451 1.414 0.2102 0.5256 1 1 0.02965 0.1037 0.09391 0.2444 0.8544 0.7739 json
t18_x3_u0_b187 18 3 0 187 sub(P,lrg(P,add(D,P))) 121156 146292208 o2(x,o2(x,o2(x,x))) true 129255 129255 -0.0625 0.4375 0.9375 0.9336 0.9662 -1 1 2 1 1.272 0.007937 0 0.007937 1 1 0 0.01587 0.01587 0.007872 0.08872 11.18 1 0.008501 0.017 1 1 0.01053 0.04211 0.2526 0.01128 0.0451 0.2706 json
t18_x3_u0_b188 18 3 0 188 sub(P,lrg(P,sub(D,P))) 121157 146292209 o2(x,o2(x,o2(x,x))) true 129263 129263 -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
t18_x3_u0_b189 18 3 0 189 sub(P,lrg(P,mlt(D,P))) 121158 146292210 o2(x,o2(x,o2(x,x))) true 129271 129271 -0.0625 0.4375 0.875 0.8576 0.926 -1 1 2 1 2.027 0.0007059 0 0.007937 1 1 0 0.00003238 0.001855 0.0006432 0.02536 3.195 0.1169 0.0008231 0.00003776 1 1 0.001851 0.02429 0.1593 0.002158 0.02832 0.1858 json
t18_x3_u0_b190 18 3 0 190 sub(P,lrg(P,div(D,P))) 121159 146292211 o2(x,o2(x,o2(x,x))) true 129279 129279 -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
t18_x3_u0_b191 18 3 0 191 sub(P,lrg(P,pow(D,P))) 121160 146292212 o2(x,o2(x,o2(x,x))) true 129287 129287 -0.0625 0.4375 0.875 0.8576 0.926 -1 1 2 1 2.027 0.0007059 0 0.007937 1 1 0 0.00003238 0.001855 0.0006432 0.02536 3.195 0.1169 0.0008231 0.00003776 1 1 0.001851 0.02429 0.1593 0.002158 0.02832 0.1858 json
t18_x3_u0_b192 18 3 0 192 sub(P,lrg(P,mod(D,P))) 121161 146292213 o2(x,o2(x,o2(x,x))) true 129295 129295 -0.125 0.4375 0.9375 0.9084 0.9531 -1 1 2 1 1.8 0.0007059 0 0.007937 1 1 0 0.00003235 0.001851 0.0006432 0.02536 3.195 0.1169 0.0007771 0.00003562 1 1 0.001851 0.02449 0.2344 0.002038 0.02696 0.2581 json
t18_x3_u0_b193 18 3 0 193 sub(P,lrg(P,lrg(D,P))) 121162 146292214 o2(x,o2(x,o2(x,x))) true 129303 129303 -0.0625 0.4375 0.875 0.8576 0.926 -1 1 2 1 2.027 0.0007059 0 0.007937 1 1 0 0.00003238 0.001855 0.0006432 0.02536 3.195 0.1169 0.0008231 0.00003776 1 1 0.001851 0.02429 0.1593 0.002158 0.02832 0.1858 json
t18_x3_u0_b194 18 3 0 194 sub(P,lrg(P,eql(D,P))) 121163 146292215 o2(x,o2(x,o2(x,x))) true 129311 129311 -0.0625 0.4375 0.875 0.8576 0.926 -1 1 2 1 2.027 0.0007059 0 0.007937 1 1 0 0.00003238 0.001855 0.0006432 0.02536 3.195 0.1169 0.0008231 0.00003776 1 1 0.001851 0.02429 0.1593 0.002158 0.02832 0.1858 json
t18_x3_u0_b195 18 3 0 195 sub(P,lrg(P,min(D,P))) 121164 146292216 o2(x,o2(x,o2(x,x))) true 129319 129319 -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
t18_x3_u0_b196 18 3 0 196 sub(P,lrg(P,dot(D,P))) 121165 146292217 o2(x,o2(x,o2(x,x))) true 129327 129327 -0.08286 0.4474 0.919 0.8937 0.9454 -1 1 2 1 2.028 0.001082 0.004947 0.01752 -0.6411 1 -0.00002279 0.01213 0.0168 0.00572 0.07563 4.316 1.341 0.006745 0.01357 1 1 0.008502 0.04486 0.207 0.009513 0.0502 0.2316 json
t18_x3_u0_b197 18 3 0 197 sub(P,lrg(P,dst(D,P))) 121166 146292218 o2(x,o2(x,o2(x,x))) true 129335 129335 -0.001297 0.5 0.9362 0.9222 0.9603 -1 1 2 1 1.834 0.0009896 0.0001016 0.008812 0.8137 1 1.689e-11 0.001104 0.003114 0.001013 0.03183 3.612 1.255 0.001183 0.001197 1 1 0.002582 0.02648 0.2328 0.0028 0.02872 0.2524 json
t18_x3_u0_b198 18 3 0 198 sub(P,eql(P,add(D,P))) 121167 146292219 o2(x,o2(x,o2(x,x))) true 129343 129343 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
t18_x3_u0_b199 18 3 0 199 sub(P,eql(P,sub(D,P))) 121168 146292220 o2(x,o2(x,o2(x,x))) true 129351 129351 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
t18_x3_u0_b200 18 3 0 200 sub(P,eql(P,mlt(D,P))) 121169 146292221 o2(x,o2(x,o2(x,x))) true 129359 129359 -0.0625 0.4688 0.9806 0.969 0.9844 -1 1 2 1 1.326 0.001412 0 0.007937 1 1 0 0.00006477 0.001855 0.001349 0.03673 4.628 0.2338 0.001457 0.00006684 1 1 0.003702 0.04857 0.3004 0.00382 0.05012 0.31 json
t18_x4_u0_b0 18 4 0 0 add(P,add(P,add(D,D))) 121170 146332422 o2(x,o2(x,o2(x,x))) true 129367 129367 0 0.5 0.9688 0.9583 0.9789 -1 1 2 1 1.492 0.0009611 0 0.007937 1 1 0 0.000062 0.0009921 0.0008988 0.02998 3.777 0.125 0.001003 0.00006471 1 1 0.002508 0.03503 0.2806 0.002617 0.03656 0.2928 json
t18_x4_u0_b1 18 4 0 1 add(P,add(P,sub(D,D))) 121171 146332423 o2(x,o2(x,o2(x,x))) true 129375 129375 0 0.5 0.9569 0.9494 0.9744 -1 1 2 1 1.488 0.001303 0 0.007937 1 1 0 0.0002681 0.003586 0.001241 0.03522 4.438 0.2265 0.001373 0.0002824 1 1 0.003279 0.03268 0.2686 0.003454 0.03442 0.2829 json
t18_x4_u0_b2 18 4 0 2 add(P,add(P,mlt(D,D))) 121172 146332424 o2(x,o2(x,o2(x,x))) true 129383 129383 0.00744 0.5078 0.9559 0.9486 0.974 -1 1 2 1 1.486 0.001369 0 0.007936 1 1 -1.537e-9 0.0003038 0.003785 0.001306 0.03614 4.554 0.2434 0.001443 0.0003203 1 1 0.003431 0.03292 0.2677 0.003616 0.03471 0.2822 json
t18_x4_u0_b3 18 4 0 3 add(P,add(P,div(D,D))) 121173 146332425 o2(x,o2(x,o2(x,x))) true 129391 129391 0.0625 0.5313 0.9806 0.969 0.9844 -1 1 2 1 1.326 0.001412 0 0.007937 1 1 0 0.00006477 0.001855 0.001349 0.03673 4.628 0.2338 0.001457 0.00006684 1 1 0.003702 0.04857 0.3004 0.00382 0.05012 0.31 json
t18_x4_u0_b4 18 4 0 4 add(P,add(P,pow(D,D))) 121174 146332426 o2(x,o2(x,o2(x,x))) true 129399 129399 -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
t18_x4_u0_b5 18 4 0 5 add(P,add(P,mod(D,D))) 121175 146332427 o2(x,o2(x,o2(x,x))) true 129407 129407 0 0.5 0.9612 0.9532 0.9763 -1 1 2 1 1.509 0.003241 0 0.01212 1 1 0 0.005951 0.02037 0.003096 0.05564 4.59 0.4784 0.0034 0.006243 1 1 0.004651 0.03376 0.2738 0.004879 0.03541 0.2873 json
t18_x4_u0_b6 18 4 0 6 add(P,add(P,lrg(D,D))) 121176 146332428 o2(x,o2(x,o2(x,x))) true 129415 129415 0 0.5 0.9569 0.9494 0.9744 -1 1 2 1 1.488 0.001303 0 0.007937 1 1 0 0.0002681 0.003586 0.001241 0.03522 4.438 0.2265 0.001373 0.0002824 1 1 0.003279 0.03268 0.2686 0.003454 0.03442 0.2829 json
t18_x4_u0_b7 18 4 0 7 add(P,add(P,eql(D,D))) 121177 146332429 o2(x,o2(x,o2(x,x))) true 129423 129423 0.0625 0.5313 0.9806 0.969 0.9844 -1 1 2 1 1.326 0.001412 0 0.007937 1 1 0 0.00006477 0.001855 0.001349 0.03673 4.628 0.2338 0.001457 0.00006684 1 1 0.003702 0.04857 0.3004 0.00382 0.05012 0.31 json
t18_x4_u0_b8 18 4 0 8 add(P,add(P,min(D,D))) 121178 146332430 o2(x,o2(x,o2(x,x))) true 129431 129431 0 0.5 0.9629 0.9531 0.9763 -1 1 2 1 1.525 0.001033 0 0.007937 1 1 0 0.0001387 0.002289 0.0009709 0.03116 3.926 0.1758 0.001084 0.0001455 1 1 0.002648 0.03249 0.2737 0.002779 0.03409 0.2871 json
t18_x4_u0_b9 18 4 0 9 add(P,add(P,dot(D,D))) 121179 146332431 o2(x,o2(x,o2(x,x))) true 129439 129439 0.01488 0.5151 0.9582 0.949 0.9742 -1 1 2 1 1.544 0.001396 0.00007868 0.00857 0.8933 1 -0.00001527 0.0003848 0.003903 0.001401 0.03744 4.368 0.252 0.001554 0.0004055 1 1 0.003666 0.03466 0.2686 0.003863 0.03652 0.283 json
t18_x4_u0_b10 18 4 0 10 add(P,add(P,dst(D,D))) 121180 146332432 o2(x,o2(x,o2(x,x))) true 129447 129447 0 0.5 0.9569 0.9494 0.9744 -1 1 2 1 1.488 0.001303 0 0.007937 1 1 0 0.0002681 0.003586 0.001241 0.03522 4.438 0.2265 0.001373 0.0002824 1 1 0.003279 0.03268 0.2686 0.003454 0.03442 0.2829 json
t18_x4_u0_b11 18 4 0 11 add(P,sub(P,add(D,D))) 121181 146332433 o2(x,o2(x,o2(x,x))) true 129455 129455 0 0.5 0.954 0.9459 0.9726 -1 1 2 1 1.478 0.002438 0 0.01101 1 1 0 0.0006848 0.006181 0.002318 0.04814 4.374 0.3281 0.002577 0.000724 1 1 0.006013 0.04126 0.2639 0.006357 0.04362 0.279 json
t18_x4_u0_b12 18 4 0 12 add(P,sub(P,sub(D,D))) 121182 146332434 o2(x,o2(x,o2(x,x))) true 129463 129463 0 0.5 0.9569 0.9494 0.9744 -1 1 2 1 1.488 0.001303 0 0.007937 1 1 0 0.0002681 0.003586 0.001241 0.03522 4.438 0.2265 0.001373 0.0002824 1 1 0.003279 0.03268 0.2686 0.003454 0.03442 0.2829 json
t18_x4_u0_b13 18 4 0 13 add(P,sub(P,mlt(D,D))) 121183 146332435 o2(x,o2(x,o2(x,x))) true 129471 129471 -0.00744 0.4922 0.9559 0.9486 0.974 -1 1 2 1 1.486 0.001369 0 0.007936 1 1 1.537e-9 0.0003038 0.003785 0.001306 0.03614 4.554 0.2434 0.001443 0.0003203 1 1 0.003431 0.03292 0.2677 0.003616 0.0347 0.2822 json
t18_x4_u0_b14 18 4 0 14 add(P,sub(P,div(D,D))) 121184 146332436 o2(x,o2(x,o2(x,x))) true 129479 129479 -0.0625 0.4688 0.9806 0.969 0.9844 -1 1 2 1 1.326 0.001412 0 0.007937 1 1 -4.731e-10 0.00006477 0.001855 0.001349 0.03673 4.628 0.2338 0.001457 0.00006684 1 1 0.003702 0.04857 0.3004 0.00382 0.05012 0.31 json
t18_x4_u0_b15 18 4 0 15 add(P,sub(P,pow(D,D))) 121185 146332437 o2(x,o2(x,o2(x,x))) true 129487 129487 -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
t18_x4_u0_b16 18 4 0 16 add(P,sub(P,mod(D,D))) 121186 146332438 o2(x,o2(x,o2(x,x))) true 129495 129495 0 0.5 0.9525 0.944 0.9716 -1 1 2 1 1.488 0.003054 0 0.0121 1 1 0 0.005246 0.01769 0.002909 0.05394 4.457 0.3787 0.003236 0.005557 1 1 0.004623 0.03315 0.2613 0.004898 0.03511 0.2768 json
t18_x4_u0_b17 18 4 0 17 add(P,sub(P,lrg(D,D))) 121187 146332439 o2(x,o2(x,o2(x,x))) true 129503 129503 0 0.5 0.9569 0.9494 0.9744 -1 1 2 1 1.488 0.001303 0 0.007937 1 1 0 0.0002681 0.003586 0.001241 0.03522 4.438 0.2265 0.001373 0.0002824 1 1 0.003279 0.03268 0.2686 0.003454 0.03442 0.2829 json
t18_x4_u0_b18 18 4 0 18 add(P,sub(P,eql(D,D))) 121188 146332440 o2(x,o2(x,o2(x,x))) true 129511 129511 -0.0625 0.4688 0.9806 0.969 0.9844 -1 1 2 1 1.326 0.001412 0 0.007937 1 1 0 0.00006477 0.001855 0.001349 0.03673 4.628 0.2338 0.001457 0.00006684 1 1 0.003702 0.04857 0.3004 0.00382 0.05012 0.31 json
t18_x4_u0_b19 18 4 0 19 add(P,sub(P,min(D,D))) 121189 146332441 o2(x,o2(x,o2(x,x))) true 129519 129519 0 0.5 0.9537 0.9469 0.9731 -1 1 2 1 1.494 0.001772 0 0.009085 1 1 0 0.0004501 0.004884 0.00169 0.04111 4.525 0.2773 0.001871 0.0004753 1 1 0.004401 0.0356 0.2653 0.004647 0.0376 0.2802 json
t18_x4_u0_b20 18 4 0 20 add(P,sub(P,dot(D,D))) 121190 146332442 o2(x,o2(x,o2(x,x))) true 129527 129527 -0.01488 0.4844 0.9582 0.949 0.9742 -1 1 2 1 1.544 0.001396 0.00007868 0.00857 0.8933 1 0.00001527 0.0003848 0.003903 0.001401 0.03744 4.368 0.2524 0.001554 0.0004055 1 1 0.003666 0.03466 0.2686 0.003863 0.03652 0.283 json
t18_x4_u0_b21 18 4 0 21 add(P,sub(P,dst(D,D))) 121191 146332443 o2(x,o2(x,o2(x,x))) true 129535 129535 0 0.5 0.9569 0.9494 0.9744 -1 1 2 1 1.488 0.001303 0 0.007937 1 1 0 0.0002681 0.003586 0.001241 0.03522 4.438 0.2265 0.001373 0.0002824 1 1 0.003279 0.03268 0.2686 0.003454 0.03442 0.2829 json
t18_x4_u0_b22 18 4 0 22 add(P,mlt(P,add(D,D))) 121192 146332444 o2(x,o2(x,o2(x,x))) true 129543 129543 -0.02701 0.4688 0.9306 0.9179 0.9581 -1 1 2 1 1.747 0.001245 0 0.0101 1 1 -1.656e-9 0.0002828 0.004823 0.001143 0.03381 3.346 0.1966 0.001356 0.0003081 1 1 0.003115 0.03137 0.2284 0.003394 0.03417 0.2488 json
t18_x4_u0_b23 18 4 0 23 add(P,mlt(P,sub(D,D))) 121193 146332445 o2(x,o2(x,o2(x,x))) true 129551 129551 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
t18_x4_u0_b24 18 4 0 24 add(P,mlt(P,mlt(D,D))) 121194 146332446 o2(x,o2(x,o2(x,x))) true 129559 129559 0 0.5 0.9449 0.9321 0.9654 -1 1 2 1 1.748 0.0007429 0 0.007936 1 1 0 0.00003844 0.00193 0.0006803 0.02608 3.287 0.1221 0.0007971 0.00004124 1 1 0.001945 0.02554 0.2453 0.002087 0.02741 0.2632 json
t18_x4_u0_b25 18 4 0 25 add(P,mlt(P,div(D,D))) 121195 146332447 o2(x,o2(x,o2(x,x))) true 129567 129567 0 0.5 0.9569 0.9494 0.9744 -1 1 2 1 1.488 0.001303 0 0.007937 1 1 0 0.0002681 0.003586 0.001241 0.03522 4.438 0.2265 0.001373 0.0002824 1 1 0.003279 0.03268 0.2686 0.003454 0.03442 0.2829 json
t18_x4_u0_b26 18 4 0 26 add(P,mlt(P,pow(D,D))) 121196 146332448 o2(x,o2(x,o2(x,x))) true 129575 129575 -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
t18_x4_u0_b27 18 4 0 27 add(P,mlt(P,mod(D,D))) 121197 146332449 o2(x,o2(x,o2(x,x))) true 129583 129583 -0.004806 0.5 0.9358 0.9221 0.9602 -1 1 2 1 1.826 0.002437 0 0.01403 1 1 -3.784e-9 0.004431 0.01877 0.002242 0.04735 3.375 0.3787 0.002643 0.004805 1 1 0.003528 0.02551 0.2321 0.003826 0.02767 0.2518 json
t18_x4_u0_b28 18 4 0 28 add(P,mlt(P,lrg(D,D))) 121198 146332450 o2(x,o2(x,o2(x,x))) true 129591 129591 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
t18_x4_u0_b29 18 4 0 29 add(P,mlt(P,eql(D,D))) 121199 146332451 o2(x,o2(x,o2(x,x))) true 129599 129599 0 0.5 0.9569 0.9494 0.9744 -1 1 2 1 1.488 0.001303 0 0.007937 1 1 0 0.0002681 0.003586 0.001241 0.03522 4.438 0.2265 0.001373 0.0002824 1 1 0.003279 0.03268 0.2686 0.003454 0.03442 0.2829 json