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

OK	145

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: 63837 MiB (62960 MiB free)
  memory of node 1: 64465 MiB (62517 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4528576-1752245174/watcher-4528576-1752245174 -o /tmp/evaluation-result-4528576-1752245174/solver-4528576-1752245174 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1752245169-125795 --watchdog 3760 pb_picat HOME/instance-4528576-1752245174.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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

solver pid=125942, runsolver pid=125935

[startup+0.100069 s]*
/proc/loadavg: 1.37 2.37 2.89 6/252 125943
/proc/meminfo: memFree=128464784/131382116 swapFree=33009904/33010684
[pid=125942] ppid=125935 vsize=2027148 memory=27976 CPUtime=0.1 cores=1,3
/proc/125942/stat : 125942 (pb_picat) R 125935 125942 125783 0 -1 4194304 997 0 0 0 9 1 0 0 20 0 1 0 140196605 2075799552 6994 18446744073709551615 94436969660416 94436971061997 140732198312832 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94436971333424 94436973207664 94437009690624 140732198320540 140732198320616 140732198320616 140732198326220 0
/proc/125942/statm: 506787 6994 1568 343 0 503851 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 27976 KiB

[startup+0.213059 s]*
/proc/loadavg: 1.37 2.37 2.89 6/252 125943
/proc/meminfo: memFree=128464960/131382116 swapFree=33009904/33010684
[pid=125942] ppid=125935 vsize=2027148 memory=32084 CPUtime=0.21 cores=1,3
/proc/125942/stat : 125942 (pb_picat) R 125935 125942 125783 0 -1 4194304 1003 0 0 0 20 1 0 0 20 0 1 0 140196605 2075799552 8021 18446744073709551615 94436969660416 94436971061997 140732198312832 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94436971333424 94436973207664 94437009690624 140732198320540 140732198320616 140732198320616 140732198326220 0
/proc/125942/statm: 506787 8021 1568 343 0 503851 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 32084 KiB

[startup+0.313205 s]*
/proc/loadavg: 1.37 2.37 2.89 6/252 125943
/proc/meminfo: memFree=128460864/131382116 swapFree=33009904/33010684
[pid=125942] ppid=125935 vsize=2027148 memory=38248 CPUtime=0.3 cores=1,3
/proc/125942/stat : 125942 (pb_picat) R 125935 125942 125783 0 -1 4194304 1011 0 0 0 29 1 0 0 20 0 1 0 140196605 2075799552 9562 18446744073709551615 94436969660416 94436971061997 140732198312832 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94436971333424 94436973207664 94437009690624 140732198320540 140732198320616 140732198320616 140732198326220 0
/proc/125942/statm: 506787 9562 1568 343 0 503851 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 38248 KiB

[startup+0.700313 s]
/proc/loadavg: 1.37 2.37 2.89 6/252 125943
/proc/meminfo: memFree=128436288/131382116 swapFree=33009904/33010684
[pid=125942] ppid=125935 vsize=2034964 memory=61036 CPUtime=0.68 cores=1,3
/proc/125942/stat : 125942 (pb_picat) R 125935 125942 125783 0 -1 4194304 1062 0 0 0 66 2 0 0 20 0 1 0 140196605 2083803136 15259 18446744073709551615 94436969660416 94436971061997 140732198312832 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94436971333424 94436973207664 94437009690624 140732198320540 140732198320616 140732198320616 140732198326220 0
/proc/125942/statm: 508741 15259 1600 343 0 505805 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2034964 KiB
Current children cumulated memory: 61036 KiB

[startup+1.5003 s]
/proc/loadavg: 1.37 2.37 2.89 6/252 125943
/proc/meminfo: memFree=128364356/131382116 swapFree=33009904/33010684
[pid=125942] ppid=125935 vsize=2050544 memory=118312 CPUtime=1.48 cores=1,3
/proc/125942/stat : 125942 (pb_picat) R 125935 125942 125783 0 -1 4194304 4851 0 0 0 138 10 0 0 20 0 1 0 140196605 2099757056 29578 18446744073709551615 94436969660416 94436971061997 140732198312832 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94436971333424 94436973207664 94437009690624 140732198320540 140732198320616 140732198320616 140732198326220 0
/proc/125942/statm: 512636 29578 1728 343 0 509700 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2050544 KiB
Current children cumulated memory: 118312 KiB

[startup+3.11299 s]
/proc/loadavg: 1.37 2.37 2.89 6/252 125943
/proc/meminfo: memFree=128235032/131382116 swapFree=33009904/33010684
[pid=125942] ppid=125935 vsize=2081696 memory=148408 CPUtime=3.09 cores=1,3
/proc/125942/stat : 125942 (pb_picat) R 125935 125942 125783 0 -1 4194304 12724 0 0 0 293 16 0 0 20 0 1 0 140196605 2131656704 37102 18446744073709551615 94436969660416 94436971061997 140732198312832 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94436971333424 94436973207664 94437009690624 140732198320540 140732198320616 140732198320616 140732198326220 0
/proc/125942/statm: 520424 37102 1728 343 0 517488 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 2081696 KiB
Current children cumulated memory: 148408 KiB

[startup+6.3003 s]
/proc/loadavg: 1.58 2.40 2.89 6/252 125943
/proc/meminfo: memFree=128224496/131382116 swapFree=33009904/33010684
[pid=125942] ppid=125935 vsize=2101928 memory=162528 CPUtime=6.26 cores=1,3
/proc/125942/stat : 125942 (pb_picat) R 125935 125942 125783 0 -1 4194304 18384 0 0 0 609 17 0 0 20 0 1 0 140196605 2152374272 40632 18446744073709551615 94436969660416 94436971061997 140732198312832 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94436971333424 94436973207664 94437009690624 140732198320540 140732198320616 140732198320616 140732198326220 0
/proc/125942/statm: 525482 40632 1728 343 0 522546 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 2101928 KiB
Current children cumulated memory: 162528 KiB

[startup+12.7003 s]
/proc/loadavg: 1.77 2.43 2.90 6/252 125943
/proc/meminfo: memFree=128192768/131382116 swapFree=33009904/33010684
[pid=125942] ppid=125935 vsize=2099352 memory=160164 CPUtime=12.65 cores=1,3
/proc/125942/stat : 125942 (pb_picat) R 125935 125942 125783 0 -1 4194304 23540 0 0 0 1246 19 0 0 20 0 1 0 140196605 2149736448 40041 18446744073709551615 94436969660416 94436971061997 140732198312832 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94436971333424 94436973207664 94437009690624 140732198320540 140732198320616 140732198320616 140732198326220 0
/proc/125942/statm: 524838 40041 1728 343 0 521902 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 2099352 KiB
Current children cumulated memory: 160164 KiB

[startup+25.5003 s]
/proc/loadavg: 2.27 2.51 2.92 6/252 125943
/proc/meminfo: memFree=128123312/131382116 swapFree=33009904/33010684
[pid=125942] ppid=125935 vsize=2127464 memory=191196 CPUtime=25.41 cores=1,3
/proc/125942/stat : 125942 (pb_picat) R 125935 125942 125783 0 -1 4194304 38622 0 0 0 2511 30 0 0 20 0 1 0 140196605 2178523136 47799 18446744073709551615 94436969660416 94436971061997 140732198312832 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94436971333424 94436973207664 94437009690624 140732198320540 140732198320616 140732198320616 140732198326220 0
/proc/125942/statm: 531866 47799 1728 343 0 528930 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 2127464 KiB
Current children cumulated memory: 191196 KiB

[startup+51.113 s]
/proc/loadavg: 2.93 2.64 2.95 6/252 125944
/proc/meminfo: memFree=128096420/131382116 swapFree=33009904/33010684
[pid=125942] ppid=125935 vsize=2127464 memory=187084 CPUtime=50.94 cores=1,3
/proc/125942/stat : 125942 (pb_picat) R 125935 125942 125783 0 -1 4194304 64588 0 0 0 5048 46 0 0 20 0 1 0 140196605 2178523136 46771 18446744073709551615 94436969660416 94436971061997 140732198312832 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94436971333424 94436973207664 94437009690624 140732198320540 140732198320616 140732198320616 140732198326220 0
/proc/125942/statm: 531866 46771 1728 343 0 528930 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 2127464 KiB
Current children cumulated memory: 187084 KiB

[startup+102.3 s]
/proc/loadavg: 3.60 2.87 3.02 6/252 125945
/proc/meminfo: memFree=128095352/131382116 swapFree=33009904/33010684
[pid=125942] ppid=125935 vsize=2127464 memory=187076 CPUtime=101.96 cores=1,3
/proc/125942/stat : 125942 (pb_picat) R 125935 125942 125783 0 -1 4194304 123535 0 0 0 10107 89 0 0 20 0 1 0 140196605 2178523136 46769 18446744073709551615 94436969660416 94436971061997 140732198312832 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94436971333424 94436973207664 94437009690624 140732198320540 140732198320616 140732198320616 140732198326220 0
/proc/125942/statm: 531866 46769 1728 343 0 528930 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 2127464 KiB
Current children cumulated memory: 187076 KiB

[startup+162.3 s]
/proc/loadavg: 3.90 3.09 3.09 5/252 125992
/proc/meminfo: memFree=128163440/131382116 swapFree=33009904/33010684
[pid=125942] ppid=125935 vsize=2127464 memory=189156 CPUtime=161.76 cores=1,3
/proc/125942/stat : 125942 (pb_picat) R 125935 125942 125783 0 -1 4194304 202430 0 0 0 16031 145 0 0 20 0 1 0 140196605 2178523136 47289 18446744073709551615 94436969660416 94436971061997 140732198312832 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94436971333424 94436973207664 94437009690624 140732198320540 140732198320616 140732198320616 140732198326220 0
/proc/125942/statm: 531866 47289 1728 343 0 528930 0
Current children cumulated CPU time: 161.76 s
Current children cumulated vsize: 2127464 KiB
Current children cumulated memory: 189156 KiB

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

# cumulated CPU time of all completed processes:  user=175.171 s, system=1.50286 s

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

[startup+166.4 s]
/proc/loadavg: 3.91 3.11 3.09 5/252 125992
/proc/meminfo: memFree=128143404/131382116 swapFree=33009904/33010684
[pid=125942] ppid=125935 vsize=2127464 memory=187108 CPUtime=165.85 cores=1,3
/proc/125942/stat : 125942 (pb_picat) R 125935 125942 125783 0 -1 4194304 205719 0 0 0 16439 146 0 0 20 0 1 0 140196605 2178523136 46777 18446744073709551615 94436969660416 94436971061997 140732198312832 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94436971333424 94436973207664 94437009690624 140732198320540 140732198320616 140732198320616 140732198326220 0
/proc/125942/statm: 531866 46777 1728 343 0 528930 0
Current children cumulated CPU time: 165.85 s
Current children cumulated vsize: 2127464 KiB
Current children cumulated memory: 187108 KiB

[startup+172.8 s]
/proc/loadavg: 3.92 3.12 3.10 5/252 125993
/proc/meminfo: memFree=128119876/131382116 swapFree=33009904/33010684
[pid=125942] ppid=125935 vsize=2127464 memory=185060 CPUtime=172.22 cores=1,3
/proc/125942/stat : 125942 (pb_picat) R 125935 125942 125783 0 -1 4194304 209113 0 0 0 17075 147 0 0 20 0 1 0 140196605 2178523136 46265 18446744073709551615 94436969660416 94436971061997 140732198312832 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94436971333424 94436973207664 94437009690624 140732198320540 140732198320616 140732198320616 140732198326220 0
/proc/125942/statm: 531866 46265 1728 343 0 528930 0
Current children cumulated CPU time: 172.22 s
Current children cumulated vsize: 2127464 KiB
Current children cumulated memory: 185060 KiB

[startup+174.4 s]
/proc/loadavg: 3.92 3.12 3.10 5/252 125993
/proc/meminfo: memFree=128130400/131382116 swapFree=33009904/33010684
[pid=125942] ppid=125935 vsize=2111080 memory=180964 CPUtime=173.82 cores=1,3
/proc/125942/stat : 125942 (pb_picat) R 125935 125942 125783 0 -1 4194304 210244 0 0 0 17234 148 0 0 20 0 1 0 140196605 2161745920 45241 18446744073709551615 94436969660416 94436971061997 140732198312832 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94436971333424 94436973207664 94437009690624 140732198320540 140732198320616 140732198320616 140732198326220 0
/proc/125942/statm: 527770 45241 1728 343 0 524834 0
Current children cumulated CPU time: 173.82 s
Current children cumulated vsize: 2111080 KiB
Current children cumulated memory: 180964 KiB

[startup+176 s]*
/proc/loadavg: 3.92 3.14 3.10 5/252 125993
/proc/meminfo: memFree=128118396/131382116 swapFree=33009904/33010684
[pid=125942] ppid=125935 vsize=2127464 memory=187108 CPUtime=175.43 cores=1,3
/proc/125942/stat : 125942 (pb_picat) R 125935 125942 125783 0 -1 4194304 210758 0 0 0 17395 148 0 0 20 0 1 0 140196605 2178523136 46777 18446744073709551615 94436969660416 94436971061997 140732198312832 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94436971333424 94436973207664 94437009690624 140732198320540 140732198320616 140732198320616 140732198326220 0
/proc/125942/statm: 531866 46777 1728 343 0 528930 0
Current children cumulated CPU time: 175.43 s
Current children cumulated vsize: 2127464 KiB
Current children cumulated memory: 187108 KiB

[startup+176.8 s]
/proc/loadavg: 3.92 3.14 3.10 5/252 125993
/proc/meminfo: memFree=128118396/131382116 swapFree=33009904/33010684
[pid=125942] ppid=125935 vsize=2127464 memory=185060 CPUtime=176.22 cores=1,3
/proc/125942/stat : 125942 (pb_picat) R 125935 125942 125783 0 -1 4194304 212401 0 0 0 17473 149 0 0 20 0 1 0 140196605 2178523136 46265 18446744073709551615 94436969660416 94436971061997 140732198312832 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94436971333424 94436973207664 94437009690624 140732198320540 140732198320616 140732198320616 140732198326220 0
/proc/125942/statm: 531866 46265 1728 343 0 528930 0
Current children cumulated CPU time: 176.22 s
Current children cumulated vsize: 2127464 KiB
Current children cumulated memory: 185060 KiB

[startup+177.2 s]
/proc/loadavg: 3.92 3.14 3.10 5/252 125993
/proc/meminfo: memFree=128118396/131382116 swapFree=33009904/33010684
[pid=125942] ppid=125935 vsize=2111080 memory=180964 CPUtime=176.61 cores=1,3
/proc/125942/stat : 125942 (pb_picat) R 125935 125942 125783 0 -1 4194304 212506 0 0 0 17512 149 0 0 20 0 1 0 140196605 2161745920 45241 18446744073709551615 94436969660416 94436971061997 140732198312832 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94436971333424 94436973207664 94437009690624 140732198320540 140732198320616 140732198320616 140732198326220 0
/proc/125942/statm: 527770 45241 1728 343 0 524834 0
Current children cumulated CPU time: 176.61 s
Current children cumulated vsize: 2111080 KiB
Current children cumulated memory: 180964 KiB

Child status: 0

Real time (s): 177.251
CPU time (s): 176.674
CPU user time (s): 175.171
CPU system time (s): 1.50286
CPU usage (%): 99.6743
Max. virtual memory (cumulated for all children) (KiB): 2127464
Max. memory (cumulated for all children) (KiB): 197348

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 175.171
system time used= 1.50286
maximum resident set size= 197348
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 212539
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= 67
involuntary context switches= 222


# summary of solver processes directly reported to runsolver:
#   pid: 125942
#   total CPU time (s): 176.674
#   total CPU user time (s): 175.171
#   total CPU system time (s): 1.50286

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.880865 second user time and 1.78308 second system time

The end

Begin job on nodeC004 at 2025-07-11 16:46:14
IDJOB=4528576
IDBENCH=158394
IDSOLVER=3385
FILE ID=nodeC004/4528576-1752245174
RUNJOBID= nodeC004-1752245169-125795
SLURM_JOB_ID= 9682566
Free space on /tmp= 431668 MiB

SOLVER NAME= pb_picat 2025-07-11
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/EmployeeScheduling/normalized-jun5.5.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4528576-1752245174/watcher-4528576-1752245174 -o /tmp/evaluation-result-4528576-1752245174/solver-4528576-1752245174 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1752245169-125795 --watchdog 3760  pb_picat HOME/instance-4528576-1752245174.opb

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

MD5SUM BENCH= 5d17a5a2908f0ead03acb71ed633b69a
RANDOM SEED=450009033

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131382116 kB
MemFree:        128489216 kB
MemAvailable:   129576248 kB
Buffers:            2128 kB
Cached:          1832676 kB
SwapCached:           32 kB
Active:           986516 kB
Inactive:        1226568 kB
Active(anon):     385492 kB
Inactive(anon):    10724 kB
Active(file):     601024 kB
Inactive(file):  1215844 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33009904 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             17272 kB
Writeback:             4 kB
AnonPages:        381388 kB
Mapped:           112904 kB
Shmem:             17932 kB
KReclaimable:     219584 kB
Slab:             308768 kB
SReclaimable:     219584 kB
SUnreclaim:        89184 kB
KernelStack:        4032 kB
PageTables:         3828 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:    4555748 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149336 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    249856 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      197448 kB
DirectMap2M:    10190848 kB
DirectMap1G:    125829120 kB

Free space on /tmp at the end= 431660 MiB
End job on nodeC004 at 2025-07-11 16:49:12