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

OK	15832587875

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

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

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

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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
solver pid=886592, runsolver pid=886589
Current StackSize limit: 8192 KiB


[startup+0.10009 s]*
/proc/loadavg: 4.08 4.08 4.09 5/259 886593
/proc/meminfo: memFree=126568528/131524600 swapFree=131071996/131071996
[pid=886592] ppid=886589 vsize=2033608 memory=37792 CPUtime=0.09 cores=4,6
/proc/886592/stat : 886592 (pb_picat) R 886589 886592 879422 0 -1 4194304 1455 0 0 0 9 0 0 0 20 0 1 0 163670847 2082414592 9448 134679101440 4194304 5989780 140736967430272 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 31924224 140736967435289 140736967435365 140736967435365 140736967442380 0
/proc/886592/statm: 508402 9448 1501 439 0 503831 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2033608 KiB
Current children cumulated memory: 37792 KiB

[startup+0.205457 s]*
/proc/loadavg: 4.08 4.08 4.09 5/259 886593
/proc/meminfo: memFree=126551868/131524600 swapFree=131071996/131071996
[pid=886592] ppid=886589 vsize=2044924 memory=53452 CPUtime=0.2 cores=4,6
/proc/886592/stat : 886592 (pb_picat) R 886589 886592 879422 0 -1 4194304 2148 0 0 0 19 1 0 0 20 0 1 0 163670847 2094002176 13363 134679101440 4194304 5989780 140736967430272 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 31924224 140736967435289 140736967435365 140736967435365 140736967442380 0
/proc/886592/statm: 511231 13363 1720 439 0 506660 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2044924 KiB
Current children cumulated memory: 53452 KiB

[startup+0.30528 s]*
/proc/loadavg: 4.08 4.08 4.09 5/259 886593
/proc/meminfo: memFree=126552644/131524600 swapFree=131071996/131071996
[pid=886592] ppid=886589 vsize=2043136 memory=52248 CPUtime=0.3 cores=4,6
/proc/886592/stat : 886592 (pb_picat) R 886589 886592 879422 0 -1 4194304 3242 0 0 0 28 2 0 0 20 0 1 0 163670847 2092171264 13062 134679101440 4194304 5989780 140736967430272 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 31924224 140736967435289 140736967435365 140736967435365 140736967442380 0
/proc/886592/statm: 510784 13062 1736 439 0 506213 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2043136 KiB
Current children cumulated memory: 52248 KiB

[startup+0.700185 s]
/proc/loadavg: 4.08 4.08 4.09 5/259 886593
/proc/meminfo: memFree=126548612/131524600 swapFree=131071996/131071996
[pid=886592] ppid=886589 vsize=2047656 memory=56800 CPUtime=0.68 cores=4,6
/proc/886592/stat : 886592 (pb_picat) R 886589 886592 879422 0 -1 4194304 4387 0 0 0 64 4 0 0 20 0 1 0 163670847 2096799744 14200 134679101440 4194304 5989780 140736967430272 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 31924224 140736967435289 140736967435365 140736967435365 140736967442380 0
/proc/886592/statm: 511914 14200 1736 439 0 507343 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2047656 KiB
Current children cumulated memory: 56800 KiB

[startup+1.50018 s]
/proc/loadavg: 4.08 4.08 4.09 5/259 886593
/proc/meminfo: memFree=126547620/131524600 swapFree=131071996/131071996
[pid=886592] ppid=886589 vsize=2049800 memory=58444 CPUtime=1.48 cores=4,6
/proc/886592/stat : 886592 (pb_picat) R 886589 886592 879422 0 -1 4194304 4790 0 0 0 141 7 0 0 20 0 1 0 163670847 2098995200 14611 134679101440 4194304 5989780 140736967430272 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 31924224 140736967435289 140736967435365 140736967435365 140736967442380 0
/proc/886592/statm: 512450 14611 1752 439 0 507879 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2049800 KiB
Current children cumulated memory: 58444 KiB

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

# cumulated CPU time of all completed processes:  user=2.33833 s, system=0.113723 s

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

[startup+1.6002 s]
/proc/loadavg: 4.08 4.08 4.09 5/259 886593
/proc/meminfo: memFree=126547620/131524600 swapFree=131071996/131071996
[pid=886592] ppid=886589 vsize=2049800 memory=58444 CPUtime=1.59 cores=4,6
/proc/886592/stat : 886592 (pb_picat) R 886589 886592 879422 0 -1 4194304 4790 0 0 0 151 8 0 0 20 0 1 0 163670847 2098995200 14611 134679101440 4194304 5989780 140736967430272 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 31924224 140736967435289 140736967435365 140736967435365 140736967442380 0
/proc/886592/statm: 512450 14611 1752 439 0 507879 0
Current children cumulated CPU time: 1.59 s
Current children cumulated vsize: 2049800 KiB
Current children cumulated memory: 58444 KiB

