#BEGIN: [Tue Sep 26 05:37:12 2023]
#HOST: s09
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-cpu-banbaralab-longest2
#INSTANCE1: /benchmark/random_instance/random_instance017_graph004.col
#INSTANCE2: /benchmark/random_instance/random_instance017_graph004_01.dat
#COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t --ulimit cpu=1800 -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab --longest -t4 /benchmark/random_instance/random_instance017_graph004.col /benchmark/random_instance/random_instance017_graph004_01.dat
c /benchmark/random_instance/random_instance017_graph004.col
c /benchmark/random_instance/random_instance017_graph004_01.dat
s 207 45 89 35 46 109 197 56 25 128 162 163 147 23 122 31 146 215 60 196 203 173 65 209 59 220 180 187 130 22 157 66 170 214 67 117 12 151 108 7 96 73 149 21 91 17 134 80 92 166 5 97 44 29 69 40 54 53 55 213 83 1 119 123 127 81 3 216 164 26 33 152 169
t 57 147 206 82 35 23 212 199 15 40 168 60 20 156 205 190 103 110 119 162 25 79 54 104 136 159 77 111 115 27 87 143 96 219 116 95 48 146 167 68 102 108 43 154 26 158 5 135 2 209 90 180 10 7 13 47 107 124 185 142 217 56 64 188 41 113 51 151 112 198 179 129 203
a YES
a 1 3 5 7 12 17 21 22 23 25 26 29 31 33 35 40 44 45 46 53 54 55 56 59 60 65 66 67 69 73 80 81 83 89 91 92 96 97 108 109 117 119 122 123 127 128 130 134 146 147 149 151 152 157 162 163 164 166 169 170 173 180 187 196 197 203 207 209 213 214 215 216 220
a 1 3 5 7 12 17 21 22 23 25 26 29 31 33 40 44 45 46 53 54 55 56 59 60 65 66 67 69 70 73 80 81 83 89 91 92 96 97 108 109 117 119 122 123 127 128 130 134 146 147 149 151 152 157 162 163 164 166 169 170 173 180 187 196 197 203 207 209 213 214 215 216 220
a 1 3 5 7 12 17 21 22 23 25 26 29 31 33 40 44 45 46 53 54 55 56 59 60 65 66 67 69 70 73 80 81 82 83 89 91 92 96 97 108 117 119 122 123 127 128 130 134 146 147 149 151 152 157 162 163 164 166 169 170 173 180 187 196 197 203 207 209 213 214 215 216 220
a 1 3 5 7 12 17 21 22 23 25 26 29 31 33 40 44 45 46 53 54 55 56 59 60 65 66 67 69 70 80 81 82 83 87 89 91 92 96 97 108 117 119 122 123 127 128 130 134 146 147 149 151 152 157 162 163 164 166 169 170 173 180 187 196 197 203 207 209 213 214 215 216 220
a 1 3 5 7 12 17 21 22 23 25 26 29 31 33 40 44 45 46 53 54 55 56 59 60 65 66 67 69 70 75 80 81 82 83 87 89 91 92 96 97 108 117 119 122 123 127 128 130 134 146 147 149 151 152 157 162 163 164 166 169 173 180 187 196 197 203 207 209 213 214 215 216 220
a 1 3 5 7 12 17 21 22 23 26 29 31 33 40 44 45 46 53 54 55 56 59 60 65 66 67 69 70 75 80 81 82 83 87 89 91 92 96 97 108 117 119 122 123 127 128 130 134 146 147 149 151 152 157 162 163 164 166 169 173 180 187 196 197 202 203 207 209 213 214 215 216 220
a 1 3 7 12 17 21 22 23 26 29 31 33 40 44 45 46 53 54 55 56 59 60 65 66 67 69 70 75 80 81 82 83 87 89 91 92 96 97 108 117 119 122 123 127 128 130 134 137 146 147 149 151 152 157 162 163 164 166 169 173 180 187 196 197 202 203 207 209 213 214 215 216 220
a 1 3 7 12 17 21 22 23 26 29 31 33 40 44 45 46 53 54 55 56 59 60 65 66 67 69 70 80 81 82 83 87 89 91 92 96 97 108 117 119 122 123 127 128 130 134 137 146 147 149 151 152 157 162 163 164 166 169 170 173 180 187 196 197 202 203 207 209 213 214 215 216 220
a 1 3 7 12 17 21 22 23 26 29 31 33 40 44 45 46 53 54 55 56 59 60 65 66 67 69 70 80 81 82 83 87 89 91 92 96 97 108 117 119 122 123 127 128 130 134 137 146 147 149 151 152 157 162 163 164 166 169 170 173 180 187 196 197 199 202 203 207 209 213 214 216 220
a 1 3 7 12 17 21 22 23 26 29 31 33 37 40 44 45 46 53 54 55 56 59 60 65 66 67 69 70 80 81 82 83 87 89 91 92 96 97 108 117 119 122 123 127 128 130 134 137 146 147 149 151 152 157 162 163 164 166 169 170 173 187 196 197 199 202 203 207 209 213 214 216 220
a 1 3 7 12 17 21 22 23 26 29 31 33 37 40 44 45 46 53 54 55 56 59 60 65 66 67 69 70 73 80 81 82 83 89 91 92 96 97 108 117 119 122 123 127 128 130 134 137 146 147 149 151 152 157 162 163 164 166 169 170 173 187 196 197 199 202 203 207 209 213 214 216 220
a 1 3 7 12 17 21 22 23 26 29 31 33 37 40 44 45 46 53 54 55 56 59 60 65 66 67 69 70 73 80 81 82 83 89 91 92 96 97 108 117 119 122 123 127 128 130 134 137 146 147 149 151 152 157 163 164 166 169 170 173 187 196 197 199 202 203 207 208 209 213 214 216 220
a 1 3 7 12 17 21 22 23 26 29 31 33 37 40 44 45 46 53 54 55 56 59 60 65 66 67 69 70 73 80 81 82 83 89 91 92 96 97 108 117 119 122 123 127 128 130 134 137 146 147 149 151 152 157 163 164 166 169 170 173 187 196 197 202 203 207 208 209 213 214 215 216 220
a 1 3 7 12 17 21 22 23 26 29 31 33 37 40 44 45 46 53 54 55 56 59 60 65 66 67 69 70 73 80 81 82 83 89 91 92 96 97 108 117 119 121 123 127 128 130 134 137 146 147 149 151 152 157 163 164 166 169 170 173 187 196 197 202 203 207 208 209 213 214 215 216 220
a 1 3 7 12 17 21 22 23 26 29 31 33 37 40 44 45 46 53 54 55 56 59 60 65 66 67 69 70 73 80 81 82 83 89 91 92 96 97 108 117 119 121 123 127 128 130 134 137 146 147 149 151 152 157 163 164 166 169 170 173 187 196 197 199 202 203 207 208 209 213 214 216 220
a 1 3 7 12 17 21 22 23 26 29 31 33 37 40 44 45 46 53 54 55 56 59 60 65 66 69 70 73 80 81 82 83 89 91 92 96 97 108 117 119 121 123 127 128 130 134 135 137 146 147 149 151 152 157 163 164 166 169 170 173 187 196 197 199 202 203 207 208 209 213 214 216 220
a 1 7 12 17 21 22 23 26 29 31 33 37 40 44 45 46 53 54 55 56 59 60 65 66 69 70 73 80 81 82 83 89 91 92 96 97 108 113 117 119 121 123 127 128 130 134 135 137 146 147 149 151 152 157 163 164 166 169 170 173 187 196 197 199 202 203 207 208 209 213 214 216 220
a 1 7 12 17 21 22 23 26 29 31 33 37 40 44 45 46 53 54 55 56 59 60 65 66 69 70 73 80 81 82 83 89 91 92 96 97 108 113 117 119 121 123 127 128 130 134 135 137 146 147 149 151 152 157 163 164 166 169 170 173 176 187 196 199 202 203 207 208 209 213 214 216 220
a 1 7 12 17 21 22 23 26 29 31 33 37 40 44 45 46 53 54 55 56 59 60 65 66 69 70 73 80 81 82 83 89 91 92 96 97 108 113 117 119 121 123 127 128 130 134 135 137 146 147 149 151 152 157 163 164 166 169 170 173 176 187 196 202 203 207 208 209 213 214 215 216 220
a 1 7 12 17 21 22 23 26 29 31 33 37 40 44 45 46 53 54 55 56 59 60 65 66 69 73 80 81 82 83 89 91 92 96 97 104 108 113 117 119 121 123 127 128 130 134 135 137 146 147 149 151 152 157 163 164 166 169 170 173 176 187 196 202 203 207 208 209 213 214 215 216 220
a 1 7 12 17 21 22 23 25 26 29 31 33 37 40 44 45 46 54 55 56 59 60 65 66 69 73 80 81 82 83 89 91 92 96 97 104 108 113 117 119 121 123 127 128 130 134 135 137 146 147 149 151 152 157 163 164 166 169 170 173 176 187 196 202 203 207 208 209 213 214 215 216 220
a 1 3 7 12 17 21 22 23 25 26 29 31 33 37 40 44 45 46 54 55 56 59 60 65 66 69 73 80 81 82 83 89 91 92 96 97 104 108 117 119 121 123 127 128 130 134 135 137 146 147 149 151 152 157 163 164 166 169 170 173 176 187 196 202 203 207 208 209 213 214 215 216 220
a 1 3 7 12 17 21 22 23 25 26 29 31 33 37 40 44 45 46 54 55 56 59 60 65 66 69 73 80 81 82 83 89 91 92 96 97 104 108 117 119 121 123 127 128 130 134 135 137 139 146 149 151 152 157 163 164 166 169 170 173 176 187 196 202 203 207 208 209 213 214 215 216 220
a 1 3 7 12 17 21 22 23 26 29 31 33 37 40 44 45 46 53 54 55 56 59 60 65 66 69 73 80 81 82 83 89 91 92 96 97 104 108 117 119 121 123 127 128 130 134 135 137 139 146 149 151 152 157 163 164 166 169 170 173 176 187 196 202 203 207 208 209 213 214 215 216 220
a 1 3 7 12 17 21 22 23 26 29 31 33 37 40 44 45 46 53 54 55 56 59 60 65 66 69 73 80 81 82 83 89 91 92 94 96 97 104 108 117 119 121 123 127 128 130 134 135 137 139 146 149 151 152 157 163 164 166 169 170 173 176 187 196 202 203 208 209 213 214 215 216 220
a 1 3 7 12 17 21 22 23 26 29 31 33 37 40 44 45 46 53 54 55 56 59 60 65 66 69 73 80 81 82 83 89 91 92 94 96 97 104 108 117 119 122 123 127 128 130 134 135 137 139 146 149 151 152 157 163 164 166 169 170 173 176 187 196 202 203 208 209 213 214 215 216 220
a 1 3 7 12 17 21 22 23 26 29 31 33 37 40 44 45 46 53 54 55 56 59 60 65 66 73 80 81 82 83 89 91 92 94 96 97 104 108 117 119 122 123 127 128 130 134 135 137 139 146 149 151 152 157 163 164 166 168 169 170 173 176 187 196 202 203 208 209 213 214 215 216 220
a 1 3 7 12 17 21 22 23 26 29 31 33 37 40 44 45 46 53 54 55 56 59 60 65 66 73 75 80 81 82 83 89 91 92 94 96 97 104 108 117 119 122 123 127 128 130 134 135 137 139 146 149 151 152 157 163 164 166 168 169 173 176 187 196 202 203 208 209 213 214 215 216 220
a 1 3 7 12 17 21 22 23 26 29 31 33 37 40 44 45 46 53 54 55 56 60 65 66 73 75 80 81 82 83 89 91 92 94 96 97 104 108 117 119 122 123 127 128 130 134 135 137 139 143 146 149 151 152 157 163 164 166 168 169 173 176 187 196 202 203 208 209 213 214 215 216 220
a 1 3 7 12 17 21 22 23 26 29 31 33 37 40 44 45 46 53 54 55 56 60 65 66 73 75 80 81 82 83 89 91 92 94 96 97 104 108 117 119 122 123 127 128 130 134 135 137 139 143 146 149 151 152 157 160 163 164 166 168 169 173 176 196 202 203 208 209 213 214 215 216 220
a 1 3 7 12 17 21 22 23 26 29 31 33 37 40 44 45 46 52 53 54 55 56 60 65 66 73 75 80 81 82 83 89 91 92 94 96 97 104 108 117 119 122 123 127 128 130 134 135 137 139 143 146 149 151 152 160 163 164 166 168 169 173 176 196 202 203 208 209 213 214 215 216 220
a 1 3 7 12 17 21 22 23 26 29 31 33 37 44 45 46 52 53 54 55 56 60 65 66 73 75 80 81 82 83 89 91 92 94 96 97 104 108 117 119 122 123 127 128 130 134 135 137 139 143 146 149 151 152 160 163 164 166 168 169 173 176 178 196 202 203 208 209 213 214 215 216 220
a 1 3 7 12 17 22 23 26 29 31 33 37 44 45 46 52 53 54 55 56 60 65 66 73 75 80 81 82 83 89 91 92 94 96 97 104 108 117 119 122 123 127 128 130 134 135 137 139 143 146 149 151 152 160 163 164 166 168 169 173 176 178 196 200 202 203 208 209 213 214 215 216 220
a 1 3 7 12 17 22 23 26 29 31 33 37 40 44 45 46 52 53 54 55 56 60 65 66 73 75 80 81 82 83 89 91 92 94 96 97 104 108 117 119 122 123 127 128 130 134 135 137 139 143 146 149 151 152 160 163 164 166 168 169 173 176 178 196 200 202 203 208 209 213 214 215 216
a 1 3 7 12 17 21 22 23 29 31 33 37 40 44 45 46 52 53 54 55 56 60 65 66 73 75 80 81 82 83 89 91 92 94 96 97 104 108 117 119 122 123 127 128 130 134 135 137 139 143 146 149 151 152 160 163 164 166 168 169 173 176 178 196 200 202 203 208 209 213 214 215 216
a 1 3 7 12 17 21 22 23 29 31 33 37 40 44 45 46 52 53 54 55 56 60 65 66 73 75 80 81 82 83 89 91 92 94 96 97 104 108 117 119 122 123 127 128 130 134 135 137 139 143 146 149 151 152 160 163 164 166 168 169 173 176 178 196 200 202 203 208 209 213 214 215 220
a 1 3 7 12 17 21 22 23 29 31 33 37 40 44 45 46 52 53 54 55 56 60 65 66 73 75 80 81 83 89 91 92 94 96 97 104 108 109 117 119 122 123 127 128 130 134 135 137 139 143 146 149 151 152 160 163 164 166 168 169 173 176 178 196 200 202 203 208 209 213 214 215 220
a 1 3 7 12 17 21 22 23 26 29 31 33 37 40 44 45 46 52 53 54 55 56 60 65 66 73 75 80 81 83 89 91 92 94 96 97 104 108 109 117 119 122 123 127 128 130 134 135 137 139 143 146 149 151 152 160 163 164 166 168 169 173 176 178 196 200 202 203 208 209 213 214 215
a 1 3 7 12 17 21 22 23 26 29 31 33 37 40 44 45 46 52 53 54 55 56 60 65 66 73 75 80 81 83 89 91 92 94 96 97 104 108 109 117 119 122 123 127 128 130 134 135 137 139 143 146 149 151 152 160 163 164 166 168 169 173 174 176 178 196 200 202 203 208 209 213 215
a 1 3 7 12 17 21 22 23 26 29 31 33 37 40 44 45 46 52 53 54 55 56 60 65 66 73 75 80 81 83 89 91 92 94 96 97 104 106 108 109 117 119 122 123 127 128 130 134 135 137 139 143 146 149 151 152 160 163 164 166 169 173 174 176 178 196 200 202 203 208 209 213 215
a 3 7 12 17 21 22 23 26 29 31 33 37 40 44 45 46 52 53 54 55 56 60 65 66 73 75 80 81 83 89 91 92 94 96 97 104 106 108 109 117 119 122 123 127 128 130 134 135 137 139 143 146 149 151 152 160 163 164 166 168 169 173 174 176 178 196 200 202 203 208 209 213 215
a 1 3 7 12 17 21 22 26 29 31 33 37 40 44 45 46 52 53 54 55 56 60 65 66 73 75 80 81 83 89 91 92 94 96 97 104 106 108 109 117 119 122 123 127 128 130 134 135 137 139 143 146 149 151 152 160 163 164 166 168 169 173 174 176 178 196 200 202 203 208 209 213 215
a 1 3 7 12 17 21 22 26 29 31 33 37 40 44 45 46 52 53 54 55 56 60 65 66 73 75 80 81 83 89 91 92 96 97 104 106 108 109 117 119 122 123 127 128 130 134 135 137 139 143 146 149 151 152 160 163 164 166 168 169 173 174 176 178 196 200 202 203 207 208 209 213 215
a 1 3 12 17 21 22 26 29 31 33 37 40 44 45 46 52 53 54 55 56 60 65 66 73 75 80 81 83 89 91 92 96 97 104 106 108 109 117 119 122 123 127 128 130 134 135 137 139 143 146 149 151 152 160 163 164 166 168 169 173 174 176 178 187 196 200 202 203 207 208 209 213 215
a 1 3 7 12 17 21 22 26 29 31 33 37 40 44 45 46 52 53 54 55 56 60 65 66 73 75 80 81 83 89 91 92 96 97 104 106 108 109 117 119 122 123 127 128 130 134 135 137 139 143 146 149 151 152 160 163 164 166 168 169 173 174 176 178 187 196 200 202 203 207 208 209 213
a 1 3 7 12 17 22 26 29 31 33 37 40 44 45 46 52 53 54 55 56 60 65 66 73 75 80 81 83 89 91 92 96 97 104 106 108 109 117 119 122 123 127 128 130 134 135 137 139 143 146 149 151 152 160 163 164 166 168 169 173 174 176 178 187 196 200 202 203 207 208 209 213 214
a 1 3 7 12 17 21 22 26 29 31 33 37 40 44 45 46 52 53 54 55 56 60 65 66 73 75 80 81 83 89 91 92 96 97 104 106 108 109 117 119 122 123 127 130 134 135 137 139 143 146 149 151 152 160 163 164 166 168 169 173 174 176 178 187 196 200 202 203 207 208 209 213 214
a 1 3 7 12 17 21 22 26 29 31 33 37 40 44 45 46 52 53 54 55 56 60 65 66 73 75 80 81 83 89 91 96 97 104 106 108 109 117 119 122 123 127 128 130 134 135 137 139 143 146 149 151 152 160 163 164 166 168 169 173 174 176 178 187 196 200 202 203 207 208 209 213 214
a 1 3 7 12 17 21 22 26 29 31 33 37 40 44 45 46 52 53 54 55 56 60 65 66 73 75 80 81 83 89 91 92 96 97 104 106 108 109 117 119 122 123 127 128 130 134 135 137 139 143 146 149 151 152 160 163 164 166 168 169 173 174 176 178 187 200 202 203 207 208 209 213 214
a 1 3 7 12 17 21 22 26 29 31 33 37 40 44 45 46 52 53 54 55 56 60 65 66 73 75 80 81 83 89 91 92 96 97 101 104 106 108 109 117 119 122 123 127 128 130 134 135 137 139 143 146 149 151 152 160 163 164 166 168 169 173 174 176 178 200 202 203 207 208 209 213 214
a 1 3 7 12 17 21 22 26 29 31 33 37 40 44 45 46 52 53 54 55 56 60 65 66 73 75 80 81 83 89 91 92 96 97 101 104 106 108 109 117 119 122 123 127 128 130 134 135 137 139 143 146 149 151 152 160 163 164 166 168 169 173 174 176 178 179 200 202 203 207 208 209 214
a 1 3 7 12 17 21 22 26 29 31 37 40 44 45 46 52 53 54 55 56 60 65 66 73 75 80 81 83 89 91 92 96 97 101 104 106 108 109 117 119 122 123 127 128 130 134 135 137 139 143 146 149 151 152 160 163 164 166 168 169 173 174 176 178 179 200 202 203 207 208 209 214 220
a 1 3 5 7 12 17 21 22 26 29 31 37 40 44 45 46 52 53 54 55 56 60 65 66 73 75 80 81 83 89 91 92 96 97 101 104 106 108 109 117 119 122 123 127 128 130 134 135 137 139 143 146 149 151 152 160 163 164 166 168 169 173 174 176 178 179 200 202 203 207 208 209 220
a 1 3 5 7 12 17 21 22 26 31 37 40 44 45 46 52 53 54 55 56 60 65 66 73 75 80 81 83 89 91 92 96 97 101 104 106 108 109 117 119 122 123 127 128 130 134 135 137 139 143 146 149 151 152 160 163 164 166 168 169 173 174 176 178 179 196 200 202 203 207 208 209 220
a 1 3 7 12 17 21 22 26 29 31 37 40 44 45 46 52 53 54 55 56 60 65 66 73 75 80 81 83 89 91 92 96 97 101 104 106 108 109 117 119 122 123 127 128 130 134 135 137 139 143 146 149 151 152 160 163 164 166 168 169 173 174 176 178 179 196 200 202 203 207 208 209 220
a 1 3 5 7 12 17 21 22 26 29 31 37 40 44 45 46 52 53 54 55 56 60 65 66 73 75 80 81 83 89 91 92 96 97 101 104 106 108 109 117 119 123 127 128 130 134 135 137 139 143 146 149 151 152 160 163 164 166 168 169 173 174 176 178 179 196 200 202 203 207 208 209 220
a 1 3 5 7 12 17 21 22 26 29 31 37 40 44 45 46 52 53 54 55 56 60 65 66 73 75 80 81 83 89 91 92 96 97 101 104 106 108 109 117 119 122 123 127 128 130 134 135 137 139 143 146 149 151 152 160 163 164 166 168 169 173 174 176 178 179 196 200 202 203 207 208 209
a 1 3 5 7 12 17 21 22 26 29 31 37 40 44 45 46 52 53 54 55 56 60 65 66 73 75 80 81 83 89 91 92 96 97 101 104 106 108 109 117 119 122 123 127 128 129 130 134 135 139 143 146 149 151 152 160 163 164 166 168 169 173 174 176 178 179 196 200 202 203 207 208 209
a 1 3 5 7 12 17 21 22 26 29 31 33 37 40 44 45 46 52 53 54 55 56 60 65 66 73 75 80 81 83 89 91 92 96 97 101 104 106 108 109 117 119 122 123 127 128 129 130 134 135 139 143 146 149 151 152 160 163 164 166 168 169 173 174 176 178 179 196 200 202 203 207 208
a 1 3 5 7 12 17 21 22 26 29 31 33 37 40 44 45 46 52 53 54 55 56 60 65 66 73 75 80 81 83 89 91 92 96 97 101 104 106 108 109 117 119 122 123 127 128 129 130 134 135 139 143 146 149 151 160 163 164 166 168 169 173 174 176 178 179 196 200 202 203 207 208 214
a 3 5 7 12 17 21 22 26 29 31 33 37 40 44 45 46 52 53 54 55 56 60 65 66 73 75 80 81 83 89 91 92 96 97 101 104 106 108 109 117 119 122 123 127 128 129 130 134 135 139 143 146 149 151 160 163 164 166 168 169 173 174 176 178 179 196 200 202 203 207 208 213 214
a 3 5 7 12 17 21 22 26 29 31 33 37 40 44 45 46 52 53 54 55 56 60 65 66 73 75 80 81 83 89 91 92 96 97 101 104 106 108 109 117 119 122 123 127 128 129 130 134 135 139 143 146 149 151 152 160 163 164 166 168 169 173 174 176 178 179 196 200 202 203 207 208 214
a 1 3 5 7 12 17 21 22 26 29 31 33 37 40 44 45 46 52 53 54 55 56 60 65 66 73 75 80 81 83 89 91 92 96 97 101 104 106 108 109 117 119 122 123 127 128 129 130 134 135 139 143 146 149 151 152 160 163 164 166 168 173 174 176 178 179 196 200 202 203 207 208 214
a 1 3 5 7 12 17 21 22 26 29 31 33 37 40 44 45 46 52 53 54 55 56 60 65 66 73 75 80 81 83 89 91 92 96 97 101 104 106 108 109 117 119 122 123 127 128 130 134 135 139 143 146 149 151 152 160 163 164 166 168 173 174 176 178 179 187 196 200 202 203 207 208 214
a 1 3 5 7 12 17 21 22 26 29 31 33 35 37 40 44 45 46 52 53 54 55 56 60 65 66 73 75 80 81 83 89 91 92 96 97 101 104 106 108 109 117 119 122 123 127 128 130 134 135 139 143 146 149 151 152 160 163 164 166 168 173 174 176 178 179 187 196 200 203 207 208 214
a 1 3 5 7 12 17 21 22 23 26 29 31 33 35 37 40 44 45 46 52 53 54 55 56 60 65 66 75 80 81 83 89 91 92 96 97 101 104 106 108 109 117 119 122 123 127 128 130 134 135 139 143 146 149 151 152 160 163 164 166 168 173 174 176 178 179 187 196 200 203 207 208 214
a 1 3 5 7 12 17 21 22 23 26 29 31 33 35 37 40 44 45 46 52 53 54 55 56 60 65 66 75 80 81 83 89 91 92 96 97 101 104 106 108 109 117 119 122 123 127 128 130 134 135 139 143 146 149 151 152 160 163 164 166 168 173 174 176 178 179 187 196 200 203 207 208 209
a 1 3 5 7 12 17 21 22 23 26 29 31 33 35 37 40 44 45 46 52 53 54 55 56 60 65 66 75 80 81 83 89 91 92 96 97 100 101 104 106 108 109 117 119 122 123 127 128 130 134 135 139 143 146 149 151 152 163 164 166 168 173 174 176 178 179 187 196 200 203 207 208 209
a 1 3 5 7 12 17 21 22 23 26 29 31 33 35 37 40 44 45 46 53 54 55 56 60 65 66 75 80 81 83 89 91 92 96 97 100 101 104 106 108 109 117 119 122 123 127 128 130 134 135 139 143 146 149 151 152 163 164 166 168 169 173 174 176 178 179 187 196 200 203 207 208 209
a 1 3 5 7 12 17 21 22 23 26 29 31 33 35 37 40 44 45 46 53 54 55 56 60 65 66 75 80 81 83 89 91 92 96 97 100 101 104 106 108 109 117 119 122 123 127 128 130 134 135 139 143 146 149 151 152 163 164 166 168 169 173 174 176 178 179 187 196 200 203 207 208 213
a 1 3 5 7 12 17 21 22 23 26 29 31 33 35 37 40 44 45 46 53 54 55 56 60 65 66 75 80 81 83 89 91 92 96 97 100 101 104 106 108 109 117 119 122 123 127 128 130 134 135 139 143 146 149 151 152 157 163 164 166 168 169 173 174 176 178 179 187 196 200 203 207 208
a 1 3 5 7 12 17 21 22 23 26 29 31 33 35 37 40 44 45 46 53 54 55 56 60 65 66 75 80 81 83 89 91 92 96 97 100 101 104 106 108 109 117 119 122 123 127 128 130 134 135 139 143 146 151 152 157 160 163 164 166 168 169 173 174 176 178 179 187 196 200 203 207 208
a 1 3 5 7 12 17 21 22 23 26 29 31 33 35 37 40 44 45 46 53 54 55 56 65 66 75 80 81 83 89 91 92 96 97 100 101 104 106 108 109 117 119 122 123 127 128 130 134 135 139 143 146 149 151 152 157 160 163 164 166 168 169 173 174 176 178 179 187 196 200 203 207 208
a 1 3 5 7 12 17 21 22 23 26 29 31 33 35 37 40 44 45 46 53 54 55 56 65 66 73 75 80 81 83 89 91 92 96 97 100 101 104 106 108 109 117 119 122 123 127 128 130 134 135 139 143 146 149 151 152 157 160 163 164 166 168 169 173 174 176 178 179 187 196 200 203 208
a 1 3 5 7 12 17 21 22 23 26 29 31 33 35 37 40 44 46 53 54 55 56 65 66 73 75 80 81 83 89 91 92 96 97 100 101 104 106 108 109 117 119 122 123 127 128 130 134 135 139 143 146 149 151 152 157 160 163 164 166 168 169 173 174 176 178 179 187 196 200 203 207 208
a 3 5 7 12 17 21 22 23 26 29 31 33 35 37 40 44 46 53 54 55 56 60 65 66 73 75 80 81 83 89 91 92 96 97 100 101 104 106 108 109 117 119 122 123 127 128 130 134 135 139 143 146 149 151 152 157 160 163 164 166 168 169 173 174 176 178 179 187 196 200 203 207 208
a 3 5 7 12 17 21 22 23 26 29 31 33 35 40 44 46 53 54 55 56 60 65 66 73 75 80 81 83 89 91 92 96 97 100 101 104 106 108 109 117 119 122 123 127 128 130 134 135 139 143 146 149 151 152 157 160 163 164 166 168 169 173 174 176 178 179 180 187 196 200 203 207 208
a 3 5 7 12 17 21 22 23 26 29 31 33 35 40 44 45 46 53 54 55 56 60 65 66 73 75 80 81 83 89 91 92 96 97 100 101 104 106 108 109 117 119 122 123 127 128 130 134 135 139 143 146 149 151 152 157 160 163 164 166 168 169 173 174 176 178 179 180 187 196 200 203 207
a 1 3 5 7 12 17 21 22 23 26 29 31 33 35 40 44 45 46 53 54 55 56 60 65 66 73 75 80 81 83 89 91 92 96 97 100 101 104 106 108 109 117 119 122 123 127 128 130 134 135 139 143 146 149 151 152 157 160 163 164 166 168 169 173 174 176 178 179 180 187 196 200 203
a 1 3 5 7 12 17 21 22 23 26 29 31 33 35 40 44 45 46 53 54 55 56 60 65 66 73 75 80 81 83 89 91 92 96 97 100 101 104 106 108 109 117 119 122 123 127 128 130 134 135 139 143 146 149 151 152 157 160 163 164 166 168 173 174 176 178 179 180 187 190 196 200 203
a 1 3 5 7 12 17 21 22 23 26 29 31 33 35 40 44 45 46 53 54 55 56 60 65 66 73 75 80 81 83 89 91 92 96 97 100 101 104 106 108 109 117 119 122 123 127 128 130 134 135 139 143 146 149 151 152 157 160 163 164 166 168 173 174 176 178 179 180 187 190 196 200 209
a 1 3 5 7 12 17 21 22 23 26 29 31 33 35 40 44 45 46 53 54 55 56 60 65 66 73 75 80 81 83 89 91 92 96 97 100 101 104 106 108 109 117 119 122 123 127 128 130 134 135 139 143 146 149 151 152 157 160 163 164 166 168 173 174 176 178 179 180 187 190 200 203 209
a 1 3 5 7 12 17 21 22 23 26 29 31 33 35 40 44 45 46 53 54 55 56 60 65 66 73 75 80 81 83 89 91 92 96 97 100 101 104 106 108 109 117 119 122 123 127 128 130 134 135 139 143 146 149 150 151 152 157 160 163 164 166 168 173 174 176 178 179 180 187 190 200 203
a 1 3 5 7 12 17 21 22 23 26 29 31 33 35 40 44 45 46 53 54 55 56 60 65 66 73 75 80 81 83 88 89 91 92 96 97 100 101 104 106 109 117 119 122 123 127 128 130 134 135 139 143 146 149 150 151 152 157 160 163 164 166 168 173 174 176 178 179 180 187 190 200 203
a 1 3 5 7 12 17 21 22 23 26 29 31 33 40 44 45 46 53 54 55 56 60 65 66 73 75 80 81 83 88 89 91 92 96 97 100 101 104 106 109 117 119 122 123 127 128 130 134 135 139 143 146 149 150 151 152 157 160 163 164 166 168 173 174 176 178 179 180 187 190 200 202 203
a 1 3 5 7 12 17 21 22 23 26 29 31 33 40 44 45 46 53 54 55 56 60 65 66 73 80 81 83 88 89 91 92 96 97 100 101 104 106 109 117 119 122 123 127 128 129 130 134 135 139 143 146 149 150 151 152 157 160 163 164 166 168 173 174 176 178 179 180 187 190 200 202 203
a 1 3 5 7 12 17 21 22 23 26 29 31 33 40 44 45 46 53 54 55 60 65 66 73 80 81 83 88 89 91 92 96 97 100 101 104 106 109 117 119 122 123 127 128 129 130 134 135 139 143 146 149 150 151 152 157 160 163 164 166 168 173 174 176 178 179 180 187 190 200 202 203 209
a 1 3 5 7 12 17 21 22 23 26 29 31 33 40 44 45 46 53 54 55 60 65 66 73 80 81 83 88 89 91 96 97 100 101 104 106 109 117 119 122 123 127 128 129 130 134 135 139 143 146 149 150 151 152 157 160 163 164 166 168 173 174 176 178 179 180 187 190 200 202 203 209 213
a 1 3 5 7 12 17 21 22 23 26 29 31 33 40 44 45 46 53 54 55 60 65 66 73 80 81 83 88 89 91 96 97 100 101 104 106 109 117 119 122 123 127 128 129 130 134 135 139 143 146 149 150 151 152 157 160 163 164 166 168 173 174 176 178 179 180 187 190 196 200 202 203 209
a 1 3 5 6 7 12 17 21 22 23 26 29 31 33 40 44 45 46 53 54 55 60 65 66 73 80 81 83 88 89 91 96 97 100 101 104 106 109 117 119 122 123 127 128 129 130 134 135 139 143 146 149 150 151 152 157 160 163 164 166 168 173 174 176 178 179 180 187 190 196 200 202 209
a 1 3 5 6 7 12 17 21 22 23 26 29 31 40 44 45 46 53 54 55 60 65 66 73 80 81 83 88 89 91 96 97 100 101 104 106 109 117 119 122 123 127 128 129 130 134 135 139 143 146 149 150 151 152 157 160 163 164 166 168 173 174 176 178 179 180 187 190 196 200 202 209 218
a 1 3 5 6 7 12 17 21 22 23 26 29 31 40 44 45 46 53 54 55 60 65 66 73 80 81 83 88 89 91 96 97 100 101 104 106 109 117 119 122 123 127 128 129 130 134 135 139 143 146 149 150 151 152 157 160 163 164 166 168 173 174 178 179 180 187 190 196 200 202 209 213 218
a 1 3 5 6 7 12 17 21 22 23 26 29 31 40 44 45 46 53 54 55 60 65 66 73 80 81 83 88 89 91 96 97 100 101 103 104 106 109 117 119 122 123 127 128 129 130 134 135 143 146 149 150 151 152 157 160 163 164 166 168 173 174 178 179 180 187 190 196 200 202 209 213 218
a 1 3 5 6 7 12 17 21 22 23 26 29 31 40 44 45 46 53 54 55 60 65 66 73 80 81 83 86 88 89 91 96 97 100 101 103 104 106 109 117 119 122 123 127 128 129 130 134 135 143 146 149 150 151 152 157 160 163 164 166 168 173 178 179 180 187 190 196 200 202 209 213 218
a 1 3 5 6 7 12 17 21 22 23 26 29 31 40 44 45 46 53 54 55 56 60 65 66 73 80 81 83 86 88 89 91 96 97 100 101 103 104 106 109 117 119 122 123 127 128 129 130 134 135 143 146 149 150 151 152 157 160 163 164 166 168 173 178 179 180 187 190 196 200 202 209 218
a 1 3 5 6 7 12 17 21 22 23 26 29 31 40 44 45 46 53 54 55 56 60 66 73 80 81 83 86 88 89 91 96 97 100 101 103 104 106 109 117 119 122 123 127 128 129 130 134 135 143 146 149 150 151 152 157 160 163 164 166 168 173 178 179 180 187 190 196 200 202 209 212 218
a 1 3 5 6 7 12 17 21 22 23 26 29 31 40 44 45 46 53 54 55 56 60 66 73 80 81 83 86 88 89 91 96 97 100 101 102 103 104 106 109 117 119 122 123 127 128 129 130 134 135 143 146 149 150 151 152 157 163 164 166 168 173 178 179 180 187 190 196 200 202 209 212 218
a 1 3 5 6 7 12 17 21 22 23 26 29 31 40 44 45 46 53 54 55 56 60 66 73 80 81 83 86 88 89 91 96 97 100 101 102 103 104 106 109 117 119 122 123 127 128 129 130 134 135 143 146 149 150 151 152 157 163 164 166 168 173 178 179 180 187 190 196 200 209 212 217 218
a 1 3 5 6 7 12 17 20 21 22 23 26 29 31 40 44 45 46 53 54 55 56 60 66 73 80 81 83 86 88 89 91 96 97 100 101 102 103 104 106 109 117 119 122 123 127 128 129 130 134 135 143 146 149 150 151 152 157 163 164 166 168 173 178 179 180 190 196 200 209 212 217 218
a 1 3 5 7 12 17 20 21 22 23 26 29 31 40 44 45 46 48 53 54 55 56 60 66 73 80 81 83 86 88 89 91 96 97 100 101 102 103 104 106 109 117 119 122 123 127 128 129 130 134 135 143 146 149 150 151 152 157 163 164 166 168 173 178 179 180 190 196 200 209 212 217 218
a 1 3 5 7 12 20 21 22 23 26 29 31 40 44 45 46 48 53 54 55 56 60 66 73 80 81 83 86 88 89 91 96 97 100 101 102 103 104 106 109 117 119 122 123 127 128 129 130 134 135 143 146 149 150 151 152 157 163 164 166 167 168 173 178 179 180 190 196 200 209 212 217 218
a 1 3 5 7 12 20 21 22 23 26 29 31 40 44 45 46 48 53 54 55 56 60 66 73 80 81 83 86 88 89 91 96 97 100 101 102 103 104 106 109 117 119 122 123 127 128 129 130 134 135 143 146 147 149 150 151 152 157 163 164 166 167 168 173 179 180 190 196 200 209 212 217 218
a 1 3 5 7 12 20 21 22 23 26 29 31 40 44 45 46 48 53 54 55 56 60 66 73 80 81 83 86 89 91 96 97 100 101 102 103 104 106 108 109 117 119 122 123 127 128 129 130 134 135 143 146 147 149 150 151 152 157 163 164 166 167 168 173 179 180 190 196 200 209 212 217 218
a 1 3 5 7 12 20 21 22 23 26 29 31 35 40 44 46 48 53 54 55 56 60 66 73 80 81 83 86 89 91 96 97 100 101 102 103 104 106 108 109 117 119 122 123 127 128 129 130 134 135 143 146 147 149 150 151 152 157 163 164 166 167 168 173 179 180 190 196 200 209 212 217 218
a 1 3 5 7 12 20 21 22 23 26 29 31 35 40 44 46 48 53 54 55 56 60 66 73 80 81 83 86 89 91 96 97 100 101 102 103 104 106 108 117 119 122 123 124 127 128 129 130 134 135 143 146 147 149 150 151 152 157 163 164 166 167 168 173 179 180 190 196 200 209 212 217 218
a 1 3 5 7 12 20 21 22 23 26 29 31 35 40 44 46 48 53 54 55 56 60 66 73 80 81 82 83 86 89 91 96 97 100 102 103 104 106 108 117 119 122 123 124 127 128 129 130 134 135 143 146 147 149 150 151 152 157 163 164 166 167 168 173 179 180 190 196 200 209 212 217 218
a 1 3 5 7 12 20 21 22 23 26 27 29 31 35 40 44 46 48 53 54 55 56 60 66 73 80 81 82 83 86 89 91 96 97 100 102 103 104 106 108 117 119 122 123 124 127 128 129 130 134 135 143 146 147 149 150 151 152 163 164 166 167 168 173 179 180 190 196 200 209 212 217 218
a 1 3 5 7 12 20 21 22 23 26 27 29 31 35 40 44 46 48 53 54 55 56 60 66 73 80 81 82 83 86 89 91 96 97 100 102 103 104 106 108 117 119 122 123 124 127 128 129 130 134 135 143 146 147 149 150 151 152 162 163 164 166 167 168 173 179 180 190 196 209 212 217 218
a 1 3 5 7 12 20 21 22 23 26 27 31 35 40 44 46 48 53 54 55 56 60 66 73 80 81 82 83 86 89 91 96 97 100 102 103 104 106 108 117 119 122 123 124 127 128 129 130 134 135 143 146 147 149 150 151 152 162 163 164 166 167 168 173 179 180 190 196 199 209 212 217 218
a 1 3 5 7 12 20 21 22 23 26 27 31 35 40 44 46 48 53 54 55 56 60 66 73 80 81 82 83 86 91 96 97 100 102 103 104 106 108 117 119 122 123 124 127 128 129 130 134 135 143 146 147 149 150 151 152 156 162 163 164 166 167 168 173 179 180 190 196 199 209 212 217 218
a 1 3 5 7 12 20 21 22 23 26 27 31 35 40 44 46 48 53 54 55 56 60 66 73 80 81 82 83 86 91 96 97 100 102 103 104 106 108 117 119 122 123 124 127 128 129 130 134 135 143 146 147 149 150 151 152 156 162 163 164 166 167 168 173 179 180 190 198 199 209 212 217 218
a 1 3 5 7 12 20 21 22 23 26 27 31 35 40 44 46 48 53 54 56 57 60 66 73 80 81 82 83 86 91 96 97 100 102 103 104 106 108 117 119 122 123 124 127 128 129 130 134 135 143 146 147 149 150 151 152 156 162 163 164 166 167 168 173 179 180 190 198 199 209 212 217 218
a 1 3 5 7 12 20 21 22 23 26 27 31 35 40 46 48 53 54 56 57 60 66 68 73 80 81 82 83 86 91 96 97 100 102 103 104 106 108 117 119 122 123 124 127 128 129 130 134 135 143 146 147 149 150 151 152 156 162 163 164 166 167 168 173 179 180 190 198 199 209 212 217 218
a 1 5 7 10 12 20 21 22 23 26 27 31 35 40 46 48 53 54 56 57 60 66 68 73 80 81 82 83 86 91 96 97 100 102 103 104 106 108 117 119 122 123 124 127 128 129 130 134 135 143 146 147 149 150 151 152 156 162 163 164 166 167 168 173 179 180 190 198 199 209 212 217 218
a 1 5 7 10 12 20 22 23 26 27 31 35 40 46 48 53 54 56 57 60 66 68 73 79 80 81 82 83 86 91 96 97 100 102 103 104 106 108 117 119 122 123 124 127 128 129 130 134 135 143 146 147 149 150 151 152 156 162 163 164 166 167 168 173 179 180 190 198 199 209 212 217 218
a 1 5 7 10 12 20 22 23 26 27 31 35 40 46 48 53 54 56 57 60 66 68 73 79 80 81 82 83 86 91 96 97 102 103 104 106 108 117 119 122 123 124 127 128 129 130 134 135 143 146 147 149 150 151 152 156 162 163 164 166 167 168 173 179 180 190 198 199 205 209 212 217 218
a 1 5 7 10 12 20 22 23 26 27 31 35 40 46 48 53 54 56 57 60 66 68 73 79 80 81 82 83 86 91 96 97 102 103 104 106 108 113 117 119 123 124 127 128 129 130 134 135 143 146 147 149 150 151 152 156 162 163 164 166 167 168 173 179 180 190 198 199 205 209 212 217 218
a 1 5 7 10 12 20 22 23 26 27 31 35 40 48 53 54 56 57 60 66 68 73 79 80 81 82 83 86 91 96 97 102 103 104 106 108 113 117 119 123 124 127 128 129 130 134 135 143 146 147 149 150 151 152 156 158 162 163 164 166 167 168 173 179 180 190 198 199 205 209 212 217 218
a 1 5 7 10 12 20 22 23 26 27 35 40 48 53 54 56 57 60 66 68 73 79 80 81 82 83 86 91 96 97 102 103 104 106 108 111 113 117 119 123 124 127 128 129 130 134 135 143 146 147 149 150 151 152 156 158 162 163 164 166 167 168 173 179 180 190 198 199 205 209 212 217 218
a 1 5 7 10 12 20 22 23 25 26 27 35 40 48 53 54 56 57 60 66 68 73 79 80 81 82 83 86 91 96 97 102 103 104 108 111 113 117 119 123 124 127 128 129 130 134 135 143 146 147 149 150 151 152 156 158 162 163 164 166 167 168 173 179 180 190 198 199 205 209 212 217 218
a 1 5 7 10 12 20 22 23 25 26 27 35 40 48 53 54 56 57 60 66 68 73 79 80 81 82 83 86 96 97 102 103 104 108 111 113 117 119 123 124 127 128 129 130 134 135 143 146 147 149 150 151 152 156 158 159 162 163 164 166 167 168 173 179 180 190 198 199 205 209 212 217 218
a 1 5 7 10 12 20 22 23 25 26 27 35 40 48 53 54 56 57 60 66 68 73 79 80 81 82 83 86 96 97 102 103 104 108 111 112 113 117 119 123 124 127 128 129 130 134 135 143 146 147 149 150 151 152 156 158 159 162 163 164 166 167 168 173 179 180 190 198 199 205 209 212 217
a 1 5 7 10 20 22 23 25 26 27 35 40 41 48 53 54 56 57 60 66 68 73 79 80 81 82 83 86 96 97 102 103 104 108 111 112 113 117 119 123 124 127 128 129 130 134 135 143 146 147 149 150 151 152 156 158 159 162 163 164 166 167 168 173 179 180 190 198 199 205 209 212 217
a 1 2 5 7 10 20 22 23 25 26 27 35 40 41 48 54 56 57 60 66 68 73 79 80 81 82 83 86 96 97 102 103 104 108 111 112 113 117 119 123 124 127 128 129 130 134 135 143 146 147 149 150 151 152 156 158 159 162 163 164 166 167 168 173 179 180 190 198 199 205 209 212 217
a 1 2 5 7 10 20 22 23 25 26 27 35 40 41 48 54 56 57 60 66 68 73 79 80 81 82 83 86 96 97 102 103 104 108 111 112 113 117 119 123 124 127 128 129 130 134 135 143 146 147 149 151 152 156 158 159 162 163 164 166 167 168 173 179 180 190 198 199 205 209 212 217 219
a 1 2 5 7 10 20 22 23 25 26 27 35 40 41 48 54 56 57 60 66 68 73 79 80 81 82 83 86 96 97 102 103 104 108 111 112 113 119 123 124 127 128 129 130 134 135 143 146 147 149 151 152 154 156 158 159 162 163 164 166 167 168 173 179 180 190 198 199 205 209 212 217 219
a 1 2 5 7 10 20 22 23 25 26 27 35 40 41 48 54 56 57 60 66 68 73 79 80 81 82 83 86 96 102 103 104 108 111 112 113 119 123 124 127 128 129 130 134 135 143 146 147 149 151 152 154 156 158 159 162 163 164 166 167 168 173 179 180 185 190 198 199 205 209 212 217 219
a 1 2 5 7 10 20 22 23 25 26 27 35 40 41 47 48 54 56 57 60 66 68 73 79 80 81 82 83 86 96 102 103 104 108 111 112 113 119 124 127 128 129 130 134 135 143 146 147 149 151 152 154 156 158 159 162 163 164 166 167 168 173 179 180 185 190 198 199 205 209 212 217 219
a 1 2 5 7 10 20 22 23 25 26 27 35 40 41 47 48 54 56 57 60 66 68 73 79 80 81 82 86 96 102 103 104 108 111 112 113 116 119 124 127 128 129 130 134 135 143 146 147 149 151 152 154 156 158 159 162 163 164 166 167 168 173 179 180 185 190 198 199 205 209 212 217 219
a 1 2 5 7 10 20 22 23 25 26 27 35 40 41 47 48 54 56 57 60 66 68 73 79 80 81 82 86 96 102 103 104 108 111 112 113 116 119 124 127 128 129 130 134 135 143 146 147 149 151 152 154 156 158 159 162 163 164 167 168 173 179 180 185 190 198 199 203 205 209 212 217 219
a 1 2 5 7 10 20 22 23 25 26 27 35 40 41 47 48 54 56 57 60 66 68 73 79 80 81 82 86 96 102 103 104 108 111 112 113 116 119 124 127 129 130 134 135 142 143 146 147 149 151 152 154 156 158 159 162 163 164 167 168 173 179 180 185 190 198 199 203 205 209 212 217 219
a 1 2 5 7 10 20 22 23 25 26 27 35 40 41 47 48 54 56 57 60 66 68 73 79 80 81 82 86 96 102 103 104 108 110 111 112 113 116 119 124 127 129 130 134 135 142 143 146 147 149 151 152 154 156 158 159 162 163 167 168 173 179 180 185 190 198 199 203 205 209 212 217 219
a 1 2 5 7 10 20 22 23 25 26 27 35 40 41 47 48 54 56 57 60 66 68 73 79 80 82 86 96 102 103 104 107 108 110 111 112 113 116 119 124 127 129 130 134 135 142 143 146 147 149 151 152 154 156 158 159 162 163 167 168 173 179 180 185 190 198 199 203 205 209 212 217 219
a 1 2 5 7 10 20 22 23 25 26 27 35 40 41 47 48 54 56 57 60 66 68 73 79 80 82 86 96 102 103 104 107 108 110 111 112 113 116 119 124 127 129 130 134 135 142 143 146 147 149 151 152 154 156 158 159 162 167 168 173 179 180 185 190 198 199 203 205 206 209 212 217 219
a 1 2 5 7 10 20 22 23 25 26 27 35 40 41 47 48 54 56 57 60 66 68 73 79 80 82 95 96 102 103 104 107 108 110 111 112 113 116 119 124 127 129 130 134 135 142 143 146 147 149 151 152 154 156 158 159 162 167 168 173 179 180 185 190 198 199 203 205 206 209 212 217 219
a 1 2 5 7 10 20 22 23 25 26 27 35 40 41 47 48 54 56 57 60 66 68 73 79 80 82 95 96 102 103 104 107 108 110 111 112 113 115 116 119 124 127 129 130 134 135 142 143 146 147 149 151 152 154 156 158 159 162 167 168 179 180 185 190 198 199 203 205 206 209 212 217 219
a 1 2 5 7 10 20 22 23 25 26 27 35 40 41 47 48 54 56 57 60 64 66 68 73 79 82 95 96 102 103 104 107 108 110 111 112 113 115 116 119 124 127 129 130 134 135 142 143 146 147 149 151 152 154 156 158 159 162 167 168 179 180 185 190 198 199 203 205 206 209 212 217 219
a 1 2 5 7 10 20 22 23 25 26 27 35 40 41 47 48 54 56 57 60 64 66 68 79 82 87 95 96 102 103 104 107 108 110 111 112 113 115 116 119 124 127 129 130 134 135 142 143 146 147 149 151 152 154 156 158 159 162 167 168 179 180 185 190 198 199 203 205 206 209 212 217 219
a 2 5 7 10 20 22 23 25 26 27 35 40 41 47 48 54 56 57 60 64 66 68 79 82 87 90 95 96 102 103 104 107 108 110 111 112 113 115 116 119 124 127 129 130 134 135 142 143 146 147 149 151 152 154 156 158 159 162 167 168 179 180 185 190 198 199 203 205 206 209 212 217 219
a 2 5 7 10 15 20 23 25 26 27 35 40 41 47 48 54 56 57 60 64 66 68 79 82 87 90 95 96 102 103 104 107 108 110 111 112 113 115 116 119 124 127 129 130 134 135 142 143 146 147 149 151 152 154 156 158 159 162 167 168 179 180 185 190 198 199 203 205 206 209 212 217 219
a 2 5 7 10 15 20 23 25 26 27 35 40 41 43 47 48 54 56 57 60 64 68 79 82 87 90 95 96 102 103 104 107 108 110 111 112 113 115 116 119 124 127 129 130 134 135 142 143 146 147 149 151 152 154 156 158 159 162 167 168 179 180 185 190 198 199 203 205 206 209 212 217 219
a 2 5 7 10 15 20 23 25 26 27 35 40 41 43 47 48 51 54 56 57 60 64 68 79 82 87 90 95 96 102 103 104 107 108 110 111 112 113 115 116 119 124 129 130 134 135 142 143 146 147 149 151 152 154 156 158 159 162 167 168 179 180 185 190 198 199 203 205 206 209 212 217 219
a 2 5 7 10 13 15 20 23 25 26 27 35 40 41 43 47 48 51 54 56 57 60 64 68 79 82 87 90 95 96 102 103 104 107 108 110 111 112 113 115 116 119 124 129 130 135 142 143 146 147 149 151 152 154 156 158 159 162 167 168 179 180 185 190 198 199 203 205 206 209 212 217 219
a 2 5 7 10 13 15 20 23 25 26 27 35 40 41 43 47 48 51 54 56 57 60 64 68 79 82 87 90 95 96 102 103 104 107 108 110 111 112 113 115 116 119 124 129 135 136 142 143 146 147 149 151 152 154 156 158 159 162 167 168 179 180 185 190 198 199 203 205 206 209 212 217 219
a 2 5 7 10 13 15 20 23 25 26 27 35 40 41 43 47 48 51 54 56 57 60 64 68 79 82 87 90 95 96 102 103 104 107 108 110 111 112 113 115 116 119 124 129 135 136 142 143 146 147 151 152 154 156 158 159 162 167 168 179 180 185 188 190 198 199 203 205 206 209 212 217 219
a 2 5 7 10 13 15 20 23 25 26 27 35 40 41 43 47 48 51 54 56 57 60 64 68 77 79 82 87 90 95 96 102 103 104 107 108 110 111 112 113 115 116 119 124 129 135 136 142 143 146 147 151 154 156 158 159 162 167 168 179 180 185 188 190 198 199 203 205 206 209 212 217 219
c Step: 145
#END: [Tue Sep 26 05:45:36 2023]