/*
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,[
"1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000001000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000",
"0010100000000000100000001000100000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000",
"0000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000",
"0000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000",
"0000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000001000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000",
"0000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000",
"0000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000",
"0000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000",
"0000010011000010000000000000000000000000000000001000000000000000000000000000000000000000000000000000",
"0000001010000010000101010000000100101110000000000100100000000001000000000000000000000000000000000000",
"0000010001000000000000000000000010000000000000000010001000000000000000000000000000000000000000000000",
"0000000000000000000000000100000000000000010000000001000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000",
"0000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000",
"0000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100",
"0000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000",
"0010100000100000111000000001101111000000100011000000111010110010001000000010000000000001000000010100",
"0000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000",
"0010100100001000110000000001101010000010101101010000001100010001101000101100000100000000000000000100",
"0010110011000011000100000010000000100000100100000000000000110000011000001000000000000000000000010100",
"0000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000",
"0000001000000000000100010001000100100100001001000000100000000000000100100000000000000000000000000000",
"0000000010000010000000000000000000000000000100000000000000000000000010001000000000000000000000000000",
"0000000000000000000000000100000000000000010000000000000000000000000001000000000000000000000000000000",
"0000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000100000000000010000000000000000000000010000",
"0000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000",
"0010111011000011110000010110101101000100110000010000110110010000001000000100100100000001000000000100",
"0000000000000000100000000000100010000000000100000000001000100000000000001000010000000000000000010000",
"0000000000000000000000000000000000000000000000000000000000010000000000000000001000000000000000000100",
"0000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000",
"0000001000000000000101010001000100101100001001000000100000000000000000100000000010000000000000000000",
"0000000000100001011101000011001100101000001001000000100000000000000000100000000001000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000",
"0010110001100001101001000111100100001010110101000000110000110001001000001000000000010001000000010100",
"0000000010100011001101000011000100101010001001000000110000000001000000100000000000001001000000000000",
"0000000000000000000000000000000000000000000100000000000000000000000000001000000000000100000000000000",
"0010100000000001100001000011100011001010001111000000011110000001000000101110000000000011000000000000",
"0000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000",
"0010100100001001000100000010000000100010001100010000000100110001000000101100000100000000010000010100",
"0000000000100000011000000000001000000000000000000000000000000000000000000000000000000000001000000000",
"0010100100001000000000000000000000000000100000010000000000000000001000000000000100000000000100000000",
"0000000000100000001000000000000000000000000000000000000000100000000000000000000000000000000010010000",
"0000000010100011001101000011000000101010001001000000010000000001000000100000000000000001000001000000",
"0010110011000011110001000111101011001000011111000000001110000000000000101110000000000000000000100000",
"0000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000",
"0010100100001001000100000011000000100010001101000000000000110001000000101000000000000000000000011100",
"0000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010",
"0010100000000000000100000000000110100000000100000000111000010000000000001000000000000001000000000101"]);

y:=CambridgeMatrix(1,F,100,[
"0100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000",
"0000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000",
"0000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000",
"0000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000",
"0000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000",
"0000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000",
"0000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000",
"0000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000",
"0000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000",
"0000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000",
"0000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000",
"0000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000",
"0000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000",
"0000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000",
"0000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000",
"0000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000",
"0000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000",
"0000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000",
"0010100000100000111000000001101111000000100011000000111010110010001000000010000000000001000000010100",
"0000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000",
"0010110011000011000110000010000000100000100100000000000000110000011000001000000000000000000000010100",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001",
"0000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000",
"1111111011011111101101101000010100111110111100001001101001000000000011000010111010111000000100100001",
"1110010011101010111010001100011101000001111110100111111111011001101010011100001100000010000101111100",
"0000110000001110001110110001011100000100101111000000001001100000010010011010001101111000110010010001",
"0000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000",
"1001001100101010001111001110111101000111100010100011010111111101111010010001111101101001101110110110",
"0000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000",
"0101001010110110001100001101010101100011001010010110100010111100001010001101111001100110010001000001",
"0001110010101000010110011001001110111000100000011100111000000100100101010011110010111010000110001110",
"0011011000001111101011111011000110111111000101110111001111110101101101011000010010111000010010011101",
"0000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000",
"1011111110111111100100101001110010001111100100011000111111110110110000011110000010110111111111000100",
"0000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000",
"0110110111101101011100011111100010010101010000110111100011101010011001111101111101000100111011101101",
"1011011000100000101111110001011000010011010101100011001111010011101000010111110101000010010110111100",
"0000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000",
"0001101110100001001001010011101010101011101100011111100010010110100011010110001001010001010100110100",
"1110001111110011010101011001000011010011001010110001001010101100101110111011011001011100101010010100",
"0000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000",
"0010100100001001000100000011000000100010001101000000000000110001000000101000000000000000000000011100",
"0000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000",
"1011100110010101011010111110011100101110100001100001001101001101010111111011111000101011000001011101",
"0000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000",
"0001001010100001010011111001100100101100010011000000101010111000000011111111111011101010010101100000",
"0000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000",
"1111111010111110010011111001011001111111110101110000011100001001001110110000110000111111100010111100",
"1000000110010111010100100100101101011100111100101111110110101011000000000100000000010101100001110010",
"0000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000",
"1001101010011001100010100101101001110011010011000010001001010011000001110010110110100010111000001101",
"0000110010111001001101100011101100110101000010001100011011101111001011011110110010111010011001000010",
"1011011100100100011101111100001010101100000011100010100010100100101111101010110101100111100101111110",
"0000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000"]);

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