#BEGIN: [Tue Sep 26 03:39:18 2023] #HOST: s08 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: shortest-wallclock-banbaralab2-shortest2 #INSTANCE1: /benchmark/random_instance/random_instance040_graph001.col #INSTANCE2: /benchmark/random_instance/random_instance040_graph001_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_instance040_graph001.col /benchmark/random_instance/random_instance040_graph001_01.dat c /benchmark/random_instance/random_instance040_graph001.col c /benchmark/random_instance/random_instance040_graph001_01.dat s 117 118 476 287 68 305 187 219 480 24 132 303 442 401 62 285 73 499 310 490 142 265 50 478 459 295 297 99 80 306 290 326 40 89 314 188 462 299 500 184 339 403 396 402 122 54 518 321 318 450 161 216 334 208 7 337 220 446 186 481 193 445 349 1 251 228 416 180 143 289 509 81 436 510 333 417 111 185 96 322 353 453 141 342 16 29 316 520 147 340 511 320 93 28 377 253 244 104 255 284 376 312 66 482 270 97 247 35 363 51 212 304 10 166 254 507 45 444 307 430 301 79 503 46 31 177 390 267 372 123 495 126 516 94 91 315 112 201 501 107 175 204 344 199 103 292 206 475 384 293 158 85 26 452 407 56 164 152 274 154 226 389 75 18 t 8 422 470 350 379 17 62 391 113 110 465 327 180 169 444 191 109 343 499 179 290 65 498 493 516 107 308 70 298 236 401 509 349 197 407 200 216 4 189 282 469 255 74 420 368 507 170 283 345 288 43 515 5 230 305 217 347 142 334 272 145 505 20 59 263 199 502 93 285 424 146 358 24 361 100 84 49 501 427 138 346 496 173 108 431 257 96 171 224 336 133 172 520 432 457 363 31 248 439 37 85 56 219 330 174 153 289 258 32 211 127 27 52 484 384 320 435 421 396 233 208 164 409 141 184 295 322 459 426 77 492 423 193 318 452 473 490 196 97 329 497 190 185 82 307 10 281 36 205 21 304 23 73 331 456 364 256 143 218 434 154 453 121 300 a YES a 1 7 10 16 18 24 26 28 29 31 35 40 45 46 50 51 54 56 62 66 68 73 75 79 80 81 85 89 91 93 94 96 97 99 103 104 107 111 112 117 118 122 123 126 132 141 142 143 147 152 154 158 161 164 166 175 177 180 184 185 186 187 188 193 199 201 204 206 208 212 216 219 220 226 228 244 247 251 253 254 255 265 267 270 274 284 285 287 289 290 292 293 295 297 299 301 303 304 305 306 307 310 312 314 315 316 318 320 321 322 326 333 334 337 339 340 342 344 349 353 363 372 376 377 384 389 390 396 401 402 403 407 416 417 430 436 442 444 445 446 450 452 453 459 462 475 476 478 480 481 482 490 495 499 500 501 503 507 509 510 511 516 518 520 a 1 7 10 16 18 24 26 28 29 31 35 40 45 46 50 51 54 56 62 66 68 73 75 79 80 81 85 89 91 93 94 96 97 99 103 104 107 111 112 117 118 122 123 126 132 141 142 143 147 152 154 158 161 164 166 175 177 180 184 185 186 187 188 193 199 201 204 206 208 212 216 219 220 226 228 247 251 253 254 255 265 267 270 274 284 285 287 289 290 292 293 295 297 299 301 303 304 305 306 307 310 312 314 315 316 318 320 321 322 326 333 334 337 339 340 342 344 349 353 363 372 376 377 384 389 390 396 401 402 403 407 416 417 430 436 442 444 445 446 450 452 453 459 462 475 476 478 480 481 482 490 495 499 500 501 503 507 509 510 511 515 516 518 520 a 1 7 10 16 18 24 26 28 29 31 35 40 45 46 50 51 54 56 62 66 68 73 75 79 80 81 85 89 91 93 94 96 97 99 103 104 107 111 112 117 118 122 123 126 132 141 142 143 147 152 154 158 161 164 166 175 177 180 184 185 186 187 188 193 197 199 201 204 206 208 212 216 219 220 226 228 247 251 253 254 255 265 267 270 274 284 285 287 289 290 292 293 295 297 299 301 303 304 305 306 307 310 312 314 315 316 318 320 321 322 326 333 334 337 339 340 342 344 349 353 363 372 376 377 384 389 390 396 401 402 403 407 416 417 430 436 444 445 446 450 452 453 459 462 475 476 478 480 481 482 490 495 499 500 501 503 507 509 510 511 515 516 518 520 a 1 7 10 16 18 24 26 28 29 31 35 40 45 46 50 51 54 56 62 66 68 73 75 79 80 81 85 89 91 93 94 96 97 99 103 104 107 111 112 117 118 122 123 126 132 141 142 143 147 152 154 158 161 164 166 175 177 180 184 185 186 188 193 197 199 201 204 206 208 212 216 219 220 226 228 247 251 253 254 255 265 267 270 274 284 285 287 289 290 292 293 295 297 299 301 303 304 305 306 307 310 312 314 315 316 318 320 321 322 326 333 334 337 339 340 342 344 349 353 363 372 376 377 384 389 390 396 401 402 403 407 416 417 430 431 436 444 445 446 450 452 453 459 462 475 476 478 480 481 482 490 495 499 500 501 503 507 509 510 511 515 516 518 520 a 1 7 10 16 24 26 28 29 31 35 40 45 46 50 51 54 56 62 66 68 73 75 79 80 81 85 89 91 93 94 96 97 99 103 104 107 111 112 117 118 122 123 126 132 141 142 143 147 152 154 158 161 164 166 175 177 180 184 185 186 188 193 197 199 201 204 206 208 212 216 219 220 226 228 247 251 253 254 255 265 267 270 274 284 285 287 289 290 292 293 295 297 299 301 303 304 305 306 307 310 312 314 315 316 318 320 321 322 326 333 334 337 339 340 342 344 349 353 363 372 376 377 384 389 390 396 401 402 403 407 416 417 430 431 436 444 445 446 450 452 453 459 462 475 476 478 480 481 482 490 495 497 499 500 501 503 507 509 510 511 515 516 518 520 a 1 7 10 16 24 26 28 29 31 35 40 45 46 50 51 54 56 62 66 68 73 75 79 80 81 85 89 91 93 94 96 97 99 103 104 107 111 112 117 118 122 123 126 132 141 142 143 147 152 154 158 161 164 166 169 175 177 180 184 185 186 188 193 197 199 201 204 206 208 212 216 219 220 226 228 247 251 253 254 255 265 267 270 274 284 285 287 289 290 292 293 295 297 299 301 303 304 305 306 307 310 312 314 315 316 318 320 321 322 326 333 334 337 339 340 342 344 349 353 363 372 376 377 384 389 390 396 401 402 403 407 416 417 430 431 436 444 445 450 452 453 459 462 475 476 478 480 481 482 490 495 497 499 500 501 503 507 509 510 511 515 516 518 520 a 1 7 10 16 24 26 28 29 31 35 40 45 46 50 51 54 56 62 66 68 73 75 79 80 81 85 89 91 93 94 96 97 99 103 104 107 111 112 117 118 122 123 126 132 141 142 143 147 152 154 158 161 164 166 169 175 177 180 184 185 186 188 193 197 199 201 204 208 212 216 219 220 226 228 247 251 253 254 255 265 267 270 274 284 285 287 289 290 292 293 295 297 299 301 303 304 305 306 307 310 312 314 315 316 318 320 321 322 326 333 334 337 339 340 342 344 345 349 353 363 372 376 377 384 389 390 396 401 402 403 407 416 417 430 431 436 444 445 450 452 453 459 462 475 476 478 480 481 482 490 495 497 499 500 501 503 507 509 510 511 515 516 518 520 a 1 7 10 16 24 26 28 29 31 35 40 45 46 50 51 54 56 62 66 68 73 75 79 80 81 85 89 91 93 94 96 97 99 103 104 107 111 112 117 118 122 123 126 132 141 142 143 147 152 154 158 161 164 166 169 175 177 180 184 185 186 188 193 197 199 200 201 204 208 212 216 219 220 226 228 247 251 254 255 265 267 270 274 284 285 287 289 290 292 293 295 297 299 301 303 304 305 306 307 310 312 314 315 316 318 320 321 322 326 333 334 337 339 340 342 344 345 349 353 363 372 376 377 384 389 390 396 401 402 403 407 416 417 430 431 436 444 445 450 452 453 459 462 475 476 478 480 481 482 490 495 497 499 500 501 503 507 509 510 511 515 516 518 520 a 1 7 10 16 24 26 29 31 35 40 45 46 50 51 54 56 62 66 68 73 75 79 80 81 85 89 91 93 94 96 97 99 103 104 107 111 112 117 118 122 123 126 132 141 142 143 147 152 154 158 161 164 166 169 175 177 180 184 185 186 188 193 197 199 200 201 204 208 212 216 219 220 226 228 247 251 254 255 265 267 270 274 284 285 287 289 290 292 293 295 297 299 301 303 304 305 306 307 310 312 314 315 316 318 320 321 322 326 333 334 337 339 340 342 344 345 349 353 363 372 376 377 384 389 390 396 401 402 403 407 416 417 430 431 436 444 445 450 452 453 459 462 470 475 476 478 480 481 482 490 495 497 499 500 501 503 507 509 510 511 515 516 518 520 a 1 7 10 16 24 26 29 31 35 40 45 46 50 51 54 56 62 66 68 73 75 79 80 81 85 89 91 93 94 96 97 99 103 104 107 111 112 117 118 122 123 126 132 141 142 143 147 152 154 158 161 164 166 169 175 177 180 184 185 186 188 193 197 199 200 201 204 208 212 216 219 220 226 228 247 251 254 255 265 267 270 274 284 285 287 289 290 292 293 295 297 299 301 303 304 305 306 307 310 312 314 315 316 318 320 321 322 326 333 334 337 339 340 342 344 345 349 363 372 376 377 384 389 390 396 401 402 403 407 416 417 421 430 431 436 444 445 450 452 453 459 462 470 475 476 478 480 481 482 490 495 497 499 500 501 503 507 509 510 511 515 516 518 520 a 1 7 10 16 23 24 26 29 31 35 40 45 46 50 51 54 56 62 66 68 73 75 79 80 81 85 89 91 93 94 96 97 99 103 104 107 111 112 117 118 122 123 126 132 141 142 143 147 152 154 158 161 164 166 169 175 177 180 184 185 186 188 193 197 199 200 201 204 208 212 216 219 220 226 228 247 251 254 255 265 267 270 274 284 285 287 289 290 292 293 295 297 299 301 303 304 305 306 307 310 312 314 315 316 318 320 321 322 326 333 334 337 339 340 342 344 345 349 363 372 376 377 384 389 390 396 401 402 403 407 416 417 421 430 431 436 444 445 450 452 453 459 462 470 475 476 478 480 481 482 490 495 497 499 500 501 503 507 509 510 515 516 518 520 a 1 7 10 16 23 24 26 29 31 35 40 45 46 50 51 54 56 62 66 68 73 75 79 80 81 85 89 91 93 94 96 97 99 103 104 107 111 112 117 118 122 123 126 132 141 142 143 147 152 154 158 161 164 166 169 175 177 180 184 185 186 188 193 197 199 200 201 204 208 212 216 219 220 226 228 247 251 254 255 265 267 270 274 284 285 287 289 290 292 293 295 297 299 301 303 304 305 306 307 310 312 314 315 316 318 320 321 322 326 333 334 337 339 340 342 344 345 349 363 372 376 377 384 389 390 396 401 402 403 407 409 416 417 421 430 431 436 444 445 450 452 453 459 462 470 475 476 478 480 482 490 495 497 499 500 501 503 507 509 510 515 516 518 520 a 1 7 10 16 23 24 26 29 31 35 40 45 46 50 51 54 56 62 66 68 73 75 79 80 81 85 89 91 93 94 96 97 99 103 104 107 111 112 117 118 122 123 126 132 141 142 143 147 152 154 158 161 164 166 169 175 177 180 184 185 186 188 193 197 199 200 201 204 208 212 216 219 220 226 228 247 251 254 255 265 267 270 274 284 285 287 289 290 292 293 295 297 299 301 303 304 305 306 307 310 312 314 315 316 318 320 321 322 326 333 334 337 339 340 342 344 345 346 349 363 372 376 377 384 389 390 396 401 402 403 407 409 416 417 421 430 431 436 444 445 450 452 453 459 470 475 476 478 480 482 490 495 497 499 500 501 503 507 509 510 515 516 518 520 a 1 7 10 16 23 24 26 29 31 35 40 45 46 50 51 54 56 62 66 68 73 75 79 80 81 84 85 89 91 93 94 96 97 99 103 104 107 111 112 117 118 122 123 126 132 141 142 143 147 152 154 158 161 164 166 169 175 177 180 184 185 186 188 193 197 199 200 201 204 208 212 216 219 220 226 228 247 251 254 255 265 267 270 274 284 285 287 289 290 292 293 295 297 299 301 303 304 305 306 307 310 312 314 315 316 318 320 321 322 326 333 334 337 339 340 342 344 345 346 349 363 372 376 377 384 389 390 396 401 402 403 407 409 416 417 421 430 431 436 444 445 450 452 453 459 470 475 476 478 480 482 490 495 497 499 501 503 507 509 510 515 516 518 520 a 1 7 10 16 23 24 26 29 31 35 40 45 46 50 54 56 62 66 68 73 75 79 80 81 84 85 89 91 93 94 96 97 99 103 104 107 111 112 117 118 122 123 126 132 141 142 143 147 152 154 158 161 164 166 169 174 175 177 180 184 185 186 188 193 197 199 200 201 204 208 212 216 219 220 226 228 247 251 254 255 265 267 270 274 284 285 287 289 290 292 293 295 297 299 301 303 304 305 306 307 310 312 314 315 316 318 320 321 322 326 333 334 337 339 340 342 344 345 346 349 363 372 376 377 384 389 390 396 401 402 403 407 409 416 417 421 430 431 436 444 445 450 452 453 459 470 475 476 478 480 482 490 495 497 499 501 503 507 509 510 515 516 518 520 a 1 7 10 16 23 24 26 29 31 35 40 45 46 50 54 56 62 66 68 73 75 79 80 81 84 85 89 91 93 94 96 97 99 100 103 107 111 112 117 118 122 123 126 132 141 142 143 147 152 154 158 161 164 166 169 174 175 177 180 184 185 186 188 193 197 199 200 201 204 208 212 216 219 220 226 228 247 251 254 255 265 267 270 274 284 285 287 289 290 292 293 295 297 299 301 303 304 305 306 307 310 312 314 315 316 318 320 321 322 326 333 334 337 339 340 342 344 345 346 349 363 372 376 377 384 389 390 396 401 402 403 407 409 416 417 421 430 431 436 444 445 450 452 453 459 470 475 476 478 480 482 490 495 497 499 501 503 507 509 510 515 516 518 520 a 1 7 10 16 23 24 26 29 31 35 40 45 46 50 54 56 62 66 68 73 75 79 80 81 84 85 91 93 94 96 97 99 100 103 107 111 112 117 118 122 123 126 132 141 142 143 147 152 154 158 161 164 166 169 174 175 177 180 184 185 186 188 193 197 199 200 201 204 208 212 216 219 220 226 228 247 251 254 255 265 267 270 274 284 285 287 289 290 292 293 295 297 299 301 303 304 305 306 307 310 312 314 315 316 318 320 321 322 326 333 334 337 339 340 342 344 345 346 349 363 372 376 377 384 389 390 396 401 402 403 407 409 416 417 421 430 431 436 444 445 450 452 453 459 470 475 476 478 480 482 490 492 495 497 499 501 503 507 509 510 515 516 518 520 a 1 7 10 16 23 24 26 29 31 35 40 45 46 50 54 56 62 66 68 73 75 79 80 81 84 85 91 93 94 96 97 99 100 103 107 111 112 117 118 122 123 126 132 141 142 143 147 152 153 154 158 161 164 166 169 174 175 177 180 184 185 186 188 193 197 199 200 201 204 208 212 216 219 220 226 228 247 251 254 255 265 267 270 274 284 285 287 289 290 292 293 295 297 299 301 303 304 305 306 307 310 312 314 315 316 318 320 321 322 326 333 334 337 339 340 344 345 346 349 363 372 376 377 384 389 390 396 401 402 403 407 409 416 417 421 430 431 436 444 445 450 452 453 459 470 475 476 478 480 482 490 492 495 497 499 501 503 507 509 510 515 516 518 520 a 1 7 10 16 23 24 26 29 31 35 40 45 46 50 54 56 62 66 68 73 75 79 80 81 84 85 91 93 94 96 97 99 100 103 107 111 112 117 118 122 123 126 132 141 142 143 147 152 153 154 158 161 164 166 169 174 175 177 180 184 185 186 188 193 197 199 200 201 204 208 212 216 219 220 226 228 247 251 254 255 265 267 270 274 284 285 287 289 290 292 293 295 297 299 301 303 304 305 306 307 310 312 314 315 316 318 320 321 322 326 333 334 337 339 344 345 346 349 363 372 376 377 384 389 390 396 401 402 403 407 409 416 417 421 430 431 436 444 445 450 452 453 456 459 470 475 476 478 480 482 490 492 495 497 499 501 503 507 509 510 515 516 518 520 a 1 7 10 16 23 24 26 29 31 35 40 45 46 50 54 56 62 66 68 73 75 79 80 81 84 85 91 93 94 96 97 99 100 103 107 111 112 117 118 122 123 126 132 141 142 143 147 152 153 154 158 161 164 166 169 174 175 177 180 184 185 186 188 193 197 199 200 201 204 208 212 216 219 220 226 228 247 251 254 255 265 267 270 274 284 285 287 289 290 292 293 295 297 299 301 303 304 305 306 307 308 310 312 314 315 316 318 320 321 322 326 333 334 337 339 344 345 346 349 363 372 376 377 384 389 390 396 401 402 403 407 409 416 417 421 430 431 436 444 445 450 452 453 456 459 470 475 476 478 480 490 492 495 497 499 501 503 507 509 510 515 516 518 520 a 1 7 10 16 23 24 26 29 31 35 40 45 46 50 54 56 62 66 68 73 75 79 80 81 84 85 91 93 94 96 97 99 100 103 107 111 112 113 117 118 122 123 132 141 142 143 147 152 153 154 158 161 164 166 169 174 175 177 180 184 185 186 188 193 197 199 200 201 204 208 212 216 219 220 226 228 247 251 254 255 265 267 270 274 284 285 287 289 290 292 293 295 297 299 301 303 304 305 306 307 308 310 312 314 315 316 318 320 321 322 326 333 334 337 339 344 345 346 349 363 372 376 377 384 389 390 396 401 402 403 407 409 416 417 421 430 431 436 444 445 450 452 453 456 459 470 475 476 478 480 490 492 495 497 499 501 503 507 509 510 515 516 518 520 a 1 7 10 16 23 24 26 29 31 35 40 45 46 50 54 56 62 66 68 73 75 80 81 84 85 91 93 94 96 97 99 100 103 107 111 112 113 117 118 122 123 132 141 142 143 147 152 153 154 158 161 164 166 169 174 175 177 180 184 185 186 188 193 197 199 200 201 204 208 212 216 219 220 226 228 230 247 251 254 255 265 267 270 274 284 285 287 289 290 292 293 295 297 299 301 303 304 305 306 307 308 310 312 314 315 316 318 320 321 322 326 333 334 337 339 344 345 346 349 363 372 376 377 384 389 390 396 401 402 403 407 409 416 417 421 430 431 436 444 445 450 452 453 456 459 470 475 476 478 480 490 492 495 497 499 501 503 507 509 510 515 516 518 520 a 1 7 10 16 23 24 26 29 31 35 40 45 46 50 54 56 59 62 66 68 73 75 80 81 84 85 91 93 94 96 97 99 100 103 107 111 112 113 117 118 122 123 132 141 142 143 147 152 153 154 158 161 164 166 169 174 175 177 180 184 185 186 188 193 197 199 200 201 204 208 212 216 219 220 226 228 230 247 251 254 255 265 267 270 274 284 285 287 289 290 292 293 295 297 299 301 303 304 305 306 307 308 310 312 314 315 316 318 320 321 322 326 333 334 337 339 344 345 346 349 363 372 376 377 384 389 390 396 401 402 407 409 416 417 421 430 431 436 444 445 450 452 453 456 459 470 475 476 478 480 490 492 495 497 499 501 503 507 509 510 515 516 518 520 a 1 7 10 16 23 24 26 29 31 35 40 45 46 50 54 56 59 62 66 68 73 75 80 81 84 85 91 93 94 96 97 99 100 103 107 108 111 112 113 117 118 122 123 132 141 142 143 147 152 153 154 158 161 164 166 169 174 175 177 180 184 185 186 188 193 197 199 200 201 204 208 212 216 219 220 226 228 230 247 251 254 255 265 267 270 274 284 285 287 289 290 292 293 295 297 299 301 303 304 305 306 307 308 310 312 314 315 316 318 320 321 322 326 333 334 337 339 344 345 346 349 363 372 376 377 384 389 390 396 401 402 407 409 416 417 421 430 431 436 444 445 450 452 453 456 459 470 475 476 478 490 492 495 497 499 501 503 507 509 510 515 516 518 520 a 1 7 10 16 23 24 26 29 31 35 40 45 46 50 54 56 59 62 66 68 73 75 80 81 84 85 91 93 94 96 97 99 100 103 107 108 111 112 113 117 118 122 123 132 141 142 143 147 152 153 154 158 161 164 166 169 174 175 177 180 184 185 186 188 193 197 199 200 201 204 208 212 216 219 220 226 228 230 247 251 254 255 256 265 267 270 274 284 285 287 289 290 292 293 295 299 301 303 304 305 306 307 308 310 312 314 315 316 318 320 321 322 326 333 334 337 339 344 345 346 349 363 372 376 377 384 389 390 396 401 402 407 409 416 417 421 430 431 436 444 445 450 452 453 456 459 470 475 476 478 490 492 495 497 499 501 503 507 509 510 515 516 518 520 a 1 7 10 16 23 24 26 29 31 35 40 45 46 49 50 54 56 59 62 66 68 73 75 80 81 84 85 91 93 94 96 97 99 100 103 107 108 111 112 113 117 118 122 123 132 141 142 143 147 152 153 154 158 161 164 166 169 174 175 177 180 184 185 186 188 193 197 199 200 201 204 208 212 216 219 220 226 228 230 247 251 254 255 256 265 267 270 274 284 285 287 289 290 292 293 295 299 301 303 304 305 306 307 308 310 312 314 315 316 318 320 321 322 326 333 334 337 339 344 345 346 349 363 372 377 384 389 390 396 401 402 407 409 416 417 421 430 431 436 444 445 450 452 453 456 459 470 475 476 478 490 492 495 497 499 501 503 507 509 510 515 516 518 520 a 1 7 10 16 23 24 26 29 31 35 40 45 46 49 50 54 56 59 62 66 68 73 75 80 81 84 85 91 93 94 96 97 99 100 103 107 108 111 112 113 117 118 122 123 132 141 142 143 147 152 153 154 158 161 164 166 169 174 175 177 180 184 185 186 188 193 197 199 200 201 204 208 212 216 219 220 226 228 230 247 251 254 255 256 265 267 270 274 284 285 287 289 290 292 293 295 299 301 303 304 305 306 307 308 310 312 314 315 316 318 320 321 322 326 333 334 336 337 339 344 345 346 349 363 372 377 384 389 390 396 401 402 407 409 416 417 421 431 436 444 445 450 452 453 456 459 470 475 476 478 490 492 495 497 499 501 503 507 509 510 515 516 518 520 a 1 7 10 16 23 24 26 29 31 35 40 45 46 49 50 54 56 59 62 66 68 73 75 80 81 84 85 91 93 94 96 97 99 100 103 107 108 111 112 113 117 118 122 123 132 141 142 143 147 152 153 154 158 161 164 166 169 174 175 177 180 184 185 186 188 193 197 199 200 201 204 208 212 216 219 220 226 228 230 247 254 255 256 265 267 270 274 284 285 287 289 290 292 293 295 299 301 303 304 305 306 307 308 310 312 314 315 316 318 320 321 322 326 333 334 336 337 339 344 345 346 349 363 372 377 384 389 390 396 401 402 407 409 416 417 421 426 431 436 444 445 450 452 453 456 459 470 475 476 478 490 492 495 497 499 501 503 507 509 510 515 516 518 520 a 1 7 10 16 23 24 26 29 31 35 40 45 46 49 50 54 56 59 62 66 68 73 75 80 81 84 85 91 93 94 96 97 99 100 103 107 108 111 112 113 117 118 122 123 132 141 142 143 147 152 153 154 158 161 164 166 169 174 175 177 180 184 185 186 188 193 197 199 200 201 204 208 212 216 219 220 226 228 230 247 254 255 256 263 265 267 270 274 284 285 287 289 290 292 293 295 299 301 303 304 305 306 307 308 310 312 314 315 316 318 320 321 322 326 334 336 337 339 344 345 346 349 363 372 377 384 389 390 396 401 402 407 409 416 417 421 426 431 436 444 445 450 452 453 456 459 470 475 476 478 490 492 495 497 499 501 503 507 509 510 515 516 518 520 a 1 7 10 16 23 24 26 29 31 35 40 45 46 49 50 54 56 59 62 66 68 73 75 80 81 84 85 91 93 94 96 97 99 100 103 107 108 111 112 113 117 118 122 123 132 141 142 143 147 152 153 154 158 161 164 166 169 174 175 177 180 184 185 186 188 193 197 199 200 201 204 208 212 216 219 220 226 228 230 247 254 255 256 257 263 265 267 270 274 284 285 287 289 290 292 293 295 301 303 304 305 306 307 308 310 312 314 315 316 318 320 321 322 326 334 336 337 339 344 345 346 349 363 372 377 384 389 390 396 401 402 407 409 416 417 421 426 431 436 444 445 450 452 453 456 459 470 475 476 478 490 492 495 497 499 501 503 507 509 510 515 516 518 520 a 1 7 10 16 23 24 26 29 31 35 40 45 46 49 50 54 56 59 62 66 68 73 75 80 81 84 85 91 93 94 96 97 99 100 103 107 108 111 112 113 117 118 122 123 132 141 142 143 147 152 153 154 158 161 164 166 169 174 175 177 180 184 185 186 188 193 197 199 200 201 204 208 212 216 219 220 226 228 230 247 254 255 256 257 258 263 265 267 270 274 284 285 289 290 292 293 295 301 303 304 305 306 307 308 310 312 314 315 316 318 320 321 322 326 334 336 337 339 344 345 346 349 363 372 377 384 389 390 396 401 402 407 409 416 417 421 426 431 436 444 445 450 452 453 456 459 470 475 476 478 490 492 495 497 499 501 503 507 509 510 515 516 518 520 a 1 7 10 16 21 23 24 26 29 31 35 40 45 46 49 50 54 56 59 62 66 68 73 75 80 81 84 85 91 93 94 96 97 99 100 103 107 108 111 112 113 117 118 122 123 132 141 142 143 147 152 153 154 158 161 164 166 169 174 175 177 180 184 185 186 188 193 197 199 200 204 208 212 216 219 220 226 228 230 247 254 255 256 257 258 263 265 267 270 274 284 285 289 290 292 293 295 301 303 304 305 306 307 308 310 312 314 315 316 318 320 321 322 326 334 336 337 339 344 345 346 349 363 372 377 384 389 390 396 401 402 407 409 416 417 421 426 431 436 444 445 450 452 453 456 459 470 475 476 478 490 492 495 497 499 501 503 507 509 510 515 516 518 520 a 1 7 10 21 23 24 26 29 31 35 40 45 46 49 50 54 56 59 62 66 68 73 75 80 81 84 85 91 93 94 96 97 99 100 103 107 108 111 112 113 117 118 122 123 132 141 142 143 147 152 153 154 158 161 164 166 169 174 175 177 180 184 185 186 188 193 197 199 200 204 208 212 216 219 220 226 228 230 247 254 255 256 257 258 263 265 267 270 274 284 285 289 290 292 293 295 301 303 304 305 306 307 308 310 312 314 315 316 318 320 321 322 326 334 336 337 339 344 345 346 349 363 372 377 384 389 390 396 401 402 407 409 416 417 421 426 431 436 444 445 450 452 453 456 459 470 473 475 476 478 490 492 495 497 499 501 503 507 509 510 515 516 518 520 a 1 7 10 21 23 24 26 29 31 35 40 45 46 49 50 54 56 59 62 66 68 73 75 80 81 84 85 91 93 94 96 97 99 100 103 107 108 111 112 113 117 118 122 123 132 141 142 143 147 152 153 154 158 161 164 166 169 174 175 177 180 184 185 186 188 193 197 199 200 204 208 212 216 219 220 226 228 230 247 254 255 256 257 258 263 265 267 270 274 284 285 289 290 292 293 295 301 303 304 305 306 307 308 310 312 314 315 316 318 320 321 322 326 334 336 337 339 344 345 346 349 363 372 377 384 389 390 396 401 402 407 409 416 417 421 426 431 434 436 444 445 450 452 453 456 459 470 473 475 476 478 490 492 495 497 499 501 503 507 509 510 515 516 520 a 1 7 10 21 23 24 26 29 31 35 40 45 46 49 50 54 56 59 62 66 68 73 75 80 81 84 85 91 93 94 96 97 99 100 103 107 108 111 112 113 117 118 122 123 132 141 142 143 147 152 153 154 158 161 164 166 169 174 175 177 180 184 185 186 188 193 197 199 200 204 208 212 216 219 220 226 228 230 247 254 255 256 257 258 263 265 267 270 274 284 285 289 290 292 293 295 301 303 304 305 306 307 308 310 314 315 316 318 320 321 322 326 334 336 337 339 344 345 346 349 358 363 372 377 384 389 390 396 401 402 407 409 416 417 421 426 431 434 436 444 445 450 452 453 456 459 470 473 475 476 478 490 492 495 497 499 501 503 507 509 510 515 516 520 a 1 7 10 21 23 24 26 29 31 35 40 45 46 49 50 52 54 56 59 62 66 68 73 75 80 81 84 85 91 93 94 96 97 99 100 103 107 108 111 112 113 117 118 122 123 132 141 142 143 147 152 153 154 158 161 164 166 169 174 175 177 180 184 185 186 188 193 197 199 200 204 208 212 216 219 220 226 228 230 247 254 255 256 257 258 263 265 267 270 274 284 285 289 290 292 293 295 301 303 304 305 307 308 310 314 315 316 318 320 321 322 326 334 336 337 339 344 345 346 349 358 363 372 377 384 389 390 396 401 402 407 409 416 417 421 426 431 434 436 444 445 450 452 453 456 459 470 473 475 476 478 490 492 495 497 499 501 503 507 509 510 515 516 520 a 1 7 10 21 23 24 26 29 31 35 40 45 46 49 50 52 54 56 59 62 66 68 73 75 80 81 84 85 91 93 94 96 97 99 100 103 107 108 111 112 113 117 118 122 123 132 141 142 143 147 152 153 154 158 161 164 166 169 174 175 177 180 184 185 186 188 193 197 199 200 204 208 212 216 219 220 228 230 247 254 255 256 257 258 263 265 267 270 274 284 285 289 290 292 293 295 301 303 304 305 307 308 310 314 315 316 318 320 321 322 326 334 336 337 339 344 345 346 349 358 363 372 377 384 389 390 396 401 402 407 409 416 417 421 424 426 431 434 436 444 445 450 452 453 456 459 470 473 475 476 478 490 492 495 497 499 501 503 507 509 510 515 516 520 a 1 7 10 21 23 24 26 29 31 35 40 45 46 49 50 52 54 56 59 62 66 68 73 80 81 84 85 91 93 94 96 97 99 100 103 107 108 111 112 113 117 118 122 123 132 141 142 143 147 152 153 154 158 161 164 166 169 174 175 177 180 184 185 186 188 193 197 199 200 204 208 212 216 219 220 228 230 247 254 255 256 257 258 263 265 267 270 274 284 285 289 290 292 293 295 301 303 304 305 307 308 310 314 315 316 318 320 321 322 326 334 336 337 339 344 345 346 349 358 363 372 377 384 389 390 391 396 401 402 407 409 416 417 421 424 426 431 434 436 444 445 450 452 453 456 459 470 473 475 476 478 490 492 495 497 499 501 503 507 509 510 515 516 520 a 1 7 10 21 23 24 26 29 31 35 40 45 46 49 50 52 54 56 59 62 66 68 73 80 81 84 85 91 93 94 96 97 99 100 103 107 108 111 112 113 117 118 122 123 132 141 142 143 147 152 153 154 158 161 164 166 169 174 175 177 180 184 185 186 188 193 197 199 200 204 208 212 216 219 228 230 247 254 255 256 257 258 263 265 267 270 274 284 285 289 290 292 293 295 301 303 304 305 307 308 310 314 315 316 318 320 321 322 326 334 336 337 339 344 345 346 347 349 358 363 372 377 384 389 390 391 396 401 402 407 409 416 417 421 424 426 431 434 436 444 445 450 452 453 456 459 470 473 475 476 478 490 492 495 497 499 501 503 507 509 510 515 516 520 a 1 7 10 21 23 24 26 29 31 35 40 45 46 49 50 52 54 56 59 62 66 68 73 80 81 84 85 91 93 94 96 97 99 100 103 107 108 111 112 113 117 118 122 123 132 141 142 143 147 152 153 154 158 161 164 166 169 174 175 177 180 184 185 186 188 193 197 199 200 204 208 212 216 219 228 230 247 254 255 256 257 258 263 265 267 270 274 284 285 289 290 292 293 295 301 303 304 305 307 308 310 314 316 318 320 321 322 326 334 336 337 339 344 345 346 347 349 358 363 372 377 384 389 390 391 396 401 402 407 409 416 417 421 424 426 431 434 436 444 445 450 452 453 456 459 470 473 475 476 478 490 492 495 497 498 499 501 503 507 509 510 515 516 520 a 1 7 10 21 23 24 26 29 31 35 40 45 46 49 50 52 54 56 59 62 66 68 73 74 80 81 84 85 91 93 94 96 97 99 100 103 107 108 111 112 113 117 118 122 123 132 141 142 143 147 152 153 154 158 161 164 166 169 174 175 177 180 184 185 186 188 193 197 199 200 204 208 212 216 219 228 230 247 254 255 256 257 258 263 265 267 274 284 285 289 290 292 293 295 301 303 304 305 307 308 310 314 316 318 320 321 322 326 334 336 337 339 344 345 346 347 349 358 363 372 377 384 389 390 391 396 401 402 407 409 416 417 421 424 426 431 434 436 444 445 450 452 453 456 459 470 473 475 476 478 490 492 495 497 498 499 501 503 507 509 510 515 516 520 a 1 7 10 21 23 24 26 29 31 35 40 45 46 49 50 52 54 56 59 62 66 68 73 74 80 81 84 85 91 93 94 96 97 99 100 103 107 108 111 112 113 117 118 122 123 132 141 142 143 147 152 153 154 158 161 164 166 169 174 175 177 180 184 185 186 188 193 197 199 200 204 208 212 216 219 228 230 247 254 255 256 257 258 263 265 267 274 284 285 289 290 292 293 295 301 304 305 307 308 310 314 316 318 320 321 322 326 334 336 337 339 344 345 346 347 349 358 363 372 377 384 389 390 391 396 401 402 407 409 416 417 421 424 426 431 434 436 444 445 450 452 453 456 459 470 473 475 476 478 490 492 495 497 498 499 501 503 505 507 509 510 515 516 520 a 1 7 10 21 23 24 26 29 31 35 40 45 46 49 50 52 54 56 59 62 66 68 73 74 80 81 84 85 91 93 94 96 97 99 100 103 107 108 111 112 113 117 118 122 123 132 141 142 143 147 152 153 154 158 161 164 166 169 174 175 177 180 184 185 186 188 193 197 199 200 208 212 216 219 228 230 247 254 255 256 257 258 263 265 267 274 284 285 289 290 292 293 295 301 304 305 307 308 310 314 316 318 320 321 322 326 331 334 336 337 339 344 345 346 347 349 358 363 372 377 384 389 390 391 396 401 402 407 409 416 417 421 424 426 431 434 436 444 445 450 452 453 456 459 470 473 475 476 478 490 492 495 497 498 499 501 503 505 507 509 510 515 516 520 a 1 7 10 21 23 24 26 29 31 35 40 45 46 49 50 52 54 56 59 62 66 68 73 74 80 81 84 85 91 93 94 96 97 99 100 103 107 108 112 113 117 118 122 123 132 141 142 143 147 152 153 154 158 161 164 166 169 174 175 177 180 184 185 186 188 193 197 199 200 205 208 212 216 219 228 230 247 254 255 256 257 258 263 265 267 274 284 285 289 290 292 293 295 301 304 305 307 308 310 314 316 318 320 321 322 326 331 334 336 337 339 344 345 346 347 349 358 363 372 377 384 389 390 391 396 401 402 407 409 416 417 421 424 426 431 434 436 444 445 450 452 453 456 459 470 473 475 476 478 490 492 495 497 498 499 501 503 505 507 509 510 515 516 520 a 1 7 10 21 23 24 26 29 31 35 40 45 46 49 50 52 54 56 59 62 66 68 73 74 80 81 84 85 91 93 94 96 97 99 100 103 107 108 112 113 117 118 122 123 132 141 142 143 147 152 153 154 158 161 164 166 169 174 175 177 180 184 185 186 188 193 197 199 200 205 208 212 216 219 228 230 247 254 255 256 257 258 263 265 267 274 284 285 289 290 292 293 295 301 304 305 307 308 314 316 318 320 321 322 326 331 334 336 337 339 344 345 346 347 349 358 363 372 377 384 389 390 391 396 401 402 407 409 416 417 421 424 426 431 434 436 444 445 450 452 453 456 459 470 473 475 476 478 490 492 495 496 497 498 499 501 503 505 507 509 510 515 516 520 a 1 7 10 17 21 23 24 26 29 31 35 40 45 46 49 50 52 54 56 59 62 66 68 73 74 80 81 84 85 91 93 94 96 97 99 100 103 107 108 112 113 117 118 122 123 132 141 142 143 147 152 153 154 158 161 164 166 169 174 175 177 180 184 185 186 188 193 197 199 200 205 208 212 216 219 228 230 247 254 255 256 257 258 263 265 267 274 284 285 289 290 292 293 295 301 304 305 307 308 314 316 318 320 321 322 326 331 334 336 337 339 344 345 346 347 349 358 363 372 377 384 389 390 391 396 401 402 407 409 416 417 421 424 426 431 434 436 444 445 450 452 453 456 459 470 473 476 478 490 492 495 496 497 498 499 501 503 505 507 509 510 515 516 520 a 1 5 7 10 17 21 23 24 26 29 31 35 40 45 46 49 50 52 54 56 59 62 66 68 73 74 80 81 84 85 91 93 94 96 97 99 100 103 107 108 112 113 117 118 122 123 132 141 142 143 147 152 153 154 158 161 164 166 169 174 175 177 180 184 185 186 188 193 197 199 200 205 208 216 219 228 230 247 254 255 256 257 258 263 265 267 274 284 285 289 290 292 293 295 301 304 305 307 308 314 316 318 320 321 322 326 331 334 336 337 339 344 345 346 347 349 358 363 372 377 384 389 390 391 396 401 402 407 409 416 417 421 424 426 431 434 436 444 445 450 452 453 456 459 470 473 476 478 490 492 495 496 497 498 499 501 503 505 507 509 510 515 516 520 a 1 5 7 10 17 21 23 24 26 29 31 35 40 45 46 49 50 52 54 56 59 62 66 68 73 74 80 81 84 85 91 93 94 96 97 99 100 103 107 108 112 113 117 118 122 123 132 141 142 143 147 152 153 154 158 161 164 166 169 174 175 177 180 184 185 186 188 193 197 199 200 205 208 216 219 228 230 247 254 255 256 257 258 263 265 267 274 285 289 290 292 293 295 301 304 305 307 308 314 316 318 320 321 322 326 331 334 336 337 339 344 345 346 347 349 358 363 372 377 384 389 390 391 396 401 402 407 409 416 417 421 424 426 431 434 436 444 445 450 452 453 456 459 469 470 473 476 478 490 492 495 496 497 498 499 501 503 505 507 509 510 515 516 520 a 1 5 7 10 17 21 23 24 26 29 31 35 40 45 46 49 50 52 54 56 59 62 66 68 73 74 80 81 84 85 91 93 94 96 97 99 100 103 107 108 112 113 117 118 122 123 132 141 142 143 147 152 153 154 158 161 164 166 169 174 175 177 180 184 185 188 193 197 199 200 205 208 216 219 228 230 247 254 255 256 257 258 263 265 267 274 285 289 290 292 293 295 301 304 305 307 308 314 316 318 320 321 322 326 331 334 336 337 339 344 345 346 347 349 358 363 372 377 384 389 390 391 396 401 402 407 409 416 417 421 424 426 431 434 436 444 445 450 452 453 456 459 469 470 473 476 478 490 492 493 495 496 497 498 499 501 503 505 507 509 510 515 516 520 a 1 5 7 10 17 21 23 24 26 29 31 35 40 45 46 49 50 52 54 56 59 62 66 68 73 74 80 81 84 85 91 93 94 96 97 99 100 103 107 108 112 113 117 118 122 123 132 141 142 143 147 152 153 154 158 161 164 166 169 174 175 177 180 184 185 188 193 197 199 200 205 208 216 219 228 230 247 254 255 256 257 258 263 265 274 285 289 290 292 293 295 301 304 305 307 308 314 316 318 320 321 322 326 329 331 334 336 337 339 344 345 346 347 349 358 363 372 377 384 389 390 391 396 401 402 407 409 416 417 421 424 426 431 434 436 444 445 450 452 453 456 459 469 470 473 476 478 490 492 493 495 496 497 498 499 501 503 505 507 509 510 515 516 520 a 1 5 7 10 17 21 23 24 26 29 31 35 40 46 49 50 52 54 56 59 62 66 68 73 74 77 80 81 84 85 91 93 94 96 97 99 100 103 107 108 112 113 117 118 122 123 132 141 142 143 147 152 153 154 158 161 164 166 169 174 175 177 180 184 185 188 193 197 199 200 205 208 216 219 228 230 247 254 255 256 257 258 263 265 274 285 289 290 292 293 295 301 304 305 307 308 314 316 318 320 321 322 326 329 331 334 336 337 339 344 345 346 347 349 358 363 372 377 384 389 390 391 396 401 402 407 409 416 417 421 424 426 431 434 436 444 445 450 452 453 456 459 469 470 473 476 478 490 492 493 495 496 497 498 499 501 503 505 507 509 510 515 516 520 a 1 5 7 10 17 21 23 24 26 29 31 35 37 40 46 49 50 52 54 56 59 62 66 68 73 74 77 80 81 84 85 91 93 94 96 97 99 100 103 107 108 112 113 117 118 122 123 132 141 142 143 147 152 153 154 158 161 164 166 169 174 175 177 180 184 185 188 193 197 199 200 205 208 216 219 228 230 247 254 255 256 257 258 263 265 274 285 289 290 292 293 295 301 304 305 307 308 314 316 318 320 321 322 326 329 331 334 336 337 339 344 345 346 347 349 358 363 372 377 384 389 390 391 396 401 402 407 409 416 417 421 424 426 431 434 444 445 450 452 453 456 459 469 470 473 476 478 490 492 493 495 496 497 498 499 501 503 505 507 509 510 515 516 520 a 1 5 7 10 17 21 23 24 26 29 31 35 37 40 46 49 50 52 54 56 59 62 66 68 73 74 77 80 81 84 85 91 93 94 96 97 99 100 103 107 108 113 117 118 122 123 132 141 142 143 147 152 153 154 158 161 164 166 169 174 175 177 180 184 185 188 193 197 199 200 205 208 216 219 228 230 247 254 255 256 257 258 263 265 274 285 289 290 292 293 295 301 304 305 307 308 314 316 318 320 321 322 326 329 330 331 334 336 337 339 344 345 346 347 349 358 363 372 377 384 389 390 391 396 401 402 407 409 416 417 421 424 426 431 434 444 445 450 452 453 456 459 469 470 473 476 478 490 492 493 495 496 497 498 499 501 503 505 507 509 510 515 516 520 a 1 5 10 17 21 23 24 26 29 31 35 37 40 46 49 50 52 54 56 59 62 66 68 73 74 77 80 81 84 85 91 93 94 96 97 99 100 103 107 108 113 117 118 122 123 132 141 142 143 146 147 152 153 154 158 161 164 166 169 174 175 177 180 184 185 188 193 197 199 200 205 208 216 219 228 230 247 254 255 256 257 258 263 265 274 285 289 290 292 293 295 301 304 305 307 308 314 316 318 320 321 322 326 329 330 331 334 336 337 339 344 345 346 347 349 358 363 372 377 384 389 390 391 396 401 402 407 409 416 417 421 424 426 431 434 444 445 450 452 453 456 459 469 470 473 476 478 490 492 493 495 496 497 498 499 501 503 505 507 509 510 515 516 520 a 1 5 10 17 21 23 24 26 29 31 35 37 40 46 49 50 52 54 56 59 62 66 68 73 74 77 80 81 84 85 91 93 94 96 97 99 100 103 107 108 113 117 118 122 123 132 141 142 143 146 147 152 153 154 158 161 164 166 169 174 177 180 184 185 188 193 197 199 200 205 208 216 219 228 230 247 254 255 256 257 258 263 265 274 282 285 289 290 292 293 295 301 304 305 307 308 314 316 318 320 321 322 326 329 330 331 334 336 337 339 344 345 346 347 349 358 363 372 377 384 389 390 391 396 401 402 407 409 416 417 421 424 426 431 434 444 445 450 452 453 456 459 469 470 473 476 478 490 492 493 495 496 497 498 499 501 503 505 507 509 510 515 516 520 a 1 5 10 17 21 23 24 26 29 31 35 37 40 46 49 50 52 54 56 59 62 66 68 73 74 77 80 81 84 85 91 93 94 96 97 99 100 103 107 108 113 117 118 122 123 132 141 142 143 146 147 153 154 158 161 164 166 169 171 174 177 180 184 185 188 193 197 199 200 205 208 216 219 228 230 247 254 255 256 257 258 263 265 274 282 285 289 290 292 293 295 301 304 305 307 308 314 316 318 320 321 322 326 329 330 331 334 336 337 339 344 345 346 347 349 358 363 372 377 384 389 390 391 396 401 402 407 409 416 417 421 424 426 431 434 444 445 450 452 453 456 459 469 470 473 476 478 490 492 493 495 496 497 498 499 501 503 505 507 509 510 515 516 520 a 1 5 10 17 21 23 24 26 29 31 35 36 37 40 46 49 50 52 54 56 59 62 66 68 73 74 77 80 81 84 85 91 93 94 96 97 99 100 103 107 108 113 117 118 122 123 132 141 142 143 146 147 153 154 158 161 164 166 169 171 174 177 180 184 185 188 193 197 199 200 205 208 216 219 228 230 247 254 255 256 257 258 263 265 274 282 285 289 290 292 293 295 301 304 305 307 308 314 316 318 320 321 322 326 329 330 331 334 336 337 339 344 345 346 347 349 358 363 372 377 384 390 391 396 401 402 407 409 416 417 421 424 426 431 434 444 445 450 452 453 456 459 469 470 473 476 478 490 492 493 495 496 497 498 499 501 503 505 507 509 510 515 516 520 a 1 5 10 17 21 23 24 26 29 31 35 36 37 40 46 49 50 52 54 56 59 62 66 68 73 74 77 80 81 84 85 91 93 94 96 97 99 100 103 107 108 113 117 118 122 123 132 141 142 143 146 147 153 154 158 161 164 166 169 171 174 177 180 184 185 188 193 197 199 200 205 208 216 219 228 230 247 254 255 256 257 258 263 265 274 282 285 288 289 290 292 293 295 301 304 305 307 308 314 316 318 320 321 322 329 330 331 334 336 337 339 344 345 346 347 349 358 363 372 377 384 390 391 396 401 402 407 409 416 417 421 424 426 431 434 444 445 450 452 453 456 459 469 470 473 476 478 490 492 493 495 496 497 498 499 501 503 505 507 509 510 515 516 520 a 1 5 10 17 21 23 24 26 29 31 35 36 37 40 46 49 50 52 54 56 59 62 66 68 73 74 77 80 81 84 85 91 93 94 96 97 99 100 103 107 108 113 117 118 122 123 132 141 142 143 146 147 153 154 158 164 166 169 171 174 177 180 184 185 188 193 197 199 200 205 208 216 217 219 228 230 247 254 255 256 257 258 263 265 274 282 285 288 289 290 292 293 295 301 304 305 307 308 314 316 318 320 321 322 329 330 331 334 336 337 339 344 345 346 347 349 358 363 372 377 384 390 391 396 401 402 407 409 416 417 421 424 426 431 434 444 445 450 452 453 456 459 469 470 473 476 478 490 492 493 495 496 497 498 499 501 503 505 507 509 510 515 516 520 a 1 5 10 17 21 23 24 26 29 31 35 36 37 40 46 49 50 52 54 56 59 62 66 68 73 74 77 80 81 84 85 91 93 94 96 97 99 100 103 107 108 113 118 122 123 132 141 142 143 146 147 153 154 158 164 166 169 171 174 177 180 184 185 188 193 197 199 200 205 208 216 217 218 219 228 230 247 254 255 256 257 258 263 265 274 282 285 288 289 290 292 293 295 301 304 305 307 308 314 316 318 320 321 322 329 330 331 334 336 337 339 344 345 346 347 349 358 363 372 377 384 390 391 396 401 402 407 409 416 417 421 424 426 431 434 444 445 450 452 453 456 459 469 470 473 476 478 490 492 493 495 496 497 498 499 501 503 505 507 509 510 515 516 520 a 1 5 10 17 21 23 24 26 29 31 32 36 37 40 46 49 50 52 54 56 59 62 66 68 73 74 77 80 81 84 85 91 93 94 96 97 99 100 103 107 108 113 118 122 123 132 141 142 143 146 147 153 154 158 164 166 169 171 174 177 180 184 185 188 193 197 199 200 205 208 216 217 218 219 228 230 247 254 255 256 257 258 263 265 274 282 285 288 289 290 292 293 295 301 304 305 307 308 314 316 318 320 321 322 329 330 331 334 336 337 339 344 345 346 347 349 358 363 372 377 384 390 391 396 401 402 407 409 416 417 421 424 426 431 434 444 445 450 452 453 456 459 469 470 473 476 478 490 492 493 495 496 497 498 499 501 503 505 507 509 510 515 516 520 a 1 5 10 17 21 23 24 26 29 31 32 36 37 40 46 49 50 52 54 56 59 62 66 68 73 74 77 80 84 85 91 93 94 96 97 99 100 103 107 108 113 118 122 123 132 141 142 143 146 147 153 154 158 164 166 169 171 174 177 180 184 185 188 193 196 197 199 200 205 208 216 217 218 219 228 230 247 254 255 256 257 258 263 265 274 282 285 288 289 290 292 293 295 301 304 305 307 308 314 316 318 320 321 322 329 330 331 334 336 337 339 344 345 346 347 349 358 363 372 377 384 390 391 396 401 402 407 409 416 417 421 424 426 431 434 444 445 450 452 453 456 459 469 470 473 476 478 490 492 493 495 496 497 498 499 501 503 505 507 509 510 515 516 520 a 1 5 10 17 21 23 24 26 29 31 32 36 37 40 46 49 50 52 54 56 59 62 66 68 73 74 77 80 84 85 91 93 94 96 97 99 100 103 107 108 113 118 122 123 132 141 142 143 146 147 153 154 158 164 166 169 171 174 177 180 184 185 188 193 196 197 199 200 205 208 216 217 218 219 224 228 230 247 254 255 256 257 258 263 265 274 282 285 288 289 290 292 293 295 301 304 305 307 308 314 316 318 320 321 322 329 330 331 334 336 337 339 344 345 346 347 349 358 363 372 377 384 390 391 396 401 402 407 409 416 417 421 424 426 431 434 444 445 450 452 453 456 459 469 470 473 476 478 490 492 493 495 496 497 498 499 501 503 505 507 509 515 516 520 a 1 5 10 17 21 23 24 26 29 31 32 36 37 40 46 49 50 52 54 56 59 62 66 68 73 74 77 80 84 85 91 93 94 96 97 99 100 103 107 108 113 118 122 123 132 141 142 143 146 147 153 154 158 164 166 169 171 174 177 180 184 185 188 193 196 197 199 200 205 208 216 217 218 219 224 228 230 247 248 254 255 256 257 258 263 265 274 282 285 288 289 290 292 293 295 301 304 305 307 308 314 316 318 320 321 322 329 330 331 334 336 337 339 344 345 346 347 349 358 363 372 377 384 390 391 396 401 407 409 416 417 421 424 426 431 434 444 445 450 452 453 456 459 469 470 473 476 478 490 492 493 495 496 497 498 499 501 503 505 507 509 515 516 520 a 1 5 10 17 21 23 24 26 29 31 32 36 37 40 46 49 50 52 54 56 59 62 66 68 73 74 77 80 84 85 91 93 94 96 97 99 100 103 107 108 113 118 121 122 123 132 141 142 143 146 147 153 154 158 164 166 169 171 174 177 180 184 185 188 193 196 197 199 200 205 208 216 217 218 219 224 228 230 247 248 254 255 256 257 258 263 265 274 282 285 288 289 290 292 293 295 301 304 305 307 308 314 316 318 320 321 322 329 330 331 334 336 337 339 344 345 346 347 349 358 363 372 377 384 390 391 396 401 407 409 417 421 424 426 431 434 444 445 450 452 453 456 459 469 470 473 476 478 490 492 493 495 496 497 498 499 501 503 505 507 509 515 516 520 a 1 5 10 17 21 23 24 26 29 31 32 36 37 40 46 49 50 52 54 56 59 62 66 68 73 74 77 80 84 85 91 93 94 96 97 100 103 107 108 113 118 121 122 123 132 141 142 143 146 147 153 154 158 164 166 169 171 174 177 180 184 185 188 193 196 197 199 200 205 208 216 217 218 219 224 228 230 247 248 254 255 256 257 258 263 265 274 282 285 288 289 290 292 293 295 301 304 305 307 308 314 316 318 320 321 322 329 330 331 334 336 337 339 344 345 346 347 349 358 361 363 372 377 384 390 391 396 401 407 409 417 421 424 426 431 434 444 445 450 452 453 456 459 469 470 473 476 478 490 492 493 495 496 497 498 499 501 503 505 507 509 515 516 520 a 1 5 10 17 21 23 24 26 29 31 32 36 37 40 46 49 50 52 54 56 59 62 66 68 73 74 77 80 84 85 91 93 94 96 97 100 103 107 108 113 118 121 122 123 132 141 142 143 145 146 147 153 154 158 164 166 169 171 174 177 180 184 185 188 193 196 197 199 200 205 208 216 217 218 219 224 228 230 247 248 254 255 256 257 258 263 265 274 282 285 288 289 290 292 293 295 301 304 305 307 308 314 316 318 320 321 322 329 330 331 334 336 337 339 344 345 346 347 349 358 361 363 372 377 384 390 391 396 401 407 409 417 421 424 426 431 434 444 445 450 452 453 456 459 469 470 473 476 478 490 492 493 496 497 498 499 501 503 505 507 509 515 516 520 a 1 5 10 17 21 23 24 26 29 31 32 36 37 40 46 49 50 52 54 56 59 62 66 68 73 74 77 80 84 85 91 93 94 96 97 100 103 107 108 113 118 121 122 123 132 141 142 143 145 146 147 153 154 158 164 169 171 174 177 180 184 185 188 193 196 197 199 200 205 208 216 217 218 219 224 228 230 247 248 254 255 256 257 258 263 265 274 282 285 288 289 290 292 293 295 301 304 305 307 308 314 316 318 320 321 322 329 330 331 334 336 337 339 344 345 346 347 349 358 361 363 372 377 384 390 391 396 401 407 409 417 421 424 426 431 432 434 444 445 450 452 453 456 459 469 470 473 476 478 490 492 493 496 497 498 499 501 503 505 507 509 515 516 520 a 1 5 10 17 21 23 24 26 29 31 32 36 37 40 46 49 50 52 54 56 59 62 66 68 73 74 77 80 84 85 91 93 94 96 97 100 103 107 108 113 118 121 122 132 141 142 143 145 146 147 153 154 158 164 169 171 174 177 180 184 185 188 193 196 197 199 200 205 208 216 217 218 219 224 228 230 247 248 254 255 256 257 258 263 265 274 282 285 288 289 290 292 293 295 301 304 305 307 308 314 316 318 320 321 322 329 330 331 334 336 337 339 344 345 346 347 349 358 361 363 372 377 384 390 391 396 401 407 409 417 420 421 424 426 431 432 434 444 445 450 452 453 456 459 469 470 473 476 478 490 492 493 496 497 498 499 501 503 505 507 509 515 516 520 a 1 5 10 17 21 23 24 26 29 31 32 36 37 40 46 49 50 52 54 56 59 62 66 68 73 74 77 80 84 85 91 93 94 96 97 100 103 107 108 113 118 121 122 132 141 142 143 145 146 147 153 154 158 164 169 170 171 174 177 180 184 185 188 193 196 197 199 200 205 208 216 217 218 219 224 230 247 248 254 255 256 257 258 263 265 274 282 285 288 289 290 292 293 295 301 304 305 307 308 314 316 318 320 321 322 329 330 331 334 336 337 339 344 345 346 347 349 358 361 363 372 377 384 390 391 396 401 407 409 417 420 421 424 426 431 432 434 444 445 450 452 453 456 459 469 470 473 476 478 490 492 493 496 497 498 499 501 503 505 507 509 515 516 520 a 1 5 10 17 21 23 24 26 29 31 32 36 37 40 46 49 50 52 54 56 59 62 66 68 73 74 77 80 84 85 91 93 94 96 97 100 107 108 113 118 121 122 132 141 142 143 145 146 147 153 154 158 164 169 170 171 174 177 180 184 185 188 193 196 197 199 200 205 208 216 217 218 219 224 230 247 248 254 255 256 257 258 263 265 274 282 285 288 289 290 292 293 295 298 301 304 305 307 308 314 316 318 320 321 322 329 330 331 334 336 337 339 344 345 346 347 349 358 361 363 372 377 384 390 391 396 401 407 409 417 420 421 424 426 431 432 434 444 445 450 452 453 456 459 469 470 473 476 478 490 492 493 496 497 498 499 501 503 505 507 509 515 516 520 a 1 5 10 17 21 23 24 26 29 31 32 36 37 40 46 49 50 52 54 56 59 62 66 68 73 74 77 80 84 85 91 93 94 96 97 100 107 108 113 118 121 122 132 141 142 143 145 146 147 153 154 158 164 169 170 171 173 174 177 180 184 185 188 193 196 197 199 200 205 208 216 217 218 219 224 230 247 248 254 255 256 257 258 263 265 274 282 285 288 289 290 292 293 295 298 301 304 305 307 308 314 316 318 320 321 322 329 330 331 334 336 337 339 344 345 346 347 349 358 361 363 372 384 390 391 396 401 407 409 417 420 421 424 426 431 432 434 444 445 450 452 453 456 459 469 470 473 476 478 490 492 493 496 497 498 499 501 503 505 507 509 515 516 520 a 1 5 10 17 21 23 24 26 29 31 32 36 37 40 46 49 50 52 54 56 59 62 66 68 73 74 77 80 84 85 91 93 94 96 97 100 107 108 113 118 121 122 132 141 142 143 145 146 147 153 154 158 164 169 170 171 173 174 177 180 184 185 188 193 196 197 199 200 205 208 216 217 218 219 224 230 247 248 254 255 256 257 258 263 265 274 282 285 288 289 290 292 293 295 298 301 304 305 307 308 314 316 318 320 321 322 329 330 331 334 336 337 339 344 345 346 347 349 358 361 363 368 372 384 391 396 401 407 409 417 420 421 424 426 431 432 434 444 445 450 452 453 456 459 469 470 473 476 478 490 492 493 496 497 498 499 501 503 505 507 509 515 516 520 a 1 5 10 17 21 23 24 26 29 31 32 36 37 40 46 49 52 54 56 59 62 66 68 73 74 77 80 84 85 91 93 94 96 97 100 107 108 113 118 121 122 132 141 142 143 145 146 147 153 154 158 164 169 170 171 173 174 177 180 184 185 188 193 196 197 199 200 205 208 216 217 218 219 224 230 233 247 248 254 255 256 257 258 263 265 274 282 285 288 289 290 292 293 295 298 301 304 305 307 308 314 316 318 320 321 322 329 330 331 334 336 337 339 344 345 346 347 349 358 361 363 368 372 384 391 396 401 407 409 417 420 421 424 426 431 432 434 444 445 450 452 453 456 459 469 470 473 476 478 490 492 493 496 497 498 499 501 503 505 507 509 515 516 520 a 1 5 10 17 21 23 24 26 29 31 32 36 37 40 46 49 52 54 56 59 62 66 68 73 74 77 80 84 85 91 93 94 96 97 100 107 108 113 121 122 132 141 142 143 145 146 147 153 154 158 164 169 170 171 173 174 177 180 184 185 188 191 193 196 197 199 200 205 208 216 217 218 219 224 230 233 247 248 254 255 256 257 258 263 265 274 282 285 288 289 290 292 293 295 298 301 304 305 307 308 314 316 318 320 321 322 329 330 331 334 336 337 339 344 345 346 347 349 358 361 363 368 372 384 391 396 401 407 409 417 420 421 424 426 431 432 434 444 445 450 452 453 456 459 469 470 473 476 478 490 492 493 496 497 498 499 501 503 505 507 509 515 516 520 a 1 5 10 17 21 23 24 26 29 31 32 36 37 40 46 49 52 54 56 59 62 66 68 73 74 77 80 84 85 91 93 94 96 97 100 107 108 113 121 122 132 141 142 143 145 146 147 153 154 158 164 169 170 171 173 174 177 180 184 185 188 191 193 196 197 199 200 205 208 216 217 218 219 224 230 233 247 248 254 255 256 257 258 263 274 282 285 288 289 290 292 293 295 298 301 304 305 307 308 314 316 318 320 321 322 329 330 331 334 336 337 339 344 345 346 347 349 358 361 363 368 372 384 391 396 401 407 409 417 420 421 424 426 431 432 434 439 444 445 450 452 453 456 459 469 470 473 476 478 490 492 493 496 497 498 499 501 503 505 507 509 515 516 520 a 1 5 10 17 21 23 24 26 29 31 32 36 37 40 46 49 52 54 56 59 62 66 68 73 74 77 80 84 85 91 93 94 96 97 100 107 108 113 121 122 132 138 141 142 143 145 146 147 153 154 158 164 169 170 171 173 174 177 180 184 185 188 191 193 196 197 199 200 205 208 216 217 218 219 224 230 233 247 248 254 255 256 257 258 263 274 282 285 288 289 290 292 293 295 298 301 304 305 307 308 314 318 320 321 322 329 330 331 334 336 337 339 344 345 346 347 349 358 361 363 368 372 384 391 396 401 407 409 417 420 421 424 426 431 432 434 439 444 445 450 452 453 456 459 469 470 473 476 478 490 492 493 496 497 498 499 501 503 505 507 509 515 516 520 a 1 5 10 17 21 23 24 26 29 31 32 36 37 46 49 52 54 56 59 62 66 68 73 74 77 80 82 84 85 91 93 94 96 97 100 107 108 113 121 122 132 138 141 142 143 145 146 147 153 154 158 164 169 170 171 173 174 177 180 184 185 188 191 193 196 197 199 200 205 208 216 217 218 219 224 230 233 247 248 254 255 256 257 258 263 274 282 285 288 289 290 292 293 295 298 301 304 305 307 308 314 318 320 321 322 329 330 331 334 336 337 339 344 345 346 347 349 358 361 363 368 372 384 391 396 401 407 409 417 420 421 424 426 431 432 434 439 444 445 450 452 453 456 459 469 470 473 476 478 490 492 493 496 497 498 499 501 503 505 507 509 515 516 520 a 1 5 10 17 21 23 24 26 29 31 32 36 37 49 52 54 56 59 62 66 68 70 73 74 77 80 82 84 85 91 93 94 96 97 100 107 108 113 121 122 132 138 141 142 143 145 146 147 153 154 158 164 169 170 171 173 174 177 180 184 185 188 191 193 196 197 199 200 205 208 216 217 218 219 224 230 233 247 248 254 255 256 257 258 263 274 282 285 288 289 290 292 293 295 298 301 304 305 307 308 314 318 320 321 322 329 330 331 334 336 337 339 344 345 346 347 349 358 361 363 368 372 384 391 396 401 407 409 417 420 421 424 426 431 432 434 439 444 445 450 452 453 456 459 469 470 473 476 478 490 492 493 496 497 498 499 501 503 505 507 509 515 516 520 a 1 5 10 17 21 23 24 26 29 31 32 36 37 49 52 54 56 59 62 66 68 70 73 74 77 80 82 84 85 91 93 94 96 97 100 107 108 113 121 122 132 138 141 142 143 145 146 147 153 154 158 164 169 170 171 173 174 177 180 184 185 188 191 193 196 197 199 200 205 208 216 217 218 219 224 230 233 247 248 254 255 256 257 258 263 274 282 285 288 289 290 292 293 295 298 301 304 305 307 308 314 318 320 321 322 329 330 331 334 336 337 339 344 345 346 347 349 358 361 363 368 372 384 391 396 401 407 409 417 420 421 422 424 426 431 432 434 439 444 445 452 453 456 459 469 470 473 476 478 490 492 493 496 497 498 499 501 503 505 507 509 515 516 520 a 1 5 10 17 21 23 24 26 29 31 32 36 37 49 52 54 56 59 62 66 68 70 73 74 77 80 82 84 85 91 93 94 96 97 100 107 108 113 121 122 132 138 141 142 143 145 146 147 153 154 158 164 169 170 171 173 174 177 180 184 185 188 191 193 196 197 199 200 205 208 216 217 218 219 224 230 233 236 247 248 254 255 256 257 258 263 274 282 285 288 289 290 292 293 295 298 304 305 307 308 314 318 320 321 322 329 330 331 334 336 337 339 344 345 346 347 349 358 361 363 368 372 384 391 396 401 407 409 417 420 421 422 424 426 431 432 434 439 444 445 452 453 456 459 469 470 473 476 478 490 492 493 496 497 498 499 501 503 505 507 509 515 516 520 a 5 10 17 21 23 24 26 29 31 32 36 37 49 52 54 56 59 62 65 66 68 70 73 74 77 80 82 84 85 91 93 94 96 97 100 107 108 113 121 122 132 138 141 142 143 145 146 147 153 154 158 164 169 170 171 173 174 177 180 184 185 188 191 193 196 197 199 200 205 208 216 217 218 219 224 230 233 236 247 248 254 255 256 257 258 263 274 282 285 288 289 290 292 293 295 298 304 305 307 308 314 318 320 321 322 329 330 331 334 336 337 339 344 345 346 347 349 358 361 363 368 372 384 391 396 401 407 409 417 420 421 422 424 426 431 432 434 439 444 445 452 453 456 459 469 470 473 476 478 490 492 493 496 497 498 499 501 503 505 507 509 515 516 520 a 5 10 17 21 23 24 26 29 31 32 36 37 49 52 54 56 59 62 65 66 68 70 73 74 77 80 82 84 85 93 94 96 97 100 107 108 113 121 122 132 138 141 142 143 145 146 147 153 154 158 164 169 170 171 172 173 174 177 180 184 185 188 191 193 196 197 199 200 205 208 216 217 218 219 224 230 233 236 247 248 254 255 256 257 258 263 274 282 285 288 289 290 292 293 295 298 304 305 307 308 314 318 320 321 322 329 330 331 334 336 337 339 344 345 346 347 349 358 361 363 368 372 384 391 396 401 407 409 417 420 421 422 424 426 431 432 434 439 444 445 452 453 456 459 469 470 473 476 478 490 492 493 496 497 498 499 501 503 505 507 509 515 516 520 a 5 10 17 21 23 24 26 29 31 32 36 37 49 52 54 56 59 62 65 66 68 70 73 74 77 80 82 84 85 93 94 96 97 100 107 108 113 121 122 138 141 142 143 145 146 147 153 154 158 164 169 170 171 172 173 174 177 180 184 185 188 191 193 196 197 199 200 205 208 216 217 218 219 224 230 233 236 247 248 254 255 256 257 258 263 274 282 285 288 289 290 292 293 295 298 304 305 307 308 314 318 320 321 322 329 330 331 334 336 337 339 344 345 346 347 349 350 358 361 363 368 372 384 391 396 401 407 409 417 420 421 422 424 426 431 432 434 439 444 445 452 453 456 459 469 470 473 476 478 490 492 493 496 497 498 499 501 503 505 507 509 515 516 520 a 5 10 17 21 23 24 26 29 31 32 36 37 49 52 54 56 59 62 65 66 68 70 73 74 77 80 82 84 85 93 94 96 97 100 107 108 113 121 122 138 141 142 143 145 146 147 153 154 158 164 169 170 171 172 173 174 177 180 184 185 188 191 193 196 197 199 200 205 208 216 217 218 219 224 230 233 236 247 248 254 255 256 257 258 263 274 282 285 288 289 290 292 293 295 298 304 305 307 308 314 318 320 321 322 327 329 330 331 334 336 337 344 345 346 347 349 350 358 361 363 368 372 384 391 396 401 407 409 417 420 421 422 424 426 431 432 434 439 444 445 452 453 456 459 469 470 473 476 478 490 492 493 496 497 498 499 501 503 505 507 509 515 516 520 a 5 10 17 21 23 24 26 29 31 32 36 37 49 52 54 56 59 62 65 66 68 70 73 74 77 80 82 84 85 93 94 96 97 100 107 108 113 121 122 138 141 142 143 145 146 147 153 154 158 164 169 170 171 172 173 174 177 180 184 185 188 191 193 196 197 199 200 205 208 216 217 218 219 224 230 233 236 247 248 254 255 256 257 258 263 274 282 285 288 289 290 292 293 295 298 304 305 307 308 318 320 321 322 327 329 330 331 334 336 337 344 345 346 347 349 350 358 361 363 368 372 384 391 396 401 407 409 417 420 421 422 424 426 427 431 432 434 439 444 445 452 453 456 459 469 470 473 476 478 490 492 493 496 497 498 499 501 503 505 507 509 515 516 520 a 5 10 17 21 23 24 26 29 31 32 36 37 49 52 54 56 59 62 65 66 68 70 73 74 77 80 82 84 85 93 94 96 97 100 107 108 113 121 122 138 141 142 143 145 146 147 153 154 158 164 169 170 171 172 173 174 177 180 184 185 188 191 193 196 197 199 200 205 208 216 217 218 219 224 230 233 236 247 248 254 255 256 257 258 263 274 282 285 288 289 290 293 295 298 304 305 307 308 318 320 321 322 327 329 330 331 334 336 337 344 345 346 347 349 350 358 361 363 368 372 384 391 396 401 407 409 417 420 421 422 423 424 426 427 431 432 434 439 444 445 452 453 456 459 469 470 473 476 478 490 492 493 496 497 498 499 501 503 505 507 509 515 516 520 a 5 10 17 21 23 24 26 29 31 32 36 37 49 52 54 56 59 62 65 66 68 70 73 74 77 80 82 84 85 93 94 96 97 100 107 108 113 121 122 138 141 142 143 145 146 147 153 154 158 164 169 170 171 172 173 174 177 179 180 184 185 188 191 193 196 197 199 200 205 208 216 217 218 219 224 230 233 236 247 248 254 255 256 257 258 263 274 282 285 288 289 290 293 295 298 304 305 307 308 318 320 321 322 327 329 330 331 334 336 337 344 345 346 347 349 350 358 361 363 368 372 384 391 396 401 407 409 417 420 421 422 423 424 426 427 431 432 434 439 444 452 453 456 459 469 470 473 476 478 490 492 493 496 497 498 499 501 503 505 507 509 515 516 520 a 5 10 17 21 23 24 26 29 31 32 36 37 43 49 52 54 56 59 62 65 66 68 70 73 74 77 80 82 84 85 93 94 96 97 100 107 108 113 121 122 138 141 142 143 145 146 147 153 154 158 164 169 170 171 172 173 174 177 179 180 184 185 188 191 193 196 197 199 200 205 208 216 217 218 219 224 230 233 236 247 248 254 255 256 257 258 263 274 282 285 288 289 290 293 295 298 304 305 307 308 318 320 321 322 327 329 330 331 334 336 337 344 345 346 347 349 350 358 361 363 368 372 384 391 396 401 407 409 417 420 421 422 423 424 426 427 431 432 434 439 444 452 453 456 459 469 470 473 476 478 490 492 493 496 497 498 499 501 505 507 509 515 516 520 a 5 10 17 21 23 24 26 29 31 32 36 37 43 49 52 54 56 59 62 65 66 68 70 73 74 77 80 82 84 85 93 96 97 100 107 108 113 121 122 138 141 142 143 145 146 147 153 154 158 164 169 170 171 172 173 174 177 179 180 184 185 188 191 193 196 197 199 200 205 208 216 217 218 219 224 230 233 236 247 248 254 255 256 257 258 263 274 282 285 288 289 290 293 295 298 304 305 307 308 318 320 321 322 327 329 330 331 334 336 337 343 344 345 346 347 349 350 358 361 363 368 372 384 391 396 401 407 409 417 420 421 422 423 424 426 427 431 432 434 439 444 452 453 456 459 469 470 473 476 478 490 492 493 496 497 498 499 501 505 507 509 515 516 520 a 5 10 17 21 23 24 26 29 31 32 36 37 43 49 52 54 56 59 62 65 66 68 70 73 74 77 80 82 84 85 93 96 97 100 107 108 113 121 122 127 138 141 142 143 145 146 147 153 154 158 164 169 170 171 172 173 174 177 179 180 184 185 191 193 196 197 199 200 205 208 216 217 218 219 224 230 233 236 247 248 254 255 256 257 258 263 274 282 285 288 289 290 293 295 298 304 305 307 308 318 320 321 322 327 329 330 331 334 336 337 343 344 345 346 347 349 350 358 361 363 368 372 384 391 396 401 407 409 417 420 421 422 423 424 426 427 431 432 434 439 444 452 453 456 459 469 470 473 476 478 490 492 493 496 497 498 499 501 505 507 509 515 516 520 a 5 10 17 21 23 24 26 29 31 32 36 37 43 49 52 54 56 59 62 65 66 68 70 73 74 77 80 82 84 85 93 96 97 100 107 108 109 113 121 122 127 138 141 142 143 145 146 153 154 158 164 169 170 171 172 173 174 177 179 180 184 185 191 193 196 197 199 200 205 208 216 217 218 219 224 230 233 236 247 248 254 255 256 257 258 263 274 282 285 288 289 290 293 295 298 304 305 307 308 318 320 321 322 327 329 330 331 334 336 337 343 344 345 346 347 349 350 358 361 363 368 372 384 391 396 401 407 409 417 420 421 422 423 424 426 427 431 432 434 439 444 452 453 456 459 469 470 473 476 478 490 492 493 496 497 498 499 501 505 507 509 515 516 520 a 5 10 17 21 23 24 26 29 31 32 36 37 43 49 52 54 56 59 62 65 66 68 70 73 74 77 80 82 84 85 93 96 97 100 107 108 109 113 121 122 127 138 141 142 143 145 146 153 154 158 164 169 170 171 172 173 174 179 180 184 185 189 191 193 196 197 199 200 205 208 216 217 218 219 224 230 233 236 247 248 254 255 256 257 258 263 274 282 285 288 289 290 293 295 298 304 305 307 308 318 320 321 322 327 329 330 331 334 336 337 343 344 345 346 347 349 350 358 361 363 368 372 384 391 396 401 407 409 417 420 421 422 423 424 426 427 431 432 434 439 444 452 453 456 459 469 470 473 476 478 490 492 493 496 497 498 499 501 505 507 509 515 516 520 a 5 10 17 21 23 24 26 29 31 32 36 37 43 49 52 54 56 59 62 65 66 68 70 73 74 77 80 82 84 85 93 96 97 100 107 108 109 113 121 122 127 138 141 142 143 145 146 153 154 158 164 169 170 171 172 173 174 179 180 184 185 189 191 193 196 197 199 200 205 208 216 217 218 219 224 230 233 236 247 248 254 255 256 257 258 263 274 281 282 285 288 289 290 293 295 298 304 305 307 308 318 320 321 322 327 329 330 331 334 336 337 343 344 345 346 347 349 350 358 361 363 368 372 384 391 396 401 407 409 417 420 421 422 423 424 426 427 431 432 434 439 444 452 453 456 459 469 470 473 476 490 492 493 496 497 498 499 501 505 507 509 515 516 520 a 5 10 17 21 23 24 26 29 31 32 36 37 43 49 52 54 56 59 62 65 66 68 70 73 74 77 80 82 84 85 93 96 97 100 107 108 109 113 121 122 127 138 141 142 143 145 146 153 154 158 164 169 170 171 172 173 174 179 180 184 185 189 191 193 196 197 199 200 205 208 216 217 218 219 224 230 233 236 247 248 254 255 256 257 258 263 272 274 281 282 285 288 289 290 293 295 298 304 305 307 308 318 320 321 322 327 329 330 331 334 336 337 343 345 346 347 349 350 358 361 363 368 372 384 391 396 401 407 409 417 420 421 422 423 424 426 427 431 432 434 439 444 452 453 456 459 469 470 473 476 490 492 493 496 497 498 499 501 505 507 509 515 516 520 a 5 10 17 21 23 24 29 31 32 36 37 43 49 52 54 56 59 62 65 66 68 70 73 74 77 80 82 84 85 93 96 97 100 107 108 109 113 121 122 127 138 141 142 143 145 146 153 154 158 164 169 170 171 172 173 174 179 180 184 185 189 191 193 196 197 199 200 205 208 216 217 218 219 224 230 233 236 247 248 254 255 256 257 258 263 272 274 281 282 285 288 289 290 293 295 298 304 305 307 308 318 320 321 322 327 329 330 331 334 336 337 343 345 346 347 349 350 358 361 363 368 372 384 391 396 401 407 409 417 420 421 422 423 424 426 427 431 432 434 439 444 452 453 456 459 469 470 473 476 484 490 492 493 496 497 498 499 501 505 507 509 515 516 520 a 5 8 10 17 21 23 24 29 31 32 36 37 43 49 52 54 56 59 62 65 66 68 70 73 74 77 80 82 84 85 93 96 97 100 107 108 109 113 121 122 127 138 141 142 143 145 146 153 154 158 164 169 170 171 172 173 174 179 180 184 185 189 191 193 196 197 199 200 205 208 216 217 218 219 224 230 233 236 247 248 254 255 256 257 258 263 272 274 281 282 285 288 289 290 293 295 298 304 305 307 308 318 320 321 322 327 329 330 331 334 336 337 343 345 346 347 349 350 358 361 363 368 372 384 391 396 401 407 409 420 421 422 423 424 426 427 431 432 434 439 444 452 453 456 459 469 470 473 476 484 490 492 493 496 497 498 499 501 505 507 509 515 516 520 a 5 8 10 17 21 23 24 29 31 32 36 37 43 49 52 54 56 59 62 65 66 68 70 73 74 77 80 82 84 85 93 96 97 100 107 108 109 113 121 122 127 138 141 142 143 145 146 153 154 158 164 169 170 171 172 173 174 179 180 184 185 189 191 193 196 197 199 200 205 208 216 217 218 219 224 230 233 236 247 248 254 255 256 257 258 263 272 274 281 282 285 288 289 290 295 298 304 305 307 308 318 320 321 322 327 329 330 331 334 336 337 343 345 346 347 349 350 358 361 363 368 372 379 384 391 396 401 407 409 420 421 422 423 424 426 427 431 432 434 439 444 452 453 456 459 469 470 473 476 484 490 492 493 496 497 498 499 501 505 507 509 515 516 520 a 5 8 10 17 21 23 24 29 31 32 36 37 43 49 52 54 56 59 62 65 66 68 70 73 74 77 80 82 84 85 93 96 97 100 107 108 109 113 121 122 127 138 141 142 143 145 146 153 154 158 164 169 170 171 172 173 174 179 180 184 185 189 191 193 196 197 199 200 205 208 216 217 218 219 224 230 233 236 247 248 254 255 256 257 258 263 272 274 281 282 285 288 289 290 295 298 304 305 307 308 318 320 321 322 327 329 330 331 334 336 343 345 346 347 349 350 358 361 363 368 372 379 384 391 396 401 407 409 420 421 422 423 424 426 427 431 432 434 439 444 452 453 456 459 469 470 473 476 484 490 492 493 496 497 498 499 501 502 505 507 509 515 516 520 a 5 8 10 17 20 21 23 24 29 31 32 36 37 43 49 52 54 56 59 62 65 66 68 70 73 74 77 80 82 84 85 93 96 97 100 107 108 109 113 121 122 127 138 141 142 143 145 146 153 154 158 164 169 170 171 172 173 174 179 180 184 185 189 191 193 196 197 199 200 205 208 216 217 218 219 224 230 233 236 247 248 254 255 256 257 258 263 272 274 281 282 285 288 289 290 295 298 304 305 307 308 318 320 321 322 327 329 330 331 334 336 343 345 346 347 349 350 358 361 363 368 372 379 384 391 396 401 407 409 420 421 422 423 424 426 427 431 432 434 439 444 452 453 456 459 469 470 473 484 490 492 493 496 497 498 499 501 502 505 507 509 515 516 520 a 5 8 10 17 20 21 23 24 29 31 32 36 37 43 49 52 54 56 59 62 65 66 68 70 73 74 77 80 82 84 85 93 96 97 100 107 108 109 113 121 122 127 138 141 142 143 145 146 153 154 158 164 169 170 171 172 173 174 179 180 184 185 189 191 193 196 197 199 200 205 208 216 217 218 219 224 230 233 236 247 248 254 255 256 257 258 263 272 274 281 282 285 288 289 290 295 298 304 305 307 308 318 320 322 327 329 330 331 334 336 343 345 346 347 349 350 358 361 363 368 372 379 384 391 396 401 407 409 420 421 422 423 424 426 427 431 432 434 435 439 444 452 453 456 459 469 470 473 484 490 492 493 496 497 498 499 501 502 505 507 509 515 516 520 a 5 8 10 17 20 21 23 24 29 31 32 36 37 43 49 52 54 56 59 62 65 66 68 70 73 74 77 80 82 84 85 93 96 97 100 107 108 109 113 121 127 138 141 142 143 145 146 153 154 158 164 169 170 171 172 173 174 179 180 184 185 189 190 191 193 196 197 199 200 205 208 216 217 218 219 224 230 233 236 247 248 254 255 256 257 258 263 272 274 281 282 285 288 289 290 295 298 304 305 307 308 318 320 322 327 329 330 331 334 336 343 345 346 347 349 350 358 361 363 368 372 379 384 391 396 401 407 409 420 421 422 423 424 426 427 431 432 434 435 439 444 452 453 456 459 469 470 473 484 490 492 493 496 497 498 499 501 502 505 507 509 515 516 520 a 5 8 10 17 20 21 23 24 29 31 32 36 37 43 49 52 54 56 59 62 65 66 68 70 73 74 77 82 84 85 93 96 97 100 107 108 109 113 121 127 138 141 142 143 145 146 153 154 158 164 169 170 171 172 173 174 179 180 184 185 189 190 191 193 196 197 199 200 205 208 216 217 218 219 224 230 233 236 247 248 254 255 256 257 258 263 272 274 281 282 285 288 289 290 295 298 304 305 307 308 318 320 322 327 329 330 331 334 336 343 345 346 347 349 350 358 361 363 368 372 379 384 391 396 401 407 409 420 421 422 423 424 426 427 431 432 434 435 439 444 452 453 456 459 465 469 470 473 484 490 492 493 496 497 498 499 501 502 505 507 509 515 516 520 a 4 5 8 10 17 20 21 23 24 29 31 32 36 37 43 49 52 54 56 59 62 65 66 68 70 73 74 77 82 84 85 93 96 97 100 107 108 109 113 121 127 138 141 142 143 145 146 153 154 158 164 169 170 171 172 173 174 179 180 184 185 189 190 191 193 196 197 199 200 205 208 216 217 218 219 224 230 233 236 248 254 255 256 257 258 263 272 274 281 282 285 288 289 290 295 298 304 305 307 308 318 320 322 327 329 330 331 334 336 343 345 346 347 349 350 358 361 363 368 372 379 384 391 396 401 407 409 420 421 422 423 424 426 427 431 432 434 435 439 444 452 453 456 459 465 469 470 473 484 490 492 493 496 497 498 499 501 502 505 507 509 515 516 520 a 4 5 8 10 17 20 21 23 24 29 31 32 36 37 43 49 52 54 56 59 62 65 68 70 73 74 77 82 84 85 93 96 97 100 107 108 109 113 121 127 138 141 142 143 145 146 153 154 158 164 169 170 171 172 173 174 179 180 184 185 189 190 191 193 196 197 199 200 205 208 216 217 218 219 224 230 233 236 248 254 255 256 257 258 263 272 274 281 282 283 285 288 289 290 295 298 304 305 307 308 318 320 322 327 329 330 331 334 336 343 345 346 347 349 350 358 361 363 368 372 379 384 391 396 401 407 409 420 421 422 423 424 426 427 431 432 434 435 439 444 452 453 456 459 465 469 470 473 484 490 492 493 496 497 498 499 501 502 505 507 509 515 516 520 a 4 5 8 10 17 20 21 23 24 29 31 32 36 37 43 49 52 56 59 62 65 68 70 73 74 77 82 84 85 93 96 97 100 107 108 109 110 113 121 127 138 141 142 143 145 146 153 154 158 164 169 170 171 172 173 174 179 180 184 185 189 190 191 193 196 197 199 200 205 208 216 217 218 219 224 230 233 236 248 254 255 256 257 258 263 272 274 281 282 283 285 288 289 290 295 298 304 305 307 308 318 320 322 327 329 330 331 334 336 343 345 346 347 349 350 358 361 363 368 372 379 384 391 396 401 407 409 420 421 422 423 424 426 427 431 432 434 435 439 444 452 453 456 459 465 469 470 473 484 490 492 493 496 497 498 499 501 502 505 507 509 515 516 520 a 4 5 8 10 17 20 21 23 24 31 32 36 37 43 49 52 56 59 62 65 68 70 73 74 77 82 84 85 93 96 97 100 107 108 109 110 113 121 127 138 141 142 143 145 146 153 154 158 164 169 170 171 172 173 174 179 180 184 185 189 190 191 193 196 197 199 200 205 208 216 217 218 219 224 230 233 236 248 254 255 256 257 258 263 272 274 281 282 283 285 288 289 290 295 298 304 305 307 308 318 320 322 327 329 330 331 334 336 343 345 346 347 349 350 358 361 363 364 368 372 379 384 391 396 401 407 409 420 421 422 423 424 426 427 431 432 434 435 439 444 452 453 456 459 465 469 470 473 484 490 492 493 496 497 498 499 501 502 505 507 509 515 516 520 a 4 5 8 10 17 20 21 23 24 31 32 36 37 43 49 52 56 59 62 65 68 70 73 74 77 82 84 85 93 96 97 100 107 108 109 110 113 121 127 138 141 142 143 145 146 153 154 158 164 169 170 171 172 173 174 179 180 184 185 189 190 191 193 196 197 199 200 205 208 216 217 218 219 224 230 233 236 248 254 255 256 257 258 263 272 274 281 282 283 285 288 289 290 295 298 300 304 305 307 308 318 320 322 327 329 330 331 334 336 343 345 346 347 349 350 358 361 363 364 368 379 384 391 396 401 407 409 420 421 422 423 424 426 427 431 432 434 435 439 444 452 453 456 459 465 469 470 473 484 490 492 493 496 497 498 499 501 502 505 507 509 515 516 520 a 4 5 8 10 17 20 21 23 24 31 32 36 37 43 49 52 56 59 62 65 68 70 73 74 77 82 84 85 93 96 97 100 107 108 109 110 113 121 127 138 141 142 143 145 146 153 154 164 169 170 171 172 173 174 179 180 184 185 189 190 191 193 196 197 199 200 205 208 211 216 217 218 219 224 230 233 236 248 254 255 256 257 258 263 272 274 281 282 283 285 288 289 290 295 298 300 304 305 307 308 318 320 322 327 329 330 331 334 336 343 345 346 347 349 350 358 361 363 364 368 379 384 391 396 401 407 409 420 421 422 423 424 426 427 431 432 434 435 439 444 452 453 456 459 465 469 470 473 484 490 492 493 496 497 498 499 501 502 505 507 509 515 516 520 a 4 5 8 10 17 20 21 23 24 31 32 36 37 43 49 52 56 59 62 65 68 70 73 74 77 82 84 85 93 96 97 100 107 108 109 110 113 121 127 138 141 142 143 145 146 153 154 164 169 170 171 172 173 174 179 180 184 185 189 190 191 193 196 197 199 200 205 208 211 216 217 218 219 224 230 233 236 248 254 255 256 257 258 263 272 281 282 283 285 288 289 290 295 298 300 304 305 307 308 318 320 322 327 329 330 331 334 336 343 345 346 347 349 350 358 361 363 364 368 379 384 391 396 401 407 409 420 421 422 423 424 426 427 431 432 434 435 439 444 452 453 456 457 459 465 469 470 473 484 490 492 493 496 497 498 499 501 502 505 507 509 515 516 520 a 4 5 8 10 17 20 21 23 24 27 31 32 36 37 43 49 52 56 59 62 65 68 70 73 74 77 82 84 85 93 96 97 100 107 108 109 110 113 121 127 138 141 142 143 145 146 153 154 164 169 170 171 172 173 174 179 180 184 185 189 190 191 193 196 197 199 200 205 208 211 216 217 218 219 224 230 233 236 248 255 256 257 258 263 272 281 282 283 285 288 289 290 295 298 300 304 305 307 308 318 320 322 327 329 330 331 334 336 343 345 346 347 349 350 358 361 363 364 368 379 384 391 396 401 407 409 420 421 422 423 424 426 427 431 432 434 435 439 444 452 453 456 457 459 465 469 470 473 484 490 492 493 496 497 498 499 501 502 505 507 509 515 516 520 a 4 5 8 10 17 20 21 23 24 27 31 32 36 37 43 49 52 56 59 62 65 70 73 74 77 82 84 85 93 96 97 100 107 108 109 110 113 121 127 133 138 141 142 143 145 146 153 154 164 169 170 171 172 173 174 179 180 184 185 189 190 191 193 196 197 199 200 205 208 211 216 217 218 219 224 230 233 236 248 255 256 257 258 263 272 281 282 283 285 288 289 290 295 298 300 304 305 307 308 318 320 322 327 329 330 331 334 336 343 345 346 347 349 350 358 361 363 364 368 379 384 391 396 401 407 409 420 421 422 423 424 426 427 431 432 434 435 439 444 452 453 456 457 459 465 469 470 473 484 490 492 493 496 497 498 499 501 502 505 507 509 515 516 520 c Step: 111 Command being timed: "python3 run_3.py --shortest -t4 /benchmark/random_instance/random_instance040_graph001.col /benchmark/random_instance/random_instance040_graph001_01.dat" User time (seconds): 3605.64 System time (seconds): 0.75 Percent of CPU this job got: 397% Elapsed (wall clock) time (h:mm:ss or m:ss): 15:06.63 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): 1129684 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 583357 Voluntary context switches: 27258 Involuntary context switches: 7784 Swaps: 0 File system inputs: 0 File system outputs: 904 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Tue Sep 26 03:54:25 2023]