c File: san200_0.9_1.clq c c SOURCE: Laura Sanchis (laura@cs.colgate.edu) 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 200 vertices 17910 edges 70 max clique c 200 1990 130 5679 533826 25 c PSEUDOBOOLEAN 200 p wcnf 200 2190 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 3 0 200 1 13 0 200 1 37 0 200 1 81 0 200 1 88 0 200 1 96 0 200 1 102 0 200 1 103 0 200 1 111 0 200 1 112 0 200 1 115 0 200 1 117 0 200 1 122 0 200 1 126 0 200 1 132 0 200 1 150 0 200 1 152 0 200 1 157 0 200 1 166 0 200 1 180 0 200 2 13 0 200 2 25 0 200 2 29 0 200 2 37 0 200 2 46 0 200 2 57 0 200 2 83 0 200 2 84 0 200 2 97 0 200 2 115 0 200 2 123 0 200 2 132 0 200 2 139 0 200 2 166 0 200 2 174 0 200 2 180 0 200 2 199 0 200 3 9 0 200 3 15 0 200 3 16 0 200 3 17 0 200 3 38 0 200 3 48 0 200 3 61 0 200 3 81 0 200 3 115 0 200 3 117 0 200 3 138 0 200 3 167 0 200 3 174 0 200 3 180 0 200 3 184 0 200 3 193 0 200 3 195 0 200 4 22 0 200 4 27 0 200 4 39 0 200 4 40 0 200 4 53 0 200 4 55 0 200 4 62 0 200 4 80 0 200 4 85 0 200 4 92 0 200 4 99 0 200 4 123 0 200 4 125 0 200 4 134 0 200 4 136 0 200 4 161 0 200 4 165 0 200 4 172 0 200 4 176 0 200 4 182 0 200 4 189 0 200 4 191 0 200 4 198 0 200 5 9 0 200 5 29 0 200 5 36 0 200 5 37 0 200 5 44 0 200 5 84 0 200 5 87 0 200 5 103 0 200 5 116 0 200 5 150 0 200 5 180 0 200 5 184 0 200 5 197 0 200 6 11 0 200 6 15 0 200 6 16 0 200 6 44 0 200 6 48 0 200 6 52 0 200 6 53 0 200 6 61 0 200 6 81 0 200 6 102 0 200 6 108 0 200 6 138 0 200 6 140 0 200 6 147 0 200 6 150 0 200 6 157 0 200 6 167 0 200 6 187 0 200 6 193 0 200 6 197 0 200 7 17 0 200 7 29 0 200 7 42 0 200 7 44 0 200 7 49 0 200 7 52 0 200 7 73 0 200 7 75 0 200 7 79 0 200 7 101 0 200 7 115 0 200 7 118 0 200 7 126 0 200 7 127 0 200 7 150 0 200 8 36 0 200 8 37 0 200 8 42 0 200 8 73 0 200 8 79 0 200 8 96 0 200 8 112 0 200 8 115 0 200 8 118 0 200 8 124 0 200 8 126 0 200 8 132 0 200 8 133 0 200 8 150 0 200 8 154 0 200 8 180 0 200 8 184 0 200 8 197 0 200 8 199 0 200 9 30 0 200 9 31 0 200 9 32 0 200 9 77 0 200 9 79 0 200 9 119 0 200 9 128 0 200 9 140 0 200 9 148 0 200 9 155 0 200 9 159 0 200 9 160 0 200 9 163 0 200 9 164 0 200 9 170 0 200 9 171 0 200 9 172 0 200 9 189 0 200 9 190 0 200 10 11 0 200 10 15 0 200 10 16 0 200 10 33 0 200 10 37 0 200 10 42 0 200 10 43 0 200 10 69 0 200 10 96 0 200 10 101 0 200 10 110 0 200 10 112 0 200 10 114 0 200 10 115 0 200 10 125 0 200 10 153 0 200 10 154 0 200 10 162 0 200 10 167 0 200 10 184 0 200 10 187 0 200 10 195 0 200 10 200 0 200 11 14 0 200 11 17 0 200 11 18 0 200 11 30 0 200 11 31 0 200 11 41 0 200 11 63 0 200 11 82 0 200 11 85 0 200 11 86 0 200 11 95 0 200 11 97 0 200 11 100 0 200 11 106 0 200 11 113 0 200 11 117 0 200 11 133 0 200 11 134 0 200 11 148 0 200 11 175 0 200 11 181 0 200 12 23 0 200 12 25 0 200 12 26 0 200 12 31 0 200 12 58 0 200 12 68 0 200 12 87 0 200 12 94 0 200 12 106 0 200 12 109 0 200 12 117 0 200 12 127 0 200 12 134 0 200 12 143 0 200 12 144 0 200 12 150 0 200 12 163 0 200 12 170 0 200 12 176 0 200 12 188 0 200 12 193 0 200 13 20 0 200 13 26 0 200 13 32 0 200 13 45 0 200 13 47 0 200 13 54 0 200 13 62 0 200 13 64 0 200 13 89 0 200 13 91 0 200 13 92 0 200 13 100 0 200 13 104 0 200 13 112 0 200 13 121 0 200 13 131 0 200 13 140 0 200 13 151 0 200 13 173 0 200 13 183 0 200 13 195 0 200 13 198 0 200 14 16 0 200 14 29 0 200 14 33 0 200 14 52 0 200 14 61 0 200 14 71 0 200 14 85 0 200 14 125 0 200 14 162 0 200 14 167 0 200 14 169 0 200 14 183 0 200 15 18 0 200 15 19 0 200 15 41 0 200 15 51 0 200 15 58 0 200 15 59 0 200 15 67 0 200 15 86 0 200 15 90 0 200 15 91 0 200 15 101 0 200 15 124 0 200 15 127 0 200 15 128 0 200 15 133 0 200 15 134 0 200 15 135 0 200 15 141 0 200 15 152 0 200 15 177 0 200 15 178 0 200 15 191 0 200 15 196 0 200 16 19 0 200 16 41 0 200 16 50 0 200 16 63 0 200 16 64 0 200 16 76 0 200 16 83 0 200 16 87 0 200 16 89 0 200 16 90 0 200 16 91 0 200 16 95 0 200 16 106 0 200 16 117 0 200 16 130 0 200 16 131 0 200 16 133 0 200 16 137 0 200 16 141 0 200 16 156 0 200 16 157 0 200 16 181 0 200 16 191 0 200 16 197 0 200 17 19 0 200 17 22 0 200 17 30 0 200 17 34 0 200 17 40 0 200 17 45 0 200 17 53 0 200 17 60 0 200 17 78 0 200 17 80 0 200 17 87 0 200 17 97 0 200 17 106 0 200 17 113 0 200 17 114 0 200 17 151 0 200 17 159 0 200 17 160 0 200 17 171 0 200 18 21 0 200 18 24 0 200 18 41 0 200 18 94 0 200 18 102 0 200 18 125 0 200 18 146 0 200 18 157 0 200 18 158 0 200 18 186 0 200 18 193 0 200 19 21 0 200 19 67 0 200 19 92 0 200 19 111 0 200 19 115 0 200 19 123 0 200 19 150 0 200 19 153 0 200 19 180 0 200 19 184 0 200 20 48 0 200 20 56 0 200 20 61 0 200 20 79 0 200 20 105 0 200 20 122 0 200 20 146 0 200 20 147 0 200 20 158 0 200 20 187 0 200 20 199 0 200 20 200 0 200 21 25 0 200 21 34 0 200 21 35 0 200 21 47 0 200 21 49 0 200 21 59 0 200 21 74 0 200 21 75 0 200 21 83 0 200 21 86 0 200 21 87 0 200 21 89 0 200 21 90 0 200 21 91 0 200 21 98 0 200 21 99 0 200 21 114 0 200 21 115 0 200 21 116 0 200 21 127 0 200 21 128 0 200 21 129 0 200 21 130 0 200 21 133 0 200 21 134 0 200 21 137 0 200 21 140 0 200 21 144 0 200 21 161 0 200 21 177 0 200 21 182 0 200 21 190 0 200 21 192 0 200 22 36 0 200 22 46 0 200 22 49 0 200 22 52 0 200 22 79 0 200 22 97 0 200 22 99 0 200 22 103 0 200 22 105 0 200 22 115 0 200 22 132 0 200 22 139 0 200 22 144 0 200 22 149 0 200 22 169 0 200 22 199 0 200 23 29 0 200 23 37 0 200 23 46 0 200 23 52 0 200 23 79 0 200 23 81 0 200 23 84 0 200 23 95 0 200 23 118 0 200 23 126 0 200 23 132 0 200 23 138 0 200 23 139 0 200 23 150 0 200 23 166 0 200 23 174 0 200 23 181 0 200 23 199 0 200 24 30 0 200 24 47 0 200 24 55 0 200 24 64 0 200 24 67 0 200 24 72 0 200 24 78 0 200 24 84 0 200 24 89 0 200 24 99 0 200 24 106 0 200 24 107 0 200 24 116 0 200 24 117 0 200 24 131 0 200 24 133 0 200 24 144 0 200 24 145 0 200 24 148 0 200 24 154 0 200 24 161 0 200 24 178 0 200 24 185 0 200 24 191 0 200 25 29 0 200 25 48 0 200 25 61 0 200 25 79 0 200 25 83 0 200 25 101 0 200 25 105 0 200 25 111 0 200 25 125 0 200 25 126 0 200 25 132 0 200 25 162 0 200 25 164 0 200 25 174 0 200 25 179 0 200 26 29 0 200 26 36 0 200 26 37 0 200 26 42 0 200 26 49 0 200 26 64 0 200 26 70 0 200 26 79 0 200 26 84 0 200 26 97 0 200 26 101 0 200 26 105 0 200 26 118 0 200 26 126 0 200 26 150 0 200 26 153 0 200 26 157 0 200 26 169 0 200 26 184 0 200 26 194 0 200 27 44 0 200 27 46 0 200 27 50 0 200 27 57 0 200 27 58 0 200 27 88 0 200 27 115 0 200 27 122 0 200 27 139 0 200 27 149 0 200 27 154 0 200 27 174 0 200 28 37 0 200 28 60 0 200 28 79 0 200 28 147 0 200 28 174 0 200 28 187 0 200 28 193 0 200 28 195 0 200 29 30 0 200 29 32 0 200 29 35 0 200 29 39 0 200 29 40 0 200 29 55 0 200 29 58 0 200 29 60 0 200 29 62 0 200 29 68 0 200 29 92 0 200 29 93 0 200 29 99 0 200 29 113 0 200 29 143 0 200 29 148 0 200 29 151 0 200 29 155 0 200 29 160 0 200 29 161 0 200 29 175 0 200 29 176 0 200 29 184 0 200 29 186 0 200 29 191 0 200 30 43 0 200 30 46 0 200 30 48 0 200 30 57 0 200 30 79 0 200 30 103 0 200 30 105 0 200 30 108 0 200 30 110 0 200 30 115 0 200 30 125 0 200 30 146 0 200 30 164 0 200 30 166 0 200 30 167 0 200 30 176 0 200 30 180 0 200 31 46 0 200 31 57 0 200 31 59 0 200 31 61 0 200 31 81 0 200 31 101 0 200 31 108 0 200 31 110 0 200 31 153 0 200 31 167 0 200 31 172 0 200 31 179 0 200 31 194 0 200 32 46 0 200 32 88 0 200 32 102 0 200 32 112 0 200 32 118 0 200 32 131 0 200 32 138 0 200 32 139 0 200 32 150 0 200 32 152 0 200 32 166 0 200 32 169 0 200 32 177 0 200 32 184 0 200 32 194 0 200 33 34 0 200 33 45 0 200 33 47 0 200 33 55 0 200 33 58 0 200 33 59 0 200 33 63 0 200 33 67 0 200 33 75 0 200 33 85 0 200 33 87 0 200 33 90 0 200 33 91 0 200 33 98 0 200 33 100 0 200 33 118 0 200 33 133 0 200 33 144 0 200 33 156 0 200 33 161 0 200 33 169 0 200 33 196 0 200 34 73 0 200 34 91 0 200 34 96 0 200 34 108 0 200 34 115 0 200 34 146 0 200 34 149 0 200 34 157 0 200 34 158 0 200 34 184 0 200 34 195 0 200 34 198 0 200 35 61 0 200 35 63 0 200 35 77 0 200 35 79 0 200 35 96 0 200 35 112 0 200 35 115 0 200 35 132 0 200 35 138 0 200 35 147 0 200 35 162 0 200 35 164 0 200 35 167 0 200 35 193 0 200 36 53 0 200 36 56 0 200 36 59 0 200 36 60 0 200 36 67 0 200 36 85 0 200 36 91 0 200 36 92 0 200 36 93 0 200 36 98 0 200 36 104 0 200 36 124 0 200 36 131 0 200 36 147 0 200 36 149 0 200 36 155 0 200 36 159 0 200 36 160 0 200 36 163 0 200 36 165 0 200 36 170 0 200 36 171 0 200 36 172 0 200 36 175 0 200 37 43 0 200 37 58 0 200 37 60 0 200 37 63 0 200 37 69 0 200 37 90 0 200 37 94 0 200 37 95 0 200 37 114 0 200 37 120 0 200 37 137 0 200 37 142 0 200 37 143 0 200 37 148 0 200 37 165 0 200 37 179 0 200 37 185 0 200 37 189 0 200 38 50 0 200 38 59 0 200 38 66 0 200 38 72 0 200 38 85 0 200 38 89 0 200 38 106 0 200 38 107 0 200 38 122 0 200 38 130 0 200 38 131 0 200 38 133 0 200 38 140 0 200 38 141 0 200 38 143 0 200 38 144 0 200 38 178 0 200 38 185 0 200 38 199 0 200 39 44 0 200 39 45 0 200 39 46 0 200 39 49 0 200 39 57 0 200 39 84 0 200 39 97 0 200 39 101 0 200 39 102 0 200 39 103 0 200 39 118 0 200 39 123 0 200 39 126 0 200 39 153 0 200 39 175 0 200 39 184 0 200 40 44 0 200 40 57 0 200 40 73 0 200 40 97 0 200 40 102 0 200 40 115 0 200 40 122 0 200 40 126 0 200 40 138 0 200 40 149 0 200 40 191 0 200 41 49 0 200 41 94 0 200 41 110 0 200 41 112 0 200 41 146 0 200 41 169 0 200 41 187 0 200 41 199 0 200 42 46 0 200 42 54 0 200 42 58 0 200 42 60 0 200 42 62 0 200 42 66 0 200 42 72 0 200 42 85 0 200 42 93 0 200 42 109 0 200 42 124 0 200 42 129 0 200 42 135 0 200 42 137 0 200 42 140 0 200 42 151 0 200 42 155 0 200 42 160 0 200 42 163 0 200 42 165 0 200 42 167 0 200 42 171 0 200 42 177 0 200 42 181 0 200 43 55 0 200 43 58 0 200 43 59 0 200 43 63 0 200 43 74 0 200 43 76 0 200 43 90 0 200 43 99 0 200 43 100 0 200 43 106 0 200 43 117 0 200 43 133 0 200 43 135 0 200 43 140 0 200 43 145 0 200 43 148 0 200 43 156 0 200 43 175 0 200 43 179 0 200 43 188 0 200 43 190 0 200 44 67 0 200 44 105 0 200 44 108 0 200 44 113 0 200 44 121 0 200 44 137 0 200 44 163 0 200 44 165 0 200 44 170 0 200 44 175 0 200 44 185 0 200 45 103 0 200 45 108 0 200 45 110 0 200 45 112 0 200 45 125 0 200 45 126 0 200 45 150 0 200 45 174 0 200 45 175 0 200 45 180 0 200 45 187 0 200 45 197 0 200 46 47 0 200 46 50 0 200 46 53 0 200 46 62 0 200 46 64 0 200 46 68 0 200 46 76 0 200 46 80 0 200 46 90 0 200 46 92 0 200 46 93 0 200 46 104 0 200 46 109 0 200 46 117 0 200 46 120 0 200 46 131 0 200 46 133 0 200 46 135 0 200 46 142 0 200 46 145 0 200 46 148 0 200 46 151 0 200 46 159 0 200 46 167 0 200 46 168 0 200 46 170 0 200 46 172 0 200 46 182 0 200 46 185 0 200 46 189 0 200 46 198 0 200 47 52 0 200 47 62 0 200 47 88 0 200 47 108 0 200 47 146 0 200 47 156 0 200 47 187 0 200 47 200 0 200 48 50 0 200 48 55 0 200 48 67 0 200 48 70 0 200 48 75 0 200 48 76 0 200 48 82 0 200 48 87 0 200 48 114 0 200 48 116 0 200 48 124 0 200 48 129 0 200 48 143 0 200 48 174 0 200 48 180 0 200 48 181 0 200 48 192 0 200 48 196 0 200 49 58 0 200 49 59 0 200 49 68 0 200 49 69 0 200 49 76 0 200 49 78 0 200 49 94 0 200 49 95 0 200 49 109 0 200 49 113 0 200 49 115 0 200 49 117 0 200 49 128 0 200 49 133 0 200 49 135 0 200 49 142 0 200 49 151 0 200 49 160 0 200 49 171 0 200 49 173 0 200 49 181 0 200 49 196 0 200 50 58 0 200 50 79 0 200 50 88 0 200 50 110 0 200 50 149 0 200 50 150 0 200 50 162 0 200 51 110 0 200 51 111 0 200 51 118 0 200 51 125 0 200 51 126 0 200 51 150 0 200 51 152 0 200 51 158 0 200 51 159 0 200 51 164 0 200 51 199 0 200 51 200 0 200 52 53 0 200 52 54 0 200 52 56 0 200 52 58 0 200 52 64 0 200 52 86 0 200 52 91 0 200 52 99 0 200 52 120 0 200 52 128 0 200 52 141 0 200 52 155 0 200 52 183 0 200 52 185 0 200 52 189 0 200 52 192 0 200 52 194 0 200 52 200 0 200 53 97 0 200 53 101 0 200 53 112 0 200 53 115 0 200 53 123 0 200 53 132 0 200 53 138 0 200 53 140 0 200 53 152 0 200 53 153 0 200 53 166 0 200 53 180 0 200 53 184 0 200 54 57 0 200 54 79 0 200 54 84 0 200 54 86 0 200 54 102 0 200 54 112 0 200 54 132 0 200 54 138 0 200 54 139 0 200 54 150 0 200 54 152 0 200 54 184 0 200 54 199 0 200 55 61 0 200 55 73 0 200 55 102 0 200 55 104 0 200 55 110 0 200 55 118 0 200 55 125 0 200 55 128 0 200 55 132 0 200 55 147 0 200 55 149 0 200 55 153 0 200 55 157 0 200 55 162 0 200 55 195 0 200 56 88 0 200 56 102 0 200 56 111 0 200 56 112 0 200 56 118 0 200 56 132 0 200 56 180 0 200 56 194 0 200 57 80 0 200 57 81 0 200 57 85 0 200 57 114 0 200 57 119 0 200 57 124 0 200 57 134 0 200 57 136 0 200 57 140 0 200 57 146 0 200 57 160 0 200 57 165 0 200 57 170 0 200 57 181 0 200 57 183 0 200 57 188 0 200 57 189 0 200 57 192 0 200 58 103 0 200 58 105 0 200 58 110 0 200 58 115 0 200 58 125 0 200 58 132 0 200 58 146 0 200 58 158 0 200 58 169 0 200 58 184 0 200 58 186 0 200 58 193 0 200 59 61 0 200 59 71 0 200 59 84 0 200 59 97 0 200 59 108 0 200 59 110 0 200 59 125 0 200 59 132 0 200 59 146 0 200 59 147 0 200 59 153 0 200 59 158 0 200 59 164 0 200 59 172 0 200 59 174 0 200 59 186 0 200 60 81 0 200 60 84 0 200 60 88 0 200 60 97 0 200 60 101 0 200 60 103 0 200 60 111 0 200 60 126 0 200 60 154 0 200 60 166 0 200 60 179 0 200 60 199 0 200 61 64 0 200 61 65 0 200 61 70 0 200 61 72 0 200 61 73 0 200 61 74 0 200 61 82 0 200 61 85 0 200 61 89 0 200 61 100 0 200 61 116 0 200 61 117 0 200 61 127 0 200 61 135 0 200 61 144 0 200 61 153 0 200 61 177 0 200 62 84 0 200 62 139 0 200 62 150 0 200 62 153 0 200 62 156 0 200 62 169 0 200 63 73 0 200 63 77 0 200 63 79 0 200 63 102 0 200 63 139 0 200 63 146 0 200 63 158 0 200 63 179 0 200 63 180 0 200 63 184 0 200 63 187 0 200 63 193 0 200 64 70 0 200 64 101 0 200 64 112 0 200 64 138 0 200 64 146 0 200 64 157 0 200 64 164 0 200 64 167 0 200 64 169 0 200 64 180 0 200 65 71 0 200 65 108 0 200 65 109 0 200 65 132 0 200 65 146 0 200 65 147 0 200 65 154 0 200 65 180 0 200 65 194 0 200 65 200 0 200 66 84 0 200 66 88 0 200 66 119 0 200 66 123 0 200 66 139 0 200 66 153 0 200 66 162 0 200 66 169 0 200 66 185 0 200 66 187 0 200 66 195 0 200 66 199 0 200 67 92 0 200 67 97 0 200 67 102 0 200 67 105 0 200 67 146 0 200 67 147 0 200 67 150 0 200 67 167 0 200 67 179 0 200 67 194 0 200 68 73 0 200 68 78 0 200 68 79 0 200 68 102 0 200 68 103 0 200 68 122 0 200 68 132 0 200 68 137 0 200 68 150 0 200 68 157 0 200 68 169 0 200 68 184 0 200 68 199 0 200 69 79 0 200 69 84 0 200 69 97 0 200 69 101 0 200 69 103 0 200 69 105 0 200 69 111 0 200 69 114 0 200 69 132 0 200 69 149 0 200 69 153 0 200 69 157 0 200 69 169 0 200 69 179 0 200 69 194 0 200 69 199 0 200 70 71 0 200 70 88 0 200 70 108 0 200 70 110 0 200 70 147 0 200 70 162 0 200 70 167 0 200 70 179 0 200 70 184 0 200 70 187 0 200 70 193 0 200 71 83 0 200 71 85 0 200 71 87 0 200 71 89 0 200 71 91 0 200 71 100 0 200 71 106 0 200 71 111 0 200 71 124 0 200 71 133 0 200 71 135 0 200 71 141 0 200 71 143 0 200 71 166 0 200 71 168 0 200 71 181 0 200 71 185 0 200 72 112 0 200 72 123 0 200 72 125 0 200 72 130 0 200 72 146 0 200 72 147 0 200 72 151 0 200 72 152 0 200 72 157 0 200 72 166 0 200 72 167 0 200 72 194 0 200 72 195 0 200 72 199 0 200 73 80 0 200 73 104 0 200 73 106 0 200 73 119 0 200 73 121 0 200 73 136 0 200 73 137 0 200 73 153 0 200 73 163 0 200 73 176 0 200 73 182 0 200 73 185 0 200 73 190 0 200 74 84 0 200 74 98 0 200 74 132 0 200 74 147 0 200 74 155 0 200 74 158 0 200 74 167 0 200 74 195 0 200 75 111 0 200 75 125 0 200 75 127 0 200 75 166 0 200 75 186 0 200 75 193 0 200 75 194 0 200 76 96 0 200 76 108 0 200 76 125 0 200 76 152 0 200 76 158 0 200 76 168 0 200 76 169 0 200 76 171 0 200 76 193 0 200 77 79 0 200 77 102 0 200 77 123 0 200 77 132 0 200 77 139 0 200 77 153 0 200 77 180 0 200 77 197 0 200 78 110 0 200 78 137 0 200 78 139 0 200 78 146 0 200 78 147 0 200 78 166 0 200 78 174 0 200 78 193 0 200 78 197 0 200 79 80 0 200 79 82 0 200 79 92 0 200 79 99 0 200 79 104 0 200 79 106 0 200 79 114 0 200 79 120 0 200 79 130 0 200 79 135 0 200 79 142 0 200 79 148 0 200 79 156 0 200 79 160 0 200 79 164 0 200 79 177 0 200 79 189 0 200 79 198 0 200 80 81 0 200 80 84 0 200 80 101 0 200 80 103 0 200 80 112 0 200 80 132 0 200 80 138 0 200 80 139 0 200 80 152 0 200 80 154 0 200 80 166 0 200 80 174 0 200 80 179 0 200 80 188 0 200 80 197 0 200 81 92 0 200 81 94 0 200 81 109 0 200 81 124 0 200 81 136 0 200 81 137 0 200 81 142 0 200 81 145 0 200 81 146 0 200 81 151 0 200 81 155 0 200 81 159 0 200 81 160 0 200 81 161 0 200 81 165 0 200 81 170 0 200 81 183 0 200 82 106 0 200 82 153 0 200 82 158 0 200 82 167 0 200 82 186 0 200 82 189 0 200 83 138 0 200 83 153 0 200 83 154 0 200 83 157 0 200 83 200 0 200 84 98 0 200 84 100 0 200 84 109 0 200 84 127 0 200 84 129 0 200 84 136 0 200 84 143 0 200 84 151 0 200 84 154 0 200 84 170 0 200 84 171 0 200 84 176 0 200 84 181 0 200 84 191 0 200 85 103 0 200 85 115 0 200 85 132 0 200 85 139 0 200 85 154 0 200 85 164 0 200 85 167 0 200 85 180 0 200 85 183 0 200 85 186 0 200 85 187 0 200 85 195 0 200 86 102 0 200 86 105 0 200 86 110 0 200 86 154 0 200 86 164 0 200 86 197 0 200 87 101 0 200 87 116 0 200 87 146 0 200 87 164 0 200 87 187 0 200 88 93 0 200 88 95 0 200 88 96 0 200 88 104 0 200 88 110 0 200 88 114 0 200 88 119 0 200 88 127 0 200 88 128 0 200 88 140 0 200 88 142 0 200 88 143 0 200 88 151 0 200 88 155 0 200 88 159 0 200 88 171 0 200 89 93 0 200 89 143 0 200 89 146 0 200 89 147 0 200 89 154 0 200 89 158 0 200 89 166 0 200 89 167 0 200 89 169 0 200 89 179 0 200 89 184 0 200 89 193 0 200 89 195 0 200 90 102 0 200 90 105 0 200 90 146 0 200 90 160 0 200 90 161 0 200 90 180 0 200 91 96 0 200 91 108 0 200 91 110 0 200 91 115 0 200 91 125 0 200 91 146 0 200 91 152 0 200 91 154 0 200 91 186 0 200 91 187 0 200 91 193 0 200 91 197 0 200 91 198 0 200 92 101 0 200 92 111 0 200 92 112 0 200 92 149 0 200 92 150 0 200 92 179 0 200 93 97 0 200 93 111 0 200 93 112 0 200 93 115 0 200 93 132 0 200 93 143 0 200 93 149 0 200 93 150 0 200 93 153 0 200 93 154 0 200 93 184 0 200 93 194 0 200 94 111 0 200 94 115 0 200 94 126 0 200 94 132 0 200 94 139 0 200 94 149 0 200 94 150 0 200 94 154 0 200 94 166 0 200 94 180 0 200 94 197 0 200 94 199 0 200 95 108 0 200 95 138 0 200 95 147 0 200 95 152 0 200 95 153 0 200 95 157 0 200 95 181 0 200 95 193 0 200 96 110 0 200 96 120 0 200 96 124 0 200 96 129 0 200 96 163 0 200 96 165 0 200 96 171 0 200 96 172 0 200 96 189 0 200 96 191 0 200 97 107 0 200 97 109 0 200 97 130 0 200 97 136 0 200 97 141 0 200 97 145 0 200 97 160 0 200 97 171 0 200 97 172 0 200 97 177 0 200 97 191 0 200 97 192 0 200 97 198 0 200 98 103 0 200 98 118 0 200 98 123 0 200 98 132 0 200 98 146 0 200 98 150 0 200 98 155 0 200 98 187 0 200 99 101 0 200 99 132 0 200 99 144 0 200 99 146 0 200 99 158 0 200 99 164 0 200 99 184 0 200 100 139 0 200 100 163 0 200 100 164 0 200 100 193 0 200 100 196 0 200 101 109 0 200 101 120 0 200 101 141 0 200 101 152 0 200 101 160 0 200 101 165 0 200 101 173 0 200 101 176 0 200 101 178 0 200 101 183 0 200 101 188 0 200 101 189 0 200 101 191 0 200 102 103 0 200 102 109 0 200 102 113 0 200 102 129 0 200 102 133 0 200 102 142 0 200 102 144 0 200 102 151 0 200 102 158 0 200 102 159 0 200 102 171 0 200 102 172 0 200 102 173 0 200 102 191 0 200 102 192 0 200 102 196 0 200 103 117 0 200 103 120 0 200 103 136 0 200 103 142 0 200 103 158 0 200 103 163 0 200 103 165 0 200 103 170 0 200 103 173 0 200 103 185 0 200 103 198 0 200 104 118 0 200 104 123 0 200 104 126 0 200 104 128 0 200 104 139 0 200 104 157 0 200 104 169 0 200 104 174 0 200 104 194 0 200 104 197 0 200 105 108 0 200 105 109 0 200 105 113 0 200 105 136 0 200 105 143 0 200 105 163 0 200 105 165 0 200 105 170 0 200 105 176 0 200 105 183 0 200 105 190 0 200 105 191 0 200 105 198 0 200 106 122 0 200 106 139 0 200 106 167 0 200 106 180 0 200 106 186 0 200 106 187 0 200 106 189 0 200 106 193 0 200 107 113 0 200 107 115 0 200 107 118 0 200 107 126 0 200 107 142 0 200 107 154 0 200 108 117 0 200 108 124 0 200 108 128 0 200 108 129 0 200 108 134 0 200 108 137 0 200 108 140 0 200 108 141 0 200 108 161 0 200 108 178 0 200 108 191 0 200 108 192 0 200 108 196 0 200 109 115 0 200 109 122 0 200 109 123 0 200 109 139 0 200 109 157 0 200 109 179 0 200 109 197 0 200 109 199 0 200 110 117 0 200 110 127 0 200 110 128 0 200 110 129 0 200 110 130 0 200 110 131 0 200 110 145 0 200 110 181 0 200 110 190 0 200 111 119 0 200 111 130 0 200 111 136 0 200 111 144 0 200 111 151 0 200 111 155 0 200 111 160 0 200 111 166 0 200 111 170 0 200 111 188 0 200 111 198 0 200 112 114 0 200 112 119 0 200 112 120 0 200 112 128 0 200 112 130 0 200 112 142 0 200 112 160 0 200 112 161 0 200 112 163 0 200 112 165 0 200 112 175 0 200 112 195 0 200 113 139 0 200 113 142 0 200 113 146 0 200 113 157 0 200 113 167 0 200 113 187 0 200 114 164 0 200 114 180 0 200 114 193 0 200 115 120 0 200 115 121 0 200 115 137 0 200 115 148 0 200 115 156 0 200 115 165 0 200 115 168 0 200 115 172 0 200 115 173 0 200 115 178 0 200 116 152 0 200 116 166 0 200 116 167 0 200 116 174 0 200 116 193 0 200 117 125 0 200 117 149 0 200 117 153 0 200 117 158 0 200 117 179 0 200 117 194 0 200 117 195 0 200 117 197 0 200 117 200 0 200 118 119 0 200 118 120 0 200 118 121 0 200 118 124 0 200 118 130 0 200 118 142 0 200 118 144 0 200 118 155 0 200 118 156 0 200 118 160 0 200 118 161 0 200 118 163 0 200 118 169 0 200 118 171 0 200 118 172 0 200 118 196 0 200 119 122 0 200 119 132 0 200 119 138 0 200 119 152 0 200 119 153 0 200 119 166 0 200 119 169 0 200 119 179 0 200 119 184 0 200 119 185 0 200 119 199 0 200 120 123 0 200 120 132 0 200 120 139 0 200 120 148 0 200 120 149 0 200 120 154 0 200 120 157 0 200 120 182 0 200 120 194 0 200 121 132 0 200 121 134 0 200 121 145 0 200 121 152 0 200 121 166 0 200 121 194 0 200 122 127 0 200 122 129 0 200 122 133 0 200 122 159 0 200 122 163 0 200 122 168 0 200 122 173 0 200 122 178 0 200 122 181 0 200 122 183 0 200 122 189 0 200 122 192 0 200 122 198 0 200 122 199 0 200 123 125 0 200 123 136 0 200 123 140 0 200 123 143 0 200 123 144 0 200 123 159 0 200 123 161 0 200 123 171 0 200 123 176 0 200 123 183 0 200 123 190 0 200 123 191 0 200 123 198 0 200 124 125 0 200 124 133 0 200 124 146 0 200 124 167 0 200 124 187 0 200 125 129 0 200 125 133 0 200 125 135 0 200 125 137 0 200 125 140 0 200 125 145 0 200 125 148 0 200 125 190 0 200 125 192 0 200 125 196 0 200 126 131 0 200 126 137 0 200 126 138 0 200 126 142 0 200 126 156 0 200 126 162 0 200 126 163 0 200 126 173 0 200 126 176 0 200 126 188 0 200 126 189 0 200 127 162 0 200 127 167 0 200 128 146 0 200 128 147 0 200 128 152 0 200 128 157 0 200 128 162 0 200 128 167 0 200 128 194 0 200 128 195 0 200 128 197 0 200 129 136 0 200 129 146 0 200 129 158 0 200 129 162 0 200 129 180 0 200 129 186 0 200 129 190 0 200 129 194 0 200 130 138 0 200 130 151 0 200 130 157 0 200 130 169 0 200 130 179 0 200 130 186 0 200 130 193 0 200 130 195 0 200 131 146 0 200 131 154 0 200 131 158 0 200 131 177 0 200 131 180 0 200 131 187 0 200 131 200 0 200 132 136 0 200 132 139 0 200 132 160 0 200 132 163 0 200 132 173 0 200 132 178 0 200 132 187 0 200 132 188 0 200 133 147 0 200 133 157 0 200 133 174 0 200 133 187 0 200 133 199 0 200 134 138 0 200 134 139 0 200 134 145 0 200 134 149 0 200 134 184 0 200 134 186 0 200 134 187 0 200 134 193 0 200 134 195 0 200 134 199 0 200 135 139 0 200 135 149 0 200 135 152 0 200 135 164 0 200 135 165 0 200 135 166 0 200 135 167 0 200 135 169 0 200 136 139 0 200 136 174 0 200 136 190 0 200 136 197 0 200 137 138 0 200 137 139 0 200 137 158 0 200 137 167 0 200 137 194 0 200 137 195 0 200 137 200 0 200 138 144 0 200 138 155 0 200 138 162 0 200 138 171 0 200 138 173 0 200 138 192 0 200 139 144 0 200 139 155 0 200 139 161 0 200 139 170 0 200 139 176 0 200 139 183 0 200 139 187 0 200 139 196 0 200 140 147 0 200 140 150 0 200 140 164 0 200 140 166 0 200 140 186 0 200 140 193 0 200 141 146 0 200 141 162 0 200 141 173 0 200 141 174 0 200 141 179 0 200 141 184 0 200 141 186 0 200 141 200 0 200 142 153 0 200 142 174 0 200 142 180 0 200 142 199 0 200 143 167 0 200 143 180 0 200 143 186 0 200 144 147 0 200 144 149 0 200 144 150 0 200 144 157 0 200 144 167 0 200 144 174 0 200 144 186 0 200 144 193 0 200 145 147 0 200 145 162 0 200 145 167 0 200 145 179 0 200 145 186 0 200 145 200 0 200 146 148 0 200 146 156 0 200 146 161 0 200 146 168 0 200 146 188 0 200 146 191 0 200 146 196 0 200 147 149 0 200 147 185 0 200 147 188 0 200 147 192 0 200 147 196 0 200 148 182 0 200 148 186 0 200 148 193 0 200 148 200 0 200 149 151 0 200 149 163 0 200 149 165 0 200 149 171 0 200 150 151 0 200 150 160 0 200 150 161 0 200 150 163 0 200 150 189 0 200 150 193 0 200 151 157 0 200 151 179 0 200 151 180 0 200 151 194 0 200 151 197 0 200 152 159 0 200 152 170 0 200 152 171 0 200 152 173 0 200 152 181 0 200 152 189 0 200 152 192 0 200 153 156 0 200 153 160 0 200 153 163 0 200 153 171 0 200 153 172 0 200 153 176 0 200 153 177 0 200 153 198 0 200 154 176 0 200 154 178 0 200 154 185 0 200 154 190 0 200 154 198 0 200 155 157 0 200 155 166 0 200 155 169 0 200 155 179 0 200 155 197 0 200 156 162 0 200 156 164 0 200 156 179 0 200 156 186 0 200 157 163 0 200 157 165 0 200 157 170 0 200 157 173 0 200 157 175 0 200 157 177 0 200 157 182 0 200 157 183 0 200 157 190 0 200 157 196 0 200 157 197 0 200 158 178 0 200 158 182 0 200 158 196 0 200 159 169 0 200 159 184 0 200 159 194 0 200 160 161 0 200 160 199 0 200 161 162 0 200 161 169 0 200 161 184 0 200 161 197 0 200 161 200 0 200 163 169 0 200 163 196 0 200 163 197 0 200 163 199 0 200 164 181 0 200 164 182 0 200 164 191 0 200 165 166 0 200 166 178 0 200 166 182 0 200 166 192 0 200 166 198 0 200 167 168 0 200 167 178 0 200 167 181 0 200 167 188 0 200 167 190 0 200 167 191 0 200 168 171 0 200 168 184 0 200 168 193 0 200 169 173 0 200 169 178 0 200 169 181 0 200 169 182 0 200 169 189 0 200 169 192 0 200 169 198 0 200 170 178 0 200 170 184 0 200 170 192 0 200 170 199 0 200 171 194 0 200 171 199 0 200 172 174 0 200 172 179 0 200 172 180 0 200 172 199 0 200 173 180 0 200 174 176 0 200 174 180 0 200 174 198 0 200 175 187 0 200 175 193 0 200 175 197 0 200 176 179 0 200 176 180 0 200 176 197 0 200 176 199 0 200 177 186 0 200 177 197 0 200 178 180 0 200 178 186 0 200 178 192 0 200 178 200 0 200 179 181 0 200 180 183 0 200 180 188 0 200 180 189 0 200 180 191 0 200 180 192 0 200 180 198 0 200 181 186 0 200 182 187 0 200 182 193 0 200 183 197 0 200 184 186 0 200 185 186 0 200 185 199 0 200 185 200 0 200 187 190 0 200 188 193 0 200 188 195 0 200 188 200 0 200 189 197 0 200 189 199 0 200 192 195 0 200 192 199 0 200 193 196 0 200 194 200 0 200 196 199 0 200 197 198 0