c forge.problem clique c forge.k 311 p nonedge 742 1655 n 142 328 n 427 586 n 367 720 n 674 245 n 119 484 n 289 665 n 152 18 n 218 488 n 23 612 n 247 378 n 706 687 n 501 515 n 36 234 n 79 729 n 199 530 n 391 481 n 515 115 n 461 515 n 125 313 n 259 666 n 547 294 n 698 378 n 723 560 n 469 43 n 461 678 n 273 660 n 561 717 n 381 83 n 64 105 n 278 587 n 703 675 n 190 15 n 123 63 n 668 200 n 374 406 n 676 596 n 498 650 n 23 397 n 466 154 n 129 135 n 344 70 n 81 177 n 449 149 n 535 464 n 177 56 n 65 719 n 140 639 n 716 639 n 592 488 n 494 640 n 15 55 n 167 719 n 297 394 n 147 175 n 541 702 n 678 535 n 504 241 n 490 649 n 138 509 n 498 662 n 741 609 n 736 7 n 209 102 n 555 585 n 160 10 n 211 309 n 617 731 n 443 541 n 328 557 n 244 576 n 633 370 n 665 353 n 665 149 n 342 541 n 449 489 n 335 535 n 478 487 n 528 471 n 15 330 n 388 601 n 223 665 n 511 377 n 29 145 n 315 34 n 290 649 n 310 256 n 15 236 n 535 321 n 83 720 n 672 221 n 194 22 n 205 367 n 60 664 n 38 62 n 475 250 n 648 268 n 143 107 n 10 95 n 277 654 n 78 614 n 340 665 n 166 225 n 496 255 n 535 605 n 596 4 n 495 425 n 651 729 n 291 665 n 162 194 n 117 352 n 483 456 n 386 38 n 345 275 n 476 210 n 83 379 n 151 15 n 40 557 n 267 580 n 482 27 n 221 687 n 68 260 n 279 149 n 683 723 n 270 9 n 257 36 n 710 196 n 700 551 n 515 516 n 693 11 n 15 86 n 225 180 n 271 240 n 133 160 n 665 100 n 436 535 n 587 437 n 653 17 n 361 695 n 691 229 n 665 494 n 358 275 n 448 466 n 166 587 n 378 367 n 354 162 n 311 354 n 543 551 n 563 336 n 219 384 n 515 563 n 479 630 n 186 190 n 621 144 n 608 262 n 15 326 n 397 381 n 118 184 n 317 83 n 331 105 n 316 663 n 487 36 n 254 38 n 85 686 n 221 338 n 660 626 n 633 546 n 116 275 n 518 239 n 739 510 n 515 681 n 175 462 n 295 271 n 188 735 n 515 163 n 455 175 n 62 628 n 12 594 n 363 268 n 28 153 n 174 665 n 462 75 n 349 161 n 710 574 n 722 627 n 220 594 n 300 456 n 441 643 n 38 35 n 15 111 n 515 84 n 558 68 n 290 13 n 15 217 n 208 22 n 270 227 n 504 609 n 560 39 n 265 114 n 651 184 n 334 54 n 679 31 n 63 15 n 563 239 n 456 301 n 9 577 n 608 537 n 168 20 n 131 275 n 567 645 n 15 525 n 43 3 n 430 365 n 57 134 n 716 201 n 621 724 n 680 545 n 506 213 n 582 541 n 510 285 n 535 174 n 583 152 n 457 129 n 364 321 n 665 676 n 524 397 n 81 632 n 93 234 n 509 321 n 305 536 n 613 221 n 610 707 n 42 698 n 403 282 n 530 9 n 298 532 n 71 663 n 348 234 n 379 626 n 141 471 n 9 399 n 567 541 n 39 723 n 519 633 n 490 101 n 216 620 n 349 482 n 15 479 n 185 492 n 244 9 n 547 527 n 487 15 n 611 56 n 409 675 n 515 669 n 431 93 n 365 275 n 9 8 n 112 303 n 515 730 n 460 395 n 15 532 n 176 348 n 348 36 n 568 703 n 397 121 n 9 218 n 49 350 n 525 337 n 240 565 n 389 35 n 533 572 n 399 33 n 710 4 n 473 502 n 208 593 n 256 633 n 110 692 n 535 255 n 414 420 n 9 318 n 61 93 n 389 57 n 310 401 n 603 44 n 9 305 n 144 180 n 530 449 n 736 98 n 8 615 n 338 453 n 596 460 n 421 389 n 45 328 n 703 583 n 250 211 n 9 689 n 264 470 n 617 15 n 471 554 n 556 259 n 722 613 n 38 7 n 476 740 n 502 451 n 533 599 n 721 88 n 307 11 n 650 700 n 474 38 n 218 15 n 10 488 n 15 523 n 427 201 n 9 103 n 544 692 n 96 76 n 368 587 n 94 502 n 357 558 n 573 15 n 697 415 n 272 15 n 293 489 n 615 218 n 163 616 n 289 362 n 323 21 n 305 471 n 595 345 n 414 204 n 188 384 n 671 178 n 18 535 n 456 257 n 701 718 n 180 374 n 144 439 n 214 723 n 52 274 n 583 535 n 33 711 n 425 91 n 279 15 n 571 731 n 552 378 n 69 370 n 469 176 n 129 428 n 61 663 n 638 673 n 293 245 n 543 623 n 394 708 n 46 9 n 25 736 n 103 669 n 665 191 n 300 185 n 227 596 n 99 665 n 44 544 n 416 108 n 118 183 n 482 595 n 321 363 n 688 469 n 15 251 n 276 515 n 308 580 n 38 628 n 278 639 n 222 38 n 339 154 n 613 515 n 278 72 n 586 598 n 76 574 n 492 688 n 37 695 n 210 533 n 275 248 n 370 376 n 520 227 n 141 548 n 544 669 n 515 594 n 139 665 n 565 34 n 397 643 n 164 456 n 341 247 n 639 153 n 144 350 n 574 339 n 502 239 n 189 658 n 435 38 n 488 313 n 320 88 n 424 591 n 189 411 n 231 708 n 112 144 n 529 222 n 671 84 n 233 337 n 70 477 n 411 319 n 640 9 n 328 626 n 726 502 n 146 427 n 507 503 n 435 529 n 433 293 n 723 126 n 458 165 n 329 328 n 48 576 n 53 391 n 697 737 n 660 418 n 656 636 n 288 38 n 48 37 n 9 571 n 392 123 n 728 363 n 347 180 n 448 423 n 665 632 n 484 514 n 115 410 n 700 543 n 344 378 n 665 685 n 55 383 n 738 271 n 223 734 n 151 184 n 502 624 n 312 665 n 104 283 n 497 703 n 218 8 n 91 584 n 38 352 n 517 308 n 162 526 n 701 286 n 71 202 n 579 15 n 200 658 n 723 112 n 397 654 n 584 360 n 597 303 n 330 685 n 648 728 n 38 511 n 165 535 n 88 9 n 378 542 n 723 92 n 149 196 n 188 141 n 24 572 n 389 638 n 515 299 n 1 38 n 205 482 n 328 348 n 36 3 n 730 498 n 360 462 n 121 25 n 557 136 n 530 19 n 581 270 n 155 727 n 228 397 n 633 202 n 275 161 n 492 382 n 656 692 n 640 736 n 541 486 n 15 665 n 633 648 n 180 464 n 493 535 n 559 515 n 403 625 n 541 150 n 21 370 n 334 488 n 68 306 n 401 39 n 47 683 n 533 528 n 486 291 n 83 237 n 575 105 n 250 723 n 50 9 n 480 15 n 670 180 n 515 72 n 721 233 n 253 180 n 473 408 n 399 665 n 94 518 n 672 722 n 152 255 n 555 639 n 606 205 n 672 613 n 644 79 n 556 666 n 321 195 n 616 426 n 681 434 n 625 658 n 143 515 n 475 39 n 522 528 n 247 542 n 397 395 n 307 373 n 263 723 n 573 154 n 187 397 n 105 471 n 141 109 n 491 440 n 195 364 n 488 566 n 739 482 n 639 531 n 665 19 n 95 639 n 646 526 n 462 132 n 9 457 n 429 401 n 729 38 n 377 193 n 682 471 n 266 184 n 635 552 n 598 235 n 345 333 n 488 636 n 504 290 n 285 15 n 38 323 n 259 665 n 521 375 n 571 596 n 430 394 n 65 386 n 507 588 n 714 265 n 502 619 n 234 176 n 250 156 n 130 307 n 282 9 n 256 324 n 15 110 n 316 93 n 660 422 n 266 652 n 260 357 n 548 109 n 584 151 n 10 702 n 59 38 n 278 318 n 364 509 n 40 136 n 537 262 n 692 171 n 356 697 n 273 606 n 488 120 n 15 212 n 66 260 n 515 224 n 217 9 n 76 557 n 603 171 n 665 706 n 117 184 n 618 144 n 700 342 n 632 276 n 639 484 n 72 541 n 631 188 n 606 579 n 241 13 n 233 320 n 439 253 n 309 452 n 33 723 n 315 79 n 637 184 n 87 365 n 162 208 n 431 633 n 198 577 n 610 378 n 41 545 n 258 188 n 412 179 n 16 724 n 303 723 n 665 62 n 156 683 n 36 261 n 163 681 n 449 433 n 93 328 n 639 541 n 454 436 n 44 171 n 542 341 n 225 368 n 257 51 n 231 188 n 517 373 n 442 200 n 551 15 n 309 723 n 401 37 n 424 38 n 566 579 n 359 15 n 275 366 n 255 667 n 370 406 n 515 353 n 135 691 n 596 230 n 328 344 n 1 365 n 470 387 n 515 149 n 538 314 n 242 37 n 9 515 n 9 155 n 590 690 n 201 443 n 723 304 n 76 154 n 453 9 n 16 144 n 635 385 n 423 466 n 428 380 n 15 181 n 599 365 n 18 583 n 726 343 n 715 184 n 245 160 n 583 409 n 605 544 n 91 709 n 56 632 n 488 503 n 33 515 n 410 9 n 212 693 n 425 455 n 184 735 n 546 184 n 78 293 n 185 444 n 527 294 n 485 497 n 301 688 n 77 606 n 12 9 n 698 328 n 365 631 n 271 369 n 74 38 n 219 162 n 276 56 n 351 151 n 144 537 n 449 710 n 9 419 n 524 665 n 124 144 n 404 198 n 482 42 n 541 585 n 637 162 n 633 242 n 390 660 n 117 389 n 627 331 n 127 535 n 665 563 n 178 9 n 36 25 n 642 41 n 551 623 n 1 116 n 336 181 n 184 677 n 413 515 n 239 553 n 267 517 n 515 168 n 497 618 n 733 269 n 434 9 n 169 515 n 91 20 n 627 221 n 369 370 n 559 206 n 356 286 n 727 120 n 74 82 n 220 15 n 445 138 n 579 647 n 404 515 n 515 725 n 618 568 n 432 535 n 468 92 n 488 713 n 344 83 n 435 222 n 397 494 n 249 388 n 69 57 n 208 311 n 528 599 n 663 145 n 148 255 n 505 337 n 388 558 n 710 564 n 667 461 n 38 119 n 9 527 n 31 684 n 665 186 n 113 719 n 606 54 n 123 435 n 203 544 n 394 243 n 488 259 n 302 239 n 426 255 n 390 305 n 199 710 n 515 636 n 160 269 n 684 420 n 67 508 n 249 365 n 254 734 n 156 47 n 347 437 n 229 135 n 665 667 n 246 237 n 569 699 n 202 316 n 515 656 n 540 97 n 202 30 n 86 486 n 15 96 n 450 387 n 235 427 n 307 97 n 707 377 n 661 437 n 515 110 n 83 249 n 380 370 n 215 334 n 118 90 n 209 106 n 414 15 n 239 272 n 629 209 n 243 38 n 175 452 n 370 382 n 376 242 n 271 34 n 251 407 n 465 79 n 185 271 n 427 215 n 377 141 n 378 385 n 109 394 n 144 690 n 394 652 n 635 482 n 220 12 n 112 597 n 696 15 n 297 246 n 78 470 n 573 491 n 59 734 n 53 467 n 727 60 n 184 194 n 226 269 n 71 29 n 573 440 n 46 217 n 63 236 n 373 413 n 473 710 n 15 391 n 77 214 n 316 30 n 621 9 n 694 271 n 389 549 n 32 492 n 659 606 n 157 250 n 315 139 n 616 578 n 310 370 n 397 158 n 26 183 n 515 120 n 10 541 n 400 306 n 178 84 n 450 606 n 714 535 n 606 578 n 665 527 n 556 15 n 657 554 n 66 249 n 460 538 n 456 492 n 287 519 n 554 378 n 439 36 n 535 353 n 678 667 n 127 458 n 432 327 n 128 195 n 515 592 n 253 499 n 523 606 n 383 337 n 266 511 n 296 723 n 66 258 n 393 541 n 75 147 n 611 480 n 515 402 n 377 27 n 545 642 n 437 144 n 331 704 n 169 133 n 285 9 n 238 184 n 198 515 n 180 200 n 617 571 n 211 452 n 98 177 n 380 216 n 319 403 n 540 308 n 530 15 n 536 515 n 430 707 n 700 322 n 144 182 n 520 4 n 398 144 n 9 494 n 702 95 n 284 660 n 410 629 n 209 17 n 741 15 n 75 723 n 15 511 n 681 122 n 458 60 n 545 9 n 357 188 n 495 455 n 275 111 n 98 512 n 115 629 n 415 148 n 641 692 n 65 670 n 15 737 n 394 655 n 407 9 n 434 163 n 409 35 n 515 615 n 439 499 n 297 237 n 515 403 n 528 275 n 175 281 n 693 373 n 27 231 n 184 549 n 532 525 n 319 137 n 46 606 n 456 40 n 100 346 n 668 15 n 161 378 n 595 365 n 9 20 n 513 38 n 653 59 n 580 303 n 135 515 n 624 397 n 404 577 n 188 192 n 633 452 n 665 46 n 739 515 n 248 467 n 214 293 n 655 193 n 515 463 n 561 421 n 286 606 n 647 606 n 346 419 n 459 665 n 157 126 n 237 533 n 398 80 n 251 515 n 337 298 n 674 269 n 15 200 n 86 290 n 353 251 n 173 351 n 278 515 n 325 326 n 5 195 n 705 111 n 126 355 n 328 362 n 370 436 n 364 255 n 633 156 n 7 228 n 320 262 n 196 279 n 373 712 n 216 428 n 320 107 n 701 356 n 582 519 n 359 213 n 128 493 n 191 532 n 9 650 n 227 159 n 185 663 n 51 492 n 9 396 n 78 150 n 63 340 n 529 184 n 353 407 n 512 56 n 114 126 n 459 469 n 665 655 n 126 541 n 296 15 n 73 381 n 469 478 n 596 466 n 442 665 n 224 296 n 271 65 n 67 320 n 515 359 n 449 279 n 515 229 n 564 489 n 458 155 n 471 357 n 9 498 n 32 164 n 15 686 n 252 627 n 521 58 n 690 492 n 9 272 n 679 723 n 477 344 n 447 137 n 329 76 n 34 665 n 706 627 n 232 405 n 662 700 n 673 549 n 639 13 n 535 567 n 76 439 n 9 222 n 93 70 n 284 317 n 372 105 n 62 365 n 183 419 n 164 76 n 144 649 n 208 646 n 448 710 n 17 38 n 642 515 n 393 371 n 15 628 n 15 711 n 640 725 n 684 286 n 665 543 n 430 482 n 130 9 n 665 611 n 482 720 n 249 601 n 665 510 n 230 270 n 215 716 n 201 639 n 167 65 n 516 703 n 636 544 n 607 99 n 287 639 n 37 560 n 368 99 n 298 88 n 463 677 n 645 127 n 138 447 n 522 740 n 359 506 n 682 273 n 15 313 n 734 209 n 557 492 n 236 340 n 38 192 n 144 531 n 616 588 n 35 549 n 714 293 n 254 102 n 596 178 n 501 457 n 297 660 n 569 15 n 541 514 n 295 188 n 180 262 n 272 402 n 482 345 n 53 87 n 390 9 n 136 154 n 446 474 n 665 292 n 598 215 n 662 696 n 590 492 n 704 252 n 417 665 n 264 647 n 368 661 n 204 293 n 86 291 n 312 472 n 125 523 n 11 212 n 142 398 n 178 665 n 720 205 n 499 469 n 375 496 n 15 134 n 271 300 n 324 310 n 721 67 n 2 726 n 16 621 n 412 227 n 365 575 n 48 429 n 114 157 n 309 462 n 695 15 n 130 712 n 704 221 n 536 390 n 468 250 n 288 304 n 330 470 n 620 380 n 127 567 n 490 515 n 347 15 n 684 408 n 26 90 n 502 359 n 631 358 n 85 96 n 476 105 n 131 87 n 449 19 n 404 488 n 318 72 n 604 382 n 409 717 n 80 180 n 342 140 n 713 273 n 323 633 n 255 274 n 172 214 n 378 333 n 475 560 n 515 346 n 239 402 n 505 184 n 592 665 n 600 38 n 65 444 n 553 624 n 676 159 n 460 397 n 65 232 n 156 180 n 38 539 n 461 255 n 106 223 n 589 558 n 659 471 n 606 507 n 326 275 n 665 310 n 3 271 n 68 357 n 285 739 n 694 386 n 542 471 n 46 280 n 426 534 n 409 421 n 605 641 n 345 306 n 154 440 n 308 350 n 250 31 n 617 227 n 479 660 n 417 737 n 449 423 n 665 33 n 471 589 n 504 486 n 235 255 n 314 38 n 83 630 n 101 504 n 14 122 n 724 180 n 276 81 n 596 179 n 496 265 n 21 546 n 563 181 n 9 612 n 665 581 n 395 680 n 15 586 n 204 420 n 684 414 n 660 385 n 671 227 n 361 665 n 515 280 n 597 250 n 488 606 n 526 306 n 732 633 n 515 581 n 96 686 n 314 207 n 252 471 n 174 52 n 402 619 n 100 26 n 416 375 n 6 238 n 622 524 n 623 662 n 142 80 n 266 377 n 633 454 n 236 392 n 550 263 n 15 89 n 723 283 n 455 91 n 313 523 n 283 438 n 451 302 n 738 465 n 347 661 n 322 696 n 9 226 n 684 108 n 170 258 n 88 233 n 183 238 n 547 15 n 644 139 n 425 462 n 639 614 n 590 180 n 711 399 n 261 124 n 280 217 n 633 134 n 199 19 n 332 459 n 650 730 n 736 197 n 115 734 n 57 665 n 248 665 n 208 384 n 101 649 n 67 143 n 23 515 n 9 573 n 328 477 n 15 739 n 158 162 n 506 515 n 665 125 n 438 250 n 633 57 n 500 692 n 666 606 n 2 239 n 366 575 n 539 255 n 142 65 n 183 294 n 736 397 n 78 541 n 142 180 n 105 548 n 639 63 n 665 173 n 324 370 n 497 621 n 514 119 n 665 699 n 36 469 n 414 515 n 286 718 n 281 132 n 323 546 n 65 465 n 495 584 n 608 180 n 413 580 n 702 269 n 684 163 n 742 243 n 93 80 n 633 604 n 3 670 n 328 232 n 709 360 n 343 665 n 122 616 n 120 458 n 593 158 n 235 665 n 271 113 n 680 538 n 542 606 n 565 65 n 15 622 n 469 124 n 541 135 n 9 425 n 15 2 n 410 639 n 647 665 n 182 464 n 692 283 n 306 27 n 298 55 n 295 400 n 508 562 n 375 114 n 306 188 n 390 105 n 494 725 n 184 446 n 392 206 n 602 39 n 114 108 n 250 172 n 355 157 n 445 5 n 292 418 n 160 299 n 665 274 n 250 550 n 664 165 n 355 375 n 177 441 n 230 581 n 736 277 n 132 370 n 380 15 n 438 684 n 404 665 n 665 506 n 735 591 n 363 82 n 570 146 n 485 675 n 493 138 n 482 331 n 335 539 n 237 394 n 538 179 n 9 100 n 9 649 n 52 15 n 105 472 n 94 76 n 9 686 n 633 29 n 592 569 n 188 424 n 550 308 n 602 576 n 405 93 n 726 515 n 49 180 n 60 393 n 319 282 n 275 24 n 9 691 n 482 341 n 18 717 n 83 660 n 484 144 n 409 327 n 169 269 n 283 684 n 9 699 n 507 535 n 371 639 n 47 370 n 418 15 n 171 665 n 665 594 n 192 651 n 169 684 n 513 637 n 736 441 n 606 198 n 535 58 n 180 234 n 277 227 n 705 365 n 9 676 n 67 608 n 585 129 n 431 634 n 77 172 n 192 729 n 74 728 n 488 387 n 516 396 n 422 187 n 505 600 n 562 320 n 50 224 n 578 14 n 460 197 n 690 483 n 105 273 n 159 89 n 146 639 n 670 36 n 451 293 n 153 544 n 558 66 n 713 105 n 114 58 n 581 227 n 190 271 n 692 666 n 471 312 n 167 456 n 642 680 n 595 333 n 590 154 n 76 167 n 515 294 n 606 588 n 144 406 n 665 85 n 28 692 n 608 250 n 372 659 n 325 665 n 500 203 n 11 184 n 9 101 n 83 552 n 324 15 n 582 287 n 60 567 n 15 351 n 507 122 n 657 105 n 226 133 n 603 15 n 726 15 n 159 665 n 169 226 n 683 633 n 43 670 n 540 413 n 287 370 n 271 329 n 9 632 n 173 151 n 684 150 n 466 710 n 36 332 n 370 30 n 668 442 n 734 410 n 473 293 n 282 625 n 492 136 n 216 633 n 89 676 n 639 119 n 83 388 n 533 740 n 9 213 n 9 336 n 15 17 n 293 594 n 77 723 n 677 244 n 572 365 n 481 665 n 319 668 n 189 515 n 313 378 n 27 708 n 289 93 n 395 197 n 167 113 n 195 403 n 377 394 n 9 671 n 61 45 n 419 100 n 733 299 n 327 255 n 634 328 n 9 617 n 498 633 n 515 731 n 607 587 n 548 377 n 394 610 n 134 69 n 354 275 n 377 742 n 645 255 n 62 715 n 500 606 n 682 713 n 8 665 n 375 714 n 580 97 n 293 684 n 205 660 n 603 515 n 50 665 n 9 206 n 445 728 n 515 16 n 483 590 n 300 444 n 170 558 n 701 488 n 686 154 n 73 736 n 15 240 n 538 41 n 347 587 n 614 150 n 736 422 n 6 38 n 443 716 n 38 184 n 552 471 n 482 378 n 413 97 n 503 588 n 697 718 n 660 601 n 430 610 n 551 541 n 463 244 n 633 316 n 110 103 n 619 272 n 180 303 n 669 110 n 592 699 n 129 620 n 319 658 n 240 34 n 677 9 n 343 2 n 531 374 n 369 732 n 448 76 n 673 35 n 666 665 n 488 247 n 684 77 n 496 714 n 195 137 n 246 377 n 692 603 n 91 351 n 180 119 n 525 191 n 9 667 n 660 477 n 15 486 n 181 515 n 599 522 n 405 329 n 17 59 n 293 104 n 36 253 n 323 728 n 290 741 n 274 174 n 287 38 n 192 315 n 248 705 n 120 155 n 331 252 n 11 665 n 424 735 n 104 438 n 298 508 n 525 184 n 154 719 n 220 515 n 296 9 n 715 628 n 452 723 n 207 680 n 356 274 n 582 370 n 184 653 n 473 433 n 552 385 n 229 620 n 531 633 n 53 424 n 212 307 n 491 76 n 566 647 n 122 534 n 576 468 n 397 545 n 222 392 n 288 250 n 453 627 n 408 433 n 9 672 n 446 392 n 215 570 n 15 672 n 488 716 n 531 406 n 677 602 n 377 231 n 420 665 n 329 232 n 665 294 n 138 195 n 591 306 n 689 636 n 415 535 n 284 105 n 296 50 n 515 440 n 64 589 n 248 111 n 656 689 n 511 652 n 235 586