/*
www-ATLAS of Group Representations.
O7(3):2 represented as 78 x 78 matrices over GF(2).
*/

F:=GF(2);

x:=CambridgeMatrix(1,F,78,[
"010000000000000000000000000000000000000000000000000000000000000000000000000000",
"100000000000000000000000000000000000000000000000000000000000000000000000000000",
"000100000000000000000000000000000000000000000000000000000000000000000000000000",
"001000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000100000000000000000000000000000000000000000000000000000000000000000000000",
"000000001000000000000000000000000000000000000000000000000000000000000000000000",
"000010000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000001000000000000000000000000000000000000000000000000000000000000000000",
"000001000000000000000000000000000000000000000000000000000000000000000000000000",
"000000010101000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000100000000000000000000000000000000000000000000000000000000000000",
"000000010000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000100000000000000000000000000000000000000000000000000000000000",
"000000000000000000001000000000000000000000000000000000000000000000000000000000",
"000000010001001000000000000000000000000000000000000000000000000000000000000000",
"000000000010000000000000000000000000000000000000000000000000000000000000000000",
"000000000000100010100000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000010000000000000000000000000000000000000000000000000000",
"000000000000100000000000000000000000000000000000000000000000000000000000000000",
"001110110001100000110000000000000000000000000000000000000000000000000000000000",
"000000000000010000000000000000000000000000000000000000000000000000000000000000",
"000000010001000000000100000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000100000000000000000000000000000000000000000000000",
"000000000000000000000000000000010000000000000000000000000000000000000000000000",
"000000000000000000000000000000000100000000000000000000000000000000000000000000",
"000000000000000001000000000000000000000000000000000000000000000000000000000000",
"001110110001100000100000001000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000010000000000000000000000000000000000000000",
"000000000000000000000000000000000000001000000000000000000000000000000000000000",
"000000000000000010100000000000000000000100000000000000000000000000000000000000",
"000000000000000000000010000000000000000000000000000000000000000000000000000000",
"000000000000000000000001000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000010000000000000000000000000000000000",
"000000000000000000000000100000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000010000000000000000000000000000000",
"000000000000000000000000000000000000000000000000100000000000000000000000000000",
"000000000000000000000000000000000000000000000000001000000000000000000000000000",
"000000000000000000000000000100000000000000000000000000000000000000000000000000",
"000000000000000000000000000010000000000000000000000000000000000000000000000000",
"000000000000000010100000000001000000000000000000000000000000000000000000000000",
"001110110001100000100010000000100000000010000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000001000000000000000000000",
"000000000000100011000001110101011100010100110000000000000000000000000000000000",
"000000000000000000000000000000001000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000001000000000000000000",
"000000000000100011000000110011001100001101010100000000001000000000000000000000",
"000000000000000000000000000000000010000000000000000000000000000000000000000000",
"001110110001100000100000000000000000000000000001000000000000000000000000000000",
"000000000000000000000000000000000001000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000001000000000000",
"000000000000000000000000000000000000100000000000000000000000000000000000000000",
"110011101000110001101010010000100001100001000000111100001000000001000000000000",
"001101001000010000001001000000010001000000000000100010000000000000000000000000",
"000000000000000000000001000000010000000000000000000001000000000000000000000000",
"001110110001100000100010100110101101011000011000100000100001000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000010000000",
"000000000000000000000000000000000000000001000000000000000000000000000000000000",
"111101011001010011101011010011110011101101001010111000001101000001000000000000",
"110010110001010010101010000111101010011101010010000000001010000000000000000000",
"000000000000000000000000000000000000000000001000000000000000000000000000000000",
"011111111101101110011000101111110111100110010111110010011000110000100110000000",
"001110110001100000100000000000000000000000000000000000000000010000000000000000",
"101100000110011000010000001110110010000011011111011010000001011000100100000000",
"010110101011011010110000110110001100001110011101110000100001111000110100100000",
"000000000000100011000000110011001100001101010000000000001000000010000000000000",
"000000000000000000000000000000000000000000000000010000000000000000000000000000",
"110000010011100101100000010100000001110000000000101000000000000000100000000000",
"110000000000000000000000000000000000000000000000000000000000000000010000000000",
"001100000000000000000000000000000000000000000000000000000000000000001000000000",
"000011101000100010000000100001000100000100000000010000000000000001000100000000",
"000000000000000000000000000000000000000000000000000000010000000000000000000000",
"111101011001110110111010000011001100101101010100111100100000000001111000010100",
"010101010000111111010000100010001100011110011101110000110001111100110110000000",
"111111111011010000111010100110001000011001010100100100100000000000111001000100",
"101011100001111001000011100101010000000010001001010100001001111100001101111100",
"111101011011110101101010010100100000110001001000001000001001000000000000000100",
"111101001010000111100010110011101100001101010000000000001000000000000000000010",
"110010110001100000100010000000100010000000000010000000000000000000000000000001"]);

