local z, r, result;

result := rec();

result.comment := "2.L2(127) as 128 x 128 monomial matrices over Z(z126)\n";

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

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

result.generators := [
DiagonalMat([z^12,z^45,z^70,z^92,z^55,z^100,z^34,z^64,z^26,z^9,z^38,
  z^117,z^82,z^89,z^29,z^30,z^6,z^98,z^36,z^68,z^58,z^2,z^96,z^83,
  z^123,z^16,z^97,z^61,z^19,z^101,z^50,z^67,z^83,z^3,z^111,z^35,z^78,
  z^119,z^28,z^72,z^52,z^11,z^23,z^54,z^109,z^118,z^85,z^20,z^53,z^76,
  z^74,z^7,z^125,z^33,z^79,z^49,z^65,z^102,z^71,z^10,z^90,1,z^103,
  z^77,z^87,z^73,z^88,z^108,z^113,z^15,z^39,z^81,z^27,z^18,z^22,z^60,
  -1,z^69,z^41,z^62,z^110,z^31,z^104,z^106,z^48,z^124,z^84,z^21,z^32,
  z^99,z^47,z^116,z^8,z^107,z^121,z^66,z^120,z^105,z^5,z^112,z^42,
  z^93,z^25,z^13,z^75,z^114,z^37,z^94,z^91,z^17,z^95,z^46,z^24,z^51,
  z^44,z^40,z,z^122,z^4,z^57,z^14,z^115,z^86,z^80,z^59,z^43,z^56,z^106
  ]) *
PermutationMat(
(  1,114)(  2, 74)(  3, 38)(  4, 27)(  5, 93)(  6, 14)(  7, 15)(  8, 53)
(  9,107)( 10, 44)( 11,103)( 12, 40)( 13, 94)( 16, 54)( 17,120)( 18,109)
( 19, 73)( 20, 95)( 21, 99)( 22, 28)( 23,102)( 24, 84)( 25, 96)( 26, 91)
( 29,115)( 30, 67)( 31,104)( 32,118)( 33,128)( 34, 76)( 35, 37)( 36, 39)
( 41, 42)( 43,116)( 45,124)( 46, 59)( 47, 83)( 48,126)( 49, 60)( 50, 69)
( 51,122)( 52,127)( 55, 81)( 56,121)( 57, 86)( 58, 65)( 61, 90)( 62, 77)
( 63,123)( 64,100)( 66, 92)( 68, 72)( 70, 85)( 71,113)( 75, 79)( 78, 97)
( 80,117)( 82, 89)( 87, 98)( 88,101)(105,106)(108,111)(110,112)(119,125), 128)
,
DiagonalMat([z^8,z^21,z^9,z^71,z^110,z^33,z^90,z^87,z^13,z^91,z^42,
  z^20,z^47,z^40,z^36,z^123,z^118,1,z^53,z^10,z^111,z^82,z^76,z^55,
  z^39,z^52,z^41,z^66,z^88,z^51,z^96,z^30,z^60,z^22,z^5,z^34,z^113,
  z^78,z^85,z^25,z^26,z^2,z^94,z^32,z^64,z^54,z^124,z^92,z^79,z^119,
  z^12,z^93,z^57,z^15,z^97,z^46,-1,z^62,z^125,z^107,z^31,z^74,z^115,
  z^24,z^68,z^48,z^7,z^19,z^50,z^105,z^114,z^81,z^16,z^49,z^72,z^70,
  z^3,z^121,z^29,z^75,z^45,z^61,z^98,z^67,z^6,z^86,z^122,z^99,z^73,
  z^83,z^69,z^84,z^104,z^109,z^11,z^35,z^77,z^23,z^14,z^18,z^56,z^59,
  z^65,z^37,z^58,z^106,z^27,z^100,z^102,z^44,z^120,z^80,z^17,z^28,
  z^95,z^43,z^112,z^4,z^103,z^117,z^62,z^116,z^101,z,z^108,z^38,z^89,
  z]) *
PermutationMat(
(  1, 45, 46)(  2, 26, 19)(  3, 18,120)(  4,119, 38)(  5, 37, 79)(  6, 78, 83)
(  7, 82,123)(  8,122, 74)(  9, 73, 55)( 10, 54, 12)( 13, 53, 34)( 14, 33, 41)
( 15, 40,103)( 16,102, 76)( 17, 75,121)( 20, 25, 97)( 21, 96,106)( 22,105,117)
( 23,116, 67)( 24, 66, 98)( 27,127, 87)( 28, 86,108)( 29,107, 95)( 30, 94, 48)
( 31, 47, 44)( 32, 43, 42)( 35, 52,114)( 36,113, 80)( 39,118,104)( 49, 93, 91)
( 50, 90, 69)( 51, 68,115)( 56, 72, 59)( 57, 58,128)( 60, 71, 61)( 62, 70, 89)
( 63, 88,126)( 64,125,111)( 65,110, 99)( 77,101, 84)( 81,112,124)( 85,100,109), 128)];

return result;