4,5,7,8,13,16,17,20,30],[1,2,5,6,12,14,21,31],[1,2,4,8,9,18,22,32],[1,2,4,5,8,
10,11,12,17,19,23,33],[1,2,3,5,7,10,11,12,15,16,19,25,27,29,34],[1,2,4,5,8,10,
11,12,17,19,28,35],[1,2,4,5,8,10,11,12,17,19,26,36],[1,2,3,5,7,10,11,12,16,19,
24,37],[1,2,3,4,5,7,8,10,13,15,20,23,24,25,26,38],[1,2,3,4,5,7,8,12,13,16,17,
20,30,39],[1,2,3,5,6,7,10,14,16,21,24,40],[1,2,4,5,6,8,11,14,17,21,28,41],[1,
2,3,4,5,7,8,10,11,12,13,15,16,17,19,20,23,24,25,26,27,29,30,33,34,36,37,38,
42],[1,2,3,5,6,7,10,11,12,14,15,16,19,21,24,27,31,37,40,43],[1,2,4,5,8,9,10,
11,12,17,18,19,22,23,28,32,33,35,44],[1,2,4,5,8,9,10,11,12,17,18,19,22,26,28,
32,35,36,45],[1,2,3,4,5,6,7,8,10,11,12,13,14,16,17,19,20,21,24,28,30,35,37,39,
40,41,46],[1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,
26,27,28,29,30,31,32,33,34,35,36,37,38,39,40,41,42,43,44,45,46,47]],
0,[[1],[1,1],[1,1],[1,1],[1,1,1],[1,1],[1,1,1,1],[1,1,1,1],[1,1],[1,1,3,1],[1,
1,3,1],[1,1,1,1],[1,2,2,1],[1,1,1,1],[1,1,1,1,1,1],[1,1,1,3,1,1],[1,1,1,3,1,
1],[1,1,1,1],[1,1,5,1,1,1,1],[1,1,2,2,2,2,1,1],[1,1,5,1,1,1],[1,7,1,1],[1,1,4,
3,4,1,1],[1,1,4,3,4,1,1],[1,1,1,3,1,1,3,1],[1,1,4,3,4,1,1],[1,1,1,7,1,3,1,2,
1],[1,1,4,3,4,1,1],[1,1,1,1,1,3,1,1],[1,1,2,2,9,2,2,1,6,6,1,1],[1,1,5,1,5,1,1,
1],[1,1,7,7,1,1,1,1],[1,1,4,9,4,1,3,3,4,3,1,1],[1,1,1,9,1,1,3,3,3,2,3,1,1,1,
1],[1,1,4,9,4,3,1,3,4,3,1,1],[1,1,4,9,4,1,3,3,4,3,1,1],[1,1,4,9,4,1,3,3,4,3,1,
1],[1,1,5,8,3,5,8,1,4,3,4,1,1,1,1,1],[1,1,2,2,9,2,2,9,1,6,6,1,1,1],[1,1,10,15,
6,10,5,6,10,6,5,1],[1,1,10,15,6,10,5,6,10,6,5,1],[1,1,5,8,21,5,8,1,9,9,4,3,18,
24,9,4,1,1,1,1,3,3,4,3,3,3,3,1,1],[1,1,10,25,6,10,5,15,15,6,10,20,15,6,5,10,6,
5,1,1],[1,1,28,21,28,8,7,7,21,28,8,21,8,7,7,8,7,7,1],[1,1,28,21,28,8,7,7,21,
28,8,21,8,7,7,8,7,7,1],[1,1,20,20,45,36,20,20,15,15,45,10,36,60,60,45,10,36,
15,15,10,15,15,10,6,6,1],[1,1,35,140,105,126,35,140,120,35,105,315,70,126,105,
210,420,120,315,70,126,120,35,35,35,35,105,105,105,70,126,120,105,105,105,105,
105,35,70,21,42,35,21,15,15,7,1]],
[1,2,3,3,4,5,6,6,7,8,8,8,9,10,12,12,12,14,16,18,20,21,24,24,24,24,24,24,24,36,
40,42,48,48,48,48,48,72,72,120,120,144,240,336,336,720,5040],
[47,47,42,30,34,31,42,30,32,42,35,19,39,31,34,27,17,32,19,39,31,32,42,42,42,
42,34,35,34,39,31,32,33,34,35,36,37,42,39,43,41,42,43,44,45,46,47],
[1,1,1,1,1,1,1,1,1,2,2,1,1,1,1,3,4,1,5,1,6,9,10,10,2,10,7,11,3,13,6,9,23,15,
28,26,24,10,13,40,41,38,40,44,45,46,47],
[(  1,228,106)(  2,109,121)(  3,156,141)(  4,204,134)(  5, 98, 93)
(  6, 15,125)(  7, 57,183)(  8,131,113)(  9,150, 10)( 11,215,203)( 12, 41,207)
( 13,236, 69)( 14,157, 61)( 16, 46,161)( 17,234,178)( 18, 82, 43)( 19,238, 49)
( 20,162,212)( 21, 79, 54)( 22,179, 85)( 23,192,182)( 24, 63,135)( 25,138, 92)
( 26,168,213)( 27,110, 59)( 28, 66,196)( 29,155,189)( 30, 83,151)( 31,104, 39)
( 32,239,191)( 33,217,169)( 34,202,118)( 35,163,100)( 36,126,175)( 37,240, 95)
( 38,142,219)( 40, 47,188)( 42, 60,153)( 44,210,140)( 45,230,167)( 48,226,146)
( 50,137,173)( 51,176,123)( 52,229, 70)( 53,200,133)( 55, 88,170)( 56, 90,164)
( 58,122,237)( 62,220,166)( 64,235, 76)( 65,195,159)( 67,139,145)( 68, 87,233)
( 71,185,148)( 72,152,149)( 73,211,208)( 74,224,158)( 75,116,144)( 77,128, 84)
( 78,119,187)( 80,201,232)( 81,114,216)( 86,197,218)( 89,198,181)( 91,111,172)
( 94,129,143)( 96,193,214)( 97,154,147)( 99,223,199)(101,105,136)(102,120,112)
(103,132,108)(107,177,222)(115,194,221)(117,124,130)(127,171,190)(160,186,227)
(165,206,205)(174,180,231)(184,209,225),(  1, 80, 69, 77, 12)(  2,143, 33,142,
 151)(  3,178, 25, 78,223)(  4,107, 49,102,  7)(  5,117, 23,168,153)
(  6, 14,174,170,138)(  8,203, 35, 56,211)(  9, 42, 67,194,157)
( 10, 22,165,144,163)( 11, 81,199, 54,193)( 13, 50,140,190,120)
( 15, 30, 91,197,179)( 16, 53,124,127, 62)( 17, 58,208, 39,171)
( 18,225,114, 45,180)( 19, 36,166,214,128)( 20,183, 26, 71,129)
( 21,182, 40,167,240)( 24, 74, 94, 96, 44)( 27,227,122, 32,206)
( 28,191,229, 31,169)( 29,207, 38, 51,130)( 34,101,231,159,228)
( 37,177, 64,217,132)( 41,136,125,148, 43)( 46,147,202,134,104)
( 47,111, 60, 99,146)( 48,103,205,181,204)( 52,201, 87,192,105)
( 55, 97,222,209,200)( 57,108,150,123, 59)( 61,187,239,119,172)
( 63,149,226,106, 79)( 65,213,115,221,176)( 66,139, 83, 73,118)
( 68,161,237, 98, 82)( 70,141, 84,160,100)( 72,232,186,224, 75)
( 76,135,216,109,110)( 85,164,230, 90,145)( 86,218,185, 89,219)
( 88,158,195,196,121)( 92, 95,113,112,184)( 93,116,133,198,188)
(126,175,215,154,156)(131,137,173,234,152)(155,235,189,236,220)
(162,233,212,238,210)],
[[[[]]],[[[1,-1],[2,1,1,-1,2,-1],[3,1,4,1,3,1,4,1]]],[[[1,1]]],[[[2,1,1,1,2,2,
1,-1,2,-1,1,-1]]],[[[1,-1,2,1,1,-1,2,-1]]],[[[2,1]]],[[[2,1,1,-1,2,-1,1,
1]]],[[[1,-1,2,1,1,1,2,1]]],[[[2,1,1,-1]]],[[[1,-1,2,2,1,-1,2,-2]],[[2,2,1,-1,
2,-2,1,-1]]],[[[1,-1],[3,1,2,-1,1,1,2,-1,3,1,2,1,1,1,2,1]],[[1,-1],[3,1,2,1,1,
-1,2,1,3,-1,2,-1,1,-1,2,-1]]],[[[1,1,2,1,1,-1,2,-2]]],[[[2,1,1,1,2,2,1,-1,2,
-1,1,-1]],[[1,1,2,-1],[3,1,2,-1,1,1,2,1,3,-1]]],[[[2,1,1,-1,2,-1,1,1,2,-1,1,
-1]]],[[[1,1,2,1,1,-1,2,1,1,-1,2,1]]],[[[1,-1,2,2,1,-1,2,-2]],[[1,-1,2,-1,1,1,
2,1]]],[[[1,-1],[1,1,2,-2,3,-1,2,1,1,1,2,1,3,1]],[[1,1,2,1,1,1,2,-1]]],[[[2,1,
1,-1,2,-2,1,-1]]],[[[1,-1],[1,1,2,-2,3,1,2,1,1,-1,2,1,3,1]],[[2,-2,1,-1,2,-1,
1,1]]],[[[1,-1],[3,1,2,2,1,1,2,-1,1,-1,2,-1,3,-1]],[[2,2,1,-1,2,2,1,1]]],[[[1,
-1,2,-2,1,-1,2,2]],[[1,1,2,1,1,1,2,-1]]],[[[2,2,1,-1,2,1,1,1,2,-1,1,1]],[[1,1,
2,-2,1,1,2,-2,1,-1]]],[[[1,-1],[1,1,2,2,3,1,2,1,1,1,2,-1,3,1]],[[1,-1,2,1,1,
-1,2,-2,1,1,2,-1]]],[[[1,1,2,-2,1,-1,2,2]],[[1,1,2,2,1,-1,2,-2]]],[[[1,-1],[1,
1,2,-2,3,1,2,1,1,-1,2,1,3,1]],[[1,1,2,1],[3,1,2,1,1,1,2,1,3,1]],[[2,2,1,1,2,
-1,1,-1,2,-1]]],[[[1,-1],[3,1,2,-2,1,-1,2,1,1,-1,2,1,3,-1]],[[1,-1,2,2,1,1,2,
2]]],[[[1,-1],[3,1,1,1,2,-2,3,1,2,1,1,-1,2,1]],[[1,-1],[2,1,1,-1,2,-1,3,1,2,
-1,1,1,2,-1,3,-1]]],[[[1,-1,2,2,1,1,2,2]],[[1,-1,2,-1,1,1,2,-1]]],[[[2,2,1,-1,
2,1,1,1,2,1]],[[2,-2,1,1,2,2]]],[[[1,-1,2,-2,1,-1,2,2]],[[2,1,1,-1,2,-1,1,
1]],[[2,2,1,1,2,-2,1,1]]],[[[2,1,1,-1,2,1,1,1,2,-1,1,-1,2,-1]],[[1,-1,2,-2,1,
1,2,1]]],[[[2,1,1,-1,2,-1,1,-1,2,-1,1,-1,2,-1]],[[2,2,1,-1],[1,-1,3,2]]],[[[1,
-1],[3,1,2,-1,1,-1,2,-2,1,1,2,-1,3,-1]],[[1,1,2,1,1,1,2,-1]]],[[[1,-1],[1,1,2,
-2,3,1,2,1,1,-1,2,1,3,1]],[[2,1,1,1],[3,1,2,-1,1,-1,2,1,3,1]]],[[[2,2,1,-1,2,
1,1,1,2,1]],[[1,-1,2,-1,1,1,2,-1]]],[[[1,-1],[1,1,2,-2,3,1,2,1,1,-1,2,1,3,
1]],[[1,1,2,1],[2,1,3,1,1,1,3,1]]],[[[1,1,2,-2,1,-1,2,2]],[[1,1,2,2,1,-1,2,
-2]],[[1,1,2,-1,1,1,2,1]]],[[[2,1,1,1,2,1,1,-1]],[[2,-1,1,1,2,1]]],[[[1,-1,2,
2,1,1,2,1]],[[2,-2,1,-1,2,-1,1,1]]],[[[2,2,1,1,2,-1,1,-1,2,-1]],[[1,1,2,-1,1,
-1]]],[[[1,-1],[1,1,2,2,3,1,2,1,1,1,2,-1,3,1]],[[2,1]]],[[[1,1,2,1,1,-1,2,-1,
1,1]],[[2,1,1,-1,2,1,1,1]],[[2,-1,1,1,2,1]]],[[[2,1,1,1,2,-1,1,-1,2,-1,1,
1]],[[2,1,1,1,2,1],[3,2,1,1]]],[[[2,1,1,-1,2,1]],[[2,-2,1,-1]]],[[[2,1,1,-1,2,
1]],[[1,-1,2,-2]]],[[[1,-1],[3,1,2,-2,1,-1,2,1,1,-1,2,1,3,-1]],[[1,1,2,2,1,-1,
2,1]]],[[[1,1]],[[2,1]]]]);
ACLT( "2.A7",
"sortperm",(23,25,26)(27,28,29)(33,34,37));


