/*
www-ATLAS of Group Representations.
A11 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",
"1000000010001110010011000010111000111011000101010011100010010100110001101100010101101010111100000000",
"0000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000",
"0101000111100001110100010000111000111010101001111110111100010100101111000000101010110101001100010000",
"0011111110000111100101011000011011101011011111011000010011110000001010000000000100100010010101100000",
"1101010111000111010100101110101110110011011001001100000101010010100111100100101010110111011101010000",
"0000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"1101100010100001100111101110101011011011110111001100000010110110110111100001101111111111110100110000",
"1101010000001101111111001110011110010011001010011111000010000000100110001000101010010101110000010000",
"1010000110000111010100110111000000000110000100010010110011111010100111100100101110010101011000011000",
"1101001011110011001000010100101010101011000100011001110110100100001100001001101110010101110101010000",
"0111001011000011100011101000101111011110011000011011100101110110110100101001101011010101100101110000",
"0010100100100101101101000010010111111001000010101001000001010101010000000001010001000000100001101000",
"0000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0100010010001011010111010100101011111011001010100000000011010100100111100100111011010111011101111000",
"1001010001100100011110000101101110110111101011100011000001010100001011001000010000100000100101100000",
"1110010100111110010010101010101111100100110100010001010000000100111000001100111111010101001000111000",
"0000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000",
"1110011001000110010101111011110110000111100000001100100100100100011010001001000001001000101001100000",
"1111110010001000101001011100111010000011111111010110100111110100100011001000010100101010111001100000",
"0111000111111111110101111101011111000111101001110011100001010000100001011001010000100010100100101000",
"1000011111101011000111110000010010000101110000001010000011110010011011000001010001001000010000100000",
"1100110010100111010110010110000010001111000000000011000100010000101011001001010000001000101101001000",
"0110110111000001101010100010011100100011001000000001000111010010011011101111000001001000010100001000",
"0010000111101010101100110000111100010101011000000001010000000110000000000001010000000000101001100000",
"1110000101100011011100000101000001101010010010111110110101110000010000100000100001001010101101001000",
"0000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000",
"0110100111110010101010111100101010100000110011111111100110000100011010100100001001101010111001000000",
"1100111110010111011010111011001101111011111111101010000001100000110100101100101011111111000100110000",
"1111111011101100111101100111000100100010010011011111000111110110111111100100111001111101011000011000",
"1100010000010111011101010001000110101101001100010101010100000100010110001001101110010101001001110000",
"1100101110101011011101010111000110101000010110010101010100000100010100001000111111111101001001110000",
"1100100100101100100001110101001101010001110110001010110100010110011111100001111111001111001100011000",
"0000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000",
"1001100001001101111101111001010111101010111010000010100001100000010010100100000001001100101101001000",
"1001100110010011010000000100111111011011101010000101110000100010001001001000000000001010000001000000",
"0111000111100100111110011110011101011001111000010111000101110100110000000101000001000011101101000000",
"0011111110010111110110011001010111101110011111010100010110110000001000000000000100100010111101100000",
"0011101111101110101110101001111011111001111111010010000010110000110011001001000101101010000001101000",
"0000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000",
"1111011111101110000000100110111101110010111010000010110111110000111101100001111011011111010101011000",
"1101110100110101010101111110010001110111110110010100100111100000100010000100010100001010010111001000",
"0000011011101111111001001010010101101011111110000110100100110000101000100100010100000000000100001000",
"1001011010110001100000101100111010110101111101010000100100010100111010000100010101100010000000100000",
"1011110000101000100101100010001000100001111100100011110001100000100110001100101110010111101101000000",
"0000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000",
"1010000101001000111001001000010101010101101100010000100110000110011111000000101111010101011101010100",
"0010000110010011101001000111001101111101011101001110000101100000101110001000101110110111100101111010",
"1101100000001101010110011001001001110101001110101110010011100000100001001100010100001000111001101001"]);

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",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000",
"0100001011111100000101010111101000101101001110000011001111000000101111000101110010010001111000110000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100",
"0001010001010100011010111001011100000110001101011100010011100100000111001100100011110101101001010000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010",
"0001111001001110111010101011110011010000001100001000110111000000011111001001100010011111010101110000",
"0110000110011110101000100110100011000010100111011001001111101010000111100010101110100111111100100000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001",
"1001001111011001001001110000011100110010000011000000000100011011011111000000110011010001011101101101",
"0111100111111001010010101111000100000011000100011110011100110011111010100001100101001010101101111000",
"0100110001100000010111110001000010110111011110011110000000111001011101001100101111010011000100110001",
"0011100101100011111000000110110000000011111000110001111001111110110000010011001000100000001111000000",
"0100100100101010101011111111011110000000011101000100010101101101100001100111011001100110000001001001",
"0001011010111000001000010111011100011110110010110110100111011000100011000100110101010011001101111011",
"1000000101110000101010111100111111111101110010011100110100111010010001100100100110111101000000111001",
"0001010010000011011110111000011000110110011011100100000100101001111111001011011110011001000111111001",
"1001111010101010011100010011011010000101111000001101100100100100011000100101000001001000000001100000",
"1110011111011011110010111000111100000010010011110110111101111001001000101100011010001000101001000011",
"1000101010101100101010100111101100001101101010001011000100111110001000010001001101000000101101100001",
"0101001011110001111011111001001000000110011101000011000110101011101001100011000111111010010011000111",
"0010100100101011010010100000110000011000010010111010001011001010101011110000011010111010000101001011",
"0100101100001000000110110100000101111100001111001101100110110001000100100101101110110111111100010000",
"1011100111000001000110001111111000001001101101110101101001011010110100001111011100111110001010010000",
"0010101101000110110011010011101011110111011111000001100101110100011100100101001110010111101000111000",
"1000010100001011011000100000010000111101111100100101001000011011100000101110100110100100100111011000",
"0110110111110111101101100010110110111110100101001111100001000110010111001001101010010111101101010000",
"0001110101101100001111001000110111000011000000111110010001011110110111100101111011011011010001111011",
"0111100100110111101001101001011000000101101110011000110101100110111101100001110000110011101000111000",
"0101111101111011100101010101000000101100001111110110011101010101010011101011100111110010100001111010",
"1001100100110101100110111110010110010010110101101001110101001110101011101101011011101100110100001011",
"1000001001010111010110010010000111000000111010000011100001101111101011101111000001110000101100001001",
"0111011001011111010111110110101001111010111010110111101001000010010101101110101010000000100111110000",
"0100001000101101000000010110001000101010111100011001000010001111011111100011110011110111010100011001",
"0000100100001010101011001001100011100001010101000100011001110001010001101101110101100001010100110000",
"0000010110011101000001110000010100010000101101011001000010110001001111001010111111011100010100010000",
"1001101111000110100000110110010100111011101111000101111000001111001000100111010001010111010001010101",
"1111111000111000100101001101010111001001000001001001010111101010101101000100111010110111101100011001",
"1101011011101101110001010100111100010101000001001110100100001110111011111100010001100000101111001010",
"0011000111100110101110001010000010000101111101000111010111111100000010100101010100100000111100100001",
"1001100111111100100100001101011011101111001101001100010011110111011101000111001011101101101111011000",
"0011011010101000110111011101111000101010111000011010001011101110010100111111010101101000000100011110",
"0010100100100010110011001000001011110100011110011001111100100110011011101100000001000010000001100000",
"0000110011010000000101010110101000100010000011011111100000111100100001000001011100000010000101010001",
"1010111010011010010010111010001011001001101100000011001000001110111001010001011011001010110110001111",
"1011010000000000111111011101101100100010001010000110011110001111110111101111111010111111010000010001",
"0011000010010110110110111010111111000111001110000010100000001110100111101001101111010101001101100100",
"0111111100011010111001111000101100011100100100000110110110011111011101111101001010101001000100000000",
"1011000001111100101111111010001101000000000000111101110111010101000110110101100101001011100101110110"]);

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