{384: 1, 385: 1, 386: 1, 387: 1, 388: 1, 389: 1, 390: 1, 392: 3, 394: 2, 396: 10, 397: 8, 399: 8, 400: 8, 403: 176, 404: 168, 405: 168, 407: 168, 411: 168, 412: 168, 413: 168, 424: 168, 425: 168, 427: 168, 428: 168, 431: 168, 432: 168, 433: 168, 436: 168, 437: 168, 438: 42, 439: 42, 442: 168, 443: 168, 444: 168, 447: 168, 480: 44, 451: 168, 452: 168, 453: 168, 454: 161, 456: 7, 459: 3, 460: 2, 334: 1, 336: 1, 462: 2, 343: 1, 344: 1, 473: 2, 474: 2, 475: 2, 476: 2, 477: 2, 478: 2, 351: 1, 352: 1, 481: 546, 482: 42, 483: 42, 484: 2, 485: 2, 358: 1, 487: 1, 488: 1, 361: 1, 490: 1, 491: 1, 492: 1, 494: 1, 368: 1, 371: 1, 372: 1, 373: 1, 489: 1, 376: 1, 379: 1, 380: 1, 381: 1}
{352: 1, 353: 1, 354: 1, 355: 1, 356: 1, 334: 1, 336: 1, 343: 1, 344: 1, 351: 1}
{384: 1, 385: 1, 386: 1, 387: 1, 388: 1, 389: 1, 390: 1, 392: 3, 394: 2, 396: 10, 397: 8, 399: 8, 400: 8, 403: 176, 404: 168, 405: 168, 407: 168, 411: 168, 412: 168, 413: 168, 424: 168, 425: 168, 427: 168, 428: 168, 431: 168, 432: 168, 433: 168, 436: 168, 437: 168, 438: 42, 439: 42, 442: 168, 443: 168, 444: 168, 447: 168, 480: 44, 451: 168, 452: 168, 453: 168, 454: 168, 459: 3, 460: 2, 334: 1, 336: 1, 462: 2, 343: 1, 344: 1, 473: 2, 474: 2, 475: 2, 476: 2, 477: 2, 478: 2, 351: 1, 352: 1, 481: 546, 482: 42, 483: 42, 484: 2, 485: 2, 358: 1, 487: 1, 488: 1, 361: 1, 490: 1, 491: 1, 492: 1, 494: 1, 368: 1, 371: 1, 372: 1, 373: 1, 489: 1, 376: 1, 379: 1, 380: 1, 381: 1}
{384: 1, 385: 1, 386: 1, 387: 1, 388: 1, 389: 1, 390: 1, 392: 3, 394: 2, 396: 10, 397: 8, 399: 8, 400: 8, 403: 176, 404: 168, 405: 168, 407: 168, 411: 168, 412: 168, 413: 168, 424: 168, 425: 168, 427: 168, 428: 168, 431: 168, 432: 168, 433: 168, 436: 168, 437: 168, 438: 42, 439: 42, 442: 168, 443: 168, 444: 168, 447: 168, 480: 44, 451: 168, 452: 168, 453: 168, 454: 167, 456: 1, 459: 3, 460: 2, 334: 1, 336: 1, 462: 2, 343: 1, 344: 1, 473: 2, 474: 2, 475: 2, 476: 2, 477: 2, 478: 2, 351: 1, 352: 1, 481: 546, 482: 42, 483: 42, 484: 2, 485: 2, 358: 1, 487: 1, 488: 1, 361: 1, 490: 1, 491: 1, 492: 1, 494: 1, 368: 1, 371: 1, 372: 1, 373: 1, 489: 1, 376: 1, 379: 1, 380: 1, 381: 1}
{384: 1, 385: 1, 386: 1, 387: 1, 388: 1, 389: 1, 390: 1, 392: 3, 394: 2, 396: 10, 397: 8, 399: 8, 400: 8, 403: 176, 404: 168, 405: 168, 407: 168, 411: 168, 412: 168, 413: 168, 424: 168, 425: 168, 427: 168, 428: 168, 431: 168, 432: 168, 433: 168, 436: 168, 437: 168, 438: 42, 439: 42, 442: 168, 443: 168, 444: 168, 447: 168, 480: 44, 451: 168, 452: 168, 453: 168, 454: 168, 459: 3, 460: 2, 334: 1, 336: 1, 462: 2, 343: 1, 344: 1, 473: 2, 474: 2, 475: 2, 476: 2, 477: 2, 478: 2, 351: 1, 352: 1, 481: 546, 482: 42, 483: 42, 484: 2, 485: 2, 358: 1, 487: 1, 488: 1, 361: 1, 490: 1, 491: 1, 492: 1, 494: 1, 368: 1, 371: 1, 372: 1, 373: 1, 489: 1, 376: 1, 379: 1, 380: 1, 381: 1}