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

F:=GF(2);

x:=CambridgeMatrix(1,F,144,[
"010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000",
"110110000010101001100110110001010101110100111000000000100100100001011000100100100010010000000100101100011110010100101101100001111101100010110000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000",
"010110100101011000101001100000000101110110001110000100000011011100000000011111110011000011000101101001000110011010001110010010110000111111100110",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001",
"110100111001100010010100000001111000101111100000110110010100000110110110111101000111101110000101000111001010101101110110101111010001100101110100",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000",
"100111110101110100100100000010101011111110101111010111011010001101000010110101001100000001110100000010100110111010011111000000011101000010010010",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000",
"111010000010000100011100010000011000101011001101011001000101010000010001111011011001010000100111100101010110111001111001011101001000101010111100",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000",
"110111011011001011010001111011110010000110001111001010100011110101000010010100010110101001100000001110111011100010101001011011110011011101111110",
"110011000011101100011100110111111001110011010100110001110101101000101001001011010011110110011101101010100010110011100001111011101101101000010001",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000",
"001011111110111000010100110101001111100110011000001010001110001001111000101001010110001001101001110100111001110001100110100110111111010100111101",
"110101101101011001000100010001111101101001011111000111000010011110011000010000001011010000100111110110000001000001001000111001100011100100110011",
"111001110000110010110010011011010111000101100000100000100001110011110100000101111001010011010001110101011011101000000011110111100111111101001111",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000",
"001101011010101001000000111100111110101111110100010100011101000001000100011000110000010101110100000011101110010100101100100001010001100011011111",
"110010010101111111011010011100011010001010100010101000011101100010011001100111110101001010110110100111000100111101010010100100110001101000110001",
"010011011110110011101000100110010000111110000101010001111110011001101100011011101101010011100101101101110101110011000000101111100101011101000100",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000",
"100000110001001110100111101001010000100101010011001110100101101011010101110000111000000010000001111100111000101100001110101111011100101010001000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000",
"010111100001100111010010000100000011101001111111111110111110111010110000000101001011100001010001000100010010101000000000001010100000000000000010",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000",
"110111011000101101101101011001011111111001011000110001101110011110100100001100010000101100010101111000100110001001010011111101001011101011110110",
"110001100011011000010110110010011011000011110011110000001010111111010011110111101010101010010101010010111000000100010011010111000101000001001110",
"011011010110000010011110101110101111101110101011010011000100001111111001111111101010100110111110001000111101111100001101000101011011001010000100",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000",
"000100100010100101101111100001010011100110000011000101011000110110111101000000011110000101000101000110100000110011011110000001100011001001010001",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000",
"001111100011111001000101010011001000100101000101000010110111001000111000010100110000111001111100101100100110010011101001010011001000011110010000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000"]);

