提出 #55845491

---

ソースコード 拡げる

from collections import defaultdict

N, K = map(int, input().split())
S = input()

count = defaultdict(int)
for c in S:
    count[c] += 1

S_key = tuple(reversed(sorted(count.values())))

embedded = {(1, (1,)): 0, (1, (2,)): 0, (1, (1, 1)): 0, (2, (2,)): 0, (2, (1, 1)): 2, (1, (3,)): 0, (1, (2, 1)): 0, (1, (1, 1, 1)): 0, (2, (3,)): 0, (2, (2, 1)): 1, (2, (1, 1, 1)): 6, (3, (3,)): 0, (3, (2, 1)): 2, (3, (1, 1, 1)): 6, (1, (4,)): 0, (1, (3, 1)): 0, (1, (2, 2)): 0, (1, (2, 1, 1)): 0, (1, (1, 1, 1, 1)): 0, (2, (4,)): 0, (2, (3, 1)): 0, (2, (2, 2)): 2, (2, (2, 1, 1)): 6, (2, (1, 1, 1, 1)): 24, (3, (4,)): 0, (3, (3, 1)): 0, (3, (2, 2)): 4, (3, (2, 1, 1)): 8, (3, (1, 1, 1, 1)): 24, (4, (4,)): 0, (4, (3, 1)): 4, (4, (2, 2)): 4, (4, (2, 1, 1)): 12, (4, (1, 1, 1, 1)): 24, (1, (5,)): 0, (1, (4, 1)): 0, (1, (3, 2)): 0, (1, (3, 1, 1)): 0, (1, (2, 2, 1)): 0, (1, (2, 1, 1, 1)): 0, (1, (1, 1, 1, 1, 1)): 0, (2, (5,)): 0, (2, (4, 1)): 0, (2, (3, 2)): 1, (2, (3, 1, 1)): 2, (2, (2, 2, 1)): 12, (2, (2, 1, 1, 1)): 36, (2, (1, 1, 1, 1, 1)): 120, (3, (5,)): 0, (3, (4, 1)): 0, (3, (3, 2)): 2, (3, (3, 1, 1)): 4, (3, (2, 2, 1)): 16, (3, (2, 1, 1, 1)): 42, (3, (1, 1, 1, 1, 1)): 120, (4, (5,)): 0, (4, (4, 1)): 3, (4, (3, 2)): 6, (4, (3, 1, 1)): 20, (4, (2, 2, 1)): 26, (4, (2, 1, 1, 1)): 60, (4, (1, 1, 1, 1, 1)): 120, (5, (5,)): 0, (5, (4, 1)): 4, (5, (3, 2)): 8, (5, (3, 1, 1)): 20, (5, (2, 2, 1)): 28, (5, (2, 1, 1, 1)): 60, (5, (1, 1, 1, 1, 1)): 120, (1, (6,)): 0, (1, (5, 1)): 0, (1, (4, 2)): 0, (1, (4, 1, 1)): 0, (1, (3, 3)): 0, (1, (3, 2, 1)): 0, (1, (3, 1, 1, 1)): 0, (1, (2, 2, 2)): 0, (1, (2, 2, 1, 1)): 0, (1, (2, 1, 1, 1, 1)): 0, (1, (1, 1, 1, 1, 1, 1)): 0, (2, (6,)): 0, (2, (5, 1)): 0, (2, (4, 2)): 0, (2, (4, 1, 1)): 0, (2, (3, 3)): 2, (2, (3, 2, 1)): 10, (2, (3, 1, 1, 1)): 24, (2, (2, 2, 2)): 30, (2, (2, 2, 1, 1)): 84, (2, (2, 1, 1, 1, 1)): 240, (2, (1, 1, 1, 1, 1, 1)): 720, (3, (6,)): 0, (3, (5, 1)): 0, (3, (4, 2)): 1, (3, (4, 1, 1)): 2, (3, (3, 3)): 2, (3, (3, 2, 1)): 14, (3, (3, 1, 1, 1)): 36, (3, (2, 2, 2)): 42, (3, (2, 2, 1, 1)): 100, (3, (2, 1, 1, 1, 1)): 264, (3, (1, 1, 1, 1, 1, 1)): 720, (4, (6,)): 0, (4, (5, 1)): 2, (4, (4, 2)): 6, (4, (4, 1, 1)): 24, (4, (3, 3)): 10, (4, (3, 2, 1)): 48, (4, (3, 1, 1, 1)): 120, (4, (2, 2, 2)): 72, (4, (2, 2, 1, 1)): 168, (4, (2, 1, 1, 1, 1)): 360, (4, (1, 1, 1, 1, 1, 1)): 720, (5, (6,)): 0, (5, (5, 1)): 2, (5, (4, 2)): 9, (5, (4, 1, 1)): 26, (5, (3, 3)): 14, (5, (3, 2, 1)): 52, (5, (3, 1, 1, 1)): 120, (5, (2, 2, 2)): 78, (5, (2, 2, 1, 1)): 172, (5, (2, 1, 1, 1, 1)): 360, (5, (1, 1, 1, 1, 1, 1)): 720, (6, (6,)): 0, (6, (5, 1)): 6, (6, (4, 2)): 12, (6, (4, 1, 1)): 30, (6, (3, 3)): 20, (6, (3, 2, 1)): 60, (6, (3, 1, 1, 1)): 120, (6, (2, 2, 2)): 84, (6, (2, 2, 1, 1)): 180, (6, (2, 1, 1, 1, 1)): 360, (6, (1, 1, 1, 1, 1, 1)): 720, (1, (7,)): 0, (1, (6, 1)): 0, (1, (5, 2)): 0, (1, (5, 1, 1)): 0, (1, (4, 3)): 0, (1, (4, 2, 1)): 0, (1, (4, 1, 1, 1)): 0, (1, (3, 3, 1)): 0, (1, (3, 2, 2)): 0, (1, (3, 2, 1, 1)): 0, (1, (3, 1, 1, 1, 1)): 0, (1, (2, 2, 2, 1)): 0, (1, (2, 2, 1, 1, 1)): 0, (1, (2, 1, 1, 1, 1, 1)): 0, (1, (1, 1, 1, 1, 1, 1, 1)): 0, (2, (7,)): 0, (2, (6, 1)): 0, (2, (5, 2)): 0, (2, (5, 1, 1)): 0, (2, (4, 3)): 1, (2, (4, 2, 1)): 3, (2, (4, 1, 1, 1)): 6, (2, (3, 3, 1)): 18, (2, (3, 2, 2)): 38, (2, (3, 2, 1, 1)): 96, (2, (3, 1, 1, 1, 1)): 240, (2, (2, 2, 2, 1)): 246, (2, (2, 2, 1, 1, 1)): 660, (2, (2, 1, 1, 1, 1, 1)): 1800, (2, (1, 1, 1, 1, 1, 1, 1)): 5040, (3, (7,)): 0, (3, (6, 1)): 0, (3, (5, 2)): 0, (3, (5, 1, 1)): 0, (3, (4, 3)): 2, (3, (4, 2, 1)): 8, (3, (4, 1, 1, 1)): 18, (3, (3, 3, 1)): 24, (3, (3, 2, 2)): 52, (3, (3, 2, 1, 1)): 126, (3, (3, 1, 1, 1, 1)): 312, (3, (2, 2, 2, 1)): 294, (3, (2, 2, 1, 1, 1)): 744, (3, (2, 1, 1, 1, 1, 1)): 1920, (3, (1, 1, 1, 1, 1, 1, 1)): 5040, (4, (7,)): 0, (4, (6, 1)): 1, (4, (5, 2)): 6, (4, (5, 1, 1)): 24, (4, (4, 3)): 12, (4, (4, 2, 1)): 69, (4, (4, 1, 1, 1)): 186, (4, (3, 3, 1)): 96, (4, (3, 2, 2)): 156, (4, (3, 2, 1, 1)): 372, (4, (3, 1, 1, 1, 1)): 840, (4, (2, 2, 2, 1)): 558, (4, (2, 2, 1, 1, 1)): 1212, (4, (2, 1, 1, 1, 1, 1)): 2520, (4, (1, 1, 1, 1, 1, 1, 1)): 5040, (5, (7,)): 0, (5, (6, 1)): 0, (5, (5, 2)): 8, (5, (5, 1, 1)): 24, (5, (4, 3)): 18, (5, (4, 2, 1)): 78, (5, (4, 1, 1, 1)): 192, (5, (3, 3, 1)): 108, (5, (3, 2, 2)): 170, (5, (3, 2, 1, 1)): 384, (5, (3, 1, 1, 1, 1)): 840, (5, (2, 2, 2, 1)): 576, (5, (2, 2, 1, 1, 1)): 1224, (5, (2, 1, 1, 1, 1, 1)): 2520, (5, (1, 1, 1, 1, 1, 1, 1)): 5040, (6, (7,)): 0, (6, (6, 1)): 5, (6, (5, 2)): 15, (6, (5, 1, 1)): 42, (6, (4, 3)): 29, (6, (4, 2, 1)): 99, (6, (4, 1, 1, 1)): 210, (6, (3, 3, 1)): 140, (6, (3, 2, 2)): 198, (6, (3, 2, 1, 1)): 420, (6, (3, 1, 1, 1, 1)): 840, (6, (2, 2, 2, 1)): 618, (6, (2, 2, 1, 1, 1)): 1260, (6, (2, 1, 1, 1, 1, 1)): 2520, (6, (1, 1, 1, 1, 1, 1, 1)): 5040, (7, (7,)): 0, (7, (6, 1)): 6, (7, (5, 2)): 18, (7, (5, 1, 1)): 42, (7, (4, 3)): 32, (7, (4, 2, 1)): 102, (7, (4, 1, 1, 1)): 210, (7, (3, 3, 1)): 140, (7, (3, 2, 2)): 204, (7, (3, 2, 1, 1)): 420, (7, (3, 1, 1, 1, 1)): 840, (7, (2, 2, 2, 1)): 624, (7, (2, 2, 1, 1, 1)): 1260, (7, (2, 1, 1, 1, 1, 1)): 2520, (7, (1, 1, 1, 1, 1, 1, 1)): 5040, (1, (8,)): 0, (1, (7, 1)): 0, (1, (6, 2)): 0, (1, (6, 1, 1)): 0, (1, (5, 3)): 0, (1, (5, 2, 1)): 0, (1, (5, 1, 1, 1)): 0, (1, (4, 4)): 0, (1, (4, 3, 1)): 0, (1, (4, 2, 2)): 0, (1, (4, 2, 1, 1)): 0, (1, (4, 1, 1, 1, 1)): 0, (1, (3, 3, 2)): 0, (1, (3, 3, 1, 1)): 0, (1, (3, 2, 2, 1)): 0, (1, (3, 2, 1, 1, 1)): 0, (1, (3, 1, 1, 1, 1, 1)): 0, (1, (2, 2, 2, 2)): 0, (1, (2, 2, 2, 1, 1)): 0, (1, (2, 2, 1, 1, 1, 1)): 0, (1, (2, 1, 1, 1, 1, 1, 1)): 0, (1, (1, 1, 1, 1, 1, 1, 1, 1)): 0, (2, (8,)): 0, (2, (7, 1)): 0, (2, (6, 2)): 0, (2, (6, 1, 1)): 0, (2, (5, 3)): 0, (2, (5, 2, 1)): 0, (2, (5, 1, 1, 1)): 0, (2, (4, 4)): 2, (2, (4, 3, 1)): 14, (2, (4, 2, 2)): 24, (2, (4, 2, 1, 1)): 54, (2, (4, 1, 1, 1, 1)): 120, (2, (3, 3, 2)): 74, (2, (3, 3, 1, 1)): 184, (2, (3, 2, 2, 1)): 384, (2, (3, 2, 1, 1, 1)): 960, (2, (3, 1, 1, 1, 1, 1)): 2400, (2, (2, 2, 2, 2)): 864, (2, (2, 2, 2, 1, 1)): 2220, (2, (2, 2, 1, 1, 1, 1)): 5760, (2, (2, 1, 1, 1, 1, 1, 1)): 15120, (2, (1, 1, 1, 1, 1, 1, 1, 1)): 40320, (3, (8,)): 0, (3, (7, 1)): 0, (3, (6, 2)): 0, (3, (6, 1, 1)): 0, (3, (5, 3)): 0, (3, (5, 2, 1)): 0, (3, (5, 1, 1, 1)): 0, (3, (4, 4)): 4, (3, (4, 3, 1)): 24, (3, (4, 2, 2)): 44, (3, (4, 2, 1, 1)): 96, (3, (4, 1, 1, 1, 1)): 216, (3, (3, 3, 2)): 96, (3, (3, 3, 1, 1)): 240, (3, (3, 2, 2, 1)): 480, (3, (3, 2, 1, 1, 1)): 1176, (3, (3, 1, 1, 1, 1, 1)): 2880, (3, (2, 2, 2, 2)): 1032, (3, (2, 2, 2, 1, 1)): 2520, (3, (2, 2, 1, 1, 1, 1)): 6288, (3, (2, 1, 1, 1, 1, 1, 1)): 15840, (3, (1, 1, 1, 1, 1, 1, 1, 1)): 40320, (4, (8,)): 0, (4, (7, 1)): 0, (4, (6, 2)): 6, (4, (6, 1, 1)): 20, (4, (5, 3)): 12, (4, (5, 2, 1)): 84, (4, (5, 1, 1, 1)): 240, (4, (4, 4)): 20, (4, (4, 3, 1)): 154, (4, (4, 2, 2)): 276, (4, (4, 2, 1, 1)): 660, (4, (4, 1, 1, 1, 1)): 1560, (4, (3, 3, 2)): 374, (4, (3, 3, 1, 1)): 892, (4, (3, 2, 2, 1)): 1404, (4, (3, 2, 1, 1, 1)): 3120, (4, (3, 1, 1, 1, 1, 1)): 6720, (4, (2, 2, 2, 2)): 2184, (4, (2, 2, 2, 1, 1)): 4680, (4, (2, 2, 1, 1, 1, 1)): 9840, (4, (2, 1, 1, 1, 1, 1, 1)): 20160, (4, (1, 1, 1, 1, 1, 1, 1, 1)): 40320, (5, (8,)): 0, (5, (7, 1)): 0, (5, (6, 2)): 4, (5, (6, 1, 1)): 16, (5, (5, 3)): 20, (5, (5, 2, 1)): 92, (5, (5, 1, 1, 1)): 240, (5, (4, 4)): 28, (5, (4, 3, 1)): 184, (5, (4, 2, 2)): 296, (5, (4, 2, 1, 1)): 696, (5, (4, 1, 1, 1, 1)): 1584, (5, (3, 3, 2)): 416, (5, (3, 3, 1, 1)): 944, (5, (3, 2, 2, 1)): 1460, (5, (3, 2, 1, 1, 1)): 3168, (5, (3, 1, 1, 1, 1, 1)): 6720, (5, (2, 2, 2, 2)): 2232, (5, (2, 2, 2, 1, 1)): 4752, (5, (2, 2, 1, 1, 1, 1)): 9888, (5, (2, 1, 1, 1, 1, 1, 1)): 20160, (5, (1, 1, 1, 1, 1, 1, 1, 1)): 40320, (6, (8,)): 0, (6, (7, 1)): 4, (6, (6, 2)): 16, (6, (6, 1, 1)): 50, (6, (5, 3)): 38, (6, (5, 2, 1)): 150, (6, (5, 1, 1, 1)): 336, (6, (4, 4)): 54, (6, (4, 3, 1)): 262, (6, (4, 2, 2)): 384, (6, (4, 2, 1, 1)): 822, (6, (4, 1, 1, 1, 1)): 1680, (6, (3, 3, 2)): 524, (6, (3, 3, 1, 1)): 1120, (6, (3, 2, 2, 1)): 1644, (6, (3, 2, 1, 1, 1)): 3360, (6, (3, 1, 1, 1, 1, 1)): 6720, (6, (2, 2, 2, 2)): 2448, (6, (2, 2, 2, 1, 1)): 5004, (6, (2, 2, 1, 1, 1, 1)): 10080, (6, (2, 1, 1, 1, 1, 1, 1)): 20160, (6, (1, 1, 1, 1, 1, 1, 1, 1)): 40320, (7, (8,)): 0, (7, (7, 1)): 4, (7, (6, 2)): 20, (7, (6, 1, 1)): 52, (7, (5, 3)): 44, (7, (5, 2, 1)): 156, (7, (5, 1, 1, 1)): 336, (7, (4, 4)): 60, (7, (4, 3, 1)): 268, (7, (4, 2, 2)): 396, (7, (4, 2, 1, 1)): 828, (7, (4, 1, 1, 1, 1)): 1680, (7, (3, 3, 2)): 536, (7, (3, 3, 1, 1)): 1120, (7, (3, 2, 2, 1)): 1656, (7, (3, 2, 1, 1, 1)): 3360, (7, (3, 1, 1, 1, 1, 1)): 6720, (7, (2, 2, 2, 2)): 2472, (7, (2, 2, 2, 1, 1)): 5016, (7, (2, 2, 1, 1, 1, 1)): 10080, (7, (2, 1, 1, 1, 1, 1, 1)): 20160, (7, (1, 1, 1, 1, 1, 1, 1, 1)): 40320, (8, (8,)): 0, (8, (7, 1)): 8, (8, (6, 2)): 24, (8, (6, 1, 1)): 56, (8, (5, 3)): 56, (8, (5, 2, 1)): 168, (8, (5, 1, 1, 1)): 336, (8, (4, 4)): 64, (8, (4, 3, 1)): 280, (8, (4, 2, 2)): 408, (8, (4, 2, 1, 1)): 840, (8, (4, 1, 1, 1, 1)): 1680, (8, (3, 3, 2)): 560, (8, (3, 3, 1, 1)): 1120, (8, (3, 2, 2, 1)): 1680, (8, (3, 2, 1, 1, 1)): 3360, (8, (3, 1, 1, 1, 1, 1)): 6720, (8, (2, 2, 2, 2)): 2496, (8, (2, 2, 2, 1, 1)): 5040, (8, (2, 2, 1, 1, 1, 1)): 10080, (8, (2, 1, 1, 1, 1, 1, 1)): 20160, (8, (1, 1, 1, 1, 1, 1, 1, 1)): 40320, (1, (9,)): 0, (1, (8, 1)): 0, (1, (7, 2)): 0, (1, (7, 1, 1)): 0, (1, (6, 3)): 0, (1, (6, 2, 1)): 0, (1, (6, 1, 1, 1)): 0, (1, (5, 4)): 0, (1, (5, 3, 1)): 0, (1, (5, 2, 2)): 0, (1, (5, 2, 1, 1)): 0, (1, (5, 1, 1, 1, 1)): 0, (1, (4, 4, 1)): 0, (1, (4, 3, 2)): 0, (1, (4, 3, 1, 1)): 0, (1, (4, 2, 2, 1)): 0, (1, (4, 2, 1, 1, 1)): 0, (1, (4, 1, 1, 1, 1, 1)): 0, (1, (3, 3, 3)): 0, (1, (3, 3, 2, 1)): 0, (1, (3, 3, 1, 1, 1)): 0, (1, (3, 2, 2, 2)): 0, (1, (3, 2, 2, 1, 1)): 0, (1, (3, 2, 1, 1, 1, 1)): 0, (1, (3, 1, 1, 1, 1, 1, 1)): 0, (1, (2, 2, 2, 2, 1)): 0, (1, (2, 2, 2, 1, 1, 1)): 0, (1, (2, 2, 1, 1, 1, 1, 1)): 0, (1, (2, 1, 1, 1, 1, 1, 1, 1)): 0, (1, (1, 1, 1, 1, 1, 1, 1, 1, 1)): 0, (2, (9,)): 0, (2, (8, 1)): 0, (2, (7, 2)): 0, (2, (7, 1, 1)): 0, (2, (6, 3)): 0, (2, (6, 2, 1)): 0, (2, (6, 1, 1, 1)): 0, (2, (5, 4)): 1, (2, (5, 3, 1)): 4, (2, (5, 2, 2)): 6, (2, (5, 2, 1, 1)): 12, (2, (5, 1, 1, 1, 1)): 24, (2, (4, 4, 1)): 24, (2, (4, 3, 2)): 79, (2, (4, 3, 1, 1)): 186, (2, (4, 2, 2, 1)): 336, (2, (4, 2, 1, 1, 1)): 780, (2, (4, 1, 1, 1, 1, 1)): 1800, (2, (3, 3, 3)): 174, (2, (3, 3, 2, 1)): 836, (2, (3, 3, 1, 1, 1)): 2040, (2, (3, 2, 2, 2)): 1686, (2, (3, 2, 2, 1, 1)): 4140, (2, (3, 2, 1, 1, 1, 1)): 10200, (2, (3, 1, 1, 1, 1, 1, 1)): 25200, (2, (2, 2, 2, 2, 1)): 8760, (2, (2, 2, 2, 1, 1, 1)): 21960, (2, (2, 2, 1, 1, 1, 1, 1)): 55440, (2, (2, 1, 1, 1, 1, 1, 1, 1)): 141120, (2, (1, 1, 1, 1, 1, 1, 1, 1, 1)): 362880, (3, (9,)): 0, (3, (8, 1)): 0, (3, (7, 2)): 0, (3, (7, 1, 1)): 0, (3, (6, 3)): 0, (3, (6, 2, 1)): 0, (3, (6, 1, 1, 1)): 0, (3, (5, 4)): 2, (3, (5, 3, 1)): 10, (3, (5, 2, 2)): 16, (3, (5, 2, 1, 1)): 34, (3, (5, 1, 1, 1, 1)): 72, (3, (4, 4, 1)): 36, (3, (4, 3, 2)): 116, (3, (4, 3, 1, 1)): 270, (3, (4, 2, 2, 1)): 492, (3, (4, 2, 1, 1, 1)): 1140, (3, (4, 1, 1, 1, 1, 1)): 2640, (3, (3, 3, 3)): 228, (3, (3, 3, 2, 1)): 1052, (3, (3, 3, 1, 1, 1)): 2520, (3, (3, 2, 2, 2)): 2058, (3, (3, 2, 2, 1, 1)): 4936, (3, (3, 2, 1, 1, 1, 1)): 11904, (3, (3, 1, 1, 1, 1, 1, 1)): 28800, (3, (2, 2, 2, 2, 1)): 9936, (3, (2, 2, 2, 1, 1, 1)): 24192, (3, (2, 2, 1, 1, 1, 1, 1)): 59280, (3, (2, 1, 1, 1, 1, 1, 1, 1)): 146160, (3, (1, 1, 1, 1, 1, 1, 1, 1, 1)): 362880, (4, (9,)): 0, (4, (8, 1)): 0, (4, (7, 2)): 4, (4, (7, 1, 1)): 12, (4, (6, 3)): 13, (4, (6, 2, 1)): 92, (4, (6, 1, 1, 1)): 264, (4, (5, 4)): 24, (4, (5, 3, 1)): 206, (4, (5, 2, 2)): 404, (4, (5, 2, 1, 1)): 984, (4, (5, 1, 1, 1, 1)): 2424, (4, (4, 4, 1)): 284, (4, (4, 3, 2)): 739, (4, (4, 3, 1, 1)): 1734, (4, (4, 2, 2, 1)): 2868, (4, (4, 2, 1, 1, 1)): 6480, (4, (4, 1, 1, 1, 1, 1)): 14400, (4, (3, 3, 3)): 1020, (4, (3, 3, 2, 1)): 3888, (4, (3, 3, 1, 1, 1)): 8688, (4, (3, 2, 2, 2)): 6210, (4, (3, 2, 2, 1, 1)): 13452, (4, (3, 2, 1, 1, 1, 1)): 28800, (4, (3, 1, 1, 1, 1, 1, 1)): 60480, (4, (2, 2, 2, 2, 1)): 20592, (4, (2, 2, 2, 1, 1, 1)): 43200, (4, (2, 2, 1, 1, 1, 1, 1)): 89280, (4, (2, 1, 1, 1, 1, 1, 1, 1)): 181440, (4, (1, 1, 1, 1, 1, 1, 1, 1, 1)): 362880, (5, (9,)): 0, (5, (8, 1)): 0, (5, (7, 2)): 2, (5, (7, 1, 1)): 10, (5, (6, 3)): 18, (5, (6, 2, 1)): 86, (5, (6, 1, 1, 1)): 240, (5, (5, 4)): 36, (5, (5, 3, 1)): 258, (5, (5, 2, 2)): 420, (5, (5, 2, 1, 1)): 1028, (5, (5, 1, 1, 1, 1)): 2424, (5, (4, 4, 1)): 348, (5, (4, 3, 2)): 820, (5, (4, 3, 1, 1)): 1894, (5, (4, 2, 2, 1)): 2996, (5, (4, 2, 1, 1, 1)): 6660, (5, (4, 1, 1, 1, 1, 1)): 14520, (5, (3, 3, 3)): 1164, (5, (3, 3, 2, 1)): 4108, (5, (3, 3, 1, 1, 1)): 8952, (5, (3, 2, 2, 2)): 6384, (5, (3, 2, 2, 1, 1)): 13736, (5, (3, 2, 1, 1, 1, 1)): 29040, (5, (3, 1, 1, 1, 1, 1, 1)): 60480, (5, (2, 2, 2, 2, 1)): 20880, (5, (2, 2, 2, 1, 1, 1)): 43560, (5, (2, 2, 1, 1, 1, 1, 1)): 89520, (5, (2, 1, 1, 1, 1, 1, 1, 1)): 181440, (5, (1, 1, 1, 1, 1, 1, 1, 1, 1)): 362880, (6, (9,)): 0, (6, (8, 1)): 3, (6, (7, 2)): 15, (6, (7, 1, 1)): 54, (6, (6, 3)): 47, (6, (6, 2, 1)): 204, (6, (6, 1, 1, 1)): 480, (6, (5, 4)): 82, (6, (5, 3, 1)): 432, (6, (5, 2, 2)): 660, (6, (5, 2, 1, 1)): 1440, (6, (5, 1, 1, 1, 1)): 3024, (6, (4, 4, 1)): 562, (6, (4, 3, 2)): 1140, (6, (4, 3, 1, 1)): 2448, (6, (4, 2, 2, 1)): 3636, (6, (4, 2, 1, 1, 1)): 7488, (6, (4, 1, 1, 1, 1, 1)): 15120, (6, (3, 3, 3)): 1542, (6, (3, 3, 2, 1)): 4896, (6, (3, 3, 1, 1, 1)): 10080, (6, (3, 2, 2, 2)): 7320, (6, (3, 2, 2, 1, 1)): 14976, (6, (3, 2, 1, 1, 1, 1)): 30240, (6, (3, 1, 1, 1, 1, 1, 1)): 60480, (6, (2, 2, 2, 2, 1)): 22392, (6, (2, 2, 2, 1, 1, 1)): 45216, (6, (2, 2, 1, 1, 1, 1, 1)): 90720, (6, (2, 1, 1, 1, 1, 1, 1, 1)): 181440, (6, (1, 1, 1, 1, 1, 1, 1, 1, 1)): 362880, (7, (9,)): 0, (7, (8, 1)): 2, (7, (7, 2)): 20, (7, (7, 1, 1)): 54, (7, (6, 3)): 54, (7, (6, 2, 1)): 216, (7, (6, 1, 1, 1)): 486, (7, (5, 4)): 94, (7, (5, 3, 1)): 450, (7, (5, 2, 2)): 686, (7, (5, 2, 1, 1)): 1458, (7, (5, 1, 1, 1, 1)): 3024, (7, (4, 4, 1)): 580, (7, (4, 3, 2)): 1170, (7, (4, 3, 1, 1)): 2466, (7, (4, 2, 2, 1)): 3672, (7, (4, 2, 1, 1, 1)): 7506, (7, (4, 1, 1, 1, 1, 1)): 15120, (7, (3, 3, 3)): 1572, (7, (3, 3, 2, 1)): 4932, (7, (3, 3, 1, 1, 1)): 10080, (7, (3, 2, 2, 2)): 7380, (7, (3, 2, 2, 1, 1)): 15012, (7, (3, 2, 1, 1, 1, 1)): 30240, (7, (3, 1, 1, 1, 1, 1, 1)): 60480, (7, (2, 2, 2, 2, 1)): 22464, (7, (2, 2, 2, 1, 1, 1)): 45252, (7, (2, 2, 1, 1, 1, 1, 1)): 90720, (7, (2, 1, 1, 1, 1, 1, 1, 1)): 181440, (7, (1, 1, 1, 1, 1, 1, 1, 1, 1)): 362880, (8, (9,)): 0, (8, (8, 1)): 7, (8, (7, 2)): 28, (8, (7, 1, 1)): 72, (8, (6, 3)): 76, (8, (6, 2, 1)): 244, (8, (6, 1, 1, 1)): 504, (8, (5, 4)): 114, (8, (5, 3, 1)): 504, (8, (5, 2, 2)): 732, (8, (5, 2, 1, 1)): 1512, (8, (5, 1, 1, 1, 1)): 3024, (8, (4, 4, 1)): 618, (8, (4, 3, 2)): 1236, (8, (4, 3, 1, 1)): 2520, (8, (4, 2, 2, 1)): 3756, (8, (4, 2, 1, 1, 1)): 7560, (8, (4, 1, 1, 1, 1, 1)): 15120, (8, (3, 3, 3)): 1680, (8, (3, 3, 2, 1)): 5040, (8, (3, 3, 1, 1, 1)): 10080, (8, (3, 2, 2, 2)): 7512, (8, (3, 2, 2, 1, 1)): 15120, (8, (3, 2, 1, 1, 1, 1)): 30240, (8, (3, 1, 1, 1, 1, 1, 1)): 60480, (8, (2, 2, 2, 2, 1)): 22632, (8, (2, 2, 2, 1, 1, 1)): 45360, (8, (2, 2, 1, 1, 1, 1, 1)): 90720, (8, (2, 1, 1, 1, 1, 1, 1, 1)): 181440, (8, (1, 1, 1, 1, 1, 1, 1, 1, 1)): 362880, (9, (9,)): 0, (9, (8, 1)): 8, (9, (7, 2)): 32, (9, (7, 1, 1)): 72, (9, (6, 3)): 80, (9, (6, 2, 1)): 248, (9, (6, 1, 1, 1)): 504, (9, (5, 4)): 120, (9, (5, 3, 1)): 504, (9, (5, 2, 2)): 744, (9, (5, 2, 1, 1)): 1512, (9, (5, 1, 1, 1, 1)): 3024, (9, (4, 4, 1)): 624, (9, (4, 3, 2)): 1248, (9, (4, 3, 1, 1)): 2520, (9, (4, 2, 2, 1)): 3768, (9, (4, 2, 1, 1, 1)): 7560, (9, (4, 1, 1, 1, 1, 1)): 15120, (9, (3, 3, 3)): 1680, (9, (3, 3, 2, 1)): 5040, (9, (3, 3, 1, 1, 1)): 10080, (9, (3, 2, 2, 2)): 7536, (9, (3, 2, 2, 1, 1)): 15120, (9, (3, 2, 1, 1, 1, 1)): 30240, (9, (3, 1, 1, 1, 1, 1, 1)): 60480, (9, (2, 2, 2, 2, 1)): 22656, (9, (2, 2, 2, 1, 1, 1)): 45360, (9, (2, 2, 1, 1, 1, 1, 1)): 90720, (9, (2, 1, 1, 1, 1, 1, 1, 1)): 181440, (9, (1, 1, 1, 1, 1, 1, 1, 1, 1)): 362880, (1, (10,)): 0, (1, (9, 1)): 0, (1, (8, 2)): 0, (1, (8, 1, 1)): 0, (1, (7, 3)): 0, (1, (7, 2, 1)): 0, (1, (7, 1, 1, 1)): 0, (1, (6, 4)): 0, (1, (6, 3, 1)): 0, (1, (6, 2, 2)): 0, (1, (6, 2, 1, 1)): 0, (1, (6, 1, 1, 1, 1)): 0, (1, (5, 5)): 0, (1, (5, 4, 1)): 0, (1, (5, 3, 2)): 0, (1, (5, 3, 1, 1)): 0, (1, (5, 2, 2, 1)): 0, (1, (5, 2, 1, 1, 1)): 0, (1, (5, 1, 1, 1, 1, 1)): 0, (1, (4, 4, 2)): 0, (1, (4, 4, 1, 1)): 0, (1, (4, 3, 3)): 0, (1, (4, 3, 2, 1)): 0, (1, (4, 3, 1, 1, 1)): 0, (1, (4, 2, 2, 2)): 0, (1, (4, 2, 2, 1, 1)): 0, (1, (4, 2, 1, 1, 1, 1)): 0, (1, (4, 1, 1, 1, 1, 1, 1)): 0, (1, (3, 3, 3, 1)): 0, (1, (3, 3, 2, 2)): 0, (1, (3, 3, 2, 1, 1)): 0, (1, (3, 3, 1, 1, 1, 1)): 0, (1, (3, 2, 2, 2, 1)): 0, (1, (3, 2, 2, 1, 1, 1)): 0, (1, (3, 2, 1, 1, 1, 1, 1)): 0, (1, (3, 1, 1, 1, 1, 1, 1, 1)): 0, (1, (2, 2, 2, 2, 2)): 0, (1, (2, 2, 2, 2, 1, 1)): 0, (1, (2, 2, 2, 1, 1, 1, 1)): 0, (1, (2, 2, 1, 1, 1, 1, 1, 1)): 0, (1, (2, 1, 1, 1, 1, 1, 1, 1, 1)): 0, (1, (1, 1, 1, 1, 1, 1, 1, 1, 1, 1)): 0, (2, (10,)): 0, (2, (9, 1)): 0, (2, (8, 2)): 0, (2, (8, 1, 1)): 0, (2, (7, 3)): 0, (2, (7, 2, 1)): 0, (2, (7, 1, 1, 1)): 0, (2, (6, 4)): 0, (2, (6, 3, 1)): 0, (2, (6, 2, 2)): 0, (2, (6, 2, 1, 1)): 0, (2, (6, 1, 1, 1, 1)): 0, (2, (5, 5)): 2, (2, (5, 4, 1)): 18, (2, (5, 3, 2)): 44, (2, (5, 3, 1, 1)): 96, (2, (5, 2, 2, 1)): 156, (2, (5, 2, 1, 1, 1)): 336, (2, (5, 1, 1, 1, 1, 1)): 720, (2, (4, 4, 2)): 138, (2, (4, 4, 1, 1)): 324, (2, (4, 3, 3)): 248, (2, (4, 3, 2, 1)): 1074, (2, (4, 3, 1, 1, 1)): 2520, (2, (4, 2, 2, 2)): 1974, (2, (4, 2, 2, 1, 1)): 4620, (2, (4, 2, 1, 1, 1, 1)): 10800, (2, (4, 1, 1, 1, 1, 1, 1)): 25200, (2, (3, 3, 3, 1)): 2184, (2, (3, 3, 2, 2)): 4204, (2, (3, 3, 2, 1, 1)): 10080, (2, (3, 3, 1, 1, 1, 1)): 24240, (2, (3, 2, 2, 2, 1)): 19740, (2, (3, 2, 2, 1, 1, 1)): 47760, (2, (3, 2, 1, 1, 1, 1, 1)): 115920, (2, (3, 1, 1, 1, 1, 1, 1, 1)): 282240, (2, (2, 2, 2, 2, 2)): 39480, (2, (2, 2, 2, 2, 1, 1)): 96480, (2, (2, 2, 2, 1, 1, 1, 1)): 236880, (2, (2, 2, 1, 1, 1, 1, 1, 1)): 584640, (2, (2, 1, 1, 1, 1, 1, 1, 1, 1)): 1451520, (2, (1, 1, 1, 1, 1, 1, 1, 1, 1, 1)): 3628800, (3, (10,)): 0, (3, (9, 1)): 0, (3, (8, 2)): 0, (3, (8, 1, 1)): 0, (3, (7, 3)): 0, (3, (7, 2, 1)): 0, (3, (7, 1, 1, 1)): 0, (3, (6, 4)): 1, (3, (6, 3, 1)): 4, (3, (6, 2, 2)): 6, (3, (6, 2, 1, 1)): 12, (3, (6, 1, 1, 1, 1)): 24, (3, (5, 5)): 2, (3, (5, 4, 1)): 28, (3, (5, 3, 2)): 74, (3, (5, 3, 1, 1)): 172, (3, (5, 2, 2, 1)): 288, (3, (5, 2, 1, 1, 1)): 648, (3, (5, 1, 1, 1, 1, 1)): 1440, (3, (4, 4, 2)): 200, (3, (4, 4, 1, 1)): 448, (3, (4, 3, 3)): 346, (3, (4, 3, 2, 1)): 1452, (3, (4, 3, 1, 1, 1)): 3360, (3, (4, 2, 2, 2)): 2664, (3, (4, 2, 2, 1, 1)): 6144, (3, (4, 2, 1, 1, 1, 1)): 14256, (3, (4, 1, 1, 1, 1, 1, 1)): 33120, (3, (3, 3, 3, 1)): 2760, (3, (3, 3, 2, 2)): 5148, (3, (3, 3, 2, 1, 1)): 12168, (3, (3, 3, 1, 1, 1, 1)): 28752, (3, (3, 2, 2, 2, 1)): 23112, (3, (3, 2, 2, 1, 1, 1)): 54912, (3, (3, 2, 1, 1, 1, 1, 1)): 130800, (3, (3, 1, 1, 1, 1, 1, 1, 1)): 312480, (3, (2, 2, 2, 2, 2)): 44640, (3, (2, 2, 2, 2, 1, 1)): 106560, (3, (2, 2, 2, 1, 1, 1, 1)): 255744, (3, (2, 2, 1, 1, 1, 1, 1, 1)): 616320, (3, (2, 1, 1, 1, 1, 1, 1, 1, 1)): 1491840, (3, (1, 1, 1, 1, 1, 1, 1, 1, 1, 1)): 3628800, (4, (10,)): 0, (4, (9, 1)): 0, (4, (8, 2)): 2, (4, (8, 1, 1)): 6, (4, (7, 3)): 12, (4, (7, 2, 1)): 84, (4, (7, 1, 1, 1)): 240, (4, (6, 4)): 28, (4, (6, 3, 1)): 252, (4, (6, 2, 2)): 522, (4, (6, 2, 1, 1)): 1284, (4, (6, 1, 1, 1, 1)): 3240, (4, (5, 5)): 36, (4, (5, 4, 1)): 428, (4, (5, 3, 2)): 1212, (4, (5, 3, 1, 1)): 2832, (4, (5, 2, 2, 1)): 4920, (4, (5, 2, 1, 1, 1)): 11328, (4, (5, 1, 1, 1, 1, 1)): 25920, (4, (4, 4, 2)): 1612, (4, (4, 4, 1, 1)): 3708, (4, (4, 3, 3)): 2286, (4, (4, 3, 2, 1)): 8744, (4, (4, 3, 1, 1, 1)): 19584, (4, (4, 2, 2, 2)): 14286, (4, (4, 2, 2, 1, 1)): 31272, (4, (4, 2, 1, 1, 1, 1)): 68040, (4, (4, 1, 1, 1, 1, 1, 1)): 146160, (4, (3, 3, 3, 1)): 12024, (4, (3, 3, 2, 2)): 19492, (4, (3, 3, 2, 1, 1)): 42216, (4, (3, 3, 1, 1, 1, 1)): 90960, (4, (3, 2, 2, 2, 1)): 65880, (4, (3, 2, 2, 1, 1, 1)): 139488, (4, (3, 2, 1, 1, 1, 1, 1)): 292320, (4, (3, 1, 1, 1, 1, 1, 1, 1)): 604800, (4, (2, 2, 2, 2, 2)): 101520, (4, (2, 2, 2, 2, 1, 1)): 211968, (4, (2, 2, 2, 1, 1, 1, 1)): 438480, (4, (2, 2, 1, 1, 1, 1, 1, 1)): 897120, (4, (2, 1, 1, 1, 1, 1, 1, 1, 1)): 1814400, (4, (1, 1, 1, 1, 1, 1, 1, 1, 1, 1)): 3628800, (5, (10,)): 0, (5, (9, 1)): 0, (5, (8, 2)): 1, (5, (8, 1, 1)): 6, (5, (7, 3)): 12, (5, (7, 2, 1)): 68, (5, (7, 1, 1, 1)): 204, (5, (6, 4)): 40, (5, (6, 3, 1)): 296, (5, (6, 2, 2)): 500, (5, (6, 2, 1, 1)): 1256, (5, (6, 1, 1, 1, 1)): 3072, (5, (5, 5)): 58, (5, (5, 4, 1)): 554, (5, (5, 3, 2)): 1344, (5, (5, 3, 1, 1)): 3156, (5, (5, 2, 2, 1)): 5100, (5, (5, 2, 1, 1, 1)): 11592, (5, (5, 1, 1, 1, 1, 1)): 25920, (5, (4, 4, 2)): 1810, (5, (4, 4, 1, 1)): 4172, (5, (4, 3, 3)): 2584, (5, (4, 3, 2, 1)): 9324, (5, (4, 3, 1, 1, 1)): 20556, (5, (4, 2, 2, 2)): 14748, (5, (4, 2, 2, 1, 1)): 32136, (5, (4, 2, 1, 1, 1, 1)): 69120, (5, (4, 1, 1, 1, 1, 1, 1)): 146880, (5, (3, 3, 3, 1)): 12888, (5, (3, 3, 2, 2)): 20232, (5, (3, 3, 2, 1, 1)): 43536, (5, (3, 3, 1, 1, 1, 1)): 92544, (5, (3, 2, 2, 2, 1)): 67116, (5, (3, 2, 2, 1, 1, 1)): 141192, (5, (3, 2, 1, 1, 1, 1, 1)): 293760, (5, (3, 1, 1, 1, 1, 1, 1, 1)): 604800, (5, (2, 2, 2, 2, 2)): 102720, (5, (2, 2, 2, 2, 1, 1)): 213888, (5, (2, 2, 2, 1, 1, 1, 1)): 440640, (5, (2, 2, 1, 1, 1, 1, 1, 1)): 898560, (5, (2, 1, 1, 1, 1, 1, 1, 1, 1)): 1814400, (5, (1, 1, 1, 1, 1, 1, 1, 1, 1, 1)): 3628800, (6, (10,)): 0, (6, (9, 1)): 2, (6, (8, 2)): 14, (6, (8, 1, 1)): 54, (6, (7, 3)): 52, (6, (7, 2, 1)): 252, (6, (7, 1, 1, 1)): 624, (6, (6, 4)): 112, (6, (6, 3, 1)): 646, (6, (6, 2, 2)): 1022, (6, (6, 2, 1, 1)): 2280, (6, (6, 1, 1, 1, 1)): 4920, (6, (5, 5)): 148, (6, (5, 4, 1)): 1032, (6, (5, 3, 2)): 2164, (6, (5, 3, 1, 1)): 4680, (6, (5, 2, 2, 1)): 7080, (6, (5, 2, 1, 1, 1)): 14760, (6, (5, 1, 1, 1, 1, 1)): 30240, (6, (4, 4, 2)): 2766, (6, (4, 4, 1, 1)): 5952, (6, (4, 3, 3)): 3734, (6, (4, 3, 2, 1)): 12000, (6, (4, 3, 1, 1, 1)): 24840, (6, (4, 2, 2, 2)): 18060, (6, (4, 2, 2, 1, 1)): 37080, (6, (4, 2, 1, 1, 1, 1)): 75240, (6, (4, 1, 1, 1, 1, 1, 1)): 151200, (6, (3, 3, 3, 1)): 16092, (6, (3, 3, 2, 2)): 24244, (6, (3, 3, 2, 1, 1)): 49680, (6, (3, 3, 1, 1, 1, 1)): 100800, (6, (3, 2, 2, 2, 1)): 74400, (6, (3, 2, 2, 1, 1, 1)): 150480, (6, (3, 2, 1, 1, 1, 1, 1)): 302400, (6, (3, 1, 1, 1, 1, 1, 1, 1)): 604800, (6, (2, 2, 2, 2, 2)): 111600, (6, (2, 2, 2, 2, 1, 1)): 225360, (6, (2, 2, 2, 1, 1, 1, 1)): 452880, (6, (2, 2, 1, 1, 1, 1, 1, 1)): 907200, (6, (2, 1, 1, 1, 1, 1, 1, 1, 1)): 1814400, (6, (1, 1, 1, 1, 1, 1, 1, 1, 1, 1)): 3628800, (7, (10,)): 0, (7, (9, 1)): 0, (7, (8, 2)): 18, (7, (8, 1, 1)): 48, (7, (7, 3)): 62, (7, (7, 2, 1)): 268, (7, (7, 1, 1, 1)): 624, (7, (6, 4)): 129, (7, (6, 3, 1)): 680, (7, (6, 2, 2)): 1074, (7, (6, 2, 1, 1)): 2328, (7, (6, 1, 1, 1, 1)): 4944, (7, (5, 5)): 170, (7, (5, 4, 1)): 1080, (7, (5, 3, 2)): 2240, (7, (5, 3, 1, 1)): 4752, (7, (5, 2, 2, 1)): 7180, (7, (5, 2, 1, 1, 1)): 14832, (7, (5, 1, 1, 1, 1, 1)): 30240, (7, (4, 4, 2)): 2844, (7, (4, 4, 1, 1)): 6024, (7, (4, 3, 3)): 3818, (7, (4, 3, 2, 1)): 12120, (7, (4, 3, 1, 1, 1)): 24912, (7, (4, 2, 2, 2)): 18228, (7, (4, 2, 2, 1, 1)): 37224, (7, (4, 2, 1, 1, 1, 1)): 75312, (7, (4, 1, 1, 1, 1, 1, 1)): 151200, (7, (3, 3, 3, 1)): 16224, (7, (3, 3, 2, 2)): 24436, (7, (3, 3, 2, 1, 1)): 49824, (7, (3, 3, 1, 1, 1, 1)): 100800, (7, (3, 2, 2, 2, 1)): 74640, (7, (3, 2, 2, 1, 1, 1)): 150624, (7, (3, 2, 1, 1, 1, 1, 1)): 302400, (7, (3, 1, 1, 1, 1, 1, 1, 1)): 604800, (7, (2, 2, 2, 2, 2)): 111960, (7, (2, 2, 2, 2, 1, 1)): 225648, (7, (2, 2, 2, 1, 1, 1, 1)): 453024, (7, (2, 2, 1, 1, 1, 1, 1, 1)): 907200, (7, (2, 1, 1, 1, 1, 1, 1, 1, 1)): 1814400, (7, (1, 1, 1, 1, 1, 1, 1, 1, 1, 1)): 3628800, (8, (10,)): 0, (8, (9, 1)): 6, (8, (8, 2)): 30, (8, (8, 1, 1)): 84, (8, (7, 3)): 96, (8, (7, 2, 1)): 336, (8, (7, 1, 1, 1)): 720, (8, (6, 4)): 180, (8, (6, 3, 1)): 816, (8, (6, 2, 2)): 1200, (8, (6, 2, 1, 1)): 2496, (8, (6, 1, 1, 1, 1)): 5040, (8, (5, 5)): 218, (8, (5, 4, 1)): 1224, (8, (5, 3, 2)): 2448, (8, (5, 3, 1, 1)): 5040, (8, (5, 2, 2, 1)): 7488, (8, (5, 2, 1, 1, 1)): 15120, (8, (5, 1, 1, 1, 1, 1)): 30240, (8, (4, 4, 2)): 3060, (8, (4, 4, 1, 1)): 6264, (8, (4, 3, 3)): 4128, (8, (4, 3, 2, 1)): 12528, (8, (4, 3, 1, 1, 1)): 25200, (8, (4, 2, 2, 2)): 18720, (8, (4, 2, 2, 1, 1)): 37728, (8, (4, 2, 1, 1, 1, 1)): 75600, (8, (4, 1, 1, 1, 1, 1, 1)): 151200, (8, (3, 3, 3, 1)): 16800, (8, (3, 3, 2, 2)): 25056, (8, (3, 3, 2, 1, 1)): 50400, (8, (3, 3, 1, 1, 1, 1)): 100800, (8, (3, 2, 2, 2, 1)): 75456, (8, (3, 2, 2, 1, 1, 1)): 151200, (8, (3, 2, 1, 1, 1, 1, 1)): 302400, (8, (3, 1, 1, 1, 1, 1, 1, 1)): 604800, (8, (2, 2, 2, 2, 2)): 113040, (8, (2, 2, 2, 2, 1, 1)): 226656, (8, (2, 2, 2, 1, 1, 1, 1)): 453600, (8, (2, 2, 1, 1, 1, 1, 1, 1)): 907200, (8, (2, 1, 1, 1, 1, 1, 1, 1, 1)): 1814400, (8, (1, 1, 1, 1, 1, 1, 1, 1, 1, 1)): 3628800, (9, (10,)): 0, (9, (9, 1)): 6, (9, (8, 2)): 35, (9, (8, 1, 1)): 86, (9, (7, 3)): 104, (9, (7, 2, 1)): 344, (9, (7, 1, 1, 1)): 720, (9, (6, 4)): 190, (9, (6, 3, 1)): 824, (9, (6, 2, 2)): 1220, (9, (6, 2, 1, 1)): 2504, (9, (6, 1, 1, 1, 1)): 5040, (9, (5, 5)): 230, (9, (5, 4, 1)): 1236, (9, (5, 3, 2)): 2472, (9, (5, 3, 1, 1)): 5040, (9, (5, 2, 2, 1)): 7512, (9, (5, 2, 1, 1, 1)): 15120, (9, (5, 1, 1, 1, 1, 1)): 30240, (9, (4, 4, 2)): 3090, (9, (4, 4, 1, 1)): 6276, (9, (4, 3, 3)): 4152, (9, (4, 3, 2, 1)): 12552, (9, (4, 3, 1, 1, 1)): 25200, (9, (4, 2, 2, 2)): 18780, (9, (4, 2, 2, 1, 1)): 37752, (9, (4, 2, 1, 1, 1, 1)): 75600, (9, (4, 1, 1, 1, 1, 1, 1)): 151200, (9, (3, 3, 3, 1)): 16800, (9, (3, 3, 2, 2)): 25104, (9, (3, 3, 2, 1, 1)): 50400, (9, (3, 3, 1, 1, 1, 1)): 100800, (9, (3, 2, 2, 2, 1)): 75504, (9, (3, 2, 2, 1, 1, 1)): 151200, (9, (3, 2, 1, 1, 1, 1, 1)): 302400, (9, (3, 1, 1, 1, 1, 1, 1, 1)): 604800, (9, (2, 2, 2, 2, 2)): 113160, (9, (2, 2, 2, 2, 1, 1)): 226704, (9, (2, 2, 2, 1, 1, 1, 1)): 453600, (9, (2, 2, 1, 1, 1, 1, 1, 1)): 907200, (9, (2, 1, 1, 1, 1, 1, 1, 1, 1)): 1814400, (9, (1, 1, 1, 1, 1, 1, 1, 1, 1, 1)): 3628800, (10, (10,)): 0, (10, (9, 1)): 10, (10, (8, 2)): 40, (10, (8, 1, 1)): 90, (10, (7, 3)): 120, (10, (7, 2, 1)): 360, (10, (7, 1, 1, 1)): 720, (10, (6, 4)): 200, (10, (6, 3, 1)): 840, (10, (6, 2, 2)): 1240, (10, (6, 2, 1, 1)): 2520, (10, (6, 1, 1, 1, 1)): 5040, (10, (5, 5)): 252, (10, (5, 4, 1)): 1260, (10, (5, 3, 2)): 2520, (10, (5, 3, 1, 1)): 5040, (10, (5, 2, 2, 1)): 7560, (10, (5, 2, 1, 1, 1)): 15120, (10, (5, 1, 1, 1, 1, 1)): 30240, (10, (4, 4, 2)): 3120, (10, (4, 4, 1, 1)): 6300, (10, (4, 3, 3)): 4200, (10, (4, 3, 2, 1)): 12600, (10, (4, 3, 1, 1, 1)): 25200, (10, (4, 2, 2, 2)): 18840, (10, (4, 2, 2, 1, 1)): 37800, (10, (4, 2, 1, 1, 1, 1)): 75600, (10, (4, 1, 1, 1, 1, 1, 1)): 151200, (10, (3, 3, 3, 1)): 16800, (10, (3, 3, 2, 2)): 25200, (10, (3, 3, 2, 1, 1)): 50400, (10, (3, 3, 1, 1, 1, 1)): 100800, (10, (3, 2, 2, 2, 1)): 75600, (10, (3, 2, 2, 1, 1, 1)): 151200, (10, (3, 2, 1, 1, 1, 1, 1)): 302400, (10, (3, 1, 1, 1, 1, 1, 1, 1)): 604800, (10, (2, 2, 2, 2, 2)): 113280, (10, (2, 2, 2, 2, 1, 1)): 226800, (10, (2, 2, 2, 1, 1, 1, 1)): 453600, (10, (2, 2, 1, 1, 1, 1, 1, 1)): 907200, (10, (2, 1, 1, 1, 1, 1, 1, 1, 1)): 1814400, (10, (1, 1, 1, 1, 1, 1, 1, 1, 1, 1)): 3628800}

print(embedded[(K, S_key)])

提出情報

ジャッジ結果