local z, r, result;

result := rec();

result.comment := "L2(73) as 74 x 74 monomial matrices over Z(z36)\n";

# Change the value of r to any number between 1 and 17
# to get the complete set of inequivalent faithful irreducible 74-dimensional
# representations of L2(73)
r := 1;
z := E(36)^r;

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

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

return result;