tmlin2mx.tom

GAP源码

[1,2,2,2,3,4,4,4,5,6,6,6,8,10,10,10,12,12,12,15,20,20,20,24,30,30,30,40,60,60,
60,120],
[32,6,32,8,32,13,32,13,32,17,32,19,13,21,32,23,24,32,24,32,28,32,28,24,29,32,
31,28,32,32,32,32],
[1,1,1,1,1,1,1,1,1,5,1,5,3,9,1,9,5,1,5,1,9,1,9,11,20,1,20,15,20,1,20,26],
[(  1, 69)(  2, 94)(  3, 44)(  4, 46)(  5, 85)(  6,113)(  7, 86)(  9, 42)
( 10,108)( 11, 41)( 12, 66)( 13, 64)( 14, 70)( 15, 52)( 16, 62)( 17, 29)
( 18, 97)( 19, 21)( 20,117)( 22, 89)( 23,109)( 24, 99)( 25, 55)( 26, 73)
( 27, 65)( 28, 48)( 30, 53)( 31, 80)( 32, 81)( 33,115)( 34, 87)( 35, 57)
( 36, 47)( 37, 39)( 38, 88)( 40, 92)( 43,111)( 45, 79)( 49, 60)( 50,119)
( 51,104)( 54, 83)( 58, 71)( 59, 63)( 61,116)( 67, 82)( 68,100)( 72,107)
( 74, 91)( 75,122)( 76,120)( 77, 90)( 78, 84)( 93,103)( 95,101)( 96, 98)
(102,112)(105,114)(106,110)(118,121),(  1, 44, 93,108, 25,105,  9, 86, 20, 47,
 19, 32, 52,115, 80, 57, 43,  6, 84,112,102, 78,113,111, 35, 31, 33, 15, 81,
  21, 36,117,  7, 42,114, 55, 10,103,  3, 69, 34,118, 61, 89, 39, 60,100, 23,
  41, 90, 77, 11,109, 68, 49, 37, 22,116,121, 87)(  2,  5, 96, 82, 66, 53, 62,
 45, 54, 65,106, 26, 46, 28, 38, 17, 72, 97, 64, 56, 13, 18,107, 29, 88, 48,
   4, 73,110, 27, 83, 79, 16, 30, 12, 67, 98, 85, 94, 75, 40, 70,119, 71, 74,
  63,101, 99, 51,  8,104, 24, 95, 59, 91, 58, 50, 14, 92,122)],
