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