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