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

OK	0

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: 63931 MiB (60478 MiB free)
  memory of node 1: 64510 MiB (60300 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4446112-1721329232/watcher-4446112-1721329232 -o /tmp/evaluation-result-4446112-1721329232/solver-4446112-1721329232 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721329244-992560 --watchdog 3760 pb_picat HOME/instance-4446112-1721329232.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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

solver pid=992600, runsolver pid=992594

[startup+0.10027 s]*
/proc/loadavg: 1.10 1.73 2.74 6/253 992612
/proc/meminfo: memFree=123569608/131524600 swapFree=131071996/131071996
[pid=992600] ppid=992594 vsize=2033608 memory=36872 CPUtime=0.09 cores=0,2
/proc/992600/stat : 992600 (pb_picat) R 992594 992600 992550 0 -1 4194304 685 0 0 0 9 0 0 0 20 0 1 0 185092959 2082414592 9218 134679101440 4194304 5989780 140725328212944 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 44449792 140725328217112 140725328217188 140725328217188 140725328224204 0
/proc/992600/statm: 508402 9218 1554 439 0 503831 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2033608 KiB
Current children cumulated memory: 36872 KiB

[startup+0.205748 s]*
/proc/loadavg: 1.10 1.73 2.74 6/251 992612
/proc/meminfo: memFree=123514624/131524600 swapFree=131071996/131071996
[pid=992600] ppid=992594 vsize=2033608 memory=55304 CPUtime=0.2 cores=0,2
/proc/992600/stat : 992600 (pb_picat) R 992594 992600 992550 0 -1 4194304 697 0 0 0 20 0 0 0 20 0 1 0 185092959 2082414592 13826 134679101440 4194304 5989780 140725328212944 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 44449792 140725328217112 140725328217188 140725328217188 140725328224204 0
/proc/992600/statm: 508402 13826 1554 439 0 503831 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2033608 KiB
Current children cumulated memory: 55304 KiB

[startup+0.305972 s]*
/proc/loadavg: 1.10 1.73 2.74 6/257 992623
/proc/meminfo: memFree=123435428/131524600 swapFree=131071996/131071996
[pid=992600] ppid=992594 vsize=2033608 memory=73736 CPUtime=0.29 cores=0,2
/proc/992600/stat : 992600 (pb_picat) R 992594 992600 992550 0 -1 4194304 709 0 0 0 29 0 0 0 20 0 1 0 185092959 2082414592 18434 134679101440 4194304 5989780 140725328212944 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 44449792 140725328217112 140725328217188 140725328217188 140725328224204 0
/proc/992600/statm: 508402 18434 1554 439 0 503831 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 2033608 KiB
Current children cumulated memory: 73736 KiB

[startup+0.700195 s]
/proc/loadavg: 1.10 1.73 2.74 6/257 992623
/proc/meminfo: memFree=123284868/131524600 swapFree=131071996/131071996
[pid=992600] ppid=992594 vsize=2033608 memory=145532 CPUtime=0.68 cores=0,2
/proc/992600/stat : 992600 (pb_picat) R 992594 992600 992550 0 -1 4194304 755 0 0 0 66 2 0 0 20 0 1 0 185092959 2082414592 36383 134679101440 4194304 5989780 140725328212944 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 44449792 140725328217112 140725328217188 140725328217188 140725328224204 0
/proc/992600/statm: 508402 36383 1554 439 0 503831 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2033608 KiB
Current children cumulated memory: 145532 KiB

[startup+1.50023 s]
/proc/loadavg: 1.33 1.77 2.74 6/257 992625
/proc/meminfo: memFree=122918892/131524600 swapFree=131071996/131071996
[pid=992600] ppid=992594 vsize=2033608 memory=290996 CPUtime=1.48 cores=0,2
/proc/992600/stat : 992600 (pb_picat) R 992594 992600 992550 0 -1 4194304 848 0 0 0 142 6 0 0 20 0 1 0 185092959 2082414592 72749 134679101440 4194304 5989780 140725328212944 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 44449792 140725328217112 140725328217188 140725328217188 140725328224204 0
/proc/992600/statm: 508402 72749 1554 439 0 503831 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2033608 KiB
Current children cumulated memory: 290996 KiB

[startup+3.10582 s]
/proc/loadavg: 1.33 1.77 2.74 6/257 992625
/proc/meminfo: memFree=121697232/131524600 swapFree=131071996/131071996
[pid=992600] ppid=992594 vsize=2060952 memory=445224 CPUtime=3.08 cores=0,2
/proc/992600/stat : 992600 (pb_picat) R 992594 992600 992550 0 -1 4194304 8024 0 0 0 282 26 0 0 20 0 1 0 185092959 2110414848 111306 134679101440 4194304 5989780 140725328212944 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 44449792 140725328217112 140725328217188 140725328217188 140725328224204 0
/proc/992600/statm: 515238 111306 1728 439 0 510667 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 2060952 KiB
Current children cumulated memory: 445224 KiB

[startup+6.30021 s]
/proc/loadavg: 1.55 1.81 2.75 6/257 992625
/proc/meminfo: memFree=121073240/131524600 swapFree=131071996/131071996
[pid=992600] ppid=992594 vsize=2063916 memory=452648 CPUtime=6.27 cores=0,2
/proc/992600/stat : 992600 (pb_picat) R 992594 992600 992550 0 -1 4194304 18299 0 0 0 598 29 0 0 20 0 1 0 185092959 2113449984 113162 134679101440 4194304 5989780 140725328212944 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 44449792 140725328217112 140725328217188 140725328217188 140725328224204 0
/proc/992600/statm: 515979 113162 1728 439 0 511408 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 2063916 KiB
Current children cumulated memory: 452648 KiB

[startup+12.7002 s]
/proc/loadavg: 1.82 1.86 2.76 6/256 992626
/proc/meminfo: memFree=120339912/131524600 swapFree=131071996/131071996
[pid=992600] ppid=992594 vsize=2072108 memory=454064 CPUtime=12.65 cores=0,2
/proc/992600/stat : 992600 (pb_picat) R 992594 992600 992550 0 -1 4194304 31607 0 0 0 1233 32 0 0 20 0 1 0 185092959 2121838592 113516 134679101440 4194304 5989780 140725328212944 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 44449792 140725328217112 140725328217188 140725328217188 140725328224204 0
/proc/992600/statm: 518027 113516 1728 439 0 513456 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 2072108 KiB
Current children cumulated memory: 454064 KiB

[startup+25.5002 s]
/proc/loadavg: 2.23 1.95 2.78 5/256 992685
/proc/meminfo: memFree=119314400/131524600 swapFree=131071996/131071996
[pid=992600] ppid=992594 vsize=2088492 memory=462584 CPUtime=25.4 cores=0,2
/proc/992600/stat : 992600 (pb_picat) R 992594 992600 992550 0 -1 4194304 47857 0 0 0 2504 36 0 0 20 0 1 0 185092959 2138615808 115646 134679101440 4194304 5989780 140725328212944 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 44449792 140725328217112 140725328217188 140725328217188 140725328224204 0
/proc/992600/statm: 522123 115646 1728 439 0 517552 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 2088492 KiB
Current children cumulated memory: 462584 KiB

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

# cumulated CPU time of all completed processes:  user=39.7952 s, system=0.424717 s

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

[startup+25.6003 s]
/proc/loadavg: 2.23 1.95 2.78 5/256 992685
/proc/meminfo: memFree=119314400/131524600 swapFree=131071996/131071996
[pid=992600] ppid=992594 vsize=2063916 memory=451084 CPUtime=25.5 cores=0,2
/proc/992600/stat : 992600 (pb_picat) R 992594 992600 992550 0 -1 4194304 47857 0 0 0 2514 36 0 0 20 0 1 0 185092959 2113449984 112771 134679101440 4194304 5989780 140725328212944 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 44449792 140725328217112 140725328217188 140725328217188 140725328224204 0
/proc/992600/statm: 515979 112771 1728 439 0 511408 0
Current children cumulated CPU time: 25.5 s
Current children cumulated vsize: 2063916 KiB
Current children cumulated memory: 451084 KiB

[startup+32.0002 s]*
/proc/loadavg: 2.50 2.01 2.80 5/256 992686
/proc/meminfo: memFree=119274460/131524600 swapFree=131071996/131071996
[pid=992600] ppid=992594 vsize=2072040 memory=460852 CPUtime=31.89 cores=0,2
/proc/992600/stat : 992600 (pb_picat) R 992594 992600 992550 0 -1 4194304 53491 0 0 0 3151 38 0 0 20 0 1 0 185092959 2121768960 115213 134679101440 4194304 5989780 140725328212944 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 44449792 140725328217112 140725328217188 140725328217188 140725328224204 0
/proc/992600/statm: 518010 115213 1728 439 0 513439 0
Current children cumulated CPU time: 31.89 s
Current children cumulated vsize: 2072040 KiB
Current children cumulated memory: 460852 KiB

[startup+35.2002 s]
/proc/loadavg: 2.50 2.01 2.80 5/256 992686
/proc/meminfo: memFree=119252060/131524600 swapFree=131071996/131071996
[pid=992600] ppid=992594 vsize=2072040 memory=460848 CPUtime=35.07 cores=0,2
/proc/992600/stat : 992600 (pb_picat) R 992594 992600 992550 0 -1 4194304 55962 0 0 0 3468 39 0 0 20 0 1 0 185092959 2121768960 115212 134679101440 4194304 5989780 140725328212944 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 44449792 140725328217112 140725328217188 140725328217188 140725328224204 0
/proc/992600/statm: 518010 115212 1728 439 0 513439 0
Current children cumulated CPU time: 35.07 s
Current children cumulated vsize: 2072040 KiB
Current children cumulated memory: 460848 KiB

[startup+38.4002 s]
/proc/loadavg: 2.70 2.06 2.81 5/256 992686
/proc/meminfo: memFree=119266476/131524600 swapFree=131071996/131071996
[pid=992600] ppid=992594 vsize=2072040 memory=460848 CPUtime=38.26 cores=0,2
/proc/992600/stat : 992600 (pb_picat) R 992594 992600 992550 0 -1 4194304 58480 0 0 0 3786 40 0 0 20 0 1 0 185092959 2121768960 115212 134679101440 4194304 5989780 140725328212944 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 44449792 140725328217112 140725328217188 140725328217188 140725328224204 0
/proc/992600/statm: 518010 115212 1728 439 0 513439 0
Current children cumulated CPU time: 38.26 s
Current children cumulated vsize: 2072040 KiB
Current children cumulated memory: 460848 KiB

[startup+39.2002 s]
/proc/loadavg: 2.70 2.06 2.81 5/256 992686
/proc/meminfo: memFree=119265440/131524600 swapFree=131071996/131071996
[pid=992600] ppid=992594 vsize=2088424 memory=461628 CPUtime=39.06 cores=0,2
/proc/992600/stat : 992600 (pb_picat) R 992594 992600 992550 0 -1 4194304 58674 0 0 0 3866 40 0 0 20 0 1 0 185092959 2138546176 115407 134679101440 4194304 5989780 140725328212944 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 44449792 140725328217112 140725328217188 140725328217188 140725328224204 0
/proc/992600/statm: 522106 115407 1728 439 0 517535 0
Current children cumulated CPU time: 39.06 s
Current children cumulated vsize: 2088424 KiB
Current children cumulated memory: 461628 KiB

[startup+40.0002 s]*
/proc/loadavg: 2.70 2.06 2.81 5/256 992686
/proc/meminfo: memFree=119257280/131524600 swapFree=131071996/131071996
[pid=992600] ppid=992594 vsize=2088424 memory=466936 CPUtime=39.86 cores=0,2
/proc/992600/stat : 992600 (pb_picat) R 992594 992600 992550 0 -1 4194304 60819 0 0 0 3945 41 0 0 20 0 1 0 185092959 2138546176 116734 134679101440 4194304 5989780 140725328212944 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 44449792 140725328217112 140725328217188 140725328217188 140725328224204 0
/proc/992600/statm: 522106 116734 1728 439 0 517535 0
Current children cumulated CPU time: 39.86 s
Current children cumulated vsize: 2088424 KiB
Current children cumulated memory: 466936 KiB

[startup+40.2002 s]
/proc/loadavg: 2.70 2.06 2.81 5/256 992686
/proc/meminfo: memFree=119257280/131524600 swapFree=131071996/131071996
[pid=992600] ppid=992594 vsize=2088424 memory=466936 CPUtime=40.06 cores=0,2
/proc/992600/stat : 992600 (pb_picat) R 992594 992600 992550 0 -1 4194304 60819 0 0 0 3965 41 0 0 20 0 1 0 185092959 2138546176 116734 134679101440 4194304 5989780 140725328212944 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 44449792 140725328217112 140725328217188 140725328217188 140725328224204 0
/proc/992600/statm: 522106 116734 1728 439 0 517535 0
Current children cumulated CPU time: 40.06 s
Current children cumulated vsize: 2088424 KiB
Current children cumulated memory: 466936 KiB

[startup+40.3002 s]
/proc/loadavg: 2.70 2.06 2.81 5/256 992686
/proc/meminfo: memFree=119257280/131524600 swapFree=131071996/131071996
[pid=992600] ppid=992594 vsize=2063848 memory=453388 CPUtime=40.16 cores=0,2
/proc/992600/stat : 992600 (pb_picat) R 992594 992600 992550 0 -1 4194304 60820 0 0 0 3975 41 0 0 20 0 1 0 185092959 2113380352 113347 134679101440 4194304 5989780 140725328212944 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 44449792 140725328217112 140725328217188 140725328217188 140725328224204 0
/proc/992600/statm: 515962 113347 1728 439 0 511391 0
Current children cumulated CPU time: 40.16 s
Current children cumulated vsize: 2063848 KiB
Current children cumulated memory: 453388 KiB

Child status: 0

Real time (s): 40.3562
CPU time (s): 40.22
CPU user time (s): 39.7952
CPU system time (s): 0.424717
CPU usage (%): 99.6624
Max. virtual memory (cumulated for all children) (KiB): 2088492
Max. memory (cumulated for all children) (KiB): 466936

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


# summary of solver processes directly reported to runsolver:
#   pid: 992600
#   total CPU time (s): 40.22
#   total CPU user time (s): 39.7952
#   total CPU system time (s): 0.424717

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.100658 second user time and 0.212529 second system time

The end

Begin job on nodeC033 at 2024-07-18 21:00:45
IDJOB=4446112
IDBENCH=155450
IDSOLVER=3068
FILE ID=nodeC033/4446112-1721329232
RUNJOBID= nodeC033-1721329244-992560
SLURM_JOB_ID= 7542695
Free space on /tmp= 890044 MiB

SOLVER NAME= Picat 2024-06-18
BENCH NAME= PB24/normalized-PB11/DEC-LIN/lopes/normalized-20.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4446112-1721329232/watcher-4446112-1721329232 -o /tmp/evaluation-result-4446112-1721329232/solver-4446112-1721329232 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721329244-992560 --watchdog 3760  pb_picat HOME/instance-4446112-1721329232.opb

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

MD5SUM BENCH= ce92e16bf0ab8af5c50df3c37225d359
RANDOM SEED=310144182

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        123685704 kB
MemAvailable:   129594092 kB
Buffers:          530448 kB
Cached:          6149376 kB
SwapCached:            0 kB
Active:           969280 kB
Inactive:        6098144 kB
Active(anon):       1484 kB
Inactive(anon):   432340 kB
Active(file):     967796 kB
Inactive(file):  5665804 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             49592 kB
Writeback:             0 kB
AnonPages:        385228 kB
Mapped:           106768 kB
Shmem:             45908 kB
KReclaimable:     228872 kB
Slab:             355932 kB
SReclaimable:     228872 kB
SUnreclaim:       127060 kB
KernelStack:        3872 kB
PageTables:         9856 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     715580 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            68576 kB
HardwareCorrupted:     0 kB
AnonHugePages:    325632 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      273108 kB
DirectMap2M:    28860416 kB
DirectMap1G:    106954752 kB

Free space on /tmp at the end= 889988 MiB
End job on nodeC033 at 2024-07-18 21:01:25