# n 13926 # w 118 # a vector h of length (0.5 n) which describes the parity-check matrix 011100000111101011110010010011010100111011110111010000111011000111100111011110110111001110010101101110000101100010101101100101100100011110001101110100001001100100001110001000111110100100101111001011101010000011010110010111001101100001110101101011111011111000111101000000101011010011110110101100101101000100000101001000110100001000101101001100111000100101000111011011001011111001011001100010011001101001111011011110000000010101101000010000010111000111100011001101010011101111010110110001111111110110010010110000010100000111000001111101110001010110011110000110100001110001111010100011111000011010000110001111111011010001111000100111110000101111011101001000101011010011010000100101110110010101110000101101011001101011111111011000001011111111001001110010000001000000010001110110000011100110110101001100111111000001001111111111100110101100000001100101110111110000000101100101100010110100010001011101101111011101100110111001010101100110100100100000010100010010001110101100110011011000000101010101101001111101010110010010101110111111100001101010011000100111111111010011011001101001110110001100111010110110110000110010001111100011100110110001010111011010110110001111000100001011101010101001110010001001100110010100001101100111100110001000110001110001100000010011111011100010001100101011011011000011110001010001101101010000110101011011011101001000101001001000011111100011110110100000110001101001001010001000110101011110101011100010111001100111111000010010000011011011101000000101110001000010111011001111111101010011110100101100101110010101001101010100000001101011100100011110101100011100011100100101010110110101000001001101110010101100100011010110100010111111111010001101101110000111100101011001110010011000100001110010001111101111100110010111010100001111101001100010000110001100110010001111100010001101110100001111110101101110101001110011101011100001110100011100010100110110110010111101101011110111011111010010001111001001101111010010110111010000001101010010111010001000110110010110110111011001011111100111100010101111111000001011000111011111010010110111101110001011010011000011101010000110111000001101111111001100010010001000101001100111001100011000001010100110101111010110010000000100010000111001111101100001011111110011100101001101101100110000011001101110101001101111001010101101010000001011111100111001011101110010110001001001101111110100110010001101001000001000000101110001100111111011010000001000100011011101110010110100010011110111111111001010000010101010101110000100000001111101101010001000100011111110010110000011111101011011000011101101110101101001000001000110111100110110010101011000111100000111110111110000110110011110001100000010010111100000000110101100110110110000010110010011010100100000100010111101100000110010011010000010101001110101100111001011110100110101111011010010011111000001100011000110011001101111000010011111100000100011011010010100110101101100101111101110110001011110100101111001110101110100011010010111001001000001110101101100001111100001001101100010000110111000110000011000010011011000010010110001010111110110111111000101001111000101000011011000010000000100101100101100010001011001110011000010010111101101101000001001011000101011011001011010101001101001001100111011011010001011110010111000010100010111101001101000100111001011001110011010111001001100110001011010000110101001101101001111001010010010101101010000110111111101100010101001001000000000101111101111110110010111011011000011001000011100000000110100101110011001011100001010100110110010100000011110011001111100101111000010111011011100101101010010101101001100101000001011101100100000001111000100101010100101100101101100010001111111001000100001101000000101000010111011100110000100001100001111111001010010110011101010111011010011011001000011111001101000011111111000101011111100100011000011010000001010101011000010100001010100000110001101000001000011110000111100010110100000001111111011010110000001110111010111000010001111110100100110011010111110110101010101010101001010001100001101110101111110001100110110011000000100000010111110010000110001010011001001111001111101010100001010111101011000100001011101000101110001011100001110001010000111010010000011101101010111001011101101000110100110111011111110100110001010001101101110101000110010110100100101001110010110101100010011110111101011011110100111000000100111110111101111101101100100001110000100100010100101111110110111110110010110100101110100110010010011010010111001001010110011100010000011011100001100101101001101100101110010110100010100000011101001111100100110101010011011110110110100001100110101101111111011001110011011111011100010000100110111110111001111011111101011100001011101000000001011011000000100100000011001111110001011000010000100001111000011001101110110011100010100000011101101000001011111011010000000100011100011110011111101100000011000111110010101010001100001010011011000010000111001111000000000101101011000010101100011000110010001000011111110111110110101101000100100110010100010011100100001000010001001101011010110100111001111110110110101110010100110000010000110100100000111100010000100110100110110111010000000111111101000000110100010011111100000111100001101101111100110000110010110110000011000001110101011000100100001000001010101010000001111010101000100010110111111110001110010001011001010100101010100010111111011001111001001011101001101101010100011000101010010011100000000101010000110001001101010010001101101000000100100101101101110100101001010100100011110110000100000011111010001001001001100011011010100010101101000111101100111010111000110011110001001100010110110010111010100111101111001011111101011111011111101010001101110110110111001011111101011110001101000011000110111111111001101111111010110100111001001010111010101101110000000101111001000101101111011111001000010101111111011001101100011011101111001001111101011011101101110001100001101001110110010111111100011100110010111010011100100011110010101000100110100010011111101001001100000010011011100101011010100000001111011100001111001000111111000101010110010001000010001001010000100011001001011010010010000111110001111101000101110000100101001010011110110110000100100011101110010010001011010100001100110000110010101000010011001111001001110001101011000010110011101110111011010001000000000111101000101101101001000110011111110101011010110101010000110101100001010111100111000100000001101110100110100010100101001011010111011110001011100101011011111010111111001000011010001010111011001111000100001110010010001100100000001100001010100010011110001110101110011110011011011111100011101111110010000110101110110101111101101011111111110001010010111110100000000011110100101000110001101111101010000000011111001010011100101010111111101101100101011000000000100000000100111010100011010111100100111001101101001001011010010100101100000011011001100100010100011101010011001100110011110000111100100001111000011001011010001100110001101010111101011011001110010000011000001100010001010111000110010111101010000001101101011100100011110100011001110000000101001110101010100110001111011001000111000110011000 # s^transpose 100010000000010001001001011110101000111111001001100001111111001111001000000110001110000111000111000101111101101011100010100010100110000100100001101010100010111010011110100101101111110010110101101001100000011110101011000000001001111011000111111011011100110001011011100111111010100001101011111000110110110001001000001101011100100011100110101101001100110011101110101100111100000001011011010101000101011110001101010010000100011001000011100101100010010111000001111111000101110100101011011110000101111101000000010011100111000100111011100111011101000000110110001000110011010100110011001100001111000011111111111110101110111110000001011101100000010111100010101101100000001011100000111100000101010001000000011010111111000001010101000000101110010110000110111101010000100101011011111011001001100010000110001000111011000111100110101110100110011110011111000011010110001011000100110010001110011001000110111011000001011010000101010100001111101110111101100011010011001111110010000010001001000010011011110111011010011011011010110110000110110001101000001000111010010010101101110110000110110000001010010110100011001011000111100111110010110101010001110000001010000110111011000111011111111001011100111000101110010101100011101011111100001001000011100100000000111000111100100011010001100011010100100001010011110111110010001010110001101100111001100001101001010100001000010000011101111001010110001100100010010000001000111011000011101000101101011000000101001001011100011101101110010100010110010000110011101001101010011111010101001101110010110111011111010100111110100100000111010101111100110010111001111000111000100001010010011011010101100111000000010010111100101101110001101110101010101001001011110111010101111011101101011010011101101010110011110110001111001100100100010000000110001111001011010000111001000010111011111100010010101110001000101101101001001010001011010110000000110100110100101111011001111011000100010000101110100101100010011100101111000101001011110110100100000000010110001110011110111010100100011101011000111000101110001000111111010111100110011110111000101001000000111101110110010010010000110011101100000001101100111111111010111011011111111111110110101010000110111000011011100001011110111101010100100101011101000011101100110101011010010010110001111000011010010101011110110001100001110110101101001001001011010010100110000000011011110001011000111100110111111010101010011001110101111100111100000001011111010110111000000101010000100110101100010001101011010001010110001010100011111000010100000100000111100010101110110101011111111010010111000001101010000110110011011100100010100111101000100110111100110110111100000111000100111011010011100100011001000100010110010101110111100111110100100001000000101000010111111111010001001011100000110110000100000000001010011000110001011100111101010111101010101001100000001000101100100011011001101101000000111101110111010001011011101100011100010001111110011110010101011010100101110010110001000111101110100110101000110011010010010010011110111001010100010001001110001111100011110010110010000010111001000001000010001100110001110110010001000101000001100011011000010010110111000110000110011110001100011001011001010000000101101100011101110011101110110001101101101011100100110101011010110010110010000110110111001101001000100011100000011101011011110011110001001100010111000110110010100000111111100001001000001010001100000111011000000000001010101010110111001010110011001000101100010000111001010111101110011100001011101011011110011110001111110110111010001000111111000111011110010001100011110101100001000101011111001001101001001111111001110000101000100011111111000100011111011000001101010101110011010110010001111111111110010000010101110100100000010100010100010111110101110001100100111011101101110011110111000000111000111010001000001110010101000101110011110001011111011001010010111101101000110101010011110110100101101101011110101110001011001110100001010010110111100100111101111000000111110100100001011011001001001000010110100110010101100000011010110110000001100110111110100100000101000100111111111111100100100111110100001011000001011001000011000011011000010011100110101001000010001111001001101100101000001000111110000100000000011001011010000001001011010011001111000010111000101101101000011101100001101011110110101100111011110111000111101001010100100111010010101011010001010011001111100010000000001110100010100100111001001011001100101111100010010110011000000001101110000110010100100110101011101100110011110011111011011000110110011011011110011110110110101100101101011100110101010000011100001000101100001011010000001000101000001011000110000101010010110000011001000110111011001010101001000001001011100001011010100001101001110110000101011000100101010100010011110011110010001001011100000100011000111100011001010110101111011111011001100011101010110110111111111101111001000100110001001111100000100101000101010111001111101010001010011110011000001110011001111110011011000010001011011010110110110110001110111010101100111001110010111110010101101001110011110001010011000110111110011010001011011010101011001110110000101101100111000010001001110001110101000101001000000011001111001110101100110001111111110101001100100001100100010011011011000000010001111101000100101101010000100011101011100100110110011010010111111110011110011001110110100100001011110100101001001001000010011111100111010101101001100110010010000111001100000100000011101101000011001000111111110011110111111010100101111101101111111010100011101000011000011000011011111111000000011110100110111000111000110110101011100101111001000110000001101000000110000111101000000100011101111001000111100001001000001101000110110001000000100011000001111000010100110000010011000101100010111001011100110111011101000111011110101001110000011111011010110110010110111101100101000101001100001011011110101111101101111011000000000010110101110010010001110001111011110101101011110010001010100011100001101101111101111001111011110101111011011100111000001011101001000010110000100001110100010111000100110101100101010010010000100110111110011011011011110100111100100000101100000110010000110110010110100000111010011001011111100011100000001111010100111010110110011101100001001001101101110010101001110101100001000111101000100000001111011101000000100110100111000100011110101011010101100100000010101100010100000011111011000001010000001010100011111100010110101100111101111001100101100010010101111011101111101101000001000110000110010100100001101000000001000011101010010011101100011011011100010110000010010110110011100110011111011111111000000100100100010001111111001000110001101010100000111110110000100001111011101100000110101100001010110111001000110000101000011011011010001001101101001011111010111100011111100111100100101101000100101110010100011011001000110100110100111010001000100111001110111001010111000111000111000101001101001001100010000011100100011000011011000010110011110101001101010001111101110110000001110011110010110110110010100001001010111011111100100111111000101011100000101010001111000001001111001000100010111101101000001010110011010011000100101