#BEGIN: [Sat Sep  9 19:04:37 2023]
#HOST: s07
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-wallclock-ai-planning-longest1
#INSTANCE1: /benchmark/2022benchmark/benchmark/color04/le450_25b.col
#INSTANCE2: /benchmark/2022benchmark/benchmark/color04/le450_25b_01.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_25b.col /benchmark/2022benchmark/benchmark/color04/le450_25b_01.dat
s 7 13 14 16 17 19 24 25 28 39 47 49 55 58 64 68 79 82 85 96 107 145 151 152 153 157 159 160 177 179 182 189 192 193 209 211 213 214 215 217 220 232 243 256 257 260 262 263 264 267 268 272 274 275 289 293 306 312 313 320 337 350 352 357 370 386 387 388 392 401 406 414 417 418 436 437 442 444 
t 7 13 14 16 17 19 24 25 28 39 47 49 55 64 68 79 82 85 107 117 145 151 152 153 157 159 160 179 182 192 193 209 210 211 213 214 215 217 220 221 225 232 237 243 256 257 260 262 263 264 267 268 272 274 275 289 293 306 312 313 320 337 350 352 357 370 374 386 387 388 392 406 417 418 436 437 442 444
a YES
a 7 13 14 16 17 19 24 25 28 39 47 49 55 58 64 68 79 82 85 96 107 145 151 152 153 157 159 160 177 179 182 189 192 193 209 211 213 214 215 217 220 232 243 256 257 260 262 263 264 267 268 272 274 275 289 293 306 312 313 320 337 350 352 357 370 386 387 388 392 401 406 414 417 418 436 437 442 444
a 7 13 14 16 17 19 24 25 28 38 39 47 49 55 58 64 68 79 82 85 96 107 145 151 152 153 157 159 160 177 182 189 192 193 209 211 213 214 215 217 220 232 243 256 257 260 262 263 264 267 268 272 274 275 289 293 306 312 313 320 337 350 352 357 370 386 387 388 392 401 406 414 417 418 436 437 442 444
a 7 13 14 17 19 24 25 28 38 39 47 49 55 58 64 68 79 82 85 96 107 145 151 152 153 157 159 160 177 182 189 192 193 209 211 213 214 215 217 220 232 243 256 257 260 262 263 264 267 268 272 274 275 289 293 306 312 313 320 337 350 352 357 370 386 387 388 392 401 406 414 417 418 436 437 442 444 450
a 7 13 14 17 19 24 25 28 38 39 47 49 55 58 64 68 79 82 85 96 107 145 151 152 153 159 160 177 182 189 192 193 209 211 213 214 215 217 220 232 243 256 257 260 262 263 264 267 268 272 274 275 289 293 306 312 313 320 337 350 352 357 370 386 387 388 392 401 406 414 417 418 431 436 437 442 444 450
a 7 13 14 17 19 24 25 28 38 39 47 49 55 64 68 79 82 85 96 107 145 151 152 153 159 160 177 182 189 192 193 209 211 213 214 215 217 220 232 243 256 257 260 262 263 264 267 268 272 274 275 289 293 306 312 313 320 337 350 352 357 370 374 386 387 388 392 401 406 414 417 418 431 436 437 442 444 450
a 7 13 14 17 19 24 25 28 38 39 44 47 49 55 64 68 79 82 85 96 107 145 151 152 153 159 160 182 189 192 193 209 211 213 214 215 217 220 232 243 256 257 260 262 263 264 267 268 272 274 275 289 293 306 312 313 320 337 350 352 357 370 374 386 387 388 392 401 406 414 417 418 431 436 437 442 444 450
a 7 13 14 17 19 24 25 28 38 39 44 47 49 55 64 68 79 82 85 96 107 145 151 152 153 160 182 189 192 193 209 211 213 214 215 217 220 232 243 256 257 260 262 263 264 267 268 272 274 275 289 293 306 312 313 318 320 337 350 352 357 370 374 386 387 388 392 401 406 414 417 418 431 436 437 442 444 450
a 7 13 14 19 24 25 28 38 39 44 47 49 55 64 68 79 82 85 96 107 145 151 152 153 160 182 189 192 193 209 211 213 214 215 217 220 232 243 256 257 260 262 263 264 267 268 272 274 275 289 293 299 306 312 313 318 320 337 350 352 357 370 374 386 387 388 392 401 406 414 417 418 431 436 437 442 444 450
a 7 13 14 19 24 25 28 38 39 44 47 49 55 64 68 79 82 85 107 145 151 152 153 160 182 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 299 306 312 313 318 320 337 350 352 357 370 374 386 387 388 392 401 406 414 417 418 431 436 437 442 444 450
a 7 13 14 19 24 25 28 38 39 44 47 49 55 64 68 79 82 85 107 145 151 152 153 160 182 192 193 209 211 213 214 215 217 220 225 232 237 243 256 257 260 262 263 264 267 268 272 274 275 289 293 299 306 312 313 318 320 337 350 352 357 370 374 386 387 388 392 401 406 414 417 418 431 436 437 442 444 450
a 7 13 14 19 24 25 28 38 39 44 47 49 55 64 68 79 82 85 107 145 151 152 153 160 182 192 193 209 211 213 214 215 217 220 221 225 232 237 243 256 257 260 262 263 264 267 268 272 274 275 289 293 299 306 312 313 318 320 337 350 352 357 370 374 386 387 388 392 401 406 417 418 431 436 437 442 444 450
a 13 14 19 24 25 28 38 39 44 47 49 55 64 68 79 82 85 106 107 145 151 152 153 160 182 192 193 209 211 213 214 215 217 220 221 225 232 237 243 256 257 260 262 263 264 267 268 272 274 275 289 293 299 306 312 313 318 320 337 350 352 357 370 374 386 387 388 392 401 406 417 418 431 436 437 442 444 450
a 13 14 19 24 25 28 38 39 44 47 49 55 64 68 79 82 85 106 107 145 152 153 160 167 182 192 193 209 211 213 214 215 217 220 221 225 232 237 243 256 257 260 262 263 264 267 268 272 274 275 289 293 299 306 312 313 318 320 337 350 352 357 370 374 386 387 388 392 401 406 417 418 431 436 437 442 444 450
a 7 13 14 19 24 25 28 38 39 44 47 49 55 64 68 79 82 85 107 145 152 153 160 167 182 192 193 209 211 213 214 215 217 220 221 225 232 237 243 256 257 260 262 263 264 267 268 272 274 275 289 293 299 306 312 313 318 320 337 350 352 357 370 374 386 387 388 392 401 406 417 418 431 436 437 442 444 450
a 7 13 14 19 24 25 28 38 39 44 47 49 55 64 68 79 82 85 107 145 153 160 162 167 182 192 193 209 211 213 214 215 217 220 221 225 232 237 243 256 257 260 262 263 264 267 268 272 274 275 289 293 299 306 312 313 318 320 337 350 352 357 370 374 386 387 388 392 401 406 417 418 431 436 437 442 444 450
a 13 14 19 24 25 28 38 39 44 47 49 55 64 68 79 82 85 106 107 145 153 160 162 167 182 192 193 209 211 213 214 215 217 220 221 225 232 237 243 256 257 260 262 263 264 267 268 272 274 275 289 293 299 306 312 313 318 320 337 350 352 357 370 374 386 387 388 392 401 406 417 418 431 436 437 442 444 450
a 13 14 19 24 25 28 38 39 44 47 49 55 64 68 79 82 85 106 107 145 151 153 160 162 182 192 193 209 211 213 214 215 217 220 221 225 232 237 243 256 257 260 262 263 264 267 268 272 274 275 289 293 299 306 312 313 318 320 337 350 352 357 370 374 386 387 388 392 401 406 417 418 431 436 437 442 444 450
a 7 13 14 19 24 25 28 38 39 44 47 49 55 64 68 79 82 85 107 145 151 153 160 162 182 192 193 209 211 213 214 215 217 220 221 225 232 237 243 256 257 260 262 263 264 267 268 272 274 275 289 293 299 306 312 313 318 320 337 350 352 357 370 374 386 387 388 392 401 406 417 418 431 436 437 442 444 450
a 7 13 14 19 24 25 28 38 39 44 47 49 55 64 68 79 82 85 107 117 145 151 153 160 162 182 192 193 209 211 213 214 215 217 220 221 225 232 237 243 256 257 260 262 263 264 267 268 272 274 275 289 293 299 306 312 313 318 320 337 350 352 357 370 374 386 387 388 392 406 417 418 431 436 437 442 444 450
a 13 14 19 24 25 28 38 39 44 47 49 55 64 68 79 82 85 106 107 117 145 151 153 160 162 182 192 193 209 211 213 214 215 217 220 221 225 232 237 243 256 257 260 262 263 264 267 268 272 274 275 289 293 299 306 312 313 318 320 337 350 352 357 370 374 386 387 388 392 406 417 418 431 436 437 442 444 450
a 13 14 19 24 25 28 38 39 47 49 55 64 68 79 82 85 106 107 117 145 151 153 160 162 182 192 193 209 210 211 213 214 215 217 220 221 225 232 237 243 256 257 260 262 263 264 267 268 272 274 275 289 293 299 306 312 313 318 320 337 350 352 357 370 374 386 387 388 392 406 417 418 431 436 437 442 444 450
a 7 13 14 19 24 25 28 38 39 47 49 55 64 68 79 82 85 107 117 145 151 153 160 162 182 192 193 209 210 211 213 214 215 217 220 221 225 232 237 243 256 257 260 262 263 264 267 268 272 274 275 289 293 299 306 312 313 318 320 337 350 352 357 370 374 386 387 388 392 406 417 418 431 436 437 442 444 450
a 7 13 14 19 24 25 28 38 39 47 49 55 64 68 79 82 85 107 117 145 153 160 162 167 182 192 193 209 210 211 213 214 215 217 220 221 225 232 237 243 256 257 260 262 263 264 267 268 272 274 275 289 293 299 306 312 313 318 320 337 350 352 357 370 374 386 387 388 392 406 417 418 431 436 437 442 444 450
a 13 14 19 24 25 28 38 39 47 49 55 64 68 79 82 85 106 107 117 145 153 160 162 167 182 192 193 209 210 211 213 214 215 217 220 221 225 232 237 243 256 257 260 262 263 264 267 268 272 274 275 289 293 299 306 312 313 318 320 337 350 352 357 370 374 386 387 388 392 406 417 418 431 436 437 442 444 450
a 13 14 19 24 25 28 38 39 47 49 55 64 68 79 82 85 106 107 117 145 152 153 160 167 182 192 193 209 210 211 213 214 215 217 220 221 225 232 237 243 256 257 260 262 263 264 267 268 272 274 275 289 293 299 306 312 313 318 320 337 350 352 357 370 374 386 387 388 392 406 417 418 431 436 437 442 444 450
a 7 13 14 19 24 25 28 38 39 47 49 55 64 68 79 82 85 107 117 145 152 153 160 167 182 192 193 209 210 211 213 214 215 217 220 221 225 232 237 243 256 257 260 262 263 264 267 268 272 274 275 289 293 299 306 312 313 318 320 337 350 352 357 370 374 386 387 388 392 406 417 418 431 436 437 442 444 450
a 7 13 14 19 24 25 28 38 39 47 49 55 64 68 79 82 85 107 117 145 151 152 153 160 182 192 193 209 210 211 213 214 215 217 220 221 225 232 237 243 256 257 260 262 263 264 267 268 272 274 275 289 293 299 306 312 313 318 320 337 350 352 357 370 374 386 387 388 392 406 417 418 431 436 437 442 444 450
a 13 14 19 24 25 28 38 39 47 49 55 64 68 79 82 85 106 107 117 145 151 152 153 160 182 192 193 209 210 211 213 214 215 217 220 221 225 232 237 243 256 257 260 262 263 264 267 268 272 274 275 289 293 299 306 312 313 318 320 337 350 352 357 370 374 386 387 388 392 406 417 418 431 436 437 442 444 450
a 13 14 19 24 25 28 38 39 47 49 55 64 68 79 82 85 106 107 117 145 152 153 160 182 187 192 193 209 210 211 213 214 215 217 220 221 225 232 237 243 256 257 260 262 263 264 267 268 272 274 275 289 293 299 306 312 313 318 320 337 350 352 357 370 374 386 387 388 392 406 417 418 431 436 437 442 444 450
a 7 13 14 19 24 25 28 38 39 47 49 55 64 68 79 82 85 107 117 145 152 153 160 182 187 192 193 209 210 211 213 214 215 217 220 221 225 232 237 243 256 257 260 262 263 264 267 268 272 274 275 289 293 299 306 312 313 318 320 337 350 352 357 370 374 386 387 388 392 406 417 418 431 436 437 442 444 450
a 7 13 14 19 24 25 28 38 39 47 49 55 64 68 79 82 85 107 117 145 153 160 162 182 187 192 193 209 210 211 213 214 215 217 220 221 225 232 237 243 256 257 260 262 263 264 267 268 272 274 275 289 293 299 306 312 313 318 320 337 350 352 357 370 374 386 387 388 392 406 417 418 431 436 437 442 444 450
a 13 14 19 24 25 28 38 39 47 49 55 64 68 79 82 85 106 107 117 145 153 160 162 182 187 192 193 209 210 211 213 214 215 217 220 221 225 232 237 243 256 257 260 262 263 264 267 268 272 274 275 289 293 299 306 312 313 318 320 337 350 352 357 370 374 386 387 388 392 406 417 418 431 436 437 442 444 450
a 13 14 16 19 24 25 28 38 39 47 49 55 64 68 79 82 85 106 107 117 145 153 160 162 182 187 192 193 209 210 211 213 214 215 217 220 221 225 232 237 243 256 257 260 262 263 264 267 268 272 274 275 289 293 299 306 312 313 318 320 337 350 352 357 370 374 386 387 388 392 406 417 418 431 436 437 442 444
a 7 13 14 16 19 24 25 28 38 39 47 49 55 64 68 79 82 85 107 117 145 153 160 162 182 187 192 193 209 210 211 213 214 215 217 220 221 225 232 237 243 256 257 260 262 263 264 267 268 272 274 275 289 293 299 306 312 313 318 320 337 350 352 357 370 374 386 387 388 392 406 417 418 431 436 437 442 444
a 7 13 14 16 19 24 25 28 39 47 49 55 64 68 79 82 85 107 117 145 153 160 162 179 182 187 192 193 209 210 211 213 214 215 217 220 221 225 232 237 243 256 257 260 262 263 264 267 268 272 274 275 289 293 299 306 312 313 318 320 337 350 352 357 370 374 386 387 388 392 406 417 418 431 436 437 442 444
a 13 14 16 19 24 25 28 39 47 49 55 64 68 79 82 85 106 107 117 145 153 160 162 179 182 187 192 193 209 210 211 213 214 215 217 220 221 225 232 237 243 256 257 260 262 263 264 267 268 272 274 275 289 293 299 306 312 313 318 320 337 350 352 357 370 374 386 387 388 392 406 417 418 431 436 437 442 444
a 13 14 16 19 24 25 28 39 47 49 55 64 68 79 82 85 106 107 117 145 152 153 160 179 182 187 192 193 209 210 211 213 214 215 217 220 221 225 232 237 243 256 257 260 262 263 264 267 268 272 274 275 289 293 299 306 312 313 318 320 337 350 352 357 370 374 386 387 388 392 406 417 418 431 436 437 442 444
a 7 13 14 16 19 24 25 28 39 47 49 55 64 68 79 82 85 107 117 145 152 153 160 179 182 187 192 193 209 210 211 213 214 215 217 220 221 225 232 237 243 256 257 260 262 263 264 267 268 272 274 275 289 293 299 306 312 313 318 320 337 350 352 357 370 374 386 387 388 392 406 417 418 431 436 437 442 444
a 7 13 14 16 19 24 25 28 39 47 49 55 64 68 79 82 85 107 117 145 151 152 153 160 179 182 192 193 209 210 211 213 214 215 217 220 221 225 232 237 243 256 257 260 262 263 264 267 268 272 274 275 289 293 299 306 312 313 318 320 337 350 352 357 370 374 386 387 388 392 406 417 418 431 436 437 442 444
a 13 14 16 19 24 25 28 39 47 49 55 64 68 79 82 85 106 107 117 145 151 152 153 160 179 182 192 193 209 210 211 213 214 215 217 220 221 225 232 237 243 256 257 260 262 263 264 267 268 272 274 275 289 293 299 306 312 313 318 320 337 350 352 357 370 374 386 387 388 392 406 417 418 431 436 437 442 444
a 13 14 16 19 24 25 28 39 47 49 55 64 68 79 82 85 106 107 117 145 152 153 160 167 179 182 192 193 209 210 211 213 214 215 217 220 221 225 232 237 243 256 257 260 262 263 264 267 268 272 274 275 289 293 299 306 312 313 318 320 337 350 352 357 370 374 386 387 388 392 406 417 418 431 436 437 442 444
a 7 13 14 16 19 24 25 28 39 47 49 55 64 68 79 82 85 107 117 145 152 153 160 167 179 182 192 193 209 210 211 213 214 215 217 220 221 225 232 237 243 256 257 260 262 263 264 267 268 272 274 275 289 293 299 306 312 313 318 320 337 350 352 357 370 374 386 387 388 392 406 417 418 431 436 437 442 444
a 7 13 14 16 19 24 25 28 39 47 49 55 64 68 79 82 85 107 117 145 153 160 162 167 179 182 192 193 209 210 211 213 214 215 217 220 221 225 232 237 243 256 257 260 262 263 264 267 268 272 274 275 289 293 299 306 312 313 318 320 337 350 352 357 370 374 386 387 388 392 406 417 418 431 436 437 442 444
a 13 14 16 19 24 25 28 39 47 49 55 64 68 79 82 85 106 107 117 145 153 160 162 167 179 182 192 193 209 210 211 213 214 215 217 220 221 225 232 237 243 256 257 260 262 263 264 267 268 272 274 275 289 293 299 306 312 313 318 320 337 350 352 357 370 374 386 387 388 392 406 417 418 431 436 437 442 444
a 13 14 16 19 24 25 28 39 47 49 55 64 68 79 82 85 106 107 117 145 153 157 160 162 167 179 182 192 193 209 210 211 213 214 215 217 220 221 225 232 237 243 256 257 260 262 263 264 267 268 272 274 275 289 293 299 306 312 313 318 320 337 350 352 357 370 374 386 387 388 392 406 417 418 436 437 442 444
a 7 13 14 16 19 24 25 28 39 47 49 55 64 68 79 82 85 107 117 145 153 157 160 162 167 179 182 192 193 209 210 211 213 214 215 217 220 221 225 232 237 243 256 257 260 262 263 264 267 268 272 274 275 289 293 299 306 312 313 318 320 337 350 352 357 370 374 386 387 388 392 406 417 418 436 437 442 444
a 7 13 14 16 19 24 25 28 39 47 49 55 64 68 79 82 85 107 117 145 152 153 157 160 167 179 182 192 193 209 210 211 213 214 215 217 220 221 225 232 237 243 256 257 260 262 263 264 267 268 272 274 275 289 293 299 306 312 313 318 320 337 350 352 357 370 374 386 387 388 392 406 417 418 436 437 442 444
a 13 14 16 19 24 25 28 39 47 49 55 64 68 79 82 85 106 107 117 145 152 153 157 160 167 179 182 192 193 209 210 211 213 214 215 217 220 221 225 232 237 243 256 257 260 262 263 264 267 268 272 274 275 289 293 299 306 312 313 318 320 337 350 352 357 370 374 386 387 388 392 406 417 418 436 437 442 444
a 13 14 16 19 24 25 28 39 47 49 55 64 68 79 82 85 106 107 117 145 152 153 160 166 167 179 182 192 193 209 210 211 213 214 215 217 220 221 225 232 237 243 256 257 260 262 263 264 267 268 272 274 275 289 293 299 306 312 313 318 320 337 350 352 357 370 374 386 387 388 392 406 417 418 436 437 442 444
a 7 13 14 16 19 24 25 28 39 47 49 55 64 68 79 82 85 107 117 145 152 153 160 166 167 179 182 192 193 209 210 211 213 214 215 217 220 221 225 232 237 243 256 257 260 262 263 264 267 268 272 274 275 289 293 299 306 312 313 318 320 337 350 352 357 370 374 386 387 388 392 406 417 418 436 437 442 444
a 7 13 14 16 19 24 25 28 39 47 49 55 64 68 79 82 85 107 117 145 153 160 162 166 167 179 182 192 193 209 210 211 213 214 215 217 220 221 225 232 237 243 256 257 260 262 263 264 267 268 272 274 275 289 293 299 306 312 313 318 320 337 350 352 357 370 374 386 387 388 392 406 417 418 436 437 442 444
a 13 14 16 19 24 25 28 39 47 49 55 64 68 79 82 85 106 107 117 145 153 160 162 166 167 179 182 192 193 209 210 211 213 214 215 217 220 221 225 232 237 243 256 257 260 262 263 264 267 268 272 274 275 289 293 299 306 312 313 318 320 337 350 352 357 370 374 386 387 388 392 406 417 418 436 437 442 444
a 13 14 16 19 24 25 28 39 47 49 55 64 68 79 82 85 106 107 117 145 153 159 160 162 166 167 179 182 192 193 209 210 211 213 214 215 217 220 221 225 232 237 243 256 257 260 262 263 264 267 268 272 274 275 289 293 299 306 312 313 320 337 350 352 357 370 374 386 387 388 392 406 417 418 436 437 442 444
a 7 13 14 16 19 24 25 28 39 47 49 55 64 68 79 82 85 107 117 145 153 159 160 162 166 167 179 182 192 193 209 210 211 213 214 215 217 220 221 225 232 237 243 256 257 260 262 263 264 267 268 272 274 275 289 293 299 306 312 313 320 337 350 352 357 370 374 386 387 388 392 406 417 418 436 437 442 444
a 7 13 14 16 19 24 25 28 39 47 49 55 64 68 79 82 85 107 117 145 153 157 159 160 162 167 179 182 192 193 209 210 211 213 214 215 217 220 221 225 232 237 243 256 257 260 262 263 264 267 268 272 274 275 289 293 299 306 312 313 320 337 350 352 357 370 374 386 387 388 392 406 417 418 436 437 442 444
a 13 14 16 19 24 25 28 39 47 49 55 64 68 79 82 85 106 107 117 145 153 157 159 160 162 167 179 182 192 193 209 210 211 213 214 215 217 220 221 225 232 237 243 256 257 260 262 263 264 267 268 272 274 275 289 293 299 306 312 313 320 337 350 352 357 370 374 386 387 388 392 406 417 418 436 437 442 444
a 13 14 16 19 24 25 28 39 47 49 55 64 68 79 82 85 106 107 117 145 152 153 157 159 160 167 179 182 192 193 209 210 211 213 214 215 217 220 221 225 232 237 243 256 257 260 262 263 264 267 268 272 274 275 289 293 299 306 312 313 320 337 350 352 357 370 374 386 387 388 392 406 417 418 436 437 442 444
a 7 13 14 16 19 24 25 28 39 47 49 55 64 68 79 82 85 107 117 145 152 153 157 159 160 167 179 182 192 193 209 210 211 213 214 215 217 220 221 225 232 237 243 256 257 260 262 263 264 267 268 272 274 275 289 293 299 306 312 313 320 337 350 352 357 370 374 386 387 388 392 406 417 418 436 437 442 444
a 7 13 14 16 19 24 25 28 39 47 49 55 64 68 79 82 85 107 117 145 151 152 153 157 159 160 179 182 192 193 209 210 211 213 214 215 217 220 221 225 232 237 243 256 257 260 262 263 264 267 268 272 274 275 289 293 299 306 312 313 320 337 350 352 357 370 374 386 387 388 392 406 417 418 436 437 442 444
a 13 14 16 19 24 25 28 39 47 49 55 64 68 79 82 85 106 107 117 145 151 152 153 157 159 160 179 182 192 193 209 210 211 213 214 215 217 220 221 225 232 237 243 256 257 260 262 263 264 267 268 272 274 275 289 293 299 306 312 313 320 337 350 352 357 370 374 386 387 388 392 406 417 418 436 437 442 444
a 13 14 16 19 24 25 28 39 47 49 55 64 68 79 82 85 87 106 107 117 145 151 152 153 157 159 160 179 182 192 193 209 210 211 213 214 215 217 220 221 225 232 237 243 256 257 260 262 263 264 267 268 272 274 275 289 293 306 312 313 320 337 350 352 357 370 374 386 387 388 392 406 417 418 436 437 442 444
a 13 14 16 17 19 24 25 28 39 47 49 55 64 68 79 82 85 106 107 117 145 151 152 153 157 159 160 179 182 192 193 209 210 211 213 214 215 217 220 221 225 232 237 243 256 257 260 262 263 264 267 268 272 274 275 289 293 306 312 313 320 337 350 352 357 370 374 386 387 388 392 406 417 418 436 437 442 444
a 7 13 14 16 17 19 24 25 28 39 47 49 55 64 68 79 82 85 107 117 145 151 152 153 157 159 160 179 182 192 193 209 210 211 213 214 215 217 220 221 225 232 237 243 256 257 260 262 263 264 267 268 272 274 275 289 293 306 312 313 320 337 350 352 357 370 374 386 387 388 392 406 417 418 436 437 442 444
#END: [Sat Sep  9 19:33:37 2023]