y:=CambridgeMatrix(1,F,78,[
"001000000000000000000000000000000000000000000000000000000000000000000000000000",
"011000000000000000000000000000000000000000000000000000000000000000000000000000",
"000010000000000000000000000000000000000000000000000000000000000000000000000000",
"000001000000000000000000000000000000000000000000000000000000000000000000000000",
"000000010000000000000000000000000000000000000000000000000000000000000000000000",
"000000000100000000000000000000000000000000000000000000000000000000000000000000",
"000000000010000000000000000000000000000000000000000000000000000000000000000000",
"000000000000100000000000000000000000000000000000000000000000000000000000000000",
"000000000000010000000000000000000000000000000000000000000000000000000000000000",
"000000000000001000000000000000000000000000000000000000000000000000000000000000",
"000000000000000010000000000000000000000000000000000000000000000000000000000000",
"000000000000000001000000000000000000000000000000000000000000000000000000000000",
"000000000000000000010000000000000000000000000000000000000000000000000000000000",
"000000000000000000000100000000000000000000000000000000000000000000000000000000",
"000000000000000000000010000000000000000000000000000000000000000000000000000000",
"000000000000000000000001000000000000000000000000000000000000000000000000000000",
"000000000000000000000000100000000000000000000000000000000000000000000000000000",
"000000000000000000000000001000000000000000000000000000000000000000000000000000",
"000000000000000000000000000100000000000000000000000000000000000000000000000000",
"101010010000100000010000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000010000000000000000000000000000000000000000000000000",
"000000000000000000000000000001000000000000000000000000000000000000000000000000",
"001110110001100000110000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000001000000000000000000000000000000000000000000000",
"000000000000000000000000000000000010000000000000000000000000000000000000000000",
"000000000000000000000000000000000001000000000000000000000000000000000000000000",
"000000000000000000000000000000000000100000000000000000000000000000000000000000",
"001110000100000010000000001000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000100000000000000000000000000000000000000",
"000000000000000000000000000000000000000010000000000000000000000000000000000000",
"000000000000000000000000000000000000000001000000000000000000000000000000000000",
"000000000000000000000000000000000000000000100000000000000000000000000000000000",
"000000000000000000000000000000000000000000001000000000000000000000000000000000",
"000000000000000000000000000000000000000000000100000000000000000000000000000000",
"000000000000000000000000000000000000000000000001000000000000000000000000000000",
"000000000000000000000000000000000000000000000000010000000000000000000000000000",
"000000000000000000000000000000000000000000000000000100000000000000000000000000",
"000000000000000000000000000000000000000000000000000010000000000000000000000000",
"000000000000000000000000000000000000000000000000000001000000000000000000000000",
"000000000000000000000000000000000000000000000000000000100000000000000000000000",
"000000000000000000000000000000000000000000000000000000010000000000000000000000",
"000000011001001100100110000000101100010100000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000100000000000000000000",
"000000000000000000000000000000000000000000000000000000000010000000000000000000",
"000000000000000000000000000000000000000000000000000000000000100000000000000000",
"000000000000000000000000000000000000000000000000000000000000010000000000000000",
"000000000000000000000000000000000000000000000000000000000000001000000000000000",
"000000000000000000000000000000000000000000000000000000000000000100000000000000",
"000000000000000000000000000000000000000000000000000000000000000010000000000000",
"000000000000000000000000000000000000000000000000000000000000000000100000000000",
"000000000000000000000000000000000000000000000000000000000000000000010000000000",
"000000000000000000000000000000000000000000000000000000000000000000001000000000",
"000000000000000000000000000000000000000000000000000000000000000000000100000000",
"011101100101000100101000000110110101000110010100101010101101000000100000000000",
"111001011100110101110001011111101001101001010010110110101000110001111100000000",
"000000000000000000000000000000000000000000000000000000000000000000000001000000",
"101110001111000111011011110100000100101000010010010001100011000001111000000000",
"001101000000010001010010010110101101001001010101110100110011001011100010000000",
"001001010100110100100110001010011000111001001001001110111100000000111000000000",
"011011110110010000110000001000000101010001001001010111010010111010111100000000",
"000000000000000000000000000000000000000000000000000000000000000000000000100000",
"000000000000000000000000000000000000000000000000000000000000000000000000010000",
"000000000000000000000000000000000000000000000000000000000000000000000000001000",
"000000100000000000000000000000000000000000000000000000000000000000000000000000",
"100111100010110100110010111000011010100110001100111011101010000000101100000000",
"111110110110010000110000001001000100110001000010011111100011000011000000000000",
"101110111110111101000011010101000100110000000010000101101011000001101000000000",
"000111111101001110111011101011001110110110001110000010001001000001101100000000",
"101101010010101001010010011110001010011010011110011000001001000001011000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000100",
"000000000000000000000000000000000000000000000000000000000000000000000000000010",
"000000001000000000000000000000000000000000000000000000000000000000000000000000",
"000111000111111110111111001001000101011011011011000011100010111100111100111100",
"000000000000000000000000000000000000000000000000000000000000000000000000000001",
"000011000001011001110011000101000100000001001100001010100000000000000000000000",
"001000110110111011001000011000100001100110001110010111000010100000000000000001",
"100111001100100010000100100001000100000100010000010000000000000000000100000000",
"101100101011011111100010001000110010101010100111011011010001000001111000000100"]);

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