State Space Tree for Babylone, a game by Bruno Faidutti.

Babylone is a two-player game. The rules from The Games Journal article:

  There are 12 stone tablets, 3 each in 4 distinct colours. On your turn you will 
  place one stack on another according to two rules:

    * the stacks must be of the same height.

    or

    * the stacks must have the same colour stone on top.

  The first player unable to move loses.

This state space tree follows the form of

state ID, depth: board layout --> children state IDs

The board layout is a collection of piles, where a pile is a tuple of 
color, height and count.

Enjoy!

Mark Goadrich

0, 0: (A-1,3),(B-1,3),(C-1,3),(D-1,3) --> 1,2,
1, 1: (A-2,1),(A-1,1),(B-1,3),(C-1,3),(D-1,3) --> 3,4,5,6,7,
2, 1: (A-2,1),(A-1,2),(B-1,2),(C-1,3),(D-1,3) --> 8,4,9,10,6,11,12,7,13,14,
3, 2: (A-3,1),(B-1,3),(C-1,3),(D-1,3) --> 15,16,
4, 2: (A-2,2),(B-1,2),(C-1,3),(D-1,3) --> 17,18,19,20,21,
5, 2: (A-2,1),(B-2,1),(B-1,2),(C-1,3),(D-1,3) --> 17,22,23,18,24,25,26,27,
6, 2: (A-2,1),(B-2,1),(A-1,1),(B-1,1),(C-1,3),(D-1,3) --> 28,15,18,19,25,29,30,31,
7, 2: (A-2,1),(B-2,1),(A-1,1),(B-1,2),(C-1,2),(D-1,3) --> 32,16,33,34,19,20,21,24,35,36,26,30,37,38,27,31,39,
8, 2: (A-3,1),(A-1,1),(B-1,2),(C-1,3),(D-1,3) --> 17,40,41,15,23,34,16,42,43,
9, 2: (A-2,2),(A-1,1),(B-1,1),(C-1,3),(D-1,3) --> 28,40,44,45,18,24,20,46,35,47,
10, 2: (A-2,2),(A-1,1),(B-1,2),(C-1,2),(D-1,3) --> 32,41,45,48,19,24,35,36,21,47,
11, 2: (A-2,1),(B-2,1),(A-1,2),(C-1,3),(D-1,3) --> 22,23,17,18,24,29,49,50,
12, 2: (A-2,1),(B-2,1),(B-1,1),(A-1,2),(C-1,2),(D-1,3) --> 33,34,32,16,19,20,21,24,35,36,49,30,51,52,50,31,53,
13, 2: (A-2,1),(B-2,1),(C-1,1),(A-1,2),(B-1,2),(D-1,3) --> 33,42,37,51,54,46,20,35,47,55,39,53,56,
14, 2: (A-2,1),(B-2,1),(A-1,2),(B-1,2),(C-1,2),(D-1,2) --> 57,43,21,36,47,38,52,54,56,
15, 3: (A-3,1),(B-2,1),(B-1,1),(C-1,3),(D-1,3) --> 58,59,60,61,62,
16, 3: (A-3,1),(B-2,1),(B-1,2),(C-1,2),(D-1,3) --> 63,59,64,65,61,66,67,62,68,
17, 3: (A-4,1),(B-1,2),(C-1,3),(D-1,3) --> 69,70,71,72,
18, 3: (A-2,1),(B-2,2),(C-1,3),(D-1,3) --> 69,73,74,75,
19, 3: (A-2,1),(B-2,2),(A-1,1),(C-1,2),(D-1,3) --> 76,59,77,70,78,79,74,80,81,75,82,
20, 3: (A-2,1),(B-2,2),(C-1,1),(A-1,2),(D-1,3) --> 83,84,77,71,80,85,86,78,87,88,82,89,
21, 3: (A-2,1),(B-2,2),(A-1,2),(C-1,2),(D-1,2) --> 90,91,92,72,79,87,81,85,89,
22, 3: (A-4,1),(A-1,2),(B-1,3),(C-1,3) --> 93,73,94,95,96,97,
23, 3: (A-3,1),(B-2,1),(A-1,1),(C-1,3),(D-1,3) --> 69,98,60,99,100,
24, 3: (A-2,1),(B-2,2),(B-1,1),(C-1,2),(D-1,3) --> 70,94,76,98,101,102,74,103,104,75,105,
25, 3: (A-2,1),(B-2,1),(C-2,1),(B-1,1),(C-1,2),(D-1,3) --> 71,70,95,76,60,96,83,99,74,75,103,104,106,107,108,
26, 3: (A-2,1),(B-2,1),(C-2,1),(C-1,1),(B-1,2),(D-1,3) --> 70,71,96,83,99,95,76,60,74,75,103,104,109,107,110,
27, 3: (A-2,1),(B-2,1),(C-2,1),(B-1,2),(C-1,2),(D-1,2) --> 72,97,90,100,75,104,105,108,110,111,
28, 3: (A-4,1),(A-1,1),(B-1,1),(C-1,3),(D-1,3) --> 112,73,77,69,76,71,95,113,114,
29, 3: (A-2,1),(B-2,1),(C-2,1),(A-1,1),(C-1,2),(D-1,3) --> 95,76,60,71,70,83,96,115,74,75,103,80,116,106,117,118,
30, 3: (A-2,1),(B-2,1),(C-2,1),(A-1,1),(B-1,1),(C-1,1),(D-1,3) --> 113,61,74,80,81,107,117,119,120,
31, 3: (A-2,1),(B-2,1),(C-2,1),(A-1,1),(B-1,1),(C-1,2),(D-1,2) --> 114,121,62,122,123,75,81,82,104,116,124,108,118,120,125,
32, 3: (A-4,1),(A-1,1),(B-1,2),(C-1,2),(D-1,3) --> 126,77,92,70,76,113,121,72,114,
33, 3: (A-4,1),(B-1,1),(A-1,2),(C-1,2),(D-1,3) --> 127,76,83,90,94,77,128,129,96,113,122,97,114,130,
34, 3: (A-3,1),(B-2,1),(A-1,1),(B-1,1),(C-1,2),(D-1,3) --> 70,131,98,132,133,59,84,91,61,99,115,123,62,100,134,
35, 3: (A-2,1),(B-2,2),(A-1,1),(B-1,1),(C-1,1),(D-1,3) --> 113,64,128,132,78,135,136,101,137,138,103,80,116,105,82,139,124,
36, 3: (A-2,1),(B-2,2),(A-1,1),(B-1,1),(C-1,2),(D-1,2) --> 121,65,129,133,79,136,102,138,104,81,116,124,
37, 3: (A-2,1),(B-2,1),(C-2,1),(A-1,1),(B-1,2),(D-1,3) --> 76,95,66,83,96,115,71,70,80,85,103,116,109,119,140,
38, 3: (A-2,1),(B-2,1),(C-2,1),(A-1,1),(C-1,1),(B-1,2),(D-1,2) --> 121,114,67,122,123,62,85,81,89,75,82,104,116,124,110,140,120,141,
39, 3: (A-2,1),(B-2,1),(C-2,1),(A-1,1),(D-1,1),(B-1,2),(C-1,2) --> 114,68,130,122,134,88,82,89,111,125,141,105,139,124,
40, 3: (A-3,1),(A-2,1),(B-1,1),(C-1,3),(D-1,3) --> 112,98,142,132,143,
41, 3: (A-3,1),(A-2,1),(B-1,2),(C-1,2),(D-1,3) --> 126,98,132,133,143,
42, 3: (A-3,1),(B-2,1),(A-1,1),(C-1,1),(B-1,2),(D-1,3) --> 71,144,142,132,143,66,115,145,64,146,84,147,68,148,134,149,
43, 3: (A-3,1),(B-2,1),(A-1,1),(B-1,2),(C-1,2),(D-1,2) --> 72,150,133,143,65,91,147,67,123,145,149,
44, 3: (A-2,3),(B-1,3),(C-1,3) --> 73,137,151,
45, 3: (A-2,3),(B-1,1),(C-1,2),(D-1,3) --> 77,101,102,137,138,151,152,
46, 3: (A-2,1),(B-2,2),(B-1,1),(A-1,2),(C-1,3) --> 96,146,94,95,142,137,151,86,135,153,88,139,154,
47, 3: (A-2,1),(B-2,2),(B-1,1),(C-1,1),(A-1,2),(D-1,2) --> 122,147,129,114,143,151,138,152,85,116,155,87,153,136,156,89,154,124,
48, 3: (A-2,3),(B-1,2),(C-1,2),(D-1,2) --> 92,102,138,
49, 3: (A-2,1),(B-2,1),(C-2,1),(C-1,1),(A-1,2),(D-1,3) --> 96,83,99,70,71,76,95,66,80,85,103,74,104,157,117,158,
50, 3: (A-2,1),(B-2,1),(C-2,1),(A-1,2),(C-1,2),(D-1,2) --> 97,90,100,72,145,75,104,105,116,85,155,118,158,159,
51, 3: (A-2,1),(B-2,1),(C-2,1),(B-1,1),(A-1,2),(D-1,3) --> 83,96,115,76,95,66,70,71,80,85,103,116,157,119,160,
52, 3: (A-2,1),(B-2,1),(C-2,1),(B-1,1),(C-1,1),(A-1,2),(D-1,2) --> 122,123,121,114,67,85,81,89,104,116,124,158,160,120,161,
53, 3: (A-2,1),(B-2,1),(C-2,1),(B-1,1),(D-1,1),(A-1,2),(C-1,2) --> 130,122,134,114,68,149,88,82,89,159,125,161,105,139,124,155,154,
54, 3: (A-2,1),(B-2,1),(C-2,1),(A-1,2),(B-1,2),(D-1,2) --> 90,97,145,72,85,116,155,140,160,162,
55, 3: (A-2,1),(B-2,1),(C-2,1),(A-1,2),(B-1,2),(C-1,2) --> 97,148,88,139,154,
56, 3: (A-2,1),(B-2,1),(C-2,1),(C-1,1),(D-1,1),(A-1,2),(B-1,2) --> 122,130,149,114,68,88,82,89,162,141,161,155,154,124,
57, 3: (A-4,1),(A-1,2),(B-1,2),(C-1,2),(D-1,2) --> 163,92,129,121,90,122,
58, 4: (A-3,1),(B-3,1),(C-1,3),(D-1,3) --> 164,165,166,
59, 4: (A-3,1),(B-2,2),(C-1,2),(D-1,3) --> 167,168,169,170,
60, 4: (A-3,1),(B-2,1),(C-2,1),(C-1,2),(D-1,3) --> 167,171,172,168,173,174,175,
61, 4: (A-3,1),(B-2,1),(C-2,1),(B-1,1),(C-1,1),(D-1,3) --> 176,165,168,169,174,177,178,
62, 4: (A-3,1),(B-2,1),(C-2,1),(B-1,1),(C-1,2),(D-1,2) --> 179,166,180,181,169,170,173,182,175,178,183,
63, 4: (A-3,1),(B-3,1),(B-1,1),(C-1,2),(D-1,3) --> 184,185,167,186,187,165,172,181,166,188,
64, 4: (A-3,1),(B-2,2),(B-1,1),(C-1,1),(D-1,3) --> 176,186,189,190,168,173,170,191,182,
65, 4: (A-3,1),(B-2,2),(B-1,1),(C-1,2),(D-1,2) --> 179,187,190,169,173,182,
66, 4: (A-3,1),(B-2,1),(C-2,1),(B-1,2),(D-1,3) --> 171,172,167,168,173,177,192,
67, 4: (A-3,1),(B-2,1),(C-2,1),(C-1,1),(B-1,2),(D-1,2) --> 180,181,179,166,169,170,173,182,192,178,193,
68, 4: (A-3,1),(B-2,1),(C-2,1),(D-1,1),(B-1,2),(C-1,2) --> 180,188,183,193,191,170,182,
69, 4: (A-4,1),(B-2,1),(C-1,3),(D-1,3) --> 194,195,
70, 4: (A-4,1),(B-2,1),(B-1,1),(C-1,2),(D-1,3) --> 167,196,197,194,198,199,195,200,
71, 4: (A-4,1),(B-2,1),(C-1,1),(B-1,2),(D-1,3) --> 201,198,202,203,196,204,205,200,206,
72, 4: (A-4,1),(B-2,1),(B-1,2),(C-1,2),(D-1,2) --> 207,197,204,199,202,206,
73, 4: (A-4,1),(A-2,1),(B-1,3),(C-1,3) --> 164,208,209,
74, 4: (A-2,1),(B-2,1),(C-2,2),(B-1,1),(D-1,3) --> 196,198,210,211,168,208,212,194,213,214,215,
75, 4: (A-2,1),(B-2,1),(C-2,2),(B-1,2),(D-1,2) --> 197,202,216,217,218,209,219,195,213,220,215,221,
76, 4: (A-4,1),(B-2,1),(A-1,1),(C-1,2),(D-1,3) --> 222,212,219,194,211,223,195,224,
77, 4: (A-4,1),(A-2,1),(B-1,1),(C-1,2),(D-1,3) --> 184,212,219,208,225,209,226,
78, 4: (A-2,2),(B-2,2),(C-1,1),(D-1,3) --> 196,212,213,227,228,
79, 4: (A-2,2),(B-2,2),(C-1,2),(D-1,2) --> 197,219,213,228,
80, 4: (A-2,1),(B-2,1),(C-2,2),(A-1,1),(D-1,3) --> 210,211,168,196,198,212,208,213,214,229,
81, 4: (A-2,1),(B-2,1),(C-2,2),(A-1,1),(B-1,1),(D-1,2) --> 230,231,169,225,199,213,228,215,229,232,
82, 4: (A-2,1),(B-2,1),(C-2,2),(A-1,1),(D-1,1),(B-1,2) --> 230,233,170,234,235,236,226,225,200,227,228,221,232,220,237,
83, 4: (A-4,1),(B-2,1),(C-1,1),(A-1,2),(D-1,3) --> 238,211,217,239,212,240,241,224,242,
84, 4: (A-3,1),(B-2,2),(A-1,1),(C-1,1),(D-1,3) --> 196,201,243,244,168,218,170,245,236,
85, 4: (A-2,1),(B-2,1),(C-2,2),(A-1,2),(D-1,2) --> 216,217,218,197,202,219,209,213,220,229,246,
86, 4: (A-2,2),(B-2,2),(A-1,1),(C-1,3) --> 210,239,243,208,203,247,227,237,
87, 4: (A-2,2),(B-2,2),(A-1,1),(C-1,1),(D-1,2) --> 230,240,244,225,204,247,248,213,220,228,237,
88, 4: (A-2,1),(B-2,1),(C-2,2),(A-1,2),(B-1,2) --> 216,249,245,209,205,227,237,
89, 4: (A-2,1),(B-2,1),(C-2,2),(B-1,1),(D-1,1),(A-1,2) --> 234,235,236,230,233,170,225,226,206,227,228,246,232,220,237,
90, 4: (A-4,1),(B-2,1),(A-1,2),(C-1,2),(D-1,2) --> 250,219,240,223,217,242,
91, 4: (A-3,1),(B-2,2),(A-1,1),(C-1,2),(D-1,2) --> 197,207,244,169,218,236,
92, 4: (A-4,1),(A-2,1),(B-1,2),(C-1,2),(D-1,2) --> 251,219,225,
93, 4: (A-5,1),(A-1,1),(B-1,3),(C-1,3) --> 164,252,253,254,255,
94, 4: (A-4,1),(A-2,1),(A-1,1),(B-1,2),(C-1,3) --> 185,252,256,257,258,208,239,259,209,260,
95, 4: (A-4,1),(B-2,1),(A-1,1),(B-1,2),(C-1,3) --> 253,261,208,209,203,210,262,205,263,264,
96, 4: (A-4,1),(B-2,1),(B-1,1),(A-1,2),(C-1,3) --> 254,171,210,216,239,208,259,241,263,265,
97, 4: (A-4,1),(B-2,1),(A-1,2),(B-1,2),(C-1,2) --> 255,266,209,259,260,262,216,267,264,265,249,
98, 4: (A-3,1),(A-2,1),(B-2,1),(C-1,2),(D-1,3) --> 222,256,167,268,269,270,
99, 4: (A-3,1),(B-2,1),(C-2,1),(A-1,1),(C-1,1),(D-1,3) --> 194,201,261,271,268,269,168,218,174,272,273,
100, 4: (A-3,1),(B-2,1),(C-2,1),(A-1,1),(C-1,2),(D-1,2) --> 195,207,266,274,269,270,173,218,275,175,273,276,
101, 4: (A-2,1),(B-2,3),(C-1,1),(D-1,3) --> 196,257,212,277,278,279,
102, 4: (A-2,1),(B-2,3),(C-1,2),(D-1,2) --> 197,258,219,277,279,
103, 4: (A-2,1),(B-2,1),(C-2,2),(C-1,1),(D-1,3) --> 203,194,239,211,268,277,214,280,
104, 4: (A-2,1),(B-2,1),(C-2,2),(B-1,1),(C-1,1),(D-1,2) --> 204,199,262,223,173,259,240,269,213,281,277,279,280,215,282,
105, 4: (A-2,1),(B-2,1),(C-2,2),(C-1,1),(D-1,1),(B-1,2) --> 204,206,267,242,275,260,240,224,270,278,279,221,282,220,283,281,
106, 4: (A-2,1),(B-2,1),(C-2,1),(D-2,1),(C-1,2),(D-1,2) --> 205,195,241,217,272,214,280,
107, 4: (A-2,1),(B-2,1),(C-2,1),(D-2,1),(B-1,1),(C-1,1),(D-1,2) --> 200,199,263,224,223,174,265,242,273,214,215,280,282,
108, 4: (A-2,1),(B-2,1),(C-2,1),(D-2,1),(B-1,1),(D-1,1),(C-1,2) --> 206,199,200,264,223,224,175,265,242,273,263,174,221,215,214,280,282,
109, 4: (A-2,1),(B-2,1),(C-2,1),(D-2,1),(B-1,2),(D-1,2) --> 195,205,202,241,217,272,249,276,214,280,282,221,
110, 4: (A-2,1),(B-2,1),(C-2,1),(D-2,1),(C-1,1),(D-1,1),(B-1,2) --> 199,206,265,242,273,264,223,224,175,221,215,280,282,
111, 4: (A-2,1),(B-2,1),(C-2,1),(D-2,1),(B-1,2),(C-1,2) --> 202,205,249,217,241,276,195,221,282,
112, 4: (A-5,1),(B-1,1),(C-1,3),(D-1,3) --> 222,253,284,285,
113, 4: (A-4,1),(B-2,1),(A-1,1),(B-1,1),(C-1,1),(D-1,3) --> 284,176,212,208,225,196,210,230,198,211,231,200,224,263,286,
114, 4: (A-4,1),(B-2,1),(A-1,1),(C-1,1),(B-1,2),(D-1,2) --> 285,287,209,225,226,202,231,233,204,262,230,288,206,264,286,
115, 4: (A-3,1),(B-2,1),(C-2,1),(A-1,1),(B-1,1),(D-1,3) --> 198,261,271,201,268,289,168,218,177,272,290,
116, 4: (A-2,1),(B-2,1),(C-2,2),(A-1,1),(C-1,1),(D-1,2) --> 262,223,173,204,199,240,259,231,289,213,281,277,291,280,229,292,
117, 4: (A-2,1),(B-2,1),(C-2,1),(D-2,1),(A-1,1),(C-1,1),(D-1,2) --> 263,224,223,174,200,199,231,177,242,265,235,290,214,215,229,280,292,
118, 4: (A-2,1),(B-2,1),(C-2,1),(D-2,1),(A-1,1),(D-1,1),(C-1,2) --> 264,223,224,175,206,199,200,242,265,235,290,263,231,177,221,215,214,229,280,292,
119, 4: (A-2,1),(B-2,1),(C-2,1),(D-2,1),(A-1,1),(B-1,1),(D-1,2) --> 224,263,231,177,200,199,235,265,293,214,229,282,292,232,
120, 4: (A-2,1),(B-2,1),(C-2,1),(D-2,1),(A-1,1),(B-1,1),(C-1,1),(D-1,1) --> 286,178,215,229,232,
121, 4: (A-4,1),(B-2,1),(A-1,1),(B-1,1),(C-1,2),(D-1,2) --> 294,179,219,225,197,230,199,223,231,286,
122, 4: (A-4,1),(B-2,1),(B-1,1),(C-1,1),(A-1,2),(D-1,2) --> 295,180,216,230,234,217,231,235,240,259,225,296,242,265,286,
123, 4: (A-3,1),(B-2,1),(C-2,1),(A-1,1),(B-1,1),(C-1,1),(D-1,2) --> 199,287,297,269,289,298,169,218,236,178,273,290,293,
124, 4: (A-2,1),(B-2,1),(C-2,2),(A-1,1),(B-1,1),(C-1,1),(D-1,1) --> 288,286,182,296,298,281,228,299,279,291,300,282,292,232,
125, 4: (A-2,1),(B-2,1),(C-2,1),(D-2,1),(A-1,1),(B-1,1),(C-1,2) --> 233,231,263,183,235,265,293,200,199,221,232,282,292,
126, 4: (A-5,1),(B-1,2),(C-1,2),(D-1,3) --> 222,284,294,285,
127, 4: (A-5,1),(A-1,1),(B-1,1),(C-1,2),(D-1,3) --> 184,252,301,302,222,238,250,284,254,295,285,255,303,
128, 4: (A-4,1),(A-2,1),(A-1,1),(B-1,1),(C-1,1),(D-1,3) --> 304,301,305,257,306,212,239,240,226,260,296,
129, 4: (A-4,1),(A-2,1),(A-1,1),(B-1,1),(C-1,2),(D-1,2) --> 307,302,308,258,306,219,240,225,259,296,
130, 4: (A-4,1),(B-2,1),(C-1,1),(D-1,1),(A-1,2),(B-1,2) --> 303,309,249,233,235,260,226,296,267,288,234,
131, 4: (A-3,1),(B-3,1),(A-1,1),(C-1,2),(D-1,3) --> 185,167,184,310,311,165,271,297,166,312,
132, 4: (A-3,1),(A-2,1),(B-2,1),(B-1,1),(C-1,1),(D-1,3) --> 284,305,176,310,243,244,268,289,270,313,298,
133, 4: (A-3,1),(A-2,1),(B-2,1),(B-1,1),(C-1,2),(D-1,2) --> 294,308,179,311,244,269,289,298,
134, 4: (A-3,1),(B-2,1),(C-2,1),(A-1,1),(B-1,1),(D-1,1),(C-1,2) --> 200,287,312,309,314,270,313,298,170,245,236,183,276,293,182,275,315,
135, 4: (A-2,2),(B-2,2),(B-1,1),(C-1,3) --> 203,208,239,210,243,247,227,299,
136, 4: (A-2,2),(B-2,2),(B-1,1),(C-1,1),(D-1,2) --> 204,225,240,230,244,247,248,213,281,228,299,
137, 4: (A-2,1),(B-2,3),(A-1,1),(C-1,3) --> 210,189,257,208,247,278,300,
138, 4: (A-2,1),(B-2,3),(A-1,1),(C-1,1),(D-1,2) --> 230,190,306,225,247,248,277,291,279,300,
139, 4: (A-2,1),(B-2,1),(C-2,2),(A-1,1),(C-1,1),(B-1,2) --> 262,264,191,267,265,315,260,259,263,313,227,299,278,300,283,237,
140, 4: (A-2,1),(B-2,1),(C-2,1),(D-2,1),(A-1,1),(D-1,1),(B-1,2) --> 223,264,233,192,242,265,235,290,206,199,200,231,263,183,246,229,221,232,280,292,
141, 4: (A-2,1),(B-2,1),(C-2,1),(D-2,1),(A-1,1),(C-1,1),(B-1,2) --> 231,233,264,193,235,265,293,263,183,206,199,200,246,232,221,282,292,
142, 4: (A-3,1),(A-2,1),(B-2,1),(B-1,2),(C-1,3) --> 253,256,171,316,243,317,313,318,
143, 4: (A-3,1),(A-2,1),(B-2,1),(C-1,1),(B-1,2),(D-1,2) --> 285,308,180,319,289,320,317,244,321,318,298,
144, 4: (A-3,1),(B-3,1),(A-1,1),(B-1,1),(C-1,1),(D-1,3) --> 304,201,310,316,319,186,322,323,172,271,274,188,312,324,314,
145, 4: (A-3,1),(B-2,1),(C-2,1),(A-1,1),(B-1,2),(D-1,2) --> 202,266,274,207,289,320,173,218,275,192,290,325,
146, 4: (A-3,1),(B-2,2),(A-1,1),(B-1,1),(C-1,3) --> 203,261,322,243,317,189,326,191,245,315,
147, 4: (A-3,1),(B-2,2),(A-1,1),(B-1,1),(C-1,1),(D-1,2) --> 204,287,323,244,317,321,190,326,327,173,218,275,182,236,315,
148, 4: (A-3,1),(B-2,1),(C-2,1),(A-1,1),(B-1,2),(C-1,2) --> 205,266,324,313,318,191,245,315,
149, 4: (A-3,1),(B-2,1),(C-2,1),(A-1,1),(C-1,1),(D-1,1),(B-1,2) --> 206,309,314,287,312,320,318,298,170,245,236,193,325,293,182,275,315,
150, 4: (A-3,1),(B-3,1),(A-1,1),(B-1,1),(C-1,2),(D-1,2) --> 307,207,311,319,187,323,181,297,274,314,
151, 4: (A-2,1),(B-2,3),(A-1,2),(C-1,2) --> 216,326,258,209,247,328,300,329,
152, 4: (A-2,1),(B-2,3),(C-1,1),(D-1,1),(A-1,2) --> 234,327,306,226,329,291,328,248,
153, 4: (A-2,2),(B-2,2),(A-1,1),(B-1,1),(C-1,2) --> 262,259,317,247,328,299,237,283,
154, 4: (A-2,1),(B-2,1),(C-2,2),(B-1,1),(C-1,1),(A-1,2) --> 267,265,315,262,264,191,259,260,318,227,299,329,300,283,237,
155, 4: (A-2,1),(B-2,1),(C-2,2),(C-1,1),(D-1,1),(A-1,2) --> 267,242,275,204,206,240,260,233,320,329,291,246,292,220,283,281,
156, 4: (A-2,2),(B-2,2),(A-1,1),(B-1,1),(C-1,1),(D-1,1) --> 288,296,321,248,328,281,220,283,
157, 4: (A-2,1),(B-2,1),(C-2,1),(D-2,1),(A-1,2),(D-1,2) --> 241,217,272,195,205,202,249,325,214,280,292,246,
158, 4: (A-2,1),(B-2,1),(C-2,1),(D-2,1),(C-1,1),(D-1,1),(A-1,2) --> 265,242,273,199,206,223,264,233,192,246,229,280,282,215,
159, 4: (A-2,1),(B-2,1),(C-2,1),(D-2,1),(A-1,2),(C-1,2) --> 249,217,241,276,202,205,325,195,221,282,292,246,
160, 4: (A-2,1),(B-2,1),(C-2,1),(D-2,1),(B-1,1),(D-1,1),(A-1,2) --> 242,265,235,290,223,264,233,192,199,206,231,193,246,229,232,280,292,
161, 4: (A-2,1),(B-2,1),(C-2,1),(D-2,1),(B-1,1),(C-1,1),(A-1,2) --> 235,265,293,231,233,264,193,199,206,246,232,282,292,
162, 4: (A-2,1),(B-2,1),(C-2,1),(D-2,1),(A-1,2),(B-1,2) --> 217,249,325,202,205,246,292,
163, 4: (A-5,1),(A-1,1),(B-1,2),(C-1,2),(D-1,2) --> 251,302,294,250,295,
164, 5: (A-6,1),(B-1,3),(C-1,3) --> 330,331,
165, 5: (A-3,1),(B-3,1),(C-2,1),(C-1,1),(D-1,3) --> 330,332,333,334,335,
166, 5: (A-3,1),(B-3,1),(C-2,1),(C-1,2),(D-1,2) --> 331,336,333,337,335,338,
167, 5: (A-4,1),(B-3,1),(C-1,2),(D-1,3) --> 339,340,341,
168, 5: (A-3,1),(B-2,1),(C-2,2),(D-1,3) --> 339,342,343,
169, 5: (A-3,1),(B-2,1),(C-2,2),(B-1,1),(D-1,2) --> 344,333,345,340,346,343,347,
170, 5: (A-3,1),(B-2,1),(C-2,2),(D-1,1),(B-1,2) --> 348,349,345,341,347,350,346,
171, 5: (A-4,1),(B-3,1),(A-1,2),(C-1,3) --> 351,342,352,353,354,
172, 5: (A-3,1),(B-3,1),(C-2,1),(B-1,1),(D-1,3) --> 355,356,339,357,334,358,
173, 5: (A-3,1),(B-2,1),(C-2,2),(C-1,1),(D-1,2) --> 340,352,344,357,359,343,360,
174, 5: (A-3,1),(B-2,1),(C-2,1),(D-2,1),(C-1,1),(D-1,2) --> 341,340,353,344,334,354,348,358,343,360,
175, 5: (A-3,1),(B-2,1),(C-2,1),(D-2,1),(D-1,1),(C-1,2) --> 340,341,354,348,358,353,344,334,343,360,
176, 5: (A-4,1),(B-3,1),(A-1,1),(C-1,1),(D-1,3) --> 361,342,345,339,344,341,353,362,
177, 5: (A-3,1),(B-2,1),(C-2,1),(D-2,1),(B-1,1),(D-1,2) --> 353,344,334,341,340,348,354,363,343,360,347,
178, 5: (A-3,1),(B-2,1),(C-2,1),(D-2,1),(B-1,1),(C-1,1),(D-1,1) --> 362,335,343,347,
179, 5: (A-4,1),(B-3,1),(A-1,1),(C-1,2),(D-1,2) --> 364,345,340,344,362,
180, 5: (A-4,1),(B-3,1),(C-1,1),(A-1,2),(D-1,2) --> 365,344,348,352,345,366,354,362,
181, 5: (A-3,1),(B-3,1),(C-2,1),(B-1,1),(C-1,1),(D-1,2) --> 367,368,340,369,357,370,333,349,335,358,363,
182, 5: (A-3,1),(B-2,1),(C-2,2),(B-1,1),(C-1,1),(D-1,1) --> 362,337,366,370,346,371,359,372,360,347,
183, 5: (A-3,1),(B-2,1),(C-2,1),(D-2,1),(B-1,1),(C-1,2) --> 344,353,338,348,354,363,341,340,347,360,
184, 5: (A-6,1),(B-1,1),(C-1,2),(D-1,3) --> 355,373,330,367,331,374,
185, 5: (A-6,1),(A-1,1),(B-1,2),(C-1,3) --> 375,376,377,330,356,368,331,378,
186, 5: (A-3,1),(B-3,1),(B-2,1),(C-1,1),(D-1,3) --> 355,376,361,357,379,370,
187, 5: (A-3,1),(B-3,1),(B-2,1),(C-1,2),(D-1,2) --> 373,377,364,357,370,
188, 5: (A-3,1),(B-3,1),(C-2,1),(B-1,1),(D-1,1),(C-1,2) --> 374,378,341,380,379,370,338,363,337,381,349,
189, 5: (A-3,1),(B-2,3),(C-1,3) --> 342,372,
190, 5: (A-3,1),(B-2,3),(C-1,1),(D-1,2) --> 345,359,372,
191, 5: (A-3,1),(B-2,1),(C-2,2),(C-1,1),(B-1,2) --> 354,381,352,353,379,372,350,371,
192, 5: (A-3,1),(B-2,1),(C-2,1),(D-2,1),(D-1,1),(B-1,2) --> 354,348,358,340,341,344,353,338,347,360,343,
193, 5: (A-3,1),(B-2,1),(C-2,1),(D-2,1),(C-1,1),(B-1,2) --> 348,354,363,344,353,338,340,341,347,360,
194, 5: (A-4,1),(B-2,1),(C-2,1),(C-1,1),(D-1,3) --> 382,383,339,384,385,386,
195, 5: (A-4,1),(B-2,1),(C-2,1),(C-1,2),(D-1,2) --> 387,388,389,384,390,386,391,
196, 5: (A-4,1),(B-2,2),(C-1,1),(D-1,3) --> 382,384,392,393,
197, 5: (A-4,1),(B-2,2),(C-1,2),(D-1,2) --> 387,384,393,
198, 5: (A-4,1),(B-2,1),(C-2,1),(B-1,1),(D-1,3) --> 383,339,382,384,385,394,
199, 5: (A-4,1),(B-2,1),(C-2,1),(B-1,1),(C-1,1),(D-1,2) --> 395,340,384,393,386,394,396,
200, 5: (A-4,1),(B-2,1),(C-2,1),(B-1,1),(D-1,1),(C-1,2) --> 395,341,397,398,392,393,391,396,390,399,
201, 5: (A-4,1),(B-3,1),(B-1,1),(C-1,1),(D-1,3) --> 382,400,401,339,389,341,402,398,
202, 5: (A-4,1),(B-2,1),(C-2,1),(B-1,2),(D-1,2) --> 388,389,387,384,390,394,403,
203, 5: (A-4,1),(B-2,2),(B-1,1),(C-1,3) --> 383,400,404,392,399,
204, 5: (A-4,1),(B-2,2),(B-1,1),(C-1,1),(D-1,2) --> 395,401,404,405,384,390,393,399,
205, 5: (A-4,1),(B-2,1),(C-2,1),(B-1,2),(C-1,2) --> 388,402,392,399,
206, 5: (A-4,1),(B-2,1),(C-2,1),(C-1,1),(D-1,1),(B-1,2) --> 397,398,395,341,392,393,403,396,390,399,
207, 5: (A-4,1),(B-3,1),(B-1,1),(C-1,2),(D-1,2) --> 387,401,340,389,398,
208, 5: (A-4,1),(A-2,1),(B-2,1),(B-1,1),(C-1,3) --> 330,406,383,342,407,408,409,
209, 5: (A-4,1),(A-2,1),(B-2,1),(B-1,2),(C-1,2) --> 331,410,388,411,407,412,409,413,
210, 5: (A-4,1),(B-2,2),(A-1,1),(C-1,3) --> 414,415,407,392,416,
211, 5: (A-4,1),(B-2,1),(C-2,1),(A-1,1),(D-1,3) --> 417,415,418,385,419,
212, 5: (A-4,1),(A-2,1),(B-2,1),(C-1,1),(D-1,3) --> 355,406,382,418,408,420,
213, 5: (A-2,1),(B-2,2),(C-2,2),(D-1,2) --> 384,407,418,421,
214, 5: (A-2,1),(B-2,1),(C-2,1),(D-2,2),(C-1,2) --> 392,384,391,422,423,424,408,418,385,421,
215, 5: (A-2,1),(B-2,1),(C-2,1),(D-2,2),(B-1,1),(C-1,1) --> 393,396,416,425,426,343,409,420,386,421,
216, 5: (A-4,1),(B-2,2),(A-1,2),(C-1,2) --> 427,428,407,429,416,422,
217, 5: (A-4,1),(B-2,1),(C-2,1),(A-1,2),(D-1,2) --> 430,428,418,431,419,423,
218, 5: (A-3,1),(B-2,1),(C-2,2),(A-1,1),(D-1,2) --> 384,389,411,432,343,424,
219, 5: (A-4,1),(A-2,1),(B-2,1),(C-1,2),(D-1,2) --> 373,410,387,418,420,
220, 5: (A-2,1),(B-2,2),(C-2,2),(B-1,1),(D-1,1) --> 393,390,429,425,431,432,412,420,433,421,
221, 5: (A-2,1),(B-2,1),(C-2,1),(D-2,2),(B-1,2) --> 384,392,403,422,423,424,391,413,418,408,421,
222, 5: (A-5,1),(B-2,1),(C-1,2),(D-1,3) --> 417,434,435,
223, 5: (A-4,1),(B-2,1),(C-2,1),(A-1,1),(C-1,1),(D-1,2) --> 434,436,437,344,418,420,384,425,386,419,426,
224, 5: (A-4,1),(B-2,1),(C-2,1),(A-1,1),(D-1,1),(C-1,2) --> 435,436,438,439,408,420,391,426,390,440,425,
225, 5: (A-4,1),(A-2,1),(B-2,1),(B-1,1),(C-1,1),(D-1,2) --> 367,441,395,345,407,442,418,443,420,409,
226, 5: (A-4,1),(A-2,1),(B-2,1),(C-1,1),(D-1,1),(B-1,2) --> 374,441,397,444,413,443,412,442,
227, 5: (A-2,1),(B-2,2),(C-2,2),(A-1,2) --> 422,445,407,392,413,446,
228, 5: (A-2,1),(B-2,2),(C-2,2),(A-1,1),(D-1,1) --> 425,346,442,393,443,446,421,
229, 5: (A-2,1),(B-2,1),(C-2,1),(D-2,2),(A-1,1),(C-1,1) --> 416,425,426,343,393,396,447,347,420,409,443,394,421,
230, 5: (A-4,1),(B-2,2),(A-1,1),(C-1,1),(D-1,2) --> 448,436,407,442,384,425,393,416,
231, 5: (A-4,1),(B-2,1),(C-2,1),(A-1,1),(B-1,1),(D-1,2) --> 449,437,344,436,418,443,384,425,394,419,447,
232, 5: (A-2,1),(B-2,1),(C-2,1),(D-2,2),(A-1,1),(B-1,1) --> 425,416,447,347,393,396,443,409,421,
233, 5: (A-4,1),(B-2,1),(C-2,1),(A-1,1),(D-1,1),(B-1,2) --> 450,438,439,436,413,443,403,447,390,440,425,
234, 5: (A-4,1),(B-2,2),(C-1,1),(D-1,1),(A-1,2) --> 451,452,422,425,429,442,
235, 5: (A-4,1),(B-2,1),(C-2,1),(B-1,1),(D-1,1),(A-1,2) --> 453,454,348,452,422,425,423,447,431,455,443,
236, 5: (A-3,1),(B-2,1),(C-2,2),(A-1,1),(B-1,1),(D-1,1) --> 393,439,456,444,398,432,457,346,445,347,424,
237, 5: (A-2,1),(B-2,2),(C-2,2),(A-1,1),(B-1,1) --> 416,440,350,429,455,457,412,409,399,446,433,
238, 5: (A-5,1),(B-2,1),(A-1,1),(C-1,1),(D-1,3) --> 355,458,459,417,430,435,460,461,
239, 5: (A-4,1),(A-2,1),(B-2,1),(A-1,1),(C-1,3) --> 356,458,462,463,415,464,408,465,
240, 5: (A-4,1),(A-2,1),(B-2,1),(A-1,1),(C-1,1),(D-1,2) --> 466,459,467,468,436,464,469,418,431,420,465,
241, 5: (A-4,1),(B-2,1),(C-2,1),(A-1,2),(C-1,2) --> 460,428,470,471,408,465,440,422,
242, 5: (A-4,1),(B-2,1),(C-2,1),(C-1,1),(D-1,1),(A-1,2) --> 461,452,454,348,422,425,423,426,431,465,420,
243, 5: (A-3,1),(A-2,1),(B-2,2),(C-1,3) --> 414,463,342,400,457,
244, 5: (A-3,1),(A-2,1),(B-2,2),(C-1,1),(D-1,2) --> 448,468,345,401,432,457,
245, 5: (A-3,1),(B-2,1),(C-2,2),(A-1,1),(B-1,2) --> 392,471,472,411,402,457,350,445,
246, 5: (A-2,1),(B-2,1),(C-2,1),(D-2,2),(A-1,2) --> 422,423,424,384,392,403,418,413,421,
247, 5: (A-2,2),(B-2,3),(C-1,2) --> 404,407,464,433,
248, 5: (A-2,2),(B-2,3),(C-1,1),(D-1,1) --> 405,442,469,433,
249, 5: (A-4,1),(B-2,1),(C-2,1),(A-1,2),(B-1,2) --> 473,470,471,428,413,455,440,422,
250, 5: (A-5,1),(B-2,1),(A-1,1),(C-1,2),(D-1,2) --> 373,459,434,430,461,
251, 5: (A-6,1),(B-1,2),(C-1,2),(D-1,2) --> 373,367,
252, 5: (A-5,1),(A-2,1),(B-1,2),(C-1,3) --> 375,458,474,475,
253, 5: (A-5,1),(B-2,1),(B-1,2),(C-1,3) --> 476,414,477,478,479,
254, 5: (A-5,1),(B-2,1),(A-1,1),(B-1,1),(C-1,3) --> 330,351,458,474,414,427,478,460,480,
255, 5: (A-5,1),(B-2,1),(A-1,1),(B-1,2),(C-1,2) --> 331,481,474,475,477,427,482,479,480,473,
256, 5: (A-4,1),(A-3,1),(B-1,2),(C-1,3) --> 375,463,483,484,
257, 5: (A-4,1),(A-2,2),(B-1,1),(C-1,3) --> 376,406,464,485,486,
258, 5: (A-4,1),(A-2,2),(B-1,2),(C-1,2) --> 377,410,464,486,
259, 5: (A-4,1),(A-2,1),(B-2,1),(A-1,1),(B-1,1),(C-1,2) --> 368,474,467,483,437,352,464,486,407,429,409,465,455,
260, 5: (A-4,1),(A-2,1),(B-2,1),(A-1,1),(C-1,1),(B-1,2) --> 378,475,467,484,438,487,485,486,413,455,412,488,429,
261, 5: (A-4,1),(B-3,1),(A-1,1),(B-1,1),(C-1,3) --> 476,415,342,411,400,489,402,353,490,
262, 5: (A-4,1),(B-2,2),(A-1,1),(B-1,1),(C-1,2) --> 477,437,489,407,412,404,491,399,416,440,
263, 5: (A-4,1),(B-2,1),(C-2,1),(A-1,1),(B-1,1),(C-1,2) --> 478,437,353,438,490,408,409,392,416,399,440,
264, 5: (A-4,1),(B-2,1),(C-2,1),(A-1,1),(C-1,1),(B-1,2) --> 479,438,490,437,353,413,409,392,416,399,440,
265, 5: (A-4,1),(B-2,1),(C-2,1),(B-1,1),(C-1,1),(A-1,2) --> 480,454,354,422,416,465,455,409,
266, 5: (A-4,1),(B-3,1),(B-1,1),(A-1,2),(C-1,2) --> 481,428,489,492,352,411,487,354,490,471,
267, 5: (A-4,1),(B-2,2),(B-1,1),(C-1,1),(A-1,2) --> 482,454,492,493,491,422,440,429,488,412,
268, 5: (A-3,1),(A-2,1),(B-2,1),(C-2,1),(D-1,3) --> 417,463,339,400,494,
269, 5: (A-3,1),(A-2,1),(B-2,1),(C-2,1),(C-1,1),(D-1,2) --> 434,483,468,340,401,344,489,495,432,494,496,
270, 5: (A-3,1),(A-2,1),(B-2,1),(C-2,1),(D-1,1),(C-1,2) --> 435,484,468,341,401,348,492,497,496,498,432,
271, 5: (A-3,1),(B-3,1),(C-2,1),(A-1,1),(D-1,3) --> 356,339,355,495,334,499,
272, 5: (A-3,1),(B-2,1),(C-2,1),(D-2,1),(A-1,1),(D-1,2) --> 385,402,389,471,500,494,360,424,
273, 5: (A-3,1),(B-2,1),(C-2,1),(D-2,1),(A-1,1),(C-1,1),(D-1,1) --> 386,398,490,439,499,494,496,343,424,
274, 5: (A-3,1),(B-3,1),(C-2,1),(A-1,1),(B-1,1),(D-1,2) --> 466,389,495,497,357,501,358,499,500,
275, 5: (A-3,1),(B-2,1),(C-2,2),(A-1,1),(C-1,1),(D-1,1) --> 390,398,487,439,501,432,498,359,502,360,424,
276, 5: (A-3,1),(B-2,1),(C-2,1),(D-2,1),(A-1,1),(C-1,2) --> 391,389,402,471,500,496,360,424,
277, 5: (A-2,1),(B-2,1),(C-2,3),(D-1,2) --> 404,384,464,418,503,
278, 5: (A-2,1),(B-2,1),(C-2,3),(B-1,2) --> 404,392,493,422,502,485,464,408,433,
279, 5: (A-2,1),(B-2,1),(C-2,3),(B-1,1),(D-1,1) --> 405,393,491,425,359,486,469,420,433,503,
280, 5: (A-2,1),(B-2,1),(C-2,1),(D-2,2),(C-1,1),(D-1,1) --> 399,390,386,440,419,360,465,431,494,421,503,
281, 5: (A-2,1),(B-2,2),(C-2,2),(C-1,1),(D-1,1) --> 390,393,412,420,429,431,425,432,433,421,
282, 5: (A-2,1),(B-2,1),(C-2,1),(D-2,2),(B-1,1),(D-1,1) --> 390,399,394,440,419,360,386,455,431,465,426,496,421,503,
283, 5: (A-2,1),(B-2,2),(C-2,2),(B-1,1),(C-1,1) --> 399,488,440,465,498,433,
284, 5: (A-5,1),(B-2,1),(B-1,1),(C-1,1),(D-1,3) --> 361,414,448,417,449,435,478,504,
285, 5: (A-5,1),(B-2,1),(C-1,1),(B-1,2),(D-1,2) --> 505,449,450,477,448,506,479,504,
286, 5: (A-4,1),(B-2,1),(C-2,1),(A-1,1),(B-1,1),(C-1,1),(D-1,1) --> 504,507,362,420,443,409,393,425,416,396,426,447,
287, 5: (A-4,1),(B-3,1),(A-1,1),(B-1,1),(C-1,1),(D-1,2) --> 505,436,345,411,444,401,489,508,389,344,439,398,362,490,
288, 5: (A-4,1),(B-2,2),(A-1,1),(B-1,1),(C-1,1),(D-1,1) --> 506,507,508,442,412,405,491,390,425,440,
289, 5: (A-3,1),(A-2,1),(B-2,1),(C-2,1),(B-1,1),(D-1,2) --> 449,468,483,344,489,495,340,401,432,494,509,
290, 5: (A-3,1),(B-2,1),(C-2,1),(D-2,1),(A-1,1),(B-1,1),(D-1,1) --> 394,490,439,499,398,510,494,509,343,424,347,
291, 5: (A-2,1),(B-2,1),(C-2,3),(A-1,1),(D-1,1) --> 491,425,359,405,393,469,486,443,433,503,
292, 5: (A-2,1),(B-2,1),(C-2,1),(D-2,2),(A-1,1),(D-1,1) --> 440,419,360,390,399,394,431,455,447,509,421,503,
293, 5: (A-3,1),(B-2,1),(C-2,1),(D-2,1),(A-1,1),(B-1,1),(C-1,1) --> 396,439,490,510,398,496,509,347,424,
294, 5: (A-5,1),(B-2,1),(B-1,1),(C-1,2),(D-1,2) --> 364,448,434,449,504,
295, 5: (A-5,1),(B-2,1),(A-1,1),(B-1,1),(C-1,1),(D-1,2) --> 367,365,459,474,511,448,427,451,449,430,453,504,461,480,
296, 5: (A-4,1),(A-2,1),(B-2,1),(A-1,1),(B-1,1),(C-1,1),(D-1,1) --> 512,511,513,514,507,366,469,486,442,429,443,431,455,
297, 5: (A-3,1),(B-3,1),(C-2,1),(A-1,1),(C-1,1),(D-1,2) --> 368,340,367,515,495,516,333,456,335,499,510,
298, 5: (A-3,1),(A-2,1),(B-2,1),(C-2,1),(B-1,1),(C-1,1),(D-1,1) --> 504,514,362,508,516,432,457,496,509,
299, 5: (A-2,1),(B-2,2),(C-2,2),(A-1,1),(C-1,1) --> 440,416,371,412,399,409,429,455,457,446,433,
300, 5: (A-2,1),(B-2,1),(C-2,3),(A-1,1),(B-1,1) --> 491,416,372,486,409,433,
301, 5: (A-5,1),(A-2,1),(B-1,1),(C-1,1),(D-1,3) --> 517,458,459,475,511,
302, 5: (A-5,1),(A-2,1),(B-1,1),(C-1,2),(D-1,2) --> 518,459,474,511,
303, 5: (A-5,1),(B-2,1),(A-1,1),(C-1,1),(D-1,1),(B-1,2) --> 374,519,475,511,450,473,453,506,482,451,
304, 5: (A-6,1),(A-1,1),(B-1,1),(C-1,1),(D-1,3) --> 517,376,520,355,356,466,374,378,512,
305, 5: (A-4,1),(A-3,1),(B-1,1),(C-1,1),(D-1,3) --> 517,463,468,484,514,
306, 5: (A-4,1),(A-2,2),(B-1,1),(C-1,1),(D-1,2) --> 520,441,464,469,486,
307, 5: (A-6,1),(A-1,1),(B-1,1),(C-1,2),(D-1,2) --> 518,377,520,373,466,367,368,512,
308, 5: (A-4,1),(A-3,1),(B-1,1),(C-1,2),(D-1,2) --> 518,468,483,514,
309, 5: (A-4,1),(B-3,1),(B-1,1),(C-1,1),(D-1,1),(A-1,2) --> 519,452,492,508,348,471,439,366,487,444,
310, 5: (A-3,1),(B-3,1),(A-2,1),(C-1,1),(D-1,3) --> 376,361,355,495,521,516,
311, 5: (A-3,1),(B-3,1),(A-2,1),(C-1,2),(D-1,2) --> 377,364,373,495,516,
312, 5: (A-3,1),(B-3,1),(C-2,1),(A-1,1),(D-1,1),(C-1,2) --> 378,341,374,522,521,516,338,510,337,523,456,
313, 5: (A-3,1),(A-2,1),(B-2,1),(C-2,1),(B-1,1),(C-1,2) --> 478,484,483,353,489,521,354,492,524,457,498,
314, 5: (A-3,1),(B-3,1),(C-2,1),(A-1,1),(B-1,1),(C-1,1),(D-1,1) --> 512,398,525,516,497,524,370,501,526,349,456,472,363,510,500,
315, 5: (A-3,1),(B-2,1),(C-2,2),(A-1,1),(B-1,1),(C-1,1) --> 399,490,523,487,526,498,457,371,445,372,502,
316, 5: (A-3,1),(B-3,1),(A-2,1),(B-1,1),(C-1,3) --> 376,476,356,400,527,521,524,
317, 5: (A-3,1),(A-2,1),(B-2,2),(B-1,1),(C-1,2) --> 477,483,352,489,527,528,457,498,
318, 5: (A-3,1),(A-2,1),(B-2,1),(C-2,1),(C-1,1),(B-1,2) --> 479,483,484,354,492,524,353,489,521,457,498,
319, 5: (A-3,1),(B-3,1),(A-2,1),(B-1,1),(C-1,1),(D-1,2) --> 520,505,466,401,527,529,495,497,516,524,
320, 5: (A-3,1),(A-2,1),(B-2,1),(C-2,1),(D-1,1),(B-1,2) --> 450,468,484,348,492,497,341,401,509,498,432,
321, 5: (A-3,1),(A-2,1),(B-2,2),(B-1,1),(C-1,1),(D-1,1) --> 506,514,366,508,529,528,432,498,
322, 5: (A-3,1),(B-3,1),(B-2,1),(A-1,1),(C-1,3) --> 356,400,376,476,527,379,526,
323, 5: (A-3,1),(B-3,1),(B-2,1),(A-1,1),(C-1,1),(D-1,2) --> 466,401,520,505,527,529,357,501,370,526,
324, 5: (A-3,1),(B-3,1),(C-2,1),(A-1,1),(B-1,1),(C-1,2) --> 378,402,530,521,524,379,526,381,523,472,
325, 5: (A-3,1),(B-2,1),(C-2,1),(D-2,1),(A-1,1),(B-1,2) --> 403,471,500,389,402,509,360,424,
326, 5: (A-3,1),(B-2,3),(A-1,1),(C-1,2) --> 404,411,528,372,502,
327, 5: (A-3,1),(B-2,3),(A-1,1),(C-1,1),(D-1,1) --> 405,444,528,359,502,
328, 5: (A-2,2),(B-2,3),(A-1,1),(C-1,1) --> 491,429,528,486,412,531,433,
329, 5: (A-2,1),(B-2,1),(C-2,3),(A-1,2) --> 493,422,502,404,392,464,485,413,433,
330, 6: (A-6,1),(B-2,1),(B-1,1),(C-1,3) --> 532,533,534,535,
331, 6: (A-6,1),(B-2,1),(B-1,2),(C-1,2) --> 536,533,537,535,538,
332, 6: (A-3,1),(B-3,1),(C-3,1),(D-1,3) --> 532,539,
333, 6: (A-3,1),(B-3,1),(C-2,2),(D-1,2) --> 533,540,541,
334, 6: (A-3,1),(B-3,1),(C-2,1),(D-2,1),(D-1,2) --> 534,540,542,543,541,
335, 6: (A-3,1),(B-3,1),(C-2,1),(D-2,1),(C-1,1),(D-1,1) --> 535,544,539,541,
336, 6: (A-3,1),(B-3,1),(C-3,1),(C-1,1),(D-1,2) --> 536,545,546,540,547,539,543,
337, 6: (A-3,1),(B-3,1),(C-2,2),(C-1,1),(D-1,1) --> 537,544,547,548,541,
338, 6: (A-3,1),(B-3,1),(C-2,1),(D-2,1),(C-1,2) --> 538,542,543,540,541,
339, 6: (A-4,1),(B-3,1),(C-2,1),(D-1,3) --> 549,
340, 6: (A-4,1),(B-3,1),(C-2,1),(C-1,1),(D-1,2) --> 540,550,549,551,
341, 6: (A-4,1),(B-3,1),(C-2,1),(D-1,1),(C-1,2) --> 552,551,553,550,
342, 6: (A-4,1),(B-3,1),(A-2,1),(C-1,3) --> 532,554,
343, 6: (A-3,1),(B-2,1),(C-2,1),(D-2,2),(C-1,1) --> 550,551,555,556,541,554,557,549,
344, 6: (A-4,1),(B-3,1),(C-2,1),(A-1,1),(D-1,2) --> 558,557,549,556,
345, 6: (A-4,1),(B-3,1),(A-2,1),(C-1,1),(D-1,2) --> 545,557,554,
346, 6: (A-3,1),(B-2,2),(C-2,2),(D-1,1) --> 550,557,
347, 6: (A-3,1),(B-2,1),(C-2,1),(D-2,2),(B-1,1) --> 555,556,541,550,551,557,554,
348, 6: (A-4,1),(B-3,1),(C-2,1),(D-1,1),(A-1,2) --> 559,556,560,557,
349, 6: (A-3,1),(B-3,1),(C-2,2),(B-1,1),(D-1,1) --> 561,562,550,552,563,541,
350, 6: (A-3,1),(B-2,2),(C-2,2),(B-1,1) --> 555,560,563,554,553,
351, 6: (A-5,1),(B-3,1),(A-1,1),(C-1,3) --> 532,564,565,566,
352, 6: (A-4,1),(B-3,1),(A-2,1),(A-1,1),(C-1,2) --> 546,564,567,568,554,560,
353, 6: (A-4,1),(B-3,1),(C-2,1),(A-1,1),(C-1,2) --> 565,569,554,553,555,
354, 6: (A-4,1),(B-3,1),(C-2,1),(C-1,1),(A-1,2) --> 566,542,555,560,554,
355, 6: (A-6,1),(B-2,1),(C-1,1),(D-1,3) --> 570,534,571,
356, 6: (A-6,1),(B-2,1),(A-1,1),(C-1,3) --> 572,573,534,574,
357, 6: (A-3,1),(B-3,1),(B-2,1),(C-2,1),(D-1,2) --> 570,573,558,567,540,575,
358, 6: (A-3,1),(B-3,1),(C-2,1),(D-2,1),(B-1,1),(D-1,1) --> 571,574,549,552,569,576,575,541,
359, 6: (A-3,1),(B-2,1),(C-2,3),(D-1,1) --> 550,568,557,
360, 6: (A-3,1),(B-2,1),(C-2,1),(D-2,2),(D-1,1) --> 553,549,560,556,575,
361, 6: (A-5,1),(B-3,1),(C-1,1),(D-1,3) --> 558,565,577,
362, 6: (A-4,1),(B-3,1),(C-2,1),(A-1,1),(C-1,1),(D-1,1) --> 577,544,557,554,550,555,551,556,
363, 6: (A-3,1),(B-3,1),(C-2,1),(D-2,1),(B-1,1),(C-1,1) --> 578,579,551,569,576,552,575,541,
364, 6: (A-5,1),(B-3,1),(C-1,2),(D-1,2) --> 558,577,
365, 6: (A-5,1),(B-3,1),(A-1,1),(C-1,1),(D-1,2) --> 545,564,580,558,559,577,566,
366, 6: (A-4,1),(B-3,1),(A-2,1),(A-1,1),(C-1,1),(D-1,1) --> 581,580,582,568,557,560,
367, 6: (A-6,1),(B-2,1),(B-1,1),(C-1,1),(D-1,2) --> 545,533,561,570,578,571,535,
368, 6: (A-6,1),(B-2,1),(A-1,1),(B-1,1),(C-1,2) --> 583,546,573,584,533,562,535,574,579,
369, 6: (A-3,1),(B-3,1),(C-3,1),(B-1,1),(D-1,2) --> 545,536,546,540,585,539,576,
370, 6: (A-3,1),(B-3,1),(B-2,1),(C-2,1),(C-1,1),(D-1,1) --> 571,584,577,582,544,585,563,575,
371, 6: (A-3,1),(B-2,2),(C-2,2),(C-1,1) --> 553,554,560,555,563,
372, 6: (A-3,1),(B-2,1),(C-2,3),(B-1,1) --> 555,548,568,554,
373, 6: (A-6,1),(B-2,1),(C-1,2),(D-1,2) --> 570,571,
374, 6: (A-6,1),(B-2,1),(C-1,1),(D-1,1),(B-1,2) --> 586,538,578,537,561,
375, 6: (A-7,1),(B-1,2),(C-1,3) --> 572,583,587,
376, 6: (A-6,1),(A-2,1),(B-1,1),(C-1,3) --> 588,573,589,584,
377, 6: (A-6,1),(A-2,1),(B-1,2),(C-1,2) --> 590,573,584,
378, 6: (A-6,1),(B-2,1),(A-1,1),(C-1,1),(B-1,2) --> 587,591,589,584,538,579,537,592,562,
379, 6: (A-3,1),(B-3,1),(B-2,1),(C-2,1),(C-1,2) --> 534,589,565,567,542,593,563,
380, 6: (A-3,1),(B-3,1),(C-3,1),(B-1,1),(C-1,1),(D-1,1) --> 586,591,581,552,585,593,547,594,543,576,
381, 6: (A-3,1),(B-3,1),(C-2,2),(B-1,1),(C-1,1) --> 537,592,553,569,594,563,548,
382, 6: (A-4,1),(B-4,1),(C-1,1),(D-1,3) --> 588,595,596,597,
383, 6: (A-4,1),(B-4,1),(B-1,1),(C-1,3) --> 588,598,599,600,596,601,
384, 6: (A-4,1),(B-2,1),(C-2,2),(D-1,2) --> 595,600,602,
385, 6: (A-4,1),(B-2,1),(C-2,1),(D-2,1),(D-1,2) --> 596,595,603,604,602,
386, 6: (A-4,1),(B-2,1),(C-2,1),(D-2,1),(C-1,1),(D-1,1) --> 597,601,605,549,602,
387, 6: (A-4,1),(B-4,1),(C-1,2),(D-1,2) --> 590,595,597,
388, 6: (A-4,1),(B-4,1),(B-1,2),(C-1,2) --> 590,606,607,600,608,601,603,
389, 6: (A-4,1),(B-3,1),(C-2,1),(B-1,1),(D-1,2) --> 595,609,549,604,
390, 6: (A-4,1),(B-2,1),(C-2,2),(C-1,1),(D-1,1) --> 597,608,605,609,610,602,
391, 6: (A-4,1),(B-2,1),(C-2,1),(D-2,1),(C-1,2) --> 595,596,603,604,602,
392, 6: (A-4,1),(B-2,1),(C-2,2),(B-1,2) --> 603,611,600,596,612,
393, 6: (A-4,1),(B-2,1),(C-2,2),(B-1,1),(D-1,1) --> 605,550,613,597,612,602,
394, 6: (A-4,1),(B-2,1),(C-2,1),(D-2,1),(B-1,1),(D-1,1) --> 601,605,549,597,551,602,
395, 6: (A-4,1),(B-4,1),(B-1,1),(C-1,1),(D-1,2) --> 614,615,616,600,613,595,605,597,601,
396, 6: (A-4,1),(B-2,1),(C-2,1),(D-2,1),(B-1,1),(C-1,1) --> 605,601,551,597,602,
397, 6: (A-4,1),(B-4,1),(C-1,1),(D-1,1),(B-1,2) --> 614,617,618,603,605,608,613,
398, 6: (A-4,1),(B-3,1),(C-2,1),(B-1,1),(C-1,1),(D-1,1) --> 597,619,609,620,550,611,551,604,
399, 6: (A-4,1),(B-2,1),(C-2,2),(B-1,1),(C-1,1) --> 601,553,608,620,612,610,
400, 6: (A-4,1),(B-3,1),(B-2,1),(C-1,3) --> 599,620,
401, 6: (A-4,1),(B-3,1),(B-2,1),(C-1,1),(D-1,2) --> 616,609,620,
402, 6: (A-4,1),(B-3,1),(C-2,1),(B-1,1),(C-1,2) --> 596,621,620,553,611,
403, 6: (A-4,1),(B-2,1),(C-2,1),(D-2,1),(B-1,2) --> 603,604,595,596,602,
404, 6: (A-4,1),(B-2,3),(C-1,2) --> 600,610,
405, 6: (A-4,1),(B-2,3),(C-1,1),(D-1,1) --> 613,610,
406, 6: (A-4,2),(B-1,1),(C-1,3) --> 588,622,623,624,
407, 6: (A-4,1),(A-2,1),(B-2,2),(C-1,2) --> 533,622,600,625,626,
408, 6: (A-4,1),(A-2,1),(B-2,1),(C-2,1),(C-1,2) --> 534,623,622,596,625,603,627,628,626,
409, 6: (A-4,1),(A-2,1),(B-2,1),(C-2,1),(B-1,1),(C-1,1) --> 535,624,601,629,554,626,
410, 6: (A-4,2),(B-1,2),(C-1,2) --> 590,622,624,
411, 6: (A-4,1),(B-3,1),(A-2,1),(B-1,1),(C-1,2) --> 536,625,630,554,628,
412, 6: (A-4,1),(A-2,1),(B-2,2),(B-1,1),(C-1,1) --> 537,624,608,629,630,631,626,
413, 6: (A-4,1),(A-2,1),(B-2,1),(C-2,1),(B-1,2) --> 538,622,623,603,627,628,596,625,626,
414, 6: (A-5,1),(B-2,2),(C-1,3) --> 599,632,
415, 6: (A-4,1),(B-4,1),(A-1,1),(C-1,3) --> 598,599,588,625,596,633,
416, 6: (A-4,1),(B-2,1),(C-2,2),(A-1,1),(B-1,1) --> 632,634,555,635,633,626,612,
417, 6: (A-5,1),(B-2,1),(C-2,1),(D-1,3) --> 599,636,
418, 6: (A-4,1),(A-2,1),(B-2,1),(C-2,1),(D-1,2) --> 570,622,595,625,637,
419, 6: (A-4,1),(B-2,1),(C-2,1),(D-2,1),(A-1,1),(D-1,1) --> 636,633,638,634,556,637,602,
420, 6: (A-4,1),(A-2,1),(B-2,1),(C-2,1),(C-1,1),(D-1,1) --> 571,624,639,597,640,605,629,557,626,637,
421, 6: (A-2,1),(B-2,1),(C-2,2),(D-2,2) --> 612,602,626,637,
422, 6: (A-4,1),(B-2,1),(C-2,2),(A-1,2) --> 641,642,643,626,
423, 6: (A-4,1),(B-2,1),(C-2,1),(D-2,1),(A-1,2) --> 644,642,637,
424, 6: (A-3,1),(B-2,1),(C-2,1),(D-2,2),(A-1,1) --> 602,611,604,628,
425, 6: (A-4,1),(B-2,1),(C-2,2),(A-1,1),(D-1,1) --> 645,638,635,626,602,
426, 6: (A-4,1),(B-2,1),(C-2,1),(D-2,1),(A-1,1),(C-1,1) --> 646,638,633,634,556,637,602,
427, 6: (A-5,1),(B-2,2),(A-1,1),(C-1,2) --> 533,607,647,632,641,
428, 6: (A-4,1),(B-4,1),(A-1,2),(C-1,2) --> 606,607,590,625,648,633,642,
429, 6: (A-4,1),(A-2,1),(B-2,2),(A-1,1),(C-1,1) --> 562,647,649,650,635,648,651,626,
430, 6: (A-5,1),(B-2,1),(C-2,1),(A-1,1),(D-1,2) --> 570,607,652,636,644,
431, 6: (A-4,1),(A-2,1),(B-2,1),(C-2,1),(A-1,1),(D-1,1) --> 653,652,649,654,638,648,655,637,
432, 6: (A-3,1),(A-2,1),(B-2,1),(C-2,2),(D-1,1) --> 645,650,654,550,609,557,630,
433, 6: (A-2,1),(B-2,2),(C-2,3) --> 610,612,631,626,651,655,
434, 6: (A-5,1),(B-2,1),(C-2,1),(C-1,1),(D-1,2) --> 616,656,558,645,636,646,
435, 6: (A-5,1),(B-2,1),(C-2,1),(D-1,1),(C-1,2) --> 616,657,658,646,659,645,
436, 6: (A-4,1),(B-4,1),(A-1,1),(C-1,1),(D-1,2) --> 615,616,614,625,640,595,638,597,633,
437, 6: (A-4,1),(B-4,1),(A-1,1),(B-1,1),(C-1,2) --> 615,656,625,629,600,635,601,633,634,
438, 6: (A-4,1),(B-4,1),(A-1,1),(C-1,1),(B-1,2) --> 615,657,617,660,627,629,603,634,608,661,635,
439, 6: (A-4,1),(B-3,1),(C-2,1),(A-1,1),(B-1,1),(D-1,1) --> 658,638,557,628,609,662,604,556,
440, 6: (A-4,1),(B-2,1),(C-2,2),(A-1,1),(C-1,1) --> 659,633,661,634,662,626,610,
441, 6: (A-4,2),(B-1,1),(C-1,1),(D-1,2) --> 614,622,639,624,
442, 6: (A-4,1),(A-2,1),(B-2,2),(C-1,1),(D-1,1) --> 561,639,613,640,626,
443, 6: (A-4,1),(A-2,1),(B-2,1),(C-2,1),(B-1,1),(D-1,1) --> 578,639,624,605,629,557,597,640,626,637,
444, 6: (A-4,1),(B-3,1),(A-2,1),(B-1,1),(C-1,1),(D-1,1) --> 586,640,630,557,628,
445, 6: (A-3,1),(B-2,2),(C-2,2),(A-1,1) --> 612,611,628,
446, 6: (A-2,2),(B-2,2),(C-2,2) --> 612,626,
447, 6: (A-4,1),(B-2,1),(C-2,1),(D-2,1),(A-1,1),(B-1,1) --> 663,634,556,638,633,637,602,
448, 6: (A-5,1),(B-2,2),(C-1,1),(D-1,2) --> 616,645,632,
449, 6: (A-5,1),(B-2,1),(C-2,1),(B-1,1),(D-1,2) --> 656,558,616,645,636,663,
450, 6: (A-5,1),(B-2,1),(C-2,1),(D-1,1),(B-1,2) --> 657,658,616,663,659,645,
451, 6: (A-5,1),(B-2,2),(A-1,1),(C-1,1),(D-1,1) --> 561,618,647,645,641,
452, 6: (A-4,1),(B-4,1),(C-1,1),(D-1,1),(A-1,2) --> 617,618,614,642,638,648,640,
453, 6: (A-5,1),(B-2,1),(C-2,1),(A-1,1),(B-1,1),(D-1,1) --> 578,660,559,618,652,664,645,641,663,644,
454, 6: (A-4,1),(B-4,1),(B-1,1),(C-1,1),(A-1,2) --> 617,660,615,657,643,635,642,634,648,665,629,
455, 6: (A-4,1),(A-2,1),(B-2,1),(C-2,1),(A-1,1),(B-1,1) --> 579,664,649,666,667,634,665,560,633,648,655,626,
456, 6: (A-3,1),(B-3,1),(C-2,2),(A-1,1),(D-1,1) --> 562,550,561,619,668,541,
457, 6: (A-3,1),(A-2,1),(B-2,1),(C-2,2),(B-1,1) --> 632,650,667,555,662,668,554,630,620,
458, 6: (A-5,1),(A-2,1),(B-2,1),(C-1,3) --> 572,669,599,670,
459, 6: (A-5,1),(A-2,1),(B-2,1),(C-1,1),(D-1,2) --> 671,672,616,652,670,
460, 6: (A-5,1),(B-2,1),(C-2,1),(A-1,1),(C-1,2) --> 534,607,673,674,670,659,641,
461, 6: (A-5,1),(B-2,1),(C-2,1),(A-1,1),(C-1,1),(D-1,1) --> 571,618,660,559,652,670,645,641,646,644,
462, 6: (A-4,2),(A-1,1),(B-1,3) --> 598,669,675,623,666,
463, 6: (A-4,1),(A-3,1),(B-2,1),(C-1,3) --> 572,676,
464, 6: (A-4,1),(B-2,1),(A-2,2),(C-1,2) --> 573,625,675,622,655,
465, 6: (A-4,1),(A-2,1),(B-2,1),(C-2,1),(A-1,1),(C-1,1) --> 574,670,666,649,676,633,648,634,665,560,655,626,
466, 6: (A-6,1),(B-2,1),(A-1,1),(C-1,1),(D-1,2) --> 671,573,677,570,653,571,574,
467, 6: (A-4,2),(A-1,1),(B-1,1),(C-1,2) --> 615,672,675,678,622,649,624,666,
468, 6: (A-4,1),(A-3,1),(B-2,1),(C-1,1),(D-1,2) --> 671,654,676,
469, 6: (A-4,1),(B-2,1),(A-2,2),(C-1,1),(D-1,1) --> 677,640,678,639,655,
470, 6: (A-4,1),(B-4,1),(A-1,2),(B-1,2) --> 606,673,627,665,661,643,
471, 6: (A-4,1),(B-3,1),(C-2,1),(B-1,1),(A-1,2) --> 674,642,662,560,628,
472, 6: (A-3,1),(B-3,1),(C-2,2),(A-1,1),(B-1,1) --> 562,611,621,668,563,
473, 6: (A-5,1),(B-2,1),(C-2,1),(A-1,1),(B-1,2) --> 538,673,674,607,664,659,641,
474, 6: (A-5,1),(A-2,1),(B-2,1),(B-1,1),(C-1,2) --> 583,672,656,564,647,670,664,
475, 6: (A-5,1),(A-2,1),(B-2,1),(C-1,1),(B-1,2) --> 587,672,657,679,664,680,647,
476, 6: (A-5,1),(B-3,1),(B-1,1),(C-1,3) --> 599,681,565,682,
477, 6: (A-5,1),(B-2,2),(B-1,1),(C-1,2) --> 656,681,683,632,659,
478, 6: (A-5,1),(B-2,1),(C-2,1),(B-1,1),(C-1,2) --> 656,565,657,682,632,659,
479, 6: (A-5,1),(B-2,1),(C-2,1),(C-1,1),(B-1,2) --> 657,682,656,565,632,659,
480, 6: (A-5,1),(B-2,1),(C-2,1),(A-1,1),(B-1,1),(C-1,1) --> 535,660,566,670,664,632,641,
481, 6: (A-5,1),(B-3,1),(A-1,1),(B-1,1),(C-1,2) --> 536,607,564,679,681,684,682,566,674,
482, 6: (A-5,1),(B-2,2),(A-1,1),(B-1,1),(C-1,1) --> 537,660,684,647,680,683,685,659,641,
483, 6: (A-4,1),(A-3,1),(B-2,1),(B-1,1),(C-1,2) --> 583,567,650,676,667,
484, 6: (A-4,1),(A-3,1),(B-2,1),(C-1,1),(B-1,2) --> 587,686,667,687,650,
485, 6: (A-4,1),(B-2,1),(A-2,2),(B-1,2) --> 589,627,688,675,623,651,
486, 6: (A-4,1),(B-2,1),(A-2,2),(B-1,1),(C-1,1) --> 584,629,568,678,624,651,655,
487, 6: (A-4,1),(B-3,1),(A-2,1),(A-1,1),(B-1,1),(C-1,1) --> 591,679,648,686,568,688,630,689,628,560,
488, 6: (A-4,1),(A-2,1),(B-2,2),(A-1,1),(B-1,1) --> 592,680,666,687,661,665,689,651,631,
489, 6: (A-4,1),(B-3,1),(B-2,1),(A-1,1),(C-1,2) --> 681,656,630,620,662,
490, 6: (A-4,1),(B-3,1),(C-2,1),(A-1,1),(B-1,1),(C-1,1) --> 682,633,690,554,628,620,662,611,555,
491, 6: (A-4,1),(B-2,3),(A-1,1),(C-1,1) --> 683,635,631,610,
492, 6: (A-4,1),(B-3,1),(B-2,1),(C-1,1),(A-1,2) --> 684,657,662,689,630,
493, 6: (A-4,1),(B-2,3),(A-1,2) --> 685,643,631,
494, 6: (A-3,1),(A-2,1),(B-2,1),(C-2,1),(D-2,1),(D-1,1) --> 636,676,654,549,620,609,556,662,691,
495, 6: (A-3,1),(B-3,1),(A-2,1),(C-2,1),(D-1,2) --> 573,558,570,567,540,691,
496, 6: (A-3,1),(A-2,1),(B-2,1),(C-2,1),(D-2,1),(C-1,1) --> 646,667,654,676,551,609,620,556,662,691,549,
497, 6: (A-3,1),(B-3,1),(A-2,1),(C-2,1),(B-1,1),(D-1,1) --> 677,658,653,609,686,552,692,691,
498, 6: (A-3,1),(A-2,1),(B-2,1),(C-2,2),(C-1,1) --> 659,687,676,553,620,560,689,662,692,
499, 6: (A-3,1),(B-3,1),(C-2,1),(D-2,1),(A-1,1),(D-1,1) --> 574,549,571,619,690,693,691,541,
500, 6: (A-3,1),(B-3,1),(C-2,1),(D-2,1),(A-1,1),(B-1,1) --> 653,604,621,691,575,
501, 6: (A-3,1),(B-3,1),(B-2,1),(C-2,1),(A-1,1),(D-1,1) --> 653,609,677,658,686,619,692,575,
502, 6: (A-3,1),(B-2,1),(C-2,3),(A-1,1) --> 610,611,688,628,
503, 6: (A-2,1),(B-2,1),(C-2,1),(D-2,3) --> 610,602,655,637,
504, 6: (A-5,1),(B-2,1),(C-2,1),(B-1,1),(C-1,1),(D-1,1) --> 694,577,645,632,646,663,
505, 6: (A-5,1),(B-3,1),(B-1,1),(C-1,1),(D-1,2) --> 616,681,695,558,658,577,682,
506, 6: (A-5,1),(B-2,2),(B-1,1),(C-1,1),(D-1,1) --> 694,695,683,645,659,
507, 6: (A-4,1),(B-4,1),(A-1,1),(B-1,1),(C-1,1),(D-1,1) --> 696,694,640,629,613,635,605,638,634,
508, 6: (A-4,1),(B-3,1),(B-2,1),(A-1,1),(C-1,1),(D-1,1) --> 695,694,630,609,662,
509, 6: (A-3,1),(A-2,1),(B-2,1),(C-2,1),(D-2,1),(B-1,1) --> 663,654,667,556,662,691,551,609,620,
510, 6: (A-3,1),(B-3,1),(C-2,1),(D-2,1),(A-1,1),(C-1,1) --> 579,551,578,690,693,619,691,541,
511, 6: (A-5,1),(A-2,1),(B-2,1),(B-1,1),(C-1,1),(D-1,1) --> 697,698,694,580,647,652,664,
512, 6: (A-6,1),(B-2,1),(A-1,1),(B-1,1),(C-1,1),(D-1,1) --> 697,581,677,584,561,562,578,653,579,
513, 6: (A-4,2),(A-1,1),(B-1,1),(C-1,1),(D-1,1) --> 696,698,678,639,649,
514, 6: (A-4,1),(A-3,1),(B-2,1),(B-1,1),(C-1,1),(D-1,1) --> 697,582,650,654,667,
515, 6: (A-3,1),(B-3,1),(C-3,1),(A-1,1),(D-1,2) --> 546,540,545,536,699,539,693,
516, 6: (A-3,1),(B-3,1),(A-2,1),(C-2,1),(C-1,1),(D-1,1) --> 584,577,571,582,544,699,668,691,
517, 6: (A-7,1),(B-1,1),(C-1,1),(D-1,3) --> 572,671,587,697,
518, 6: (A-7,1),(B-1,1),(C-1,2),(D-1,2) --> 671,583,697,
519, 6: (A-5,1),(B-3,1),(A-1,1),(B-1,1),(C-1,1),(D-1,1) --> 586,618,580,679,695,684,658,559,674,
520, 6: (A-6,1),(A-2,1),(B-1,1),(C-1,1),(D-1,2) --> 614,573,677,584,
521, 6: (A-3,1),(B-3,1),(A-2,1),(C-2,1),(C-1,2) --> 589,565,534,567,542,700,668,
522, 6: (A-3,1),(B-3,1),(C-3,1),(A-1,1),(C-1,1),(D-1,1) --> 591,581,552,586,619,699,700,547,701,543,693,
523, 6: (A-3,1),(B-3,1),(C-2,2),(A-1,1),(C-1,1) --> 592,553,537,690,701,668,548,
524, 6: (A-3,1),(B-3,1),(A-2,1),(C-2,1),(B-1,1),(C-1,1) --> 584,682,574,620,686,569,702,692,668,
525, 6: (A-3,1),(B-3,1),(C-3,1),(A-1,1),(B-1,1),(D-1,1) --> 581,591,619,586,699,702,585,703,576,693,
526, 6: (A-3,1),(B-3,1),(B-2,1),(C-2,1),(A-1,1),(C-1,1) --> 574,620,584,682,686,690,703,692,563,
527, 6: (A-3,1),(B-3,1),(A-2,1),(B-2,1),(C-1,2) --> 573,681,567,692,
528, 6: (A-3,1),(A-2,1),(B-2,3),(C-1,1) --> 683,650,568,630,
529, 6: (A-3,1),(B-3,1),(A-2,1),(B-2,1),(C-1,1),(D-1,1) --> 677,695,582,692,
530, 6: (A-3,1),(B-3,1),(C-3,1),(A-1,1),(B-1,1),(C-1,1) --> 591,621,700,702,593,703,594,701,
531, 6: (A-2,3),(B-2,3) --> 631,651,
532, 7: (A-6,1),(B-3,1),(C-1,3) --> 704,
533, 7: (A-6,1),(B-2,2),(C-1,2) --> 705,706,
534, 7: (A-6,1),(B-2,1),(C-2,1),(C-1,2) --> 705,707,708,706,
535, 7: (A-6,1),(B-2,1),(C-2,1),(B-1,1),(C-1,1) --> 709,704,706,
536, 7: (A-6,1),(B-3,1),(B-1,1),(C-1,2) --> 705,710,704,708,
537, 7: (A-6,1),(B-2,2),(B-1,1),(C-1,1) --> 709,710,711,706,
538, 7: (A-6,1),(B-2,1),(C-2,1),(B-1,2) --> 707,708,705,706,
539, 7: (A-3,1),(B-3,1),(C-3,1),(D-2,1),(D-1,1) --> 704,712,
540, 7: (A-4,1),(B-3,1),(C-3,1),(D-1,2) --> 705,713,
541, 7: (A-3,1),(B-3,1),(C-2,1),(D-2,2) --> 706,713,714,
542, 7: (A-4,1),(B-3,1),(C-3,1),(A-1,2) --> 715,707,714,
543, 7: (A-3,1),(B-3,1),(C-3,1),(D-2,1),(C-1,1) --> 708,716,717,713,
544, 7: (A-4,1),(B-3,1),(C-3,1),(A-1,1),(D-1,1) --> 718,709,714,713,
545, 7: (A-6,1),(B-3,1),(C-1,1),(D-1,2) --> 716,704,
546, 7: (A-6,1),(B-3,1),(A-1,1),(C-1,2) --> 719,720,704,717,
547, 7: (A-3,1),(B-3,1),(C-3,1),(C-2,1),(D-1,1) --> 710,716,720,718,
548, 7: (A-3,1),(B-3,1),(C-2,3) --> 711,714,
549, 7: (A-4,1),(B-3,1),(C-2,1),(D-2,1),(D-1,1) --> 721,722,713,
550, 7: (A-4,1),(B-3,1),(C-2,2),(D-1,1) --> 721,
551, 7: (A-4,1),(B-3,1),(C-2,1),(D-2,1),(C-1,1) --> 722,713,721,
552, 7: (A-4,1),(B-3,1),(C-3,1),(C-1,1),(D-1,1) --> 723,724,721,725,713,
553, 7: (A-4,1),(B-3,1),(C-2,2),(C-1,1) --> 722,725,
554, 7: (A-4,1),(B-3,1),(A-2,1),(C-2,1),(C-1,1) --> 704,726,722,714,
555, 7: (A-4,1),(B-3,1),(C-2,2),(A-1,1) --> 727,728,
556, 7: (A-4,1),(B-3,1),(C-2,1),(D-2,1),(A-1,1) --> 729,728,
557, 7: (A-4,1),(B-3,1),(A-2,1),(C-2,1),(D-1,1) --> 716,726,721,
558, 7: (A-5,1),(B-3,1),(C-2,1),(D-1,2) --> 729,
559, 7: (A-5,1),(B-3,1),(C-2,1),(A-1,1),(D-1,1) --> 716,730,729,
560, 7: (A-4,1),(B-3,1),(A-2,1),(C-2,1),(A-1,1) --> 717,730,731,732,728,
561, 7: (A-6,1),(B-2,2),(C-1,1),(D-1,1) --> 723,706,
562, 7: (A-6,1),(B-2,2),(A-1,1),(C-1,1) --> 733,724,734,706,
563, 7: (A-3,1),(B-3,1),(B-2,1),(C-2,2) --> 706,734,727,732,714,725,
564, 7: (A-5,1),(B-3,1),(A-2,1),(C-1,2) --> 719,730,
565, 7: (A-5,1),(B-3,1),(C-2,1),(C-1,2) --> 735,727,
566, 7: (A-5,1),(B-3,1),(C-2,1),(A-1,1),(C-1,1) --> 704,715,730,727,
567, 7: (A-4,1),(A-3,1),(B-3,1),(C-1,2) --> 719,736,705,732,
568, 7: (A-4,1),(B-3,1),(A-2,2),(C-1,1) --> 720,726,
569, 7: (A-4,1),(B-3,1),(C-3,1),(A-1,1),(C-1,1) --> 735,709,737,728,714,725,
570, 7: (A-6,1),(B-2,1),(C-2,1),(D-1,2) --> 705,738,
571, 7: (A-6,1),(B-2,1),(C-2,1),(C-1,1),(D-1,1) --> 723,709,716,706,738,
572, 7: (A-7,1),(B-2,1),(C-1,3) --> 739,
573, 7: (A-6,1),(A-2,1),(B-2,1),(C-1,2) --> 740,736,705,741,
574, 7: (A-6,1),(B-2,1),(C-2,1),(A-1,1),(C-1,1) --> 739,724,737,717,741,706,
575, 7: (A-3,1),(B-3,1),(B-2,1),(C-2,1),(D-2,1) --> 738,741,729,732,713,725,
576, 7: (A-3,1),(B-3,1),(C-3,1),(D-2,1),(B-1,1) --> 716,708,717,713,
577, 7: (A-5,1),(B-3,1),(C-2,1),(C-1,1),(D-1,1) --> 718,727,729,
578, 7: (A-6,1),(B-2,1),(C-2,1),(B-1,1),(D-1,1) --> 709,716,723,706,738,
579, 7: (A-6,1),(B-2,1),(C-2,1),(A-1,1),(B-1,1) --> 742,737,717,724,741,706,
580, 7: (A-5,1),(B-3,1),(A-2,1),(C-1,1),(D-1,1) --> 743,730,
581, 7: (A-6,1),(B-3,1),(A-1,1),(C-1,1),(D-1,1) --> 743,720,716,717,
582, 7: (A-4,1),(A-3,1),(B-3,1),(C-1,1),(D-1,1) --> 743,744,723,732,
583, 7: (A-7,1),(B-2,1),(B-1,1),(C-1,2) --> 719,733,739,742,
584, 7: (A-6,1),(A-2,1),(B-2,1),(B-1,1),(C-1,1) --> 745,744,709,720,734,741,
585, 7: (A-3,1),(B-3,1),(C-3,1),(B-2,1),(D-1,1) --> 716,710,720,718,
586, 7: (A-6,1),(B-3,1),(B-1,1),(C-1,1),(D-1,1) --> 723,710,716,708,
587, 7: (A-7,1),(B-2,1),(C-1,1),(B-1,2) --> 746,742,747,733,
588, 7: (A-8,1),(B-1,1),(C-1,3) --> 740,748,745,
589, 7: (A-6,1),(A-2,1),(B-2,1),(B-1,2) --> 748,736,707,749,734,
590, 7: (A-8,1),(B-1,2),(C-1,2) --> 740,745,
591, 7: (A-6,1),(B-3,1),(A-1,1),(B-1,1),(C-1,1) --> 746,724,720,749,710,750,708,717,
592, 7: (A-6,1),(B-2,2),(A-1,1),(B-1,1) --> 747,737,750,734,711,
593, 7: (A-3,1),(B-3,1),(C-3,1),(B-2,1),(C-1,1) --> 708,710,749,720,735,750,717,725,
594, 7: (A-3,1),(B-3,1),(C-3,1),(C-2,1),(B-1,1) --> 710,708,750,717,725,749,720,735,
595, 7: (A-4,1),(B-4,1),(C-2,1),(D-1,2) --> 740,751,
596, 7: (A-4,1),(B-4,1),(C-2,1),(C-1,2) --> 748,752,753,
597, 7: (A-4,1),(B-4,1),(C-2,1),(C-1,1),(D-1,1) --> 745,721,753,751,
598, 7: (A-8,1),(A-1,1),(B-1,3) --> 754,755,748,756,
599, 7: (A-5,1),(B-4,1),(C-1,3) --> 757,
600, 7: (A-4,1),(B-4,1),(B-2,1),(C-1,2) --> 740,755,705,758,
601, 7: (A-4,1),(B-4,1),(C-2,1),(B-1,1),(C-1,1) --> 745,756,757,722,758,753,
602, 7: (A-4,1),(B-2,1),(C-2,1),(D-2,2) --> 753,751,758,
603, 7: (A-4,1),(B-4,1),(C-2,1),(B-1,2) --> 740,759,760,758,
604, 7: (A-4,1),(B-3,1),(C-2,1),(D-2,1),(B-1,1) --> 751,752,
605, 7: (A-4,1),(B-4,1),(C-2,1),(B-1,1),(D-1,1) --> 761,762,763,758,751,
606, 7: (A-8,1),(A-1,2),(B-1,2) --> 764,755,765,756,759,
607, 7: (A-5,1),(B-4,1),(A-1,1),(C-1,2) --> 705,766,757,760,
608, 7: (A-4,1),(B-4,1),(B-2,1),(B-1,1),(C-1,1) --> 745,765,724,766,767,768,758,
609, 7: (A-4,1),(B-3,1),(B-2,1),(C-2,1),(D-1,1) --> 763,767,721,
610, 7: (A-4,1),(B-2,1),(C-2,3) --> 753,768,758,
611, 7: (A-4,1),(B-3,1),(C-2,2),(B-1,1) --> 753,752,
612, 7: (A-4,1),(B-2,2),(C-2,2) --> 753,758,
613, 7: (A-4,1),(B-4,1),(B-2,1),(C-1,1),(D-1,1) --> 761,769,723,758,
614, 7: (A-8,1),(B-1,1),(C-1,1),(D-1,2) --> 740,761,745,
615, 7: (A-8,1),(A-1,1),(B-1,1),(C-1,2) --> 770,755,769,740,762,745,756,
616, 7: (A-5,1),(B-4,1),(C-1,1),(D-1,2) --> 763,757,
617, 7: (A-8,1),(B-1,1),(C-1,1),(A-1,2) --> 771,759,762,765,769,
618, 7: (A-5,1),(B-4,1),(A-1,1),(C-1,1),(D-1,1) --> 723,766,763,760,
619, 7: (A-4,1),(B-3,1),(C-3,1),(B-1,1),(D-1,1) --> 724,721,723,772,713,
620, 7: (A-4,1),(B-3,1),(B-2,1),(C-2,1),(C-1,1) --> 757,767,722,772,
621, 7: (A-4,1),(B-3,1),(C-3,1),(B-1,1),(C-1,1) --> 724,752,772,725,
622, 7: (A-4,2),(B-2,1),(C-1,2) --> 740,773,
623, 7: (A-4,2),(B-2,1),(B-1,2) --> 748,774,775,
624, 7: (A-4,2),(B-2,1),(B-1,1),(C-1,1) --> 745,726,775,773,
625, 7: (A-4,1),(B-4,1),(A-2,1),(C-1,2) --> 755,705,740,776,
626, 7: (A-4,1),(A-2,1),(B-2,1),(C-2,2) --> 706,775,773,753,776,758,777,
627, 7: (A-4,1),(B-4,1),(A-2,1),(B-1,2) --> 755,707,759,778,777,
628, 7: (A-4,1),(B-3,1),(A-2,1),(C-2,1),(B-1,1) --> 708,776,774,752,
629, 7: (A-4,1),(B-4,1),(A-2,1),(B-1,1),(C-1,1) --> 769,709,762,779,777,776,
630, 7: (A-4,1),(B-3,1),(A-2,1),(B-2,1),(C-1,1) --> 710,779,726,767,
631, 7: (A-4,1),(A-2,1),(B-2,3) --> 711,775,768,777,
632, 7: (A-5,1),(B-2,1),(C-2,2),(B-1,1) --> 780,727,779,757,
633, 7: (A-4,1),(B-4,1),(C-2,1),(A-1,1),(C-1,1) --> 756,757,745,728,776,753,
634, 7: (A-4,1),(B-4,1),(C-2,1),(A-1,1),(B-1,1) --> 762,780,776,758,
635, 7: (A-4,1),(B-4,1),(B-2,1),(A-1,1),(C-1,1) --> 762,779,769,709,777,758,
636, 7: (A-5,1),(B-2,1),(C-2,1),(D-2,1),(D-1,1) --> 757,763,780,729,
637, 7: (A-4,1),(A-2,1),(B-2,1),(C-2,1),(D-2,1) --> 738,773,751,776,
638, 7: (A-4,1),(B-4,1),(C-2,1),(A-1,1),(D-1,1) --> 762,763,761,776,751,
639, 7: (A-4,2),(B-2,1),(C-1,1),(D-1,1) --> 761,773,
640, 7: (A-4,1),(B-4,1),(A-2,1),(C-1,1),(D-1,1) --> 769,723,761,776,
641, 7: (A-5,1),(B-2,1),(C-2,2),(A-1,1) --> 706,760,778,
642, 7: (A-4,1),(B-4,1),(C-2,1),(A-1,2) --> 759,760,740,776,
643, 7: (A-4,1),(B-4,1),(B-2,1),(A-1,2) --> 759,778,755,707,777,
644, 7: (A-5,1),(B-2,1),(C-2,1),(D-2,1),(A-1,1) --> 738,760,
645, 7: (A-5,1),(B-2,1),(C-2,2),(D-1,1) --> 763,779,
646, 7: (A-5,1),(B-2,1),(C-2,1),(D-2,1),(C-1,1) --> 763,757,780,729,
647, 7: (A-5,1),(A-2,1),(B-2,2),(C-1,1) --> 733,781,779,766,
648, 7: (A-4,1),(B-4,1),(A-2,1),(A-1,1),(C-1,1) --> 765,724,766,745,782,783,776,
649, 7: (A-4,2),(B-2,1),(A-1,1),(C-1,1) --> 762,781,784,773,
650, 7: (A-4,1),(A-3,1),(B-2,2),(C-1,1) --> 733,782,
651, 7: (A-4,1),(A-2,2),(B-2,2) --> 734,775,784,777,783,
652, 7: (A-5,1),(A-2,1),(B-2,1),(C-2,1),(D-1,1) --> 785,781,763,766,
653, 7: (A-6,1),(B-2,1),(C-2,1),(A-1,1),(D-1,1) --> 785,724,741,738,
654, 7: (A-4,1),(A-3,1),(B-2,1),(C-2,1),(D-1,1) --> 785,782,
655, 7: (A-4,1),(B-2,1),(C-2,1),(A-2,2) --> 741,783,776,784,773,
656, 7: (A-5,1),(B-4,1),(B-1,1),(C-1,2) --> 786,779,757,780,
657, 7: (A-5,1),(B-4,1),(C-1,1),(B-1,2) --> 787,780,788,779,
658, 7: (A-5,1),(B-3,1),(C-2,1),(B-1,1),(D-1,1) --> 763,789,729,
659, 7: (A-5,1),(B-2,1),(C-2,2),(C-1,1) --> 757,788,780,789,
660, 7: (A-5,1),(B-4,1),(A-1,1),(B-1,1),(C-1,1) --> 709,790,766,791,779,778,780,760,
661, 7: (A-4,1),(B-4,1),(B-2,1),(A-1,1),(B-1,1) --> 756,788,765,737,791,792,777,768,
662, 7: (A-4,1),(B-3,1),(B-2,1),(C-2,1),(A-1,1) --> 789,780,792,728,
663, 7: (A-5,1),(B-2,1),(C-2,1),(D-2,1),(B-1,1) --> 780,729,763,757,
664, 7: (A-5,1),(A-2,1),(B-2,1),(C-2,1),(B-1,1) --> 742,781,793,780,791,730,757,766,
665, 7: (A-4,1),(B-4,1),(A-2,1),(A-1,1),(B-1,1) --> 765,737,791,756,788,794,783,777,
666, 7: (A-4,2),(B-2,1),(A-1,1),(B-1,1) --> 756,793,731,784,775,
667, 7: (A-4,1),(A-3,1),(B-2,1),(C-2,1),(B-1,1) --> 742,794,732,782,
668, 7: (A-3,1),(B-3,1),(A-2,1),(C-2,2) --> 734,727,706,732,714,772,
669, 7: (A-5,1),(A-4,1),(B-1,3) --> 754,793,
670, 7: (A-5,1),(A-2,1),(B-2,1),(C-2,1),(C-1,1) --> 739,793,781,757,766,780,791,730,
671, 7: (A-7,1),(B-2,1),(C-1,1),(D-1,2) --> 785,739,
672, 7: (A-5,1),(A-4,1),(B-1,1),(C-1,2) --> 770,781,793,
673, 7: (A-5,1),(B-4,1),(A-1,1),(B-1,2) --> 707,795,791,788,778,
674, 7: (A-5,1),(B-3,1),(C-2,1),(A-1,1),(B-1,1) --> 708,760,730,789,
675, 7: (A-4,2),(A-2,1),(B-1,2) --> 755,736,784,
676, 7: (A-4,1),(A-3,1),(B-2,1),(C-2,1),(C-1,1) --> 739,782,794,732,
677, 7: (A-6,1),(A-2,1),(B-2,1),(C-1,1),(D-1,1) --> 761,744,723,741,
678, 7: (A-4,2),(A-2,1),(B-1,1),(C-1,1) --> 769,744,784,
679, 7: (A-5,1),(B-3,1),(A-2,1),(B-1,1),(C-1,1) --> 746,766,796,730,
680, 7: (A-5,1),(A-2,1),(B-2,2),(B-1,1) --> 747,793,788,791,796,
681, 7: (A-5,1),(B-3,1),(B-2,1),(C-1,2) --> 786,789,
682, 7: (A-5,1),(B-3,1),(C-2,1),(B-1,1),(C-1,1) --> 757,797,789,727,
683, 7: (A-5,1),(B-2,3),(C-1,1) --> 779,
684, 7: (A-5,1),(B-3,1),(B-2,1),(A-1,1),(C-1,1) --> 710,790,796,789,
685, 7: (A-5,1),(B-2,3),(A-1,1) --> 711,778,
686, 7: (A-4,1),(A-3,1),(B-3,1),(B-1,1),(C-1,1) --> 746,744,724,782,798,732,
687, 7: (A-4,1),(A-3,1),(B-2,2),(B-1,1) --> 747,794,798,
688, 7: (A-4,1),(B-3,1),(A-2,2),(B-1,1) --> 749,783,774,
689, 7: (A-4,1),(B-3,1),(A-2,1),(B-2,1),(A-1,1) --> 750,796,788,731,798,792,
690, 7: (A-4,1),(B-3,1),(C-3,1),(A-1,1),(B-1,1) --> 797,737,728,709,714,772,
691, 7: (A-3,1),(B-3,1),(A-2,1),(C-2,1),(D-2,1) --> 741,729,738,732,713,772,
692, 7: (A-3,1),(B-3,1),(A-2,1),(B-2,1),(C-2,1) --> 741,789,732,798,725,772,
693, 7: (A-3,1),(B-3,1),(C-3,1),(D-2,1),(A-1,1) --> 717,713,716,708,
694, 7: (A-5,1),(B-4,1),(B-1,1),(C-1,1),(D-1,1) --> 799,779,763,780,
695, 7: (A-5,1),(B-3,1),(B-2,1),(C-1,1),(D-1,1) --> 799,789,
696, 7: (A-8,1),(A-1,1),(B-1,1),(C-1,1),(D-1,1) --> 800,769,761,762,
697, 7: (A-7,1),(B-2,1),(B-1,1),(C-1,1),(D-1,1) --> 743,733,785,742,
698, 7: (A-5,1),(A-4,1),(B-1,1),(C-1,1),(D-1,1) --> 800,781,
699, 7: (A-3,1),(B-3,1),(C-3,1),(A-2,1),(D-1,1) --> 720,718,716,710,
700, 7: (A-3,1),(B-3,1),(C-3,1),(A-2,1),(C-1,1) --> 749,720,735,708,710,717,750,772,
701, 7: (A-3,1),(B-3,1),(C-3,1),(C-2,1),(A-1,1) --> 750,717,725,710,708,720,749,797,
702, 7: (A-3,1),(B-3,1),(C-3,1),(A-2,1),(B-1,1) --> 720,749,797,717,750,772,708,710,
703, 7: (A-3,1),(B-3,1),(C-3,1),(B-2,1),(A-1,1) --> 717,750,772,720,749,797,710,708,
704, 8: (A-6,1),(B-3,1),(C-2,1),(C-1,1) --> 801,
705, 8: (A-6,1),(B-4,1),(C-1,2) --> 802,
706, 8: (A-6,1),(B-2,1),(C-2,2) --> 802,803,
707, 8: (A-6,1),(B-4,1),(B-1,2) --> 804,803,
708, 8: (A-6,1),(B-3,1),(C-2,1),(B-1,1) --> 802,
709, 8: (A-6,1),(B-4,1),(B-1,1),(C-1,1) --> 805,803,802,
710, 8: (A-6,1),(B-3,1),(B-2,1),(C-1,1) --> 805,
711, 8: (A-6,1),(B-2,3) --> 803,
712, 8: (A-3,1),(B-3,1),(C-3,1),(D-3,1) --> 801,
713, 8: (A-4,1),(B-3,1),(C-3,1),(D-2,1) --> 802,
714, 8: (A-4,1),(B-3,1),(C-3,1),(A-2,1) --> 801,803,
715, 8: (A-5,1),(B-3,1),(C-3,1),(A-1,1) --> 801,804,
716, 8: (A-6,1),(B-3,1),(C-2,1),(D-1,1) --> 
717, 8: (A-6,1),(B-3,1),(C-2,1),(A-1,1) --> 806,
718, 8: (A-5,1),(B-3,1),(C-3,1),(D-1,1) --> 805,
719, 8: (A-7,1),(B-3,1),(C-1,2) --> 806,
720, 8: (A-6,1),(B-3,1),(A-2,1),(C-1,1) --> 807,
721, 8: (A-4,1),(B-4,1),(C-3,1),(D-1,1) --> 807,
722, 8: (A-4,1),(B-4,1),(C-3,1),(B-1,1) --> 807,808,809,
723, 8: (A-6,1),(B-4,1),(C-1,1),(D-1,1) --> 802,
724, 8: (A-6,1),(B-4,1),(A-1,1),(C-1,1) --> 810,811,802,
725, 8: (A-4,1),(B-3,1),(C-3,1),(C-2,1) --> 802,811,809,
726, 8: (A-4,2),(B-3,1),(C-1,1) --> 807,
727, 8: (A-5,1),(B-3,1),(C-2,2) --> 809,
728, 8: (A-4,1),(B-4,1),(C-3,1),(A-1,1) --> 808,809,807,
729, 8: (A-5,1),(B-3,1),(C-2,1),(D-2,1) --> 809,
730, 8: (A-5,1),(B-3,1),(A-2,1),(C-2,1) --> 806,812,809,
731, 8: (A-4,2),(B-3,1),(A-1,1) --> 808,812,
732, 8: (A-4,1),(A-3,1),(B-3,1),(C-2,1) --> 806,813,802,
733, 8: (A-7,1),(B-2,2),(C-1,1) --> 810,
734, 8: (A-6,1),(A-2,1),(B-2,2) --> 814,813,803,811,
735, 8: (A-5,1),(B-3,1),(C-3,1),(C-1,1) --> 805,815,809,
736, 8: (A-6,1),(A-4,1),(B-1,2) --> 816,813,
737, 8: (A-6,1),(B-4,1),(A-1,1),(B-1,1) --> 817,815,811,803,
738, 8: (A-6,1),(B-2,1),(C-2,1),(D-2,1) --> 802,
739, 8: (A-7,1),(B-2,1),(C-2,1),(C-1,1) --> 810,817,806,
740, 8: (A-8,1),(B-2,1),(C-1,2) --> 818,
741, 8: (A-6,1),(A-2,1),(B-2,1),(C-2,1) --> 818,813,802,811,
742, 8: (A-7,1),(B-2,1),(C-2,1),(B-1,1) --> 817,806,810,
743, 8: (A-7,1),(B-3,1),(C-1,1),(D-1,1) --> 806,
744, 8: (A-6,1),(A-4,1),(B-1,1),(C-1,1) --> 819,813,
745, 8: (A-8,1),(B-2,1),(B-1,1),(C-1,1) --> 807,814,818,
746, 8: (A-7,1),(B-3,1),(B-1,1),(C-1,1) --> 810,820,806,
747, 8: (A-7,1),(B-2,2),(B-1,1) --> 817,820,
748, 8: (A-8,1),(B-2,1),(B-1,2) --> 821,814,
749, 8: (A-6,1),(B-3,1),(A-2,1),(B-1,1) --> 821,811,
750, 8: (A-6,1),(B-3,1),(B-2,1),(A-1,1) --> 820,815,
751, 8: (A-4,1),(B-4,1),(C-2,1),(D-2,1) --> 818,822,
752, 8: (A-4,1),(B-4,1),(C-3,1),(C-1,1) --> 821,822,
753, 8: (A-4,1),(B-4,1),(C-2,2) --> 814,822,
754, 8: (A-9,1),(B-1,3) --> 823,
755, 8: (A-8,1),(A-2,1),(B-1,2) --> 816,824,
756, 8: (A-8,1),(B-2,1),(A-1,1),(B-1,1) --> 823,808,824,814,
757, 8: (A-5,1),(B-4,1),(C-2,1),(C-1,1) --> 809,
758, 8: (A-4,1),(B-4,1),(B-2,1),(C-2,1) --> 818,824,802,825,822,
759, 8: (A-8,1),(B-2,1),(A-1,2) --> 826,824,
760, 8: (A-5,1),(B-4,1),(C-2,1),(A-1,1) --> 802,
761, 8: (A-8,1),(B-2,1),(C-1,1),(D-1,1) --> 818,
762, 8: (A-8,1),(B-2,1),(A-1,1),(C-1,1) --> 827,824,818,
763, 8: (A-5,1),(B-4,1),(C-2,1),(D-1,1) --> 
764, 8: (A-9,1),(A-1,1),(B-1,2) --> 816,828,823,826,
765, 8: (A-8,1),(A-2,1),(A-1,1),(B-1,1) --> 829,828,830,831,824,
766, 8: (A-5,1),(B-4,1),(A-2,1),(C-1,1) --> 810,
767, 8: (A-4,1),(B-4,1),(B-3,1),(C-1,1) --> 807,830,810,
768, 8: (A-4,1),(B-4,1),(B-2,2) --> 814,831,811,825,
769, 8: (A-8,1),(A-2,1),(B-1,1),(C-1,1) --> 819,824,
770, 8: (A-9,1),(B-1,1),(C-1,2) --> 827,823,
771, 8: (A-9,1),(A-1,1),(B-1,1),(C-1,1) --> 819,828,827,826,
772, 8: (A-4,1),(B-3,1),(C-3,1),(B-2,1) --> 811,809,802,
773, 8: (A-4,2),(B-2,1),(C-2,1) --> 818,825,
774, 8: (A-4,2),(B-3,1),(B-1,1) --> 821,825,
775, 8: (A-4,2),(B-2,2) --> 814,825,
776, 8: (A-4,1),(B-4,1),(A-2,1),(C-2,1) --> 824,802,818,825,822,
777, 8: (A-4,1),(B-4,1),(A-2,1),(B-2,1) --> 824,803,825,
778, 8: (A-5,1),(B-4,1),(B-2,1),(A-1,1) --> 803,804,
779, 8: (A-5,1),(B-4,1),(B-2,1),(C-1,1) --> 805,
780, 8: (A-5,1),(B-4,1),(C-2,1),(B-1,1) --> 832,
781, 8: (A-5,1),(A-4,1),(B-2,1),(C-1,1) --> 827,
782, 8: (A-4,1),(B-4,1),(A-3,1),(C-1,1) --> 830,810,807,
783, 8: (A-4,1),(B-4,1),(A-2,2) --> 831,811,814,825,
784, 8: (A-4,2),(A-2,1),(B-2,1) --> 824,813,833,825,
785, 8: (A-7,1),(B-2,1),(C-2,1),(D-1,1) --> 810,
786, 8: (A-5,1),(B-5,1),(C-1,2) --> 816,832,
787, 8: (A-5,1),(B-5,1),(B-1,1),(C-1,1) --> 819,829,805,834,832,
788, 8: (A-5,1),(B-4,1),(B-2,1),(B-1,1) --> 815,834,835,
789, 8: (A-5,1),(B-3,1),(B-2,1),(C-2,1) --> 832,835,809,
790, 8: (A-5,1),(B-5,1),(A-1,1),(C-1,1) --> 829,805,819,836,832,
791, 8: (A-5,1),(B-4,1),(A-2,1),(B-1,1) --> 817,836,
792, 8: (A-4,1),(B-4,1),(B-3,1),(A-1,1) --> 808,835,830,817,
793, 8: (A-5,1),(A-4,1),(B-2,1),(B-1,1) --> 823,812,
794, 8: (A-4,1),(B-4,1),(A-3,1),(B-1,1) --> 830,817,808,835,
795, 8: (A-5,1),(B-5,1),(A-1,1),(B-1,1) --> 829,804,836,834,
796, 8: (A-5,1),(B-3,1),(A-2,1),(B-2,1) --> 820,836,812,835,
797, 8: (A-5,1),(B-3,1),(C-3,1),(B-1,1) --> 815,809,805,
798, 8: (A-4,1),(A-3,1),(B-3,1),(B-2,1) --> 820,813,811,835,
799, 8: (A-5,1),(B-5,1),(C-1,1),(D-1,1) --> 819,832,
800, 8: (A-9,1),(B-1,1),(C-1,1),(D-1,1) --> 827,
801, 9: (A-6,1),(B-3,1),(C-3,1) --> 837,
802, 9: (A-6,1),(B-4,1),(C-2,1) --> 
803, 9: (A-6,1),(B-4,1),(B-2,1) --> 837,
804, 9: (A-6,1),(B-5,1),(B-1,1) --> 837,
805, 9: (A-6,1),(B-5,1),(C-1,1) --> 
806, 9: (A-7,1),(B-3,1),(C-2,1) --> 
807, 9: (A-8,1),(B-3,1),(C-1,1) --> 
808, 9: (A-8,1),(B-3,1),(A-1,1) --> 838,
809, 9: (A-5,1),(B-4,1),(C-3,1) --> 
810, 9: (A-7,1),(B-4,1),(C-1,1) --> 
811, 9: (A-6,1),(B-4,1),(A-2,1) --> 839,
812, 9: (A-5,1),(A-4,1),(B-3,1) --> 838,
813, 9: (A-6,1),(A-4,1),(B-2,1) --> 840,
814, 9: (A-8,1),(B-2,2) --> 839,
815, 9: (A-6,1),(B-5,1),(A-1,1) --> 841,
816, 9: (A-10,1),(B-1,2) --> 840,
817, 9: (A-7,1),(B-4,1),(B-1,1) --> 841,
818, 9: (A-8,1),(B-2,1),(C-2,1) --> 839,
819, 9: (A-10,1),(B-1,1),(C-1,1) --> 840,
820, 9: (A-7,1),(B-3,1),(B-2,1) --> 841,
821, 9: (A-8,1),(B-3,1),(B-1,1) --> 839,
822, 9: (A-4,1),(B-4,1),(C-4,1) --> 839,
823, 9: (A-9,1),(B-2,1),(B-1,1) --> 838,
824, 9: (A-8,1),(A-2,1),(B-2,1) --> 840,842,839,
825, 9: (A-4,1),(B-4,2) --> 839,842,
826, 9: (A-9,1),(B-2,1),(A-1,1) --> 840,
827, 9: (A-9,1),(B-2,1),(C-1,1) --> 
828, 9: (A-9,1),(A-2,1),(B-1,1) --> 843,
829, 9: (A-10,1),(A-1,1),(B-1,1) --> 843,844,840,
830, 9: (A-8,1),(A-3,1),(B-1,1) --> 843,
831, 9: (A-8,1),(A-2,2) --> 844,842,
832, 9: (A-5,1),(B-5,1),(C-2,1) --> 840,
833, 9: (A-4,3) --> 842,
834, 9: (A-5,1),(B-5,1),(B-2,1) --> 840,844,841,
835, 9: (A-5,1),(B-4,1),(B-3,1) --> 841,
836, 9: (A-5,1),(B-5,1),(A-2,1) --> 844,841,840,
837, 10: (A-6,1),(B-6,1) --> 845,
838, 10: (A-9,1),(B-3,1) --> 
839, 10: (A-8,1),(B-4,1) --> 
840, 10: (A-10,1),(B-2,1) --> 
841, 10: (A-7,1),(B-5,1) --> 
842, 10: (A-8,1),(A-4,1) --> 845,
843, 10: (A-11,1),(B-1,1) --> 
844, 10: (A-10,1),(A-2,1) --> 845,
845, 11: (A-12,1) -->