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