[[[[]]],[[[1,1]]],[[[1,1,2,1],[2,1,1,1],[2,2],[2,1,4,1],[3,1,5,1],[3,1,6,1],[
7,1,5,1,6,1,3,1,4,1,3,1,1,1,3,1,8,-1,4,1,5,-1,2,-1,3,1,6,1,7,1,8,-1,5,1,4,
1]]],[[[1,1,2,1]]],[[[1,1,2,1],[2,1,1,1],[2,2],[3,1,2,1],[6,1,5,2,4,1,3,1,4,1,
3,1,1,1,5,-1,3,1,4,1,5,-1,6,1,4,1,2,-1]]],[[[1,1,2,1],[2,1,1,1],[2,2],[3,1,2,
1],[2,1,4,1],[3,1,4,1,3,1,1,1,5,-1,3,1,4,1,5,-1,6,1,7,1,6,1,5,1,7,1,3,1]],[[1,
1,2,1],[2,1,1,1],[2,1,4,1],[5,1,3,1,2,3,4,1,3,1,5,1]]],[[[1,1,2,1],[2,1,1,1],[
2,2],[2,1,4,1],[6,1,3,1,2,1,5,1,4,1,3,1,6,1,3,1,4,1,3,1,5,1]]],[[[1,1,2,1],[2,
1,1,1],[2,2],[3,1,2,1],[4,1,3,1,5,1],[3,1,4,1,3,1,1,1,7,-1,5,-1,6,1,4,1,2,-1,
6,1,7,1]],[[1,1,2,1],[2,1,1,1],[2,1,4,1],[5,1,3,1,2,3,4,1,3,1,5,1,3,1,1,
1]]],[[[1,1,2,1],[2,1,1,1],[2,2],[3,1,1,1,5,-1,3,1,4,1,5,-1,2,-1,3,1,4,1,2,
-1],[6,1,3,1,4,1,6,1]]],[[[1,1,2,1],[2,1,1,1],[2,2],[5,2,4,1,3,1,4,1,3,1,1,1,
5,-1,3,1,4,1,5,-1,2,-1,3,1,4,1,2,-1]],[[1,1,2,2]]],[[[1,1,2,1],[2,1,1,1],[2,
2],[2,1,4,1,3,1,2,1,5,1,4,1,3,1,5,1]]],[[[1,1,2,1],[2,1,1,1],[2,2],[3,1,2,1,5,
1,4,1,3,1,5,1],[3,1,4,1,3,1,1,1,6,1,4,1,2,-1,6,1]],[[1,1,2,1]]],[[[1,1,2,1],[
2,1,1,1],[2,1,4,1],[5,1,3,1,2,3,4,1,3,1,5,1]],[[2,2],[1,1,2,1,3,2]]],[[[1,1,2,
1],[2,1,1,1],[2,1,4,1],[5,1,3,1,2,3,4,1,3,1,5,1]],[[1,1,2,2]]],[[[2,2],[3,1,2,
2,3,1]]],[[[1,1,2,1],[2,1,1,1],[2,2],[3,1,4,1,5,-1,3,1,4,1,5,-1,2,-1,3,1,4,1,
2,-1]],[[1,1,2,1]]],[[[1,1,2,1],[2,1,1,1],[2,2],[2,1,4,1,3,1,2,1,5,1,4,1,3,1,
5,1]],[[1,1]]],[[[1,1,2,1],[2,1,1,1],[2,2],[3,1,4,1],[2,1,4,1,3,1,2,1,5,1,4,1,
3,1,5,1],[6,1,7,-1,6,1,3,1,1,1,7,-1]]],[[[1,1,2,1],[2,2],[3,1,1,1,3,1,2,1,4,1,
2,1,1,1,3,1,4,1]],[[2,1,1,1]]],[[[1,1,2,1],[2,1,1,1],[2,2],[2,1,4,1],[3,1,5,
1],[4,1,7,1],[8,1,5,1,4,1,3,1,6,1,3,1,4,1,8,-1,5,-1,2,-1,3,1,6,1,7,1,6,1,3,
1]]],[[[2,2],[3,1,2,2,3,1]],[[1,1,2,2]]],[[[1,1,2,1],[2,2,1,1],[4,1,3,1,2,3,4,
1,3,1]]],[[[2,2],[3,1,2,2,3,1]],[[1,1,2,1]]],[[[2,2],[1,1,2,1,3,2]],[[1,
1]]],[[[1,1,2,2]],[[2,2,1,1]]],[[[1,1,2,1],[2,1,1,1],[2,2],[3,1,2,1],[2,1,4,
1],[3,1,4,1,3,1,1,1,5,-1,3,1,4,1,5,-1,6,1,7,1,3,1,7,1,5,-1,6,1,7,1]]],[[[2,3,
1,1]],[[1,1,2,1]]],[[[2,3]],[[2,1,1,1]]],[[[2,2]],[[1,1]]],[[[1,1,2,1],[2,1,1,
1],[2,2],[4,1,3,1,5,1],[6,1,2,1,4,1,3,1,2,1,5,1,6,1,1,1,3,1,4,1,3,1]]],[[[2,1,
1,1]],[[2,2]]],[[[1,1]],[[2,1]]]]);


