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

F:=GF(2);

x:=CambridgeMatrix(1,F,44,[
"01000000000000000000000000000000000000000000",
"10000000000000000000000000000000000000000000",
"00010000000000000000000000000000000000000000",
"00100000000000000000000000000000000000000000",
"00000100000000000000000000000000000000000000",
"00001000000000000000000000000000000000000000",
"00000000100000000000000000000000000000000000",
"00000000010000000000000000000000000000000000",
"00000010000000000000000000000000000000000000",
"00000001000000000000000000000000000000000000",
"00000000000001000000000000000000000000000000",
"00000000000000100000000000000000000000000000",
"00000000000000001000000000000000000000000000",
"00000000001000000000000000000000000000000000",
"00000000000100000000000000000000000000000000",
"00000000000000000000100000000000000000000000",
"00000000000010000000000000000000000000000000",
"00000000000000000000001000000000000000000000",
"00000000000000000000000100000000000000000000",
"00000000000000000000000001000000000000000000",
"00000000000000010000000000000000000000000000",
"11110001010000010000110000000000000000000000",
"00000000000000000100000000000000000000000000",
"00000000000000000010000000000000000000000000",
"00000000000000000000000000000010000000000000",
"00000000000000000001000000000000000000000000",
"00000000000000000000000000000000100000000000",
"00000000000000000000000000000000010000000000",
"00000000000000000000000000000000001000000000",
"00000000000000000000000000000000000010000000",
"00000000000000000000000010000000000000000000",
"00000000000000000000000000000000000000100000",
"00000000000000000000000000100000000000000000",
"00000000000000000000000000010000000000000000",
"00000000000000000000000000001000000000000000",
"00110001011101100001000011101111101110100000",
"00000000000000000000000000000100000000000000",
"11110000001001010001100001101100101011000000",
"00000000000000000000000000000001000000000000",
"11101010110001101001001111110101001100011010",
"00000000000000000000000000000000000000000001",
"00100111101100011001101101011010100110101110",
"00001100000010001111001101010000010000001011",
"00000000000000000000000000000000000000001000"]);

y:=CambridgeMatrix(1,F,44,[
"00100000000000000000000000000000000000000000",
"01000000000000000000000000000000000000000000",
"10100000000000000000000000000000000000000000",
"00001000000000000000000000000000000000000000",
"00000010000000000000000000000000000000000000",
"00000001000000000000000000000000000000000000",
"00010000000000000000000000000000000000000000",
"00000000001000000000000000000000000000000000",
"00000000000100000000000000000000000000000000",
"00000000000010000000000000000000000000000000",
"00000100000000000000000000000000000000000000",
"00000000000000010000000000000000000000000000",
"00000000000000000100000000000000000000000000",
"00000000000000000010000000000000000000000000",
"00000000000000000001000000000000000000000000",
"00000000100000000000000000000000000000000000",
"00000000000000000000010000000000000000000000",
"00000000010000000000000000000000000000000000",
"00000000000000000000000010000000000000000000",
"00000000000000000000000000100000000000000000",
"00000000000000000000000000010000000000000000",
"10100001001000000000110000010000000000000000",
"00000000000000000000000000001000000000000000",
"00000000000000000000000000000100000000000000",
"00000000000001000000000000000000000000000000",
"00000000000000000000000000000001000000000000",
"00000000000000100000000000000000000000000000",
"00100101000000001000110000000000000000000000",
"00000000000000000000000000000000000100000000",
"00100000100000000000000000000000100000000000",
"00000000000000000000000000000000000001000000",
"00000000000000000000000000000000000000010000",
"10100000000100000000000100000000000000000000",
"00010000011101100001010011101111101110100000",
"00000000000000000000000000000000000000001000",
"00000000000000000000001000000000000000000000",
"00000000000000000000000000000000000010000000",
"00000000000000000000000000000000000000000100",
"00000000000000000000000000000000000000000010",
"00000000000000000000000001000000000000000000",
"11000101001110011001011010100001100010010101",
"00000000000000000000000000000010000000000000",
"01000110101110100110010101001101110000000001",
"01100100100101110100100101111010001010010000"]);

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