AFLT( "A6.2_3","A6.2^2",[1,4,5,6,8,12,13,15,19,22,18,28,30,32,39,41,45,46,52,
50,52,55,57,61,64] );

AFLT( "A6.2_3","U3(5)",[1,2,3,5,4,4,7,10,14,13,15,16,17,23,27,28,31,36,45,43,
42,51,55,69,75] );

AFLT( "A6.2_3","U3(5)",[1,2,3,5,4,4,8,10,14,13,15,16,18,22,27,28,30,35,43,42,
45,53,55,70,73] );

AFLT( "A6.2_3","U3(5)",[1,2,3,5,4,4,6,10,14,13,15,16,19,24,27,28,32,37,42,45,
43,52,55,71,74] );

AFLT( "A6.2_3","A10",[1,3,6,12,16,16,18,24,50,44,42,52,59,67,112,115,128,141,
191,191,191,247,270,375,401] );

AFLT( "A6.2_3","M22",[1,2,3,6,8,9,10,12,25,18,22,26,27,33,53,55,56,60,82,84,
83,101,109,138,146] );

AFLT( "A6.2_3","M11",[1,2,3,4,5,5,6,8,11,10,12,13,14,16,18,19,21,23,25,25,24,
30,31,36,38] );

AFLT( "A6.2_3","L3(4).2_1",[1,3,4,7,9,13,14,16,35,23,39,40,41,45,65,74,76,78,
100,97,96,110,125,144,146] );

