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

F:=GF(2);

x:=CambridgeMatrix(1,F,100,[
"0100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000",
"0000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000",
"0000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000",
"0000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000",
"0000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000",
"0000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000",
"0000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000",
"0000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000",
"0000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000",
"0000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000",
"0000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000",
"0000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000",
"0000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000",
"0000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000",
"0000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100",
"0000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000",
"1111100000010010010011011010101001001011001011011001010000100011000100101100100100100110000001011100",
"0000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000",
"1011111110001001100000100101110000110000100001001100010101010101011010100010011000011111001111111110",
"1101011001010100001011000000100110101010000101000110100101101100010001000000000100001000000010000100",
"0000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000",
"0000011001000010001101011111100111101000111111010110110110110100001001101100110000001110001001001100",
"0011110111011001000011100111111100011101101011001110101010101101000110101100100000001111001001011000",
"0000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000",
"0000001100111110110010101110011000011101101100000001101011100101000101011100110100101111001011011100",
"0000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000",
"1111111111111111111101001011001000100001011100000000001100010001001001001000000000000001000000010000",
"1101001110011011001110111100001010110110110110001000100101010100001001010100010000001000000010010000",
"0000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000",
"0001000010010001010111100010100100010110001001011011101001001000000100111101100100101111000011011000",
"0011100110011001010111100010110001011111001111101001111000111001000101101110000100101111000001001000",
"0000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000",
"1000000001100011000100010011001000000111001100011001111010011000111011100010010100110110000101111010",
"0000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000",
"1000001111111010000101000100010010001100110100010100110010101001110111011110111110010001000100110110",
"0011101100111100101101000100101000001011110101100101000011100101001001000010000101100000001010000000",
"0000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000",
"0111111000110110011101001100011000000011100110001100011001011000111011110010011000001110001111111010",
"0000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000",
"1110100110011110001001000110100101001001111011100111111010100001001000010010000100101101001000000000",
"0001001100001000000010010110110011101110111101011001111100101100001001000000010000101011000000000100",
"0000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000",
"0110100011010001111100010110011101001110111010101010000001100001110010110000011100011111101111101110",
"1000011110001110101100010100010010000010100010110101110001011101111110001100111100110001011110100110",
"0000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000",
"1000000101111110001101101111111100010010101011000011011010001001111010110010001100111110000001101010",
"0000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000",
"1111110011100000111101111000000010110011010100111001000100010001001101111110100100100110000000001100",
"1001001011110101001111000011101111000011011111010110100010010000110011110010001000010111000101011110",
"0000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000",
"0000010001100000110010010101000010101111100110101101001110101101000001010010010100100001001000001100",
"0000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000",
"0111110000010001110101101011110110110111011001011011011100010100110110011110101000111000001100100000",
"1010101101111001000001011100011011001000110110011000001010100001110111001110101000011000000100110011"]);

y:=CambridgeMatrix(1,F,100,[
"0010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0100110010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001",
"0001110010000000111000111001011101111001000001100000100010110011100011001000011111110100000100000000",
"0110000100010011111010101110000011010010111101111110000001011000111010111100100100010010001010000101",
"1011001100001000100011010110000101101100110001100000001110011111011001000000001100110010000011001110",
"0011100111011010111011100110000110101100010110110101101111000111111000101101000011100100101101010100",
"0001011111110011001110000101111101000000001100011101101110001010100110110010101111110000011111011000",
"1100100111110101101010111101010111100100110110100111110000111110001001111010100000100110110100000111",
"0001100001111111100000101010110110010100001000100001010011011101000000110000100101100101010000011001",
"0001000111001111111110101010110111100011011110010000010111000110010000010010010000000101111110110101",
"0011001000101000001010101111101101101100101010001100011101110001110011110010011100001101001111100101",
"1000111101000100110011100001101010111111001111111110110111000101010110001110010111011110011011100011",
"1101010010101100100011010110000001110011010100111110010111001011010010101001011100100110110100100110",
"1001110001100110101100011100110100100001011100100110011011010001100000010011001101010110100110100000",
"0010000011100010100111011001001001111011000000100011111010110101000100001101010010110000000010111101",
"1001010100001010000101001010011110100001010101000100001100010100111001111010000000010111100111110100",
"1111101010010110101111010010000111011000000100001111010000110100010011001111110100111010010100101001",
"1101111100100110010100100011000011100111101100011100010000101001100100010111001101000010011010000110",
"0000010000000000001100001100010000110001100101101010111111010101010000010111001011110110001001010010",
"1001111001101010111111000111001010110101110001010110000010111111010000100001011110000010001100110001",
"1010111000010001101101010011101010010001101001001000110111100010010001110101011000101000111111100111",
"1110000111010100010101100001001001001011100001011001110100011011011011010111111001011111110110110111",
"1001110101011110001010110000111011000011010111111000101011101011101101110111101111011101000101011110",
"0001011011111011111000011010100010011010110010100000110111011111000010101010100001111001101001001100",
"0110010100100001000001010101101001001001111111010010101110011111011010110100000001001111111000100010",
"0011111011110001011010101010001110000011011001010101000001111000101001000011000111100001001100001100",
"0101110111110001001101010000000100011110111111001001111110011001101000101111110101010100000111010110",
"0101010110011101100111111000010001010110001100111111010010010000111010010111000000110011010110101001",
"0011001011100011001010010000000100011111110010100111100000000100011010001001000111011100101001111000",
"0011010001100001110001101111101111011001111100101100111101100000101100101000000000000111110011111001",
"0101000111111010000110110100110111111100000000100100000000000100000000011000011110001101010001111000",
"1001101010110001011001111110110111100100110100011101001100010111111000110011110010000110100111010001",
"0000110111011111000000101011000111111101010111001001001010101001011111100110010010101100111010010100",
"0111101010001000010111100001011010101000001110101110001010011001000100111111011100001110011101110101",
"1101000001101111011000011011001000110001111111100000011110110111000011110100110110101000001000111100",
"1000100101101110110111011011001000011100100000011011101001101100100000101000011101010100100101000101",
"1000111010101001110101001010111000000010000110111101010100111111101111100010111100011101010110000011",
"1011101010011001100001001011001010010001111110010110111110011100010110011110010111111011000010001111",
"0111100101011001000011010100100100100101011011101111100011101110011111000011110111010011010111011011",
"0000011001100000101101011000000011111010111101101100011000101100000111100000111111100000111101010010"]);

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