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