#BEGIN: [Sat Sep 9 14:46:23 2023] #HOST: s16 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: shortest-wallclock-ai-planning2-shortest2 #INSTANCE1: /benchmark/random_instance/random_instance038_graph003.col #INSTANCE2: /benchmark/random_instance/random_instance038_graph003_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-planning2 --config=shortest-portfolio --memory-limit=54 --time-limit=1800 /benchmark/random_instance/random_instance038_graph003.col /benchmark/random_instance/random_instance038_graph003_01.dat s 314 44 307 122 225 60 248 423 100 171 387 47 358 455 379 229 481 362 7 328 79 333 218 120 138 119 458 435 291 33 227 279 321 474 318 296 35 236 454 36 62 382 153 163 276 41 396 282 313 230 397 298 202 189 74 364 338 179 354 148 85 207 57 91 127 336 38 370 446 281 392 478 270 375 235 309 271 50 216 162 157 407 82 315 12 98 241 87 113 108 445 23 355 295 59 121 252 220 27 4 312 461 456 476 175 6 376 371 240 21 173 55 479 383 219 206 15 32 13 348 221 433 24 145 469 214 264 316 28 490 151 260 203 83 114 390 488 192 369 452 69 112 17 53 388 141 464 409 30 149 116 231 183 491 482 356 419 429 217 351 306 158 200 t 288 61 47 204 212 325 411 305 422 19 170 52 384 150 332 484 27 36 265 167 274 190 38 201 45 108 134 314 298 151 387 284 374 90 375 118 255 353 200 334 175 408 105 440 116 241 339 426 453 207 40 221 198 33 423 277 245 37 208 261 330 23 156 222 377 336 309 219 171 436 409 155 272 300 322 173 136 455 124 74 390 11 166 242 193 5 1 4 431 100 448 356 412 17 346 490 368 248 128 217 60 228 301 6 494 189 260 469 140 77 358 81 466 132 404 161 202 323 87 130 294 405 394 416 318 352 331 50 148 428 376 24 382 470 86 28 433 324 396 95 187 168 443 270 15 366 32 335 369 53 476 380 93 285 158 120 304 458 240 163 444 184 59 a YES a 4 6 7 12 13 15 17 21 23 24 27 28 30 32 33 35 36 38 41 44 47 50 53 55 57 59 60 62 69 74 79 82 83 85 87 91 98 100 108 112 113 114 116 119 120 121 122 127 138 141 145 148 149 151 153 157 158 162 163 171 173 175 179 183 189 192 200 202 203 206 207 214 216 217 218 219 220 221 225 227 229 230 231 235 236 240 241 248 252 260 264 270 271 276 279 281 282 291 295 296 298 306 307 309 312 313 314 315 316 318 321 328 333 336 338 348 351 354 355 356 358 362 364 369 370 371 375 376 379 382 383 387 388 390 392 396 397 407 409 419 423 429 433 435 445 446 452 454 455 456 458 461 464 469 474 476 478 479 481 482 488 490 491 a 4 6 11 12 13 15 17 21 23 24 27 28 30 32 33 35 36 38 41 44 47 50 53 55 57 59 60 62 69 74 79 82 83 85 87 91 98 100 108 112 113 114 116 119 120 121 122 127 138 141 145 148 149 151 153 157 158 162 163 171 173 175 179 183 189 192 200 202 203 206 207 214 216 217 218 219 220 221 225 227 229 230 231 235 236 240 241 248 252 260 264 270 271 276 279 281 282 291 295 296 298 306 307 309 312 313 314 315 316 318 321 328 333 336 338 348 351 354 355 356 358 362 364 369 370 371 375 376 379 382 383 387 388 390 392 396 397 407 409 419 423 429 433 435 445 446 452 454 455 456 458 461 464 469 474 476 478 479 481 482 488 490 491 a 4 6 11 13 15 17 21 23 24 27 28 30 32 33 35 36 38 41 44 47 50 53 55 57 59 60 62 69 74 79 82 83 85 87 91 98 100 108 112 113 114 116 119 120 121 122 127 138 141 145 148 149 151 153 157 158 162 163 171 173 175 179 183 189 192 200 202 203 206 207 214 216 217 218 219 220 221 225 227 229 230 231 235 236 240 241 248 252 260 264 270 271 276 279 281 282 291 295 296 298 306 307 309 312 313 314 315 316 318 321 328 333 336 338 348 351 354 355 356 358 362 364 369 370 371 375 376 379 382 383 387 388 390 392 396 397 407 409 419 423 429 433 435 436 445 446 452 454 455 456 458 461 464 469 474 476 478 479 481 482 488 490 491 a 4 6 11 15 17 21 23 24 27 28 30 32 33 35 36 38 41 44 47 50 53 55 57 59 60 62 69 74 79 82 83 85 87 91 98 100 108 112 113 114 116 119 120 121 122 127 138 141 145 148 149 151 153 157 158 162 163 171 173 175 179 183 189 192 200 202 203 206 207 214 216 217 218 219 220 221 225 227 229 230 231 235 236 240 241 248 252 260 264 270 271 276 279 281 282 291 295 296 298 306 307 309 312 313 314 315 316 318 321 328 333 336 338 348 351 354 355 356 358 362 364 369 370 371 375 376 379 382 383 387 388 390 392 396 397 405 407 409 419 423 429 433 435 436 445 446 452 454 455 456 458 461 464 469 474 476 478 479 481 482 488 490 491 a 4 6 11 15 17 23 24 27 28 30 32 33 35 36 38 41 44 47 50 53 55 57 59 60 62 69 74 79 82 83 85 87 91 98 100 108 112 113 114 116 119 120 121 122 127 138 141 145 148 149 151 153 157 158 162 163 171 173 175 179 183 189 192 200 202 203 206 207 214 216 217 218 219 220 221 225 227 229 230 231 235 236 240 241 248 252 260 264 270 271 276 279 281 282 291 295 296 298 306 307 309 312 313 314 315 316 318 321 328 333 336 338 348 351 354 355 356 358 362 364 369 370 371 375 376 379 382 383 387 388 390 392 396 397 405 407 409 419 423 429 433 435 436 445 446 452 454 455 456 458 461 464 469 474 476 478 479 481 482 484 488 490 491 a 4 6 11 15 17 23 24 27 28 30 32 33 35 36 38 44 47 50 53 55 57 59 60 62 69 74 79 82 83 85 87 91 98 100 108 112 113 114 116 119 120 121 122 127 138 141 145 148 149 151 153 157 158 162 163 171 173 175 179 183 189 192 200 202 203 206 207 214 216 217 218 219 220 221 225 227 229 230 231 235 236 240 241 248 252 260 264 270 271 276 279 281 282 291 295 296 298 306 307 309 312 313 314 315 316 318 321 328 333 336 338 348 351 352 354 355 356 358 362 364 369 370 371 375 376 379 382 383 387 388 390 392 396 397 405 407 409 419 423 429 433 435 436 445 446 452 454 455 456 458 461 464 469 474 476 478 479 481 482 484 488 490 491 a 4 6 11 15 17 23 24 27 28 32 33 35 36 38 44 47 50 53 55 57 59 60 62 69 74 79 82 83 85 87 91 98 100 108 112 113 114 116 119 120 121 122 127 138 141 145 148 149 151 153 157 158 162 163 171 173 175 179 183 189 192 198 200 202 203 206 207 214 216 217 218 219 220 221 225 227 229 230 231 235 236 240 241 248 252 260 264 270 271 276 279 281 282 291 295 296 298 306 307 309 312 313 314 315 316 318 321 328 333 336 338 348 351 352 354 355 356 358 362 364 369 370 371 375 376 379 382 383 387 388 390 392 396 397 405 407 409 419 423 429 433 435 436 445 446 452 454 455 456 458 461 464 469 474 476 478 479 481 482 484 488 490 491 a 4 6 11 15 17 23 24 27 28 32 33 35 36 38 47 50 53 55 57 59 60 62 69 74 79 82 83 85 87 91 98 100 108 112 113 114 116 119 120 121 122 127 138 141 145 148 149 151 153 157 158 162 163 171 173 175 179 183 189 192 198 200 202 203 206 207 214 216 217 218 219 220 221 225 227 229 230 231 235 236 240 241 248 252 260 264 270 271 276 279 281 282 291 295 296 298 306 307 309 312 313 314 315 316 318 321 328 333 336 338 348 351 352 354 355 356 358 362 364 369 370 371 375 376 379 382 383 387 388 390 392 396 397 405 407 409 416 419 423 429 433 435 436 445 446 452 454 455 456 458 461 464 469 474 476 478 479 481 482 484 488 490 491 a 4 6 11 15 17 23 24 27 28 32 33 35 36 38 47 50 53 55 57 59 60 69 74 79 82 83 85 87 91 98 100 108 112 113 114 116 119 120 121 122 127 138 141 145 148 149 151 153 157 158 162 163 171 173 175 179 183 189 192 198 200 202 203 206 207 214 216 217 218 219 220 221 225 227 229 230 231 235 236 240 241 248 252 260 264 265 270 271 276 279 281 282 291 295 296 298 306 307 309 312 313 314 315 316 318 321 328 333 336 338 348 351 352 354 355 356 358 362 364 369 370 371 375 376 379 382 383 387 388 390 392 396 397 405 407 409 416 419 423 429 433 435 436 445 446 452 454 455 456 458 461 464 469 474 476 478 479 481 482 484 488 490 491 a 4 6 11 15 17 23 24 27 28 32 33 35 36 37 38 47 50 53 55 57 59 60 69 74 79 82 83 85 87 91 98 100 108 112 114 116 119 120 121 122 127 138 141 145 148 149 151 153 157 158 162 163 171 173 175 179 183 189 192 198 200 202 203 206 207 214 216 217 218 219 220 221 225 227 229 230 231 235 236 240 241 248 252 260 264 265 270 271 276 279 281 282 291 295 296 298 306 307 309 312 313 314 315 316 318 321 328 333 336 338 348 351 352 354 355 356 358 362 364 369 370 371 375 376 379 382 383 387 388 390 392 396 397 405 407 409 416 419 423 429 433 435 436 445 446 452 454 455 456 458 461 464 469 474 476 478 479 481 482 484 488 490 491 a 4 6 11 15 17 23 24 27 28 32 33 35 36 37 38 47 50 53 55 57 59 60 69 74 79 82 83 85 87 91 98 100 108 112 114 116 120 121 122 127 138 141 145 148 149 151 153 157 158 162 163 171 173 175 179 183 189 192 198 200 202 203 206 207 214 216 217 218 219 220 221 225 227 229 230 231 235 236 240 241 248 252 260 264 265 270 271 276 279 281 282 291 295 296 298 306 307 309 312 313 314 315 316 318 321 328 330 333 336 338 348 351 352 354 355 356 358 362 364 369 370 371 375 376 379 382 383 387 388 390 392 396 397 405 407 409 416 419 423 429 433 435 436 445 446 452 454 455 456 458 461 464 469 474 476 478 479 481 482 484 488 490 491 a 4 6 11 15 17 23 24 27 28 32 33 35 36 37 38 47 50 53 55 57 59 60 69 74 79 82 83 85 87 91 98 100 108 112 114 116 120 122 127 138 141 145 148 149 151 153 157 158 162 163 171 173 175 179 183 189 192 198 200 202 203 206 207 214 216 217 218 219 220 221 225 227 229 230 231 235 236 240 241 248 252 260 264 265 270 271 276 279 281 282 291 295 296 298 306 307 309 312 313 314 315 316 318 321 328 330 333 336 338 348 351 352 354 355 356 358 362 364 369 370 371 375 376 379 382 383 387 388 390 392 396 397 405 407 409 416 419 423 429 433 435 436 445 446 452 454 455 456 458 461 464 469 474 476 478 479 481 482 484 488 490 491 494 a 4 6 11 15 17 23 24 27 28 32 33 35 36 37 38 47 50 53 55 57 59 60 69 74 79 82 83 85 87 91 98 100 108 112 114 116 120 127 128 138 141 145 148 149 151 153 157 158 162 163 171 173 175 179 183 189 192 198 200 202 203 206 207 214 216 217 218 219 220 221 225 227 229 230 231 235 236 240 241 248 252 260 264 265 270 271 276 279 281 282 291 295 296 298 306 307 309 312 313 314 315 316 318 321 328 330 333 336 338 348 351 352 354 355 356 358 362 364 369 370 371 375 376 379 382 383 387 388 390 392 396 397 405 407 409 416 419 423 429 433 435 436 445 446 452 454 455 456 458 461 464 469 474 476 478 479 481 482 484 488 490 491 494 a 4 6 11 15 17 23 24 27 28 32 33 35 36 37 38 47 50 53 55 57 59 60 69 74 79 82 83 85 87 91 98 100 108 112 114 116 120 127 128 138 145 148 149 151 153 157 158 162 163 171 173 175 179 183 189 192 198 200 202 203 206 207 214 216 217 218 219 220 221 225 227 229 230 231 235 236 240 241 248 252 260 264 265 270 271 276 279 281 282 291 295 296 298 306 307 309 312 313 314 315 316 318 321 328 330 333 336 338 348 351 352 354 355 356 358 362 364 369 370 371 375 376 379 382 383 387 388 390 392 396 397 405 407 409 416 419 423 429 433 435 436 445 446 452 454 455 456 458 461 464 469 470 474 476 478 479 481 482 484 488 490 491 494 a 4 6 11 15 17 23 24 27 28 32 33 36 37 38 47 50 53 55 57 59 60 69 74 79 82 83 85 87 91 98 100 108 112 114 116 120 127 128 138 145 148 149 151 153 157 158 162 163 171 173 175 179 183 189 192 198 200 202 203 206 207 214 216 217 218 219 220 221 225 227 229 230 231 235 236 240 241 248 252 260 264 265 270 271 276 279 281 282 291 295 296 298 306 307 309 312 313 314 315 316 318 321 325 328 330 333 336 338 348 351 352 354 355 356 358 362 364 369 370 371 375 376 379 382 383 387 388 390 392 396 397 405 407 409 416 419 423 429 433 435 436 445 446 452 454 455 456 458 461 464 469 470 474 476 478 479 481 482 484 488 490 491 494 a 4 6 11 15 17 23 24 27 28 32 33 36 37 38 47 50 53 55 57 59 60 69 74 79 82 83 85 87 91 98 100 108 112 114 116 120 127 128 138 145 148 149 151 153 157 158 163 171 173 175 179 183 189 192 198 200 202 203 206 207 208 214 216 217 218 219 220 221 225 227 229 230 231 235 236 240 241 248 252 260 264 265 270 271 276 279 281 282 291 295 296 298 306 307 309 312 313 314 315 316 318 321 325 328 330 333 336 338 348 351 352 354 355 356 358 362 364 369 370 371 375 376 379 382 383 387 388 390 392 396 397 405 407 409 416 419 423 429 433 435 436 445 446 452 454 455 456 458 461 464 469 470 474 476 478 479 481 482 484 488 490 491 494 a 4 6 11 15 17 23 24 27 28 32 33 36 37 38 47 50 52 53 55 57 59 60 69 74 79 82 83 85 87 91 98 100 108 112 114 116 120 127 128 138 145 148 149 151 153 157 158 163 171 173 175 179 183 189 198 200 202 203 206 207 208 214 216 217 218 219 220 221 225 227 229 230 231 235 236 240 241 248 252 260 264 265 270 271 276 279 281 282 291 295 296 298 306 307 309 312 313 314 315 316 318 321 325 328 330 333 336 338 348 351 352 354 355 356 358 362 364 369 370 371 375 376 379 382 383 387 388 390 392 396 397 405 407 409 416 419 423 429 433 435 436 445 446 452 454 455 456 458 461 464 469 470 474 476 478 479 481 482 484 488 490 491 494 a 4 6 11 15 17 23 24 27 28 32 33 36 37 38 47 50 52 53 57 59 60 69 74 79 82 83 85 87 91 98 100 108 112 114 116 120 127 128 138 145 148 149 151 153 157 158 163 171 173 175 179 183 189 198 200 202 203 206 207 208 214 216 217 218 219 220 221 225 227 229 230 231 235 236 240 241 248 252 260 264 265 270 271 276 279 281 282 291 295 296 298 300 306 307 309 312 313 314 315 316 318 321 325 328 330 333 336 338 348 351 352 354 355 356 358 362 364 369 370 371 375 376 379 382 383 387 388 390 392 396 397 405 407 409 416 419 423 429 433 435 436 445 446 452 454 455 456 458 461 464 469 470 474 476 478 479 481 482 484 488 490 491 494 a 4 6 11 15 17 23 24 27 28 32 33 36 37 38 47 50 52 53 59 60 69 74 79 82 83 85 87 91 98 100 108 112 114 116 120 127 128 138 145 148 149 151 153 157 158 163 171 173 175 179 183 189 198 200 202 203 206 207 208 214 216 217 218 219 220 221 225 227 229 230 231 235 236 240 241 248 252 260 264 265 270 271 276 279 281 282 291 295 296 298 300 306 307 309 312 313 314 315 316 318 321 325 328 330 333 336 338 348 351 352 354 355 356 358 362 364 369 370 371 375 376 379 382 383 387 388 390 392 396 397 405 407 409 416 419 423 429 433 435 436 440 445 446 452 454 455 456 458 461 464 469 470 474 476 478 479 481 482 484 488 490 491 494 a 4 6 11 15 17 23 24 27 28 32 33 36 37 38 47 50 52 53 59 60 69 74 79 82 83 85 87 91 98 100 108 112 114 116 120 127 128 138 145 148 149 151 153 157 158 163 171 173 175 179 183 189 198 200 202 203 206 207 208 214 216 217 218 219 220 221 227 229 230 231 235 236 240 241 248 252 260 264 265 270 271 276 279 281 282 291 295 296 298 300 306 307 309 312 313 314 315 316 318 321 325 328 330 333 336 338 348 351 352 354 355 356 358 362 364 369 370 371 375 376 379 382 383 387 388 390 392 396 397 405 407 409 416 419 423 429 433 435 436 440 443 445 446 452 454 455 456 458 461 464 469 470 474 476 478 479 481 482 484 488 490 491 494 a 4 6 11 15 17 23 24 27 28 32 33 36 37 38 47 50 52 53 59 60 69 74 79 82 83 85 87 91 98 100 108 112 114 116 120 127 128 138 145 148 149 151 153 157 158 163 171 173 175 179 183 189 198 200 202 203 206 207 208 214 216 217 218 219 220 221 227 229 230 235 236 240 241 248 252 260 264 265 270 271 276 279 281 282 291 295 296 298 300 306 307 309 312 313 314 315 316 318 321 325 328 330 333 336 338 348 351 352 354 355 356 358 362 364 369 370 371 375 376 379 382 383 387 388 390 392 396 397 405 407 409 411 416 419 423 429 433 435 436 440 443 445 446 452 454 455 456 458 461 464 469 470 474 476 478 479 481 482 484 488 490 491 494 a 4 6 11 15 17 23 24 27 28 32 33 36 37 38 47 50 52 53 59 60 69 74 79 82 83 85 87 91 98 100 108 112 114 116 120 127 128 138 145 148 149 151 153 157 158 163 171 173 175 179 183 189 198 200 202 203 206 207 208 214 216 217 218 219 220 221 227 229 230 236 240 241 248 252 260 264 265 270 271 276 279 281 282 285 291 295 296 298 300 306 307 309 312 313 314 315 316 318 321 325 328 330 333 336 338 348 351 352 354 355 356 358 362 364 369 370 371 375 376 379 382 383 387 388 390 392 396 397 405 407 409 411 416 419 423 429 433 435 436 440 443 445 446 452 454 455 456 458 461 464 469 470 474 476 478 479 481 482 484 488 490 491 494 a 4 6 11 15 17 23 24 27 28 32 33 36 37 38 47 50 52 53 59 60 69 74 79 82 83 85 87 91 98 100 108 112 114 116 120 127 128 138 145 148 149 151 153 157 158 163 168 171 173 175 179 183 189 198 200 202 203 206 207 208 214 216 217 218 219 220 221 227 229 230 236 240 241 248 252 260 264 265 270 276 279 281 282 285 291 295 296 298 300 306 307 309 312 313 314 315 316 318 321 325 328 330 333 336 338 348 351 352 354 355 356 358 362 364 369 370 371 375 376 379 382 383 387 388 390 392 396 397 405 407 409 411 416 419 423 429 433 435 436 440 443 445 446 452 454 455 456 458 461 464 469 470 474 476 478 479 481 482 484 488 490 491 494 a 4 6 11 15 17 23 24 27 28 32 33 36 37 38 47 50 52 53 59 60 69 74 79 82 83 85 87 91 98 100 108 112 114 116 120 127 128 138 145 148 149 151 153 157 158 163 168 171 173 175 179 183 189 198 200 202 203 204 206 207 208 214 216 217 218 219 220 221 227 229 230 236 240 241 248 252 260 264 265 270 276 281 282 285 291 295 296 298 300 306 307 309 312 313 314 315 316 318 321 325 328 330 333 336 338 348 351 352 354 355 356 358 362 364 369 370 371 375 376 379 382 383 387 388 390 392 396 397 405 407 409 411 416 419 423 429 433 435 436 440 443 445 446 452 454 455 456 458 461 464 469 470 474 476 478 479 481 482 484 488 490 491 494 a 4 6 11 15 17 23 24 27 28 32 33 36 37 38 47 50 52 53 59 60 74 79 82 83 85 87 91 98 100 108 112 114 116 120 127 128 138 145 148 149 151 153 157 158 163 168 171 173 175 179 183 184 189 198 200 202 203 204 206 207 208 214 216 217 218 219 220 221 227 229 230 236 240 241 248 252 260 264 265 270 276 281 282 285 291 295 296 298 300 306 307 309 312 313 314 315 316 318 321 325 328 330 333 336 338 348 351 352 354 355 356 358 362 364 369 370 371 375 376 379 382 383 387 388 390 392 396 397 405 407 409 411 416 419 423 429 433 435 436 440 443 445 446 452 454 455 456 458 461 464 469 470 474 476 478 479 481 482 484 488 490 491 494 a 4 6 11 15 17 23 24 27 28 32 33 36 37 38 47 50 52 53 59 60 74 79 82 83 85 87 91 98 100 108 112 114 116 120 127 128 138 145 148 149 151 153 157 158 163 168 171 173 175 179 183 184 189 198 200 202 203 204 206 207 208 214 216 217 218 219 220 221 227 229 230 236 240 241 248 252 260 264 265 270 276 281 282 285 288 291 296 298 300 306 307 309 312 313 314 315 316 318 321 325 328 330 333 336 338 348 351 352 354 355 356 358 362 364 369 370 371 375 376 379 382 383 387 388 390 392 396 397 405 407 409 411 416 419 423 429 433 435 436 440 443 445 446 452 454 455 456 458 461 464 469 470 474 476 478 479 481 482 484 488 490 491 494 a 4 6 11 15 17 23 24 27 28 32 33 36 37 38 47 50 52 53 59 60 74 79 82 83 85 87 91 98 100 108 112 114 116 120 127 128 138 145 148 149 151 153 157 158 163 168 170 171 173 175 179 183 184 189 198 200 202 203 204 206 207 208 214 216 217 218 219 220 221 227 229 230 236 240 241 248 252 260 264 265 270 276 281 282 285 288 291 298 300 306 307 309 312 313 314 315 316 318 321 325 328 330 333 336 338 348 351 352 354 355 356 358 362 364 369 370 371 375 376 379 382 383 387 388 390 392 396 397 405 407 409 411 416 419 423 429 433 435 436 440 443 445 446 452 454 455 456 458 461 464 469 470 474 476 478 479 481 482 484 488 490 491 494 a 4 6 11 15 17 23 24 27 28 32 33 36 37 38 47 50 52 53 59 60 74 79 82 83 85 87 91 98 100 108 112 114 116 120 127 128 130 138 145 148 149 151 153 157 158 163 168 170 171 173 175 179 183 184 189 198 200 202 203 204 206 207 208 214 216 217 218 219 220 221 227 229 230 236 240 241 248 252 260 264 265 270 276 281 282 285 288 291 298 300 306 307 309 312 314 315 316 318 321 325 328 330 333 336 338 348 351 352 354 355 356 358 362 364 369 370 371 375 376 379 382 383 387 388 390 392 396 397 405 407 409 411 416 419 423 429 433 435 436 440 443 445 446 452 454 455 456 458 461 464 469 470 474 476 478 479 481 482 484 488 490 491 494 a 4 6 11 15 17 23 24 27 28 32 33 36 37 38 47 50 52 53 59 60 74 79 82 83 85 87 91 98 100 108 112 114 116 120 124 127 128 130 138 145 148 151 153 157 158 163 168 170 171 173 175 179 183 184 189 198 200 202 203 204 206 207 208 214 216 217 218 219 220 221 227 229 230 236 240 241 248 252 260 264 265 270 276 281 282 285 288 291 298 300 306 307 309 312 314 315 316 318 321 325 328 330 333 336 338 348 351 352 354 355 356 358 362 364 369 370 371 375 376 379 382 383 387 388 390 392 396 397 405 407 409 411 416 419 423 429 433 435 436 440 443 445 446 452 454 455 456 458 461 464 469 470 474 476 478 479 481 482 484 488 490 491 494 a 4 6 11 15 17 23 24 27 28 32 33 36 37 38 47 50 52 53 59 60 74 79 82 83 85 87 91 98 100 108 112 114 116 120 124 127 128 130 138 145 148 151 153 157 158 163 168 170 171 173 175 179 183 184 189 198 200 202 203 204 206 207 208 214 216 217 218 219 220 221 227 229 230 236 240 241 248 260 264 265 270 276 281 282 285 288 291 294 298 300 306 307 309 312 314 315 316 318 321 325 328 330 333 336 338 348 351 352 354 355 356 358 362 364 369 370 371 375 376 379 382 383 387 388 390 392 396 397 405 407 409 411 416 419 423 429 433 435 436 440 443 445 446 452 454 455 456 458 461 464 469 470 474 476 478 479 481 482 484 488 490 491 494 a 4 6 11 15 17 23 24 27 28 32 33 36 37 38 47 50 52 53 59 60 74 79 82 83 85 87 91 98 100 108 112 114 116 120 124 127 128 130 138 145 148 151 153 157 158 163 168 170 171 173 175 179 183 184 189 198 200 202 203 204 206 207 208 214 216 217 218 219 220 221 227 229 230 236 240 241 248 260 264 265 270 272 276 281 282 285 288 291 294 298 300 306 307 309 312 314 315 316 318 325 328 330 333 336 338 348 351 352 354 355 356 358 362 364 369 370 371 375 376 379 382 383 387 388 390 392 396 397 405 407 409 411 416 419 423 429 433 435 436 440 443 445 446 452 454 455 456 458 461 464 469 470 474 476 478 479 481 482 484 488 490 491 494 a 4 6 11 15 17 23 24 27 28 32 33 36 37 38 47 50 52 53 59 60 74 82 83 85 87 91 98 100 108 112 114 116 120 124 127 128 130 138 145 148 151 153 157 158 163 168 170 171 173 175 179 183 184 189 198 200 202 203 204 206 207 208 214 216 217 218 219 220 221 227 229 230 236 240 241 248 260 264 265 270 272 276 281 282 285 288 291 294 298 300 306 307 309 312 314 315 316 318 325 328 330 333 336 338 348 351 352 354 355 356 358 362 364 366 369 370 371 375 376 379 382 383 387 388 390 392 396 397 405 407 409 411 416 419 423 429 433 435 436 440 443 445 446 452 454 455 456 458 461 464 469 470 474 476 478 479 481 482 484 488 490 491 494 a 4 6 11 15 17 23 24 27 28 32 33 36 37 38 47 50 52 53 59 60 74 82 83 85 87 91 98 100 108 112 114 116 120 124 127 128 130 138 145 148 151 153 157 158 163 168 170 171 173 175 179 183 184 189 198 200 202 203 204 206 207 208 214 216 217 218 219 220 221 227 229 230 236 240 241 248 260 264 265 270 272 276 281 282 285 288 291 294 298 300 305 306 309 312 314 315 316 318 325 328 330 333 336 338 348 351 352 354 355 356 358 362 364 366 369 370 371 375 376 379 382 383 387 388 390 392 396 397 405 407 409 411 416 419 423 429 433 435 436 440 443 445 446 452 454 455 456 458 461 464 469 470 474 476 478 479 481 482 484 488 490 491 494 a 4 6 11 15 17 23 24 27 28 32 33 36 37 38 47 50 52 53 59 60 74 82 83 85 87 91 98 100 108 112 114 116 120 124 127 128 130 138 145 148 151 153 157 158 163 168 170 171 173 175 179 183 184 189 198 200 202 203 204 206 207 208 214 216 217 218 219 220 221 227 229 230 236 240 241 248 260 264 265 270 272 276 281 282 285 288 291 294 298 300 305 306 309 312 314 315 316 318 325 328 330 333 336 338 351 352 354 355 356 358 362 364 366 369 370 371 375 376 379 382 383 387 388 390 392 396 397 404 405 407 409 411 416 419 423 429 433 435 436 440 443 445 446 452 454 455 456 458 461 464 469 470 474 476 478 479 481 482 484 488 490 491 494 a 4 6 11 15 17 23 24 27 28 32 33 36 37 38 47 50 52 53 59 60 74 82 83 85 87 91 98 100 108 112 114 116 120 124 127 128 130 138 145 148 151 153 157 158 163 168 170 171 173 175 179 183 184 189 198 200 202 203 204 206 207 208 214 216 217 218 219 220 221 227 229 230 236 240 241 245 248 260 264 265 270 272 276 281 282 285 288 291 294 298 300 305 306 309 312 314 315 316 318 325 328 330 333 336 338 352 354 355 356 358 362 364 366 369 370 371 375 376 379 382 383 387 388 390 392 396 397 404 405 407 409 411 416 419 423 429 433 435 436 440 443 445 446 452 454 455 456 458 461 464 469 470 474 476 478 479 481 482 484 488 490 491 494 a 4 6 11 15 17 23 24 27 28 32 33 36 37 38 47 50 52 53 59 60 74 82 83 85 87 91 98 100 105 108 112 114 116 120 124 127 128 130 145 148 151 153 157 158 163 168 170 171 173 175 179 183 184 189 198 200 202 203 204 206 207 208 214 216 217 218 219 220 221 227 229 230 236 240 241 245 248 260 264 265 270 272 276 281 282 285 288 291 294 298 300 305 306 309 312 314 315 316 318 325 328 330 333 336 338 352 354 355 356 358 362 364 366 369 370 371 375 376 379 382 383 387 388 390 392 396 397 404 405 407 409 411 416 419 423 429 433 435 436 440 443 445 446 452 454 455 456 458 461 464 469 470 474 476 478 479 481 482 484 488 490 491 494 a 4 6 11 15 17 23 24 27 28 32 33 36 37 38 47 50 52 53 59 60 74 82 83 85 87 91 98 100 105 108 112 114 116 120 124 127 128 130 145 148 151 153 157 158 163 167 168 170 171 173 175 179 183 184 189 198 200 202 203 204 206 207 208 214 217 218 219 220 221 227 229 230 236 240 241 245 248 260 264 265 270 272 276 281 282 285 288 291 294 298 300 305 306 309 312 314 315 316 318 325 328 330 333 336 338 352 354 355 356 358 362 364 366 369 370 371 375 376 379 382 383 387 388 390 392 396 397 404 405 407 409 411 416 419 423 429 433 435 436 440 443 445 446 452 454 455 456 458 461 464 469 470 474 476 478 479 481 482 484 488 490 491 494 a 4 6 11 15 17 23 24 27 28 32 33 36 37 38 47 50 52 53 59 60 74 82 83 85 87 91 98 100 105 108 112 114 116 120 124 127 128 130 145 148 151 153 157 158 163 167 168 170 171 173 175 179 183 184 189 198 200 202 203 204 206 207 208 214 217 218 219 220 221 227 229 230 236 240 241 245 248 260 264 265 270 272 276 281 282 285 288 291 294 298 300 305 306 309 312 314 315 316 318 325 328 330 333 336 338 352 355 356 358 362 364 366 369 370 371 375 376 379 382 383 387 388 390 392 396 397 404 405 407 409 411 416 419 423 429 433 435 436 440 443 445 446 452 453 454 455 456 458 461 464 469 470 474 476 478 479 481 482 484 488 490 491 494 a 4 6 11 15 17 23 24 27 28 32 33 36 37 38 47 50 52 53 59 60 74 83 85 87 91 98 100 105 108 112 114 116 120 124 127 128 130 145 148 151 153 157 158 163 167 168 170 171 173 175 179 183 184 189 198 200 202 203 204 206 207 208 214 217 218 219 220 221 227 229 230 236 240 241 245 248 260 264 265 270 272 276 281 282 285 288 291 294 298 300 305 306 309 312 314 315 316 318 325 328 330 333 336 338 352 355 356 358 362 364 366 369 370 371 375 376 379 382 383 387 388 390 392 396 397 404 405 407 409 411 416 419 423 426 429 433 435 436 440 443 445 446 452 453 454 455 456 458 461 464 469 470 474 476 478 479 481 482 484 488 490 491 494 a 4 6 11 15 17 23 24 27 28 32 33 36 37 38 47 50 52 53 59 60 74 83 87 91 98 100 105 108 112 114 116 120 124 127 128 130 145 148 151 153 157 158 163 167 168 170 171 173 175 179 183 184 189 198 200 202 203 204 206 207 208 214 217 218 219 220 221 227 229 230 236 240 241 245 248 260 264 265 270 272 276 281 282 285 288 291 294 298 300 305 306 309 312 314 315 316 318 325 328 330 331 333 336 338 352 355 356 358 362 364 366 369 370 371 375 376 379 382 383 387 388 390 392 396 397 404 405 407 409 411 416 419 423 426 429 433 435 436 440 443 445 446 452 453 454 455 456 458 461 464 469 470 474 476 478 479 481 482 484 488 490 491 494 a 4 6 11 15 17 23 24 27 28 32 33 36 37 38 47 50 52 53 59 60 74 83 87 91 98 100 105 108 112 114 116 120 124 127 128 130 145 148 151 153 157 158 163 167 168 170 171 173 175 179 183 184 189 198 200 202 203 204 206 207 208 214 217 218 219 220 221 227 229 230 236 240 241 245 248 260 264 265 270 272 276 281 282 285 288 291 294 298 300 304 305 306 309 312 314 315 316 318 325 328 330 331 333 336 338 352 356 358 362 364 366 369 370 371 375 376 379 382 383 387 388 390 392 396 397 404 405 407 409 411 416 419 423 426 429 433 435 436 440 443 445 446 452 453 454 455 456 458 461 464 469 470 474 476 478 479 481 482 484 488 490 491 494 a 4 6 11 15 17 23 24 27 28 32 33 36 37 38 47 50 52 53 59 60 74 87 91 98 100 105 108 112 114 116 120 124 127 128 130 145 148 151 153 157 158 163 167 168 170 171 173 175 179 183 184 189 198 200 202 203 204 206 207 208 214 217 218 219 220 221 227 229 230 236 240 241 245 248 260 264 265 270 272 276 281 282 285 288 291 294 298 300 304 305 306 309 312 314 315 316 318 325 328 330 331 333 336 338 352 356 358 362 364 366 369 370 371 375 376 379 382 383 387 388 390 392 396 397 404 405 407 409 411 416 419 423 426 429 433 435 436 440 443 445 446 448 452 453 454 455 456 458 461 464 469 470 474 476 478 479 481 482 484 488 490 491 494 a 4 6 11 15 17 23 24 27 28 32 33 36 37 38 47 50 52 53 59 60 74 87 91 98 100 105 108 112 114 116 120 124 127 128 130 145 148 151 153 156 157 158 163 167 168 170 171 173 175 179 183 184 189 198 200 202 203 204 207 208 214 217 218 219 220 221 227 229 230 236 240 241 245 248 260 264 265 270 272 276 281 282 285 288 291 294 298 300 304 305 306 309 312 314 315 316 318 325 328 330 331 333 336 338 352 356 358 362 364 366 369 370 371 375 376 379 382 383 387 388 390 392 396 397 404 405 407 409 411 416 419 423 426 429 433 435 436 440 443 445 446 448 452 453 454 455 456 458 461 464 469 470 474 476 478 479 481 482 484 488 490 491 494 a 4 6 11 15 17 23 24 27 28 32 33 36 37 38 47 50 52 53 59 60 74 87 91 98 100 105 108 112 114 116 120 124 127 128 130 145 148 151 153 156 157 158 163 167 168 170 171 173 175 179 183 184 189 198 200 202 203 204 207 208 214 217 218 219 220 221 227 229 230 236 240 241 245 248 260 264 265 270 272 276 281 282 285 288 291 294 298 300 304 305 306 309 312 314 315 316 318 325 328 330 331 333 336 338 352 356 358 364 366 369 370 371 374 375 376 379 382 383 387 388 390 392 396 397 404 405 407 409 411 416 419 423 426 429 433 435 436 440 443 445 446 448 452 453 454 455 456 458 461 464 469 470 474 476 478 479 481 482 484 488 490 491 494 a 4 6 11 15 17 23 24 27 28 32 33 36 37 38 47 50 52 53 59 60 74 87 91 98 100 105 108 112 114 116 120 124 127 128 130 148 151 153 156 157 158 163 167 168 170 171 173 175 179 183 184 189 198 200 202 203 204 207 208 214 217 218 219 220 221 227 229 230 236 240 241 245 248 260 264 265 270 272 276 281 282 285 288 291 294 298 300 304 305 306 309 312 314 315 316 318 322 325 328 330 331 333 336 338 352 356 358 364 366 369 370 371 374 375 376 379 382 383 387 388 390 392 396 397 404 405 407 409 411 416 419 423 426 429 433 435 436 440 443 445 446 448 452 453 454 455 456 458 461 464 469 470 474 476 478 479 481 482 484 488 490 491 494 a 4 6 11 15 17 23 24 27 28 32 33 36 37 38 47 50 52 53 59 60 74 87 91 98 100 105 108 112 114 116 120 124 127 128 130 148 151 153 156 157 158 163 167 168 170 171 173 175 179 183 184 189 198 200 202 203 204 207 208 214 217 218 219 220 221 227 229 230 240 241 245 248 260 264 265 270 272 276 281 282 285 288 291 294 298 300 304 305 306 309 312 314 315 316 318 322 325 328 330 331 333 336 338 352 356 358 364 366 369 370 371 374 375 376 379 382 383 387 388 390 392 394 396 397 404 405 407 409 411 416 419 423 426 429 433 435 436 440 443 445 446 448 452 453 454 455 456 458 461 464 469 470 474 476 478 479 481 482 484 488 490 491 494 a 4 6 11 15 17 23 24 27 28 32 33 36 37 38 47 50 52 53 59 60 74 87 91 98 100 105 108 112 114 116 120 124 127 128 130 148 151 153 156 157 158 163 167 168 170 171 173 175 179 183 184 189 198 200 202 203 204 207 208 214 217 218 219 220 221 227 229 230 240 241 245 248 260 264 265 270 272 276 281 282 285 288 291 294 298 300 304 305 306 309 312 314 315 316 318 322 324 325 328 330 331 333 336 338 352 356 358 366 369 370 371 374 375 376 379 382 383 387 388 390 392 394 396 397 404 405 407 409 411 416 419 423 426 429 433 435 436 440 443 445 446 448 452 453 454 455 456 458 461 464 469 470 474 476 478 479 481 482 484 488 490 491 494 a 4 6 11 15 17 23 24 27 28 32 33 36 37 38 47 50 52 53 59 60 74 87 91 98 100 105 108 112 114 116 120 124 127 128 130 148 151 153 156 157 158 163 167 168 170 171 173 175 179 183 184 189 198 200 202 203 204 207 208 214 217 218 219 220 221 227 229 230 240 241 245 248 260 264 265 270 272 276 281 282 285 288 291 294 298 300 304 305 306 309 314 315 316 318 322 324 325 328 330 331 333 336 338 352 356 358 366 368 369 370 371 374 375 376 379 382 383 387 388 390 392 394 396 397 404 405 407 409 411 416 419 423 426 429 433 435 436 440 443 445 446 448 452 453 454 455 456 458 461 464 469 470 474 476 478 479 481 482 484 488 490 491 494 a 4 6 11 15 17 23 24 27 28 32 33 36 37 38 47 50 52 53 59 60 74 87 91 98 100 105 108 112 114 116 120 124 127 128 130 148 151 153 156 157 158 163 167 168 170 171 173 175 179 183 184 189 198 200 202 203 204 207 208 214 217 218 219 220 221 227 229 230 240 241 245 248 260 264 265 270 272 276 281 282 285 288 291 294 298 300 304 305 306 309 314 315 316 318 322 324 325 328 330 331 333 334 336 338 352 356 358 366 368 369 370 374 375 376 379 382 383 387 388 390 392 394 396 397 404 405 407 409 411 416 419 423 426 429 433 435 436 440 443 445 446 448 452 453 454 455 456 458 461 464 469 470 474 476 478 479 481 482 484 488 490 491 494 a 4 6 11 15 17 23 24 27 28 32 33 36 37 38 47 50 52 53 59 60 74 87 91 98 100 105 108 112 116 120 124 127 128 130 148 151 153 156 157 158 163 167 168 170 171 173 175 179 183 184 189 198 200 202 203 204 207 208 214 217 218 219 220 221 227 229 230 240 241 245 248 260 264 265 270 272 276 281 282 285 288 291 294 298 300 304 305 306 309 314 315 316 318 322 324 325 328 330 331 333 334 336 338 352 356 358 366 368 369 370 374 375 376 379 382 383 387 388 390 392 394 396 397 404 405 407 409 411 416 419 423 426 429 431 433 435 436 440 443 445 446 448 452 453 454 455 456 458 461 464 469 470 474 476 478 479 481 482 484 488 490 491 494 a 4 6 11 15 17 23 24 27 28 32 33 36 37 38 47 50 52 53 59 60 74 87 91 98 100 105 108 112 116 120 124 127 128 130 140 148 151 153 156 157 158 163 167 168 170 171 173 175 179 183 184 189 198 200 202 203 204 207 208 214 217 218 219 220 221 227 229 230 240 241 245 248 260 264 265 270 272 276 281 282 285 288 291 294 298 300 304 305 306 309 314 315 316 318 322 324 325 328 330 331 333 334 336 338 352 356 358 366 368 369 370 374 375 376 382 383 387 388 390 392 394 396 397 404 405 407 409 411 416 419 423 426 429 431 433 435 436 440 443 445 446 448 452 453 454 455 456 458 461 464 469 470 474 476 478 479 481 482 484 488 490 491 494 a 4 6 11 15 17 23 24 27 28 32 33 36 37 38 47 50 52 53 59 60 74 87 91 98 100 105 108 112 116 120 124 127 128 130 140 148 151 153 156 157 158 163 167 168 170 171 173 175 179 183 184 189 198 200 202 203 204 207 208 214 217 218 219 221 227 229 230 240 241 245 248 260 264 265 270 272 276 281 282 285 288 291 294 298 300 304 305 306 309 314 315 316 318 322 324 325 328 330 331 332 333 334 336 338 352 356 358 366 368 369 370 374 375 376 382 383 387 388 390 392 394 396 397 404 405 407 409 411 416 419 423 426 429 431 433 435 436 440 443 445 446 448 452 453 454 455 456 458 461 464 469 470 474 476 478 479 481 482 484 488 490 491 494 a 4 6 11 15 17 23 24 27 28 32 33 36 37 38 47 50 52 53 59 60 74 87 91 98 100 105 108 112 116 120 124 127 128 130 136 140 148 151 153 156 157 158 163 167 168 170 171 173 175 179 183 184 189 198 200 202 203 204 207 208 214 217 218 219 221 227 229 230 240 241 245 248 260 265 270 272 276 281 282 285 288 291 294 298 300 304 305 306 309 314 315 316 318 322 324 325 328 330 331 332 333 334 336 338 352 356 358 366 368 369 370 374 375 376 382 383 387 388 390 392 394 396 397 404 405 407 409 411 416 419 423 426 429 431 433 435 436 440 443 445 446 448 452 453 454 455 456 458 461 464 469 470 474 476 478 479 481 482 484 488 490 491 494 a 4 6 11 15 17 23 24 27 28 32 33 36 37 38 47 50 52 53 59 60 74 87 91 98 100 105 108 112 116 120 124 127 128 130 136 140 148 151 153 156 157 158 163 167 168 170 171 173 175 179 183 184 189 198 200 202 203 204 207 208 214 217 218 219 221 222 227 229 230 240 241 245 248 260 265 270 272 276 281 282 285 288 291 294 298 300 304 305 306 309 314 315 316 318 322 324 325 328 330 331 332 333 334 336 338 352 356 358 366 368 369 370 374 375 376 382 387 388 390 392 394 396 397 404 405 407 409 411 416 419 423 426 429 431 433 435 436 440 443 445 446 448 452 453 454 455 456 458 461 464 469 470 474 476 478 479 481 482 484 488 490 491 494 a 4 6 11 15 17 23 24 27 28 32 33 36 37 38 47 50 52 53 59 60 74 87 91 98 100 105 108 112 116 120 124 127 128 130 136 140 148 151 153 156 157 158 163 167 168 170 171 173 175 179 183 184 189 198 200 202 204 207 208 214 217 218 219 221 222 227 229 230 240 241 245 248 260 265 270 272 276 281 282 285 288 291 294 298 300 304 305 306 309 314 315 316 318 322 324 325 328 330 331 332 333 334 336 338 352 356 358 366 368 369 370 374 375 376 382 387 388 390 392 394 396 397 404 405 407 409 411 416 419 422 423 426 429 431 433 435 436 440 443 445 446 448 452 453 454 455 456 458 461 464 469 470 474 476 478 479 481 482 484 488 490 491 494 a 4 6 11 15 17 23 24 27 28 32 33 36 37 38 47 50 52 53 59 60 74 87 91 98 100 105 108 112 116 120 124 127 128 130 136 140 148 151 153 156 157 158 163 167 168 170 171 173 175 179 183 184 189 198 200 202 204 207 208 214 217 218 219 221 222 227 229 230 240 241 245 248 260 265 270 272 276 277 281 282 285 288 291 294 298 300 304 305 306 309 314 315 316 318 322 324 325 328 330 331 332 333 334 336 338 352 356 358 366 368 369 370 374 375 376 382 387 390 392 394 396 397 404 405 407 409 411 416 419 422 423 426 429 431 433 435 436 440 443 445 446 448 452 453 454 455 456 458 461 464 469 470 474 476 478 479 481 482 484 488 490 491 494 a 4 6 11 15 17 23 24 27 28 32 33 36 37 38 47 50 52 53 59 60 74 87 91 95 98 100 105 108 112 116 120 124 127 128 130 136 140 148 151 153 156 157 158 163 167 168 170 171 173 175 183 184 189 198 200 202 204 207 208 214 217 218 219 221 222 227 229 230 240 241 245 248 260 265 270 272 276 277 281 282 285 288 291 294 298 300 304 305 306 309 314 315 316 318 322 324 325 328 330 331 332 333 334 336 338 352 356 358 366 368 369 370 374 375 376 382 387 390 392 394 396 397 404 405 407 409 411 416 419 422 423 426 429 431 433 435 436 440 443 445 446 448 452 453 454 455 456 458 461 464 469 470 474 476 478 479 481 482 484 488 490 491 494 a 4 6 11 15 17 23 24 27 28 32 33 36 37 38 47 50 52 53 59 60 74 81 87 91 95 98 100 105 108 112 116 120 124 127 128 130 136 140 148 151 153 156 157 158 163 167 168 170 171 173 175 183 184 189 198 200 202 204 207 208 214 217 218 219 221 222 227 229 230 240 241 245 248 260 265 270 272 276 277 282 285 288 291 294 298 300 304 305 306 309 314 315 316 318 322 324 325 328 330 331 332 333 334 336 338 352 356 358 366 368 369 370 374 375 376 382 387 390 392 394 396 397 404 405 407 409 411 416 419 422 423 426 429 431 433 435 436 440 443 445 446 448 452 453 454 455 456 458 461 464 469 470 474 476 478 479 481 482 484 488 490 491 494 a 4 6 11 15 17 23 24 27 28 32 33 36 37 38 47 50 52 53 59 60 74 81 87 91 95 98 100 105 108 112 116 120 124 127 128 130 136 140 148 151 153 156 157 158 163 167 168 170 171 173 175 183 184 189 198 200 202 204 207 208 214 217 218 219 221 222 227 229 230 240 241 245 248 260 265 270 272 276 277 282 285 288 291 294 298 300 304 305 306 309 314 315 316 318 322 324 325 328 330 331 332 333 334 336 338 352 356 358 366 368 369 370 374 375 376 380 382 387 390 394 396 397 404 405 407 409 411 416 419 422 423 426 429 431 433 435 436 440 443 445 446 448 452 453 454 455 456 458 461 464 469 470 474 476 478 479 481 482 484 488 490 491 494 a 4 6 11 15 17 23 24 27 28 32 33 36 37 38 47 50 52 53 59 60 61 74 81 87 91 95 98 100 105 108 112 116 120 124 127 128 130 136 140 148 151 153 156 157 158 163 167 168 170 171 173 175 183 184 189 198 200 202 204 207 208 214 217 218 219 221 222 227 229 230 240 241 245 248 260 265 270 272 276 277 282 285 288 291 294 298 300 304 305 306 309 314 315 316 318 322 324 325 328 330 331 332 333 334 336 338 352 356 358 366 368 369 370 374 375 376 380 382 387 390 394 396 404 405 407 409 411 416 419 422 423 426 429 431 433 435 436 440 443 445 446 448 452 453 454 455 456 458 461 464 469 470 474 476 478 479 481 482 484 488 490 491 494 a 4 6 11 15 17 23 24 27 28 32 33 36 37 38 47 50 52 53 59 60 61 74 81 87 91 95 98 100 105 108 112 116 120 124 127 128 130 136 140 148 151 153 156 157 158 163 167 168 170 171 173 175 183 184 189 198 200 202 204 207 208 214 217 218 219 221 222 227 229 230 240 241 245 248 255 260 265 270 272 276 277 282 285 288 294 298 300 304 305 306 309 314 315 316 318 322 324 325 328 330 331 332 333 334 336 338 352 356 358 366 368 369 370 374 375 376 380 382 387 390 394 396 404 405 407 409 411 416 419 422 423 426 429 431 433 435 436 440 443 445 446 448 452 453 454 455 456 458 461 464 469 470 474 476 478 479 481 482 484 488 490 491 494 a 4 6 11 15 17 23 24 27 28 32 33 36 37 38 47 50 52 53 59 60 61 74 81 87 91 93 95 98 100 105 108 112 116 120 124 127 128 130 136 140 148 151 153 156 157 158 163 167 168 170 171 173 175 183 184 189 198 200 202 204 207 208 214 217 218 219 221 222 227 229 230 240 241 245 248 255 260 265 270 272 276 277 282 285 288 294 298 300 304 305 306 309 314 315 316 318 322 324 325 328 330 331 332 333 334 336 338 352 356 358 366 368 369 370 374 375 376 380 382 387 390 394 396 404 405 409 411 416 419 422 423 426 429 431 433 435 436 440 443 445 446 448 452 453 454 455 456 458 461 464 469 470 474 476 478 479 481 482 484 488 490 491 494 a 4 6 11 15 17 23 24 27 28 32 33 36 37 38 47 50 52 53 59 60 61 74 81 87 91 93 95 98 100 105 108 112 116 120 124 127 128 130 136 140 148 151 153 156 157 158 163 167 168 170 171 173 175 183 184 189 198 200 202 204 207 208 214 217 218 219 221 222 227 229 230 240 241 245 248 255 260 265 270 272 274 276 277 282 285 288 294 298 300 304 305 306 309 314 315 316 318 322 324 325 328 330 331 332 333 334 336 338 352 356 358 366 368 369 374 375 376 380 382 387 390 394 396 404 405 409 411 416 419 422 423 426 429 431 433 435 436 440 443 445 446 448 452 453 454 455 456 458 461 464 469 470 474 476 478 479 481 482 484 488 490 491 494 a 4 6 11 15 17 23 24 27 28 32 33 36 37 38 47 50 52 53 59 60 61 74 77 81 87 91 93 95 98 100 105 108 112 116 120 124 127 128 130 136 140 148 151 153 156 157 158 163 167 168 170 171 173 175 183 184 189 198 200 202 204 207 208 214 217 218 219 221 222 227 229 230 240 241 245 248 255 260 265 270 272 274 276 277 282 285 288 294 298 300 304 305 306 309 314 315 316 318 322 324 325 328 330 331 332 333 334 336 338 352 356 358 366 368 369 374 375 376 380 382 387 390 394 396 404 405 409 411 416 419 422 423 426 429 431 433 436 440 443 445 446 448 452 453 454 455 456 458 461 464 469 470 474 476 478 479 481 482 484 488 490 491 494 a 4 6 11 15 17 23 24 27 28 32 33 36 37 38 47 50 52 53 59 60 61 74 77 81 87 93 95 98 100 105 108 112 116 120 124 127 128 130 136 140 148 151 153 156 157 158 163 167 168 170 171 173 175 183 184 189 198 200 202 204 207 208 214 217 218 219 221 222 227 229 230 240 241 245 248 255 260 265 270 272 274 276 277 282 285 288 294 298 300 304 305 306 309 314 315 316 318 322 324 325 328 330 331 332 333 334 336 338 352 356 358 366 368 369 374 375 376 380 382 387 390 394 396 404 405 409 411 416 419 422 423 426 429 431 433 436 440 443 444 445 446 448 452 453 454 455 456 458 461 464 469 470 474 476 478 479 481 482 484 488 490 491 494 a 4 6 11 15 17 23 24 27 28 32 33 36 37 38 47 50 52 53 59 60 61 74 77 81 87 93 95 98 100 105 108 112 116 120 124 127 128 130 136 140 148 151 153 156 157 158 163 167 168 170 171 173 175 183 184 189 198 200 202 204 207 208 214 217 218 219 221 222 227 229 230 240 241 245 248 255 260 265 270 272 274 276 277 282 285 288 294 298 300 304 305 306 309 314 315 316 318 322 323 324 325 328 330 331 332 333 334 336 338 352 356 358 366 368 369 374 375 376 380 382 387 390 394 396 404 405 409 411 416 419 422 423 426 429 431 433 436 440 443 444 446 448 452 453 454 455 456 458 461 464 469 470 474 476 478 479 481 482 484 488 490 491 494 a 4 6 11 15 17 23 24 27 28 32 33 36 37 38 47 50 52 53 59 60 61 74 77 81 87 93 95 100 105 108 112 116 118 120 124 127 128 130 136 140 148 151 153 156 157 158 163 167 168 170 171 173 175 183 184 189 198 200 202 204 207 208 214 217 218 219 221 222 227 229 230 240 241 245 248 255 260 265 270 272 274 276 277 282 285 288 294 298 300 304 305 306 309 314 315 316 318 322 323 324 325 328 330 331 332 333 334 336 338 352 356 358 366 368 369 374 375 376 380 382 387 390 394 396 404 405 409 411 416 419 422 423 426 429 431 433 436 440 443 444 446 448 452 453 454 455 456 458 461 464 469 470 474 476 478 479 481 482 484 488 490 491 494 a 4 6 11 15 17 23 24 27 28 32 33 36 37 38 47 50 52 53 59 60 61 74 77 81 87 93 95 100 105 108 112 116 118 120 124 127 128 130 136 140 148 151 153 156 157 158 163 167 168 170 171 173 175 183 184 189 198 200 202 204 207 208 214 217 218 219 221 222 227 229 230 240 241 245 248 255 260 265 270 272 274 276 277 282 284 285 288 294 298 300 304 305 306 309 314 315 318 322 323 324 325 328 330 331 332 333 334 336 338 352 356 358 366 368 369 374 375 376 380 382 387 390 394 396 404 405 409 411 416 419 422 423 426 429 431 433 436 440 443 444 446 448 452 453 454 455 456 458 461 464 469 470 474 476 478 479 481 482 484 488 490 491 494 a 4 6 11 15 17 23 24 27 28 32 33 36 37 38 47 50 52 53 59 60 61 74 77 81 87 93 95 100 105 108 112 116 118 120 124 127 128 130 136 140 148 151 153 156 157 158 163 167 168 170 171 173 175 184 189 198 200 202 204 207 208 214 217 218 219 221 222 227 229 230 240 241 245 248 255 260 265 270 272 274 276 277 282 284 285 288 294 298 300 301 304 305 306 309 314 315 318 322 323 324 325 328 330 331 332 333 334 336 338 352 356 358 366 368 369 374 375 376 380 382 387 390 394 396 404 405 409 411 416 419 422 423 426 429 431 433 436 440 443 444 446 448 452 453 454 455 456 458 461 464 469 470 474 476 478 479 481 482 484 488 490 491 494 a 4 6 11 15 17 23 24 27 28 32 33 36 37 38 47 50 52 53 59 60 61 74 77 81 87 93 95 100 105 108 112 116 118 120 124 127 128 130 136 140 148 151 153 156 157 158 163 167 168 170 171 173 175 184 189 198 200 202 204 207 208 214 217 218 219 221 222 227 229 230 240 241 245 248 255 260 265 270 272 274 276 277 282 284 285 288 294 298 300 301 304 305 306 309 314 315 318 322 323 324 325 328 330 331 332 333 334 336 352 356 358 366 368 369 374 375 376 380 382 384 387 390 394 396 404 405 409 411 416 419 422 423 426 429 431 433 436 440 443 444 446 448 452 453 454 455 456 458 461 464 469 470 474 476 478 479 481 482 484 488 490 491 494 a 4 6 11 15 17 23 24 27 28 32 33 36 37 38 47 50 52 53 59 60 61 74 77 81 86 87 93 95 100 105 108 112 116 118 120 124 127 128 130 136 140 148 151 153 156 157 158 163 167 168 170 171 173 175 184 189 198 200 202 204 207 208 214 217 218 219 221 222 227 229 230 240 241 245 248 255 260 265 270 272 274 276 277 282 284 285 288 294 298 300 301 304 305 306 309 314 315 318 322 323 324 325 328 330 331 332 333 334 336 352 356 358 366 368 369 374 375 376 380 382 384 387 390 394 396 404 405 409 411 416 419 422 423 426 429 431 433 436 440 443 444 446 448 453 454 455 456 458 461 464 469 470 474 476 478 479 481 482 484 488 490 491 494 a 4 6 11 15 17 23 24 27 28 32 33 36 37 38 47 50 52 53 59 60 61 74 77 81 86 87 90 93 95 100 105 108 112 116 118 120 124 127 128 130 136 140 148 151 156 157 158 163 167 168 170 171 173 175 184 189 198 200 202 204 207 208 214 217 218 219 221 222 227 229 230 240 241 245 248 255 260 265 270 272 274 276 277 282 284 285 288 294 298 300 301 304 305 306 309 314 315 318 322 323 324 325 328 330 331 332 333 334 336 352 356 358 366 368 369 374 375 376 380 382 384 387 390 394 396 404 405 409 411 416 419 422 423 426 429 431 433 436 440 443 444 446 448 453 454 455 456 458 461 464 469 470 474 476 478 479 481 482 484 488 490 491 494 a 4 6 11 15 17 23 24 27 28 32 33 36 37 38 47 50 52 53 59 60 61 74 77 81 86 87 90 93 95 100 105 108 112 116 118 120 124 127 128 130 136 140 148 151 156 157 158 163 167 168 170 171 173 175 184 189 193 198 200 202 204 207 208 214 217 218 219 221 222 227 229 230 240 241 245 248 255 260 265 270 272 274 276 277 282 284 285 288 294 298 300 301 304 305 306 309 314 318 322 323 324 325 328 330 331 332 333 334 336 352 356 358 366 368 369 374 375 376 380 382 384 387 390 394 396 404 405 409 411 416 419 422 423 426 429 431 433 436 440 443 444 446 448 453 454 455 456 458 461 464 469 470 474 476 478 479 481 482 484 488 490 491 494 a 4 6 11 15 17 23 24 27 28 32 33 36 37 38 47 50 52 53 59 60 61 74 77 81 86 87 90 93 95 100 105 108 112 116 118 120 124 127 128 130 136 140 148 151 156 157 158 163 167 168 170 171 173 175 184 189 193 198 200 202 204 207 208 214 217 218 219 221 222 227 229 230 240 241 245 248 255 260 265 270 272 274 276 277 282 284 285 288 294 298 300 301 304 305 306 309 314 318 322 323 324 325 328 330 331 332 334 336 352 356 358 366 368 369 374 375 376 380 382 384 387 390 394 396 404 405 409 411 416 419 422 423 426 428 429 431 433 436 440 443 444 446 448 453 454 455 456 458 461 464 469 470 474 476 478 479 481 482 484 488 490 491 494 a 4 6 11 15 17 23 24 27 28 32 33 36 37 38 47 50 52 53 59 60 61 74 77 81 86 87 90 93 95 100 105 108 112 116 118 120 124 127 128 130 136 140 148 151 155 156 157 158 163 167 168 170 171 173 175 184 189 193 198 200 202 204 207 208 214 217 218 219 221 222 227 229 230 240 241 245 248 255 260 265 270 272 274 276 277 282 284 285 288 294 298 300 301 304 305 306 309 314 318 322 323 324 325 328 330 331 332 334 336 352 356 358 366 368 369 374 375 376 380 382 384 387 390 394 396 404 405 409 411 416 419 422 423 426 428 429 431 433 436 440 443 444 446 448 453 455 456 458 461 464 469 470 474 476 478 479 481 482 484 488 490 491 494 a 4 6 11 15 17 19 23 24 27 28 32 33 36 37 38 47 50 52 53 59 60 61 74 77 81 86 87 90 93 95 100 105 108 112 116 118 120 124 127 128 130 136 140 148 151 155 156 157 158 163 167 168 170 171 173 175 184 189 193 198 200 202 204 207 208 214 217 218 219 221 222 227 229 230 240 241 245 248 255 260 265 270 272 274 276 277 282 284 285 288 294 298 300 301 304 305 306 309 314 318 322 323 324 325 328 330 331 332 334 336 352 356 358 366 368 369 374 375 376 380 382 384 387 390 394 396 404 405 409 411 416 419 422 423 426 428 429 431 433 436 440 443 444 446 448 453 455 458 461 464 469 470 474 476 478 479 481 482 484 488 490 491 494 a 4 6 11 15 17 19 23 24 27 28 32 33 36 37 38 47 50 52 53 59 60 61 74 77 81 86 87 90 93 95 100 105 108 116 118 120 124 127 128 130 136 140 148 151 155 156 157 158 163 167 168 170 171 173 175 184 189 193 198 200 201 202 204 207 208 214 217 218 219 221 222 227 229 230 240 241 245 248 255 260 265 270 272 274 276 277 282 284 285 288 294 298 300 301 304 305 306 309 314 318 322 323 324 325 328 330 331 332 334 336 352 356 358 366 368 369 374 375 376 380 382 384 387 390 394 396 404 405 409 411 416 419 422 423 426 428 429 431 433 436 440 443 444 446 448 453 455 458 461 464 469 470 474 476 478 479 481 482 484 488 490 491 494 a 4 6 11 15 17 19 23 24 27 28 32 33 36 37 38 47 50 52 53 59 60 61 74 77 81 86 87 90 93 95 100 105 108 116 118 120 124 127 128 130 136 140 148 151 155 156 157 158 163 167 168 170 171 173 175 184 189 193 198 200 201 202 204 207 208 212 214 217 218 219 221 222 227 229 230 240 241 245 248 255 260 265 270 272 274 276 277 282 284 285 288 294 298 300 301 304 305 306 309 314 318 322 323 324 325 330 331 332 334 336 352 356 358 366 368 369 374 375 376 380 382 384 387 390 394 396 404 405 409 411 416 419 422 423 426 428 429 431 433 436 440 443 444 446 448 453 455 458 461 464 469 470 474 476 478 479 481 482 484 488 490 491 494 a 4 6 11 15 17 19 23 24 27 28 32 33 36 37 38 47 50 52 53 59 60 61 74 77 81 86 87 90 93 95 100 105 108 116 118 120 124 128 130 136 140 148 150 151 155 156 157 158 163 167 168 170 171 173 175 184 189 193 198 200 201 202 204 207 208 212 214 217 218 219 221 222 227 229 230 240 241 245 248 255 260 265 270 272 274 276 277 282 284 285 288 294 298 300 301 304 305 306 309 314 318 322 323 324 325 330 331 332 334 336 352 356 358 366 368 369 374 375 376 380 382 384 387 390 394 396 404 405 409 411 416 419 422 423 426 428 429 431 433 436 440 443 444 446 448 453 455 458 461 464 469 470 474 476 478 479 481 482 484 488 490 491 494 a 4 6 11 15 17 19 23 24 27 28 32 33 36 37 38 47 50 52 53 59 60 61 74 77 81 86 87 90 93 95 100 105 108 116 118 120 124 128 130 136 140 148 150 151 155 156 157 158 161 163 167 168 170 171 173 175 184 189 193 198 200 201 202 204 207 208 212 214 217 219 221 222 227 229 230 240 241 245 248 255 260 265 270 272 274 276 277 282 284 285 288 294 298 300 301 304 305 306 309 314 318 322 323 324 325 330 331 332 334 336 352 356 358 366 368 369 374 375 376 380 382 384 387 390 394 396 404 405 409 411 416 419 422 423 426 428 429 431 433 436 440 443 444 446 448 453 455 458 461 464 469 470 474 476 478 479 481 482 484 488 490 491 494 a 4 6 11 15 17 19 23 24 27 28 32 33 36 37 38 45 47 50 52 53 59 60 61 74 77 81 86 87 90 93 95 100 105 108 116 118 120 124 128 130 136 140 148 150 151 155 156 157 158 161 163 167 168 170 171 173 175 184 189 193 198 200 201 202 204 207 208 212 214 217 219 221 222 227 229 230 240 241 245 248 255 260 265 270 272 274 276 277 282 284 285 288 294 298 300 301 304 305 306 309 314 318 322 323 324 325 330 331 332 334 336 352 356 358 366 368 369 374 375 376 380 382 384 387 390 394 396 404 405 409 411 416 419 422 423 426 428 429 431 433 436 440 443 444 446 448 453 455 458 464 469 470 474 476 478 479 481 482 484 488 490 491 494 a 4 6 11 15 17 19 23 24 27 28 32 33 36 37 38 45 47 50 52 53 59 60 61 74 77 81 86 87 90 93 95 100 105 108 116 118 120 124 128 130 136 140 148 150 151 155 156 158 161 163 166 167 168 170 171 173 175 184 189 193 198 200 201 202 204 207 208 212 214 217 219 221 222 227 229 230 240 241 245 248 255 260 265 270 272 274 276 277 282 284 285 288 294 298 300 301 304 305 306 309 314 318 322 323 324 325 330 331 332 334 336 352 356 358 366 368 369 374 375 376 380 382 384 387 390 394 396 404 405 409 411 416 419 422 423 426 428 429 431 433 436 440 443 444 446 448 453 455 458 464 469 470 474 476 478 479 481 482 484 488 490 491 494 a 4 6 11 15 17 19 23 24 27 28 32 33 36 37 38 40 45 47 50 52 53 59 60 61 74 77 81 86 87 90 93 95 100 105 108 116 118 120 124 128 130 136 140 148 150 151 155 156 158 161 163 166 167 168 170 171 173 175 184 189 193 198 200 201 202 204 207 208 212 214 217 219 221 222 227 229 230 240 241 245 248 255 260 265 270 272 274 276 277 282 284 285 288 294 298 300 301 304 305 306 309 314 318 322 323 324 325 330 331 332 334 336 352 356 358 366 368 369 374 375 376 380 382 384 387 390 394 396 404 405 409 411 416 419 422 423 426 428 429 431 433 436 440 443 444 446 448 453 455 458 469 470 474 476 478 479 481 482 484 488 490 491 494 a 4 6 11 15 17 19 23 24 27 28 32 33 36 37 38 40 45 47 50 52 53 59 60 61 74 77 81 86 87 90 93 95 100 105 108 116 118 120 124 128 130 136 140 148 150 151 155 156 158 161 163 166 167 168 170 171 173 175 184 189 193 198 200 201 202 204 207 208 212 214 217 219 221 222 227 229 230 240 241 245 248 255 260 265 270 272 274 276 277 282 284 285 288 294 298 300 301 304 305 306 309 314 318 322 323 324 325 330 331 332 334 336 352 356 358 366 368 369 374 375 376 380 382 384 387 390 394 396 404 405 409 411 416 419 422 423 426 428 429 431 433 436 440 443 444 446 448 453 455 458 466 469 470 476 478 479 481 482 484 488 490 491 494 a 4 6 11 15 17 19 23 24 27 28 32 33 36 37 38 40 45 47 50 52 53 59 60 61 74 77 81 86 87 90 93 95 100 105 108 116 118 120 124 128 130 136 140 148 150 151 155 156 158 161 163 166 167 168 170 171 173 175 184 189 193 198 200 201 202 204 207 208 212 214 217 219 221 222 227 229 230 240 241 245 248 255 260 265 270 272 274 276 277 282 284 285 288 294 298 300 301 304 305 306 309 314 318 322 323 324 325 330 331 332 334 336 346 352 356 358 366 368 369 374 375 376 380 382 384 387 390 394 396 404 405 409 411 416 419 422 423 426 428 429 431 433 436 440 443 444 446 448 453 455 458 466 469 470 476 479 481 482 484 488 490 491 494 a 4 6 11 15 17 19 23 24 27 28 32 33 36 37 38 40 45 47 50 52 53 59 60 61 74 77 81 86 87 90 93 95 100 105 108 116 118 120 124 128 130 136 140 148 150 151 155 156 158 161 163 166 167 168 170 171 173 175 184 189 190 193 198 200 201 202 204 207 208 212 217 219 221 222 227 229 230 240 241 245 248 255 260 265 270 272 274 276 277 282 284 285 288 294 298 300 301 304 305 306 309 314 318 322 323 324 325 330 331 332 334 336 346 352 356 358 366 368 369 374 375 376 380 382 384 387 390 394 396 404 405 409 411 416 419 422 423 426 428 429 431 433 436 440 443 444 446 448 453 455 458 466 469 470 476 479 481 482 484 488 490 491 494 a 4 6 11 15 17 19 23 24 27 28 32 33 36 37 38 40 45 47 50 52 53 59 60 61 74 77 81 86 87 90 93 95 100 105 108 116 118 120 124 128 130 136 140 148 150 151 155 156 158 161 163 166 167 168 170 171 173 175 184 189 190 193 198 200 201 202 204 207 208 212 217 219 221 222 229 230 240 241 245 248 255 260 265 270 272 274 276 277 282 284 285 288 294 298 300 301 304 305 306 309 314 318 322 323 324 325 330 331 332 334 335 336 346 352 356 358 366 368 369 374 375 376 380 382 384 387 390 394 396 404 405 409 411 416 419 422 423 426 428 429 431 433 436 440 443 444 446 448 453 455 458 466 469 470 476 479 481 482 484 488 490 491 494 a 4 6 11 15 17 19 23 24 27 28 32 33 36 37 38 40 45 47 50 52 53 59 60 61 74 77 81 86 87 90 93 95 100 105 108 116 118 120 124 128 130 136 140 148 150 151 155 156 158 161 163 166 167 168 170 171 173 175 184 189 190 193 198 200 201 202 204 207 208 212 217 219 221 222 229 230 240 241 245 248 255 260 261 265 270 272 274 276 277 282 284 285 288 294 298 300 301 304 305 309 314 318 322 323 324 325 330 331 332 334 335 336 346 352 356 358 366 368 369 374 375 376 380 382 384 387 390 394 396 404 405 409 411 416 419 422 423 426 428 429 431 433 436 440 443 444 446 448 453 455 458 466 469 470 476 479 481 482 484 488 490 491 494 a 4 6 11 15 17 19 23 24 27 28 32 33 36 37 38 40 45 47 50 52 53 59 60 61 74 77 81 86 87 90 93 95 100 105 108 116 118 120 124 128 130 136 140 148 150 151 155 156 158 161 163 166 167 168 170 171 173 175 184 189 190 193 198 200 201 202 204 207 208 212 217 219 221 222 229 230 240 241 242 245 248 255 260 261 265 270 272 274 276 277 282 284 285 288 294 298 300 301 304 305 309 314 318 322 323 324 325 330 331 332 334 335 336 346 352 356 358 366 368 369 374 375 376 380 382 384 387 390 394 396 404 405 409 411 416 419 422 423 426 428 429 431 433 436 440 443 444 446 448 453 455 458 466 469 470 476 481 482 484 488 490 491 494 a 4 6 11 15 17 19 23 24 27 28 32 33 36 37 38 40 45 47 50 52 53 59 60 61 74 77 81 86 87 90 93 95 100 105 108 116 118 120 124 128 130 136 140 148 150 151 155 156 158 161 163 166 167 168 170 171 173 175 184 189 190 193 198 200 201 202 204 207 208 212 217 219 221 222 229 230 240 241 242 245 248 255 260 261 265 270 272 274 276 277 282 284 285 288 294 298 300 301 304 305 309 314 318 322 323 324 325 330 331 332 334 335 336 346 352 353 356 358 366 368 369 374 375 376 380 382 384 387 390 394 396 404 405 409 411 416 422 423 426 428 429 431 433 436 440 443 444 446 448 453 455 458 466 469 470 476 481 482 484 488 490 491 494 a 4 6 11 15 17 19 23 24 27 28 32 33 36 37 38 40 45 47 50 52 53 59 60 61 74 77 81 86 87 90 93 95 100 105 108 116 118 120 124 128 130 136 140 148 150 151 155 156 158 161 163 166 167 168 170 171 173 175 184 189 190 193 198 200 201 202 204 207 208 212 217 219 221 222 229 230 240 241 242 245 248 255 260 261 265 270 272 274 276 277 282 284 285 288 294 298 300 301 304 305 309 314 318 322 323 324 325 330 331 332 334 335 336 339 346 352 353 356 358 366 368 369 374 375 376 380 382 384 387 390 394 396 404 405 409 411 416 422 423 426 428 429 431 433 436 440 443 444 446 448 453 455 458 466 469 470 476 482 484 488 490 491 494 a 4 6 11 15 17 19 23 24 27 28 32 33 36 37 38 40 45 47 50 52 53 59 60 61 74 77 81 86 87 90 93 95 100 105 108 116 118 120 124 128 130 136 140 148 150 151 155 156 158 161 163 166 167 168 170 171 173 175 184 189 190 193 198 200 201 202 204 207 208 212 217 219 221 222 229 230 240 241 242 245 248 255 260 261 265 270 272 274 276 277 282 284 285 288 294 298 300 301 304 305 309 314 318 322 323 324 325 330 331 332 334 335 336 339 346 352 353 356 358 366 368 369 374 375 376 380 382 384 387 390 394 396 404 405 408 409 411 416 422 423 426 428 429 431 433 436 440 443 444 448 453 455 458 466 469 470 476 482 484 488 490 491 494 a 4 6 11 15 17 19 23 24 27 28 32 33 36 37 38 40 45 47 50 52 53 59 60 61 74 77 81 86 87 90 93 95 100 105 108 116 118 120 124 128 130 136 140 148 150 151 155 156 158 161 163 166 167 168 170 171 173 175 184 189 190 193 198 200 201 202 204 207 208 212 217 219 221 222 229 230 240 241 242 245 248 255 260 261 265 270 272 274 277 282 284 285 288 294 298 300 301 304 305 309 314 318 322 323 324 325 330 331 332 334 335 336 339 346 352 353 356 358 366 368 369 374 375 376 377 380 382 384 387 390 394 396 404 405 408 409 411 416 422 423 426 428 429 431 433 436 440 443 444 448 453 455 458 466 469 470 476 482 484 488 490 491 494 a 4 5 6 11 15 17 19 23 24 27 28 32 33 36 37 38 40 45 47 50 52 53 59 60 61 74 77 81 86 87 90 93 95 100 105 108 116 118 120 124 128 130 136 140 148 150 151 155 156 158 161 163 166 167 168 170 171 173 175 184 189 190 193 198 200 201 202 204 207 208 212 217 219 221 222 229 230 240 241 242 245 248 255 260 261 265 270 272 274 277 282 284 285 288 294 298 300 301 304 305 309 314 318 322 323 324 325 330 331 332 334 335 336 339 346 352 353 356 358 366 368 369 374 375 376 377 380 382 384 387 390 394 396 404 405 408 409 411 416 422 423 426 428 429 431 433 436 440 443 444 448 453 455 458 466 469 470 476 484 488 490 491 494 a 4 5 6 11 15 17 19 23 24 27 28 32 33 36 37 38 40 45 47 50 52 53 59 60 61 74 77 81 86 87 90 93 95 100 105 108 116 118 120 124 128 130 136 140 148 150 151 155 156 158 161 163 166 167 168 170 171 173 175 184 189 190 193 198 200 201 202 204 207 208 212 217 219 221 222 228 230 240 241 242 245 248 255 260 261 265 270 272 274 277 282 284 285 288 294 298 300 301 304 305 309 314 318 322 323 324 325 330 331 332 334 335 336 339 346 352 353 356 358 366 368 369 374 375 376 377 380 382 384 387 390 394 396 404 405 408 409 411 416 422 423 426 428 429 431 433 436 440 443 444 448 453 455 458 466 469 470 476 484 488 490 491 494 a 4 5 6 11 15 17 19 23 24 27 28 32 33 36 37 38 40 45 47 50 52 53 59 60 61 74 77 81 86 87 90 93 95 100 105 108 116 118 120 124 128 130 132 136 140 148 150 151 155 156 158 161 163 166 167 168 170 171 173 175 184 189 190 193 198 200 201 202 204 207 208 212 217 219 221 222 228 230 240 241 242 245 248 255 260 261 265 270 272 274 277 282 284 285 288 294 298 300 301 304 305 309 314 318 322 323 324 325 330 331 332 334 335 336 339 346 352 353 356 358 366 368 369 374 375 376 377 380 382 384 387 390 394 396 404 405 408 409 411 416 422 423 426 428 431 433 436 440 443 444 448 453 455 458 466 469 470 476 484 488 490 491 494 a 4 5 6 11 15 17 19 23 24 27 28 32 33 36 37 38 40 45 47 50 52 53 59 60 61 74 77 81 86 87 90 93 95 100 105 108 116 118 120 124 128 130 132 134 136 140 148 150 151 155 156 158 161 163 166 167 168 170 171 173 175 184 189 190 193 198 200 201 202 204 207 208 212 217 219 221 222 228 230 240 241 242 245 248 255 260 261 265 270 272 274 277 282 284 285 288 294 298 300 301 304 305 309 314 318 322 323 324 325 330 331 332 334 335 336 339 346 352 353 356 358 366 368 369 374 375 376 377 380 382 384 387 390 394 396 404 405 408 409 411 416 422 423 426 428 431 433 436 440 443 444 448 453 455 458 466 469 470 476 484 490 491 494 a 4 5 6 11 15 17 19 23 24 27 28 32 33 36 37 38 40 45 47 50 52 53 59 60 61 74 77 81 86 87 90 93 95 100 105 108 116 118 120 124 128 130 132 134 136 140 148 150 151 155 156 158 161 163 166 167 168 170 171 173 175 184 187 189 190 193 198 200 201 202 204 207 208 212 217 219 221 222 228 230 240 241 242 245 248 255 260 261 265 270 272 274 277 282 284 285 288 294 298 300 301 304 305 309 314 318 322 323 324 325 330 331 332 334 335 336 339 346 352 353 356 358 366 368 369 374 375 376 377 380 382 384 387 390 394 396 404 405 408 409 411 416 422 423 426 428 431 433 436 440 443 444 448 453 455 458 466 469 470 476 484 490 494 a 4 5 6 11 15 17 19 23 24 27 28 32 33 36 37 38 40 45 47 50 52 53 59 60 61 74 77 81 86 87 90 93 95 100 105 108 116 118 120 124 128 130 132 134 136 140 148 150 151 155 156 158 161 163 166 167 168 170 171 173 175 184 187 189 190 193 198 200 201 202 204 207 208 212 217 219 221 222 228 240 241 242 245 248 255 260 261 265 270 272 274 277 282 284 285 288 294 298 300 301 304 305 309 314 318 322 323 324 325 330 331 332 334 335 336 339 346 352 353 356 358 366 368 369 374 375 376 377 380 382 384 387 390 394 396 404 405 408 409 411 412 416 422 423 426 428 431 433 436 440 443 444 448 453 455 458 466 469 470 476 484 490 494 a 1 4 5 6 11 15 17 19 23 24 27 28 32 33 36 37 38 40 45 47 50 52 53 59 60 61 74 77 81 86 87 90 93 95 100 105 108 116 118 120 124 128 130 132 134 136 140 148 150 151 155 156 158 161 163 166 167 168 170 171 173 175 184 187 189 190 193 198 200 201 202 204 207 208 212 217 219 221 222 228 240 241 242 245 248 255 260 261 265 270 272 274 277 284 285 288 294 298 300 301 304 305 309 314 318 322 323 324 325 330 331 332 334 335 336 339 346 352 353 356 358 366 368 369 374 375 376 377 380 382 384 387 390 394 396 404 405 408 409 411 412 416 422 423 426 428 431 433 436 440 443 444 448 453 455 458 466 469 470 476 484 490 494 Command being timed: "/solvers/driver/run.py --config=shortest-portfolio --memory-limit=54 --time-limit=1800 /benchmark/random_instance/random_instance038_graph003.col /benchmark/random_instance/random_instance038_graph003_01.dat" User time (seconds): 3468.30 System time (seconds): 12.15 Percent of CPU this job got: 200% Elapsed (wall clock) time (h:mm:ss or m:ss): 28:59.72 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): 25585728 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 7889873 Voluntary context switches: 68610 Involuntary context switches: 7757 Swaps: 0 File system inputs: 0 File system outputs: 808 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Sat Sep 9 15:15:23 2023]