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