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

OK	20578507799

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63708 MiB (57665 MiB free)
  memory of node 1: 64465 MiB (58706 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4528472-1752241809/watcher-4528472-1752241809 -o /tmp/evaluation-result-4528472-1752241809/solver-4528472-1752241809 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1752238182-115345 --watchdog 3760 pb_picat HOME/instance-4528472-1752241809.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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

solver pid=116170, runsolver pid=116167

[startup+0.100062 s]*
/proc/loadavg: 4.04 4.09 4.09 5/263 116171
/proc/meminfo: memFree=119135996/131250000 swapFree=33009904/33010684
[pid=116170] ppid=116167 vsize=2027148 memory=36292 CPUtime=0.09 cores=5,7
/proc/116170/stat : 116170 (pb_picat) R 116167 116170 113493 0 -1 4194304 1036 0 0 0 9 0 0 0 20 0 1 0 139860360 2075799552 9073 18446744073709551615 94756586504192 94756587905773 140727813395568 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94756588177200 94756590051440 94756600737792 140727813396892 140727813396968 140727813396968 140727813402572 0
/proc/116170/statm: 506787 9073 1568 343 0 503851 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 36292 KiB

[startup+0.205437 s]*
/proc/loadavg: 4.04 4.09 4.09 5/263 116171
/proc/meminfo: memFree=119115516/131250000 swapFree=33009904/33010684
[pid=116170] ppid=116167 vsize=2027148 memory=54872 CPUtime=0.19 cores=5,7
/proc/116170/stat : 116170 (pb_picat) R 116167 116170 113493 0 -1 4194304 1051 0 0 0 19 0 0 0 20 0 1 0 139860360 2075799552 13718 18446744073709551615 94756586504192 94756587905773 140727813395568 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94756588177200 94756590051440 94756600737792 140727813396892 140727813396968 140727813396968 140727813402572 0
/proc/116170/statm: 506787 13718 1600 343 0 503851 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 54872 KiB

[startup+0.305338 s]*
/proc/loadavg: 4.04 4.09 4.09 5/263 116171
/proc/meminfo: memFree=119099576/131250000 swapFree=33009904/33010684
[pid=116170] ppid=116167 vsize=2034964 memory=73972 CPUtime=0.3 cores=5,7
/proc/116170/stat : 116170 (pb_picat) R 116167 116170 113493 0 -1 4194304 1199 0 0 0 29 1 0 0 20 0 1 0 139860360 2083803136 18493 18446744073709551615 94756586504192 94756587905773 140727813395568 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94756588177200 94756590051440 94756600737792 140727813396892 140727813396968 140727813396968 140727813402572 0
/proc/116170/statm: 508741 18493 1632 343 0 505805 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2034964 KiB
Current children cumulated memory: 73972 KiB

[startup+0.700175 s]
/proc/loadavg: 4.04 4.09 4.09 5/263 116171
/proc/meminfo: memFree=119083192/131250000 swapFree=33009904/33010684
[pid=116170] ppid=116167 vsize=2039632 memory=85268 CPUtime=0.68 cores=5,7
/proc/116170/stat : 116170 (pb_picat) R 116167 116170 113493 0 -1 4194304 9180 0 0 0 65 3 0 0 20 0 1 0 139860360 2088583168 21317 18446744073709551615 94756586504192 94756587905773 140727813395568 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94756588177200 94756590051440 94756600737792 140727813396892 140727813396968 140727813396968 140727813402572 0
/proc/116170/statm: 509908 21317 1728 343 0 506972 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2039632 KiB
Current children cumulated memory: 85268 KiB

[startup+1.50012 s]
/proc/loadavg: 4.04 4.09 4.09 5/263 116171
/proc/meminfo: memFree=119099160/131250000 swapFree=33009904/33010684
[pid=116170] ppid=116167 vsize=2055284 memory=99724 CPUtime=1.48 cores=5,7
/proc/116170/stat : 116170 (pb_picat) R 116167 116170 113493 0 -1 4194304 19092 0 0 0 142 6 0 0 20 0 1 0 139860360 2104610816 24931 18446744073709551615 94756586504192 94756587905773 140727813395568 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94756588177200 94756590051440 94756600737792 140727813396892 140727813396968 140727813396968 140727813402572 0
/proc/116170/statm: 513821 24931 1728 343 0 510885 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2055284 KiB
Current children cumulated memory: 99724 KiB

[startup+3.10439 s]
/proc/loadavg: 4.04 4.09 4.08 5/263 116171
/proc/meminfo: memFree=119069736/131250000 swapFree=33009904/33010684
[pid=116170] ppid=116167 vsize=2047856 memory=90932 CPUtime=3.09 cores=5,7
/proc/116170/stat : 116170 (pb_picat) R 116167 116170 113493 0 -1 4194304 31088 0 0 0 300 9 0 0 20 0 1 0 139860360 2097004544 22733 18446744073709551615 94756586504192 94756587905773 140727813395568 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94756588177200 94756590051440 94756600737792 140727813396892 140727813396968 140727813396968 140727813402572 0
/proc/116170/statm: 511964 22733 1728 343 0 509028 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 2047856 KiB
Current children cumulated memory: 90932 KiB

[startup+6.30011 s]
/proc/loadavg: 4.04 4.09 4.08 5/263 116171
/proc/meminfo: memFree=119260888/131250000 swapFree=33009904/33010684
[pid=116170] ppid=116167 vsize=2050900 memory=95508 CPUtime=6.27 cores=5,7
/proc/116170/stat : 116170 (pb_picat) R 116167 116170 113493 0 -1 4194304 51279 0 0 0 614 13 0 0 20 0 1 0 139860360 2100121600 23877 18446744073709551615 94756586504192 94756587905773 140727813395568 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94756588177200 94756590051440 94756600737792 140727813396892 140727813396968 140727813396968 140727813402572 0
/proc/116170/statm: 512725 23877 1728 343 0 509789 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 2050900 KiB
Current children cumulated memory: 95508 KiB

[startup+12.7001 s]
/proc/loadavg: 4.11 4.10 4.09 5/263 116171
/proc/meminfo: memFree=119290736/131250000 swapFree=33009904/33010684
[pid=116170] ppid=116167 vsize=2060112 memory=98880 CPUtime=12.65 cores=5,7
/proc/116170/stat : 116170 (pb_picat) R 116167 116170 113493 0 -1 4194304 71517 0 0 0 1245 20 0 0 20 0 1 0 139860360 2109554688 24720 18446744073709551615 94756586504192 94756587905773 140727813395568 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94756588177200 94756590051440 94756600737792 140727813396892 140727813396968 140727813396968 140727813402572 0
/proc/116170/statm: 515028 24720 1728 343 0 512092 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 2060112 KiB
Current children cumulated memory: 98880 KiB

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

# cumulated CPU time of all completed processes:  user=24.7215 s, system=0.243367 s

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

[startup+12.8002 s]
/proc/loadavg: 4.11 4.10 4.09 5/263 116171
/proc/meminfo: memFree=119290736/131250000 swapFree=33009904/33010684
[pid=116170] ppid=116167 vsize=2060112 memory=98880 CPUtime=12.75 cores=5,7
/proc/116170/stat : 116170 (pb_picat) R 116167 116170 113493 0 -1 4194304 71517 0 0 0 1255 20 0 0 20 0 1 0 139860360 2109554688 24720 18446744073709551615 94756586504192 94756587905773 140727813395568 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94756588177200 94756590051440 94756600737792 140727813396892 140727813396968 140727813396968 140727813402572 0
/proc/116170/statm: 515028 24720 1728 343 0 512092 0
Current children cumulated CPU time: 12.75 s
Current children cumulated vsize: 2060112 KiB
Current children cumulated memory: 98880 KiB

[startup+19.2001 s]
/proc/loadavg: 4.10 4.10 4.09 5/263 116171
/proc/meminfo: memFree=119229208/131250000 swapFree=33009904/33010684
[pid=116170] ppid=116167 vsize=2060112 memory=99136 CPUtime=19.14 cores=5,7
/proc/116170/stat : 116170 (pb_picat) R 116167 116170 113493 0 -1 4194304 79356 0 0 0 1892 22 0 0 20 0 1 0 139860360 2109554688 24784 18446744073709551615 94756586504192 94756587905773 140727813395568 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94756588177200 94756590051440 94756600737792 140727813396892 140727813396968 140727813396968 140727813402572 0
/proc/116170/statm: 515028 24784 1728 343 0 512092 0
Current children cumulated CPU time: 19.14 s
Current children cumulated vsize: 2060112 KiB
Current children cumulated memory: 99136 KiB

[startup+22.4001 s]
/proc/loadavg: 4.09 4.10 4.09 5/263 116171
/proc/meminfo: memFree=119172180/131250000 swapFree=33009904/33010684
[pid=116170] ppid=116167 vsize=2060112 memory=99008 CPUtime=22.34 cores=5,7
/proc/116170/stat : 116170 (pb_picat) R 116167 116170 113493 0 -1 4194304 81328 0 0 0 2211 23 0 0 20 0 1 0 139860360 2109554688 24752 18446744073709551615 94756586504192 94756587905773 140727813395568 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94756588177200 94756590051440 94756600737792 140727813396892 140727813396968 140727813396968 140727813402572 0
/proc/116170/statm: 515028 24752 1728 343 0 512092 0
Current children cumulated CPU time: 22.34 s
Current children cumulated vsize: 2060112 KiB
Current children cumulated memory: 99008 KiB

[startup+24.0001 s]*
/proc/loadavg: 4.09 4.10 4.09 5/263 116171
/proc/meminfo: memFree=119165780/131250000 swapFree=33009904/33010684
[pid=116170] ppid=116167 vsize=2060112 memory=99008 CPUtime=23.93 cores=5,7
/proc/116170/stat : 116170 (pb_picat) R 116167 116170 113493 0 -1 4194304 83295 0 0 0 2370 23 0 0 20 0 1 0 139860360 2109554688 24752 18446744073709551615 94756586504192 94756587905773 140727813395568 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94756588177200 94756590051440 94756600737792 140727813396892 140727813396968 140727813396968 140727813402572 0
/proc/116170/statm: 515028 24752 1728 343 0 512092 0
Current children cumulated CPU time: 23.93 s
Current children cumulated vsize: 2060112 KiB
Current children cumulated memory: 99008 KiB

[startup+24.8001 s]
/proc/loadavg: 4.09 4.10 4.09 5/263 116171
/proc/meminfo: memFree=119165780/131250000 swapFree=33009904/33010684
[pid=116170] ppid=116167 vsize=2060112 memory=99008 CPUtime=24.73 cores=5,7
/proc/116170/stat : 116170 (pb_picat) R 116167 116170 113493 0 -1 4194304 83295 0 0 0 2450 23 0 0 20 0 1 0 139860360 2109554688 24752 18446744073709551615 94756586504192 94756587905773 140727813395568 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94756588177200 94756590051440 94756600737792 140727813396892 140727813396968 140727813396968 140727813402572 0
/proc/116170/statm: 515028 24752 1728 343 0 512092 0
Current children cumulated CPU time: 24.73 s
Current children cumulated vsize: 2060112 KiB
Current children cumulated memory: 99008 KiB

[startup+25.0001 s]*
/proc/loadavg: 4.09 4.10 4.09 5/263 116171
/proc/meminfo: memFree=119149712/131250000 swapFree=33009904/33010684
[pid=116170] ppid=116167 vsize=2060112 memory=99008 CPUtime=24.93 cores=5,7
/proc/116170/stat : 116170 (pb_picat) R 116167 116170 113493 0 -1 4194304 83295 0 0 0 2470 23 0 0 20 0 1 0 139860360 2109554688 24752 18446744073709551615 94756586504192 94756587905773 140727813395568 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94756588177200 94756590051440 94756600737792 140727813396892 140727813396968 140727813396968 140727813402572 0
/proc/116170/statm: 515028 24752 1728 343 0 512092 0
Current children cumulated CPU time: 24.93 s
Current children cumulated vsize: 2060112 KiB
Current children cumulated memory: 99008 KiB

Child status: 0

Real time (s): 25.0289
CPU time (s): 24.9649
CPU user time (s): 24.7215
CPU system time (s): 0.243367
CPU usage (%): 99.7441
Max. virtual memory (cumulated for all children) (KiB): 2060116
Max. memory (cumulated for all children) (KiB): 101156

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 24.7215
system time used= 0.243367
maximum resident set size= 101156
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 83299
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 66
involuntary context switches= 39


# summary of solver processes directly reported to runsolver:
#   pid: 116170
#   total CPU time (s): 24.9649
#   total CPU user time (s): 24.7215
#   total CPU system time (s): 0.243367

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.057865 second user time and 0.125556 second system time

The end

Begin job on nodeC033 at 2025-07-11 15:50:09
IDJOB=4528472
IDBENCH=150908
IDSOLVER=3385
FILE ID=nodeC033/4528472-1752241809
RUNJOBID= nodeC033-1752238182-115345
SLURM_JOB_ID= 9682544
Free space on /tmp= 429732 MiB

SOLVER NAME= pb_picat 2025-07-11
BENCH NAME= PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/random/rand.biglist/normalized-randbccf2d.cudf.trendy.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4528472-1752241809/watcher-4528472-1752241809 -o /tmp/evaluation-result-4528472-1752241809/solver-4528472-1752241809 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1752238182-115345 --watchdog 3760  pb_picat HOME/instance-4528472-1752241809.opb

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

MD5SUM BENCH= a14bf61ad1111286a795cfd2913f06d2
RANDOM SEED=1254046703

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

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

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

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


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        119165600 kB
MemAvailable:   127653500 kB
Buffers:            2128 kB
Cached:          9209564 kB
SwapCached:           68 kB
Active:          2786180 kB
Inactive:        8537820 kB
Active(anon):    2124948 kB
Inactive(anon):     5388 kB
Active(file):     661232 kB
Inactive(file):  8532432 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33009904 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             10480 kB
Writeback:            12 kB
AnonPages:       2108164 kB
Mapped:           116524 kB
Shmem:             18028 kB
KReclaimable:     266952 kB
Slab:             362768 kB
SReclaimable:     266952 kB
SUnreclaim:        95816 kB
KernelStack:        4256 kB
PageTables:         7208 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:    7661236 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150520 kB
VmallocChunk:          0 kB
Percpu:             3808 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1931264 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      221908 kB
DirectMap2M:    11083776 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 429728 MiB
End job on nodeC033 at 2025-07-11 15:50:35