/*
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",
"00000000010000000000000000000000000000000000000000000000000000000000000000000000",
"00010000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000100000000000000000000000000000000000000000000000000000000000000000000",
"00000000000010000000000000000000000000000000000000000000000000000000000000000000",
"00000100000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000100000000000000000000000000000000000000000000000000000000000000000",
"00000001000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000100000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000010000000000000000000000000000000000000000000000000000000000000",
"00000000001000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000010000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000100000000000000000000000000000000000000000000000000000000",
"00000000000000000000000001000000000000000000000000000000000000000000000000000000",
"00000000000001000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000001000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000010000000000000000000000000000000000000000000000000",
"00000000000000010000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000010000000000000000000000000000000000000000000000",
"00000000000000001000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000100000000000000000000000000000000000000000000",
"00000000000000000100000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000100000000000000000000000000000000000000000",
"00000000000000000000000000000000000000001000000000000000000000000000000000000000",
"00000000000000000001000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000001000000000000000000000000000000000000",
"00000000000000000000100000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000010000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000100000000000000000000000000000000",
"00000000000000000000001000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000100000000000000000000000000000",
"00000000000000000000000010000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000100000000000000000000000000",
"00000000000000000000000000000000000000000000000000000010000000000000000000000000",
"00000000000000000000000000100000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000010000000000000000000000",
"00000000000000000000000000010000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000100000000000000000000",
"00000000000000000000000000000000000000000000000000000000000001000000000000000000",
"00000000000000000000000000000100000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000001000000000000000",
"00000000000000000000000000000001000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000001000000000000",
"00000000000000000000000000000000100000000000000000000000000000000000000000000000",
"00000000000000000001000010001000000100000000000010000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000001000000000",
"00000000000000000000000000000000001000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000001000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000010000",
"00000000000000000000000000000000000010000000000000000000000000000000000000000000",
"00000000000000000000000000000000000001000000000000000000000000000000000000000000",
"01111110100001000110111111110011001010100110000100010010000010101110000010101110",
"11001000110001010001000011111000000101010010001001010001100100111100100010001000",
"00000000000000000000000000000000000000010000000000000000000000000000000000000000",
"10011010001101111010011101101011110110100010111100110010000011111111111000001011",
"00000000000000000000000000000000000000000100000000000000000000000000000000000000",
"11100101101000101001110001111000110110110000011010010101011111011001111011100101",
"00000000000000000000000000000000000000000010000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000001000",
"11111010010111001000001011001010000001101011101111100001001000111110110111011111",
"00000000000000000000000000000000000000000000100000000000000000000000000000000000",
"01000001110010001000111001000110100001000000011000101010100000001000110011001000",
"10001010110101110110100010010110110001111001111110101011111101000010010000001110",
"00000000000000000000000000000000000000000000001000000000000000000000000000000000",
"11000100101011100100100101101001010001000000110111110110101110101100100110100001",
"10100101100000010101111011110100110111100000110111001001011011011100001111100001",
"00000000000000000000000000000000000000000000000001000000000000000000000000000000",
"11000101101011000000001011011111100110001111000000010010010000010110001011101010",
"00101101011100110100111001100110111010110011101101111100010001101001001011011000",
"00000000000000000000000000000000000000000000000000010000000000000000000000000000",
"11001111100011110000110001010001111111000010011111011100000101000010010101100001",
"00000000000000000000000000000000000000000000000000001000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000100000000000000000",
"01100101011010011000111001000100010111101010010000000101010111100111001000110010",
"00010011011001010101111010111001000001111010101110010100000100111111001111100000",
"11010101100011000100111011100111111001011010000000011010110010001011001000010100"]);

y:=CambridgeMatrix(1,F,80,[
"00100000000000000000000000000000000000000000000000000000000000000000000000000000",
"00010000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000100000000000000000000000000000000000000000000000000000000000000000000000000",
"00000001000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000100000000000000000000000000000000000000000000000000000000000000000000000",
"10011001100000000000000000000000000000000000000000000000000000000000000000000000",
"00000000001000000000000000000000000000000000000000000000000000000000000000000000",
"11101101000000000000000000000000000000000000000000000000000000000000000000000000",
"01001100100000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000001000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000010000000000000000000000000000000000000000000000000000000000000000",
"00000000000000001000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000100000000000000000000000000000000000000000000000000000000000000",
"00000000000000000001000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000100000000000000000000000000000000000000000000000000000000000",
"00000000000000000000001000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000010000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000100000000000000000000000000000000000000000000000000000",
"00000000000000000000000000010000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000100000000000000000000000000000000000000000000000000",
"00000000000000000000000000000001000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000100000000000000000000000000000000000000000000000",
"00000010000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000001000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000010000000000000000000000000000000000000000000",
"00000000000000000000000000000000000001000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000010000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000100000000000000000000000000000000000000",
"00000000000000000000000000000000000000000010000000000000000000000000000000000000",
"00000000010000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000100000000000000000000000000000000000",
"00000000000000000000000000000000000000000000001000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000010000000000000000000000000000000",
"00000000000000000000000000000000000000000000000001000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000010000000000000000000000000000",
"00000000000000000000000000000000000000000000000000001000000000000000000000000000",
"00000000000100000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000001000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000100000000000000000000000",
"00000000000010000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000001000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000010000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000100000000000000000",
"00000000000000000000000000000000000000000000000000000000000000010000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000100000000000000",
"00000000000000000000000000000000000000000000000000000000000000000010000000000000",
"00000000000000100000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000100000000000",
"00000000000000000000000000000000000000000000000000000000000000000000010000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000100000000",
"00000000000000000000000000000000000000000000000000000000000000000000000010000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000100000",
"00000000000000000000000000000000000000000000000000000000000000000000000000001000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000100",
"00000000000000000000000000000000000000000000000000000000000000000000000000000010",
"00000000000000000000000000000000000000000000000000000000000000000000000000000001",
"10010110000100010101011011101100110010110010001000111100001111111110111100010001",
"10100110000000111010000011101000001111011100110011111010000111010111110010100011",
"00110101000101101001001111101000001001111110111000101101111101011011111110111110",
"10101011000100111100011101010110000100110011000110101000010011100010101011000110",
"00000000000000000010000000000000000000000000000000000000000000000000000000000000",
"11000110111001011001101101001001111101110110011001010011110010111100101010111001",
"00010011100110110010101011100111011100010010111110001010110100111100000111110001",
"01011101111100010110111001000101010110101110110011000010100010111011110101110000",
"01100010001010100111011101111010001100101011011111001001000110101110101111111000",
"10110010010100101011000011101110011010001000111011000101111100110101110001001101",
"10000110010110110010000111100011100111011011001100111001011001101001001001100100",
"10000101111001111000010111111111110101011000000001101101001000001100010100011110",
"11001111101011110000001111001100111011001111001101000100100010101110100011111000",
"00000000000000000000010000000000000000000000000000000000000000000000000000000000",
"01001111010001111111001000101100101011111110001101111010101011101001001110010111",
"10110010000101101000000011111000001010001100011010000101111110110001110101001101",
"00100110001111101000000001010001011100000110110110001000100011010101010110000001",
"00010111100011000000110010101000001111110110111010011100001001000010101011000101",
"00000000000000000000000100000000000000000000000000000000000000000000000000000000",
"00100100010111010111010100111100111111101110101011100011100011010111110001000011",
"01011101010101001111111111010110110000110101101100010111011110101101010001111101",
"01110111110010011010111101101101010010010001001000111100111001101001000001011101",
"01111000011101100000101000101011111011011110110111000100110000010011000110011000",
"00000000000000000000000001000000000000000000000000000000000000000000000000000000"]);

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