Quelle  fi23m7.g   Sprache: unbekannt

# This goes from standard generators of Fi23 down to
# the 7th maximal subgroup N:
s := StraightLineProgram( [ [ 1,1,2,1 ],[ 3,1,2,1 ],[ 3,1,4,1 ],
  [ 3,1,5,1 ],[ 3,1,6,1 ],[ 6,1,7,1 ],[ 6,1,8,1 ],
  [ 7,1,8,1 ],[ 1,1,9,1 ],[ 5,1,9,1 ],[ 7,1,10,1 ],
  [ 4,1,12,1 ],[ 11,1,13,1 ],[ [ 1,1 ],16 ],[ [ 2,1 ],17 ],
  [ [ 16,1 ],18 ],[ [ 16,1 ],19 ],[ [ 16,1 ],20 ],[ [ 17,1 ],21 ],
  [ [ 17,1 ],22 ],[ [ 17,1 ],23 ],[ [ 17,1 ],24 ],[ [ 17,1 ],25 ],
  [ [ 17,1 ],26 ],[ [ 16,1 ],27 ],[ [ 25,1,16,1 ],16 ],
  [ [ 20,1,18,1 ],18 ],[ [ 24,1,17,1 ],24 ],
  [ [ 19,1,16,1 ],16 ],[ [ 22,1,19,1 ],22 ],
  [ [ 18,1,19,1 ],19 ],[ [ 23,1,20,1 ],23 ],
  [ [ 24,1,18,1 ],24 ],[ [ 17,1,18,1 ],18 ],
  [ [ 23,1,18,1 ],23 ],[ [ 19,1,21,1 ],19 ],
  [ [ 27,1,22,1 ],27 ],[ [ 24,1,16,1 ],24 ],
  [ [ 25,1,16,1 ],25 ],[ [ 16,1,19,1 ],19 ],
  [ [ 23,1,17,1 ],17 ],[ [ 22,1,17,1 ],22 ],
  [ [ 22,1,23,1 ],22 ],[ [ 20,1,23,1 ],23 ],
  [ [ 25,1,26,1 ],25 ],[ [ 24,1,20,1 ],20 ],
  [ [ 16,1,19,1 ],19 ],[ [ 19,1,22,1 ],19 ],
  [ [ 26,1,22,1 ],22 ],[ [ 25,1,16,1 ],16 ],
  [ [ 27,1,19,1 ],27 ],[ [ 22,1,27,1 ],27 ],
  [ [ 20,1,22,1 ],22 ],[ [ 24,1,16,1 ],24 ],
  [ [ 19,1,16,1 ],19 ],[ [ 21,1,18,1 ],21 ],
  [ [ 23,1,27,1 ],27 ],[ [ 16,1,21,1 ],21 ],
  [ [ 20,1,27,1 ],27 ],[ [ 23,1,17,1 ],23 ],
  [ [ 27,1,26,1 ],27 ],[ [ 25,1,22,1 ],25 ],
  [ [ 17,1,26,1 ],17 ],[ [ 26,1,23,1 ],26 ],
  [ [ 23,1,26,1 ],23 ],[ [ 16,1,20,1 ],16 ],
  [ [ 27,1,18,1 ],18 ],[ [ 18,1,21,1 ],21 ],
  [ [ 27,1,24,1 ],24 ],[ [ 16,1,23,1 ],16 ],
  [ [ 16,1,21,1 ],16 ],[ [ 22,1,19,1 ],22 ],
  [ [ 24,1,18,1 ],24 ],[ [ 25,1,19,1 ],19 ],
  [ [ 21,1,27,1 ],21 ],[ [ 24,1,20,1 ],20 ],
  [ [ 22,1,26,1 ],22 ],[ [ 27,1,18,1 ],27 ],
  [ [ 17,1,20,1 ],17 ],[ [ 16,1,25,1 ],25 ],
  [ [ 20,1,17,1 ],17 ],[ [ 19,1,24,1 ],19 ],
  [ [ 21,1,23,1 ],21 ],[ [ 21,1,25,1 ],21 ],
  [ [ 16,1,26,1 ],26 ],[ [ 24,1,23,1 ],24 ],
  [ [ 16,1,17,1 ],16 ],[ [ 20,1,17,1 ],20 ],
  [ [ 18,1,21,1 ],18 ],[ [ 18,1,25,1 ],25 ],
  [ [ 19,1,21,1 ],21 ],[ [ 21,1,16,1 ],21 ],
  [ [ 22,1,21,1 ],21 ],[ [ 17,1,16,1 ],17 ],
  [ [ 27,1,22,1 ],27 ],[ [ 20,1,17,1 ],20 ],
  [ [ 22,1,21,1 ],21 ],[ [ 16,1,18,1 ],18 ],
  [ [ 21,1,17,1 ],17 ],[ [ 21,1,20,1 ],20 ],
  [ [ 24,1,16,1 ],24 ],[ [ 22,1,21,1 ],21 ],
  [ [ 18,1,22,1 ],18 ],[ [ 20,1,26,1 ],20 ],
  [ [ 21,1,26,1 ],26 ],[ [ 20,1,23,1 ],23 ],
  [ [ 20,1,24,1 ],20 ],[ [ 18,1,24,1 ],24 ],
  [ [ 22,1,19,1 ],19 ],[ [ 16,1,27,1 ],27 ],
  [ [ 27,1,18,1 ],18 ],[ [ 18,1,27,1 ],18 ],
  [ [ 16,1,22,1 ],16 ],[ [ 24,1,26,1 ],26 ],
  [ [ 17,1,25,1 ],25 ],[ [ 21,1,18,1 ],18 ],
  [ [ 27,1,23,1 ],27 ],[ [ 25,1,20,1 ],25 ],
  [ [ 23,1,26,1 ],26 ],[ [ 20,1,24,1 ],24 ],
  [ [ 22,1,27,1 ],27 ],[ [ 17,1,18,1 ],18 ],
  [ [ 26,1,16,1 ],26 ],[ [ 25,1,16,1 ],25 ],
  [ [ 16,1,24,1 ],24 ],[ [ 17,1,16,1 ],16 ],
  [ [ 24,1,16,1 ],24 ],[ [ 19,1,20,1 ],20 ],
  [ [ 24,1,26,1 ],26 ],[ [ 20,1,17,1 ],17 ],
  [ [ 18,1,17,1 ],17 ],[ [ 27,1,26,1 ],27 ],
  [ [ 26,1,23,1 ],23 ],[ [ 19,1,25,1 ],25 ],
  [ [ 23,1,27,1 ],23 ],[ [ 23,1,16,1 ],23 ],
  [ [ 18,1,24,1 ],18 ],[ [ 27,1,16,1 ],27 ],
  [ [ 25,1,16,1 ],25 ],[ [ 23,1,17,1 ],23 ],
  [ [ 25,1,20,1 ],20 ],[ [ 16,1,18,1 ],16 ],
  [ [ 26,1,23,1 ],26 ],[ [ 21,1,16,1 ],21 ],
  [ [ 24,1,19,1 ],24 ],[ [ 20,1,21,1 ],20 ],
  [ [ 21,1,27,1 ],21 ],[ [ 19,1,18,1 ],18 ],
  [ [ 16,1,26,1 ],16 ],[ [ 17,1,25,1 ],25 ],
  [ [ 20,1,16,1 ],16 ],[ [ 26,1,20,1 ],20 ],
  [ [ 24,1,27,1 ],24 ],[ [ 20,1,16,1 ],20 ],
  [ [ 18,1,23,1 ],23 ],[ [ 18,1,21,1 ],21 ],
  [ [ 17,1,23,1 ],17 ],[ [ 18,1,25,1 ],18 ],
  [ [ 25,1,19,1 ],19 ],[ [ 26,1,20,1 ],20 ],
  [ [ 26,1,24,1 ],24 ],[ [ 20,1,21,1 ],21 ],
  [ [ 25,1,27,1 ],25 ],[ [ 25,1,22,1 ],25 ],
  [ [ 22,1,17,1 ],22 ],[ [ 20,1,27,1 ],20 ],
  [ [ 25,1,26,1 ],26 ],[ [ 24,1,21,1 ],21 ],
  [ [ 23,1,26,1 ],23 ],[ [ 20,1,26,1 ],20 ],
  [ [ 19,1,23,1 ],19 ],[ [ 16,1,27,1 ],16 ],
  [ [ 27,1,23,1 ],27 ],[ [ 22,1,18,1 ],18 ],
  [ [ 22,1,27,1 ],22 ],[ [ 27,1,22,1 ],22 ],
  [ [ 25,1,17,1 ],25 ],[ [ 16,1,18,1 ],16 ],
  [ [ 19,1,27,1 ],27 ],[ [ 20,1,27,1 ],27 ],
  [ [ 22,1,21,1 ],22 ],[ [ 20,1,18,1 ],20 ],
  [ [ 23,1,21,1 ],23 ],[ [ 19,1,24,1 ],24 ],
  [ [ 16,1,18,1 ],18 ],[ [ 22,1,23,1 ],22 ],
  [ [ 27,1,24,1 ],24 ],[ [ 18,1,25,1 ],18 ],
  [ [ 24,1,27,1 ],27 ],[ [ 22,1,18,1 ],22 ],
  [ [ 21,1,24,1 ],24 ],[ [ 22,1,16,1 ],16 ],
  [ [ 22,1,25,1 ],25 ],[ [ 17,1,24,1 ],24 ],
  [ [ 19,1,25,1 ],19 ],[ [ 25,1,19,1 ],19 ],
  [ [ 19,1,25,1 ],19 ],[ [ 18,1,22,1 ],22 ],
  [ [ 19,1,16,1 ],19 ],[ [ 19,1,26,1 ],19 ],
  [ [ 16,1,18,1 ],16 ],[ [ 27,1,25,1 ],27 ],
  [ [ 25,1,27,1 ],25 ],[ [ 17,1,20,1 ],17 ],
  [ [ 19,1,22,1 ],19 ],[ [ 20,1,21,1 ],20 ],
  [ [ 24,1,27,1 ],24 ],[ [ 18,1,21,1 ],18 ],
  [ [ 26,1,18,1 ],18 ],[ [ 25,1,26,1 ],26 ],
  [ [ 23,1,24,1 ],24 ],[ [ 27,1,16,1 ],27 ],[ [ 1,1 ],28 ],
  [ [ 2,1 ],29 ],[ [ 28,1 ],30 ],[ [ 28,1 ],31 ],[ [ 28,1 ],32 ],
  [ [ 29,1 ],33 ],[ [ 29,1 ],34 ],[ [ 29,1 ],35 ],[ [ 29,1 ],36 ],
  [ [ 29,1 ],37 ],[ [ 29,1 ],38 ],[ [ 28,1 ],39 ],
  [ [ 31,1,38,1 ],31 ],[ [ 30,1,34,1 ],30 ],
  [ [ 38,1,36,1 ],36 ],[ [ 38,1,31,1 ],31 ],
  [ [ 35,1,36,1 ],36 ],[ [ 38,1,32,1 ],38 ],
  [ [ 37,1,38,1 ],37 ],[ [ 29,1,38,1 ],38 ],
  [ [ 31,1,29,1 ],29 ],[ [ 31,1,33,1 ],31 ],
  [ [ 28,1,36,1 ],28 ],[ [ 32,1,38,1 ],38 ],
  [ [ 33,1,36,1 ],33 ],[ [ 35,1,37,1 ],37 ],
  [ [ 33,1,32,1 ],32 ],[ [ 30,1,35,1 ],30 ],
  [ [ 35,1,28,1 ],35 ],[ [ 31,1,36,1 ],36 ],
  [ [ 36,1,39,1 ],36 ],[ [ 31,1,36,1 ],31 ],
  [ [ 35,1,32,1 ],35 ],[ [ 39,1,36,1 ],36 ],
  [ [ 29,1,30,1 ],29 ],[ [ 30,1,34,1 ],30 ],
  [ [ 36,1,38,1 ],36 ],[ [ 38,1,30,1 ],38 ],
  [ [ 31,1,29,1 ],31 ],[ [ 39,1,28,1 ],28 ],
  [ [ 32,1,37,1 ],37 ],[ [ 38,1,37,1 ],38 ],
  [ [ 28,1,35,1 ],28 ],[ [ 34,1,31,1 ],34 ],
  [ [ 31,1,33,1 ],33 ],[ [ 32,1,36,1 ],36 ],
  [ [ 31,1,36,1 ],31 ],[ [ 33,1,36,1 ],33 ],
  [ [ 29,1,37,1 ],37 ],[ [ 30,1,38,1 ],38 ],
  [ [ 30,1,33,1 ],33 ],[ [ 36,1,39,1 ],36 ],
  [ [ 33,1,29,1 ],29 ],[ [ 29,1,35,1 ],29 ],
  [ [ 37,1,32,1 ],37 ],[ [ 36,1,33,1 ],36 ],
  [ [ 32,1,39,1 ],39 ],[ [ 31,1,29,1 ],29 ],
  [ [ 39,1,31,1 ],31 ],[ [ 35,1,38,1 ],35 ],
  [ [ 31,1,34,1 ],31 ],[ [ 29,1,31,1 ],31 ],
  [ [ 38,1,39,1 ],39 ],[ [ 30,1,31,1 ],31 ],
  [ [ 37,1,36,1 ],36 ],[ [ 33,1,36,1 ],33 ],
  [ [ 32,1,37,1 ],32 ],[ [ 33,1,37,1 ],33 ],
  [ [ 39,1,28,1 ],28 ],[ [ 37,1,38,1 ],38 ],
  [ [ 28,1,29,1 ],29 ],[ [ 29,1,33,1 ],29 ],
  [ [ 39,1,33,1 ],39 ],[ [ 32,1,36,1 ],36 ],
  [ [ 35,1,36,1 ],36 ],[ [ 32,1,38,1 ],32 ],
  [ [ 30,1,37,1 ],37 ],[ [ 37,1,33,1 ],37 ],
  [ [ 29,1,32,1 ],29 ],[ [ 33,1,36,1 ],33 ],
  [ [ 34,1,33,1 ],33 ],[ [ 30,1,36,1 ],30 ],
  [ [ 32,1,33,1 ],32 ],[ [ 28,1,32,1 ],28 ],
  [ [ 30,1,35,1 ],30 ],[ [ 39,1,38,1 ],39 ],
  [ [ 31,1,32,1 ],31 ],[ [ 28,1,35,1 ],28 ],
  [ [ 28,1,35,1 ],28 ],[ [ 37,1,28,1 ],28 ],
  [ [ 32,1,35,1 ],35 ],[ [ 1,1 ],40 ],[ [ 2,1 ],41 ],
  [ [ 40,1 ],42 ],[ [ 40,1 ],43 ],[ [ 40,1 ],44 ],[ [ 41,1 ],45 ],
  [ [ 41,1 ],46 ],[ [ 41,1 ],47 ],[ [ 41,1 ],48 ],[ [ 41,1 ],49 ],
  [ [ 41,1 ],50 ],[ [ 40,1 ],51 ],[ [ 50,1,42,1 ],50 ],
  [ [ 43,1,50,1 ],50 ],[ [ 44,1,46,1 ],46 ],
  [ [ 47,1,48,1 ],47 ],[ [ 48,1,47,1 ],48 ],
  [ [ 46,1,51,1 ],46 ],[ [ 49,1,46,1 ],49 ],
  [ [ 43,1,48,1 ],48 ],[ [ 51,1,40,1 ],51 ],
  [ [ 47,1,45,1 ],47 ],[ [ 45,1,46,1 ],45 ],
  [ [ 47,1,49,1 ],47 ],[ [ 46,1,44,1 ],46 ],
  [ [ 46,1,50,1 ],46 ],[ [ 40,1,42,1 ],42 ],
  [ [ 49,1,51,1 ],51 ],[ [ 50,1,42,1 ],50 ],
  [ [ 44,1,49,1 ],49 ],[ [ 43,1,45,1 ],45 ],
  [ [ 47,1,40,1 ],40 ],[ [ 50,1,46,1 ],46 ],
  [ [ 46,1,45,1 ],45 ],[ [ 42,1,49,1 ],42 ],
  [ [ 45,1,41,1 ],41 ],[ [ 51,1,40,1 ],40 ],
  [ [ 41,1,40,1 ],41 ],[ [ 44,1,40,1 ],40 ],
  [ [ 44,1,42,1 ],44 ],[ [ 50,1,43,1 ],50 ],
  [ [ 40,1,51,1 ],51 ],[ [ 44,1,48,1 ],48 ],
  [ [ 51,1,45,1 ],45 ],[ [ 41,1,44,1 ],44 ],
  [ [ 50,1,40,1 ],50 ],[ [ 41,1,51,1 ],51 ],
  [ [ 40,1,45,1 ],45 ],[ [ 49,1,48,1 ],48 ],
  [ [ 48,1,40,1 ],48 ],[ [ 51,1,45,1 ],45 ],
  [ [ 42,1,46,1 ],42 ],[ [ 43,1,45,1 ],43 ],
  [ [ 43,1,41,1 ],43 ],[ [ 42,1,49,1 ],49 ],
  [ [ 42,1,40,1 ],40 ],[ [ 49,1,50,1 ],50 ],
  [ [ 45,1,44,1 ],44 ],[ [ 48,1,49,1 ],48 ],
  [ [ 45,1,46,1 ],45 ],[ [ 42,1,40,1 ],40 ],
  [ [ 41,1,47,1 ],41 ],[ [ 46,1,45,1 ],46 ],
  [ [ 40,1,48,1 ],48 ],[ [ 51,1,48,1 ],51 ],
  [ [ 50,1,43,1 ],43 ],[ [ 46,1,43,1 ],43 ],
  [ [ 40,1,42,1 ],40 ],[ [ 46,1,43,1 ],43 ],
  [ [ 48,1,49,1 ],49 ],[ [ 48,1,50,1 ],48 ],
  [ [ 44,1,42,1 ],42 ],[ [ 45,1,47,1 ],45 ],
  [ [ 50,1,42,1 ],42 ],[ [ 45,1,40,1 ],40 ],
  [ [ 45,1,50,1 ],50 ],[ [ 42,1,50,1 ],50 ],
  [ [ 49,1,42,1 ],49 ],[ [ 49,1,51,1 ],51 ],
  [ [ 45,1,41,1 ],41 ],[ [ 41,1,50,1 ],50 ],
  [ [ 47,1,42,1 ],42 ],[ [ 49,1,43,1 ],49 ],
  [ [ 48,1,51,1 ],51 ],[ [ 45,1,46,1 ],45 ],
  [ [ 42,1,48,1 ],48 ],[ [ 42,1,41,1 ],42 ],
  [ [ 50,1,42,1 ],50 ],[ [ 49,1,50,1 ],50 ],
  [ [ 48,1,50,1 ],48 ],[ [ 48,1,49,1 ],48 ],
  [ [ 42,1,51,1 ],42 ],[ [ 41,1,46,1 ],41 ],
  [ [ 44,1,41,1 ],44 ],[ [ 51,1,40,1 ],51 ],[ [ 14,1,15,1 ],1 ], [[1,6],1],
  [ [ 25,1,19,1 ],2 ],[ [ 28,1,29,1 ],3 ],[ [ 40,1,45,1 ],4 ],
  [ [ 2,-1,1,1,2,1 ],[ 3,-1,1,1,3,1 ],[ 4,-1,1,1,4,1 ] ] ], 2 );
