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