tmalt1mx.tom

GAP源码

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


LIBTOM( "(A5xA5):4",
[[1],[1,2],[1,3],[1,4],[1,5],[1,6],[1,2,7],[1,4,8],[1,2,4,9],[1,2,10],[1,2,3,
11],[1,4,12],[1,2,4,13],[1,3,4,14],[1,3,15],[1,16],[1,17],[1,2,5,18],[1,3,5,
19],[1,3,5,20],[1,3,6,21],[1,2,5,22],[1,4,5,23],[1,3,6,24],[1,4,6,25],[1,2,4,
7,9,13,26],[1,2,4,9,12,27],[1,2,3,4,9,11,14,28],[1,2,4,8,9,13,29],[1,2,3,7,10,
11,30],[1,2,4,9,10,31],[1,2,3,4,10,11,13,32],[1,4,12,33],[1,3,4,14,15,34],[1,
3,4,8,12,14,35],[1,5,6,36],[1,2,16,37],[1,4,16,38],[1,2,16,39],[1,4,17,40],[1,
2,5,7,41],[1,2,5,7,22,42],[1,2,3,5,11,18,19,20,43],[1,2,6,7,44],[1,3,6,15,21,
45],[1,2,3,5,11,19,22,46],[1,2,4,5,13,22,23,47],[1,2,5,10,22,48],[1,2,4,5,9,
18,22,23,49],[1,2,3,5,11,20,22,50],[1,2,5,10,22,51],[1,3,4,6,14,21,24,25,52],[
1,3,4,5,14,19,20,23,53],[1,4,6,8,54],[1,3,6,15,21,55],[1,5,16,56],[1,2,4,7,8,
9,13,26,29,57],[1,2,3,4,8,9,11,12,13,14,27,28,29,35,58],[1,2,4,8,9,10,13,29,
31,59],[1,2,3,4,7,9,10,11,13,14,26,28,30,31,32,60],[1,2,3,4,9,11,14,15,28,34,
61],[1,2,4,9,12,27,33,62],[1,2,4,7,9,10,12,13,26,27,31,63],[1,3,5,6,20,24,36,
64],[1,4,5,6,23,25,36,65],[1,3,5,6,19,21,36,66],[1,3,5,6,19,20,36,67],[1,2,5,
6,18,22,36,68],[1,2,7,16,39,69],[1,2,10,16,37,70],[1,2,4,13,16,38,39,71],[1,2,
4,9,16,37,38,39,72],[1,4,12,16,38,73],[1,4,12,17,40,74],[1,2,4,5,7,9,13,18,22,
23,26,42,47,49,75],[1,2,3,5,7,10,11,20,30,41,76],[1,2,4,5,7,9,13,22,26,41,
77],[1,2,3,5,7,10,11,19,22,30,42,46,51,78],[1,2,3,4,5,9,11,14,18,19,20,22,23,
28,43,46,49,50,53,79],[1,2,4,5,9,10,18,22,23,31,48,49,51,80],[1,2,3,4,5,10,11,
13,19,22,23,32,46,47,48,81],[1,2,3,4,5,10,11,13,20,22,23,32,47,50,51,82],[1,2,
3,5,7,10,11,20,22,30,42,48,50,83],[1,2,3,6,7,10,11,24,30,44,84],[1,3,4,6,8,12,
14,24,35,54,85],[1,3,4,6,14,15,21,24,25,34,45,52,55,86],[1,16,17,87],[1,4,5,
16,23,38,56,88],[1,2,5,16,22,37,56,89],[1,2,5,16,18,39,56,90],[1,2,3,4,7,8,9,
10,11,12,13,14,26,27,28,29,30,31,32,35,57,58,59,60,63,91],[1,2,3,4,8,9,11,12,
13,14,27,28,29,33,35,58,62,92],[1,2,3,4,8,9,11,12,13,14,15,27,28,29,34,35,58,
61,93],[1,2,5,6,7,22,36,41,42,44,94],[1,3,4,5,6,14,19,20,23,25,36,53,65,67,
95],[1,3,4,5,6,14,19,20,21,23,24,25,36,52,53,64,65,66,96],[1,2,4,5,6,9,18,22,
23,25,36,49,65,68,97],[1,2,3,5,6,11,18,19,20,22,24,36,43,50,64,67,68,98],[1,3,
5,6,15,19,21,36,45,55,66,99],[1,3,5,6,15,20,24,36,64,100],[1,2,3,5,6,11,18,19,
20,21,22,36,43,46,66,67,68,101],[1,2,4,7,9,13,16,26,37,38,39,69,71,72,102],[1,
2,4,9,12,16,27,37,38,39,72,73,103],[1,2,4,9,10,16,31,37,38,39,70,72,104],[1,2,
4,5,7,8,9,13,22,26,29,41,42,57,77,105],[1,2,4,6,7,8,9,13,26,29,44,54,57,106],[
1,2,3,4,5,7,9,10,11,13,14,20,22,26,28,30,31,32,41,50,60,76,77,107],[1,2,4,5,7,
9,10,12,13,22,26,27,31,41,48,63,77,108],[1,2,3,4,5,7,9,10,11,13,14,18,19,20,
22,23,26,28,30,31,32,42,43,46,47,48,49,50,51,53,60,75,78,79,80,81,82,83,109],[
1,4,16,17,38,40,87,110],[1,2,16,17,37,39,87,111],[1,2,5,7,16,18,37,41,112],[1,
2,5,7,16,39,41,56,69,113],[1,2,5,10,16,22,37,51,56,70,89,114],[1,2,5,10,16,22,
37,48,56,70,89,115],[1,4,6,8,17,25,40,54,116],[1,2,4,5,9,16,18,22,23,37,38,39,
49,56,72,88,89,90,117],[1,2,3,4,7,8,9,10,11,12,13,14,15,26,27,28,29,30,31,32,
33,34,35,57,58,59,60,61,62,63,91,92,93,118],[1,2,3,5,6,7,10,11,20,22,24,30,36,
41,42,44,48,50,64,76,83,84,94,119],[1,2,4,5,6,7,9,13,18,22,23,26,36,41,42,44,
47,49,68,75,77,94,120],[1,2,3,4,5,6,9,11,14,18,19,20,21,22,23,24,25,28,36,43,
46,49,50,52,53,64,65,66,67,68,79,95,96,97,98,101,121],[1,2,3,5,6,7,10,11,19,
20,22,30,36,41,42,44,46,51,67,76,78,94,122],[1,3,4,5,6,14,15,19,20,21,23,24,
25,34,36,52,53,64,65,66,96,100,123],[1,3,4,5,6,14,15,19,20,21,23,24,25,34,36,
45,52,53,55,64,65,66,86,96,99,124],[1,2,4,7,9,10,12,13,16,26,27,31,37,38,39,
63,69,70,71,72,73,102,103,104,125],[1,2,3,4,5,7,8,9,10,11,12,13,14,20,22,26,
27,28,29,30,31,32,35,41,42,48,50,57,58,59,60,63,76,77,83,91,105,107,108,126],[
1,2,3,4,6,7,8,9,10,11,12,13,14,24,26,27,28,29,30,31,32,35,44,54,57,58,59,60,
63,84,85,91,106,127],[1,4,12,16,17,38,40,73,87,110,128],[1,2,4,9,16,17,37,38,
39,40,72,87,110,111,129],[1,4,12,16,17,38,40,73,74,87,110,130],[1,2,3,5,7,10,
11,16,18,19,20,30,37,41,43,70,76,112,131],[1,2,4,5,7,9,13,16,18,22,23,26,37,
38,39,41,49,72,77,112,132],[1,2,4,5,7,9,13,16,22,26,37,38,39,41,56,69,71,72,
77,89,102,113,133],[1,2,4,5,9,10,16,18,22,23,31,37,38,39,48,49,51,56,70,72,80,
88,89,90,104,114,115,117,134],[1,3,4,6,8,12,14,17,21,24,25,35,40,52,54,74,85,
116,135],[1,2,4,5,6,7,8,9,13,22,26,29,36,41,42,44,54,57,77,94,105,106,136],[1,
2,3,4,5,6,7,9,10,11,13,14,18,19,20,22,23,24,26,28,30,31,32,36,41,42,43,44,46,
47,48,49,50,51,53,60,64,67,68,75,76,77,78,79,80,81,82,83,84,94,98,107,109,119,
120,122,137],[1,2,3,4,5,6,9,11,14,15,18,19,20,21,22,23,24,25,28,34,36,43,45,
46,49,50,52,53,55,61,64,65,66,67,68,79,86,95,96,97,98,99,100,101,121,123,124,
138],[1,2,5,6,7,16,18,22,36,37,41,42,44,56,68,89,94,112,139],[1,4,12,16,17,33,
38,40,73,74,87,110,130,140],[1,4,12,16,17,33,38,40,73,74,87,110,130,141],[1,2,
4,9,12,16,17,27,37,38,39,40,72,73,74,87,103,110,111,128,129,130,142],[1,2,4,5,
7,8,9,13,16,18,22,23,26,29,37,38,39,41,42,47,49,57,69,71,72,75,77,102,105,112,
132,143],[1,2,4,5,7,9,10,12,13,16,18,22,23,26,27,31,37,38,39,41,48,49,51,63,
72,73,77,80,103,108,112,132,144],[1,2,3,4,5,7,9,10,11,13,14,16,18,19,20,22,23,
26,28,30,31,32,37,38,39,41,43,46,49,50,53,60,70,72,76,77,79,104,107,112,131,
132,145],[1,2,4,5,7,9,10,12,13,16,22,26,27,31,37,38,39,41,48,56,63,69,70,71,
72,73,77,89,102,103,104,108,113,115,125,133,146],[1,2,3,4,5,6,7,8,9,10,11,12,
13,14,20,22,24,26,27,28,29,30,31,32,35,36,41,42,44,48,50,54,57,58,59,60,63,64,
76,77,83,84,85,91,94,105,106,107,108,119,126,127,136,147],[1,2,5,7,16,17,18,
37,39,41,56,69,87,90,111,112,113,148],[1,2,3,5,6,7,10,11,16,18,19,20,22,24,30,
36,37,41,42,43,44,48,50,56,64,67,68,70,76,83,84,89,94,98,112,115,119,131,139,
149],[1,2,4,5,6,7,9,13,16,18,22,23,25,26,36,37,38,39,41,42,44,47,49,56,65,68,
72,75,77,88,89,90,94,97,112,117,120,132,139,150],[1,2,3,5,6,7,10,11,16,18,19,
20,21,22,30,36,37,41,42,43,44,46,51,56,66,67,68,70,76,78,89,94,101,112,114,
122,131,139,151],[1,2,4,9,12,16,17,27,33,37,38,39,40,62,72,73,74,87,103,110,
111,128,129,130,140,141,142,152],[1,2,3,4,5,7,8,9,10,11,12,13,14,16,18,19,20,
22,23,26,27,28,29,30,31,32,35,37,38,39,41,42,43,46,47,48,49,50,51,53,57,58,59,
60,63,69,70,71,72,73,75,76,77,78,79,80,81,82,83,91,102,103,104,105,107,108,
109,112,125,126,131,132,143,144,145,153],[1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,
20,22,24,26,27,28,29,30,31,32,33,34,35,36,41,42,44,48,50,54,57,58,59,60,61,62,
63,64,76,77,83,84,85,91,92,93,94,100,105,106,107,108,118,119,126,127,136,147,