local z, r, result;

result := rec();

result.comment := "2.L2(71) as 72 x 72 monomial matrices over Z(z70)\n";

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

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

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

return result;