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

F:=GF(2);

x:=CambridgeMatrix(1,F,100,[
"0100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000",
"0000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000",
"0000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000",
"0000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000",
"0000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000",
"0000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000",
"0000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000",
"0000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100",
"1000000001011011100101101110000111010000111110101011011011100010000001001101000100000000011010100100",
"1001100100000110100101011100000000010101000101110101100001000000000011101100010100100010000000010000",
"1111011111101110100110011001111111011101110001011000101010101010001111010111111000101110110000111000",
"0000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0100101000000000010010100101001101101010110011001000100111100100101011101100011100000000111000110000",
"0100010101111111011111100010110111101000110101100010010110111010110110011010110001101100101010111110",
"0010001000110111101000101000000110111011000010001110000010010100110100111010100101000100100010111110",
"1011101001010111111110001000101011110010110100011011111110100000111010000101010101100010010010000110",
"1100010111010111100110101010100101001110011110000101101001000100110000100001001001001000000000100010",
"1011000101010101010110011101011000101000110011100010101100000101110001101001001101101000101010100110",
"0000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000",
"1011010011010001011101001011101000101100000110001000100000111100000111010110101101101100010000001110",
"1111100110110111001101111111110000101010000001110101000001001010011110011111101001001110110000011010",
"1111100001101001101010011010010001110100011111010001110110001110011011110011111101001110101000101110",
"0000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0111011111011111001000110011101001111001100010101111000111111000010110110011111001100100101010111110",
"1111010001001000001110101010111100000000000010011010010111001100011111010010111001101110101010111110",
"0101000001001010000000101011100100011100011100011110110111110000001011011101011000101010010010110100",
"0000110000011101110001010111100111000101011110111100111100100010111011100100010101100010001000100110",
"1111101101111010101000101111101110011111110100101010110111101000110100111110110001000100100010101010",
"0110111110101000011101101010111001100110001001111111101111001000000111010000110100001110101010011000",
"1101101110000011100010110000100101100100001010100101010111000100100000100100011100100000010000100100",
"1010101100001100011001010000000011110000100111001000001100010110011011101100110101000000001000110010",
"0000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000",
"0011100011110100110100010001101000000111101001111111010100000010000011001100010100000010100010000100",
"1101000100111001000000011110100110110010000101011101011100011100000100011111110100001110110000101000",
"0111101101110000000010111000000001100001110010110001000010111000111110011110111011100110100000111110",
"0100001110000001011111000011001010010101010000000101010110100010000010100101010001000000010000100100",
"0000000001101110111111011011001010001110011011110011011000101000001101110111110100101110111010101000",
"0101011101111110010110110100101001011011100101001010010010110000101000000100011000010000111010100100",
"0000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000",
"0011010101001010101101010001001111001101011100100110100110100010101000100101010100001100010010110000",
"0010111000111000000000100101000100101100111010101101001100111010101111010011100100100110010000101100",
"1100000000110100011010110110111100001110100111111110111101110010110000100101000101000011001010100010",
"1001101101001111101111111100101001010001000101111100100101000000000001101100010100100010100000010000",
"1000110101010011011001110011100010010011110010010101011011100100111001101101011101001010100000010110",
"0000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000",
"1101100101001101000110001010101010111010111100110001100000100100001001001100000100001010001100010000",
"1000001001111011011010110010111100101000010110101110011110001000101111110011110000101100101000001100",
"0011000110111001101100100101110000010001001110110101100011111000011101110011100001000110100001101010",
"0110010110110010111101111101010000001001101011000011011111111110101100011011101000100100101010101100",
"0100001100001100110010011011111100100010100100000000010011110000000010000000000100000000111000110000",
"1100110011000111111011011111101000111100000100111111111000001110101110111011101100001110010010110000",
"0000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000",
"1110010010110110000001010110001111000101010100111111011001101000100100111011100000100110110010101010",
"0100100011110011100111010100110000010111111111001000111100110000011011001100001001100000100000100011"]);

