0.00/0.01	c solving HOME/instance-4528383-1752239768.opb (Picat 3.9b11, 7/10/2025)
0.19/0.30	o 103
1.08/1.12	o 36
5.37/5.41	o 35
5.37/5.41	s OPTIMUM FOUND
5.37/5.41	v ~x1724 ~x5016 ~x3357 ~x5971 ~x4553 ~x2926 ~x1280 ~x1726 ~x5020 ~x3359 
5.37/5.41	v ~x5972 ~x4555 ~x2927 ~x1282 ~x20 ~x5022 ~x3361 ~x5974 ~x4557 ~x2928 
5.37/5.41	v ~x1284 ~x1728 ~x5027 ~x3363 ~x5975 ~x4558 ~x2930 ~x1285 ~x1730 ~x5029 
5.37/5.41	v ~x3365 x5976 ~x4560 ~x2932 ~x1287 ~x1732 ~x5031 ~x3367 ~x5978 ~x4562 
5.37/5.41	v ~x2934 ~x1289 ~x1734 ~x5033 ~x3369 ~x5979 ~x4564 ~x2936 ~x1291 ~x1736 
5.37/5.41	v ~x5035 ~x3371 ~x5981 ~x4566 ~x2938 ~x1293 ~x1738 ~x135 ~x3373 x5982 
5.37/5.41	v ~x4568 ~x2940 ~x1295 ~x1740 ~x5038 ~x3375 ~x5983 ~x4570 ~x2942 ~x1297 
5.37/5.41	v ~x1743 ~x5040 ~x3377 ~x5984 ~x4571 ~x2944 ~x1298 ~x1745 ~x5042 ~x3379 
5.37/5.41	v x5985 ~x4573 ~x2946 ~x1300 ~x1747 ~x5045 ~x3381 ~x5986 ~x4574 ~x2948 
5.37/5.41	v ~x1302 ~x1749 ~x5047 ~x3383 ~x5987 ~x4576 ~x2950 ~x1304 ~x1751 ~x5049 
5.37/5.41	v ~x3385 ~x5989 ~x4578 ~x2952 ~x1306 ~x1753 ~x5051 ~x3387 ~x5990 ~x4579 
5.37/5.41	v ~x2954 ~x1308 ~x1755 ~x5054 ~x3389 ~x5991 ~x4581 ~x2956 ~x1310 ~x1757 
5.37/5.41	v ~x5056 ~x3391 ~x5992 ~x4582 ~x2958 ~x1312 ~x1759 ~x5059 ~x3393 ~x5994 
5.37/5.41	v ~x4584 ~x2960 ~x1313 ~x1761 ~x5061 ~x3395 ~x5995 ~x4586 ~x2962 ~x1315 
5.37/5.41	v ~x1763 ~x136 ~x3397 ~x5996 ~x4588 ~x2964 ~x1317 ~x1765 ~x5064 ~x3399 
5.37/5.41	v ~x5997 ~x4590 ~x2966 ~x1319 ~x1767 ~x5066 ~x3401 ~x5998 ~x4592 ~x2968 
5.37/5.41	v ~x1321 ~x1769 ~x5069 ~x3403 ~x5999 ~x4594 ~x2970 ~x1323 ~x1771 ~x5072 
5.37/5.41	v ~x3405 ~x6000 ~x4596 ~x2972 ~x1325 ~x1773 ~x5074 ~x3407 ~x6001 ~x4597 
5.37/5.41	v ~x2974 ~x1327 ~x1775 ~x137 ~x3409 ~x6002 ~x4599 ~x2976 ~x1329 ~x1777 
5.37/5.41	v ~x5077 ~x3411 ~x6003 ~x4601 ~x2978 ~x1331 ~x1779 ~x5079 ~x3413 ~x6004 
5.37/5.41	v ~x4603 ~x2980 ~x1333 ~x1781 ~x5081 ~x3415 ~x6005 ~x4605 ~x2982 ~x1335 
5.37/5.41	v ~x1783 ~x5083 ~x3417 ~x6006 ~x4607 ~x2984 ~x1337 ~x1785 ~x5085 ~x3419 
5.37/5.41	v ~x6007 ~x4609 ~x2986 ~x1339 ~x1787 ~x5087 ~x3421 ~x6008 ~x4611 ~x2988 
5.37/5.41	v ~x1341 ~x21 ~x5089 ~x3423 ~x6009 ~x4613 ~x2990 ~x1343 ~x1789 ~x5092 
5.37/5.41	v ~x3425 x6010 ~x4615 ~x2992 ~x1345 ~x1791 ~x5094 ~x3427 ~x6011 ~x4617 
5.37/5.41	v ~x2994 ~x1347 ~x1793 ~x5096 ~x3429 x6012 ~x4619 ~x2996 ~x1349 ~x1795 
5.37/5.41	v ~x5098 ~x3432 ~x6013 ~x4621 ~x2998 ~x1351 ~x1797 ~x5100 ~x3434 x6014 
5.37/5.41	v ~x4623 ~x3000 ~x1353 ~x1799 ~x5102 ~x3436 ~x6015 ~x4625 ~x3002 ~x1355 
5.37/5.41	v ~x1801 ~x138 ~x3438 x6016 ~x4627 ~x3004 ~x1357 ~x1803 ~x5105 ~x3440 
5.37/5.41	v ~x6017 ~x4629 ~x3006 ~x1359 ~x1806 ~x5108 ~x3442 ~x6018 ~x4631 ~x3008 
5.37/5.41	v ~x1361 ~x1808 ~x5110 ~x3444 ~x6019 ~x4633 ~x3010 ~x1363 ~x1810 ~x5113 
5.37/5.41	v ~x3446 ~x6020 x4634 ~x3012 ~x1365 ~x1812 ~x139 ~x3448 x6021 ~x4636 
5.37/5.41	v ~x3014 ~x1367 ~x1815 ~x5115 ~x3450 ~x6022 ~x4638 ~x3016 ~x1369 ~x22 
5.37/5.41	v ~x5118 ~x3452 ~x6023 ~x4640 ~x3018 ~x1371 ~x1817 ~x5120 ~x3454 ~x6024 
5.37/5.41	v ~x4642 ~x3020 ~x1373 ~x1819 ~x5122 ~x3456 x6025 ~x4644 ~x3022 ~x1375 
5.37/5.41	v ~x1821 ~x140 ~x3458 ~x6026 ~x4646 ~x3024 ~x1376 ~x1823 ~x5126 ~x3460 
5.37/5.41	v x6027 ~x4648 ~x3026 ~x1378 ~x1825 ~x5128 ~x3462 ~x6028 ~x4650 ~x3028 
5.37/5.41	v ~x1380 ~x1827 ~x5130 ~x72 x6029 ~x4651 ~x3030 ~x1382 ~x1829 ~x141 
5.37/5.41	v ~x3464 ~x6030 ~x4653 ~x3032 ~x1384 ~x1831 ~x5133 ~x3466 x6031 ~x4655 
5.37/5.41	v ~x3034 ~x1386 ~x1834 ~x5136 ~x3468 x6032 ~x4656 ~x3036 ~x1387 ~x1836 
5.37/5.41	v ~x5139 ~x3470 x6033 ~x4658 ~x3037 ~x1389 ~x1838 ~x5141 ~x3472 ~x4660 
5.37/5.41	v ~x3039 ~x1391 ~x1840 ~x5144 ~x3474 ~x4662 ~x3041 ~x1393 ~x1842 ~x5146 
5.37/5.41	v ~x3476 ~x4664 ~x3043 ~x1395 ~x1844 ~x5148 ~x3478 ~x4665 ~x3045 ~x1397 
5.37/5.41	v ~x23 ~x5151 ~x3480 ~x4667 ~x3047 ~x1399 ~x1846 ~x5153 ~x3482 ~x4669 
5.37/5.41	v ~x3049 ~x1401 ~x1848 ~x5155 ~x3484 ~x4671 ~x3051 ~x1403 ~x1850 ~x142 
5.37/5.41	v ~x3486 ~x4672 ~x3053 ~x1405 ~x1852 ~x5158 ~x3488 ~x4674 ~x3055 ~x1406 
5.37/5.41	v ~x1854 ~x5161 ~x3490 ~x4676 ~x3057 ~x1408 ~x1856 ~x5163 ~x3492 ~x4678 
5.37/5.41	v ~x3059 ~x1410 ~x1858 ~x5165 ~x195 ~x3494 ~x4680 ~x3061 ~x1412 ~x24 
5.37/5.41	v ~x5167 ~x197 ~x3496 ~x4682 ~x3063 ~x1414 ~x1860 ~x5170 ~x199 ~x3498 
5.37/5.41	v ~x4683 ~x3065 ~x1416 ~x1862 ~x5172 ~x201 ~x3500 ~x4685 ~x3067 ~x1418 
5.37/5.41	v ~x1864 ~x5174 ~x203 ~x3502 ~x4687 ~x3069 ~x1420 ~x1866 ~x5176 ~x205 
5.37/5.41	v ~x3504 ~x4689 ~x3071 ~x1422 ~x1868 ~x5178 ~x207 ~x3506 ~x4691 ~x3073 
5.37/5.41	v ~x1424 ~x1870 ~x5180 ~x209 ~x3508 ~x4693 ~x3075 ~x1426 ~x1872 ~x143 
5.37/5.41	v ~x211 ~x3510 ~x4695 ~x3077 ~x1428 ~x1874 ~x5184 ~x213 ~x3512 ~x4697 
5.37/5.41	v ~x3079 ~x1430 ~x1876 ~x5186 ~x215 ~x3514 ~x4699 ~x3081 ~x1432 ~x1878 
5.37/5.41	v ~x5188 ~x217 ~x3517 ~x4701 ~x3083 ~x1434 ~x1880 ~x5191 ~x219 ~x3519 
5.37/5.41	v ~x4703 ~x3085 ~x1436 ~x1882 ~x5193 ~x221 ~x3521 ~x4704 ~x3087 ~x1438 
5.37/5.41	v ~x1884 ~x144 ~x223 ~x3523 ~x4706 ~x3089 ~x1440 ~x1886 ~x5196 ~x225 
5.37/5.41	v ~x73 ~x4708 ~x3091 ~x1442 ~x1888 ~x5198 ~x227 ~x3525 ~x4710 ~x3093 
5.37/5.41	v ~x1444 ~x1890 ~x5200 ~x229 ~x3527 ~x4712 ~x3095 ~x1446 ~x1892 ~x145 
5.37/5.41	v ~x231 ~x3529 ~x4714 ~x3097 ~x1447 ~x1894 ~x5205 ~x233 ~x3531 ~x4716 
5.37/5.41	v ~x3099 ~x1448 ~x1896 ~x5208 ~x235 ~x3533 ~x4718 ~x3101 ~x1450 ~x1898 
5.37/5.41	v ~x5210 ~x237 ~x3535 ~x4720 ~x3103 ~x1452 ~x1900 ~x5212 ~x239 ~x3537 
5.37/5.41	v ~x4722 ~x3105 ~x1454 ~x1902 ~x5215 ~x241 ~x3539 ~x4724 ~x3107 ~x1456 
5.37/5.41	v ~x1904 ~x5218 ~x243 ~x3541 ~x4726 ~x3109 ~x1458 ~x1906 ~x146 ~x245 
5.37/5.41	v ~x3544 ~x4728 ~x3111 ~x1460 ~x1908 ~x5220 ~x247 ~x3546 ~x4730 ~x3113 
5.37/5.41	v ~x1462 ~x1910 ~x5222 ~x249 ~x3548 ~x4732 ~x3115 ~x1464 ~x1912 ~x5225 
5.37/5.41	v ~x251 ~x3550 ~x4734 ~x3117 ~x1466 ~x1914 ~x5227 ~x253 ~x3552 ~x4736 
5.37/5.41	v ~x3119 ~x1468 ~x1916 ~x5229 ~x255 ~x3554 ~x4738 ~x3121 ~x1470 ~x1918 
5.37/5.41	v ~x5231 ~x257 ~x3556 ~x4740 ~x3123 ~x1472 ~x1920 ~x147 ~x259 ~x3558 
5.37/5.41	v ~x4742 ~x3125 ~x1474 ~x25 ~x5234 ~x261 ~x3560 ~x4743 ~x3127 ~x1476 
5.37/5.41	v ~x1922 ~x5236 ~x263 ~x3562 ~x4744 ~x3129 ~x1478 ~x1924 ~x5238 ~x265 
5.37/5.41	v ~x3564 ~x4746 ~x3131 ~x1480 ~x1926 ~x5240 ~x267 ~x3566 ~x4748 ~x3133 
5.37/5.41	v ~x1482 ~x1928 ~x5242 ~x269 ~x3568 ~x4750 ~x3135 ~x1484 ~x1930 ~x5244 
5.37/5.41	v ~x271 ~x3570 ~x4752 ~x3136 ~x1486 ~x1932 ~x148 ~x273 ~x3572 ~x4754 
5.37/5.41	v ~x3138 ~x1488 ~x1934 ~x5246 ~x275 ~x3574 ~x4756 ~x3140 ~x1490 ~x1936 
5.37/5.41	v ~x5249 ~x277 ~x3576 ~x4757 ~x3142 ~x1492 ~x1938 ~x149 ~x279 ~x3578 
5.37/5.41	v ~x4759 ~x3144 ~x1494 ~x1940 ~x5252 ~x281 ~x3580 ~x4761 ~x3146 ~x1496 
5.37/5.41	v ~x1942 ~x150 ~x283 ~x3582 ~x4763 ~x3148 ~x1498 ~x1944 ~x5255 ~x285 
5.37/5.41	v ~x74 ~x4765 ~x3150 ~x1500 ~x1946 ~x5257 ~x287 ~x3584 ~x4767 ~x3152 
5.37/5.41	v ~x1502 ~x1948 ~x151 ~x289 ~x3586 ~x4769 ~x3154 ~x1504 ~x1950 ~x5260 
5.37/5.41	v ~x291 ~x3588 ~x4771 ~x3156 ~x1506 ~x26 ~x152 ~x293 ~x3590 ~x4773 
5.37/5.41	v ~x3158 ~x1508 ~x1952 ~x5262 ~x295 ~x3592 ~x4775 ~x3160 ~x1510 ~x1954 
5.37/5.41	v ~x5264 ~x297 ~x3594 ~x4777 ~x3162 ~x1512 ~x1956 ~x5266 ~x299 ~x3596 
5.37/5.41	v ~x4779 ~x3164 ~x1514 ~x1958 ~x5268 ~x301 ~x3599 ~x4780 ~x3166 ~x1516 
5.37/5.41	v ~x1960 ~x5270 ~x303 ~x3601 ~x4782 ~x3168 ~x1518 ~x1962 ~x5272 ~x305 
5.37/5.41	v ~x3603 ~x4784 ~x3170 ~x1520 ~x1964 ~x5274 ~x307 ~x3605 ~x4786 ~x3172 
5.37/5.41	v ~x1522 ~x1966 ~x5276 ~x309 ~x3607 ~x4788 ~x3174 ~x1524 ~x1968 ~x5278 
5.37/5.41	v ~x311 ~x3609 ~x4790 ~x3176 ~x1526 ~x1970 ~x5280 ~x313 ~x3611 ~x4792 
5.37/5.41	v ~x3178 ~x1528 ~x1972 ~x5282 ~x315 ~x75 ~x4794 ~x3179 ~x1530 ~x1975 
5.37/5.41	v ~x5284 ~x317 ~x3613 ~x4796 ~x3181 ~x1532 ~x1977 ~x5286 ~x319 ~x3615 
5.37/5.41	v ~x4798 ~x3183 ~x1534 ~x1979 ~x5288 ~x321 ~x3617 ~x4800 ~x3185 ~x1536 
5.37/5.41	v ~x27 ~x5290 ~x323 ~x3619 ~x4801 ~x3187 ~x1538 ~x1981 ~x5292 ~x325 
5.37/5.41	v ~x3621 ~x4803 ~x3189 ~x1540 ~x1983 ~x5294 ~x327 ~x3623 ~x4805 ~x3191 
5.37/5.41	v ~x1542 ~x1985 ~x5296 ~x329 ~x3625 ~x4807 ~x3193 ~x1544 ~x1987 ~x5299 
5.37/5.41	v ~x331 ~x3627 ~x4809 ~x3195 ~x1546 ~x1990 ~x5301 ~x333 ~x3629 ~x4811 
5.37/5.41	v ~x3197 ~x1548 ~x1992 ~x5303 ~x335 ~x3631 ~x4813 ~x3199 ~x1550 ~x28 
5.37/5.41	v ~x5305 ~x337 ~x3633 ~x4815 ~x3201 ~x1552 ~x1994 ~x5309 ~x339 ~x3635 
5.37/5.41	v ~x4817 ~x3202 ~x1554 ~x1996 ~x5312 ~x341 ~x3637 ~x4819 ~x3204 ~x1556 
5.37/5.41	v ~x1998 ~x5315 ~x343 ~x3639 ~x4821 ~x3206 ~x1558 ~x2000 ~x153 ~x345 
5.37/5.41	v ~x3641 ~x4823 ~x3208 ~x1560 ~x2002 ~x5317 ~x347 ~x3643 ~x4825 ~x3210 
5.37/5.41	v ~x1562 ~x2004 ~x5319 ~x349 ~x3645 ~x4827 ~x3212 ~x1564 ~x2007 ~x5321 
5.37/5.41	v x351 ~x3647 ~x4829 ~x3214 ~x1566 ~x2009 ~x5323 ~x353 ~x3649 ~x4831 
5.37/5.41	v ~x3216 ~x1568 ~x2011 ~x5325 ~x355 ~x3651 ~x4833 ~x3218 ~x1570 ~x2013 
5.37/5.41	v ~x5327 ~x357 ~x3653 ~x4834 ~x3220 ~x1572 ~x2015 ~x5329 ~x359 ~x3655 
5.37/5.41	v ~x4836 ~x3222 ~x1574 ~x2017 ~x5332 ~x361 ~x3657 ~x4838 ~x3224 ~x1576 
5.37/5.41	v ~x2019 ~x5335 ~x363 ~x3659 ~x4839 ~x3226 ~x1578 ~x2021 ~x5337 ~x365 
5.37/5.41	v ~x3661 ~x4841 ~x3228 ~x1580 ~x29 ~x5340 ~x367 ~x3663 ~x4843 ~x3230 
5.37/5.41	v ~x1582 ~x2023 ~x154 ~x369 ~x3665 ~x4845 ~x3232 ~x1584 ~x2025 ~x5343 
5.37/5.41	v ~x371 ~x3667 ~x4847 ~x3234 ~x1586 ~x2028 ~x5345 ~x373 ~x3669 ~x4849 
5.37/5.41	v ~x3236 ~x1588 ~x2030 ~x5347 ~x375 ~x3671 ~x4851 ~x3238 ~x1590 ~x2032 
5.37/5.41	v ~x5349 ~x377 ~x3673 ~x4853 ~x3240 ~x1592 ~x2034 ~x5351 ~x379 ~x76 
5.37/5.41	v ~x4855 ~x3241 ~x1594 ~x30 ~x5353 ~x381 ~x3675 ~x4856 ~x3243 ~x1596 
5.37/5.41	v ~x2036 ~x5357 ~x383 ~x3677 ~x4858 ~x3245 ~x1598 ~x2038 ~x5359 ~x385 
5.37/5.41	v ~x3679 ~x4860 ~x3247 ~x1600 ~x2040 ~x5361 ~x387 ~x3681 ~x4862 ~x3249 
5.37/5.41	v ~x1602 ~x2042 ~x5363 ~x389 ~x3683 ~x4864 ~x3251 ~x1604 ~x2045 ~x5365 
5.37/5.41	v ~x391 ~x3685 ~x4866 ~x3253 ~x1606 ~x2047 ~x5367 ~x393 ~x3687 ~x4868 
5.37/5.41	v ~x3255 ~x1608 ~x31 ~x5369 ~x395 ~x3690 ~x4870 ~x3257 ~x1610 ~x2049 
5.37/5.41	v ~x155 ~x397 ~x3692 ~x4872 ~x3259 ~x1612 ~x2052 ~x5371 ~x399 ~x3694 
5.37/5.41	v ~x4874 ~x3261 ~x1614 ~x32 ~x5373 ~x401 ~x3696 ~x4876 ~x3263 ~x1616 
5.37/5.41	v ~x2054 ~x5376 ~x403 ~x3698 ~x4877 ~x3265 ~x1618 ~x2056 ~x5378 ~x405 
5.37/5.41	v ~x3700 ~x4879 ~x3267 ~x1620 ~x2058 ~x5380 ~x407 ~x3702 ~x4881 ~x3269 
5.37/5.41	v ~x1622 ~x2060 ~x5382 ~x409 ~x77 ~x4883 ~x3271 ~x1624 ~x2062 ~x156 
5.37/5.41	v ~x411 ~x3704 ~x4885 ~x3273 ~x1626 ~x2064 ~x5385 ~x413 ~x3706 ~x4887 
5.37/5.41	v ~x3275 ~x1628 ~x2066 ~x5388 ~x415 ~x3709 ~x4889 ~x3276 ~x1630 ~x2068 
5.37/5.41	v ~x5390 ~x417 ~x3711 ~x4890 ~x3278 ~x1631 ~x2070 ~x5392 ~x419 ~x3713 
5.37/5.41	v ~x4892 ~x3280 ~x1633 ~x2072 ~x5394 ~x421 ~x3715 ~x4894 ~x3282 ~x1635 
5.37/5.41	v ~x2074 ~x5396 ~x423 ~x3717 ~x4896 ~x3284 ~x1637 ~x2076 ~x5400 ~x425 
5.37/5.41	v ~x3719 ~x4898 ~x3286 ~x1639 ~x2078 ~x5402 ~x427 ~x3721 ~x4899 ~x3288 
5.37/5.41	v ~x1641 ~x2080 ~x5404 ~x429 ~x3723 ~x4901 ~x3290 ~x1643 ~x2082 ~x5406 
5.37/5.41	v ~x431 ~x3725 ~x4903 ~x3292 ~x1645 ~x2084 ~x5408 ~x433 ~x3727 ~x4905 
5.37/5.41	v ~x3294 ~x1647 ~x2086 ~x5410 ~x435 ~x3729 ~x4906 ~x3296 ~x1649 ~x2088 
5.37/5.41	v ~x5412 ~x437 ~x3731 ~x4908 ~x3298 ~x1651 ~x2090 ~x5414 ~x439 ~x78 
5.37/5.41	v ~x4910 ~x3300 ~x1653 ~x2092 ~x5416 ~x441 ~x3733 ~x4912 ~x3302 ~x1655 
5.37/5.41	v ~x2094 ~x5419 ~x443 ~x3735 ~x4914 ~x3304 ~x1657 ~x2096 ~x5421 ~x445 
5.37/5.41	v ~x3737 ~x4916 ~x3306 ~x1659 ~x2098 ~x157 ~x447 ~x3739 ~x4918 ~x3308 
5.37/5.41	v ~x1661 ~x2100 ~x5423 ~x449 ~x3741 ~x4919 ~x3310 ~x1663 ~x2102 ~x5425 
5.37/5.41	v ~x1 ~x3743 ~x4921 ~x3312 ~x1665 ~x2104 ~x5428 ~x451 ~x3745 x4922 
5.37/5.41	v ~x3314 ~x1667 ~x2106 ~x5431 ~x453 ~x79 ~x4924 ~x3316 ~x1669 ~x2108 
5.37/5.41	v ~x5433 ~x455 ~x3747 ~x4926 ~x3318 ~x1671 ~x2110 ~x158 ~x457 ~x3749 
5.37/5.41	v ~x4928 ~x3319 ~x1673 ~x2112 ~x5436 ~x459 ~x3751 ~x4929 ~x3321 ~x1675 
5.37/5.41	v ~x2114 ~x159 ~x461 ~x3753 ~x4931 ~x3323 ~x1677 ~x2116 ~x5439 ~x463 
5.37/5.41	v ~x3755 ~x4933 ~x3325 ~x1679 ~x2118 ~x5441 ~x465 ~x3757 ~x4934 ~x3327 
5.37/5.41	v ~x1681 ~x2120 ~x5443 ~x467 ~x3759 ~x4936 ~x3329 ~x1683 ~x2122 ~x5447 
5.37/5.41	v ~x469 ~x3761 ~x4937 ~x3331 ~x1685 ~x2124 ~x5449 ~x471 ~x3763 ~x4939 
5.37/5.41	v ~x3333 ~x1687 ~x2126 ~x5451 ~x473 ~x3766 ~x4940 ~x3334 ~x1689 ~x2128 
5.37/5.41	v ~x5453 ~x475 ~x3768 ~x4941 ~x3336 ~x1691 ~x2130 ~x5455 ~x477 ~x3770 
5.37/5.41	v ~x4943 ~x3338 ~x1693 ~x2132 ~x5457 ~x479 ~x3772 ~x4945 ~x3340 ~x1695 
5.37/5.41	v ~x2134 ~x5461 ~x481 ~x3774 ~x4947 ~x3342 ~x1697 ~x2136 ~x5463 ~x483 
5.37/5.41	v ~x3776 ~x4949 ~x3344 ~x1699 ~x2138 ~x5465 ~x485 ~x3779 ~x4951 ~x3346 
5.37/5.41	v ~x1701 ~x2140 ~x5468 ~x487 ~x3781 ~x4953 ~x3348 ~x1703 ~x2142 ~x5470 
5.37/5.41	v ~x489 ~x3783 ~x4954 ~x3350 ~x1705 ~x2145 ~x5473 ~x491 ~x3785 ~x4956 
5.37/5.41	v ~x3352 ~x1707 ~x2147 ~x5475 ~x493 ~x3787 ~x4958 ~x3354 ~x1709 ~x2149 
5.37/5.41	v ~x160 ~x495 ~x3789 ~x4959 ~x3356 ~x1711 ~x2151 ~x5477 ~x497 ~x3791 
5.37/5.41	v ~x4961 ~x3358 ~x1713 ~x2153 ~x5481 ~x499 ~x3793 ~x4963 ~x3360 ~x1715 
5.37/5.41	v ~x2155 ~x5483 ~x501 ~x3795 ~x4965 ~x3362 ~x1717 ~x2157 ~x5486 ~x503 
5.37/5.41	v ~x3798 ~x4967 ~x3364 ~x1719 ~x2159 ~x161 ~x505 ~x3800 ~x4969 ~x3366 
5.37/5.41	v ~x1721 ~x2161 ~x5488 ~x507 ~x3802 ~x4970 ~x3368 ~x1723 ~x2163 ~x5490 
5.37/5.41	v ~x509 ~x3804 ~x4972 ~x3370 ~x1725 ~x2165 ~x5493 ~x511 ~x80 ~x4974 
5.37/5.41	v ~x3372 ~x1727 ~x2167 ~x5496 ~x513 ~x3806 ~x4976 ~x3374 ~x1729 ~x2169 
5.37/5.41	v ~x5498 ~x515 ~x3808 ~x4978 ~x3376 ~x1731 ~x2171 ~x5500 ~x517 ~x3810 
5.37/5.41	v ~x4980 ~x3378 ~x1733 ~x2173 ~x5502 ~x519 ~x3812 ~x4981 ~x3380 ~x1735 
5.37/5.41	v ~x2175 ~x5504 ~x521 ~x3814 ~x4983 ~x3382 ~x1737 ~x2177 ~x5507 ~x523 
5.37/5.41	v ~x3816 ~x4985 ~x3384 ~x1739 ~x33 ~x5509 ~x525 ~x3818 ~x4987 ~x3386 
5.37/5.41	v ~x1741 ~x2179 ~x162 ~x527 ~x3820 ~x4989 ~x3388 ~x1742 ~x2181 ~x5513 
5.37/5.41	v ~x529 ~x3822 ~x4991 ~x3390 ~x1744 ~x2183 ~x5516 ~x531 ~x3824 ~x4993 
5.37/5.41	v ~x3392 ~x1746 ~x2185 ~x5518 ~x533 ~x3826 ~x4995 ~x3394 ~x1748 ~x2187 
5.37/5.41	v ~x5521 ~x535 ~x3828 ~x4997 ~x3396 ~x1750 ~x2189 ~x5523 ~x537 ~x3830 
5.37/5.41	v ~x4999 ~x3398 ~x1752 ~x2191 ~x163 ~x539 ~x3832 ~x5000 ~x3400 ~x1754 
5.37/5.41	v ~x2193 ~x5527 ~x541 ~x3834 ~x5002 ~x3402 ~x1756 ~x2195 ~x5529 ~x543 
5.37/5.41	v ~x3836 ~x5004 ~x3404 ~x1758 ~x2197 ~x5531 ~x545 ~x3838 ~x5006 ~x3406 
5.37/5.41	v ~x1760 ~x2200 ~x5534 ~x547 ~x3840 ~x5008 ~x3408 ~x1762 ~x2202 ~x164 
5.37/5.41	v ~x549 ~x3842 ~x5009 ~x3410 ~x1764 ~x2204 ~x5537 ~x551 ~x3844 ~x5011 
5.37/5.41	v ~x3412 ~x1766 ~x2206 ~x165 ~x553 ~x3846 ~x5013 ~x3414 ~x1768 ~x2208 
5.37/5.41	v ~x5542 ~x555 ~x3848 ~x5015 ~x3416 ~x1770 ~x2210 ~x5544 ~x557 ~x3850 
5.37/5.41	v ~x5017 ~x3418 ~x1772 ~x2212 ~x5548 ~x559 ~x3852 ~x5018 ~x3420 ~x1774 
5.37/5.41	v ~x2214 ~x5550 ~x561 ~x3854 ~x5019 ~x3422 ~x1776 ~x2216 ~x5553 ~x563 
5.37/5.41	v ~x3856 ~x5021 ~x3424 ~x1778 ~x2218 ~x5556 ~x565 ~x3858 ~x5023 ~x3426 
5.37/5.41	v ~x1780 ~x2220 ~x5558 ~x567 ~x3860 ~x5024 ~x3428 ~x1782 ~x2222 ~x5560 
5.37/5.41	v ~x569 ~x3862 ~x5025 ~x3430 ~x1784 ~x2224 ~x5562 ~x572 ~x3864 ~x5026 
5.37/5.41	v ~x3431 ~x1786 ~x2226 ~x166 ~x574 ~x3866 ~x5028 ~x3433 ~x1788 ~x2228 
5.37/5.41	v ~x5565 ~x2 ~x81 ~x5030 ~x3435 ~x1790 ~x2230 ~x5568 ~x576 ~x3868 
5.37/5.41	v ~x5032 ~x3437 ~x1792 ~x2232 ~x5570 ~x578 ~x3870 ~x5034 ~x3439 ~x1794 
5.37/5.41	v ~x2234 ~x5573 ~x580 ~x3872 ~x5036 ~x3441 ~x1796 ~x2236 ~x167 ~x582 
5.37/5.41	v ~x3874 ~x5037 ~x3443 ~x1798 ~x2238 ~x5576 ~x584 ~x3876 ~x5039 ~x3445 
5.37/5.41	v ~x1800 ~x34 ~x5580 ~x586 ~x3878 ~x5041 ~x3447 ~x1802 ~x2240 ~x5582 
5.37/5.41	v ~x588 ~x3880 ~x5043 ~x3449 ~x1804 ~x2242 ~x168 ~x590 ~x3882 ~x5044 
5.37/5.41	v ~x3451 ~x1805 ~x2244 ~x5586 ~x592 ~x3884 ~x5046 ~x3453 ~x1807 ~x2246 
5.37/5.41	v ~x169 ~x594 ~x3886 ~x5048 ~x3455 ~x1809 ~x2248 ~x5589 ~x596 ~x3888 
5.37/5.41	v ~x5050 ~x3457 ~x1811 ~x2250 ~x5591 ~x598 ~x3890 ~x5052 ~x3459 ~x1813 
5.37/5.41	v ~x2252 ~x5594 ~x600 ~x3892 ~x5053 ~x3461 ~x1814 ~x2255 ~x5597 ~x602 
5.37/5.41	v ~x3894 ~x5055 ~x3463 ~x1816 ~x2257 ~x170 ~x604 ~x3896 ~x5057 ~x3465 
5.37/5.41	v ~x1818 ~x2259 ~x5601 ~x606 ~x82 ~x5058 ~x3467 ~x1820 ~x2261 ~x171 
5.37/5.41	v ~x608 ~x3898 ~x5060 ~x3469 ~x1822 ~x2263 ~x5604 ~x610 ~x3900 ~x5062 
5.37/5.41	v ~x3471 ~x1824 ~x2266 ~x5606 ~x612 ~x3903 ~x5063 ~x3473 ~x1826 ~x2268 
5.37/5.41	v ~x5609 ~x614 ~x3905 ~x5065 ~x3475 ~x1828 ~x2270 ~x5611 ~x616 ~x3907 
5.37/5.41	v ~x5067 ~x3477 ~x1830 ~x2272 ~x5613 ~x618 ~x3909 ~x5068 ~x3479 ~x1832 
5.37/5.41	v ~x2274 ~x5615 ~x620 ~x3911 ~x5070 ~x3481 ~x1833 ~x2276 ~x172 ~x622 
5.37/5.41	v ~x3913 ~x5071 ~x3483 ~x1835 ~x2278 ~x5618 ~x624 ~x3915 ~x5073 ~x3485 
5.37/5.41	v ~x1837 ~x2280 ~x5621 ~x626 ~x3917 ~x5075 ~x3487 ~x1839 ~x2282 ~x5623 
5.37/5.41	v ~x628 ~x3920 ~x5076 ~x3489 ~x1841 ~x2284 ~x173 ~x630 ~x3922 ~x5078 
5.37/5.41	v ~x3491 ~x1843 ~x2286 x174 ~x632 ~x3924 ~x5080 ~x3493 ~x1845 ~x2288 
5.37/5.41	v ~x5628 ~x634 ~x83 ~x5082 ~x3495 ~x1847 ~x2290 ~x5630 ~x636 ~x3926 
5.37/5.41	v ~x5084 ~x3497 ~x1849 ~x2292 ~x5632 ~x638 ~x3928 ~x5086 ~x3499 ~x1851 
5.37/5.41	v ~x2294 ~x5634 ~x640 ~x3930 ~x5088 ~x3501 ~x1853 ~x2296 ~x5636 ~x642 
5.37/5.41	v ~x3932 ~x5090 ~x3503 ~x1855 ~x2298 ~x5638 ~x644 ~x3934 ~x5091 ~x3505 
5.37/5.41	v ~x1857 ~x2300 ~x5640 ~x646 ~x3936 ~x5093 ~x3507 ~x1859 ~x2302 ~x5642 
5.37/5.41	v ~x648 ~x3938 ~x5095 ~x3509 ~x1861 ~x2304 ~x5644 ~x650 ~x3940 ~x5097 
5.37/5.41	v ~x3511 ~x1863 ~x2307 ~x5647 ~x652 ~x3942 ~x5099 ~x3513 ~x1865 ~x2309 
5.37/5.41	v ~x5649 ~x654 ~x3944 ~x5101 ~x3515 ~x1867 ~x2311 ~x5651 ~x656 ~x3946 
5.37/5.41	v ~x5103 ~x3516 ~x1869 ~x2313 ~x5653 ~x658 ~x3949 ~x5104 ~x3518 ~x1871 
5.37/5.41	v ~x196 ~x2315 ~x175 ~x660 ~x3951 ~x5106 ~x3520 ~x1873 ~x198 ~x2317 
5.37/5.41	v ~x5655 ~x662 ~x3953 ~x5107 ~x3522 ~x1875 ~x200 ~x2319 ~x5658 ~x664 
5.37/5.41	v ~x84 ~x5109 ~x3524 ~x1877 ~x202 ~x2321 ~x5660 ~x666 ~x3955 ~x5111 
5.37/5.41	v ~x3526 ~x1879 ~x204 ~x2323 ~x5663 ~x668 ~x3957 ~x5112 ~x3528 ~x1881 
5.37/5.41	v ~x206 ~x2325 ~x5665 ~x670 ~x3959 ~x5114 ~x3530 ~x1883 ~x208 ~x2327 
5.37/5.41	v ~x5667 ~x672 ~x3961 ~x5116 ~x3532 ~x1885 ~x210 ~x35 ~x5671 ~x674 
5.37/5.41	v ~x3965 ~x5117 ~x3534 ~x1887 ~x212 ~x2329 ~x5673 ~x676 ~x85 ~x5119 
5.37/5.41	v ~x3536 ~x1889 ~x214 ~x2331 ~x5675 ~x678 ~x3967 ~x5121 ~x3538 ~x1891 
5.37/5.41	v ~x216 ~x2333 ~x5678 ~x680 ~x3969 ~x5123 ~x3540 ~x1893 ~x218 ~x5680 
5.37/5.41	v ~x682 ~x3971 ~x5124 ~x3542 ~x1895 ~x220 ~x5683 ~x684 ~x3973 ~x2335 
5.37/5.41	v ~x5125 ~x3543 ~x1897 ~x222 ~x5685 ~x686 ~x3975 ~x2338 ~x5127 ~x3545 
5.37/5.41	v ~x1899 ~x224 ~x5687 ~x688 ~x3977 ~x2340 ~x5129 ~x3547 ~x1901 ~x226 
5.37/5.41	v ~x5689 ~x690 ~x3979 ~x2342 ~x5131 ~x3549 ~x1903 ~x228 ~x5691 ~x692 
5.37/5.41	v ~x3981 ~x2344 ~x5132 ~x3551 ~x1905 ~x230 ~x176 ~x694 ~x3983 ~x2346 
5.37/5.41	v ~x5134 ~x3553 ~x1907 ~x232 ~x5693 ~x696 ~x3986 ~x2348 ~x5135 ~x3555 
5.37/5.41	v ~x1909 ~x234 ~x5695 ~x698 ~x3988 ~x2350 ~x5137 ~x3557 ~x1911 ~x236 
5.37/5.41	v ~x5697 ~x700 ~x3990 ~x2352 ~x5138 ~x3559 ~x1913 ~x238 ~x5701 ~x3 
5.37/5.41	v ~x3992 ~x2354 ~x5140 ~x3561 ~x1915 ~x240 ~x5703 ~x702 ~x3994 ~x2356 
5.37/5.41	v ~x5142 ~x3563 ~x1917 ~x242 ~x177 ~x704 ~x86 ~x2358 ~x5143 ~x3565 
5.37/5.41	v ~x1919 ~x244 ~x5705 ~x706 ~x3996 ~x2360 ~x5145 ~x3567 ~x1921 ~x246 
5.37/5.41	v ~x5707 ~x708 ~x3998 ~x2362 ~x5147 ~x3569 ~x1923 ~x248 ~x5709 ~x710 
5.37/5.41	v ~x4000 ~x2364 ~x5149 ~x3571 ~x1925 ~x250 ~x5712 ~x712 ~x4002 ~x2366 
5.37/5.41	v ~x5150 ~x3573 ~x1927 ~x252 ~x5715 ~x714 ~x4004 ~x2368 ~x5152 ~x3575 
5.37/5.41	v ~x1929 ~x254 ~x178 ~x717 ~x4006 ~x2370 ~x5154 ~x3577 ~x1931 ~x256 
5.37/5.41	v ~x5717 ~x719 ~x4008 ~x2372 ~x5156 ~x3579 ~x1933 ~x258 ~x5721 ~x721 
5.37/5.41	v ~x4010 ~x2374 ~x5157 ~x3581 ~x1935 ~x260 ~x5724 ~x723 ~x4012 ~x2376 
5.37/5.41	v ~x5159 ~x3583 ~x1937 ~x262 ~x5726 ~x725 ~x4014 ~x2378 ~x5160 ~x3585 
5.37/5.41	v ~x1939 ~x264 ~x5731 ~x727 ~x4016 ~x2380 ~x5162 ~x3587 ~x1941 ~x266 
5.37/5.41	v ~x5734 ~x729 ~x4019 ~x2382 ~x5164 ~x3589 ~x1943 ~x268 ~x5736 ~x731 
5.37/5.41	v ~x4021 ~x2384 ~x5166 ~x3591 ~x1945 ~x270 ~x5739 ~x733 ~x4023 ~x2386 
5.37/5.41	v ~x5168 ~x3593 ~x1947 ~x272 ~x5741 ~x735 ~x87 ~x2388 ~x5169 ~x3595 
5.37/5.41	v ~x1949 ~x274 ~x5743 ~x737 ~x4025 ~x36 ~x5171 ~x3597 ~x1951 ~x276 
5.37/5.41	v ~x179 ~x739 ~x4027 ~x2390 ~x5173 ~x3598 ~x1953 ~x278 ~x5747 ~x741 
5.37/5.41	v ~x4030 ~x2392 ~x5175 ~x3600 ~x1955 ~x280 ~x5749 ~x743 ~x4032 ~x2394 
5.37/5.41	v ~x5177 ~x3602 ~x1957 ~x282 ~x5751 ~x745 ~x4034 ~x2396 ~x5179 ~x3604 
5.37/5.41	v ~x1959 ~x284 ~x5754 ~x747 ~x4036 ~x2398 ~x5181 ~x3606 ~x1961 ~x286 
5.37/5.41	v ~x180 ~x749 ~x88 ~x2400 ~x5182 ~x3608 ~x1963 ~x288 ~x5757 ~x751 
5.37/5.41	v ~x4038 ~x2402 ~x5183 ~x3610 ~x1965 ~x290 ~x5760 ~x753 ~x4040 ~x2405 
5.37/5.41	v ~x5185 ~x3612 ~x1967 ~x292 ~x5763 ~x755 ~x4042 ~x2408 ~x5187 ~x3614 
5.37/5.41	v ~x1969 ~x294 ~x5765 ~x757 ~x4044 ~x2410 ~x5189 ~x3616 ~x1971 ~x296 
5.37/5.41	v ~x181 ~x759 ~x4047 ~x2412 ~x5190 ~x3618 ~x1973 ~x298 ~x5772 ~x761 
5.37/5.41	v ~x4049 ~x2414 ~x5192 ~x3620 ~x1974 ~x300 ~x5774 ~x4 ~x89 ~x2416 
5.37/5.41	v ~x5194 ~x3622 ~x1976 ~x302 ~x5779 ~x763 ~x4051 ~x37 ~x5195 ~x3624 
5.37/5.41	v ~x1978 ~x304 ~x5781 ~x765 ~x4053 ~x2418 ~x5197 ~x3626 ~x1980 ~x306 
5.37/5.41	v ~x5784 ~x767 ~x4055 ~x2420 ~x5199 ~x3628 ~x1982 ~x308 ~x5791 ~x769 
5.37/5.41	v ~x4058 ~x2422 ~x5201 ~x3630 ~x1984 ~x310 ~x5794 ~x771 ~x4060 ~x2425 
5.37/5.41	v ~x5202 ~x3632 ~x1986 ~x312 ~x5796 ~x773 ~x4062 ~x2427 ~x5203 ~x3634 
5.37/5.41	v ~x1988 ~x314 ~x5799 ~x775 ~x90 ~x2429 ~x5204 ~x3636 ~x1989 ~x316 
5.37/5.41	v ~x5802 ~x777 ~x4065 ~x2431 ~x5206 ~x3638 ~x1991 ~x318 ~x5804 ~x779 
5.37/5.41	v ~x4067 ~x2433 ~x5207 ~x3640 ~x1993 ~x320 ~x5808 ~x781 ~x91 ~x2435 
5.37/5.41	v ~x5209 ~x3642 ~x1995 ~x322 ~x5810 ~x783 ~x4069 ~x2437 ~x5211 ~x3644 
5.37/5.41	v ~x1997 ~x324 ~x182 ~x785 ~x4071 ~x2440 ~x5213 ~x3646 ~x1999 ~x326 
5.37/5.41	v ~x5814 ~x787 ~x4073 ~x2442 ~x5214 ~x3648 ~x2001 ~x328 ~x5816 ~x789 
5.37/5.41	v ~x4075 ~x38 ~x5216 ~x3650 ~x2003 ~x330 ~x5819 ~x791 ~x4077 ~x2445 
5.37/5.41	v x5217 ~x3652 ~x2005 ~x332 ~x5821 ~x793 ~x4079 ~x2447 ~x5219 ~x3654 
5.37/5.41	v ~x2006 ~x334 ~x183 ~x795 ~x4081 ~x2449 ~x5221 ~x3656 ~x2008 ~x336 
5.37/5.41	v ~x5826 ~x797 ~x4083 ~x2451 ~x5223 ~x3658 ~x2010 ~x338 ~x5828 ~x799 
5.37/5.41	v ~x4086 ~x2453 ~x5224 ~x3660 ~x2012 ~x340 ~x184 ~x801 ~x4088 ~x2455 
5.37/5.41	v ~x5226 ~x3662 ~x2014 ~x342 ~x5830 ~x803 ~x4090 ~x2457 ~x5228 ~x3664 
5.37/5.41	v ~x2016 ~x344 ~x185 ~x805 ~x4092 ~x39 ~x5230 ~x3666 ~x2018 ~x346 
5.37/5.41	v ~x5834 ~x807 ~x4094 ~x2459 ~x5232 ~x3668 ~x2020 ~x348 ~x5839 ~x809 
5.37/5.41	v ~x4096 ~x2461 ~x5233 ~x3670 ~x2022 ~x350 ~x5842 ~x811 ~x4098 ~x2463 
5.37/5.41	v ~x5235 ~x3672 ~x2024 x352 ~x5846 ~x813 ~x4100 ~x2465 ~x5237 ~x3674 
5.37/5.41	v ~x2026 ~x354 ~x5848 ~x815 ~x4102 ~x2467 ~x5239 ~x3676 ~x2027 ~x356 
5.37/5.41	v ~x186 ~x817 ~x4104 ~x2469 ~x5241 ~x3678 ~x2029 ~x358 ~x5857 ~x819 
5.37/5.41	v ~x4106 ~x2471 ~x5243 ~x3680 ~x2031 ~x360 ~x5859 ~x821 ~x4108 ~x2473 
5.37/5.41	v ~x5245 ~x3682 ~x2033 ~x362 ~x5861 ~x823 ~x4110 ~x2475 ~x5247 ~x3684 
5.37/5.41	v ~x2035 ~x364 ~x5864 ~x825 ~x4112 ~x2477 ~x5248 ~x3686 ~x2037 ~x366 
5.37/5.41	v ~x5867 ~x827 ~x4114 ~x2479 ~x5250 ~x3688 ~x2039 ~x368 ~x5871 ~x829 
5.37/5.41	v ~x4116 ~x2481 ~x5251 ~x3689 ~x2041 ~x370 ~x5873 ~x831 ~x4118 ~x2483 
5.37/5.41	v ~x5253 ~x3691 ~x2043 ~x372 ~x5875 ~x833 ~x4121 ~x2485 ~x5254 ~x3693 
5.37/5.41	v ~x2044 ~x374 ~x5877 ~x835 ~x4123 ~x2487 ~x5256 ~x3695 ~x2046 ~x376 
5.37/5.41	v ~x187 ~x837 ~x4125 ~x2489 ~x5258 ~x3697 ~x2048 ~x378 ~x5883 ~x839 
5.37/5.41	v ~x4127 ~x2491 ~x5259 ~x3699 ~x2050 ~x380 ~x5885 ~x841 ~x92 ~x2493 
5.37/5.41	v ~x5261 ~x3701 ~x2051 ~x382 ~x5890 ~x843 ~x4129 ~x2495 ~x5263 ~x3703 
5.37/5.41	v ~x2053 ~x384 ~x5892 ~x845 ~x4131 ~x2497 ~x5265 ~x3705 ~x2055 ~x386 
5.37/5.41	v ~x5894 ~x847 ~x4133 ~x2499 ~x5267 ~x3707 ~x2057 ~x388 ~x5896 ~x849 
5.37/5.41	v ~x4135 ~x2501 ~x5269 ~x3708 ~x2059 ~x390 ~x5898 ~x851 ~x4137 ~x2503 
5.37/5.41	v ~x5271 ~x3710 ~x2061 ~x392 ~x5906 ~x853 ~x4140 ~x2505 ~x5273 ~x3712 
5.37/5.41	v ~x2063 ~x394 ~x5908 ~x855 ~x4142 ~x2507 ~x5275 ~x3714 ~x2065 ~x396 
5.37/5.41	v ~x188 ~x857 ~x4144 ~x2509 ~x5277 ~x3716 ~x2067 ~x398 ~x5910 ~x859 
5.37/5.41	v ~x4146 ~x2511 ~x5279 ~x3718 ~x2069 ~x400 ~x5917 ~x861 ~x4148 ~x2513 
5.37/5.41	v ~x5281 ~x3720 ~x2071 ~x402 ~x189 ~x863 ~x4150 ~x2515 ~x5283 ~x3722 
5.37/5.41	v ~x2073 ~x404 ~x5919 ~x865 ~x4152 ~x2517 ~x5285 ~x3724 ~x2075 ~x406 
5.37/5.41	v ~x5924 ~x867 ~x4154 ~x2519 ~x5287 ~x3726 ~x2077 ~x408 ~x5927 ~x869 
5.37/5.41	v ~x93 ~x40 ~x5289 ~x3728 ~x2079 ~x410 ~x190 ~x871 ~x4157 ~x2521 
5.37/5.41	v ~x5291 ~x3730 ~x2081 ~x412 ~x5942 ~x873 ~x4159 ~x2523 ~x5293 ~x3732 
5.37/5.41	v ~x2083 ~x414 ~x5944 ~x875 ~x4161 ~x2525 ~x5295 ~x3734 ~x2085 ~x416 
5.37/5.41	v ~x5950 ~x877 ~x4163 ~x2527 ~x5297 ~x3736 ~x2087 ~x418 ~x191 ~x879 
5.37/5.41	v ~x4165 ~x2529 ~x5298 ~x3738 ~x2089 ~x420 ~x5957 ~x881 ~x4167 ~x2531 
5.37/5.41	v ~x5300 ~x3740 ~x2091 ~x422 ~x5966 ~x883 ~x4169 ~x2533 ~x5302 ~x3742 
5.37/5.41	v ~x2093 ~x424 ~x5973 ~x885 ~x4171 ~x2535 ~x5304 ~x3744 ~x2095 ~x426 
5.37/5.41	v ~x5977 ~x887 ~x4173 ~x2537 ~x5306 ~x3746 ~x2097 ~x428 ~x5980 ~x5 
5.37/5.41	v ~x4176 ~x2539 ~x5307 ~x3748 ~x2099 ~x430 ~x192 ~x889 ~x4178 ~x2541 
5.37/5.41	v ~x5308 ~x3750 ~x2101 ~x432 ~x5988 ~x891 ~x4180 ~x2543 ~x5310 ~x3752 
5.37/5.41	v ~x2103 ~x434 ~x5993 ~x893 ~x4182 ~x2545 ~x5311 ~x3754 ~x2105 ~x436 
5.37/5.41	v ~x193 ~x895 ~x4184 ~x2547 ~x5313 ~x3756 ~x2107 ~x438 ~x194 ~x897 
5.37/5.41	v ~x94 ~x2549 ~x5314 ~x3758 ~x2109 ~x440 ~x899 ~x4186 ~x41 ~x5316 
5.37/5.41	v ~x3760 ~x2111 ~x442 ~x901 ~x4188 ~x2551 ~x5318 ~x3762 ~x2113 ~x444 
5.37/5.41	v ~x903 ~x4191 ~x2553 ~x5320 ~x3764 ~x2115 ~x446 ~x905 ~x4194 ~x2555 
5.37/5.41	v ~x5322 ~x3765 ~x2117 ~x448 ~x907 ~x4196 ~x2557 ~x5324 ~x3767 ~x2119 
5.37/5.41	v ~x450 ~x910 ~x95 ~x2559 ~x5326 ~x3769 ~x2121 ~x452 ~x912 ~x4198 
5.37/5.41	v ~x2561 ~x5328 ~x3771 ~x2123 ~x454 ~x914 ~x4200 ~x2563 ~x5330 ~x3773 
5.37/5.41	v ~x2125 ~x456 ~x916 ~x4202 ~x2566 ~x5331 ~x3775 ~x2127 ~x458 ~x918 
5.37/5.41	v ~x4204 ~x2568 ~x5333 ~x3777 ~x2129 ~x460 ~x920 ~x4206 ~x2570 ~x5334 
5.37/5.41	v ~x3778 ~x2131 ~x462 ~x922 ~x4208 ~x2572 ~x5336 ~x3780 ~x2133 ~x464 
5.37/5.41	v ~x924 ~x4210 ~x2574 ~x5338 ~x3782 ~x2135 ~x466 ~x926 ~x4212 ~x2576 
5.37/5.41	v ~x5339 ~x3784 ~x2137 ~x468 ~x928 ~x4214 ~x2578 ~x5341 ~x3786 ~x2139 
5.37/5.41	v ~x470 ~x930 ~x4216 ~x42 ~x5342 ~x3788 ~x2141 ~x472 ~x932 ~x4218 
5.37/5.41	v ~x2580 ~x5344 ~x3790 ~x2143 ~x474 ~x934 ~x4220 ~x2582 ~x5346 ~x3792 
5.37/5.41	v ~x2144 ~x476 ~x936 ~x4222 ~x2585 ~x5348 ~x3794 ~x2146 ~x478 ~x938 
5.37/5.41	v ~x4225 ~x2587 ~x5350 ~x3796 ~x2148 ~x480 ~x940 ~x96 ~x2590 ~x5352 
5.37/5.41	v ~x3797 ~x2150 ~x482 ~x942 ~x4228 ~x43 ~x5354 ~x3799 ~x2152 ~x484 
5.37/5.41	v ~x944 ~x4230 ~x2592 ~x5355 ~x3801 ~x2154 ~x486 ~x946 ~x4232 ~x2594 
5.37/5.41	v ~x5356 ~x3803 ~x2156 ~x488 ~x948 ~x4234 ~x2596 ~x5358 ~x3805 ~x2158 
5.37/5.41	v ~x490 ~x6 ~x4236 ~x2599 ~x5360 ~x3807 ~x2160 ~x492 ~x950 ~x4238 
5.37/5.41	v ~x2601 ~x5362 ~x3809 ~x2162 ~x494 ~x952 ~x97 ~x2603 ~x5364 ~x3811 
5.37/5.41	v ~x2164 ~x496 ~x954 ~x4240 ~x2605 ~x5366 ~x3813 ~x2166 ~x498 ~x956 
5.37/5.41	v ~x4242 ~x2607 ~x5368 ~x3815 ~x2168 ~x500 ~x958 ~x4244 ~x2609 ~x5370 
5.37/5.41	v ~x3817 ~x2170 ~x502 ~x960 ~x4246 ~x2611 ~x5372 ~x3819 ~x2172 ~x504 
5.37/5.41	v ~x962 ~x4248 ~x2613 ~x5374 ~x3821 ~x2174 ~x506 ~x964 ~x4251 ~x2615 
5.37/5.41	v ~x5375 ~x3823 ~x2176 ~x508 ~x966 ~x98 ~x2617 ~x5377 ~x3825 ~x2178 
5.37/5.41	v ~x510 ~x968 ~x4254 ~x2619 ~x5379 ~x3827 ~x2180 ~x512 ~x970 ~x4256 
5.37/5.41	v ~x44 ~x5381 ~x3829 ~x2182 ~x514 ~x972 ~x99 ~x2621 ~x5383 ~x3831 
5.37/5.41	v ~x2184 ~x516 ~x974 ~x4258 ~x2623 ~x5384 ~x3833 ~x2186 ~x518 ~x976 
5.37/5.41	v ~x4260 ~x2625 ~x5386 ~x3835 ~x2188 ~x520 ~x978 ~x4262 ~x2627 ~x5387 
5.37/5.41	v ~x3837 ~x2190 ~x522 ~x980 ~x4264 ~x2630 ~x5389 ~x3839 ~x2192 ~x524 
5.37/5.41	v ~x982 ~x4266 ~x45 ~x5391 ~x3841 ~x2194 ~x526 ~x984 ~x4268 ~x2633 
5.37/5.41	v ~x5393 ~x3843 ~x2196 ~x528 ~x986 ~x4270 ~x2635 ~x5395 ~x3845 ~x2198 
5.37/5.41	v ~x530 ~x988 ~x4273 ~x2637 ~x5397 ~x3847 ~x2199 ~x532 ~x990 ~x4275 
5.37/5.41	v ~x2639 ~x5398 ~x3849 ~x2201 ~x534 ~x992 ~x4277 ~x2641 ~x5399 ~x3851 
5.37/5.41	v ~x2203 ~x536 ~x994 ~x4279 ~x2643 ~x5401 ~x3853 ~x2205 ~x538 ~x996 
5.37/5.41	v ~x4281 ~x2645 ~x5403 ~x3855 ~x2207 ~x540 ~x999 ~x4283 ~x46 ~x5405 
5.37/5.41	v ~x3857 ~x2209 ~x542 ~x1001 ~x4285 ~x2648 ~x5407 ~x3859 ~x2211 ~x544 
5.37/5.41	v ~x1003 ~x4287 ~x2650 ~x5409 ~x3861 ~x2213 ~x546 ~x1005 ~x4289 ~x47 
5.37/5.41	v ~x5411 ~x3863 ~x2215 ~x548 ~x1007 ~x4291 ~x2652 ~x5413 ~x3865 ~x2217 
5.37/5.41	v ~x550 ~x1009 ~x4293 ~x2654 ~x5415 ~x3867 ~x2219 ~x552 ~x7 ~x4295 
5.37/5.41	v ~x2656 ~x5417 ~x3869 ~x2221 ~x554 ~x1011 ~x4297 ~x2658 x5418 ~x3871 
5.37/5.41	v ~x2223 ~x556 ~x1013 ~x4299 ~x2660 ~x5420 ~x3873 ~x2225 ~x558 ~x1015 
5.37/5.41	v ~x4301 ~x2662 ~x5422 ~x3875 ~x2227 ~x560 ~x1017 ~x4303 ~x2664 ~x5424 
5.37/5.41	v ~x3877 ~x2229 ~x562 ~x1019 ~x4306 ~x2666 ~x5426 ~x3879 ~x2231 ~x564 
5.37/5.41	v ~x1021 ~x4308 ~x2668 ~x5427 ~x3881 ~x2233 ~x566 ~x1023 ~x4310 ~x2671 
5.37/5.41	v ~x5429 ~x3883 ~x2235 ~x568 ~x1025 ~x4312 ~x2673 ~x5430 ~x3885 ~x2237 
5.37/5.41	v ~x570 ~x1027 ~x4314 ~x2675 ~x5432 ~x3887 ~x2239 ~x571 ~x1029 ~x100 
5.37/5.41	v ~x2677 ~x5434 ~x3889 ~x2241 ~x573 ~x1031 ~x4317 ~x2679 ~x5435 ~x3891 
5.37/5.41	v ~x2243 ~x575 ~x1033 ~x4319 ~x2681 ~x5437 ~x3893 ~x2245 ~x577 ~x1035 
5.37/5.41	v ~x4321 ~x2683 ~x5438 ~x3895 ~x2247 ~x579 ~x1037 ~x4323 ~x2685 ~x5440 
5.37/5.41	v ~x3897 ~x2249 ~x581 ~x1039 ~x4325 ~x2687 ~x5442 ~x3899 ~x2251 ~x583 
5.37/5.41	v ~x8 ~x4328 ~x2689 ~x5444 ~x3901 ~x2253 ~x585 ~x1041 ~x4330 ~x2691 
5.37/5.41	v ~x5445 ~x3902 ~x2254 ~x587 ~x1043 ~x4332 ~x2693 ~x5446 ~x3904 ~x2256 
5.37/5.41	v ~x589 ~x1045 ~x4334 ~x2695 ~x5448 ~x3906 ~x2258 ~x591 ~x1047 ~x4336 
5.37/5.41	v ~x2697 ~x5450 ~x3908 ~x2260 ~x593 ~x1049 ~x4338 ~x2699 ~x5452 ~x3910 
5.37/5.41	v ~x2262 ~x595 ~x1051 ~x4340 ~x2701 ~x5454 ~x3912 ~x2264 ~x597 ~x1053 
5.37/5.41	v ~x4342 ~x2703 ~x5456 ~x3914 ~x2265 ~x599 ~x1055 ~x101 ~x2705 ~x5458 
5.37/5.41	v ~x3916 ~x2267 ~x601 ~x1057 ~x4346 ~x2707 ~x5459 ~x3918 ~x2269 ~x603 
5.37/5.41	v ~x1059 ~x4348 ~x2709 ~x5460 ~x3919 ~x2271 ~x605 ~x1061 ~x4350 ~x2711 
5.37/5.41	v ~x5462 ~x3921 ~x2273 ~x607 ~x1063 ~x4352 ~x48 ~x5464 ~x3923 ~x2275 
5.37/5.41	v ~x609 ~x1065 ~x4355 ~x2713 ~x5466 ~x3925 ~x2277 ~x611 ~x1067 ~x4357 
5.37/5.41	v ~x2715 ~x5467 ~x3927 ~x2279 ~x613 ~x1069 ~x4359 ~x2717 ~x5469 ~x3929 
5.37/5.41	v ~x2281 ~x615 ~x1071 ~x4361 ~x2719 ~x5471 ~x3931 ~x2283 ~x617 ~x1073 
5.37/5.41	v ~x4363 ~x2721 x5472 ~x3933 ~x2285 ~x619 ~x1075 ~x4365 ~x2723 ~x5474 
5.37/5.41	v ~x3935 ~x2287 ~x621 ~x1077 ~x4367 ~x2725 ~x5476 ~x3937 ~x2289 ~x623 
5.37/5.41	v ~x1079 ~x4369 ~x2727 ~x5478 ~x3939 ~x2291 ~x625 ~x1081 ~x102 ~x2729 
5.37/5.41	v ~x5479 ~x3941 ~x2293 ~x627 ~x1083 ~x4372 ~x2731 ~x5480 ~x3943 ~x2295 
5.37/5.41	v ~x629 ~x1085 ~x4374 ~x2733 ~x5482 ~x3945 ~x2297 ~x631 ~x1087 ~x4376 
5.37/5.41	v ~x2735 ~x5484 ~x3947 ~x2299 ~x633 ~x1089 ~x4378 ~x2737 ~x5485 ~x3948 
5.37/5.41	v ~x2301 ~x635 ~x1091 ~x4381 ~x2739 ~x5487 ~x3950 ~x2303 ~x637 ~x1093 
5.37/5.41	v ~x4383 ~x2741 ~x5489 ~x3952 ~x2305 ~x639 ~x1095 ~x103 ~x49 ~x5491 
5.37/5.41	v ~x3954 x2306 ~x641 ~x1097 ~x4386 ~x2743 ~x5492 ~x3956 ~x2308 ~x643 
5.37/5.41	v ~x1099 ~x4388 ~x2745 ~x5494 ~x3958 ~x2310 ~x645 ~x1101 ~x4390 ~x2747 
5.37/5.41	v ~x5495 ~x3960 ~x2312 ~x647 ~x1103 ~x4392 ~x2749 ~x5497 ~x3962 ~x2314 
5.37/5.41	v ~x649 ~x1105 ~x4394 ~x2751 ~x5499 ~x3963 ~x2316 ~x651 ~x1107 ~x4397 
5.37/5.41	v ~x2753 ~x5501 ~x3964 ~x2318 ~x653 ~x1109 ~x4399 ~x2755 ~x5503 ~x3966 
5.37/5.41	v ~x2320 ~x655 ~x1111 ~x4401 ~x2757 ~x5505 ~x3968 ~x2322 ~x657 ~x1113 
5.37/5.41	v ~x4403 ~x2759 ~x5506 ~x3970 ~x2324 ~x659 ~x1115 ~x4405 ~x2761 ~x5508 
5.37/5.41	v ~x3972 ~x2326 ~x661 ~x1117 ~x4407 ~x2763 ~x5510 ~x3974 ~x2328 ~x663 
5.37/5.41	v ~x1119 ~x4409 ~x2765 ~x5511 ~x3976 ~x2330 ~x665 ~x1121 ~x4411 ~x2767 
5.37/5.41	v ~x5512 ~x3978 ~x2332 ~x667 ~x1123 ~x104 ~x2769 ~x5514 ~x3980 ~x2334 
5.37/5.41	v ~x669 ~x1125 ~x4414 ~x2771 ~x5515 ~x3982 ~x2336 ~x671 ~x1127 ~x4416 
5.37/5.41	v ~x50 ~x5517 ~x3984 ~x2337 ~x673 ~x1129 ~x4418 ~x2773 ~x5519 ~x3985 
5.37/5.41	v ~x2339 ~x675 ~x1131 ~x4420 ~x2775 ~x5520 ~x3987 ~x2341 ~x677 ~x1133 
5.37/5.41	v ~x105 ~x2777 ~x5522 ~x3989 ~x2343 ~x679 ~x1135 ~x4424 ~x2779 ~x5524 
5.37/5.41	v ~x3991 ~x2345 ~x681 ~x1137 ~x4426 ~x2781 ~x5525 ~x3993 ~x2347 ~x683 
5.37/5.41	v ~x1139 ~x4428 ~x2783 ~x5526 ~x3995 ~x2349 ~x685 ~x1141 ~x4430 ~x2785 
5.37/5.41	v ~x5528 ~x3997 ~x2351 ~x687 ~x1143 ~x4434 ~x51 ~x5530 ~x3999 ~x2353 
5.37/5.41	v ~x689 ~x1145 ~x106 ~x2787 ~x5532 ~x4001 ~x2355 ~x691 ~x1147 ~x4437 
5.37/5.41	v ~x2789 ~x5533 ~x4003 ~x2357 ~x693 ~x1149 ~x4439 ~x2791 ~x5535 ~x4005 
5.37/5.41	v ~x2359 ~x695 ~x1151 ~x107 ~x2793 ~x5536 ~x4007 ~x2361 ~x697 ~x1153 
5.37/5.41	v ~x4442 ~x2795 ~x5538 ~x4009 ~x2363 ~x699 ~x1155 ~x4444 ~x2797 ~x5539 
5.37/5.41	v ~x4011 ~x2365 ~x701 ~x1157 ~x4446 ~x2799 ~x5540 ~x4013 ~x2367 ~x703 
5.37/5.41	v ~x1159 ~x4448 ~x2801 ~x5541 ~x4015 ~x2369 ~x705 ~x1161 ~x4450 ~x2803 
5.37/5.41	v ~x5543 ~x4017 ~x2371 ~x707 ~x1163 ~x4453 ~x2805 ~x5545 ~x4018 ~x2373 
5.37/5.41	v ~x709 ~x1165 ~x4455 ~x2807 ~x5546 ~x4020 ~x2375 ~x711 ~x9 ~x4457 
5.37/5.41	v ~x2809 ~x5547 ~x4022 ~x2377 ~x713 ~x1167 ~x4459 ~x2811 ~x5549 ~x4024 
5.37/5.42	v ~x2379 ~x715 ~x1169 ~x4461 ~x2813 ~x5551 ~x4026 ~x2381 ~x716 ~x1171 
5.37/5.42	v ~x4463 ~x2815 ~x5552 ~x4028 ~x2383 ~x718 ~x1173 ~x4465 ~x52 ~x5554 
5.37/5.42	v ~x4029 ~x2385 ~x720 ~x1175 ~x4467 ~x2817 ~x5555 ~x4031 ~x2387 ~x722 
5.37/5.42	v ~x1177 ~x108 ~x2819 ~x5557 ~x4033 ~x2389 ~x724 ~x1179 ~x4469 ~x2821 
5.37/5.42	v ~x5559 ~x4035 ~x2391 ~x726 ~x1181 ~x4471 ~x2823 ~x5561 ~x4037 ~x2393 
5.37/5.42	v ~x728 ~x1183 ~x4473 ~x2826 ~x5563 ~x4039 ~x2395 ~x730 ~x1185 ~x4475 
5.37/5.42	v ~x2828 ~x5564 ~x4041 ~x2397 ~x732 ~x1187 ~x4477 ~x53 ~x5566 ~x4043 
5.37/5.42	v ~x2399 ~x734 ~x1189 ~x4479 ~x2830 ~x5567 ~x4045 ~x2401 ~x736 ~x1191 
5.37/5.42	v ~x4481 ~x2832 ~x5569 ~x4046 ~x2403 ~x738 ~x1193 ~x4483 ~x2834 ~x5571 
5.37/5.42	v ~x4048 ~x2404 ~x740 ~x1195 ~x4485 ~x2836 ~x5572 ~x4050 ~x2406 ~x742 
5.37/5.42	v ~x1197 ~x4487 ~x2839 ~x5574 ~x4052 ~x2407 ~x744 ~x1199 ~x4489 ~x2841 
5.37/5.42	v ~x5575 ~x4054 ~x2409 ~x746 ~x1201 ~x4491 ~x54 ~x5577 ~x4056 ~x2411 
5.37/5.42	v ~x748 ~x1203 ~x4493 ~x2843 ~x5578 ~x4057 ~x2413 ~x750 ~x1205 ~x4495 
5.37/5.42	v ~x2845 ~x5579 ~x4059 ~x2415 ~x752 ~x1207 ~x4497 ~x55 ~x5581 ~x4061 
5.37/5.42	v ~x2417 ~x754 ~x1209 ~x109 ~x2847 ~x5583 ~x4063 ~x2419 ~x756 ~x1211 
5.37/5.42	v ~x4499 ~x2849 ~x5584 ~x4064 ~x2421 ~x758 ~x1213 ~x4501 ~x2851 ~x5585 
5.37/5.42	v ~x4066 ~x2423 ~x760 ~x1215 ~x4503 ~x2853 ~x5587 ~x4068 ~x2424 ~x762 
5.37/5.42	v ~x1217 ~x4505 ~x2855 ~x5588 ~x4070 ~x2426 ~x764 ~x1219 ~x4507 ~x2857 
5.37/5.42	v ~x5590 ~x4072 ~x2428 ~x766 ~x1221 ~x4509 ~x2859 ~x5592 ~x4074 ~x2430 
5.37/5.42	v ~x768 ~x1223 ~x4511 ~x2861 ~x5593 ~x4076 ~x2432 ~x770 ~x1225 ~x110 
5.37/5.42	v ~x2864 ~x5595 ~x4078 ~x2434 ~x772 ~x1227 ~x4513 ~x2866 ~x5596 ~x4080 
5.37/5.42	v ~x2436 ~x774 ~x10 ~x4515 ~x2868 ~x5598 ~x4082 ~x2438 ~x776 ~x1229 
5.37/5.42	v ~x4517 ~x2870 ~x5599 ~x4084 ~x2439 ~x778 ~x1231 ~x4519 ~x2872 ~x5600 
5.37/5.42	v ~x4085 ~x2441 ~x780 ~x1233 ~x4521 ~x2874 ~x5602 ~x4087 ~x2443 ~x782 
5.37/5.42	v ~x1235 ~x4524 ~x56 ~x5603 ~x4089 ~x2444 ~x784 ~x1237 ~x111 ~x2877 
5.37/5.42	v ~x5605 ~x4091 ~x2446 ~x786 ~x1239 ~x4527 ~x2879 ~x5607 ~x4093 ~x2448 
5.37/5.42	v ~x788 ~x1241 ~x4529 ~x2881 ~x5608 ~x4095 ~x2450 ~x790 ~x1243 ~x4531 
5.37/5.42	v ~x2883 ~x5610 ~x4097 ~x2452 ~x792 ~x1245 ~x4533 ~x2885 ~x5612 ~x4099 
5.37/5.42	v ~x2454 ~x794 ~x1247 ~x4535 ~x57 ~x5614 ~x4101 ~x2456 ~x796 ~x1249 
5.37/5.42	v ~x4537 ~x2888 ~x5616 ~x4103 ~x2458 ~x798 ~x1251 ~x112 ~x2890 ~x5617 
5.37/5.42	v ~x4105 ~x2460 ~x800 ~x1253 ~x4540 ~x2892 ~x5619 ~x4107 ~x2462 ~x802 
5.37/5.42	v ~x1255 ~x113 ~x2894 x5620 ~x4109 ~x2464 ~x804 ~x1257 ~x4543 ~x2896 
5.37/5.42	v ~x5622 ~x4111 ~x2466 ~x806 ~x1259 ~x4545 ~x2898 ~x5624 ~x4113 ~x2468 
5.37/5.42	v ~x808 ~x1261 ~x4547 ~x58 ~x5625 ~x4115 ~x2470 ~x810 ~x1263 ~x4549 
5.37/5.42	v ~x2901 x5626 ~x4117 ~x2472 ~x812 ~x1265 ~x4551 ~x2903 ~x5627 ~x4119 
5.37/5.42	v ~x2474 ~x814 ~x1267 ~x4554 ~x2905 ~x5629 ~x4120 ~x2476 ~x816 ~x1269 
5.37/5.42	v ~x114 ~x59 ~x5631 ~x4122 ~x2478 ~x818 ~x1271 ~x4556 ~x2907 ~x5633 
5.37/5.42	v ~x4124 ~x2480 ~x820 ~x1273 ~x4559 ~x2909 ~x5635 ~x4126 ~x2482 ~x822 
5.37/5.42	v ~x1275 ~x4561 ~x2912 ~x5637 ~x4128 ~x2484 ~x824 ~x1277 ~x4563 ~x2914 
5.37/5.42	v ~x5639 ~x4130 ~x2486 ~x826 ~x1279 ~x4565 ~x2916 ~x5641 ~x4132 ~x2488 
5.37/5.42	v ~x828 ~x1281 ~x4567 ~x60 ~x5643 ~x4134 ~x2490 ~x830 ~x1283 ~x115 
5.37/5.42	v ~x2919 ~x5645 ~x4136 ~x2492 ~x832 ~x1286 ~x4569 ~x2921 ~x5646 ~x4138 
5.37/5.42	v ~x2494 ~x834 ~x1288 ~x4572 ~x2923 ~x5648 ~x4139 ~x2496 ~x836 ~x11 
5.37/5.42	v ~x116 ~x61 ~x5650 ~x4141 ~x2498 ~x838 ~x1290 ~x4575 ~x2925 ~x5652 
5.37/5.42	v ~x4143 ~x2500 ~x840 ~x1292 ~x4577 ~x62 ~x5654 ~x4145 ~x2502 ~x842 
5.37/5.42	v ~x1294 ~x117 ~x2929 ~x5656 ~x4147 ~x2504 ~x844 ~x1296 ~x4580 ~x63 
5.37/5.42	v ~x5657 ~x4149 ~x2506 ~x846 ~x1299 ~x118 ~x2931 ~x5659 ~x4151 ~x2508 
5.37/5.42	v ~x848 ~x1301 ~x4583 ~x2933 ~x5661 ~x4153 ~x2510 ~x850 ~x1303 ~x4585 
5.37/5.42	v ~x2935 ~x5662 ~x4155 ~x2512 ~x852 ~x1305 ~x4587 ~x2937 ~x5664 ~x4156 
5.37/5.42	v ~x2514 ~x854 ~x1307 ~x4589 ~x2939 ~x5666 ~x4158 ~x2516 ~x856 ~x1309 
5.37/5.42	v ~x4591 ~x2941 ~x5668 ~x4160 ~x2518 ~x858 ~x1311 ~x4593 ~x2943 x5669 
5.37/5.42	v ~x4162 ~x2520 ~x860 ~x1314 ~x4595 ~x2945 ~x5670 ~x4164 ~x2522 ~x862 
5.37/5.42	v ~x1316 ~x4598 ~x2947 ~x5672 ~x4166 ~x2524 ~x864 ~x12 ~x4600 ~x2949 
5.37/5.42	v ~x5674 ~x4168 ~x2526 ~x866 ~x1318 ~x4602 ~x2951 ~x5676 ~x4170 ~x2528 
5.37/5.42	v ~x868 ~x1320 ~x4604 ~x2953 ~x5677 ~x4172 ~x2530 ~x870 ~x1322 ~x4606 
5.37/5.42	v ~x2955 ~x5679 ~x4174 ~x2532 ~x872 ~x1324 ~x4608 ~x2957 ~x5681 ~x4175 
5.37/5.42	v ~x2534 ~x874 ~x1326 ~x4610 ~x2959 ~x5682 ~x4177 ~x2536 ~x876 ~x1328 
5.37/5.42	v ~x4612 ~x2961 ~x5684 ~x4179 ~x2538 ~x878 ~x1330 ~x4614 ~x2963 ~x5686 
5.37/5.42	v ~x4181 ~x2540 ~x880 ~x1332 ~x4616 ~x2965 ~x5688 ~x4183 ~x2542 ~x882 
5.37/5.42	v ~x1334 ~x4618 ~x2967 ~x5690 ~x4185 ~x2544 ~x884 ~x1336 ~x4620 ~x2969 
5.37/5.42	v ~x5692 ~x4187 ~x2546 ~x886 ~x1338 ~x4622 ~x2971 ~x5694 ~x4189 ~x2548 
5.37/5.42	v ~x888 ~x1340 ~x4624 ~x2973 ~x5696 ~x4190 ~x2550 ~x890 ~x1342 ~x4626 
5.37/5.42	v ~x2975 ~x5698 ~x4192 ~x2552 ~x892 ~x1344 ~x4628 ~x2977 ~x5699 ~x4193 
5.37/5.42	v ~x2554 ~x894 ~x1346 ~x4630 ~x2979 ~x5700 ~x4195 ~x2556 ~x896 ~x1348 
5.37/5.42	v ~x4632 ~x2981 ~x5702 ~x4197 ~x2558 ~x898 ~x1350 ~x4635 ~x2983 ~x5704 
5.37/5.42	v ~x4199 ~x2560 ~x900 ~x1352 ~x4637 ~x2985 ~x5706 ~x4201 ~x2562 ~x902 
5.37/5.42	v ~x1354 ~x4639 ~x2987 ~x5708 ~x4203 ~x2564 ~x904 ~x1356 ~x4641 ~x2989 
5.37/5.42	v ~x5710 ~x4205 ~x2565 ~x906 ~x1358 ~x4643 ~x2991 ~x5711 ~x4207 ~x2567 
5.37/5.42	v ~x908 ~x1360 ~x119 ~x2993 ~x5713 ~x4209 ~x2569 ~x909 ~x1362 ~x4645 
5.37/5.42	v ~x2995 ~x5714 ~x4211 ~x2571 ~x911 ~x1364 ~x4647 ~x2997 ~x5716 ~x4213 
5.37/5.42	v ~x2573 ~x913 ~x1366 ~x4649 ~x2999 ~x5718 ~x4215 ~x2575 ~x915 ~x1368 
5.37/5.42	v ~x4652 ~x3001 ~x5719 ~x4217 ~x2577 ~x917 ~x1370 ~x4654 ~x3003 x5720 
5.37/5.42	v ~x4219 ~x2579 ~x919 ~x1372 ~x4657 ~x3005 ~x5722 ~x4221 ~x2581 ~x921 
5.37/5.42	v ~x1374 ~x4659 ~x3007 ~x5723 ~x4223 ~x2583 ~x923 ~x1377 ~x4661 ~x3009 
5.37/5.42	v ~x5725 ~x4224 ~x2584 ~x925 ~x13 ~x4663 ~x3011 ~x5727 ~x4226 ~x2586 
5.37/5.42	v ~x927 ~x1379 ~x4666 ~x3013 ~x5728 ~x4227 ~x2588 ~x929 ~x1381 ~x4668 
5.37/5.42	v ~x3015 ~x5729 ~x4229 ~x2589 ~x931 ~x1383 ~x4670 ~x3017 ~x5730 ~x4231 
5.37/5.42	v ~x2591 ~x933 ~x1385 ~x120 ~x3019 ~x5732 ~x4233 ~x2593 ~x935 ~x1388 
5.37/5.42	v ~x4673 ~x3021 ~x5733 ~x4235 ~x2595 ~x937 ~x1390 ~x4675 ~x3023 ~x5735 
5.37/5.42	v ~x4237 ~x2597 ~x939 ~x1392 ~x4677 ~x3025 ~x5737 ~x4239 ~x2598 ~x941 
5.37/5.42	v ~x1394 ~x4679 ~x3027 ~x5738 ~x4241 ~x2600 ~x943 ~x1396 ~x4681 ~x3029 
5.37/5.42	v ~x5740 ~x4243 ~x2602 ~x945 ~x1398 ~x4684 ~x3031 ~x5742 ~x4245 ~x2604 
5.37/5.42	v ~x947 ~x1400 ~x4686 ~x3033 ~x5744 ~x4247 ~x2606 ~x949 ~x1402 ~x4688 
5.37/5.42	v ~x3035 ~x5745 ~x4249 ~x2608 ~x951 ~x1404 ~x4690 ~x3038 ~x5746 ~x4250 
5.37/5.42	v ~x2610 ~x953 ~x14 ~x4692 ~x3040 ~x5748 ~x4252 ~x2612 ~x955 ~x1407 
5.37/5.42	v ~x4694 ~x3042 ~x5750 ~x4253 ~x2614 ~x957 ~x1409 ~x4696 ~x3044 ~x5752 
5.37/5.42	v ~x4255 ~x2616 ~x959 ~x1411 ~x4698 ~x3046 ~x5753 ~x4257 ~x2618 ~x961 
5.37/5.42	v ~x1413 ~x121 ~x3048 ~x5755 ~x4259 ~x2620 ~x963 ~x1415 ~x4700 ~x3050 
5.37/5.42	v ~x5756 ~x4261 ~x2622 ~x965 ~x1417 ~x4702 ~x3052 ~x5758 ~x4263 ~x2624 
5.37/5.42	v ~x967 ~x1419 ~x4705 ~x3054 ~x5759 ~x4265 ~x2626 ~x969 ~x1421 ~x4707 
5.37/5.42	v ~x64 ~x5761 ~x4267 ~x2628 ~x971 ~x1423 ~x4709 ~x3056 ~x5762 ~x4269 
5.37/5.42	v ~x2629 ~x973 ~x1425 ~x4711 ~x3058 ~x5764 ~x4271 ~x2631 ~x975 ~x1427 
5.37/5.42	v ~x122 ~x3060 ~x5766 ~x4272 ~x2632 ~x977 ~x1429 ~x4713 ~x3062 ~x5767 
5.37/5.42	v ~x4274 ~x2634 ~x979 ~x1431 ~x4715 ~x3064 ~x5768 ~x4276 ~x2636 ~x981 
5.37/5.42	v ~x1433 ~x4717 ~x3066 ~x5769 ~x4278 ~x2638 ~x983 ~x1435 ~x4719 ~x3068 
5.37/5.42	v ~x5770 ~x4280 ~x2640 ~x985 ~x15 ~x4721 ~x3070 ~x5771 ~x4282 ~x2642 
5.37/5.42	v ~x987 ~x1437 ~x4723 ~x3072 ~x5773 ~x4284 ~x2644 ~x989 ~x1439 ~x4725 
5.37/5.42	v ~x3074 ~x5775 ~x4286 ~x2646 ~x991 ~x1441 ~x4727 ~x3076 ~x5776 ~x4288 
5.37/5.42	v ~x2647 ~x993 ~x1443 ~x4729 ~x3078 ~x5777 ~x4290 ~x2649 ~x995 ~x1445 
5.37/5.42	v ~x4731 ~x3080 x5778 ~x4292 ~x2651 ~x997 ~x16 ~x4733 ~x3082 ~x5780 
5.37/5.42	v ~x4294 ~x2653 ~x998 ~x1449 ~x4735 ~x3084 ~x5782 ~x4296 ~x2655 ~x1000 
5.37/5.42	v ~x1451 ~x4737 ~x3086 ~x5783 ~x4298 ~x2657 ~x1002 ~x1453 ~x4739 ~x3088 
5.37/5.42	v ~x5785 ~x4300 ~x2659 ~x1004 ~x1455 ~x4741 ~x3090 ~x5786 ~x4302 ~x2661 
5.37/5.42	v ~x1006 ~x1457 ~x4745 ~x3092 ~x5787 ~x4304 ~x2663 ~x1008 ~x1459 ~x4747 
5.37/5.42	v ~x3094 ~x5788 ~x4305 ~x2665 ~x1010 ~x1461 ~x4749 ~x3096 x5789 ~x4307 
5.37/5.42	v ~x2667 ~x1012 ~x1463 ~x4751 ~x3098 ~x5790 ~x4309 ~x2669 ~x1014 ~x1465 
5.37/5.42	v ~x4753 ~x3100 ~x5792 ~x4311 ~x2670 ~x1016 ~x1467 ~x4755 ~x3102 ~x5793 
5.37/5.42	v ~x4313 ~x2672 ~x1018 ~x1469 ~x4758 ~x3104 ~x5795 ~x4315 ~x2674 ~x1020 
5.37/5.42	v ~x1471 ~x4760 ~x3106 ~x5797 ~x4316 ~x2676 ~x1022 ~x1473 ~x4762 ~x3108 
5.37/5.42	v ~x5798 ~x4318 ~x2678 ~x1024 ~x1475 ~x4764 ~x3110 ~x5800 ~x4320 ~x2680 
5.37/5.42	v ~x1026 ~x1477 ~x4766 ~x3112 ~x5801 ~x4322 ~x2682 ~x1028 ~x1479 ~x4768 
5.37/5.42	v ~x3114 ~x5803 ~x4324 ~x2684 ~x1030 ~x1481 ~x4770 ~x3116 ~x5805 ~x4326 
5.37/5.42	v ~x2686 ~x1032 ~x1483 ~x123 ~x65 x5806 ~x4327 ~x2688 ~x1034 ~x1485 
5.37/5.42	v ~x4772 ~x3118 ~x5807 ~x4329 ~x2690 ~x1036 ~x1487 ~x4774 ~x3120 ~x5809 
5.37/5.42	v ~x4331 ~x2692 ~x1038 ~x1489 ~x4776 ~x3122 ~x5811 ~x4333 ~x2694 ~x1040 
5.37/5.42	v ~x1491 ~x4778 ~x3124 ~x5812 ~x4335 ~x2696 ~x1042 ~x1493 ~x4781 ~x3126 
5.37/5.42	v x5813 ~x4337 ~x2698 ~x1044 ~x1495 ~x4783 ~x3128 ~x5815 ~x4339 ~x2700 
5.37/5.42	v ~x1046 ~x1497 ~x4785 ~x3130 ~x5817 ~x4341 ~x2702 ~x1048 ~x1499 ~x4787 
5.37/5.42	v ~x3132 ~x5818 ~x4343 ~x2704 ~x1050 ~x1501 ~x4789 ~x3134 ~x5820 ~x4344 
5.37/5.42	v ~x2706 ~x1052 ~x1503 ~x4791 ~x3137 ~x5822 ~x4345 ~x2708 ~x1054 ~x1505 
5.37/5.42	v ~x4793 ~x3139 ~x5823 ~x4347 ~x2710 ~x1056 ~x1507 ~x4795 ~x3141 ~x5824 
5.37/5.42	v ~x4349 ~x2712 ~x1058 ~x1509 ~x4797 ~x3143 ~x5825 ~x4351 ~x2714 ~x1060 
5.37/5.42	v ~x1511 ~x4799 ~x3145 ~x5827 ~x4353 ~x2716 ~x1062 ~x1513 ~x124 ~x3147 
5.37/5.42	v ~x5829 ~x4354 ~x2718 ~x1064 ~x1515 ~x4802 ~x3149 ~x5831 ~x4356 ~x2720 
5.37/5.42	v ~x1066 ~x1517 ~x4804 ~x3151 ~x5832 ~x4358 ~x2722 ~x1068 ~x1519 ~x4806 
5.37/5.42	v ~x3153 ~x5833 ~x4360 ~x2724 ~x1070 ~x1521 ~x4808 ~x3155 ~x5835 ~x4362 
5.37/5.42	v ~x2726 ~x1072 ~x1523 ~x4810 ~x3157 ~x5836 ~x4364 ~x2728 ~x1074 ~x1525 
5.37/5.42	v ~x4812 ~x3159 ~x5837 ~x4366 ~x2730 ~x1076 ~x1527 ~x4814 ~x3161 ~x5838 
5.37/5.42	v ~x4368 ~x2732 ~x1078 ~x1529 ~x4816 ~x3163 ~x5840 ~x4370 ~x2734 ~x1080 
5.37/5.42	v ~x1531 ~x4818 ~x3165 ~x5841 ~x4371 ~x2736 ~x1082 ~x1533 ~x4820 ~x3167 
5.37/5.42	v ~x5843 ~x4373 ~x2738 ~x1084 ~x1535 ~x4822 ~x3169 ~x5844 ~x4375 ~x2740 
5.37/5.42	v ~x1086 ~x1537 ~x4824 ~x3171 ~x5845 ~x4377 ~x2742 ~x1088 ~x1539 ~x4826 
5.37/5.42	v ~x3173 ~x5847 ~x4379 ~x2744 ~x1090 ~x1541 ~x4828 ~x3175 ~x5849 ~x4380 
5.37/5.42	v ~x2746 ~x1092 ~x1543 ~x125 ~x3177 ~x5850 ~x4382 ~x2748 ~x1094 ~x1545 
5.37/5.42	v ~x4830 ~x66 ~x5851 ~x4384 ~x2750 ~x1096 ~x1547 ~x4832 ~x3180 ~x5852 
5.37/5.42	v ~x4385 ~x2752 ~x1098 ~x1549 ~x4835 ~x3182 x5853 ~x4387 ~x2754 ~x1100 
5.37/5.42	v ~x1551 ~x4837 ~x3184 ~x5854 ~x4389 ~x2756 ~x1102 ~x1553 ~x4840 ~x3186 
5.37/5.42	v ~x5855 ~x4391 ~x2758 ~x1104 ~x1555 ~x126 ~x3188 ~x5856 ~x4393 ~x2760 
5.37/5.42	v ~x1106 ~x1557 ~x4842 ~x3190 ~x5858 ~x4395 ~x2762 ~x1108 ~x1559 ~x4844 
5.37/5.42	v ~x3192 ~x5860 ~x4396 ~x2764 ~x1110 ~x1561 ~x4846 ~x3194 ~x5862 ~x4398 
5.37/5.42	v ~x2766 ~x1112 ~x1563 ~x4848 ~x3196 ~x5863 ~x4400 ~x2768 ~x1114 ~x1565 
5.37/5.42	v ~x4850 ~x3198 ~x5865 ~x4402 ~x2770 ~x1116 ~x1567 ~x4852 ~x3200 ~x5866 
5.37/5.42	v ~x4404 ~x2772 ~x1118 ~x1569 ~x4854 ~x3203 ~x5868 ~x4406 ~x2774 ~x1120 
5.37/5.42	v ~x1571 ~x4857 ~x3205 ~x5869 ~x4408 ~x2776 ~x1122 ~x1573 ~x4859 ~x67 
5.37/5.42	v ~x5870 ~x4410 ~x2778 ~x1124 ~x17 ~x4861 ~x3207 ~x5872 ~x4412 ~x2780 
5.37/5.42	v ~x1126 ~x1575 ~x4863 ~x3209 ~x5874 ~x4413 ~x2782 ~x1128 ~x1577 ~x4865 
5.37/5.42	v ~x3211 ~x5876 ~x4415 ~x2784 ~x1130 ~x1579 ~x4867 ~x3213 ~x5878 ~x4417 
5.37/5.42	v ~x2786 ~x1132 ~x1581 ~x4869 ~x3215 ~x5879 ~x4419 ~x2788 ~x1134 ~x1583 
5.37/5.42	v ~x127 ~x3217 ~x5880 ~x4421 ~x2790 ~x1136 ~x1585 ~x4871 ~x3219 ~x5881 
5.37/5.42	v ~x4422 ~x2792 ~x1138 ~x1587 ~x4873 ~x3221 ~x5882 ~x4423 ~x2794 ~x1140 
5.37/5.42	v ~x1589 ~x4875 ~x3223 ~x5884 ~x4425 ~x2796 ~x1142 ~x1591 ~x4878 ~x3225 
5.37/5.42	v ~x5886 ~x4427 ~x2798 ~x1144 ~x1593 ~x4880 ~x3227 x5887 ~x4429 ~x2800 
5.37/5.42	v ~x1146 ~x1595 ~x4882 ~x3229 ~x5888 ~x4431 ~x2802 ~x1148 ~x1597 ~x128 
5.37/5.42	v ~x3231 ~x5889 ~x4432 ~x2804 ~x1150 ~x1599 ~x4884 ~x3233 ~x5891 ~x4433 
5.37/5.42	v ~x2806 ~x1152 ~x1601 ~x4886 ~x3235 ~x5893 ~x4435 ~x2808 ~x1154 ~x1603 
5.37/5.42	v ~x4888 ~x3237 ~x5895 ~x4436 ~x2810 ~x1156 ~x1605 ~x4891 ~x3239 ~x5897 
5.37/5.42	v ~x4438 ~x2812 ~x1158 ~x1607 ~x4893 ~x3242 ~x5899 ~x4440 ~x2814 ~x1160 
5.37/5.42	v ~x1609 ~x4895 ~x3244 ~x5900 ~x4441 ~x2816 ~x1162 ~x1611 ~x129 ~x3246 
5.37/5.42	v ~x5901 ~x4443 ~x2818 ~x1164 ~x1613 ~x4897 ~x3248 ~x5902 ~x4445 ~x2820 
5.37/5.42	v ~x1166 ~x1615 ~x4900 ~x3250 ~x5903 ~x4447 ~x2822 ~x1168 ~x1617 ~x4902 
5.37/5.42	v ~x3252 ~x5904 ~x4449 ~x2824 ~x1170 ~x1619 ~x4904 ~x3254 ~x5905 ~x4451 
5.37/5.42	v ~x2825 ~x1172 ~x1621 ~x4907 ~x3256 ~x5907 ~x4452 ~x2827 ~x1174 ~x1623 
5.37/5.42	v ~x4909 ~x3258 ~x5909 ~x4454 ~x2829 ~x1176 ~x1625 ~x4911 ~x3260 ~x5911 
5.37/5.42	v ~x4456 ~x2831 ~x1178 ~x1627 ~x4913 ~x3262 ~x5912 ~x4458 ~x2833 ~x1180 
5.37/5.42	v ~x1629 ~x4915 ~x3264 ~x5913 ~x4460 ~x2835 ~x1182 ~x1632 ~x4917 ~x3266 
5.37/5.42	v ~x5914 ~x4462 ~x2837 ~x1184 ~x1634 ~x4920 ~x68 ~x5915 ~x4464 ~x2838 
5.37/5.42	v ~x1186 ~x18 ~x4923 ~x3268 ~x5916 ~x4466 ~x2840 ~x1188 ~x1636 ~x4925 
5.37/5.42	v ~x3270 ~x5918 ~x4468 ~x2842 ~x1190 ~x1638 ~x4927 ~x3272 ~x5920 ~x4470 
5.37/5.42	v ~x2844 ~x1192 ~x1640 ~x130 ~x3274 ~x5921 ~x4472 ~x2846 ~x1194 ~x1642 
5.37/5.42	v ~x4930 ~x3277 ~x5922 ~x4474 ~x2848 ~x1196 ~x1644 ~x4932 ~x3279 ~x5923 
5.37/5.42	v ~x4476 ~x2850 ~x1198 ~x1646 ~x4935 ~x3281 ~x5925 ~x4478 ~x2852 ~x1200 
5.37/5.42	v ~x1648 ~x4938 ~x3283 ~x5926 ~x4480 ~x2854 ~x1202 ~x1650 ~x131 ~x3285 
5.37/5.42	v ~x5928 ~x4482 ~x2856 ~x1204 ~x1652 ~x4942 ~x3287 ~x5929 ~x4484 ~x2858 
5.37/5.42	v ~x1206 ~x1654 ~x4944 ~x3289 ~x5930 ~x4486 ~x2860 ~x1208 ~x1656 ~x4946 
5.37/5.42	v ~x3291 x5931 ~x4488 ~x2862 ~x1210 ~x1658 ~x4948 ~x3293 ~x5932 ~x4490 
5.37/5.42	v ~x2863 ~x1212 ~x1660 ~x4950 ~x3295 ~x5933 ~x4492 ~x2865 ~x1214 ~x1662 
5.37/5.42	v ~x132 ~x69 ~x5934 ~x4494 ~x2867 ~x1216 ~x1664 ~x4952 ~x3297 ~x5935 
5.37/5.42	v ~x4496 ~x2869 ~x1218 ~x1666 ~x4955 ~x3299 ~x5936 ~x4498 ~x2871 ~x1220 
5.37/5.42	v ~x1668 ~x133 ~x3301 ~x5937 ~x4500 ~x2873 ~x1222 ~x1670 ~x4957 ~x3303 
5.37/5.42	v ~x5938 ~x4502 ~x2875 ~x1224 ~x1672 ~x4960 ~x3305 ~x5939 ~x4504 ~x2876 
5.37/5.42	v ~x1226 ~x1674 ~x4962 ~x3307 ~x5940 ~x4506 ~x2878 ~x1228 ~x1676 ~x4964 
5.37/5.42	v ~x3309 ~x5941 ~x4508 ~x2880 ~x1230 ~x1678 ~x4966 ~x3311 ~x5943 ~x4510 
5.37/5.42	v ~x2882 ~x1232 ~x1680 ~x4968 ~x3313 ~x5945 ~x4512 ~x2884 ~x1234 ~x1682 
5.37/5.42	v ~x4971 ~x3315 ~x5946 ~x4514 ~x2886 ~x1236 ~x1684 ~x4973 ~x3317 ~x5947 
5.37/5.42	v ~x4516 ~x2887 ~x1238 ~x1686 ~x4975 ~x3320 ~x5948 ~x4518 ~x2889 ~x1240 
5.37/5.42	v ~x1688 ~x4977 ~x3322 ~x5949 ~x4520 ~x2891 ~x1242 ~x1690 ~x4979 ~x3324 
5.37/5.42	v ~x5951 ~x4522 ~x2893 ~x1244 ~x1692 ~x4982 ~x70 ~x5952 ~x4523 ~x2895 
5.37/5.42	v ~x1246 ~x1694 ~x4984 ~x3326 ~x5953 ~x4525 ~x2897 ~x1248 ~x1696 ~x4986 
5.37/5.42	v ~x3328 ~x5954 ~x4526 ~x2899 ~x1250 ~x19 ~x4988 ~x3330 x5955 ~x4528 
5.37/5.42	v ~x2900 ~x1252 ~x1698 ~x4990 ~x3332 ~x5956 ~x4530 ~x2902 ~x1254 ~x1700 
5.37/5.42	v ~x4992 ~x3335 ~x5958 ~x4532 ~x2904 ~x1256 ~x1702 ~x4994 ~x3337 ~x5959 
5.37/5.42	v ~x4534 ~x2906 ~x1258 ~x1704 ~x4996 ~x71 ~x5960 ~x4536 ~x2908 ~x1260 
5.37/5.42	v ~x1706 ~x4998 ~x3339 ~x5961 ~x4538 ~x2910 ~x1262 ~x1708 ~x5001 ~x3341 
5.37/5.42	v ~x5962 ~x4539 ~x2911 ~x1264 ~x1710 ~x5003 ~x3343 ~x5963 ~x4541 ~x2913 
5.37/5.42	v ~x1266 ~x1712 ~x5005 ~x3345 x5964 ~x4542 ~x2915 ~x1268 ~x1714 ~x5007 
5.37/5.42	v ~x3347 ~x5965 ~x4544 ~x2917 ~x1270 ~x1716 ~x5010 ~x3349 ~x5967 ~x4546 
5.37/5.42	v ~x2918 ~x1272 ~x1718 ~x5012 ~x3351 x5968 ~x4548 ~x2920 ~x1274 ~x1720 
5.37/5.42	v ~x134 ~x3353 ~x5969 ~x4550 ~x2922 ~x1276 ~x1722 ~x5014 ~x3355 ~x5970 
5.37/5.42	v ~x4552 ~x2924 ~x1278 

