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

F:=GF(2);

x:=CambridgeMatrix(1,F,74,[
"01000000000000000000000000000000000000000000000000000000000000000000000000",
"10000000000000000000000000000000000000000000000000000000000000000000000000",
"00001000000000000000000000000000000000000000000000000000000000000000000000",
"00000010000000000000000000000000000000000000000000000000000000000000000000",
"00100000000000000000000000000000000000000000000000000000000000000000000000",
"00000000100000000000000000000000000000000000000000000000000000000000000000",
"00010000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000100000000000000000000000000000000000000000000000000000000000000",
"00000100000000000000000000000000000000000000000000000000000000000000000000",
"00000000000001000000000000000000000000000000000000000000000000000000000000",
"00000000000000100000000000000000000000000000000000000000000000000000000000",
"00000001000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000100000000000000000000000000000000000000000000000000000000",
"00000000010000000000000000000000000000000000000000000000000000000000000000",
"00000000001000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000010000000000000000000000000000000000000000000000000000",
"00000000000000000000000100000000000000000000000000000000000000000000000000",
"00000000000010000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000100000000000000000000000000000000000000000000000",
"11111010001010100101000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000100000000000000000000000000000000000000000000",
"00000000000000010000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000100000000000000000000000000000000000000000",
"00000000000000001000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000001000000000000000000000000000000000000000",
"00000000000000000000000000000000000010000000000000000000000000000000000000",
"00000000000000000010000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000010000000000000000000000000000000000",
"11010110100000010010010000101000000000000000000000000000000000000000000000",
"00000000000000000000100000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000010000000000000000000000000000000",
"00000000000000000000000000000000000000000000100000000000000000000000000000",
"00000000000000000000001000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000100000000000000000000000000",
"00000000000000000000000010000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000001000000000000000000000000",
"00000000000000000000000001000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000010000000000000000000000",
"00000000000000000000000000000000000000000000000000000100000000000000000000",
"00000000000000000000000000010000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000100000000000000000",
"00000000000000000000000000000000000000000000000000000000010000000000000000",
"00000000000000000000000000000010000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000010000000000000",
"00000000000000000000000000000001000000000000000000000000000000000000000000",
"00000000010001010010010000100000000000000000010000000000000000000000000000",
"11101100010110100100110101001111000110011100001010010010010100000000000000",
"00000000000000000000000000000000010000000000000000000000000000000000000000",
"00010010101111011100001010001001101001111010000001000110000100000000000000",
"00000000000000000000000000000000000100000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000001000000000",
"00000000000000000000000000000000000001000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000010000000",
"00000000000000000000000000000000000000100000000000000000000000000000000000",
"11000101100100000010000010100000001000000000000000000010000000000000000000",
"01100001011010110001001100011100001000000001000100001010100000010110000000",
"00000000000000000000000000000000000000001000000000000000000000000000000000",
"00000000000000000000000000000000000000000100000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000100000",
"00000100010110110100001100011010100100100000100010010110100000000000000000",
"00000000000000000000000000000000000000000001000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000001000",
"00000000000000000000000000000000000000000000000000000000000000000000000100",
"11111110110001000000000000000000000000001001000000001000100010010010000000",
"00000000000000000000000000000000000000000000000000100000000000000000000000",
"10011111110010011001100000001000111000010001000000000011100000010000000000",
"00000000000000000000000000000000000000000000000000001000000000000000000000",
"11010101001001100111000100110001010100011101101000000110101101110011101011",
"00000000000000000000000000000000000000000000000000000000001000000000000000",
"10001010111000101010000100000001001011011011111111001101010000010110010000",
"00000000000000000000000000000000000000000000000000000000000001000000000000",
"00000000000000000000000000000000000000000000000000000000000000100000000000",
"10010101000100100000101111110101100010111101101101100000001111101000101001",
"10101011101100011010010000000000011100101101001000100000001111001000101110"]);

