local z, r, result;

result := rec();

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

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

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

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