OK	35

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: 63665 MiB (52744 MiB free)
  memory of node 1: 64507 MiB (62974 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4528383-1752239768/watcher-4528383-1752239768 -o /tmp/evaluation-result-4528383-1752239768/solver-4528383-1752239768 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1752239220-118129 --watchdog 3760 pb_picat HOME/instance-4528383-1752239768.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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=119111, runsolver pid=119108

[startup+0.100063 s]*
/proc/loadavg: 4.07 3.69 3.26 5/267 119112
/proc/meminfo: memFree=118463736/131250000 swapFree=33008868/33010684
[pid=119111] ppid=119108 vsize=2034964 memory=36292 CPUtime=0.08 cores=0,2
/proc/119111/stat : 119111 (pb_picat) R 119108 119111 116001 0 -1 4194304 1029 0 0 0 8 0 0 0 20 0 1 0 139657087 2083803136 9073 18446744073709551615 94804207882240 94804209283821 140734342754368 0 0 0 0 0 8389634 0 0 0 17 2 0 0 0 0 0 94804209555248 94804211429488 94804231426048 140734342756764 140734342756840 140734342756840 140734342762444 0
/proc/119111/statm: 508741 9073 1600 343 0 505805 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 2034964 KiB
Current children cumulated memory: 36292 KiB

[startup+0.205568 s]*
/proc/loadavg: 4.07 3.69 3.26 5/267 119112
/proc/meminfo: memFree=118461972/131250000 swapFree=33008868/33010684
[pid=119111] ppid=119108 vsize=2045416 memory=53464 CPUtime=0.19 cores=0,2
/proc/119111/stat : 119111 (pb_picat) R 119108 119111 116001 0 -1 4194304 3567 0 0 0 19 0 0 0 20 0 1 0 139657087 2094505984 13366 18446744073709551615 94804207882240 94804209283821 140734342754368 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94804209555248 94804211429488 94804231426048 140734342756764 140734342756840 140734342756840 140734342762444 0
/proc/119111/statm: 511354 13366 1696 343 0 508418 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 2045416 KiB
Current children cumulated memory: 53464 KiB

[startup+0.305507 s]*
/proc/loadavg: 4.07 3.69 3.26 5/267 119112
/proc/meminfo: memFree=118455860/131250000 swapFree=33008868/33010684
[pid=119111] ppid=119108 vsize=2049640 memory=57116 CPUtime=0.29 cores=0,2
/proc/119111/stat : 119111 (pb_picat) R 119108 119111 116001 0 -1 4194304 4742 0 0 0 28 1 0 0 20 0 1 0 139657087 2098831360 14279 18446744073709551615 94804207882240 94804209283821 140734342754368 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94804209555248 94804211429488 94804231426048 140734342756764 140734342756840 140734342756840 140734342762444 0
/proc/119111/statm: 512410 14279 1696 343 0 509474 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 2049640 KiB
Current children cumulated memory: 57116 KiB

[startup+0.700142 s]
/proc/loadavg: 4.07 3.69 3.26 5/267 119112
/proc/meminfo: memFree=118450000/131250000 swapFree=33008868/33010684
[pid=119111] ppid=119108 vsize=2056092 memory=65044 CPUtime=0.68 cores=0,2
/proc/119111/stat : 119111 (pb_picat) R 119108 119111 116001 0 -1 4194304 7466 0 0 0 66 2 0 0 20 0 1 0 139657087 2105438208 16261 18446744073709551615 94804207882240 94804209283821 140734342754368 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94804209555248 94804211429488 94804231426048 140734342756764 140734342756840 140734342756840 140734342762444 0
/proc/119111/statm: 514023 16261 1696 343 0 511087 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2056092 KiB
Current children cumulated memory: 65044 KiB

[startup+1.50015 s]
/proc/loadavg: 4.07 3.69 3.26 5/267 119112
/proc/meminfo: memFree=118447984/131250000 swapFree=33008868/33010684
[pid=119111] ppid=119108 vsize=2056092 memory=62152 CPUtime=1.48 cores=0,2
/proc/119111/stat : 119111 (pb_picat) R 119108 119111 116001 0 -1 4194304 11206 0 0 0 145 3 0 0 20 0 1 0 139657087 2105438208 15538 18446744073709551615 94804207882240 94804209283821 140734342754368 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94804209555248 94804211429488 94804231426048 140734342756764 140734342756840 140734342756840 140734342762444 0
/proc/119111/statm: 514023 15538 1696 343 0 511087 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2056092 KiB
Current children cumulated memory: 62152 KiB

[startup+3.10542 s]
/proc/loadavg: 4.07 3.69 3.26 5/267 119112
/proc/meminfo: memFree=118447996/131250000 swapFree=33008868/33010684
[pid=119111] ppid=119108 vsize=2056092 memory=62668 CPUtime=3.08 cores=0,2
/proc/119111/stat : 119111 (pb_picat) R 119108 119111 116001 0 -1 4194304 18206 0 0 0 303 5 0 0 20 0 1 0 139657087 2105438208 15667 18446744073709551615 94804207882240 94804209283821 140734342754368 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94804209555248 94804211429488 94804231426048 140734342756764 140734342756840 140734342756840 140734342762444 0
/proc/119111/statm: 514023 15667 1696 343 0 511087 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 2056092 KiB
Current children cumulated memory: 62668 KiB

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

# cumulated CPU time of all completed processes:  user=5.32775 s, system=0.072781 s

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

[startup+3.20017 s]
/proc/loadavg: 4.07 3.69 3.26 5/267 119112
/proc/meminfo: memFree=118447996/131250000 swapFree=33008868/33010684
[pid=119111] ppid=119108 vsize=2039324 memory=51900 CPUtime=3.17 cores=0,2
/proc/119111/stat : 119111 (pb_picat) R 119108 119111 116001 0 -1 4194304 18206 0 0 0 312 5 0 0 20 0 1 0 139657087 2088267776 12975 18446744073709551615 94804207882240 94804209283821 140734342754368 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94804209555248 94804211429488 94804231426048 140734342756764 140734342756840 140734342756840 140734342762444 0
/proc/119111/statm: 509831 12975 1696 343 0 506895 0
Current children cumulated CPU time: 3.17 s
Current children cumulated vsize: 2039324 KiB
Current children cumulated memory: 51900 KiB

[startup+4.80013 s]
/proc/loadavg: 4.23 3.73 3.27 5/267 119112
/proc/meminfo: memFree=118454372/131250000 swapFree=33008868/33010684
[pid=119111] ppid=119108 vsize=2056092 memory=61896 CPUtime=4.77 cores=0,2
/proc/119111/stat : 119111 (pb_picat) R 119108 119111 116001 0 -1 4194304 23317 0 0 0 471 6 0 0 20 0 1 0 139657087 2105438208 15474 18446744073709551615 94804207882240 94804209283821 140734342754368 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94804209555248 94804211429488 94804231426048 140734342756764 140734342756840 140734342756840 140734342762444 0
/proc/119111/statm: 514023 15474 1696 343 0 511087 0
Current children cumulated CPU time: 4.77 s
Current children cumulated vsize: 2056092 KiB
Current children cumulated memory: 61896 KiB

[startup+5.20013 s]
/proc/loadavg: 4.23 3.73 3.27 5/267 119112
/proc/meminfo: memFree=118447324/131250000 swapFree=33008868/33010684
[pid=119111] ppid=119108 vsize=2056092 memory=62664 CPUtime=5.17 cores=0,2
/proc/119111/stat : 119111 (pb_picat) R 119108 119111 116001 0 -1 4194304 23548 0 0 0 511 6 0 0 20 0 1 0 139657087 2105438208 15666 18446744073709551615 94804207882240 94804209283821 140734342754368 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94804209555248 94804211429488 94804231426048 140734342756764 140734342756840 140734342756840 140734342762444 0
/proc/119111/statm: 514023 15666 1696 343 0 511087 0
Current children cumulated CPU time: 5.17 s
Current children cumulated vsize: 2056092 KiB
Current children cumulated memory: 62664 KiB

[startup+5.40013 s]
/proc/loadavg: 4.23 3.73 3.27 5/267 119112
/proc/meminfo: memFree=118447324/131250000 swapFree=33008868/33010684
[pid=119111] ppid=119108 vsize=2056092 memory=62792 CPUtime=5.37 cores=0,2
/proc/119111/stat : 119111 (pb_picat) R 119108 119111 116001 0 -1 4194304 23558 0 0 0 531 6 0 0 20 0 1 0 139657087 2105438208 15698 18446744073709551615 94804207882240 94804209283821 140734342754368 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94804209555248 94804211429488 94804231426048 140734342756764 140734342756840 140734342756840 140734342762444 0
/proc/119111/statm: 514023 15698 1696 343 0 511087 0
Current children cumulated CPU time: 5.37 s
Current children cumulated vsize: 2056092 KiB
Current children cumulated memory: 62792 KiB

Child status: 0

Real time (s): 5.42467
CPU time (s): 5.40054
CPU user time (s): 5.32775
CPU system time (s): 0.072781
CPU usage (%): 99.5551
Max. virtual memory (cumulated for all children) (KiB): 2058140
Max. memory (cumulated for all children) (KiB): 65428

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.32775
system time used= 0.072781
maximum resident set size= 65428
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23575
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= 14


# summary of solver processes directly reported to runsolver:
#   pid: 119111
#   total CPU time (s): 5.40054
#   total CPU user time (s): 5.32775
#   total CPU system time (s): 0.072781

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.027002 second user time and 0.055956 second system time

The end

Begin job on nodeC013 at 2025-07-11 15:16:08
IDJOB=4528383
IDBENCH=148160
IDSOLVER=3385
FILE ID=nodeC013/4528383-1752239768
RUNJOBID= nodeC013-1752239220-118129
SLURM_JOB_ID= 9682524
Free space on /tmp= 432240 MiB

SOLVER NAME= pb_picat 2025-07-11
BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/area_opers/normalized-fir05_area_opers.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4528383-1752239768/watcher-4528383-1752239768 -o /tmp/evaluation-result-4528383-1752239768/solver-4528383-1752239768 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1752239220-118129 --watchdog 3760  pb_picat HOME/instance-4528383-1752239768.opb

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

MD5SUM BENCH= d2e5325c083e474671196c2c66be6ed7
RANDOM SEED=916523139

nodeC013 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		: 3599.808
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.67
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.794
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.67
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		: 3598.387
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.67
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		: 3655.772
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.67
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.837
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.67
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.820
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.67
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		: 3579.519
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.67
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		: 3701.594
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.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        118496376 kB
MemAvailable:   129529112 kB
Buffers:            1668 kB
Cached:         11780464 kB
SwapCached:          164 kB
Active:           692828 kB
Inactive:       11338756 kB
Active(anon):     265888 kB
Inactive(anon):     4868 kB
Active(file):     426940 kB
Inactive(file): 11333888 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33008868 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              3888 kB
Writeback:             0 kB
AnonPages:        250624 kB
Mapped:           111828 kB
Shmem:             21304 kB
KReclaimable:     221892 kB
Slab:             315768 kB
SReclaimable:     221892 kB
SUnreclaim:        93876 kB
KernelStack:        4320 kB
PageTables:         3604 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:    6525068 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150616 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:    135168 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:      215764 kB
DirectMap2M:     8992768 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432236 MiB
End job on nodeC013 at 2025-07-11 15:16:14