#BEGIN: [Tue Sep 26 06:10:51 2023]
#HOST: s08
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-wallclock-banbaralab-longest1
#INSTANCE1: /benchmark/random_instance/random_instance021_graph001.col
#INSTANCE2: /benchmark/random_instance/random_instance021_graph001_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_instance021_graph001.col /benchmark/random_instance/random_instance021_graph001_01.dat
c /benchmark/random_instance/random_instance021_graph001.col
c /benchmark/random_instance/random_instance021_graph001_01.dat
TIMEOUT 1800
c send SIGTERM to CID 2887dcca6f58ab3b69d9b165590a5b362f1285788c624ead6ab83296a28a11ee
s 222 28 74 105 49 248 165 52 208 197 17 55 143 175 255 83 209 100 247 109 162 90 189 179 75 96 19 163 12 136 29 76 218 148 50 137 225 164 89 181 45 23 156 223 115 33 217 231 158 9 4 235 120 42 41 37 111 251 144 53 108 25 272 154 146 118 133 7 155 244 184 107 198 92 190 121 99 267 224 268 169 20 228 211 79 87 236 54 57 207 69
t 138 14 249 25 189 144 8 36 179 98 63 263 134 213 146 28 40 230 200 48 45 188 205 160 170 99 171 106 248 103 74 175 13 125 42 37 105 80 209 79 240 159 70 94 4 266 38 78 3 35 236 101 243 132 261 224 1 163 221 267 177 165 187 182 262 137 211 164 111 5 29 173 169 51 145 225 154 112 126 152 141 115 245 208 117 190 16 161 114 244 217
a YES
a 4 7 9 12 17 19 20 23 25 28 29 33 37 41 42 45 49 50 52 53 54 55 57 69 74 75 76 79 83 87 89 90 92 96 99 100 105 107 108 109 111 115 118 120 121 133 136 137 143 144 146 148 154 155 156 158 162 163 164 165 169 175 179 181 184 189 190 197 198 207 208 209 211 217 218 222 223 224 225 228 231 235 236 244 247 248 251 255 267 268 272
a 4 7 8 9 12 17 19 20 23 25 28 29 33 37 41 42 45 49 52 53 54 55 57 69 74 75 76 79 83 87 89 90 92 96 99 100 105 107 108 109 111 115 118 120 121 133 136 137 143 144 146 148 154 155 156 158 162 163 164 165 169 175 179 181 184 189 190 197 198 207 208 209 211 217 218 222 223 224 225 228 231 235 236 244 247 248 251 255 267 268 272
a 4 5 7 8 9 12 17 20 23 25 28 29 33 37 41 42 45 49 52 53 54 55 57 69 74 75 76 79 83 87 89 90 92 96 99 100 105 107 108 109 111 115 118 120 121 133 136 137 143 144 146 148 154 155 156 158 162 163 164 165 169 175 179 181 184 189 190 197 198 207 208 209 211 217 218 222 223 224 225 228 231 235 236 244 247 248 251 255 267 268 272
a 4 5 7 8 9 12 17 20 25 28 29 33 36 37 41 42 45 49 52 53 54 55 57 69 74 75 76 79 83 87 89 90 92 96 99 100 105 107 108 109 111 115 118 120 121 133 136 137 143 144 146 148 154 155 156 158 162 163 164 165 169 175 179 181 184 189 190 197 198 207 208 209 211 217 218 222 223 224 225 228 231 235 236 244 247 248 251 255 267 268 272
a 4 5 7 8 9 12 17 20 25 28 29 33 36 37 41 42 45 49 52 53 54 55 57 69 74 75 76 79 83 87 89 90 92 96 99 100 105 107 108 109 111 115 118 120 121 133 136 137 143 144 146 148 154 155 156 158 162 163 164 165 169 175 179 181 184 189 190 192 197 198 207 208 209 211 217 218 222 223 224 225 228 231 235 236 244 247 248 255 267 268 272
a 4 5 7 9 12 17 20 25 28 29 33 36 37 41 42 45 49 50 52 53 54 55 57 69 74 75 76 79 83 87 89 90 92 96 99 100 105 107 108 109 111 115 118 120 121 133 136 137 143 144 146 148 154 155 156 158 162 163 164 165 169 175 179 181 184 189 190 192 197 198 207 208 209 211 217 218 222 223 224 225 228 231 235 236 244 247 248 255 267 268 272
a 4 5 7 9 12 17 20 25 28 29 33 36 37 41 42 45 49 50 52 53 54 55 57 69 74 75 76 79 83 87 89 90 92 96 99 100 105 107 108 109 111 115 118 120 121 133 136 137 143 144 146 148 154 155 156 158 162 163 164 165 169 175 176 179 181 184 189 190 192 197 198 207 208 209 211 217 218 222 223 224 225 228 231 236 244 247 248 255 267 268 272
a 4 5 7 9 12 17 20 25 28 29 33 36 37 41 42 45 49 50 52 53 54 55 57 69 74 75 76 79 83 87 89 90 92 96 99 100 105 107 108 109 111 115 118 120 121 133 136 137 143 144 146 148 154 155 156 158 162 163 164 165 169 175 176 179 181 182 184 189 190 192 197 198 208 209 211 217 218 222 223 224 225 228 231 236 244 247 248 255 267 268 272
a 4 5 7 9 12 17 20 25 28 29 33 36 37 41 42 45 49 50 52 53 54 55 57 69 74 75 76 79 83 87 89 90 92 96 99 100 105 107 108 109 111 115 118 120 121 133 136 137 143 144 146 148 154 155 156 158 162 163 164 165 169 175 176 179 181 182 184 189 190 192 197 198 208 209 211 218 222 223 224 225 228 231 232 236 244 247 248 255 267 268 272
a 4 5 7 8 9 12 17 20 25 28 29 33 36 37 41 42 45 49 52 53 54 55 57 69 74 75 76 79 83 87 89 90 92 96 99 100 105 107 108 109 111 115 118 120 121 133 136 137 143 144 146 148 154 155 156 158 162 163 164 165 169 175 176 179 181 182 184 189 190 192 197 198 208 209 211 218 222 223 224 225 228 231 232 236 244 247 248 255 267 268 272
a 4 5 7 8 9 12 17 20 25 28 29 33 36 37 41 42 45 49 52 53 54 55 57 69 74 75 76 79 83 87 89 90 92 96 99 100 105 107 108 109 111 115 118 120 121 133 136 137 143 144 146 148 154 155 156 158 162 163 164 165 169 175 176 179 181 184 189 190 192 197 198 207 208 209 211 218 222 223 224 225 228 231 232 236 244 247 248 255 267 268 272
a 4 5 7 8 9 12 17 20 25 28 29 33 36 37 41 42 45 48 49 52 53 54 55 57 69 74 75 76 79 83 87 89 90 92 96 99 100 105 107 108 109 111 115 118 121 133 136 137 143 144 146 148 154 155 156 158 162 163 164 165 169 175 176 179 181 184 189 190 192 197 198 207 208 209 211 218 222 223 224 225 228 231 232 236 244 247 248 255 267 268 272
a 4 5 7 8 9 12 17 20 25 28 29 33 36 37 41 42 45 48 49 52 53 54 55 57 69 74 75 76 79 83 87 89 90 92 96 99 100 105 107 108 109 111 115 118 121 133 136 137 143 144 146 148 154 155 156 158 162 163 164 165 169 175 179 181 184 189 190 192 197 198 207 208 209 211 218 222 223 224 225 228 231 232 235 236 244 247 248 255 267 268 272
a 4 5 7 8 9 12 17 20 25 28 29 33 36 37 41 42 45 48 49 52 53 54 55 57 69 74 75 76 79 87 89 90 92 96 99 100 105 107 108 109 111 115 118 121 133 136 137 143 144 146 148 152 154 155 156 158 162 163 164 165 169 175 179 181 184 189 190 192 197 198 207 208 209 211 218 222 223 224 225 228 231 232 235 236 244 247 248 255 267 268 272
a 5 7 8 9 12 17 20 25 28 29 33 36 37 41 42 45 48 49 52 53 54 55 57 69 74 75 76 79 87 89 90 92 96 99 100 105 107 108 109 111 115 118 121 133 136 137 143 144 146 148 152 154 155 156 158 162 163 164 165 169 175 179 181 184 189 190 192 197 198 207 208 209 211 218 222 223 224 225 228 231 232 235 236 244 247 248 255 267 268 271 272
a 5 7 8 9 12 17 20 25 28 29 33 36 37 41 42 45 49 52 53 54 55 57 69 74 75 76 79 87 89 90 92 96 99 100 105 107 108 109 111 115 118 120 121 133 136 137 143 144 146 148 152 154 155 156 158 162 163 164 165 169 175 179 181 184 189 190 192 197 198 207 208 209 211 218 222 223 224 225 228 231 232 235 236 244 247 248 255 267 268 271 272
a 4 5 7 8 9 12 17 20 25 28 29 33 36 37 41 42 45 49 52 53 54 55 57 69 74 75 76 79 87 89 90 92 96 99 100 105 107 108 109 111 115 118 120 121 133 136 137 143 144 146 148 152 154 155 156 158 162 163 164 169 175 179 181 184 189 190 192 197 198 207 208 209 211 218 222 223 224 225 228 231 232 235 236 244 247 248 255 267 268 271 272
a 4 5 7 8 9 12 17 20 25 28 29 33 36 37 41 42 45 49 52 53 54 55 57 69 74 75 76 79 87 89 90 92 96 99 100 105 107 108 109 111 115 118 120 121 133 136 137 143 144 146 148 152 154 155 156 158 162 163 164 169 175 179 181 184 189 190 197 198 207 208 209 211 218 222 223 224 225 228 231 232 235 236 244 247 248 251 255 267 268 271 272
a 4 5 7 8 9 12 17 20 25 28 29 33 36 37 41 42 45 49 52 53 54 55 57 69 74 75 76 79 87 89 90 92 96 99 100 105 107 108 109 111 118 120 121 133 136 137 143 144 146 148 152 154 155 156 158 162 163 164 165 169 175 179 181 184 189 190 197 198 207 208 209 211 218 222 223 224 225 228 231 232 235 236 244 247 248 251 255 267 268 271 272
a 4 5 7 8 9 12 17 20 25 28 29 33 36 37 41 42 45 49 52 53 54 55 57 69 74 75 76 79 87 89 90 92 96 99 100 105 107 108 109 111 115 118 120 121 133 136 137 143 144 146 148 152 154 155 156 158 162 163 164 165 169 175 179 181 184 189 190 197 198 207 208 209 211 218 222 223 224 225 228 231 232 235 236 244 247 251 255 267 268 271 272
a 4 5 7 8 9 12 17 20 25 28 29 33 36 37 41 42 45 49 52 53 54 55 57 69 74 75 76 79 87 90 92 96 99 100 105 107 108 109 111 115 118 120 121 133 136 137 143 144 146 148 152 154 155 156 158 162 163 164 165 169 175 179 181 184 189 190 197 198 207 208 209 211 218 222 223 224 225 228 231 232 235 236 244 247 248 251 255 267 268 271 272
a 4 5 7 8 9 12 17 20 25 28 29 33 36 37 41 42 45 49 52 53 54 55 57 69 74 75 76 79 87 92 96 99 100 105 107 108 109 111 115 118 120 121 133 136 137 143 144 145 146 148 152 154 155 156 158 162 163 164 165 169 175 179 181 184 189 190 197 198 207 208 209 211 218 222 223 224 225 228 231 232 235 236 244 247 248 251 255 267 268 271 272
a 4 5 7 8 9 12 17 20 25 28 29 33 36 37 41 42 45 49 52 53 54 55 57 69 74 75 76 79 87 92 96 99 100 105 107 108 109 111 115 118 120 121 131 133 136 137 143 144 145 146 148 152 154 155 156 158 162 163 164 165 169 175 179 181 184 189 190 197 198 207 208 209 211 218 222 223 224 225 228 231 235 236 244 247 248 251 255 267 268 271 272
a 4 5 7 9 12 17 20 25 28 29 33 36 37 41 42 45 49 52 53 54 55 57 69 74 75 76 79 87 92 96 99 100 105 107 108 109 111 115 118 120 121 131 133 136 137 143 144 145 146 148 152 154 155 156 158 162 163 164 165 169 175 179 181 184 189 190 197 198 207 208 209 211 218 222 223 224 225 228 231 232 235 236 244 247 248 251 255 267 268 271 272
a 5 7 9 12 17 20 25 28 29 33 36 37 41 42 45 49 52 53 54 55 57 69 74 75 76 79 87 92 96 99 100 105 107 108 109 111 115 118 120 121 131 133 136 137 140 143 144 145 146 148 152 154 155 156 158 162 163 164 165 169 175 179 181 184 189 190 197 198 207 208 209 211 218 222 223 224 225 228 231 232 235 236 244 247 248 251 255 267 268 271 272
a 5 7 8 9 12 17 20 25 28 29 33 36 37 41 42 45 49 52 53 54 55 57 69 74 75 76 79 87 92 96 99 100 105 107 108 109 111 115 118 120 121 131 133 136 137 140 143 144 145 146 152 154 155 156 158 162 163 164 165 169 175 179 181 184 189 190 197 198 207 208 209 211 218 222 223 224 225 228 231 232 235 236 244 247 248 251 255 267 268 271 272
a 5 7 8 9 12 17 20 25 28 29 33 36 37 41 42 45 49 52 53 54 55 57 69 74 75 76 79 87 92 96 99 100 105 107 108 109 111 115 118 120 121 131 133 136 137 140 143 144 145 146 148 152 154 155 156 158 162 163 164 165 169 175 179 181 184 189 190 197 198 207 208 209 211 218 222 223 225 228 231 232 235 236 244 247 248 251 255 267 268 271 272
a 5 7 8 9 12 17 20 25 28 29 33 36 37 41 42 45 49 52 53 54 55 57 69 74 75 76 79 87 92 96 99 100 105 107 108 109 111 115 118 120 121 131 133 136 137 140 143 144 145 146 148 152 154 155 156 158 162 163 164 165 169 175 179 181 184 189 190 197 198 207 208 209 218 222 223 224 225 228 231 232 235 236 244 247 248 251 255 267 268 271 272
a 5 7 8 9 12 17 25 28 29 33 36 37 41 42 45 49 52 53 54 55 57 69 74 75 76 79 87 92 96 99 100 105 107 108 109 111 115 118 120 121 131 133 136 137 140 143 144 145 146 148 152 154 155 156 158 162 163 164 165 169 175 179 181 184 189 190 197 198 207 208 209 211 218 222 223 224 225 228 231 232 235 236 244 247 248 251 255 267 268 271 272
a 5 7 8 9 12 17 20 25 28 29 33 36 37 41 42 45 49 52 53 55 57 69 74 75 76 79 87 92 96 99 100 105 107 108 109 111 115 118 120 121 131 133 136 137 140 143 144 145 146 148 152 154 155 156 158 162 163 164 165 169 175 179 181 184 189 190 197 198 207 208 209 211 218 222 223 224 225 228 231 232 235 236 244 247 248 251 255 267 268 271 272
a 5 7 8 9 12 17 20 25 28 29 33 36 37 41 42 45 49 52 53 54 55 57 69 74 75 76 79 87 92 96 99 100 105 107 108 109 111 115 118 120 121 131 133 136 137 140 143 144 145 146 148 152 154 155 156 158 162 163 164 165 169 175 179 181 184 189 190 197 198 207 208 209 211 218 222 223 224 225 231 232 235 236 244 247 248 251 255 267 268 271 272
a 7 8 9 12 17 20 25 28 29 33 36 37 41 42 45 49 52 53 54 55 57 69 74 75 76 79 87 92 96 99 100 105 107 108 109 111 115 118 120 121 131 133 136 137 140 143 144 145 146 148 152 154 155 156 158 162 163 164 165 169 175 179 181 184 189 190 197 198 207 208 209 211 218 222 223 224 225 228 231 232 235 236 244 247 248 251 255 267 268 271 272
a 5 7 8 9 12 17 20 25 28 29 33 36 37 41 42 45 49 53 54 55 57 69 74 75 76 79 87 92 96 99 100 105 107 108 109 111 115 118 120 121 131 133 136 137 140 143 144 145 146 148 152 154 155 156 158 162 163 164 165 169 175 179 181 184 189 190 197 198 207 208 209 211 218 222 223 224 225 228 231 232 235 236 244 247 248 251 255 267 268 271 272
a 7 8 9 12 17 20 25 28 29 33 36 37 41 42 45 49 53 54 55 57 69 74 75 76 79 87 92 96 99 100 105 107 108 109 111 115 117 118 120 121 131 133 136 137 140 143 144 145 146 148 152 154 155 156 158 162 163 164 165 169 175 179 181 184 189 190 197 198 207 208 209 211 218 222 223 224 225 228 231 232 235 236 244 247 248 251 255 267 268 271 272
a 5 7 8 9 12 17 20 25 28 29 33 36 37 41 42 45 49 53 54 55 57 69 74 75 76 79 87 92 96 99 100 105 107 108 109 111 115 117 118 120 121 131 133 136 137 140 143 144 145 146 148 152 154 155 156 158 162 163 164 165 169 175 179 181 184 189 190 197 198 208 209 211 218 222 223 224 225 228 231 232 235 236 244 247 248 251 255 267 268 271 272
a 5 7 8 9 12 17 20 25 28 29 33 36 37 41 42 45 49 53 54 55 57 69 74 75 79 87 92 96 99 100 105 107 108 109 111 115 117 118 120 121 131 133 136 137 140 143 144 145 146 148 152 154 155 156 158 162 163 164 165 169 175 179 181 184 189 190 197 198 208 209 211 218 222 223 224 225 228 231 232 233 235 236 244 247 248 251 255 267 268 271 272
a 5 7 8 9 12 17 20 25 28 29 33 36 37 41 42 45 49 52 53 54 55 57 69 74 75 79 87 92 96 99 100 105 107 108 109 111 115 117 118 120 121 131 133 136 137 140 143 144 145 146 148 152 154 155 156 158 162 163 164 165 169 175 179 181 184 189 190 197 198 208 209 211 218 222 223 224 225 228 231 232 233 235 236 244 247 248 251 255 267 268 271
a 7 8 9 12 17 20 25 28 29 33 36 37 41 42 45 49 52 53 54 55 57 69 74 75 79 87 92 96 99 100 105 107 108 109 111 115 117 118 120 121 131 133 136 137 140 143 144 145 146 148 152 154 155 156 158 162 163 164 165 169 175 179 181 184 189 190 197 198 208 209 211 218 222 223 224 225 228 231 232 233 235 236 244 247 248 251 255 267 268 271 272
a 7 8 9 12 17 20 25 28 29 33 36 37 41 42 45 49 52 54 55 57 69 74 75 76 79 87 92 96 99 100 105 107 108 109 111 115 117 118 120 121 131 133 136 137 140 143 144 145 146 148 152 154 155 156 158 162 163 164 165 169 175 179 181 184 189 190 197 198 208 209 211 218 222 223 224 225 228 231 232 233 235 236 244 247 248 251 255 267 268 271 272
a 5 7 8 9 12 17 20 25 28 29 33 36 37 41 42 45 49 52 54 55 57 69 74 75 76 79 87 92 96 99 100 105 107 108 109 111 115 117 118 120 121 131 133 136 137 140 143 144 145 146 148 152 154 155 156 158 162 163 164 169 175 179 181 184 189 190 197 198 208 209 211 218 222 223 224 225 228 231 232 233 235 236 244 247 248 251 255 267 268 271 272
a 5 7 8 9 12 17 20 25 28 29 33 36 37 41 42 45 49 52 54 55 57 69 74 75 76 79 87 92 96 99 100 105 107 108 109 111 115 117 118 120 121 131 133 136 137 140 143 144 145 146 148 152 154 155 156 158 162 163 164 165 169 175 179 181 184 189 190 197 198 208 209 218 222 223 224 225 228 231 232 233 235 236 244 247 248 251 255 267 268 271 272
a 5 7 8 9 12 17 20 25 28 29 33 36 37 41 42 45 46 49 52 54 55 57 69 75 76 79 87 92 96 99 100 105 107 108 109 111 115 117 118 120 121 131 133 136 137 140 143 144 145 146 148 152 154 155 156 158 162 163 164 165 169 175 179 181 184 189 190 197 198 208 209 218 222 223 224 225 228 231 232 233 235 236 244 247 248 251 255 267 268 271 272
a 5 7 8 9 12 17 20 25 28 29 33 36 37 41 42 45 46 49 52 53 54 55 57 69 75 76 79 87 92 96 99 100 105 107 108 109 111 115 117 118 120 121 131 133 136 137 140 143 144 145 146 148 152 154 155 156 158 162 163 164 165 169 175 179 181 184 189 190 197 198 208 209 218 222 223 224 225 228 231 232 233 235 236 244 247 248 251 255 267 268 271
a 5 7 8 9 12 17 20 25 28 29 33 36 37 41 42 45 46 49 52 53 54 57 69 75 76 79 87 92 93 96 99 100 105 107 108 109 111 115 117 118 120 121 131 133 136 137 140 143 144 145 146 148 152 154 155 156 158 162 163 164 165 169 175 179 181 184 189 190 197 198 208 209 218 222 223 224 225 228 231 232 233 235 236 244 247 248 251 255 267 268 271
a 5 7 8 9 12 17 20 25 28 29 33 36 37 41 42 45 46 49 52 53 54 57 69 75 76 79 87 92 93 96 99 100 105 107 108 109 111 115 117 118 120 121 131 133 136 137 140 143 144 145 146 148 152 154 155 156 158 162 163 164 165 169 175 179 181 182 184 189 190 197 198 208 209 218 222 223 224 225 228 232 233 235 236 244 247 248 251 255 267 268 271
a 5 7 8 9 12 17 20 25 28 29 33 36 37 41 42 45 46 49 52 53 54 57 69 75 76 79 87 91 92 93 96 99 100 105 107 108 109 111 115 117 118 120 121 131 133 136 137 140 143 144 145 146 148 152 154 155 156 158 162 163 164 165 169 175 179 181 182 184 189 190 197 198 208 209 218 222 223 224 225 228 232 233 235 236 244 247 248 251 255 268 271
a 5 7 8 9 12 17 20 25 28 29 33 36 37 41 42 45 46 49 52 53 54 57 69 75 76 79 87 91 92 93 96 99 100 105 107 108 109 111 115 117 118 120 121 131 133 136 137 140 143 144 145 146 148 152 154 155 156 158 163 164 165 169 175 179 181 182 184 189 190 195 197 198 208 209 218 222 223 224 225 228 232 233 235 236 244 247 248 251 255 268 271
a 7 8 9 12 17 20 25 28 29 33 36 37 41 42 45 46 49 52 53 54 57 69 75 76 79 87 91 92 93 96 99 100 105 107 108 109 111 115 117 118 120 121 131 133 136 137 140 143 144 145 146 148 152 154 155 156 158 163 164 165 169 175 179 181 182 184 189 190 195 197 198 208 209 218 222 223 224 225 228 231 232 233 235 236 244 247 248 251 255 268 271
a 5 7 8 12 17 20 25 28 29 33 36 37 41 42 45 46 49 52 53 54 57 69 75 76 79 87 91 92 93 96 99 100 105 107 108 109 111 115 117 118 120 121 131 133 136 137 140 143 144 145 146 148 152 154 155 156 158 163 164 165 169 175 179 181 182 184 189 190 195 197 198 208 209 218 222 223 224 225 228 231 232 233 235 236 244 247 248 251 255 268 271
a 7 8 12 17 20 25 28 29 33 36 37 41 42 45 46 49 52 53 54 57 69 75 76 79 87 91 92 93 96 99 100 105 107 108 109 111 115 117 118 120 121 131 133 136 137 140 143 144 145 146 148 152 154 155 156 158 163 164 165 169 175 179 181 182 184 189 190 195 197 198 208 209 218 222 223 224 225 228 231 232 233 235 236 244 247 248 251 255 268 271 272
a 7 8 12 17 20 25 28 29 33 36 37 41 42 45 46 49 52 53 54 57 69 75 76 79 87 91 92 93 96 99 100 105 107 108 109 111 115 117 118 120 121 131 133 136 137 140 143 144 145 146 148 152 154 155 156 158 162 163 164 169 175 179 181 182 184 189 190 195 197 198 208 209 218 222 223 224 225 228 231 232 233 235 236 244 247 248 251 255 268 271 272
a 2 7 8 12 17 20 25 28 29 33 36 37 41 42 45 46 49 52 53 54 57 69 75 76 79 87 91 92 93 96 99 100 105 107 108 109 111 115 117 118 120 121 131 133 136 137 140 143 144 145 146 148 152 154 155 156 158 162 163 164 169 175 179 181 182 184 189 190 195 198 208 209 218 222 223 224 225 228 231 232 233 235 236 244 247 248 251 255 268 271 272
a 2 7 8 12 17 20 25 28 29 33 36 37 41 42 45 46 49 52 53 54 57 69 75 76 79 87 89 91 92 93 96 99 100 105 107 108 109 111 115 117 118 120 121 131 133 136 137 140 143 144 146 148 152 154 155 156 158 162 163 164 169 175 179 181 182 184 189 190 195 198 208 209 218 222 223 224 225 228 231 232 233 235 236 244 247 248 251 255 268 271 272
a 5 7 8 12 17 20 25 28 29 33 36 37 41 42 45 46 49 52 53 54 57 69 75 76 79 87 89 91 92 93 96 99 100 105 107 108 109 111 115 117 118 120 121 131 133 136 137 140 143 144 146 148 152 154 155 156 158 162 163 164 169 175 179 181 182 184 189 190 195 198 208 209 218 222 223 224 225 228 231 232 233 235 236 244 247 248 251 255 268 271 272
a 2 5 7 8 12 17 20 25 28 29 33 36 37 41 42 45 46 49 52 53 54 57 69 75 76 79 87 89 91 92 93 96 99 100 105 107 108 109 111 115 117 118 120 121 131 133 136 137 140 143 144 146 148 152 154 155 156 158 162 163 164 169 175 179 181 182 184 189 190 195 198 208 209 218 222 223 224 225 228 231 232 233 235 236 244 247 248 251 255 268 272
a 2 5 8 12 17 20 25 28 29 33 36 37 41 42 45 46 49 52 53 54 57 69 75 76 79 87 89 91 92 93 96 99 100 105 107 108 109 111 115 117 118 120 121 131 133 136 137 140 143 144 146 148 152 154 155 156 158 162 163 164 169 175 179 181 182 184 189 190 195 198 208 209 211 218 222 223 224 225 228 231 232 233 235 236 244 247 248 251 255 268 272
a 2 5 8 9 12 17 20 25 28 29 33 36 37 41 42 45 46 49 52 53 54 57 69 75 76 79 87 89 91 92 93 96 99 100 105 107 108 109 111 115 117 118 120 121 131 133 136 137 140 143 144 146 148 152 154 155 156 158 162 163 164 169 175 179 181 182 184 189 190 195 198 208 209 211 218 222 223 224 225 228 231 232 233 235 236 244 247 248 251 268 272
a 2 5 8 9 12 17 20 25 28 29 33 36 37 41 42 45 46 49 52 53 54 57 69 75 76 79 87 89 91 92 93 96 99 100 105 107 108 109 111 115 117 118 120 121 131 133 136 137 140 143 144 146 148 152 154 155 156 158 162 163 164 175 179 181 182 184 189 190 195 198 208 209 211 218 222 223 224 225 228 231 232 233 235 236 244 247 248 251 268 271 272
a 2 5 8 9 12 17 20 25 28 29 33 36 37 41 42 45 46 49 52 53 54 57 69 75 76 79 87 89 91 92 93 96 99 100 105 107 108 109 111 117 118 120 121 131 133 136 137 140 143 144 146 148 152 154 155 156 158 162 163 164 175 179 181 182 184 189 190 195 198 208 209 211 218 222 223 224 225 228 231 232 233 235 236 244 247 248 251 255 268 271 272
a 2 5 8 9 12 17 20 25 28 29 33 36 37 41 42 45 46 49 52 53 54 57 69 75 76 79 87 89 91 92 93 96 99 100 105 107 108 109 111 117 118 120 121 131 133 136 137 140 143 144 146 148 152 154 155 156 158 162 163 164 169 175 179 181 182 184 189 190 195 208 209 211 218 222 223 224 225 228 231 232 233 235 236 244 247 248 251 255 268 271 272
a 2 5 8 9 12 17 20 25 28 29 33 36 37 41 42 45 46 49 52 53 54 57 69 75 76 79 87 89 91 92 93 96 99 100 105 107 108 109 111 115 117 118 120 121 131 133 136 137 140 143 144 146 148 152 154 155 156 158 162 163 164 169 175 179 181 182 184 189 190 195 208 209 211 218 222 223 224 225 228 231 232 233 235 236 244 247 251 255 268 271 272
a 2 5 8 9 12 17 20 25 28 29 33 36 37 41 42 45 46 49 52 53 54 57 69 75 76 79 87 89 91 92 93 96 99 100 105 107 108 109 111 115 117 118 120 121 131 133 136 137 140 143 144 146 148 152 154 155 156 158 162 163 164 169 175 179 181 182 184 189 190 195 208 209 211 218 222 223 224 225 228 231 232 233 235 236 244 248 251 255 268 271 272
a 2 5 7 8 9 12 17 20 25 28 29 33 36 37 41 42 45 46 49 52 53 54 57 69 75 76 79 87 89 91 92 93 96 99 100 105 107 108 109 111 115 117 118 120 121 131 133 136 137 140 143 144 146 148 152 154 155 156 158 162 163 164 169 175 179 181 182 184 189 190 195 208 209 211 218 222 223 224 225 228 231 232 233 235 236 244 248 251 255 268 271
a 5 7 8 9 12 17 20 25 28 29 33 36 37 41 42 45 46 49 52 53 54 57 69 75 76 79 87 88 89 91 92 93 96 99 100 105 107 108 109 111 115 117 118 120 121 131 133 136 137 140 143 144 146 148 152 154 155 156 158 162 163 164 169 175 179 181 182 184 189 190 195 208 209 211 218 222 223 224 225 228 231 232 233 235 236 244 248 251 255 268 271
a 5 7 8 9 12 17 20 25 28 29 33 36 37 41 42 45 46 49 52 53 54 57 69 75 76 79 87 88 89 92 93 96 99 100 105 107 108 109 111 115 117 118 120 121 131 133 136 137 140 143 144 146 148 152 154 155 156 158 162 163 164 169 175 179 181 182 184 189 190 195 208 209 211 218 222 223 224 225 228 231 232 233 235 236 244 248 251 255 267 268 271
a 5 7 8 9 12 20 25 28 29 33 36 37 41 42 45 46 49 52 53 54 57 69 75 76 79 87 88 89 92 93 96 99 100 105 107 108 109 111 115 117 118 120 121 131 133 136 137 140 143 144 146 148 152 154 155 156 158 162 163 164 169 175 179 181 182 184 189 190 195 200 208 209 211 218 222 223 224 225 228 231 232 233 235 236 244 248 251 255 267 268 271
a 5 7 8 9 20 25 28 29 33 36 37 41 42 45 46 49 52 53 54 57 69 75 76 79 87 88 89 92 93 96 99 100 105 107 108 109 111 115 117 118 120 121 131 133 136 137 140 143 144 146 148 152 154 155 156 158 162 163 164 165 169 175 179 181 182 184 189 190 195 200 208 209 211 218 222 223 224 225 228 231 232 233 235 236 244 248 251 255 267 268 271
a 5 7 8 9 20 25 28 29 33 36 37 41 42 45 46 49 52 53 54 57 69 75 76 79 80 87 88 89 92 93 96 99 100 105 107 108 109 111 115 117 118 120 121 131 133 136 137 140 143 144 146 148 152 154 155 156 158 162 163 164 165 169 175 179 181 182 184 189 190 195 200 208 209 211 218 222 223 224 225 228 231 232 235 236 244 248 251 255 267 268 271
a 5 8 9 20 25 28 29 33 36 37 41 42 45 46 49 52 53 54 57 69 75 76 79 80 87 88 89 92 93 96 99 100 105 107 108 109 111 115 117 118 120 121 131 133 136 137 140 143 144 146 148 152 154 155 156 158 162 163 164 165 169 175 179 181 182 184 189 190 195 200 208 209 211 217 218 222 223 224 225 228 231 232 235 236 244 248 251 255 267 268 271
a 5 8 9 20 25 28 29 33 36 37 41 42 45 46 49 52 53 54 57 69 75 76 79 80 87 88 89 92 93 96 99 100 105 107 108 109 111 115 117 118 120 121 131 132 133 136 137 140 143 144 146 148 152 154 155 156 158 162 163 164 165 169 175 179 181 182 184 189 190 195 200 208 209 211 217 218 222 223 224 225 228 231 232 235 236 244 248 251 267 268 271
a 3 5 8 9 20 25 28 29 33 36 37 41 42 45 46 49 52 53 54 57 69 75 76 79 80 87 88 89 92 93 96 99 100 105 107 108 109 111 115 117 118 120 121 131 132 133 136 137 140 143 144 146 148 152 154 155 156 158 162 163 164 165 169 175 179 181 182 184 189 190 195 200 208 209 211 217 218 222 223 224 225 228 231 232 235 236 244 248 267 268 271
a 3 5 8 9 20 25 28 29 33 36 37 41 42 45 49 52 53 54 57 69 74 75 76 79 80 87 88 89 92 93 96 99 100 105 107 108 109 111 115 117 118 120 121 131 132 133 136 137 140 143 144 146 148 152 154 155 156 158 162 163 164 165 169 175 179 181 182 184 189 190 195 200 208 209 211 217 218 222 223 224 225 228 231 232 235 236 244 248 267 268 271
a 3 5 8 9 20 25 28 29 33 36 37 41 42 45 49 52 53 54 57 69 74 75 76 79 80 87 88 89 92 93 96 99 100 101 105 107 108 109 111 115 117 118 120 121 131 132 133 136 137 140 143 144 146 148 152 154 155 156 158 162 163 164 165 169 175 179 181 182 189 190 195 200 208 209 211 217 218 222 223 224 225 228 231 232 235 236 244 248 267 268 271
a 3 5 8 20 25 28 29 33 36 37 41 42 45 49 52 53 54 57 69 74 75 76 79 80 87 88 89 92 93 96 99 100 101 105 107 108 109 111 114 115 117 118 120 121 131 132 133 136 137 140 143 144 146 148 152 154 155 156 158 162 163 164 165 169 175 179 181 182 189 190 195 200 208 209 211 217 218 222 223 224 225 228 231 232 235 236 244 248 267 268 271
a 3 5 8 20 25 28 29 33 36 37 41 42 45 49 52 53 54 57 69 74 75 76 79 80 87 88 89 92 93 96 99 101 105 107 108 109 111 114 115 117 118 120 121 131 132 133 136 137 140 143 144 146 148 152 154 155 156 158 162 163 164 165 169 175 179 181 182 189 190 195 200 208 209 211 217 218 222 223 224 225 228 231 232 235 236 244 248 262 267 268 271
a 3 5 8 13 20 25 28 29 33 36 37 42 45 49 52 53 54 57 69 74 75 76 79 80 87 88 89 92 93 96 99 101 105 107 108 109 111 114 115 117 118 120 121 131 132 133 136 137 140 143 144 146 148 152 154 155 156 158 162 163 164 165 169 175 179 181 182 189 190 195 200 208 209 211 217 218 222 223 224 225 228 231 232 235 236 244 248 262 267 268 271
a 3 5 8 13 20 25 28 29 33 36 37 42 45 49 52 53 54 57 69 74 75 76 79 80 87 88 89 92 93 96 99 101 105 107 108 109 111 114 115 117 118 120 121 126 131 132 133 136 137 140 143 144 146 148 152 154 155 156 158 162 163 164 165 169 175 179 181 182 189 190 195 200 208 209 211 217 222 223 224 225 228 231 232 235 236 244 248 262 267 268 271
a 3 5 8 13 20 25 28 29 33 36 37 42 45 52 53 54 57 69 74 75 76 79 80 87 88 89 92 93 96 99 101 105 107 108 109 111 114 115 117 118 120 121 126 131 132 133 136 137 140 143 144 146 148 152 154 155 156 158 162 163 164 165 169 175 179 181 182 189 190 195 200 208 209 211 217 221 222 223 224 225 228 231 232 235 236 244 248 262 267 268 271
a 3 5 8 13 14 25 28 29 33 36 37 42 45 52 53 54 57 69 74 75 76 79 80 87 88 89 92 93 96 99 101 105 107 108 109 111 114 115 117 118 120 121 126 131 132 133 136 137 140 143 144 146 148 152 154 155 156 158 162 163 164 165 169 175 179 181 182 189 190 195 200 208 209 211 217 221 222 223 224 225 228 231 232 235 236 244 248 262 267 268 271
a 3 5 8 13 14 25 28 29 33 36 37 42 45 52 53 54 57 69 74 75 76 79 80 87 88 89 92 93 96 99 101 103 105 107 108 109 111 114 115 117 118 120 121 126 131 132 133 136 137 140 143 144 146 148 152 154 155 156 158 162 163 164 165 169 175 179 181 182 189 190 195 200 208 209 211 217 221 222 223 224 225 228 231 235 236 244 248 262 267 268 271
a 3 5 8 13 14 25 28 29 33 36 37 42 45 52 53 54 57 69 74 75 76 79 80 87 88 89 92 93 96 99 101 103 105 107 108 109 111 114 115 117 118 120 121 126 131 132 133 136 137 140 143 144 146 148 152 154 155 158 162 163 164 165 169 175 179 181 182 188 189 190 195 200 208 209 211 217 221 222 223 224 225 228 231 235 236 244 248 262 267 268 271
a 3 5 8 13 14 25 28 29 33 36 37 42 45 52 53 54 57 69 74 76 78 79 80 87 88 89 92 93 96 99 101 103 105 107 108 109 111 114 115 117 118 120 121 126 131 132 133 136 137 140 143 144 146 148 152 154 155 158 162 163 164 165 169 175 179 181 182 188 189 190 195 200 208 209 211 217 221 222 223 224 225 228 231 235 236 244 248 262 267 268 271
a 3 5 8 13 14 25 28 29 33 36 37 42 45 52 53 54 57 69 74 76 78 79 80 87 88 89 92 93 96 99 101 103 105 107 108 109 111 114 115 117 118 120 121 126 131 132 133 136 137 140 143 144 146 148 152 154 155 158 163 164 165 169 175 179 181 182 188 189 190 195 200 208 209 211 217 221 222 223 224 225 228 231 235 236 244 248 249 262 267 268 271
a 1 3 5 8 13 14 25 28 29 33 36 37 42 45 52 53 54 57 69 74 76 78 79 80 87 88 89 92 93 96 99 101 103 105 107 108 109 111 114 115 117 118 120 126 131 132 133 136 137 140 143 144 146 148 152 154 155 158 163 164 165 169 175 179 181 182 188 189 190 195 200 208 209 211 217 221 222 223 224 225 228 231 235 236 244 248 249 262 267 268 271
a 1 3 5 8 13 14 25 28 29 33 36 37 42 45 51 52 53 54 57 69 74 76 78 79 80 87 88 89 92 96 99 101 103 105 107 108 109 111 114 115 117 118 120 126 131 132 133 136 137 140 143 144 146 148 152 154 155 158 163 164 165 169 175 179 181 182 188 189 190 195 200 208 209 211 217 221 222 223 224 225 228 231 235 236 244 248 249 262 267 268 271
a 1 3 5 8 13 14 25 28 29 33 36 37 42 45 51 52 53 54 57 69 74 76 78 79 80 87 88 89 92 99 101 103 105 107 108 109 111 114 115 117 118 120 126 131 132 133 136 137 140 143 144 146 148 152 154 155 158 163 164 165 169 170 175 179 181 182 188 189 190 195 200 208 209 211 217 221 222 223 224 225 228 231 235 236 244 248 249 262 267 268 271
a 1 3 5 8 13 14 25 28 29 33 36 37 42 45 51 53 54 57 69 74 76 78 79 80 87 88 89 92 99 101 103 105 107 108 109 111 114 115 117 118 120 126 131 132 133 136 137 140 143 144 146 148 152 154 155 158 163 164 165 169 170 175 177 179 181 182 188 189 190 195 200 208 209 211 217 221 222 223 224 225 228 231 235 236 244 248 249 262 267 268 271
a 1 3 5 8 13 14 25 28 29 33 36 37 42 45 51 53 54 57 69 74 76 78 79 80 87 88 92 99 101 103 105 107 108 109 111 114 115 117 118 120 126 131 132 133 136 137 140 143 144 145 146 148 152 154 155 158 163 164 165 169 170 175 177 179 181 182 188 189 190 195 200 208 209 211 217 221 222 223 224 225 228 231 235 236 244 248 249 262 267 268 271
a 1 3 5 8 13 14 25 28 29 33 36 37 42 45 51 53 54 69 74 76 78 79 80 87 88 92 99 101 103 105 107 108 109 111 114 115 117 118 120 126 131 132 133 136 137 140 141 143 144 145 146 148 152 154 155 158 163 164 165 169 170 175 177 179 181 182 188 189 190 195 200 208 209 211 217 221 222 223 224 225 228 231 235 236 244 248 249 262 267 268 271
a 1 3 5 8 13 14 25 28 29 33 36 37 42 45 51 53 54 69 74 76 78 79 80 87 88 92 99 101 103 105 108 109 111 114 115 117 118 120 126 131 132 133 134 136 137 140 141 143 144 145 146 148 152 154 155 158 163 164 165 169 170 175 177 179 181 182 188 189 190 195 200 208 209 211 217 221 222 223 224 225 228 231 235 236 244 248 249 262 267 268 271
a 1 3 5 8 13 14 25 28 29 33 36 37 42 45 51 53 54 69 74 76 78 79 80 87 88 92 99 101 103 105 109 111 114 115 117 118 120 126 131 132 133 134 136 137 140 141 143 144 145 146 148 152 154 155 158 163 164 165 169 170 175 177 179 181 182 188 189 190 195 200 208 209 211 217 221 222 223 224 225 228 231 235 236 244 245 248 249 262 267 268 271
a 1 3 5 8 13 14 25 28 29 33 36 37 42 45 51 53 54 69 74 76 78 79 80 87 88 92 99 101 103 105 109 111 114 115 117 118 120 126 131 132 133 134 136 137 140 141 143 144 145 146 148 152 154 158 160 163 164 165 169 170 175 177 179 181 182 188 189 190 195 200 208 209 211 217 221 222 223 224 225 228 231 235 236 244 245 248 249 262 267 268 271
a 1 3 5 8 13 14 25 28 29 33 36 37 42 45 51 53 69 74 76 78 79 80 87 88 92 99 101 103 105 109 111 114 115 117 118 120 126 131 132 133 134 136 137 140 141 143 144 145 146 148 152 154 158 160 163 164 165 169 170 175 177 179 181 182 188 189 190 195 200 208 209 211 217 221 222 223 224 225 228 231 235 236 243 244 245 248 249 262 267 268 271
a 1 3 5 8 13 14 25 28 29 36 37 42 45 51 53 69 74 76 78 79 80 87 88 92 99 101 103 105 109 111 114 115 117 118 120 126 131 132 133 134 136 137 140 141 143 144 145 146 148 152 154 158 159 160 163 164 165 169 170 175 177 179 181 182 188 189 190 195 200 208 209 211 217 221 222 223 224 225 228 231 235 236 243 244 245 248 249 262 267 268 271
a 1 3 4 5 8 13 14 25 28 29 36 37 42 45 51 53 69 74 76 78 79 80 87 88 92 99 101 103 105 109 111 114 115 117 118 120 126 131 132 133 134 136 137 141 143 144 145 146 148 152 154 158 159 160 163 164 165 169 170 175 177 179 181 182 188 189 190 195 200 208 209 211 217 221 222 223 224 225 228 231 235 236 243 244 245 248 249 262 267 268 271
a 1 3 4 5 8 13 14 25 28 29 36 37 42 45 51 53 69 74 76 78 79 80 87 88 92 99 101 103 105 109 111 112 114 115 117 118 120 126 131 132 133 134 136 137 141 144 145 146 148 152 154 158 159 160 163 164 165 169 170 175 177 179 181 182 188 189 190 195 200 208 209 211 217 221 222 223 224 225 228 231 235 236 243 244 245 248 249 262 267 268 271
a 1 3 4 5 8 13 14 25 28 29 36 37 42 45 51 53 69 74 76 78 79 80 87 88 92 99 101 103 105 109 111 112 114 115 117 118 120 126 131 132 134 136 137 141 144 145 146 148 152 154 158 159 160 163 164 165 169 170 175 177 179 181 182 188 189 190 195 200 208 209 211 217 221 222 223 224 225 228 231 235 236 243 244 245 248 249 261 262 267 268 271
a 1 3 4 5 8 13 14 25 28 29 36 37 42 45 51 53 69 74 76 78 79 80 87 88 92 99 101 103 105 111 112 114 115 117 118 120 126 131 132 134 136 137 141 144 145 146 148 152 154 158 159 160 161 163 164 165 169 170 175 177 179 181 182 188 189 190 195 200 208 209 211 217 221 222 223 224 225 228 231 235 236 243 244 245 248 249 261 262 267 268 271
a 1 3 4 5 8 13 14 25 28 29 36 37 42 45 51 53 69 74 76 78 79 80 87 88 92 99 101 103 105 111 112 114 115 117 120 126 131 132 134 136 137 141 144 145 146 148 152 154 158 159 160 161 163 164 165 169 170 173 175 177 179 181 182 188 189 190 195 200 208 209 211 217 221 222 223 224 225 228 231 235 236 243 244 245 248 249 261 262 267 268 271
a 1 3 4 5 8 13 14 25 28 29 36 37 42 45 51 53 69 74 76 78 79 80 87 88 92 99 101 103 105 111 112 114 115 117 120 126 131 132 134 136 137 141 144 145 146 148 152 154 158 159 160 161 163 164 165 169 170 173 175 177 179 181 182 187 188 189 190 195 200 208 209 211 217 221 222 223 224 225 228 231 235 236 243 244 245 248 249 261 262 267 271
a 1 3 4 5 8 13 14 25 28 29 36 37 42 45 51 53 63 69 74 76 78 79 80 87 88 92 99 101 103 105 111 112 114 115 117 120 126 131 132 134 137 141 144 145 146 148 152 154 158 159 160 161 163 164 165 169 170 173 175 177 179 181 182 187 188 189 190 195 200 208 209 211 217 221 222 223 224 225 228 231 235 236 243 244 245 248 249 261 262 267 271
a 1 3 4 5 8 13 14 25 28 29 36 37 42 45 51 53 63 69 74 78 79 80 87 88 92 99 101 103 105 111 112 114 115 117 120 126 131 132 134 137 141 144 145 146 148 152 154 158 159 160 161 163 164 165 169 170 173 175 177 179 181 182 187 188 189 190 195 200 208 209 211 217 221 222 223 224 225 228 231 235 236 243 244 245 248 249 261 262 263 267 271
a 1 3 4 5 8 13 14 25 28 29 35 36 37 42 45 51 53 63 69 74 78 79 80 87 88 92 99 101 103 105 111 112 114 115 117 120 126 131 132 134 137 141 144 145 146 148 152 154 158 159 160 161 163 164 165 169 170 173 175 177 179 181 182 187 188 189 190 195 200 208 209 211 217 221 222 223 224 225 228 231 236 243 244 245 248 249 261 262 263 267 271
a 1 3 4 5 8 13 14 25 28 29 35 36 37 42 45 51 53 63 69 74 78 79 80 87 88 92 99 101 103 105 111 112 114 115 117 120 125 126 132 134 137 141 144 145 146 148 152 154 158 159 160 161 163 164 165 169 170 173 175 177 179 181 182 187 188 189 190 195 200 208 209 211 217 221 222 223 224 225 228 231 236 243 244 245 248 249 261 262 263 267 271
a 1 3 4 5 8 13 14 25 28 29 35 36 37 42 45 51 53 63 69 74 78 79 80 87 88 92 99 101 103 105 111 112 114 115 117 120 125 126 132 134 137 141 144 145 146 148 152 154 159 160 161 163 164 165 169 170 171 173 175 177 179 181 182 187 188 189 190 195 200 208 209 211 217 221 222 223 224 225 228 231 236 243 244 245 248 249 261 262 263 267 271
a 1 3 4 5 8 13 14 25 28 29 35 36 37 42 45 51 53 63 69 74 78 79 80 87 92 99 101 103 105 111 112 114 115 117 120 125 126 132 134 137 141 144 145 146 148 152 154 159 160 161 163 164 165 169 170 171 173 175 177 179 181 182 187 188 189 190 195 200 208 209 211 217 221 222 223 224 225 228 231 236 243 244 245 248 249 261 262 263 266 267 271
a 1 3 4 5 8 13 14 25 28 29 35 36 37 42 45 51 53 63 69 74 78 79 80 87 92 99 101 103 105 111 112 114 115 117 120 125 126 132 134 137 141 144 145 146 148 152 154 159 160 161 163 164 165 169 170 171 173 175 177 179 181 182 187 188 189 190 195 200 208 209 211 213 217 221 222 223 224 225 228 231 236 243 244 245 248 249 261 262 263 266 267
a 1 3 4 5 8 13 14 25 28 29 35 36 37 38 42 45 51 53 63 69 74 78 79 80 87 92 99 101 103 105 111 112 114 115 117 125 126 132 134 137 141 144 145 146 148 152 154 159 160 161 163 164 165 169 170 171 173 175 177 179 181 182 187 188 189 190 195 200 208 209 211 213 217 221 222 223 224 225 228 231 236 243 244 245 248 249 261 262 263 266 267
a 1 3 4 5 8 13 14 25 28 29 35 36 37 38 42 45 51 53 63 69 74 78 79 80 92 94 99 101 103 105 111 112 114 115 117 125 126 132 134 137 141 144 145 146 148 152 154 159 160 161 163 164 165 169 170 171 173 175 177 179 181 182 187 188 189 190 195 200 208 209 211 213 217 221 222 223 224 225 228 231 236 243 244 245 248 249 261 262 263 266 267
a 1 3 4 5 8 13 14 25 28 29 35 36 37 38 40 42 45 51 63 69 74 78 79 80 92 94 99 101 103 105 111 112 114 115 117 125 126 132 134 137 141 144 145 146 148 152 154 159 160 161 163 164 165 169 170 171 173 175 177 179 181 182 187 188 189 190 195 200 208 209 211 213 217 221 222 223 224 225 228 231 236 243 244 245 248 249 261 262 263 266 267
a 1 3 4 5 8 13 14 25 28 29 35 36 37 38 40 42 45 51 63 74 78 79 80 92 94 98 99 101 103 105 111 112 114 115 117 125 126 132 134 137 141 144 145 146 148 152 154 159 160 161 163 164 165 169 170 171 173 175 177 179 181 182 187 188 189 190 195 200 208 209 211 213 217 221 222 223 224 225 228 231 236 243 244 245 248 249 261 262 263 266 267
a 1 3 4 5 8 13 14 25 28 29 35 36 37 38 40 42 45 51 63 74 78 79 80 92 94 98 99 101 103 105 111 112 114 115 117 125 126 132 134 137 141 144 145 146 148 152 154 159 160 161 163 164 165 169 170 171 173 175 177 179 181 182 187 188 189 190 195 200 205 208 209 211 213 217 221 222 223 224 225 231 236 243 244 245 248 249 261 262 263 266 267
a 1 3 4 5 8 13 14 25 28 29 35 36 37 38 40 42 45 51 63 70 74 78 79 80 92 94 98 99 101 103 105 111 112 114 115 117 125 126 132 134 137 141 144 145 146 148 152 154 159 160 161 163 164 165 169 170 171 173 175 177 179 181 182 187 188 189 190 195 200 205 208 209 211 213 217 221 222 224 225 231 236 243 244 245 248 249 261 262 263 266 267
a 1 3 4 5 8 13 14 25 28 29 35 36 37 38 40 42 45 51 63 70 74 78 79 80 92 94 98 99 101 103 105 111 112 114 115 117 125 126 132 134 137 138 141 144 145 146 152 154 159 160 161 163 164 165 169 170 171 173 175 177 179 181 182 187 188 189 190 195 200 205 208 209 211 213 217 221 222 224 225 231 236 243 244 245 248 249 261 262 263 266 267
a 1 3 4 5 8 13 14 16 25 28 29 35 36 37 38 40 42 45 51 63 70 74 78 79 80 94 98 99 101 103 105 111 112 114 115 117 125 126 132 134 137 138 141 144 145 146 152 154 159 160 161 163 164 165 169 170 171 173 175 177 179 181 182 187 188 189 190 195 200 205 208 209 211 213 217 221 222 224 225 231 236 243 244 245 248 249 261 262 263 266 267
a 1 3 4 5 8 13 14 16 25 28 29 35 36 37 38 40 42 45 48 51 63 70 74 78 79 80 94 98 99 101 103 105 111 112 114 115 117 125 126 132 134 137 138 141 144 145 146 152 154 159 160 161 163 164 165 169 170 171 173 175 177 179 181 182 187 188 189 190 200 205 208 209 211 213 217 221 222 224 225 231 236 243 244 245 248 249 261 262 263 266 267
a 1 3 4 5 8 13 14 16 25 28 29 35 36 37 38 40 42 45 48 51 63 70 74 78 79 80 94 98 99 101 103 105 111 112 114 115 117 125 126 132 134 137 138 141 144 145 146 152 154 159 160 161 163 164 165 169 170 171 173 175 177 179 181 182 187 188 189 190 200 205 208 209 211 213 217 221 222 224 225 236 240 243 244 245 248 249 261 262 263 266 267
a 1 3 4 5 8 13 14 16 25 28 29 35 36 37 38 40 42 45 48 51 63 70 74 78 79 80 94 98 99 101 103 105 106 111 112 114 115 117 125 126 132 134 137 138 141 144 145 146 152 154 159 160 161 163 164 165 169 170 171 173 175 177 179 182 187 188 189 190 200 205 208 209 211 213 217 221 222 224 225 236 240 243 244 245 248 249 261 262 263 266 267
a 1 3 4 5 8 13 14 16 25 28 29 35 36 37 38 40 42 45 48 51 63 70 74 78 79 80 94 98 99 101 103 105 106 111 112 114 115 117 125 126 132 134 137 138 141 144 145 146 152 154 159 160 161 163 164 165 169 170 171 173 175 177 179 182 187 188 189 190 200 205 208 209 211 213 217 221 224 225 230 236 240 243 244 245 248 249 261 262 263 266 267
c Step: 118
#END: [Tue Sep 26 06:40:51 2023]