#BEGIN: [Mon Sep  4 22:25:03 2023]
#HOST: s07
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-cpu-banbaralab-longest2
#INSTANCE1: /benchmark/random_instance/random_instance017_graph005.col
#INSTANCE2: /benchmark/random_instance/random_instance017_graph005_01.dat
#COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t --ulimit cpu=1800 -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab --longest -t4 /benchmark/random_instance/random_instance017_graph005.col /benchmark/random_instance/random_instance017_graph005_01.dat
c /benchmark/random_instance/random_instance017_graph005.col
c /benchmark/random_instance/random_instance017_graph005_01.dat
s 131 41 140 62 79 160 110 3 60 11 172 164 15 185 184 74 213 166 189 113 181 122 205 212 217 133 65 102 111 28 50 22 108 68 6 96 124 45 33 47 200 4 13 196 29 163 202 208 137 192 73 126 7 8 59 129 209 119 101 206 165 195 58 117 84 93 150 75 132 56
t 47 71 156 159 140 126 220 18 148 49 110 13 11 142 106 19 177 101 152 137 96 122 69 165 178 211 195 32 146 23 53 207 63 29 26 6 179 56 39 14 203 99 30 90 147 44 107 210 176 157 155 199 17 57 43 129 104 163 181 151 134 10 219 143 208 25 196 79 132 92
a YES
a 3 4 6 7 8 11 13 15 22 28 29 33 41 45 47 50 56 58 59 60 62 65 68 73 74 75 79 84 93 96 101 102 108 110 111 113 117 119 122 124 126 129 131 132 133 137 140 150 160 163 164 165 166 172 181 184 185 189 192 195 196 200 202 205 206 208 209 212 213 217
a 3 4 6 7 8 11 13 15 22 28 29 33 41 45 50 56 58 59 60 62 65 68 73 74 75 79 84 93 96 101 102 108 110 111 113 117 119 122 124 126 129 131 132 133 137 140 150 154 160 163 164 165 166 172 181 184 185 189 192 195 196 200 202 205 206 208 209 212 213 217
a 3 4 6 7 8 11 13 15 22 28 29 32 33 41 45 50 56 58 59 60 62 65 68 73 74 75 79 84 93 96 101 102 108 110 111 113 117 119 122 124 126 129 131 132 137 140 150 154 160 163 164 165 166 172 181 184 185 189 192 195 196 200 202 205 206 208 209 212 213 217
a 3 4 6 7 8 11 13 15 22 28 29 32 33 41 45 50 56 58 59 60 62 65 68 73 74 75 79 84 90 93 96 101 102 108 110 111 113 117 119 122 124 126 129 131 132 137 140 150 154 160 163 164 165 166 181 184 185 189 192 195 196 200 202 205 206 208 209 212 213 217
a 3 4 6 7 8 11 13 15 22 28 29 32 33 41 45 50 56 58 59 60 62 65 68 73 74 75 79 84 90 93 96 101 102 108 110 111 113 117 119 122 124 126 129 131 132 137 140 150 154 160 163 164 165 166 181 184 185 192 193 195 196 200 202 205 206 208 209 212 213 217
a 3 4 6 7 8 11 13 15 22 27 28 29 32 33 41 45 50 58 59 60 62 65 68 73 74 75 79 84 90 93 96 101 102 108 110 111 113 117 119 122 124 126 129 131 132 137 140 150 154 160 163 164 165 166 181 184 185 192 193 195 196 200 202 205 206 208 209 212 213 217
a 3 4 6 7 8 11 13 15 22 27 28 29 32 33 41 45 50 58 59 60 62 65 68 73 74 75 79 84 90 93 96 101 102 108 110 111 113 114 117 119 122 124 126 129 131 132 137 140 150 154 160 163 164 165 166 184 185 192 193 195 196 200 202 205 206 208 209 212 213 217
a 3 4 6 7 10 11 13 15 22 27 28 29 32 33 41 45 50 58 59 60 62 65 68 73 74 75 79 84 90 93 96 101 102 108 110 111 113 114 117 119 122 124 126 129 131 132 137 140 150 154 160 163 164 165 166 184 185 192 193 195 196 200 202 205 206 208 209 212 213 217
a 3 4 6 7 10 11 13 15 22 27 28 29 32 33 41 50 58 59 60 62 65 68 73 74 75 79 84 90 93 96 101 102 108 110 111 113 114 117 119 122 124 126 129 131 132 137 140 148 150 154 160 163 164 165 166 184 185 192 193 195 196 200 202 205 206 208 209 212 213 217
a 3 4 6 7 8 11 13 15 22 27 28 29 32 33 41 50 58 59 60 62 65 68 73 74 75 79 84 90 93 96 101 102 108 110 111 113 114 117 119 122 124 126 129 131 132 137 140 148 150 154 160 163 164 165 166 184 185 192 193 195 196 200 202 205 206 208 209 212 213 217
a 3 4 6 7 8 11 13 15 22 27 28 29 32 33 41 50 58 59 60 62 65 68 73 74 75 79 84 90 93 96 101 102 108 110 111 113 114 117 119 122 124 126 129 131 132 137 140 147 148 150 154 160 163 164 165 166 184 185 192 193 195 196 200 202 205 208 209 212 213 217
a 3 4 6 7 8 11 13 15 22 28 29 32 33 41 50 58 59 60 62 65 68 73 74 75 79 84 90 93 96 97 101 102 108 110 111 113 114 117 119 122 124 126 129 131 132 137 140 147 148 150 154 160 163 164 165 166 184 185 192 193 195 196 200 202 205 208 209 212 213 217
a 3 4 6 7 8 11 13 15 22 28 29 32 33 41 50 58 59 60 62 65 68 73 74 75 79 84 93 96 97 101 102 108 110 111 113 114 117 119 122 124 126 129 131 132 137 140 147 148 150 154 160 163 164 165 166 172 184 185 192 193 195 196 200 202 205 208 209 212 213 217
a 3 4 6 7 8 11 13 15 22 28 29 33 41 50 56 58 59 60 62 65 68 73 74 75 79 84 93 96 97 101 102 108 110 111 113 114 117 119 122 124 126 129 131 132 137 140 147 148 150 154 160 163 164 165 166 172 184 185 192 193 195 196 200 202 205 208 209 212 213 217
a 3 4 6 7 8 11 13 15 22 28 29 33 41 50 56 58 59 60 62 68 73 74 75 79 84 93 96 97 101 102 108 110 111 113 114 117 119 122 124 126 129 131 132 137 140 147 148 150 154 160 163 164 165 166 172 184 185 192 193 195 196 200 202 203 205 208 209 212 213 217
a 3 4 6 7 8 11 13 15 18 22 28 29 33 41 50 56 58 59 60 62 68 73 74 75 79 84 93 96 97 101 102 108 110 111 113 117 119 122 124 126 129 131 132 137 140 147 148 150 154 160 163 164 165 166 172 184 185 192 193 195 196 200 202 203 205 208 209 212 213 217
a 3 4 6 7 10 11 13 15 18 22 28 29 33 41 50 56 58 59 60 62 68 73 74 75 79 84 93 96 97 101 102 108 110 111 113 117 119 122 124 126 129 131 132 137 140 147 148 150 154 160 163 164 165 166 172 184 185 192 193 195 196 200 202 203 205 208 209 212 213 217
a 3 4 6 7 10 11 13 15 18 22 28 29 33 41 56 58 59 60 62 68 73 74 75 79 84 93 96 97 101 102 108 110 111 113 117 119 122 124 126 129 131 132 137 140 147 148 150 154 160 163 164 165 166 172 184 185 192 193 195 196 200 202 203 205 208 209 212 213 216 217
a 3 4 6 7 10 11 13 15 18 22 28 29 33 41 56 58 59 60 62 68 73 74 75 79 84 93 96 97 101 102 108 110 111 113 117 119 122 124 129 131 132 133 137 140 147 148 150 154 160 163 164 165 166 172 184 185 192 193 195 196 200 202 203 205 208 209 212 213 216 217
a 3 4 6 7 10 11 13 15 18 22 28 29 33 41 56 58 59 60 68 73 74 75 79 84 93 96 97 101 102 108 110 111 113 117 119 122 124 129 131 132 133 137 140 147 148 150 154 160 163 164 165 166 172 184 185 192 193 195 196 198 200 202 203 205 208 209 212 213 216 217
a 3 4 6 7 10 11 13 18 22 26 28 29 33 41 56 58 59 60 68 73 74 75 79 84 93 96 97 101 102 108 110 111 113 117 119 122 124 129 131 132 133 137 140 147 148 150 154 160 163 164 165 166 172 184 185 192 193 195 196 198 200 202 203 205 208 209 212 213 216 217
a 3 4 6 7 10 11 13 22 26 28 29 33 41 56 58 59 60 68 73 74 75 79 84 93 96 97 101 102 108 110 111 113 117 119 122 124 129 131 132 133 137 140 147 148 150 154 160 163 164 165 166 172 181 184 185 192 193 195 196 198 200 202 203 205 208 209 212 213 216 217
a 3 4 6 7 10 11 13 22 26 28 29 33 41 56 58 59 60 68 73 74 75 79 85 93 96 97 101 102 108 110 111 113 117 119 122 124 129 131 132 133 137 140 147 148 150 154 160 163 164 165 166 172 181 184 185 192 193 195 196 198 200 202 203 205 208 209 212 213 216 217
a 3 4 6 7 10 11 13 22 26 28 29 33 41 52 56 58 59 60 68 73 74 75 79 85 93 96 97 101 102 108 110 111 113 117 119 122 124 129 131 132 133 137 147 148 150 154 160 163 164 165 166 172 181 184 185 192 193 195 196 198 200 202 203 205 208 209 212 213 216 217
a 3 4 6 10 11 13 22 26 28 29 33 41 52 56 58 59 60 68 73 74 75 79 85 93 96 97 101 102 108 110 111 113 117 119 122 124 129 131 132 133 137 140 147 148 150 154 160 163 164 165 166 172 181 184 185 192 193 195 196 198 200 202 203 205 208 209 212 213 216 217
a 3 4 6 10 11 13 22 26 28 29 33 41 52 55 56 58 59 60 68 73 74 75 79 85 93 96 97 101 102 108 110 111 113 117 119 122 124 129 131 132 133 137 140 147 148 150 154 160 164 165 166 172 181 184 185 192 193 195 196 198 200 202 203 205 208 209 212 213 216 217
a 3 4 6 10 11 13 22 26 28 29 33 41 52 55 56 58 59 60 68 73 74 75 79 85 93 96 101 102 108 110 111 113 117 119 122 124 126 129 131 132 133 137 140 147 148 150 154 160 164 165 166 172 181 184 185 192 193 195 196 198 200 202 203 205 208 209 212 213 216 217
a 3 4 6 10 11 13 22 26 28 29 33 41 52 55 56 58 59 60 68 73 74 75 79 85 93 96 101 102 108 110 111 113 117 119 122 124 126 129 132 133 137 140 147 148 150 154 160 164 165 166 172 181 184 185 192 193 195 196 198 200 202 203 205 208 209 212 213 216 217 221
a 3 4 6 7 10 11 13 22 26 28 29 33 41 52 55 56 58 59 60 68 73 74 75 79 85 93 96 101 102 108 110 111 113 117 119 122 124 126 129 132 133 137 140 147 148 150 160 164 165 166 172 181 184 185 192 193 195 196 198 200 202 203 205 208 209 212 213 216 217 221
a 3 4 6 7 10 11 13 15 22 28 29 33 41 52 55 56 58 59 60 68 73 74 75 79 85 93 96 101 102 108 110 111 113 117 119 122 124 126 129 132 133 137 140 147 148 150 160 164 165 166 172 181 184 185 192 193 195 196 198 200 202 203 205 208 209 212 213 216 217 221
a 3 4 6 7 10 11 13 15 22 28 29 33 41 52 55 56 58 59 60 68 73 74 75 79 93 96 97 101 102 108 110 111 113 117 119 122 124 126 129 132 133 137 140 147 148 150 160 164 165 166 172 181 184 185 192 193 195 196 198 200 202 203 205 208 209 212 213 216 217 221
a 3 4 6 7 10 11 13 15 22 28 29 33 41 52 55 56 58 59 60 68 73 74 75 79 82 93 96 97 101 102 108 110 111 113 117 119 122 124 126 129 132 133 137 140 147 148 150 160 164 165 166 172 181 184 185 193 195 196 198 200 202 203 205 208 209 212 213 216 217 221
a 3 4 6 7 10 11 13 15 22 28 29 33 41 52 55 56 58 59 60 73 74 75 79 82 93 96 97 101 102 108 110 111 113 117 119 122 123 124 126 129 132 133 137 140 147 148 150 160 164 165 166 172 181 184 185 193 195 196 198 200 202 203 205 208 209 212 213 216 217 221
a 3 4 6 7 10 11 13 15 22 28 29 33 41 52 55 56 58 59 60 73 74 75 79 82 93 96 97 101 102 108 110 111 113 117 119 122 123 124 126 128 129 132 133 137 140 147 148 150 160 164 165 166 172 181 184 185 193 195 196 198 202 203 205 208 209 212 213 216 217 221
a 4 6 7 10 11 13 15 22 28 29 33 41 52 55 56 58 59 60 73 74 75 79 82 93 96 97 101 102 108 110 111 113 117 119 122 123 124 126 128 129 132 133 137 140 147 148 150 154 160 164 165 166 172 181 184 185 193 195 196 198 202 203 205 208 209 212 213 216 217 221
a 3 4 6 7 10 11 13 15 22 28 29 33 41 52 56 58 59 60 73 74 75 79 82 93 96 97 101 102 108 110 111 113 117 119 122 123 124 126 128 129 132 133 137 140 147 148 150 154 160 164 165 166 172 181 184 185 193 195 196 198 202 203 205 208 209 212 213 216 217 221
a 3 4 6 7 10 11 13 15 22 28 29 33 41 50 52 56 58 59 60 73 74 75 79 82 93 96 97 101 102 108 110 111 113 117 119 122 123 124 126 128 129 132 133 137 140 147 148 150 154 160 164 165 166 172 181 184 185 193 195 196 198 202 203 205 208 209 212 213 217 221
a 3 4 6 7 10 11 13 15 22 28 29 33 41 50 52 56 58 59 60 68 73 74 75 79 82 93 96 97 101 102 108 110 111 113 117 119 122 124 126 128 129 132 133 137 140 147 148 150 154 160 164 165 166 172 181 184 185 193 195 196 198 202 203 205 208 209 212 213 217 221
a 3 4 6 7 10 11 13 15 22 28 29 33 41 50 52 56 58 60 68 73 74 75 79 82 93 96 97 101 102 108 110 111 113 117 119 122 124 126 128 129 132 133 136 137 140 147 148 150 154 160 164 165 166 172 181 184 185 193 195 196 198 202 203 205 208 209 212 213 217 221
a 3 4 6 7 10 11 13 15 22 28 29 33 41 50 52 56 58 60 68 73 74 75 79 82 84 93 96 97 101 102 108 110 111 113 117 119 122 124 126 128 129 132 133 136 137 140 147 148 150 154 160 164 165 166 172 181 184 185 193 195 196 198 202 203 205 208 209 212 213 217
a 3 6 7 10 11 13 15 22 28 29 33 41 50 52 56 58 60 68 73 74 75 79 82 84 93 96 97 101 102 108 110 111 113 117 119 122 124 126 128 129 132 133 136 137 140 147 148 150 154 160 164 165 166 172 181 184 185 193 195 196 198 202 203 205 208 209 212 213 217 221
a 3 6 7 10 11 13 15 22 28 29 33 41 50 52 56 58 60 68 73 74 75 79 82 84 93 96 97 101 102 108 110 111 113 117 122 124 126 128 129 132 133 136 137 140 147 148 150 154 158 160 164 165 166 172 181 184 185 193 195 196 198 202 203 205 208 209 212 213 217 221
a 3 6 7 10 11 13 15 22 28 29 33 41 50 52 56 58 60 68 73 74 75 79 82 84 93 96 97 101 102 108 110 111 113 117 122 124 126 128 129 132 133 136 137 140 147 148 150 154 158 160 164 165 166 172 181 184 185 193 195 196 198 202 203 205 208 209 212 213 214 217
a 3 6 7 10 11 13 15 22 28 29 33 41 50 52 56 58 60 68 73 74 75 79 82 84 93 96 97 101 102 110 111 113 117 122 124 126 128 129 132 133 136 137 140 147 148 150 154 158 160 164 165 166 172 181 184 185 193 195 196 198 202 203 205 208 209 212 213 214 217 221
a 3 6 7 10 11 13 15 22 28 29 33 41 50 52 56 58 60 68 73 74 75 79 82 84 93 96 97 101 102 110 111 113 117 122 124 126 128 129 132 133 136 137 140 147 148 150 154 158 160 164 166 168 172 181 184 185 193 195 196 198 202 203 205 208 209 212 213 214 217 221
a 3 6 7 8 11 13 15 22 28 29 33 41 50 52 56 58 60 68 73 74 75 79 82 84 93 96 97 101 102 110 111 113 117 122 124 126 128 129 132 133 136 137 140 147 148 150 154 158 160 164 166 168 172 181 184 185 193 195 196 198 202 203 205 208 209 212 213 214 217 221
a 2 3 6 7 8 11 13 15 22 28 29 33 41 50 52 56 58 60 68 73 74 75 79 82 84 93 96 97 101 102 110 111 113 117 122 124 126 128 129 132 133 136 137 147 148 150 154 158 160 164 166 168 172 181 184 185 193 195 196 198 202 203 205 208 209 212 213 214 217 221
a 2 3 6 7 8 11 13 15 22 28 29 33 41 50 52 56 58 60 68 73 74 75 79 82 84 93 96 97 101 102 110 111 113 117 120 122 124 126 128 129 132 133 136 137 147 148 150 154 158 160 164 166 168 172 181 184 185 193 195 196 198 202 203 205 208 209 212 213 214 217
a 2 3 6 7 8 11 13 15 22 28 29 33 41 50 52 56 58 60 68 73 74 75 79 82 84 93 96 97 101 102 110 111 113 117 120 122 124 126 128 129 132 133 136 137 147 148 150 154 158 160 164 166 168 172 181 184 185 193 195 196 198 202 203 205 208 209 212 213 214 221
a 2 3 6 7 8 11 13 15 22 28 29 33 41 50 52 56 58 60 68 73 74 75 79 82 84 93 96 97 101 102 108 110 111 113 117 120 122 124 126 128 129 132 133 136 137 147 148 150 154 158 160 164 166 168 172 181 184 185 193 195 196 202 203 205 208 209 212 213 214 221
a 2 3 6 7 8 11 13 15 22 28 29 33 41 50 52 56 58 60 68 73 74 75 79 82 84 93 96 97 101 102 108 110 111 117 120 122 124 126 128 129 132 133 136 137 147 148 150 154 158 160 164 166 168 172 181 184 185 193 195 196 202 203 205 207 208 209 212 213 214 221
a 2 3 6 7 8 11 13 15 22 28 29 33 41 50 52 56 58 59 60 68 73 74 75 79 82 84 93 96 97 101 102 108 110 111 117 120 122 124 126 128 129 132 133 137 147 148 150 154 158 160 164 166 168 172 181 184 185 193 195 196 202 203 205 207 208 209 212 213 214 221
a 2 3 6 7 8 11 13 15 22 28 29 33 41 50 52 56 58 59 60 68 73 74 75 79 82 84 93 96 97 101 102 108 110 111 117 120 122 124 126 128 129 132 133 137 147 148 150 154 158 160 164 166 168 172 181 184 185 193 195 196 202 203 205 207 208 209 212 213 214 217
a 2 3 6 7 8 11 13 15 22 28 29 33 41 50 52 56 58 59 60 68 73 74 75 79 82 84 93 96 97 101 102 108 110 111 115 117 120 122 124 126 128 129 132 133 137 147 148 150 154 158 160 164 166 168 172 181 184 185 193 195 196 202 203 205 207 208 212 213 214 217
a 2 3 6 7 8 11 13 15 22 28 29 33 41 50 52 56 58 59 60 68 73 74 75 79 82 84 93 96 97 101 102 108 110 111 115 117 120 122 124 126 128 129 132 133 137 147 148 150 154 158 160 164 166 168 172 181 184 185 193 195 196 202 203 205 207 208 212 213 217 221
a 2 3 6 7 8 11 13 15 22 28 29 33 41 50 52 56 58 59 60 68 73 74 75 79 82 84 93 96 97 101 102 108 110 111 115 117 120 122 124 126 128 129 132 133 137 147 148 150 154 158 160 164 166 168 172 181 184 185 193 195 196 202 203 205 207 208 212 214 217 221
a 2 3 6 7 8 11 13 15 22 28 29 33 41 50 52 56 58 59 60 68 73 74 75 79 82 84 93 96 97 101 102 108 110 111 115 117 120 122 124 126 128 129 132 133 137 147 148 150 154 158 160 164 166 168 172 181 184 185 193 195 202 203 205 207 208 212 213 214 217 221
a 2 6 7 8 11 13 15 22 28 29 33 41 50 52 56 58 59 60 68 73 74 75 79 82 84 93 96 97 101 102 108 110 111 115 117 120 122 124 126 128 129 132 133 137 147 148 150 154 158 160 163 164 166 168 172 181 184 185 193 195 202 203 205 207 208 212 213 214 217 221
a 2 3 6 7 8 11 13 15 22 28 29 33 41 50 52 56 58 59 60 68 73 74 75 79 82 84 93 96 97 101 102 108 110 111 115 117 120 122 124 126 128 129 132 133 137 147 148 150 154 158 160 163 164 166 168 172 181 184 185 193 195 202 203 205 207 208 212 213 214 217
a 2 3 4 6 7 8 11 13 15 22 28 29 33 41 50 52 56 58 59 60 68 73 74 75 79 84 93 96 97 101 102 108 110 111 115 117 120 122 124 126 128 129 132 133 137 147 148 150 154 158 160 163 164 166 168 172 181 184 185 193 195 202 203 205 207 208 212 213 214 217
a 2 3 4 6 7 8 11 13 15 22 28 29 33 41 50 52 56 58 59 60 68 73 74 75 79 84 93 96 97 101 102 108 110 111 115 117 120 122 124 126 128 129 132 133 137 147 148 150 154 160 163 164 166 168 172 177 181 184 185 193 195 202 203 205 207 208 212 213 214 217
a 2 3 4 6 7 8 11 13 15 28 29 33 41 50 52 56 58 59 60 68 73 74 75 79 84 93 96 97 101 102 108 110 111 115 117 120 122 124 126 128 129 132 133 137 147 148 150 154 160 163 164 166 168 172 177 181 184 185 193 195 198 202 203 205 207 208 212 213 214 217
a 2 3 4 6 7 8 11 13 15 22 28 29 33 41 50 52 56 58 59 60 68 73 74 75 79 93 96 97 101 102 108 110 111 115 117 120 122 124 126 128 129 132 133 137 147 148 150 154 160 163 164 166 168 172 177 181 184 185 193 195 198 202 203 205 207 208 212 213 214 217
a 2 3 4 6 7 8 11 13 15 22 28 29 33 41 50 52 56 58 59 60 68 73 74 75 79 93 96 97 101 102 108 110 111 117 120 122 124 126 128 129 132 133 137 140 147 148 150 154 160 163 164 166 168 172 177 181 184 185 193 195 198 202 203 205 207 208 212 213 214 217
a 3 4 6 7 8 11 13 15 22 28 29 33 41 50 52 56 58 59 60 68 73 74 75 79 93 96 97 101 102 108 110 111 117 119 120 122 124 126 128 129 132 133 137 140 147 148 150 154 160 163 164 166 168 172 177 181 184 185 193 195 198 202 203 205 207 208 212 213 214 217
a 3 4 6 7 8 11 13 22 28 29 33 41 50 52 56 58 59 60 68 73 74 75 79 84 93 96 97 101 102 108 110 111 117 119 120 122 124 126 128 129 132 133 137 140 147 148 150 154 160 163 164 166 168 172 177 181 184 185 193 195 198 202 203 205 207 208 212 213 214 217
a 3 4 6 7 8 11 13 22 28 29 33 41 50 52 56 58 59 60 68 73 74 75 79 84 93 96 97 101 102 108 110 111 115 117 119 120 122 124 126 128 129 132 133 137 147 148 150 154 160 163 164 166 168 172 177 181 184 185 193 195 198 202 203 205 207 208 212 213 214 217
a 3 4 6 7 8 11 13 22 28 29 33 41 50 52 56 58 59 60 68 73 74 75 79 84 93 96 97 101 102 108 110 111 115 117 119 120 122 124 126 128 129 132 133 137 147 148 150 154 160 163 164 166 168 172 177 181 184 185 193 195 196 198 202 203 205 207 208 212 213 214
a 3 4 6 7 11 13 22 26 28 29 33 41 50 52 56 58 59 60 68 73 74 75 79 84 93 96 97 101 102 108 110 111 115 117 119 120 122 124 126 128 129 132 133 137 147 148 150 154 160 163 164 166 168 172 177 181 184 185 193 195 196 198 202 203 205 207 208 212 213 214
a 3 4 6 7 10 13 22 26 28 29 33 41 50 52 56 58 59 60 68 73 74 75 79 84 93 96 97 101 102 108 110 111 115 117 119 120 122 124 126 128 129 132 133 137 147 148 150 154 160 163 164 166 168 172 177 181 184 185 193 195 196 198 202 203 205 207 208 212 213 214
a 3 4 6 7 10 13 22 26 28 29 33 41 50 52 56 58 60 68 73 74 75 79 84 93 96 97 101 102 108 110 111 115 117 119 120 122 124 126 128 129 132 133 137 147 148 150 154 160 163 164 166 168 172 177 181 184 185 193 195 196 198 202 203 205 207 208 212 213 214 217
a 3 4 6 7 10 11 13 22 26 28 29 33 41 50 52 56 58 60 73 74 75 79 84 93 96 97 101 102 108 110 111 115 117 119 120 122 124 126 128 129 132 133 137 147 148 150 154 160 163 164 166 168 172 177 181 184 185 193 195 196 198 202 203 205 207 208 212 213 214 217
a 3 4 6 7 10 11 13 22 26 28 29 33 41 50 52 56 58 60 73 74 75 79 84 93 96 97 101 102 108 110 111 115 117 119 120 122 124 126 128 129 132 133 137 147 148 150 154 160 163 164 166 168 172 177 181 184 185 193 195 196 198 202 203 205 207 208 213 214 217 221
a 3 4 6 7 10 11 13 22 26 28 29 33 41 50 52 56 58 59 60 73 74 75 79 84 93 96 97 101 102 108 110 111 115 117 119 120 122 124 126 128 129 132 133 137 147 148 150 154 160 163 164 166 168 172 177 181 184 185 193 195 196 198 202 203 205 207 208 213 214 217
a 3 4 6 7 10 11 13 22 23 26 28 29 33 41 50 52 56 58 59 60 74 75 79 84 93 96 97 101 102 108 110 111 115 117 119 120 122 124 126 128 129 132 133 137 147 148 150 154 160 163 164 166 168 172 177 181 184 185 193 195 196 198 202 203 205 207 208 213 214 217
a 3 4 6 7 10 11 13 22 23 26 28 29 33 41 50 52 56 58 59 60 74 75 79 84 93 96 97 101 102 108 110 111 115 117 119 120 122 124 126 128 129 132 133 137 147 148 150 154 160 163 164 166 168 172 177 181 184 185 193 195 196 198 202 203 205 207 213 214 217 221
a 3 4 6 7 10 11 13 22 23 26 28 29 33 41 50 52 56 58 59 60 74 75 79 84 93 96 97 101 102 108 110 111 115 117 119 120 122 124 126 128 129 132 133 147 148 150 154 160 163 164 166 168 172 177 181 184 185 193 195 196 198 202 203 205 207 208 213 214 217 221
a 3 4 6 7 10 11 13 22 23 26 28 29 33 41 50 52 56 58 59 60 74 75 79 84 93 96 97 101 102 108 110 111 115 117 119 120 122 124 126 128 129 132 133 140 147 148 150 154 160 163 164 166 168 172 177 181 184 185 193 195 196 198 202 203 205 207 208 213 217 221
a 3 4 6 7 11 13 22 23 26 28 29 33 41 50 52 56 58 59 60 68 74 75 79 84 93 96 97 101 102 108 110 111 115 117 119 120 122 124 126 128 129 132 133 140 147 148 150 154 160 163 164 166 168 172 177 181 184 185 193 195 196 198 202 203 205 207 208 213 217 221
a 3 4 6 7 11 13 22 23 26 28 29 33 41 50 52 56 59 60 68 74 75 79 84 93 96 97 101 102 107 108 110 111 115 117 119 120 122 124 126 128 129 132 133 140 147 148 150 154 160 163 164 166 168 172 177 181 184 185 193 195 196 198 202 203 205 207 208 213 217 221
a 3 4 6 7 11 13 22 23 26 28 29 33 41 50 52 56 59 60 68 74 75 79 84 93 96 97 101 102 108 110 111 115 117 119 120 122 124 126 128 129 132 133 137 140 147 148 150 154 160 163 164 166 168 172 177 181 184 185 193 195 196 198 202 203 205 207 208 213 217 221
a 3 4 6 7 11 13 22 26 28 29 33 41 50 52 56 59 60 68 74 75 79 84 93 96 97 101 102 107 108 110 111 115 117 119 120 122 124 126 128 129 132 133 137 140 147 148 150 154 160 163 164 166 168 172 177 181 184 185 193 195 196 198 202 203 205 207 208 213 217 221
a 3 4 6 7 11 13 22 23 26 28 29 33 41 50 52 56 59 60 68 74 75 79 84 93 96 97 101 102 107 108 110 111 115 117 119 120 122 124 126 128 129 132 133 137 140 147 148 150 154 160 163 164 166 168 172 177 181 184 185 193 195 196 198 202 205 207 208 213 217 221
a 3 4 6 7 9 11 13 22 23 26 28 29 33 41 50 52 56 59 60 68 74 75 79 84 93 96 97 101 102 107 108 110 111 115 117 119 120 122 126 128 129 132 133 137 140 147 148 150 154 160 163 164 166 168 172 177 181 184 185 193 195 196 198 202 205 207 208 213 217 221
a 3 4 6 7 9 11 13 22 23 26 28 29 33 41 50 52 56 59 60 68 74 75 79 84 89 93 96 97 101 102 107 108 110 111 115 117 119 120 122 126 128 129 132 133 137 140 147 148 150 154 160 163 164 166 168 172 177 181 184 185 193 195 196 198 202 205 207 208 213 217
a 3 4 6 7 9 11 13 22 23 26 28 29 33 41 50 52 56 59 60 68 74 75 79 84 89 93 96 97 101 102 107 108 110 111 115 117 119 120 122 126 128 129 132 133 137 140 147 148 150 154 160 163 164 166 168 172 177 181 184 185 193 195 196 198 202 203 205 207 208 213
a 3 4 6 7 9 11 13 22 23 26 28 29 33 41 50 52 56 59 60 68 74 75 84 89 93 94 96 97 101 102 107 108 110 111 115 117 119 120 122 126 128 129 132 133 137 140 147 148 150 154 160 163 164 166 168 172 177 181 184 185 193 195 196 198 202 203 205 207 208 213
a 3 4 6 7 9 10 11 13 22 26 28 29 33 41 50 52 56 59 60 68 74 75 84 89 93 94 96 97 101 102 107 108 110 111 115 117 119 120 122 126 128 129 132 133 137 140 147 148 150 154 160 163 164 166 168 172 177 181 184 185 193 195 196 198 202 203 205 207 208 213
a 3 4 6 7 9 10 11 13 22 26 28 29 41 50 52 56 59 60 68 74 75 84 89 93 94 96 97 101 102 107 108 110 111 115 117 119 120 122 126 128 129 132 133 137 140 147 148 150 154 160 163 164 166 168 172 177 181 184 185 193 195 196 198 202 203 205 207 208 213 214
a 4 6 7 9 10 11 13 22 23 26 28 29 41 50 52 56 59 60 68 74 75 84 89 93 94 96 97 101 102 107 108 110 111 115 117 119 120 122 126 128 129 132 133 137 140 147 148 150 154 160 163 164 166 168 172 177 181 184 185 193 195 196 198 202 203 205 207 208 213 214
a 3 4 6 7 9 10 11 13 22 23 26 28 29 41 50 52 56 59 60 68 74 75 84 89 93 94 96 97 101 102 107 108 110 111 115 119 120 122 126 128 129 132 133 137 140 147 148 150 154 160 163 164 166 168 172 177 181 184 185 193 195 196 198 202 203 205 207 208 213 214
a 3 4 6 7 9 10 11 13 22 23 26 28 29 41 50 52 56 59 60 68 75 84 89 93 94 96 97 101 102 107 108 110 111 115 119 120 122 126 128 129 132 133 137 140 147 148 150 154 159 160 163 164 166 168 172 177 181 184 185 193 195 196 198 202 203 205 207 208 213 214
a 3 4 6 7 9 10 11 13 22 23 26 28 29 41 50 52 56 59 60 68 75 84 89 93 94 96 97 101 102 107 108 110 111 115 117 119 120 122 126 128 129 132 133 137 140 147 148 150 154 159 160 163 164 166 168 172 177 181 184 185 193 195 196 198 202 203 205 207 213 214
a 3 4 6 7 9 10 11 13 22 23 26 29 41 50 52 56 59 60 68 75 84 89 93 94 96 97 101 102 107 108 110 111 115 117 119 120 122 126 128 129 132 133 137 140 147 148 150 154 159 160 163 164 166 168 172 177 181 184 185 193 195 196 198 202 203 205 207 213 214 217
a 3 4 6 7 9 10 11 13 22 23 26 29 41 50 52 56 59 60 68 75 82 84 89 93 94 96 97 101 102 107 108 110 111 115 117 119 120 122 126 128 129 132 133 137 140 147 148 150 154 159 160 163 164 166 168 172 177 181 184 185 193 195 196 198 202 203 205 207 213 214
a 3 4 6 7 9 10 11 13 22 23 26 29 41 43 50 52 56 59 60 68 75 82 84 89 93 94 96 97 101 102 107 108 110 111 115 117 119 120 122 126 128 129 132 133 137 140 147 148 150 154 159 160 163 164 166 172 177 181 184 185 193 195 196 198 202 203 205 207 213 214
a 3 4 6 7 9 10 11 13 22 23 26 29 41 43 50 52 56 59 60 68 75 82 84 89 93 94 96 97 101 102 107 108 110 111 115 117 119 122 126 128 129 132 133 137 140 147 148 150 154 159 160 163 164 166 172 177 181 184 185 193 195 196 198 202 203 205 207 213 214 221
a 3 4 6 7 9 10 11 13 22 23 26 28 29 41 43 50 52 56 59 60 68 75 82 84 89 93 94 96 97 101 102 107 108 110 111 115 117 119 122 126 128 129 132 133 137 140 147 148 150 159 160 163 164 166 172 177 181 184 185 193 195 196 198 202 203 205 207 213 214 221
a 3 4 6 9 10 11 13 22 23 26 28 29 41 43 50 52 56 59 60 68 75 82 84 89 93 94 96 97 101 102 107 108 110 111 115 117 119 122 126 128 129 132 133 137 140 147 148 150 154 159 160 163 164 166 172 177 181 184 185 193 195 196 198 202 203 205 207 213 214 221
a 3 4 6 10 11 13 22 23 26 28 29 41 43 50 52 56 59 60 68 75 82 84 89 93 94 96 97 101 102 107 108 110 111 115 117 119 122 126 128 129 132 133 137 140 147 148 150 154 159 160 163 164 166 172 177 181 184 185 193 195 196 198 202 203 205 207 213 214 217 221
a 3 4 6 10 11 13 22 23 26 28 29 41 43 50 52 56 59 60 68 75 82 84 89 93 94 96 97 101 102 107 108 110 111 115 117 119 122 126 128 129 132 133 137 140 147 148 150 154 159 160 163 164 172 176 177 181 184 185 193 195 196 198 202 203 205 207 213 214 217 221
a 3 4 6 10 11 13 22 23 26 28 29 33 41 43 50 52 56 59 60 68 75 82 84 89 93 94 96 97 101 102 107 108 110 111 115 117 119 122 126 128 129 132 133 137 140 147 148 150 154 159 160 163 164 172 176 177 181 184 185 193 195 196 198 202 203 205 207 213 217 221
a 4 6 10 11 13 22 23 26 28 29 33 41 43 50 52 56 59 60 68 75 82 84 89 93 94 96 97 101 102 107 108 110 111 115 117 119 122 126 128 129 132 133 137 140 147 148 150 154 159 160 163 164 172 176 177 181 184 185 193 195 196 198 202 203 205 207 213 214 217 221
a 4 6 10 11 13 22 23 26 28 33 41 43 50 52 56 59 60 68 75 82 84 89 93 94 96 97 101 102 107 108 110 111 115 117 119 122 126 128 129 132 133 137 138 140 147 148 150 154 159 160 163 164 172 176 177 181 184 185 193 195 196 198 202 203 205 207 213 214 217 221
a 4 6 10 11 13 22 23 26 28 33 41 43 50 52 56 59 60 68 75 82 84 89 93 94 96 97 101 102 107 108 110 111 115 117 119 120 122 126 128 129 132 133 137 138 140 147 148 150 154 159 160 163 164 172 176 177 181 184 185 193 195 196 198 202 203 205 207 213 217 221
a 4 6 10 11 13 14 22 23 26 28 33 41 43 50 52 56 59 60 68 75 82 84 89 94 96 97 101 102 107 108 110 111 115 117 119 120 122 126 128 129 132 133 137 138 140 147 148 150 154 159 160 163 164 172 176 177 181 184 185 193 195 196 198 202 203 205 207 213 217 221
a 4 6 10 11 13 14 22 23 26 28 33 41 43 50 52 56 59 60 68 75 82 84 89 94 96 97 101 102 107 108 110 111 115 117 119 120 122 126 128 129 132 133 137 138 140 147 148 150 154 159 160 163 164 165 172 176 177 181 184 185 193 195 196 198 202 203 205 207 213 217
a 4 6 7 10 11 13 14 22 23 26 28 33 41 43 50 52 56 59 60 75 82 84 89 94 96 97 101 102 107 108 110 111 115 117 119 120 122 126 128 129 132 133 137 138 140 147 148 150 154 159 160 163 164 165 172 176 177 181 184 185 193 195 196 198 202 203 205 207 213 217
a 4 6 7 10 11 13 14 22 23 26 28 33 41 43 50 52 56 59 60 75 82 84 89 94 96 97 101 102 107 108 110 111 115 117 119 120 122 126 128 129 132 133 137 138 140 147 148 150 154 159 160 163 164 165 172 176 177 181 184 185 193 195 196 198 202 203 205 207 213 214
a 3 4 6 7 10 11 13 14 22 23 26 28 33 41 43 50 52 56 59 60 75 82 84 89 94 96 97 101 102 107 108 110 111 115 117 119 120 122 126 128 129 132 133 137 138 140 147 148 150 154 159 160 163 164 165 172 176 177 181 184 185 193 195 196 198 202 203 205 213 214
a 3 4 6 7 10 11 13 14 22 23 26 28 33 41 43 50 52 56 59 60 75 82 84 89 94 96 97 101 102 107 108 110 111 115 117 119 120 122 126 128 129 132 133 137 138 140 147 148 150 154 159 160 163 164 165 172 176 177 181 184 185 193 195 196 198 202 203 205 213 217
a 3 4 6 7 9 10 11 13 14 22 23 26 28 33 41 43 50 52 56 59 60 75 82 84 89 94 96 97 101 102 107 110 111 115 117 119 120 122 126 128 129 132 133 137 138 140 147 148 150 154 159 160 163 164 165 172 176 177 181 184 185 193 195 196 198 202 203 205 213 217
a 3 4 6 7 9 10 11 13 14 22 26 28 33 41 43 50 52 56 59 60 75 82 84 89 94 96 97 101 102 107 110 111 115 117 119 120 122 126 128 129 132 133 137 138 140 147 148 150 154 159 160 163 164 165 172 176 177 181 184 185 193 195 196 198 202 203 205 212 213 217
a 3 4 6 7 9 11 13 14 22 26 28 33 41 43 50 52 56 59 60 75 82 84 89 94 96 97 101 102 107 110 111 115 117 119 120 122 126 128 129 132 133 137 138 140 147 148 150 154 159 160 163 164 165 172 176 177 181 184 185 193 195 196 198 202 203 205 207 212 213 217
a 4 6 7 9 11 13 14 22 26 28 33 41 43 50 52 56 59 60 75 82 84 89 94 96 97 101 102 107 108 110 111 115 117 119 120 122 126 128 129 132 133 137 138 140 147 148 150 154 159 160 163 164 165 172 176 177 181 184 185 193 195 196 198 202 203 205 207 212 213 217
a 4 6 7 9 10 11 13 14 22 26 28 33 41 43 50 52 56 60 75 82 84 89 94 96 97 101 102 107 108 110 111 115 117 119 120 122 126 128 129 132 133 137 138 140 147 148 150 154 159 160 163 164 165 172 176 177 181 184 185 193 195 196 198 202 203 205 207 212 213 217
a 4 6 7 9 10 11 13 14 22 26 28 33 41 43 50 52 56 60 75 82 84 89 94 96 97 101 102 107 108 109 110 111 115 117 119 120 122 126 128 129 132 133 137 138 140 147 148 150 154 159 160 163 164 165 172 176 177 181 184 185 193 195 196 198 202 203 205 207 212 213
a 3 4 6 7 9 10 11 13 14 22 26 28 33 41 43 50 52 56 60 75 82 84 89 94 96 97 101 102 107 108 109 110 111 115 117 119 120 122 126 128 129 132 133 137 138 140 147 148 150 154 159 160 163 164 165 172 176 177 181 184 185 193 195 196 198 202 203 205 207 212
a 3 4 6 7 9 10 11 13 14 22 26 28 33 41 43 50 52 56 60 75 82 84 89 94 96 97 101 102 107 108 109 110 111 115 117 119 120 122 126 128 129 132 133 137 138 140 147 148 150 151 154 159 160 163 164 165 172 176 177 181 184 185 193 195 196 198 202 203 205 207
a 4 6 7 9 10 11 13 14 22 26 28 33 41 43 50 52 56 60 75 82 84 89 94 96 97 101 102 107 108 109 110 111 115 117 119 120 122 126 128 129 132 133 137 138 140 147 148 150 151 154 159 160 163 164 165 172 176 177 181 184 185 193 195 196 198 202 203 205 207 208
a 4 6 7 9 10 11 13 14 18 22 26 28 33 41 43 50 56 60 75 82 84 89 94 96 97 101 102 107 108 109 110 111 115 117 119 120 122 126 128 129 132 133 137 138 140 147 148 150 151 154 159 160 163 164 165 172 176 177 181 184 185 193 195 196 198 202 203 205 207 208
a 4 6 7 9 10 11 13 14 18 22 23 26 33 41 43 50 56 60 75 82 84 89 94 96 97 101 102 107 108 109 110 111 115 117 119 120 122 126 128 129 132 133 137 138 140 147 148 150 151 154 159 160 163 164 165 172 176 177 181 184 185 193 195 196 198 202 203 205 207 208
a 4 6 7 9 10 11 13 14 18 22 23 26 33 41 43 50 56 60 75 82 84 89 94 96 97 101 102 104 107 108 109 110 111 115 117 119 120 122 126 128 129 132 133 137 138 140 147 148 150 151 154 159 160 163 165 172 176 177 181 184 185 193 195 196 198 202 203 205 207 208
a 4 6 7 9 10 11 13 14 18 22 23 26 33 43 50 56 60 75 82 84 89 94 96 97 101 102 104 107 108 109 110 111 115 117 119 120 122 126 128 129 132 133 137 138 140 147 148 150 151 154 159 160 163 165 172 176 177 181 184 185 193 195 196 198 202 203 205 207 208 211
a 4 6 7 9 10 11 13 14 18 22 23 26 33 43 50 56 60 75 82 84 89 94 96 97 101 102 104 107 108 109 110 111 115 117 119 120 122 126 128 129 132 133 137 138 140 147 148 150 151 154 159 160 163 165 172 176 177 178 181 184 185 193 195 196 198 202 203 207 208 211
a 4 6 7 9 10 11 13 14 18 22 23 26 33 43 50 56 60 75 82 84 89 94 96 97 101 102 104 107 108 109 110 111 115 117 119 120 122 126 128 129 132 133 137 138 140 147 148 151 154 159 160 163 165 172 176 177 178 181 184 185 193 195 196 198 202 203 207 208 211 220
a 4 6 7 9 10 11 13 14 17 18 22 23 26 33 43 50 56 60 75 82 84 89 94 96 97 101 102 104 107 108 109 110 111 115 117 119 122 126 128 129 132 133 137 138 140 147 148 151 154 159 160 163 165 172 176 177 178 181 184 185 193 195 196 198 202 203 207 208 211 220
a 4 6 7 9 10 11 13 14 17 18 22 23 26 33 43 50 56 60 75 82 84 94 96 97 101 102 104 107 108 109 110 111 115 117 119 122 126 128 129 132 133 137 138 140 147 148 151 154 155 159 160 163 165 172 176 177 178 181 184 185 193 195 196 198 202 203 207 208 211 220
a 4 6 7 9 10 11 13 14 17 18 22 23 26 29 33 43 50 56 60 75 82 84 94 96 97 101 102 104 107 108 109 110 111 115 117 119 122 126 128 129 132 133 137 140 147 148 151 154 155 159 160 163 165 172 176 177 178 181 184 185 193 195 196 198 202 203 207 208 211 220
a 4 6 7 9 10 11 13 14 17 18 22 23 26 29 30 33 43 50 56 60 75 82 84 94 96 97 101 102 104 107 109 110 111 115 117 119 122 126 128 129 132 133 137 140 147 148 151 154 155 159 160 163 165 172 176 177 178 181 184 185 193 195 196 198 202 203 207 208 211 220
a 4 6 7 9 10 11 13 14 17 18 22 23 26 29 30 33 43 50 56 60 82 84 94 96 97 101 102 104 107 109 110 111 115 117 119 122 126 128 129 132 133 137 140 147 148 151 154 155 159 160 163 165 172 176 177 178 181 184 185 193 195 196 198 202 203 207 208 211 219 220
a 4 6 7 9 10 11 13 14 17 18 22 23 26 29 30 33 43 50 56 60 82 84 92 94 96 97 101 102 104 107 109 110 111 115 119 122 126 128 129 132 133 137 140 147 148 151 154 155 159 160 163 165 172 176 177 178 181 184 185 193 195 196 198 202 203 207 208 211 219 220
a 4 6 7 9 10 11 13 14 17 18 22 23 26 29 30 32 33 43 50 56 60 82 84 92 94 96 97 101 102 104 107 109 110 111 115 119 122 126 128 129 132 137 140 147 148 151 154 155 159 160 163 165 172 176 177 178 181 184 185 193 195 196 198 202 203 207 208 211 219 220
a 4 6 7 9 10 11 13 14 17 18 22 23 26 29 30 32 33 43 50 56 60 82 84 92 94 96 97 101 102 104 107 110 111 115 119 122 126 128 129 132 137 140 147 148 151 154 155 157 159 160 163 165 172 176 177 178 181 184 185 193 195 196 198 202 203 207 208 211 219 220
a 4 6 7 9 10 11 13 14 17 18 22 23 26 29 30 32 33 43 50 56 60 82 92 94 96 97 101 102 104 107 110 111 115 119 122 126 128 129 132 137 140 147 148 151 154 155 157 159 160 163 165 172 176 177 178 179 181 184 185 193 195 196 198 202 203 207 208 211 219 220
a 4 6 7 9 10 11 13 14 17 18 22 23 26 29 30 32 33 43 50 56 60 79 82 92 96 97 101 102 104 107 110 111 115 119 122 126 128 129 132 137 140 147 148 151 154 155 157 159 160 163 165 172 176 177 178 179 181 184 185 193 195 196 198 202 203 207 208 211 219 220
a 4 6 7 9 10 11 13 14 17 18 23 26 29 30 32 33 43 50 56 60 79 82 92 96 97 101 102 104 107 110 111 115 119 122 126 128 129 132 137 140 147 148 151 154 155 156 157 159 160 163 165 172 176 177 178 179 181 184 185 193 195 196 198 202 203 207 208 211 219 220
a 4 6 7 9 10 11 13 14 17 18 23 26 29 30 32 33 43 50 56 60 79 82 90 92 96 97 101 102 104 107 110 111 115 119 122 126 128 129 132 137 140 147 148 151 154 155 156 157 159 160 163 165 176 177 178 179 181 184 185 193 195 196 198 202 203 207 208 211 219 220
a 4 6 7 9 10 11 13 14 17 18 23 25 26 29 30 32 33 43 50 56 60 79 82 90 92 96 97 101 102 104 107 110 111 119 122 126 128 129 132 137 140 147 148 151 154 155 156 157 159 160 163 165 176 177 178 179 181 184 185 193 195 196 198 202 203 207 208 211 219 220
a 4 6 9 10 11 13 14 17 18 23 25 26 29 30 32 33 43 50 56 60 79 82 90 92 96 97 99 101 102 104 107 110 111 119 122 126 128 129 132 137 140 147 148 151 154 155 156 157 159 160 163 165 176 177 178 179 181 184 185 193 195 196 198 202 203 207 208 211 219 220
a 4 6 9 10 11 13 14 17 18 23 25 26 29 30 32 33 43 50 56 60 71 79 82 90 92 96 97 99 101 102 104 107 110 111 119 122 126 128 129 132 137 140 147 148 151 154 155 156 157 159 160 163 165 176 177 178 179 181 185 193 195 196 198 202 203 207 208 211 219 220
a 4 6 9 10 11 13 14 17 18 19 23 25 26 29 30 32 33 43 50 56 60 71 79 90 92 96 97 99 101 102 104 107 110 111 119 122 126 128 129 132 137 140 147 148 151 154 155 156 157 159 160 163 165 176 177 178 179 181 185 193 195 196 198 202 203 207 208 211 219 220
a 4 6 9 10 11 13 14 17 18 19 23 25 26 29 30 32 43 50 56 60 71 79 90 92 96 97 99 101 102 104 107 110 111 119 122 126 128 129 132 137 140 147 148 151 152 154 155 156 157 159 160 163 165 176 177 178 179 181 185 193 195 196 198 202 203 207 208 211 219 220
a 4 6 9 10 11 13 14 17 18 19 23 25 26 29 30 32 43 50 56 60 71 79 90 92 96 97 99 101 102 104 107 110 111 119 122 126 128 129 132 137 140 147 148 151 152 154 155 156 157 159 160 163 165 176 177 178 179 181 193 195 196 198 202 203 207 208 210 211 219 220
a 4 6 9 10 11 13 14 17 18 19 23 25 26 29 30 32 43 50 53 56 71 79 90 92 96 97 99 101 102 104 107 110 111 119 122 126 128 129 132 137 140 147 148 151 152 154 155 156 157 159 160 163 165 176 177 178 179 181 193 195 196 198 202 203 207 208 210 211 219 220
a 4 6 10 11 13 14 17 18 19 23 25 26 29 30 32 43 50 53 56 71 79 90 92 96 97 99 101 102 104 107 110 111 119 122 126 128 129 132 137 140 146 147 148 151 152 154 155 156 157 159 160 163 165 176 177 178 179 181 193 195 196 198 202 203 207 208 210 211 219 220
a 4 6 10 11 13 14 17 18 19 23 25 26 29 30 32 43 50 53 56 71 79 90 92 96 97 99 101 104 106 107 110 111 119 122 126 128 129 132 137 140 146 147 148 151 152 154 155 156 157 159 160 163 165 176 177 178 179 181 193 195 196 198 202 203 207 208 210 211 219 220
a 4 6 10 11 13 14 17 18 19 23 25 26 29 30 32 43 50 53 56 57 71 79 90 92 96 97 99 101 104 106 107 110 119 122 126 128 129 132 137 140 146 147 148 151 152 154 155 156 157 159 160 163 165 176 177 178 179 181 193 195 196 198 202 203 207 208 210 211 219 220
a 4 6 10 11 13 14 17 18 19 23 25 26 29 30 32 43 53 56 57 69 71 79 90 92 96 97 99 101 104 106 107 110 119 122 126 128 129 132 137 140 146 147 148 151 152 154 155 156 157 159 160 163 165 176 177 178 179 181 193 195 196 198 202 203 207 208 210 211 219 220
a 4 6 10 11 13 14 17 18 19 23 25 26 29 30 32 43 53 56 57 69 71 79 90 92 96 99 101 104 106 107 110 119 122 126 128 129 132 137 140 146 147 148 151 152 154 155 156 157 159 160 163 165 176 177 178 179 181 193 195 196 198 199 202 203 207 208 210 211 219 220
a 4 6 10 11 13 14 17 18 19 23 25 26 29 30 32 43 49 53 56 57 69 71 79 90 92 96 99 101 104 106 107 110 122 126 128 129 132 137 140 146 147 148 151 152 154 155 156 157 159 160 163 165 176 177 178 179 181 193 195 196 198 199 202 203 207 208 210 211 219 220
a 4 6 10 11 13 14 17 18 19 23 25 26 29 30 32 43 49 53 56 57 63 69 71 79 90 92 96 99 101 104 106 107 110 122 126 128 129 132 137 140 146 147 148 151 152 154 155 156 157 159 163 165 176 177 178 179 181 193 195 196 198 199 202 203 207 208 210 211 219 220
a 4 6 10 11 13 14 17 18 19 23 25 26 29 30 32 43 44 49 53 56 57 63 69 71 79 90 92 96 99 101 104 106 107 110 122 126 128 129 132 137 140 146 147 148 151 152 154 155 156 157 159 163 165 176 177 178 179 181 193 195 196 199 202 203 207 208 210 211 219 220
a 6 10 11 13 14 17 18 19 23 25 26 29 30 32 43 44 49 53 56 57 63 69 71 79 90 92 96 99 101 104 106 107 110 122 126 128 129 132 137 140 143 146 147 148 151 152 154 155 156 157 159 163 165 176 177 178 179 181 193 195 196 199 202 203 207 208 210 211 219 220
a 6 10 11 13 14 17 18 19 23 25 26 29 30 32 43 44 49 53 56 57 63 69 71 79 90 92 96 99 101 104 106 107 110 122 126 128 129 132 137 140 142 143 146 147 148 151 152 154 155 156 157 159 163 165 176 177 178 179 181 193 195 196 199 203 207 208 210 211 219 220
a 6 10 11 13 14 17 18 19 23 25 26 29 30 32 43 44 49 53 56 57 63 69 71 79 90 92 96 99 101 104 106 107 110 122 126 129 132 134 137 140 142 143 146 147 148 151 152 154 155 156 157 159 163 165 176 177 178 179 181 193 195 196 199 203 207 208 210 211 219 220
a 6 10 11 13 14 17 18 19 23 25 26 29 30 32 39 43 44 49 53 56 57 63 69 71 79 90 92 96 99 101 104 106 107 110 122 126 129 132 134 137 140 142 143 146 147 148 151 152 154 155 156 157 159 163 165 176 177 178 179 181 195 196 199 203 207 208 210 211 219 220
a 6 10 11 13 14 17 18 19 23 25 26 29 30 32 39 43 44 47 49 53 56 57 63 69 71 79 90 92 96 99 101 104 106 107 110 122 126 129 132 134 137 140 142 143 146 147 148 151 152 155 156 157 159 163 165 176 177 178 179 181 195 196 199 203 207 208 210 211 219 220
c Step: 157
#END: [Mon Sep  4 22:33:39 2023]