# standard generators of Sz(8) in a perm. repr. on 65 points
G:= Group( [ ( 1, 2)( 3, 4)( 5, 7)( 6, 9)( 8,12)(10,13)(11,15)(14,19)(16,21)
    (17,23)(18,25)(20,28)(22,31)(24,33)(26,35)(27,32)(29,37)(30,39)(34,43)
    (36,46)(38,48)(41,51)(42,44)(45,55)(47,50)(49,58)(52,60)(53,61)(54,59)
    (56,62)(57,63)(64,65), ( 1, 3, 5, 8)( 4, 6,10,14)( 7,11,16,22)
    ( 9,12,17,24)(13,18,26,36)(15,20,29,38)(19,27,31,28)(21,30,40,50)
    (23,32,41,52)(25,34,44,54)(33,42,53,43)(35,45,56,63)(37,47,51,46)
    (39,49,59,60)(48,57,55,58)(61,64,62,65) ] );

# standard generators of Sz(8), natural 4-dim. repres. over GF(8),
# blown up GF(2)
m2:= [
  [ [ 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0 ], 
      [ 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0 ], 
      [ 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0 ], 
      [ 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0 ], 
      [ 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0 ], 
      [ 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0 ], 
      [ 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0 ], 
      [ 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0 ], 
      [ 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1 ], 
      [ 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0 ], 
      [ 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0 ], 
      [ 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0 ] ], 
  [ [ 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0 ], 
      [ 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0 ], 
      [ 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0 ], 
      [ 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0 ], 
      [ 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0 ], 
      [ 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0 ], 
      [ 1, 0, 0, 1, 1, 0, 0, 0, 0, 1, 1, 1 ], 
      [ 0, 1, 0, 0, 0, 1, 0, 0, 0, 1, 0, 0 ], 
      [ 0, 0, 1, 1, 0, 0, 0, 0, 0, 1, 1, 0 ], 
      [ 1, 1, 0, 0, 1, 1, 0, 1, 1, 1, 0, 0 ], 
      [ 0, 0, 1, 1, 1, 0, 1, 1, 0, 0, 1, 0 ], 
      [ 1, 0, 0, 1, 1, 1, 1, 1, 1, 0, 0, 1 ] ] ] * Z(2);

