1,1,1,2,2,1,1]],[[1,1,2,3]]],[[[1,3,2,-2,1,-1]],[[2,2,1,-2]]],[[[1,1,2,4]],[[
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,-2,
2,-1]],[[1,1,2,-1,1,1]]],[[[1,1,2,-2,1,2]],[[1,2],[3,1,2,1,3,1]]],[[[2,1,1,2,
2,1,1,1]],[[1,1,2,-2,1,2]]],[[[1,1,2,1,1,3]],[[1,1,2,-2,1,2]],[[2,2,1,-1,2,1,
1,1]]],[[[2,1,1,-1,2,1,1,2,2,-1]],[[1,2,2,-1,1,-1]]],[[[1,1,2,-1,1,2,2,1]],[[
2,1,1,-1,2,2,1,1]]],[[[2,1,1,-1,2,2,1,-1,2,-1]],[[1,2,2,1,1,-1,2,1]]],[[[2,4,
1,-1]],[[2,2,1,2]],[[1,1,2,2,1,1]]],[[[1,1,2,1,1,-2,2,-1]],[[1,-1,2,-2]]],[[[
1,1,2,4]],[[2,1,1,2,2,1,1,-1]],[[2,1,1,-1,2,2,1,1]]],[[[2,2,1,-1,2,1,1,1]],[[
1,2],[3,1,2,1,3,1]],[[1,1,2,-2,1,2]]],[[[1,-1,2,2,1,-1]],[[2,1,1,2]]],[[[1,1,
2,2,1,1]],[[2,1,1,-2]]],[[[2,2,1,2]],[[2,1,1,1,2,1]]],[[[1,3,2,1]],[[2,2,1,
2]],[[1,1,2,2,1,1]]],[[[1,1,2,-2,1,-1]],[[1,-1,2,-2]]],[[[2,1,1,1,2,1]],[[1,2,
2,-1]]],[[[2,-2]],[[1,1]]],[[[1,1]],[[2,1]]]]);

LIBTOM( "(3xA4):2",
[[1],[1,2],[1,3],[1,4],[1,5],[1,6],[1,7],[1,2,8],[1,2,9],[1,2,3,10],[1,2,4,
11],[1,3,4,12],[1,3,7,13],[1,3,6,14],[1,3,5,15],[1,2,3,8,9,10,16],[1,4,5,6,7,
17],[1,2,6,8,18],[1,2,5,8,19],[1,2,3,4,10,11,12,20],[1,2,4,8,11,21],[1,2,7,8,
22],[1,2,4,9,11,23],[1,3,4,5,6,7,12,13,14,15,17,24],[1,2,3,4,8,9,10,11,12,16,
20,21,23,25],[1,2,3,6,8,9,10,14,16,18,26],[1,2,3,7,8,9,10,13,16,22,27],[1,2,3,
5,8,9,10,15,16,19,28],[1,2,4,5,6,7,8,11,17,18,19,21,22,29],[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]],
0,
[[1],[1,1],[1,1],[1,1],[1,1],[1,1],[1,1],[1,3,1],[1,1,1],[1,1,2,1],[1,1,1,1],[
1,3,1,1],[1,3,1,1],[1,3,1,1],[1,3,1,1],[1,3,2,1,1,1,1],[1,1,1,1,1,1],[1,3,4,1,
1],[1,3,4,1,1],[1,1,6,1,3,1,2,1],[1,3,1,1,3,1],[1,3,4,1,1],[1,1,1,3,1,1],[1,9,
1,1,1,1,3,3,3,3,1,1],[1,3,6,1,1,3,3,3,2,3,1,1,1,1],[1,3,6,4,1,3,3,4,3,1,1],[1,
3,6,4,1,3,3,4,3,1,1],[1,3,6,4,1,3,3,4,3,1,1],[1,3,1,4,4,4,1,3,4,1,1,1,1,1],[1,
3,18,1,4,4,4,1,9,9,3,6,12,12,12,9,4,1,1,3,1,1,3,4,3,3,3,3,1,1]],
[1,2,2,3,3,3,3,4,4,4,6,6,6,6,6,8,9,12,12,12,12,12,12,18,24,24,24,24,36,72],
[30,25,10,30,24,24,24,30,16,16,25,20,13,14,15,16,24,30,30,25,30,30,25,24,25,
26,27,28,30,30],
[1,1,1,1,1,1,1,1,1,1,1,4,7,6,5,2,1,8,8,4,1,8,4,17,11,18,22,19,8,29],
[( 1,12)( 3,53)( 4,32)( 5, 8)( 7,13)( 9,15)(10,31)(11,43)(16,27)(17,35)(18,48)
(19,45)(20,23)(24,29)(26,51)(28,44)(30,54)(34,41)(36,56)(37,55)(39,57)(40,46)
(47,52)(49,50),( 1, 7,44,45)( 2,16,14,17)( 3,25)( 4,54,49,57)( 5,24,51,15)
( 6,13,22,19)( 8,11,26,55)( 9,37,29,43)(10,47,31,40)(12,34,28,41)(18,30,48,39)
(20,23)(21,32,33,50)(27,52,35,46)(36,38)(53,56),( 1,22)( 2,10)( 3,55)( 4,54)
( 5,56)( 6, 7)( 8,43)( 9,25)(11,36)(16,35)(17,52)(18,30)(19,28)(20,42)(21,50)
(26,37)(27,47)(29,38)(32,48)(33,39)(34,44)(40,46)(41,45)(51,53)],
[[[[]]],[[[2,-2]]],[[[1,1]]],[[[1,1,2,1,1,1,2,1]]],[[[3,1,1,1]]],[[[3,1],[4,1,
1,1,4,1],[5,1,2,1]]],[[[3,1,2,1]]],[[[2,1,1,1],[4,2,2,-1,1,1]],[[2,-2]]],[[[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]]],[[[1,1,2,1,1,1,2,1,1,1]],[[3,1]]],[[[1,1,2,1,1,1,2,1,1,1]],[[3,1],[4,1,1,
1,4,1]]],[[[1,1,2,1,1,1,2,1,1,1]],[[1,1,3,1]]],[[[1,1,2,1,1,1,2,1,1,1]],[[2,
1]]],[[[1,1,2,1,1,1,2,1]],[[1,1,3,1]]],[[[3,1],[4,1,1,1,4,1],[2,1,5,1]],[[3,
1],[4,1,1,1,4,1],[5,1,2,1]]],[[[2,-2]],[[1,1,3,1]]],[[[2,1,1,1,2,-1]],[[1,
1]]],[[[1,1,2,1]],[[2,1,1,1]]],[[[3,1,2,1]],[[2,1,3,1]]],[[[1,1,2,-1,1,1]],[[
2,1]]],[[[2,1,1,1,2,1]],[[1,1]],[[3,1,1,1]]],[[[2,-1]],[[1,1]]],[[[3,1],[4,1,
1,1,4,1]],[[2,1]]],[[[3,1]],[[2,-1]]],[[[1,1,3,1]],[[2,1]]],[[[2,1,1,1]],[[2,
1,3,1]]],[[[1,1]],[[2,1]],[[3,1]]]]);



