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

OK	0

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63794 MiB (62828 MiB free)
  memory of node 1: 64507 MiB (62796 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4527979-1752242179/watcher-4527979-1752242179 -o /tmp/evaluation-result-4527979-1752242179/solver-4527979-1752242179 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1752242168-117802 --watchdog 3760 pb_picat HOME/instance-4527979-1752242179.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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


[startup+0.100093 s]*
/proc/loadavg: 2.74 3.99 4.14 4/247 117913
/proc/meminfo: memFree=128636280/131382112 swapFree=33010416/33010684
[pid=117912] ppid=117909 vsize=2027148 memory=22188 CPUtime=0.09 cores=4,6
/proc/117912/stat : 117912 (pb_picat) R 117909 117912 117791 0 -1 4194304 1057 0 0 0 9 0 0 0 20 0 1 0 139897608 2075799552 5547 18446744073709551615 94851600281600 94851601683181 140730465632016 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94851601954608 94851603828848 94851642433536 140730465634716 140730465634792 140730465634792 140730465640396 0
/proc/117912/statm: 506787 5547 1600 343 0 503851 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 22188 KiB

[startup+0.211223 s]*
/proc/loadavg: 2.74 3.99 4.14 4/247 117913
/proc/meminfo: memFree=128632184/131382112 swapFree=33010416/33010684
[pid=117912] ppid=117909 vsize=2027148 memory=28336 CPUtime=0.19 cores=4,6
/proc/117912/stat : 117912 (pb_picat) R 117909 117912 117791 0 -1 4194304 1061 0 0 0 19 0 0 0 20 0 1 0 139897608 2075799552 7084 18446744073709551615 94851600281600 94851601683181 140730465632016 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94851601954608 94851603828848 94851642433536 140730465634716 140730465634792 140730465634792 140730465640396 0
/proc/117912/statm: 506787 7084 1600 343 0 503851 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 28336 KiB

[startup+0.310673 s]*
/proc/loadavg: 2.74 3.99 4.14 4/247 117913
/proc/meminfo: memFree=128623992/131382112 swapFree=33010416/33010684
[pid=117912] ppid=117909 vsize=2027148 memory=36532 CPUtime=0.3 cores=4,6
/proc/117912/stat : 117912 (pb_picat) R 117909 117912 117791 0 -1 4194304 1066 0 0 0 29 1 0 0 20 0 1 0 139897608 2075799552 9133 18446744073709551615 94851600281600 94851601683181 140730465632016 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94851601954608 94851603828848 94851642433536 140730465634716 140730465634792 140730465634792 140730465640396 0
/proc/117912/statm: 506787 9133 1600 343 0 503851 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 36532 KiB

[startup+0.700272 s]
/proc/loadavg: 2.74 3.99 4.14 4/249 117917
/proc/meminfo: memFree=128607128/131382112 swapFree=33010416/33010684
[pid=117912] ppid=117909 vsize=2027148 memory=67264 CPUtime=0.67 cores=4,6
/proc/117912/stat : 117912 (pb_picat) R 117909 117912 117791 0 -1 4194304 1084 0 0 0 65 2 0 0 20 0 1 0 139897608 2075799552 16816 18446744073709551615 94851600281600 94851601683181 140730465632016 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94851601954608 94851603828848 94851642433536 140730465634716 140730465634792 140730465634792 140730465640396 0
/proc/117912/statm: 506787 16816 1600 343 0 503851 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 67264 KiB

[startup+1.50029 s]
/proc/loadavg: 2.74 3.99 4.14 5/248 117940
/proc/meminfo: memFree=128564816/131382112 swapFree=33010416/33010684
[pid=117912] ppid=117909 vsize=2027148 memory=155368 CPUtime=1.47 cores=4,6
/proc/117912/stat : 117912 (pb_picat) R 117909 117912 117791 0 -1 4194304 1137 0 0 0 142 5 0 0 20 0 1 0 139897608 2075799552 38842 18446744073709551615 94851600281600 94851601683181 140730465632016 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94851601954608 94851603828848 94851642433536 140730465634716 140730465634792 140730465634792 140730465640396 0
/proc/117912/statm: 506787 38842 1600 343 0 503851 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 155368 KiB

[startup+3.11273 s]
/proc/loadavg: 2.74 3.99 4.14 5/251 117950
/proc/meminfo: memFree=128072128/131382112 swapFree=33010416/33010684
[pid=117912] ppid=117909 vsize=2027148 memory=434016 CPUtime=3.08 cores=4,6
/proc/117912/stat : 117912 (pb_picat) R 117909 117912 117791 0 -1 4194304 1392 0 0 0 298 10 0 0 20 0 1 0 139897608 2075799552 108504 18446744073709551615 94851600281600 94851601683181 140730465632016 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94851601954608 94851603828848 94851642433536 140730465634716 140730465634792 140730465634792 140730465640396 0
/proc/117912/statm: 506787 108504 1600 343 0 503851 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 434016 KiB

[startup+6.30029 s]
/proc/loadavg: 2.84 3.99 4.14 5/251 117950
/proc/meminfo: memFree=127333120/131382112 swapFree=33010416/33010684
[pid=117912] ppid=117909 vsize=2065092 memory=619996 CPUtime=6.26 cores=4,6
/proc/117912/stat : 117912 (pb_picat) R 117909 117912 117791 0 -1 4194304 11293 0 0 0 591 35 0 0 20 0 1 0 139897608 2114654208 154999 18446744073709551615 94851600281600 94851601683181 140730465632016 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94851601954608 94851603828848 94851642433536 140730465634716 140730465634792 140730465634792 140730465640396 0
/proc/117912/statm: 516273 154999 1728 343 0 513337 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 2065092 KiB
Current children cumulated memory: 619996 KiB

[startup+12.7003 s]
/proc/loadavg: 2.93 3.99 4.14 5/251 117950
/proc/meminfo: memFree=126962844/131382112 swapFree=33010416/33010684
[pid=117912] ppid=117909 vsize=2083844 memory=631480 CPUtime=12.64 cores=4,6
/proc/117912/stat : 117912 (pb_picat) R 117909 117912 117791 0 -1 4194304 23799 0 0 0 1226 38 0 0 20 0 1 0 139897608 2133856256 157870 18446744073709551615 94851600281600 94851601683181 140730465632016 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94851601954608 94851603828848 94851642433536 140730465634716 140730465634792 140730465634792 140730465640396 0
/proc/117912/statm: 520961 157870 1728 343 0 518025 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 2083844 KiB
Current children cumulated memory: 631480 KiB

[startup+25.5003 s]
/proc/loadavg: 3.17 3.99 4.14 5/251 117950
/proc/meminfo: memFree=126944824/131382112 swapFree=33010416/33010684
[pid=117912] ppid=117909 vsize=2083844 memory=635576 CPUtime=25.41 cores=4,6
/proc/117912/stat : 117912 (pb_picat) R 117909 117912 117791 0 -1 4194304 35369 0 0 0 2499 42 0 0 20 0 1 0 139897608 2133856256 158894 18446744073709551615 94851600281600 94851601683181 140730465632016 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94851601954608 94851603828848 94851642433536 140730465634716 140730465634792 140730465634792 140730465640396 0
/proc/117912/statm: 520961 158894 1728 343 0 518025 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 2083844 KiB
Current children cumulated memory: 635576 KiB

[startup+51.1128 s]
/proc/loadavg: 3.45 4.00 4.14 5/252 117952
/proc/meminfo: memFree=126913948/131382112 swapFree=33010416/33010684
[pid=117912] ppid=117909 vsize=2083844 memory=630712 CPUtime=50.95 cores=4,6
/proc/117912/stat : 117912 (pb_picat) R 117909 117912 117791 0 -1 4194304 51121 0 0 0 5046 49 0 0 20 0 1 0 139897608 2133856256 157678 18446744073709551615 94851600281600 94851601683181 140730465632016 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94851601954608 94851603828848 94851642433536 140730465634716 140730465634792 140730465634792 140730465640396 0
/proc/117912/statm: 520961 157678 1728 343 0 518025 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 2083844 KiB
Current children cumulated memory: 630712 KiB

[startup+102.3 s]
/proc/loadavg: 3.82 4.01 4.13 5/252 117953
/proc/meminfo: memFree=126910136/131382112 swapFree=33010416/33010684
[pid=117912] ppid=117909 vsize=2100228 memory=639672 CPUtime=101.97 cores=4,6
/proc/117912/stat : 117912 (pb_picat) R 117909 117912 117791 0 -1 4194304 75567 0 0 0 10137 60 0 0 20 0 1 0 139897608 2150633472 159918 18446744073709551615 94851600281600 94851601683181 140730465632016 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94851601954608 94851603828848 94851642433536 140730465634716 140730465634792 140730465634792 140730465640396 0
/proc/117912/statm: 525057 159918 1728 343 0 522121 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 2100228 KiB
Current children cumulated memory: 639672 KiB

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

# cumulated CPU time of all completed processes:  user=106.484 s, system=0.625192 s

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

[startup+102.4 s]
/proc/loadavg: 3.82 4.01 4.13 5/252 117953
/proc/meminfo: memFree=126910136/131382112 swapFree=33010416/33010684
[pid=117912] ppid=117909 vsize=2100228 memory=639672 CPUtime=102.07 cores=4,6
/proc/117912/stat : 117912 (pb_picat) R 117909 117912 117791 0 -1 4194304 75567 0 0 0 10147 60 0 0 20 0 1 0 139897608 2150633472 159918 18446744073709551615 94851600281600 94851601683181 140730465632016 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94851601954608 94851603828848 94851642433536 140730465634716 140730465634792 140730465634792 140730465640396 0
/proc/117912/statm: 525057 159918 1728 343 0 522121 0
Current children cumulated CPU time: 102.07 s
Current children cumulated vsize: 2100228 KiB
Current children cumulated memory: 639672 KiB

[startup+105.6 s]
/proc/loadavg: 3.83 4.01 4.13 5/252 117953
/proc/meminfo: memFree=126899992/131382112 swapFree=33010416/33010684
[pid=117912] ppid=117909 vsize=2100228 memory=635448 CPUtime=105.26 cores=4,6
/proc/117912/stat : 117912 (pb_picat) R 117909 117912 117791 0 -1 4194304 77776 0 0 0 10465 61 0 0 20 0 1 0 139897608 2150633472 158862 18446744073709551615 94851600281600 94851601683181 140730465632016 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94851601954608 94851603828848 94851642433536 140730465634716 140730465634792 140730465634792 140730465640396 0
/proc/117912/statm: 525057 158862 1728 343 0 522121 0
Current children cumulated CPU time: 105.26 s
Current children cumulated vsize: 2100228 KiB
Current children cumulated memory: 635448 KiB

[startup+106.4 s]
/proc/loadavg: 3.83 4.01 4.13 5/252 117953
/proc/meminfo: memFree=126916376/131382112 swapFree=33010416/33010684
[pid=117912] ppid=117909 vsize=2100228 memory=637624 CPUtime=106.06 cores=4,6
/proc/117912/stat : 117912 (pb_picat) R 117909 117912 117791 0 -1 4194304 77782 0 0 0 10545 61 0 0 20 0 1 0 139897608 2150633472 159406 18446744073709551615 94851600281600 94851601683181 140730465632016 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94851601954608 94851603828848 94851642433536 140730465634716 140730465634792 140730465634792 140730465640396 0
/proc/117912/statm: 525057 159406 1728 343 0 522121 0
Current children cumulated CPU time: 106.06 s
Current children cumulated vsize: 2100228 KiB
Current children cumulated memory: 637624 KiB

[startup+107.2 s]
/proc/loadavg: 3.83 4.01 4.13 5/252 117953
/proc/meminfo: memFree=126899992/131382112 swapFree=33010416/33010684
[pid=117912] ppid=117909 vsize=2100228 memory=639672 CPUtime=106.86 cores=4,6
/proc/117912/stat : 117912 (pb_picat) R 117909 117912 117791 0 -1 4194304 77783 0 0 0 10625 61 0 0 20 0 1 0 139897608 2150633472 159918 18446744073709551615 94851600281600 94851601683181 140730465632016 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94851601954608 94851603828848 94851642433536 140730465634716 140730465634792 140730465634792 140730465640396 0
/proc/117912/statm: 525057 159918 1728 343 0 522121 0
Current children cumulated CPU time: 106.86 s
Current children cumulated vsize: 2100228 KiB
Current children cumulated memory: 639672 KiB

[startup+107.4 s]
/proc/loadavg: 3.83 4.01 4.13 5/252 117953
/proc/meminfo: memFree=126899992/131382112 swapFree=33010416/33010684
[pid=117912] ppid=117909 vsize=2100228 memory=639672 CPUtime=107.06 cores=4,6
/proc/117912/stat : 117912 (pb_picat) R 117909 117912 117791 0 -1 4194304 77783 0 0 0 10645 61 0 0 20 0 1 0 139897608 2150633472 159918 18446744073709551615 94851600281600 94851601683181 140730465632016 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94851601954608 94851603828848 94851642433536 140730465634716 140730465634792 140730465634792 140730465640396 0
/proc/117912/statm: 525057 159918 1728 343 0 522121 0
Current children cumulated CPU time: 107.06 s
Current children cumulated vsize: 2100228 KiB
Current children cumulated memory: 639672 KiB

Child status: 0

Real time (s): 107.446
CPU time (s): 107.109
CPU user time (s): 106.484
CPU system time (s): 0.625192
CPU usage (%): 99.6864
Max. virtual memory (cumulated for all children) (KiB): 2100228
Max. memory (cumulated for all children) (KiB): 647864

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 106.484
system time used= 0.625192
maximum resident set size= 647864
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 77963
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 67
involuntary context switches= 142


# summary of solver processes directly reported to runsolver:
#   pid: 117912
#   total CPU time (s): 107.109
#   total CPU user time (s): 106.484
#   total CPU system time (s): 0.625192

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.54104 second user time and 1.1007 second system time

The end

Begin job on nodeC012 at 2025-07-11 15:56:19
IDJOB=4527979
IDBENCH=155421
IDSOLVER=3385
FILE ID=nodeC012/4527979-1752242179
RUNJOBID= nodeC012-1752242168-117802
SLURM_JOB_ID= 9682548
Free space on /tmp= 431540 MiB

SOLVER NAME= pb_picat 2025-07-11
BENCH NAME= PB24/normalized-PB11/DEC-LIN/lopes/normalized-90.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4527979-1752242179/watcher-4527979-1752242179 -o /tmp/evaluation-result-4527979-1752242179/solver-4527979-1752242179 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1752242168-117802 --watchdog 3760  pb_picat HOME/instance-4527979-1752242179.opb

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

MD5SUM BENCH= 44a09c98c00ea73bd3c28d44044dc987
RANDOM SEED=162476258

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131382112 kB
MemFree:        128640392 kB
MemAvailable:   129394952 kB
Buffers:            2136 kB
Cached:          1551428 kB
SwapCached:           16 kB
Active:          1217308 kB
Inactive:         927448 kB
Active(anon):     604188 kB
Inactive(anon):     4948 kB
Active(file):     613120 kB
Inactive(file):   922500 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             15516 kB
Writeback:             0 kB
AnonPages:        594300 kB
Mapped:           113096 kB
Shmem:             17944 kB
KReclaimable:     116748 kB
Slab:             206120 kB
SReclaimable:     116748 kB
SUnreclaim:        89372 kB
KernelStack:        4016 kB
PageTables:         4144 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:    4459816 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149352 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:    495616 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      187208 kB
DirectMap2M:     8103936 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 431520 MiB
End job on nodeC012 at 2025-07-11 15:58:07