c File: sanr200_0.9.clq c c SOURCE: Laura Sanchis (laura@cs.colgate.edu) c c DESCRIPTION: Randomly generated graph of similar size to "san" c graphs, but with differenct clique characteristics c c REFERENCE: "Test Case Construction for the Vertex Cover Problem", c DIMACS Workshop on Computational Support for Discrete Mathematics, c March, 1992, with additional work in a to be published technical c report. c c random graph 200 vertices 17863 edges c 200 0.100000 3827 c PSEUDOBOOLEAN 200 p wcnf 200 2237 200 1 -1 0 1 -2 0 1 -3 0 1 -4 0 1 -5 0 1 -6 0 1 -7 0 1 -8 0 1 -9 0 1 -10 0 1 -11 0 1 -12 0 1 -13 0 1 -14 0 1 -15 0 1 -16 0 1 -17 0 1 -18 0 1 -19 0 1 -20 0 1 -21 0 1 -22 0 1 -23 0 1 -24 0 1 -25 0 1 -26 0 1 -27 0 1 -28 0 1 -29 0 1 -30 0 1 -31 0 1 -32 0 1 -33 0 1 -34 0 1 -35 0 1 -36 0 1 -37 0 1 -38 0 1 -39 0 1 -40 0 1 -41 0 1 -42 0 1 -43 0 1 -44 0 1 -45 0 1 -46 0 1 -47 0 1 -48 0 1 -49 0 1 -50 0 1 -51 0 1 -52 0 1 -53 0 1 -54 0 1 -55 0 1 -56 0 1 -57 0 1 -58 0 1 -59 0 1 -60 0 1 -61 0 1 -62 0 1 -63 0 1 -64 0 1 -65 0 1 -66 0 1 -67 0 1 -68 0 1 -69 0 1 -70 0 1 -71 0 1 -72 0 1 -73 0 1 -74 0 1 -75 0 1 -76 0 1 -77 0 1 -78 0 1 -79 0 1 -80 0 1 -81 0 1 -82 0 1 -83 0 1 -84 0 1 -85 0 1 -86 0 1 -87 0 1 -88 0 1 -89 0 1 -90 0 1 -91 0 1 -92 0 1 -93 0 1 -94 0 1 -95 0 1 -96 0 1 -97 0 1 -98 0 1 -99 0 1 -100 0 1 -101 0 1 -102 0 1 -103 0 1 -104 0 1 -105 0 1 -106 0 1 -107 0 1 -108 0 1 -109 0 1 -110 0 1 -111 0 1 -112 0 1 -113 0 1 -114 0 1 -115 0 1 -116 0 1 -117 0 1 -118 0 1 -119 0 1 -120 0 1 -121 0 1 -122 0 1 -123 0 1 -124 0 1 -125 0 1 -126 0 1 -127 0 1 -128 0 1 -129 0 1 -130 0 1 -131 0 1 -132 0 1 -133 0 1 -134 0 1 -135 0 1 -136 0 1 -137 0 1 -138 0 1 -139 0 1 -140 0 1 -141 0 1 -142 0 1 -143 0 1 -144 0 1 -145 0 1 -146 0 1 -147 0 1 -148 0 1 -149 0 1 -150 0 1 -151 0 1 -152 0 1 -153 0 1 -154 0 1 -155 0 1 -156 0 1 -157 0 1 -158 0 1 -159 0 1 -160 0 1 -161 0 1 -162 0 1 -163 0 1 -164 0 1 -165 0 1 -166 0 1 -167 0 1 -168 0 1 -169 0 1 -170 0 1 -171 0 1 -172 0 1 -173 0 1 -174 0 1 -175 0 1 -176 0 1 -177 0 1 -178 0 1 -179 0 1 -180 0 1 -181 0 1 -182 0 1 -183 0 1 -184 0 1 -185 0 1 -186 0 1 -187 0 1 -188 0 1 -189 0 1 -190 0 1 -191 0 1 -192 0 1 -193 0 1 -194 0 1 -195 0 1 -196 0 1 -197 0 1 -198 0 1 -199 0 1 -200 0 200 1 4 0 200 1 10 0 200 1 11 0 200 1 12 0 200 1 31 0 200 1 33 0 200 1 35 0 200 1 40 0 200 1 45 0 200 1 48 0 200 1 51 0 200 1 52 0 200 1 70 0 200 1 72 0 200 1 81 0 200 1 100 0 200 1 102 0 200 1 103 0 200 1 111 0 200 1 113 0 200 1 128 0 200 1 131 0 200 1 138 0 200 1 156 0 200 1 158 0 200 1 172 0 200 1 173 0 200 1 188 0 200 1 191 0 200 2 4 0 200 2 8 0 200 2 10 0 200 2 20 0 200 2 36 0 200 2 47 0 200 2 61 0 200 2 65 0 200 2 75 0 200 2 78 0 200 2 86 0 200 2 91 0 200 2 126 0 200 2 138 0 200 2 192 0 200 2 193 0 200 3 20 0 200 3 41 0 200 3 47 0 200 3 51 0 200 3 56 0 200 3 66 0 200 3 67 0 200 3 112 0 200 3 114 0 200 3 120 0 200 3 132 0 200 3 133 0 200 3 139 0 200 3 144 0 200 3 156 0 200 3 174 0 200 3 180 0 200 3 184 0 200 3 187 0 200 4 9 0 200 4 25 0 200 4 35 0 200 4 40 0 200 4 62 0 200 4 89 0 200 4 127 0 200 4 132 0 200 4 144 0 200 4 148 0 200 4 154 0 200 4 165 0 200 4 179 0 200 4 183 0 200 4 190 0 200 4 196 0 200 5 13 0 200 5 22 0 200 5 23 0 200 5 26 0 200 5 29 0 200 5 32 0 200 5 34 0 200 5 37 0 200 5 48 0 200 5 49 0 200 5 55 0 200 5 78 0 200 5 93 0 200 5 106 0 200 5 110 0 200 5 112 0 200 5 123 0 200 5 125 0 200 5 129 0 200 5 131 0 200 5 157 0 200 5 160 0 200 5 164 0 200 5 170 0 200 5 195 0 200 6 13 0 200 6 27 0 200 6 28 0 200 6 34 0 200 6 36 0 200 6 43 0 200 6 49 0 200 6 79 0 200 6 85 0 200 6 103 0 200 6 104 0 200 6 105 0 200 6 108 0 200 6 119 0 200 6 123 0 200 6 135 0 200 6 183 0 200 7 19 0 200 7 31 0 200 7 37 0 200 7 65 0 200 7 69 0 200 7 82 0 200 7 89 0 200 7 99 0 200 7 111 0 200 7 112 0 200 7 117 0 200 7 144 0 200 7 155 0 200 7 157 0 200 7 163 0 200 7 165 0 200 7 173 0 200 7 174 0 200 7 182 0 200 7 196 0 200 8 14 0 200 8 23 0 200 8 26 0 200 8 37 0 200 8 38 0 200 8 46 0 200 8 58 0 200 8 60 0 200 8 66 0 200 8 69 0 200 8 73 0 200 8 80 0 200 8 83 0 200 8 88 0 200 8 90 0 200 8 91 0 200 8 113 0 200 8 115 0 200 8 124 0 200 8 128 0 200 8 130 0 200 8 136 0 200 8 168 0 200 8 177 0 200 8 179 0 200 8 184 0 200 8 192 0 200 9 11 0 200 9 26 0 200 9 39 0 200 9 41 0 200 9 42 0 200 9 64 0 200 9 69 0 200 9 72 0 200 9 94 0 200 9 108 0 200 9 109 0 200 9 111 0 200 9 117 0 200 9 133 0 200 9 137 0 200 9 140 0 200 9 144 0 200 9 151 0 200 9 164 0 200 9 172 0 200 9 175 0 200 9 182 0 200 9 183 0 200 10 12 0 200 10 37 0 200 10 42 0 200 10 69 0 200 10 79 0 200 10 92 0 200 10 94 0 200 10 96 0 200 10 97 0 200 10 119 0 200 10 139 0 200 10 155 0 200 10 169 0 200 10 190 0 200 11 15 0 200 11 17 0 200 11 21 0 200 11 37 0 200 11 39 0 200 11 45 0 200 11 48 0 200 11 55 0 200 11 81 0 200 11 85 0 200 11 88 0 200 11 90 0 200 11 96 0 200 11 100 0 200 11 108 0 200 11 114 0 200 11 129 0 200 11 141 0 200 11 144 0 200 11 157 0 200 11 158 0 200 11 160 0 200 11 167 0 200 11 175 0 200 11 177 0 200 11 178 0 200 11 181 0 200 11 185 0 200 11 188 0 200 11 193 0 200 11 200 0 200 12 13 0 200 12 15 0 200 12 18 0 200 12 21 0 200 12 24 0 200 12 25 0 200 12 47 0 200 12 58 0 200 12 89 0 200 12 106 0 200 12 139 0 200 12 160 0 200 12 163 0 200 13 15 0 200 13 27 0 200 13 51 0 200 13 54 0 200 13 58 0 200 13 70 0 200 13 112 0 200 13 115 0 200 13 138 0 200 13 139 0 200 13 152 0 200 13 156 0 200 13 164 0 200 13 170 0 200 13 174 0 200 14 31 0 200 14 44 0 200 14 48 0 200 14 51 0 200 14 55 0 200 14 58 0 200 14 68 0 200 14 84 0 200 14 85 0 200 14 95 0 200 14 113 0 200 14 118 0 200 14 121 0 200 14 122 0 200 14 131 0 200 14 135 0 200 14 149 0 200 14 200 0 200 15 17 0 200 15 24 0 200 15 39 0 200 15 43 0 200 15 46 0 200 15 60 0 200 15 62 0 200 15 75 0 200 15 79 0 200 15 89 0 200 15 100 0 200 15 109 0 200 15 177 0 200 15 181 0 200 15 195 0 200 16 36 0 200 16 50 0 200 16 61 0 200 16 75 0 200 16 77 0 200 16 80 0 200 16 97 0 200 16 98 0 200 16 104 0 200 16 119 0 200 16 122 0 200 16 136 0 200 16 139 0 200 16 147 0 200 16 156 0 200 16 165 0 200 16 174 0 200 16 184 0 200 16 187 0 200 17 20 0 200 17 21 0 200 17 25 0 200 17 60 0 200 17 68 0 200 17 72 0 200 17 83 0 200 17 92 0 200 17 94 0 200 17 100 0 200 17 118 0 200 17 119 0 200 17 129 0 200 17 133 0 200 17 141 0 200 17 142 0 200 17 151 0 200 17 161 0 200 17 164 0 200 17 166 0 200 17 167 0 200 17 190 0 200 17 194 0 200 17 195 0 200 17 198 0 200 18 27 0 200 18 29 0 200 18 34 0 200 18 50 0 200 18 55 0 200 18 58 0 200 18 60 0 200 18 78 0 200 18 89 0 200 18 112 0 200 18 130 0 200 18 152 0 200 18 157 0 200 18 163 0 200 18 177 0 200 19 20 0 200 19 23 0 200 19 29 0 200 19 43 0 200 19 51 0 200 19 54 0 200 19 61 0 200 19 65 0 200 19 66 0 200 19 69 0 200 19 90 0 200 19 99 0 200 19 101 0 200 19 104 0 200 19 119 0 200 19 128 0 200 19 134 0 200 19 179 0 200 19 184 0 200 19 185 0 200 19 191 0 200 19 197 0 200 20 27 0 200 20 37 0 200 20 55 0 200 20 60 0 200 20 62 0 200 20 64 0 200 20 76 0 200 20 83 0 200 20 86 0 200 20 91 0 200 20 97 0 200 20 109 0 200 20 154 0 200 20 155 0 200 20 158 0 200 20 180 0 200 20 188 0 200 20 199 0 200 21 26 0 200 21 36 0 200 21 39 0 200 21 44 0 200 21 46 0 200 21 53 0 200 21 61 0 200 21 62 0 200 21 63 0 200 21 86 0 200 21 88 0 200 21 93 0 200 21 116 0 200 21 123 0 200 21 128 0 200 21 142 0 200 21 143 0 200 21 153 0 200 21 165 0 200 21 178 0 200 21 185 0 200 21 194 0 200 21 197 0 200 22 26 0 200 22 32 0 200 22 52 0 200 22 63 0 200 22 85 0 200 22 95 0 200 22 109 0 200 22 123 0 200 22 140 0 200 22 146 0 200 22 148 0 200 22 156 0 200 22 160 0 200 22 164 0 200 22 172 0 200 22 196 0 200 22 198 0 200 22 199 0 200 23 25 0 200 23 29 0 200 23 55 0 200 23 64 0 200 23 67 0 200 23 77 0 200 23 91 0 200 23 97 0 200 23 103 0 200 23 106 0 200 23 129 0 200 23 130 0 200 23 135 0 200 23 145 0 200 23 153 0 200 23 177 0 200 23 178 0 200 23 188 0 200 24 27 0 200 24 35 0 200 24 36 0 200 24 40 0 200 24 43 0 200 24 51 0 200 24 53 0 200 24 54 0 200 24 69 0 200 24 71 0 200 24 74 0 200 24 87 0 200 24 90 0 200 24 94 0 200 24 101 0 200 24 128 0 200 24 132 0 200 24 168 0 200 24 175 0 200 24 186 0 200 25 34 0 200 25 41 0 200 25 44 0 200 25 62 0 200 25 64 0 200 25 65 0 200 25 76 0 200 25 80 0 200 25 85 0 200 25 90 0 200 25 105 0 200 25 122 0 200 25 138 0 200 25 139 0 200 25 158 0 200 25 189 0 200 25 194 0 200 26 34 0 200 26 38 0 200 26 52 0 200 26 53 0 200 26 78 0 200 26 96 0 200 26 117 0 200 26 127 0 200 26 133 0 200 26 146 0 200 26 151 0 200 26 171 0 200 26 176 0 200 26 184 0 200 27 32 0 200 27 38 0 200 27 44 0 200 27 55 0 200 27 69 0 200 27 79 0 200 27 85 0 200 27 97 0 200 27 112 0 200 27 129 0 200 27 131 0 200 27 151 0 200 27 163 0 200 27 169 0 200 27 185 0 200 27 193 0 200 27 194 0 200 28 33 0 200 28 82 0 200 28 92 0 200 28 94 0 200 28 102 0 200 28 124 0 200 28 138 0 200 28 160 0 200 28 166 0 200 28 167 0 200 28 173 0 200 28 186 0 200 28 191 0 200 28 198 0 200 28 200 0 200 29 32 0 200 29 36 0 200 29 38 0 200 29 43 0 200 29 46 0 200 29 52 0 200 29 55 0 200 29 58 0 200 29 71 0 200 29 74 0 200 29 77 0 200 29 78 0 200 29 82 0 200 29 83 0 200 29 86 0 200 29 120 0 200 29 124 0 200 29 130 0 200 29 131 0 200 29 132 0 200 29 143 0 200 29 145 0 200 29 151 0 200 29 158 0 200 29 161 0 200 29 172 0 200 29 178 0 200 29 180 0 200 29 193 0 200 30 34 0 200 30 47 0 200 30 49 0 200 30 69 0 200 30 71 0 200 30 88 0 200 30 96 0 200 30 105 0 200 30 120 0 200 30 124 0 200 30 127 0 200 30 142 0 200 30 160 0 200 30 180 0 200 31 33 0 200 31 42 0 200 31 49 0 200 31 58 0 200 31 68 0 200 31 98 0 200 31 106 0 200 31 122 0 200 31 124 0 200 31 129 0 200 31 134 0 200 31 190 0 200 31 192 0 200 32 34 0 200 32 39 0 200 32 40 0 200 32 41 0 200 32 54 0 200 32 56 0 200 32 63 0 200 32 84 0 200 32 104 0 200 32 118 0 200 32 122 0 200 32 124 0 200 32 132 0 200 32 135 0 200 32 136 0 200 32 161 0 200 32 165 0 200 32 177 0 200 32 188 0 200 32 197 0 200 32 198 0 200 32 200 0 200 33 41 0 200 33 43 0 200 33 60 0 200 33 73 0 200 33 75 0 200 33 82 0 200 33 100 0 200 33 101 0 200 33 104 0 200 33 108 0 200 33 120 0 200 33 128 0 200 33 132 0 200 33 161 0 200 33 178 0 200 33 180 0 200 34 59 0 200 34 150 0 200 34 158 0 200 34 164 0 200 34 168 0 200 34 197 0 200 34 198 0 200 34 200 0 200 35 53 0 200 35 61 0 200 35 64 0 200 35 81 0 200 35 91 0 200 35 95 0 200 35 103 0 200 35 114 0 200 35 125 0 200 35 152 0 200 35 155 0 200 35 157 0 200 35 187 0 200 35 191 0 200 35 197 0 200 36 58 0 200 36 88 0 200 36 96 0 200 36 97 0 200 36 106 0 200 36 136 0 200 36 141 0 200 36 149 0 200 36 165 0 200 36 183 0 200 36 193 0 200 36 196 0 200 36 197 0 200 37 41 0 200 37 83 0 200 37 89 0 200 37 100 0 200 37 105 0 200 37 118 0 200 37 119 0 200 37 132 0 200 37 137 0 200 37 141 0 200 37 146 0 200 37 148 0 200 37 149 0 200 37 151 0 200 37 155 0 200 37 156 0 200 37 174 0 200 37 177 0 200 37 178 0 200 37 180 0 200 37 189 0 200 37 192 0 200 37 197 0 200 38 44 0 200 38 47 0 200 38 54 0 200 38 59 0 200 38 65 0 200 38 66 0 200 38 88 0 200 38 99 0 200 38 104 0 200 38 118 0 200 38 119 0 200 38 128 0 200 38 138 0 200 38 140 0 200 38 152 0 200 38 156 0 200 38 159 0 200 38 161 0 200 38 178 0 200 38 179 0 200 38 189 0 200 38 193 0 200 38 194 0 200 38 200 0 200 39 43 0 200 39 49 0 200 39 66 0 200 39 68 0 200 39 83 0 200 39 91 0 200 39 100 0 200 39 106 0 200 39 111 0 200 39 112 0 200 39 114 0 200 39 159 0 200 39 171 0 200 39 174 0 200 39 183 0 200 39 187 0 200 39 190 0 200 40 73 0 200 40 75 0 200 40 76 0 200 40 101 0 200 40 103 0 200 40 105 0 200 40 109 0 200 40 144 0 200 40 145 0 200 40 156 0 200 40 182 0 200 40 187 0 200 41 42 0 200 41 58 0 200 41 68 0 200 41 70 0 200 41 73 0 200 41 74 0 200 41 94 0 200 41 99 0 200 41 100 0 200 41 111 0 200 41 124 0 200 41 127 0 200 41 128 0 200 41 130 0 200 41 131 0 200 41 147 0 200 41 160 0 200 41 168 0 200 41 172 0 200 41 189 0 200 41 199 0 200 41 200 0 200 42 54 0 200 42 66 0 200 42 69 0 200 42 72 0 200 42 94 0 200 42 96 0 200 42 98 0 200 42 111 0 200 42 118 0 200 42 119 0 200 42 131 0 200 42 133 0 200 42 154 0 200 42 156 0 200 42 158 0 200 42 162 0 200 42 171 0 200 42 181 0 200 42 194 0 200 43 51 0 200 43 61 0 200 43 62 0 200 43 77 0 200 43 85 0 200 43 96 0 200 43 108 0 200 43 115 0 200 43 133 0 200 43 136 0 200 43 139 0 200 43 143 0 200 43 146 0 200 43 169 0 200 43 171 0 200 43 179 0 200 43 200 0 200 44 48 0 200 44 54 0 200 44 56 0 200 44 60 0 200 44 71 0 200 44 84 0 200 44 119 0 200 44 124 0 200 44 133 0 200 44 150 0 200 44 153 0 200 44 158 0 200 44 159 0 200 44 165 0 200 44 167 0 200 44 179 0 200 44 192 0 200 45 51 0 200 45 58 0 200 45 77 0 200 45 83 0 200 45 87 0 200 45 95 0 200 45 103 0 200 45 109 0 200 45 117 0 200 45 129 0 200 45 141 0 200 45 146 0 200 45 152 0 200 45 154 0 200 45 158 0 200 46 59 0 200 46 67 0 200 46 72 0 200 46 82 0 200 46 88 0 200 46 107 0 200 46 115 0 200 46 120 0 200 46 136 0 200 46 145 0 200 46 166 0 200 46 179 0 200 47 50 0 200 47 77 0 200 47 95 0 200 47 109 0 200 47 115 0 200 47 128 0 200 47 142 0 200 47 146 0 200 47 162 0 200 47 170 0 200 47 173 0 200 47 178 0 200 47 190 0 200 47 193 0 200 48 57 0 200 48 71 0 200 48 76 0 200 48 78 0 200 48 101 0 200 48 102 0 200 48 107 0 200 48 115 0 200 48 116 0 200 48 120 0 200 48 152 0 200 48 157 0 200 48 164 0 200 48 167 0 200 48 169 0 200 48 175 0 200 48 182 0 200 48 183 0 200 48 190 0 200 49 57 0 200 49 60 0 200 49 63 0 200 49 64 0 200 49 77 0 200 49 90 0 200 49 104 0 200 49 105 0 200 49 108 0 200 49 115 0 200 49 120 0 200 49 128 0 200 49 130 0 200 49 160 0 200 49 171 0 200 49 188 0 200 49 195 0 200 50 61 0 200 50 77 0 200 50 99 0 200 50 100 0 200 50 109 0 200 50 123 0 200 50 130 0 200 50 140 0 200 50 147 0 200 50 152 0 200 50 163 0 200 50 179 0 200 50 181 0 200 50 186 0 200 50 195 0 200 50 197 0 200 50 199 0 200 51 91 0 200 51 112 0 200 51 115 0 200 51 137 0 200 51 139 0 200 51 146 0 200 51 148 0 200 51 156 0 200 51 157 0 200 51 167 0 200 51 170 0 200 51 181 0 200 51 192 0 200 52 55 0 200 52 56 0 200 52 67 0 200 52 68 0 200 52 118 0 200 52 119 0 200 52 131 0 200 52 133 0 200 52 137 0 200 52 144 0 200 52 146 0 200 52 158 0 200 52 166 0 200 52 171 0 200 52 181 0 200 52 196 0 200 53 62 0 200 53 69 0 200 53 76 0 200 53 85 0 200 53 87 0 200 53 95 0 200 53 153 0 200 53 169 0 200 53 170 0 200 53 172 0 200 53 186 0 200 53 189 0 200 53 194 0 200 54 56 0 200 54 65 0 200 54 69 0 200 54 71 0 200 54 74 0 200 54 82 0 200 54 91 0 200 54 104 0 200 54 112 0 200 54 116 0 200 54 124 0 200 54 125 0 200 54 134 0 200 54 150 0 200 54 151 0 200 54 165 0 200 54 171 0 200 54 179 0 200 54 182 0 200 54 183 0 200 54 190 0 200 54 193 0 200 54 196 0 200 54 197 0 200 55 59 0 200 55 67 0 200 55 70 0 200 55 85 0 200 55 89 0 200 55 102 0 200 55 114 0 200 55 128 0 200 55 137 0 200 55 153 0 200 55 154 0 200 55 172 0 200 55 183 0 200 55 199 0 200 56 57 0 200 56 71 0 200 56 87 0 200 56 93 0 200 56 119 0 200 56 138 0 200 56 144 0 200 56 156 0 200 56 163 0 200 56 164 0 200 56 169 0 200 56 173 0 200 56 177 0 200 56 184 0 200 56 187 0 200 56 196 0 200 57 64 0 200 57 87 0 200 57 89 0 200 57 97 0 200 57 108 0 200 57 121 0 200 57 142 0 200 57 194 0 200 58 64 0 200 58 65 0 200 58 71 0 200 58 80 0 200 58 84 0 200 58 90 0 200 58 101 0 200 58 102 0 200 58 108 0 200 58 111 0 200 58 118 0 200 58 119 0 200 58 138 0 200 58 145 0 200 58 147 0 200 58 148 0 200 58 156 0 200 58 160 0 200 58 171 0 200 58 178 0 200 58 183 0 200 58 196 0 200 59 75 0 200 59 76 0 200 59 80 0 200 59 84 0 200 59 121 0 200 59 128 0 200 59 134 0 200 59 144 0 200 59 161 0 200 59 182 0 200 59 187 0 200 59 194 0 200 60 64 0 200 60 77 0 200 60 92 0 200 60 95 0 200 60 126 0 200 60 128 0 200 60 129 0 200 60 134 0 200 60 139 0 200 60 156 0 200 60 166 0 200 60 172 0 200 60 180 0 200 60 190 0 200 60 191 0 200 61 89 0 200 61 93 0 200 61 94 0 200 61 99 0 200 61 108 0 200 61 115 0 200 61 124 0 200 61 129 0 200 61 131 0 200 61 134 0 200 61 143 0 200 61 151 0 200 61 176 0 200 61 184 0 200 61 191 0 200 61 193 0 200 61 194 0 200 62 66 0 200 62 69 0 200 62 74 0 200 62 77 0 200 62 98 0 200 62 106 0 200 62 107 0 200 62 118 0 200 62 124 0 200 62 125 0 200 62 189 0 200 62 195 0 200 63 106 0 200 63 113 0 200 63 115 0 200 63 130 0 200 63 134 0 200 63 137 0 200 63 147 0 200 63 148 0 200 63 156 0 200 63 177 0 200 64 65 0 200 64 74 0 200 64 81 0 200 64 97 0 200 64 115 0 200 64 135 0 200 64 143 0 200 64 159 0 200 64 160 0 200 64 161 0 200 64 165 0 200 64 167 0 200 64 169 0 200 64 173 0 200 64 198 0 200 65 77 0 200 65 92 0 200 65 95 0 200 65 104 0 200 65 113 0 200 65 121 0 200 65 125 0 200 65 142 0 200 65 144 0 200 65 160 0 200 65 186 0 200 66 72 0 200 66 73 0 200 66 79 0 200 66 80 0 200 66 83 0 200 66 87 0 200 66 92 0 200 66 103 0 200 66 133 0 200 66 155 0 200 66 161 0 200 66 179 0 200 66 181 0 200 66 188 0 200 66 194 0 200 66 196 0 200 67 74 0 200 67 77 0 200 67 85 0 200 67 90 0 200 67 136 0 200 67 137 0 200 67 141 0 200 67 152 0 200 67 165 0 200 67 168 0 200 67 177 0 200 68 71 0 200 68 78 0 200 68 85 0 200 68 89 0 200 68 100 0 200 68 112 0 200 68 113 0 200 68 126 0 200 68 132 0 200 68 136 0 200 68 142 0 200 68 151 0 200 68 170 0 200 68 186 0 200 68 193 0 200 68 196 0 200 69 91 0 200 69 97 0 200 69 114 0 200 69 121 0 200 69 125 0 200 69 128 0 200 69 138 0 200 69 139 0 200 69 149 0 200 69 152 0 200 69 154 0 200 69 162 0 200 69 173 0 200 69 195 0 200 69 200 0 200 70 103 0 200 70 104 0 200 70 106 0 200 70 114 0 200 70 137 0 200 70 147 0 200 70 151 0 200 70 177 0 200 70 179 0 200 70 190 0 200 70 199 0 200 70 200 0 200 71 83 0 200 71 88 0 200 71 91 0 200 71 96 0 200 71 101 0 200 71 116 0 200 71 119 0 200 71 138 0 200 71 144 0 200 71 146 0 200 71 147 0 200 71 166 0 200 71 169 0 200 71 176 0 200 71 194 0 200 72 109 0 200 72 111 0 200 72 138 0 200 72 139 0 200 72 151 0 200 72 165 0 200 72 166 0 200 72 169 0 200 73 86 0 200 73 93 0 200 73 104 0 200 73 108 0 200 73 109 0 200 73 115 0 200 73 122 0 200 73 129 0 200 73 149 0 200 73 150 0 200 73 153 0 200 73 154 0 200 73 161 0 200 73 163 0 200 73 168 0 200 73 169 0 200 73 172 0 200 73 176 0 200 73 195 0 200 73 200 0 200 74 77 0 200 74 89 0 200 74 109 0 200 74 116 0 200 74 128 0 200 74 165 0 200 74 167 0 200 74 170 0 200 74 176 0 200 75 103 0 200 75 104 0 200 75 119 0 200 75 131 0 200 75 134 0 200 75 137 0 200 75 141 0 200 75 146 0 200 75 155 0 200 75 157 0 200 75 167 0 200 75 182 0 200 76 81 0 200 76 91 0 200 76 108 0 200 76 125 0 200 76 145 0 200 76 146 0 200 76 150 0 200 76 151 0 200 76 160 0 200 76 168 0 200 76 171 0 200 76 186 0 200 77 85 0 200 77 86 0 200 77 93 0 200 77 95 0 200 77 99 0 200 77 102 0 200 77 111 0 200 77 146 0 200 77 168 0 200 77 171 0 200 77 181 0 200 77 193 0 200 78 98 0 200 78 103 0 200 78 105 0 200 78 116 0 200 78 125 0 200 78 132 0 200 78 167 0 200 78 185 0 200 78 187 0 200 79 80 0 200 79 85 0 200 79 92 0 200 79 93 0 200 79 106 0 200 79 108 0 200 79 125 0 200 79 163 0 200 79 179 0 200 79 180 0 200 79 187 0 200 79 191 0 200 79 196 0 200 80 87 0 200 80 89 0 200 80 108 0 200 80 110 0 200 80 114 0 200 80 142 0 200 80 156 0 200 80 179 0 200 81 90 0 200 81 99 0 200 81 104 0 200 81 112 0 200 81 114 0 200 81 126 0 200 81 128 0 200 81 147 0 200 81 155 0 200 81 169 0 200 81 199 0 200 82 97 0 200 82 118 0 200 82 125 0 200 82 128 0 200 82 129 0 200 82 149 0 200 82 158 0 200 82 187 0 200 82 188 0 200 82 192 0 200 82 196 0 200 82 199 0 200 83 97 0 200 83 99 0 200 83 102 0 200 83 107 0 200 83 127 0 200 83 130 0 200 83 133 0 200 83 144 0 200 83 165 0 200 83 166 0 200 83 167 0 200 83 173 0 200 83 180 0 200 83 185 0 200 83 193 0 200 84 99 0 200 84 115 0 200 84 123 0 200 84 136 0 200 84 145 0 200 84 165 0 200 84 170 0 200 84 177 0 200 84 182 0 200 85 88 0 200 85 92 0 200 85 98 0 200 85 107 0 200 85 112 0 200 85 122 0 200 85 159 0 200 85 181 0 200 85 182 0 200 85 194 0 200 86 88 0 200 86 107 0 200 86 108 0 200 86 111 0 200 86 116 0 200 86 119 0 200 86 124 0 200 86 148 0 200 86 162 0 200 86 169 0 200 86 186 0 200 86 196 0 200 86 200 0 200 87 105 0 200 87 112 0 200 87 115 0 200 87 119 0 200 87 121 0 200 87 130 0 200 87 146 0 200 87 147 0 200 87 150 0 200 87 156 0 200 87 194 0 200 87 196 0 200 88 102 0 200 88 114 0 200 88 121 0 200 88 125 0 200 88 126 0 200 88 131 0 200 88 136 0 200 88 143 0 200 88 158 0 200 88 159 0 200 88 163 0 200 89 94 0 200 89 101 0 200 89 106 0 200 89 122 0 200 89 125 0 200 89 127 0 200 89 148 0 200 89 163 0 200 89 173 0 200 89 175 0 200 89 183 0 200 90 101 0 200 90 105 0 200 90 129 0 200 90 144 0 200 90 149 0 200 90 151 0 200 90 170 0 200 90 175 0 200 91 93 0 200 91 100 0 200 91 102 0 200 91 103 0 200 91 104 0 200 91 118 0 200 91 142 0 200 91 150 0 200 91 154 0 200 91 156 0 200 91 161 0 200 91 166 0 200 91 186 0 200 91 196 0 200 92 108 0 200 92 118 0 200 92 128 0 200 92 135 0 200 92 160 0 200 92 174 0 200 92 194 0 200 93 115 0 200 93 117 0 200 93 139 0 200 93 183 0 200 94 100 0 200 94 108 0 200 94 112 0 200 94 114 0 200 94 127 0 200 94 134 0 200 94 138 0 200 94 154 0 200 94 155 0 200 94 161 0 200 94 179 0 200 94 191 0 200 94 195 0 200 95 97 0 200 95 101 0 200 95 109 0 200 95 123 0 200 95 134 0 200 95 136 0 200 95 141 0 200 95 159 0 200 95 174 0 200 95 190 0 200 96 99 0 200 96 144 0 200 96 156 0 200 96 157 0 200 96 158 0 200 96 159 0 200 96 166 0 200 96 176 0 200 96 178 0 200 96 186 0 200 96 189 0 200 96 195 0 200 96 196 0 200 97 105 0 200 97 122 0 200 97 134 0 200 97 140 0 200 97 144 0 200 97 156 0 200 97 173 0 200 97 189 0 200 98 99 0 200 98 121 0 200 98 127 0 200 98 134 0 200 98 138 0 200 98 144 0 200 98 146 0 200 98 147 0 200 98 161 0 200 98 168 0 200 98 182 0 200 98 183 0 200 98 188 0 200 99 101 0 200 99 102 0 200 99 103 0 200 99 117 0 200 99 138 0 200 99 143 0 200 99 149 0 200 99 150 0 200 99 163 0 200 99 171 0 200 99 172 0 200 99 187 0 200 99 191 0 200 99 196 0 200 99 200 0 200 100 124 0 200 100 127 0 200 100 136 0 200 100 137 0 200 100 150 0 200 100 151 0 200 100 157 0 200 100 178 0 200 100 183 0 200 100 191 0 200 100 193 0 200 101 103 0 200 101 117 0 200 101 127 0 200 101 132 0 200 101 138 0 200 101 159 0 200 101 163 0 200 101 170 0 200 101 173 0 200 101 192 0 200 102 128 0 200 102 147 0 200 102 148 0 200 102 161 0 200 102 168 0 200 102 184 0 200 102 186 0 200 103 109 0 200 103 123 0 200 103 142 0 200 103 169 0 200 103 178 0 200 104 109 0 200 104 122 0 200 104 123 0 200 104 128 0 200 104 133 0 200 104 134 0 200 104 137 0 200 104 140 0 200 104 152 0 200 104 176 0 200 105 119 0 200 105 123 0 200 105 151 0 200 105 156 0 200 105 172 0 200 105 173 0 200 105 175 0 200 105 179 0 200 105 188 0 200 105 197 0 200 106 109 0 200 106 112 0 200 106 118 0 200 106 136 0 200 106 138 0 200 106 145 0 200 106 178 0 200 106 185 0 200 106 188 0 200 107 138 0 200 107 142 0 200 107 154 0 200 107 156 0 200 107 162 0 200 107 168 0 200 107 183 0 200 107 194 0 200 108 117 0 200 108 118 0 200 108 120 0 200 108 142 0 200 108 176 0 200 108 178 0 200 108 179 0 200 108 180 0 200 108 182 0 200 108 197 0 200 109 111 0 200 109 113 0 200 109 130 0 200 109 131 0 200 109 133 0 200 109 139 0 200 109 142 0 200 109 148 0 200 109 152 0 200 109 169 0 200 109 185 0 200 110 135 0 200 110 154 0 200 110 155 0 200 110 163 0 200 110 165 0 200 110 174 0 200 110 191 0 200 110 196 0 200 111 127 0 200 111 144 0 200 111 153 0 200 111 155 0 200 111 157 0 200 111 158 0 200 111 173 0 200 111 192 0 200 112 114 0 200 112 137 0 200 112 139 0 200 112 141 0 200 112 155 0 200 112 159 0 200 112 176 0 200 112 183 0 200 112 189 0 200 112 191 0 200 112 193 0 200 113 131 0 200 113 132 0 200 113 135 0 200 113 138 0 200 113 139 0 200 113 153 0 200 113 154 0 200 113 164 0 200 113 186 0 200 114 120 0 200 114 159 0 200 114 164 0 200 114 169 0 200 114 170 0 200 114 192 0 200 114 195 0 200 114 196 0 200 115 124 0 200 115 152 0 200 115 153 0 200 115 160 0 200 115 175 0 200 115 183 0 200 115 188 0 200 115 189 0 200 115 191 0 200 115 192 0 200 116 131 0 200 116 133 0 200 116 136 0 200 116 142 0 200 116 161 0 200 116 176 0 200 116 191 0 200 116 192 0 200 116 193 0 200 117 127 0 200 117 128 0 200 117 135 0 200 117 137 0 200 117 147 0 200 117 169 0 200 117 174 0 200 117 182 0 200 117 189 0 200 117 194 0 200 118 122 0 200 118 152 0 200 118 178 0 200 118 185 0 200 119 127 0 200 119 134 0 200 119 141 0 200 119 154 0 200 119 180 0 200 120 140 0 200 120 141 0 200 120 162 0 200 120 171 0 200 120 181 0 200 120 188 0 200 120 197 0 200 121 143 0 200 121 145 0 200 121 185 0 200 121 193 0 200 121 196 0 200 122 138 0 200 122 152 0 200 122 153 0 200 122 155 0 200 122 169 0 200 122 171 0 200 122 189 0 200 122 190 0 200 122 195 0 200 123 127 0 200 123 139 0 200 123 155 0 200 123 159 0 200 123 162 0 200 123 163 0 200 123 166 0 200 123 169 0 200 123 179 0 200 123 186 0 200 123 188 0 200 123 190 0 200 123 191 0 200 123 193 0 200 123 194 0 200 124 137 0 200 124 152 0 200 124 174 0 200 124 184 0 200 124 196 0 200 125 134 0 200 125 142 0 200 125 147 0 200 125 159 0 200 125 161 0 200 125 186 0 200 125 194 0 200 125 197 0 200 125 198 0 200 126 132 0 200 126 134 0 200 126 140 0 200 126 144 0 200 126 170 0 200 126 173 0 200 127 128 0 200 127 158 0 200 127 166 0 200 127 170 0 200 127 190 0 200 127 194 0 200 127 196 0 200 127 197 0 200 128 136 0 200 128 141 0 200 128 147 0 200 128 162 0 200 128 177 0 200 128 180 0 200 128 187 0 200 128 188 0 200 129 151 0 200 129 178 0 200 129 192 0 200 129 193 0 200 129 200 0 200 130 132 0 200 130 178 0 200 130 183 0 200 130 185 0 200 130 195 0 200 131 134 0 200 131 138 0 200 131 175 0 200 131 176 0 200 131 177 0 200 131 182 0 200 131 198 0 200 132 141 0 200 132 145 0 200 132 148 0 200 132 158 0 200 132 161 0 200 132 167 0 200 132 184 0 200 132 196 0 200 133 142 0 200 133 162 0 200 133 164 0 200 133 178 0 200 133 187 0 200 133 192 0 200 133 195 0 200 133 200 0 200 134 145 0 200 134 149 0 200 134 151 0 200 134 152 0 200 134 185 0 200 134 197 0 200 135 141 0 200 135 145 0 200 135 146 0 200 135 147 0 200 135 149 0 200 135 159 0 200 135 161 0 200 135 179 0 200 135 188 0 200 136 145 0 200 136 146 0 200 136 165 0 200 136 176 0 200 136 187 0 200 136 199 0 200 137 142 0 200 137 146 0 200 137 150 0 200 137 162 0 200 137 180 0 200 137 191 0 200 138 178 0 200 138 190 0 200 139 161 0 200 139 168 0 200 139 172 0 200 139 180 0 200 139 185 0 200 139 196 0 200 139 199 0 200 140 142 0 200 140 168 0 200 140 183 0 200 140 185 0 200 140 187 0 200 141 149 0 200 141 151 0 200 141 153 0 200 141 175 0 200 141 181 0 200 141 184 0 200 142 144 0 200 142 166 0 200 142 168 0 200 142 169 0 200 142 174 0 200 142 179 0 200 142 189 0 200 142 196 0 200 143 163 0 200 143 173 0 200 143 182 0 200 144 155 0 200 144 159 0 200 144 169 0 200 144 179 0 200 144 190 0 200 144 196 0 200 145 171 0 200 145 184 0 200 145 188 0 200 145 200 0 200 146 156 0 200 146 160 0 200 146 178 0 200 146 180 0 200 146 181 0 200 146 188 0 200 146 190 0 200 146 200 0 200 147 153 0 200 147 157 0 200 147 161 0 200 147 195 0 200 147 198 0 200 147 200 0 200 148 153 0 200 148 181 0 200 148 184 0 200 148 194 0 200 148 199 0 200 149 172 0 200 149 184 0 200 149 196 0 200 149 198 0 200 150 183 0 200 150 188 0 200 151 159 0 200 151 172 0 200 151 182 0 200 151 189 0 200 151 193 0 200 151 199 0 200 152 157 0 200 152 163 0 200 152 168 0 200 153 172 0 200 153 195 0 200 154 159 0 200 154 162 0 200 154 170 0 200 154 171 0 200 154 176 0 200 154 178 0 200 154 194 0 200 155 158 0 200 155 163 0 200 155 175 0 200 155 176 0 200 155 180 0 200 155 184 0 200 155 189 0 200 155 200 0 200 156 161 0 200 156 162 0 200 156 164 0 200 156 166 0 200 156 167 0 200 156 195 0 200 156 198 0 200 156 199 0 200 157 159 0 200 157 164 0 200 157 168 0 200 157 175 0 200 157 182 0 200 157 194 0 200 158 179 0 200 158 180 0 200 158 183 0 200 158 187 0 200 159 163 0 200 159 175 0 200 159 196 0 200 160 178 0 200 161 166 0 200 161 173 0 200 161 184 0 200 161 192 0 200 161 198 0 200 162 164 0 200 162 175 0 200 162 184 0 200 162 192 0 200 162 195 0 200 163 168 0 200 163 177 0 200 163 181 0 200 163 182 0 200 163 183 0 200 163 186 0 200 163 191 0 200 164 185 0 200 165 170 0 200 165 175 0 200 165 177 0 200 165 189 0 200 165 198 0 200 166 174 0 200 166 181 0 200 166 199 0 200 167 169 0 200 167 172 0 200 167 173 0 200 167 174 0 200 167 184 0 200 168 179 0 200 168 180 0 200 168 183 0 200 168 188 0 200 169 177 0 200 169 180 0 200 169 184 0 200 169 192 0 200 169 196 0 200 169 200 0 200 170 172 0 200 170 177 0 200 170 191 0 200 171 176 0 200 171 177 0 200 171 179 0 200 171 196 0 200 172 175 0 200 172 194 0 200 172 197 0 200 173 194 0 200 173 195 0 200 173 199 0 200 175 185 0 200 176 179 0 200 176 185 0 200 176 195 0 200 178 194 0 200 178 197 0 200 178 198 0 200 178 200 0 200 179 183 0 200 180 181 0 200 180 199 0 200 181 184 0 200 181 186 0 200 182 186 0 200 182 200 0 200 183 184 0 200 183 190 0 200 184 186 0 200 184 188 0 200 184 193 0 200 184 195 0 200 184 198 0 200 186 200 0 200 187 196 0 200 188 198 0 200 189 195 0 200 191 195 0 200 191 196 0 200 191 198 0 200 191 199 0 200 194 195 0 200 195 198 0 200 196 197 0 200 197 200 0 200 198 200 0