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