local z, r, result;

result := rec();

result.comment := "L2(128) as 129 x 129 monomial matrices over Z(z127)\n";

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

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

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

return result;