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