LIBTOM( "3^2:Q8",
[[1],[1,2],[1,3],[1,2,4],[1,2,5],[1,2,6],[1,2,3,7],[1,2,4,5,6,8],[1,3,9],[1,2,
3,7,9,10],[1,2,3,4,7,9,10,11],[1,2,3,5,7,9,10,12],[1,2,3,6,7,9,10,13],[1,2,3,
4,5,6,7,8,9,10,11,12,13,14]],
0,[[1],[1,1],[1,1],[1,1,1],[1,1,1],[1,1,1],[1,3,1,1],[1,1,1,1,1,1],[1,4,1],[1,
9,4,12,1,1],[1,9,4,9,12,1,1,1],[1,9,4,9,12,1,1,1],[1,9,4,9,12,1,1,1],[1,9,4,9,
9,9,12,9,1,1,1,1,1,1]],
[1,2,3,4,4,4,6,8,9,18,36,36,36,72],
[14,8,10,8,8,8,7,8,14,14,14,14,14,14],
[1,1,1,1,1,1,3,2,1,9,9,9,9,10],
[( 1, 7,47,56)( 2,24,29,17)( 3,52,37, 8)( 4,31,35,11)( 5,34,32, 6)( 9,40)
(10,23,57,30)(12,16,33,28)(13,38,53,54)(14,18,26,19)(15,49)(20,44,55,51)
(21,50)(22,45,36,42)(25,46)(39,43,48,41),( 1,36,50,48)( 2,23,22,13)
( 3,18,52, 8)( 4,39,30,29)( 5,20)( 6,49)( 7,43,10,46)( 9,51,34,44)
(11,17,56,45)(12,38,24,21)(15,32,55,40)(16,47)(19,26,37,27)(25,53,28,35)
(31,42,57,33)(41,54)],
[[[[]]],[[[1,-2]]],[[[1,-2,2,-2]]],[[[2,1]]],[[[1,1]]],[[[2,1,1,1]]],[[[2,1,1,
-1,2,1,1,1]],[[1,1,2,1,1,1,2,1]]],[[[1,-2],[3,1,2,-1,3,1]],[[1,1,2,1]]],[[[1,
1,2,-2,1,1]],[[2,1,1,-1,2,1,1,1]]],[[[1,1,2,1,1,-1,2,-1]],[[2,-2]],[[1,1,2,1,
1,1,2,1]]],[[[1,-2]],[[2,1]]],[[[2,-2]],[[1,1]]],[[[2,1,1,-1]],[[1,-1,2,
-1]]],[[[1,1]],[[2,1]]]]);


LIBTOM( "19:3",
[[1],[1,2],[1,3],[1,2,3,4]],
0,[[1],[1,1],[1,1],[1,19,1,1]],
[1,3,19,57],
[4,2,4,4],
[1,1,1,3],
[( 1,29,49)( 2,57,26)( 3,43,14)( 4,41,31)( 5,15,33)( 6,27,24)( 7,19,28)
( 8,38,10)( 9,40,23)(11,25,16)(12,18,53)(17,35,30)(20,22,32)(21,37,42)
(34,39,44)(36,52,54)(45,51,46)(48,55,50),( 1,21, 4,42,32,46,37,48,20,51,55,49,
 50,41,31,45,13,22,29)( 2,47,54, 3,14,24,53,27,36,26, 6,33,52,57, 5,43,15,12,
 18)( 7,19,39,56,16,35,17,23,28,40,11,34, 9,38,25,44,10,30, 8)],
[[[[]]],[[[1,1]]],[[[2,2]]],[[[1,1]],[[2,1]]]]);


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