/*
www-ATLAS of Group Representations.
L2(17) represented as 48 x 48 matrices over GF(2).
*/

F:=GF(2);

x:=CambridgeMatrix(1,F,48,[
"100000000000000000000000000000000000000000000000",
"010000000000000000000000000000000000000000000000",
"000100000000000000000000000000000000000000000000",
"001000000000000000000000000000000000000000000000",
"000001000000000000000000000000000000000000000000",
"000010000000000000000000000000000000000000000000",
"000000001000000000000000000000000000000000000000",
"000000000100000000000000000000000000000000000000",
"000000100000000000000000000000000000000000000000",
"000000010000000000000000000000000000000000000000",
"000000000000010000000000000000000000000000000000",
"000000000000001000000000000000000000000000000000",
"000000000000000010000000000000000000000000000000",
"000000000010000000000000000000000000000000000000",
"000000000001000000000000000000000000000000000000",
"000000000000000000001000000000000000000000000000",
"000000000000100000000000000000000000000000000000",
"000000000000000000000010000000000000000000000000",
"000000000000000000000001000000000000000000000000",
"000000000000000000000000010000000000000000000000",
"000000000000000100000000000000000000000000000000",
"000000000000000000000000000010000000000000000000",
"000000000000000001000000000000000000000000000000",
"000000000000000000100000000000000000000000000000",
"000000000000000000000000000000001000000000000000",
"000000000000000000010000000000000000000000000000",
"000000000000000000000000000000000010000000000000",
"000000000000000000000000000000000001000000000000",
"000000000000000000000100000000000000000000000000",
"000000000000000000000000000000000000001000000000",
"000000000000000000000000000000000000000100000000",
"000000000000000000000000000000000000000001000000",
"000000000000000000000000100000000000000000000000",
"000000000000000000000000000000000000000000010000",
"000000000000000000000000001000000000000000000000",
"000000000000000000000000000100000000000000000000",
"000000000000000000000000000000000000000000000100",
"000000000000000000000000000000000000000000000010",
"000000000000000000000000000001000000000000000000",
"000000000000000000000000000000100000000000000000",
"110011111100000101001010000100000001000010000000",
"000000000000000000000000000000010000000000000000",
"100111110110100100010100110101110100000111010001",
"000000000000000000000000000000000100000000000000",
"100011101000000001100111100011101000001100001000",
"000000000000000000000000000000000000100000000000",
"000000000000000000000000000000000000010000000000",
"011000100000010111010010010110111100001111110000"]);

y:=CambridgeMatrix(1,F,48,[
"010000000000000000000000000000000000000000000000",
"001000000000000000000000000000000000000000000000",
"100000000000000000000000000000000000000000000000",
"000010000000000000000000000000000000000000000000",
"000000100000000000000000000000000000000000000000",
"000000010000000000000000000000000000000000000000",
"000100000000000000000000000000000000000000000000",
"000000000010000000000000000000000000000000000000",
"000000000001000000000000000000000000000000000000",
"000000000000100000000000000000000000000000000000",
"000001000000000000000000000000000000000000000000",
"000000000000000100000000000000000000000000000000",
"000000000000000001000000000000000000000000000000",
"000000000000000000100000000000000000000000000000",
"000000000000000000010000000000000000000000000000",
"000000001000000000000000000000000000000000000000",
"000000000000000000000100000000000000000000000000",
"000000000100000000000000000000000000000000000000",
"000000000000000000000000100000000000000000000000",
"000000000000000000000000001000000000000000000000",
"000000000000000000000000000100000000000000000000",
"000000000000000000000000000001000000000000000000",
"000000000000000000000000000000100000000000000000",
"000000000000000000000000000000010000000000000000",
"000000000000010000000000000000000000000000000000",
"000000000000000000000000000000000100000000000000",
"000000000000001000000000000000000000000000000000",
"000000000000000000000000000000000000100000000000",
"000000000000000000000000000000000000010000000000",
"000000000000000010000000000000000000000000000000",
"000000000000000000000000000000000000000010000000",
"000000000000000000000000000000000010000000000000",
"000000000000000000000000000000000000000000100000",
"000000000000000000000000000000000000000000001000",
"000000000000000000000001000000000000000000000000",
"110011111100000101001010000100000001000010000000",
"000000000000000000001000000000000000000000000000",
"000000000000000000000000000000000000000000010000",
"000000000000000000000000000000000000000000000001",
"001001100000001011110000000000011011100001001000",
"000000000000000000000010000000000000000000000000",
"011100110111001010000001000100100000001100000001",
"100011000100111100110001111100011111100010101000",
"000000000000000000000000000010000000000000000000",
"000000000000000000000000010000000000000000000000",
"000011101110110100010000111000001000001000101101",
"111111101100100111010111111111111001011101000011",
"111000100111001110011100110001100001000111100001"]);

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