/*
www-ATLAS of Group Representations.
U3(4):4 represented as 96 x 96 matrices over GF(2).
*/

F:=GF(2);

x:=CambridgeMatrix(1,F,96,[
"010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000",
"000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000",
"000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000",
"000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000",
"000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000",
"000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000",
"000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000",
"000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000",
"000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000",
"000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000",
"110000000000100000100000100000000001000000010000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000",
"000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000",
"000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000",
"000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000",
"000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000",
"000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000",
"110000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000",
"000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000",
"000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000",
"001100100101100110010101110110011000110000011110100011000010011111110100110111010100100001010000",
"000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000",
"111111110100110101101101111110000000010101100010001010011110011111110111001111111100011111001110",
"000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000",
"100111010001000101110000010001000010111011110110101001101001111011101010011101111110111101010001",
"100110111001001010100110011110011001101010110100011001011000011010111110111101000011001101110010",
"000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000",
"010001110111010111011101101101100010110010101110101110100110011010111000000011100111001001111111",
"000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000",
"000101001111101110110001111001001001111101101011000010000010010111011110111110101100111110000011",
"000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000",
"110000000000000000000000000000000000000010000000000000000010000000000000000010000000000000000000",
"110110010000100111111010110111110100110011110111011010110100100110111110000010110110110001010110",
"000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000",
"011111100011011001111100011101100011111110100101011111110011101001101110101110100110010010101000",
"000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000",
"101110010100111010011010011011100000111011100110101011001010111111100001101001000011000000111000",
"110110000001001001011111011001100110001000010110011011001110001001011111110110101110000001011101",
"000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000",
"001100011010110110011110101111111011111110000110000111011100011110000000100101100010101100100110",
"100100111011100111010111011100010011101001101110111000010100011101110001001100100011111110001000",
"110010100100001100010000000101111111011100100010111111101101001000101101010010110011100001111111",
"000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000",
"001110001111000001010000001011000000111110111000100011111100000001010011010101010111111011010101",
"000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000",
"001010110110000111011111100001110001001110100101010111110111111101111111100100000101111111100011",
"000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000",
"001111011110101111111010100110011110110001110001001000100101100110101100011110000110011100010100",
"010001100111101111011100001000101011000111110110110011010101111011011110100000001110011101011000",
"111001001110100111000010101110110111011110010100111000100101110111110101010000101100110011000110",
"011101001010010011111000110100001001111011011110000010000101011110000010111100010100000110101011"]);

y:=CambridgeMatrix(1,F,96,[
"001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"011000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"101010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000",
"000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000",
"000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000",
"000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000",
"000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000",
"000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000",
"000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100",
"000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001",
"000000000110001101000111100110101110011100100101100011100001011111010110101100111000110110111111",
"000110101001011111100011000010100010111000101101001111011010011010100110010111111010110001001111",
"101001110010100011000111100001110100011101110010011000011111110000011001010111110010101000000110",
"000100010111111101001010011011100001010000000011111000001111101100111000101101100100001001111000",
"110011000011101001111000111101110000100110110100001101110000000011010000110111111011110111101110",
"011101100000111101000111011100111101011000010111101001010111110010111110101001100101001001011001",
"000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000",
"110001000100000111001100100001111000111100110101110001101010001110001001110110110010111001111110",
"001110000101001100110011100001101010011101000111101001111010111000101000000100111010001011101100",
"000001001101011011010100110101110001001110010011000101100110010011011110010101000100111110110110",
"111000000000001111010011111001111010111001110010101000011110101100010110111001111101111110110001",
"000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000",
"110101011110110110010011110001111110101111100101101001000011011111001101011010101111000110101111",
"110010010110111111100011000010100100011010100010111111101010101110101100101001100101010001000001",
"100000100101100010101100101101110011000111010000011111000010101001100111101101010001110011111011",
"010101110010110101000011000011011010001000000110110100110010110110000101101000110010111100100000",
"110010100001000001011010001100000110010111000101000100001111001110001111111100111001110001100001",
"110010001101011001011100111100110110011111011000110101001010010100011000010100101100111100011101",
"111000001101110010010101110101010100101101010100100000101011001111011000010101110010110000000000",
"101110110001011011110010010110101010100011110000000011010000111010100011100011001001010100110111",
"000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000",
"100111001011110010110000000100101001101001100101100010110000111101001011011110101001111001001011",
"110001100010111000001110111000011111011010000110101011101001010101110000011100100110100001100010",
"010110001111001101111100101110001001111011000101101011010101010011001100100100010001000000111100",
"101110010001011111101000110011011110001001110111000100010111011111011010101000101111111001001001",
"110101011101111111100010001111011010100110000010100101100101100010001100001010001101001111100110",
"110110100010100001001110011011111100001100100111001011001100110000001100111111111010000111101111",
"000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000"]);

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