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

F:=GF(2);

x:=CambridgeMatrix(1,F,80,[
"01000000000000000000000000000000000000000000000000000000000000000000000000000000",
"10000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00001000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000010000000000000000000000000000000000000000000000000000000000000000000000000",
"00100000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000100000000000000000000000000000000000000000000000000000000000000000000000",
"00010000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000100000000000000000000000000000000000000000000000000000000000000000000",
"00000100000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000001000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000100000000000000000000000000000000000000000000000000000000000000000",
"00000001000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000100000000000000000000000000000000000000000000000000000000000000",
"00000000010000000000000000000000000000000000000000000000000000000000000000000000",
"00000000001000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000010000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000100000000000000000000000000000000000000000000000000000000",
"00000000000010000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000100000000000000000000000000000000000000000000000000000",
"00000000000000000000000000001000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000010000000000000000000000000000000000000000000000000",
"00000000000000010000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000010000000000000000000000000000000000000000000000",
"00000000000000001000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000100000000000000000000000000000000000000000000",
"00000000000000000000000000000000000001000000000000000000000000000000000000000000",
"00000000000000000010000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000001000000000000000000000000000000000000000",
"00000000000000000001000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000010000000000000000000000000000000000000",
"00000000000000000000100000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000010000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000100000000000000000000000000000000",
"00000000000000000000001000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000100000000000000000000000000000",
"00000000000000000000000010000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000100000000000000000000000000",
"00000000000000000000000001000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000001000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000010000000000000000000000",
"00000000000000000000000000010000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000010000000000000000000",
"00000000000000000000000000000100000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000010000000000000000",
"00000000000000000000000000000000000000000000000000000000000000001000000000000000",
"00000000000000000000000000000001000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000001000000000000",
"00000000000000000000000000000000100000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000010000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000100000000",
"00000000000000000000000000000000001000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000100000",
"00000000000000000000000000000000000000000000000000000000000000000000000000001000",
"00000000000000000000000000000000000010000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000001",
"00000000000000000000000000000000000000100000000000000000000000000000000000000000",
"10110100101011110110101111001100101110011010010101001110110110100111011000000000",
"00000000000000000000000000000000000000010000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000100",
"01011010110000001111110001100011011010011000110011011100011011110011010111110110",
"00000000000000000000000000000000000000000100000000000000000000000000000000000000",
"01100001110011001100101010010111011111111111000111101101010101100110000100001011",
"11000011110000000010110111111010110101011010011000110111011000111101101110111010",
"00000000000000000000000000000000000000000001000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000100000000000000000000000000000000000",
"11101010100000010100110010100100000110000011110000011100001001000000011111111111",
"10000010101011010110110001101010100011000111000001010010101111000110011011000000",
"00000000000000000000000000000000000000000000001000000000000000000000000000000000",
"10001000001000000000111100100010110011010011100000100111110011111010010001000111",
"00000000000000000000000000000000000000000000000010000000000000000000000000000000",
"00001011011010010100111000101100010011001010000001001111100011101111100001111010",
"00000000000000000000000000000000000000000000000001000000000000000000000000000000",
"01010000000111000111010100100111001010111001110110011101010000010101001110011101",
"11101000101100010011101010011011010110001110100001100111101111011100100100000000",
"00000000000000000000000000000000000000000000000000010000000000000000000000000000",
"00110010101111011001111110010110111101000011011110100001100010100010100010110000",
"00000000000000000000000000000000000000000000000000001000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000001000000000000000000000",
"00011100101111000111000000010110101011000011001100100111100011111110101101110000",
"00000000000000000000000000000000000000000000000000000010000000000000000000000000"]);

