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_x10_u3_b39 16 10 3 39 div(D,flr(lrg(P,D))) 83500 130334268 o2(x,o1(o2(x,x))) true 156007 156007 -0.5625 0.2188 0.6038 0.2508 0.5008 -1 0.1454 1.145 1 2.109 0.004924 0 0.01978 1 1 0.0001582 0.008104 0.01431 0.004534 0.06734 3.404 1.031 0.01964 0.03231 1 1 0.007206 0.03435 0.08512 0.02873 0.137 0.3394 json
t16_x10_u3_b40 16 10 3 40 div(D,flr(eql(P,D))) 83501 130334269 o2(x,o1(o2(x,x))) true 156015 156015 -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_x10_u3_b41 16 10 3 41 div(D,flr(min(P,D))) 83502 130334270 o2(x,o1(o2(x,x))) true 156023 156023 -0.4922 0.2891 0.5205 0.2595 0.5094 -1 0.1922 1.192 1 1.959 0.004434 0 0.01147 1 1 0.00001845 0.008024 0.01088 0.004304 0.0656 5.718 1.031 0.01708 0.03092 1 1 0.006429 0.02887 0.09175 0.02477 0.1112 0.3535 json
t16_x10_u3_b42 16 10 3 42 div(D,flr(dot(P,D))) 83503 130334271 o2(x,o1(o2(x,x))) true 156031 156031 -0.3971 0.3011 0.4798 0.2623 0.5121 -1 1 2 1 3.029 0.1465 0.1468 0.2738 -0.0008014 1 -0.0007559 1.022 0.5894 0.2184 0.4674 1.707 2.828 1.118 3.897 1 1 0.257 0.5469 0.4567 0.9798 2.085 1.741 json
t16_x10_u3_b43 16 10 3 43 div(D,flr(dst(P,D))) 83504 130334272 o2(x,o1(o2(x,x))) true 156039 156039 -0.04956 0.4735 0.0713 0.04824 0.2196 -1 0.2169 1.217 1 1.581 0.005219 0.005119 0.01793 0.009659 1 -3.015e-10 0.02934 0.0249 0.01002 0.1001 5.582 1.706 0.2143 0.6083 1 1 0.01833 0.05942 0.0914 0.3799 1.232 1.895 json
t16_x10_u3_b44 16 10 3 44 pow(D,flr(add(P,D))) 83505 130334273 o2(x,o1(o2(x,x))) true 156047 156047 -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
t16_x10_u3_b45 16 10 3 45 pow(D,flr(sub(P,D))) 83506 130334274 o2(x,o1(o2(x,x))) true 156055 156055 -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
t16_x10_u3_b46 16 10 3 46 pow(D,flr(mlt(P,D))) 83507 130334275 o2(x,o1(o2(x,x))) true 156063 156063 -0.5547 0.2227 1 0.6929 0.8324 -1 1 2 1 0.765 0.1905 0 0.09524 1 1 0 0.381 0.1905 0.1814 0.4259 4.472 2 0.2749 0.5498 1 1 0.1684 0.4211 0.6 0.2431 0.6077 0.8659 json
t16_x10_u3_b47 16 10 3 47 pow(D,flr(div(P,D))) 83508 130334276 o2(x,o1(o2(x,x))) true 156071 156071 -0.8828 0.05859 1 0.2206 0.4697 -1 1 2 1 0.3218 0.03175 0 0.01587 1 1 0 0.06349 0.03175 0.03149 0.1774 11.18 2 0.1439 0.2878 1 1 0.04211 0.1684 0.3158 0.1909 0.7635 1.432 json
t16_x10_u3_b48 16 10 3 48 pow(D,flr(pow(P,D))) 83509 130334277 o2(x,o1(o2(x,x))) true 156079 156079 -0.2899 0.4375 0.8351 0.6968 0.8347 -1 1 2 1 2.495 0.02906 0 0.05533 1 1 0.00005663 0.05681 0.0659 0.026 0.1612 2.914 1.032 0.04171 0.08154 1 1 0.03105 0.115 0.2375 0.04456 0.1651 0.3408 json
t16_x10_u3_b49 16 10 3 49 pow(D,flr(mod(P,D))) 83510 130334278 o2(x,o1(o2(x,x))) true 156087 156087 0.1875 0.5938 1 0.9648 0.9823 -1 1 2 1 0.9745 0.2381 0 0.119 1 1 0 0.7302 0.2381 0.2241 0.4734 3.977 2 0.2468 0.7568 1 1 0.1053 0.1895 0.3263 0.1091 0.1964 0.3382 json
t16_x10_u3_b50 16 10 3 50 pow(D,flr(lrg(P,D))) 83511 130334279 o2(x,o1(o2(x,x))) true 156095 156095 -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_x10_u3_b51 16 10 3 51 pow(D,flr(eql(P,D))) 83512 130334280 o2(x,o1(o2(x,x))) true 156103 156103 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_x10_u3_b52 16 10 3 52 pow(D,flr(min(P,D))) 83513 130334281 o2(x,o1(o2(x,x))) true 156111 156111 -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_x10_u3_b53 16 10 3 53 pow(D,flr(dot(P,D))) 83514 130334282 o2(x,o1(o2(x,x))) true 156119 156119 -0.9794 0.01031 1 0.04086 0.2021 -1 1 2 1 0.08287 0.02444 0.0102 0.01647 0.4109 1 0 0.1005 0.03464 0.03436 0.1854 11.25 2.828 0.8479 2.46 1 1 0.04299 0.08842 0.1148 1.052 2.164 2.81 json
t16_x10_u3_b54 16 10 3 54 pow(D,flr(dst(P,D))) 83515 130334283 o2(x,o1(o2(x,x))) true 156127 156127 -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_x10_u3_b55 16 10 3 55 mod(D,flr(add(P,D))) 83516 130334284 o2(x,o1(o2(x,x))) true 156135 156135 -0.0625 0.4688 0.151 0.06874 0.2622 -1 0.1454 1.145 1 2.738 0.009456 0 0.04148 1 1 9.386e-13 0.01612 0.02948 0.007738 0.08796 2.121 1.031 0.1376 0.2346 1 1 0.01338 0.06167 0.08512 0.1947 0.8971 1.238 json
t16_x10_u3_b56 16 10 3 56 mod(D,flr(sub(P,D))) 83517 130334285 o2(x,o1(o2(x,x))) true 156143 156143 -0.125 0.4375 0.2076 0.1189 0.3448 -1 0.1454 1.145 1 2.785 0.01728 0 0.04687 1 1 9.386e-13 0.03199 0.04439 0.01509 0.1228 2.621 1.031 0.1454 0.2691 1 1 0.02361 0.1015 0.08512 0.1987 0.8539 0.7162 json
t16_x10_u3_b57 16 10 3 57 mod(D,flr(mlt(P,D))) 83518 130334286 o2(x,o1(o2(x,x))) true 156151 156151 -0.4453 0.2773 0.4983 0.2531 0.5031 -1 0.1454 1.145 1 2.408 0.08881 0 0.1045 1 1 9.461e-10 0.1764 0.1815 0.0779 0.2791 2.67 1.145 0.3509 0.6969 1 1 0.0776 0.1831 0.1398 0.3066 0.7233 0.5524 json
t16_x10_u3_b58 16 10 3 58 mod(D,flr(div(P,D))) 83519 130334287 o2(x,o1(o2(x,x))) true 156159 156159 -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
t16_x10_u3_b59 16 10 3 59 mod(D,flr(pow(P,D))) 83520 130334288 o2(x,o1(o2(x,x))) true 156167 156167 -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_x10_u3_b60 16 10 3 60 mod(D,flr(mod(P,D))) 83521 130334289 o2(x,o1(o2(x,x))) true 156175 156175 -0.625 0.1875 0.6636 0.239 0.4888 -1 0.1454 1.145 1 1.874 0.06782 0 0.07784 1 1 -0.0001582 0.167 0.1393 0.06178 0.2486 3.193 1.145 0.2838 0.6989 1 1 0.04756 0.07782 0.07993 0.199 0.3257 0.3345 json
t16_x10_u3_b61 16 10 3 61 mod(D,flr(lrg(P,D))) 83522 130334290 o2(x,o1(o2(x,x))) true 156183 156183 -0.5625 0.2188 0.6038 0.2508 0.5008 -1 0.1454 1.145 1 2.109 0.004924 0 0.01978 1 1 0.0001582 0.008104 0.01431 0.004534 0.06734 3.404 1.031 0.01964 0.03231 1 1 0.007206 0.03435 0.08512 0.02873 0.137 0.3394 json
t16_x10_u3_b62 16 10 3 62 mod(D,flr(eql(P,D))) 83523 130334291 o2(x,o1(o2(x,x))) true 156191 156191 -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_x10_u3_b63 16 10 3 63 mod(D,flr(min(P,D))) 83524 130334292 o2(x,o1(o2(x,x))) true 156199 156199 -0.5 0.25 0.5472 0.2554 0.5054 -1 0.1454 1.145 1 2.281 0.004532 0 0.02169 1 1 -0.0001582 0.008021 0.01518 0.004062 0.06374 2.939 0.969 0.01774 0.0314 1 1 0.006175 0.02731 0.08512 0.02418 0.1069 0.3333 json
t16_x10_u3_b64 16 10 3 64 mod(D,flr(dot(P,D))) 83525 130334293 o2(x,o1(o2(x,x))) true 156207 156207 -0.4049 0.2975 0.4613 0.2475 0.4975 -1 0.1454 1.145 1 2.496 0.1416 0.141 0.2669 0.002094 1 -0.0007559 0.9901 0.5639 0.2113 0.4597 1.722 1.62 1.142 4.001 1 1 0.2426 0.4986 0.3887 0.9803 2.015 1.571 json
t16_x10_u3_b65 16 10 3 65 mod(D,flr(dst(P,D))) 83526 130334294 o2(x,o1(o2(x,x))) true 156215 156215 -0.04956 0.4752 0.1392 0.05738 0.2395 -1 0.1454 1.145 1 2.719 0.006615 0.005093 0.04353 0.13 1 1.915e-10 0.02938 0.0339 0.009811 0.09905 2.276 1.62 0.204 0.5121 1 1 0.02072 0.07618 0.09096 0.3611 1.328 1.585 json
t16_x10_u3_b66 16 10 3 66 lrg(D,flr(add(P,D))) 83527 130334295 o2(x,o1(o2(x,x))) true 156223 156223 0.5313 0.5625 0.5313 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_x10_u3_b67 16 10 3 67 lrg(D,flr(sub(P,D))) 83528 130334296 o2(x,o1(o2(x,x))) true 156231 156231 0.5313 0.625 0.5313 0.2287 0.4783 0 1 1 1 1.79 0.008986 0 0.01983 1 1 -4.731e-10 0.01612 0.01865 0.008594 0.0927 4.674 0.9994 0.03929 0.07047 1 1 0.01315 0.05273 0.06598 0.05748 0.2305 0.2885 json
t16_x10_u3_b68 16 10 3 68 lrg(D,flr(mlt(P,D))) 83529 130334297 o2(x,o1(o2(x,x))) true 156239 156239 0.6536 1 0.6536 0.1367 0.3698 0.000291 1 0.9997 1 3.061 0.05299 0 0.1022 1 1 0.0001797 0.1008 0.1151 0.04255 0.2063 2.018 0.9997 0.3876 0.7374 1 1 0.05075 0.1704 0.05306 0.3712 1.246 0.3881 json
t16_x10_u3_b69 16 10 3 69 lrg(D,flr(div(P,D))) 83530 130334298 o2(x,o1(o2(x,x))) true 156247 156247 0.5313 1 0.5313 0.1475 0.3841 0.000291 1 0.9997 1 3.332 0.06476 0 0.1188 1 1 0.0001797 0.1207 0.1327 0.05061 0.225 1.893 0.9997 0.4389 0.8181 1 1 0.06988 0.2424 0.05687 0.4737 1.643 0.3855 json
t16_x10_u3_b70 16 10 3 70 lrg(D,flr(pow(P,D))) 83531 130334299 o2(x,o1(o2(x,x))) true 156255 156255 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
t16_x10_u3_b71 16 10 3 71 lrg(D,flr(mod(P,D))) 83532 130334300 o2(x,o1(o2(x,x))) true 156263 156263 0.6876 1 0.6876 0.1538 0.3922 0.000291 1 0.9997 1 2.585 0.09789 0 0.1306 1 1 -0.00008984 0.2611 0.1982 0.08083 0.2843 2.177 0.9997 0.6363 1.698 1 1 0.06629 0.1712 0.03021 0.431 1.113 0.1964 json
t16_x10_u3_b72 16 10 3 72 lrg(D,flr(lrg(P,D))) 83533 130334301 o2(x,o1(o2(x,x))) true 156271 156271 0.2813 0.5625 0.2813 0.1413 0.3759 0 0.9997 0.9997 1 2.519 0.03488 0 0.06731 1 1 0.00008984 0.06442 0.07172 0.03035 0.1742 2.588 0.9994 0.2469 0.456 1 1 0.03759 0.1321 0.03299 0.266 0.935 0.2335 json
t16_x10_u3_b73 16 10 3 73 lrg(D,flr(eql(P,D))) 83534 130334302 o2(x,o1(o2(x,x))) true 156279 156279 0.5 1 0.5 0.1418 0.3765 0.000291 0.9997 0.9994 1 3.406 0.06511 0 0.1228 1 1 0 0.1208 0.1337 0.05001 0.2236 1.821 0.9994 0.4593 0.8522 1 1 0.07073 0.2419 0 0.4989 1.706 0 json
t16_x10_u3_b74 16 10 3 74 lrg(D,flr(min(P,D))) 83535 130334303 o2(x,o1(o2(x,x))) true 156287 156287 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_x10_u3_b75 16 10 3 75 lrg(D,flr(dot(P,D))) 83536 130334304 o2(x,o1(o2(x,x))) true 156295 156295 0.637 1 0.637 0.09879 0.3143 0.000291 1 0.9997 1 3.657 0.04057 0.02948 0.1412 0.1582 1 -0.0005609 0.2202 0.1868 0.0501 0.2238 1.585 1.414 0.709 2.229 1 1 0.06674 0.1923 0.06063 0.6755 1.947 0.6137 json
t16_x10_u3_b76 16 10 3 76 lrg(D,flr(dst(P,D))) 83537 130334305 o2(x,o1(o2(x,x))) true 156303 156303 0.006195 0.02368 0.006195 0.003636 0.0603 0 0.9994 0.9994 1 0.1653 0.0007824 0.0003878 0.002743 0.3372 1 6.06e-11 0.002938 0.003313 0.001163 0.0341 12.43 1.31 0.3219 0.8081 1 1 0.002216 0.008843 0.01234 0.6095 2.432 3.394 json
t16_x10_u3_b77 16 10 3 77 eql(D,flr(add(P,D))) 83538 130334306 o2(x,o1(o2(x,x))) true 156311 156311 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_x10_u3_b78 16 10 3 78 eql(D,flr(sub(P,D))) 83539 130334307 o2(x,o1(o2(x,x))) true 156319 156319 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_x10_u3_b79 16 10 3 79 eql(D,flr(mlt(P,D))) 83540 130334308 o2(x,o1(o2(x,x))) true 156327 156327 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_x10_u3_b80 16 10 3 80 eql(D,flr(div(P,D))) 83541 130334309 o2(x,o1(o2(x,x))) true 156335 156335 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_x10_u3_b81 16 10 3 81 eql(D,flr(pow(P,D))) 83542 130334310 o2(x,o1(o2(x,x))) true 156343 156343 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_x10_u3_b82 16 10 3 82 eql(D,flr(mod(P,D))) 83543 130334311 o2(x,o1(o2(x,x))) true 156351 156351 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_x10_u3_b83 16 10 3 83 eql(D,flr(lrg(P,D))) 83544 130334312 o2(x,o1(o2(x,x))) true 156359 156359 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_x10_u3_b84 16 10 3 84 eql(D,flr(eql(P,D))) 83545 130334313 o2(x,o1(o2(x,x))) true 156367 156367 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_x10_u3_b85 16 10 3 85 eql(D,flr(min(P,D))) 83546 130334314 o2(x,o1(o2(x,x))) true 156375 156375 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_x10_u3_b86 16 10 3 86 eql(D,flr(dot(P,D))) 83547 130334315 o2(x,o1(o2(x,x))) true 156383 156383 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_x10_u3_b87 16 10 3 87 eql(D,flr(dst(P,D))) 83548 130334316 o2(x,o1(o2(x,x))) true 156391 156391 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_x10_u3_b88 16 10 3 88 min(D,flr(add(P,D))) 83549 130334317 o2(x,o1(o2(x,x))) true 156399 156399 -0.5089 0.2188 0.5502 0.2476 0.4976 -1 0.1454 1.145 1 2.393 0.004776 0 0.02195 1 1 0.0001582 0.008101 0.01494 0.004297 0.06555 2.987 0.9997 0.01929 0.03272 1 1 0.006814 0.02918 0.07512 0.02752 0.1179 0.3034 json
t16_x10_u3_b89 16 10 3 89 min(D,flr(sub(P,D))) 83550 130334318 o2(x,o1(o2(x,x))) true 156407 156407 -0.533 0.1875 0.5684 0.2347 0.4844 -1 0.1454 1.145 1 2.66 0.005374 0 0.02732 1 1 0.0001582 0.008285 0.01632 0.004628 0.06803 2.49 0.9682 0.0229 0.0353 1 1 0.008279 0.03561 0.06562 0.03528 0.1517 0.2796 json
t16_x10_u3_b90 16 10 3 90 min(D,flr(mlt(P,D))) 83551 130334319 o2(x,o1(o2(x,x))) true 156415 156415 -0.7144 0 0.7144 0.1351 0.3676 -1 -0.000291 0.9997 1 2.714 0.068 0 0.1269 1 1 0.00005655 0.1277 0.171 0.05189 0.2278 1.794 0.9991 0.5032 0.9447 1 1 0.07014 0.1794 0.04832 0.5191 1.328 0.3576 json
t16_x10_u3_b91 16 10 3 91 min(D,flr(div(P,D))) 83552 130334320 o2(x,o1(o2(x,x))) true 156423 156423 -0.7724 0.06641 0.7775 0.144 0.3795 -1 0.07171 1.072 1 1.981 0.07561 0 0.12 1 1 1.893e-9 0.1289 0.1639 0.06121 0.2474 2.062 1.03 0.5251 0.8954 1 1 0.08521 0.2079 0.04537 0.5918 1.444 0.3151 json
t16_x10_u3_b92 16 10 3 92 min(D,flr(pow(P,D))) 83553 130334321 o2(x,o1(o2(x,x))) true 156431 156431 -0.008939 0.4688 0.0974 0.01192 0.1092 -0.2729 0.1454 0.4183 1 2.704 0.00162 0 0.03595 1 1 -1.774e-10 0.0002558 0.01449 0.000328 0.01811 0.5038 0.0622 0.1359 0.02146 1 1 0.003117 0.02204 0.0025 0.2615 1.848 0.2097 json
t16_x10_u3_b93 16 10 3 93 min(D,flr(mod(P,D))) 83554 130334322 o2(x,o1(o2(x,x))) true 156439 156439 -0.4845 0 0.4845 0.1844 0.4295 -1 -0.000282 0.9997 1 2.463 0.06768 0 0.09064 1 1 0.0002322 0.1602 0.1453 0.05947 0.2439 2.69 0.9997 0.3669 0.8687 1 1 0.05245 0.07752 0.05211 0.2843 0.4203 0.2825 json
t16_x10_u3_b94 16 10 3 94 min(D,flr(lrg(P,D))) 83555 130334323 o2(x,o1(o2(x,x))) true 156447 156447 -0.08044 0.2188 0.1217 0.01497 0.1223 -0.2729 0.1454 0.4183 1 2.876 0.001545 0 0.0352 1 1 0.0002322 0.000257 0.0139 0.0003068 0.01751 0.4976 0.0622 0.1032 0.01717 1 1 0.002981 0.02093 0.0025 0.1992 1.398 0.1671 json
t16_x10_u3_b95 16 10 3 95 min(D,flr(eql(P,D))) 83556 130334324 o2(x,o1(o2(x,x))) true 156455 156455 -0.143 0 0.143 0.009237 0.09611 -0.2729 -0.000282 0.2726 1 2.227 0.001451 0 0.03416 1 1 0.0003063 0.0002653 0.01361 0.0002853 0.01689 0.4945 0.06184 0.1571 0.02873 1 1 0.002788 0.01827 0 0.3018 1.978 0 json
t16_x10_u3_b96 16 10 3 96 min(D,flr(min(P,D))) 83557 130334325 o2(x,o1(o2(x,x))) true 156463 156463 -0.75 0 0.75 0.1334 0.3652 -1 -0.000291 0.9997 1 2.329 0.03453 0 0.06344 1 1 -0.00008984 0.06436 0.07079 0.03051 0.1747 2.753 0.9997 0.2589 0.4825 1 1 0.03929 0.1364 0.03299 0.2946 1.023 0.2473 json
t16_x10_u3_b97 16 10 3 97 min(D,flr(dot(P,D))) 83558 130334326 o2(x,o1(o2(x,x))) true 156471 156471 -0.8448 0.0003967 0.8448 0.0774 0.2782 -1 0.01826 1.018 1 2.09 0.02749 0.02622 0.1099 0.02367 1 0.0005378 0.1612 0.1741 0.04163 0.204 1.857 1.413 0.694 2.083 1 1 0.05831 0.154 0.04095 0.7533 1.99 0.5291 json
t16_x10_u3_b98 16 10 3 98 min(D,flr(dst(P,D))) 83559 130334327 o2(x,o1(o2(x,x))) true 156479 156479 -0.001867 0.4946 0.09472 0.01098 0.1048 -0.2728 0.1454 0.4182 1 2.594 0.001642 0.00003133 0.03627 0.9625 1 -3.485e-11 0.0004098 0.01501 0.0003589 0.01894 0.5223 0.396 0.1524 0.03733 1 1 0.003217 0.02205 0.00099 0.293 2.008 0.09017 json
t16_x10_u3_b99 16 10 3 99 dot(D,flr(add(P,D))) 83560 130334328 o2(x,o1(o2(x,x))) true 156487 156487 -4.857e-10 0.4945 0.5029 0.36 0.6 -1 1 2 1 4.849 0.02827 0.02827 0.1958 0.00001084 1 0.003246 0.01574 0.08289 0.01819 0.1349 0.6887 0.6567 0.157 0.04372 1 1 0.06926 0.4829 0.03953 0.1924 1.341 0.1098 json
t16_x10_u3_b100 16 10 3 100 dot(D,flr(sub(P,D))) 83561 130334329 o2(x,o1(o2(x,x))) true 156495 156495 -0.4501 0.2189 0.6212 0.2995 0.5473 -1 1 2 1 4.19 0.02588 0.02588 0.1768 0.00001476 1 0.002083 0.01796 0.08378 0.02047 0.1431 0.8091 0.6567 0.1728 0.05996 1 1 0.06598 0.4377 0.03152 0.2203 1.461 0.1052 json
t16_x10_u3_b101 16 10 3 101 dot(D,flr(mlt(P,D))) 83562 130334330 o2(x,o1(o2(x,x))) true 156503 156503 1.258e-8 0.4971 0.5852 0.4741 0.6886 -1 1 2 1 4.498 0.02034 0.02034 0.1427 -0.00001538 1 4.224e-10 0.03882 0.1275 0.02031 0.1425 0.9983 0.8177 0.0858 0.08187 1 1 0.05052 0.2667 0.06734 0.1066 0.5626 0.142 json
t16_x10_u3_b102 16 10 3 102 dot(D,flr(div(P,D))) 83563 130334331 o2(x,o1(o2(x,x))) true 156511 156511 -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_x10_u3_b103 16 10 3 103 dot(D,flr(pow(P,D))) 83564 130334332 o2(x,o1(o2(x,x))) true 156519 156519 -0.6724 0.2231 0.8347 0.3383 0.5816 -1 1 2 1 1.82 0.004023 0.004023 0.02581 0.000004977 1 -0.0003702 0.0146 0.0278 0.00738 0.08591 3.328 1.584 0.02379 0.04316 1 1 0.009191 0.0378 0.117 0.02717 0.1118 0.3459 json
t16_x10_u3_b104 16 10 3 104 dot(D,flr(mod(P,D))) 83565 130334333 o2(x,o1(o2(x,x))) true 156527 156527 -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_x10_u3_b105 16 10 3 105 dot(D,flr(lrg(P,D))) 83566 130334334 o2(x,o1(o2(x,x))) true 156535 156535 -0.03576 0.2999 0.09731 0.01625 0.1275 -0.5458 0.2908 0.8366 1 3.024 0.0009024 0.0009024 0.03474 0.000009288 1 0.0003163 0.0002746 0.01256 0.0005986 0.02447 0.7044 0.08796 0.1111 0.0169 1 1 0.003639 0.02743 0.01 0.2239 1.687 0.6154 json
t16_x10_u3_b106 16 10 3 106 dot(D,flr(eql(P,D))) 83567 130334335 o2(x,o1(o2(x,x))) true 156543 156543 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_x10_u3_b107 16 10 3 107 dot(D,flr(min(P,D))) 83568 130334336 o2(x,o1(o2(x,x))) true 156551 156551 0.02889 0.6111 0.4029 0.2419 0.4918 -1 1 2 1 4.735 0.01568 0.01568 0.1353 -0.00007771 1 0.001584 0.007254 0.05528 0.01305 0.1142 0.8445 0.613 0.1296 0.02999 1 1 0.03696 0.2453 0.02658 0.1528 1.014 0.1099 json
t16_x10_u3_b108 16 10 3 108 dot(D,flr(dot(P,D))) 83569 130334337 o2(x,o1(o2(x,x))) true 156559 156559 4.433e-8 0.498 0.5829 0.4715 0.6867 -1 1 2 1 4.505 0.02444 0.02444 0.1563 2.287e-7 1 8.973e-10 0.09054 0.1925 0.02443 0.1563 1 0.7171 0.1036 0.192 1 1 0.05668 0.2787 0.0714 0.1202 0.5911 0.1514 json
t16_x10_u3_b109 16 10 3 109 dot(D,flr(dst(P,D))) 83570 130334338 o2(x,o1(o2(x,x))) true 156567 156567 -3.083e-9 0.495 0.5706 0.4543 0.674 -1 1 2 1 4.538 0.04069 0.04069 0.222 0.00000444 1 -8.26e-11 0.04812 0.13 0.03212 0.1792 0.8074 1.065 0.1791 0.1059 1 1 0.1029 0.6256 0.04866 0.2265 1.377 0.1071 json
t16_x10_u3_b110 16 10 3 110 dst(D,flr(add(P,D))) 83571 130334339 o2(x,o1(o2(x,x))) true 156575 156575 0.9975 1 0.9975 0.001332 0.03649 0.04473 1 0.9553 1 0.07844 0.0002767 0.0002767 0.001186 -1.578e-7 1 7.509e-12 0.001267 0.001835 0.0005515 0.02348 19.8 1.308 0.4156 0.9509 1 1 0.0009316 0.002272 0.004856 0.6994 1.706 3.646 json
t16_x10_u3_b111 16 10 3 111 dst(D,flr(sub(P,D))) 83572 130334340 o2(x,o1(o2(x,x))) true 156583 156583 0.9991 1 0.9991 0.0005126 0.02264 0.0459 1 0.9541 1 0.02729 0.0002134 0.0002134 0.0008588 6.819e-8 1 -2.628e-11 0.0009459 0.001286 0.0004257 0.02063 24.03 1.349 0.8326 1.845 1 1 0.0008194 0.001865 0.001865 1.599 3.639 3.639 json
t16_x10_u3_b112 16 10 3 112 dst(D,flr(mlt(P,D))) 83573 130334341 o2(x,o1(o2(x,x))) true 156591 156591 0.948 1 0.948 0.02796 0.1672 0.04419 1 0.9558 1 0.9735 0.01364 0.01364 0.05145 -0.000001605 1 -0.00005317 0.06403 0.08397 0.02464 0.157 3.051 1.349 0.9754 2.29 1 1 0.02917 0.05863 0.01936 1.043 2.097 0.6923 json
t16_x10_u3_b113 16 10 3 113 dst(D,flr(div(P,D))) 83574 130334342 o2(x,o1(o2(x,x))) true 156599 156599 -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_x10_u3_b114 16 10 3 114 dst(D,flr(pow(P,D))) 83575 130334343 o2(x,o1(o2(x,x))) true 156607 156607 -0.5 0.25 1 0.75 0.866 -1 1 2 1 0.8113 0.007937 0.007937 0.007937 0 1 0 0.03187 0.01587 0.01581 0.1257 15.84 2 0.02116 0.0425 1 1 0.02105 0.08421 0.3368 0.02807 0.1123 0.4491 json
t16_x10_u3_b115 16 10 3 115 dst(D,flr(mod(P,D))) 83576 130334344 o2(x,o1(o2(x,x))) true 156615 156615 -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_x10_u3_b116 16 10 3 116 dst(D,flr(lrg(P,D))) 83577 130334345 o2(x,o1(o2(x,x))) true 156623 156623 0.8607 1 0.8607 0.05928 0.2435 0.04473 1 0.9553 1 2.005 0.001859 0.001859 0.02543 -0.00001687 1 -0.0001997 0.00476 0.01631 0.00307 0.0554 2.178 0.955 0.06272 0.08029 1 1 0.006009 0.02826 0.02303 0.1014 0.4767 0.3885 json
t16_x10_u3_b117 16 10 3 117 dst(D,flr(eql(P,D))) 83578 130334346 o2(x,o1(o2(x,x))) true 156631 156631 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_x10_u3_b118 16 10 3 118 dst(D,flr(min(P,D))) 83579 130334347 o2(x,o1(o2(x,x))) true 156639 156639 0.9334 1 0.9334 0.02838 0.1685 0.04419 1 0.9558 1 1.346 0.005576 0.005576 0.02883 5.428e-7 1 0.0001156 0.02437 0.03568 0.01032 0.1016 3.524 0.9254 0.3929 0.8587 1 1 0.01174 0.03207 0.011 0.4136 1.13 0.3875 json
t16_x10_u3_b119 16 10 3 119 dst(D,flr(dot(P,D))) 83580 130334348 o2(x,o1(o2(x,x))) true 156647 156647 0.9444 1 0.9444 0.03367 0.1835 0.045 1 0.955 1 0.8749 0.0185 0.0185 0.06183 1.51e-7 1 -0.0001525 0.1101 0.1074 0.03317 0.1821 2.946 1.35 1.099 3.271 1 1 0.03822 0.07968 0.01803 1.135 2.367 0.5355 json
t16_x10_u3_b120 16 10 3 120 dst(D,flr(dst(P,D))) 83581 130334349 o2(x,o1(o2(x,x))) true 156655 156655 0.9973 1 0.9973 0.00164 0.0405 0.045 1 0.955 1 0.07126 0.0003058 0.0003058 0.001658 1.427e-7 1 -5.256e-11 0.001089 0.001909 0.0006094 0.02469 14.88 0.9573 0.3729 0.664 1 1 0.001354 0.005262 0.005981 0.8253 3.208 3.646 json
t16_x10_u4_b0 16 10 4 0 add(D,cil(add(P,D))) 83582 130334430 o2(x,o1(o2(x,x))) true 156663 156663 0.0625 0.5313 0.9375 0.9231 0.9608 -1 1 2 1 1.747 0.008617 0 0.01255 1 1 0 0.01604 0.01848 0.008457 0.09196 7.326 1.031 0.009334 0.01737 1 1 0.01222 0.05233 0.2386 0.01324 0.05669 0.2584 json
t16_x10_u4_b1 16 10 4 1 add(D,cil(sub(P,D))) 83583 130334431 o2(x,o1(o2(x,x))) true 156671 156671 0.0625 0.5313 0.9375 0.9142 0.9561 -1 1 2 1 1.882 0.009065 0 0.02281 1 1 0 0.01623 0.01908 0.008546 0.09244 4.053 0.9369 0.009917 0.01775 1 1 0.01329 0.05021 0.2264 0.01453 0.05492 0.2477 json
t16_x10_u4_b2 16 10 4 2 add(D,cil(mlt(P,D))) 83584 130334432 o2(x,o1(o2(x,x))) true 156679 156679 0.2938 0.6953 0.4662 0.2659 0.5157 -1 1 2 1 4.333 0.1257 0 0.2376 1 1 0.006678 0.2794 0.3653 0.06925 0.2632 1.108 1.031 0.4727 1.051 1 1 0.1033 0.3481 0.07799 0.3885 1.309 0.2933 json
t16_x10_u4_b3 16 10 4 3 add(D,cil(div(P,D))) 83585 130334433 o2(x,o1(o2(x,x))) true 156687 156687 -0.08215 0.457 0.9395 0.9199 0.9591 -1 1 2 1 1.664 0.4175 0 0.2309 1 1 1.892e-9 0.804 0.4335 0.3641 0.6034 2.613 2 0.4538 0.874 1 1 0.4164 1.735 0.2424 0.4526 1.886 0.2635 json
t16_x10_u4_b4 16 10 4 4 add(D,cil(pow(P,D))) 83586 130334434 o2(x,o1(o2(x,x))) true 156695 156695 -0.03763 0.5 0.9624 0.9447 0.972 -1 1 2 1 1.712 0.004621 0 0.01202 1 1 -0.0002024 0.00814 0.01272 0.004475 0.06689 5.566 1.031 0.004891 0.008616 1 1 0.00682 0.04103 0.273 0.007219 0.04343 0.289 json
t16_x10_u4_b5 16 10 4 5 add(D,cil(mod(P,D))) 83587 130334435 o2(x,o1(o2(x,x))) true 156703 156703 0.3833 0.7148 0.4332 0.2145 0.4631 -0.1454 1 1.145 1 3.34 0.06541 0 0.09632 1 1 -2.838e-9 0.1578 0.1473 0.05615 0.237 2.46 1.01 0.305 0.7356 1 1 0.05349 0.08254 0.06663 0.2494 0.3848 0.3106 json
t16_x10_u4_b6 16 10 4 6 add(D,cil(lrg(P,D))) 83588 130334436 o2(x,o1(o2(x,x))) true 156711 156711 0.4793 0.7813 0.5207 0.2152 0.4639 -0.1454 1 1.145 1 3.382 0.004976 0 0.03481 1 1 -4.731e-10 0.008183 0.02018 0.003766 0.06137 1.763 0.9375 0.02312 0.03803 1 1 0.007065 0.03098 0.05954 0.03283 0.144 0.2767 json
t16_x10_u4_b7 16 10 4 7 add(D,cil(eql(P,D))) 83589 130334437 o2(x,o1(o2(x,x))) true 156719 156719 0 0.5 0.09436 0.01082 0.104 -0.1454 0.1454 0.2908 1 2.561 0.001632 0 0.0361 1 1 0 0.0002563 0.01459 0.0003304 0.01818 0.5036 0.06192 0.1508 0.02368 1 1 0.003151 0.02183 0 0.2912 2.017 0 json
t16_x10_u4_b8 16 10 4 8 add(D,cil(min(P,D))) 83590 130334438 o2(x,o1(o2(x,x))) true 156727 156727 -0.2577 0.332 0.7011 0.5831 0.7636 -1 1 2 1 2.992 0.03417 0 0.0669 1 1 0.00006834 0.05684 0.06777 0.0297 0.1723 2.576 1.031 0.0586 0.09749 1 1 0.04115 0.1868 0.1349 0.07057 0.3204 0.2313 json
t16_x10_u4_b9 16 10 4 9 add(D,cil(dot(P,D))) 83591 130334439 o2(x,o1(o2(x,x))) true 156735 156735 0.1629 0.6022 0.5329 0.3771 0.6141 -1 1 2 1 4.721 0.08717 0.08587 0.3179 0.007494 1 0.004904 0.5878 0.5555 0.07196 0.2683 0.8438 1.43 0.4588 1.559 1 1 0.1487 0.5517 0.1103 0.3942 1.463 0.2925 json
t16_x10_u4_b10 16 10 4 10 add(D,cil(dst(P,D))) 83592 130334440 o2(x,o1(o2(x,x))) true 156743 156743 1 1 1 0.000002646 0.001627 0.9036 1 0.09643 1 0.004358 0.000001515 0.000001089 0.0000548 0.1637 0 1.126e-11 0.000005937 0.00008427 0.0000026 0.001612 29.42 0.08804 0.9842 2.244 1 1 0.000005521 0.000009618 0.000009618 2.087 3.635 3.635 json
t16_x10_u4_b11 16 10 4 11 sub(D,cil(add(P,D))) 83593 130334441 o2(x,o1(o2(x,x))) true 156751 156751 -0.0625 0.4688 0.9375 0.9231 0.9608 -1 1 2 1 1.747 0.007158 0 0.01157 1 1 0 0.01572 0.01789 0.007021 0.08379 7.242 0.9381 0.007754 0.01703 1 1 0.008564 0.0294 0.2386 0.009277 0.03185 0.2584 json
t16_x10_u4_b12 16 10 4 12 sub(D,cil(sub(P,D))) 83594 130334442 o2(x,o1(o2(x,x))) true 156759 156759 -0.0625 0.4688 0.9375 0.92 0.9592 -1 1 2 1 1.833 0.01211 0 0.02611 1 1 -9.386e-13 0.01692 0.02477 0.01142 0.1069 4.094 1.03 0.01316 0.01839 1 1 0.02091 0.09621 0.2344 0.02272 0.1046 0.2547 json
t16_x10_u4_b13 16 10 4 13 sub(D,cil(mlt(P,D))) 83595 130334443 o2(x,o1(o2(x,x))) true 156767 156767 -0.2938 0.3047 0.4662 0.2659 0.5157 -1 1 2 1 4.333 0.1252 0 0.2373 1 1 -0.006678 0.2794 0.3653 0.06886 0.2624 1.106 1.031 0.4707 1.051 1 1 0.1024 0.3341 0.07931 0.3852 1.257 0.2983 json
t16_x10_u4_b14 16 10 4 14 sub(D,cil(div(P,D))) 83596 130334444 o2(x,o1(o2(x,x))) true 156775 156775 0.08215 0.543 0.9395 0.9199 0.9591 -1 1 2 1 1.664 0.4175 0 0.2309 1 1 -7.509e-12 0.804 0.4335 0.3641 0.6034 2.613 2 0.4538 0.874 1 1 0.4164 1.735 0.2424 0.4526 1.886 0.2635 json
t16_x10_u4_b15 16 10 4 15 sub(D,cil(pow(P,D))) 83597 130334445 o2(x,o1(o2(x,x))) true 156783 156783 -0.9647 0.01953 0.9669 0.0285 0.1688 -1 0.09672 1.097 1 0.5476 0.004879 0 0.009858 1 1 -1.419e-9 0.008144 0.01038 0.004779 0.06913 7.013 1.031 0.1712 0.2857 1 1 0.007542 0.03556 0.04011 0.2646 1.248 1.407 json
t16_x10_u4_b16 16 10 4 16 sub(D,cil(mod(P,D))) 83598 130334446 o2(x,o1(o2(x,x))) true 156791 156791 -0.3823 0.3008 0.4342 0.2214 0.4706 -1 0.1454 1.145 1 3.177 0.06587 0 0.09749 1 1 -0.0001582 0.1578 0.1488 0.05635 0.2374 2.435 1.01 0.2975 0.7126 1 1 0.05575 0.08955 0.06812 0.2518 0.4044 0.3076 json
t16_x10_u4_b17 16 10 4 17 sub(D,cil(lrg(P,D))) 83599 130334447 o2(x,o1(o2(x,x))) true 156799 156799 -0.4771 0.2578 0.5229 0.2301 0.4797 -1 0.1454 1.145 1 3.096 0.006487 0 0.03718 1 1 -0.0001582 0.008456 0.02342 0.005105 0.07145 1.922 1.031 0.02819 0.03675 1 1 0.01086 0.05853 0.06252 0.04719 0.2543 0.2717 json