#BEGIN: [Tue Sep 5 07:54:50 2023] #HOST: s13 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: longest-wallclock-banbaralab-longest2 #INSTANCE1: /benchmark/random_instance/random_instance017_graph001.col #INSTANCE2: /benchmark/random_instance/random_instance017_graph001_01.dat #COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab --longest -t4 /benchmark/random_instance/random_instance017_graph001.col /benchmark/random_instance/random_instance017_graph001_01.dat c /benchmark/random_instance/random_instance017_graph001.col c /benchmark/random_instance/random_instance017_graph001_01.dat TIMEOUT 1800 c send SIGTERM to CID e52a895d2351629464c8029608cdb35055b96f4f876561a4e75e2a5750b21cc6 s 145 40 132 8 142 61 200 25 191 2 189 187 118 135 24 159 31 98 202 106 71 194 38 181 117 45 5 173 165 105 23 148 166 102 91 64 141 144 168 127 128 70 47 43 11 137 48 6 174 63 68 136 54 3 62 204 56 33 205 153 9 160 201 21 110 77 88 129 186 65 213 99 t 121 11 28 112 217 138 120 155 147 65 165 135 175 4 80 189 123 89 100 174 70 32 137 88 12 178 133 119 14 59 195 202 107 54 15 46 190 131 40 110 208 1 157 182 71 69 86 192 184 171 126 60 136 73 111 63 193 38 215 153 5 199 109 156 2 58 102 160 142 13 74 134 a YES a 2 3 5 6 8 9 11 21 23 24 25 31 33 38 40 43 45 47 48 54 56 61 62 63 64 65 68 70 71 77 88 91 98 99 102 105 106 110 117 118 127 128 129 132 135 136 137 141 142 144 145 148 153 159 160 165 166 168 173 174 181 186 187 189 191 194 200 201 202 204 205 213 a 2 3 5 6 8 9 11 21 23 24 25 31 33 38 40 43 45 47 48 54 56 61 62 63 64 65 68 70 71 77 88 91 98 99 102 105 106 110 117 118 121 127 128 129 132 135 136 137 141 142 144 145 148 153 159 160 165 166 168 173 174 181 186 187 189 191 200 201 202 204 205 213 a 2 3 5 6 8 9 11 21 23 24 25 31 33 38 40 43 45 47 48 54 56 61 62 63 64 65 68 70 71 77 78 88 91 98 99 102 105 106 110 117 118 121 127 128 129 132 135 136 137 141 142 144 145 148 153 159 160 165 166 168 173 174 181 186 187 191 200 201 202 204 205 213 a 2 3 5 6 8 9 11 21 23 24 25 31 33 38 40 43 45 47 48 54 56 62 63 64 65 68 70 71 77 78 80 88 91 98 99 102 105 106 110 117 118 121 127 128 129 132 135 136 137 141 142 144 145 148 153 159 160 165 166 168 173 174 181 186 187 191 200 201 202 204 205 213 a 2 3 5 6 8 9 11 21 23 24 25 31 33 38 40 41 43 45 47 48 54 56 62 63 64 65 68 70 71 77 78 80 88 91 98 99 102 105 106 110 117 118 121 127 128 129 132 135 136 137 141 142 145 148 153 159 160 165 166 168 173 174 181 186 187 191 200 201 202 204 205 213 a 2 3 5 6 8 9 11 21 23 24 25 31 33 38 40 41 43 45 47 48 54 56 62 63 64 65 68 70 71 77 78 80 88 91 98 99 102 105 110 117 118 121 127 128 129 132 135 136 137 141 142 144 145 148 153 159 160 165 166 168 173 174 181 186 187 191 200 201 202 204 205 213 a 2 3 5 6 8 9 11 21 23 24 25 31 33 38 40 41 43 45 47 48 54 56 62 63 64 65 68 70 71 77 78 80 88 91 98 99 102 105 110 117 118 121 127 128 129 132 134 135 136 137 141 142 144 145 148 153 159 160 165 166 168 173 174 181 186 187 191 200 201 202 204 213 a 2 3 5 6 8 9 11 21 23 24 25 31 33 38 40 41 43 45 47 48 54 56 62 63 64 65 68 70 71 77 78 80 88 91 98 99 102 105 110 117 118 121 127 128 129 132 134 135 136 137 141 142 145 148 153 159 160 165 166 168 173 174 181 186 187 191 200 201 202 204 213 220 a 2 3 5 6 8 9 11 21 23 24 25 31 33 38 40 41 43 45 47 48 54 56 61 62 63 64 65 68 70 71 77 78 88 91 98 99 102 105 110 117 118 121 127 128 129 132 134 135 136 137 141 142 145 148 153 159 160 165 166 168 173 174 181 186 187 191 200 201 202 204 213 220 a 2 3 5 6 8 9 11 21 23 24 25 31 33 38 40 41 43 45 47 48 54 56 57 61 62 63 64 65 68 71 77 78 88 91 98 99 102 105 110 117 118 121 127 128 129 132 134 135 136 137 141 142 145 148 153 159 160 165 166 168 173 174 181 186 187 191 200 201 202 204 213 220 a 2 3 5 6 8 9 11 21 23 24 25 29 33 38 40 41 43 45 47 48 54 56 57 61 62 63 64 65 68 71 77 78 88 91 98 99 102 105 110 117 118 121 127 128 129 132 134 135 136 137 141 142 145 148 153 159 160 165 166 168 173 174 181 186 187 191 200 201 202 204 213 220 a 2 3 5 6 8 9 11 21 23 24 25 29 33 38 40 41 43 45 47 48 54 56 57 61 62 63 64 65 68 71 77 78 88 91 98 99 102 105 110 117 118 127 128 129 132 134 135 136 137 141 142 145 148 153 159 160 165 166 168 173 174 181 186 187 191 194 200 201 202 204 213 220 a 2 3 5 6 8 9 11 21 23 24 25 29 33 38 40 41 43 45 47 48 54 56 57 61 62 63 64 65 68 71 77 78 88 91 95 98 99 102 105 110 117 118 127 128 129 132 134 136 137 141 142 145 148 153 159 160 165 166 168 173 174 181 186 187 191 194 200 201 202 204 213 220 a 2 3 5 6 8 9 11 21 23 24 25 31 33 38 40 41 43 45 47 48 54 56 57 61 62 63 64 65 68 71 77 78 88 91 95 98 99 102 105 110 117 118 127 128 129 132 134 136 137 141 142 145 148 153 159 160 165 166 168 173 174 181 186 187 191 194 200 201 202 204 213 220 a 2 3 5 6 8 9 11 21 23 24 25 31 33 38 40 41 43 45 47 48 54 56 57 61 62 63 64 65 68 71 77 78 88 91 95 98 99 102 105 110 117 118 127 128 129 132 134 136 137 141 142 145 148 153 159 160 165 166 168 173 174 177 181 186 187 191 194 200 201 202 204 213 a 2 3 5 6 8 9 11 21 23 24 25 31 33 38 40 41 43 45 47 48 54 56 57 61 62 63 64 65 68 71 77 78 88 91 95 98 99 102 105 110 117 118 127 128 129 132 136 137 141 142 145 148 153 159 160 165 166 168 173 174 177 181 186 187 191 194 200 201 202 204 205 213 a 2 3 5 6 8 9 11 21 23 24 31 33 38 40 41 43 45 47 48 54 56 57 61 62 63 64 65 68 71 77 78 88 91 95 98 99 102 105 110 117 118 127 128 129 132 136 137 141 142 145 148 153 159 160 165 166 168 173 174 176 177 181 186 187 191 194 200 201 202 204 205 213 a 2 3 5 6 8 9 11 21 23 24 31 33 38 40 41 43 45 47 48 54 55 56 57 61 62 63 64 65 68 71 77 78 88 91 95 98 99 102 105 110 117 118 127 128 129 132 136 137 141 142 145 148 153 159 160 165 166 168 173 174 176 177 181 186 187 191 194 200 201 202 204 205 a 2 3 5 6 8 9 11 21 23 24 31 33 38 40 41 43 45 47 48 54 55 56 57 61 62 63 64 65 68 71 77 78 88 91 95 98 99 102 105 110 117 118 127 128 129 132 134 136 137 141 142 145 148 153 159 160 165 166 168 173 174 176 177 181 186 187 191 194 200 201 202 204 a 2 3 5 6 8 9 11 21 23 24 31 33 38 40 41 43 45 47 48 54 56 57 61 62 63 64 65 68 71 77 78 88 91 95 98 99 102 105 110 117 118 127 128 129 132 134 136 137 141 142 145 148 153 159 160 165 166 168 173 174 176 177 181 186 187 191 194 200 201 202 204 213 a 2 3 5 6 8 9 11 21 23 24 31 33 38 40 41 43 45 47 48 54 56 57 61 62 63 64 65 68 71 77 78 91 95 98 99 102 105 110 117 118 127 128 129 132 134 136 137 141 142 145 148 153 157 159 160 165 166 168 173 174 176 177 181 186 187 191 194 200 201 202 204 213 a 2 3 5 6 8 11 21 23 24 31 33 38 40 41 42 43 45 47 48 54 56 57 61 62 63 64 65 68 71 77 78 91 95 98 99 102 105 110 117 118 127 128 129 132 134 136 137 141 142 145 148 153 157 159 160 165 166 168 173 174 176 177 181 186 187 191 194 200 201 202 204 213 a 2 3 5 6 8 11 21 23 24 31 33 38 40 41 42 43 45 47 48 54 56 57 61 62 63 64 65 68 71 77 78 91 92 95 98 99 102 105 110 117 118 127 128 129 132 134 136 137 141 142 145 148 153 157 159 160 165 166 168 174 176 177 181 186 187 191 194 200 201 202 204 213 a 2 3 5 6 8 11 21 23 24 31 33 38 40 42 43 45 47 48 54 56 57 61 62 63 64 65 68 71 77 78 91 92 95 98 99 102 105 110 117 118 127 128 129 132 134 136 137 141 142 144 145 148 153 157 159 160 165 166 168 174 176 177 181 186 187 191 194 200 201 202 204 213 a 2 3 5 6 8 11 21 23 24 31 33 38 40 42 43 45 47 48 54 56 61 62 63 64 65 68 70 71 77 78 91 92 95 98 99 102 105 110 117 118 127 128 129 132 134 136 137 141 142 144 145 148 153 157 159 160 165 166 168 174 176 177 181 186 187 191 194 200 201 202 204 213 a 2 3 5 6 8 11 21 23 24 31 33 38 40 42 43 45 47 48 54 55 56 61 62 63 64 65 68 70 71 77 78 91 92 95 98 99 102 105 110 117 118 127 128 129 132 134 136 137 141 142 144 145 148 153 157 159 160 165 166 168 174 176 177 181 186 187 191 194 200 201 202 204 a 2 3 5 6 8 11 21 23 31 33 38 40 42 43 45 47 48 54 55 56 61 62 63 64 65 68 70 71 77 78 91 92 95 98 99 102 105 107 110 117 118 127 128 129 132 134 136 137 141 142 144 145 148 153 157 159 160 165 166 168 174 176 177 181 186 187 191 194 200 201 202 204 a 2 3 5 6 8 11 21 23 31 33 38 40 42 43 45 47 48 54 55 56 61 62 63 64 65 68 70 71 77 78 91 92 95 98 99 102 105 107 110 117 118 127 128 129 132 134 136 137 141 142 144 145 148 153 157 159 160 165 166 168 174 176 177 178 181 186 191 194 200 201 202 204 a 2 3 5 6 8 11 21 23 31 33 38 40 42 43 45 47 48 54 55 56 61 62 63 64 65 68 70 71 77 78 91 92 95 98 99 102 105 107 110 117 118 127 128 129 132 134 136 137 141 142 144 145 148 153 157 159 160 165 166 168 174 176 177 178 181 186 191 194 199 200 201 204 a 2 3 5 6 8 11 21 23 31 33 38 40 42 43 45 47 48 54 55 56 61 62 63 64 65 68 70 71 77 78 91 92 94 95 98 99 102 105 107 110 117 118 127 128 129 132 134 136 137 141 142 144 145 148 153 157 159 160 166 168 174 176 177 178 181 186 191 194 199 200 201 204 a 2 3 5 6 8 11 21 23 31 33 38 40 42 43 45 47 48 54 55 56 57 61 62 63 64 65 68 71 77 78 91 92 94 95 98 99 102 105 107 110 117 118 127 128 129 132 134 136 137 141 142 144 145 148 153 157 159 160 166 168 174 176 177 178 181 186 191 194 199 200 201 204 a 2 3 5 6 8 11 21 23 31 33 38 40 42 43 45 47 48 54 55 56 57 61 62 63 64 65 68 71 77 78 91 92 94 95 98 99 102 105 107 110 117 118 127 129 132 134 136 137 141 142 144 145 148 149 153 157 159 160 166 168 174 176 177 178 181 186 191 194 199 200 201 204 a 2 3 5 6 8 9 11 21 23 31 33 38 40 43 45 47 48 54 55 56 57 61 62 63 64 65 68 71 77 78 91 92 94 95 98 99 102 105 107 110 117 118 127 129 132 134 136 137 141 142 144 145 148 149 153 157 159 160 166 168 174 176 177 178 181 186 191 194 199 200 201 204 a 2 3 5 6 8 9 11 21 23 31 33 38 40 43 45 47 48 54 55 56 57 61 62 63 64 65 68 69 71 77 78 91 92 94 95 98 99 102 107 110 117 118 127 129 132 134 136 137 141 142 144 145 148 149 153 157 159 160 166 168 174 176 177 178 181 186 191 194 199 200 201 204 a 2 3 5 6 8 9 11 21 23 31 33 38 43 45 47 48 54 55 56 57 61 62 63 64 65 68 69 71 77 78 91 92 94 95 98 99 102 107 110 117 118 127 129 132 134 136 137 141 142 144 145 148 149 153 157 159 160 166 168 169 174 176 177 178 181 186 191 194 199 200 201 204 a 2 3 5 6 8 9 11 21 23 31 33 38 41 43 45 47 48 54 55 56 57 61 62 63 64 65 68 69 71 77 78 91 92 94 95 98 99 102 107 110 117 118 127 129 132 134 136 137 141 142 144 145 148 149 153 157 160 166 168 169 174 176 177 178 181 186 191 194 199 200 201 204 a 2 3 5 6 8 9 11 21 23 31 33 38 40 41 43 45 47 48 54 55 56 57 61 62 63 64 65 68 69 71 77 78 91 92 94 95 98 99 102 107 110 117 118 127 129 132 134 136 137 141 142 144 145 148 149 153 157 160 166 168 174 176 177 178 181 186 191 194 199 200 201 204 a 2 3 5 6 8 9 11 21 23 31 33 38 40 41 43 45 47 48 54 55 56 57 61 62 63 64 65 69 71 77 78 91 92 94 95 98 99 102 107 110 117 118 127 129 132 134 136 137 141 142 144 145 148 149 153 156 157 160 166 168 174 176 177 178 181 186 191 194 199 200 201 204 a 2 3 5 6 8 9 11 21 23 31 33 38 40 41 43 45 47 48 54 55 56 59 61 62 63 64 65 69 71 77 78 91 92 94 95 98 99 102 107 110 117 118 127 129 132 134 136 137 141 142 144 145 148 149 153 156 157 160 166 168 174 176 177 178 181 186 191 194 199 200 201 204 a 2 3 5 6 8 9 10 11 21 23 31 33 38 40 41 43 45 47 48 54 55 56 59 61 62 63 64 65 69 71 77 78 92 94 95 98 99 102 107 110 117 118 127 129 132 134 136 137 141 142 144 145 148 149 153 156 157 160 166 168 174 176 177 178 181 186 191 194 199 200 201 204 a 2 3 5 6 8 9 10 11 21 23 31 33 38 40 41 43 45 47 48 54 55 56 57 59 61 62 63 64 65 69 71 77 92 94 95 98 99 102 107 110 117 118 127 129 132 134 136 137 141 142 144 145 148 149 153 156 157 160 166 168 174 176 177 178 181 186 191 194 199 200 201 204 a 2 3 5 6 8 9 10 11 21 23 31 33 38 40 41 43 45 47 48 50 54 55 56 57 59 61 62 63 64 65 69 71 77 92 94 95 98 99 102 107 110 117 118 127 129 132 134 136 137 141 142 144 145 148 149 153 156 157 160 166 168 174 176 177 178 181 186 191 194 199 200 201 a 2 5 6 8 9 10 11 21 23 31 33 38 40 41 43 45 47 48 50 54 55 56 57 59 61 62 63 64 65 69 71 77 92 94 95 98 99 102 107 110 111 117 118 127 129 132 134 136 137 141 142 144 145 148 149 153 156 157 160 166 168 174 176 177 178 181 186 191 194 199 200 201 a 2 5 6 8 9 10 11 21 23 31 33 38 40 41 43 45 47 48 50 54 56 57 59 61 62 63 64 65 69 71 77 89 92 94 95 98 99 102 107 110 111 117 118 127 129 132 134 136 137 141 142 144 145 148 149 153 156 157 160 166 168 174 176 177 178 181 186 191 194 199 200 201 a 5 6 8 9 10 11 21 23 31 33 38 40 41 43 45 47 48 50 54 56 57 59 61 62 63 64 65 69 71 76 77 89 92 94 95 98 99 102 107 110 111 117 118 127 129 132 134 136 137 141 142 144 145 148 149 153 156 157 160 166 168 174 176 177 178 181 186 191 194 199 200 201 a 5 6 8 9 10 11 21 23 31 33 38 40 41 43 45 47 48 50 54 56 57 59 61 62 63 64 65 69 71 76 77 82 89 94 95 98 99 102 107 110 111 117 118 127 129 132 134 136 137 141 142 144 145 148 149 153 156 157 160 166 168 174 176 177 178 181 186 191 194 199 200 201 a 5 6 8 9 10 11 21 23 31 33 38 40 43 45 47 48 50 54 56 57 59 61 62 63 64 65 69 71 76 77 82 89 94 95 98 99 102 107 110 111 117 118 127 129 132 134 136 137 141 142 144 145 148 149 153 156 157 160 166 168 174 176 177 178 181 186 191 194 199 200 201 214 a 5 6 8 9 10 11 21 23 31 33 38 40 43 45 47 48 50 53 54 56 57 59 61 62 63 64 65 69 71 76 77 82 89 94 95 98 99 102 107 110 117 118 127 129 132 134 136 137 141 142 144 145 148 149 153 156 157 160 166 168 174 176 177 178 181 186 191 194 199 200 201 214 a 5 6 8 9 10 11 21 23 31 33 38 40 43 45 47 48 50 53 54 56 57 59 61 62 63 64 65 69 71 76 77 89 92 94 95 98 99 102 107 110 117 118 127 129 132 134 136 137 141 142 144 145 148 149 153 156 157 160 166 168 174 176 177 178 181 186 191 194 199 200 201 214 a 3 5 6 8 9 10 11 21 23 31 33 38 40 43 45 47 48 50 53 54 56 57 59 61 62 63 64 65 69 71 76 77 89 92 94 95 98 99 102 107 110 117 118 127 129 132 134 136 137 141 142 144 145 148 149 153 156 157 160 166 168 174 176 177 178 181 186 191 194 199 200 201 a 2 3 5 6 8 9 10 11 21 23 31 33 38 40 43 45 47 48 50 53 54 56 57 59 61 62 63 64 65 69 71 77 89 92 94 95 98 99 102 107 110 117 118 127 129 132 134 136 137 141 142 144 145 148 149 153 156 157 160 166 168 174 176 177 178 181 186 191 194 199 200 201 a 2 3 5 6 8 9 10 11 21 23 31 33 38 40 43 45 47 48 50 53 54 56 57 59 61 62 63 64 65 69 71 77 89 92 94 95 98 99 102 107 110 117 118 127 129 132 134 136 137 141 142 144 145 148 149 152 153 156 157 160 166 168 174 176 177 181 186 191 194 199 200 201 a 2 3 5 6 8 9 10 11 21 23 31 33 38 40 43 45 47 48 50 53 54 56 57 59 61 62 63 64 65 69 71 77 79 89 92 94 95 98 99 102 107 110 117 118 127 129 132 134 136 137 141 142 144 145 148 149 152 153 156 157 160 166 174 176 177 181 186 191 194 199 200 201 a 2 3 5 6 8 9 10 11 21 23 31 33 38 40 43 45 48 50 53 54 56 57 59 61 62 63 64 65 69 71 77 79 85 89 92 94 95 98 99 102 107 110 117 118 127 129 132 134 136 137 141 142 144 145 148 149 152 153 156 157 160 166 174 176 177 181 186 191 194 199 200 201 a 2 3 5 6 8 9 10 11 21 23 31 33 38 40 43 45 48 50 53 54 56 57 59 61 62 63 64 65 69 71 77 79 85 89 92 94 95 98 99 102 107 110 117 118 127 129 132 136 137 141 142 144 145 148 149 152 153 156 157 160 166 174 176 177 181 186 191 194 199 200 201 205 a 2 3 5 6 8 9 10 11 21 23 31 33 38 40 43 45 48 50 53 54 56 57 59 61 62 63 64 65 69 71 77 79 85 89 92 94 95 98 99 102 107 110 117 118 127 129 132 136 137 141 142 144 145 148 149 152 153 156 157 160 166 174 176 177 180 181 186 191 194 199 200 205 a 2 5 6 8 9 10 11 21 23 31 33 38 40 43 45 48 50 53 54 56 57 59 61 62 63 64 65 69 71 77 79 85 89 92 94 95 98 99 102 107 110 111 117 118 127 129 132 136 137 141 142 144 145 148 149 152 153 156 157 160 166 174 176 177 180 181 186 191 194 199 200 205 a 2 5 6 8 9 10 11 21 23 31 33 38 40 43 45 48 50 53 54 56 57 59 61 62 63 64 65 69 71 77 79 85 89 92 94 95 98 99 102 107 110 111 117 118 127 129 132 136 137 141 142 144 145 148 152 153 156 157 160 166 174 176 177 180 181 186 191 193 194 199 200 205 a 5 6 8 9 10 11 21 23 31 33 38 40 43 45 48 50 53 54 56 57 59 61 62 63 64 65 69 71 77 79 85 89 92 94 95 98 99 102 107 110 111 117 118 127 129 132 136 137 141 142 144 145 148 152 153 156 157 160 166 174 176 177 180 181 186 191 193 194 199 200 205 214 a 5 6 8 9 10 11 21 23 31 33 38 43 45 48 50 53 54 56 57 59 61 62 63 64 65 69 71 77 79 85 89 92 94 95 98 99 102 107 110 111 117 118 127 129 132 136 137 141 142 144 145 148 152 153 156 157 160 166 169 174 176 177 180 181 186 191 193 194 199 200 205 214 a 5 6 8 9 10 11 21 23 31 33 38 43 45 48 50 53 54 56 57 59 61 62 63 64 65 69 71 77 79 85 89 92 94 95 98 99 102 107 110 117 118 127 129 132 136 137 141 142 144 145 148 152 153 156 157 160 166 169 174 176 177 180 181 186 191 193 194 199 200 204 205 214 a 5 6 8 9 10 11 21 23 31 33 38 43 45 48 50 53 54 55 56 57 59 61 62 63 64 65 69 71 77 79 85 92 94 95 98 99 102 107 110 117 118 127 129 132 136 137 141 142 144 145 148 152 153 156 157 160 166 169 174 176 177 180 181 186 191 193 194 199 200 204 205 214 a 5 6 8 9 10 11 21 23 30 31 33 38 43 45 48 50 53 54 55 56 57 59 61 62 63 64 65 69 71 77 79 85 92 94 95 98 99 102 107 110 117 118 127 129 132 136 137 141 142 144 145 148 152 153 156 157 166 169 174 176 177 180 181 186 191 193 194 199 200 204 205 214 a 5 6 8 9 10 11 21 23 30 31 33 38 43 45 48 50 53 54 55 56 57 59 61 62 63 64 65 69 71 77 79 85 92 94 95 98 99 102 107 110 111 117 118 127 129 132 136 137 141 142 144 145 148 152 153 156 157 166 169 174 176 177 180 181 186 191 193 194 199 200 205 214 a 5 6 8 9 10 11 21 23 30 31 33 38 45 48 50 53 54 55 56 57 59 61 62 63 64 65 69 71 77 79 85 92 94 95 98 99 102 107 110 111 117 118 127 129 132 136 137 141 142 144 145 148 152 153 155 156 157 166 169 174 176 177 180 181 186 191 193 194 199 200 205 214 a 5 6 8 9 10 11 21 23 30 31 33 38 45 48 50 53 54 56 57 59 61 62 63 64 65 69 71 77 79 85 89 92 94 95 98 99 102 107 110 111 117 118 127 129 132 136 137 141 142 144 145 148 152 153 155 156 157 166 169 174 176 177 180 181 186 191 193 194 199 200 205 214 a 5 6 8 9 10 11 21 23 30 31 33 38 45 48 50 53 54 56 57 59 61 62 63 64 65 69 71 77 79 85 89 92 94 95 98 99 102 107 110 111 117 118 127 129 132 136 137 141 142 144 145 148 152 155 156 157 166 169 174 176 177 180 181 186 191 193 194 199 200 205 207 214 a 5 6 8 9 10 11 21 23 30 31 33 38 45 48 50 53 54 56 57 58 59 61 62 63 64 65 69 71 77 79 85 89 92 94 95 98 99 102 107 110 111 117 118 127 129 132 136 137 141 142 144 145 148 152 155 156 157 166 169 174 176 177 180 181 186 191 193 194 199 205 207 214 a 6 8 9 10 11 21 23 30 31 33 38 45 48 50 53 54 56 57 58 59 61 62 63 64 65 69 71 77 79 85 89 92 94 95 98 99 102 107 110 111 117 118 127 129 132 136 137 141 142 144 145 148 152 155 156 157 166 169 174 176 177 180 181 186 191 193 194 199 205 207 210 214 a 6 8 9 10 11 21 23 30 31 33 38 45 48 50 53 54 56 57 58 59 61 62 63 64 65 69 77 79 85 89 92 94 95 98 99 102 107 110 111 117 118 127 129 132 136 137 141 142 144 145 148 152 155 156 157 166 169 174 176 177 180 181 186 189 191 193 194 199 205 207 210 214 a 6 8 9 10 11 21 23 30 31 33 38 45 48 50 53 54 56 57 58 59 61 62 63 64 65 68 69 77 79 85 89 92 94 95 98 99 102 107 110 111 117 118 127 129 132 136 137 141 142 144 145 148 152 155 157 166 169 174 176 177 180 181 186 189 191 193 194 199 205 207 210 214 a 6 8 9 10 11 19 21 23 30 31 33 38 45 48 50 53 54 56 57 58 59 61 62 63 64 65 68 69 77 79 85 89 92 94 95 98 99 102 107 110 111 117 118 127 129 132 136 137 141 142 144 145 148 152 155 157 166 169 174 176 177 180 181 186 189 191 193 199 205 207 210 214 a 6 8 9 10 11 19 21 23 30 31 33 38 45 48 50 53 54 55 56 57 58 59 61 62 63 64 65 68 69 77 79 85 92 94 95 98 99 102 107 110 111 117 118 127 129 132 136 137 141 142 144 145 148 152 155 157 166 169 174 176 177 180 181 186 189 191 193 199 205 207 210 214 a 6 8 9 10 11 19 21 23 30 31 33 38 45 48 50 53 54 55 56 57 58 59 61 62 63 64 65 69 77 79 85 92 94 95 98 99 102 107 110 111 117 118 127 129 132 136 137 141 142 144 145 148 152 155 156 157 166 169 174 176 177 180 181 186 189 191 193 199 205 207 210 214 a 5 6 8 9 10 11 19 21 23 30 31 33 38 45 48 50 53 54 55 56 57 58 59 61 62 63 64 65 69 77 79 85 92 94 95 98 99 102 107 110 111 117 118 127 129 132 136 137 141 142 144 145 148 152 155 156 157 166 169 174 176 177 180 181 186 189 191 193 199 205 207 214 a 5 6 8 9 10 11 19 21 23 30 31 33 38 45 48 50 53 54 55 56 57 58 59 61 62 63 64 65 69 77 79 85 92 94 95 98 99 102 107 110 111 117 118 127 129 132 136 137 141 142 144 145 148 152 155 156 157 166 169 174 176 177 180 186 189 191 193 199 205 207 214 217 a 5 6 8 9 10 11 19 21 23 30 31 33 38 45 48 50 53 54 56 57 58 59 61 62 63 64 65 69 77 79 85 89 92 94 95 98 99 102 107 110 111 117 118 127 129 132 136 137 141 142 144 145 148 152 155 156 157 166 169 174 176 177 180 186 189 191 193 199 205 207 214 217 a 5 6 8 9 10 11 19 21 23 30 31 33 38 45 48 50 53 54 56 57 58 59 61 62 63 64 65 69 77 79 85 89 92 94 95 98 99 102 107 110 117 118 127 129 132 136 137 141 142 144 145 148 152 155 156 157 166 169 174 176 177 180 186 189 191 193 199 204 205 207 214 217 a 5 6 8 9 10 11 19 21 23 30 31 33 38 45 48 50 53 54 55 56 57 58 59 61 62 63 64 65 69 77 79 85 92 94 95 98 99 102 107 110 117 118 127 129 132 136 137 141 142 144 145 148 152 155 156 157 166 169 174 176 177 180 186 189 191 193 199 204 205 207 214 217 a 5 6 8 9 10 11 19 21 23 30 31 33 38 45 48 50 53 54 55 56 57 58 59 61 62 63 64 69 77 79 85 92 94 95 98 99 102 107 110 117 118 127 129 132 136 137 141 142 144 145 148 152 155 156 157 166 169 174 176 177 180 186 189 191 193 198 199 204 205 207 214 217 a 5 6 8 9 10 11 19 21 23 30 31 33 38 45 48 50 53 54 55 56 57 58 59 61 62 63 64 69 77 79 85 92 94 95 98 99 102 107 110 111 117 118 127 129 132 136 137 141 142 144 145 148 152 155 156 157 166 169 174 176 177 180 186 189 191 193 198 199 205 207 214 217 a 2 5 6 8 9 10 11 19 21 23 30 31 33 38 45 48 50 53 54 55 56 57 58 59 61 62 63 64 69 77 79 85 92 94 95 98 99 102 107 110 111 117 118 127 129 132 136 137 141 142 144 145 148 152 155 156 157 166 169 174 176 177 180 186 189 191 193 198 199 205 207 217 a 2 5 6 8 9 10 11 19 21 23 30 31 33 38 45 48 50 53 54 55 56 57 58 59 61 62 63 64 69 77 79 85 92 94 95 98 99 102 107 110 111 117 118 127 129 132 136 137 141 142 144 145 148 152 155 156 157 166 169 174 176 177 180 181 186 189 191 193 198 199 205 207 a 2 5 6 8 9 10 11 19 21 23 30 31 33 38 45 48 50 53 54 55 56 57 58 59 61 62 63 64 65 69 77 79 85 92 94 95 98 99 102 107 110 111 117 118 127 129 132 136 137 141 142 144 145 148 152 155 156 157 166 169 174 176 177 180 181 186 189 191 193 199 205 207 a 2 5 6 8 9 10 11 19 21 23 30 31 33 38 45 48 50 53 54 56 57 58 59 61 62 63 64 65 69 77 79 85 89 92 94 95 98 99 102 107 110 111 117 118 127 129 132 136 137 141 142 144 145 148 152 155 156 157 166 169 174 176 177 180 181 186 189 191 193 199 205 207 a 2 5 6 8 9 10 11 19 21 23 30 31 33 38 45 48 50 53 54 56 57 58 59 61 62 63 64 65 69 77 79 85 89 92 94 95 98 99 102 107 110 111 117 118 127 129 132 136 137 141 142 144 145 148 152 155 156 157 166 169 174 176 177 180 186 189 191 193 199 205 207 217 a 2 5 6 8 9 10 11 19 21 23 30 31 33 38 45 48 50 53 54 55 56 57 58 59 61 62 63 64 65 69 77 79 85 92 94 95 98 99 102 107 110 111 117 118 127 129 132 136 137 141 142 144 145 148 152 155 156 157 166 169 174 176 177 180 186 189 191 193 199 205 207 217 a 2 5 6 8 10 11 19 21 23 30 31 33 38 45 48 50 53 54 55 56 57 58 59 61 62 63 64 65 69 72 77 79 85 92 94 95 98 99 102 107 110 111 117 118 127 129 132 136 137 141 142 144 145 148 152 155 156 157 166 169 174 176 177 180 186 189 191 193 199 205 207 217 a 2 5 6 8 10 11 19 21 23 30 31 33 38 45 48 50 53 54 55 56 57 58 59 61 62 63 64 65 69 72 77 79 85 92 94 95 98 99 102 107 110 111 117 118 127 129 132 136 137 141 142 144 145 148 152 155 156 157 166 169 174 176 177 180 181 186 189 191 193 199 205 207 a 2 5 6 8 10 11 19 21 23 30 31 33 38 45 48 50 53 54 55 56 57 58 59 61 62 63 64 65 69 72 77 79 85 92 94 95 98 99 102 107 110 111 117 118 127 129 132 136 137 141 142 144 145 148 152 155 156 157 166 169 174 176 177 181 186 189 191 193 199 201 205 207 a 5 6 8 10 11 19 21 23 30 31 33 38 45 48 50 53 54 55 56 57 58 59 61 62 63 64 65 69 72 77 79 85 92 94 95 98 99 102 107 110 111 117 118 127 129 132 136 137 141 142 144 145 148 152 155 156 157 166 169 174 176 177 181 186 189 191 193 199 201 205 207 214 a 5 6 8 10 11 19 21 23 30 31 33 38 45 48 50 53 54 55 56 57 58 59 61 62 63 64 65 69 72 77 79 85 92 94 95 98 99 102 107 110 111 117 118 127 129 132 136 137 141 142 144 145 148 149 152 155 156 157 166 169 174 176 177 181 186 189 191 199 201 205 207 214 a 5 6 8 10 11 19 21 23 30 31 33 38 45 48 50 53 54 56 57 58 59 61 62 63 64 65 69 72 77 79 85 92 94 95 98 99 102 107 110 111 117 118 127 129 132 136 137 141 142 144 145 148 149 152 155 156 157 166 169 174 176 177 181 186 189 191 199 201 205 207 213 214 a 5 6 8 10 11 19 21 23 30 31 33 38 43 45 48 50 53 54 56 57 58 59 61 62 63 64 65 69 72 77 79 85 92 94 95 98 99 102 107 110 111 117 118 127 129 132 136 137 141 142 144 145 148 149 152 156 157 166 169 174 176 177 181 186 189 191 199 201 205 207 213 214 a 5 6 8 10 11 19 21 23 30 31 33 38 43 45 48 50 53 54 56 57 58 59 61 62 63 64 65 69 72 77 79 85 92 94 95 98 99 102 107 110 111 117 118 127 129 132 136 137 142 144 145 148 149 152 156 157 166 169 174 176 177 181 186 189 191 199 201 205 207 212 213 214 a 5 6 8 10 11 19 21 23 30 31 33 38 43 45 48 50 53 54 56 57 58 59 61 62 63 64 65 69 72 77 79 85 92 94 95 98 99 102 107 110 111 117 118 127 129 132 136 137 142 144 145 148 149 152 156 157 166 169 174 176 177 186 189 191 199 201 205 207 212 213 214 217 a 5 6 8 10 11 19 21 23 30 31 33 38 43 45 48 50 53 54 56 57 58 59 61 62 63 64 65 69 72 77 79 92 94 95 98 99 102 107 110 111 117 118 127 129 132 136 137 142 144 145 148 149 152 156 157 166 169 174 176 177 178 186 189 191 199 201 205 207 212 213 214 217 a 5 6 8 10 11 19 21 23 30 31 33 38 43 45 48 50 53 54 56 57 58 59 61 62 63 64 65 69 72 77 79 92 94 95 98 99 102 107 110 111 117 118 127 129 132 136 137 142 144 145 148 149 152 156 157 166 169 174 176 177 178 181 186 189 191 199 201 205 207 212 213 214 a 5 6 8 10 11 16 19 21 23 30 31 33 38 43 45 48 50 53 54 56 57 58 59 62 63 64 65 69 72 77 79 92 94 95 98 99 102 107 110 111 117 118 127 129 132 136 137 142 144 145 148 149 152 156 157 166 169 174 176 177 178 181 186 189 191 199 201 205 207 212 213 214 a 5 6 8 10 11 16 19 21 23 30 31 33 38 43 45 48 50 53 54 56 58 59 62 63 64 65 69 70 72 77 79 92 94 95 98 99 102 107 110 111 117 118 127 129 132 136 137 142 144 145 148 149 152 156 157 166 169 174 176 177 178 181 186 189 191 199 201 205 207 212 213 214 a 5 6 8 10 11 16 19 21 23 30 31 33 38 43 45 48 50 53 54 56 58 59 62 63 64 69 70 72 77 79 92 94 95 98 99 102 107 110 111 117 118 127 129 132 136 137 142 144 145 148 149 152 156 157 166 169 174 176 177 178 181 186 189 191 198 199 201 205 207 212 213 214 a 5 6 8 10 11 16 19 21 23 30 31 33 38 43 45 48 50 53 54 56 58 59 62 63 64 68 69 70 72 77 79 92 94 95 98 99 102 107 110 111 117 118 127 129 132 136 137 142 144 145 148 149 152 157 166 169 174 176 177 178 181 186 189 191 198 199 201 205 207 212 213 214 a 5 6 8 10 11 16 19 21 23 31 33 38 43 45 48 50 53 54 56 58 59 62 63 64 68 69 70 72 77 79 92 94 95 98 99 102 107 110 111 117 118 127 129 132 136 137 142 144 145 148 149 152 157 160 166 169 174 176 177 178 181 186 189 191 198 199 201 205 207 212 213 214 a 5 6 8 10 11 19 21 23 31 33 38 43 45 48 50 53 54 56 58 59 61 62 63 64 68 69 70 72 77 79 92 94 95 98 99 102 107 110 111 117 118 127 129 132 136 137 142 144 145 148 149 152 157 160 166 169 174 176 177 178 181 186 189 191 198 199 201 205 207 212 213 214 a 5 6 8 10 11 19 21 23 31 33 38 43 45 48 50 53 54 56 58 59 61 62 63 64 68 69 70 72 77 79 92 94 95 98 99 102 107 110 111 117 118 127 129 132 136 137 142 144 145 148 149 152 157 160 166 169 174 176 177 178 180 181 186 189 191 198 199 205 207 212 213 214 a 5 6 8 10 11 19 21 23 31 33 38 43 45 48 50 53 54 56 58 59 61 62 64 68 69 70 72 77 79 92 94 95 98 99 102 107 110 111 117 118 127 129 132 136 137 142 144 145 148 149 152 157 160 166 169 174 176 177 178 179 180 181 186 189 191 198 199 205 207 212 213 214 a 5 6 8 10 11 19 21 23 31 33 38 43 45 46 48 50 53 54 56 58 59 61 62 64 68 69 70 72 77 79 92 94 95 98 99 102 107 110 111 117 118 127 129 132 136 137 142 144 148 149 152 157 160 166 169 174 176 177 178 179 180 181 186 189 191 198 199 205 207 212 213 214 a 5 6 8 10 11 19 21 23 31 33 38 43 45 46 48 50 53 54 56 58 59 61 62 64 68 69 70 72 77 79 92 94 95 98 99 102 107 110 111 117 118 127 129 132 136 137 142 144 148 149 152 157 160 166 169 174 176 177 178 179 180 186 189 191 198 199 205 207 212 213 214 217 a 5 6 8 10 11 19 21 23 30 31 33 38 43 45 46 48 50 53 54 56 58 59 61 62 64 68 69 70 72 77 79 92 94 95 98 99 102 107 110 111 117 118 127 129 132 136 137 142 144 148 149 152 157 166 169 174 176 177 178 179 180 186 189 191 198 199 205 207 212 213 214 217 a 5 6 8 10 11 15 19 21 23 30 31 33 38 43 45 46 48 50 53 54 56 58 59 61 62 64 68 69 70 72 77 79 92 94 95 98 99 102 107 110 111 117 127 129 132 136 137 142 144 148 149 152 157 166 169 174 176 177 178 179 180 186 189 191 198 199 205 207 212 213 214 217 a 5 6 8 10 11 15 19 21 23 30 33 38 43 45 46 48 50 53 54 56 58 59 61 62 64 68 69 70 72 77 79 92 94 95 98 99 102 107 110 111 117 127 129 132 136 137 142 144 148 149 152 157 163 166 169 174 176 177 178 179 180 186 189 191 198 199 205 207 212 213 214 217 a 5 6 8 10 11 15 19 21 23 30 33 38 43 45 46 48 50 53 54 56 58 59 61 62 64 68 69 70 72 77 79 92 94 95 98 99 102 107 110 111 117 119 127 129 132 136 137 142 144 148 149 152 157 166 169 174 176 177 178 179 180 186 189 191 198 199 205 207 212 213 214 217 a 5 6 8 10 11 15 19 21 23 30 33 38 43 45 46 48 50 53 54 56 58 59 61 62 64 68 69 70 72 77 79 85 92 94 95 98 99 102 107 110 111 117 119 127 129 132 136 137 142 144 148 149 152 157 166 169 174 176 177 179 180 186 189 191 198 199 205 207 212 213 214 217 a 5 6 8 10 11 15 21 23 30 33 38 43 45 46 48 50 53 54 56 58 59 61 62 64 68 69 70 72 77 79 85 92 94 95 98 99 102 107 110 111 117 119 127 129 132 136 137 142 144 148 149 152 157 166 169 174 176 177 179 180 186 189 191 194 198 199 205 207 212 213 214 217 a 5 6 8 10 11 15 21 23 30 33 38 43 45 46 48 50 53 54 56 58 59 61 62 64 68 69 70 72 77 79 85 94 95 98 99 102 106 107 110 111 117 119 127 129 132 136 137 142 144 148 149 152 157 166 169 174 176 177 179 180 186 189 191 194 198 199 205 207 212 213 214 217 a 5 6 8 10 11 15 21 23 30 31 33 38 43 45 46 48 50 53 54 56 58 59 61 62 64 69 70 72 77 79 85 94 95 98 99 102 106 107 110 111 117 119 127 129 132 136 137 142 144 148 149 152 157 166 169 174 176 177 179 180 186 189 191 194 198 199 205 207 212 213 214 217 a 5 6 8 10 11 15 21 23 30 31 33 38 43 45 46 48 50 53 54 56 58 59 61 62 64 69 70 72 77 79 85 94 95 98 99 102 106 107 110 111 117 119 127 129 132 136 137 142 144 148 149 152 157 166 169 174 176 177 179 180 181 186 189 191 194 198 199 205 207 212 213 214 a 5 6 8 10 11 15 21 23 30 31 33 38 43 45 46 48 50 53 54 56 58 59 61 62 64 69 70 72 77 79 85 94 95 98 99 102 106 107 110 111 117 119 127 129 132 136 137 142 144 148 149 152 156 157 166 169 174 176 177 179 180 181 186 189 191 194 198 199 207 212 213 214 a 5 6 8 10 11 15 21 23 30 31 33 38 43 45 46 48 50 53 54 56 58 59 61 62 64 69 70 72 77 79 85 95 98 99 102 106 107 110 111 117 119 127 129 132 136 137 142 144 148 149 152 154 156 157 166 169 174 176 177 179 180 181 186 189 191 194 198 199 207 212 213 214 a 5 6 8 10 11 15 21 23 30 31 33 38 43 45 46 48 50 53 54 56 58 59 61 62 64 69 70 72 77 79 85 95 98 99 102 106 107 110 111 119 127 129 132 136 137 142 144 148 149 152 154 156 157 166 169 174 176 177 179 180 181 186 189 191 194 198 199 207 212 213 214 216 a 5 6 8 10 11 15 21 23 30 31 33 38 43 45 46 48 50 53 54 56 58 59 61 62 64 69 70 72 77 79 85 95 98 99 102 106 107 110 111 119 127 129 132 134 136 137 142 144 148 149 152 154 156 157 166 169 174 176 177 179 181 186 189 191 194 198 199 207 212 213 214 216 a 5 6 8 10 11 15 21 23 31 33 38 43 45 46 48 50 53 54 56 58 59 61 62 64 69 70 72 77 79 85 95 98 99 102 106 107 110 111 119 127 129 132 134 136 137 142 144 148 149 152 154 156 157 160 166 169 174 176 177 179 181 186 189 191 194 198 199 207 212 213 214 216 a 5 8 10 11 15 21 23 31 33 38 43 45 46 48 50 53 54 56 58 59 61 62 64 69 70 72 77 79 85 86 95 98 99 102 106 107 110 111 119 127 129 132 134 136 137 142 144 148 149 152 154 156 157 160 166 169 174 176 177 179 181 186 189 191 194 198 199 207 212 213 214 216 a 5 10 11 15 21 23 31 33 38 43 45 46 48 50 53 54 56 58 59 61 62 64 69 70 72 77 79 85 86 95 98 99 102 106 107 110 111 119 127 129 132 134 136 137 142 144 148 149 152 154 156 157 158 160 166 169 174 176 177 179 181 186 189 191 194 198 199 207 212 213 214 216 a 5 10 11 15 21 23 31 33 38 43 45 46 48 50 53 54 56 58 59 61 62 64 69 70 72 77 79 85 86 95 98 99 102 106 107 110 111 117 119 127 129 132 134 136 137 142 144 148 149 152 154 156 157 158 160 166 169 174 176 177 179 181 186 189 191 194 198 199 207 212 213 214 a 5 10 11 15 21 23 31 33 38 43 45 46 48 50 53 54 56 58 59 61 64 69 70 72 77 79 85 86 95 98 99 102 106 107 110 111 117 119 127 129 130 132 134 136 137 142 144 148 149 152 154 156 157 158 160 166 169 174 176 177 179 181 186 189 191 194 198 199 207 212 213 214 a 5 10 11 21 23 31 33 38 43 45 46 48 50 53 54 56 58 59 61 64 69 70 72 77 79 85 86 95 98 99 102 106 107 110 111 117 118 119 127 129 130 132 134 136 137 142 144 148 149 152 154 156 157 158 160 166 169 174 176 177 179 181 186 189 191 194 198 199 207 212 213 214 a 5 10 11 21 23 31 33 38 45 46 48 50 53 54 56 58 59 61 64 69 70 72 77 79 85 86 95 98 99 102 106 107 110 111 117 118 119 127 129 130 132 134 136 137 142 144 148 149 152 154 155 156 157 158 160 166 169 174 176 177 179 181 186 189 191 194 198 199 207 212 213 214 a 5 10 11 21 23 31 33 38 45 46 48 50 53 54 56 58 59 61 64 69 72 77 79 85 86 88 95 98 99 102 106 107 110 111 117 118 119 127 129 130 132 134 136 137 142 144 148 149 152 154 155 156 157 158 160 166 169 174 176 177 179 181 186 189 191 194 198 199 207 212 213 214 a 5 10 11 21 23 31 33 38 45 48 50 53 54 56 58 59 61 64 69 72 77 79 85 86 88 95 98 99 102 106 107 110 111 117 118 119 127 129 130 132 134 136 137 142 144 148 149 152 154 155 156 157 158 160 166 169 174 176 177 179 181 186 189 191 194 198 199 201 207 212 213 214 a 5 10 11 21 23 31 33 38 45 48 50 53 54 56 58 59 61 64 69 72 77 79 85 86 88 95 98 99 102 106 107 110 111 117 118 119 127 129 130 132 134 136 137 142 144 148 149 152 154 155 156 157 158 160 166 169 174 176 177 179 186 189 191 194 198 199 201 207 212 213 214 217 a 5 10 11 21 23 31 33 38 45 48 50 53 54 56 58 59 61 63 64 69 72 77 79 85 86 88 95 98 99 102 106 107 110 111 117 118 119 127 129 130 132 134 136 137 142 144 148 149 152 154 155 156 157 158 160 166 169 174 176 177 186 189 191 194 198 199 201 207 212 213 214 217 a 5 10 11 21 23 31 33 38 45 48 50 53 54 56 58 59 61 63 64 69 72 77 79 85 86 88 95 98 99 102 106 107 110 111 117 118 119 127 129 130 132 134 136 137 142 144 148 152 154 155 156 157 158 160 166 169 174 176 177 186 189 191 193 194 198 199 201 207 212 213 214 217 a 5 10 11 21 23 31 33 38 45 47 48 50 53 54 56 58 59 61 63 64 69 72 77 79 86 88 95 98 99 102 106 107 110 111 117 118 119 127 129 130 132 134 136 137 142 144 148 152 154 155 156 157 158 160 166 169 174 176 177 186 189 191 193 194 198 199 201 207 212 213 214 217 a 5 10 11 21 23 31 33 38 45 47 48 50 53 54 56 58 59 61 63 64 69 72 77 79 86 88 95 98 99 102 106 107 110 111 118 119 127 129 130 132 134 136 137 142 144 148 152 154 155 156 157 158 160 166 169 174 176 177 186 189 191 193 194 198 199 201 207 212 213 214 216 217 a 5 10 11 21 23 31 33 38 45 47 48 50 53 54 56 58 59 61 63 64 69 72 77 79 86 88 95 98 99 102 106 107 110 111 118 119 127 129 130 132 134 136 137 141 142 144 148 152 154 155 156 157 158 160 166 169 174 176 177 186 189 191 193 194 198 199 201 207 213 214 216 217 a 5 10 11 21 23 31 33 38 45 47 48 50 53 54 56 58 59 61 63 64 69 70 72 77 79 86 88 95 98 99 102 106 107 110 111 118 119 127 129 130 132 134 136 137 141 142 144 148 152 154 155 156 157 158 160 166 169 174 176 177 186 189 191 193 194 198 199 201 207 214 216 217 a 5 10 11 12 21 23 31 33 38 45 47 48 50 53 54 56 58 59 63 64 69 70 72 77 79 86 88 95 98 99 102 106 107 110 111 118 119 127 129 130 132 134 136 137 141 142 144 148 152 154 155 156 157 158 160 166 169 174 176 177 186 189 191 193 194 198 199 201 207 214 216 217 a 5 10 11 12 21 23 31 33 38 45 47 48 50 53 54 56 58 59 63 64 69 70 72 77 79 80 86 88 95 98 99 102 106 107 110 111 118 119 127 129 130 132 134 136 137 141 142 144 148 152 154 155 156 157 158 160 166 174 176 177 186 189 191 193 194 198 199 201 207 214 216 217 a 5 10 11 12 21 23 31 33 38 45 47 48 50 54 56 58 59 63 64 69 70 72 77 79 80 86 88 95 98 99 102 106 107 110 111 118 119 127 129 130 132 134 136 137 138 141 142 144 148 152 154 155 156 157 158 160 166 174 176 177 186 189 191 193 194 198 199 201 207 214 216 217 a 5 10 11 12 21 23 31 33 38 45 47 48 50 54 56 58 59 63 64 69 70 72 77 80 86 88 95 98 99 102 106 107 110 111 118 119 127 129 130 132 134 136 137 138 141 142 144 148 152 154 155 156 157 158 160 166 174 176 177 178 186 189 191 193 194 198 199 201 207 214 216 217 a 5 10 11 12 21 23 31 33 38 45 47 48 50 54 56 58 59 63 64 66 69 70 72 77 80 86 88 95 98 99 102 106 107 110 111 118 119 127 129 130 132 134 136 137 138 141 142 144 152 154 155 156 157 158 160 166 174 176 177 178 186 189 191 193 194 198 199 201 207 214 216 217 a 5 10 11 12 21 23 31 33 38 45 47 48 50 53 54 56 58 59 63 64 66 69 70 72 77 80 86 88 95 98 99 102 106 107 110 111 118 119 127 129 130 132 134 136 137 141 142 144 152 154 155 156 157 158 160 166 174 176 177 178 186 189 191 193 194 198 199 201 207 214 216 217 a 5 10 11 12 21 23 31 33 38 45 47 48 50 53 54 56 58 59 63 64 66 69 70 71 72 77 80 86 88 95 98 99 102 106 107 110 111 118 119 127 129 130 132 134 136 137 141 142 144 152 154 155 156 157 158 160 166 174 177 178 186 189 191 193 194 198 199 201 207 214 216 217 a 5 10 11 12 21 23 31 33 38 45 47 48 50 53 54 56 58 59 63 64 66 69 70 71 72 77 80 86 88 95 98 99 102 106 107 110 111 118 119 127 129 130 132 134 136 137 141 142 152 154 155 156 157 158 160 166 174 177 178 186 189 191 193 194 198 199 201 207 214 216 217 220 a 5 8 10 11 12 21 23 31 33 38 45 47 48 50 53 54 56 58 59 63 64 66 69 70 71 72 77 80 86 88 95 98 99 102 106 107 110 111 118 119 127 129 130 132 134 136 137 141 142 152 154 155 156 157 160 166 174 177 178 186 189 191 193 194 198 199 201 207 214 216 217 220 a 5 8 10 11 12 21 23 31 33 38 45 47 48 50 53 54 56 58 59 63 64 69 70 71 72 77 80 86 88 95 98 99 102 106 107 110 111 118 119 127 129 130 132 134 136 137 141 142 145 152 154 155 156 157 160 166 174 177 178 186 189 191 193 194 198 199 201 207 214 216 217 220 a 4 5 8 10 11 12 21 23 31 33 38 45 47 48 50 53 54 56 58 59 63 64 69 70 71 72 77 80 86 88 95 98 99 102 106 107 110 111 118 119 127 129 130 132 134 136 137 141 142 145 152 154 155 156 157 160 166 174 177 178 186 189 191 193 194 198 199 201 207 214 216 217 a 4 5 8 10 11 12 21 23 31 33 38 45 47 48 50 53 54 56 58 59 63 64 69 70 71 72 77 80 86 88 95 98 99 102 106 107 110 111 118 119 127 129 130 132 134 136 137 141 142 145 152 154 155 156 157 160 166 174 177 178 186 189 191 193 194 199 201 207 214 216 217 220 a 2 4 5 8 10 11 12 21 23 31 33 38 45 47 48 50 53 54 56 58 59 63 64 69 70 71 72 77 80 86 88 95 98 99 102 106 107 110 111 118 119 127 129 130 132 134 136 137 141 142 145 152 154 155 156 157 160 166 174 177 178 186 189 191 193 194 199 201 207 216 217 220 a 2 4 5 8 10 11 12 21 23 31 33 38 45 47 48 50 54 56 58 59 63 64 69 70 71 72 77 80 86 88 95 98 99 102 106 107 110 111 118 119 127 129 130 132 134 136 137 138 141 142 145 152 154 155 156 157 160 166 174 177 178 186 189 191 193 194 199 201 207 216 217 220 a 2 5 8 10 11 12 21 23 31 33 38 45 47 48 50 54 56 58 59 63 64 69 70 71 72 77 80 86 88 95 98 99 102 106 107 110 111 118 119 127 129 130 132 134 136 137 138 141 142 145 152 154 155 156 157 160 166 174 177 178 186 189 191 193 194 199 201 207 213 216 217 220 a 2 5 8 10 11 12 21 23 31 38 45 47 48 50 54 56 58 59 63 64 69 70 71 72 77 79 80 86 88 95 98 99 102 106 107 110 111 118 119 127 129 130 132 134 136 137 138 141 142 145 152 154 155 156 157 160 166 174 177 178 186 189 191 193 194 199 201 207 213 216 217 220 a 2 5 8 10 11 12 21 23 31 38 45 47 48 50 54 56 58 59 63 64 69 70 71 72 77 79 80 86 88 95 98 99 102 106 107 110 111 118 119 127 129 130 132 134 136 137 138 141 142 145 152 154 155 156 157 160 165 166 174 177 178 186 189 191 193 194 199 201 213 216 217 220 a 2 5 8 10 11 12 21 23 31 38 45 47 48 50 54 56 58 59 63 64 69 70 71 72 77 79 80 86 88 95 98 99 102 106 107 110 111 118 119 127 129 132 134 136 137 138 141 142 145 152 154 155 156 157 160 165 166 174 177 178 186 189 190 191 193 194 199 201 213 216 217 220 a 2 5 8 10 11 12 21 23 31 38 45 47 48 50 54 56 58 59 63 64 69 70 71 72 77 79 80 86 88 89 95 98 99 102 106 107 110 111 118 119 127 129 132 134 136 137 138 141 142 145 152 154 155 156 157 160 165 166 174 177 178 186 189 190 191 193 194 199 201 213 216 217 a 2 5 8 10 11 12 21 23 31 38 45 47 48 50 54 56 58 59 63 64 69 70 71 72 77 80 86 88 89 95 98 99 102 106 107 110 111 118 119 127 129 132 134 136 137 138 141 142 145 152 154 155 156 157 160 165 166 174 177 178 186 189 190 191 193 194 196 199 201 213 216 217 a 2 5 8 10 11 12 21 23 31 38 45 47 48 50 54 56 58 59 63 64 69 70 71 72 77 80 86 88 89 95 98 99 102 106 107 110 111 118 119 127 129 132 134 136 137 138 141 142 145 152 154 155 156 157 160 165 166 168 174 177 178 186 189 190 191 193 194 196 199 201 213 216 a 2 5 8 10 11 12 21 23 31 38 45 47 48 50 54 56 58 59 63 64 69 70 71 72 77 80 86 88 89 95 98 99 102 106 107 110 111 118 119 127 128 129 132 134 136 137 138 141 142 145 152 154 155 156 157 160 165 166 168 174 177 178 186 189 191 193 194 196 199 201 213 216 a 2 5 8 10 11 12 16 21 23 31 38 45 47 48 50 54 56 58 59 63 64 69 70 71 72 77 80 86 88 89 95 98 99 102 106 107 110 111 118 119 127 128 129 132 134 136 137 138 141 142 145 152 154 155 156 157 160 165 166 168 174 177 178 186 189 191 193 194 196 199 201 213 a 2 8 10 11 12 16 21 23 31 38 45 47 48 50 54 56 58 59 63 64 69 70 71 72 77 80 86 88 89 95 98 99 102 106 107 110 111 118 119 127 128 129 132 134 136 137 138 141 142 145 152 154 155 156 157 160 165 166 168 174 177 178 186 189 191 193 194 196 199 201 210 213 a 2 8 10 11 12 16 21 23 31 38 45 47 48 50 54 56 58 59 63 64 65 69 70 71 72 77 80 86 88 89 95 98 99 102 106 107 110 111 118 119 127 128 129 132 134 136 137 138 141 142 145 152 154 155 156 157 160 165 166 168 174 177 178 186 189 191 193 194 196 199 201 213 a 2 8 10 11 12 16 21 23 31 38 45 47 48 50 54 56 58 59 63 64 65 69 70 71 72 77 80 86 88 89 95 98 99 102 106 107 110 111 118 119 127 128 129 132 134 136 137 138 141 142 145 152 153 154 155 156 157 160 165 166 168 174 177 178 186 189 191 193 194 196 199 201 a 2 8 10 11 12 14 16 21 23 31 38 45 47 48 50 54 56 58 59 63 64 65 69 70 71 72 77 80 86 88 89 95 98 99 102 106 107 110 111 118 119 127 128 129 132 134 136 137 138 141 142 145 152 153 154 155 156 157 160 165 166 168 174 177 178 186 189 191 193 194 196 199 a 2 6 8 10 11 12 14 16 21 23 31 38 45 47 48 50 54 56 58 59 63 64 65 69 70 71 72 77 80 88 89 95 98 99 102 106 107 110 111 118 119 127 128 129 132 134 136 137 138 141 142 145 152 153 154 155 156 157 160 165 166 168 174 177 178 186 189 191 193 194 196 199 a 2 6 8 10 11 12 14 16 21 23 31 38 45 47 48 50 54 56 58 59 63 64 65 69 70 71 72 77 80 88 89 95 98 99 102 106 107 110 111 118 119 127 128 129 132 134 136 137 138 141 142 145 152 153 154 155 156 157 160 165 166 168 174 177 178 181 186 189 191 193 194 196 a 2 6 8 10 11 12 14 16 21 23 31 38 45 47 48 50 54 56 58 59 63 64 65 69 71 72 77 80 82 88 89 95 98 99 102 106 107 110 111 118 119 127 128 129 132 134 136 137 138 141 142 145 152 153 154 155 156 157 160 165 166 168 174 177 178 181 186 189 191 193 194 196 a 2 6 8 10 11 12 14 16 21 23 31 38 45 47 48 50 54 56 58 59 63 64 65 69 71 72 77 80 82 88 89 95 98 99 102 106 107 110 111 118 119 127 128 129 132 134 136 137 138 141 142 145 148 152 153 154 155 156 157 160 165 166 168 174 177 178 181 186 189 191 193 194 a 2 6 8 10 11 12 14 16 21 23 31 38 45 47 48 50 54 56 58 59 63 64 65 69 71 72 77 80 82 88 89 95 98 99 102 106 107 110 111 118 119 127 128 129 132 136 137 138 141 142 145 148 152 153 154 155 156 157 160 165 166 168 174 177 178 181 186 189 191 193 194 205 a 2 6 8 10 11 12 14 16 21 23 31 38 45 47 48 50 54 56 58 59 63 64 65 69 71 72 77 82 88 89 95 98 99 102 106 107 110 111 118 119 127 128 129 132 136 137 138 141 142 145 148 152 153 154 155 156 157 160 165 166 168 169 174 177 178 181 186 189 191 193 194 205 a 6 8 10 11 12 14 16 21 23 31 38 45 47 48 50 54 56 58 59 63 64 65 69 71 72 76 77 82 88 89 95 98 99 102 106 107 110 111 118 119 127 128 129 132 136 137 138 141 142 145 148 152 153 154 155 156 157 160 165 166 168 169 174 177 178 181 186 189 191 193 194 205 a 6 8 10 11 12 14 16 21 23 31 38 45 46 47 48 50 54 56 58 59 63 64 65 69 71 72 76 77 82 88 89 95 98 99 102 106 107 110 111 118 119 127 128 129 132 136 137 138 141 142 148 152 153 154 155 156 157 160 165 166 168 169 174 177 178 181 186 189 191 193 194 205 a 6 8 10 11 12 14 16 21 23 38 45 46 47 48 50 54 56 58 59 63 64 65 69 71 72 74 76 77 82 88 89 95 98 99 102 106 107 110 111 118 119 127 128 129 132 136 137 138 141 142 148 152 153 154 155 156 157 160 165 166 168 169 174 177 178 181 186 189 191 193 194 205 a 6 8 10 11 12 14 16 21 23 38 45 46 47 48 50 54 56 58 59 63 64 65 68 69 71 72 74 76 77 82 88 89 95 98 99 102 106 107 110 111 118 119 127 128 129 132 136 137 138 141 142 148 152 153 154 155 157 160 165 166 168 169 174 177 178 181 186 189 191 193 194 205 a 6 8 10 11 12 14 16 21 23 31 38 45 46 47 48 50 54 56 58 59 63 64 65 68 69 71 72 76 77 82 88 89 95 98 99 102 106 107 110 111 118 119 127 128 129 132 136 137 138 141 142 148 152 153 154 155 157 160 165 166 168 169 174 177 178 181 186 189 191 193 194 205 a 6 8 10 11 12 14 16 21 23 31 38 45 46 47 48 50 54 56 58 59 63 64 65 68 69 71 72 76 77 82 88 89 95 98 99 102 106 107 110 111 118 119 127 128 129 132 136 137 138 141 142 148 152 153 154 155 157 160 165 166 168 169 174 177 178 181 186 189 191 193 194 220 a 6 8 10 11 12 14 16 21 23 31 38 45 46 47 48 50 54 56 58 59 63 64 65 68 69 71 72 76 77 82 88 89 95 98 99 102 106 107 110 111 118 119 128 129 132 136 137 138 141 142 148 152 153 154 155 157 160 165 166 168 169 174 177 178 181 186 189 191 193 194 216 220 a 6 8 10 11 12 14 16 21 23 31 38 45 46 47 48 50 54 56 58 59 62 63 64 65 68 69 71 72 76 77 82 88 89 95 98 99 102 106 107 110 111 118 119 128 129 132 136 137 138 141 142 148 152 153 154 155 157 160 165 166 168 169 174 177 178 181 186 189 191 193 194 216 a 6 8 10 11 12 14 16 21 23 31 38 45 46 47 48 50 54 56 58 59 62 63 64 65 68 69 71 72 76 77 82 88 89 95 98 99 102 104 106 107 110 111 118 119 128 129 132 136 137 138 141 142 148 152 153 154 155 157 160 165 166 168 174 177 178 181 186 189 191 193 194 216 a 6 8 10 11 12 14 16 21 23 31 38 45 46 47 48 50 54 56 58 59 62 63 64 65 68 69 71 72 76 77 82 88 89 95 98 99 102 104 106 107 110 111 118 119 128 129 132 136 137 138 141 142 148 152 153 154 155 157 160 165 166 168 174 176 177 178 181 186 191 193 194 216 a 5 6 8 10 11 12 14 16 21 23 31 38 45 46 47 48 50 54 56 58 59 62 63 64 65 68 69 71 72 76 77 82 88 89 95 98 99 102 106 107 110 111 118 119 128 129 132 136 137 138 141 142 148 152 153 154 155 157 160 165 166 168 174 176 177 178 181 186 191 193 194 216 a 6 8 10 11 12 14 16 21 23 31 38 45 46 47 48 50 54 56 58 59 62 63 64 65 68 69 71 72 76 77 82 88 89 95 98 99 102 106 107 110 111 118 119 128 129 132 136 137 138 141 142 148 152 153 154 155 157 160 165 166 168 174 176 177 178 181 186 191 193 194 210 216 a 6 8 10 11 12 14 16 21 23 31 38 45 46 47 48 50 54 55 56 58 59 62 63 64 65 68 69 71 72 76 77 82 88 95 98 99 102 106 107 110 111 118 119 128 129 132 136 137 138 141 142 148 152 153 154 155 157 160 165 166 168 174 176 177 178 181 186 191 193 194 210 216 a 4 6 8 10 11 12 14 16 21 23 31 38 45 46 47 48 50 54 55 56 58 59 62 63 64 65 68 69 71 72 77 82 88 95 98 99 102 106 107 110 111 118 119 128 129 132 136 137 138 141 142 148 152 153 154 155 157 160 165 166 168 174 176 177 178 181 186 191 193 194 210 216 a 4 6 8 10 11 12 14 16 21 23 31 38 45 46 47 48 50 54 55 58 59 62 63 64 65 68 69 71 72 77 82 88 95 98 99 102 106 107 110 111 118 119 128 129 132 136 137 138 141 142 148 152 153 154 155 157 160 165 166 168 174 176 177 178 181 186 191 193 194 210 216 221 a 4 6 8 10 11 12 14 16 23 31 38 45 46 47 48 50 54 55 58 59 62 63 64 65 68 69 71 72 77 82 88 95 98 99 102 106 107 110 111 118 119 128 129 132 136 137 138 141 142 148 152 153 154 155 157 160 165 166 167 168 174 176 177 178 181 186 191 193 194 210 216 221 a 4 6 8 10 11 12 16 23 31 38 45 46 47 48 50 54 55 58 59 62 63 64 65 68 69 71 72 77 82 88 95 98 99 102 106 107 110 111 118 119 128 129 132 136 137 138 141 142 144 148 152 153 154 155 157 160 165 166 167 168 174 176 177 178 181 186 191 193 194 210 216 221 a 4 6 8 10 11 12 16 23 31 38 45 46 47 48 50 54 55 58 59 62 63 64 65 68 69 71 72 77 82 88 95 98 99 102 106 107 110 111 118 119 128 132 136 137 138 141 142 144 148 152 153 154 155 157 160 165 166 167 168 174 176 177 178 181 186 189 191 193 194 210 216 221 a 4 6 8 10 11 12 16 23 31 38 45 46 47 48 50 54 55 58 59 62 63 64 65 68 69 71 72 73 77 82 88 95 98 99 102 106 107 110 111 118 119 128 132 136 137 138 141 142 144 148 152 153 154 155 157 160 165 166 167 168 174 176 177 178 181 186 189 191 193 194 210 216 a 4 6 8 10 11 12 16 23 31 38 45 46 47 48 50 54 55 58 59 62 63 64 65 68 69 71 72 73 77 80 82 88 95 98 99 102 106 107 110 111 118 119 128 132 136 137 138 141 142 144 148 152 153 154 155 157 160 165 166 167 168 174 176 177 178 181 186 189 191 193 194 210 a 2 4 6 8 10 11 12 16 23 31 38 45 46 47 48 50 54 55 58 59 62 63 64 65 68 69 71 72 73 77 80 82 88 95 98 99 102 106 107 110 111 118 119 128 132 136 137 138 141 142 144 148 152 153 154 155 157 160 165 166 167 168 174 176 177 178 181 186 189 191 193 194 a 2 4 6 8 10 11 12 16 23 31 38 45 46 47 48 50 54 55 58 59 62 63 64 65 68 69 71 72 73 77 80 82 88 95 98 99 102 106 107 110 111 118 119 128 132 136 137 138 141 142 144 148 152 153 154 155 157 160 165 166 167 168 174 176 177 178 181 186 189 191 193 199 a 2 4 6 8 10 11 12 16 23 31 38 40 45 46 47 48 50 54 55 58 59 62 63 64 65 68 69 71 72 73 77 80 82 88 95 98 99 102 107 110 111 118 119 128 132 136 137 138 141 142 144 148 152 153 154 155 157 160 165 166 167 168 174 176 177 178 181 186 189 191 193 199 a 2 4 6 8 10 11 12 16 23 31 38 40 45 46 47 48 50 54 55 58 59 62 63 64 65 68 69 71 72 73 77 80 82 88 95 98 99 102 107 110 111 118 119 128 132 134 136 137 138 141 142 144 148 152 153 154 155 157 160 165 166 167 168 174 176 177 178 181 186 189 193 199 a 2 4 6 8 10 11 12 16 23 31 38 40 45 46 47 48 50 54 55 58 59 62 63 64 65 68 69 71 72 73 77 80 82 88 95 98 99 102 107 110 111 118 119 128 132 134 136 137 138 141 142 144 148 152 153 154 155 157 160 165 166 167 168 174 176 177 178 186 189 193 199 217 a 2 4 6 8 10 11 12 14 16 23 31 38 40 45 46 47 48 50 54 55 58 59 62 63 64 65 68 69 71 72 73 77 80 82 88 95 98 99 102 107 110 111 118 119 128 132 134 136 137 138 141 142 148 152 153 154 155 157 160 165 166 167 168 174 176 177 178 186 189 193 199 217 a 2 4 6 8 10 11 12 14 16 23 31 38 40 45 46 47 48 50 54 55 58 59 62 63 64 65 68 69 71 72 73 77 80 82 88 95 98 99 102 107 110 111 118 119 132 134 136 137 138 141 142 148 152 153 154 155 157 160 165 166 167 168 174 176 177 178 186 189 190 193 199 217 a 2 4 6 8 10 11 12 14 16 23 31 38 40 45 46 47 48 50 54 55 58 59 62 63 64 65 69 71 72 73 77 80 82 88 95 98 99 102 107 110 111 118 119 132 134 136 137 138 141 142 148 152 153 154 155 156 157 160 165 166 167 168 174 176 177 178 186 189 190 193 199 217 a 2 4 6 8 10 11 12 14 16 23 31 38 40 45 46 47 48 54 55 58 59 62 63 64 65 69 71 72 73 77 80 82 88 95 98 99 102 107 110 111 118 119 121 132 134 136 137 138 141 142 148 152 153 154 155 156 157 160 165 166 167 168 174 176 177 178 186 189 190 193 199 217 a 2 4 6 8 10 11 12 14 16 23 31 38 40 45 46 47 48 54 55 58 59 62 63 64 65 69 71 72 73 77 80 82 88 95 98 99 102 107 110 111 118 119 120 121 134 136 137 138 141 142 148 152 153 154 155 156 157 160 165 166 167 168 174 176 177 178 186 189 190 193 199 217 a 2 4 6 8 10 11 12 14 16 23 31 38 40 46 47 48 54 55 58 59 62 63 64 65 69 71 72 73 77 80 82 88 95 98 99 102 107 110 111 118 119 120 121 134 136 137 138 141 142 148 152 153 154 155 156 157 160 165 166 167 168 174 176 177 178 186 189 190 193 199 215 217 a 2 4 6 8 10 11 12 14 16 23 38 40 46 47 48 54 55 58 59 62 63 64 65 69 71 72 73 74 77 80 82 88 95 98 99 102 107 110 111 118 119 120 121 134 136 137 138 141 142 148 152 153 154 155 156 157 160 165 166 167 168 174 176 177 178 186 189 190 193 199 215 217 a 2 4 6 8 10 11 12 14 16 23 38 40 46 47 48 54 55 58 59 62 63 64 65 69 71 72 73 74 77 80 88 95 98 99 102 107 110 111 118 119 120 121 133 134 136 137 138 141 142 148 152 153 154 155 156 157 160 165 166 167 168 174 176 177 178 186 189 190 193 199 215 217 a 2 4 6 8 10 11 12 14 16 23 38 40 46 47 48 54 58 59 62 63 64 65 69 71 72 73 74 77 80 88 95 98 99 100 102 107 110 111 118 119 120 121 133 134 136 137 138 141 142 148 152 153 154 155 156 157 160 165 166 167 168 174 176 177 178 186 189 190 193 199 215 217 a 2 4 6 8 10 11 12 14 16 23 38 40 46 47 48 54 58 59 62 63 64 65 69 71 72 73 74 77 80 88 95 98 99 100 102 107 110 111 118 119 120 121 133 134 136 137 138 141 142 152 153 154 155 156 157 160 165 166 167 168 174 176 177 178 186 189 190 192 193 199 215 217 a 2 4 6 8 10 11 12 13 14 16 23 38 40 46 47 48 54 58 59 62 63 64 65 69 71 72 73 74 77 80 88 95 98 99 100 102 107 110 111 118 119 120 121 133 134 136 137 138 141 142 152 153 154 155 156 157 160 165 166 167 168 174 177 178 186 189 190 192 193 199 215 217 a 2 4 6 8 10 11 12 13 14 16 32 38 40 46 47 48 54 58 59 62 63 64 65 69 71 72 73 74 77 80 88 95 98 99 100 102 107 110 111 118 119 120 121 133 134 136 137 138 141 142 152 153 154 155 156 157 160 165 166 167 168 174 177 178 186 189 190 192 193 199 215 217 a 2 4 8 10 11 12 13 14 16 32 38 40 46 47 48 54 58 59 62 63 64 65 69 71 72 73 74 77 80 88 95 98 99 100 102 107 110 111 118 119 120 121 133 134 136 137 138 141 142 152 153 154 155 156 157 160 165 166 167 168 174 177 178 182 186 189 190 192 193 199 215 217 a 2 4 8 10 11 12 13 14 16 32 38 40 46 47 48 54 58 59 63 64 65 69 71 72 73 74 77 80 88 95 98 99 100 102 107 110 111 118 119 120 121 133 134 136 137 138 141 142 152 153 154 155 156 157 160 165 166 167 168 174 177 178 182 186 189 190 192 193 195 199 215 217 a 2 4 8 10 11 12 13 14 16 32 38 40 46 47 48 54 58 59 63 64 65 69 71 73 74 77 80 88 95 98 99 100 102 107 110 111 118 119 120 121 133 134 136 137 138 141 142 152 153 154 155 156 157 160 165 166 167 168 174 175 177 178 182 186 189 190 192 193 195 199 215 217 a 2 4 8 10 11 12 13 14 16 32 38 40 46 47 48 54 58 59 63 64 65 69 71 73 74 77 80 86 88 95 99 100 102 107 110 111 118 119 120 121 133 134 136 137 138 141 142 152 153 154 155 156 157 160 165 166 167 168 174 175 177 178 182 186 189 190 192 193 195 199 215 217 a 2 4 8 10 11 12 13 14 16 32 38 40 46 47 48 54 58 59 63 64 65 69 71 73 74 77 80 86 88 95 99 100 102 107 110 111 118 119 120 121 123 133 134 136 137 138 141 142 152 153 154 155 156 157 160 165 166 167 168 174 175 177 178 182 189 190 192 193 195 199 215 217 a 2 4 8 10 11 12 13 14 16 32 38 40 46 47 48 54 58 59 63 64 65 69 70 71 73 74 77 80 86 88 95 99 100 102 107 110 111 118 119 120 121 123 133 134 136 137 138 141 142 152 153 154 155 156 157 160 165 166 168 174 175 177 178 182 189 190 192 193 195 199 215 217 a 2 4 8 10 11 12 13 14 16 32 38 40 46 47 48 54 58 59 63 64 65 69 70 71 73 74 77 80 86 88 89 95 99 100 102 107 110 111 118 119 120 121 123 133 134 136 137 138 141 142 152 153 154 155 156 157 160 165 168 174 175 177 178 182 189 190 192 193 195 199 215 217 a 2 4 8 10 11 12 13 14 16 28 32 38 40 46 48 54 58 59 63 64 65 69 70 71 73 74 77 80 86 88 89 95 99 100 102 107 110 111 118 119 120 121 123 133 134 136 137 138 141 142 152 153 154 155 156 157 160 165 168 174 175 177 178 182 189 190 192 193 195 199 215 217 a 2 4 8 10 11 12 13 14 16 28 32 38 40 46 48 54 58 59 63 64 65 69 70 71 73 74 77 80 86 88 89 95 99 100 102 107 110 111 112 119 120 121 123 133 134 136 137 138 141 142 152 153 154 155 156 157 160 165 168 174 175 177 178 182 189 190 192 193 195 199 215 217 a 2 4 8 10 11 12 13 14 16 28 32 38 40 46 48 54 58 59 63 64 65 69 70 71 73 74 77 80 86 88 89 95 100 102 107 110 111 112 119 120 121 123 133 134 136 137 138 141 142 152 153 154 155 156 157 160 165 168 174 175 177 178 182 184 189 190 192 193 195 199 215 217 a 2 4 8 10 11 12 13 14 16 28 32 38 40 46 54 58 59 63 64 65 69 70 71 73 74 77 80 86 88 89 95 100 102 107 110 111 112 119 120 121 123 131 133 134 136 137 138 141 142 152 153 154 155 156 157 160 165 168 174 175 177 178 182 184 189 190 192 193 195 199 215 217 a 2 4 8 10 11 12 13 14 16 28 32 38 40 46 54 58 59 63 64 65 69 70 71 73 74 77 80 86 88 89 95 100 102 107 110 111 112 119 120 121 123 126 131 133 134 136 137 138 141 142 152 153 154 155 156 157 160 165 174 175 177 178 182 184 189 190 192 193 195 199 215 217 a 2 4 8 10 11 12 13 14 16 28 32 38 40 46 54 58 59 63 64 65 69 70 71 73 74 77 80 86 88 89 95 100 102 107 110 111 112 119 120 121 123 126 131 133 134 136 137 138 141 142 153 154 155 156 157 160 165 174 175 177 178 182 184 189 190 192 193 195 199 202 215 217 a 2 4 8 11 12 13 14 15 16 28 32 38 40 46 54 58 59 63 64 65 69 70 71 73 74 77 80 86 88 89 95 100 102 107 110 111 112 119 120 121 123 126 131 133 134 136 137 138 141 142 153 154 155 156 157 160 165 174 175 177 178 182 184 189 190 192 193 195 199 202 215 217 a 2 4 8 11 12 13 14 15 16 28 32 38 40 46 54 58 59 63 64 65 69 70 71 73 74 80 86 88 89 95 100 102 107 109 110 111 112 119 120 121 123 126 131 133 134 136 137 138 141 142 153 154 155 156 157 160 165 174 175 177 178 182 184 189 190 192 193 195 199 202 215 217 a 2 4 11 12 13 14 15 16 28 32 38 40 46 54 58 59 63 64 65 69 70 71 73 74 80 86 88 89 95 100 102 107 109 110 111 112 119 120 121 123 126 131 133 134 136 137 138 141 142 153 154 155 156 157 160 165 171 174 175 177 178 182 184 189 190 192 193 195 199 202 215 217 a 1 2 4 11 12 13 14 15 16 28 32 38 40 46 54 58 59 63 64 65 69 70 71 73 74 80 86 88 89 95 100 102 107 109 110 111 112 119 120 121 123 126 131 133 134 136 137 138 141 142 153 155 156 157 160 165 171 174 175 177 178 182 184 189 190 192 193 195 199 202 215 217 a 1 2 4 11 12 13 14 15 16 28 32 38 40 46 54 58 59 60 63 65 69 70 71 73 74 80 86 88 89 95 100 102 107 109 110 111 112 119 120 121 123 126 131 133 134 136 137 138 141 142 153 155 156 157 160 165 171 174 175 177 178 182 184 189 190 192 193 195 199 202 215 217 a 1 2 4 5 11 12 13 14 15 16 28 32 38 40 46 54 58 59 60 63 65 69 70 71 73 74 80 86 88 89 100 102 107 109 110 111 112 119 120 121 123 126 131 133 134 136 137 138 141 142 153 155 156 157 160 165 171 174 175 177 178 182 184 189 190 192 193 195 199 202 215 217 a 1 2 4 5 11 12 13 14 15 16 28 32 38 40 46 54 58 59 60 63 65 69 70 71 73 74 80 86 88 89 100 102 107 109 110 111 112 119 120 121 123 126 131 133 134 136 137 138 142 153 155 156 157 160 165 171 174 175 177 178 182 184 189 190 192 193 195 199 202 208 215 217 a 1 2 4 5 11 12 13 14 15 28 32 38 40 46 54 58 59 60 63 65 69 70 71 73 74 80 86 88 89 100 102 107 109 110 111 112 119 120 121 123 126 131 133 134 136 137 138 142 147 153 155 156 157 160 165 171 174 175 177 178 182 184 189 190 192 193 195 199 202 208 215 217 a 1 2 4 5 11 12 13 14 15 28 32 38 40 46 54 58 59 60 63 65 69 70 71 73 74 80 86 88 89 100 102 107 109 110 111 112 119 120 121 123 126 131 133 134 135 136 137 138 142 147 153 155 156 157 160 165 171 174 175 178 182 184 189 190 192 193 195 199 202 208 215 217 c Step: 228 #END: [Tue Sep 5 08:24:50 2023]