local z, r, result;

result := rec();

result.comment := "L2(64) as 65 x 65 monomial matrices over Z(z63)\n";

# Change the value of r to any number between 1 and 31
# to get the complete set of inequivalent faithful irreducible 65-dimensional
# representations of L2(64)
r := 1;
z := E(63)^r;

result.symmetricforms := [ ]; 
result.antisymmetricforms := [ ]; 
result.hermitianforms := [ IdentityMat(65) ];
result.centralizeralgebra := [ IdentityMat(65) ];

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

return result;