#BEGIN: [Tue Sep 26 08:05:46 2023] #HOST: s07 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: longest-wallclock-banbaralab-longest2 #INSTANCE1: /benchmark/random_instance/random_instance018_graph002.col #INSTANCE2: /benchmark/random_instance/random_instance018_graph002_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_graph002.col /benchmark/random_instance/random_instance018_graph002_01.dat c /benchmark/random_instance/random_instance018_graph002.col c /benchmark/random_instance/random_instance018_graph002_01.dat TIMEOUT 1800 c send SIGTERM to CID d369dd39d57fe13b245288c358a06f1e376a367e17d76822333b72b002543d07 s 199 178 90 45 183 26 52 222 113 91 106 111 60 145 56 68 234 46 192 43 128 85 170 59 19 165 89 119 131 104 110 122 157 65 75 20 132 28 10 44 77 154 190 159 30 177 4 155 72 207 179 31 174 37 136 98 200 167 193 163 218 142 114 162 23 79 95 41 67 208 152 151 76 138 15 195 87 121 t 63 225 140 60 181 131 215 208 128 187 143 56 66 24 153 177 135 144 88 193 152 229 30 21 23 222 121 230 173 113 164 7 17 167 36 125 150 48 95 154 106 194 67 122 195 217 151 46 98 110 12 158 85 223 15 171 120 157 78 90 72 119 92 52 138 64 59 29 207 174 37 114 74 200 49 6 136 45 a YES a 4 10 15 19 20 23 26 28 30 31 37 41 43 44 45 46 52 56 59 60 65 67 68 72 75 76 77 79 85 87 89 90 91 95 98 104 106 110 111 113 114 119 121 122 128 131 132 136 138 142 145 151 152 154 155 157 159 162 163 165 167 170 174 177 178 179 183 190 192 193 195 199 200 207 208 218 222 234 a 4 10 15 19 20 23 26 28 30 31 37 43 44 45 46 52 56 59 60 63 65 67 68 72 75 76 77 79 85 87 89 90 91 95 98 104 106 110 111 113 114 119 121 122 128 131 132 136 138 142 145 151 152 154 155 157 159 162 163 165 167 170 174 177 178 179 183 190 192 193 195 199 200 207 208 218 222 234 a 1 4 10 15 19 20 23 26 28 30 31 37 43 44 45 46 52 56 59 60 63 65 67 68 75 76 77 79 85 87 89 90 91 95 98 104 106 110 111 113 114 119 121 122 128 131 132 136 138 142 145 151 152 154 155 157 159 162 163 165 167 170 174 177 178 179 183 190 192 193 195 199 200 207 208 218 222 234 a 1 4 10 15 19 20 23 26 28 30 31 37 43 44 45 46 52 56 59 60 63 65 67 68 75 76 77 79 85 87 89 90 91 98 104 106 110 111 113 114 119 121 122 128 130 131 132 136 138 142 145 151 152 154 155 157 159 162 163 165 167 170 174 177 178 179 183 190 192 193 195 199 200 207 208 218 222 234 a 4 10 15 19 20 23 26 28 30 31 37 43 44 45 46 52 56 59 60 63 65 67 68 72 75 76 77 79 85 87 89 90 91 98 104 106 110 111 113 114 119 121 122 128 130 131 132 136 138 142 145 151 152 154 155 157 159 162 163 165 167 170 174 177 178 179 183 190 192 193 195 199 200 207 208 218 222 234 a 4 7 10 15 19 20 23 26 28 30 31 37 43 44 45 46 52 56 59 60 63 65 67 68 72 75 76 77 79 85 87 89 90 91 98 104 106 110 111 113 114 119 121 122 128 130 131 132 136 138 142 145 151 152 154 155 157 159 162 163 165 167 170 174 177 178 179 190 192 193 195 199 200 207 208 218 222 234 a 2 4 7 10 15 19 20 23 26 28 30 31 37 43 44 45 46 52 56 59 60 63 65 68 72 75 76 77 79 85 87 89 90 91 98 104 106 110 111 113 114 119 121 122 128 130 131 132 136 138 142 145 151 152 154 155 157 159 162 163 165 167 170 174 177 178 179 190 192 193 195 199 200 207 208 218 222 234 a 2 4 7 10 15 19 20 23 26 28 30 31 37 43 44 45 46 52 56 59 60 63 65 68 72 75 76 77 79 85 87 89 90 98 104 106 110 111 113 114 119 121 122 128 130 131 132 136 138 142 145 151 152 154 155 157 159 162 163 165 167 170 174 177 178 179 190 192 193 195 199 200 207 208 218 222 227 234 a 4 7 10 15 19 20 23 26 28 30 31 37 43 44 45 46 52 56 59 60 63 65 67 68 72 75 76 77 79 85 87 89 90 98 104 106 110 111 113 114 119 121 122 128 130 131 132 136 138 142 145 151 152 154 155 157 159 162 163 165 167 170 174 177 178 179 190 192 193 195 199 200 207 208 218 222 227 234 a 4 7 10 15 19 20 23 26 28 30 31 37 43 44 45 46 52 56 59 60 63 65 67 68 72 75 76 77 79 85 87 89 90 98 104 106 110 111 113 114 119 121 122 128 130 131 132 136 138 142 145 151 152 154 155 157 159 162 163 164 165 167 170 177 178 179 190 192 193 195 199 200 207 208 218 222 227 234 a 4 7 10 15 20 23 26 28 30 31 37 43 44 45 46 52 56 59 60 63 65 67 68 72 75 76 77 79 85 87 89 90 98 104 106 110 111 113 114 119 121 122 128 130 131 132 136 138 142 145 151 152 154 155 157 159 162 163 164 165 167 170 177 178 179 190 192 193 195 199 200 207 208 217 218 222 227 234 a 2 4 7 10 15 20 23 26 28 30 31 37 43 44 45 46 52 56 59 60 63 65 68 72 75 76 77 79 85 87 89 90 98 104 106 110 111 113 114 119 121 122 128 130 131 132 136 138 142 145 151 152 154 155 157 159 162 163 164 165 167 170 177 178 179 190 192 193 195 199 200 207 208 217 218 222 227 234 a 2 4 7 10 15 19 20 23 26 28 30 31 37 43 44 45 46 52 56 59 60 63 65 68 72 75 76 77 79 85 87 89 90 98 104 106 110 113 114 119 121 122 128 130 131 132 136 138 142 145 151 152 154 155 157 159 162 163 164 165 167 170 177 178 179 190 192 193 195 199 200 207 208 217 218 222 227 234 a 2 4 7 10 15 19 20 23 25 26 28 30 31 37 43 44 45 46 52 56 59 60 63 65 68 72 75 76 77 79 85 87 89 90 98 104 106 110 113 114 119 121 122 128 130 131 132 136 138 142 145 151 152 154 155 157 159 162 163 164 165 167 170 178 179 190 192 193 195 199 200 207 208 217 218 222 227 234 a 2 4 7 10 15 19 20 23 25 26 28 30 31 37 43 44 45 46 52 56 59 60 63 65 68 72 75 76 77 79 85 87 89 90 98 104 106 110 113 114 119 121 122 128 130 131 132 136 138 142 145 151 152 154 155 157 159 162 163 164 165 167 170 178 179 190 192 193 195 199 200 207 208 211 217 218 222 227 a 2 4 7 10 15 19 20 23 25 26 28 30 31 37 43 44 45 46 52 56 59 60 63 65 68 72 75 76 77 79 85 87 89 90 98 104 106 110 111 113 114 119 121 122 128 130 131 132 136 138 142 145 151 152 154 155 157 159 162 163 164 165 167 170 178 179 190 192 193 195 199 200 207 208 211 217 218 222 a 2 4 7 10 15 19 20 23 25 26 28 30 31 37 43 44 45 46 52 56 59 60 63 65 68 72 75 76 77 79 85 87 89 90 98 104 106 110 111 113 114 119 121 122 128 130 131 132 136 138 142 145 151 152 154 155 157 159 162 163 164 165 167 170 178 179 190 192 193 195 199 200 208 211 217 218 222 227 a 2 4 7 10 15 19 20 23 25 26 28 30 31 37 43 44 45 46 52 56 59 60 63 65 68 72 75 76 77 79 85 87 89 90 98 104 106 110 111 113 114 119 121 122 128 130 131 132 136 138 142 145 151 152 154 155 157 159 162 163 164 165 167 170 178 179 190 192 193 195 199 200 208 211 217 218 222 234 a 2 4 7 10 15 19 20 23 25 26 28 30 31 37 43 44 45 46 52 56 59 60 63 65 68 72 75 76 77 79 85 87 89 90 98 106 110 111 113 114 119 121 122 128 130 131 132 136 138 142 145 151 152 154 155 157 159 162 163 164 165 167 170 174 178 179 190 192 193 195 199 200 208 211 217 218 222 234 a 2 4 7 10 15 19 20 23 25 26 28 30 31 37 43 44 45 46 52 56 59 60 63 65 68 72 75 76 77 79 85 87 89 90 98 106 110 111 113 114 119 121 122 128 130 131 132 136 138 142 145 151 152 154 155 157 159 162 163 164 165 167 170 174 178 179 190 192 193 195 199 200 211 215 217 218 222 234 a 2 4 7 10 15 19 20 23 25 26 28 30 31 37 43 44 45 46 52 56 59 60 63 65 68 72 75 76 77 79 85 87 89 90 98 106 110 111 113 114 119 121 122 128 130 131 132 136 142 145 151 152 154 155 157 159 162 163 164 165 167 170 174 178 179 190 192 193 195 199 200 211 215 217 218 222 227 234 a 2 4 7 10 15 19 23 25 26 28 30 31 37 43 44 45 46 52 56 59 60 63 65 68 72 75 76 77 79 85 87 89 90 98 106 110 111 113 114 119 121 122 128 130 131 132 136 138 142 145 151 152 154 155 157 159 162 163 164 165 167 170 174 178 179 190 192 193 195 199 200 211 215 217 218 222 227 234 a 2 4 7 10 15 19 23 25 26 28 30 31 37 43 44 45 46 52 56 59 60 63 65 68 72 75 76 77 79 85 87 89 90 98 106 110 111 113 114 119 121 122 128 130 131 132 136 138 142 145 151 152 154 155 157 159 162 163 164 165 167 170 174 178 179 190 192 193 195 199 200 208 211 215 217 218 222 227 a 2 4 7 10 15 19 20 23 25 26 28 30 31 37 43 44 45 46 52 56 60 63 65 68 72 75 76 77 79 85 87 89 90 98 106 110 111 113 114 119 121 122 128 130 131 132 136 138 142 145 151 152 154 155 157 159 162 163 164 165 167 170 174 178 179 190 192 193 195 199 200 208 211 215 217 218 222 227 a 2 4 7 10 15 19 20 23 25 26 28 30 31 37 43 44 45 46 52 56 60 63 65 68 72 75 76 77 79 85 87 89 90 98 106 110 111 113 114 119 121 122 128 130 131 132 136 138 142 145 146 151 152 154 155 157 159 162 163 164 165 167 170 174 178 179 190 192 193 195 199 208 211 215 217 218 222 227 a 2 4 7 10 15 19 20 23 25 26 28 30 31 37 43 44 45 46 52 56 59 60 63 65 68 72 75 76 77 79 85 87 89 90 98 106 110 111 113 114 119 121 122 128 130 131 132 136 138 142 145 146 151 152 154 155 157 159 162 163 164 165 167 170 174 178 179 190 192 193 195 199 211 215 217 218 222 227 a 2 4 7 10 15 19 20 23 25 26 28 30 31 33 37 43 44 45 46 52 56 59 60 63 65 68 72 75 76 77 79 85 87 89 90 98 106 110 113 114 119 121 122 128 130 131 132 136 138 142 145 146 151 152 154 155 157 159 162 163 164 165 167 170 174 178 179 190 192 193 195 199 211 215 217 218 222 227 a 2 4 7 10 15 19 20 23 25 26 28 30 31 33 37 43 44 45 46 52 56 59 60 63 65 68 72 75 76 77 79 85 87 89 90 98 106 110 113 114 119 121 122 128 130 131 132 136 138 142 145 146 151 152 154 155 157 159 162 163 164 165 167 170 174 179 187 190 192 193 195 199 211 215 217 218 222 227 a 2 4 7 10 15 19 20 23 25 26 28 30 31 33 37 43 44 45 46 52 56 59 63 65 68 70 72 75 76 77 79 85 87 89 90 98 106 110 113 114 119 121 122 128 130 131 132 136 138 142 145 146 151 152 154 155 157 159 162 163 164 165 167 170 174 179 187 190 192 193 195 199 211 215 217 218 222 227 a 2 4 7 10 15 19 20 23 25 26 28 30 31 33 37 43 44 45 46 52 56 59 63 64 65 68 70 72 75 76 77 79 85 87 89 90 98 106 110 113 114 119 121 122 128 130 131 132 136 138 145 146 151 152 154 155 157 159 162 163 164 165 167 170 174 179 187 190 192 193 195 199 211 215 217 218 222 227 a 2 4 7 10 15 19 20 23 25 26 28 30 31 33 37 43 44 45 46 52 56 59 60 63 64 65 68 72 75 76 77 79 85 87 89 90 98 106 110 113 114 119 121 122 128 130 131 132 136 138 145 146 151 152 154 155 157 159 162 163 164 165 167 170 174 179 187 190 192 193 195 199 211 215 217 218 222 227 a 2 4 7 10 15 19 20 23 25 26 28 30 31 33 37 43 44 45 46 52 56 59 60 63 64 65 68 72 75 76 77 79 85 89 90 98 106 110 113 114 119 121 122 128 130 131 132 136 138 145 146 150 151 152 154 155 157 159 162 163 164 165 167 170 174 179 187 190 192 193 195 199 211 215 217 218 222 227 a 2 4 7 10 15 19 20 23 25 26 28 30 31 33 37 43 44 45 46 52 56 59 60 63 64 65 68 72 75 76 77 79 85 89 90 98 106 110 113 114 119 121 128 130 131 132 136 138 145 146 150 151 152 154 155 157 159 162 163 164 165 167 170 174 179 180 187 190 192 193 195 199 211 215 217 218 222 227 a 2 4 7 10 15 19 20 23 25 26 28 30 31 33 37 43 44 45 46 52 56 59 60 63 64 65 68 72 75 76 77 79 85 89 90 98 106 110 113 114 119 121 128 130 131 132 136 138 145 146 150 151 152 154 155 157 159 162 163 164 165 167 170 174 180 187 190 192 193 195 199 211 215 217 218 222 227 228 a 2 4 10 15 19 20 23 25 26 28 30 31 33 37 43 44 45 46 52 56 59 60 63 64 65 68 72 75 76 77 79 84 85 89 90 98 106 110 113 114 119 121 128 130 131 132 136 138 145 146 150 151 152 154 155 157 159 162 163 164 165 167 170 174 180 187 190 192 193 195 199 211 215 217 218 222 227 228 a 2 4 10 15 19 20 23 25 26 28 30 31 33 37 43 44 45 46 52 56 59 63 64 65 68 70 72 75 76 77 79 84 85 89 90 98 106 110 113 114 119 121 128 130 131 132 136 138 145 146 150 151 152 154 155 157 159 162 163 164 165 167 170 174 180 187 190 192 193 195 199 211 215 217 218 222 227 228 a 2 4 10 15 19 20 23 25 26 28 30 31 33 37 43 44 45 46 52 56 59 63 64 65 68 70 72 75 76 77 79 84 85 87 89 90 98 106 110 113 114 119 121 128 130 131 132 136 138 145 146 151 152 154 155 157 159 162 163 164 165 167 170 174 180 187 190 192 193 195 199 211 215 217 218 222 227 228 a 2 4 10 15 19 20 23 25 26 28 30 31 37 43 44 45 46 52 56 59 63 64 65 68 70 72 75 76 77 79 84 85 87 89 90 98 106 110 113 114 119 121 128 130 131 132 136 138 145 146 151 152 154 155 157 159 162 163 164 165 167 170 174 180 182 187 190 192 193 195 199 211 215 217 218 222 227 228 a 2 4 10 15 19 20 23 25 26 28 30 31 37 43 44 45 46 52 56 59 63 64 65 68 70 72 75 76 77 79 84 85 87 89 90 98 106 110 113 114 119 121 128 130 131 132 136 138 145 146 151 152 154 155 157 159 162 163 164 165 167 170 174 180 182 187 192 193 195 199 211 215 217 218 222 223 227 228 a 2 4 10 15 19 20 23 25 26 28 30 31 37 43 44 45 46 52 56 59 63 64 65 68 70 72 75 76 77 79 84 85 89 90 98 106 110 113 114 119 121 128 130 131 132 136 138 145 146 150 151 152 154 155 157 159 162 163 164 165 167 170 174 180 182 187 192 193 195 199 211 215 217 218 222 223 227 228 a 2 4 10 15 19 20 23 25 26 28 30 31 37 43 44 45 46 52 59 63 64 65 68 70 71 72 75 76 77 79 84 85 89 90 98 106 110 113 114 119 121 128 130 131 132 136 138 145 146 150 151 152 154 155 157 159 162 163 164 165 167 170 174 180 182 187 192 193 195 199 211 215 217 218 222 223 227 228 a 2 4 10 15 19 20 23 25 26 28 30 31 37 43 44 45 46 52 59 63 64 65 68 70 71 72 75 76 77 79 84 85 89 90 98 106 110 113 114 119 121 128 130 131 132 136 138 145 146 151 152 154 155 157 159 162 163 164 165 167 170 174 180 182 187 192 193 195 199 202 211 215 217 218 222 223 227 228 a 2 4 10 15 19 20 23 26 28 30 31 37 43 44 45 46 52 59 63 64 65 68 70 71 72 75 76 77 79 84 85 89 90 98 106 110 113 114 119 121 128 130 131 132 136 138 145 146 151 152 154 155 157 159 162 163 164 165 167 170 174 177 180 182 187 192 193 195 199 202 211 215 217 218 222 223 227 228 a 2 4 10 15 19 20 23 26 28 30 31 37 43 44 45 46 52 59 63 64 65 68 70 71 72 75 76 77 79 84 85 89 90 98 106 110 111 113 114 119 121 128 130 131 132 136 138 145 146 151 152 154 155 157 159 162 163 164 165 167 170 174 177 180 182 192 193 195 199 202 211 215 217 218 222 223 227 228 a 2 4 10 15 19 20 23 26 30 31 37 43 44 45 46 52 59 63 64 65 68 70 71 72 75 76 77 79 84 85 89 90 98 106 110 111 113 114 119 121 128 130 131 132 136 138 145 146 151 152 154 155 157 159 162 163 164 165 167 170 174 177 180 182 192 193 195 199 202 211 215 217 218 220 222 223 227 228 a 2 4 10 15 19 20 23 26 30 31 37 43 44 45 46 52 59 63 64 65 68 70 71 72 75 76 77 79 84 85 89 90 98 106 110 111 113 114 119 121 128 130 131 136 138 145 146 151 152 154 155 157 159 162 163 164 165 167 170 174 177 180 182 192 193 195 199 202 211 215 217 218 219 220 222 223 227 228 a 2 4 10 15 19 20 23 26 30 31 37 43 44 45 46 52 59 63 64 65 68 70 71 72 75 76 77 79 84 85 89 90 98 106 110 111 113 114 119 121 128 130 131 136 138 145 146 151 152 154 155 157 159 162 163 164 165 167 170 174 177 178 180 182 192 193 195 199 202 211 215 217 218 219 220 222 223 227 a 2 4 10 15 19 20 23 26 30 31 37 43 44 45 46 52 59 63 64 65 68 70 71 72 75 76 77 79 84 85 89 90 98 106 110 111 113 114 119 121 128 130 131 132 136 138 145 146 151 152 154 155 157 159 162 163 164 165 167 170 174 177 178 180 182 192 193 195 199 202 211 215 217 218 220 222 223 227 a 2 4 10 15 19 20 23 26 30 31 37 43 44 45 46 52 56 59 63 64 65 68 70 72 75 76 77 79 84 85 89 90 98 106 110 111 113 114 119 121 128 130 131 132 136 138 145 146 151 152 154 155 157 159 162 163 164 165 167 170 174 177 178 180 182 192 193 195 199 202 211 215 217 218 220 222 223 227 a 2 4 10 15 19 20 21 23 26 30 31 37 43 44 45 46 52 56 59 63 64 65 68 70 72 75 76 77 79 84 85 89 90 98 106 110 113 114 119 121 128 130 131 132 136 138 145 146 151 152 154 155 157 159 162 163 164 165 167 170 174 177 178 180 182 192 193 195 199 202 211 215 217 218 220 222 223 227 a 4 10 15 19 20 21 23 26 30 31 37 43 44 45 46 52 56 59 63 64 65 67 68 70 72 75 76 77 79 84 85 89 90 98 106 110 113 114 119 121 128 130 131 132 136 138 145 146 151 152 154 155 157 159 162 163 164 165 167 170 174 177 178 180 182 192 193 195 199 202 211 215 217 218 220 222 223 227 a 4 10 15 19 20 21 23 26 30 31 37 43 44 45 46 52 56 59 64 65 67 68 70 72 75 76 77 79 84 85 89 90 98 106 110 113 114 119 121 128 130 131 132 136 138 145 146 151 152 154 155 157 159 162 163 164 165 167 170 174 177 178 180 182 192 193 195 199 202 211 215 217 218 220 222 223 227 228 a 4 10 12 15 19 20 21 23 26 30 31 37 43 44 45 46 52 56 59 64 65 67 68 70 72 75 76 77 84 85 89 90 98 106 110 113 114 119 121 128 130 131 132 136 138 145 146 151 152 154 155 157 159 162 163 164 165 167 170 174 177 178 180 182 192 193 195 199 202 211 215 217 218 220 222 223 227 228 a 4 10 12 15 19 20 21 23 26 30 31 37 43 44 45 46 52 56 59 64 65 67 68 70 72 76 77 84 85 89 90 98 106 110 113 114 119 121 125 128 130 131 132 136 138 145 146 151 152 154 155 157 159 162 163 164 165 167 170 174 177 178 180 182 192 193 195 199 202 211 215 217 218 220 222 223 227 228 a 2 4 10 12 15 19 20 21 23 26 30 31 37 43 44 45 46 52 56 59 64 65 68 70 72 76 77 84 85 89 90 98 106 110 113 114 119 121 125 128 130 131 132 136 138 145 146 151 152 154 155 157 159 162 163 164 165 167 170 174 177 178 180 182 192 193 195 199 202 211 215 217 218 220 222 223 227 228 a 2 4 10 15 19 20 21 23 26 30 31 37 43 44 45 46 52 56 59 64 65 68 70 72 76 77 84 85 89 90 98 106 110 113 114 119 120 121 125 128 130 131 132 136 138 145 146 151 152 154 155 157 159 162 163 164 165 167 170 174 177 178 180 182 192 193 195 199 202 211 215 217 218 220 222 223 227 228 a 2 4 10 15 19 20 21 23 26 30 31 37 43 44 45 46 52 56 59 63 64 65 68 70 76 77 84 85 89 90 98 106 110 113 114 119 120 121 125 128 130 131 132 136 138 145 146 151 152 154 155 157 159 162 163 164 165 167 170 174 177 178 180 182 192 193 195 199 202 211 215 217 218 220 222 223 227 228 a 2 4 8 10 15 19 20 21 23 26 30 31 37 43 44 45 46 52 56 59 64 65 68 70 76 77 84 85 89 90 98 106 110 113 114 119 120 121 125 128 130 131 132 136 138 145 146 151 152 154 155 157 159 162 163 164 165 167 170 174 177 178 180 182 192 193 195 199 202 211 215 217 218 220 222 223 227 228 a 2 4 8 10 15 19 20 21 23 26 30 31 37 43 44 45 46 52 56 59 64 65 68 70 72 76 77 84 89 90 98 106 110 113 114 119 120 121 125 128 130 131 132 136 138 145 146 151 152 154 155 157 159 162 163 164 165 167 170 174 177 178 180 182 192 193 195 199 202 211 215 217 218 220 222 223 227 228 a 2 4 8 10 15 19 20 23 26 30 31 37 43 44 45 46 52 56 59 64 65 68 70 72 76 77 84 89 90 98 106 110 111 113 114 119 120 121 125 128 130 131 132 136 138 145 146 151 152 154 155 157 159 162 163 164 165 167 170 174 177 178 180 182 192 193 195 199 202 211 215 217 218 220 222 223 227 228 a 2 4 8 10 15 19 20 23 26 30 31 37 43 44 45 46 52 56 59 64 65 68 70 72 76 77 84 87 89 90 98 106 110 111 113 114 119 120 121 125 128 130 131 132 136 138 145 146 151 152 154 155 157 159 162 163 164 165 167 170 174 177 178 180 182 192 193 195 199 202 211 215 217 218 220 222 223 227 a 2 4 8 10 15 19 20 23 26 30 31 37 43 44 45 46 52 56 59 64 65 68 70 72 76 77 79 84 87 89 90 98 106 110 111 113 114 119 120 121 125 128 130 131 132 136 138 145 146 151 152 154 155 157 159 162 163 164 165 167 170 174 177 178 180 182 192 193 195 199 202 211 215 217 218 220 222 223 a 2 4 8 15 19 20 23 26 30 31 37 43 44 45 46 49 52 56 59 64 65 68 70 72 76 77 79 84 87 89 90 98 106 110 111 113 114 119 120 121 125 128 130 131 132 136 138 145 146 151 152 154 155 157 159 162 163 164 165 167 170 174 177 178 180 182 192 193 195 199 202 211 215 217 218 220 222 223 a 2 4 8 15 19 20 23 26 30 31 37 43 44 45 46 49 52 56 59 64 65 68 70 72 76 77 79 84 87 89 90 98 106 110 111 113 114 119 120 121 125 128 130 131 132 136 138 140 145 146 151 152 154 155 157 159 162 163 164 165 167 174 177 178 180 182 192 193 195 199 202 211 215 217 218 220 222 223 a 2 4 8 15 19 20 23 26 30 31 37 43 44 45 46 49 52 56 59 64 65 68 70 72 76 77 79 84 85 87 89 90 98 106 110 111 113 114 119 120 121 125 128 130 131 132 136 138 140 145 146 151 152 154 155 157 159 162 163 164 165 167 174 177 178 182 192 193 195 199 202 211 215 217 218 220 222 223 a 2 4 8 15 19 20 23 26 30 31 37 43 44 45 46 49 52 56 59 64 65 68 70 72 76 77 79 84 85 87 89 90 98 106 110 111 113 114 119 120 121 122 125 128 130 131 132 136 138 140 145 146 151 152 154 155 157 159 162 163 164 165 167 174 177 178 182 192 193 195 199 202 211 215 218 220 222 223 a 2 4 8 15 19 20 23 26 30 31 37 43 44 45 46 49 52 56 59 64 65 68 70 72 76 77 79 84 85 87 89 90 98 106 110 111 113 114 119 120 121 122 125 128 130 131 132 136 138 140 145 146 151 152 154 155 157 159 162 163 165 167 174 177 178 182 183 192 193 195 199 202 211 215 218 220 222 223 a 2 4 8 15 19 20 23 26 30 31 37 43 44 45 46 49 52 56 59 64 65 68 70 72 76 77 79 84 85 87 89 90 98 106 110 111 113 114 119 120 121 122 125 128 130 131 132 136 138 140 145 146 151 152 154 155 159 162 163 165 167 174 177 178 182 183 192 193 195 199 202 205 211 215 218 220 222 223 a 2 4 8 15 19 20 23 26 30 31 37 43 44 45 46 49 52 56 59 64 65 68 70 72 76 77 79 84 85 87 89 90 95 98 106 110 111 113 114 119 120 121 122 125 128 131 132 136 138 140 145 146 151 152 154 155 159 162 163 165 167 174 177 178 182 183 192 193 195 199 202 205 211 215 218 220 222 223 a 2 4 8 10 15 19 20 23 26 30 31 37 43 44 45 46 52 56 59 64 65 68 70 72 76 77 79 84 85 87 89 90 95 98 106 110 111 113 114 119 120 121 122 125 128 131 132 136 138 140 145 146 151 152 154 155 159 162 163 165 167 174 177 178 182 183 192 193 195 199 202 205 211 215 218 220 222 223 a 2 4 8 10 15 19 20 21 23 26 30 31 37 43 44 45 46 52 56 59 64 65 68 70 72 76 77 79 84 85 87 89 90 95 98 106 110 113 114 119 120 121 122 125 128 131 132 136 138 140 145 146 151 152 154 155 159 162 163 165 167 174 177 178 182 183 192 193 195 199 202 205 211 215 218 220 222 223 a 2 4 8 10 15 19 20 21 23 26 31 37 43 44 45 46 52 56 59 64 65 68 70 72 76 77 79 84 85 87 89 90 95 98 106 110 113 114 119 120 121 122 123 125 128 131 132 136 138 140 145 146 151 152 154 155 159 162 163 165 167 174 177 178 182 183 192 193 195 199 202 205 211 215 218 220 222 223 a 2 4 8 10 15 19 20 21 23 26 31 37 43 44 45 46 52 56 59 64 65 68 70 72 76 77 79 84 85 87 89 90 95 98 106 110 113 114 119 120 121 122 123 125 128 131 132 136 138 140 145 146 151 152 154 155 159 162 163 165 167 174 177 178 182 183 192 193 195 199 202 205 211 218 220 222 223 227 a 2 4 8 10 15 19 20 21 23 26 31 37 43 44 45 46 52 56 59 64 65 68 70 72 76 77 79 85 87 89 90 95 98 106 110 113 114 119 120 121 122 123 125 128 131 132 136 138 140 145 146 151 152 154 155 159 162 163 165 167 174 177 178 182 183 192 193 195 199 202 205 211 218 220 222 223 227 234 a 2 4 8 10 15 19 20 21 23 26 31 37 43 44 45 46 52 56 59 64 65 68 70 72 76 77 79 85 87 89 90 95 98 106 110 113 114 119 120 121 122 123 125 128 131 132 136 138 140 145 146 151 152 154 155 159 162 163 165 167 174 177 178 182 192 193 195 199 202 205 211 217 218 220 222 223 227 234 a 2 4 8 10 15 19 20 21 23 26 31 37 43 44 45 46 52 56 59 64 65 68 70 72 76 77 79 85 87 89 90 95 98 106 110 113 114 119 120 121 122 123 125 128 131 132 136 138 140 145 146 151 152 154 155 159 162 163 165 167 174 177 182 187 192 193 195 199 202 205 211 217 218 220 222 223 227 234 a 2 4 8 10 15 19 21 23 26 31 37 43 44 45 46 52 56 59 64 65 68 70 72 76 77 79 85 87 89 90 95 98 106 110 113 114 119 120 121 122 123 125 128 131 132 136 138 140 145 146 151 152 154 155 159 162 163 165 167 174 177 179 182 187 192 193 195 199 202 205 211 217 218 220 222 223 227 234 a 2 4 8 10 15 19 21 23 26 31 37 43 44 45 46 52 56 59 64 65 68 70 72 76 77 79 85 87 89 90 95 98 106 110 113 114 119 120 121 122 123 125 128 131 132 136 138 145 146 151 152 154 155 159 162 163 165 167 170 174 177 179 182 187 192 193 195 199 202 205 211 217 218 220 222 223 227 234 a 2 4 8 10 15 19 20 21 23 26 31 37 43 44 45 46 52 56 59 64 65 68 70 72 76 77 79 85 89 90 95 98 106 110 113 114 119 120 121 122 123 125 128 131 132 136 138 145 146 151 152 154 155 159 162 163 165 167 170 174 177 179 182 187 192 193 195 199 202 205 211 217 218 220 222 223 227 234 a 2 4 8 10 15 19 20 21 23 26 31 37 43 44 45 46 52 56 59 64 65 68 70 72 76 77 79 85 89 90 95 98 106 110 113 114 119 120 121 122 123 125 128 131 132 136 138 145 146 151 152 154 155 159 162 163 165 167 170 172 174 177 179 182 187 192 193 195 199 202 205 211 218 220 222 223 227 234 a 2 4 8 10 15 19 20 21 23 26 31 37 43 44 45 46 52 56 59 64 65 68 70 72 76 77 79 85 89 90 95 98 106 110 113 114 119 120 121 122 123 125 128 131 132 136 138 145 146 151 152 154 155 159 162 163 164 165 167 170 172 174 177 179 182 187 192 193 195 199 202 211 218 220 222 223 227 234 a 2 4 8 10 15 19 20 21 23 26 31 37 43 44 45 46 52 56 59 64 65 68 70 72 76 77 79 85 89 90 95 98 106 110 113 114 119 120 121 122 123 125 128 131 132 136 138 145 146 151 152 154 155 159 162 163 164 165 167 170 174 177 179 182 187 192 193 195 199 202 211 217 218 220 222 223 227 234 a 2 4 10 15 19 20 21 23 26 31 37 43 44 45 46 52 56 59 63 64 65 68 70 72 76 77 79 85 89 90 95 98 106 110 113 114 119 120 121 122 123 125 128 131 132 136 138 145 146 151 152 154 155 159 162 163 164 165 167 170 174 177 179 182 187 192 193 195 199 202 211 217 218 220 222 223 227 234 a 2 4 10 15 19 20 21 23 26 31 37 43 44 45 46 52 56 59 63 64 65 68 70 72 76 77 79 85 89 90 95 98 106 110 113 114 119 120 121 122 123 125 128 131 132 136 138 145 146 151 152 154 155 159 162 163 164 165 167 170 174 177 179 182 187 192 193 195 199 202 211 215 218 220 222 223 227 234 a 2 4 10 15 19 20 21 23 26 31 37 43 44 45 46 52 56 59 63 64 65 68 70 72 76 77 79 85 89 90 95 98 106 113 114 119 120 121 122 123 125 128 131 132 136 138 145 146 147 151 152 154 155 159 162 163 164 165 167 170 174 177 179 182 187 192 193 195 199 202 211 215 218 220 222 223 227 234 a 2 4 15 19 20 21 23 26 31 37 43 44 45 46 52 56 59 63 64 65 68 70 72 76 77 79 85 87 89 90 95 98 106 113 114 119 120 121 122 123 125 128 131 132 136 138 145 146 147 151 152 154 155 159 162 163 164 165 167 170 174 177 179 182 187 192 193 195 199 202 211 215 218 220 222 223 227 234 a 2 4 15 19 20 21 23 26 31 37 43 44 45 46 52 56 59 63 64 65 68 70 72 76 77 79 85 87 89 90 95 98 106 113 114 119 120 121 122 123 125 128 131 132 136 138 145 146 151 152 154 155 157 159 162 163 164 165 167 170 174 177 179 182 187 192 193 195 199 202 211 215 218 220 222 223 227 234 a 4 15 19 20 21 23 26 31 37 43 44 45 46 52 56 59 63 64 65 67 68 70 72 76 77 79 85 87 89 90 95 98 106 113 114 119 120 121 122 123 125 128 131 132 136 138 145 146 151 152 154 155 157 159 162 163 164 165 167 170 174 177 179 182 187 192 193 195 199 202 211 215 218 220 222 223 227 234 a 4 10 15 19 20 21 23 26 31 37 43 44 45 46 52 56 59 63 64 67 68 70 72 76 77 79 85 87 89 90 95 98 106 113 114 119 120 121 122 123 125 128 131 132 136 138 145 146 151 152 154 155 157 159 162 163 164 165 167 170 174 177 179 182 187 192 193 195 199 202 211 215 218 220 222 223 227 234 a 4 10 15 19 20 21 23 26 31 37 43 44 45 46 52 56 59 63 64 67 68 70 72 76 77 79 85 87 89 90 95 98 106 113 114 119 120 121 122 123 125 128 131 132 136 138 145 146 147 151 152 154 155 157 159 162 163 164 165 167 170 174 177 179 182 187 192 193 195 199 202 211 215 218 220 222 223 234 a 4 10 15 19 20 21 23 26 31 37 43 44 45 46 52 56 59 63 64 65 67 68 70 72 76 77 79 85 87 89 90 95 98 113 114 119 120 121 122 123 125 128 131 132 136 138 145 146 147 151 152 154 155 157 159 162 163 164 165 167 170 174 177 179 182 187 192 193 195 199 202 211 215 218 220 222 223 234 a 4 10 15 19 20 21 23 26 31 37 43 44 45 46 52 56 59 63 64 65 67 68 70 72 76 77 79 85 87 89 90 95 98 113 114 119 120 121 122 123 125 128 131 132 136 138 145 146 147 151 152 155 157 159 162 163 164 165 167 170 174 177 179 182 187 192 193 195 199 202 211 215 218 220 222 223 227 234 a 4 10 15 19 20 21 23 26 31 37 43 44 45 46 52 56 59 63 64 65 67 68 70 76 77 79 85 87 89 90 95 98 113 114 119 120 121 122 123 125 128 131 132 136 138 145 146 147 151 152 155 157 159 162 163 164 165 167 170 174 177 179 182 187 192 193 195 199 202 211 215 218 220 222 223 224 227 234 a 4 10 15 19 20 21 23 26 31 37 43 44 45 46 52 56 59 63 64 65 67 68 70 76 77 79 85 87 89 90 95 98 113 114 119 120 121 122 123 125 128 131 132 136 138 145 146 147 151 152 154 155 157 159 162 163 164 165 167 170 174 177 179 182 187 192 193 195 199 202 211 215 218 220 223 224 227 234 a 4 10 15 19 20 21 23 26 31 37 43 44 45 46 52 56 59 63 64 65 67 68 70 76 77 79 85 87 89 90 95 98 113 114 119 120 121 122 123 125 128 131 132 136 138 145 146 147 151 152 154 155 157 159 162 163 164 165 167 170 174 177 178 179 182 192 193 195 199 202 211 215 218 220 223 224 227 234 a 4 10 15 19 20 21 23 26 31 37 43 44 45 46 52 56 59 63 64 65 67 68 70 76 77 79 84 85 87 89 90 95 98 113 114 119 120 121 122 123 125 128 131 132 136 138 145 146 147 151 152 154 155 157 159 162 163 164 165 167 170 174 177 178 179 182 192 193 195 199 202 211 215 218 220 223 224 227 a 4 10 15 19 20 21 23 26 31 37 43 44 45 46 52 56 59 63 64 65 67 68 70 76 77 79 84 85 87 89 90 95 98 106 113 114 119 120 121 122 123 125 128 131 132 136 138 145 146 147 151 152 154 155 157 159 162 163 164 165 167 170 174 177 178 179 182 192 193 195 199 202 211 215 218 220 224 227 a 4 10 15 19 20 21 23 26 31 37 43 44 45 46 52 56 59 63 64 65 67 68 70 76 77 79 84 85 87 89 90 95 98 106 113 114 119 120 121 122 123 125 128 131 132 136 138 145 146 147 151 152 154 155 157 159 162 163 164 165 167 170 174 177 178 179 182 192 193 195 199 202 211 215 218 220 223 227 a 4 10 15 19 20 23 26 31 37 43 44 45 46 52 56 59 63 64 65 67 68 70 76 77 79 84 85 87 89 90 95 98 106 111 113 114 119 120 121 122 123 125 128 131 132 136 138 145 146 147 151 152 154 155 157 159 162 163 164 165 167 170 174 177 178 179 182 192 193 195 199 202 211 215 218 220 223 227 a 4 10 15 19 20 23 26 31 37 43 44 45 46 52 56 59 63 64 65 67 68 70 76 77 79 84 85 87 89 90 95 98 106 111 113 114 119 120 121 122 123 125 128 131 132 136 138 145 146 147 151 152 154 155 157 159 162 163 164 165 167 170 174 177 178 179 182 192 193 195 199 202 211 215 218 220 223 224 a 4 10 15 19 20 23 26 31 37 43 44 45 46 52 56 59 63 64 65 67 68 70 76 77 79 84 85 87 89 90 95 98 100 106 111 113 114 119 120 121 122 123 125 128 131 136 138 145 146 147 151 152 154 155 157 159 162 163 164 165 167 170 174 177 178 179 182 192 193 195 199 202 211 215 218 220 223 224 a 4 10 15 19 20 23 26 31 37 43 44 45 46 52 56 59 63 64 65 67 68 70 76 77 79 84 85 87 89 90 95 98 106 111 113 114 119 120 121 122 123 125 128 131 136 138 145 146 147 151 152 154 155 157 159 162 163 164 165 167 170 174 177 178 179 182 192 193 195 199 202 211 215 218 220 222 223 224 a 4 10 15 19 20 23 26 31 37 43 44 45 46 52 56 59 63 64 65 67 68 70 76 77 79 84 85 87 89 90 95 98 106 110 111 113 114 119 120 121 122 123 125 128 131 136 138 145 146 151 152 154 155 157 159 162 163 164 165 167 170 174 177 178 179 182 192 193 195 199 202 211 215 218 220 222 223 224 a 4 10 15 19 20 23 26 31 37 43 44 45 46 52 56 59 64 65 67 68 70 76 77 79 84 85 87 89 90 95 98 106 110 111 113 114 119 120 121 122 123 125 128 131 132 136 138 145 146 151 152 154 155 157 159 162 163 164 165 167 170 174 177 178 179 182 192 193 195 199 202 211 215 218 220 222 223 224 a 4 10 15 19 20 23 26 31 37 43 44 45 46 52 56 59 64 65 67 68 76 77 79 84 85 87 89 90 95 98 106 110 111 113 114 119 120 121 122 123 125 128 131 132 136 138 145 146 151 152 154 155 157 159 162 163 164 165 167 170 172 174 177 178 179 182 192 193 195 199 202 211 215 218 220 222 223 224 a 4 10 15 19 20 23 26 31 37 43 44 45 46 52 56 59 64 65 67 68 70 76 77 79 84 85 87 89 90 95 98 106 110 111 113 114 119 120 121 122 123 125 128 131 132 136 138 145 146 151 152 154 155 157 159 162 163 164 165 167 170 172 174 177 178 179 182 192 193 195 199 202 211 215 218 220 222 224 a 4 10 15 19 20 23 26 31 37 43 44 45 46 52 56 59 64 65 67 68 70 76 77 79 84 85 87 89 90 95 98 106 110 111 113 114 119 120 121 122 123 125 128 131 132 136 138 145 146 151 152 154 155 157 159 162 163 165 167 170 172 174 177 178 179 182 183 192 193 195 199 202 211 215 218 220 222 224 a 4 10 15 19 20 23 26 31 37 43 44 45 46 52 56 59 64 65 67 68 70 76 77 79 84 85 87 89 90 95 98 106 110 111 113 114 119 120 121 122 123 125 128 131 132 136 138 145 146 151 152 154 155 157 159 162 163 165 167 170 172 174 177 178 179 182 183 192 193 195 199 202 207 211 215 218 222 224 a 4 10 15 19 20 23 26 31 37 43 44 45 46 52 56 59 64 65 67 68 70 76 77 79 84 85 87 89 90 95 98 106 110 111 113 114 119 120 121 122 123 125 128 131 132 136 138 145 146 151 152 154 155 157 159 162 163 165 167 170 172 174 177 178 179 182 183 192 193 195 199 202 207 211 215 218 220 222 a 4 10 15 19 20 23 26 31 37 43 44 45 46 52 56 59 63 64 65 67 68 70 76 77 79 84 85 87 89 90 95 98 106 110 111 113 114 119 120 121 122 123 125 128 131 132 136 138 145 146 151 152 154 155 157 159 162 163 165 167 170 172 174 177 178 179 182 183 192 193 195 199 202 207 211 215 218 222 a 4 10 15 19 20 23 26 31 37 43 44 45 46 52 56 59 63 64 65 67 68 70 76 77 79 84 85 87 89 90 95 98 106 110 111 113 114 119 120 121 123 125 128 131 132 136 138 145 146 151 152 154 155 157 159 162 163 165 167 170 172 174 177 178 179 182 183 192 193 195 199 202 207 211 215 218 222 223 a 4 10 15 19 20 23 26 31 37 43 45 46 52 56 59 63 64 65 67 68 70 76 77 79 84 85 87 89 90 95 98 106 110 111 113 114 119 120 121 122 123 125 128 131 132 136 138 145 146 151 152 154 155 157 159 162 163 165 167 170 172 174 177 178 179 182 183 192 193 195 199 202 207 211 215 218 222 223 a 4 10 15 19 20 23 26 31 37 43 44 45 46 52 56 59 63 64 65 67 68 70 76 77 79 84 85 87 89 90 95 98 106 110 111 113 114 119 120 121 122 123 125 128 131 132 136 138 145 146 151 152 154 155 157 159 162 163 165 167 170 172 174 177 178 179 182 183 192 193 195 199 202 207 211 215 218 223 a 4 10 15 19 20 23 26 31 37 43 44 45 46 52 56 59 63 64 65 67 68 70 76 77 79 84 85 87 89 90 95 98 106 110 111 113 114 119 120 121 122 123 125 128 131 132 136 138 145 146 151 152 154 155 157 159 162 163 165 167 170 172 174 177 178 179 182 183 192 193 195 199 202 207 211 215 218 224 a 4 10 15 19 20 23 26 31 37 43 44 45 46 52 56 59 63 64 65 67 68 70 75 76 77 79 84 85 87 89 90 95 98 106 110 111 113 114 119 120 121 122 123 128 131 132 136 138 145 146 151 152 154 155 157 159 162 163 165 167 170 172 174 177 178 179 182 183 192 193 195 199 202 207 211 215 218 224 a 4 10 15 19 20 23 26 31 37 43 44 45 46 52 56 59 63 64 65 67 68 70 75 76 77 79 84 85 87 89 90 95 98 106 110 111 113 114 119 120 121 122 123 128 131 132 136 138 145 146 151 152 154 155 157 159 162 163 165 167 170 172 174 177 178 179 182 183 192 193 195 199 202 207 211 215 220 224 a 4 10 15 19 20 23 26 31 37 43 44 45 46 52 56 63 64 65 67 68 70 75 76 77 79 84 85 87 89 90 95 98 106 110 111 113 114 119 120 121 122 123 128 131 132 136 138 145 146 151 152 154 155 157 159 162 163 165 167 170 172 174 177 178 179 182 183 192 193 195 199 202 207 211 215 218 220 224 a 4 10 15 19 20 23 26 30 31 37 43 44 45 46 52 56 63 64 65 67 68 70 75 76 77 79 84 85 87 89 90 95 98 106 110 111 113 114 119 120 121 122 128 131 132 136 138 145 146 151 152 154 155 157 159 162 163 165 167 170 172 174 177 178 179 182 183 192 193 195 199 202 207 211 215 218 220 224 a 4 10 13 15 19 20 23 26 30 31 37 43 44 45 46 52 56 63 64 65 67 68 70 75 76 77 79 84 85 87 89 90 95 98 106 110 111 113 114 119 120 121 122 128 131 132 136 138 145 151 152 154 155 157 159 162 163 165 167 170 172 174 177 178 179 182 183 192 193 195 199 202 207 211 215 218 220 224 a 4 10 13 15 19 20 23 26 30 31 37 43 44 45 46 52 56 63 64 65 67 68 70 75 76 77 79 84 85 87 89 90 95 98 106 110 111 113 114 119 120 121 122 128 131 132 136 138 145 151 154 155 157 159 162 163 165 167 170 172 174 177 178 179 182 183 192 193 195 199 202 207 211 215 218 220 223 224 a 4 10 13 15 19 20 23 26 30 31 37 43 44 45 46 52 56 63 64 65 67 68 70 75 76 77 79 84 85 87 90 95 96 98 106 110 111 113 114 119 120 121 122 128 131 132 136 138 145 151 154 155 157 159 162 163 165 167 170 172 174 177 178 179 182 183 192 193 195 199 202 207 211 215 218 220 223 224 a 4 10 13 15 19 20 23 26 30 31 37 43 44 45 46 52 56 59 63 64 65 67 68 70 75 76 77 79 84 85 87 90 95 96 98 106 110 111 113 114 119 120 121 122 128 131 132 136 138 145 151 154 155 157 162 163 165 167 170 172 174 177 178 179 182 183 192 193 195 199 202 207 211 215 218 220 223 224 a 4 10 13 15 19 20 23 26 30 31 37 43 44 45 46 52 56 59 63 64 65 67 68 70 75 76 77 79 84 85 87 90 95 96 98 100 106 110 111 113 114 119 120 121 122 128 131 132 136 138 145 151 154 155 157 162 163 165 167 170 172 174 177 178 179 182 183 192 193 195 199 202 207 211 215 218 220 223 a 4 10 13 15 17 19 20 23 26 30 31 37 43 44 45 46 52 56 59 63 64 65 67 68 70 75 76 77 79 84 85 87 90 95 96 98 100 106 110 111 113 114 119 120 121 122 128 131 132 136 138 145 151 154 155 157 162 163 165 167 170 172 174 177 178 179 182 183 192 193 195 199 202 207 215 218 220 223 a 4 10 13 15 17 19 20 23 26 30 31 37 43 44 45 46 52 56 59 63 64 65 67 68 70 75 76 77 79 84 85 87 90 95 96 98 100 106 110 111 113 114 119 120 121 122 128 131 132 136 138 145 151 154 155 157 159 162 163 165 167 170 172 174 177 178 179 182 183 192 193 195 199 202 207 215 218 220 a 4 10 13 15 17 19 20 23 26 30 31 37 43 44 45 46 52 56 59 63 64 65 67 68 70 75 76 77 79 84 85 87 90 95 96 98 100 106 110 111 113 114 119 120 121 122 128 131 132 136 138 145 151 154 155 157 159 162 163 165 167 170 172 174 177 178 179 182 183 192 193 195 199 202 207 215 218 223 a 4 10 13 15 17 19 20 23 26 30 31 37 44 45 46 47 52 56 59 63 64 65 67 68 70 75 76 77 79 84 85 87 90 95 96 98 100 106 110 111 113 114 119 120 121 122 128 131 132 136 138 145 151 154 155 157 159 162 163 165 167 170 172 174 177 178 179 182 183 192 193 195 199 202 207 215 218 223 a 4 10 13 15 19 20 23 26 28 30 31 37 44 45 46 47 52 56 59 63 64 65 67 68 70 75 76 77 79 84 85 87 90 95 96 98 100 106 110 111 113 114 119 120 121 122 128 131 132 136 138 145 151 154 155 157 159 162 163 165 167 170 172 174 177 178 179 182 183 192 193 195 199 202 207 215 218 223 a 4 10 13 15 19 20 23 26 28 30 31 37 44 45 46 47 52 56 59 63 64 65 67 68 70 75 76 77 79 84 85 87 90 95 96 98 100 106 110 111 113 114 119 120 121 122 128 131 132 136 138 145 151 154 155 157 159 162 163 165 167 170 172 174 177 178 179 182 183 192 193 195 199 200 202 207 215 218 a 4 10 13 15 19 20 23 26 28 30 31 37 44 45 46 47 52 56 59 63 64 65 67 68 70 75 76 77 79 84 85 87 90 95 96 98 100 106 110 111 113 114 119 120 121 122 128 131 132 136 138 145 151 152 154 155 157 159 162 163 165 167 170 172 174 177 178 179 182 183 192 193 195 199 200 202 207 218 a 4 10 13 15 19 20 23 26 28 30 31 37 44 45 46 47 52 56 59 63 64 65 67 68 70 75 76 77 79 84 85 87 90 95 96 98 100 106 110 111 113 114 119 120 121 122 128 131 132 136 138 145 151 152 154 155 157 159 162 163 165 167 172 173 174 177 178 179 182 183 192 193 195 199 200 202 207 218 a 1 4 10 13 15 20 23 26 28 30 31 37 44 45 46 47 52 56 59 63 64 65 67 68 70 75 76 77 79 84 85 87 90 95 96 98 100 106 110 111 113 114 119 120 121 122 128 131 132 136 138 145 151 152 154 155 157 159 162 163 165 167 172 173 174 177 178 179 182 183 192 193 195 199 200 202 207 218 a 1 4 10 13 15 17 20 23 26 28 31 37 44 45 46 47 52 56 59 63 64 65 67 68 70 75 76 77 79 84 85 87 90 95 96 98 100 106 110 111 113 114 119 120 121 122 128 131 132 136 138 145 151 152 154 155 157 159 162 163 165 167 172 173 174 177 178 179 182 183 192 193 195 199 200 202 207 218 a 1 4 10 13 15 17 20 23 26 28 31 37 44 45 46 47 52 55 56 59 63 64 65 67 68 70 75 76 77 79 84 85 87 90 95 96 98 100 106 110 111 113 114 119 120 121 122 128 131 132 136 138 145 151 152 154 155 157 159 162 163 165 167 172 173 174 177 178 179 182 183 192 193 195 200 202 207 218 a 1 4 10 13 15 17 20 23 26 28 31 37 44 45 46 47 52 55 56 59 63 64 65 67 68 70 75 76 77 79 84 87 90 95 96 98 100 106 110 111 113 114 119 120 121 122 128 131 132 136 138 145 151 152 154 155 157 159 162 163 165 167 172 173 174 177 178 179 182 183 192 193 195 196 200 202 207 218 a 1 4 10 13 15 17 20 23 26 28 30 31 37 44 45 46 47 52 55 56 59 63 64 65 67 68 70 75 76 77 79 84 87 90 95 96 98 100 106 110 111 113 114 119 120 121 122 128 131 132 136 138 145 151 152 154 155 157 159 162 163 165 167 172 173 174 177 178 179 182 183 192 193 195 196 200 202 207 a 1 4 13 15 17 20 23 26 28 30 31 37 44 45 46 47 52 55 56 59 63 64 65 67 68 70 75 76 77 79 84 87 90 95 96 98 100 106 110 111 113 114 119 120 121 122 128 131 132 136 138 145 151 152 154 155 157 159 162 163 165 167 172 173 174 177 178 179 182 183 192 193 195 196 200 202 207 224 a 1 4 10 13 15 17 20 23 26 28 30 31 37 44 45 46 47 52 55 56 59 63 64 65 67 68 70 75 76 77 79 84 87 90 95 96 98 100 106 110 111 113 114 119 120 121 122 131 132 136 138 145 151 152 154 155 157 159 162 163 165 167 172 173 174 177 178 179 182 183 192 193 195 196 200 202 207 224 a 1 4 10 13 15 17 20 23 26 28 30 31 37 44 45 46 47 52 55 56 59 63 64 65 67 68 70 75 76 77 79 84 87 90 95 96 98 100 106 110 111 113 114 119 120 121 122 128 132 136 138 145 151 152 154 155 157 159 162 163 165 167 172 173 174 177 178 179 182 183 192 193 195 196 200 202 207 224 a 1 4 10 13 15 17 20 23 26 28 30 31 37 44 45 46 47 52 55 56 59 63 64 65 67 68 70 75 76 77 79 84 87 90 91 95 96 98 100 106 110 111 113 114 119 120 121 122 128 132 136 138 145 151 152 154 155 157 159 162 163 165 167 172 173 174 177 178 179 182 183 192 193 195 196 200 202 224 a 1 4 10 13 15 17 20 23 26 28 30 31 37 43 44 45 46 52 55 56 59 63 64 65 67 68 70 75 76 77 79 84 87 90 91 95 96 98 100 106 110 111 113 114 119 120 121 122 128 132 136 138 145 151 152 154 155 157 159 162 163 165 167 172 173 174 177 178 179 182 183 192 193 195 196 200 202 224 a 1 4 10 13 15 17 20 23 26 28 30 31 37 43 44 45 46 52 55 56 59 63 64 65 67 68 70 75 76 77 79 84 87 90 91 95 98 100 104 106 110 111 113 114 119 120 121 122 128 132 136 138 145 151 152 154 155 157 159 162 163 165 167 172 173 174 177 178 179 182 183 192 193 195 196 200 202 224 a 1 4 10 13 15 17 20 23 26 28 30 31 37 43 44 45 46 52 55 56 59 63 64 65 67 68 70 75 76 77 79 84 87 90 91 95 98 100 104 106 110 111 113 114 119 120 121 122 128 132 136 138 145 151 152 154 155 157 159 162 163 165 167 173 174 177 178 179 182 183 190 192 193 195 196 200 202 224 a 1 4 10 13 15 17 20 23 26 28 30 37 43 44 45 46 52 55 56 59 63 64 65 67 68 70 75 76 77 79 84 87 90 91 95 98 100 104 106 110 111 113 114 116 119 120 121 122 128 132 136 138 145 151 152 154 155 157 159 162 163 165 167 173 174 177 178 179 182 183 190 192 193 195 196 200 202 224 a 1 4 10 13 15 17 20 23 26 28 30 37 43 44 45 46 52 55 56 59 63 64 65 67 68 70 75 76 77 79 84 87 90 91 95 98 100 104 106 110 111 113 114 116 119 120 121 122 128 132 136 138 145 151 152 154 155 157 159 162 163 165 167 170 174 177 178 179 182 183 190 192 193 195 196 200 202 224 a 1 4 10 13 15 17 20 23 26 28 30 37 43 44 45 46 52 55 56 59 63 64 65 67 68 70 75 76 77 79 84 87 90 91 95 96 98 100 104 106 110 111 113 114 116 119 120 121 122 128 132 136 138 145 151 152 154 155 157 159 162 163 165 167 170 174 177 178 179 182 183 190 192 193 195 196 200 224 a 1 4 10 13 15 17 20 23 26 28 30 37 43 44 45 46 52 55 56 59 63 64 65 67 68 70 75 76 77 79 84 87 90 91 95 96 98 100 104 106 110 111 113 114 116 119 120 121 122 128 132 136 138 145 151 152 154 155 157 159 162 163 165 167 170 174 177 178 179 182 183 190 192 193 195 196 200 207 a 1 4 10 13 15 17 20 23 26 28 30 37 43 44 45 46 52 55 56 59 63 64 65 67 68 75 76 77 79 84 87 90 91 95 96 98 100 104 106 110 111 113 114 116 119 120 121 122 128 132 136 138 145 151 152 154 155 157 159 162 163 165 167 170 174 177 178 179 182 183 190 192 193 195 196 200 207 208 a 1 4 10 13 15 17 20 23 26 28 30 37 43 44 45 46 52 55 56 59 63 64 65 67 68 75 76 77 79 84 87 90 91 95 96 98 100 104 106 110 111 113 114 116 119 120 121 122 128 132 136 138 145 151 152 154 155 157 159 162 163 165 167 170 174 177 178 179 182 183 190 192 193 195 196 200 207 218 a 1 4 10 13 15 17 20 23 26 28 30 37 43 44 45 46 52 55 56 59 63 64 65 67 68 75 76 77 79 84 87 90 91 95 96 98 100 104 106 110 111 113 114 116 118 119 120 121 122 128 132 136 138 145 151 152 154 155 157 159 162 163 165 167 170 174 177 179 182 183 190 192 193 195 196 200 207 218 a 1 4 10 13 15 17 20 23 26 28 30 37 43 44 45 46 52 55 56 59 60 63 64 65 67 68 75 76 77 79 84 87 90 91 95 96 98 100 104 106 110 111 113 114 116 118 119 120 121 122 128 132 136 138 145 151 152 154 155 157 159 162 163 165 167 170 174 177 179 183 190 192 193 195 196 200 207 218 a 1 4 10 13 15 17 20 23 26 28 37 43 44 45 46 52 55 56 59 60 63 64 65 67 68 75 76 77 79 84 87 90 91 95 96 98 100 104 106 110 111 113 114 116 118 119 120 121 122 128 132 136 138 145 151 152 154 155 157 159 162 163 165 167 170 174 177 179 183 190 192 193 195 196 200 207 208 218 a 1 4 10 13 15 17 20 23 26 28 30 37 43 44 45 46 52 55 56 59 60 63 64 65 67 68 75 76 77 79 84 87 90 91 95 96 98 100 104 106 110 111 113 114 116 118 119 120 121 122 128 132 136 138 145 151 152 154 155 157 159 162 163 165 167 170 174 177 179 183 190 192 193 195 196 200 207 208 a 1 4 10 13 15 17 20 23 26 28 30 37 43 44 45 46 52 55 56 59 60 63 64 65 67 68 75 77 79 84 87 90 91 95 96 98 100 104 106 110 111 113 114 116 118 119 120 121 122 128 131 132 136 138 145 151 152 154 155 157 159 162 163 165 167 170 174 177 179 183 190 192 193 195 196 200 207 208 a 4 10 13 15 17 20 23 26 28 30 37 43 44 45 46 52 55 56 59 60 63 64 65 67 68 75 77 79 84 87 90 91 95 96 98 100 104 106 110 111 113 114 116 118 119 120 121 122 128 131 132 136 138 145 151 152 154 155 157 159 162 163 165 167 170 174 177 179 183 190 192 193 195 196 200 207 208 224 a 1 4 10 13 15 17 20 23 26 28 30 37 43 44 45 46 52 55 56 59 60 63 64 65 67 68 75 77 79 84 87 90 91 95 96 98 100 104 106 110 111 113 114 116 118 119 120 121 122 128 131 132 136 138 145 151 152 154 155 157 159 162 163 165 167 170 174 177 179 183 190 192 193 195 196 200 207 224 a 4 10 13 15 17 20 23 26 28 30 37 43 44 45 46 52 55 56 59 60 63 64 65 67 68 75 76 77 79 84 87 90 91 95 96 98 100 104 106 110 111 113 114 116 118 119 120 121 122 128 131 132 136 138 145 151 152 154 155 157 159 162 163 165 167 170 174 177 179 183 190 192 193 195 196 200 207 224 a 4 10 13 15 17 19 20 23 26 28 30 37 43 44 46 52 55 56 59 60 63 64 65 67 68 75 76 77 79 84 87 90 91 95 96 98 100 104 106 110 111 113 114 116 118 119 120 121 122 128 131 132 136 138 145 151 152 154 155 157 159 162 163 165 167 170 174 177 179 183 190 192 193 195 196 200 207 224 a 4 10 13 15 17 19 20 23 26 28 30 37 43 44 46 52 55 56 59 60 63 64 65 67 68 75 76 77 79 84 87 90 91 95 96 98 100 104 106 110 111 113 114 116 118 119 120 121 122 128 131 132 136 138 145 151 152 154 155 157 159 162 163 165 167 170 174 177 179 183 190 192 193 195 196 200 218 224 a 4 10 13 15 17 19 20 23 26 28 30 37 43 44 46 52 55 56 59 60 63 64 65 67 68 75 76 77 79 84 87 90 91 95 96 98 100 104 106 110 111 113 114 116 118 119 120 121 122 128 131 132 136 138 145 151 152 154 155 157 159 162 163 165 167 170 174 177 179 183 190 192 193 195 196 200 208 218 a 4 10 13 15 17 19 20 23 26 28 30 31 37 43 44 46 52 55 56 59 60 63 64 65 67 68 75 76 77 79 84 87 90 91 95 96 98 100 104 106 110 111 113 114 118 119 120 121 122 128 131 132 136 138 145 151 152 154 155 157 159 162 163 165 167 170 174 177 179 183 190 192 193 195 196 200 208 218 a 4 10 13 15 17 19 20 23 26 28 30 31 37 43 44 46 52 55 56 59 60 63 64 65 67 68 75 76 77 79 87 90 91 95 96 98 100 104 106 110 111 113 114 118 119 120 121 122 128 131 132 136 138 145 151 152 154 155 157 159 162 163 165 167 170 174 177 179 183 190 192 193 195 196 200 208 218 234 a 4 10 13 15 17 19 20 23 26 28 31 37 43 44 46 52 55 56 59 60 63 64 65 67 68 75 76 77 79 87 90 91 95 96 98 100 104 106 110 111 113 114 118 119 120 121 122 128 131 132 136 138 145 148 151 152 154 155 157 159 162 163 165 167 170 174 177 179 183 190 192 193 195 196 200 208 218 234 a 4 10 13 15 17 19 20 23 26 28 31 37 43 44 45 46 52 55 56 59 60 63 64 65 67 68 75 76 77 79 87 90 91 95 96 98 100 104 106 110 111 113 114 118 119 120 121 122 128 131 132 136 138 145 148 151 152 154 155 157 159 162 163 165 167 170 174 177 179 183 190 192 193 195 196 200 208 234 a 4 10 13 15 17 19 20 23 26 28 31 37 43 44 45 46 52 55 56 59 60 63 64 65 67 68 75 76 77 78 79 87 90 91 95 96 98 100 104 106 110 111 113 114 118 119 120 121 122 128 131 132 136 138 145 148 151 152 154 157 159 162 163 165 167 170 174 177 179 183 190 192 193 195 196 200 208 234 a 4 10 13 15 17 19 23 26 28 31 37 43 44 45 46 52 55 56 59 60 63 64 65 67 68 75 76 77 78 79 87 90 91 95 96 98 100 104 106 110 111 113 114 118 119 120 121 122 128 131 132 136 138 145 148 151 152 154 157 159 162 163 165 167 170 174 177 179 183 190 192 193 195 196 200 208 218 234 a 4 7 10 13 15 17 19 23 26 28 31 37 43 44 45 46 52 55 56 59 60 63 64 65 67 68 75 76 77 78 79 87 90 91 95 96 98 100 104 106 110 111 113 114 118 119 120 121 122 128 131 132 136 138 145 148 151 152 154 157 159 162 163 165 167 170 174 177 179 190 192 193 195 196 200 208 218 234 a 4 7 10 13 15 17 19 23 26 28 31 37 43 44 45 46 52 55 56 59 60 63 64 65 67 68 75 76 77 78 79 87 90 91 95 96 100 104 106 110 111 113 114 118 119 120 121 122 127 128 131 132 136 138 145 148 151 152 154 157 159 162 163 165 167 170 174 177 179 190 192 193 195 196 200 208 218 234 a 1 4 7 10 13 15 17 19 23 26 28 31 37 43 44 45 46 52 55 56 59 60 63 64 65 67 68 75 76 77 78 79 87 90 91 95 96 100 104 106 110 111 113 114 118 119 120 121 122 127 128 131 132 136 138 145 148 151 152 154 157 159 162 163 165 167 170 174 177 179 190 192 193 195 196 200 208 218 a 1 4 7 10 13 15 17 19 23 26 28 31 37 43 44 45 46 52 55 56 59 60 63 64 65 67 68 75 76 77 78 79 87 90 91 95 96 100 104 106 110 111 113 114 118 119 120 121 122 127 128 131 132 136 138 145 148 151 152 154 157 159 162 163 164 165 167 170 174 177 179 190 192 193 196 200 208 218 a 1 4 10 13 15 17 19 23 26 28 31 37 43 44 45 46 52 55 56 59 60 63 64 65 67 68 75 76 77 78 79 87 90 91 95 96 100 104 106 110 111 113 114 118 119 120 121 122 127 128 131 132 136 138 145 148 151 152 154 157 159 162 163 164 165 167 170 174 177 179 190 192 193 195 196 200 208 218 a 1 4 10 13 15 17 19 23 26 28 31 37 43 44 45 46 52 55 56 59 60 63 64 65 67 68 75 76 77 78 79 80 87 91 95 96 100 104 106 110 111 113 114 118 119 120 121 122 127 128 131 132 136 138 145 148 151 152 154 157 159 162 163 164 165 167 170 174 177 179 190 192 193 195 196 200 208 218 a 1 4 7 10 13 15 17 19 23 26 28 31 37 43 44 45 46 52 55 56 59 60 63 64 65 67 68 75 76 77 78 79 80 87 91 95 96 100 104 106 110 111 113 114 118 119 120 121 122 127 128 131 132 136 138 145 148 151 152 154 157 159 162 163 164 165 167 174 177 179 190 192 193 195 196 200 208 218 a 1 4 7 10 13 15 17 19 23 26 28 30 31 37 43 44 45 46 52 55 56 59 60 63 64 65 67 68 75 76 77 78 79 80 87 91 95 96 100 104 106 110 111 113 114 118 119 120 121 122 127 128 131 132 136 138 145 148 151 152 154 157 159 162 163 164 165 167 174 177 179 190 192 193 195 196 200 208 a 4 7 10 13 15 17 19 23 26 28 30 31 37 43 44 45 46 52 55 56 59 60 63 64 65 67 68 72 75 76 77 78 79 80 87 91 95 96 100 104 106 110 111 113 114 118 119 120 121 122 127 128 131 132 136 138 145 148 151 152 154 157 159 162 163 164 165 167 174 177 179 190 192 193 195 196 200 208 a 4 7 10 13 15 17 19 23 26 28 30 31 37 43 44 45 46 52 55 56 59 60 63 64 65 67 68 72 75 76 77 78 79 80 87 91 95 96 100 104 106 110 111 113 114 118 119 120 121 122 127 128 131 136 138 145 148 151 152 154 157 159 162 163 164 165 167 174 177 179 190 192 193 195 196 200 208 217 a 4 7 10 13 15 17 19 23 26 28 30 31 37 43 44 45 46 52 55 56 59 60 63 64 65 67 68 72 75 76 77 78 79 80 87 90 91 95 96 100 104 106 110 113 114 118 119 120 121 122 127 128 131 136 138 145 148 151 152 154 157 159 162 163 164 165 167 174 177 179 190 192 193 195 196 200 208 217 a 4 7 10 13 15 17 19 23 26 28 30 31 37 43 44 45 46 52 55 56 59 60 63 64 65 67 68 72 75 76 77 78 79 80 87 90 91 95 96 100 104 106 110 113 114 118 119 120 121 122 127 128 131 136 138 145 148 151 152 154 157 159 162 163 164 165 167 174 177 179 192 193 195 196 200 208 217 223 a 4 7 10 13 15 17 19 23 26 28 30 31 37 43 44 45 46 52 55 56 59 60 63 64 65 67 68 72 75 76 77 78 79 87 90 91 95 96 100 104 106 110 113 114 118 119 120 121 122 127 128 131 136 138 145 148 151 152 154 157 159 162 163 164 165 167 173 174 177 179 192 193 195 196 200 208 217 223 a 4 7 10 13 15 17 19 23 26 28 30 31 37 43 44 45 46 52 55 56 59 60 63 64 65 67 72 75 76 77 78 79 87 90 91 95 96 100 104 106 110 113 114 118 119 120 121 122 127 128 131 136 138 145 148 151 152 154 157 159 162 163 164 165 167 173 174 177 179 187 192 193 195 196 200 208 217 223 a 4 7 10 13 15 17 19 23 26 28 30 31 37 43 44 45 46 52 55 56 59 60 63 64 65 67 72 75 76 77 78 79 90 91 95 96 100 104 106 110 113 114 118 119 120 121 122 127 128 131 136 138 145 148 150 151 152 154 157 159 162 163 164 165 167 173 174 177 179 187 192 193 195 196 200 208 217 223 a 4 7 10 13 15 17 19 23 26 28 30 31 37 43 44 45 46 52 55 56 59 60 63 64 65 67 72 75 76 77 78 79 90 91 95 96 98 100 104 106 110 113 114 118 119 120 121 122 128 131 136 138 145 148 150 151 152 154 157 159 162 163 164 165 167 173 174 177 179 187 192 193 195 196 200 208 217 223 a 4 7 10 13 15 17 19 23 26 28 30 31 37 43 44 45 46 52 55 56 59 60 63 64 65 67 72 75 76 77 78 79 90 91 95 96 98 100 106 110 113 114 118 119 120 121 122 128 131 136 138 145 148 150 151 152 154 157 159 162 163 164 165 167 173 174 177 179 187 192 193 195 196 200 208 215 217 223 a 4 7 13 15 17 19 23 26 28 30 31 37 43 44 45 46 52 55 56 59 60 63 64 65 67 72 75 76 77 78 79 90 91 95 96 98 100 106 110 113 114 118 119 120 121 122 128 131 136 138 145 148 150 151 152 154 157 159 162 163 164 165 167 173 174 177 179 187 192 193 195 196 200 207 208 215 217 223 a 4 7 13 15 17 19 23 24 26 28 30 31 37 43 44 45 46 52 55 56 59 60 63 64 65 67 72 75 76 77 78 79 90 91 95 96 98 100 106 110 113 114 118 119 120 121 122 128 131 136 138 148 150 151 152 154 157 159 162 163 164 165 167 173 174 177 179 187 192 193 195 196 200 207 208 215 217 223 a 4 7 13 15 17 23 24 26 28 30 31 37 43 44 45 46 52 55 56 59 60 63 64 65 67 72 75 76 77 78 79 90 91 95 96 98 100 106 110 113 114 118 119 120 121 122 128 131 135 136 138 148 150 151 152 154 157 159 162 163 164 165 167 173 174 177 179 187 192 193 195 196 200 207 208 215 217 223 a 4 7 15 17 21 23 24 26 28 30 31 37 43 44 45 46 52 55 56 59 60 63 64 65 67 72 75 76 77 78 79 90 91 95 96 98 100 106 110 113 114 118 119 120 121 122 128 131 135 136 138 148 150 151 152 154 157 159 162 163 164 165 167 173 174 177 179 187 192 193 195 196 200 207 208 215 217 223 a 4 7 15 17 21 23 24 26 28 30 31 37 43 44 45 46 52 55 56 59 60 63 64 65 67 72 75 76 77 78 79 90 91 95 96 98 100 106 110 113 114 118 119 120 121 122 128 131 135 136 138 148 150 151 152 154 157 158 159 162 163 164 165 167 173 174 177 179 187 193 195 196 200 207 208 215 217 223 a 4 7 15 17 21 23 24 26 28 30 31 37 44 45 46 52 55 56 59 60 63 64 65 67 72 75 76 77 78 79 90 91 92 95 96 98 100 106 110 113 114 118 119 120 121 122 128 131 135 136 138 148 150 151 152 154 157 158 159 162 163 164 165 167 173 174 177 179 187 193 195 196 200 207 208 215 217 223 a 4 7 15 17 21 23 24 26 28 30 31 37 44 45 46 52 55 56 59 60 63 64 65 67 72 75 76 77 78 79 90 92 95 96 98 100 106 110 113 114 118 119 120 121 122 128 131 135 136 138 148 150 151 152 154 157 158 159 162 163 164 165 167 173 174 177 179 187 193 195 196 200 207 208 215 217 223 229 a 4 7 15 17 21 23 24 28 30 31 37 44 45 46 52 55 56 59 60 63 64 65 66 67 72 75 76 77 78 79 90 92 95 96 98 100 106 110 113 114 118 119 120 121 122 128 131 135 136 138 148 150 151 152 154 157 158 159 162 163 164 165 167 173 174 177 179 187 193 195 196 200 207 208 215 217 223 229 a 4 7 15 17 21 23 24 28 30 31 36 37 44 45 46 52 55 56 59 60 63 64 65 66 67 72 75 76 77 78 79 90 92 95 96 98 100 106 110 113 114 119 120 121 122 128 131 135 136 138 148 150 151 152 154 157 158 159 162 163 164 165 167 173 174 177 179 187 193 195 196 200 207 208 215 217 223 229 a 4 7 15 17 21 23 24 28 30 31 36 37 44 45 46 52 55 56 59 60 63 64 65 66 67 72 75 76 78 79 90 92 95 96 98 100 106 110 113 114 119 120 121 122 128 131 135 136 138 148 150 151 152 154 157 158 159 162 163 164 165 167 173 174 177 179 187 193 195 196 200 207 208 215 217 223 225 229 a 4 7 15 17 21 23 24 28 30 36 37 44 45 46 52 55 56 59 60 63 64 65 66 67 72 75 76 78 79 90 92 95 96 98 100 106 110 113 114 119 120 121 122 128 131 135 136 138 144 148 150 151 152 154 157 158 159 162 163 164 165 167 173 174 177 179 187 193 195 196 200 207 208 215 217 223 225 229 a 4 7 15 17 21 23 24 28 30 36 37 44 45 46 52 55 56 59 60 63 64 65 66 67 72 75 76 78 79 90 92 95 96 98 100 106 110 113 114 119 120 121 122 128 131 135 136 138 144 148 150 151 152 154 157 158 159 162 163 164 165 167 173 174 177 187 193 195 196 200 207 208 215 217 223 225 229 230 a 4 7 15 17 21 23 24 28 30 36 37 44 45 46 52 55 56 59 60 63 64 65 66 67 72 75 76 78 79 90 92 95 96 98 100 106 110 113 114 119 120 121 122 128 131 135 136 138 144 148 150 151 152 154 157 158 159 163 164 165 167 173 174 177 187 193 194 195 196 200 207 208 215 217 223 225 229 230 a 4 7 15 17 21 23 24 28 30 36 37 44 45 46 52 55 56 59 60 63 64 65 66 67 72 74 75 76 78 79 90 92 95 96 98 100 106 110 113 114 119 120 121 122 128 131 135 136 138 144 148 150 151 152 154 157 158 163 164 165 167 173 174 177 187 193 194 195 196 200 207 208 215 217 223 225 229 230 a 4 7 15 17 21 23 24 28 30 36 37 45 46 52 55 56 59 60 63 64 65 66 67 72 74 75 76 78 79 90 92 95 96 98 100 106 110 113 114 119 120 121 122 128 131 135 136 138 144 148 150 151 152 154 157 158 163 164 165 167 171 173 174 177 187 193 194 195 196 200 207 208 215 217 223 225 229 230 a 4 7 15 17 21 23 24 28 30 36 37 45 46 52 55 56 59 60 63 64 65 66 67 72 74 75 76 78 79 88 90 92 95 96 98 100 106 110 113 114 119 120 121 122 128 131 135 136 138 144 148 150 151 152 154 157 158 163 164 167 171 173 174 177 187 193 194 195 196 200 207 208 215 217 223 225 229 230 a 4 7 15 17 21 23 24 28 29 30 36 37 45 46 52 55 56 59 60 63 64 65 66 67 72 74 75 76 78 79 88 90 92 95 96 98 100 106 110 113 114 119 120 121 122 128 131 135 136 138 144 148 150 151 152 154 157 158 163 164 167 171 173 174 177 187 193 194 195 200 207 208 215 217 223 225 229 230 a 4 7 15 17 21 23 24 28 29 30 36 37 45 46 52 55 56 59 60 63 64 65 66 67 72 74 76 78 79 88 90 92 95 96 98 100 106 110 113 114 119 120 121 122 128 131 135 136 138 140 144 148 150 151 152 154 157 158 163 164 167 171 173 174 177 187 193 194 195 200 207 208 215 217 223 225 229 230 a 4 7 15 17 21 23 24 28 29 30 36 37 45 46 52 55 56 59 60 63 64 65 66 67 72 74 76 78 79 85 88 90 92 95 96 98 100 106 110 113 114 119 120 121 122 128 131 135 136 138 140 144 150 151 152 154 157 158 163 164 167 171 173 174 177 187 193 194 195 200 207 208 215 217 223 225 229 230 a 7 15 17 21 23 24 28 29 30 36 37 45 46 52 55 56 59 60 63 64 65 66 67 72 74 76 78 79 85 88 90 92 95 96 98 100 106 110 113 114 119 120 121 122 128 131 135 136 138 140 143 144 150 151 152 154 157 158 163 164 167 171 173 174 177 187 193 194 195 200 207 208 215 217 223 225 229 230 a 7 15 17 21 23 24 28 29 30 36 37 45 46 49 52 56 59 60 63 64 65 66 67 72 74 76 78 79 85 88 90 92 95 96 98 100 106 110 113 114 119 120 121 122 128 131 135 136 138 140 143 144 150 151 152 154 157 158 163 164 167 171 173 174 177 187 193 194 195 200 207 208 215 217 223 225 229 230 a 7 15 17 21 23 24 29 30 36 37 45 46 49 52 56 59 60 63 64 65 66 67 72 74 76 78 79 85 88 90 92 95 96 98 100 106 110 113 114 119 120 121 122 125 128 131 135 136 138 140 143 144 150 151 152 154 157 158 163 164 167 171 173 174 177 187 193 194 195 200 207 208 215 217 223 225 229 230 a 7 15 17 21 23 24 29 30 36 37 45 46 49 52 56 59 60 63 64 66 67 72 74 76 78 79 85 88 90 92 95 96 98 100 106 110 113 114 119 120 121 122 125 128 131 135 136 138 140 143 144 150 151 152 154 157 158 163 164 167 171 173 174 177 181 187 193 194 195 200 207 208 215 217 223 225 229 230 a 7 12 15 17 21 23 24 29 30 36 37 45 46 49 52 56 59 60 63 64 66 67 72 74 76 78 85 88 90 92 95 96 98 100 106 110 113 114 119 120 121 122 125 128 131 135 136 138 140 143 144 150 151 152 154 157 158 163 164 167 171 173 174 177 181 187 193 194 195 200 207 208 215 217 223 225 229 230 a 6 7 12 15 17 21 23 24 29 30 36 37 45 46 49 52 56 59 60 63 64 66 67 72 74 76 78 85 88 90 92 95 96 98 100 106 110 113 114 119 120 121 122 125 128 131 135 136 138 140 143 144 150 151 152 154 157 158 164 167 171 173 174 177 181 187 193 194 195 200 207 208 215 217 223 225 229 230 a 6 7 12 15 17 21 23 24 29 30 36 37 45 46 48 49 52 56 59 60 63 64 66 67 72 74 76 78 85 88 90 92 95 98 100 106 110 113 114 119 120 121 122 125 128 131 135 136 138 140 143 144 150 151 152 154 157 158 164 167 171 173 174 177 181 187 193 194 195 200 207 208 215 217 223 225 229 230 a 6 7 12 15 17 21 23 24 29 30 36 37 45 46 48 49 52 56 59 60 63 64 66 67 72 74 76 78 85 88 90 92 95 98 106 110 113 114 119 120 121 122 125 128 131 135 136 138 140 143 144 150 151 152 154 157 158 164 167 171 173 174 177 181 187 193 194 195 200 207 208 215 217 222 223 225 229 230 a 6 7 12 15 17 21 23 24 29 30 36 37 45 46 48 49 52 56 59 60 63 64 66 67 72 74 78 85 88 90 92 95 98 106 110 113 114 119 120 121 122 125 128 131 135 136 138 140 143 144 150 151 152 153 154 157 158 164 167 171 173 174 177 181 187 193 194 195 200 207 208 215 217 222 223 225 229 230 c Step: 210 #END: [Tue Sep 26 08:35:47 2023]