[startup+2.00014 s]*
/proc/loadavg: 4.08 4.08 4.09 5/259 886593
/proc/meminfo: memFree=126545884/131524600 swapFree=131071996/131071996
[pid=886592] ppid=886589 vsize=2049800 memory=58444 CPUtime=1.99 cores=4,6
/proc/886592/stat : 886592 (pb_picat) R 886589 886592 879422 0 -1 4194304 4813 0 0 0 190 9 0 0 20 0 1 0 163670847 2098995200 14611 134679101440 4194304 5989780 140736967430272 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 31924224 140736967435289 140736967435365 140736967435365 140736967442380 0
/proc/886592/statm: 512450 14611 1752 439 0 507879 0
Current children cumulated CPU time: 1.99 s
Current children cumulated vsize: 2049800 KiB
Current children cumulated memory: 58444 KiB

[startup+2.40012 s]
/proc/loadavg: 4.08 4.08 4.09 5/259 886593
/proc/meminfo: memFree=126545884/131524600 swapFree=131071996/131071996
[pid=886592] ppid=886589 vsize=2049800 memory=58444 CPUtime=2.38 cores=4,6
/proc/886592/stat : 886592 (pb_picat) R 886589 886592 879422 0 -1 4194304 4827 0 0 0 228 10 0 0 20 0 1 0 163670847 2098995200 14611 134679101440 4194304 5989780 140736967430272 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 31924224 140736967435289 140736967435365 140736967435365 140736967442380 0
/proc/886592/statm: 512450 14611 1752 439 0 507879 0
Current children cumulated CPU time: 2.38 s
Current children cumulated vsize: 2049800 KiB
Current children cumulated memory: 58444 KiB

Child status: 0

Real time (s): 2.45761
CPU time (s): 2.45205
CPU user time (s): 2.33833
CPU system time (s): 0.113723
CPU usage (%): 99.7738
Max. virtual memory (cumulated for all children) (KiB): 2049800
Max. memory (cumulated for all children) (KiB): 58444

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.33833
system time used= 0.113723
maximum resident set size= 58944
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4832
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= 5


# summary of solver processes directly reported to runsolver:
#   pid: 886592
#   total CPU time (s): 2.45205
#   total CPU user time (s): 2.33833
#   total CPU system time (s): 0.113723

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.015819 second user time and 0.047437 second system time

The end

Begin job on nodeC030 at 2024-07-16 09:30:40
IDJOB=4436439
IDBENCH=150866
IDSOLVER=3068
FILE ID=nodeC030/4436439-1721115027
RUNJOBID= nodeC030-1721105558-879433
SLURM_JOB_ID= 7505632
Free space on /tmp= 890052 MiB

SOLVER NAME= Picat 2024-06-18
BENCH NAME= PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/random/rand.smallist/normalized-rand1958fb.cudf.trendy.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4436439-1721115027/watcher-4436439-1721115027 -o /tmp/evaluation-result-4436439-1721115027/solver-4436439-1721115027 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1721105558-879433 --watchdog 3760  pb_picat HOME/instance-4436439-1721115027.opb

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

MD5SUM BENCH= ed4a34407484277b70100862c0a0fc38
RANDOM SEED=643807592

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        126599148 kB
MemAvailable:   127967764 kB
Buffers:          391756 kB
Cached:          1802828 kB
SwapCached:            0 kB
Active:           931116 kB
Inactive:        3372456 kB
Active(anon):       1556 kB
Inactive(anon):  2145144 kB
Active(file):     929560 kB
Inactive(file):  1227312 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              4344 kB
Writeback:             8 kB
AnonPages:       2101168 kB
Mapped:           114360 kB
Shmem:             37720 kB
KReclaimable:     103136 kB
Slab:             210184 kB
SReclaimable:     103136 kB
SUnreclaim:       107048 kB
KernelStack:        4172 kB
PageTables:        13768 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    7412344 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            63456 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1849344 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      234196 kB
DirectMap2M:    18413568 kB
DirectMap1G:    117440512 kB

Free space on /tmp at the end= 890048 MiB
End job on nodeC030 at 2024-07-16 09:30:43