local z, r, result;

result := rec();

result.comment := "2.L2(31) as 32 x 32 monomial matrices over Z(z30)\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 2.L2(31)
r := 1;
z := E(30)^(2*r-1);

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

result.generators := [
[[0,0,0,0,z^18,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
  0],
[0,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^23,0,0,0,0,0,0,0,0,0,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^27,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
  0],
[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^29,0,0,0,0,0,0,
  0],
[0,0,0,0,0,0,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^17,
  0],
[0,0,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^20,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^24,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^22,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
  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^19,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^26,0,0,0,0,0,0,0,0,0,0,
  0],
[0,0,0,0,0,z^16,0,0,0,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^25,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
  0],
[0,0,0,0,0,0,0,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^16
  ],
[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^21,0,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^28,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
  0],
[0,0,0,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^29,0,0,0,
  0]]
,
[[0,0,0,0,0,0,0,0,0,0,0,0,0,z^28,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
  0],
[z^29,0,0,0,0,0,0,0,0,0,0,0,0,0,0,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^23,0,0,0,0,0,0,0,0,0,0,0,0,0,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^26,0,0,0,0,0,0,0,0,
  0],
[0,0,0,0,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^18,0,0,
  0],
[0,0,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^25
  ],
[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,z^19,0,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^17,0,0,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^22,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^27,
  0],
[0,0,0,0,0,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^24,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^16,0,0,0,0,0,0,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^20,0,0,0,
  0],
[0,0,0,0,0,0,0,0,0,0,0,0,z^25,0,0,0,0,0,0,0,0,0,0,0,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^21,0,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^20,0,0,0,0,0,0,0,0,0,0,
  0]]];

return result;