local z, r, result;

result := rec();

result.comment := "2.L2(59) as 60 x 60 monomial matrices over Z(z58)\n";

# Change the value of r to any number between 1 and 14
# to get the complete set of inequivalent faithful irreducible 60-dimensional
# representations of 2.L2(59)
r := 1;
z := E(58)^(2*r-1);

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

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

return result;