/*
www-ATLAS of Group Representations.
M23 represented as 120 x 120 matrices over GF(2).
*/

F:=GF(2);

x:=CambridgeMatrix(1,F,120,[
"010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000010000100010000001000000000000100000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000",
"000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000",
"000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000",
"000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000",
"000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000",
"000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000",
"000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000",
"000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000",
"000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000",
"000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000",
"000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000",
"000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000",
"111110101000100100000100001010000001001000000000100000000000000000000000000000000010000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100",
"000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000",
"101000001000111110001110101011010110110001101000001100111000100100101000111110111010001000111010001000100011001011000001",
"100101011101000011101110111000011111101001011011000100001010001110001000111000101110000101011011000110111001000010011100",
"000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000",
"101010101010010111011000000000011110000110111011100001010010100111001000000110100011101010011011100001010111001010110001",
"000001010111011101011000000101010110110011100000110001100010001101101110100010110110101100100010100001010010111001010100",
"000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000",
"001000010000111111110011101101001010010111010011100011011000010100010000100111011010000100101111111110100110100101100110",
"111001001011100001111011100100100110010101101110100101100110101101111011011110011010100111011101001011110110001111010010",
"000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000",
"000100011100000101101001101010100010010011100100011111110000011100111001111111000110110010110011000101100100001110011111",
"000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000",
"011100010110100111011011101110001101001001010001000010011001111110010010101001001101101010101011101101101110000111011010",
"111000111001011000101110100111100100101111011010001011010101110100101100001000110100110101000001010100011011001011011101",
"000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000",
"100111010110001110000001100001000010000011101010110001000111101011001101111100111111100000111011000010101010011111111011",
"000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000",
"100100100001111010110010111011010011011111011100111010011111101101101011000111110011010000100010111011011001011101001110",
"000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000",
"000010000001100100111110110101010000111000101000110100000001000110001111111111101000101000111100111000101010010100001011",
"000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000",
"110110101111100000111000001010101111100010110111100011101101100111110100110010000010000110001101110001111011001100111010",
"011100100100101001011101100111010010111101111100001111111100000010100000000110010011011010101101001101110001101000011001",
"000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000",
"100110100110101111101100100101101000111010100101011101110111000100000010101111111000010110001111000001000111110001100000",
"100000101010001111000101010101000000001110001010100100111010010110001110101000110100000001000100011111000011101010100000",
"000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000",
"010001101100010001001101111000001001111001110101011100101000110001010111110010100111101001111111001100011000000110001000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000",
"111110100000011010010110011011101001100111011101111000110111101011101001010100101010001001011110110100111101110011000101",
"010100011001011000100001000100011000010101101101010011111000111010011010100001010001000101111000001010000101111011000101",
"000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000",
"111110011010111101000001000001100110011001110110000000100011100111001011011101001000011101000100100011101111010100011111",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000",
"110101110101010110100100110110001111101111110011001110101001111100111110100100111000000101111001111010101000000001101010",
"011110111100101011110111101101001100110010110111000101111110011100011010110101100111010011001000000111001000111111111011"]);

y:=CambridgeMatrix(1,F,120,[
"001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"100110011000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"111011010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"010011001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000",
"000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000",
"000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000",
"000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000",
"000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000",
"000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000",
"000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000",
"000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000",
"010111001010100111111000000110000011011111110110111100111010100011100011101101111010110100101001111000011110010000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001",
"000001110000011010101010001001011011110000011100110111011000010101001110001000111000011101000011011111101010000111010110",
"001010111001010100111000001110001111001101010000111101000111000110000010000101010110000100010101001110100001000101100100",
"111110001110110111111100010110001011001111101000110000001010010101101000010101011101110111001101100010010010100001011001",
"000000110001000000000100000001110100010011111001010010100111111000101101101110110001001111111110100011001010111110011000",
"000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"111111011111001100001001000011101000010100101111010011000011011000100100001100011111011110111011111001001110101111100101",
"110001000010001001111000010011101011010010001100011011011110111001100010111000001011100110111011000001000011110011001100",
"000111000111001010000000000000101111001001001100111100001011001100111001001010110001100110110100110001110100010111000010",
"110001011000000100000111101110110100010000011101111100111101100100111010110101000010001101000010101100001001001110000000",
"000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"100110010010010100110101001000111011010001010010010110000000110101000000100010101011101100100010101000010010101010110110",
"000001111110101111000011001101111111011000010111011000000100001110000101010101011100010110000000001111001011000100101100",
"000111000101100100011000010111001111111101010000010010110111111111001110101010100101000100110010110001000011000001010101",
"001011100100100011010111100011110011110110111100100101011100001001011011011101000111110100110000001001001111101011110100",
"110100011000010001011101111111001110110111011000101100000110111111111010011001001011001111011001011110101011110001110000",
"000101111111111110111011100100101110011010100010000111000011110001010100100000111101110000010111101010100001010111100001",
"101110001010011011100011101011110101100001011001101001001101110101001110100110110000010001111011101010001011011011100000",
"011101101110110110000100001110110011100010110000000001101010001100100111000110101001101101000000011110011100110010011001",
"000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"011011011010101010010001100101001100110000000011111010010111010010010001001001010000010000101100111001110011001001000000",
"111101011011011000101100111010010000001011110110001011110010000010010111001011110100110110010010011001011000100110110110",
"101100101000101111000000001001100101001101011101011010110000000110101011011100101010011010111100010011110110000000000100",
"100110101101011000011111011010110011101110100110000100111011101001101010010011100010101101110101010011011100101100011100",
"011110011010011101101001110101100110010011001111010100011101010101100010110100110000100111000010000010101110000111111001",
"000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"010101111110101111100000011010101100100011000011010110111111101010101111110111010000010101000101110001110100100000111111",
"001101111001110010111001010000101101110000001100100101011111000100011001101101101100111010111000111001010010000000000100",
"110010101110011010111011000101011111010010101000010100010100100101001101000000011011110011010110110011100101110100000010",
"100001111011001111001111011000110011101110000010011101010111110010011000100111101010110100011000011100110010011111011111",
"111100100111100011110101010111000100010000001101110101110001111000010000101001001010001000000000110111010110111010100101",
"100101100111000001110100110010110011001011011010100011110100111011011101011111100101101001001011011000001001111001101101",
"000111101101110101010101111100111010101110001000110011100111000011001111011111111111010110111001011111100101010010100010",
"000010001100011110011001111000001001001110101101000011101100001100001111001100010101111101001001100001010110100111100001",
"001110101101010101111001001110011100110100000100010010101111000111110111010011001000010000111000100011000101010001100101",
"110100010100011111000110010001011101001100001111100001010011011111110101111101001100110110110111101000010110011000100001"]);

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