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

OK	26

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: 63708 MiB (60420 MiB free)
  memory of node 1: 64465 MiB (61157 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4496729-1751385271/watcher-4496729-1751385271 -o /tmp/evaluation-result-4496729-1751385271/solver-4496729-1751385271 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1751381593-51037 --watchdog 3760 pb_picat HOME/instance-4496729-1751385271.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=51821, runsolver pid=51818

[startup+0.100066 s]*
/proc/loadavg: 4.13 4.12 4.08 5/263 51822
/proc/meminfo: memFree=124458456/131249992 swapFree=33010160/33010684
[pid=51821] ppid=51818 vsize=2027148 memory=38932 CPUtime=0.08 cores=0,2
/proc/51821/stat : 51821 (pb_picat) R 51818 51821 51027 0 -1 4194304 1152 0 0 0 8 0 0 0 20 0 1 0 54201659 2075799552 9733 18446744073709551615 94768533499904 94768534901485 140725896915568 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94768535172912 94768537047216 94768547135488 140725896919454 140725896919530 140725896919530 140725896925132 0
/proc/51821/statm: 506787 9733 1600 343 0 503851 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 38932 KiB

[startup+0.205354 s]*
/proc/loadavg: 4.13 4.12 4.08 5/263 51822
/proc/meminfo: memFree=124423924/131249992 swapFree=33010160/33010684
[pid=51821] ppid=51818 vsize=2027148 memory=55316 CPUtime=0.19 cores=0,2
/proc/51821/stat : 51821 (pb_picat) R 51818 51821 51027 0 -1 4194304 1160 0 0 0 18 1 0 0 20 0 1 0 54201659 2075799552 13829 18446744073709551615 94768533499904 94768534901485 140725896915568 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94768535172912 94768537047216 94768547135488 140725896919454 140725896919530 140725896919530 140725896925132 0
/proc/51821/statm: 506787 13829 1600 343 0 503851 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 55316 KiB

[startup+0.305242 s]*
/proc/loadavg: 4.13 4.12 4.08 5/263 51822
/proc/meminfo: memFree=124437096/131249992 swapFree=33010160/33010684
[pid=51821] ppid=51818 vsize=2034964 memory=72308 CPUtime=0.29 cores=0,2
/proc/51821/stat : 51821 (pb_picat) R 51818 51821 51027 0 -1 4194304 1290 0 0 0 28 1 0 0 20 0 1 0 54201659 2083803136 18077 18446744073709551615 94768533499904 94768534901485 140725896915568 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94768535172912 94768537047216 94768547135488 140725896919454 140725896919530 140725896919530 140725896925132 0
/proc/51821/statm: 508741 18077 1632 343 0 505805 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 2034964 KiB
Current children cumulated memory: 72308 KiB

[startup+0.7002 s]
/proc/loadavg: 4.13 4.12 4.08 5/263 51822
/proc/meminfo: memFree=124381016/131249992 swapFree=33010160/33010684
[pid=51821] ppid=51818 vsize=2051340 memory=95844 CPUtime=0.68 cores=0,2
/proc/51821/stat : 51821 (pb_picat) R 51818 51821 51027 0 -1 4194304 7493 0 0 0 66 2 0 0 20 0 1 0 54201659 2100572160 23961 18446744073709551615 94768533499904 94768534901485 140725896915568 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94768535172912 94768537047216 94768547135488 140725896919454 140725896919530 140725896919530 140725896925132 0
/proc/51821/statm: 512835 23961 1760 343 0 509899 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2051340 KiB
Current children cumulated memory: 95844 KiB

[startup+1.50017 s]
/proc/loadavg: 4.13 4.12 4.08 5/263 51822
/proc/meminfo: memFree=124370304/131249992 swapFree=33010160/33010684
[pid=51821] ppid=51818 vsize=2055048 memory=99124 CPUtime=1.48 cores=0,2
/proc/51821/stat : 51821 (pb_picat) R 51818 51821 51027 0 -1 4194304 11226 0 0 0 145 3 0 0 20 0 1 0 54201659 2104369152 24781 18446744073709551615 94768533499904 94768534901485 140725896915568 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94768535172912 94768537047216 94768547135488 140725896919454 140725896919530 140725896919530 140725896925132 0
/proc/51821/statm: 513762 24781 1760 343 0 510826 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2055048 KiB
Current children cumulated memory: 99124 KiB

[startup+3.10513 s]
/proc/loadavg: 4.12 4.12 4.08 5/263 51822
/proc/meminfo: memFree=124323548/131249992 swapFree=33010160/33010684
[pid=51821] ppid=51818 vsize=2060348 memory=108472 CPUtime=3.08 cores=0,2
/proc/51821/stat : 51821 (pb_picat) R 51818 51821 51027 0 -1 4194304 12967 0 0 0 304 4 0 0 20 0 1 0 54201659 2109796352 27118 18446744073709551615 94768533499904 94768534901485 140725896915568 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94768535172912 94768537047216 94768547135488 140725896919454 140725896919530 140725896919530 140725896925132 0
/proc/51821/statm: 515087 27118 1760 343 0 512151 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 2060348 KiB
Current children cumulated memory: 108472 KiB

[startup+6.30014 s]
/proc/loadavg: 4.12 4.12 4.08 5/263 51822
/proc/meminfo: memFree=124349536/131249992 swapFree=33010160/33010684
[pid=51821] ppid=51818 vsize=2060348 memory=106964 CPUtime=6.27 cores=0,2
/proc/51821/stat : 51821 (pb_picat) R 51818 51821 51027 0 -1 4194304 15284 0 0 0 621 6 0 0 20 0 1 0 54201659 2109796352 26741 18446744073709551615 94768533499904 94768534901485 140725896915568 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94768535172912 94768537047216 94768547135488 140725896919454 140725896919530 140725896919530 140725896925132 0
/proc/51821/statm: 515087 26741 1760 343 0 512151 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 2060348 KiB
Current children cumulated memory: 106964 KiB

[startup+12.7002 s]
/proc/loadavg: 4.02 4.09 4.07 5/261 51845
/proc/meminfo: memFree=124644964/131249992 swapFree=33010160/33010684
[pid=51821] ppid=51818 vsize=2060348 memory=107092 CPUtime=12.62 cores=0,2
/proc/51821/stat : 51821 (pb_picat) R 51818 51821 51027 0 -1 4194304 16692 0 0 0 1253 9 0 0 20 0 1 0 54201659 2109796352 26773 18446744073709551615 94768533499904 94768534901485 140725896915568 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94768535172912 94768537047216 94768547135488 140725896919454 140725896919530 140725896919530 140725896925132 0
/proc/51821/statm: 515087 26773 1760 343 0 512151 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 2060348 KiB
Current children cumulated memory: 107092 KiB

[startup+25.5002 s]
/proc/loadavg: 4.02 4.09 4.07 5/263 51912
/proc/meminfo: memFree=124518520/131249992 swapFree=33010160/33010684
[pid=51821] ppid=51818 vsize=2060348 memory=108500 CPUtime=25.39 cores=0,2
/proc/51821/stat : 51821 (pb_picat) R 51818 51821 51027 0 -1 4194304 17884 0 0 0 2528 11 0 0 20 0 1 0 54201659 2109796352 27125 18446744073709551615 94768533499904 94768534901485 140725896915568 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94768535172912 94768537047216 94768547135488 140725896919454 140725896919530 140725896919530 140725896925132 0
/proc/51821/statm: 515087 27125 1760 343 0 512151 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 2060348 KiB
Current children cumulated memory: 108500 KiB

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

# cumulated CPU time of all completed processes:  user=36.5242 s, system=0.126226 s

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

[startup+25.6002 s]
/proc/loadavg: 4.02 4.09 4.07 5/263 51912
/proc/meminfo: memFree=124518520/131249992 swapFree=33010160/33010684
[pid=51821] ppid=51818 vsize=2060348 memory=108500 CPUtime=25.49 cores=0,2
/proc/51821/stat : 51821 (pb_picat) R 51818 51821 51027 0 -1 4194304 17884 0 0 0 2538 11 0 0 20 0 1 0 54201659 2109796352 27125 18446744073709551615 94768533499904 94768534901485 140725896915568 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94768535172912 94768537047216 94768547135488 140725896919454 140725896919530 140725896919530 140725896925132 0
/proc/51821/statm: 515087 27125 1760 343 0 512151 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2060348 KiB
Current children cumulated memory: 108500 KiB

[startup+32.0001 s]*
/proc/loadavg: 4.01 4.09 4.07 5/263 51912
/proc/meminfo: memFree=124512664/131249992 swapFree=33010160/33010684
[pid=51821] ppid=51818 vsize=2060348 memory=108500 CPUtime=31.87 cores=0,2
/proc/51821/stat : 51821 (pb_picat) R 51818 51821 51027 0 -1 4194304 17893 0 0 0 3176 11 0 0 20 0 1 0 54201659 2109796352 27125 18446744073709551615 94768533499904 94768534901485 140725896915568 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94768535172912 94768537047216 94768547135488 140725896919454 140725896919530 140725896919530 140725896925132 0
/proc/51821/statm: 515087 27125 1760 343 0 512151 0
Current children cumulated CPU time: 31.87 s
Current children cumulated vsize: 2060348 KiB
Current children cumulated memory: 108500 KiB

[startup+35.2001 s]
/proc/loadavg: 4.01 4.09 4.07 5/263 51913
/proc/meminfo: memFree=124502172/131249992 swapFree=33010160/33010684
[pid=51821] ppid=51818 vsize=2060348 memory=108500 CPUtime=35.06 cores=0,2
/proc/51821/stat : 51821 (pb_picat) R 51818 51821 51027 0 -1 4194304 17893 0 0 0 3495 11 0 0 20 0 1 0 54201659 2109796352 27125 18446744073709551615 94768533499904 94768534901485 140725896915568 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94768535172912 94768537047216 94768547135488 140725896919454 140725896919530 140725896919530 140725896925132 0
/proc/51821/statm: 515087 27125 1760 343 0 512151 0
Current children cumulated CPU time: 35.06 s
Current children cumulated vsize: 2060348 KiB
Current children cumulated memory: 108500 KiB

[startup+36.0001 s]*
/proc/loadavg: 4.01 4.09 4.07 5/263 51913
/proc/meminfo: memFree=124504220/131249992 swapFree=33010160/33010684
[pid=51821] ppid=51818 vsize=2060348 memory=108500 CPUtime=35.86 cores=0,2
/proc/51821/stat : 51821 (pb_picat) R 51818 51821 51027 0 -1 4194304 17893 0 0 0 3575 11 0 0 20 0 1 0 54201659 2109796352 27125 18446744073709551615 94768533499904 94768534901485 140725896915568 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94768535172912 94768537047216 94768547135488 140725896919454 140725896919530 140725896919530 140725896925132 0
/proc/51821/statm: 515087 27125 1760 343 0 512151 0
Current children cumulated CPU time: 35.86 s
Current children cumulated vsize: 2060348 KiB
Current children cumulated memory: 108500 KiB

[startup+36.4001 s]
/proc/loadavg: 4.01 4.09 4.07 5/263 51913
/proc/meminfo: memFree=124504220/131249992 swapFree=33010160/33010684
[pid=51821] ppid=51818 vsize=2060348 memory=108500 CPUtime=36.26 cores=0,2
/proc/51821/stat : 51821 (pb_picat) R 51818 51821 51027 0 -1 4194304 17893 0 0 0 3615 11 0 0 20 0 1 0 54201659 2109796352 27125 18446744073709551615 94768533499904 94768534901485 140725896915568 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94768535172912 94768537047216 94768547135488 140725896919454 140725896919530 140725896919530 140725896925132 0
/proc/51821/statm: 515087 27125 1760 343 0 512151 0
Current children cumulated CPU time: 36.26 s
Current children cumulated vsize: 2060348 KiB
Current children cumulated memory: 108500 KiB

[startup+36.6001 s]
/proc/loadavg: 4.01 4.09 4.07 5/263 51913
/proc/meminfo: memFree=124504220/131249992 swapFree=33010160/33010684
[pid=51821] ppid=51818 vsize=2060348 memory=108500 CPUtime=36.46 cores=0,2
/proc/51821/stat : 51821 (pb_picat) R 51818 51821 51027 0 -1 4194304 17893 0 0 0 3635 11 0 0 20 0 1 0 54201659 2109796352 27125 18446744073709551615 94768533499904 94768534901485 140725896915568 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94768535172912 94768537047216 94768547135488 140725896919454 140725896919530 140725896919530 140725896925132 0
/proc/51821/statm: 515087 27125 1760 343 0 512151 0
Current children cumulated CPU time: 36.46 s
Current children cumulated vsize: 2060348 KiB
Current children cumulated memory: 108500 KiB

[startup+36.7001 s]
/proc/loadavg: 4.01 4.09 4.07 5/263 51913
/proc/meminfo: memFree=124504220/131249992 swapFree=33010160/33010684
[pid=51821] ppid=51818 vsize=2060348 memory=108500 CPUtime=36.56 cores=0,2
/proc/51821/stat : 51821 (pb_picat) R 51818 51821 51027 0 -1 4194304 17893 0 0 0 3645 11 0 0 20 0 1 0 54201659 2109796352 27125 18446744073709551615 94768533499904 94768534901485 140725896915568 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94768535172912 94768537047216 94768547135488 140725896919454 140725896919530 140725896919530 140725896925132 0
/proc/51821/statm: 515087 27125 1760 343 0 512151 0
Current children cumulated CPU time: 36.56 s
Current children cumulated vsize: 2060348 KiB
Current children cumulated memory: 108500 KiB

Child status: 0

Real time (s): 36.7816
CPU time (s): 36.6504
CPU user time (s): 36.5242
CPU system time (s): 0.126226
CPU usage (%): 99.6434
Max. virtual memory (cumulated for all children) (KiB): 2060348
Max. memory (cumulated for all children) (KiB): 108500

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 36.5242
system time used= 0.126226
maximum resident set size= 108756
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17914
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= 66
involuntary context switches= 83


# summary of solver processes directly reported to runsolver:
#   pid: 51821
#   total CPU time (s): 36.6504
#   total CPU user time (s): 36.5242
#   total CPU system time (s): 0.126226

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.065837 second user time and 0.198481 second system time

The end

Begin job on nodeC035 at 2025-07-01 17:54:31
IDJOB=4496729
IDBENCH=148144
IDSOLVER=3346
FILE ID=nodeC035/4496729-1751385271
RUNJOBID= nodeC035-1751381593-51037
SLURM_JOB_ID= 9598223
Free space on /tmp= 433044 MiB

SOLVER NAME= Picat 2025-06-16
BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_010_area_delay.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4496729-1751385271/watcher-4496729-1751385271 -o /tmp/evaluation-result-4496729-1751385271/solver-4496729-1751385271 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1751381593-51037 --watchdog 3760  pb_picat HOME/instance-4496729-1751385271.opb

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

MD5SUM BENCH= 77a3dc3c6688d0f09e65e252caf4dce1
RANDOM SEED=381209442

nodeC035 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

/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		: 3603.400
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.51
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		: 3599.747
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.51
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.779
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.51
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		: 3438.132
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.51
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		: 3599.743
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.51
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		: 3599.752
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.51
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		: 3581.235
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.51
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		: 3598.314
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249992 kB
MemFree:        124507608 kB
MemAvailable:   129352212 kB
Buffers:            1840 kB
Cached:          5597060 kB
SwapCached:            8 kB
Active:           728812 kB
Inactive:        5305800 kB
Active(anon):     442160 kB
Inactive(anon):    11604 kB
Active(file):     286652 kB
Inactive(file):  5294196 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              9504 kB
Writeback:             0 kB
AnonPages:        438844 kB
Mapped:           113488 kB
Shmem:             18048 kB
KReclaimable:     205992 kB
Slab:             294988 kB
SReclaimable:     205992 kB
SUnreclaim:        88996 kB
KernelStack:        4288 kB
PageTables:         3980 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    6529228 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150488 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    348160 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      205524 kB
DirectMap2M:     7954432 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 433044 MiB
End job on nodeC035 at 2025-07-01 17:55:08