y:=CambridgeMatrix(1,F,74,[
"00100000000000000000000000000000000000000000000000000000000000000000000000",
"00010000000000000000000000000000000000000000000000000000000000000000000000",
"00000100000000000000000000000000000000000000000000000000000000000000000000",
"00000001000000000000000000000000000000000000000000000000000000000000000000",
"10011101000000000000000000000000000000000000000000000000000000000000000000",
"00000000010000000000000000000000000000000000000000000000000000000000000000",
"00000000001000000000000000000000000000000000000000000000000000000000000000",
"01001101010000000000000000000000000000000000000000000000000000000000000000",
"00000000000010000000000000000000000000000000000000000000000000000000000000",
"10000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000010000000000000000000000000000000000000000000000000000000000",
"00000000000000001000000000000000000000000000000000000000000000000000000000",
"00000000000000000010000000000000000000000000000000000000000000000000000000",
"00000000000000000001000000000000000000000000000000000000000000000000000000",
"00000000000000000000100000000000000000000000000000000000000000000000000000",
"00000000000000000000001000000000000000000000000000000000000000000000000000",
"00000000000000000000000010000000000000000000000000000000000000000000000000",
"00000000000000000000000001000000000000000000000000000000000000000000000000",
"00000000000000000000000000010000000000000000000000000000000000000000000000",
"00000000000000000000000000001000000000000000000000000000000000000000000000",
"00000000000000000000000000000010000000000000000000000000000000000000000000",
"00000000000000000000000000000001000000000000000000000000000000000000000000",
"00000010000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000010000000000000000000000000000000000000000",
"00000000000000000000000000000000000100000000000000000000000000000000000000",
"00000000000000000000000000000000000001000000000000000000000000000000000000",
"00000000000000000000000000000000000000100000000000000000000000000000000000",
"00000000100000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000001000000000000000000000000000000000",
"00000000000000000000000000000000000000000100000000000000000000000000000000",
"00000000000000000000000000000000000000000001000000000000000000000000000000",
"00000000000000000000000000000000000000000000010000000000000000000000000000",
"00000000000000000000000000000000000000000000001000000000000000000000000000",
"00000000000000000000000000000000000000000000000010000000000000000000000000",
"11110000100110001000000000100000001000100000000000000000000000000000000000",
"00000000000100000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000100000000000000000000000",
"00000000000000000000000000000000000000000000000000001000000000000000000000",
"00000000000000000000000000000000000000000000000000000010000000000000000000",
"00000000000000000000000000000000000000000000000000000001000000000000000000",
"00000000000001000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000001000000000000000",
"00000000000000000000000000000000000000000000000000000000000100000000000000",
"00000000000000100000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000001000000000000",
"11100111010001000000011000110000101000010010000000000000100000000000000000",
"00011010100000011111010010101001001100101000100000010010000100000000000000",
"00000000000000000000000000000000000000000000000000000000000000100000000000",
"00000000000000000000000000000000000000000000000000000000000000010000000000",
"00011011000110010000000000001000101000011001001000001010100000010000000000",
"00000000000000000000000000000000000000000000000000000000000000000100000000",
"01011110110001000001011000011011100101000000000011010000000100000000000000",
"00000000000000000100000000000000000000000000000000000000000000000000000000",
"11111111001110001100010011100001100001110001000001010101000100010000000000",
"11000000101101001110011010001011000100010000000010010110000100000000000000",
"01111101100100101101010100100001001100101000000000010110000100000000000000",
"00001011001110001001010000100001001000000000001000000001000100000000000000",
"00000000000000000000000000000000000000000000000000000000000000000001000000",
"00000000000000000000000000000000000000000000000000000000000000000000010000",
"01010011010100011010010010000000000100101000010000010010000100000000000000",
"01111111000000011101100011101000001010101101000100001100110000010110000000",
"10110010110100000000001000010000000001011000000000000000100000000000000000",
"10010000011000110011000010001110101110111000000101010100001000000100000000",
"00000000000000000000000100000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000010",
"00000000000000000000000000000000000000000000000000000000000000000000000001",
"11100110000101011000010000110000111101011100110101111111010001110011001001",
"10101100100011011000111000101011111101010000000001010010001111010110010000",
"10000001110010001001110111000111110001101000000011111110101001011100100010",
"00000000000000000000000000000100000000000000000000000000000000000000000000",
"11101011110010001111111101011011000110011110000111101000010010010110010001",
"00000100001001011011011011110101101011001011101100101010000001001000000111",
"11101011000100011111110000110100000011101011010001100000011110001010011001",
"00000000000000000000000000000000000010000000000000000000000000000000000000"]);

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