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

OK	13

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63931 MiB (60706 MiB free)
  memory of node 1: 64510 MiB (60256 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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

solver pid=880119, runsolver pid=880116

[startup+0.100088 s]*
/proc/loadavg: 4.12 4.11 4.09 5/259 880120
/proc/meminfo: memFree=123827952/131524600 swapFree=131071996/131071996
[pid=880119] ppid=880116 vsize=2041424 memory=45312 CPUtime=0.09 cores=4,6
/proc/880119/stat : 880119 (pb_picat) R 880116 880119 878023 0 -1 4194304 1211 0 0 0 9 0 0 0 20 0 1 0 169464070 2090418176 11328 134679101440 4194304 5989780 140729419121840 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 26054656 140729419125785 140729419125861 140729419125861 140729419132876 0
/proc/880119/statm: 510356 11328 1614 439 0 505785 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2041424 KiB
Current children cumulated memory: 45312 KiB

[startup+0.205665 s]*
/proc/loadavg: 4.12 4.11 4.09 4/257 880120
/proc/meminfo: memFree=123912328/131524600 swapFree=131071996/131071996
[pid=880119] ppid=880116 vsize=2041424 memory=61696 CPUtime=0.2 cores=4,6
/proc/880119/stat : 880119 (pb_picat) R 880116 880119 878023 0 -1 4194304 1219 0 0 0 20 0 0 0 20 0 1 0 169464070 2090418176 15424 134679101440 4194304 5989780 140729419121840 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 26054656 140729419125785 140729419125861 140729419125861 140729419132876 0
/proc/880119/statm: 510356 15424 1614 439 0 505785 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2041424 KiB
Current children cumulated memory: 61696 KiB

[startup+0.305497 s]*
/proc/loadavg: 4.12 4.11 4.09 5/257 880120
/proc/meminfo: memFree=123895232/131524600 swapFree=131071996/131071996
[pid=880119] ppid=880116 vsize=2041424 memory=80348 CPUtime=0.3 cores=4,6
/proc/880119/stat : 880119 (pb_picat) R 880116 880119 878023 0 -1 4194304 1283 0 0 0 29 1 0 0 20 0 1 0 169464070 2090418176 20087 134679101440 4194304 5989780 140729419121840 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 26054656 140729419125785 140729419125861 140729419125861 140729419132876 0
/proc/880119/statm: 510356 20087 1614 439 0 505785 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2041424 KiB
Current children cumulated memory: 80348 KiB

[startup+0.700221 s]
/proc/loadavg: 4.12 4.11 4.09 5/256 880137
/proc/meminfo: memFree=123848340/131524600 swapFree=131071996/131071996
[pid=880119] ppid=880116 vsize=2119188 memory=153036 CPUtime=0.69 cores=4,6
/proc/880119/stat : 880119 (pb_picat) R 880116 880119 878023 0 -1 4194304 9967 0 0 0 66 3 0 0 20 0 1 0 169464070 2170048512 38259 134679101440 4194304 5989780 140729419121840 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 26054656 140729419125785 140729419125861 140729419125861 140729419132876 0
/proc/880119/statm: 529797 38259 1786 439 0 525226 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2119188 KiB
Current children cumulated memory: 153036 KiB

[startup+1.50016 s]
/proc/loadavg: 4.12 4.11 4.09 5/259 880166
/proc/meminfo: memFree=123691208/131524600 swapFree=131071996/131071996
[pid=880119] ppid=880116 vsize=2129940 memory=164436 CPUtime=1.49 cores=4,6
/proc/880119/stat : 880119 (pb_picat) R 880116 880119 878023 0 -1 4194304 10981 0 0 0 145 4 0 0 20 0 1 0 169464070 2181058560 41109 134679101440 4194304 5989780 140729419121840 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 26054656 140729419125785 140729419125861 140729419125861 140729419132876 0
/proc/880119/statm: 532485 41109 1786 439 0 527914 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2129940 KiB
Current children cumulated memory: 164436 KiB

[startup+3.10537 s]
/proc/loadavg: 4.12 4.11 4.09 5/259 880166
/proc/meminfo: memFree=123292724/131524600 swapFree=131071996/131071996
[pid=880119] ppid=880116 vsize=2129940 memory=164584 CPUtime=3.09 cores=4,6
/proc/880119/stat : 880119 (pb_picat) R 880116 880119 878023 0 -1 4194304 11017 0 0 0 305 4 0 0 20 0 1 0 169464070 2181058560 41146 134679101440 4194304 5989780 140729419121840 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 26054656 140729419125785 140729419125861 140729419125861 140729419132876 0
/proc/880119/statm: 532485 41146 1802 439 0 527914 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 2129940 KiB
Current children cumulated memory: 164584 KiB

[startup+6.3002 s]
/proc/loadavg: 4.11 4.11 4.09 5/259 880212
/proc/meminfo: memFree=122849388/131524600 swapFree=131071996/131071996
[pid=880119] ppid=880116 vsize=2129940 memory=164584 CPUtime=6.28 cores=4,6
/proc/880119/stat : 880119 (pb_picat) R 880116 880119 878023 0 -1 4194304 11086 0 0 0 622 6 0 0 20 0 1 0 169464070 2181058560 41146 134679101440 4194304 5989780 140729419121840 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 26054656 140729419125785 140729419125861 140729419125861 140729419132876 0
/proc/880119/statm: 532485 41146 1802 439 0 527914 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 2129940 KiB
Current children cumulated memory: 164584 KiB

[startup+12.7001 s]
/proc/loadavg: 4.10 4.11 4.09 5/259 880214
/proc/meminfo: memFree=122695772/131524600 swapFree=131071996/131071996
[pid=880119] ppid=880116 vsize=2129940 memory=166672 CPUtime=12.66 cores=4,6
/proc/880119/stat : 880119 (pb_picat) R 880116 880119 878023 0 -1 4194304 11260 0 0 0 1259 7 0 0 20 0 1 0 169464070 2181058560 41668 134679101440 4194304 5989780 140729419121840 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 26054656 140729419125785 140729419125861 140729419125861 140729419132876 0
/proc/880119/statm: 532485 41668 1802 439 0 527914 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 2129940 KiB
Current children cumulated memory: 166672 KiB

[startup+25.5001 s]
/proc/loadavg: 4.08 4.10 4.09 5/259 880215
/proc/meminfo: memFree=122630532/131524600 swapFree=131071996/131071996
[pid=880119] ppid=880116 vsize=2129940 memory=167224 CPUtime=25.44 cores=4,6
/proc/880119/stat : 880119 (pb_picat) R 880116 880119 878023 0 -1 4194304 11445 0 0 0 2535 9 0 0 20 0 1 0 169464070 2181058560 41806 134679101440 4194304 5989780 140729419121840 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 26054656 140729419125785 140729419125861 140729419125861 140729419132876 0
/proc/880119/statm: 532485 41806 1802 439 0 527914 0
Current children cumulated CPU time: 25.44 s
Current children cumulated vsize: 2129940 KiB
Current children cumulated memory: 167224 KiB

[startup+51.1058 s]
/proc/loadavg: 4.13 4.11 4.09 5/255 880221
/proc/meminfo: memFree=122565076/131524600 swapFree=131071996/131071996
[pid=880119] ppid=880116 vsize=2200300 memory=198744 CPUtime=50.97 cores=4,6
/proc/880119/stat : 880119 (pb_picat) R 880116 880119 878023 0 -1 4194304 28360 0 0 0 5080 17 0 0 20 0 1 0 169464070 2253107200 49686 134679101440 4194304 5989780 140729419121840 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 26054656 140729419125785 140729419125861 140729419125861 140729419132876 0
/proc/880119/statm: 550075 49686 1802 439 0 545504 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 2200300 KiB
Current children cumulated memory: 198744 KiB

[startup+102.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/255 880276
/proc/meminfo: memFree=122518612/131524600 swapFree=131071996/131071996
[pid=880119] ppid=880116 vsize=2134184 memory=180468 CPUtime=102.02 cores=4,6
/proc/880119/stat : 880119 (pb_picat) R 880116 880119 878023 0 -1 4194304 42857 0 0 0 10172 30 0 0 20 0 1 0 169464070 2185404416 45117 134679101440 4194304 5989780 140729419121840 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 26054656 140729419125785 140729419125861 140729419125861 140729419132876 0
/proc/880119/statm: 533546 45117 1802 439 0 528975 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 2134184 KiB
Current children cumulated memory: 180468 KiB

[startup+162.3 s]
/proc/loadavg: 4.18 4.13 4.10 5/255 880286
/proc/meminfo: memFree=122600004/131524600 swapFree=131071996/131071996
[pid=880119] ppid=880116 vsize=2134056 memory=186900 CPUtime=161.85 cores=4,6
/proc/880119/stat : 880119 (pb_picat) R 880116 880119 878023 0 -1 4194304 69783 0 0 0 16137 48 0 0 20 0 1 0 169464070 2185273344 46725 134679101440 4194304 5989780 140729419121840 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 26054656 140729419125785 140729419125861 140729419125861 140729419132876 0
/proc/880119/statm: 533514 46725 1802 439 0 528943 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 2134056 KiB
Current children cumulated memory: 186900 KiB

[startup+222.3 s]
/proc/loadavg: 4.22 4.14 4.10 5/255 880296
/proc/meminfo: memFree=122451280/131524600 swapFree=131071996/131071996
[pid=880119] ppid=880116 vsize=2206572 memory=216244 CPUtime=221.67 cores=4,6
/proc/880119/stat : 880119 (pb_picat) R 880116 880119 878023 0 -1 4194304 99927 0 0 0 22100 67 0 0 20 0 1 0 169464070 2259529728 54061 134679101440 4194304 5989780 140729419121840 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 26054656 140729419125785 140729419125861 140729419125861 140729419132876 0
/proc/880119/statm: 551643 54061 1802 439 0 547072 0
Current children cumulated CPU time: 221.67 s
Current children cumulated vsize: 2206572 KiB
Current children cumulated memory: 216244 KiB

[startup+282.3 s]
/proc/loadavg: 4.14 4.13 4.09 5/255 880306
/proc/meminfo: memFree=122508308/131524600 swapFree=131071996/131071996
[pid=880119] ppid=880116 vsize=2206576 memory=216308 CPUtime=281.5 cores=4,6
/proc/880119/stat : 880119 (pb_picat) R 880116 880119 878023 0 -1 4194304 120988 0 0 0 28067 83 0 0 20 0 1 0 169464070 2259533824 54077 134679101440 4194304 5989780 140729419121840 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 26054656 140729419125785 140729419125861 140729419125861 140729419132876 0
/proc/880119/statm: 551644 54077 1802 439 0 547073 0
Current children cumulated CPU time: 281.5 s
Current children cumulated vsize: 2206576 KiB
Current children cumulated memory: 216308 KiB

[startup+342.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/257 880321
/proc/meminfo: memFree=122371460/131524600 swapFree=131071996/131071996
[pid=880119] ppid=880116 vsize=2206576 memory=238836 CPUtime=341.31 cores=4,6
/proc/880119/stat : 880119 (pb_picat) R 880116 880119 878023 0 -1 4194304 140265 0 0 0 34036 95 0 0 20 0 1 0 169464070 2259533824 59709 134679101440 4194304 5989780 140729419121840 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 26054656 140729419125785 140729419125861 140729419125861 140729419132876 0
/proc/880119/statm: 551644 59709 1802 439 0 547073 0
Current children cumulated CPU time: 341.31 s
Current children cumulated vsize: 2206576 KiB
Current children cumulated memory: 238836 KiB

[startup+402.3 s]
/proc/loadavg: 4.07 4.11 4.09 5/257 880332
/proc/meminfo: memFree=122451720/131524600 swapFree=131071996/131071996
[pid=880119] ppid=880116 vsize=2134056 memory=183352 CPUtime=401.13 cores=4,6
/proc/880119/stat : 880119 (pb_picat) R 880116 880119 878023 0 -1 4194304 148743 0 0 0 40010 103 0 0 20 0 1 0 169464070 2185273344 45838 134679101440 4194304 5989780 140729419121840 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 26054656 140729419125785 140729419125861 140729419125861 140729419132876 0
/proc/880119/statm: 533514 45838 1802 439 0 528943 0
Current children cumulated CPU time: 401.13 s
Current children cumulated vsize: 2134056 KiB
Current children cumulated memory: 183352 KiB

[startup+462.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/257 880342
/proc/meminfo: memFree=122412284/131524600 swapFree=131071996/131071996
[pid=880119] ppid=880116 vsize=2135144 memory=185964 CPUtime=460.97 cores=4,6
/proc/880119/stat : 880119 (pb_picat) R 880116 880119 878023 0 -1 4194304 169830 0 0 0 45977 120 0 0 20 0 1 0 169464070 2186387456 46491 134679101440 4194304 5989780 140729419121840 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 26054656 140729419125785 140729419125861 140729419125861 140729419132876 0
/proc/880119/statm: 533786 46491 1802 439 0 529215 0

################
# More data... #
################

/proc/loadavg: 4.11 4.10 4.09 5/254 880385
/proc/meminfo: memFree=122346424/131524600 swapFree=131071996/131071996
[pid=880119] ppid=880116 vsize=2207216 memory=218996 CPUtime=700.25 cores=4,6
/proc/880119/stat : 880119 (pb_picat) R 880116 880119 878023 0 -1 4194304 251325 0 0 0 69849 176 0 0 20 0 1 0 169464070 2260189184 54749 134679101440 4194304 5989780 140729419121840 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 26054656 140729419125785 140729419125861 140729419125861 140729419132876 0
/proc/880119/statm: 551804 54749 1802 439 0 547233 0
Current children cumulated CPU time: 700.25 s
Current children cumulated vsize: 2207216 KiB
Current children cumulated memory: 218996 KiB

[startup+762.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/254 880395
/proc/meminfo: memFree=122512772/131524600 swapFree=131071996/131071996
[pid=880119] ppid=880116 vsize=2207216 memory=223092 CPUtime=760.06 cores=4,6
/proc/880119/stat : 880119 (pb_picat) R 880116 880119 878023 0 -1 4194304 264090 0 0 0 75822 184 0 0 20 0 1 0 169464070 2260189184 55773 134679101440 4194304 5989780 140729419121840 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 26054656 140729419125785 140729419125861 140729419125861 140729419132876 0
/proc/880119/statm: 551804 55773 1802 439 0 547233 0
Current children cumulated CPU time: 760.06 s
Current children cumulated vsize: 2207216 KiB
Current children cumulated memory: 223092 KiB

[startup+822.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/254 880405
/proc/meminfo: memFree=122315840/131524600 swapFree=131071996/131071996
[pid=880119] ppid=880116 vsize=2134056 memory=185644 CPUtime=819.89 cores=4,6
/proc/880119/stat : 880119 (pb_picat) R 880116 880119 878023 0 -1 4194304 278488 0 0 0 81788 201 0 0 20 0 1 0 169464070 2185273344 46411 134679101440 4194304 5989780 140729419121840 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 26054656 140729419125785 140729419125861 140729419125861 140729419132876 0
/proc/880119/statm: 533514 46411 1802 439 0 528943 0
Current children cumulated CPU time: 819.89 s
Current children cumulated vsize: 2134056 KiB
Current children cumulated memory: 185644 KiB

[startup+882.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/255 880417
/proc/meminfo: memFree=122373472/131524600 swapFree=131071996/131071996
[pid=880119] ppid=880116 vsize=2206576 memory=218356 CPUtime=879.7 cores=4,6
/proc/880119/stat : 880119 (pb_picat) R 880116 880119 878023 0 -1 4194304 308646 0 0 0 87752 218 0 0 20 0 1 0 169464070 2259533824 54589 134679101440 4194304 5989780 140729419121840 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 26054656 140729419125785 140729419125861 140729419125861 140729419132876 0
/proc/880119/statm: 551644 54589 1802 439 0 547073 0
Current children cumulated CPU time: 879.7 s
Current children cumulated vsize: 2206576 KiB
Current children cumulated memory: 218356 KiB

[startup+942.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/256 880431
/proc/meminfo: memFree=122349652/131524600 swapFree=131071996/131071996
[pid=880119] ppid=880116 vsize=2206576 memory=236788 CPUtime=939.52 cores=4,6
/proc/880119/stat : 880119 (pb_picat) R 880116 880119 878023 0 -1 4194304 319157 0 0 0 93726 226 0 0 20 0 1 0 169464070 2259533824 59197 134679101440 4194304 5989780 140729419121840 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 26054656 140729419125785 140729419125861 140729419125861 140729419132876 0
/proc/880119/statm: 551644 59197 1802 439 0 547073 0
Current children cumulated CPU time: 939.52 s
Current children cumulated vsize: 2206576 KiB
Current children cumulated memory: 236788 KiB

[startup+1002.3 s]
/proc/loadavg: 4.32 4.16 4.11 5/256 880442
/proc/meminfo: memFree=122262380/131524600 swapFree=131071996/131071996
[pid=880119] ppid=880116 vsize=2206936 memory=245340 CPUtime=999.34 cores=4,6
/proc/880119/stat : 880119 (pb_picat) R 880116 880119 878023 0 -1 4194304 328015 0 0 0 99700 234 0 0 20 0 1 0 169464070 2259902464 61335 134679101440 4194304 5989780 140729419121840 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 26054656 140729419125785 140729419125861 140729419125861 140729419132876 0
/proc/880119/statm: 551734 61335 1802 439 0 547163 0
Current children cumulated CPU time: 999.34 s
Current children cumulated vsize: 2206936 KiB
Current children cumulated memory: 245340 KiB

[startup+1062.3 s]
/proc/loadavg: 4.11 4.13 4.10 5/256 880452
/proc/meminfo: memFree=122344636/131524600 swapFree=131071996/131071996
[pid=880119] ppid=880116 vsize=2169708 memory=196664 CPUtime=1059.16 cores=4,6
/proc/880119/stat : 880119 (pb_picat) R 880116 880119 878023 0 -1 4194304 348715 0 0 0 105664 252 0 0 20 0 1 0 169464070 2221780992 49166 134679101440 4194304 5989780 140729419121840 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 26054656 140729419125785 140729419125861 140729419125861 140729419132876 0
/proc/880119/statm: 542427 49166 1802 439 0 537856 0
Current children cumulated CPU time: 1059.16 s
Current children cumulated vsize: 2169708 KiB
Current children cumulated memory: 196664 KiB

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

# cumulated CPU time of all completed processes:  user=1069.77 s, system=2.60729 s

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

[startup+1062.4 s]
/proc/loadavg: 4.11 4.13 4.10 5/256 880452
/proc/meminfo: memFree=122344636/131524600 swapFree=131071996/131071996
[pid=880119] ppid=880116 vsize=2202476 memory=196928 CPUtime=1059.26 cores=4,6
/proc/880119/stat : 880119 (pb_picat) R 880116 880119 878023 0 -1 4194304 348754 0 0 0 105674 252 0 0 20 0 1 0 169464070 2255335424 49232 134679101440 4194304 5989780 140729419121840 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 26054656 140729419125785 140729419125861 140729419125861 140729419132876 0
/proc/880119/statm: 550619 49232 1802 439 0 546048 0
Current children cumulated CPU time: 1059.26 s
Current children cumulated vsize: 2202476 KiB
Current children cumulated memory: 196928 KiB

[startup+1068.8 s]
/proc/loadavg: 4.10 4.13 4.10 5/256 880452
/proc/meminfo: memFree=122396912/131524600 swapFree=131071996/131071996
[pid=880119] ppid=880116 vsize=2204604 memory=206144 CPUtime=1065.65 cores=4,6
/proc/880119/stat : 880119 (pb_picat) R 880116 880119 878023 0 -1 4194304 357024 0 0 0 106309 256 0 0 20 0 1 0 169464070 2257514496 51536 134679101440 4194304 5989780 140729419121840 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 26054656 140729419125785 140729419125861 140729419125861 140729419132876 0
/proc/880119/statm: 551151 51536 1802 439 0 546580 0
Current children cumulated CPU time: 1065.65 s
Current children cumulated vsize: 2204604 KiB
Current children cumulated memory: 206144 KiB

[startup+1072 s]*
/proc/loadavg: 4.10 4.12 4.09 5/256 880454
/proc/meminfo: memFree=122383576/131524600 swapFree=131071996/131071996
[pid=880119] ppid=880116 vsize=2147260 memory=170656 CPUtime=1068.84 cores=4,6
/proc/880119/stat : 880119 (pb_picat) R 880116 880119 878023 0 -1 4194304 358834 0 0 0 106627 257 0 0 20 0 1 0 169464070 2198794240 42664 134679101440 4194304 5989780 140729419121840 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 26054656 140729419125785 140729419125861 140729419125861 140729419132876 0
/proc/880119/statm: 536815 42664 1802 439 0 532244 0
Current children cumulated CPU time: 1068.84 s
Current children cumulated vsize: 2147260 KiB
Current children cumulated memory: 170656 KiB

[startup+1073.6 s]
/proc/loadavg: 4.10 4.12 4.09 5/256 880454
/proc/meminfo: memFree=122331776/131524600 swapFree=131071996/131071996
[pid=880119] ppid=880116 vsize=2204604 memory=212288 CPUtime=1070.44 cores=4,6
/proc/880119/stat : 880119 (pb_picat) R 880116 880119 878023 0 -1 4194304 360518 0 0 0 106786 258 0 0 20 0 1 0 169464070 2257514496 53072 134679101440 4194304 5989780 140729419121840 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 26054656 140729419125785 140729419125861 140729419125861 140729419132876 0
/proc/880119/statm: 551151 53072 1802 439 0 546580 0
Current children cumulated CPU time: 1070.44 s
Current children cumulated vsize: 2204604 KiB
Current children cumulated memory: 212288 KiB

[startup+1074.4 s]
/proc/loadavg: 4.17 4.14 4.10 5/256 880454
/proc/meminfo: memFree=122301036/131524600 swapFree=131071996/131071996
[pid=880119] ppid=880116 vsize=2147260 memory=170656 CPUtime=1071.23 cores=4,6
/proc/880119/stat : 880119 (pb_picat) R 880116 880119 878023 0 -1 4194304 360564 0 0 0 106865 258 0 0 20 0 1 0 169464070 2198794240 42664 134679101440 4194304 5989780 140729419121840 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 26054656 140729419125785 140729419125861 140729419125861 140729419132876 0
/proc/880119/statm: 536815 42664 1802 439 0 532244 0
Current children cumulated CPU time: 1071.23 s
Current children cumulated vsize: 2147260 KiB
Current children cumulated memory: 170656 KiB

[startup+1075.2 s]
/proc/loadavg: 4.17 4.14 4.10 5/256 880454
/proc/meminfo: memFree=122290740/131524600 swapFree=131071996/131071996
[pid=880119] ppid=880116 vsize=2204604 memory=204096 CPUtime=1072.03 cores=4,6
/proc/880119/stat : 880119 (pb_picat) R 880116 880119 878023 0 -1 4194304 362261 0 0 0 106944 259 0 0 20 0 1 0 169464070 2257514496 51024 134679101440 4194304 5989780 140729419121840 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 26054656 140729419125785 140729419125861 140729419125861 140729419132876 0
/proc/880119/statm: 551151 51024 1802 439 0 546580 0
Current children cumulated CPU time: 1072.03 s
Current children cumulated vsize: 2204604 KiB
Current children cumulated memory: 204096 KiB

[startup+1075.4 s]
/proc/loadavg: 4.17 4.14 4.10 5/256 880454
/proc/meminfo: memFree=122290740/131524600 swapFree=131071996/131071996
[pid=880119] ppid=880116 vsize=2204604 memory=204096 CPUtime=1072.23 cores=4,6
/proc/880119/stat : 880119 (pb_picat) R 880116 880119 878023 0 -1 4194304 362261 0 0 0 106964 259 0 0 20 0 1 0 169464070 2257514496 51024 134679101440 4194304 5989780 140729419121840 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 26054656 140729419125785 140729419125861 140729419125861 140729419132876 0
/proc/880119/statm: 551151 51024 1802 439 0 546580 0
Current children cumulated CPU time: 1072.23 s
Current children cumulated vsize: 2204604 KiB
Current children cumulated memory: 204096 KiB

[startup+1075.5 s]
/proc/loadavg: 4.17 4.14 4.10 5/256 880454
/proc/meminfo: memFree=122290740/131524600 swapFree=131071996/131071996
[pid=880119] ppid=880116 vsize=2204604 memory=204096 CPUtime=1072.33 cores=4,6
/proc/880119/stat : 880119 (pb_picat) R 880116 880119 878023 0 -1 4194304 362261 0 0 0 106974 259 0 0 20 0 1 0 169464070 2257514496 51024 134679101440 4194304 5989780 140729419121840 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 26054656 140729419125785 140729419125861 140729419125861 140729419132876 0
/proc/880119/statm: 551151 51024 1802 439 0 546580 0
Current children cumulated CPU time: 1072.33 s
Current children cumulated vsize: 2204604 KiB
Current children cumulated memory: 204096 KiB

Child status: 0

Real time (s): 1075.54
CPU time (s): 1072.38
CPU user time (s): 1069.77
CPU system time (s): 2.60729
CPU usage (%): 99.7059
Max. virtual memory (cumulated for all children) (KiB): 2273132
Max. memory (cumulated for all children) (KiB): 278220

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1069.77
system time used= 2.60729
maximum resident set size= 278220
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 362264
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= 5
involuntary context switches= 1105


# summary of solver processes directly reported to runsolver:
#   pid: 880119
#   total CPU time (s): 1072.38
#   total CPU user time (s): 1069.77
#   total CPU system time (s): 2.60729

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.55671 second user time and 4.3456 second system time

The end

Begin job on nodeC033 at 2024-07-17 01:35:56
IDJOB=4436566
IDBENCH=158608
IDSOLVER=3068
FILE ID=nodeC033/4436566-1721172944
RUNJOBID= nodeC033-1721169345-878036
SLURM_JOB_ID= 7505800
Free space on /tmp= 890072 MiB

SOLVER NAME= Picat 2024-06-18
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/hw64/normalized-hw64-vm25p-opt.opb.negationfix.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4436566-1721172944/watcher-4436566-1721172944 -o /tmp/evaluation-result-4436566-1721172944/solver-4436566-1721172944 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721169345-878036 --watchdog 3760  pb_picat HOME/instance-4436566-1721172944.opb

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

MD5SUM BENCH= 6ace28486832e11f911f7d50bfd4c050
RANDOM SEED=1747556810

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        123865812 kB
MemAvailable:   129374800 kB
Buffers:          462216 kB
Cached:          5815220 kB
SwapCached:            0 kB
Active:           742336 kB
Inactive:        6169152 kB
Active(anon):       1572 kB
Inactive(anon):   669864 kB
Active(file):     740764 kB
Inactive(file):  5499288 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              4224 kB
Writeback:             8 kB
AnonPages:        624684 kB
Mapped:           114844 kB
Shmem:             37716 kB
KReclaimable:     217168 kB
Slab:             338316 kB
SReclaimable:     217168 kB
SUnreclaim:       121148 kB
KernelStack:        4192 kB
PageTables:        10536 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    6961412 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            63520 kB
HardwareCorrupted:     0 kB
AnonHugePages:    409600 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      273108 kB
DirectMap2M:    28860416 kB
DirectMap1G:    106954752 kB

Free space on /tmp at the end= 890064 MiB
End job on nodeC033 at 2024-07-17 01:53:51