#BEGIN: [Mon Sep 4 15:08:36 2023] #HOST: s03 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: shortest-wallclock-banbaralab2-shortest1 #INSTANCE1: /benchmark/random_instance/random_instance040_graph002.col #INSTANCE2: /benchmark/random_instance/random_instance040_graph002_01.dat #COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab2 --shortest /benchmark/random_instance/random_instance040_graph002.col /benchmark/random_instance/random_instance040_graph002_01.dat c /benchmark/random_instance/random_instance040_graph002.col c /benchmark/random_instance/random_instance040_graph002_01.dat s 473 248 218 260 106 403 507 491 325 1 84 133 292 450 17 443 182 308 127 273 518 4 177 30 511 255 246 388 280 392 461 497 436 335 44 60 441 40 230 103 137 263 293 373 102 59 98 147 463 430 71 318 250 355 315 343 404 196 77 281 237 510 13 155 306 126 334 470 190 465 291 200 35 338 484 135 37 519 202 294 10 225 412 70 28 227 376 140 468 357 270 504 220 265 417 88 142 418 498 95 508 90 99 92 73 500 349 502 11 354 341 162 89 150 342 278 129 159 236 506 322 455 298 492 479 427 454 233 460 445 42 48 203 434 156 253 302 503 15 31 478 424 449 363 187 251 72 266 295 425 489 517 194 486 323 2 275 244 192 353 482 24 476 466 471 423 t 367 389 518 412 62 224 380 114 179 508 216 234 202 384 402 112 339 144 382 258 287 122 223 476 189 447 85 395 42 138 156 341 232 306 450 197 77 414 442 23 219 465 245 347 27 50 495 515 322 9 390 180 11 183 327 228 426 394 139 487 140 130 192 105 37 199 242 475 351 83 368 504 335 92 295 201 227 453 177 505 44 290 319 514 294 511 95 82 330 381 433 214 482 69 8 194 298 454 186 99 238 370 151 143 205 357 425 128 345 168 200 22 323 492 480 366 125 157 479 115 396 61 455 107 285 46 87 137 268 438 413 181 265 420 236 407 373 239 445 383 325 466 84 203 313 225 314 334 270 435 485 72 97 111 220 7 301 68 185 282 78 254 15 506 233 57 a YES a 1 2 4 10 11 13 15 17 24 28 30 31 35 37 40 42 44 48 59 60 70 71 72 73 77 84 88 89 90 92 95 98 99 102 103 106 126 127 129 133 135 137 140 142 147 150 155 156 159 162 177 182 187 190 192 194 196 200 202 203 218 220 225 227 230 233 236 237 244 246 248 250 251 253 255 260 263 265 266 270 273 275 278 280 281 291 292 293 294 295 298 302 306 308 315 318 322 323 325 334 335 338 341 342 343 349 353 354 355 357 363 373 376 388 392 403 404 412 417 418 423 424 425 427 430 434 436 441 443 445 449 450 454 455 460 461 463 465 466 468 470 471 473 476 478 479 482 484 486 489 491 492 497 498 500 502 503 504 506 507 508 510 511 517 518 519 a 1 2 4 10 11 13 15 17 24 28 30 31 35 37 40 42 44 48 59 60 70 71 72 73 77 84 88 89 90 92 95 98 99 102 103 106 112 126 127 129 133 135 137 140 142 147 150 155 156 159 162 177 182 187 190 192 194 196 200 202 203 218 220 225 227 230 233 236 237 244 246 248 250 251 253 255 260 263 265 266 270 273 275 278 280 281 291 293 294 295 298 302 306 308 315 318 322 323 325 334 335 338 341 342 343 349 353 354 355 357 363 373 376 388 392 403 404 412 417 418 423 424 425 427 430 434 436 441 443 445 449 450 454 455 460 461 463 465 466 468 470 471 473 476 478 479 482 484 486 489 491 492 497 498 500 502 503 504 506 507 508 510 511 517 518 519 a 1 2 4 10 11 13 15 17 24 28 30 31 35 37 40 42 44 48 57 59 60 70 71 72 73 77 84 88 89 90 92 95 98 99 102 103 106 112 127 129 133 135 137 140 142 147 150 155 156 159 162 177 182 187 190 192 194 196 200 202 203 218 220 225 227 230 233 236 237 244 246 248 250 251 253 255 260 263 265 266 270 273 275 278 280 281 291 293 294 295 298 302 306 308 315 318 322 323 325 334 335 338 341 342 343 349 353 354 355 357 363 373 376 388 392 403 404 412 417 418 423 424 425 427 430 434 436 441 443 445 449 450 454 455 460 461 463 465 466 468 470 471 473 476 478 479 482 484 486 489 491 492 497 498 500 502 503 504 506 507 508 510 511 517 518 519 a 1 2 4 10 11 13 15 17 24 28 30 31 35 37 40 42 44 48 57 59 60 70 71 72 73 77 84 88 89 90 92 95 98 99 102 103 106 112 127 129 133 135 137 140 142 147 150 155 156 159 162 177 182 187 190 192 194 196 200 202 203 218 220 225 227 230 233 236 237 244 248 250 251 253 255 260 263 265 266 270 273 275 278 280 281 291 293 294 295 298 302 306 308 315 318 322 323 325 334 335 338 341 342 343 349 353 354 355 357 363 373 376 388 392 403 404 412 417 418 423 424 425 427 430 433 434 436 441 443 445 449 450 454 455 460 461 463 465 466 468 470 471 473 476 478 479 482 484 486 489 491 492 497 498 500 502 503 504 506 507 508 510 511 517 518 519 a 1 2 4 10 11 13 15 17 24 27 28 30 31 35 37 40 42 44 48 57 59 60 70 71 72 73 77 84 88 89 90 92 95 98 99 102 103 106 112 127 129 133 135 137 140 142 147 150 155 156 159 162 177 182 187 190 192 194 196 200 202 203 218 220 225 227 230 233 236 237 244 248 250 251 255 260 263 265 266 270 273 275 278 280 281 291 293 294 295 298 302 306 308 315 318 322 323 325 334 335 338 341 342 343 349 353 354 355 357 363 373 376 388 392 403 404 412 417 418 423 424 425 427 430 433 434 436 441 443 445 449 450 454 455 460 461 463 465 466 468 470 471 473 476 478 479 482 484 486 489 491 492 497 498 500 502 503 504 506 507 508 510 511 517 518 519 a 1 2 4 9 10 11 13 15 17 24 27 28 30 31 35 37 40 42 44 48 57 59 60 70 71 72 73 77 84 88 89 90 92 95 98 99 102 103 106 112 127 129 133 135 137 140 142 147 150 155 156 159 162 177 182 187 190 192 194 196 200 202 203 218 220 225 227 230 233 236 237 244 248 250 255 260 263 265 266 270 273 275 278 280 281 291 293 294 295 298 302 306 308 315 318 322 323 325 334 335 338 341 342 343 349 353 354 355 357 363 373 376 388 392 403 404 412 417 418 423 424 425 427 430 433 434 436 441 443 445 449 450 454 455 460 461 463 465 466 468 470 471 473 476 478 479 482 484 486 489 491 492 497 498 500 502 503 504 506 507 508 510 511 517 518 519 a 1 2 4 9 10 11 13 15 17 24 27 28 30 31 35 37 40 42 44 48 57 59 60 70 71 72 73 77 84 88 89 90 92 95 98 99 102 103 106 112 127 129 133 135 137 140 142 147 150 155 156 159 162 177 182 187 190 192 194 196 200 202 203 218 220 225 227 230 233 236 237 244 248 250 255 260 263 265 266 270 273 275 278 280 281 291 293 294 295 298 302 306 308 314 315 318 322 323 325 334 335 338 341 342 343 349 353 354 355 357 363 373 376 388 392 403 404 412 417 418 423 424 425 427 430 433 434 436 441 445 449 450 454 455 460 461 463 465 466 468 470 471 473 476 478 479 482 484 486 489 491 492 497 498 500 502 503 504 506 507 508 510 511 517 518 519 a 1 2 4 9 10 11 13 15 17 24 27 28 30 31 35 37 40 42 44 48 57 59 60 70 71 72 73 77 84 88 89 90 92 95 98 99 102 103 106 112 127 129 133 135 137 140 142 147 150 155 156 159 162 177 182 187 190 192 194 196 200 202 203 218 220 225 227 230 233 236 237 244 248 250 255 260 263 265 266 270 273 275 278 280 281 291 293 294 295 298 302 306 308 314 315 322 323 325 334 335 338 341 342 343 349 353 354 355 357 363 373 376 380 388 392 403 404 412 417 418 423 424 425 427 430 433 434 436 441 445 449 450 454 455 460 461 463 465 466 468 470 471 473 476 478 479 482 484 486 489 491 492 497 498 500 502 503 504 506 507 508 510 511 517 518 519 a 1 2 4 9 10 11 13 15 17 24 27 28 30 31 35 37 40 42 44 48 57 59 60 70 71 72 73 77 84 88 89 90 92 95 97 98 99 102 103 106 112 127 129 133 135 137 140 142 147 150 155 156 159 162 177 182 187 192 194 196 200 202 203 218 220 225 227 230 233 236 237 244 248 250 255 260 263 265 266 270 273 275 278 280 281 291 293 294 295 298 302 306 308 314 315 322 323 325 334 335 338 341 342 343 349 353 354 355 357 363 373 376 380 388 392 403 404 412 417 418 423 424 425 427 430 433 434 436 441 445 449 450 454 455 460 461 463 465 466 468 470 471 473 476 478 479 482 484 486 489 491 492 497 498 500 502 503 504 506 507 508 510 511 517 518 519 a 1 2 4 9 10 11 13 15 17 24 27 28 30 31 35 37 40 42 44 48 57 59 60 70 71 72 73 77 84 88 89 90 92 95 97 98 99 102 103 106 112 127 129 133 135 137 138 140 142 147 150 155 156 159 162 177 182 187 192 194 196 200 202 203 218 220 225 227 230 233 236 237 244 248 250 255 260 263 265 266 270 273 275 278 280 281 291 293 294 295 298 302 306 308 314 315 322 323 325 334 335 338 341 342 343 349 353 354 355 357 363 373 380 388 392 403 404 412 417 418 423 424 425 427 430 433 434 436 441 445 449 450 454 455 460 461 463 465 466 468 470 471 473 476 478 479 482 484 486 489 491 492 497 498 500 502 503 504 506 507 508 510 511 517 518 519 a 1 2 4 9 10 11 13 15 17 24 27 28 30 31 35 37 40 42 44 48 57 59 60 70 71 72 73 77 84 88 89 90 92 95 97 98 99 102 103 106 112 127 129 133 135 137 138 140 142 147 150 155 156 159 162 177 182 187 192 194 196 200 202 203 218 220 225 227 230 233 236 237 244 248 250 255 260 263 265 266 270 273 275 278 280 281 291 293 294 295 298 302 306 308 314 315 322 323 325 334 335 338 341 342 343 349 353 354 355 357 363 366 373 380 388 392 403 404 412 418 423 424 425 427 430 433 434 436 441 445 449 450 454 455 460 461 463 465 466 468 470 471 473 476 478 479 482 484 486 489 491 492 497 498 500 502 503 504 506 507 508 510 511 517 518 519 a 1 2 4 9 10 11 13 15 17 24 27 28 30 31 35 37 40 42 44 48 57 59 60 70 71 72 73 77 84 88 89 90 92 95 97 98 99 102 103 106 112 127 129 133 135 137 138 140 142 147 150 155 156 157 159 162 177 182 187 192 194 196 200 202 203 218 220 225 227 230 233 236 237 244 248 250 255 260 263 265 266 270 273 275 278 280 281 291 293 294 295 298 302 306 308 314 315 322 323 325 334 335 338 341 342 343 349 353 354 355 357 363 366 373 380 388 392 403 404 412 418 423 424 425 427 430 433 434 436 441 445 449 450 454 455 460 461 463 465 466 468 470 471 473 476 478 479 482 484 486 489 491 492 497 498 500 502 503 504 506 508 510 511 517 518 519 a 1 2 4 9 10 11 13 15 17 24 27 28 30 31 35 37 40 42 44 48 57 59 60 70 71 72 73 77 84 88 89 90 92 95 97 98 99 102 106 112 127 129 133 135 137 138 140 142 147 150 155 156 157 159 162 177 182 187 192 194 196 200 202 203 218 220 225 227 230 233 236 237 244 248 250 255 260 263 265 266 268 270 273 275 278 280 281 291 293 294 295 298 302 306 308 314 315 322 323 325 334 335 338 341 342 343 349 353 354 355 357 363 366 373 380 388 392 403 404 412 418 423 424 425 427 430 433 434 436 441 445 449 450 454 455 460 461 463 465 466 468 470 471 473 476 478 479 482 484 486 489 491 492 497 498 500 502 503 504 506 508 510 511 517 518 519 a 1 2 4 9 10 11 13 15 17 24 27 28 30 31 35 37 40 42 44 48 57 59 60 70 71 72 73 77 84 88 89 90 92 95 97 98 99 102 106 112 115 127 129 133 135 137 138 140 142 147 150 155 156 157 159 162 177 182 187 192 194 196 200 202 203 218 220 225 227 230 233 236 237 244 248 250 255 260 263 265 266 268 270 273 275 278 280 281 291 293 294 295 298 302 306 308 314 315 322 323 325 334 335 338 341 342 343 349 353 354 355 357 363 366 373 380 388 392 403 404 412 418 423 424 425 427 430 433 434 436 441 445 449 450 454 455 460 461 463 465 466 470 471 473 476 478 479 482 484 486 489 491 492 497 498 500 502 503 504 506 508 510 511 517 518 519 a 1 2 4 9 10 11 13 15 17 24 27 28 30 31 35 37 40 42 44 48 57 59 60 70 71 72 73 77 84 88 89 90 92 95 97 98 99 102 106 112 115 127 129 133 135 137 138 140 142 147 150 155 156 157 159 162 177 182 187 192 194 196 197 200 202 203 218 220 225 227 233 236 237 244 248 250 255 260 263 265 266 268 270 273 275 278 280 281 291 293 294 295 298 302 306 308 314 315 322 323 325 334 335 338 341 342 343 349 353 354 355 357 363 366 373 380 388 392 403 404 412 418 423 424 425 427 430 433 434 436 441 445 449 450 454 455 460 461 463 465 466 470 471 473 476 478 479 482 484 486 489 491 492 497 498 500 502 503 504 506 508 510 511 517 518 519 a 1 2 4 9 10 11 13 15 17 24 27 28 30 31 35 37 40 42 44 48 57 59 60 70 71 72 73 77 84 88 89 90 92 95 97 98 99 102 106 112 115 127 129 133 135 137 138 140 142 147 150 151 155 156 157 159 162 177 182 187 192 194 196 197 200 202 203 218 220 225 227 233 236 237 244 248 250 255 260 263 265 266 268 270 273 275 278 280 281 291 293 294 295 298 302 306 308 314 315 322 323 325 334 335 338 341 342 343 349 353 354 355 357 363 366 373 380 388 392 403 404 412 418 423 424 425 427 430 433 434 436 441 445 449 450 454 455 460 461 463 465 466 470 471 476 478 479 482 484 486 489 491 492 497 498 500 502 503 504 506 508 510 511 517 518 519 a 1 2 4 9 10 11 13 15 17 24 27 28 30 31 35 37 40 42 44 48 57 59 60 70 71 72 73 77 84 88 89 90 92 95 97 98 99 102 106 112 115 127 129 133 135 137 138 140 142 147 150 151 155 156 157 159 162 177 182 187 192 194 196 197 200 202 203 218 220 225 227 233 236 244 248 250 255 260 263 265 266 268 270 273 275 278 280 281 291 293 294 295 298 302 306 308 314 315 322 323 325 327 334 335 338 341 342 343 349 353 354 355 357 363 366 373 380 388 392 403 404 412 418 423 424 425 427 430 433 434 436 441 445 449 450 454 455 460 461 463 465 466 470 471 476 478 479 482 484 486 489 491 492 497 498 500 502 503 504 506 508 510 511 517 518 519 a 1 2 4 9 10 11 13 15 17 24 27 28 30 31 35 37 40 42 44 48 57 59 60 70 71 72 73 77 84 88 89 90 92 95 97 98 99 102 106 112 115 127 129 133 135 137 138 140 142 147 150 151 155 156 157 162 177 182 187 192 194 196 197 200 202 203 218 220 225 227 233 236 244 245 248 250 255 260 263 265 266 268 270 273 275 278 280 281 291 293 294 295 298 302 306 308 314 315 322 323 325 327 334 335 338 341 342 343 349 353 354 355 357 363 366 373 380 388 392 403 404 412 418 423 424 425 427 430 433 434 436 441 445 449 450 454 455 460 461 463 465 466 470 471 476 478 479 482 484 486 489 491 492 497 498 500 502 503 504 506 508 510 511 517 518 519 a 1 2 4 9 10 11 13 15 17 24 27 28 30 31 35 37 40 42 44 48 57 59 60 70 71 72 73 77 84 88 89 90 92 95 97 98 99 102 106 112 115 127 129 133 135 137 138 140 142 144 147 150 151 155 156 157 162 177 182 187 192 194 196 197 200 202 203 218 220 225 227 233 236 244 245 248 250 255 260 263 265 266 268 270 273 275 278 280 281 291 293 294 295 298 302 306 308 314 315 322 323 325 327 334 335 338 341 342 343 349 353 354 355 357 363 366 373 380 388 392 403 404 412 418 423 424 425 427 430 433 434 436 441 445 449 450 454 455 460 461 463 465 466 470 471 476 478 479 482 484 486 491 492 497 498 500 502 503 504 506 508 510 511 517 518 519 a 1 2 4 9 10 11 13 15 17 24 27 28 30 31 35 37 40 42 44 48 50 57 59 60 70 71 72 73 77 84 88 89 90 92 95 97 98 99 102 106 112 115 127 129 133 135 137 138 140 142 144 147 150 151 155 156 157 162 177 182 187 192 194 196 197 200 202 203 218 220 225 227 233 236 244 245 248 250 255 260 263 265 266 268 270 273 275 278 280 281 291 293 294 295 298 302 306 308 314 315 322 323 325 327 334 335 338 341 342 343 349 353 354 355 357 363 366 373 380 388 392 403 404 412 423 424 425 427 430 433 434 436 441 445 449 450 454 455 460 461 463 465 466 470 471 476 478 479 482 484 486 491 492 497 498 500 502 503 504 506 508 510 511 517 518 519 a 1 2 4 9 10 11 13 15 17 24 27 28 30 31 35 37 40 42 44 46 48 50 57 59 60 70 71 72 73 77 84 88 89 90 92 95 97 98 99 102 106 112 115 127 129 133 135 137 138 140 142 144 147 150 151 155 156 157 162 177 182 187 192 194 196 197 200 202 203 218 220 225 227 233 236 244 245 248 250 255 260 263 265 266 268 270 273 275 278 280 281 291 293 294 295 298 302 306 308 314 315 322 323 325 327 334 335 338 341 342 343 349 353 354 355 357 363 366 373 380 388 392 403 404 412 423 424 425 427 430 433 434 436 441 445 449 450 454 455 460 461 463 465 466 470 471 476 478 479 482 484 486 491 492 497 498 500 503 504 506 508 510 511 517 518 519 a 1 2 4 9 10 11 13 15 17 24 27 28 30 31 35 37 40 42 44 46 48 50 57 59 60 70 71 72 73 77 84 88 89 90 92 95 97 98 99 102 106 112 115 127 129 133 135 137 138 140 142 144 147 150 151 155 156 157 162 177 182 187 192 194 196 197 200 202 203 220 225 227 233 236 244 245 248 250 255 260 263 265 266 268 270 273 275 278 280 281 291 293 294 295 298 302 306 308 314 315 322 323 325 327 334 335 338 341 342 343 349 353 354 355 357 363 366 373 380 388 392 402 403 404 412 423 424 425 427 430 433 434 436 441 445 449 450 454 455 460 461 463 465 466 470 471 476 478 479 482 484 486 491 492 497 498 500 503 504 506 508 510 511 517 518 519 a 1 2 4 9 10 11 13 15 17 24 27 28 30 31 35 37 40 42 44 46 48 50 57 59 60 70 71 72 73 77 84 88 89 90 92 95 97 98 99 102 106 112 115 127 129 133 135 137 138 140 142 144 147 150 151 155 156 157 162 177 182 187 192 194 196 197 200 202 203 220 225 227 233 236 244 245 248 250 255 260 263 265 266 268 270 273 275 278 280 281 291 293 294 295 298 302 306 308 314 315 322 323 325 327 334 335 338 341 342 343 349 353 354 355 357 363 366 373 380 388 392 402 403 404 412 423 424 425 427 430 433 434 436 441 445 449 450 454 455 460 461 465 466 470 471 475 476 478 479 482 484 486 491 492 497 498 500 503 504 506 508 510 511 517 518 519 a 1 2 4 9 10 11 13 15 17 24 27 28 30 31 35 37 40 42 44 46 48 50 57 59 60 70 71 72 73 77 84 88 89 92 95 97 98 99 102 106 112 115 127 129 133 135 137 138 140 142 144 147 150 151 155 156 157 162 177 182 187 192 194 196 197 200 202 203 220 225 227 233 236 244 245 248 250 255 260 263 265 266 268 270 273 275 278 280 281 291 293 294 295 298 302 306 308 314 315 322 323 325 327 334 335 338 341 342 343 349 353 354 355 357 363 366 373 380 388 392 402 403 404 412 423 424 425 427 430 433 434 436 441 445 449 450 454 455 460 461 465 466 470 471 475 476 478 479 482 484 486 491 492 497 498 500 503 504 506 508 510 511 515 517 518 519 a 1 2 4 9 10 11 13 15 17 24 27 28 30 31 35 37 40 42 44 46 48 50 57 59 60 70 71 72 73 77 84 88 89 92 95 97 98 99 102 106 112 115 127 129 133 135 137 138 140 142 144 147 150 151 155 156 157 162 177 182 187 192 194 196 197 200 202 203 220 225 227 233 236 244 245 248 250 255 260 263 265 266 268 270 273 275 278 280 281 291 293 294 295 298 302 306 308 314 315 322 323 325 327 334 335 338 341 342 343 349 353 354 355 357 363 366 370 373 380 388 392 402 403 404 412 424 425 427 430 433 434 436 441 445 449 450 454 455 460 461 465 466 470 471 475 476 478 479 482 484 486 491 492 497 498 500 503 504 506 508 510 511 515 517 518 519 a 1 2 4 9 10 11 13 15 17 24 27 28 30 31 35 37 40 42 44 46 48 50 57 59 60 70 71 72 73 77 84 88 89 92 95 97 98 99 102 106 112 115 129 133 135 137 138 140 142 144 147 150 151 155 156 157 162 177 182 187 192 194 196 197 200 202 203 220 225 227 233 236 244 245 248 250 255 260 263 265 266 268 270 273 275 278 280 281 291 293 294 295 298 302 306 308 314 315 322 323 325 327 334 335 338 341 342 343 349 353 354 355 357 363 366 370 373 380 388 392 402 403 404 412 424 425 427 430 433 434 436 441 445 449 450 454 455 460 461 465 466 470 471 475 476 478 479 480 482 484 486 491 492 497 498 500 503 504 506 508 510 511 515 517 518 519 a 1 2 4 9 10 11 13 15 17 24 27 28 30 31 35 37 40 42 44 46 48 50 57 59 60 70 71 72 73 77 84 88 89 92 95 97 98 99 102 106 112 115 129 133 135 137 138 140 142 144 147 150 151 155 156 157 162 177 182 192 194 196 197 200 202 203 220 225 227 233 236 244 245 248 250 255 260 263 265 266 268 270 273 275 278 280 281 291 293 294 295 298 302 306 308 314 315 322 323 325 327 334 335 338 341 342 343 349 353 354 355 357 363 366 370 373 380 388 392 402 403 404 407 412 424 425 427 430 433 434 436 441 445 449 450 454 455 460 461 465 466 470 471 475 476 478 479 480 482 484 486 491 492 497 498 500 503 504 506 508 510 511 515 517 518 519 a 1 2 4 9 10 11 13 15 17 24 27 28 30 31 35 37 40 42 44 46 48 50 57 59 60 68 70 71 72 73 77 84 88 89 92 95 97 98 99 102 106 112 115 129 133 135 137 138 140 142 144 147 150 151 155 156 157 162 177 182 192 194 196 197 200 202 203 220 225 227 233 236 244 245 248 250 255 260 263 265 266 268 270 273 275 278 280 291 293 294 295 298 302 306 308 314 315 322 323 325 327 334 335 338 341 342 343 349 353 354 355 357 363 366 370 373 380 388 392 402 403 404 407 412 424 425 427 430 433 434 436 441 445 449 450 454 455 460 461 465 466 470 471 475 476 478 479 480 482 484 486 491 492 497 498 500 503 504 506 508 510 511 515 517 518 519 a 1 2 4 9 10 11 13 15 17 24 27 28 30 31 35 37 40 42 44 46 48 50 57 59 60 68 70 71 72 73 77 84 88 89 92 95 97 98 99 102 106 112 115 129 133 135 137 138 140 142 144 147 150 151 155 156 157 162 177 182 192 194 196 197 200 202 203 220 223 225 227 233 236 244 245 248 250 255 260 263 265 266 268 270 273 275 278 280 291 293 294 295 298 302 306 308 314 315 322 323 325 327 334 335 338 341 342 343 349 353 354 355 357 363 366 370 373 380 388 392 402 403 404 407 412 424 425 427 430 433 434 436 441 445 449 450 454 455 460 465 466 470 471 475 476 478 479 480 482 484 486 491 492 497 498 500 503 504 506 508 510 511 515 517 518 519 a 1 2 4 9 10 11 13 15 17 24 27 28 30 31 35 37 40 42 44 46 48 50 57 59 60 68 70 71 72 73 77 84 89 92 95 97 98 99 102 106 112 115 129 133 135 137 138 140 142 144 147 150 151 155 156 157 162 177 182 192 194 196 197 200 202 203 220 223 225 227 233 236 244 245 248 250 255 260 263 265 266 268 270 273 275 278 280 291 293 294 295 298 302 306 308 314 315 322 323 325 327 334 335 338 341 342 343 345 349 353 354 355 357 363 366 370 373 380 388 392 402 403 404 407 412 424 425 427 430 433 434 436 441 445 449 450 454 455 460 465 466 470 471 475 476 478 479 480 482 484 486 491 492 497 498 500 503 504 506 508 510 511 515 517 518 519 a 1 2 4 9 10 11 13 15 17 24 27 28 30 31 35 37 40 42 44 46 48 50 57 59 60 68 70 71 72 73 77 84 89 92 95 97 98 99 106 112 115 129 133 135 137 138 140 142 144 147 150 151 155 156 157 162 177 182 192 194 196 197 200 202 203 220 223 225 227 233 236 244 245 248 250 255 260 263 265 266 268 270 273 275 278 280 291 293 294 295 298 302 306 308 314 315 322 323 325 327 334 335 338 341 342 343 345 349 353 354 355 357 363 366 370 373 380 388 392 402 403 404 407 412 414 424 425 427 430 433 434 436 441 445 449 450 454 455 460 465 466 470 471 475 476 478 479 480 482 484 486 491 492 497 498 500 503 504 506 508 510 511 515 517 518 519 a 1 2 4 9 10 11 13 15 17 24 27 28 30 31 35 37 40 42 44 46 48 50 57 59 60 68 70 71 72 73 77 84 89 92 95 97 98 99 106 112 115 129 133 135 137 138 140 142 144 147 150 151 155 156 157 162 177 182 192 194 196 197 200 202 203 220 223 225 227 233 236 244 245 248 250 255 260 263 265 266 268 270 273 275 278 280 291 293 294 295 298 302 306 308 314 315 322 323 325 327 334 335 338 341 342 343 345 349 353 354 355 357 363 366 370 373 380 388 392 402 403 404 407 412 414 424 425 427 430 433 434 436 441 445 449 450 454 455 460 465 466 470 471 475 476 478 479 480 482 486 491 492 497 498 500 503 504 505 506 508 510 511 515 517 518 519 a 1 2 4 9 10 11 13 15 17 24 27 28 30 31 35 37 40 42 44 46 48 50 57 59 60 68 70 71 72 73 77 84 89 92 95 97 98 99 106 112 115 129 133 135 137 138 140 142 144 150 151 155 156 157 162 177 182 192 194 196 197 200 202 203 220 223 225 227 233 236 244 245 248 250 254 255 260 263 265 266 268 270 273 275 278 280 291 293 294 295 298 302 306 308 314 315 322 323 325 327 334 335 338 341 342 343 345 349 353 354 355 357 363 366 370 373 380 388 392 402 403 404 407 412 414 424 425 427 430 433 434 436 441 445 449 450 454 455 460 465 466 470 471 475 476 478 479 480 482 486 491 492 497 498 500 503 504 505 506 508 510 511 515 517 518 519 a 1 2 4 9 10 11 13 15 17 24 27 28 30 31 35 37 40 42 44 46 48 50 57 59 60 68 70 71 72 73 77 84 89 92 95 97 98 99 112 115 129 133 135 137 138 140 142 144 150 151 155 156 157 162 177 182 183 192 194 196 197 200 202 203 220 223 225 227 233 236 244 245 248 250 254 255 260 263 265 266 268 270 273 275 278 280 291 293 294 295 298 302 306 308 314 315 322 323 325 327 334 335 338 341 342 343 345 349 353 354 355 357 363 366 370 373 380 388 392 402 403 404 407 412 414 424 425 427 430 433 434 436 441 445 449 450 454 455 460 465 466 470 471 475 476 478 479 480 482 486 491 492 497 498 500 503 504 505 506 508 510 511 515 517 518 519 a 1 2 4 9 10 11 13 15 17 24 27 28 30 31 35 37 40 42 44 46 48 50 57 59 60 68 70 71 72 73 77 84 89 92 95 97 99 112 115 129 133 135 137 138 140 142 144 150 151 155 156 157 162 168 177 182 183 192 194 196 197 200 202 203 220 223 225 227 233 236 244 245 248 250 254 255 260 263 265 266 268 270 273 275 278 280 291 293 294 295 298 302 306 308 314 315 322 323 325 327 334 335 338 341 342 343 345 349 353 354 355 357 363 366 370 373 380 388 392 402 403 404 407 412 414 424 425 427 430 433 434 436 441 445 449 450 454 455 460 465 466 470 471 475 476 478 479 480 482 486 491 492 497 498 500 503 504 505 506 508 510 511 515 517 518 519 a 1 2 4 9 10 11 13 15 17 24 27 28 30 31 35 37 40 42 44 46 48 50 57 59 60 68 70 71 72 73 77 84 89 92 95 97 99 112 115 129 133 135 137 138 140 142 144 150 151 155 156 157 162 168 177 182 183 192 194 196 197 200 202 203 220 223 225 227 233 236 242 244 245 248 250 254 255 260 263 265 266 268 270 273 275 278 280 291 293 294 295 298 302 306 308 314 315 322 323 325 327 334 335 338 341 342 343 345 349 353 354 355 357 363 366 370 373 380 388 392 402 403 404 407 412 414 424 425 427 430 433 434 436 441 445 449 450 454 455 460 465 466 470 471 475 476 478 479 480 482 486 491 492 497 498 500 503 504 505 506 508 510 511 515 517 518 a 1 2 4 9 10 11 13 15 17 24 27 28 30 31 35 37 40 42 44 46 48 50 57 59 60 68 70 71 72 73 77 84 89 92 95 97 99 107 112 115 129 133 135 137 138 140 142 144 151 155 156 157 162 168 177 182 183 192 194 196 197 200 202 203 220 223 225 227 233 236 242 244 245 248 250 254 255 260 263 265 266 268 270 273 275 278 280 291 293 294 295 298 302 306 308 314 315 322 323 325 327 334 335 338 341 342 343 345 349 353 354 355 357 363 366 370 373 380 388 392 402 403 404 407 412 414 424 425 427 430 433 434 436 441 445 449 450 454 455 460 465 466 470 471 475 476 478 479 480 482 486 491 492 497 498 500 503 504 505 506 508 510 511 515 517 518 a 1 2 4 9 11 13 15 17 24 27 28 30 31 35 37 40 42 44 46 48 50 57 59 60 68 70 71 72 73 77 84 89 92 95 97 99 107 112 115 129 133 135 137 138 139 140 142 144 151 155 156 157 162 168 177 182 183 192 194 196 197 200 202 203 220 223 225 227 233 236 242 244 245 248 250 254 255 260 263 265 266 268 270 273 275 278 280 291 293 294 295 298 302 306 308 314 315 322 323 325 327 334 335 338 341 342 343 345 349 353 354 355 357 363 366 370 373 380 388 392 402 403 404 407 412 414 424 425 427 430 433 434 436 441 445 449 450 454 455 460 465 466 470 471 475 476 478 479 480 482 486 491 492 497 498 500 503 504 505 506 508 510 511 515 517 518 a 1 2 4 9 11 13 15 17 24 27 28 30 31 35 37 40 42 44 46 48 50 57 59 60 68 70 71 72 73 77 84 89 92 95 97 99 107 112 115 129 133 135 137 138 139 140 142 144 151 155 156 157 162 168 177 182 183 192 194 196 197 200 202 203 220 223 225 227 233 236 242 244 245 248 250 254 255 260 263 265 266 268 270 273 275 278 280 291 293 294 295 298 302 306 308 314 315 322 323 325 327 334 335 338 341 342 343 345 349 353 354 355 357 363 366 370 373 380 388 390 392 402 403 404 407 412 414 424 425 427 430 433 434 436 441 445 450 454 455 460 465 466 470 471 475 476 478 479 480 482 486 491 492 497 498 500 503 504 505 506 508 510 511 515 517 518 a 1 2 4 9 11 13 15 17 24 27 28 30 31 35 37 40 42 44 46 48 50 57 59 60 68 70 71 72 73 77 84 89 92 95 97 99 107 112 115 129 133 135 137 138 139 140 142 144 151 155 156 157 162 168 177 182 183 192 194 196 197 200 202 203 220 223 225 227 233 236 242 244 245 248 250 254 255 260 263 265 266 268 270 273 275 278 280 291 293 294 295 298 302 306 308 314 315 322 323 325 327 330 334 335 338 341 342 343 345 349 353 354 355 357 363 366 370 373 380 388 390 392 402 403 404 407 412 414 424 425 427 430 433 434 436 441 445 450 454 455 460 465 466 470 471 475 476 479 480 482 486 491 492 497 498 500 503 504 505 506 508 510 511 515 517 518 a 1 2 4 9 11 13 15 17 24 27 28 30 31 35 37 40 42 44 46 48 50 57 59 60 68 70 71 72 73 77 84 89 92 95 97 99 107 112 115 129 133 135 137 138 139 140 144 151 155 156 157 162 168 177 182 183 192 194 196 197 200 202 203 220 223 225 227 233 236 242 244 245 248 250 254 255 260 263 265 266 268 270 273 275 278 280 291 293 294 295 298 301 302 306 308 314 315 322 323 325 327 330 334 335 338 341 342 343 345 349 353 354 355 357 363 366 370 373 380 388 390 392 402 403 404 407 412 414 424 425 427 430 433 434 436 441 445 450 454 455 460 465 466 470 471 475 476 479 480 482 486 491 492 497 498 500 503 504 505 506 508 510 511 515 517 518 a 1 2 9 11 13 15 17 24 27 28 30 31 35 37 40 42 44 46 48 50 57 59 60 68 70 71 72 73 77 84 89 92 95 97 99 107 112 115 129 133 135 137 138 139 140 144 151 155 156 157 162 168 177 182 183 186 192 194 196 197 200 202 203 220 223 225 227 233 236 242 244 245 248 250 254 255 260 263 265 266 268 270 273 275 278 280 291 293 294 295 298 301 302 306 308 314 315 322 323 325 327 330 334 335 338 341 342 343 345 349 353 354 355 357 363 366 370 373 380 388 390 392 402 403 404 407 412 414 424 425 427 430 433 434 436 441 445 450 454 455 460 465 466 470 471 475 476 479 480 482 486 491 492 497 498 500 503 504 505 506 508 510 511 515 517 518 a 1 2 9 11 15 17 24 27 28 30 31 35 37 40 42 44 46 48 50 57 59 60 68 70 71 72 73 77 84 89 92 95 97 99 107 112 115 129 133 135 137 138 139 140 144 151 155 156 157 162 168 177 182 183 186 192 194 196 197 200 202 203 220 223 225 227 233 236 242 244 245 248 250 254 255 260 263 265 266 268 270 273 275 278 280 291 293 294 295 298 301 302 306 308 314 315 322 323 325 327 330 334 335 338 341 342 343 345 349 353 354 355 357 363 366 368 370 373 380 388 390 392 402 403 404 407 412 414 424 425 427 430 433 434 436 441 445 450 454 455 460 465 466 470 471 475 476 479 480 482 486 491 492 497 498 500 503 504 505 506 508 510 511 515 517 518 a 1 2 9 11 15 17 24 27 28 30 31 35 37 40 42 44 46 48 50 57 59 60 68 70 71 72 73 77 84 89 92 95 97 99 107 112 115 129 133 135 137 138 139 140 144 151 155 156 157 162 168 177 182 183 186 192 194 196 197 200 202 203 220 223 225 227 233 236 242 244 245 248 250 254 255 260 263 265 266 268 270 273 275 278 280 291 293 294 295 298 301 306 308 314 315 319 322 323 325 327 330 334 335 338 341 342 343 345 349 353 354 355 357 363 366 368 370 373 380 388 390 392 402 403 404 407 412 414 424 425 427 430 433 434 436 441 445 450 454 455 460 465 466 470 471 475 476 479 480 482 486 491 492 497 498 500 503 504 505 506 508 510 511 515 517 518 a 1 2 9 11 15 17 24 27 28 30 31 35 37 40 42 44 46 48 50 57 59 60 68 70 71 72 73 77 82 84 89 92 95 97 99 107 112 115 129 133 135 137 138 139 140 144 151 155 156 157 162 168 177 182 183 186 192 194 196 197 200 202 203 220 223 225 227 233 236 242 244 245 248 250 254 255 260 263 265 266 268 270 273 275 278 280 291 293 294 295 298 301 306 308 314 315 319 322 323 325 327 330 334 335 338 341 342 343 345 349 353 354 355 357 363 366 368 370 373 380 388 390 392 402 403 404 407 412 414 424 425 427 430 433 434 436 441 445 450 454 455 460 465 466 470 471 475 476 479 480 482 486 492 497 498 500 503 504 505 506 508 510 511 515 517 518 a 1 2 9 11 15 17 24 27 28 30 31 35 37 40 42 44 46 48 50 57 59 60 68 70 71 72 73 77 82 84 89 92 95 97 99 107 112 115 129 133 135 137 138 139 140 144 151 155 156 157 162 168 177 182 183 186 192 194 196 197 200 202 203 220 223 225 227 233 236 242 244 245 248 250 254 255 260 263 265 266 268 270 273 275 278 280 293 294 295 298 301 306 308 314 315 319 322 323 325 327 330 334 335 338 341 342 343 345 349 353 354 355 357 363 366 368 370 373 380 381 388 390 392 402 403 404 407 412 414 424 425 427 430 433 434 436 441 445 450 454 455 460 465 466 470 471 475 476 479 480 482 486 492 497 498 500 503 504 505 506 508 510 511 515 517 518 a 1 2 9 11 15 17 24 27 28 30 31 35 37 40 42 44 46 48 50 57 59 60 68 70 71 72 73 77 82 84 89 92 95 97 99 107 112 115 129 133 135 137 138 139 140 144 151 155 156 157 162 168 177 182 183 186 192 194 196 197 200 202 203 220 223 225 227 233 236 242 244 245 248 250 254 258 260 263 265 266 268 270 273 275 278 280 293 294 295 298 301 306 308 314 315 319 322 323 325 327 330 334 335 338 341 342 343 345 349 353 354 355 357 363 366 368 370 373 380 381 388 390 392 402 403 404 407 412 414 424 425 427 430 433 434 436 441 445 450 454 455 460 465 466 470 471 475 476 479 480 482 486 492 497 498 500 503 504 505 506 508 510 511 515 517 518 a 1 2 9 11 15 17 24 27 28 30 31 35 37 40 42 44 46 48 50 57 59 60 68 70 71 72 73 77 82 84 89 92 95 97 99 107 112 115 129 133 135 137 138 139 140 144 151 155 156 157 162 168 177 182 183 186 192 194 196 197 200 202 203 220 223 225 227 233 236 242 244 245 248 250 254 258 260 263 265 266 268 270 273 275 278 280 290 293 294 295 298 301 306 308 314 315 319 322 323 325 327 330 334 335 338 341 342 343 345 349 353 354 355 357 363 366 368 370 373 380 381 388 390 392 402 403 404 407 412 414 424 425 427 430 433 434 436 441 445 450 454 455 460 465 466 471 475 476 479 480 482 486 492 497 498 500 503 504 505 506 508 510 511 515 517 518 a 1 2 9 11 15 17 24 27 28 30 31 35 37 40 42 44 46 48 50 57 59 60 68 70 71 72 73 77 78 82 84 89 92 95 97 99 107 112 115 129 133 135 137 138 139 140 144 151 155 156 157 162 168 177 182 183 186 192 194 196 197 200 202 203 220 223 225 227 233 236 242 245 248 250 254 258 260 263 265 266 268 270 273 275 278 280 290 293 294 295 298 301 306 308 314 315 319 322 323 325 327 330 334 335 338 341 342 343 345 349 353 354 355 357 363 366 368 370 373 380 381 388 390 392 402 403 404 407 412 414 424 425 427 430 433 434 436 441 445 450 454 455 460 465 466 471 475 476 479 480 482 486 492 497 498 500 503 504 505 506 508 510 511 515 517 518 a 1 2 9 11 15 17 24 27 28 30 31 35 37 40 42 44 46 48 50 57 59 60 68 70 71 72 73 77 78 82 84 89 92 95 97 99 107 112 115 129 133 135 137 138 139 140 144 151 155 156 157 162 168 177 182 183 186 192 194 196 197 200 202 203 205 220 223 225 227 233 236 242 245 248 250 254 258 260 263 265 266 268 270 273 275 278 280 290 293 294 295 298 301 306 308 314 315 319 322 323 325 327 330 334 335 338 341 342 343 345 349 354 355 357 363 366 368 370 373 380 381 388 390 392 402 403 404 407 412 414 424 425 427 430 433 434 436 441 445 450 454 455 460 465 466 471 475 476 479 480 482 486 492 497 498 500 503 504 505 506 508 510 511 515 517 518 a 1 2 9 11 15 17 24 27 28 30 31 35 37 40 42 44 46 48 50 57 59 60 62 68 70 71 72 73 77 78 82 84 89 92 95 97 99 107 112 115 129 133 135 137 138 139 140 144 151 155 156 157 162 168 177 182 183 186 192 194 196 197 200 202 203 205 220 223 225 227 233 236 242 245 248 250 254 258 260 263 265 266 268 270 273 275 278 280 290 293 294 295 298 301 306 308 314 315 319 322 323 325 327 330 334 335 338 341 342 343 345 349 354 355 357 363 366 368 370 373 380 381 388 390 392 402 403 404 407 412 414 424 425 427 430 433 434 441 445 450 454 455 460 465 466 471 475 476 479 480 482 486 492 497 498 500 503 504 505 506 508 510 511 515 517 518 a 1 2 9 11 15 17 24 27 28 30 31 35 37 40 42 44 46 48 50 57 59 60 62 68 70 71 72 73 77 78 82 84 92 95 97 99 107 112 115 129 133 135 137 138 139 140 144 151 155 156 157 162 168 177 182 183 186 192 194 196 197 200 201 202 203 205 220 223 225 227 233 236 242 245 248 250 254 258 260 263 265 266 268 270 273 275 278 280 290 293 294 295 298 301 306 308 314 315 319 322 323 325 327 330 334 335 338 341 342 343 345 349 354 355 357 363 366 368 370 373 380 381 388 390 392 402 403 404 407 412 414 424 425 427 430 433 434 441 445 450 454 455 460 465 466 471 475 476 479 480 482 486 492 497 498 500 503 504 505 506 508 510 511 515 517 518 a 1 2 9 11 15 17 24 27 28 30 31 35 37 40 42 44 46 48 50 57 59 60 62 68 70 71 72 73 77 78 82 84 92 95 97 99 107 112 115 129 133 135 137 138 139 140 144 151 155 156 157 162 168 177 182 183 186 192 194 196 197 200 201 202 203 205 220 223 225 227 233 236 242 245 248 250 254 258 260 263 265 266 268 270 273 275 278 280 290 293 294 295 298 301 306 308 314 315 319 322 323 325 327 330 334 335 338 341 342 343 345 347 349 354 357 363 366 368 370 373 380 381 388 390 392 402 403 404 407 412 414 424 425 427 430 433 434 441 445 450 454 455 460 465 466 471 475 476 479 480 482 486 492 497 498 500 503 504 505 506 508 510 511 515 517 518 a 1 2 9 11 15 17 24 27 28 30 31 35 37 40 42 44 46 48 50 57 59 60 62 68 70 71 72 73 77 78 82 84 92 95 97 99 107 112 115 129 133 135 137 138 139 140 144 151 155 156 157 162 168 177 182 183 186 192 194 196 197 200 201 202 203 205 220 223 224 225 227 233 236 242 245 248 250 254 258 260 263 265 266 268 270 273 275 278 280 290 293 294 295 298 301 306 308 314 315 319 322 323 325 327 330 334 335 338 341 342 343 345 347 349 354 357 363 366 368 370 373 380 381 388 390 392 402 403 404 407 412 414 424 425 427 430 433 434 441 445 450 454 455 460 465 466 471 475 476 479 480 482 486 492 497 498 500 504 505 506 508 510 511 515 517 518 a 1 2 9 11 15 17 24 27 28 30 31 35 37 40 42 44 46 48 50 57 59 60 62 68 70 71 72 73 77 78 82 84 92 95 97 99 107 112 115 129 133 135 137 138 139 140 144 151 155 156 157 162 168 177 182 183 186 192 194 196 197 199 200 201 202 203 205 220 223 224 225 227 233 236 242 245 248 250 254 258 263 265 266 268 270 273 275 278 280 290 293 294 295 298 301 306 308 314 315 319 322 323 325 327 330 334 335 338 341 342 343 345 347 349 354 357 363 366 368 370 373 380 381 388 390 392 402 403 404 407 412 414 424 425 427 430 433 434 441 445 450 454 455 460 465 466 471 475 476 479 480 482 486 492 497 498 500 504 505 506 508 510 511 515 517 518 a 1 2 9 11 15 17 24 27 28 30 31 35 37 40 42 44 46 48 50 57 59 60 62 68 70 71 72 73 77 78 82 84 92 95 97 99 107 112 115 125 129 133 135 137 138 139 140 144 151 155 156 157 162 168 177 182 183 186 192 194 196 197 199 200 201 202 203 205 220 223 224 225 227 233 236 242 245 248 250 254 258 263 265 266 268 270 273 275 278 280 290 293 294 295 298 301 306 308 314 315 319 322 323 325 327 330 334 335 338 341 342 343 345 347 349 354 357 363 366 368 370 373 380 381 388 390 392 402 404 407 412 414 424 425 427 430 433 434 441 445 450 454 455 460 465 466 471 475 476 479 480 482 486 492 497 498 500 504 505 506 508 510 511 515 517 518 a 1 2 9 11 15 17 24 27 28 30 31 35 37 40 42 44 46 48 50 57 59 60 62 68 70 71 72 73 77 78 82 84 92 95 97 99 107 112 115 125 129 133 135 137 138 139 140 144 151 155 156 157 162 168 177 182 183 186 192 194 196 197 199 200 201 202 203 205 220 223 224 225 227 233 236 242 245 248 250 254 258 263 265 266 268 270 273 275 278 280 290 293 294 295 298 301 306 308 313 314 315 319 322 323 325 327 330 334 335 338 341 342 343 345 347 349 354 357 363 366 368 370 373 380 381 388 390 392 402 404 407 412 414 424 425 427 430 433 434 441 445 450 454 455 460 465 466 471 475 476 479 480 482 486 492 498 500 504 505 506 508 510 511 515 517 518 a 1 2 9 11 15 17 24 27 28 30 31 37 40 42 44 46 48 50 57 59 60 62 68 70 71 72 73 77 78 82 84 92 95 97 99 107 112 115 125 129 133 135 137 138 139 140 144 151 155 156 157 162 168 177 182 183 186 192 194 196 197 199 200 201 202 203 205 220 223 224 225 227 233 236 242 245 248 250 254 258 263 265 266 268 270 273 275 278 280 282 290 293 294 295 298 301 306 308 313 314 315 319 322 323 325 327 330 334 335 338 341 342 343 345 347 349 354 357 363 366 368 370 373 380 381 388 390 392 402 404 407 412 414 424 425 427 430 433 434 441 445 450 454 455 460 465 466 471 475 476 479 480 482 486 492 498 500 504 505 506 508 510 511 515 517 518 a 1 2 9 11 15 17 24 27 28 30 31 37 40 42 44 46 48 50 57 59 60 62 68 70 71 72 73 77 78 82 84 92 95 97 99 107 112 115 125 129 133 135 137 138 139 140 144 151 155 156 157 162 168 177 182 183 186 192 194 196 197 199 200 201 202 203 205 220 223 224 225 227 233 236 242 245 248 250 254 258 263 265 266 268 270 273 275 278 280 282 290 293 294 295 298 301 306 308 313 314 315 319 322 323 325 327 330 334 335 338 341 342 343 345 347 349 354 357 363 366 368 370 373 380 381 388 390 392 402 404 407 412 414 424 425 427 430 433 434 441 445 447 450 454 455 460 465 466 471 475 476 479 480 482 486 492 498 500 504 505 506 508 511 515 517 518 a 1 2 9 11 15 17 24 27 28 30 37 40 42 44 46 48 50 57 59 60 62 68 70 71 72 73 77 78 82 84 92 95 97 99 107 112 115 125 129 133 135 137 138 139 140 144 151 155 156 157 162 168 177 182 183 186 192 194 196 197 199 200 201 202 203 205 220 223 224 225 227 233 236 242 245 248 250 254 258 263 265 266 268 270 273 275 278 280 282 290 293 294 295 298 301 306 308 313 314 315 319 322 323 325 327 330 334 335 338 341 342 343 345 347 349 351 354 357 363 366 368 370 373 380 381 388 390 392 402 404 407 412 414 424 425 427 430 433 434 441 445 447 450 454 455 460 465 466 471 475 476 479 480 482 486 492 498 500 504 505 506 508 511 515 517 518 a 1 2 9 11 15 24 27 28 30 37 40 42 44 46 48 50 57 59 60 62 68 70 71 72 73 77 78 82 84 92 95 97 99 107 112 115 125 129 133 135 137 138 139 140 144 151 155 156 157 162 168 177 180 182 183 186 192 194 196 197 199 200 201 202 203 205 220 223 224 225 227 233 236 242 245 248 250 254 258 263 265 266 268 270 273 275 278 280 282 290 293 294 295 298 301 306 308 313 314 315 319 322 323 325 327 330 334 335 338 341 342 343 345 347 349 351 354 357 363 366 368 370 373 380 381 388 390 392 402 404 407 412 414 424 425 427 430 433 434 441 445 447 450 454 455 460 465 466 471 475 476 479 480 482 486 492 498 500 504 505 506 508 511 515 517 518 a 1 2 9 11 15 22 24 27 28 37 40 42 44 46 48 50 57 59 60 62 68 70 71 72 73 77 78 82 84 92 95 97 99 107 112 115 125 129 133 135 137 138 139 140 144 151 155 156 157 162 168 177 180 182 183 186 192 194 196 197 199 200 201 202 203 205 220 223 224 225 227 233 236 242 245 248 250 254 258 263 265 266 268 270 273 275 278 280 282 290 293 294 295 298 301 306 308 313 314 315 319 322 323 325 327 330 334 335 338 341 342 343 345 347 349 351 354 357 363 366 368 370 373 380 381 388 390 392 402 404 407 412 414 424 425 427 430 433 434 441 445 447 450 454 455 460 465 466 471 475 476 479 480 482 486 492 498 500 504 505 506 508 511 515 517 518 a 1 2 9 11 15 22 24 27 28 37 40 42 44 46 48 50 57 59 60 62 68 70 71 72 73 77 78 82 84 92 95 97 99 107 112 115 125 129 133 135 137 138 139 140 144 151 155 156 157 162 168 177 180 182 183 186 192 194 196 197 199 200 201 202 203 205 220 223 224 225 227 233 236 242 245 248 250 254 258 263 265 266 268 270 273 275 278 280 282 285 290 293 294 295 298 301 306 308 313 314 315 319 322 323 325 327 330 334 335 338 341 342 343 345 347 349 351 354 357 363 366 368 370 373 380 381 388 390 392 402 404 407 412 414 424 425 427 430 433 434 441 445 447 450 454 455 465 466 471 475 476 479 480 482 486 492 498 500 504 505 506 508 511 515 517 518 a 1 2 9 11 15 22 24 27 28 37 40 42 44 46 48 50 57 59 60 62 68 70 71 72 73 77 78 82 84 92 95 97 99 107 112 115 125 129 133 135 137 138 139 140 144 151 155 156 157 162 168 177 180 182 183 186 192 194 196 197 199 200 201 202 203 205 220 223 224 225 227 233 236 242 245 248 250 254 258 263 265 266 268 270 273 275 278 280 282 285 287 290 293 294 295 298 301 306 308 313 314 319 322 323 325 327 330 334 335 338 341 342 343 345 347 349 351 354 357 363 366 368 370 373 380 381 388 390 392 402 404 407 412 414 424 425 427 430 433 434 441 445 447 450 454 455 465 466 471 475 476 479 480 482 486 492 498 500 504 505 506 508 511 515 517 518 a 1 2 9 11 15 22 24 27 28 37 40 42 44 46 48 50 57 59 60 62 68 70 71 72 77 78 82 84 92 95 97 99 107 112 115 125 129 133 135 137 138 139 140 144 151 155 156 157 162 168 177 180 182 183 186 192 194 196 197 199 200 201 202 203 205 214 220 223 224 225 227 233 236 242 245 248 250 254 258 263 265 266 268 270 273 275 278 280 282 285 287 290 293 294 295 298 301 306 308 313 314 319 322 323 325 327 330 334 335 338 341 342 343 345 347 349 351 354 357 363 366 368 370 373 380 381 388 390 392 402 404 407 412 414 424 425 427 430 433 434 441 445 447 450 454 455 465 466 471 475 476 479 480 482 486 492 498 500 504 505 506 508 511 515 517 518 a 1 2 9 11 15 22 24 27 28 37 40 42 44 46 48 50 57 59 60 62 68 70 71 72 77 78 82 84 92 95 97 99 107 112 115 125 129 133 135 137 138 139 140 144 151 155 156 157 162 168 177 180 182 183 186 192 194 196 197 199 200 201 202 203 205 214 220 223 224 225 227 233 236 242 245 248 250 254 258 263 265 266 268 270 273 275 278 280 282 285 287 290 293 294 295 298 301 306 308 313 314 319 322 323 325 327 330 334 335 338 341 342 343 345 347 349 351 354 357 363 366 368 370 373 380 381 383 388 390 392 402 404 407 412 414 424 425 427 430 433 434 441 445 447 450 454 455 465 466 471 475 476 479 480 482 486 492 498 500 504 505 506 508 511 515 518 a 1 2 9 11 15 22 24 27 28 37 40 42 44 46 48 50 57 59 62 68 70 71 72 77 78 82 84 92 95 97 99 107 112 115 125 129 133 135 137 138 139 140 144 151 155 156 157 162 168 177 180 182 183 186 192 194 196 197 199 200 201 202 203 205 214 220 223 224 225 227 233 236 242 245 248 250 254 258 263 265 266 268 270 273 275 278 280 282 285 287 290 293 294 295 298 301 306 308 313 314 319 322 323 325 327 330 334 335 338 341 342 343 345 347 349 351 354 357 363 366 367 368 370 373 380 381 383 388 390 392 402 404 407 412 414 424 425 427 430 433 434 441 445 447 450 454 455 465 466 471 475 476 479 480 482 486 492 498 500 504 505 506 508 511 515 518 a 1 2 9 11 15 22 24 27 28 37 40 42 44 46 48 50 57 59 62 68 70 71 72 77 78 82 84 92 95 97 99 107 112 115 125 129 133 135 137 138 139 140 144 151 155 156 157 168 177 180 182 183 186 192 194 196 197 199 200 201 202 203 205 214 220 223 224 225 227 233 236 242 245 248 250 254 258 263 265 266 268 270 273 275 278 280 282 285 287 290 293 294 295 298 301 306 308 313 314 319 322 323 325 327 330 334 335 338 341 342 343 345 347 349 351 354 357 363 366 367 368 370 373 380 381 383 388 390 392 402 404 407 412 414 424 425 426 427 430 433 434 441 445 447 450 454 455 465 466 471 475 476 479 480 482 486 492 498 500 504 505 506 508 511 515 518 a 1 2 9 11 15 22 24 27 28 37 40 42 44 46 48 50 57 59 62 68 70 71 72 77 78 82 84 92 95 97 99 107 112 115 125 129 133 135 137 138 139 140 144 151 155 156 157 168 177 180 182 183 186 192 194 196 197 199 200 201 202 203 205 214 220 223 224 225 227 233 236 242 245 248 250 254 258 263 265 268 270 273 275 278 280 282 285 287 290 293 294 295 298 301 306 308 313 314 319 322 323 325 327 330 334 335 338 341 342 343 345 347 349 351 354 357 363 366 367 368 370 373 380 381 383 388 390 392 402 404 407 412 414 424 425 426 427 430 433 434 441 445 447 450 453 454 455 465 466 471 475 476 479 480 482 486 492 498 500 504 505 506 508 511 515 518 a 2 9 11 15 22 24 27 28 37 40 42 44 46 48 50 57 59 62 68 70 71 72 77 78 82 84 92 95 97 99 107 112 114 115 125 129 133 135 137 138 139 140 144 151 155 156 157 168 177 180 182 183 186 192 194 196 197 199 200 201 202 203 205 214 220 223 224 225 227 233 236 242 245 248 250 254 258 263 265 268 270 273 275 278 280 282 285 287 290 293 294 295 298 301 306 308 313 314 319 322 323 325 327 330 334 335 338 341 342 343 345 347 349 351 354 357 363 366 367 368 370 373 380 381 383 388 390 392 402 404 407 412 414 424 425 426 427 430 433 434 441 445 447 450 453 454 455 465 466 471 475 476 479 480 482 486 492 498 500 504 505 506 508 511 515 518 a 2 9 11 15 22 24 27 28 37 40 42 44 46 48 50 57 59 62 68 71 72 77 78 82 84 92 95 97 99 107 112 114 115 125 129 133 135 137 138 139 140 144 151 155 156 157 168 177 180 182 183 186 192 194 196 197 199 200 201 202 203 205 214 220 223 224 225 227 233 236 242 245 248 250 254 258 263 265 268 270 273 275 278 280 282 285 287 290 293 294 295 298 301 306 308 313 314 319 322 323 325 327 330 334 335 338 341 342 343 345 347 349 351 354 357 363 366 367 368 370 373 380 381 383 388 390 392 402 404 407 412 414 424 425 426 427 430 433 434 441 445 447 450 453 454 455 465 466 471 475 476 479 480 482 486 492 498 500 504 505 506 508 511 514 515 518 a 2 9 11 15 22 24 27 28 37 40 42 44 46 48 50 57 59 62 68 71 72 77 78 82 84 92 95 97 99 107 112 114 115 125 129 133 135 137 138 139 140 144 151 155 156 157 168 177 179 180 182 183 186 192 194 196 197 199 200 201 202 203 205 214 220 223 224 225 227 233 236 242 245 248 250 254 258 263 265 268 270 273 275 278 280 282 285 287 290 293 294 295 298 301 306 308 313 314 319 322 323 325 327 330 334 335 338 341 342 343 345 347 349 351 354 357 363 366 367 368 370 373 380 381 383 388 390 392 402 407 412 414 424 425 426 427 430 433 434 441 445 447 450 453 454 455 465 466 471 475 476 479 480 482 486 492 498 500 504 505 506 508 511 514 515 518 a 2 9 11 15 22 24 27 28 37 40 42 44 46 48 50 57 59 62 68 71 72 77 78 82 84 92 95 97 99 107 112 114 115 125 129 133 135 137 138 139 140 143 144 151 155 156 157 168 177 179 180 182 183 186 192 194 196 197 199 200 201 202 203 205 214 220 223 224 225 227 233 236 242 245 248 250 254 258 263 265 268 270 273 275 278 280 282 285 287 290 293 294 295 298 301 306 308 313 314 319 322 323 325 327 330 334 335 338 341 342 343 345 347 349 351 354 357 366 367 368 370 373 380 381 383 388 390 392 402 407 412 414 424 425 426 427 430 433 434 441 445 447 450 453 454 455 465 466 471 475 476 479 480 482 486 492 498 500 504 505 506 508 511 514 515 518 a 2 9 11 15 22 24 27 28 37 40 42 44 46 48 50 57 59 62 68 71 72 77 78 82 84 85 92 95 97 99 107 112 114 115 125 129 133 135 137 138 139 140 143 144 151 155 156 157 168 177 179 180 182 183 186 192 194 196 197 199 200 201 202 203 205 214 220 223 224 225 227 233 236 242 245 248 250 254 258 263 265 268 270 273 275 278 280 282 285 287 290 293 294 295 298 301 306 308 313 314 319 322 323 325 327 330 334 335 338 341 342 343 345 347 349 351 354 357 366 367 368 370 373 380 381 383 388 390 392 402 407 412 414 424 425 426 427 430 433 434 441 445 447 450 453 454 455 465 466 471 475 476 479 480 482 486 492 498 504 505 506 508 511 514 515 518 a 2 9 11 15 22 24 27 28 37 40 42 44 46 48 50 57 59 62 68 71 72 77 78 82 84 85 92 95 97 99 107 112 114 115 125 129 133 135 137 138 139 140 143 144 151 155 156 157 168 177 179 180 183 186 192 194 196 197 199 200 201 202 203 205 214 220 223 224 225 227 233 236 242 245 248 250 254 258 263 265 268 270 273 275 278 280 282 285 287 290 293 294 295 298 301 306 308 313 314 319 322 323 325 327 330 334 335 338 341 342 343 345 347 349 351 354 357 366 367 368 370 373 380 381 383 388 390 392 402 407 412 414 424 425 426 427 430 433 434 441 445 447 450 453 454 455 465 466 471 475 476 479 480 482 486 492 495 498 504 505 506 508 511 514 515 518 a 2 9 11 15 22 24 27 28 37 40 42 44 46 48 50 57 59 61 62 68 71 72 77 78 82 84 85 92 95 97 99 107 112 114 115 125 129 133 135 137 138 139 140 143 144 151 155 156 157 168 177 179 180 183 186 192 194 196 197 199 200 201 202 203 205 214 220 223 224 225 227 233 236 242 245 248 250 254 258 263 265 268 270 273 275 278 280 282 285 287 290 293 294 295 298 301 306 308 313 314 319 322 323 325 327 330 334 335 338 341 342 343 345 347 349 351 354 357 366 367 368 370 373 380 381 383 388 390 392 402 407 412 414 424 425 426 427 430 433 434 441 445 447 450 453 454 455 465 466 471 475 476 479 480 482 486 492 495 504 505 506 508 511 514 515 518 a 2 9 11 15 22 24 27 28 37 40 42 44 46 48 50 57 59 61 62 68 71 72 77 78 82 83 84 85 92 95 97 99 107 112 114 115 125 129 133 135 137 138 139 140 143 144 151 155 156 157 168 177 179 180 183 186 192 194 196 197 199 200 201 202 203 205 214 220 223 224 225 227 233 236 242 245 248 250 254 258 263 265 268 270 273 275 278 280 282 285 287 290 293 294 295 298 301 306 308 313 314 319 322 323 325 327 330 334 335 338 341 342 343 345 347 349 351 354 357 366 367 368 370 373 380 381 383 388 390 392 402 407 412 414 424 425 426 427 430 433 441 445 447 450 453 454 455 465 466 471 475 476 479 480 482 486 492 495 504 505 506 508 511 514 515 518 a 2 9 11 15 22 24 27 28 37 40 42 44 46 48 50 57 59 61 62 68 71 72 77 78 82 83 84 85 92 95 97 99 107 112 114 115 125 129 130 133 135 137 138 139 140 143 144 151 155 156 157 168 177 179 180 183 186 192 194 196 197 199 200 201 202 203 205 214 220 223 224 225 227 233 236 242 245 248 250 254 258 263 265 268 270 273 275 278 280 282 285 287 290 293 294 295 298 301 306 308 313 314 319 322 323 325 327 330 334 335 338 341 343 345 347 349 351 354 357 366 367 368 370 373 380 381 383 388 390 392 402 407 412 414 424 425 426 427 430 433 441 445 447 450 453 454 455 465 466 471 475 476 479 480 482 486 492 495 504 505 506 508 511 514 515 518 a 2 9 11 15 22 24 27 28 37 40 42 44 46 48 50 57 59 61 62 68 71 72 77 78 82 83 84 85 92 95 97 99 107 112 114 115 125 129 130 133 135 137 138 139 140 143 144 151 155 156 157 168 177 179 180 183 186 192 194 196 197 199 200 201 202 203 205 214 220 223 224 225 227 233 236 242 245 248 250 254 258 263 265 268 270 273 275 278 280 282 285 287 290 293 294 295 298 301 306 308 313 314 319 322 323 325 327 330 334 335 341 343 345 347 349 351 354 357 366 367 368 370 373 380 381 383 388 390 392 394 402 407 412 414 424 425 426 427 430 433 441 445 447 450 453 454 455 465 466 471 475 476 479 480 482 486 492 495 504 505 506 508 511 514 515 518 a 9 11 15 22 24 27 28 37 40 42 44 46 48 50 57 59 61 62 68 71 72 77 78 82 83 84 85 92 95 97 99 107 112 114 115 125 129 130 133 135 137 138 139 140 143 144 151 155 156 157 168 177 179 180 183 186 192 194 196 197 199 200 201 202 203 205 214 220 223 224 225 227 232 233 236 242 245 248 250 254 258 263 265 268 270 273 275 278 280 282 285 287 290 293 294 295 298 301 306 308 313 314 319 322 323 325 327 330 334 335 341 343 345 347 349 351 354 357 366 367 368 370 373 380 381 383 388 390 392 394 402 407 412 414 424 425 426 427 430 433 441 445 447 450 453 454 455 465 466 471 475 476 479 480 482 486 492 495 504 505 506 508 511 514 515 518 a 9 11 15 22 24 27 28 37 40 42 44 46 48 50 57 59 61 62 68 71 72 77 78 82 83 84 85 92 95 97 99 107 112 114 115 125 129 130 133 135 137 138 139 140 143 144 151 155 156 157 168 177 179 180 183 186 192 194 196 197 199 200 201 202 203 205 214 220 223 224 225 227 232 233 236 242 245 248 250 254 258 263 265 268 270 275 278 280 282 285 287 290 293 294 295 298 301 306 308 313 314 319 322 323 325 327 330 334 335 341 343 345 347 349 351 354 357 366 367 368 370 373 380 381 383 388 390 392 394 402 407 412 414 424 425 426 427 430 433 438 441 445 447 450 453 454 455 465 466 471 475 476 479 480 482 486 492 495 504 505 506 508 511 514 515 518 a 9 11 15 22 24 27 28 37 40 42 44 46 48 50 57 59 61 62 68 71 72 77 78 82 83 84 85 92 95 97 99 107 112 114 115 125 129 130 133 135 137 138 139 140 143 144 151 155 156 157 168 177 179 180 183 186 192 194 196 197 199 200 201 202 203 205 214 220 223 224 225 227 232 233 236 238 242 245 248 250 254 258 263 265 268 270 275 278 280 282 285 287 290 293 294 295 298 301 306 308 313 314 319 322 323 325 327 330 334 335 341 343 345 347 349 351 354 357 366 367 368 370 373 380 381 383 388 390 392 394 402 407 412 414 424 425 426 427 433 438 441 445 447 450 453 454 455 465 466 471 475 476 479 480 482 486 492 495 504 505 506 508 511 514 515 518 a 9 11 15 22 24 27 28 37 40 42 44 46 48 50 57 59 61 62 68 71 72 77 78 82 83 84 85 92 95 97 99 107 112 114 115 125 129 130 133 135 137 138 139 140 143 144 151 155 156 157 168 177 179 180 181 183 186 192 194 196 197 199 200 201 202 203 205 214 220 223 224 225 227 232 233 236 238 242 245 250 254 258 263 265 268 270 275 278 280 282 285 287 290 293 294 295 298 301 306 308 313 314 319 322 323 325 327 330 334 335 341 343 345 347 349 351 354 357 366 367 368 370 373 380 381 383 388 390 392 394 402 407 412 414 424 425 426 427 433 438 441 445 447 450 453 454 455 465 466 471 475 476 479 480 482 486 492 495 504 505 506 508 511 514 515 518 a 7 9 11 15 22 24 27 28 37 40 42 44 46 48 50 57 59 61 62 68 71 72 77 78 82 83 84 85 92 95 97 99 107 112 114 115 125 129 130 133 135 137 138 139 140 143 144 151 155 156 157 168 177 179 180 181 183 186 192 194 196 197 199 200 201 202 203 205 214 220 223 224 225 227 232 233 236 238 242 245 250 254 258 263 265 268 270 275 278 280 282 285 287 290 293 294 295 298 301 306 308 313 314 319 322 323 325 327 330 334 335 341 343 345 347 349 351 354 357 366 367 368 370 373 380 381 383 388 390 392 394 402 407 412 414 424 425 426 427 433 438 445 447 450 453 454 455 465 466 471 475 476 479 480 482 486 492 495 504 505 506 508 511 514 515 518 a 7 9 11 15 22 24 27 28 37 40 42 44 46 50 57 59 61 62 68 71 72 77 78 82 83 84 85 92 95 97 99 107 112 114 115 125 129 130 133 135 137 138 139 140 143 144 151 155 156 157 168 177 179 180 181 183 186 192 194 196 197 199 200 201 202 203 205 214 220 223 224 225 227 232 233 236 238 242 245 250 254 258 263 265 268 270 275 278 280 282 285 287 290 293 294 295 298 301 306 308 313 314 319 322 323 325 327 330 334 335 341 343 345 347 349 351 354 357 366 367 368 370 373 380 381 382 383 388 390 392 394 402 407 412 414 424 425 426 427 433 438 445 447 450 453 454 455 465 466 471 475 476 479 480 482 486 492 495 504 505 506 508 511 514 515 518 a 7 9 11 15 22 27 28 37 40 42 44 46 50 57 59 61 62 68 71 72 77 78 82 83 84 85 92 95 97 99 107 112 114 115 125 129 130 133 135 137 138 139 140 143 144 151 155 156 157 168 177 179 180 181 183 186 192 194 196 197 199 200 201 202 203 205 214 220 223 224 225 227 232 233 236 238 242 245 250 254 258 263 265 268 270 275 278 280 282 285 287 290 293 294 295 298 301 306 308 313 314 319 322 323 325 327 330 334 335 341 343 345 347 349 351 354 357 366 367 368 370 373 380 381 382 383 388 390 392 394 402 407 412 414 424 425 426 427 433 438 445 447 450 453 454 455 465 466 471 475 476 479 480 482 486 487 492 495 504 505 506 508 511 514 515 518 a 7 9 11 15 22 27 28 37 40 42 44 46 50 57 59 61 62 68 69 71 72 77 78 82 83 84 85 92 95 97 99 107 112 114 115 125 129 130 133 135 137 138 139 140 143 144 151 156 157 168 177 179 180 181 183 186 192 194 196 197 199 200 201 202 203 205 214 220 223 224 225 227 232 233 236 238 242 245 250 254 258 263 265 268 270 275 278 280 282 285 287 290 293 294 295 298 301 306 308 313 314 319 322 323 325 327 330 334 335 341 343 345 347 349 351 354 357 366 367 368 370 373 380 381 382 383 388 390 392 394 402 407 412 414 424 425 426 427 433 438 445 447 450 453 454 455 465 466 471 475 476 479 480 482 486 487 492 495 504 505 506 508 511 514 515 518 a 7 9 11 15 22 27 28 37 40 42 44 46 50 57 59 61 62 68 69 71 72 77 78 82 83 84 85 92 95 97 99 107 112 114 115 125 130 133 135 137 138 139 140 143 144 151 156 157 168 177 179 180 181 183 186 192 194 196 197 199 200 201 202 203 205 214 220 223 224 225 227 232 233 236 238 239 242 245 250 254 258 263 265 268 270 275 278 280 282 285 287 290 293 294 295 298 301 306 308 313 314 319 322 323 325 327 330 334 335 341 343 345 347 349 351 354 357 366 367 368 370 373 380 381 382 383 388 390 392 394 402 407 412 414 424 425 426 427 433 438 445 447 450 453 454 455 465 466 471 475 476 479 480 482 486 487 492 495 504 505 506 508 511 514 515 518 a 7 9 11 15 22 27 28 37 40 42 44 46 50 57 59 61 62 68 69 71 72 77 78 82 83 84 85 92 95 97 99 107 111 112 114 115 125 130 133 135 137 138 139 140 143 144 151 156 157 168 177 179 180 181 183 186 192 194 196 197 199 200 201 202 203 205 214 220 223 224 225 227 232 233 236 238 239 242 245 250 254 258 263 265 268 270 275 278 280 282 285 287 290 293 294 295 298 301 306 308 313 314 319 322 323 325 327 330 334 335 341 343 345 347 349 351 354 357 366 367 368 370 373 380 381 382 383 388 390 392 394 402 407 412 414 425 426 427 433 438 445 447 450 453 454 455 465 466 471 475 476 479 480 482 486 487 492 495 504 505 506 508 511 514 515 518 a 7 9 11 15 22 27 28 37 40 42 44 46 50 57 59 61 62 68 69 71 72 77 78 82 83 84 85 92 95 97 99 107 111 112 114 115 122 125 130 133 135 137 138 139 140 143 144 151 156 157 168 177 179 180 181 183 186 192 194 196 197 199 200 201 202 203 205 214 220 223 224 225 227 232 233 236 238 239 242 245 250 254 258 263 265 268 270 275 278 280 282 285 287 290 293 294 295 298 301 306 308 313 314 319 322 323 325 327 330 334 335 341 345 347 349 351 354 357 366 367 368 370 373 380 381 382 383 388 390 392 394 402 407 412 414 425 426 427 433 438 445 447 450 453 454 455 465 466 471 475 476 479 480 482 486 487 492 495 504 505 506 508 511 514 515 518 a 7 9 11 15 22 27 28 37 40 42 44 46 50 57 59 61 62 68 69 71 72 77 78 82 83 84 85 92 95 97 99 107 111 112 114 115 122 125 130 133 135 137 138 139 140 143 144 151 156 157 168 177 179 180 181 183 186 192 194 196 197 199 200 201 202 203 205 214 220 223 224 225 227 232 233 236 238 239 242 245 250 254 258 263 265 268 270 275 278 280 282 285 287 290 293 294 295 298 301 306 308 313 314 319 322 323 325 327 330 334 335 341 345 347 349 351 354 357 366 367 368 370 373 380 381 382 383 388 390 392 394 395 402 407 412 414 425 426 427 433 438 445 447 450 453 454 455 465 466 471 475 476 479 480 482 487 492 495 504 505 506 508 511 514 515 518 a 7 9 11 15 22 27 28 37 40 42 44 46 50 57 59 61 62 68 69 71 72 77 78 82 83 84 85 92 95 97 99 107 111 112 114 115 122 125 130 133 135 137 138 139 140 143 144 151 156 157 168 177 179 180 181 183 186 189 192 194 196 197 199 200 201 202 203 205 214 220 223 224 225 227 232 233 236 238 239 242 245 254 258 263 265 268 270 275 278 280 282 285 287 290 293 294 295 298 301 306 308 313 314 319 322 323 325 327 330 334 335 341 345 347 349 351 354 357 366 367 368 370 373 380 381 382 383 388 390 392 394 395 402 407 412 414 425 426 427 433 438 445 447 450 453 454 455 465 466 471 475 476 479 480 482 487 492 495 504 505 506 508 511 514 515 518 a 7 9 11 15 22 27 28 37 40 42 44 46 50 57 59 61 62 68 69 71 72 77 78 82 83 84 85 92 95 97 99 107 111 112 114 115 122 125 130 133 135 137 138 139 140 143 144 151 156 157 168 177 179 180 181 183 186 189 192 194 196 197 199 200 201 202 203 205 214 220 223 224 225 227 232 233 236 238 239 242 245 254 258 263 265 268 270 275 278 282 285 287 290 293 294 295 298 301 306 308 313 314 319 322 323 325 327 330 334 335 341 345 347 349 351 354 357 366 367 368 370 373 380 381 382 383 388 390 392 394 395 402 407 412 414 425 426 427 433 435 438 445 447 450 453 454 455 465 466 471 475 476 479 480 482 487 492 495 504 505 506 508 511 514 515 518 a 7 9 11 15 22 27 28 37 40 42 44 46 50 57 59 61 62 68 69 71 72 77 78 82 83 84 85 92 95 97 99 107 111 112 114 115 122 125 128 130 135 137 138 139 140 143 144 151 156 157 168 177 179 180 181 183 186 189 192 194 196 197 199 200 201 202 203 205 214 220 223 224 225 227 232 233 236 238 239 242 245 254 258 263 265 268 270 275 278 282 285 287 290 293 294 295 298 301 306 308 313 314 319 322 323 325 327 330 334 335 341 345 347 349 351 354 357 366 367 368 370 373 380 381 382 383 388 390 392 394 395 402 407 412 414 425 426 427 433 435 438 445 447 450 453 454 455 465 466 471 475 476 479 480 482 487 492 495 504 505 506 508 511 514 515 518 a 7 8 9 11 15 22 27 28 37 40 42 44 46 50 57 59 61 62 68 69 71 72 77 78 82 83 84 85 92 95 97 99 107 111 112 114 115 122 125 128 130 135 137 138 139 140 143 144 151 156 157 168 177 179 180 181 183 186 189 192 194 196 197 199 200 201 202 203 205 214 220 223 224 225 227 232 233 236 238 239 242 245 254 258 263 265 268 270 275 278 282 285 287 290 293 294 295 298 301 306 308 313 314 319 322 323 325 327 330 334 335 341 345 347 349 351 354 357 366 367 368 370 373 380 381 382 383 388 390 394 395 402 407 412 414 425 426 427 433 435 438 445 447 450 453 454 455 465 466 471 475 476 479 480 482 487 492 495 504 505 506 508 511 514 515 518 a 7 8 9 11 15 22 27 28 37 42 44 46 50 57 59 61 62 68 69 71 72 77 78 82 83 84 85 92 95 97 99 107 111 112 114 115 122 125 128 130 135 137 138 139 140 143 144 151 156 157 168 177 179 180 181 183 186 189 192 194 196 197 199 200 201 202 203 205 214 220 223 224 225 227 232 233 236 238 239 242 245 254 258 263 265 268 270 275 278 282 285 287 290 293 294 295 298 301 306 308 313 314 319 322 323 325 327 330 334 335 341 345 347 349 351 354 357 366 367 368 370 373 380 381 382 383 388 390 394 395 402 407 412 414 425 426 427 433 435 438 442 445 447 450 453 454 455 465 466 471 475 476 479 480 482 487 492 495 504 505 506 508 511 514 515 518 a 7 8 9 11 15 22 27 28 37 42 44 46 50 57 59 61 62 68 69 71 72 77 78 82 83 84 85 92 95 97 99 107 111 112 114 115 122 125 128 130 135 137 138 139 140 143 144 151 156 157 168 177 179 180 181 183 186 189 192 194 196 197 199 200 201 202 203 205 214 220 223 224 225 227 232 233 234 236 238 239 242 245 254 258 263 265 268 270 275 278 282 285 287 290 294 295 298 301 306 308 313 314 319 322 323 325 327 330 334 335 341 345 347 349 351 354 357 366 367 368 370 373 380 381 382 383 388 390 394 395 402 407 412 414 425 426 427 433 435 438 442 445 447 450 453 454 455 465 466 471 475 476 479 480 482 487 492 495 504 505 506 508 511 514 515 518 a 7 8 9 11 15 22 27 28 37 42 44 46 50 57 59 61 62 68 69 71 72 77 78 82 83 84 85 92 95 97 99 107 111 112 114 115 122 125 128 130 135 137 138 139 140 143 144 151 156 157 168 177 179 180 181 183 186 189 192 194 196 197 199 200 201 202 203 205 214 219 220 223 224 225 227 232 233 234 236 238 239 242 245 254 258 265 268 270 275 278 282 285 287 290 294 295 298 301 306 308 313 314 319 322 323 325 327 330 334 335 341 345 347 349 351 354 357 366 367 368 370 373 380 381 382 383 388 390 394 395 402 407 412 414 425 426 427 433 435 438 442 445 447 450 453 454 455 465 466 471 475 476 479 480 482 487 492 495 504 505 506 508 511 514 515 518 a 7 8 9 11 15 22 27 28 37 42 44 46 50 57 59 61 62 68 69 71 72 77 78 82 83 84 85 92 95 97 99 107 111 112 114 115 122 125 128 130 135 137 138 139 140 143 144 151 156 157 168 177 179 180 181 183 186 189 192 194 196 197 199 200 201 202 203 205 214 219 220 223 224 225 227 232 233 234 236 238 239 242 245 254 258 265 268 270 275 278 282 285 287 290 294 295 298 301 306 313 314 319 322 323 325 327 330 334 335 341 345 347 349 351 354 357 366 367 368 370 373 380 381 382 383 388 390 394 395 402 407 412 413 414 425 426 427 433 435 438 442 445 447 450 453 454 455 465 466 471 475 476 479 480 482 487 492 495 504 505 506 508 511 514 515 518 a 7 8 9 11 15 22 27 37 42 44 46 50 57 59 61 62 68 69 71 72 77 78 82 83 84 85 87 92 95 97 99 107 111 112 114 115 122 125 128 130 135 137 138 139 140 143 144 151 156 157 168 177 179 180 181 183 186 189 192 194 196 197 199 200 201 202 203 205 214 219 220 223 224 225 227 232 233 234 236 238 239 242 245 254 258 265 268 270 275 278 282 285 287 290 294 295 298 301 306 313 314 319 322 323 325 327 330 334 335 341 345 347 349 351 354 357 366 367 368 370 373 380 381 382 383 388 390 394 395 402 407 412 413 414 425 426 427 433 435 438 442 445 447 450 453 454 455 465 466 471 475 476 479 480 482 487 492 495 504 505 506 508 511 514 515 518 a 7 8 9 11 15 22 27 37 42 44 46 50 57 61 62 68 69 71 72 77 78 82 83 84 85 87 92 95 97 99 105 107 111 112 114 115 122 125 128 130 135 137 138 139 140 143 144 151 156 157 168 177 179 180 181 183 186 189 192 194 196 197 199 200 201 202 203 205 214 219 220 223 224 225 227 232 233 234 236 238 239 242 245 254 258 265 268 270 275 278 282 285 287 290 294 295 298 301 306 313 314 319 322 323 325 327 330 334 335 341 345 347 349 351 354 357 366 367 368 370 373 380 381 382 383 388 390 394 395 402 407 412 413 414 425 426 427 433 435 438 442 445 447 450 453 454 455 465 466 471 475 476 479 480 482 487 492 495 504 505 506 508 511 514 515 518 a 7 8 9 11 15 22 27 37 42 44 46 50 57 61 62 68 69 71 72 77 78 82 83 84 85 87 92 95 97 99 105 107 111 112 114 115 122 125 128 130 135 137 138 139 140 143 144 151 156 157 168 177 179 180 181 183 185 186 189 192 194 197 199 200 201 202 203 205 214 219 220 223 224 225 227 232 233 234 236 238 239 242 245 254 258 265 268 270 275 278 282 285 287 290 294 295 298 301 306 313 314 319 322 323 325 327 330 334 335 341 345 347 349 351 354 357 366 367 368 370 373 380 381 382 383 388 390 394 395 402 407 412 413 414 425 426 427 433 435 438 442 445 447 450 453 454 455 465 466 471 475 476 479 480 482 487 492 495 504 505 506 508 511 514 515 518 a 7 8 9 11 15 22 27 37 42 44 46 50 57 61 62 68 69 71 72 77 78 82 83 84 85 87 92 95 97 99 105 107 111 112 114 115 122 125 128 130 135 137 138 139 140 143 144 151 156 157 168 177 179 180 181 183 185 186 189 192 194 197 199 200 201 202 203 205 214 216 219 220 223 224 225 227 232 233 234 236 238 239 242 245 254 258 265 268 270 278 282 285 287 290 294 295 298 301 306 313 314 319 322 323 325 327 330 334 335 341 345 347 349 351 354 357 366 367 368 370 373 380 381 382 383 388 390 394 395 402 407 412 413 414 425 426 427 433 435 438 442 445 447 450 453 454 455 465 466 471 475 476 479 480 482 487 492 495 504 505 506 508 511 514 515 518 a 7 8 9 11 15 22 27 37 42 44 46 50 57 61 62 68 69 71 72 77 78 82 83 84 85 87 92 95 97 99 105 107 111 112 114 115 122 125 128 130 135 137 138 139 140 143 144 151 156 157 168 177 179 180 181 183 185 186 189 192 194 197 199 200 201 202 203 205 214 216 219 220 223 224 225 227 232 233 234 236 238 239 242 245 254 258 265 268 270 282 285 287 290 294 295 298 301 306 313 314 319 322 323 325 327 330 334 335 341 345 347 349 351 354 357 366 367 368 370 373 380 381 382 383 388 389 390 394 395 402 407 412 413 414 425 426 427 433 435 438 442 445 447 450 453 454 455 465 466 471 475 476 479 480 482 487 492 495 504 505 506 508 511 514 515 518 a 7 8 9 11 15 22 23 27 37 42 44 46 50 57 61 62 68 69 71 72 77 78 82 83 84 85 87 92 95 97 99 105 107 111 112 114 115 122 125 128 130 135 137 138 139 140 143 144 151 156 157 168 177 179 180 181 183 185 186 189 192 194 197 199 200 201 202 203 205 214 216 219 220 223 224 225 227 232 233 234 236 238 239 242 245 254 258 265 268 270 282 285 287 290 294 295 298 301 306 313 314 319 322 323 325 327 330 334 335 341 345 347 349 351 354 357 366 367 368 370 373 380 381 382 383 388 389 390 394 395 402 407 412 413 414 425 426 427 433 435 438 442 445 447 450 453 454 455 465 466 475 476 479 480 482 487 492 495 504 505 506 508 511 514 515 518 a 7 8 9 11 15 22 23 27 37 42 44 46 50 57 61 62 68 69 71 72 77 78 82 83 84 85 87 92 95 97 99 105 107 111 112 114 115 122 125 128 130 137 138 139 140 143 144 151 156 157 168 177 179 180 181 183 185 186 189 192 194 197 199 200 201 202 203 205 214 216 219 220 223 224 225 227 232 233 234 236 238 239 242 245 254 258 265 268 270 282 285 287 290 294 295 298 301 306 313 314 319 322 323 325 327 330 334 335 341 345 347 349 351 354 357 366 367 368 370 373 380 381 382 383 388 389 390 394 395 402 407 412 413 414 420 425 426 427 433 435 438 442 445 447 450 453 454 455 465 466 475 476 479 480 482 487 492 495 504 505 506 508 511 514 515 518 a 7 8 9 11 15 22 23 27 37 42 44 46 50 57 61 62 68 69 71 72 77 78 82 83 84 85 87 92 95 97 99 105 107 111 112 114 115 122 125 128 130 137 138 139 140 143 144 151 156 157 168 177 179 180 181 183 185 186 189 192 194 197 199 200 201 202 203 205 214 216 219 220 223 224 225 227 232 233 234 236 238 239 242 245 254 258 265 268 270 282 285 287 290 294 295 298 301 306 313 314 319 322 323 325 327 330 334 335 341 345 347 351 354 357 366 367 368 370 373 380 381 382 383 388 389 390 394 395 396 402 407 412 413 414 420 425 426 427 433 435 438 442 445 447 450 453 454 455 465 466 475 476 479 480 482 487 492 495 504 505 506 508 511 514 515 518 a 7 8 9 11 15 22 23 27 37 42 44 46 50 57 61 62 68 69 71 72 77 78 82 83 84 85 87 92 95 97 99 105 107 111 112 114 115 122 125 128 130 137 138 139 140 143 144 151 156 157 168 177 179 180 181 183 185 186 189 192 194 197 199 200 201 202 203 205 214 216 219 220 223 224 225 227 232 233 234 236 238 239 242 245 254 258 265 268 270 282 285 287 290 294 295 298 301 306 313 314 319 322 323 325 327 330 334 335 339 341 345 347 351 354 357 366 367 368 370 373 380 381 382 383 388 389 390 394 395 396 402 407 412 413 414 420 425 426 433 435 438 442 445 447 450 453 454 455 465 466 475 476 479 480 482 487 492 495 504 505 506 508 511 514 515 518 a 7 8 9 11 15 22 23 27 37 42 44 46 50 57 61 62 68 69 72 77 78 82 83 84 85 87 92 95 97 99 105 107 111 112 114 115 122 125 128 130 137 138 139 140 143 144 151 156 157 168 177 179 180 181 183 185 186 189 192 194 197 199 200 201 202 203 205 214 216 219 220 223 224 225 227 228 232 233 234 236 238 239 242 245 254 258 265 268 270 282 285 287 290 294 295 298 301 306 313 314 319 322 323 325 327 330 334 335 339 341 345 347 351 354 357 366 367 368 370 373 380 381 382 383 388 389 390 394 395 396 402 407 412 413 414 420 425 426 433 435 438 442 445 447 450 453 454 455 465 466 475 476 479 480 482 487 492 495 504 505 506 508 511 514 515 518 a 7 8 9 11 15 22 23 27 37 42 44 46 50 57 61 62 68 69 72 77 78 82 83 84 85 87 92 95 97 99 105 107 111 112 114 115 122 125 128 130 137 138 139 140 143 144 151 156 157 168 177 179 180 181 183 185 186 189 192 194 197 199 200 201 202 203 205 214 216 219 220 223 224 225 227 228 232 233 234 236 238 239 242 245 254 258 265 268 270 282 285 287 290 294 295 298 301 306 313 314 319 322 323 325 327 330 334 335 339 341 345 347 351 354 357 366 367 368 370 373 380 381 382 383 389 390 394 395 396 402 407 412 413 414 420 425 426 433 435 438 442 445 447 450 453 454 455 465 466 475 476 479 480 482 485 487 492 495 504 505 506 508 511 514 515 518 a 7 8 9 11 15 22 23 27 37 42 44 46 50 57 61 62 68 69 72 77 78 82 83 84 85 87 92 95 97 99 105 107 111 112 114 115 122 125 128 130 137 138 139 140 143 144 151 156 157 168 177 179 180 181 183 185 186 189 192 194 197 199 200 201 202 203 205 214 216 219 220 223 224 225 227 228 232 233 234 236 238 239 242 245 254 258 265 268 270 282 285 287 290 294 295 298 301 306 313 314 319 322 323 325 327 330 334 335 339 341 345 347 351 357 366 367 368 370 373 380 381 382 383 384 389 390 394 395 396 402 407 412 413 414 420 425 426 433 435 438 442 445 447 450 453 454 455 465 466 475 476 479 480 482 485 487 492 495 504 505 506 508 511 514 515 518 c Step: 110 Command being timed: "python3 run_3.py --shortest /benchmark/random_instance/random_instance040_graph002.col /benchmark/random_instance/random_instance040_graph002_01.dat" User time (seconds): 9.24 System time (seconds): 0.32 Percent of CPU this job got: 99% Elapsed (wall clock) time (h:mm:ss or m:ss): 0:09.57 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): 238728 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 358246 Voluntary context switches: 17 Involuntary context switches: 45 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: [Mon Sep 4 15:08:46 2023]