From fb07ef2235bad3e71311cd7ac13beca65698ee8b Mon Sep 17 00:00:00 2001 From: alpavlenko Date: Mon, 15 Jan 2024 17:10:07 +0300 Subject: [PATCH] added jss examples --- examples/data/bivium/bivium-no-200.cnf | 6781 ------------------------ examples/jss_search_example.py | 98 + examples/jss_solve_example.py | 36 + 3 files changed, 134 insertions(+), 6781 deletions(-) delete mode 100644 examples/data/bivium/bivium-no-200.cnf create mode 100644 examples/jss_search_example.py create mode 100644 examples/jss_solve_example.py diff --git a/examples/data/bivium/bivium-no-200.cnf b/examples/data/bivium/bivium-no-200.cnf deleted file mode 100644 index 6881611..0000000 --- a/examples/data/bivium/bivium-no-200.cnf +++ /dev/null @@ -1,6781 +0,0 @@ -p cnf 2037 6775 -c input variables 177 -c output variables 200 -c literals 19395 -c input vars 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165 166 167 168 169 170 171 172 173 174 175 176 177 -c output vars 1838 1839 1840 1841 1842 1843 1844 1845 1846 1847 1848 1849 1850 1851 1852 1853 1854 1855 1856 1857 1858 1859 1860 1861 1862 1863 1864 1865 1866 1867 1868 1869 1870 1871 1872 1873 1874 1875 1876 1877 1878 1879 1880 1881 1882 1883 1884 1885 1886 1887 1888 1889 1890 1891 1892 1893 1894 1895 1896 1897 1898 1899 1900 1901 1902 1903 1904 1905 1906 1907 1908 1909 1910 1911 1912 1913 1914 1915 1916 1917 1918 1919 1920 1921 1922 1923 1924 1925 1926 1927 1928 1929 1930 1931 1932 1933 1934 1935 1936 1937 1938 1939 1940 1941 1942 1943 1944 1945 1946 1947 1948 1949 1950 1951 1952 1953 1954 1955 1956 1957 1958 1959 1960 1961 1962 1963 1964 1965 1966 1967 1968 1969 1970 1971 1972 1973 1974 1975 1976 1977 1978 1979 1980 1981 1982 1983 1984 1985 1986 1987 1988 1989 1990 1991 1992 1993 1994 1995 1996 1997 1998 1999 2000 2001 2002 2003 2004 2005 2006 2007 2008 2009 2010 2011 2012 2013 2014 2015 2016 2017 2018 2019 2020 2021 2022 2023 2024 2025 2026 2027 2028 2029 2030 2031 2032 2033 2034 2035 2036 2037 --178 175 0 --178 176 0 -178 -175 -176 0 --182 91 0 --182 92 0 -182 -91 -92 0 --186 174 0 --186 175 0 -186 -174 -175 0 --190 90 0 --190 91 0 -190 -90 -91 0 --194 173 0 --194 174 0 -194 -173 -174 0 --198 89 0 --198 90 0 -198 -89 -90 0 --202 172 0 --202 173 0 -202 -172 -173 0 --206 88 0 --206 89 0 -206 -88 -89 0 --210 171 0 --210 172 0 -210 -171 -172 0 --214 87 0 --214 88 0 -214 -87 -88 0 --218 170 0 --218 171 0 -218 -170 -171 0 --222 86 0 --222 87 0 -222 -86 -87 0 --226 169 0 --226 170 0 -226 -169 -170 0 --230 85 0 --230 86 0 -230 -85 -86 0 --234 168 0 --234 169 0 -234 -168 -169 0 --238 84 0 --238 85 0 -238 -84 -85 0 --242 167 0 --242 168 0 -242 -167 -168 0 --246 83 0 --246 84 0 -246 -83 -84 0 --250 166 0 --250 167 0 -250 -166 -167 0 --254 82 0 --254 83 0 -254 -82 -83 0 --258 165 0 --258 166 0 -258 -165 -166 0 --262 81 0 --262 82 0 -262 -81 -82 0 --266 164 0 --266 165 0 -266 -164 -165 0 --270 80 0 --270 81 0 -270 -80 -81 0 --274 163 0 --274 164 0 -274 -163 -164 0 --278 79 0 --278 80 0 -278 -79 -80 0 --282 162 0 --282 163 0 -282 -162 -163 0 --286 78 0 --286 79 0 -286 -78 -79 0 --290 161 0 --290 162 0 -290 -161 -162 0 --294 77 0 --294 78 0 -294 -77 -78 0 --298 160 0 --298 161 0 -298 -160 -161 0 --302 76 0 --302 77 0 -302 -76 -77 0 --306 159 0 --306 160 0 -306 -159 -160 0 --310 75 0 --310 76 0 -310 -75 -76 0 --314 158 0 --314 159 0 -314 -158 -159 0 --318 74 0 --318 75 0 -318 -74 -75 0 --322 157 0 --322 158 0 -322 -157 -158 0 --326 73 0 --326 74 0 -326 -73 -74 0 --330 156 0 --330 157 0 -330 -156 -157 0 --334 72 0 --334 73 0 -334 -72 -73 0 --338 155 0 --338 156 0 -338 -155 -156 0 --342 71 0 --342 72 0 -342 -71 -72 0 --346 154 0 --346 155 0 -346 -154 -155 0 --350 70 0 --350 71 0 -350 -70 -71 0 --354 153 0 --354 154 0 -354 -153 -154 0 --358 69 0 --358 70 0 -358 -69 -70 0 --362 152 0 --362 153 0 -362 -152 -153 0 --366 68 0 --366 69 0 -366 -68 -69 0 --370 151 0 --370 152 0 -370 -151 -152 0 --374 67 0 --374 68 0 -374 -67 -68 0 --378 150 0 --378 151 0 -378 -150 -151 0 --382 66 0 --382 67 0 -382 -66 -67 0 --386 149 0 --386 150 0 -386 -149 -150 0 --390 65 0 --390 66 0 -390 -65 -66 0 --394 148 0 --394 149 0 -394 -148 -149 0 --398 64 0 --398 65 0 -398 -64 -65 0 --402 147 0 --402 148 0 -402 -147 -148 0 --406 63 0 --406 64 0 -406 -63 -64 0 --410 146 0 --410 147 0 -410 -146 -147 0 --414 62 0 --414 63 0 -414 -62 -63 0 --418 145 0 --418 146 0 -418 -145 -146 0 --422 61 0 --422 62 0 -422 -61 -62 0 --426 144 0 --426 145 0 -426 -144 -145 0 --430 60 0 --430 61 0 -430 -60 -61 0 --434 143 0 --434 144 0 -434 -143 -144 0 --438 59 0 --438 60 0 -438 -59 -60 0 --442 142 0 --442 143 0 -442 -142 -143 0 --446 58 0 --446 59 0 -446 -58 -59 0 --450 141 0 --450 142 0 -450 -141 -142 0 --454 57 0 --454 58 0 -454 -57 -58 0 --458 140 0 --458 141 0 -458 -140 -141 0 --462 56 0 --462 57 0 -462 -56 -57 0 --466 139 0 --466 140 0 -466 -139 -140 0 --470 55 0 --470 56 0 -470 -55 -56 0 --474 138 0 --474 139 0 -474 -138 -139 0 --478 54 0 --478 55 0 -478 -54 -55 0 --482 137 0 --482 138 0 -482 -137 -138 0 --486 53 0 --486 54 0 -486 -53 -54 0 --490 136 0 --490 137 0 -490 -136 -137 0 --494 52 0 --494 53 0 -494 -52 -53 0 --498 135 0 --498 136 0 -498 -135 -136 0 --502 51 0 --502 52 0 -502 -51 -52 0 --506 134 0 --506 135 0 -506 -134 -135 0 --510 50 0 --510 51 0 -510 -50 -51 0 --514 133 0 --514 134 0 -514 -133 -134 0 --518 49 0 --518 50 0 -518 -49 -50 0 --522 132 0 --522 133 0 -522 -132 -133 0 --526 48 0 --526 49 0 -526 -48 -49 0 --530 131 0 --530 132 0 -530 -131 -132 0 --534 47 0 --534 48 0 -534 -47 -48 0 --538 130 0 --538 131 0 -538 -130 -131 0 --542 46 0 --542 47 0 -542 -46 -47 0 --546 129 0 --546 130 0 -546 -129 -130 0 --550 45 0 --550 46 0 -550 -45 -46 0 --554 128 0 --554 129 0 -554 -128 -129 0 --558 44 0 --558 45 0 -558 -44 -45 0 --562 127 0 --562 128 0 -562 -127 -128 0 --566 43 0 --566 44 0 -566 -43 -44 0 --570 126 0 --570 127 0 -570 -126 -127 0 --574 42 0 --574 43 0 -574 -42 -43 0 --578 125 0 --578 126 0 -578 -125 -126 0 --582 41 0 --582 42 0 -582 -41 -42 0 --586 124 0 --586 125 0 -586 -124 -125 0 --590 40 0 --590 41 0 -590 -40 -41 0 --594 123 0 --594 124 0 -594 -123 -124 0 --598 39 0 --598 40 0 -598 -39 -40 0 --602 122 0 --602 123 0 -602 -122 -123 0 --606 38 0 --606 39 0 -606 -38 -39 0 --610 121 0 --610 122 0 -610 -121 -122 0 --614 37 0 --614 38 0 -614 -37 -38 0 --618 120 0 --618 121 0 -618 -120 -121 0 --622 36 0 --622 37 0 -622 -36 -37 0 --626 119 0 --626 120 0 -626 -119 -120 0 --630 35 0 --630 36 0 -630 -35 -36 0 --634 118 0 --634 119 0 -634 -118 -119 0 --638 34 0 --638 35 0 -638 -34 -35 0 --642 117 0 --642 118 0 -642 -117 -118 0 --646 33 0 --646 34 0 -646 -33 -34 0 --650 116 0 --650 117 0 -650 -116 -117 0 --654 32 0 --654 33 0 -654 -32 -33 0 --658 115 0 --658 116 0 -658 -115 -116 0 --662 31 0 --662 32 0 -662 -31 -32 0 --666 114 0 --666 115 0 -666 -114 -115 0 --670 30 0 --670 31 0 -670 -30 -31 0 --674 113 0 --674 114 0 -674 -113 -114 0 --678 29 0 --678 30 0 -678 -29 -30 0 --682 112 0 --682 113 0 -682 -112 -113 0 --686 28 0 --686 29 0 -686 -28 -29 0 --690 111 0 --690 112 0 -690 -111 -112 0 --694 27 0 --694 28 0 -694 -27 -28 0 --698 110 0 --698 111 0 -698 -110 -111 0 --702 26 0 --702 27 0 -702 -26 -27 0 --706 109 0 --706 110 0 -706 -109 -110 0 --710 25 0 --710 26 0 -710 -25 -26 0 --714 108 0 --714 109 0 -714 -108 -109 0 --718 24 0 --718 25 0 -718 -24 -25 0 --722 107 0 --722 108 0 -722 -107 -108 0 --726 23 0 --726 24 0 -726 -23 -24 0 --730 106 0 --730 107 0 -730 -106 -107 0 --734 22 0 --734 23 0 -734 -22 -23 0 --738 105 0 --738 106 0 -738 -105 -106 0 --742 21 0 --742 22 0 -742 -21 -22 0 --746 104 0 --746 105 0 -746 -104 -105 0 --750 20 0 --750 21 0 -750 -20 -21 0 --754 103 0 --754 104 0 -754 -103 -104 0 --758 19 0 --758 20 0 -758 -19 -20 0 --762 102 0 --762 103 0 -762 -102 -103 0 --766 18 0 --766 19 0 -766 -18 -19 0 --770 101 0 --770 102 0 -770 -101 -102 0 --774 17 0 --774 18 0 -774 -17 -18 0 --778 100 0 --778 101 0 -778 -100 -101 0 --782 16 0 --782 17 0 -782 -16 -17 0 --786 99 0 --786 100 0 -786 -99 -100 0 --790 15 0 --790 16 0 -790 -15 -16 0 --794 98 0 --794 99 0 -794 -98 -99 0 --798 14 0 --798 15 0 -798 -14 -15 0 --802 97 0 --802 98 0 -802 -97 -98 0 --806 13 0 --806 14 0 -806 -13 -14 0 --810 96 0 --810 97 0 -810 -96 -97 0 --814 12 0 --814 13 0 -814 -12 -13 0 --818 95 0 --818 96 0 -818 -95 -96 0 --822 11 0 --822 12 0 -822 -11 -12 0 --826 94 0 --826 95 0 -826 -94 -95 0 --830 10 0 --830 11 0 -830 -10 -11 0 --834 94 0 --834 -185 0 -834 -94 185 0 --838 9 0 --838 10 0 -838 -9 -10 0 --842 -185 0 --842 -193 0 -842 185 193 0 --846 8 0 --846 9 0 -846 -8 -9 0 --850 -193 0 --850 -201 0 -850 193 201 0 --854 7 0 --854 8 0 -854 -7 -8 0 --858 -201 0 --858 -209 0 -858 201 209 0 --862 6 0 --862 7 0 -862 -6 -7 0 --866 -209 0 --866 -217 0 -866 209 217 0 --870 5 0 --870 6 0 -870 -5 -6 0 --874 -217 0 --874 -225 0 -874 217 225 0 --878 4 0 --878 5 0 -878 -4 -5 0 --882 -225 0 --882 -233 0 -882 225 233 0 --886 3 0 --886 4 0 -886 -3 -4 0 --890 -233 0 --890 -241 0 -890 233 241 0 --894 2 0 --894 3 0 -894 -2 -3 0 --898 -241 0 --898 -249 0 -898 241 249 0 --902 1 0 --902 2 0 -902 -1 -2 0 --906 -249 0 --906 -257 0 -906 249 257 0 --910 1 0 --910 -181 0 -910 -1 181 0 --914 -257 0 --914 -265 0 -914 257 265 0 --918 -181 0 --918 -189 0 -918 181 189 0 --922 -265 0 --922 -273 0 -922 265 273 0 --926 -189 0 --926 -197 0 -926 189 197 0 --930 -273 0 --930 -281 0 -930 273 281 0 --934 -197 0 --934 -205 0 -934 197 205 0 --938 -281 0 --938 -289 0 -938 281 289 0 --942 -205 0 --942 -213 0 -942 205 213 0 --946 -289 0 --946 -297 0 -946 289 297 0 --950 -213 0 --950 -221 0 -950 213 221 0 --954 -297 0 --954 -305 0 -954 297 305 0 --958 -221 0 --958 -229 0 -958 221 229 0 --962 -305 0 --962 -313 0 -962 305 313 0 --966 -229 0 --966 -237 0 -966 229 237 0 --970 -313 0 --970 -321 0 -970 313 321 0 --974 -237 0 --974 -245 0 -974 237 245 0 --978 -321 0 --978 -329 0 -978 321 329 0 --982 -245 0 --982 -253 0 -982 245 253 0 --986 -329 0 --986 -337 0 -986 329 337 0 --990 -253 0 --990 -261 0 -990 253 261 0 --994 -337 0 --994 -345 0 -994 337 345 0 --998 -261 0 --998 -269 0 -998 261 269 0 --1002 -345 0 --1002 -353 0 -1002 345 353 0 --1006 -269 0 --1006 -277 0 -1006 269 277 0 --1010 -353 0 --1010 -361 0 -1010 353 361 0 --1014 -277 0 --1014 -285 0 -1014 277 285 0 --1018 -361 0 --1018 -369 0 -1018 361 369 0 --1022 -285 0 --1022 -293 0 -1022 285 293 0 --1026 -369 0 --1026 -377 0 -1026 369 377 0 --1030 -293 0 --1030 -301 0 -1030 293 301 0 --1034 -377 0 --1034 -385 0 -1034 377 385 0 --1038 -301 0 --1038 -309 0 -1038 301 309 0 --1042 -385 0 --1042 -393 0 -1042 385 393 0 --1046 -309 0 --1046 -317 0 -1046 309 317 0 --1050 -393 0 --1050 -401 0 -1050 393 401 0 --1054 -317 0 --1054 -325 0 -1054 317 325 0 --1058 -401 0 --1058 -409 0 -1058 401 409 0 --1062 -325 0 --1062 -333 0 -1062 325 333 0 --1066 -409 0 --1066 -417 0 -1066 409 417 0 --1070 -333 0 --1070 -341 0 -1070 333 341 0 --1074 -417 0 --1074 -425 0 -1074 417 425 0 --1078 -341 0 --1078 -349 0 -1078 341 349 0 --1082 -425 0 --1082 -433 0 -1082 425 433 0 --1086 -349 0 --1086 -357 0 -1086 349 357 0 --1090 -433 0 --1090 -441 0 -1090 433 441 0 --1094 -357 0 --1094 -365 0 -1094 357 365 0 --1098 -441 0 --1098 -449 0 -1098 441 449 0 --1102 -365 0 --1102 -373 0 -1102 365 373 0 --1106 -449 0 --1106 -457 0 -1106 449 457 0 --1110 -373 0 --1110 -381 0 -1110 373 381 0 --1114 -457 0 --1114 -465 0 -1114 457 465 0 --1118 -381 0 --1118 -389 0 -1118 381 389 0 --1122 -465 0 --1122 -473 0 -1122 465 473 0 --1126 -389 0 --1126 -397 0 -1126 389 397 0 --1130 -473 0 --1130 -481 0 -1130 473 481 0 --1134 -397 0 --1134 -405 0 -1134 397 405 0 --1138 -481 0 --1138 -489 0 -1138 481 489 0 --1142 -405 0 --1142 -413 0 -1142 405 413 0 --1146 -489 0 --1146 -497 0 -1146 489 497 0 --1150 -413 0 --1150 -421 0 -1150 413 421 0 --1154 -497 0 --1154 -505 0 -1154 497 505 0 --1158 -421 0 --1158 -429 0 -1158 421 429 0 --1162 -505 0 --1162 -513 0 -1162 505 513 0 --1166 -429 0 --1166 -437 0 -1166 429 437 0 --1170 -513 0 --1170 -521 0 -1170 513 521 0 --1174 -437 0 --1174 -445 0 -1174 437 445 0 --1178 -521 0 --1178 -529 0 -1178 521 529 0 --1182 -445 0 --1182 -453 0 -1182 445 453 0 --1186 -529 0 --1186 -537 0 -1186 529 537 0 --1190 -453 0 --1190 -461 0 -1190 453 461 0 --1194 -537 0 --1194 -545 0 -1194 537 545 0 --1198 -461 0 --1198 -469 0 -1198 461 469 0 --1202 -545 0 --1202 -553 0 -1202 545 553 0 --1206 -469 0 --1206 -477 0 -1206 469 477 0 --1210 -553 0 --1210 -561 0 -1210 553 561 0 --1214 -477 0 --1214 -485 0 -1214 477 485 0 --1218 -561 0 --1218 -569 0 -1218 561 569 0 --1222 -485 0 --1222 -493 0 -1222 485 493 0 --1226 -569 0 --1226 -577 0 -1226 569 577 0 --1230 -577 0 --1230 -585 0 -1230 577 585 0 --1234 -585 0 --1234 -593 0 -1234 585 593 0 --1 389 1514 0 -1 -389 1514 0 -1 389 -1514 0 --1 -389 -1514 0 --1 724 725 0 -1 -724 725 0 -1 724 -725 0 --1 -724 -725 0 --1 919 920 0 -1 -919 920 0 -1 919 -920 0 --1 -919 -920 0 -1 28 1433 0 --1 -28 1433 0 --1 28 -1433 0 -1 -28 -1433 0 -1 702 703 0 --1 -702 703 0 --1 702 -703 0 -1 -702 -703 0 --2 381 1511 0 -2 -381 1511 0 -2 381 -1511 0 --2 -381 -1511 0 --2 716 717 0 -2 -716 717 0 -2 716 -717 0 --2 -716 -717 0 --2 911 912 0 -2 -911 912 0 -2 911 -912 0 --2 -911 -912 0 -2 29 1430 0 --2 -29 1430 0 --2 29 -1430 0 -2 -29 -1430 0 -2 694 695 0 --2 -694 695 0 --2 694 -695 0 -2 -694 -695 0 --3 373 1508 0 -3 -373 1508 0 -3 373 -1508 0 --3 -373 -1508 0 --3 708 709 0 -3 -708 709 0 -3 708 -709 0 --3 -708 -709 0 --3 903 904 0 -3 -903 904 0 -3 903 -904 0 --3 -903 -904 0 -3 30 1427 0 --3 -30 1427 0 --3 30 -1427 0 -3 -30 -1427 0 -3 686 687 0 --3 -686 687 0 --3 686 -687 0 -3 -686 -687 0 --4 365 1505 0 -4 -365 1505 0 -4 365 -1505 0 --4 -365 -1505 0 --4 700 701 0 -4 -700 701 0 -4 700 -701 0 --4 -700 -701 0 --4 895 896 0 -4 -895 896 0 -4 895 -896 0 --4 -895 -896 0 -4 31 1424 0 --4 -31 1424 0 --4 31 -1424 0 -4 -31 -1424 0 -4 678 679 0 --4 -678 679 0 --4 678 -679 0 -4 -678 -679 0 --5 357 1502 0 -5 -357 1502 0 -5 357 -1502 0 --5 -357 -1502 0 --5 692 693 0 -5 -692 693 0 -5 692 -693 0 --5 -692 -693 0 --5 887 888 0 -5 -887 888 0 -5 887 -888 0 --5 -887 -888 0 -5 32 1421 0 --5 -32 1421 0 --5 32 -1421 0 -5 -32 -1421 0 -5 670 671 0 --5 -670 671 0 --5 670 -671 0 -5 -670 -671 0 --6 349 1499 0 -6 -349 1499 0 -6 349 -1499 0 --6 -349 -1499 0 --6 684 685 0 -6 -684 685 0 -6 684 -685 0 --6 -684 -685 0 --6 879 880 0 -6 -879 880 0 -6 879 -880 0 --6 -879 -880 0 -6 33 1418 0 --6 -33 1418 0 --6 33 -1418 0 -6 -33 -1418 0 -6 662 663 0 --6 -662 663 0 --6 662 -663 0 -6 -662 -663 0 --7 341 1496 0 -7 -341 1496 0 -7 341 -1496 0 --7 -341 -1496 0 --7 676 677 0 -7 -676 677 0 -7 676 -677 0 --7 -676 -677 0 --7 871 872 0 -7 -871 872 0 -7 871 -872 0 --7 -871 -872 0 -7 34 1415 0 --7 -34 1415 0 --7 34 -1415 0 -7 -34 -1415 0 -7 654 655 0 --7 -654 655 0 --7 654 -655 0 -7 -654 -655 0 --8 333 1493 0 -8 -333 1493 0 -8 333 -1493 0 --8 -333 -1493 0 --8 668 669 0 -8 -668 669 0 -8 668 -669 0 --8 -668 -669 0 --8 863 864 0 -8 -863 864 0 -8 863 -864 0 --8 -863 -864 0 -8 35 1412 0 --8 -35 1412 0 --8 35 -1412 0 -8 -35 -1412 0 -8 646 647 0 --8 -646 647 0 --8 646 -647 0 -8 -646 -647 0 --9 325 1490 0 -9 -325 1490 0 -9 325 -1490 0 --9 -325 -1490 0 --9 660 661 0 -9 -660 661 0 -9 660 -661 0 --9 -660 -661 0 --9 855 856 0 -9 -855 856 0 -9 855 -856 0 --9 -855 -856 0 -9 36 1409 0 --9 -36 1409 0 --9 36 -1409 0 -9 -36 -1409 0 -9 638 639 0 --9 -638 639 0 --9 638 -639 0 -9 -638 -639 0 --10 317 1487 0 -10 -317 1487 0 -10 317 -1487 0 --10 -317 -1487 0 --10 652 653 0 -10 -652 653 0 -10 652 -653 0 --10 -652 -653 0 --10 847 848 0 -10 -847 848 0 -10 847 -848 0 --10 -847 -848 0 -10 37 1406 0 --10 -37 1406 0 --10 37 -1406 0 -10 -37 -1406 0 -10 630 631 0 --10 -630 631 0 --10 630 -631 0 -10 -630 -631 0 --11 309 1484 0 -11 -309 1484 0 -11 309 -1484 0 --11 -309 -1484 0 --11 644 645 0 -11 -644 645 0 -11 644 -645 0 --11 -644 -645 0 --11 839 840 0 -11 -839 840 0 -11 839 -840 0 --11 -839 -840 0 -11 38 1403 0 --11 -38 1403 0 --11 38 -1403 0 -11 -38 -1403 0 -11 622 623 0 --11 -622 623 0 --11 622 -623 0 -11 -622 -623 0 --12 301 1481 0 -12 -301 1481 0 -12 301 -1481 0 --12 -301 -1481 0 --12 636 637 0 -12 -636 637 0 -12 636 -637 0 --12 -636 -637 0 --12 831 832 0 -12 -831 832 0 -12 831 -832 0 --12 -831 -832 0 -12 39 1400 0 --12 -39 1400 0 --12 39 -1400 0 -12 -39 -1400 0 -12 614 615 0 --12 -614 615 0 --12 614 -615 0 -12 -614 -615 0 --13 293 1478 0 -13 -293 1478 0 -13 293 -1478 0 --13 -293 -1478 0 --13 628 629 0 -13 -628 629 0 -13 628 -629 0 --13 -628 -629 0 --13 823 824 0 -13 -823 824 0 -13 823 -824 0 --13 -823 -824 0 -13 40 1397 0 --13 -40 1397 0 --13 40 -1397 0 -13 -40 -1397 0 -13 606 607 0 --13 -606 607 0 --13 606 -607 0 -13 -606 -607 0 --14 285 1475 0 -14 -285 1475 0 -14 285 -1475 0 --14 -285 -1475 0 --14 620 621 0 -14 -620 621 0 -14 620 -621 0 --14 -620 -621 0 --14 815 816 0 -14 -815 816 0 -14 815 -816 0 --14 -815 -816 0 -14 41 1394 0 --14 -41 1394 0 --14 41 -1394 0 -14 -41 -1394 0 -14 598 599 0 --14 -598 599 0 --14 598 -599 0 -14 -598 -599 0 --15 277 1472 0 -15 -277 1472 0 -15 277 -1472 0 --15 -277 -1472 0 --15 612 613 0 -15 -612 613 0 -15 612 -613 0 --15 -612 -613 0 --15 807 808 0 -15 -807 808 0 -15 807 -808 0 --15 -807 -808 0 -15 42 1391 0 --15 -42 1391 0 --15 42 -1391 0 -15 -42 -1391 0 -15 590 591 0 --15 -590 591 0 --15 590 -591 0 -15 -590 -591 0 --16 269 1469 0 -16 -269 1469 0 -16 269 -1469 0 --16 -269 -1469 0 --16 604 605 0 -16 -604 605 0 -16 604 -605 0 --16 -604 -605 0 --16 799 800 0 -16 -799 800 0 -16 799 -800 0 --16 -799 -800 0 -16 43 1388 0 --16 -43 1388 0 --16 43 -1388 0 -16 -43 -1388 0 -16 582 583 0 --16 -582 583 0 --16 582 -583 0 -16 -582 -583 0 --17 261 1466 0 -17 -261 1466 0 -17 261 -1466 0 --17 -261 -1466 0 --17 596 597 0 -17 -596 597 0 -17 596 -597 0 --17 -596 -597 0 --17 791 792 0 -17 -791 792 0 -17 791 -792 0 --17 -791 -792 0 -17 44 1385 0 --17 -44 1385 0 --17 44 -1385 0 -17 -44 -1385 0 -17 574 575 0 --17 -574 575 0 --17 574 -575 0 -17 -574 -575 0 --18 253 1463 0 -18 -253 1463 0 -18 253 -1463 0 --18 -253 -1463 0 --18 588 589 0 -18 -588 589 0 -18 588 -589 0 --18 -588 -589 0 --18 783 784 0 -18 -783 784 0 -18 783 -784 0 --18 -783 -784 0 -18 45 1382 0 --18 -45 1382 0 --18 45 -1382 0 -18 -45 -1382 0 -18 566 567 0 --18 -566 567 0 --18 566 -567 0 -18 -566 -567 0 --19 245 1460 0 -19 -245 1460 0 -19 245 -1460 0 --19 -245 -1460 0 --19 580 581 0 -19 -580 581 0 -19 580 -581 0 --19 -580 -581 0 --19 775 776 0 -19 -775 776 0 -19 775 -776 0 --19 -775 -776 0 -19 46 1379 0 --19 -46 1379 0 --19 46 -1379 0 -19 -46 -1379 0 -19 558 559 0 --19 -558 559 0 --19 558 -559 0 -19 -558 -559 0 --20 237 1457 0 -20 -237 1457 0 -20 237 -1457 0 --20 -237 -1457 0 --20 572 573 0 -20 -572 573 0 -20 572 -573 0 --20 -572 -573 0 --20 767 768 0 -20 -767 768 0 -20 767 -768 0 --20 -767 -768 0 -20 47 1376 0 --20 -47 1376 0 --20 47 -1376 0 -20 -47 -1376 0 -20 550 551 0 --20 -550 551 0 --20 550 -551 0 -20 -550 -551 0 --21 229 1454 0 -21 -229 1454 0 -21 229 -1454 0 --21 -229 -1454 0 --21 564 565 0 -21 -564 565 0 -21 564 -565 0 --21 -564 -565 0 --21 759 760 0 -21 -759 760 0 -21 759 -760 0 --21 -759 -760 0 -21 48 1373 0 --21 -48 1373 0 --21 48 -1373 0 -21 -48 -1373 0 -21 542 543 0 --21 -542 543 0 --21 542 -543 0 -21 -542 -543 0 --22 221 1451 0 -22 -221 1451 0 -22 221 -1451 0 --22 -221 -1451 0 --22 556 557 0 -22 -556 557 0 -22 556 -557 0 --22 -556 -557 0 --22 751 752 0 -22 -751 752 0 -22 751 -752 0 --22 -751 -752 0 -22 49 1370 0 --22 -49 1370 0 --22 49 -1370 0 -22 -49 -1370 0 -22 534 535 0 --22 -534 535 0 --22 534 -535 0 -22 -534 -535 0 --23 213 1448 0 -23 -213 1448 0 -23 213 -1448 0 --23 -213 -1448 0 --23 548 549 0 -23 -548 549 0 -23 548 -549 0 --23 -548 -549 0 --23 743 744 0 -23 -743 744 0 -23 743 -744 0 --23 -743 -744 0 -23 50 1367 0 --23 -50 1367 0 --23 50 -1367 0 -23 -50 -1367 0 -23 526 527 0 --23 -526 527 0 --23 526 -527 0 -23 -526 -527 0 --24 205 1445 0 -24 -205 1445 0 -24 205 -1445 0 --24 -205 -1445 0 --24 540 541 0 -24 -540 541 0 -24 540 -541 0 --24 -540 -541 0 --24 735 736 0 -24 -735 736 0 -24 735 -736 0 --24 -735 -736 0 -24 51 1364 0 --24 -51 1364 0 --24 51 -1364 0 -24 -51 -1364 0 -24 518 519 0 --24 -518 519 0 --24 518 -519 0 -24 -518 -519 0 --25 197 1442 0 -25 -197 1442 0 -25 197 -1442 0 --25 -197 -1442 0 --25 532 533 0 -25 -532 533 0 -25 532 -533 0 --25 -532 -533 0 --25 727 728 0 -25 -727 728 0 -25 727 -728 0 --25 -727 -728 0 -25 52 1361 0 --25 -52 1361 0 --25 52 -1361 0 -25 -52 -1361 0 -25 510 511 0 --25 -510 511 0 --25 510 -511 0 -25 -510 -511 0 --26 189 1439 0 -26 -189 1439 0 -26 189 -1439 0 --26 -189 -1439 0 --26 524 525 0 -26 -524 525 0 -26 524 -525 0 --26 -524 -525 0 --26 719 720 0 -26 -719 720 0 -26 719 -720 0 --26 -719 -720 0 -26 53 1358 0 --26 -53 1358 0 --26 53 -1358 0 -26 -53 -1358 0 -26 502 503 0 --26 -502 503 0 --26 502 -503 0 -26 -502 -503 0 --27 181 1436 0 -27 -181 1436 0 -27 181 -1436 0 --27 -181 -1436 0 --27 516 517 0 -27 -516 517 0 -27 516 -517 0 --27 -516 -517 0 --27 711 712 0 -27 -711 712 0 -27 711 -712 0 --27 -711 -712 0 -27 54 1355 0 --27 -54 1355 0 --27 54 -1355 0 -27 -54 -1355 0 -27 494 495 0 --27 -494 495 0 --27 494 -495 0 -27 -494 -495 0 --28 508 509 0 -28 -508 509 0 -28 508 -509 0 --28 -508 -509 0 --28 703 704 0 -28 -703 704 0 -28 703 -704 0 --28 -703 -704 0 -28 55 1352 0 --28 -55 1352 0 --28 55 -1352 0 -28 -55 -1352 0 -28 486 487 0 --28 -486 487 0 --28 486 -487 0 -28 -486 -487 0 --29 500 501 0 -29 -500 501 0 -29 500 -501 0 --29 -500 -501 0 --29 695 696 0 -29 -695 696 0 -29 695 -696 0 --29 -695 -696 0 -29 56 1349 0 --29 -56 1349 0 --29 56 -1349 0 -29 -56 -1349 0 -29 478 479 0 --29 -478 479 0 --29 478 -479 0 -29 -478 -479 0 --30 492 493 0 -30 -492 493 0 -30 492 -493 0 --30 -492 -493 0 --30 687 688 0 -30 -687 688 0 -30 687 -688 0 --30 -687 -688 0 -30 57 1346 0 --30 -57 1346 0 --30 57 -1346 0 -30 -57 -1346 0 -30 470 471 0 --30 -470 471 0 --30 470 -471 0 -30 -470 -471 0 --31 484 485 0 -31 -484 485 0 -31 484 -485 0 --31 -484 -485 0 --31 679 680 0 -31 -679 680 0 -31 679 -680 0 --31 -679 -680 0 -31 58 1343 0 --31 -58 1343 0 --31 58 -1343 0 -31 -58 -1343 0 -31 462 463 0 --31 -462 463 0 --31 462 -463 0 -31 -462 -463 0 --32 476 477 0 -32 -476 477 0 -32 476 -477 0 --32 -476 -477 0 --32 671 672 0 -32 -671 672 0 -32 671 -672 0 --32 -671 -672 0 -32 59 1340 0 --32 -59 1340 0 --32 59 -1340 0 -32 -59 -1340 0 -32 454 455 0 --32 -454 455 0 --32 454 -455 0 -32 -454 -455 0 --33 468 469 0 -33 -468 469 0 -33 468 -469 0 --33 -468 -469 0 --33 663 664 0 -33 -663 664 0 -33 663 -664 0 --33 -663 -664 0 -33 60 1337 0 --33 -60 1337 0 --33 60 -1337 0 -33 -60 -1337 0 -33 446 447 0 --33 -446 447 0 --33 446 -447 0 -33 -446 -447 0 --34 460 461 0 -34 -460 461 0 -34 460 -461 0 --34 -460 -461 0 --34 655 656 0 -34 -655 656 0 -34 655 -656 0 --34 -655 -656 0 -34 61 1334 0 --34 -61 1334 0 --34 61 -1334 0 -34 -61 -1334 0 -34 438 439 0 --34 -438 439 0 --34 438 -439 0 -34 -438 -439 0 --35 452 453 0 -35 -452 453 0 -35 452 -453 0 --35 -452 -453 0 --35 647 648 0 -35 -647 648 0 -35 647 -648 0 --35 -647 -648 0 -35 62 1331 0 --35 -62 1331 0 --35 62 -1331 0 -35 -62 -1331 0 -35 430 431 0 --35 -430 431 0 --35 430 -431 0 -35 -430 -431 0 --36 444 445 0 -36 -444 445 0 -36 444 -445 0 --36 -444 -445 0 --36 639 640 0 -36 -639 640 0 -36 639 -640 0 --36 -639 -640 0 -36 63 1328 0 --36 -63 1328 0 --36 63 -1328 0 -36 -63 -1328 0 -36 422 423 0 --36 -422 423 0 --36 422 -423 0 -36 -422 -423 0 --37 436 437 0 -37 -436 437 0 -37 436 -437 0 --37 -436 -437 0 --37 631 632 0 -37 -631 632 0 -37 631 -632 0 --37 -631 -632 0 -37 64 1325 0 --37 -64 1325 0 --37 64 -1325 0 -37 -64 -1325 0 -37 414 415 0 --37 -414 415 0 --37 414 -415 0 -37 -414 -415 0 --38 428 429 0 -38 -428 429 0 -38 428 -429 0 --38 -428 -429 0 --38 623 624 0 -38 -623 624 0 -38 623 -624 0 --38 -623 -624 0 -38 65 1322 0 --38 -65 1322 0 --38 65 -1322 0 -38 -65 -1322 0 -38 406 407 0 --38 -406 407 0 --38 406 -407 0 -38 -406 -407 0 --39 420 421 0 -39 -420 421 0 -39 420 -421 0 --39 -420 -421 0 --39 615 616 0 -39 -615 616 0 -39 615 -616 0 --39 -615 -616 0 -39 66 1319 0 --39 -66 1319 0 --39 66 -1319 0 -39 -66 -1319 0 -39 398 399 0 --39 -398 399 0 --39 398 -399 0 -39 -398 -399 0 --40 412 413 0 -40 -412 413 0 -40 412 -413 0 --40 -412 -413 0 --40 607 608 0 -40 -607 608 0 -40 607 -608 0 --40 -607 -608 0 -40 67 1316 0 --40 -67 1316 0 --40 67 -1316 0 -40 -67 -1316 0 -40 390 391 0 --40 -390 391 0 --40 390 -391 0 -40 -390 -391 0 --41 404 405 0 -41 -404 405 0 -41 404 -405 0 --41 -404 -405 0 --41 599 600 0 -41 -599 600 0 -41 599 -600 0 --41 -599 -600 0 -41 68 1313 0 --41 -68 1313 0 --41 68 -1313 0 -41 -68 -1313 0 -41 382 383 0 --41 -382 383 0 --41 382 -383 0 -41 -382 -383 0 --42 396 397 0 -42 -396 397 0 -42 396 -397 0 --42 -396 -397 0 --42 591 592 0 -42 -591 592 0 -42 591 -592 0 --42 -591 -592 0 -42 69 1310 0 --42 -69 1310 0 --42 69 -1310 0 -42 -69 -1310 0 -42 374 375 0 --42 -374 375 0 --42 374 -375 0 -42 -374 -375 0 --43 388 389 0 -43 -388 389 0 -43 388 -389 0 --43 -388 -389 0 --43 583 584 0 -43 -583 584 0 -43 583 -584 0 --43 -583 -584 0 -43 70 1307 0 --43 -70 1307 0 --43 70 -1307 0 -43 -70 -1307 0 -43 366 367 0 --43 -366 367 0 --43 366 -367 0 -43 -366 -367 0 --44 380 381 0 -44 -380 381 0 -44 380 -381 0 --44 -380 -381 0 --44 575 576 0 -44 -575 576 0 -44 575 -576 0 --44 -575 -576 0 -44 71 1304 0 --44 -71 1304 0 --44 71 -1304 0 -44 -71 -1304 0 -44 358 359 0 --44 -358 359 0 --44 358 -359 0 -44 -358 -359 0 --45 372 373 0 -45 -372 373 0 -45 372 -373 0 --45 -372 -373 0 --45 567 568 0 -45 -567 568 0 -45 567 -568 0 --45 -567 -568 0 -45 72 1301 0 --45 -72 1301 0 --45 72 -1301 0 -45 -72 -1301 0 -45 350 351 0 --45 -350 351 0 --45 350 -351 0 -45 -350 -351 0 --46 364 365 0 -46 -364 365 0 -46 364 -365 0 --46 -364 -365 0 --46 559 560 0 -46 -559 560 0 -46 559 -560 0 --46 -559 -560 0 -46 73 1298 0 --46 -73 1298 0 --46 73 -1298 0 -46 -73 -1298 0 -46 342 343 0 --46 -342 343 0 --46 342 -343 0 -46 -342 -343 0 --47 356 357 0 -47 -356 357 0 -47 356 -357 0 --47 -356 -357 0 --47 551 552 0 -47 -551 552 0 -47 551 -552 0 --47 -551 -552 0 -47 74 1295 0 --47 -74 1295 0 --47 74 -1295 0 -47 -74 -1295 0 -47 334 335 0 --47 -334 335 0 --47 334 -335 0 -47 -334 -335 0 --48 348 349 0 -48 -348 349 0 -48 348 -349 0 --48 -348 -349 0 --48 543 544 0 -48 -543 544 0 -48 543 -544 0 --48 -543 -544 0 -48 75 1292 0 --48 -75 1292 0 --48 75 -1292 0 -48 -75 -1292 0 -48 326 327 0 --48 -326 327 0 --48 326 -327 0 -48 -326 -327 0 --49 340 341 0 -49 -340 341 0 -49 340 -341 0 --49 -340 -341 0 --49 535 536 0 -49 -535 536 0 -49 535 -536 0 --49 -535 -536 0 -49 76 1289 0 --49 -76 1289 0 --49 76 -1289 0 -49 -76 -1289 0 -49 318 319 0 --49 -318 319 0 --49 318 -319 0 -49 -318 -319 0 --50 332 333 0 -50 -332 333 0 -50 332 -333 0 --50 -332 -333 0 --50 527 528 0 -50 -527 528 0 -50 527 -528 0 --50 -527 -528 0 -50 77 1286 0 --50 -77 1286 0 --50 77 -1286 0 -50 -77 -1286 0 -50 310 311 0 --50 -310 311 0 --50 310 -311 0 -50 -310 -311 0 --51 324 325 0 -51 -324 325 0 -51 324 -325 0 --51 -324 -325 0 --51 519 520 0 -51 -519 520 0 -51 519 -520 0 --51 -519 -520 0 -51 78 1283 0 --51 -78 1283 0 --51 78 -1283 0 -51 -78 -1283 0 -51 302 303 0 --51 -302 303 0 --51 302 -303 0 -51 -302 -303 0 --52 316 317 0 -52 -316 317 0 -52 316 -317 0 --52 -316 -317 0 --52 511 512 0 -52 -511 512 0 -52 511 -512 0 --52 -511 -512 0 -52 79 1280 0 --52 -79 1280 0 --52 79 -1280 0 -52 -79 -1280 0 -52 294 295 0 --52 -294 295 0 --52 294 -295 0 -52 -294 -295 0 --53 308 309 0 -53 -308 309 0 -53 308 -309 0 --53 -308 -309 0 --53 503 504 0 -53 -503 504 0 -53 503 -504 0 --53 -503 -504 0 -53 80 1277 0 --53 -80 1277 0 --53 80 -1277 0 -53 -80 -1277 0 -53 286 287 0 --53 -286 287 0 --53 286 -287 0 -53 -286 -287 0 --54 300 301 0 -54 -300 301 0 -54 300 -301 0 --54 -300 -301 0 --54 495 496 0 -54 -495 496 0 -54 495 -496 0 --54 -495 -496 0 -54 81 1274 0 --54 -81 1274 0 --54 81 -1274 0 -54 -81 -1274 0 -54 278 279 0 --54 -278 279 0 --54 278 -279 0 -54 -278 -279 0 --55 292 293 0 -55 -292 293 0 -55 292 -293 0 --55 -292 -293 0 --55 487 488 0 -55 -487 488 0 -55 487 -488 0 --55 -487 -488 0 -55 82 1271 0 --55 -82 1271 0 --55 82 -1271 0 -55 -82 -1271 0 -55 270 271 0 --55 -270 271 0 --55 270 -271 0 -55 -270 -271 0 --56 284 285 0 -56 -284 285 0 -56 284 -285 0 --56 -284 -285 0 --56 479 480 0 -56 -479 480 0 -56 479 -480 0 --56 -479 -480 0 -56 83 1268 0 --56 -83 1268 0 --56 83 -1268 0 -56 -83 -1268 0 -56 262 263 0 --56 -262 263 0 --56 262 -263 0 -56 -262 -263 0 --57 276 277 0 -57 -276 277 0 -57 276 -277 0 --57 -276 -277 0 --57 471 472 0 -57 -471 472 0 -57 471 -472 0 --57 -471 -472 0 -57 84 1265 0 --57 -84 1265 0 --57 84 -1265 0 -57 -84 -1265 0 -57 254 255 0 --57 -254 255 0 --57 254 -255 0 -57 -254 -255 0 --58 268 269 0 -58 -268 269 0 -58 268 -269 0 --58 -268 -269 0 --58 463 464 0 -58 -463 464 0 -58 463 -464 0 --58 -463 -464 0 -58 85 1262 0 --58 -85 1262 0 --58 85 -1262 0 -58 -85 -1262 0 -58 246 247 0 --58 -246 247 0 --58 246 -247 0 -58 -246 -247 0 --59 260 261 0 -59 -260 261 0 -59 260 -261 0 --59 -260 -261 0 --59 455 456 0 -59 -455 456 0 -59 455 -456 0 --59 -455 -456 0 -59 86 1259 0 --59 -86 1259 0 --59 86 -1259 0 -59 -86 -1259 0 -59 238 239 0 --59 -238 239 0 --59 238 -239 0 -59 -238 -239 0 --60 252 253 0 -60 -252 253 0 -60 252 -253 0 --60 -252 -253 0 --60 447 448 0 -60 -447 448 0 -60 447 -448 0 --60 -447 -448 0 -60 87 1256 0 --60 -87 1256 0 --60 87 -1256 0 -60 -87 -1256 0 -60 230 231 0 --60 -230 231 0 --60 230 -231 0 -60 -230 -231 0 --61 244 245 0 -61 -244 245 0 -61 244 -245 0 --61 -244 -245 0 --61 439 440 0 -61 -439 440 0 -61 439 -440 0 --61 -439 -440 0 -61 88 1253 0 --61 -88 1253 0 --61 88 -1253 0 -61 -88 -1253 0 -61 222 223 0 --61 -222 223 0 --61 222 -223 0 -61 -222 -223 0 --62 236 237 0 -62 -236 237 0 -62 236 -237 0 --62 -236 -237 0 --62 431 432 0 -62 -431 432 0 -62 431 -432 0 --62 -431 -432 0 -62 89 1250 0 --62 -89 1250 0 --62 89 -1250 0 -62 -89 -1250 0 -62 214 215 0 --62 -214 215 0 --62 214 -215 0 -62 -214 -215 0 --63 228 229 0 -63 -228 229 0 -63 228 -229 0 --63 -228 -229 0 --63 423 424 0 -63 -423 424 0 -63 423 -424 0 --63 -423 -424 0 -63 90 1247 0 --63 -90 1247 0 --63 90 -1247 0 -63 -90 -1247 0 -63 206 207 0 --63 -206 207 0 --63 206 -207 0 -63 -206 -207 0 --64 220 221 0 -64 -220 221 0 -64 220 -221 0 --64 -220 -221 0 --64 415 416 0 -64 -415 416 0 -64 415 -416 0 --64 -415 -416 0 -64 91 1244 0 --64 -91 1244 0 --64 91 -1244 0 -64 -91 -1244 0 -64 198 199 0 --64 -198 199 0 --64 198 -199 0 -64 -198 -199 0 --65 212 213 0 -65 -212 213 0 -65 212 -213 0 --65 -212 -213 0 --65 407 408 0 -65 -407 408 0 -65 407 -408 0 --65 -407 -408 0 -65 92 1241 0 --65 -92 1241 0 --65 92 -1241 0 -65 -92 -1241 0 -65 190 191 0 --65 -190 191 0 --65 190 -191 0 -65 -190 -191 0 --66 204 205 0 -66 -204 205 0 -66 204 -205 0 --66 -204 -205 0 --66 399 400 0 -66 -399 400 0 -66 399 -400 0 --66 -399 -400 0 -66 93 1238 0 --66 -93 1238 0 --66 93 -1238 0 -66 -93 -1238 0 -66 182 183 0 --66 -182 183 0 --66 182 -183 0 -66 -182 -183 0 --67 196 197 0 -67 -196 197 0 -67 196 -197 0 --67 -196 -197 0 --67 391 392 0 -67 -391 392 0 -67 391 -392 0 --67 -391 -392 0 --68 188 189 0 -68 -188 189 0 -68 188 -189 0 --68 -188 -189 0 --68 383 384 0 -68 -383 384 0 -68 383 -384 0 --68 -383 -384 0 --69 180 181 0 -69 -180 181 0 -69 180 -181 0 --69 -180 -181 0 --69 375 376 0 -69 -375 376 0 -69 375 -376 0 --69 -375 -376 0 --70 367 368 0 -70 -367 368 0 -70 367 -368 0 --70 -367 -368 0 --71 359 360 0 -71 -359 360 0 -71 359 -360 0 --71 -359 -360 0 --72 351 352 0 -72 -351 352 0 -72 351 -352 0 --72 -351 -352 0 --73 343 344 0 -73 -343 344 0 -73 343 -344 0 --73 -343 -344 0 --74 335 336 0 -74 -335 336 0 -74 335 -336 0 --74 -335 -336 0 --75 327 328 0 -75 -327 328 0 -75 327 -328 0 --75 -327 -328 0 --76 319 320 0 -76 -319 320 0 -76 319 -320 0 --76 -319 -320 0 --77 311 312 0 -77 -311 312 0 -77 311 -312 0 --77 -311 -312 0 --78 303 304 0 -78 -303 304 0 -78 303 -304 0 --78 -303 -304 0 --79 295 296 0 -79 -295 296 0 -79 295 -296 0 --79 -295 -296 0 --80 287 288 0 -80 -287 288 0 -80 287 -288 0 --80 -287 -288 0 --81 279 280 0 -81 -279 280 0 -81 279 -280 0 --81 -279 -280 0 --82 271 272 0 -82 -271 272 0 -82 271 -272 0 --82 -271 -272 0 --83 263 264 0 -83 -263 264 0 -83 263 -264 0 --83 -263 -264 0 --84 255 256 0 -84 -255 256 0 -84 255 -256 0 --84 -255 -256 0 --85 247 248 0 -85 -247 248 0 -85 247 -248 0 --85 -247 -248 0 --86 239 240 0 -86 -239 240 0 -86 239 -240 0 --86 -239 -240 0 --87 231 232 0 -87 -231 232 0 -87 231 -232 0 --87 -231 -232 0 --88 223 224 0 -88 -223 224 0 -88 223 -224 0 --88 -223 -224 0 --89 215 216 0 -89 -215 216 0 -89 215 -216 0 --89 -215 -216 0 --90 207 208 0 -90 -207 208 0 -90 207 -208 0 --90 -207 -208 0 --91 199 200 0 -91 -199 200 0 -91 199 -200 0 --91 -199 -200 0 --92 191 192 0 -92 -191 192 0 -92 191 -192 0 --92 -191 -192 0 --93 183 184 0 -93 -183 184 0 -93 183 -184 0 --93 -183 -184 0 --94 297 1488 0 -94 -297 1488 0 -94 297 -1488 0 --94 -297 -1488 0 --94 800 801 0 -94 -800 801 0 -94 800 -801 0 --94 -800 -801 0 --94 843 844 0 -94 -843 844 0 -94 843 -844 0 --94 -843 -844 0 -94 109 1443 0 --94 -109 1443 0 --94 109 -1443 0 -94 -109 -1443 0 -94 722 723 0 --94 -722 723 0 --94 722 -723 0 -94 -722 -723 0 --95 289 1485 0 -95 -289 1485 0 -95 289 -1485 0 --95 -289 -1485 0 --95 792 793 0 -95 -792 793 0 -95 792 -793 0 --95 -792 -793 0 --95 835 836 0 -95 -835 836 0 -95 835 -836 0 --95 -835 -836 0 -95 110 1440 0 --95 -110 1440 0 --95 110 -1440 0 -95 -110 -1440 0 -95 714 715 0 --95 -714 715 0 --95 714 -715 0 -95 -714 -715 0 --96 281 1482 0 -96 -281 1482 0 -96 281 -1482 0 --96 -281 -1482 0 --96 784 785 0 -96 -784 785 0 -96 784 -785 0 --96 -784 -785 0 --96 827 828 0 -96 -827 828 0 -96 827 -828 0 --96 -827 -828 0 -96 111 1437 0 --96 -111 1437 0 --96 111 -1437 0 -96 -111 -1437 0 -96 706 707 0 --96 -706 707 0 --96 706 -707 0 -96 -706 -707 0 --97 273 1479 0 -97 -273 1479 0 -97 273 -1479 0 --97 -273 -1479 0 --97 776 777 0 -97 -776 777 0 -97 776 -777 0 --97 -776 -777 0 --97 819 820 0 -97 -819 820 0 -97 819 -820 0 --97 -819 -820 0 -97 112 1434 0 --97 -112 1434 0 --97 112 -1434 0 -97 -112 -1434 0 -97 698 699 0 --97 -698 699 0 --97 698 -699 0 -97 -698 -699 0 --98 265 1476 0 -98 -265 1476 0 -98 265 -1476 0 --98 -265 -1476 0 --98 768 769 0 -98 -768 769 0 -98 768 -769 0 --98 -768 -769 0 --98 811 812 0 -98 -811 812 0 -98 811 -812 0 --98 -811 -812 0 -98 113 1431 0 --98 -113 1431 0 --98 113 -1431 0 -98 -113 -1431 0 -98 690 691 0 --98 -690 691 0 --98 690 -691 0 -98 -690 -691 0 --99 257 1473 0 -99 -257 1473 0 -99 257 -1473 0 --99 -257 -1473 0 --99 760 761 0 -99 -760 761 0 -99 760 -761 0 --99 -760 -761 0 --99 803 804 0 -99 -803 804 0 -99 803 -804 0 --99 -803 -804 0 -99 114 1428 0 --99 -114 1428 0 --99 114 -1428 0 -99 -114 -1428 0 -99 682 683 0 --99 -682 683 0 --99 682 -683 0 -99 -682 -683 0 --100 249 1470 0 -100 -249 1470 0 -100 249 -1470 0 --100 -249 -1470 0 --100 752 753 0 -100 -752 753 0 -100 752 -753 0 --100 -752 -753 0 --100 795 796 0 -100 -795 796 0 -100 795 -796 0 --100 -795 -796 0 -100 115 1425 0 --100 -115 1425 0 --100 115 -1425 0 -100 -115 -1425 0 -100 674 675 0 --100 -674 675 0 --100 674 -675 0 -100 -674 -675 0 --101 241 1467 0 -101 -241 1467 0 -101 241 -1467 0 --101 -241 -1467 0 --101 744 745 0 -101 -744 745 0 -101 744 -745 0 --101 -744 -745 0 --101 787 788 0 -101 -787 788 0 -101 787 -788 0 --101 -787 -788 0 -101 116 1422 0 --101 -116 1422 0 --101 116 -1422 0 -101 -116 -1422 0 -101 666 667 0 --101 -666 667 0 --101 666 -667 0 -101 -666 -667 0 --102 233 1464 0 -102 -233 1464 0 -102 233 -1464 0 --102 -233 -1464 0 --102 736 737 0 -102 -736 737 0 -102 736 -737 0 --102 -736 -737 0 --102 779 780 0 -102 -779 780 0 -102 779 -780 0 --102 -779 -780 0 -102 117 1419 0 --102 -117 1419 0 --102 117 -1419 0 -102 -117 -1419 0 -102 658 659 0 --102 -658 659 0 --102 658 -659 0 -102 -658 -659 0 --103 225 1461 0 -103 -225 1461 0 -103 225 -1461 0 --103 -225 -1461 0 --103 728 729 0 -103 -728 729 0 -103 728 -729 0 --103 -728 -729 0 --103 771 772 0 -103 -771 772 0 -103 771 -772 0 --103 -771 -772 0 -103 118 1416 0 --103 -118 1416 0 --103 118 -1416 0 -103 -118 -1416 0 -103 650 651 0 --103 -650 651 0 --103 650 -651 0 -103 -650 -651 0 --104 217 1458 0 -104 -217 1458 0 -104 217 -1458 0 --104 -217 -1458 0 --104 720 721 0 -104 -720 721 0 -104 720 -721 0 --104 -720 -721 0 --104 763 764 0 -104 -763 764 0 -104 763 -764 0 --104 -763 -764 0 -104 119 1413 0 --104 -119 1413 0 --104 119 -1413 0 -104 -119 -1413 0 -104 642 643 0 --104 -642 643 0 --104 642 -643 0 -104 -642 -643 0 --105 209 1455 0 -105 -209 1455 0 -105 209 -1455 0 --105 -209 -1455 0 --105 712 713 0 -105 -712 713 0 -105 712 -713 0 --105 -712 -713 0 --105 755 756 0 -105 -755 756 0 -105 755 -756 0 --105 -755 -756 0 -105 120 1410 0 --105 -120 1410 0 --105 120 -1410 0 -105 -120 -1410 0 -105 634 635 0 --105 -634 635 0 --105 634 -635 0 -105 -634 -635 0 --106 201 1452 0 -106 -201 1452 0 -106 201 -1452 0 --106 -201 -1452 0 --106 704 705 0 -106 -704 705 0 -106 704 -705 0 --106 -704 -705 0 --106 747 748 0 -106 -747 748 0 -106 747 -748 0 --106 -747 -748 0 -106 121 1407 0 --106 -121 1407 0 --106 121 -1407 0 -106 -121 -1407 0 -106 626 627 0 --106 -626 627 0 --106 626 -627 0 -106 -626 -627 0 --107 193 1449 0 -107 -193 1449 0 -107 193 -1449 0 --107 -193 -1449 0 --107 696 697 0 -107 -696 697 0 -107 696 -697 0 --107 -696 -697 0 --107 739 740 0 -107 -739 740 0 -107 739 -740 0 --107 -739 -740 0 -107 122 1404 0 --107 -122 1404 0 --107 122 -1404 0 -107 -122 -1404 0 -107 618 619 0 --107 -618 619 0 --107 618 -619 0 -107 -618 -619 0 --108 185 1446 0 -108 -185 1446 0 -108 185 -1446 0 --108 -185 -1446 0 --108 688 689 0 -108 -688 689 0 -108 688 -689 0 --108 -688 -689 0 --108 731 732 0 -108 -731 732 0 -108 731 -732 0 --108 -731 -732 0 -108 123 1401 0 --108 -123 1401 0 --108 123 -1401 0 -108 -123 -1401 0 -108 610 611 0 --108 -610 611 0 --108 610 -611 0 -108 -610 -611 0 --109 680 681 0 -109 -680 681 0 -109 680 -681 0 --109 -680 -681 0 --109 723 724 0 -109 -723 724 0 -109 723 -724 0 --109 -723 -724 0 -109 124 1398 0 --109 -124 1398 0 --109 124 -1398 0 -109 -124 -1398 0 -109 602 603 0 --109 -602 603 0 --109 602 -603 0 -109 -602 -603 0 --110 672 673 0 -110 -672 673 0 -110 672 -673 0 --110 -672 -673 0 --110 715 716 0 -110 -715 716 0 -110 715 -716 0 --110 -715 -716 0 -110 125 1395 0 --110 -125 1395 0 --110 125 -1395 0 -110 -125 -1395 0 -110 594 595 0 --110 -594 595 0 --110 594 -595 0 -110 -594 -595 0 --111 664 665 0 -111 -664 665 0 -111 664 -665 0 --111 -664 -665 0 --111 707 708 0 -111 -707 708 0 -111 707 -708 0 --111 -707 -708 0 -111 126 1392 0 --111 -126 1392 0 --111 126 -1392 0 -111 -126 -1392 0 -111 586 587 0 --111 -586 587 0 --111 586 -587 0 -111 -586 -587 0 --112 656 657 0 -112 -656 657 0 -112 656 -657 0 --112 -656 -657 0 --112 699 700 0 -112 -699 700 0 -112 699 -700 0 --112 -699 -700 0 -112 127 1389 0 --112 -127 1389 0 --112 127 -1389 0 -112 -127 -1389 0 -112 578 579 0 --112 -578 579 0 --112 578 -579 0 -112 -578 -579 0 --113 648 649 0 -113 -648 649 0 -113 648 -649 0 --113 -648 -649 0 --113 691 692 0 -113 -691 692 0 -113 691 -692 0 --113 -691 -692 0 -113 128 1386 0 --113 -128 1386 0 --113 128 -1386 0 -113 -128 -1386 0 -113 570 571 0 --113 -570 571 0 --113 570 -571 0 -113 -570 -571 0 --114 640 641 0 -114 -640 641 0 -114 640 -641 0 --114 -640 -641 0 --114 683 684 0 -114 -683 684 0 -114 683 -684 0 --114 -683 -684 0 -114 129 1383 0 --114 -129 1383 0 --114 129 -1383 0 -114 -129 -1383 0 -114 562 563 0 --114 -562 563 0 --114 562 -563 0 -114 -562 -563 0 --115 632 633 0 -115 -632 633 0 -115 632 -633 0 --115 -632 -633 0 --115 675 676 0 -115 -675 676 0 -115 675 -676 0 --115 -675 -676 0 -115 130 1380 0 --115 -130 1380 0 --115 130 -1380 0 -115 -130 -1380 0 -115 554 555 0 --115 -554 555 0 --115 554 -555 0 -115 -554 -555 0 --116 624 625 0 -116 -624 625 0 -116 624 -625 0 --116 -624 -625 0 --116 667 668 0 -116 -667 668 0 -116 667 -668 0 --116 -667 -668 0 -116 131 1377 0 --116 -131 1377 0 --116 131 -1377 0 -116 -131 -1377 0 -116 546 547 0 --116 -546 547 0 --116 546 -547 0 -116 -546 -547 0 --117 616 617 0 -117 -616 617 0 -117 616 -617 0 --117 -616 -617 0 --117 659 660 0 -117 -659 660 0 -117 659 -660 0 --117 -659 -660 0 -117 132 1374 0 --117 -132 1374 0 --117 132 -1374 0 -117 -132 -1374 0 -117 538 539 0 --117 -538 539 0 --117 538 -539 0 -117 -538 -539 0 --118 608 609 0 -118 -608 609 0 -118 608 -609 0 --118 -608 -609 0 --118 651 652 0 -118 -651 652 0 -118 651 -652 0 --118 -651 -652 0 -118 133 1371 0 --118 -133 1371 0 --118 133 -1371 0 -118 -133 -1371 0 -118 530 531 0 --118 -530 531 0 --118 530 -531 0 -118 -530 -531 0 --119 600 601 0 -119 -600 601 0 -119 600 -601 0 --119 -600 -601 0 --119 643 644 0 -119 -643 644 0 -119 643 -644 0 --119 -643 -644 0 -119 134 1368 0 --119 -134 1368 0 --119 134 -1368 0 -119 -134 -1368 0 -119 522 523 0 --119 -522 523 0 --119 522 -523 0 -119 -522 -523 0 --120 592 593 0 -120 -592 593 0 -120 592 -593 0 --120 -592 -593 0 --120 635 636 0 -120 -635 636 0 -120 635 -636 0 --120 -635 -636 0 -120 135 1365 0 --120 -135 1365 0 --120 135 -1365 0 -120 -135 -1365 0 -120 514 515 0 --120 -514 515 0 --120 514 -515 0 -120 -514 -515 0 --121 584 585 0 -121 -584 585 0 -121 584 -585 0 --121 -584 -585 0 --121 627 628 0 -121 -627 628 0 -121 627 -628 0 --121 -627 -628 0 -121 136 1362 0 --121 -136 1362 0 --121 136 -1362 0 -121 -136 -1362 0 -121 506 507 0 --121 -506 507 0 --121 506 -507 0 -121 -506 -507 0 --122 576 577 0 -122 -576 577 0 -122 576 -577 0 --122 -576 -577 0 --122 619 620 0 -122 -619 620 0 -122 619 -620 0 --122 -619 -620 0 -122 137 1359 0 --122 -137 1359 0 --122 137 -1359 0 -122 -137 -1359 0 -122 498 499 0 --122 -498 499 0 --122 498 -499 0 -122 -498 -499 0 --123 568 569 0 -123 -568 569 0 -123 568 -569 0 --123 -568 -569 0 --123 611 612 0 -123 -611 612 0 -123 611 -612 0 --123 -611 -612 0 -123 138 1356 0 --123 -138 1356 0 --123 138 -1356 0 -123 -138 -1356 0 -123 490 491 0 --123 -490 491 0 --123 490 -491 0 -123 -490 -491 0 --124 560 561 0 -124 -560 561 0 -124 560 -561 0 --124 -560 -561 0 --124 603 604 0 -124 -603 604 0 -124 603 -604 0 --124 -603 -604 0 -124 139 1353 0 --124 -139 1353 0 --124 139 -1353 0 -124 -139 -1353 0 -124 482 483 0 --124 -482 483 0 --124 482 -483 0 -124 -482 -483 0 --125 552 553 0 -125 -552 553 0 -125 552 -553 0 --125 -552 -553 0 --125 595 596 0 -125 -595 596 0 -125 595 -596 0 --125 -595 -596 0 -125 140 1350 0 --125 -140 1350 0 --125 140 -1350 0 -125 -140 -1350 0 -125 474 475 0 --125 -474 475 0 --125 474 -475 0 -125 -474 -475 0 --126 544 545 0 -126 -544 545 0 -126 544 -545 0 --126 -544 -545 0 --126 587 588 0 -126 -587 588 0 -126 587 -588 0 --126 -587 -588 0 -126 141 1347 0 --126 -141 1347 0 --126 141 -1347 0 -126 -141 -1347 0 -126 466 467 0 --126 -466 467 0 --126 466 -467 0 -126 -466 -467 0 --127 536 537 0 -127 -536 537 0 -127 536 -537 0 --127 -536 -537 0 --127 579 580 0 -127 -579 580 0 -127 579 -580 0 --127 -579 -580 0 -127 142 1344 0 --127 -142 1344 0 --127 142 -1344 0 -127 -142 -1344 0 -127 458 459 0 --127 -458 459 0 --127 458 -459 0 -127 -458 -459 0 --128 528 529 0 -128 -528 529 0 -128 528 -529 0 --128 -528 -529 0 --128 571 572 0 -128 -571 572 0 -128 571 -572 0 --128 -571 -572 0 -128 143 1341 0 --128 -143 1341 0 --128 143 -1341 0 -128 -143 -1341 0 -128 450 451 0 --128 -450 451 0 --128 450 -451 0 -128 -450 -451 0 --129 520 521 0 -129 -520 521 0 -129 520 -521 0 --129 -520 -521 0 --129 563 564 0 -129 -563 564 0 -129 563 -564 0 --129 -563 -564 0 -129 144 1338 0 --129 -144 1338 0 --129 144 -1338 0 -129 -144 -1338 0 -129 442 443 0 --129 -442 443 0 --129 442 -443 0 -129 -442 -443 0 --130 512 513 0 -130 -512 513 0 -130 512 -513 0 --130 -512 -513 0 --130 555 556 0 -130 -555 556 0 -130 555 -556 0 --130 -555 -556 0 -130 145 1335 0 --130 -145 1335 0 --130 145 -1335 0 -130 -145 -1335 0 -130 434 435 0 --130 -434 435 0 --130 434 -435 0 -130 -434 -435 0 --131 504 505 0 -131 -504 505 0 -131 504 -505 0 --131 -504 -505 0 --131 547 548 0 -131 -547 548 0 -131 547 -548 0 --131 -547 -548 0 -131 146 1332 0 --131 -146 1332 0 --131 146 -1332 0 -131 -146 -1332 0 -131 426 427 0 --131 -426 427 0 --131 426 -427 0 -131 -426 -427 0 --132 496 497 0 -132 -496 497 0 -132 496 -497 0 --132 -496 -497 0 --132 539 540 0 -132 -539 540 0 -132 539 -540 0 --132 -539 -540 0 -132 147 1329 0 --132 -147 1329 0 --132 147 -1329 0 -132 -147 -1329 0 -132 418 419 0 --132 -418 419 0 --132 418 -419 0 -132 -418 -419 0 --133 488 489 0 -133 -488 489 0 -133 488 -489 0 --133 -488 -489 0 --133 531 532 0 -133 -531 532 0 -133 531 -532 0 --133 -531 -532 0 -133 148 1326 0 --133 -148 1326 0 --133 148 -1326 0 -133 -148 -1326 0 -133 410 411 0 --133 -410 411 0 --133 410 -411 0 -133 -410 -411 0 --134 480 481 0 -134 -480 481 0 -134 480 -481 0 --134 -480 -481 0 --134 523 524 0 -134 -523 524 0 -134 523 -524 0 --134 -523 -524 0 -134 149 1323 0 --134 -149 1323 0 --134 149 -1323 0 -134 -149 -1323 0 -134 402 403 0 --134 -402 403 0 --134 402 -403 0 -134 -402 -403 0 --135 472 473 0 -135 -472 473 0 -135 472 -473 0 --135 -472 -473 0 --135 515 516 0 -135 -515 516 0 -135 515 -516 0 --135 -515 -516 0 -135 150 1320 0 --135 -150 1320 0 --135 150 -1320 0 -135 -150 -1320 0 -135 394 395 0 --135 -394 395 0 --135 394 -395 0 -135 -394 -395 0 --136 464 465 0 -136 -464 465 0 -136 464 -465 0 --136 -464 -465 0 --136 507 508 0 -136 -507 508 0 -136 507 -508 0 --136 -507 -508 0 -136 151 1317 0 --136 -151 1317 0 --136 151 -1317 0 -136 -151 -1317 0 -136 386 387 0 --136 -386 387 0 --136 386 -387 0 -136 -386 -387 0 --137 456 457 0 -137 -456 457 0 -137 456 -457 0 --137 -456 -457 0 --137 499 500 0 -137 -499 500 0 -137 499 -500 0 --137 -499 -500 0 -137 152 1314 0 --137 -152 1314 0 --137 152 -1314 0 -137 -152 -1314 0 -137 378 379 0 --137 -378 379 0 --137 378 -379 0 -137 -378 -379 0 --138 448 449 0 -138 -448 449 0 -138 448 -449 0 --138 -448 -449 0 --138 491 492 0 -138 -491 492 0 -138 491 -492 0 --138 -491 -492 0 -138 153 1311 0 --138 -153 1311 0 --138 153 -1311 0 -138 -153 -1311 0 -138 370 371 0 --138 -370 371 0 --138 370 -371 0 -138 -370 -371 0 --139 440 441 0 -139 -440 441 0 -139 440 -441 0 --139 -440 -441 0 --139 483 484 0 -139 -483 484 0 -139 483 -484 0 --139 -483 -484 0 -139 154 1308 0 --139 -154 1308 0 --139 154 -1308 0 -139 -154 -1308 0 -139 362 363 0 --139 -362 363 0 --139 362 -363 0 -139 -362 -363 0 --140 432 433 0 -140 -432 433 0 -140 432 -433 0 --140 -432 -433 0 --140 475 476 0 -140 -475 476 0 -140 475 -476 0 --140 -475 -476 0 -140 155 1305 0 --140 -155 1305 0 --140 155 -1305 0 -140 -155 -1305 0 -140 354 355 0 --140 -354 355 0 --140 354 -355 0 -140 -354 -355 0 --141 424 425 0 -141 -424 425 0 -141 424 -425 0 --141 -424 -425 0 --141 467 468 0 -141 -467 468 0 -141 467 -468 0 --141 -467 -468 0 -141 156 1302 0 --141 -156 1302 0 --141 156 -1302 0 -141 -156 -1302 0 -141 346 347 0 --141 -346 347 0 --141 346 -347 0 -141 -346 -347 0 --142 416 417 0 -142 -416 417 0 -142 416 -417 0 --142 -416 -417 0 --142 459 460 0 -142 -459 460 0 -142 459 -460 0 --142 -459 -460 0 -142 157 1299 0 --142 -157 1299 0 --142 157 -1299 0 -142 -157 -1299 0 -142 338 339 0 --142 -338 339 0 --142 338 -339 0 -142 -338 -339 0 --143 408 409 0 -143 -408 409 0 -143 408 -409 0 --143 -408 -409 0 --143 451 452 0 -143 -451 452 0 -143 451 -452 0 --143 -451 -452 0 -143 158 1296 0 --143 -158 1296 0 --143 158 -1296 0 -143 -158 -1296 0 -143 330 331 0 --143 -330 331 0 --143 330 -331 0 -143 -330 -331 0 --144 400 401 0 -144 -400 401 0 -144 400 -401 0 --144 -400 -401 0 --144 443 444 0 -144 -443 444 0 -144 443 -444 0 --144 -443 -444 0 -144 159 1293 0 --144 -159 1293 0 --144 159 -1293 0 -144 -159 -1293 0 -144 322 323 0 --144 -322 323 0 --144 322 -323 0 -144 -322 -323 0 --145 392 393 0 -145 -392 393 0 -145 392 -393 0 --145 -392 -393 0 --145 435 436 0 -145 -435 436 0 -145 435 -436 0 --145 -435 -436 0 -145 160 1290 0 --145 -160 1290 0 --145 160 -1290 0 -145 -160 -1290 0 -145 314 315 0 --145 -314 315 0 --145 314 -315 0 -145 -314 -315 0 --146 384 385 0 -146 -384 385 0 -146 384 -385 0 --146 -384 -385 0 --146 427 428 0 -146 -427 428 0 -146 427 -428 0 --146 -427 -428 0 -146 161 1287 0 --146 -161 1287 0 --146 161 -1287 0 -146 -161 -1287 0 -146 306 307 0 --146 -306 307 0 --146 306 -307 0 -146 -306 -307 0 --147 376 377 0 -147 -376 377 0 -147 376 -377 0 --147 -376 -377 0 --147 419 420 0 -147 -419 420 0 -147 419 -420 0 --147 -419 -420 0 -147 162 1284 0 --147 -162 1284 0 --147 162 -1284 0 -147 -162 -1284 0 -147 298 299 0 --147 -298 299 0 --147 298 -299 0 -147 -298 -299 0 --148 368 369 0 -148 -368 369 0 -148 368 -369 0 --148 -368 -369 0 --148 411 412 0 -148 -411 412 0 -148 411 -412 0 --148 -411 -412 0 -148 163 1281 0 --148 -163 1281 0 --148 163 -1281 0 -148 -163 -1281 0 -148 290 291 0 --148 -290 291 0 --148 290 -291 0 -148 -290 -291 0 --149 360 361 0 -149 -360 361 0 -149 360 -361 0 --149 -360 -361 0 --149 403 404 0 -149 -403 404 0 -149 403 -404 0 --149 -403 -404 0 -149 164 1278 0 --149 -164 1278 0 --149 164 -1278 0 -149 -164 -1278 0 -149 282 283 0 --149 -282 283 0 --149 282 -283 0 -149 -282 -283 0 --150 352 353 0 -150 -352 353 0 -150 352 -353 0 --150 -352 -353 0 --150 395 396 0 -150 -395 396 0 -150 395 -396 0 --150 -395 -396 0 -150 165 1275 0 --150 -165 1275 0 --150 165 -1275 0 -150 -165 -1275 0 -150 274 275 0 --150 -274 275 0 --150 274 -275 0 -150 -274 -275 0 --151 344 345 0 -151 -344 345 0 -151 344 -345 0 --151 -344 -345 0 --151 387 388 0 -151 -387 388 0 -151 387 -388 0 --151 -387 -388 0 -151 166 1272 0 --151 -166 1272 0 --151 166 -1272 0 -151 -166 -1272 0 -151 266 267 0 --151 -266 267 0 --151 266 -267 0 -151 -266 -267 0 --152 336 337 0 -152 -336 337 0 -152 336 -337 0 --152 -336 -337 0 --152 379 380 0 -152 -379 380 0 -152 379 -380 0 --152 -379 -380 0 -152 167 1269 0 --152 -167 1269 0 --152 167 -1269 0 -152 -167 -1269 0 -152 258 259 0 --152 -258 259 0 --152 258 -259 0 -152 -258 -259 0 --153 328 329 0 -153 -328 329 0 -153 328 -329 0 --153 -328 -329 0 --153 371 372 0 -153 -371 372 0 -153 371 -372 0 --153 -371 -372 0 -153 168 1266 0 --153 -168 1266 0 --153 168 -1266 0 -153 -168 -1266 0 -153 250 251 0 --153 -250 251 0 --153 250 -251 0 -153 -250 -251 0 --154 320 321 0 -154 -320 321 0 -154 320 -321 0 --154 -320 -321 0 --154 363 364 0 -154 -363 364 0 -154 363 -364 0 --154 -363 -364 0 -154 169 1263 0 --154 -169 1263 0 --154 169 -1263 0 -154 -169 -1263 0 -154 242 243 0 --154 -242 243 0 --154 242 -243 0 -154 -242 -243 0 --155 312 313 0 -155 -312 313 0 -155 312 -313 0 --155 -312 -313 0 --155 355 356 0 -155 -355 356 0 -155 355 -356 0 --155 -355 -356 0 -155 170 1260 0 --155 -170 1260 0 --155 170 -1260 0 -155 -170 -1260 0 -155 234 235 0 --155 -234 235 0 --155 234 -235 0 -155 -234 -235 0 --156 304 305 0 -156 -304 305 0 -156 304 -305 0 --156 -304 -305 0 --156 347 348 0 -156 -347 348 0 -156 347 -348 0 --156 -347 -348 0 -156 171 1257 0 --156 -171 1257 0 --156 171 -1257 0 -156 -171 -1257 0 -156 226 227 0 --156 -226 227 0 --156 226 -227 0 -156 -226 -227 0 --157 296 297 0 -157 -296 297 0 -157 296 -297 0 --157 -296 -297 0 --157 339 340 0 -157 -339 340 0 -157 339 -340 0 --157 -339 -340 0 -157 172 1254 0 --157 -172 1254 0 --157 172 -1254 0 -157 -172 -1254 0 -157 218 219 0 --157 -218 219 0 --157 218 -219 0 -157 -218 -219 0 --158 288 289 0 -158 -288 289 0 -158 288 -289 0 --158 -288 -289 0 --158 331 332 0 -158 -331 332 0 -158 331 -332 0 --158 -331 -332 0 -158 173 1251 0 --158 -173 1251 0 --158 173 -1251 0 -158 -173 -1251 0 -158 210 211 0 --158 -210 211 0 --158 210 -211 0 -158 -210 -211 0 --159 280 281 0 -159 -280 281 0 -159 280 -281 0 --159 -280 -281 0 --159 323 324 0 -159 -323 324 0 -159 323 -324 0 --159 -323 -324 0 -159 174 1248 0 --159 -174 1248 0 --159 174 -1248 0 -159 -174 -1248 0 -159 202 203 0 --159 -202 203 0 --159 202 -203 0 -159 -202 -203 0 --160 272 273 0 -160 -272 273 0 -160 272 -273 0 --160 -272 -273 0 --160 315 316 0 -160 -315 316 0 -160 315 -316 0 --160 -315 -316 0 -160 175 1245 0 --160 -175 1245 0 --160 175 -1245 0 -160 -175 -1245 0 -160 194 195 0 --160 -194 195 0 --160 194 -195 0 -160 -194 -195 0 --161 264 265 0 -161 -264 265 0 -161 264 -265 0 --161 -264 -265 0 --161 307 308 0 -161 -307 308 0 -161 307 -308 0 --161 -307 -308 0 -161 176 1242 0 --161 -176 1242 0 --161 176 -1242 0 -161 -176 -1242 0 -161 186 187 0 --161 -186 187 0 --161 186 -187 0 -161 -186 -187 0 --162 256 257 0 -162 -256 257 0 -162 256 -257 0 --162 -256 -257 0 --162 299 300 0 -162 -299 300 0 -162 299 -300 0 --162 -299 -300 0 -162 177 1239 0 --162 -177 1239 0 --162 177 -1239 0 -162 -177 -1239 0 -162 178 179 0 --162 -178 179 0 --162 178 -179 0 -162 -178 -179 0 --163 248 249 0 -163 -248 249 0 -163 248 -249 0 --163 -248 -249 0 --163 291 292 0 -163 -291 292 0 -163 291 -292 0 --163 -291 -292 0 --164 240 241 0 -164 -240 241 0 -164 240 -241 0 --164 -240 -241 0 --164 283 284 0 -164 -283 284 0 -164 283 -284 0 --164 -283 -284 0 --165 232 233 0 -165 -232 233 0 -165 232 -233 0 --165 -232 -233 0 --165 275 276 0 -165 -275 276 0 -165 275 -276 0 --165 -275 -276 0 --166 224 225 0 -166 -224 225 0 -166 224 -225 0 --166 -224 -225 0 --166 267 268 0 -166 -267 268 0 -166 267 -268 0 --166 -267 -268 0 --167 216 217 0 -167 -216 217 0 -167 216 -217 0 --167 -216 -217 0 --167 259 260 0 -167 -259 260 0 -167 259 -260 0 --167 -259 -260 0 --168 208 209 0 -168 -208 209 0 -168 208 -209 0 --168 -208 -209 0 --168 251 252 0 -168 -251 252 0 -168 251 -252 0 --168 -251 -252 0 --169 200 201 0 -169 -200 201 0 -169 200 -201 0 --169 -200 -201 0 --169 243 244 0 -169 -243 244 0 -169 243 -244 0 --169 -243 -244 0 --170 192 193 0 -170 -192 193 0 -170 192 -193 0 --170 -192 -193 0 --170 235 236 0 -170 -235 236 0 -170 235 -236 0 --170 -235 -236 0 --171 184 185 0 -171 -184 185 0 -171 184 -185 0 --171 -184 -185 0 --171 227 228 0 -171 -227 228 0 -171 227 -228 0 --171 -227 -228 0 --172 219 220 0 -172 -219 220 0 -172 219 -220 0 --172 -219 -220 0 --173 211 212 0 -173 -211 212 0 -173 211 -212 0 --173 -211 -212 0 --174 203 204 0 -174 -203 204 0 -174 203 -204 0 --174 -203 -204 0 --175 195 196 0 -175 -195 196 0 -175 195 -196 0 --175 -195 -196 0 --176 187 188 0 -176 -187 188 0 -176 187 -188 0 --176 -187 -188 0 --177 179 180 0 -177 -179 180 0 -177 179 -180 0 --177 -179 -180 0 --181 710 711 0 -181 -710 711 0 -181 710 -711 0 --181 -710 -711 0 -181 397 1517 0 --181 -397 1517 0 --181 397 -1517 0 -181 -397 -1517 0 -181 732 733 0 --181 -732 733 0 --181 732 -733 0 -181 -732 -733 0 -181 927 928 0 --181 -927 928 0 --181 927 -928 0 -181 -927 -928 0 --185 730 731 0 -185 -730 731 0 -185 730 -731 0 --185 -730 -731 0 -185 305 1491 0 --185 -305 1491 0 --185 305 -1491 0 -185 -305 -1491 0 -185 808 809 0 --185 -808 809 0 --185 808 -809 0 -185 -808 -809 0 -185 851 852 0 --185 -851 852 0 --185 851 -852 0 -185 -851 -852 0 --189 718 719 0 -189 -718 719 0 -189 718 -719 0 --189 -718 -719 0 -189 405 1520 0 --189 -405 1520 0 --189 405 -1520 0 -189 -405 -1520 0 -189 740 741 0 --189 -740 741 0 --189 740 -741 0 -189 -740 -741 0 -189 935 936 0 --189 -935 936 0 --189 935 -936 0 -189 -935 -936 0 --193 738 739 0 -193 -738 739 0 -193 738 -739 0 --193 -738 -739 0 -193 313 1494 0 --193 -313 1494 0 --193 313 -1494 0 -193 -313 -1494 0 -193 816 817 0 --193 -816 817 0 --193 816 -817 0 -193 -816 -817 0 -193 859 860 0 --193 -859 860 0 --193 859 -860 0 -193 -859 -860 0 --197 726 727 0 -197 -726 727 0 -197 726 -727 0 --197 -726 -727 0 -197 413 1523 0 --197 -413 1523 0 --197 413 -1523 0 -197 -413 -1523 0 -197 748 749 0 --197 -748 749 0 --197 748 -749 0 -197 -748 -749 0 -197 943 944 0 --197 -943 944 0 --197 943 -944 0 -197 -943 -944 0 --201 746 747 0 -201 -746 747 0 -201 746 -747 0 --201 -746 -747 0 -201 321 1497 0 --201 -321 1497 0 --201 321 -1497 0 -201 -321 -1497 0 -201 824 825 0 --201 -824 825 0 --201 824 -825 0 -201 -824 -825 0 -201 867 868 0 --201 -867 868 0 --201 867 -868 0 -201 -867 -868 0 --205 734 735 0 -205 -734 735 0 -205 734 -735 0 --205 -734 -735 0 -205 421 1526 0 --205 -421 1526 0 --205 421 -1526 0 -205 -421 -1526 0 -205 756 757 0 --205 -756 757 0 --205 756 -757 0 -205 -756 -757 0 -205 951 952 0 --205 -951 952 0 --205 951 -952 0 -205 -951 -952 0 --209 754 755 0 -209 -754 755 0 -209 754 -755 0 --209 -754 -755 0 -209 329 1500 0 --209 -329 1500 0 --209 329 -1500 0 -209 -329 -1500 0 -209 832 833 0 --209 -832 833 0 --209 832 -833 0 -209 -832 -833 0 -209 875 876 0 --209 -875 876 0 --209 875 -876 0 -209 -875 -876 0 --213 742 743 0 -213 -742 743 0 -213 742 -743 0 --213 -742 -743 0 -213 429 1529 0 --213 -429 1529 0 --213 429 -1529 0 -213 -429 -1529 0 -213 764 765 0 --213 -764 765 0 --213 764 -765 0 -213 -764 -765 0 -213 959 960 0 --213 -959 960 0 --213 959 -960 0 -213 -959 -960 0 --217 762 763 0 -217 -762 763 0 -217 762 -763 0 --217 -762 -763 0 -217 337 1503 0 --217 -337 1503 0 --217 337 -1503 0 -217 -337 -1503 0 -217 840 841 0 --217 -840 841 0 --217 840 -841 0 -217 -840 -841 0 -217 883 884 0 --217 -883 884 0 --217 883 -884 0 -217 -883 -884 0 --221 750 751 0 -221 -750 751 0 -221 750 -751 0 --221 -750 -751 0 -221 437 1532 0 --221 -437 1532 0 --221 437 -1532 0 -221 -437 -1532 0 -221 772 773 0 --221 -772 773 0 --221 772 -773 0 -221 -772 -773 0 -221 967 968 0 --221 -967 968 0 --221 967 -968 0 -221 -967 -968 0 --225 770 771 0 -225 -770 771 0 -225 770 -771 0 --225 -770 -771 0 -225 345 1506 0 --225 -345 1506 0 --225 345 -1506 0 -225 -345 -1506 0 -225 848 849 0 --225 -848 849 0 --225 848 -849 0 -225 -848 -849 0 -225 891 892 0 --225 -891 892 0 --225 891 -892 0 -225 -891 -892 0 --229 758 759 0 -229 -758 759 0 -229 758 -759 0 --229 -758 -759 0 -229 445 1535 0 --229 -445 1535 0 --229 445 -1535 0 -229 -445 -1535 0 -229 780 781 0 --229 -780 781 0 --229 780 -781 0 -229 -780 -781 0 -229 975 976 0 --229 -975 976 0 --229 975 -976 0 -229 -975 -976 0 --233 778 779 0 -233 -778 779 0 -233 778 -779 0 --233 -778 -779 0 -233 353 1509 0 --233 -353 1509 0 --233 353 -1509 0 -233 -353 -1509 0 -233 856 857 0 --233 -856 857 0 --233 856 -857 0 -233 -856 -857 0 -233 899 900 0 --233 -899 900 0 --233 899 -900 0 -233 -899 -900 0 --237 766 767 0 -237 -766 767 0 -237 766 -767 0 --237 -766 -767 0 -237 453 1538 0 --237 -453 1538 0 --237 453 -1538 0 -237 -453 -1538 0 -237 788 789 0 --237 -788 789 0 --237 788 -789 0 -237 -788 -789 0 -237 983 984 0 --237 -983 984 0 --237 983 -984 0 -237 -983 -984 0 --241 786 787 0 -241 -786 787 0 -241 786 -787 0 --241 -786 -787 0 -241 361 1512 0 --241 -361 1512 0 --241 361 -1512 0 -241 -361 -1512 0 -241 864 865 0 --241 -864 865 0 --241 864 -865 0 -241 -864 -865 0 -241 907 908 0 --241 -907 908 0 --241 907 -908 0 -241 -907 -908 0 --245 774 775 0 -245 -774 775 0 -245 774 -775 0 --245 -774 -775 0 -245 461 1541 0 --245 -461 1541 0 --245 461 -1541 0 -245 -461 -1541 0 -245 796 797 0 --245 -796 797 0 --245 796 -797 0 -245 -796 -797 0 -245 991 992 0 --245 -991 992 0 --245 991 -992 0 -245 -991 -992 0 --249 794 795 0 -249 -794 795 0 -249 794 -795 0 --249 -794 -795 0 -249 369 1515 0 --249 -369 1515 0 --249 369 -1515 0 -249 -369 -1515 0 -249 872 873 0 --249 -872 873 0 --249 872 -873 0 -249 -872 -873 0 -249 915 916 0 --249 -915 916 0 --249 915 -916 0 -249 -915 -916 0 --253 782 783 0 -253 -782 783 0 -253 782 -783 0 --253 -782 -783 0 -253 469 1544 0 --253 -469 1544 0 --253 469 -1544 0 -253 -469 -1544 0 -253 804 805 0 --253 -804 805 0 --253 804 -805 0 -253 -804 -805 0 -253 999 1000 0 --253 -999 1000 0 --253 999 -1000 0 -253 -999 -1000 0 --257 802 803 0 -257 -802 803 0 -257 802 -803 0 --257 -802 -803 0 -257 377 1518 0 --257 -377 1518 0 --257 377 -1518 0 -257 -377 -1518 0 -257 880 881 0 --257 -880 881 0 --257 880 -881 0 -257 -880 -881 0 -257 923 924 0 --257 -923 924 0 --257 923 -924 0 -257 -923 -924 0 --261 790 791 0 -261 -790 791 0 -261 790 -791 0 --261 -790 -791 0 -261 477 1547 0 --261 -477 1547 0 --261 477 -1547 0 -261 -477 -1547 0 -261 812 813 0 --261 -812 813 0 --261 812 -813 0 -261 -812 -813 0 -261 1007 1008 0 --261 -1007 1008 0 --261 1007 -1008 0 -261 -1007 -1008 0 --265 810 811 0 -265 -810 811 0 -265 810 -811 0 --265 -810 -811 0 -265 385 1521 0 --265 -385 1521 0 --265 385 -1521 0 -265 -385 -1521 0 -265 888 889 0 --265 -888 889 0 --265 888 -889 0 -265 -888 -889 0 -265 931 932 0 --265 -931 932 0 --265 931 -932 0 -265 -931 -932 0 --269 798 799 0 -269 -798 799 0 -269 798 -799 0 --269 -798 -799 0 -269 485 1550 0 --269 -485 1550 0 --269 485 -1550 0 -269 -485 -1550 0 -269 820 821 0 --269 -820 821 0 --269 820 -821 0 -269 -820 -821 0 -269 1015 1016 0 --269 -1015 1016 0 --269 1015 -1016 0 -269 -1015 -1016 0 --273 818 819 0 -273 -818 819 0 -273 818 -819 0 --273 -818 -819 0 -273 393 1524 0 --273 -393 1524 0 --273 393 -1524 0 -273 -393 -1524 0 -273 896 897 0 --273 -896 897 0 --273 896 -897 0 -273 -896 -897 0 -273 939 940 0 --273 -939 940 0 --273 939 -940 0 -273 -939 -940 0 --277 806 807 0 -277 -806 807 0 -277 806 -807 0 --277 -806 -807 0 -277 493 1553 0 --277 -493 1553 0 --277 493 -1553 0 -277 -493 -1553 0 -277 828 829 0 --277 -828 829 0 --277 828 -829 0 -277 -828 -829 0 -277 1023 1024 0 --277 -1023 1024 0 --277 1023 -1024 0 -277 -1023 -1024 0 --281 826 827 0 -281 -826 827 0 -281 826 -827 0 --281 -826 -827 0 -281 401 1527 0 --281 -401 1527 0 --281 401 -1527 0 -281 -401 -1527 0 -281 904 905 0 --281 -904 905 0 --281 904 -905 0 -281 -904 -905 0 -281 947 948 0 --281 -947 948 0 --281 947 -948 0 -281 -947 -948 0 --285 814 815 0 -285 -814 815 0 -285 814 -815 0 --285 -814 -815 0 -285 501 1556 0 --285 -501 1556 0 --285 501 -1556 0 -285 -501 -1556 0 -285 836 837 0 --285 -836 837 0 --285 836 -837 0 -285 -836 -837 0 -285 1031 1032 0 --285 -1031 1032 0 --285 1031 -1032 0 -285 -1031 -1032 0 --289 834 835 0 -289 -834 835 0 -289 834 -835 0 --289 -834 -835 0 -289 409 1530 0 --289 -409 1530 0 --289 409 -1530 0 -289 -409 -1530 0 -289 912 913 0 --289 -912 913 0 --289 912 -913 0 -289 -912 -913 0 -289 955 956 0 --289 -955 956 0 --289 955 -956 0 -289 -955 -956 0 --293 822 823 0 -293 -822 823 0 -293 822 -823 0 --293 -822 -823 0 -293 509 1559 0 --293 -509 1559 0 --293 509 -1559 0 -293 -509 -1559 0 -293 844 845 0 --293 -844 845 0 --293 844 -845 0 -293 -844 -845 0 -293 1039 1040 0 --293 -1039 1040 0 --293 1039 -1040 0 -293 -1039 -1040 0 --297 842 843 0 -297 -842 843 0 -297 842 -843 0 --297 -842 -843 0 -297 417 1533 0 --297 -417 1533 0 --297 417 -1533 0 -297 -417 -1533 0 -297 920 921 0 --297 -920 921 0 --297 920 -921 0 -297 -920 -921 0 -297 963 964 0 --297 -963 964 0 --297 963 -964 0 -297 -963 -964 0 --301 830 831 0 -301 -830 831 0 -301 830 -831 0 --301 -830 -831 0 -301 517 1562 0 --301 -517 1562 0 --301 517 -1562 0 -301 -517 -1562 0 -301 852 853 0 --301 -852 853 0 --301 852 -853 0 -301 -852 -853 0 -301 1047 1048 0 --301 -1047 1048 0 --301 1047 -1048 0 -301 -1047 -1048 0 --305 850 851 0 -305 -850 851 0 -305 850 -851 0 --305 -850 -851 0 -305 425 1536 0 --305 -425 1536 0 --305 425 -1536 0 -305 -425 -1536 0 -305 928 929 0 --305 -928 929 0 --305 928 -929 0 -305 -928 -929 0 -305 971 972 0 --305 -971 972 0 --305 971 -972 0 -305 -971 -972 0 --309 838 839 0 -309 -838 839 0 -309 838 -839 0 --309 -838 -839 0 -309 525 1565 0 --309 -525 1565 0 --309 525 -1565 0 -309 -525 -1565 0 -309 860 861 0 --309 -860 861 0 --309 860 -861 0 -309 -860 -861 0 -309 1055 1056 0 --309 -1055 1056 0 --309 1055 -1056 0 -309 -1055 -1056 0 --313 858 859 0 -313 -858 859 0 -313 858 -859 0 --313 -858 -859 0 -313 433 1539 0 --313 -433 1539 0 --313 433 -1539 0 -313 -433 -1539 0 -313 936 937 0 --313 -936 937 0 --313 936 -937 0 -313 -936 -937 0 -313 979 980 0 --313 -979 980 0 --313 979 -980 0 -313 -979 -980 0 --317 846 847 0 -317 -846 847 0 -317 846 -847 0 --317 -846 -847 0 -317 533 1568 0 --317 -533 1568 0 --317 533 -1568 0 -317 -533 -1568 0 -317 868 869 0 --317 -868 869 0 --317 868 -869 0 -317 -868 -869 0 -317 1063 1064 0 --317 -1063 1064 0 --317 1063 -1064 0 -317 -1063 -1064 0 --321 866 867 0 -321 -866 867 0 -321 866 -867 0 --321 -866 -867 0 -321 441 1542 0 --321 -441 1542 0 --321 441 -1542 0 -321 -441 -1542 0 -321 944 945 0 --321 -944 945 0 --321 944 -945 0 -321 -944 -945 0 -321 987 988 0 --321 -987 988 0 --321 987 -988 0 -321 -987 -988 0 --325 854 855 0 -325 -854 855 0 -325 854 -855 0 --325 -854 -855 0 -325 541 1571 0 --325 -541 1571 0 --325 541 -1571 0 -325 -541 -1571 0 -325 876 877 0 --325 -876 877 0 --325 876 -877 0 -325 -876 -877 0 -325 1071 1072 0 --325 -1071 1072 0 --325 1071 -1072 0 -325 -1071 -1072 0 --329 874 875 0 -329 -874 875 0 -329 874 -875 0 --329 -874 -875 0 -329 449 1545 0 --329 -449 1545 0 --329 449 -1545 0 -329 -449 -1545 0 -329 952 953 0 --329 -952 953 0 --329 952 -953 0 -329 -952 -953 0 -329 995 996 0 --329 -995 996 0 --329 995 -996 0 -329 -995 -996 0 --333 862 863 0 -333 -862 863 0 -333 862 -863 0 --333 -862 -863 0 -333 549 1574 0 --333 -549 1574 0 --333 549 -1574 0 -333 -549 -1574 0 -333 884 885 0 --333 -884 885 0 --333 884 -885 0 -333 -884 -885 0 -333 1079 1080 0 --333 -1079 1080 0 --333 1079 -1080 0 -333 -1079 -1080 0 --337 882 883 0 -337 -882 883 0 -337 882 -883 0 --337 -882 -883 0 -337 457 1548 0 --337 -457 1548 0 --337 457 -1548 0 -337 -457 -1548 0 -337 960 961 0 --337 -960 961 0 --337 960 -961 0 -337 -960 -961 0 -337 1003 1004 0 --337 -1003 1004 0 --337 1003 -1004 0 -337 -1003 -1004 0 --341 870 871 0 -341 -870 871 0 -341 870 -871 0 --341 -870 -871 0 -341 557 1577 0 --341 -557 1577 0 --341 557 -1577 0 -341 -557 -1577 0 -341 892 893 0 --341 -892 893 0 --341 892 -893 0 -341 -892 -893 0 -341 1087 1088 0 --341 -1087 1088 0 --341 1087 -1088 0 -341 -1087 -1088 0 --345 890 891 0 -345 -890 891 0 -345 890 -891 0 --345 -890 -891 0 -345 465 1551 0 --345 -465 1551 0 --345 465 -1551 0 -345 -465 -1551 0 -345 968 969 0 --345 -968 969 0 --345 968 -969 0 -345 -968 -969 0 -345 1011 1012 0 --345 -1011 1012 0 --345 1011 -1012 0 -345 -1011 -1012 0 --349 878 879 0 -349 -878 879 0 -349 878 -879 0 --349 -878 -879 0 -349 565 1580 0 --349 -565 1580 0 --349 565 -1580 0 -349 -565 -1580 0 -349 900 901 0 --349 -900 901 0 --349 900 -901 0 -349 -900 -901 0 -349 1095 1096 0 --349 -1095 1096 0 --349 1095 -1096 0 -349 -1095 -1096 0 --353 898 899 0 -353 -898 899 0 -353 898 -899 0 --353 -898 -899 0 -353 473 1554 0 --353 -473 1554 0 --353 473 -1554 0 -353 -473 -1554 0 -353 976 977 0 --353 -976 977 0 --353 976 -977 0 -353 -976 -977 0 -353 1019 1020 0 --353 -1019 1020 0 --353 1019 -1020 0 -353 -1019 -1020 0 --357 886 887 0 -357 -886 887 0 -357 886 -887 0 --357 -886 -887 0 -357 573 1583 0 --357 -573 1583 0 --357 573 -1583 0 -357 -573 -1583 0 -357 908 909 0 --357 -908 909 0 --357 908 -909 0 -357 -908 -909 0 -357 1103 1104 0 --357 -1103 1104 0 --357 1103 -1104 0 -357 -1103 -1104 0 --361 906 907 0 -361 -906 907 0 -361 906 -907 0 --361 -906 -907 0 -361 481 1557 0 --361 -481 1557 0 --361 481 -1557 0 -361 -481 -1557 0 -361 984 985 0 --361 -984 985 0 --361 984 -985 0 -361 -984 -985 0 -361 1027 1028 0 --361 -1027 1028 0 --361 1027 -1028 0 -361 -1027 -1028 0 --365 894 895 0 -365 -894 895 0 -365 894 -895 0 --365 -894 -895 0 -365 581 1586 0 --365 -581 1586 0 --365 581 -1586 0 -365 -581 -1586 0 -365 916 917 0 --365 -916 917 0 --365 916 -917 0 -365 -916 -917 0 -365 1111 1112 0 --365 -1111 1112 0 --365 1111 -1112 0 -365 -1111 -1112 0 --369 914 915 0 -369 -914 915 0 -369 914 -915 0 --369 -914 -915 0 -369 489 1560 0 --369 -489 1560 0 --369 489 -1560 0 -369 -489 -1560 0 -369 992 993 0 --369 -992 993 0 --369 992 -993 0 -369 -992 -993 0 -369 1035 1036 0 --369 -1035 1036 0 --369 1035 -1036 0 -369 -1035 -1036 0 --373 902 903 0 -373 -902 903 0 -373 902 -903 0 --373 -902 -903 0 -373 589 1589 0 --373 -589 1589 0 --373 589 -1589 0 -373 -589 -1589 0 -373 924 925 0 --373 -924 925 0 --373 924 -925 0 -373 -924 -925 0 -373 1119 1120 0 --373 -1119 1120 0 --373 1119 -1120 0 -373 -1119 -1120 0 --377 922 923 0 -377 -922 923 0 -377 922 -923 0 --377 -922 -923 0 -377 497 1563 0 --377 -497 1563 0 --377 497 -1563 0 -377 -497 -1563 0 -377 1000 1001 0 --377 -1000 1001 0 --377 1000 -1001 0 -377 -1000 -1001 0 -377 1043 1044 0 --377 -1043 1044 0 --377 1043 -1044 0 -377 -1043 -1044 0 --381 910 911 0 -381 -910 911 0 -381 910 -911 0 --381 -910 -911 0 -381 597 1592 0 --381 -597 1592 0 --381 597 -1592 0 -381 -597 -1592 0 -381 932 933 0 --381 -932 933 0 --381 932 -933 0 -381 -932 -933 0 -381 1127 1128 0 --381 -1127 1128 0 --381 1127 -1128 0 -381 -1127 -1128 0 --385 930 931 0 -385 -930 931 0 -385 930 -931 0 --385 -930 -931 0 -385 505 1566 0 --385 -505 1566 0 --385 505 -1566 0 -385 -505 -1566 0 -385 1008 1009 0 --385 -1008 1009 0 --385 1008 -1009 0 -385 -1008 -1009 0 -385 1051 1052 0 --385 -1051 1052 0 --385 1051 -1052 0 -385 -1051 -1052 0 --389 918 919 0 -389 -918 919 0 -389 918 -919 0 --389 -918 -919 0 -389 605 1595 0 --389 -605 1595 0 --389 605 -1595 0 -389 -605 -1595 0 -389 940 941 0 --389 -940 941 0 --389 940 -941 0 -389 -940 -941 0 -389 1135 1136 0 --389 -1135 1136 0 --389 1135 -1136 0 -389 -1135 -1136 0 --393 938 939 0 -393 -938 939 0 -393 938 -939 0 --393 -938 -939 0 -393 513 1569 0 --393 -513 1569 0 --393 513 -1569 0 -393 -513 -1569 0 -393 1016 1017 0 --393 -1016 1017 0 --393 1016 -1017 0 -393 -1016 -1017 0 -393 1059 1060 0 --393 -1059 1060 0 --393 1059 -1060 0 -393 -1059 -1060 0 --397 926 927 0 -397 -926 927 0 -397 926 -927 0 --397 -926 -927 0 -397 613 1598 0 --397 -613 1598 0 --397 613 -1598 0 -397 -613 -1598 0 -397 948 949 0 --397 -948 949 0 --397 948 -949 0 -397 -948 -949 0 -397 1143 1144 0 --397 -1143 1144 0 --397 1143 -1144 0 -397 -1143 -1144 0 --401 946 947 0 -401 -946 947 0 -401 946 -947 0 --401 -946 -947 0 -401 521 1572 0 --401 -521 1572 0 --401 521 -1572 0 -401 -521 -1572 0 -401 1024 1025 0 --401 -1024 1025 0 --401 1024 -1025 0 -401 -1024 -1025 0 -401 1067 1068 0 --401 -1067 1068 0 --401 1067 -1068 0 -401 -1067 -1068 0 --405 934 935 0 -405 -934 935 0 -405 934 -935 0 --405 -934 -935 0 -405 621 1601 0 --405 -621 1601 0 --405 621 -1601 0 -405 -621 -1601 0 -405 956 957 0 --405 -956 957 0 --405 956 -957 0 -405 -956 -957 0 -405 1151 1152 0 --405 -1151 1152 0 --405 1151 -1152 0 -405 -1151 -1152 0 --409 954 955 0 -409 -954 955 0 -409 954 -955 0 --409 -954 -955 0 -409 529 1575 0 --409 -529 1575 0 --409 529 -1575 0 -409 -529 -1575 0 -409 1032 1033 0 --409 -1032 1033 0 --409 1032 -1033 0 -409 -1032 -1033 0 -409 1075 1076 0 --409 -1075 1076 0 --409 1075 -1076 0 -409 -1075 -1076 0 --413 942 943 0 -413 -942 943 0 -413 942 -943 0 --413 -942 -943 0 -413 629 1604 0 --413 -629 1604 0 --413 629 -1604 0 -413 -629 -1604 0 -413 964 965 0 --413 -964 965 0 --413 964 -965 0 -413 -964 -965 0 -413 1159 1160 0 --413 -1159 1160 0 --413 1159 -1160 0 -413 -1159 -1160 0 --417 962 963 0 -417 -962 963 0 -417 962 -963 0 --417 -962 -963 0 -417 537 1578 0 --417 -537 1578 0 --417 537 -1578 0 -417 -537 -1578 0 -417 1040 1041 0 --417 -1040 1041 0 --417 1040 -1041 0 -417 -1040 -1041 0 -417 1083 1084 0 --417 -1083 1084 0 --417 1083 -1084 0 -417 -1083 -1084 0 --421 950 951 0 -421 -950 951 0 -421 950 -951 0 --421 -950 -951 0 -421 637 1607 0 --421 -637 1607 0 --421 637 -1607 0 -421 -637 -1607 0 -421 972 973 0 --421 -972 973 0 --421 972 -973 0 -421 -972 -973 0 -421 1167 1168 0 --421 -1167 1168 0 --421 1167 -1168 0 -421 -1167 -1168 0 --425 970 971 0 -425 -970 971 0 -425 970 -971 0 --425 -970 -971 0 -425 545 1581 0 --425 -545 1581 0 --425 545 -1581 0 -425 -545 -1581 0 -425 1048 1049 0 --425 -1048 1049 0 --425 1048 -1049 0 -425 -1048 -1049 0 -425 1091 1092 0 --425 -1091 1092 0 --425 1091 -1092 0 -425 -1091 -1092 0 --429 958 959 0 -429 -958 959 0 -429 958 -959 0 --429 -958 -959 0 -429 645 1610 0 --429 -645 1610 0 --429 645 -1610 0 -429 -645 -1610 0 -429 980 981 0 --429 -980 981 0 --429 980 -981 0 -429 -980 -981 0 -429 1175 1176 0 --429 -1175 1176 0 --429 1175 -1176 0 -429 -1175 -1176 0 --433 978 979 0 -433 -978 979 0 -433 978 -979 0 --433 -978 -979 0 -433 553 1584 0 --433 -553 1584 0 --433 553 -1584 0 -433 -553 -1584 0 -433 1056 1057 0 --433 -1056 1057 0 --433 1056 -1057 0 -433 -1056 -1057 0 -433 1099 1100 0 --433 -1099 1100 0 --433 1099 -1100 0 -433 -1099 -1100 0 --437 966 967 0 -437 -966 967 0 -437 966 -967 0 --437 -966 -967 0 -437 653 1613 0 --437 -653 1613 0 --437 653 -1613 0 -437 -653 -1613 0 -437 988 989 0 --437 -988 989 0 --437 988 -989 0 -437 -988 -989 0 -437 1183 1184 0 --437 -1183 1184 0 --437 1183 -1184 0 -437 -1183 -1184 0 --441 986 987 0 -441 -986 987 0 -441 986 -987 0 --441 -986 -987 0 -441 561 1587 0 --441 -561 1587 0 --441 561 -1587 0 -441 -561 -1587 0 -441 1064 1065 0 --441 -1064 1065 0 --441 1064 -1065 0 -441 -1064 -1065 0 -441 1107 1108 0 --441 -1107 1108 0 --441 1107 -1108 0 -441 -1107 -1108 0 --445 974 975 0 -445 -974 975 0 -445 974 -975 0 --445 -974 -975 0 -445 661 1616 0 --445 -661 1616 0 --445 661 -1616 0 -445 -661 -1616 0 -445 996 997 0 --445 -996 997 0 --445 996 -997 0 -445 -996 -997 0 -445 1191 1192 0 --445 -1191 1192 0 --445 1191 -1192 0 -445 -1191 -1192 0 --449 994 995 0 -449 -994 995 0 -449 994 -995 0 --449 -994 -995 0 -449 569 1590 0 --449 -569 1590 0 --449 569 -1590 0 -449 -569 -1590 0 -449 1072 1073 0 --449 -1072 1073 0 --449 1072 -1073 0 -449 -1072 -1073 0 -449 1115 1116 0 --449 -1115 1116 0 --449 1115 -1116 0 -449 -1115 -1116 0 --453 982 983 0 -453 -982 983 0 -453 982 -983 0 --453 -982 -983 0 -453 669 1619 0 --453 -669 1619 0 --453 669 -1619 0 -453 -669 -1619 0 -453 1004 1005 0 --453 -1004 1005 0 --453 1004 -1005 0 -453 -1004 -1005 0 -453 1199 1200 0 --453 -1199 1200 0 --453 1199 -1200 0 -453 -1199 -1200 0 --457 1002 1003 0 -457 -1002 1003 0 -457 1002 -1003 0 --457 -1002 -1003 0 -457 577 1593 0 --457 -577 1593 0 --457 577 -1593 0 -457 -577 -1593 0 -457 1080 1081 0 --457 -1080 1081 0 --457 1080 -1081 0 -457 -1080 -1081 0 -457 1123 1124 0 --457 -1123 1124 0 --457 1123 -1124 0 -457 -1123 -1124 0 --461 990 991 0 -461 -990 991 0 -461 990 -991 0 --461 -990 -991 0 -461 677 1622 0 --461 -677 1622 0 --461 677 -1622 0 -461 -677 -1622 0 -461 1012 1013 0 --461 -1012 1013 0 --461 1012 -1013 0 -461 -1012 -1013 0 -461 1207 1208 0 --461 -1207 1208 0 --461 1207 -1208 0 -461 -1207 -1208 0 --465 1010 1011 0 -465 -1010 1011 0 -465 1010 -1011 0 --465 -1010 -1011 0 -465 585 1596 0 --465 -585 1596 0 --465 585 -1596 0 -465 -585 -1596 0 -465 1088 1089 0 --465 -1088 1089 0 --465 1088 -1089 0 -465 -1088 -1089 0 -465 1131 1132 0 --465 -1131 1132 0 --465 1131 -1132 0 -465 -1131 -1132 0 --469 998 999 0 -469 -998 999 0 -469 998 -999 0 --469 -998 -999 0 -469 685 1625 0 --469 -685 1625 0 --469 685 -1625 0 -469 -685 -1625 0 -469 1020 1021 0 --469 -1020 1021 0 --469 1020 -1021 0 -469 -1020 -1021 0 -469 1215 1216 0 --469 -1215 1216 0 --469 1215 -1216 0 -469 -1215 -1216 0 --473 1018 1019 0 -473 -1018 1019 0 -473 1018 -1019 0 --473 -1018 -1019 0 -473 593 1599 0 --473 -593 1599 0 --473 593 -1599 0 -473 -593 -1599 0 -473 1096 1097 0 --473 -1096 1097 0 --473 1096 -1097 0 -473 -1096 -1097 0 -473 1139 1140 0 --473 -1139 1140 0 --473 1139 -1140 0 -473 -1139 -1140 0 --477 1006 1007 0 -477 -1006 1007 0 -477 1006 -1007 0 --477 -1006 -1007 0 -477 693 1628 0 --477 -693 1628 0 --477 693 -1628 0 -477 -693 -1628 0 -477 1028 1029 0 --477 -1028 1029 0 --477 1028 -1029 0 -477 -1028 -1029 0 -477 1223 1224 0 --477 -1223 1224 0 --477 1223 -1224 0 -477 -1223 -1224 0 --481 1026 1027 0 -481 -1026 1027 0 -481 1026 -1027 0 --481 -1026 -1027 0 -481 601 1602 0 --481 -601 1602 0 --481 601 -1602 0 -481 -601 -1602 0 -481 1104 1105 0 --481 -1104 1105 0 --481 1104 -1105 0 -481 -1104 -1105 0 -481 1147 1148 0 --481 -1147 1148 0 --481 1147 -1148 0 -481 -1147 -1148 0 --485 1014 1015 0 -485 -1014 1015 0 -485 1014 -1015 0 --485 -1014 -1015 0 -485 701 1631 0 --485 -701 1631 0 --485 701 -1631 0 -485 -701 -1631 0 -485 1036 1037 0 --485 -1036 1037 0 --485 1036 -1037 0 -485 -1036 -1037 0 --489 1034 1035 0 -489 -1034 1035 0 -489 1034 -1035 0 --489 -1034 -1035 0 -489 609 1605 0 --489 -609 1605 0 --489 609 -1605 0 -489 -609 -1605 0 -489 1112 1113 0 --489 -1112 1113 0 --489 1112 -1113 0 -489 -1112 -1113 0 -489 1155 1156 0 --489 -1155 1156 0 --489 1155 -1156 0 -489 -1155 -1156 0 --493 1022 1023 0 -493 -1022 1023 0 -493 1022 -1023 0 --493 -1022 -1023 0 -493 709 1634 0 --493 -709 1634 0 --493 709 -1634 0 -493 -709 -1634 0 -493 1044 1045 0 --493 -1044 1045 0 --493 1044 -1045 0 -493 -1044 -1045 0 --497 1042 1043 0 -497 -1042 1043 0 -497 1042 -1043 0 --497 -1042 -1043 0 -497 617 1608 0 --497 -617 1608 0 --497 617 -1608 0 -497 -617 -1608 0 -497 1120 1121 0 --497 -1120 1121 0 --497 1120 -1121 0 -497 -1120 -1121 0 -497 1163 1164 0 --497 -1163 1164 0 --497 1163 -1164 0 -497 -1163 -1164 0 --501 1030 1031 0 -501 -1030 1031 0 -501 1030 -1031 0 --501 -1030 -1031 0 -501 717 1637 0 --501 -717 1637 0 --501 717 -1637 0 -501 -717 -1637 0 -501 1052 1053 0 --501 -1052 1053 0 --501 1052 -1053 0 -501 -1052 -1053 0 --505 1050 1051 0 -505 -1050 1051 0 -505 1050 -1051 0 --505 -1050 -1051 0 -505 625 1611 0 --505 -625 1611 0 --505 625 -1611 0 -505 -625 -1611 0 -505 1128 1129 0 --505 -1128 1129 0 --505 1128 -1129 0 -505 -1128 -1129 0 -505 1171 1172 0 --505 -1171 1172 0 --505 1171 -1172 0 -505 -1171 -1172 0 --509 1038 1039 0 -509 -1038 1039 0 -509 1038 -1039 0 --509 -1038 -1039 0 -509 725 1640 0 --509 -725 1640 0 --509 725 -1640 0 -509 -725 -1640 0 -509 1060 1061 0 --509 -1060 1061 0 --509 1060 -1061 0 -509 -1060 -1061 0 --513 1058 1059 0 -513 -1058 1059 0 -513 1058 -1059 0 --513 -1058 -1059 0 -513 633 1614 0 --513 -633 1614 0 --513 633 -1614 0 -513 -633 -1614 0 -513 1136 1137 0 --513 -1136 1137 0 --513 1136 -1137 0 -513 -1136 -1137 0 -513 1179 1180 0 --513 -1179 1180 0 --513 1179 -1180 0 -513 -1179 -1180 0 --517 1046 1047 0 -517 -1046 1047 0 -517 1046 -1047 0 --517 -1046 -1047 0 -517 733 1643 0 --517 -733 1643 0 --517 733 -1643 0 -517 -733 -1643 0 -517 1068 1069 0 --517 -1068 1069 0 --517 1068 -1069 0 -517 -1068 -1069 0 --521 1066 1067 0 -521 -1066 1067 0 -521 1066 -1067 0 --521 -1066 -1067 0 -521 641 1617 0 --521 -641 1617 0 --521 641 -1617 0 -521 -641 -1617 0 -521 1144 1145 0 --521 -1144 1145 0 --521 1144 -1145 0 -521 -1144 -1145 0 -521 1187 1188 0 --521 -1187 1188 0 --521 1187 -1188 0 -521 -1187 -1188 0 --525 1054 1055 0 -525 -1054 1055 0 -525 1054 -1055 0 --525 -1054 -1055 0 -525 741 1646 0 --525 -741 1646 0 --525 741 -1646 0 -525 -741 -1646 0 -525 1076 1077 0 --525 -1076 1077 0 --525 1076 -1077 0 -525 -1076 -1077 0 --529 1074 1075 0 -529 -1074 1075 0 -529 1074 -1075 0 --529 -1074 -1075 0 -529 649 1620 0 --529 -649 1620 0 --529 649 -1620 0 -529 -649 -1620 0 -529 1152 1153 0 --529 -1152 1153 0 --529 1152 -1153 0 -529 -1152 -1153 0 -529 1195 1196 0 --529 -1195 1196 0 --529 1195 -1196 0 -529 -1195 -1196 0 --533 1062 1063 0 -533 -1062 1063 0 -533 1062 -1063 0 --533 -1062 -1063 0 -533 749 1649 0 --533 -749 1649 0 --533 749 -1649 0 -533 -749 -1649 0 -533 1084 1085 0 --533 -1084 1085 0 --533 1084 -1085 0 -533 -1084 -1085 0 --537 1082 1083 0 -537 -1082 1083 0 -537 1082 -1083 0 --537 -1082 -1083 0 -537 657 1623 0 --537 -657 1623 0 --537 657 -1623 0 -537 -657 -1623 0 -537 1160 1161 0 --537 -1160 1161 0 --537 1160 -1161 0 -537 -1160 -1161 0 -537 1203 1204 0 --537 -1203 1204 0 --537 1203 -1204 0 -537 -1203 -1204 0 --541 1070 1071 0 -541 -1070 1071 0 -541 1070 -1071 0 --541 -1070 -1071 0 -541 757 1652 0 --541 -757 1652 0 --541 757 -1652 0 -541 -757 -1652 0 -541 1092 1093 0 --541 -1092 1093 0 --541 1092 -1093 0 -541 -1092 -1093 0 --545 1090 1091 0 -545 -1090 1091 0 -545 1090 -1091 0 --545 -1090 -1091 0 -545 665 1626 0 --545 -665 1626 0 --545 665 -1626 0 -545 -665 -1626 0 -545 1168 1169 0 --545 -1168 1169 0 --545 1168 -1169 0 -545 -1168 -1169 0 -545 1211 1212 0 --545 -1211 1212 0 --545 1211 -1212 0 -545 -1211 -1212 0 --549 1078 1079 0 -549 -1078 1079 0 -549 1078 -1079 0 --549 -1078 -1079 0 -549 765 1655 0 --549 -765 1655 0 --549 765 -1655 0 -549 -765 -1655 0 -549 1100 1101 0 --549 -1100 1101 0 --549 1100 -1101 0 -549 -1100 -1101 0 --553 1098 1099 0 -553 -1098 1099 0 -553 1098 -1099 0 --553 -1098 -1099 0 -553 673 1629 0 --553 -673 1629 0 --553 673 -1629 0 -553 -673 -1629 0 -553 1176 1177 0 --553 -1176 1177 0 --553 1176 -1177 0 -553 -1176 -1177 0 -553 1219 1220 0 --553 -1219 1220 0 --553 1219 -1220 0 -553 -1219 -1220 0 --557 1086 1087 0 -557 -1086 1087 0 -557 1086 -1087 0 --557 -1086 -1087 0 -557 773 1658 0 --557 -773 1658 0 --557 773 -1658 0 -557 -773 -1658 0 -557 1108 1109 0 --557 -1108 1109 0 --557 1108 -1109 0 -557 -1108 -1109 0 --561 1106 1107 0 -561 -1106 1107 0 -561 1106 -1107 0 --561 -1106 -1107 0 -561 681 1632 0 --561 -681 1632 0 --561 681 -1632 0 -561 -681 -1632 0 -561 1184 1185 0 --561 -1184 1185 0 --561 1184 -1185 0 -561 -1184 -1185 0 -561 1227 1228 0 --561 -1227 1228 0 --561 1227 -1228 0 -561 -1227 -1228 0 --565 1094 1095 0 -565 -1094 1095 0 -565 1094 -1095 0 --565 -1094 -1095 0 -565 781 1661 0 --565 -781 1661 0 --565 781 -1661 0 -565 -781 -1661 0 -565 1116 1117 0 --565 -1116 1117 0 --565 1116 -1117 0 -565 -1116 -1117 0 --569 1114 1115 0 -569 -1114 1115 0 -569 1114 -1115 0 --569 -1114 -1115 0 -569 689 1635 0 --569 -689 1635 0 --569 689 -1635 0 -569 -689 -1635 0 -569 1192 1193 0 --569 -1192 1193 0 --569 1192 -1193 0 -569 -1192 -1193 0 -569 1231 1232 0 --569 -1231 1232 0 --569 1231 -1232 0 -569 -1231 -1232 0 --573 1102 1103 0 -573 -1102 1103 0 -573 1102 -1103 0 --573 -1102 -1103 0 -573 789 1664 0 --573 -789 1664 0 --573 789 -1664 0 -573 -789 -1664 0 -573 1124 1125 0 --573 -1124 1125 0 --573 1124 -1125 0 -573 -1124 -1125 0 --577 1122 1123 0 -577 -1122 1123 0 -577 1122 -1123 0 --577 -1122 -1123 0 -577 697 1638 0 --577 -697 1638 0 --577 697 -1638 0 -577 -697 -1638 0 -577 1200 1201 0 --577 -1200 1201 0 --577 1200 -1201 0 -577 -1200 -1201 0 -577 1235 1236 0 --577 -1235 1236 0 --577 1235 -1236 0 -577 -1235 -1236 0 --581 1110 1111 0 -581 -1110 1111 0 -581 1110 -1111 0 --581 -1110 -1111 0 -581 797 1667 0 --581 -797 1667 0 --581 797 -1667 0 -581 -797 -1667 0 -581 1132 1133 0 --581 -1132 1133 0 --581 1132 -1133 0 -581 -1132 -1133 0 --585 1130 1131 0 -585 -1130 1131 0 -585 1130 -1131 0 --585 -1130 -1131 0 -585 705 1641 0 --585 -705 1641 0 --585 705 -1641 0 -585 -705 -1641 0 -585 1208 1209 0 --585 -1208 1209 0 --585 1208 -1209 0 -585 -1208 -1209 0 --589 1118 1119 0 -589 -1118 1119 0 -589 1118 -1119 0 --589 -1118 -1119 0 -589 805 1670 0 --589 -805 1670 0 --589 805 -1670 0 -589 -805 -1670 0 -589 1140 1141 0 --589 -1140 1141 0 --589 1140 -1141 0 -589 -1140 -1141 0 --593 1138 1139 0 -593 -1138 1139 0 -593 1138 -1139 0 --593 -1138 -1139 0 -593 713 1644 0 --593 -713 1644 0 --593 713 -1644 0 -593 -713 -1644 0 -593 1216 1217 0 --593 -1216 1217 0 --593 1216 -1217 0 -593 -1216 -1217 0 --597 1126 1127 0 -597 -1126 1127 0 -597 1126 -1127 0 --597 -1126 -1127 0 -597 813 1673 0 --597 -813 1673 0 --597 813 -1673 0 -597 -813 -1673 0 -597 1148 1149 0 --597 -1148 1149 0 --597 1148 -1149 0 -597 -1148 -1149 0 --601 1146 1147 0 -601 -1146 1147 0 -601 1146 -1147 0 --601 -1146 -1147 0 -601 721 1647 0 --601 -721 1647 0 --601 721 -1647 0 -601 -721 -1647 0 -601 1224 1225 0 --601 -1224 1225 0 --601 1224 -1225 0 -601 -1224 -1225 0 --605 1134 1135 0 -605 -1134 1135 0 -605 1134 -1135 0 --605 -1134 -1135 0 -605 821 1676 0 --605 -821 1676 0 --605 821 -1676 0 -605 -821 -1676 0 -605 1156 1157 0 --605 -1156 1157 0 --605 1156 -1157 0 -605 -1156 -1157 0 --609 1154 1155 0 -609 -1154 1155 0 -609 1154 -1155 0 --609 -1154 -1155 0 -609 729 1650 0 --609 -729 1650 0 --609 729 -1650 0 -609 -729 -1650 0 --613 1142 1143 0 -613 -1142 1143 0 -613 1142 -1143 0 --613 -1142 -1143 0 -613 829 1679 0 --613 -829 1679 0 --613 829 -1679 0 -613 -829 -1679 0 -613 1164 1165 0 --613 -1164 1165 0 --613 1164 -1165 0 -613 -1164 -1165 0 --617 1162 1163 0 -617 -1162 1163 0 -617 1162 -1163 0 --617 -1162 -1163 0 -617 737 1653 0 --617 -737 1653 0 --617 737 -1653 0 -617 -737 -1653 0 --621 1150 1151 0 -621 -1150 1151 0 -621 1150 -1151 0 --621 -1150 -1151 0 -621 837 1682 0 --621 -837 1682 0 --621 837 -1682 0 -621 -837 -1682 0 -621 1172 1173 0 --621 -1172 1173 0 --621 1172 -1173 0 -621 -1172 -1173 0 --625 1170 1171 0 -625 -1170 1171 0 -625 1170 -1171 0 --625 -1170 -1171 0 -625 745 1656 0 --625 -745 1656 0 --625 745 -1656 0 -625 -745 -1656 0 --629 1158 1159 0 -629 -1158 1159 0 -629 1158 -1159 0 --629 -1158 -1159 0 -629 845 1685 0 --629 -845 1685 0 --629 845 -1685 0 -629 -845 -1685 0 -629 1180 1181 0 --629 -1180 1181 0 --629 1180 -1181 0 -629 -1180 -1181 0 --633 1178 1179 0 -633 -1178 1179 0 -633 1178 -1179 0 --633 -1178 -1179 0 -633 753 1659 0 --633 -753 1659 0 --633 753 -1659 0 -633 -753 -1659 0 --637 1166 1167 0 -637 -1166 1167 0 -637 1166 -1167 0 --637 -1166 -1167 0 -637 853 1688 0 --637 -853 1688 0 --637 853 -1688 0 -637 -853 -1688 0 -637 1188 1189 0 --637 -1188 1189 0 --637 1188 -1189 0 -637 -1188 -1189 0 --641 1186 1187 0 -641 -1186 1187 0 -641 1186 -1187 0 --641 -1186 -1187 0 -641 761 1662 0 --641 -761 1662 0 --641 761 -1662 0 -641 -761 -1662 0 --645 1174 1175 0 -645 -1174 1175 0 -645 1174 -1175 0 --645 -1174 -1175 0 -645 861 1691 0 --645 -861 1691 0 --645 861 -1691 0 -645 -861 -1691 0 -645 1196 1197 0 --645 -1196 1197 0 --645 1196 -1197 0 -645 -1196 -1197 0 --649 1194 1195 0 -649 -1194 1195 0 -649 1194 -1195 0 --649 -1194 -1195 0 -649 769 1665 0 --649 -769 1665 0 --649 769 -1665 0 -649 -769 -1665 0 --653 1182 1183 0 -653 -1182 1183 0 -653 1182 -1183 0 --653 -1182 -1183 0 -653 869 1694 0 --653 -869 1694 0 --653 869 -1694 0 -653 -869 -1694 0 -653 1204 1205 0 --653 -1204 1205 0 --653 1204 -1205 0 -653 -1204 -1205 0 --657 1202 1203 0 -657 -1202 1203 0 -657 1202 -1203 0 --657 -1202 -1203 0 -657 777 1668 0 --657 -777 1668 0 --657 777 -1668 0 -657 -777 -1668 0 --661 1190 1191 0 -661 -1190 1191 0 -661 1190 -1191 0 --661 -1190 -1191 0 -661 877 1697 0 --661 -877 1697 0 --661 877 -1697 0 -661 -877 -1697 0 -661 1212 1213 0 --661 -1212 1213 0 --661 1212 -1213 0 -661 -1212 -1213 0 --665 1210 1211 0 -665 -1210 1211 0 -665 1210 -1211 0 --665 -1210 -1211 0 -665 785 1671 0 --665 -785 1671 0 --665 785 -1671 0 -665 -785 -1671 0 --669 1198 1199 0 -669 -1198 1199 0 -669 1198 -1199 0 --669 -1198 -1199 0 -669 885 1700 0 --669 -885 1700 0 --669 885 -1700 0 -669 -885 -1700 0 -669 1220 1221 0 --669 -1220 1221 0 --669 1220 -1221 0 -669 -1220 -1221 0 --673 1218 1219 0 -673 -1218 1219 0 -673 1218 -1219 0 --673 -1218 -1219 0 -673 793 1674 0 --673 -793 1674 0 --673 793 -1674 0 -673 -793 -1674 0 --677 1206 1207 0 -677 -1206 1207 0 -677 1206 -1207 0 --677 -1206 -1207 0 -677 893 1703 0 --677 -893 1703 0 --677 893 -1703 0 -677 -893 -1703 0 -677 1228 1229 0 --677 -1228 1229 0 --677 1228 -1229 0 -677 -1228 -1229 0 --681 1226 1227 0 -681 -1226 1227 0 -681 1226 -1227 0 --681 -1226 -1227 0 -681 801 1677 0 --681 -801 1677 0 --681 801 -1677 0 -681 -801 -1677 0 --685 1214 1215 0 -685 -1214 1215 0 -685 1214 -1215 0 --685 -1214 -1215 0 -685 901 1706 0 --685 -901 1706 0 --685 901 -1706 0 -685 -901 -1706 0 -685 1232 1233 0 --685 -1232 1233 0 --685 1232 -1233 0 -685 -1232 -1233 0 --689 1230 1231 0 -689 -1230 1231 0 -689 1230 -1231 0 --689 -1230 -1231 0 -689 809 1680 0 --689 -809 1680 0 --689 809 -1680 0 -689 -809 -1680 0 --693 1222 1223 0 -693 -1222 1223 0 -693 1222 -1223 0 --693 -1222 -1223 0 -693 909 1709 0 --693 -909 1709 0 --693 909 -1709 0 -693 -909 -1709 0 -693 1236 1237 0 --693 -1236 1237 0 --693 1236 -1237 0 -693 -1236 -1237 0 --697 1234 1235 0 -697 -1234 1235 0 -697 1234 -1235 0 --697 -1234 -1235 0 -697 817 1683 0 --697 -817 1683 0 --697 817 -1683 0 -697 -817 -1683 0 -701 917 1712 0 --701 -917 1712 0 --701 917 -1712 0 -701 -917 -1712 0 -705 825 1686 0 --705 -825 1686 0 --705 825 -1686 0 -705 -825 -1686 0 -709 925 1715 0 --709 -925 1715 0 --709 925 -1715 0 -709 -925 -1715 0 -713 833 1689 0 --713 -833 1689 0 --713 833 -1689 0 -713 -833 -1689 0 -717 933 1718 0 --717 -933 1718 0 --717 933 -1718 0 -717 -933 -1718 0 -721 841 1692 0 --721 -841 1692 0 --721 841 -1692 0 -721 -841 -1692 0 -725 941 1721 0 --725 -941 1721 0 --725 941 -1721 0 -725 -941 -1721 0 -729 849 1695 0 --729 -849 1695 0 --729 849 -1695 0 -729 -849 -1695 0 -733 949 1724 0 --733 -949 1724 0 --733 949 -1724 0 -733 -949 -1724 0 -737 857 1698 0 --737 -857 1698 0 --737 857 -1698 0 -737 -857 -1698 0 -741 957 1727 0 --741 -957 1727 0 --741 957 -1727 0 -741 -957 -1727 0 -745 865 1701 0 --745 -865 1701 0 --745 865 -1701 0 -745 -865 -1701 0 -749 965 1730 0 --749 -965 1730 0 --749 965 -1730 0 -749 -965 -1730 0 -753 873 1704 0 --753 -873 1704 0 --753 873 -1704 0 -753 -873 -1704 0 -757 973 1733 0 --757 -973 1733 0 --757 973 -1733 0 -757 -973 -1733 0 -761 881 1707 0 --761 -881 1707 0 --761 881 -1707 0 -761 -881 -1707 0 -765 981 1736 0 --765 -981 1736 0 --765 981 -1736 0 -765 -981 -1736 0 -769 889 1710 0 --769 -889 1710 0 --769 889 -1710 0 -769 -889 -1710 0 -773 989 1739 0 --773 -989 1739 0 --773 989 -1739 0 -773 -989 -1739 0 -777 897 1713 0 --777 -897 1713 0 --777 897 -1713 0 -777 -897 -1713 0 -781 997 1742 0 --781 -997 1742 0 --781 997 -1742 0 -781 -997 -1742 0 -785 905 1716 0 --785 -905 1716 0 --785 905 -1716 0 -785 -905 -1716 0 -789 1005 1745 0 --789 -1005 1745 0 --789 1005 -1745 0 -789 -1005 -1745 0 -793 913 1719 0 --793 -913 1719 0 --793 913 -1719 0 -793 -913 -1719 0 -797 1013 1748 0 --797 -1013 1748 0 --797 1013 -1748 0 -797 -1013 -1748 0 -801 921 1722 0 --801 -921 1722 0 --801 921 -1722 0 -801 -921 -1722 0 -805 1021 1751 0 --805 -1021 1751 0 --805 1021 -1751 0 -805 -1021 -1751 0 -809 929 1725 0 --809 -929 1725 0 --809 929 -1725 0 -809 -929 -1725 0 -813 1029 1754 0 --813 -1029 1754 0 --813 1029 -1754 0 -813 -1029 -1754 0 -817 937 1728 0 --817 -937 1728 0 --817 937 -1728 0 -817 -937 -1728 0 -821 1037 1757 0 --821 -1037 1757 0 --821 1037 -1757 0 -821 -1037 -1757 0 -825 945 1731 0 --825 -945 1731 0 --825 945 -1731 0 -825 -945 -1731 0 -829 1045 1760 0 --829 -1045 1760 0 --829 1045 -1760 0 -829 -1045 -1760 0 -833 953 1734 0 --833 -953 1734 0 --833 953 -1734 0 -833 -953 -1734 0 -837 1053 1763 0 --837 -1053 1763 0 --837 1053 -1763 0 -837 -1053 -1763 0 -841 961 1737 0 --841 -961 1737 0 --841 961 -1737 0 -841 -961 -1737 0 -845 1061 1766 0 --845 -1061 1766 0 --845 1061 -1766 0 -845 -1061 -1766 0 -849 969 1740 0 --849 -969 1740 0 --849 969 -1740 0 -849 -969 -1740 0 -853 1069 1769 0 --853 -1069 1769 0 --853 1069 -1769 0 -853 -1069 -1769 0 -857 977 1743 0 --857 -977 1743 0 --857 977 -1743 0 -857 -977 -1743 0 -861 1077 1772 0 --861 -1077 1772 0 --861 1077 -1772 0 -861 -1077 -1772 0 -865 985 1746 0 --865 -985 1746 0 --865 985 -1746 0 -865 -985 -1746 0 -869 1085 1775 0 --869 -1085 1775 0 --869 1085 -1775 0 -869 -1085 -1775 0 -873 993 1749 0 --873 -993 1749 0 --873 993 -1749 0 -873 -993 -1749 0 -877 1093 1778 0 --877 -1093 1778 0 --877 1093 -1778 0 -877 -1093 -1778 0 -881 1001 1752 0 --881 -1001 1752 0 --881 1001 -1752 0 -881 -1001 -1752 0 -885 1101 1781 0 --885 -1101 1781 0 --885 1101 -1781 0 -885 -1101 -1781 0 -889 1009 1755 0 --889 -1009 1755 0 --889 1009 -1755 0 -889 -1009 -1755 0 -893 1109 1784 0 --893 -1109 1784 0 --893 1109 -1784 0 -893 -1109 -1784 0 -897 1017 1758 0 --897 -1017 1758 0 --897 1017 -1758 0 -897 -1017 -1758 0 -901 1117 1787 0 --901 -1117 1787 0 --901 1117 -1787 0 -901 -1117 -1787 0 -905 1025 1761 0 --905 -1025 1761 0 --905 1025 -1761 0 -905 -1025 -1761 0 -909 1125 1790 0 --909 -1125 1790 0 --909 1125 -1790 0 -909 -1125 -1790 0 -913 1033 1764 0 --913 -1033 1764 0 --913 1033 -1764 0 -913 -1033 -1764 0 -917 1133 1793 0 --917 -1133 1793 0 --917 1133 -1793 0 -917 -1133 -1793 0 -921 1041 1767 0 --921 -1041 1767 0 --921 1041 -1767 0 -921 -1041 -1767 0 -925 1141 1796 0 --925 -1141 1796 0 --925 1141 -1796 0 -925 -1141 -1796 0 -929 1049 1770 0 --929 -1049 1770 0 --929 1049 -1770 0 -929 -1049 -1770 0 -933 1149 1799 0 --933 -1149 1799 0 --933 1149 -1799 0 -933 -1149 -1799 0 -937 1057 1773 0 --937 -1057 1773 0 --937 1057 -1773 0 -937 -1057 -1773 0 -941 1157 1802 0 --941 -1157 1802 0 --941 1157 -1802 0 -941 -1157 -1802 0 -945 1065 1776 0 --945 -1065 1776 0 --945 1065 -1776 0 -945 -1065 -1776 0 -949 1165 1805 0 --949 -1165 1805 0 --949 1165 -1805 0 -949 -1165 -1805 0 -953 1073 1779 0 --953 -1073 1779 0 --953 1073 -1779 0 -953 -1073 -1779 0 -957 1173 1808 0 --957 -1173 1808 0 --957 1173 -1808 0 -957 -1173 -1808 0 -961 1081 1782 0 --961 -1081 1782 0 --961 1081 -1782 0 -961 -1081 -1782 0 -965 1181 1811 0 --965 -1181 1811 0 --965 1181 -1811 0 -965 -1181 -1811 0 -969 1089 1785 0 --969 -1089 1785 0 --969 1089 -1785 0 -969 -1089 -1785 0 -973 1189 1814 0 --973 -1189 1814 0 --973 1189 -1814 0 -973 -1189 -1814 0 -977 1097 1788 0 --977 -1097 1788 0 --977 1097 -1788 0 -977 -1097 -1788 0 -981 1197 1817 0 --981 -1197 1817 0 --981 1197 -1817 0 -981 -1197 -1817 0 -985 1105 1791 0 --985 -1105 1791 0 --985 1105 -1791 0 -985 -1105 -1791 0 -989 1205 1820 0 --989 -1205 1820 0 --989 1205 -1820 0 -989 -1205 -1820 0 -993 1113 1794 0 --993 -1113 1794 0 --993 1113 -1794 0 -993 -1113 -1794 0 -997 1213 1823 0 --997 -1213 1823 0 --997 1213 -1823 0 -997 -1213 -1823 0 -1001 1121 1797 0 --1001 -1121 1797 0 --1001 1121 -1797 0 -1001 -1121 -1797 0 -1005 1221 1826 0 --1005 -1221 1826 0 --1005 1221 -1826 0 -1005 -1221 -1826 0 -1009 1129 1800 0 --1009 -1129 1800 0 --1009 1129 -1800 0 -1009 -1129 -1800 0 -1013 1229 1829 0 --1013 -1229 1829 0 --1013 1229 -1829 0 -1013 -1229 -1829 0 -1017 1137 1803 0 --1017 -1137 1803 0 --1017 1137 -1803 0 -1017 -1137 -1803 0 -1021 1233 1832 0 --1021 -1233 1832 0 --1021 1233 -1832 0 -1021 -1233 -1832 0 -1025 1145 1806 0 --1025 -1145 1806 0 --1025 1145 -1806 0 -1025 -1145 -1806 0 -1029 1237 1835 0 --1029 -1237 1835 0 --1029 1237 -1835 0 -1029 -1237 -1835 0 -1033 1153 1809 0 --1033 -1153 1809 0 --1033 1153 -1809 0 -1033 -1153 -1809 0 -1041 1161 1812 0 --1041 -1161 1812 0 --1041 1161 -1812 0 -1041 -1161 -1812 0 -1049 1169 1815 0 --1049 -1169 1815 0 --1049 1169 -1815 0 -1049 -1169 -1815 0 -1057 1177 1818 0 --1057 -1177 1818 0 --1057 1177 -1818 0 -1057 -1177 -1818 0 -1065 1185 1821 0 --1065 -1185 1821 0 --1065 1185 -1821 0 -1065 -1185 -1821 0 -1073 1193 1824 0 --1073 -1193 1824 0 --1073 1193 -1824 0 -1073 -1193 -1824 0 -1081 1201 1827 0 --1081 -1201 1827 0 --1081 1201 -1827 0 -1081 -1201 -1827 0 -1089 1209 1830 0 --1089 -1209 1830 0 --1089 1209 -1830 0 -1089 -1209 -1830 0 -1097 1217 1833 0 --1097 -1217 1833 0 --1097 1217 -1833 0 -1097 -1217 -1833 0 -1105 1225 1836 0 --1105 -1225 1836 0 --1105 1225 -1836 0 -1105 -1225 -1836 0 -1238 1239 1240 0 --1238 -1239 1240 0 --1238 1239 -1240 0 -1238 -1239 -1240 0 -1241 1242 1243 0 --1241 -1242 1243 0 --1241 1242 -1243 0 -1241 -1242 -1243 0 -1244 1245 1246 0 --1244 -1245 1246 0 --1244 1245 -1246 0 -1244 -1245 -1246 0 -1247 1248 1249 0 --1247 -1248 1249 0 --1247 1248 -1249 0 -1247 -1248 -1249 0 -1250 1251 1252 0 --1250 -1251 1252 0 --1250 1251 -1252 0 -1250 -1251 -1252 0 -1253 1254 1255 0 --1253 -1254 1255 0 --1253 1254 -1255 0 -1253 -1254 -1255 0 -1256 1257 1258 0 --1256 -1257 1258 0 --1256 1257 -1258 0 -1256 -1257 -1258 0 -1259 1260 1261 0 --1259 -1260 1261 0 --1259 1260 -1261 0 -1259 -1260 -1261 0 -1262 1263 1264 0 --1262 -1263 1264 0 --1262 1263 -1264 0 -1262 -1263 -1264 0 -1265 1266 1267 0 --1265 -1266 1267 0 --1265 1266 -1267 0 -1265 -1266 -1267 0 -1268 1269 1270 0 --1268 -1269 1270 0 --1268 1269 -1270 0 -1268 -1269 -1270 0 -1271 1272 1273 0 --1271 -1272 1273 0 --1271 1272 -1273 0 -1271 -1272 -1273 0 -1274 1275 1276 0 --1274 -1275 1276 0 --1274 1275 -1276 0 -1274 -1275 -1276 0 -1277 1278 1279 0 --1277 -1278 1279 0 --1277 1278 -1279 0 -1277 -1278 -1279 0 -1280 1281 1282 0 --1280 -1281 1282 0 --1280 1281 -1282 0 -1280 -1281 -1282 0 -1283 1284 1285 0 --1283 -1284 1285 0 --1283 1284 -1285 0 -1283 -1284 -1285 0 -1286 1287 1288 0 --1286 -1287 1288 0 --1286 1287 -1288 0 -1286 -1287 -1288 0 -1289 1290 1291 0 --1289 -1290 1291 0 --1289 1290 -1291 0 -1289 -1290 -1291 0 -1292 1293 1294 0 --1292 -1293 1294 0 --1292 1293 -1294 0 -1292 -1293 -1294 0 -1295 1296 1297 0 --1295 -1296 1297 0 --1295 1296 -1297 0 -1295 -1296 -1297 0 -1298 1299 1300 0 --1298 -1299 1300 0 --1298 1299 -1300 0 -1298 -1299 -1300 0 -1301 1302 1303 0 --1301 -1302 1303 0 --1301 1302 -1303 0 -1301 -1302 -1303 0 -1304 1305 1306 0 --1304 -1305 1306 0 --1304 1305 -1306 0 -1304 -1305 -1306 0 -1307 1308 1309 0 --1307 -1308 1309 0 --1307 1308 -1309 0 -1307 -1308 -1309 0 -1310 1311 1312 0 --1310 -1311 1312 0 --1310 1311 -1312 0 -1310 -1311 -1312 0 -1313 1314 1315 0 --1313 -1314 1315 0 --1313 1314 -1315 0 -1313 -1314 -1315 0 -1316 1317 1318 0 --1316 -1317 1318 0 --1316 1317 -1318 0 -1316 -1317 -1318 0 -1319 1320 1321 0 --1319 -1320 1321 0 --1319 1320 -1321 0 -1319 -1320 -1321 0 -1322 1323 1324 0 --1322 -1323 1324 0 --1322 1323 -1324 0 -1322 -1323 -1324 0 -1325 1326 1327 0 --1325 -1326 1327 0 --1325 1326 -1327 0 -1325 -1326 -1327 0 -1328 1329 1330 0 --1328 -1329 1330 0 --1328 1329 -1330 0 -1328 -1329 -1330 0 -1331 1332 1333 0 --1331 -1332 1333 0 --1331 1332 -1333 0 -1331 -1332 -1333 0 -1334 1335 1336 0 --1334 -1335 1336 0 --1334 1335 -1336 0 -1334 -1335 -1336 0 -1337 1338 1339 0 --1337 -1338 1339 0 --1337 1338 -1339 0 -1337 -1338 -1339 0 -1340 1341 1342 0 --1340 -1341 1342 0 --1340 1341 -1342 0 -1340 -1341 -1342 0 -1343 1344 1345 0 --1343 -1344 1345 0 --1343 1344 -1345 0 -1343 -1344 -1345 0 -1346 1347 1348 0 --1346 -1347 1348 0 --1346 1347 -1348 0 -1346 -1347 -1348 0 -1349 1350 1351 0 --1349 -1350 1351 0 --1349 1350 -1351 0 -1349 -1350 -1351 0 -1352 1353 1354 0 --1352 -1353 1354 0 --1352 1353 -1354 0 -1352 -1353 -1354 0 -1355 1356 1357 0 --1355 -1356 1357 0 --1355 1356 -1357 0 -1355 -1356 -1357 0 -1358 1359 1360 0 --1358 -1359 1360 0 --1358 1359 -1360 0 -1358 -1359 -1360 0 -1361 1362 1363 0 --1361 -1362 1363 0 --1361 1362 -1363 0 -1361 -1362 -1363 0 -1364 1365 1366 0 --1364 -1365 1366 0 --1364 1365 -1366 0 -1364 -1365 -1366 0 -1367 1368 1369 0 --1367 -1368 1369 0 --1367 1368 -1369 0 -1367 -1368 -1369 0 -1370 1371 1372 0 --1370 -1371 1372 0 --1370 1371 -1372 0 -1370 -1371 -1372 0 -1373 1374 1375 0 --1373 -1374 1375 0 --1373 1374 -1375 0 -1373 -1374 -1375 0 -1376 1377 1378 0 --1376 -1377 1378 0 --1376 1377 -1378 0 -1376 -1377 -1378 0 -1379 1380 1381 0 --1379 -1380 1381 0 --1379 1380 -1381 0 -1379 -1380 -1381 0 -1382 1383 1384 0 --1382 -1383 1384 0 --1382 1383 -1384 0 -1382 -1383 -1384 0 -1385 1386 1387 0 --1385 -1386 1387 0 --1385 1386 -1387 0 -1385 -1386 -1387 0 -1388 1389 1390 0 --1388 -1389 1390 0 --1388 1389 -1390 0 -1388 -1389 -1390 0 -1391 1392 1393 0 --1391 -1392 1393 0 --1391 1392 -1393 0 -1391 -1392 -1393 0 -1394 1395 1396 0 --1394 -1395 1396 0 --1394 1395 -1396 0 -1394 -1395 -1396 0 -1397 1398 1399 0 --1397 -1398 1399 0 --1397 1398 -1399 0 -1397 -1398 -1399 0 -1400 1401 1402 0 --1400 -1401 1402 0 --1400 1401 -1402 0 -1400 -1401 -1402 0 -1403 1404 1405 0 --1403 -1404 1405 0 --1403 1404 -1405 0 -1403 -1404 -1405 0 -1406 1407 1408 0 --1406 -1407 1408 0 --1406 1407 -1408 0 -1406 -1407 -1408 0 -1409 1410 1411 0 --1409 -1410 1411 0 --1409 1410 -1411 0 -1409 -1410 -1411 0 -1412 1413 1414 0 --1412 -1413 1414 0 --1412 1413 -1414 0 -1412 -1413 -1414 0 -1415 1416 1417 0 --1415 -1416 1417 0 --1415 1416 -1417 0 -1415 -1416 -1417 0 -1418 1419 1420 0 --1418 -1419 1420 0 --1418 1419 -1420 0 -1418 -1419 -1420 0 -1421 1422 1423 0 --1421 -1422 1423 0 --1421 1422 -1423 0 -1421 -1422 -1423 0 -1424 1425 1426 0 --1424 -1425 1426 0 --1424 1425 -1426 0 -1424 -1425 -1426 0 -1427 1428 1429 0 --1427 -1428 1429 0 --1427 1428 -1429 0 -1427 -1428 -1429 0 -1430 1431 1432 0 --1430 -1431 1432 0 --1430 1431 -1432 0 -1430 -1431 -1432 0 -1433 1434 1435 0 --1433 -1434 1435 0 --1433 1434 -1435 0 -1433 -1434 -1435 0 -1436 1437 1438 0 --1436 -1437 1438 0 --1436 1437 -1438 0 -1436 -1437 -1438 0 -1439 1440 1441 0 --1439 -1440 1441 0 --1439 1440 -1441 0 -1439 -1440 -1441 0 -1442 1443 1444 0 --1442 -1443 1444 0 --1442 1443 -1444 0 -1442 -1443 -1444 0 -1445 1446 1447 0 --1445 -1446 1447 0 --1445 1446 -1447 0 -1445 -1446 -1447 0 -1448 1449 1450 0 --1448 -1449 1450 0 --1448 1449 -1450 0 -1448 -1449 -1450 0 -1451 1452 1453 0 --1451 -1452 1453 0 --1451 1452 -1453 0 -1451 -1452 -1453 0 -1454 1455 1456 0 --1454 -1455 1456 0 --1454 1455 -1456 0 -1454 -1455 -1456 0 -1457 1458 1459 0 --1457 -1458 1459 0 --1457 1458 -1459 0 -1457 -1458 -1459 0 -1460 1461 1462 0 --1460 -1461 1462 0 --1460 1461 -1462 0 -1460 -1461 -1462 0 -1463 1464 1465 0 --1463 -1464 1465 0 --1463 1464 -1465 0 -1463 -1464 -1465 0 -1466 1467 1468 0 --1466 -1467 1468 0 --1466 1467 -1468 0 -1466 -1467 -1468 0 -1469 1470 1471 0 --1469 -1470 1471 0 --1469 1470 -1471 0 -1469 -1470 -1471 0 -1472 1473 1474 0 --1472 -1473 1474 0 --1472 1473 -1474 0 -1472 -1473 -1474 0 -1475 1476 1477 0 --1475 -1476 1477 0 --1475 1476 -1477 0 -1475 -1476 -1477 0 -1478 1479 1480 0 --1478 -1479 1480 0 --1478 1479 -1480 0 -1478 -1479 -1480 0 -1481 1482 1483 0 --1481 -1482 1483 0 --1481 1482 -1483 0 -1481 -1482 -1483 0 -1484 1485 1486 0 --1484 -1485 1486 0 --1484 1485 -1486 0 -1484 -1485 -1486 0 -1487 1488 1489 0 --1487 -1488 1489 0 --1487 1488 -1489 0 -1487 -1488 -1489 0 -1490 1491 1492 0 --1490 -1491 1492 0 --1490 1491 -1492 0 -1490 -1491 -1492 0 -1493 1494 1495 0 --1493 -1494 1495 0 --1493 1494 -1495 0 -1493 -1494 -1495 0 -1496 1497 1498 0 --1496 -1497 1498 0 --1496 1497 -1498 0 -1496 -1497 -1498 0 -1499 1500 1501 0 --1499 -1500 1501 0 --1499 1500 -1501 0 -1499 -1500 -1501 0 -1502 1503 1504 0 --1502 -1503 1504 0 --1502 1503 -1504 0 -1502 -1503 -1504 0 -1505 1506 1507 0 --1505 -1506 1507 0 --1505 1506 -1507 0 -1505 -1506 -1507 0 -1508 1509 1510 0 --1508 -1509 1510 0 --1508 1509 -1510 0 -1508 -1509 -1510 0 -1511 1512 1513 0 --1511 -1512 1513 0 --1511 1512 -1513 0 -1511 -1512 -1513 0 -1514 1515 1516 0 --1514 -1515 1516 0 --1514 1515 -1516 0 -1514 -1515 -1516 0 -1517 1518 1519 0 --1517 -1518 1519 0 --1517 1518 -1519 0 -1517 -1518 -1519 0 -1520 1521 1522 0 --1520 -1521 1522 0 --1520 1521 -1522 0 -1520 -1521 -1522 0 -1523 1524 1525 0 --1523 -1524 1525 0 --1523 1524 -1525 0 -1523 -1524 -1525 0 -1526 1527 1528 0 --1526 -1527 1528 0 --1526 1527 -1528 0 -1526 -1527 -1528 0 -1529 1530 1531 0 --1529 -1530 1531 0 --1529 1530 -1531 0 -1529 -1530 -1531 0 -1532 1533 1534 0 --1532 -1533 1534 0 --1532 1533 -1534 0 -1532 -1533 -1534 0 -1535 1536 1537 0 --1535 -1536 1537 0 --1535 1536 -1537 0 -1535 -1536 -1537 0 -1538 1539 1540 0 --1538 -1539 1540 0 --1538 1539 -1540 0 -1538 -1539 -1540 0 -1541 1542 1543 0 --1541 -1542 1543 0 --1541 1542 -1543 0 -1541 -1542 -1543 0 -1544 1545 1546 0 --1544 -1545 1546 0 --1544 1545 -1546 0 -1544 -1545 -1546 0 -1547 1548 1549 0 --1547 -1548 1549 0 --1547 1548 -1549 0 -1547 -1548 -1549 0 -1550 1551 1552 0 --1550 -1551 1552 0 --1550 1551 -1552 0 -1550 -1551 -1552 0 -1553 1554 1555 0 --1553 -1554 1555 0 --1553 1554 -1555 0 -1553 -1554 -1555 0 -1556 1557 1558 0 --1556 -1557 1558 0 --1556 1557 -1558 0 -1556 -1557 -1558 0 -1559 1560 1561 0 --1559 -1560 1561 0 --1559 1560 -1561 0 -1559 -1560 -1561 0 -1562 1563 1564 0 --1562 -1563 1564 0 --1562 1563 -1564 0 -1562 -1563 -1564 0 -1565 1566 1567 0 --1565 -1566 1567 0 --1565 1566 -1567 0 -1565 -1566 -1567 0 -1568 1569 1570 0 --1568 -1569 1570 0 --1568 1569 -1570 0 -1568 -1569 -1570 0 -1571 1572 1573 0 --1571 -1572 1573 0 --1571 1572 -1573 0 -1571 -1572 -1573 0 -1574 1575 1576 0 --1574 -1575 1576 0 --1574 1575 -1576 0 -1574 -1575 -1576 0 -1577 1578 1579 0 --1577 -1578 1579 0 --1577 1578 -1579 0 -1577 -1578 -1579 0 -1580 1581 1582 0 --1580 -1581 1582 0 --1580 1581 -1582 0 -1580 -1581 -1582 0 -1583 1584 1585 0 --1583 -1584 1585 0 --1583 1584 -1585 0 -1583 -1584 -1585 0 -1586 1587 1588 0 --1586 -1587 1588 0 --1586 1587 -1588 0 -1586 -1587 -1588 0 -1589 1590 1591 0 --1589 -1590 1591 0 --1589 1590 -1591 0 -1589 -1590 -1591 0 -1592 1593 1594 0 --1592 -1593 1594 0 --1592 1593 -1594 0 -1592 -1593 -1594 0 -1595 1596 1597 0 --1595 -1596 1597 0 --1595 1596 -1597 0 -1595 -1596 -1597 0 -1598 1599 1600 0 --1598 -1599 1600 0 --1598 1599 -1600 0 -1598 -1599 -1600 0 -1601 1602 1603 0 --1601 -1602 1603 0 --1601 1602 -1603 0 -1601 -1602 -1603 0 -1604 1605 1606 0 --1604 -1605 1606 0 --1604 1605 -1606 0 -1604 -1605 -1606 0 -1607 1608 1609 0 --1607 -1608 1609 0 --1607 1608 -1609 0 -1607 -1608 -1609 0 -1610 1611 1612 0 --1610 -1611 1612 0 --1610 1611 -1612 0 -1610 -1611 -1612 0 -1613 1614 1615 0 --1613 -1614 1615 0 --1613 1614 -1615 0 -1613 -1614 -1615 0 -1616 1617 1618 0 --1616 -1617 1618 0 --1616 1617 -1618 0 -1616 -1617 -1618 0 -1619 1620 1621 0 --1619 -1620 1621 0 --1619 1620 -1621 0 -1619 -1620 -1621 0 -1622 1623 1624 0 --1622 -1623 1624 0 --1622 1623 -1624 0 -1622 -1623 -1624 0 -1625 1626 1627 0 --1625 -1626 1627 0 --1625 1626 -1627 0 -1625 -1626 -1627 0 -1628 1629 1630 0 --1628 -1629 1630 0 --1628 1629 -1630 0 -1628 -1629 -1630 0 -1631 1632 1633 0 --1631 -1632 1633 0 --1631 1632 -1633 0 -1631 -1632 -1633 0 -1634 1635 1636 0 --1634 -1635 1636 0 --1634 1635 -1636 0 -1634 -1635 -1636 0 -1637 1638 1639 0 --1637 -1638 1639 0 --1637 1638 -1639 0 -1637 -1638 -1639 0 -1640 1641 1642 0 --1640 -1641 1642 0 --1640 1641 -1642 0 -1640 -1641 -1642 0 -1643 1644 1645 0 --1643 -1644 1645 0 --1643 1644 -1645 0 -1643 -1644 -1645 0 -1646 1647 1648 0 --1646 -1647 1648 0 --1646 1647 -1648 0 -1646 -1647 -1648 0 -1649 1650 1651 0 --1649 -1650 1651 0 --1649 1650 -1651 0 -1649 -1650 -1651 0 -1652 1653 1654 0 --1652 -1653 1654 0 --1652 1653 -1654 0 -1652 -1653 -1654 0 -1655 1656 1657 0 --1655 -1656 1657 0 --1655 1656 -1657 0 -1655 -1656 -1657 0 -1658 1659 1660 0 --1658 -1659 1660 0 --1658 1659 -1660 0 -1658 -1659 -1660 0 -1661 1662 1663 0 --1661 -1662 1663 0 --1661 1662 -1663 0 -1661 -1662 -1663 0 -1664 1665 1666 0 --1664 -1665 1666 0 --1664 1665 -1666 0 -1664 -1665 -1666 0 -1667 1668 1669 0 --1667 -1668 1669 0 --1667 1668 -1669 0 -1667 -1668 -1669 0 -1670 1671 1672 0 --1670 -1671 1672 0 --1670 1671 -1672 0 -1670 -1671 -1672 0 -1673 1674 1675 0 --1673 -1674 1675 0 --1673 1674 -1675 0 -1673 -1674 -1675 0 -1676 1677 1678 0 --1676 -1677 1678 0 --1676 1677 -1678 0 -1676 -1677 -1678 0 -1679 1680 1681 0 --1679 -1680 1681 0 --1679 1680 -1681 0 -1679 -1680 -1681 0 -1682 1683 1684 0 --1682 -1683 1684 0 --1682 1683 -1684 0 -1682 -1683 -1684 0 -1685 1686 1687 0 --1685 -1686 1687 0 --1685 1686 -1687 0 -1685 -1686 -1687 0 -1688 1689 1690 0 --1688 -1689 1690 0 --1688 1689 -1690 0 -1688 -1689 -1690 0 -1691 1692 1693 0 --1691 -1692 1693 0 --1691 1692 -1693 0 -1691 -1692 -1693 0 -1694 1695 1696 0 --1694 -1695 1696 0 --1694 1695 -1696 0 -1694 -1695 -1696 0 -1697 1698 1699 0 --1697 -1698 1699 0 --1697 1698 -1699 0 -1697 -1698 -1699 0 -1700 1701 1702 0 --1700 -1701 1702 0 --1700 1701 -1702 0 -1700 -1701 -1702 0 -1703 1704 1705 0 --1703 -1704 1705 0 --1703 1704 -1705 0 -1703 -1704 -1705 0 -1706 1707 1708 0 --1706 -1707 1708 0 --1706 1707 -1708 0 -1706 -1707 -1708 0 -1709 1710 1711 0 --1709 -1710 1711 0 --1709 1710 -1711 0 -1709 -1710 -1711 0 -1712 1713 1714 0 --1712 -1713 1714 0 --1712 1713 -1714 0 -1712 -1713 -1714 0 -1715 1716 1717 0 --1715 -1716 1717 0 --1715 1716 -1717 0 -1715 -1716 -1717 0 -1718 1719 1720 0 --1718 -1719 1720 0 --1718 1719 -1720 0 -1718 -1719 -1720 0 -1721 1722 1723 0 --1721 -1722 1723 0 --1721 1722 -1723 0 -1721 -1722 -1723 0 -1724 1725 1726 0 --1724 -1725 1726 0 --1724 1725 -1726 0 -1724 -1725 -1726 0 -1727 1728 1729 0 --1727 -1728 1729 0 --1727 1728 -1729 0 -1727 -1728 -1729 0 -1730 1731 1732 0 --1730 -1731 1732 0 --1730 1731 -1732 0 -1730 -1731 -1732 0 -1733 1734 1735 0 --1733 -1734 1735 0 --1733 1734 -1735 0 -1733 -1734 -1735 0 -1736 1737 1738 0 --1736 -1737 1738 0 --1736 1737 -1738 0 -1736 -1737 -1738 0 -1739 1740 1741 0 --1739 -1740 1741 0 --1739 1740 -1741 0 -1739 -1740 -1741 0 -1742 1743 1744 0 --1742 -1743 1744 0 --1742 1743 -1744 0 -1742 -1743 -1744 0 -1745 1746 1747 0 --1745 -1746 1747 0 --1745 1746 -1747 0 -1745 -1746 -1747 0 -1748 1749 1750 0 --1748 -1749 1750 0 --1748 1749 -1750 0 -1748 -1749 -1750 0 -1751 1752 1753 0 --1751 -1752 1753 0 --1751 1752 -1753 0 -1751 -1752 -1753 0 -1754 1755 1756 0 --1754 -1755 1756 0 --1754 1755 -1756 0 -1754 -1755 -1756 0 -1757 1758 1759 0 --1757 -1758 1759 0 --1757 1758 -1759 0 -1757 -1758 -1759 0 -1760 1761 1762 0 --1760 -1761 1762 0 --1760 1761 -1762 0 -1760 -1761 -1762 0 -1763 1764 1765 0 --1763 -1764 1765 0 --1763 1764 -1765 0 -1763 -1764 -1765 0 -1766 1767 1768 0 --1766 -1767 1768 0 --1766 1767 -1768 0 -1766 -1767 -1768 0 -1769 1770 1771 0 --1769 -1770 1771 0 --1769 1770 -1771 0 -1769 -1770 -1771 0 -1772 1773 1774 0 --1772 -1773 1774 0 --1772 1773 -1774 0 -1772 -1773 -1774 0 -1775 1776 1777 0 --1775 -1776 1777 0 --1775 1776 -1777 0 -1775 -1776 -1777 0 -1778 1779 1780 0 --1778 -1779 1780 0 --1778 1779 -1780 0 -1778 -1779 -1780 0 -1781 1782 1783 0 --1781 -1782 1783 0 --1781 1782 -1783 0 -1781 -1782 -1783 0 -1784 1785 1786 0 --1784 -1785 1786 0 --1784 1785 -1786 0 -1784 -1785 -1786 0 -1787 1788 1789 0 --1787 -1788 1789 0 --1787 1788 -1789 0 -1787 -1788 -1789 0 -1790 1791 1792 0 --1790 -1791 1792 0 --1790 1791 -1792 0 -1790 -1791 -1792 0 -1793 1794 1795 0 --1793 -1794 1795 0 --1793 1794 -1795 0 -1793 -1794 -1795 0 -1796 1797 1798 0 --1796 -1797 1798 0 --1796 1797 -1798 0 -1796 -1797 -1798 0 -1799 1800 1801 0 --1799 -1800 1801 0 --1799 1800 -1801 0 -1799 -1800 -1801 0 -1802 1803 1804 0 --1802 -1803 1804 0 --1802 1803 -1804 0 -1802 -1803 -1804 0 -1805 1806 1807 0 --1805 -1806 1807 0 --1805 1806 -1807 0 -1805 -1806 -1807 0 -1808 1809 1810 0 --1808 -1809 1810 0 --1808 1809 -1810 0 -1808 -1809 -1810 0 -1811 1812 1813 0 --1811 -1812 1813 0 --1811 1812 -1813 0 -1811 -1812 -1813 0 -1814 1815 1816 0 --1814 -1815 1816 0 --1814 1815 -1816 0 -1814 -1815 -1816 0 -1817 1818 1819 0 --1817 -1818 1819 0 --1817 1818 -1819 0 -1817 -1818 -1819 0 -1820 1821 1822 0 --1820 -1821 1822 0 --1820 1821 -1822 0 -1820 -1821 -1822 0 -1823 1824 1825 0 --1823 -1824 1825 0 --1823 1824 -1825 0 -1823 -1824 -1825 0 -1826 1827 1828 0 --1826 -1827 1828 0 --1826 1827 -1828 0 -1826 -1827 -1828 0 -1829 1830 1831 0 --1829 -1830 1831 0 --1829 1830 -1831 0 -1829 -1830 -1831 0 -1832 1833 1834 0 --1832 -1833 1834 0 --1832 1833 -1834 0 -1832 -1833 -1834 0 -1835 1836 1837 0 --1835 -1836 1837 0 --1835 1836 -1837 0 -1835 -1836 -1837 0 -1838 1240 0 --1838 -1240 0 -1839 1243 0 --1839 -1243 0 -1840 1246 0 --1840 -1246 0 -1841 1249 0 --1841 -1249 0 -1842 1252 0 --1842 -1252 0 -1843 1255 0 --1843 -1255 0 -1844 1258 0 --1844 -1258 0 -1845 1261 0 --1845 -1261 0 -1846 1264 0 --1846 -1264 0 -1847 1267 0 --1847 -1267 0 -1848 1270 0 --1848 -1270 0 -1849 1273 0 --1849 -1273 0 -1850 1276 0 --1850 -1276 0 -1851 1279 0 --1851 -1279 0 -1852 1282 0 --1852 -1282 0 -1853 1285 0 --1853 -1285 0 -1854 1288 0 --1854 -1288 0 -1855 1291 0 --1855 -1291 0 -1856 1294 0 --1856 -1294 0 -1857 1297 0 --1857 -1297 0 -1858 1300 0 --1858 -1300 0 -1859 1303 0 --1859 -1303 0 -1860 1306 0 --1860 -1306 0 -1861 1309 0 --1861 -1309 0 -1862 1312 0 --1862 -1312 0 -1863 1315 0 --1863 -1315 0 -1864 1318 0 --1864 -1318 0 -1865 1321 0 --1865 -1321 0 -1866 1324 0 --1866 -1324 0 -1867 1327 0 --1867 -1327 0 -1868 1330 0 --1868 -1330 0 -1869 1333 0 --1869 -1333 0 -1870 1336 0 --1870 -1336 0 -1871 1339 0 --1871 -1339 0 -1872 1342 0 --1872 -1342 0 -1873 1345 0 --1873 -1345 0 -1874 1348 0 --1874 -1348 0 -1875 1351 0 --1875 -1351 0 -1876 1354 0 --1876 -1354 0 -1877 1357 0 --1877 -1357 0 -1878 1360 0 --1878 -1360 0 -1879 1363 0 --1879 -1363 0 -1880 1366 0 --1880 -1366 0 -1881 1369 0 --1881 -1369 0 -1882 1372 0 --1882 -1372 0 -1883 1375 0 --1883 -1375 0 -1884 1378 0 --1884 -1378 0 -1885 1381 0 --1885 -1381 0 -1886 1384 0 --1886 -1384 0 -1887 1387 0 --1887 -1387 0 -1888 1390 0 --1888 -1390 0 -1889 1393 0 --1889 -1393 0 -1890 1396 0 --1890 -1396 0 -1891 1399 0 --1891 -1399 0 -1892 1402 0 --1892 -1402 0 -1893 1405 0 --1893 -1405 0 -1894 1408 0 --1894 -1408 0 -1895 1411 0 --1895 -1411 0 -1896 1414 0 --1896 -1414 0 -1897 1417 0 --1897 -1417 0 -1898 1420 0 --1898 -1420 0 -1899 1423 0 --1899 -1423 0 -1900 1426 0 --1900 -1426 0 -1901 1429 0 --1901 -1429 0 -1902 1432 0 --1902 -1432 0 -1903 1435 0 --1903 -1435 0 -1904 1438 0 --1904 -1438 0 -1905 1441 0 --1905 -1441 0 -1906 1444 0 --1906 -1444 0 -1907 1447 0 --1907 -1447 0 -1908 1450 0 --1908 -1450 0 -1909 1453 0 --1909 -1453 0 -1910 1456 0 --1910 -1456 0 -1911 1459 0 --1911 -1459 0 -1912 1462 0 --1912 -1462 0 -1913 1465 0 --1913 -1465 0 -1914 1468 0 --1914 -1468 0 -1915 1471 0 --1915 -1471 0 -1916 1474 0 --1916 -1474 0 -1917 1477 0 --1917 -1477 0 -1918 1480 0 --1918 -1480 0 -1919 1483 0 --1919 -1483 0 -1920 1486 0 --1920 -1486 0 -1921 1489 0 --1921 -1489 0 -1922 1492 0 --1922 -1492 0 -1923 1495 0 --1923 -1495 0 -1924 1498 0 --1924 -1498 0 -1925 1501 0 --1925 -1501 0 -1926 1504 0 --1926 -1504 0 -1927 1507 0 --1927 -1507 0 -1928 1510 0 --1928 -1510 0 -1929 1513 0 --1929 -1513 0 -1930 1516 0 --1930 -1516 0 -1931 1519 0 --1931 -1519 0 -1932 1522 0 --1932 -1522 0 -1933 1525 0 --1933 -1525 0 -1934 1528 0 --1934 -1528 0 -1935 1531 0 --1935 -1531 0 -1936 1534 0 --1936 -1534 0 -1937 1537 0 --1937 -1537 0 -1938 1540 0 --1938 -1540 0 -1939 1543 0 --1939 -1543 0 -1940 1546 0 --1940 -1546 0 -1941 1549 0 --1941 -1549 0 -1942 1552 0 --1942 -1552 0 -1943 1555 0 --1943 -1555 0 -1944 1558 0 --1944 -1558 0 -1945 1561 0 --1945 -1561 0 -1946 1564 0 --1946 -1564 0 -1947 1567 0 --1947 -1567 0 -1948 1570 0 --1948 -1570 0 -1949 1573 0 --1949 -1573 0 -1950 1576 0 --1950 -1576 0 -1951 1579 0 --1951 -1579 0 -1952 1582 0 --1952 -1582 0 -1953 1585 0 --1953 -1585 0 -1954 1588 0 --1954 -1588 0 -1955 1591 0 --1955 -1591 0 -1956 1594 0 --1956 -1594 0 -1957 1597 0 --1957 -1597 0 -1958 1600 0 --1958 -1600 0 -1959 1603 0 --1959 -1603 0 -1960 1606 0 --1960 -1606 0 -1961 1609 0 --1961 -1609 0 -1962 1612 0 --1962 -1612 0 -1963 1615 0 --1963 -1615 0 -1964 1618 0 --1964 -1618 0 -1965 1621 0 --1965 -1621 0 -1966 1624 0 --1966 -1624 0 -1967 1627 0 --1967 -1627 0 -1968 1630 0 --1968 -1630 0 -1969 1633 0 --1969 -1633 0 -1970 1636 0 --1970 -1636 0 -1971 1639 0 --1971 -1639 0 -1972 1642 0 --1972 -1642 0 -1973 1645 0 --1973 -1645 0 -1974 1648 0 --1974 -1648 0 -1975 1651 0 --1975 -1651 0 -1976 1654 0 --1976 -1654 0 -1977 1657 0 --1977 -1657 0 -1978 1660 0 --1978 -1660 0 -1979 1663 0 --1979 -1663 0 -1980 1666 0 --1980 -1666 0 -1981 1669 0 --1981 -1669 0 -1982 1672 0 --1982 -1672 0 -1983 1675 0 --1983 -1675 0 -1984 1678 0 --1984 -1678 0 -1985 1681 0 --1985 -1681 0 -1986 1684 0 --1986 -1684 0 -1987 1687 0 --1987 -1687 0 -1988 1690 0 --1988 -1690 0 -1989 1693 0 --1989 -1693 0 -1990 1696 0 --1990 -1696 0 -1991 1699 0 --1991 -1699 0 -1992 1702 0 --1992 -1702 0 -1993 1705 0 --1993 -1705 0 -1994 1708 0 --1994 -1708 0 -1995 1711 0 --1995 -1711 0 -1996 1714 0 --1996 -1714 0 -1997 1717 0 --1997 -1717 0 -1998 1720 0 --1998 -1720 0 -1999 1723 0 --1999 -1723 0 -2000 1726 0 --2000 -1726 0 -2001 1729 0 --2001 -1729 0 -2002 1732 0 --2002 -1732 0 -2003 1735 0 --2003 -1735 0 -2004 1738 0 --2004 -1738 0 -2005 1741 0 --2005 -1741 0 -2006 1744 0 --2006 -1744 0 -2007 1747 0 --2007 -1747 0 -2008 1750 0 --2008 -1750 0 -2009 1753 0 --2009 -1753 0 -2010 1756 0 --2010 -1756 0 -2011 1759 0 --2011 -1759 0 -2012 1762 0 --2012 -1762 0 -2013 1765 0 --2013 -1765 0 -2014 1768 0 --2014 -1768 0 -2015 1771 0 --2015 -1771 0 -2016 1774 0 --2016 -1774 0 -2017 1777 0 --2017 -1777 0 -2018 1780 0 --2018 -1780 0 -2019 1783 0 --2019 -1783 0 -2020 1786 0 --2020 -1786 0 -2021 1789 0 --2021 -1789 0 -2022 1792 0 --2022 -1792 0 -2023 1795 0 --2023 -1795 0 -2024 1798 0 --2024 -1798 0 -2025 1801 0 --2025 -1801 0 -2026 1804 0 --2026 -1804 0 -2027 1807 0 --2027 -1807 0 -2028 1810 0 --2028 -1810 0 -2029 1813 0 --2029 -1813 0 -2030 1816 0 --2030 -1816 0 -2031 1819 0 --2031 -1819 0 -2032 1822 0 --2032 -1822 0 -2033 1825 0 --2033 -1825 0 -2034 1828 0 --2034 -1828 0 -2035 1831 0 --2035 -1831 0 -2036 1834 0 --2036 -1834 0 -2037 1837 0 --2037 -1837 0 diff --git a/examples/jss_search_example.py b/examples/jss_search_example.py new file mode 100644 index 0000000..bddd3c6 --- /dev/null +++ b/examples/jss_search_example.py @@ -0,0 +1,98 @@ +from os import cpu_count +from typing import List + +# algorithm module imports +from algorithm.impl import MuPlusLambda +from algorithm.module.mutation import FixSize +from algorithm.module.selection import Roulette + +# function module imports +from function.impl import RhoFunction +from function.module.measure import Propagations + +# satprob lib imports +from lib_satprob.encoding import WCNF +from lib_satprob.variables import Range +from lib_satprob.solver import PySatSolver +from lib_satprob.problem import MaxSatProblem + +# space module imports +from space.impl import BackdoorSet + +# executor module imports +from executor.impl import ThreadExecutor + +# core module imports +from core.impl import Optimize +from core.model.point import Point +from core.module.sampling import Const +from core.module.limitation import Iteration +from core.module.comparator import MinValueMaxSize + +# other imports +from output.impl import NoneLogger +from util.work_path import WorkPath + + +def run_jss_search(count=500) -> List[Point]: + root_path = WorkPath('examples') + data_path = root_path.to_path('data') + wcnf_file = data_path.to_file('jss_hard.wcnf') + + problem = MaxSatProblem( + encoding=WCNF(from_file=wcnf_file), + solver=PySatSolver(sat_name='g3'), + ) + + workers = min(cpu_count(), 16) + executor = ThreadExecutor( + max_workers=workers + ) + print(f'Running on {workers} threads') + + split_into = 1024 // workers + size = split_into * workers + + points = [] + for i in range(count): + point = Optimize( + problem=problem, + executor=executor, + space=BackdoorSet( + by_vector=[], + variables=Range( + length=9950717 + ), + ), + sampling=Const( + size=size, + split_into=split_into + ), + logger=NoneLogger(), + function=RhoFunction( + penalty_power=2 ** 20, + measure=Propagations(), + ), + algorithm=MuPlusLambda( + mu_size=1, + lambda_size=1, + mutation=FixSize(10), + selection=Roulette(), + ), + limitation=Iteration(value=3000), + comparator=MinValueMaxSize(), + ).launch()[0] + points.append(point) + + print( + f'{i + 1:3d}/{count} ', + point.searchable, + point.get('rho_value') + ) + + return points + + +__all__ = [ + 'run_jss_search' +] diff --git a/examples/jss_solve_example.py b/examples/jss_solve_example.py new file mode 100644 index 0000000..c0d3fb9 --- /dev/null +++ b/examples/jss_solve_example.py @@ -0,0 +1,36 @@ +# satprob lib imports +from lib_satprob.encoding import WCNF +from lib_satprob.problem import SatProblem +from lib_satprob.solver import Report, Kissat + +# other imports +from core.impl import Solving +from output.impl import NoneLogger +from util.work_path import WorkPath +from space.model import load_backdoors + + +def run_jss_solve() -> Report: + root_path = WorkPath('examples') + data_path = root_path.to_path('data') + solvers_path = root_path.to_path('solvers') + + bds_file = data_path.to_file('jss_hard.bds') + backdoors = load_backdoors(from_file=bds_file) + + exec_file = solvers_path.to_file('kissat', 'kissat') + wcnf_file = data_path.to_file('jss_hard.wcnf') + problem = SatProblem( + encoding=WCNF(from_file=wcnf_file).from_hard(), + solver=Kissat(from_executable=exec_file) + ) + + return Solving( + problem=problem, + logger=NoneLogger(), + ).launch(*backdoors) + + +__all__ = [ + 'run_jss_solve' +]