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