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

F:=GF(2);

x:=CambridgeMatrix(1,F,144,[
"010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"101100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"110100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000",
"000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000",
"000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000",
"000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000",
"000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000",
"000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000",
"000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000",
"000001011111101010111000011001011010100011100001001100110010001001111010000110000110000100000000000010000100101001000000010000000000000000000000",
"000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000",
"000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000",
"010111111001110001010101001100100100111000111010110111001111110010010101101001010011111000101001010000010000100000001000000010000000010010000000",
"000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"100110110001110000110111001001110101011001110001111111101000111010100110100011011010100110100000010010010000000001001000000010000100000000000000",
"100100010111001010001010001000111111101000100010101101111111110001010010001001000010010101101001010000000100100001000000000010000000000010000000",
"000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"100111111111001011001010001100101011100100110011110110010010000100011110001010111011100000010000000000000000101001000000000000100100010000000000",
"000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000010100000111110000110101011011001000101011000000011000101001000101100000100000000100000010000000001000000000010010100000000000000000",
"000000000000000100101011101001111011110101100001101110110110100100110000010011000011100100001010010000000000100000000010000010000000010000000000",
"000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"010100000100101100010001111010000100111110110101010011100111110101011110100011010001100100001001110000000100101001001000000010000000010000000000",
"000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"010111101100111001011110000100111001100100001000101000001010001110011011010100000001000000100000001010010000101001000010010000000000010000000000",
"100111111001110000111101011001101100110111110000110101101110101101111110010000010010000100101000010110000100101001000010000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000010101101001111001010101111000011110010011101100100101011111010110001111001011010100001001000011010100100001000000010010000100010010000000",
"010110100010100111110001111101100110111010110010110011010011011001000110101100010001110000000001000010100100000001001000010000000000010010000000",
"000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000",
"100100000100111100111101101001111010011001101010101110110001011011110001001100001010100100000001000010011100100000000000010000000100000000000000",
"000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000",
"100100010101011000101110000001001011000101001001010100110000101100101001110011111010000100000000010010000010001000001010000010100100000000000000",
"110011101000010101001101101100101000010000111001110010100101001001011111100111011001100100001001000010000101101001001000010010000100010000000000",
"000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000",
"010110110111001010101011000001111001110100011001111000000110100110001111100111011001000000001000010000010000011001001000010010000100010000000000",
"000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000",
"100111111101011101100100111111010000001110101110001110000001110110001001011001000011110000000001010000010000001100000010000010000000010010000000",
"110011101000010000000101000010000110010000011110000111110000000010001111111100101010100100000000000000010000001011001010010000100100000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000",
"100101001100001100101001111011111010110110110101111000011011001110011110110010111001000000100001000010010000101001101010000000100100010000000000",
"000010100000100000111010001001001111100001111000010011010010000001100101100100111001100000000000000000000100000000011000010000100100010000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000",
"110010100010000110000001110000100100111110000001110011100110111101010000110110011000110100001000010010000100100000001110010000000100000010000000",
"000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000",
"100101011001100001111010011101101101101010101000110001100011011010011001000000111001010100000001000010010000101000000001000000100100010010000000",
"110001001100111001111110001101001001001001110010010000100000010010111100101000111000000100000000000000010000101000001000100000100100000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000",
"010101011011100010010010011010110101001011111111111111100100111011100111111010111010100100001000010010010100000001001010001000100100000000000000",
"110001011011100011011011011110101001111111110110100100100010110110111100001100001010010100000000010000010000101000000000010100000100000010000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000",
"000011111011100111011011101100111001011100101010101000101001010100010001101001101001000100100001000000000000100000001000000011100100010000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000",
"000000000010100111111011101101011101010101100011001001001001001110111000101110001000010000100001000010010000101000001000010000010100000010000000",
"110011101010000110001011100000001101010001000010000111001100000000100010011000101011110000101000000000000000000001000010000000101100010010000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000",
"110001011001110100111110100001011111001000001000001011111001010001000011100100100000100100100001000000000100000001001000010000100010000000000000",
"000000000100111101011100101110101110100000111111100001111111101010000101111010000001010100101001010010010000000000001010000000000001010010000000",
"110011111001010101001101101110001110010000110101010101010100001000011100110011111010000000001000000010000000101000001010000010100100100000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000",
"010100000010010110001111110000001011010110011000000000011000100110010101010100000001000000100000010000010000100000000010010000000000011000000000",
"100110110001100101011000110100011010101011000010011110011110010010100010101101111011110000101000000000010000000001001000010010100100010110000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000",
"110000010101101100010000101000000000100100100000010010101010001110001000010001011000110100100000000010010000001000000010000010000100000011000000",
"100111101000000100101001101001101100110100110010100111001110000101000110001001101011110000101000000000000100000001000000000010100100010010100000",
"010110100110001110001011110010001111111011001110000111010110011010110011101000001010110000001000000010010000100001001000000000000100000010010000",
"110001011011110111111111101101111101111101110011111001100011011100110100011010110000000100000001000010000000100000000010000000100000000000001000",
"100100000000010000101110001001101111000001111000100111110100101001111101100101000010110100001000010010000100101000001000010010000000000010000100",
"000001001000010100000101101000100100110000101010110011101010000000011011111100110001100100100000000000000000101001001010010000100000010000000010",
"000010100000000101101000101101111000001001110010111000101000110000101110001000011001010100100000010000000000001001000000000000000100010010000001"]);

