#BEGIN: [Tue Sep  5 08:55:20 2023]
#HOST: s11
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-wallclock-banbaralab-longest2
#INSTANCE1: /benchmark/random_instance/random_instance023_graph004.col
#INSTANCE2: /benchmark/random_instance/random_instance023_graph004_01.dat
#COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab --longest -t4 /benchmark/random_instance/random_instance023_graph004.col /benchmark/random_instance/random_instance023_graph004_01.dat
c /benchmark/random_instance/random_instance023_graph004.col
c /benchmark/random_instance/random_instance023_graph004_01.dat
TIMEOUT 1800
c send SIGTERM to CID b2dd9c3ac3b10d4ecd8be2442ecf62a3fb3ef657f247cfdfa5e0c3ce7bf73153
s 139 289 209 45 194 167 30 211 239 135 217 171 48 215 283 123 91 196 114 83 294 21 128 137 166 7 77 22 42 256 54 148 9 295 156 247 39 205 216 14 155 182 153 271 161 144 24 291 221 53 96 61 255 248 23 130 10 252 33 290 299 52 174 207 181 106 236 36 199 272 149 107 266 285 118 86 204 12 208 175 225 187 168 275 89 17 90 105 101 269 29 176 110 40 49 190 126 11 296 151 277
t 159 71 273 30 106 286 253 240 52 138 77 198 42 212 255 277 242 141 184 225 256 174 178 280 70 281 233 172 228 14 276 249 60 251 205 185 294 45 173 11 296 252 197 147 31 222 50 119 213 5 190 146 196 202 187 177 199 91 186 48 18 237 76 221 113 261 102 75 1 79 53 290 36 135 170 126 63 155 244 293 282 181 176 49 114 144 284 189 192 13 110 167 210 66 224 95 171 204 272 175 15
a YES
a 7 9 10 11 12 14 17 21 22 23 24 29 30 33 36 39 40 42 45 48 49 52 53 54 61 77 83 86 89 90 91 96 101 105 106 107 110 114 118 123 126 128 130 135 137 139 144 148 149 151 153 155 156 161 166 167 168 171 174 175 176 181 182 187 190 194 196 199 204 205 207 208 209 211 215 216 217 221 225 236 239 247 248 252 255 256 266 269 271 272 275 277 283 285 289 290 291 294 295 296 299
a 7 9 10 11 12 14 17 21 22 23 24 29 30 33 36 39 40 42 45 48 49 52 53 54 61 77 83 86 89 90 91 96 101 105 106 107 110 114 118 123 126 128 130 135 137 144 148 149 151 153 155 156 161 164 166 167 168 171 174 175 176 181 182 187 190 194 196 199 204 205 207 208 209 211 215 216 217 221 225 236 239 247 248 252 255 256 266 269 271 272 275 277 283 285 289 290 291 294 295 296 299
a 7 9 10 11 12 14 17 21 22 23 24 29 30 33 36 39 40 42 45 48 49 52 53 54 61 77 83 86 89 90 91 96 101 105 106 107 110 114 118 123 126 128 130 135 137 144 148 149 151 153 155 156 161 164 166 167 168 171 174 175 176 177 181 182 187 190 194 196 199 205 207 208 209 211 215 216 217 221 225 236 239 247 248 252 255 256 266 269 271 272 275 277 283 285 289 290 291 294 295 296 299
a 7 9 10 11 12 14 17 21 22 23 24 29 30 33 36 39 40 42 45 48 49 52 53 54 61 77 83 86 89 90 91 96 101 105 106 107 110 114 118 123 126 128 130 135 137 144 148 149 151 153 155 156 161 164 166 167 168 171 174 175 176 177 181 182 187 190 194 196 199 204 205 207 208 209 211 215 216 217 221 225 236 239 247 248 252 255 256 269 271 272 275 277 283 285 289 290 291 294 295 296 299
a 7 9 10 11 12 14 17 21 22 23 24 29 30 33 36 39 40 42 45 48 49 52 53 54 61 77 83 86 89 90 91 96 101 105 106 107 110 114 118 123 126 128 130 135 137 144 148 149 151 153 155 156 161 164 166 167 168 171 174 175 176 177 181 182 187 190 194 196 199 204 205 207 208 209 211 215 216 217 221 225 236 239 247 248 252 255 266 269 271 272 275 277 283 285 289 290 291 294 295 296 299
a 7 9 10 11 12 14 17 21 22 23 24 29 30 33 36 39 40 42 45 48 49 52 53 54 61 77 83 86 89 90 91 96 101 105 106 107 110 114 118 123 126 128 130 135 137 144 148 149 151 153 155 156 161 163 164 167 168 171 174 175 176 177 181 182 187 190 194 196 199 204 205 207 208 209 211 215 216 217 221 225 236 239 247 248 252 255 266 269 271 272 275 277 283 285 289 290 291 294 295 296 299
a 7 9 10 11 12 14 17 21 22 23 24 29 30 33 36 39 40 41 42 45 48 49 53 54 61 77 83 86 89 90 91 96 101 105 106 107 110 114 118 123 126 128 130 135 137 144 148 149 151 153 155 156 161 163 164 167 168 171 174 175 176 177 181 182 187 190 194 196 199 204 205 207 208 209 211 215 216 217 221 225 236 239 247 248 252 255 266 269 271 272 275 277 283 285 289 290 291 294 295 296 299
a 7 9 11 12 14 15 17 21 22 23 24 29 30 33 36 39 40 41 42 45 48 49 53 54 61 77 83 86 89 90 91 96 101 105 106 107 110 114 118 123 126 128 130 135 137 144 148 149 151 153 155 156 161 163 164 167 168 171 174 175 176 177 181 182 187 190 194 196 199 204 205 207 208 209 211 215 216 217 221 225 236 239 247 248 252 255 266 269 271 272 275 277 283 285 289 290 291 294 295 296 299
a 7 9 11 12 14 15 17 21 22 23 24 29 30 33 36 39 40 41 42 45 48 49 53 54 61 77 83 86 89 90 91 96 101 105 106 107 110 114 118 123 126 127 128 130 135 137 144 148 149 151 153 155 156 161 163 164 167 168 171 174 175 176 177 181 182 187 190 194 196 199 204 205 207 208 209 211 215 216 217 221 225 236 239 248 252 255 266 269 271 272 275 277 283 285 289 290 291 294 295 296 299
a 7 9 10 11 12 14 17 21 22 23 24 29 30 33 36 39 40 41 42 45 48 49 53 54 61 77 83 86 89 90 91 96 101 105 106 107 110 114 118 123 126 127 128 130 135 137 144 148 149 151 153 155 156 161 163 164 167 168 171 174 175 176 177 181 182 187 190 194 196 199 204 205 207 208 209 211 215 216 217 221 225 236 239 248 252 255 266 269 271 272 275 277 283 285 289 290 291 294 295 296 299
a 7 9 10 11 12 14 17 21 22 23 24 29 30 33 36 39 40 42 45 48 49 52 53 54 61 77 83 86 89 90 91 96 101 105 106 107 110 114 118 123 126 127 128 130 135 137 144 148 149 151 153 155 156 161 163 164 167 168 171 174 175 176 177 181 182 187 190 194 196 199 204 205 207 208 209 211 215 216 217 221 225 236 239 248 252 255 266 269 271 272 275 277 283 285 289 290 291 294 295 296 299
a 7 9 10 11 12 14 17 21 22 23 24 29 30 33 36 39 40 42 45 48 49 52 53 54 61 77 83 86 89 90 91 96 101 105 106 107 110 114 118 123 126 127 128 130 137 144 148 149 151 153 155 156 161 163 164 167 168 171 174 175 176 177 181 182 187 190 194 196 199 204 205 207 208 209 211 215 216 217 221 225 226 236 239 248 252 255 266 269 271 272 275 277 283 285 289 290 291 294 295 296 299
a 7 9 10 11 12 14 17 21 22 23 24 29 30 33 36 39 40 42 45 48 49 52 53 54 61 63 77 83 86 89 90 91 96 101 105 106 107 110 114 118 123 126 127 128 130 137 144 148 149 151 153 155 156 161 163 164 167 168 171 174 175 176 177 181 182 187 190 196 199 204 205 207 208 209 211 215 216 217 221 225 226 236 239 248 252 255 266 269 271 272 275 277 283 285 289 290 291 294 295 296 299
a 7 9 10 11 12 14 17 21 22 23 24 29 30 33 36 39 40 42 45 48 49 52 53 54 61 63 77 83 86 89 90 91 96 101 105 106 107 110 114 118 123 126 128 130 137 144 148 149 151 153 155 156 161 163 164 167 168 171 174 175 176 177 181 182 187 190 196 199 204 205 207 208 209 211 215 216 217 221 225 226 236 239 247 248 252 255 266 269 271 272 275 277 283 285 289 290 291 294 295 296 299
a 7 9 10 11 12 14 17 21 22 23 24 29 30 36 39 40 42 45 48 49 52 53 54 61 63 77 83 86 89 90 91 96 101 105 106 107 110 114 118 123 126 128 130 137 144 148 149 151 153 155 156 161 163 164 167 168 171 174 175 176 177 181 182 187 190 196 199 204 205 207 208 209 211 215 216 217 221 225 226 236 239 247 248 252 255 266 269 271 272 275 277 281 283 285 289 290 291 294 295 296 299
a 7 9 10 11 12 14 17 21 22 24 29 30 36 39 40 42 45 48 49 52 53 54 61 63 77 83 86 89 90 91 96 101 105 106 107 110 114 118 123 126 128 130 132 137 144 148 149 151 153 155 156 161 163 164 167 168 171 174 175 176 177 181 182 187 190 196 199 204 205 207 208 209 211 215 216 217 221 225 226 236 239 247 248 252 255 266 269 271 272 275 277 281 283 285 289 290 291 294 295 296 299
a 7 9 10 11 12 14 17 21 22 24 29 30 36 39 40 42 45 48 49 52 53 54 61 63 83 86 89 90 91 96 101 105 106 107 110 114 118 123 126 128 130 132 137 144 148 149 151 153 155 156 161 163 164 167 168 171 174 175 176 177 181 182 187 190 196 199 204 205 207 208 209 211 215 216 217 220 221 225 226 236 239 247 248 252 255 266 269 271 272 275 277 281 283 285 289 290 291 294 295 296 299
a 7 9 10 12 14 17 21 22 24 29 30 36 39 40 42 45 48 49 52 53 54 61 63 79 83 86 89 90 91 96 101 105 106 107 110 114 118 123 126 128 130 132 137 144 148 149 151 153 155 156 161 163 164 167 168 171 174 175 176 177 181 182 187 190 196 199 204 205 207 208 209 211 215 216 217 220 221 225 226 236 239 247 248 252 255 266 269 271 272 275 277 281 283 285 289 290 291 294 295 296 299
a 7 9 10 12 14 17 21 22 24 29 30 36 39 40 42 45 48 49 52 53 54 58 61 63 79 83 86 89 90 91 101 105 106 107 110 114 118 123 126 128 130 132 137 144 148 149 151 153 155 156 161 163 164 167 168 171 174 175 176 177 181 182 187 190 196 199 204 205 207 208 209 211 215 216 217 220 221 225 226 236 239 247 248 252 255 266 269 271 272 275 277 281 283 285 289 290 291 294 295 296 299
a 7 9 10 12 14 17 21 22 24 29 30 36 39 40 42 45 48 49 52 53 54 58 61 79 83 86 89 90 91 101 105 106 107 110 114 118 123 126 128 130 132 137 144 148 149 151 153 155 156 161 163 164 167 168 171 174 175 176 177 181 182 187 190 194 196 199 204 205 207 208 209 211 215 216 217 220 221 225 226 236 239 247 248 252 255 266 269 271 272 275 277 281 283 285 289 290 291 294 295 296 299
a 7 9 10 12 13 14 17 21 22 24 29 30 36 39 40 42 45 48 49 52 53 54 58 61 79 83 86 89 90 91 101 105 106 107 110 114 118 123 126 128 130 132 144 148 149 151 153 155 156 161 163 164 167 168 171 174 175 176 177 181 182 187 190 194 196 199 204 205 207 208 209 211 215 216 217 220 221 225 226 236 239 247 248 252 255 266 269 271 272 275 277 281 283 285 289 290 291 294 295 296 299
a 7 9 10 11 12 13 14 17 21 22 24 29 30 36 39 40 42 45 48 49 52 53 54 58 61 79 83 86 89 90 91 101 105 106 107 110 114 118 123 126 128 130 132 144 148 149 151 153 155 156 161 163 164 167 168 171 174 175 176 177 181 182 187 190 194 196 199 204 205 207 208 209 211 215 216 220 221 225 226 236 239 247 248 252 255 266 269 271 272 275 277 281 283 285 289 290 291 294 295 296 299
a 7 9 10 11 12 13 14 17 21 22 24 29 30 36 39 40 42 45 48 49 52 53 54 58 61 79 83 86 89 90 91 101 105 106 107 110 114 118 123 126 128 130 132 144 148 149 151 153 155 156 161 163 164 167 168 171 174 175 176 177 181 182 187 190 194 196 199 204 205 207 208 209 211 215 216 220 221 225 226 236 239 247 248 252 255 256 266 269 271 272 275 277 281 283 285 289 290 291 294 295 296
a 7 9 10 11 12 13 14 17 21 22 24 29 30 36 39 40 42 45 48 49 52 53 54 58 61 71 79 83 86 89 90 91 105 106 107 110 114 118 123 126 128 130 132 144 148 149 151 153 155 156 161 163 164 167 168 171 174 175 176 177 181 182 187 190 194 196 199 204 205 207 208 209 211 215 216 220 221 225 226 236 239 247 248 252 255 256 266 269 271 272 275 277 281 283 285 289 290 291 294 295 296
a 7 9 10 11 12 13 14 17 21 22 24 29 30 36 39 40 42 45 48 49 52 53 54 58 61 71 79 83 86 89 90 91 105 106 107 110 114 118 123 126 128 130 132 144 148 149 151 153 155 156 161 163 164 167 168 171 174 175 176 177 178 181 182 187 190 194 196 199 204 205 207 208 209 211 215 220 221 225 226 236 239 247 248 252 255 256 266 269 271 272 275 277 281 283 285 289 290 291 294 295 296
a 7 9 10 11 12 13 14 17 21 22 24 29 30 36 39 40 42 45 48 49 52 53 54 58 61 71 79 83 86 89 90 91 105 106 107 110 114 118 123 126 128 130 132 144 148 149 151 153 155 156 161 163 164 167 168 171 174 175 176 177 178 181 182 187 190 194 196 197 199 204 205 207 208 209 211 215 220 221 225 226 236 239 247 248 252 255 256 266 269 271 272 275 277 281 283 285 289 290 294 295 296
a 7 9 10 11 12 13 14 17 21 22 24 29 30 36 39 40 42 45 48 49 52 53 54 58 61 71 79 83 86 89 90 91 105 106 107 110 114 118 123 126 128 130 132 135 144 148 149 151 153 155 156 161 163 164 167 168 171 174 175 176 177 178 181 182 187 190 194 196 197 199 204 205 207 208 209 211 215 220 221 225 236 239 247 248 252 255 256 266 269 271 272 275 277 281 283 285 289 290 294 295 296
a 7 9 10 11 12 13 14 17 18 21 22 24 29 30 36 39 40 42 45 48 49 52 53 54 58 61 71 79 83 86 89 90 91 105 106 107 110 114 118 123 126 128 130 132 135 144 148 149 151 153 155 156 161 163 164 167 168 171 174 175 176 177 178 181 182 187 190 194 196 197 199 204 205 207 208 209 211 215 220 221 225 239 247 248 252 255 256 266 269 271 272 275 277 281 283 285 289 290 294 295 296
a 5 7 9 10 11 12 13 14 17 18 21 22 24 29 30 36 39 40 42 45 48 49 52 53 54 58 61 71 79 83 86 89 90 91 105 106 107 110 114 118 123 126 128 130 132 135 144 148 149 151 153 155 156 161 163 164 167 168 171 174 175 176 177 178 181 182 187 190 194 196 197 199 204 205 207 208 209 211 215 220 221 225 239 247 248 252 255 256 266 271 272 275 277 281 283 285 289 290 294 295 296
a 5 7 9 10 11 12 13 14 17 18 21 22 24 29 30 36 39 40 42 45 48 49 52 53 54 58 61 66 71 79 83 86 89 90 91 105 106 107 110 114 118 123 126 128 130 132 135 144 148 149 151 153 155 156 161 163 164 167 168 171 174 175 176 177 178 181 182 187 190 194 196 197 199 204 205 207 208 209 211 215 220 221 225 239 247 248 252 255 256 266 271 272 275 277 281 285 289 290 294 295 296
a 5 7 9 10 11 12 13 14 17 18 21 22 24 29 30 36 39 40 42 45 48 49 52 53 54 58 60 61 66 71 79 83 86 89 90 91 105 106 107 110 114 118 123 126 128 130 132 135 144 148 149 151 153 155 156 161 163 164 167 168 171 174 175 176 177 178 181 182 187 190 194 196 197 199 204 205 207 208 209 211 215 220 221 225 239 247 248 252 255 256 266 271 272 275 277 281 285 289 290 294 296
a 5 7 9 10 11 12 13 14 17 18 21 22 24 29 30 36 39 40 42 45 48 49 52 53 54 58 60 61 66 71 79 83 86 89 90 91 105 106 107 110 114 118 123 126 128 130 132 135 144 148 149 151 153 155 156 161 163 164 167 168 171 174 175 176 177 178 181 182 187 190 194 196 197 199 204 205 207 208 209 211 215 220 221 225 239 247 248 252 255 256 266 271 272 275 277 281 284 285 290 294 296
a 5 7 9 10 11 12 13 14 17 18 21 22 24 29 30 36 39 42 45 48 49 52 53 54 58 60 61 66 71 79 83 86 89 90 91 105 106 107 110 114 118 123 126 128 130 132 135 144 148 149 151 153 155 156 161 163 164 167 168 171 174 175 176 177 178 181 182 187 190 194 196 197 199 204 205 207 208 209 211 215 220 221 225 228 239 247 248 252 255 256 266 271 272 275 277 281 284 285 290 294 296
a 5 9 10 11 12 13 14 17 18 21 22 24 29 30 36 39 42 45 48 49 52 53 54 58 60 61 66 71 79 83 86 89 90 91 105 106 107 110 113 114 118 123 126 128 130 132 135 144 148 149 151 153 155 156 161 163 164 167 168 171 174 175 176 177 178 181 182 187 190 194 196 197 199 204 205 207 208 209 211 215 220 221 225 228 239 247 248 252 255 256 266 271 272 275 277 281 284 285 290 294 296
a 5 9 11 12 13 14 15 17 18 21 22 24 29 30 36 39 42 45 48 49 52 53 54 58 60 61 66 71 79 83 86 89 90 91 105 106 107 110 113 114 118 123 126 128 130 132 135 144 148 149 151 153 155 156 161 163 164 167 168 171 174 175 176 177 178 181 182 187 190 194 196 197 199 204 205 207 208 209 211 215 220 221 225 228 239 247 248 252 255 256 266 271 272 275 277 281 284 285 290 294 296
a 5 9 11 12 13 14 15 17 18 21 22 24 29 30 36 39 42 45 48 49 52 53 54 58 60 61 66 71 79 83 86 89 90 91 105 106 107 110 113 114 118 126 128 130 132 135 144 148 149 151 153 155 156 161 163 164 167 168 171 174 175 176 177 178 181 182 187 190 194 196 197 199 204 205 207 208 209 211 215 220 221 225 228 239 247 248 252 255 256 261 266 271 272 275 277 281 284 285 290 294 296
a 5 9 11 12 13 14 15 17 18 21 22 24 29 30 36 39 42 45 48 49 52 53 54 58 60 61 66 71 76 79 83 86 89 90 91 105 106 107 110 113 114 118 126 130 132 135 144 148 149 151 153 155 156 161 163 164 167 168 171 174 175 176 177 178 181 182 187 190 194 196 197 199 204 205 207 208 209 211 215 220 221 225 228 239 247 248 252 255 256 261 266 271 272 275 277 281 284 285 290 294 296
a 5 9 11 12 13 14 15 17 18 21 22 24 29 30 36 39 42 45 48 49 52 53 54 58 60 61 66 71 76 79 83 86 89 90 91 105 106 107 110 113 114 118 126 130 132 135 144 148 149 151 153 155 156 161 163 164 167 168 171 174 175 176 177 178 181 182 187 190 194 196 197 199 204 205 207 208 209 211 215 220 221 225 228 247 248 252 255 256 261 266 271 272 275 277 280 281 284 285 290 294 296
a 5 9 11 12 13 14 15 17 18 21 22 24 29 30 36 39 42 45 48 49 52 53 54 58 60 61 66 71 76 79 83 86 89 90 91 105 106 107 110 113 114 118 126 130 132 135 144 147 148 149 151 153 155 156 161 163 164 167 168 171 174 175 176 177 178 181 182 187 190 194 196 197 199 204 205 207 208 209 211 215 220 221 225 228 247 248 252 255 256 261 271 272 275 277 280 281 284 285 290 294 296
a 5 9 11 13 14 15 17 18 21 22 24 29 30 36 39 42 45 48 49 52 53 54 58 60 61 66 71 76 79 83 86 89 90 91 105 106 107 110 113 114 118 126 130 132 135 144 147 148 149 151 153 155 156 161 163 164 167 168 171 174 175 176 177 178 181 182 187 190 194 196 197 199 204 205 207 208 209 211 212 215 220 221 225 228 247 248 252 255 256 261 271 272 275 277 280 281 284 285 290 294 296
a 5 9 11 13 14 15 17 18 21 22 24 29 30 36 39 42 45 48 49 52 53 58 60 61 66 71 76 79 83 86 89 90 91 105 106 107 110 113 114 118 126 130 132 135 144 147 148 149 151 153 155 156 161 163 164 167 168 171 174 175 176 177 178 181 182 187 190 194 196 197 199 204 205 207 208 209 211 212 215 220 221 225 228 237 247 248 252 255 256 261 271 272 275 277 280 281 284 285 290 294 296
a 5 9 11 13 14 15 17 18 21 22 24 29 30 31 36 42 45 48 49 52 53 58 60 61 66 71 76 79 83 86 89 90 91 105 106 107 110 113 114 118 126 130 132 135 144 147 148 149 151 153 155 156 161 163 164 167 168 171 174 175 176 177 178 181 182 187 190 194 196 197 199 204 205 207 208 209 211 212 215 220 221 225 228 237 247 248 252 255 256 261 271 272 275 277 280 281 284 285 290 294 296
a 5 9 11 13 14 15 17 18 21 22 24 29 30 31 36 42 45 48 49 52 53 58 60 61 66 71 76 79 83 86 89 90 91 105 106 107 110 113 114 118 126 130 132 135 144 147 148 149 151 155 156 161 163 164 167 168 171 174 175 176 177 178 181 182 187 190 194 196 197 199 204 205 207 208 209 211 212 215 220 221 225 228 237 247 248 252 255 256 261 271 272 275 277 280 281 284 285 290 293 294 296
a 5 9 11 13 14 15 17 18 21 22 24 30 31 36 42 45 48 49 50 52 53 58 60 61 66 71 76 79 83 86 89 90 91 105 106 107 110 113 114 118 126 130 132 135 144 147 148 149 151 155 156 161 163 164 167 168 171 174 175 176 177 178 181 182 187 190 194 196 197 199 204 205 207 208 209 211 212 215 220 221 225 228 237 247 248 252 255 256 261 271 272 275 277 280 281 284 285 290 293 294 296
a 5 9 11 13 14 15 17 18 21 22 24 30 31 36 42 45 48 49 50 52 53 58 60 61 66 71 76 79 83 86 89 90 91 105 106 107 110 113 114 118 126 130 132 135 144 147 148 149 151 155 156 159 161 163 164 167 168 171 174 175 176 177 178 181 182 187 190 194 196 197 199 204 205 207 208 209 211 212 215 220 221 225 228 237 247 252 255 256 261 271 272 275 277 280 281 284 285 290 293 294 296
a 5 9 11 13 14 15 17 18 21 22 24 30 31 36 42 45 48 49 50 52 53 58 60 61 66 71 76 79 83 86 89 90 91 105 106 107 110 113 114 118 126 130 132 135 144 146 147 148 149 151 155 156 159 161 163 164 167 168 171 174 175 176 177 178 181 182 187 190 194 196 197 199 204 205 207 208 211 212 215 220 221 225 228 237 247 252 255 256 261 271 272 275 277 280 281 284 285 290 293 294 296
a 5 9 11 13 14 15 17 18 21 22 24 30 31 36 42 45 48 49 50 52 53 58 60 61 66 71 76 79 83 86 89 90 91 105 106 107 110 113 114 118 126 130 132 135 144 146 147 148 149 151 155 156 159 161 163 164 167 168 171 174 175 176 177 178 181 182 186 187 190 194 196 197 199 204 205 207 208 211 212 215 220 221 225 228 237 247 252 255 256 261 271 272 277 280 281 284 285 290 293 294 296
a 5 9 11 13 14 15 17 18 21 22 24 30 31 36 42 45 48 49 50 52 53 58 60 61 66 71 76 79 83 86 89 90 91 105 106 107 110 113 114 118 126 130 132 135 144 146 147 148 149 151 155 156 159 161 163 164 167 168 171 174 175 176 177 178 181 182 186 187 190 194 196 197 199 202 204 205 207 211 212 215 220 221 225 228 237 247 252 255 256 261 271 272 277 280 281 284 285 290 293 294 296
a 5 9 11 13 14 15 17 18 21 22 24 30 31 36 42 45 48 49 50 52 53 58 60 61 66 71 76 77 79 83 86 89 90 91 105 106 107 110 113 114 118 126 130 132 135 144 146 147 148 149 151 155 156 159 161 163 164 167 168 171 174 175 176 177 178 181 182 186 187 190 194 196 197 199 202 204 205 207 211 212 215 221 225 228 237 247 252 255 256 261 271 272 277 280 281 284 285 290 293 294 296
a 5 9 11 13 14 15 17 18 21 22 24 30 31 36 42 45 48 49 50 52 53 58 60 61 66 71 76 77 79 86 89 90 91 105 106 107 110 113 114 118 126 130 132 135 144 146 147 148 149 151 155 156 159 161 163 164 167 168 171 174 175 176 177 178 181 182 186 187 190 194 196 197 199 202 204 205 207 211 212 215 221 225 228 237 247 252 253 255 256 261 271 272 277 280 281 284 285 290 293 294 296
a 5 9 11 13 14 15 17 18 21 22 24 30 31 36 42 45 48 49 50 52 53 58 60 61 66 71 76 77 79 86 89 90 91 102 105 106 107 110 113 114 118 126 130 132 135 144 146 147 148 149 151 155 156 159 161 163 164 167 168 171 174 175 176 177 178 181 186 187 190 194 196 197 199 202 204 205 207 211 212 215 221 225 228 237 247 252 253 255 256 261 271 272 277 280 281 284 285 290 293 294 296
a 5 9 11 13 14 15 17 18 21 22 24 30 31 36 42 45 48 49 50 52 53 58 60 61 66 71 76 77 79 86 89 91 102 105 106 107 110 113 114 118 126 130 132 135 144 146 147 148 149 151 155 156 159 161 163 164 167 168 171 174 175 176 177 178 181 186 187 190 194 196 197 198 199 202 204 205 207 211 212 215 221 225 228 237 247 252 253 255 256 261 271 272 277 280 281 284 285 290 293 294 296
a 5 9 11 13 14 15 17 18 22 24 30 31 36 42 45 48 49 50 52 53 58 60 61 66 71 76 77 79 86 89 91 102 105 106 107 110 113 114 118 126 130 132 135 144 146 147 148 149 151 155 156 159 161 163 164 167 168 171 174 175 176 177 178 181 186 187 190 192 194 196 197 198 199 202 204 205 207 211 212 215 221 225 228 237 247 252 253 255 256 261 271 272 277 280 281 284 285 290 293 294 296
a 5 9 11 13 14 15 17 18 22 30 31 36 42 45 48 49 50 52 53 58 60 61 66 71 76 77 79 86 89 91 102 105 106 107 110 113 114 118 126 130 132 135 144 146 147 148 149 151 155 156 159 161 163 164 167 168 171 174 175 176 177 178 181 186 187 190 192 194 196 197 198 199 202 204 205 207 211 212 215 221 225 228 237 247 249 252 253 255 256 261 271 272 277 280 281 284 285 290 293 294 296
a 5 9 11 13 14 15 17 18 22 30 31 36 42 45 48 49 50 52 53 58 60 61 66 71 76 77 79 89 91 102 105 106 107 110 113 114 118 126 130 132 135 141 144 146 147 148 149 151 155 156 159 161 163 164 167 168 171 174 175 176 177 178 181 186 187 190 192 194 196 197 198 199 202 204 205 207 211 212 215 221 225 228 237 247 249 252 253 255 256 261 271 272 277 280 281 284 285 290 293 294 296
a 5 9 11 13 14 15 17 18 22 30 31 36 42 45 48 49 50 52 53 58 60 61 66 71 76 77 79 89 91 102 105 106 107 110 113 114 126 130 132 135 141 144 146 147 148 149 151 155 156 159 161 163 164 167 168 171 174 175 176 177 178 181 186 187 190 192 194 196 197 198 199 202 204 205 207 211 212 215 221 225 228 237 247 249 252 253 255 256 261 271 272 277 280 281 282 284 285 290 293 294 296
a 5 9 11 13 14 15 17 18 30 31 36 42 45 48 49 50 52 53 58 60 61 66 71 76 77 79 89 91 102 105 106 107 110 113 114 126 130 132 135 141 144 146 147 148 149 151 155 156 159 161 163 164 167 168 171 174 175 176 177 178 181 186 187 190 192 194 196 197 198 199 202 204 205 207 211 212 215 221 222 225 228 237 247 249 252 253 255 256 261 271 272 277 280 281 282 284 285 290 293 294 296
a 5 9 11 13 14 15 17 18 30 31 36 42 45 48 49 50 52 53 58 60 61 66 71 76 77 79 89 91 102 105 106 107 110 113 114 126 132 135 141 144 146 147 148 149 151 155 156 159 161 163 164 167 168 171 174 175 176 177 178 181 186 187 190 192 194 196 197 198 199 202 204 205 207 210 211 212 215 221 222 225 228 237 247 249 252 253 255 256 261 271 272 277 280 281 282 284 285 290 293 294 296
a 5 9 11 13 14 15 17 18 30 31 36 42 45 48 49 50 52 53 58 60 61 66 71 76 77 79 89 91 102 105 106 107 110 113 114 126 132 135 141 144 146 147 148 149 151 155 156 159 161 163 164 167 168 171 172 174 175 176 177 178 181 186 187 190 192 196 197 198 199 202 204 205 207 210 211 212 215 221 222 225 228 237 247 249 252 253 255 256 261 271 272 277 280 281 282 284 285 290 293 294 296
a 5 9 11 13 14 15 17 18 30 31 36 42 45 48 49 50 52 53 58 60 61 66 71 76 77 79 89 91 102 105 106 107 110 113 114 126 132 135 141 144 146 147 148 149 151 155 159 161 163 164 167 168 171 172 174 175 176 177 178 181 185 186 187 190 192 196 197 198 199 202 204 205 207 210 211 212 215 221 222 225 228 237 247 249 252 253 255 256 261 271 272 277 280 281 282 284 285 290 293 294 296
a 5 9 11 13 14 15 17 18 30 31 36 42 45 48 49 50 52 53 58 60 61 63 66 71 76 77 79 89 91 102 105 106 107 110 113 114 126 132 135 141 144 146 147 148 149 151 155 159 161 163 164 167 168 171 172 174 175 176 177 178 181 185 186 187 190 192 196 197 198 199 202 204 205 207 210 211 212 215 221 222 225 228 237 247 249 252 253 255 256 261 272 277 280 281 282 284 285 290 293 294 296
a 5 9 11 13 14 15 17 18 30 31 36 42 45 48 49 50 52 53 58 60 61 63 66 71 76 77 79 89 91 102 106 107 110 113 114 126 132 135 141 144 146 147 148 149 151 155 159 161 163 164 167 168 171 172 174 175 176 177 178 181 185 186 187 190 192 196 197 198 199 202 204 205 207 210 211 212 215 221 222 224 225 228 237 247 249 252 253 255 256 261 272 277 280 281 282 284 285 290 293 294 296
a 5 9 11 13 14 15 17 18 30 31 36 42 45 48 49 50 52 53 58 60 61 63 66 71 76 77 79 89 91 95 102 106 107 110 113 114 126 135 141 144 146 147 148 149 151 155 159 161 163 164 167 168 171 172 174 175 176 177 178 181 185 186 187 190 192 196 197 198 199 202 204 205 207 210 211 212 215 221 222 224 225 228 237 247 249 252 253 255 256 261 272 277 280 281 282 284 285 290 293 294 296
a 5 9 11 13 14 15 17 18 30 31 36 42 45 48 49 50 52 53 58 60 63 66 70 71 76 77 79 89 91 95 102 106 107 110 113 114 126 135 141 144 146 147 148 149 151 155 159 161 163 164 167 168 171 172 174 175 176 177 178 181 185 186 187 190 192 196 197 198 199 202 204 205 207 210 211 212 215 221 222 224 225 228 237 247 249 252 253 255 256 261 272 277 280 281 282 284 285 290 293 294 296
a 5 9 11 13 14 15 17 18 30 31 36 42 45 48 49 50 52 53 58 60 63 66 70 71 76 77 79 89 91 95 102 106 107 110 113 114 126 135 141 144 146 147 148 149 151 155 159 161 163 164 167 168 171 172 174 175 176 177 178 181 185 186 187 190 192 196 197 198 199 202 204 205 207 210 211 212 215 221 222 224 225 228 237 247 249 252 253 255 256 261 272 277 280 281 282 284 286 290 293 294 296
a 5 9 11 13 14 15 17 18 30 31 36 42 45 48 49 50 52 53 58 60 63 66 70 71 76 77 79 89 91 95 102 106 107 110 113 114 119 126 135 141 144 146 147 148 151 155 159 161 163 164 167 168 171 172 174 175 176 177 178 181 185 186 187 190 192 196 197 198 199 202 204 205 207 210 211 212 215 221 222 224 225 228 237 247 249 252 253 255 256 261 272 277 280 281 282 284 286 290 293 294 296
a 5 9 11 13 14 15 17 18 30 31 36 42 45 48 49 50 52 53 58 60 63 66 70 71 76 77 79 89 91 95 102 106 107 110 113 114 119 126 135 141 144 146 147 148 151 155 159 161 164 167 168 171 172 174 175 176 177 178 181 185 186 187 190 192 196 197 198 199 202 204 205 207 210 211 212 215 221 222 224 225 228 237 244 247 249 252 253 255 256 261 272 277 280 281 282 284 286 290 293 294 296
a 5 9 11 13 14 15 17 18 30 31 36 42 45 48 49 50 52 53 58 60 63 66 70 71 76 77 79 89 91 95 102 106 107 110 113 114 119 126 135 141 144 146 147 151 155 159 161 164 167 168 171 172 174 175 176 177 178 181 184 185 186 187 190 192 196 197 198 199 202 204 205 207 210 211 212 215 221 222 224 225 228 237 244 247 249 252 253 255 256 261 272 277 280 281 282 284 286 290 293 294 296
a 5 9 11 13 14 15 17 18 30 31 36 42 45 48 49 50 52 53 60 63 66 70 71 76 77 79 89 91 95 102 106 107 110 113 114 119 126 135 141 144 146 147 151 155 159 161 164 167 168 171 172 174 175 176 177 178 181 184 185 186 187 190 192 196 197 198 199 202 204 205 207 210 211 212 215 221 222 224 225 228 237 244 247 249 252 253 255 256 261 272 273 277 280 281 282 284 286 290 293 294 296
a 5 9 11 13 14 15 17 18 30 31 36 42 45 48 49 50 52 53 60 63 66 70 71 76 77 79 91 95 102 106 107 110 113 114 119 126 135 141 144 146 147 151 155 159 161 164 167 168 171 172 174 175 176 177 178 181 184 185 186 187 190 192 196 197 198 199 202 204 205 207 210 211 212 215 221 222 224 225 228 237 244 247 249 251 252 253 255 256 261 272 273 277 280 281 282 284 286 290 293 294 296
a 5 9 11 13 14 15 17 18 30 31 36 42 45 48 49 50 52 53 60 63 66 70 71 76 77 79 91 95 102 106 107 110 113 114 119 126 135 141 144 146 147 151 155 159 161 164 167 168 171 172 174 175 176 177 178 181 184 185 186 187 190 192 196 197 198 199 202 204 205 210 211 212 215 221 222 224 225 228 233 237 244 247 249 251 252 253 255 256 261 272 273 277 280 281 282 284 286 290 293 294 296
a 5 9 11 13 14 15 17 18 30 31 36 42 45 48 49 50 52 53 60 63 66 70 71 76 77 79 91 95 102 106 110 113 114 119 126 135 141 144 146 147 151 155 159 161 164 167 168 171 172 174 175 176 177 178 181 184 185 186 187 190 192 196 197 198 199 202 204 205 210 211 212 215 221 222 224 225 228 233 237 240 244 247 249 251 252 253 255 256 261 272 273 277 280 281 282 284 286 290 293 294 296
a 5 9 11 13 14 15 18 30 31 36 42 45 48 49 50 52 53 60 63 66 70 71 76 77 79 91 95 102 106 110 113 114 119 126 135 141 144 146 147 151 155 159 161 164 167 168 171 172 174 175 176 177 178 181 184 185 186 187 189 190 192 196 197 198 199 202 204 205 210 211 212 215 221 222 224 225 228 233 237 240 244 247 249 251 252 253 255 256 261 272 273 277 280 281 282 284 286 290 293 294 296
a 5 9 11 13 14 15 18 30 31 36 42 45 48 49 50 52 53 60 63 66 70 71 76 77 79 91 95 102 106 110 113 114 119 126 135 141 144 146 147 151 155 159 161 164 167 168 171 172 174 175 176 177 178 181 184 185 186 187 189 190 192 196 197 198 199 202 204 205 210 212 215 221 222 224 225 228 233 237 240 242 244 247 249 251 252 253 255 256 261 272 273 277 280 281 282 284 286 290 293 294 296
a 5 9 11 13 14 15 18 30 31 36 42 45 48 49 50 52 53 60 63 66 70 71 76 77 79 91 95 102 106 110 113 114 119 126 135 141 144 146 147 151 155 159 161 164 167 168 171 172 174 175 176 177 178 181 184 185 186 187 189 190 192 196 197 198 199 202 204 205 210 212 213 215 221 222 224 225 228 233 237 240 242 244 249 251 252 253 255 256 261 272 273 277 280 281 282 284 286 290 293 294 296
a 1 5 9 11 13 14 15 18 30 31 36 42 45 48 49 50 52 53 60 63 66 70 71 76 77 79 91 95 102 106 110 113 114 119 126 135 141 144 146 147 151 155 159 164 167 168 171 172 174 175 176 177 178 181 184 185 186 187 189 190 192 196 197 198 199 202 204 205 210 212 213 215 221 222 224 225 228 233 237 240 242 244 249 251 252 253 255 256 261 272 273 277 280 281 282 284 286 290 293 294 296
a 1 5 9 11 13 14 15 18 30 31 36 42 45 48 49 50 52 53 60 63 66 70 71 76 77 79 91 95 102 106 110 113 114 119 126 135 141 144 146 147 151 155 159 167 168 171 172 174 175 176 177 178 181 184 185 186 187 189 190 192 196 197 198 199 202 204 205 210 212 213 215 221 222 224 225 228 233 237 240 242 244 249 251 252 253 255 256 261 272 273 276 277 280 281 282 284 286 290 293 294 296
a 1 5 9 11 13 14 15 18 30 31 36 42 45 48 49 50 52 53 60 63 66 70 71 76 77 79 91 95 102 106 110 113 114 119 126 135 138 141 144 146 147 151 155 159 167 171 172 174 175 176 177 178 181 184 185 186 187 189 190 192 196 197 198 199 202 204 205 210 212 213 215 221 222 224 225 228 233 237 240 242 244 249 251 252 253 255 256 261 272 273 276 277 280 281 282 284 286 290 293 294 296
a 1 5 9 11 13 14 15 18 30 31 36 42 45 48 49 50 52 53 60 63 66 70 71 76 77 79 91 95 102 106 110 113 114 119 126 135 138 141 144 146 147 151 155 159 167 170 171 172 174 175 176 177 178 181 184 185 186 187 189 190 192 196 197 198 199 202 204 205 210 212 213 221 222 224 225 228 233 237 240 242 244 249 251 252 253 255 256 261 272 273 276 277 280 281 282 284 286 290 293 294 296
a 1 5 11 13 14 15 18 30 31 36 42 45 48 49 50 52 53 60 63 66 70 71 75 76 77 79 91 95 102 106 110 113 114 119 126 135 138 141 144 146 147 151 155 159 167 170 171 172 174 175 176 177 178 181 184 185 186 187 189 190 192 196 197 198 199 202 204 205 210 212 213 221 222 224 225 228 233 237 240 242 244 249 251 252 253 255 256 261 272 273 276 277 280 281 282 284 286 290 293 294 296
a 1 5 11 13 14 15 18 30 31 36 42 45 48 49 50 52 53 60 63 66 70 71 75 76 77 79 91 95 102 106 110 113 114 119 126 135 138 141 144 146 147 155 159 167 170 171 172 173 174 175 176 177 178 181 184 185 186 187 189 190 192 196 197 198 199 202 204 205 210 212 213 221 222 224 225 228 233 237 240 242 244 249 251 252 253 255 256 261 272 273 276 277 280 281 282 284 286 290 293 294 296
c Step: 80
#END: [Tue Sep  5 09:25:20 2023]