#BEGIN: [Tue Sep 5 08:23:51 2023] #HOST: s10 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: longest-wallclock-banbaralab-longest2 #INSTANCE1: /benchmark/random_instance/random_instance018_graph004.col #INSTANCE2: /benchmark/random_instance/random_instance018_graph004_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_instance018_graph004.col /benchmark/random_instance/random_instance018_graph004_01.dat c /benchmark/random_instance/random_instance018_graph004.col c /benchmark/random_instance/random_instance018_graph004_01.dat TIMEOUT 1800 c send SIGTERM to CID 78fc1edbc338b07f892f607c23ce2a309f94526c5a3fdf0dc4469e8706721024 s 131 162 137 175 83 57 116 164 122 180 68 17 10 218 6 207 97 173 43 93 34 211 179 2 62 31 230 49 157 96 95 30 204 91 167 15 140 119 16 82 99 23 58 177 142 20 64 126 168 189 199 112 225 108 84 200 9 27 53 35 104 172 13 19 29 229 1 101 156 176 224 190 90 203 120 38 t 81 179 36 80 210 189 44 233 204 65 169 206 22 37 112 188 14 66 113 26 193 23 45 90 183 186 18 40 227 177 137 33 61 27 88 55 83 182 127 72 103 11 190 59 97 176 149 202 115 15 100 181 6 166 170 9 208 232 64 155 49 185 4 120 146 229 118 68 10 180 87 57 102 218 94 109 a YES a 1 2 6 9 10 13 15 16 17 19 20 23 27 29 30 31 34 35 38 43 49 53 57 58 62 64 68 82 83 84 90 91 93 95 96 97 99 101 104 108 112 116 119 120 122 126 131 137 140 142 156 157 162 164 167 168 172 173 175 176 177 179 180 189 190 199 200 203 204 207 211 218 224 225 229 230 a 1 2 6 9 10 13 15 16 17 19 20 23 27 29 30 31 34 35 36 38 43 49 53 57 58 62 64 68 82 83 84 90 91 93 95 96 97 99 101 104 108 112 116 119 120 122 126 131 137 140 142 156 157 162 164 167 168 172 173 175 176 177 179 180 189 190 199 200 203 204 207 211 218 224 225 229 a 1 2 6 7 9 10 13 15 16 17 19 20 23 27 29 30 31 34 35 36 38 43 49 53 57 58 62 64 68 82 83 84 90 91 93 95 96 97 99 101 104 108 112 116 119 120 122 126 131 137 140 142 156 157 162 164 167 168 172 173 175 176 177 179 180 189 190 199 200 203 204 211 218 224 225 229 a 1 2 6 7 9 10 13 15 16 17 19 20 23 27 29 30 31 35 36 38 43 49 53 57 58 62 64 68 82 83 84 88 90 91 93 95 96 97 99 101 104 108 112 116 119 120 122 126 131 137 140 142 156 157 162 164 167 168 172 173 175 176 177 179 180 189 190 199 200 203 204 211 218 224 225 229 a 1 2 6 7 9 10 13 16 17 19 20 23 27 29 30 31 35 36 38 43 49 53 57 58 62 64 68 82 83 84 88 90 91 93 95 96 97 99 101 104 108 112 116 119 120 122 126 131 137 139 140 142 156 157 162 164 167 168 172 173 175 176 177 179 180 189 190 199 200 203 204 211 218 224 225 229 a 1 2 6 7 9 10 13 16 17 19 20 23 27 29 30 31 34 35 36 38 43 49 53 57 58 62 64 68 82 83 84 90 91 93 95 96 97 99 101 104 108 112 116 119 120 122 126 131 137 139 140 142 156 157 162 164 167 168 172 173 175 176 177 179 180 189 190 199 200 203 204 211 218 224 225 229 a 1 2 6 7 9 10 13 16 17 19 20 23 27 29 30 31 34 35 36 38 43 49 53 57 58 62 64 68 82 83 84 90 91 95 96 97 99 101 104 108 112 116 119 120 122 126 131 137 139 140 141 142 156 157 162 164 167 168 172 173 175 176 177 179 180 189 190 199 200 203 204 211 218 224 225 229 a 1 2 6 7 9 10 13 16 17 19 20 23 27 29 30 31 34 35 36 38 43 47 49 53 57 58 62 68 82 83 84 90 91 95 96 97 99 101 104 108 112 116 119 120 122 126 131 137 139 140 141 142 156 157 162 164 167 168 172 173 175 176 177 179 180 189 190 199 200 203 204 211 218 224 225 229 a 1 2 6 7 9 10 13 16 17 19 20 23 27 29 30 31 34 35 36 38 43 47 49 53 57 58 61 62 68 82 83 84 90 91 95 96 97 99 101 104 108 112 116 119 120 122 126 131 137 139 140 141 156 157 162 164 167 168 172 173 175 176 177 179 180 189 190 199 200 203 204 211 218 224 225 229 a 1 2 6 7 9 10 13 16 17 19 20 23 27 29 30 31 34 35 36 38 43 47 49 53 57 58 61 62 68 81 82 83 84 90 91 95 96 97 99 101 104 108 112 116 119 120 122 126 131 137 139 140 141 156 157 162 164 167 168 172 173 175 176 177 179 180 189 190 199 200 203 204 211 218 224 229 a 1 2 6 7 9 10 13 16 17 19 20 23 27 29 30 31 34 35 36 38 43 47 49 53 57 58 61 62 68 81 82 83 84 90 91 95 96 97 99 101 102 104 108 112 116 119 120 122 126 131 137 139 140 141 156 157 162 164 167 168 172 173 175 176 177 179 180 189 190 199 200 204 211 218 224 229 a 1 2 6 7 9 10 13 16 17 19 20 23 27 29 30 31 34 35 36 38 43 47 49 53 57 58 61 62 63 68 81 82 83 84 90 91 95 96 97 99 101 102 104 108 116 119 120 122 126 131 137 139 140 141 156 157 162 164 167 168 172 173 175 176 177 179 180 189 190 199 200 204 211 218 224 229 a 1 2 6 7 9 10 13 16 17 19 20 23 27 29 30 31 34 35 36 38 43 49 53 57 58 61 62 63 64 68 81 82 83 84 90 91 95 96 97 99 101 102 104 108 116 119 120 122 126 131 137 139 140 141 156 157 162 164 167 168 172 173 175 176 177 179 180 189 190 199 200 204 211 218 224 229 a 1 2 6 7 9 10 13 16 17 19 20 23 27 29 30 31 34 35 36 38 43 49 53 57 58 61 62 63 64 68 81 82 83 84 90 91 93 95 96 97 99 101 102 104 108 116 119 120 122 126 131 137 139 140 156 157 162 164 167 168 172 173 175 176 177 179 180 189 190 199 200 204 211 218 224 229 a 1 2 6 7 9 10 13 16 17 19 20 23 27 29 30 31 34 35 36 38 43 49 53 57 58 61 62 64 68 81 82 83 84 90 91 93 95 96 97 99 101 102 104 108 112 116 119 120 122 126 131 137 139 140 156 157 162 164 167 168 172 173 175 176 177 179 180 189 190 199 200 204 211 218 224 229 a 1 2 6 7 9 10 13 16 17 19 20 23 27 29 30 31 34 35 36 38 43 49 53 57 58 61 62 64 68 81 82 83 84 90 91 93 95 96 97 99 101 102 104 108 112 116 119 120 126 131 137 139 140 156 157 162 164 167 168 172 173 175 176 177 179 180 189 190 199 200 204 211 218 224 228 229 a 1 2 6 7 9 10 13 16 17 19 20 23 27 29 30 31 34 35 36 38 43 49 53 57 58 61 62 64 68 81 82 83 84 90 91 93 95 96 97 99 101 102 104 108 112 116 119 120 126 131 137 139 140 156 157 162 164 167 168 172 175 176 177 179 180 189 190 199 200 204 211 218 224 227 228 229 a 1 2 6 7 9 10 13 16 17 19 20 23 27 29 30 31 34 35 36 38 43 49 53 57 58 61 62 64 68 82 83 84 90 91 93 95 96 97 99 101 102 104 108 112 116 119 120 126 131 137 139 140 156 157 162 164 167 168 172 175 176 177 179 180 189 190 199 200 204 211 218 224 225 227 228 229 a 1 6 7 9 10 13 16 17 19 20 23 27 29 30 31 34 35 36 38 43 49 53 57 58 61 62 64 68 82 83 84 90 91 93 95 96 97 99 101 102 103 104 108 112 116 119 120 126 131 137 139 140 156 157 162 164 167 168 172 175 176 177 179 180 189 190 199 200 204 211 218 224 225 227 228 229 a 1 6 7 9 10 13 16 17 19 20 23 27 29 30 31 34 35 36 38 43 49 53 57 58 61 62 64 68 78 82 83 84 90 91 93 95 96 97 99 101 102 103 104 108 112 116 119 120 126 131 137 139 140 156 157 162 164 167 168 172 175 177 179 180 189 190 199 200 204 211 218 224 225 227 228 229 a 1 6 7 9 10 13 16 17 19 20 21 23 27 29 30 31 34 35 36 38 43 49 53 57 58 61 62 64 68 78 82 83 84 90 91 95 96 97 99 101 102 103 104 108 112 116 119 120 126 131 137 139 140 156 157 162 164 167 168 172 175 177 179 180 189 190 199 200 204 211 218 224 225 227 228 229 a 1 6 7 9 10 13 16 17 19 20 21 23 27 29 30 31 34 35 36 38 43 47 49 53 57 58 61 62 68 78 82 83 84 90 91 95 96 97 99 101 102 103 104 108 112 116 119 120 126 131 137 139 140 156 157 162 164 167 168 172 175 177 179 180 189 190 199 200 204 211 218 224 225 227 228 229 a 1 6 7 9 10 13 16 17 19 20 21 23 27 29 30 31 34 35 36 38 43 47 49 53 57 58 61 62 68 78 82 83 84 90 91 95 96 97 99 101 102 103 104 108 112 116 119 120 126 131 137 139 140 156 157 162 164 167 168 172 175 177 179 180 189 190 199 200 204 211 215 218 224 225 227 228 a 1 6 7 9 10 13 16 17 19 20 21 23 27 29 30 31 34 35 36 38 43 47 49 53 57 58 61 62 68 78 82 83 84 90 91 95 96 97 99 101 102 103 104 108 112 116 119 120 126 131 137 139 140 157 162 164 167 168 172 175 177 179 180 189 190 199 200 204 211 215 218 224 225 227 228 232 a 1 6 7 9 10 13 16 17 19 20 21 23 27 29 30 31 34 35 36 38 43 47 49 53 57 58 61 62 68 78 82 83 84 90 91 95 96 97 99 101 103 104 108 112 116 119 120 126 131 137 139 140 142 157 162 164 167 168 172 175 177 179 180 189 190 199 200 204 211 215 218 224 225 227 228 232 a 1 6 7 9 10 13 16 17 19 20 21 23 27 29 30 31 34 35 36 38 43 47 49 53 57 58 61 62 68 78 82 83 84 90 91 95 96 97 99 101 103 104 108 112 116 119 120 126 131 137 139 140 142 157 162 164 167 168 172 175 177 179 180 189 190 199 200 204 211 215 218 224 225 228 229 232 a 1 6 7 9 10 13 16 17 19 20 21 23 27 29 30 31 34 35 36 38 43 47 49 53 57 58 61 62 68 78 82 83 84 90 91 95 96 97 99 101 103 104 108 112 116 119 120 126 131 137 139 140 142 157 162 164 167 168 172 175 177 179 180 189 190 199 200 204 211 215 218 224 225 227 228 229 a 1 6 7 9 10 13 16 17 19 20 21 23 27 29 30 31 34 35 36 38 43 47 49 53 57 58 61 62 68 78 82 83 84 90 91 95 96 97 99 101 103 104 108 112 116 119 120 126 131 137 139 140 142 157 162 164 167 168 172 175 177 179 180 189 190 199 200 204 211 215 218 224 227 228 229 232 a 1 6 7 9 10 13 16 17 19 20 21 23 27 29 30 31 34 35 36 38 43 47 49 53 57 58 61 62 68 78 82 83 84 90 91 95 96 97 99 101 103 104 108 112 116 119 120 126 131 137 139 140 142 157 162 164 167 168 172 175 177 179 180 182 189 190 199 200 204 211 215 218 224 227 228 229 a 1 6 7 9 10 13 16 17 19 20 21 23 27 29 30 31 34 35 36 38 43 47 49 53 57 58 61 62 68 78 82 83 84 90 91 95 96 97 99 101 102 103 104 108 112 116 119 120 126 131 137 139 140 157 162 164 167 168 172 175 177 179 180 182 189 190 199 200 204 211 215 218 224 227 228 229 a 1 6 7 9 10 13 16 17 19 20 21 23 27 29 30 31 34 35 36 38 43 47 49 53 57 58 61 62 68 78 82 83 84 90 91 95 96 97 99 101 102 104 108 112 116 119 120 126 131 137 139 140 141 157 162 164 167 168 172 175 177 179 180 182 189 190 199 200 204 211 215 218 224 227 228 229 a 1 6 7 9 10 13 16 17 19 20 21 23 27 29 30 31 34 35 36 38 43 47 49 53 57 58 61 62 68 78 82 83 84 90 91 95 96 97 99 101 102 104 108 112 116 119 120 126 129 131 137 139 140 141 157 162 164 167 168 172 175 179 180 182 189 190 199 200 204 211 215 218 224 227 228 229 a 1 2 6 7 9 10 13 16 17 19 20 21 23 27 29 30 31 34 35 36 38 43 47 49 53 57 58 61 62 68 78 82 83 84 90 91 95 96 97 99 101 102 104 108 112 116 119 120 126 129 131 137 139 140 141 157 162 164 167 168 172 175 179 180 182 189 190 199 200 204 211 218 224 227 228 229 a 1 2 6 7 9 10 13 16 17 19 20 21 23 27 29 30 31 34 35 36 38 43 47 49 53 57 58 61 62 68 78 82 83 84 90 91 95 96 97 99 101 102 104 108 112 116 119 120 126 131 137 139 140 141 157 162 164 167 168 172 175 177 179 180 182 189 190 199 200 204 211 218 224 227 228 229 a 1 2 6 7 9 10 13 16 17 19 20 21 23 27 29 30 31 34 35 36 38 43 47 49 53 57 58 61 62 68 78 82 83 84 90 91 95 96 97 99 101 104 108 112 116 119 120 126 131 137 139 140 141 142 157 162 164 167 168 172 175 177 179 180 182 189 190 199 200 204 211 218 224 227 228 229 a 1 2 6 7 9 10 13 16 17 19 20 21 23 27 29 30 31 34 35 36 38 43 47 49 53 57 58 61 62 68 78 82 83 84 90 91 95 96 97 99 101 104 108 112 116 119 120 126 131 137 139 140 141 142 157 162 164 167 168 172 175 177 179 180 182 189 190 199 200 203 204 211 218 224 227 228 a 1 2 6 7 9 10 13 16 17 19 20 21 23 27 29 30 31 34 35 36 38 43 47 53 57 58 61 62 68 78 82 83 84 90 91 95 96 97 99 101 104 108 112 116 119 120 126 131 137 139 140 141 142 157 162 164 167 168 172 175 177 179 180 182 189 190 199 200 203 204 211 218 224 227 228 232 a 1 2 6 7 9 10 13 16 17 19 20 21 23 27 29 30 31 34 35 36 38 43 47 53 57 58 61 62 68 78 82 83 84 90 91 95 96 97 99 101 104 108 112 116 119 120 126 127 131 137 139 140 141 157 162 164 167 168 172 175 177 179 180 182 189 190 199 200 203 204 211 218 224 227 228 232 a 1 2 6 7 9 10 13 16 19 20 21 23 27 29 30 31 34 35 36 38 43 47 53 57 58 61 62 68 78 82 83 84 90 91 95 96 97 99 101 104 106 108 112 116 119 120 126 127 131 137 139 140 141 157 162 164 167 168 172 175 177 179 180 182 189 190 199 200 203 204 211 218 224 227 228 232 a 1 2 6 7 9 10 13 16 19 20 21 23 27 29 30 31 34 35 36 38 43 47 53 57 58 61 62 68 78 82 83 84 90 91 95 96 97 99 101 104 106 112 116 119 120 126 127 131 137 139 140 141 157 162 164 167 168 172 175 177 179 180 182 189 190 199 200 203 204 210 211 218 224 227 228 232 a 1 2 6 7 9 10 13 16 19 20 21 23 27 29 30 31 34 35 36 38 43 47 53 57 58 61 62 68 78 82 83 84 90 91 95 96 97 99 101 104 106 108 112 116 119 120 126 127 131 137 139 140 141 157 164 167 168 172 175 177 179 180 182 189 190 199 200 203 204 210 211 218 224 227 228 232 a 1 2 6 7 9 10 13 16 19 20 21 23 27 29 30 31 34 35 36 38 43 47 53 57 58 61 62 68 78 82 83 84 90 91 95 96 97 99 101 104 106 108 112 116 119 120 126 127 131 137 139 140 141 157 162 164 167 168 172 175 177 179 180 182 189 190 199 200 203 204 210 211 218 224 227 228 a 1 2 6 7 9 10 13 16 19 20 21 23 27 29 30 31 34 35 36 38 43 47 53 57 58 61 62 68 78 82 83 84 90 91 95 96 97 99 101 104 106 108 112 116 119 120 126 127 131 137 139 140 141 157 162 164 167 168 172 175 177 179 180 182 189 190 199 200 203 204 210 211 218 224 227 229 a 1 2 6 7 9 10 13 16 19 20 21 23 27 29 30 31 34 35 36 38 43 47 53 57 58 61 62 68 78 83 84 90 91 95 96 97 99 101 104 106 108 112 116 119 120 126 127 131 137 139 140 141 157 162 164 167 168 172 175 177 179 180 182 189 190 199 200 203 204 210 211 218 224 227 228 229 a 1 2 6 7 9 10 13 16 19 20 21 23 27 29 30 31 34 35 36 38 43 47 53 57 58 61 62 68 78 82 83 84 90 91 95 96 97 99 101 104 106 108 116 119 120 126 127 131 137 139 140 141 157 162 164 167 168 172 175 177 179 180 182 189 190 199 200 203 204 210 211 218 224 227 228 229 a 1 2 6 7 9 10 13 16 19 20 21 23 27 29 30 31 34 35 36 38 43 47 53 57 58 61 62 68 78 82 83 84 90 91 95 96 97 99 101 104 106 108 112 116 119 120 126 127 131 137 140 141 157 162 164 167 168 172 175 177 179 180 182 189 190 199 200 203 204 210 211 218 224 227 228 229 a 1 2 6 7 9 10 13 16 19 20 21 23 27 29 30 31 34 35 36 38 43 47 53 57 58 61 62 68 78 82 83 84 90 91 95 96 97 99 101 104 106 108 112 116 119 120 126 127 131 137 140 141 157 162 164 167 168 172 175 177 179 180 182 189 190 199 200 203 204 210 211 218 224 225 227 228 a 1 2 6 7 9 10 13 16 19 20 21 23 27 29 30 31 34 35 36 38 43 47 53 57 58 61 62 68 78 82 83 84 90 91 95 96 97 99 101 104 106 108 112 116 119 120 126 127 131 137 140 141 155 157 162 164 167 168 172 175 177 179 180 182 189 190 199 200 203 204 210 211 218 224 225 227 a 1 2 6 7 9 10 13 16 19 20 21 23 27 29 30 31 34 35 36 38 43 47 53 57 58 61 62 68 78 82 83 84 90 91 95 96 97 99 101 104 106 108 112 113 116 119 120 126 127 131 137 140 141 155 157 162 164 167 168 172 175 177 179 180 182 189 190 199 200 203 204 210 211 218 224 227 a 1 2 6 7 9 10 13 16 19 20 21 23 27 29 30 31 34 35 36 38 43 47 53 57 58 61 62 68 78 82 83 84 90 91 95 96 97 99 101 102 104 106 108 112 113 116 119 120 126 127 131 137 140 141 155 157 162 164 167 168 172 175 177 179 180 182 189 190 199 200 204 210 211 218 224 227 a 1 2 6 7 9 10 13 16 19 20 21 23 27 29 30 31 34 35 36 38 43 47 53 57 58 61 62 68 78 82 83 84 90 91 95 96 97 99 101 102 104 106 108 112 113 116 119 120 126 127 131 137 140 141 155 157 162 164 168 172 175 177 179 180 182 189 190 199 200 204 210 211 218 224 227 232 a 1 2 6 7 9 10 13 16 19 21 23 27 29 30 31 34 35 36 38 43 47 53 57 58 61 62 68 78 82 83 84 90 91 95 96 97 99 101 102 104 106 108 112 113 116 119 120 126 127 131 137 140 141 155 157 162 164 167 168 172 175 177 179 180 182 189 190 199 200 204 210 211 218 224 227 232 a 1 2 6 7 9 10 13 16 19 20 21 23 27 29 30 31 34 35 36 38 43 47 53 57 58 61 62 68 78 82 83 84 90 91 95 96 97 99 101 102 104 106 108 112 113 119 120 126 127 131 137 140 141 155 157 162 164 167 168 172 175 177 179 180 182 189 190 199 200 204 210 211 218 224 227 232 a 1 2 6 7 9 10 13 16 19 20 21 23 27 29 30 31 34 35 36 38 43 47 53 57 58 61 62 68 78 82 83 84 91 95 96 97 99 101 102 104 106 108 112 113 116 119 120 126 127 131 137 140 141 155 157 162 164 167 168 172 175 177 179 180 182 189 190 199 200 204 210 211 218 224 227 232 a 1 6 7 9 10 13 16 19 20 21 23 27 29 30 31 34 35 36 38 43 47 53 57 58 61 62 68 78 82 83 84 91 94 95 96 97 99 101 102 104 106 108 112 113 116 119 120 126 127 131 137 140 141 155 157 162 164 167 168 172 175 177 179 180 182 189 190 199 200 204 210 211 218 224 227 232 a 1 6 7 9 10 13 16 19 20 21 23 27 29 30 31 34 35 36 38 43 47 53 57 58 61 62 68 78 82 83 84 91 94 95 96 97 99 101 102 104 106 108 112 113 116 119 120 126 127 131 137 140 141 155 157 162 164 167 168 172 175 177 179 180 182 189 190 199 200 204 210 211 218 225 227 232 a 1 6 7 9 10 13 16 20 21 23 27 29 30 31 34 35 36 38 43 47 53 57 58 61 62 68 78 82 83 84 90 91 94 95 96 97 99 101 102 104 106 108 112 113 116 119 120 126 127 131 137 140 141 155 157 162 164 167 168 172 175 177 179 180 182 189 190 199 200 204 210 211 218 225 227 232 a 1 6 7 9 10 13 16 20 21 23 27 29 30 31 34 35 36 38 43 47 53 57 58 61 62 68 78 82 83 84 90 91 94 95 96 97 99 101 102 104 106 108 112 113 116 119 120 126 127 131 137 139 140 141 155 157 162 164 167 168 172 177 179 180 182 189 190 199 200 204 210 211 218 225 227 232 a 1 6 7 9 10 13 16 20 21 23 27 29 30 31 34 35 36 38 43 47 53 57 58 61 62 68 78 82 83 84 90 91 94 95 96 97 99 101 102 104 106 108 112 113 116 119 120 126 127 131 137 139 140 141 155 157 162 164 167 168 172 175 177 179 180 182 189 190 199 200 204 210 211 218 225 227 a 1 6 7 9 10 13 16 20 21 23 27 29 30 31 34 35 36 38 43 47 53 57 58 61 62 68 82 83 84 90 91 94 95 96 97 99 101 102 104 106 108 112 113 116 119 120 126 127 131 137 139 140 141 155 157 162 164 167 168 172 175 176 177 179 180 182 189 190 199 200 204 210 211 218 225 227 a 1 6 7 9 10 13 16 20 21 23 27 29 30 31 34 35 36 38 43 47 53 57 58 61 62 68 82 83 84 90 91 94 95 96 97 99 101 102 104 106 108 112 113 116 119 120 126 127 131 137 139 140 141 155 157 162 164 167 168 172 175 176 177 179 180 182 189 190 199 200 204 210 211 218 224 225 a 1 6 7 9 10 13 16 20 21 23 27 29 30 31 34 35 36 38 43 47 53 57 58 61 62 68 82 83 84 90 91 94 95 96 97 99 101 102 104 106 108 112 113 116 119 120 126 127 131 137 139 140 141 157 162 164 167 168 172 175 176 177 179 180 182 189 190 199 200 204 210 211 218 224 225 228 a 1 6 7 9 10 13 16 20 21 23 27 29 30 31 34 35 36 38 43 47 53 57 58 61 62 68 82 83 84 90 91 94 95 96 97 99 101 102 104 106 108 112 113 116 119 120 126 127 131 137 139 140 141 157 162 164 167 168 172 175 176 177 179 180 182 189 199 200 204 210 211 218 224 225 227 228 a 1 6 7 9 10 13 16 20 21 23 27 29 30 31 34 35 36 38 43 47 53 57 58 61 62 68 82 83 84 90 91 94 95 96 97 99 101 102 104 106 108 112 113 116 119 120 126 127 131 137 139 140 141 155 157 162 164 167 168 172 175 176 177 180 182 189 199 200 204 210 211 218 224 225 227 228 a 1 6 7 9 10 13 16 20 21 23 27 29 30 31 34 35 36 38 43 47 53 57 58 61 62 68 82 83 84 90 91 94 95 96 97 99 101 102 104 106 108 112 113 116 119 120 126 127 131 137 139 140 141 155 157 162 164 167 168 172 175 176 177 180 182 189 199 200 204 210 211 218 221 224 225 228 a 1 6 7 9 10 13 16 20 21 23 27 29 30 31 34 35 36 38 43 47 53 57 58 61 62 68 82 83 84 90 91 94 95 96 97 99 101 102 104 106 108 112 113 116 119 120 126 127 131 137 139 140 141 155 157 162 164 167 168 172 175 176 177 180 182 189 199 200 204 210 211 218 221 224 225 227 a 1 7 9 10 13 16 19 20 21 23 27 29 30 31 34 35 36 38 43 47 53 57 58 61 62 68 82 83 84 90 91 94 95 96 97 99 101 102 104 106 108 112 113 116 119 120 126 127 131 137 139 140 141 155 157 162 164 167 168 172 175 176 177 180 182 189 199 200 204 210 211 218 221 224 225 227 a 1 7 9 10 13 16 19 20 21 23 27 29 30 31 34 35 36 38 43 47 53 57 58 61 62 68 82 83 84 90 91 94 95 96 97 99 101 102 103 104 106 108 112 113 116 119 120 126 127 131 137 139 140 155 157 162 164 167 168 172 175 176 177 180 182 189 199 200 204 210 211 218 221 224 225 227 a 1 7 9 10 13 16 19 20 21 23 27 29 30 31 34 35 36 38 43 47 53 57 58 61 62 68 82 83 84 90 91 94 95 96 97 99 101 102 103 104 106 108 112 113 116 119 120 126 127 131 137 139 140 155 157 162 164 167 168 172 175 176 177 180 182 189 199 200 204 210 211 218 221 224 227 228 a 7 9 10 13 16 19 20 21 23 27 29 30 31 34 35 36 38 43 47 53 57 58 61 62 68 82 83 84 90 91 94 95 96 97 99 101 102 103 104 106 108 112 113 116 119 120 126 127 131 137 139 140 155 157 162 164 167 168 172 175 176 177 180 182 189 199 200 204 210 211 218 221 224 225 227 228 a 7 9 10 13 16 19 20 21 23 27 29 30 31 34 35 36 38 43 47 53 57 58 61 62 68 82 83 84 90 91 94 95 96 97 99 101 102 103 104 106 108 112 113 116 119 120 126 127 131 137 139 140 155 157 162 164 167 168 172 175 176 177 180 182 189 199 200 204 210 211 218 221 224 225 227 229 a 7 9 10 13 16 19 20 21 23 27 29 30 31 34 35 36 38 43 47 53 57 58 62 68 82 83 84 90 91 94 95 96 97 99 101 102 103 104 106 108 112 113 116 119 120 126 127 131 137 139 140 155 157 162 164 167 168 172 175 176 177 180 182 189 190 199 200 204 210 211 218 221 224 225 227 229 a 7 9 10 13 16 19 20 21 23 27 29 30 31 34 35 36 38 43 47 53 57 58 62 68 82 83 84 90 91 94 95 96 97 99 101 102 103 104 106 108 113 116 119 120 126 127 131 137 139 140 147 155 157 162 164 167 168 172 175 176 177 180 182 189 190 199 200 204 210 211 218 221 224 225 227 229 a 6 7 9 10 13 16 19 20 21 23 27 29 30 31 34 35 36 38 43 47 53 57 58 62 68 82 83 84 90 91 94 95 96 97 99 101 102 103 104 106 108 113 116 119 120 126 127 131 137 139 140 147 155 157 162 164 167 168 172 175 176 177 180 182 189 190 199 200 204 210 211 221 224 225 227 229 a 6 7 9 10 13 16 19 20 21 23 27 29 30 31 35 36 38 43 47 53 57 58 61 62 68 82 83 84 90 91 94 95 96 97 99 101 102 103 104 106 108 113 116 119 120 126 127 131 137 139 140 147 155 157 162 164 167 168 172 175 176 177 180 182 189 190 199 200 204 210 211 221 224 225 227 229 a 1 6 7 10 13 16 19 20 21 23 27 29 30 31 35 36 38 43 47 53 57 58 61 62 68 82 83 84 90 91 94 95 96 97 99 101 102 103 104 106 108 113 116 119 120 126 127 131 137 139 140 147 155 157 162 164 167 168 172 175 176 177 180 182 189 190 199 200 204 210 211 221 224 225 227 229 a 1 6 7 10 13 16 19 20 21 23 27 29 30 31 35 36 38 43 47 53 57 58 61 62 68 82 83 84 90 91 94 95 96 97 99 101 102 103 104 106 108 113 116 119 120 126 127 131 137 139 140 147 155 157 162 164 167 168 172 175 176 177 180 182 189 190 199 200 204 210 211 218 221 224 227 229 a 1 6 7 10 13 16 19 20 21 23 27 29 30 31 35 36 38 43 47 53 57 58 61 62 68 70 82 83 84 90 91 94 95 96 97 99 101 102 103 106 108 113 116 119 120 126 127 131 137 139 140 147 155 157 162 164 167 168 172 175 176 177 180 182 189 190 199 200 204 210 211 218 221 224 227 229 a 1 6 7 10 13 16 19 20 21 23 27 29 30 31 35 36 38 47 53 57 58 61 62 68 70 82 83 84 90 91 94 95 96 97 99 101 102 103 104 106 108 113 116 119 120 126 127 131 137 139 140 147 155 157 162 164 167 168 172 175 176 177 180 182 189 190 199 200 204 210 211 218 221 224 227 229 a 1 6 7 10 13 16 19 20 21 23 27 29 30 31 35 36 38 53 57 58 61 62 68 70 82 83 84 90 91 94 95 96 97 99 101 102 103 104 106 108 113 116 119 120 126 127 131 137 139 140 147 155 156 157 162 164 167 168 172 175 176 177 180 182 189 190 199 200 204 210 211 218 221 224 227 229 a 1 6 7 9 10 13 16 19 20 21 23 27 29 30 31 35 36 38 53 57 58 61 62 68 70 82 83 84 90 91 94 95 96 97 99 101 102 103 104 106 108 113 116 119 120 126 127 131 137 139 140 147 155 156 157 162 164 167 168 172 175 176 177 180 182 189 190 199 200 204 210 211 218 221 224 227 a 1 6 7 9 10 13 16 19 20 21 23 27 29 30 31 35 36 38 53 57 58 61 62 68 70 82 83 84 90 91 94 95 96 97 99 101 102 103 104 106 108 113 116 119 120 126 127 131 137 138 139 140 147 155 156 157 162 164 167 168 172 175 176 177 180 182 189 190 199 200 204 210 211 218 224 227 a 1 6 7 9 10 13 16 19 20 21 23 27 29 30 31 35 36 38 53 57 58 61 62 68 70 77 82 83 84 91 94 95 96 97 99 101 102 103 104 106 108 113 116 119 120 126 127 131 137 138 139 140 147 155 156 157 162 164 167 168 172 175 176 177 180 182 189 190 199 200 204 210 211 218 224 227 a 1 6 7 9 10 13 16 19 20 21 23 27 29 30 31 35 36 38 43 53 57 58 61 62 68 70 77 82 83 84 91 94 95 96 97 99 101 102 103 104 106 108 113 116 119 120 126 127 131 137 138 139 140 155 156 157 162 164 167 168 172 175 176 177 180 182 189 190 199 200 204 210 211 218 224 227 a 1 6 7 9 10 13 16 19 20 21 23 27 29 30 31 35 36 38 43 47 53 57 58 61 62 68 70 77 82 83 84 91 94 95 96 97 99 101 102 103 104 106 108 113 116 119 120 126 127 131 137 138 139 140 155 156 157 162 164 167 168 172 175 176 177 180 182 189 190 199 200 204 210 211 218 224 a 1 6 7 9 10 13 16 19 20 21 23 27 29 30 31 35 36 38 43 47 53 57 58 61 62 68 70 77 82 83 84 91 94 95 96 97 99 101 102 103 104 106 108 113 116 119 120 126 127 131 137 138 139 140 155 156 157 162 164 168 172 175 176 177 180 182 189 190 199 200 204 210 211 218 221 224 a 1 6 7 9 10 13 16 19 20 21 23 27 29 30 31 36 38 43 47 53 57 58 61 62 68 70 77 82 83 84 91 94 95 96 97 99 101 102 103 104 106 108 112 113 116 119 120 126 127 131 137 138 139 140 155 156 157 162 164 168 172 175 176 177 180 182 189 190 199 200 204 210 211 218 221 224 a 1 6 7 9 10 13 16 19 20 21 23 27 29 30 31 36 38 43 47 53 57 58 61 62 68 70 77 82 83 84 91 94 95 96 97 99 101 102 103 104 106 108 112 113 116 119 120 126 127 131 137 138 139 140 155 157 162 164 168 172 175 176 177 180 182 189 190 199 200 204 210 211 218 221 224 232 a 1 6 7 9 10 13 16 19 20 21 23 27 29 30 31 36 38 43 47 53 57 58 61 62 68 70 77 82 83 84 91 94 95 96 97 99 101 102 103 104 106 108 112 113 116 119 120 126 127 131 137 138 139 140 152 155 157 162 164 168 172 175 176 177 180 182 189 190 199 200 204 210 211 221 224 232 a 1 6 7 9 10 13 16 19 20 21 23 27 29 30 31 36 38 43 47 53 57 58 61 62 68 70 77 82 83 84 91 94 95 96 97 99 101 102 103 104 106 108 112 113 116 119 120 126 127 131 137 138 139 140 152 155 157 162 164 168 172 175 176 177 180 182 189 190 199 200 204 210 211 221 227 232 a 1 6 7 9 10 13 16 19 21 23 27 29 30 31 36 38 43 47 53 57 58 61 62 68 70 77 82 83 84 91 94 95 96 97 99 101 102 103 104 106 108 112 113 116 119 120 126 127 131 137 138 139 140 152 155 157 162 164 168 172 175 176 177 180 182 189 190 199 200 204 210 211 218 221 227 232 a 1 6 7 9 10 13 16 19 21 23 27 29 30 31 35 36 38 43 47 53 57 58 61 62 68 70 77 82 83 84 91 94 95 96 97 99 101 102 103 104 106 108 112 113 116 119 120 126 127 131 137 138 139 140 152 155 157 162 164 168 172 175 176 177 180 182 189 190 199 200 204 210 211 218 221 232 a 1 6 7 9 10 13 16 19 21 23 27 29 30 31 35 36 38 43 47 53 57 58 61 62 68 70 77 82 83 84 91 94 95 96 97 99 101 102 103 104 106 108 112 113 116 119 120 126 127 131 137 138 139 140 152 155 157 162 164 168 172 175 176 177 180 182 189 190 199 200 204 210 211 218 221 224 a 1 6 7 9 10 13 16 19 21 23 27 29 30 31 35 36 38 43 47 53 57 58 61 62 68 70 77 82 83 84 91 94 95 96 97 99 101 102 103 104 106 108 112 113 116 119 120 126 127 131 137 138 139 140 152 155 157 162 164 168 172 175 176 177 180 182 189 190 199 200 204 211 218 221 224 232 a 1 6 7 9 10 13 16 19 21 23 27 29 30 31 35 36 38 43 47 53 57 58 61 62 68 70 77 82 83 84 91 94 95 96 97 99 101 102 103 104 106 108 112 113 116 119 120 122 126 127 131 137 138 139 140 152 155 157 162 164 168 172 175 176 177 180 182 189 190 199 200 204 211 218 221 224 a 1 6 7 9 10 13 16 19 21 23 27 29 30 31 35 36 38 43 44 47 53 57 58 61 62 68 70 77 82 83 84 91 94 95 96 97 99 101 102 103 104 106 108 112 113 116 119 120 122 126 127 131 137 138 139 140 152 155 157 162 168 172 175 176 177 180 182 189 190 199 200 204 211 218 221 224 a 1 6 7 9 10 13 16 19 21 23 27 29 30 31 35 36 38 43 44 47 53 57 58 61 68 70 77 80 82 83 84 91 94 95 96 97 99 101 102 103 104 106 108 112 113 116 119 120 122 126 127 131 137 138 139 140 152 155 157 162 168 172 175 176 177 180 182 189 190 199 200 204 211 218 221 224 a 1 6 7 9 10 13 16 19 21 23 27 29 30 31 35 36 38 43 44 47 53 57 58 61 68 70 77 80 82 84 91 94 95 96 97 99 101 102 103 104 106 108 110 112 113 116 119 120 122 126 127 131 137 138 139 140 152 155 157 162 168 172 175 176 177 180 182 189 190 199 200 204 211 218 221 224 a 1 6 7 9 10 13 16 19 21 23 27 29 30 31 35 36 38 43 44 47 50 53 57 58 61 68 70 77 80 82 84 91 94 95 96 97 99 101 102 103 104 106 108 110 112 113 116 119 120 122 126 127 131 137 138 139 140 152 155 157 162 168 172 175 176 177 182 189 190 199 200 204 211 218 221 224 a 1 6 7 9 10 13 16 19 21 23 27 29 30 31 35 36 38 43 44 47 50 53 57 58 61 68 70 77 80 82 84 91 94 95 96 97 99 101 102 103 104 106 108 110 112 113 116 119 120 122 126 127 131 137 138 139 140 152 155 157 162 168 172 175 176 177 182 189 190 199 200 204 211 218 221 227 a 1 6 7 9 10 13 16 19 21 23 27 29 30 31 35 36 38 43 44 47 50 53 57 58 61 68 70 77 80 82 84 91 94 95 96 97 99 101 102 103 104 106 108 110 112 113 116 119 120 122 126 127 131 137 138 139 140 152 155 157 162 167 168 172 175 176 177 182 189 190 199 200 204 211 218 221 a 1 6 7 9 10 13 16 19 21 23 27 29 30 31 35 36 38 43 44 47 50 53 57 58 61 68 70 77 80 82 84 91 94 95 96 97 99 101 102 103 104 106 108 110 112 113 116 119 120 122 126 127 131 138 139 140 152 155 157 162 167 168 172 175 176 177 182 189 190 199 200 204 211 218 221 227 a 1 6 7 9 10 13 16 19 21 23 27 29 30 31 35 36 38 43 44 47 50 53 57 58 61 68 70 77 82 84 91 94 95 96 97 99 101 102 103 104 106 108 110 112 113 116 119 120 122 126 127 131 137 138 139 140 152 155 157 162 167 168 172 175 176 177 182 189 190 199 200 204 211 218 221 227 a 1 6 7 9 10 13 16 19 21 23 27 29 30 31 35 36 38 43 44 47 50 53 57 58 61 68 70 77 82 84 91 94 95 96 97 99 101 102 103 104 106 108 112 113 116 119 120 122 126 127 131 137 138 139 140 152 155 157 162 167 168 172 175 176 177 182 189 190 199 200 204 211 218 221 226 227 a 1 6 7 9 10 13 16 19 20 21 23 27 29 30 31 35 36 38 43 44 47 50 53 57 58 61 68 70 77 82 84 91 94 95 96 97 99 101 102 103 104 106 108 112 113 116 119 120 122 126 127 131 137 138 139 140 152 155 157 162 167 168 172 175 176 177 182 189 190 199 200 204 211 218 221 227 a 1 6 7 9 10 13 16 19 20 21 23 27 29 30 31 35 36 38 43 44 47 50 53 57 58 61 68 70 77 82 84 91 94 95 96 97 99 101 102 103 104 106 108 112 113 116 119 120 122 126 127 131 137 138 139 140 152 155 157 162 167 168 172 175 176 177 182 189 190 199 200 204 211 218 221 226 a 1 6 7 9 10 13 16 19 20 21 23 27 29 30 31 35 36 38 43 44 47 50 53 57 58 61 68 70 77 82 84 91 94 95 96 97 99 101 102 103 104 106 108 112 113 116 119 120 122 126 127 131 137 138 139 140 152 155 157 162 167 168 172 175 176 177 182 189 190 199 200 204 211 218 221 225 a 1 6 7 9 10 13 16 19 20 21 23 27 29 30 31 35 36 38 43 44 47 50 53 57 58 61 68 70 77 82 84 91 94 95 96 97 99 101 102 103 104 106 108 112 113 116 119 120 122 126 127 131 137 138 139 140 152 155 157 162 167 168 172 175 176 177 182 189 190 199 200 204 211 214 218 221 a 1 6 7 9 10 13 16 19 20 21 23 27 29 30 31 35 36 38 43 44 47 50 53 57 58 61 68 70 77 82 84 91 94 95 96 97 99 101 102 103 104 106 108 110 112 113 116 119 120 122 126 127 131 137 138 139 140 152 155 157 162 167 168 172 175 176 177 182 189 190 199 200 204 211 214 221 a 1 6 7 9 10 13 16 19 20 21 23 27 29 30 35 36 38 43 44 47 50 53 57 58 61 68 70 77 82 84 91 94 95 96 97 99 101 102 103 104 106 108 110 112 113 116 119 120 122 126 127 131 137 138 139 140 152 155 157 162 167 168 172 175 176 177 182 189 190 199 200 204 211 214 221 226 a 1 6 7 9 10 13 16 19 20 21 23 27 29 30 35 36 38 43 44 47 50 53 57 58 61 68 70 77 82 84 91 94 95 96 97 99 101 102 103 104 106 108 110 112 113 116 119 120 122 126 127 131 137 138 140 152 155 157 162 167 168 172 175 176 177 182 189 190 199 200 204 211 214 221 225 226 a 1 6 7 9 10 13 16 19 20 21 23 27 29 30 35 36 38 43 44 47 50 53 57 58 61 68 70 77 82 84 91 94 95 96 99 101 102 103 104 106 108 110 112 113 116 119 120 122 126 127 131 137 138 139 140 152 155 157 162 167 168 172 175 176 177 182 189 190 199 200 204 211 214 221 225 226 a 1 6 7 9 10 13 16 19 20 21 23 27 29 30 35 36 38 43 44 47 50 53 57 58 61 68 70 77 82 84 91 94 95 96 99 101 102 103 104 106 108 110 112 113 116 119 120 126 127 131 137 138 139 140 152 155 157 162 167 168 172 175 176 177 182 189 190 199 200 204 211 214 221 225 226 228 a 1 6 7 9 10 13 16 19 20 21 23 27 29 30 35 36 38 43 44 47 50 53 57 58 61 68 70 77 82 84 91 94 95 96 99 101 102 103 104 106 108 110 112 113 116 119 120 126 127 131 137 138 139 140 152 155 157 162 167 168 172 176 177 182 189 190 199 200 204 206 211 214 221 225 226 228 a 1 6 7 9 10 13 16 19 20 21 23 27 29 30 35 36 38 43 44 47 50 53 57 58 61 68 70 77 82 84 91 94 95 96 97 99 101 102 103 104 106 108 110 112 113 116 119 120 126 127 131 137 138 139 140 152 155 157 162 167 168 172 176 177 182 189 190 199 200 204 206 211 214 221 225 226 a 1 6 7 9 10 13 16 19 20 21 23 27 29 30 35 36 38 43 44 47 50 53 57 58 61 68 70 77 80 82 84 91 94 95 96 97 99 101 102 103 104 106 108 110 112 113 116 119 120 126 127 131 137 138 139 140 152 155 157 162 167 168 172 176 177 182 189 190 199 200 204 206 211 214 221 225 a 1 6 7 9 10 13 16 19 20 21 23 27 29 30 31 35 36 38 43 44 47 50 53 57 58 61 68 70 77 80 82 84 91 94 95 96 97 99 101 102 103 104 106 108 110 112 113 116 119 120 126 127 131 137 138 139 140 152 155 157 162 167 168 172 176 177 182 189 190 199 200 204 206 211 214 221 a 1 6 7 9 10 13 16 19 20 21 23 27 29 30 31 35 36 38 43 44 47 50 53 57 58 61 68 70 77 80 82 84 91 94 95 96 97 99 101 102 103 104 106 108 110 112 113 116 119 120 126 127 131 137 138 139 140 152 155 157 162 167 168 172 176 177 182 189 190 199 200 204 206 211 218 221 a 1 6 7 9 10 13 16 19 20 21 23 27 29 30 31 35 36 38 43 44 47 50 53 57 58 61 68 70 77 80 82 83 84 91 94 95 96 97 99 101 102 103 104 106 108 112 113 116 119 120 126 127 131 137 138 139 140 152 155 157 162 167 168 172 176 177 182 189 190 199 200 204 206 211 218 221 a 1 6 7 9 10 13 16 19 20 21 23 27 29 30 31 35 36 38 43 44 47 50 53 57 58 61 68 70 77 80 82 83 84 91 94 95 96 97 99 101 102 103 104 106 108 112 113 116 119 120 126 127 131 138 139 140 152 155 157 162 167 168 172 176 177 182 189 190 199 200 204 206 209 211 218 221 a 1 6 7 9 10 13 16 19 20 21 23 27 29 30 31 35 36 38 43 44 47 50 53 57 58 61 68 70 77 80 82 83 84 91 94 95 96 97 99 101 102 103 104 106 108 112 113 116 119 120 127 131 138 139 140 152 155 157 162 167 168 172 176 177 182 189 190 199 200 204 206 209 211 218 221 225 a 1 6 7 9 10 13 16 19 20 21 23 27 29 30 31 35 36 38 43 44 47 50 53 57 58 61 68 70 77 80 82 83 84 91 94 95 96 97 99 101 102 103 104 106 108 112 113 116 119 120 127 131 137 138 139 140 152 155 157 162 167 168 172 176 177 182 189 190 199 200 204 206 209 211 218 221 a 1 6 7 9 10 13 16 19 20 21 23 27 29 30 31 35 36 38 43 44 47 50 53 57 58 61 68 70 77 80 82 83 84 91 94 95 96 97 99 101 102 103 104 106 108 112 113 116 119 120 127 131 137 138 139 140 152 155 157 162 167 168 172 176 177 182 189 190 199 200 204 206 209 210 211 218 a 1 6 7 9 10 13 16 19 20 21 23 27 29 30 31 35 36 38 43 44 47 50 53 57 58 61 68 70 77 80 82 83 84 91 94 95 96 97 99 101 102 103 104 106 108 112 113 116 119 120 127 131 137 138 139 140 152 155 157 162 167 168 172 176 177 182 189 190 199 200 204 206 209 210 211 228 a 1 6 7 9 10 13 16 19 20 21 23 27 29 30 31 35 36 38 43 44 47 50 53 57 58 61 68 70 77 80 82 83 84 91 94 95 96 97 99 101 102 103 104 106 108 112 113 116 119 120 126 127 131 137 138 139 140 152 155 157 162 167 168 172 176 177 182 189 190 199 200 204 206 209 211 228 a 1 6 7 9 10 13 16 19 20 21 23 27 29 30 31 35 36 38 43 44 47 50 53 57 58 61 68 70 77 80 82 83 84 91 94 95 96 97 99 101 102 103 104 106 108 112 113 116 119 120 126 127 131 137 138 139 140 152 155 157 162 167 168 172 176 177 182 189 190 199 200 204 206 209 211 225 a 1 6 7 9 10 13 16 19 20 21 23 27 29 30 31 35 36 38 43 44 47 50 53 57 58 61 68 70 77 80 82 83 84 91 94 95 96 97 99 101 102 103 104 106 108 112 113 116 119 120 126 127 131 137 138 139 140 152 155 157 162 167 168 172 176 177 182 189 190 199 200 204 206 209 211 214 a 1 6 7 9 10 13 16 19 20 21 23 27 29 30 31 34 35 36 38 43 44 47 50 53 57 58 61 68 77 80 82 83 84 91 94 95 96 97 99 101 102 103 104 106 108 112 113 116 119 120 126 127 131 137 138 139 140 152 155 157 162 167 168 172 176 177 182 189 190 199 200 204 206 209 211 214 a 1 6 7 9 10 13 16 19 20 21 23 27 29 30 31 34 35 36 38 43 44 47 50 53 57 58 61 68 77 80 82 83 84 91 94 95 96 97 99 101 103 104 106 108 112 113 116 119 120 126 127 131 137 138 139 140 152 155 157 162 167 168 172 176 177 182 189 190 199 200 204 206 209 211 214 221 a 1 6 7 9 10 13 16 19 20 21 23 27 29 30 31 34 35 36 38 43 44 47 50 53 57 58 61 68 77 80 82 83 84 91 94 95 96 97 99 101 102 104 106 108 112 113 116 119 120 126 127 131 137 138 139 140 152 155 157 162 167 168 172 176 177 182 189 190 199 200 204 206 209 211 214 221 a 1 6 7 9 10 13 16 19 20 21 23 27 29 30 31 34 35 36 38 43 44 47 53 57 58 61 68 77 80 82 83 84 91 94 95 96 97 99 101 102 104 106 108 112 113 116 119 120 126 127 131 137 138 139 140 152 155 157 162 167 168 172 176 177 180 182 189 190 199 200 204 206 209 211 214 221 a 1 6 7 9 10 13 16 19 20 21 23 27 29 30 31 34 35 36 38 43 47 53 57 58 61 68 77 80 82 83 84 91 94 95 96 97 99 101 102 104 106 108 112 113 116 119 120 126 127 131 137 138 139 140 152 155 157 162 167 168 172 176 177 180 182 189 190 199 200 204 206 209 211 214 215 221 a 1 6 7 9 10 13 16 17 19 20 21 23 27 29 30 31 34 35 36 38 43 47 53 57 58 61 68 77 80 82 83 84 91 94 95 96 97 99 101 102 104 108 112 113 116 119 120 126 127 131 137 138 139 140 152 155 157 162 167 168 172 176 177 180 182 189 190 199 200 204 206 209 211 214 215 221 a 1 6 7 9 10 13 16 17 19 21 23 27 29 30 31 34 35 36 38 43 47 53 57 58 61 68 77 80 82 83 84 91 94 95 96 97 99 101 102 103 104 108 112 113 116 119 120 126 127 131 137 138 139 140 152 155 157 162 167 168 172 176 177 180 182 189 190 199 200 204 206 209 211 214 215 221 a 1 6 7 9 10 13 16 17 19 21 23 27 29 30 31 34 35 36 38 43 47 53 57 58 61 68 80 82 83 84 91 94 95 96 97 99 101 102 103 104 108 112 113 116 119 120 126 127 131 137 138 139 140 152 155 157 162 167 168 172 176 177 180 182 183 189 190 199 200 204 206 209 211 214 215 221 a 1 6 7 9 10 13 16 17 19 21 23 27 29 30 31 34 35 36 38 43 47 53 57 58 61 68 80 82 83 84 91 94 95 96 97 99 101 102 103 104 108 111 112 113 116 119 120 126 127 131 137 138 139 140 152 155 157 162 167 168 172 176 177 180 182 183 190 199 200 204 206 209 211 214 215 221 a 1 6 7 9 10 13 16 17 21 23 27 29 30 31 34 35 36 38 43 47 53 57 58 61 68 80 82 83 84 91 94 95 96 97 99 101 102 103 104 108 111 112 113 116 119 120 126 127 131 137 138 139 140 152 155 157 162 167 168 172 176 177 180 182 183 190 199 200 204 206 209 211 214 215 221 228 a 1 6 7 9 10 13 16 17 19 21 23 27 29 31 34 35 36 38 43 47 53 57 58 61 68 80 82 83 84 91 94 95 96 97 99 101 102 103 104 108 111 112 113 116 119 120 126 127 131 137 138 139 140 152 155 157 162 167 168 172 176 177 180 182 183 190 199 200 204 206 209 211 214 215 221 228 a 1 6 7 9 10 13 16 17 19 21 23 27 29 30 31 34 35 36 38 43 47 53 57 58 61 68 80 82 83 84 91 94 95 96 97 99 101 102 103 104 108 111 112 113 116 119 120 126 127 131 137 138 139 152 155 157 162 167 168 172 176 177 180 182 183 190 199 200 204 206 209 211 214 215 221 228 a 1 6 7 9 10 13 17 19 21 23 27 29 30 31 34 35 36 38 43 47 53 57 58 61 68 80 82 83 84 91 94 95 96 97 99 101 102 103 104 108 111 112 113 116 119 120 126 127 131 137 138 139 152 155 157 162 167 168 172 176 177 180 182 183 190 195 199 200 204 206 209 211 214 215 221 228 a 1 6 7 9 10 13 17 19 21 23 27 29 30 31 34 35 36 38 42 47 53 57 58 61 68 80 82 83 84 91 94 95 96 97 99 101 102 103 104 108 111 112 113 116 119 120 126 127 131 137 138 139 152 155 157 162 167 168 172 176 177 180 182 183 190 195 199 200 204 206 209 211 214 215 221 228 a 1 6 7 9 10 13 17 19 21 23 27 29 30 31 34 35 36 38 42 47 53 57 58 61 68 80 82 83 84 91 94 95 96 97 99 101 102 103 104 108 111 112 113 116 119 120 124 126 127 131 137 138 139 152 155 162 167 168 172 176 177 180 182 183 190 195 199 200 204 206 209 211 214 215 221 228 a 1 6 7 9 10 13 17 19 21 23 27 29 30 31 34 35 36 38 42 47 53 57 58 61 68 80 82 83 84 91 94 95 96 97 99 101 102 103 104 108 111 112 113 116 119 120 124 126 127 131 137 138 139 140 152 155 162 167 168 172 176 177 180 182 183 190 195 199 200 204 206 209 211 214 215 221 a 1 6 7 9 10 13 17 19 21 23 27 29 30 31 34 35 36 38 42 47 53 57 58 61 68 80 82 83 84 91 94 95 96 97 99 101 102 103 104 108 111 112 113 116 119 120 124 126 127 131 137 138 139 140 152 155 162 163 167 168 172 176 177 180 182 183 190 199 200 204 206 209 211 214 215 221 a 1 6 7 9 10 17 19 20 21 23 27 29 30 31 34 35 36 38 42 47 53 57 58 61 68 80 82 83 84 91 94 95 96 97 99 101 102 103 104 108 111 112 113 116 119 120 124 126 127 131 137 138 139 140 152 155 162 163 167 168 172 176 177 180 182 183 190 199 200 204 206 209 211 214 215 221 a 1 6 7 9 10 17 19 20 21 23 27 29 30 31 34 35 36 38 42 47 57 58 61 68 80 82 83 84 91 94 95 96 97 99 101 102 103 104 108 111 112 113 116 119 120 124 126 127 128 131 137 138 139 140 152 155 162 163 167 168 172 176 177 180 182 183 190 199 200 204 206 209 211 214 215 221 a 1 6 7 9 10 17 19 20 21 23 27 29 30 34 35 36 38 42 47 57 58 61 68 80 82 83 84 91 94 95 96 97 99 101 102 103 104 108 111 112 113 116 119 120 124 126 127 128 131 137 138 139 140 152 155 162 163 166 167 168 172 176 177 180 182 183 190 199 200 204 206 209 211 214 215 221 a 1 6 7 9 10 17 19 20 21 23 27 29 30 34 35 36 38 42 47 57 58 61 68 80 82 83 84 91 94 95 96 97 99 101 102 103 104 108 111 112 113 116 119 120 124 126 127 128 130 131 137 138 139 140 152 155 162 163 167 168 172 176 177 180 182 183 190 199 200 204 206 209 211 214 215 221 a 1 6 7 9 10 17 19 20 21 23 27 29 30 34 35 36 38 42 43 47 57 58 61 68 80 82 83 84 91 94 95 96 97 99 101 102 103 104 108 111 112 113 116 119 120 124 126 127 128 130 131 137 138 139 140 152 155 162 163 167 168 172 176 177 180 182 183 190 199 200 204 206 209 211 214 215 a 1 6 7 9 10 19 20 21 23 27 29 30 34 35 36 38 42 43 47 57 58 61 68 80 82 83 84 91 94 95 96 97 99 101 102 103 104 106 108 111 112 113 116 119 120 124 126 127 128 130 131 137 138 139 140 152 155 162 163 167 168 172 176 177 180 182 183 190 199 200 204 206 209 211 214 215 a 1 6 7 9 10 19 20 21 23 27 29 30 34 35 36 38 42 43 47 57 58 61 68 80 82 83 84 91 94 95 96 97 99 101 102 103 104 106 108 111 112 113 116 119 120 124 126 127 128 130 131 137 138 139 140 152 155 162 167 168 172 176 177 180 182 183 190 195 199 200 204 206 209 211 214 215 a 1 6 7 9 10 19 20 21 23 27 29 30 34 35 36 38 42 43 57 58 61 68 80 82 83 84 91 94 95 96 97 99 101 102 103 104 106 108 111 112 113 116 119 120 124 126 127 128 130 131 137 138 139 140 152 155 162 167 168 172 176 177 180 182 183 190 195 199 200 204 206 209 211 214 215 229 a 1 6 7 9 10 19 20 21 23 27 29 30 34 35 36 38 42 43 53 57 58 61 68 80 82 83 84 91 94 95 96 97 99 101 102 103 104 106 108 111 112 113 116 119 120 124 126 127 130 131 137 138 139 140 152 155 162 167 168 172 176 177 180 182 183 190 195 199 200 204 206 209 211 214 215 229 a 1 6 7 9 10 19 20 21 23 27 29 30 34 35 36 38 42 43 53 57 58 61 68 80 82 83 84 91 94 95 97 99 101 102 103 104 106 108 111 112 113 116 119 120 124 126 127 130 131 137 138 139 140 152 155 162 167 168 172 176 177 180 182 183 190 195 199 200 204 206 209 211 214 215 219 229 a 1 6 7 9 10 19 20 21 23 27 29 30 34 35 36 38 42 43 53 57 58 61 64 68 80 82 83 84 91 94 95 97 99 101 102 103 104 106 108 111 112 113 116 120 124 126 127 130 131 137 138 139 140 152 155 162 167 168 172 176 177 180 182 183 190 195 199 200 204 206 209 211 214 215 219 229 a 1 6 9 10 19 20 21 23 27 29 30 34 35 36 38 42 43 53 57 58 61 64 68 80 82 83 84 91 94 95 97 99 101 102 103 104 106 108 111 112 113 116 120 124 126 127 130 131 137 138 139 140 152 155 162 167 168 172 176 177 180 182 183 190 195 199 200 204 206 209 210 211 214 215 219 229 a 1 6 9 10 19 20 21 23 27 29 30 34 35 36 38 42 43 53 57 58 61 64 68 80 82 83 84 91 94 95 97 99 101 102 103 104 106 108 111 112 113 116 120 124 126 127 130 131 137 138 139 140 152 155 162 167 168 172 176 177 180 182 183 190 195 199 200 204 206 210 211 214 215 219 229 232 a 1 6 9 10 19 20 21 23 27 29 30 34 35 36 38 42 43 53 57 58 61 64 68 80 82 83 84 91 94 95 97 99 101 102 103 104 106 108 111 112 113 116 120 124 126 127 130 131 137 138 139 140 152 155 162 168 172 176 177 180 182 183 190 195 199 200 204 206 208 210 211 214 215 219 229 232 a 1 6 9 10 19 20 23 27 29 30 34 35 36 38 42 43 53 57 58 61 64 68 80 82 83 84 91 94 95 97 99 101 102 103 104 106 108 111 112 113 116 120 124 126 127 130 131 137 138 139 140 152 155 162 168 172 176 177 180 182 183 190 195 199 200 204 206 208 210 211 214 215 218 219 229 232 a 1 6 9 10 19 20 23 27 29 30 34 35 36 38 42 43 44 53 57 58 61 64 68 80 82 83 84 91 94 95 97 99 101 102 103 104 106 108 111 112 113 116 120 124 126 127 130 131 137 138 139 140 152 155 162 168 172 176 177 180 182 183 190 195 199 200 204 206 208 210 211 214 218 219 229 232 a 1 6 9 10 19 20 23 27 29 30 34 35 36 38 42 43 44 53 57 58 61 64 68 80 82 83 84 94 95 97 99 101 102 103 104 106 108 111 112 113 116 120 124 126 127 130 131 137 138 139 140 152 155 162 168 172 176 177 180 182 183 185 190 195 199 200 204 206 208 210 211 214 218 219 229 232 a 1 6 9 10 19 20 23 27 29 30 34 35 36 38 42 43 44 53 57 58 61 64 68 80 82 83 84 94 95 97 99 101 102 103 104 106 108 111 112 113 116 120 124 126 127 130 131 137 139 140 152 155 162 168 172 176 177 179 180 182 183 185 190 195 199 200 204 206 208 210 211 214 218 219 229 232 a 1 6 9 10 19 20 23 27 29 30 33 34 35 36 38 42 43 44 53 57 58 61 64 68 80 82 83 94 95 97 99 101 102 103 104 106 108 111 112 113 116 120 124 126 127 130 131 137 139 140 152 155 162 168 172 176 177 179 180 182 183 185 190 195 199 200 204 206 208 210 211 214 218 219 229 232 a 1 6 9 10 19 20 23 27 29 30 33 34 35 36 38 42 43 44 53 57 58 61 64 68 80 81 82 83 94 97 99 101 102 103 104 106 108 111 112 113 116 120 124 126 127 130 131 137 139 140 152 155 162 168 172 176 177 179 180 182 183 185 190 195 199 200 204 206 208 210 211 214 218 219 229 232 a 1 6 9 10 15 19 23 27 29 30 33 34 35 36 38 42 43 44 53 57 58 61 64 68 80 81 82 83 94 97 99 101 102 103 104 106 108 111 112 113 116 120 124 126 127 130 131 137 139 140 152 155 162 168 172 176 177 179 180 182 183 185 190 195 199 200 204 206 208 210 211 214 218 219 229 232 a 1 6 9 10 15 19 23 27 29 30 33 34 35 36 38 42 43 44 45 53 57 61 64 68 80 81 82 83 94 97 99 101 102 103 104 106 108 111 112 113 116 120 124 126 127 130 131 137 139 140 152 155 162 168 172 176 177 179 180 182 183 185 190 195 199 200 204 206 208 210 211 214 218 219 229 232 a 1 6 9 10 15 19 23 27 29 30 33 34 35 36 38 42 43 44 45 53 57 61 64 68 80 81 82 83 87 94 97 99 101 102 103 104 106 108 111 112 113 116 120 124 126 127 130 131 137 139 140 152 155 162 172 176 177 179 180 182 183 185 190 195 199 200 204 206 208 210 211 214 218 219 229 232 a 1 6 9 10 14 15 19 23 27 29 30 33 34 35 36 38 42 43 44 45 57 61 64 68 80 81 82 83 87 94 97 99 101 102 103 104 106 108 111 112 113 116 120 124 126 127 130 131 137 139 140 152 155 162 172 176 177 179 180 182 183 185 190 195 199 200 204 206 208 210 211 214 218 219 229 232 a 1 6 9 10 14 15 19 23 27 29 33 34 35 36 38 42 43 44 45 57 61 64 68 80 81 82 83 87 94 97 99 101 102 103 104 106 108 111 112 113 116 120 124 126 127 130 131 137 139 140 149 152 155 162 172 176 177 179 180 182 183 185 190 195 199 200 204 206 208 210 211 214 218 219 229 232 a 1 6 9 10 14 15 19 23 27 33 34 35 36 38 42 43 44 45 57 61 64 66 68 80 81 82 83 87 94 97 99 101 102 103 104 106 108 111 112 113 116 120 124 126 127 130 131 137 139 140 149 152 155 162 172 176 177 179 180 182 183 185 190 195 199 200 204 206 208 210 211 214 218 219 229 232 a 1 6 9 10 14 15 19 23 27 33 34 35 36 42 43 44 45 57 61 64 66 68 80 81 82 83 87 94 97 99 101 102 103 104 106 108 111 112 113 116 120 124 126 127 130 131 137 139 140 146 149 152 155 162 172 176 177 179 180 182 183 185 190 195 199 200 204 206 208 210 211 214 218 219 229 232 a 1 6 9 10 14 15 19 23 27 33 34 35 36 42 43 44 45 57 61 64 66 68 80 81 82 83 87 94 97 99 101 102 103 104 106 108 111 112 113 116 120 124 126 127 130 131 137 139 140 146 149 152 155 162 172 176 177 179 180 182 183 185 188 190 195 200 204 206 208 210 211 214 218 219 229 232 a 1 6 9 10 14 15 19 23 27 33 34 35 36 42 43 44 45 57 61 64 66 68 80 81 82 83 87 94 97 99 101 102 103 104 106 111 112 113 116 120 124 126 127 130 131 137 139 140 146 149 152 155 162 172 176 177 179 180 182 183 185 188 190 193 195 200 204 206 208 210 211 214 218 219 229 232 a 1 6 9 10 14 15 23 27 33 34 35 36 37 42 43 44 45 57 61 64 66 68 80 81 82 83 87 94 97 99 101 102 103 104 106 111 112 113 116 120 124 126 127 130 131 137 139 140 146 149 152 155 162 172 176 177 179 180 182 183 185 188 190 193 195 200 204 206 208 210 211 214 218 219 229 232 a 1 6 9 10 14 15 23 27 33 34 35 36 37 42 43 44 45 55 57 61 64 66 68 80 81 82 83 87 94 97 99 101 102 103 104 106 111 112 113 116 120 124 126 127 130 131 137 139 140 146 149 152 155 162 172 176 177 179 180 182 183 185 188 190 193 195 204 206 208 210 211 214 218 219 229 232 a 1 6 9 10 14 15 23 27 33 34 35 36 37 42 43 44 45 55 57 61 64 66 68 80 81 82 83 87 94 97 99 101 102 103 106 111 112 113 115 116 120 124 126 127 130 131 137 139 140 146 149 152 155 162 172 176 177 179 180 182 183 185 188 190 193 195 204 206 208 210 211 214 218 219 229 232 a 1 6 9 10 14 15 23 27 33 34 35 36 37 42 43 44 45 55 57 61 64 65 66 68 80 81 82 83 87 94 97 99 101 102 103 111 112 113 115 116 120 124 126 127 130 131 137 139 140 146 149 152 155 162 172 176 177 179 180 182 183 185 188 190 193 195 204 206 208 210 211 214 218 219 229 232 a 1 6 9 10 14 15 23 27 33 34 35 36 37 42 43 44 45 55 57 61 64 65 66 68 80 81 82 83 87 94 97 99 101 102 103 112 113 115 116 120 124 126 127 130 131 137 139 140 146 149 152 155 162 172 176 177 179 180 182 183 185 188 189 190 193 195 204 206 208 210 211 214 218 219 229 232 a 1 6 9 10 14 15 23 27 33 34 35 36 37 42 43 44 45 55 57 61 64 65 66 68 80 81 82 83 87 94 97 99 101 102 103 112 113 115 116 120 124 126 127 130 131 137 139 140 146 149 152 155 162 172 176 177 179 180 182 183 185 186 188 189 190 193 195 204 206 208 210 214 218 219 229 232 a 1 6 9 10 14 15 23 27 33 35 36 37 42 43 44 45 55 57 61 64 65 66 68 80 81 82 83 87 88 94 97 99 101 102 103 112 113 115 116 120 124 126 127 130 131 137 139 140 146 149 152 155 162 172 176 177 179 180 182 183 185 186 188 189 190 193 195 204 206 208 210 214 218 219 229 232 a 1 6 9 10 11 14 15 23 27 33 35 36 37 42 44 45 55 57 61 64 65 66 68 80 81 82 83 87 88 94 97 99 101 102 103 112 113 115 116 120 124 126 127 130 131 137 139 140 146 149 152 155 162 172 176 177 179 180 182 183 185 186 188 189 190 193 195 204 206 208 210 214 218 219 229 232 a 1 6 9 10 11 14 15 23 27 33 35 36 37 42 44 45 55 57 61 64 65 66 68 80 81 82 83 87 88 94 97 99 101 102 103 109 112 113 115 116 120 124 126 127 130 131 137 140 146 149 152 155 162 172 176 177 179 180 182 183 185 186 188 189 190 193 195 204 206 208 210 214 218 219 229 232 a 1 6 9 10 11 14 15 23 27 33 35 36 37 42 44 45 55 57 61 64 65 66 68 80 81 82 83 87 88 94 97 99 101 102 103 109 112 113 115 116 120 124 126 127 131 137 140 146 149 152 155 162 166 172 176 177 179 180 182 183 185 186 188 189 190 193 195 204 206 208 210 214 218 219 229 232 a 1 6 9 10 11 14 15 23 27 33 35 36 37 42 44 45 55 57 61 64 65 66 68 80 81 82 83 87 88 94 97 99 100 101 102 103 109 112 113 115 116 120 124 126 127 131 137 140 146 149 152 155 162 166 176 177 179 180 182 183 185 186 188 189 190 193 195 204 206 208 210 214 218 219 229 232 a 1 6 9 10 11 14 15 23 27 33 35 36 37 42 44 45 55 57 61 64 65 66 68 80 81 82 83 87 88 94 97 99 100 101 102 103 109 112 113 115 116 120 124 126 127 131 137 140 146 149 152 155 162 166 176 177 179 180 182 183 185 186 188 189 190 193 204 206 208 210 214 218 219 227 229 232 a 1 6 9 10 11 14 15 23 27 33 35 36 37 42 44 45 55 57 61 64 65 66 68 80 81 82 83 87 88 94 97 99 100 101 102 103 109 112 113 115 116 120 126 127 131 137 140 146 149 152 155 162 166 176 177 179 180 181 182 183 185 186 188 189 190 193 204 206 208 210 214 218 219 227 229 232 a 1 6 9 10 11 14 15 23 27 33 35 36 37 42 44 45 55 57 61 64 65 66 68 80 81 82 83 87 88 94 97 99 100 101 102 103 109 112 113 115 120 126 127 131 137 140 146 149 152 155 162 166 176 177 179 180 181 182 183 185 186 188 189 190 193 202 204 206 208 210 214 218 219 227 229 232 a 1 6 9 10 11 14 15 18 23 27 33 35 36 37 42 44 45 55 57 61 64 65 66 68 80 81 82 83 87 88 94 97 100 101 102 103 109 112 113 115 120 126 127 131 137 140 146 149 152 155 162 166 176 177 179 180 181 182 183 185 186 188 189 190 193 202 204 206 208 210 214 218 219 227 229 232 a 6 9 10 11 14 15 18 22 23 27 33 35 36 37 42 44 45 55 57 61 64 65 66 68 80 81 82 83 87 88 94 97 100 101 102 103 109 112 113 115 120 126 127 131 137 140 146 149 152 155 162 166 176 177 179 180 181 182 183 185 186 188 189 190 193 202 204 206 208 210 214 218 219 227 229 232 a 6 9 10 11 14 15 18 22 23 27 33 35 36 37 42 44 45 55 57 59 61 64 65 66 68 80 81 82 83 87 88 94 97 100 101 102 103 109 112 113 115 120 126 127 131 137 140 146 149 155 162 166 176 177 179 180 181 182 183 185 186 188 189 190 193 202 204 206 208 210 214 218 219 227 229 232 a 6 9 10 11 14 15 18 22 23 27 33 35 36 37 42 44 45 55 57 59 61 64 65 66 68 80 81 82 83 87 88 94 97 100 101 102 103 109 112 113 115 120 126 127 131 137 140 146 149 155 162 166 169 176 177 179 180 181 182 183 185 186 188 189 190 193 202 204 206 208 210 214 218 227 229 232 a 6 9 10 11 14 15 18 22 23 27 33 35 36 37 42 44 45 55 57 59 61 64 65 66 68 80 81 82 83 87 88 94 97 100 101 102 103 109 112 113 115 118 120 126 127 137 140 146 149 155 162 166 169 176 177 179 180 181 182 183 185 186 188 189 190 193 202 204 206 208 210 214 218 227 229 232 a 6 9 10 11 14 15 18 22 23 27 33 35 36 37 44 45 55 57 59 61 64 65 66 68 80 81 82 83 87 88 90 94 97 100 101 102 103 109 112 113 115 118 120 126 127 137 140 146 149 155 162 166 169 176 177 179 180 181 182 183 185 186 188 189 190 193 202 204 206 208 210 214 218 227 229 232 a 6 9 10 11 14 15 18 22 23 27 33 35 36 37 44 45 49 55 57 59 61 64 65 66 68 80 81 82 83 87 88 90 94 97 100 101 102 103 109 112 113 115 118 120 126 127 137 140 146 149 155 162 166 169 176 177 179 180 181 182 183 185 186 188 189 190 193 202 204 206 208 210 218 227 229 232 a 6 9 10 11 14 15 18 22 23 27 33 35 36 37 40 44 45 49 55 57 59 61 64 65 66 68 80 81 82 83 87 88 90 94 97 100 101 102 103 109 112 113 115 118 120 126 127 137 140 146 149 155 166 169 176 177 179 180 181 182 183 185 186 188 189 190 193 202 204 206 208 210 218 227 229 232 a 4 6 9 10 11 14 15 18 22 23 27 33 35 36 37 40 44 45 49 55 57 59 61 64 65 66 68 80 81 82 83 87 88 90 94 97 100 102 103 109 112 113 115 118 120 126 127 137 140 146 149 155 166 169 176 177 179 180 181 182 183 185 186 188 189 190 193 202 204 206 208 210 218 227 229 232 a 4 6 9 10 11 14 15 18 22 23 27 33 36 37 40 44 45 49 55 57 59 61 64 65 66 68 80 81 82 83 87 88 90 94 97 100 102 103 109 112 113 115 118 120 126 127 137 140 146 149 155 166 169 170 176 177 179 180 181 182 183 185 186 188 189 190 193 202 204 206 208 210 218 227 229 232 a 4 6 9 10 11 14 15 18 22 23 27 33 36 37 40 44 45 49 55 57 59 61 64 65 66 68 80 81 82 83 87 88 90 94 97 100 102 103 109 112 113 115 118 120 127 137 140 146 149 155 166 169 170 176 177 179 180 181 182 183 185 186 188 189 190 193 202 204 206 208 210 218 227 229 232 233 a 4 6 9 10 11 14 15 18 22 23 26 27 33 36 37 40 44 45 49 55 57 59 61 64 65 66 68 80 81 83 87 88 90 94 97 100 102 103 109 112 113 115 118 120 127 137 140 146 149 155 166 169 170 176 177 179 180 181 182 183 185 186 188 189 190 193 202 204 206 208 210 218 227 229 232 233 a 4 6 9 10 11 14 15 18 22 23 26 27 33 36 37 40 44 45 49 55 57 59 61 64 65 66 68 72 80 81 83 87 88 90 94 97 100 102 103 109 112 113 115 118 120 127 137 146 149 155 166 169 170 176 177 179 180 181 182 183 185 186 188 189 190 193 202 204 206 208 210 218 227 229 232 233 c Step: 199 #END: [Tue Sep 5 08:53:51 2023]