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