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