AFLT( "A6.2_3","L3(4).2_1",[1,3,4,6,10,13,14,16,29,25,32,40,41,44,71,74,76,79,
96,98,99,109,124,142,147] );

AFLT( "A6.2_3","L3(4).2_1",[1,3,4,8,11,13,14,16,37,24,36,40,41,43,67,74,76,80,
100,102,99,111,119,143,148] );

AFLT( "A6.2_3","U4(3)",[1,2,4,7,10,11,12,18,28,21,26,35,40,47,69,72,84,94,144,
139,143,193,206,312,344] );

AFLT( "A6.2_3","U4(3)",[1,2,4,7,10,11,12,18,28,21,26,34,40,47,69,73,84,94,142,
140,141,192,205,313,345] );

AFLT( "A6.2^2","M12",[1,3,2,3,5,10,8,6,7,11,10,6,12,17,15,13,32,27,19,19,27,
22,25,26,28,33,31,35,37,38,39,44,48,59,52,58,58,53,59,51,62,64,68,66,67,70,73,
74,82,87,89,87,92,97,103,112,108,111,123,125,132,138,139,137,143] );

AFLT( "A6.2^2","M12",[1,3,2,3,5,10,8,7,6,11,10,7,12,15,17,13,32,33,20,20,33,
21,24,26,28,27,29,34,37,38,39,44,48,56,55,60,60,53,56,54,61,63,67,66,68,73,70,
74,83,88,90,88,92,97,104,110,107,109,122,124,131,140,142,141,144] );

