tmlin2a.tom

GAP源码

1,2,1]]],[[[1,1,2,1],[2,2,3,2,2,1,3,1]],[[1,1,2,1],[2,2],[4,1,3,1,4,1,3,
1]]],[[[2,1,1,1],[2,2,3,-2,2,-1,1,1]],[[1,1,2,1],[2,2,3,2,2,1,3,1]]],[[[2,
1]]],[[[1,1,2,1],[2,1,1,1],[2,1,3,1,4,1,2,1,4,1,3,-1],[5,2]],[[1,1,2,1],[1,1,
2,-1,3,-3,2,-1]]],[[[1,1,2,1],[3,1,2,1,1,1,2,-2,3,1]],[[1,1,2,-4,1,1,2,
-1]]],[[[1,1,2,-1],[3,2,1,1,2,2,1,1]],[[2,1,1,1,2,1]]],[[[2,1,1,1],[2,2,3,-2,
2,-1,1,1]],[[1,1,2,1],[2,2],[4,1,3,1,4,1,3,1]]],[[[1,1,2,1],[2,2],[4,1,3,2,4,
1]],[[2,1,1,1,2,1]]],[[[1,1,2,-1,1,1,2,-2,1,1]],[[2,1,1,1,2,1]]],[[[2,2],[3,1,
1,1,2,1,3,1,1,1,2,-1]],[[2,1,1,1,2,1]]],[[[2,2],[3,1,1,1,2,1,3,1,1,1,2,-1]],[[
1,1,2,-1,1,1,2,-2,1,1]],[[2,1,1,1,2,1]]],[[[2,1,1,1],[3,1,1,1,2,1,3,-1,2,
-1]],[[1,1,2,1],[2,1,1,1,2,1,3,2]]],[[[1,1]],[[2,1]]]]);

