#BEGIN: [Tue Sep 26 04:01:59 2023]
#HOST: s07
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-cpu-banbaralab-longest1
#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 --ulimit cpu=1800 -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab --longest /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 e14b5b9566f0d1f093a957fef9787a343aa0c518deacff10dd164057fa12dd6e
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 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 192 193 195 199 200 207 208 218 222 223 234
a 4 10 13 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 192 193 195 199 200 207 208 218 223 234
a 4 10 13 15 19 20 23 26 28 30 31 37 38 43 44 45 46 52 56 59 60 63 65 67 68 72 75 76 77 79 85 87 89 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 192 193 195 199 200 207 208 218 223 234
a 4 10 13 15 19 20 23 26 28 30 31 37 38 41 43 44 45 46 52 56 59 60 65 67 68 72 75 76 77 79 85 87 89 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 192 193 195 199 200 207 208 218 223 234
a 4 10 13 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 192 193 195 199 200 207 208 218 223 234
a 4 8 10 13 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 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 192 193 195 199 200 207 208 218 223 234
a 4 8 10 13 15 19 20 23 26 28 30 31 37 41 43 44 45 46 51 52 56 59 60 65 67 68 72 75 76 77 79 85 87 89 90 95 98 104 106 110 111 113 114 119 121 122 128 131 132 136 138 142 145 151 152 155 157 159 162 163 165 167 170 174 177 178 179 183 192 193 195 199 200 207 208 218 223 234
a 4 8 10 13 15 19 20 23 28 30 31 37 41 43 44 45 46 51 52 56 59 60 65 67 68 72 75 76 77 79 85 87 89 90 95 98 104 106 110 111 113 114 119 121 122 128 131 132 136 138 142 145 151 152 155 157 159 162 163 165 167 170 172 174 177 178 179 183 192 193 195 199 200 207 208 218 223 234
a 4 8 10 13 15 19 20 23 26 28 30 31 37 41 43 44 45 46 51 52 56 59 60 65 67 68 72 76 77 79 85 87 89 90 95 98 104 106 110 111 113 114 119 121 122 128 131 132 136 138 142 145 151 152 155 157 159 162 163 165 167 170 172 174 177 178 179 183 192 193 195 199 200 207 208 218 223 234
a 4 8 10 13 15 19 20 23 26 28 30 31 37 41 43 44 45 46 51 52 56 59 60 65 67 68 72 76 77 79 85 87 89 90 95 98 99 104 106 110 111 113 114 119 121 122 128 131 132 136 138 142 145 151 152 155 157 159 162 163 165 167 170 172 174 177 178 183 192 193 195 199 200 207 208 218 223 234
a 4 8 10 13 19 20 23 26 28 30 31 37 41 43 44 45 46 51 52 56 59 60 65 67 68 72 75 76 77 79 85 87 89 90 95 98 99 104 106 110 111 113 114 119 121 122 128 131 132 136 138 142 145 151 152 155 157 159 162 163 165 167 170 172 174 177 178 183 192 193 195 199 200 207 208 218 223 234
a 4 8 10 13 19 20 26 28 30 31 37 41 43 44 45 46 51 52 56 59 60 65 67 68 72 75 76 77 79 85 87 89 90 95 98 99 100 104 106 110 111 113 114 119 121 122 128 131 132 136 138 142 145 151 152 155 157 159 162 163 165 167 170 172 174 177 178 183 192 193 195 199 200 207 208 218 223 234
a 4 8 10 13 19 20 23 26 28 31 37 41 43 44 45 46 51 52 56 59 60 65 67 68 72 75 76 77 79 85 87 89 90 95 98 99 100 104 106 110 111 113 114 119 121 122 128 131 132 136 138 142 145 151 152 155 157 159 162 163 165 167 170 172 174 177 178 183 192 193 195 199 200 207 208 218 223 234
a 4 10 13 19 20 23 26 28 30 31 37 41 43 44 45 46 51 52 56 59 60 65 67 68 72 75 76 77 79 85 87 89 90 95 98 99 100 104 106 110 111 113 114 119 121 122 128 131 132 136 138 142 145 151 152 155 157 159 162 163 165 167 170 172 174 177 178 183 192 193 195 199 200 207 208 218 223 234
a 10 13 15 19 20 23 26 28 30 31 37 41 43 44 45 46 51 52 56 59 60 65 67 68 72 75 76 77 79 85 87 89 90 95 98 99 100 104 106 110 111 113 114 119 121 122 128 131 132 136 138 142 145 151 152 155 157 159 162 163 165 167 170 172 174 177 178 183 192 193 195 199 200 207 208 218 223 234
a 10 13 15 19 20 23 26 28 30 31 37 41 43 44 45 46 51 52 56 59 60 65 67 68 72 75 76 77 79 85 87 89 90 95 98 99 100 104 106 110 111 113 114 119 121 122 128 131 132 136 138 142 145 151 152 155 157 159 162 163 165 167 172 173 174 177 178 183 192 193 195 199 200 207 208 218 223 234
a 10 13 15 19 20 23 26 28 30 31 37 41 43 44 45 46 51 52 56 59 60 65 67 68 72 75 76 77 79 85 87 89 90 95 98 99 100 104 106 110 111 113 114 119 121 122 128 131 132 136 138 142 145 151 152 155 159 162 163 165 167 172 173 174 177 178 183 192 193 195 199 200 205 207 208 218 223 234
a 10 13 19 20 23 26 28 30 31 37 41 43 44 45 46 51 52 56 59 60 65 67 68 72 75 76 77 79 85 87 89 90 95 98 99 100 104 106 110 111 113 114 119 121 122 128 131 132 136 138 142 145 151 152 155 159 162 163 165 167 172 173 174 177 178 183 192 193 195 199 200 205 207 208 218 223 227 234
a 13 15 19 20 23 26 28 30 31 37 41 43 44 45 46 51 52 56 59 60 65 67 68 72 75 76 77 79 85 87 89 90 95 98 99 100 104 106 110 111 113 114 119 121 122 128 131 132 136 138 142 145 151 152 155 159 162 163 165 167 172 173 174 177 178 183 192 193 195 199 200 205 207 208 218 223 227 234
a 10 13 15 19 20 23 26 28 30 31 37 41 43 44 45 46 51 52 56 59 60 65 67 68 72 75 76 77 79 85 87 89 90 95 98 99 100 104 106 110 111 113 114 119 121 122 128 131 132 136 138 142 145 151 152 155 159 162 163 165 167 172 173 174 177 178 183 192 193 195 199 200 205 207 208 218 223 227
a 10 13 15 19 20 23 26 28 30 31 37 41 43 44 45 46 51 52 56 59 60 65 67 68 72 75 76 77 79 87 89 90 95 98 99 100 104 106 110 111 113 114 119 121 122 128 131 132 136 138 142 145 148 151 152 155 159 162 163 165 167 172 173 174 177 178 183 192 193 195 199 200 205 207 208 218 223 227
a 10 15 19 20 23 26 28 30 31 37 41 43 44 45 46 51 52 56 59 60 65 67 68 72 75 76 77 79 87 89 90 95 98 99 100 104 106 110 111 113 114 119 121 122 128 131 132 136 138 142 145 148 151 152 155 159 162 163 165 167 172 173 174 177 178 183 192 193 195 199 200 205 207 208 218 223 227 234
a 10 15 19 20 23 26 28 30 31 37 41 43 44 45 46 51 52 56 59 60 65 67 68 72 75 76 77 79 87 89 90 95 98 99 100 104 106 110 111 113 114 119 121 122 128 131 132 136 138 142 145 148 151 152 155 159 162 163 165 167 170 172 174 177 178 183 192 193 195 199 200 205 207 208 218 223 227 234
a 2 10 15 19 20 23 26 28 30 31 37 41 43 44 45 46 51 52 56 59 60 65 68 72 75 76 77 79 87 89 90 95 98 99 100 104 106 110 111 113 114 119 121 122 128 131 132 136 138 142 145 148 151 152 155 159 162 163 165 167 170 172 174 177 178 183 192 193 195 199 200 205 207 208 218 223 227 234
a 2 10 15 19 20 23 26 28 30 31 37 41 43 44 45 46 51 52 56 59 60 65 68 72 75 76 77 79 87 89 90 95 98 99 100 104 106 110 111 113 114 119 121 122 128 131 132 136 138 142 145 148 151 152 155 159 162 163 165 167 170 172 174 177 178 183 192 193 195 196 199 200 205 207 208 218 223 227
a 2 4 10 15 19 23 26 28 30 31 37 41 43 44 45 46 51 52 56 59 60 65 68 72 75 76 77 79 87 89 90 95 98 99 100 104 106 110 111 113 114 119 121 122 128 131 132 136 138 142 145 148 151 152 155 159 162 163 165 167 170 172 174 177 178 183 192 193 195 196 199 200 205 207 208 218 223 227
a 2 4 10 15 19 20 23 26 28 30 31 37 41 43 44 45 46 51 52 56 59 60 65 68 72 75 76 77 79 87 89 90 95 98 99 100 104 106 110 111 113 114 119 121 122 128 131 132 136 138 142 145 148 151 152 155 159 162 163 167 170 172 174 177 178 183 192 193 195 196 199 200 205 207 208 218 223 227
a 4 10 15 19 20 23 26 28 30 31 37 41 43 44 45 46 51 52 56 59 60 65 68 72 75 76 77 79 87 89 90 95 98 99 100 104 106 110 111 113 114 119 121 122 128 131 132 136 138 142 145 148 151 152 155 159 162 163 165 167 170 172 174 177 178 183 192 193 195 196 199 200 205 207 208 218 223 227
a 4 10 15 19 20 23 26 28 30 31 37 41 43 44 45 46 51 52 56 59 60 65 68 72 75 76 77 79 87 89 90 95 98 100 104 106 110 111 113 114 119 121 122 128 131 132 136 138 142 145 148 151 152 155 159 162 163 165 167 170 172 174 177 178 179 183 192 193 195 196 199 200 205 207 208 218 223 227
a 4 10 13 15 19 20 23 26 28 30 31 37 41 43 44 45 46 51 52 56 59 60 65 68 72 75 76 77 79 87 89 90 95 98 100 104 106 110 111 113 114 119 121 122 128 131 132 136 138 142 145 148 151 152 155 159 162 163 165 167 170 172 174 177 178 179 183 192 193 195 196 199 200 205 207 208 218 223
a 4 10 13 15 19 20 23 26 28 30 31 37 41 43 44 45 46 51 52 56 59 60 64 65 68 72 75 76 77 79 87 89 90 95 98 100 104 106 110 111 113 114 119 121 122 128 131 132 136 138 145 148 151 152 155 159 162 163 165 167 170 172 174 177 178 179 183 192 193 195 196 199 200 205 207 208 218 223
a 3 4 10 13 15 19 20 23 26 28 30 31 37 41 43 44 46 51 52 56 59 60 64 65 68 72 75 76 77 79 87 89 90 95 98 100 104 106 110 111 113 114 119 121 122 128 131 132 136 138 145 148 151 152 155 159 162 163 165 167 170 172 174 177 178 179 183 192 193 195 196 199 200 205 207 208 218 223
a 3 4 8 10 13 15 19 20 23 26 28 30 31 37 41 43 44 46 51 52 56 59 60 64 65 68 72 75 76 77 79 87 89 90 95 98 100 104 106 110 111 113 114 119 121 122 128 131 132 136 138 145 148 151 152 155 159 162 163 165 167 170 172 174 177 178 179 183 192 193 195 196 199 200 205 207 208 218
a 2 3 4 8 10 15 19 20 23 26 28 30 31 37 41 43 44 46 51 52 56 59 60 64 65 68 72 75 76 77 79 87 89 90 95 98 100 104 106 110 111 113 114 119 121 122 128 131 132 136 138 145 148 151 152 155 159 162 163 165 167 170 172 174 177 178 179 183 192 193 195 196 199 200 205 207 208 218
a 2 3 4 8 10 15 19 20 23 26 28 30 31 37 41 43 44 46 51 52 56 59 60 64 65 68 72 75 76 77 79 87 89 90 95 98 100 104 106 110 111 113 114 119 121 122 128 131 132 138 145 148 151 152 155 159 162 163 165 167 170 172 174 177 178 179 183 192 193 195 196 199 200 205 207 208 218 223
a 2 3 4 8 10 15 19 20 23 26 28 30 31 37 41 43 44 46 51 52 56 59 60 64 65 68 72 75 76 77 79 87 89 90 95 98 100 104 106 110 111 113 114 119 121 122 128 131 132 136 138 145 148 151 152 155 159 162 163 165 167 170 172 174 177 178 179 183 192 193 195 196 199 200 205 207 208 223
a 3 4 8 10 13 15 19 20 23 26 28 30 31 37 41 43 44 46 51 52 56 59 60 64 65 68 72 75 76 77 79 87 89 90 95 98 100 104 106 110 111 113 114 119 121 122 128 131 132 136 138 145 148 151 152 155 159 162 163 165 167 170 172 174 177 178 179 183 192 193 195 196 199 200 205 207 208 223
a 2 3 4 8 10 13 15 19 20 23 26 28 30 31 37 41 44 46 51 52 56 59 60 64 65 68 72 75 76 77 79 87 89 90 95 98 100 104 106 110 111 113 114 119 121 122 128 131 132 136 138 145 148 151 152 155 159 162 163 165 167 170 172 174 177 178 179 183 192 193 195 196 199 200 205 207 208 223
a 2 3 4 8 10 13 15 19 20 23 26 28 30 31 37 41 43 44 46 51 52 56 59 60 64 65 68 72 75 76 77 79 87 89 90 95 98 100 104 106 110 111 113 114 119 121 122 128 131 132 136 138 145 148 151 152 155 159 163 165 167 170 172 174 177 178 179 183 192 193 195 196 199 200 205 207 208 223
a 2 3 4 8 10 13 15 19 20 23 26 28 30 31 37 41 43 44 46 51 52 56 59 60 64 65 68 72 75 76 77 79 87 89 90 95 98 100 104 106 110 111 113 114 119 121 122 128 131 132 136 138 145 148 151 152 155 157 159 163 165 167 170 172 174 177 178 179 183 192 193 195 196 199 200 207 208 223
a 2 3 4 8 10 13 15 19 20 23 26 28 30 31 37 41 43 44 46 51 52 56 59 60 64 65 68 72 75 76 77 79 87 89 90 95 98 100 104 106 110 111 113 114 119 121 122 128 131 132 136 138 145 148 151 152 155 157 159 162 163 165 167 170 172 174 177 178 179 183 192 193 195 196 199 200 207 208
a 2 3 4 8 10 13 15 19 20 23 26 28 30 31 37 41 43 44 46 51 52 56 59 60 64 65 68 72 75 76 77 79 87 89 90 95 98 100 104 106 110 111 113 114 119 121 122 128 131 132 136 138 145 148 151 152 155 157 159 162 163 165 167 170 172 174 177 178 179 183 192 193 195 196 199 200 208 218
a 2 3 4 8 10 13 15 19 20 23 26 28 30 31 37 41 43 44 46 51 52 56 59 60 65 68 72 75 76 77 79 87 89 90 95 98 100 104 106 110 111 113 114 119 121 122 128 131 132 136 138 142 145 148 151 152 155 157 159 162 163 165 167 170 172 174 177 178 179 183 192 193 195 196 199 200 208 218
a 2 4 8 10 13 15 19 20 23 26 28 30 31 37 41 43 44 46 51 52 56 59 60 65 68 72 75 76 77 79 87 89 90 95 98 100 104 106 110 111 113 114 119 121 122 128 131 132 136 138 142 145 148 151 152 155 157 159 162 163 165 167 170 172 174 177 178 179 183 192 193 195 196 199 200 208 218 223
a 2 4 8 10 13 15 19 20 23 26 28 30 37 41 43 44 46 51 52 56 59 60 65 68 72 75 76 77 79 87 89 90 95 98 100 104 106 110 111 113 114 119 121 122 128 131 132 136 138 142 145 148 151 152 155 157 159 162 163 165 167 170 172 174 177 178 179 183 192 193 195 196 199 200 208 218 223 234
a 2 4 8 10 13 15 19 20 23 26 28 30 37 41 43 44 46 52 56 59 60 65 68 72 75 76 77 79 87 89 90 95 98 100 104 106 110 111 113 114 119 121 122 128 131 132 136 138 142 145 148 151 152 154 155 157 159 162 163 165 167 170 172 174 177 178 179 183 192 193 195 196 199 200 208 218 223 234
a 2 4 8 10 13 15 19 20 23 26 28 30 31 37 41 43 44 46 52 56 59 60 65 68 72 75 76 77 79 87 89 90 95 100 104 106 110 111 113 114 119 121 122 128 131 132 136 138 142 145 148 151 152 154 155 157 159 162 163 165 167 170 172 174 177 178 179 183 192 193 195 196 199 200 208 218 223 234
a 4 8 10 13 15 19 20 23 26 28 30 31 37 41 43 44 46 52 56 59 60 65 68 72 75 76 77 79 87 89 90 95 98 100 104 106 110 111 113 114 119 121 122 128 131 132 136 138 142 145 148 151 152 154 155 157 159 162 163 165 167 170 172 174 177 178 179 183 192 193 195 196 199 200 208 218 223 234
a 4 8 10 13 15 19 20 23 26 28 30 31 37 41 43 44 46 52 56 59 60 65 68 72 75 76 77 79 87 89 90 95 98 100 104 106 110 111 113 114 119 121 122 128 131 132 136 138 142 145 148 151 152 154 155 157 159 162 163 165 167 170 172 174 177 178 179 183 192 193 195 196 199 200 207 208 218 234
a 4 8 10 13 15 19 20 23 26 28 30 31 37 41 43 44 46 52 56 59 60 65 68 72 75 76 77 79 87 89 90 95 98 100 104 106 110 111 113 114 119 121 122 128 131 132 136 138 142 145 148 151 152 154 155 157 159 162 163 165 167 170 172 174 177 178 179 183 192 193 195 196 199 200 207 208 218 223
a 4 8 10 13 15 19 20 23 26 28 30 31 37 41 43 44 46 52 56 59 60 65 68 72 76 77 79 84 87 89 90 95 98 100 104 106 110 111 113 114 119 121 122 128 131 132 136 138 142 145 148 151 152 154 155 157 159 162 163 165 167 170 172 174 177 178 179 183 192 193 195 196 199 200 207 208 218 223
a 4 8 10 13 15 19 20 23 26 28 30 31 37 41 43 44 52 56 59 60 65 68 72 75 76 77 79 84 87 89 90 95 98 100 104 106 110 111 113 114 119 121 122 128 131 132 136 138 142 145 148 151 152 154 155 157 159 162 163 165 167 170 172 174 177 178 179 183 192 193 195 196 199 200 207 208 218 223
a 4 8 10 13 15 19 20 23 26 28 30 31 37 41 43 44 52 56 59 60 65 68 72 75 76 77 79 84 87 89 90 95 98 100 104 106 110 111 113 114 119 121 122 128 131 132 136 138 142 145 148 151 152 154 155 157 159 162 163 165 167 170 172 174 177 178 183 192 193 195 196 199 200 207 208 218 223 228
a 4 8 10 13 15 19 20 23 26 28 30 31 37 41 43 44 45 52 56 59 60 65 68 72 75 76 77 79 84 87 89 90 95 98 100 104 106 110 111 113 114 119 121 122 128 131 132 136 138 142 145 148 151 152 154 155 157 159 162 163 165 167 170 172 174 177 178 183 192 193 195 196 199 200 207 208 218 228
a 4 10 13 15 19 20 23 26 28 30 31 37 41 43 44 45 52 56 59 60 65 68 72 75 76 77 79 84 87 89 90 91 95 98 100 104 106 110 111 113 114 119 121 122 128 131 132 136 138 142 145 148 151 152 154 155 157 159 162 163 165 167 170 172 174 177 178 183 192 193 195 196 199 200 207 208 218 228
a 2 4 10 15 19 20 23 26 28 30 31 37 41 43 44 45 52 56 59 60 65 68 72 75 76 77 79 84 87 89 90 91 95 98 100 104 106 110 111 113 114 119 121 122 128 131 132 136 138 142 145 148 151 152 154 155 157 159 162 163 165 167 170 172 174 177 178 183 192 193 195 196 199 200 207 208 218 228
a 2 4 10 15 19 20 23 26 28 30 31 37 41 43 44 45 52 56 59 60 65 68 72 75 76 77 79 84 87 89 90 91 95 98 99 100 104 106 110 111 113 114 119 121 122 128 131 132 136 138 142 145 148 151 152 154 155 157 159 163 165 167 170 172 174 177 178 183 192 193 195 196 199 200 207 208 218 228
a 2 4 10 15 19 20 23 26 28 30 31 37 41 43 44 45 52 56 59 60 65 68 72 75 76 77 78 79 84 87 89 90 91 95 98 99 100 104 106 110 111 113 114 119 121 122 128 131 132 136 138 142 145 148 151 152 154 157 159 163 165 167 170 172 174 177 178 183 192 193 195 196 199 200 207 208 218 228
a 2 4 10 15 19 20 23 26 28 30 31 37 41 43 44 45 52 56 59 60 65 68 72 75 76 77 78 79 84 87 89 90 91 95 98 99 100 104 106 110 111 113 114 119 121 122 128 131 132 136 138 142 145 148 151 152 154 157 159 162 163 165 167 170 172 174 177 178 183 192 193 196 199 200 207 208 218 228
a 2 4 10 15 19 20 23 26 28 30 31 37 41 43 44 45 52 56 59 60 65 68 72 75 76 77 78 79 84 87 89 90 91 98 99 100 104 106 110 111 113 114 119 121 122 128 130 131 132 136 138 142 145 148 151 152 154 157 159 162 163 165 167 170 172 174 177 178 183 192 193 196 199 200 207 208 218 228
a 2 4 10 15 19 20 23 26 28 30 31 37 41 43 44 45 52 56 59 60 65 68 72 75 76 77 78 79 84 87 89 90 91 98 99 100 104 106 110 111 113 114 119 121 122 128 130 131 132 136 138 142 145 148 151 152 154 157 159 162 163 165 167 170 172 174 177 178 183 192 193 195 196 199 200 208 218 228
a 2 4 10 15 19 20 23 26 28 30 31 37 41 43 44 45 52 56 59 60 65 68 72 75 76 77 78 79 84 87 89 90 91 98 99 104 106 110 111 113 114 119 121 122 128 130 131 132 136 138 142 145 148 151 152 154 157 159 162 163 165 167 170 172 174 177 178 183 192 193 195 196 199 200 208 218 223 228
a 2 4 10 15 19 20 23 26 28 30 31 37 43 44 45 52 56 59 60 63 65 68 72 75 76 77 78 79 84 87 89 90 91 98 99 104 106 110 111 113 114 119 121 122 128 130 131 132 136 138 142 145 148 151 152 154 157 159 162 163 165 167 170 172 174 177 178 183 192 193 195 196 199 200 208 218 223 228
a 2 10 13 15 19 20 23 26 28 30 31 37 43 44 45 52 56 59 60 63 65 68 72 75 76 77 78 79 84 87 89 90 91 98 99 104 106 110 111 113 114 119 121 122 128 130 131 132 136 138 142 145 148 151 152 154 157 159 162 163 165 167 170 172 174 177 178 183 192 193 195 196 199 200 208 218 223 228
a 2 10 13 15 19 20 23 26 28 30 31 37 43 44 45 52 56 59 60 63 65 68 72 75 76 77 78 79 84 87 89 90 91 98 99 104 106 110 111 113 114 119 121 122 128 130 131 132 136 138 142 145 148 151 152 154 157 159 162 163 165 167 172 173 174 177 178 183 192 193 195 196 199 200 208 218 223 228
a 2 10 13 15 19 20 23 26 28 30 31 37 43 44 45 46 52 56 59 60 63 65 68 72 75 76 77 78 79 84 87 89 90 91 98 99 104 106 110 111 113 114 119 121 122 128 130 131 132 136 138 142 145 148 151 152 154 157 159 162 163 165 167 172 173 174 177 178 183 192 193 195 196 199 200 208 218 228
a 2 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 78 79 84 87 89 90 91 98 99 104 106 110 111 113 114 119 121 122 128 130 131 132 136 138 142 145 148 151 152 154 157 159 162 163 165 167 172 173 174 177 178 183 192 193 195 196 199 200 208 218 223 228
a 2 10 13 19 20 23 26 28 30 31 37 43 44 45 46 52 56 59 60 63 65 68 72 75 76 77 78 79 84 87 89 90 91 98 99 104 106 110 111 113 114 119 121 122 128 130 131 132 136 138 142 145 148 151 152 154 157 159 162 163 165 167 172 173 174 177 178 183 192 193 195 196 199 200 208 218 223 228
a 2 10 13 15 19 20 23 26 28 30 31 37 43 44 45 46 52 56 59 60 63 65 68 72 75 76 77 78 79 84 87 89 90 91 98 99 104 106 110 111 113 114 119 121 122 128 130 131 132 136 138 142 145 148 151 152 154 157 159 162 163 165 167 172 173 174 177 178 183 192 193 195 196 199 200 208 218 223
a 2 10 13 15 19 20 23 26 28 30 31 37 43 44 45 46 52 56 59 60 63 65 68 72 75 76 77 78 79 84 87 89 90 98 99 104 106 110 111 113 114 119 121 122 128 130 131 132 136 138 142 145 148 151 152 154 157 159 162 163 165 167 172 173 174 177 178 183 192 193 195 196 199 200 208 211 218 223
a 2 10 13 15 19 20 23 26 28 30 31 37 43 44 45 46 52 56 59 60 63 65 68 72 75 76 77 78 79 84 87 89 90 98 99 100 104 106 110 111 113 114 119 121 122 128 130 131 132 136 138 142 145 148 151 152 154 157 159 162 163 165 167 172 173 174 177 178 183 192 193 195 196 199 200 208 218 223
a 2 10 13 15 19 20 23 26 28 30 31 37 43 44 45 46 52 56 59 60 63 65 68 72 75 76 77 78 79 84 87 89 90 98 99 100 104 106 110 111 113 114 119 121 122 128 130 131 132 136 138 142 145 148 151 152 154 157 159 162 163 165 167 172 173 174 177 178 183 192 193 195 196 199 208 211 218 223
a 2 10 13 15 19 20 23 26 28 30 31 37 43 44 45 46 52 56 59 60 63 65 68 72 75 76 77 78 79 83 84 87 89 90 98 99 100 104 106 110 111 113 114 119 121 122 130 131 132 136 138 142 145 148 151 152 154 157 159 162 163 165 167 172 173 174 177 178 183 192 193 195 196 199 208 211 218 223
a 2 10 13 15 19 20 23 26 28 30 31 37 43 44 45 46 52 56 59 60 63 65 68 72 75 76 77 78 79 83 84 87 89 90 98 99 100 104 106 110 111 113 114 119 121 122 130 131 132 136 138 142 145 148 151 152 154 157 159 162 163 165 167 172 173 174 177 178 183 192 193 195 196 199 200 208 211 218
a 2 10 13 15 19 20 23 26 28 30 31 37 43 44 45 46 52 56 59 60 63 65 68 72 75 76 77 78 79 83 84 87 89 90 98 99 100 104 106 110 111 113 114 119 121 122 130 131 132 136 138 142 145 148 151 152 154 159 162 163 165 167 172 173 174 177 178 183 192 193 195 196 199 200 205 208 211 218
a 10 13 15 19 20 23 26 28 30 31 37 43 44 45 46 52 56 59 60 63 65 68 72 75 76 77 78 79 83 84 87 89 90 98 99 100 104 106 110 111 113 114 119 121 122 130 131 132 136 138 142 145 148 151 152 154 159 162 163 165 167 172 173 174 177 178 183 192 193 195 196 199 200 205 208 211 218 223
a 10 13 15 19 20 23 26 28 30 31 37 43 44 45 46 52 56 59 60 63 65 68 72 75 76 77 78 79 83 84 87 89 90 98 99 100 104 106 110 111 113 114 119 121 122 130 131 132 136 138 142 145 148 151 152 154 159 162 163 165 167 172 173 174 177 178 183 192 193 196 199 200 205 207 208 211 218 223
a 4 10 13 15 19 20 23 26 28 30 31 37 43 44 45 52 56 59 60 63 65 68 72 75 76 77 78 79 83 84 87 89 90 98 99 100 104 106 110 111 113 114 119 121 122 130 131 132 136 138 142 145 148 151 152 154 159 162 163 165 167 172 173 174 177 178 183 192 193 196 199 200 205 207 208 211 218 223
a 4 10 15 19 20 23 26 28 30 31 37 43 44 45 52 56 59 60 63 65 68 72 75 76 77 78 79 83 84 87 89 90 98 99 100 104 106 110 111 113 114 119 121 122 130 131 132 136 138 142 145 148 151 152 154 159 162 163 165 167 172 173 174 177 178 183 192 193 195 196 199 200 205 207 208 211 218 223
a 2 4 10 15 19 20 23 26 28 30 31 37 43 44 45 52 56 59 60 63 65 68 72 75 76 77 78 79 83 84 87 89 90 98 99 100 104 106 110 111 113 114 119 121 122 130 131 132 138 142 145 148 151 152 154 159 162 163 165 167 172 173 174 177 178 183 192 193 195 196 199 200 205 207 208 211 218 223
a 2 4 10 15 19 20 26 28 30 31 37 43 44 45 52 56 59 60 63 65 68 72 75 76 77 78 79 83 84 87 89 90 98 99 100 104 106 110 111 113 114 119 121 122 130 131 132 136 138 142 145 148 151 152 154 159 162 163 165 167 172 173 174 177 178 183 192 193 195 196 199 200 205 207 208 211 218 223
a 2 10 15 19 20 23 26 28 30 31 37 43 44 45 52 56 59 60 63 65 68 72 75 76 77 78 79 83 84 87 89 90 98 99 100 104 106 110 111 113 114 119 121 122 130 131 132 136 138 142 145 148 151 152 154 159 162 163 165 167 172 173 174 177 178 183 192 193 195 196 199 200 205 207 208 211 218 223
a 2 10 13 15 19 20 23 26 28 30 31 37 43 44 45 52 56 59 60 63 65 68 72 75 76 77 78 79 83 84 87 89 90 98 99 100 104 106 110 111 113 114 119 121 122 130 131 132 136 138 142 145 148 151 152 154 159 162 163 165 167 172 173 174 177 178 183 192 193 195 196 199 200 205 207 208 218 223
a 2 10 13 15 19 20 23 26 28 30 31 37 43 44 45 46 52 56 59 60 63 65 68 72 75 76 77 78 79 83 84 87 89 90 98 99 100 104 106 110 111 113 114 119 121 122 130 131 132 136 138 142 145 148 151 152 154 159 162 163 165 167 172 173 174 177 178 183 192 193 195 196 199 200 205 207 208 223
a 2 10 13 15 19 20 23 26 28 30 31 37 43 44 45 46 52 56 59 60 63 65 68 72 75 76 77 78 79 83 84 87 89 90 98 99 100 104 106 110 111 113 114 119 121 122 130 131 132 136 138 142 145 148 151 152 154 159 162 163 165 167 170 172 174 177 178 183 192 193 195 196 199 200 205 207 208 223
a 2 8 10 13 15 19 20 23 26 28 30 31 37 43 44 45 46 52 56 59 60 65 68 72 75 76 77 78 79 83 84 87 89 90 98 99 100 104 106 110 111 113 114 119 121 122 130 131 132 136 138 142 145 148 151 152 154 159 162 163 165 167 170 172 174 177 178 183 192 193 195 196 199 200 205 207 208 223
a 2 8 10 13 15 19 20 23 26 28 30 31 37 43 44 45 46 52 56 59 60 65 68 72 75 76 77 78 79 83 84 87 89 90 98 99 100 104 106 110 111 113 114 119 121 122 130 131 132 136 138 142 145 148 151 152 154 159 162 163 165 167 172 173 174 177 178 183 192 193 195 196 199 200 205 207 208 223
a 2 8 10 13 15 19 20 23 26 28 30 31 37 43 44 45 46 52 59 60 65 68 72 75 76 77 78 79 83 84 87 89 90 98 99 100 104 106 110 111 113 114 119 121 122 130 131 132 136 138 142 145 148 151 152 154 159 162 163 165 167 172 173 174 177 178 183 192 193 195 196 199 200 201 205 207 208 223
a 2 8 10 13 15 19 20 23 26 28 30 31 37 43 44 45 46 52 59 60 68 72 75 76 77 78 79 83 84 87 89 90 98 99 100 104 106 110 111 113 114 119 121 122 130 131 132 136 138 142 145 148 151 152 154 159 162 163 165 167 172 173 174 177 178 183 192 193 195 196 199 200 201 205 207 208 218 223
a 2 8 10 13 15 19 20 23 26 28 31 37 43 44 45 46 52 59 60 68 72 75 76 77 78 79 83 84 87 89 90 98 99 100 104 106 110 111 113 114 119 121 122 130 131 132 136 138 142 145 148 151 152 154 159 162 163 165 167 172 173 174 177 178 183 192 193 195 196 199 200 201 205 207 208 211 218 223
a 2 8 10 13 15 19 20 23 26 28 31 37 41 43 44 45 46 52 60 68 72 75 76 77 78 79 83 84 87 89 90 98 99 100 104 106 110 111 113 114 119 121 122 130 131 132 136 138 142 145 148 151 152 154 159 162 163 165 167 172 173 174 177 178 183 192 193 195 196 199 200 201 205 207 208 211 218 223
a 8 10 13 15 19 20 23 26 28 31 37 41 43 44 45 46 52 60 68 72 75 76 77 78 79 83 84 87 89 90 98 99 100 104 106 110 111 113 114 119 121 122 130 131 132 136 138 142 145 148 151 152 154 159 162 163 165 167 172 173 174 177 178 183 192 193 195 196 199 200 201 205 207 208 210 211 218 223
a 8 10 15 19 20 23 26 28 30 31 37 41 43 44 45 46 52 60 68 72 75 76 77 78 79 83 84 87 89 90 98 99 100 104 106 110 111 113 114 119 121 122 130 131 132 136 138 142 145 148 151 152 154 159 162 163 165 167 172 173 174 177 178 183 192 193 195 196 199 200 201 205 207 208 210 211 218 223
a 8 10 15 19 20 23 26 28 30 31 37 41 43 44 45 46 52 59 60 68 72 75 76 77 78 79 83 84 87 89 90 98 99 100 104 106 110 111 113 114 119 121 122 130 131 132 136 138 142 145 148 151 152 159 162 163 165 167 172 173 174 177 178 183 192 193 195 196 199 200 201 205 207 208 210 211 218 223
a 8 10 15 19 20 23 26 28 30 31 37 41 43 44 45 46 52 59 60 68 72 75 76 77 78 79 83 84 87 89 90 98 99 104 106 110 111 113 114 119 121 122 130 131 132 136 138 142 145 148 151 152 154 159 162 163 165 167 172 173 174 177 178 183 192 193 195 196 199 200 201 205 207 208 210 211 218 223
a 8 10 15 19 20 23 26 28 30 31 37 41 43 44 45 46 52 59 60 68 72 75 76 77 78 79 83 84 87 89 90 98 99 104 106 110 111 113 114 119 121 122 130 131 132 136 138 142 145 148 151 152 154 159 162 163 165 167 170 172 174 177 178 183 192 193 195 196 199 200 201 205 207 208 210 211 218 223
a 8 10 15 19 20 23 26 28 30 31 37 41 43 44 45 46 52 59 60 68 72 75 76 77 78 79 83 84 87 89 90 98 99 104 106 110 111 113 114 119 121 122 130 131 132 136 138 142 145 148 151 152 154 157 159 162 163 165 167 170 172 174 177 178 183 192 193 195 196 199 200 201 207 208 210 211 218 223
a 4 8 10 15 19 20 23 26 28 30 31 37 41 43 44 45 46 52 59 60 68 72 75 76 77 78 79 83 84 87 89 90 98 99 104 106 110 111 113 114 119 121 122 130 131 132 136 138 142 145 148 151 152 154 157 159 162 163 165 167 170 172 174 177 178 183 192 193 195 196 199 200 201 207 208 210 211 218
a 4 8 10 13 15 19 20 23 26 28 30 31 37 41 43 44 45 46 52 59 60 68 72 75 76 77 78 79 83 84 87 89 90 98 99 104 106 110 111 113 114 119 121 122 130 131 132 136 138 142 145 148 151 152 154 157 159 162 163 165 167 170 172 174 177 178 183 192 193 195 196 199 200 201 208 210 211 218
a 4 8 10 13 15 19 20 23 26 28 30 31 37 41 43 44 45 46 52 59 60 68 72 75 76 77 78 79 83 84 87 89 90 98 99 100 104 106 110 111 113 114 119 121 122 130 131 132 136 138 142 145 148 151 152 154 157 159 162 163 165 167 170 172 174 177 178 183 192 193 195 196 199 200 208 210 211 218
a 4 8 10 13 15 19 20 23 26 28 30 31 37 41 43 44 45 46 52 59 60 68 72 75 76 77 78 79 83 84 87 89 90 98 99 100 104 106 110 111 113 114 119 121 122 130 131 132 136 138 142 145 148 151 152 154 157 159 162 163 165 167 170 172 174 177 178 183 192 193 195 196 199 200 201 208 210 211
a 4 8 10 13 15 19 20 23 26 28 30 31 37 41 43 44 45 46 52 59 60 68 72 75 76 77 78 79 83 84 87 89 90 98 99 100 104 106 110 111 113 114 119 121 122 130 131 132 136 138 145 148 151 152 154 157 159 162 163 165 167 170 172 174 177 178 183 192 193 195 196 199 200 201 207 208 210 211
a 4 8 10 13 15 19 20 23 26 28 30 31 37 41 43 44 45 46 52 59 60 68 72 75 76 77 78 79 83 84 87 89 90 98 99 100 104 106 110 111 113 114 119 121 122 130 131 132 136 138 142 145 148 151 152 154 157 159 162 163 165 167 170 172 174 177 178 183 192 193 195 196 199 200 201 207 208 210
a 4 10 13 15 19 20 23 26 28 30 31 37 41 43 44 45 46 52 59 60 68 72 75 76 77 78 79 83 84 87 89 90 98 99 100 104 106 110 111 113 114 119 121 122 130 131 132 136 138 142 145 148 151 152 154 157 159 162 163 165 167 170 172 174 177 178 183 192 193 195 196 199 200 201 207 208 210 211
a 4 8 10 13 15 19 20 23 26 28 31 37 41 43 44 45 46 52 59 60 68 72 75 76 77 78 79 83 84 87 89 90 98 99 100 104 106 110 111 113 114 119 121 122 130 131 132 136 138 142 145 148 151 152 154 157 159 162 163 165 167 170 172 174 177 178 183 192 193 195 196 199 200 201 207 208 210 211
a 4 8 10 13 15 19 20 23 26 28 31 37 41 43 44 45 46 52 59 60 68 72 75 76 77 78 79 83 84 87 89 90 95 98 99 100 104 106 110 111 113 114 119 121 122 131 132 136 138 142 145 148 151 152 154 157 159 162 163 165 167 170 172 174 177 178 183 192 193 195 196 199 200 201 207 208 210 211
a 4 8 13 15 19 20 23 26 28 30 31 37 41 43 44 45 46 52 59 60 68 72 75 76 77 78 79 83 84 87 89 90 95 98 99 100 104 106 110 111 113 114 119 121 122 131 132 136 138 142 145 148 151 152 154 157 159 162 163 165 167 170 172 174 177 178 183 192 193 195 196 199 200 201 207 208 210 211
a 8 10 13 15 19 20 23 26 28 30 31 37 41 43 44 45 46 52 59 60 68 72 75 76 77 78 79 83 84 87 89 90 95 98 99 100 104 106 110 111 113 114 119 121 122 131 132 136 138 142 145 148 151 152 154 157 159 162 163 165 167 170 172 174 177 178 183 192 193 195 196 199 200 201 207 208 210 211
a 4 10 13 15 19 20 23 26 28 30 31 37 41 43 44 45 46 52 59 60 68 72 75 76 77 78 79 83 84 87 89 90 95 98 99 100 104 106 110 111 113 114 119 121 122 131 132 136 138 142 145 148 151 152 154 157 159 162 163 165 167 170 172 174 177 178 183 192 193 195 196 199 200 201 207 208 210 211
a 4 10 13 15 19 20 23 26 28 30 31 37 41 43 44 45 46 52 59 60 64 68 72 75 76 77 78 79 83 84 87 89 90 95 98 99 100 104 106 110 111 113 114 119 121 122 131 132 136 138 145 148 151 152 154 157 159 162 163 165 167 170 172 174 177 178 183 192 193 195 196 199 200 201 207 208 210 211
a 4 10 13 15 19 20 23 26 28 30 31 37 41 43 44 45 46 52 59 60 64 68 72 75 76 77 78 79 83 84 87 89 90 95 98 99 100 104 106 110 111 113 114 121 122 131 132 136 138 145 148 151 152 154 157 159 162 163 165 167 170 172 174 177 178 183 192 193 195 196 199 200 201 207 208 210 211 227
a 4 10 13 15 19 20 23 26 28 30 31 37 41 43 44 45 46 52 59 60 64 68 72 75 76 77 78 79 83 84 87 89 90 95 98 99 100 104 106 110 111 113 119 121 122 131 132 136 138 145 148 151 152 154 157 159 162 163 165 167 170 172 174 177 178 183 192 193 195 196 199 200 201 207 208 210 211 227
a 4 10 13 15 19 20 23 26 28 30 31 37 41 43 44 45 46 52 59 60 64 68 72 75 76 77 78 79 83 84 87 89 90 95 98 99 100 104 106 110 111 113 114 119 121 122 131 132 136 138 145 148 151 152 154 157 159 162 163 165 167 170 172 174 177 178 183 192 193 195 196 199 200 201 207 208 210 227
a 4 8 10 13 15 19 20 23 26 28 30 31 37 41 43 44 45 46 52 59 60 64 68 72 75 76 77 78 79 83 84 87 89 90 95 98 99 100 104 106 110 111 113 114 119 121 122 131 132 136 138 148 151 152 154 157 159 162 163 165 167 170 172 174 177 178 183 192 193 195 196 199 200 201 207 208 210 227
a 4 8 10 13 15 19 20 23 26 28 30 31 37 41 43 44 45 46 52 59 60 64 68 72 75 76 77 78 79 83 84 87 89 90 95 98 99 100 104 106 110 111 113 114 119 121 122 131 132 136 138 148 151 152 154 159 162 163 165 167 170 172 174 177 178 183 192 193 195 196 199 200 201 205 207 208 210 227
a 4 8 10 13 15 19 20 23 26 28 30 31 37 41 43 44 45 46 52 59 60 64 68 72 75 76 77 78 79 84 87 89 90 95 98 99 100 104 106 110 111 113 114 119 121 122 131 132 136 138 145 148 151 152 154 159 162 163 165 167 170 172 174 177 178 183 192 193 195 196 199 200 201 205 207 208 210 227
a 4 8 10 13 15 19 20 23 26 30 31 37 41 43 44 45 46 52 59 60 64 68 72 75 76 77 78 79 83 84 87 89 90 95 98 99 100 104 106 110 111 113 114 119 121 122 131 132 136 138 145 148 151 152 154 159 162 163 165 167 170 172 174 177 178 183 192 193 195 196 199 200 201 205 207 208 210 227
a 4 8 10 13 15 19 20 23 26 30 31 37 41 43 44 45 46 59 60 64 68 72 75 76 77 78 79 83 84 87 89 90 95 98 99 100 102 104 106 110 111 113 114 119 121 122 131 132 136 138 145 148 151 152 154 159 162 163 165 167 170 172 174 177 178 183 192 193 195 196 199 200 201 205 207 208 210 227
a 4 8 10 13 15 19 20 23 26 30 31 37 41 43 44 45 46 59 60 64 68 72 75 76 77 78 79 83 84 87 89 90 98 99 100 102 104 106 110 111 113 114 119 121 122 130 131 132 136 138 145 148 151 152 154 159 162 163 165 167 170 172 174 177 178 183 192 193 195 196 199 200 201 205 207 208 210 227
a 4 10 13 15 19 20 23 26 28 30 31 37 41 43 44 45 46 59 60 64 68 72 75 76 77 78 79 83 84 87 89 90 98 99 100 102 104 106 110 111 113 114 119 121 122 130 131 132 136 138 145 148 151 152 154 159 162 163 165 167 170 172 174 177 178 183 192 193 195 196 199 200 201 205 207 208 210 227
a 4 10 13 15 19 20 23 26 28 30 31 37 41 43 44 45 46 59 60 64 67 68 72 75 76 77 78 79 83 84 87 89 90 98 99 100 102 104 106 110 111 113 114 119 121 122 130 131 132 136 138 145 148 151 152 154 159 162 163 165 167 170 172 174 177 178 183 192 193 195 196 199 200 201 205 207 208 210
a 10 13 15 19 20 23 26 28 30 31 37 41 43 44 45 46 59 60 64 67 68 72 75 76 77 78 79 83 84 87 89 90 98 99 100 102 104 106 110 111 113 114 119 120 121 122 130 131 132 136 138 145 148 151 152 154 159 162 163 165 167 170 172 174 177 178 183 192 193 195 196 199 200 201 205 207 208 210
a 13 15 19 20 23 26 28 30 31 37 41 43 44 45 46 59 60 64 67 68 72 75 76 77 78 79 83 84 87 89 90 98 99 100 102 104 106 110 111 113 114 119 120 121 122 130 131 132 136 138 145 148 151 152 154 159 162 163 165 167 170 172 174 177 178 183 192 193 195 196 199 200 201 205 207 208 210 211
a 13 15 19 20 23 26 28 30 31 37 41 43 44 45 46 59 60 64 67 68 72 75 76 77 78 79 84 87 89 90 98 99 100 102 104 106 110 111 113 114 119 120 121 122 128 130 131 132 136 138 145 148 151 152 154 159 162 163 165 167 170 172 174 177 178 183 192 193 195 196 199 200 201 205 207 208 210 211
a 13 15 19 20 23 26 28 30 31 37 41 44 45 46 59 60 64 67 68 72 75 76 77 78 79 84 87 89 90 98 99 100 102 104 106 110 111 113 114 119 120 121 122 128 130 131 132 136 138 145 148 151 152 154 159 162 163 165 167 170 172 174 177 178 183 192 193 195 196 199 200 201 205 207 208 210 211 223
a 13 15 19 20 23 26 28 30 31 36 37 41 44 45 46 59 60 64 67 68 72 75 76 77 78 79 84 87 89 90 98 99 100 102 104 106 110 111 113 114 119 120 121 122 128 130 131 136 138 145 148 151 152 154 159 162 163 165 167 170 172 174 177 178 183 192 193 195 196 199 200 201 205 207 208 210 211 223
a 13 15 19 20 23 26 28 30 31 36 37 41 44 45 46 59 60 64 67 68 72 75 76 77 78 79 84 87 89 90 98 99 100 102 104 106 110 111 113 114 119 120 121 122 128 130 131 136 138 145 148 151 152 154 157 159 162 163 165 167 170 172 174 177 178 183 192 193 195 196 199 200 201 207 208 210 211 223
a 13 15 19 20 23 26 28 30 31 36 37 41 44 45 46 59 60 64 67 68 72 75 76 78 79 84 87 89 90 98 99 100 102 104 106 110 111 113 114 119 120 121 122 128 130 131 136 138 144 145 148 151 152 154 157 159 162 163 165 167 170 172 174 177 178 183 192 193 195 196 199 200 201 207 208 210 211 223
a 13 15 19 20 23 26 28 30 31 36 37 44 45 46 59 60 63 64 67 68 72 75 76 78 79 84 87 89 90 98 99 100 102 104 106 110 111 113 114 119 120 121 122 128 130 131 136 138 144 145 148 151 152 154 157 159 162 163 165 167 170 172 174 177 178 183 192 193 195 196 199 200 201 207 208 210 211 223
a 13 15 19 20 23 26 28 30 31 36 37 44 45 46 59 60 63 64 67 68 72 75 76 78 79 84 87 89 90 98 99 100 102 104 106 110 111 113 114 119 120 121 122 128 130 131 136 138 144 145 148 151 152 154 157 159 162 163 165 167 172 173 174 177 178 183 192 193 195 196 199 200 201 207 208 210 211 223
a 13 15 19 23 26 28 30 31 36 37 44 45 46 59 60 63 64 67 68 72 75 76 78 79 84 87 89 90 98 99 100 102 104 106 110 111 113 114 119 120 121 122 128 130 131 136 138 144 145 148 151 152 154 157 159 162 163 165 167 172 173 174 177 178 183 192 193 195 196 199 200 201 207 208 210 211 223 225
a 13 15 19 23 26 28 30 31 36 37 44 45 46 59 60 63 64 67 68 72 75 76 78 79 84 87 89 90 92 98 99 100 102 104 106 110 111 113 114 119 120 121 122 128 130 131 136 138 144 145 148 151 152 154 157 159 162 163 165 167 172 173 174 177 183 192 193 195 196 199 200 201 207 208 210 211 223 225
a 13 15 19 23 26 28 30 31 36 37 44 45 46 59 60 63 64 67 68 72 75 76 78 79 84 87 89 90 92 98 99 100 102 104 106 110 111 113 114 119 120 121 122 128 130 131 136 138 144 145 148 151 152 154 157 159 162 163 164 165 167 172 173 174 177 192 193 195 196 199 200 201 207 208 210 211 223 225
a 7 13 15 19 23 26 28 30 31 36 37 44 45 46 59 60 63 64 67 68 72 75 76 78 79 87 89 90 92 98 99 100 102 104 106 110 111 113 114 119 120 121 122 128 130 131 136 138 144 145 148 151 152 154 157 159 162 163 164 165 167 172 173 174 177 192 193 195 196 199 200 201 207 208 210 211 223 225
a 7 13 15 19 23 26 28 30 31 36 37 44 45 46 59 60 63 64 67 68 72 75 76 78 79 87 89 90 92 98 99 100 102 104 106 110 111 113 114 119 120 121 122 128 130 131 136 138 144 145 148 151 152 154 157 159 162 163 164 165 167 173 174 177 192 193 195 196 199 200 201 207 208 210 211 217 223 225
a 6 7 13 15 19 23 26 30 31 36 37 44 45 46 59 60 63 64 67 68 72 75 76 78 79 87 89 90 92 98 99 100 102 104 106 110 111 113 114 119 120 121 122 128 130 131 136 138 144 145 148 151 152 154 157 159 162 163 164 165 167 173 174 177 192 193 195 196 199 200 201 207 208 210 211 217 223 225
a 6 7 12 13 15 19 23 26 30 31 36 37 44 45 46 59 60 63 64 67 68 72 75 76 78 87 89 90 92 98 99 100 102 104 106 110 111 113 114 119 120 121 122 128 130 131 136 138 144 145 148 151 152 154 157 159 162 163 164 165 167 173 174 177 192 193 195 196 199 200 201 207 208 210 211 217 223 225
a 6 7 12 13 15 19 23 26 30 36 37 44 45 46 59 60 63 64 67 68 72 75 76 78 87 89 90 92 98 99 100 102 104 106 110 111 113 114 119 120 121 122 128 130 131 136 138 144 145 148 151 152 154 157 159 162 163 164 165 167 173 174 177 192 193 195 196 199 200 201 207 208 210 211 217 223 225 230
a 6 7 12 13 15 19 23 26 30 36 37 44 45 46 59 60 63 64 67 68 72 76 78 87 89 90 92 98 99 100 102 104 106 110 111 113 114 119 120 121 122 125 128 130 131 136 138 144 145 148 151 152 154 157 159 162 163 164 165 167 173 174 177 192 193 195 196 199 200 201 207 208 210 211 217 223 225 230
a 6 7 12 13 15 19 23 26 30 36 37 44 45 46 56 59 60 63 64 67 68 72 76 78 87 89 90 92 98 99 100 102 104 106 110 111 113 114 119 120 121 122 125 128 130 131 136 138 144 145 148 151 152 154 157 159 162 163 164 165 167 173 174 177 192 193 195 196 199 200 207 208 210 211 217 223 225 230
a 6 7 12 13 15 19 23 26 30 36 37 45 46 56 59 60 63 64 67 68 72 76 78 87 89 90 92 98 99 100 102 104 106 110 111 113 114 119 120 121 122 125 128 130 131 136 138 144 145 148 151 152 154 157 159 162 163 164 165 167 171 173 174 177 192 193 195 196 199 200 207 208 210 211 217 223 225 230
a 6 7 12 13 15 19 23 26 30 36 37 45 46 56 59 60 63 64 67 68 72 76 78 87 89 90 92 95 98 99 100 102 104 106 110 111 113 114 119 120 121 122 125 128 131 136 138 144 145 148 151 152 154 157 159 162 163 164 165 167 171 173 174 177 192 193 195 196 199 200 207 208 210 211 217 223 225 230
a 6 7 12 13 15 19 23 26 30 36 37 45 46 56 59 60 63 64 67 68 72 76 78 87 89 90 92 95 98 99 100 102 104 106 110 111 113 114 119 120 121 122 125 128 131 136 138 140 144 145 148 151 152 154 157 159 162 163 164 165 167 171 173 174 177 192 193 195 199 200 207 208 210 211 217 223 225 230
a 6 7 12 13 15 19 23 30 36 37 45 46 56 59 60 63 64 67 68 72 76 78 87 89 90 92 95 98 99 100 102 104 106 110 111 113 114 119 120 121 122 125 128 131 136 138 140 143 144 145 148 151 152 154 157 159 162 163 164 165 167 171 173 174 177 192 193 195 199 200 207 208 210 211 217 223 225 230
a 6 7 12 13 15 19 23 30 36 37 45 46 49 56 59 60 63 64 67 68 72 76 78 87 89 90 92 95 98 99 100 102 106 110 111 113 114 119 120 121 122 125 128 131 136 138 140 143 144 145 148 151 152 154 157 159 162 163 164 165 167 171 173 174 177 192 193 195 199 200 207 208 210 211 217 223 225 230
a 6 7 12 13 15 23 30 36 37 45 46 49 56 59 60 63 64 66 67 68 72 76 78 87 89 90 92 95 98 99 100 102 106 110 111 113 114 119 120 121 122 125 128 131 136 138 140 143 144 145 148 151 152 154 157 159 162 163 164 165 167 171 173 174 177 192 193 195 199 200 207 208 210 211 217 223 225 230
a 6 7 12 13 15 23 30 36 37 45 46 48 49 56 59 60 63 64 66 67 68 72 76 78 87 89 90 92 95 98 99 100 102 106 110 111 113 114 119 120 121 122 125 128 131 136 138 140 143 144 145 148 151 152 154 157 159 162 164 165 167 171 173 174 177 192 193 195 199 200 207 208 210 211 217 223 225 230
a 6 7 12 13 15 23 30 36 37 45 46 48 49 56 59 60 63 64 66 67 68 72 76 78 87 89 90 92 95 98 99 100 102 106 110 111 113 114 119 120 121 122 125 128 131 136 138 140 143 144 145 148 151 152 154 157 158 159 162 164 165 167 171 173 174 177 193 195 199 200 207 208 210 211 217 223 225 230
a 6 7 12 13 15 23 30 36 37 45 46 48 49 56 59 60 63 64 66 67 68 72 76 78 87 89 90 92 95 98 100 102 106 110 111 113 114 119 120 121 122 125 128 131 136 138 140 143 144 145 148 151 152 154 157 158 159 162 164 165 167 171 173 174 177 193 195 199 200 207 208 210 211 215 217 223 225 230
a 6 7 12 13 15 23 30 36 37 45 46 48 49 56 59 60 63 64 66 67 68 72 76 78 85 87 89 90 92 95 98 100 102 106 110 111 113 114 119 120 121 122 125 128 131 136 138 140 143 144 145 151 152 154 157 158 159 162 164 165 167 171 173 174 177 193 195 199 200 207 208 210 211 215 217 223 225 230
a 6 7 12 13 15 23 30 36 37 45 46 48 49 56 59 60 63 64 66 67 68 72 76 78 85 87 89 90 92 95 98 100 102 106 110 113 114 119 120 121 122 125 128 131 136 138 140 143 144 145 151 152 154 157 158 159 162 164 165 167 171 173 174 177 187 193 195 199 200 207 208 210 211 215 217 223 225 230
a 6 7 12 15 21 23 30 36 37 45 46 48 49 56 59 60 63 64 66 67 68 72 76 78 85 87 89 90 92 95 98 100 102 106 110 113 114 119 120 121 122 125 128 131 136 138 140 143 144 145 151 152 154 157 158 159 162 164 165 167 171 173 174 177 187 193 195 199 200 207 208 210 211 215 217 223 225 230
a 6 7 12 15 21 23 30 36 37 45 46 48 49 56 59 60 63 64 66 67 68 72 76 78 85 87 89 90 92 95 98 102 106 110 113 114 119 120 121 122 125 128 131 136 138 140 143 144 145 151 152 154 157 158 159 162 164 165 167 171 173 174 177 187 193 195 199 200 207 208 210 211 215 217 222 223 225 230
a 6 7 12 15 21 23 30 36 37 45 46 48 49 56 59 60 63 64 66 67 68 72 76 78 85 89 90 92 95 98 102 106 110 113 114 119 120 121 122 125 128 131 136 138 140 143 144 145 150 151 152 154 157 158 159 162 164 165 167 171 173 174 177 187 193 195 199 200 207 208 210 211 215 217 222 223 225 230
a 6 7 12 15 21 23 30 36 37 45 46 48 49 56 59 60 63 64 66 67 68 72 76 78 85 89 90 92 95 98 102 106 110 113 114 119 120 121 122 125 128 131 136 138 140 143 144 145 150 151 152 154 157 158 159 162 164 167 171 173 174 177 181 187 193 195 199 200 207 208 210 211 215 217 222 223 225 230
a 6 7 12 15 21 23 30 36 37 45 46 48 49 52 56 59 60 63 64 66 67 68 72 76 78 85 89 90 92 95 98 106 110 113 114 119 120 121 122 125 128 131 136 138 140 143 144 145 150 151 152 154 157 158 159 162 164 167 171 173 174 177 181 187 193 195 199 200 207 208 210 211 215 217 222 223 225 230
a 6 7 12 15 21 23 30 36 37 45 46 48 49 52 56 59 60 63 64 66 67 68 72 76 78 85 89 90 92 95 98 106 110 113 114 119 120 121 122 125 128 131 136 138 140 143 144 150 151 152 154 157 158 159 162 164 167 171 173 174 177 181 187 193 195 199 200 207 208 210 211 215 217 222 223 225 229 230
a 6 7 12 15 21 23 30 36 37 45 46 48 49 52 56 59 60 63 64 66 67 68 72 76 78 85 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 159 162 164 167 171 173 174 177 181 187 193 195 199 200 207 208 210 211 215 217 222 223 225 229 230
a 6 7 12 15 21 23 29 30 36 37 45 46 48 49 52 56 59 60 63 64 66 67 72 76 78 85 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 159 162 164 167 171 173 174 177 181 187 193 195 199 200 207 208 210 211 215 217 222 223 225 229 230
a 6 7 12 15 21 23 24 29 30 36 37 45 46 48 49 52 56 59 60 63 64 66 67 72 76 78 85 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 159 162 164 167 171 173 174 177 181 187 193 195 200 207 208 210 211 215 217 222 223 225 229 230
a 6 7 12 15 21 23 24 29 30 36 37 45 46 48 49 52 56 59 60 63 64 66 67 72 78 85 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 159 162 164 167 171 173 174 177 181 187 193 195 200 207 208 210 211 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 78 85 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 159 162 164 167 171 173 174 177 181 187 193 195 200 207 208 210 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 78 85 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 159 164 167 171 173 174 177 181 187 193 194 195 200 207 208 210 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 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 210 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: 166
#END: [Tue Sep 26 04:32:00 2023]