LIBTOM( "5^3:62",
[[1],[1,2],[1,3],[1,2,3,4],[1,3,5],[1,6],[1,2,3,4,5,7],[1,2,6,8],[1,3,5,9],[1,
2,3,4,5,7,9,10],[1,3,5,6,9,11],[1,2,3,4,5,6,7,8,9,10,11,12]],
0,[[1],[1,1],[1,1],[1,5,1,1],[1,6,1],[1,1],[1,25,6,30,1,1],[1,1,1,1],[1,31,31,
1],[1,125,31,775,31,155,1,1],[1,31,31,125,1,1],[1,125,31,775,31,125,155,125,1,
1,1,1]],
[1,2,5,10,25,31,50,62,125,250,3875,7750],
[12,8,10,4,10,8,7,8,12,12,12,12],
[1,1,1,3,1,1,5,1,1,9,9,9],
[(  1,102)(  2,121)(  3, 71)(  4,101)(  5, 30)(  6, 92)(  7, 52)(  8, 50)
(  9, 67)( 10, 74)( 11,106)( 12, 28)( 13, 32)( 14, 48)( 15,116)( 16, 69)
( 17, 35)( 18, 59)( 19, 55)( 20, 22)( 21, 68)( 23, 95)( 24, 41)( 25,122)
( 26, 96)( 27,105)( 29, 60)( 31, 98)( 33, 81)( 34, 61)( 36, 53)( 37, 47)
( 38, 80)( 39, 72)( 40,104)( 42, 65)( 43, 84)( 44, 62)( 45,123)( 46, 97)
( 49,118)( 51, 57)( 54, 89)( 56,111)( 58, 78)( 63, 85)( 64, 87)( 66, 83)
( 70, 86)( 73, 91)( 75,117)( 76, 94)( 77,108)( 79,107)( 82, 90)( 88,114)
( 93,124)( 99,125)(100,126)(103,115)(112,120)(113,119),(  1, 88,  9, 81, 91,
  15, 67, 13, 64, 73, 86, 99,  7,  4, 41,121,115, 29, 51, 43, 50, 66,100, 65,
  85, 80, 71, 12, 36, 70, 98,  8,122,102, 21, 32, 17,108,124, 96, 97, 24,126,
 106,104, 44, 94,114, 30,  5, 11, 82, 75, 52, 47, 20,118, 25, 92,110, 35, 60)
(  2, 33, 68, 59, 16, 90, 22,112,125, 57, 37,113, 10, 78, 38,117, 76, 69, 31,
  28,123, 23,101, 62,  6, 87, 39, 63,119, 61,120, 54, 49, 55, 48, 95, 77, 14,
 103, 84,105, 89, 93, 53, 26, 19, 56, 42, 83, 27, 40, 34,111, 79,116,107, 45,
  18, 72, 46, 58,  3)],
[[[[]]],[[[1,1]]],[[[1,1,2,1,1,1,2,-1]]],[[[1,1,2,1],[1,1,3,-2,2,2,1,1]],[[2,
1,1,1],[1,1,2,1,3,-1,2,-1,3,1]]],[[[2,2],[3,1,2,1,1,1,2,-1,1,1,3,-1]],[[1,1,2,
-1,1,1,2,1]]],[[[2,2],[3,1,2,2,3,1]]],[[[2,1,1,1],[3,2,2,-2,1,1]],[[1,1,2,-1,
1,1,2,1]],[[2,1,1,1],[3,1,2,-1,1,1,3,1,2,-1]]],[[[2,1]]],[[[2,1,1,1],[3,2,2,
-2]],[[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]],[[
2,1,1,1,2,-1,1,1]],[[1,1,2,-1,1,1,2,1]],[[1,1]]],[[[2,2]],[[1,1,2,-1]]],[[[1,
1]],[[2,1]]]]);


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


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

AFLT( "109:54","L2(109)",[1,2,3,6,9,14,18,20,27,29,30,31,32,33,34,35] );

AFLT( "(5x11).2","L2(109)",[1,2,5,10,11,17,23,28] );

AFLT( "27:2^2","L2(109)",[1,2,2,2,3,4,8,7,6,9,12,16,15,14,18,19,22,21,20,
26] );

AFLT( "113:56","L2(113)",[1,2,4,8,9,14,21,25,30,32,33,34,35,36,37,38] );

AFLT( "(3x19).2","L2(113)",[1,2,3,7,18,24,28,31] );

AFLT( "28.2^2","L2(113)",[1,2,2,2,6,5,4,8,11,9,10,14,16,15,17,23,22,21,27,25,
26,29] );

AFLT( "11^2:60","L2(121)",[1,2,3,4,7,8,12,16,15,17,22,23,26,27,31,35,36,37,43,
44,46,48,49,50,51,54,55,58,59,60,61,62] );

AFLT( "D122","L2(121)",[1,2,42,47] );

AFLT( "30.2^2","L2(121)",[1,2,2,2,3,5,4,6,7,9,8,10,11,13,12,14,18,17,19,22,24,
23,25,28,32,31,33,34,38,37,39,45] );

AFLT( "5^3:62","L2(125)",[1,2,5,9,14,15,17,19,24,26,27,28] );

AFLT( "63:2","L2(125)",[1,2,3,6,7,8,11,12,13,16,22,25] );

AFLT( "D62x2","L2(125)",[1,2,2,2,4,15,20,21,19,23] );

#############################################################################

#############################################################################
##
#E