#BEGIN: [Fri Sep  1 02:27:14 2023]
#HOST: s11
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-cpu-banbaralab-longest2
#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 --ulimit cpu=1800 -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab --longest -t4 /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
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 107 117 145 152 153 160 174 179 182 187 192 193 209 211 213 214 215 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 107 117 145 152 153 160 174 179 182 187 192 193 209 211 213 214 215 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 392 406 410 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 83 85 91 107 117 145 152 153 160 174 179 182 187 192 193 209 211 213 214 215 217 220 225 232 237 243 256 257 260 263 264 267 268 272 275 289 293 306 312 318 320 350 352 357 370 386 387 392 406 410 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 83 85 91 107 117 145 152 153 160 174 179 182 187 192 193 209 211 213 214 215 217 220 225 232 237 243 256 257 260 263 264 267 268 272 275 289 293 306 312 318 320 350 352 357 370 386 387 392 406 410 412 414 417 418 431 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 107 117 145 152 153 160 174 179 182 187 192 193 209 211 213 214 215 217 220 225 232 237 243 256 257 260 263 264 267 268 272 275 289 293 306 312 318 320 350 352 357 370 386 387 388 392 406 410 412 414 417 418 431 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 107 117 145 152 153 160 174 179 182 187 192 193 209 211 213 214 215 217 220 225 232 237 243 256 257 260 263 264 267 268 272 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 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 215 217 220 225 232 237 243 256 257 260 263 264 267 268 272 275 289 293 306 312 318 320 350 352 356 357 370 386 387 388 392 406 410 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 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 356 357 370 386 387 388 392 406 410 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 107 117 145 152 153 160 174 179 182 187 192 193 209 211 213 214 215 217 220 225 232 237 243 256 257 260 263 264 267 268 272 274 275 289 293 306 312 318 320 350 352 356 370 386 387 388 392 406 410 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 107 117 145 152 153 160 174 179 182 187 189 192 193 209 211 213 214 215 217 220 232 237 243 256 257 260 263 264 267 268 272 274 275 289 293 306 312 318 320 350 352 356 370 386 387 388 392 406 410 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 107 117 145 152 153 160 174 179 182 187 189 192 193 209 211 213 214 215 217 220 232 237 243 256 257 260 263 264 267 268 272 275 289 293 306 312 318 320 350 352 356 357 370 386 387 388 392 406 410 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 107 117 145 152 153 160 174 179 182 187 189 192 193 209 211 213 214 215 217 220 232 237 243 256 257 260 263 264 267 268 272 275 289 293 306 312 318 320 350 352 356 357 370 386 387 388 392 406 410 414 417 418 431 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 107 117 145 152 153 160 174 179 182 187 189 192 193 209 211 213 214 215 217 220 232 237 243 256 257 260 263 264 267 268 272 275 289 293 306 312 313 318 320 350 352 357 370 386 387 388 392 406 410 414 417 418 431 436 437 442
a 7 13 14 16 17 19 24 25 28 39 44 47 49 55 64 68 79 82 85 91 107 117 145 152 153 160 174 179 182 187 189 192 193 209 211 213 214 215 217 220 232 237 243 256 257 260 263 264 267 268 272 275 289 293 306 312 313 318 320 350 352 357 370 374 386 387 388 392 406 410 414 417 418 431 436 437 442
a 7 13 14 16 17 19 24 25 28 39 44 47 49 55 64 68 79 82 85 91 107 117 145 152 153 160 174 179 182 187 192 193 209 211 213 214 215 217 220 225 232 237 243 256 257 260 263 264 267 268 272 275 289 293 306 312 313 318 320 350 352 357 370 374 386 387 388 392 406 410 414 417 418 431 436 437 442
a 7 13 14 16 17 19 24 25 28 39 44 47 49 55 64 68 79 82 85 91 107 117 145 152 153 160 174 179 182 187 192 193 209 211 213 214 215 217 220 225 232 237 243 256 257 260 263 264 267 268 272 274 275 289 293 306 312 313 318 320 350 352 357 370 374 386 387 388 392 406 410 414 417 418 436 437 442
a 7 13 14 16 17 19 24 25 28 39 44 47 49 55 64 68 79 82 85 91 107 117 145 152 153 160 167 174 179 182 192 193 209 211 213 214 215 217 220 225 232 237 243 256 257 260 263 264 267 268 272 274 275 289 293 306 312 313 318 320 350 352 357 370 374 386 387 388 392 406 410 414 417 418 436 437 442
a 7 13 14 16 17 19 24 25 28 39 44 47 49 55 64 68 79 82 85 91 107 117 145 153 160 162 167 174 179 182 192 193 209 211 213 214 215 217 220 225 232 237 243 256 257 260 263 264 267 268 272 274 275 289 293 306 312 313 318 320 350 352 357 370 374 386 387 388 392 406 410 414 417 418 436 437 442
a 7 13 14 16 17 19 24 25 28 39 44 47 49 55 64 68 79 82 85 91 107 117 145 153 160 162 167 174 179 182 189 192 193 209 211 213 214 215 217 220 232 237 243 256 257 260 263 264 267 268 272 274 275 289 293 306 312 313 318 320 350 352 357 370 374 386 387 388 392 406 410 414 417 418 436 437 442
a 7 13 14 16 17 19 24 25 28 39 44 47 49 55 64 68 79 82 85 91 107 117 145 153 160 162 167 174 179 182 189 192 193 209 211 213 214 215 217 220 232 237 243 256 257 260 263 264 267 268 272 274 275 289 293 306 312 313 318 320 350 352 357 370 374 386 387 388 392 406 410 417 418 431 436 437 442
a 7 13 14 16 17 19 24 25 28 39 44 47 49 55 64 68 79 82 85 91 107 117 145 153 160 162 167 174 179 182 189 192 193 209 211 213 214 215 217 220 221 232 237 243 256 257 260 263 264 267 268 272 274 275 289 293 306 312 313 318 320 350 352 357 370 374 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 64 68 79 82 85 91 107 117 145 152 153 160 167 174 179 182 189 192 193 209 211 213 214 215 217 220 221 232 237 243 256 257 260 263 264 267 268 272 274 275 289 293 306 312 313 318 320 350 352 357 370 374 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 64 68 79 82 85 91 107 117 145 152 153 160 167 174 179 182 189 192 193 209 211 213 214 215 217 220 221 232 237 243 256 257 260 263 264 267 268 272 274 275 289 293 306 312 313 318 320 350 352 357 370 374 386 387 392 406 410 417 418 431 436 437 442
a 7 13 14 16 17 19 24 25 28 39 44 47 49 55 64 68 79 82 85 91 107 117 145 153 160 167 174 179 182 189 192 193 209 211 213 214 215 217 220 221 232 237 243 256 257 260 263 264 267 268 272 274 275 289 293 306 312 313 318 320 350 352 357 370 374 386 387 388 392 406 410 417 418 431 436 437 442
a 7 13 14 16 17 19 24 25 28 39 44 47 49 55 64 68 79 82 85 91 107 117 145 153 160 162 167 174 179 182 192 193 209 211 213 214 215 217 220 221 232 237 243 256 257 260 263 264 267 268 272 274 275 289 293 306 312 313 318 320 350 352 357 370 374 386 387 388 392 406 410 417 418 431 436 437 442
a 7 13 14 16 17 19 24 25 28 39 44 47 49 55 64 68 79 82 85 91 107 117 145 153 160 162 167 174 179 182 192 193 209 211 213 214 215 217 220 221 225 232 237 243 256 257 260 263 264 267 268 272 274 275 289 293 306 312 313 318 320 350 352 357 370 374 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 64 68 79 82 85 91 107 117 145 153 160 162 167 174 182 192 193 209 211 213 214 215 217 220 221 225 232 237 243 256 257 260 263 264 267 268 272 274 275 289 293 306 312 313 318 320 350 352 357 370 374 386 387 388 392 406 410 417 418 436 437 438 442
a 7 13 14 16 17 19 24 25 28 39 44 47 49 55 64 68 79 82 85 91 107 117 145 153 160 162 167 174 182 192 193 209 211 213 214 215 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 374 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 64 68 79 82 85 91 107 117 145 153 160 162 167 174 182 192 193 209 211 213 214 215 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 374 386 387 388 392 406 410 412 417 418 431 436 437 442
a 7 13 14 16 17 19 24 25 28 39 44 47 49 55 64 68 79 82 85 91 99 107 117 145 153 160 162 167 174 182 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 374 386 387 388 392 406 410 412 417 418 431 436 437 442
a 7 13 14 16 17 19 24 25 28 39 44 47 49 55 64 68 79 82 85 91 107 117 145 153 160 162 167 174 179 182 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 374 386 387 388 392 406 410 412 417 418 431 436 437 442
a 7 13 14 16 17 19 24 25 28 39 44 47 49 55 64 68 79 82 85 91 107 117 145 151 153 160 162 174 179 182 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 374 386 387 388 392 406 410 412 417 418 431 436 437 442
a 7 13 14 16 17 19 24 25 28 39 44 47 49 55 64 68 79 82 85 91 107 145 151 153 160 162 174 179 182 192 193 209 211 213 214 215 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 374 386 387 388 392 406 410 412 417 418 431 436 437 442
a 7 13 14 16 17 19 24 25 28 39 44 47 49 55 64 68 79 82 85 91 107 117 145 151 153 160 162 174 179 182 192 193 209 211 213 214 215 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 431 436 437 442
a 7 13 14 16 17 19 24 25 28 39 44 47 49 55 64 68 79 82 85 91 107 117 145 151 152 153 160 174 179 182 192 193 209 211 213 214 215 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 431 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 107 117 145 151 152 153 160 174 179 182 192 193 209 211 213 214 215 217 220 221 225 232 237 243 256 257 260 263 264 267 268 272 274 275 289 293 312 318 320 350 352 357 370 386 387 388 392 406 410 412 417 418 431 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 107 117 145 151 152 153 160 174 179 182 192 193 209 211 213 214 215 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 417 418 431 436 437 442
a 7 13 14 16 17 19 24 25 28 39 44 47 49 55 64 68 79 82 85 91 107 117 145 151 152 153 160 174 179 182 192 193 209 211 213 214 215 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 436 437 442
a 7 13 14 16 17 19 24 25 28 39 44 47 49 55 64 68 79 82 85 91 107 117 145 151 152 153 160 174 179 182 192 193 209 211 213 214 215 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 374 386 387 388 392 406 410 412 414 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 107 117 145 151 152 153 160 174 179 182 192 193 209 211 213 214 215 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 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 151 152 153 157 160 174 179 182 192 193 209 211 213 214 215 217 220 225 232 237 243 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 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 151 152 157 160 174 179 182 192 193 209 211 213 214 215 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 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 151 152 153 157 160 174 179 182 192 193 209 211 213 214 215 217 220 225 232 237 243 256 257 260 263 264 267 268 272 274 275 289 293 306 312 318 320 350 357 370 386 387 388 392 406 410 412 414 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 107 117 145 151 152 153 157 160 174 179 182 189 192 193 209 211 213 214 215 217 220 232 237 243 256 257 260 263 264 267 268 272 274 275 289 293 306 312 318 320 350 357 370 386 387 388 392 406 410 412 414 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 107 117 145 151 153 157 160 174 179 182 189 192 193 209 211 213 214 215 217 220 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 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 157 160 174 179 182 189 192 193 209 211 213 214 215 217 220 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 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 153 157 160 162 174 179 182 189 192 193 209 211 213 214 215 217 220 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 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 153 157 160 162 174 179 182 187 192 193 209 211 213 214 215 217 220 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 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 153 157 160 162 174 179 182 187 189 192 193 209 211 213 214 215 217 220 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 414 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 107 117 145 153 157 160 162 174 179 182 187 189 192 193 209 211 214 215 217 220 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 7 13 14 16 17 19 24 25 28 39 44 47 49 55 58 64 68 79 82 85 91 107 117 145 153 157 160 162 174 179 182 187 189 192 193 209 211 213 214 215 217 220 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 107 117 145 153 157 160 162 174 179 182 187 189 192 209 211 213 214 215 217 220 221 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 38 39 44 47 49 55 58 64 68 79 82 85 91 107 117 145 153 157 160 162 174 182 187 189 192 209 211 213 214 215 217 220 221 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 38 39 44 47 49 55 58 64 68 79 82 85 91 107 117 145 153 157 160 162 174 182 187 189 192 193 209 211 213 214 215 217 220 221 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 388 392 406 412 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 85 91 107 117 145 153 157 160 162 174 182 187 189 192 193 209 211 213 214 217 220 221 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 38 39 44 47 49 55 58 64 68 79 82 85 91 107 117 145 153 157 160 162 174 182 187 189 192 193 209 211 213 214 215 217 220 221 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 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 85 91 107 117 145 153 157 160 162 174 182 187 189 192 193 209 211 213 214 215 217 220 221 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 437 442
a 7 13 14 16 17 19 24 25 28 38 39 44 47 49 55 58 64 68 79 82 85 91 107 117 145 153 157 160 162 174 182 187 189 192 193 209 211 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 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 38 39 47 49 55 58 64 68 79 82 85 91 107 117 145 153 157 160 162 174 182 187 189 192 193 209 211 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 350 352 357 370 386 387 388 392 406 410 412 417 418 436 437 442
a 7 13 14 16 17 19 24 25 28 38 39 47 49 55 58 64 68 79 82 83 85 91 107 117 145 153 157 160 162 174 182 187 189 192 193 209 211 213 214 215 217 220 221 232 237 243 256 257 260 263 264 267 268 272 275 289 293 306 312 318 320 350 352 357 370 386 387 388 392 406 410 412 417 418 436 437 442
a 7 13 14 16 17 19 24 25 28 38 39 47 49 55 58 64 68 79 82 83 85 91 107 117 145 153 157 160 162 174 182 189 192 193 209 210 211 213 214 215 217 220 221 232 237 243 256 257 260 263 264 267 268 272 275 289 293 306 312 318 320 350 352 357 370 386 387 388 392 406 410 412 417 418 436 437 442
a 7 13 14 16 17 19 24 25 28 39 47 49 55 58 64 68 79 82 83 85 91 107 117 145 151 153 157 160 162 174 182 189 192 193 209 210 211 213 214 215 217 220 221 232 237 243 256 257 260 263 264 267 268 272 275 289 293 306 312 318 320 350 352 357 370 386 387 388 392 406 410 412 417 418 436 437 442
a 7 13 14 17 19 24 25 28 38 39 47 49 55 58 64 68 79 82 83 85 91 107 117 145 151 153 157 160 162 174 182 189 192 193 209 210 211 213 214 215 217 220 221 232 237 243 256 257 260 263 264 267 268 272 275 289 293 306 312 318 320 350 352 357 370 386 387 388 392 406 410 412 417 418 436 437 442
a 7 13 14 17 19 24 25 28 38 39 47 49 55 58 64 68 82 83 85 91 107 117 145 151 153 157 160 162 174 182 189 192 193 209 210 211 213 214 215 217 220 221 232 237 243 256 257 260 263 264 267 268 272 275 289 293 306 312 318 320 350 352 357 370 386 387 388 392 406 410 412 417 418 436 437 442 450
a 7 13 14 17 19 24 25 28 38 39 47 49 55 58 64 68 82 83 85 91 107 117 145 151 153 160 162 174 182 189 192 193 209 210 211 213 214 215 217 220 221 232 237 243 256 257 260 263 264 267 268 272 275 289 293 306 312 318 320 350 352 357 370 386 387 388 392 406 410 412 417 418 436 437 438 442 450
a 7 13 14 17 19 24 25 28 38 39 47 49 55 58 64 68 79 82 83 85 91 107 117 145 151 153 160 174 182 189 192 193 209 210 211 213 214 215 217 220 221 232 237 243 256 257 260 263 264 267 268 272 275 289 293 306 312 318 320 350 352 357 370 386 387 388 392 406 410 412 417 418 436 437 438 442 450
a 7 13 14 17 19 24 25 28 38 39 47 49 55 58 64 68 79 82 83 85 91 107 117 145 151 153 160 174 182 189 192 193 209 210 211 213 214 215 217 220 232 237 243 256 257 260 263 264 267 268 272 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 450
a 7 13 14 17 19 24 25 28 38 39 47 49 55 58 64 68 79 82 83 85 91 107 117 145 151 153 160 174 182 189 192 193 209 210 211 213 214 215 217 220 232 237 243 256 257 260 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 447 450
a 7 13 14 17 19 24 25 28 38 39 47 49 55 58 64 68 79 82 85 91 107 117 145 151 153 160 174 182 189 192 193 209 210 211 213 214 215 217 220 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 414 417 418 436 437 438 442 447 450
a 7 13 14 17 19 24 25 28 38 39 47 49 55 58 64 68 79 82 85 91 107 117 145 151 152 153 160 174 182 189 192 193 209 210 211 213 214 215 217 220 232 237 243 256 257 260 263 264 267 268 272 274 275 289 293 306 312 318 320 350 352 357 370 387 388 392 406 412 414 417 418 436 437 438 442 447 450
a 7 13 14 17 19 24 25 28 38 39 47 49 55 58 64 68 79 82 85 91 107 117 145 151 152 153 157 160 174 182 189 192 193 209 210 211 213 214 215 217 220 232 237 243 256 257 260 263 264 267 268 272 274 275 289 293 306 312 318 320 350 352 357 370 387 388 392 406 412 414 417 418 436 437 442 447 450
a 7 13 14 17 19 24 25 28 38 39 47 49 55 58 64 68 79 82 85 91 107 117 145 151 152 153 157 160 174 182 189 192 193 209 210 211 213 214 215 217 220 232 237 243 256 257 260 263 264 267 268 272 274 275 289 293 306 312 318 320 350 352 357 370 387 388 392 406 410 412 414 417 418 436 437 442 450
a 7 13 14 17 19 24 25 28 38 39 47 49 55 58 64 68 79 82 85 91 107 117 145 151 152 153 157 160 174 182 189 192 193 209 211 213 214 215 217 220 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 442 450
a 7 13 14 17 19 24 25 28 38 39 47 49 55 58 64 68 79 82 85 107 117 145 151 152 153 157 160 174 182 189 192 193 209 210 211 213 214 215 217 220 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 442 450
a 7 13 14 17 19 24 25 28 38 39 44 47 49 55 58 64 68 79 82 85 107 117 145 151 152 153 157 160 174 182 189 192 193 209 211 213 214 215 217 220 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 442 450
a 7 13 14 17 19 24 25 28 38 39 44 47 49 55 58 64 68 79 82 85 107 117 145 151 153 157 160 162 174 182 189 192 193 209 211 213 214 215 217 220 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 442 450
a 7 13 14 17 19 24 25 28 38 39 44 47 49 55 58 64 68 79 82 83 85 107 117 145 151 153 157 160 162 174 182 189 192 193 209 211 213 214 215 217 220 232 237 243 256 257 260 263 264 267 268 272 275 289 293 306 312 318 320 350 352 357 370 386 387 388 392 406 410 412 414 417 418 436 437 442 450
a 7 13 14 17 19 24 25 28 38 39 44 47 49 55 58 64 68 79 82 83 85 107 117 145 151 153 157 160 162 174 182 189 192 193 209 211 213 214 215 217 220 232 237 243 256 257 260 263 264 267 268 272 275 289 293 306 312 318 320 337 350 352 357 370 386 387 388 392 406 410 412 417 418 436 437 442 450
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 153 157 160 162 174 182 189 192 193 209 211 213 214 215 217 220 232 237 243 256 257 260 263 264 267 268 272 275 289 293 306 312 318 320 337 350 352 357 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 83 85 107 117 145 151 153 157 160 162 174 179 182 189 192 193 209 211 213 214 215 217 220 232 237 243 256 257 260 263 264 267 268 272 275 289 293 306 312 318 320 337 350 352 357 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 83 85 107 117 140 145 151 153 157 160 162 174 179 182 189 192 193 209 211 213 214 215 217 220 232 237 243 256 257 260 263 264 267 268 272 275 289 293 306 312 318 320 337 350 352 357 370 386 387 388 392 410 412 417 418 436 437 442
a 7 14 16 17 19 24 25 28 39 44 47 49 55 58 64 68 79 82 83 85 107 117 140 145 151 153 157 160 162 174 179 182 189 192 193 209 211 213 214 215 217 220 232 237 243 256 257 260 263 264 267 268 272 275 289 293 306 312 318 320 337 350 352 357 370 386 387 388 392 410 412 414 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 232 237 243 256 257 260 263 264 267 268 272 275 289 293 306 312 318 320 337 350 352 357 370 386 387 388 392 410 412 414 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 263 264 267 268 272 275 289 293 306 312 318 320 337 350 352 357 370 386 387 388 392 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 83 85 107 117 145 151 153 157 160 162 174 179 182 189 192 193 209 211 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 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 83 85 107 117 145 151 153 157 160 162 174 179 182 189 192 193 209 211 214 215 217 220 221 232 237 243 256 260 263 264 267 268 272 275 289 293 306 312 314 318 320 337 350 352 357 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 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 260 263 264 267 268 272 275 289 293 306 312 314 318 320 337 350 352 357 370 386 387 388 392 406 410 412 417 418 436 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 232 237 243 256 260 263 264 267 268 272 275 289 293 306 312 314 318 320 337 350 352 357 370 386 387 388 392 406 410 412 414 417 418 436 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 232 237 243 256 257 260 263 264 267 268 272 275 289 293 306 312 318 320 337 350 352 357 370 386 387 388 392 406 410 412 414 417 418 436 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 263 264 267 268 272 275 289 293 306 312 318 320 337 350 352 357 370 386 387 388 392 406 410 412 417 418 436 442
a 7 13 14 16 17 19 24 25 28 39 44 47 49 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 263 264 267 268 272 275 289 293 306 312 318 320 337 350 352 357 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 83 85 107 117 145 151 153 157 160 162 174 179 182 189 192 193 209 211 213 214 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 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 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 263 264 267 268 272 275 289 293 306 312 318 320 337 350 352 357 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 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 263 264 267 268 272 275 289 293 306 312 318 320 337 350 352 357 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 157 160 162 174 179 182 189 192 193 209 211 213 214 215 217 220 221 232 237 243 256 257 260 263 267 268 272 275 289 293 306 312 318 320 337 350 352 356 357 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 157 160 162 174 179 182 189 192 193 209 211 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 356 357 370 386 387 388 392 406 410 417 418 436 437 442
a 7 13 14 16 17 19 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 263 264 267 268 272 275 289 293 306 312 318 320 337 350 352 356 357 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 157 160 162 174 179 182 189 192 193 209 211 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 356 357 370 386 387 388 392 406 410 417 418 436 437
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 237 243 256 257 260 263 264 267 268 272 275 289 293 306 312 318 320 337 350 352 356 357 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 157 160 162 174 179 182 189 192 193 209 211 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 356 357 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 157 160 162 174 179 182 189 192 193 209 211 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 356 357 370 386 387 388 392 406 410 417 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 263 264 267 268 272 275 289 293 306 312 318 320 337 350 352 356 357 370 386 387 388 392 406 410 417 418 436 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 356 357 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 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: 104
#END: [Fri Sep  1 02:36:00 2023]