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

F:=GF(2);

x:=CambridgeMatrix(1,F,48,[
"010000000000000000000000000000000000000000000000",
"000100000000000000000000000000000000000000000000",
"000001000000000000000000000000000000000000000000",
"100000000000000000000000000000000000000000000000",
"000000001000000000000000000000000000000000000000",
"000000000010000000000000000000000000000000000000",
"000000000000100000000000000000000000000000000000",
"000000000000001000000000000000000000000000000000",
"000000000000000010000000000000000000000000000000",
"000000000000000000100000000000000000000000000000",
"001000000000000000000000000000000000000000000000",
"000000000000000000000100000000000000000000000000",
"000000000000000000000010000000000000000000000000",
"000000000000000000000000100000000000000000000000",
"000000000000000000000000001000000000000000000000",
"000000000000000000000000000010000000000000000000",
"000010000000000000000000000000000000000000000000",
"000000000000000000000000000000010000000000000000",
"001000011110101010000110000000100000000000000000",
"000000000000000000000000000000000010000000000000",
"000000000000000000000000000000000000100000000000",
"001011000001101011001110001000110000100000000000",
"000000100000000000000000000000000000000000000000",
"000000000000000000000000000000000000000010000000",
"000000000000000000000000000000000000000000100000",
"000000000000000000000000000000000000000000001000",
"000000010000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000010",
"011111100000101011000111001000000101000110001110",
"000000100100000100110100100001110010000010000010",
"000000100101100001101100000000110000100000000000",
"010111110000110001011100011011010100010000001100",
"101001010000110000101001111110110111011000100010",
"110001100111001101100101011100100001000110000100",
"100111100110110001000010011101010001010110111000",
"001000111100101101110111100111000101010000100010",
"011111101111111011111000011011000100110000001100",
"001101111010001011000111011000111010001110010110",
"100110100111100110001100011010100101001100011100",
"000110100010011010000111010000011111111100011100",
"000110110001001100010011011101001110001100110110",
"000101110011011000111011010000011101111011100100",
"000000000000010000000000000000000000000000000000",
"110111101110010101010001000000101101111000011000",
"011101010101100000101111101000110101000100000010",
"000110100111111010101110110110101111011000011000",
"001110000001100011001011101000001111011000010110",
"111011101101111001100111111110100101000110000101"]);

y:=CambridgeMatrix(1,F,48,[
"001000000000000000000000000000000000000000000000",
"000010000000000000000000000000000000000000000000",
"000000100000000000000000000000000000000000000000",
"000000010000000000000000000000000000000000000000",
"000000000100000000000000000000000000000000000000",
"000000000001000000000000000000000000000000000000",
"000000000000010000000000000000000000000000000000",
"000000000000000100000000000000000000000000000000",
"000000000000000001000000000000000000000000000000",
"000000000000000000010000000000000000000000000000",
"000000000000000000001000000000000000000000000000",
"011001100001000000000000000000000000000000000000",
"000000000000000000000001000000000000000000000000",
"000000000000000000000000010000000000000000000000",
"000000000000000000000000000100000000000000000000",
"000000000000000000000000000001000000000000000000",
"000000000000000000000000000000100000000000000000",
"000000000000000000000000000000001000000000000000",
"000000000000000000000000000000000100000000000000",
"000000000000000000000000000000000001000000000000",
"000000000000000000000000000000000000010000000000",
"000000000000000000000000000000000000001000000000",
"000000000000000000000000000000000000000100000000",
"000000000000000000000000000000000000000001000000",
"000000000000000000000000000000000000000000010000",
"001110000011010011110011111111101011001011000000",
"000000000000000000000000000000000000000000000100",
"011001010110110001000011000111011101001001011010",
"011111111000111001101110000101101010010010100010",
"000000000000000000000000000000000000000000000001",
"010000011001110000110110010101100001010110111000",
"101111101000010001110011110110001010000010001110",
"010101000101001010100101001110111010000100101100",
"110110101110001101101000110111011010000011110011",
"011110010001000100011100001110000101100000011010",
"101101100110010011110011101111101010001011000000",
"001101000000000100101100010111111111111010011000",
"001011000010000101001101010100010101110000001000",
"010000011110100001001010100111101100010110111001",
"010010010100101010001101110001100100010111101011",
"111001111101010010111010101011010111110101110110",
"100010101101011011100111000101010100011100011010",
"111100100000111011101011101010100110101100010010",
"101010000000010101000111011100101101101000101010",
"011010100101100011011000110101011110101111010110",
"111001000110111011001010111100001100010001100100",
"011101000101111001110111001101110110110111001010",
"110010010000010110011110001100000010101011110001"]);

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