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

OK	2477

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: 64059 MiB (61786 MiB free)
  memory of node 1: 64510 MiB (62109 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4436437-1721125151/watcher-4436437-1721125151 -o /tmp/evaluation-result-4436437-1721125151/solver-4436437-1721125151 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1721124536-843384 --watchdog 3760 pb_picat HOME/instance-4436437-1721125151.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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

solver pid=843885, runsolver pid=843882

[startup+0.100071 s]*
/proc/loadavg: 4.12 3.94 3.79 5/241 843886
/proc/meminfo: memFree=126838872/131655788 swapFree=131071996/131071996
[pid=843885] ppid=843882 vsize=2033608 memory=37216 CPUtime=0.1 cores=0,2
/proc/843885/stat : 843885 (pb_picat) R 843882 843885 843374 0 -1 4194304 851 0 0 0 10 0 0 0 20 0 1 0 164671244 2082414592 9304 134679101440 4194304 5989780 140723156512096 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 24162304 140723156517913 140723156517989 140723156517989 140723156525004 0
/proc/843885/statm: 508402 9304 1504 439 0 503831 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2033608 KiB
Current children cumulated memory: 37216 KiB

[startup+0.212973 s]*
/proc/loadavg: 4.12 3.94 3.79 5/241 843886
/proc/meminfo: memFree=126826284/131655788 swapFree=131071996/131071996
[pid=843885] ppid=843882 vsize=2041424 memory=47804 CPUtime=0.21 cores=0,2
/proc/843885/stat : 843885 (pb_picat) R 843882 843885 843374 0 -1 4194304 917 0 0 0 21 0 0 0 20 0 1 0 164671244 2090418176 11951 134679101440 4194304 5989780 140723156512096 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 24162304 140723156517913 140723156517989 140723156517989 140723156525004 0
/proc/843885/statm: 510356 11951 1536 439 0 505785 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2041424 KiB
Current children cumulated memory: 47804 KiB

[startup+0.312592 s]*
/proc/loadavg: 4.12 3.94 3.79 5/241 843886
/proc/meminfo: memFree=126813476/131655788 swapFree=131071996/131071996
[pid=843885] ppid=843882 vsize=2051200 memory=61408 CPUtime=0.31 cores=0,2
/proc/843885/stat : 843885 (pb_picat) R 843882 843885 843374 0 -1 4194304 2818 0 0 0 31 0 0 0 20 0 1 0 164671244 2100428800 15352 134679101440 4194304 5989780 140723156512096 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 24162304 140723156517913 140723156517989 140723156517989 140723156525004 0
/proc/843885/statm: 512800 15352 1727 439 0 508229 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2051200 KiB
Current children cumulated memory: 61408 KiB

[startup+0.700278 s]
/proc/loadavg: 4.12 3.94 3.79 5/241 843886
/proc/meminfo: memFree=126807252/131655788 swapFree=131071996/131071996
[pid=843885] ppid=843882 vsize=2056372 memory=68160 CPUtime=0.69 cores=0,2
/proc/843885/stat : 843885 (pb_picat) R 843882 843885 843374 0 -1 4194304 8944 0 0 0 66 3 0 0 20 0 1 0 164671244 2105724928 17040 134679101440 4194304 5989780 140723156512096 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 24162304 140723156517913 140723156517989 140723156517989 140723156525004 0
/proc/843885/statm: 514093 17040 1727 439 0 509522 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2056372 KiB
Current children cumulated memory: 68160 KiB

[startup+1.50031 s]
/proc/loadavg: 4.12 3.94 3.79 5/241 843886
/proc/meminfo: memFree=126793968/131655788 swapFree=131071996/131071996
[pid=843885] ppid=843882 vsize=2060472 memory=71300 CPUtime=1.48 cores=0,2
/proc/843885/stat : 843885 (pb_picat) R 843882 843885 843374 0 -1 4194304 12622 0 0 0 145 3 0 0 20 0 1 0 164671244 2109923328 17825 134679101440 4194304 5989780 140723156512096 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 24162304 140723156517913 140723156517989 140723156517989 140723156525004 0
/proc/843885/statm: 515118 17825 1727 439 0 510547 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2060472 KiB
Current children cumulated memory: 71300 KiB

[startup+3.11249 s]
/proc/loadavg: 4.19 3.96 3.80 5/241 843888
/proc/meminfo: memFree=126808244/131655788 swapFree=131071996/131071996
[pid=843885] ppid=843882 vsize=2053876 memory=66072 CPUtime=3.09 cores=0,2
/proc/843885/stat : 843885 (pb_picat) R 843882 843885 843374 0 -1 4194304 17782 0 0 0 304 5 0 0 20 0 1 0 164671244 2103169024 16518 134679101440 4194304 5989780 140723156512096 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 24162304 140723156517913 140723156517989 140723156517989 140723156525004 0
/proc/843885/statm: 513469 16518 1727 439 0 508898 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 2053876 KiB
Current children cumulated memory: 66072 KiB

[startup+6.3003 s]
/proc/loadavg: 4.19 3.96 3.80 5/241 843888
/proc/meminfo: memFree=126781720/131655788 swapFree=131071996/131071996
[pid=843885] ppid=843882 vsize=2054916 memory=68848 CPUtime=6.27 cores=0,2
/proc/843885/stat : 843885 (pb_picat) R 843882 843885 843374 0 -1 4194304 33316 0 0 0 617 10 0 0 20 0 1 0 164671244 2104233984 17212 134679101440 4194304 5989780 140723156512096 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 24162304 140723156517913 140723156517989 140723156517989 140723156525004 0
/proc/843885/statm: 513729 17212 1727 439 0 509158 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 2054916 KiB
Current children cumulated memory: 68848 KiB

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

# cumulated CPU time of all completed processes:  user=7.31054 s, system=0.129626 s

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

[startup+6.40036 s]
/proc/loadavg: 4.19 3.96 3.80 5/241 843888
/proc/meminfo: memFree=126781720/131655788 swapFree=131071996/131071996
[pid=843885] ppid=843882 vsize=2054916 memory=68848 CPUtime=6.37 cores=0,2
/proc/843885/stat : 843885 (pb_picat) R 843882 843885 843374 0 -1 4194304 33316 0 0 0 627 10 0 0 20 0 1 0 164671244 2104233984 17212 134679101440 4194304 5989780 140723156512096 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 24162304 140723156517913 140723156517989 140723156517989 140723156525004 0
/proc/843885/statm: 513729 17212 1727 439 0 509158 0
Current children cumulated CPU time: 6.37 s
Current children cumulated vsize: 2054916 KiB
Current children cumulated memory: 68848 KiB

[startup+7.20024 s]
/proc/loadavg: 4.17 3.96 3.80 5/241 843888
/proc/meminfo: memFree=126791916/131655788 swapFree=131071996/131071996
[pid=843885] ppid=843882 vsize=2054796 memory=66336 CPUtime=7.17 cores=0,2
/proc/843885/stat : 843885 (pb_picat) R 843882 843885 843374 0 -1 4194304 36904 0 0 0 705 12 0 0 20 0 1 0 164671244 2104111104 16584 134679101440 4194304 5989780 140723156512096 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 24162304 140723156517913 140723156517989 140723156517989 140723156525004 0
/proc/843885/statm: 513699 16584 1727 439 0 509128 0
Current children cumulated CPU time: 7.17 s
Current children cumulated vsize: 2054796 KiB
Current children cumulated memory: 66336 KiB

[startup+7.40022 s]
/proc/loadavg: 4.17 3.96 3.80 5/241 843888
/proc/meminfo: memFree=126791916/131655788 swapFree=131071996/131071996
[pid=843885] ppid=843882 vsize=2054796 memory=66336 CPUtime=7.37 cores=0,2
/proc/843885/stat : 843885 (pb_picat) R 843882 843885 843374 0 -1 4194304 36904 0 0 0 725 12 0 0 20 0 1 0 164671244 2104111104 16584 134679101440 4194304 5989780 140723156512096 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 24162304 140723156517913 140723156517989 140723156517989 140723156525004 0
/proc/843885/statm: 513699 16584 1727 439 0 509128 0
Current children cumulated CPU time: 7.37 s
Current children cumulated vsize: 2054796 KiB
Current children cumulated memory: 66336 KiB

Child status: 0

Real time (s): 7.46354
CPU time (s): 7.44017
CPU user time (s): 7.31054
CPU system time (s): 0.129626
CPU usage (%): 99.6868
Max. virtual memory (cumulated for all children) (KiB): 2060472
Max. memory (cumulated for all children) (KiB): 72884

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


# summary of solver processes directly reported to runsolver:
#   pid: 843885
#   total CPU time (s): 7.44017
#   total CPU user time (s): 7.31054
#   total CPU system time (s): 0.129626

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.06185 second user time and 0.139452 second system time

The end

Begin job on nodeC003 at 2024-07-16 12:19:23
IDJOB=4436437
IDBENCH=151040
IDSOLVER=3068
FILE ID=nodeC003/4436437-1721125151
RUNJOBID= nodeC003-1721124536-843384
SLURM_JOB_ID= 7505676
Free space on /tmp= 723760 MiB

SOLVER NAME= Picat 2024-06-18
BENCH NAME= PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/misc2010/random/rand.smallist/normalized-randa13f2d.cudf.paranoid.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4436437-1721125151/watcher-4436437-1721125151 -o /tmp/evaluation-result-4436437-1721125151/solver-4436437-1721125151 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1721124536-843384 --watchdog 3760  pb_picat HOME/instance-4436437-1721125151.opb

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

MD5SUM BENCH= 7dac54bb1655ef1ab173e9e4dfcd3c39
RANDOM SEED=79522719

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

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3392.163
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.76
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	: 0xb00001f
cpu MHz		: 3655.400
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.30
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	: 0xb00001f
cpu MHz		: 1197.217
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.76
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	: 0xb00001f
cpu MHz		: 1197.372
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.30
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	: 0xb00001f
cpu MHz		: 3646.520
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.76
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	: 0xb00001f
cpu MHz		: 3655.401
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.30
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	: 0xb00001f
cpu MHz		: 1197.429
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.76
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	: 0xb00001f
cpu MHz		: 1197.380
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.30
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        126868888 kB
MemAvailable:   129089268 kB
Buffers:          415268 kB
Cached:          2621752 kB
SwapCached:            0 kB
Active:           709396 kB
Inactive:        3495812 kB
Active(anon):       1468 kB
Inactive(anon):  1204116 kB
Active(file):     707928 kB
Inactive(file):  2291696 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              4368 kB
Writeback:             0 kB
AnonPages:       1162512 kB
Mapped:           114408 kB
Shmem:             37704 kB
KReclaimable:     121572 kB
Slab:             222144 kB
SReclaimable:     121572 kB
SUnreclaim:       100572 kB
KernelStack:        3836 kB
PageTables:        11140 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    7000948 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            52384 kB
HardwareCorrupted:     0 kB
AnonHugePages:    948224 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      254792 kB
DirectMap2M:    22718464 kB
DirectMap1G:    113246208 kB

Free space on /tmp at the end= 723756 MiB
End job on nodeC003 at 2024-07-16 12:19:31