local z, r, result;

result := rec();

result.comment := "2.L2(67) as 68 x 68 monomial matrices over Z(z66)\n";

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

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

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

return result;