LIBTOM( "L2(25).2_2",
[[1],[1,2],[1,3],[1,4],[1,5],[1,4,6],[1,4,7],[1,2,4,8],[1,4,9],[1,3,4,10],[1,
2,3,4,11],[1,4,12],[1,13],[1,14],[1,4,5,15],[1,3,5,16],[1,2,5,17],[1,2,5,18],[
1,3,5,19],[1,4,5,20],[1,4,5,21],[1,2,3,4,7,8,11,22],[1,2,3,4,6,10,11,23],[1,2,
3,4,8,9,10,24],[1,2,4,6,8,12,25],[1,4,6,7,9,26],[1,2,3,4,9,11,12,27],[1,3,4,7,
10,12,28],[1,2,13,29],[1,3,14,30],[1,2,14,31],[1,4,14,32],[1,4,13,33],[1,3,13,
34],[1,4,5,9,15,35],[1,4,5,7,15,20,36],[1,3,4,5,10,15,19,37],[1,4,5,7,38],[1,
4,5,6,39],[1,2,3,4,5,11,15,16,17,40],[1,4,5,6,15,21,41],[1,4,5,12,15,42],[1,2,
4,5,8,15,18,43],[1,2,3,4,5,11,16,18,20,44],[1,3,4,5,10,16,19,21,45],[1,2,3,4,
5,11,17,19,21,46],[1,2,4,5,8,17,18,20,47],[1,48],[1,2,3,4,6,7,8,9,10,11,12,22,
23,24,25,26,27,28,49],[1,4,12,13,33,50],[1,2,3,4,11,14,30,31,32,51],[1,4,9,14,
32,52],[1,2,3,4,11,13,29,33,34,53],[1,4,9,13,33,54],[1,4,12,14,32,55],[1,2,4,
5,6,8,12,15,18,21,25,41,42,43,56],[1,4,5,6,7,9,20,26,39,57],[1,4,5,6,7,9,15,
20,21,26,35,36,41,58],[1,3,4,5,7,10,12,16,28,38,59],[1,2,3,4,5,9,11,12,15,16,
17,27,35,40,42,60],[1,2,3,4,5,7,8,11,15,16,17,18,20,22,36,40,43,44,47,61],[1,
2,3,4,5,8,9,10,15,18,19,24,35,37,43,62],[1,2,3,4,5,7,8,11,19,22,38,63],[1,2,3,
4,5,6,10,11,18,23,39,64],[1,2,4,5,6,8,12,17,25,39,65],[1,4,5,6,7,9,21,26,38,
66],[1,2,3,4,5,6,10,11,15,16,17,19,21,23,37,40,41,45,46,67],[1,3,4,5,7,10,12,
15,19,20,28,36,37,42,68],[1,13,14,69],[1,4,48,70],[1,2,3,4,9,11,12,14,27,30,
31,32,51,52,55,71],[1,2,3,4,9,11,12,13,27,29,33,34,50,53,54,72],[1,2,3,4,5,6,
7,8,9,10,11,12,17,18,20,22,23,24,25,26,27,28,39,47,49,57,64,65,73],[1,2,3,4,5,
6,7,8,9,10,11,12,16,19,21,22,23,24,25,26,27,28,38,45,49,59,63,66,74],[1,2,3,4,
5,6,7,8,9,10,11,12,15,16,17,18,19,20,21,22,23,24,25,26,27,28,35,36,37,40,41,
42,43,44,45,46,47,49,56,58,60,61,62,67,68,75],[1,4,13,14,32,33,69,76],[1,2,13,
14,29,31,69,77],[1,3,13,14,30,34,69,78],[1,4,12,48,70,79],[1,4,5,6,14,20,32,
39,80],[1,4,5,7,13,21,33,38,81],[1,5,13,14,69,82],[1,4,9,13,14,32,33,52,54,69,
76,83],[1,2,3,4,11,13,14,29,30,31,32,33,34,51,53,69,76,77,78,84],[1,4,12,13,
14,32,33,50,55,69,76,85],[1,4,5,6,7,9,14,15,20,26,32,36,39,52,57,80,86],[1,2,
3,4,5,6,10,11,14,16,18,20,23,30,31,32,39,44,51,64,80,87],[1,2,3,4,5,7,8,11,13,
17,19,21,22,29,33,34,38,46,53,63,81,88],[1,2,4,5,6,8,12,14,17,18,20,25,32,39,
47,55,65,80,89],[1,3,4,5,7,10,12,13,16,19,21,28,33,38,45,50,59,81,90],[1,4,5,
6,7,9,13,15,21,26,33,38,41,54,66,81,91],[1,2,5,13,14,17,29,31,69,77,82,92],[1,
3,5,13,14,16,30,34,69,78,82,93],[1,4,5,13,14,15,32,33,69,76,82,94],[1,2,3,4,9,
11,12,13,14,27,29,30,31,32,33,34,50,51,52,53,54,55,69,71,72,76,77,78,83,84,85,
95],[1,2,3,4,5,6,7,8,9,10,11,12,14,15,16,17,18,20,22,23,24,25,26,27,28,30,31,
32,36,39,40,43,44,47,49,51,52,55,57,61,64,65,71,73,80,86,87,89,96],[1,2,3,4,5,
6,7,8,9,10,11,12,13,15,16,17,19,21,22,23,24,25,26,27,28,29,33,34,37,38,40,41,
45,46,49,50,53,54,59,63,66,67,72,74,81,88,90,91,97],[1,2,3,4,5,11,13,14,15,16,
17,29,30,31,32,33,34,40,51,53,69,76,77,78,82,84,92,93,94,98],[1,4,5,9,13,14,
15,32,33,35,52,54,69,76,82,83,94,99],[1,4,5,12,13,14,15,32,33,42,50,55,69,76,
82,85,94,100],[1,2,3,4,5,9,11,12,13,14,15,16,17,27,29,30,31,32,33,34,35,40,42,
50,51,52,53,54,55,60,69,71,72,76,77,78,82,83,84,85,92,93,94,95,98,99,100,
101],[1,4,5,6,7,9,13,14,15,20,21,26,32,33,35,36,38,39,41,48,52,54,57,58,66,69,
70,76,80,81,82,83,86,91,94,99,102],[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,48,49,50,51,52,53,54,55,56,57,58,59,60,61,62,63,64,65,66,67,68,69,
70,71,72,73,74,75,76,77,78,79,80,81,82,83,84,85,86,87,88,89,90,91,92,93,94,95,
96,97,98,99,100,101,102,103]],
0,
[[1],[1,1],[1,1],[1,1],[1,1],[1,3,1],[1,3,1],[1,2,1,1],[1,1,1],[1,2,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],[1,1,1,1],[
1,3,1,1],[1,3,1,1],[1,3,1,3,1,3,3,1],[1,1,3,3,1,3,3,1],[1,2,2,1,1,1,1,1],[1,2,
3,1,1,1,1],[1,5,1,1,1,1],[1,1,1,1,1,1,1,1],[1,2,3,1,1,1,1],[1,5,1,1],[1,5,1,
1],[1,1,1,1],[1,5,1,1],[1,5,1,1],[1,1,1,1],[1,1,1,1,1,1],[1,7,1,3,1,2,1],[1,2,
1,1,1,1,2,1],[1,3,4,1,1],[1,3,4,1,1],[1,3,3,1,1,3,1,1,1,1],[1,7,1,3,1,2,1],[1,
1,1,3,1,1],[1,2,1,1,1,1,2,1],[1,1,3,3,1,3,1,1,1,1],[1,4,3,1,3,1,1,1,1],[1,3,1,
3,1,3,1,1,1,1],[1,4,3,1,3,1,1,1,1],[1,1],[1,3,3,5,1,1,3,1,3,5,1,1,1,1,1,1,1,1,
1],[1,5,5,1,1,1],[1,1,5,5,5,1,1,1,1,1],[1,5,5,1,1,1],[1,5,1,5,5,1,1,1,1,1],[1,
5,5,1,1,1],[1,5,5,1,1,1],[1,2,7,1,3,1,3,1,2,2,3,1,1,1,1],[1,9,4,1,3,3,4,3,1,
1],[1,13,1,3,3,1,1,2,2,3,1,1,1,1],[1,6,3,4,1,3,3,4,3,1,1],[1,3,3,1,1,1,3,3,1,
1,1,3,1,1,1,1],[1,5,3,7,1,3,7,9,1,1,1,2,2,3,1,1,1,2,2,1],[1,2,2,1,1,1,1,1,1,2,
2,1,1,1,1,1],[1,3,1,3,4,1,3,3,4,1,1,1],[1,1,3,3,4,1,3,3,4,1,1,1],[1,6,3,4,1,3,
3,4,3,1,1],[1,9,4,3,1,3,4,3,1,1],[1,3,5,7,1,3,7,9,1,1,1,2,2,3,1,1,1,2,2,1],[1,
2,7,1,3,1,3,1,2,2,3,1,1,1,1],[1,3,3,1],[1,13,1,1],[1,1,5,5,5,5,5,1,5,1,1,1,1,
1,1,1],[1,5,1,5,5,5,5,1,5,1,1,1,1,1,1,1],[1,7,3,9,4,1,3,9,3,3,9,3,4,4,4,3,1,3,
3,3,3,3,1,4,3,1,1,1,1],[1,3,7,9,4,3,1,3,3,9,9,3,4,4,4,1,3,3,3,3,3,3,1,4,3,1,1,
1,1],[1,5,5,13,1,3,3,7,1,7,15,3,1,1,1,2,2,2,2,3,3,1,3,3,3,3,1,1,1,1,1,1,1,2,2,
2,2,3,1,1,1,1,1,1,1,1],[1,25,3,3,15,15,1,1],[1,5,3,3,1,5,1,1],[1,5,3,3,1,5,1,
1],[1,13,13,1,1,1],[1,15,10,5,6,10,6,5,1],[1,15,10,5,6,10,6,5,1],[1,25,3,3,1,
1],[1,25,25,3,3,15,15,15,15,1,1,1],[1,5,5,25,25,3,3,1,1,5,15,15,5,5,5,1,1,1,1,
1],[1,25,25,3,3,15,15,5,5,1,1,1],[1,25,10,5,15,15,6,10,20,15,6,10,5,6,5,1,1],[
1,1,15,15,10,5,15,15,6,10,10,10,5,6,6,6,5,10,6,5,1,1],[1,15,1,15,10,5,15,15,6,
10,10,10,5,6,6,6,5,10,6,5,1,1],[1,10,15,10,5,15,15,6,10,10,10,15,6,5,10,6,5,1,
1],[1,10,15,10,5,15,15,6,10,10,10,15,6,5,10,6,5,1,1],[1,25,10,15,5,15,6,10,20,
15,6,5,10,6,5,1,1],[1,15,25,3,3,25,3,15,1,3,1,1],[1,15,25,3,3,25,3,15,1,3,1,
1],[1,25,25,3,3,25,15,15,1,1,1,1],[1,5,5,25,25,25,25,3,3,25,1,1,5,15,15,5,5,5,
15,5,15,5,1,5,5,1,1,1,1,1,1,1],[1,11,15,25,10,5,15,25,15,15,45,15,6,10,10,10,
20,20,15,5,15,15,15,15,15,6,6,6,10,5,10,10,20,20,15,6,6,6,5,10,5,5,6,5,1,1,1,
1,1],[1,15,11,25,10,15,5,15,15,25,45,15,6,10,10,10,20,20,5,15,15,15,15,15,15,
6,6,6,10,5,10,10,20,20,15,6,6,6,5,5,5,10,6,5,1,1,1,1,1],[1,15,15,25,25,75,3,3,
25,25,25,3,3,15,15,15,15,25,15,15,1,1,3,3,1,3,1,1,1,1],[1,25,25,25,3,3,25,15,
15,25,15,15,1,1,1,1,1,1],[1,25,25,75,3,3,25,15,15,25,15,15,1,1,1,3,1,1],[1,15,
15,25,25,25,75,75,3,3,25,25,25,75,3,3,15,15,15,15,25,25,25,15,15,15,15,15,15,
25,1,15,15,1,3,3,1,1,3,3,1,1,1,3,1,1,1,1],[1,325,325,325,325,325,78,78,325,
650,650,975,390,390,325,325,325,325,325,300,390,390,325,325,325,26,300,26,65,
65,26,26,65,65,26,26,1],[1,65,65,325,325,325,325,325,325,325,975,975,78,78,
325,325,325,650,650,650,650,325,325,325,975,975,975,975,78,78,390,390,390,390,
325,325,325,325,325,325,325,325,325,650,650,650,650,300,975,390,390,390,390,
390,390,325,325,325,325,325,325,325,325,325,325,325,325,325,26,300,390,390,
325,325,325,26,78,78,300,65,65,26,26,78,78,65,65,65,65,65,65,26,26,26,78,65,
65,26,26,26,26,1,1]],
[1,2,2,2,3,4,4,4,4,4,4,4,5,5,6,6,6,6,6,6,6,8,8,8,8,8,8,8,10,10,10,10,10,10,12,
12,12,12,12,12,12,12,12,12,12,12,12,13,16,20,20,20,20,20,20,24,24,24,24,24,24,
24,24,24,24,24,24,24,25,26,40,40,48,48,48,50,50,50,52,60,60,75,100,100,100,
120,120,120,120,120,120,150,150,150,200,240,240,300,300,300,600,7800,15600],
[103,96,97,75,75,73,74,75,75,75,49,49,95,95,75,75,75,61,67,61,67,74,73,75,49,
49,49,49,95,95,71,71,72,72,75,75,75,74,73,75,75,75,75,61,67,67,61,79,49,72,71,
71,72,72,71,75,73,75,74,75,75,75,74,73,73,74,75,75,101,79,71,72,73,74,75,101,
95,95,79,96,97,101,101,95,95,96,96,97,96,97,97,101,101,101,95,96,97,101,101,
101,101,103,103],
[1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,5,5,1,1,5,5,1,1,4,4,4,1,4,13,14,1,14,13,1,1,5,
1,7,6,5,5,5,1,5,5,5,5,1,4,13,14,14,13,13,14,15,39,15,38,5,5,4,7,6,39,38,5,15,
1,48,14,13,39,38,15,69,13,14,48,80,81,69,69,69,69,80,80,81,80,81,81,82,82,69,
69,80,81,82,69,82,82,102,102],
[( 1,10,20)( 4,22,26)( 5,25,17)( 6, 8,23)( 7,14,16)( 9,24,19)(11,21,15)
(12,13,18),( 1,23,21,16,11,20,25,17, 7, 6)( 2, 8,14,18,26,19,12,10,15, 3)
( 4,24, 9, 5,22)],
[[[[]]],[[[1,-1,2,1,1,-1],[1,1,2,-1],[1,-1,4,2],[3,1,5,1],[6,1,3,-1,5,1,6,
1]]],[[[1,1,2,-1],[1,-1,3,2],[4,1,1,-1,2,1,1,-1,4,2]]],[[[1,-1,2,1,1,-1],[3,
-2]]],[[[1,-1,2,1,1,-1],[1,1,2,-1],[1,-1,4,2],[3,1,5,1,3,1,5,1]]],[[[1,-1,2,1,
1,-1],[1,1,2,-1],[1,-1,4,2],[3,-2,5,-2,3,-1,5,2,3,-1]],[[1,-1,2,1,1,-1],[1,1,
2,-1],[1,-1,4,2],[3,1,5,-1,3,1,5,1,3,-2]]],[[[1,-1,2,1,1,-1],[1,1,2,-1],[1,-1,
4,2],[3,-2],[6,1,5,1,6,1,5,-1,6,1]],[[1,-1,2,1,1,-1],[1,1,2,-1],[1,-1,4,2],[5,
1,3,-1,5,1],[6,1,3,-2,6,-1]]],[[[1,-1,2,1,1,-1],[1,1,2,-1],[1,-1,4,2],[3,1,5,
1],[5,1,3,-1,5,-1],[6,1,7,-1,6,1,7,-1]],[[1,-1,2,1,1,-1],[1,1,2,-1],[1,-1,4,
2],[3,1,5,1],[5,1,6,1,5,1,3,-1,5,-1,6,1]]],[[[1,-1,2,1,1,-1],[1,1,2,-1],[1,-1,
4,2],[3,1,5,2,3,1,5,-1]]],[[[1,1,2,-1],[1,-1,3,2],[4,1,1,-1,2,1,1,-1,4,2]],[[
1,1,2,-1],[1,-1,3,2],[4,3,1,-1,2,1,1,-1]]],[[[1,-1,2,1,1,-1],[1,1,2,-1],[1,-1,
4,2],[3,-1,5,-2,3,1,5,2]],[[1,1,2,-1],[1,-1,3,2],[4,2,1,-1,2,1,1,-1,4,1]]],[[[
1,-1,2,1,1,-1]]],[[[1,-1,2,1,1,-1],[1,1,2,-1],[1,-1,4,2],[3,1,5,-1,3,1,5,
-1]]],[[[1,-1,2,1,1,-1],[1,1,2,-1],[1,-1,4,2],[5,1,3,-1,5,-1,3,-1]]],[[[1,-1,
2,1,1,-1],[1,1,2,-1],[1,-1,4,2],[5,1,3,-1,5,-1,3,-2,5,1,3,-1]]],[[[1,-1,2,1,1,
-1],[1,1,2,-1],[1,-1,4,2],[3,-2],[6,1,3,1,5,3,6,1]],[[1,1,2,-1],[1,-1,3,2],[4,
3,1,-1,2,1,1,-1]]],[[[1,-1,2,1,1,-1],[1,1,2,-1],[1,-1,4,2],[3,-2,5,2,3,1,5,-1,
3,-1,5,2,3,-1]],[[1,-1,2,1,1,-1],[1,1,2,-1],[1,-1,4,2],[5,1,3,-1,5,-1,3,1,5,2,
3,-1,5,1,3,-2]]],[[[1,1,2,-1],[1,-1,3,2],[4,3,1,1,2,-1,1,1]]],[[[1,1,2,-1],[1,
-1,3,2],[1,-1,2,1,1,-1,4,1]]],[[[1,-1,2,1,1,-1],[1,1,2,-1],[1,-1,4,2],[3,1,5,
1],[3,-2,6,-1,5,-1,6,1,5,-1]],[[1,-1,2,1,1,-1],[1,1,2,-1],[1,-1,4,2],[3,-2,5,
2,3,-1,5,2,3,1]]],[[[1,-1,2,1,1,-1],[1,1,2,-1],[1,-1,4,2],[5,1,3,-1,5,1],[6,1,
3,-2,6,-1]],[[1,-1,2,1,1,-1],[1,1,2,-1],[1,-1,4,2],[3,1,5,-1],[6,1,3,-2,6,
-1]]],[[[1,-1,2,1,1,-1],[1,1,2,-1],[1,-1,4,2],[3,1,5,1],[5,1,3,-1,5,1,6,1,3,
-2,5,1,3,1,6,1]],[[1,-1,2,1,1,-1],[1,1,2,-1],[1,-1,4,2],[3,1,5,-1,3,1,5,1,3,
-2]],[[1,-1,2,1,1,-1],[1,1,2,-1],[1,-1,4,2],[3,-2,5,2,3,1,5,-1,3,-1,5,2,3,
-1]]],[[[1,1,2,-1],[1,-1,3,2],[4,1,1,-1,2,1,1,-1,4,2]],[[1,1,2,-1],[1,-1,3,
2],[4,2,1,-1,2,1,1,-1,4,1]],[[1,1,2,-1],[1,-1,3,2],[4,3,1,-1,2,1,1,-1]]],[[[1,
-1,2,1,1,-1],[1,1,2,-1],[1,-1,4,2],[3,-2],[5,2,6,1,5,1,3,-1,5,1,6,1]],[[1,-1,
2,1,1,-1],[1,1,2,-1],[1,-1,4,2],[5,1,3,1],[6,1,5,1,6,-1,3,-2]]],[[[1,-1,2,1,1,
-1],[1,1,2,-1],[1,-1,4,2],[3,-2],[6,1,5,1,3,-1,5,-1,6,1,5,-2]],[[1,-1,2,1,1,
-1],[1,1,2,-1],[1,-1,4,2],[5,1,3,-1,5,1],[6,1,3,-2,6,-1]]],[[[1,-1,2,1,1,-1],[
1,1,2,-1],[1,-1,4,2],[3,-2],[6,1,3,1,5,-2,6,1,5,2,3,1]],[[1,-1,2,1,1,-1],[1,1,
2,-1],[1,-1,4,2],[5,1,3,1],[6,1,5,-1,3,-2,5,1,6,-1]]],[[[1,-1,2,1,1,-1],[1,1,
2,-1],[1,-1,4,2],[3,-2],[6,1,5,1,3,-1,5,1,6,1,5,2]],[[1,-1,2,1,1,-1],[1,1,2,
-1],[1,-1,4,2],[3,-2],[6,1,5,-2,6,1,5,2,3,-1]]],[[[1,-1,2,1,1,-1],[1,1,2,-1],[
1,-1,4,2],[3,1,5,-3,3,-2]],[[1,-1,2,1,1,-1],[1,1,2,-1],[1,-1,4,2],[5,1,3,-2,5,
-1]]],[[[1,-1,2,1,1,-1],[1,1,2,-1],[1,-1,4,2],[3,1,5,1],[3,-2,5,1,3,-1,5,-1,6,
-1,5,-1,6,-1]],[[1,-1,2,1,1,-1],[1,1,2,-1],[1,-1,4,2],[3,-2],[6,1,3,1,5,2,6,1,
5,1,3,1,5,-1]]],[[[1,-1,2,1,1,-1],[1,1,2,-1],[1,-1,4,2],[3,-2],[5,1,3,-1,5,1,
6,1,5,2,6,1]],[[1,-1,2,1,1,-1],[1,1,2,-1],[1,-1,4,2],[3,-2],[6,1,3,1,5,3,6,
1]]],[[[1,-1,2,1,1,-1],[1,1,2,-1],[1,-1,4,2],[5,2,3,-2,5,1,3,1]]],[[[1,-1,2,1,
1,-1],[1,1,2,-1],[1,-1,4,2],[3,1,5,-1,3,-2,5,1,3,-1,5,-1]],[[1,-1,2,1,1,-1],[
1,1,2,-1],[1,-1,4,2],[3,-1,5,-2,3,1,5,2]]],[[[1,-1,2,1,1,-1],[1,1,2,-1],[1,-1,
4,2],[3,-2],[5,1,3,-1,5,1],[6,1,7,-1,6,1,7,-1]],[[1,-1,2,1,1,-1],[1,1,2,-1],[
1,-1,4,2],[3,-2,5,2,3,-1,5,2,3,1]]],[[[1,1,2,-1],[1,-1,3,2],[4,1,1,1,2,-1,1,
1]]],[[[1,-1,2,1,1,-1],[1,1,2,-1],[1,-1,4,2],[3,-2,5,2]]],[[[1,-1,2,1,1,-1],[
1,1,2,-1],[1,-1,4,2],[3,-2],[6,1,5,2,3,-1,5,-1,3,1,5,-1,6,1]],[[1,-1,2,1,1,
-1],[1,1,2,-1],[1,-1,4,2],[5,2,3,-1,5,-1,3,1,5,-1]]],[[[1,-1,2,1,1,-1],[1,1,2,
-1],[1,-1,4,2],[3,-2],[3,1,5,1,6,1,5,2,6,1]],[[1,-1,2,1,1,-1],[1,1,2,-1],[1,
-1,4,2],[3,1,5,-1,3,1,5,1,3,-2]]],[[[1,-1,2,1,1,-1],[1,1,2,-1],[1,-1,4,2],[3,
-2],[5,1,3,-1,5,1],[6,1,7,-1,6,1,7,1]],[[1,-1,2,1,1,-1],[1,1,2,-1],[1,-1,4,
2],[3,-2],[5,1,3,-1,5,1],[7,1,6,1,7,-1,6,1]]],[[[1,-1,2,1,1,-1],[1,1,2,-1],[1,
-1,4,2],[5,1,3,1],[6,1,5,-1,3,-2,6,1]],[[1,-1,2,1,1,-1],[1,1,2,-1],[1,-1,4,
2],[5,2,3,-1,5,2,3,1]]],[[[1,-1,2,1,1,-1],[1,1,2,-1],[1,-1,4,2],[3,-2],[6,1,3,
1,5,3,6,1]],[[1,1,2,-1],[1,-1,3,2],[4,3,1,-1,2,1,1,-1]],[[1,-1,2,1,1,-1],[1,1,
2,-1],[1,-1,4,2],[5,2,3,-1,5,-1,3,1,5,-1]]],[[[1,-1,2,1,1,-1],[1,1,2,-1],[1,
-1,4,2],[3,-2],[6,1,5,2,3,-2,5,-2,6,1]],[[1,-1,2,1,1,-1],[1,1,2,-1],[1,-1,4,
2],[3,-2],[5,-1,6,1,5,1]]],[[[1,-1,2,1,1,-1],[1,1,2,-1],[1,-1,4,2],[3,-2],[6,
1,3,1,5,-1,6,1,5,1,3,-1,5,1]],[[1,1,2,-1],[1,-1,3,2],[1,1,2,-1,1,1,4,2]]],[[[
1,-1,2,1,1,-1],[1,1,2,-1],[1,-1,4,2],[3,-2],[5,1,3,1,5,-1,6,1,5,-2,6,1]],[[1,
-1,2,1,1,-1],[1,1,2,-1],[1,-1,4,2],[5,2,3,-1,5,-2,3,1]]],[[[1,1,2,-1],[1,-1,3,
2],[4,2,1,1,2,-1,1,1,4,1]],[[1,1,2,-1],[1,-1,3,2],[4,2,1,-1,2,1,1,-1,4,
1]]],[[[1,-1,2,1,1,-1],[1,1,2,-1],[1,-1,4,2],[3,-2],[6,1,5,1,3,-1,5,1,6,1,5,
2]],[[1,-1,2,1,1,-1],[1,1,2,-1],[1,-1,4,2],[3,-2],[5,-1,6,1,5,1]]],[[[1,-1,2,
1,1,-1],[1,1,2,-1],[1,-1,4,2],[3,-1,5,-2,3,1,5,2]],[[1,-1,2,1,1,-1],[1,1,2,
-1],[1,-1,4,2],[3,-1,5,1,3,1,5,-1]],[[1,1,2,-1],[1,-1,3,2],[4,2,1,-1,2,1,1,-1,
4,1]]],[[[1,-1,2,1,1,-1],[1,1,2,-1],[1,-1,4,2],[3,-2],[5,1,3,-1,5,1],[6,1,7,
-2,6,1]],[[1,-1,2,1,1,-1],[1,1,2,-1],[1,-1,4,2],[3,-2],[6,1,5,1,6,1,5,1,3,1,5,
-1]]],[[[1,1,2,-1],[1,-1,3,2],[4,2]]],[[[1,-1,2,1,1,-1],[1,1,2,-1],[1,-1,4,
2],[5,2,3,-1,5,-2,3,1]],[[1,-1,2,1,1,-1],[1,1,2,-1],[1,-1,4,2],[5,1,3,1,5,1,3,
-1,5,-2]],[[1,1,2,-1],[1,-1,3,2],[4,3,1,-1,2,1,1,-1]]],[[[1,-1,2,1,1,-1],[1,1,
2,-1],[1,-1,4,2],[3,-2],[6,1,5,-1,6,1,5,1,3,-1,5,-1,6,1]],[[1,-1,2,1,1,-1],[1,
1,2,-1],[1,-1,4,2],[3,-2],[5,1,3,-1,5,1],[6,1,7,-1,6,1,7,-1]]],[[[1,-1,2,1,1,
-1],[1,1,2,-1],[1,-1,4,2],[3,-2,5,2,3,-1,5,2,3,1]],[[1,1,2,-1],[1,-1,3,2],[4,
2,1,-1,2,1,1,-1,4,1]]],[[[1,-1,2,1,1,-1],[1,1,2,-1],[1,-1,4,2],[5,1,3,1],[6,1,
5,1,6,-1,3,-2]],[[1,-1,2,1,1,-1],[1,1,2,-1],[1,-1,4,2],[3,1,5,-1,3,-2,5,1,3,
-1,5,-1]]],[[[1,-1,2,1,1,-1],[1,1,2,-1],[1,-1,4,2],[3,-2],[6,1,5,2,3,-1,5,1,3,
-1,5,-1,6,1]],[[1,1,2,-1],[1,-1,3,2],[4,1,1,-1,2,1,1,-1,4,2]],[[1,-1,2,1,1,
-1],[1,1,2,-1],[1,-1,4,2],[3,1,5,2,3,-1,5,-2]]],[[[1,-1,2,1,1,-1],[1,1,2,-1],[
1,-1,4,2],[3,-2],[5,1,3,-1,5,1],[6,1,7,-1,6,1,7,-1]],[[1,-1,2,1,1,-1],[1,1,2,
-1],[1,-1,4,2],[5,1,3,1],[6,1,5,1,6,-1,3,-2]]],[[[1,-1,2,1,1,-1],[1,1,2,-1],[
1,-1,4,2],[3,-2],[6,1,5,-1,6,1,5,1,3,-1,5,-1,6,1]],[[1,-1,2,1,1,-1],[1,1,2,
-1],[1,-1,4,2],[3,1,5,-1,3,-2,5,1,3,-1,5,-1]]],[[[1,-1,2,1,1,-1],[1,1,2,-1],[
1,-1,4,2],[3,-2],[5,1,3,-1,5,-1],[7,1,6,1,7,1,6,1]],[[1,-1,2,1,1,-1],[1,1,2,
-1],[1,-1,4,2],[3,-2],[6,1,5,1,3,-1,5,1,6,1,5,1]]],[[[1,-1,2,1,1,-1],[1,1,2,
-1],[1,-1,4,2],[3,-2],[6,1,5,-2,3,-1,6,1,5,2,3,1]],[[1,-1,2,1,1,-1],[1,1,2,
-1],[1,-1,4,2],[3,-2],[6,1,5,-1,6,1,5,1,6,1]],[[1,-1,2,1,1,-1],[1,1,2,-1],[1,
-1,4,2],[3,-2],[5,1,3,-1,5,1],[6,1,7,-2,6,1]]],[[[1,-1,2,1,1,-1],[1,1,2,-1],[
1,-1,4,2],[3,-2],[6,1,5,-2,3,-1,6,1,5,2,3,1]],[[1,-1,2,1,1,-1],[1,1,2,-1],[1,
-1,4,2],[5,2],[6,1,3,-2,6,-1]]],[[[1,-1,2,1,1,-1],[1,1,2,-1],[1,-1,4,2],[3,1,
5,-3,3,-2]],[[1,1,2,-1],[1,-1,3,2],[4,1,1,-1,2,1,1,-1,4,-1]]],[[[1,-1,2,1,1,
-1],[1,1,2,-1],[1,-1,4,2],[3,-2],[6,1,3,1,5,2,6,1,5,-1,3,1,5,-1]],[[1,1,2,
-1],[1,-1,3,2],[4,2,1,-1,2,1,1,-1,4,1]]],[[[1,-1,2,1,1,-1],[1,1,2,-1],[1,-1,4,
2],[3,-2],[6,1,5,3,3,-1,5,1,6,1]],[[1,1,2,-1],[1,-1,3,2],[1,-1,2,1,1,-1,4,