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

F:=GF(2);

x:=CambridgeMatrix(1,F,44,[
"01000000000000000000000000000000000000000000",
"00010000000000000000000000000000000000000000",
"00000100000000000000000000000000000000000000",
"10000000000000000000000000000000000000000000",
"00000000100000000000000000000000000000000000",
"00000000001000000000000000000000000000000000",
"00000000000010000000000000000000000000000000",
"00000000000000100000000000000000000000000000",
"00000000000000001000000000000000000000000000",
"00000000000000000010000000000000000000000000",
"00100000000000000000000000000000000000000000",
"00000000000000000000100000000000000000000000",
"00000000000000000000010000000000000000000000",
"00000000000000000000000100000000000000000000",
"10110111100100001000110000000000000000000000",
"01011010100011010000000100000000000000000000",
"00001000000000000000000000000000000000000000",
"00000000000000000000000000010000000000000000",
"01011000100111000100110100000000000000000000",
"00000000000000000000000000000010000000000000",
"11001111001010101000100000000000000000000000",
"00000010000000000000000000000000000000000000",
"01010000110100001000101000010000000000000000",
"01011101111010100000010100010000000000000000",
"01111110101110001110101100000000010000000000",
"01011111011010101010000001000000000000000000",
"10011100101100000001100000100010000000000000",
"01011000110111000010110100010000000000000000",
"11001010100011000001000100001010000000000000",
"01111101111100101101101110000110010000000000",
"10111010010001000101011010000000010000000000",
"11000111101001101010010100010001000000000000",
"01111110101110001110101110000000110000000000",
"11101000111000000101000000000010010000000000",
"00100000010101001101101010000010011000000000",
"00000000000000000001000000000010000100000000",
"11101101100111100000110100000000000010000000",
"00001010110001000011010100000010000001000000",
"11100101111001100100001010000000010000100000",
"10010001100111101010110100010000000000010000",
"01110110011011001100001010000000010000001000",
"11101011010000100111011110010010010000000100",
"00000011100011101010000100010000000000000010",
"00101011011110101001100000010010000000000001"]);

y:=CambridgeMatrix(1,F,44,[
"00100000000000000000000000000000000000000000",
"00001000000000000000000000000000000000000000",
"00000010000000000000000000000000000000000000",
"00000001000000000000000000000000000000000000",
"00000000010000000000000000000000000000000000",
"00000000000100000000000000000000000000000000",
"00000000000001000000000000000000000000000000",
"00000000000000010000000000000000000000000000",
"00000000000000000100000000000000000000000000",
"00000000000000000001000000000000000000000000",
"01011111001110101000000000000000000000000000",
"01000110000100000000000000000000000000000000",
"00000000000000000000001000000000000000000000",
"00000000000000000000000010000000000000000000",
"00000000000000000000000001000000000000000000",
"00000000000000000000000000100000000000000000",
"01011010011011111000001001000000000000000000",
"00000000000000000000000000001000000000000000",
"00000000000000000000000000000100000000000000",
"00000000000000000000000000000001000000000000",
"01101111000100001000000000000000000000000000",
"01010000110100001000100100010000000000000000",
"00000000000000000000000000000000100000000000",
"00000000000000000000000000000000010000000000",
"00000000000000000000000000000000001000000000",
"00000000000000000000000000000000000100000000",
"00000000000000000000000000000000000010000000",
"11000111111011101000000100010100000000000000",
"00000000000000000000000000000000000001000000",
"10100010111100101101000100000101110000000000",
"10011011011101100100111000000001000000000000",
"00000000000000000000000000000000000000100000",
"11100110110110011100001000100010111100000000",
"01011001010011010001001011001000101000000000",
"00000000000000000000000000000000000000010000",
"11111010101101011110101011000011001011000000",
"00000000000000000000000000000000000000001000",
"00000000000000000000000000000000000000000100",
"00000000000000000000000000000000000000000010",
"10111100101010000000001100000101001000110000",
"01101010111100001000001110001110001000000000",
"01001010011010111010010111000100010011000010",
"00000000000000000000000000000000000000000001",
"00111000110101000000001110010100000000110011"]);

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