/*
www-ATLAS of Group Representations.
2.Sz(8) represented as 128 x 128 matrices over GF(2).
*/

F:=GF(2);

x:=CambridgeMatrix(1,F,128,[
"01000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"10000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000",
"11111111111111111111111111111111111111111111111111111111111111110000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000001000000000000001100011011001010010000100000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000010000100001010001010010111001000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000011011100000100100001111100100001000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000001000000001011001000110110100100001100010000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000100000000001000101001100110111111101000000001000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000010000101101001011111000111000000000010000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000001000001001101100111010101001101100000100000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000101000000000010001000010001100101111100000000000010000000000000000000000000000000000000000000000000000",
"00000000000000000000000000001000000000000101101001011011001111000000010000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000001010100000100110100111010000000000000001000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000001000001001101100011001100111011100000000000000010000000000000000000000000000000000000000000000000",
"00000000000000000000000000000001000010010100000000011101111010100000000100000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000001011001000110001100001100100000000001000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000010000000101011011011101101100000000000000000001000000000000000000000000000000000000000000000",
"00000000000000000000000000100000000000000101001110101111111010100000000000100000000000000000000000000000000000000000000000000000",
"00000000000000000001000000010000000010001001000010111000101010100000000000000000000010000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000001100101101111111111000000000000000000000000000100000000000000000000000000000000000000000",
"00000000000000000000000000100000000011000000001010001110100111000000000000000000000000001000000000000000000000000000000000000000",
"00000000000000000000000000001000000000000000101001010111110111100000000000000100000000000000000000000000000000000000000000000000",
"00000000000000000000000000001000000011011100000010001000011011100000000000000000000000000001000000000000000000000000000000000000",
"00000000000000000001000000011000000000001100000000101100110110100000000000000001000000000000000000000000000000000000000000000000",
"00000000000000000001000000000000000001000100100101110101010110000000000000000000000000000000001000000000000000000000000000000000",
"00000000000000000000000000000000000001001001101011100110001111100000000000000000100000000000000000000000000000000000000000000000",
"00000000000000000001000000001000000000011101000000101001011101100000000000000000000000000000000010000000000000000000000000000000",
"00000000000000000000000000001001000000000000100101011001011010100000000000000000010000000000000000000000000000000000000000000000",
"00000000000000000000000000001000000011010001100101010001100000000000000000000000000000000000000000100000000000000000000000000000",
"00000000000000000000000000010000000010010100000000101001100001100000000000000000000000000000000100000000000000000000000000000000",
"00000000000000000000000000001000000010010001000110101101110010000000000000000000000100000000000000000000000000000000000000000000",
"00000000000000000000000000011000000000000001001100111011011101100000000000000000000000000000000000001000000000000000000000000000",
"00000000000000000000000000110000000011001100100111011100011101100000000000000000000000000000000000000010000000000000000000000000",
"00000000000000000000000000010000000001001001001110011010001101000000000000000000000001000000000000000000000000000000000000000000",
"00000000000000000001000000001000000000011001000000000001100011100000000000000000000000000010000000000000000000000000000000000000",
"00000000000000000000000000010000000010011101000010110101100011000000000000000000000000010000000000000000000000000000000000000000",
"00000000000000000000000000100001000011000100100111010101010100000000000000000000000000000000000000000000001000000000000000000000",
"00000000000000000000000000001000000011010100001100000010000101100000000000000000000000000100000000000000000000000000000000000000",
"00000000000000000000000000100000000011001100001100100011110110000000000000000000000000000000000000000000000001000000000000000000",
"00000000000000000001000000000000000011001100100011010101100111000000000000000000000000000000100000000000000000000000000000000000",
"00000000000000000000000000101000000001011101100011010101110110100000000000000000000000000000000000000000000000010000000000000000",
"00000000000000000001000000001001000001000001001110110111111110000000000000000000000000000000010000000000000000000000000000000000",
"00000000000000000000000000101001000010000000000010000101111001100000000000000000000000000000000000000001000000000000000000000000",
"00000000000000000000000000101000000001000000001010000110010010100000000000000000000000000000000000000000000000000010000000000000",
"00000000000000000001000000011000000011001101001110000110011011000000000000000000000000000000000000000000000100000000000000000000",
"00000000000000000000000000101001000001000001001110010010011101000000000000000000000000000000000001000000000000000000000000000000",
"00000000000000000001000000011000000011000101100111101101011000000000000000000000000000000000000000000000010000000000000000000000",
"00000000000000000001000000010001000000010101101111110011001101100000000000000000000000000000000000000000000000000000001000000000",
"00000000000000000000000000001001000001001001100111111000000001100000000000000000000000000000000000010000000000000000000000000000",
"00000000000000000001000000000000000010000100000100010001111001100000000000000000000000000000000000000000000000000100000000000000",
"00000000000000000000000000000001000010010101001110111010111101100000000000000000000000000000000000000100000000000000000000000000",
"00000000000000000001000000010000000011010001100011011100010010000000000000000000000000000000000000000000000000000000000001000000",
"00000000000000000000000000011000000001000001000010000101100101100000000000000000000000000000000000000000000000100000000000000000",
"00000000000000000000000000000001000010000000100111001000111000000000000000000000000000000000000000000000100000000000000000000000",
"00000000000000000000000000100001000000011101000000011100010001000000000000000000000000000000000000000000000000000000000000010000",
"00000000000000000000000000001000000001010100100011111000111011000000000000000000000000000000000000000000000000000000000000001000",
"00000000000000000001000000111000000001001101100111001000011010100000000000000000000000000000000000000000000000000000000000100000",
"00000000000000000001000000110000000001011101101001010111110101000000000000000000000000000000000000000000000010000000000000000000",
"00000000000000000000000000001000000001010000101001100110011111100000000000000000000000000000000000000000000000000000000000000100",
"00000000000000000000000000111001000001011000101011110011011110000000000000000000000000000000000000000000000000000000000000000010",
"00000000000000000001000000011000000000010100001110001010011110000000000000000000000000000000000000000000000000001000000000000000",
"00000000000000000001000000010001000011000101001110101110110010000000000000000000000000000000000000000000000000000000010000000000",
"00000000000000000000000000100001000000010101000010100001001110000000000000000000000000000000000000000000000000000001000000000000",
"00000000000000000000000000000000000010011001001110001111010110100000000000000000000000000000000000000000000000000000100000000000",
"00000000000000000000000000000000000010011000101111011111101000000000000000000000000000000000000000000000000000000000000100000000",
"00000000000000000001000000100001000010011000101111111110010101000000000000000000000000000000000000000000000000000000000010000000",
"00000000000000000000000000011001000010011100101111000011100110101111111111111111111111111111111111111111111111111111111111111111"]);

