/*
www-ATLAS of Group Representations.
O10+(2):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",
"0001011011110111101101001100001000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000",
"0000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000",
"0000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000",
"0000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000",
"0000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000",
"0000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000100111001111000101001000001010010000000000000100000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000",
"0000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000100000101100000101001010000001010000000100000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000",
"0000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000",
"0000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000",
"1111111101011101011101101001001101010000000000010100100000000000000000000000000000000000000000000000",
"0000010001110001101010111000110010011100000010101000000001000000000000000000000000000000000000000000",
"0000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000010000100001000000011000000000000010000001000000000000000000000000000000000000000000",
"1101011101011000001100000000001100101000000101000101001001000000000101000000000000000000000000000000",
"0000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000",
"0000000000010001001000101000000100011000100000000100010001000001000000000000000000000000000000000000",
"0000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000",
"1111111001010001011110001001001110000000000001000100000100000000000001000000000000000000000000000000",
"0000000100011100001011100000110110011000000110100100000011000000000100000000000000000000000000000000",
"0000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000",
"1100000010000011010100001001001101000001000101000100100000100100000101000000000000000000000000000000",
"0001001110001011010100101001011101111001000000100100101001010100000000000000000000000000000000000000",
"1110110001010000001000010000000100000101100100000100000000001101000100000000000000000000000000000000",
"0000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000",
"1111101100011001011110101001001111011000100001000100100001000011000001000000000000000000000000000000",
"0000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000",
"0011111001100101100111111000101111110101000010000100101000000100100000000000000000000000000000000000",
"1111111001110000111110010011011011001101010101100000100001000100010101000000000000000000000000000000",
"1111101000110000111000110001110101110101100111100100101000000101001101000000000000000000000000000000",
"0000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000",
"1110110011010011011000011011110000001100010111100000000001000000000111000000000000000000000000000000",
"0000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000",
"1111101100011000001110000000101011001001000111000000100001000100000101100000000000000000000000000000",
"0011111011100110100011100010010111111001010001100100101001000100000001010000000000000000000000000000",
"1100010001110101111001011011010100000100110001100100000000000001000001001000000000000000000000000000",
"1110100010100110110011000001000111000000000001000100100000000000000001000100000000000000000000000000",
"0011101010110110101001010010100100001101010110000100000001000100000100000010000000000000000000000000",
"0010110101001101000101001000001101001001000100000100100001000100000100000001000000000000000000000000",
"1111101000000000010000100001000100011000100000000100000001000001000000000000100000000000000000000000",
"1111111101111101111011001011000110100001110000000100001000000101000000000000010000000000000000000000",
"1110100000110000101010100000000110011000000100000100000001000000000100000000001000000000000000000000",
"1100010101101100100111010010001111100101010001000100101000000100000001000000000100000000000000000000",
"1100010001110100111011100001000111110001000101000100101000000100000101000000000010000000000000000000",
"0010110101101001110010001001000011001001000100000000100001000100000100000000000001000000000000000000",
"0010100110011110011101000011101001001001010111000000100001000100000101000000000000100000000000000000",
"0011101110101011100110101010101010011001010110000000000001000100000100000000000000010000000000000000",
"1110110001010100001101110000001101010101100100000100100000000101000100000000000000001000000000000000",
"1101011011010111001111001000001011001001000001000000100001000100000001000000000000000100000000000000",
"1111111001110000111110010001101011101100000010000000101001000000000000000000000000000010000000000000",
"0010100000110101111101011001011000000101100000100000000000000101000000000000000000000001000000000000",
"0001001110011010001110110010101011110100010011000000101000000000000001000000000000000000100000000000",
"0000000100011001011100001001001100100000000001000100001000000000000001000000000000000000010000000000",
"0001001010010010011110110001111011111101100110100000101001000101000100000000000000000000001000000000",
"1110110111001110010111010001001111100101000101000100101000000100000101000000000000000000000100000000",
"1100000100101101100011101010000011111000110100000000101001000001000100000000000000000000000010000000",
"0001001110111110101101000000101101000001000110000100100000000100000100000000000000000000000001000000",
"1100010101011100001011010010100110101100010111000100001001000000000101000000000000000000000000100000",
"1100000010010010011100110011001100111100010000000100001001000000000000000000000000000000000000010000",
"1101011011000110000111010010011010001100110000100000000001000001000000000000000000000000000000001000",
"1100010101111001111000101001010101111001000101100100101001000100000101000000000000000000000000000100",
"0000000100111101101111001010101110001000010010000100000001000000000000000000000000000000000000000010",
"0000010001010100001101010010111100001100010110100100000001000000000100000000000000000000000000000001"]);

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",
"0000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000",
"0101111101010011111001101001001101010000100001010000100000000010000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000",
"0000111011000100001011001000001010101001011011100010000001101111110011111111000001101101001101001000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100",
"0000011000111011101001001101101100010010101000010000110000101010001000101001100001001000001001001000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001",
"0100100110000101100100011100001101110110001011000110101101100000100000100100001001000100000100000000",
"1001010000110111101011111101101101010001001010110011001010001001101111100111000110000111110110001010",
"0000101110110011010111010000101111101011110111110111101101001101000111010100010010001011110111011100",
"1111111101000110101101111001110101011000101110000011110110011100001010101111001111010000110011010101",
"0100111100000011100010010011000010011100110101110001101011101001100000010000010101000111011111000100",
"1011000111101111010010011000000011111100101010000000101100000010100001000000000000010100000101000000",
"0010011001010101001101101110110011011110010001011101111000000110001101001001011110100101000001110001",
"1010101001000000011010100110101001100110010000011101101101011101011111111001000001101011011010110000",
"0101101100011001111000110100011100110000011011010010111001110110000100011110110100010100110001111010",
"0101010010001001001110100101001111010101010100100001010100100111100111010000110001000110110010011100",
"0001110110001111001100101111010000000100100000101100110111000000000100001010100110000011110001001100",
"1010010010110000110101001000100011101001100110000110100101100101100011111011000011011011001100100100",
"0111100000010101000110011001010111001100111001011011000100100000101110011011100110001010111100010110",
"1011100111100110110100010110111110010110100001110010111000011110110111100001110101101110001011101100",
"1101000110000101001001100010111100010001010001000101000111100000010000110110100110100000101001110010",
"1010010101011110010011101110011110000101000110011010001110101000000001100000110001001101000101001000",
"0011100100111000110010101101110111110001011110010001011010101111010100101010110000101110110010101100",
"1011000011100011010000011000101101101100100011000110011001101010101000101100100001001100001100011000",
"0010011101101011100111101101010110110000110111100001000101000000001100001110010010111011101101101111",
"0010111011110001010001010101010101101110000100101011111011001110110011000101101100100110111011010101",
"1001011001001110111110011001001101000100100011110010010000010100111100111011100110111100100010001110",
"0000110011011000011110001010110101010101101011011011101100000010001110100000111001011110101010100011",
"0000111010111000110011100100101110000011100011000010110010001011110001000101000101100111110100000110"]);

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