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
t17_x19_u4_b26 17 19 4 26 mlt(R,pow(P,cil(D))) 114100 138818666 o2(x,o2(x,o1(x))) true 72807 72807 -0.5201 0.236 0.7795 0.4485 0.6697 -1 1 2 1 2.973 0.01281 0.005474 0.05506 0.4011 1 -0.000009091 0.02209 0.04295 0.01525 0.1235 2.243 1.353 0.04076 0.04926 1 1 0.0235 0.1864 0.4764 0.05239 0.4155 1.062 json
t17_x19_u4_b27 17 19 4 27 mlt(R,mod(P,cil(D))) 114101 138818667 o2(x,o2(x,o1(x))) true 72815 72815 -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
t17_x19_u4_b28 17 19 4 28 mlt(R,lrg(P,cil(D))) 114102 138818668 o2(x,o2(x,o1(x))) true 72823 72823 -0.01106 0.2285 0.1714 0.09198 0.3033 -0.9987 0.9806 1.979 1 3.172 0.002405 0.001292 0.03044 0.301 1 0.00001063 0.002617 0.01048 0.002771 0.05264 1.729 0.943 0.0402 0.02845 1 1 0.005904 0.06404 0.1749 0.06419 0.6963 1.901 json
t17_x19_u4_b29 17 19 4 29 mlt(R,eql(P,cil(D))) 114103 138818669 o2(x,o2(x,o1(x))) true 72831 72831 0.003548 0.06494 0.03154 0.01545 0.1243 -0.9525 0.9431 1.896 1 0.9415 0.002702 0.0001893 0.009612 0.8691 1 -0.00001074 0.005079 0.009288 0.002798 0.0529 5.504 0.9525 0.1872 0.3288 1 1 0.003858 0.02092 0.03823 0.2497 1.354 2.475 json
t17_x19_u4_b30 17 19 4 30 mlt(R,min(P,cil(D))) 114104 138818670 o2(x,o2(x,o1(x))) true 72839 72839 -0.03694 0.4246 0.4606 0.3719 0.6098 -1 1 2 1 4.244 0.01575 0.01087 0.07557 0.1834 1 -0.00003726 0.02507 0.05275 0.02092 0.1446 1.914 1.294 0.07159 0.06742 1 1 0.03619 0.2736 0.5685 0.09732 0.7358 1.529 json
t17_x19_u4_b31 17 19 4 31 mlt(R,dot(P,cil(D))) 114105 138818671 o2(x,o2(x,o1(x))) true 72847 72847 -0.02269 0.4779 0.6736 0.5931 0.7701 -1 1 2 1 3.93 0.05202 0.0524 0.1558 -0.003653 1 0.00001755 0.1749 0.1777 0.08014 0.2831 1.817 2.027 0.1761 0.295 1 1 0.1106 0.6216 0.9816 0.1864 1.048 1.655 json
t17_x19_u4_b32 17 19 4 32 mlt(R,dst(P,cil(D))) 114106 138818672 o2(x,o2(x,o1(x))) true 72855 72855 -0.00798 0.4965 0.8638 0.8183 0.9046 -1 1 2 1 2.819 0.02663 0.031 0.1044 -0.07586 1 0.00007344 0.04503 0.07739 0.04674 0.2162 2.07 1.75 0.07043 0.05502 1 1 0.07918 0.6131 1.387 0.09676 0.7492 1.694 json
t17_x19_u4_b33 17 19 4 33 div(R,add(P,cil(D))) 114107 138818673 o2(x,o2(x,o1(x))) true 72863 72863 -0.06161 0.4385 0.1951 0.1019 0.3193 -1 0.9989 1.999 1 3.683 0.00925 0.0006283 0.03097 0.8728 1 -0.00001569 0.01745 0.02442 0.008919 0.09444 3.049 1.947 0.09692 0.1712 1 1 0.0147 0.08337 0.1905 0.1442 0.818 1.869 json
t17_x19_u4_b34 17 19 4 34 div(R,sub(P,cil(D))) 114108 138818674 o2(x,o2(x,o1(x))) true 72871 72871 -0.1231 0.4057 0.2464 0.1492 0.3862 -1 0.9968 1.997 1 3.634 0.02203 0.000563 0.03641 0.9502 1 -0.000003489 0.04338 0.0395 0.02127 0.1458 4.006 1.956 0.1515 0.2908 1 1 0.02895 0.1332 0.1871 0.1941 0.8932 1.255 json
t17_x19_u4_b35 17 19 4 35 div(R,mlt(P,cil(D))) 114109 138818675 o2(x,o2(x,o1(x))) true 72879 72879 -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
t17_x19_u4_b36 17 19 4 36 div(R,div(P,cil(D))) 114110 138818676 o2(x,o2(x,o1(x))) true 72887 72887 -0.1201 0.3757 0.1854 0.1248 0.3533 -1 0.9431 1.943 1 2.863 0.01248 0.0002083 0.02614 0.9672 1 -0.00001465 0.02469 0.03164 0.01201 0.1096 4.192 1.943 0.1017 0.1978 1 1 0.016 0.06839 0.202 0.1282 0.548 1.618 json
t17_x19_u4_b37 17 19 4 37 div(R,pow(P,cil(D))) 114111 138818677 o2(x,o2(x,o1(x))) true 72895 72895 -0.566 0.1996 0.6809 0.2973 0.5453 -1 0.9806 1.981 1 2.945 0.01153 0.0007945 0.03316 0.871 1 0.000006166 0.02176 0.02971 0.01122 0.1059 3.194 1.943 0.04144 0.07317 1 1 0.01493 0.08066 0.1923 0.0502 0.2713 0.6468 json
t17_x19_u4_b38 17 19 4 38 div(R,mod(P,cil(D))) 114112 138818678 o2(x,o2(x,o1(x))) true 72903 72903 -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
t17_x19_u4_b39 17 19 4 39 div(R,lrg(P,cil(D))) 114113 138818679 o2(x,o2(x,o1(x))) true 72911 72911 -0.6415 0.1642 0.7683 0.2923 0.5406 -1 0.9806 1.981 1 2.742 0.005301 0.001074 0.02663 0.6631 1 0.00002051 0.008764 0.01266 0.005662 0.07525 2.825 1.956 0.02181 0.02998 1 1 0.008861 0.06835 0.2329 0.03031 0.2338 0.7969 json
t17_x19_u4_b40 17 19 4 40 div(R,eql(P,cil(D))) 114114 138818680 o2(x,o2(x,o1(x))) true 72919 72919 -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
t17_x19_u4_b41 17 19 4 41 div(R,min(P,cil(D))) 114115 138818681 o2(x,o2(x,o1(x))) true 72927 72927 -0.5661 0.2042 0.6171 0.2565 0.5065 -1 0.9968 1.997 1 2.48 0.003869 0.000229 0.01173 0.8883 1 -8.425e-7 0.007481 0.008532 0.00396 0.06293 5.363 1.947 0.01598 0.02916 1 1 0.005855 0.03045 0.115 0.02282 0.1187 0.4481 json
t17_x19_u4_b42 17 19 4 42 div(R,dot(P,cil(D))) 114116 138818682 o2(x,o2(x,o1(x))) true 72935 72935 -0.1719 0.4141 1 0.9712 0.9855 -1 1 2 1 0.9786 0.09851 0.1169 0.1068 -0.08538 1 0 0.4545 0.2154 0.2041 0.4517 4.229 2.828 0.2218 0.468 1 1 0.2047 0.8449 1.735 0.2107 0.8699 1.786 json
t17_x19_u4_b43 17 19 4 43 div(R,dst(P,cil(D))) 114117 138818683 o2(x,o2(x,o1(x))) true 72943 72943 -0.00003256 0.4915 0.09369 0.02814 0.1677 -1 1 2 1 2.834 0.002723 0.002665 0.01857 0.01084 1 0.000001584 0.01067 0.01406 0.005043 0.07102 3.825 2.106 0.1915 0.3791 1 1 0.01 0.04954 0.09029 0.3555 1.761 3.209 json
t17_x19_u4_b44 17 19 4 44 pow(R,add(P,cil(D))) 114118 138818684 o2(x,o2(x,o1(x))) true 72951 72951 -0.8016 0.1016 0.9953 0.3513 0.5927 -1 1 2 1 0.5417 0.04169 0.01251 0.02781 0.5384 1 0.000001841 0.1111 0.05546 0.05341 0.2311 8.311 2.828 0.1543 0.3162 1 1 0.05929 0.2415 0.5848 0.1688 0.6874 1.665 json
t17_x19_u4_b45 17 19 4 45 pow(R,sub(P,cil(D))) 114119 138818685 o2(x,o2(x,o1(x))) true 72959 72959 -0.8795 0.0625 0.9955 0.2209 0.47 -1 1 2 1 0.3989 0.02129 0.01976 0.02128 0.0375 1 0.000003991 0.08573 0.04226 0.04061 0.2015 9.469 2.828 0.1858 0.3881 1 1 0.03953 0.1658 0.5032 0.1789 0.7504 2.278 json
t17_x19_u4_b46 17 19 4 46 pow(R,mlt(P,cil(D))) 114120 138818686 o2(x,o2(x,o1(x))) true 72967 72967 -0.4899 0.2656 0.9789 0.73 0.8544 -1 1 2 1 1.209 0.08298 0.05384 0.07361 0.213 1 0.00001822 0.2869 0.143 0.1314 0.3625 4.924 2.828 0.1874 0.3929 1 1 0.1399 0.5732 1.458 0.1917 0.7852 1.997 json
t17_x19_u4_b47 17 19 4 47 pow(R,div(P,cil(D))) 114121 138818687 o2(x,o2(x,o1(x))) true 72975 72975 -0.942 0.03125 0.9955 0.1075 0.3278 -1 1 2 1 0.2432 0.01004 0.00896 0.01166 0.05663 1 -0.000005281 0.03824 0.02124 0.01885 0.1373 11.77 2.828 0.1768 0.3558 1 1 0.01835 0.0841 0.1979 0.1707 0.7826 1.842 json
t17_x19_u4_b48 17 19 4 48 pow(R,pow(P,cil(D))) 114122 138818688 o2(x,o2(x,o1(x))) true 72983 72983 -0.9583 0.02344 0.9948 0.07375 0.2716 -1 1 2 1 0.2343 0.008986 0.006111 0.008936 0.1904 1 0.000004773 0.03151 0.01677 0.01501 0.1225 13.71 2.698 0.2047 0.4272 1 1 0.01259 0.053 0.138 0.1707 0.7186 1.871 json
t17_x19_u4_b49 17 19 4 49 pow(R,mod(P,cil(D))) 114123 138818689 o2(x,o2(x,o1(x))) true 72991 72991 -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
t17_x19_u4_b50 17 19 4 50 pow(R,lrg(P,cil(D))) 114124 138818690 o2(x,o2(x,o1(x))) true 72999 72999 0.0494 0.5273 0.9947 0.9888 0.9944 -1 1 2 1 1.169 0.01642 0.007056 0.01327 0.3989 1 0.000004493 0.04873 0.02534 0.02329 0.1526 11.5 2.698 0.02374 0.04928 1 1 0.02301 0.09586 0.41 0.02327 0.09695 0.4146 json
t17_x19_u4_b51 17 19 4 51 pow(R,eql(P,cil(D))) 114125 138818691 o2(x,o2(x,o1(x))) true 73007 73007 0.8138 0.9102 0.9934 0.3273 0.5721 -1 1 2 1 0.661 0.04577 0.009954 0.02983 0.6427 1 1.389e-10 0.1139 0.058 0.05486 0.2342 7.853 2.828 0.1703 0.3479 1 1 0.0744 0.3005 0.4609 0.2273 0.9181 1.408 json
t17_x19_u4_b52 17 19 4 52 pow(R,min(P,cil(D))) 114126 138818692 o2(x,o2(x,o1(x))) true 73015 73015 -0.6446 0.1836 0.9882 0.565 0.7517 -1 1 2 1 0.969 0.06046 0.03535 0.05125 0.2621 1 0.00001077 0.1998 0.09984 0.09315 0.3052 5.955 2.828 0.1696 0.3537 1 1 0.1017 0.4205 1.186 0.18 0.7443 2.098 json
t17_x19_u4_b53 17 19 4 53 pow(R,dot(P,cil(D))) 114127 138818693 o2(x,o2(x,o1(x))) true 73023 73023 -0.7602 0.1289 0.982 0.3972 0.6303 -1 1 2 1 0.8078 0.04245 0.04555 0.049 -0.03515 1 0.00001394 0.1843 0.09419 0.08562 0.2926 5.971 2.828 0.2215 0.4639 1 1 0.0894 0.3715 0.8541 0.2251 0.9353 2.15 json
t17_x19_u4_b54 17 19 4 54 pow(R,dst(P,cil(D))) 114128 138818694 o2(x,o2(x,o1(x))) true 73031 73031 -0.9495 0.0426 0.9645 0.05805 0.2409 -1 0.786 1.786 1 0.3799 0.006076 0.00577 0.01063 0.02586 1 0.000004615 0.02471 0.01975 0.01174 0.1083 10.19 1.93 0.2041 0.4256 1 1 0.009901 0.04315 0.1052 0.1706 0.7433 1.812 json
t17_x19_u4_b55 17 19 4 55 mod(R,add(P,cil(D))) 114129 138818695 o2(x,o2(x,o1(x))) true 73039 73039 -0.05398 0.4672 0.4311 0.265 0.5148 -1 0.9806 1.981 1 4.865 0.01312 0.002982 0.06707 0.6296 1 0.0000375 0.02148 0.02962 0.01161 0.1077 1.606 1.898 0.06076 0.08103 1 1 0.02443 0.1909 0.4494 0.09216 0.7204 1.695 json
t17_x19_u4_b56 17 19 4 56 mod(R,sub(P,cil(D))) 114130 138818696 o2(x,o2(x,o1(x))) true 73047 73047 -0.122 0.4319 0.4696 0.3028 0.5503 -1 0.9806 1.981 1 4.765 0.02445 0.002759 0.07099 0.7972 1 0.00004738 0.04466 0.04585 0.02217 0.1489 2.097 1.956 0.08984 0.1475 1 1 0.03705 0.2279 0.4274 0.1223 0.7525 1.412 json
t17_x19_u4_b57 17 19 4 57 mod(R,mlt(P,cil(D))) 114131 138818697 o2(x,o2(x,o1(x))) true 73055 73055 -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
t17_x19_u4_b58 17 19 4 58 mod(R,div(P,cil(D))) 114132 138818698 o2(x,o2(x,o1(x))) true 73063 73063 -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
t17_x19_u4_b59 17 19 4 59 mod(R,pow(P,cil(D))) 114133 138818699 o2(x,o2(x,o1(x))) true 73071 73071 -0.5736 0.1995 0.7298 0.325 0.57 -1 0.9806 1.981 1 3.079 0.008479 0.001297 0.03255 0.7347 1 0.00001063 0.01473 0.01637 0.008716 0.09336 2.868 1.943 0.03008 0.04532 1 1 0.01323 0.09166 0.2549 0.04071 0.2821 0.7843 json
t17_x19_u4_b60 17 19 4 60 mod(R,mod(P,cil(D))) 114134 138818700 o2(x,o2(x,o1(x))) true 73079 73079 -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
t17_x19_u4_b61 17 19 4 61 mod(R,lrg(P,cil(D))) 114135 138818701 o2(x,o2(x,o1(x))) true 73087 73087 -0.6415 0.1642 0.7683 0.2923 0.5406 -1 0.9806 1.981 1 2.742 0.005301 0.001074 0.02663 0.6631 1 0.00002051 0.008764 0.01266 0.005662 0.07525 2.825 1.956 0.02181 0.02998 1 1 0.008861 0.06835 0.2329 0.03031 0.2338 0.7969 json
t17_x19_u4_b62 17 19 4 62 mod(R,eql(P,cil(D))) 114136 138818702 o2(x,o2(x,o1(x))) true 73095 73095 -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
t17_x19_u4_b63 17 19 4 63 mod(R,min(P,cil(D))) 114137 138818703 o2(x,o2(x,o1(x))) true 73103 73103 -0.5465 0.2329 0.7376 0.3632 0.6027 -1 0.9693 1.969 1 3.09 0.007374 0.001495 0.03151 0.6629 1 0.00003761 0.01277 0.0153 0.007879 0.08877 2.817 1.898 0.02442 0.03517 1 1 0.01261 0.09145 0.2487 0.03471 0.2518 0.6847 json
t17_x19_u4_b64 17 19 4 64 mod(R,dot(P,cil(D))) 114138 138818704 o2(x,o2(x,o1(x))) true 73111 73111 -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
t17_x19_u4_b65 17 19 4 65 mod(R,dst(P,cil(D))) 114139 138818705 o2(x,o2(x,o1(x))) true 73119 73119 -0.01012 0.4872 0.4042 0.2321 0.4818 -1 0.9806 1.981 1 4.884 0.006221 0.006524 0.06686 -0.02379 1 0.00002651 0.01503 0.02403 0.008274 0.09096 1.36 2.586 0.05491 0.06473 1 1 0.02352 0.1916 0.4175 0.1013 0.8254 1.799 json
t17_x19_u4_b66 17 19 4 66 lrg(R,add(P,cil(D))) 114140 138818706 o2(x,o2(x,o1(x))) true 73127 73127 0.4688 0.495 0.4688 0.2433 0.4933 0 1 1 1 1.285 0.003228 0.0001228 0.006531 0.9267 1 -0.000008557 0.006234 0.007643 0.00331 0.05753 8.809 1 0.01377 0.02562 1 1 0.005058 0.02437 0.09335 0.02079 0.1001 0.3836 json
t17_x19_u4_b67 17 19 4 67 lrg(R,sub(P,cil(D))) 114141 138818707 o2(x,o2(x,o1(x))) true 73135 73135 0.5332 0.619 0.5332 0.2314 0.481 0 1 1 1 1.72 0.005017 0.0001404 0.01467 0.9456 1 -0.000008557 0.008777 0.01177 0.004941 0.07029 4.793 0.9994 0.02229 0.03793 1 1 0.007444 0.03684 0.07788 0.03217 0.1592 0.3366 json
t17_x19_u4_b68 17 19 4 68 lrg(R,mlt(P,cil(D))) 114142 138818708 o2(x,o2(x,o1(x))) true 73143 73143 0.5029 0.8646 0.5029 0.1744 0.4176 0 1 1 1 3.127 0.02547 0.001237 0.06733 0.9073 1 0.0000706 0.04725 0.06266 0.02218 0.1489 2.212 1 0.1531 0.2709 1 1 0.03025 0.1435 0.1812 0.1734 0.8225 1.039 json
t17_x19_u4_b69 17 19 4 69 lrg(R,div(P,cil(D))) 114143 138818709 o2(x,o2(x,o1(x))) true 73151 73151 0.5449 1 0.5449 0.1485 0.3853 0.000291 1 0.9997 1 3.323 0.06266 0.00005267 0.1158 0.9983 1 0.0001768 0.1168 0.1289 0.0493 0.222 1.918 0.9997 0.4224 0.7868 1 1 0.06696 0.2339 0.06837 0.451 1.576 0.4606 json
t17_x19_u4_b70 17 19 4 70 lrg(R,pow(P,cil(D))) 114144 138818710 o2(x,o2(x,o1(x))) true 73159 73159 0.2637 0.5378 0.2637 0.136 0.3688 0 0.9997 0.9997 1 2.449 0.0323 0.00005267 0.06339 0.9967 1 0.00008699 0.05964 0.06691 0.02834 0.1683 2.656 0.9994 0.2378 0.4384 1 1 0.03415 0.1219 0.04032 0.251 0.8959 0.2964 json
t17_x19_u4_b71 17 19 4 71 lrg(R,mod(P,cil(D))) 114145 138818711 o2(x,o2(x,o1(x))) true 73167 73167 0.7432 1 0.7432 0.1126 0.3355 0.000291 1 0.9997 1 2.88 0.03004 0.00118 0.07441 0.9244 1 -0.000001422 0.05612 0.0721 0.02568 0.1603 2.154 0.9997 0.2773 0.4985 1 1 0.03636 0.1591 0.1423 0.323 1.413 1.264 json
t17_x19_u4_b72 17 19 4 72 lrg(R,lrg(P,cil(D))) 114146 138818712 o2(x,o2(x,o1(x))) true 73175 73175 0.2871 0.5486 0.2871 0.1502 0.3875 0 1 1 1 2.507 0.003497 0.001319 0.03251 0.4522 1 7.23e-7 0.004707 0.01224 0.003758 0.06131 1.886 0.9997 0.03206 0.03134 1 1 0.008002 0.0749 0.1891 0.05328 0.4987 1.259 json
t17_x19_u4_b73 17 19 4 73 lrg(R,eql(P,cil(D))) 114147 138818713 o2(x,o2(x,o1(x))) true 73183 73183 0.4492 0.8892 0.4492 0.1545 0.3931 0 1 1 1 3.376 0.005833 0.002302 0.0544 0.4341 1 -0.000009256 0.008037 0.0207 0.005176 0.07195 1.323 1 0.05265 0.05201 1 1 0.01304 0.1197 0.2792 0.0844 0.7745 1.807 json
t17_x19_u4_b74 17 19 4 74 lrg(R,min(P,cil(D))) 114148 138818714 o2(x,o2(x,o1(x))) true 73191 73191 0.6113 0.8646 0.6113 0.195 0.4416 0 1 1 1 2.372 0.01219 0.0007373 0.03567 0.8859 1 0.00002924 0.02234 0.0309 0.01166 0.108 3.027 1 0.0663 0.1146 1 1 0.01495 0.07946 0.1348 0.07669 0.4075 0.6915 json
t17_x19_u4_b75 17 19 4 75 lrg(R,dot(P,cil(D))) 114149 138818715 o2(x,o2(x,o1(x))) true 73199 73199 0.5254 0.8704 0.5254 0.1754 0.4188 0 1 1 1 3.095 0.01912 0.01934 0.08018 -0.00547 1 0.0001747 0.0746 0.09091 0.03203 0.179 2.232 1.414 0.2192 0.4252 1 1 0.04111 0.1634 0.1333 0.2343 0.9316 0.7601 json
t17_x19_u4_b76 17 19 4 76 lrg(R,dst(P,cil(D))) 114150 138818716 o2(x,o2(x,o1(x))) true 73207 73207 0.001953 0.007385 0.001953 0.001197 0.0346 0 0.9994 0.9994 1 0.05785 0.0002149 0.0002149 0.0008892 3.386e-8 1 -2.328e-11 0.0008708 0.001099 0.0004286 0.0207 23.28 1.413 0.359 0.7276 1 1 0.0008115 0.003516 0.004354 0.678 2.938 3.638 json
t17_x19_u4_b77 17 19 4 77 eql(R,add(P,cil(D))) 114151 138818717 o2(x,o2(x,o1(x))) true 73215 73215 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
t17_x19_u4_b78 17 19 4 78 eql(R,sub(P,cil(D))) 114152 138818718 o2(x,o2(x,o1(x))) true 73223 73223 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
t17_x19_u4_b79 17 19 4 79 eql(R,mlt(P,cil(D))) 114153 138818719 o2(x,o2(x,o1(x))) true 73231 73231 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
t17_x19_u4_b80 17 19 4 80 eql(R,div(P,cil(D))) 114154 138818720 o2(x,o2(x,o1(x))) true 73239 73239 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
t17_x19_u4_b81 17 19 4 81 eql(R,pow(P,cil(D))) 114155 138818721 o2(x,o2(x,o1(x))) true 73247 73247 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
t17_x19_u4_b82 17 19 4 82 eql(R,mod(P,cil(D))) 114156 138818722 o2(x,o2(x,o1(x))) true 73255 73255 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
t17_x19_u4_b83 17 19 4 83 eql(R,lrg(P,cil(D))) 114157 138818723 o2(x,o2(x,o1(x))) true 73263 73263 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
t17_x19_u4_b84 17 19 4 84 eql(R,eql(P,cil(D))) 114158 138818724 o2(x,o2(x,o1(x))) true 73271 73271 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
t17_x19_u4_b85 17 19 4 85 eql(R,min(P,cil(D))) 114159 138818725 o2(x,o2(x,o1(x))) true 73279 73279 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
t17_x19_u4_b86 17 19 4 86 eql(R,dot(P,cil(D))) 114160 138818726 o2(x,o2(x,o1(x))) true 73287 73287 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
t17_x19_u4_b87 17 19 4 87 eql(R,dst(P,cil(D))) 114161 138818727 o2(x,o2(x,o1(x))) true 73295 73295 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
t17_x19_u4_b88 17 19 4 88 min(R,add(P,cil(D))) 114162 138818728 o2(x,o2(x,o1(x))) true 73303 73303 -0.4621 0.2342 0.648 0.3389 0.5821 -1 0.9806 1.981 1 3.668 0.00493 0.001543 0.03832 0.5231 1 -0.000005843 0.006949 0.01624 0.005004 0.07074 1.846 1 0.0191 0.02051 1 1 0.01085 0.09713 0.2854 0.03201 0.2866 0.8421 json
t17_x19_u4_b89 17 19 4 89 min(R,sub(P,cil(D))) 114163 138818729 o2(x,o2(x,o1(x))) true 73311 73311 -0.5344 0.1987 0.6847 0.3126 0.5591 -1 0.9806 1.981 1 3.441 0.005241 0.001341 0.03862 0.5924 1 0.000005582 0.006695 0.01698 0.005092 0.07136 1.848 0.9993 0.02106 0.02142 1 1 0.01075 0.08767 0.2399 0.03438 0.2805 0.7676 json
t17_x19_u4_b90 17 19 4 90 min(R,mlt(P,cil(D))) 114164 138818730 o2(x,o2(x,o1(x))) true 73319 73319 -0.4802 0.1284 0.5585 0.225 0.4743 -1 0.9806 1.981 1 3.893 0.02838 0.001104 0.07683 0.9251 1 -0.00002448 0.04907 0.07759 0.02358 0.1535 1.998 0.9994 0.1311 0.2181 1 1 0.03226 0.1255 0.1777 0.1434 0.5579 0.7898 json
t17_x19_u4_b91 17 19 4 91 min(R,div(P,cil(D))) 114165 138818731 o2(x,o2(x,o1(x))) true 73327 73327 -0.8544 0.06163 0.9011 0.1375 0.3708 -1 0.968 1.968 1 1.594 0.05027 0.0006284 0.06634 0.9753 1 0.000003384 0.089 0.08436 0.0465 0.2156 3.25 1.968 0.3702 0.6472 1 1 0.05404 0.1721 0.1131 0.393 1.251 0.8225 json
t17_x19_u4_b92 17 19 4 92 min(R,pow(P,cil(D))) 114166 138818732 o2(x,o2(x,o1(x))) true 73335 73335 0.001852 0.4885 0.3902 0.217 0.4658 -0.9989 0.9806 1.979 1 4.858 0.003281 0.003118 0.0636 0.02552 1 0.0000273 0.001308 0.01618 0.002354 0.04852 0.7629 0.8291 0.02949 0.006031 1 1 0.01228 0.1507 0.3789 0.0566 0.6947 1.746 json
t17_x19_u4_b93 17 19 4 93 min(R,mod(P,cil(D))) 114167 138818733 o2(x,o2(x,o1(x))) true 73343 73343 -0.1235 0.3333 0.3169 0.1511 0.3888 -0.9989 0.9805 1.979 1 4.595 0.01138 0.002047 0.06581 0.695 1 0.00001672 0.01894 0.04201 0.009091 0.09535 1.449 0.9695 0.08881 0.1253 1 1 0.01724 0.1257 0.2462 0.114 0.8318 1.629 json
t17_x19_u4_b94 17 19 4 94 min(R,lrg(P,cil(D))) 114168 138818734 o2(x,o2(x,o1(x))) true 73351 73351 -0.1487 0.2075 0.303 0.1395 0.3736 -0.9989 0.9806 1.979 1 4.396 0.002844 0.001793 0.04671 0.2268 1 0.00002173 0.002425 0.01369 0.002455 0.04954 1.061 0.9429 0.03323 0.01738 1 1 0.007777 0.08901 0.2336 0.05573 0.6379 1.674 json
t17_x19_u4_b95 17 19 4 95 min(R,eql(P,cil(D))) 114169 138818735 o2(x,o2(x,o1(x))) true 73359 73359 -0.2344 0.04419 0.2642 0.08115 0.2849 -0.9989 0.9431 1.942 1 3.81 0.002557 0.001073 0.03678 0.4087 1 0.000008062 0.003288 0.01298 0.002278 0.04772 1.297 0.9433 0.04474 0.04052 1 1 0.005842 0.05724 0.1378 0.07199 0.7053 1.698 json
t17_x19_u4_b96 17 19 4 96 min(R,min(P,cil(D))) 114170 138818736 o2(x,o2(x,o1(x))) true 73367 73367 -0.5583 0.1284 0.6366 0.2424 0.4924 -1 0.9806 1.981 1 3.433 0.005315 0.000978 0.0343 0.6892 1 -0.00002816 0.00853 0.01986 0.005118 0.07154 2.086 0.9557 0.02596 0.03519 1 1 0.008706 0.06761 0.1807 0.03591 0.2789 0.7454 json
t17_x19_u4_b97 17 19 4 97 min(R,dot(P,cil(D))) 114171 138818737 o2(x,o2(x,o1(x))) true 73375 73375 -0.5763 0.1532 0.6813 0.2635 0.5133 -1 0.9681 1.968 1 3.416 0.02213 0.02134 0.08757 0.01819 1 -0.00003864 0.07865 0.1011 0.0358 0.1892 2.161 1.967 0.165 0.2985 1 1 0.04681 0.1785 0.2143 0.1777 0.6773 0.8133 json
t17_x19_u4_b98 17 19 4 98 min(R,dst(P,cil(D))) 114172 138818738 o2(x,o2(x,o1(x))) true 73383 73383 0.007697 0.4972 0.3937 0.2189 0.4679 -0.9989 0.9806 1.979 1 4.861 0.002886 0.003272 0.06345 -0.06271 1 0.00002651 0.000752 0.01512 0.002132 0.04617 0.7278 1.172 0.02813 0.003435 1 1 0.01211 0.1522 0.3898 0.05534 0.6951 1.78 json
t17_x19_u4_b99 17 19 4 99 dot(R,add(P,cil(D))) 114173 138818739 o2(x,o2(x,o1(x))) true 73391 73391 -0.0869 0.4582 0.8418 0.7857 0.8864 -1 1 2 1 2.927 0.02691 0.03498 0.1086 -0.1303 1 0.00007715 0.05646 0.09132 0.05009 0.2238 2.061 1.77 0.07877 0.07186 1 1 0.07876 0.5653 1.347 0.1002 0.7195 1.714 json
t17_x19_u4_b100 17 19 4 100 dot(R,sub(P,cil(D))) 114174 138818740 o2(x,o2(x,o1(x))) true 73399 73399 -0.1032 0.4511 0.8456 0.787 0.8871 -1 1 2 1 2.906 0.02724 0.03634 0.1122 -0.1431 1 0.00003238 0.05728 0.0933 0.05101 0.2259 2.013 1.965 0.08079 0.07278 1 1 0.08284 0.606 1.4 0.1053 0.7701 1.779 json
t17_x19_u4_b101 17 19 4 101 dot(R,mlt(P,cil(D))) 114175 138818741 o2(x,o2(x,o1(x))) true 73407 73407 -0.07254 0.4612 0.6765 0.5947 0.7711 -1 1 2 1 3.873 0.05158 0.05086 0.1552 0.007031 1 -0.00006834 0.167 0.1757 0.07835 0.2799 1.803 2.025 0.1723 0.2808 1 1 0.1059 0.5938 1.042 0.1781 0.9985 1.752 json
t17_x19_u4_b102 17 19 4 102 dot(R,div(P,cil(D))) 114176 138818742 o2(x,o2(x,o1(x))) true 73415 73415 -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
t17_x19_u4_b103 17 19 4 103 dot(R,pow(P,cil(D))) 114177 138818743 o2(x,o2(x,o1(x))) true 73423 73423 -0.734 0.1365 0.9359 0.3764 0.6135 -1 1 2 1 1.44 0.009814 0.009977 0.03404 -0.008234 1 -0.000115 0.02861 0.03244 0.01863 0.1365 4.01 2.015 0.05258 0.07601 1 1 0.02342 0.1576 0.467 0.06222 0.4187 1.241 json
t17_x19_u4_b104 17 19 4 104 dot(R,mod(P,cil(D))) 114178 138818744 o2(x,o2(x,o1(x))) true 73431 73431 -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
t17_x19_u4_b105 17 19 4 105 dot(R,lrg(P,cil(D))) 114179 138818745 o2(x,o2(x,o1(x))) true 73439 73439 -0.01358 0.355 0.2986 0.1827 0.4275 -1 1 2 1 4.271 0.003617 0.003531 0.05191 0.01201 1 -0.000005846 0.004436 0.01836 0.004452 0.06673 1.285 0.9936 0.03911 0.02427 1 1 0.01162 0.1227 0.3546 0.06356 0.6712 1.941 json
t17_x19_u4_b106 17 19 4 106 dot(R,eql(P,cil(D))) 114180 138818746 o2(x,o2(x,o1(x))) true 73447 73447 -0.01683 0.4829 0.3932 0.2204 0.4695 -1 1 2 1 4.872 0.005001 0.004902 0.06967 0.009955 1 -0.00003591 0.007844 0.02762 0.00505 0.07106 1.02 0.9578 0.04493 0.03559 1 1 0.01917 0.2 0.4698 0.08697 0.9075 2.131 json
t17_x19_u4_b107 17 19 4 107 dot(R,min(P,cil(D))) 114181 138818747 o2(x,o2(x,o1(x))) true 73455 73455 -0.06995 0.4675 0.6569 0.569 0.7543 -1 1 2 1 3.975 0.02063 0.02467 0.1028 -0.08901 1 -0.00004291 0.04083 0.07934 0.03473 0.1864 1.813 1.834 0.07961 0.07177 1 1 0.05998 0.444 0.9759 0.1054 0.7803 1.715 json
t17_x19_u4_b108 17 19 4 108 dot(R,dot(P,cil(D))) 114182 138818748 o2(x,o2(x,o1(x))) true 73463 73463 -0.03573 0.4763 0.7306 0.6652 0.8156 -1 1 2 1 3.554 0.06312 0.06528 0.1654 -0.01688 1 0.000003908 0.2151 0.1996 0.101 0.3179 1.922 2.081 0.193 0.3234 1 1 0.144 0.7714 1.165 0.2165 1.16 1.751 json
t17_x19_u4_b109 17 19 4 109 dot(R,dst(P,cil(D))) 114183 138818749 o2(x,o2(x,o1(x))) true 73471 73471 0.01638 0.5113 0.8935 0.8583 0.9264 -1 1 2 1 2.484 0.04001 0.0418 0.111 -0.02181 1 0.00002428 0.08996 0.1045 0.06944 0.2635 2.374 2.111 0.09532 0.1048 1 1 0.1074 0.6992 1.535 0.1251 0.8147 1.789 json
t17_x19_u4_b110 17 19 4 110 dst(R,add(P,cil(D))) 114184 138818750 o2(x,o2(x,o1(x))) true 73479 73479 0.9985 1 0.9985 0.0004051 0.02013 0.4916 1 0.5084 1 0.0756 0.00003885 0.00008313 0.0006914 -0.363 1 5.632e-11 0.0002294 0.0008806 0.0001215 0.01102 15.94 0.5756 0.3011 0.5662 1 1 0.000241 0.0009953 0.001476 0.5949 2.457 3.644 json
t17_x19_u4_b111 17 19 4 111 dst(R,sub(P,cil(D))) 114185 138818751 o2(x,o2(x,o1(x))) true 73487 73487 0.9993 1 0.9993 0.0001674 0.01294 0.5648 1 0.4352 1 0.03856 0.00001551 0.00004874 0.0004437 -0.5171 0 1.126e-11 0.000113 0.0005941 0.00006398 0.007999 18.03 0.4355 0.3838 0.6747 1 1 0.0001376 0.0004803 0.0006102 0.8217 2.869 3.645 json
t17_x19_u4_b112 17 19 4 112 dst(R,mlt(P,cil(D))) 114186 138818752 o2(x,o2(x,o1(x))) true 73495 73495 0.9886 1 0.9886 0.003593 0.05994 0.1026 1 0.8974 1 0.3898 0.001179 0.0009602 0.008474 0.1024 1 -0.0001563 0.004263 0.01267 0.002067 0.04547 5.365 1.269 0.5956 1.186 1 1 0.002618 0.007084 0.007531 0.7288 1.972 2.096 json
t17_x19_u4_b113 17 19 4 113 dst(R,div(P,cil(D))) 114187 138818753 o2(x,o2(x,o1(x))) true 73503 73503 -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
t17_x19_u4_b114 17 19 4 114 dst(R,pow(P,cil(D))) 114188 138818754 o2(x,o2(x,o1(x))) true 73511 73511 -0.5005 0.25 0.9995 0.7486 0.8652 -1 1 2 1 0.8367 0.007995 0.007902 0.008277 0.005901 1 3.379e-11 0.03191 0.01634 0.01582 0.1258 15.2 2 0.02124 0.04263 1 1 0.0211 0.08416 0.3354 0.02819 0.1124 0.4481 json
t17_x19_u4_b115 17 19 4 115 dst(R,mod(P,cil(D))) 114189 138818755 o2(x,o2(x,o1(x))) true 73519 73519 -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
t17_x19_u4_b116 17 19 4 116 dst(R,lrg(P,cil(D))) 114190 138818756 o2(x,o2(x,o1(x))) true 73527 73527 0.9477 1 0.9477 0.01457 0.1207 0.2579 1 0.7421 1 1.328 0.0003256 0.0004479 0.01043 -0.1581 1 -0.00002759 0.0006121 0.005772 0.0006643 0.02577 2.472 0.5986 0.0531 0.04202 1 1 0.001189 0.01048 0.02189 0.08161 0.7193 1.503 json
t17_x19_u4_b117 17 19 4 117 dst(R,eql(P,cil(D))) 114191 138818757 o2(x,o2(x,o1(x))) true 73535 73535 0.9694 1 0.9694 0.009215 0.09599 0.2103 1 0.7897 1 0.8691 0.00035 0.0003983 0.008261 -0.06464 1 -0.00004133 0.0006236 0.005513 0.0006803 0.02608 3.158 0.4954 0.08121 0.06767 1 1 0.001208 0.008596 0.01336 0.1311 0.9329 1.45 json
t17_x19_u4_b118 17 19 4 118 dst(R,min(P,cil(D))) 114192 138818758 o2(x,o2(x,o1(x))) true 73543 73543 0.9828 1 0.9828 0.004782 0.06916 0.2101 1 0.7899 1 0.5707 0.0006313 0.00068 0.007018 -0.03715 1 -0.00002424 0.002392 0.008553 0.001262 0.03552 5.061 0.8054 0.2742 0.5003 1 1 0.001417 0.006545 0.009866 0.2963 1.368 2.063 json
t17_x19_u4_b119 17 19 4 119 dst(R,dot(P,cil(D))) 114193 138818759 o2(x,o2(x,o1(x))) true 73551 73551 0.9939 1 0.9939 0.001901 0.04361 0.1055 1 0.8945 1 0.2397 0.0009378 0.0007021 0.006136 0.1437 1 -0.0001121 0.003562 0.009971 0.001603 0.04003 6.524 1.265 0.8624 1.873 1 1 0.001886 0.003957 0.003402 0.992 2.081 1.789 json
t17_x19_u4_b120 17 19 4 120 dst(R,dst(P,cil(D))) 114194 138818760 o2(x,o2(x,o1(x))) true 73559 73559 1 1 1 0.00000487 0.002207 0.8238 1 0.1762 1 0.005124 0.000003527 0.000003519 0.00007172 0.001113 0 -2.253e-11 0.00001869 0.0001266 0.000007038 0.002653 36.99 0.1773 1.447 3.838 1 1 0.00001324 0.00001769 0.00001769 2.719 3.633 3.633 json
t17_x19_u5_b0 17 19 5 0 add(R,add(P,sgn(D))) 114195 138818841 o2(x,o2(x,o1(x))) true 73567 73567 0.00595 0.5052 0.9381 0.9161 0.9572 -1 1 2 1 1.967 0.02023 0.0003863 0.02552 0.9625 1 -0.00002103 0.03898 0.03368 0.01996 0.1413 5.536 1.994 0.0225 0.04255 1 1 0.02903 0.1149 0.2503 0.03168 0.1254 0.2733 json
t17_x19_u5_b1 17 19 5 1 add(R,sub(P,sgn(D))) 114196 138818842 o2(x,o2(x,o1(x))) true 73575 73575 0.005473 0.5038 0.9387 0.9181 0.9582 -1 1 2 1 1.958 0.02543 0.0003854 0.03948 0.9701 1 -0.00002092 0.041 0.04166 0.02427 0.1558 3.946 2 0.02812 0.04466 1 1 0.04155 0.1655 0.2563 0.04526 0.1803 0.2792 json
t17_x19_u5_b2 17 19 5 2 add(R,mlt(P,sgn(D))) 114197 138818843 o2(x,o2(x,o1(x))) true 73583 73583 -0.1277 0.4274 0.8699 0.8088 0.8993 -1 1 2 1 2.73 0.3022 0.0006992 0.2264 0.9954 1 -0.00001316 0.5125 0.3257 0.2515 0.5015 2.215 2.003 0.3744 0.6336 1 1 0.3241 1.405 0.2459 0.4007 1.737 0.304 json
t17_x19_u5_b3 17 19 5 3 add(R,div(P,sgn(D))) 114198 138818844 o2(x,o2(x,o1(x))) true 73591 73591 -0.1277 0.4274 0.8699 0.8088 0.8993 -1 1 2 1 2.73 0.3022 0.0006992 0.2264 0.9954 1 -0.00001316 0.5125 0.3257 0.2515 0.5015 2.215 2.003 0.3744 0.6336 1 1 0.3241 1.405 0.2459 0.4007 1.737 0.304 json
t17_x19_u5_b4 17 19 5 4 add(R,pow(P,sgn(D))) 114199 138818845 o2(x,o2(x,o1(x))) true 73599 73599 -0.1365 0.4516 0.8944 0.8421 0.9176 -1 1 2 1 2.375 0.03166 0.0006487 0.0517 0.9598 1 -0.0005657 0.05468 0.06055 0.02965 0.1722 3.33 1.83 0.03837 0.06494 1 1 0.0362 0.1508 0.3234 0.04299 0.1791 0.3841 json