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
t19_x12_u3_b26 19 12 3 26 mlt(D,pow(flr(D),P)) 147200 154776860 o2(x,o2(o1(x),x)) true 57607 57607 -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
t19_x12_u3_b27 19 12 3 27 mlt(D,mod(flr(D),P)) 147201 154776861 o2(x,o2(o1(x),x)) true 57615 57615 -0.008797 0.8125 0.2412 0.149 0.386 -1 0.2729 1.273 1 2.451 0.009114 0 0.0356 1 1 -0.0003063 0.01604 0.02683 0.007847 0.08859 2.488 1 0.06116 0.1077 1 1 0.01265 0.06024 0.2096 0.08492 0.4043 1.406 json
t19_x12_u3_b28 19 12 3 28 mlt(D,lrg(flr(D),P)) 147202 154776862 o2(x,o2(o1(x),x)) true 57623 57623 0.01788 0.3125 0.05326 0.007448 0.0863 -0.1454 0.2729 0.4183 1 2.089 0.0007912 0 0.01768 1 1 -0.0001582 0.0001211 0.006952 0.0004789 0.02188 1.238 0.0622 0.1062 0.01626 1 1 0.001492 0.01098 0.005001 0.2003 1.474 0.6714 json
t19_x12_u3_b29 19 12 3 29 mlt(D,eql(flr(D),P)) 147203 154776863 o2(x,o2(o1(x),x)) true 57631 57631 -2.075e-12 0.0625 0.01788 0.003712 0.06092 -0.2729 0.2729 0.5458 1 0.8113 0.0001841 0 0.004331 1 1 0 0.00003135 0.001743 0.0001654 0.01286 2.969 0.06184 0.04961 0.008445 1 1 0.0004677 0.004047 0.007046 0.126 1.09 1.898 json
t19_x12_u3_b30 19 12 3 30 mlt(D,min(flr(D),P)) 147204 154776864 o2(x,o2(o1(x),x)) true 57639 57639 0.0119 0.7109 0.2686 0.1356 0.3682 -1 0.9606 1.961 1 4.084 0.01685 0 0.08692 1 1 0.0009604 0.00318 0.03626 0.009296 0.09642 1.109 0.4334 0.1243 0.02345 1 1 0.01935 0.1298 0.01387 0.1427 0.9576 0.1023 json
t19_x12_u3_b31 19 12 3 31 mlt(D,dot(flr(D),P)) 147205 154776865 o2(x,o2(o1(x),x)) true 57647 57647 0.04115 0.52 0.5169 0.4038 0.6355 -1 1 2 1 4.548 0.02819 0.009446 0.1328 0.498 1 -0.0003093 0.03178 0.09531 0.02 0.1414 1.065 1.136 0.09318 0.07869 1 1 0.04539 0.2495 0.04643 0.1124 0.6179 0.115 json
t19_x12_u3_b32 19 12 3 32 mlt(D,dst(flr(D),P)) 147206 154776866 o2(x,o2(o1(x),x)) true 57655 57655 -0.008641 0.496 0.5706 0.4298 0.6556 -1 1 2 1 4.777 0.062 0.0003989 0.1977 0.9872 1 -0.0002922 0.01559 0.09051 0.02332 0.1527 0.7724 0.7231 0.1452 0.03627 1 1 0.07883 0.5448 0.02646 0.1834 1.268 0.06158 json
t19_x12_u3_b33 19 12 3 33 div(D,add(flr(D),P)) 147207 154776867 o2(x,o2(o1(x),x)) true 57663 57663 -0.0625 0.4688 0.09383 0.06065 0.2463 -1 0.1454 1.145 1 1.976 0.008735 0 0.02008 1 1 0.00004237 0.01603 0.02094 0.008332 0.09128 4.545 1.031 0.144 0.2644 1 1 0.01252 0.05485 0.08674 0.2064 0.9043 1.43 json
t19_x12_u3_b34 19 12 3 34 div(D,sub(flr(D),P)) 147208 154776868 o2(x,o2(o1(x),x)) true 57671 57671 -0.1294 0.3555 0.1729 0.1178 0.3433 -1 0.4963 1.496 1 2.325 0.01637 0 0.02912 1 1 -0.00003191 0.0317 0.03621 0.01553 0.1246 4.279 1.032 0.139 0.269 1 1 0.02239 0.1055 0.09592 0.19 0.895 0.8141 json
t19_x12_u3_b35 19 12 3 35 div(D,mlt(flr(D),P)) 147209 154776869 o2(x,o2(o1(x),x)) true 57679 57679 -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
t19_x12_u3_b36 19 12 3 36 div(D,div(flr(D),P)) 147210 154776870 o2(x,o2(o1(x),x)) true 57687 57687 -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
t19_x12_u3_b37 19 12 3 37 div(D,pow(flr(D),P)) 147211 154776871 o2(x,o2(o1(x),x)) true 57695 57695 -0.9464 0 0.9464 0.04361 0.2088 -1 -0.000282 0.9997 1 0.4765 0.007778 0 0.009852 1 1 2.365e-10 0.01593 0.01649 0.007678 0.08762 8.894 0.9997 0.1784 0.3653 1 1 0.01007 0.03209 0.06262 0.2309 0.7358 1.436 json
t19_x12_u3_b38 19 12 3 38 div(D,mod(flr(D),P)) 147212 154776872 o2(x,o2(o1(x),x)) true 57703 57703 -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
t19_x12_u3_b39 19 12 3 39 div(D,lrg(flr(D),P)) 147213 154776873 o2(x,o2(o1(x),x)) true 57711 57711 -0.625 0.1875 0.6604 0.2385 0.4883 -1 0.1454 1.145 1 1.915 0.004322 0 0.01707 1 1 -0.0001582 0.007988 0.01334 0.004029 0.06348 3.719 0.969 0.01812 0.0335 1 1 0.00564 0.02367 0.08512 0.02365 0.09927 0.357 json
t19_x12_u3_b40 19 12 3 40 div(D,eql(flr(D),P)) 147214 154776874 o2(x,o2(o1(x),x)) true 57719 57719 -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
t19_x12_u3_b41 19 12 3 41 div(D,min(flr(D),P)) 147215 154776875 o2(x,o2(o1(x),x)) true 57727 57727 -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
t19_x12_u3_b42 19 12 3 42 div(D,dot(flr(D),P)) 147216 154776876 o2(x,o2(o1(x),x)) true 57735 57735 -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
t19_x12_u3_b43 19 12 3 43 div(D,dst(flr(D),P)) 147217 154776877 o2(x,o2(o1(x),x)) true 57743 57743 -0.01543 0.4953 0.03624 0.01635 0.1279 -1 0.2168 1.217 1 1.412 0.002124 0.002052 0.01176 0.01718 1 -0.000001243 0.008657 0.01137 0.004038 0.06355 5.403 1.427 0.2555 0.5296 1 1 0.007484 0.03092 0.02927 0.4578 1.892 1.791 json
t19_x12_u3_b44 19 12 3 44 pow(D,add(flr(D),P)) 147218 154776878 o2(x,o2(o1(x),x)) true 57751 57751 -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
t19_x12_u3_b45 19 12 3 45 pow(D,sub(flr(D),P)) 147219 154776879 o2(x,o2(o1(x),x)) true 57759 57759 -0.9025 0.0625 0.9725 0.1515 0.3892 -1 1 2 1 0.5375 0.02022 0 0.01587 1 1 9.461e-10 0.03963 0.0247 0.01997 0.1413 8.902 2 0.1335 0.2616 1 1 0.02737 0.1188 0.2169 0.1807 0.7845 1.432 json
t19_x12_u3_b46 19 12 3 46 pow(D,mlt(flr(D),P)) 147220 154776880 o2(x,o2(o1(x),x)) true 57767 57767 -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
t19_x12_u3_b47 19 12 3 47 pow(D,div(flr(D),P)) 147221 154776881 o2(x,o2(o1(x),x)) true 57775 57775 -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
t19_x12_u3_b48 19 12 3 48 pow(D,pow(flr(D),P)) 147222 154776882 o2(x,o2(o1(x),x)) true 57783 57783 -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
t19_x12_u3_b49 19 12 3 49 pow(D,mod(flr(D),P)) 147223 154776883 o2(x,o2(o1(x),x)) true 57791 57791 -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
t19_x12_u3_b50 19 12 3 50 pow(D,lrg(flr(D),P)) 147224 154776884 o2(x,o2(o1(x),x)) true 57799 57799 0.2054 0.625 0.9554 0.8993 0.9483 -1 1 2 1 1.613 0.008617 0 0.01562 1 1 1.419e-9 0.01591 0.01708 0.008372 0.0915 5.857 1.032 0.009581 0.01769 1 1 0.0123 0.06345 0.2576 0.01368 0.07055 0.2865 json
t19_x12_u3_b51 19 12 3 51 pow(D,eql(flr(D),P)) 147225 154776885 o2(x,o2(o1(x),x)) true 57807 57807 0.8527 0.9375 0.9777 0.2434 0.4934 -1 1 2 1 0.7376 0.0358 0 0.02356 1 1 1.877e-12 0.07149 0.04031 0.03527 0.1878 7.971 2 0.1471 0.2937 1 1 0.04757 0.1867 0.2972 0.1954 0.7671 1.221 json
t19_x12_u3_b52 19 12 3 52 pow(D,min(flr(D),P)) 147226 154776886 o2(x,o2(o1(x),x)) true 57815 57815 -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
t19_x12_u3_b53 19 12 3 53 pow(D,dot(flr(D),P)) 147227 154776887 o2(x,o2(o1(x),x)) true 57823 57823 -0.9922 0.003906 1 0.01556 0.1248 -1 1 2 1 0.03687 0.002016 0.002016 0.001997 0 1 0 0.008566 0.004031 0.004025 0.06344 31.77 2.828 0.259 0.5504 1 1 0.007091 0.02837 0.05673 0.4556 1.823 3.645 json
t19_x12_u3_b54 19 12 3 54 pow(D,dst(flr(D),P)) 147228 154776888 o2(x,o2(o1(x),x)) true 57831 57831 -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
t19_x12_u3_b55 19 12 3 55 mod(D,add(flr(D),P)) 147229 154776889 o2(x,o2(o1(x),x)) true 57839 57839 -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
t19_x12_u3_b56 19 12 3 56 mod(D,sub(flr(D),P)) 147230 154776890 o2(x,o2(o1(x),x)) true 57847 57847 -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
t19_x12_u3_b57 19 12 3 57 mod(D,mlt(flr(D),P)) 147231 154776891 o2(x,o2(o1(x),x)) true 57855 57855 -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
t19_x12_u3_b58 19 12 3 58 mod(D,div(flr(D),P)) 147232 154776892 o2(x,o2(o1(x),x)) true 57863 57863 -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
t19_x12_u3_b59 19 12 3 59 mod(D,pow(flr(D),P)) 147233 154776893 o2(x,o2(o1(x),x)) true 57871 57871 -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
t19_x12_u3_b60 19 12 3 60 mod(D,mod(flr(D),P)) 147234 154776894 o2(x,o2(o1(x),x)) true 57879 57879 -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
t19_x12_u3_b61 19 12 3 61 mod(D,lrg(flr(D),P)) 147235 154776895 o2(x,o2(o1(x),x)) true 57887 57887 -0.625 0.1875 0.6604 0.2385 0.4883 -1 0.1454 1.145 1 1.915 0.004322 0 0.01707 1 1 -0.0001582 0.007988 0.01334 0.004029 0.06348 3.719 0.969 0.01812 0.0335 1 1 0.00564 0.02367 0.08512 0.02365 0.09927 0.357 json
t19_x12_u3_b62 19 12 3 62 mod(D,eql(flr(D),P)) 147236 154776896 o2(x,o2(o1(x),x)) true 57895 57895 -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
t19_x12_u3_b63 19 12 3 63 mod(D,min(flr(D),P)) 147237 154776897 o2(x,o2(o1(x),x)) true 57903 57903 -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
t19_x12_u3_b64 19 12 3 64 mod(D,dot(flr(D),P)) 147238 154776898 o2(x,o2(o1(x),x)) true 57911 57911 -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
t19_x12_u3_b65 19 12 3 65 mod(D,dst(flr(D),P)) 147239 154776899 o2(x,o2(o1(x),x)) true 57919 57919 -0.01563 0.4922 0.1085 0.02604 0.1614 -1 0.1454 1.145 1 2.637 0.003619 0.002037 0.03941 0.2796 1 2.215e-10 0.00887 0.02237 0.004105 0.06407 1.626 1.415 0.2172 0.3407 1 1 0.01018 0.04959 0.02867 0.3911 1.905 1.101 json
t19_x12_u3_b66 19 12 3 66 lrg(D,add(flr(D),P)) 147240 154776900 o2(x,o2(o1(x),x)) true 57927 57927 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
t19_x12_u3_b67 19 12 3 67 lrg(D,sub(flr(D),P)) 147241 154776901 o2(x,o2(o1(x),x)) true 57935 57935 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
t19_x12_u3_b68 19 12 3 68 lrg(D,mlt(flr(D),P)) 147242 154776902 o2(x,o2(o1(x),x)) true 57943 57943 0.75 1 0.75 0.1334 0.3652 0.000291 1 0.9997 1 2.329 0.03453 0 0.06335 1 1 0.00008984 0.06436 0.07079 0.03052 0.1747 2.758 0.9997 0.2589 0.4825 1 1 0.0367 0.1263 0.03299 0.2751 0.9469 0.2473 json
t19_x12_u3_b69 19 12 3 69 lrg(D,div(flr(D),P)) 147243 154776903 o2(x,o2(o1(x),x)) true 57951 57951 0.6613 1 0.6613 0.1343 0.3664 0.000291 1 0.9997 1 3.045 0.05276 0 0.102 1 1 0.00394 0.09685 0.1112 0.04236 0.2058 2.018 0.9997 0.393 0.7214 1 1 0.04973 0.16 0.05553 0.3704 1.192 0.4136 json
t19_x12_u3_b70 19 12 3 70 lrg(D,pow(flr(D),P)) 147244 154776904 o2(x,o2(o1(x),x)) true 57959 57959 0.6875 0.9375 0.6875 0.1607 0.4009 0 1 1 1 2.466 0.03057 0 0.05938 1 1 -0.00008984 0.05632 0.06286 0.02705 0.1645 2.77 0.9997 0.1902 0.3504 1 1 0.03151 0.1181 0.0751 0.1961 0.735 0.4672 json
t19_x12_u3_b71 19 12 3 71 lrg(D,mod(flr(D),P)) 147245 154776905 o2(x,o2(o1(x),x)) true 57967 57967 0.9375 1 0.9375 0.04507 0.2123 0.000291 1 0.9997 1 0.8126 0.008638 0 0.01587 1 1 0 0.016 0.01772 0.008384 0.09157 5.77 0.9997 0.1917 0.3551 1 1 0.0123 0.05328 0.03299 0.2729 1.182 0.7321 json
t19_x12_u3_b72 19 12 3 72 lrg(D,lrg(flr(D),P)) 147246 154776906 o2(x,o2(o1(x),x)) true 57975 57975 0.25 0.5 0.25 0.1334 0.3652 0 0.9997 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
t19_x12_u3_b73 19 12 3 73 lrg(D,eql(flr(D),P)) 147247 154776907 o2(x,o2(o1(x),x)) true 57983 57983 0.4688 0.9375 0.4688 0.1475 0.3841 0 0.9997 0.9997 1 3.332 0.06079 0 0.1149 1 1 0 0.1127 0.1248 0.0476 0.2182 1.9 0.9997 0.4121 0.764 1 1 0.06466 0.2279 0.03299 0.4383 1.545 0.2236 json
t19_x12_u3_b74 19 12 3 74 lrg(D,min(flr(D),P)) 147248 154776908 o2(x,o2(o1(x),x)) true 57991 57991 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
t19_x12_u3_b75 19 12 3 75 lrg(D,dot(flr(D),P)) 147249 154776909 o2(x,o2(o1(x),x)) true 57999 57999 0.6484 0.988 0.6484 0.1557 0.3946 8.471e-8 1 1 1 2.958 0.02179 0.01953 0.08353 0.05461 1 0.0001754 0.08072 0.09697 0.03434 0.1853 2.219 0.9997 0.2653 0.5184 1 1 0.04389 0.1544 0.05104 0.2818 0.9913 0.3278 json
t19_x12_u3_b76 19 12 3 76 lrg(D,dst(flr(D),P)) 147250 154776910 o2(x,o2(o1(x),x)) true 58007 58007 0.001953 0.007385 0.001953 0.001197 0.0346 0 0.9994 0.9994 1 0.05785 0.0002149 0.0002149 0.0009053 -3.386e-8 1 -2.328e-11 0.0008708 0.001099 0.0004285 0.0207 22.87 0.9994 0.359 0.7274 1 1 0.0008115 0.003516 0.004053 0.6779 2.937 3.386 json
t19_x12_u3_b77 19 12 3 77 eql(D,add(flr(D),P)) 147251 154776911 o2(x,o2(o1(x),x)) true 58015 58015 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
t19_x12_u3_b78 19 12 3 78 eql(D,sub(flr(D),P)) 147252 154776912 o2(x,o2(o1(x),x)) true 58023 58023 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
t19_x12_u3_b79 19 12 3 79 eql(D,mlt(flr(D),P)) 147253 154776913 o2(x,o2(o1(x),x)) true 58031 58031 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
t19_x12_u3_b80 19 12 3 80 eql(D,div(flr(D),P)) 147254 154776914 o2(x,o2(o1(x),x)) true 58039 58039 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
t19_x12_u3_b81 19 12 3 81 eql(D,pow(flr(D),P)) 147255 154776915 o2(x,o2(o1(x),x)) true 58047 58047 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
t19_x12_u3_b82 19 12 3 82 eql(D,mod(flr(D),P)) 147256 154776916 o2(x,o2(o1(x),x)) true 58055 58055 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
t19_x12_u3_b83 19 12 3 83 eql(D,lrg(flr(D),P)) 147257 154776917 o2(x,o2(o1(x),x)) true 58063 58063 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
t19_x12_u3_b84 19 12 3 84 eql(D,eql(flr(D),P)) 147258 154776918 o2(x,o2(o1(x),x)) true 58071 58071 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
t19_x12_u3_b85 19 12 3 85 eql(D,min(flr(D),P)) 147259 154776919 o2(x,o2(o1(x),x)) true 58079 58079 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
t19_x12_u3_b86 19 12 3 86 eql(D,dot(flr(D),P)) 147260 154776920 o2(x,o2(o1(x),x)) true 58087 58087 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
t19_x12_u3_b87 19 12 3 87 eql(D,dst(flr(D),P)) 147261 154776921 o2(x,o2(o1(x),x)) true 58095 58095 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
t19_x12_u3_b88 19 12 3 88 min(D,add(flr(D),P)) 147262 154776922 o2(x,o2(o1(x),x)) true 58103 58103 -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
t19_x12_u3_b89 19 12 3 89 min(D,sub(flr(D),P)) 147263 154776923 o2(x,o2(o1(x),x)) true 58111 58111 -0.5008 0.2422 0.5461 0.2481 0.4981 -1 0.1454 1.145 1 2.526 0.005873 0 0.02858 1 1 -0.0001582 0.008416 0.01756 0.005058 0.07112 2.488 0.9988 0.02367 0.03392 1 1 0.00947 0.03922 0.07 0.03817 0.1581 0.2821 json
t19_x12_u3_b90 19 12 3 90 min(D,mlt(flr(D),P)) 147264 154776924 o2(x,o2(o1(x),x)) true 58119 58119 -0.4316 0 0.4316 0.1641 0.4052 -1 -0.000282 0.9997 1 2.841 0.03601 0 0.07665 1 1 0.00007404 0.06128 0.08297 0.03013 0.1736 2.265 0.9991 0.2194 0.3733 1 1 0.04137 0.1159 0.03239 0.252 0.7058 0.1973 json
t19_x12_u3_b91 19 12 3 91 min(D,div(flr(D),P)) 147265 154776925 o2(x,o2(o1(x),x)) true 58127 58127 -0.2257 0.02344 0.2297 0.06432 0.2536 -1 0.1294 1.129 1 2.891 0.01552 0 0.04892 1 1 0.0001831 0.02839 0.04838 0.01312 0.1145 2.341 1.031 0.2412 0.4414 1 1 0.02138 0.07718 0.07147 0.3324 1.2 1.111 json
t19_x12_u3_b92 19 12 3 92 min(D,pow(flr(D),P)) 147266 154776926 o2(x,o2(o1(x),x)) true 58135 58135 -0.06257 0.2813 0.1156 0.01516 0.1231 -0.2729 0.1454 0.4183 1 2.916 0.001539 0 0.03506 1 1 0.00007403 0.0002631 0.01426 0.0003109 0.01763 0.503 0.06192 0.1015 0.01735 1 1 0.002959 0.01966 0.0025 0.1951 1.296 0.1649 json
t19_x12_u3_b93 19 12 3 93 min(D,mod(flr(D),P)) 147267 154776927 o2(x,o2(o1(x),x)) true 58143 58143 -0.4241 0.03125 0.43 0.1428 0.3779 -0.9997 0.1454 1.145 1 3.608 0.05244 0 0.1056 1 1 0 0.09669 0.1097 0.04127 0.2032 1.923 0.9994 0.3672 0.677 1 1 0.05314 0.1887 0.04605 0.3721 1.321 0.3224 json
t19_x12_u3_b94 19 12 3 94 min(D,lrg(flr(D),P)) 147268 154776928 o2(x,o2(o1(x),x)) true 58151 58151 -0.0715 0.25 0.1187 0.01515 0.1231 -0.2729 0.1454 0.4183 1 2.902 0.001526 0 0.03491 1 1 0.00007403 0.0002642 0.01421 0.0003081 0.01755 0.5028 0.06192 0.1008 0.01744 1 1 0.002924 0.01938 0.0025 0.1931 1.28 0.1651 json
t19_x12_u3_b95 19 12 3 95 min(D,eql(flr(D),P)) 147269 154776929 o2(x,o2(o1(x),x)) true 58159 58159 -0.1341 0.03125 0.14 0.01053 0.1026 -0.2729 0.1454 0.4183 1 2.42 0.001464 0 0.0343 1 1 0.0003063 0.0002628 0.01362 0.0002884 0.01698 0.4951 0.0622 0.139 0.02494 1 1 0.002824 0.01902 0.0025 0.2681 1.806 0.2374 json
t19_x12_u3_b96 19 12 3 96 min(D,min(flr(D),P)) 147270 154776930 o2(x,o2(o1(x),x)) true 58167 58167 -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
t19_x12_u3_b97 19 12 3 97 min(D,dot(flr(D),P)) 147271 154776931 o2(x,o2(o1(x),x)) true 58175 58175 -0.5626 0.1025 0.5748 0.1925 0.4388 -1 0.1454 1.145 1 3.011 0.02412 0.02091 0.09228 0.07142 1 -0.00002155 0.08335 0.1132 0.03652 0.1911 2.071 1.124 0.2339 0.4329 1 1 0.05072 0.1502 0.05449 0.2635 0.7801 0.283 json
t19_x12_u3_b98 19 12 3 98 min(D,dst(flr(D),P)) 147272 154776932 o2(x,o2(o1(x),x)) true 58183 58183 -0.0005587 0.4984 0.09447 0.01087 0.1043 -0.2728 0.1454 0.4182 1 2.574 0.00163 0.00001628 0.03615 0.9802 1 -4.576e-12 0.0002878 0.01472 0.0003404 0.01845 0.5103 0.2775 0.1515 0.02648 1 1 0.003175 0.02195 0.0003072 0.292 2.019 0.02826 json
t19_x12_u3_b99 19 12 3 99 dot(D,add(flr(D),P)) 147273 154776933 o2(x,o2(o1(x),x)) true 58191 58191 -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
t19_x12_u3_b100 19 12 3 100 dot(D,sub(flr(D),P)) 147274 154776934 o2(x,o2(o1(x),x)) true 58199 58199 0.4501 0.7809 0.6212 0.2995 0.5473 -1 1 2 1 4.19 0.02587 0.02587 0.1768 1.44e-7 1 -0.002083 0.01796 0.08378 0.02049 0.1432 0.8099 0.6567 0.1727 0.05996 1 1 0.06679 0.4486 0.03114 0.223 1.498 0.1039 json
t19_x12_u3_b101 19 12 3 101 dot(D,mlt(flr(D),P)) 147275 154776935 o2(x,o2(o1(x),x)) true 58207 58207 0.0782 0.5411 0.6372 0.5303 0.7282 -1 1 2 1 4.279 0.01628 0.01628 0.1269 0.000004976 1 -0.001021 0.01365 0.0685 0.01646 0.1283 1.011 0.6376 0.06141 0.02574 1 1 0.04533 0.2625 0.07073 0.08548 0.4951 0.1334 json
t19_x12_u3_b102 19 12 3 102 dot(D,div(flr(D),P)) 147276 154776936 o2(x,o2(o1(x),x)) true 58215 58215 -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
t19_x12_u3_b103 19 12 3 103 dot(D,pow(flr(D),P)) 147277 154776937 o2(x,o2(o1(x),x)) true 58223 58223 -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
t19_x12_u3_b104 19 12 3 104 dot(D,mod(flr(D),P)) 147278 154776938 o2(x,o2(o1(x),x)) true 58231 58231 -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
t19_x12_u3_b105 19 12 3 105 dot(D,lrg(flr(D),P)) 147279 154776939 o2(x,o2(o1(x),x)) true 58239 58239 0.03575 0.4717 0.09015 0.0149 0.1221 -0.2908 0.5458 0.8366 1 2.841 0.0007912 0.0007913 0.03107 -0.00001096 1 -0.0003163 0.0002423 0.01141 0.0006171 0.02484 0.7994 0.08796 0.1062 0.01626 1 1 0.002983 0.02196 0.01 0.2002 1.474 0.6712 json
t19_x12_u3_b106 19 12 3 106 dot(D,eql(flr(D),P)) 147280 154776940 o2(x,o2(o1(x),x)) true 58247 58247 -9.298e-10 0.1169 0.03438 0.007423 0.08616 -0.5458 0.5458 1.092 1 1.354 0.0001841 0.0001841 0.008389 -0.000007942 1 -4.124e-9 0.00006269 0.00333 0.000298 0.01726 2.058 0.08746 0.04961 0.008446 1 1 0.0009353 0.008095 0.01409 0.126 1.09 1.898 json
t19_x12_u3_b107 19 12 3 107 dot(D,min(flr(D),P)) 147281 154776941 o2(x,o2(o1(x),x)) true 58255 58255 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
t19_x12_u3_b108 19 12 3 108 dot(D,dot(flr(D),P)) 147282 154776942 o2(x,o2(o1(x),x)) true 58263 58263 0.074 0.5383 0.6032 0.4927 0.7019 -1 1 2 1 4.383 0.02609 0.02609 0.1576 -3.212e-7 1 -0.0009729 0.05966 0.1201 0.02735 0.1654 1.049 1.226 0.1059 0.1211 1 1 0.06005 0.299 0.07118 0.1219 0.6069 0.1445 json
t19_x12_u3_b109 19 12 3 109 dot(D,dst(flr(D),P)) 147283 154776943 o2(x,o2(o1(x),x)) true 58271 58271 -0.013 0.4876 0.5956 0.4846 0.6962 -1 1 2 1 4.455 0.04351 0.04351 0.2274 -0.000002826 1 0.00006414 0.04216 0.1163 0.0353 0.1879 0.8262 0.9905 0.1795 0.08699 1 1 0.1161 0.7041 0.03508 0.2395 1.453 0.07238 json
t19_x12_u3_b110 19 12 3 110 dst(D,add(flr(D),P)) 147284 154776944 o2(x,o2(o1(x),x)) true 58279 58279 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
t19_x12_u3_b111 19 12 3 111 dst(D,sub(flr(D),P)) 147285 154776945 o2(x,o2(o1(x),x)) true 58287 58287 0.9972 1 0.9972 0.001253 0.0354 0.04477 1 0.9552 1 0.1018 0.0003239 0.0003239 0.001859 -2.695e-7 1 2.628e-11 0.001338 0.002324 0.0006446 0.02539 13.65 1.307 0.517 1.068 1 1 0.001236 0.002671 0.00458 0.986 2.132 3.655 json
t19_x12_u3_b112 19 12 3 112 dst(D,mlt(flr(D),P)) 147286 154776946 o2(x,o2(o1(x),x)) true 58295 58295 0.9333 1 0.9333 0.03613 0.1901 0.04419 1 0.9558 1 1.101 0.01325 0.01325 0.05288 -0.000001793 1 -0.0006153 0.05667 0.07545 0.02371 0.154 2.912 0.9555 0.7334 1.568 1 1 0.03146 0.07134 0.01754 0.8709 1.975 0.4854 json
t19_x12_u3_b113 19 12 3 113 dst(D,div(flr(D),P)) 147287 154776947 o2(x,o2(o1(x),x)) true 58303 58303 -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
t19_x12_u3_b114 19 12 3 114 dst(D,pow(flr(D),P)) 147288 154776948 o2(x,o2(o1(x),x)) true 58311 58311 -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
t19_x12_u3_b115 19 12 3 115 dst(D,mod(flr(D),P)) 147289 154776949 o2(x,o2(o1(x),x)) true 58319 58319 -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
t19_x12_u3_b116 19 12 3 116 dst(D,lrg(flr(D),P)) 147290 154776950 o2(x,o2(o1(x),x)) true 58327 58327 0.7994 1 0.7994 0.0724 0.2691 0.04419 1 0.9558 1 2.598 0.002028 0.002028 0.03124 0.000012 1 -0.0001015 0.005547 0.01819 0.00308 0.05549 1.777 1.308 0.05601 0.07662 1 1 0.006565 0.03223 0.03089 0.09067 0.4451 0.4266 json
t19_x12_u3_b117 19 12 3 117 dst(D,eql(flr(D),P)) 147291 154776951 o2(x,o2(o1(x),x)) true 58335 58335 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
t19_x12_u3_b118 19 12 3 118 dst(D,min(flr(D),P)) 147292 154776952 o2(x,o2(o1(x),x)) true 58343 58343 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
t19_x12_u3_b119 19 12 3 119 dst(D,dot(flr(D),P)) 147293 154776953 o2(x,o2(o1(x),x)) true 58351 58351 0.9524 1 0.9524 0.02808 0.1676 0.04473 1 0.9553 1 0.7866 0.01247 0.01247 0.04547 -7.841e-7 1 -0.0007171 0.05693 0.06942 0.02288 0.1513 3.327 1.35 0.8883 2.028 1 1 0.03005 0.0598 0.01643 1.07 2.13 0.5852 json
t19_x12_u3_b120 19 12 3 120 dst(D,dst(flr(D),P)) 147294 154776954 o2(x,o2(o1(x),x)) true 58359 58359 0.9993 1 0.9993 0.0004434 0.02106 0.04593 1 0.9541 1 0.0199 0.0002034 0.0002034 0.0007311 7.155e-8 1 -1.502e-11 0.0009146 0.001123 0.000406 0.02015 27.56 1.349 0.9175 2.063 1 1 0.0007841 0.001612 0.001612 1.769 3.637 3.637 json
t19_x12_u4_b0 19 12 4 0 add(D,add(cil(D),P)) 147295 154777035 o2(x,o2(o1(x),x)) true 58367 58367 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
t19_x12_u4_b1 19 12 4 1 add(D,sub(cil(D),P)) 147296 154777036 o2(x,o2(o1(x),x)) true 58375 58375 0.0625 0.5313 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
t19_x12_u4_b2 19 12 4 2 add(D,mlt(cil(D),P)) 147297 154777037 o2(x,o2(o1(x),x)) true 58383 58383 -0.08129 0.3906 0.6824 0.6187 0.7866 -1 1 2 1 3.433 0.06945 0 0.1186 1 1 -0.0004707 0.1202 0.1478 0.05541 0.2354 1.985 1.031 0.1123 0.1943 1 1 0.07631 0.2294 0.1258 0.1233 0.3708 0.2034 json
t19_x12_u4_b3 19 12 4 3 add(D,div(cil(D),P)) 147298 154777038 o2(x,o2(o1(x),x)) true 58391 58391 -0.09876 0.293 0.2869 0.1762 0.4197 -1 1 2 1 3.573 0.02593 0 0.05704 1 1 -0.00002407 0.0482 0.06192 0.02268 0.1506 2.64 2 0.1472 0.2736 1 1 0.03538 0.1407 0.2332 0.2008 0.7985 1.324 json
t19_x12_u4_b4 19 12 4 4 add(D,pow(cil(D),P)) 147299 154777039 o2(x,o2(o1(x),x)) true 58399 58399 0.7382 0.8438 0.7559 0.1672 0.4089 -0.09672 1 1.097 1 2.039 0.03449 0 0.06651 1 1 0.00006834 0.05697 0.06904 0.03006 0.1734 2.607 1.031 0.2063 0.3408 1 1 0.04191 0.1863 0.0362 0.2507 1.114 0.2165 json