#BEGIN: [Sat Sep  9 19:26:04 2023]
#HOST: s09
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-wallclock-ai-planning-longest1
#INSTANCE1: /benchmark/2022benchmark/benchmark/color04/le450_5b.col
#INSTANCE2: /benchmark/2022benchmark/benchmark/color04/le450_5b_02.dat
#COMMAND: docker run --cap-add=CAP_SYS_RESOURCE --cidfile /tmp/cid.txt --init --rm -t -v /home/share/benchmark/ISR-benchmark:/benchmark ai-planning --config=longest-single --memory-limit=54 --time-limit=1800 /benchmark/2022benchmark/benchmark/color04/le450_5b.col /benchmark/2022benchmark/benchmark/color04/le450_5b_02.dat
s 7 12 17 22 32 37 47 56 57 61 62 66 71 72 76 77 81 82 85 87 97 102 107 112 122 127 137 147 152 162 167 171 172 176 177 181 186 187 191 192 196 197 202 212 217 227 229 237 242 257 262 267 281 282 286 287 291 292 296 301 302 306 307 317 327 332 342 347 352 357 367 372 377 382 392 396 397 401 406 407 411 416 417 421 422 432 437 442 447 
t 7 12 17 22 32 37 47 56 57 61 62 66 71 72 76 77 81 82 85 87 97 102 107 112 122 127 137 147 152 162 167 171 172 176 177 181 186 187 191 192 196 197 202 212 217 227 229 237 257 262 267 277 281 282 286 287 291 292 296 301 302 306 307 317 327 342 347 352 357 367 372 374 377 382 392 396 397 401 406 407 411 416 417 421 422 432 437 442 447
a YES
a 7 12 17 22 32 37 47 56 57 61 62 66 71 72 76 77 81 82 85 87 97 102 107 112 122 127 137 147 152 162 167 171 172 176 177 181 186 187 191 192 196 197 202 212 217 227 229 237 242 257 262 267 281 282 286 287 291 292 296 301 302 306 307 317 327 332 342 347 352 357 367 372 377 382 392 396 397 401 406 407 411 416 417 421 422 432 437 442 447
a 7 12 17 22 32 37 47 56 57 61 62 66 71 72 76 77 82 85 87 97 102 107 112 122 127 137 147 152 162 167 171 172 176 177 181 186 187 191 192 196 197 202 212 217 227 229 237 242 257 262 267 277 281 282 286 287 291 292 296 301 302 306 307 317 327 332 342 347 352 357 367 372 377 382 392 396 397 401 406 407 411 416 417 421 422 432 437 442 447
a 7 12 17 22 32 37 47 56 57 61 62 66 71 72 76 81 82 85 87 97 102 107 112 122 127 137 147 152 162 167 171 172 176 177 181 186 187 191 192 196 197 202 212 217 227 229 237 242 257 262 267 277 281 282 286 287 291 292 296 301 302 306 307 317 327 332 342 347 352 357 367 372 377 382 392 396 397 401 406 407 411 416 417 421 422 432 437 442 447
a 7 12 17 22 32 37 47 56 57 61 62 66 71 72 77 81 82 85 87 97 102 107 112 122 127 137 147 152 162 167 171 172 176 177 181 186 187 191 192 196 197 202 212 217 227 229 237 242 257 262 267 277 281 282 286 287 291 292 296 301 302 306 307 317 327 332 342 347 352 357 367 372 377 382 392 396 397 401 406 407 411 416 417 421 422 432 437 442 447
a 7 12 17 22 32 37 47 56 57 61 62 66 71 76 77 81 82 85 87 97 102 107 112 122 127 137 147 152 162 167 171 172 176 177 181 186 187 191 192 196 197 202 212 217 227 229 237 242 257 262 267 277 281 282 286 287 291 292 296 301 302 306 307 317 327 332 342 347 352 357 367 372 377 382 392 396 397 401 406 407 411 416 417 421 422 432 437 442 447
a 7 12 17 22 32 37 47 56 57 61 62 66 72 76 77 81 82 85 87 97 102 107 112 122 127 137 147 152 162 167 171 172 176 177 181 186 187 191 192 196 197 202 212 217 227 229 237 242 257 262 267 277 281 282 286 287 291 292 296 301 302 306 307 317 327 332 342 347 352 357 367 372 377 382 392 396 397 401 406 407 411 416 417 421 422 432 437 442 447
a 7 12 17 22 32 37 47 56 57 61 62 71 72 76 77 81 82 85 87 97 102 107 112 122 127 137 147 152 162 167 171 172 176 177 181 186 187 191 192 196 197 202 212 217 227 229 237 242 257 262 267 277 281 282 286 287 291 292 296 301 302 306 307 317 327 332 342 347 352 357 367 372 377 382 392 396 397 401 406 407 411 416 417 421 422 432 437 442 447
a 7 12 17 22 32 37 47 56 57 61 66 71 72 76 77 81 82 85 87 97 102 107 112 122 127 137 147 152 162 167 171 172 176 177 181 186 187 191 192 196 197 202 212 217 227 229 237 242 257 262 267 277 281 282 286 287 291 292 296 301 302 306 307 317 327 332 342 347 352 357 367 372 377 382 392 396 397 401 406 407 411 416 417 421 422 432 437 442 447
a 7 12 17 22 32 37 47 56 57 62 66 71 72 76 77 81 82 85 87 97 102 107 112 122 127 137 147 152 162 167 171 172 176 177 181 186 187 191 192 196 197 202 212 217 227 229 237 242 257 262 267 277 281 282 286 287 291 292 296 301 302 306 307 317 327 332 342 347 352 357 367 372 377 382 392 396 397 401 406 407 411 416 417 421 422 432 437 442 447
a 7 12 17 22 32 37 47 56 61 62 66 71 72 76 77 81 82 85 87 97 102 107 112 122 127 137 147 152 162 167 171 172 176 177 181 186 187 191 192 196 197 202 212 217 227 229 237 242 257 262 267 277 281 282 286 287 291 292 296 301 302 306 307 317 327 332 342 347 352 357 367 372 377 382 392 396 397 401 406 407 411 416 417 421 422 432 437 442 447
a 7 12 17 22 32 37 47 57 61 62 66 71 72 76 77 81 82 85 87 97 102 107 112 122 127 137 147 152 162 167 171 172 176 177 181 186 187 191 192 196 197 202 212 217 227 229 237 242 257 262 267 277 281 282 286 287 291 292 296 301 302 306 307 317 327 332 342 347 352 357 367 372 377 382 392 396 397 401 406 407 411 416 417 421 422 432 437 442 447
a 7 12 17 22 32 37 56 57 61 62 66 71 72 76 77 81 82 85 87 97 102 107 112 122 127 137 147 152 162 167 171 172 176 177 181 186 187 191 192 196 197 202 212 217 227 229 237 242 257 262 267 277 281 282 286 287 291 292 296 301 302 306 307 317 327 332 342 347 352 357 367 372 377 382 392 396 397 401 406 407 411 416 417 421 422 432 437 442 447
a 7 12 17 22 32 47 56 57 61 62 66 71 72 76 77 81 82 85 87 97 102 107 112 122 127 137 147 152 162 167 171 172 176 177 181 186 187 191 192 196 197 202 212 217 227 229 237 242 257 262 267 277 281 282 286 287 291 292 296 301 302 306 307 317 327 332 342 347 352 357 367 372 377 382 392 396 397 401 406 407 411 416 417 421 422 432 437 442 447
a 7 12 17 22 37 47 56 57 61 62 66 71 72 76 77 81 82 85 87 97 102 107 112 122 127 137 147 152 162 167 171 172 176 177 181 186 187 191 192 196 197 202 212 217 227 229 237 242 257 262 267 277 281 282 286 287 291 292 296 301 302 306 307 317 327 332 342 347 352 357 367 372 377 382 392 396 397 401 406 407 411 416 417 421 422 432 437 442 447
a 7 12 17 32 37 47 56 57 61 62 66 71 72 76 77 81 82 85 87 97 102 107 112 122 127 137 147 152 162 167 171 172 176 177 181 186 187 191 192 196 197 202 212 217 227 229 237 242 257 262 267 277 281 282 286 287 291 292 296 301 302 306 307 317 327 332 342 347 352 357 367 372 377 382 392 396 397 401 406 407 411 416 417 421 422 432 437 442 447
a 7 12 22 32 37 47 56 57 61 62 66 71 72 76 77 81 82 85 87 97 102 107 112 122 127 137 147 152 162 167 171 172 176 177 181 186 187 191 192 196 197 202 212 217 227 229 237 242 257 262 267 277 281 282 286 287 291 292 296 301 302 306 307 317 327 332 342 347 352 357 367 372 377 382 392 396 397 401 406 407 411 416 417 421 422 432 437 442 447
a 7 17 22 32 37 47 56 57 61 62 66 71 72 76 77 81 82 85 87 97 102 107 112 122 127 137 147 152 162 167 171 172 176 177 181 186 187 191 192 196 197 202 212 217 227 229 237 242 257 262 267 277 281 282 286 287 291 292 296 301 302 306 307 317 327 332 342 347 352 357 367 372 377 382 392 396 397 401 406 407 411 416 417 421 422 432 437 442 447
a 12 17 22 32 37 47 56 57 61 62 66 71 72 76 77 81 82 85 87 97 102 107 112 122 127 137 147 152 162 167 171 172 176 177 181 186 187 191 192 196 197 202 212 217 227 229 237 242 257 262 267 277 281 282 286 287 291 292 296 301 302 306 307 317 327 332 342 347 352 357 367 372 377 382 392 396 397 401 406 407 411 416 417 421 422 432 437 442 447
a 7 12 17 22 32 37 47 56 57 61 62 66 71 72 76 77 81 82 85 87 97 102 107 112 122 127 137 147 152 162 167 171 172 176 177 181 186 187 191 192 196 197 202 212 217 227 237 242 257 262 267 277 281 282 286 287 291 292 296 301 302 306 307 317 327 332 342 347 352 357 367 372 377 382 392 396 397 401 406 407 411 416 417 421 422 432 437 442 447
a 7 12 17 22 32 37 47 56 57 61 62 66 71 72 76 77 81 82 87 97 102 107 112 122 127 137 147 152 162 167 171 172 176 177 181 186 187 191 192 196 197 202 212 217 227 237 242 252 257 262 267 277 281 282 286 287 291 292 296 301 302 306 307 317 327 332 342 347 352 357 367 372 377 382 392 396 397 401 406 407 411 416 417 421 422 432 437 442 447
a 7 12 17 22 32 37 47 56 57 61 62 66 71 72 76 77 81 82 87 97 102 107 112 122 127 137 147 152 162 167 171 172 176 177 181 186 187 191 192 196 197 202 212 217 227 237 242 252 257 262 267 277 281 282 286 287 291 292 296 301 302 306 307 317 327 342 347 352 357 367 372 374 377 382 392 396 397 401 406 407 411 416 417 421 422 432 437 442 447
a 7 12 17 22 32 37 47 56 57 61 62 66 71 72 76 77 81 82 85 87 97 102 107 112 122 127 137 147 152 162 167 171 172 176 177 181 186 187 191 192 196 197 202 212 217 227 237 242 257 262 267 277 281 282 286 287 291 292 296 301 302 306 307 317 327 342 347 352 357 367 372 374 377 382 392 396 397 401 406 407 411 416 417 421 422 432 437 442 447
a 7 12 17 22 32 37 47 56 57 61 62 66 71 72 76 77 81 82 85 87 97 102 107 112 122 127 137 147 152 162 167 171 172 176 177 181 186 187 191 192 196 197 202 212 217 229 237 242 257 262 267 277 281 282 286 287 291 292 296 301 302 306 307 317 327 342 347 352 357 367 372 374 377 382 392 396 397 401 406 407 411 416 417 421 422 432 437 442 447
a 7 12 17 22 32 37 47 56 57 61 62 66 71 72 76 77 81 82 85 87 97 102 107 112 122 127 137 147 152 162 167 171 172 176 177 181 186 187 191 192 196 197 202 212 227 229 237 242 257 262 267 277 281 282 286 287 291 292 296 301 302 306 307 317 327 342 347 352 357 367 372 374 377 382 392 396 397 401 406 407 411 416 417 421 422 432 437 442 447
a 7 12 17 22 32 37 47 56 57 61 62 66 71 72 76 77 81 82 85 87 97 102 107 112 122 127 137 147 152 162 167 171 172 176 177 181 186 187 191 192 196 197 202 217 227 229 237 242 257 262 267 277 281 282 286 287 291 292 296 301 302 306 307 317 327 342 347 352 357 367 372 374 377 382 392 396 397 401 406 407 411 416 417 421 422 432 437 442 447
a 7 12 17 22 32 37 47 56 57 61 62 66 71 72 76 77 81 82 85 87 97 102 107 112 122 127 137 147 152 162 167 171 172 176 177 181 186 187 191 192 196 197 212 217 227 229 237 242 257 262 267 277 281 282 286 287 291 292 296 301 302 306 307 317 327 342 347 352 357 367 372 374 377 382 392 396 397 401 406 407 411 416 417 421 422 432 437 442 447
a 7 12 17 22 32 37 47 56 57 61 62 66 71 72 76 77 81 82 85 87 97 102 107 112 122 127 137 147 152 162 167 171 172 176 177 181 186 187 191 192 196 202 212 217 227 229 237 242 257 262 267 277 281 282 286 287 291 292 296 301 302 306 307 317 327 342 347 352 357 367 372 374 377 382 392 396 397 401 406 407 411 416 417 421 422 432 437 442 447
a 7 12 17 22 32 37 47 56 57 61 62 66 71 72 76 77 81 82 85 87 97 102 107 112 122 127 137 147 152 162 167 171 172 176 177 181 186 187 191 192 197 202 212 217 227 229 237 242 257 262 267 277 281 282 286 287 291 292 296 301 302 306 307 317 327 342 347 352 357 367 372 374 377 382 392 396 397 401 406 407 411 416 417 421 422 432 437 442 447
a 7 12 17 22 32 37 47 56 57 61 62 66 71 72 76 77 81 82 85 87 97 102 107 112 122 127 137 147 152 162 167 171 172 176 177 181 186 187 191 196 197 202 212 217 227 229 237 242 257 262 267 277 281 282 286 287 291 292 296 301 302 306 307 317 327 342 347 352 357 367 372 374 377 382 392 396 397 401 406 407 411 416 417 421 422 432 437 442 447
a 7 12 17 22 32 37 47 56 57 61 62 66 71 72 76 77 81 82 85 87 97 102 107 112 122 127 137 147 152 162 167 171 172 176 177 181 186 187 192 196 197 202 212 217 227 229 237 242 257 262 267 277 281 282 286 287 291 292 296 301 302 306 307 317 327 342 347 352 357 367 372 374 377 382 392 396 397 401 406 407 411 416 417 421 422 432 437 442 447
a 7 12 17 22 32 37 47 56 57 61 62 66 71 72 76 77 81 82 85 87 97 102 107 112 122 127 137 147 152 162 167 171 172 176 177 181 186 191 192 196 197 202 212 217 227 229 237 242 257 262 267 277 281 282 286 287 291 292 296 301 302 306 307 317 327 342 347 352 357 367 372 374 377 382 392 396 397 401 406 407 411 416 417 421 422 432 437 442 447
a 7 12 17 22 32 37 47 56 57 61 62 66 71 72 76 77 81 82 85 87 97 102 107 112 122 127 137 147 152 162 167 171 172 176 177 181 187 191 192 196 197 202 212 217 227 229 237 242 257 262 267 277 281 282 286 287 291 292 296 301 302 306 307 317 327 342 347 352 357 367 372 374 377 382 392 396 397 401 406 407 411 416 417 421 422 432 437 442 447
a 7 12 17 22 32 37 47 56 57 61 62 66 71 72 76 77 81 82 85 87 97 102 107 112 122 127 137 147 152 162 167 171 172 176 177 186 187 191 192 196 197 202 212 217 227 229 237 242 257 262 267 277 281 282 286 287 291 292 296 301 302 306 307 317 327 342 347 352 357 367 372 374 377 382 392 396 397 401 406 407 411 416 417 421 422 432 437 442 447
a 7 12 17 22 32 37 47 56 57 61 62 66 71 72 76 77 81 82 85 87 97 102 107 112 122 127 137 147 152 162 167 171 172 176 181 186 187 191 192 196 197 202 212 217 227 229 237 242 257 262 267 277 281 282 286 287 291 292 296 301 302 306 307 317 327 342 347 352 357 367 372 374 377 382 392 396 397 401 406 407 411 416 417 421 422 432 437 442 447
a 7 12 17 22 32 37 47 56 57 61 62 66 71 72 76 77 81 82 85 87 97 102 107 112 122 127 137 147 152 162 167 171 172 177 181 186 187 191 192 196 197 202 212 217 227 229 237 242 257 262 267 277 281 282 286 287 291 292 296 301 302 306 307 317 327 342 347 352 357 367 372 374 377 382 392 396 397 401 406 407 411 416 417 421 422 432 437 442 447
a 7 12 17 22 32 37 47 56 57 61 62 66 71 72 76 77 81 82 85 87 97 102 107 112 122 127 137 147 152 162 167 171 176 177 181 186 187 191 192 196 197 202 212 217 227 229 237 242 257 262 267 277 281 282 286 287 291 292 296 301 302 306 307 317 327 342 347 352 357 367 372 374 377 382 392 396 397 401 406 407 411 416 417 421 422 432 437 442 447
a 7 12 17 22 32 37 47 56 57 61 62 66 71 72 76 77 81 82 85 87 97 102 107 112 122 127 137 147 152 162 167 172 176 177 181 186 187 191 192 196 197 202 212 217 227 229 237 242 257 262 267 277 281 282 286 287 291 292 296 301 302 306 307 317 327 342 347 352 357 367 372 374 377 382 392 396 397 401 406 407 411 416 417 421 422 432 437 442 447
a 7 12 17 22 32 37 47 56 57 61 62 66 71 72 76 77 81 82 85 87 97 102 107 112 122 127 137 147 152 162 171 172 176 177 181 186 187 191 192 196 197 202 212 217 227 229 237 242 257 262 267 277 281 282 286 287 291 292 296 301 302 306 307 317 327 342 347 352 357 367 372 374 377 382 392 396 397 401 406 407 411 416 417 421 422 432 437 442 447
a 7 12 17 22 32 37 47 56 57 61 62 66 71 72 76 77 81 82 85 87 97 102 107 112 122 127 137 147 152 167 171 172 176 177 181 186 187 191 192 196 197 202 212 217 227 229 237 242 257 262 267 277 281 282 286 287 291 292 296 301 302 306 307 317 327 342 347 352 357 367 372 374 377 382 392 396 397 401 406 407 411 416 417 421 422 432 437 442 447
a 7 12 17 22 32 37 47 56 57 61 62 66 71 72 76 77 81 82 85 87 97 102 107 112 122 127 137 147 162 167 171 172 176 177 181 186 187 191 192 196 197 202 212 217 227 229 237 242 257 262 267 277 281 282 286 287 291 292 296 301 302 306 307 317 327 342 347 352 357 367 372 374 377 382 392 396 397 401 406 407 411 416 417 421 422 432 437 442 447
a 7 12 17 22 32 37 47 56 57 61 62 66 71 72 76 77 81 82 85 87 97 102 107 112 122 127 137 152 162 167 171 172 176 177 181 186 187 191 192 196 197 202 212 217 227 229 237 242 257 262 267 277 281 282 286 287 291 292 296 301 302 306 307 317 327 342 347 352 357 367 372 374 377 382 392 396 397 401 406 407 411 416 417 421 422 432 437 442 447
a 7 12 17 22 32 37 47 56 57 61 62 66 71 72 76 77 81 82 85 87 97 102 107 112 122 127 147 152 162 167 171 172 176 177 181 186 187 191 192 196 197 202 212 217 227 229 237 242 257 262 267 277 281 282 286 287 291 292 296 301 302 306 307 317 327 342 347 352 357 367 372 374 377 382 392 396 397 401 406 407 411 416 417 421 422 432 437 442 447
a 7 12 17 22 32 37 47 56 57 61 62 66 71 72 76 77 81 82 85 87 97 102 107 112 122 137 147 152 162 167 171 172 176 177 181 186 187 191 192 196 197 202 212 217 227 229 237 242 257 262 267 277 281 282 286 287 291 292 296 301 302 306 307 317 327 342 347 352 357 367 372 374 377 382 392 396 397 401 406 407 411 416 417 421 422 432 437 442 447
a 7 12 17 22 32 37 47 56 57 61 62 66 71 72 76 77 81 82 85 87 97 102 107 112 127 137 147 152 162 167 171 172 176 177 181 186 187 191 192 196 197 202 212 217 227 229 237 242 257 262 267 277 281 282 286 287 291 292 296 301 302 306 307 317 327 342 347 352 357 367 372 374 377 382 392 396 397 401 406 407 411 416 417 421 422 432 437 442 447
a 7 12 17 22 32 37 47 56 57 61 62 66 71 72 76 77 81 82 85 87 97 102 107 122 127 137 147 152 162 167 171 172 176 177 181 186 187 191 192 196 197 202 212 217 227 229 237 242 257 262 267 277 281 282 286 287 291 292 296 301 302 306 307 317 327 342 347 352 357 367 372 374 377 382 392 396 397 401 406 407 411 416 417 421 422 432 437 442 447
a 7 12 17 22 32 37 47 56 57 61 62 66 71 72 76 77 81 82 85 87 97 102 112 122 127 137 147 152 162 167 171 172 176 177 181 186 187 191 192 196 197 202 212 217 227 229 237 242 257 262 267 277 281 282 286 287 291 292 296 301 302 306 307 317 327 342 347 352 357 367 372 374 377 382 392 396 397 401 406 407 411 416 417 421 422 432 437 442 447
a 7 12 17 22 32 37 47 56 57 61 62 66 71 72 76 77 81 82 85 87 97 107 112 122 127 137 147 152 162 167 171 172 176 177 181 186 187 191 192 196 197 202 212 217 227 229 237 242 257 262 267 277 281 282 286 287 291 292 296 301 302 306 307 317 327 342 347 352 357 367 372 374 377 382 392 396 397 401 406 407 411 416 417 421 422 432 437 442 447
a 7 12 17 22 32 37 47 56 57 61 62 66 71 72 76 77 81 82 85 87 102 107 112 122 127 137 147 152 162 167 171 172 176 177 181 186 187 191 192 196 197 202 212 217 227 229 237 242 257 262 267 277 281 282 286 287 291 292 296 301 302 306 307 317 327 342 347 352 357 367 372 374 377 382 392 396 397 401 406 407 411 416 417 421 422 432 437 442 447
a 7 12 17 22 32 37 47 56 57 61 62 66 71 72 76 77 81 82 85 97 102 107 112 122 127 137 147 152 162 167 171 172 176 177 181 186 187 191 192 196 197 202 212 217 227 229 237 242 257 262 267 277 281 282 286 287 291 292 296 301 302 306 307 317 327 342 347 352 357 367 372 374 377 382 392 396 397 401 406 407 411 416 417 421 422 432 437 442 447
a 7 12 17 22 32 37 47 56 57 61 62 66 71 72 76 77 81 82 87 97 102 107 112 122 127 137 147 152 162 167 171 172 176 177 181 186 187 191 192 196 197 202 212 217 227 229 237 242 257 262 267 277 281 282 286 287 291 292 296 301 302 306 307 317 327 342 347 352 357 367 372 374 377 382 392 396 397 401 406 407 411 416 417 421 422 432 437 442 447
a 7 12 17 22 32 37 47 56 57 61 62 66 71 72 76 77 81 85 87 97 102 107 112 122 127 137 147 152 162 167 171 172 176 177 181 186 187 191 192 196 197 202 212 217 227 229 237 242 257 262 267 277 281 282 286 287 291 292 296 301 302 306 307 317 327 342 347 352 357 367 372 374 377 382 392 396 397 401 406 407 411 416 417 421 422 432 437 442 447
a 7 12 17 22 32 37 47 56 57 61 62 66 71 72 76 77 82 85 87 97 102 107 112 122 127 137 147 152 162 167 171 172 176 177 181 186 187 191 192 196 197 202 212 217 227 229 237 242 257 262 267 277 281 282 286 287 291 292 296 301 302 306 307 317 327 342 347 352 357 367 372 374 377 382 392 396 397 401 406 407 411 416 417 421 422 432 437 442 447
a 7 12 17 22 32 37 47 56 57 61 62 66 71 72 76 81 82 85 87 97 102 107 112 122 127 137 147 152 162 167 171 172 176 177 181 186 187 191 192 196 197 202 212 217 227 229 237 242 257 262 267 277 281 282 286 287 291 292 296 301 302 306 307 317 327 342 347 352 357 367 372 374 377 382 392 396 397 401 406 407 411 416 417 421 422 432 437 442 447
a 7 12 17 22 32 37 47 56 57 61 62 66 71 72 77 81 82 85 87 97 102 107 112 122 127 137 147 152 162 167 171 172 176 177 181 186 187 191 192 196 197 202 212 217 227 229 237 242 257 262 267 277 281 282 286 287 291 292 296 301 302 306 307 317 327 342 347 352 357 367 372 374 377 382 392 396 397 401 406 407 411 416 417 421 422 432 437 442 447
a 7 12 17 22 32 37 47 56 57 61 62 66 71 76 77 81 82 85 87 97 102 107 112 122 127 137 147 152 162 167 171 172 176 177 181 186 187 191 192 196 197 202 212 217 227 229 237 242 257 262 267 277 281 282 286 287 291 292 296 301 302 306 307 317 327 342 347 352 357 367 372 374 377 382 392 396 397 401 406 407 411 416 417 421 422 432 437 442 447
a 7 12 17 22 32 37 47 56 57 61 62 66 72 76 77 81 82 85 87 97 102 107 112 122 127 137 147 152 162 167 171 172 176 177 181 186 187 191 192 196 197 202 212 217 227 229 237 242 257 262 267 277 281 282 286 287 291 292 296 301 302 306 307 317 327 342 347 352 357 367 372 374 377 382 392 396 397 401 406 407 411 416 417 421 422 432 437 442 447
a 7 12 17 22 32 37 47 56 57 61 62 71 72 76 77 81 82 85 87 97 102 107 112 122 127 137 147 152 162 167 171 172 176 177 181 186 187 191 192 196 197 202 212 217 227 229 237 242 257 262 267 277 281 282 286 287 291 292 296 301 302 306 307 317 327 342 347 352 357 367 372 374 377 382 392 396 397 401 406 407 411 416 417 421 422 432 437 442 447
a 7 12 17 22 32 37 47 56 57 61 66 71 72 76 77 81 82 85 87 97 102 107 112 122 127 137 147 152 162 167 171 172 176 177 181 186 187 191 192 196 197 202 212 217 227 229 237 242 257 262 267 277 281 282 286 287 291 292 296 301 302 306 307 317 327 342 347 352 357 367 372 374 377 382 392 396 397 401 406 407 411 416 417 421 422 432 437 442 447
a 7 12 17 22 32 37 47 56 57 62 66 71 72 76 77 81 82 85 87 97 102 107 112 122 127 137 147 152 162 167 171 172 176 177 181 186 187 191 192 196 197 202 212 217 227 229 237 242 257 262 267 277 281 282 286 287 291 292 296 301 302 306 307 317 327 342 347 352 357 367 372 374 377 382 392 396 397 401 406 407 411 416 417 421 422 432 437 442 447
a 7 12 17 22 32 37 47 56 61 62 66 71 72 76 77 81 82 85 87 97 102 107 112 122 127 137 147 152 162 167 171 172 176 177 181 186 187 191 192 196 197 202 212 217 227 229 237 242 257 262 267 277 281 282 286 287 291 292 296 301 302 306 307 317 327 342 347 352 357 367 372 374 377 382 392 396 397 401 406 407 411 416 417 421 422 432 437 442 447
a 7 12 17 22 32 37 47 57 61 62 66 71 72 76 77 81 82 85 87 97 102 107 112 122 127 137 147 152 162 167 171 172 176 177 181 186 187 191 192 196 197 202 212 217 227 229 237 242 257 262 267 277 281 282 286 287 291 292 296 301 302 306 307 317 327 342 347 352 357 367 372 374 377 382 392 396 397 401 406 407 411 416 417 421 422 432 437 442 447
a 7 12 17 22 32 37 56 57 61 62 66 71 72 76 77 81 82 85 87 97 102 107 112 122 127 137 147 152 162 167 171 172 176 177 181 186 187 191 192 196 197 202 212 217 227 229 237 242 257 262 267 277 281 282 286 287 291 292 296 301 302 306 307 317 327 342 347 352 357 367 372 374 377 382 392 396 397 401 406 407 411 416 417 421 422 432 437 442 447
a 7 12 17 22 32 47 56 57 61 62 66 71 72 76 77 81 82 85 87 97 102 107 112 122 127 137 147 152 162 167 171 172 176 177 181 186 187 191 192 196 197 202 212 217 227 229 237 242 257 262 267 277 281 282 286 287 291 292 296 301 302 306 307 317 327 342 347 352 357 367 372 374 377 382 392 396 397 401 406 407 411 416 417 421 422 432 437 442 447
a 7 12 17 22 37 47 56 57 61 62 66 71 72 76 77 81 82 85 87 97 102 107 112 122 127 137 147 152 162 167 171 172 176 177 181 186 187 191 192 196 197 202 212 217 227 229 237 242 257 262 267 277 281 282 286 287 291 292 296 301 302 306 307 317 327 342 347 352 357 367 372 374 377 382 392 396 397 401 406 407 411 416 417 421 422 432 437 442 447
a 7 12 17 32 37 47 56 57 61 62 66 71 72 76 77 81 82 85 87 97 102 107 112 122 127 137 147 152 162 167 171 172 176 177 181 186 187 191 192 196 197 202 212 217 227 229 237 242 257 262 267 277 281 282 286 287 291 292 296 301 302 306 307 317 327 342 347 352 357 367 372 374 377 382 392 396 397 401 406 407 411 416 417 421 422 432 437 442 447
a 7 12 22 32 37 47 56 57 61 62 66 71 72 76 77 81 82 85 87 97 102 107 112 122 127 137 147 152 162 167 171 172 176 177 181 186 187 191 192 196 197 202 212 217 227 229 237 242 257 262 267 277 281 282 286 287 291 292 296 301 302 306 307 317 327 342 347 352 357 367 372 374 377 382 392 396 397 401 406 407 411 416 417 421 422 432 437 442 447
a 7 17 22 32 37 47 56 57 61 62 66 71 72 76 77 81 82 85 87 97 102 107 112 122 127 137 147 152 162 167 171 172 176 177 181 186 187 191 192 196 197 202 212 217 227 229 237 242 257 262 267 277 281 282 286 287 291 292 296 301 302 306 307 317 327 342 347 352 357 367 372 374 377 382 392 396 397 401 406 407 411 416 417 421 422 432 437 442 447
a 12 17 22 32 37 47 56 57 61 62 66 71 72 76 77 81 82 85 87 97 102 107 112 122 127 137 147 152 162 167 171 172 176 177 181 186 187 191 192 196 197 202 212 217 227 229 237 242 257 262 267 277 281 282 286 287 291 292 296 301 302 306 307 317 327 342 347 352 357 367 372 374 377 382 392 396 397 401 406 407 411 416 417 421 422 432 437 442 447
a 7 12 17 22 32 37 47 56 57 61 62 66 71 72 76 77 81 82 85 87 97 102 107 112 122 127 137 147 152 162 167 171 172 176 177 181 186 187 191 192 196 197 202 212 217 227 229 237 257 262 267 277 281 282 286 287 291 292 296 301 302 306 307 317 327 342 347 352 357 367 372 374 377 382 392 396 397 401 406 407 411 416 417 421 422 432 437 442 447
#END: [Sat Sep  9 19:55:05 2023]