local z, r, result;

result := rec();

result.comment := "2.L2(79) as 80 x 80 monomial matrices over Z(z78)\n";

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

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

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

return result;