# The following goes from N down to the 3-Sylow-Subgroup:
syslp := StraightLineProgram( 
[ [ [ 1,1,2,1,1,1,2,1,1,1,2,1 ],[ 2,1,1,1,3,1,1,1,2,1,3,1,1,1,3,1 ],
    [ 1,1,3,1,1,1,2,1,3,1,1,1,2,1,1,1,3,1,1,1,2,1,3,1 ] ] ],3 );
# The following goes from N down to the condensation subgroup of order 3^9:
ss := StraightLineProgram( 
[ [ [ 1, 1, 2, 1, 1, 1, 2, 1, 1, 1, 2, 1 ], [ 3, 1, 1, 1, 2, 1, 1, 1, 2, 1, 
       1, 1, 2, 1, 3, 1 ], 
   [ 1, 1, 3, 1, 1, 1, 2, 1, 1, 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 ], 
   [ 1, 1, 2, 1, 3, 1, 1, 1, 2, 1, 1, 1, 2, 1, 1, 1, 2, 1, 3, 1, 2, 1, 1, 1 ],
   [ 2, 1, 1, 1, 3, 1, 1, 1, 2, 1, 1, 1, 2, 1, 1, 1, 2, 1, 3, 1, 1, 1, 2, 1 ],
   [ 3, 1, 1, 1, 3, 1, 1, 1, 2, 1, 1, 1, 2, 1, 1, 1, 2, 1, 3, 1, 1, 1, 3, 1 ],
   [ 3, 1, 2, 1, 3, 1, 1, 1, 2, 1, 1, 1, 2, 1, 1, 1, 2, 1, 3, 1, 2, 1, 3, 1 ] 
  ] ], 3 );