y:=CambridgeMatrix(1,F,100,[
"0010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0110111000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001",
"1111010110110101000001100101100100001010001011110001010100111110001110110011110101001110000110011110",
"1100100100101110101100110011001010101001010001111010000111001000011110000101001000101000000111110010",
"1001111010011011000010000000111000001111011011110111100011011100101101011010100100001110101010111110",
"0001001011011111101001001100110110001110011001101001111000001101001111110001110101000110101111110111",
"0101000110100100111111001000101111011111011001101000011001010110110101111010100100100100010110101000",
"1000000010010111100000110011001110001100111101000101011100101110010010111100011111101111011011001100",
"0110101001000100000101001101010101111001011101001101010001000000101111110011000101001000101001010101",
"0100000100101110110110110110011010110100011111100110011101101111000100110011100001001010011010011100",
"0111110010101000101000010100110101010000101111001101100001010101010100101010100001111010100000001110",
"0000101111000001000110111111110011100111111110011111100000101010001110010011100000000000010010111010",
"0100101011011100001001110010001111001010111000001110010001101010000110001110111001111000001101000001",
"1100101010111001010101001011100011101101010110001011101111101110001001110111110001000100100010011100",
"0101100011001000000010010011110001011001111000101110100110010101011000011010110100010000000101101110",
"0110111001010101101000001010001100111100011010100011000010111000010111011111111001100100101010111110",
"0100000000101111011111010001100011000001010011010101000101111010001011011101011001111010100101010101",
"0101010010001010001001100110000011000010011011011101000101011000111111100110111000001110011110101110",
"0111001101101010000101101010110010110001101111000110100110100000111000010101010111101110110010101000",
"1000101000100110111101101100010100000011101111011101010111110010110111010001110101010000011111101011",
"0011110010000011100110001111101001000001100100001100011111000010111001000011010100100000011110100110",
"1110011101001000111111011111010010010001001000110111010000010001110000100101110001101100000110010001",
"0100010110110111011110100101011000011001000011101000011110000010001001001000111101101110011000000110",
"1111101110100000100100010011111001011100101001101111001111101001011101110000011100110110000100110101",
"1010011111010110100000101111100010001011000100100101111001011000101100011110101001000010010000011100",
"1110000100001001010000100011111111000010011111011010110110011101110101111000111010011010010000011110",
"0010100111101000000100010111001011010100011110110011111011010010011001001101001010101100010010010010",
"0110100111011101000000010001101110000101001100001100001100000001011101110110001010001101110010101100",
"1000010100101110100010001110010000011100100011011100101011111101001010000001100000111110110011001101",
"1110101100011001000111011110000111101010010111100000010101010110001010101100001000110110001000000100",
"1100110010001100110001010100001110111110000110010100010100010110100101010011000000010101101000000100",
"1100100000110101010101000000111000000011101011010110100101000100000010101001000001000000001100100100",
"0111100000111101011011110000001100011101000010000001110011001000100001000100010001010001000101010101",
"1110100101101110010111000111001000001001101010111111100001001000001101011110110100001001111100001110",
"1111010110111111010000001001100110110100000010101101111110011010101001100111110100010101001110101001",
"0111111100001011110000001001110101001011011111011111001011111100110111010111100000101110111100011100",
"0011000010000111010001111000000100001011000011100000011100010010111101011011100101101000010100000111",
"1011110001001111011000101001010100011000010001110011011000000110101001101100010000101010100000100110",
"0001001001111001101010001001010101111001110010001011000110001000011000101001001101010000010010001111",
"0100000101111111100001100011100101111101011000111111000110001010101100010011110101001110000101001110",
"1101001101100000010010111011001110000001100110110000000011111000000010010111110001010011011011100010",
"0110000001011111100001001011101010100111010100010101111001011100100100010100000100100110000110010000",
"1000000111100001100010100110000010111011100111101010001011101000001111010110100000101100101010110100",
"0100100000101101110011101011011001010111110010111010111101110000010101011101111011111100100111000011",
"1101101111110101010110000011111111100111011111000001101100011110111111110010100000000100010110001010",
"0111011011111010101011010000001110010101111000011010110001100101011111011100111100110000001111111110",
"1010101001010001101100001000011100001011111111001011110001101001110010011010101111001001111100001100"]);

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