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

F:=GF(2);

x:=CambridgeMatrix(1,F,56,[
"01000000000000000000000000000000000000000000000000000000",
"10000000000000000000000000000000000000000000000000000000",
"00001000000000000000000000000000000000000000000000000000",
"00000010000000000000000000000000000000000000000000000000",
"00100000000000000000000000000000000000000000000000000000",
"00000000010000000000000000000000000000000000000000000000",
"00010000000000000000000000000000000000000000000000000000",
"00000000000100000000000000000000000000000000000000000000",
"00000000000010000000000000000000000000000000000000000000",
"00000100000000000000000000000000000000000000000000000000",
"00000000000000100000000000000000000000000000000000000000",
"00000001000000000000000000000000000000000000000000000000",
"00000000100000000000000000000000000000000000000000000000",
"00000000000000000010000000000000000000000000000000000000",
"00000000001000000000000000000000000000000000000000000000",
"00000000000000000000010000000000000000000000000000000000",
"00000000000000000000000100000000000000000000000000000000",
"00000000000000000000000001000000000000000000000000000000",
"00000000000001000000000000000000000000000000000000000000",
"00000000000000000000000000001000000000000000000000000000",
"00000000000000000000000000000010000000000000000000000000",
"00000000000000010000000000000000000000000000000000000000",
"00000000000000000000000000000000010000000000000000000000",
"00000000000000001000000000000000000000000000000000000000",
"00000000000000000000000000000000000100000000000000000000",
"00000000000000000100000000000000000000000000000000000000",
"00000000000000000000000000000000000000100000000000000000",
"00000000000000000000000000000000000000001000000000000000",
"00000000000000000001000000000000000000000000000000000000",
"00000000000000000000000000000000000000000001000000000000",
"00000000000000000000100000000000000000000000000000000000",
"00000000000000000000000000000000000000000000010000000000",
"00000000000000000000000000000000000000000000001000000000",
"00000000000000000000001000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000001000000",
"00000000000000000000000010000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000001000",
"00000000000000000000000000000000000000000000000000000100",
"00000000000000000000000000100000000000000000000000000000",
"11011011101010111100011010000100000000110100010010100000",
"00000000000000000000000000010000000000000000000000000000",
"00001100111011100100101101110000100101010101001111101010",
"00110010011000101010000101000000000000000010001000010000",
"00000000000000000000000000000100000000000000000000000000",
"01111111110111111000101110111101001110110100011011010101",
"00000000000000000000000000000001000000000000000000000000",
"00000000000000000000000000000000100000000000000000000000",
"01111111011000001101111110110011100111101001100011011111",
"11110000100100000001011110011000001000101001000100001101",
"00000000000000000000000000000000001000000000000000000000",
"11010101011011101001111100001101111001011001011001000111",
"00101100010001000110000001000000100000000000001000010000",
"00000000000000000000000000000000000010000000000000000000",
"00000000000000000000000000000000000001000000000000000000",
"10101001001100010011101000010100001001010100101011011011",
"10110100011010010100111110001111110000100001100000011111"]);

y:=CambridgeMatrix(1,F,56,[
"00100000000000000000000000000000000000000000000000000000",
"00010000000000000000000000000000000000000000000000000000",
"00000100000000000000000000000000000000000000000000000000",
"00000001000000000000000000000000000000000000000000000000",
"00000000100000000000000000000000000000000000000000000000",
"10011001100000000000000000000000000000000000000000000000",
"00000000001000000000000000000000000000000000000000000000",
"11101101000000000000000000000000000000000000000000000000",
"01001100100000000000000000000000000000000000000000000000",
"00000000000001000000000000000000000000000000000000000000",
"00000000000000010000000000000000000000000000000000000000",
"00000000000000001000000000000000000000000000000000000000",
"00000000000000000100000000000000000000000000000000000000",
"00000000000000000001000000000000000000000000000000000000",
"00000000000000000000100000000000000000000000000000000000",
"00000000000000000000001000000000000000000000000000000000",
"00000000000000000000000010000000000000000000000000000000",
"00000000000000000000000000100000000000000000000000000000",
"00000000000000000000000000010000000000000000000000000000",
"00000000000000000000000000000100000000000000000000000000",
"00000000000000000000000000000001000000000000000000000000",
"00000000000000000000000000000000100000000000000000000000",
"00000010000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000001000000000000000000000",
"00000000000000000000000000000000000010000000000000000000",
"00000000000000000000000000000000000001000000000000000000",
"00000000000000000000000000000000000000010000000000000000",
"00000000000000000000000000000000000000000100000000000000",
"00000000000000000000000000000000000000000010000000000000",
"00000000010000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000100000000000",
"10111100010001100001100000000101000000000000000000000000",
"00000000000000000000000000000000000000000000000100000000",
"00000000000000000000000000000000000000000000000010000000",
"00000000000000000000000000000000000000000000000000100000",
"00000000000000000000000000000000000000000000000000010000",
"00000000000100000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000010",
"00000000000001001000000100000000000000000010000000010000",
"00000000000010000000000000000000000000000000000000000000",
"10100001000010001111010010000100100000001111100000111100",
"11101111011101010101011010011011101110111000101101111110",
"11111110011110110110101011111000110111100000011001011000",
"00000000000000000000000000000000000000000000000000000001",
"11011110101011011110110001111001000110010010101110010111",
"01101100011010111101101111101011010100110111011010101101",
"00010001011011101111111100010000101001011001100011101101",
"11100001000000111011001110100001001110001100101111111110",
"01110110010111000110101100101011000110101100001001101110",
"01101011110011100100011010111110010010001001101110000100",
"00000000010100000000000000001000000100100000000000000000",
"10100010110000101010001010001000110000100000000100110110",
"10100111011011001010001100101001101011100001001100101000",
"10010010010111000010101010111100100001100100000110100000",
"10001101110110110001001011000110001111000000000110100010",
"00100000010100110100101010010001001101100001011101101100"]);

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