local z, r, result;

result := rec();

result.comment := "L2(61) as 62 x 62 monomial matrices over Z(z30)\n";

# Change the value of r to any number between 1 and 14
# to get the complete set of inequivalent faithful irreducible 62-dimensional
# representations of L2(61)
r := 1;
z := E(30)^r;

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

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

return result;