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

F:=GF(2);

x:=CambridgeMatrix(1,F,30,[
"000000000000000010000000000000",
"000000000000000100000000000000",
"000000000000000111000000000000",
"000000000000000110100000000000",
"000000000000000001000100000000",
"000000000000000000100001000000",
"000000000000000100010000000000",
"000000000000000000110111111000",
"000000000000000010001000000000",
"000000000000000001001111100110",
"000000000000000000010000001000",
"000000000000000111000000010000",
"000000000000000011100010111011",
"000000000000000000001000000010",
"000000000000000101000010000000",
"010000000000000000000000000000",
"100000000000000000000000000000",
"111000000000000000000000000000",
"110100000000000000000000000000",
"010000100000000000000000000000",
"100000001000000000000000000000",
"111010000000000000000000000000",
"101000000000001000000000000000",
"110101000000000000000000000000",
"011011010011001000000000000000",
"001000000001000000000000000000",
"010000100010000000000000000000",
"000100010111010000000000000000",
"100000001000010000000000000000",
"100111111000110000000000000000"]);

y:=CambridgeMatrix(1,F,30,[
"101110110000011000000000000000",
"010110000000101000000000000000",
"100000100101100000000000000000",
"100100101001110000000000000000",
"001111101111110000000000000000",
"111111111010000000000000000000",
"001000010101111000000000000000",
"001011010101111000000000000000",
"000000100111101000000000000000",
"010011101110000000000000000000",
"000101001110001000000000000000",
"001110110001011000000000000000",
"001001101110101000000000000000",
"100111100100111000000000000000",
"100110010011011000000000000000",
"000000000000000101011000001001",
"000000000000000111010001000001",
"000000000000000011010000010001",
"000000000000000111010010011110",
"000000000000000111101110110100",
"000000000000000111111000010110",
"000000000000000100101000011011",
"000000000000000001001011011010",
"000000000000000100110101100111",
"000000000000000011100011001010",
"000000000000000100100111011011",
"000000000000000101011000100110",
"000000000000000001000101000011",
"000000000000000100011010010010",
"000000000000000101111010000110"]);

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