local z, r, result;

result := rec();

result.comment := "L2(31) as 32 x 32 monomial matrices over Z(z15)\n";

# Change the value of r to any number between 1 and 7
# to get the complete set of inequivalent faithful irreducible 32-dimensional
# representations of L2(31)
r := 1;
z := E(15)^r;

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

result.generators := [
[[0,0,0,0,z^3,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
  0],
[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,z^7,0,0,0,0,0,0
  ],
[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,z^8,0,0,0,0,0,0,0,0,0,0,0,0
  ],
[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,z^12,0,0,0,0,0,0,0,0,0,
  0],
[z^12,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
  0],
[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,z^14,0,0,0,0,0,0,
  0],
[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,z^2,0
  ],
[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,z^5,0,0,0,0,0
  ],
[0,0,0,0,0,0,0,0,0,0,0,z^14,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
  0],
[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,z^5,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
  ],
[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,z^6,0,0,0
  ],
[0,0,0,0,0,0,0,0,z,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,z^9,0,0
  ],
[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,z^4,0,0,0,0,0,0,0,0,0,0,0,0,0
  ],
[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,z^2,0,0,0,0,0,0,0,0,0
  ],
[0,0,0,0,0,0,0,0,0,z^10,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
  0],
[0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
[0,0,0,0,0,0,0,0,0,0,0,0,0,0,z^11,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
  0],
[0,0,z^7,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
  ],
[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,z^4,0,0,0,0,0,0,0,0
  ],
[0,0,0,z^3,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
  ],
[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,z^13,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
  0],
[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,z^11,0,0,0,0,0,0,0,0,0,0,
  0],
[0,0,0,0,0,z,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
[0,z^8,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
  ],
[0,0,0,0,0,0,0,z^10,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
  0],
[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,z],
[0,0,0,0,0,0,0,0,0,0,z^9,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
  ],
[0,0,0,0,0,0,0,0,0,0,0,0,z^6,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
  ],
[0,0,0,0,0,0,z^13,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
  0],
[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,z^14,0,0,0,
  0]]
,
[[0,0,0,0,0,0,0,0,0,0,0,0,0,z^13,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
  0],
[z^14,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
  0],
[0,0,0,0,0,0,0,z^13,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
  0],
[0,0,0,0,0,z^8,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
  ],
[0,0,0,0,0,0,0,0,0,0,0,z^6,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
  ],
[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,z^11,0,0,0,0,0,0,0,0,
  0],
[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,z^3,0,0,0
  ],
[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,z^5,0,0,0,0,0
  ],
[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,z^10
  ],
[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,z^4,0,0,0,0,0,0,0,0
  ],
[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,z,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,z^8,0,0,0,0,0,0,0,0,0,0
  ],
[0,0,0,0,0,0,z^2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
  ],
[0,z^3,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
  ],
[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,z^7,0,0,0,0,0,0,0,0,0,0,0,0
  ],
[0,0,0,0,0,0,0,0,0,z^7,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
  ],
[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,z^9,0,0,0,0,0,0,0,0,0,0,0,0,0
  ],
[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,z^12,
  0],
[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0],
[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,z^9,0,0,0,0,0,0
  ],
[0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
[0,0,0,0,z,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
[0,0,0,z^11,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
  0],
[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,z^4,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
  ],
[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,z^10,0,0,0,0,0,0,
  0],
[0,0,0,0,0,0,0,0,0,0,0,0,0,0,z^14,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
  0],
[0,0,z^12,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
  0],
[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,z^5,0,0,0,0
  ],
[0,0,0,0,0,0,0,0,0,0,0,0,z^10,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
  0],
[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,z^6,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
  ],
[0,0,0,0,0,0,0,0,0,0,z^2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
  ],
[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,z^5,0,0,0,0,0,0,0,0,0,0,0
  ]]];

return result;