sskurz := StraightLineProgram( [ [ 1, 1, 2, 1, 1, 1, 2, 1 ], [ 4, 1, 1, 1 ], 
  [ 2, 1, 3, 1 ], 
    [ [ 5, 1, 2, 1 ], [ 3, 1, 5, 1, 6, 1 ], [ 1, 1, 3, 1, 5, 1, 6, 1, 1, 1 ], 
      [ 6, 1, 5, 1, 6, 1, 2, 1 ], [ 1, 1, 6, 1, 5, 1, 6, 1, 2, 1, 1, 1 ], 
      [ 2, 1, 1, 1, 3, 1, 5, 1, 6, 1, 1, 1, 2, 1 ], 
      [ 3, 1, 1, 1, 3, 1, 5, 1, 6, 1, 1, 1, 3, 1 ], 
      [ 3, 1, 6, 1, 5, 1, 6, 2 ] ] ], 3 );
ssweg := StraightLineProgram( 
[ [ [ 1, 1, 2, 1, 1, 1, 2, 1, 1, 1, 2, 1 ], [ 3, 1, 1, 1, 2, 1, 1, 1, 2, 1, 
       1, 1, 2, 1, 3, 1 ], 
   [ 1, 1, 3, 1, 1, 1, 2, 1, 1, 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 ], 
   [ 1, 1, 2, 1, 3, 1, 1, 1, 2, 1, 1, 1, 2, 1, 1, 1, 2, 1, 3, 1, 2, 1, 1, 1 ],
   [ 2, 1, 1, 1, 3, 1, 1, 1, 2, 1, 1, 1, 2, 1, 1, 1, 2, 1, 3, 1, 1, 1, 2, 1 ]
  ] ], 3 );
