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