y:=CambridgeMatrix(1,F,144,[
"111000000010011010010001010001100001010010100110100001100111010000001110001001001011000011000100011011110100100001110110010000010001000001101110",
"101000001101001110010101110101110101101011001101010100110010100001010011010101101011101001010001001000010011101010000000111011100010111110001110",
"010100111110010011111001100001100101111010010011101000011111010000011111011010100010110101011100000011001100001101110011110101001010100111010011",
"001101100010001101010100000111101011010001011010010010010010110011111000110110010010001110111101001100110101101100110110010010100001101101010000",
"001101101101110101000101010001001001000110011101101100110000111010001011000010100111000001000100100100000111000101011000000010011101000100101110",
"010100000111010111110111101110001001100110000111101011000011010011010001110011100011111010100010100001001111100111010011000011101001110111100000",
"110001111001101010000110111001111110100110110110110111101111100011011111101110111000110010010101110101110000100001110011100101101000001110100010",
"100101101000010101100011001010110110111101000001010100001011110110101110111010011001000111011110011011110100110011011100010110110100010011000011",
"010000001101101100110110001001011001111010010010011100001010100110111111100110111111000001110011010111101001111100111110101100011010111101111001",
"110000110111011110010011111100111100111001101011011101001100000110111000011100110101001101101111011101100111010000000001010100011110100001000101",
"000110101110101010110000101100101010100111000111100001000010100000101100111101110100011111111101100010110001110100111000100010101001100110101101",
"111011101110011000011101111101100101100111001100011100010111011101110011001011011101010110000010000111010001110101111111010011101101001100010101",
"010111110110111101100011101000100011010011001010001010101011010001001011010011100000111001011000000000101011110101101011010101001001110000100111",
"011111000001101101110001000110011011000110001101100111110000000000000101100110110000101011000100010111011111001000110100110100000001111110010001",
"111001001101111000001111100001010101101001111100001000000101010110110011011001100111111010001101110101001100110001000111101001101011100000110010",
"100001000011011101110010001100101110101101001101110011010000110010110011110110101010011100111110111000111100111000011001000100000111010000010100",
"001011010101110011011111111110111110001111111111011010100010011010010001011010100111101011111001111001100100000000010000011000100111000011000000",
"111011110101010010101110000111001010111111000010001111100111100110001011110100111010010011000101000110100100001110011000001000101100010110101110",
"100001011001011011100010001011011110101100010011001000000101010011110101101001000001100000110101011010100110000110101010011010110001011001010010",
"100110110111101000100100110110000001001011001001110110101010000011110000101011110010100010011100110010100001000101100111101010100101110001000001",
"001000000110100000000111001100010011001001110010101011010000011001000000111100101110010010001011111001010111100110100010011101000010100111110101",
"111001101100000101101011111001100001100110001011110001000111110000001110011010011100010110100010101011000101110010110100101000010001011000110010",
"001010110010101101011101001001111000010101100111100110000111001010111110100001110001011100000110001110011001111011001100001011000010010001001110",
"110111111100110110111001100111100011100000010100010000010100101110011100100000101001100101101011010000110010000100100000000111111101010010000010",
"110101100011011000111111000111101001001110101100000000111001001101011110001110010001110111111011010001000010000010000010111010100010011101001111",
"011111001001001010011000101100000101100110010110100100011011000101000001010000111111010110011000001111100010110101101010000101001100000101000010",
"111100100000000011001001001010111011100001101110001110101001101010010110000010000000001001111100110110010101001101001000011101101111100111100101",
"100101101101100110010000010101010001101100101001111011111111110011101110100010110100001000011111011111111110110010111011000001100101000011011101",
"000000011101101010111001011110000101100010011001010110010010110011001010101010000000100000000100011010110001010100101010100001110111101111100111",
"011111010111010100001001100100000110110010010010010000011011111010011000011010111100010010000101110100011101110001101011010011100000101000001100",
"001000110110100011100001011000000000000011110100000100001001100101001100010111000010000111000000110100001000111110100001111001000011000100010001",
"101111001011001010101100101000011001101000010001000111111101001010101100110100101101001001001100110000100110011001111011011111101101100000001100",
"101100011000110011000111000001101011010001010010001101000001000011111110111110010010111010110101101000010011011110011101011011110100111011001100",
"000000000110000101011011101000011111001100110010111000110101111010010110001111011000000110011001000011111011101010010000111000101011001110011101",
"001100001101000001011111101010110010111011011101111001100101001000111010101011110100111001000110011000110101101010010110110110010010010101011011",
"011001000110001101001010101011010000011011101001010010100110101100101011000101101000001010110101100011001011011110010101111010110001000001010001",
"011010100001000111010111001001110000000101011101100011011101110101010101001110100010001111000000100111001100100100001110101110111110000000100001",
"111110011000111101111010101100110111001110101010101110011111010101111111101100111110000001000010010100110111100110100001010001000011101111110011",
"110000110011101100101010100000111101001110100000010011111111001000101111011100001011111100110100101110101110100110000100110001000000010111101100",
"100110010101001010000010011011101001111001111111100100101100101101100000000000011011000011100010010000100010010111011111010100011110000000001100",
"111000101011100011101110010011001111011001111011100001111011111111110100111011111000110010101011000111100100111111001011001000110100001100110101",
"100010100100101101000011101100001100001101110100100000101111111110000010101110100110001001111111000010001110111111011011001011111111000000111001",
"001011010101001010111001101111001010110000000111101111011100110101001011101000101010011000011101010100100010010000000001110100000000110010000100",
"010001010100001111011101101111011111011000111011110001010001101111110100100001110100101100110000101111100101001100010101110101001001101111100000",
"110111000111111000010000110000011000110111101110000001110100110010101011001100001011010011101110101000100000110011100011010011001111111111010000",
"011010010001100101111000110011010110010101111011101011010101110001010110011001010001110111100000100100111000010000001001000110010100011111011001",
"111111011100101000010001110001010111000110010001001011010101011001001011010001001011110010010110110000110001111110110000011110010011011110111010",
"011111110001111010000011110101101101011001010110110001010100001111001000010011011010111001000010111001010000010000000010100011110000101100110110",
"000110110100100010001100110011101001011000110110110111011000001000101110010111111101000101101101001101101000110010011100001111100110011000100101",
"110110011011101010011011101100110001101000001110111000011000110000100110101010110110000010110001100111111001011011000100001101010110101010101110",
"001011101111100111000001000101001010100110010100011001111110010011011110101000011111101100110111010111011100000011010100111011100010100010101110",
"001000111101111000001001110100000010110011000100111101100100001101011010110111000001010110111101100100111011100100001001111111111111111110001101",
"001000001011100111000111101001001000101010111110001100110111011011110000110000100010110000011000010010000001101111011101001100010110110111010000",
"000011111111001001100110011001100100111001111111101010011100100001100001001001011100110001011010111011111101100000011010011110110011110111010110",
"010100100001011000100111100000011111000001000001100011111100111101000100001101111000000100001010001101110000000011001100011001001001001110001100",
"110100100110001100001001111110000010110011101100101001000100100011001111011001001101001000000010010111100011001100100001011101101011100100010100",
"111110000010101011110101011111100101111000100101100011111101101010001010010000110000010000101011000100110000111001011111100000011101100111110000",
"010000010010100100001101100110100000011011001100000011110001010011101001000100111111111000010010001111011100100101011001000100011001010111001010",
"101000010001111110010001010011111110000111101110000010000100111111001010101110010011100011101110110010111010100111111001101001110001101010110100",
"000001110110011011101111011000110100110111011011101010100011100001010111001101101010100101101101100111011000001000100110011100010111100000011011",
"001110111011001000111001001001111000001011010000010111010101101010011010101010011110001100000000010110000100000001010101110101111000110000100110",
"110011010100001001100010011000101110010101100111111001100010000111110101100101101100010111000111001011111000100001111010000000111101001101011111",
"111100011001000110101100101010110000100011010010111100111111101100101011101100111111000010000001100110110100111011010011001000011100110010111111",
"011110010110111010001101010010010100111111011111000101010010000001111110001111000101011101010111000000110001111001110100011001010011100010111000",
"000101000111101111000111101001111011101111101110000100011001110000101001111110000100101111110000010101000011000111001010000110111011011110101000",
"011000100100000000110000011101001110100111001000111001000110011011000011010100100000011110011100010100001011110001110011101000100010000000001100",
"010100011011110111110010010000101110001111001100000010100010101011110110011110101110110111111010001111001000011111110001101000101011000100101111",
"010011111100000011000100110001010111101010111111100010111100010101001110001110110111111001100011001010011001100111011110001101010010011101011000",
"011000011100100000010010100010010001110010001000011100011111011100110110111100001011011101110001111011011010000101100110010000011011011111111101",
"110100111010010111010100100111110000011111010000011110001111001011101000101000011001101011001011001011001001111100101011100111110101111001100100",
"100001011011010111100110000000011110001011010100000010010100000000000110101010010100101100010111110010001010011111011110111101110101101101011100",
"100110010101011011100000111101011100100101110101011011011011101111110100000000111111111011101011100000100000010010011111111111001100101011111001",
"011110000000100111010011111000100111011110101110011101111010111001000000100010000000010011001100111001101111001101000101101101001111110100000000",
"000111010101111110100010110010110010110010001100010000101100000100100110111011100011100111110000010110110111000111100001010000000100010010111010",
"100110110001111101100110011101111111101100100000110001000011011101110100000010100001101100010110010100010000101000111111011101001100010110110010",
"010111001111011111111100111010000100100011011011011011101110001010110110010110010110011111110111110110111010110110001100100011010101010111010101",
"111001010001011101001000111111010010000111001111111000001110100010000110100010010011111111100001101011100111011100101011011111101001110111010100",
"000011100101100000100001001101001000000110010101000101010001101001000000010101110001100001010010010101111001100111000111001100101001000001010110",
"000100011100111011001111010111011100110111111001001111110010111111101100111010000101001100000110110000100000001100101101111010000010100111000001",
"010000110000010111000110011111111000010101110100011001010101100011101111000101110011001000000000010100101010001101111000101000000010001100110010",
"110100001010010100001101000010101110110010001010001011110010110100001001110000110001110010110010100111111110000001001111000111001011111101011000",
"100001111111001111010000001101110100001001100011111011100101100101110010110010110011110000000001010001100101111000111011001011011101100010110000",
"001001101010101101000010000111101101101010110100101101001110000010011101110001001000100110110100111010010110010101000011111110100110111100110100",
"100101111111011100110010010110010101100011001001001000000011101100010111011100011010011010010000111100101101111111011001111101001001111001000111",
"000101110111111111101010110101000100011011111000100010101110011111010110100001000011001110010101000011000101010111000110000110001111000001011010",
"000011011110101011011011000101011100111110010000101001110101001011100001110011110000100110100000111011001111000100101100010111101101010111000100",
"010101110100100011101001110100111000010100101111101000011011001000110000011001101010011100110110111000101101011011000111010000100000000000110100",
"011011001111011011101101110111101101101100101000100101001000010001101110001100111000111000010110110001001110000000010010111010011110011101011011",
"000111101010001000101010110101110110100110101011001111100110110000100010100100011000111000101010011011011001111010000010111011111111110011111100",
"100101110111111101100000111010000101001110101000111111011101001100101100111111010100000010000110011110000000110110010101111010001110100010100100",
"000001100001001101111011001111110001011110000000110000011111110001110111110100100001101101000001001110011001101010010111001000100111010101001101",
"001001011110010111000111000010111101100110111111101011001100000000000101001101001000010100010001111011111110000111110010101000000110100001100001",
"100001001101101110111001111011000010110100100000010101111100011000000010010101101010000011011101100101001000000001010000111010111101000111101000",
"111001110111101001000010110011010111010111000000101100110011010101010110000111010110111111100010111111000011001011011111001001000001101001111111",
"001101101110111010011111100001001111010011010001001000000000010100000101110101111010011000011101011101110010111001011010011000001101101001111000",
"110010000100011000001010111000011111010111100111011010000001110001111101001101100011010011100101001111110111100010010101110111011101101000110001",
"110000010000000100010111010010010000011010110110101010000001110100110000110100100100000101101100000100100000110101000010110101110110110001011001",
"100100110100110010111100001101110101010011001111100111101000110011001011100101111010111011100011110111111010001000001001011111011100100110111010",
"111011010111000010010011100001010010110101111000011001111100100011011100100010111101001010000001011111101001000110001101001001001101110011101000",
"111011100101000100111110001101111111110101100001100110100111101001111110011101110100110101001100011000011100111110011011110100101111000101111100",
"000000110001010011111010110110001000011011111101110011000011001111010111011101010101101010001001111010011010101111000100100011110001011110110111",
"011100010011000101110111010011000000001101100000111000111100001010101000110000100001100101001000010101110110000100100101101011111110010010111111",
"001000110010110011011110100011001111110110001010000101110101010000010110010011110110101110111010010011011011110011000000011100110010011011110110",
"011111101000001101111011011101011011111011111101110010100111001100001001011000001111011000111100001100001011111110101101001111001100000011000001",
"001110000000010101110101010000111100110111001010111011001011000010001000000011011010110101011101001010001001000101011111110110000011001100111000",
"010100111100010101101111110101100101100010100101011110100010101010111001011100101110111010010001010110111010011000010010001011000010101001011000",
"110011101001111101000101100010101000010000111111010000001001111101001011110100000000101111001110000011001100010101101001001110110011000010100001",
"000001010101100010101011110101101110000000000111111100001011101011111000110110001011011101010011001001111100101111011001100010010100000111010100",
"000010000001111000011000110011101111110111010001110011000111111100110011001100110001101101111110101110100010010010100011101011000000101101111111",
"110101011010000100101010011110011011010010001011101111110101110101000100101010100010000011111011000010010110110010000110110100001000111100010010",
"000010111001110101010011101010100011100010111110111010110111111001011001100011110001111110010000000111000101111110110001000011100110010100101001",
"101011100100001001001110110101001111010110010101000101000000101000111100110000001101010001110110111011111010100000011000000001011010110000101101",
"000101100000001011001011001101010111010101100010011101101000111101010001010101010000010111000011100100101001000110111011110100111010110000000100",
"111110000110001111100011010101000101000110011110100011111001001100111010110001000101010101011011101000010001100100010011111010110101101010011000",
"000000101000010001011011011000110010101101000100000101010010111101011101111110010001010100000111010000000011010101101010001101111001100001110100",
"110111100110010111100100110100101001011011100100101011110011000101101101100100001101000000011010000101111010000011100001001011001110011010111110",
"000101100110001011001001101011011010000011000001011110111111011000110101010100100111110110011110100100010110001001010111101111001110001101000110",
"011000010101111101111101011101100100101010101110011101111110001110100111111000110111010100001101010001010111011101100101000001110101101101000010",
"101011111111010011011001110111110111010011001010000110001100001111001001111011010010000100001111001010111001111011111100001100010010010011001100",
"000110111001111100111100010011001010111101000111001101110101111101101101110110101010011110101101110101100111000101111011001100001010011001011111",
"110101010000101011110011011101011000100000101100100101011100101011011110110011100001010111011000001110100110011110111111000011110101100110010011",
"000001111111011110110010111001111111100101100011000011101001111100101110001001100011000011110000001010011110101000000110000101000011101010111100",
"111000111001011111110000010001111011000001011110001111010011001110011101001001100001100001100101010100111101000101011111001000010110101111010001",
"111110001010010010100101001111011000001010101111001010001000100000110101011000110100101100000110100111011011011001110111000111001110010101101000",
"011101100000011100010001011011111111111100011011011110000010101011101111010001001010010001001100100111001000101011000001010100100010000011100011",
"110001010001011101010001101110101010010101010101101111010110000010000001101110000011001111011101010100011001010001110000110110011111110000010010",
"010100111010000110010011011001011101011011000000100001010001111001010100010100111100011001011101011110001101000010000011101100101010101000011111",
"010010010100101101101011100001110101100011101010001011111010110101001110101000010010010110111110101000001111010111110110011101100110000011111000",
"100101111000001101011100010001100101011000001011101011001001110011001010111101011101110111100100011111011011101111111010111111011100000111100110",
"001010001000111101111100001100000110001010000101001101110101100100011110010000100011000101000101110111011110000011100000001110001110010000011010",
"110000101010111101001000001000011001101110100001100000101001101011110111100111111000000101111100101001111001100101101111001010101001101100011101",
"100110110000001001000010111110101111010010000011101001111000010111011000001000001111010010001000000100110011001110010001000100010001010010111100",
"011001111100100110011110111011011011111001001010111110001110001101010100110101011110011001001011010100101110111110101001010011100111000101110100",
"010011101100100000110000011110101011011001011010111110000110100001001110100011010011101011111101001101101101111100100000001000001101010000000000",
"111001010100010101100111011100110111110110100100110011100011110001110000011001011100101011001100010111001101010001000110100100100000111101000100",
"101111110000111010011001010101000100011001001011100110000001000001111101110100010111101100001110001000000000100010110101001110010000111111111110",
"100100000011011000011011101011000000011010010001000111111000001110101000101011111011101010110001011000111110000000110000001010001001001111100000",
"110111111001100000110000111110101000000110010100111001111001110001111101101000001011100011010100101011101111001101101011011100001011111100010011",
"110010011000000010111001100011101000011010101000111100001100100011111010111110011011010011001011110011100000001001010110010111101111101111001001",
"100110001001011000001101010001100110101001011011000010000110001100110100010110000001011110011100001011001110110000000001100110100000010001100000",
"000100111111110000101011000111101100101111000001001100001010011000000110101000001101010000101000001011010111011011110001111010111010111010010111",
"000110110000001101100110000111111101000110100000001111111001010100011000110100111110000100110100000111100010110111010101110011111101010010001111",
"100010111011111001101001011011000111000001100001001001100111111011010001111110011111001111000000110001111100011101111110010000010110111110100101",
"101010110101000000110011101010011101111111100101011101100100100010010100001101111000111000101111011111100110101001111001011100011110011110000111"]);

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