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

F<w>:=GF(4);

x:=CambridgeMatrix(1,F,32,[
"01000000000000000000000000000000",
"10000000000000000000000000000000",
"00010000000000000000000000000000",
"00100000000000000000000000000000",
"00000100000000000000000000000000",
"00001000000000000000000000000000",
"00000000100000000000000000000000",
"00000000010000000000000000000000",
"00000010000000000000000000000000",
"00000001000000000000000000000000",
"00000000000001000000000000000000",
"00000000000000100000000000000000",
"00000000000000001000000000000000",
"00000000001000000000000000000000",
"00000000000100000000000000000000",
"00000000000000000000100000000000",
"00000000000010000000000000000000",
"00000000000000000000001000000000",
"00000000000000000000000100000000",
"00000000000000000000000001000000",
"00000000000000010000000000000000",
"00000000000000000000000000001000",
"00000000000000000100000000000000",
"00000000000000000010000000000000",
"11313112022300030322013023233310",
"00000000000000000001000000000000",
"13100311001202302022013320310123",
"10023132302030200101310021302133",
"00000000000000000000010000000000",
"03011230330113130110313233331200",
"20231202130113033230331222212133",
"03223022100033110221203203110120"]);

y:=CambridgeMatrix(1,F,32,[
"10000000000000000000000000000000",
"00100000000000000000000000000000",
"11100000000000000000000000000000",
"00001000000000000000000000000000",
"00000010000000000000000000000000",
"00000001000000000000000000000000",
"00010000000000000000000000000000",
"00000000001000000000000000000000",
"00000000000100000000000000000000",
"00000000000010000000000000000000",
"00000100000000000000000000000000",
"00000000000000010000000000000000",
"00000000000000000100000000000000",
"00000000000000000010000000000000",
"00000000000000000001000000000000",
"00000000100000000000000000000000",
"00000000000000000000010000000000",
"00000000010000000000000000000000",
"00000000000000000000000010000000",
"00000000000000000000000000100000",
"00000000000000000000000000010000",
"00000000000000000000000000000100",
"00000000000000000000000000000010",
"00000000000000000000000000000001",
"00000000000001000000000000000000",
"10220301303101202223110332301311",
"00000000000000100000000000000000",
"32010323222100101132113131022012",
"01231102302101300232221223330200",
"00000000000000001000000000000000",
"11110021033033130312220121002232",
"10112133332232010020222200020223"]);

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