AFLT( "A6.2^2","M22.2",[1,3,4,2,5,15,10,6,13,16,11,7,19,20,24,22,67,63,33,47,
58,39,62,48,51,55,59,68,71,70,69,74,84,157,151,155,154,118,159,149,162,163,
166,164,165,175,171,183,266,270,273,271,274,292,304,354,355,357,387,407,445,
464,466,467,476] );

AFLT( "A6.2^2","U3(5).2",[1,3,3,2,4,7,9,6,5,9,8,6,12,13,15,17,20,23,25,26,22,
19,24,27,27,21,24,28,34,29,32,35,43,52,53,49,48,50,51,47,54,55,56,60,57,65,64,
73,78,80,82,81,86,92,97,101,102,100,112,117,129,138,135,136,142] );

AFLT( "A6.2^2","U4(3).2_3",[1,2,3,2,6,8,7,12,12,9,8,11,13,16,16,19,26,41,31,
31,41,24,40,33,35,41,39,43,50,51,52,56,63,91,97,101,101,79,91,75,102,113,118,
116,117,133,133,128,172,194,196,189,204,223,246,275,271,273,336,350,411,451,
443,447,468] );

AFLT( "A6.2^2","U4(3).2_3",[1,3,3,2,5,7,9,10,11,9,9,12,13,15,17,20,27,38,30,
28,37,25,36,34,35,39,40,45,50,51,52,59,64,90,96,98,100,80,88,76,104,112,117,
116,118,134,135,129,171,186,197,193,204,224,244,276,270,272,335,349,412,450,
442,445,469] );

