#BEGIN: [Mon Sep 4 15:10:48 2023] #HOST: s04 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: shortest-wallclock-banbaralab2-shortest2 #INSTANCE1: /benchmark/random_instance/random_instance039_graph005.col #INSTANCE2: /benchmark/random_instance/random_instance039_graph005_01.dat #COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab2 --shortest -t4 /benchmark/random_instance/random_instance039_graph005.col /benchmark/random_instance/random_instance039_graph005_01.dat c /benchmark/random_instance/random_instance039_graph005.col c /benchmark/random_instance/random_instance039_graph005_01.dat s 259 271 285 35 289 175 219 430 279 444 154 101 411 464 245 452 264 360 51 126 492 165 421 365 135 98 81 134 11 176 40 91 61 106 244 322 110 125 232 71 169 282 261 462 362 121 424 151 143 466 373 75 8 370 491 46 286 475 17 347 37 498 281 367 262 348 301 182 317 358 479 456 291 167 368 105 315 442 76 115 16 497 218 470 226 28 418 458 146 156 325 460 378 12 332 19 87 267 482 26 349 359 68 7 142 276 45 50 447 306 443 307 208 473 507 48 70 247 107 420 248 171 201 41 153 233 369 152 220 363 381 221 213 39 342 505 453 14 407 127 494 118 193 481 287 408 305 170 275 88 207 141 32 73 77 97 296 187 288 339 428 476 403 20 181 t 59 182 141 500 186 262 110 321 357 502 187 307 220 405 14 202 507 353 53 112 160 19 254 367 309 287 499 37 23 337 368 106 318 246 39 69 391 9 271 87 448 316 67 441 458 50 284 462 268 170 118 222 132 491 436 283 203 8 40 245 482 165 417 175 177 154 404 384 219 359 459 301 56 119 257 371 58 428 354 166 169 210 446 49 244 408 60 389 120 267 12 25 475 425 308 339 322 247 451 161 276 292 332 115 146 131 75 54 250 171 429 57 158 440 126 233 229 366 228 190 317 77 125 138 129 238 85 358 137 382 24 207 443 291 148 363 243 378 275 200 180 226 127 82 402 102 79 152 213 387 26 396 88 349 172 298 474 201 35 32 221 93 142 480 256 a YES a 7 8 11 12 14 16 17 19 20 26 28 32 35 37 39 40 41 45 46 48 50 51 61 68 70 71 73 75 76 77 81 87 88 91 97 98 101 105 106 107 110 115 118 121 125 126 127 134 135 141 142 143 146 151 152 153 154 156 165 167 169 170 171 175 176 181 182 187 193 201 207 208 213 218 219 220 221 226 232 233 244 245 247 248 259 261 262 264 267 271 275 276 279 281 282 285 286 287 288 289 291 296 301 305 306 307 315 317 322 325 332 339 342 347 348 349 358 359 360 362 363 365 367 368 369 370 373 378 381 403 407 408 411 418 420 421 424 428 430 442 443 444 447 452 453 456 458 460 462 464 466 470 473 475 476 479 481 482 491 492 494 497 498 505 507 a 7 8 11 12 14 16 17 19 20 26 28 32 35 37 39 40 41 45 46 48 50 51 61 68 70 71 73 75 76 77 81 87 88 91 97 98 101 105 106 107 110 115 118 121 125 126 127 134 135 141 142 143 146 151 152 153 154 156 165 167 169 170 171 175 176 181 182 187 193 201 207 208 213 218 219 220 221 226 232 233 244 245 247 248 259 261 262 264 267 271 275 276 279 281 282 285 286 287 288 289 291 296 301 305 306 307 315 317 322 325 332 339 342 347 348 349 358 359 360 362 363 365 367 368 369 370 373 378 381 403 407 408 411 418 420 421 424 428 430 442 443 444 447 452 453 456 458 460 462 464 466 470 473 474 475 476 479 482 491 492 494 497 498 505 507 a 7 8 9 11 12 14 16 17 19 20 26 28 32 35 37 39 40 41 45 46 48 50 51 61 68 70 71 73 75 76 77 81 87 88 91 97 98 101 105 106 107 110 115 118 121 125 126 127 134 135 141 142 143 146 151 152 153 154 156 165 167 169 170 171 175 181 182 187 193 201 207 208 213 218 219 220 221 226 232 233 244 245 247 248 259 261 262 264 267 271 275 276 279 281 282 285 286 287 288 289 291 296 301 305 306 307 315 317 322 325 332 339 342 347 348 349 358 359 360 362 363 365 367 368 369 370 373 378 381 403 407 408 411 418 420 421 424 428 430 442 443 444 447 452 453 456 458 460 462 464 466 470 473 474 475 476 479 482 491 492 494 497 498 505 507 a 7 8 9 11 12 14 16 17 19 20 26 28 32 35 37 39 40 41 45 48 50 51 61 68 70 71 73 75 76 77 81 87 88 91 97 98 101 105 106 107 110 115 118 121 125 126 127 134 135 141 142 143 146 151 152 153 154 156 165 167 169 170 171 175 181 182 187 193 201 207 208 213 218 219 220 221 226 232 233 244 245 247 248 259 261 262 264 267 271 275 276 279 281 282 285 286 287 288 289 291 296 301 305 306 307 315 317 322 325 332 339 342 347 348 349 358 359 360 362 363 365 367 368 369 370 373 378 381 403 405 407 408 411 418 420 421 424 428 430 442 443 444 447 452 453 456 458 460 462 464 466 470 473 474 475 476 479 482 491 492 494 497 498 505 507 a 7 8 9 11 12 14 16 17 19 20 26 28 32 35 37 39 40 41 45 48 50 51 61 68 70 71 73 75 76 77 81 87 88 91 97 98 101 105 106 107 110 115 118 121 125 126 127 134 135 141 142 143 146 151 152 153 154 156 165 169 170 171 175 181 182 187 193 201 207 208 213 218 219 220 221 226 232 233 244 245 247 248 259 261 262 264 267 271 275 276 279 281 282 285 286 287 288 289 291 296 301 305 306 307 315 317 322 325 332 339 342 347 348 349 358 359 360 362 363 365 367 368 369 370 373 378 381 403 405 407 408 411 418 420 421 424 428 430 436 442 443 444 447 452 453 456 458 460 462 464 466 470 473 474 475 476 479 482 491 492 494 497 498 505 507 a 7 8 9 11 12 14 16 17 19 20 26 28 32 35 37 39 40 41 45 48 50 51 53 61 68 70 71 73 75 76 77 81 87 88 91 97 98 101 105 106 107 110 115 118 121 125 126 127 134 135 141 142 143 146 151 152 153 154 156 165 169 170 171 175 181 182 187 193 201 207 208 213 218 219 220 221 226 232 233 244 245 247 248 259 261 262 264 267 271 275 276 279 281 282 285 286 287 288 289 291 296 301 305 306 307 315 317 322 325 332 339 342 347 348 349 358 359 360 362 363 365 367 368 369 370 373 378 381 403 405 407 408 411 418 420 421 424 428 430 436 442 443 444 447 452 453 456 458 460 462 464 466 470 473 474 475 476 479 482 491 492 494 497 498 507 a 7 8 9 11 12 14 16 17 19 20 26 28 32 35 37 39 40 41 45 48 50 51 53 61 68 70 71 73 75 76 77 81 87 88 91 97 98 101 105 106 107 110 115 118 121 125 126 127 134 135 141 142 143 146 148 151 152 153 154 156 165 169 170 171 175 181 182 187 193 201 207 208 213 218 219 220 221 226 232 233 244 245 247 248 259 261 262 264 267 271 275 276 279 281 282 285 286 287 288 289 291 296 301 305 306 307 315 317 322 325 332 339 342 347 348 349 358 359 360 362 363 365 367 368 370 373 378 381 403 405 407 408 411 418 420 421 424 428 430 436 442 443 444 447 452 453 456 458 460 462 464 466 470 473 474 475 476 479 482 491 492 494 497 498 507 a 7 8 9 11 12 14 16 17 19 20 26 28 32 35 37 39 40 41 45 48 50 51 53 61 68 70 71 73 75 76 77 81 87 88 91 97 98 101 105 106 107 110 115 118 119 121 125 126 127 134 135 141 142 143 146 148 151 152 153 154 156 165 169 170 171 175 181 182 187 193 201 207 208 213 218 219 220 221 226 232 233 244 245 247 248 259 261 262 264 267 271 275 276 279 281 282 285 286 287 288 289 291 296 301 305 306 307 315 317 322 332 339 342 347 348 349 358 359 360 362 363 365 367 368 370 373 378 381 403 405 407 408 411 418 420 421 424 428 430 436 442 443 444 447 452 453 456 458 460 462 464 466 470 473 474 475 476 479 482 491 492 494 497 498 507 a 7 8 9 11 12 14 16 17 19 20 26 28 32 35 37 39 40 41 45 48 50 51 53 61 68 70 71 73 75 76 77 81 87 88 91 97 98 101 105 106 107 110 115 118 119 121 125 126 127 134 135 141 142 143 146 148 151 152 153 154 156 165 169 170 171 175 181 182 187 190 193 201 207 208 213 218 219 220 221 226 232 233 244 245 247 248 259 261 262 264 267 271 275 276 279 282 285 286 287 288 289 291 296 301 305 306 307 315 317 322 332 339 342 347 348 349 358 359 360 362 363 365 367 368 370 373 378 381 403 405 407 408 411 418 420 421 424 428 430 436 442 443 444 447 452 453 456 458 460 462 464 466 470 473 474 475 476 479 482 491 492 494 497 498 507 a 7 8 9 11 12 14 16 17 19 20 26 28 32 35 37 39 40 41 45 48 50 51 53 61 68 70 71 73 75 76 77 81 87 88 91 97 98 101 105 106 107 110 115 118 119 121 125 126 127 132 134 135 141 142 143 146 148 151 152 153 154 156 165 169 170 171 175 181 182 187 190 193 201 207 208 213 218 219 220 221 226 232 233 244 245 247 248 259 261 262 264 267 271 275 276 279 282 285 286 287 288 289 291 296 301 305 306 307 315 317 322 332 339 342 347 348 349 358 359 360 362 363 365 367 368 370 373 378 381 403 405 407 408 411 418 420 421 424 428 430 436 443 444 447 452 453 456 458 460 462 464 466 470 473 474 475 476 479 482 491 492 494 497 498 507 a 7 8 9 11 12 14 16 17 19 20 26 28 32 35 37 39 40 41 45 48 50 51 53 61 68 70 71 73 75 76 77 81 87 88 91 97 98 101 105 106 107 110 115 118 119 121 125 126 127 132 134 135 141 142 143 146 148 151 152 153 154 156 165 169 170 171 175 181 182 187 190 193 201 207 208 213 218 219 220 221 226 232 233 244 245 247 248 259 261 262 264 267 271 275 276 279 282 285 286 287 288 289 291 296 301 305 306 307 315 317 322 332 339 342 347 348 349 358 359 360 362 363 365 367 368 370 373 378 381 403 405 407 408 411 418 420 421 424 428 430 436 443 444 446 447 452 453 456 458 460 462 464 466 470 474 475 476 479 482 491 492 494 497 498 507 a 7 8 9 11 12 14 16 17 19 20 26 28 32 35 37 39 40 41 45 48 50 51 53 60 61 68 70 71 73 75 76 77 81 87 88 91 97 98 101 105 106 107 110 115 118 119 121 125 126 127 132 134 135 141 142 143 146 148 151 152 153 154 156 165 169 170 171 175 181 182 187 190 193 201 207 208 213 219 220 221 226 232 233 244 245 247 248 259 261 262 264 267 271 275 276 279 282 285 286 287 288 289 291 296 301 305 306 307 315 317 322 332 339 342 347 348 349 358 359 360 362 363 365 367 368 370 373 378 381 403 405 407 408 411 418 420 421 424 428 430 436 443 444 446 447 452 453 456 458 460 462 464 466 470 474 475 476 479 482 491 492 494 497 498 507 a 7 8 9 11 12 14 16 17 19 20 26 28 32 35 37 39 40 41 45 48 50 51 53 60 61 68 70 71 73 75 76 77 81 87 88 91 97 98 101 105 106 107 110 115 118 119 121 125 126 127 132 134 135 141 142 143 146 148 151 152 153 154 156 165 169 170 171 175 181 182 187 190 193 201 207 208 213 219 220 221 226 232 233 244 245 247 248 259 261 262 264 267 271 275 276 279 282 285 286 287 288 289 291 296 301 305 306 307 315 317 322 332 339 342 347 348 349 358 359 360 362 363 365 367 368 370 373 378 381 402 403 405 407 408 411 418 421 424 428 430 436 443 444 446 447 452 453 456 458 460 462 464 466 470 474 475 476 479 482 491 492 494 497 498 507 a 7 8 9 11 12 14 16 17 19 20 26 28 32 35 37 39 40 41 45 48 50 51 53 60 61 68 70 71 73 75 76 77 81 87 88 91 97 98 105 106 107 110 115 118 119 121 125 126 127 132 134 135 141 142 143 146 148 151 152 153 154 156 165 169 170 171 175 181 182 187 190 193 201 207 208 213 219 220 221 226 232 233 244 245 247 248 257 259 261 262 264 267 271 275 276 279 282 285 286 287 288 289 291 296 301 305 306 307 315 317 322 332 339 342 347 348 349 358 359 360 362 363 365 367 368 370 373 378 381 402 403 405 407 408 411 418 421 424 428 430 436 443 444 446 447 452 453 456 458 460 462 464 466 470 474 475 476 479 482 491 492 494 497 498 507 a 7 8 9 11 12 14 16 17 19 20 26 28 32 35 37 39 40 41 45 48 50 51 53 60 61 68 70 71 73 75 76 77 81 87 88 91 93 97 98 105 106 107 110 115 118 119 121 125 126 127 132 134 135 141 142 143 146 148 151 152 153 154 156 165 169 170 171 175 181 182 187 190 193 201 207 208 213 219 220 221 226 232 233 244 245 247 248 257 259 261 262 264 267 271 275 276 279 282 285 286 287 288 289 291 296 301 305 307 315 317 322 332 339 342 347 348 349 358 359 360 362 363 365 367 368 370 373 378 381 402 403 405 407 408 411 418 421 424 428 430 436 443 444 446 447 452 453 456 458 460 462 464 466 470 474 475 476 479 482 491 492 494 497 498 507 a 7 8 9 11 12 14 16 17 19 20 26 28 32 35 37 39 40 41 45 48 50 51 53 60 61 68 70 71 73 75 76 77 81 87 88 91 93 97 98 105 106 107 110 115 118 119 121 125 126 127 132 134 135 141 142 143 146 148 151 152 153 154 156 165 169 170 171 175 181 182 187 190 193 201 207 208 213 219 220 221 226 232 233 244 245 247 248 257 259 261 262 264 267 271 275 276 279 282 285 286 287 288 289 291 296 301 305 307 315 317 322 332 339 342 347 348 349 354 358 359 360 362 363 365 367 368 370 373 378 381 402 403 405 407 408 411 418 421 424 428 430 436 443 444 446 447 452 456 458 460 462 464 466 470 474 475 476 479 482 491 492 494 497 498 507 a 7 8 9 11 12 14 17 19 20 25 26 28 32 35 37 39 40 41 45 48 50 51 53 60 61 68 70 71 73 75 76 77 81 87 88 91 93 97 98 105 106 107 110 115 118 119 121 125 126 127 132 134 135 141 142 143 146 148 151 152 153 154 156 165 169 170 171 175 181 182 187 190 193 201 207 208 213 219 220 221 226 232 233 244 245 247 248 257 259 261 262 264 267 271 275 276 279 282 285 286 287 288 289 291 296 301 305 307 315 317 322 332 339 342 347 348 349 354 358 359 360 362 363 365 367 368 370 373 378 381 402 403 405 407 408 411 418 421 424 428 430 436 443 444 446 447 452 456 458 460 462 464 466 470 474 475 476 479 482 491 492 494 497 498 507 a 7 8 9 11 12 14 17 19 20 25 26 28 32 35 37 39 40 41 45 48 49 50 51 53 60 61 68 70 71 73 75 76 77 81 87 88 91 93 97 98 105 106 107 110 115 118 119 121 125 126 127 132 134 135 141 142 143 146 148 151 152 153 154 156 165 169 170 171 175 181 182 187 190 193 201 207 208 213 219 220 221 226 232 233 244 245 247 248 257 259 261 262 264 267 271 275 276 279 282 285 286 287 288 289 291 296 301 305 307 315 317 322 332 339 342 347 348 349 354 358 359 360 362 363 365 367 368 370 373 378 381 402 403 405 407 408 411 418 421 424 428 430 436 443 446 447 452 456 458 460 462 464 466 470 474 475 476 479 482 491 492 494 497 498 507 a 7 8 9 11 12 14 17 19 20 25 26 28 32 35 37 39 40 41 45 48 49 50 51 53 60 61 68 70 71 73 75 76 77 81 87 88 91 93 97 98 105 106 107 110 115 118 119 121 125 126 127 132 134 135 141 142 143 146 148 151 152 153 154 156 165 169 170 171 175 181 182 187 190 193 201 207 208 213 219 220 221 226 232 233 244 245 247 248 257 259 261 262 264 267 271 275 276 279 282 285 287 288 289 291 296 301 305 307 315 317 322 332 339 342 347 348 349 354 358 359 360 362 363 365 367 368 370 373 378 381 402 403 405 407 408 411 418 421 424 428 429 430 436 443 446 447 452 456 458 460 462 464 466 470 474 475 476 479 482 491 492 494 497 498 507 a 7 8 9 11 12 14 17 19 20 25 26 28 32 35 37 39 40 41 45 48 49 50 51 53 54 60 61 68 70 71 73 75 76 77 81 87 88 91 93 97 98 105 106 107 110 115 118 119 121 125 126 127 132 134 135 141 142 143 146 148 151 152 153 154 156 165 169 170 171 175 181 182 187 190 193 201 207 208 213 219 220 221 226 232 233 244 245 247 248 257 259 261 262 264 267 271 275 276 279 282 285 287 288 289 291 296 301 305 307 315 317 322 332 339 342 347 348 349 354 358 359 360 362 363 365 367 368 370 373 378 381 402 403 405 407 408 411 418 421 424 428 429 430 436 443 446 452 456 458 460 462 464 466 470 474 475 476 479 482 491 492 494 497 498 507 a 7 8 9 11 12 14 17 19 20 25 26 28 32 35 37 39 40 41 45 48 49 50 51 53 54 60 61 68 70 71 73 75 76 77 81 87 88 91 93 97 98 105 106 107 110 115 118 119 121 125 126 127 132 134 135 141 142 143 146 148 151 152 153 154 156 165 169 170 171 175 181 182 187 190 193 201 207 208 213 219 220 221 226 232 233 244 245 247 248 257 259 261 262 264 267 271 275 276 279 282 285 287 288 289 291 296 301 305 307 315 317 322 332 339 342 347 348 349 354 358 359 360 362 363 365 367 368 370 373 378 381 389 402 403 405 407 408 411 418 421 424 428 429 430 436 443 446 452 456 458 460 462 464 466 470 474 475 476 479 482 491 492 494 498 507 a 7 8 9 11 12 14 17 19 20 25 26 28 32 35 37 39 40 41 45 48 49 50 51 53 54 60 61 68 70 71 73 75 76 77 79 81 87 88 91 93 97 98 105 106 107 110 115 118 119 121 125 126 127 132 134 135 141 142 146 148 151 152 153 154 156 165 169 170 171 175 181 182 187 190 193 201 207 208 213 219 220 221 226 232 233 244 245 247 248 257 259 261 262 264 267 271 275 276 279 282 285 287 288 289 291 296 301 305 307 315 317 322 332 339 342 347 348 349 354 358 359 360 362 363 365 367 368 370 373 378 381 389 402 403 405 407 408 411 418 421 424 428 429 430 436 443 446 452 456 458 460 462 464 466 470 474 475 476 479 482 491 492 494 498 507 a 7 8 9 11 12 14 17 19 20 25 26 28 32 35 37 39 40 41 45 48 49 50 51 53 54 60 61 68 70 71 73 75 76 77 79 81 87 88 91 93 97 98 105 106 107 110 115 118 119 121 125 126 127 132 134 135 141 142 146 148 151 152 153 154 156 165 169 170 171 175 181 182 187 190 193 201 207 208 213 219 220 221 226 232 233 244 245 247 248 257 259 261 262 264 267 271 275 276 279 282 285 287 288 289 291 296 301 305 307 315 317 322 332 339 342 347 348 349 354 358 359 360 362 363 365 367 368 370 373 378 381 389 402 403 405 407 408 411 418 421 424 428 429 430 436 443 446 452 456 458 460 462 464 466 470 474 475 476 479 482 491 492 494 499 507 a 7 8 9 11 12 14 17 19 25 26 28 32 35 37 39 40 41 45 48 49 50 51 53 54 60 61 68 70 71 73 75 76 77 79 81 87 88 91 93 97 98 105 106 107 110 115 118 119 121 125 126 127 132 134 135 141 142 146 148 151 152 153 154 156 165 169 170 171 175 181 182 187 190 193 201 207 208 213 219 220 221 226 232 233 244 245 247 248 257 259 261 262 264 267 271 275 276 279 282 284 285 287 288 289 291 296 301 305 307 315 317 322 332 339 342 347 348 349 354 358 359 360 362 363 365 367 368 370 373 378 381 389 402 403 405 407 408 411 418 421 424 428 429 430 436 443 446 452 456 458 460 462 464 466 470 474 475 476 479 482 491 492 494 499 507 a 7 8 9 11 12 14 17 19 25 26 28 32 35 37 39 40 41 45 48 49 50 51 53 54 60 61 68 70 71 73 75 76 77 79 81 87 88 91 93 97 98 105 106 107 110 115 118 119 121 125 126 127 132 134 135 141 142 146 148 151 152 153 154 156 165 169 170 171 175 181 182 187 190 193 201 207 208 213 219 220 221 226 232 233 244 245 247 248 257 259 261 262 264 267 271 275 276 279 282 284 285 287 288 289 291 296 301 305 307 315 317 322 332 339 342 347 348 349 354 358 359 360 362 363 365 367 368 370 373 378 381 389 402 403 405 407 408 417 418 421 424 428 429 430 436 443 446 452 456 458 460 462 464 466 470 474 475 476 479 482 491 492 494 499 507 a 7 8 9 11 12 14 17 19 25 26 28 32 35 37 39 40 41 45 48 49 50 51 53 54 60 61 68 70 71 73 75 76 77 79 81 87 88 91 93 97 98 105 106 107 110 115 118 119 121 125 126 127 132 134 135 141 142 146 148 151 152 153 154 156 165 169 170 171 175 181 182 187 190 193 201 207 208 213 219 220 221 226 232 233 244 245 247 248 257 259 261 262 264 267 271 275 276 279 282 284 285 287 288 289 291 296 301 305 307 315 317 322 332 339 342 347 348 349 354 358 359 360 362 363 365 366 367 368 370 373 378 381 389 402 403 405 407 408 417 418 421 424 428 429 436 443 446 452 456 458 460 462 464 466 470 474 475 476 479 482 491 492 494 499 507 a 7 8 9 11 12 14 17 19 25 26 28 32 35 37 39 40 41 45 48 49 50 51 53 54 60 61 68 70 71 73 75 76 77 79 81 87 88 91 93 97 98 105 106 107 110 115 118 119 121 125 126 127 132 134 135 141 142 146 148 151 152 153 154 156 165 169 170 171 175 181 182 187 190 193 201 207 208 213 219 220 221 226 232 233 244 245 247 248 257 259 261 262 264 267 271 275 276 279 282 284 285 287 288 289 291 296 301 305 307 315 317 322 332 339 342 347 348 349 354 358 359 360 362 363 365 366 367 368 373 378 381 389 396 402 403 405 407 408 417 418 421 424 428 429 436 443 446 452 456 458 460 462 464 466 470 474 475 476 479 482 491 492 494 499 507 a 7 8 9 11 12 14 17 19 25 26 28 32 35 37 39 40 41 45 48 49 50 51 53 54 57 60 61 68 70 71 73 75 76 77 79 81 87 88 91 93 97 98 105 106 107 110 115 118 119 121 125 126 127 132 134 135 141 142 146 148 151 152 153 154 156 165 169 170 171 175 181 182 187 190 193 201 207 213 219 220 221 226 232 233 244 245 247 248 257 259 261 262 264 267 271 275 276 279 282 284 285 287 288 289 291 296 301 305 307 315 317 322 332 339 342 347 348 349 354 358 359 360 362 363 365 366 367 368 373 378 381 389 396 402 403 405 407 408 417 418 421 424 428 429 436 443 446 452 456 458 460 462 464 466 470 474 475 476 479 482 491 492 494 499 507 a 7 8 9 11 12 14 17 19 25 26 28 32 35 37 39 40 41 45 48 49 50 51 53 54 57 60 61 68 70 71 73 75 76 77 79 81 87 88 91 93 97 98 105 106 107 110 115 118 119 121 125 126 127 132 134 135 141 142 146 148 151 152 153 154 156 161 165 169 170 171 175 181 182 187 190 193 201 207 213 219 220 221 226 232 233 244 245 247 248 257 259 261 262 264 267 271 275 276 279 282 284 285 287 288 291 296 301 305 307 315 317 322 332 339 342 347 348 349 354 358 359 360 362 363 365 366 367 368 373 378 381 389 396 402 403 405 407 408 417 418 421 424 428 429 436 443 446 452 456 458 460 462 464 466 470 474 475 476 479 482 491 492 494 499 507 a 7 8 9 11 12 14 17 19 25 26 28 32 35 37 39 40 41 45 48 49 50 51 53 54 57 60 61 68 70 71 73 75 76 77 79 81 82 87 88 91 93 97 98 105 106 107 110 115 118 119 121 125 126 127 132 134 135 141 142 146 148 151 152 154 156 161 165 169 170 171 175 181 182 187 190 193 201 207 213 219 220 221 226 232 233 244 245 247 248 257 259 261 262 264 267 271 275 276 279 282 284 285 287 288 291 296 301 305 307 315 317 322 332 339 342 347 348 349 354 358 359 360 362 363 365 366 367 368 373 378 381 389 396 402 403 405 407 408 417 418 421 424 428 429 436 443 446 452 456 458 460 462 464 466 470 474 475 476 479 482 491 492 494 499 507 a 7 8 9 11 12 14 17 19 25 26 28 32 35 37 39 40 41 45 48 49 50 51 53 54 57 60 61 68 70 71 73 75 76 77 79 81 82 87 88 91 93 97 98 105 106 107 110 115 118 119 121 125 126 127 132 134 135 141 142 146 148 151 152 154 156 161 165 169 170 171 175 181 182 186 187 190 193 201 207 213 219 220 221 226 232 233 244 245 247 248 257 259 261 262 264 267 271 275 276 279 282 284 285 287 288 291 296 301 305 307 315 317 322 332 339 342 347 348 349 354 358 359 360 362 363 365 366 367 368 373 378 381 389 396 402 403 405 407 408 417 418 421 424 428 429 436 443 446 452 456 458 460 462 464 466 470 474 475 476 479 482 491 492 499 507 a 7 8 9 11 12 14 17 19 25 26 28 32 35 37 39 40 41 45 48 49 50 51 53 54 57 60 61 68 70 71 73 75 76 77 79 81 82 87 88 91 93 97 98 105 106 107 110 115 118 119 121 125 126 127 132 134 135 141 142 146 148 151 152 154 156 161 165 169 170 171 175 181 182 186 187 190 193 201 207 213 219 220 221 226 232 233 244 245 247 248 257 259 261 262 264 267 271 275 276 279 282 284 285 287 288 291 296 301 305 307 315 317 322 332 339 342 347 348 349 354 358 359 360 362 363 365 366 367 368 373 378 381 389 396 402 403 405 407 408 417 418 421 424 428 429 436 443 446 452 456 458 459 460 462 464 466 470 474 475 476 479 482 491 499 507 a 7 8 9 11 12 14 17 19 25 26 28 32 35 37 39 40 41 45 48 49 50 51 53 54 57 60 61 68 70 71 73 75 76 77 79 81 82 87 88 91 93 97 98 105 106 107 110 115 118 119 121 125 126 127 132 134 135 141 142 146 148 151 152 154 156 161 165 169 170 171 175 181 182 186 187 190 193 201 207 213 219 220 221 226 232 233 244 245 247 248 256 257 259 261 262 264 267 271 275 276 279 282 284 285 287 288 291 296 301 305 307 315 317 322 332 339 342 347 348 349 354 358 359 362 363 365 366 367 368 373 378 381 389 396 402 403 405 407 408 417 418 421 424 428 429 436 443 446 452 456 458 459 460 462 464 466 470 474 475 476 479 482 491 499 507 a 7 8 9 11 12 14 17 19 25 26 28 32 35 37 39 40 41 45 48 49 50 51 53 54 57 60 61 68 70 71 73 75 76 77 79 81 82 87 88 91 93 97 98 105 106 107 110 115 118 119 121 125 126 127 132 134 135 141 142 146 148 151 152 154 156 161 165 169 170 171 175 181 182 186 187 190 193 201 207 213 219 220 221 226 232 233 244 245 247 248 256 257 259 261 262 264 267 271 275 276 279 282 284 285 287 288 291 292 296 301 305 307 315 317 322 332 339 342 347 348 349 354 358 359 362 363 365 366 367 368 373 378 381 389 396 402 403 405 407 408 417 418 421 424 428 429 436 443 446 452 456 458 459 460 462 464 466 470 474 475 476 482 491 499 507 a 7 8 9 11 12 14 17 19 25 26 28 32 35 37 39 40 41 45 48 49 50 51 53 54 57 60 61 68 70 71 73 75 76 77 79 81 82 87 88 91 93 97 98 105 106 107 110 115 118 119 120 121 125 126 127 132 134 135 141 142 146 148 151 152 154 156 161 165 169 170 171 175 181 182 186 187 190 193 201 207 213 219 220 221 226 232 233 244 245 247 248 256 257 259 261 262 264 267 271 275 276 279 282 284 285 287 288 291 292 296 301 305 307 315 317 322 332 339 342 347 348 349 354 358 359 362 363 365 366 367 368 378 381 389 396 402 403 405 407 408 417 418 421 424 428 429 436 443 446 452 456 458 459 460 462 464 466 470 474 475 476 482 491 499 507 a 7 8 9 11 12 14 17 19 25 26 28 32 35 37 39 40 41 45 48 49 50 51 53 54 57 60 61 68 70 71 73 75 77 79 81 82 87 88 91 93 97 98 105 106 107 110 115 118 119 120 121 125 126 127 132 134 135 141 142 146 148 151 152 154 156 161 165 169 170 171 175 181 182 186 187 190 193 200 201 207 213 219 220 221 226 232 233 244 245 247 248 256 257 259 261 262 264 267 271 275 276 279 282 284 285 287 288 291 292 296 301 305 307 315 317 322 332 339 342 347 348 349 354 358 359 362 363 365 366 367 368 378 381 389 396 402 403 405 407 408 417 418 421 424 428 429 436 443 446 452 456 458 459 460 462 464 466 470 474 475 476 482 491 499 507 a 7 8 9 11 12 14 17 19 25 26 28 32 35 37 39 40 41 45 48 49 50 51 53 54 57 60 61 68 70 71 73 75 77 79 81 82 87 88 91 93 97 98 105 106 107 110 115 118 119 120 125 126 127 132 134 135 141 142 146 148 151 152 154 156 160 161 165 169 170 171 175 181 182 186 187 190 193 200 201 207 213 219 220 221 226 232 233 244 245 247 248 256 257 259 261 262 264 267 271 275 276 279 282 284 285 287 288 291 292 296 301 305 307 315 317 322 332 339 342 347 348 349 354 358 359 362 363 365 366 367 368 378 381 389 396 402 403 405 407 408 417 418 421 424 428 429 436 443 446 452 456 458 459 460 462 464 466 470 474 475 476 482 491 499 507 a 7 8 9 11 12 14 17 19 25 26 28 32 35 37 39 40 41 45 48 49 50 51 53 54 57 60 61 68 70 71 73 75 77 79 81 82 87 88 91 93 97 98 105 106 107 110 115 118 119 120 125 126 127 132 134 135 141 142 146 148 151 152 154 156 160 161 165 169 170 171 175 181 182 186 187 190 193 200 201 207 213 219 220 221 226 232 233 244 245 247 248 256 257 261 262 264 267 271 275 276 279 282 284 285 287 288 291 292 296 298 301 305 307 315 317 322 332 339 342 347 348 349 354 358 359 362 363 365 366 367 368 378 381 389 396 402 403 405 407 408 417 418 421 424 428 429 436 443 446 452 456 458 459 460 462 464 466 470 474 475 476 482 491 499 507 a 7 8 9 11 12 14 17 19 25 26 28 32 35 37 39 40 41 45 48 49 50 51 53 54 57 60 61 68 70 71 73 75 77 79 81 82 87 88 91 93 97 98 105 106 107 110 115 118 119 120 125 126 127 132 134 135 141 142 146 148 151 152 154 156 160 161 165 169 170 171 175 181 182 186 187 190 193 200 201 207 213 219 220 221 226 233 244 245 247 248 256 257 261 262 264 267 271 275 276 279 282 284 285 287 288 291 292 296 298 301 305 307 315 317 322 332 339 342 347 348 349 354 358 359 362 363 365 366 367 368 371 378 381 389 396 402 403 405 407 408 417 418 421 424 428 429 436 443 446 452 456 458 459 460 462 464 466 470 474 475 476 482 491 499 507 a 7 8 9 11 12 14 17 19 25 26 28 32 35 37 39 40 41 45 48 49 50 51 53 54 57 60 61 68 70 71 73 75 77 79 81 82 87 88 91 93 98 105 106 107 110 115 118 119 120 125 126 127 132 134 135 141 142 146 148 151 152 154 156 160 161 165 169 170 171 175 180 181 182 186 187 190 193 200 201 207 213 219 220 221 226 233 244 245 247 248 256 257 261 262 264 267 271 275 276 279 282 284 285 287 288 291 292 296 298 301 305 307 315 317 322 332 339 342 347 348 349 354 358 359 362 363 365 366 367 368 371 378 381 389 396 402 403 405 407 408 417 418 421 424 428 429 436 443 446 452 456 458 459 460 462 464 466 470 474 475 476 482 491 499 507 a 7 8 9 11 12 14 17 19 25 26 28 32 35 37 39 40 41 45 49 50 51 53 54 57 60 61 68 70 71 73 75 77 79 81 82 87 88 91 93 98 105 106 107 110 115 118 119 120 125 126 127 132 134 135 141 142 146 148 151 152 154 156 160 161 165 169 170 171 175 180 181 182 186 187 190 193 200 201 203 207 213 219 220 221 226 233 244 245 247 248 256 257 261 262 264 267 271 275 276 279 282 284 285 287 288 291 292 296 298 301 305 307 315 317 322 332 339 342 347 348 349 354 358 359 362 363 365 366 367 368 371 378 381 389 396 402 403 405 407 408 417 418 421 424 428 429 436 443 446 452 456 458 459 460 462 464 466 470 474 475 476 482 491 499 507 a 7 8 9 11 12 14 17 19 25 26 28 32 35 37 39 40 41 45 49 50 51 53 54 57 60 61 68 70 73 75 77 79 81 82 87 88 91 93 98 105 106 107 110 115 118 119 120 125 126 127 132 134 135 141 142 146 148 151 152 154 156 160 161 165 169 170 171 175 180 181 182 186 187 190 193 200 201 203 207 213 219 220 221 226 233 244 245 247 248 256 257 261 262 264 267 271 275 276 279 282 284 285 287 288 291 292 296 298 301 305 307 315 317 322 332 339 342 347 348 349 354 358 359 362 363 365 366 367 368 371 378 381 389 396 402 403 405 407 408 417 418 421 424 428 429 436 440 443 446 452 456 458 459 460 462 464 466 470 474 475 476 482 491 499 507 a 7 8 9 11 12 14 17 19 25 26 28 32 35 37 39 40 41 45 49 50 51 53 54 57 60 61 68 70 73 75 77 79 81 82 87 88 91 93 98 105 106 107 110 115 118 119 120 125 126 127 132 134 135 141 142 146 148 151 152 154 156 160 161 165 169 170 171 175 180 181 182 186 187 190 193 200 201 203 207 213 219 220 221 226 233 244 245 247 248 256 257 261 262 264 267 271 275 276 279 282 284 285 287 288 291 292 296 298 301 305 307 315 317 322 332 339 342 347 348 349 354 358 359 362 363 365 366 367 368 371 378 381 389 391 396 402 403 405 407 408 417 418 421 424 428 429 436 440 443 446 456 458 459 460 462 464 466 470 474 475 476 482 491 499 507 a 7 8 9 11 12 14 17 19 25 26 32 35 37 39 40 41 45 49 50 51 53 54 57 60 61 68 70 73 75 77 79 81 82 87 88 91 93 98 105 106 107 110 115 118 119 120 125 126 127 132 134 135 141 142 146 148 151 152 154 156 160 161 165 169 170 171 175 180 181 182 186 187 190 193 200 201 203 207 213 219 220 221 226 229 233 244 245 247 248 256 257 261 262 264 267 271 275 276 279 282 284 285 287 288 291 292 296 298 301 305 307 315 317 322 332 339 342 347 348 349 354 358 359 362 363 365 366 367 368 371 378 381 389 391 396 402 403 405 407 408 417 418 421 424 428 429 436 440 443 446 456 458 459 460 462 464 466 470 474 475 476 482 491 499 507 a 7 8 9 11 12 14 17 19 25 26 32 35 37 39 40 41 45 49 50 51 53 54 57 60 61 68 70 73 75 77 79 81 82 87 88 91 93 98 105 106 107 110 115 118 119 120 125 126 127 132 134 135 141 142 146 148 151 152 154 156 160 161 165 169 170 171 175 180 181 182 186 187 190 193 200 201 203 207 213 219 220 221 226 229 233 243 244 245 247 248 256 257 261 262 264 267 271 275 276 279 282 284 285 287 288 291 292 296 298 301 305 307 315 317 322 332 339 342 347 348 349 354 358 359 362 363 365 366 367 368 371 378 381 389 391 396 402 403 405 407 408 417 418 421 424 428 429 436 440 443 446 458 459 460 462 464 466 470 474 475 476 482 491 499 507 a 7 8 9 11 12 14 17 19 25 26 32 35 37 39 40 41 45 49 50 51 53 54 57 60 61 68 70 73 75 77 79 81 82 87 88 93 98 105 106 107 110 115 118 119 120 125 126 127 132 134 135 141 142 146 148 151 152 154 156 160 161 165 169 170 171 175 180 181 182 186 187 190 193 200 201 203 207 213 219 220 221 226 229 233 243 244 245 247 248 256 257 261 262 264 267 271 275 276 279 282 284 285 287 288 291 292 296 298 301 305 307 315 317 322 332 337 339 342 347 348 349 354 358 359 362 363 365 366 367 368 371 378 381 389 391 396 402 403 405 407 408 417 418 421 424 428 429 436 440 443 446 458 459 460 462 464 466 470 474 475 476 482 491 499 507 a 7 8 9 11 12 14 17 19 25 26 32 35 37 39 40 41 45 49 50 51 53 54 57 60 61 68 70 73 75 77 79 81 82 87 88 93 98 105 106 107 110 115 118 119 120 125 126 127 132 134 135 141 142 146 148 151 152 154 156 160 161 165 169 170 171 175 180 181 182 186 187 190 193 200 201 203 207 210 213 219 220 221 226 229 233 243 244 245 247 248 256 257 261 262 264 267 271 275 276 279 282 284 285 287 288 291 292 296 298 301 305 307 315 317 322 332 337 339 342 347 348 349 354 358 359 362 363 365 366 367 368 371 378 381 389 391 396 402 403 405 407 408 417 418 421 424 428 429 436 440 443 446 458 459 462 464 466 470 474 475 476 482 491 499 507 a 7 8 9 11 12 14 17 19 25 26 32 35 37 39 40 41 45 49 50 51 53 54 57 60 61 68 70 75 77 79 81 82 87 88 93 98 105 106 107 110 115 118 119 120 125 126 127 132 134 135 138 141 142 146 148 151 152 154 156 160 161 165 169 170 171 175 180 181 182 186 187 190 193 200 201 203 207 210 213 219 220 221 226 229 233 243 244 245 247 248 256 257 261 262 264 267 271 275 276 279 282 284 285 287 288 291 292 296 298 301 305 307 315 317 322 332 337 339 342 347 348 349 354 358 359 362 363 365 366 367 368 371 378 381 389 391 396 402 403 405 407 408 417 418 421 424 428 429 436 440 443 446 458 459 462 464 466 470 474 475 476 482 491 499 507 a 7 8 9 11 12 14 17 19 25 26 32 35 37 39 40 41 45 49 50 51 53 54 57 60 61 68 70 75 77 79 81 82 87 88 93 98 105 106 107 110 115 118 119 120 125 126 127 132 134 135 138 141 142 146 148 151 152 154 156 160 161 165 169 170 171 175 180 181 182 186 187 190 193 200 201 203 207 210 213 219 220 221 226 229 233 243 244 245 247 248 256 257 261 262 264 267 271 275 276 279 282 284 285 287 288 291 292 296 298 301 305 307 315 317 322 332 337 339 342 347 348 349 354 358 359 362 363 365 366 367 368 371 378 381 384 389 391 396 402 403 405 407 408 417 418 424 428 429 436 440 443 446 458 459 462 464 466 470 474 475 476 482 491 499 507 a 7 8 9 11 12 14 17 19 25 26 32 35 37 39 40 41 45 49 50 51 53 54 57 60 61 68 70 75 77 79 81 82 87 88 93 98 105 106 107 110 115 118 119 120 125 126 127 132 134 138 141 142 146 148 151 152 154 156 158 160 161 165 169 170 171 175 180 181 182 186 187 190 193 200 201 203 207 210 213 219 220 221 226 229 233 243 244 245 247 248 256 257 261 262 264 267 271 275 276 279 282 284 285 287 288 291 292 296 298 301 305 307 315 317 322 332 337 339 342 347 348 349 354 358 359 362 363 365 366 367 368 371 378 381 384 389 391 396 402 403 405 407 408 417 418 424 428 429 436 440 443 446 458 459 462 464 466 470 474 475 476 482 491 499 507 a 8 9 11 12 14 17 19 25 26 32 35 37 39 40 41 45 49 50 51 53 54 57 60 61 68 70 75 77 79 81 82 87 88 93 98 105 106 107 110 115 118 119 120 125 126 127 132 134 138 141 142 146 148 151 152 154 156 158 160 161 165 169 170 171 175 180 181 182 186 187 190 193 200 201 203 207 210 213 219 220 221 226 229 233 238 243 244 245 247 248 256 257 261 262 264 267 271 275 276 279 282 284 285 287 288 291 292 296 298 301 305 307 315 317 322 332 337 339 342 347 348 349 354 358 359 362 363 365 366 367 368 371 378 381 384 389 391 396 402 403 405 407 408 417 418 424 428 429 436 440 443 446 458 459 462 464 466 470 474 475 476 482 491 499 507 a 8 9 11 12 14 17 19 25 26 32 35 37 39 40 41 45 49 50 51 53 54 57 60 61 68 70 75 77 79 81 82 87 88 93 98 105 106 107 110 115 118 119 120 125 126 127 132 134 138 141 142 146 148 151 152 154 156 158 160 161 165 169 170 171 172 175 180 181 182 186 187 190 193 200 201 203 207 210 213 219 220 221 226 229 233 238 243 244 245 247 248 256 257 261 262 264 267 271 275 276 279 282 284 285 287 288 291 292 296 298 301 305 307 315 317 322 332 337 339 342 347 348 349 354 358 359 362 363 365 366 367 368 371 378 381 384 389 391 396 402 403 405 407 408 417 418 424 428 429 436 440 443 446 458 459 462 466 470 474 475 476 482 491 499 507 a 8 9 11 12 14 17 19 25 26 32 35 37 39 40 41 45 49 50 51 53 54 57 60 61 68 70 75 77 79 81 82 87 88 93 98 105 106 107 110 115 118 119 120 125 126 127 132 134 138 141 142 146 148 151 152 154 156 158 160 161 165 169 170 171 172 175 180 181 182 186 187 190 193 200 201 203 207 210 213 219 220 221 226 229 233 238 243 244 245 247 248 256 257 261 262 264 267 271 275 276 279 282 284 285 287 288 291 292 296 298 301 305 307 315 317 322 332 337 339 342 347 348 349 354 358 359 362 363 365 366 367 368 371 378 381 384 389 391 396 402 403 405 408 417 418 424 428 429 436 440 443 446 458 459 462 466 470 474 475 476 480 482 491 499 507 a 8 9 11 12 14 17 19 25 26 32 35 37 39 40 41 45 49 50 51 53 54 57 60 61 68 70 75 77 79 82 87 88 93 98 105 106 107 110 115 118 119 120 125 126 127 132 134 138 141 142 146 148 151 152 154 156 158 160 161 165 169 170 171 172 175 180 181 182 186 187 190 193 200 201 203 207 210 213 219 220 221 226 229 233 238 243 244 245 247 248 256 257 261 262 264 267 271 275 276 279 282 284 285 287 288 291 292 296 298 301 305 307 315 317 322 332 337 339 342 347 348 349 353 354 358 359 362 363 365 366 367 368 371 378 381 384 389 391 396 402 403 405 408 417 418 424 428 429 436 440 443 446 458 459 462 466 470 474 475 476 480 482 491 499 507 a 8 9 11 12 14 17 19 25 26 32 35 37 39 40 41 45 49 50 51 53 54 57 60 61 70 75 77 79 82 87 88 93 98 105 106 107 110 115 118 119 120 125 126 127 132 134 137 138 141 142 146 148 151 152 154 156 158 160 161 165 169 170 171 172 175 180 181 182 186 187 190 193 200 201 203 207 210 213 219 220 221 226 229 233 238 243 244 245 247 248 256 257 261 262 264 267 271 275 276 279 282 284 285 287 288 291 292 296 298 301 305 307 315 317 322 332 337 339 342 347 348 349 353 354 358 359 362 363 365 366 367 368 371 378 381 384 389 391 396 402 403 405 408 417 418 424 428 429 436 440 443 446 458 459 462 466 470 474 475 476 480 482 491 499 507 a 8 9 11 12 14 17 19 25 26 32 35 37 39 40 41 45 49 50 51 53 54 57 60 61 70 75 77 79 82 87 88 93 98 105 106 107 110 115 118 119 120 125 126 127 132 134 137 138 141 142 146 148 151 152 154 156 158 160 161 165 169 170 171 172 175 180 181 182 186 187 190 193 200 201 203 207 210 213 219 220 221 226 229 233 238 243 244 245 247 248 250 256 257 261 262 264 267 271 275 276 279 282 284 285 287 291 292 296 298 301 305 307 315 317 322 332 337 339 342 347 348 349 353 354 358 359 362 363 365 366 367 368 371 378 381 384 389 391 396 402 403 405 408 417 418 424 428 429 436 440 443 446 458 459 462 466 470 474 475 476 480 482 491 499 507 a 8 9 11 12 14 17 19 25 26 32 35 37 39 40 41 45 49 50 51 53 54 57 60 61 70 75 77 79 82 87 88 93 98 105 106 107 110 115 118 119 120 125 126 127 132 134 137 138 141 142 146 148 151 152 154 156 158 160 161 165 169 170 171 172 175 180 181 182 186 187 190 193 200 201 203 207 210 213 219 220 221 226 229 233 238 243 244 245 247 248 250 256 257 261 262 264 267 271 275 276 279 282 284 285 287 291 292 298 301 305 307 308 315 317 322 332 337 339 342 347 348 349 353 354 358 359 362 363 365 366 367 368 371 378 381 384 389 391 396 402 403 405 408 417 418 424 428 429 436 440 443 446 458 459 462 466 470 474 475 476 480 482 491 499 507 a 8 9 12 14 17 19 25 26 32 35 37 39 40 41 45 49 50 51 53 54 57 60 61 67 70 75 77 79 82 87 88 93 98 105 106 107 110 115 118 119 120 125 126 127 132 134 137 138 141 142 146 148 151 152 154 156 158 160 161 165 169 170 171 172 175 180 181 182 186 187 190 193 200 201 203 207 210 213 219 220 221 226 229 233 238 243 244 245 247 248 250 256 257 261 262 264 267 271 275 276 279 282 284 285 287 291 292 298 301 305 307 308 315 317 322 332 337 339 342 347 348 349 353 354 358 359 362 363 365 366 367 368 371 378 381 384 389 391 396 402 403 405 408 417 418 424 428 429 436 440 443 446 458 459 462 466 470 474 475 476 480 482 491 499 507 a 8 9 12 14 17 19 25 26 32 35 37 39 40 41 45 49 50 51 53 54 57 60 61 67 70 75 77 79 82 87 88 93 98 105 106 107 110 115 118 119 120 125 126 127 132 134 137 138 141 142 146 148 151 152 154 156 158 160 161 165 169 170 171 172 175 180 181 182 186 187 190 193 200 201 203 207 210 213 219 220 221 226 229 233 238 243 244 245 247 248 250 256 257 261 262 264 267 271 275 276 279 282 284 285 287 291 292 298 301 305 307 308 315 317 322 332 337 339 342 347 348 349 353 354 358 359 362 363 365 366 367 368 371 378 381 384 389 391 396 402 405 408 417 418 424 428 429 436 440 443 446 451 458 459 462 466 470 474 475 476 480 482 491 499 507 a 8 9 12 14 17 19 25 26 32 35 37 39 40 41 45 49 50 53 54 57 60 61 67 70 75 77 79 82 87 88 93 98 105 106 107 110 115 118 119 120 125 126 127 132 134 137 138 141 142 146 148 151 152 154 156 158 160 161 165 169 170 171 172 175 180 181 182 186 187 190 193 200 201 203 207 210 213 219 220 221 226 229 233 238 243 244 245 247 248 250 256 257 261 262 264 267 271 275 276 279 282 284 285 287 291 292 298 301 305 307 308 315 317 322 332 337 339 342 347 348 349 353 354 358 359 362 363 365 366 367 368 371 378 381 382 384 389 391 396 402 405 408 417 418 424 428 429 436 440 443 446 451 458 459 462 466 470 474 475 476 480 482 491 499 507 a 8 9 12 14 17 19 25 26 32 35 37 39 40 41 45 49 50 53 54 57 60 61 67 70 75 77 79 82 87 88 93 98 105 106 107 110 115 118 119 120 125 126 127 132 134 137 138 141 142 146 148 151 152 154 158 160 161 165 166 169 170 171 172 175 180 181 182 186 187 190 193 200 201 203 207 210 213 219 220 221 226 229 233 238 243 244 245 247 248 250 256 257 261 262 264 267 271 275 276 279 282 284 285 287 291 292 298 301 305 307 308 315 317 322 332 337 339 342 347 348 349 353 354 358 359 362 363 365 366 367 368 371 378 381 382 384 389 391 396 402 405 408 417 418 424 428 429 436 440 443 446 451 458 459 462 466 470 474 475 476 480 482 491 499 507 a 8 9 12 14 17 19 25 26 32 35 37 39 40 41 45 49 50 53 54 57 60 61 67 70 75 77 79 82 87 88 93 105 106 107 110 115 118 119 120 125 126 127 132 134 137 138 141 142 146 148 151 152 154 158 160 161 165 166 169 170 171 172 175 180 181 182 186 187 190 193 200 201 203 207 210 213 219 220 221 226 229 233 238 243 244 245 247 248 250 256 257 261 262 264 267 271 275 276 279 282 284 285 287 291 292 298 301 305 307 308 315 317 322 332 337 339 342 347 348 349 353 354 358 359 362 363 365 366 367 368 371 378 381 382 384 389 391 396 402 405 408 417 418 424 428 429 436 440 441 443 446 451 458 459 462 466 470 474 475 476 480 482 491 499 507 a 8 9 12 14 17 19 25 26 32 35 37 39 40 41 45 49 50 53 54 57 60 61 67 70 75 77 79 82 87 88 93 105 106 107 110 115 118 119 120 125 126 127 132 134 137 138 141 142 146 148 151 152 154 158 160 161 165 166 169 170 171 172 175 177 180 181 182 186 187 190 193 200 201 203 207 210 213 219 220 221 226 229 233 238 243 244 245 247 248 250 256 257 261 262 264 267 271 275 276 279 284 285 287 291 292 298 301 305 307 308 315 317 322 332 337 339 342 347 348 349 353 354 358 359 362 363 365 366 367 368 371 378 381 382 384 389 391 396 402 405 408 417 418 424 428 429 436 440 441 443 446 451 458 459 462 466 470 474 475 476 480 482 491 499 507 a 8 9 12 14 19 25 26 32 35 37 39 40 41 45 49 50 53 54 57 60 61 67 70 75 77 79 82 87 88 93 105 106 107 110 115 118 119 120 125 126 127 132 134 137 138 141 142 146 148 151 152 154 158 160 161 165 166 169 170 171 172 175 177 180 181 182 186 187 190 193 200 201 203 207 210 213 219 220 221 226 229 233 238 243 244 245 247 248 250 256 257 261 262 264 267 271 275 276 279 284 285 287 291 292 298 301 305 307 308 315 316 317 322 332 337 339 342 347 348 349 353 354 358 359 362 363 365 366 367 368 371 378 381 382 384 389 391 396 402 405 408 417 418 424 428 429 436 440 441 443 446 451 458 459 462 466 470 474 475 476 480 482 491 499 507 a 8 9 12 14 19 25 26 32 35 37 39 40 41 45 49 50 53 54 57 60 61 67 70 75 77 79 82 85 87 88 93 105 106 107 110 115 118 119 120 125 126 127 132 137 138 141 142 146 148 151 152 154 158 160 161 165 166 169 170 171 172 175 177 180 181 182 186 187 190 193 200 201 203 207 210 213 219 220 221 226 229 233 238 243 244 245 247 248 250 256 257 261 262 264 267 271 275 276 279 284 285 287 291 292 298 301 305 307 308 315 316 317 322 332 337 339 342 347 348 349 353 354 358 359 362 363 365 366 367 368 371 378 381 382 384 389 391 396 402 405 408 417 418 424 428 429 436 440 441 443 446 451 458 459 462 466 470 474 475 476 480 482 491 499 507 a 8 9 12 14 19 24 25 26 32 35 37 39 40 41 45 49 50 53 54 57 60 61 67 70 75 77 79 82 85 87 88 93 105 106 110 115 118 119 120 125 126 127 132 137 138 141 142 146 148 151 152 154 158 160 161 165 166 169 170 171 172 175 177 180 181 182 186 187 190 193 200 201 203 207 210 213 219 220 221 226 229 233 238 243 244 245 247 248 250 256 257 261 262 264 267 271 275 276 279 284 285 287 291 292 298 301 305 307 308 315 316 317 322 332 337 339 342 347 348 349 353 354 358 359 362 363 365 366 367 368 371 378 381 382 384 389 391 396 402 405 408 417 418 424 428 429 436 440 441 443 446 451 458 459 462 466 470 474 475 476 480 482 491 499 507 a 8 9 12 14 19 24 25 26 32 35 37 39 40 41 45 49 50 53 54 57 60 61 67 70 75 77 79 82 85 87 88 93 105 106 110 115 118 119 120 125 126 127 129 132 137 138 141 142 146 148 152 154 158 160 161 165 166 169 170 171 172 175 177 180 181 182 186 187 190 193 200 201 203 207 210 213 219 220 221 226 229 233 238 243 244 245 247 248 250 256 257 261 262 264 267 271 275 276 279 284 285 287 291 292 298 301 305 307 308 315 316 317 322 332 337 339 342 347 348 349 353 354 358 359 362 363 365 366 367 368 371 378 381 382 384 389 391 396 402 405 408 417 418 424 428 429 436 440 441 443 446 451 458 459 462 466 470 474 475 476 480 482 491 499 507 a 8 9 12 14 19 24 25 26 32 35 37 39 40 41 45 49 50 53 54 57 60 61 67 70 75 77 79 82 85 87 88 93 105 106 110 115 118 119 120 125 126 127 129 132 137 138 141 142 146 148 152 154 158 160 161 165 166 169 170 171 172 175 177 180 181 182 186 187 190 193 200 201 203 207 210 213 219 220 221 226 229 233 238 243 244 245 247 248 250 256 257 261 262 264 267 271 275 276 279 284 285 287 291 292 298 301 305 307 308 315 316 317 322 332 337 339 347 348 349 353 354 358 359 362 363 365 366 367 368 371 378 381 382 384 389 391 396 402 404 405 408 417 418 424 428 429 436 440 441 443 446 451 458 459 462 466 470 474 475 476 480 482 491 499 507 a 8 9 12 14 19 23 24 25 26 32 35 37 39 40 41 45 49 50 53 54 57 60 61 67 70 75 77 79 82 85 87 88 93 105 106 110 115 118 119 120 125 126 127 129 132 137 138 141 142 146 148 152 154 158 160 161 165 166 169 170 171 172 175 177 180 181 182 186 187 190 193 200 201 203 207 210 213 219 220 221 226 229 233 238 243 244 245 247 248 250 256 257 261 262 264 267 271 275 276 284 285 287 291 292 298 301 305 307 308 315 316 317 322 332 337 339 347 348 349 353 354 358 359 362 363 365 366 367 368 371 378 381 382 384 389 391 396 402 404 405 408 417 418 424 428 429 436 440 441 443 446 451 458 459 462 466 470 474 475 476 480 482 491 499 507 a 8 9 12 14 19 23 24 25 26 32 35 37 39 40 41 45 49 50 53 54 57 60 61 67 70 75 77 79 82 85 87 88 93 105 106 110 115 118 119 120 125 126 127 129 132 137 138 141 142 146 148 152 154 158 160 161 165 166 169 170 171 172 175 177 180 182 186 187 190 193 200 201 203 207 210 213 219 220 221 226 229 233 238 243 244 245 247 248 250 256 257 261 262 264 267 271 275 276 283 284 285 287 291 292 298 301 305 307 308 315 316 317 322 332 337 339 347 348 349 353 354 358 359 362 363 365 366 367 368 371 378 381 382 384 389 391 396 402 404 405 408 417 418 424 428 429 436 440 441 443 446 451 458 459 462 466 470 474 475 476 480 482 491 499 507 a 8 9 12 14 19 23 24 25 26 32 35 37 39 40 41 45 49 50 53 54 57 60 61 67 75 77 79 82 85 87 88 93 102 105 106 110 115 118 119 120 125 126 127 129 132 137 138 141 142 146 148 152 154 158 160 161 165 166 169 170 171 172 175 177 180 182 186 187 190 193 200 201 203 207 210 213 219 220 221 226 229 233 238 243 244 245 247 248 250 256 257 261 262 264 267 271 275 276 283 284 285 287 291 292 298 301 305 307 308 315 316 317 322 332 337 339 347 348 349 353 354 358 359 362 363 365 366 367 368 371 378 381 382 384 389 391 396 402 404 405 408 417 418 424 428 429 436 440 441 443 446 451 458 459 462 466 470 474 475 476 480 482 491 499 507 a 8 9 12 14 19 23 24 25 26 32 35 37 39 40 41 45 49 50 53 54 57 60 67 75 77 79 82 85 87 88 93 102 105 106 110 115 118 119 120 125 126 127 129 132 137 138 141 142 146 148 152 154 158 160 161 165 166 169 170 171 172 175 177 180 182 186 187 190 193 200 201 203 207 210 213 219 220 221 226 229 233 238 243 244 245 247 248 250 256 257 261 262 264 267 271 275 276 283 284 285 287 291 292 298 301 305 307 308 315 316 317 322 332 337 339 347 348 349 353 354 358 359 362 363 365 366 367 368 371 378 381 382 384 389 391 396 402 404 405 408 417 418 424 425 428 429 436 440 441 443 446 451 458 459 462 466 470 474 475 476 480 482 491 499 507 a 8 9 12 14 19 23 24 25 26 32 35 37 39 40 41 45 49 50 53 54 57 60 67 75 77 79 82 85 87 88 93 102 105 106 110 115 118 119 120 125 126 127 129 132 137 138 141 142 146 148 152 154 158 160 161 165 166 169 170 171 172 175 177 180 182 186 187 190 193 200 201 203 207 210 213 219 220 221 226 229 233 238 243 244 245 247 248 250 256 257 261 262 264 267 271 275 276 283 284 287 291 292 298 301 305 307 308 315 316 317 321 322 332 337 339 347 348 349 353 354 358 359 362 363 365 366 367 368 371 378 381 382 384 389 391 396 402 404 405 408 417 418 424 425 428 429 436 440 441 443 446 451 458 459 462 466 470 474 475 476 480 482 491 499 507 a 8 9 12 14 19 23 24 25 26 32 35 37 39 40 41 45 49 50 53 54 56 57 60 67 75 77 79 82 85 87 88 93 102 105 106 110 115 118 119 120 125 126 127 129 132 137 138 141 142 146 148 152 154 158 160 161 165 166 169 170 171 172 175 177 180 182 186 187 190 193 200 201 203 207 210 213 219 220 221 226 229 233 238 243 244 245 247 248 250 256 257 261 262 264 267 271 275 276 283 284 287 291 292 298 301 305 307 308 315 316 317 321 322 332 337 339 347 348 349 353 354 358 359 362 363 365 366 367 368 371 378 381 382 384 389 391 396 402 404 405 408 417 418 424 425 428 429 436 440 441 443 446 451 458 459 462 466 474 475 476 480 482 491 499 507 a 8 9 12 14 19 23 24 25 26 32 35 37 39 40 41 45 49 50 53 54 56 57 60 67 75 77 79 82 85 87 88 93 102 105 106 110 115 118 119 120 125 126 127 129 132 137 138 141 142 146 148 152 154 158 160 161 165 166 169 170 171 172 175 177 180 182 186 187 190 193 200 201 203 207 210 213 219 220 221 226 228 229 233 238 243 244 245 247 248 250 256 257 261 262 264 267 271 275 276 283 284 287 291 292 298 301 305 307 308 315 316 317 321 322 332 337 339 348 349 353 354 358 359 362 363 365 366 367 368 371 378 381 382 384 389 391 396 402 404 405 408 417 418 424 425 428 429 436 440 441 443 446 451 458 459 462 466 474 475 476 480 482 491 499 507 a 8 9 12 14 19 23 24 25 26 32 35 37 39 40 41 45 49 50 53 54 56 57 58 60 67 75 77 79 82 85 87 88 93 102 105 106 110 115 118 119 120 125 126 127 129 132 137 138 141 142 146 148 152 154 158 160 161 165 166 169 170 171 172 175 177 180 182 186 187 190 193 200 201 203 207 210 213 219 220 221 226 228 229 233 238 243 244 245 247 248 250 256 257 261 262 264 267 271 275 276 283 284 287 291 292 298 301 305 307 308 315 316 317 321 322 332 337 339 348 349 353 354 358 359 362 363 365 366 367 368 371 378 381 382 384 389 391 396 402 404 405 408 417 424 425 428 429 436 440 441 443 446 451 458 459 462 466 474 475 476 480 482 491 499 507 a 8 9 12 14 19 23 24 25 26 32 35 37 39 40 41 49 50 53 54 56 57 58 59 60 67 75 77 79 82 85 87 88 93 102 105 106 110 115 118 119 120 125 126 127 129 132 137 138 141 142 146 148 152 154 158 160 161 165 166 169 170 171 172 175 177 180 182 186 187 190 193 200 201 203 207 210 213 219 220 221 226 228 229 233 238 243 244 245 247 248 250 256 257 261 262 264 267 271 275 276 283 284 287 291 292 298 301 305 307 308 315 316 317 321 322 332 337 339 348 349 353 354 358 359 362 363 365 366 367 368 371 378 381 382 384 389 391 396 402 404 405 408 417 424 425 428 429 436 440 441 443 446 451 458 459 462 466 474 475 476 480 482 491 499 507 a 8 9 12 14 19 23 24 25 26 32 35 37 39 40 49 50 53 54 56 57 58 59 60 67 75 77 79 82 85 87 88 93 102 105 106 110 115 118 119 120 125 126 127 129 132 137 138 141 142 146 148 152 154 158 160 161 165 166 169 170 171 172 175 177 180 182 186 187 190 193 200 201 203 207 210 213 219 220 221 226 228 229 233 238 243 244 245 247 248 250 256 257 261 262 264 267 271 275 276 283 284 287 291 292 298 301 305 307 308 315 316 317 321 322 332 337 339 348 349 353 354 357 358 359 362 363 365 366 367 368 371 378 381 382 384 389 391 396 402 404 405 408 417 424 425 428 429 436 440 441 443 446 451 458 459 462 466 474 475 476 480 482 491 499 507 a 8 9 12 14 19 23 24 25 26 32 35 37 39 40 49 50 53 54 56 57 58 59 60 67 75 77 79 82 85 87 88 93 102 105 106 110 115 118 119 120 125 126 127 129 132 137 138 141 142 146 148 152 154 158 160 161 165 166 169 170 171 172 175 177 180 182 186 187 190 193 200 201 203 207 210 213 219 220 221 226 228 229 233 238 243 244 245 246 247 248 250 256 257 261 262 267 271 275 276 283 284 287 291 292 298 301 305 307 308 315 316 317 321 322 332 337 339 348 349 353 354 357 358 359 362 363 365 366 367 368 371 378 381 382 384 389 391 396 402 404 405 408 417 424 425 428 429 436 440 441 443 446 451 458 459 462 466 474 475 476 480 482 491 499 507 a 8 9 12 14 19 23 24 25 26 32 35 37 39 40 49 50 53 54 56 57 58 59 60 67 75 77 79 82 85 87 88 93 102 105 106 110 115 118 119 120 125 126 127 129 131 132 137 138 141 142 146 148 152 154 158 160 161 165 166 169 170 171 172 175 177 180 182 186 187 190 193 200 201 203 207 210 213 219 220 221 226 228 229 233 238 243 244 245 246 247 248 250 256 257 261 262 267 271 275 276 283 284 287 291 292 298 301 305 307 308 315 316 317 321 322 332 337 339 348 349 353 354 357 358 359 362 363 365 366 367 368 371 378 381 382 384 389 391 396 402 404 405 408 417 425 428 429 436 440 441 443 446 451 458 459 462 466 474 475 476 480 482 491 499 507 a 8 9 12 14 19 23 24 25 26 32 35 37 39 40 49 50 53 54 56 57 58 59 60 67 75 77 79 82 85 87 88 93 102 105 106 110 115 118 119 120 125 126 127 129 131 132 137 138 141 142 146 148 152 154 158 160 161 165 166 169 170 171 172 175 177 180 182 186 187 190 193 200 201 203 207 210 213 219 220 221 226 228 229 233 238 243 244 245 246 247 248 250 256 257 261 262 267 271 275 276 283 284 287 291 292 298 301 305 307 308 315 316 317 321 322 332 337 339 348 349 353 354 357 358 359 362 363 366 367 368 371 378 381 382 384 389 391 396 402 404 405 408 417 425 428 429 436 440 441 443 446 451 458 459 462 466 474 475 476 480 482 491 499 500 507 a 8 9 12 14 19 23 24 25 26 32 35 37 39 40 49 50 53 54 56 57 58 59 60 67 75 77 79 82 85 87 88 93 102 105 106 110 112 115 118 119 120 125 126 127 129 131 132 137 138 141 142 146 148 152 154 158 160 161 165 166 169 170 171 172 175 177 180 182 186 187 190 193 200 201 203 207 210 213 219 220 221 226 228 229 233 238 243 244 245 246 247 248 250 256 257 262 267 271 275 276 283 284 287 291 292 298 301 305 307 308 315 316 317 321 322 332 337 339 348 349 353 354 357 358 359 362 363 366 367 368 371 378 381 382 384 389 391 396 402 404 405 408 417 425 428 429 436 440 441 443 446 451 458 459 462 466 474 475 476 480 482 491 499 500 507 a 8 9 12 14 19 23 24 25 26 32 35 37 39 40 49 50 53 54 56 57 58 59 60 67 75 77 79 82 85 87 88 93 102 105 106 110 112 115 118 119 120 125 126 127 129 131 132 137 138 141 142 146 148 152 154 158 160 161 165 166 169 170 171 172 175 177 180 182 186 187 190 193 200 201 203 207 210 213 219 220 221 222 226 228 229 233 238 243 244 245 246 247 248 250 256 257 262 267 271 275 276 283 284 287 291 292 298 301 305 307 308 315 316 317 321 322 332 337 339 348 349 353 354 357 358 359 362 363 366 367 368 371 378 381 382 384 389 391 396 402 404 405 408 417 425 428 429 436 440 441 443 446 451 458 459 462 474 475 476 480 482 491 499 500 507 a 8 9 12 14 19 23 24 25 26 32 35 37 39 40 49 50 53 54 56 57 58 59 60 67 75 77 79 82 85 87 88 93 102 105 106 110 112 115 118 119 120 125 126 127 129 131 132 137 138 141 142 146 148 152 154 158 160 161 165 166 169 170 171 172 175 177 180 182 186 187 190 193 200 201 203 207 210 213 219 220 221 222 226 228 229 233 238 243 244 245 246 247 248 250 256 257 262 267 271 275 276 283 284 287 291 292 298 301 305 307 308 315 316 317 321 322 332 337 339 348 349 353 354 357 358 359 363 366 367 368 371 378 381 382 384 389 391 396 402 404 405 408 417 425 428 429 436 440 441 443 446 448 451 458 459 462 474 475 476 480 482 491 499 500 507 a 8 9 12 14 19 23 24 25 26 32 35 37 39 40 49 50 53 54 56 57 58 59 60 67 75 77 79 82 85 87 88 93 102 105 106 110 112 115 118 119 120 125 126 127 129 131 132 137 138 141 142 146 148 152 154 158 160 161 165 166 169 170 171 172 175 177 180 182 186 187 190 193 200 201 203 207 210 213 219 220 221 222 226 228 229 233 238 243 244 245 246 247 248 250 256 257 262 267 271 275 276 283 284 287 291 292 298 301 305 307 308 309 315 316 317 321 322 332 337 339 348 349 353 354 357 358 359 363 366 367 368 371 378 382 384 389 391 396 402 404 405 408 417 425 428 429 436 440 441 443 446 448 451 458 459 462 474 475 476 480 482 491 499 500 507 a 8 9 12 14 19 23 24 25 26 32 35 37 39 40 49 50 53 54 56 57 58 59 60 67 75 77 79 82 85 87 88 93 102 105 106 110 112 115 118 119 120 125 126 127 129 131 132 137 138 141 142 146 148 152 154 158 160 161 165 166 169 170 171 172 175 177 180 182 186 187 190 200 201 203 207 210 213 219 220 221 222 226 228 229 233 238 243 244 245 246 247 248 250 256 257 262 267 271 275 276 283 284 287 291 292 298 301 305 307 308 309 315 316 317 318 321 322 332 337 339 348 349 353 354 357 358 359 363 366 367 368 371 378 382 384 389 391 396 402 404 405 408 417 425 428 429 436 440 441 443 446 448 451 458 459 462 474 475 476 480 482 491 499 500 507 a 8 9 12 14 19 23 24 25 26 32 35 37 39 40 49 50 53 54 56 57 58 59 60 67 75 77 79 82 85 87 88 93 102 105 106 110 112 115 118 119 120 125 126 127 129 131 132 137 138 141 142 146 148 152 154 158 160 161 165 166 169 170 171 172 175 177 180 182 186 187 190 200 201 203 207 210 213 219 220 221 222 226 228 229 233 238 243 244 245 246 247 248 250 256 257 262 267 268 271 275 276 283 284 287 291 292 298 301 305 307 308 309 315 316 317 318 321 322 332 337 339 348 349 353 354 357 358 359 363 366 367 368 371 378 382 384 389 391 396 402 404 405 408 417 425 428 429 436 440 441 443 446 448 451 458 459 462 474 475 480 482 491 499 500 507 a 8 9 12 14 19 23 24 25 26 32 35 37 39 40 49 50 53 54 56 57 58 59 60 67 75 77 79 82 85 87 88 93 102 105 106 110 112 115 118 119 120 125 126 127 129 131 132 137 138 141 142 146 148 152 154 158 160 161 165 166 169 170 171 172 175 177 180 182 186 187 190 200 201 203 207 210 213 219 220 221 222 226 228 229 233 238 243 244 245 246 247 248 250 254 256 257 262 267 268 271 275 276 283 284 287 291 292 298 301 305 307 308 309 315 316 317 318 321 322 332 337 339 349 353 354 357 358 359 363 366 367 368 371 378 382 384 389 391 396 402 404 405 408 417 425 428 429 436 440 441 443 446 448 451 458 459 462 474 475 480 482 491 499 500 507 a 8 9 12 14 19 23 24 25 26 32 35 37 39 40 49 50 53 54 56 57 58 59 60 67 69 75 77 79 82 85 87 88 93 102 106 110 112 115 118 119 120 125 126 127 129 131 132 137 138 141 142 146 148 152 154 158 160 161 165 166 169 170 171 172 175 177 180 182 186 187 190 200 201 203 207 210 213 219 220 221 222 226 228 229 233 238 243 244 245 246 247 248 250 254 256 257 262 267 268 271 275 276 283 284 287 291 292 298 301 305 307 308 309 315 316 317 318 321 322 332 337 339 349 353 354 357 358 359 363 366 367 368 371 378 382 384 389 391 396 402 404 405 408 417 425 428 429 436 440 441 443 446 448 451 458 459 462 474 475 480 482 491 499 500 507 a 8 9 12 14 19 23 24 25 26 32 35 37 39 40 49 50 53 54 56 57 58 59 60 67 69 75 77 79 82 85 87 88 93 102 106 110 112 115 118 119 120 125 126 127 129 131 132 137 138 141 142 146 148 152 154 158 160 161 165 166 169 170 171 172 175 177 180 182 186 187 190 200 201 203 207 210 213 219 220 221 222 226 228 229 233 238 243 244 245 246 247 248 250 254 256 257 262 267 268 271 275 276 283 284 287 291 292 298 301 307 308 309 315 316 317 318 321 322 332 337 339 349 353 354 357 358 359 363 366 367 368 371 378 382 384 387 389 391 396 402 404 405 408 417 425 428 429 436 440 441 443 446 448 451 458 459 462 474 475 480 482 491 499 500 507 a 8 9 12 14 19 23 24 25 26 32 35 37 39 40 49 50 53 54 56 57 58 59 60 67 69 75 77 79 82 85 87 88 93 102 106 110 112 115 118 119 120 125 126 127 129 131 132 137 138 141 142 146 148 152 154 158 160 161 165 166 169 170 171 172 175 177 180 182 186 187 190 200 201 202 203 207 210 213 219 220 221 222 226 228 229 233 238 243 244 245 246 247 248 250 254 256 257 262 267 268 271 275 276 283 284 287 291 292 298 301 307 308 309 316 317 318 321 322 332 337 339 349 353 354 357 358 359 363 366 367 368 371 378 382 384 387 389 391 396 402 404 405 408 417 425 428 429 436 440 441 443 446 448 451 458 459 462 474 475 480 482 491 499 500 507 a 8 9 12 14 19 23 24 25 26 32 35 37 39 40 49 50 53 54 56 57 58 59 60 67 69 75 77 79 82 85 87 88 93 102 106 110 112 115 118 119 120 125 126 127 129 131 132 137 138 141 142 146 148 152 154 158 160 161 165 166 169 170 171 172 175 177 180 182 186 187 190 200 201 202 203 207 210 213 219 220 221 222 226 228 229 233 238 243 244 245 246 247 250 254 256 257 262 267 268 271 275 276 283 284 287 291 292 298 301 307 308 309 316 317 318 321 322 332 337 339 349 353 354 357 358 359 363 366 367 368 371 378 382 384 387 389 391 396 402 404 405 408 417 425 428 429 436 440 441 443 446 448 451 458 459 462 474 475 480 482 491 499 500 502 507 c Step: 91 Command being timed: "python3 run_3.py --shortest -t4 /benchmark/random_instance/random_instance039_graph005.col /benchmark/random_instance/random_instance039_graph005_01.dat" User time (seconds): 42.38 System time (seconds): 0.47 Percent of CPU this job got: 302% Elapsed (wall clock) time (h:mm:ss or m:ss): 0:14.15 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): 531924 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 328493 Voluntary context switches: 20060 Involuntary context switches: 122 Swaps: 0 File system inputs: 0 File system outputs: 752 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Mon Sep 4 15:11:02 2023]