#BEGIN: [Fri Sep 8 21:50:51 2023] #HOST: s11 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: shortest-cpu-ai-planning2-shortest2 #INSTANCE1: /benchmark/random_instance/random_instance039_graph001.col #INSTANCE2: /benchmark/random_instance/random_instance039_graph001_01.dat #COMMAND: docker run --cap-add=CAP_SYS_RESOURCE --cidfile /tmp/cid.txt --init --rm -t --ulimit cpu=1800 -v /home/share/benchmark/ISR-benchmark:/benchmark ai-planning2 --config=shortest-portfolio --memory-limit=54 --time-limit=1800 /benchmark/random_instance/random_instance039_graph001.col /benchmark/random_instance/random_instance039_graph001_01.dat s 185 317 373 109 354 23 421 90 456 312 495 340 73 229 424 116 269 51 80 170 253 321 452 430 234 119 311 406 246 318 213 275 471 220 418 34 272 254 123 335 124 182 245 133 341 42 113 158 37 409 24 138 338 427 362 231 68 310 364 54 137 31 446 404 503 85 314 434 459 9 336 104 171 110 115 258 320 35 139 141 294 379 25 443 203 302 298 415 333 393 16 431 432 188 319 233 156 479 458 419 241 125 368 144 252 30 177 154 183 439 378 107 366 161 326 121 78 29 309 33 265 255 159 222 12 371 337 160 26 225 353 365 473 13 472 441 502 304 342 257 53 477 381 454 453 383 399 486 166 176 190 3 186 103 389 345 279 343 223 271 153 t 57 213 358 238 244 54 259 49 64 372 39 495 218 264 346 498 429 155 98 146 154 23 16 228 93 285 14 80 347 75 297 261 52 420 62 450 340 390 501 131 86 365 507 203 151 460 187 441 303 173 425 21 311 17 269 110 59 174 192 284 329 397 3 275 150 176 221 260 493 41 370 491 53 427 199 362 38 107 338 373 159 369 271 58 161 414 350 50 323 503 393 74 229 409 125 314 51 273 446 95 440 87 287 319 445 381 97 368 342 206 246 204 349 115 166 103 85 235 92 371 116 419 262 111 48 135 132 406 343 232 106 108 448 504 289 463 379 270 279 477 117 383 298 182 9 437 452 6 109 120 488 2 502 143 144 294 407 29 417 378 302 a YES a 3 9 12 13 16 23 24 25 26 29 30 31 33 34 35 37 42 51 53 54 68 73 78 80 85 90 103 104 107 109 110 113 115 116 119 121 123 124 125 133 137 138 139 141 144 153 154 156 158 159 160 161 166 170 171 176 177 182 183 185 186 188 190 203 213 220 222 223 225 229 231 233 234 241 245 246 252 253 254 255 257 258 265 269 271 272 275 279 294 298 302 304 309 310 311 312 314 317 318 319 320 321 326 333 335 336 337 338 340 341 342 343 345 353 354 362 364 365 366 368 371 373 378 379 381 383 389 393 399 404 406 409 415 418 419 421 424 427 430 431 432 434 439 441 443 446 452 453 454 456 458 459 471 472 473 477 479 486 495 502 503 a 3 9 12 13 16 23 24 25 26 29 30 31 33 34 35 42 51 53 54 68 73 78 80 85 90 103 104 107 109 110 113 115 116 119 121 123 124 125 133 137 138 139 141 144 153 154 156 158 159 160 161 166 170 171 176 177 182 183 185 186 188 190 203 213 220 222 223 225 229 231 233 234 241 245 246 252 253 254 255 257 258 265 269 270 271 272 275 279 294 298 302 304 309 310 311 312 314 317 318 319 320 321 326 333 335 336 337 338 340 341 342 343 345 353 354 362 364 365 366 368 371 373 378 379 381 383 389 393 399 404 406 409 415 418 419 421 424 427 430 431 432 434 439 441 443 446 452 453 454 456 458 459 471 472 473 477 479 486 495 502 503 a 3 9 12 13 16 23 24 25 26 29 30 31 33 34 35 42 51 53 54 68 73 78 80 85 103 104 107 109 110 113 115 116 119 121 123 124 125 133 137 138 139 141 144 153 154 156 158 159 160 161 166 170 171 176 177 182 183 185 186 188 190 203 213 220 222 223 225 229 231 233 234 241 245 246 252 253 254 255 257 258 265 269 270 271 272 275 279 294 298 302 304 309 310 311 312 314 317 318 319 320 321 326 333 335 336 337 338 340 341 342 343 345 353 354 362 364 365 366 368 371 373 378 379 381 383 389 393 399 404 406 409 415 418 419 420 421 424 427 430 431 432 434 439 441 443 446 452 453 454 456 458 459 471 472 473 477 479 486 495 502 503 a 3 9 12 13 16 23 24 25 26 29 30 31 33 34 35 42 51 53 54 68 73 78 80 85 103 104 107 109 110 115 116 119 121 123 124 125 133 137 138 139 141 144 153 154 156 158 159 160 161 166 170 171 176 177 182 183 185 186 188 190 203 213 220 222 223 225 229 231 233 234 241 244 245 246 252 253 254 255 257 258 265 269 270 271 272 275 279 294 298 302 304 309 310 311 312 314 317 318 319 320 321 326 333 335 336 337 338 340 341 342 343 345 353 354 362 364 365 366 368 371 373 378 379 381 383 389 393 399 404 406 409 415 418 419 420 421 424 427 430 431 432 434 439 441 443 446 452 453 454 456 458 459 471 472 473 477 479 486 495 502 503 a 3 9 12 13 16 23 24 25 26 29 30 31 33 34 35 42 51 53 54 68 73 78 80 85 103 104 107 109 110 115 116 119 123 124 125 133 137 138 139 141 144 153 154 156 158 159 160 161 166 170 171 176 177 182 183 185 186 188 190 203 213 220 222 223 225 229 231 233 234 241 244 245 246 252 253 254 255 257 258 265 269 270 271 272 275 279 294 298 302 304 309 310 311 312 314 317 318 319 320 321 326 333 335 336 337 338 340 341 342 343 345 353 354 362 364 365 366 368 371 373 378 379 381 383 389 393 399 404 406 409 415 418 419 420 421 424 427 430 431 432 434 439 441 443 446 452 453 454 456 458 459 471 472 473 477 479 486 495 502 503 507 a 3 9 12 13 16 23 24 25 26 29 30 33 34 35 42 51 53 54 68 73 78 80 85 103 104 107 109 110 115 116 119 123 124 125 133 137 138 139 141 144 153 154 156 158 159 160 161 166 170 171 176 177 182 183 185 186 188 190 203 213 220 222 223 225 229 231 233 234 241 244 245 246 252 253 254 255 257 258 265 269 270 271 272 275 279 294 298 302 304 309 310 311 312 314 317 318 319 320 321 323 326 333 335 336 337 338 340 341 342 343 345 353 354 362 364 365 366 368 371 373 378 379 381 383 389 393 399 404 406 409 415 418 419 420 421 424 427 430 431 432 434 439 441 443 446 452 453 454 456 458 459 471 472 473 477 479 486 495 502 503 507 a 3 9 12 13 16 23 24 25 26 29 30 33 34 35 42 51 53 54 68 73 78 80 85 103 104 107 109 110 115 116 117 119 124 125 133 137 138 139 141 144 153 154 156 158 159 160 161 166 170 171 176 177 182 183 185 186 188 190 203 213 220 222 223 225 229 231 233 234 241 244 245 246 252 253 254 255 257 258 265 269 270 271 272 275 279 294 298 302 304 309 310 311 312 314 317 318 319 320 321 323 326 333 335 336 337 338 340 341 342 343 345 353 354 362 364 365 366 368 371 373 378 379 381 383 389 393 399 404 406 409 415 418 419 420 421 424 427 430 431 432 434 439 441 443 446 452 453 454 456 458 459 471 472 473 477 479 486 495 502 503 507 a 3 9 12 13 16 23 24 25 26 29 30 33 34 35 42 51 53 54 68 73 78 80 85 103 104 107 109 110 115 116 117 119 125 133 137 138 139 141 144 153 154 156 158 159 160 161 166 170 171 176 177 182 183 185 186 188 190 203 213 220 222 223 225 229 231 233 234 241 244 245 246 252 253 254 255 257 258 262 265 269 270 271 272 275 279 294 298 302 304 309 310 311 312 314 317 318 319 320 321 323 326 333 335 336 337 338 340 341 342 343 345 353 354 362 364 365 366 368 371 373 378 379 381 383 389 393 399 404 406 409 415 418 419 420 421 424 427 430 431 432 434 439 441 443 446 452 453 454 456 458 459 471 472 473 477 479 486 495 502 503 507 a 3 9 12 13 16 23 24 25 26 29 30 33 34 35 42 51 53 54 68 73 78 80 85 103 104 107 109 110 115 116 117 119 125 133 137 139 141 144 153 154 156 158 159 160 161 166 170 171 176 177 182 183 185 186 188 190 203 213 220 222 223 225 229 231 233 234 241 244 245 246 252 253 254 255 257 258 262 265 269 270 271 272 275 279 294 298 302 303 304 309 310 311 312 314 317 318 319 320 321 323 326 333 335 336 337 338 340 341 342 343 345 353 354 362 364 365 366 368 371 373 378 379 381 383 389 393 399 404 406 409 415 418 419 420 421 424 427 430 431 432 434 439 441 443 446 452 453 454 456 458 459 471 472 473 477 479 486 495 502 503 507 a 3 9 12 16 23 24 25 26 29 30 33 34 35 42 51 53 54 68 73 78 80 85 92 103 104 107 109 110 115 116 117 119 125 133 137 139 141 144 153 154 156 158 159 160 161 166 170 171 176 177 182 183 185 186 188 190 203 213 220 222 223 225 229 231 233 234 241 244 245 246 252 253 254 255 257 258 262 265 269 270 271 272 275 279 294 298 302 303 304 309 310 311 312 314 317 318 319 320 321 323 326 333 335 336 337 338 340 341 342 343 345 353 354 362 364 365 366 368 371 373 378 379 381 383 389 393 399 404 406 409 415 418 419 420 421 424 427 430 431 432 434 439 441 443 446 452 453 454 456 458 459 471 472 473 477 479 486 495 502 503 507 a 3 9 12 16 23 24 25 26 29 30 33 34 35 42 51 53 54 68 73 78 80 85 92 103 104 107 109 110 115 116 117 119 125 133 137 139 141 144 153 154 156 158 159 161 166 170 171 176 177 182 183 185 186 188 190 203 213 218 220 222 223 225 229 231 233 234 241 244 245 246 252 253 254 255 257 258 262 265 269 270 271 272 275 279 294 298 302 303 304 309 310 311 312 314 317 318 319 320 321 323 326 333 335 336 337 338 340 341 342 343 345 353 354 362 364 365 366 368 371 373 378 379 381 383 389 393 399 404 406 409 415 418 419 420 421 424 427 430 431 432 434 439 441 443 446 452 453 454 456 458 459 471 472 473 477 479 486 495 502 503 507 a 3 9 16 23 24 25 26 29 30 33 34 35 42 51 53 54 68 73 78 80 85 92 103 104 107 109 110 115 116 117 119 125 133 137 139 141 144 153 154 156 158 159 161 166 170 171 176 177 182 183 185 186 188 190 203 213 218 220 222 223 225 229 231 233 234 241 244 245 246 252 253 254 255 257 258 262 265 269 270 271 272 275 279 294 298 302 303 304 309 310 311 312 314 317 318 319 320 321 323 326 333 335 336 337 338 340 341 342 343 345 353 354 362 364 365 366 368 371 373 378 379 381 383 389 393 399 404 406 409 415 417 418 419 420 421 424 427 430 431 432 434 439 441 443 446 452 453 454 456 458 459 471 472 473 477 479 486 495 502 503 507 a 3 9 16 23 24 25 26 29 30 33 35 42 51 53 54 68 73 78 80 85 92 103 104 107 109 110 115 116 117 119 125 133 137 139 141 144 153 154 156 158 159 161 166 170 171 176 177 182 183 185 186 188 190 203 213 218 220 222 223 225 229 231 233 234 241 244 245 246 252 253 254 255 257 258 262 265 269 270 271 272 275 279 294 298 302 303 304 309 310 311 312 314 317 318 319 320 321 323 326 333 335 336 337 338 340 341 342 343 345 353 354 362 364 365 366 368 371 373 378 379 381 383 389 393 399 404 406 409 415 417 418 419 420 421 424 427 430 431 432 434 439 441 443 446 452 453 454 456 458 459 471 472 473 477 479 486 488 495 502 503 507 a 3 6 9 16 23 24 25 26 29 30 33 35 42 51 53 54 68 73 78 80 85 92 103 104 107 109 110 115 116 117 119 125 133 137 139 141 144 153 154 156 158 159 161 166 170 171 176 177 182 183 185 186 188 190 203 213 218 222 223 225 229 231 233 234 241 244 245 246 252 253 254 255 257 258 262 265 269 270 271 272 275 279 294 298 302 303 304 309 310 311 312 314 317 318 319 320 321 323 326 333 335 336 337 338 340 341 342 343 345 353 354 362 364 365 366 368 371 373 378 379 381 383 389 393 399 404 406 409 415 417 418 419 420 421 424 427 430 431 432 434 439 441 443 446 452 453 454 456 458 459 471 472 473 477 479 486 488 495 502 503 507 a 3 6 9 16 23 25 26 29 30 33 35 42 51 53 54 64 68 73 78 80 85 92 103 104 107 109 110 115 116 117 119 125 133 137 139 141 144 153 154 156 158 159 161 166 170 171 176 177 182 183 185 186 188 190 203 213 218 222 223 225 229 231 233 234 241 244 245 246 252 253 254 255 257 258 262 265 269 270 271 272 275 279 294 298 302 303 304 309 310 311 312 314 317 318 319 320 321 323 326 333 335 336 337 338 340 341 342 343 345 353 354 362 364 365 366 368 371 373 378 379 381 383 389 393 399 404 406 409 415 417 418 419 420 421 424 427 430 431 432 434 439 441 443 446 452 453 454 456 458 459 471 472 473 477 479 486 488 495 502 503 507 a 3 6 9 16 23 26 29 30 33 35 42 51 53 54 64 68 73 78 80 85 92 103 104 107 109 110 115 116 117 119 125 133 137 139 141 144 153 154 156 158 159 161 166 170 171 176 177 182 183 185 186 188 190 203 213 218 222 223 225 229 231 233 234 241 244 245 246 252 253 254 255 257 258 262 265 269 270 271 272 275 279 294 298 302 303 304 309 310 311 312 314 317 318 319 320 321 323 326 333 335 336 337 338 340 341 342 343 345 353 354 362 364 365 366 368 371 373 378 379 381 383 389 393 399 404 406 409 415 417 418 419 420 421 424 427 430 431 432 434 439 441 443 445 446 452 453 454 456 458 459 471 472 473 477 479 486 488 495 502 503 507 a 3 6 9 16 23 29 30 33 35 42 51 53 54 64 68 73 78 80 85 92 103 104 107 109 110 115 116 117 119 125 133 137 139 141 144 153 154 156 158 159 161 166 170 171 176 177 182 183 185 186 188 190 203 213 218 222 223 225 229 231 233 234 241 244 245 246 252 253 254 255 257 258 262 265 269 270 271 272 275 279 294 298 302 303 304 309 310 311 312 314 317 318 319 320 321 323 326 333 335 336 337 338 340 341 342 343 345 353 354 362 364 365 366 368 371 373 378 379 381 383 389 393 399 404 406 409 415 417 418 419 420 421 424 427 430 431 432 434 439 441 443 445 446 452 453 454 456 458 459 463 471 472 473 477 479 486 488 495 502 503 507 a 2 3 6 9 16 23 29 30 33 35 42 51 53 54 64 68 73 78 80 85 92 103 104 107 109 110 115 116 117 119 125 133 137 139 141 144 153 154 156 158 159 161 166 170 176 177 182 183 185 186 188 190 203 213 218 222 223 225 229 231 233 234 241 244 245 246 252 253 254 255 257 258 262 265 269 270 271 272 275 279 294 298 302 303 304 309 310 311 312 314 317 318 319 320 321 323 326 333 335 336 337 338 340 341 342 343 345 353 354 362 364 365 366 368 371 373 378 379 381 383 389 393 399 404 406 409 415 417 418 419 420 421 424 427 430 431 432 434 439 441 443 445 446 452 453 454 456 458 459 463 471 472 473 477 479 486 488 495 502 503 507 a 2 3 6 9 16 23 29 30 33 35 42 51 53 54 64 73 78 80 85 86 92 103 104 107 109 110 115 116 117 119 125 133 137 139 141 144 153 154 156 158 159 161 166 170 176 177 182 183 185 186 188 190 203 213 218 222 223 225 229 231 233 234 241 244 245 246 252 253 254 255 257 258 262 265 269 270 271 272 275 279 294 298 302 303 304 309 310 311 312 314 317 318 319 320 321 323 326 333 335 336 337 338 340 341 342 343 345 353 354 362 364 365 366 368 371 373 378 379 381 383 389 393 399 404 406 409 415 417 418 419 420 421 424 427 430 431 432 434 439 441 443 445 446 452 453 454 456 458 459 463 471 472 473 477 479 486 488 495 502 503 507 a 2 3 6 9 16 23 29 30 33 35 42 51 53 54 64 73 78 80 85 86 92 103 104 107 109 110 115 116 117 119 125 133 137 139 141 144 153 154 156 158 159 161 166 170 176 177 182 183 185 186 188 190 203 213 218 222 223 225 229 231 234 241 244 245 246 252 253 254 255 257 258 262 265 269 270 271 272 275 279 294 298 302 303 304 309 310 311 312 314 317 318 319 320 321 323 326 333 335 336 337 338 340 341 342 343 345 353 354 362 364 365 366 368 371 373 378 379 381 383 389 393 399 404 406 407 409 415 417 418 419 420 421 424 427 430 431 432 434 439 441 443 445 446 452 453 454 456 458 459 463 471 472 473 477 479 486 488 495 502 503 507 a 2 3 6 9 16 23 29 30 33 35 42 51 53 54 64 73 78 80 85 86 92 103 104 107 109 110 115 116 117 119 125 133 137 139 141 144 153 154 156 158 159 161 166 170 176 177 182 183 185 186 187 188 190 203 213 218 222 223 225 229 231 234 241 244 245 246 252 254 255 257 258 262 265 269 270 271 272 275 279 294 298 302 303 304 309 310 311 312 314 317 318 319 320 321 323 326 333 335 336 337 338 340 341 342 343 345 353 354 362 364 365 366 368 371 373 378 379 381 383 389 393 399 404 406 407 409 415 417 418 419 420 421 424 427 430 431 432 434 439 441 443 445 446 452 453 454 456 458 459 463 471 472 473 477 479 486 488 495 502 503 507 a 2 3 6 9 16 23 29 30 33 35 42 51 53 54 64 73 78 80 85 86 92 103 104 106 107 109 110 115 116 117 119 125 133 137 139 141 144 153 154 156 158 159 161 166 170 176 177 182 183 185 186 187 188 190 203 213 218 222 223 225 229 231 234 241 244 245 246 252 255 257 258 262 265 269 270 271 272 275 279 294 298 302 303 304 309 310 311 312 314 317 318 319 320 321 323 326 333 335 336 337 338 340 341 342 343 345 353 354 362 364 365 366 368 371 373 378 379 381 383 389 393 399 404 406 407 409 415 417 418 419 420 421 424 427 430 431 432 434 439 441 443 445 446 452 453 454 456 458 459 463 471 472 473 477 479 486 488 495 502 503 507 a 2 3 6 9 16 23 29 30 33 35 42 51 53 54 64 73 78 80 85 86 92 98 103 104 106 107 109 110 115 116 117 119 125 133 137 139 141 144 153 154 156 158 159 161 166 170 176 177 182 183 185 186 187 188 190 203 213 218 222 223 225 229 231 234 241 244 245 246 252 257 258 262 265 269 270 271 272 275 279 294 298 302 303 304 309 310 311 312 314 317 318 319 320 321 323 326 333 335 336 337 338 340 341 342 343 345 353 354 362 364 365 366 368 371 373 378 379 381 383 389 393 399 404 406 407 409 415 417 418 419 420 421 424 427 430 431 432 434 439 441 443 445 446 452 453 454 456 458 459 463 471 472 473 477 479 486 488 495 502 503 507 a 2 3 6 9 16 23 29 33 35 42 51 53 54 64 73 78 80 85 86 92 98 103 104 106 107 109 110 115 116 117 119 125 133 137 139 141 144 153 154 156 158 159 161 166 170 176 177 182 183 185 186 187 188 190 203 213 218 222 223 225 229 231 234 238 241 244 245 246 252 257 258 262 265 269 270 271 272 275 279 294 298 302 303 304 309 310 311 312 314 317 318 319 320 321 323 326 333 335 336 337 338 340 341 342 343 345 353 354 362 364 365 366 368 371 373 378 379 381 383 389 393 399 404 406 407 409 415 417 418 419 420 421 424 427 430 431 432 434 439 441 443 445 446 452 453 454 456 458 459 463 471 472 473 477 479 486 488 495 502 503 507 a 2 3 6 9 16 23 29 33 35 42 51 53 54 64 73 78 80 85 86 92 98 103 104 106 107 109 110 115 116 117 119 125 133 137 139 141 144 153 154 156 158 159 161 166 170 176 177 182 183 185 186 187 188 190 203 213 218 222 223 225 229 231 234 238 241 244 245 246 252 257 262 265 269 270 271 272 275 279 294 298 302 303 304 309 310 311 312 314 317 318 319 320 321 323 326 333 335 336 337 338 340 341 342 343 345 353 354 362 364 365 366 368 371 373 378 379 381 383 389 393 399 404 406 407 409 414 415 417 418 419 420 421 424 427 430 431 432 434 439 441 443 445 446 452 453 454 456 458 459 463 471 472 473 477 479 486 488 495 502 503 507 a 2 3 6 9 16 17 23 29 33 35 42 51 53 54 64 73 78 80 85 86 92 98 103 104 106 107 109 110 115 116 117 119 125 133 137 139 141 144 153 154 156 158 159 161 166 170 176 177 182 183 185 186 187 188 190 203 213 218 222 223 225 229 231 234 238 241 244 245 246 252 257 262 265 269 270 271 272 275 279 294 298 302 303 309 310 311 312 314 317 318 319 320 321 323 326 333 335 336 337 338 340 341 342 343 345 353 354 362 364 365 366 368 371 373 378 379 381 383 389 393 399 404 406 407 409 414 415 417 418 419 420 421 424 427 430 431 432 434 439 441 443 445 446 452 453 454 456 458 459 463 471 472 473 477 479 486 488 495 502 503 507 a 2 3 6 9 16 17 23 29 33 35 42 51 53 54 64 73 78 80 85 86 92 98 103 104 106 107 109 110 115 116 117 119 125 132 133 137 139 141 144 153 154 156 158 159 161 166 170 176 177 182 183 185 186 187 188 190 203 213 218 222 223 225 229 231 234 238 241 244 245 246 252 257 262 265 269 270 271 272 275 279 294 298 302 303 310 311 312 314 317 318 319 320 321 323 326 333 335 336 337 338 340 341 342 343 345 353 354 362 364 365 366 368 371 373 378 379 381 383 389 393 399 404 406 407 409 414 415 417 418 419 420 421 424 427 430 431 432 434 439 441 443 445 446 452 453 454 456 458 459 463 471 472 473 477 479 486 488 495 502 503 507 a 2 3 6 9 16 17 23 29 33 35 42 51 53 54 64 73 78 80 85 86 92 98 103 104 106 107 109 110 115 116 117 119 125 132 133 137 139 141 144 153 154 156 158 159 161 166 170 176 177 182 183 185 186 187 188 190 203 213 218 222 223 225 229 231 234 238 241 244 245 246 252 257 262 265 269 270 271 272 275 279 294 298 302 303 310 311 314 317 318 319 320 321 323 326 333 335 336 337 338 340 341 342 343 345 353 354 362 364 365 366 368 371 373 378 379 381 383 389 393 399 404 406 407 409 414 415 417 418 419 420 421 424 427 430 431 432 434 439 441 443 445 446 452 453 454 456 458 459 463 471 472 473 477 479 486 488 495 501 502 503 507 a 2 3 6 9 16 17 23 29 33 35 42 51 53 54 59 64 73 78 80 85 86 92 98 103 104 106 107 109 110 115 116 117 119 125 132 133 137 139 141 144 153 154 156 158 159 161 166 170 176 177 182 183 185 186 187 188 190 203 213 218 222 223 225 229 231 234 238 241 244 245 246 252 257 262 265 269 270 271 272 275 279 294 298 302 303 310 311 314 317 319 320 321 323 326 333 335 336 337 338 340 341 342 343 345 353 354 362 364 365 366 368 371 373 378 379 381 383 389 393 399 404 406 407 409 414 415 417 418 419 420 421 424 427 430 431 432 434 439 441 443 445 446 452 453 454 456 458 459 463 471 472 473 477 479 486 488 495 501 502 503 507 a 2 3 6 9 16 17 23 29 35 42 51 53 54 59 64 73 78 80 85 86 92 98 103 104 106 107 109 110 115 116 117 119 125 132 133 137 139 141 144 153 154 156 158 159 161 166 170 176 177 182 183 185 186 187 188 190 203 213 218 222 223 225 229 231 234 238 241 244 245 246 252 257 262 265 269 270 271 272 275 279 294 298 302 303 310 311 314 317 319 320 321 323 326 333 335 336 337 338 340 341 342 343 345 349 353 354 362 364 365 366 368 371 373 378 379 381 383 389 393 399 404 406 407 409 414 415 417 418 419 420 421 424 427 430 431 432 434 439 441 443 445 446 452 453 454 456 458 459 463 471 472 473 477 479 486 488 495 501 502 503 507 a 2 3 6 9 16 17 23 29 35 42 51 53 54 57 59 64 73 78 80 85 86 92 98 103 104 106 107 109 110 115 116 117 119 125 132 133 137 139 141 144 153 154 156 158 159 161 166 170 176 177 182 183 185 186 187 188 190 203 213 218 222 223 229 231 234 238 241 244 245 246 252 257 262 265 269 270 271 272 275 279 294 298 302 303 310 311 314 317 319 320 321 323 326 333 335 336 337 338 340 341 342 343 345 349 353 354 362 364 365 366 368 371 373 378 379 381 383 389 393 399 404 406 407 409 414 415 417 418 419 420 421 424 427 430 431 432 434 439 441 443 445 446 452 453 454 456 458 459 463 471 472 473 477 479 486 488 495 501 502 503 507 a 2 3 6 9 16 17 23 29 35 42 49 51 53 54 57 59 64 73 78 80 85 86 92 98 103 104 106 107 109 110 115 116 117 119 125 132 133 137 139 141 144 153 154 156 158 159 161 166 170 176 177 182 183 185 186 187 188 190 203 213 218 222 223 229 231 238 241 244 245 246 252 257 262 265 269 270 271 272 275 279 294 298 302 303 310 311 314 317 319 320 321 323 326 333 335 336 337 338 340 341 342 343 345 349 353 354 362 364 365 366 368 371 373 378 379 381 383 389 393 399 404 406 407 409 414 415 417 418 419 420 421 424 427 430 431 432 434 439 441 443 445 446 452 453 454 456 458 459 463 471 472 473 477 479 486 488 495 501 502 503 507 a 2 3 6 9 16 17 23 29 35 42 49 51 53 54 57 59 64 73 78 80 85 86 92 98 103 104 106 107 109 110 115 116 117 119 125 132 133 137 139 141 143 144 153 154 156 158 159 161 166 170 176 177 182 183 185 186 187 188 190 203 213 218 222 223 229 231 238 241 244 245 246 252 257 262 265 269 270 271 272 275 279 294 298 302 303 310 311 314 317 319 321 323 326 333 335 336 337 338 340 341 342 343 345 349 353 354 362 364 365 366 368 371 373 378 379 381 383 389 393 399 404 406 407 409 414 415 417 418 419 420 421 424 427 430 431 432 434 439 441 443 445 446 452 453 454 456 458 459 463 471 472 473 477 479 486 488 495 501 502 503 507 a 2 3 6 9 14 16 17 23 29 35 42 49 51 53 54 57 59 64 73 78 80 85 86 92 98 103 104 106 107 109 110 115 116 117 119 125 132 133 137 139 141 143 144 153 154 156 158 159 161 166 170 176 177 182 183 185 186 187 188 190 203 213 218 222 223 229 231 238 241 244 245 246 252 257 262 265 269 270 271 272 275 279 294 298 302 303 310 311 314 317 319 323 326 333 335 336 337 338 340 341 342 343 345 349 353 354 362 364 365 366 368 371 373 378 379 381 383 389 393 399 404 406 407 409 414 415 417 418 419 420 421 424 427 430 431 432 434 439 441 443 445 446 452 453 454 456 458 459 463 471 472 473 477 479 486 488 495 501 502 503 507 a 2 3 6 9 14 16 17 23 29 35 42 49 51 53 54 57 59 64 73 78 80 85 86 92 98 103 104 106 107 109 110 115 116 117 119 125 132 133 137 139 141 143 144 153 154 156 158 159 161 166 170 176 177 182 183 185 186 187 188 190 203 213 218 222 223 229 231 238 244 245 246 252 257 262 265 269 270 271 272 275 279 285 294 298 302 303 310 311 314 317 319 323 326 333 335 336 337 338 340 341 342 343 345 349 353 354 362 364 365 366 368 371 373 378 379 381 383 389 393 399 404 406 407 409 414 415 417 418 419 420 421 424 427 430 431 432 434 439 441 443 445 446 452 453 454 456 458 459 463 471 472 473 477 479 486 488 495 501 502 503 507 a 2 3 6 9 14 16 17 23 29 35 42 49 51 53 54 57 59 64 73 78 80 85 86 92 98 103 104 106 107 109 110 115 116 117 119 125 132 133 137 139 141 143 144 153 154 156 158 159 161 166 170 176 177 182 183 185 186 187 188 190 203 213 218 222 223 229 231 238 244 245 246 252 257 262 265 269 270 271 272 275 279 285 294 298 302 303 310 311 314 317 319 323 333 335 336 337 338 340 341 342 343 345 349 353 354 362 364 365 366 368 371 373 378 379 381 383 389 393 399 404 406 407 409 414 415 417 418 419 420 421 424 427 430 431 432 434 439 441 443 445 446 452 453 454 456 458 459 463 471 472 473 477 479 486 488 491 495 501 502 503 507 a 2 3 6 9 14 16 17 23 29 35 42 49 51 53 54 57 59 64 73 78 80 85 86 92 98 103 104 106 107 109 110 115 116 117 119 125 132 137 139 141 143 144 153 154 156 158 159 161 166 170 176 177 182 183 185 186 187 188 190 203 213 218 222 223 229 231 238 244 245 246 252 257 262 265 269 270 271 272 275 279 285 294 298 302 303 310 311 314 317 319 323 333 335 336 337 338 340 341 342 343 345 349 353 354 362 364 365 366 368 371 373 378 379 381 383 389 393 399 404 406 407 409 414 415 417 418 419 420 421 424 427 429 430 431 432 434 439 441 443 445 446 452 453 454 456 458 459 463 471 472 473 477 479 486 488 491 495 501 502 503 507 a 2 3 6 9 14 16 17 23 29 35 42 49 51 53 54 57 59 64 73 78 80 85 86 92 98 103 104 106 107 109 110 115 116 117 119 125 132 137 139 141 143 144 153 154 156 158 159 161 166 170 176 177 182 183 185 186 187 188 190 203 213 218 222 223 229 231 238 244 245 246 252 257 262 265 269 270 271 272 275 279 285 289 294 298 302 303 310 311 314 317 319 323 335 336 337 338 340 341 342 343 345 349 353 354 362 364 365 366 368 371 373 378 379 381 383 389 393 399 404 406 407 409 414 415 417 418 419 420 421 424 427 429 430 431 432 434 439 441 443 445 446 452 453 454 456 458 459 463 471 472 473 477 479 486 488 491 495 501 502 503 507 a 2 3 6 9 14 16 17 23 29 35 42 49 51 52 53 54 57 59 64 73 78 80 85 86 92 98 103 104 106 107 109 110 115 116 117 119 125 132 137 139 141 143 144 153 154 156 158 159 161 166 170 176 177 182 183 185 186 187 188 190 203 213 218 222 223 229 231 238 244 245 246 252 257 262 265 269 270 271 272 275 279 285 289 294 298 302 303 310 311 314 317 319 323 335 337 338 340 341 342 343 345 349 353 354 362 364 365 366 368 371 373 378 379 381 383 389 393 399 404 406 407 409 414 415 417 418 419 420 421 424 427 429 430 431 432 434 439 441 443 445 446 452 453 454 456 458 459 463 471 472 473 477 479 486 488 491 495 501 502 503 507 a 2 3 6 9 14 16 17 23 29 35 41 42 49 51 52 53 54 57 59 64 73 78 80 85 86 92 98 103 104 106 107 109 110 115 116 117 119 125 132 137 139 141 143 144 153 154 156 158 159 161 166 170 176 177 182 183 185 186 187 188 190 203 213 218 222 223 229 231 238 244 245 246 252 257 262 265 269 270 271 272 275 279 285 289 294 298 302 303 310 311 314 317 319 323 335 337 338 340 342 343 345 349 353 354 362 364 365 366 368 371 373 378 379 381 383 389 393 399 404 406 407 409 414 415 417 418 419 420 421 424 427 429 430 431 432 434 439 441 443 445 446 452 453 454 456 458 459 463 471 472 473 477 479 486 488 491 495 501 502 503 507 a 2 3 6 9 14 16 17 23 29 35 41 49 51 52 53 54 57 59 64 73 78 80 85 86 92 98 103 104 106 107 109 110 115 116 117 119 125 132 137 139 141 143 144 153 154 156 158 159 161 166 170 173 176 177 182 183 185 186 187 188 190 203 213 218 222 223 229 231 238 244 245 246 252 257 262 265 269 270 271 272 275 279 285 289 294 298 302 303 310 311 314 317 319 323 335 337 338 340 342 343 345 349 353 354 362 364 365 366 368 371 373 378 379 381 383 389 393 399 404 406 407 409 414 415 417 418 419 420 421 424 427 429 430 431 432 434 439 441 443 445 446 452 453 454 456 458 459 463 471 472 473 477 479 486 488 491 495 501 502 503 507 a 2 3 6 9 14 16 17 23 29 35 41 49 51 52 53 54 57 59 64 73 78 80 85 86 92 98 103 104 106 107 109 110 115 116 117 119 125 132 137 139 141 143 144 154 156 158 159 161 166 170 173 176 177 182 183 185 186 187 188 190 203 213 218 222 223 229 231 238 244 245 246 252 257 262 265 269 270 271 272 275 279 285 289 294 298 302 303 310 311 314 317 319 323 335 337 338 340 342 343 345 349 350 353 354 362 364 365 366 368 371 373 378 379 381 383 389 393 399 404 406 407 409 414 415 417 418 419 420 421 424 427 429 430 431 432 434 439 441 443 445 446 452 453 454 456 458 459 463 471 472 473 477 479 486 488 491 495 501 502 503 507 a 2 3 6 9 14 16 17 23 29 35 41 49 51 52 53 54 57 59 64 73 78 80 85 86 92 98 103 104 106 107 109 110 115 116 117 119 125 132 137 139 141 143 144 154 156 158 159 161 166 170 173 176 177 182 183 185 186 187 188 190 203 206 213 218 222 223 229 231 238 244 245 246 252 257 262 265 269 270 271 272 275 279 285 289 294 298 302 303 310 311 314 317 319 323 335 337 338 340 342 343 349 350 353 354 362 364 365 366 368 371 373 378 379 381 383 389 393 399 404 406 407 409 414 415 417 418 419 420 421 424 427 429 430 431 432 434 439 441 443 445 446 452 453 454 456 458 459 463 471 472 473 477 479 486 488 491 495 501 502 503 507 a 2 3 6 9 14 16 17 23 29 35 41 49 51 52 53 54 57 59 64 73 78 80 85 86 92 98 103 104 106 107 109 110 111 115 116 117 119 125 132 137 139 141 143 144 154 156 158 159 161 166 173 176 177 182 183 185 186 187 188 190 203 206 213 218 222 223 229 231 238 244 245 246 252 257 262 265 269 270 271 272 275 279 285 289 294 298 302 303 310 311 314 317 319 323 335 337 338 340 342 343 349 350 353 354 362 364 365 366 368 371 373 378 379 381 383 389 393 399 404 406 407 409 414 415 417 418 419 420 421 424 427 429 430 431 432 434 439 441 443 445 446 452 453 454 456 458 459 463 471 472 473 477 479 486 488 491 495 501 502 503 507 a 2 3 6 9 14 16 17 23 29 35 41 49 51 52 53 54 57 59 64 73 78 80 85 86 92 98 103 104 106 107 109 110 111 115 116 117 119 125 132 137 139 141 143 144 154 156 158 159 161 166 173 176 177 182 183 185 186 187 188 190 203 206 213 218 223 229 231 238 244 245 246 252 257 259 262 265 269 270 271 272 275 279 285 289 294 298 302 303 310 311 314 317 319 323 335 337 338 340 342 343 349 350 353 354 362 364 365 366 368 371 373 378 379 381 383 389 393 399 404 406 407 409 414 415 417 418 419 420 421 424 427 429 430 431 432 434 439 441 443 445 446 452 453 454 456 458 459 463 471 472 473 477 479 486 488 491 495 501 502 503 507 a 2 3 6 9 14 16 17 23 29 35 41 49 51 52 53 54 57 59 64 73 78 80 85 86 92 98 103 104 106 107 109 110 111 115 116 117 119 125 132 137 139 141 143 144 154 156 158 159 161 166 173 176 177 182 183 185 186 187 188 190 203 206 213 218 221 223 229 231 238 244 245 246 257 259 262 265 269 270 271 272 275 279 285 289 294 298 302 303 310 311 314 317 319 323 335 337 338 340 342 343 349 350 353 354 362 364 365 366 368 371 373 378 379 381 383 389 393 399 404 406 407 409 414 415 417 418 419 420 421 424 427 429 430 431 432 434 439 441 443 445 446 452 453 454 456 458 459 463 471 472 473 477 479 486 488 491 495 501 502 503 507 a 2 3 6 9 14 16 17 23 29 35 41 49 51 52 53 54 57 59 64 73 78 80 85 86 92 98 103 104 106 107 109 110 111 115 116 117 119 125 132 137 139 141 143 144 154 156 158 159 161 166 173 176 177 182 183 185 186 187 188 190 203 206 213 218 221 223 229 231 238 244 245 246 257 259 261 262 265 269 270 271 272 275 279 285 289 294 298 302 303 311 314 317 319 323 335 337 338 340 342 343 349 350 353 354 362 364 365 366 368 371 373 378 379 381 383 389 393 399 404 406 407 409 414 415 417 418 419 420 421 424 427 429 430 431 432 434 439 441 443 445 446 452 453 454 456 458 459 463 471 472 473 477 479 486 488 491 495 501 502 503 507 a 2 3 6 9 14 16 17 23 29 35 41 49 51 52 53 54 57 59 64 73 78 80 85 86 92 98 103 104 106 107 109 110 111 115 116 117 119 125 132 137 139 141 143 144 154 156 158 159 161 166 173 176 177 182 183 185 186 187 188 190 203 206 213 218 221 223 229 231 238 244 245 246 257 259 261 262 265 269 270 271 272 275 279 285 289 294 298 302 303 311 314 319 323 335 337 338 340 342 343 349 350 353 354 362 364 365 366 368 371 373 378 379 381 383 389 393 399 404 406 407 409 414 415 417 418 419 420 421 424 427 429 430 431 432 434 439 441 443 445 446 452 453 454 456 458 459 463 471 472 473 477 479 486 488 491 495 498 501 502 503 507 a 2 3 6 9 14 16 17 23 29 35 41 49 51 52 53 54 57 59 64 73 78 80 85 86 92 97 98 103 104 106 107 109 110 111 115 116 117 119 125 132 137 139 141 143 144 154 156 158 159 161 166 173 176 177 182 183 185 186 187 188 190 203 206 213 218 221 223 229 231 238 244 245 246 257 259 261 262 265 269 270 271 272 275 279 285 289 294 298 302 303 311 314 319 323 335 337 338 340 342 343 349 350 353 362 364 365 366 368 371 373 378 379 381 383 389 393 399 404 406 407 409 414 415 417 418 419 420 421 424 427 429 430 431 432 434 439 441 443 445 446 452 453 454 456 458 459 463 471 472 473 477 479 486 488 491 495 498 501 502 503 507 a 2 3 6 9 14 16 17 21 23 29 35 41 49 51 52 53 54 57 59 64 73 78 80 85 86 92 97 98 103 104 106 107 109 110 111 115 116 117 119 125 132 137 139 141 143 144 154 156 158 159 161 166 173 176 177 182 183 185 186 187 188 190 203 206 213 218 221 223 229 231 238 244 245 246 257 259 261 262 265 269 270 271 272 275 279 285 289 294 298 302 303 311 314 319 323 335 337 338 340 342 343 349 350 353 362 365 366 368 371 373 378 379 381 383 389 393 399 404 406 407 409 414 415 417 418 419 420 421 424 427 429 430 431 432 434 439 441 443 445 446 452 453 454 456 458 459 463 471 472 473 477 479 486 488 491 495 498 501 502 503 507 a 2 3 6 9 14 16 17 21 23 29 41 49 51 52 53 54 57 59 64 73 78 80 85 86 92 97 98 103 104 106 107 109 110 111 115 116 117 119 120 125 132 137 139 141 143 144 154 156 158 159 161 166 173 176 177 182 183 185 186 187 188 190 203 206 213 218 221 223 229 231 238 244 245 246 257 259 261 262 265 269 270 271 272 275 279 285 289 294 298 302 303 311 314 319 323 335 337 338 340 342 343 349 350 353 362 365 366 368 371 373 378 379 381 383 389 393 399 404 406 407 409 414 415 417 418 419 420 421 424 427 429 430 431 432 434 439 441 443 445 446 452 453 454 456 458 459 463 471 472 473 477 479 486 488 491 495 498 501 502 503 507 a 2 3 6 9 14 16 17 21 23 29 41 49 51 52 53 54 57 59 64 73 78 80 85 86 92 97 98 103 104 106 107 109 110 111 115 116 117 119 120 125 132 137 139 141 143 144 154 156 158 159 161 166 173 176 177 182 183 185 186 187 188 190 203 206 213 218 221 223 228 229 231 238 244 245 246 257 259 261 262 265 269 270 271 272 275 279 285 289 294 298 302 303 311 314 319 323 335 337 338 340 342 343 349 350 353 362 365 368 371 373 378 379 381 383 389 393 399 404 406 407 409 414 415 417 418 419 420 421 424 427 429 430 431 432 434 439 441 443 445 446 452 453 454 456 458 459 463 471 472 473 477 479 486 488 491 495 498 501 502 503 507 a 2 3 6 9 14 16 17 21 23 29 41 48 49 51 52 53 54 57 59 64 73 78 80 85 86 92 97 98 103 104 106 107 109 110 111 115 116 117 119 120 125 132 137 139 141 143 144 154 156 158 159 161 166 173 176 177 182 183 185 186 187 188 190 203 206 213 218 221 223 228 229 231 238 244 245 246 257 259 261 262 265 269 270 271 275 279 285 289 294 298 302 303 311 314 319 323 335 337 338 340 342 343 349 350 353 362 365 368 371 373 378 379 381 383 389 393 399 404 406 407 409 414 415 417 418 419 420 421 424 427 429 430 431 432 434 439 441 443 445 446 452 453 454 456 458 459 463 471 472 473 477 479 486 488 491 495 498 501 502 503 507 a 2 3 6 9 14 16 17 21 23 29 41 48 49 51 52 53 54 57 58 59 64 78 80 85 86 92 97 98 103 104 106 107 109 110 111 115 116 117 119 120 125 132 137 139 141 143 144 154 156 158 159 161 166 173 176 177 182 183 185 186 187 188 190 203 206 213 218 221 223 228 229 231 238 244 245 246 257 259 261 262 265 269 270 271 275 279 285 289 294 298 302 303 311 314 319 323 335 337 338 340 342 343 349 350 353 362 365 368 371 373 378 379 381 383 389 393 399 404 406 407 409 414 415 417 418 419 420 421 424 427 429 430 431 432 434 439 441 443 445 446 452 453 454 456 458 459 463 471 472 473 477 479 486 488 491 495 498 501 502 503 507 a 2 3 6 9 14 16 17 21 23 29 38 41 48 49 51 52 53 54 57 58 59 64 78 80 85 86 92 97 98 103 104 106 107 109 110 111 115 116 117 119 120 125 132 137 139 143 144 154 156 158 159 161 166 173 176 177 182 183 185 186 187 188 190 203 206 213 218 221 223 228 229 231 238 244 245 246 257 259 261 262 265 269 270 271 275 279 285 289 294 298 302 303 311 314 319 323 335 337 338 340 342 343 349 350 353 362 365 368 371 373 378 379 381 383 389 393 399 404 406 407 409 414 415 417 418 419 420 421 424 427 429 430 431 432 434 439 441 443 445 446 452 453 454 456 458 459 463 471 472 473 477 479 486 488 491 495 498 501 502 503 507 a 2 3 6 9 14 16 17 21 23 29 38 41 48 49 51 52 53 54 57 58 59 64 78 80 85 86 92 97 98 103 104 106 107 109 110 111 115 116 117 119 120 125 131 132 137 139 143 144 154 156 158 159 161 166 173 176 177 182 183 185 186 187 188 190 203 206 213 218 221 223 228 229 231 238 244 245 246 257 259 261 262 265 269 270 271 275 279 285 289 294 298 302 303 311 314 319 323 335 338 340 342 343 349 350 353 362 365 368 371 373 378 379 381 383 389 393 399 404 406 407 409 414 415 417 418 419 420 421 424 427 429 430 431 432 434 439 441 443 445 446 452 453 454 456 458 459 463 471 472 473 477 479 486 488 491 495 498 501 502 503 507 a 2 3 6 9 14 16 17 21 23 29 38 39 41 48 49 51 52 53 54 57 58 59 64 78 80 85 86 92 97 98 103 104 106 107 109 110 111 115 116 117 119 120 125 131 132 137 139 143 144 154 156 158 159 161 166 173 176 177 182 183 185 186 187 188 190 203 206 213 218 221 223 228 229 231 238 244 245 246 257 259 261 262 265 269 270 271 275 279 285 289 294 298 302 303 311 314 319 323 335 338 340 342 343 349 350 353 362 365 368 371 373 378 379 381 383 389 393 404 406 407 409 414 415 417 418 419 420 421 424 427 429 430 431 432 434 439 441 443 445 446 452 453 454 456 458 459 463 471 472 473 477 479 486 488 491 495 498 501 502 503 507 a 2 3 6 9 14 16 17 21 23 29 38 39 41 48 49 51 52 53 54 57 58 59 64 74 78 80 85 86 92 97 98 103 104 106 107 109 110 111 115 116 117 119 120 125 131 132 137 139 143 144 154 156 158 159 161 166 173 176 177 182 183 185 186 187 188 190 203 206 213 218 221 223 228 229 231 238 244 245 246 257 259 261 262 265 269 270 271 275 279 285 289 294 298 302 303 311 314 319 323 335 338 340 342 343 349 350 353 362 365 368 371 373 378 379 381 383 393 404 406 407 409 414 415 417 418 419 420 421 424 427 429 430 431 432 434 439 441 443 445 446 452 453 454 456 458 459 463 471 472 473 477 479 486 488 491 495 498 501 502 503 507 a 2 3 6 9 14 16 17 21 23 29 38 39 41 48 49 51 52 53 54 57 58 59 64 74 78 80 85 86 92 97 98 103 104 106 107 109 110 111 115 116 117 119 120 125 131 132 137 139 143 144 154 156 158 159 161 166 173 176 177 182 183 185 186 187 188 190 199 203 206 213 218 221 223 228 229 231 238 244 245 246 257 259 261 262 265 269 270 271 275 279 285 289 294 298 302 303 311 314 319 323 335 338 340 342 343 349 350 362 365 368 371 373 378 379 381 383 393 404 406 407 409 414 415 417 418 419 420 421 424 427 429 430 431 432 434 439 441 443 445 446 452 453 454 456 458 459 463 471 472 473 477 479 486 488 491 495 498 501 502 503 507 a 2 3 6 9 14 16 17 21 23 29 38 39 41 48 49 51 52 53 54 57 58 59 62 64 74 78 80 85 86 92 97 98 103 104 106 107 109 110 111 115 116 117 119 120 125 131 132 137 139 143 144 154 156 158 159 161 166 173 176 177 182 185 186 187 188 190 199 203 206 213 218 221 223 228 229 231 238 244 245 246 257 259 261 262 265 269 270 271 275 279 285 289 294 298 302 303 311 314 319 323 335 338 340 342 343 349 350 362 365 368 371 373 378 379 381 383 393 404 406 407 409 414 415 417 418 419 420 421 424 427 429 430 431 432 434 439 441 443 445 446 452 453 454 456 458 459 463 471 472 473 477 479 486 488 491 495 498 501 502 503 507 a 2 3 6 9 14 16 17 21 23 29 38 39 41 48 49 51 52 53 54 57 58 59 62 64 74 78 80 85 86 92 97 98 103 104 106 107 109 110 111 115 116 117 119 120 125 131 132 137 139 143 144 154 156 158 159 161 166 173 176 177 182 185 186 187 188 190 199 203 206 213 218 221 223 228 229 231 238 244 245 246 257 259 261 262 265 269 270 271 275 279 285 289 294 298 302 303 311 314 319 323 335 338 340 342 343 349 350 362 365 368 371 373 378 379 381 383 390 393 406 407 409 414 415 417 418 419 420 421 424 427 429 430 431 432 434 439 441 443 445 446 452 453 454 456 458 459 463 471 472 473 477 479 486 488 491 495 498 501 502 503 507 a 2 3 6 9 14 16 17 21 23 29 38 39 41 48 49 51 52 53 54 57 58 59 62 64 74 80 85 86 92 97 98 103 104 106 107 109 110 111 115 116 117 119 120 125 131 132 137 139 143 144 154 156 158 159 161 166 173 176 177 182 185 186 187 188 190 199 203 206 213 218 221 223 228 229 231 238 244 245 246 257 259 261 262 265 269 270 271 275 279 285 289 294 298 302 303 311 314 319 323 335 338 340 342 343 349 350 362 365 368 371 373 378 379 381 383 390 393 406 407 409 414 415 417 418 419 420 421 424 427 429 430 431 432 434 437 439 441 443 445 446 452 453 454 456 458 459 463 471 472 473 477 479 486 488 491 495 498 501 502 503 507 a 2 3 6 9 14 16 17 21 23 29 38 39 41 48 49 51 52 53 54 57 58 59 62 64 74 80 85 86 92 97 98 103 104 106 107 109 110 111 115 116 117 119 120 125 131 132 137 143 144 154 156 158 159 161 166 173 176 177 182 185 186 187 188 190 199 203 206 213 218 221 223 228 229 231 232 238 244 245 246 257 259 261 262 265 269 270 271 275 279 285 289 294 298 302 303 311 314 319 323 335 338 340 342 343 349 350 362 365 368 371 373 378 379 381 383 390 393 406 407 409 414 415 417 418 419 420 421 424 427 429 430 431 432 434 437 439 441 443 445 446 452 453 454 456 458 459 463 471 472 473 477 479 486 488 491 495 498 501 502 503 507 a 2 3 6 9 14 16 17 21 23 29 38 39 41 48 49 51 52 53 54 57 58 59 62 64 74 80 85 86 92 97 98 103 104 106 107 109 110 111 115 116 117 119 120 125 131 132 137 143 144 150 154 156 158 159 161 166 173 176 177 182 185 186 187 188 190 199 203 206 213 218 221 223 228 229 231 232 238 244 245 246 259 261 262 265 269 270 271 275 279 285 289 294 298 302 303 311 314 319 323 335 338 340 342 343 349 350 362 365 368 371 373 378 379 381 383 390 393 406 407 409 414 415 417 418 419 420 421 424 427 429 430 431 432 434 437 439 441 443 445 446 452 453 454 456 458 459 463 471 472 473 477 479 486 488 491 495 498 501 502 503 507 a 2 3 6 9 14 16 17 21 23 29 38 39 41 48 49 51 52 53 54 57 58 59 62 64 74 80 85 86 92 97 98 103 104 106 107 109 110 111 115 116 117 119 120 125 131 132 137 143 144 150 154 156 158 159 161 166 173 176 177 182 185 186 187 188 190 199 203 206 213 218 221 223 228 229 231 232 238 244 245 246 259 261 262 269 270 271 275 279 285 289 294 298 302 303 311 314 319 323 335 338 340 342 343 349 350 362 365 368 371 373 378 379 381 383 390 393 406 407 409 414 415 417 418 419 420 421 424 427 429 430 431 432 434 437 439 440 441 443 445 446 452 453 454 456 458 459 463 471 472 473 477 479 486 488 491 495 498 501 502 503 507 a 2 3 6 9 14 16 17 21 23 29 38 39 41 48 49 51 52 53 54 57 58 59 62 64 74 80 85 86 92 97 98 103 104 106 107 109 110 111 115 116 117 119 120 125 131 132 137 143 144 150 154 156 158 159 161 166 173 176 177 182 185 186 187 188 190 199 203 206 213 218 221 223 228 229 231 232 238 244 246 259 261 262 269 270 271 275 279 285 287 289 294 298 302 303 311 314 319 323 335 338 340 342 343 349 350 362 365 368 371 373 378 379 381 383 390 393 406 407 409 414 415 417 418 419 420 421 424 427 429 430 431 432 434 437 439 440 441 443 445 446 452 453 454 456 458 459 463 471 472 473 477 479 486 488 491 495 498 501 502 503 507 a 2 3 6 9 14 16 17 21 23 29 38 39 41 48 49 51 52 53 54 57 58 59 62 64 74 80 85 86 92 97 98 103 104 106 107 109 110 111 115 116 117 119 120 125 131 132 137 143 144 150 154 156 158 159 161 166 173 176 177 182 185 186 187 188 190 199 203 206 213 218 221 223 228 229 231 232 238 244 246 259 261 262 269 270 271 275 279 285 287 289 294 298 302 303 311 314 319 323 335 338 340 342 343 349 350 362 365 368 371 373 378 379 381 383 390 393 406 407 409 414 417 418 419 420 421 424 427 429 430 431 432 434 437 439 440 441 443 445 446 450 452 453 454 456 458 459 463 471 472 473 477 479 486 488 491 495 498 501 502 503 507 a 2 3 6 9 14 16 17 21 23 29 38 39 41 48 49 51 52 53 54 57 58 59 62 64 74 80 85 86 92 97 98 103 104 106 107 109 110 111 115 116 117 119 120 125 131 132 137 143 144 150 154 156 158 159 161 166 173 176 177 182 185 186 187 188 190 199 203 206 213 218 221 223 228 229 231 232 238 244 246 259 261 262 269 270 271 275 279 285 287 289 294 298 302 303 311 314 319 323 335 338 340 342 343 349 350 362 365 368 371 373 378 379 381 383 390 393 406 407 409 414 417 419 420 421 424 427 429 430 431 432 434 437 439 440 441 443 445 446 450 452 453 454 456 458 459 460 463 471 472 473 477 479 486 488 491 495 498 501 502 503 507 a 2 3 6 9 14 16 17 21 23 29 38 39 41 48 49 51 52 53 54 57 58 59 62 64 74 80 85 86 92 97 98 103 104 106 107 108 109 110 111 115 116 117 119 120 125 131 132 137 143 144 150 154 156 158 159 161 166 173 176 177 182 185 186 187 188 190 199 203 206 213 218 221 223 228 229 231 232 238 244 246 259 261 262 269 270 271 275 279 285 287 289 294 298 302 303 311 314 319 323 335 338 340 342 343 349 350 362 365 368 371 373 378 379 381 383 390 393 406 407 409 414 417 419 420 424 427 429 430 431 432 434 437 439 440 441 443 445 446 450 452 453 454 456 458 459 460 463 471 472 473 477 479 486 488 491 495 498 501 502 503 507 a 2 3 6 9 14 16 17 21 23 29 38 39 41 48 49 50 51 52 53 54 57 58 59 62 64 74 80 85 86 92 97 98 103 106 107 108 109 110 111 115 116 117 119 120 125 131 132 137 143 144 150 154 156 158 159 161 166 173 176 177 182 185 186 187 188 190 199 203 206 213 218 221 223 228 229 231 232 238 244 246 259 261 262 269 270 271 275 279 285 287 289 294 298 302 303 311 314 319 323 335 338 340 342 343 349 350 362 365 368 371 373 378 379 381 383 390 393 406 407 409 414 417 419 420 424 427 429 430 431 432 434 437 439 440 441 443 445 446 450 452 453 454 456 458 459 460 463 471 472 473 477 479 486 488 491 495 498 501 502 503 507 a 2 3 6 9 14 16 17 21 23 29 38 39 41 48 49 50 51 52 53 54 57 58 59 62 64 74 80 85 86 87 92 97 98 103 106 107 108 109 110 111 115 116 117 120 125 131 132 137 143 144 150 154 156 158 159 161 166 173 176 177 182 185 186 187 188 190 199 203 206 213 218 221 223 228 229 231 232 238 244 246 259 261 262 269 270 271 275 279 285 287 289 294 298 302 303 311 314 319 323 335 338 340 342 343 349 350 362 365 368 371 373 378 379 381 383 390 393 406 407 409 414 417 419 420 424 427 429 430 431 432 434 437 439 440 441 443 445 446 450 452 453 454 456 458 459 460 463 471 472 473 477 479 486 488 491 495 498 501 502 503 507 a 2 3 6 9 14 16 17 21 23 29 38 39 41 48 49 50 51 52 53 54 57 58 59 62 64 74 80 85 86 87 92 97 98 103 106 107 108 109 110 111 115 116 117 120 125 131 132 143 144 150 154 156 158 159 161 166 173 176 177 182 185 186 187 188 190 199 203 206 213 218 221 223 228 229 231 232 235 238 244 246 259 261 262 269 270 271 275 279 285 287 289 294 298 302 303 311 314 319 323 335 338 340 342 343 349 350 362 365 368 371 373 378 379 381 383 390 393 406 407 409 414 417 419 420 424 427 429 430 431 432 434 437 439 440 441 443 445 446 450 452 453 454 456 458 459 460 463 471 472 473 477 479 486 488 491 495 498 501 502 503 507 a 2 3 6 9 14 16 17 21 23 29 38 39 41 48 49 50 51 52 53 54 57 58 59 62 64 74 80 85 86 87 92 95 97 98 103 106 107 108 109 110 111 115 116 117 120 125 131 132 143 144 150 154 156 158 159 161 166 173 176 177 182 185 187 188 190 199 203 206 213 218 221 223 228 229 231 232 235 238 244 246 259 261 262 269 270 271 275 279 285 287 289 294 298 302 303 311 314 319 323 335 338 340 342 343 349 350 362 365 368 371 373 378 379 381 383 390 393 406 407 409 414 417 419 420 424 427 429 430 431 432 434 437 439 440 441 443 445 446 450 452 453 454 456 458 459 460 463 471 472 473 477 479 486 488 491 495 498 501 502 503 507 a 2 3 6 9 14 16 17 21 23 29 38 39 41 48 49 50 51 52 53 54 57 58 59 62 64 74 80 85 86 87 92 95 97 98 103 106 107 108 109 110 111 115 116 117 120 125 131 132 143 144 150 154 156 158 159 161 166 173 174 176 177 182 185 187 188 190 199 203 206 213 218 221 223 228 229 231 232 235 238 244 246 259 261 262 269 270 271 275 279 285 287 289 294 298 302 303 311 314 319 323 335 338 340 342 343 349 350 362 365 368 371 373 378 379 381 383 390 393 406 407 409 414 417 419 420 427 429 430 431 432 434 437 439 440 441 443 445 446 450 452 453 454 456 458 459 460 463 471 472 473 477 479 486 488 491 495 498 501 502 503 507 a 2 3 6 9 14 16 17 21 23 29 38 39 41 48 49 50 51 52 53 54 57 58 59 62 64 74 80 85 86 87 92 95 97 98 103 106 107 108 109 110 111 115 116 117 120 125 131 132 143 144 150 154 156 158 159 161 166 173 174 176 177 182 185 187 188 190 199 203 206 213 218 221 223 228 229 231 232 235 238 244 246 259 261 262 269 270 271 275 279 285 287 289 294 297 298 302 303 311 314 319 323 335 338 340 342 343 349 350 362 365 368 371 373 378 379 381 383 390 393 406 407 409 414 417 419 420 427 429 430 432 434 437 439 440 441 443 445 446 450 452 453 454 456 458 459 460 463 471 472 473 477 479 486 488 491 495 498 501 502 503 507 a 2 3 6 9 14 16 17 21 23 29 38 39 41 48 49 50 51 52 53 54 57 58 59 62 64 74 75 80 85 86 87 92 95 97 98 103 106 107 108 109 110 111 115 116 117 120 125 131 132 143 144 150 154 156 158 159 161 166 173 174 176 177 182 185 187 188 190 199 203 206 213 218 221 223 228 229 231 232 235 238 244 246 259 261 262 269 270 271 275 279 285 287 289 294 297 298 302 303 311 314 319 323 335 338 340 342 343 349 350 362 365 368 371 373 378 379 381 383 390 393 406 407 409 414 417 419 420 427 429 430 434 437 439 440 441 443 445 446 450 452 453 454 456 458 459 460 463 471 472 473 477 479 486 488 491 495 498 501 502 503 507 a 2 3 6 9 14 16 17 21 23 29 38 39 41 48 49 50 51 52 53 54 57 58 59 62 64 74 75 80 85 86 87 92 93 95 97 98 103 106 107 108 109 110 111 115 116 117 120 125 131 132 143 144 150 154 158 159 161 166 173 174 176 177 182 185 187 188 190 199 203 206 213 218 221 223 228 229 231 232 235 238 244 246 259 261 262 269 270 271 275 279 285 287 289 294 297 298 302 303 311 314 319 323 335 338 340 342 343 349 350 362 365 368 371 373 378 379 381 383 390 393 406 407 409 414 417 419 420 427 429 430 434 437 439 440 441 443 445 446 450 452 453 454 456 458 459 460 463 471 472 473 477 479 486 488 491 495 498 501 502 503 507 a 2 3 6 9 14 16 17 21 23 29 38 39 41 48 49 50 51 52 53 54 57 58 59 62 64 74 75 80 85 86 87 92 93 95 97 98 103 106 107 108 109 110 111 115 116 117 120 125 131 132 143 144 150 151 154 159 161 166 173 174 176 177 182 185 187 188 190 199 203 206 213 218 221 223 228 229 231 232 235 238 244 246 259 261 262 269 270 271 275 279 285 287 289 294 297 298 302 303 311 314 319 323 335 338 340 342 343 349 350 362 365 368 371 373 378 379 381 383 390 393 406 407 409 414 417 419 420 427 429 430 434 437 439 440 441 443 445 446 450 452 453 454 456 458 459 460 463 471 472 473 477 479 486 488 491 495 498 501 502 503 507 a 2 3 6 9 14 16 17 21 23 29 38 39 41 48 49 50 51 52 53 54 57 58 59 62 64 74 75 80 85 86 87 92 93 95 97 98 103 106 107 108 109 110 111 115 116 117 120 125 131 132 143 144 150 151 154 159 161 166 173 174 176 182 185 187 188 190 199 203 206 213 218 221 223 228 229 231 232 235 238 244 246 259 261 262 269 270 271 275 279 285 287 289 294 297 298 302 303 311 314 319 323 335 338 340 342 343 349 350 358 362 365 368 371 373 378 379 381 383 390 393 406 407 409 414 417 419 420 427 429 430 434 437 439 440 441 443 445 446 450 452 453 454 456 458 459 460 463 471 472 473 477 479 486 488 491 495 498 501 502 503 507 a 2 3 6 9 14 16 17 21 23 29 38 39 41 48 49 50 51 52 53 54 57 58 59 62 64 74 75 80 85 86 87 92 93 95 97 98 103 106 107 108 109 110 111 115 116 117 120 125 131 132 143 144 150 151 154 159 161 166 173 174 176 182 187 188 190 199 203 206 213 218 221 223 228 229 231 232 235 238 244 246 259 261 262 269 270 271 273 275 279 285 287 289 294 297 298 302 303 311 314 319 323 335 338 340 342 343 349 350 358 362 365 368 371 373 378 379 381 383 390 393 406 407 409 414 417 419 420 427 429 430 434 437 439 440 441 443 445 446 450 452 453 454 456 458 459 460 463 471 472 473 477 479 486 488 491 495 498 501 502 503 507 a 2 3 6 9 14 16 17 21 23 29 38 39 41 48 49 50 51 52 53 54 57 58 59 62 64 74 75 80 85 86 87 92 93 95 97 98 103 106 107 108 109 110 111 115 116 117 120 125 131 132 135 143 144 150 151 154 159 161 166 173 174 176 182 187 188 190 199 203 206 213 218 221 223 228 229 232 235 238 244 246 259 261 262 269 270 271 273 275 279 285 287 289 294 297 298 302 303 311 314 319 323 335 338 340 342 343 349 350 358 362 365 368 371 373 378 379 381 383 390 393 406 407 409 414 417 419 420 427 429 430 434 437 439 440 441 443 445 446 450 452 453 454 456 458 459 460 463 471 472 473 477 479 486 488 491 495 498 501 502 503 507 a 2 3 6 9 14 16 17 21 23 29 38 39 41 48 49 50 51 52 53 54 57 58 59 62 64 74 75 80 85 86 87 92 93 95 97 98 103 106 107 108 109 110 111 115 116 117 120 125 131 132 135 143 144 150 151 154 159 161 166 173 174 176 182 187 188 190 199 203 206 213 218 221 223 228 229 232 235 238 244 246 259 261 262 269 270 271 273 275 279 285 287 289 294 297 298 302 303 311 314 319 323 335 338 340 342 343 349 350 358 362 365 368 371 373 378 379 381 383 390 393 397 406 407 409 414 417 419 420 427 429 434 437 439 440 441 443 445 446 450 452 453 454 456 458 459 460 463 471 472 473 477 479 486 488 491 495 498 501 502 503 507 a 2 3 6 9 14 16 17 21 23 29 38 39 41 48 49 50 51 52 53 54 57 58 59 62 64 74 75 80 85 86 87 92 93 95 97 98 103 106 107 108 109 110 111 115 116 117 120 125 131 132 135 143 144 150 151 154 159 161 166 173 174 176 182 187 188 190 199 203 206 213 218 221 223 228 229 232 235 238 244 246 259 260 261 262 269 270 271 273 275 279 285 287 289 294 297 298 302 303 311 314 319 323 335 338 340 342 343 349 350 358 362 365 368 371 373 378 379 381 383 390 393 397 406 407 409 414 417 419 420 427 429 434 437 440 441 443 445 446 450 452 453 454 456 458 459 460 463 471 472 473 477 479 486 488 491 495 498 501 502 503 507 a 2 3 6 9 14 16 17 21 23 29 38 39 41 48 49 50 51 52 53 54 57 58 59 62 64 74 75 80 85 86 87 92 93 95 97 98 103 106 107 108 109 110 111 115 116 117 120 125 131 132 135 143 144 150 151 154 159 161 166 173 174 176 182 187 188 190 199 203 206 213 218 221 223 228 229 232 235 238 244 246 259 260 261 262 269 270 271 273 275 279 285 287 289 294 297 298 302 303 311 314 319 323 335 338 340 342 343 346 349 350 358 362 365 368 371 373 378 379 381 383 390 393 397 406 407 409 414 417 419 420 427 429 434 437 440 441 445 446 450 452 453 454 456 458 459 460 463 471 472 473 477 479 486 488 491 495 498 501 502 503 507 a 2 3 6 9 14 16 17 21 23 29 38 39 41 48 49 50 51 52 53 54 57 58 59 62 64 74 75 80 85 86 87 92 93 95 97 98 103 106 107 108 109 110 111 115 116 117 120 125 131 132 135 143 144 150 151 154 159 161 166 173 174 176 182 187 190 199 203 206 213 218 221 223 228 229 232 235 238 244 246 259 260 261 262 269 270 271 273 275 279 285 287 289 294 297 298 302 303 311 314 319 323 329 335 338 340 342 343 346 349 350 358 362 365 368 371 373 378 379 381 383 390 393 397 406 407 409 414 417 419 420 427 429 434 437 440 441 445 446 450 452 453 454 456 458 459 460 463 471 472 473 477 479 486 488 491 495 498 501 502 503 507 a 2 3 6 9 14 16 17 21 23 29 38 39 41 48 49 50 51 52 53 54 57 58 59 62 64 74 75 80 85 86 87 92 93 95 97 98 103 106 107 108 109 110 111 115 116 117 120 125 131 132 135 143 144 150 151 154 159 161 166 173 174 176 182 187 190 199 203 204 206 213 218 221 223 228 229 232 235 238 244 246 259 260 261 262 269 270 271 273 275 279 285 287 289 294 297 298 302 303 311 314 319 323 329 335 338 340 342 343 346 349 350 358 362 365 368 371 373 378 379 381 383 390 393 397 406 407 409 414 417 419 420 427 429 434 437 440 441 445 446 450 452 454 456 458 459 460 463 471 472 473 477 479 486 488 491 495 498 501 502 503 507 a 2 3 6 9 14 16 17 21 23 29 38 39 41 48 49 50 51 52 53 54 57 58 59 62 64 74 75 80 85 86 87 92 93 95 97 98 103 106 107 108 109 110 111 115 116 117 120 125 131 132 135 143 144 150 151 154 159 161 166 173 174 176 182 187 190 192 199 203 204 206 213 218 221 223 228 229 232 235 238 244 246 259 260 261 262 269 270 271 273 275 279 285 287 289 294 297 298 302 303 311 314 319 323 329 335 338 340 342 343 346 349 350 358 362 365 368 371 373 378 379 381 383 390 393 397 406 407 409 414 417 419 420 427 429 434 437 440 441 445 446 450 452 454 458 459 460 463 471 472 473 477 479 486 488 491 495 498 501 502 503 507 a 2 3 6 9 14 16 17 21 23 29 38 39 41 48 49 50 51 52 53 54 57 58 59 62 64 74 75 80 85 86 87 92 93 95 97 98 103 106 107 108 109 110 111 115 116 117 120 125 131 132 135 143 144 150 151 154 159 161 166 173 174 176 182 187 190 192 199 203 204 206 213 218 221 223 228 229 232 235 238 244 246 259 260 261 262 269 270 271 273 275 279 285 287 289 294 297 298 302 303 311 314 319 323 329 335 338 340 342 343 346 349 350 358 362 365 368 371 373 378 379 381 383 390 393 397 406 407 409 414 417 419 420 427 429 434 437 440 441 445 446 450 452 454 459 460 463 471 472 473 477 479 486 488 491 493 495 498 501 502 503 507 a 2 3 6 9 14 16 17 21 23 29 38 39 41 48 49 50 51 52 53 54 57 58 59 62 64 74 75 80 85 86 87 92 93 95 97 98 103 106 107 108 109 110 111 115 116 117 120 125 131 132 135 143 144 150 151 154 155 159 161 166 173 174 176 182 187 190 192 199 203 204 206 213 218 221 223 228 229 232 235 238 244 246 259 260 261 262 269 270 271 273 275 279 285 287 289 294 297 298 302 303 311 314 319 323 329 335 338 340 342 343 346 349 350 358 362 365 368 371 373 378 379 381 383 390 393 397 406 407 409 414 417 419 420 427 429 434 437 440 441 445 446 450 452 454 459 460 463 471 473 477 479 486 488 491 493 495 498 501 502 503 507 a 2 3 6 9 14 16 17 21 23 29 38 39 41 48 49 50 51 52 53 54 57 58 59 62 64 74 75 80 85 86 87 92 93 95 97 98 103 106 107 108 109 110 111 115 116 117 120 125 131 132 135 143 144 150 151 154 155 159 161 166 173 174 176 182 187 190 192 199 203 204 206 213 218 221 223 228 229 232 235 238 244 246 259 260 261 262 269 270 271 273 275 279 284 285 287 289 294 297 298 302 303 311 314 319 323 329 335 338 340 342 343 346 349 350 358 362 365 368 371 373 378 379 381 383 390 393 397 406 407 409 414 417 419 420 427 429 434 437 440 441 445 446 450 452 454 459 460 463 471 477 479 486 488 491 493 495 498 501 502 503 507 a 2 3 6 9 14 16 17 21 23 29 38 39 41 48 49 50 51 52 53 54 57 58 59 62 64 74 75 80 85 86 87 92 93 95 97 98 103 106 107 108 109 110 111 115 116 117 120 125 131 132 135 143 144 150 151 154 155 159 161 166 173 174 176 182 187 190 192 199 203 204 206 213 218 221 223 228 229 232 235 238 244 246 259 260 261 262 269 270 271 273 275 279 284 285 287 289 294 297 298 302 303 311 314 319 323 329 335 338 340 342 343 346 349 350 358 362 365 368 371 373 378 379 381 383 390 393 397 406 407 409 414 417 419 420 427 429 434 437 440 441 445 446 448 450 452 454 459 460 463 471 477 486 488 491 493 495 498 501 502 503 507 a 2 3 6 9 14 16 17 21 23 29 38 39 41 48 49 50 51 52 53 54 57 58 59 62 64 74 75 80 85 86 87 92 93 95 97 98 103 106 107 108 109 110 111 115 116 117 120 125 131 132 135 143 144 146 150 151 154 155 159 161 166 173 174 176 182 187 192 199 203 204 206 213 218 221 223 228 229 232 235 238 244 246 259 260 261 262 269 270 271 273 275 279 284 285 287 289 294 297 298 302 303 311 314 319 323 329 335 338 340 342 343 346 349 350 358 362 365 368 371 373 378 379 381 383 390 393 397 406 407 409 414 417 419 420 427 429 434 437 440 441 445 446 448 450 452 454 459 460 463 471 477 486 488 491 493 495 498 501 502 503 507 a 2 3 6 9 14 16 17 21 23 29 38 39 41 48 49 50 51 52 53 54 57 58 59 62 64 74 75 80 85 86 87 92 93 95 97 98 103 106 107 108 109 110 111 115 116 117 120 125 131 132 135 143 144 146 150 151 154 155 159 161 166 173 174 176 182 187 192 199 203 204 206 213 218 221 228 229 232 235 238 244 246 259 260 261 262 269 270 271 273 275 279 284 285 287 289 294 297 298 302 303 311 314 319 323 329 335 338 340 342 343 346 349 350 358 362 365 368 371 373 378 379 381 383 390 393 397 406 407 409 414 417 419 420 427 429 434 437 440 441 445 446 448 450 452 454 459 460 463 471 477 486 488 491 493 495 498 501 502 503 504 507 a 2 3 6 9 14 16 17 21 23 29 38 39 41 48 49 50 51 52 53 54 57 58 59 62 64 74 75 80 85 86 87 92 93 95 97 98 103 106 107 108 109 110 111 115 116 117 120 125 131 132 135 143 144 146 150 151 154 155 159 161 166 173 174 176 182 187 192 199 203 204 206 213 218 221 228 229 232 235 238 244 246 259 260 261 262 269 270 271 273 275 279 284 285 287 289 294 297 298 302 303 311 314 319 323 329 338 340 342 343 346 349 350 358 362 365 368 371 373 378 379 381 383 390 393 397 406 407 409 414 417 419 420 425 427 429 434 437 440 441 445 446 448 450 452 454 459 460 463 471 477 486 488 491 493 495 498 501 502 503 504 507 a 2 3 6 9 14 16 17 21 23 29 38 39 41 48 49 50 51 52 53 54 57 58 59 62 64 74 75 80 85 86 87 92 93 95 97 98 103 106 107 108 109 110 111 115 116 117 120 125 131 132 135 143 144 146 150 151 154 155 159 161 166 173 174 176 182 187 192 199 203 204 206 213 218 221 228 229 232 235 238 244 246 259 260 261 262 269 270 271 273 275 279 284 285 287 289 294 297 298 302 303 311 314 319 323 329 338 340 342 343 346 349 350 358 362 365 368 369 371 373 378 379 381 383 390 393 397 406 407 409 414 417 419 420 425 427 429 437 440 441 445 446 448 450 452 454 459 460 463 471 477 486 488 491 493 495 498 501 502 503 504 507 a 2 3 6 9 14 16 17 21 23 29 38 39 41 48 49 50 51 52 53 54 57 58 59 62 64 74 75 80 85 86 87 92 93 95 97 98 103 106 107 108 109 110 111 115 116 117 120 125 131 132 135 143 144 146 150 151 154 155 159 161 166 173 174 176 182 187 192 199 203 204 206 213 218 221 228 229 232 235 238 244 246 259 260 261 262 264 269 270 271 273 275 279 284 285 287 289 294 297 298 302 303 311 314 319 323 329 338 340 342 343 346 349 350 358 362 365 368 369 371 373 378 379 381 383 390 393 397 406 407 409 414 417 419 420 425 427 429 437 440 441 445 446 448 450 452 454 459 460 463 477 486 488 491 493 495 498 501 502 503 504 507 a 2 3 6 9 14 16 17 21 23 29 38 39 41 48 49 50 51 52 53 54 57 58 59 62 64 74 75 80 85 86 87 92 93 95 97 98 103 106 107 108 109 110 111 115 116 117 120 125 131 132 135 143 144 146 150 151 154 155 159 161 166 173 174 176 182 187 192 199 203 204 206 213 218 221 228 229 232 235 238 244 246 259 260 261 262 264 269 270 271 273 275 279 284 285 287 289 294 297 298 302 303 311 314 319 323 329 338 340 342 343 346 349 350 358 362 365 368 369 371 372 373 378 379 381 383 390 393 397 406 407 409 414 417 419 420 425 427 429 437 440 441 445 446 448 450 452 454 459 460 463 477 488 491 493 495 498 501 502 503 504 507 a 2 3 6 9 14 16 17 21 23 29 38 39 41 48 49 50 51 52 53 54 57 58 59 62 64 74 75 80 85 86 87 92 93 95 97 98 103 106 107 108 109 110 111 115 116 117 120 125 131 132 135 143 144 146 150 151 154 155 159 161 166 173 174 176 182 187 192 199 203 204 206 213 218 221 228 229 232 235 238 244 246 259 260 261 262 264 269 270 271 273 275 279 284 285 287 289 294 297 298 302 303 311 314 319 323 329 338 340 342 343 346 347 349 350 358 362 365 368 369 371 372 373 378 379 381 383 390 393 397 406 407 409 414 417 419 420 425 427 429 437 440 441 445 446 448 450 452 459 460 463 477 488 491 493 495 498 501 502 503 504 507 a 2 3 6 9 14 16 17 21 23 29 38 39 41 48 49 50 51 52 53 54 57 58 59 62 64 74 75 80 85 86 87 92 93 95 97 98 103 106 107 108 109 110 111 115 116 117 120 125 131 132 135 143 144 146 150 151 154 155 159 161 166 173 174 176 182 187 192 199 203 204 206 213 218 221 228 229 232 235 238 244 246 259 260 261 262 264 269 270 271 273 275 279 284 285 287 289 294 297 298 302 303 311 314 319 323 329 338 340 342 343 346 347 349 350 358 362 365 368 369 370 371 372 373 378 379 381 383 390 393 397 406 407 409 414 417 419 420 425 427 429 437 440 441 445 446 448 450 452 460 463 477 488 491 493 495 498 501 502 503 504 507 Command being timed: "/solvers/driver/run.py --config=shortest-portfolio --memory-limit=54 --time-limit=1800 /benchmark/random_instance/random_instance039_graph001.col /benchmark/random_instance/random_instance039_graph001_01.dat" User time (seconds): 3467.14 System time (seconds): 13.42 Percent of CPU this job got: 200% Elapsed (wall clock) time (h:mm:ss or m:ss): 28:59.64 Average shared text size (kbytes): 0 Average unshared data size (kbytes): 0 Average stack size (kbytes): 0 Average total size (kbytes): 0 Maximum resident set size (kbytes): 23638120 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 7351055 Voluntary context switches: 68595 Involuntary context switches: 7726 Swaps: 0 File system inputs: 0 File system outputs: 816 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Fri Sep 8 22:19:51 2023]