/*
www-ATLAS of Group Representations.
O7(3) 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",
"001110100100000000000000000000000000000000000000000000000000000000000000000000",
"001101001010000000000000000000000000000000000000000000000000000000000000000000",
"000000010000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000001000000000000000000000000000000000000000000000000000000000000",
"000000000000000000010000000000000000000000000000000000000000000000000000000000",
"000000000000000000000100000000000000000000000000000000000000000000000000000000",
"000000000000000100000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000100000000000000000000000000000000000000000000000000000",
"000000000000100000000000000000000000000000000000000000000000000000000000000000",
"001110110001100001100000000000000000000000000000000000000000000000000000000000",
"000000000000010000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000010000000000000000000000000000000000000000000000000",
"000000000000001000000000000000000000000000000000000000000000000000000000000000",
"001110110001100001000010000000000000000000000000000000000000000000000000000000",
"001110110001001000000101000000000000000000000000000000000000000000000000000000",
"000000000000000010000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000100000000000000000000000000000000000000000000",
"000000000000000000000000000000000010000000000000000000000000000000000000000000",
"001101001000010000010000000100000000000000000000000000000000000000000000000000",
"000000000000000000001000000000000000000000000000000000000000000000000000000000",
"001110110001001000000100000001000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000100000000000000000000000000000000000000",
"000000000000000000000000000000000000000001000000000000000000000000000000000000",
"000000000000000000000000000000001000000000000000000000000000000000000000000000",
"000000000000000000000000010000000000000000000000000000000000000000000000000000",
"000000000000000000000000001000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000010000000000000000000000000000000",
"000000000000000000000000000000000000000000000000100000000000000000000000000000",
"000000000000000000000000000000000000000000000000001000000000000000000000000000",
"000000000000000000000000000000000000000000000000000010000000000000000000000000",
"000000000000000000000000000000100000000000000000000000000000000000000000000000",
"000000000000000000000000010000000100000010000000000000000000000000000000000000",
"000000000000000000000000000000010000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000100000000000000000000",
"000000000000000000000000000000000000000000010000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000001000000000000000000",
"000000000000000000000000000000000000000000000100000000000000000000000000000000",
"000000000000000000000000000000000001000000000000000000000000000000000000000000",
"001110100000000000000000000000000000000000000001000000000000000000000000000000",
"000000000000000000000000000000000000100000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000001000000000000",
"000000000000000000000000000000000000010000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000001000000000",
"000000000000000000000000000000000000001000000000000000000000000000000000000000",
"000000000000000000000000000000010000000001000000000001000000000000000000000000",
"111111111001010010010000100000010000111001001000101110100001000000001000000000",
"000001011001110001011000000010000001001000101010010010010101000001000000000000",
"110000000000000000000000000000000000000000000000000000001000000000000000000000",
"000000000000000000000000000000000000000000100000000000000000000000000000000000",
"001110110001000000000000000000000000000000000000000000000010000000000000000000",
"000000000000000000000000000000000000000000001000000000000000000000000000000000",
"001100010001100001000000010000010101100001000010100100000000100000001000000000",
"001110110001000010000000101000100010111100101000101110000101010000001000000000",
"001101001000101011001100100010110000011101101000001010000101001000000000000000",
"001100000000100001001000011010100111100100101010110000000101000101000000000000",
"001110110001001000000100000000000000010000000000001000000000000010000000000000",
"000000000000000000000000000000000000000000000000010000000000000000000000000000",
"000000000000000000000000000000000000001000000000000010000000000000100000000000",
"000000000000000010000000100000100000000100000000000000000000000000010000000000",
"000000000000000000000000000000000000000000000000000100000000000000000000000000",
"000000000000000000000000000000010000000001000000000000000000000000000100000000",
"111101011001011000011100001010000010010000000000001100000000000000001010000000",
"111100010001011000010100001000110010011101100000011110000100000001001001000000",
"000010100000110011010000111000110110010101000000001000000000000000000000100000",
"110000000000000000000000000000000000000000000000000000000000000000000000010000",
"000000000000000010000000100000000000000000000000000000000000000000000000001000",
"001110110001000000000000000000000000000000000000000000000000000000000000000100",
"000000000000000010000000100000000000000000000000000000000000000000000000000010",
"000000000000000000000000000000000000000000000000000000000000000000000000000001"]);

y:=CambridgeMatrix(1,F,78,[
"001000000000000000000000000000000000000000000000000000000000000000000000000000",
"011000000000000000000000000000000000000000000000000000000000000000000000000000",
"000010000000000000000000000000000000000000000000000000000000000000000000000000",
"000001000000000000000000000000000000000000000000000000000000000000000000000000",
"000000010000000000000000000000000000000000000000000000000000000000000000000000",
"000000000100000000000000000000000000000000000000000000000000000000000000000000",
"000000000010000000000000000000000000000000000000000000000000000000000000000000",
"000000000000100000000000000000000000000000000000000000000000000000000000000000",
"000000000000010000000000000000000000000000000000000000000000000000000000000000",
"000000000000001000000000000000000000000000000000000000000000000000000000000000",
"000000000000000100000000000000000000000000000000000000000000000000000000000000",
"000000000000000010000000000000000000000000000000000000000000000000000000000000",
"000000000000000000100000000000000000000000000000000000000000000000000000000000",
"000000000000000000001000000000000000000000000000000000000000000000000000000000",
"000000000000000000000010000000000000000000000000000000000000000000000000000000",
"000000000000000000000001000000000000000000000000000000000000000000000000000000",
"000000000000000000000000010000000000000000000000000000000000000000000000000000",
"000000000000000000000000001000000000000000000000000000000000000000000000000000",
"101010010000100000100000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000100000000000000000000000000000000000000000000000000",
"000000000000000000000000000001000000000000000000000000000000000000000000000000",
"000000000000000000000000000000100000000000000000000000000000000000000000000000",
"000000000000000000000000000000010000000000000000000000000000000000000000000000",
"001110110001100000000010000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000001000000000000000000000000000000000000000000000",
"001110110000001000000001000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000001000000000000000000000000000000000000000000",
"000000000000000000000000000000000000100000000000000000000000000000000000000000",
"000000000000000000000000000000000000010000000000000000000000000000000000000000",
"000000000000000000000000000000000000001000000000000000000000000000000000000000",
"000000000000000000000000000000000000000010000000000000000000000000000000000000",
"000000000000000000000000000000000000000000100000000000000000000000000000000000",
"000000000000000000000000000000000000000000010000000000000000000000000000000000",
"000000000000000000000000000000000000000000001000000000000000000000000000000000",
"000000000000000000000000000000000000000000000100000000000000000000000000000000",
"000000000000000000000000000000000000000000000001000000000000000000000000000000",
"000000000000000000000000000000000000000000000000010000000000000000000000000000",
"000000000000000000000000000000000000000000000000000100000000000000000000000000",
"000000000000000000000000000000000000000000000000000001000000000000000000000000",
"000000000000000000000000000000000000000000000000000000100000000000000000000000",
"000000000000000000000000000000000000000000000000000000010000000000000000000000",
"000000000000000000000000000000000000000000000000000000001000000000000000000000",
"000100000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000010000000000000000000",
"000000000000000000000000000000000000000000000000000000000000100000000000000000",
"000000000000000000000000000000000000000000000000000000000000010000000000000000",
"000000000000000000000000000000000000000000000000000000000000001000000000000000",
"000000000000000000000000000000000000000000000000000000000000000100000000000000",
"000000000000000000000000000000000000000000000000000000000000000010000000000000",
"000000000000000000000000000000000000000000000000000000000000000000100000000000",
"000000000000000000000000000000000000000000000000000000000000000000010000000000",
"000000000000000000000000000000000000000000000000000000000000000000000100000000",
"000000000000000000000000000000000000000000000000000000000000000000000010000000",
"000000000000000000000000000000000000000000000000000000000000000000000001000000",
"000000000000000000000000000000000000000000000000000000000000000000000000100000",
"001100000000100001001000011010100111100100101010110000000101000101000000000000",
"001010000100000100000000000000000100000000000010000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000010000",
"000000000000000000000000000000000000000000000000000000000000000000000000001000",
"000000000000000000000000000000000000000000000000000000000000000000000000000100",
"000000000000000000000000000000000000000000000000000000000000000000000000000010",
"100110010110011110101111010011001111100011111101100001001100011100101101010110",
"000110010101100110010101110111011011110100001101101100000000010011011111000000",
"010100001001111011101101100100011101111110101010100011100000011011001101010110",
"110101010001000011111100001111001001010010101000100101100001111101001001010110",
"000110111000001010010101111011101101100001101110011000001100111100110111010110",
"000000000000000000000000000000000000000000000000000000000000000000000000000001",
"011100110001111001001011100111110001001000101011100111110000001010000111010110",
"001011100000100000011110111111001100100011001010011101100101111100000001010110",
"110011010111111001101110110001110101010111000101110110000100100101000100010110",
"100010001000011011110010000000101011111010100011101001011000011110000010000010",
"000000001000000000000000000000000000000000000000000000000000000000000000000000",
"101000110110011110101111010011011111110010111101101101001100011100100101010110",
"110111110111001011011100000010101111110000101010001101101001100111110010100000",
"001100000101100101000000000000010101100001000010100100000000100000001000000000",
"100101110001011000001101111110111101010000001010001100111000110100001010010110",
"000000001111101101110110101011101000111010000100001101000100110100100101010100",
"100111100100010011000111110011110011011110110101010000100010000101110000101001"]);

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