/*
www-ATLAS of Group Representations.
U4(2):2 represented as 40 x 40 matrices over GF(2).
*/

F:=GF(2);

x:=CambridgeMatrix(1,F,40,[
"0100000000000000000000000000000000000000",
"1000000000000000000000000000000000000000",
"0000100000000000000000000000000000000000",
"0000001000000000000000000000000000000000",
"0010000000000000000000000000000000000000",
"0000000001000000000000000000000000000000",
"0001000000000000000000000000000000000000",
"0000000000001000000000000000000000000000",
"0000000000000010000000000000000000000000",
"0000010000000000000000000000000000000000",
"0000000000000000100000000000000000000000",
"0000000000000000001000000000000000000000",
"0000000100000000000000000000000000000000",
"0000000000000000000001000000000000000000",
"0000000010000000000000000000000000000000",
"0000000000000000000000001000000000000000",
"0000000000100000000000000000000000000000",
"0000000000000000000000000001000000000000",
"0000000000010000000000000000000000000000",
"0000000000000000000000000000001000000000",
"0000000000000000000000000000000010000000",
"0000000000000100000000000000000000000000",
"0000000000000000000000000000000000010000",
"0000101100001001000110010001001100001000",
"0000000000000001000000000000000000000000",
"0000000000000000000000000000000000000100",
"0000000000000000000000000000000000000010",
"0000000000000000010000000000000000000000",
"1101110000010100101101100000110001001010",
"1100111011111010110010010011011000100110",
"0000000000000000000100000000000000000000",
"1110100000000101000111101100001110010100",
"0000000000000000000010000000000000000000",
"0010001010011110000011010100001001100000",
"0011000000010001001000000101000110101100",
"0000000000000000000000100000000000000000",
"1101001000000100010101100101001000011100",
"0000000000000000000000000100000000000000",
"0000000000000000000000000010000000000000",
"0110111011001111001110010110001110110111"]);

y:=CambridgeMatrix(1,F,40,[
"0010000000000000000000000000000000000000",
"0001000000000000000000000000000000000000",
"0000010000000000000000000000000000000000",
"0000000100000000000000000000000000000000",
"0000000010000000000000000000000000000000",
"0000000000100000000000000000000000000000",
"0000000000010000000000000000000000000000",
"0000000000000100000000000000000000000000",
"0100110010000000000000000000000000000000",
"0000000000000001000000000000000000000000",
"0000000000000000010000000000000000000000",
"0000000000000000000100000000000000000000",
"0000000000000000000010000000000000000000",
"0000000000000000000000100000000000000000",
"0000000000000000000000010000000000000000",
"0000000000000000000000000100000000000000",
"0000000000000000000000000010000000000000",
"0000000000000000000000000000100000000000",
"0000000000000000000000000000010000000000",
"0000000000000000000000000000000100000000",
"0000000000000000000000000000000001000000",
"0000000000000000000000000000000000100000",
"0000000000000000000000000000000000001000",
"1101000110001000110100000011010001000000",
"1101110101011100101001010010011100001000",
"0000000001101101110010101010111001001100",
"1011001011111000101111000010100000101110",
"0010100010111110011011101011010000101100",
"0000000000000000000000000000000000000001",
"0111011111010000111100100000110101000101",
"0101000001000100000110101011101011110010",
"0110101000011000101101111001000101110001",
"0111010001001001011011000110101011000111",
"0010000000001111010110100011111001100011",
"0100110010000010110111100001011011011010",
"1010001110111101011000100101101100101100",
"0101011110110111111111101001110111000011",
"1001110100110110100010000011100000001100",
"0110000101001101000111101100010101110111",
"1111110010100001001111101101011011000111"]);

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