ssweg81 := StraightLineProgram( 
[ [ [ 1, 1, 2, 1, 1, 1, 2, 1, 1, 1, 2, 1 ], [ 3, 1, 1, 1, 2, 1, 1, 1, 2, 1, 
       1, 1, 2, 1, 3, 1 ], 
   [ 1, 1, 3, 1, 1, 1, 2, 1, 1, 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 );
# The following describes a chain of subgroups in the sylow subgroup:
# (see "PrepareChain", "ChainWorker" and "CalcChain" in "chainworker.g")
sychain := rec(
  slp := StraightLineProgram( 
    [ [ [ 1,1 ],[ 2,1 ],[ 3,1,1,1,3,2 ],[ 3,1,2,1,3,2 ] ] ],
    3 ),
  height := 12,
  r := rec(
      slp := StraightLineProgram( 
        [ [ [ 1,1 ],[ 3,1 ],[ 2,2,4,1 ],[ 2,1,4,1,2,1 ] ] ],4 ),
      height := 11,
      r := rec(
          slp := StraightLineProgram( 
            [ [ [ 3,1 ],[ 4,1 ],[ 1,2,2,1 ],[ 1,1,2,1,1,1 ],
                  [ 1,2,3,1,1,1 ] ] ],4 ),
          height := 10,
          r := rec(
              slp := StraightLineProgram( 
                [ [ [ 3,1 ],[ 4,1 ],[ 1,2,2,1 ],[ 1,2,5,1 ] ] ], 5 ),
              height := 9,
              r := rec(
                  slp := StraightLineProgram( 
                    [ [ [ 3,1 ],[ 4,1 ],[ 1,2,2,1 ], [ 1,2,3,1,1,1 ] ] ],4 ),
                  height := 8,
                  r := rec(
                      slp := StraightLineProgram( 
                        [ [ [ 2,1 ],[ 3,1 ],[ 1,2,4,1 ], [ 1,1,4,1,1,1 ],
                            [ 1,2,2,1,1,1 ], [ 1,2,3,1,1,1 ] ] ],4 ),
                      height := 7,
                      r := rec(
                          slp := StraightLineProgram( 
                            [ [ [ 2,1 ],[ 3,1 ],[ 4,1 ],[ 6,1 ],
                                  [ 1,2,5,1 ] ] ],6 ),
                          height := 6,
                          r := rec(
                              slp := StraightLineProgram( 
                                [ [ [ 2,1 ],[ 3,1 ],[ 5,1 ],
                                      [ 1,2,4,1 ],[ 1,2,2,1,1,1 ] ] ],5 ),
                              height := 5,
                              r := rec(
                                  slp := StraightLineProgram( 
                                    [ [ [ 3,1 ],[ 4,1 ],[ 1,2,2,1 ],
                                          [ 1,2,5,1 ] ] ],5 ),
                                  height := 4,
                                  r := rec(
                                      slp := StraightLineProgram( 
                                        [ [ [ 2,1 ],[ 3,1 ],[ 4,1 ] ] ], 4 ),
                                      height := 3,
                                      r := rec(
                                          slp := StraightLineProgram( 
                                            [ [ [ 2,1 ],[ 3,1 ] ] ],3 ),
                                          height := 2,
                                          r := rec(
                                              slp := StraightLineProgram( 
                                                [ [ [ 2,1 ] ] ],2 ),
                                              height := 1,
                                              r := rec(
                                                  r := false,
                                                  slp := false,
                                                  height := 0,
                                                  size := 3,
                                                  sv := [false,[1,1],[2,1]]),
                                              size := 9,
                                              sv := [false,[1,1],[2,1]]) ,
                                          size := 27,
                                          sv := [ false,[ 1,1 ],[ 2,1 ] ] 
                                         ),
                                      size := 81,
                                      sv := [ false,[ 1,1 ],[ 2,1 ] ] ),
                                  size := 243,
                                  sv := [ false,[ 1,1 ],[ 2,1 ] ] ),
                              size := 729,
                              sv := [ false,[ 1,1 ],[ 2,1 ] ] ),
                          size := 2187,
                          sv := [ false,[ 1,1 ],[ 2,1 ] ] ),
                      size := 6561,
                      sv := [ false,[ 1,1 ],[ 2,1 ] ] ),
                  size := 19683,
                  sv := [ false,[ 1,1 ],[ 2,1 ] ] ),
              size := 59049,
              sv := [ false,[ 1,1 ],[ 2,1 ] ] ),
          size := 177147,
          sv := [ false,[ 1,1 ],[ 2,1 ] ] ),
      size := 531441,
      sv := [ false,[ 1,2 ],[ 2,2 ] ] ),
  size := 1594323,
  sv := [ false,[ 1,3 ],[ 2,3 ] ] );

# Produces the 36 N-N-double coset reps:
theslp := StraightLineProgram( [ [ 1,1,2,2 ],[ 1,1,2,1 ],
  [ [ 1,0 ],[ 1,1 ],[ 2,1 ],[ 4,1 ],[ 2,1,1,1 ],[ 3,1 ],
    [ 4,1,3,1 ],[ 4,3 ],[ 4,1,3,1,1,1 ],[ 3,1,4,1,1,1 ],
    [ 2,1,4,1,3,1 ],[ 4,1,3,1,4,1 ],[ 3,1,4,2 ],
    [ 4,2,3,1,1,1 ],[ 2,1,4,1,3,1,4,1 ],[ 3,1,4,3 ],
    [ 2,1,3,1,4,1,3,1 ],[ 2,2,4,3,1,1 ],[ 4,5,1,1 ],
    [ 4,1,3,1,4,1,3,1,4,1 ],[ 3,1,4,2,3,1,4,1 ],
    [ 3,1,4,1,3,1,4,1,3,1 ],[ 3,2,4,2,3,1,4,1 ],
    [ 2,1,4,1,3,2,4,2,3,1 ],[ 2,1,3,2,4,2,3,2 ],
    [ 2,1,3,1,4,2,3,1,4,3,1,1 ],
    [ 4,4,3,1,4,2,3,1,1,1 ],
    [ 2,2,4,1,3,2,4,2,3,1,4,1 ],[ 4,5,3,5,1,1 ],
    [ 3,5,4,5,1,1 ],[ 2,2,4,4,3,1,4,1,3,2,4,2,1,1 ],
    [ 3,1,4,1,3,1,4,6,3,2,4,1,1,1 ],
    [ 4,2,3,1,4,2,3,2,4,1,3,2,4,3 ],
    [ 2,1,4,2,3,1,4,2,3,1,4,6,3,1,1,1 ],
    [ 4,2,3,2,4,2,3,1,4,2,3,2,4,1,3,2 ],
    [ 3,2,4,2,3,2,4,3,3,1,4,3,3,1,4,9,3,2,4,1,3,1,4,2,3,1,4,1,3,1,4,1,1,1] ] 
  ],2 );
# Produces part 1:
theslp1 := StraightLineProgram( [ [ 1,1,2,2 ],[ 1,1,2,1 ],
  [ [ 1,0 ],[ 1,1 ],[ 2,1 ],[ 4,1 ],[ 2,1,1,1 ],[ 3,1 ],
    [ 4,1,3,1 ],[ 4,3 ],[ 4,1,3,1,1,1 ],[ 3,1,4,1,1,1 ],
    [ 2,1,4,1,3,1 ],[ 4,1,3,1,4,1 ],[ 3,1,4,2 ],
    [ 4,2,3,1,1,1 ],[ 2,1,4,1,3,1,4,1 ],[ 3,1,4,3 ],
    [ 2,1,3,1,4,1,3,1 ],[ 2,2,4,3,1,1 ]]],2);
theslp2 := StraightLineProgram( [ [ 1,1,2,2 ],[1,1,2,1],
  [ [ 4,5,1,1 ],
    [ 4,1,3,1,4,1,3,1,4,1 ],[ 3,1,4,2,3,1,4,1 ],
    [ 3,1,4,1,3,1,4,1,3,1 ],[ 3,2,4,2,3,1,4,1 ],
    [ 2,1,4,1,3,2,4,2,3,1 ],[ 2,1,3,2,4,2,3,2 ],
    [ 2,1,3,1,4,2,3,1,4,3,1,1 ],
    [ 4,4,3,1,4,2,3,1,1,1 ],
    [ 2,2,4,1,3,2,4,2,3,1,4,1 ],[ 4,5,3,5,1,1 ],
    [ 3,5,4,5,1,1 ],[ 2,2,4,4,3,1,4,1,3,2,4,2,1,1 ],
    [ 3,1,4,1,3,1,4,6,3,2,4,1,1,1 ],
    [ 4,2,3,1,4,2,3,2,4,1,3,2,4,3 ],
    [ 2,1,4,2,3,1,4,2,3,1,4,6,3,1,1,1 ],
    [ 4,2,3,2,4,2,3,1,4,2,3,2,4,1,3,2 ],
    [ 3,2,4,2,3,2,4,3,3,1,4,3,3,1,4,9,3,2,4,1,3,1,4,2,3,1,4,1,3,1,4,1,1,1] ] 
  ],2 );

orbitlengths := [ 1, 22674816, 34012224, 272097792, 90699264, 90699264,
  272097792, 10077696, 944784, 10077696, 90699264, 10077696, 68024448,
  136048896, 30233088, 30233088, 944784, 30233088, 20155392, 5038848,
  3359232, 5038848, 7558272, 3779136, 3779136, 1679616, 1679616, 3888, 78732,
  19683, 186624, 62208, 124416, 15552, 15552, 768 ];