SAT
01011101000001000011101011000011111001010010000011110011111000010011110101001001000001101011110100010000010011111010101110000001011000101000111110111010111100011001011110011101010000110001010110010010111101011111000000100000011101010011100010110101110000000010101101011101111111010110100100010110010000011010011000100011010011101101100111101111101000100101101010111100101010100011101101111101010010100011100110000100100001011000111111100001000100100111110010000100100100101111100101110000101101111011000011100111010110101001011110100101100001011101011101011111011010000001010100000001101000100011101110011000011010101011100010000111110100101101011000011100101110010000110010101100100010100110010000000011000010100111100010000100110100100010111100100100010000000110000010101011100111111111101000010000111000011000110001100011111000111101000110001001001001000100100110000110100000000111011001101111001011000111110101100010011000000011001010101100110100000111010011010111000010110010011110011001000001101100001000100101100011011101111010110001111100000111011001111100110100010001011101001001111001110111110111100100110011110110000110010011101010011101100110010100000011011111010000100110101000001011110011111001111011001001011100010100000001110111000101000000111110100100010110010010110110101111101110000011000001000100110110000001001000000000111001010100110110101001101110001111011100011101001000010111110101000010000111011100001010001001101100000001010110100011111010000101100110010100111101110101100110011000111100111110001011000011000000010001001011000001001011111111000011111100100001000101001001101001000100001110011110010110000000111111011001010101100110111111001100101100001001111000011011010000100010001001110111100101000010000010100100011001101010110001000101101101111110010011101001001011111000111001010000000100001101111111110110001110111000100001010000001010100011010001111001101110111010101000111010011011000011100001011110111010111000010011101110100111110101001111010001011010011000111001100111001101001100001101000101101000011101100000110001100001110010100010111110000101101101010010010110010001000010100110011111001110011101110101100111000010101100110110001000010010110010110001010001000010000111101110100100001010111000011100101110001011000101101001000111111000001101001111111001110001110111111100010110101101010000100011111100101000010100010011111110011000010101101001010001111000111111011111101000101111110010001010000110101000110010100010011000100011110110101111110011010101101010111101011100001000100000101001110011110111001101000000100000011000100010100010001011000010010001001000101100010101110110111000000000100001000101100111101001110111101001101000111100111100011010111011110110101001101011010100111010001001101010100011100011010000001011000101100101001110011111100011111001001110101100101110000001110001001101011101111001011110111111111011111101011010101111111010000000001110001001101011110101110111011101101110001010100010011011000100001010000100010000111110011000110110100010000100101111110011100110100110010001111000011001111001000001010111000100000111010011110100011100011010110010010110010101010101001110001100111011010011110110111010011111100101011111000000111100100001100110101110010101100100111001111010011010011110001111000100100000101010100111001100001111101011100101001110011111111011101100001111001011011000010011111000100000100000011101111111101000000000011001111000001011101100000111110000010110100001111110001010111110011100000001010010010100111011010111011100001010000100101000000001001001001101011000000100001011000110111001011111111100001011010011000111111000000000111010110011101100011000100101010111010011111111011101000010110111001011100110000110010100101111101000011000100100010010110101111111001011100001101111111011011000100011011011101100100001100010000011011110011001010110011010001110011101010100111100101101110100001100101100100010100011000100100001100110000111000010000010000110101101110001101011001110011110010100001000100101000001000110101100100110110100110111010111100110011100101110101100100100110100111100110011010100001111000100001111101100111111011101011100100011011100001110000010111101100101011101111101011110000111100111110001100110001000000010100010101001101011001101111110111010001101001001000110000101011001100011001111111101001001001111000101001101010010111101100001111100101011001101000111110000001011001011011111010100000110110110100111001111001011100001101010000010010010000101000001001111011101001000010010010001111111010010010111100111011110010111010101100110000101100101101100001011000001010000011001010110110110000001000110011110011010001111101101110100101101100000000011101100001111100110001101010110011000001111111011111000011001000000111100001101111011010101011110111000110100011111110011100101101100111100111111000110000010111101111001001010100011010000111001010100010110101001000010000100000110001000010001110011001010000010011001000010100110000001011001101101100110010000010011010100111011100101100011010101001100111010101110011010101011111110101010111101001110101100000011000000010010001110101000100110010111010000001110011100010101100101000101111000100110101111000010001100111110000000010101010110010000001111111011000011000010001100010111001001101010110010000011010001100100101000101000000111010111011000100000000100011000001110000000010101101110111000110000010110000100110001101100111110000011001010011010011101011111111010011111011010011110010011101010111101101010110101110110000110100101000100000011100010011100110100111001100000011100001110100000111000110110000110100111100110101101111110111001111000001010010001110111010111010111100001110111010001001010001010111000110011111101100011011011001001001100001100110100101100011110100010011011001100111001100100100101111010001111100110010101010001010101100111011001000010101001101110110100100000000011001010001100000000110101101100111110111011110100111011110101100110001100000101100100111100000001001100010010001011101101100100011000010011111001111000010000011010110100010000100100100100010111100000010011110101001011111110001000101011110101011111101000100110100011100001100100100000111100011010000110001000011110101000001110011000100110101000000011011010011000000110011100011100010110001000010101101101001111100111101100101000110000001110100100100110111011000010111010101110010000001010111100010111101101100100111010101011010001000110000110101010001000000010111110000000001000110010001010100001011110101000111110101010101111100011011000011100101001000101011110110010001110010010011011110111101101101111110100101010100011111111011011111111111010110110110000011111100000101001001100010010110011000001000011111010011111000001101011110111100010011000101000100001111110101000011100001101110110110010100001100101001011000001111000010001101010110001101110101001101001101100110101110101000010110101011010100100111100010011011101011010011001010001100100111111011001000010111001111110100011001111000001011011101100111010110000100110010111100000010111001110101100011010001111110110100001010110111100101110001001011110110111101010000000001111100111101110101010001011011110000011010011000110011100010101110110101100000001101011110100101110001111000111001100000011101001000100100111011110000101010111011011001001101000100110110010110001100000001111000001110111001001011010110111101111000100000101101000010011100111010001111110000100010001111110110010000001011000100101011110101101011111100100111101101010110001101100010100110100111000110000110000010100101110000100111101110011001011000000000011011000110111101000100000010001100000110111101101100001100110111110011000011101101101010110001100100000100000010100110001001111001010000110111011001011110101011010001010010011010101111110001100011010001101000110100011011111010100100111001001110111011101101010011101011111100100101000110011111000011010001011011000011010000101100111011110100100101000110111000011000110100110001100111011110100000111100101000110110001000010011000010011011010100111010100101010010101001100011100000110110000111001101001010100011101111001110110000011110111010010111011111100110101100110000000111001110000011010100000100011000100010000000000101011011011101101000011101100010110011010111000100011101010001111110100111111000111001011011101011101100011011011101110011010111000001100000011111011000101011111001010011011101010111111111000101110110000011100010011000101100101111001001101111100001100010000100000011101001111000110100101001010010111011110110000010101000111011110011110011111100011111110110000000100001100111100010010001100111011011101010100010011101010011110001100101000001011101111010010110010001000100110010100010111000100100010010000100001000011100011000011111000010010111110010110011000101101110000011111010001011111101001011011001110011010001100011001100000000101110110010100011110110100001010111000100010000111101101000101100011010010111101101001100100110100100111100111000110110100100000010111000111010011000110111010000111011001001010010000101000000011111101011110101000010100100001001110010010000001010000000011011110110001000010110110011000100011100100111110011011101011101111010000111011110101010010101011111100010001010100111111101100001011000000001110101100100111101101001111110100111101001011111011100001101011001110010