#BEGIN: [Tue Sep  5 01:54:29 2023]
#HOST: s03
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-wallclock-banbaralab-longest1
#INSTANCE1: /benchmark/random_instance/random_instance018_graph003.col
#INSTANCE2: /benchmark/random_instance/random_instance018_graph003_01.dat
#COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab --longest /benchmark/random_instance/random_instance018_graph003.col /benchmark/random_instance/random_instance018_graph003_01.dat
c /benchmark/random_instance/random_instance018_graph003.col
c /benchmark/random_instance/random_instance018_graph003_01.dat
TIMEOUT 1800
c send SIGTERM to CID c995a5fb139b98529721e1dd7f69ec003baaad89d7196f8e1fa6c27b46950266
s 32 22 172 126 133 139 23 93 220 14 216 198 204 186 4 42 15 199 217 29 11 120 9 152 40 46 131 74 25 221 60 113 141 200 115 108 124 67 86 101 65 157 193 33 155 175 102 184 41 104 1 195 61 105 224 90 137 135 223 188 177 149 79 98 2 156 187 63 176 122 27 225 170 181
t 100 183 127 179 89 71 111 130 32 151 229 136 46 14 141 39 79 84 140 174 45 77 113 102 4 6 195 200 148 115 212 154 161 65 28 61 166 40 227 198 228 3 105 223 96 207 58 149 186 95 30 157 87 74 47 142 176 41 101 219 124 19 168 131 218 159 143 167 88 187 2 213 38 119
a YES
a 1 2 4 9 11 14 15 22 23 25 27 29 32 33 40 41 42 46 60 61 63 65 67 74 79 86 90 93 98 101 102 104 105 108 113 115 120 122 124 126 131 133 135 137 139 141 149 152 155 156 157 170 172 175 176 177 181 184 186 187 188 193 195 198 199 200 204 216 217 220 221 223 224 225
a 1 2 4 9 11 14 15 22 23 25 27 29 32 40 41 42 46 60 61 63 65 67 74 79 86 90 93 98 101 102 104 105 108 113 115 120 122 124 126 131 133 135 137 139 141 149 152 155 156 157 170 172 175 176 177 179 181 184 186 187 188 193 195 198 199 200 204 216 217 220 221 223 224 225
a 1 2 4 9 11 14 15 22 23 25 27 29 32 40 41 42 46 50 60 61 63 65 67 74 79 86 90 93 98 101 102 104 105 108 113 115 120 122 124 126 131 133 135 137 139 141 149 152 155 156 157 170 172 175 176 177 179 181 184 186 187 188 193 195 198 199 200 204 216 217 220 221 223 225
a 1 2 4 9 11 14 15 22 23 25 27 29 32 40 41 42 44 46 50 60 61 63 65 67 74 79 86 90 93 98 101 102 104 105 108 113 115 120 122 124 126 131 133 135 137 139 141 149 152 155 156 157 170 172 175 176 177 179 181 184 186 187 188 193 195 198 199 200 204 216 217 221 223 225
a 1 2 4 9 11 14 15 22 23 25 27 29 32 40 41 42 44 46 50 60 61 63 65 67 74 79 82 86 90 93 98 101 102 104 105 108 113 115 120 122 124 126 131 133 135 137 139 141 149 152 155 156 157 170 172 175 176 177 179 181 184 186 187 188 193 195 198 199 200 204 216 217 223 225
a 2 4 9 11 14 15 22 23 25 27 29 32 40 41 42 44 46 47 50 60 61 63 65 67 74 79 82 86 90 93 98 101 102 104 105 108 113 115 120 122 124 126 131 133 135 137 139 141 149 152 155 156 157 170 172 175 176 177 179 181 184 186 187 188 193 195 198 199 200 204 216 217 223 225
a 2 4 9 11 14 15 22 23 25 27 29 32 40 41 42 44 46 47 60 61 63 65 67 74 79 82 86 90 93 98 101 102 104 105 108 113 115 120 122 124 126 131 133 135 137 139 141 149 152 155 156 157 170 172 175 176 177 179 181 184 186 187 188 193 195 198 199 200 204 216 217 223 224 225
a 2 4 9 11 14 15 22 23 25 27 29 32 40 41 42 44 46 47 60 61 63 65 67 74 79 82 86 90 93 98 101 102 104 105 108 113 115 120 122 124 126 131 135 137 138 139 141 149 152 155 156 157 170 172 175 176 177 179 181 184 186 187 188 193 195 198 199 200 204 216 217 223 224 225
a 1 4 9 11 14 15 22 23 25 27 29 32 40 41 42 44 46 47 60 61 63 65 67 74 79 82 86 90 93 98 101 102 104 105 108 113 115 120 122 124 126 131 135 137 138 139 141 149 152 155 156 157 170 172 175 176 177 179 181 184 186 187 188 193 195 198 199 200 204 216 217 223 224 225
a 1 2 4 9 11 15 22 23 25 27 29 32 40 41 42 44 46 47 60 61 63 65 67 74 79 82 86 90 93 98 101 102 104 105 108 113 115 120 122 124 126 131 135 137 138 139 141 149 152 155 156 157 170 172 175 176 177 179 181 184 186 187 188 193 195 198 199 200 204 216 217 223 224 225
a 1 2 4 9 11 14 15 22 23 25 27 29 32 40 41 42 44 46 47 60 61 63 65 67 74 79 82 86 90 93 98 101 102 104 105 108 113 115 120 122 124 126 131 135 137 138 139 141 149 152 155 156 157 170 172 175 176 177 179 181 184 186 187 188 193 195 198 199 200 204 216 217 223 224
a 1 2 4 9 11 14 15 22 23 25 27 29 32 40 41 42 44 46 47 60 61 63 65 67 74 79 82 86 90 93 98 101 102 104 105 108 113 115 120 122 124 126 131 135 137 138 139 141 149 152 155 156 157 170 172 175 176 177 179 181 184 186 187 188 195 198 199 200 204 216 217 219 223 224
a 1 2 4 9 11 14 15 22 23 25 27 29 32 40 41 42 44 46 47 60 61 63 65 67 74 79 86 90 93 98 101 102 104 105 108 113 115 120 122 124 126 131 135 137 138 139 141 149 152 155 156 157 170 172 175 176 177 179 181 184 186 187 188 195 198 199 200 204 216 217 219 221 223 224
a 1 2 4 7 9 11 14 15 22 23 25 27 29 32 40 41 42 44 46 47 60 61 63 65 67 74 79 86 90 93 98 101 102 104 105 108 113 115 120 122 124 126 131 135 137 138 139 141 149 152 155 156 157 170 172 175 176 177 179 181 184 187 188 195 198 199 200 204 216 217 219 221 223 224
a 1 4 7 9 11 14 15 22 23 25 27 29 32 40 41 42 44 46 47 49 60 61 63 65 67 74 79 86 90 93 98 101 102 104 105 108 113 115 120 122 124 126 131 135 137 138 139 141 149 152 155 156 157 170 172 175 176 177 179 181 184 187 188 195 198 199 200 204 216 217 219 221 223 224
a 1 4 7 9 11 14 15 22 23 25 27 29 32 40 41 42 44 46 47 49 55 60 61 63 65 67 74 79 86 90 93 98 101 102 104 105 108 113 115 120 122 124 126 131 135 137 138 139 141 149 152 155 156 157 170 172 175 176 177 179 181 184 187 188 195 198 199 200 204 217 219 221 223 224
a 1 4 7 9 11 14 15 23 25 27 29 32 40 41 42 44 46 47 49 55 60 61 63 65 67 74 79 86 90 93 98 101 102 104 105 108 113 115 120 122 124 126 131 135 137 138 139 141 149 152 155 156 157 170 172 175 176 177 179 181 184 187 188 195 198 199 200 204 217 219 221 223 224 225
a 1 4 7 9 11 14 15 22 23 25 27 29 32 40 41 42 44 46 47 49 55 60 61 63 65 67 74 79 86 90 93 98 101 102 104 105 108 113 115 120 122 124 126 131 135 137 138 139 141 149 152 155 156 157 170 172 175 176 177 179 181 184 187 188 195 198 199 200 204 217 219 221 224 225
a 4 7 9 11 14 15 22 23 25 27 29 32 40 41 42 44 46 47 49 55 60 61 63 65 67 74 79 86 90 93 98 101 102 104 105 108 113 115 120 122 124 126 131 135 137 138 139 141 149 152 155 156 157 170 172 175 176 177 179 181 184 187 188 195 198 199 200 204 217 219 221 223 224 225
a 4 7 9 11 14 15 22 23 25 27 29 32 40 41 42 44 46 47 49 50 55 60 61 63 65 67 74 79 86 90 93 98 101 102 104 105 108 113 115 120 122 124 126 131 135 137 138 139 141 149 152 155 156 157 170 172 175 176 177 179 181 184 187 188 195 198 199 200 204 217 219 221 223 225
a 7 9 11 14 15 22 23 25 27 29 32 40 41 42 44 46 47 49 50 55 60 61 63 65 67 74 79 86 90 93 98 101 102 104 105 108 113 115 120 122 124 126 131 135 137 138 139 141 149 152 155 156 157 170 172 175 176 177 179 181 184 187 188 195 198 199 200 204 216 217 219 221 223 225
a 2 7 9 11 14 15 22 23 25 27 29 32 40 41 42 44 46 47 49 50 55 60 61 63 65 67 74 79 86 90 93 98 101 102 104 105 108 113 115 120 122 124 126 131 135 137 138 139 141 149 152 155 156 157 170 172 175 176 177 179 181 184 187 188 195 198 199 200 204 216 217 219 221 223
a 2 4 7 9 11 14 15 22 23 25 27 29 32 40 41 42 44 46 47 49 50 55 60 61 63 65 67 74 79 86 90 93 98 101 102 104 105 108 113 115 120 122 124 126 131 135 137 138 139 141 149 152 155 156 157 170 172 175 176 177 179 181 184 187 188 195 198 199 200 204 216 217 219 223
a 2 4 7 9 11 14 15 22 23 25 27 29 32 40 41 42 44 46 47 49 50 55 60 61 63 65 67 74 79 86 90 93 98 101 102 104 105 108 113 115 120 122 124 126 131 135 137 138 139 141 149 152 155 156 157 170 172 175 176 177 179 181 184 187 188 195 199 200 204 216 217 219 221 223
a 2 4 7 9 11 14 15 22 23 25 27 29 32 40 41 42 44 46 47 49 50 55 60 61 63 65 67 74 79 86 90 93 98 101 102 104 105 107 108 113 115 120 122 124 126 131 135 137 138 139 141 149 152 155 156 157 170 172 175 176 177 179 181 184 187 188 195 199 200 204 216 217 221 223
a 4 7 9 11 14 15 22 23 25 27 29 32 40 41 42 44 46 47 49 50 55 60 61 63 65 67 74 79 86 90 93 98 101 102 104 105 107 108 113 115 120 122 124 126 131 135 137 138 139 141 149 152 155 156 157 170 172 175 176 177 179 181 184 187 188 195 199 200 204 216 217 219 221 223
a 4 7 9 11 14 15 22 23 25 27 29 32 40 41 42 44 46 49 50 55 60 61 63 65 67 74 79 86 90 93 98 101 102 104 105 107 108 113 115 120 122 124 126 131 135 137 138 139 141 149 152 155 156 157 170 172 175 176 177 179 181 184 187 188 195 199 200 204 209 216 217 219 221 223
a 4 9 11 14 15 22 23 25 27 29 32 40 41 42 44 46 49 50 55 60 61 63 65 67 74 79 86 90 93 98 101 102 104 105 107 108 113 115 120 122 124 126 131 135 137 138 139 141 149 152 155 156 157 170 172 175 176 177 179 181 184 187 188 195 198 199 200 204 209 216 217 219 221 223
a 4 9 11 14 15 22 23 25 27 29 32 40 41 42 46 49 50 55 60 61 63 65 67 74 79 86 90 93 98 101 102 104 105 107 108 113 115 120 122 124 126 131 135 137 138 139 141 149 152 155 156 157 170 172 175 176 177 179 181 184 187 188 195 198 199 200 204 209 216 217 219 220 221 223
a 4 7 9 11 14 15 22 23 25 27 29 32 40 41 42 46 49 50 55 60 61 63 65 67 74 79 86 90 93 98 101 102 104 105 107 108 113 115 120 122 124 126 131 135 137 138 139 141 149 152 155 156 157 170 172 175 176 177 179 181 184 187 188 195 198 199 200 204 209 216 217 219 220 221
a 4 7 9 11 14 15 22 23 25 27 29 32 40 41 42 46 49 55 60 61 63 65 67 74 79 85 86 90 93 98 101 102 104 105 107 108 113 115 120 122 124 126 131 135 137 138 139 141 149 152 155 156 157 170 172 175 176 177 179 181 184 187 188 195 198 199 200 204 209 216 217 219 220 221
a 4 7 9 11 14 15 22 23 25 27 29 32 40 41 42 46 49 55 60 61 63 65 67 74 79 85 86 90 93 98 101 102 104 105 107 108 113 115 120 122 124 126 131 135 137 138 139 141 149 152 155 156 157 170 172 175 176 177 179 181 184 187 188 195 198 199 200 204 209 216 219 220 221 234
a 4 7 9 11 14 15 22 23 25 27 29 32 40 41 42 46 49 55 60 61 63 65 67 74 79 85 86 90 93 98 101 102 104 105 107 108 113 115 120 122 124 126 131 135 137 138 139 141 149 152 155 156 157 170 172 175 176 177 181 184 187 188 195 198 199 200 204 209 216 219 220 221 224 234
a 7 9 11 14 15 22 23 25 27 29 32 40 41 42 46 49 55 60 61 63 65 67 74 79 85 86 90 93 98 99 101 102 104 105 107 108 113 115 120 122 124 126 131 135 137 138 139 141 149 152 155 156 157 170 172 175 176 177 181 184 187 188 195 198 199 200 204 209 216 219 220 221 224 234
a 7 9 11 14 15 22 23 25 27 29 32 40 41 42 46 49 55 60 61 63 65 67 74 79 85 86 90 93 98 99 101 102 104 105 107 108 113 115 120 122 126 131 135 137 138 139 141 149 152 155 156 157 170 172 175 176 177 181 182 184 187 188 195 198 199 200 204 209 216 219 220 221 224 234
a 7 9 11 14 15 22 23 25 27 29 32 40 41 42 46 49 55 60 61 63 65 67 74 79 85 86 90 93 98 99 101 102 104 105 107 108 113 115 122 126 131 135 137 138 139 141 149 152 155 156 157 170 172 175 176 177 179 181 182 184 187 188 195 198 199 200 204 209 216 219 220 221 224 234
a 7 11 14 15 22 23 25 27 29 32 40 41 42 46 49 55 60 61 63 65 67 74 79 85 86 90 93 98 99 101 102 104 105 107 108 113 115 120 122 126 131 135 137 138 139 141 149 152 155 156 157 170 172 175 176 177 179 181 182 184 187 188 195 198 199 200 204 209 216 219 220 221 224 234
a 7 11 14 15 22 23 25 27 29 32 40 41 42 46 49 55 60 61 63 65 67 74 79 85 86 90 93 98 99 101 102 104 105 107 108 113 115 120 122 126 131 135 137 138 139 141 149 152 155 156 157 170 172 175 176 177 179 181 182 184 187 188 195 198 199 200 204 209 216 217 219 220 221 224
a 7 11 14 15 22 23 25 27 29 32 40 41 42 46 49 55 60 61 63 65 67 74 79 85 86 90 93 95 98 99 101 102 104 105 107 108 115 120 122 126 131 135 137 138 139 141 149 152 155 156 157 170 172 175 176 177 179 181 182 184 187 188 195 198 199 200 204 209 216 217 219 220 221 224
a 7 11 14 15 22 23 25 27 29 32 40 41 42 46 49 55 60 61 63 65 67 74 79 85 86 90 93 95 98 99 101 102 104 105 107 108 115 120 122 124 126 131 135 137 138 139 141 149 152 155 156 157 170 172 175 176 177 179 181 182 184 187 188 195 198 199 200 204 209 216 217 219 221 224
a 7 11 14 15 22 23 25 27 29 32 40 41 42 46 49 55 60 61 63 65 67 74 79 85 86 90 93 95 98 99 101 102 104 105 107 108 115 120 122 124 126 131 135 137 138 139 141 149 152 155 156 157 170 172 175 176 177 179 181 182 184 187 188 195 198 199 200 204 209 217 219 220 221 224
a 7 11 14 15 22 23 25 27 29 32 40 41 42 46 49 55 60 61 63 65 67 74 79 85 86 90 93 95 98 99 101 102 104 105 107 108 113 115 120 122 124 126 131 135 137 138 139 141 149 152 155 156 157 170 172 175 176 177 179 181 182 184 187 188 195 198 199 200 204 209 217 219 220 221
a 7 11 14 15 22 23 25 27 29 32 40 41 42 46 49 55 60 61 63 65 67 74 79 85 86 90 95 98 99 101 102 104 105 107 108 113 115 120 122 124 126 131 135 137 138 139 141 149 152 155 156 157 170 172 175 176 177 179 181 182 184 187 188 195 198 199 200 204 209 216 217 219 220 221
a 7 11 14 15 22 23 25 27 29 32 40 41 42 46 49 55 60 61 63 65 67 74 79 85 86 90 93 95 98 99 101 102 104 105 107 108 113 115 120 122 124 126 131 135 137 138 139 141 149 152 155 156 157 170 172 175 176 177 179 181 182 184 187 188 195 198 199 200 204 209 216 219 220 221
a 7 11 15 22 23 25 27 29 32 40 41 42 46 49 55 60 61 63 65 67 74 79 85 86 90 93 95 98 99 101 102 104 105 107 108 113 115 120 122 124 126 131 135 137 138 139 141 149 152 155 156 157 170 172 175 176 177 179 181 182 184 187 188 195 198 199 200 204 209 216 217 219 220 221
a 7 11 15 22 23 25 27 29 32 40 41 42 46 49 55 60 61 63 65 67 74 79 85 86 90 93 95 98 99 101 102 104 105 107 108 113 115 120 122 124 126 131 135 137 138 139 141 149 152 155 156 157 170 172 175 176 177 179 181 182 184 187 188 193 195 198 199 200 204 209 216 217 220 221
a 7 11 15 22 23 25 27 29 30 32 40 41 42 46 49 55 60 61 63 65 67 74 79 85 86 90 93 95 98 99 101 102 104 105 107 108 113 115 120 122 124 126 131 135 137 138 139 141 149 152 155 156 157 170 172 175 176 177 179 181 182 184 187 188 193 195 198 199 200 204 209 216 217 220
a 7 11 14 15 22 23 25 27 29 30 32 40 41 42 46 49 55 60 61 63 65 67 74 79 85 86 90 93 95 98 99 101 102 104 105 107 108 113 115 120 122 124 126 131 135 137 138 139 141 149 152 155 156 157 170 172 175 176 177 179 181 182 187 188 193 195 198 199 200 204 209 216 217 220
a 7 11 14 15 22 23 25 27 29 30 32 40 41 42 46 49 55 60 61 63 65 67 74 79 85 86 90 93 95 98 99 101 102 104 105 107 108 113 115 120 122 124 126 131 135 137 138 139 141 149 152 155 156 157 170 172 175 176 177 179 181 182 187 188 193 195 198 199 200 209 216 217 220 224
a 7 11 15 22 23 25 27 29 30 32 40 41 42 46 49 55 60 61 63 65 67 74 79 85 86 90 93 95 98 99 101 102 104 105 107 108 113 115 120 122 124 126 131 135 137 138 139 141 149 152 155 156 157 170 172 175 176 177 179 181 182 184 187 188 193 195 198 199 200 209 216 217 220 224
a 7 11 15 22 23 25 27 29 30 32 40 41 42 46 49 55 60 61 63 65 67 74 79 85 86 90 93 95 98 99 101 102 104 105 107 108 113 115 120 122 124 126 131 135 137 138 139 141 149 152 155 156 157 170 172 175 176 177 179 181 182 184 187 188 193 195 198 199 200 204 209 216 217 224
a 7 11 15 22 23 25 27 29 30 32 40 41 42 46 49 55 60 61 63 65 67 74 79 85 86 90 93 95 98 99 101 102 104 105 107 108 113 115 120 122 124 126 131 135 137 138 139 141 149 152 155 156 157 170 172 175 176 177 179 181 182 184 187 188 193 195 198 200 204 209 216 217 220 224
a 11 15 22 23 25 27 29 30 32 40 41 42 46 49 55 60 61 63 65 67 74 79 85 86 90 93 95 98 99 101 102 104 105 107 108 113 115 120 122 124 126 131 135 137 138 139 141 149 152 155 156 157 170 172 175 176 177 179 181 182 184 187 188 193 195 198 199 200 204 209 216 217 220 224
a 7 11 15 22 23 25 27 29 30 32 40 41 42 46 49 55 60 61 65 67 74 79 85 86 90 93 95 98 99 101 102 104 105 107 108 113 115 120 122 124 126 131 135 137 138 139 141 149 152 155 156 157 170 172 175 176 177 179 181 182 184 187 188 193 195 198 199 200 204 209 216 217 220 224
a 7 11 14 22 23 25 27 29 30 32 40 41 42 46 49 55 60 61 65 67 74 79 85 86 90 93 95 98 99 101 102 104 105 107 108 113 115 120 122 124 126 131 135 137 138 139 141 149 152 155 156 157 170 172 175 176 177 179 181 182 184 187 188 193 195 198 199 200 204 209 216 217 220 224
a 7 11 14 22 23 25 27 29 32 40 41 42 46 49 55 60 61 65 67 74 79 85 86 90 93 95 98 99 101 102 104 105 107 108 113 115 120 122 124 126 131 135 137 138 139 141 149 152 155 156 157 170 172 175 176 177 179 181 182 184 187 188 193 195 198 199 200 204 209 216 217 220 221 224
a 7 13 14 22 23 25 27 29 32 40 41 42 46 49 55 60 61 65 67 74 79 85 86 90 93 95 98 99 101 102 104 105 107 108 113 115 120 122 124 126 131 135 137 138 139 141 149 152 155 156 157 170 172 175 176 177 179 181 182 184 187 188 193 195 198 199 200 204 209 216 217 220 221 224
a 7 13 14 22 23 24 25 27 29 32 40 41 42 46 49 55 60 61 65 67 74 79 85 86 90 93 95 98 99 101 102 104 107 108 113 115 120 122 124 126 131 135 137 138 139 141 149 152 155 156 157 170 172 175 176 177 179 181 182 184 187 188 193 195 198 199 200 204 209 216 217 220 221 224
a 7 14 22 23 24 25 27 29 32 40 41 42 46 49 55 60 61 63 65 67 74 79 85 86 90 93 95 98 99 101 102 104 107 108 113 115 120 122 124 126 131 135 137 138 139 141 149 152 155 156 157 170 172 175 176 177 179 181 182 184 187 188 193 195 198 199 200 204 209 216 217 220 221 224
a 7 14 15 22 23 24 25 27 29 32 40 41 42 46 49 55 60 61 63 65 67 74 79 85 86 90 93 95 98 99 101 102 104 107 108 113 115 120 122 124 126 131 135 137 138 139 141 149 152 155 156 157 170 172 175 176 177 179 181 182 184 187 188 193 195 198 199 200 204 209 216 217 220 221
a 7 13 14 15 22 23 24 25 27 29 32 40 41 42 46 49 55 60 61 63 65 67 74 79 85 86 90 93 95 98 99 101 102 104 107 108 113 115 120 122 124 126 131 135 137 138 139 141 149 152 155 156 157 170 172 175 176 177 179 181 182 184 187 188 193 195 198 199 200 204 209 216 217 221
a 7 9 13 14 15 22 23 24 25 27 29 32 40 41 42 46 49 55 60 61 63 65 67 74 79 85 86 90 93 95 98 99 101 102 104 107 108 113 115 120 122 124 126 131 135 137 138 139 141 149 152 155 156 157 170 172 175 176 177 179 181 182 184 187 188 193 195 198 199 200 204 209 216 217
a 7 9 13 14 15 22 23 24 25 27 29 32 40 41 42 46 49 55 60 61 63 65 67 74 79 85 86 90 93 95 98 99 101 102 104 107 108 113 115 120 122 124 126 131 135 137 138 139 141 149 152 155 156 157 163 170 172 175 176 177 179 181 184 187 188 193 195 198 199 200 204 209 216 217
a 9 13 14 15 22 23 24 25 27 29 32 40 41 42 46 49 55 60 61 63 65 67 74 79 85 86 90 93 95 98 99 101 102 104 107 108 113 115 120 122 124 126 131 135 137 138 139 141 149 152 155 156 157 163 170 172 175 176 177 179 181 184 187 188 193 195 198 199 200 204 209 216 217 220
a 9 13 14 15 22 23 24 25 27 29 32 40 41 42 46 49 55 60 61 63 65 67 74 79 85 86 90 93 95 98 99 101 102 104 107 108 113 115 120 122 124 126 131 135 137 138 139 141 149 152 155 156 157 163 170 172 175 176 177 179 181 184 187 188 193 195 198 199 200 204 209 217 220 221
a 9 13 14 15 22 23 24 25 27 29 32 40 41 42 46 49 55 60 61 63 65 67 74 79 85 86 93 95 98 99 101 102 104 107 108 113 115 120 122 124 126 131 135 137 138 139 141 143 149 152 155 156 157 163 170 172 175 176 177 179 181 184 187 188 193 195 198 199 200 204 209 217 220 221
a 9 13 14 15 20 22 23 24 25 27 29 32 40 41 42 46 49 55 60 61 63 65 67 74 79 85 86 93 95 98 99 101 102 104 107 108 115 120 122 124 126 131 135 137 138 139 141 143 149 152 155 156 157 163 170 172 175 176 177 179 181 184 187 188 193 195 198 199 200 204 209 217 220 221
a 7 9 13 14 15 20 22 23 24 25 27 29 32 40 41 42 46 49 55 60 61 63 65 67 74 79 85 86 93 95 98 99 101 102 104 107 108 115 120 122 124 126 131 135 137 138 139 141 143 149 152 155 156 157 163 170 172 175 176 177 179 181 184 187 188 193 195 198 199 200 204 209 217 221
a 7 9 13 14 15 20 22 23 24 25 29 32 40 41 42 46 49 55 60 61 63 65 67 74 79 85 86 93 95 98 99 101 102 104 107 108 115 120 122 124 126 131 135 137 138 139 141 143 149 152 155 156 157 163 170 172 175 176 177 179 181 184 187 188 193 195 198 199 200 204 209 217 220 221
a 7 9 13 14 15 20 22 23 24 25 27 29 32 40 41 42 46 49 55 60 63 65 67 74 79 85 86 93 95 98 99 101 102 104 107 108 115 120 122 124 126 131 135 137 138 139 141 143 149 152 155 156 157 163 170 172 175 176 177 179 181 184 187 188 193 195 198 199 200 204 209 217 220 221
a 7 9 14 15 20 22 23 24 25 27 29 32 40 41 42 46 49 55 60 63 65 67 74 79 85 86 93 95 98 99 101 102 104 107 108 115 120 122 124 126 131 135 137 138 139 141 143 149 152 155 156 157 163 170 172 175 176 177 179 181 184 187 188 193 195 198 199 200 204 209 216 217 220 221
a 7 9 14 15 20 22 23 24 25 27 29 32 40 41 42 46 49 55 60 63 65 67 74 79 85 86 90 93 95 98 99 101 102 104 107 108 115 120 122 124 126 131 135 137 138 139 141 149 152 155 156 157 163 170 172 175 176 177 179 181 184 187 188 193 195 198 199 200 204 209 216 217 220 221
a 7 9 14 15 20 22 23 24 25 27 29 32 40 41 42 46 49 55 60 63 65 67 74 79 85 86 90 93 95 98 99 101 102 104 107 108 115 120 122 124 126 131 135 137 138 139 141 149 152 155 156 157 170 172 175 176 177 179 181 184 187 188 193 195 198 199 200 204 209 216 217 220 221 224
a 7 9 14 15 20 22 23 24 25 27 29 32 40 41 42 46 49 55 60 61 63 65 67 74 79 85 86 90 93 95 98 99 101 102 104 107 108 115 120 122 124 126 131 135 137 138 139 141 149 152 155 156 157 170 172 175 176 177 179 181 184 187 188 193 195 198 199 200 204 209 216 217 220 224
a 7 9 14 15 20 22 23 24 25 27 29 32 40 41 42 46 49 55 60 61 63 65 67 74 79 85 86 90 93 95 98 99 101 102 104 107 108 115 120 122 124 126 131 135 137 138 139 141 149 152 155 156 157 163 170 172 175 176 177 179 181 184 187 188 193 195 198 199 200 204 209 216 217 220
a 7 9 14 15 20 22 23 24 25 27 29 30 32 40 41 42 46 49 60 61 63 65 67 74 79 85 86 90 93 95 98 99 101 102 104 107 108 115 120 122 124 126 131 135 137 138 139 141 149 152 155 156 157 163 170 172 175 176 177 179 181 184 187 188 193 195 198 199 200 204 209 216 217 220
a 7 9 13 14 15 20 22 23 24 25 27 29 30 32 40 41 42 46 49 60 61 63 65 67 74 79 85 86 90 93 95 98 99 101 104 107 108 115 120 122 124 126 131 135 137 138 139 141 149 152 155 156 157 163 170 172 175 176 177 179 181 184 187 188 193 195 198 199 200 204 209 216 217 220
a 7 9 13 14 15 20 22 23 24 25 27 29 30 32 40 41 42 46 49 60 61 63 65 67 74 79 85 86 90 93 95 98 99 101 102 104 107 108 115 120 122 124 126 131 135 137 138 139 141 149 152 155 156 157 163 170 172 175 176 179 181 184 187 188 193 195 198 199 200 204 209 216 217 220
a 7 9 13 14 15 20 22 23 24 25 27 29 30 32 40 41 42 46 49 60 61 63 65 67 74 79 85 86 90 93 95 98 99 101 102 104 107 108 115 120 122 124 126 131 135 137 138 139 141 149 152 155 156 157 163 170 172 175 176 177 179 181 184 187 193 195 198 199 200 204 209 216 217 220
a 9 13 14 15 20 22 23 24 25 27 29 30 32 40 41 42 46 49 60 61 63 65 67 74 79 82 85 86 90 93 95 98 99 101 102 104 107 108 115 120 122 124 126 131 135 137 138 139 141 149 152 155 156 157 163 170 172 175 176 177 179 181 184 187 193 195 198 199 200 204 209 216 217 220
a 9 14 15 20 22 23 24 25 27 29 30 32 40 41 42 46 49 55 60 61 63 65 67 74 79 82 85 86 90 93 95 98 99 101 102 104 107 108 115 120 122 124 126 131 135 137 138 139 141 149 152 155 156 157 163 170 172 175 176 177 179 181 184 187 193 195 198 199 200 204 209 216 217 220
a 14 15 20 22 23 24 25 27 29 30 32 40 41 42 46 49 55 60 61 63 65 67 74 79 82 85 86 90 93 95 98 99 101 102 104 107 108 115 120 122 124 126 131 135 137 138 139 141 149 152 155 156 157 163 170 172 175 176 177 179 181 184 187 193 195 198 199 200 204 209 216 217 220 224
a 9 14 15 20 22 23 24 25 27 29 30 32 40 41 42 46 49 55 60 61 63 65 67 74 79 82 85 86 90 93 98 99 101 102 104 107 108 115 120 122 124 126 131 135 137 138 139 141 149 152 155 156 157 163 170 172 175 176 177 179 181 184 187 193 195 198 199 200 204 209 216 217 220 224
a 9 14 15 20 22 23 24 25 27 29 30 32 40 41 42 46 49 55 60 61 63 65 67 74 79 82 85 86 90 93 98 99 102 104 107 108 115 120 122 124 126 131 135 137 138 139 141 149 152 155 156 157 163 170 172 175 176 177 179 181 184 187 188 193 195 198 199 200 204 209 216 217 220 224
a 9 14 15 20 22 23 24 25 27 29 30 32 40 41 42 46 49 55 60 61 63 65 67 74 79 82 85 86 90 93 95 98 99 102 104 107 108 115 120 122 124 126 131 135 137 138 139 141 149 152 155 156 157 163 170 172 175 176 177 179 181 184 187 188 193 195 198 199 200 204 209 216 217 220
a 9 14 15 20 22 23 24 25 27 29 30 32 40 41 42 46 49 55 60 61 63 65 67 74 77 79 82 85 86 90 93 95 98 99 102 104 107 115 120 122 124 126 131 135 137 138 139 141 149 152 155 156 157 163 170 172 175 176 177 179 181 184 187 188 193 195 198 199 200 204 209 216 217 220
a 9 14 15 20 22 23 24 25 27 29 30 32 40 41 42 46 49 55 60 61 63 65 67 71 74 77 79 82 85 86 90 93 95 98 99 102 104 107 115 120 122 124 126 131 135 137 139 141 149 152 155 156 157 163 170 172 175 176 177 179 181 184 187 188 193 195 198 199 200 204 209 216 217 220
a 14 15 20 22 23 24 25 27 29 30 32 40 41 42 46 49 55 60 61 63 65 67 71 74 77 79 82 85 86 90 93 95 98 99 101 102 104 107 115 120 122 124 126 131 135 137 139 141 149 152 155 156 157 163 170 172 175 176 177 179 181 184 187 188 193 195 198 199 200 204 209 216 217 220
a 14 15 20 22 23 24 25 27 29 30 32 40 41 42 46 49 55 60 61 63 65 67 71 74 77 79 82 84 85 86 90 93 95 98 99 101 102 104 107 115 120 122 124 126 131 135 137 139 141 149 152 155 156 157 163 170 172 175 176 177 179 181 184 187 188 193 195 198 199 200 204 209 217 220
a 15 20 22 23 24 25 27 29 30 32 40 41 42 46 49 55 60 61 63 65 67 71 74 77 79 82 84 85 86 90 93 95 98 99 101 102 104 107 115 120 122 124 126 131 135 137 139 141 149 152 155 156 157 163 170 172 175 176 177 179 181 184 187 188 193 195 198 199 200 204 209 217 220 224
a 15 20 22 23 25 27 29 30 32 40 41 42 46 49 55 60 61 63 65 67 71 74 77 79 82 84 85 86 90 93 95 98 99 101 102 104 105 107 115 120 122 124 126 131 135 137 139 141 149 152 155 156 157 163 170 172 175 176 177 179 181 184 187 188 193 195 198 199 200 204 209 217 220 224
a 14 15 20 22 23 25 27 29 30 32 40 41 42 46 49 55 60 61 63 65 67 71 74 77 79 82 84 85 86 90 93 95 98 99 101 102 104 105 107 115 120 122 124 126 131 135 137 139 141 149 152 155 156 157 163 172 175 176 177 179 181 184 187 188 193 195 198 199 200 204 209 217 220 224
a 14 15 20 22 23 25 27 29 30 32 40 41 42 46 49 55 60 61 63 65 67 71 74 77 79 82 84 85 86 90 93 95 99 101 102 104 105 107 115 120 122 124 126 131 135 137 139 141 149 152 155 156 157 163 170 172 175 176 177 179 181 184 187 188 193 195 198 199 200 204 209 217 220 224
a 14 15 20 22 23 25 27 29 30 40 41 42 46 49 55 60 61 63 65 67 71 74 77 79 82 84 85 86 90 93 95 98 99 101 102 104 105 107 115 120 122 124 126 131 135 137 139 141 149 152 155 156 157 163 170 172 175 176 177 179 181 184 187 188 193 195 198 199 200 204 209 217 220 224
a 14 15 20 22 23 25 27 29 30 32 40 41 42 46 49 55 60 61 63 65 67 71 74 77 79 82 84 85 86 90 93 95 98 99 101 102 104 105 107 115 120 122 124 126 131 135 137 139 141 149 152 155 156 157 170 172 175 176 177 179 181 184 187 188 193 195 198 199 200 204 209 217 220 224
a 14 15 20 22 23 25 27 29 30 32 40 41 42 46 55 60 61 63 65 67 71 74 77 79 82 84 85 86 90 93 95 98 99 101 102 104 105 107 115 120 122 124 126 131 135 137 139 141 149 152 155 156 157 163 170 172 175 176 177 179 181 184 187 188 193 195 198 199 200 204 209 217 220 224
a 13 14 20 22 23 25 27 29 30 32 40 41 42 46 55 60 61 63 65 67 71 74 77 79 82 84 85 86 90 93 95 98 99 101 102 104 105 107 115 120 122 124 126 131 135 137 139 141 149 152 155 156 157 163 170 172 175 176 177 179 181 184 187 188 193 195 198 199 200 204 209 217 220 224
a 4 13 14 20 22 23 25 27 29 30 32 40 41 42 46 55 60 61 63 65 67 71 74 77 79 82 84 85 86 90 93 95 98 101 102 104 105 107 115 120 122 124 126 131 135 137 139 141 149 152 155 156 157 163 170 172 175 176 177 179 181 184 187 188 193 195 198 199 200 204 209 217 220 224
a 2 4 13 14 20 22 23 25 27 29 30 32 40 41 42 46 55 60 61 63 65 67 71 74 77 79 82 84 85 86 90 93 95 98 101 102 104 105 107 115 120 122 124 126 131 135 137 139 141 149 152 155 156 157 163 170 172 175 176 177 179 181 184 187 188 193 195 198 199 200 204 209 220 224
a 2 4 13 14 20 22 23 27 29 30 32 40 41 42 46 55 60 61 63 65 67 71 74 77 79 82 84 85 86 87 90 93 95 98 101 102 104 105 107 115 120 122 124 126 131 135 137 139 141 149 152 155 156 157 163 170 172 175 176 177 179 181 184 187 188 193 195 198 199 200 204 209 220 224
a 2 4 13 14 20 22 23 27 30 32 40 41 42 46 55 60 61 63 65 67 71 74 77 79 82 84 85 86 87 90 93 95 98 101 102 104 105 107 115 120 122 124 126 131 135 137 139 141 149 152 155 156 157 163 170 172 175 176 177 179 181 184 187 188 193 195 198 199 200 204 209 220 223 224
a 2 4 13 14 20 22 23 27 30 32 40 41 46 55 60 61 63 65 67 71 74 77 79 82 84 85 86 87 90 93 95 98 101 102 104 105 107 115 120 122 124 126 131 135 137 139 141 142 149 152 155 156 157 163 170 172 175 176 177 179 181 184 187 188 193 195 198 199 200 204 209 220 223 224
a 2 4 13 14 20 22 23 27 30 32 40 41 46 55 60 61 63 65 67 71 74 77 79 82 84 85 86 87 90 93 95 98 101 102 104 105 107 115 120 122 124 126 131 135 137 139 141 142 149 152 155 156 157 163 170 172 175 176 177 179 181 184 187 188 195 198 199 200 204 209 219 220 223 224
a 2 4 13 14 20 22 23 27 30 32 40 41 46 55 60 61 63 65 67 71 74 77 79 82 84 85 86 87 90 93 95 98 101 102 105 107 115 120 122 124 126 131 135 137 139 141 142 149 152 155 156 157 163 170 172 175 176 177 179 181 184 187 188 195 198 199 200 204 209 219 220 223 224 227
a 2 4 13 14 19 20 22 23 27 30 32 40 41 46 55 60 61 63 65 67 71 74 77 79 82 84 85 87 90 93 95 98 101 102 105 107 115 120 122 124 126 131 135 137 139 141 142 149 152 155 156 157 163 170 172 175 176 177 179 181 184 187 188 195 198 199 200 204 209 219 220 223 224 227
a 2 4 13 14 19 20 22 23 27 30 32 38 40 41 46 55 60 61 63 65 67 71 74 77 79 82 84 85 87 90 93 95 98 101 102 105 107 115 120 122 124 126 131 135 137 139 141 142 149 152 155 156 157 163 170 172 175 176 177 179 181 184 187 188 195 198 199 200 209 219 220 223 224 227
a 2 4 13 14 19 20 22 23 27 30 32 38 40 41 46 55 60 61 63 65 67 71 74 77 79 82 84 85 87 90 93 95 98 101 102 105 107 115 120 122 124 126 127 131 135 137 139 141 142 149 152 155 156 157 163 170 172 175 176 177 179 181 184 187 188 195 198 199 200 209 219 220 223 227
a 2 4 13 14 19 20 22 23 27 30 32 38 40 41 46 55 60 61 63 65 67 71 74 77 79 82 84 85 87 90 93 95 98 101 102 105 107 115 120 122 124 126 127 131 135 137 139 141 142 149 152 155 156 157 163 168 170 172 175 176 177 179 181 184 187 188 195 198 199 200 209 219 223 227
a 2 4 13 14 19 20 22 23 27 30 32 38 40 41 46 60 61 63 65 67 71 74 77 79 82 84 85 87 90 93 95 98 100 101 102 105 107 115 120 122 124 126 127 131 135 137 139 141 142 149 152 155 156 157 163 168 170 172 175 176 177 179 181 184 187 188 195 198 199 200 209 219 223 227
a 2 4 6 13 14 19 20 22 23 27 30 32 38 40 41 46 60 61 63 65 67 71 74 77 79 82 84 85 87 90 93 95 98 100 101 102 105 107 115 120 122 124 126 127 131 135 137 139 141 142 149 152 155 156 157 163 168 170 172 175 176 179 181 184 187 188 195 198 199 200 209 219 223 227
a 2 4 6 13 14 19 22 23 27 30 32 38 40 41 46 60 61 63 65 67 71 74 77 79 82 84 85 87 90 93 95 98 100 101 102 105 107 113 115 120 122 124 126 127 131 135 137 139 141 142 149 152 155 156 157 163 168 170 172 175 176 179 181 184 187 188 195 198 199 200 209 219 223 227
a 2 4 6 13 14 19 22 23 27 30 32 38 40 41 46 47 60 61 63 65 67 71 74 77 79 82 84 85 87 90 93 95 98 100 101 102 105 107 113 115 120 122 124 126 127 131 135 137 139 141 142 149 152 155 156 157 163 168 170 172 175 176 179 181 184 187 188 195 198 199 200 219 223 227
a 2 4 6 13 14 19 22 23 27 30 32 38 40 41 46 47 60 61 63 65 67 71 74 77 79 82 84 85 87 90 93 95 98 100 101 102 105 107 113 115 120 122 124 126 127 131 135 136 137 139 141 142 149 152 155 157 163 168 170 172 175 176 179 181 184 187 188 195 198 199 200 219 223 227
a 2 4 6 13 14 19 22 23 30 32 38 40 41 46 47 60 61 63 65 67 71 74 77 79 82 84 85 87 90 93 95 98 100 101 102 105 107 113 115 120 122 124 126 127 131 135 136 137 139 141 142 149 152 155 157 163 168 170 172 175 176 179 181 184 186 187 188 195 198 199 200 219 223 227
a 2 4 6 13 14 19 22 23 30 32 38 40 41 46 47 60 61 63 65 67 71 74 77 79 82 84 85 87 90 93 95 98 100 101 102 105 107 113 115 120 122 124 126 127 131 135 136 137 139 141 142 149 152 155 157 159 163 168 170 175 176 179 181 184 186 187 188 195 198 199 200 219 223 227
a 2 4 6 13 14 19 22 23 30 32 38 40 41 46 47 60 61 63 65 67 71 74 77 79 82 84 85 87 90 93 95 98 100 101 102 105 107 113 115 120 122 124 126 127 131 135 136 137 139 140 141 142 149 152 155 157 159 168 170 175 176 179 181 184 186 187 188 195 198 199 200 219 223 227
a 2 4 6 13 14 19 22 23 30 32 38 40 41 46 47 60 61 63 65 67 71 74 77 79 82 84 85 87 93 95 98 100 101 102 105 107 113 115 120 122 124 126 127 131 135 136 137 139 140 141 142 149 152 155 157 159 168 170 175 176 179 181 184 186 187 188 195 198 199 200 219 223 227 228
a 2 4 6 13 14 19 22 23 30 32 38 40 41 46 47 60 61 65 67 71 74 77 79 82 84 85 87 93 95 98 100 101 102 105 107 113 115 120 122 124 126 127 131 135 136 137 139 140 141 142 149 152 155 157 159 161 168 170 175 176 179 181 184 186 187 188 195 198 199 200 219 223 227 228
a 2 4 6 13 14 19 22 30 32 38 40 41 46 47 60 61 65 67 71 74 77 79 82 84 85 87 93 95 98 100 101 102 105 107 113 115 120 122 124 126 127 131 135 136 137 139 140 141 142 143 149 152 155 157 159 161 168 170 175 176 179 181 184 186 187 188 195 198 199 200 219 223 227 228
a 2 4 6 13 14 19 22 30 32 38 40 41 46 47 60 61 65 67 71 74 77 79 82 84 85 87 93 95 98 100 101 102 105 107 113 115 120 122 124 126 127 131 135 136 137 139 140 141 142 143 149 151 152 155 157 159 161 168 175 176 179 181 184 186 187 188 195 198 199 200 219 223 227 228
a 2 4 6 13 14 19 22 30 32 38 40 41 46 47 58 60 61 65 67 71 74 77 79 82 84 85 87 93 95 98 100 101 102 105 107 113 115 120 122 124 126 127 131 135 136 137 139 140 141 142 143 149 151 152 155 157 159 161 168 175 176 179 181 186 187 188 195 198 199 200 219 223 227 228
a 2 4 6 13 14 19 22 30 32 38 40 41 45 46 47 58 60 61 65 71 74 77 79 82 84 85 87 93 95 98 100 101 102 105 107 113 115 120 122 124 126 127 131 135 136 137 139 140 141 142 143 149 151 152 155 157 159 161 168 175 176 179 181 186 187 188 195 198 199 200 219 223 227 228
a 2 4 6 13 14 19 22 30 32 38 40 41 45 46 47 58 60 61 65 71 74 77 79 82 84 85 87 93 95 98 100 101 102 105 107 113 115 120 124 126 127 131 135 136 137 139 140 141 142 143 149 151 152 155 157 159 161 168 174 175 176 179 181 186 187 188 195 198 199 200 219 223 227 228
a 2 4 6 14 19 22 30 32 38 40 41 45 46 47 58 60 61 65 71 74 77 79 82 84 85 87 88 93 95 98 100 101 102 105 107 113 115 120 124 126 127 131 135 136 137 139 140 141 142 143 149 151 152 155 157 159 161 168 174 175 176 179 181 186 187 188 195 198 199 200 219 223 227 228
a 2 4 6 14 19 22 30 32 38 40 41 45 46 47 58 60 61 65 71 74 77 79 82 84 85 87 88 93 95 98 100 101 102 105 107 113 115 120 124 126 127 131 135 136 137 139 140 141 142 143 149 151 152 154 155 157 159 161 168 174 175 176 179 181 186 187 188 195 198 200 219 223 227 228
a 2 4 6 14 19 22 30 32 38 40 41 45 46 47 58 60 61 65 71 74 77 79 82 84 85 87 88 93 95 96 98 100 101 102 105 107 113 115 120 124 126 127 131 135 136 137 139 140 141 142 143 149 151 152 154 155 157 159 161 168 174 176 179 181 186 187 188 195 198 200 219 223 227 228
a 2 4 6 14 19 22 30 32 38 40 41 45 46 47 58 60 61 65 71 74 77 79 82 84 85 87 88 93 95 96 98 100 101 102 105 107 113 115 124 126 127 130 131 135 136 137 139 140 141 142 143 149 151 152 154 155 157 159 161 168 174 176 179 181 186 187 188 195 198 200 219 223 227 228
a 2 4 6 14 19 30 32 38 40 41 45 46 47 58 60 61 65 71 74 77 79 82 84 85 87 88 93 95 96 98 100 101 102 105 107 111 113 115 124 126 127 130 131 135 136 137 139 140 141 142 143 149 151 152 154 155 157 159 161 168 174 176 179 181 186 187 188 195 198 200 219 223 227 228
a 2 4 6 14 19 30 32 38 40 41 45 46 47 58 60 61 65 71 74 77 79 82 84 85 87 88 93 95 96 100 101 102 105 107 111 113 115 119 124 126 127 130 131 135 136 137 139 140 141 142 143 149 151 152 154 155 157 159 161 168 174 176 179 181 186 187 188 195 198 200 219 223 227 228
a 2 4 6 14 19 30 32 38 40 41 45 46 47 58 60 61 65 71 74 77 79 82 84 85 87 88 93 95 96 100 101 102 105 107 111 113 115 119 124 126 127 130 131 136 137 139 140 141 142 143 149 151 152 154 155 157 159 161 168 174 176 179 181 186 187 188 195 198 200 218 219 223 227 228
a 2 4 6 14 19 30 32 38 40 41 45 46 47 58 60 61 65 71 74 77 79 82 84 85 87 88 93 95 96 100 101 102 105 107 111 113 115 119 124 127 130 131 136 137 139 140 141 142 143 149 151 152 154 155 157 159 161 168 174 176 179 181 186 187 188 195 198 200 213 218 219 223 227 228
a 2 4 6 14 19 30 32 38 40 41 45 46 47 58 60 61 65 71 74 77 79 82 84 85 87 88 93 95 96 100 101 102 105 107 111 113 115 119 124 127 130 131 136 137 139 140 141 142 143 149 151 154 155 157 159 161 166 168 174 176 179 181 186 187 188 195 198 200 213 218 219 223 227 228
a 2 4 6 14 19 30 32 38 40 41 45 46 47 58 60 61 65 71 74 77 79 82 84 85 87 88 93 95 96 100 101 102 105 107 111 113 115 119 124 127 130 131 136 137 139 140 141 142 143 149 151 154 155 157 159 161 166 167 168 174 176 179 186 187 188 195 198 200 213 218 219 223 227 228
a 2 4 6 14 19 30 32 38 40 41 45 46 47 58 60 61 65 71 74 77 79 84 85 87 88 89 93 95 96 100 101 102 105 107 111 113 115 119 124 127 130 131 136 137 139 140 141 142 143 149 151 154 155 157 159 161 166 167 168 174 176 179 186 187 188 195 198 200 213 218 219 223 227 228
a 2 4 6 14 19 30 32 38 40 41 45 46 47 58 60 61 65 71 74 77 79 84 85 87 88 89 95 96 100 101 102 105 107 111 113 115 119 124 127 130 131 136 137 139 140 141 142 143 149 151 154 155 157 159 161 166 167 168 174 176 179 186 187 188 195 198 200 212 213 218 219 223 227 228
a 2 4 6 14 19 30 32 38 40 41 45 46 47 58 60 61 65 71 74 77 79 84 87 88 89 95 96 100 101 102 105 107 111 113 115 119 124 127 130 131 136 137 139 140 141 142 143 149 151 154 155 157 159 161 166 167 168 174 176 179 183 186 187 188 195 198 200 212 213 218 219 223 227 228
a 2 4 6 14 19 30 32 38 40 41 45 46 47 58 60 61 65 71 74 77 79 84 87 88 89 95 96 100 101 102 105 107 111 113 115 119 124 127 130 131 136 137 139 140 141 142 143 149 151 154 157 159 161 166 167 168 174 176 179 183 186 187 188 195 198 200 207 212 213 218 219 223 227 228
a 2 4 6 14 19 30 32 38 40 41 45 46 47 58 60 61 65 71 74 77 79 84 87 88 89 95 96 100 101 102 105 107 111 113 115 119 124 127 130 131 136 137 140 141 142 143 149 151 154 157 159 161 166 167 168 174 176 179 183 186 187 188 195 198 200 207 212 213 218 219 223 227 228 229
a 2 3 4 6 14 19 30 32 38 40 41 45 46 47 58 60 61 65 71 74 77 79 84 87 88 89 95 96 100 101 102 105 111 113 115 119 124 127 130 131 136 137 140 141 142 143 149 151 154 157 159 161 166 167 168 174 176 179 183 186 187 188 195 198 200 207 212 213 218 219 223 227 228 229
a 2 3 4 6 14 19 30 32 38 39 40 41 45 46 47 58 60 61 65 71 74 77 79 84 87 88 89 95 96 100 101 102 105 111 113 115 119 124 127 130 131 136 137 140 141 142 143 149 151 154 157 159 161 166 167 168 174 176 179 183 186 187 195 198 200 207 212 213 218 219 223 227 228 229
a 2 3 4 6 14 19 28 30 32 38 39 40 41 45 46 47 58 60 61 65 71 74 77 79 84 87 88 89 95 96 100 101 102 105 111 113 115 119 124 127 130 131 136 140 141 142 143 149 151 154 157 159 161 166 167 168 174 176 179 183 186 187 195 198 200 207 212 213 218 219 223 227 228 229
a 2 3 4 6 14 19 28 30 32 38 39 40 41 45 46 47 58 61 65 71 74 77 79 84 87 88 89 95 96 100 101 102 105 111 113 115 119 124 127 130 131 136 140 141 142 143 148 149 151 154 157 159 161 166 167 168 174 176 179 183 186 187 195 198 200 207 212 213 218 219 223 227 228 229
c Step: 141
#END: [Tue Sep  5 02:24:29 2023]