/*
www-ATLAS of Group Representations.
L2(31) represented as 31 x 31 matrices over GF(3).
*/

F:=GF(3);

x:=CambridgeMatrix(1,F,31,[
"0100000000000000000000000000000",
"1000000000000000000000000000000",
"0001000000000000000000000000000",
"0010000000000000000000000000000",
"0000010000000000000000000000000",
"0000100000000000000000000000000",
"0000000010000000000000000000000",
"0000000001000000000000000000000",
"0000001000000000000000000000000",
"0000000100000000000000000000000",
"0000000000000100000000000000000",
"0000000000000010000000000000000",
"0000000000000000100000000000000",
"0000000000100000000000000000000",
"0000000000010000000000000000000",
"0000000000000000000010000000000",
"0000000000001000000000000000000",
"0000000000000000000000100000000",
"0000000000000000000000010000000",
"0000000000000000000000000100000",
"0000000000000001000000000000000",
"0000000000000000000000000000100",
"0000000000000000010000000000000",
"0000000000000000001000000000000",
"0000000000000000000000000000001",
"0000000000000000000100000000000",
"2200122002201100201100112110120",
"2222202100002202011022211022022",
"0000000000000000000001000000000",
"1100002222000000012201122200122",
"0000000000000000000000001000000"]);

y:=CambridgeMatrix(1,F,31,[
"1000000000000000000000000000000",
"0010000000000000000000000000000",
"2220000000000000000000000000000",
"0000100000000000000000000000000",
"0000001000000000000000000000000",
"0000000100000000000000000000000",
"0001000000000000000000000000000",
"0000000000100000000000000000000",
"0000000000010000000000000000000",
"0000000000001000000000000000000",
"0000010000000000000000000000000",
"0000000000000001000000000000000",
"0000000000000000010000000000000",
"0000000000000000001000000000000",
"0000000000000000000100000000000",
"0000000010000000000000000000000",
"0000000000000000000001000000000",
"0000000001000000000000000000000",
"0000000000000000000000001000000",
"0000000000000000000000000010000",
"0000000000000000000000000001000",
"1002120221210200220122001021000",
"0000000000000000000000000000010",
"2021021110102202120121101102020",
"0000000000000100000000000000000",
"1200220210011121001012121220020",
"0000000000000010000000000000000",
"0002202022022112021120001012000",
"2001021012001100120211120222021",
"2120121102212222111100122011211",
"2112001110100120122211200021120"]);

G<x,y>:=MatrixGroup<31,F|x,y>;
print "Group G is L2(31) < GL(31,GF(3))";