#BEGIN: [Tue Sep 26 05:41:03 2023]
#HOST: s07
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-cpu-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 --ulimit cpu=1800 -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
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 41 43 44 45 46 52 56 59 60 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 210 218 222 234
a 4 10 15 19 20 23 26 28 30 31 37 41 43 44 45 46 52 56 59 60 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 160 162 165 167 170 174 177 178 179 183 190 192 193 195 199 200 207 208 210 218 222 234
a 4 10 15 19 20 23 26 28 30 31 37 41 43 44 45 46 52 56 59 60 67 68 72 75 76 77 79 85 87 89 90 91 95 98 100 104 106 110 111 113 114 119 121 122 128 131 132 136 138 142 145 151 152 154 155 157 159 160 162 165 167 170 174 177 178 179 183 190 192 193 195 199 200 207 208 210 218 234
a 4 10 13 15 19 20 26 28 30 31 37 41 43 44 45 46 52 56 59 60 67 68 72 75 76 77 79 85 87 89 90 91 95 98 100 104 106 110 111 113 114 119 121 122 128 131 132 136 138 142 145 151 152 154 155 157 159 160 162 165 167 170 174 177 178 179 183 190 192 193 195 199 200 207 208 210 218 234
a 4 7 10 13 15 19 20 26 28 30 31 37 41 43 44 45 46 52 56 59 60 67 68 72 75 76 77 79 85 87 89 90 91 95 98 100 104 106 110 111 113 114 119 121 122 128 131 132 136 138 142 145 151 152 154 155 157 159 160 162 165 167 170 174 177 178 179 190 192 193 195 199 200 207 208 210 218 234
a 4 6 7 10 13 15 19 20 26 30 31 37 41 43 44 45 46 52 56 59 60 67 68 72 75 76 77 79 85 87 89 90 91 95 98 100 104 106 110 111 113 114 119 121 122 128 131 132 136 138 142 145 151 152 154 155 157 159 160 162 165 167 170 174 177 178 179 190 192 193 195 199 200 207 208 210 218 234
a 4 6 7 10 13 15 19 20 26 30 31 37 41 43 44 45 46 52 56 59 60 67 68 72 75 76 77 79 85 87 89 90 91 95 98 100 104 106 110 111 113 114 119 121 122 128 131 132 136 138 142 145 151 152 154 155 157 159 162 164 165 167 170 174 177 178 179 190 192 193 195 199 200 207 208 210 218 234
a 4 7 10 13 15 19 20 26 28 30 31 37 41 43 44 45 46 52 56 59 60 67 68 72 75 76 77 79 85 87 89 90 91 95 98 100 104 106 110 111 113 114 119 121 122 128 131 132 136 138 142 145 151 152 154 155 157 159 162 164 165 167 170 174 177 178 179 190 192 193 195 199 200 207 208 210 218 234
a 4 7 10 13 15 19 20 26 28 30 31 37 41 43 44 45 46 52 56 59 60 67 68 72 75 76 77 79 85 87 89 90 91 95 98 100 104 106 110 111 113 114 119 121 122 128 131 132 136 138 142 145 151 152 154 155 157 159 162 164 165 167 173 174 177 178 179 190 192 193 195 199 200 207 208 210 218 234
a 4 6 7 10 13 15 19 20 26 30 31 37 41 43 44 45 46 52 56 59 60 67 68 72 75 76 77 79 85 87 89 90 91 95 98 100 104 106 110 111 113 114 119 121 122 128 131 132 136 138 142 145 151 152 154 155 157 159 162 164 165 167 173 174 177 178 179 190 192 193 195 199 200 207 208 210 218 234
a 4 6 7 10 13 15 19 20 23 26 30 31 37 41 43 44 45 46 52 56 59 60 67 68 72 75 76 77 79 85 87 89 90 91 95 98 100 104 106 110 111 113 114 119 121 122 128 131 132 136 138 142 145 152 154 155 157 159 162 164 165 167 173 174 177 178 179 190 192 193 195 199 200 207 208 210 218 234
a 4 7 10 13 15 19 20 23 26 28 30 31 37 41 43 44 45 46 52 56 59 60 67 68 72 75 76 77 79 85 87 89 90 91 95 98 100 104 106 110 111 113 114 119 121 122 128 131 132 136 138 142 145 152 154 155 157 159 162 164 165 167 173 174 177 178 179 190 192 193 195 199 200 207 208 210 218 234
a 4 7 10 13 15 19 20 23 26 28 30 31 37 41 43 44 45 46 52 56 59 60 67 68 72 75 76 77 79 85 87 89 90 91 95 98 100 104 106 110 111 113 114 119 121 122 128 131 132 136 138 142 145 152 154 155 157 159 160 162 164 165 167 173 177 178 179 190 192 193 195 199 200 207 208 210 218 234
a 4 7 10 13 15 19 20 23 26 28 30 31 37 41 43 44 45 46 52 56 59 60 67 68 72 75 76 77 79 85 87 89 90 91 95 98 100 104 106 110 111 113 114 119 121 122 128 131 132 136 138 142 145 151 152 154 155 157 159 162 164 165 167 173 177 178 179 190 192 193 195 199 200 207 208 210 218 234
a 4 7 10 13 15 19 20 23 26 28 30 31 37 41 43 44 45 46 52 56 59 60 67 68 72 75 76 77 79 85 87 89 90 91 95 98 100 104 106 110 111 113 114 119 121 122 128 131 132 136 138 142 145 151 152 154 155 157 159 160 162 164 165 167 173 177 178 179 190 192 195 199 200 207 208 210 218 234
a 4 7 8 10 13 15 19 20 23 26 28 30 31 37 41 43 44 45 46 52 56 59 60 67 68 72 75 76 77 79 85 87 89 90 95 98 100 104 106 110 111 113 114 119 121 122 128 131 132 136 138 142 145 151 152 154 155 157 159 160 162 164 165 167 173 177 178 179 190 192 195 199 200 207 208 210 218 234
a 4 6 7 8 10 13 15 19 20 23 26 30 31 37 41 43 44 45 46 52 56 59 60 67 68 72 75 76 77 79 85 87 89 90 95 98 100 104 106 110 111 113 114 119 121 122 128 131 132 136 138 142 145 151 152 154 155 157 159 160 162 164 165 167 173 177 178 179 190 192 195 199 200 207 208 210 218 234
a 4 6 7 8 10 13 15 19 20 23 26 30 31 37 41 43 44 45 46 52 56 59 60 67 68 72 75 76 77 79 85 87 89 90 95 98 100 104 106 110 111 113 114 119 121 122 128 131 132 136 138 142 145 151 152 154 155 157 159 160 162 164 165 167 173 174 177 178 179 190 192 195 199 200 207 208 218 234
a 4 6 7 8 10 13 15 19 20 23 26 30 31 37 41 43 44 45 46 52 56 59 60 67 68 75 76 77 79 85 87 89 90 95 98 100 104 106 110 111 113 114 119 121 122 128 131 132 136 138 142 145 151 152 154 155 157 159 160 162 164 165 167 173 174 177 178 179 190 192 195 199 200 207 208 218 224 234
a 4 6 7 8 10 13 15 19 20 23 26 30 31 37 41 43 44 45 46 52 56 59 60 67 68 75 76 77 79 85 87 89 90 95 98 100 104 106 110 111 113 114 119 121 122 128 131 132 136 138 142 145 151 152 154 155 157 159 160 162 164 165 167 174 177 178 179 190 192 193 195 199 200 207 208 218 224 234
a 4 6 7 8 10 13 15 19 20 23 26 30 31 37 41 43 44 45 46 52 56 59 60 67 68 75 76 77 79 85 87 89 90 95 98 100 104 106 110 111 113 114 119 121 122 128 131 132 136 138 142 145 151 152 154 155 157 159 160 162 164 165 167 173 174 177 178 179 190 192 193 195 199 200 207 208 218 224
a 4 6 7 8 10 13 15 19 20 23 26 30 31 37 41 43 44 45 46 52 56 59 60 67 68 75 76 77 79 85 87 89 90 95 98 100 104 106 110 111 113 114 119 121 122 128 131 132 136 138 142 145 151 152 154 155 157 159 160 162 164 165 167 173 174 177 178 179 190 192 193 195 199 200 207 208 218 227
a 4 6 7 8 10 13 15 19 20 23 26 30 31 37 38 41 43 44 45 46 52 56 59 60 67 68 75 76 77 79 85 87 89 95 98 100 104 106 110 111 113 114 119 121 122 128 131 132 136 138 142 145 151 152 154 155 157 159 160 162 164 165 167 173 174 177 178 179 190 192 193 195 199 200 207 208 218 227
a 4 6 7 8 10 13 15 19 20 23 26 30 31 37 38 41 43 44 45 46 52 56 59 60 67 68 76 77 79 85 87 89 95 98 100 104 106 110 111 113 114 119 121 122 128 131 132 136 138 142 145 151 152 154 155 157 159 160 162 164 165 167 173 174 177 178 179 190 192 193 195 199 200 207 208 218 227 234
a 4 6 7 8 10 13 15 19 20 23 26 30 31 37 38 41 43 44 45 46 52 56 59 60 67 68 76 77 79 85 87 95 96 98 100 104 106 110 111 113 114 119 121 122 128 131 132 136 138 142 145 151 152 154 155 157 159 160 162 164 165 167 173 174 177 178 179 190 192 193 195 199 200 207 208 218 227 234
a 4 6 7 8 10 13 15 19 20 23 26 30 31 37 38 41 43 44 45 46 52 56 59 60 67 68 76 77 79 85 87 95 96 98 100 104 106 110 111 113 114 119 121 122 128 131 132 136 138 142 145 151 152 154 155 157 159 160 162 164 165 167 173 174 177 178 179 190 192 193 195 199 200 207 211 218 227 234
a 4 6 7 8 10 13 15 19 20 23 26 30 31 37 38 41 43 44 45 46 52 56 59 60 67 68 75 76 77 79 85 87 95 96 98 100 104 106 110 111 113 114 119 121 122 128 131 132 136 138 142 145 151 152 154 155 157 159 160 162 164 165 167 173 174 177 178 179 190 192 193 195 199 200 207 211 227 234
a 4 6 7 8 10 13 15 19 20 23 26 30 31 37 38 41 43 44 45 46 52 56 59 60 67 68 75 76 77 79 85 87 95 96 98 100 104 106 110 111 113 114 119 121 122 128 131 132 136 138 142 145 151 152 154 155 157 159 160 162 164 165 167 173 174 177 178 179 190 192 193 195 199 200 207 211 218 227
a 4 6 7 8 10 13 15 19 20 23 26 30 31 37 38 41 43 44 45 46 52 56 59 60 67 68 75 76 77 79 85 87 95 96 98 100 104 106 110 111 113 114 119 121 122 128 131 132 136 138 142 145 151 152 154 155 157 159 160 162 164 165 167 173 174 177 178 179 190 192 195 199 200 207 211 218 227 234
a 4 6 7 8 10 13 15 19 20 23 26 30 31 37 38 41 43 44 45 46 52 56 59 60 67 68 75 76 77 79 85 87 95 96 98 100 104 106 110 111 113 114 119 121 122 128 131 132 136 138 142 145 151 152 154 155 157 159 160 162 164 165 167 173 177 178 179 190 192 195 199 200 207 211 218 224 227 234
a 4 6 7 8 10 13 15 19 20 23 26 30 31 37 38 41 43 44 45 46 52 56 59 60 67 68 75 76 77 79 85 87 95 96 98 100 104 106 110 111 113 114 119 121 122 128 131 132 136 138 142 145 151 152 154 155 157 159 160 162 164 165 173 174 177 178 179 190 192 195 199 200 207 211 218 224 227 234
a 4 6 7 8 10 13 15 19 20 23 26 30 31 37 38 41 43 44 45 46 52 56 59 60 67 68 75 76 77 79 85 87 95 96 98 100 104 106 110 111 113 114 119 121 122 128 131 132 136 138 142 145 151 152 154 155 157 159 160 162 164 165 173 174 177 178 179 184 190 192 195 199 200 207 211 218 224 234
a 4 6 7 8 10 13 15 19 20 23 26 30 31 37 38 41 43 44 45 46 52 56 59 60 67 68 75 76 77 79 85 87 95 96 98 100 104 106 110 111 113 114 119 121 122 128 131 132 136 138 142 145 151 152 154 155 157 159 160 162 164 165 173 174 177 178 179 184 190 192 195 199 200 207 210 211 218 224
a 4 6 7 8 10 13 15 19 20 23 26 30 31 37 38 41 43 44 45 46 52 56 59 60 67 68 75 76 77 79 85 87 95 96 98 100 104 106 110 111 113 114 119 121 122 128 131 132 136 138 142 145 151 152 154 155 157 159 160 162 164 165 173 174 177 178 179 184 190 192 195 199 200 207 210 211 218 234
a 4 7 8 10 13 15 19 20 23 26 30 31 37 38 41 43 44 45 46 52 56 59 60 67 68 75 76 77 79 85 87 95 96 98 100 104 106 110 111 113 114 119 121 122 128 131 132 136 138 142 145 151 152 154 155 157 159 160 162 164 165 173 174 177 178 179 184 190 192 195 199 200 207 210 211 218 224 234
a 4 7 8 10 13 15 19 20 23 26 30 31 37 38 41 43 44 45 46 52 56 59 60 67 68 75 76 77 79 85 87 95 96 98 100 104 110 111 113 114 119 121 122 128 131 132 136 138 142 145 151 152 154 155 157 159 160 162 164 165 173 174 177 178 179 184 190 192 193 195 199 200 207 210 211 218 224 234
a 4 7 8 10 13 15 19 20 23 26 30 31 37 38 41 43 44 45 46 52 56 59 60 67 68 76 77 79 85 87 95 96 98 100 104 110 111 113 114 119 121 122 125 128 131 132 136 138 142 145 151 152 154 155 157 159 160 162 164 165 173 174 177 178 179 184 190 192 193 195 199 200 207 210 211 218 224 234
a 4 7 8 10 13 15 19 20 23 26 30 31 37 38 41 43 44 45 46 52 56 59 60 67 68 76 77 79 85 87 95 96 98 100 104 106 110 111 113 114 119 121 122 125 128 131 132 136 138 142 145 151 152 154 155 157 159 160 162 164 165 173 174 177 178 179 184 190 192 193 195 199 200 207 210 211 218 224
a 4 7 8 10 13 15 19 20 23 26 30 31 37 38 41 43 44 45 52 56 59 60 67 68 76 77 79 85 87 95 96 98 100 104 106 110 111 113 114 119 121 122 125 128 131 132 136 138 142 145 151 152 154 155 157 159 160 162 164 165 173 174 177 178 179 184 190 192 193 195 199 200 207 210 211 218 224 234
a 7 8 10 13 15 19 20 23 26 30 31 37 38 41 43 44 45 52 56 59 60 67 68 76 77 79 85 87 95 96 98 100 104 106 110 111 113 114 119 121 122 125 128 131 132 136 138 142 145 151 152 154 155 157 159 160 162 164 165 168 173 174 177 178 179 184 190 192 193 195 199 200 207 210 211 218 224 234
a 7 8 10 13 15 19 20 23 26 30 31 37 38 41 43 44 45 52 56 59 60 67 68 76 77 79 85 87 95 96 98 99 100 104 106 110 111 113 114 119 121 122 125 128 131 132 136 138 142 145 151 152 154 155 157 159 160 162 164 165 168 173 174 177 178 184 190 192 193 195 199 200 207 210 211 218 224 234
a 7 8 10 13 15 19 20 23 26 30 31 37 38 41 43 44 45 52 56 59 60 67 68 76 77 79 85 87 95 96 99 100 104 106 110 111 113 114 119 121 122 125 127 128 131 132 136 138 142 145 151 152 154 155 157 159 160 162 164 165 168 173 174 177 178 184 190 192 193 195 199 200 207 210 211 218 224 234
a 7 8 10 13 15 19 20 23 26 28 30 31 37 38 41 43 44 45 52 56 59 60 67 68 76 77 79 85 87 95 96 99 100 104 106 110 111 113 114 119 121 122 127 128 131 132 136 138 142 145 151 152 154 155 157 159 160 162 164 165 168 173 174 177 178 184 190 192 193 195 199 200 207 210 211 218 224 234
a 7 8 10 13 15 19 20 23 26 28 30 31 37 38 41 43 44 45 52 56 59 60 67 68 76 77 79 85 87 95 96 99 100 104 106 110 111 113 114 119 121 122 127 128 131 132 136 138 142 145 151 152 154 155 157 159 160 162 164 165 168 173 174 177 178 184 190 192 193 195 199 200 207 208 211 218 224 234
a 4 7 8 10 13 15 19 20 23 26 28 30 31 37 38 41 43 44 45 52 56 59 60 67 68 76 77 79 85 87 95 96 99 100 104 106 110 111 113 114 119 121 122 127 128 131 132 136 138 142 145 151 152 154 155 157 159 160 162 164 165 173 174 177 178 184 190 192 193 195 199 200 207 208 211 218 224 234
a 4 7 8 10 13 15 19 20 23 26 28 30 31 37 38 41 43 44 45 52 56 59 60 67 68 76 77 79 85 87 95 96 99 100 104 106 111 113 114 119 121 122 127 128 131 132 136 138 142 145 147 151 152 154 155 157 159 160 162 164 165 173 174 177 178 184 190 192 193 195 199 200 207 208 211 218 224 234
a 4 7 8 10 13 15 19 20 23 26 28 30 31 37 38 41 43 44 45 52 55 56 59 60 67 68 76 77 79 85 87 95 96 99 100 104 106 111 113 114 119 121 122 127 128 131 132 136 138 142 145 147 151 152 154 155 157 159 160 162 164 165 173 174 177 178 184 190 192 193 195 200 207 208 211 218 224 234
a 4 7 8 10 13 15 19 20 23 26 28 30 31 37 38 41 43 44 45 52 55 56 59 60 67 68 76 77 79 85 87 95 96 99 100 104 106 111 113 114 119 121 122 127 128 131 132 136 138 140 142 145 147 151 152 154 155 157 159 160 162 164 165 173 174 177 178 184 192 193 195 200 207 208 211 218 224 234
a 4 7 8 10 13 15 19 20 23 26 28 30 31 37 38 41 43 44 45 52 55 56 59 60 67 68 76 77 79 85 87 95 96 99 100 104 106 111 113 114 119 121 122 127 128 131 132 136 138 140 142 145 147 151 152 154 155 157 159 160 162 164 165 173 174 177 178 192 193 195 200 207 208 211 218 223 224 234
a 4 7 8 10 13 15 19 20 23 26 28 30 31 37 38 41 43 44 45 52 55 56 59 60 67 68 76 77 79 85 87 95 96 99 100 104 106 111 113 114 119 121 122 127 128 131 132 136 138 140 142 145 147 151 152 154 155 157 159 160 162 164 165 173 174 177 178 192 195 200 207 208 211 218 223 224 227 234
a 4 6 7 8 10 13 15 19 20 23 26 30 31 37 38 41 43 44 45 52 55 56 59 60 67 68 76 77 79 85 87 95 96 99 100 104 106 111 113 114 119 121 122 127 128 131 132 136 138 140 142 145 147 151 152 154 155 157 159 160 162 164 165 173 174 177 178 192 195 200 207 208 211 218 223 224 227 234
a 4 6 7 8 10 13 15 19 20 23 26 30 31 37 38 41 43 44 45 52 55 56 60 67 68 76 77 79 85 87 95 96 99 100 104 106 111 113 114 119 121 122 125 127 128 131 132 136 138 140 142 145 147 151 152 154 155 157 159 160 162 164 165 173 174 177 178 192 195 200 207 208 211 218 223 224 227 234
a 4 6 7 8 10 13 19 20 23 26 30 31 37 38 41 43 44 45 52 55 56 60 67 68 76 77 79 85 87 95 96 99 100 104 106 111 113 114 119 121 122 125 127 128 131 132 136 138 140 142 145 147 151 152 154 155 157 159 160 162 164 165 167 173 174 177 178 192 195 200 207 208 211 218 223 224 227 234
a 4 6 7 8 10 13 19 20 23 26 30 31 37 38 41 43 44 45 52 55 56 60 67 68 76 77 79 85 87 95 96 100 104 106 111 113 114 119 121 122 125 127 128 131 132 136 138 140 142 145 147 151 152 154 155 157 159 160 162 164 165 167 173 174 177 178 179 192 195 200 207 208 211 218 223 224 227 234
a 4 6 7 8 10 13 19 20 23 26 30 31 38 41 43 44 45 52 55 56 60 67 68 76 77 79 85 87 95 96 100 104 106 111 113 114 119 121 122 125 127 128 131 132 136 138 140 142 145 147 151 152 154 155 157 159 160 162 164 165 167 173 174 177 178 179 192 195 200 207 208 211 218 221 223 224 227 234
a 4 6 7 8 10 13 19 20 23 26 30 31 38 41 43 44 45 52 55 56 59 60 67 68 76 77 79 85 87 95 96 100 104 106 111 113 114 119 121 122 125 127 128 131 132 136 140 142 145 147 151 152 154 155 157 159 160 162 164 165 167 173 174 177 178 179 192 195 200 207 208 211 218 221 223 224 227 234
a 4 6 7 8 10 13 19 20 23 26 30 31 38 41 43 44 45 52 55 56 59 60 67 68 76 77 79 85 87 95 96 100 104 106 111 113 114 119 121 122 125 127 128 131 132 136 140 142 145 147 151 152 154 155 157 159 160 162 164 165 167 173 174 177 178 179 192 193 195 200 207 208 211 218 221 223 224 234
a 4 6 7 8 10 13 19 20 23 26 30 31 38 39 41 43 44 45 52 55 56 59 60 67 68 76 77 79 85 87 95 96 100 104 106 111 113 114 121 122 125 127 128 131 132 136 140 142 145 147 151 152 154 155 157 159 160 162 164 165 167 173 174 177 178 179 192 193 195 200 207 208 211 218 221 223 224 234
a 4 6 7 8 10 13 19 20 23 26 30 31 38 39 41 43 44 45 52 55 56 59 60 67 68 76 77 79 85 87 95 96 100 104 106 111 113 114 121 122 125 127 128 131 132 136 140 142 145 147 151 152 154 155 157 159 160 162 165 167 173 174 177 178 179 192 193 195 200 207 208 211 218 221 223 224 227 234
a 4 6 7 8 10 13 15 19 20 23 26 30 31 38 39 41 43 44 45 52 55 56 59 60 67 68 76 77 79 85 87 95 96 104 106 111 113 114 121 122 125 127 128 131 132 136 140 142 145 147 151 152 154 155 157 159 160 162 165 167 173 174 177 178 179 192 193 195 200 207 208 211 218 221 223 224 227 234
a 4 7 8 10 13 15 19 20 23 26 30 31 38 39 41 43 44 45 52 55 56 59 60 67 68 76 77 79 85 87 95 96 100 104 106 111 113 114 121 122 125 127 128 131 132 136 140 142 145 147 151 152 154 155 157 159 160 162 165 167 173 174 177 178 179 192 193 195 200 207 208 211 218 221 223 224 227 234
a 4 7 8 10 13 15 19 20 23 26 30 31 39 41 43 44 45 52 55 56 59 60 67 68 76 77 79 85 87 90 95 96 100 104 106 111 113 114 121 122 125 127 128 131 132 136 140 142 145 147 151 152 154 155 157 159 160 162 165 167 173 174 177 178 179 192 193 195 200 207 208 211 218 221 223 224 227 234
a 4 6 7 8 10 13 15 19 20 23 26 30 31 39 41 43 44 45 52 55 56 59 60 67 68 76 77 79 85 87 90 95 96 100 104 106 111 113 114 121 122 125 127 128 131 132 136 140 142 145 147 151 152 154 155 157 159 160 162 165 167 173 174 177 178 179 192 193 195 200 207 208 211 218 221 223 224 234
a 4 6 7 8 10 13 15 19 20 23 26 30 31 39 41 43 44 45 52 54 55 56 59 60 67 68 76 77 79 85 87 90 95 96 100 104 106 111 113 114 121 122 125 127 128 131 132 136 140 142 145 147 151 152 154 155 157 159 160 162 165 167 173 174 177 178 179 192 193 195 200 207 208 218 221 223 224 234
a 4 6 7 8 10 13 15 17 19 20 23 26 30 31 39 41 43 44 45 52 54 55 56 59 60 67 68 76 77 79 85 87 90 95 96 100 104 106 111 113 114 121 122 125 127 128 131 132 136 140 142 145 147 151 152 154 155 157 159 160 162 165 167 173 174 177 178 179 192 193 195 200 207 208 218 221 223 234
a 4 6 7 8 10 13 15 17 19 20 23 26 30 31 39 41 43 44 45 52 54 55 56 59 60 67 68 76 77 79 85 87 90 95 96 100 104 106 111 113 114 121 122 125 127 128 131 132 136 140 142 145 147 151 152 154 155 157 159 160 162 165 167 172 173 174 177 178 179 192 193 195 200 207 218 221 223 234
a 4 6 7 8 10 13 15 17 19 20 23 26 30 31 39 41 43 44 45 52 54 55 56 59 60 67 68 76 77 79 85 87 90 95 96 100 104 106 111 113 114 121 122 125 127 128 131 132 136 140 142 145 147 151 152 154 155 157 159 160 162 165 167 172 173 174 177 178 179 192 193 195 200 207 208 218 221 223
a 4 6 7 8 10 13 15 17 19 20 23 26 30 31 39 41 43 44 45 52 54 55 56 59 60 67 68 76 77 79 81 85 87 90 95 96 100 104 106 111 113 114 121 122 125 127 128 131 132 136 140 142 145 147 151 152 154 155 157 159 160 162 165 167 172 173 174 177 178 179 192 193 195 200 207 208 221 223
a 4 6 7 8 10 13 15 17 19 20 23 26 30 31 39 41 43 44 45 52 54 55 56 59 60 67 68 76 77 79 81 85 87 90 95 96 100 104 106 111 113 114 121 122 125 127 128 131 132 136 140 142 145 147 151 152 154 155 157 159 160 162 165 167 172 173 174 177 178 179 192 195 200 207 208 221 223 227
a 4 6 7 8 10 13 15 17 19 20 23 26 30 31 39 41 43 44 45 52 54 55 56 59 60 67 68 76 77 79 81 85 87 90 95 96 100 104 106 111 113 114 121 122 125 127 128 131 132 136 140 142 145 147 151 152 154 157 159 160 162 165 167 172 173 174 177 178 179 192 195 200 207 208 221 223 227 234
a 4 6 7 8 10 13 15 17 19 20 23 26 30 31 39 41 43 44 45 52 54 55 56 59 60 67 68 72 76 77 79 81 85 87 90 95 96 100 104 106 111 113 114 121 122 125 127 128 131 132 136 140 142 145 147 151 152 154 157 159 160 162 165 167 172 173 174 177 178 179 192 195 200 207 208 221 227 234
a 4 6 7 8 10 13 15 17 19 20 23 26 30 31 39 41 43 44 45 52 54 55 56 59 60 67 68 72 76 77 79 81 85 87 90 95 96 98 100 104 106 111 113 114 121 122 125 128 131 132 136 140 142 145 147 151 152 154 157 159 160 162 165 167 172 173 174 177 178 179 192 195 200 207 208 221 227 234
a 4 6 7 8 10 13 15 17 19 20 23 26 30 31 39 41 43 44 45 52 54 55 56 59 60 67 68 72 76 77 79 81 85 87 90 95 96 98 100 104 106 111 113 114 121 122 125 128 131 132 136 140 142 145 147 151 152 154 157 159 160 162 165 167 172 173 174 177 178 179 192 195 200 207 218 221 227 234
a 4 6 7 8 10 13 15 17 19 20 23 26 30 31 39 41 43 44 45 52 54 55 56 59 60 67 68 72 76 77 79 81 85 87 90 95 96 98 100 104 106 111 113 114 121 122 125 128 131 132 136 140 142 145 147 151 152 154 155 157 159 160 162 165 167 172 173 174 177 178 179 192 195 200 218 221 227 234
a 4 6 7 8 10 13 15 17 19 20 23 26 30 31 39 41 43 44 45 52 54 55 56 59 60 67 68 72 76 77 79 81 85 87 90 95 96 98 100 104 106 111 113 114 121 122 125 128 131 132 136 140 142 145 147 151 152 154 155 157 159 160 162 165 167 172 173 174 177 178 179 192 195 200 207 218 221 234
a 4 6 7 8 10 13 15 17 19 20 23 26 30 31 39 41 43 44 45 52 54 55 56 59 60 67 68 72 76 77 79 81 85 87 90 95 96 98 100 104 106 111 113 114 121 122 125 128 131 132 136 140 142 145 147 151 152 154 155 157 159 160 162 165 167 172 173 174 177 178 179 192 195 200 207 221 227 234
a 4 6 7 8 10 13 15 17 19 20 23 26 30 31 39 41 43 44 45 52 54 55 56 59 60 67 68 72 76 77 79 81 85 87 90 95 96 98 100 104 106 111 113 114 121 122 125 128 131 132 136 140 142 145 147 151 152 154 155 157 159 160 162 165 167 172 173 174 177 178 179 192 193 195 200 207 221 234
a 4 6 7 8 10 13 15 17 19 20 23 26 30 31 39 41 43 44 45 52 54 55 56 59 60 67 68 72 76 77 79 81 85 87 90 95 96 98 100 104 111 113 114 121 122 125 128 131 132 136 140 142 145 147 151 152 154 155 157 159 160 162 165 167 172 173 174 177 178 179 192 193 195 200 207 221 223 234
a 4 6 7 8 10 13 15 17 19 20 23 26 30 31 39 41 43 44 45 52 54 55 56 59 60 67 68 72 76 77 79 81 85 87 90 95 96 98 100 104 111 113 114 121 122 125 128 131 132 136 140 142 145 147 151 152 154 155 157 159 160 162 165 167 172 173 174 177 178 179 192 193 195 200 207 221 223 227
a 2 4 6 7 8 10 13 15 17 19 20 23 26 30 31 39 41 43 44 45 52 54 55 56 59 60 68 72 76 77 79 81 85 87 90 95 96 98 100 104 111 113 114 121 122 125 128 131 132 136 140 142 145 147 151 152 154 155 157 159 160 162 165 167 172 173 174 177 178 179 192 193 195 200 207 221 223 227
a 2 4 6 7 8 10 13 15 17 19 20 23 26 30 31 39 41 43 44 45 52 54 55 56 59 60 68 72 76 77 79 81 85 87 90 95 96 98 100 104 111 113 114 121 122 125 128 131 132 136 140 142 145 147 151 152 154 155 157 159 160 165 167 172 173 174 177 178 179 192 193 195 200 207 221 223 227 234
a 2 4 6 7 8 10 13 15 17 19 20 23 26 30 31 39 41 43 44 45 52 54 55 56 59 60 72 76 77 79 81 85 87 90 95 96 98 100 104 111 113 114 121 122 125 128 131 132 136 140 142 145 147 151 152 154 155 157 159 160 165 167 172 173 174 177 178 179 192 193 195 200 207 218 221 223 227 234
a 2 4 6 7 8 10 13 15 17 19 20 23 26 30 31 39 41 43 44 45 52 54 55 56 59 60 72 76 77 79 81 85 87 90 95 96 98 100 104 111 113 114 121 122 125 128 131 132 136 140 142 145 147 151 152 154 155 157 159 160 165 167 172 173 174 177 178 179 192 193 195 200 207 208 218 221 223 234
a 2 4 6 7 8 10 13 15 17 19 20 23 26 30 31 39 41 43 44 45 52 54 55 56 59 60 72 76 77 79 81 85 87 90 95 96 98 100 104 106 111 113 114 121 122 125 128 131 132 136 140 142 145 147 151 152 154 155 157 159 160 165 167 172 173 174 177 178 179 192 193 195 200 207 208 218 223 234
a 2 4 6 7 8 10 13 15 17 19 20 23 26 30 31 39 41 43 44 45 52 54 55 56 59 60 72 76 77 79 81 85 87 90 95 96 98 100 104 106 111 113 114 121 122 125 128 131 132 136 140 142 145 147 151 152 154 155 157 159 160 165 167 172 173 174 177 178 179 192 193 195 200 207 208 218 223 227
a 2 4 6 7 8 10 13 15 17 19 20 23 26 30 31 39 41 43 44 45 52 54 55 56 59 60 72 76 77 79 81 85 87 90 95 96 100 104 106 111 113 114 121 122 125 127 128 131 132 136 140 142 145 147 151 152 154 155 157 159 160 165 167 172 173 174 177 178 179 192 193 195 200 207 208 218 223 227
a 2 4 6 7 8 10 13 15 17 19 20 23 26 30 31 39 41 43 44 45 52 54 55 56 59 60 72 76 79 81 85 87 90 95 96 100 104 106 111 113 114 121 122 125 127 128 131 132 136 140 142 145 147 151 152 154 155 157 159 160 164 165 167 172 173 174 177 178 179 192 193 195 200 207 208 218 223 227
a 2 4 6 7 8 10 13 15 17 19 20 23 26 30 31 39 41 43 44 45 52 54 55 56 59 60 72 76 79 81 85 87 90 95 96 98 100 104 106 111 113 114 121 122 125 128 131 132 136 140 142 145 147 151 152 154 155 157 159 160 164 165 167 172 173 174 177 178 179 192 193 195 200 207 208 218 223 227
a 2 4 6 7 8 10 13 15 17 19 20 23 26 30 31 39 41 43 44 45 52 54 55 56 59 60 72 76 78 79 81 85 87 90 95 96 98 100 104 106 111 113 114 121 122 125 128 131 132 136 140 142 145 147 151 152 154 157 159 160 164 165 167 172 173 174 177 178 179 192 193 195 200 207 208 218 223 227
a 2 4 6 7 8 10 13 15 17 19 20 23 25 26 30 31 39 41 43 44 45 52 54 55 56 59 60 72 76 78 79 81 85 87 90 95 96 98 100 104 106 111 113 114 121 122 125 128 131 132 136 140 142 145 147 151 152 154 157 159 160 164 165 167 172 173 174 178 179 192 193 195 200 207 208 218 223 227
a 2 4 6 7 8 10 13 15 17 19 20 23 25 26 30 31 39 41 43 44 45 52 54 55 56 59 60 72 76 78 79 81 85 87 90 95 96 98 100 104 106 111 113 114 121 122 125 128 131 132 136 140 142 145 147 151 152 154 157 159 160 164 165 167 172 173 174 178 179 192 193 195 200 207 208 218 223 234
a 2 4 6 7 8 10 13 15 17 19 20 23 25 26 30 31 39 41 43 44 45 52 54 55 56 59 60 72 76 78 79 81 85 87 90 95 96 98 100 104 106 111 113 114 121 122 125 128 131 132 136 140 142 145 147 151 152 154 157 159 160 164 165 167 172 173 174 179 192 193 195 200 207 208 218 223 227 234
a 2 4 6 7 8 10 13 15 17 19 20 23 25 26 30 31 39 41 43 44 45 52 54 55 56 59 60 72 76 77 78 79 81 85 87 90 95 96 98 100 104 106 111 113 114 121 122 125 128 131 132 136 140 142 145 147 151 152 154 157 159 160 164 165 167 172 173 174 179 192 193 195 200 207 208 218 223 234
a 4 6 7 8 10 13 15 17 19 20 23 25 26 30 31 39 41 43 44 45 52 54 55 56 59 60 67 72 76 77 78 79 81 85 87 90 95 96 98 100 104 106 111 113 114 121 122 125 128 131 132 136 140 142 145 147 151 152 154 157 159 160 164 165 167 172 173 174 179 192 193 195 200 207 208 218 223 234
a 4 6 7 8 10 13 15 17 19 20 23 25 26 30 31 39 41 43 44 45 52 54 55 56 59 60 67 72 76 77 78 79 81 85 87 90 95 96 98 100 104 106 111 113 114 121 122 125 128 131 132 136 140 142 145 147 151 152 154 157 159 160 164 165 167 172 173 174 179 192 193 195 200 207 218 221 223 234
a 4 6 7 8 10 13 15 17 19 20 23 25 26 30 31 39 41 43 44 45 52 54 55 56 59 60 67 72 76 77 78 79 81 85 87 90 95 96 98 100 104 106 111 113 114 121 122 125 128 131 132 136 140 142 145 147 151 152 154 157 159 160 164 165 167 172 173 174 179 192 193 195 200 207 218 221 223 227
a 2 4 6 7 8 10 13 15 17 19 20 23 25 26 30 31 39 41 43 44 45 52 54 55 56 59 60 72 76 77 78 79 81 85 87 90 95 96 98 100 104 106 111 113 114 121 122 125 128 131 132 136 140 142 145 147 151 152 154 157 159 160 164 165 167 172 173 174 179 192 193 195 200 207 218 221 223 227
a 2 4 6 7 8 10 13 15 17 19 20 23 25 26 30 31 39 41 43 44 45 52 54 55 56 59 60 72 76 77 78 79 81 85 87 90 95 96 98 100 104 106 111 113 114 121 122 125 128 131 132 136 140 142 145 147 151 152 154 157 159 160 164 165 167 172 173 174 179 192 193 195 200 207 208 218 221 223
a 2 4 6 7 8 10 13 15 17 19 20 23 25 26 31 39 41 43 44 45 52 54 55 56 59 60 72 76 77 78 79 81 85 87 90 95 96 98 100 104 106 111 113 114 121 122 123 125 128 131 132 136 140 142 145 147 151 152 154 157 159 160 164 165 167 172 173 174 179 192 193 195 200 207 208 218 221 223
a 2 4 6 7 8 10 13 15 17 19 20 23 25 26 31 39 41 43 44 45 52 54 55 56 59 60 72 76 77 79 81 85 87 90 95 96 98 100 104 106 111 113 114 121 122 123 125 128 131 132 136 140 142 145 147 151 152 154 155 157 159 160 164 165 167 172 173 174 179 192 193 195 200 207 208 218 221 223
a 2 4 6 7 8 10 13 15 17 19 20 23 25 26 31 39 41 43 44 45 54 55 56 59 60 72 76 77 79 81 85 87 90 95 96 98 100 104 106 111 113 114 121 122 123 125 128 131 132 136 140 142 145 147 151 152 154 155 157 159 160 162 164 165 167 172 173 174 179 192 193 195 200 207 208 218 221 223
a 2 4 6 7 8 10 13 15 17 19 20 23 25 26 31 39 41 43 44 45 54 55 56 59 72 76 77 79 81 85 87 90 95 96 98 100 104 106 111 113 114 121 122 123 125 128 131 132 136 140 142 145 147 151 152 154 155 157 159 160 162 164 165 167 172 173 174 179 192 193 195 200 207 208 218 221 223 227
a 2 4 6 7 8 10 13 15 17 19 20 23 25 26 31 39 41 43 44 45 54 55 56 59 72 76 77 79 81 85 87 90 95 96 98 100 104 106 111 113 114 121 122 123 125 128 131 132 136 140 142 145 147 151 152 154 155 157 159 162 163 164 165 167 172 173 174 179 192 193 195 200 207 208 218 221 223 227
a 2 4 6 7 8 10 15 17 19 20 23 25 26 31 34 39 41 43 44 45 54 55 56 59 72 76 77 79 81 85 87 90 95 96 98 100 104 106 111 113 114 121 122 123 125 128 131 132 136 140 142 145 147 151 152 154 155 157 159 162 163 164 165 167 172 173 174 179 192 193 195 200 207 208 218 221 223 227
a 2 4 6 7 8 10 13 15 17 19 20 23 25 26 31 34 39 41 43 44 45 54 55 56 59 72 76 77 79 81 85 87 90 95 96 98 100 104 106 111 113 114 121 122 123 125 128 131 132 136 140 142 145 147 151 152 154 155 157 159 162 163 164 165 167 172 173 174 179 192 195 200 207 208 218 221 223 227
a 2 4 6 7 8 10 13 15 17 19 20 23 25 26 31 34 39 41 43 44 45 54 55 56 59 60 72 76 77 79 81 85 87 90 95 96 98 100 104 106 111 113 114 121 122 123 125 128 131 132 136 140 142 145 147 151 152 154 155 157 159 162 163 164 165 167 172 173 174 179 192 195 200 207 208 218 223 227
a 2 4 6 7 8 10 13 15 17 19 20 23 25 26 31 34 39 41 43 44 45 54 55 56 59 60 72 76 77 79 81 85 87 90 95 96 98 100 102 104 106 111 113 114 121 122 123 125 128 131 132 136 140 142 145 147 151 152 154 155 157 159 162 163 164 165 167 172 173 179 192 195 200 207 208 218 223 227
a 4 6 7 8 10 13 15 17 19 20 23 25 26 31 34 39 41 43 44 45 54 55 56 59 60 67 72 76 77 79 81 85 87 90 95 96 98 100 102 104 106 111 113 114 121 122 123 125 128 131 132 136 140 142 145 147 151 152 154 155 157 159 162 163 164 165 167 172 173 179 192 195 200 207 208 218 223 227
a 4 6 7 8 10 13 15 17 19 20 23 25 26 31 34 39 41 43 44 45 54 55 56 59 60 67 72 76 77 79 81 85 87 90 95 96 98 100 102 104 106 111 113 114 121 122 123 125 128 131 132 136 140 142 145 147 151 152 154 155 157 159 162 163 164 165 167 172 173 179 192 193 195 200 207 208 218 223
a 4 6 7 8 10 13 15 17 19 20 23 25 26 31 34 36 39 41 43 44 45 54 55 56 59 60 67 72 76 77 79 81 85 87 90 95 96 98 100 102 104 106 111 113 114 121 122 123 125 128 131 136 140 142 145 147 151 152 154 155 157 159 162 163 164 165 167 172 173 179 192 193 195 200 207 208 218 223
a 4 6 7 8 10 13 15 17 19 20 23 25 26 31 34 36 39 41 43 44 45 54 55 56 59 60 67 72 76 77 78 79 81 85 87 90 95 96 98 100 102 104 106 111 113 114 121 122 123 125 128 131 136 140 142 145 147 151 152 154 157 159 162 163 164 165 167 172 173 179 192 193 195 200 207 208 218 223
a 4 6 7 8 10 13 15 17 19 20 25 26 31 34 36 39 41 43 44 45 54 55 56 59 60 67 72 76 77 78 79 81 85 87 90 95 96 98 100 102 104 106 111 113 114 121 122 123 125 128 131 136 140 142 145 147 151 152 154 157 159 162 163 164 165 167 172 173 174 179 192 193 195 200 207 208 218 223
a 4 7 8 10 13 15 17 19 20 25 26 31 34 36 39 41 43 44 45 54 55 56 59 60 65 67 72 76 77 78 79 81 85 87 90 95 96 98 100 102 104 106 111 113 114 121 122 123 125 128 131 136 140 142 145 147 151 152 154 157 159 162 163 164 165 167 172 173 174 179 192 193 195 200 207 208 218 223
a 4 7 8 10 13 15 17 19 20 25 26 28 31 34 36 39 41 43 44 45 54 55 56 59 60 65 67 72 76 77 78 79 81 85 87 90 95 96 98 100 102 104 106 111 113 114 121 122 123 128 131 136 140 142 145 147 151 152 154 157 159 162 163 164 165 167 172 173 174 179 192 193 195 200 207 208 218 223
a 4 7 8 10 13 15 17 19 20 25 26 28 31 34 36 39 41 43 44 45 54 55 56 59 60 65 67 72 76 77 78 79 81 85 87 90 95 96 98 100 102 104 106 113 114 121 122 123 128 131 136 140 142 145 147 151 152 154 157 159 162 163 164 165 167 172 173 174 179 187 192 193 195 200 207 208 218 223
a 4 7 8 10 13 15 17 19 20 25 26 28 31 34 36 39 41 43 44 45 54 55 56 59 60 65 67 72 75 76 77 78 79 81 85 87 90 95 96 98 100 102 104 106 113 114 121 122 123 128 131 136 142 145 147 151 152 154 157 159 162 163 164 165 167 172 173 174 179 187 192 193 195 200 207 208 218 223
a 4 7 8 10 13 15 17 19 20 25 26 28 31 34 36 39 41 43 44 45 54 55 56 59 60 65 67 72 75 76 77 78 79 81 85 87 90 95 96 98 100 102 104 106 113 114 121 122 123 128 131 136 142 145 147 151 152 154 157 159 162 163 164 165 167 173 174 179 187 192 193 195 200 207 208 217 218 223
a 4 7 8 10 13 15 17 19 20 25 26 28 31 34 36 39 41 43 44 45 54 55 56 59 60 65 67 72 75 76 77 78 79 81 85 87 90 95 96 98 100 102 104 106 113 114 121 122 123 128 131 136 142 145 147 151 152 154 157 159 163 164 165 167 173 174 179 187 192 193 194 195 200 207 208 217 218 223
a 4 7 8 10 13 15 17 19 20 25 26 28 31 34 36 39 41 43 44 45 54 55 56 59 60 65 67 72 75 76 77 78 79 81 85 87 90 95 96 98 100 102 106 113 114 121 122 123 128 131 136 142 145 147 151 152 154 157 159 163 164 165 167 173 174 179 187 192 193 194 195 200 207 208 215 217 218 223
a 4 7 8 10 13 15 17 19 20 25 26 28 31 34 36 39 41 43 44 45 52 54 55 56 59 60 65 67 72 75 76 77 78 79 81 85 87 90 95 96 98 100 106 113 114 121 122 123 128 131 136 142 145 147 151 152 154 157 159 163 164 165 167 173 174 179 187 192 193 194 195 200 207 208 215 217 218 223
a 4 7 8 10 13 15 17 19 20 25 26 28 31 34 36 39 41 43 44 45 52 54 55 56 59 60 65 67 72 76 77 78 79 81 85 87 90 95 96 98 100 106 113 114 121 122 123 128 131 136 140 142 145 147 151 152 154 157 159 163 164 165 167 173 174 179 187 192 193 194 195 200 207 208 215 217 218 223
a 4 7 8 10 13 15 17 19 20 25 26 28 31 34 36 39 41 43 44 45 52 54 55 56 59 60 65 67 72 76 77 78 79 81 85 87 90 95 96 98 100 106 113 114 120 121 122 123 128 131 136 140 145 147 151 152 154 157 159 163 164 165 167 173 174 179 187 192 193 194 195 200 207 208 215 217 218 223
a 4 7 8 10 13 15 17 19 20 25 26 28 31 34 36 39 41 43 44 45 52 54 55 56 59 60 65 67 72 76 77 78 79 81 85 87 90 95 96 98 100 106 113 114 120 121 122 123 128 131 136 140 147 151 152 154 157 159 163 164 165 167 173 174 179 187 192 193 194 195 200 207 208 215 217 218 223 229
a 4 7 8 13 15 17 19 20 24 25 26 28 31 34 36 39 41 43 44 45 52 54 55 56 59 60 65 67 72 76 77 78 79 81 85 87 90 95 96 98 100 106 113 114 120 121 122 123 128 131 136 140 147 151 152 154 157 159 163 164 165 167 173 174 179 187 192 193 194 195 200 207 208 215 217 218 223 229
a 4 7 8 13 15 17 19 20 24 25 26 28 29 31 34 36 39 41 43 44 45 52 54 55 56 59 60 65 67 72 76 77 78 79 81 85 87 90 95 96 98 100 106 113 114 120 121 122 123 128 131 136 140 147 151 152 154 157 159 163 164 167 173 174 179 187 192 193 194 195 200 207 208 215 217 218 223 229
a 4 7 8 13 15 17 19 20 24 25 26 28 29 31 34 36 39 41 43 44 45 52 54 55 56 59 60 64 65 67 72 76 77 78 79 81 85 87 90 95 96 98 100 106 113 114 120 121 122 123 128 131 136 140 147 151 152 154 157 159 163 164 167 173 174 179 187 192 193 194 195 200 207 208 215 217 223 229
a 4 7 8 13 15 17 19 20 24 25 26 28 29 31 34 36 39 41 43 44 45 52 54 55 56 59 60 64 65 67 72 74 76 77 78 79 81 85 87 90 95 96 98 100 106 113 114 120 121 122 123 128 131 136 140 147 151 152 154 157 163 164 167 173 174 179 187 192 193 194 195 200 207 208 215 217 223 229
a 4 7 8 13 15 17 19 20 24 25 26 28 29 31 34 36 39 41 43 45 49 52 54 55 56 59 60 64 65 67 72 74 76 77 78 79 81 85 87 90 95 96 98 100 106 113 114 120 121 122 123 128 131 136 140 147 151 152 154 157 163 164 167 173 174 179 187 192 193 194 195 200 207 208 215 217 223 229
a 4 7 8 13 15 17 19 20 24 25 26 28 29 31 34 36 39 41 43 45 49 52 54 55 56 59 60 64 65 67 72 74 76 77 78 79 81 85 90 95 96 98 100 106 113 114 120 121 122 123 128 131 136 140 147 150 151 152 154 157 163 164 167 173 174 179 187 192 193 194 195 200 207 208 215 217 223 229
a 4 7 8 13 15 17 19 20 24 25 26 28 29 31 34 36 39 41 43 45 49 52 55 56 59 60 64 65 67 72 74 76 77 78 79 81 85 88 90 95 96 98 100 106 113 114 120 121 122 123 128 131 136 140 147 150 151 152 154 157 163 164 167 173 174 179 187 192 193 194 195 200 207 208 215 217 223 229
a 4 7 8 13 15 17 19 20 24 25 26 28 29 31 34 36 39 41 43 45 46 49 52 55 56 59 60 64 65 67 72 74 76 77 78 79 81 85 88 90 95 96 98 100 106 113 114 120 121 122 128 131 136 140 147 150 151 152 154 157 163 164 167 173 174 179 187 192 193 194 195 200 207 208 215 217 223 229
a 4 7 8 15 17 19 20 21 24 25 26 28 29 31 34 36 39 41 43 45 46 49 52 55 56 59 60 64 65 67 72 74 76 77 78 79 81 85 88 90 95 96 98 100 106 113 114 120 121 122 128 131 136 140 147 150 151 152 154 157 163 164 167 173 174 179 187 192 193 194 195 200 207 208 215 217 223 229
a 4 7 8 15 17 19 20 21 24 25 26 28 29 31 34 36 39 41 43 45 46 49 52 55 56 59 60 64 65 67 72 74 76 77 78 79 81 85 88 90 95 96 98 100 106 110 113 114 120 121 122 128 131 136 140 150 151 152 154 157 163 164 167 173 174 179 187 192 193 194 195 200 207 208 215 217 223 229
a 4 7 8 15 17 19 20 21 24 25 26 28 29 31 34 36 39 41 43 45 46 49 52 55 56 59 60 64 65 67 72 74 76 77 78 79 85 88 90 95 96 98 100 106 110 113 114 120 121 122 128 131 136 138 140 150 151 152 154 157 163 164 167 173 174 179 187 192 193 194 195 200 207 208 215 217 223 229
a 4 7 8 15 17 19 20 21 24 25 26 29 31 34 36 39 41 43 45 46 49 52 55 56 59 60 64 65 67 72 74 76 77 78 79 85 88 90 95 96 98 100 106 110 113 114 120 121 122 125 128 131 136 138 140 150 151 152 154 157 163 164 167 173 174 179 187 192 193 194 195 200 207 208 215 217 223 229
a 4 7 8 15 17 19 20 21 24 25 26 29 30 31 34 36 39 41 43 45 46 49 52 55 56 59 60 64 65 67 72 74 76 78 79 85 88 90 95 96 98 100 106 110 113 114 120 121 122 125 128 131 136 138 140 150 151 152 154 157 163 164 167 173 174 179 187 192 193 194 195 200 207 208 215 217 223 229
a 4 7 8 12 15 17 19 20 21 24 25 26 29 30 31 34 36 39 41 43 45 46 49 52 55 56 59 60 64 65 67 72 74 76 78 85 88 90 95 96 98 100 106 110 113 114 120 121 122 125 128 131 136 138 140 150 151 152 154 157 163 164 167 173 174 179 187 192 193 194 195 200 207 208 215 217 223 229
a 4 7 8 12 15 17 19 20 21 24 25 26 29 30 31 34 36 39 41 43 45 46 49 52 55 56 59 60 64 65 67 72 74 78 85 88 90 95 96 98 100 106 110 113 114 120 121 122 125 128 131 136 138 140 150 151 152 153 154 157 163 164 167 173 174 179 187 192 193 194 195 200 207 208 215 217 223 229
a 4 7 8 12 15 17 19 21 24 25 26 29 30 31 34 36 39 41 43 45 46 49 52 55 56 59 60 64 65 67 72 74 78 85 88 90 95 96 98 100 106 110 113 114 120 121 122 125 128 131 136 138 140 144 150 151 152 153 154 157 163 164 167 173 174 179 187 192 193 194 195 200 207 208 215 217 223 229
a 4 7 8 12 15 17 19 21 24 25 26 29 30 31 34 36 39 41 43 45 46 49 52 55 56 59 60 64 67 72 74 78 85 88 90 95 96 98 100 106 110 113 114 120 121 122 125 128 131 136 138 140 144 150 151 152 153 154 157 163 164 167 173 174 179 181 187 192 193 194 195 200 207 208 215 217 223 229
a 4 7 8 12 15 17 19 21 24 25 26 29 30 31 34 36 39 41 45 46 49 52 55 56 59 60 64 67 72 74 78 85 88 90 92 95 96 98 100 106 110 113 114 120 121 122 125 128 131 136 138 140 144 150 151 152 153 154 157 163 164 167 173 174 179 181 187 192 193 194 195 200 207 208 215 217 223 229
a 4 6 7 12 15 17 19 21 24 25 26 29 30 31 34 36 39 41 45 46 49 52 55 56 59 60 64 67 72 74 78 85 88 90 92 95 96 98 100 106 110 113 114 120 121 122 125 128 131 136 138 140 144 150 151 152 153 154 157 163 164 167 173 174 179 181 187 192 193 194 195 200 207 208 215 217 223 229
a 4 6 7 12 15 17 19 21 24 25 26 29 30 31 34 36 39 41 45 46 49 52 55 56 59 60 64 67 72 74 78 85 88 90 92 95 96 98 106 110 113 114 120 121 122 125 128 131 136 138 140 144 150 151 152 153 154 157 163 164 167 173 174 179 181 187 192 193 194 195 200 207 208 215 217 223 225 229
a 4 6 7 12 15 17 19 21 24 25 26 29 30 34 36 39 41 45 46 49 52 55 56 59 60 64 67 72 74 78 85 88 90 92 95 96 98 106 110 113 114 120 121 122 125 128 131 136 138 140 144 150 151 152 153 154 157 163 164 167 171 173 174 179 181 187 192 193 194 195 200 207 208 215 217 223 225 229
a 4 6 7 12 15 17 19 21 24 25 26 29 30 34 36 39 41 45 46 49 52 55 56 59 60 64 67 72 74 78 85 88 90 92 95 96 98 106 110 113 114 120 121 122 125 128 131 136 138 140 144 150 151 152 153 154 157 163 164 167 171 173 174 181 187 192 193 194 195 200 207 208 215 217 223 225 229 230
a 4 6 7 12 15 17 19 21 23 24 25 26 29 30 34 36 39 41 45 46 49 52 55 56 59 60 64 67 72 74 78 85 88 90 92 95 96 98 106 110 113 114 120 121 122 125 128 131 136 138 140 144 150 151 152 153 154 157 164 167 171 173 174 181 187 192 193 194 195 200 207 208 215 217 223 225 229 230
a 4 6 7 12 15 17 19 21 23 24 25 26 29 30 34 36 41 45 46 49 52 55 56 59 60 64 67 72 74 78 85 88 90 92 95 96 98 106 110 113 114 119 120 121 122 125 128 131 136 138 140 144 150 151 152 153 154 157 164 167 171 173 174 181 187 192 193 194 195 200 207 208 215 217 223 225 229 230
a 4 6 7 12 15 17 19 21 23 24 25 26 29 30 34 36 37 41 45 46 49 52 55 56 59 60 64 67 72 74 78 85 88 90 92 95 96 98 106 110 113 114 119 120 121 122 125 128 131 136 138 140 144 150 151 152 153 154 157 164 167 171 173 174 181 187 193 194 195 200 207 208 215 217 223 225 229 230
a 4 6 7 12 15 17 19 21 23 24 25 26 29 30 34 36 37 45 46 49 52 55 56 59 60 63 64 67 72 74 78 85 88 90 92 95 96 98 106 110 113 114 119 120 121 122 125 128 131 136 138 140 144 150 151 152 153 154 157 164 167 171 173 174 181 187 193 194 195 200 207 208 215 217 223 225 229 230
a 4 6 7 12 15 17 21 23 24 25 26 29 30 34 36 37 45 46 49 52 55 56 59 60 63 64 67 72 74 78 85 88 90 92 95 96 98 106 110 113 114 119 120 121 122 125 128 131 136 138 140 144 150 151 152 153 154 157 158 164 167 171 173 174 181 187 193 194 195 200 207 208 215 217 223 225 229 230
a 4 6 7 12 15 17 21 23 24 26 29 30 34 36 37 45 46 49 52 55 56 59 60 63 64 67 72 74 78 85 88 90 92 95 96 98 106 110 113 114 119 120 121 122 125 128 131 135 136 138 140 144 150 151 152 153 154 157 158 164 167 171 173 174 181 187 193 194 195 200 207 208 215 217 223 225 229 230
a 4 6 7 12 15 17 21 23 24 26 29 30 36 37 45 46 49 52 55 56 59 60 63 64 67 72 74 78 85 88 90 92 95 96 98 106 110 113 114 119 120 121 122 125 128 131 135 136 138 140 144 150 151 152 153 154 157 158 164 167 171 173 174 177 181 187 193 194 195 200 207 208 215 217 223 225 229 230
a 4 6 7 12 15 17 21 23 24 29 30 36 37 45 46 49 52 55 56 59 60 63 64 66 67 72 74 78 85 88 90 92 95 96 98 106 110 113 114 119 120 121 122 125 128 131 135 136 138 140 144 150 151 152 153 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 49 52 55 56 59 60 63 64 66 67 72 74 78 85 88 90 92 95 96 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 223 225 229 230
a 6 7 12 15 17 21 23 24 29 30 36 37 45 46 48 49 52 55 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 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: 156
#END: [Tue Sep 26 05:49:42 2023]