#BEGIN: [Wed Aug 30 19:29:30 2023]
#HOST: s12
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-wallclock-banbaralab-longest1
#INSTANCE1: /benchmark/2022benchmark/benchmark/color04/le450_25b.col
#INSTANCE2: /benchmark/2022benchmark/benchmark/color04/le450_25b_02.dat
#COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab --longest /benchmark/2022benchmark/benchmark/color04/le450_25b.col /benchmark/2022benchmark/benchmark/color04/le450_25b_02.dat
c /benchmark/2022benchmark/benchmark/color04/le450_25b.col
c /benchmark/2022benchmark/benchmark/color04/le450_25b_02.dat
TIMEOUT 1800
c send SIGTERM to CID 2ee596eff32d077bf6c532c3021c37c8a0b18ca93ec32df9499730f7a564ccf5
s 7 13 14 16 17 19 24 25 28 39 44 47 49 55 58 64 68 79 82 85 91 99 107 117 145 152 153 160 174 179 182 187 192 193 209 211 213 214 217 220 225 232 237 243 256 257 260 263 264 267 268 272 274 275 289 293 306 312 318 320 350 352 357 370 386 387 388 392 406 410 412 414 417 436 437 438 442 
t 7 13 14 16 17 19 24 25 28 39 44 47 49 55 58 64 68 79 82 83 85 107 117 145 151 153 157 160 162 174 179 182 189 192 193 209 211 213 214 215 217 220 221 232 237 243 256 257 260 264 267 268 272 275 289 293 306 312 318 320 337 350 352 357 370 372 386 387 388 392 406 410 417 418 436 437 442
a YES
a 7 13 14 16 17 19 24 25 28 39 44 47 49 55 58 64 68 79 82 85 91 99 107 117 145 152 153 160 174 179 182 187 192 193 209 211 213 214 217 220 225 232 237 243 256 257 260 263 264 267 268 272 274 275 289 293 306 312 318 320 350 352 357 370 386 387 388 392 406 410 412 414 417 436 437 438 442
a 7 13 14 16 17 19 24 25 28 39 44 47 49 55 58 64 68 79 82 85 91 99 107 117 145 152 153 157 160 174 179 182 187 192 193 209 211 213 214 217 220 225 232 237 243 256 257 260 263 264 267 268 272 274 275 289 293 306 312 318 320 350 352 357 370 386 387 388 392 406 410 412 414 417 436 437 442
a 13 14 16 17 19 24 25 28 39 44 47 49 55 58 64 68 79 82 85 91 99 106 107 117 145 152 153 157 160 174 179 182 187 192 193 209 211 213 214 217 220 225 232 237 243 256 257 260 263 264 267 268 272 274 275 289 293 306 312 318 320 350 352 357 370 386 387 388 392 406 410 412 414 417 436 437 442
a 13 14 16 17 19 24 25 28 39 44 47 49 55 58 64 68 79 82 85 91 99 106 107 117 145 152 153 160 174 179 182 187 192 193 209 211 213 214 217 220 225 232 237 243 256 257 260 263 264 267 268 272 274 275 289 293 306 312 318 320 350 352 357 370 386 387 388 392 406 410 412 414 417 436 437 438 442
a 13 14 16 17 19 24 25 28 39 44 47 49 55 58 64 68 79 82 85 91 99 106 107 117 145 152 153 160 174 179 182 187 192 193 209 211 213 214 217 220 225 232 237 243 256 257 260 263 264 267 268 272 274 275 289 293 306 312 318 320 350 352 357 370 386 387 388 392 406 410 412 414 417 431 436 437 442
a 13 14 16 17 19 24 25 28 39 44 47 49 55 58 64 68 79 82 85 91 99 106 107 117 145 152 153 160 174 179 182 187 192 193 209 211 213 214 217 220 225 232 237 243 256 257 260 263 264 267 268 272 274 275 289 293 306 312 318 320 350 352 357 370 386 387 388 392 406 410 412 414 417 418 431 437 442
a 13 14 16 17 19 24 25 28 39 44 47 49 55 58 64 68 79 82 85 91 99 106 107 117 145 152 153 160 174 179 182 187 192 193 209 211 213 214 217 220 225 232 237 243 256 257 260 263 264 267 268 272 274 275 289 293 306 312 318 320 350 352 357 370 386 387 388 392 406 410 412 414 417 418 437 438 442
a 13 14 16 17 19 24 25 28 44 47 49 55 58 64 68 79 82 85 91 99 106 107 117 145 152 153 160 174 179 182 187 192 193 209 211 213 214 217 220 225 232 237 243 256 257 260 263 264 267 268 272 274 275 289 293 306 312 318 320 350 352 357 370 386 387 388 392 406 410 412 414 417 418 436 437 438 442
a 13 14 16 17 19 24 25 28 44 47 49 55 58 64 68 79 82 85 91 99 106 107 117 145 152 153 160 174 179 182 187 192 193 209 211 213 214 217 220 221 225 232 237 243 256 257 260 263 264 267 268 272 274 275 289 293 306 312 318 320 350 352 357 370 386 387 388 392 406 410 412 417 418 436 437 438 442
a 13 16 17 19 24 25 28 39 44 47 49 55 58 64 68 79 82 85 91 99 106 107 117 145 152 153 160 174 179 182 187 192 193 209 211 213 214 217 220 221 225 232 237 243 256 257 260 263 264 267 268 272 274 275 289 293 306 312 318 320 350 352 357 370 386 387 388 392 406 410 412 417 418 436 437 438 442
a 13 14 16 17 19 24 25 28 39 44 47 49 55 58 64 68 79 82 85 91 99 106 107 117 145 152 153 160 174 179 182 187 192 193 209 211 213 214 217 220 221 225 232 237 243 256 257 260 263 264 267 268 272 274 275 289 293 306 312 318 320 350 352 357 370 386 387 388 392 406 412 417 418 436 437 438 442
a 13 14 16 17 19 24 25 28 39 44 47 49 55 58 64 68 79 82 85 91 99 106 107 117 145 152 153 160 174 179 182 187 192 193 209 211 213 214 217 220 221 225 232 237 243 256 257 260 262 263 264 267 268 272 274 275 289 293 306 312 318 320 350 352 357 370 386 387 388 392 406 412 417 418 436 437 442
a 7 13 14 16 17 19 24 25 28 39 44 47 49 55 58 64 68 79 82 85 91 99 107 117 145 152 153 160 174 179 182 187 192 193 209 211 213 214 217 220 221 225 232 237 243 256 257 260 262 263 264 267 268 272 274 275 289 293 306 312 318 320 350 352 357 370 386 387 388 392 406 412 417 418 436 437 442
a 7 13 14 16 17 19 24 25 28 39 44 47 49 55 58 64 68 79 82 85 91 99 107 117 145 152 153 160 174 179 182 187 192 193 209 211 213 214 220 221 225 232 237 243 256 257 260 262 263 264 267 268 272 274 275 289 293 306 312 318 320 350 352 357 370 386 387 388 392 406 412 417 418 436 437 438 442
a 7 13 14 16 17 19 24 25 28 39 44 47 49 55 58 64 68 79 82 85 91 107 117 145 152 153 160 174 179 182 187 192 193 209 211 213 214 217 220 221 225 232 237 243 256 257 260 262 263 264 267 268 272 274 275 289 293 306 312 318 320 350 352 357 370 386 387 388 392 406 412 417 418 436 437 438 442
a 7 13 14 16 17 19 24 25 28 39 44 47 49 55 58 64 68 79 82 85 91 99 107 117 145 152 153 160 174 179 182 187 192 193 209 211 213 214 217 220 221 225 232 237 243 256 257 260 262 263 264 267 268 272 274 275 289 293 306 312 318 320 350 352 357 370 386 387 388 392 406 412 417 418 436 437 438
a 7 13 14 16 17 19 24 25 28 39 44 47 49 55 58 64 68 79 82 85 91 99 107 117 145 152 153 160 174 179 182 187 192 193 209 211 213 214 217 220 225 232 237 243 256 257 260 262 263 264 267 268 272 274 275 289 293 306 312 318 320 350 352 357 370 386 387 388 392 406 412 417 418 436 437 438 442
a 7 13 14 16 17 19 24 25 28 39 44 47 49 55 58 64 68 79 82 85 91 99 107 117 145 153 160 162 174 179 182 187 192 193 209 211 213 214 217 220 225 232 237 243 256 257 260 262 263 264 267 268 272 274 275 289 293 306 312 318 320 350 352 357 370 386 387 388 392 406 412 417 418 436 437 438 442
a 7 13 14 16 17 19 24 25 28 39 44 47 49 55 58 64 68 79 82 85 91 99 107 117 145 153 160 162 174 179 182 187 192 193 209 211 213 214 217 220 225 232 237 243 256 257 260 262 263 264 267 268 272 275 289 293 306 312 318 320 350 352 357 370 386 387 388 392 406 412 414 417 418 436 437 438 442
a 7 13 14 16 17 19 24 25 28 39 44 47 49 55 58 64 68 79 82 85 91 99 107 117 145 153 160 162 174 179 182 187 192 193 209 211 213 214 217 220 225 232 237 243 256 257 260 262 263 264 267 268 272 274 275 289 293 306 312 318 320 350 352 357 370 386 387 388 392 406 412 414 417 418 436 437 442
a 13 14 16 17 19 24 25 28 39 44 47 49 55 58 64 68 79 82 85 91 99 106 107 117 145 153 160 162 174 179 182 187 192 193 209 211 213 214 217 220 225 232 237 243 256 257 260 262 263 264 267 268 272 274 275 289 293 306 312 318 320 350 352 357 370 386 387 388 392 406 412 414 417 418 436 437 442
a 13 14 16 17 19 24 25 28 39 44 47 49 55 58 64 68 79 82 85 91 99 106 107 117 145 153 160 162 174 179 182 187 192 193 209 211 213 214 217 220 225 232 237 243 256 260 262 263 264 267 268 272 274 275 289 293 306 312 314 318 320 350 352 357 370 386 387 388 392 406 412 414 417 418 436 437 442
a 13 14 16 17 19 24 25 28 39 44 47 49 55 58 64 68 79 82 85 91 99 106 107 117 145 152 153 160 174 179 182 187 192 193 209 211 213 214 217 220 225 232 237 243 256 260 262 263 264 267 268 272 274 275 289 293 306 312 314 318 320 350 352 357 370 386 387 388 392 406 412 414 417 418 436 437 442
a 13 14 16 17 19 24 25 28 39 44 47 49 55 58 64 68 79 82 85 91 106 107 117 145 152 153 160 174 179 182 187 192 193 209 211 213 214 215 217 220 225 232 237 243 256 260 262 263 264 267 268 272 274 275 289 293 306 312 314 318 320 350 352 357 370 386 387 388 392 406 412 414 417 418 436 437 442
a 13 14 16 17 19 24 25 28 39 44 47 49 55 58 64 68 79 82 85 106 107 117 145 152 153 160 174 179 182 187 192 193 209 211 213 214 215 217 220 225 232 237 243 256 260 262 263 264 267 268 272 274 275 289 293 306 312 314 318 320 337 350 352 357 370 386 387 388 392 406 412 414 417 418 436 437 442
a 13 14 16 17 19 24 25 28 39 44 47 49 55 58 64 68 79 82 85 106 107 117 145 152 153 160 174 179 182 187 192 193 209 211 213 214 215 217 220 221 225 232 237 243 256 260 262 263 264 267 268 272 274 275 289 293 306 312 314 318 320 337 350 352 357 370 386 387 388 392 406 412 417 418 436 437 442
a 13 14 16 17 19 24 25 28 39 44 47 49 55 58 64 68 79 82 85 106 107 117 145 152 153 160 174 179 182 187 192 193 209 211 213 214 217 220 221 225 232 237 243 256 260 262 263 264 267 268 272 274 275 289 293 306 312 314 318 320 337 350 352 357 370 386 387 388 392 406 412 417 418 436 437 438 442
a 7 13 14 16 17 19 24 25 28 39 44 47 49 55 58 64 68 79 82 85 107 117 145 152 153 160 174 179 182 187 192 193 209 211 213 214 217 220 221 225 232 237 243 256 260 262 263 264 267 268 272 274 275 289 293 306 312 314 318 320 337 350 352 357 370 386 387 388 392 406 412 417 418 436 437 438 442
a 7 13 14 16 17 19 24 25 28 39 44 47 49 55 58 64 68 79 82 85 107 117 145 152 153 160 179 182 187 192 193 209 211 213 214 217 220 221 225 232 237 243 256 260 262 263 264 267 268 272 274 275 289 293 306 312 314 318 320 337 350 352 357 370 386 387 388 392 406 412 417 418 436 437 438 442 444
a 7 13 14 16 17 19 24 25 28 39 44 47 49 55 58 64 68 79 82 85 107 117 145 152 153 160 179 182 192 193 209 211 213 214 215 217 220 221 225 232 237 243 256 260 262 263 264 267 268 272 274 275 289 293 306 312 314 318 320 337 350 352 357 370 386 387 388 392 406 412 417 418 436 437 438 442 444
a 7 13 14 16 17 19 24 25 28 39 44 47 49 55 58 64 68 79 82 85 107 117 145 152 153 160 179 182 192 193 209 213 214 215 217 220 221 225 232 237 243 256 260 262 263 264 267 268 272 274 275 289 293 306 312 314 318 320 337 350 352 357 364 370 386 387 388 392 406 412 417 418 436 437 438 442 444
a 7 13 14 16 17 19 24 25 28 39 44 47 49 55 58 64 68 79 82 85 107 117 145 152 153 160 179 182 189 192 193 209 213 214 215 217 220 221 232 237 243 256 260 262 263 264 267 268 272 274 275 289 293 306 312 314 318 320 337 350 352 357 364 370 386 387 388 392 406 412 417 418 436 437 438 442 444
a 7 13 14 16 17 19 24 25 28 39 44 47 49 55 58 64 68 79 82 85 107 117 145 151 152 153 160 179 182 189 193 209 213 214 215 217 220 221 232 237 243 256 260 262 263 264 267 268 272 274 275 289 293 306 312 314 318 320 337 350 352 357 364 370 386 387 388 392 406 412 417 418 436 437 438 442 444
a 7 13 14 16 17 19 24 25 28 39 44 47 49 55 58 64 68 79 82 85 107 117 145 151 152 153 160 179 182 189 192 193 209 213 214 215 217 220 221 232 237 243 256 260 262 263 264 267 268 272 274 275 289 293 306 314 318 320 337 350 352 357 364 370 386 387 388 392 406 412 417 418 436 437 438 442 444
a 7 13 14 16 17 19 24 25 28 39 44 47 49 55 58 64 68 79 82 85 107 117 145 151 152 153 160 179 182 189 192 193 209 213 214 215 217 220 221 232 237 243 256 262 263 264 267 268 272 274 275 289 293 306 312 314 318 320 337 350 352 357 364 370 386 387 388 392 406 412 417 418 436 437 438 442 444
a 7 13 14 16 17 19 24 25 28 44 47 49 55 58 64 68 79 82 85 107 117 145 151 152 153 160 179 182 189 192 193 209 213 214 215 217 220 221 232 237 243 256 260 262 263 264 267 268 272 274 275 289 293 306 312 314 318 320 337 350 352 357 364 370 386 387 388 392 406 412 417 418 436 437 438 442 444
a 7 13 14 16 17 19 24 25 28 39 44 47 49 55 58 64 68 79 82 85 107 117 145 151 152 153 160 179 182 189 192 193 209 213 214 215 217 220 221 232 237 243 256 260 262 263 264 267 268 272 274 275 289 293 306 312 314 318 320 337 350 352 357 364 370 386 387 388 392 406 412 417 418 436 437 438 442
a 7 13 14 16 17 19 24 25 28 39 44 47 49 55 58 64 68 79 82 85 107 117 145 152 153 160 174 179 182 189 192 193 209 213 214 215 217 220 221 232 237 243 256 260 262 263 264 267 268 272 274 275 289 293 306 312 314 318 320 337 350 352 357 364 370 386 387 388 392 406 412 417 418 436 437 438 442
a 7 13 14 17 19 24 25 28 39 44 47 49 55 58 64 68 79 82 85 107 117 145 152 153 160 174 179 182 187 189 192 193 209 213 214 215 217 220 221 232 237 243 256 260 262 263 264 267 268 272 274 275 289 293 306 312 314 318 320 337 350 352 357 364 370 386 387 388 392 406 412 417 418 436 437 438 442
a 7 13 14 16 17 19 24 25 28 39 44 47 49 55 58 64 68 79 82 85 107 117 145 152 153 160 174 179 182 187 189 192 193 209 213 214 215 217 220 221 232 237 243 256 260 262 263 264 267 268 272 274 275 289 293 306 312 314 318 320 337 350 352 357 364 370 386 388 392 406 412 417 418 436 437 438 442
a 7 13 14 16 19 24 25 28 39 44 47 49 55 58 64 68 79 82 85 107 117 145 152 153 160 174 179 182 187 189 192 193 209 213 214 215 217 220 221 232 237 243 256 260 262 263 264 267 268 272 274 275 289 293 306 312 314 318 320 337 350 352 357 364 370 386 387 388 392 406 412 417 418 436 437 438 442
a 7 13 14 16 19 24 25 28 39 44 47 49 55 58 64 68 79 82 85 107 117 145 151 152 153 160 174 179 182 189 192 193 209 213 214 215 217 220 221 232 237 243 256 260 262 263 264 267 268 272 274 275 289 293 306 312 314 318 320 337 350 352 357 364 370 386 387 388 392 406 412 417 418 436 437 438 442
a 7 13 14 16 17 19 24 25 28 39 44 47 49 55 58 64 68 79 82 85 107 117 145 151 152 153 160 174 179 182 189 192 193 209 213 214 215 217 220 221 232 237 243 256 260 262 263 264 267 268 272 274 275 289 293 306 312 314 320 337 350 352 357 364 370 386 387 388 392 406 412 417 418 436 437 438 442
a 7 13 14 16 17 19 24 25 28 39 44 47 49 55 58 64 68 79 82 85 107 117 145 151 152 153 160 174 182 189 192 193 209 213 214 215 217 220 221 232 237 243 256 260 262 263 264 267 268 272 274 275 289 293 306 312 314 318 320 337 350 352 357 364 370 386 387 388 392 406 412 417 418 436 437 438 442
a 7 13 14 16 17 19 24 25 28 39 44 47 49 55 58 64 68 79 82 85 96 107 117 145 151 152 153 160 174 182 189 192 193 209 213 214 215 217 220 221 232 243 256 260 262 263 264 267 268 272 274 275 289 293 306 312 314 318 320 337 350 352 357 364 370 386 387 388 392 406 412 417 418 436 437 438 442
a 7 13 14 16 17 19 24 25 28 39 44 47 49 55 58 64 68 79 82 85 96 107 117 145 151 152 153 160 174 179 182 189 192 193 209 213 214 215 217 220 221 232 243 256 260 262 263 264 267 268 272 274 275 289 293 306 312 314 318 320 337 350 352 357 370 386 387 388 392 406 412 417 418 436 437 438 442
a 7 13 14 16 17 19 24 25 28 39 44 47 49 55 58 64 68 79 82 85 96 107 117 145 151 152 153 160 174 179 182 189 192 193 209 213 214 215 217 220 221 232 243 256 260 263 264 267 268 272 274 275 289 293 306 312 314 318 320 337 350 352 357 370 386 387 388 392 406 410 412 417 418 436 437 438 442
a 7 13 14 16 17 19 24 25 28 38 39 44 47 49 55 58 64 68 79 82 85 96 107 117 145 151 152 153 160 174 182 189 192 193 209 213 214 215 217 220 221 232 243 256 260 263 264 267 268 272 274 275 289 293 306 312 314 318 320 337 350 352 357 370 386 387 388 392 406 410 412 417 418 436 437 438 442
a 7 13 14 16 17 19 24 25 28 38 39 47 49 55 58 64 68 79 82 85 96 107 117 145 151 152 153 160 174 182 189 192 193 209 213 214 215 217 220 221 232 243 256 260 263 264 267 268 272 274 275 289 293 306 312 314 318 320 337 350 352 357 364 370 386 387 388 392 406 410 412 417 418 436 437 438 442
a 7 13 14 16 17 19 24 25 28 38 39 44 47 49 55 58 64 68 79 82 85 96 107 117 145 151 152 153 160 182 189 192 193 209 213 214 215 217 220 221 232 243 256 260 263 264 267 268 272 274 275 289 293 306 312 314 318 320 337 350 352 357 364 370 386 387 388 392 406 410 412 417 418 436 437 438 442
a 7 13 14 16 17 19 24 25 28 38 39 44 47 49 55 58 64 68 79 82 85 96 107 117 145 151 152 153 160 174 182 189 192 193 209 213 214 217 220 221 232 243 256 260 263 264 267 268 272 274 275 289 293 306 312 314 318 320 337 350 352 357 364 370 386 387 388 392 406 410 412 417 418 436 437 438 442
a 7 13 14 16 17 19 24 25 28 38 39 44 47 49 55 58 64 68 79 82 85 96 107 117 145 152 153 160 174 182 189 192 193 209 213 214 215 217 220 221 232 243 256 260 263 264 267 268 272 274 275 289 293 306 312 314 318 320 337 350 352 357 364 370 386 387 388 392 406 410 412 417 418 436 437 438 442
a 7 13 14 16 17 19 24 25 28 38 39 44 47 49 55 58 64 68 79 85 96 107 117 145 152 153 160 174 182 187 189 192 193 209 213 214 215 217 220 221 232 243 256 260 263 264 267 268 272 274 275 289 293 306 312 314 318 320 337 350 352 357 364 370 386 387 388 392 406 410 412 417 418 436 437 438 442
a 7 13 14 16 17 19 24 25 28 38 39 47 49 55 58 64 68 79 82 85 96 107 117 145 152 153 160 174 182 187 189 192 193 209 213 214 215 217 220 221 232 243 256 260 263 264 267 268 272 274 275 289 293 306 312 314 318 320 337 350 352 357 364 370 386 387 388 392 406 410 412 417 418 436 437 438 442
a 7 13 14 16 17 19 24 25 28 38 39 44 47 49 55 58 64 68 79 82 85 96 107 117 145 152 153 160 174 182 187 189 192 193 209 213 214 215 220 221 232 243 256 260 263 264 267 268 272 274 275 289 293 306 312 314 318 320 337 350 352 357 364 370 386 387 388 392 406 410 412 417 418 436 437 438 442
a 7 13 14 16 17 19 24 25 28 38 39 44 47 49 55 58 64 68 79 82 85 96 107 117 145 152 153 160 174 182 187 189 192 209 213 214 215 217 220 221 232 243 256 260 263 264 267 268 272 274 275 289 293 306 312 314 318 320 337 350 352 357 364 370 386 387 388 392 406 410 412 417 418 436 437 438 442
a 7 13 14 16 17 19 24 25 28 38 39 44 47 49 55 58 64 68 79 82 85 96 107 117 152 153 160 174 182 187 189 192 193 209 213 214 215 217 220 221 232 243 256 260 263 264 267 268 272 274 275 289 293 306 312 314 318 320 337 350 352 357 364 370 386 387 388 392 406 410 412 417 418 436 437 438 442
a 7 13 14 16 17 19 24 25 28 38 39 44 47 49 55 58 64 68 79 82 85 96 107 117 145 152 153 160 174 182 187 189 192 193 209 213 214 215 217 220 221 232 243 256 260 263 264 267 268 272 274 275 289 293 306 312 314 318 320 337 350 352 357 364 370 386 387 388 392 410 412 417 418 436 437 438 442
a 7 13 14 16 17 19 24 25 28 38 39 44 47 49 55 58 68 79 82 85 96 107 117 145 152 153 160 174 182 187 189 192 193 209 213 214 215 217 220 221 232 243 256 260 263 264 267 268 272 274 275 289 293 306 312 314 318 320 337 350 352 357 364 370 386 387 388 392 406 410 412 417 418 436 437 438 442
a 7 13 14 16 17 19 24 25 28 38 39 44 47 49 55 58 64 68 79 82 85 107 117 145 152 153 160 174 182 187 189 192 193 209 213 214 215 217 220 221 232 243 256 260 263 264 267 268 272 274 275 289 293 306 312 314 318 320 337 350 352 357 364 370 386 387 388 392 406 410 412 417 418 436 437 438 442
a 7 13 14 16 17 19 24 25 28 38 39 44 47 49 55 58 64 68 79 82 85 107 117 145 152 153 160 174 182 187 189 192 193 209 213 214 215 217 220 221 232 243 256 257 260 263 264 267 268 272 274 275 289 293 306 312 318 320 337 350 352 357 364 370 386 387 388 392 406 410 412 417 418 436 437 438 442
a 7 13 14 16 17 19 24 25 28 38 39 44 47 49 55 58 64 68 79 82 85 107 117 145 151 152 153 160 174 182 189 192 193 209 213 214 215 217 220 221 232 243 256 257 260 263 264 267 268 272 274 275 289 293 306 312 318 320 337 350 352 357 364 370 386 387 388 392 406 410 412 417 418 436 437 438 442
a 7 13 14 16 17 19 24 25 28 39 44 47 49 55 58 64 68 79 82 85 107 117 145 151 152 153 160 174 179 182 189 192 193 209 213 214 215 217 220 221 232 243 256 257 260 263 264 267 268 272 274 275 289 293 306 312 318 320 337 350 352 357 364 370 386 387 388 392 406 410 412 417 418 436 437 438 442
a 7 13 14 16 17 19 24 25 28 39 44 47 49 55 58 64 68 79 82 85 107 117 145 151 152 153 160 166 174 179 182 189 192 193 209 213 214 215 217 220 221 232 243 256 257 260 263 264 267 268 272 274 275 289 293 306 312 318 320 337 350 352 357 364 370 386 387 388 392 406 410 412 417 418 436 437 442
a 7 13 14 16 17 19 24 25 28 39 44 47 49 55 58 64 68 79 82 85 107 117 145 151 152 153 160 166 174 179 182 189 192 193 209 213 214 215 217 220 221 232 237 243 256 257 260 263 264 267 268 272 274 275 289 293 306 312 318 320 337 350 357 364 370 386 387 388 392 406 410 412 417 418 436 437 442
a 7 13 14 16 17 19 24 25 28 39 44 47 49 55 58 64 68 79 82 85 107 117 145 151 152 153 160 166 174 179 182 189 192 193 209 213 214 215 217 220 221 232 237 243 256 257 260 264 267 268 272 274 275 289 293 306 312 318 320 337 350 352 357 364 370 386 387 388 392 406 410 412 417 418 436 437 442
a 7 13 14 16 17 19 24 25 28 39 44 47 49 55 58 64 68 79 82 85 107 117 145 151 152 153 160 166 174 179 182 189 192 193 209 213 214 215 217 220 221 232 237 243 256 257 260 263 264 267 268 272 274 275 289 293 306 312 318 337 350 352 357 364 370 386 387 388 392 406 410 412 417 418 436 437 442
a 7 13 14 16 17 19 24 25 28 39 44 47 49 55 58 64 68 79 82 85 107 117 145 151 153 160 166 174 179 182 189 192 193 209 213 214 215 217 220 221 232 237 243 256 257 260 263 264 267 268 272 274 275 289 293 306 312 318 320 337 350 352 357 364 370 386 387 388 392 406 410 412 417 418 436 437 442
a 7 13 14 16 17 19 24 25 28 39 44 47 49 55 58 64 68 79 82 85 107 117 145 151 152 153 160 166 174 179 182 189 192 193 209 213 214 215 217 220 221 232 237 243 256 257 260 263 264 267 268 272 274 275 289 293 306 312 318 320 337 350 352 357 364 370 386 387 392 406 410 412 417 418 436 437 442
a 7 13 14 16 17 19 24 25 28 39 44 47 49 55 58 64 68 79 82 85 107 117 145 151 152 153 160 166 174 179 182 189 192 193 209 213 215 217 220 221 232 237 243 256 257 260 263 264 267 268 272 274 275 289 293 306 312 318 320 337 350 352 357 364 370 386 387 388 392 406 410 412 417 418 436 437 442
a 7 13 14 16 19 24 25 28 39 44 47 49 55 58 64 68 79 82 85 107 117 145 151 152 153 160 166 174 179 182 189 192 193 209 213 215 217 220 221 232 237 243 256 257 260 263 264 267 268 272 274 275 289 293 299 306 312 318 320 337 350 352 357 364 370 386 387 388 392 406 410 412 417 418 436 437 442
a 7 13 14 16 19 24 25 28 39 44 47 49 55 58 64 68 79 82 85 107 145 151 152 153 160 166 174 179 182 189 192 193 209 213 215 217 220 221 232 237 243 256 257 260 263 264 267 268 272 274 275 289 293 299 306 312 318 320 337 350 352 357 364 370 386 387 388 392 401 406 410 412 417 418 436 437 442
a 7 13 14 16 19 24 25 28 39 44 47 49 55 58 64 68 79 82 85 107 145 151 152 153 160 166 174 179 182 189 192 193 209 213 215 217 220 221 232 237 243 256 257 260 263 264 267 268 272 274 275 289 293 299 306 312 313 318 320 337 350 352 357 364 370 386 387 388 392 401 406 410 417 418 436 437 442
a 7 13 14 16 19 24 25 28 38 39 44 47 49 55 58 64 68 79 82 85 107 145 151 152 153 160 166 174 182 189 192 193 209 213 215 217 220 221 232 237 243 256 257 260 263 264 267 268 272 274 275 289 293 299 306 312 313 318 320 337 350 352 357 364 370 386 387 388 392 401 406 410 417 418 436 437 442
a 7 13 14 16 19 24 25 28 38 39 44 47 49 55 58 64 68 79 82 85 107 145 151 152 153 160 166 174 182 189 192 193 209 213 214 215 217 220 221 232 237 243 256 257 260 263 264 267 268 272 274 275 289 293 299 306 312 313 318 320 337 350 352 357 364 370 386 387 388 392 406 410 417 418 436 437 442
a 7 13 14 16 19 24 25 28 38 39 44 47 49 55 58 64 68 79 82 85 107 117 145 151 152 153 160 166 174 182 189 192 193 209 213 214 215 217 220 221 232 237 243 256 257 260 263 264 267 268 272 274 275 289 293 299 306 312 313 318 320 337 350 352 357 364 370 386 387 388 392 406 410 417 418 436 442
a 7 13 14 16 19 24 25 28 38 39 44 47 49 55 58 64 68 79 82 85 107 117 145 151 152 153 160 166 174 182 189 192 193 209 213 214 215 217 220 221 232 237 243 256 257 260 263 264 267 268 272 275 289 293 299 306 312 313 318 320 337 350 352 357 364 370 386 387 388 392 406 410 417 418 436 437 442
a 7 13 14 16 19 24 25 28 38 39 44 47 49 55 58 64 68 79 82 83 85 107 117 145 151 152 153 160 166 174 182 189 192 193 209 213 214 215 217 220 221 232 237 243 256 257 260 263 264 267 268 272 275 289 293 306 312 313 318 320 337 350 352 357 364 370 386 387 388 392 406 410 417 418 436 437 442
a 7 13 14 16 17 19 24 25 28 38 39 44 47 49 55 58 64 68 79 82 83 85 107 117 145 151 152 153 160 166 174 182 189 192 193 209 213 214 215 217 220 221 232 237 243 256 257 260 263 264 267 268 272 275 289 293 306 312 313 318 320 337 352 357 364 370 386 387 388 392 406 410 417 418 436 437 442
a 13 14 16 17 19 24 25 28 38 39 44 47 49 55 58 64 68 79 82 83 85 106 107 117 145 151 152 153 160 166 174 182 189 192 193 209 213 214 215 217 220 221 232 237 243 256 257 260 263 264 267 268 272 275 289 293 306 312 313 318 320 337 352 357 364 370 386 387 388 392 406 410 417 418 436 437 442
a 13 14 16 17 19 24 25 28 39 44 47 49 55 58 64 68 79 82 83 85 106 107 117 145 151 152 153 160 166 174 179 182 189 192 193 209 213 214 215 217 220 221 232 237 243 256 257 260 263 264 267 268 272 275 289 293 306 312 313 318 320 337 352 357 364 370 386 387 388 392 406 410 417 418 436 437 442
a 13 14 16 17 19 24 25 28 39 44 47 49 55 58 64 68 79 82 83 85 106 107 117 145 151 153 160 162 166 174 179 182 189 192 193 209 213 214 215 217 220 221 232 237 243 256 257 260 263 264 267 268 272 275 289 293 306 312 313 318 320 337 352 357 364 370 386 387 388 392 406 410 417 418 436 437 442
a 7 13 14 16 17 19 24 25 28 39 44 47 49 55 58 64 68 79 82 83 85 107 117 145 151 153 160 162 166 174 179 182 189 192 193 209 213 214 215 217 220 221 232 237 243 256 257 260 263 264 267 268 272 275 289 293 306 312 313 318 320 337 352 357 364 370 386 387 388 392 406 410 417 418 436 437 442
a 7 13 14 16 17 19 24 25 28 39 44 47 49 55 58 64 68 79 82 83 85 107 117 145 151 153 160 162 166 174 179 182 189 192 193 209 213 214 215 217 220 221 232 237 243 256 257 260 263 264 267 268 272 275 289 293 306 312 318 320 337 350 352 357 364 370 386 387 388 392 406 410 417 418 436 437 442
a 7 13 14 16 17 19 24 25 28 39 44 47 49 55 58 64 68 79 82 83 85 107 117 145 151 153 160 162 166 174 179 182 189 192 193 209 213 214 215 217 220 221 232 237 243 256 257 260 264 267 268 272 275 289 293 306 312 318 320 337 350 352 357 364 370 372 386 387 388 392 406 410 417 418 436 437 442
a 7 13 14 16 17 19 24 25 28 39 44 47 49 55 58 64 68 79 82 83 85 107 117 145 151 153 157 160 162 174 179 182 189 192 193 209 213 214 215 217 220 221 232 237 243 256 257 260 264 267 268 272 275 289 293 306 312 318 320 337 350 352 357 364 370 372 386 387 388 392 406 410 417 418 436 437 442
a 7 13 14 16 17 19 24 25 28 39 44 47 49 55 58 64 68 79 82 83 85 107 117 145 151 153 157 160 162 174 179 182 189 192 193 209 211 213 214 215 217 220 221 232 237 243 256 257 260 264 267 268 272 275 289 293 306 312 318 320 337 350 352 357 370 372 386 387 388 392 406 410 417 418 436 437 442
c Step: 86
#END: [Wed Aug 30 19:59:30 2023]