y:=CambridgeMatrix(1,F,144,[
"001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010",
"011110110010011011111001010100110000100101010100001010101111011110001010100100101011000110010000111001010010000110001010100100000001000110000110",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001",
"101101111100100100110111011110100000000000011010100101111011010001000011000010011100011000001110010001000000010100100000001100000000000100000001",
"001000011001110010110100011011000000000000110001111000111111111111110000100101001101001001010000000000011000000100101100100010000100110100000110",
"110001100000001001001001100100110010111111010000000100101000100100000011001110111100101011001101010010111000111100010000101111101110010100000100",
"000101110010110100010001101000100011000001110000001010011111100011100000001111100100111100001001100110100111000011100010010011100101010011011100",
"011101011000010011111010010011010000110101110110011110001111000101010000100000110010100100101111100000011100110110011101100100111110110001000101",
"010011011011110001011011110111001010001111111101010011110001011111000101001111111100011111110110110000000001011010000110001010101001101111111000",
"101010111001011101000011111111011100000000001010100010011011011000001111111101010011010100011000110111000010011100101111010110100000000001110011",
"010001010001101000101100001100111001110001110010010100110001011111001000100001001111010001000011010011000010001110011100001011101101110100101001",
"010100110101110000111100011000111110011001010011101110110100011001001010011110001111001001010011011000001100110111010101011011011010110000000010",
"001000000010100110010100001110100010100011001101011000110110100100001001001010000000011111110111011101100010010001101011001000000001001101001100",
"101011101101011100100011101111000100010000001010001100000110011010011101100000010110110011111110101010001100111110111000111100111100101100001100",
"111010111011000100001000001001010000101100111011110000101110000001010011010011111010000110001011010010011111111011011100100001111011111011011001",
"101001000001101000001100010000011001001010110101100010111001011110110111100101001011010101111100111010110110111001011000001111110001111000110101",
"010101001000001011100101101101100111110000101010010110000010100001010111000011001010010011101100010011100110111010011100001100000100001000010010",
"011011110111110011100101110010000101010111110010110110100110110100011100101100111101110101110001110110011001100111010000011100011100111111101101",
"010000111101111101101111000000001011011110001100100101100101111111111111111000000111010000100010001101101011101000000101010101100100000010100010",
"100010001001011111111010001110000001000110100010110101101010010001000000000101101000010110010011001011111001000000111100000110001000011010100011",
"111101011001111101010000011000101001000101101110000000110110000001111101000010111111101101000001101110101100111100110111110011111111100011101101",
"011110011100010110000110111010000100100010101110010100100010010001110111001001001110110010011010101000011111111101111101111010011011111001000110",
"010010011101110110010001000011010010100110011101000000001000010101001100110001111011100100000111000111001111101101000110110100101111000100110001",
"000111010101010001010101110011111011101100100001101100111101001001001110011110110010110001011101110000111110010011100100110111001011101000110111",
"100011001110010100110011010010001010110100010101000111101100000100011110000111101101110010100110000110001111101011011010011010011110101111100100",
"101001001011010011000111011010100000000001000001110110010100010001110001000100111101000101011100111011011011100111000110010110000110010110110111",
"011110101001010011011000111000101110100010101011101111011010110101101100000011101110101100011101010100100100101000001000100010001100111011100101",
"000110110110110100011100101101100001001110010110001000101001011101000101010000101001100110100110000010010001010100100101011111111100101111100011",
"111010000011110101110001110100110110000100001110011111111011000100111001101011011100000010111010110001000000000001000101001100111011110001011101",
"000010001011010110001011100101110011111011110001110000110111010110110000010110011010011110111111101101010010001011000111001010111010001000011001",
"001010110100111111001000100011010011101001010001000111101111111011010110110010101110011111111000110001111000001000111010101011001111000101010001",
"101100101101101111100110010011101101101100000110111000111010001011111001100111110111111001100111110001100111000010111100011010010111001010101000",
"011010111101101110111000100011111110100000011000010001001110100101100010001100000101100100001101101001110010001010000101101010001010000011100011",
"010101101110001100001101000010011011101100100010011011010000100011000101001100100111110001111100011001010110010000000111000100111100011110100111",
"011100011111010011010111001011000111011010011010110000010110011000111001101001010101011010000101010111011100010000110100110100011000011101101010",
"110110000001101101100100101101010111001101001011111011100011110110011000000000111011111110101110110011010100010000110011011011010011110101110110",
"110100110001001011001000010000000001000110010101011100011000010000000110100010011111011101110111001001010010010111011010001101110011110001011011",
"011100101011001111111011111000001001011000010111010000100011001000101000000001110000111011001111100111110100010011111110000110001100101111101001",
"101001010100001010000110001101010110010010001111110000101101011111010001011010001011010011011110100010011100111001111011100101100011111101100001",
"001011101110111110101111101011010000000110101100001010110100111111000100010110010111101110001100111101000110101100001011101100000100101111000000",
"010100100111111110101101000000101010111100100001000111001101000101101000001000111000000101100000000110011101001101111110001011100011000000011010",
"101010101010101110100000101001100111011101101100100010001001110111010001011001101001000011001011111100100100011110100100100101010101011101111001",
"001101100101101001101011101010001000110001101001000000100000010000011001000111001110110001111001110011011011110010100000001100100111001000011101",
"001100010101000010101011011101100110111110001010000100110101000101000110101011100111101010001100101000100000010100100010111000110000110110001110",
"100000000101011100011110100001010111111101011000100001000110001100101011111011111000011010001110101001111001101111001001111010001111100000001111",
"100000001000011101110011001010001110101000000111010101110011001110001000101110010001010101110011110001111001110100011001011100001000000101010110",
"100100110011100010111001010000001110010110011000001010101110110001001110100100100101000101000011011110000010101011110111100100111000000101111111",
"101111011110100111000010101000100101011010010000001111001010110100000111010000000101011000011111110010011010110001110011010001111110111000100001",
"001100100100101101111000010101101010000110101100110111001111101010011001110111001110111010011100100010011110001100100110110110011010110010001100",
"010100011111010010011000101100010101011111101010111110010010100011000001101111110000110001110110000110100000001100110100010011110011110000000110",
"011001110011010010100111000010001010110000010010001101101011000100011110000101000011111111110100011101111011011101100000000110001101001010111101",
"111011111111110111001111010011010001000111000110111111000010011111110101111011011100011000111011011001010011100001001111000110101001100010101011",
"000010000100010100110110000110101010111010000000000111010010111100110001100111011001011001011010111101101000100111001010111010010001001110000101",
"101010010100100101000000111100000110001011101010101101000011101110010000111001111101100111010001010001111011111101010101100110010010000001110110"]);

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