/*
www-ATLAS of Group Representations.
S6(2) represented as 64 x 64 matrices over GF(2).
*/

F:=GF(2);

x:=CambridgeMatrix(1,F,64,[
"0100000000000000000000000000000000000000000000000000000000000000",
"1000000000000000000000000000000000000000000000000000000000000000",
"0000100000000000000000000000000000000000000000000000000000000000",
"0000001000000000000000000000000000000000000000000000000000000000",
"0010000000000000000000000000000000000000000000000000000000000000",
"0000000001000000000000000000000000000000000000000000000000000000",
"0001000000000000000000000000000000000000000000000000000000000000",
"0000000000001000000000000000000000000000000000000000000000000000",
"0000000000000010000000000000000000000000000000000000000000000000",
"0000010000000000000000000000000000000000000000000000000000000000",
"0000000000000000100000000000000000000000000000000000000000000000",
"0000000000000000001000000000000000000000000000000000000000000000",
"0000000100000000000000000000000000000000000000000000000000000000",
"0000000000000000000001000000000000000000000000000000000000000000",
"0000000010000000000000000000000000000000000000000000000000000000",
"0000000000000000000000001000000000000000000000000000000000000000",
"0000000000100000000000000000000000000000000000000000000000000000",
"0000000000000000000000000001000000000000000000000000000000000000",
"0000000000010000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000001000000000000000000000000000000000",
"0000000000000000000000000000000010000000000000000000000000000000",
"0000000000000100000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000010000000000000000000000000000",
"0000000000000000000000000000000000001000000000000000000000000000",
"0000000000000001000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000001000000000000000000000000",
"0000000000000000000000000000000000000000010000000000000000000000",
"0000000000000000010000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000010000000000000000000",
"0000000000000000000000000000000000000000000000100000000000000000",
"0000000000000000000100000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000100000000000000",
"0000000000000000000010000000000000000000000000000000000000000000",
"1100000110101010110000100101000001010001000000000000000000000000",
"0000000000000000000000000000000000000000000000000000010000000000",
"0000000000000000000000100000000000000000000000000000000000000000",
"0000000000000000000000010000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000001000000",
"1110110111111110111011110101000110111111000000000100010001000000",
"0000000000000000000000000100000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000001000",
"0000000000000000000000000010000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000001",
"1111111011010011001110001100011110100001101100100100010000001001",
"0000000000000000000000000000100000000000000000000000000000000000",
"0001011001110000101100110010011100011100011001100100000001000001",
"0000000000000000000000000000010000000000000000000000000000000000",
"0011101010100010110010010001110110101100101010110100010001001001",
"0001001000110000111100000111101100100101010010001100010001000000",
"0000000000000000000000000000000100000000000000000000000000000000",
"1110100000010100011101000011101000000000011010000010000000000001",
"1101001100101001110100101101111100110101001010100101010001000001",
"0001011011000111010011111001110110111000001010100100110000000001",
"0000000000000000000000000000000000100000000000000000000000000000",
"1101011011100010110010110101010010111001101000100000011000001001",
"0000000010000011000110011000011110001000100000100100000100001000",
"1100000000110001111110111111111010011101110010100000000011001000",
"0000000000000000000000000000000000000100000000000000000000000000",
"1100000010110111101111101000001010110100101000000000010001101001",
"0001011011000010000000000000100000000100101010000000000001011001",
"0000000000000000000000000000000000000000100000000000000000000000",
"0000000110001011000000111110010000011101010000100000000001000100",
"1100010111011010001100100100001000010101101000000000000001001011",
"0000000000000000000000000000000000000000001000000000000000000000"]);

y:=CambridgeMatrix(1,F,64,[
"0010000000000000000000000000000000000000000000000000000000000000",
"0001000000000000000000000000000000000000000000000000000000000000",
"0000010000000000000000000000000000000000000000000000000000000000",
"0000000100000000000000000000000000000000000000000000000000000000",
"0000000010000000000000000000000000000000000000000000000000000000",
"0000000000100000000000000000000000000000000000000000000000000000",
"0000000000010000000000000000000000000000000000000000000000000000",
"0000000000000100000000000000000000000000000000000000000000000000",
"0110110010000000000000000000000000000000000000000000000000000000",
"0000000000000001000000000000000000000000000000000000000000000000",
"0000000000000000010000000000000000000000000000000000000000000000",
"0000000000000000000100000000000000000000000000000000000000000000",
"0000000000000000000010000000000000000000000000000000000000000000",
"0000000000000000000000100000000000000000000000000000000000000000",
"0000000000000000000000010000000000000000000000000000000000000000",
"0000000000000000000000000100000000000000000000000000000000000000",
"0000000000000000000000000010000000000000000000000000000000000000",
"0000000000000000000000000000100000000000000000000000000000000000",
"0000000000000000000000000000010000000000000000000000000000000000",
"0000000000000000000000000000000100000000000000000000000000000000",
"0000000000000000000000000000000001000000000000000000000000000000",
"0000000000000000000000000000000000100000000000000000000000000000",
"1001110110000000010000100000100000000000000000000000000000000000",
"0000000000000000000000000000000000000100000000000000000000000000",
"0000000000000000000000000000000000000010000000000000000000000000",
"0000000000000000000000000000000000000000100000000000000000000000",
"0000000000000000000000000000000000000000001000000000000000000000",
"0000000000000000000000000000000000000000000100000000000000000000",
"0000000000000000000000000000000000000000000001000000000000000000",
"0000000000000000000000000000000000000000000000010000000000000000",
"0000000000000000000000000000000000000000000000001000000000000000",
"0000000000000000000000000000000000000000000000000010000000000000",
"0000000000000000000000000000000000000000000000000001000000000000",
"0000000000000000000000000000000000000000000000000000100000000000",
"0000000000000000000000000000000000000000000000000000001000000000",
"0000000000000000000000000000000000000000000000000000000100000000",
"0000000000000000000000000000000000000000000000000000000010000000",
"0000000000000000000000000000000000000000000000000000000000100000",
"0000000000000000000000000000000000000000000000000000000000010000",
"1100010001110000011001010011000100110100010111101111100110010000",
"0000000000000000000000000000000000000000000000000000000000000100",
"0000000000000000000000000000000000000000000000000000000000000010",
"1101111100100101101111000011001111000111010101001001110101001010",
"1011001111100111011110000100011110101001101110110101001001111001",
"0000000101011111100110000110101110000000010110010100000111101001",
"1000000000000000000000000000000000000000000000000000000000000000",
"0010101000111000101100000010101101001100110100000010000110110010",
"0011101110101100110110010001000010100110001010010111100100111101",
"0110010001001001100111010111100000111011011001101011000001101100",
"1110000001100011101001101000000011011100000000010100000110111001",
"0000010010001101111110001000010101100111110011100000100000010111",
"0101011000101000101000011111101000011001110011110011011001100001",
"1100010110000101011001010111011100101110001100110111100011100001",
"1000110100010110101001010110001000101011011010010011000111000100",
"0111000100000010110010100000001011011011100001010011101010011100",
"0100110100101101101000010001101101000001000100010101011000110000",
"1000100110111101101010100100000101100101101011110110011010100011",
"1010111100100011000010010000000010101000110100001000111000011100",
"1110111101111010110010101101000010000001001010111011000001011000",
"1000000100101001011110000000111100100100000111111111000000001010",
"0000111110110101100001011001000101001000101100010110101100000011",
"0001010111100100111111000111011010100000000110111111110000011010",
"1000001101011110110101110111011101100010111001001100010100011001",
"1011000110001000010110101001011001110101001100111001001010010110"]);

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