0.00/0.00	c solving HOME/instance-4436349-1721108627.opb (Picat 3.6#12)
0.29/0.35	o 5533
0.39/0.47	o 5532
0.69/0.74	o 74
0.89/0.98	o 31
4.47/4.53	o 28
6.27/6.34	o 26
8.17/8.27	o 24
12.06/12.15	o 23
14.06/14.19	s OPTIMUM FOUND
14.06/14.19	v ~x5022 ~x6078 ~x9383 ~x8330 ~x1763 ~x2749 ~x5024 ~x6080 ~x9385 ~x8332 
14.06/14.19	v ~x1765 ~x2751 ~x5026 ~x6082 ~x9387 ~x8334 ~x1767 ~x2753 ~x5028 ~x6084 
14.06/14.19	v ~x9389 ~x8336 ~x1769 ~x2755 ~x5030 ~x6086 ~x9391 ~x8338 ~x1771 ~x2757 
14.06/14.19	v ~x5032 ~x6087 ~x9393 ~x8340 ~x40 ~x2759 ~x5034 ~x6089 ~x9395 ~x8342 
14.06/14.19	v ~x1773 ~x2761 ~x5036 ~x6091 ~x9397 ~x8344 ~x1775 ~x2763 ~x5038 ~x6093 
14.06/14.19	v ~x9399 ~x8346 ~x1777 ~x2765 ~x5040 ~x6095 ~x9401 ~x8348 ~x1779 ~x2767 
14.06/14.19	v ~x5042 ~x6097 ~x9403 ~x8350 ~x1781 ~x2769 ~x5044 ~x6099 ~x9405 ~x8352 
14.06/14.19	v ~x1783 ~x2771 ~x5046 ~x6101 ~x9407 ~x8354 ~x1785 ~x2773 ~x5048 ~x6103 
14.06/14.19	v ~x9409 ~x8356 ~x1787 ~x2775 ~x5050 ~x6105 ~x9411 ~x8358 ~x1789 ~x2777 
14.06/14.19	v ~x5052 ~x6107 ~x9413 ~x8360 ~x1791 ~x2779 ~x5054 ~x6109 ~x9415 ~x8362 
14.06/14.19	v ~x1793 ~x2781 ~x5056 ~x6111 ~x9417 ~x8364 ~x1795 ~x2783 ~x5058 ~x6113 
14.06/14.19	v ~x9419 ~x8366 ~x1797 ~x2785 ~x5060 ~x6115 ~x9421 ~x8368 ~x1799 ~x2787 
14.06/14.19	v ~x5062 ~x6117 ~x9423 ~x8370 ~x1801 ~x2789 ~x5064 ~x6119 ~x9425 ~x8372 
14.06/14.19	v ~x1803 ~x2791 ~x5066 ~x6121 ~x9427 ~x8374 ~x1805 ~x2793 ~x5068 ~x6122 
14.06/14.19	v ~x9429 ~x8376 ~x1807 ~x2795 ~x5070 ~x6124 ~x9431 ~x8378 ~x1809 ~x2797 
14.06/14.19	v ~x5072 ~x6126 ~x9433 ~x198 ~x1811 ~x2799 ~x5074 ~x6128 ~x9435 ~x8380 
14.06/14.19	v ~x1813 ~x2801 ~x5076 ~x6130 ~x9437 ~x8382 ~x1815 ~x2802 ~x5078 ~x6132 
14.06/14.19	v ~x9439 ~x8384 ~x1817 ~x2804 ~x5080 ~x6134 ~x9441 ~x8386 ~x1819 ~x2806 
14.06/14.19	v ~x5082 ~x6136 ~x9442 ~x8388 ~x1821 ~x2808 ~x5084 ~x6138 ~x9444 ~x8390 
14.06/14.19	v ~x1823 ~x2810 ~x5086 ~x6140 ~x9446 ~x8392 ~x1825 ~x2812 ~x5088 ~x6141 
14.06/14.19	v ~x9448 ~x8394 ~x1827 ~x2814 ~x5090 ~x6143 ~x9450 ~x8396 ~x1829 ~x2816 
14.06/14.19	v ~x5092 ~x6145 ~x9452 ~x8398 ~x1831 ~x2818 ~x5094 ~x6147 ~x9454 ~x8400 
14.06/14.19	v ~x1833 ~x2820 ~x5096 ~x6149 ~x9456 ~x8403 ~x1835 ~x2822 ~x5098 ~x6151 
14.06/14.19	v ~x9458 ~x8405 ~x1837 ~x2824 ~x5100 ~x6153 ~x9460 ~x8407 ~x1839 ~x2826 
14.06/14.19	v ~x5102 ~x6155 ~x9462 ~x8410 ~x1841 ~x2828 ~x5104 ~x6157 ~x9464 ~x8412 
14.06/14.19	v ~x1843 ~x2830 ~x5106 ~x6159 ~x9466 ~x8414 ~x1845 ~x2832 ~x5108 ~x6160 
14.06/14.19	v ~x9468 ~x8416 ~x1847 ~x2834 ~x5110 ~x6162 ~x9470 ~x8418 ~x1849 ~x2836 
14.06/14.19	v ~x5112 ~x6164 ~x9472 ~x8420 ~x1851 ~x2838 ~x5114 ~x6166 ~x9474 ~x8422 
14.06/14.19	v ~x1853 ~x2840 ~x5116 ~x6168 ~x9476 ~x8424 ~x1855 ~x2842 ~x5118 ~x6170 
14.06/14.19	v ~x9478 ~x8426 ~x1857 ~x2844 ~x5120 ~x6171 ~x9480 ~x8428 ~x1859 ~x2846 
14.06/14.19	v ~x5122 ~x6173 ~x9482 ~x8430 ~x1861 ~x2848 ~x5124 ~x6175 ~x9484 ~x8432 
14.06/14.19	v ~x1863 ~x2850 ~x5126 ~x6177 ~x9486 ~x8434 ~x1865 ~x2852 ~x5128 ~x6179 
14.06/14.19	v ~x9488 ~x8436 ~x1867 ~x2854 ~x5130 ~x6181 ~x9490 ~x8438 ~x1869 ~x2855 
14.06/14.19	v ~x5132 ~x6183 ~x9492 ~x199 ~x1871 ~x2857 ~x5134 ~x6185 ~x9494 ~x8440 
14.06/14.19	v ~x1873 ~x2859 ~x5136 ~x6187 ~x9496 ~x8442 ~x1875 ~x2861 ~x5138 ~x6189 
14.06/14.19	v ~x9498 ~x8444 ~x1877 ~x2863 ~x5140 ~x6191 ~x9500 ~x8446 ~x1879 ~x2865 
14.06/14.19	v ~x5142 ~x6193 ~x9502 ~x8448 ~x1881 ~x2867 ~x5144 ~x6195 ~x9504 ~x8452 
14.06/14.19	v ~x1883 ~x2869 ~x5146 ~x6197 ~x9506 ~x8454 ~x1885 ~x2871 ~x5148 ~x6198 
14.06/14.19	v ~x9508 ~x8456 ~x1887 ~x2873 ~x5150 ~x6200 ~x9510 ~x8458 ~x1889 ~x2875 
14.06/14.19	v ~x5152 ~x6202 ~x9512 ~x8461 ~x1891 ~x2877 ~x5154 ~x6204 ~x9514 ~x8463 
14.06/14.19	v ~x1893 ~x2879 ~x5156 ~x6206 ~x9516 ~x8465 ~x1895 ~x2881 ~x5158 ~x6208 
14.06/14.19	v ~x9518 ~x200 ~x1897 ~x2883 ~x5160 ~x6210 ~x9520 ~x8467 ~x41 ~x2885 
14.06/14.19	v ~x5162 ~x6212 ~x9522 ~x8469 ~x1899 ~x2887 ~x5164 ~x6214 ~x9524 ~x8472 
14.06/14.19	v ~x1901 ~x2889 ~x5166 ~x6216 ~x9526 ~x8474 ~x1903 ~x2891 ~x5168 ~x6218 
14.06/14.19	v ~x9528 ~x8476 ~x1905 ~x2893 ~x5170 ~x6220 ~x9530 ~x8478 ~x1907 ~x2895 
14.06/14.19	v ~x5172 ~x6222 ~x9532 ~x8480 ~x1909 ~x2897 ~x5174 ~x6224 ~x9534 ~x8482 
14.06/14.19	v ~x1911 ~x2898 ~x5176 ~x6226 ~x9536 ~x8484 ~x1913 ~x2900 ~x5178 x6228 
14.06/14.19	v ~x9538 ~x8486 ~x1915 ~x2902 ~x5180 ~x6230 ~x9540 ~x8488 ~x1917 ~x2904 
14.06/14.19	v ~x5182 ~x6232 ~x9542 ~x8490 ~x1919 ~x2906 ~x5184 ~x6234 ~x9544 ~x8492 
14.06/14.19	v ~x1921 ~x2908 ~x5186 ~x6236 ~x9546 ~x8494 ~x1923 ~x2910 ~x5188 ~x6238 
14.06/14.19	v ~x9548 ~x8496 ~x1925 ~x2912 ~x5190 ~x6240 ~x9550 ~x8498 ~x1927 ~x2914 
14.06/14.19	v ~x5192 ~x6242 ~x9552 ~x8500 ~x1929 ~x2916 ~x5194 ~x6244 ~x9554 ~x8502 
14.06/14.19	v ~x1931 ~x2918 ~x5196 ~x6246 ~x9556 ~x8504 ~x1933 ~x2920 ~x5198 ~x6248 
14.06/14.19	v ~x9558 ~x8506 ~x1935 ~x2922 ~x5200 ~x6250 ~x9560 ~x8508 ~x1937 ~x2924 
14.06/14.19	v ~x5202 ~x6251 ~x9561 ~x8510 ~x1939 ~x2926 ~x5204 ~x6253 ~x9563 ~x8513 
14.06/14.19	v ~x1941 ~x2928 ~x5206 ~x6255 ~x9565 ~x8515 ~x1943 ~x2930 ~x5208 ~x6257 
14.06/14.19	v ~x9567 ~x8517 ~x1945 ~x2932 ~x5210 ~x6259 ~x9569 ~x8519 ~x1947 ~x2934 
14.06/14.19	v ~x5212 ~x6261 ~x9571 ~x8521 ~x1949 ~x2936 ~x5214 ~x6263 ~x9573 ~x8523 
14.06/14.19	v ~x1951 ~x2938 ~x123 ~x6265 ~x9575 ~x201 ~x1953 ~x2940 ~x5216 ~x6267 
14.06/14.19	v ~x9577 ~x8526 ~x1955 ~x2942 ~x5218 ~x6269 ~x9579 ~x8528 ~x1957 ~x2944 
14.06/14.19	v ~x5220 ~x6271 ~x9581 ~x8530 ~x1959 ~x2946 ~x5222 ~x6273 ~x9583 ~x8532 
14.06/14.19	v ~x42 ~x2948 ~x5224 ~x6275 ~x9585 ~x8534 ~x1961 ~x2950 ~x5226 ~x6277 
14.06/14.19	v ~x9587 ~x8536 ~x1963 ~x2952 ~x5228 ~x6279 ~x9589 ~x8538 ~x1965 ~x2954 
14.06/14.19	v ~x5230 ~x6281 ~x9591 ~x8540 ~x1967 ~x2956 ~x5232 ~x6283 ~x9593 ~x8542 
14.06/14.19	v ~x1969 ~x2958 ~x5234 ~x6285 ~x9595 ~x8544 ~x1971 ~x2960 ~x5236 ~x6287 
14.06/14.19	v ~x9597 ~x8546 ~x1973 ~x2962 ~x5238 ~x6289 ~x9599 ~x8549 ~x1975 ~x2964 
14.06/14.19	v ~x5240 ~x6291 ~x9601 ~x202 ~x1977 ~x2966 ~x5242 ~x6293 ~x9603 ~x8552 
14.06/14.19	v ~x1979 ~x2968 ~x5244 ~x6295 ~x9605 ~x8554 ~x1981 ~x2970 ~x5246 ~x6297 
14.06/14.19	v ~x9607 ~x8556 ~x1983 ~x2972 ~x5248 ~x6299 ~x9609 ~x8558 ~x1985 ~x2974 
14.06/14.19	v ~x5250 ~x6301 ~x9611 ~x8560 ~x1987 ~x2976 ~x5252 ~x6303 ~x9613 ~x8562 
14.06/14.19	v ~x1989 ~x2978 ~x5254 ~x6305 ~x9615 ~x8564 ~x1991 ~x2980 ~x5256 ~x6307 
14.06/14.19	v ~x9616 ~x8566 ~x1993 ~x2982 ~x5258 ~x6309 ~x9618 ~x8568 ~x1995 ~x2984 
14.06/14.19	v ~x5260 ~x6311 ~x9620 ~x8570 ~x1997 ~x2986 ~x5262 ~x6313 ~x9622 ~x8573 
14.06/14.19	v ~x1999 ~x2988 ~x5264 ~x6315 ~x9624 ~x8576 ~x2001 ~x2990 ~x5266 ~x6317 
14.06/14.19	v ~x9626 ~x8578 ~x2003 ~x2992 ~x5268 ~x6319 ~x9628 ~x8580 ~x2005 ~x2994 
14.06/14.19	v ~x5270 ~x6321 ~x9630 ~x8582 ~x2007 ~x2996 ~x5272 ~x6323 ~x9632 ~x8585 
14.06/14.19	v ~x2009 ~x2998 ~x5274 ~x6325 ~x9634 ~x8587 ~x2011 ~x3000 ~x5276 ~x6327 
14.06/14.19	v ~x9635 ~x8589 ~x2013 ~x3002 ~x5278 ~x6329 ~x9637 ~x8591 ~x2015 ~x3004 
14.06/14.19	v ~x5280 ~x6331 ~x9639 ~x203 ~x2017 ~x3006 ~x5282 ~x6333 ~x9641 ~x8593 
14.06/14.19	v ~x2019 ~x3008 ~x5284 ~x6335 ~x9643 ~x8595 ~x2021 ~x3010 ~x5286 ~x6337 
14.06/14.19	v ~x9645 ~x8597 ~x2023 ~x3011 ~x5288 ~x6339 ~x9647 ~x8599 ~x2025 ~x3013 
14.06/14.19	v ~x5290 ~x6341 ~x9649 ~x8601 ~x2027 ~x3015 ~x5292 ~x6343 ~x9651 ~x8603 
14.06/14.19	v ~x2029 ~x3017 ~x5294 ~x6345 ~x9653 ~x8605 ~x2031 ~x3019 ~x5296 ~x6347 
14.06/14.19	v ~x9655 ~x8607 ~x2033 ~x3021 ~x5300 ~x6349 ~x9657 ~x8609 ~x2035 ~x3023 
14.06/14.19	v ~x5302 ~x6351 ~x9659 ~x8611 ~x2037 ~x3025 ~x5304 ~x6353 ~x9661 ~x8613 
14.06/14.19	v ~x2039 ~x3027 ~x5306 ~x6355 ~x9663 ~x8615 ~x2041 ~x3029 ~x5308 ~x6357 
14.06/14.19	v ~x9665 ~x8617 ~x2043 ~x3031 ~x5310 ~x6359 ~x9667 ~x8619 ~x2045 ~x3033 
14.06/14.19	v ~x5312 ~x6361 ~x9669 ~x8621 ~x2047 ~x3035 ~x5314 ~x6363 ~x9671 ~x8623 
14.06/14.19	v ~x2049 ~x3037 ~x5316 ~x6365 ~x9673 ~x8625 ~x2051 ~x3039 ~x5318 ~x6367 
14.06/14.19	v ~x9675 ~x8627 ~x2053 ~x3041 ~x5320 ~x6369 ~x9677 ~x8629 ~x2055 ~x3043 
14.06/14.19	v ~x5322 ~x6371 ~x9679 ~x8631 ~x2057 ~x3045 ~x5324 ~x6373 ~x9681 ~x8633 
14.06/14.19	v ~x2059 ~x3047 ~x5326 ~x6375 ~x9683 ~x8635 ~x2061 ~x3049 ~x5328 ~x6377 
14.06/14.19	v ~x9685 ~x8637 ~x2063 ~x3051 ~x5330 ~x6379 ~x9687 ~x8639 ~x2065 ~x3052 
14.06/14.19	v ~x5332 ~x6381 ~x9689 ~x8641 ~x2067 ~x3054 ~x5334 ~x6383 ~x9690 ~x8643 
14.06/14.19	v ~x2069 ~x3056 ~x5336 ~x6385 ~x9692 ~x8645 ~x2071 ~x3058 ~x5338 ~x6387 
14.06/14.19	v ~x9694 ~x8647 ~x2073 ~x3060 ~x124 ~x6389 ~x9696 ~x8649 ~x2075 ~x3062 
14.06/14.19	v ~x5340 ~x6391 ~x9698 ~x8651 ~x2078 ~x3064 ~x5342 ~x6393 ~x9700 ~x8653 
14.06/14.19	v ~x2080 ~x3066 ~x5344 ~x6395 ~x9702 ~x8655 ~x2082 ~x3068 ~x5346 ~x6397 
14.06/14.19	v ~x9704 ~x8657 ~x2084 ~x3070 ~x5348 ~x6399 ~x9706 ~x8659 ~x43 ~x3072 
14.06/14.19	v ~x5350 ~x6401 ~x9708 ~x8661 ~x2086 ~x3074 ~x5352 ~x6402 ~x9710 ~x8663 
14.06/14.19	v ~x2088 ~x3076 ~x5354 ~x6404 ~x9712 ~x8665 ~x2090 ~x3078 ~x5356 ~x6406 
14.06/14.19	v ~x9714 ~x8667 ~x2092 ~x3080 ~x5358 ~x6408 ~x9716 ~x8669 ~x2094 ~x3082 
14.06/14.19	v ~x5360 ~x6410 ~x9718 ~x8671 ~x2096 ~x3084 ~x5362 ~x6412 ~x9720 ~x8674 
14.06/14.19	v ~x2098 ~x3086 ~x5364 ~x6414 ~x9721 ~x8676 ~x2100 ~x3088 ~x5366 ~x6416 
14.06/14.19	v ~x9723 ~x8678 ~x2102 ~x3090 ~x5368 ~x6417 ~x9725 ~x8680 ~x2104 ~x3092 
14.06/14.19	v ~x5370 ~x6419 ~x9727 ~x8682 ~x2106 ~x3094 ~x5372 ~x6421 ~x9729 ~x8684 
14.06/14.19	v ~x2108 ~x3096 ~x5374 ~x6423 ~x9730 ~x8686 ~x2110 ~x3098 ~x5376 ~x6425 
14.06/14.19	v ~x9732 ~x8688 ~x2112 ~x3100 ~x5378 ~x6427 ~x9734 ~x8690 ~x2114 ~x3102 
14.06/14.19	v ~x5380 ~x6429 ~x9736 ~x8692 ~x2116 ~x3104 ~x5382 ~x6431 ~x9738 ~x8694 
14.06/14.19	v ~x2118 ~x3106 ~x5384 ~x6433 ~x9740 ~x8696 ~x2120 ~x3108 ~x5386 ~x6435 
14.06/14.19	v ~x9742 ~x8698 ~x2122 ~x3110 ~x5388 ~x6437 ~x9744 ~x8700 ~x2124 ~x3112 
14.06/14.19	v ~x5390 ~x6439 ~x9746 ~x8702 ~x2126 ~x3114 ~x5392 ~x6441 ~x9748 ~x8704 
14.06/14.19	v ~x2128 ~x3116 ~x5394 ~x6443 ~x9750 ~x8706 ~x2130 ~x3118 ~x5396 ~x6445 
14.06/14.19	v ~x9752 ~x8708 ~x2132 ~x3120 ~x5398 ~x6447 ~x9754 ~x8710 ~x2134 ~x3122 
14.06/14.19	v ~x5400 ~x6449 ~x9756 ~x8712 ~x2136 ~x3124 ~x5402 ~x6451 ~x9758 ~x8714 
14.06/14.19	v ~x2138 ~x3126 ~x5404 ~x6453 ~x9760 ~x8716 ~x2140 ~x3128 ~x5406 ~x6455 
14.06/14.19	v ~x9762 ~x204 ~x2142 ~x3130 ~x5408 ~x6456 ~x9764 ~x8718 ~x2144 ~x3132 
14.06/14.19	v ~x5410 ~x6458 ~x9766 ~x8720 ~x2146 ~x3134 ~x5412 ~x6460 ~x9768 ~x8722 
14.06/14.19	v ~x44 ~x3136 ~x5414 ~x6462 ~x9770 ~x8724 ~x2148 ~x3138 ~x5416 ~x6464 
14.06/14.19	v ~x9771 ~x8726 ~x2150 ~x3140 ~x5418 ~x6466 ~x9773 ~x8728 ~x2152 ~x3142 
14.06/14.19	v ~x5420 ~x6468 ~x9775 ~x8730 ~x2154 ~x3144 ~x5422 ~x6470 ~x9777 ~x8732 
14.06/14.19	v ~x2156 ~x3146 ~x5424 ~x6472 ~x9779 ~x8734 ~x2158 ~x3148 ~x5426 ~x6474 
14.06/14.19	v ~x9781 ~x8736 ~x2160 ~x3150 ~x5428 ~x6476 ~x9783 ~x8738 ~x2162 ~x3152 
14.06/14.19	v ~x5430 ~x6478 ~x9785 ~x8740 ~x2164 ~x3154 ~x5432 ~x6480 ~x9787 ~x8742 
14.06/14.19	v ~x2166 ~x3156 ~x5434 ~x6482 ~x9789 ~x8744 ~x2168 ~x3158 ~x5436 ~x6484 
14.06/14.19	v ~x9791 ~x8746 ~x2170 ~x3160 ~x5438 ~x6486 ~x9793 ~x8748 ~x2172 ~x3162 
14.06/14.19	v ~x5440 ~x6488 ~x9795 ~x8750 ~x2174 ~x3164 ~x5442 x6490 ~x9797 ~x8752 
14.06/14.19	v ~x2176 ~x3166 ~x5444 ~x6492 ~x9799 ~x8754 ~x2178 ~x3168 ~x5446 ~x6494 
14.06/14.19	v ~x9801 ~x8756 ~x2180 ~x3170 ~x5448 ~x6496 ~x9803 ~x8758 ~x2182 ~x3172 
14.06/14.19	v ~x5450 ~x6498 ~x9805 ~x8761 ~x2184 ~x3174 ~x5452 ~x6500 ~x9807 ~x8763 
14.06/14.19	v ~x2186 ~x3176 ~x5454 ~x6502 ~x9809 ~x8765 ~x2188 ~x3178 ~x5456 ~x6504 
14.06/14.19	v ~x9811 ~x8767 ~x2190 ~x3180 ~x5458 ~x6506 ~x9813 ~x8769 ~x2192 ~x3182 
14.06/14.19	v ~x5460 ~x6508 ~x9815 ~x8771 ~x2194 ~x3184 ~x5462 ~x6510 ~x9817 ~x8773 
14.06/14.19	v ~x2196 ~x3186 ~x125 ~x6512 ~x9819 ~x8775 ~x2198 ~x3188 ~x5465 ~x6514 
14.06/14.19	v ~x9821 ~x8777 ~x2200 ~x3190 ~x5467 ~x6516 ~x9823 ~x205 ~x2202 ~x3192 
14.06/14.19	v ~x5469 ~x6518 ~x9825 ~x8779 ~x2204 ~x3194 ~x5471 ~x6520 ~x9827 ~x8781 
14.06/14.19	v ~x2206 ~x3196 ~x5473 ~x6522 ~x9829 ~x8783 ~x2208 ~x3198 ~x5475 ~x6524 
14.06/14.19	v ~x9831 ~x8785 ~x45 ~x3200 ~x5477 ~x6526 ~x9833 ~x8787 ~x2210 ~x3202 
14.06/14.19	v ~x5479 ~x6528 ~x9835 ~x8789 ~x2212 ~x3204 ~x5481 ~x6530 ~x9837 ~x8791 
14.06/14.19	v ~x2214 ~x3206 ~x5483 ~x6532 ~x9839 ~x8793 ~x2216 ~x3208 ~x5485 ~x6534 
14.06/14.19	v ~x9841 ~x8795 ~x2218 ~x3210 ~x5487 ~x6536 ~x9843 ~x8797 ~x2220 ~x3212 
14.06/14.19	v ~x5489 ~x6538 ~x9845 ~x8799 ~x2222 ~x3214 ~x5491 ~x6540 ~x9847 ~x8801 
14.06/14.19	v ~x2224 ~x3216 ~x5493 ~x6542 ~x9849 ~x8803 ~x2226 ~x3218 ~x5495 ~x6544 
14.06/14.19	v ~x9851 ~x8805 ~x2228 ~x3220 ~x5497 ~x6546 ~x9853 ~x8807 ~x2230 ~x3222 
14.06/14.19	v ~x5500 ~x6548 ~x9855 ~x8809 ~x2232 ~x3224 ~x5502 ~x6550 ~x9857 ~x8811 
14.06/14.19	v ~x2234 ~x3226 ~x5504 ~x6552 ~x9859 ~x8813 ~x2237 ~x3228 ~x5506 ~x6554 
14.06/14.19	v ~x9861 ~x8815 ~x46 ~x3230 ~x5508 ~x6556 ~x9862 ~x8817 ~x2239 ~x3232 
14.06/14.19	v ~x5510 ~x6558 ~x9864 ~x8819 ~x2241 ~x3234 ~x5512 ~x6560 ~x9865 ~x8821 
14.06/14.19	v ~x2243 ~x3236 ~x5514 ~x6562 ~x9867 ~x8823 ~x2245 ~x3238 ~x5516 ~x6564 
14.06/14.19	v ~x9869 ~x8825 ~x2247 ~x3240 ~x5518 ~x6566 ~x9871 ~x8827 ~x2249 ~x3242 
14.06/14.19	v ~x5520 ~x6568 ~x9872 ~x8829 ~x2251 ~x3244 ~x5522 ~x6570 ~x9874 ~x8831 
14.06/14.19	v ~x2253 ~x3246 ~x5524 ~x6572 ~x9876 ~x8833 ~x2255 ~x3248 ~x126 ~x6574 
14.06/14.19	v ~x9878 ~x8835 ~x2257 ~x3250 ~x5526 ~x6576 ~x9880 ~x8837 ~x2259 ~x3252 
14.06/14.19	v ~x5528 ~x6578 ~x9882 ~x206 ~x2261 ~x3254 ~x5530 ~x6580 ~x9884 ~x8839 
14.06/14.19	v ~x2263 ~x3256 ~x5532 ~x6582 ~x9886 ~x8841 ~x2265 ~x3258 ~x5534 ~x6583 
14.06/14.19	v ~x9888 ~x8843 ~x2267 ~x3260 ~x5537 ~x6585 ~x9890 ~x8845 ~x2269 ~x3262 
14.06/14.19	v ~x5539 ~x6587 ~x9892 ~x8847 ~x2271 ~x3264 ~x5541 ~x6589 ~x9894 ~x8849 
14.06/14.19	v ~x2273 ~x3266 ~x5543 ~x6591 ~x9896 ~x8851 ~x2275 ~x3268 ~x5545 ~x6593 
14.06/14.19	v ~x9898 ~x8853 ~x2277 ~x3270 ~x5547 ~x6595 ~x9900 ~x8855 ~x2279 ~x3272 
14.06/14.19	v ~x5549 ~x6597 ~x9902 ~x8857 ~x2281 ~x3274 ~x5551 ~x6599 ~x9904 ~x8859 
14.06/14.19	v ~x2283 ~x3276 ~x5553 ~x6601 ~x9906 ~x8861 ~x2285 ~x3278 ~x5555 ~x6603 
14.06/14.19	v ~x9908 ~x8863 ~x2287 ~x3280 ~x5557 ~x6605 ~x9910 ~x8865 ~x2289 ~x3282 
14.06/14.19	v ~x5559 ~x6607 ~x9912 ~x8867 ~x2291 ~x3284 ~x5561 ~x6609 ~x9914 ~x207 
14.06/14.19	v ~x2293 ~x3286 ~x5563 ~x6611 ~x9916 ~x8869 ~x2295 ~x3288 ~x5565 ~x6613 
14.06/14.19	v ~x9918 ~x8871 ~x2297 ~x3290 ~x5567 ~x6615 ~x9920 ~x8873 ~x2299 ~x3292 
14.06/14.19	v ~x5569 ~x6617 ~x9921 ~x8875 ~x2301 ~x3294 ~x5571 ~x6619 ~x9923 ~x8877 
14.06/14.19	v ~x2303 ~x3296 ~x5573 ~x6621 ~x9925 ~x8879 ~x2305 ~x3298 ~x5575 ~x6623 
14.06/14.19	v ~x9927 ~x8881 ~x2307 ~x3300 ~x5577 ~x6625 ~x9929 ~x8883 ~x2309 ~x3302 
14.06/14.19	v ~x5579 ~x6627 ~x9930 ~x8885 ~x2311 ~x3304 ~x5581 ~x6629 ~x9932 ~x8887 
14.06/14.19	v ~x2313 ~x3306 ~x5583 ~x6631 ~x9934 ~x8889 ~x2315 ~x3308 ~x5585 ~x6633 
14.06/14.19	v ~x9936 ~x8891 ~x2317 ~x3310 ~x5587 ~x6635 ~x9937 ~x8893 ~x2319 ~x3312 
14.06/14.19	v ~x5589 ~x6637 ~x9939 ~x8895 ~x2321 ~x3314 ~x5591 ~x6639 ~x9941 ~x8897 
14.06/14.19	v ~x2323 ~x3316 ~x5593 ~x6641 ~x9943 ~x8899 ~x2325 ~x3318 ~x5595 ~x6643 
14.06/14.19	v ~x9945 ~x8902 ~x2327 ~x3320 ~x5597 ~x6645 ~x9947 ~x8904 ~x2329 ~x3322 
14.06/14.19	v ~x5599 ~x6647 ~x9949 ~x8906 ~x2331 ~x3324 ~x5601 ~x6649 ~x9951 ~x8908 
14.06/14.19	v ~x2333 ~x3326 ~x5603 ~x6651 ~x9953 ~x8910 ~x2335 ~x3328 ~x5605 ~x6652 
14.06/14.19	v ~x9954 ~x8912 ~x2337 ~x3330 ~x5607 ~x6654 ~x9956 ~x8914 ~x2339 ~x3332 
14.06/14.19	v ~x5609 ~x6656 ~x9958 ~x8916 ~x2341 ~x3334 ~x5611 ~x6658 ~x9960 ~x8918 
14.06/14.19	v ~x2343 ~x3336 ~x5613 ~x6660 ~x9961 ~x8920 ~x2345 ~x3338 ~x5615 ~x6662 
14.06/14.19	v ~x9963 ~x8922 ~x2347 ~x3340 ~x5617 ~x6664 ~x9965 ~x8924 ~x2349 ~x3342 
14.06/14.19	v ~x5619 ~x6666 ~x9966 ~x8926 ~x2351 ~x3344 ~x5621 ~x6668 ~x9968 ~x8928 
14.06/14.19	v ~x2353 ~x3346 ~x5623 ~x6670 ~x9970 ~x208 ~x2355 ~x3348 ~x5625 ~x6672 
14.06/14.19	v ~x9972 ~x8930 ~x2357 ~x3350 ~x5627 ~x6674 ~x9974 ~x8932 ~x2359 ~x3352 
14.06/14.19	v ~x5629 ~x6676 ~x9976 ~x8935 ~x2361 ~x3354 ~x5631 ~x6678 ~x9977 ~x8937 
14.06/14.19	v ~x2363 ~x3356 ~x5633 ~x6680 ~x9979 ~x8939 ~x47 ~x3358 ~x5635 ~x6682 
14.06/14.19	v ~x9981 ~x8941 ~x2365 ~x3360 ~x5637 ~x6684 ~x9983 ~x8943 ~x2367 ~x3362 
14.06/14.19	v ~x5639 ~x6686 ~x9984 ~x8945 ~x2369 ~x3364 ~x5642 ~x6688 ~x9985 ~x8947 
14.06/14.19	v ~x2371 ~x3366 ~x5645 ~x6690 ~x9987 ~x8949 ~x2373 ~x3368 ~x5647 ~x6692 
14.06/14.19	v ~x9989 ~x8951 ~x2375 ~x3370 ~x127 ~x6694 ~x9991 ~x8953 ~x2377 ~x3372 
14.06/14.19	v ~x5649 ~x6696 ~x9993 ~x8955 ~x2379 ~x3374 ~x5651 ~x6698 ~x9995 ~x8957 
14.06/14.19	v ~x2381 ~x3376 ~x5653 ~x6700 ~x9996 ~x209 ~x2383 ~x3378 ~x5655 ~x6702 
14.06/14.19	v ~x9998 ~x8959 ~x2385 ~x3380 ~x5658 ~x6704 ~x10000 ~x8961 ~x2387 ~x3382 
14.06/14.19	v ~x5661 ~x6706 ~x10002 ~x8963 ~x2389 ~x3384 ~x5663 ~x6708 ~x10004 ~x8965 
14.06/14.19	v ~x2391 ~x3386 ~x5665 ~x6710 ~x10006 ~x8967 ~x2393 ~x3388 ~x5667 ~x6712 
14.06/14.19	v ~x10008 ~x8969 ~x2395 ~x3390 ~x5669 ~x6714 ~x10010 ~x8971 ~x2397 ~x3392 
14.06/14.19	v ~x5671 ~x6716 ~x10012 ~x8973 ~x2399 ~x3394 ~x5673 ~x6718 ~x10014 ~x8975 
14.06/14.19	v ~x2401 ~x3396 ~x5675 ~x6720 ~x10016 ~x8977 ~x2403 ~x3398 ~x5677 ~x6722 
14.06/14.19	v ~x10018 ~x8979 ~x2405 ~x3400 ~x5679 ~x6724 ~x10020 ~x8981 ~x2407 ~x3402 
14.06/14.19	v ~x5681 ~x6726 ~x10022 ~x8983 ~x2409 ~x3404 ~x5683 ~x6728 ~x10024 ~x8985 
14.06/14.19	v ~x2411 ~x3406 ~x5685 ~x6730 ~x10026 ~x8987 ~x2413 ~x3408 ~x5687 ~x6732 
14.06/14.19	v ~x10028 ~x210 ~x2415 ~x3410 ~x5689 ~x6734 ~x10030 ~x8989 ~x2417 ~x3412 
14.06/14.19	v ~x5691 ~x6736 ~x10032 ~x8991 ~x2419 ~x3414 ~x5693 ~x6738 ~x10033 ~x8993 
14.06/14.19	v ~x2421 ~x3416 ~x5695 ~x6740 ~x10035 ~x8995 ~x2423 ~x3418 ~x5697 ~x6742 
14.06/14.19	v ~x10037 ~x8997 ~x2425 ~x3420 ~x5699 ~x6744 ~x10039 ~x9000 ~x48 ~x3422 
14.06/14.19	v ~x5701 ~x6746 ~x10041 ~x211 ~x2427 ~x3424 ~x5703 ~x6748 ~x10043 ~x9002 
14.06/14.19	v ~x2429 ~x3426 ~x5705 ~x6750 ~x10044 ~x9004 ~x2431 ~x3428 ~x5707 ~x6752 
14.06/14.19	v ~x10045 ~x9006 ~x2433 ~x3430 ~x128 ~x6754 ~x10047 ~x9008 ~x2435 ~x3432 
14.06/14.19	v ~x5709 ~x6756 ~x10048 ~x9010 ~x2437 ~x3434 ~x5711 ~x6758 ~x10050 ~x9012 
14.06/14.19	v ~x2439 ~x3436 ~x5713 ~x6760 ~x10052 ~x9014 ~x2441 ~x3438 ~x5715 ~x6762 
14.06/14.19	v ~x10054 ~x9016 ~x2443 ~x3440 ~x5717 ~x6764 ~x10056 ~x9018 ~x2445 ~x3442 
14.06/14.19	v ~x5719 ~x6766 ~x10058 ~x9020 ~x2447 ~x3444 ~x5721 ~x6768 ~x10060 ~x9022 
14.06/14.19	v ~x2449 ~x3446 ~x5723 ~x6770 ~x10062 ~x9024 ~x2451 ~x3448 ~x5725 ~x6772 
14.06/14.19	v ~x10064 ~x9026 ~x2453 ~x3450 ~x5727 ~x6774 ~x10066 ~x9028 ~x2455 ~x3452 
14.06/14.19	v ~x5729 ~x6776 ~x10067 ~x9030 ~x2457 ~x3454 ~x5731 ~x6778 ~x10069 ~x9032 
14.06/14.19	v ~x2459 ~x3456 ~x5733 ~x6780 ~x10071 ~x9034 ~x2461 ~x3458 ~x5735 ~x6782 
14.06/14.19	v ~x10072 ~x9036 ~x2463 ~x3460 ~x5738 ~x6783 ~x10074 ~x9038 ~x2465 ~x3462 
14.06/14.19	v ~x5740 ~x6785 ~x10075 ~x9040 ~x2467 ~x3464 ~x5742 ~x6787 ~x10077 ~x9042 
14.06/14.19	v ~x2469 ~x3466 ~x5744 ~x6789 ~x10079 ~x9044 ~x2471 ~x3468 ~x5746 ~x6790 
14.06/14.19	v ~x10081 ~x9046 ~x2473 ~x3470 ~x5748 ~x6792 ~x10083 ~x9048 ~x2475 ~x3472 
14.06/14.19	v ~x5750 ~x6794 ~x10085 ~x9050 ~x2477 ~x3474 ~x5752 ~x6796 ~x10086 ~x9052 
14.06/14.19	v ~x2479 ~x3476 ~x5754 ~x6798 ~x10088 ~x9054 ~x2481 ~x3478 ~x5756 ~x6800 
14.06/14.19	v ~x10090 ~x9056 ~x2483 ~x3480 ~x5759 ~x6802 ~x10092 ~x9058 ~x2485 ~x3482 
14.06/14.19	v ~x5761 ~x6804 ~x10094 ~x9060 ~x2487 ~x3483 ~x5763 ~x6806 ~x10096 ~x9062 
14.06/14.19	v ~x49 ~x3485 ~x5765 ~x6808 ~x10098 ~x212 ~x2489 ~x3487 ~x5767 ~x6810 
14.06/14.19	v ~x10100 ~x9064 ~x2491 ~x3489 ~x129 ~x6812 ~x10102 ~x9066 ~x2493 ~x3491 
14.06/14.19	v ~x5769 ~x6814 ~x10103 ~x9068 ~x2495 ~x3493 ~x5771 ~x6816 ~x10105 ~x9070 
14.06/14.19	v ~x2497 ~x3495 ~x5773 ~x6818 ~x10107 ~x9072 ~x2499 ~x3497 ~x5775 ~x6820 
14.06/14.19	v ~x10109 ~x9074 ~x2501 ~x3499 ~x5777 ~x6822 ~x10111 ~x9076 ~x2503 ~x3501 
14.06/14.19	v ~x5779 ~x6824 ~x10113 ~x9078 ~x2505 ~x3503 ~x5781 ~x6826 ~x10115 ~x9080 
14.06/14.19	v ~x2507 ~x3505 ~x5784 ~x6828 ~x10117 ~x9082 ~x2509 ~x3507 ~x5786 ~x6830 
14.06/14.19	v ~x10119 ~x9084 ~x2511 ~x3509 ~x5788 ~x6832 ~x10121 ~x9086 ~x2513 ~x3511 
14.06/14.19	v ~x5790 ~x6834 ~x10123 ~x9088 ~x2515 ~x3513 ~x5793 ~x6835 ~x10125 ~x9090 
14.06/14.19	v ~x2517 ~x3515 ~x5795 ~x6837 ~x10127 ~x9092 ~x50 ~x3517 ~x130 ~x6839 
14.06/14.19	v ~x10129 ~x213 ~x2519 ~x3519 ~x5797 ~x6841 ~x10131 ~x9094 ~x2521 ~x3521 
14.06/14.19	v ~x5799 ~x6843 ~x10133 ~x9096 ~x2523 ~x3523 ~x5801 ~x6845 ~x10134 ~x9098 
14.06/14.19	v ~x2525 ~x3525 ~x5803 ~x6847 ~x10136 ~x9100 ~x2527 ~x3527 ~x5805 x6848 
14.06/14.19	v ~x10138 ~x9102 ~x2529 ~x3529 ~x5807 ~x6850 ~x10139 ~x9104 ~x2531 ~x3531 
14.06/14.19	v ~x5809 ~x6852 ~x10141 ~x9106 ~x2533 ~x3533 ~x5811 ~x6854 ~x10143 ~x9108 
14.06/14.19	v ~x2535 ~x3535 ~x5813 ~x6856 ~x10145 ~x9110 ~x2537 ~x3537 ~x5815 ~x6858 
14.06/14.19	v ~x10147 ~x9112 ~x2539 ~x3539 ~x5817 ~x6860 ~x10149 ~x9114 ~x2541 ~x3541 
14.06/14.19	v ~x5819 ~x6862 ~x10151 ~x9116 ~x2543 ~x3543 ~x5821 ~x6864 ~x10153 ~x9118 
14.06/14.19	v ~x2545 ~x3545 ~x5823 ~x6866 ~x10155 ~x9120 ~x2547 ~x3547 ~x5825 ~x6868 
14.06/14.19	v ~x10157 ~x9122 ~x2549 ~x3549 ~x5827 ~x6870 ~x10159 ~x214 ~x2551 ~x3551 
14.06/14.19	v ~x5829 ~x6872 ~x10161 ~x9124 ~x2553 ~x3553 ~x5831 ~x6874 ~x10163 ~x9126 
14.06/14.19	v ~x2555 ~x3555 ~x5833 ~x6876 ~x10165 ~x9128 ~x2557 ~x3557 ~x5835 ~x6878 
14.06/14.19	v ~x10167 ~x9130 ~x2559 ~x3559 ~x5837 ~x6880 ~x10169 ~x9133 ~x2561 ~x3561 
14.06/14.19	v ~x5839 ~x6882 ~x10171 ~x9135 ~x2563 ~x3563 ~x5841 ~x6884 ~x10173 ~x215 
14.06/14.19	v ~x2565 ~x3565 ~x5843 ~x6886 ~x10175 ~x9138 ~x2567 ~x3567 ~x5845 ~x6888 
14.06/14.19	v ~x10177 ~x9140 ~x2569 ~x3569 ~x5847 ~x6890 ~x10178 ~x9142 ~x2571 ~x3571 
14.06/14.19	v ~x5849 ~x6892 ~x10180 ~x9144 ~x2573 ~x3573 ~x5851 ~x6894 ~x10182 ~x9146 
14.06/14.19	v ~x2575 ~x3575 ~x5853 ~x6896 ~x10184 ~x9148 ~x2577 ~x3577 ~x5855 ~x6898 
14.06/14.19	v ~x10186 ~x9150 ~x2579 ~x3579 ~x5857 ~x6900 ~x10188 ~x9152 ~x51 ~x3581 
14.06/14.19	v ~x5859 ~x6902 ~x10189 ~x9154 ~x2581 ~x3583 ~x5861 ~x6904 ~x10191 ~x9156 
14.06/14.19	v ~x2583 ~x3585 ~x5863 ~x6905 ~x10193 ~x9158 ~x2585 ~x3587 ~x5865 ~x6907 
14.06/14.19	v ~x10195 ~x9160 ~x2587 ~x3589 ~x5867 ~x6909 ~x10197 ~x9162 ~x2589 ~x3591 
14.06/14.19	v ~x5869 ~x6910 ~x10199 ~x9164 ~x2591 ~x3593 ~x5871 ~x6912 ~x10201 ~x216 
14.06/14.19	v ~x2593 ~x3595 ~x5873 ~x6914 ~x10203 ~x9166 ~x2595 ~x3597 ~x5875 ~x6916 
14.06/14.19	v ~x10205 ~x9168 ~x2597 ~x3599 ~x5877 ~x6918 ~x10207 ~x9170 ~x2599 ~x3601 
14.06/14.19	v ~x5879 ~x6920 ~x10208 ~x9172 ~x2601 ~x3603 ~x5881 ~x6922 ~x10209 ~x9174 
14.06/14.19	v ~x2603 ~x3605 ~x5883 ~x6924 ~x10211 ~x9176 ~x2605 ~x3607 ~x5885 ~x6926 
14.06/14.19	v ~x10213 ~x9178 ~x2607 ~x3608 ~x5887 ~x6928 ~x10215 ~x217 ~x2609 ~x3610 
14.06/14.19	v ~x5889 ~x6930 ~x10217 ~x9180 ~x52 ~x3612 ~x5891 ~x6932 ~x10219 ~x9182 
14.06/14.19	v ~x2611 ~x3614 ~x5893 ~x6934 ~x10221 ~x9185 ~x2613 ~x3616 ~x5895 ~x6936 
14.06/14.19	v ~x10223 ~x9187 ~x2615 ~x3618 ~x5897 ~x6938 ~x10225 ~x9189 ~x2617 ~x3620 
14.06/14.19	v ~x5899 ~x6940 ~x10226 ~x9191 ~x2619 ~x3622 ~x5901 ~x6942 ~x10228 ~x218 
14.06/14.19	v ~x2621 ~x3624 ~x5903 ~x6944 ~x10230 ~x9194 ~x2623 ~x3626 ~x5905 ~x6946 
14.06/14.19	v ~x10231 ~x9196 ~x2625 ~x3628 ~x5907 ~x6948 ~x10232 ~x219 ~x2627 ~x3630 
14.06/14.19	v ~x5909 ~x6950 ~x10234 ~x9198 ~x2629 ~x3632 ~x5912 ~x6952 ~x10236 ~x9200 
14.06/14.19	v ~x2631 ~x3634 ~x5914 ~x6954 ~x10238 ~x9202 ~x2633 ~x3636 ~x5916 ~x6956 
14.06/14.19	v ~x10240 ~x9204 ~x2635 ~x3638 ~x5918 ~x6958 ~x10242 ~x9206 ~x2637 ~x3640 
14.06/14.19	v ~x5920 ~x6960 ~x10243 ~x9208 ~x2639 ~x3642 ~x131 ~x6962 ~x10245 ~x9210 
14.06/14.19	v ~x53 ~x3644 ~x5922 ~x6964 ~x10247 ~x9212 ~x2641 ~x3646 ~x5924 ~x6966 
14.06/14.19	v ~x10249 ~x9214 ~x2643 ~x3648 ~x5926 ~x6968 ~x10251 ~x9216 ~x2645 ~x3650 
14.06/14.19	v ~x5928 ~x6970 ~x10253 ~x9218 ~x2647 ~x3652 ~x5930 ~x6972 ~x10255 ~x9220 
14.06/14.19	v ~x2649 ~x3654 ~x5932 ~x6974 ~x10257 ~x9222 ~x2651 ~x3656 ~x5934 ~x6976 
14.06/14.19	v ~x10259 ~x9224 ~x2653 ~x3658 ~x5936 ~x6978 ~x10261 ~x9226 ~x54 ~x3659 
14.06/14.19	v ~x5938 ~x6980 ~x10263 ~x9228 ~x2655 ~x3661 ~x5940 ~x6982 ~x10265 ~x9230 
14.06/14.19	v ~x2657 ~x3663 ~x5942 ~x6984 ~x10267 ~x9232 ~x2659 ~x3665 ~x5944 ~x6986 
14.06/14.19	v ~x10268 ~x304 ~x9234 ~x2661 ~x3667 ~x5946 ~x6988 ~x10270 ~x306 ~x9236 
14.06/14.19	v ~x2663 ~x3669 ~x5949 ~x6990 ~x10272 ~x308 ~x9238 ~x2666 ~x3671 ~x5951 
14.06/14.19	v ~x6992 ~x10274 ~x310 ~x9240 ~x2668 ~x3673 ~x5953 ~x6994 ~x10275 ~x312 
14.06/14.19	v ~x9242 ~x2670 ~x3675 ~x5955 ~x6996 ~x10277 ~x314 ~x9244 ~x2672 ~x3677 
14.06/14.19	v ~x5957 ~x6998 ~x10279 ~x316 ~x9246 ~x2674 ~x3679 ~x5959 ~x6999 x10280 
14.06/14.19	v ~x318 ~x9248 ~x2676 ~x3681 ~x5961 ~x7001 ~x10282 ~x320 ~x9250 ~x2678 
14.06/14.19	v ~x3683 ~x5963 ~x7003 ~x10284 ~x322 ~x9252 ~x2680 ~x3685 ~x5965 ~x7005 
14.06/14.19	v ~x10286 ~x324 ~x9254 ~x2682 ~x3687 ~x5967 ~x7007 ~x10288 ~x326 ~x9256 
14.06/14.19	v ~x2684 ~x3689 ~x7009 ~x10290 ~x328 ~x9258 ~x2686 ~x3691 ~x7011 ~x5969 
14.06/14.19	v ~x10292 ~x330 ~x9260 ~x2688 ~x3693 ~x7013 ~x5971 ~x10294 ~x332 ~x9262 
14.06/14.19	v ~x2690 ~x3695 ~x7015 ~x5973 ~x10296 ~x334 ~x9264 ~x2692 ~x3697 ~x7017 
14.06/14.19	v ~x5975 ~x10298 ~x336 ~x9266 ~x2694 ~x3699 ~x7019 ~x5977 ~x10300 ~x338 
14.06/14.19	v ~x9268 ~x2696 ~x3701 ~x7021 ~x5979 ~x10302 ~x340 ~x9270 ~x2698 ~x3702 
14.06/14.19	v ~x7023 ~x5981 ~x10303 ~x342 ~x9272 ~x2700 ~x3704 ~x7025 ~x132 ~x10305 
14.06/14.19	v x344 ~x9274 ~x2702 ~x3706 ~x7027 ~x5983 ~x10307 ~x346 ~x9276 ~x2704 
14.06/14.19	v ~x3708 ~x7029 ~x5985 ~x10309 ~x348 ~x9278 ~x2706 ~x3710 ~x7031 ~x5987 
14.06/14.19	v ~x10311 ~x350 ~x9280 ~x2708 ~x3712 ~x7033 ~x5989 ~x10313 ~x352 ~x9282 
14.06/14.19	v ~x2710 ~x3714 ~x7035 ~x5991 ~x10315 ~x354 ~x9284 ~x2712 ~x3716 ~x7037 
14.06/14.19	v ~x5993 ~x10317 ~x356 ~x9286 ~x2714 ~x3718 ~x7039 ~x5995 ~x10319 ~x358 
14.06/14.19	v ~x9288 ~x2716 ~x3720 ~x7041 ~x5997 ~x10321 ~x360 ~x9290 ~x2718 ~x3722 
14.06/14.19	v ~x7043 ~x5999 ~x10323 ~x362 ~x9292 ~x2720 ~x3724 ~x7045 ~x6001 ~x10325 
14.06/14.19	v ~x364 ~x9294 ~x2722 ~x3726 ~x7047 ~x6003 ~x10327 ~x366 ~x9296 ~x2724 
14.06/14.19	v ~x3728 ~x7049 ~x6005 ~x10329 ~x368 ~x9298 ~x2726 ~x3730 ~x7051 ~x6007 
14.06/14.19	v ~x10331 ~x370 ~x9300 ~x2728 ~x3732 ~x7053 ~x6009 ~x10333 ~x372 ~x9302 
14.06/14.19	v ~x2730 ~x3734 ~x7055 ~x6011 ~x10335 ~x374 ~x9304 ~x2732 ~x3736 ~x7057 
14.06/14.19	v ~x6013 ~x10337 ~x376 ~x9306 ~x2734 ~x3738 ~x7059 ~x6016 ~x10339 ~x378 
14.06/14.19	v ~x9308 ~x2736 ~x3740 ~x7061 ~x6018 ~x10341 ~x380 ~x9310 ~x2738 ~x3742 
14.06/14.19	v ~x7063 ~x6020 ~x10343 ~x382 ~x9312 ~x2740 ~x3744 ~x7065 ~x6022 ~x10345 
14.06/14.19	v ~x384 ~x9314 ~x2742 ~x3746 ~x7067 ~x6024 ~x10347 ~x386 ~x9316 ~x2744 
14.06/14.19	v ~x3748 ~x7069 ~x6026 ~x10349 ~x388 ~x9319 ~x2746 ~x3750 ~x7071 ~x6028 
14.06/14.19	v ~x10351 ~x390 ~x9321 ~x2748 ~x3752 ~x7073 ~x6030 ~x10353 ~x392 ~x220 
14.06/14.19	v ~x2750 ~x3754 ~x7075 ~x6032 ~x10355 ~x394 ~x9323 ~x2752 ~x3756 ~x7077 
14.06/14.19	v ~x6034 ~x10357 ~x396 ~x9325 ~x2754 ~x3758 ~x7079 ~x6036 ~x10359 ~x398 
14.06/14.19	v ~x9327 ~x2756 ~x3760 ~x7081 ~x6038 ~x10361 ~x400 ~x9329 ~x2758 ~x3762 
14.06/14.19	v ~x7083 ~x6040 ~x10363 ~x402 ~x9331 ~x2760 ~x3764 ~x7085 ~x6042 ~x10365 
14.06/14.19	v ~x404 ~x9333 ~x2762 ~x3766 ~x7087 ~x133 ~x10367 ~x406 ~x9336 ~x2764 
14.06/14.19	v ~x3768 ~x7089 ~x6044 ~x10369 ~x408 ~x9338 ~x2766 ~x3770 ~x7091 ~x6046 
14.06/14.19	v ~x10371 ~x410 ~x9340 ~x2768 ~x3772 ~x7093 ~x6048 ~x10372 ~x412 ~x9342 
14.06/14.19	v ~x2770 ~x3774 ~x7095 ~x6050 ~x10374 ~x414 ~x9344 ~x2772 x3775 ~x7097 
14.06/14.19	v ~x6052 ~x10376 ~x416 ~x9346 ~x2774 ~x3777 ~x7099 ~x6055 ~x10378 ~x418 
14.06/14.19	v ~x9348 ~x2776 ~x3779 ~x7101 ~x6057 ~x10380 ~x420 ~x9350 ~x2778 ~x3781 
14.06/14.19	v ~x7103 ~x6059 ~x10382 ~x422 ~x9352 ~x55 ~x3783 ~x7105 ~x6061 ~x10384 
14.06/14.19	v ~x424 ~x9354 ~x2780 ~x3785 ~x7107 ~x6063 ~x10386 ~x426 ~x9356 ~x2782 
14.06/14.19	v ~x3787 ~x7109 ~x6065 ~x10388 ~x428 ~x9358 ~x2784 ~x3789 ~x7111 ~x6067 
14.06/14.19	v ~x10390 ~x430 ~x9360 ~x2786 ~x3791 ~x7113 ~x6069 ~x10392 ~x432 ~x9362 
14.06/14.19	v ~x2788 ~x3793 ~x7115 ~x6071 ~x10394 ~x434 ~x9364 ~x2790 ~x3795 ~x7117 
14.06/14.19	v ~x134 ~x10396 ~x436 ~x9366 ~x2792 ~x3797 ~x7119 ~x6073 ~x10398 ~x438 
14.06/14.19	v ~x9368 ~x2794 ~x3799 ~x7120 ~x6075 ~x10400 ~x440 ~x9370 ~x2796 ~x3801 
14.06/14.19	v ~x7122 ~x6077 ~x10402 ~x442 ~x9372 ~x2798 ~x3803 ~x7124 ~x6079 ~x10404 
14.06/14.19	v ~x444 ~x9374 ~x2800 ~x3805 ~x7126 ~x6081 ~x10406 ~x446 ~x9376 ~x2803 
14.06/14.19	v ~x3807 ~x7128 ~x6083 ~x10408 ~x448 ~x9378 ~x2805 ~x3809 ~x7130 ~x6085 
14.06/14.19	v ~x10410 ~x450 ~x9380 ~x2807 ~x3811 ~x7132 ~x6088 ~x10411 ~x452 ~x221 
14.06/14.19	v ~x2809 ~x3813 ~x7134 ~x6090 ~x10413 ~x454 ~x9382 ~x2811 ~x3815 ~x7136 
14.06/14.19	v ~x6092 ~x10415 ~x456 ~x9384 ~x2813 ~x3817 ~x7137 ~x6094 ~x10417 ~x458 
14.06/14.19	v ~x9386 ~x2815 ~x3819 ~x7139 ~x6096 ~x10419 ~x460 ~x9388 ~x2817 ~x3821 
14.06/14.19	v ~x7140 ~x6098 ~x10420 ~x462 ~x9390 ~x2819 ~x3823 ~x7142 ~x6100 ~x10422 
14.06/14.19	v ~x464 ~x9392 ~x2821 ~x3825 ~x7144 ~x6102 ~x10424 ~x466 ~x9394 ~x2823 
14.06/14.19	v ~x3827 ~x7146 ~x6104 ~x10426 ~x468 ~x9396 ~x2825 ~x3829 ~x7148 ~x6106 
14.06/14.19	v ~x10428 ~x470 ~x9398 ~x2827 ~x3831 ~x7150 ~x6108 ~x10430 ~x472 ~x9400 
14.06/14.19	v ~x2829 ~x3833 ~x7152 ~x6110 ~x10432 ~x474 ~x9402 ~x2831 ~x3835 ~x7154 
14.06/14.19	v ~x6112 ~x10434 ~x476 ~x9404 ~x2833 ~x3837 ~x7156 ~x6114 ~x10436 ~x478 
14.06/14.19	v ~x9406 ~x2835 ~x3839 ~x7158 ~x6116 ~x10438 ~x480 ~x9408 ~x2837 ~x3841 
14.06/14.19	v ~x7160 ~x6118 ~x10440 ~x482 ~x9410 ~x2839 ~x3843 ~x7162 ~x6120 ~x10442 
14.06/14.19	v ~x484 ~x9412 ~x56 ~x3845 ~x7164 ~x6123 ~x10444 ~x486 ~x9414 ~x2841 
14.06/14.19	v ~x3847 ~x7166 ~x6125 ~x10446 ~x488 ~x9416 ~x2843 ~x3849 ~x7168 ~x6127 
14.06/14.19	v ~x10448 ~x490 ~x9418 ~x2845 ~x3851 ~x7170 ~x6129 ~x10450 ~x492 ~x9420 
14.06/14.19	v ~x2847 ~x3853 ~x7172 ~x135 ~x10452 ~x494 ~x9422 ~x2849 x3855 ~x7174 
14.06/14.19	v ~x6131 ~x10453 ~x496 ~x9424 ~x2851 ~x3857 ~x7176 ~x6133 ~x10455 ~x498 
14.06/14.19	v ~x9426 ~x2853 ~x3859 ~x7178 ~x6135 ~x10457 ~x500 ~x9428 ~x2856 ~x3861 
14.06/14.19	v ~x7180 ~x6137 ~x10459 ~x502 ~x9430 ~x2858 ~x3863 ~x7182 ~x6139 ~x10461 
14.06/14.19	v ~x504 ~x9432 ~x2860 ~x3865 ~x7184 ~x6142 ~x10463 ~x506 ~x9434 ~x2862 
14.06/14.19	v ~x3867 ~x7186 ~x6144 ~x10465 ~x508 ~x9436 ~x2864 ~x3869 ~x7188 ~x6146 
14.06/14.19	v ~x10467 ~x510 ~x9438 ~x2866 ~x3871 ~x7190 ~x6148 ~x10469 ~x512 ~x9440 
14.06/14.19	v ~x2868 ~x3873 ~x7192 ~x6150 ~x10470 ~x514 ~x222 ~x2870 ~x3875 ~x7194 
14.06/14.19	v ~x6152 ~x10472 ~x516 ~x9443 ~x2872 ~x3877 ~x7196 ~x6154 ~x10474 ~x518 
14.06/14.19	v ~x9445 ~x2874 ~x3879 ~x7198 ~x6156 ~x10475 ~x520 ~x9447 ~x2876 ~x3881 
14.06/14.19	v ~x7200 ~x6158 ~x10477 ~x522 ~x9449 ~x2878 ~x3883 ~x7202 ~x136 ~x10479 
14.06/14.19	v ~x524 ~x9451 ~x2880 ~x3885 ~x7204 ~x6161 ~x10481 ~x526 ~x9453 ~x2882 
14.06/14.19	v ~x3887 ~x7206 ~x6163 ~x10483 ~x528 ~x9455 ~x2884 ~x3889 ~x7208 ~x6165 
14.06/14.19	v ~x10485 ~x530 ~x9457 ~x2886 ~x3891 ~x7210 ~x6167 ~x10487 ~x532 ~x9459 
14.06/14.19	v ~x2888 ~x3893 ~x7212 ~x6169 ~x10489 ~x534 ~x9461 ~x2890 ~x3895 ~x7214 
14.06/14.19	v ~x6172 ~x10491 ~x536 ~x9463 ~x2892 ~x3897 ~x7216 ~x6174 ~x10492 ~x538 
14.06/14.19	v ~x9465 ~x2894 ~x3899 ~x7218 ~x6176 ~x10494 ~x540 ~x9467 ~x2896 ~x3901 
14.06/14.19	v ~x7220 ~x6178 ~x10496 ~x542 ~x9469 ~x57 ~x3903 ~x7222 ~x6180 ~x10498 
14.06/14.19	v ~x544 ~x9471 ~x2899 ~x3905 ~x7224 ~x6182 ~x10499 ~x546 ~x223 ~x2901 
14.06/14.19	v ~x3907 ~x7226 ~x6184 ~x10501 ~x548 ~x9473 ~x2903 ~x3909 ~x7228 ~x6186 
14.06/14.19	v ~x10503 ~x550 ~x9475 ~x2905 ~x3911 ~x7229 ~x137 ~x10505 ~x552 ~x9477 
14.06/14.19	v ~x2907 ~x3913 ~x7231 ~x6188 ~x10507 ~x554 ~x9479 ~x2909 ~x3915 ~x7233 
14.06/14.19	v ~x6190 ~x10509 ~x556 ~x9481 ~x2911 ~x3917 ~x7235 ~x6192 ~x10511 ~x558 
14.06/14.19	v ~x9483 ~x2913 ~x3919 ~x7237 ~x6194 ~x10513 ~x560 ~x9485 ~x2915 ~x3921 
14.06/14.19	v ~x7239 ~x6196 ~x10515 ~x562 ~x9487 ~x2917 ~x3923 ~x7241 ~x6199 ~x10517 
14.06/14.19	v ~x564 ~x9489 ~x2919 ~x3925 ~x7243 ~x6201 ~x10519 ~x566 ~x9491 ~x2921 
14.06/14.19	v ~x3927 ~x7245 ~x6203 ~x10521 ~x568 ~x9493 ~x2923 ~x3929 ~x7247 ~x6205 
14.06/14.19	v ~x10523 ~x570 ~x9495 ~x2925 ~x3931 ~x7248 ~x6207 ~x10525 ~x572 ~x9497 
14.06/14.19	v ~x2927 ~x3933 ~x7250 ~x6209 ~x10527 ~x574 ~x9499 ~x58 ~x3935 ~x7252 
14.06/14.19	v ~x6211 ~x10529 ~x576 ~x9501 ~x2929 ~x3937 ~x7254 ~x6213 ~x10531 ~x578 
14.06/14.19	v ~x9503 ~x2931 ~x3939 ~x7256 ~x6215 ~x10533 ~x580 ~x9505 ~x2933 ~x3941 
14.06/14.19	v ~x7258 ~x6217 ~x10535 ~x582 ~x9507 ~x2935 ~x3943 ~x7260 ~x6219 ~x10537 
14.06/14.19	v ~x584 ~x9509 ~x2937 ~x3945 ~x7262 ~x6221 ~x10539 ~x586 ~x9511 ~x2939 
14.06/14.19	v ~x3947 ~x7264 ~x6223 ~x10541 ~x588 ~x9513 ~x2941 ~x3949 ~x7266 ~x6225 
14.06/14.19	v ~x10543 ~x590 ~x9515 ~x2943 ~x3951 ~x7268 x6227 ~x10545 ~x592 ~x9517 
14.06/14.19	v ~x2945 ~x3953 ~x7270 ~x6229 ~x10546 ~x594 ~x9519 ~x2947 ~x3955 ~x7272 
14.06/14.19	v ~x138 ~x10548 ~x596 ~x9521 ~x2949 ~x3957 ~x7274 ~x6231 ~x10550 ~x598 
14.06/14.19	v ~x9523 ~x2951 ~x3959 ~x7276 ~x6233 ~x10552 ~x600 ~x9525 ~x2953 ~x3961 
14.06/14.19	v ~x7278 ~x6235 ~x10554 ~x602 ~x9527 ~x2955 ~x3963 ~x7280 ~x6237 ~x10556 
14.06/14.19	v ~x604 ~x9529 ~x2957 ~x3965 ~x7282 ~x6239 ~x10558 ~x606 ~x9531 ~x2959 
14.06/14.19	v ~x3967 ~x7284 ~x6241 ~x10560 ~x608 ~x9533 ~x2961 ~x3969 ~x7286 ~x6243 
14.06/14.19	v ~x10561 ~x610 ~x224 ~x2963 ~x3971 ~x7288 ~x139 ~x10563 ~x612 ~x9535 
14.06/14.19	v ~x2965 ~x3973 ~x7290 ~x6245 ~x10565 ~x614 ~x9537 ~x2967 ~x3975 x7292 
14.06/14.19	v ~x6247 ~x10567 ~x616 ~x9539 ~x2969 ~x3977 ~x7294 ~x6249 ~x10569 ~x618 
14.06/14.19	v ~x9541 ~x2971 ~x3979 ~x7296 ~x6252 ~x10571 ~x620 ~x9543 ~x2973 ~x3981 
14.06/14.19	v ~x7298 ~x6254 ~x10572 ~x622 ~x9545 ~x2975 ~x3983 ~x7300 ~x6256 ~x10574 
14.06/14.19	v ~x624 ~x9547 ~x2977 ~x3985 ~x7302 ~x6258 ~x10576 ~x626 ~x9549 ~x2979 
14.06/14.19	v ~x3987 ~x7304 ~x6260 ~x10578 ~x628 ~x9551 ~x2981 ~x3989 ~x7306 ~x6262 
14.06/14.19	v ~x10580 ~x630 ~x9553 ~x2983 ~x3991 ~x7308 ~x6264 ~x10582 ~x632 ~x9555 
14.06/14.19	v ~x2985 ~x3993 ~x7310 ~x6266 ~x10584 ~x634 ~x9557 ~x2987 ~x3995 ~x7312 
14.06/14.19	v ~x6268 ~x10586 ~x636 ~x9559 ~x2989 ~x3997 ~x7314 ~x6270 ~x10588 ~x638 
14.06/14.19	v ~x9562 ~x59 ~x3999 ~x7316 ~x6272 ~x10590 ~x640 ~x225 ~x2991 ~x4001 
14.06/14.19	v ~x7318 ~x6274 ~x10592 ~x642 ~x9564 ~x2993 ~x4003 ~x7320 ~x6276 ~x10594 
14.06/14.19	v ~x644 ~x9566 ~x2995 ~x4005 ~x7322 ~x6278 ~x10595 ~x646 ~x9568 ~x2997 
14.06/14.19	v ~x4007 ~x7324 ~x6280 ~x10597 ~x648 ~x9570 ~x2999 ~x4009 ~x7326 ~x6282 
14.06/14.19	v ~x10599 ~x650 ~x9572 ~x3001 ~x4011 ~x7328 ~x6284 ~x10601 ~x652 ~x9574 
14.06/14.19	v ~x3003 ~x4013 ~x7330 ~x6286 ~x10603 ~x654 ~x9576 ~x3005 ~x4015 x7332 
14.06/14.19	v ~x6288 ~x10605 ~x655 ~x9578 ~x3007 ~x4017 ~x7334 ~x6290 ~x10607 ~x657 
14.06/14.19	v ~x9580 ~x3009 ~x4019 ~x7336 ~x6292 ~x10609 ~x659 ~x9582 ~x3012 ~x4021 
14.06/14.19	v ~x7338 ~x6294 ~x10611 ~x661 ~x9584 ~x3014 ~x4023 ~x7340 ~x6296 ~x10613 
14.06/14.19	v ~x663 ~x9586 ~x3016 ~x4025 ~x7342 ~x6298 ~x10615 ~x665 ~x9588 ~x3018 
14.06/14.19	v ~x4027 ~x7344 ~x6300 ~x10617 ~x667 ~x9590 ~x60 ~x4029 ~x7346 ~x6302 
14.06/14.19	v ~x10619 ~x669 ~x9592 ~x3020 ~x4031 ~x7348 ~x6304 ~x10621 ~x671 ~x226 
14.06/14.19	v ~x3022 ~x4033 ~x7350 ~x6306 ~x10623 ~x673 ~x9594 ~x3024 ~x4035 ~x7352 
14.06/14.19	v ~x6308 x10624 ~x675 ~x9596 ~x3026 ~x4037 ~x7354 ~x6310 ~x10626 ~x677 
14.06/14.19	v ~x9598 ~x3028 ~x4039 ~x7356 ~x6312 ~x10628 ~x679 ~x9600 ~x3030 ~x4041 
14.06/14.19	v ~x7358 ~x6314 ~x10630 ~x681 ~x9602 ~x3032 ~x4042 ~x7360 ~x6316 ~x10632 
14.06/14.19	v ~x683 ~x9604 ~x3034 ~x4044 ~x7362 ~x6318 ~x10634 ~x685 ~x9606 ~x3036 
14.06/14.19	v ~x4046 ~x7364 ~x6320 ~x10636 ~x687 ~x227 ~x3038 ~x4048 ~x7366 ~x6322 
14.06/14.19	v ~x10637 ~x689 ~x9608 ~x3040 ~x4050 ~x7368 ~x6324 ~x10639 ~x691 ~x9610 
14.06/14.19	v ~x3042 ~x4052 ~x7370 ~x6326 ~x10641 ~x693 ~x9612 ~x3044 ~x4054 ~x7372 
14.06/14.19	v ~x6328 ~x10642 ~x695 ~x9614 ~x3046 ~x4056 ~x7374 ~x6330 ~x10644 ~x697 
14.06/14.19	v ~x9617 ~x3048 ~x4058 ~x7376 ~x6332 ~x10646 ~x699 ~x9619 ~x61 ~x4060 
14.06/14.19	v ~x7378 ~x6334 ~x10648 ~x701 ~x9621 ~x3050 ~x4062 ~x7380 ~x6336 ~x10650 
14.06/14.19	v ~x703 ~x9623 ~x3053 ~x4064 ~x7382 ~x6338 ~x10652 ~x705 ~x9625 ~x3055 
14.06/14.19	v ~x4066 ~x7384 ~x6340 ~x10654 ~x707 ~x9627 ~x3057 ~x4068 ~x7386 ~x6342 
14.06/14.19	v ~x10656 ~x709 ~x9629 ~x3059 ~x4070 ~x7388 ~x6344 ~x10658 ~x711 ~x9631 
14.06/14.19	v ~x3061 ~x4072 ~x7390 ~x6346 ~x10659 ~x713 ~x9633 ~x62 ~x4074 ~x7392 
14.06/14.19	v ~x6348 ~x10661 ~x715 ~x9636 ~x3063 ~x4076 ~x7394 ~x6350 ~x10663 ~x717 
14.06/14.19	v ~x9638 ~x3065 ~x4078 ~x7396 ~x6352 ~x10665 ~x719 ~x9640 ~x3067 ~x4080 
14.06/14.20	v ~x7398 ~x6354 ~x10667 ~x721 ~x9642 ~x3069 ~x4082 ~x7400 ~x6356 ~x10669 
14.06/14.20	v ~x723 ~x9644 ~x3071 ~x4084 ~x7402 ~x6358 ~x10671 ~x725 ~x9646 ~x3073 
14.06/14.20	v ~x4086 ~x7404 ~x6360 ~x10673 ~x727 ~x9648 ~x3075 ~x4088 ~x7406 ~x6362 
14.06/14.20	v ~x10675 ~x729 ~x9650 ~x3077 ~x4090 ~x7408 ~x6364 ~x10677 ~x731 ~x9652 
14.06/14.20	v ~x3079 ~x4092 ~x7410 ~x6366 ~x10679 ~x733 ~x9654 ~x3081 ~x4094 ~x7412 
14.06/14.20	v ~x6368 ~x10681 ~x735 ~x9656 ~x3083 ~x4096 ~x7414 ~x140 ~x10683 ~x737 
14.06/14.20	v ~x9658 ~x3085 ~x4098 ~x7416 ~x6370 ~x10685 ~x739 ~x9660 ~x3087 ~x4100 
14.06/14.20	v ~x7418 ~x6372 ~x10686 ~x741 ~x9662 ~x3089 ~x4102 ~x7420 ~x6374 ~x10688 
14.06/14.20	v ~x743 ~x9664 ~x3091 ~x4104 ~x7422 ~x6376 ~x10690 ~x745 ~x9666 ~x3093 
14.06/14.20	v ~x4106 ~x7424 ~x6378 x10691 ~x747 ~x228 ~x3095 ~x4108 ~x7426 ~x6380 
14.06/14.20	v ~x10693 ~x749 ~x9668 ~x3097 ~x4110 ~x7428 ~x6382 ~x10695 ~x751 ~x9670 
14.06/14.20	v ~x3099 ~x4112 ~x7430 ~x6384 ~x10697 ~x753 ~x9672 ~x3101 ~x4114 ~x7432 
14.06/14.20	v ~x6386 ~x10699 ~x755 ~x9674 ~x3103 ~x4116 ~x7434 ~x6388 ~x10701 ~x757 
14.06/14.20	v ~x9676 ~x3105 ~x4118 ~x7436 ~x6390 ~x10703 ~x759 ~x9678 ~x3107 ~x4120 
14.06/14.20	v ~x7438 ~x6392 ~x10705 ~x761 ~x9680 ~x3109 ~x4122 ~x7440 ~x6394 ~x10707 
14.06/14.20	v ~x763 ~x9682 ~x3111 ~x4124 ~x7442 ~x6396 ~x10709 ~x765 ~x9684 ~x3113 
14.06/14.20	v ~x4126 ~x7444 ~x6398 ~x10711 ~x767 ~x9686 ~x3115 ~x4128 ~x7446 ~x6400 
14.06/14.20	v ~x10712 ~x769 ~x9688 ~x3117 ~x4130 ~x7448 ~x6403 ~x10713 ~x771 ~x9691 
14.06/14.20	v ~x3119 ~x4132 ~x7450 ~x6405 ~x10715 ~x773 ~x9693 ~x3121 ~x4134 ~x7452 
14.06/14.20	v ~x6407 ~x10717 ~x775 ~x9695 ~x3123 ~x4136 ~x7454 ~x6409 ~x10718 ~x777 
14.06/14.20	v ~x229 ~x63 ~x4138 ~x7456 ~x6411 ~x10719 ~x779 ~x9697 ~x3125 ~x4140 
14.06/14.20	v ~x7458 ~x6413 ~x10721 ~x781 ~x9699 ~x3127 ~x4142 ~x7460 ~x6415 ~x10723 
14.06/14.20	v ~x783 ~x9701 ~x3129 ~x4143 ~x7462 ~x6418 ~x10725 ~x785 ~x9703 ~x3131 
14.06/14.20	v ~x4145 ~x7464 ~x6420 ~x10727 ~x787 ~x9705 ~x3133 ~x4147 ~x7466 ~x6422 
14.06/14.20	v ~x10729 ~x789 ~x9707 ~x3135 ~x4149 ~x7468 ~x6424 ~x10730 ~x791 ~x9709 
14.06/14.20	v ~x3137 ~x4151 ~x7469 ~x6426 ~x10732 ~x793 ~x9711 ~x3139 ~x4153 ~x7471 
14.06/14.20	v ~x6428 ~x10733 ~x795 ~x9713 ~x3141 ~x4155 ~x7473 ~x141 ~x10735 ~x797 
14.06/14.20	v ~x9715 ~x3143 ~x4157 ~x7475 ~x6430 ~x10737 ~x799 ~x9717 ~x3145 ~x4158 
14.06/14.20	v ~x7477 ~x6432 ~x10739 ~x801 ~x9719 ~x3147 ~x4160 ~x7479 ~x6434 ~x10740 
14.06/14.20	v ~x803 ~x9722 ~x3149 ~x4162 ~x7481 ~x6436 ~x10741 ~x805 ~x9724 ~x3151 
14.06/14.20	v ~x4164 ~x7483 ~x6438 ~x10743 ~x807 ~x230 ~x3153 ~x4166 ~x7485 ~x6440 
14.06/14.20	v ~x10745 ~x809 ~x9726 ~x3155 ~x4168 ~x7487 ~x6442 ~x10747 ~x811 ~x9728 
14.06/14.20	v ~x3157 ~x4170 ~x7489 ~x6444 ~x10749 ~x813 ~x9731 ~x3159 ~x4172 ~x7491 
14.06/14.20	v ~x6446 ~x10751 ~x815 ~x9733 ~x3161 ~x4174 ~x7493 ~x6448 ~x10753 ~x817 
14.06/14.20	v ~x9735 ~x3163 ~x4176 ~x7495 ~x6450 ~x10755 ~x819 ~x9737 ~x3165 ~x4178 
14.06/14.20	v ~x7497 ~x6452 ~x10757 ~x821 ~x231 ~x3167 ~x4180 ~x7499 ~x6454 ~x10758 
14.06/14.20	v ~x823 ~x9739 ~x3169 ~x4182 ~x7501 ~x6457 ~x10760 ~x825 ~x9741 ~x3171 
14.06/14.20	v ~x4184 ~x7503 ~x6459 ~x10762 ~x827 ~x9743 ~x3173 ~x4186 ~x7505 ~x6461 
14.06/14.20	v ~x10764 ~x829 ~x9745 ~x3175 ~x4188 ~x7507 ~x6463 ~x10766 ~x831 ~x9747 
14.06/14.20	v ~x3177 ~x4190 ~x7509 ~x6465 ~x10768 ~x833 ~x9749 ~x3179 ~x4192 ~x7511 
14.06/14.20	v ~x6467 ~x10770 ~x835 ~x9751 ~x3181 ~x4194 ~x7513 ~x6469 ~x10772 ~x837 
14.06/14.20	v ~x9753 ~x3183 ~x4196 ~x7515 ~x6471 ~x10774 ~x839 ~x9755 ~x3185 ~x4198 
14.06/14.20	v ~x7517 ~x6473 ~x10776 ~x841 ~x9757 ~x64 ~x4200 ~x7519 ~x6475 ~x10778 
14.06/14.20	v ~x843 ~x9759 ~x3187 ~x4202 ~x7521 ~x6477 ~x10780 ~x845 ~x9761 ~x3189 
14.06/14.20	v ~x4204 ~x7523 ~x6479 ~x10782 ~x847 ~x9763 ~x3191 ~x4205 ~x7525 ~x6481 
14.06/14.20	v ~x10784 ~x849 ~x9765 ~x3193 ~x4207 ~x7527 ~x6483 ~x10786 ~x851 ~x9767 
14.06/14.20	v ~x3195 ~x4209 ~x7529 ~x6485 ~x10787 ~x853 ~x232 ~x3197 ~x4211 ~x7531 
14.06/14.20	v ~x6487 ~x10789 ~x855 ~x9769 ~x3199 ~x4212 ~x7533 x6489 ~x10790 ~x857 
14.06/14.20	v ~x9772 ~x3201 ~x4213 ~x7535 ~x6491 ~x10792 ~x859 ~x9774 ~x3203 ~x4215 
14.06/14.20	v ~x7536 ~x6493 ~x10794 ~x861 ~x9776 ~x3205 ~x4217 ~x7538 ~x6495 ~x10796 
14.06/14.20	v ~x863 ~x9778 ~x3207 ~x4219 ~x7539 ~x6497 ~x10798 ~x865 ~x9780 ~x3209 
14.06/14.20	v ~x4221 ~x7540 ~x6499 ~x10800 ~x867 ~x233 ~x3211 ~x4223 ~x7542 ~x6501 
14.06/14.20	v ~x10802 ~x869 ~x9782 ~x3213 ~x4225 ~x7544 ~x6503 ~x10804 ~x871 ~x9784 
14.06/14.20	v ~x3215 ~x4227 ~x7546 ~x6505 ~x10805 ~x873 ~x9786 ~x65 ~x4229 ~x7548 
14.06/14.20	v ~x6507 ~x10807 ~x875 ~x9788 ~x3217 ~x4231 ~x7550 ~x6509 ~x10808 ~x877 
14.06/14.20	v ~x9790 ~x3219 ~x4233 ~x7552 ~x6511 ~x10810 ~x879 ~x9792 ~x3221 ~x4235 
14.06/14.20	v ~x7554 ~x6513 ~x10812 ~x881 ~x9794 ~x3223 ~x4237 ~x7556 ~x6515 ~x10814 
14.06/14.20	v ~x883 ~x234 ~x3225 ~x4239 ~x7558 ~x6517 ~x10816 ~x885 ~x9796 ~x3227 
14.06/14.20	v ~x4241 ~x7560 ~x6519 ~x10818 ~x887 ~x9798 ~x3229 ~x4243 ~x7562 ~x142 
14.06/14.20	v ~x10820 ~x889 ~x9800 ~x3231 ~x4245 ~x7564 ~x6521 ~x10822 ~x891 ~x235 
14.06/14.20	v ~x3233 ~x4247 ~x7566 ~x6523 ~x10823 ~x893 ~x9802 ~x3235 ~x4249 ~x7568 
14.06/14.20	v ~x6525 ~x10824 ~x895 ~x9804 ~x3237 ~x4251 ~x7570 ~x6527 ~x10826 ~x897 
14.06/14.20	v ~x9806 ~x3239 ~x4253 ~x7572 ~x6529 ~x10828 ~x899 ~x9808 ~x3241 ~x4255 
14.06/14.20	v ~x7574 ~x6531 ~x10830 ~x901 ~x9810 ~x3243 ~x4257 ~x7576 ~x6533 ~x10832 
14.06/14.20	v ~x903 ~x9812 ~x3245 ~x4259 ~x7577 ~x6535 ~x10834 ~x905 ~x9814 ~x66 
14.06/14.20	v ~x4261 ~x7579 ~x6537 ~x10836 ~x907 ~x9816 ~x3247 ~x4263 ~x7581 ~x6539 
14.06/14.20	v ~x10838 ~x909 ~x9818 ~x3249 ~x4265 ~x7583 ~x6541 ~x10840 ~x911 ~x9820 
14.06/14.20	v ~x3251 ~x4267 ~x7585 ~x6543 ~x10841 ~x913 ~x9822 ~x3253 ~x4269 ~x7587 
14.06/14.20	v ~x6545 ~x10843 ~x915 ~x9824 ~x3255 ~x4271 ~x7589 ~x6547 ~x10845 ~x917 
14.06/14.20	v ~x9826 ~x3257 ~x4273 ~x7591 ~x6549 ~x10847 ~x919 ~x9828 ~x3259 ~x4275 
14.06/14.20	v ~x7593 ~x6551 ~x10849 ~x921 ~x9830 ~x3261 ~x4277 ~x7595 ~x6553 ~x10851 
14.06/14.20	v ~x923 ~x9832 ~x3263 ~x4279 ~x7597 ~x6555 ~x10853 ~x925 ~x9834 ~x3265 
14.06/14.20	v ~x4281 ~x7599 ~x6557 ~x10855 ~x927 ~x9836 ~x3267 ~x4283 ~x7600 ~x6559 
14.06/14.20	v ~x10856 ~x929 ~x9838 ~x3269 ~x4285 ~x7602 ~x6561 ~x10857 ~x931 ~x9840 
14.06/14.20	v ~x3271 ~x4287 ~x7604 ~x6563 ~x10859 ~x933 ~x9842 ~x3273 ~x4289 ~x7606 
14.06/14.20	v ~x6565 ~x10861 ~x935 ~x9844 ~x3275 ~x4291 ~x7607 ~x6567 ~x10862 ~x937 
14.06/14.20	v ~x9846 ~x67 ~x4293 ~x7609 ~x6569 ~x10864 ~x939 ~x9848 ~x3277 ~x4295 
14.06/14.20	v ~x7611 ~x6571 ~x10865 ~x941 ~x9850 ~x3279 ~x4297 ~x7613 ~x6573 ~x10867 
14.06/14.20	v ~x943 ~x9852 ~x3281 ~x4299 x7614 ~x6575 ~x10869 ~x945 ~x9854 ~x3283 
14.06/14.20	v ~x4301 ~x7616 ~x6577 ~x10871 ~x947 ~x9856 ~x3285 ~x4303 ~x7618 ~x6579 
14.06/14.20	v ~x10873 ~x949 ~x9858 ~x3287 ~x4305 ~x7620 ~x6581 ~x10875 ~x951 ~x9860 
14.06/14.20	v ~x3289 ~x4307 ~x7622 ~x143 ~x10877 ~x953 ~x236 ~x68 ~x4309 ~x7624 
14.06/14.20	v ~x6584 ~x10878 ~x955 ~x9863 ~x3291 ~x4311 ~x7626 ~x6586 ~x10880 ~x957 
14.06/14.20	v ~x9866 ~x3293 ~x4313 ~x7628 ~x6588 ~x10882 ~x959 ~x9868 ~x3295 ~x4315 
14.06/14.20	v ~x7629 ~x6590 ~x10884 ~x961 ~x9870 ~x3297 ~x4317 ~x7631 ~x6592 ~x10886 
14.06/14.20	v ~x963 ~x9873 ~x3299 ~x4319 ~x7633 ~x6594 ~x10888 ~x965 ~x9875 ~x3301 
14.06/14.20	v ~x4321 ~x7635 ~x6596 ~x10890 ~x967 ~x9877 ~x3303 ~x4323 ~x7637 ~x6598 
14.06/14.20	v ~x10892 ~x969 ~x9879 ~x3305 ~x4325 ~x7638 ~x6600 ~x10893 ~x971 ~x9881 
14.06/14.20	v ~x3307 ~x4327 ~x7640 ~x6602 ~x10895 ~x973 ~x9883 ~x3309 ~x4329 ~x7642 
14.06/14.20	v ~x6604 ~x10896 ~x975 ~x9885 ~x3311 ~x4331 ~x7644 ~x6606 ~x10898 ~x977 
14.06/14.20	v ~x9887 ~x3313 ~x4333 ~x7646 ~x6608 ~x10899 ~x979 ~x9889 ~x3315 ~x4335 
14.06/14.20	v ~x7648 ~x6610 ~x10901 ~x981 ~x237 ~x3317 ~x4337 ~x7650 ~x144 ~x10903 
14.06/14.20	v ~x983 ~x9891 ~x3319 ~x4338 ~x7652 ~x6612 ~x10904 ~x985 ~x9893 ~x69 
14.06/14.20	v ~x4340 ~x7654 ~x6614 ~x10905 ~x987 ~x9895 ~x3321 ~x4342 ~x7656 ~x6616 
14.06/14.20	v ~x10907 ~x989 ~x9897 ~x3323 ~x4344 ~x7658 ~x6618 ~x10909 ~x991 ~x9899 
14.06/14.20	v ~x3325 ~x4346 ~x7660 ~x6620 ~x10911 ~x993 ~x9901 ~x3327 ~x4348 ~x7662 
14.06/14.20	v ~x6622 ~x10913 ~x995 ~x9903 ~x3329 ~x4349 ~x7664 ~x6624 ~x10914 ~x997 
14.06/14.20	v ~x9905 ~x3331 ~x4351 ~x7666 ~x6626 ~x10915 ~x999 ~x9907 ~x3333 ~x4353 
14.06/14.20	v ~x7668 ~x6628 ~x10917 ~x1001 ~x9909 ~x3335 ~x4355 ~x7670 ~x6630 ~x10919 
14.06/14.20	v ~x1003 ~x9911 ~x3337 ~x4357 ~x7672 ~x6632 ~x10921 ~x1005 ~x9913 ~x3339 
14.06/14.20	v ~x4359 ~x7674 ~x6634 ~x10923 ~x1007 ~x9915 ~x3341 ~x4361 ~x7676 ~x6636 
14.06/14.20	v ~x10925 ~x1009 ~x9917 ~x3343 ~x4363 ~x7678 ~x6638 ~x10927 ~x1011 ~x9919 
14.06/14.20	v ~x3345 ~x4365 ~x7680 ~x6640 ~x10929 ~x1013 ~x238 ~x3347 ~x4367 ~x7682 
14.06/14.20	v ~x145 ~x10931 ~x1015 ~x9922 ~x3349 ~x4369 ~x7684 ~x6642 ~x10933 ~x1017 
14.06/14.20	v ~x9924 ~x70 ~x4371 ~x7686 ~x6644 ~x10935 ~x1019 ~x9926 ~x3351 ~x4373 
14.06/14.20	v ~x7688 ~x6646 ~x10937 ~x1021 ~x9928 ~x3353 ~x4375 ~x7690 ~x6648 ~x10939 
14.06/14.20	v ~x1023 ~x9931 ~x3355 ~x4376 ~x7692 ~x6650 ~x10941 ~x1025 ~x239 ~x3357 
14.06/14.20	v ~x4378 ~x7694 ~x6653 ~x10943 ~x1027 ~x9933 ~x3359 ~x4380 ~x7696 ~x146 
14.06/14.20	v ~x10945 ~x1029 ~x9935 ~x3361 ~x4382 ~x7698 ~x6655 ~x10947 ~x1031 ~x9938 
14.06/14.20	v ~x3363 ~x4384 ~x7700 ~x6657 ~x10949 ~x1033 ~x9940 ~x71 ~x4386 ~x7702 
14.06/14.20	v ~x6659 ~x10951 ~x1035 ~x9942 ~x3365 ~x4388 ~x7704 ~x6661 ~x10952 ~x1037 
14.06/14.20	v ~x9944 ~x3367 ~x4390 ~x7706 ~x6663 ~x10954 ~x1039 ~x9946 ~x3369 ~x4392 
14.06/14.20	v ~x7708 ~x6665 ~x10956 ~x1041 ~x9948 ~x3371 ~x4393 ~x7710 ~x6667 ~x10957 
14.06/14.20	v ~x1043 ~x9950 ~x3373 ~x4395 ~x7712 ~x6669 ~x10958 ~x1045 ~x9952 ~x3375 
14.06/14.20	v ~x4397 ~x7714 ~x6671 ~x10960 ~x1047 ~x9955 ~x3377 ~x4399 ~x7715 ~x6673 
14.06/14.20	v ~x10962 ~x1049 ~x9957 ~x72 ~x4401 ~x7717 ~x6675 ~x10964 ~x1051 ~x9959 
14.06/14.20	v ~x3379 ~x4403 ~x7719 ~x6677 ~x10965 ~x1053 ~x240 ~x3381 ~x4405 ~x7721 
14.06/14.20	v ~x6679 ~x10967 ~x1055 ~x9962 ~x3383 ~x4406 ~x7723 ~x6681 ~x10969 ~x1057 
14.06/14.20	v ~x9964 ~x3385 ~x4408 ~x7725 ~x6683 ~x10970 ~x1059 ~x9967 ~x3387 ~x4410 
14.06/14.20	v ~x7727 ~x6685 ~x10972 ~x1061 ~x9969 ~x3389 ~x4412 ~x7729 ~x6687 ~x10974 
14.06/14.20	v ~x1063 ~x9971 ~x3391 ~x4414 ~x7731 ~x6689 ~x10975 ~x1065 ~x241 ~x73 
14.06/14.20	v ~x4416 ~x7733 ~x6691 ~x10976 ~x1067 ~x9973 ~x3393 ~x4418 ~x7735 ~x6693 
14.06/14.20	v ~x10978 ~x1069 ~x9975 ~x3395 ~x4420 ~x7737 ~x6695 ~x10979 ~x1071 ~x9978 
14.06/14.20	v ~x3397 ~x4422 ~x7739 ~x6697 ~x10981 ~x1073 ~x9980 ~x74 ~x4424 ~x7741 
14.06/14.20	v ~x6699 ~x10983 ~x1075 ~x9982 ~x3399 ~x4426 ~x7743 ~x6701 ~x10985 ~x1077 
14.06/14.20	v ~x242 ~x3401 ~x4428 ~x7745 ~x6703 x10986 ~x1079 ~x9986 ~x3403 ~x4430 
14.06/14.20	v ~x7747 ~x6705 ~x10988 ~x1081 ~x9988 ~x3405 ~x4432 ~x7749 ~x6707 ~x10990 
14.06/14.20	v ~x1083 ~x243 ~x3407 ~x4434 ~x7751 ~x6709 ~x10992 ~x1085 ~x9990 ~x3409 
14.06/14.20	v ~x4436 ~x7753 ~x6711 ~x10993 ~x1087 ~x9992 ~x3411 ~x4438 ~x7755 ~x6713 
14.06/14.20	v ~x10994 ~x1089 ~x9994 ~x3413 ~x4440 ~x7757 ~x6715 ~x10995 ~x1091 ~x9997 
14.06/14.20	v ~x3415 ~x4442 ~x7759 ~x147 ~x10996 ~x1093 ~x9999 ~x3417 ~x4444 ~x7761 
14.06/14.20	v ~x6717 ~x10998 ~x1095 ~x10001 ~x3419 ~x4446 ~x7763 ~x6719 ~x10999 ~x1096 
14.06/14.20	v ~x10003 ~x3421 ~x4448 ~x7764 ~x6721 ~x11001 ~x1098 ~x10005 ~x3423 ~x4450 
14.06/14.20	v ~x7766 ~x6723 ~x11003 ~x1100 ~x10007 ~x3425 ~x4452 ~x7768 ~x6725 ~x11005 
14.06/14.20	v ~x1102 ~x10009 ~x3427 ~x4454 ~x7770 ~x6727 ~x11006 ~x1104 ~x10011 ~x3429 
14.06/14.20	v ~x4456 ~x7772 ~x6729 ~x11008 ~x1106 ~x10013 ~x3431 ~x4458 ~x7774 ~x6731 
14.06/14.20	v ~x11010 ~x1108 ~x10015 ~x3433 ~x4460 ~x7776 ~x6733 ~x11012 ~x1110 ~x10017 
14.06/14.20	v ~x3435 ~x4461 ~x7777 ~x6735 ~x11014 ~x1112 ~x244 ~x3437 ~x4463 ~x7779 
14.06/14.20	v ~x6737 ~x11016 ~x1114 ~x10019 ~x3439 ~x4465 ~x7781 ~x6739 ~x11018 ~x1116 
14.06/14.20	v ~x10021 ~x3441 ~x4467 ~x7783 ~x6741 x11019 ~x1118 ~x10023 ~x3443 ~x4469 
14.06/14.20	v ~x7785 ~x6743 ~x11021 ~x1120 ~x10025 ~x3445 ~x4471 ~x7787 ~x6745 ~x11022 
14.06/14.20	v ~x1122 ~x10027 ~x3447 ~x4473 ~x7789 ~x148 ~x11024 ~x1124 ~x10029 ~x3449 
14.06/14.20	v ~x4475 ~x7791 ~x6747 ~x11026 ~x1126 ~x10031 ~x3451 ~x4477 ~x7793 ~x6749 
14.06/14.20	v ~x11027 ~x1128 ~x245 ~x3453 ~x4479 ~x7795 ~x6751 ~x11029 ~x1130 ~x10034 
14.06/14.20	v ~x3455 ~x4481 ~x7797 ~x6753 ~x11031 ~x1132 ~x10036 ~x3457 ~x4483 ~x7799 
14.06/14.20	v ~x6755 ~x11033 ~x1134 ~x10038 ~x3459 ~x4485 ~x7801 ~x6757 ~x11035 ~x1136 
14.06/14.20	v ~x10040 ~x3461 ~x4487 ~x7803 ~x6759 ~x11036 ~x1138 ~x10042 ~x3463 ~x4489 
14.06/14.20	v ~x7805 ~x6761 ~x11038 ~x1140 ~x246 ~x3465 ~x4491 ~x7807 ~x6763 ~x11040 
14.06/14.20	v ~x1142 ~x10046 ~x3467 ~x4493 ~x7808 ~x6765 ~x11041 ~x1144 ~x247 ~x3469 
14.06/14.20	v ~x4495 ~x7810 ~x6767 ~x11042 ~x1146 ~x10049 ~x3471 ~x4497 ~x7812 ~x6769 
14.06/14.20	v ~x11043 ~x1148 ~x10051 ~x3473 ~x4499 ~x7814 ~x6771 ~x11044 ~x1150 ~x10053 
14.06/14.20	v ~x3475 ~x4501 ~x7816 ~x6773 ~x11045 ~x1151 ~x10055 ~x3477 ~x4502 ~x7818 
14.06/14.20	v ~x6775 ~x11046 ~x1153 ~x10057 ~x3479 ~x4504 ~x7819 ~x149 ~x11048 ~x1155 
14.06/14.20	v ~x10059 ~x3481 ~x4506 ~x7821 ~x6777 ~x11050 ~x1157 ~x10061 ~x3484 ~x4508 
14.06/14.20	v ~x7823 ~x6779 ~x11052 ~x1159 ~x248 ~x3486 ~x4510 ~x7825 ~x6781 ~x11054 
14.06/14.20	v ~x1161 ~x10063 ~x3488 ~x4512 ~x7827 ~x6784 ~x11055 ~x1163 ~x10065 ~x3490 
14.06/14.20	v ~x4514 ~x7829 ~x6786 x11056 ~x1165 ~x249 ~x3492 ~x4516 ~x7831 ~x6788 
14.06/14.20	v ~x11058 ~x1167 ~x10068 ~x3494 ~x4518 ~x7833 ~x150 ~x11059 ~x1169 ~x10070 
14.06/14.20	v ~x3496 ~x4520 ~x7834 ~x6791 ~x11060 ~x1171 ~x250 ~x3498 ~x4522 ~x7836 
14.06/14.20	v ~x6793 ~x11061 ~x1172 ~x10073 ~x3500 ~x4524 ~x7838 ~x6795 x11062 ~x1174 
14.06/14.20	v ~x251 ~x3502 ~x4526 ~x7840 ~x6797 ~x11064 ~x1176 ~x10076 ~x3504 ~x4528 
14.06/14.20	v ~x7842 ~x6799 ~x11065 ~x1178 ~x10078 ~x3506 ~x4530 ~x7844 ~x6801 ~x11066 
14.06/14.20	v ~x1180 ~x10080 ~x3508 ~x4532 ~x7846 ~x6803 ~x11067 ~x1182 ~x10082 ~x3510 
14.06/14.20	v ~x4534 ~x7848 ~x6805 ~x11069 ~x1184 ~x10084 ~x3512 ~x4536 ~x7850 ~x6807 
14.06/14.20	v ~x11071 ~x1185 ~x10087 ~x3514 ~x4538 ~x7852 ~x6809 ~x11072 ~x1187 ~x10089 
14.06/14.20	v ~x3516 ~x4540 ~x7854 ~x6811 ~x11073 ~x1189 ~x10091 ~x3518 ~x4542 ~x7856 
14.06/14.20	v ~x6813 ~x11075 ~x1191 ~x10093 ~x3520 ~x4544 ~x7858 ~x6815 ~x11076 ~x1193 
14.06/14.20	v ~x10095 ~x3522 ~x4546 ~x7860 ~x6817 ~x11078 ~x1195 ~x10097 ~x75 ~x4548 
14.06/14.20	v ~x7862 ~x151 ~x11079 ~x1197 ~x10099 ~x3524 ~x4550 ~x7864 ~x6819 x11080 
14.06/14.20	v ~x1199 ~x10101 ~x3526 ~x4552 ~x7866 ~x6821 ~x11082 ~x1200 ~x10104 ~x3528 
14.06/14.20	v ~x4554 ~x7868 ~x6823 x11083 ~x1201 ~x10106 ~x3530 ~x4556 ~x7870 ~x6825 
14.06/14.20	v ~x11084 ~x1203 ~x10108 ~x3532 ~x4558 ~x7872 ~x6827 x11085 ~x1205 ~x10110 
14.06/14.20	v ~x3534 ~x4560 ~x7874 ~x6829 ~x1207 ~x10112 ~x3536 ~x4562 ~x7876 ~x6831 
14.06/14.20	v ~x1209 ~x10114 ~x3538 ~x4564 ~x7878 ~x152 ~x1211 ~x10116 ~x3540 ~x4566 
14.06/14.20	v ~x7880 ~x6833 ~x1213 ~x10118 ~x3542 ~x4568 ~x7882 ~x6836 ~x1215 ~x10120 
14.06/14.20	v ~x3544 ~x4570 ~x7884 ~x6838 ~x1217 ~x10122 ~x3546 ~x4571 ~x7886 ~x6840 
14.06/14.20	v ~x1219 ~x10124 ~x3548 ~x4573 ~x7888 ~x6842 ~x1221 ~x10126 ~x3550 ~x4575 
14.06/14.20	v ~x7890 ~x6844 ~x1223 ~x10128 ~x3552 ~x4577 ~x7892 x153 ~x1225 ~x10130 
14.06/14.20	v ~x3554 ~x4579 ~x7894 ~x6846 ~x1227 ~x10132 ~x3556 ~x4581 ~x7896 ~x6849 
14.06/14.20	v ~x1229 ~x252 ~x3558 ~x4583 ~x7897 ~x154 ~x303 ~x1231 ~x10135 ~x3560 
14.06/14.20	v ~x4585 ~x7899 ~x6851 ~x305 ~x1233 ~x10137 ~x3562 ~x4587 ~x7901 ~x6853 
14.06/14.20	v ~x307 x1234 ~x10140 ~x3564 ~x4589 ~x7903 ~x6855 ~x309 ~x1236 ~x10142 
14.06/14.20	v ~x3566 ~x4591 ~x7905 ~x6857 ~x311 ~x1238 ~x10144 ~x3568 ~x4593 ~x7906 
14.06/14.20	v ~x6859 ~x313 ~x1240 ~x10146 ~x3570 ~x4595 ~x7908 ~x6861 ~x315 ~x1242 
14.06/14.20	v ~x10148 ~x3572 ~x4597 ~x7910 ~x6863 ~x317 ~x1244 ~x10150 ~x3574 ~x4599 
14.06/14.20	v ~x7912 ~x6865 ~x319 ~x1246 ~x10152 ~x3576 ~x4601 ~x7914 ~x6867 ~x321 
14.06/14.20	v ~x1248 ~x10154 ~x3578 ~x4603 ~x7916 ~x6869 ~x323 ~x1250 ~x10156 ~x3580 
14.06/14.20	v ~x4605 ~x7917 ~x6871 ~x325 ~x1252 ~x10158 ~x3582 ~x4607 ~x7919 ~x6873 
14.06/14.20	v ~x327 ~x1254 ~x10160 ~x3584 ~x4609 ~x7921 ~x6875 ~x329 ~x1256 ~x253 
14.06/14.20	v ~x76 ~x4611 ~x7922 ~x6877 ~x331 ~x1258 ~x10162 ~x3586 ~x4613 ~x7923 
14.06/14.20	v ~x6879 ~x333 ~x1260 ~x10164 ~x3588 ~x4615 ~x7925 ~x6881 ~x335 ~x1262 
14.06/14.20	v ~x10166 ~x3590 ~x4617 ~x7927 ~x6883 ~x337 ~x1264 ~x10168 ~x3592 ~x4619 
14.06/14.20	v ~x7929 ~x6885 ~x339 ~x1266 ~x10170 ~x3594 ~x4621 ~x7931 ~x6887 ~x341 
14.06/14.20	v ~x1268 ~x10172 ~x3596 ~x4623 ~x7933 ~x6889 x343 ~x1270 ~x10174 ~x3598 
14.06/14.20	v ~x4625 ~x7935 ~x6891 ~x345 ~x1272 ~x10176 ~x3600 ~x4627 ~x7937 ~x6893 
14.06/14.20	v ~x347 ~x1274 ~x10179 ~x3602 ~x4629 ~x7939 ~x6895 ~x349 ~x1276 ~x10181 
14.06/14.20	v ~x3604 ~x4631 ~x7941 ~x6897 ~x351 ~x1278 ~x10183 ~x3606 ~x4633 ~x7943 
14.06/14.20	v ~x6899 ~x353 ~x1280 ~x10185 ~x3609 ~x4635 ~x7945 ~x6901 ~x355 ~x1282 
14.06/14.20	v ~x10187 ~x3611 ~x4637 ~x7947 ~x6903 ~x357 ~x1284 ~x10190 ~x3613 ~x4639 
14.06/14.20	v ~x7949 ~x6906 ~x359 ~x1286 ~x10192 ~x3615 ~x4641 ~x7951 ~x6908 ~x361 
14.06/14.20	v ~x1288 ~x10194 ~x3617 ~x4643 ~x7953 ~x6911 ~x363 ~x1290 ~x10196 ~x3619 
14.06/14.20	v ~x4645 ~x7955 ~x6913 ~x365 ~x1292 ~x10198 ~x3621 ~x4647 ~x7957 ~x6915 
14.06/14.20	v ~x367 ~x1294 ~x10200 ~x3623 ~x4649 ~x7959 ~x6917 ~x369 ~x1296 ~x10202 
14.06/14.20	v ~x3625 ~x4651 ~x7961 ~x6919 ~x371 ~x1298 ~x10204 ~x3627 ~x4653 ~x7963 
14.06/14.20	v ~x6921 ~x373 ~x1300 ~x10206 ~x3629 ~x4655 ~x7965 ~x6923 ~x375 ~x1302 
14.06/14.20	v ~x10210 ~x3631 ~x4657 ~x7967 ~x6925 ~x377 ~x1304 ~x10212 ~x3633 ~x4659 
14.06/14.20	v ~x7969 ~x6927 ~x379 ~x1306 ~x10214 ~x3635 ~x4661 ~x7971 ~x6929 ~x381 
14.06/14.20	v ~x1308 ~x10216 ~x3637 ~x4663 ~x7973 ~x6931 ~x383 ~x1310 ~x254 ~x3639 
14.06/14.20	v ~x4665 ~x7975 ~x6933 ~x385 ~x1312 ~x10218 ~x3641 ~x4667 ~x7977 ~x6935 
14.06/14.20	v ~x387 ~x1314 ~x10220 ~x3643 ~x4669 ~x7979 ~x6937 ~x389 ~x1316 ~x10222 
14.06/14.20	v ~x3645 ~x4671 ~x7981 ~x6939 ~x391 ~x1318 ~x10224 ~x77 ~x4673 ~x7983 
14.06/14.20	v ~x6941 ~x393 ~x1320 ~x10227 ~x3647 ~x4675 ~x7985 ~x6943 ~x395 ~x1322 
14.06/14.20	v ~x10229 ~x3649 ~x4677 ~x7987 ~x6945 ~x397 ~x1324 ~x10233 ~x3651 ~x4679 
14.06/14.20	v ~x7989 ~x6947 ~x399 ~x1326 ~x10235 ~x3653 ~x4681 ~x7991 ~x6949 ~x401 
14.06/14.20	v ~x1328 ~x10237 ~x3655 ~x4683 ~x7993 ~x6951 ~x403 ~x1330 ~x10239 ~x3657 
14.06/14.20	v ~x4685 ~x7995 ~x6953 ~x405 ~x1332 ~x10241 ~x3660 ~x4687 ~x7997 ~x6955 
14.06/14.20	v ~x407 ~x1334 ~x255 ~x3662 ~x4689 ~x7998 ~x6957 ~x409 ~x1336 ~x10244 
14.06/14.20	v ~x3664 ~x4691 ~x8000 ~x6959 ~x411 ~x1338 ~x10246 ~x3666 ~x4693 ~x8002 
14.06/14.20	v ~x6961 ~x413 ~x1340 ~x10248 ~x3668 ~x4695 ~x8004 ~x6963 ~x415 ~x1342 
14.06/14.20	v ~x10250 ~x3670 ~x4697 ~x8006 ~x6965 ~x417 ~x1344 ~x10252 ~x3672 ~x4698 
14.06/14.20	v ~x8007 ~x6967 ~x419 ~x1346 ~x10254 ~x3674 ~x4700 ~x8009 ~x6969 ~x421 
14.06/14.20	v ~x1348 ~x10256 ~x3676 ~x4702 ~x8011 ~x6971 ~x423 ~x1350 ~x10258 ~x3678 
14.06/14.20	v ~x4704 ~x8013 ~x6973 ~x425 ~x1352 ~x10260 ~x3680 ~x4706 ~x8015 ~x155 
14.06/14.20	v ~x427 ~x1354 ~x10262 ~x3682 ~x4708 ~x8017 ~x6975 ~x429 ~x1356 ~x10264 
14.06/14.20	v ~x3684 ~x4710 ~x8019 ~x6977 ~x1 ~x1358 ~x10266 ~x3686 ~x4711 ~x8021 
14.06/14.20	v ~x6979 ~x431 ~x1360 ~x10269 ~x3688 ~x4713 ~x8023 ~x6981 ~x433 ~x1362 
14.06/14.20	v ~x10271 ~x3690 ~x4715 ~x8025 ~x6983 ~x435 ~x1364 ~x10273 ~x3692 ~x4717 
14.06/14.20	v ~x8027 ~x6985 ~x437 ~x1366 ~x10276 ~x3694 ~x4719 ~x8029 ~x6987 ~x439 
14.06/14.20	v ~x1368 ~x10278 ~x3696 ~x4721 ~x8031 ~x6989 ~x441 ~x1370 ~x10281 ~x3698 
14.06/14.20	v ~x4723 ~x8033 ~x6991 ~x443 ~x1372 ~x10283 ~x3700 ~x4725 ~x8035 ~x6993 
14.06/14.20	v ~x445 ~x1374 ~x256 ~x3703 ~x4727 ~x8037 ~x6995 ~x447 ~x1376 ~x10285 
14.06/14.20	v ~x3705 ~x4729 ~x8039 ~x6997 ~x449 ~x1377 ~x10287 ~x3707 ~x4731 ~x8041 
14.06/14.20	v ~x7000 ~x451 ~x1379 ~x10289 ~x3709 ~x4733 ~x8043 ~x7002 ~x453 ~x1381 
14.06/14.20	v ~x10291 ~x3711 ~x4735 ~x8045 ~x7004 ~x455 ~x1383 ~x10293 ~x3713 ~x4737 
14.06/14.20	v ~x8047 ~x7006 ~x457 ~x1385 ~x10295 ~x3715 ~x4739 ~x8049 ~x7008 ~x459 
14.06/14.20	v ~x1386 ~x10297 ~x3717 ~x4741 ~x8051 ~x7010 ~x461 ~x1388 ~x10299 ~x3719 
14.06/14.20	v ~x4742 ~x8053 ~x7012 ~x463 ~x1390 ~x10301 ~x3721 ~x4744 ~x8055 ~x7014 
14.06/14.20	v ~x465 ~x1392 ~x10304 ~x3723 ~x4746 ~x8057 ~x7016 ~x467 ~x1393 ~x10306 
14.06/14.20	v ~x3725 ~x4748 ~x8058 ~x7018 ~x469 ~x1395 ~x10308 ~x3727 ~x4750 ~x8060 
14.06/14.20	v ~x7020 ~x471 ~x1397 ~x10310 ~x3729 ~x4751 ~x8061 ~x7022 ~x473 ~x1399 
14.06/14.20	v ~x10312 ~x3731 ~x4753 ~x8063 ~x7024 ~x475 ~x1401 ~x10314 ~x3733 ~x4755 
14.06/14.20	v ~x8065 ~x7026 ~x477 ~x1403 ~x10316 ~x3735 ~x4757 ~x8067 ~x7028 ~x479 
14.06/14.20	v ~x1405 ~x10318 ~x3737 ~x4759 ~x8069 ~x7030 ~x481 ~x1407 ~x10320 ~x3739 
14.06/14.20	v ~x4761 ~x8071 ~x7032 ~x483 ~x1409 ~x10322 ~x3741 ~x4763 ~x8072 ~x7034 
14.06/14.20	v ~x485 ~x1411 ~x10324 ~x3743 ~x4765 ~x8074 ~x156 ~x487 ~x1413 ~x10326 
14.06/14.20	v ~x3745 ~x4766 ~x8076 ~x7036 ~x489 ~x1415 ~x10328 ~x3747 ~x4768 ~x8078 
14.06/14.20	v ~x7038 ~x491 ~x1417 ~x10330 ~x3749 ~x4770 ~x8080 ~x7040 ~x2 ~x1419 
14.06/14.20	v ~x10332 ~x3751 ~x4771 ~x8082 ~x7042 ~x493 ~x1421 ~x10334 ~x3753 ~x4773 
14.06/14.20	v ~x8084 ~x7044 ~x495 ~x1423 ~x10336 ~x3755 ~x4775 ~x8086 ~x7046 ~x497 
14.06/14.20	v ~x1425 ~x10338 ~x3757 ~x4777 ~x8088 ~x7048 ~x499 ~x1427 ~x10340 ~x3759 
14.06/14.20	v ~x4779 ~x8090 ~x7050 ~x501 ~x1429 ~x10342 ~x3761 ~x4781 ~x8092 ~x7052 
14.06/14.20	v ~x503 ~x1431 ~x10344 ~x3763 ~x4783 ~x8094 ~x7054 ~x505 ~x1433 ~x257 
14.06/14.20	v ~x3765 ~x4785 ~x8096 ~x7056 ~x507 ~x1435 ~x10346 ~x3767 ~x4787 ~x8098 
14.06/14.20	v ~x7058 ~x509 ~x1437 ~x10348 ~x3769 ~x4789 ~x8100 ~x7060 ~x511 ~x1439 
14.06/14.20	v ~x10350 ~x3771 ~x4791 ~x8102 ~x7062 ~x513 ~x1441 ~x10352 ~x3773 ~x4793 
14.06/14.20	v ~x8104 ~x7064 ~x515 ~x1443 ~x10354 ~x3776 ~x4795 ~x8106 ~x7066 ~x517 
14.06/14.20	v ~x1445 ~x10356 ~x3778 ~x4797 ~x8108 ~x7068 ~x519 ~x1447 ~x10358 ~x3780 
14.06/14.20	v ~x4799 ~x8109 ~x7070 ~x521 ~x1449 ~x10360 ~x3782 ~x4801 ~x8111 ~x7072 
14.06/14.20	v ~x523 ~x1451 ~x10362 ~x3784 ~x4803 ~x8113 ~x7074 ~x525 ~x1453 ~x10364 
14.06/14.20	v ~x3786 ~x4805 ~x8115 ~x7076 ~x527 ~x1455 ~x10366 ~x3788 ~x4807 ~x8117 
14.06/14.20	v ~x7078 ~x529 ~x1457 ~x10368 ~x3790 ~x4809 ~x8119 ~x7080 ~x531 ~x1459 
14.06/14.20	v ~x10370 ~x3792 ~x4811 ~x8121 ~x7082 ~x533 ~x1461 ~x10373 ~x3794 ~x4813 
14.06/14.20	v ~x8123 ~x7084 ~x535 ~x1463 ~x258 ~x3796 ~x4815 ~x8125 ~x7086 ~x537 
14.06/14.20	v ~x1465 ~x10375 ~x3798 ~x4817 ~x8127 ~x7088 ~x539 ~x1467 ~x10377 ~x3800 
14.06/14.20	v ~x4819 ~x8129 ~x7090 ~x541 ~x1469 ~x10379 ~x3802 ~x4821 ~x8131 ~x7092 
14.06/14.20	v ~x543 ~x1471 ~x10381 ~x3804 ~x4823 ~x8133 ~x7094 ~x545 ~x1473 ~x10383 
14.06/14.20	v ~x3806 ~x4825 ~x8135 ~x7096 ~x547 ~x1475 ~x10385 ~x3808 ~x4827 ~x8137 
14.06/14.20	v ~x157 ~x549 ~x1477 ~x10387 ~x3810 ~x4829 ~x8139 ~x7098 ~x551 ~x1479 
14.06/14.20	v ~x10389 ~x3812 ~x4831 ~x8141 ~x7100 ~x553 ~x1481 ~x10391 ~x3814 ~x4833 
14.06/14.20	v ~x8143 ~x7102 ~x3 ~x1483 ~x10393 ~x3816 ~x4835 ~x8145 ~x7104 ~x555 
14.06/14.20	v ~x1485 ~x10395 ~x3818 ~x4837 ~x8147 ~x7106 ~x557 ~x1487 ~x10397 ~x3820 
14.16/14.20	v ~x4839 ~x8149 ~x7108 ~x559 ~x1489 ~x10399 ~x3822 ~x4841 ~x8151 ~x7110 
14.16/14.20	v ~x561 ~x1491 ~x10401 ~x3824 ~x4843 ~x8153 ~x7112 ~x563 ~x1493 ~x10403 
14.16/14.20	v ~x3826 ~x4845 ~x8155 ~x7114 ~x565 ~x1495 ~x259 ~x3828 ~x4847 ~x8157 
14.16/14.20	v ~x7116 ~x567 ~x1497 ~x10405 ~x3830 ~x4849 ~x8159 ~x7118 ~x569 ~x1499 
14.16/14.20	v ~x10407 ~x3832 ~x4851 ~x8161 ~x7121 ~x571 ~x1501 ~x10409 ~x3834 ~x4853 
14.16/14.20	v ~x8163 ~x7123 ~x573 ~x1503 ~x10412 ~x3836 ~x4854 ~x8165 ~x7125 ~x575 
14.16/14.20	v ~x1505 ~x10414 ~x3838 ~x4856 ~x8167 ~x158 ~x577 ~x1507 ~x10416 ~x3840 
14.16/14.20	v ~x4858 ~x8169 ~x7127 ~x579 ~x1509 ~x260 ~x3842 ~x4860 ~x8171 ~x7129 
14.16/14.20	v ~x581 ~x1511 ~x10418 ~x3844 ~x4862 ~x8172 ~x7131 ~x583 ~x1513 ~x10421 
14.16/14.20	v ~x3846 ~x4864 ~x8174 ~x7133 ~x4 ~x1515 ~x10423 ~x3848 ~x4866 ~x8176 
14.16/14.20	v ~x7135 ~x585 ~x1517 ~x10425 ~x3850 ~x4868 ~x8177 ~x7138 ~x587 ~x1519 
14.16/14.20	v ~x10427 ~x3852 ~x4870 ~x8179 ~x7141 ~x589 ~x1521 ~x10429 x3854 ~x4871 
14.16/14.20	v ~x8181 ~x7143 ~x591 ~x1523 ~x10431 ~x3856 ~x4873 ~x8183 ~x7145 ~x593 
14.16/14.20	v ~x1525 ~x10433 ~x3858 ~x4875 ~x8185 ~x7147 ~x595 ~x1527 ~x10435 ~x3860 
14.16/14.20	v ~x4877 ~x8187 ~x7149 ~x597 ~x1529 ~x10437 ~x78 ~x4879 ~x8189 ~x7151 
14.16/14.20	v ~x599 ~x1531 ~x10439 ~x3862 ~x4881 ~x8191 ~x7153 ~x601 ~x1533 ~x10441 
14.16/14.20	v ~x3864 ~x4883 ~x8192 ~x7155 ~x603 ~x1535 ~x10443 ~x3866 ~x4885 ~x8194 
14.16/14.20	v ~x7157 ~x605 ~x1537 ~x10445 ~x3868 ~x4887 ~x8196 ~x7159 ~x607 ~x1539 
14.16/14.20	v ~x261 ~x3870 ~x4889 ~x8198 ~x7161 ~x609 ~x1541 ~x10447 ~x3872 ~x4891 
14.16/14.20	v ~x8200 ~x7163 ~x611 ~x1543 ~x10449 ~x3874 ~x4893 ~x8202 ~x7165 ~x613 
14.16/14.20	v ~x1545 ~x10451 ~x3876 ~x4895 ~x8204 ~x7167 ~x615 ~x1547 ~x10454 ~x3878 
14.16/14.20	v ~x4897 ~x8206 ~x7169 ~x617 ~x1549 ~x10456 ~x3880 ~x4899 ~x8208 ~x7171 
14.16/14.20	v ~x619 ~x1551 ~x10458 ~x3882 ~x4901 ~x8210 ~x7173 ~x621 ~x1553 ~x262 
14.16/14.20	v ~x3884 ~x4903 ~x8212 ~x7175 ~x623 ~x1555 ~x10460 ~x3886 ~x4905 ~x8214 
14.16/14.20	v ~x7177 ~x625 ~x1557 ~x10462 ~x3888 ~x4907 ~x8216 ~x7179 ~x627 ~x1559 
14.16/14.20	v ~x10464 ~x3890 ~x4909 ~x8218 ~x7181 ~x629 ~x1561 ~x10466 ~x3892 ~x4911 
14.16/14.20	v ~x8220 ~x7183 ~x631 ~x1563 ~x10468 ~x3894 ~x4913 ~x8222 ~x7185 ~x633 
14.16/14.20	v ~x1565 ~x10471 ~x3896 ~x4915 ~x8224 ~x159 ~x635 ~x1567 ~x263 ~x3898 
14.16/14.20	v ~x4917 ~x8226 ~x7187 ~x637 ~x1569 ~x10473 ~x3900 ~x4919 ~x8228 ~x7189 
14.16/14.20	v ~x639 ~x1571 ~x10476 ~x3902 ~x4921 ~x8230 ~x7191 ~x641 ~x1573 ~x264 
14.16/14.20	v ~x3904 ~x4923 ~x8232 ~x7193 ~x643 ~x1575 ~x10478 ~x3906 ~x4925 ~x8234 
14.16/14.20	v ~x7195 ~x645 ~x1577 ~x10480 ~x3908 ~x4927 ~x8236 ~x7197 ~x5 ~x1579 
14.16/14.20	v ~x10482 ~x3910 ~x4929 ~x8238 ~x7199 ~x647 ~x1581 ~x10484 ~x3912 ~x4931 
14.16/14.20	v ~x8240 ~x7201 ~x649 ~x1583 ~x10486 ~x3914 ~x4933 ~x8242 ~x7203 ~x651 
14.16/14.20	v ~x1585 ~x10488 ~x3916 ~x4935 ~x8244 ~x7205 ~x653 ~x1587 ~x10490 ~x3918 
14.16/14.20	v ~x4936 ~x8246 ~x7207 ~x656 ~x1589 ~x10493 ~x3920 ~x4938 ~x8248 ~x7209 
14.16/14.20	v ~x658 ~x1591 ~x10495 ~x3922 ~x4940 ~x8250 ~x7211 ~x660 ~x1593 ~x10497 
14.16/14.20	v ~x79 ~x4942 ~x8252 ~x160 ~x662 ~x1595 ~x10500 ~x3924 ~x4944 ~x8254 
14.16/14.20	v ~x7213 ~x664 ~x1597 ~x10502 ~x3926 ~x4946 ~x8256 ~x7215 ~x666 x1598 
14.16/14.20	v ~x10504 ~x3928 ~x4947 ~x8258 ~x7217 ~x668 ~x1600 ~x10506 ~x3930 ~x4949 
14.16/14.20	v ~x8260 ~x7219 ~x670 ~x1602 ~x10508 ~x3932 ~x4951 ~x8262 ~x7221 ~x672 
14.16/14.20	v ~x1604 ~x10510 ~x3934 ~x4953 ~x8264 ~x7223 ~x674 ~x1606 ~x10512 ~x3936 
14.16/14.20	v ~x4955 ~x8266 ~x7225 ~x6 ~x1608 ~x10514 ~x3938 ~x4957 ~x8268 ~x7227 
14.16/14.20	v ~x676 ~x1610 ~x10516 ~x3940 ~x4958 ~x8269 ~x7230 ~x678 ~x1612 ~x10518 
14.16/14.20	v ~x3942 ~x4960 ~x8271 ~x7232 ~x680 ~x1614 ~x10520 ~x3944 ~x4961 ~x8273 
14.16/14.20	v ~x7234 ~x682 ~x1616 ~x10522 ~x3946 ~x4963 ~x8275 ~x7236 ~x684 ~x1618 
14.16/14.20	v ~x10524 ~x3948 ~x4965 ~x8277 ~x7238 ~x686 ~x1620 ~x10526 ~x3950 ~x4967 
14.16/14.20	v ~x8279 ~x7240 ~x688 ~x1622 ~x10528 ~x3952 ~x4969 ~x8281 ~x161 ~x690 
14.16/14.20	v ~x1624 ~x10530 ~x80 ~x4971 ~x8283 ~x7242 ~x692 ~x1626 ~x10532 ~x3954 
14.16/14.20	v ~x4973 ~x8285 ~x7244 ~x694 ~x1628 ~x10534 ~x3956 ~x4975 ~x8287 ~x7246 
14.16/14.20	v ~x696 ~x1630 ~x10536 ~x3958 ~x4977 ~x8289 ~x7249 ~x698 ~x1632 ~x265 
14.16/14.20	v ~x3960 ~x4979 ~x8291 ~x7251 ~x700 ~x1634 ~x10538 ~x3962 ~x4981 ~x8293 
14.16/14.20	v ~x7253 ~x702 ~x1636 ~x10540 ~x3964 ~x4983 ~x8295 ~x7255 ~x704 ~x1638 
14.16/14.20	v ~x10542 ~x3966 ~x4985 ~x8297 ~x7257 ~x7 ~x1640 ~x10544 ~x3968 ~x4987 
14.16/14.20	v ~x8299 ~x7259 ~x706 ~x1642 ~x10547 ~x3970 ~x4989 ~x8301 ~x7261 ~x708 
14.16/14.20	v ~x1644 ~x10549 ~x3972 ~x4991 ~x8303 ~x7263 ~x710 ~x1646 ~x10551 ~x3974 
14.16/14.20	v ~x4993 ~x8305 ~x7265 ~x712 ~x1648 ~x10553 ~x3976 ~x4995 ~x8307 ~x7267 
14.16/14.20	v ~x714 ~x1650 ~x10555 ~x3978 ~x4997 ~x8309 ~x7269 ~x716 ~x1652 ~x10557 
14.16/14.20	v ~x3980 ~x4999 ~x8311 ~x7271 ~x718 ~x1654 ~x10559 ~x3982 ~x5001 ~x8313 
14.16/14.20	v ~x7273 ~x8 ~x1656 ~x10562 ~x3984 ~x5003 ~x8315 ~x7275 ~x720 ~x1658 
14.16/14.20	v ~x266 ~x3986 ~x5005 ~x8316 ~x7277 ~x722 ~x1660 ~x10564 ~x3988 ~x5007 
14.16/14.20	v ~x8318 ~x7279 ~x724 ~x1662 ~x10566 ~x3990 ~x5009 ~x8320 ~x7281 ~x726 
14.16/14.20	v ~x1664 ~x10568 ~x3992 ~x5011 ~x8322 ~x7283 ~x728 ~x1666 ~x10570 ~x3994 
14.16/14.20	v x5012 ~x8323 ~x7285 ~x730 ~x1668 ~x10573 ~x3996 ~x5014 ~x8325 ~x7287 
14.16/14.20	v ~x732 ~x1670 ~x10575 ~x3998 ~x5016 ~x8327 ~x7289 ~x734 ~x1672 ~x10577 
14.16/14.20	v ~x4000 ~x5018 ~x8329 x7291 ~x736 ~x1674 ~x10579 ~x4002 ~x5020 ~x8331 
14.16/14.20	v ~x7293 ~x738 ~x1676 ~x10581 ~x4004 ~x5021 ~x8333 ~x7295 ~x740 ~x1678 
14.16/14.20	v ~x10583 ~x4006 ~x5023 ~x8335 ~x7297 ~x742 ~x1680 ~x10585 ~x4008 ~x5025 
14.16/14.20	v ~x8337 ~x7299 ~x744 ~x1682 ~x10587 ~x4010 ~x5027 ~x8339 ~x7301 ~x746 
14.16/14.20	v ~x1684 ~x10589 ~x4012 ~x5029 ~x8341 ~x7303 ~x748 ~x1686 ~x10591 ~x4014 
14.16/14.20	v ~x5031 ~x8343 ~x7305 ~x750 ~x1688 ~x267 ~x81 ~x5033 ~x8345 ~x7307 
14.16/14.20	v ~x752 ~x1690 ~x10593 ~x4016 ~x5035 ~x8347 ~x7309 ~x754 ~x1692 ~x10596 
14.16/14.20	v ~x4018 ~x5037 ~x8349 ~x7311 ~x756 ~x1694 ~x10598 ~x4020 ~x5039 ~x8351 
14.16/14.20	v ~x7313 ~x758 ~x1696 ~x10600 ~x4022 ~x5041 ~x8353 ~x7315 ~x760 ~x1698 
14.16/14.20	v ~x10602 ~x4024 ~x5043 ~x8355 x162 ~x762 ~x1700 ~x10604 ~x4026 ~x5045 
14.16/14.20	v ~x8357 ~x7317 ~x764 ~x1702 ~x10606 ~x4028 ~x5047 ~x8359 ~x7319 ~x766 
14.16/14.20	v ~x1704 ~x10608 ~x4030 ~x5049 ~x8361 ~x7321 ~x768 ~x1706 ~x10610 ~x4032 
14.16/14.20	v ~x5051 ~x8363 ~x7323 ~x770 ~x1708 ~x10612 ~x4034 ~x5053 ~x8365 ~x7325 
14.16/14.20	v ~x772 ~x1710 ~x10614 ~x4036 ~x5055 ~x8367 ~x7327 ~x774 ~x1712 ~x10616 
14.16/14.20	v ~x4038 ~x5057 ~x8369 ~x7329 ~x776 ~x1714 ~x10618 ~x4040 ~x5059 ~x8371 
14.16/14.20	v x7331 ~x778 ~x1716 ~x10620 ~x4043 ~x5061 ~x8373 ~x7333 ~x780 ~x1718 
14.16/14.20	v ~x10622 ~x82 ~x5063 ~x8375 ~x7335 ~x9 ~x1720 ~x10625 ~x4045 ~x5065 
14.16/14.20	v ~x8377 ~x7337 ~x782 ~x1722 ~x10627 ~x4047 ~x5067 ~x8379 ~x7339 ~x784 
14.16/14.20	v ~x1724 ~x10629 ~x4049 ~x5069 ~x8381 ~x7341 ~x786 ~x1726 ~x10631 ~x4051 
14.16/14.20	v ~x5071 ~x8383 ~x7343 ~x788 ~x1728 ~x10633 ~x4053 ~x5073 ~x8385 ~x7345 
14.16/14.20	v ~x790 ~x1730 ~x268 ~x4055 ~x5075 ~x8387 ~x163 ~x792 ~x1732 ~x10635 
14.16/14.20	v ~x4057 ~x5077 ~x8389 ~x7347 ~x794 ~x1734 ~x10638 ~x4059 ~x5079 ~x8391 
14.16/14.20	v ~x7349 ~x796 ~x1736 ~x10640 ~x4061 ~x5081 ~x8393 ~x7351 ~x798 ~x1738 
14.16/14.20	v ~x10643 ~x4063 ~x5083 ~x8395 ~x7353 ~x800 ~x1740 ~x269 ~x4065 ~x5085 
14.16/14.20	v ~x8397 ~x7355 ~x802 ~x1742 ~x10645 ~x4067 ~x5087 ~x8399 ~x7357 ~x804 
14.16/14.20	v ~x1744 ~x10647 ~x4069 ~x5089 ~x8401 ~x7359 ~x806 ~x1746 ~x10649 ~x4071 
14.16/14.20	v ~x5091 ~x8402 ~x7361 ~x808 ~x1748 ~x10651 ~x4073 ~x5093 ~x8404 ~x7363 
14.16/14.20	v ~x810 ~x1750 ~x10653 ~x83 ~x5095 ~x8406 ~x7365 ~x10 ~x1752 ~x10655 
14.16/14.20	v ~x4075 ~x5097 ~x8408 ~x7367 ~x812 ~x1754 ~x10657 ~x4077 ~x5099 ~x8409 
14.16/14.20	v ~x7369 ~x814 ~x1756 ~x270 ~x4079 ~x5101 ~x8411 ~x7371 ~x816 ~x1758 
14.16/14.20	v ~x10660 ~x4081 ~x5103 ~x8413 ~x7373 ~x818 ~x1760 ~x10662 ~x4083 ~x5105 
14.16/14.20	v ~x8415 ~x7375 ~x820 ~x1762 ~x271 ~x4085 ~x5107 ~x8417 ~x164 ~x822 
14.16/14.20	v ~x1764 ~x10664 ~x4087 ~x5109 ~x8419 ~x7377 ~x824 ~x1766 ~x10666 ~x84 
14.16/14.20	v ~x5111 ~x8421 ~x7379 ~x826 ~x1768 ~x10668 ~x4089 ~x5113 ~x8423 ~x7381 
14.16/14.20	v ~x828 ~x1770 ~x10670 ~x4091 ~x5115 ~x8425 ~x7383 ~x830 ~x1772 ~x10672 
14.16/14.20	v ~x4093 ~x5117 ~x8427 ~x7385 ~x832 ~x1774 ~x10674 ~x4095 ~x5119 ~x8429 
14.16/14.20	v ~x7387 ~x834 ~x1776 ~x10676 ~x4097 ~x5121 ~x8431 ~x7389 ~x836 ~x1778 
14.16/14.20	v ~x10678 ~x4099 ~x5123 ~x8433 ~x165 ~x838 ~x1780 ~x10680 ~x4101 ~x5125 
14.16/14.20	v ~x8435 ~x7391 ~x840 ~x1782 ~x10682 ~x4103 ~x5127 ~x8437 ~x7393 ~x11 
14.16/14.20	v ~x1784 ~x10684 ~x4105 ~x5129 ~x8439 ~x7395 ~x842 ~x1786 ~x10687 ~x4107 
14.16/14.20	v ~x5131 ~x8441 ~x7397 ~x844 ~x1788 ~x10689 ~x4109 ~x5133 ~x8443 ~x7399 
14.16/14.20	v ~x846 ~x1790 x272 ~x4111 ~x5135 ~x8445 ~x7401 ~x848 ~x1792 ~x10692 
14.16/14.20	v ~x4113 ~x5137 ~x8447 ~x7403 ~x850 ~x1794 ~x10694 ~x4115 ~x5139 ~x8449 
14.16/14.20	v ~x7405 ~x852 ~x1796 ~x10696 ~x4117 ~x5141 ~x8450 ~x7407 ~x854 ~x1798 
14.16/14.20	v ~x10698 ~x4119 ~x5143 ~x8451 ~x7409 ~x12 ~x1800 ~x10700 ~x4121 ~x5145 
14.16/14.20	v ~x8453 ~x7411 ~x856 ~x1802 ~x10702 ~x4123 ~x5147 ~x8455 ~x7413 ~x858 
14.16/14.20	v ~x1804 ~x10704 ~x4125 ~x5149 ~x8457 ~x7415 ~x860 ~x1806 ~x273 ~x4127 
14.16/14.20	v ~x5151 ~x8459 ~x7417 ~x862 ~x1808 ~x10706 ~x4129 ~x5153 ~x8460 ~x7419 
14.16/14.20	v ~x864 ~x1810 ~x10708 ~x4131 ~x5155 ~x8462 ~x166 ~x866 ~x1812 ~x10710 
14.16/14.20	v ~x4133 ~x5157 ~x8464 ~x7421 ~x868 ~x1814 ~x10714 ~x4135 ~x5159 ~x8466 
14.16/14.20	v ~x7423 ~x870 ~x1816 ~x10716 ~x4137 ~x5161 ~x8468 ~x7425 ~x872 ~x1818 
14.16/14.20	v ~x274 ~x4139 ~x5163 ~x8470 ~x7427 ~x874 ~x1820 ~x275 ~x4141 ~x5165 
14.16/14.20	v ~x8471 ~x7429 ~x876 ~x1822 ~x10720 ~x4144 ~x5167 ~x8473 ~x7431 ~x878 
14.16/14.20	v ~x1824 ~x10722 ~x4146 ~x5169 ~x8475 ~x7433 ~x880 ~x1826 ~x10724 ~x4148 
14.16/14.20	v ~x5171 ~x8477 ~x167 ~x882 ~x1828 ~x10726 ~x85 ~x5173 ~x8479 ~x7435 
14.16/14.20	v ~x884 ~x1830 ~x10728 ~x4150 ~x5175 ~x8481 ~x7437 ~x13 ~x1832 ~x10731 
14.16/14.20	v ~x4152 ~x5177 ~x8483 ~x7439 ~x886 ~x1834 ~x276 ~x4154 ~x5179 ~x8485 
14.16/14.20	v ~x7441 ~x888 ~x1836 ~x10734 ~x4156 ~x5181 ~x8487 ~x7443 ~x890 ~x1838 
14.16/14.20	v ~x10736 ~x4159 ~x5183 ~x8489 ~x7445 ~x892 ~x1840 ~x277 ~x4161 ~x5185 
14.16/14.20	v ~x8491 ~x7447 ~x894 ~x1842 ~x10738 ~x4163 ~x5187 ~x8493 ~x168 ~x896 
14.16/14.20	v ~x1844 ~x278 ~x4165 ~x5189 ~x8495 ~x7449 ~x898 ~x1846 ~x10742 ~x4167 
14.16/14.20	v ~x5191 ~x8497 ~x7451 ~x14 ~x1848 ~x279 ~x4169 ~x5193 ~x8499 ~x7453 
14.16/14.20	v ~x900 ~x1850 ~x10744 ~x4171 ~x5195 ~x8501 ~x169 ~x902 ~x1852 ~x10746 
14.16/14.20	v ~x4173 ~x5197 ~x8503 ~x7455 ~x904 ~x1854 ~x10748 ~x4175 ~x5199 ~x8505 
14.16/14.20	v ~x7457 ~x906 ~x1856 ~x10750 ~x4177 ~x5201 ~x8507 ~x7459 ~x908 ~x1858 
14.16/14.20	v ~x10752 ~x86 ~x5203 ~x8509 ~x7461 ~x910 ~x1860 ~x10754 ~x4179 ~x5205 
14.16/14.20	v ~x8511 ~x7463 ~x912 ~x1862 ~x10756 ~x4181 ~x5207 ~x8512 ~x7465 ~x15 
14.16/14.20	v ~x1864 ~x10759 ~x4183 ~x5209 ~x8514 ~x7467 ~x914 ~x1866 ~x10761 ~x4185 
14.16/14.20	v ~x5211 ~x8516 ~x7470 ~x916 ~x1868 ~x10763 ~x4187 ~x5213 ~x8518 ~x7472 
14.16/14.20	v ~x918 ~x1870 ~x10765 ~x4189 ~x5215 ~x8520 ~x7474 ~x16 ~x1872 ~x10767 
14.16/14.20	v ~x4191 ~x5217 ~x8522 ~x7476 ~x920 ~x1874 ~x10769 ~x4193 ~x5219 ~x8524 
14.16/14.20	v ~x7478 ~x922 ~x1876 ~x10771 ~x4195 ~x5221 ~x8525 ~x7480 ~x924 ~x1878 
14.16/14.20	v ~x10773 ~x4197 ~x5223 ~x8527 ~x7482 ~x926 ~x1880 ~x10775 ~x4199 ~x5225 
14.16/14.20	v ~x8529 ~x7484 ~x928 ~x1882 ~x10777 ~x4201 ~x5227 ~x8531 ~x7486 ~x930 
14.16/14.20	v ~x1884 ~x10779 ~x4203 ~x5229 ~x8533 ~x7488 ~x932 ~x1886 ~x10781 ~x4206 
14.16/14.20	v ~x5231 ~x8535 ~x7490 ~x934 ~x1888 ~x10783 ~x87 ~x5233 ~x8537 ~x7492 
14.16/14.20	v ~x936 ~x1890 ~x10785 ~x4208 ~x5235 ~x8539 ~x7494 ~x938 ~x1892 ~x10788 
14.16/14.20	v ~x4210 ~x5237 ~x8541 ~x7496 ~x940 ~x1894 ~x10791 ~x4214 ~x5239 ~x8543 
14.16/14.20	v ~x7498 ~x942 ~x1896 ~x10793 ~x4216 ~x5241 ~x8545 ~x7500 ~x944 ~x1898 
14.16/14.20	v ~x10795 ~x4218 ~x5243 ~x8547 ~x7502 ~x946 ~x1900 ~x280 ~x88 ~x5245 
14.16/14.20	v ~x8548 ~x7504 ~x948 ~x1902 ~x10797 ~x4220 ~x5247 ~x8550 ~x7506 ~x950 
14.16/14.20	v ~x1904 ~x10799 ~x4222 ~x5249 ~x8551 ~x7508 ~x952 ~x1906 ~x10801 ~x4224 
14.16/14.20	v ~x5251 ~x8553 ~x7510 ~x954 ~x1908 ~x10803 ~x4226 ~x5253 ~x8555 ~x7512 
14.16/14.20	v ~x956 ~x1910 ~x10806 ~x4228 ~x5255 ~x8557 ~x7514 ~x958 ~x1912 ~x10809 
14.16/14.20	v ~x4230 ~x5257 ~x8559 ~x170 ~x960 ~x1914 ~x10811 ~x4232 ~x5259 ~x8561 
14.16/14.20	v ~x7516 ~x962 ~x1916 ~x10813 ~x4234 ~x5261 ~x8563 ~x7518 ~x964 ~x1918 
14.16/14.20	v ~x10815 ~x4236 ~x5263 ~x8565 ~x7520 ~x966 ~x1920 ~x10817 ~x4238 ~x5265 
14.16/14.20	v ~x8567 ~x7522 ~x968 ~x1922 ~x10819 ~x4240 ~x5267 ~x8569 ~x7524 ~x970 
14.16/14.20	v ~x1924 ~x10821 ~x4242 ~x5269 ~x8571 ~x7526 ~x972 ~x1926 ~x281 ~x4244 
14.16/14.20	v ~x5271 ~x8572 ~x7528 ~x974 ~x1928 ~x10825 ~x4246 ~x5273 ~x8574 ~x7530 
14.16/14.20	v ~x976 ~x1930 ~x10827 ~x4248 ~x5275 ~x8575 ~x7532 ~x978 ~x1932 ~x10829 
14.16/14.20	v ~x4250 ~x5277 ~x8577 ~x7534 ~x980 ~x1934 ~x10831 ~x4252 ~x5279 ~x8579 
14.16/14.20	v ~x7537 ~x17 ~x1936 ~x10833 ~x4254 ~x5281 ~x8581 ~x7541 ~x982 ~x1938 
14.16/14.20	v ~x10835 ~x4256 ~x5283 ~x8583 ~x171 ~x984 ~x1940 ~x10837 ~x4258 ~x5285 
14.16/14.20	v x8584 ~x7543 ~x986 ~x1942 ~x10839 ~x4260 ~x5287 ~x8586 ~x7545 ~x988 
14.16/14.20	v ~x1944 ~x10842 ~x4262 ~x5289 ~x8588 ~x7547 ~x990 ~x1946 ~x10844 ~x4264 
14.16/14.20	v ~x5291 ~x8590 ~x7549 ~x992 ~x1948 ~x10846 ~x4266 ~x5293 ~x8592 ~x7551 
14.16/14.20	v ~x994 ~x1950 ~x10848 ~x4268 ~x5295 ~x8594 ~x7553 ~x996 ~x1952 ~x10850 
14.16/14.20	v ~x4270 ~x5297 ~x8596 ~x7555 ~x998 ~x1954 ~x282 ~x4272 ~x5298 ~x8598 
14.16/14.20	v ~x7557 ~x1000 ~x1956 ~x10852 ~x4274 ~x5299 ~x8600 ~x7559 ~x1002 ~x1958 
14.16/14.20	v ~x10854 ~x4276 ~x5301 ~x8602 ~x7561 ~x1004 ~x1960 ~x10858 ~x4278 ~x5303 
14.16/14.20	v ~x8604 ~x7563 ~x1006 ~x1962 ~x10860 ~x4280 ~x5305 ~x8606 ~x7565 ~x1008 
14.16/14.20	v ~x1964 ~x283 ~x89 ~x5307 ~x8608 ~x7567 ~x1010 ~x1966 ~x10863 ~x4282 
14.16/14.20	v ~x5309 ~x8610 ~x7569 ~x18 ~x1968 ~x10866 ~x4284 ~x5311 ~x8612 ~x7571 
14.16/14.20	v ~x1012 ~x1970 ~x10868 ~x4286 ~x5313 ~x8614 ~x172 ~x1014 ~x1972 ~x10870 
14.16/14.20	v ~x4288 ~x5315 ~x8616 ~x7573 ~x1016 ~x1974 ~x10872 ~x4290 ~x5317 ~x8618 
14.16/14.20	v ~x7575 ~x1018 ~x1976 ~x10874 ~x4292 ~x5319 ~x8620 ~x7578 ~x1020 ~x1978 
14.16/14.20	v ~x10876 ~x4294 ~x5321 ~x8622 ~x7580 ~x1022 ~x1980 ~x10879 ~x4296 ~x5323 
14.16/14.20	v ~x8624 ~x7582 ~x1024 ~x1982 ~x10881 ~x4298 ~x5325 ~x8626 ~x7584 ~x1026 
14.16/14.20	v ~x1984 ~x10883 ~x4300 ~x5327 ~x8628 ~x173 ~x1028 ~x1986 ~x10885 ~x4302 
14.16/14.20	v ~x5329 ~x8630 ~x7586 ~x1030 ~x1988 ~x10887 ~x4304 ~x5331 ~x8632 ~x7588 
14.16/14.20	v ~x1032 ~x1990 ~x10889 ~x4306 ~x5333 ~x8634 ~x7590 ~x1034 ~x1992 ~x284 
14.16/14.20	v ~x4308 ~x5335 ~x8636 ~x7592 ~x1036 ~x1994 ~x10891 ~x4310 ~x5337 ~x8638 
14.16/14.20	v ~x7594 ~x1038 ~x1996 ~x10894 ~x90 ~x5339 ~x8640 ~x7596 ~x1040 ~x1998 
14.16/14.20	v ~x10897 ~x4312 ~x5341 ~x8642 ~x7598 ~x19 ~x2000 ~x10900 ~x4314 ~x5343 
14.16/14.20	v ~x8644 ~x7601 ~x1042 ~x2002 ~x285 ~x4316 ~x5345 ~x8646 ~x7603 ~x1044 
14.16/14.20	v ~x2004 ~x10902 ~x4318 ~x5347 ~x8648 ~x7605 ~x1046 ~x2006 ~x10906 ~x4320 
14.16/14.20	v ~x5349 ~x8650 ~x7608 ~x1048 ~x2008 ~x10908 ~x4322 ~x5351 ~x8652 ~x7610 
14.16/14.20	v ~x1050 ~x2010 ~x10910 ~x4324 ~x5353 ~x8654 ~x7612 ~x1052 ~x2012 ~x10912 
14.16/14.20	v ~x4326 ~x5355 ~x8656 ~x7615 ~x1054 ~x2014 ~x286 ~x4328 ~x5357 ~x8658 
14.16/14.20	v ~x7617 ~x20 ~x2016 ~x10916 ~x4330 ~x5359 ~x8660 ~x7619 ~x1056 ~x2018 
14.16/14.20	v ~x287 ~x4332 ~x5361 ~x8662 ~x7621 ~x1058 ~x2020 ~x10918 ~x4334 ~x5363 
14.16/14.20	v ~x8664 ~x7623 ~x1060 ~x2022 ~x10920 ~x4336 ~x5365 ~x8666 ~x7625 ~x1062 
14.16/14.20	v ~x2024 ~x10922 ~x4339 ~x5367 ~x8668 ~x174 ~x1064 ~x2026 ~x10924 ~x91 
14.16/14.20	v ~x5369 ~x8670 ~x7627 ~x1066 ~x2028 ~x10926 ~x4341 ~x5371 ~x8672 ~x7630 
14.16/14.20	v ~x1068 ~x2030 ~x10928 ~x4343 ~x5373 ~x8673 ~x7632 ~x1070 ~x2032 ~x10930 
14.16/14.20	v ~x4345 ~x5375 ~x8675 ~x7634 ~x1072 ~x2034 ~x10932 ~x4347 ~x5377 ~x8677 
14.16/14.20	v ~x7636 ~x1074 ~x2036 ~x10934 ~x4350 ~x5379 ~x8679 ~x175 ~x1076 ~x2038 
14.16/14.20	v ~x10936 ~x92 ~x5381 ~x8681 ~x7639 ~x1078 ~x2040 ~x10938 ~x4352 ~x5383 
14.16/14.20	v ~x8683 ~x7641 ~x1080 ~x2042 ~x10940 ~x4354 ~x5385 ~x8685 ~x7643 ~x1082 
14.16/14.20	v ~x2044 ~x10942 ~x4356 ~x5387 ~x8687 ~x176 ~x1084 ~x2046 ~x10944 ~x4358 
14.16/14.20	v ~x5389 ~x8689 ~x7645 ~x21 ~x2048 ~x10946 ~x4360 ~x5391 ~x8691 ~x7647 
14.16/14.20	v ~x1086 ~x2050 ~x288 ~x4362 ~x5393 ~x8693 ~x7649 ~x1088 ~x2052 ~x10948 
14.16/14.20	v ~x4364 ~x5395 ~x8695 ~x7651 ~x1090 ~x2054 ~x10950 ~x4366 ~x5397 ~x8697 
14.16/14.20	v ~x7653 ~x1092 ~x2056 ~x10953 ~x4368 ~x5399 ~x8699 ~x7655 ~x1094 ~x2058 
14.16/14.20	v ~x10955 ~x4370 ~x5401 ~x8701 ~x7657 ~x1097 ~x2060 ~x289 ~x4372 ~x5403 
14.16/14.20	v ~x8703 ~x7659 ~x22 ~x2062 ~x10959 ~x4374 ~x5405 ~x8705 ~x7661 ~x1099 
14.16/14.20	v ~x2064 ~x10961 ~x4377 ~x5407 ~x8707 ~x7663 ~x1101 ~x2066 ~x10963 ~x4379 
14.16/14.20	v ~x5409 ~x8709 ~x7665 ~x1103 ~x2068 ~x10966 ~x93 ~x5411 ~x8711 ~x7667 
14.16/14.20	v ~x1105 ~x2070 ~x10968 ~x4381 ~x5413 ~x8713 ~x7669 ~x1107 ~x2072 ~x290 
14.16/14.20	v ~x4383 ~x5415 ~x8715 ~x7671 ~x1109 ~x2074 ~x10971 ~x4385 ~x5417 ~x8717 
14.16/14.20	v ~x7673 ~x1111 ~x2076 ~x10973 ~x4387 ~x5419 ~x8719 ~x7675 ~x23 ~x2077 
14.16/14.20	v ~x291 ~x4389 ~x5421 ~x8721 ~x7677 ~x1113 ~x2079 ~x10977 ~x4391 ~x5423 
14.16/14.20	v ~x8723 ~x7679 ~x1115 ~x2081 ~x10980 ~x94 ~x5425 ~x8725 ~x7681 ~x24 
14.16/14.20	v ~x2083 ~x10982 ~x4394 ~x5427 ~x8727 ~x7683 ~x1117 ~x2085 ~x10984 ~x4396 
14.16/14.20	v ~x5429 ~x8729 ~x7685 ~x1119 ~x2087 ~x10987 ~x4398 ~x5431 ~x8731 ~x7687 
14.16/14.20	v ~x1121 ~x2089 ~x10989 ~x4400 ~x5433 ~x8733 ~x7689 ~x1123 ~x2091 ~x10991 
14.16/14.20	v ~x4402 ~x5435 ~x8735 ~x7691 ~x1125 ~x2093 ~x292 ~x4404 ~x5437 ~x8737 
14.16/14.20	v ~x7693 ~x1127 ~x2095 ~x293 ~x95 ~x5439 ~x8739 ~x7695 ~x1129 ~x2097 
14.16/14.20	v ~x294 ~x4407 ~x5441 ~x8741 ~x7697 ~x1131 ~x2099 ~x10997 ~x4409 ~x5443 
14.16/14.20	v ~x8743 ~x7699 ~x1133 ~x2101 ~x11000 ~x4411 ~x5445 ~x8745 ~x7701 ~x1135 
14.16/14.20	v ~x2103 ~x11002 ~x96 ~x5447 ~x8747 ~x7703 ~x1137 ~x2105 ~x11004 ~x4413 
14.16/14.20	v ~x5449 ~x8749 ~x7705 ~x1139 ~x2107 ~x11007 ~x4415 ~x5451 ~x8751 ~x177 
14.16/14.20	v ~x1141 ~x2109 ~x11009 ~x4417 ~x5453 ~x8753 ~x7707 ~x1143 ~x2111 ~x11011 
14.16/14.20	v ~x4419 ~x5455 ~x8755 ~x7709 ~x1145 ~x2113 ~x11013 ~x4421 ~x5457 ~x8757 
14.16/14.20	v ~x7711 ~x25 ~x2115 ~x11015 ~x4423 ~x5459 ~x8759 ~x7713 ~x1147 ~x2117 
14.16/14.20	v ~x11017 ~x4425 ~x5461 ~x8760 ~x7716 ~x1149 ~x2119 ~x11020 ~x4427 ~x5463 
14.16/14.20	v ~x8762 ~x7718 ~x1152 ~x2121 ~x11023 ~x4429 ~x5464 ~x8764 ~x7720 ~x1154 
14.16/14.20	v ~x2123 ~x11025 ~x4431 ~x5466 ~x8766 ~x7722 ~x1156 ~x2125 ~x11028 ~x4433 
14.16/14.20	v ~x5468 ~x8768 ~x7724 ~x1158 ~x2127 ~x11030 ~x4435 ~x5470 ~x8770 ~x7726 
14.16/14.20	v ~x26 ~x2129 ~x295 ~x4437 ~x5472 ~x8772 ~x7728 ~x1160 ~x2131 ~x11032 
14.16/14.20	v ~x4439 ~x5474 ~x8774 ~x7730 ~x1162 ~x2133 ~x11034 ~x4441 ~x5476 ~x8776 
14.16/14.20	v ~x7732 ~x1164 ~x2135 ~x11037 ~x4443 ~x5478 ~x8778 ~x7734 ~x1166 ~x2137 
14.16/14.20	v ~x11039 ~x4445 ~x5480 ~x8780 ~x178 ~x1168 ~x2139 ~x296 ~x4447 ~x5482 
14.16/14.20	v ~x8782 ~x7736 ~x1170 ~x2141 ~x297 ~x4449 ~x5484 ~x8784 ~x7738 ~x27 
14.16/14.20	v ~x2143 ~x11047 ~x4451 ~x5486 ~x8786 ~x7740 ~x1173 ~x2145 ~x11049 ~x4453 
14.16/14.20	v ~x5488 ~x8788 ~x7742 ~x1175 ~x2147 ~x11051 ~x4455 ~x5490 ~x8790 ~x7744 
14.16/14.20	v ~x1177 ~x2149 ~x11053 ~x4457 ~x5492 ~x8792 ~x7746 ~x28 ~x2151 ~x11057 
14.16/14.20	v ~x4459 ~x5494 ~x8794 ~x7748 ~x1179 ~x2153 ~x298 ~x4462 ~x5496 ~x8796 
14.16/14.20	v ~x7750 ~x1181 ~x2155 ~x11063 ~x4464 ~x5498 ~x8798 ~x7752 ~x1183 ~x2157 
14.16/14.20	v ~x299 ~x4466 ~x5499 ~x8800 ~x7754 ~x1186 ~x2159 ~x11068 ~x4468 ~x5501 
14.16/14.20	v ~x8802 ~x7756 ~x1188 ~x2161 ~x11070 ~x4470 ~x5503 ~x8804 ~x7758 ~x1190 
14.16/14.20	v ~x2163 ~x300 ~x4472 ~x5505 ~x8806 ~x7760 ~x29 ~x2165 ~x11074 ~x97 
14.16/14.20	v ~x5507 ~x8808 ~x7762 ~x1192 ~x2167 ~x301 ~x4474 ~x5509 ~x8810 ~x179 
14.16/14.20	v ~x1194 ~x2169 ~x11077 ~x4476 ~x5511 ~x8812 ~x7765 ~x1196 ~x2171 ~x11081 
14.16/14.20	v ~x4478 ~x5513 ~x8814 ~x7767 ~x30 ~x2173 ~x302 ~x4480 ~x5515 ~x8816 
14.16/14.20	v ~x7769 ~x1198 ~x2175 ~x4482 ~x5517 ~x8818 ~x7771 ~x31 ~x2177 ~x4484 
14.16/14.20	v ~x5519 ~x8820 ~x7773 ~x1202 ~x2179 ~x4486 ~x5521 ~x8822 ~x7775 ~x1204 
14.16/14.20	v ~x2181 ~x4488 ~x5523 ~x8824 ~x180 ~x1206 ~x2183 ~x4490 ~x5525 ~x8826 
14.16/14.20	v ~x7778 ~x1208 ~x2185 ~x4492 ~x5527 ~x8828 ~x7780 ~x1210 ~x2187 ~x4494 
14.16/14.20	v ~x5529 ~x8830 ~x7782 ~x1212 ~x2189 ~x4496 ~x5531 ~x8832 ~x7784 ~x1214 
14.16/14.20	v ~x2191 ~x4498 ~x5533 ~x8834 ~x7786 ~x1216 ~x2193 ~x4500 ~x5535 ~x8836 
14.16/14.20	v ~x7788 ~x1218 ~x2195 ~x98 ~x5536 ~x8838 ~x7790 ~x1220 ~x2197 ~x4503 
14.16/14.20	v ~x5538 ~x8840 ~x7792 ~x1222 ~x2199 ~x4505 ~x5540 ~x8842 ~x7794 ~x1224 
14.16/14.20	v ~x2201 ~x4507 ~x5542 ~x8844 ~x7796 ~x1226 ~x2203 ~x4509 ~x5544 ~x8846 
14.16/14.20	v ~x7798 ~x1228 ~x2205 ~x4511 ~x5546 ~x8848 ~x7800 ~x1230 ~x2207 ~x4513 
14.16/14.20	v ~x5548 ~x8850 ~x7802 ~x1232 ~x2209 ~x4515 ~x5550 ~x8852 ~x7804 ~x1235 
14.16/14.20	v ~x2211 ~x4517 ~x5552 ~x8854 ~x7806 ~x1237 ~x2213 ~x4519 ~x5554 ~x8856 
14.16/14.20	v ~x181 ~x1239 ~x2215 ~x4521 ~x5556 ~x8858 ~x7809 ~x1241 ~x2217 ~x4523 
14.16/14.20	v ~x5558 ~x8860 ~x7811 ~x1243 ~x2219 ~x4525 ~x5560 ~x8862 ~x7813 ~x1245 
14.16/14.20	v ~x2221 ~x4527 ~x5562 ~x8864 ~x7815 ~x1247 ~x2223 ~x4529 ~x5564 ~x8866 
14.16/14.20	v ~x7817 ~x1249 ~x2225 ~x4531 ~x5566 ~x8868 ~x182 ~x1251 ~x2227 ~x99 
14.16/14.20	v ~x5568 ~x8870 ~x7820 ~x1253 ~x2229 ~x4533 ~x5570 ~x8872 ~x7822 ~x1255 
14.16/14.20	v ~x2231 ~x4535 ~x5572 ~x8874 ~x7824 ~x1257 ~x2233 ~x4537 ~x5574 ~x8876 
14.16/14.20	v ~x7826 ~x1259 ~x2235 ~x4539 ~x5576 ~x8878 ~x7828 ~x1261 ~x2236 ~x4541 
14.16/14.20	v ~x5578 ~x8880 ~x7830 ~x32 ~x2238 ~x4543 ~x5580 ~x8882 ~x7832 ~x1263 
14.16/14.20	v ~x2240 ~x4545 ~x5582 ~x8884 ~x183 ~x1265 ~x2242 ~x4547 ~x5584 ~x8886 
14.16/14.20	v ~x7835 ~x1267 ~x2244 ~x4549 ~x5586 ~x8888 ~x184 ~x1269 ~x2246 ~x4551 
14.16/14.20	v ~x5588 ~x8890 ~x7837 ~x1271 ~x2248 ~x4553 ~x5590 ~x8892 ~x7839 ~x1273 
14.16/14.20	v ~x2250 ~x4555 ~x5592 ~x8894 ~x7841 ~x1275 ~x2252 ~x4557 ~x5594 ~x8896 
14.16/14.20	v ~x7843 ~x1277 ~x2254 ~x4559 ~x5596 ~x8898 ~x7845 ~x1279 ~x2256 ~x4561 
14.16/14.20	v ~x5598 ~x8900 ~x7847 ~x1281 ~x2258 ~x100 ~x5600 ~x8901 ~x7849 ~x1283 
14.16/14.20	v ~x2260 ~x4563 ~x5602 ~x8903 ~x7851 ~x1285 ~x2262 ~x4565 ~x5604 ~x8905 
14.16/14.20	v ~x7853 ~x1287 ~x2264 ~x4567 ~x5606 ~x8907 ~x7855 ~x1289 ~x2266 ~x4569 
14.16/14.20	v ~x5608 ~x8909 ~x7857 ~x1291 ~x2268 ~x4572 ~x5610 ~x8911 ~x7859 ~x33 
14.16/14.20	v ~x2270 ~x4574 ~x5612 ~x8913 ~x7861 ~x1293 ~x2272 ~x101 ~x5614 ~x8915 
14.16/14.20	v ~x7863 ~x1295 ~x2274 ~x4576 ~x5616 ~x8917 ~x7865 ~x1297 ~x2276 ~x4578 
14.16/14.20	v ~x5618 ~x8919 ~x185 ~x1299 ~x2278 ~x4580 ~x5620 ~x8921 ~x7867 ~x1301 
14.16/14.20	v ~x2280 ~x4582 ~x5622 ~x8923 ~x7869 ~x1303 ~x2282 ~x4584 ~x5624 ~x8925 
14.16/14.20	v ~x7871 ~x1305 ~x2284 ~x4586 ~x5626 ~x8927 ~x7873 ~x1307 ~x2286 ~x4588 
14.16/14.20	v ~x5628 ~x8929 ~x7875 ~x1309 ~x2288 ~x4590 ~x5630 ~x8931 ~x7877 ~x1311 
14.16/14.20	v ~x2290 ~x4592 ~x5632 ~x8933 ~x7879 ~x1313 ~x2292 ~x4594 ~x5634 ~x8934 
14.16/14.20	v ~x186 ~x1315 ~x2294 ~x4596 ~x5636 ~x8936 ~x7881 ~x1317 ~x2296 ~x4598 
14.16/14.20	v ~x5638 ~x8938 ~x7883 ~x1319 ~x2298 ~x4600 ~x5640 ~x8940 ~x7885 ~x1321 
14.16/14.20	v ~x2300 ~x4602 ~x5641 ~x8942 ~x7887 ~x34 ~x2302 ~x4604 ~x5643 ~x8944 
14.16/14.20	v ~x7889 ~x1323 ~x2304 ~x4606 ~x5644 ~x8946 ~x7891 ~x1325 ~x2306 ~x4608 
14.16/14.20	v ~x5646 ~x8948 ~x7893 ~x1327 ~x2308 ~x4610 ~x5648 ~x8950 ~x187 ~x1329 
14.16/14.20	v ~x2310 ~x4612 ~x5650 ~x8952 ~x7895 ~x1331 ~x2312 ~x4614 ~x5652 ~x8954 
14.16/14.20	v ~x7898 ~x1333 ~x2314 ~x4616 ~x5654 ~x8956 ~x188 ~x1335 ~x2316 ~x4618 
14.16/14.20	v ~x5656 ~x8958 ~x7900 ~x35 ~x2318 ~x4620 ~x5657 ~x8960 ~x7902 ~x1337 
14.16/14.20	v ~x2320 ~x4622 ~x5659 ~x8962 ~x7904 ~x1339 ~x2322 ~x4624 ~x5660 ~x8964 
14.16/14.20	v ~x7907 ~x1341 ~x2324 ~x4626 ~x5662 ~x8966 ~x7909 ~x1343 ~x2326 ~x4628 
14.16/14.20	v ~x5664 ~x8968 ~x7911 ~x1345 ~x2328 ~x4630 ~x5666 ~x8970 ~x189 ~x1347 
14.16/14.20	v ~x2330 ~x4632 ~x5668 ~x8972 ~x7913 ~x1349 ~x2332 ~x4634 ~x5670 ~x8974 
14.16/14.20	v ~x7915 ~x1351 ~x2334 ~x4636 ~x5672 ~x8976 ~x190 ~x1353 ~x2336 ~x102 
14.16/14.20	v ~x5674 ~x8978 ~x7918 ~x1355 ~x2338 ~x4638 ~x5676 ~x8980 ~x7920 ~x1357 
14.16/14.20	v ~x2340 ~x4640 ~x5678 ~x8982 ~x191 ~x1359 ~x2342 ~x4642 ~x5680 ~x8984 
14.16/14.20	v ~x192 ~x1361 ~x2344 ~x4644 ~x5682 ~x8986 ~x7924 ~x1363 ~x2346 ~x4646 
14.16/14.21	v ~x5684 ~x8988 ~x7926 ~x1365 ~x2348 ~x4648 ~x5686 ~x8990 ~x7928 ~x36 
14.16/14.21	v ~x2350 ~x4650 ~x5688 ~x8992 ~x7930 ~x1367 ~x2352 ~x4652 ~x5690 ~x8994 
14.16/14.21	v ~x7932 ~x1369 ~x2354 ~x4654 ~x5692 ~x8996 ~x7934 ~x1371 ~x2356 ~x4656 
14.16/14.21	v ~x5694 ~x8998 ~x7936 ~x1373 ~x2358 ~x4658 ~x5696 ~x8999 ~x7938 ~x1375 
14.16/14.21	v ~x2360 ~x4660 ~x5698 ~x9001 ~x7940 ~x1378 ~x2362 ~x4662 ~x5700 ~x9003 
14.16/14.21	v ~x7942 ~x37 ~x2364 ~x4664 ~x5702 ~x9005 ~x7944 ~x1380 ~x2366 ~x4666 
14.16/14.21	v ~x5704 ~x9007 ~x7946 ~x1382 ~x2368 ~x103 ~x5706 ~x9009 ~x7948 ~x1384 
14.16/14.21	v ~x2370 ~x4668 ~x5708 ~x9011 ~x7950 ~x1387 ~x2372 ~x4670 ~x5710 ~x9013 
14.16/14.21	v ~x7952 ~x1389 ~x2374 ~x4672 ~x5712 ~x9015 ~x7954 ~x1391 ~x2376 ~x4674 
14.16/14.21	v ~x5714 ~x9017 ~x7956 ~x38 ~x2378 ~x4676 ~x5716 ~x9019 ~x7958 ~x1394 
14.16/14.21	v ~x2380 ~x4678 ~x5718 ~x9021 ~x7960 ~x1396 ~x2382 ~x4680 ~x5720 ~x9023 
14.16/14.21	v ~x7962 ~x1398 ~x2384 ~x4682 ~x5722 ~x9025 ~x7964 ~x1400 ~x2386 ~x4684 
14.16/14.21	v ~x5724 ~x9027 ~x7966 ~x1402 ~x2388 ~x4686 ~x5726 ~x9029 ~x7968 ~x1404 
14.16/14.21	v ~x2390 ~x4688 ~x5728 ~x9031 ~x7970 ~x1406 ~x2392 ~x4690 ~x5730 ~x9033 
14.16/14.21	v ~x7972 ~x1408 ~x2394 ~x4692 ~x5732 ~x9035 ~x7974 ~x1410 ~x2396 ~x4694 
14.16/14.21	v ~x5734 ~x9037 ~x7976 ~x1412 ~x2398 ~x4696 ~x5736 ~x9039 ~x7978 ~x1414 
14.16/14.21	v ~x2400 ~x104 ~x5737 ~x9041 ~x7980 ~x1416 ~x2402 ~x4699 ~x5739 ~x9043 
14.16/14.21	v ~x7982 ~x1418 ~x2404 ~x4701 ~x5741 ~x9045 ~x7984 ~x1420 ~x2406 ~x4703 
14.16/14.21	v ~x5743 ~x9047 ~x7986 ~x1422 ~x2408 ~x4705 ~x5745 ~x9049 ~x7988 ~x1424 
14.16/14.21	v ~x2410 ~x4707 ~x5747 ~x9051 ~x7990 ~x1426 ~x2412 ~x4709 ~x5749 ~x9053 
14.16/14.21	v ~x7992 ~x1428 ~x2414 ~x105 ~x5751 ~x9055 ~x7994 ~x1430 ~x2416 ~x4712 
14.16/14.21	v ~x5753 ~x9057 ~x7996 ~x1432 ~x2418 ~x4714 ~x5755 ~x9059 ~x7999 ~x1434 
14.16/14.21	v ~x2420 ~x4716 ~x5757 ~x9061 ~x8001 ~x1436 ~x2422 ~x4718 ~x5758 ~x9063 
14.16/14.21	v ~x8003 ~x1438 ~x2424 ~x4720 ~x5760 ~x9065 ~x8005 ~x1440 ~x2426 ~x4722 
14.16/14.21	v ~x5762 ~x9067 ~x8008 ~x1442 ~x2428 ~x4724 ~x5764 ~x9069 ~x8010 ~x1444 
14.16/14.21	v ~x2430 ~x4726 ~x5766 ~x9071 ~x8012 ~x1446 ~x2432 ~x4728 ~x5768 ~x9073 
14.16/14.21	v ~x8014 ~x1448 ~x2434 ~x4730 ~x5770 ~x9075 ~x8016 ~x1450 ~x2436 ~x4732 
14.16/14.21	v ~x5772 ~x9077 ~x8018 ~x1452 ~x2438 ~x4734 ~x5774 ~x9079 ~x8020 ~x1454 
14.16/14.21	v ~x2440 ~x4736 ~x5776 ~x9081 ~x8022 ~x1456 ~x2442 ~x4738 ~x5778 ~x9083 
14.16/14.21	v ~x8024 ~x1458 ~x2444 ~x106 ~x5780 ~x9085 ~x8026 ~x1460 ~x2446 ~x4740 
14.16/14.21	v ~x5782 ~x9087 ~x8028 ~x1462 ~x2448 ~x4743 ~x5783 ~x9089 ~x8030 ~x1464 
14.16/14.21	v ~x2450 ~x4745 ~x5785 ~x9091 ~x8032 ~x1466 ~x2452 ~x4747 ~x5787 ~x9093 
14.16/14.21	v ~x8034 ~x1468 ~x2454 ~x4749 ~x5789 ~x9095 ~x8036 ~x1470 ~x2456 ~x107 
14.16/14.21	v ~x5791 ~x9097 ~x8038 ~x1472 ~x2458 ~x4752 ~x5792 ~x9099 ~x8040 ~x1474 
14.16/14.21	v ~x2460 ~x4754 ~x5794 ~x9101 ~x8042 ~x1476 ~x2462 ~x4756 ~x5796 ~x9103 
14.16/14.21	v ~x8044 ~x1478 ~x2464 ~x4758 ~x5798 ~x9105 ~x8046 ~x1480 ~x2466 ~x4760 
14.16/14.21	v ~x5800 ~x9107 ~x193 ~x1482 ~x2468 ~x4762 ~x5802 ~x9109 ~x8048 ~x1484 
14.16/14.21	v ~x2470 ~x4764 ~x5804 ~x9111 ~x8050 ~x1486 ~x2472 ~x108 ~x5806 ~x9113 
14.16/14.21	v ~x8052 ~x1488 ~x2474 ~x4767 ~x5808 ~x9115 ~x8054 ~x1490 ~x2476 ~x4769 
14.16/14.21	v ~x5810 ~x9117 ~x8056 ~x1492 ~x2478 ~x109 ~x5812 ~x9119 ~x8059 ~x1494 
14.16/14.21	v ~x2480 ~x4772 ~x5814 ~x9121 ~x8062 ~x1496 ~x2482 ~x4774 ~x5816 ~x9123 
14.16/14.21	v ~x8064 ~x1498 ~x2484 ~x4776 ~x5818 ~x9125 ~x8066 ~x1500 ~x2486 ~x4778 
14.16/14.21	v ~x5820 ~x9127 ~x8068 ~x1502 ~x2488 ~x4780 ~x5822 ~x9129 ~x8070 ~x1504 
14.16/14.21	v ~x2490 ~x4782 ~x5824 ~x9131 ~x8073 ~x1506 ~x2492 ~x4784 ~x5826 ~x9132 
14.16/14.21	v ~x8075 ~x1508 ~x2494 ~x4786 ~x5828 ~x9134 ~x8077 ~x1510 ~x2496 ~x4788 
14.16/14.21	v ~x5830 ~x9136 ~x8079 ~x1512 ~x2498 ~x4790 ~x5832 ~x9137 ~x8081 ~x1514 
14.16/14.21	v ~x2500 ~x4792 ~x5834 ~x9139 ~x8083 ~x1516 ~x2502 ~x4794 ~x5836 ~x9141 
14.16/14.21	v ~x8085 ~x1518 ~x2504 ~x4796 ~x5838 ~x9143 ~x8087 ~x1520 ~x2506 ~x4798 
14.16/14.21	v ~x5840 ~x9145 ~x8089 ~x1522 ~x2508 ~x110 ~x5842 ~x9147 ~x8091 ~x1524 
14.16/14.21	v ~x2510 ~x4800 ~x5844 ~x9149 ~x8093 ~x1526 ~x2512 ~x4802 ~x5846 ~x9151 
14.16/14.21	v ~x8095 ~x1528 ~x2514 ~x4804 ~x5848 ~x9153 ~x8097 ~x1530 ~x2516 ~x4806 
14.16/14.21	v ~x5850 ~x9155 ~x8099 ~x1532 ~x2518 ~x4808 ~x5852 ~x9157 ~x8101 ~x1534 
14.16/14.21	v ~x2520 ~x4810 ~x5854 ~x9159 ~x8103 ~x1536 ~x2522 ~x4812 ~x5856 ~x9161 
14.16/14.21	v ~x8105 ~x1538 ~x2524 ~x4814 ~x5858 ~x9163 ~x194 ~x1540 ~x2526 ~x4816 
14.16/14.21	v ~x5860 ~x9165 ~x8107 ~x1542 ~x2528 ~x4818 ~x5862 ~x9167 ~x8110 ~x1544 
14.16/14.21	v ~x2530 ~x4820 ~x5864 ~x9169 ~x8112 ~x1546 ~x2532 ~x4822 ~x5866 ~x9171 
14.16/14.21	v ~x8114 ~x1548 ~x2534 ~x4824 ~x5868 ~x9173 ~x8116 ~x1550 ~x2536 ~x4826 
14.16/14.21	v ~x5870 ~x9175 ~x8118 ~x1552 ~x2538 ~x4828 ~x5872 ~x9177 ~x8120 ~x1554 
14.16/14.21	v ~x2540 ~x111 ~x5874 ~x9179 ~x8122 ~x1556 ~x2542 ~x4830 ~x5876 ~x9181 
14.16/14.21	v ~x8124 ~x1558 ~x2544 ~x4832 ~x5878 ~x9183 ~x8126 ~x1560 ~x2546 ~x4834 
14.16/14.21	v ~x5880 ~x9184 ~x8128 ~x1562 ~x2548 ~x4836 ~x5882 ~x9186 ~x8130 ~x1564 
14.16/14.21	v ~x2550 ~x4838 ~x5884 ~x9188 ~x8132 ~x1566 ~x2552 ~x4840 ~x5886 ~x9190 
14.16/14.21	v ~x8134 ~x1568 ~x2554 ~x4842 ~x5888 ~x9192 ~x8136 ~x1570 ~x2556 ~x112 
14.16/14.21	v ~x5890 ~x9193 ~x8138 ~x1572 ~x2558 ~x4844 ~x5892 ~x9195 ~x8140 ~x1574 
14.16/14.21	v ~x2560 ~x4846 ~x5894 ~x9197 ~x8142 ~x1576 ~x2562 ~x4848 ~x5896 ~x9199 
14.16/14.21	v ~x8144 ~x1578 ~x2564 ~x4850 ~x5898 ~x9201 ~x8146 ~x1580 ~x2566 ~x4852 
14.16/14.21	v ~x5900 ~x9203 ~x8148 ~x1582 ~x2568 ~x4855 ~x5902 ~x9205 ~x8150 ~x1584 
14.16/14.21	v ~x2570 ~x113 ~x5904 ~x9207 ~x8152 ~x1586 ~x2572 ~x4857 ~x5906 ~x9209 
14.16/14.21	v ~x8154 ~x1588 ~x2574 ~x4859 ~x5908 ~x9211 ~x8156 ~x1590 ~x2576 ~x4861 
14.16/14.21	v ~x5910 ~x9213 ~x8158 ~x1592 ~x2578 ~x4863 ~x5911 ~x9215 ~x8160 ~x1594 
14.16/14.21	v ~x2580 ~x4865 ~x5913 ~x9217 ~x8162 ~x1596 ~x2582 ~x4867 ~x5915 ~x9219 
14.16/14.21	v ~x8164 ~x1599 ~x2584 ~x4869 ~x5917 ~x9221 ~x8166 ~x1601 ~x2586 ~x114 
14.16/14.21	v ~x5919 ~x9223 ~x195 ~x1603 ~x2588 ~x4872 ~x5921 ~x9225 ~x8168 ~x1605 
14.16/14.21	v ~x2590 ~x4874 ~x5923 ~x9227 ~x8170 ~x1607 ~x2592 ~x115 ~x5925 ~x9229 
14.16/14.21	v ~x8173 ~x1609 ~x2594 ~x4876 ~x5927 ~x9231 ~x8175 ~x1611 ~x2596 ~x4878 
14.16/14.21	v ~x5929 ~x9233 ~x8178 ~x1613 ~x2598 ~x4880 ~x5931 ~x9235 ~x8180 ~x1615 
14.16/14.21	v ~x2600 ~x4882 ~x5933 ~x9237 ~x8182 ~x1617 ~x2602 ~x4884 ~x5935 ~x9239 
14.16/14.21	v ~x8184 ~x1619 ~x2604 ~x4886 ~x5937 ~x9241 ~x8186 ~x1621 ~x2606 ~x4888 
14.16/14.21	v ~x5939 ~x9243 ~x8188 ~x1623 ~x2608 ~x4890 ~x5941 ~x9245 ~x8190 ~x1625 
14.16/14.21	v ~x2610 ~x4892 ~x5943 ~x9247 ~x8193 ~x1627 ~x2612 ~x4894 ~x5945 ~x9249 
14.16/14.21	v ~x196 ~x1629 ~x2614 ~x4896 ~x5947 ~x9251 ~x8195 ~x1631 ~x2616 ~x4898 
14.16/14.21	v ~x5948 ~x9253 ~x8197 ~x1633 ~x2618 ~x4900 ~x5950 ~x9255 ~x8199 ~x1635 
14.16/14.21	v ~x2620 ~x4902 ~x5952 ~x9257 ~x8201 ~x1637 ~x2622 ~x4904 ~x5954 ~x9259 
14.16/14.21	v ~x8203 ~x1639 ~x2624 ~x116 ~x5956 ~x9261 ~x8205 ~x1641 ~x2626 ~x4906 
14.16/14.21	v ~x5958 ~x9263 ~x8207 ~x1643 ~x2628 ~x4908 ~x5960 ~x9265 ~x8209 ~x1645 
14.16/14.21	v ~x2630 ~x4910 ~x5962 ~x9267 ~x8211 ~x39 ~x2632 ~x4912 ~x5964 ~x9269 
14.16/14.21	v ~x8213 ~x1647 ~x2634 ~x4914 ~x5966 ~x9271 ~x8215 ~x1649 ~x2636 ~x4916 
14.16/14.21	v ~x5968 ~x9273 ~x8217 ~x1651 ~x2638 ~x4918 ~x5970 ~x9275 ~x8219 ~x1653 
14.16/14.21	v ~x2640 ~x117 ~x5972 ~x9277 ~x8221 ~x1655 ~x2642 ~x4920 ~x5974 ~x9279 
14.16/14.21	v ~x8223 ~x1657 ~x2644 ~x4922 ~x5976 ~x9281 ~x8225 ~x1659 ~x2646 ~x4924 
14.16/14.21	v ~x5978 ~x9283 ~x8227 ~x1661 ~x2648 ~x4926 ~x5980 ~x9285 ~x8229 ~x1663 
14.16/14.21	v ~x2650 ~x4928 ~x5982 ~x9287 ~x8231 ~x1665 ~x2652 ~x4930 ~x5984 ~x9289 
14.16/14.21	v ~x8233 ~x1667 ~x2654 ~x4932 ~x5986 ~x9291 ~x8235 ~x1669 ~x2656 ~x118 
14.16/14.21	v ~x5988 ~x9293 ~x8237 ~x1671 ~x2658 ~x4934 ~x5990 ~x9295 ~x8239 ~x1673 
14.16/14.21	v ~x2660 ~x4937 ~x5992 ~x9297 ~x8241 ~x1675 ~x2662 ~x119 ~x5994 ~x9299 
14.16/14.21	v ~x8243 ~x1677 ~x2664 ~x4939 ~x5996 ~x9301 ~x8245 ~x1679 ~x2665 ~x4941 
14.16/14.21	v ~x5998 ~x9303 ~x8247 ~x1681 ~x2667 ~x4943 ~x6000 ~x9305 ~x8249 ~x1683 
14.16/14.21	v ~x2669 ~x4945 ~x6002 ~x9307 ~x8251 ~x1685 ~x2671 ~x4948 ~x6004 ~x9309 
14.16/14.21	v ~x8253 ~x1687 ~x2673 ~x4950 ~x6006 ~x9311 ~x8255 ~x1689 ~x2675 ~x120 
14.16/14.21	v ~x6008 ~x9313 ~x8257 ~x1691 ~x2677 ~x4952 ~x6010 ~x9315 ~x8259 ~x1693 
14.16/14.21	v ~x2679 ~x4954 ~x6012 ~x9317 ~x8261 ~x1695 ~x2681 ~x4956 ~x6014 ~x9318 
14.16/14.21	v ~x8263 ~x1697 ~x2683 ~x121 ~x6015 ~x9320 ~x8265 ~x1699 ~x2685 ~x4959 
14.16/14.21	v ~x6017 ~x9322 ~x8267 ~x1701 ~x2687 ~x122 ~x6019 ~x9324 ~x8270 ~x1703 
14.16/14.21	v ~x2689 ~x4962 ~x6021 ~x9326 ~x8272 ~x1705 ~x2691 ~x4964 ~x6023 ~x9328 
14.16/14.21	v ~x8274 ~x1707 ~x2693 ~x4966 ~x6025 ~x9330 ~x8276 ~x1709 ~x2695 ~x4968 
14.16/14.21	v ~x6027 ~x9332 ~x8278 ~x1711 ~x2697 ~x4970 ~x6029 ~x9334 ~x8280 ~x1713 
14.16/14.21	v ~x2699 ~x4972 ~x6031 ~x9335 ~x8282 ~x1715 ~x2701 ~x4974 ~x6033 ~x9337 
14.16/14.21	v ~x8284 ~x1717 ~x2703 ~x4976 ~x6035 ~x9339 ~x8286 ~x1719 ~x2705 ~x4978 
14.16/14.21	v ~x6037 ~x9341 ~x8288 ~x1721 ~x2707 ~x4980 ~x6039 ~x9343 ~x8290 ~x1723 
14.16/14.21	v ~x2709 ~x4982 ~x6041 ~x9345 ~x8292 ~x1725 ~x2711 ~x4984 ~x6043 ~x9347 
14.16/14.21	v ~x8294 ~x1727 ~x2713 ~x4986 ~x6045 ~x9349 ~x8296 ~x1729 ~x2715 ~x4988 
14.16/14.21	v ~x6047 ~x9351 ~x8298 ~x1731 ~x2717 ~x4990 ~x6049 ~x9353 ~x8300 ~x1733 
14.16/14.21	v ~x2719 ~x4992 ~x6051 ~x9355 ~x8302 ~x1735 ~x2721 ~x4994 ~x6053 ~x9357 
14.16/14.21	v ~x8304 ~x1737 ~x2723 ~x4996 ~x6054 ~x9359 ~x8306 ~x1739 ~x2725 ~x4998 
14.16/14.21	v ~x6056 ~x9361 ~x8308 ~x1741 ~x2727 ~x5000 ~x6058 ~x9363 ~x8310 ~x1743 
14.16/14.21	v ~x2729 ~x5002 ~x6060 ~x9365 ~x8312 ~x1745 ~x2731 ~x5004 ~x6062 ~x9367 
14.16/14.21	v ~x8314 ~x1747 ~x2733 ~x5006 ~x6064 ~x9369 ~x8317 ~x1749 ~x2735 ~x5008 
14.16/14.21	v ~x6066 ~x9371 ~x197 ~x1751 ~x2737 ~x5010 ~x6068 ~x9373 ~x8319 ~x1753 
14.16/14.21	v ~x2739 ~x5013 ~x6070 ~x9375 ~x8321 ~x1755 ~x2741 ~x5015 ~x6072 ~x9377 
14.16/14.21	v ~x8324 ~x1757 ~x2743 ~x5017 ~x6074 ~x9379 ~x8326 ~x1759 ~x2745 ~x5019 
14.16/14.21	v ~x6076 ~x9381 ~x8328 ~x1761 ~x2747 

OK	23

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63968 MiB (61816 MiB free)
  memory of node 1: 64473 MiB (62213 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4436349-1721108627/watcher-4436349-1721108627 -o /tmp/evaluation-result-4436349-1721108627/solver-4436349-1721108627 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1721105558-879434 --watchdog 3760 pb_picat HOME/instance-4436349-1721108627.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=881570, runsolver pid=881567

[startup+0.100592 s]*
/proc/loadavg: 4.09 4.16 4.14 5/259 881571
/proc/meminfo: memFree=126973396/131524600 swapFree=131071996/131071996
[pid=881570] ppid=881567 vsize=2033608 memory=39032 CPUtime=0.09 cores=1,3
/proc/881570/stat : 881570 (pb_picat) R 881567 881570 879422 0 -1 4194304 789 0 0 0 8 1 0 0 20 0 1 0 163030802 2082414592 9758 134679101440 4194304 5989780 140732006290976 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 25698304 140732006298649 140732006298725 140732006298725 140732006305740 0
/proc/881570/statm: 508402 9758 1512 439 0 503831 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2033608 KiB
Current children cumulated memory: 39032 KiB

[startup+0.205664 s]*
/proc/loadavg: 4.09 4.16 4.14 5/259 881571
/proc/meminfo: memFree=126958500/131524600 swapFree=131071996/131071996
[pid=881570] ppid=881567 vsize=2041424 memory=55636 CPUtime=0.2 cores=1,3
/proc/881570/stat : 881570 (pb_picat) R 881567 881570 879422 0 -1 4194304 845 0 0 0 19 1 0 0 20 0 1 0 163030802 2090418176 13909 134679101440 4194304 5989780 140732006290976 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 25698304 140732006298649 140732006298725 140732006298725 140732006305740 0
/proc/881570/statm: 510356 13909 1512 439 0 505785 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2041424 KiB
Current children cumulated memory: 55636 KiB

[startup+0.305646 s]*
/proc/loadavg: 4.09 4.16 4.14 5/259 881571
/proc/meminfo: memFree=126936276/131524600 swapFree=131071996/131071996
[pid=881570] ppid=881567 vsize=2051184 memory=76968 CPUtime=0.29 cores=1,3
/proc/881570/stat : 881570 (pb_picat) R 881567 881570 879422 0 -1 4194304 3173 0 0 0 28 1 0 0 20 0 1 0 163030802 2100412416 19242 134679101440 4194304 5989780 140732006290976 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 25698304 140732006298649 140732006298725 140732006298725 140732006305740 0
/proc/881570/statm: 512796 19242 1700 439 0 508225 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 2051184 KiB
Current children cumulated memory: 76968 KiB

[startup+0.700239 s]
/proc/loadavg: 4.09 4.16 4.14 5/259 881571
/proc/meminfo: memFree=126934504/131524600 swapFree=131071996/131071996
[pid=881570] ppid=881567 vsize=2066640 memory=91960 CPUtime=0.69 cores=1,3
/proc/881570/stat : 881570 (pb_picat) R 881567 881570 879422 0 -1 4194304 9106 0 0 0 66 3 0 0 20 0 1 0 163030802 2116239360 22990 134679101440 4194304 5989780 140732006290976 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 25698304 140732006298649 140732006298725 140732006298725 140732006305740 0
/proc/881570/statm: 516660 22990 1764 439 0 512089 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2066640 KiB
Current children cumulated memory: 91960 KiB

[startup+1.50024 s]
/proc/loadavg: 4.09 4.16 4.14 5/259 881571
/proc/meminfo: memFree=126922688/131524600 swapFree=131071996/131071996
[pid=881570] ppid=881567 vsize=2070756 memory=95444 CPUtime=1.48 cores=1,3
/proc/881570/stat : 881570 (pb_picat) R 881567 881570 879422 0 -1 4194304 13305 0 0 0 144 4 0 0 20 0 1 0 163030802 2120454144 23861 134679101440 4194304 5989780 140732006290976 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 25698304 140732006298649 140732006298725 140732006298725 140732006305740 0
/proc/881570/statm: 517689 23861 1779 439 0 513118 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2070756 KiB
Current children cumulated memory: 95444 KiB

[startup+3.10567 s]
/proc/loadavg: 4.08 4.15 4.14 5/260 881572
/proc/meminfo: memFree=126921428/131524600 swapFree=131071996/131071996
[pid=881570] ppid=881567 vsize=2070756 memory=95560 CPUtime=3.08 cores=1,3
/proc/881570/stat : 881570 (pb_picat) R 881567 881570 879422 0 -1 4194304 17631 0 0 0 303 5 0 0 20 0 1 0 163030802 2120454144 23890 134679101440 4194304 5989780 140732006290976 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 25698304 140732006298649 140732006298725 140732006298725 140732006305740 0
/proc/881570/statm: 517689 23890 1779 439 0 513118 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 2070756 KiB
Current children cumulated memory: 95560 KiB

[startup+6.30022 s]
/proc/loadavg: 4.08 4.15 4.14 5/260 881575
/proc/meminfo: memFree=126907128/131524600 swapFree=131071996/131071996
[pid=881570] ppid=881567 vsize=2087208 memory=108324 CPUtime=6.27 cores=1,3
/proc/881570/stat : 881570 (pb_picat) R 881567 881570 879422 0 -1 4194304 22788 0 0 0 620 7 0 0 20 0 1 0 163030802 2137300992 27081 134679101440 4194304 5989780 140732006290976 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 25698304 140732006298649 140732006298725 140732006298725 140732006305740 0
/proc/881570/statm: 521802 27081 1779 439 0 517231 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 2087208 KiB
Current children cumulated memory: 108324 KiB

[startup+12.7002 s]
/proc/loadavg: 4.08 4.15 4.14 5/260 881575
/proc/meminfo: memFree=126908100/131524600 swapFree=131071996/131071996
[pid=881570] ppid=881567 vsize=2070820 memory=95448 CPUtime=12.66 cores=1,3
/proc/881570/stat : 881570 (pb_picat) R 881567 881570 879422 0 -1 4194304 27736 0 0 0 1256 10 0 0 20 0 1 0 163030802 2120519680 23862 134679101440 4194304 5989780 140732006290976 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 25698304 140732006298649 140732006298725 140732006298725 140732006305740 0
/proc/881570/statm: 517705 23862 1779 439 0 513134 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 2070820 KiB
Current children cumulated memory: 95448 KiB

[startup+14.2136 s]
# the end of solver process 881570 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=14.054 s, system=0.118701 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+12.8003 s]
/proc/loadavg: 4.08 4.15 4.14 5/260 881575
/proc/meminfo: memFree=126908100/131524600 swapFree=131071996/131071996
[pid=881570] ppid=881567 vsize=2070820 memory=95448 CPUtime=12.76 cores=1,3
/proc/881570/stat : 881570 (pb_picat) R 881567 881570 879422 0 -1 4194304 27736 0 0 0 1266 10 0 0 20 0 1 0 163030802 2120519680 23862 134679101440 4194304 5989780 140732006290976 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 25698304 140732006298649 140732006298725 140732006298725 140732006305740 0
/proc/881570/statm: 517705 23862 1779 439 0 513134 0
Current children cumulated CPU time: 12.76 s
Current children cumulated vsize: 2070820 KiB
Current children cumulated memory: 95448 KiB

[startup+13.6002 s]
/proc/loadavg: 4.23 4.18 4.15 5/260 881575
/proc/meminfo: memFree=126907428/131524600 swapFree=131071996/131071996
[pid=881570] ppid=881567 vsize=2070820 memory=98280 CPUtime=13.55 cores=1,3
/proc/881570/stat : 881570 (pb_picat) R 881567 881570 879422 0 -1 4194304 27920 0 0 0 1345 10 0 0 20 0 1 0 163030802 2120519680 24570 134679101440 4194304 5989780 140732006290976 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 25698304 140732006298649 140732006298725 140732006298725 140732006305740 0
/proc/881570/statm: 517705 24570 1779 439 0 513134 0
Current children cumulated CPU time: 13.55 s
Current children cumulated vsize: 2070820 KiB
Current children cumulated memory: 98280 KiB

[startup+14.0002 s]*
/proc/loadavg: 4.23 4.18 4.15 5/260 881576
/proc/meminfo: memFree=126902268/131524600 swapFree=131071996/131071996
[pid=881570] ppid=881567 vsize=2070820 memory=98280 CPUtime=13.96 cores=1,3
/proc/881570/stat : 881570 (pb_picat) R 881567 881570 879422 0 -1 4194304 27920 0 0 0 1386 10 0 0 20 0 1 0 163030802 2120519680 24570 134679101440 4194304 5989780 140732006290976 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 25698304 140732006298649 140732006298725 140732006298725 140732006305740 0
/proc/881570/statm: 517705 24570 1779 439 0 513134 0
Current children cumulated CPU time: 13.96 s
Current children cumulated vsize: 2070820 KiB
Current children cumulated memory: 98280 KiB

[startup+14.2046 s]
/proc/loadavg: 4.23 4.18 4.15 5/260 881576
/proc/meminfo: memFree=126902268/131524600 swapFree=131071996/131071996
[pid=881570] ppid=881567 vsize=2070820 memory=98280 CPUtime=14.16 cores=1,3
/proc/881570/stat : 881570 (pb_picat) R 881567 881570 879422 0 -1 4194304 27920 0 0 0 1405 11 0 0 20 0 1 0 163030802 2120519680 24570 134679101440 4194304 5989780 140732006290976 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 25698304 140732006298649 140732006298725 140732006298725 140732006305740 0
/proc/881570/statm: 517705 24570 1779 439 0 513134 0
Current children cumulated CPU time: 14.16 s
Current children cumulated vsize: 2070820 KiB
Current children cumulated memory: 98280 KiB

Child status: 0

Real time (s): 14.2136
CPU time (s): 14.1727
CPU user time (s): 14.054
CPU system time (s): 0.118701
CPU usage (%): 99.7119
Max. virtual memory (cumulated for all children) (KiB): 2087208
Max. memory (cumulated for all children) (KiB): 108416

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 14.054
system time used= 0.118701
maximum resident set size= 108416
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27924
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4
involuntary context switches= 24


# summary of solver processes directly reported to runsolver:
#   pid: 881570
#   total CPU time (s): 14.1727
#   total CPU user time (s): 14.054
#   total CPU system time (s): 0.118701

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.044433 second user time and 0.110128 second system time

The end

Begin job on nodeC030 at 2024-07-16 07:44:00
IDJOB=4436349
IDBENCH=148164
IDSOLVER=3068
FILE ID=nodeC030/4436349-1721108627
RUNJOBID= nodeC030-1721105558-879434
SLURM_JOB_ID= 7505632
Free space on /tmp= 890068 MiB

SOLVER NAME= Picat 2024-06-18
BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/area_opers/normalized-fir06_area_opers.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4436349-1721108627/watcher-4436349-1721108627 -o /tmp/evaluation-result-4436349-1721108627/solver-4436349-1721108627 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1721105558-879434 --watchdog 3760  pb_picat HOME/instance-4436349-1721108627.opb

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2

MD5SUM BENCH= 8c829249b2b00c19bbbec969c36f23bb
RANDOM SEED=418378402

nodeC030.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3675.652
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.28
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3662.059
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.11
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.640
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.28
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3668.152
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.11
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3675.653
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.28
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3684.239
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.11
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.910
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.28
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3655.616
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.11
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        127007420 kB
MemAvailable:   128378940 kB
Buffers:          387504 kB
Cached:          1809476 kB
SwapCached:            0 kB
Active:           910660 kB
Inactive:        2985204 kB
Active(anon):       1556 kB
Inactive(anon):  1734756 kB
Active(file):     909104 kB
Inactive(file):  1250448 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              4352 kB
Writeback:             8 kB
AnonPages:       1691892 kB
Mapped:           114380 kB
Shmem:             37720 kB
KReclaimable:     103584 kB
Slab:             210928 kB
SReclaimable:     103584 kB
SUnreclaim:       107344 kB
KernelStack:        4172 kB
PageTables:        12960 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    7790776 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            63200 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1431552 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      234196 kB
DirectMap2M:    18413568 kB
DirectMap1G:    117440512 kB

Free space on /tmp at the end= 890064 MiB
End job on nodeC030 at 2024-07-16 07:44:14