y:=CambridgeMatrix(1,F,128,[
"10000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"01000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000",
"11111111111111111111111111111111111111111111111111111111111111110000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000",
"11111111111111111111111111111111111111011101110011010111100111101000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000101000000000000001000010000100000101001000110010000000000000000000000000000000000000000000000000000000000000",
"11111111111111011111110101111111110110111111101110101001010111110000100000000000000000000000000000000000000000000000000000000000",
"00000000000000100000000000000000001000100000011101011010100100100000010000000000000000000000000000000000000000000000000000000000",
"11111111111111011111010101111111110111010111111111100010010011010000000100000000000000000000000000000000000000000000000000000000",
"11111111111111111111010111111111111110011101111111010010101011000000000001000000000000000000000000000000000000000000000000000000",
"11111111111111011111110101111101111111011111101011010001001011010000000000100000000000000000000000000000000000000000000000000000",
"00000000000000000000001010000000001000001010001101001010000100110100000000000000000000000000000000000000000000000000000000000000",
"11111111111111111111010101111111111111011101110111010010101111000000000000010000000000000000000000000000000000000000000000000000",
"00000000000000100000000010000000001000100010000001010100101100000000000000000100000000000000000000000000000000000000000000000000",
"00000000000000000000000010000010001000000010010100101110111100110000000000000001000000000000000000000000000000000000000000000000",
"11111111111111111111111101111101110110011101111110111001110011100000000000000000100000000000000000000000000000000000000000000000",
"00000000000000100000001010000000000000000000010101001010100100010000000000000000010000000000000000000000000000000000000000000000",
"11111111111111111111010101111111110110011111111011011100101111000001000000000000000000000000000000000000000000000000000000000000",
"11111111111111011111011101111111110111110101111011100000110011100000000000000000000100000000000000000000000000000000000000000000",
"00000000000000000010000010001000001001100010010100011010000000010000000000000000000001000000000000000000000000000000000000000000",
"11111111111111011111011101111111110111011111101111001010100011100000000000000000000000010000000000000000000000000000000000000000",
"00000000000000000000101000000000001001001010000100000001100100110000000000000000000000000100000000000000000000000000000000000000",
"11111111111111111111010111111111110111011101110111011100100011010000000000000000000000000010000000000000000000000000000000000000",
"00000000000000000000000010000000000001000010011101000110101000110000000000000000000000000000100000000000000000000000000000000000",
"00000000000000000010001000001000001000000010011000010110001100010000000000000000000000000000010000000000000000000000000000000000",
"11111111111111011101110111111111111111011101111111001011000011110000001000000000000000000000000000000000000000000000000000000000",
"00000000000000000000101010000000000000000010010100111011110100100000000000000000000000000000000100000000000000000000000000000000",
"11111111111111111101110101111111111111111111100110100001110111000000000010000000000000000000000000000000000000000000000000000000",
"11111111111111011111111101111101111111011101110111011101100111100000000000000000000000000000000001000000000000000000000000000000",
"11111111111111011111111111111111110110011111110110010111001111110000000000000000000000000000000000010000000000000000000000000000",
"11111111111111111111111111110111110110111111111110101001111111000000000000000000000000000000001000000000000000000000000000000000",
"11111111111111011111111111111111110110111101110010100111110011100000000000000000001000000000000000000000000000000000000000000000",
"11111111111111011111010101110111111111011111110111100100110111000000000000000000000000000000000000000100000000000000000000000000",
"00000000000000100000001010001000000001101000010100100110111100110000000000000000000000000000000000000001000000000000000000000000",
"00000000000000100000101010001000000000100000010100001001100000110000000000000000000000000001000000000000000000000000000000000000",
"11111111111111111101111111111111110111111101100110110101111111010000000000000000000000000000000000000000100000000000000000000000",
"11111111111111111111111111110111110110011101101010100011111011010000000000000000000000000000000000000000010000000000000000000000",
"11111111111111011111110111111101111110010111111011011011000011110000000000000000000000000000000000000000000100000000000000000000",
"00000000000000100000101000000000000001000000001001000111100000100000000000000000000000000000000000000000000010000000000000000000",
"11111111111111011111010111111111110110110101101111101010010111110000000000001000000000000000000000000000000000000000000000000000",
"11111111111111111101110111111111110110011101101011011011001011010000000000000000000000000000000000000000000000100000000000000000",
"11111111111111111111110111111111110111010101100010010001000011110000000000000010000000000000000000000000000000000000000000000000",
"11111111111111011101010101111101110111011101110011100110010011110000000000000000000000000000000000000000000000001000000000000000",
"11111111111111111111111101111101110110110111110011111101110011010000000000000000000000000000000000000000000000000100000000000000",
"00000000000000000000100000000000000000001010001100000011101100000000000000000000000000000000000000000000000000000001000000000000",
"00000000000000100010100010001000000001000010011100001101101100100000000000000000000000000000000000000000000000000000100000000000",
"00000000000000100000101010000010000000101000001100001001101000100000000000000000000000000000000010000000000000000000000000000000",
"11111111111111011101111101110111111110111111110011000011000011100000000000000000000000000000000000000000000000000000010000000000",
"11111111111111011101010101110101111111011111111010000000101111010000000000000000000000000000000000000000000000000000000100000000",
"00000000000000100000000000000010000000100000011100111010110000110000000000000000000000000000000000001000000000000000000000000000",
"11111111111111011101111101111111110110011111111111111001110111010000000000000000000000000000000000000000000000000010000000000000",
"00000000000000100000101010000010001001100000000101011111001000110000000000000000000000000000000000000000000000000000000010000000",
"00000000000000000010000000001000000001100010000101101000111100010000000000000000000000000000000000000000000000000000000000100000",
"11111111111111111111110111110111110111111111110011110101011011010000000000000000000010000000000000000000000000000000000000000000",
"00000000000000100000000010000010001001000000000100100000011000010000000000000000000000000000000000000000000001000000000000000000",
"00000000000000000000000000000010000000101000010001001100001100110000000000000000000000100000000000000000000000000000000000000000",
"00000000000000000000000010000000001000100010001101110100111000110000000000000000000000000000000000000000001000000000000000000000",
"00000000000000100010000010001000000000001010011100101110111000010000000000000000000000001000000000000000000000000000000000000000",
"11111111111111111101010111110111110111010111101110010010000011010000000000000000000000000000000000000000000000000000000001000000",
"00000000000000000000101010000000000000000010001001110011111100100000000000000000000000000000000000000000000000000000000000000010",
"11111111111111111111010101110101111111010101100010001110000111110000000000000000000000000000000000000000000000000000001000000000",
"00000000000000100010101010001000000000000010001101000101001000010000000000000000000000000000000000000000000000010000000000000000",
"00000000000000100010100000001010001001000010000100011101101100010000000000000000000000000000000000000000000000000000000000010000",
"11111111111111111111110101111101111111110101111010100011111111110000000000000000000000000000000000000010000000000000000000000000",
"11111111111111011111010111111111111110111101101010110100110011100000000000000000000000000000000000000000000000000000000000000001",
"11111111111111011111011101111111110110011111101010011110101011101111111111111111111111111111111111111111111111111111111111111111",
"00000000000000100010101000000010000001101000010101110001011100110000000000000000000000000000000000100000000000000000000000000000",
"11111111111111011111010111110101110110111101100010011000101111110000000000000000000000000000000000000000000000000000000000000100"]);

G<x,y>:=MatrixGroup<128,F|x,y>;
print "Group G is 2.Sz(8) < GL(128,GF(2))";