y:=CambridgeMatrix(1,F,80,[
"00100000000000000000000000000000000000000000000000000000000000000000000000000000",
"00010000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000100000000000000000000000000000000000000000000000000000000000000000000000000",
"00000001000000000000000000000000000000000000000000000000000000000000000000000000",
"10011101000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000010000000000000000000000000000000000000000000000000000000000000000000000",
"00000000001000000000000000000000000000000000000000000000000000000000000000000000",
"01001101010000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000010000000000000000000000000000000000000000000000000000000000000000000",
"10000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000010000000000000000000000000000000000000000000000000000000000000000",
"00000000000000001000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000010000000000000000000000000000000000000000000000000000000000000",
"00000000000000000001000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000100000000000000000000000000000000000000000000000000000000000",
"00000000000000000000001000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000010000000000000000000000000000000000000000000000000000000",
"00000000000000000000000001000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000010000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000100000000000000000000000000000000000000000000000000",
"00000000000000000000000000000001000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000100000000000000000000000000000000000000000000000",
"00000010000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000001000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000010000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000100000000000000000000000000000000000000000",
"00000000000000000000000000000000000000010000000000000000000000000000000000000000",
"00000000100000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000100000000000000000000000000000000000000",
"00000000000000000000000000000000000000000001000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000100000000000000000000000000000000000",
"00000000000000000000000000000000000000000000001000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000010000000000000000000000000000000",
"00000000000000000000000000000000000000000000000001000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000010000000000000000000000000000",
"00000000000000000000000000000000000000000000000000001000000000000000000000000000",
"00000000000100000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000010000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000100000000000000000000000",
"00000000000000000000000000000000000000000000000000000000001000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000100000000000000000000",
"00000000000000000000000000000000000000000000000000000000000001000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000100000000000000000",
"00000000000001000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000100000000000000",
"00000000000000000000000000000000000000000000000000000000000000000010000000000000",
"00000000000000100000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000100000000000",
"00000000000000000000000000000000000000000000000000000000000000000000001000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000010000000",
"00000000000000000000000000000000000000000000000000000000000000000000000001000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000010000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000100",
"00000000000000000000000000000000000000000000000000000000000000000000000000000010",
"00111001010011111111001011101000101111101111111010011001001101101100111011010001",
"10001010001111010000100111000111101001011100010010010001110000100111100000110000",
"00000000000000000100000000000000000000000000000000000000000000000000000000000000",
"01101100000110001100000100001100000010010111110011000111111011101110011000101010",
"10010111110011010110010011001000001011001111111000101000100011101111111001000000",
"01100110111111000110110011000010101111010000100110110111101001100011100100011010",
"11011110110101111111100111111010011101010101111000010101111000101010100100110000",
"00000100010011110000100111011100011000010000101011001010101011111100101001001001",
"11001010100000000000010000100000000000000000000000000000001000000000010000000000",
"10110110100101100111000001001010101000001000010011001001010011100000000000001010",
"11010101001001010101000101100011010010000111101110010101101010011111011101000000",
"01001101010101010001001011001010011101010110001000101100111111000011000111100111",
"11100111000110110110100101010010011011010110001110111110001101001111011101011011",
"10110000010011000000001111001000000110010100001011110011000100111000011011000000",
"01000010010011011001101011010111100101001000111111111100101001001110000010000001",
"00110010011010101111111111001100100111100000000011100110110101011011111110101110",
"00000000000000000000010000000000000000000000000000000000000000000000000000000000",
"11101100001000101101111101010011101100000100001011010011100000011110101010100010",
"00101101111110101111111001101101011001011110110001101000101011101111111011000000",
"01000011001001101100111001011110110111011010001100100011011110001110111100101110",
"00000110000000100100101100000111010000100111011010010001001011010100011101000000",
"00000000000000000000000100000000000000000000000000000000000000000000000000000000",
"01001100010000110111110010011010010011001010100000110101001101000111110010011010",
"00011001100011000011011011100101001100010101000101110111010000100000101001001110",
"10010010000000100001010011100001101111011000000101001010101101000010010101100010",
"01011101100101100000011111011111001101000001110110100100000001101010000011110100"]);

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