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