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