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

F:=GF(2);

x:=CambridgeMatrix(1,F,90,[
"010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"011100000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"110100000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000",
"000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000",
"000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000",
"000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000",
"000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000",
"000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000",
"000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000",
"000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000",
"000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000",
"000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000",
"000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000",
"000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000",
"000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000",
"000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000",
"000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000",
"000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000",
"000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000",
"000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000",
"100100010011000111001001100110111010010101010101101111100000010010100000100001010000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000",
"000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010",
"000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000",
"101100111010101001010101101001100010110011011011110000101001100100011010010100010001000010",
"000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000",
"110011101000000101100001111101110000010110110001101100010100011000100000100001000001001000",
"000011111111011010101110001001101001001000111001100110010001000100101000100001010001000000",
"000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000",
"000000000100001101101000101111001000000000110101000100010010000001100000100001000001000010",
"000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000",
"000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000",
"000011111011110110010100111010000000100110100100000110011010010000000100000001010001000010",
"011101100001001011100111111000110001110100011011111101101111010110011000010101010001001000",
"010100000010000011101001000101111000110001000000101110011010000010000001000001010001000010",
"000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000",
"111010011110100001010100101011100010101011001110110000101100000100111010100100010001001010",
"000010100000100101011000110100101010000010000001100011010000000000000000101000010001000000",
"010111101100101000110000000001000010001001001000000111000001000010001000000101010000000000",
"001011000101000010100100101100010010101111000010011100101010010100110010110111010001000000",
"000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000",
"011111010100110011111010100010001001100111111111010101111001010100011010010101110000000010",
"000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000",
"100101001000100000011000000000001000001000010001000100000101000000100000100001001000001000",
"100101011001110100111101111001111000010010100000101110010010000000000000000001010101000010",
"101100111000001011001111111001101011110100011010110100111001010110011010110101010010000010",
"000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000",
"101100111010011100100010011100010011001101001010011000100110010100111010110100010001101000",
"101100111000101010010110110111110001101001110111111111101110000100010010010101000001011000",
"000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000",
"110010100010110011111101011111001010011111111101000001010111010010101000100000000001001110",
"000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000",
"010100000100011000001100010010111010101111010100101001001011010010100000000000000000000011"]);

y:=CambridgeMatrix(1,F,90,[
"001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000",
"100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000",
"010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001",
"110000111010010001001110001010000001001001100011000000101000100010000011001000010101011011",
"010111101100101000110000000001000010001001001000000111000001000010001000000101010000000000",
"001110110010100011010100110011111011010111110001101110010011110001000101100100001000000000",
"011111010100110011111010100010001001100111111111010101111001010100011010010101110000000010",
"100000100101010101011111001101011001101000111101110110100110000100011100000000001011000011",
"110110010100111000001111101111011000010000111001010100101110101000011010101100101101100110",
"100010000111100100000111110000110010110010011000110011110001010100010100010010100110001011",
"110000010110110110111100111011110001100001101100110000100000011011101000111111100000110101",
"001110111101110101110111011010111000000000110000001101010000011111010100000001100001101001",
"111001011111011111010000100001010101111010111000011110111101000010010010011101001011001101",
"101011100001110111010110100101000011110000010011111110101111001100111101100001111010110110",
"000010100110111000111010001100011101011000101000110110011001001011100001011000001001000000",
"000111101011010110101111001101010101101111010011110111101101100010011100011110110001101001",
"001000011110101100101100101000001100010010011101111011011011100010111100010101001000101001",
"010010010110011111110011011111011011010011010000101010001111110110111001001110100101101000",
"100100011100111101011111010100111001000111101001111100001100001101010000110010001010111111",
"100111010101010101101011010001111100001100110110101100101110011111111111011101010001110110",
"000010110010010111000101000111100101110011101010110110010110100011110000110110011101011111",
"001101001100001010101001000100110010111100001111111001100011100011100010011000011111110110",
"110101101010011010101100010010010100111100100110100010000101111011010110001010001000110100",
"110110100001110000001001111001101001000111101010100011110111100101111001011001000000110101",
"010110001001011000011010110101110100000101010011001101010111011111000111011010111011011011",
"101011101011001100000001000110000101101010101100100010000001111001000100100010100001001101",
"001011000000000111100000001111110100101110100010001010101111010110001110011111100011000010",
"111100000010010111011001010110111100111000001010110111000100010011001000001011001100001010",
"000011101011001000010011001110100000101110000000011001110000111111100100111011000111100111",
"100000100100100011011011100001010111011110110101111011111010100011100010010101100001101000",
"000000100110010111011011000010010011011101110011110011101100110110000111111010010011001011",
"011110001111000010001010011111001011011101000111100100101001011100110000111011011011010011",
"111101110000000101011101100101000110111011110010010010111010011100111011010100110000101101",
"010011011110001111010100001110011010101001000000101010000000110110011001001110100101100010"]);

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