AFLT( "A6.2^2","L3(4).2^2",[1,2,5,4,6,8,13,9,12,16,13,15,18,19,23,22,28,42,49,
36,34,35,39,43,55,58,53,59,61,62,60,65,66,90,117,113,99,94,112,116,126,129,
130,131,132,138,134,135,169,182,183,185,189,197,199,218,220,224,241,249,270,
276,277,278,282] );

AFLT( "A6.2^2","S10",[1,5,4,6,9,20,17,32,34,26,28,32,36,48,47,57,97,85,143,
144,92,122,79,133,142,89,83,146,157,154,152,164,198,366,358,360,359,301,364,
351,369,386,395,404,396,421,422,443,647,686,680,686,722,770,850,934,993,1013,
1140,1247,1396,1480,1493,1494,1538] );

AFLT( "A6.2^2","2F4(2)'",[1,3,2,3,4,10,8,13,12,9,11,13,15,17,17,18,26,44,50,
49,46,37,40,34,36,47,45,52,55,54,53,58,59,117,113,121,123,96,119,80,126,128,
131,132,130,141,139,137,212,215,217,215,220,232,240,293,290,294,314,349,390,
412,407,410,421] );

AFLT( "A6.2^2","2F4(2)'",[1,3,2,3,4,11,8,13,12,9,10,13,15,16,16,18,25,46,49,
50,44,38,40,35,36,47,45,51,55,54,53,57,60,118,115,123,121,97,120,79,127,129,
131,132,130,140,142,138,213,216,218,216,220,231,239,292,291,295,315,350,391,
411,408,409,420] );

AFLT( "A6.2^2","U4(3).2_1",[1,2,4,3,6,13,16,11,10,19,16,12,20,23,29,31,41,59,
68,67,56,40,63,55,53,60,66,74,80,81,82,87,101,169,164,171,172,158,170,123,176,
185,209,208,210,222,221,230,333,339,354,343,377,401,470,516,540,538,644,670,
798,874,878,876,914] );

AFLT( "A6.2^2","U4(3).2_1",[1,2,4,3,6,13,16,11,10,19,16,12,20,23,29,31,41,59,
68,67,56,40,63,55,53,60,66,75,80,81,82,87,101,169,164,171,172,158,170,123,175,
184,209,208,210,222,221,230,333,340,355,342,377,40