#BEGIN: [Tue Sep 26 00:43:50 2023]
#HOST: s05
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-wallclock-ai-planning-longest2
#INSTANCE1: /benchmark/random_instance/random_instance030_graph004.col
#INSTANCE2: /benchmark/random_instance/random_instance030_graph004_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-portfolio --memory-limit=54 --time-limit=1800 /benchmark/random_instance/random_instance030_graph004.col /benchmark/random_instance/random_instance030_graph004_01.dat
s 292 239 25 80 219 11 103 177 13 325 271 101 151 330 146 299 287 14 267 186 104 21 161 193 231 2 4 272 154 256 324 15 307 12 140 202 71 102 16 157 24 83 304 317 251 377 308 316 366 29 373 332 90 361 237 321 188 355 145 89 95 129 293 141 315 265 336 201 229 341 382 257 362 314 60 227 147 196 243 176 270 53 134 172 249 124 363 279 359 340 313 106 168 364 142 281 351 198 273 250 150 285 46 160 19 123 370 27 118 40 88 224 211 360 174 56 82 245 93 127 353 331 122 39
t 154 287 184 69 150 376 100 237 222 343 118 269 113 246 57 220 341 179 77 145 163 201 254 7 41 6 338 29 61 331 356 311 188 336 46 307 357 236 258 110 147 226 133 123 305 363 95 288 196 390 380 348 105 186 94 33 349 108 19 137 364 93 48 107 89 134 102 54 362 372 365 202 116 256 233 51 344 360 121 284 11 168 263 214 327 229 125 172 248 203 245 73 211 270 221 22 182 345 385 271 139 292 312 135 316 330 379 32 368 84 306 128 228 315 82 301 117 369 317 370 141 140 257 24
a YES
a 2 4 11 12 13 14 15 16 19 21 24 25 27 29 39 40 46 53 56 60 71 80 82 83 88 89 90 93 95 101 102 103 104 106 118 122 123 124 127 129 134 140 141 142 145 146 147 150 151 154 157 160 161 168 172 174 176 177 186 188 193 196 198 201 202 211 219 224 227 229 231 237 239 243 245 249 250 251 256 257 265 267 270 271 272 273 279 281 285 287 292 293 299 304 307 308 313 314 315 316 317 321 324 325 330 331 332 336 340 341 351 353 355 359 360 361 362 363 364 366 370 373 377 382
a 2 11 12 13 14 15 16 19 21 24 25 27 29 39 40 46 53 56 60 71 80 82 83 88 89 90 93 95 101 102 103 104 106 118 122 123 124 127 129 134 140 141 142 145 146 147 150 151 154 157 160 161 168 172 174 176 177 186 188 193 196 198 201 202 211 219 224 227 229 231 237 239 243 245 249 250 251 256 257 265 267 270 271 272 273 279 281 285 287 292 293 299 304 307 308 313 314 315 316 317 321 324 325 330 331 332 336 340 341 345 351 353 355 359 360 361 362 363 364 366 370 373 377 382
a 11 12 13 14 15 16 19 21 24 25 27 29 39 40 46 53 56 60 71 80 82 83 88 89 90 93 95 101 102 103 104 106 118 122 123 124 127 129 134 140 141 142 145 146 147 150 151 154 157 160 161 168 172 174 176 177 186 188 193 196 198 201 202 211 219 224 227 228 229 231 237 239 243 245 249 250 251 256 257 265 267 270 271 272 273 279 281 285 287 292 293 299 304 307 308 313 314 315 316 317 321 324 325 330 331 332 336 340 341 345 351 353 355 359 360 361 362 363 364 366 370 373 377 382
a 11 13 14 15 16 19 21 24 25 27 29 39 40 46 53 56 60 71 80 82 83 88 89 90 93 95 101 102 103 104 106 118 122 123 124 127 129 134 140 141 142 145 146 147 150 151 154 157 160 161 168 172 174 176 177 186 188 193 196 198 201 202 211 219 224 227 228 229 231 237 239 243 245 249 250 251 256 257 265 267 270 271 272 273 279 281 285 287 292 293 299 304 307 308 313 314 315 316 317 321 324 325 330 331 332 336 340 341 345 351 353 355 359 360 361 362 363 364 365 366 370 373 377 382
a 11 14 15 16 19 21 24 25 27 29 39 40 46 53 56 60 71 80 82 83 88 89 90 93 94 95 101 102 103 104 106 118 122 123 124 127 129 134 140 141 142 145 146 147 150 151 154 157 160 161 168 172 174 176 177 186 188 193 196 198 201 202 211 219 224 227 228 229 231 237 239 243 245 249 250 251 256 257 265 267 270 271 272 273 279 281 285 287 292 293 299 304 307 308 313 314 315 316 317 321 324 325 330 331 332 336 340 341 345 351 353 355 359 360 361 362 363 364 365 366 370 373 377 382
a 11 15 16 19 21 24 25 27 29 39 40 46 53 56 60 71 80 82 83 88 89 90 93 94 95 101 102 103 104 106 118 122 123 124 127 129 134 140 141 142 145 146 147 150 151 154 157 160 161 168 172 174 176 177 186 188 193 196 198 201 202 211 219 224 227 228 229 231 237 239 243 245 249 250 251 256 257 265 267 270 271 272 273 279 281 285 287 292 293 299 304 307 308 313 314 315 316 317 321 324 325 330 331 332 336 340 341 345 351 353 355 359 360 361 362 363 364 365 366 370 373 377 379 382
a 11 15 16 19 21 24 27 29 39 40 46 53 56 60 71 80 82 83 88 89 90 93 94 95 101 102 103 104 106 118 122 123 124 127 129 134 140 141 142 145 146 147 150 151 154 157 160 161 168 172 174 176 177 186 188 193 196 198 201 202 211 219 224 227 228 229 231 237 239 243 245 249 250 251 256 257 265 267 270 271 272 273 279 281 285 287 292 293 299 301 304 307 308 313 314 315 316 317 321 324 325 330 331 332 336 340 341 345 351 353 355 359 360 361 362 363 364 365 366 370 373 377 379 382
a 11 16 19 21 24 27 29 39 40 46 53 56 60 71 80 82 83 88 89 90 93 94 95 101 102 103 104 106 118 122 123 124 127 129 134 140 141 142 145 146 147 150 151 154 157 160 161 168 172 174 176 177 186 188 193 196 198 201 202 211 219 224 227 228 229 231 237 239 243 245 249 250 251 256 257 265 267 270 271 272 273 279 281 285 287 292 293 299 301 304 307 308 313 314 315 316 317 321 324 325 330 331 332 336 340 341 345 351 353 355 359 360 361 362 363 364 365 366 370 373 377 379 382 385
a 11 16 19 21 24 27 29 39 40 46 53 56 60 71 80 82 88 89 90 93 94 95 101 102 103 104 106 113 118 122 123 124 127 129 134 140 141 142 145 146 147 150 151 154 157 160 161 168 172 174 176 177 186 188 193 196 198 201 202 211 219 224 227 228 229 231 237 239 243 245 249 250 251 256 257 265 267 270 271 272 273 279 281 285 287 292 293 299 301 304 307 308 313 314 315 316 317 321 324 325 330 331 332 336 340 341 345 351 353 355 359 360 361 362 363 364 365 366 370 373 377 379 382 385
a 11 16 19 21 24 27 29 39 40 46 53 56 60 71 80 82 88 89 90 93 94 95 102 103 104 106 113 118 122 123 124 127 129 134 140 141 142 145 146 147 150 151 154 157 160 161 168 172 174 176 177 186 188 193 196 198 201 202 211 219 224 227 228 229 231 237 239 243 245 249 250 251 256 257 265 267 270 271 272 273 279 281 285 287 292 293 299 301 304 307 308 313 314 315 316 317 321 324 325 330 331 332 336 340 341 345 351 353 355 359 360 361 362 363 364 365 366 368 370 373 377 379 382 385
a 11 16 19 21 24 27 29 39 40 46 53 56 60 71 80 82 88 89 90 93 94 95 102 104 106 113 118 122 123 124 127 129 134 140 141 142 145 146 147 150 151 154 157 160 161 168 172 174 176 177 186 188 193 196 198 201 202 211 219 224 227 228 229 231 237 239 243 245 249 250 251 256 257 265 267 270 271 272 273 279 281 284 285 287 292 293 299 301 304 307 308 313 314 315 316 317 321 324 325 330 331 332 336 340 341 345 351 353 355 359 360 361 362 363 364 365 366 368 370 373 377 379 382 385
a 11 16 19 21 24 27 29 39 40 46 53 56 60 71 80 82 88 89 90 93 94 95 102 106 113 118 122 123 124 127 129 134 140 141 142 145 146 147 150 151 154 157 160 161 168 172 174 176 177 186 188 193 196 198 201 202 211 219 224 227 228 229 231 237 239 243 245 249 250 251 256 257 265 267 270 271 272 273 279 281 284 285 287 292 293 299 301 304 307 308 313 314 315 316 317 321 324 325 330 331 332 336 340 341 345 349 351 353 355 359 360 361 362 363 364 365 366 368 370 373 377 379 382 385
a 11 16 19 21 24 27 29 39 40 46 53 56 60 71 80 82 88 89 90 93 94 95 102 106 113 118 121 122 123 127 129 134 140 141 142 145 146 147 150 151 154 157 160 161 168 172 174 176 177 186 188 193 196 198 201 202 211 219 224 227 228 229 231 237 239 243 245 249 250 251 256 257 265 267 270 271 272 273 279 281 284 285 287 292 293 299 301 304 307 308 313 314 315 316 317 321 324 325 330 331 332 336 340 341 345 349 351 353 355 359 360 361 362 363 364 365 366 368 370 373 377 379 382 385
a 11 19 21 24 27 29 39 40 46 53 56 60 71 80 82 88 89 90 93 94 95 102 106 113 118 121 122 123 127 129 134 140 141 142 145 146 147 150 151 154 157 160 161 168 172 174 176 177 186 188 193 196 198 201 202 211 219 224 227 228 229 231 237 239 243 245 249 250 251 256 257 265 267 270 271 272 273 279 281 284 285 287 292 293 299 301 304 307 308 313 314 315 316 317 321 324 325 330 331 332 336 340 341 345 349 351 353 355 357 359 360 361 362 363 364 365 366 368 370 373 377 379 382 385
a 11 19 21 24 27 29 32 39 40 46 53 56 60 71 80 82 88 89 90 93 94 95 102 106 113 118 121 122 123 127 134 140 141 142 145 146 147 150 151 154 157 160 161 168 172 174 176 177 186 188 193 196 198 201 202 211 219 224 227 228 229 231 237 239 243 245 249 250 251 256 257 265 267 270 271 272 273 279 281 284 285 287 292 293 299 301 304 307 308 313 314 315 316 317 321 324 325 330 331 332 336 340 341 345 349 351 353 355 357 359 360 361 362 363 364 365 366 368 370 373 377 379 382 385
a 11 19 21 24 27 29 32 39 40 41 46 56 60 71 80 82 88 89 90 93 94 95 102 106 113 118 121 122 123 127 134 140 141 142 145 146 147 150 151 154 157 160 161 168 172 174 176 177 186 188 193 196 198 201 202 211 219 224 227 228 229 231 237 239 243 245 249 250 251 256 257 265 267 270 271 272 273 279 281 284 285 287 292 293 299 301 304 307 308 313 314 315 316 317 321 324 325 330 331 332 336 340 341 345 349 351 353 355 357 359 360 361 362 363 364 365 366 368 370 373 377 379 382 385
a 11 19 21 24 27 29 32 39 40 41 46 56 60 71 80 82 88 89 90 93 94 95 102 106 113 118 121 122 123 127 134 140 141 145 146 147 150 151 154 157 160 161 168 172 174 176 177 186 188 193 196 198 201 202 211 219 224 227 228 229 231 233 237 239 243 245 249 250 251 256 257 265 267 270 271 272 273 279 281 284 285 287 292 293 299 301 304 307 308 313 314 315 316 317 321 324 325 330 331 332 336 340 341 345 349 351 353 355 357 359 360 361 362 363 364 365 366 368 370 373 377 379 382 385
a 11 19 21 24 27 29 32 39 40 41 46 56 60 71 80 82 88 89 90 93 94 95 102 106 113 118 121 122 123 127 134 137 140 141 145 147 150 151 154 157 160 161 168 172 174 176 177 186 188 193 196 198 201 202 211 219 224 227 228 229 231 233 237 239 243 245 249 250 251 256 257 265 267 270 271 272 273 279 281 284 285 287 292 293 299 301 304 307 308 313 314 315 316 317 321 324 325 330 331 332 336 340 341 345 349 351 353 355 357 359 360 361 362 363 364 365 366 368 370 373 377 379 382 385
a 11 19 21 22 24 27 29 32 39 40 41 46 56 60 71 80 82 88 89 90 93 94 95 102 106 113 118 121 122 123 127 134 137 140 141 145 147 150 151 154 157 161 168 172 174 176 177 186 188 193 196 198 201 202 211 219 224 227 228 229 231 233 237 239 243 245 249 250 251 256 257 265 267 270 271 272 273 279 281 284 285 287 292 293 299 301 304 307 308 313 314 315 316 317 321 324 325 330 331 332 336 340 341 345 349 351 353 355 357 359 360 361 362 363 364 365 366 368 370 373 377 379 382 385
a 11 19 21 22 24 27 29 32 39 40 41 46 56 60 71 80 82 88 89 90 93 94 95 102 106 113 118 121 122 123 127 134 137 140 141 145 147 150 151 154 161 168 172 174 176 177 186 188 193 196 198 201 202 211 219 224 227 228 229 231 233 237 239 243 245 249 250 251 256 257 265 267 270 271 272 273 279 281 284 285 287 292 293 299 301 304 307 308 311 313 314 315 316 317 321 324 325 330 331 332 336 340 341 345 349 351 353 355 357 359 360 361 362 363 364 365 366 368 370 373 377 379 382 385
a 11 19 21 22 24 27 29 32 39 40 41 46 56 60 71 80 82 88 89 90 93 94 95 102 106 113 118 121 122 123 127 134 137 140 141 145 147 150 151 154 168 172 174 176 177 186 188 193 196 198 201 202 211 219 224 227 228 229 231 233 237 239 243 245 249 250 251 256 257 258 265 267 270 271 272 273 279 281 284 285 287 292 293 299 301 304 307 308 311 313 314 315 316 317 321 324 325 330 331 332 336 340 341 345 349 351 353 355 357 359 360 361 362 363 364 365 366 368 370 373 377 379 382 385
a 11 19 22 24 27 29 32 39 40 41 46 56 60 71 80 82 88 89 90 93 94 95 102 106 113 118 121 122 123 127 134 137 140 141 145 147 150 151 154 168 172 174 176 177 186 188 193 196 198 201 202 211 219 224 227 228 229 231 233 237 239 243 245 249 250 251 256 257 258 265 267 270 271 272 273 279 281 284 285 287 292 293 299 301 304 305 307 308 311 313 314 315 316 317 321 324 325 330 331 332 336 340 341 345 349 351 353 355 357 359 360 361 362 363 364 365 366 368 370 373 377 379 382 385
a 11 19 22 24 27 29 32 39 40 41 46 56 60 71 80 82 88 89 90 93 94 95 100 102 106 113 118 121 122 123 127 134 137 140 141 145 147 150 151 154 168 172 174 176 186 188 193 196 198 201 202 211 219 224 227 228 229 231 233 237 239 243 245 249 250 251 256 257 258 265 267 270 271 272 273 279 281 284 285 287 292 293 299 301 304 305 307 308 311 313 314 315 316 317 321 324 325 330 331 332 336 340 341 345 349 351 353 355 357 359 360 361 362 363 364 365 366 368 370 373 377 379 382 385
a 11 19 22 24 27 29 32 39 40 41 46 56 60 71 80 82 88 89 90 93 94 95 100 102 106 113 118 121 122 123 127 134 137 140 141 145 147 150 151 154 168 172 174 176 186 188 193 196 198 201 202 211 219 224 227 228 229 233 237 239 243 245 249 250 251 256 257 258 265 267 270 271 272 273 279 281 284 285 287 292 293 299 301 304 305 307 308 311 313 314 315 316 317 321 324 325 327 330 331 332 336 340 341 345 349 351 353 355 357 359 360 361 362 363 364 365 366 368 370 373 377 379 382 385
a 11 19 22 24 27 29 32 39 40 41 46 56 60 71 80 82 88 89 90 93 94 95 100 102 106 113 118 121 122 123 127 134 137 140 141 145 147 150 151 154 168 172 174 176 186 188 193 196 198 201 202 211 219 224 226 227 228 229 233 237 239 243 245 249 251 256 257 258 265 267 270 271 272 273 279 281 284 285 287 292 293 299 301 304 305 307 308 311 313 314 315 316 317 321 324 325 327 330 331 332 336 340 341 345 349 351 353 355 357 359 360 361 362 363 364 365 366 368 370 373 377 379 382 385
a 11 19 22 24 27 29 32 39 40 41 46 56 60 71 80 82 88 89 90 93 94 95 100 102 106 113 118 121 122 123 127 134 137 140 141 145 147 150 151 154 168 172 174 176 186 188 193 196 198 201 202 203 211 219 224 226 227 228 229 233 237 239 243 245 249 256 257 258 265 267 270 271 272 273 279 281 284 285 287 292 293 299 301 304 305 307 308 311 313 314 315 316 317 321 324 325 327 330 331 332 336 340 341 345 349 351 353 355 357 359 360 361 362 363 364 365 366 368 370 373 377 379 382 385
a 11 19 22 24 29 32 39 40 41 46 56 60 71 80 82 88 89 90 93 94 95 100 102 106 113 118 121 122 123 127 134 137 140 141 145 147 150 151 154 168 172 174 176 186 188 193 196 198 201 202 203 211 219 224 226 227 228 229 233 237 239 243 245 249 256 257 258 265 267 270 271 272 273 279 281 284 285 287 288 292 293 299 301 304 305 307 308 311 313 314 315 316 317 321 324 325 327 330 331 332 336 340 341 345 349 351 353 355 357 359 360 361 362 363 364 365 366 368 370 373 377 379 382 385
a 11 19 22 24 29 32 39 40 41 46 56 60 71 80 82 88 89 90 93 94 95 100 102 106 113 118 121 122 123 127 134 137 140 141 145 147 150 151 154 168 172 174 176 186 188 193 196 198 201 202 203 211 219 224 226 227 228 229 233 237 239 243 245 249 256 257 258 265 270 271 272 273 279 281 284 285 287 288 292 293 299 301 304 305 307 308 311 313 314 315 316 317 321 324 325 327 330 331 332 336 340 341 344 345 349 351 353 355 357 359 360 361 362 363 364 365 366 368 370 373 377 379 382 385
a 11 19 22 24 29 32 39 40 41 46 56 60 71 80 82 88 89 90 93 94 95 100 102 106 113 118 121 122 123 127 134 137 140 141 145 147 150 151 154 168 172 174 176 186 188 193 196 198 201 202 203 211 219 224 226 227 228 229 233 237 239 243 245 249 256 257 258 265 270 271 273 279 281 284 285 287 288 292 293 299 301 304 305 307 308 311 312 313 314 315 316 317 321 324 325 327 330 331 332 336 340 341 344 345 349 351 353 355 357 359 360 361 362 363 364 365 366 368 370 373 377 379 382 385
a 11 19 22 24 29 32 40 41 46 56 60 71 80 82 88 89 90 93 94 95 100 102 106 110 113 118 121 122 123 127 134 137 140 141 145 147 150 151 154 168 172 174 176 186 188 193 196 198 201 202 203 211 219 224 226 227 228 229 233 237 239 243 245 249 256 257 258 265 270 271 273 279 281 284 285 287 288 292 293 299 301 304 305 307 308 311 312 313 314 315 316 317 321 324 325 327 330 331 332 336 340 341 344 345 349 351 353 355 357 359 360 361 362 363 364 365 366 368 370 373 377 379 382 385
a 11 19 22 24 29 32 40 41 46 56 60 71 80 82 88 89 90 93 94 95 100 102 105 106 110 113 118 121 122 123 127 134 137 140 141 145 147 150 151 154 168 172 174 186 188 193 196 198 201 202 203 211 219 224 226 227 228 229 233 237 239 243 245 249 256 257 258 265 270 271 273 279 281 284 285 287 288 292 293 299 301 304 305 307 308 311 312 313 314 315 316 317 321 324 325 327 330 331 332 336 340 341 344 345 349 351 353 355 357 359 360 361 362 363 364 365 366 368 370 373 377 379 382 385
a 6 11 19 22 24 29 32 40 41 46 56 60 71 80 82 88 89 90 93 94 95 100 102 105 106 110 113 118 121 122 123 127 134 137 140 141 145 147 150 151 154 168 172 174 186 188 193 196 198 201 202 203 211 219 224 226 227 228 229 233 237 239 243 245 249 256 257 258 265 270 271 279 281 284 285 287 288 292 293 299 301 304 305 307 308 311 312 313 314 315 316 317 321 324 325 327 330 331 332 336 340 341 344 345 349 351 353 355 357 359 360 361 362 363 364 365 366 368 370 373 377 379 382 385
a 6 11 19 22 24 29 32 40 41 46 56 60 71 73 80 82 88 89 90 93 94 95 100 102 105 106 110 113 118 121 122 123 127 134 137 140 141 145 147 150 151 154 168 172 174 186 188 193 196 198 201 202 203 211 219 224 226 227 228 229 233 237 239 243 245 249 256 257 258 265 270 271 281 284 285 287 288 292 293 299 301 304 305 307 308 311 312 313 314 315 316 317 321 324 325 327 330 331 332 336 340 341 344 345 349 351 353 355 357 359 360 361 362 363 364 365 366 368 370 373 377 379 382 385
a 6 11 19 22 24 29 32 41 46 56 60 71 73 80 82 88 89 90 93 94 95 100 102 105 106 110 113 118 121 122 123 127 134 137 140 141 145 147 150 151 154 168 172 174 186 188 193 196 198 201 202 203 211 219 224 226 227 228 229 233 237 239 243 245 249 256 257 258 265 270 271 281 284 285 287 288 292 293 299 301 304 305 307 308 311 312 313 314 315 316 317 321 324 325 327 330 331 332 336 340 341 344 345 349 351 353 355 357 359 360 361 362 363 364 365 366 368 370 373 377 379 380 382 385
a 6 11 19 22 24 29 32 41 46 56 60 73 80 82 88 89 90 93 94 95 100 102 105 106 110 113 118 121 122 123 127 134 137 140 141 145 147 150 151 154 168 172 174 186 188 193 196 198 201 202 203 211 219 222 224 226 227 228 229 233 237 239 243 245 249 256 257 258 265 270 271 281 284 285 287 288 292 293 299 301 304 305 307 308 311 312 313 314 315 316 317 321 324 325 327 330 331 332 336 340 341 344 345 349 351 353 355 357 359 360 361 362 363 364 365 366 368 370 373 377 379 380 382 385
a 6 11 19 22 24 29 32 41 46 56 60 73 80 82 88 89 90 93 94 95 100 102 105 106 110 113 118 121 122 123 127 134 137 140 141 145 147 150 151 154 168 172 174 186 188 193 196 198 201 202 203 211 219 222 224 226 227 228 229 233 237 239 243 245 248 256 257 258 265 270 271 281 284 285 287 288 292 293 299 301 304 305 307 308 311 312 313 314 315 316 317 321 324 325 327 330 331 332 336 340 341 344 345 349 351 353 355 357 359 360 361 362 363 364 365 366 368 370 373 377 379 380 382 385
a 6 11 19 22 24 29 32 41 46 56 60 73 80 82 88 89 90 93 94 95 100 102 105 106 110 113 118 121 122 123 127 134 137 140 141 145 147 150 151 154 168 172 174 182 186 188 196 198 201 202 203 211 219 222 224 226 227 228 229 233 237 239 243 245 248 256 257 258 265 270 271 281 284 285 287 288 292 293 299 301 304 305 307 308 311 312 313 314 315 316 317 321 324 325 327 330 331 332 336 340 341 344 345 349 351 353 355 357 359 360 361 362 363 364 365 366 368 370 373 377 379 380 382 385
a 6 11 19 22 24 29 32 41 46 56 60 73 80 82 88 89 90 93 94 95 100 102 105 106 110 113 118 121 122 123 127 134 135 137 140 141 145 147 150 151 154 168 172 174 182 186 188 196 198 201 202 203 211 219 222 224 226 227 228 229 233 237 239 243 245 248 256 257 258 265 270 271 284 285 287 288 292 293 299 301 304 305 307 308 311 312 313 314 315 316 317 321 324 325 327 330 331 332 336 340 341 344 345 349 351 353 355 357 359 360 361 362 363 364 365 366 368 370 373 377 379 380 382 385
a 6 11 19 22 24 29 32 41 46 60 73 80 82 88 89 90 93 94 95 100 102 105 106 110 113 118 121 122 123 127 134 135 137 140 141 145 147 150 151 154 168 172 174 182 186 188 196 198 201 202 203 211 219 222 224 226 227 228 229 233 237 239 243 245 248 256 257 258 265 270 271 284 285 287 288 292 293 299 301 304 305 306 307 308 311 312 313 314 315 316 317 321 324 325 327 330 331 332 336 340 341 344 345 349 351 353 355 357 359 360 361 362 363 364 365 366 368 370 373 377 379 380 382 385
a 6 11 19 22 24 29 32 41 46 60 73 77 80 82 88 89 90 93 94 95 100 102 105 106 110 113 118 121 122 123 127 134 135 137 140 141 145 147 150 151 154 168 172 174 182 186 188 196 198 201 202 203 211 219 222 224 226 227 228 229 233 237 239 243 245 248 256 257 258 265 270 271 284 285 287 288 292 299 301 304 305 306 307 308 311 312 313 314 315 316 317 321 324 325 327 330 331 332 336 340 341 344 345 349 351 353 355 357 359 360 361 362 363 364 365 366 368 370 373 377 379 380 382 385
a 6 11 19 22 24 29 32 41 46 73 77 80 82 88 89 90 93 94 95 100 102 105 106 110 113 118 121 122 123 127 134 135 137 140 141 145 147 150 151 154 168 172 174 182 186 188 196 198 201 202 203 211 219 221 222 224 226 227 228 229 233 237 239 243 245 248 256 257 258 265 270 271 284 285 287 288 292 299 301 304 305 306 307 308 311 312 313 314 315 316 317 321 324 325 327 330 331 332 336 340 341 344 345 349 351 353 355 357 359 360 361 362 363 364 365 366 368 370 373 377 379 380 382 385
a 6 11 19 22 24 29 32 41 46 73 77 80 82 88 89 90 93 94 95 100 102 105 106 110 113 118 121 122 123 127 134 135 137 140 141 145 147 150 151 154 168 172 174 182 186 188 196 198 201 202 203 211 219 221 222 224 226 227 228 229 233 237 239 243 245 248 256 257 258 265 270 271 284 285 287 288 292 301 304 305 306 307 308 311 312 313 314 315 316 317 321 324 325 327 330 331 332 336 340 341 344 345 349 351 353 355 357 359 360 361 362 363 364 365 366 368 369 370 373 377 379 380 382 385
a 6 11 19 22 24 29 32 41 46 73 77 82 88 89 90 93 94 95 100 102 105 106 110 113 118 121 122 123 127 134 135 137 140 141 145 147 150 151 154 163 168 172 174 182 186 188 196 198 201 202 203 211 219 221 222 224 226 227 228 229 233 237 239 243 245 248 256 257 258 265 270 271 284 285 287 288 292 301 304 305 306 307 308 311 312 313 314 315 316 317 321 324 325 327 330 331 332 336 340 341 344 345 349 351 353 355 357 359 360 361 362 363 364 365 366 368 369 370 373 377 379 380 382 385
a 6 11 19 22 24 29 32 41 46 73 77 82 88 89 93 94 95 100 102 105 106 108 110 113 118 121 122 123 127 134 135 137 140 141 145 147 150 151 154 163 168 172 174 182 186 188 196 198 201 202 203 211 219 221 222 224 226 227 228 229 233 237 239 243 245 248 256 257 258 265 270 271 284 285 287 288 292 301 304 305 306 307 308 311 312 313 314 315 316 317 321 324 325 327 330 331 332 336 340 341 344 345 349 351 353 355 357 359 360 361 362 363 364 365 366 368 369 370 373 377 379 380 382 385
a 6 11 19 22 24 29 32 41 46 73 77 82 84 88 89 93 94 95 100 102 105 106 108 110 113 118 121 122 123 127 134 135 137 140 141 145 147 150 151 154 163 168 172 174 182 186 188 196 198 201 202 203 211 219 221 222 224 226 227 228 229 233 237 239 243 245 248 256 257 258 270 271 284 285 287 288 292 301 304 305 306 307 308 311 312 313 314 315 316 317 321 324 325 327 330 331 332 336 340 341 344 345 349 351 353 355 357 359 360 361 362 363 364 365 366 368 369 370 373 377 379 380 382 385
a 6 11 19 22 24 29 32 41 46 73 77 82 84 88 89 93 94 95 100 102 105 106 108 110 113 118 121 123 127 134 135 137 140 141 145 147 150 151 154 163 168 172 174 182 186 188 196 198 201 202 203 211 219 221 222 224 226 227 228 229 233 236 237 239 243 245 248 256 257 258 270 271 284 285 287 288 292 301 304 305 306 307 308 311 312 313 314 315 316 317 321 324 325 327 330 331 332 336 340 341 344 345 349 351 353 355 357 359 360 361 362 363 364 365 366 368 369 370 373 377 379 380 382 385
a 6 11 19 22 24 29 32 41 46 73 77 82 84 88 89 93 94 95 100 102 105 106 108 110 113 118 121 123 127 134 135 137 140 141 145 147 150 151 154 163 168 172 174 182 186 188 196 198 201 202 203 211 219 221 222 224 226 227 228 229 233 236 237 239 243 245 248 256 257 258 270 271 284 285 287 288 292 301 305 306 307 308 311 312 313 314 315 316 317 321 324 325 327 330 331 332 336 338 340 341 344 345 349 351 353 355 357 359 360 361 362 363 364 365 366 368 369 370 373 377 379 380 382 385
a 6 11 19 22 24 29 32 33 41 46 73 77 82 84 88 89 93 94 95 100 102 105 106 108 110 113 118 121 123 127 134 135 137 140 141 145 147 150 151 154 163 168 172 174 182 186 188 196 198 201 202 203 211 219 221 222 224 226 227 228 229 233 236 237 239 243 245 248 256 257 258 270 271 284 285 287 288 292 301 305 306 307 311 312 313 314 315 316 317 321 324 325 327 330 331 332 336 338 340 341 344 345 349 351 353 355 357 359 360 361 362 363 364 365 366 368 369 370 373 377 379 380 382 385
a 6 11 19 22 24 29 32 33 41 46 73 77 82 84 88 89 93 94 95 100 102 105 106 108 110 113 116 118 121 123 127 134 135 137 140 141 145 147 150 151 154 163 168 172 174 182 186 188 196 198 201 202 203 211 219 221 222 224 226 227 228 229 233 236 237 239 243 245 248 256 257 258 270 271 284 285 287 288 292 301 305 306 307 311 312 314 315 316 317 321 324 325 327 330 331 332 336 338 340 341 344 345 349 351 353 355 357 359 360 361 362 363 364 365 366 368 369 370 373 377 379 380 382 385
a 6 11 19 22 24 29 32 33 41 46 73 77 82 84 88 89 93 94 95 100 102 105 106 108 110 113 116 118 121 123 125 127 134 135 137 140 141 145 147 150 151 154 163 168 172 174 182 186 188 196 198 201 202 203 211 219 221 222 224 226 227 228 229 233 236 237 239 243 245 248 256 257 258 270 271 284 285 287 288 292 301 305 306 307 311 312 315 316 317 321 324 325 327 330 331 332 336 338 340 341 344 345 349 351 353 355 357 359 360 361 362 363 364 365 366 368 369 370 373 377 379 380 382 385
a 6 11 19 22 24 29 32 33 41 46 61 73 77 82 84 89 93 94 95 100 102 105 106 108 110 113 116 118 121 123 125 127 134 135 137 140 141 145 147 150 151 154 163 168 172 174 182 186 188 196 198 201 202 203 211 219 221 222 224 226 227 228 229 233 236 237 239 243 245 248 256 257 258 270 271 284 285 287 288 292 301 305 306 307 311 312 315 316 317 321 324 325 327 330 331 332 336 338 340 341 344 345 349 351 353 355 357 359 360 361 362 363 364 365 366 368 369 370 373 377 379 380 382 385
a 6 11 19 22 24 29 32 33 41 46 61 73 77 82 84 89 93 94 95 100 102 105 106 108 110 113 116 118 121 123 125 127 134 135 137 139 140 141 145 147 150 151 154 163 168 172 174 182 186 188 196 198 201 202 203 211 219 221 222 224 226 227 228 229 233 236 237 239 243 245 248 256 257 258 270 271 284 285 287 288 292 301 305 306 307 311 312 315 316 317 324 325 327 330 331 332 336 338 340 341 344 345 349 351 353 355 357 359 360 361 362 363 364 365 366 368 369 370 373 377 379 380 382 385
a 6 11 19 22 24 29 32 33 41 46 61 73 77 82 84 89 93 94 95 100 102 105 106 108 110 113 116 118 121 123 125 127 133 134 135 137 139 140 141 145 147 150 151 154 163 168 172 174 182 186 188 196 198 201 202 203 211 219 221 222 224 226 227 228 229 233 236 237 239 243 245 248 256 257 258 270 271 284 285 287 288 292 301 305 306 307 311 312 315 316 317 325 327 330 331 332 336 338 340 341 344 345 349 351 353 355 357 359 360 361 362 363 364 365 366 368 369 370 373 377 379 380 382 385
a 6 11 19 22 24 29 32 33 41 46 61 73 77 82 84 89 93 94 95 100 102 105 108 110 113 116 118 121 123 125 127 133 134 135 137 139 140 141 145 147 150 151 154 163 168 172 174 182 186 188 196 198 201 202 203 211 219 221 222 224 226 227 228 229 233 236 237 239 243 245 248 256 257 258 270 271 284 285 287 288 292 301 305 306 307 311 312 315 316 317 325 327 330 331 332 336 338 340 341 343 344 345 349 351 353 355 357 359 360 361 362 363 364 365 366 368 369 370 373 377 379 380 382 385
a 6 11 19 22 24 29 32 33 41 46 61 73 77 82 84 89 93 94 95 100 102 105 108 110 113 116 118 121 123 125 127 133 134 135 137 139 140 141 145 147 150 151 154 163 168 172 174 182 186 188 196 198 201 202 203 211 219 221 222 224 226 227 228 229 233 236 237 239 243 245 248 256 257 258 263 270 271 284 285 287 288 292 301 305 306 307 311 312 315 316 317 327 330 331 332 336 338 340 341 343 344 345 349 351 353 355 357 359 360 361 362 363 364 365 366 368 369 370 373 377 379 380 382 385
a 6 11 19 22 24 29 32 33 41 46 61 69 73 77 82 84 89 93 94 95 100 102 105 108 110 113 116 118 121 123 125 133 134 135 137 139 140 141 145 147 150 151 154 163 168 172 174 182 186 188 196 198 201 202 203 211 219 221 222 224 226 227 228 229 233 236 237 239 243 245 248 256 257 258 263 270 271 284 285 287 288 292 301 305 306 307 311 312 315 316 317 327 330 331 332 336 338 340 341 343 344 345 349 351 353 355 357 359 360 361 362 363 364 365 366 368 369 370 373 377 379 380 382 385
a 6 11 19 22 24 29 32 33 41 46 61 69 73 77 82 84 89 93 94 95 100 102 105 108 110 113 116 118 121 123 125 133 134 135 137 139 140 141 145 147 150 154 163 168 172 174 182 186 188 196 198 201 202 203 211 214 219 221 222 224 226 227 228 229 233 236 237 239 243 245 248 256 257 258 263 270 271 284 285 287 288 292 301 305 306 307 311 312 315 316 317 327 330 331 332 336 338 340 341 343 344 345 349 351 353 355 357 359 360 361 362 363 364 365 366 368 369 370 373 377 379 380 382 385
a 6 11 19 22 24 29 32 33 41 46 61 69 73 77 82 84 89 93 94 95 100 102 105 107 108 110 113 116 118 121 123 125 133 134 135 137 139 140 141 145 147 150 154 163 168 172 182 186 188 196 198 201 202 203 211 214 219 221 222 224 226 227 228 229 233 236 237 239 243 245 248 256 257 258 263 270 271 284 285 287 288 292 301 305 306 307 311 312 315 316 317 327 330 331 332 336 338 340 341 343 344 345 349 351 353 355 357 359 360 361 362 363 364 365 366 368 369 370 373 377 379 380 382 385
a 6 11 19 22 24 29 32 33 41 46 48 61 69 73 77 82 84 89 93 94 95 100 102 105 107 108 110 113 116 118 121 123 125 133 134 135 137 139 140 141 145 147 150 154 163 168 172 182 186 188 196 198 201 202 203 211 214 219 221 222 226 227 228 229 233 236 237 239 243 245 248 256 257 258 263 270 271 284 285 287 288 292 301 305 306 307 311 312 315 316 317 327 330 331 332 336 338 340 341 343 344 345 349 351 353 355 357 359 360 361 362 363 364 365 366 368 369 370 373 377 379 380 382 385
a 6 11 19 22 24 29 32 33 41 46 48 61 69 73 77 82 84 89 93 94 95 100 102 105 107 108 110 113 116 118 121 123 125 133 134 135 137 139 140 141 145 147 150 154 163 168 172 182 186 188 196 198 201 202 203 211 214 219 221 222 226 227 228 229 233 236 237 243 245 246 248 256 257 258 263 270 271 284 285 287 288 292 301 305 306 307 311 312 315 316 317 327 330 331 332 336 338 340 341 343 344 345 349 351 353 355 357 359 360 361 362 363 364 365 366 368 369 370 373 377 379 380 382 385
a 6 11 19 22 24 29 32 33 41 46 48 61 69 73 77 82 84 89 93 94 95 100 102 105 107 108 110 113 116 118 121 123 125 133 134 135 137 139 140 141 145 147 150 154 163 168 172 182 186 188 196 198 201 202 203 211 214 219 220 221 222 226 227 228 229 233 236 237 243 245 246 248 256 257 258 263 270 271 284 285 287 288 292 301 305 306 307 311 312 315 316 317 327 330 331 332 336 338 341 343 344 345 349 351 353 355 357 359 360 361 362 363 364 365 366 368 369 370 373 377 379 380 382 385
a 6 11 19 22 24 29 32 33 41 46 48 51 61 69 73 77 82 84 89 93 94 95 100 102 105 107 108 110 113 116 118 121 123 125 133 134 135 137 139 140 141 145 147 150 154 163 168 172 182 186 188 196 201 202 203 211 214 219 220 221 222 226 227 228 229 233 236 237 243 245 246 248 256 257 258 263 270 271 284 285 287 288 292 301 305 306 307 311 312 315 316 317 327 330 331 332 336 338 341 343 344 345 349 351 353 355 357 359 360 361 362 363 364 365 366 368 369 370 373 377 379 380 382 385
a 6 11 19 22 24 29 32 33 41 46 48 51 61 69 73 77 82 84 89 93 94 95 100 102 105 107 108 110 113 116 118 121 123 125 133 134 135 137 139 140 141 145 147 150 154 163 168 172 179 182 186 188 196 201 202 203 211 214 219 220 221 222 226 227 228 229 233 236 237 243 245 246 248 256 257 258 263 270 271 284 285 287 288 292 301 305 306 307 311 312 315 316 317 327 330 331 332 336 338 341 343 344 345 349 353 355 357 359 360 361 362 363 364 365 366 368 369 370 373 377 379 380 382 385
a 6 11 19 22 24 29 32 33 41 46 48 51 61 69 73 77 82 84 89 93 94 95 100 102 105 107 108 110 113 116 118 121 123 125 133 134 135 137 139 140 141 145 147 150 154 163 168 172 179 182 186 188 196 201 202 203 211 214 219 220 221 222 226 227 228 229 233 236 237 243 245 246 248 256 257 258 263 270 271 284 285 287 288 292 301 305 306 307 311 312 315 316 317 327 330 331 332 336 338 341 343 344 345 349 355 357 359 360 361 362 363 364 365 366 368 369 370 372 373 377 379 380 382 385
a 6 11 19 22 24 29 32 33 41 46 48 51 54 61 69 73 77 82 84 89 93 94 95 100 102 105 107 108 110 113 116 118 121 123 125 133 134 135 137 139 140 141 145 147 150 154 163 168 172 179 182 186 188 196 201 202 203 211 214 219 220 221 222 226 227 228 229 233 236 237 243 245 246 248 256 257 258 263 270 271 284 285 287 288 292 301 305 306 307 311 312 315 316 317 327 330 331 332 336 338 341 343 344 345 349 357 359 360 361 362 363 364 365 366 368 369 370 372 373 377 379 380 382 385
a 6 11 19 22 24 29 32 33 41 46 48 51 54 61 69 73 77 82 84 89 93 94 95 100 102 105 107 108 110 113 116 118 121 123 125 133 134 135 137 139 140 141 145 147 150 154 163 168 172 179 182 186 188 196 201 202 203 211 214 220 221 222 226 227 228 229 233 236 237 243 245 246 248 256 257 258 263 270 271 284 285 287 288 292 301 305 306 307 311 312 315 316 317 327 330 331 332 336 338 341 343 344 345 348 349 357 359 360 361 362 363 364 365 366 368 369 370 372 373 377 379 380 382 385
a 6 11 19 22 24 29 32 33 41 46 48 51 54 61 69 73 77 82 84 89 93 94 95 100 102 105 107 108 110 113 116 118 121 123 125 133 134 135 137 139 140 141 145 147 150 154 163 168 172 179 182 184 186 188 196 201 202 203 211 214 220 221 222 226 227 228 229 233 236 237 245 246 248 256 257 258 263 270 271 284 285 287 288 292 301 305 306 307 311 312 315 316 317 327 330 331 332 336 338 341 343 344 345 348 349 357 359 360 361 362 363 364 365 366 368 369 370 372 373 377 379 380 382 385
a 6 11 19 22 24 29 32 33 41 46 48 51 54 57 61 69 73 77 82 84 89 93 94 95 100 102 105 107 108 110 113 116 118 121 123 125 133 134 135 137 139 140 141 145 147 150 154 163 168 172 179 182 184 186 188 196 201 202 203 211 214 220 221 222 226 227 228 229 233 236 237 245 246 248 256 257 258 263 270 271 284 285 287 288 292 301 305 306 307 311 312 315 316 317 327 330 331 332 336 338 341 343 344 345 348 349 357 359 360 362 363 364 365 366 368 369 370 372 373 377 379 380 382 385
a 6 11 19 22 24 29 32 33 41 46 48 51 54 57 61 69 73 77 82 84 89 93 94 95 100 102 105 107 108 110 113 116 118 121 123 125 133 134 135 137 139 140 141 145 147 150 154 163 168 172 179 182 184 186 188 196 201 202 203 211 214 220 221 222 226 228 229 233 236 237 245 246 248 254 256 257 258 263 270 271 284 285 287 288 292 301 305 306 307 311 312 315 316 317 327 330 331 332 336 338 341 343 344 345 348 349 357 359 360 362 363 364 365 366 368 369 370 372 373 377 379 380 382 385
a 6 11 19 22 24 29 32 33 41 46 48 51 54 57 61 69 73 77 82 84 89 93 94 95 100 102 105 107 108 110 113 116 118 121 123 125 133 134 135 137 139 140 141 145 147 150 154 163 168 172 179 182 184 186 188 196 201 202 203 211 214 220 221 222 226 228 229 233 236 237 245 246 248 254 256 257 258 263 269 270 271 284 287 288 292 301 305 306 307 311 312 315 316 317 327 330 331 332 336 338 341 343 344 345 348 349 357 359 360 362 363 364 365 366 368 369 370 372 373 377 379 380 382 385
a 6 11 19 22 24 29 32 33 41 46 48 51 54 57 61 69 73 77 82 84 89 93 94 95 100 102 105 107 108 110 113 116 118 121 123 125 133 134 135 137 139 140 141 145 147 150 154 163 168 172 179 182 184 186 188 196 201 202 203 211 214 220 221 222 226 228 229 233 236 237 245 246 248 254 256 257 258 263 269 270 271 284 287 288 292 301 305 306 307 311 312 315 316 317 327 330 331 332 336 338 341 343 344 345 348 349 356 357 359 360 362 363 364 365 368 369 370 372 373 377 379 380 382 385
a 6 7 11 19 22 24 29 32 33 41 46 48 51 54 57 61 69 73 77 82 84 89 93 94 95 100 102 105 107 108 110 113 116 118 121 123 125 133 134 135 137 139 140 141 145 147 150 154 163 168 172 179 182 184 186 188 196 201 202 203 211 214 220 221 222 226 228 229 233 236 237 245 246 248 254 256 257 258 263 269 270 271 284 287 288 292 301 305 306 307 311 312 315 316 317 327 330 331 332 336 338 341 343 344 345 348 349 356 357 359 360 362 363 364 365 368 369 370 372 377 379 380 382 385
a 6 7 11 19 22 24 29 32 33 41 46 48 51 54 57 61 69 73 77 82 84 89 93 94 95 100 102 105 107 108 110 113 116 117 118 121 123 125 133 134 135 137 139 140 141 145 147 150 154 163 168 172 179 182 184 186 188 196 201 202 203 211 214 220 221 222 226 228 229 233 236 237 245 246 248 254 256 257 258 263 269 270 271 284 287 288 292 301 305 306 307 311 312 315 316 317 327 330 331 336 338 341 343 344 345 348 349 356 357 359 360 362 363 364 365 368 369 370 372 377 379 380 382 385
a 6 7 11 19 22 24 29 32 33 41 46 48 51 54 57 61 69 73 77 82 84 89 93 94 95 100 102 105 107 108 110 113 116 117 118 121 123 125 128 133 134 135 137 139 140 141 145 147 150 154 163 168 172 179 182 184 186 188 196 201 202 203 211 214 220 221 222 226 228 229 233 236 237 245 246 248 254 256 257 258 263 269 270 271 284 287 288 292 301 305 306 307 311 312 315 316 317 327 330 331 336 338 341 343 344 345 348 349 356 357 359 360 362 363 364 365 368 369 370 372 379 380 382 385
a 6 7 11 19 22 24 29 32 33 41 46 48 51 54 57 61 69 73 77 82 84 89 93 94 95 100 102 105 107 108 110 113 116 117 118 121 123 125 128 133 134 135 137 139 140 141 145 147 150 154 163 168 172 179 182 184 186 188 196 201 202 203 211 214 220 221 222 226 228 229 233 236 237 245 246 248 254 256 257 258 263 269 270 271 284 287 288 292 301 305 306 307 311 312 315 316 317 327 330 331 336 338 341 343 344 345 348 349 356 357 360 362 363 364 365 368 369 370 372 376 379 380 382 385
a 6 7 11 19 22 24 29 32 33 41 46 48 51 54 57 61 69 73 77 82 84 89 93 94 95 100 102 105 107 108 110 113 116 117 118 121 123 125 128 133 134 135 137 139 140 141 145 147 150 154 163 168 172 179 182 184 186 188 196 201 202 203 211 214 220 221 222 226 228 229 233 236 237 245 246 248 254 256 257 258 263 269 270 271 284 287 288 292 301 305 306 307 311 312 315 316 317 327 330 331 336 338 341 343 344 345 348 349 356 357 360 362 363 364 365 368 369 370 372 376 379 380 385 390
#END: [Tue Sep 26 01:12:50 2023]